Todd–Coxeter_algorithm loading ...