A trivalent graph with 58 vertices and girth 9. - Norman L. Biggs; M. J. Hoare (Discret. Math., 1980)