seed S_8: edges=15 floor((7n+2)/4)=14 complete=True steps=13
seed S_9: edges=16 floor((7n+2)/4)=16 complete=True steps=20
seed S_10: edges=18 floor((7n+2)/4)=18 complete=True steps=27
seed S_11: edges=19 floor((7n+2)/4)=19 complete=True steps=36
seed S_12: edges=21 floor((7n+2)/4)=21 complete=True steps=45
composite n=13 (S_9 + 1 gadgets): edges=23 floor((7n+2)/4)=23 complete=True steps=55
composite n=14 (S_10 + 1 gadgets): edges=25 floor((7n+2)/4)=25 complete=True steps=66
composite n=15 (S_11 + 1 gadgets): edges=26 floor((7n+2)/4)=26 complete=True steps=79
composite n=16 (S_12 + 1 gadgets): edges=28 floor((7n+2)/4)=28 complete=True steps=92
composite n=17 (S_9 + 2 gadgets): edges=30 floor((7n+2)/4)=30 complete=True steps=106
composite n=18 (S_10 + 2 gadgets): edges=32 floor((7n+2)/4)=32 complete=True steps=121
composite n=19 (S_11 + 2 gadgets): edges=33 floor((7n+2)/4)=33 complete=True steps=138
composite n=20 (S_12 + 2 gadgets): edges=35 floor((7n+2)/4)=35 complete=True steps=155
composite n=21 (S_9 + 3 gadgets): edges=37 floor((7n+2)/4)=37 complete=True steps=173
composite n=22 (S_10 + 3 gadgets): edges=39 floor((7n+2)/4)=39 complete=True steps=192
composite n=23 (S_11 + 3 gadgets): edges=40 floor((7n+2)/4)=40 complete=True steps=213
composite n=24 (S_12 + 3 gadgets): edges=42 floor((7n+2)/4)=42 complete=True steps=234
face gadget on K_7: complete=True steps=27
face gadget on K_8: complete=True steps=31
absorption K_7 + vertex with 2 nbrs: complete=True
face gadget on K_6 (outside Lemma 4 hypothesis): complete=True
S_8 minus one edge: 0 of 15 deletions still percolate (must be 0 if seed is optimal)
S_9 minus one edge: 0 of 16 deletions still percolate (must be 0 if seed is optimal)
S_10 minus one edge: 0 of 18 deletions still percolate (must be 0 if seed is optimal)
S_11 minus one edge: 0 of 19 deletions still percolate (must be 0 if seed is optimal)
S_12 minus one edge: 0 of 21 deletions still percolate (must be 0 if seed is optimal)
fake certificate rejected (ok)
real 1.00
user 0.99
sys 0.00
