The uniqueness of the strongly regular graph on 77 points

We show the uniqueness of the strongly regular graph with parameters ν = 77, k = 16, λ = O, μ = 4 embedding it in the Higman-Sims graph as a second subconstituent, and indicate the existence of a sporadic geometry.