The thermodynamic data of species on other metal surfaces were modified from platinum by RMG using LSR during the model generation, 24 so the data were changed back to the original Pt(111) values when merging into the base model. Cantera was used to validate the base model. The BMA base model was made by converting all the Arrhenius parameters to BMA parameters using the enthalpy and activation energy of each reaction at 300 K and using the non-linear equation solver in the SciPy package as described in section 2.1.