Subpicosecond OH production from photoexcited CO2–HI complexes