Permutation_group loading ...