Binary_cyclic_group loading ...