{
  "coordinate_order": [
    "00",
    "01",
    "10",
    "11"
  ],
  "bit_order": "LSB first",
  "query_count": 16,
  "distinct_nonzero_rank_one_queries": [
    1,
    2,
    3,
    4,
    5,
    8,
    10,
    12,
    15
  ],
  "code_count": 51,
  "gl4_count": 20160,
  "pair_count": 1028160,
  "systematic_minimum": {
    "distance_sum": 7,
    "mean": "7/16",
    "codes": [
      [
        0,
        1,
        14,
        15
      ],
      [
        0,
        2,
        13,
        15
      ],
      [
        0,
        4,
        11,
        15
      ],
      [
        0,
        7,
        8,
        15
      ]
    ]
  },
  "all_bases_minimum": {
    "distance_sum": 6,
    "mean": "3/8",
    "achieving_pairs": 34560,
    "first": {
      "dual_columns": [
        1,
        2,
        4,
        9
      ],
      "code": [
        0,
        3,
        13,
        14
      ]
    }
  },
  "claimed_witness": {
    "storage_rows": [
      1,
      2,
      4,
      9
    ],
    "dual_columns": [
      1,
      2,
      4,
      9
    ],
    "code": [
      0,
      7,
      10,
      13
    ],
    "query_table": [
      {
        "u": 0,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 1,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 2,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 3,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 1,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 1,
        "v": 1,
        "raw": 1,
        "dual": 1,
        "distance": 1
      },
      {
        "u": 1,
        "v": 2,
        "raw": 2,
        "dual": 2,
        "distance": 1
      },
      {
        "u": 1,
        "v": 3,
        "raw": 3,
        "dual": 3,
        "distance": 1
      },
      {
        "u": 2,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 2,
        "v": 1,
        "raw": 4,
        "dual": 4,
        "distance": 1
      },
      {
        "u": 2,
        "v": 2,
        "raw": 8,
        "dual": 9,
        "distance": 1
      },
      {
        "u": 2,
        "v": 3,
        "raw": 12,
        "dual": 13,
        "distance": 0
      },
      {
        "u": 3,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 3,
        "v": 1,
        "raw": 5,
        "dual": 5,
        "distance": 1
      },
      {
        "u": 3,
        "v": 2,
        "raw": 10,
        "dual": 11,
        "distance": 1
      },
      {
        "u": 3,
        "v": 3,
        "raw": 15,
        "dual": 14,
        "distance": 1
      }
    ],
    "distance_sum": 8,
    "mean": "1/2"
  },
  "claimed_basis_reoptimized": {
    "distance_sum": 6,
    "mean": "3/8",
    "codes": [
      [
        0,
        3,
        13,
        14
      ],
      [
        0,
        5,
        11,
        14
      ]
    ]
  },
  "corrected_witness": {
    "storage_rows": [
      9,
      2,
      4,
      8
    ],
    "dual_columns": [
      9,
      2,
      4,
      8
    ],
    "code": [
      0,
      7,
      10,
      13
    ],
    "query_table": [
      {
        "u": 0,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 1,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 2,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 0,
        "v": 3,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 1,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 1,
        "v": 1,
        "raw": 1,
        "dual": 9,
        "distance": 1
      },
      {
        "u": 1,
        "v": 2,
        "raw": 2,
        "dual": 2,
        "distance": 1
      },
      {
        "u": 1,
        "v": 3,
        "raw": 3,
        "dual": 11,
        "distance": 1
      },
      {
        "u": 2,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 2,
        "v": 1,
        "raw": 4,
        "dual": 4,
        "distance": 1
      },
      {
        "u": 2,
        "v": 2,
        "raw": 8,
        "dual": 8,
        "distance": 1
      },
      {
        "u": 2,
        "v": 3,
        "raw": 12,
        "dual": 12,
        "distance": 1
      },
      {
        "u": 3,
        "v": 0,
        "raw": 0,
        "dual": 0,
        "distance": 0
      },
      {
        "u": 3,
        "v": 1,
        "raw": 5,
        "dual": 13,
        "distance": 0
      },
      {
        "u": 3,
        "v": 2,
        "raw": 10,
        "dual": 10,
        "distance": 0
      },
      {
        "u": 3,
        "v": 3,
        "raw": 15,
        "dual": 7,
        "distance": 0
      }
    ],
    "distance_sum": 6,
    "mean": "3/8"
  }
}