{
    "name": "SingleEvalAlgo",
    "structs": {},
    "methods": [
        {
            "name": "test",
            "args": [],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        }
    ],
    "arcs": [
        22,
        28
    ],
    "networks": {},
    "state": {
        "schema": {
            "global": {
                "ints": 1,
                "bytes": 0
            },
            "local": {
                "ints": 0,
                "bytes": 0
            }
        },
        "keys": {
            "global": {
                "myState": {
                    "keyType": "AVMString",
                    "valueType": "AVMUint64",
                    "key": "bXlTdGF0ZQ=="
                }
            },
            "local": {},
            "box": {}
        },
        "maps": {
            "global": {},
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        155
                    ],
                    "errorMessage": "Result should be \"a\""
                },
                {
                    "pc": [
                        152
                    ],
                    "errorMessage": "a() should only be called once"
                },
                {
                    "pc": [
                        100,
                        149
                    ],
                    "errorMessage": "check GlobalState exists"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYXJjNC9pbmRleC5kLnRzOjpDb250cmFjdC5hcHByb3ZhbFByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBpbnRjYmxvY2sgMCAxCiAgICBieXRlY2Jsb2NrICJteVN0YXRlIiAiYSIKICAgIGIgbWFpbl9ibG9ja0AwCgptYWluX2Jsb2NrQDA6CiAgICBiIG1haW5fYmxvY2tAMQoKbWFpbl9ibG9ja0AxOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6NAogICAgLy8gY2xhc3MgU2luZ2xlRXZhbEFsZ28gZXh0ZW5kcyBDb250cmFjdCB7CiAgICB0eG4gTnVtQXBwQXJncwogICAgaW50Y18wIC8vIDAKICAgICE9CiAgICBieiBtYWluX19fYWxnb3RzX18uZGVmYXVsdENyZWF0ZUA1CiAgICBiIG1haW5fYWJpX3JvdXRpbmdAMgoKbWFpbl9hYmlfcm91dGluZ0AyOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6NAogICAgLy8gY2xhc3MgU2luZ2xlRXZhbEFsZ28gZXh0ZW5kcyBDb250cmFjdCB7CiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICBwdXNoYnl0ZXMgMHhhNzgwMDBkZSAvLyBtZXRob2QgInRlc3QoKXZvaWQiCiAgICB1bmNvdmVyIDEKICAgIG1hdGNoIG1haW5fdGVzdF9yb3V0ZUAzCiAgICBiIG1haW5fc3dpdGNoX2Nhc2VfbmV4dEA0CgptYWluX3N3aXRjaF9jYXNlX25leHRANDoKICAgIGIgbWFpbl9hZnRlcl9pZl9lbHNlQDYKCm1haW5fYWZ0ZXJfaWZfZWxzZUA2OgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6NAogICAgLy8gY2xhc3MgU2luZ2xlRXZhbEFsZ28gZXh0ZW5kcyBDb250cmFjdCB7CiAgICBlcnIKCm1haW5fdGVzdF9yb3V0ZUAzOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6MTYKICAgIC8vIHRlc3QoKSB7CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICBpbnRjXzAgLy8gTm9PcAogICAgPT0KICAgIHR4biBBcHBsaWNhdGlvbklECiAgICBpbnRjXzAgLy8gMAogICAgIT0KICAgICYmCiAgICBhc3NlcnQKICAgIGNhbGxzdWIgdGVzdAogICAgYiBtYWluX3N3aXRjaF9jYXNlX25leHRANAoKbWFpbl9fX2FsZ290c19fLmRlZmF1bHRDcmVhdGVANToKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjQKICAgIC8vIGNsYXNzIFNpbmdsZUV2YWxBbGdvIGV4dGVuZHMgQ29udHJhY3QgewogICAgdHhuIE9uQ29tcGxldGlvbgogICAgaW50Y18wIC8vIE5vT3AKICAgID09CiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgaW50Y18wIC8vIDAKICAgID09CiAgICAmJgogICAgYXNzZXJ0CiAgICBjYWxsc3ViIF9fYWxnb3RzX18uZGVmYXVsdENyZWF0ZQogICAgaW50Y18xIC8vIDEKICAgIHJldHVybgoKCi8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby50ZXN0W3JvdXRpbmddKCkgLT4gdm9pZDoKdGVzdDoKICAgIGIgdGVzdF9ibG9ja0AwCgp0ZXN0X2Jsb2NrQDA6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxNgogICAgLy8gdGVzdCgpIHsKICAgIGNhbGxzdWIgdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3QKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4KCgovLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czo6U2luZ2xlRXZhbEFsZ28uYSgpIC0+IGJ5dGVzOgphOgogICAgYiBhX2Jsb2NrQDAKCmFfYmxvY2tAMDoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjgKICAgIC8vIHRoaXMubXlTdGF0ZS52YWx1ZSArPSAxCiAgICBpbnRjXzAgLy8gMAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6NQogICAgLy8gbXlTdGF0ZSA9IEdsb2JhbFN0YXRlPHVpbnQ2ND4oKQogICAgYnl0ZWNfMCAvLyAibXlTdGF0ZSIKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjgKICAgIC8vIHRoaXMubXlTdGF0ZS52YWx1ZSArPSAxCiAgICBhcHBfZ2xvYmFsX2dldF9leAogICAgYXNzZXJ0IC8vIGNoZWNrIEdsb2JhbFN0YXRlIGV4aXN0cwogICAgaW50Y18xIC8vIDEKICAgICsKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjUKICAgIC8vIG15U3RhdGUgPSBHbG9iYWxTdGF0ZTx1aW50NjQ+KCkKICAgIGJ5dGVjXzAgLy8gIm15U3RhdGUiCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czo4CiAgICAvLyB0aGlzLm15U3RhdGUudmFsdWUgKz0gMQogICAgdW5jb3ZlciAxCiAgICBhcHBfZ2xvYmFsX3B1dAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OQogICAgLy8gcmV0dXJuICdhJwogICAgYnl0ZWNfMSAvLyAiYSIKICAgIHJldHN1YgoKCi8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby5iKCkgLT4gYnl0ZXM6CmI6CiAgICBiIGJfYmxvY2tAMAoKYl9ibG9ja0AwOgogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6MTMKICAgIC8vIHJldHVybiAnYicKICAgIHB1c2hieXRlcyAiYiIKICAgIHJldHN1YgoKCi8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby50ZXN0KCkgLT4gdm9pZDoKdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3Q6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxNgogICAgLy8gdGVzdCgpIHsKICAgIHByb3RvIDAgMAogICAgaW50Y18wIC8vIDAKICAgIGIgdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3RfYmxvY2tAMAoKdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3RfYmxvY2tAMDoKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjUKICAgIC8vIG15U3RhdGUgPSBHbG9iYWxTdGF0ZTx1aW50NjQ+KCkKICAgIGJ5dGVjXzAgLy8gIm15U3RhdGUiCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxNwogICAgLy8gdGhpcy5teVN0YXRlLnZhbHVlID0gMAogICAgaW50Y18wIC8vIDAKICAgIGFwcF9nbG9iYWxfcHV0CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxOAogICAgLy8gY29uc3QgcmVzdWx0ID0gdGhpcy5hKCkgfHwgdGhpcy5iKCkKICAgIGNhbGxzdWIgYQogICAgZHVwCiAgICBsZW4KICAgIGJ6IHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby50ZXN0X3Rlcm5hcnlfZmFsc2VAMgogICAgYiB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czo6U2luZ2xlRXZhbEFsZ28udGVzdF90ZXJuYXJ5X3RydWVAMQoKdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3RfdGVybmFyeV90cnVlQDE6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxOAogICAgLy8gY29uc3QgcmVzdWx0ID0gdGhpcy5hKCkgfHwgdGhpcy5iKCkKICAgIGZyYW1lX2RpZyAxCiAgICBmcmFtZV9idXJ5IDAKICAgIGIgdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6OlNpbmdsZUV2YWxBbGdvLnRlc3RfdGVybmFyeV9tZXJnZUAzCgp0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czo6U2luZ2xlRXZhbEFsZ28udGVzdF90ZXJuYXJ5X21lcmdlQDM6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxOAogICAgLy8gY29uc3QgcmVzdWx0ID0gdGhpcy5hKCkgfHwgdGhpcy5iKCkKICAgIGZyYW1lX2RpZyAwCiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxOQogICAgLy8gYXNzZXJ0KHRoaXMubXlTdGF0ZS52YWx1ZSA9PT0gMSwgJ2EoKSBzaG91bGQgb25seSBiZSBjYWxsZWQgb25jZScpCiAgICBpbnRjXzAgLy8gMAogICAgLy8gdGVzdHMvYXBwcm92YWxzL3NpbmdsZS1ldmFsLmFsZ28udHM6NQogICAgLy8gbXlTdGF0ZSA9IEdsb2JhbFN0YXRlPHVpbnQ2ND4oKQogICAgYnl0ZWNfMCAvLyAibXlTdGF0ZSIKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjE5CiAgICAvLyBhc3NlcnQodGhpcy5teVN0YXRlLnZhbHVlID09PSAxLCAnYSgpIHNob3VsZCBvbmx5IGJlIGNhbGxlZCBvbmNlJykKICAgIGFwcF9nbG9iYWxfZ2V0X2V4CiAgICBhc3NlcnQgLy8gY2hlY2sgR2xvYmFsU3RhdGUgZXhpc3RzCiAgICBpbnRjXzEgLy8gMQogICAgPT0KICAgIGFzc2VydCAvLyBhKCkgc2hvdWxkIG9ubHkgYmUgY2FsbGVkIG9uY2UKICAgIC8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjIwCiAgICAvLyBhc3NlcnQocmVzdWx0ID09PSAnYScsICdSZXN1bHQgc2hvdWxkIGJlICJhIicpCiAgICBieXRlY18xIC8vICJhIgogICAgPT0KICAgIGFzc2VydCAvLyBSZXN1bHQgc2hvdWxkIGJlICJhIgogICAgcmV0c3ViCgp0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czo6U2luZ2xlRXZhbEFsZ28udGVzdF90ZXJuYXJ5X2ZhbHNlQDI6CiAgICAvLyB0ZXN0cy9hcHByb3ZhbHMvc2luZ2xlLWV2YWwuYWxnby50czoxOAogICAgLy8gY29uc3QgcmVzdWx0ID0gdGhpcy5hKCkgfHwgdGhpcy5iKCkKICAgIGNhbGxzdWIgYgogICAgZnJhbWVfYnVyeSAwCiAgICBiIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby50ZXN0X3Rlcm5hcnlfbWVyZ2VAMwoKCi8vIHRlc3RzL2FwcHJvdmFscy9zaW5nbGUtZXZhbC5hbGdvLnRzOjpTaW5nbGVFdmFsQWxnby5fX2FsZ290c19fLmRlZmF1bHRDcmVhdGUoKSAtPiB2b2lkOgpfX2FsZ290c19fLmRlZmF1bHRDcmVhdGU6CiAgICBiIF9fYWxnb3RzX18uZGVmYXVsdENyZWF0ZV9ibG9ja0AwCgpfX2FsZ290c19fLmRlZmF1bHRDcmVhdGVfYmxvY2tAMDoKICAgIHJldHN1Ygo=",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBAYWxnb3JhbmRmb3VuZGF0aW9uL2FsZ29yYW5kLXR5cGVzY3JpcHQvYmFzZS1jb250cmFjdC5kLnRzOjpCYXNlQ29udHJhY3QuY2xlYXJTdGF0ZVByb2dyYW0oKSAtPiB1aW50NjQ6Cm1haW46CiAgICBiIG1haW5fYmxvY2tAMAoKbWFpbl9ibG9ja0AwOgogICAgcHVzaGludCAxCiAgICByZXR1cm4K"
    },
    "byteCode": {
        "approval": "CyACAAEmAgdteVN0YXRlAWFCAABCAAAxGyITQQApQgAANhoAgASngADeTwGOAQAHQgAAQgAAADEZIhIxGCITEESIABJC/+wxGSISMRgiEhBEiABRI0NCAACIABgjQ0IAACIoZUQjCChPAWcpiUIAAIABYomKAAAiQgAAKCJniP/dSRVBABdCAACLAYwAQgAAiwAiKGVEIxJEKRJEiYj/zYwAQv/rQgAAiQ==",
        "clear": "C0IAAIEBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 5,
            "minor": 10,
            "patch": 0
        }
    },
    "events": [],
    "templateVariables": {}
}