Harmonic Approximation. In free energy calculations using HA, initial and final states of the reaction were determined using energy minimization, and transition states were identified via the fixed bond length method, which was benchmarked against the climbing image nudge elastic band method. The thermochemistry module in the Atomic Simulation Environment (ASE) was used to perform temperature-dependent corrections to energies of adsorbed states (HA) and the