Skip to content

Instantly share code, notes, and snippets.

@mr-fool

mr-fool/contracts.json

Created March 19, 2019 02:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mr-fool/61da0724f8eaba0b2e43d36ed7bb0b1b to your computer and use it in GitHub Desktop.
Save mr-fool/61da0724f8eaba0b2e43d36ed7bb0b1b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
contracts.json
{
"Campaign.sol": {
"Campaign": {
"abi": [
{
"constant": false,
"inputs": [
{
"name": "index",
"type": "uint256"
}
],
"name": "finalizeRequest",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "",
"type": "address"
}
],
"name": "approvers",
"outputs": [
{
"name": "",
"type": "bool"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "manager",
"outputs": [
{
"name": "",
"type": "address"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "",
"type": "uint256"
}
],
"name": "requests",
"outputs": [
{
"name": "description",
"type": "string"
},
{
"name": "value",
"type": "uint256"
},
{
"name": "recipient",
"type": "address"
},
{
"name": "complete",
"type": "bool"
},
{
"name": "approvalCount",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "approversCount",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "description",
"type": "string"
},
{
"name": "value",
"type": "uint256"
},
{
"name": "recipient",
"type": "address"
}
],
"name": "createRequest",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "minimumContribution",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": false,
"inputs": [],
"name": "contribute",
"outputs": [],
"payable": true,
"stateMutability": "payable",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "index",
"type": "uint256"
}
],
"name": "approveRequest",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"name": "minimum",
"type": "uint256"
},
{
"name": "creator",
"type": "address"
}
],
"payable": false,
"stateMutability": "nonpayable",
"type": "constructor"
}
],
"devdoc": {
"methods": {}
},
"evm": {
"assembly": " /* \"Campaign.sol\":415:2297 contract Campaign {\r... */\n mstore(0x40, 0x80)\n /* \"Campaign.sol\":925:1051 constructor(uint minimum, address creator) public {\r... */\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_1\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\ntag_1:\n /* \"Campaign.sol\":925:1051 constructor(uint minimum, address creator) public {\r... */\n pop\n mload(0x40)\n 0x40\n dup1\n bytecodeSize\n dup4\n codecopy\n dup2\n add\n dup1\n 0x40\n mstore\n /* \"--CODEGEN--\":13:15 */\n 0x40\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_2\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\ntag_2:\n /* \"Campaign.sol\":925:1051 constructor(uint minimum, address creator) public {\r... */\n dup2\n add\n swap1\n dup1\n dup1\n mload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n dup1\n mload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n /* \"Campaign.sol\":996:1003 creator */\n dup1\n /* \"Campaign.sol\":986:993 manager */\n 0x01\n 0x00\n /* \"Campaign.sol\":986:1003 manager = creator */\n 0x0100\n exp\n dup2\n sload\n dup2\n 0xffffffffffffffffffffffffffffffffffffffff\n mul\n not\n and\n swap1\n dup4\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n mul\n or\n swap1\n sstore\n pop\n /* \"Campaign.sol\":1036:1043 minimum */\n dup2\n /* \"Campaign.sol\":1014:1033 minimumContribution */\n 0x02\n /* \"Campaign.sol\":1014:1043 minimumContribution = minimum */\n dup2\n swap1\n sstore\n pop\n /* \"Campaign.sol\":925:1051 constructor(uint minimum, address creator) public {\r... */\n pop\n pop\n /* \"Campaign.sol\":415:2297 contract Campaign {\r... */\n dataSize(sub_0)\n dup1\n dataOffset(sub_0)\n 0x00\n codecopy\n 0x00\n return\nstop\n\nsub_0: assembly {\n /* \"Campaign.sol\":415:2297 contract Campaign {\r... */\n mstore(0x40, 0x80)\n jumpi(tag_1, lt(calldatasize, 0x04))\n shr(0xe0, calldataload(0x00))\n dup1\n 0x82fde093\n gt\n tag_11\n jumpi\n dup1\n 0x82fde093\n eq\n tag_6\n jumpi\n dup1\n 0x8a9cfd55\n eq\n tag_7\n jumpi\n dup1\n 0x937e09b1\n eq\n tag_8\n jumpi\n dup1\n 0xd7bb99ba\n eq\n tag_9\n jumpi\n dup1\n 0xd7d1bbdb\n eq\n tag_10\n jumpi\n jump(tag_1)\n tag_11:\n dup1\n 0x03441006\n eq\n tag_2\n jumpi\n dup1\n 0x0a144391\n eq\n tag_3\n jumpi\n dup1\n 0x481c6a75\n eq\n tag_4\n jumpi\n dup1\n 0x81d12c58\n eq\n tag_5\n jumpi\n tag_1:\n 0x00\n dup1\n revert\n /* \"Campaign.sol\":1913:2294 function finalizeRequest(uint index) public restricted {\r... */\n tag_2:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_12\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_12:\n /* \"Campaign.sol\":1913:2294 function finalizeRequest(uint index) public restricted {\r... */\n pop\n tag_13\n 0x04\n dup1\n calldatasize\n sub\n /* \"--CODEGEN--\":13:15 */\n 0x20\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_14\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_14:\n /* \"Campaign.sol\":1913:2294 function finalizeRequest(uint index) public restricted {\r... */\n dup2\n add\n swap1\n dup1\n dup1\n calldataload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n tag_15\n jump\t// in\n tag_13:\n stop\n /* \"Campaign.sol\":744:785 mapping(address => bool) public approvers */\n tag_3:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_16\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_16:\n /* \"Campaign.sol\":744:785 mapping(address => bool) public approvers */\n pop\n tag_17\n 0x04\n dup1\n calldatasize\n sub\n /* \"--CODEGEN--\":13:15 */\n 0x20\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_18\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_18:\n /* \"Campaign.sol\":744:785 mapping(address => bool) public approvers */\n dup2\n add\n swap1\n dup1\n dup1\n calldataload\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n tag_19\n jump\t// in\n tag_17:\n mload(0x40)\n dup1\n dup3\n iszero\n iszero\n iszero\n iszero\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n pop\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"Campaign.sol\":677:699 address public manager */\n tag_4:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_20\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_20:\n /* \"Campaign.sol\":677:699 address public manager */\n pop\n tag_21\n tag_22\n jump\t// in\n tag_21:\n mload(0x40)\n dup1\n dup3\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n pop\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"Campaign.sol\":645:670 Request[] public requests */\n tag_5:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_23\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_23:\n /* \"Campaign.sol\":645:670 Request[] public requests */\n pop\n tag_24\n 0x04\n dup1\n calldatasize\n sub\n /* \"--CODEGEN--\":13:15 */\n 0x20\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_25\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_25:\n /* \"Campaign.sol\":645:670 Request[] public requests */\n dup2\n add\n swap1\n dup1\n dup1\n calldataload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n tag_26\n jump\t// in\n tag_24:\n mload(0x40)\n dup1\n dup1\n 0x20\n add\n dup7\n dup2\n mstore\n 0x20\n add\n dup6\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n dup5\n iszero\n iszero\n iszero\n iszero\n dup2\n mstore\n 0x20\n add\n dup4\n dup2\n mstore\n 0x20\n add\n dup3\n dup2\n sub\n dup3\n mstore\n dup8\n dup2\n dup2\n mload\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n dup1\n mload\n swap1\n 0x20\n add\n swap1\n dup1\n dup4\n dup4\n /* \"--CODEGEN--\":23:24 */\n 0x00\n /* \"--CODEGEN--\":8:108 */\n tag_27:\n /* \"--CODEGEN--\":33:36 */\n dup4\n /* \"--CODEGEN--\":30:31 */\n dup2\n /* \"--CODEGEN--\":27:37 */\n lt\n /* \"--CODEGEN--\":8:108 */\n iszero\n tag_29\n jumpi\n /* \"--CODEGEN--\":99:100 */\n dup1\n /* \"--CODEGEN--\":94:97 */\n dup3\n /* \"--CODEGEN--\":90:101 */\n add\n /* \"--CODEGEN--\":84:102 */\n mload\n /* \"--CODEGEN--\":80:81 */\n dup2\n /* \"--CODEGEN--\":75:78 */\n dup5\n /* \"--CODEGEN--\":71:82 */\n add\n /* \"--CODEGEN--\":64:103 */\n mstore\n /* \"--CODEGEN--\":52:54 */\n 0x20\n /* \"--CODEGEN--\":49:50 */\n dup2\n /* \"--CODEGEN--\":45:55 */\n add\n /* \"--CODEGEN--\":40:55 */\n swap1\n pop\n /* \"--CODEGEN--\":8:108 */\n jump(tag_27)\n tag_29:\n /* \"--CODEGEN--\":12:26 */\n pop\n /* \"Campaign.sol\":645:670 Request[] public requests */\n pop\n pop\n pop\n swap1\n pop\n swap1\n dup2\n add\n swap1\n 0x1f\n and\n dup1\n iszero\n tag_30\n jumpi\n dup1\n dup3\n sub\n dup1\n mload\n 0x01\n dup4\n 0x20\n sub\n 0x0100\n exp\n sub\n not\n and\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n tag_30:\n pop\n swap7\n pop\n pop\n pop\n pop\n pop\n pop\n pop\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"Campaign.sol\":792:818 uint public approversCount */\n tag_6:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_31\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_31:\n /* \"Campaign.sol\":792:818 uint public approversCount */\n pop\n tag_32\n tag_33\n jump\t// in\n tag_32:\n mload(0x40)\n dup1\n dup3\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n pop\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n tag_7:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_34\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_34:\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n pop\n tag_35\n 0x04\n dup1\n calldatasize\n sub\n /* \"--CODEGEN--\":13:15 */\n 0x60\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_36\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_36:\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n dup2\n add\n swap1\n dup1\n dup1\n calldataload\n swap1\n 0x20\n add\n swap1\n /* \"--CODEGEN--\":21:32 */\n 0x0100000000\n /* \"--CODEGEN--\":8:19 */\n dup2\n /* \"--CODEGEN--\":5:33 */\n gt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_37\n jumpi\n /* \"--CODEGEN--\":46:47 */\n 0x00\n /* \"--CODEGEN--\":43:44 */\n dup1\n /* \"--CODEGEN--\":36:48 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_37:\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n dup3\n add\n /* \"--CODEGEN--\":35:44 */\n dup4\n /* \"--CODEGEN--\":28:32 */\n 0x20\n /* \"--CODEGEN--\":12:26 */\n dup3\n /* \"--CODEGEN--\":8:33 */\n add\n /* \"--CODEGEN--\":5:45 */\n gt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_38\n jumpi\n /* \"--CODEGEN--\":58:59 */\n 0x00\n /* \"--CODEGEN--\":55:56 */\n dup1\n /* \"--CODEGEN--\":48:60 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_38:\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n dup1\n calldataload\n swap1\n 0x20\n add\n swap2\n /* \"--CODEGEN--\":100:109 */\n dup5\n /* \"--CODEGEN--\":95:96 */\n 0x01\n /* \"--CODEGEN--\":81:93 */\n dup4\n /* \"--CODEGEN--\":77:97 */\n mul\n /* \"--CODEGEN--\":67:75 */\n dup5\n /* \"--CODEGEN--\":63:98 */\n add\n /* \"--CODEGEN--\":60:110 */\n gt\n /* \"--CODEGEN--\":39:50 */\n 0x0100000000\n /* \"--CODEGEN--\":25:37 */\n dup4\n /* \"--CODEGEN--\":22:51 */\n gt\n /* \"--CODEGEN--\":11:118 */\n or\n /* \"--CODEGEN--\":8:10 */\n iszero\n tag_39\n jumpi\n /* \"--CODEGEN--\":131:132 */\n 0x00\n /* \"--CODEGEN--\":128:129 */\n dup1\n /* \"--CODEGEN--\":121:133 */\n revert\n /* \"--CODEGEN--\":8:10 */\n tag_39:\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n swap2\n swap1\n dup1\n dup1\n 0x1f\n add\n 0x20\n dup1\n swap2\n div\n mul\n 0x20\n add\n mload(0x40)\n swap1\n dup2\n add\n 0x40\n mstore\n dup1\n swap4\n swap3\n swap2\n swap1\n dup2\n dup2\n mstore\n 0x20\n add\n dup4\n dup4\n /* \"--CODEGEN--\":30:33 */\n dup1\n /* \"--CODEGEN--\":22:28 */\n dup3\n /* \"--CODEGEN--\":14:20 */\n dup5\n /* \"--CODEGEN--\":1:34 */\n calldatacopy\n /* \"--CODEGEN--\":99:100 */\n 0x00\n /* \"--CODEGEN--\":93:96 */\n dup2\n /* \"--CODEGEN--\":85:91 */\n dup5\n /* \"--CODEGEN--\":81:97 */\n add\n /* \"--CODEGEN--\":74:101 */\n mstore\n /* \"--CODEGEN--\":137:141 */\n 0x1f\n /* \"--CODEGEN--\":133:142 */\n not\n /* \"--CODEGEN--\":126:130 */\n 0x1f\n /* \"--CODEGEN--\":121:124 */\n dup3\n /* \"--CODEGEN--\":117:131 */\n add\n /* \"--CODEGEN--\":113:143 */\n and\n /* \"--CODEGEN--\":106:143 */\n swap1\n pop\n /* \"--CODEGEN--\":169:172 */\n dup1\n /* \"--CODEGEN--\":161:167 */\n dup4\n /* \"--CODEGEN--\":157:173 */\n add\n /* \"--CODEGEN--\":147:173 */\n swap3\n pop\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n pop\n pop\n pop\n pop\n pop\n pop\n swap2\n swap3\n swap2\n swap3\n swap1\n dup1\n calldataload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n dup1\n calldataload\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n tag_40\n jump\t// in\n tag_35:\n stop\n /* \"Campaign.sol\":706:737 uint public minimumContribution */\n tag_8:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_41\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_41:\n /* \"Campaign.sol\":706:737 uint public minimumContribution */\n pop\n tag_42\n tag_43\n jump\t// in\n tag_42:\n mload(0x40)\n dup1\n dup3\n dup2\n mstore\n 0x20\n add\n swap2\n pop\n pop\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"Campaign.sol\":1057:1229 function contribute() public payable {\r... */\n tag_9:\n tag_44\n tag_45\n jump\t// in\n tag_44:\n stop\n /* \"Campaign.sol\":1622:1907 function approveRequest(uint index) public {\r... */\n tag_10:\n callvalue\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_46\n jumpi\n /* \"--CODEGEN--\":30:31 */\n 0x00\n /* \"--CODEGEN--\":27:28 */\n dup1\n /* \"--CODEGEN--\":20:32 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_46:\n /* \"Campaign.sol\":1622:1907 function approveRequest(uint index) public {\r... */\n pop\n tag_47\n 0x04\n dup1\n calldatasize\n sub\n /* \"--CODEGEN--\":13:15 */\n 0x20\n /* \"--CODEGEN--\":8:11 */\n dup2\n /* \"--CODEGEN--\":5:16 */\n lt\n /* \"--CODEGEN--\":2:4 */\n iszero\n tag_48\n jumpi\n /* \"--CODEGEN--\":29:30 */\n 0x00\n /* \"--CODEGEN--\":26:27 */\n dup1\n /* \"--CODEGEN--\":19:31 */\n revert\n /* \"--CODEGEN--\":2:4 */\n tag_48:\n /* \"Campaign.sol\":1622:1907 function approveRequest(uint index) public {\r... */\n dup2\n add\n swap1\n dup1\n dup1\n calldataload\n swap1\n 0x20\n add\n swap1\n swap3\n swap2\n swap1\n pop\n pop\n pop\n tag_49\n jump\t// in\n tag_47:\n stop\n /* \"Campaign.sol\":1913:2294 function finalizeRequest(uint index) public restricted {\r... */\n tag_15:\n /* \"Campaign.sol\":885:892 manager */\n 0x01\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":871:892 msg.sender == manager */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":871:881 msg.sender */\n caller\n /* \"Campaign.sol\":871:892 msg.sender == manager */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n eq\n /* \"Campaign.sol\":863:893 require(msg.sender == manager) */\n tag_51\n jumpi\n 0x00\n dup1\n revert\n tag_51:\n /* \"Campaign.sol\":1979:2002 Request storage request */\n 0x00\n /* \"Campaign.sol\":2005:2013 requests */\n dup1\n /* \"Campaign.sol\":2014:2019 index */\n dup3\n /* \"Campaign.sol\":2005:2020 requests[index] */\n dup2\n sload\n dup2\n lt\n tag_53\n jumpi\n invalid\n tag_53:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x05\n mul\n add\n /* \"Campaign.sol\":1979:2020 Request storage request = requests[index] */\n swap1\n pop\n /* \"Campaign.sol\":2081:2082 2 */\n 0x02\n /* \"Campaign.sol\":2064:2078 approversCount */\n sload(0x04)\n /* \"Campaign.sol\":2064:2082 approversCount / 2 */\n dup2\n tag_55\n jumpi\n invalid\n tag_55:\n div\n /* \"Campaign.sol\":2039:2046 request */\n dup2\n /* \"Campaign.sol\":2039:2060 request.approvalCount */\n 0x03\n add\n sload\n /* \"Campaign.sol\":2039:2083 request.approvalCount > (approversCount / 2) */\n gt\n /* \"Campaign.sol\":2031:2084 require(request.approvalCount > (approversCount / 2)) */\n tag_56\n jumpi\n 0x00\n dup1\n revert\n tag_56:\n /* \"Campaign.sol\":2114:2121 request */\n dup1\n /* \"Campaign.sol\":2114:2130 request.complete */\n 0x02\n add\n 0x14\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xff\n and\n /* \"Campaign.sol\":2113:2130 !request.complete */\n iszero\n /* \"Campaign.sol\":2105:2131 require(!request.complete) */\n tag_57\n jumpi\n 0x00\n dup1\n revert\n tag_57:\n /* \"Campaign.sol\":2142:2164 address payable wallet */\n 0x00\n /* \"Campaign.sol\":2191:2198 request */\n dup2\n /* \"Campaign.sol\":2191:2208 request.recipient */\n 0x02\n add\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":2142:2211 address payable wallet = address(uint160(address(request.recipient))) */\n swap1\n pop\n /* \"Campaign.sol\":2222:2228 wallet */\n dup1\n /* \"Campaign.sol\":2222:2237 wallet.transfer */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":2222:2252 wallet.transfer(request.value) */\n 0x08fc\n /* \"Campaign.sol\":2238:2245 request */\n dup4\n /* \"Campaign.sol\":2238:2251 request.value */\n 0x01\n add\n sload\n /* \"Campaign.sol\":2222:2252 wallet.transfer(request.value) */\n swap1\n dup2\n iszero\n mul\n swap1\n mload(0x40)\n 0x00\n mload(0x40)\n dup1\n dup4\n sub\n dup2\n dup6\n dup9\n dup9\n call\n swap4\n pop\n pop\n pop\n pop\n iszero\n /* \"--CODEGEN--\":8:17 */\n dup1\n /* \"--CODEGEN--\":5:7 */\n iszero\n tag_58\n jumpi\n /* \"--CODEGEN--\":45:61 */\n returndatasize\n /* \"--CODEGEN--\":42:43 */\n 0x00\n /* \"--CODEGEN--\":39:40 */\n dup1\n /* \"--CODEGEN--\":24:62 */\n returndatacopy\n /* \"--CODEGEN--\":77:93 */\n returndatasize\n /* \"--CODEGEN--\":74:75 */\n 0x00\n /* \"--CODEGEN--\":67:94 */\n revert\n /* \"--CODEGEN--\":5:7 */\n tag_58:\n /* \"Campaign.sol\":2222:2252 wallet.transfer(request.value) */\n pop\n /* \"Campaign.sol\":2282:2286 true */\n 0x01\n /* \"Campaign.sol\":2263:2270 request */\n dup3\n /* \"Campaign.sol\":2263:2279 request.complete */\n 0x02\n add\n 0x14\n /* \"Campaign.sol\":2263:2286 request.complete = true */\n 0x0100\n exp\n dup2\n sload\n dup2\n 0xff\n mul\n not\n and\n swap1\n dup4\n iszero\n iszero\n mul\n or\n swap1\n sstore\n pop\n /* \"Campaign.sol\":904:905 _ */\n pop\n pop\n /* \"Campaign.sol\":1913:2294 function finalizeRequest(uint index) public restricted {\r... */\n pop\n jump\t// out\n /* \"Campaign.sol\":744:785 mapping(address => bool) public approvers */\n tag_19:\n mstore(0x20, 0x03)\n dup1\n 0x00\n mstore\n keccak256(0x00, 0x40)\n 0x00\n swap2\n pop\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xff\n and\n dup2\n jump\t// out\n /* \"Campaign.sol\":677:699 address public manager */\n tag_22:\n 0x01\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n jump\t// out\n /* \"Campaign.sol\":645:670 Request[] public requests */\n tag_26:\n 0x00\n dup2\n dup2\n sload\n dup2\n lt\n tag_59\n jumpi\n invalid\n tag_59:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x05\n mul\n add\n 0x00\n swap2\n pop\n swap1\n pop\n dup1\n 0x00\n add\n dup1\n sload\n 0x01\n dup2\n 0x01\n and\n iszero\n 0x0100\n mul\n sub\n and\n 0x02\n swap1\n div\n dup1\n 0x1f\n add\n 0x20\n dup1\n swap2\n div\n mul\n 0x20\n add\n mload(0x40)\n swap1\n dup2\n add\n 0x40\n mstore\n dup1\n swap3\n swap2\n swap1\n dup2\n dup2\n mstore\n 0x20\n add\n dup3\n dup1\n sload\n 0x01\n dup2\n 0x01\n and\n iszero\n 0x0100\n mul\n sub\n and\n 0x02\n swap1\n div\n dup1\n iszero\n tag_61\n jumpi\n dup1\n 0x1f\n lt\n tag_62\n jumpi\n 0x0100\n dup1\n dup4\n sload\n div\n mul\n dup4\n mstore\n swap2\n 0x20\n add\n swap2\n jump(tag_61)\n tag_62:\n dup3\n add\n swap2\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n tag_63:\n dup2\n sload\n dup2\n mstore\n swap1\n 0x01\n add\n swap1\n 0x20\n add\n dup1\n dup4\n gt\n tag_63\n jumpi\n dup3\n swap1\n sub\n 0x1f\n and\n dup3\n add\n swap2\n tag_61:\n pop\n pop\n pop\n pop\n pop\n swap1\n dup1\n 0x01\n add\n sload\n swap1\n dup1\n 0x02\n add\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n swap1\n dup1\n 0x02\n add\n 0x14\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xff\n and\n swap1\n dup1\n 0x03\n add\n sload\n swap1\n pop\n dup6\n jump\t// out\n /* \"Campaign.sol\":792:818 uint public approversCount */\n tag_33:\n sload(0x04)\n dup2\n jump\t// out\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n tag_40:\n /* \"Campaign.sol\":885:892 manager */\n 0x01\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":871:892 msg.sender == manager */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n /* \"Campaign.sol\":871:881 msg.sender */\n caller\n /* \"Campaign.sol\":871:892 msg.sender == manager */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n eq\n /* \"Campaign.sol\":863:893 require(msg.sender == manager) */\n tag_65\n jumpi\n 0x00\n dup1\n revert\n tag_65:\n /* \"Campaign.sol\":1362:1387 Request memory newRequest */\n tag_67\n tag_68\n jump\t// in\n tag_67:\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n mload(0x40)\n dup1\n 0xa0\n add\n 0x40\n mstore\n dup1\n /* \"Campaign.sol\":1426:1437 description */\n dup6\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n dup2\n mstore\n 0x20\n add\n /* \"Campaign.sol\":1459:1464 value */\n dup5\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n dup2\n mstore\n 0x20\n add\n /* \"Campaign.sol\":1490:1499 recipient */\n dup4\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n /* \"Campaign.sol\":1524:1529 false */\n 0x00\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n iszero\n iszero\n dup2\n mstore\n 0x20\n add\n /* \"Campaign.sol\":1559:1560 0 */\n 0x00\n /* \"Campaign.sol\":1390:1572 Request({\r... */\n dup2\n mstore\n pop\n /* \"Campaign.sol\":1362:1572 Request memory newRequest = Request({\r... */\n swap1\n pop\n /* \"Campaign.sol\":1583:1591 requests */\n 0x00\n /* \"Campaign.sol\":1597:1607 newRequest */\n dup2\n /* \"Campaign.sol\":1583:1608 requests.push(newRequest) */\n swap1\n dup1\n /* \"--CODEGEN--\":39:40 */\n 0x01\n /* \"--CODEGEN--\":33:36 */\n dup2\n /* \"--CODEGEN--\":27:37 */\n sload\n /* \"--CODEGEN--\":23:41 */\n add\n /* \"--CODEGEN--\":57:67 */\n dup1\n /* \"--CODEGEN--\":52:55 */\n dup3\n /* \"--CODEGEN--\":45:68 */\n sstore\n /* \"--CODEGEN--\":79:89 */\n dup1\n /* \"--CODEGEN--\":72:89 */\n swap2\n pop\n /* \"--CODEGEN--\":0:93 */\n pop\n /* \"Campaign.sol\":1583:1608 requests.push(newRequest) */\n swap1\n 0x01\n dup3\n sub\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x05\n mul\n add\n 0x00\n swap1\n swap2\n swap3\n swap1\n swap2\n swap1\n swap2\n pop\n 0x00\n dup3\n add\n mload\n dup2\n 0x00\n add\n swap1\n dup1\n mload\n swap1\n 0x20\n add\n swap1\n tag_70\n swap3\n swap2\n swap1\n tag_71\n jump\t// in\n tag_70:\n pop\n 0x20\n dup3\n add\n mload\n dup2\n 0x01\n add\n sstore\n 0x40\n dup3\n add\n mload\n dup2\n 0x02\n add\n exp(0x0100, 0x00)\n dup2\n sload\n dup2\n 0xffffffffffffffffffffffffffffffffffffffff\n mul\n not\n and\n swap1\n dup4\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n mul\n or\n swap1\n sstore\n pop\n 0x60\n dup3\n add\n mload\n dup2\n 0x02\n add\n exp(0x0100, 0x14)\n dup2\n sload\n dup2\n 0xff\n mul\n not\n and\n swap1\n dup4\n iszero\n iszero\n mul\n or\n swap1\n sstore\n pop\n 0x80\n dup3\n add\n mload\n dup2\n 0x03\n add\n sstore\n pop\n pop\n pop\n /* \"Campaign.sol\":904:905 _ */\n pop\n /* \"Campaign.sol\":1235:1616 function createRequest(string memory description,uint value, address recipient) \r... */\n pop\n pop\n pop\n jump\t// out\n /* \"Campaign.sol\":706:737 uint public minimumContribution */\n tag_43:\n sload(0x02)\n dup2\n jump\t// out\n /* \"Campaign.sol\":1057:1229 function contribute() public payable {\r... */\n tag_45:\n /* \"Campaign.sol\":1125:1144 minimumContribution */\n sload(0x02)\n /* \"Campaign.sol\":1113:1122 msg.value */\n callvalue\n /* \"Campaign.sol\":1113:1144 msg.value > minimumContribution */\n gt\n /* \"Campaign.sol\":1105:1145 require(msg.value > minimumContribution) */\n tag_73\n jumpi\n 0x00\n dup1\n revert\n tag_73:\n /* \"Campaign.sol\":1190:1194 true */\n 0x01\n /* \"Campaign.sol\":1166:1175 approvers */\n 0x03\n /* \"Campaign.sol\":1166:1187 approvers[msg.sender] */\n 0x00\n /* \"Campaign.sol\":1176:1186 msg.sender */\n caller\n /* \"Campaign.sol\":1166:1187 approvers[msg.sender] */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n swap1\n dup2\n mstore\n 0x20\n add\n 0x00\n keccak256\n 0x00\n /* \"Campaign.sol\":1166:1194 approvers[msg.sender] = true */\n 0x0100\n exp\n dup2\n sload\n dup2\n 0xff\n mul\n not\n and\n swap1\n dup4\n iszero\n iszero\n mul\n or\n swap1\n sstore\n pop\n /* \"Campaign.sol\":1205:1219 approversCount */\n 0x04\n 0x00\n /* \"Campaign.sol\":1205:1221 approversCount++ */\n dup2\n sload\n dup1\n swap3\n swap2\n swap1\n 0x01\n add\n swap2\n swap1\n pop\n sstore\n pop\n /* \"Campaign.sol\":1057:1229 function contribute() public payable {\r... */\n jump\t// out\n /* \"Campaign.sol\":1622:1907 function approveRequest(uint index) public {\r... */\n tag_49:\n /* \"Campaign.sol\":1676:1699 Request storage request */\n 0x00\n /* \"Campaign.sol\":1702:1710 requests */\n dup1\n /* \"Campaign.sol\":1711:1716 index */\n dup3\n /* \"Campaign.sol\":1702:1717 requests[index] */\n dup2\n sload\n dup2\n lt\n tag_75\n jumpi\n invalid\n tag_75:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x05\n mul\n add\n /* \"Campaign.sol\":1676:1717 Request storage request = requests[index] */\n swap1\n pop\n /* \"Campaign.sol\":1736:1745 approvers */\n 0x03\n /* \"Campaign.sol\":1736:1757 approvers[msg.sender] */\n 0x00\n /* \"Campaign.sol\":1746:1756 msg.sender */\n caller\n /* \"Campaign.sol\":1736:1757 approvers[msg.sender] */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n swap1\n dup2\n mstore\n 0x20\n add\n 0x00\n keccak256\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xff\n and\n /* \"Campaign.sol\":1728:1758 require(approvers[msg.sender]) */\n tag_77\n jumpi\n 0x00\n dup1\n revert\n tag_77:\n /* \"Campaign.sol\":1778:1785 request */\n dup1\n /* \"Campaign.sol\":1778:1795 request.approvals */\n 0x04\n add\n /* \"Campaign.sol\":1778:1807 request.approvals[msg.sender] */\n 0x00\n /* \"Campaign.sol\":1796:1806 msg.sender */\n caller\n /* \"Campaign.sol\":1778:1807 request.approvals[msg.sender] */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n swap1\n dup2\n mstore\n 0x20\n add\n 0x00\n keccak256\n 0x00\n swap1\n sload\n swap1\n 0x0100\n exp\n swap1\n div\n 0xff\n and\n /* \"Campaign.sol\":1777:1807 !request.approvals[msg.sender] */\n iszero\n /* \"Campaign.sol\":1769:1808 require(!request.approvals[msg.sender]) */\n tag_78\n jumpi\n 0x00\n dup1\n revert\n tag_78:\n /* \"Campaign.sol\":1861:1865 true */\n 0x01\n /* \"Campaign.sol\":1829:1836 request */\n dup2\n /* \"Campaign.sol\":1829:1846 request.approvals */\n 0x04\n add\n /* \"Campaign.sol\":1829:1858 request.approvals[msg.sender] */\n 0x00\n /* \"Campaign.sol\":1847:1857 msg.sender */\n caller\n /* \"Campaign.sol\":1829:1858 request.approvals[msg.sender] */\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n 0xffffffffffffffffffffffffffffffffffffffff\n and\n dup2\n mstore\n 0x20\n add\n swap1\n dup2\n mstore\n 0x20\n add\n 0x00\n keccak256\n 0x00\n /* \"Campaign.sol\":1829:1865 request.approvals[msg.sender] = true */\n 0x0100\n exp\n dup2\n sload\n dup2\n 0xff\n mul\n not\n and\n swap1\n dup4\n iszero\n iszero\n mul\n or\n swap1\n sstore\n pop\n /* \"Campaign.sol\":1876:1883 request */\n dup1\n /* \"Campaign.sol\":1876:1897 request.approvalCount */\n 0x03\n add\n 0x00\n /* \"Campaign.sol\":1876:1899 request.approvalCount++ */\n dup2\n sload\n dup1\n swap3\n swap2\n swap1\n 0x01\n add\n swap2\n swap1\n pop\n sstore\n pop\n /* \"Campaign.sol\":1622:1907 function approveRequest(uint index) public {\r... */\n pop\n pop\n jump\t// out\n /* \"Campaign.sol\":415:2297 contract Campaign {\r... */\n tag_68:\n mload(0x40)\n dup1\n 0xa0\n add\n 0x40\n mstore\n dup1\n 0x60\n dup2\n mstore\n 0x20\n add\n 0x00\n dup2\n mstore\n 0x20\n add\n and(0xffffffffffffffffffffffffffffffffffffffff, 0x00)\n dup2\n mstore\n 0x20\n add\n iszero(iszero(0x00))\n dup2\n mstore\n 0x20\n add\n 0x00\n dup2\n mstore\n pop\n swap1\n jump\t// out\n tag_71:\n dup3\n dup1\n sload\n 0x01\n dup2\n 0x01\n and\n iszero\n 0x0100\n mul\n sub\n and\n 0x02\n swap1\n div\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x1f\n add\n 0x20\n swap1\n div\n dup2\n add\n swap3\n dup3\n 0x1f\n lt\n tag_80\n jumpi\n dup1\n mload\n not(0xff)\n and\n dup4\n dup1\n add\n or\n dup6\n sstore\n jump(tag_79)\n tag_80:\n dup3\n dup1\n add\n 0x01\n add\n dup6\n sstore\n dup3\n iszero\n tag_79\n jumpi\n swap2\n dup3\n add\n tag_81:\n dup3\n dup2\n gt\n iszero\n tag_82\n jumpi\n dup3\n mload\n dup3\n sstore\n swap2\n 0x20\n add\n swap2\n swap1\n 0x01\n add\n swap1\n jump(tag_81)\n tag_82:\n tag_79:\n pop\n swap1\n pop\n tag_83\n swap2\n swap1\n tag_84\n jump\t// in\n tag_83:\n pop\n swap1\n jump\t// out\n tag_84:\n tag_85\n swap2\n swap1\n tag_86:\n dup1\n dup3\n gt\n iszero\n tag_87\n jumpi\n 0x00\n dup2\n 0x00\n swap1\n sstore\n pop\n 0x01\n add\n jump(tag_86)\n tag_87:\n pop\n swap1\n jump\n tag_85:\n swap1\n jump\t// out\n\n auxdata: 0xa165627a7a723058203bc23a4b21b6a1f5009d0cf916b68b03968c710621d6bf578fcf206639530a540029\n}\n",
"bytecode": {
"linkReferences": {},
"object": "608060405234801561001057600080fd5b50604051604080610b9c8339810180604052604081101561003057600080fd5b81019080805190602001909291908051906020019092919050505080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550816002819055505050610af8806100a46000396000f3fe6080604052600436106100865760003560e01c806382fde0931161005957806382fde093146102865780638a9cfd55146102b1578063937e09b1146103a3578063d7bb99ba146103ce578063d7d1bbdb146103d857610086565b8063034410061461008b5780630a144391146100c6578063481c6a751461012f57806381d12c5814610186575b600080fd5b34801561009757600080fd5b506100c4600480360360208110156100ae57600080fd5b8101908080359060200190929190505050610413565b005b3480156100d257600080fd5b50610115600480360360208110156100e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610559565b604051808215151515815260200191505060405180910390f35b34801561013b57600080fd5b50610144610579565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561019257600080fd5b506101bf600480360360208110156101a957600080fd5b810190808035906020019092919050505061059f565b60405180806020018681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184151515158152602001838152602001828103825287818151815260200191508051906020019080838360005b8381101561024757808201518184015260208101905061022c565b50505050905090810190601f1680156102745780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390f35b34801561029257600080fd5b5061029b6106a7565b6040518082815260200191505060405180910390f35b3480156102bd57600080fd5b506103a1600480360360608110156102d457600080fd5b81019080803590602001906401000000008111156102f157600080fd5b82018360208201111561030357600080fd5b8035906020019184600183028401116401000000008311171561032557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106ad565b005b3480156103af57600080fd5b506103b8610821565b6040518082815260200191505060405180910390f35b6103d6610827565b005b3480156103e457600080fd5b50610411600480360360208110156103fb57600080fd5b81019080803590602001909291905050506108a1565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461046d57600080fd5b600080828154811061047b57fe5b9060005260206000209060050201905060026004548161049757fe5b048160030154116104a757600080fd5b8060020160149054906101000a900460ff16156104c357600080fd5b60008160020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff166108fc83600101549081150290604051600060405180830381858888f19350505050158015610536573d6000803e3d6000fd5b5060018260020160146101000a81548160ff021916908315150217905550505050565b60036020528060005260406000206000915054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600081815481106105ac57fe5b9060005260206000209060050201600091509050806000018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106585780601f1061062d57610100808354040283529160200191610658565b820191906000526020600020905b81548152906001019060200180831161063b57829003601f168201915b5050505050908060010154908060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020160149054906101000a900460ff16908060030154905085565b60045481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461070757600080fd5b61070f6109e0565b6040518060a001604052808581526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1681526020016000151581526020016000815250905060008190806001815401808255809150509060018203906000526020600020906005020160009091929091909150600082015181600001908051906020019061079c929190610a27565b506020820151816001015560408201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060608201518160020160146101000a81548160ff0219169083151502179055506080820151816003015550505050505050565b60025481565b600254341161083557600080fd5b6001600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600460008154809291906001019190505550565b60008082815481106108af57fe5b90600052602060002090600502019050600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661091557600080fd5b8060040160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561096e57600080fd5b60018160040160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080600301600081548092919060010191905055505050565b6040518060a001604052806060815260200160008152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600015158152602001600081525090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10610a6857805160ff1916838001178555610a96565b82800160010185558215610a96579182015b82811115610a95578251825591602001919060010190610a7a565b5b509050610aa39190610aa7565b5090565b610ac991905b80821115610ac5576000816000905550600101610aad565b5090565b9056fea165627a7a723058203bc23a4b21b6a1f5009d0cf916b68b03968c710621d6bf578fcf206639530a540029",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x40 MLOAD PUSH1 0x40 DUP1 PUSH2 0xB9C DUP4 CODECOPY DUP2 ADD DUP1 PUSH1 0x40 MSTORE PUSH1 0x40 DUP2 LT ISZERO PUSH2 0x30 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP DUP1 PUSH1 0x1 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND MUL OR SWAP1 SSTORE POP DUP2 PUSH1 0x2 DUP2 SWAP1 SSTORE POP POP POP PUSH2 0xAF8 DUP1 PUSH2 0xA4 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x86 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x82FDE093 GT PUSH2 0x59 JUMPI DUP1 PUSH4 0x82FDE093 EQ PUSH2 0x286 JUMPI DUP1 PUSH4 0x8A9CFD55 EQ PUSH2 0x2B1 JUMPI DUP1 PUSH4 0x937E09B1 EQ PUSH2 0x3A3 JUMPI DUP1 PUSH4 0xD7BB99BA EQ PUSH2 0x3CE JUMPI DUP1 PUSH4 0xD7D1BBDB EQ PUSH2 0x3D8 JUMPI PUSH2 0x86 JUMP JUMPDEST DUP1 PUSH4 0x3441006 EQ PUSH2 0x8B JUMPI DUP1 PUSH4 0xA144391 EQ PUSH2 0xC6 JUMPI DUP1 PUSH4 0x481C6A75 EQ PUSH2 0x12F JUMPI DUP1 PUSH4 0x81D12C58 EQ PUSH2 0x186 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x97 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0xC4 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xAE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x413 JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0xD2 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x115 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xE9 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x559 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 ISZERO ISZERO ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x13B JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x144 PUSH2 0x579 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x192 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1BF PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x1A9 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x59F JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP1 PUSH1 0x20 ADD DUP7 DUP2 MSTORE PUSH1 0x20 ADD DUP6 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD DUP5 ISZERO ISZERO ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP8 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x247 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x22C JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0x274 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP7 POP POP POP POP POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x292 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x29B PUSH2 0x6A7 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x2BD JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x3A1 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x60 DUP2 LT ISZERO PUSH2 0x2D4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0x2F1 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x303 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x325 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 DUP1 CALLDATALOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x6AD JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x3AF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x3B8 PUSH2 0x821 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x3D6 PUSH2 0x827 JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x3E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x411 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x3FB JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x8A1 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ PUSH2 0x46D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP1 DUP3 DUP2 SLOAD DUP2 LT PUSH2 0x47B JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD SWAP1 POP PUSH1 0x2 PUSH1 0x4 SLOAD DUP2 PUSH2 0x497 JUMPI INVALID JUMPDEST DIV DUP2 PUSH1 0x3 ADD SLOAD GT PUSH2 0x4A7 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH1 0x2 ADD PUSH1 0x14 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x4C3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP2 PUSH1 0x2 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 POP DUP1 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH2 0x8FC DUP4 PUSH1 0x1 ADD SLOAD SWAP1 DUP2 ISZERO MUL SWAP1 PUSH1 0x40 MLOAD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP9 CALL SWAP4 POP POP POP POP ISZERO DUP1 ISZERO PUSH2 0x536 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP PUSH1 0x1 DUP3 PUSH1 0x2 ADD PUSH1 0x14 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP POP POP POP JUMP JUMPDEST PUSH1 0x3 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND DUP2 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 JUMP JUMPDEST PUSH1 0x0 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x5AC JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x658 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x62D JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x658 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x63B JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 DUP1 PUSH1 0x1 ADD SLOAD SWAP1 DUP1 PUSH1 0x2 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 DUP1 PUSH1 0x2 ADD PUSH1 0x14 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND SWAP1 DUP1 PUSH1 0x3 ADD SLOAD SWAP1 POP DUP6 JUMP JUMPDEST PUSH1 0x4 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ PUSH2 0x707 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x70F PUSH2 0x9E0 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xA0 ADD PUSH1 0x40 MSTORE DUP1 DUP6 DUP2 MSTORE PUSH1 0x20 ADD DUP5 DUP2 MSTORE PUSH1 0x20 ADD DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 POP PUSH1 0x0 DUP2 SWAP1 DUP1 PUSH1 0x1 DUP2 SLOAD ADD DUP1 DUP3 SSTORE DUP1 SWAP2 POP POP SWAP1 PUSH1 0x1 DUP3 SUB SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD PUSH1 0x0 SWAP1 SWAP2 SWAP3 SWAP1 SWAP2 SWAP1 SWAP2 POP PUSH1 0x0 DUP3 ADD MLOAD DUP2 PUSH1 0x0 ADD SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x79C SWAP3 SWAP2 SWAP1 PUSH2 0xA27 JUMP JUMPDEST POP PUSH1 0x20 DUP3 ADD MLOAD DUP2 PUSH1 0x1 ADD SSTORE PUSH1 0x40 DUP3 ADD MLOAD DUP2 PUSH1 0x2 ADD PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND MUL OR SWAP1 SSTORE POP PUSH1 0x60 DUP3 ADD MLOAD DUP2 PUSH1 0x2 ADD PUSH1 0x14 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP PUSH1 0x80 DUP3 ADD MLOAD DUP2 PUSH1 0x3 ADD SSTORE POP POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x2 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x2 SLOAD CALLVALUE GT PUSH2 0x835 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x1 PUSH1 0x3 PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP PUSH1 0x4 PUSH1 0x0 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH1 0x1 ADD SWAP2 SWAP1 POP SSTORE POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP3 DUP2 SLOAD DUP2 LT PUSH2 0x8AF JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD SWAP1 POP PUSH1 0x3 PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH2 0x915 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH1 0x4 ADD PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x96E JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x1 DUP2 PUSH1 0x4 ADD PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP DUP1 PUSH1 0x3 ADD PUSH1 0x0 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH1 0x1 ADD SWAP2 SWAP1 POP SSTORE POP POP POP JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xA0 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x60 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0xA68 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0xA96 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0xA96 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0xA95 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0xA7A JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0xAA3 SWAP2 SWAP1 PUSH2 0xAA7 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH2 0xAC9 SWAP2 SWAP1 JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0xAC5 JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0xAAD JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST SWAP1 JUMP INVALID LOG1 PUSH6 0x627A7A723058 KECCAK256 EXTCODESIZE 0xc2 GASPRICE 0x4b 0x21 0xb6 LOG1 CREATE2 STOP SWAP14 0xc 0xf9 AND 0xb6 DUP12 SUB SWAP7 DUP13 PUSH18 0x621D6BF578FCF206639530A540029000000 ",
"sourceMap": "415:1882:0:-;;;925:126;8:9:-1;5:2;;;30:1;27;20:12;5:2;925:126:0;;;;;;;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;925:126:0;;;;;;;;;;;;;;;;;;;;;;;;;996:7;986;;:17;;;;;;;;;;;;;;;;;;1036:7;1014:19;:29;;;;925:126;;415:1882;;;;;;"
},
"deployedBytecode": {
"linkReferences": {},
"object": "6080604052600436106100865760003560e01c806382fde0931161005957806382fde093146102865780638a9cfd55146102b1578063937e09b1146103a3578063d7bb99ba146103ce578063d7d1bbdb146103d857610086565b8063034410061461008b5780630a144391146100c6578063481c6a751461012f57806381d12c5814610186575b600080fd5b34801561009757600080fd5b506100c4600480360360208110156100ae57600080fd5b8101908080359060200190929190505050610413565b005b3480156100d257600080fd5b50610115600480360360208110156100e957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610559565b604051808215151515815260200191505060405180910390f35b34801561013b57600080fd5b50610144610579565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561019257600080fd5b506101bf600480360360208110156101a957600080fd5b810190808035906020019092919050505061059f565b60405180806020018681526020018573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184151515158152602001838152602001828103825287818151815260200191508051906020019080838360005b8381101561024757808201518184015260208101905061022c565b50505050905090810190601f1680156102745780820380516001836020036101000a031916815260200191505b50965050505050505060405180910390f35b34801561029257600080fd5b5061029b6106a7565b6040518082815260200191505060405180910390f35b3480156102bd57600080fd5b506103a1600480360360608110156102d457600080fd5b81019080803590602001906401000000008111156102f157600080fd5b82018360208201111561030357600080fd5b8035906020019184600183028401116401000000008311171561032557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506106ad565b005b3480156103af57600080fd5b506103b8610821565b6040518082815260200191505060405180910390f35b6103d6610827565b005b3480156103e457600080fd5b50610411600480360360208110156103fb57600080fd5b81019080803590602001909291905050506108a1565b005b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461046d57600080fd5b600080828154811061047b57fe5b9060005260206000209060050201905060026004548161049757fe5b048160030154116104a757600080fd5b8060020160149054906101000a900460ff16156104c357600080fd5b60008160020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508073ffffffffffffffffffffffffffffffffffffffff166108fc83600101549081150290604051600060405180830381858888f19350505050158015610536573d6000803e3d6000fd5b5060018260020160146101000a81548160ff021916908315150217905550505050565b60036020528060005260406000206000915054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600081815481106105ac57fe5b9060005260206000209060050201600091509050806000018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106585780601f1061062d57610100808354040283529160200191610658565b820191906000526020600020905b81548152906001019060200180831161063b57829003601f168201915b5050505050908060010154908060020160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060020160149054906101000a900460ff16908060030154905085565b60045481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461070757600080fd5b61070f6109e0565b6040518060a001604052808581526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1681526020016000151581526020016000815250905060008190806001815401808255809150509060018203906000526020600020906005020160009091929091909150600082015181600001908051906020019061079c929190610a27565b506020820151816001015560408201518160020160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060608201518160020160146101000a81548160ff0219169083151502179055506080820151816003015550505050505050565b60025481565b600254341161083557600080fd5b6001600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600460008154809291906001019190505550565b60008082815481106108af57fe5b90600052602060002090600502019050600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1661091557600080fd5b8060040160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161561096e57600080fd5b60018160040160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555080600301600081548092919060010191905055505050565b6040518060a001604052806060815260200160008152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600015158152602001600081525090565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10610a6857805160ff1916838001178555610a96565b82800160010185558215610a96579182015b82811115610a95578251825591602001919060010190610a7a565b5b509050610aa39190610aa7565b5090565b610ac991905b80821115610ac5576000816000905550600101610aad565b5090565b9056fea165627a7a723058203bc23a4b21b6a1f5009d0cf916b68b03968c710621d6bf578fcf206639530a540029",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x86 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x82FDE093 GT PUSH2 0x59 JUMPI DUP1 PUSH4 0x82FDE093 EQ PUSH2 0x286 JUMPI DUP1 PUSH4 0x8A9CFD55 EQ PUSH2 0x2B1 JUMPI DUP1 PUSH4 0x937E09B1 EQ PUSH2 0x3A3 JUMPI DUP1 PUSH4 0xD7BB99BA EQ PUSH2 0x3CE JUMPI DUP1 PUSH4 0xD7D1BBDB EQ PUSH2 0x3D8 JUMPI PUSH2 0x86 JUMP JUMPDEST DUP1 PUSH4 0x3441006 EQ PUSH2 0x8B JUMPI DUP1 PUSH4 0xA144391 EQ PUSH2 0xC6 JUMPI DUP1 PUSH4 0x481C6A75 EQ PUSH2 0x12F JUMPI DUP1 PUSH4 0x81D12C58 EQ PUSH2 0x186 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x97 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0xC4 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xAE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x413 JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0xD2 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x115 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0xE9 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x559 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 ISZERO ISZERO ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x13B JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x144 PUSH2 0x579 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x192 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1BF PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x1A9 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x59F JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP1 PUSH1 0x20 ADD DUP7 DUP2 MSTORE PUSH1 0x20 ADD DUP6 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD DUP5 ISZERO ISZERO ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP8 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x247 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x22C JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1F AND DUP1 ISZERO PUSH2 0x274 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x1 DUP4 PUSH1 0x20 SUB PUSH2 0x100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP7 POP POP POP POP POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x292 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x29B PUSH2 0x6A7 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x2BD JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x3A1 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x60 DUP2 LT ISZERO PUSH2 0x2D4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH5 0x100000000 DUP2 GT ISZERO PUSH2 0x2F1 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 ADD DUP4 PUSH1 0x20 DUP3 ADD GT ISZERO PUSH2 0x303 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP2 DUP5 PUSH1 0x1 DUP4 MUL DUP5 ADD GT PUSH5 0x100000000 DUP4 GT OR ISZERO PUSH2 0x325 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP2 SWAP1 DUP1 DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP4 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP4 DUP4 DUP1 DUP3 DUP5 CALLDATACOPY PUSH1 0x0 DUP2 DUP5 ADD MSTORE PUSH1 0x1F NOT PUSH1 0x1F DUP3 ADD AND SWAP1 POP DUP1 DUP4 ADD SWAP3 POP POP POP POP POP POP POP SWAP2 SWAP3 SWAP2 SWAP3 SWAP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 DUP1 CALLDATALOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x6AD JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x3AF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x3B8 PUSH2 0x821 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x3D6 PUSH2 0x827 JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x3E4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x411 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x20 DUP2 LT ISZERO PUSH2 0x3FB JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 ADD SWAP1 DUP1 DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP3 SWAP2 SWAP1 POP POP POP PUSH2 0x8A1 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ PUSH2 0x46D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP1 DUP3 DUP2 SLOAD DUP2 LT PUSH2 0x47B JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD SWAP1 POP PUSH1 0x2 PUSH1 0x4 SLOAD DUP2 PUSH2 0x497 JUMPI INVALID JUMPDEST DIV DUP2 PUSH1 0x3 ADD SLOAD GT PUSH2 0x4A7 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH1 0x2 ADD PUSH1 0x14 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x4C3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP2 PUSH1 0x2 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 POP DUP1 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH2 0x8FC DUP4 PUSH1 0x1 ADD SLOAD SWAP1 DUP2 ISZERO MUL SWAP1 PUSH1 0x40 MLOAD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP9 CALL SWAP4 POP POP POP POP ISZERO DUP1 ISZERO PUSH2 0x536 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP PUSH1 0x1 DUP3 PUSH1 0x2 ADD PUSH1 0x14 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP POP POP POP JUMP JUMPDEST PUSH1 0x3 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND DUP2 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 JUMP JUMPDEST PUSH1 0x0 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x5AC JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x658 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x62D JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x658 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x63B JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 DUP1 PUSH1 0x1 ADD SLOAD SWAP1 DUP1 PUSH1 0x2 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 DUP1 PUSH1 0x2 ADD PUSH1 0x14 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND SWAP1 DUP1 PUSH1 0x3 ADD SLOAD SWAP1 POP DUP6 JUMP JUMPDEST PUSH1 0x4 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND EQ PUSH2 0x707 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x70F PUSH2 0x9E0 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xA0 ADD PUSH1 0x40 MSTORE DUP1 DUP6 DUP2 MSTORE PUSH1 0x20 ADD DUP5 DUP2 MSTORE PUSH1 0x20 ADD DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 POP PUSH1 0x0 DUP2 SWAP1 DUP1 PUSH1 0x1 DUP2 SLOAD ADD DUP1 DUP3 SSTORE DUP1 SWAP2 POP POP SWAP1 PUSH1 0x1 DUP3 SUB SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD PUSH1 0x0 SWAP1 SWAP2 SWAP3 SWAP1 SWAP2 SWAP1 SWAP2 POP PUSH1 0x0 DUP3 ADD MLOAD DUP2 PUSH1 0x0 ADD SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 PUSH2 0x79C SWAP3 SWAP2 SWAP1 PUSH2 0xA27 JUMP JUMPDEST POP PUSH1 0x20 DUP3 ADD MLOAD DUP2 PUSH1 0x1 ADD SSTORE PUSH1 0x40 DUP3 ADD MLOAD DUP2 PUSH1 0x2 ADD PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF MUL NOT AND SWAP1 DUP4 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND MUL OR SWAP1 SSTORE POP PUSH1 0x60 DUP3 ADD MLOAD DUP2 PUSH1 0x2 ADD PUSH1 0x14 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP PUSH1 0x80 DUP3 ADD MLOAD DUP2 PUSH1 0x3 ADD SSTORE POP POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x2 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x2 SLOAD CALLVALUE GT PUSH2 0x835 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x1 PUSH1 0x3 PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP PUSH1 0x4 PUSH1 0x0 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH1 0x1 ADD SWAP2 SWAP1 POP SSTORE POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP3 DUP2 SLOAD DUP2 LT PUSH2 0x8AF JUMPI INVALID JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x5 MUL ADD SWAP1 POP PUSH1 0x3 PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH2 0x915 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH1 0x4 ADD PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND ISZERO PUSH2 0x96E JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x1 DUP2 PUSH1 0x4 ADD PUSH1 0x0 CALLER PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 PUSH2 0x100 EXP DUP2 SLOAD DUP2 PUSH1 0xFF MUL NOT AND SWAP1 DUP4 ISZERO ISZERO MUL OR SWAP1 SSTORE POP DUP1 PUSH1 0x3 ADD PUSH1 0x0 DUP2 SLOAD DUP1 SWAP3 SWAP2 SWAP1 PUSH1 0x1 ADD SWAP2 SWAP1 POP SSTORE POP POP POP JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xA0 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x60 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1F LT PUSH2 0xA68 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0xA96 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0xA96 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0xA95 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0xA7A JUMP JUMPDEST JUMPDEST POP SWAP1 POP PUSH2 0xAA3 SWAP2 SWAP1 PUSH2 0xAA7 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH2 0xAC9 SWAP2 SWAP1 JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0xAC5 JUMPI PUSH1 0x0 DUP2 PUSH1 0x0 SWAP1 SSTORE POP PUSH1 0x1 ADD PUSH2 0xAAD JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST SWAP1 JUMP INVALID LOG1 PUSH6 0x627A7A723058 KECCAK256 EXTCODESIZE 0xc2 GASPRICE 0x4b 0x21 0xb6 LOG1 CREATE2 STOP SWAP14 0xc 0xf9 AND 0xb6 DUP12 SUB SWAP7 DUP13 PUSH18 0x621D6BF578FCF206639530A540029000000 ",
"sourceMap": "415:1882:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1913:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1913:381:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1913:381:0;;;;;;;;;;;;;;;;;:::i;:::-;;744:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;744:41:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;744:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;677:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;677:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;645:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;645:25:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;645:25:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;645:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;792:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;792:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1235:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1235:381:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1235:381:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;1235:381:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;1235:381:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;1235:381:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;1235:381:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;706:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;706:31:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1057:172;;;:::i;:::-;;1622:285;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1622:285:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1622:285:0;;;;;;;;;;;;;;;;;:::i;:::-;;1913:381;885:7;;;;;;;;;;;871:21;;:10;:21;;;863:30;;;;;;1979:23;2005:8;2014:5;2005:15;;;;;;;;;;;;;;;;;;1979:41;;2081:1;2064:14;;:18;;;;;;2039:7;:21;;;:44;2031:53;;;;;;2114:7;:16;;;;;;;;;;;;2113:17;2105:26;;;;;;2142:22;2191:7;:17;;;;;;;;;;;;2142:69;;2222:6;:15;;:30;2238:7;:13;;;2222:30;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2222:30:0;2282:4;2263:7;:16;;;:23;;;;;;;;;;;;;;;;;;904:1;;1913:381;:::o;744:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;677:22::-;;;;;;;;;;;;;:::o;645:25::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;792:26::-;;;;:::o;1235:381::-;885:7;;;;;;;;;;;871:21;;:10;:21;;;863:30;;;;;;1362:25;;:::i;:::-;1390:182;;;;;;;;1426:11;1390:182;;;;1459:5;1390:182;;;;1490:9;1390:182;;;;;;1524:5;1390:182;;;;;;1559:1;1390:182;;;1362:210;;1583:8;1597:10;1583:25;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;1583:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;904:1;1235:381;;;:::o;706:31::-;;;;:::o;1057:172::-;1125:19;;1113:9;:31;1105:40;;;;;;1190:4;1166:9;:21;1176:10;1166:21;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;1205:14;;:16;;;;;;;;;;;;;1057:172::o;1622:285::-;1676:23;1702:8;1711:5;1702:15;;;;;;;;;;;;;;;;;;1676:41;;1736:9;:21;1746:10;1736:21;;;;;;;;;;;;;;;;;;;;;;;;;1728:30;;;;;;1778:7;:17;;:29;1796:10;1778:29;;;;;;;;;;;;;;;;;;;;;;;;;1777:30;1769:39;;;;;;1861:4;1829:7;:17;;:29;1847:10;1829:29;;;;;;;;;;;;;;;;:36;;;;;;;;;;;;;;;;;;1876:7;:21;;;:23;;;;;;;;;;;;;1622:285;;:::o;415:1882::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o"
},
"gasEstimates": {
"creation": {
"codeDepositCost": "561600",
"executionCost": "41019",
"totalCost": "602619"
},
"external": {
"approveRequest(uint256)": "41918",
"approvers(address)": "629",
"approversCount()": "405",
"contribute()": "41001",
"createRequest(string,uint256,address)": "infinite",
"finalizeRequest(uint256)": "infinite",
"manager()": "498",
"minimumContribution()": "449",
"requests(uint256)": "infinite"
}
},
"legacyAssembly": {
".code": [
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "80"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "40"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 925,
"end": 1051,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "1"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 925,
"end": 1051,
"name": "PUSH",
"value": "40"
},
{
"begin": 925,
"end": 1051,
"name": "MLOAD"
},
{
"begin": 925,
"end": 1051,
"name": "PUSH",
"value": "40"
},
{
"begin": 925,
"end": 1051,
"name": "DUP1"
},
{
"begin": 925,
"end": 1051,
"name": "PUSHSIZE"
},
{
"begin": 925,
"end": 1051,
"name": "DUP4"
},
{
"begin": 925,
"end": 1051,
"name": "CODECOPY"
},
{
"begin": 925,
"end": 1051,
"name": "DUP2"
},
{
"begin": 925,
"end": 1051,
"name": "ADD"
},
{
"begin": 925,
"end": 1051,
"name": "DUP1"
},
{
"begin": 925,
"end": 1051,
"name": "PUSH",
"value": "40"
},
{
"begin": 925,
"end": 1051,
"name": "MSTORE"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "40"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "2"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "2"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 925,
"end": 1051,
"name": "DUP2"
},
{
"begin": 925,
"end": 1051,
"name": "ADD"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "DUP1"
},
{
"begin": 925,
"end": 1051,
"name": "DUP1"
},
{
"begin": 925,
"end": 1051,
"name": "MLOAD"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "PUSH",
"value": "20"
},
{
"begin": 925,
"end": 1051,
"name": "ADD"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP3"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP2"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "DUP1"
},
{
"begin": 925,
"end": 1051,
"name": "MLOAD"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "PUSH",
"value": "20"
},
{
"begin": 925,
"end": 1051,
"name": "ADD"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP3"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP2"
},
{
"begin": 925,
"end": 1051,
"name": "SWAP1"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 996,
"end": 1003,
"name": "DUP1"
},
{
"begin": 986,
"end": 993,
"name": "PUSH",
"value": "1"
},
{
"begin": 986,
"end": 993,
"name": "PUSH",
"value": "0"
},
{
"begin": 986,
"end": 1003,
"name": "PUSH",
"value": "100"
},
{
"begin": 986,
"end": 1003,
"name": "EXP"
},
{
"begin": 986,
"end": 1003,
"name": "DUP2"
},
{
"begin": 986,
"end": 1003,
"name": "SLOAD"
},
{
"begin": 986,
"end": 1003,
"name": "DUP2"
},
{
"begin": 986,
"end": 1003,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 986,
"end": 1003,
"name": "MUL"
},
{
"begin": 986,
"end": 1003,
"name": "NOT"
},
{
"begin": 986,
"end": 1003,
"name": "AND"
},
{
"begin": 986,
"end": 1003,
"name": "SWAP1"
},
{
"begin": 986,
"end": 1003,
"name": "DUP4"
},
{
"begin": 986,
"end": 1003,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 986,
"end": 1003,
"name": "AND"
},
{
"begin": 986,
"end": 1003,
"name": "MUL"
},
{
"begin": 986,
"end": 1003,
"name": "OR"
},
{
"begin": 986,
"end": 1003,
"name": "SWAP1"
},
{
"begin": 986,
"end": 1003,
"name": "SSTORE"
},
{
"begin": 986,
"end": 1003,
"name": "POP"
},
{
"begin": 1036,
"end": 1043,
"name": "DUP2"
},
{
"begin": 1014,
"end": 1033,
"name": "PUSH",
"value": "2"
},
{
"begin": 1014,
"end": 1043,
"name": "DUP2"
},
{
"begin": 1014,
"end": 1043,
"name": "SWAP1"
},
{
"begin": 1014,
"end": 1043,
"name": "SSTORE"
},
{
"begin": 1014,
"end": 1043,
"name": "POP"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 925,
"end": 1051,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH #[$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [$]",
"value": "0000000000000000000000000000000000000000000000000000000000000000"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "CODECOPY"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "RETURN"
}
],
".data": {
"0": {
".auxdata": "a165627a7a723058203bc23a4b21b6a1f5009d0cf916b68b03968c710621d6bf578fcf206639530a540029",
".code": [
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "80"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "40"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "4"
},
{
"begin": 415,
"end": 2297,
"name": "CALLDATASIZE"
},
{
"begin": 415,
"end": 2297,
"name": "LT"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "CALLDATALOAD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "E0"
},
{
"begin": 415,
"end": 2297,
"name": "SHR"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "82FDE093"
},
{
"begin": 415,
"end": 2297,
"name": "GT"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "11"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "82FDE093"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "6"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "8A9CFD55"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "7"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "937E09B1"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "8"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "D7BB99BA"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "9"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "D7D1BBDB"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "10"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "11"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "3441006"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "2"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "A144391"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "3"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "481C6A75"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "4"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "81D12C58"
},
{
"begin": 415,
"end": 2297,
"name": "EQ"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "5"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "REVERT"
},
{
"begin": 1913,
"end": 2294,
"name": "tag",
"value": "2"
},
{
"begin": 1913,
"end": 2294,
"name": "JUMPDEST"
},
{
"begin": 1913,
"end": 2294,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "12"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "12"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 1913,
"end": 2294,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "PUSH [tag]",
"value": "13"
},
{
"begin": 1913,
"end": 2294,
"name": "PUSH",
"value": "4"
},
{
"begin": 1913,
"end": 2294,
"name": "DUP1"
},
{
"begin": 1913,
"end": 2294,
"name": "CALLDATASIZE"
},
{
"begin": 1913,
"end": 2294,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "14"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "14"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 1913,
"end": 2294,
"name": "DUP2"
},
{
"begin": 1913,
"end": 2294,
"name": "ADD"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP1"
},
{
"begin": 1913,
"end": 2294,
"name": "DUP1"
},
{
"begin": 1913,
"end": 2294,
"name": "DUP1"
},
{
"begin": 1913,
"end": 2294,
"name": "CALLDATALOAD"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP1"
},
{
"begin": 1913,
"end": 2294,
"name": "PUSH",
"value": "20"
},
{
"begin": 1913,
"end": 2294,
"name": "ADD"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP1"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP3"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP2"
},
{
"begin": 1913,
"end": 2294,
"name": "SWAP1"
},
{
"begin": 1913,
"end": 2294,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "PUSH [tag]",
"value": "15"
},
{
"begin": 1913,
"end": 2294,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1913,
"end": 2294,
"name": "tag",
"value": "13"
},
{
"begin": 1913,
"end": 2294,
"name": "JUMPDEST"
},
{
"begin": 1913,
"end": 2294,
"name": "STOP"
},
{
"begin": 744,
"end": 785,
"name": "tag",
"value": "3"
},
{
"begin": 744,
"end": 785,
"name": "JUMPDEST"
},
{
"begin": 744,
"end": 785,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "16"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "16"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "PUSH [tag]",
"value": "17"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "4"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "CALLDATASIZE"
},
{
"begin": 744,
"end": 785,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "18"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "18"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 744,
"end": 785,
"name": "DUP2"
},
{
"begin": 744,
"end": 785,
"name": "ADD"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "CALLDATALOAD"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 744,
"end": 785,
"name": "AND"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "20"
},
{
"begin": 744,
"end": 785,
"name": "ADD"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "SWAP3"
},
{
"begin": 744,
"end": 785,
"name": "SWAP2"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "PUSH [tag]",
"value": "19"
},
{
"begin": 744,
"end": 785,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 744,
"end": 785,
"name": "tag",
"value": "17"
},
{
"begin": 744,
"end": 785,
"name": "JUMPDEST"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "40"
},
{
"begin": 744,
"end": 785,
"name": "MLOAD"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "DUP3"
},
{
"begin": 744,
"end": 785,
"name": "ISZERO"
},
{
"begin": 744,
"end": 785,
"name": "ISZERO"
},
{
"begin": 744,
"end": 785,
"name": "ISZERO"
},
{
"begin": 744,
"end": 785,
"name": "ISZERO"
},
{
"begin": 744,
"end": 785,
"name": "DUP2"
},
{
"begin": 744,
"end": 785,
"name": "MSTORE"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "20"
},
{
"begin": 744,
"end": 785,
"name": "ADD"
},
{
"begin": 744,
"end": 785,
"name": "SWAP2"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "40"
},
{
"begin": 744,
"end": 785,
"name": "MLOAD"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "SWAP2"
},
{
"begin": 744,
"end": 785,
"name": "SUB"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "RETURN"
},
{
"begin": 677,
"end": 699,
"name": "tag",
"value": "4"
},
{
"begin": 677,
"end": 699,
"name": "JUMPDEST"
},
{
"begin": 677,
"end": 699,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "20"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "20"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 677,
"end": 699,
"name": "POP"
},
{
"begin": 677,
"end": 699,
"name": "PUSH [tag]",
"value": "21"
},
{
"begin": 677,
"end": 699,
"name": "PUSH [tag]",
"value": "22"
},
{
"begin": 677,
"end": 699,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 677,
"end": 699,
"name": "tag",
"value": "21"
},
{
"begin": 677,
"end": 699,
"name": "JUMPDEST"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "40"
},
{
"begin": 677,
"end": 699,
"name": "MLOAD"
},
{
"begin": 677,
"end": 699,
"name": "DUP1"
},
{
"begin": 677,
"end": 699,
"name": "DUP3"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 677,
"end": 699,
"name": "AND"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 677,
"end": 699,
"name": "AND"
},
{
"begin": 677,
"end": 699,
"name": "DUP2"
},
{
"begin": 677,
"end": 699,
"name": "MSTORE"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "20"
},
{
"begin": 677,
"end": 699,
"name": "ADD"
},
{
"begin": 677,
"end": 699,
"name": "SWAP2"
},
{
"begin": 677,
"end": 699,
"name": "POP"
},
{
"begin": 677,
"end": 699,
"name": "POP"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "40"
},
{
"begin": 677,
"end": 699,
"name": "MLOAD"
},
{
"begin": 677,
"end": 699,
"name": "DUP1"
},
{
"begin": 677,
"end": 699,
"name": "SWAP2"
},
{
"begin": 677,
"end": 699,
"name": "SUB"
},
{
"begin": 677,
"end": 699,
"name": "SWAP1"
},
{
"begin": 677,
"end": 699,
"name": "RETURN"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "5"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "23"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "23"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "24"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "4"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "CALLDATASIZE"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "25"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "25"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "CALLDATALOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "SWAP3"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "26"
},
{
"begin": 645,
"end": 670,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "24"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "40"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP7"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP6"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP5"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "DUP8"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 23,
"end": 24,
"name": "PUSH",
"value": "0"
},
{
"begin": 8,
"end": 108,
"name": "tag",
"value": "27"
},
{
"begin": 8,
"end": 108,
"name": "JUMPDEST"
},
{
"begin": 33,
"end": 36,
"name": "DUP4"
},
{
"begin": 30,
"end": 31,
"name": "DUP2"
},
{
"begin": 27,
"end": 37,
"name": "LT"
},
{
"begin": 8,
"end": 108,
"name": "ISZERO"
},
{
"begin": 8,
"end": 108,
"name": "PUSH [tag]",
"value": "29"
},
{
"begin": 8,
"end": 108,
"name": "JUMPI"
},
{
"begin": 99,
"end": 100,
"name": "DUP1"
},
{
"begin": 94,
"end": 97,
"name": "DUP3"
},
{
"begin": 90,
"end": 101,
"name": "ADD"
},
{
"begin": 84,
"end": 102,
"name": "MLOAD"
},
{
"begin": 80,
"end": 81,
"name": "DUP2"
},
{
"begin": 75,
"end": 78,
"name": "DUP5"
},
{
"begin": 71,
"end": 82,
"name": "ADD"
},
{
"begin": 64,
"end": 103,
"name": "MSTORE"
},
{
"begin": 52,
"end": 54,
"name": "PUSH",
"value": "20"
},
{
"begin": 49,
"end": 50,
"name": "DUP2"
},
{
"begin": 45,
"end": 55,
"name": "ADD"
},
{
"begin": 40,
"end": 55,
"name": "SWAP1"
},
{
"begin": 40,
"end": 55,
"name": "POP"
},
{
"begin": 8,
"end": 108,
"name": "PUSH [tag]",
"value": "27"
},
{
"begin": 8,
"end": 108,
"name": "JUMP"
},
{
"begin": 8,
"end": 108,
"name": "tag",
"value": "29"
},
{
"begin": 8,
"end": 108,
"name": "JUMPDEST"
},
{
"begin": 12,
"end": 26,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1F"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "30"
},
{
"begin": 645,
"end": 670,
"name": "JUMPI"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "EXP"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "NOT"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "30"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP7"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "40"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "RETURN"
},
{
"begin": 792,
"end": 818,
"name": "tag",
"value": "6"
},
{
"begin": 792,
"end": 818,
"name": "JUMPDEST"
},
{
"begin": 792,
"end": 818,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "31"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "31"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 792,
"end": 818,
"name": "POP"
},
{
"begin": 792,
"end": 818,
"name": "PUSH [tag]",
"value": "32"
},
{
"begin": 792,
"end": 818,
"name": "PUSH [tag]",
"value": "33"
},
{
"begin": 792,
"end": 818,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 792,
"end": 818,
"name": "tag",
"value": "32"
},
{
"begin": 792,
"end": 818,
"name": "JUMPDEST"
},
{
"begin": 792,
"end": 818,
"name": "PUSH",
"value": "40"
},
{
"begin": 792,
"end": 818,
"name": "MLOAD"
},
{
"begin": 792,
"end": 818,
"name": "DUP1"
},
{
"begin": 792,
"end": 818,
"name": "DUP3"
},
{
"begin": 792,
"end": 818,
"name": "DUP2"
},
{
"begin": 792,
"end": 818,
"name": "MSTORE"
},
{
"begin": 792,
"end": 818,
"name": "PUSH",
"value": "20"
},
{
"begin": 792,
"end": 818,
"name": "ADD"
},
{
"begin": 792,
"end": 818,
"name": "SWAP2"
},
{
"begin": 792,
"end": 818,
"name": "POP"
},
{
"begin": 792,
"end": 818,
"name": "POP"
},
{
"begin": 792,
"end": 818,
"name": "PUSH",
"value": "40"
},
{
"begin": 792,
"end": 818,
"name": "MLOAD"
},
{
"begin": 792,
"end": 818,
"name": "DUP1"
},
{
"begin": 792,
"end": 818,
"name": "SWAP2"
},
{
"begin": 792,
"end": 818,
"name": "SUB"
},
{
"begin": 792,
"end": 818,
"name": "SWAP1"
},
{
"begin": 792,
"end": 818,
"name": "RETURN"
},
{
"begin": 1235,
"end": 1616,
"name": "tag",
"value": "7"
},
{
"begin": 1235,
"end": 1616,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "34"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "34"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH [tag]",
"value": "35"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "4"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLDATASIZE"
},
{
"begin": 1235,
"end": 1616,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "60"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "36"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "36"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP2"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLDATALOAD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 21,
"end": 32,
"name": "PUSH",
"value": "100000000"
},
{
"begin": 8,
"end": 19,
"name": "DUP2"
},
{
"begin": 5,
"end": 33,
"name": "GT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "37"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 46,
"end": 47,
"name": "PUSH",
"value": "0"
},
{
"begin": 43,
"end": 44,
"name": "DUP1"
},
{
"begin": 36,
"end": 48,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "37"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP3"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 35,
"end": 44,
"name": "DUP4"
},
{
"begin": 28,
"end": 32,
"name": "PUSH",
"value": "20"
},
{
"begin": 12,
"end": 26,
"name": "DUP3"
},
{
"begin": 8,
"end": 33,
"name": "ADD"
},
{
"begin": 5,
"end": 45,
"name": "GT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "38"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 58,
"end": 59,
"name": "PUSH",
"value": "0"
},
{
"begin": 55,
"end": 56,
"name": "DUP1"
},
{
"begin": 48,
"end": 60,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "38"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLDATALOAD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 100,
"end": 109,
"name": "DUP5"
},
{
"begin": 95,
"end": 96,
"name": "PUSH",
"value": "1"
},
{
"begin": 81,
"end": 93,
"name": "DUP4"
},
{
"begin": 77,
"end": 97,
"name": "MUL"
},
{
"begin": 67,
"end": 75,
"name": "DUP5"
},
{
"begin": 63,
"end": 98,
"name": "ADD"
},
{
"begin": 60,
"end": 110,
"name": "GT"
},
{
"begin": 39,
"end": 50,
"name": "PUSH",
"value": "100000000"
},
{
"begin": 25,
"end": 37,
"name": "DUP4"
},
{
"begin": 22,
"end": 51,
"name": "GT"
},
{
"begin": 11,
"end": 118,
"name": "OR"
},
{
"begin": 8,
"end": 10,
"name": "ISZERO"
},
{
"begin": 8,
"end": 10,
"name": "PUSH [tag]",
"value": "39"
},
{
"begin": 8,
"end": 10,
"name": "JUMPI"
},
{
"begin": 131,
"end": 132,
"name": "PUSH",
"value": "0"
},
{
"begin": 128,
"end": 129,
"name": "DUP1"
},
{
"begin": 121,
"end": 133,
"name": "REVERT"
},
{
"begin": 8,
"end": 10,
"name": "tag",
"value": "39"
},
{
"begin": 8,
"end": 10,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "1F"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "DIV"
},
{
"begin": 1235,
"end": 1616,
"name": "MUL"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "40"
},
{
"begin": 1235,
"end": 1616,
"name": "MLOAD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP2"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "40"
},
{
"begin": 1235,
"end": 1616,
"name": "MSTORE"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP4"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP3"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP2"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP2"
},
{
"begin": 1235,
"end": 1616,
"name": "MSTORE"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP4"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP4"
},
{
"begin": 30,
"end": 33,
"name": "DUP1"
},
{
"begin": 22,
"end": 28,
"name": "DUP3"
},
{
"begin": 14,
"end": 20,
"name": "DUP5"
},
{
"begin": 1,
"end": 34,
"name": "CALLDATACOPY"
},
{
"begin": 99,
"end": 100,
"name": "PUSH",
"value": "0"
},
{
"begin": 93,
"end": 96,
"name": "DUP2"
},
{
"begin": 85,
"end": 91,
"name": "DUP5"
},
{
"begin": 81,
"end": 97,
"name": "ADD"
},
{
"begin": 74,
"end": 101,
"name": "MSTORE"
},
{
"begin": 137,
"end": 141,
"name": "PUSH",
"value": "1F"
},
{
"begin": 133,
"end": 142,
"name": "NOT"
},
{
"begin": 126,
"end": 130,
"name": "PUSH",
"value": "1F"
},
{
"begin": 121,
"end": 124,
"name": "DUP3"
},
{
"begin": 117,
"end": 131,
"name": "ADD"
},
{
"begin": 113,
"end": 143,
"name": "AND"
},
{
"begin": 106,
"end": 143,
"name": "SWAP1"
},
{
"begin": 106,
"end": 143,
"name": "POP"
},
{
"begin": 169,
"end": 172,
"name": "DUP1"
},
{
"begin": 161,
"end": 167,
"name": "DUP4"
},
{
"begin": 157,
"end": 173,
"name": "ADD"
},
{
"begin": 147,
"end": 173,
"name": "SWAP3"
},
{
"begin": 147,
"end": 173,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP3"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP3"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLDATALOAD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP3"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "DUP1"
},
{
"begin": 1235,
"end": 1616,
"name": "CALLDATALOAD"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1235,
"end": 1616,
"name": "AND"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH",
"value": "20"
},
{
"begin": 1235,
"end": 1616,
"name": "ADD"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP3"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP2"
},
{
"begin": 1235,
"end": 1616,
"name": "SWAP1"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "PUSH [tag]",
"value": "40"
},
{
"begin": 1235,
"end": 1616,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1235,
"end": 1616,
"name": "tag",
"value": "35"
},
{
"begin": 1235,
"end": 1616,
"name": "JUMPDEST"
},
{
"begin": 1235,
"end": 1616,
"name": "STOP"
},
{
"begin": 706,
"end": 737,
"name": "tag",
"value": "8"
},
{
"begin": 706,
"end": 737,
"name": "JUMPDEST"
},
{
"begin": 706,
"end": 737,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "41"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "41"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 706,
"end": 737,
"name": "POP"
},
{
"begin": 706,
"end": 737,
"name": "PUSH [tag]",
"value": "42"
},
{
"begin": 706,
"end": 737,
"name": "PUSH [tag]",
"value": "43"
},
{
"begin": 706,
"end": 737,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 706,
"end": 737,
"name": "tag",
"value": "42"
},
{
"begin": 706,
"end": 737,
"name": "JUMPDEST"
},
{
"begin": 706,
"end": 737,
"name": "PUSH",
"value": "40"
},
{
"begin": 706,
"end": 737,
"name": "MLOAD"
},
{
"begin": 706,
"end": 737,
"name": "DUP1"
},
{
"begin": 706,
"end": 737,
"name": "DUP3"
},
{
"begin": 706,
"end": 737,
"name": "DUP2"
},
{
"begin": 706,
"end": 737,
"name": "MSTORE"
},
{
"begin": 706,
"end": 737,
"name": "PUSH",
"value": "20"
},
{
"begin": 706,
"end": 737,
"name": "ADD"
},
{
"begin": 706,
"end": 737,
"name": "SWAP2"
},
{
"begin": 706,
"end": 737,
"name": "POP"
},
{
"begin": 706,
"end": 737,
"name": "POP"
},
{
"begin": 706,
"end": 737,
"name": "PUSH",
"value": "40"
},
{
"begin": 706,
"end": 737,
"name": "MLOAD"
},
{
"begin": 706,
"end": 737,
"name": "DUP1"
},
{
"begin": 706,
"end": 737,
"name": "SWAP2"
},
{
"begin": 706,
"end": 737,
"name": "SUB"
},
{
"begin": 706,
"end": 737,
"name": "SWAP1"
},
{
"begin": 706,
"end": 737,
"name": "RETURN"
},
{
"begin": 1057,
"end": 1229,
"name": "tag",
"value": "9"
},
{
"begin": 1057,
"end": 1229,
"name": "JUMPDEST"
},
{
"begin": 1057,
"end": 1229,
"name": "PUSH [tag]",
"value": "44"
},
{
"begin": 1057,
"end": 1229,
"name": "PUSH [tag]",
"value": "45"
},
{
"begin": 1057,
"end": 1229,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1057,
"end": 1229,
"name": "tag",
"value": "44"
},
{
"begin": 1057,
"end": 1229,
"name": "JUMPDEST"
},
{
"begin": 1057,
"end": 1229,
"name": "STOP"
},
{
"begin": 1622,
"end": 1907,
"name": "tag",
"value": "10"
},
{
"begin": 1622,
"end": 1907,
"name": "JUMPDEST"
},
{
"begin": 1622,
"end": 1907,
"name": "CALLVALUE"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "46"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 30,
"end": 31,
"name": "PUSH",
"value": "0"
},
{
"begin": 27,
"end": 28,
"name": "DUP1"
},
{
"begin": 20,
"end": 32,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "46"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "PUSH [tag]",
"value": "47"
},
{
"begin": 1622,
"end": 1907,
"name": "PUSH",
"value": "4"
},
{
"begin": 1622,
"end": 1907,
"name": "DUP1"
},
{
"begin": 1622,
"end": 1907,
"name": "CALLDATASIZE"
},
{
"begin": 1622,
"end": 1907,
"name": "SUB"
},
{
"begin": 13,
"end": 15,
"name": "PUSH",
"value": "20"
},
{
"begin": 8,
"end": 11,
"name": "DUP2"
},
{
"begin": 5,
"end": 16,
"name": "LT"
},
{
"begin": 2,
"end": 4,
"name": "ISZERO"
},
{
"begin": 2,
"end": 4,
"name": "PUSH [tag]",
"value": "48"
},
{
"begin": 2,
"end": 4,
"name": "JUMPI"
},
{
"begin": 29,
"end": 30,
"name": "PUSH",
"value": "0"
},
{
"begin": 26,
"end": 27,
"name": "DUP1"
},
{
"begin": 19,
"end": 31,
"name": "REVERT"
},
{
"begin": 2,
"end": 4,
"name": "tag",
"value": "48"
},
{
"begin": 2,
"end": 4,
"name": "JUMPDEST"
},
{
"begin": 1622,
"end": 1907,
"name": "DUP2"
},
{
"begin": 1622,
"end": 1907,
"name": "ADD"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP1"
},
{
"begin": 1622,
"end": 1907,
"name": "DUP1"
},
{
"begin": 1622,
"end": 1907,
"name": "DUP1"
},
{
"begin": 1622,
"end": 1907,
"name": "CALLDATALOAD"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP1"
},
{
"begin": 1622,
"end": 1907,
"name": "PUSH",
"value": "20"
},
{
"begin": 1622,
"end": 1907,
"name": "ADD"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP1"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP3"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP2"
},
{
"begin": 1622,
"end": 1907,
"name": "SWAP1"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "PUSH [tag]",
"value": "49"
},
{
"begin": 1622,
"end": 1907,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1622,
"end": 1907,
"name": "tag",
"value": "47"
},
{
"begin": 1622,
"end": 1907,
"name": "JUMPDEST"
},
{
"begin": 1622,
"end": 1907,
"name": "STOP"
},
{
"begin": 1913,
"end": 2294,
"name": "tag",
"value": "15"
},
{
"begin": 1913,
"end": 2294,
"name": "JUMPDEST"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "1"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "0"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "SLOAD"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "100"
},
{
"begin": 885,
"end": 892,
"name": "EXP"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "DIV"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 885,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 871,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 881,
"name": "CALLER"
},
{
"begin": 871,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 871,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 892,
"name": "EQ"
},
{
"begin": 863,
"end": 893,
"name": "PUSH [tag]",
"value": "51"
},
{
"begin": 863,
"end": 893,
"name": "JUMPI"
},
{
"begin": 863,
"end": 893,
"name": "PUSH",
"value": "0"
},
{
"begin": 863,
"end": 893,
"name": "DUP1"
},
{
"begin": 863,
"end": 893,
"name": "REVERT"
},
{
"begin": 863,
"end": 893,
"name": "tag",
"value": "51"
},
{
"begin": 863,
"end": 893,
"name": "JUMPDEST"
},
{
"begin": 1979,
"end": 2002,
"name": "PUSH",
"value": "0"
},
{
"begin": 2005,
"end": 2013,
"name": "DUP1"
},
{
"begin": 2014,
"end": 2019,
"name": "DUP3"
},
{
"begin": 2005,
"end": 2020,
"name": "DUP2"
},
{
"begin": 2005,
"end": 2020,
"name": "SLOAD"
},
{
"begin": 2005,
"end": 2020,
"name": "DUP2"
},
{
"begin": 2005,
"end": 2020,
"name": "LT"
},
{
"begin": 2005,
"end": 2020,
"name": "PUSH [tag]",
"value": "53"
},
{
"begin": 2005,
"end": 2020,
"name": "JUMPI"
},
{
"begin": 2005,
"end": 2020,
"name": "INVALID"
},
{
"begin": 2005,
"end": 2020,
"name": "tag",
"value": "53"
},
{
"begin": 2005,
"end": 2020,
"name": "JUMPDEST"
},
{
"begin": 2005,
"end": 2020,
"name": "SWAP1"
},
{
"begin": 2005,
"end": 2020,
"name": "PUSH",
"value": "0"
},
{
"begin": 2005,
"end": 2020,
"name": "MSTORE"
},
{
"begin": 2005,
"end": 2020,
"name": "PUSH",
"value": "20"
},
{
"begin": 2005,
"end": 2020,
"name": "PUSH",
"value": "0"
},
{
"begin": 2005,
"end": 2020,
"name": "KECCAK256"
},
{
"begin": 2005,
"end": 2020,
"name": "SWAP1"
},
{
"begin": 2005,
"end": 2020,
"name": "PUSH",
"value": "5"
},
{
"begin": 2005,
"end": 2020,
"name": "MUL"
},
{
"begin": 2005,
"end": 2020,
"name": "ADD"
},
{
"begin": 1979,
"end": 2020,
"name": "SWAP1"
},
{
"begin": 1979,
"end": 2020,
"name": "POP"
},
{
"begin": 2081,
"end": 2082,
"name": "PUSH",
"value": "2"
},
{
"begin": 2064,
"end": 2078,
"name": "PUSH",
"value": "4"
},
{
"begin": 2064,
"end": 2078,
"name": "SLOAD"
},
{
"begin": 2064,
"end": 2082,
"name": "DUP2"
},
{
"begin": 2064,
"end": 2082,
"name": "PUSH [tag]",
"value": "55"
},
{
"begin": 2064,
"end": 2082,
"name": "JUMPI"
},
{
"begin": 2064,
"end": 2082,
"name": "INVALID"
},
{
"begin": 2064,
"end": 2082,
"name": "tag",
"value": "55"
},
{
"begin": 2064,
"end": 2082,
"name": "JUMPDEST"
},
{
"begin": 2064,
"end": 2082,
"name": "DIV"
},
{
"begin": 2039,
"end": 2046,
"name": "DUP2"
},
{
"begin": 2039,
"end": 2060,
"name": "PUSH",
"value": "3"
},
{
"begin": 2039,
"end": 2060,
"name": "ADD"
},
{
"begin": 2039,
"end": 2060,
"name": "SLOAD"
},
{
"begin": 2039,
"end": 2083,
"name": "GT"
},
{
"begin": 2031,
"end": 2084,
"name": "PUSH [tag]",
"value": "56"
},
{
"begin": 2031,
"end": 2084,
"name": "JUMPI"
},
{
"begin": 2031,
"end": 2084,
"name": "PUSH",
"value": "0"
},
{
"begin": 2031,
"end": 2084,
"name": "DUP1"
},
{
"begin": 2031,
"end": 2084,
"name": "REVERT"
},
{
"begin": 2031,
"end": 2084,
"name": "tag",
"value": "56"
},
{
"begin": 2031,
"end": 2084,
"name": "JUMPDEST"
},
{
"begin": 2114,
"end": 2121,
"name": "DUP1"
},
{
"begin": 2114,
"end": 2130,
"name": "PUSH",
"value": "2"
},
{
"begin": 2114,
"end": 2130,
"name": "ADD"
},
{
"begin": 2114,
"end": 2130,
"name": "PUSH",
"value": "14"
},
{
"begin": 2114,
"end": 2130,
"name": "SWAP1"
},
{
"begin": 2114,
"end": 2130,
"name": "SLOAD"
},
{
"begin": 2114,
"end": 2130,
"name": "SWAP1"
},
{
"begin": 2114,
"end": 2130,
"name": "PUSH",
"value": "100"
},
{
"begin": 2114,
"end": 2130,
"name": "EXP"
},
{
"begin": 2114,
"end": 2130,
"name": "SWAP1"
},
{
"begin": 2114,
"end": 2130,
"name": "DIV"
},
{
"begin": 2114,
"end": 2130,
"name": "PUSH",
"value": "FF"
},
{
"begin": 2114,
"end": 2130,
"name": "AND"
},
{
"begin": 2113,
"end": 2130,
"name": "ISZERO"
},
{
"begin": 2105,
"end": 2131,
"name": "PUSH [tag]",
"value": "57"
},
{
"begin": 2105,
"end": 2131,
"name": "JUMPI"
},
{
"begin": 2105,
"end": 2131,
"name": "PUSH",
"value": "0"
},
{
"begin": 2105,
"end": 2131,
"name": "DUP1"
},
{
"begin": 2105,
"end": 2131,
"name": "REVERT"
},
{
"begin": 2105,
"end": 2131,
"name": "tag",
"value": "57"
},
{
"begin": 2105,
"end": 2131,
"name": "JUMPDEST"
},
{
"begin": 2142,
"end": 2164,
"name": "PUSH",
"value": "0"
},
{
"begin": 2191,
"end": 2198,
"name": "DUP2"
},
{
"begin": 2191,
"end": 2208,
"name": "PUSH",
"value": "2"
},
{
"begin": 2191,
"end": 2208,
"name": "ADD"
},
{
"begin": 2191,
"end": 2208,
"name": "PUSH",
"value": "0"
},
{
"begin": 2191,
"end": 2208,
"name": "SWAP1"
},
{
"begin": 2191,
"end": 2208,
"name": "SLOAD"
},
{
"begin": 2191,
"end": 2208,
"name": "SWAP1"
},
{
"begin": 2191,
"end": 2208,
"name": "PUSH",
"value": "100"
},
{
"begin": 2191,
"end": 2208,
"name": "EXP"
},
{
"begin": 2191,
"end": 2208,
"name": "SWAP1"
},
{
"begin": 2191,
"end": 2208,
"name": "DIV"
},
{
"begin": 2191,
"end": 2208,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 2191,
"end": 2208,
"name": "AND"
},
{
"begin": 2142,
"end": 2211,
"name": "SWAP1"
},
{
"begin": 2142,
"end": 2211,
"name": "POP"
},
{
"begin": 2222,
"end": 2228,
"name": "DUP1"
},
{
"begin": 2222,
"end": 2237,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 2222,
"end": 2237,
"name": "AND"
},
{
"begin": 2222,
"end": 2252,
"name": "PUSH",
"value": "8FC"
},
{
"begin": 2238,
"end": 2245,
"name": "DUP4"
},
{
"begin": 2238,
"end": 2251,
"name": "PUSH",
"value": "1"
},
{
"begin": 2238,
"end": 2251,
"name": "ADD"
},
{
"begin": 2238,
"end": 2251,
"name": "SLOAD"
},
{
"begin": 2222,
"end": 2252,
"name": "SWAP1"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP2"
},
{
"begin": 2222,
"end": 2252,
"name": "ISZERO"
},
{
"begin": 2222,
"end": 2252,
"name": "MUL"
},
{
"begin": 2222,
"end": 2252,
"name": "SWAP1"
},
{
"begin": 2222,
"end": 2252,
"name": "PUSH",
"value": "40"
},
{
"begin": 2222,
"end": 2252,
"name": "MLOAD"
},
{
"begin": 2222,
"end": 2252,
"name": "PUSH",
"value": "0"
},
{
"begin": 2222,
"end": 2252,
"name": "PUSH",
"value": "40"
},
{
"begin": 2222,
"end": 2252,
"name": "MLOAD"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP1"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP4"
},
{
"begin": 2222,
"end": 2252,
"name": "SUB"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP2"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP6"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP9"
},
{
"begin": 2222,
"end": 2252,
"name": "DUP9"
},
{
"begin": 2222,
"end": 2252,
"name": "CALL"
},
{
"begin": 2222,
"end": 2252,
"name": "SWAP4"
},
{
"begin": 2222,
"end": 2252,
"name": "POP"
},
{
"begin": 2222,
"end": 2252,
"name": "POP"
},
{
"begin": 2222,
"end": 2252,
"name": "POP"
},
{
"begin": 2222,
"end": 2252,
"name": "POP"
},
{
"begin": 2222,
"end": 2252,
"name": "ISZERO"
},
{
"begin": 8,
"end": 17,
"name": "DUP1"
},
{
"begin": 5,
"end": 7,
"name": "ISZERO"
},
{
"begin": 5,
"end": 7,
"name": "PUSH [tag]",
"value": "58"
},
{
"begin": 5,
"end": 7,
"name": "JUMPI"
},
{
"begin": 45,
"end": 61,
"name": "RETURNDATASIZE"
},
{
"begin": 42,
"end": 43,
"name": "PUSH",
"value": "0"
},
{
"begin": 39,
"end": 40,
"name": "DUP1"
},
{
"begin": 24,
"end": 62,
"name": "RETURNDATACOPY"
},
{
"begin": 77,
"end": 93,
"name": "RETURNDATASIZE"
},
{
"begin": 74,
"end": 75,
"name": "PUSH",
"value": "0"
},
{
"begin": 67,
"end": 94,
"name": "REVERT"
},
{
"begin": 5,
"end": 7,
"name": "tag",
"value": "58"
},
{
"begin": 5,
"end": 7,
"name": "JUMPDEST"
},
{
"begin": 2222,
"end": 2252,
"name": "POP"
},
{
"begin": 2282,
"end": 2286,
"name": "PUSH",
"value": "1"
},
{
"begin": 2263,
"end": 2270,
"name": "DUP3"
},
{
"begin": 2263,
"end": 2279,
"name": "PUSH",
"value": "2"
},
{
"begin": 2263,
"end": 2279,
"name": "ADD"
},
{
"begin": 2263,
"end": 2279,
"name": "PUSH",
"value": "14"
},
{
"begin": 2263,
"end": 2286,
"name": "PUSH",
"value": "100"
},
{
"begin": 2263,
"end": 2286,
"name": "EXP"
},
{
"begin": 2263,
"end": 2286,
"name": "DUP2"
},
{
"begin": 2263,
"end": 2286,
"name": "SLOAD"
},
{
"begin": 2263,
"end": 2286,
"name": "DUP2"
},
{
"begin": 2263,
"end": 2286,
"name": "PUSH",
"value": "FF"
},
{
"begin": 2263,
"end": 2286,
"name": "MUL"
},
{
"begin": 2263,
"end": 2286,
"name": "NOT"
},
{
"begin": 2263,
"end": 2286,
"name": "AND"
},
{
"begin": 2263,
"end": 2286,
"name": "SWAP1"
},
{
"begin": 2263,
"end": 2286,
"name": "DUP4"
},
{
"begin": 2263,
"end": 2286,
"name": "ISZERO"
},
{
"begin": 2263,
"end": 2286,
"name": "ISZERO"
},
{
"begin": 2263,
"end": 2286,
"name": "MUL"
},
{
"begin": 2263,
"end": 2286,
"name": "OR"
},
{
"begin": 2263,
"end": 2286,
"name": "SWAP1"
},
{
"begin": 2263,
"end": 2286,
"name": "SSTORE"
},
{
"begin": 2263,
"end": 2286,
"name": "POP"
},
{
"begin": 904,
"end": 905,
"name": "POP"
},
{
"begin": 904,
"end": 905,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "POP"
},
{
"begin": 1913,
"end": 2294,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 744,
"end": 785,
"name": "tag",
"value": "19"
},
{
"begin": 744,
"end": 785,
"name": "JUMPDEST"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "3"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "20"
},
{
"begin": 744,
"end": 785,
"name": "MSTORE"
},
{
"begin": 744,
"end": 785,
"name": "DUP1"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "0"
},
{
"begin": 744,
"end": 785,
"name": "MSTORE"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "40"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "0"
},
{
"begin": 744,
"end": 785,
"name": "KECCAK256"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "0"
},
{
"begin": 744,
"end": 785,
"name": "SWAP2"
},
{
"begin": 744,
"end": 785,
"name": "POP"
},
{
"begin": 744,
"end": 785,
"name": "SLOAD"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "100"
},
{
"begin": 744,
"end": 785,
"name": "EXP"
},
{
"begin": 744,
"end": 785,
"name": "SWAP1"
},
{
"begin": 744,
"end": 785,
"name": "DIV"
},
{
"begin": 744,
"end": 785,
"name": "PUSH",
"value": "FF"
},
{
"begin": 744,
"end": 785,
"name": "AND"
},
{
"begin": 744,
"end": 785,
"name": "DUP2"
},
{
"begin": 744,
"end": 785,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 677,
"end": 699,
"name": "tag",
"value": "22"
},
{
"begin": 677,
"end": 699,
"name": "JUMPDEST"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "1"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "0"
},
{
"begin": 677,
"end": 699,
"name": "SWAP1"
},
{
"begin": 677,
"end": 699,
"name": "SLOAD"
},
{
"begin": 677,
"end": 699,
"name": "SWAP1"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "100"
},
{
"begin": 677,
"end": 699,
"name": "EXP"
},
{
"begin": 677,
"end": 699,
"name": "SWAP1"
},
{
"begin": 677,
"end": 699,
"name": "DIV"
},
{
"begin": 677,
"end": 699,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 677,
"end": 699,
"name": "AND"
},
{
"begin": 677,
"end": 699,
"name": "DUP2"
},
{
"begin": 677,
"end": 699,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "26"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "LT"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "59"
},
{
"begin": 645,
"end": 670,
"name": "JUMPI"
},
{
"begin": 645,
"end": 670,
"name": "INVALID"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "59"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "KECCAK256"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "5"
},
{
"begin": 645,
"end": 670,
"name": "MUL"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "MUL"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "2"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1F"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "MUL"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "40"
},
{
"begin": 645,
"end": 670,
"name": "MLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "40"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "SWAP3"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "MUL"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "2"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "ISZERO"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "61"
},
{
"begin": 645,
"end": 670,
"name": "JUMPI"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1F"
},
{
"begin": 645,
"end": 670,
"name": "LT"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "62"
},
{
"begin": 645,
"end": 670,
"name": "JUMPI"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "MUL"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "61"
},
{
"begin": 645,
"end": 670,
"name": "JUMP"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "62"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "KECCAK256"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "63"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "DUP2"
},
{
"begin": 645,
"end": 670,
"name": "MSTORE"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "20"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP4"
},
{
"begin": 645,
"end": 670,
"name": "GT"
},
{
"begin": 645,
"end": 670,
"name": "PUSH [tag]",
"value": "63"
},
{
"begin": 645,
"end": 670,
"name": "JUMPI"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "SUB"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1F"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "DUP3"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP2"
},
{
"begin": 645,
"end": 670,
"name": "tag",
"value": "61"
},
{
"begin": 645,
"end": 670,
"name": "JUMPDEST"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "1"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "2"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "0"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "EXP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "2"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "14"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "100"
},
{
"begin": 645,
"end": 670,
"name": "EXP"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DIV"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "FF"
},
{
"begin": 645,
"end": 670,
"name": "AND"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "DUP1"
},
{
"begin": 645,
"end": 670,
"name": "PUSH",
"value": "3"
},
{
"begin": 645,
"end": 670,
"name": "ADD"
},
{
"begin": 645,
"end": 670,
"name": "SLOAD"
},
{
"begin": 645,
"end": 670,
"name": "SWAP1"
},
{
"begin": 645,
"end": 670,
"name": "POP"
},
{
"begin": 645,
"end": 670,
"name": "DUP6"
},
{
"begin": 645,
"end": 670,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 792,
"end": 818,
"name": "tag",
"value": "33"
},
{
"begin": 792,
"end": 818,
"name": "JUMPDEST"
},
{
"begin": 792,
"end": 818,
"name": "PUSH",
"value": "4"
},
{
"begin": 792,
"end": 818,
"name": "SLOAD"
},
{
"begin": 792,
"end": 818,
"name": "DUP2"
},
{
"begin": 792,
"end": 818,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 1235,
"end": 1616,
"name": "tag",
"value": "40"
},
{
"begin": 1235,
"end": 1616,
"name": "JUMPDEST"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "1"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "0"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "SLOAD"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "100"
},
{
"begin": 885,
"end": 892,
"name": "EXP"
},
{
"begin": 885,
"end": 892,
"name": "SWAP1"
},
{
"begin": 885,
"end": 892,
"name": "DIV"
},
{
"begin": 885,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 885,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 871,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 881,
"name": "CALLER"
},
{
"begin": 871,
"end": 892,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 871,
"end": 892,
"name": "AND"
},
{
"begin": 871,
"end": 892,
"name": "EQ"
},
{
"begin": 863,
"end": 893,
"name": "PUSH [tag]",
"value": "65"
},
{
"begin": 863,
"end": 893,
"name": "JUMPI"
},
{
"begin": 863,
"end": 893,
"name": "PUSH",
"value": "0"
},
{
"begin": 863,
"end": 893,
"name": "DUP1"
},
{
"begin": 863,
"end": 893,
"name": "REVERT"
},
{
"begin": 863,
"end": 893,
"name": "tag",
"value": "65"
},
{
"begin": 863,
"end": 893,
"name": "JUMPDEST"
},
{
"begin": 1362,
"end": 1387,
"name": "PUSH [tag]",
"value": "67"
},
{
"begin": 1362,
"end": 1387,
"name": "PUSH [tag]",
"value": "68"
},
{
"begin": 1362,
"end": 1387,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1362,
"end": 1387,
"name": "tag",
"value": "67"
},
{
"begin": 1362,
"end": 1387,
"name": "JUMPDEST"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "40"
},
{
"begin": 1390,
"end": 1572,
"name": "MLOAD"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP1"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "A0"
},
{
"begin": 1390,
"end": 1572,
"name": "ADD"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "40"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP1"
},
{
"begin": 1426,
"end": 1437,
"name": "DUP6"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP2"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "20"
},
{
"begin": 1390,
"end": 1572,
"name": "ADD"
},
{
"begin": 1459,
"end": 1464,
"name": "DUP5"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP2"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "20"
},
{
"begin": 1390,
"end": 1572,
"name": "ADD"
},
{
"begin": 1490,
"end": 1499,
"name": "DUP4"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1390,
"end": 1572,
"name": "AND"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP2"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "20"
},
{
"begin": 1390,
"end": 1572,
"name": "ADD"
},
{
"begin": 1524,
"end": 1529,
"name": "PUSH",
"value": "0"
},
{
"begin": 1390,
"end": 1572,
"name": "ISZERO"
},
{
"begin": 1390,
"end": 1572,
"name": "ISZERO"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP2"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "PUSH",
"value": "20"
},
{
"begin": 1390,
"end": 1572,
"name": "ADD"
},
{
"begin": 1559,
"end": 1560,
"name": "PUSH",
"value": "0"
},
{
"begin": 1390,
"end": 1572,
"name": "DUP2"
},
{
"begin": 1390,
"end": 1572,
"name": "MSTORE"
},
{
"begin": 1390,
"end": 1572,
"name": "POP"
},
{
"begin": 1362,
"end": 1572,
"name": "SWAP1"
},
{
"begin": 1362,
"end": 1572,
"name": "POP"
},
{
"begin": 1583,
"end": 1591,
"name": "PUSH",
"value": "0"
},
{
"begin": 1597,
"end": 1607,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP1"
},
{
"begin": 39,
"end": 40,
"name": "PUSH",
"value": "1"
},
{
"begin": 33,
"end": 36,
"name": "DUP2"
},
{
"begin": 27,
"end": 37,
"name": "SLOAD"
},
{
"begin": 23,
"end": 41,
"name": "ADD"
},
{
"begin": 57,
"end": 67,
"name": "DUP1"
},
{
"begin": 52,
"end": 55,
"name": "DUP3"
},
{
"begin": 45,
"end": 68,
"name": "SSTORE"
},
{
"begin": 79,
"end": 89,
"name": "DUP1"
},
{
"begin": 72,
"end": 89,
"name": "SWAP2"
},
{
"begin": 72,
"end": 89,
"name": "POP"
},
{
"begin": 0,
"end": 93,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "1"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "SUB"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "MSTORE"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "20"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "KECCAK256"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "5"
},
{
"begin": 1583,
"end": 1608,
"name": "MUL"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP3"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP2"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP1"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "20"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH [tag]",
"value": "70"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP3"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH [tag]",
"value": "71"
},
{
"begin": 1583,
"end": 1608,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 1583,
"end": 1608,
"name": "tag",
"value": "70"
},
{
"begin": 1583,
"end": 1608,
"name": "JUMPDEST"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "20"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "1"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "SSTORE"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "40"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "2"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "0"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "100"
},
{
"begin": 1583,
"end": 1608,
"name": "EXP"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1583,
"end": 1608,
"name": "MUL"
},
{
"begin": 1583,
"end": 1608,
"name": "NOT"
},
{
"begin": 1583,
"end": 1608,
"name": "AND"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP4"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1583,
"end": 1608,
"name": "AND"
},
{
"begin": 1583,
"end": 1608,
"name": "MUL"
},
{
"begin": 1583,
"end": 1608,
"name": "OR"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "SSTORE"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "60"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "2"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "14"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "100"
},
{
"begin": 1583,
"end": 1608,
"name": "EXP"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "SLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "FF"
},
{
"begin": 1583,
"end": 1608,
"name": "MUL"
},
{
"begin": 1583,
"end": 1608,
"name": "NOT"
},
{
"begin": 1583,
"end": 1608,
"name": "AND"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP4"
},
{
"begin": 1583,
"end": 1608,
"name": "ISZERO"
},
{
"begin": 1583,
"end": 1608,
"name": "ISZERO"
},
{
"begin": 1583,
"end": 1608,
"name": "MUL"
},
{
"begin": 1583,
"end": 1608,
"name": "OR"
},
{
"begin": 1583,
"end": 1608,
"name": "SWAP1"
},
{
"begin": 1583,
"end": 1608,
"name": "SSTORE"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "80"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "MLOAD"
},
{
"begin": 1583,
"end": 1608,
"name": "DUP2"
},
{
"begin": 1583,
"end": 1608,
"name": "PUSH",
"value": "3"
},
{
"begin": 1583,
"end": 1608,
"name": "ADD"
},
{
"begin": 1583,
"end": 1608,
"name": "SSTORE"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 1583,
"end": 1608,
"name": "POP"
},
{
"begin": 904,
"end": 905,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "POP"
},
{
"begin": 1235,
"end": 1616,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 706,
"end": 737,
"name": "tag",
"value": "43"
},
{
"begin": 706,
"end": 737,
"name": "JUMPDEST"
},
{
"begin": 706,
"end": 737,
"name": "PUSH",
"value": "2"
},
{
"begin": 706,
"end": 737,
"name": "SLOAD"
},
{
"begin": 706,
"end": 737,
"name": "DUP2"
},
{
"begin": 706,
"end": 737,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 1057,
"end": 1229,
"name": "tag",
"value": "45"
},
{
"begin": 1057,
"end": 1229,
"name": "JUMPDEST"
},
{
"begin": 1125,
"end": 1144,
"name": "PUSH",
"value": "2"
},
{
"begin": 1125,
"end": 1144,
"name": "SLOAD"
},
{
"begin": 1113,
"end": 1122,
"name": "CALLVALUE"
},
{
"begin": 1113,
"end": 1144,
"name": "GT"
},
{
"begin": 1105,
"end": 1145,
"name": "PUSH [tag]",
"value": "73"
},
{
"begin": 1105,
"end": 1145,
"name": "JUMPI"
},
{
"begin": 1105,
"end": 1145,
"name": "PUSH",
"value": "0"
},
{
"begin": 1105,
"end": 1145,
"name": "DUP1"
},
{
"begin": 1105,
"end": 1145,
"name": "REVERT"
},
{
"begin": 1105,
"end": 1145,
"name": "tag",
"value": "73"
},
{
"begin": 1105,
"end": 1145,
"name": "JUMPDEST"
},
{
"begin": 1190,
"end": 1194,
"name": "PUSH",
"value": "1"
},
{
"begin": 1166,
"end": 1175,
"name": "PUSH",
"value": "3"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "0"
},
{
"begin": 1176,
"end": 1186,
"name": "CALLER"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1166,
"end": 1187,
"name": "AND"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1166,
"end": 1187,
"name": "AND"
},
{
"begin": 1166,
"end": 1187,
"name": "DUP2"
},
{
"begin": 1166,
"end": 1187,
"name": "MSTORE"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "20"
},
{
"begin": 1166,
"end": 1187,
"name": "ADD"
},
{
"begin": 1166,
"end": 1187,
"name": "SWAP1"
},
{
"begin": 1166,
"end": 1187,
"name": "DUP2"
},
{
"begin": 1166,
"end": 1187,
"name": "MSTORE"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "20"
},
{
"begin": 1166,
"end": 1187,
"name": "ADD"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "0"
},
{
"begin": 1166,
"end": 1187,
"name": "KECCAK256"
},
{
"begin": 1166,
"end": 1187,
"name": "PUSH",
"value": "0"
},
{
"begin": 1166,
"end": 1194,
"name": "PUSH",
"value": "100"
},
{
"begin": 1166,
"end": 1194,
"name": "EXP"
},
{
"begin": 1166,
"end": 1194,
"name": "DUP2"
},
{
"begin": 1166,
"end": 1194,
"name": "SLOAD"
},
{
"begin": 1166,
"end": 1194,
"name": "DUP2"
},
{
"begin": 1166,
"end": 1194,
"name": "PUSH",
"value": "FF"
},
{
"begin": 1166,
"end": 1194,
"name": "MUL"
},
{
"begin": 1166,
"end": 1194,
"name": "NOT"
},
{
"begin": 1166,
"end": 1194,
"name": "AND"
},
{
"begin": 1166,
"end": 1194,
"name": "SWAP1"
},
{
"begin": 1166,
"end": 1194,
"name": "DUP4"
},
{
"begin": 1166,
"end": 1194,
"name": "ISZERO"
},
{
"begin": 1166,
"end": 1194,
"name": "ISZERO"
},
{
"begin": 1166,
"end": 1194,
"name": "MUL"
},
{
"begin": 1166,
"end": 1194,
"name": "OR"
},
{
"begin": 1166,
"end": 1194,
"name": "SWAP1"
},
{
"begin": 1166,
"end": 1194,
"name": "SSTORE"
},
{
"begin": 1166,
"end": 1194,
"name": "POP"
},
{
"begin": 1205,
"end": 1219,
"name": "PUSH",
"value": "4"
},
{
"begin": 1205,
"end": 1219,
"name": "PUSH",
"value": "0"
},
{
"begin": 1205,
"end": 1221,
"name": "DUP2"
},
{
"begin": 1205,
"end": 1221,
"name": "SLOAD"
},
{
"begin": 1205,
"end": 1221,
"name": "DUP1"
},
{
"begin": 1205,
"end": 1221,
"name": "SWAP3"
},
{
"begin": 1205,
"end": 1221,
"name": "SWAP2"
},
{
"begin": 1205,
"end": 1221,
"name": "SWAP1"
},
{
"begin": 1205,
"end": 1221,
"name": "PUSH",
"value": "1"
},
{
"begin": 1205,
"end": 1221,
"name": "ADD"
},
{
"begin": 1205,
"end": 1221,
"name": "SWAP2"
},
{
"begin": 1205,
"end": 1221,
"name": "SWAP1"
},
{
"begin": 1205,
"end": 1221,
"name": "POP"
},
{
"begin": 1205,
"end": 1221,
"name": "SSTORE"
},
{
"begin": 1205,
"end": 1221,
"name": "POP"
},
{
"begin": 1057,
"end": 1229,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 1622,
"end": 1907,
"name": "tag",
"value": "49"
},
{
"begin": 1622,
"end": 1907,
"name": "JUMPDEST"
},
{
"begin": 1676,
"end": 1699,
"name": "PUSH",
"value": "0"
},
{
"begin": 1702,
"end": 1710,
"name": "DUP1"
},
{
"begin": 1711,
"end": 1716,
"name": "DUP3"
},
{
"begin": 1702,
"end": 1717,
"name": "DUP2"
},
{
"begin": 1702,
"end": 1717,
"name": "SLOAD"
},
{
"begin": 1702,
"end": 1717,
"name": "DUP2"
},
{
"begin": 1702,
"end": 1717,
"name": "LT"
},
{
"begin": 1702,
"end": 1717,
"name": "PUSH [tag]",
"value": "75"
},
{
"begin": 1702,
"end": 1717,
"name": "JUMPI"
},
{
"begin": 1702,
"end": 1717,
"name": "INVALID"
},
{
"begin": 1702,
"end": 1717,
"name": "tag",
"value": "75"
},
{
"begin": 1702,
"end": 1717,
"name": "JUMPDEST"
},
{
"begin": 1702,
"end": 1717,
"name": "SWAP1"
},
{
"begin": 1702,
"end": 1717,
"name": "PUSH",
"value": "0"
},
{
"begin": 1702,
"end": 1717,
"name": "MSTORE"
},
{
"begin": 1702,
"end": 1717,
"name": "PUSH",
"value": "20"
},
{
"begin": 1702,
"end": 1717,
"name": "PUSH",
"value": "0"
},
{
"begin": 1702,
"end": 1717,
"name": "KECCAK256"
},
{
"begin": 1702,
"end": 1717,
"name": "SWAP1"
},
{
"begin": 1702,
"end": 1717,
"name": "PUSH",
"value": "5"
},
{
"begin": 1702,
"end": 1717,
"name": "MUL"
},
{
"begin": 1702,
"end": 1717,
"name": "ADD"
},
{
"begin": 1676,
"end": 1717,
"name": "SWAP1"
},
{
"begin": 1676,
"end": 1717,
"name": "POP"
},
{
"begin": 1736,
"end": 1745,
"name": "PUSH",
"value": "3"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "0"
},
{
"begin": 1746,
"end": 1756,
"name": "CALLER"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1736,
"end": 1757,
"name": "AND"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1736,
"end": 1757,
"name": "AND"
},
{
"begin": 1736,
"end": 1757,
"name": "DUP2"
},
{
"begin": 1736,
"end": 1757,
"name": "MSTORE"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "20"
},
{
"begin": 1736,
"end": 1757,
"name": "ADD"
},
{
"begin": 1736,
"end": 1757,
"name": "SWAP1"
},
{
"begin": 1736,
"end": 1757,
"name": "DUP2"
},
{
"begin": 1736,
"end": 1757,
"name": "MSTORE"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "20"
},
{
"begin": 1736,
"end": 1757,
"name": "ADD"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "0"
},
{
"begin": 1736,
"end": 1757,
"name": "KECCAK256"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "0"
},
{
"begin": 1736,
"end": 1757,
"name": "SWAP1"
},
{
"begin": 1736,
"end": 1757,
"name": "SLOAD"
},
{
"begin": 1736,
"end": 1757,
"name": "SWAP1"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "100"
},
{
"begin": 1736,
"end": 1757,
"name": "EXP"
},
{
"begin": 1736,
"end": 1757,
"name": "SWAP1"
},
{
"begin": 1736,
"end": 1757,
"name": "DIV"
},
{
"begin": 1736,
"end": 1757,
"name": "PUSH",
"value": "FF"
},
{
"begin": 1736,
"end": 1757,
"name": "AND"
},
{
"begin": 1728,
"end": 1758,
"name": "PUSH [tag]",
"value": "77"
},
{
"begin": 1728,
"end": 1758,
"name": "JUMPI"
},
{
"begin": 1728,
"end": 1758,
"name": "PUSH",
"value": "0"
},
{
"begin": 1728,
"end": 1758,
"name": "DUP1"
},
{
"begin": 1728,
"end": 1758,
"name": "REVERT"
},
{
"begin": 1728,
"end": 1758,
"name": "tag",
"value": "77"
},
{
"begin": 1728,
"end": 1758,
"name": "JUMPDEST"
},
{
"begin": 1778,
"end": 1785,
"name": "DUP1"
},
{
"begin": 1778,
"end": 1795,
"name": "PUSH",
"value": "4"
},
{
"begin": 1778,
"end": 1795,
"name": "ADD"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "0"
},
{
"begin": 1796,
"end": 1806,
"name": "CALLER"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1778,
"end": 1807,
"name": "AND"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1778,
"end": 1807,
"name": "AND"
},
{
"begin": 1778,
"end": 1807,
"name": "DUP2"
},
{
"begin": 1778,
"end": 1807,
"name": "MSTORE"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "20"
},
{
"begin": 1778,
"end": 1807,
"name": "ADD"
},
{
"begin": 1778,
"end": 1807,
"name": "SWAP1"
},
{
"begin": 1778,
"end": 1807,
"name": "DUP2"
},
{
"begin": 1778,
"end": 1807,
"name": "MSTORE"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "20"
},
{
"begin": 1778,
"end": 1807,
"name": "ADD"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "0"
},
{
"begin": 1778,
"end": 1807,
"name": "KECCAK256"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "0"
},
{
"begin": 1778,
"end": 1807,
"name": "SWAP1"
},
{
"begin": 1778,
"end": 1807,
"name": "SLOAD"
},
{
"begin": 1778,
"end": 1807,
"name": "SWAP1"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "100"
},
{
"begin": 1778,
"end": 1807,
"name": "EXP"
},
{
"begin": 1778,
"end": 1807,
"name": "SWAP1"
},
{
"begin": 1778,
"end": 1807,
"name": "DIV"
},
{
"begin": 1778,
"end": 1807,
"name": "PUSH",
"value": "FF"
},
{
"begin": 1778,
"end": 1807,
"name": "AND"
},
{
"begin": 1777,
"end": 1807,
"name": "ISZERO"
},
{
"begin": 1769,
"end": 1808,
"name": "PUSH [tag]",
"value": "78"
},
{
"begin": 1769,
"end": 1808,
"name": "JUMPI"
},
{
"begin": 1769,
"end": 1808,
"name": "PUSH",
"value": "0"
},
{
"begin": 1769,
"end": 1808,
"name": "DUP1"
},
{
"begin": 1769,
"end": 1808,
"name": "REVERT"
},
{
"begin": 1769,
"end": 1808,
"name": "tag",
"value": "78"
},
{
"begin": 1769,
"end": 1808,
"name": "JUMPDEST"
},
{
"begin": 1861,
"end": 1865,
"name": "PUSH",
"value": "1"
},
{
"begin": 1829,
"end": 1836,
"name": "DUP2"
},
{
"begin": 1829,
"end": 1846,
"name": "PUSH",
"value": "4"
},
{
"begin": 1829,
"end": 1846,
"name": "ADD"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "0"
},
{
"begin": 1847,
"end": 1857,
"name": "CALLER"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1829,
"end": 1858,
"name": "AND"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 1829,
"end": 1858,
"name": "AND"
},
{
"begin": 1829,
"end": 1858,
"name": "DUP2"
},
{
"begin": 1829,
"end": 1858,
"name": "MSTORE"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "20"
},
{
"begin": 1829,
"end": 1858,
"name": "ADD"
},
{
"begin": 1829,
"end": 1858,
"name": "SWAP1"
},
{
"begin": 1829,
"end": 1858,
"name": "DUP2"
},
{
"begin": 1829,
"end": 1858,
"name": "MSTORE"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "20"
},
{
"begin": 1829,
"end": 1858,
"name": "ADD"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "0"
},
{
"begin": 1829,
"end": 1858,
"name": "KECCAK256"
},
{
"begin": 1829,
"end": 1858,
"name": "PUSH",
"value": "0"
},
{
"begin": 1829,
"end": 1865,
"name": "PUSH",
"value": "100"
},
{
"begin": 1829,
"end": 1865,
"name": "EXP"
},
{
"begin": 1829,
"end": 1865,
"name": "DUP2"
},
{
"begin": 1829,
"end": 1865,
"name": "SLOAD"
},
{
"begin": 1829,
"end": 1865,
"name": "DUP2"
},
{
"begin": 1829,
"end": 1865,
"name": "PUSH",
"value": "FF"
},
{
"begin": 1829,
"end": 1865,
"name": "MUL"
},
{
"begin": 1829,
"end": 1865,
"name": "NOT"
},
{
"begin": 1829,
"end": 1865,
"name": "AND"
},
{
"begin": 1829,
"end": 1865,
"name": "SWAP1"
},
{
"begin": 1829,
"end": 1865,
"name": "DUP4"
},
{
"begin": 1829,
"end": 1865,
"name": "ISZERO"
},
{
"begin": 1829,
"end": 1865,
"name": "ISZERO"
},
{
"begin": 1829,
"end": 1865,
"name": "MUL"
},
{
"begin": 1829,
"end": 1865,
"name": "OR"
},
{
"begin": 1829,
"end": 1865,
"name": "SWAP1"
},
{
"begin": 1829,
"end": 1865,
"name": "SSTORE"
},
{
"begin": 1829,
"end": 1865,
"name": "POP"
},
{
"begin": 1876,
"end": 1883,
"name": "DUP1"
},
{
"begin": 1876,
"end": 1897,
"name": "PUSH",
"value": "3"
},
{
"begin": 1876,
"end": 1897,
"name": "ADD"
},
{
"begin": 1876,
"end": 1897,
"name": "PUSH",
"value": "0"
},
{
"begin": 1876,
"end": 1899,
"name": "DUP2"
},
{
"begin": 1876,
"end": 1899,
"name": "SLOAD"
},
{
"begin": 1876,
"end": 1899,
"name": "DUP1"
},
{
"begin": 1876,
"end": 1899,
"name": "SWAP3"
},
{
"begin": 1876,
"end": 1899,
"name": "SWAP2"
},
{
"begin": 1876,
"end": 1899,
"name": "SWAP1"
},
{
"begin": 1876,
"end": 1899,
"name": "PUSH",
"value": "1"
},
{
"begin": 1876,
"end": 1899,
"name": "ADD"
},
{
"begin": 1876,
"end": 1899,
"name": "SWAP2"
},
{
"begin": 1876,
"end": 1899,
"name": "SWAP1"
},
{
"begin": 1876,
"end": 1899,
"name": "POP"
},
{
"begin": 1876,
"end": 1899,
"name": "SSTORE"
},
{
"begin": 1876,
"end": 1899,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "POP"
},
{
"begin": 1622,
"end": 1907,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "68"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "40"
},
{
"begin": 415,
"end": 2297,
"name": "MLOAD"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "A0"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "40"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "60"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"
},
{
"begin": 415,
"end": 2297,
"name": "AND"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "71"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "SLOAD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "AND"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "100"
},
{
"begin": 415,
"end": 2297,
"name": "MUL"
},
{
"begin": 415,
"end": 2297,
"name": "SUB"
},
{
"begin": 415,
"end": 2297,
"name": "AND"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "2"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "DIV"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "MSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "KECCAK256"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1F"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "DIV"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP3"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1F"
},
{
"begin": 415,
"end": 2297,
"name": "LT"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "80"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "MLOAD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "FF"
},
{
"begin": 415,
"end": 2297,
"name": "NOT"
},
{
"begin": 415,
"end": 2297,
"name": "AND"
},
{
"begin": 415,
"end": 2297,
"name": "DUP4"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "OR"
},
{
"begin": 415,
"end": 2297,
"name": "DUP6"
},
{
"begin": 415,
"end": 2297,
"name": "SSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "79"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "80"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "DUP6"
},
{
"begin": 415,
"end": 2297,
"name": "SSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "79"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP2"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "81"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "GT"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "82"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "MLOAD"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "SSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP2"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "20"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP2"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "81"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "82"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "79"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "83"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP2"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "84"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP",
"value": "[in]"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "83"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP",
"value": "[out]"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "84"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "85"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP2"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "86"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "DUP1"
},
{
"begin": 415,
"end": 2297,
"name": "DUP3"
},
{
"begin": 415,
"end": 2297,
"name": "GT"
},
{
"begin": 415,
"end": 2297,
"name": "ISZERO"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "87"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPI"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "DUP2"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "0"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "SSTORE"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH",
"value": "1"
},
{
"begin": 415,
"end": 2297,
"name": "ADD"
},
{
"begin": 415,
"end": 2297,
"name": "PUSH [tag]",
"value": "86"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "87"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "POP"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP"
},
{
"begin": 415,
"end": 2297,
"name": "tag",
"value": "85"
},
{
"begin": 415,
"end": 2297,
"name": "JUMPDEST"
},
{
"begin": 415,
"end": 2297,
"name": "SWAP1"
},
{
"begin": 415,
"end": 2297,
"name": "JUMP",
"value": "[out]"
}
]
}
}
},
"methodIdentifiers": {
"approveRequest(uint256)": "d7d1bbdb",
"approvers(address)": "0a144391",
"approversCount()": "82fde093",
"contribute()": "d7bb99ba",
"createRequest(string,uint256,address)": "8a9cfd55",
"finalizeRequest(uint256)": "03441006",
"manager()": "481c6a75",
"minimumContribution()": "937e09b1",
"requests(uint256)": "81d12c58"
}
},
"metadata": "{\"compiler\":{\"version\":\"0.5.6+commit.b259423e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":false,\"inputs\":[{\"name\":\"index\",\"type\":\"uint256\"}],\"name\":\"finalizeRequest\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"name\":\"\",\"type\":\"address\"}],\"name\":\"approvers\",\"outputs\":[{\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"manager\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"requests\",\"outputs\":[{\"name\":\"description\",\"type\":\"string\"},{\"name\":\"value\",\"type\":\"uint256\"},{\"name\":\"recipient\",\"type\":\"address\"},{\"name\":\"complete\",\"type\":\"bool\"},{\"name\":\"approvalCount\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"approversCount\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"description\",\"type\":\"string\"},{\"name\":\"value\",\"type\":\"uint256\"},{\"name\":\"recipient\",\"type\":\"address\"}],\"name\":\"createRequest\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"minimumContribution\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[],\"name\":\"contribute\",\"outputs\":[],\"payable\":true,\"stateMutability\":\"payable\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"index\",\"type\":\"uint256\"}],\"name\":\"approveRequest\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"name\":\"minimum\",\"type\":\"uint256\"},{\"name\":\"creator\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"}],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"Campaign.sol\":\"Campaign\"},\"evmVersion\":\"petersburg\",\"libraries\":{},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"Campaign.sol\":{\"keccak256\":\"0x4ca31cccd6b61cc4fc176069e54209b3f5688fa9d8d6c054b44ef165d1ad4be3\",\"urls\":[\"bzzr://f84feb62b4e2646fa9cc91ea84032f4d7b9c200d0071c89090a4bc08ad803838\"]}},\"version\":1}",
"userdoc": {
"methods": {}
}
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment