{
  "base": [
    [
      0,
      0,
      2,
      1,
      1,
      70,
      1
    ],
    [
      0,
      0,
      1,
      1,
      1,
      14,
      1
    ],
    [
      1,
      1,
      7,
      7,
      7,
      98,
      7
    ],
    [
      0,
      0,
      1,
      1,
      1,
      7,
      1
    ]
  ],
  "extra_predicates": [
    [
      0,
      0,
      0,
      1,
      -1,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      1,
      0,
      -1
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0
    ]
  ],
  "rhs": [
    75,
    18,
    176,
    11,
    0,
    0,
    44
  ],
  "solution": [
    44,
    6,
    1,
    1,
    1,
    1,
    1
  ],
  "rank": 7
}