14-vertex transitive graph 52 edge count