{
    "name": "GlobalMapUInt64",
    "structs": {},
    "methods": [
        {
            "name": "get",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                }
            ],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "get_with_default",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                },
                {
                    "type": "uint64",
                    "name": "default"
                }
            ],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "set",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                },
                {
                    "type": "uint64",
                    "name": "value"
                }
            ],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "delete",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                }
            ],
            "returns": {
                "type": "void"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "in_",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                }
            ],
            "returns": {
                "type": "bool"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "prefix",
            "args": [],
            "returns": {
                "type": "byte[]"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "maybe",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                }
            ],
            "returns": {
                "type": "(uint64,bool)"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        },
        {
            "name": "get_via_state",
            "args": [
                {
                    "type": "uint64",
                    "name": "key"
                }
            ],
            "returns": {
                "type": "uint64"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        }
    ],
    "arcs": [
        22,
        28
    ],
    "networks": {},
    "state": {
        "schema": {
            "global": {
                "ints": 10,
                "bytes": 0
            },
            "local": {
                "ints": 0,
                "bytes": 0
            }
        },
        "keys": {
            "global": {},
            "local": {},
            "box": {}
        },
        "maps": {
            "global": {
                "map": {
                    "keyType": "uint64",
                    "valueType": "AVMUint64",
                    "prefix": "bWFw"
                }
            },
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        293
                    ],
                    "errorMessage": "check GlobalState exists"
                },
                {
                    "pc": [
                        133
                    ],
                    "errorMessage": "check self.map entry exists"
                },
                {
                    "pc": [
                        124,
                        148,
                        157,
                        182,
                        191,
                        209,
                        225,
                        254,
                        284
                    ],
                    "errorMessage": "invalid number of bytes for arc4.uint64"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuYXBwcm92YWxfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIGludGNibG9jayA4IDEgMAogICAgYnl0ZWNibG9jayAibWFwIiAweDE1MWY3Yzc1IDB4MDAKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjQtOQogICAgLy8gY2xhc3MgR2xvYmFsTWFwVUludDY0KAogICAgLy8gICAgIEFSQzRDb250cmFjdCwKICAgIC8vICAgICBzdGF0ZV90b3RhbHM9U3RhdGVUb3RhbHMoCiAgICAvLyAgICAgICAgIGdsb2JhbF91aW50cz0xMCwKICAgIC8vICAgICApLAogICAgLy8gKToKICAgIHR4biBOdW1BcHBBcmdzCiAgICBieiBtYWluX19fYWxnb3B5X2RlZmF1bHRfY3JlYXRlQDE3CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICAhCiAgICBhc3NlcnQKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICBhc3NlcnQKICAgIHB1c2hieXRlc3MgMHhiNDM2OWMzNiAweDI0ZmM4NDFmIDB4Y2VkMWJkYzYgMHg4YTM5ZTc5ZiAweGIxMjU4MWRmIDB4ZTNhM2RkNmQgMHhmNmQ0NmU1NSAweGQ4NDZjNDY3IC8vIG1ldGhvZCAiZ2V0KHVpbnQ2NCl1aW50NjQiLCBtZXRob2QgImdldF93aXRoX2RlZmF1bHQodWludDY0LHVpbnQ2NCl1aW50NjQiLCBtZXRob2QgInNldCh1aW50NjQsdWludDY0KXZvaWQiLCBtZXRob2QgImRlbGV0ZSh1aW50NjQpdm9pZCIsIG1ldGhvZCAiaW5fKHVpbnQ2NClib29sIiwgbWV0aG9kICJwcmVmaXgoKWJ5dGVbXSIsIG1ldGhvZCAibWF5YmUodWludDY0KSh1aW50NjQsYm9vbCkiLCBtZXRob2QgImdldF92aWFfc3RhdGUodWludDY0KXVpbnQ2NCIKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDAKICAgIG1hdGNoIGdldCBnZXRfd2l0aF9kZWZhdWx0IHNldCBkZWxldGUgaW5fIG1haW5fcHJlZml4X3JvdXRlQDExIG1heWJlIGdldF92aWFfc3RhdGUKICAgIGVycgoKbWFpbl9wcmVmaXhfcm91dGVAMTE6CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weTozNgogICAgLy8gQHB1YmxpYwogICAgcHVzaGJ5dGVzIDB4MTUxZjdjNzUwMDAzNmQ2MTcwCiAgICBsb2cKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4KCm1haW5fX19hbGdvcHlfZGVmYXVsdF9jcmVhdGVAMTc6CiAgICB0eG4gT25Db21wbGV0aW9uCiAgICAhCiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgIQogICAgJiYKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMuZ2xvYmFsX21hcC51aW50NjQuR2xvYmFsTWFwVUludDY0LmdldFtyb3V0aW5nXSgpIC0+IHZvaWQ6CmdldDoKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjEzCiAgICAvLyBAcHVibGljCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAxCiAgICBkdXAKICAgIGxlbgogICAgaW50Y18wIC8vIDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICBidG9pCiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weToxNQogICAgLy8gcmVzdWx0ID0gc2VsZi5tYXBba2V5XQogICAgaXRvYgogICAgYnl0ZWNfMCAvLyAibWFwIgogICAgc3dhcAogICAgY29uY2F0CiAgICBpbnRjXzIgLy8gMAogICAgc3dhcAogICAgYXBwX2dsb2JhbF9nZXRfZXgKICAgIGFzc2VydCAvLyBjaGVjayBzZWxmLm1hcCBlbnRyeSBleGlzdHMKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjEzCiAgICAvLyBAcHVibGljCiAgICBpdG9iCiAgICBieXRlY18xIC8vIDB4MTUxZjdjNzUKICAgIHN3YXAKICAgIGNvbmNhdAogICAgbG9nCiAgICBpbnRjXzEgLy8gMQogICAgcmV0dXJuCgoKLy8gdGVzdF9jYXNlcy5nbG9iYWxfbWFwLnVpbnQ2NC5HbG9iYWxNYXBVSW50NjQuZ2V0X3dpdGhfZGVmYXVsdFtyb3V0aW5nXSgpIC0+IHZvaWQ6CmdldF93aXRoX2RlZmF1bHQ6CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weToyMAogICAgLy8gQHB1YmxpYwogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMQogICAgZHVwCiAgICBsZW4KICAgIGludGNfMCAvLyA4CiAgICA9PQogICAgYXNzZXJ0IC8vIGludmFsaWQgbnVtYmVyIG9mIGJ5dGVzIGZvciBhcmM0LnVpbnQ2NAogICAgYnRvaQogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMgogICAgZHVwCiAgICBsZW4KICAgIGludGNfMCAvLyA4CiAgICA9PQogICAgYXNzZXJ0IC8vIGludmFsaWQgbnVtYmVyIG9mIGJ5dGVzIGZvciBhcmM0LnVpbnQ2NAogICAgYnRvaQogICAgLy8gZ2xvYmFsX21hcC91aW50NjQucHk6MjIKICAgIC8vIHJldHVybiBzZWxmLm1hcC5nZXQoa2V5LCBkZWZhdWx0PWRlZmF1bHQpCiAgICBzd2FwCiAgICBpdG9iCiAgICBieXRlY18wIC8vICJtYXAiCiAgICBzd2FwCiAgICBjb25jYXQKICAgIGludGNfMiAvLyAwCiAgICBzd2FwCiAgICBhcHBfZ2xvYmFsX2dldF9leAogICAgc2VsZWN0CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weToyMAogICAgLy8gQHB1YmxpYwogICAgaXRvYgogICAgYnl0ZWNfMSAvLyAweDE1MWY3Yzc1CiAgICBzd2FwCiAgICBjb25jYXQKICAgIGxvZwogICAgaW50Y18xIC8vIDEKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMuZ2xvYmFsX21hcC51aW50NjQuR2xvYmFsTWFwVUludDY0LnNldFtyb3V0aW5nXSgpIC0+IHZvaWQ6CnNldDoKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjI0CiAgICAvLyBAcHVibGljCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAxCiAgICBkdXAKICAgIGxlbgogICAgaW50Y18wIC8vIDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICBidG9pCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAyCiAgICBkdXAKICAgIGxlbgogICAgaW50Y18wIC8vIDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICBidG9pCiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weToyNgogICAgLy8gc2VsZi5tYXBba2V5XSA9IHZhbHVlCiAgICBzd2FwCiAgICBpdG9iCiAgICBieXRlY18wIC8vICJtYXAiCiAgICBzd2FwCiAgICBjb25jYXQKICAgIHN3YXAKICAgIGFwcF9nbG9iYWxfcHV0CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weToyNAogICAgLy8gQHB1YmxpYwogICAgaW50Y18xIC8vIDEKICAgIHJldHVybgoKCi8vIHRlc3RfY2FzZXMuZ2xvYmFsX21hcC51aW50NjQuR2xvYmFsTWFwVUludDY0LmRlbGV0ZVtyb3V0aW5nXSgpIC0+IHZvaWQ6CmRlbGV0ZToKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjI4CiAgICAvLyBAcHVibGljCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAxCiAgICBkdXAKICAgIGxlbgogICAgaW50Y18wIC8vIDgKICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQudWludDY0CiAgICBidG9pCiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weTozMAogICAgLy8gZGVsIHNlbGYubWFwW2tleV0KICAgIGl0b2IKICAgIGJ5dGVjXzAgLy8gIm1hcCIKICAgIHN3YXAKICAgIGNvbmNhdAogICAgYXBwX2dsb2JhbF9kZWwKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjI4CiAgICAvLyBAcHVibGljCiAgICBpbnRjXzEgLy8gMQogICAgcmV0dXJuCgoKLy8gdGVzdF9jYXNlcy5nbG9iYWxfbWFwLnVpbnQ2NC5HbG9iYWxNYXBVSW50NjQuaW5fW3JvdXRpbmddKCkgLT4gdm9pZDoKaW5fOgogICAgLy8gZ2xvYmFsX21hcC91aW50NjQucHk6MzIKICAgIC8vIEBwdWJsaWMKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgbGVuCiAgICBpbnRjXzAgLy8gOAogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50NjQKICAgIGJ0b2kKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjM0CiAgICAvLyByZXR1cm4ga2V5IGluIHNlbGYubWFwCiAgICBpdG9iCiAgICBieXRlY18wIC8vICJtYXAiCiAgICBzd2FwCiAgICBjb25jYXQKICAgIGludGNfMiAvLyAwCiAgICBzd2FwCiAgICBhcHBfZ2xvYmFsX2dldF9leAogICAgYnVyeSAxCiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weTozMgogICAgLy8gQHB1YmxpYwogICAgYnl0ZWNfMiAvLyAweDAwCiAgICBpbnRjXzIgLy8gMAogICAgdW5jb3ZlciAyCiAgICBzZXRiaXQKICAgIGJ5dGVjXzEgLy8gMHgxNTFmN2M3NQogICAgc3dhcAogICAgY29uY2F0CiAgICBsb2cKICAgIGludGNfMSAvLyAxCiAgICByZXR1cm4KCgovLyB0ZXN0X2Nhc2VzLmdsb2JhbF9tYXAudWludDY0Lkdsb2JhbE1hcFVJbnQ2NC5tYXliZVtyb3V0aW5nXSgpIC0+IHZvaWQ6Cm1heWJlOgogICAgLy8gZ2xvYmFsX21hcC91aW50NjQucHk6NDAKICAgIC8vIEBwdWJsaWMKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgbGVuCiAgICBpbnRjXzAgLy8gOAogICAgPT0KICAgIGFzc2VydCAvLyBpbnZhbGlkIG51bWJlciBvZiBieXRlcyBmb3IgYXJjNC51aW50NjQKICAgIGJ0b2kKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjQyCiAgICAvLyByZXR1cm4gc2VsZi5tYXAubWF5YmUoa2V5KQogICAgaXRvYgogICAgYnl0ZWNfMCAvLyAibWFwIgogICAgc3dhcAogICAgY29uY2F0CiAgICBpbnRjXzIgLy8gMAogICAgc3dhcAogICAgYXBwX2dsb2JhbF9nZXRfZXgKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjQwCiAgICAvLyBAcHVibGljCiAgICBzd2FwCiAgICBpdG9iCiAgICBieXRlY18yIC8vIDB4MDAKICAgIGludGNfMiAvLyAwCiAgICB1bmNvdmVyIDMKICAgIHNldGJpdAogICAgY29uY2F0CiAgICBieXRlY18xIC8vIDB4MTUxZjdjNzUKICAgIHN3YXAKICAgIGNvbmNhdAogICAgbG9nCiAgICBpbnRjXzEgLy8gMQogICAgcmV0dXJuCgoKLy8gdGVzdF9jYXNlcy5nbG9iYWxfbWFwLnVpbnQ2NC5HbG9iYWxNYXBVSW50NjQuZ2V0X3ZpYV9zdGF0ZVtyb3V0aW5nXSgpIC0+IHZvaWQ6CmdldF92aWFfc3RhdGU6CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weTo0NAogICAgLy8gQHB1YmxpYwogICAgdHhuYSBBcHBsaWNhdGlvbkFyZ3MgMQogICAgZHVwCiAgICBsZW4KICAgIGludGNfMCAvLyA4CiAgICA9PQogICAgYXNzZXJ0IC8vIGludmFsaWQgbnVtYmVyIG9mIGJ5dGVzIGZvciBhcmM0LnVpbnQ2NAogICAgYnRvaQogICAgLy8gZ2xvYmFsX21hcC91aW50NjQucHk6NDYKICAgIC8vIHN0YXRlID0gc2VsZi5tYXAuc3RhdGUoa2V5KQogICAgaXRvYgogICAgYnl0ZWNfMCAvLyAibWFwIgogICAgc3dhcAogICAgY29uY2F0CiAgICAvLyBnbG9iYWxfbWFwL3VpbnQ2NC5weTo0NwogICAgLy8gcmV0dXJuIHN0YXRlLnZhbHVlCiAgICBpbnRjXzIgLy8gMAogICAgc3dhcAogICAgYXBwX2dsb2JhbF9nZXRfZXgKICAgIGFzc2VydCAvLyBjaGVjayBHbG9iYWxTdGF0ZSBleGlzdHMKICAgIC8vIGdsb2JhbF9tYXAvdWludDY0LnB5OjQ0CiAgICAvLyBAcHVibGljCiAgICBpdG9iCiAgICBieXRlY18xIC8vIDB4MTUxZjdjNzUKICAgIHN3YXAKICAgIGNvbmNhdAogICAgbG9nCiAgICBpbnRjXzEgLy8gMQogICAgcmV0dXJuCg==",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuY2xlYXJfc3RhdGVfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIHB1c2hpbnQgMQogICAgcmV0dXJuCg=="
    },
    "byteCode": {
        "approval": "CyADCAEAJgMDbWFwBBUffHUBADEbQQBVMRkURDEYRIIIBLQ2nDYEJPyEHwTO0b3GBIo5558EsSWB3wTjo91tBPbUblUE2EbEZzYaAI4IABcALwBRAGwAfAABAJkAtwCACRUffHUAA21hcLAjQzEZFDEYFBBDNhoBSRUiEkQXFihMUCRMZUQWKUxQsCNDNhoBSRUiEkQXNhoCSRUiEkQXTBYoTFAkTGVNFilMULAjQzYaAUkVIhJEFzYaAkkVIhJEF0wWKExQTGcjQzYaAUkVIhJEFxYoTFBpI0M2GgFJFSISRBcWKExQJExlRQEqJE8CVClMULAjQzYaAUkVIhJEFxYoTFAkTGVMFiokTwNUUClMULAjQzYaAUkVIhJEFxYoTFAkTGVEFilMULAjQw==",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 99,
            "minor": 99,
            "patch": 99
        }
    },
    "events": [],
    "templateVariables": {}
}