"Methanococcus"@cs .