5-carboxyamino-1-(5-phospho-D-ribosyl)imidazole + ADP + phosphate + 2 H(+) => 5-amino-1-(5-phospho-beta-D-ribosyl)imidazole + hydrogencarbonate + ATP
5-carboxyamino-1-(5-phospho-d-ribosyl)imidazole + adp + phosphate + 2 h(+) => 5-amino-1-(5-phospho-beta-d-ribosyl)imidazole + hydrogencarbonate + atp
5-carboxyamino-1-(5-phospho-D-ribosyl)imidazole + ADP + phosphate + 2 H(+) => 5-amino-1-(5-phospho-beta-D-ribosyl)imidazole + hydrogencarbonate + ATP
5-carboxyamino-1-(5-phospho-d-ribosyl)imidazole + adp + phosphate + 2 h(+) => 5-amino-1-(5-phospho-beta-d-ribosyl)imidazole + hydrogencarbonate + atp