>sp|O26347|HIS3_METTH Phosphoribosyl-AMP cyclohydrolase OS=Methanothermobacter thermautotrophicus (strain ATCC 29096 / DSM 1053 / JCM 10044 / NBRC 100330 / Delta H) OX=187420 GN=hisI PE=1 SV=1 MIKSKGDVNILLNFRHNINGEDLIIAVAQDHETGEVLMVAYMNREALRRTLETGTAHYWS TSRGKLWLKGESSGHVQRVKDVLVDCDGDAVVLKVEQEGGACHTGYRSCFYRSIDGDELK VREDAVKVFDPEEIYGDG