Combinatorial_group_theory loading ...