Dihedral_group_of_order_6 loading ...