{
  "copies": 1,
  "values": [
    -34,
    -28,
    -20,
    7,
    10,
    13,
    14,
    17,
    21
  ],
  "multiplicities": [
    2,
    2,
    2,
    1,
    3,
    1,
    3,
    3,
    1
  ],
  "sizes": [
    "449/1500",
    "229/750",
    "47/150",
    "1021/3000",
    "103/300",
    "1039/3000",
    "521/1500",
    "1051/3000",
    "1063/3000"
  ],
  "patterns": [
    [
      0,
      0,
      1,
      0,
      2,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      1,
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      2,
      0,
      0
    ],
    [
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      1
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      2,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1
    ]
  ],
  "fractional_coefficients": [
    "3/2",
    "1/2",
    "3/2",
    "1/2",
    "3/2",
    "1/2"
  ],
  "matching": [
    [
      -20,
      10,
      10
    ],
    [
      -20,
      7,
      13
    ],
    [
      -28,
      14,
      14
    ],
    [
      -28,
      10,
      14
    ],
    [
      -34,
      17,
      17
    ]
  ],
  "expected": {
    "items": 18,
    "lp": 6,
    "opt": 7,
    "dimension": 5,
    "zero_matching": 4,
    "nonpositive_matching": 5
  }
}