T2 shard 1/2: 8351 certificate maps checked (Euler 2, orientation-preserving iso to the dual map, nonseparable, one component, Kirchhoff tau = n [exact if <= 70 vertices, else mod 3 primes if <= 400 vertices, else mod 2^31-1]); max vertices 170; failures 0; 7.2 s
