BMR freeness for icosahedral family

We verify the Brou'e-Malle-Rouquier (BMR) freeness for cyclotomic Hecke algebras associated with complex reflection groups $G_{17}$, $G_{18}$, $G_{19}$ in the Shephard-Todd classification. Together with results of Ariki, Ariki-Koike, Brou'e-Malle, Marin, Marin-Pfeiffer and Chavli, this settled affirmatively the BMR freeness conjecture. Our verification is inspired by Bergman’s diamond lemma and requires 1GB memory and 5 days calculation on a PC.