Hall_subgroup loading ...