Rank_3_permutation_group loading ...