13:28:47 start (Python 3.13.5)
13:28:47 trees checked
13:28:48 mutations
13:29:47 forms (exhaustive enumeration, cross-check M = 40)
13:29:49 comparison with check_note.py part (v)
13:29:52 explicit sets and tables
13:30:16 box searches
largest size 6, attained by 64 set(s):
largest size 13, attained by 2 set(s):
K=4 M=80: sets without a dissociated 4-subset: size 5: 134158, size 6: 38006, size 7: 0
N=5: 45 choices; zero space: agree on 24; lines equal on 21; planes in the expected range on 21; violations: 0
N=6: 120 choices; zero space: agree on 16; lines equal on 104; planes in the expected range on 104; violations: 0
N=7: 210 choices of forms, 0 admissible subspaces (distinct, all kinds), 0 choices with one
N=8: 252 choices of forms, 0 admissible subspaces (distinct, all kinds), 0 choices with one
crosscheck M=40 size=5: 14979 sets without a dissociated 4-subset, 0 not explained
crosscheck M=40 size=6: 4203 sets without a dissociated 4-subset, 0 not explained
ALL 12 CORRUPTIONS REJECTED: True
TOTAL: ALL PASS
VERDICT: CLOSED
VERDICT: NOT CLOSED (exact solution points verified)
VERDICT: CLOSED
VERDICT: CLOSED
VERDICT: CLOSED
13:30:16 done
