covenant normalized constraints.json

{
  "matrix": [
    [
      0,
      0,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      0,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      -1,
      0,
      0,
      0
    ],
    [
      -1,
      1,
      -1,
      2,
      2,
      2,
      2,
      0,
      -1,
      2,
      0,
      0,
      0
    ],
    [
      1,
      -1,
      0,
      -1,
      -1,
      -1,
      0,
      -1,
      0,
      0,
      -2,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      1,
      1,
      -12,
      13,
      0,
      -12,
      0,
      13,
      0
    ],
    [
      0,
      0,
      -25,
      25,
      25,
      25,
      25,
      0,
      0,
      0,
      0,
      0,
      -23
    ],
    [
      0,
      0,
      -2,
      2,
      2,
      2,
      2,
      0,
      0,
      0,
      -1,
      0,
      -1
    ],
    [
      0,
      0,
      -1,
      1,
      1,
      1,
      1,
      -1,
      0,
      0,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      -1,
      1,
      1,
      1,
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      1,
      1,
      1,
      1,
      0,
      0,
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "normalizations": [
    161,
    299,
    1866
  ],
  "ranks": [
    8,
    9,
    10,
    11
  ],
  "kernel": [
    [
      0,
      0,
      0,
      0,
      -1,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      -1,
      -1,
      1,
      0,
      -1,
      0,
      1,
      1,
      0,
      0,
      0
    ]
  ]
}