Binary_octahedral_group loading ...