approx_pi_00500_100_quadrant.jani

{
    "actions": [],
    "automata": [
        {
            "edges": [
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "ref": "hits",
                                    "value": 1
                                }
                            ],
                            "location": "l5",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": true
                    },
                    "location": "l6"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "oob-shots",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "left": {
                                "left": {
                                    "left": "shots",
                                    "op": "+",
                                    "right": 1
                                },
                                "op": ">",
                                "right": 501
                            },
                            "op": "∨",
                            "right": {
                                "left": {
                                    "left": "shots",
                                    "op": "+",
                                    "right": 1
                                },
                                "op": "<",
                                "right": 0
                            }
                        }
                    },
                    "location": "l5"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "ref": "shots",
                                    "value": {
                                        "left": "shots",
                                        "op": "+",
                                        "right": 1
                                    }
                                }
                            ],
                            "location": "l0",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "left": {
                                "left": {
                                    "left": "shots",
                                    "op": "+",
                                    "right": 1
                                },
                                "op": "≤",
                                "right": 501
                            },
                            "op": "∧",
                            "right": {
                                "left": {
                                    "left": "shots",
                                    "op": "+",
                                    "right": 1
                                },
                                "op": "≥",
                                "right": 0
                            }
                        }
                    },
                    "location": "l5"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "l6",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "left": {
                                "left": {
                                    "left": "x",
                                    "op": "*",
                                    "right": "x"
                                },
                                "op": "+",
                                "right": {
                                    "left": "y",
                                    "op": "*",
                                    "right": "y"
                                }
                            },
                            "op": "≤",
                            "right": 10000
                        }
                    },
                    "location": "l4"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "l5",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "exp": {
                                "left": {
                                    "left": {
                                        "left": "x",
                                        "op": "*",
                                        "right": "x"
                                    },
                                    "op": "+",
                                    "right": {
                                        "left": "y",
                                        "op": "*",
                                        "right": "y"
                                    }
                                },
                                "op": "≤",
                                "right": 10000
                            },
                            "op": "¬"
                        }
                    },
                    "location": "l4"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 0
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 1
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 2
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 3
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 4
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 5
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 6
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 7
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 8
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 9
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 10
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 11
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 12
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 13
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 14
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 15
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 16
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 17
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 18
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 19
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 20
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 21
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 22
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 23
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 24
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 25
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 26
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 27
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 28
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 29
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 30
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 31
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 32
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 33
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 34
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 35
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 36
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 37
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 38
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 39
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 40
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 41
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 42
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 43
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 44
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 45
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 46
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 47
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 48
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 49
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 50
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 51
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 52
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 53
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 54
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 55
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 56
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 57
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 58
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 59
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 60
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 61
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 62
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 63
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 64
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 65
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 66
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 67
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 68
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 69
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 70
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 71
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 72
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 73
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 74
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 75
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 76
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 77
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 78
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 79
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 80
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 81
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 82
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 83
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 84
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 85
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 86
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 87
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 88
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 89
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 90
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 91
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 92
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 93
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 94
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 95
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 96
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 97
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 98
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 99
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "y",
                                    "value": 100
                                }
                            ],
                            "location": "l4",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        }
                    ],
                    "guard": {
                        "exp": true
                    },
                    "location": "l3"
                },
                {
                    "destinations": [
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 0
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 1
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 2
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 3
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 4
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 5
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 6
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 7
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 8
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 9
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 10
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 11
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 12
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 13
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 14
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 15
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 16
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 17
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 18
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 19
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 20
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 21
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 22
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 23
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 24
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 25
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 26
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 27
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 28
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 29
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 30
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 31
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 32
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 33
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 34
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 35
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 36
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 37
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 38
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 39
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 40
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 41
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 42
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 43
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 44
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 45
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 46
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 47
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 48
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 49
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 50
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 51
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 52
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 53
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 54
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 55
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 56
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 57
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 58
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 59
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 60
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 61
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 62
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 63
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 64
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 65
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 66
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 67
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 68
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 69
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 70
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 71
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 72
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 73
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 74
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 75
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 76
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 77
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 78
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 79
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 80
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 81
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 82
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 83
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 84
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 85
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 86
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 87
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 88
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 89
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 90
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 91
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 92
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 93
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 94
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 95
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 96
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 97
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 98
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 99
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        },
                        {
                            "assignments": [
                                {
                                    "ref": "x",
                                    "value": 100
                                }
                            ],
                            "location": "l3",
                            "probability": {
                                "exp": {
                                    "left": 1,
                                    "op": "/",
                                    "right": 101
                                }
                            }
                        }
                    ],
                    "guard": {
                        "exp": true
                    },
                    "location": "l2"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "l1",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": true
                    },
                    "location": "l1"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "l2",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "left": "shots",
                            "op": "≤",
                            "right": 500
                        }
                    },
                    "location": "l0"
                },
                {
                    "destinations": [
                        {
                            "assignments": [],
                            "location": "l1",
                            "probability": {
                                "exp": 1
                            }
                        }
                    ],
                    "guard": {
                        "exp": {
                            "exp": {
                                "left": "shots",
                                "op": "≤",
                                "right": 500
                            },
                            "op": "¬"
                        }
                    },
                    "location": "l0"
                }
            ],
            "initial-locations": [
                "l0"
            ],
            "locations": [
                {
                    "name": "l6",
                    "transient-values": []
                },
                {
                    "name": "l5",
                    "transient-values": []
                },
                {
                    "name": "l4",
                    "transient-values": []
                },
                {
                    "name": "l3",
                    "transient-values": []
                },
                {
                    "name": "l2",
                    "transient-values": []
                },
                {
                    "name": "l1",
                    "transient-values": [
                        {
                            "ref": "_ret0_",
                            "value": true
                        }
                    ]
                },
                {
                    "name": "l0",
                    "transient-values": []
                },
                {
                    "name": "oob-shots",
                    "transient-values": []
                }
            ],
            "name": "main",
            "variables": [
                {
                    "initial-value": 0,
                    "name": "shots",
                    "transient": false,
                    "type": {
                        "base": "int",
                        "kind": "bounded",
                        "lower-bound": 0,
                        "upper-bound": 501
                    }
                },
                {
                    "initial-value": 0,
                    "name": "y",
                    "transient": false,
                    "type": {
                        "base": "int",
                        "kind": "bounded",
                        "lower-bound": 0,
                        "upper-bound": 100
                    }
                },
                {
                    "initial-value": 0,
                    "name": "x",
                    "transient": false,
                    "type": {
                        "base": "int",
                        "kind": "bounded",
                        "lower-bound": 0,
                        "upper-bound": 100
                    }
                }
            ]
        }
    ],
    "constants": [],
    "jani-version": 1,
    "name": "program_graph",
    "restrict-initial": {
        "exp": true
    },
    "system": {
        "elements": [
            {
                "automaton": "main"
            }
        ]
    },
    "type": "mdp",
    "variables": [
        {
            "initial-value": 0,
            "name": "hits",
            "transient": true,
            "type": "int"
        },
        {
            "initial-value": false,
            "name": "_ret0_",
            "transient": true,
            "type": "bool"
        }
    ]
}