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