“…Applying Lemmas 6.1-6.4 to the pair (X, Γ C ), we conclude that T = soc(X ) = PSL(2, p) and Γ C is X -arc-transitive, and so Γ is arc-transitive. Moreover, G α ∼ = X B ∼ = Z 2 2 , D 8 or D 16 , where B is a C-orbit and α ∈ B. If X B = X α , then G α ≤ X ; in this case, it is easily shown that Γ is isomorphic to the standard double cover of Γ C , and so Theorem 1.1 (10) occurs.…”