Degree_of_a_permutation_group loading ...