The Higman-Sims graph (projected from the Leech lattice)
t
=
?