label: a ribonucleoside 5'-triphosphate + formate + H(+) <=> a 2'-deoxyribonucleoside 5'-triphosphate + CO2 + H2O
label_lc: a ribonucleoside 5'-triphosphate + formate + h(+) <=> a 2'-deoxyribonucleoside 5'-triphosphate + co2 + h2o