{
    "nodes": {
        "1": "(0, 0, 0, 0, 0, 1, 0, 0)",
        "2": "(0, 0, 1, 0, 0, 0, 0, 0)",
        "3": "(1, 0, 0, 0, 0, 0, 0, 0)",
        "4": "(0, 0, 0, 1, 0, 0, 0, 0)",
        "5": "(0, 0, 0, 0, 0, 0, 1, 0)",
        "6": "(0, 0, 0, 0, 0, 0, 0, 1)",
        "7": "(0, 0, 0, 0, 1, 0, 0, 0)",
        "8": "(0, 1, 0, 0, 0, 0, 0, 0)"
    },
    "edges": [
        {
            "s": 8,
            "t": 8,
            "p": 1,
            "label": "\u03b5"
        },
        {
            "s": 3,
            "t": 8,
            "p": 1.0,
            "label": "r2"
        },
        {
            "s": 5,
            "t": 6,
            "p": 0.3333333333333333,
            "label": "r2"
        },
        {
            "s": 6,
            "t": 6,
            "p": 1,
            "label": "\u03b5"
        },
        {
            "s": 2,
            "t": 3,
            "p": 0.5,
            "label": "r1_T"
        },
        {
            "s": 7,
            "t": 1,
            "p": 0.5,
            "label": "r2"
        },
        {
            "s": 5,
            "t": 2,
            "p": 0.3333333333333333,
            "label": "r1_S"
        },
        {
            "s": 7,
            "t": 3,
            "p": 0.5,
            "label": "r1_S"
        },
        {
            "s": 4,
            "t": 4,
            "p": 1,
            "label": "\u03b5"
        },
        {
            "s": 1,
            "t": 1,
            "p": 1,
            "label": "\u03b5"
        },
        {
            "s": 5,
            "t": 7,
            "p": 0.3333333333333333,
            "label": "r1_T"
        },
        {
            "s": 2,
            "t": 4,
            "p": 0.5,
            "label": "r2"
        }
    ],
    "ordering": [
        "P(S{a},T{a})::cell",
        "P(S{a},T{a})::out",
        "P(S{a},T{i})::cell",
        "P(S{a},T{i})::out",
        "P(S{i},T{a})::cell",
        "P(S{i},T{a})::out",
        "P(S{i},T{i})::cell",
        "P(S{i},T{i})::out"
    ],
    "initial": 5,
    "bound": 1
}