  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.
