О сильно регулярном графе с параметрами $(64,18,2,6)$

Доказано, что сильно регулярный граф с параметрами $(64,18,2,6)$ является точечным графом обобщенного четырехугольника $\mathrm{GQ}(3,5)$.