{
    "name": "BranchElimination",
    "structs": {},
    "methods": [
        {
            "name": "umm",
            "args": [],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "umm2",
            "args": [],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "calculate",
            "args": [
                {
                    "type": "uint64[][]",
                    "name": "nested_list"
                },
                {
                    "type": "uint64",
                    "name": "threshold"
                }
            ],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        }
    ],
    "arcs": [
        22,
        28
    ],
    "networks": {},
    "state": {
        "schema": {
            "global": {
                "ints": 0,
                "bytes": 0
            },
            "local": {
                "ints": 0,
                "bytes": 0
            }
        },
        "keys": {
            "global": {},
            "local": {},
            "box": {}
        },
        "maps": {
            "global": {},
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        285,
                        337,
                        388
                    ],
                    "errorMessage": "Index access is out of bounds"
                },
                {
                    "pc": [
                        45,
                        63,
                        75
                    ],
                    "errorMessage": "OnCompletion is not NoOp"
                },
                {
                    "pc": [
                        102
                    ],
                    "errorMessage": "can only call when creating"
                },
                {
                    "pc": [
                        48,
                        66,
                        78
                    ],
                    "errorMessage": "can only call when not creating"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDEwCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuYXBwcm92YWxfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIGludGNibG9jayAwIDEgOCAyCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0CiAgICAvLyBjbGFzcyBCcmFuY2hFbGltaW5hdGlvbihBUkM0Q29udHJhY3QpOgogICAgdHhuIE51bUFwcEFyZ3MKICAgIGJ6IG1haW5fYmFyZV9yb3V0aW5nQDgKICAgIHB1c2hieXRlc3MgMHhhZWMyNTBlZiAweGJkNGIyMjNmIDB4ODQ3Zjc3NWYgLy8gbWV0aG9kICJ1bW0oKXVpbnQ2NCIsIG1ldGhvZCAidW1tMigpdm9pZCIsIG1ldGhvZCAiY2FsY3VsYXRlKHVpbnQ2NFtdW10sdWludDY0KXZvaWQiCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICBtYXRjaCBtYWluX3VtbV9yb3V0ZUAzIG1haW5fdW1tMl9yb3V0ZUA0IG1haW5fY2FsY3VsYXRlX3JvdXRlQDUKCm1haW5fYWZ0ZXJfaWZfZWxzZUAxMjoKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjQKICAgIC8vIGNsYXNzIEJyYW5jaEVsaW1pbmF0aW9uKEFSQzRDb250cmFjdCk6CiAgICBpbnRjXzAgLy8gMAogICAgcmV0dXJuCgptYWluX2NhbGN1bGF0ZV9yb3V0ZUA1OgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MjkKICAgIC8vIEBhcmM0LmFiaW1ldGhvZAogICAgdHhuIE9uQ29tcGxldGlvbgogICAgIQogICAgYXNzZXJ0IC8vIE9uQ29tcGxldGlvbiBpcyBub3QgTm9PcAogICAgdHhuIEFwcGxpY2F0aW9uSUQKICAgIGFzc2VydCAvLyBjYW4gb25seSBjYWxsIHdoZW4gbm90IGNyZWF0aW5nCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0CiAgICAvLyBjbGFzcyBCcmFuY2hFbGltaW5hdGlvbihBUkM0Q29udHJhY3QpOgogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMQogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MjkKICAgIC8vIEBhcmM0LmFiaW1ldGhvZAogICAgY2FsbHN1YiBjYWxjdWxhdGUKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4KCm1haW5fdW1tMl9yb3V0ZUA0OgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MTgKICAgIC8vIEBhcmM0LmFiaW1ldGhvZAogICAgdHhuIE9uQ29tcGxldGlvbgogICAgIQogICAgYXNzZXJ0IC8vIE9uQ29tcGxldGlvbiBpcyBub3QgTm9PcAogICAgdHhuIEFwcGxpY2F0aW9uSUQKICAgIGFzc2VydCAvLyBjYW4gb25seSBjYWxsIHdoZW4gbm90IGNyZWF0aW5nCiAgICBjYWxsc3ViIHVtbTIKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4KCm1haW5fdW1tX3JvdXRlQDM6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo1CiAgICAvLyBAYXJjNC5hYmltZXRob2QKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIGFzc2VydCAvLyBPbkNvbXBsZXRpb24gaXMgbm90IE5vT3AKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICBhc3NlcnQgLy8gY2FuIG9ubHkgY2FsbCB3aGVuIG5vdCBjcmVhdGluZwogICAgY2FsbHN1YiB1bW0KICAgIGl0b2IKICAgIHB1c2hieXRlcyAweDE1MWY3Yzc1CiAgICBzd2FwCiAgICBjb25jYXQKICAgIGxvZwogICAgaW50Y18xIC8vIDEKICAgIHJldHVybgoKbWFpbl9iYXJlX3JvdXRpbmdAODoKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjQKICAgIC8vIGNsYXNzIEJyYW5jaEVsaW1pbmF0aW9uKEFSQzRDb250cmFjdCk6CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICBibnogbWFpbl9hZnRlcl9pZl9lbHNlQDEyCiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgIQogICAgYXNzZXJ0IC8vIGNhbiBvbmx5IGNhbGwgd2hlbiBjcmVhdGluZwogICAgaW50Y18xIC8vIDEKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMucmVncmVzc2lvbl90ZXN0cy5sZWZ0b3Zlcl9icmFuY2guaG1tKCkgLT4gdWludDY0OgpobW06CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo1NQogICAgLy8gcmV0dXJuIEZhbHNlCiAgICBpbnRjXzAgLy8gMAogICAgcmV0c3ViCgoKLy8gdGVzdF9jYXNlcy5yZWdyZXNzaW9uX3Rlc3RzLmxlZnRvdmVyX2JyYW5jaC5obW1fdWludDY0KCkgLT4gdWludDY0OgpobW1fdWludDY0OgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NjAKICAgIC8vIHJldHVybiBVSW50NjQoMCkKICAgIGludGNfMCAvLyAwCiAgICByZXRzdWIKCgovLyB0ZXN0X2Nhc2VzLnJlZ3Jlc3Npb25fdGVzdHMubGVmdG92ZXJfYnJhbmNoLkJyYW5jaEVsaW1pbmF0aW9uLnVtbSgpIC0+IHVpbnQ2NDoKdW1tOgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NS02CiAgICAvLyBAYXJjNC5hYmltZXRob2QKICAgIC8vIGRlZiB1bW0oc2VsZikgLT4gVUludDY0OgogICAgcHJvdG8gMCAxCiAgICBwdXNoYnl0ZXMgIiIKICAgIGR1cG4gMgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NwogICAgLy8gYWh1aCA9IFVJbnQ2NCgwKQogICAgaW50Y18wIC8vIDAKCnVtbV93aGlsZV90b3BAMToKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjkKICAgIC8vIGZvciBfaSBpbiB1cmFuZ2UoaG1tX3VpbnQ2NCgpKToKICAgIGNhbGxzdWIgaG1tX3VpbnQ2NAogICAgZnJhbWVfYnVyeSAyCiAgICBpbnRjXzAgLy8gMAogICAgZnJhbWVfYnVyeSAwCgp1bW1fZm9yX2hlYWRlckAzOgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6OQogICAgLy8gZm9yIF9pIGluIHVyYW5nZShobW1fdWludDY0KCkpOgogICAgZnJhbWVfZGlnIDAKICAgIGZyYW1lX2RpZyAyCiAgICA8CiAgICBieiB1bW1fYWZ0ZXJfZm9yQDEyCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToxMAogICAgLy8gaWYgaG1tKCk6ICAjIG5vcWE6IFNJTTEwMgogICAgY2FsbHN1YiBobW0KICAgIGZyYW1lX2RpZyAzCiAgICBmcmFtZV9idXJ5IDEKICAgIGJ6IHVtbV9hZnRlcl9pZl9lbHNlQDEwCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToxMQogICAgLy8gaWYgaG1tKCk6ICAjIG5vcWE6IFNJTTEwMgogICAgY2FsbHN1YiBobW0KICAgIGZyYW1lX2RpZyAzCiAgICBmcmFtZV9idXJ5IDEKICAgIGJ6IHVtbV9hZnRlcl9pZl9lbHNlQDEwCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToxMgogICAgLy8gaWYgaG1tKCk6CiAgICBjYWxsc3ViIGhtbQogICAgZnJhbWVfZGlnIDMKICAgIGZyYW1lX2J1cnkgMQogICAgYnogdW1tX2FmdGVyX2lmX2Vsc2VAMTAKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjEzCiAgICAvLyBhaHVoICs9IGhtbSgpCiAgICBjYWxsc3ViIGhtbQogICAgZnJhbWVfZGlnIDMKICAgICsKICAgIGZyYW1lX2J1cnkgMQoKdW1tX2FmdGVyX2lmX2Vsc2VAMTA6CiAgICBmcmFtZV9kaWcgMQogICAgZnJhbWVfYnVyeSAzCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo5CiAgICAvLyBmb3IgX2kgaW4gdXJhbmdlKGhtbV91aW50NjQoKSk6CiAgICBmcmFtZV9kaWcgMAogICAgaW50Y18xIC8vIDEKICAgICsKICAgIGZyYW1lX2J1cnkgMAogICAgYiB1bW1fZm9yX2hlYWRlckAzCgp1bW1fYWZ0ZXJfZm9yQDEyOgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MTQKICAgIC8vIGlmIGhtbSgpOgogICAgY2FsbHN1YiBobW0KICAgIGJ6IHVtbV93aGlsZV90b3BAMQogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MTYKICAgIC8vIHJldHVybiBhaHVoCiAgICBmcmFtZV9kaWcgMwogICAgZnJhbWVfYnVyeSAwCiAgICByZXRzdWIKCgovLyB0ZXN0X2Nhc2VzLnJlZ3Jlc3Npb25fdGVzdHMubGVmdG92ZXJfYnJhbmNoLkJyYW5jaEVsaW1pbmF0aW9uLnVtbTIoKSAtPiB2b2lkOgp1bW0yOgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MTgtMTkKICAgIC8vIEBhcmM0LmFiaW1ldGhvZAogICAgLy8gZGVmIHVtbTIoc2VsZikgLT4gTm9uZToKICAgIHByb3RvIDAgMAogICAgcHVzaGJ5dGVzICIiCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyMAogICAgLy8gYWh1aCA9IFVJbnQ2NCgwKQogICAgaW50Y18wIC8vIDAKCnVtbTJfd2hpbGVfdG9wQDE6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyMgogICAgLy8gaWYgaG1tKCk6ICAjIG5vcWE6IFNJTTEwMgogICAgY2FsbHN1YiBobW0KICAgIGZyYW1lX2RpZyAxCiAgICBmcmFtZV9idXJ5IDAKICAgIGJ6IHVtbTJfYWZ0ZXJfaWZfZWxzZUA4CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyMwogICAgLy8gaWYgaG1tKCk6ICAjIG5vcWE6IFNJTTEwMgogICAgY2FsbHN1YiBobW0KICAgIGZyYW1lX2RpZyAxCiAgICBmcmFtZV9idXJ5IDAKICAgIGJ6IHVtbTJfYWZ0ZXJfaWZfZWxzZUA4CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyNAogICAgLy8gaWYgaG1tKCk6CiAgICBjYWxsc3ViIGhtbQogICAgZnJhbWVfZGlnIDEKICAgIGZyYW1lX2J1cnkgMAogICAgYnogdW1tMl9hZnRlcl9pZl9lbHNlQDgKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjI1CiAgICAvLyBhaHVoICs9IGhtbSgpCiAgICBjYWxsc3ViIGhtbQogICAgZnJhbWVfZGlnIDEKICAgICsKICAgIGZyYW1lX2J1cnkgMAoKdW1tMl9hZnRlcl9pZl9lbHNlQDg6CiAgICBmcmFtZV9kaWcgMAogICAgZnJhbWVfYnVyeSAxCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyNgogICAgLy8gaWYgaG1tKCk6CiAgICBjYWxsc3ViIGhtbQogICAgYnogdW1tMl93aGlsZV90b3BAMQogICAgcmV0c3ViCgoKLy8gdGVzdF9jYXNlcy5yZWdyZXNzaW9uX3Rlc3RzLmxlZnRvdmVyX2JyYW5jaC5CcmFuY2hFbGltaW5hdGlvbi5jYWxjdWxhdGUobmVzdGVkX2xpc3Q6IGJ5dGVzLCB0aHJlc2hvbGQ6IGJ5dGVzKSAtPiB2b2lkOgpjYWxjdWxhdGU6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weToyOS0zNAogICAgLy8gQGFyYzQuYWJpbWV0aG9kCiAgICAvLyBkZWYgY2FsY3VsYXRlKAogICAgLy8gICAgIHNlbGYsCiAgICAvLyAgICAgbmVzdGVkX2xpc3Q6IGFyYzQuRHluYW1pY0FycmF5W2FyYzQuRHluYW1pY0FycmF5W2FyYzQuVUludDY0XV0sCiAgICAvLyAgICAgdGhyZXNob2xkOiBhcmM0LlVJbnQ2NCwKICAgIC8vICkgLT4gTm9uZToKICAgIHByb3RvIDIgMAogICAgaW50Y18wIC8vIDAKICAgIGR1cG4gMgogICAgcHVzaGJ5dGVzICIiCiAgICBkdXBuIDUKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjM1CiAgICAvLyB0b3RhbCA9IFVJbnQ2NCgwKQogICAgaW50Y18wIC8vIDAKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjM2CiAgICAvLyBudW1fYm9vc3RzID0gVUludDY0KDApCiAgICBkdXAKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjM4CiAgICAvLyBmb3IgaSBpbiB1cmFuZ2UobmVzdGVkX2xpc3QubGVuZ3RoKToKICAgIGZyYW1lX2RpZyAtMgogICAgaW50Y18wIC8vIDAKICAgIGV4dHJhY3RfdWludDE2CiAgICBpbnRjXzAgLy8gMAoKY2FsY3VsYXRlX2Zvcl9oZWFkZXJAMToKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjM4CiAgICAvLyBmb3IgaSBpbiB1cmFuZ2UobmVzdGVkX2xpc3QubGVuZ3RoKToKICAgIGZyYW1lX2RpZyAxMgogICAgZnJhbWVfZGlnIDExCiAgICA8CiAgICBkdXAKICAgIGZyYW1lX2J1cnkgMwogICAgYnogY2FsY3VsYXRlX2FmdGVyX2ZvckAxNAogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6MzkKICAgIC8vIGlubmVyX2xpc3QgPSBuZXN0ZWRfbGlzdFtpXS5jb3B5KCkKICAgIGZyYW1lX2RpZyAtMgogICAgZXh0cmFjdCAyIDAKICAgIGZyYW1lX2RpZyAzCiAgICBhc3NlcnQgLy8gSW5kZXggYWNjZXNzIGlzIG91dCBvZiBib3VuZHMKICAgIGZyYW1lX2RpZyAxMgogICAgaW50Y18zIC8vIDIKICAgICoKICAgIGRpZyAxCiAgICBzd2FwCiAgICBleHRyYWN0X3VpbnQxNgogICAgZHVwMgogICAgZXh0cmFjdF91aW50MTYKICAgIGludGNfMiAvLyA4CiAgICAqCiAgICBpbnRjXzMgLy8gMgogICAgKwogICAgZXh0cmFjdDMKICAgIGR1cAogICAgZnJhbWVfYnVyeSAxCiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0MAogICAgLy8gbGFzdF9pbm5lcl9saXN0X2luZGV4ID0gaW5uZXJfbGlzdC5sZW5ndGggLSAxCiAgICBpbnRjXzAgLy8gMAogICAgZXh0cmFjdF91aW50MTYKICAgIGR1cAogICAgZnJhbWVfYnVyeSA3CiAgICBpbnRjXzEgLy8gMQogICAgLQogICAgZnJhbWVfYnVyeSA1CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0MQogICAgLy8gZm9yIGogaW4gdXJhbmdlKGlubmVyX2xpc3QubGVuZ3RoKToKICAgIGludGNfMCAvLyAwCiAgICBmcmFtZV9idXJ5IDQKCmNhbGN1bGF0ZV9mb3JfaGVhZGVyQDM6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0MQogICAgLy8gZm9yIGogaW4gdXJhbmdlKGlubmVyX2xpc3QubGVuZ3RoKToKICAgIGZyYW1lX2RpZyA0CiAgICBmcmFtZV9kaWcgNwogICAgPAogICAgYnogY2FsY3VsYXRlX2FmdGVyX2ZvckAxMgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NDIKICAgIC8vIHZhbHVlID0gaW5uZXJfbGlzdFtqXQogICAgZnJhbWVfZGlnIDEKICAgIGV4dHJhY3QgMiAwCiAgICBkdXAKICAgIGZyYW1lX2J1cnkgMAogICAgZnJhbWVfZGlnIDQKICAgIGludGNfMiAvLyA4CiAgICAqCiAgICBpbnRjXzIgLy8gOAogICAgZXh0cmFjdDMgLy8gb24gZXJyb3I6IEluZGV4IGFjY2VzcyBpcyBvdXQgb2YgYm91bmRzCiAgICBkdXAKICAgIGZyYW1lX2J1cnkgMgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NDMKICAgIC8vIGlmIHZhbHVlID49IHRocmVzaG9sZDoKICAgIGZyYW1lX2RpZyAtMQogICAgYj49CiAgICBmcmFtZV9kaWcgMTAKICAgIGZyYW1lX2J1cnkgNgogICAgZnJhbWVfZGlnIDkKICAgIGZyYW1lX2J1cnkgOAogICAgYnogY2FsY3VsYXRlX2FmdGVyX2lmX2Vsc2VAMTAKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjQ0CiAgICAvLyBoYXNfbmV4dCA9IGogPCBsYXN0X2lubmVyX2xpc3RfaW5kZXgKICAgIGZyYW1lX2RpZyA0CiAgICBmcmFtZV9kaWcgNQogICAgPAogICAgZnJhbWVfZGlnIDEwCiAgICBmcmFtZV9idXJ5IDYKICAgIGZyYW1lX2RpZyA5CiAgICBmcmFtZV9idXJ5IDgKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjQ1CiAgICAvLyBpZiBoYXNfbmV4dDoKICAgIGJ6IGNhbGN1bGF0ZV9hZnRlcl9pZl9lbHNlQDkKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvbGVmdG92ZXJfYnJhbmNoLnB5OjQ2CiAgICAvLyB0b3RhbCArPSAxCiAgICBmcmFtZV9kaWcgOQogICAgaW50Y18xIC8vIDEKICAgICsKICAgIGR1cAogICAgZnJhbWVfYnVyeSA5CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0NwogICAgLy8gbmV4dF92YWx1ZSA9IGlubmVyX2xpc3RbaiArIDFdCiAgICBmcmFtZV9kaWcgNAogICAgaW50Y18xIC8vIDEKICAgICsKICAgIGludGNfMiAvLyA4CiAgICAqCiAgICBmcmFtZV9kaWcgMAogICAgc3dhcAogICAgaW50Y18yIC8vIDgKICAgIGV4dHJhY3QzIC8vIG9uIGVycm9yOiBJbmRleCBhY2Nlc3MgaXMgb3V0IG9mIGJvdW5kcwogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NDgKICAgIC8vIGlmIHZhbHVlIDwgbmV4dF92YWx1ZToKICAgIGZyYW1lX2RpZyAyCiAgICBiPgogICAgZnJhbWVfZGlnIDEwCiAgICBmcmFtZV9idXJ5IDYKICAgIHN3YXAKICAgIGZyYW1lX2J1cnkgOAogICAgYnogY2FsY3VsYXRlX2FmdGVyX2lmX2Vsc2VAOAogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NDkKICAgIC8vIHRvdGFsICo9IDIKICAgIGZyYW1lX2RpZyA5CiAgICBpbnRjXzMgLy8gMgogICAgKgogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9sZWZ0b3Zlcl9icmFuY2gucHk6NTAKICAgIC8vIG51bV9ib29zdHMgKz0gMQogICAgZnJhbWVfZGlnIDEwCiAgICBpbnRjXzEgLy8gMQogICAgKwogICAgZnJhbWVfYnVyeSA2CiAgICBmcmFtZV9idXJ5IDgKCmNhbGN1bGF0ZV9hZnRlcl9pZl9lbHNlQDg6CiAgICBiIGNhbGN1bGF0ZV9hZnRlcl9pZl9lbHNlQDkKCmNhbGN1bGF0ZV9hZnRlcl9pZl9lbHNlQDk6CiAgICBiIGNhbGN1bGF0ZV9hZnRlcl9pZl9lbHNlQDEwCgpjYWxjdWxhdGVfYWZ0ZXJfaWZfZWxzZUAxMDoKICAgIGZyYW1lX2RpZyA2CiAgICBmcmFtZV9idXJ5IDEwCiAgICBmcmFtZV9kaWcgOAogICAgZnJhbWVfYnVyeSA5CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTo0MQogICAgLy8gZm9yIGogaW4gdXJhbmdlKGlubmVyX2xpc3QubGVuZ3RoKToKICAgIGZyYW1lX2RpZyA0CiAgICBpbnRjXzEgLy8gMQogICAgKwogICAgZnJhbWVfYnVyeSA0CiAgICBiIGNhbGN1bGF0ZV9mb3JfaGVhZGVyQDMKCmNhbGN1bGF0ZV9hZnRlcl9mb3JAMTI6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2xlZnRvdmVyX2JyYW5jaC5weTozOAogICAgLy8gZm9yIGkgaW4gdXJhbmdlKG5lc3RlZF9saXN0Lmxlbmd0aCk6CiAgICBmcmFtZV9kaWcgMTIKICAgIGludGNfMSAvLyAxCiAgICArCiAgICBmcmFtZV9idXJ5IDEyCiAgICBiIGNhbGN1bGF0ZV9mb3JfaGVhZGVyQDEKCmNhbGN1bGF0ZV9hZnRlcl9mb3JAMTQ6CiAgICByZXRzdWIK",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDEwCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuY2xlYXJfc3RhdGVfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIHB1c2hpbnQgMSAvLyAxCiAgICByZXR1cm4K"
    },
    "byteCode": {
        "approval": "CiAEAAEIAjEbQQBSggMErsJQ7wS9SyI/BIR/d182GgCOAwAgABQAAiJDMRkURDEYRDYaATYaAogAwCNDMRkURDEYRIgAfSNDMRkURDEYRIgAGxaABBUffHVMULAjQzEZQP/FMRgURCNDIokiiYoAAYAARwIiiP/zjAIijACLAIsCDEEAM4j/4YsDjAFBAByI/9eLA4wBQQASiP/NiwOMAUEACIj/w4sDCIwBiwGMA4sAIwiMAEL/xYj/rkH/t4sDjACJigAAgAAiiP+diwGMAEEAHIj/k4sBjABBABKI/4mLAYwAQQAIiP9/iwEIjACLAIwBiP9zQf/QiYoCACJHAoAARwUiSYv+IlkiiwyLCwxJjANBAKiL/lcCAIsDRIsMJQtLAUxZSlkkCyUIWEmMASJZSYwHIwmMBSKMBIsEiwcMQQBxiwFXAgBJjACLBCQLJFhJjAKL/6eLCowGiwmMCEEAQYsEiwUMiwqMBosJjAhBAC6LCSMISYwJiwQjCCQLiwBMJFiLAqWLCowGTIwIQQAMiwklC4sKIwiMBowIQgAAQgAAiwaMCosIjAmLBCMIjARC/4eLDCMIjAxC/02J",
        "clear": "CoEBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 99,
            "minor": 99,
            "patch": 99
        }
    },
    "events": [],
    "templateVariables": {}
}