Binary_icosahedral_group loading ...