{
  ".code": [
    {
      "begin": 28,
      "end": 29,
      "name": "PUSH",
      "source": 0,
      "value": "0"
    },
    {
      "begin": 15,
      "end": 30,
      "name": "CALLDATALOAD",
      "source": 0
    },
    {
      "begin": 44,
      "end": 46,
      "name": "PUSH",
      "source": 0,
      "value": "14"
    },
    {
      "begin": 61,
      "end": 62,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 58,
      "end": 59,
      "name": "DUP3",
      "source": 0
    },
    {
      "begin": 51,
      "end": 63,
      "name": "SSTORE",
      "source": 0
    },
    {
      "begin": 84,
      "end": 86,
      "name": "PUSH",
      "source": 0,
      "value": "20"
    },
    {
      "begin": 71,
      "end": 87,
      "name": "CALLDATALOAD",
      "source": 0
    },
    {
      "begin": 68,
      "end": 188,
      "name": "ISZERO",
      "source": 0
    },
    {
      "begin": 68,
      "end": 188,
      "name": "PUSH [tag]",
      "source": 0,
      "value": "1"
    },
    {
      "begin": 68,
      "end": 188,
      "name": "JUMPI",
      "source": 0
    },
    {
      "begin": 108,
      "end": 109,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 105,
      "end": 106,
      "name": "DUP3",
      "source": 0
    },
    {
      "begin": 98,
      "end": 110,
      "name": "SSTORE",
      "source": 0
    },
    {
      "begin": 149,
      "end": 150,
      "name": "PUSH",
      "source": 0,
      "value": "0"
    },
    {
      "begin": 146,
      "end": 147,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 143,
      "end": 144,
      "name": "PUSH",
      "source": 0,
      "value": "0"
    },
    {
      "begin": 140,
      "end": 141,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 137,
      "end": 138,
      "name": "PUSH",
      "source": 0,
      "value": "0"
    },
    {
      "begin": 134,
      "end": 135,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 123,
      "end": 151,
      "name": "STATICCALL",
      "source": 0
    },
    {
      "begin": 119,
      "end": 152,
      "name": "POP",
      "source": 0
    },
    {
      "begin": 161,
      "end": 182,
      "name": "VERBATIM",
      "source": 0,
      "value": "78797a"
    },
    {
      "begin": 68,
      "end": 188,
      "name": "tag",
      "source": 0,
      "value": "1"
    },
    {
      "begin": 68,
      "end": 188,
      "name": "JUMPDEST",
      "source": 0
    },
    {
      "begin": 203,
      "end": 204,
      "name": "DUP1",
      "source": 0
    },
    {
      "begin": 200,
      "end": 201,
      "name": "DUP3",
      "source": 0
    },
    {
      "begin": 193,
      "end": 205,
      "name": "SSTORE",
      "source": 0
    },
    {
      "begin": 0,
      "end": 207,
      "name": "POP",
      "source": 0
    },
    {
      "begin": 0,
      "end": 207,
      "name": "POP",
      "source": 0
    }
  ],
  "sourceList": [
    "<stdin>"
  ]
}