Hexadecachoric_symmetry loading ...