{
    "name": "LibPcg128TestHarnessAlgoTs",
    "structs": {},
    "methods": [
        {
            "name": "get_pcg128_sequence_arc4_uint128_return",
            "args": [
                {
                    "type": "byte[32]",
                    "name": "seed"
                },
                {
                    "type": "uint128",
                    "name": "lower_bound"
                },
                {
                    "type": "uint128",
                    "name": "upper_bound"
                },
                {
                    "type": "uint16",
                    "name": "length"
                }
            ],
            "returns": {
                "type": "uint128[]"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "runtime_asserts_pcg128_stack_array",
            "args": [],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "runtime_failure_stack_byteslice_overflow",
            "args": [],
            "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": [
                        661
                    ],
                    "errorMessage": "invalid number of bytes for arc4.static_array<arc4.uint8, 32>"
                },
                {
                    "pc": [
                        670,
                        679
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint128"
                },
                {
                    "pc": [
                        688
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint16"
                },
                {
                    "pc": [
                        330,
                        647
                    ],
                    "errorMessage": "overflow"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYXJjNC9pbmRleC5kLnRzOjpDb250cmFjdC5hcHByb3ZhbFByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBpbnRjYmxvY2sgNjM2NDEzNjIyMzg0Njc5MzAwNSAzMiAxIDAgMTQ0MjY5NTA0MDg4ODk2MzQwNyAxNDQyNjk1MDQwODg4OTYzNDA5IDE0NDI2OTUwNDA4ODg5NjM0MTEgMTQ0MjY5NTA0MDg4ODk2MzQxMyA0Mjk0OTY3Mjk1CiAgICBieXRlY2Jsb2NrIDB4IDB4MDEgMHgwMTAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwIDB4ZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmYKICAgIHR4biBOdW1BcHBBcmdzCiAgICBieiBtYWluX19fYWxnb3RzX18uZGVmYXVsdENyZWF0ZUAxMAogICAgdHhuIE9uQ29tcGxldGlvbgogICAgIQogICAgYXNzZXJ0CiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgYXNzZXJ0CiAgICBwdXNoYnl0ZXNzIDB4ZGE1ZDVmMmMgMHhjZTM3ZjQyZiAweDZjMGI0ODk4IC8vIG1ldGhvZCAiZ2V0X3BjZzEyOF9zZXF1ZW5jZV9hcmM0X3VpbnQxMjhfcmV0dXJuKGJ5dGVbMzJdLHVpbnQxMjgsdWludDEyOCx1aW50MTYpdWludDEyOFtdIiwgbWV0aG9kICJydW50aW1lX2Fzc2VydHNfcGNnMTI4X3N0YWNrX2FycmF5KCl2b2lkIiwgbWV0aG9kICJydW50aW1lX2ZhaWx1cmVfc3RhY2tfYnl0ZXNsaWNlX292ZXJmbG93KCl2b2lkIgogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMAogICAgbWF0Y2ggZ2V0X3BjZzEyOF9zZXF1ZW5jZV9hcmM0X3VpbnQxMjhfcmV0dXJuIHJ1bnRpbWVfYXNzZXJ0c19wY2cxMjhfc3RhY2tfYXJyYXkgcnVudGltZV9mYWlsdXJlX3N0YWNrX2J5dGVzbGljZV9vdmVyZmxvdwogICAgZXJyCgptYWluX19fYWxnb3RzX18uZGVmYXVsdENyZWF0ZUAxMDoKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAhCiAgICAmJgogICAgcmV0dXJuCgoKLy8gbGliX3BjZy9wY2czMi5hbGdvLnRzOjpfX3BjZzMyT3V0cHV0KHN0YXRlOiB1aW50NjQpIC0+IHVpbnQ2NDoKX19wY2czMk91dHB1dDoKICAgIHByb3RvIDEgMQogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoaW50IDE4CiAgICBzaHIKICAgIGZyYW1lX2RpZyAtMQogICAgXgogICAgcHVzaGludCAyNwogICAgc2hyCiAgICBpbnRjIDggLy8gNDI5NDk2NzI5NQogICAgJgogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoaW50IDU5CiAgICBzaHIKICAgIGR1cDIKICAgIHNocgogICAgc3dhcAogICAgfgogICAgaW50Y18yIC8vIDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgcHVzaGludCAzMQogICAgJgogICAgdW5jb3ZlciAyCiAgICBzd2FwCiAgICBzaGwKICAgIGludGMgOCAvLyA0Mjk0OTY3Mjk1CiAgICAmCiAgICB8CiAgICByZXRzdWIKCgovLyBsaWJfcGNnL3BjZzEyOC5hbGdvLnRzOjpwY2cxMjhJbml0KHNlZWQ6IGJ5dGVzKSAtPiBieXRlczoKcGNnMTI4SW5pdDoKICAgIHByb3RvIDEgMQogICAgZnJhbWVfZGlnIC0xCiAgICBsZW4KICAgIGludGNfMSAvLyAzMgogICAgPT0KICAgIGFzc2VydAogICAgZnJhbWVfZGlnIC0xCiAgICBpbnRjXzMgLy8gMAogICAgZXh0cmFjdF91aW50NjQKICAgIGludGNfMyAvLyAwCiAgICBpbnRjXzAgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBkdXAKICAgIGludGMgNCAvLyAxNDQyNjk1MDQwODg4OTYzNDA3CiAgICBhZGR3CiAgICBidXJ5IDEKICAgIHVuY292ZXIgMgogICAgYWRkdwogICAgYnVyeSAxCiAgICBpbnRjXzAgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBpbnRjIDQgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwNwogICAgYWRkdwogICAgY292ZXIgMgogICAgcG9wCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgOAogICAgZXh0cmFjdF91aW50NjQKICAgIGRpZyAxCiAgICBpbnRjIDUgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwOQogICAgYWRkdwogICAgYnVyeSAxCiAgICBhZGR3CiAgICBidXJ5IDEKICAgIGludGNfMCAvLyA2MzY0MTM2MjIzODQ2NzkzMDA1CiAgICBtdWx3CiAgICBidXJ5IDEKICAgIGludGMgNSAvLyAxNDQyNjk1MDQwODg4OTYzNDA5CiAgICBhZGR3CiAgICBjb3ZlciAyCiAgICBwb3AKICAgIGZyYW1lX2RpZyAtMQogICAgcHVzaGludCAxNgogICAgZXh0cmFjdF91aW50NjQKICAgIGRpZyAxCiAgICBpbnRjIDYgLy8gMTQ0MjY5NTA0MDg4ODk2MzQxMQogICAgYWRkdwogICAgYnVyeSAxCiAgICBhZGR3CiAgICBidXJ5IDEKICAgIGludGNfMCAvLyA2MzY0MTM2MjIzODQ2NzkzMDA1CiAgICBtdWx3CiAgICBidXJ5IDEKICAgIGludGMgNiAvLyAxNDQyNjk1MDQwODg4OTYzNDExCiAgICBhZGR3CiAgICBjb3ZlciAyCiAgICBwb3AKICAgIGZyYW1lX2RpZyAtMQogICAgcHVzaGludCAyNAogICAgZXh0cmFjdF91aW50NjQKICAgIHN3YXAKICAgIGludGMgNyAvLyAxNDQyNjk1MDQwODg4OTYzNDEzCiAgICBhZGR3CiAgICBidXJ5IDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgaW50Y18wIC8vIDYzNjQxMzYyMjM4NDY3OTMwMDUKICAgIG11bHcKICAgIGJ1cnkgMQogICAgaW50YyA3IC8vIDE0NDI2OTUwNDA4ODg5NjM0MTMKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgdW5jb3ZlciAzCiAgICBpdG9iCiAgICB1bmNvdmVyIDMKICAgIGl0b2IKICAgIGNvbmNhdAogICAgdW5jb3ZlciAyCiAgICBpdG9iCiAgICBjb25jYXQKICAgIHN3YXAKICAgIGl0b2IKICAgIGNvbmNhdAogICAgcmV0c3ViCgoKLy8gbGliX3BjZy9wY2cxMjguYWxnby50czo6cGNnMTI4UmFuZG9tKHN0YXRlOiBieXRlcywgbG93ZXJCb3VuZDogYnl0ZXMsIHVwcGVyQm91bmQ6IGJ5dGVzLCBsZW5ndGg6IHVpbnQ2NCkgLT4gYnl0ZXM6CnBjZzEyOFJhbmRvbToKICAgIHByb3RvIDQgMQogICAgaW50Y18zIC8vIDAKICAgIGR1cG4gMgogICAgYnl0ZWNfMCAvLyAiIgogICAgZHVwCiAgICBmcmFtZV9kaWcgLTEKICAgIGl0b2IKICAgIGR1cAogICAgYml0bGVuCiAgICBwdXNoaW50IDE2CiAgICA8PQogICAgYXNzZXJ0IC8vIG92ZXJmbG93CiAgICBleHRyYWN0IDYgMgogICAgZnJhbWVfZGlnIC0zCiAgICBieXRlY18wIC8vIDB4CiAgICBiPT0KICAgIGJ6IHBjZzEyOFJhbmRvbV9lbHNlX2JvZHlANgogICAgZnJhbWVfZGlnIC0yCiAgICBieXRlY18wIC8vIDB4CiAgICBiPT0KICAgIGJ6IHBjZzEyOFJhbmRvbV9lbHNlX2JvZHlANgogICAgaW50Y18zIC8vIDAKICAgIGZyYW1lX2J1cnkgMwogICAgZnJhbWVfZGlnIC00CgpwY2cxMjhSYW5kb21fd2hpbGVfdG9wQDM6CiAgICBmcmFtZV9kaWcgMwogICAgZnJhbWVfZGlnIC0xCiAgICA8CiAgICBieiBwY2cxMjhSYW5kb21fYWZ0ZXJfaWZfZWxzZUAxOQogICAgY2FsbHN1YiBfX3BjZzEyOFVuYm91bmRlZFJhbmRvbQogICAgZHVwCiAgICBleHRyYWN0IDAgMzIKICAgIHN3YXAKICAgIGV4dHJhY3QgMzIgNjQKICAgIGV4dHJhY3QgNDggMTYKICAgIHVuY292ZXIgMgogICAgc3dhcAogICAgY29uY2F0CiAgICBzd2FwCiAgICBmcmFtZV9kaWcgMwogICAgaW50Y18yIC8vIDEKICAgICsKICAgIGZyYW1lX2J1cnkgMwogICAgYiBwY2cxMjhSYW5kb21fd2hpbGVfdG9wQDMKCnBjZzEyOFJhbmRvbV9hZnRlcl9pZl9lbHNlQDE5OgogICAgcG9wCiAgICBmcmFtZV9kaWcgLTQKICAgIHB1c2hieXRlcyAweDAwMjIKICAgIGNvbmNhdAogICAgc3dhcAogICAgY29uY2F0CiAgICBmcmFtZV9idXJ5IDAKICAgIHJldHN1YgoKcGNnMTI4UmFuZG9tX2Vsc2VfYm9keUA2OgogICAgZnJhbWVfZGlnIC0yCiAgICBieXRlY18wIC8vIDB4CiAgICBiIT0KICAgIGJ6IHBjZzEyOFJhbmRvbV9lbHNlX2JvZHlAOAogICAgZnJhbWVfZGlnIC0yCiAgICBieXRlY18xIC8vIDB4MDEKICAgIGI+CiAgICBhc3NlcnQKICAgIGZyYW1lX2RpZyAtMgogICAgYnl0ZWNfMiAvLyAweDAxMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAKICAgIGI8CiAgICBhc3NlcnQKICAgIGZyYW1lX2RpZyAtMgogICAgYnl0ZWNfMSAvLyAweDAxCiAgICBiLQogICAgZnJhbWVfZGlnIC0zCiAgICBiPgogICAgYXNzZXJ0CiAgICBmcmFtZV9kaWcgLTIKICAgIGZyYW1lX2RpZyAtMwogICAgYi0KICAgIGZyYW1lX2J1cnkgMAoKcGNnMTI4UmFuZG9tX2FmdGVyX2lmX2Vsc2VAOToKICAgIGZyYW1lX2RpZyAwCiAgICBkdXAKICAgIGJ+CiAgICBieXRlY18xIC8vIDB4MDEKICAgIGIrCiAgICBieXRlY18zIC8vIDB4ZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmYKICAgIGImCiAgICBzd2FwCiAgICBiJQogICAgZnJhbWVfYnVyeSAyCiAgICBpbnRjXzMgLy8gMAogICAgZnJhbWVfYnVyeSA0CiAgICBmcmFtZV9kaWcgLTQKCnBjZzEyOFJhbmRvbV93aGlsZV90b3BAMTA6CiAgICBmcmFtZV9kaWcgNAogICAgZnJhbWVfZGlnIC0xCiAgICA8CiAgICBieiBwY2cxMjhSYW5kb21fYWZ0ZXJfaWZfZWxzZUAxOQoKcGNnMTI4UmFuZG9tX3doaWxlX3RvcEAxMjoKICAgIGNhbGxzdWIgX19wY2cxMjhVbmJvdW5kZWRSYW5kb20KICAgIGR1cAogICAgZXh0cmFjdCAwIDMyCiAgICBzd2FwCiAgICBleHRyYWN0IDMyIDY0CiAgICBkdXAKICAgIGZyYW1lX2J1cnkgMQogICAgZnJhbWVfZGlnIDIKICAgIGI+PQogICAgYnogcGNnMTI4UmFuZG9tX3doaWxlX3RvcEAxMgogICAgZnJhbWVfZGlnIDEKICAgIGZyYW1lX2RpZyAwCiAgICBiJQogICAgZnJhbWVfZGlnIC0zCiAgICBiKwogICAgcHVzaGludCAxNgogICAgYnplcm8KICAgIGJ8CiAgICB1bmNvdmVyIDIKICAgIHN3YXAKICAgIGNvbmNhdAogICAgc3dhcAogICAgZnJhbWVfZGlnIDQKICAgIGludGNfMiAvLyAxCiAgICArCiAgICBmcmFtZV9idXJ5IDQKICAgIGIgcGNnMTI4UmFuZG9tX3doaWxlX3RvcEAxMAoKcGNnMTI4UmFuZG9tX2Vsc2VfYm9keUA4OgogICAgZnJhbWVfZGlnIC0zCiAgICBieXRlY18zIC8vIDB4ZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmYKICAgIGI8CiAgICBhc3NlcnQKICAgIGJ5dGVjXzIgLy8gMHgwMTAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwCiAgICBmcmFtZV9kaWcgLTMKICAgIGItCiAgICBmcmFtZV9idXJ5IDAKICAgIGIgcGNnMTI4UmFuZG9tX2FmdGVyX2lmX2Vsc2VAOQoKCi8vIGxpYl9wY2cvcGNnMTI4LmFsZ28udHM6Ol9fcGNnMTI4VW5ib3VuZGVkUmFuZG9tKHN0YXRlOiBieXRlcykgLT4gYnl0ZXM6Cl9fcGNnMTI4VW5ib3VuZGVkUmFuZG9tOgogICAgcHJvdG8gMSAxCiAgICBmcmFtZV9kaWcgLTEKICAgIGludGNfMyAvLyAwCiAgICBleHRyYWN0X3VpbnQ2NAogICAgZHVwCiAgICBpbnRjXzAgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBpbnRjIDQgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwNwogICAgYWRkdwogICAgYnVyeSAxCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgOAogICAgZXh0cmFjdF91aW50NjQKICAgIGRpZyAxCiAgICAhCiAgICBpbnRjIDUgLy8gMTQ0MjY5NTA0MDg4ODk2MzQwOQogICAgc3dhcAogICAgc2hsCiAgICBkaWcgMQogICAgaW50Y18wIC8vIDYzNjQxMzYyMjM4NDY3OTMwMDUKICAgIG11bHcKICAgIGJ1cnkgMQogICAgYWRkdwogICAgYnVyeSAxCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgMTYKICAgIGV4dHJhY3RfdWludDY0CiAgICBkaWcgMQogICAgIQogICAgaW50YyA2IC8vIDE0NDI2OTUwNDA4ODg5NjM0MTEKICAgIHN3YXAKICAgIHNobAogICAgZGlnIDEKICAgIGludGNfMCAvLyA2MzY0MTM2MjIzODQ2NzkzMDA1CiAgICBtdWx3CiAgICBidXJ5IDEKICAgIGFkZHcKICAgIGJ1cnkgMQogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoaW50IDI0CiAgICBleHRyYWN0X3VpbnQ2NAogICAgZGlnIDEKICAgICEKICAgIGludGMgNyAvLyAxNDQyNjk1MDQwODg4OTYzNDEzCiAgICBzd2FwCiAgICBzaGwKICAgIGRpZyAxCiAgICBpbnRjXzAgLy8gNjM2NDEzNjIyMzg0Njc5MzAwNQogICAgbXVsdwogICAgYnVyeSAxCiAgICBhZGR3CiAgICBidXJ5IDEKICAgIHVuY292ZXIgNgogICAgaXRvYgogICAgdW5jb3ZlciA1CiAgICBpdG9iCiAgICBjb25jYXQKICAgIHVuY292ZXIgMwogICAgaXRvYgogICAgY29uY2F0CiAgICBzd2FwCiAgICBpdG9iCiAgICBjb25jYXQKICAgIHVuY292ZXIgNAogICAgY2FsbHN1YiBfX3BjZzMyT3V0cHV0CiAgICBpbnRjXzEgLy8gMzIKICAgIHNobAogICAgdW5jb3ZlciA0CiAgICBjYWxsc3ViIF9fcGNnMzJPdXRwdXQKICAgIHwKICAgIGl0b2IKICAgIHVuY292ZXIgMwogICAgY2FsbHN1YiBfX3BjZzMyT3V0cHV0CiAgICBpbnRjXzEgLy8gMzIKICAgIHNobAogICAgdW5jb3ZlciAzCiAgICBjYWxsc3ViIF9fcGNnMzJPdXRwdXQKICAgIHwKICAgIGl0b2IKICAgIGNvbmNhdAogICAgZHVwCiAgICBsZW4KICAgIHB1c2hpbnQgNjQKICAgIDw9CiAgICBhc3NlcnQgLy8gb3ZlcmZsb3cKICAgIHB1c2hpbnQgNjQKICAgIGJ6ZXJvCiAgICBifAogICAgY29uY2F0CiAgICByZXRzdWIKCgovLyBzbWFydF9jb250cmFjdHMvbGliX3BjZzEyOF90ZXN0X2hhcm5lc3MvY29udHJhY3QuYWxnby50czo6TGliUGNnMTI4VGVzdEhhcm5lc3NBbGdvVHMuZ2V0X3BjZzEyOF9zZXF1ZW5jZV9hcmM0X3VpbnQxMjhfcmV0dXJuW3JvdXRpbmddKCkgLT4gdm9pZDoKZ2V0X3BjZzEyOF9zZXF1ZW5jZV9hcmM0X3VpbnQxMjhfcmV0dXJuOgogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMQogICAgZHVwCiAgICBsZW4KICAgIGludGNfMSAvLyAzMgogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC5zdGF0aWNfYXJyYXk8YXJjNC51aW50OCwgMzI+CiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAyCiAgICBkdXAKICAgIGxlbgogICAgcHVzaGludCAxNgogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50MTI4CiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAzCiAgICBkdXAKICAgIGxlbgogICAgcHVzaGludCAxNgogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50MTI4CiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyA0CiAgICBkdXAKICAgIGxlbgogICAgcHVzaGludCAyCiAgICA9PQogICAgYXNzZXJ0IC8vIGludmFsaWQgbnVtYmVyIG9mIGJ5dGVzIGZvciBhcmM0LnVpbnQxNgogICAgdW5jb3ZlciAzCiAgICBjYWxsc3ViIHBjZzEyOEluaXQKICAgIHN3YXAKICAgIGJ0b2kKICAgIHN3YXAKICAgIGNvdmVyIDMKICAgIGNhbGxzdWIgcGNnMTI4UmFuZG9tCiAgICBkdXAKICAgIGludGNfMSAvLyAzMgogICAgZXh0cmFjdF91aW50MTYKICAgIGRpZyAxCiAgICBsZW4KICAgIHN1YnN0cmluZzMKICAgIHB1c2hieXRlcyAweDE1MWY3Yzc1CiAgICBzd2FwCiAgICBjb25jYXQKICAgIGxvZwogICAgaW50Y18yIC8vIDEKICAgIHJldHVybgoKCi8vIHNtYXJ0X2NvbnRyYWN0cy9saWJfcGNnMTI4X3Rlc3RfaGFybmVzcy9jb250cmFjdC5hbGdvLnRzOjpMaWJQY2cxMjhUZXN0SGFybmVzc0FsZ29Ucy5ydW50aW1lX2Fzc2VydHNfcGNnMTI4X3N0YWNrX2FycmF5W3JvdXRpbmddKCkgLT4gdm9pZDoKcnVudGltZV9hc3NlcnRzX3BjZzEyOF9zdGFja19hcnJheToKICAgIGludGNfMSAvLyAzMgogICAgYnplcm8KICAgIGNhbGxzdWIgcGNnMTI4SW5pdAogICAgYnl0ZWNfMCAvLyAweAogICAgZHVwCiAgICBwdXNoaW50IDI1MwogICAgY2FsbHN1YiBwY2cxMjhSYW5kb20KICAgIHBvcAogICAgaW50Y18yIC8vIDEKICAgIHJldHVybgoKCi8vIHNtYXJ0X2NvbnRyYWN0cy9saWJfcGNnMTI4X3Rlc3RfaGFybmVzcy9jb250cmFjdC5hbGdvLnRzOjpMaWJQY2cxMjhUZXN0SGFybmVzc0FsZ29Ucy5ydW50aW1lX2ZhaWx1cmVfc3RhY2tfYnl0ZXNsaWNlX292ZXJmbG93W3JvdXRpbmddKCkgLT4gdm9pZDoKcnVudGltZV9mYWlsdXJlX3N0YWNrX2J5dGVzbGljZV9vdmVyZmxvdzoKICAgIGludGNfMSAvLyAzMgogICAgYnplcm8KICAgIGNhbGxzdWIgcGNnMTI4SW5pdAogICAgYnl0ZWNfMCAvLyAweAogICAgZHVwCiAgICBwdXNoaW50IDI1NAogICAgY2FsbHN1YiBwY2cxMjhSYW5kb20KICAgIHBvcAogICAgaW50Y18yIC8vIDEKICAgIHJldHVybgo=",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYmFzZS1jb250cmFjdC5kLnRzOjpCYXNlQ29udHJhY3QuY2xlYXJTdGF0ZVByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBwdXNoaW50IDEKICAgIHJldHVybgo="
    },
    "byteCode": {
        "approval": "CyAJrf7V5NSF/ahYIAEAz4Keu+/v3oIU0YKeu+/v3oIU04Keu+/v3oIU1YKeu+/v3oIU/////w8mBAABAREBAAAAAAAAAAAAAAAAAAAAABD/////////////////////MRtBACQxGRREMRhEggME2l1fLATON/QvBGwLSJg2GgCOAwIGAkgCWAAxGRQxGBQQQ4oBAYv/gRKRi/8bgRuRIQgai/+BO5FKkUwcJB5FAYEfGk8CTJAhCBoZiYoBAYv/FSMSRIv/JVslIh1FAUkhBB5FAU8CHkUBIh1FASEEHk4CSIv/gQhbSwEhBR5FAR5FASIdRQEhBR5OAkiL/4EQW0sBIQYeRQEeRQEiHUUBIQYeTgJIi/+BGFtMIQceRQEeRQEiHUUBIQceRQFPAxZPAxZQTwIWUEwWUImKBAElRwIoSYv/FkmTgRAORFcGAov9KKhBAD2L/iioQQA2JYwDi/yLA4v/DEEAHIgAm0lXACBMVyBAVzAQTwJMUEyLAyQIjANC/9xIi/yAAgAiUExQjACJi/4oqUEAYIv+KaVEi/4qpESL/imhi/2lRIv+i/2hjACLAEmuKaArrEyqjAIljASL/IsEi/8MQf+6iAA5SVcAIExXIEBJjAGLAqdB/+yLAYsAqov9oIEQr6tPAkxQTIsEJAiMBEL/yov9K6REKov9oYwAQv+rigEBi/8lW0kiHUUBIQQeRQGL/4EIW0sBFCEFTJBLASIdRQEeRQGL/4EQW0sBFCEGTJBLASIdRQEeRQGL/4EYW0sBFCEHTJBLASIdRQEeRQFPBhZPBRZQTwMWUEwWUE8EiP4nI5BPBIj+IBkWTwOI/hkjkE8DiP4SGRZQSRWBQA5EgUCvq1CJNhoBSRUjEkQ2GgJJFYEQEkQ2GgNJFYEQEkQ2GgRJFYECEkRPA4j+BUwXTE4DiP58SSNZSwEVUoAEFR98dUxQsCRDI6+I/eYoSYH9AYj+XUgkQyOviP3WKEmB/gGI/k1IJEM=",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 5,
            "minor": 9,
            "patch": 0
        }
    },
    "events": [],
    "templateVariables": {}
}