A first principles study of the binding of formic acid in catalase complementing high resolution X-ray structures