{
  "copies": 2,
  "values": [
    -34,
    -28,
    -20,
    7,
    10,
    13,
    14,
    17,
    21,
    -3400,
    -2800,
    -2000,
    700,
    1000,
    1300,
    1400,
    1700,
    2100
  ],
  "multiplicities": [
    2,
    2,
    2,
    1,
    3,
    1,
    3,
    3,
    1,
    2,
    2,
    2,
    1,
    3,
    1,
    3,
    3,
    1
  ],
  "sizes": [
    "49949/150000",
    "24979/75000",
    "4997/15000",
    "100021/300000",
    "10003/30000",
    "100039/300000",
    "50021/150000",
    "100051/300000",
    "100063/300000",
    "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,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      0,
      0,
      0,
      2,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      2,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      2,
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      0,
      1,
      0,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      2,
      0,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      1
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      0,
      0,
      2,
      0
    ],
    [
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      1
    ]
  ],
  "fractional_coefficients": [
    "3/2",
    "1/2",
    "3/2",
    "1/2",
    "3/2",
    "1/2",
    "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
    ],
    [
      -2000,
      1000,
      1000
    ],
    [
      -2000,
      700,
      1300
    ],
    [
      -2800,
      1400,
      1400
    ],
    [
      -2800,
      1000,
      1400
    ],
    [
      -3400,
      1700,
      1700
    ],
    [
      -3400,
      1700,
      21
    ]
  ],
  "expected": {
    "items": 36,
    "lp": 12,
    "opt": 13,
    "dimension": 11,
    "zero_matching": 8,
    "nonpositive_matching": 11
  }
}