Decomposition of protonated formic acid: One transition state—Two product channels