Deuterium isotope effects in the polyatomic reaction of O(1D2)+CH4→OH+CH3.