Higman–Sims_graph loading ...