Doubly_transitive_permutation_group loading ...