Higman–Sims_group loading ...