О графах, в которых окрестности вершин изоморфны графу Хофмана–Синглтона

Изучаются связные графы, в которых окрестности вершин изоморфны графу Хофмана–Синглтона (т.е. сильно регулярному графу с параметрами (50,7,0,1)). Доказано, что дистанционно регулярный граф, в котором окрестности вершин изоморфны графу Хофмана–Синглтона, имеет $\mu=2$.