Binary_dihedral_group loading ...