{
    "name": "DemoContract",
    "structs": {},
    "methods": [
        {
            "name": "test",
            "args": [],
            "returns": {
                "type": "bool"
            },
            "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": [
                        94,
                        200
                    ],
                    "errorMessage": "x input must be 10"
                },
                {
                    "pc": [
                        298
                    ],
                    "errorMessage": "x must be 4 unset bytes"
                },
                {
                    "pc": [
                        99,
                        205
                    ],
                    "errorMessage": "y input must be 5"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYXJjNC9pbmRleC5kLnRzOjpDb250cmFjdC5hcHByb3ZhbFByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBpbnRjYmxvY2sgMSAwIDEwIDUKICAgIGJ5dGVjYmxvY2sgMHgwYSAweDAxIDB4MDUKICAgIGIgbWFpbl9ibG9ja0AwCgptYWluX2Jsb2NrQDA6CiAgICBiIG1haW5fYmxvY2tAMQoKbWFpbl9ibG9ja0AxOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjU3CiAgICAvLyBleHBvcnQgY2xhc3MgRGVtb0NvbnRyYWN0IGV4dGVuZHMgQ29udHJhY3QgewogICAgdHhuIE51bUFwcEFyZ3MKICAgIGludGNfMSAvLyAwCiAgICAhPQogICAgYnogbWFpbl9fX2FsZ290c19fLmRlZmF1bHRDcmVhdGVANQogICAgYiBtYWluX2FiaV9yb3V0aW5nQDIKCm1haW5fYWJpX3JvdXRpbmdAMjoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo1NwogICAgLy8gZXhwb3J0IGNsYXNzIERlbW9Db250cmFjdCBleHRlbmRzIENvbnRyYWN0IHsKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDAKICAgIHB1c2hieXRlcyAweGY1OWUzY2M0IC8vIG1ldGhvZCAidGVzdCgpYm9vbCIKICAgIHVuY292ZXIgMQogICAgbWF0Y2ggbWFpbl90ZXN0X3JvdXRlQDMKICAgIGIgbWFpbl9zd2l0Y2hfY2FzZV9uZXh0QDQKCm1haW5fc3dpdGNoX2Nhc2VfbmV4dEA0OgogICAgYiBtYWluX2FmdGVyX2lmX2Vsc2VANgoKbWFpbl9hZnRlcl9pZl9lbHNlQDY6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NTcKICAgIC8vIGV4cG9ydCBjbGFzcyBEZW1vQ29udHJhY3QgZXh0ZW5kcyBDb250cmFjdCB7CiAgICBlcnIKCm1haW5fdGVzdF9yb3V0ZUAzOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjU4CiAgICAvLyB0ZXN0KCkgewogICAgdHhuIE9uQ29tcGxldGlvbgogICAgaW50Y18xIC8vIE5vT3AKICAgID09CiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgaW50Y18xIC8vIDAKICAgICE9CiAgICAmJgogICAgYXNzZXJ0CiAgICBjYWxsc3ViIHRlc3QKICAgIGIgbWFpbl9zd2l0Y2hfY2FzZV9uZXh0QDQKCm1haW5fX19hbGdvdHNfXy5kZWZhdWx0Q3JlYXRlQDU6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NTcKICAgIC8vIGV4cG9ydCBjbGFzcyBEZW1vQ29udHJhY3QgZXh0ZW5kcyBDb250cmFjdCB7CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICBpbnRjXzEgLy8gTm9PcAogICAgPT0KICAgIHR4biBBcHBsaWNhdGlvbklECiAgICBpbnRjXzEgLy8gMAogICAgPT0KICAgICYmCiAgICBhc3NlcnQKICAgIGNhbGxzdWIgX19hbGdvdHNfXy5kZWZhdWx0Q3JlYXRlCiAgICBpbnRjXzAgLy8gMQogICAgcmV0dXJuCgoKLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjp0ZXN0X3VpbnQ2NCh4OiB1aW50NjQsIHk6IHVpbnQ2NCkgLT4gdWludDY0Ogp0ZXN0X3VpbnQ2NDoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo1CiAgICAvLyBmdW5jdGlvbiB0ZXN0X3VpbnQ2NCh4OiB1aW50NjQsIHk6IHVpbnQ2NCkgewogICAgcHJvdG8gMiAxCiAgICBiIHRlc3RfdWludDY0X2Jsb2NrQDAKCnRlc3RfdWludDY0X2Jsb2NrQDA6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NgogICAgLy8gYXNzZXJ0KHggPT09IDEwLCAneCBpbnB1dCBtdXN0IGJlIDEwJykKICAgIGZyYW1lX2RpZyAtMgogICAgaW50Y18yIC8vIDEwCiAgICA9PQogICAgYXNzZXJ0IC8vIHggaW5wdXQgbXVzdCBiZSAxMAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjcKICAgIC8vIGFzc2VydCh5ID09PSA1LCAneSBpbnB1dCBtdXN0IGJlIDUnKQogICAgZnJhbWVfZGlnIC0xCiAgICBpbnRjXzMgLy8gNQogICAgPT0KICAgIGFzc2VydCAvLyB5IGlucHV0IG11c3QgYmUgNQogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjgKICAgIC8vIHgrKwogICAgZnJhbWVfZGlnIC0yCiAgICBpbnRjXzAgLy8gMQogICAgKwogICAgZHVwCiAgICBmcmFtZV9idXJ5IC0yCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6OQogICAgLy8gYXNzZXJ0KHggPT09IDExKQogICAgcHVzaGludCAxMQogICAgPT0KICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjEwCiAgICAvLyB4LS0KICAgIGZyYW1lX2RpZyAtMgogICAgaW50Y18wIC8vIDEKICAgIC0KICAgIGR1cAogICAgZnJhbWVfYnVyeSAtMgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjExCiAgICAvLyBhc3NlcnQoeCA9PT0gMTApCiAgICBpbnRjXzIgLy8gMTAKICAgID09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoxMgogICAgLy8geCAtPSAtLXkKICAgIGZyYW1lX2RpZyAtMQogICAgaW50Y18wIC8vIDEKICAgIC0KICAgIGZyYW1lX2J1cnkgLTEKICAgIGZyYW1lX2RpZyAtMgogICAgZnJhbWVfZGlnIC0xCiAgICAtCiAgICBkdXAKICAgIGZyYW1lX2J1cnkgLTIKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoxMwogICAgLy8gYXNzZXJ0KHggPT09IDYpCiAgICBwdXNoaW50IDYKICAgID09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoxNAogICAgLy8gYXNzZXJ0KHkgPT09IDQpCiAgICBmcmFtZV9kaWcgLTEKICAgIHB1c2hpbnQgNAogICAgPT0KICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjE1CiAgICAvLyB4ICs9IHkrKwogICAgZnJhbWVfZGlnIC0xCiAgICBpbnRjXzAgLy8gMQogICAgKwogICAgZnJhbWVfZGlnIC0yCiAgICBmcmFtZV9kaWcgLTEKICAgICsKICAgIGR1cAogICAgZnJhbWVfYnVyeSAtMgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjE2CiAgICAvLyBhc3NlcnQoeCA9PT0gMTApCiAgICBpbnRjXzIgLy8gMTAKICAgID09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoxNwogICAgLy8gYXNzZXJ0KHkgPT09IDUpCiAgICBkdXAKICAgIGludGNfMyAvLyA1CiAgICA9PQogICAgYXNzZXJ0CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6MTgKICAgIC8vIGNvbnN0IGludmVydGVkOiB1aW50NjQgPSB+eQogICAgZHVwCiAgICB+CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6MTkKICAgIC8vIGFzc2VydChpbnZlcnRlZCA9PT0gMiAqKiA2NCAtIDEgLSB5KQogICAgcHVzaGludCAxODQ0Njc0NDA3MzcwOTU1MTYxNQogICAgZGlnIDIKICAgIC0KICAgID09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoyNgogICAgLy8gYXNzZXJ0KHkpCiAgICBkdXAKICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjI3CiAgICAvLyBhc3NlcnQoISF5KQogICAgZHVwCiAgICAhCiAgICAhCiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czoyOAogICAgLy8gcmV0dXJuICF5CiAgICAhCiAgICByZXRzdWIKCgovLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6OnRlc3RfYmlndWludCh4OiBieXRlcywgeTogYnl0ZXMpIC0+IHVpbnQ2NDoKdGVzdF9iaWd1aW50OgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjMwCiAgICAvLyBmdW5jdGlvbiB0ZXN0X2JpZ3VpbnQoeDogYmlndWludCwgeTogYmlndWludCkgewogICAgcHJvdG8gMiAxCiAgICBiIHRlc3RfYmlndWludF9ibG9ja0AwCgp0ZXN0X2JpZ3VpbnRfYmxvY2tAMDoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czozMQogICAgLy8gYXNzZXJ0KHggPT09IDEwbiwgJ3ggaW5wdXQgbXVzdCBiZSAxMCcpCiAgICBmcmFtZV9kaWcgLTIKICAgIGJ5dGVjXzAgLy8gMHgwYQogICAgYj09CiAgICBhc3NlcnQgLy8geCBpbnB1dCBtdXN0IGJlIDEwCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6MzIKICAgIC8vIGFzc2VydCh5ID09PSA1biwgJ3kgaW5wdXQgbXVzdCBiZSA1JykKICAgIGZyYW1lX2RpZyAtMQogICAgYnl0ZWNfMiAvLyAweDA1CiAgICBiPT0KICAgIGFzc2VydCAvLyB5IGlucHV0IG11c3QgYmUgNQogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjM0CiAgICAvLyB4KysKICAgIGZyYW1lX2RpZyAtMgogICAgYnl0ZWNfMSAvLyAweDAxCiAgICBiKwogICAgZHVwCiAgICBmcmFtZV9idXJ5IC0yCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6MzUKICAgIC8vIGFzc2VydCh4ID09PSAxMW4pCiAgICBwdXNoYnl0ZXMgMHgwYgogICAgYj09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czozNwogICAgLy8geC0tCiAgICBmcmFtZV9kaWcgLTIKICAgIGJ5dGVjXzEgLy8gMHgwMQogICAgYi0KICAgIGR1cAogICAgZnJhbWVfYnVyeSAtMgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjM5CiAgICAvLyBhc3NlcnQoeCA9PT0gMTBuKQogICAgYnl0ZWNfMCAvLyAweDBhCiAgICBiPT0KICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjQwCiAgICAvLyB4IC09IC0teQogICAgZnJhbWVfZGlnIC0xCiAgICBieXRlY18xIC8vIDB4MDEKICAgIGItCiAgICBmcmFtZV9idXJ5IC0xCiAgICBmcmFtZV9kaWcgLTIKICAgIGZyYW1lX2RpZyAtMQogICAgYi0KICAgIGZyYW1lX2J1cnkgLTIKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo0MQogICAgLy8gYXNzZXJ0KHkgPT09IDRuKQogICAgZnJhbWVfZGlnIC0xCiAgICBwdXNoYnl0ZXMgMHgwNAogICAgYj09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo0MgogICAgLy8gYXNzZXJ0KHggPT09IDZuKQogICAgZnJhbWVfZGlnIC0yCiAgICBwdXNoYnl0ZXMgMHgwNgogICAgYj09CiAgICBhc3NlcnQKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo0MwogICAgLy8geCArPSB5KysKICAgIGZyYW1lX2RpZyAtMQogICAgYnl0ZWNfMSAvLyAweDAxCiAgICBiKwogICAgZnJhbWVfZGlnIC0yCiAgICBmcmFtZV9kaWcgLTEKICAgIGIrCiAgICBmcmFtZV9idXJ5IC0yCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NDQKICAgIC8vIGFzc2VydCh5ID09PSA1bikKICAgIGR1cAogICAgYnl0ZWNfMiAvLyAweDA1CiAgICBiPT0KICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjQ1CiAgICAvLyBhc3NlcnQoeCA9PT0gMTBuKQogICAgZnJhbWVfZGlnIC0yCiAgICBieXRlY18wIC8vIDB4MGEKICAgIGI9PQogICAgYXNzZXJ0CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NDYKICAgIC8vIGFzc2VydCh5KQogICAgZHVwCiAgICBiaXRsZW4KICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjQ3CiAgICAvLyBhc3NlcnQoISF5KQogICAgZHVwCiAgICBiaXRsZW4KICAgICEKICAgICEKICAgIGFzc2VydAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjQ4CiAgICAvLyByZXR1cm4gIXkKICAgIGJpdGxlbgogICAgIQogICAgcmV0c3ViCgoKLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjp0ZXN0X2J5dGVzKHg6IGJ5dGVzKSAtPiB2b2lkOgp0ZXN0X2J5dGVzOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjUwCiAgICAvLyBmdW5jdGlvbiB0ZXN0X2J5dGVzKHg6IGJ5dGVzKSB7CiAgICBwcm90byAxIDAKICAgIGIgdGVzdF9ieXRlc19ibG9ja0AwCgp0ZXN0X2J5dGVzX2Jsb2NrQDA6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NTEKICAgIC8vIGFzc2VydCh4ID09PSBiemVybyg0KSwgJ3ggbXVzdCBiZSA0IHVuc2V0IGJ5dGVzJykKICAgIHB1c2hpbnQgNAogICAgYnplcm8KICAgIGZyYW1lX2RpZyAtMQogICAgPT0KICAgIGFzc2VydCAvLyB4IG11c3QgYmUgNCB1bnNldCBieXRlcwogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjUyCiAgICAvLyBjb25zdCB5ID0geC5iaXR3aXNlSW52ZXJ0KCkKICAgIGZyYW1lX2RpZyAtMQogICAgYn4KICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo1NAogICAgLy8gYXNzZXJ0KHkgPT09IEJ5dGVzLmZyb21IZXgoJ0ZGRkZGRkZGJykpCiAgICBwdXNoYnl0ZXMgMHhmZmZmZmZmZgogICAgPT0KICAgIGFzc2VydAogICAgcmV0c3ViCgoKLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjpEZW1vQ29udHJhY3QudGVzdFtyb3V0aW5nXSgpIC0+IHZvaWQ6CnRlc3Q6CiAgICBiIHRlc3RfYmxvY2tAMAoKdGVzdF9ibG9ja0AwOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjU4CiAgICAvLyB0ZXN0KCkgewogICAgY2FsbHN1YiB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6OkRlbW9Db250cmFjdC50ZXN0CiAgICBwdXNoYnl0ZXMgMHgwMAogICAgaW50Y18xIC8vIDAKICAgIHVuY292ZXIgMgogICAgc2V0Yml0CiAgICBwdXNoYnl0ZXMgMHgxNTFmN2M3NQogICAgdW5jb3ZlciAxCiAgICBjb25jYXQKICAgIGxvZwogICAgaW50Y18wIC8vIDEKICAgIHJldHVybgoKCi8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo6RGVtb0NvbnRyYWN0LnRlc3QoKSAtPiB1aW50NjQ6CnRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo6RGVtb0NvbnRyYWN0LnRlc3Q6CiAgICBiIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo6RGVtb0NvbnRyYWN0LnRlc3RfYmxvY2tAMAoKdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjpEZW1vQ29udHJhY3QudGVzdF9ibG9ja0AwOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjU5CiAgICAvLyB0ZXN0X3VpbnQ2NCgxMCwgNSkKICAgIGludGNfMiAvLyAxMAogICAgaW50Y18zIC8vIDUKICAgIGNhbGxzdWIgdGVzdF91aW50NjQKICAgIHBvcAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3ByZWZpeC1wb3N0Zml4LW9wZXJhdG9ycy5hbGdvLnRzOjYwCiAgICAvLyB0ZXN0X2JpZ3VpbnQoMTBuLCA1bikKICAgIGJ5dGVjXzAgLy8gMHgwYQogICAgYnl0ZWNfMiAvLyAweDA1CiAgICBjYWxsc3ViIHRlc3RfYmlndWludAogICAgcG9wCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6NjIKICAgIC8vIHRlc3RfYnl0ZXMoYnplcm8oNCkpCiAgICBwdXNoaW50IDQKICAgIGJ6ZXJvCiAgICBjYWxsc3ViIHRlc3RfYnl0ZXMKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9wcmVmaXgtcG9zdGZpeC1vcGVyYXRvcnMuYWxnby50czo2NAogICAgLy8gcmV0dXJuIHRydWUKICAgIGludGNfMCAvLyAxCiAgICByZXRzdWIKCgovLyB0ZXN0cy9hcHByb3ZhbHMvcHJlZml4LXBvc3RmaXgtb3BlcmF0b3JzLmFsZ28udHM6OkRlbW9Db250cmFjdC5fX2FsZ290c19fLmRlZmF1bHRDcmVhdGUoKSAtPiB2b2lkOgpfX2FsZ290c19fLmRlZmF1bHRDcmVhdGU6CiAgICBiIF9fYWxnb3RzX18uZGVmYXVsdENyZWF0ZV9ibG9ja0AwCgpfX2FsZ290c19fLmRlZmF1bHRDcmVhdGVfYmxvY2tAMDoKICAgIHJldHN1Ygo=",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYmFzZS1jb250cmFjdC5kLnRzOjpCYXNlQ29udHJhY3QuY2xlYXJTdGF0ZVByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBiIG1haW5fYmxvY2tAMAoKbWFpbl9ibG9ja0AwOgogICAgcHVzaGludCAxCiAgICByZXR1cm4K"
    },
    "byteCode": {
        "approval": "CyAEAQAKBSYDAQoBAQEFQgAAQgAAMRsjE0EAKUIAADYaAIAE9Z48xE8BjgEAB0IAAEIAAAAxGSMSMRgjExBEiAD1Qv/sMRkjEjEYIxIQRIgBFSJDigIBQgAAi/4kEkSL/yUSRIv+IghJjP6BCxJEi/4iCUmM/iQSRIv/IgmM/4v+i/8JSYz+gQYSRIv/gQQSRIv/IgiL/ov/CEmM/iQSREklEkRJHIH///////////8BSwIJEkRJREkUFEQUiYoCAUIAAIv+KKhEi/8qqESL/imgSYz+gAELqESL/imhSYz+KKhEi/8poYz/i/6L/6GM/ov/gAEEqESL/oABBqhEi/8poIv+i/+gjP5JKqhEi/4oqERJk0RJkxQURJMUiYoBAEIAAIEEr4v/EkSL/66ABP////8SRIlCAACIABOAAQAjTwJUgAQVH3x1TwFQsCJDQgAAJCWI/vxIKCqI/2BIgQSviP+5IolCAACJ",
        "clear": "C0IAAIEBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 5,
            "minor": 10,
            "patch": 0
        }
    },
    "events": [],
    "templateVariables": {}
}