T2 shard 0/2: 8352 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 185; failures 0; 7.0 s
