{
    "nodes": {
        "1": "(inf, inf, inf)",
        "2": "(1, 2, 0)",
        "3": "(0, 1, 0)",
        "4": "(0, 2, 0)",
        "5": "(2, 1, 0)",
        "6": "(2, 2, 0)",
        "7": "(1, 1, 0)"
    },
    "edges": [
        {
            "s": 7,
            "t": 3,
            "p": 0.8
        },
        {
            "s": 3,
            "t": 4,
            "p": 1.0
        },
        {
            "s": 5,
            "t": 7,
            "p": 0.9855072463768116
        },
        {
            "s": 1,
            "t": 1,
            "p": 1
        },
        {
            "s": 2,
            "t": 1,
            "p": 0.2
        },
        {
            "s": 5,
            "t": 6,
            "p": 0.014492753623188406
        },
        {
            "s": 6,
            "t": 1,
            "p": 0.014492753623188406
        },
        {
            "s": 6,
            "t": 2,
            "p": 0.9855072463768116
        },
        {
            "s": 4,
            "t": 1,
            "p": 1.0
        },
        {
            "s": 2,
            "t": 4,
            "p": 0.8
        },
        {
            "s": 7,
            "t": 2,
            "p": 0.2
        }
    ],
    "ordering": [
        "X()::rep",
        "Y()::rep",
        "Z()::rep"
    ],
    "initial": 5,
    "bound": 2
}