T3 gadget Z_3: (tau, F) by Kirchhoff = (9, 9), expected (9, 9), pair rule (9, 9): PASS
T3 gadget Z_5: (tau, F) by Kirchhoff = (25, 25), expected (25, 25), pair rule (25, 25): PASS
T3 gadget Z_7: (tau, F) by Kirchhoff = (49, 49), expected (49, 49), pair rule (49, 49): PASS
T3 gadget Z': (tau, F) by Kirchhoff = (27, 27), expected (27, 27), pair rule (27, 27): PASS
T3 300 random gadget substitutions (Z_3, Z_5, Z') in single edges of certificate networks with n < 6000: tau(G(X')) = k^2 n, nonseparable, one component, Euler 2, self-dual: PASS
