reading main.tex
seeds parsed: {8: (4, 15), 9: (5, 16), 11: (8, 19)}
T2/T3 S_8: 15 edges, 11 printed steps, 2 absorption steps, complete=True
T2/T3 S_9: 16 edges, 12 printed steps, 8 absorption steps, complete=True
T2/T3 S_11: 19 edges, 15 printed steps, 21 absorption steps, complete=True
L22: absorption tuple valid on K_7 for all 21 choices of a, b
L25: face gadget on K_7: tuples valid, complete
L25: face gadget on K_8: tuples valid, complete
C23/N13: n=10 (18 edges), n=12 (21 edges), n=13 explicit (23 edges): all percolate
COMP: S_m + gadgets (attached at 4,5,6,7) for 13 <= n <= 28 have floor((7n+2)/4) edges and percolate
S9R: S_9 on 0..7 has 14 edges, closure has 16 of 28 edges
CLQ: no chord of Q is addable in Q, so Q - e is not weakly saturated and wsat(8) >= 12
K44: every edge of K_{4,4} lies in a copy of Q_3 inside K_{4,4}
NEG: S_9 minus any one of its 16 edges does not percolate; a corrupted and a premature certificate are rejected
L41: ex(2..7) = [1, 2, 4, 5, 7, 9] ; e_1..e_7 = [2, 4, 6, 7, 9, 10, 11] ; slacks = ['0', '2/3', '1/3', '1', '2/3', '1/3'] ; slopes 11/7 (parts <= 7), 5/3 (parts <= 6)
END: least vertex weight over 8 <= n <= 120 is 15/8
TAB1: Table 1 rows and floor((7(n+4)+2)/4) = floor((7n+2)/4) + 7 verified
ALL CHECKS PASSED
real 1.00
user 0.98
sys 0.00
