{
  "name": "ARC56Test",
  "desc": "",
  "methods": [
    {
      "name": "foo",
      "args": [
        {
          "name": "inputs",
          "type": "((uint64,uint64),(uint64,uint64))",
          "struct": "Inputs"
        }
      ],
      "returns": {
        "type": "(uint64,uint64)",
        "struct": "Outputs"
      },
      "actions": {
        "create": [],
        "call": ["NoOp"]
      }
    },
    {
      "name": "optInToApplication",
      "args": [],
      "returns": {
        "type": "void"
      },
      "actions": {
        "create": [],
        "call": ["OptIn"]
      }
    },
    {
      "name": "createApplication",
      "args": [],
      "returns": {
        "type": "void"
      },
      "actions": {
        "create": ["NoOp"],
        "call": []
      }
    }
  ],
  "arcs": [4, 56],
  "structs": {
    "{ foo: uint16; bar: uint16 }": {
      "foo": "uint16",
      "bar": "uint16"
    },
    "Outputs": {
      "sum": "uint64",
      "difference": "uint64"
    },
    "Inputs": {
      "add": {
        "a": "uint64",
        "b": "uint64"
      },
      "subtract": {
        "a": "uint64",
        "b": "uint64"
      }
    }
  },
  "state": {
    "schema": {
      "global": {
        "bytes": 37,
        "ints": 1
      },
      "local": {
        "bytes": 13,
        "ints": 1
      }
    },
    "keys": {
      "global": {
        "globalKey": {
          "key": "Z2xvYmFsS2V5",
          "keyType": "bytes",
          "valueType": "uint64"
        }
      },
      "local": {
        "localKey": {
          "key": "bG9jYWxLZXk=",
          "keyType": "bytes",
          "valueType": "uint64"
        }
      },
      "box": {
        "boxKey": {
          "key": "Ym94S2V5",
          "keyType": "bytes",
          "valueType": "string"
        }
      }
    },
    "maps": {
      "global": {
        "globalMap": {
          "keyType": "string",
          "valueType": "{ foo: uint16; bar: uint16 }",
          "prefix": "p"
        }
      },
      "local": {
        "localMap": {
          "keyType": "bytes",
          "valueType": "string",
          "prefix": "p"
        }
      },
      "box": {
        "boxMap": {
          "keyType": "Inputs",
          "valueType": "Outputs",
          "prefix": "p"
        }
      }
    }
  },
  "bareActions": {
    "create": [],
    "call": []
  },
  "sourceInfo": [
    {
      "teal": 1,
      "source": 6,
      "pc": [0, 1, 2, 3]
    },
    {
      "teal": 13,
      "source": 6,
      "pc": [4, 5]
    },
    {
      "teal": 14,
      "source": 6,
      "pc": [6]
    },
    {
      "teal": 15,
      "source": 6,
      "pc": [7, 8]
    },
    {
      "teal": 16,
      "source": 6,
      "pc": [9]
    },
    {
      "teal": 17,
      "source": 6,
      "pc": [10, 11]
    },
    {
      "teal": 18,
      "source": 6,
      "pc": [12]
    },
    {
      "teal": 19,
      "source": 6,
      "pc": [
        13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30,
        31, 32, 33, 34, 35, 36, 37, 38
      ]
    },
    {
      "teal": 23,
      "source": 6,
      "errorMessage": "The requested action is not implemented in this contract. Are you using the correct OnComplete? Did you set your app ID?",
      "pc": [39]
    },
    {
      "teal": 28,
      "source": 23,
      "pc": [40, 41, 42, 43, 44, 45]
    },
    {
      "teal": 31,
      "source": 23,
      "pc": [46, 47, 48]
    },
    {
      "teal": 32,
      "source": 23,
      "pc": [49]
    },
    {
      "teal": 33,
      "source": 23,
      "pc": [50]
    },
    {
      "teal": 34,
      "source": 23,
      "pc": [51, 52]
    },
    {
      "teal": 35,
      "source": 23,
      "pc": [53]
    },
    {
      "teal": 38,
      "source": 23,
      "errorMessage": "argument 0 (inputs) for foo must be a ((uint64,uint64),(uint64,uint64))",
      "pc": [54]
    },
    {
      "teal": 41,
      "source": 23,
      "pc": [55, 56, 57]
    },
    {
      "teal": 42,
      "source": 23,
      "pc": [58]
    },
    {
      "teal": 43,
      "source": 23,
      "pc": [59]
    },
    {
      "teal": 44,
      "source": 23,
      "pc": [60]
    },
    {
      "teal": 45,
      "source": 23,
      "pc": [61]
    },
    {
      "teal": 49,
      "source": 23,
      "pc": [62, 63, 64]
    },
    {
      "teal": 54,
      "source": 24,
      "pc": [65, 66]
    },
    {
      "teal": 55,
      "source": 24,
      "pc": [67, 68, 69]
    },
    {
      "teal": 56,
      "source": 24,
      "pc": [70]
    },
    {
      "teal": 57,
      "source": 24,
      "pc": [71, 72]
    },
    {
      "teal": 58,
      "source": 24,
      "pc": [73, 74, 75]
    },
    {
      "teal": 59,
      "source": 24,
      "pc": [76]
    },
    {
      "teal": 60,
      "source": 24,
      "pc": [77]
    },
    {
      "teal": 61,
      "source": 24,
      "pc": [78, 79, 80]
    },
    {
      "teal": 65,
      "source": 24,
      "errorMessage": "subtract.a must be greater than subtract.b",
      "pc": [81]
    },
    {
      "teal": 70,
      "source": 26,
      "pc": [82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92]
    },
    {
      "teal": 71,
      "source": 26,
      "pc": [93, 94]
    },
    {
      "teal": 72,
      "source": 26,
      "pc": [95]
    },
    {
      "teal": 76,
      "source": 27,
      "pc": [96, 97, 98, 99, 100, 101, 102, 103]
    },
    {
      "teal": 77,
      "source": 27,
      "pc": [104, 105, 106, 107, 108, 109]
    },
    {
      "teal": 78,
      "source": 27,
      "pc": [110]
    },
    {
      "teal": 85,
      "source": 30,
      "pc": [111, 112]
    },
    {
      "teal": 86,
      "source": 30,
      "pc": [113, 114, 115]
    },
    {
      "teal": 87,
      "source": 30,
      "pc": [116]
    },
    {
      "teal": 88,
      "source": 30,
      "pc": [117, 118]
    },
    {
      "teal": 89,
      "source": 30,
      "pc": [119, 120, 121]
    },
    {
      "teal": 90,
      "source": 30,
      "pc": [122]
    },
    {
      "teal": 91,
      "source": 30,
      "pc": [123]
    },
    {
      "teal": 92,
      "source": 30,
      "pc": [124]
    },
    {
      "teal": 93,
      "source": 31,
      "pc": [125, 126]
    },
    {
      "teal": 94,
      "source": 31,
      "pc": [127, 128, 129]
    },
    {
      "teal": 95,
      "source": 31,
      "pc": [130]
    },
    {
      "teal": 96,
      "source": 31,
      "pc": [131, 132]
    },
    {
      "teal": 97,
      "source": 31,
      "pc": [133, 134, 135]
    },
    {
      "teal": 98,
      "source": 31,
      "pc": [136]
    },
    {
      "teal": 99,
      "source": 31,
      "pc": [137]
    },
    {
      "teal": 100,
      "source": 31,
      "pc": [138]
    },
    {
      "teal": 101,
      "source": 31,
      "pc": [139]
    },
    {
      "teal": 102,
      "source": 23,
      "pc": [140]
    },
    {
      "teal": 107,
      "source": 35,
      "pc": [141, 142, 143]
    },
    {
      "teal": 108,
      "source": 35,
      "pc": [144]
    },
    {
      "teal": 109,
      "source": 35,
      "pc": [145]
    },
    {
      "teal": 113,
      "source": 35,
      "pc": [146, 147, 148]
    },
    {
      "teal": 117,
      "source": 36,
      "pc": [149, 150]
    },
    {
      "teal": 118,
      "source": 36,
      "pc": [151, 152, 153, 154, 155, 156, 157, 158, 159, 160]
    },
    {
      "teal": 119,
      "source": 36,
      "pc": [161, 162]
    },
    {
      "teal": 120,
      "source": 36,
      "pc": [163]
    },
    {
      "teal": 124,
      "source": 37,
      "pc": [164, 165]
    },
    {
      "teal": 125,
      "source": 37,
      "pc": [166, 167, 168, 169, 170, 171]
    },
    {
      "teal": 126,
      "source": 37,
      "pc": [172, 173, 174, 175, 176, 177, 178]
    },
    {
      "teal": 127,
      "source": 37,
      "pc": [179]
    },
    {
      "teal": 131,
      "source": 38,
      "pc": [180, 181, 182, 183, 184, 185, 186, 187]
    },
    {
      "teal": 132,
      "source": 38,
      "pc": [188]
    },
    {
      "teal": 133,
      "source": 38,
      "pc": [189]
    },
    {
      "teal": 134,
      "source": 38,
      "pc": [190]
    },
    {
      "teal": 135,
      "source": 38,
      "pc": [191, 192, 193, 194, 195, 196, 197]
    },
    {
      "teal": 136,
      "source": 38,
      "pc": [198]
    },
    {
      "teal": 140,
      "source": 39,
      "pc": [
        199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212,
        213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226,
        227, 228, 229, 230, 231, 232, 233
      ]
    },
    {
      "teal": 141,
      "source": 39,
      "pc": [
        234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247,
        248, 249, 250, 251
      ]
    },
    {
      "teal": 142,
      "source": 39,
      "pc": [252]
    },
    {
      "teal": 143,
      "source": 35,
      "pc": [253]
    },
    {
      "teal": 146,
      "source": 6,
      "pc": [254]
    },
    {
      "teal": 147,
      "source": 6,
      "pc": [255]
    },
    {
      "teal": 150,
      "source": 6,
      "pc": [256, 257, 258, 259, 260, 261]
    },
    {
      "teal": 151,
      "source": 6,
      "pc": [262, 263, 264]
    },
    {
      "teal": 152,
      "source": 6,
      "pc": [265, 266, 267, 268]
    },
    {
      "teal": 155,
      "source": 6,
      "errorMessage": "this contract does not implement the given ABI method for create NoOp",
      "pc": [269]
    },
    {
      "teal": 158,
      "source": 6,
      "pc": [270, 271, 272, 273, 274, 275]
    },
    {
      "teal": 159,
      "source": 6,
      "pc": [276, 277, 278]
    },
    {
      "teal": 160,
      "source": 6,
      "pc": [279, 280, 281, 282]
    },
    {
      "teal": 163,
      "source": 6,
      "errorMessage": "this contract does not implement the given ABI method for call NoOp",
      "pc": [283]
    },
    {
      "teal": 166,
      "source": 6,
      "pc": [284, 285, 286, 287, 288, 289]
    },
    {
      "teal": 167,
      "source": 6,
      "pc": [290, 291, 292]
    },
    {
      "teal": 168,
      "source": 6,
      "pc": [293, 294, 295, 296]
    },
    {
      "teal": 171,
      "source": 6,
      "errorMessage": "this contract does not implement the given ABI method for call OptIn",
      "pc": [297]
    }
  ],
  "source": {
    "approval": "I3ByYWdtYSB2ZXJzaW9uIDEwCgovLyBUaGlzIFRFQUwgd2FzIGdlbmVyYXRlZCBieSBURUFMU2NyaXB0IHYwLjkyLjAKLy8gaHR0cHM6Ly9naXRodWIuY29tL2FsZ29yYW5kZm91bmRhdGlvbi9URUFMU2NyaXB0CgovLyBUaGlzIGNvbnRyYWN0IGlzIGNvbXBsaWFudCB3aXRoIGFuZC9vciBpbXBsZW1lbnRzIHRoZSBmb2xsb3dpbmcgQVJDczogWyBBUkM0IF0KCi8vIFRoZSBmb2xsb3dpbmcgdGVuIGxpbmVzIG9mIFRFQUwgaGFuZGxlIGluaXRpYWwgcHJvZ3JhbSBmbG93Ci8vIFRoaXMgcGF0dGVybiBpcyB1c2VkIHRvIG1ha2UgaXQgZWFzeSBmb3IgYW55b25lIHRvIHBhcnNlIHRoZSBzdGFydCBvZiB0aGUgcHJvZ3JhbSBhbmQgZGV0ZXJtaW5lIGlmIGEgc3BlY2lmaWMgYWN0aW9uIGlzIGFsbG93ZWQKLy8gSGVyZSwgYWN0aW9uIHJlZmVycyB0byB0aGUgT25Db21wbGV0ZSBpbiBjb21iaW5hdGlvbiB3aXRoIHdoZXRoZXIgdGhlIGFwcCBpcyBiZWluZyBjcmVhdGVkIG9yIGNhbGxlZAovLyBFdmVyeSBwb3NzaWJsZSBhY3Rpb24gZm9yIHRoaXMgY29udHJhY3QgaXMgcmVwcmVzZW50ZWQgaW4gdGhlIHN3aXRjaCBzdGF0ZW1lbnQKLy8gSWYgdGhlIGFjdGlvbiBpcyBub3QgaW1wbGVtZW50ZWQgaW4gdGhlIGNvbnRyYWN0LCBpdHMgcmVzcGVjdGl2ZSBicmFuY2ggd2lsbCBiZSAiKk5PVF9JTVBMRU1FTlRFRCIgd2hpY2gganVzdCBjb250YWlucyAiZXJyIgp0eG4gQXBwbGljYXRpb25JRAohCmludCA2CioKdHhuIE9uQ29tcGxldGlvbgorCnN3aXRjaCAqY2FsbF9Ob09wICpjYWxsX09wdEluICpOT1RfSU1QTEVNRU5URUQgKk5PVF9JTVBMRU1FTlRFRCAqTk9UX0lNUExFTUVOVEVEICpOT1RfSU1QTEVNRU5URUQgKmNyZWF0ZV9Ob09wICpOT1RfSU1QTEVNRU5URUQgKk5PVF9JTVBMRU1FTlRFRCAqTk9UX0lNUExFTUVOVEVEICpOT1RfSU1QTEVNRU5URUQgKk5PVF9JTVBMRU1FTlRFRAoKKk5PVF9JTVBMRU1FTlRFRDoKCS8vIFRoZSByZXF1ZXN0ZWQgYWN0aW9uIGlzIG5vdCBpbXBsZW1lbnRlZCBpbiB0aGlzIGNvbnRyYWN0LiBBcmUgeW91IHVzaW5nIHRoZSBjb3JyZWN0IE9uQ29tcGxldGU/IERpZCB5b3Ugc2V0IHlvdXIgYXBwIElEPwoJZXJyCgovLyBmb28oKCh1aW50NjQsdWludDY0KSwodWludDY0LHVpbnQ2NCkpKSh1aW50NjQsdWludDY0KQoqYWJpX3JvdXRlX2ZvbzoKCS8vIFRoZSBBQkkgcmV0dXJuIHByZWZpeAoJYnl0ZSAweDE1MWY3Yzc1CgoJLy8gaW5wdXRzOiAoKHVpbnQ2NCx1aW50NjQpLCh1aW50NjQsdWludDY0KSkKCXR4bmEgQXBwbGljYXRpb25BcmdzIDEKCWR1cAoJbGVuCglpbnQgMzIKCT09CgoJLy8gYXJndW1lbnQgMCAoaW5wdXRzKSBmb3IgZm9vIG11c3QgYmUgYSAoKHVpbnQ2NCx1aW50NjQpLCh1aW50NjQsdWludDY0KSkKCWFzc2VydAoKCS8vIGV4ZWN1dGUgZm9vKCgodWludDY0LHVpbnQ2NCksKHVpbnQ2NCx1aW50NjQpKSkodWludDY0LHVpbnQ2NCkKCWNhbGxzdWIgZm9vCgljb25jYXQKCWxvZwoJaW50IDEKCXJldHVybgoKLy8gZm9vKGlucHV0czogSW5wdXRzKTogT3V0cHV0cwpmb286Cglwcm90byAxIDEKCgkvLyAqaWYwX2NvbmRpdGlvbgoJLy8gdGVzdHMvY29udHJhY3RzL2FyYzU2LmFsZ28udHM6MjQKCS8vIGlucHV0cy5zdWJ0cmFjdC5hIDwgaW5wdXRzLnN1YnRyYWN0LmIKCWZyYW1lX2RpZyAtMSAvLyBpbnB1dHM6IElucHV0cwoJZXh0cmFjdCAxNiA4CglidG9pCglmcmFtZV9kaWcgLTEgLy8gaW5wdXRzOiBJbnB1dHMKCWV4dHJhY3QgMjQgOAoJYnRvaQoJPAoJYnogKmlmMF9lbmQKCgkvLyAqaWYwX2NvbnNlcXVlbnQKCS8vIHN1YnRyYWN0LmEgbXVzdCBiZSBncmVhdGVyIHRoYW4gc3VidHJhY3QuYgoJZXJyCgoqaWYwX2VuZDoKCS8vIHRlc3RzL2NvbnRyYWN0cy9hcmM1Ni5hbGdvLnRzOjI2CgkvLyB0aGlzLmdsb2JhbEtleS52YWx1ZSA9IHRoaXMuc29tZU51bWJlcgoJYnl0ZSAweDY3NmM2ZjYyNjE2YzRiNjU3OSAvLyAiZ2xvYmFsS2V5IgoJcHVzaGludCBUTVBMX3NvbWVOdW1iZXIKCWFwcF9nbG9iYWxfcHV0CgoJLy8gdGVzdHMvY29udHJhY3RzL2FyYzU2LmFsZ28udHM6MjcKCS8vIHRoaXMuZ2xvYmFsTWFwKCdmb28nKS52YWx1ZSA9IHsgZm9vOiAxMywgYmFyOiAzNyB9CglieXRlIDB4NzAwMDAzNjY2ZjZmCglieXRlIDB4MDAwZDAwMjUKCWFwcF9nbG9iYWxfcHV0CgoJLy8gdGVzdHMvY29udHJhY3RzL2FyYzU2LmFsZ28udHM6MjkKCS8vIHJldHVybiB7CgkvLyAgICAgICBzdW06IGlucHV0cy5hZGQuYSArIGlucHV0cy5hZGQuYiwKCS8vICAgICAgIGRpZmZlcmVuY2U6IGlucHV0cy5zdWJ0cmFjdC5hIC0gaW5wdXRzLnN1YnRyYWN0LmIsCgkvLyAgICAgfTsKCWZyYW1lX2RpZyAtMSAvLyBpbnB1dHM6IElucHV0cwoJZXh0cmFjdCAwIDgKCWJ0b2kKCWZyYW1lX2RpZyAtMSAvLyBpbnB1dHM6IElucHV0cwoJZXh0cmFjdCA4IDgKCWJ0b2kKCSsKCWl0b2IKCWZyYW1lX2RpZyAtMSAvLyBpbnB1dHM6IElucHV0cwoJZXh0cmFjdCAxNiA4CglidG9pCglmcmFtZV9kaWcgLTEgLy8gaW5wdXRzOiBJbnB1dHMKCWV4dHJhY3QgMjQgOAoJYnRvaQoJLQoJaXRvYgoJY29uY2F0CglyZXRzdWIKCi8vIG9wdEluVG9BcHBsaWNhdGlvbigpdm9pZAoqYWJpX3JvdXRlX29wdEluVG9BcHBsaWNhdGlvbjoKCS8vIGV4ZWN1dGUgb3B0SW5Ub0FwcGxpY2F0aW9uKCl2b2lkCgljYWxsc3ViIG9wdEluVG9BcHBsaWNhdGlvbgoJaW50IDEKCXJldHVybgoKLy8gb3B0SW5Ub0FwcGxpY2F0aW9uKCk6IHZvaWQKb3B0SW5Ub0FwcGxpY2F0aW9uOgoJcHJvdG8gMCAwCgoJLy8gdGVzdHMvY29udHJhY3RzL2FyYzU2LmFsZ28udHM6MzYKCS8vIHRoaXMubG9jYWxLZXkodGhpcy50eG4uc2VuZGVyKS52YWx1ZSA9IHRoaXMuc29tZU51bWJlcgoJdHhuIFNlbmRlcgoJYnl0ZSAweDZjNmY2MzYxNmM0YjY1NzkgLy8gImxvY2FsS2V5IgoJcHVzaGludCBUTVBMX3NvbWVOdW1iZXIKCWFwcF9sb2NhbF9wdXQKCgkvLyB0ZXN0cy9jb250cmFjdHMvYXJjNTYuYWxnby50czozNwoJLy8gdGhpcy5sb2NhbE1hcCh0aGlzLnR4bi5zZW5kZXIsICdmb28nKS52YWx1ZSA9ICdiYXInCgl0eG4gU2VuZGVyCglieXRlIDB4NzA2NjZmNmYKCWJ5dGUgMHgwMDAzNjI2MTcyCglhcHBfbG9jYWxfcHV0CgoJLy8gdGVzdHMvY29udHJhY3RzL2FyYzU2LmFsZ28udHM6MzgKCS8vIHRoaXMuYm94S2V5LnZhbHVlID0gJ2JheicKCWJ5dGUgMHg2MjZmNzg0YjY1NzkgLy8gImJveEtleSIKCWR1cAoJYm94X2RlbAoJcG9wCglieXRlIDB4MDAwMzYyNjE3YQoJYm94X3B1dAoKCS8vIHRlc3RzL2NvbnRyYWN0cy9hcmM1Ni5hbGdvLnRzOjM5CgkvLyB0aGlzLmJveE1hcCh7IGFkZDogeyBhOiAxLCBiOiAyIH0sIHN1YnRyYWN0OiB7IGE6IDQsIGI6IDMgfSB9KS52YWx1ZSA9IHsgc3VtOiAzLCBkaWZmZXJlbmNlOiAxIH0KCWJ5dGUgMHg3MDAwMDAwMDAwMDAwMDAwMDEwMDAwMDAwMDAwMDAwMDAyMDAwMDAwMDAwMDAwMDAwNDAwMDAwMDAwMDAwMDAwMDMKCWJ5dGUgMHgwMDAwMDAwMDAwMDAwMDAzMDAwMDAwMDAwMDAwMDAwMQoJYm94X3B1dAoJcmV0c3ViCgoqYWJpX3JvdXRlX2NyZWF0ZUFwcGxpY2F0aW9uOgoJaW50IDEKCXJldHVybgoKKmNyZWF0ZV9Ob09wOgoJbWV0aG9kICJjcmVhdGVBcHBsaWNhdGlvbigpdm9pZCIKCXR4bmEgQXBwbGljYXRpb25BcmdzIDAKCW1hdGNoICphYmlfcm91dGVfY3JlYXRlQXBwbGljYXRpb24KCgkvLyB0aGlzIGNvbnRyYWN0IGRvZXMgbm90IGltcGxlbWVudCB0aGUgZ2l2ZW4gQUJJIG1ldGhvZCBmb3IgY3JlYXRlIE5vT3AKCWVycgoKKmNhbGxfTm9PcDoKCW1ldGhvZCAiZm9vKCgodWludDY0LHVpbnQ2NCksKHVpbnQ2NCx1aW50NjQpKSkodWludDY0LHVpbnQ2NCkiCgl0eG5hIEFwcGxpY2F0aW9uQXJncyAwCgltYXRjaCAqYWJpX3JvdXRlX2ZvbwoKCS8vIHRoaXMgY29udHJhY3QgZG9lcyBub3QgaW1wbGVtZW50IHRoZSBnaXZlbiBBQkkgbWV0aG9kIGZvciBjYWxsIE5vT3AKCWVycgoKKmNhbGxfT3B0SW46CgltZXRob2QgIm9wdEluVG9BcHBsaWNhdGlvbigpdm9pZCIKCXR4bmEgQXBwbGljYXRpb25BcmdzIDAKCW1hdGNoICphYmlfcm91dGVfb3B0SW5Ub0FwcGxpY2F0aW9uCgoJLy8gdGhpcyBjb250cmFjdCBkb2VzIG5vdCBpbXBsZW1lbnQgdGhlIGdpdmVuIEFCSSBtZXRob2QgZm9yIGNhbGwgT3B0SW4KCWVycg==",
    "clear": "I3ByYWdtYSB2ZXJzaW9uIDEw"
  },
  "templateVariables": {
    "someNumber": {
      "type": "uint64"
    }
  },
  "scratchVariables": {
    "someScratch": {
      "type": "string",
      "slot": 77
    }
  }
}