B n=6 m=8 connected=True planar=True bipartite=False girth=3 |Aut|=4 orbits=[[0], [1], [2, 3], [4, 5]]
   MNT sanity check: min over t, p of f_p(t) - p = -1.11e-16
C10 n=10 m=15 connected=True planar=True bipartite=False girth=3 |Aut|=32 orbits=[[0, 1], [2, 3, 6, 7], [4, 5, 8, 9]]
   MNT sanity check: min over t, p of f_p(t) - p = -2.22e-15
identity 80905p^4-161810p^3-5274599p^2+5355504p+5556600 == 80905r^2+5355504r+5556600: True
