Primitive_permutation_group loading ...