THE HIGMAN-SIMS GRAPH