{
  "nodes": [
    {
      "id": "root",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0
      ],
      "metadata": {}
    },
    {
      "id": "s0000_0",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1111_0",
      "outcome": null,
      "features": [
        1.0,
        1.0,
        1.0,
        1.0,
        0.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0000",
      "outcome": "0000",
      "features": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1000_1",
      "outcome": null,
      "features": [
        1.0,
        0.0,
        0.0,
        0.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0100_1",
      "outcome": null,
      "features": [
        0.0,
        1.0,
        0.0,
        0.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0010_1",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        1.0,
        0.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0001_1",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        0.0,
        1.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1111",
      "outcome": "1111",
      "features": [
        1.0,
        1.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0111_1",
      "outcome": null,
      "features": [
        0.0,
        1.0,
        1.0,
        1.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1011_1",
      "outcome": null,
      "features": [
        1.0,
        0.0,
        1.0,
        1.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1101_1",
      "outcome": null,
      "features": [
        1.0,
        1.0,
        0.0,
        1.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1110_1",
      "outcome": null,
      "features": [
        1.0,
        1.0,
        1.0,
        0.0,
        0.5,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1000",
      "outcome": "1000",
      "features": [
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0000_2",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1100_2",
      "outcome": null,
      "features": [
        1.0,
        1.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1010_2",
      "outcome": null,
      "features": [
        1.0,
        0.0,
        1.0,
        0.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1001_2",
      "outcome": null,
      "features": [
        1.0,
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0100",
      "outcome": "0100",
      "features": [
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0110_2",
      "outcome": null,
      "features": [
        0.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0101_2",
      "outcome": null,
      "features": [
        0.0,
        1.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0010",
      "outcome": "0010",
      "features": [
        0.0,
        0.0,
        1.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s0011_2",
      "outcome": null,
      "features": [
        0.0,
        0.0,
        1.0,
        1.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0001",
      "outcome": "0001",
      "features": [
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0111",
      "outcome": "0111",
      "features": [
        0.0,
        1.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "s1111_2",
      "outcome": null,
      "features": [
        1.0,
        1.0,
        1.0,
        1.0,
        1.0,
        0.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1011",
      "outcome": "1011",
      "features": [
        1.0,
        0.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1101",
      "outcome": "1101",
      "features": [
        1.0,
        1.0,
        0.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1110",
      "outcome": "1110",
      "features": [
        1.0,
        1.0,
        1.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1100",
      "outcome": "1100",
      "features": [
        1.0,
        1.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1010",
      "outcome": "1010",
      "features": [
        1.0,
        0.0,
        1.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t1001",
      "outcome": "1001",
      "features": [
        1.0,
        0.0,
        0.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0110",
      "outcome": "0110",
      "features": [
        0.0,
        1.0,
        1.0,
        0.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0101",
      "outcome": "0101",
      "features": [
        0.0,
        1.0,
        0.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    },
    {
      "id": "t0011",
      "outcome": "0011",
      "features": [
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0
      ],
      "metadata": {}
    }
  ],
  "edges": [
    {
      "id": "e0",
      "source": "root",
      "target": "s0000_0",
      "cost": 0.0,
      "action": {
        "kind": "start",
        "string": "0000"
      }
    },
    {
      "id": "e1",
      "source": "root",
      "target": "s1111_0",
      "cost": 0.0,
      "action": {
        "kind": "start",
        "string": "1111"
      }
    },
    {
      "id": "e2",
      "source": "s0000_0",
      "target": "t0000",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e3",
      "source": "s0000_0",
      "target": "s1000_1",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "1000"
      }
    },
    {
      "id": "e4",
      "source": "s0000_0",
      "target": "s0100_1",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "0100"
      }
    },
    {
      "id": "e5",
      "source": "s0000_0",
      "target": "s0010_1",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "0010"
      }
    },
    {
      "id": "e6",
      "source": "s0000_0",
      "target": "s0001_1",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "0001"
      }
    },
    {
      "id": "e7",
      "source": "s1111_0",
      "target": "t1111",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e8",
      "source": "s1111_0",
      "target": "s0111_1",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "0111"
      }
    },
    {
      "id": "e9",
      "source": "s1111_0",
      "target": "s1011_1",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "1011"
      }
    },
    {
      "id": "e10",
      "source": "s1111_0",
      "target": "s1101_1",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "1101"
      }
    },
    {
      "id": "e11",
      "source": "s1111_0",
      "target": "s1110_1",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "1110"
      }
    },
    {
      "id": "e12",
      "source": "s1000_1",
      "target": "t1000",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e13",
      "source": "s1000_1",
      "target": "s0000_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "0000"
      }
    },
    {
      "id": "e14",
      "source": "s1000_1",
      "target": "s1100_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "1100"
      }
    },
    {
      "id": "e15",
      "source": "s1000_1",
      "target": "s1010_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "1010"
      }
    },
    {
      "id": "e16",
      "source": "s1000_1",
      "target": "s1001_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "1001"
      }
    },
    {
      "id": "e17",
      "source": "s0100_1",
      "target": "t0100",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e18",
      "source": "s0100_1",
      "target": "s1100_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "1100"
      }
    },
    {
      "id": "e19",
      "source": "s0100_1",
      "target": "s0000_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "0000"
      }
    },
    {
      "id": "e20",
      "source": "s0100_1",
      "target": "s0110_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "0110"
      }
    },
    {
      "id": "e21",
      "source": "s0100_1",
      "target": "s0101_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "0101"
      }
    },
    {
      "id": "e22",
      "source": "s0010_1",
      "target": "t0010",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e23",
      "source": "s0010_1",
      "target": "s1010_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "1010"
      }
    },
    {
      "id": "e24",
      "source": "s0010_1",
      "target": "s0110_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "0110"
      }
    },
    {
      "id": "e25",
      "source": "s0010_1",
      "target": "s0000_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "0000"
      }
    },
    {
      "id": "e26",
      "source": "s0010_1",
      "target": "s0011_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "0011"
      }
    },
    {
      "id": "e27",
      "source": "s0001_1",
      "target": "t0001",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e28",
      "source": "s0001_1",
      "target": "s1001_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "1001"
      }
    },
    {
      "id": "e29",
      "source": "s0001_1",
      "target": "s0101_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "0101"
      }
    },
    {
      "id": "e30",
      "source": "s0001_1",
      "target": "s0011_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "0011"
      }
    },
    {
      "id": "e31",
      "source": "s0001_1",
      "target": "s0000_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "0000"
      }
    },
    {
      "id": "e32",
      "source": "s0111_1",
      "target": "t0111",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e33",
      "source": "s0111_1",
      "target": "s1111_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "1111"
      }
    },
    {
      "id": "e34",
      "source": "s0111_1",
      "target": "s0011_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "0011"
      }
    },
    {
      "id": "e35",
      "source": "s0111_1",
      "target": "s0101_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "0101"
      }
    },
    {
      "id": "e36",
      "source": "s0111_1",
      "target": "s0110_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "0110"
      }
    },
    {
      "id": "e37",
      "source": "s1011_1",
      "target": "t1011",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e38",
      "source": "s1011_1",
      "target": "s0011_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "0011"
      }
    },
    {
      "id": "e39",
      "source": "s1011_1",
      "target": "s1111_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "1111"
      }
    },
    {
      "id": "e40",
      "source": "s1011_1",
      "target": "s1001_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "1001"
      }
    },
    {
      "id": "e41",
      "source": "s1011_1",
      "target": "s1010_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "1010"
      }
    },
    {
      "id": "e42",
      "source": "s1101_1",
      "target": "t1101",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e43",
      "source": "s1101_1",
      "target": "s0101_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "0101"
      }
    },
    {
      "id": "e44",
      "source": "s1101_1",
      "target": "s1001_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "1001"
      }
    },
    {
      "id": "e45",
      "source": "s1101_1",
      "target": "s1111_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "1111"
      }
    },
    {
      "id": "e46",
      "source": "s1101_1",
      "target": "s1100_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "1100"
      }
    },
    {
      "id": "e47",
      "source": "s1110_1",
      "target": "t1110",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e48",
      "source": "s1110_1",
      "target": "s0110_2",
      "cost": 1.0,
      "action": {
        "kind": "substitute",
        "position": 0,
        "product": "0110"
      }
    },
    {
      "id": "e49",
      "source": "s1110_1",
      "target": "s1010_2",
      "cost": 1.1,
      "action": {
        "kind": "substitute",
        "position": 1,
        "product": "1010"
      }
    },
    {
      "id": "e50",
      "source": "s1110_1",
      "target": "s1100_2",
      "cost": 1.2,
      "action": {
        "kind": "substitute",
        "position": 2,
        "product": "1100"
      }
    },
    {
      "id": "e51",
      "source": "s1110_1",
      "target": "s1111_2",
      "cost": 1.3,
      "action": {
        "kind": "substitute",
        "position": 3,
        "product": "1111"
      }
    },
    {
      "id": "e52",
      "source": "s0000_2",
      "target": "t0000",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e53",
      "source": "s1100_2",
      "target": "t1100",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e54",
      "source": "s1010_2",
      "target": "t1010",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e55",
      "source": "s1001_2",
      "target": "t1001",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e56",
      "source": "s0110_2",
      "target": "t0110",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e57",
      "source": "s0101_2",
      "target": "t0101",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e58",
      "source": "s0011_2",
      "target": "t0011",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    },
    {
      "id": "e59",
      "source": "s1111_2",
      "target": "t1111",
      "cost": 0.0,
      "action": {
        "kind": "stop"
      }
    }
  ],
  "root": "root",
  "metadata": {
    "kind": "strings",
    "length": 4,
    "budget": 2
  }
}