{
    "name": "LoggedErrorsValidContract",
    "structs": {},
    "methods": [
        {
            "name": "testValid",
            "args": [
                {
                    "type": "uint64",
                    "name": "arg"
                }
            ],
            "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": [
                        126
                    ],
                    "errorMessage": "AER:04"
                },
                {
                    "pc": [
                        152
                    ],
                    "errorMessage": "AER:05:arg is 5"
                },
                {
                    "pc": [
                        298
                    ],
                    "errorMessage": "AER:10"
                },
                {
                    "pc": [
                        325
                    ],
                    "errorMessage": "AER:11:arg is 11"
                },
                {
                    "pc": [
                        66
                    ],
                    "errorMessage": "ERR:01"
                },
                {
                    "pc": [
                        83
                    ],
                    "errorMessage": "ERR:02"
                },
                {
                    "pc": [
                        109
                    ],
                    "errorMessage": "ERR:03:arg is 3"
                },
                {
                    "pc": [
                        178
                    ],
                    "errorMessage": "ERR:06:arg is 6"
                },
                {
                    "pc": [
                        239
                    ],
                    "errorMessage": "ERR:07"
                },
                {
                    "pc": [
                        255
                    ],
                    "errorMessage": "ERR:08"
                },
                {
                    "pc": [
                        281
                    ],
                    "errorMessage": "ERR:09:arg is 9"
                },
                {
                    "pc": [
                        352
                    ],
                    "errorMessage": "ERR:12:arg is 12"
                },
                {
                    "pc": [
                        195
                    ],
                    "errorMessage": "arg must not be 13"
                },
                {
                    "pc": [
                        222
                    ],
                    "errorMessage": "arg must not be 14"
                },
                {
                    "pc": [
                        369
                    ],
                    "errorMessage": "arg must not be 15"
                },
                {
                    "pc": [
                        395
                    ],
                    "errorMessage": "arg must not be 16"
                },
                {
                    "pc": [
                        49
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint64"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYXJjNC9pbmRleC5kLnRzOjpDb250cmFjdC5hcHByb3ZhbFByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBpbnRjYmxvY2sgOCAxCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjQKICAgIC8vIGNsYXNzIExvZ2dlZEVycm9yc1ZhbGlkQ29udHJhY3QgZXh0ZW5kcyBDb250cmFjdCB7CiAgICB0eG4gTnVtQXBwQXJncwogICAgYnogbWFpbl9fX2FsZ290c19fLmRlZmF1bHRDcmVhdGVANQogICAgcHVzaGJ5dGVzIDB4YTQ5OTQyNDUgLy8gbWV0aG9kICJ0ZXN0VmFsaWQodWludDY0KXZvaWQiCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICBtYXRjaCBtYWluX3Rlc3RWYWxpZF9yb3V0ZUAzCiAgICBlcnIKCm1haW5fdGVzdFZhbGlkX3JvdXRlQDM6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjUKICAgIC8vIHB1YmxpYyB0ZXN0VmFsaWQoYXJnOiB1aW50NjQpOiB2b2lkIHsKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAmJgogICAgYXNzZXJ0CiAgICBiIHRlc3RWYWxpZAoKbWFpbl9fX2FsZ290c19fLmRlZmF1bHRDcmVhdGVANToKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6NAogICAgLy8gY2xhc3MgTG9nZ2VkRXJyb3JzVmFsaWRDb250cmFjdCBleHRlbmRzIENvbnRyYWN0IHsKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAhCiAgICAmJgogICAgcmV0dXJuCgoKLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czo6TG9nZ2VkRXJyb3JzVmFsaWRDb250cmFjdC50ZXN0VmFsaWRbcm91dGluZ10oKSAtPiB2b2lkOgp0ZXN0VmFsaWQ6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjUKICAgIC8vIHB1YmxpYyB0ZXN0VmFsaWQoYXJnOiB1aW50NjQpOiB2b2lkIHsKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgbGVuCiAgICBpbnRjXzAgLy8gOAogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50NjQKICAgIGJ0b2kKICAgIGR1cAogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czo2CiAgICAvLyBsb2dnZWRBc3NlcnQoYXJnICE9PSAxLCAnMDEnKQogICAgaW50Y18xIC8vIDEKICAgICE9CiAgICBibnogdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEAzCiAgICBwdXNoYnl0ZXMgIkVSUjowMSIKICAgIGxvZwogICAgZXJyIC8vIEVSUjowMQoKdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEAzOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czo3CiAgICAvLyBsb2dnZWRBc3NlcnQoYXJnICE9PSAyLCAnMDInLCB7fSkKICAgIGR1cAogICAgcHVzaGludCAyCiAgICAhPQogICAgYm56IHRlc3RWYWxpZF9hZnRlcl9hc3NlcnRANQogICAgcHVzaGJ5dGVzICJFUlI6MDIiCiAgICBsb2cKICAgIGVyciAvLyBFUlI6MDIKCnRlc3RWYWxpZF9hZnRlcl9hc3NlcnRANToKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6OAogICAgLy8gbG9nZ2VkQXNzZXJ0KGFyZyAhPT0gMywgJzAzJywgeyBtZXNzYWdlOiAnYXJnIGlzIDMnIH0pCiAgICBkdXAKICAgIHB1c2hpbnQgMwogICAgIT0KICAgIGJueiB0ZXN0VmFsaWRfYWZ0ZXJfYXNzZXJ0QDcKICAgIHB1c2hieXRlcyAiRVJSOjAzOmFyZyBpcyAzIgogICAgbG9nCiAgICBlcnIgLy8gRVJSOjAzOmFyZyBpcyAzCgp0ZXN0VmFsaWRfYWZ0ZXJfYXNzZXJ0QDc6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjkKICAgIC8vIGxvZ2dlZEFzc2VydChhcmcgIT09IDQsICcwNCcsIHsgcHJlZml4OiAnQUVSJyB9KQogICAgZHVwCiAgICBwdXNoaW50IDQKICAgICE9CiAgICBibnogdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEA5CiAgICBwdXNoYnl0ZXMgIkFFUjowNCIKICAgIGxvZwogICAgZXJyIC8vIEFFUjowNAoKdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEA5OgogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czoxMAogICAgLy8gbG9nZ2VkQXNzZXJ0KGFyZyAhPT0gNSwgJzA1JywgeyBtZXNzYWdlOiAnYXJnIGlzIDUnLCBwcmVmaXg6ICdBRVInIH0pCiAgICBkdXAKICAgIHB1c2hpbnQgNQogICAgIT0KICAgIGJueiB0ZXN0VmFsaWRfYWZ0ZXJfYXNzZXJ0QDExCiAgICBwdXNoYnl0ZXMgIkFFUjowNTphcmcgaXMgNSIKICAgIGxvZwogICAgZXJyIC8vIEFFUjowNTphcmcgaXMgNQoKdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEAxMToKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MTEKICAgIC8vIGxvZ2dlZEFzc2VydChhcmcgIT09IDYsICcwNicsICdhcmcgaXMgNicpCiAgICBkdXAKICAgIHB1c2hpbnQgNgogICAgIT0KICAgIGJueiB0ZXN0VmFsaWRfYWZ0ZXJfYXNzZXJ0QDEzCiAgICBwdXNoYnl0ZXMgIkVSUjowNjphcmcgaXMgNiIKICAgIGxvZwogICAgZXJyIC8vIEVSUjowNjphcmcgaXMgNgoKdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEAxMzoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MTIKICAgIC8vIGxvZ2dlZEFzc2VydChhcmcgIT09IDEzLCAnMTMnLCB7IGRlc2M6ICdhcmcgbXVzdCBub3QgYmUgMTMnIH0pCiAgICBkdXAKICAgIHB1c2hpbnQgMTMKICAgICE9CiAgICBibnogdGVzdFZhbGlkX2FmdGVyX2Fzc2VydEAxNQogICAgcHVzaGJ5dGVzICJFUlI6MTMiCiAgICBsb2cKICAgIGVyciAvLyBhcmcgbXVzdCBub3QgYmUgMTMKCnRlc3RWYWxpZF9hZnRlcl9hc3NlcnRAMTU6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjEzCiAgICAvLyBsb2dnZWRBc3NlcnQoYXJnICE9PSAxNCwgJzE0JywgeyBtZXNzYWdlOiAnYXJnIGlzIDE0JywgcHJlZml4OiAnQUVSJywgZGVzYzogJ2FyZyBtdXN0IG5vdCBiZSAxNCcgfSkKICAgIGR1cAogICAgcHVzaGludCAxNAogICAgIT0KICAgIGJueiB0ZXN0VmFsaWRfYWZ0ZXJfYXNzZXJ0QDE3CiAgICBwdXNoYnl0ZXMgIkFFUjoxNDphcmcgaXMgMTQiCiAgICBsb2cKICAgIGVyciAvLyBhcmcgbXVzdCBub3QgYmUgMTQKCnRlc3RWYWxpZF9hZnRlcl9hc3NlcnRAMTc6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjE0CiAgICAvLyBpZiAoYXJnID09PSA3KSB7CiAgICBkdXAKICAgIHB1c2hpbnQgNwogICAgPT0KICAgIGJ6IHRlc3RWYWxpZF9hZnRlcl9pZl9lbHNlQDE5CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjE1CiAgICAvLyBsb2dnZWRFcnIoJzA3JykKICAgIHB1c2hieXRlcyAiRVJSOjA3IgogICAgbG9nCiAgICBlcnIgLy8gRVJSOjA3Cgp0ZXN0VmFsaWRfYWZ0ZXJfaWZfZWxzZUAxOToKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MTcKICAgIC8vIGlmIChhcmcgPT09IDgpIHsKICAgIGR1cAogICAgaW50Y18wIC8vIDgKICAgID09CiAgICBieiB0ZXN0VmFsaWRfYWZ0ZXJfaWZfZWxzZUAyMQogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czoxOAogICAgLy8gbG9nZ2VkRXJyKCcwOCcsIHt9KQogICAgcHVzaGJ5dGVzICJFUlI6MDgiCiAgICBsb2cKICAgIGVyciAvLyBFUlI6MDgKCnRlc3RWYWxpZF9hZnRlcl9pZl9lbHNlQDIxOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czoyMAogICAgLy8gaWYgKGFyZyA9PT0gOSkgewogICAgZHVwCiAgICBwdXNoaW50IDkKICAgID09CiAgICBieiB0ZXN0VmFsaWRfYWZ0ZXJfaWZfZWxzZUAyMwogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czoyMQogICAgLy8gbG9nZ2VkRXJyKCcwOScsIHsgbWVzc2FnZTogJ2FyZyBpcyA5JyB9KQogICAgcHVzaGJ5dGVzICJFUlI6MDk6YXJnIGlzIDkiCiAgICBsb2cKICAgIGVyciAvLyBFUlI6MDk6YXJnIGlzIDkKCnRlc3RWYWxpZF9hZnRlcl9pZl9lbHNlQDIzOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czoyMwogICAgLy8gaWYgKGFyZyA9PT0gMTApIHsKICAgIGR1cAogICAgcHVzaGludCAxMAogICAgPT0KICAgIGJ6IHRlc3RWYWxpZF9hZnRlcl9pZl9lbHNlQDI1CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjI0CiAgICAvLyBsb2dnZWRFcnIoJzEwJywgeyBwcmVmaXg6ICdBRVInIH0pCiAgICBwdXNoYnl0ZXMgIkFFUjoxMCIKICAgIGxvZwogICAgZXJyIC8vIEFFUjoxMAoKdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMjU6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjI2CiAgICAvLyBpZiAoYXJnID09PSAxMSkgewogICAgZHVwCiAgICBwdXNoaW50IDExCiAgICA9PQogICAgYnogdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMjcKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MjcKICAgIC8vIGxvZ2dlZEVycignMTEnLCB7IG1lc3NhZ2U6ICdhcmcgaXMgMTEnLCBwcmVmaXg6ICdBRVInIH0pCiAgICBwdXNoYnl0ZXMgIkFFUjoxMTphcmcgaXMgMTEiCiAgICBsb2cKICAgIGVyciAvLyBBRVI6MTE6YXJnIGlzIDExCgp0ZXN0VmFsaWRfYWZ0ZXJfaWZfZWxzZUAyNzoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MjkKICAgIC8vIGlmIChhcmcgPT09IDEyKSB7CiAgICBkdXAKICAgIHB1c2hpbnQgMTIKICAgID09CiAgICBieiB0ZXN0VmFsaWRfYWZ0ZXJfaWZfZWxzZUAyOQogICAgLy8gdGVzdHMvYXBwcm92YWxzL2xvZ2dlZC1lcnJvcnMuYWxnby50czozMAogICAgLy8gbG9nZ2VkRXJyKCcxMicsICdhcmcgaXMgMTInKQogICAgcHVzaGJ5dGVzICJFUlI6MTI6YXJnIGlzIDEyIgogICAgbG9nCiAgICBlcnIgLy8gRVJSOjEyOmFyZyBpcyAxMgoKdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMjk6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjMyCiAgICAvLyBpZiAoYXJnID09PSAxNSkgewogICAgZHVwCiAgICBwdXNoaW50IDE1CiAgICA9PQogICAgYnogdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMzEKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9sb2dnZWQtZXJyb3JzLmFsZ28udHM6MzMKICAgIC8vIGxvZ2dlZEVycignMTUnLCB7IGRlc2M6ICdhcmcgbXVzdCBub3QgYmUgMTUnIH0pCiAgICBwdXNoYnl0ZXMgIkVSUjoxNSIKICAgIGxvZwogICAgZXJyIC8vIGFyZyBtdXN0IG5vdCBiZSAxNQoKdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMzE6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjM1CiAgICAvLyBpZiAoYXJnID09PSAxNikgewogICAgcHVzaGludCAxNgogICAgPT0KICAgIGJ6IHRlc3RWYWxpZF9hZnRlcl9pZl9lbHNlQDMzCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjM2CiAgICAvLyBsb2dnZWRFcnIoJzE2JywgeyBtZXNzYWdlOiAnYXJnIGlzIDE2JywgcHJlZml4OiAnQUVSJywgZGVzYzogJ2FyZyBtdXN0IG5vdCBiZSAxNicgfSkKICAgIHB1c2hieXRlcyAiQUVSOjE2OmFyZyBpcyAxNiIKICAgIGxvZwogICAgZXJyIC8vIGFyZyBtdXN0IG5vdCBiZSAxNgoKdGVzdFZhbGlkX2FmdGVyX2lmX2Vsc2VAMzM6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvbG9nZ2VkLWVycm9ycy5hbGdvLnRzOjUKICAgIC8vIHB1YmxpYyB0ZXN0VmFsaWQoYXJnOiB1aW50NjQpOiB2b2lkIHsKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4K",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYmFzZS1jb250cmFjdC5kLnRzOjpCYXNlQ29udHJhY3QuY2xlYXJTdGF0ZVByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBwdXNoaW50IDEKICAgIHJldHVybgo="
    },
    "byteCode": {
        "approval": "CyACCAExG0EAGIAEpJlCRTYaAI4BAAEAMRkUMRgQREIACDEZFDEYFBBDNhoBSRUiEkQXSSMTQAAKgAZFUlI6MDGwAEmBAhNAAAqABkVSUjowMrAASYEDE0AAE4APRVJSOjAzOmFyZyBpcyAzsABJgQQTQAAKgAZBRVI6MDSwAEmBBRNAABOAD0FFUjowNTphcmcgaXMgNbAASYEGE0AAE4APRVJSOjA2OmFyZyBpcyA2sABJgQ0TQAAKgAZFUlI6MTOwAEmBDhNAABSAEEFFUjoxNDphcmcgaXMgMTSwAEmBBxJBAAqABkVSUjowN7AASSISQQAKgAZFUlI6MDiwAEmBCRJBABOAD0VSUjowOTphcmcgaXMgObAASYEKEkEACoAGQUVSOjEwsABJgQsSQQAUgBBBRVI6MTE6YXJnIGlzIDExsABJgQwSQQAUgBBFUlI6MTI6YXJnIGlzIDEysABJgQ8SQQAKgAZFUlI6MTWwAIEQEkEAFIAQQUVSOjE2OmFyZyBpcyAxNrAAI0M=",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 5,
            "minor": 10,
            "patch": 0
        }
    },
    "events": [],
    "templateVariables": {}
}