{ "id": "42831103df18238433a787da3cdad21d", "_format": "hh-sol-build-info-1", "solcVersion": "0.8.13", "solcLongVersion": "0.8.13+commit.abaa5c0e", "input": { "language": "Solidity", "sources": { "contracts/Structs.sol": { "content": "// SPDX-License-Identifier: MIT\npragma solidity ^0.8.13;\n\n/*\n Structs\n - Declaring structs\n - Initializing structs\n - get, set, delete\n*/\n\ncontract Structs {\n\n struct Car {\n string model;\n uint year;\n address owner;\n }\n\n Car public car;\n Car[] public cars;\n mapping(address => Car[]) public owners;\n\n function examples() external {\n Car memory car1 = Car(\"Toyota\", 2017, msg.sender);\n Car memory car2 = Car({model: \"Audi\", year: 2018, owner: msg.sender});\n Car memory car3;\n car3.model = \"Ford\";\n car3.year = 2015;\n car3.owner = msg.sender;\n \n cars.push(car1);\n cars.push(car2); \n cars.push(car3);\n\n cars.push(Car(\"Honda\", 2016, msg.sender));\n\n Car memory _car = cars[0]; // try storage\n _car.year = 2022;\n\n delete _car.owner;\n delete cars[1];\n } \n}" } }, "settings": { "optimizer": { "enabled": true, "runs": 200 }, "outputSelection": { "*": { "": [ "ast" ], "*": [ "abi", "metadata", "devdoc", "userdoc", "storageLayout", "evm.legacyAssembly", "evm.bytecode", "evm.deployedBytecode", "evm.methodIdentifiers", "evm.gasEstimates", "evm.assembly" ] } } } }, "output": { "contracts": { "contracts/Structs.sol": { "Structs": { "abi": [ { "inputs": [], "name": "car", "outputs": [ { "internalType": "string", "name": "model", "type": "string" }, { "internalType": "uint256", "name": "year", "type": "uint256" }, { "internalType": "address", "name": "owner", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "cars", "outputs": [ { "internalType": "string", "name": "model", "type": "string" }, { "internalType": "uint256", "name": "year", "type": "uint256" }, { "internalType": "address", "name": "owner", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "examples", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "", "type": "address" }, { "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "owners", "outputs": [ { "internalType": "string", "name": "model", "type": "string" }, { "internalType": "uint256", "name": "year", "type": "uint256" }, { "internalType": "address", "name": "owner", "type": "address" } ], "stateMutability": "view", "type": "function" } ], "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "evm": { "assembly": " /* \"contracts/Structs.sol\":151:915 contract Structs {... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n 0x00\n dup1\n revert\ntag_1:\n pop\n dataSize(sub_0)\n dup1\n dataOffset(sub_0)\n 0x00\n codecopy\n 0x00\n return\nstop\n\nsub_0: assembly {\n /* \"contracts/Structs.sol\":151:915 contract Structs {... */\n mstore(0x40, 0x80)\n callvalue\n dup1\n iszero\n tag_1\n jumpi\n 0x00\n dup1\n revert\n tag_1:\n pop\n jumpi(tag_2, lt(calldatasize, 0x04))\n shr(0xe0, calldataload(0x00))\n dup1\n 0x335d00c2\n eq\n tag_3\n jumpi\n dup1\n 0x9b3e2787\n eq\n tag_4\n jumpi\n dup1\n 0xee26fac3\n eq\n tag_5\n jumpi\n dup1\n 0xf7746e36\n eq\n tag_6\n jumpi\n tag_2:\n 0x00\n dup1\n revert\n /* \"contracts/Structs.sol\":352:912 function examples() external {... */\n tag_3:\n tag_7\n tag_8\n jump\t// in\n tag_7:\n stop\n /* \"contracts/Structs.sol\":306:345 mapping(address => Car[]) public owners */\n tag_4:\n tag_9\n tag_10\n calldatasize\n 0x04\n tag_11\n jump\t// in\n tag_10:\n tag_12\n jump\t// in\n tag_9:\n mload(0x40)\n tag_13\n swap4\n swap3\n swap2\n swap1\n tag_14\n jump\t// in\n tag_13:\n mload(0x40)\n dup1\n swap2\n sub\n swap1\n return\n /* \"contracts/Structs.sol\":263:277 Car public car */\n tag_5:\n tag_9\n tag_16\n jump\t// in\n /* \"contracts/Structs.sol\":283:300 Car[] public cars */\n tag_6:\n tag_9\n tag_19\n calldatasize\n 0x04\n tag_20\n jump\t// in\n tag_19:\n tag_21\n jump\t// in\n /* \"contracts/Structs.sol\":352:912 function examples() external {... */\n tag_8:\n /* \"contracts/Structs.sol\":409:440 Car(\"Toyota\", 2017, msg.sender) */\n 0x40\n dup1\n mload\n 0xa0\n dup1\n dup3\n add\n dup4\n mstore\n 0x06\n 0x60\n dup1\n dup5\n add\n swap2\n dup3\n mstore\n shl(0xd0, 0x546f796f7461)\n 0x80\n dup1\n dup7\n add\n swap2\n swap1\n swap2\n mstore\n swap2\n dup5\n mstore\n /* \"contracts/Structs.sol\":423:427 2017 */\n 0x07e1\n /* \"contracts/Structs.sol\":409:440 Car(\"Toyota\", 2017, msg.sender) */\n 0x20\n dup1\n dup7\n add\n swap2\n swap1\n swap2\n mstore\n /* \"contracts/Structs.sol\":429:439 msg.sender */\n caller\n /* \"contracts/Structs.sol\":409:440 Car(\"Toyota\", 2017, msg.sender) */\n dup6\n dup8\n add\n dup2\n swap1\n mstore\n /* \"contracts/Structs.sol\":468:519 Car({model: \"Audi\", year: 2018, owner: msg.sender}) */\n dup7\n mload\n swap5\n dup6\n add\n dup8\n mstore\n 0x04\n dup6\n dup5\n add\n dup2\n dup2\n mstore\n shl(0xe0, 0x41756469)\n swap6\n dup8\n add\n swap6\n swap1\n swap6\n mstore\n swap4\n dup6\n mstore\n /* \"contracts/Structs.sol\":494:498 2018 */\n 0x07e2\n /* \"contracts/Structs.sol\":468:519 Car({model: \"Audi\", year: 2018, owner: msg.sender}) */\n dup6\n dup4\n add\n mstore\n dup5\n dup8\n add\n dup2\n swap1\n mstore\n dup7\n mload\n dup1\n dup5\n add\n dup9\n mstore\n swap3\n dup4\n mstore\n 0x00\n dup4\n dup4\n add\n dup2\n dup2\n mstore\n dup5\n dup10\n add\n dup3\n dup2\n mstore\n /* \"contracts/Structs.sol\":554:573 car3.model = \"Ford\" */\n dup10\n mload\n dup1\n dup12\n add\n swap1\n swap11\n mstore\n swap6\n dup10\n mstore\n shl(0xe2, 0x119bdc99)\n dup10\n dup6\n add\n mstore\n swap8\n dup5\n mstore\n /* \"contracts/Structs.sol\":595:599 2015 */\n 0x07df\n /* \"contracts/Structs.sol\":583:599 car3.year = 2015 */\n swap1\n swap8\n mstore\n /* \"contracts/Structs.sol\":609:632 car3.owner = msg.sender */\n swap1\n swap3\n mstore\n /* \"contracts/Structs.sol\":651:655 cars */\n 0x03\n /* \"contracts/Structs.sol\":651:666 cars.push(car1) */\n dup1\n sload\n 0x01\n dup2\n add\n dup3\n sstore\n swap6\n dup2\n swap1\n mstore\n dup5\n mload\n dup1\n mload\n /* \"contracts/Structs.sol\":409:440 Car(\"Toyota\", 2017, msg.sender) */\n swap6\n swap7\n /* \"contracts/Structs.sol\":468:519 Car({model: \"Audi\", year: 2018, owner: msg.sender}) */\n swap5\n swap6\n swap3\n swap5\n /* \"contracts/Structs.sol\":409:440 Car(\"Toyota\", 2017, msg.sender) */\n dup8\n swap5\n /* \"contracts/Structs.sol\":651:666 cars.push(car1) */\n swap3\n mul\n 0x00\n dup1\n mload\n 0x20\n data_2584db4a68aa8b172f70bc04e2e74541617c003374de6eb4b295e823e5beab01\n dup4\n codecopy\n dup2\n mload\n swap2\n mstore\n add\n swap3\n tag_27\n swap3\n dup5\n swap3\n add\n swap1\n tag_28\n jump\t// in\n tag_27:\n pop\n 0x20\n dup3\n dup2\n add\n mload\n 0x01\n dup1\n dup5\n add\n swap2\n swap1\n swap2\n sstore\n 0x40\n swap1\n swap4\n add\n mload\n 0x02\n swap1\n swap3\n add\n dup1\n sload\n sub(shl(0xa0, 0x01), 0x01)\n swap1\n swap4\n and\n not(sub(shl(0xa0, 0x01), 0x01))\n swap1\n swap4\n and\n swap3\n swap1\n swap3\n or\n swap1\n swap2\n sstore\n /* \"contracts/Structs.sol\":676:680 cars */\n 0x03\n /* \"contracts/Structs.sol\":676:691 cars.push(car2) */\n dup1\n sload\n swap3\n dup4\n add\n dup2\n sstore\n /* \"contracts/Structs.sol\":651:666 cars.push(car1) */\n 0x00\n /* \"contracts/Structs.sol\":676:691 cars.push(car2) */\n dup2\n swap1\n mstore\n dup5\n mload\n dup1\n mload\n /* \"contracts/Structs.sol\":686:690 car2 */\n dup7\n swap5\n /* \"contracts/Structs.sol\":676:691 cars.push(car2) */\n swap1\n swap3\n mul\n 0x00\n dup1\n mload\n 0x20\n data_2584db4a68aa8b172f70bc04e2e74541617c003374de6eb4b295e823e5beab01\n dup4\n codecopy\n dup2\n mload\n swap2\n mstore\n add\n swap3\n tag_30\n swap3\n dup5\n swap3\n swap1\n swap2\n add\n swap1\n tag_28\n jump\t// in\n tag_30:\n pop\n 0x20\n dup3\n dup2\n add\n mload\n 0x01\n dup1\n dup5\n add\n swap2\n swap1\n swap2\n sstore\n 0x40\n swap1\n swap4\n add\n mload\n 0x02\n swap1\n swap3\n add\n dup1\n sload\n sub(shl(0xa0, 0x01), 0x01)\n swap1\n swap4\n and\n not(sub(shl(0xa0, 0x01), 0x01))\n swap1\n swap4\n and\n swap3\n swap1\n swap3\n or\n swap1\n swap2\n sstore\n /* \"contracts/Structs.sol\":709:713 cars */\n 0x03\n /* \"contracts/Structs.sol\":709:724 cars.push(car3) */\n dup1\n sload\n swap3\n dup4\n add\n dup2\n sstore\n /* \"contracts/Structs.sol\":676:691 cars.push(car2) */\n 0x00\n /* \"contracts/Structs.sol\":709:724 cars.push(car3) */\n dup2\n swap1\n mstore\n dup4\n mload\n dup1\n mload\n /* \"contracts/Structs.sol\":719:723 car3 */\n dup6\n swap5\n /* \"contracts/Structs.sol\":709:724 cars.push(car3) */\n swap1\n swap3\n mul\n 0x00\n dup1\n mload\n 0x20\n data_2584db4a68aa8b172f70bc04e2e74541617c003374de6eb4b295e823e5beab01\n dup4\n codecopy\n dup2\n mload\n swap2\n mstore\n add\n swap3\n tag_32\n swap3\n dup5\n swap3\n swap1\n swap2\n add\n swap1\n tag_28\n jump\t// in\n tag_32:\n pop\n 0x20\n dup3\n dup2\n add\n mload\n 0x01\n dup1\n dup5\n add\n swap2\n swap1\n swap2\n sstore\n 0x40\n swap4\n dup5\n add\n mload\n 0x02\n swap1\n swap4\n add\n dup1\n sload\n sub(shl(0xa0, 0x01), 0x01)\n swap1\n swap5\n and\n not(sub(shl(0xa0, 0x01), 0x01))\n swap1\n swap5\n and\n swap4\n swap1\n swap4\n or\n swap1\n swap3\n sstore\n /* \"contracts/Structs.sol\":745:775 Car(\"Honda\", 2016, msg.sender) */\n dup3\n mload\n 0xa0\n dup2\n add\n dup5\n mstore\n 0x05\n 0x60\n dup3\n add\n swap1\n dup2\n mstore\n shl(0xd8, 0x486f6e6461)\n 0x80\n dup4\n add\n mstore\n dup2\n mstore\n /* \"contracts/Structs.sol\":758:762 2016 */\n 0x07e0\n /* \"contracts/Structs.sol\":745:775 Car(\"Honda\", 2016, msg.sender) */\n dup2\n dup4\n add\n mstore\n /* \"contracts/Structs.sol\":764:774 msg.sender */\n caller\n /* \"contracts/Structs.sol\":745:775 Car(\"Honda\", 2016, msg.sender) */\n swap4\n dup2\n add\n swap4\n swap1\n swap4\n mstore\n /* \"contracts/Structs.sol\":735:739 cars */\n 0x03\n /* \"contracts/Structs.sol\":735:776 cars.push(Car(\"Honda\", 2016, msg.sender)) */\n dup1\n sload\n swap3\n dup4\n add\n dup2\n sstore\n /* \"contracts/Structs.sol\":709:724 cars.push(car3) */\n 0x00\n /* \"contracts/Structs.sol\":735:776 cars.push(Car(\"Honda\", 2016, msg.sender)) */\n dup2\n swap1\n mstore\n dup4\n mload\n dup1\n mload\n swap4\n swap1\n swap2\n mul\n 0x00\n dup1\n mload\n 0x20\n data_2584db4a68aa8b172f70bc04e2e74541617c003374de6eb4b295e823e5beab01\n dup4\n codecopy\n dup2\n mload\n swap2\n mstore\n add\n swap3\n tag_34\n swap3\n dup5\n swap3\n add\n swap1\n tag_28\n jump\t// in\n tag_34:\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 sub(shl(0xa0, 0x01), 0x01)\n mul\n not\n and\n swap1\n dup4\n sub(shl(0xa0, 0x01), 0x01)\n and\n mul\n or\n swap1\n sstore\n pop\n pop\n pop\n /* \"contracts/Structs.sol\":787:802 Car memory _car */\n 0x00\n /* \"contracts/Structs.sol\":805:809 cars */\n 0x03\n /* \"contracts/Structs.sol\":810:811 0 */\n 0x00\n /* \"contracts/Structs.sol\":805:812 cars[0] */\n dup2\n sload\n dup2\n lt\n tag_36\n jumpi\n tag_36\n tag_37\n jump\t// in\n tag_36:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x03\n mul\n add\n /* \"contracts/Structs.sol\":787:812 Car memory _car = cars[0] */\n mload(0x40)\n dup1\n 0x60\n add\n 0x40\n mstore\n swap1\n dup2\n 0x00\n dup3\n add\n dup1\n sload\n tag_39\n swap1\n tag_40\n jump\t// in\n tag_39:\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 tag_41\n swap1\n tag_40\n jump\t// in\n tag_41:\n dup1\n iszero\n tag_42\n jumpi\n dup1\n 0x1f\n lt\n tag_43\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_42)\n tag_43:\n dup3\n add\n swap2\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n tag_44:\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_44\n jumpi\n dup3\n swap1\n sub\n 0x1f\n and\n dup3\n add\n swap2\n tag_42:\n pop\n pop\n pop\n swap2\n dup4\n mstore\n pop\n pop\n 0x01\n dup3\n dup2\n add\n sload\n 0x20\n dup1\n dup5\n add\n swap2\n swap1\n swap2\n mstore\n 0x02\n swap1\n swap4\n add\n sload\n sub(shl(0xa0, 0x01), 0x01)\n and\n 0x40\n swap3\n dup4\n add\n mstore\n /* \"contracts/Structs.sol\":849:853 2022 */\n 0x07e6\n /* \"contracts/Structs.sol\":837:846 _car.year */\n swap3\n dup5\n add\n /* \"contracts/Structs.sol\":837:853 _car.year = 2022 */\n swap3\n swap1\n swap3\n mstore\n 0x00\n /* \"contracts/Structs.sol\":871:881 _car.owner */\n swap1\n dup4\n add\n /* \"contracts/Structs.sol\":864:881 delete _car.owner */\n mstore\n /* \"contracts/Structs.sol\":898:902 cars */\n 0x03\n /* \"contracts/Structs.sol\":898:905 cars[1] */\n dup1\n sload\n /* \"contracts/Structs.sol\":787:812 Car memory _car = cars[0] */\n swap3\n swap4\n pop\n /* \"contracts/Structs.sol\":898:902 cars */\n swap2\n /* \"contracts/Structs.sol\":898:905 cars[1] */\n dup2\n lt\n tag_46\n jumpi\n tag_46\n tag_37\n jump\t// in\n tag_46:\n 0x00\n swap2\n dup3\n mstore\n 0x20\n dup3\n keccak256\n 0x03\n swap1\n swap2\n mul\n add\n swap1\n /* \"contracts/Structs.sol\":891:905 delete cars[1] */\n tag_48\n /* \"contracts/Structs.sol\":898:905 cars[1] */\n dup3\n dup3\n /* \"contracts/Structs.sol\":891:905 delete cars[1] */\n tag_49\n jump\t// in\n tag_48:\n pop\n 0x00\n 0x01\n dup3\n add\n sstore\n 0x02\n add\n dup1\n sload\n not(sub(shl(0xa0, 0x01), 0x01))\n and\n swap1\n sstore\n pop\n pop\n pop\n pop\n /* \"contracts/Structs.sol\":352:912 function examples() external {... */\n jump\t// out\n /* \"contracts/Structs.sol\":306:345 mapping(address => Car[]) public owners */\n tag_12:\n mstore(0x20, 0x04)\n dup2\n 0x00\n mstore\n keccak256(0x00, 0x40)\n dup2\n dup2\n sload\n dup2\n lt\n tag_50\n jumpi\n 0x00\n dup1\n revert\n tag_50:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x03\n mul\n add\n 0x00\n swap2\n pop\n swap2\n pop\n pop\n dup1\n 0x00\n add\n dup1\n sload\n tag_52\n swap1\n tag_40\n jump\t// in\n tag_52:\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 tag_53\n swap1\n tag_40\n jump\t// in\n tag_53:\n dup1\n iszero\n tag_54\n jumpi\n dup1\n 0x1f\n lt\n tag_55\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_54)\n tag_55:\n dup3\n add\n swap2\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n tag_56:\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_56\n jumpi\n dup3\n swap1\n sub\n 0x1f\n and\n dup3\n add\n swap2\n tag_54:\n pop\n pop\n pop\n pop\n 0x01\n dup4\n add\n sload\n 0x02\n swap1\n swap4\n add\n sload\n swap2\n swap3\n swap2\n sub(shl(0xa0, 0x01), 0x01)\n and\n swap1\n pop\n dup4\n jump\t// out\n /* \"contracts/Structs.sol\":263:277 Car public car */\n tag_16:\n 0x00\n dup1\n sload\n dup2\n swap1\n tag_52\n swap1\n tag_40\n jump\t// in\n /* \"contracts/Structs.sol\":283:300 Car[] public cars */\n tag_21:\n 0x03\n dup2\n dup2\n sload\n dup2\n lt\n tag_62\n jumpi\n 0x00\n dup1\n revert\n tag_62:\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n 0x03\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 tag_52\n swap1\n tag_40\n jump\t// in\n tag_28:\n dup3\n dup1\n sload\n tag_69\n swap1\n tag_40\n jump\t// in\n tag_69:\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 tag_71\n jumpi\n 0x00\n dup6\n sstore\n jump(tag_74)\n tag_71:\n dup3\n 0x1f\n lt\n tag_72\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_74)\n tag_72:\n dup3\n dup1\n add\n 0x01\n add\n dup6\n sstore\n dup3\n iszero\n tag_74\n jumpi\n swap2\n dup3\n add\n tag_73:\n dup3\n dup2\n gt\n iszero\n tag_74\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_73)\n tag_74:\n pop\n tag_75\n swap3\n swap2\n pop\n tag_76\n jump\t// in\n tag_75:\n pop\n swap1\n jump\t// out\n tag_49:\n pop\n dup1\n sload\n tag_77\n swap1\n tag_40\n jump\t// in\n tag_77:\n 0x00\n dup3\n sstore\n dup1\n 0x1f\n lt\n tag_79\n jumpi\n pop\n pop\n jump\t// out\n tag_79:\n 0x1f\n add\n 0x20\n swap1\n div\n swap1\n 0x00\n mstore\n keccak256(0x00, 0x20)\n swap1\n dup2\n add\n swap1\n tag_80\n swap2\n swap1\n tag_76\n jump\t// in\n tag_80:\n pop\n jump\t// out\n tag_76:\n tag_81:\n dup1\n dup3\n gt\n iszero\n tag_75\n jumpi\n 0x00\n dup2\n sstore\n 0x01\n add\n jump(tag_81)\n /* \"#utility.yul\":14:368 */\n tag_11:\n /* \"#utility.yul\":82:88 */\n 0x00\n /* \"#utility.yul\":90:96 */\n dup1\n /* \"#utility.yul\":143:145 */\n 0x40\n /* \"#utility.yul\":131:140 */\n dup4\n /* \"#utility.yul\":122:129 */\n dup6\n /* \"#utility.yul\":118:141 */\n sub\n /* \"#utility.yul\":114:146 */\n slt\n /* \"#utility.yul\":111:163 */\n iszero\n tag_85\n jumpi\n /* \"#utility.yul\":159:160 */\n 0x00\n /* \"#utility.yul\":156:157 */\n dup1\n /* \"#utility.yul\":149:161 */\n revert\n /* \"#utility.yul\":111:163 */\n tag_85:\n /* \"#utility.yul\":185:208 */\n dup3\n calldataload\n sub(shl(0xa0, 0x01), 0x01)\n /* \"#utility.yul\":237:268 */\n dup2\n and\n /* \"#utility.yul\":227:269 */\n dup2\n eq\n /* \"#utility.yul\":217:287 */\n tag_86\n jumpi\n /* \"#utility.yul\":283:284 */\n 0x00\n /* \"#utility.yul\":280:281 */\n dup1\n /* \"#utility.yul\":273:285 */\n revert\n /* \"#utility.yul\":217:287 */\n tag_86:\n /* \"#utility.yul\":306:311 */\n swap5\n /* \"#utility.yul\":358:360 */\n 0x20\n /* \"#utility.yul\":343:361 */\n swap4\n swap1\n swap4\n add\n /* \"#utility.yul\":330:362 */\n calldataload\n swap4\n pop\n pop\n pop\n /* \"#utility.yul\":14:368 */\n jump\t// out\n /* \"#utility.yul\":373:1126 */\n tag_14:\n /* \"#utility.yul\":578:580 */\n 0x60\n /* \"#utility.yul\":567:576 */\n dup2\n /* \"#utility.yul\":560:581 */\n mstore\n /* \"#utility.yul\":541:545 */\n 0x00\n /* \"#utility.yul\":610:616 */\n dup5\n /* \"#utility.yul\":604:617 */\n mload\n /* \"#utility.yul\":653:659 */\n dup1\n /* \"#utility.yul\":648:650 */\n 0x60\n /* \"#utility.yul\":637:646 */\n dup5\n /* \"#utility.yul\":633:651 */\n add\n /* \"#utility.yul\":626:660 */\n mstore\n /* \"#utility.yul\":678:679 */\n 0x00\n /* \"#utility.yul\":688:833 */\n tag_88:\n /* \"#utility.yul\":702:708 */\n dup2\n /* \"#utility.yul\":699:700 */\n dup2\n /* \"#utility.yul\":696:709 */\n lt\n /* \"#utility.yul\":688:833 */\n iszero\n tag_90\n jumpi\n /* \"#utility.yul\":816:820 */\n 0x20\n /* \"#utility.yul\":800:814 */\n dup2\n dup9\n add\n /* \"#utility.yul\":796:821 */\n dup2\n add\n /* \"#utility.yul\":790:822 */\n mload\n /* \"#utility.yul\":784:787 */\n 0x80\n /* \"#utility.yul\":765:782 */\n dup7\n dup5\n add\n /* \"#utility.yul\":761:788 */\n add\n /* \"#utility.yul\":754:823 */\n mstore\n /* \"#utility.yul\":717:729 */\n add\n /* \"#utility.yul\":688:833 */\n jump(tag_88)\n tag_90:\n /* \"#utility.yul\":851:857 */\n dup2\n /* \"#utility.yul\":848:849 */\n dup2\n /* \"#utility.yul\":845:858 */\n gt\n /* \"#utility.yul\":842:934 */\n iszero\n tag_91\n jumpi\n /* \"#utility.yul\":922:923 */\n 0x00\n /* \"#utility.yul\":916:919 */\n 0x80\n /* \"#utility.yul\":907:913 */\n dup4\n /* \"#utility.yul\":896:905 */\n dup7\n /* \"#utility.yul\":892:914 */\n add\n /* \"#utility.yul\":888:920 */\n add\n /* \"#utility.yul\":881:924 */\n mstore\n /* \"#utility.yul\":842:934 */\n tag_91:\n pop\n /* \"#utility.yul\":1037:1041 */\n 0x20\n /* \"#utility.yul\":1022:1042 */\n dup4\n add\n /* \"#utility.yul\":1015:1051 */\n swap5\n swap1\n swap5\n mstore\n pop\n sub(shl(0xa0, 0x01), 0x01)\n /* \"#utility.yul\":1087:1119 */\n swap2\n swap1\n swap2\n and\n /* \"#utility.yul\":1082:1084 */\n 0x40\n /* \"#utility.yul\":1067:1085 */\n dup3\n add\n /* \"#utility.yul\":1060:1120 */\n mstore\n /* \"#utility.yul\":1002:1005 */\n 0x80\n /* \"#utility.yul\":995:997 */\n 0x1f\n /* \"#utility.yul\":974:989 */\n swap1\n swap3\n add\n not(0x1f)\n /* \"#utility.yul\":970:999 */\n and\n /* \"#utility.yul\":955:1000 */\n add\n /* \"#utility.yul\":951:1006 */\n add\n swap2\n swap1\n pop\n /* \"#utility.yul\":373:1126 */\n jump\t// out\n /* \"#utility.yul\":1131:1311 */\n tag_20:\n /* \"#utility.yul\":1190:1196 */\n 0x00\n /* \"#utility.yul\":1243:1245 */\n 0x20\n /* \"#utility.yul\":1231:1240 */\n dup3\n /* \"#utility.yul\":1222:1229 */\n dup5\n /* \"#utility.yul\":1218:1241 */\n sub\n /* \"#utility.yul\":1214:1246 */\n slt\n /* \"#utility.yul\":1211:1263 */\n iszero\n tag_93\n jumpi\n /* \"#utility.yul\":1259:1260 */\n 0x00\n /* \"#utility.yul\":1256:1257 */\n dup1\n /* \"#utility.yul\":1249:1261 */\n revert\n /* \"#utility.yul\":1211:1263 */\n tag_93:\n pop\n /* \"#utility.yul\":1282:1305 */\n calldataload\n swap2\n /* \"#utility.yul\":1131:1311 */\n swap1\n pop\n jump\t// out\n /* \"#utility.yul\":1316:1443 */\n tag_37:\n /* \"#utility.yul\":1377:1387 */\n 0x4e487b71\n /* \"#utility.yul\":1372:1375 */\n 0xe0\n /* \"#utility.yul\":1368:1388 */\n shl\n /* \"#utility.yul\":1365:1366 */\n 0x00\n /* \"#utility.yul\":1358:1389 */\n mstore\n /* \"#utility.yul\":1408:1412 */\n 0x32\n /* \"#utility.yul\":1405:1406 */\n 0x04\n /* \"#utility.yul\":1398:1413 */\n mstore\n /* \"#utility.yul\":1432:1436 */\n 0x24\n /* \"#utility.yul\":1429:1430 */\n 0x00\n /* \"#utility.yul\":1422:1437 */\n revert\n /* \"#utility.yul\":1448:1828 */\n tag_40:\n /* \"#utility.yul\":1527:1528 */\n 0x01\n /* \"#utility.yul\":1523:1535 */\n dup2\n dup2\n shr\n swap1\n /* \"#utility.yul\":1570:1582 */\n dup3\n and\n dup1\n /* \"#utility.yul\":1591:1652 */\n tag_96\n jumpi\n /* \"#utility.yul\":1645:1649 */\n 0x7f\n /* \"#utility.yul\":1637:1643 */\n dup3\n /* \"#utility.yul\":1633:1650 */\n and\n /* \"#utility.yul\":1623:1650 */\n swap2\n pop\n /* \"#utility.yul\":1591:1652 */\n tag_96:\n /* \"#utility.yul\":1698:1700 */\n 0x20\n /* \"#utility.yul\":1690:1696 */\n dup3\n /* \"#utility.yul\":1687:1701 */\n lt\n /* \"#utility.yul\":1667:1685 */\n dup2\n /* \"#utility.yul\":1664:1702 */\n sub\n /* \"#utility.yul\":1661:1822 */\n tag_97\n jumpi\n /* \"#utility.yul\":1744:1754 */\n 0x4e487b71\n /* \"#utility.yul\":1739:1742 */\n 0xe0\n /* \"#utility.yul\":1735:1755 */\n shl\n /* \"#utility.yul\":1732:1733 */\n 0x00\n /* \"#utility.yul\":1725:1756 */\n mstore\n /* \"#utility.yul\":1779:1783 */\n 0x22\n /* \"#utility.yul\":1776:1777 */\n 0x04\n /* \"#utility.yul\":1769:1784 */\n mstore\n /* \"#utility.yul\":1807:1811 */\n 0x24\n /* \"#utility.yul\":1804:1805 */\n 0x00\n /* \"#utility.yul\":1797:1812 */\n revert\n /* \"#utility.yul\":1661:1822 */\n tag_97:\n pop\n /* \"#utility.yul\":1448:1828 */\n swap2\n swap1\n pop\n jump\t// out\n stop\n data_2584db4a68aa8b172f70bc04e2e74541617c003374de6eb4b295e823e5beab01 c2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b\n\n auxdata: 0xa26469706673582212201ddb430c2afca9261d27f2f8adf20c42c9053143157d5e2639ee05b53a5404d764736f6c634300080d0033\n}\n", "bytecode": { "functionDebugData": {}, "generatedSources": [], "linkReferences": {}, "object": "608060405234801561001057600080fd5b506107d7806100206000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c8063335d00c2146100515780639b3e27871461005b578063ee26fac314610086578063f7746e361461008e575b600080fd5b6100596100a1565b005b61006e610069366004610673565b610482565b60405161007d939291906106ab565b60405180910390f35b61006e61055b565b61006e61009c366004610718565b61056a565b6040805160a080820183526006606080840191825265546f796f746160d01b6080808601919091529184526107e160208086019190915233858701819052865194850187526004858401818152634175646960e01b958701959095529385526107e2858301528487018190528651808401885292835260008383018181528489018281528951808b01909a5295895263119bdc9960e21b898501529784526107df909752909252600380546001810182559581905284518051959694959294879492026000805160206107828339815191520192610182928492019061059d565b50602082810151600180840191909155604090930151600290920180546001600160a01b039093166001600160a01b031990931692909217909155600380549283018155600081905284518051869490920260008051602061078283398151915201926101f49284929091019061059d565b50602082810151600180840191909155604090930151600290920180546001600160a01b039093166001600160a01b031990931692909217909155600380549283018155600081905283518051859490920260008051602061078283398151915201926102669284929091019061059d565b50602082810151600180840191909155604093840151600290930180546001600160a01b039094166001600160a01b031990941693909317909255825160a08101845260056060820190815264486f6e646160d81b608083015281526107e0818301523393810193909352600380549283018155600081905283518051939091026000805160206107828339815191520192610305928492019061059d565b506020820151816001015560408201518160020160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555050506000600360008154811061035557610355610731565b906000526020600020906003020160405180606001604052908160008201805461037e90610747565b80601f01602080910402602001604051908101604052809291908181526020018280546103aa90610747565b80156103f75780601f106103cc576101008083540402835291602001916103f7565b820191906000526020600020905b8154815290600101906020018083116103da57829003601f168201915b50505091835250506001828101546020808401919091526002909301546001600160a01b03166040928301526107e6928401929092526000908301526003805492935091811061044957610449610731565b600091825260208220600390910201906104638282610621565b506000600182015560020180546001600160a01b031916905550505050565b6004602052816000526040600020818154811061049e57600080fd5b9060005260206000209060030201600091509150508060000180546104c290610747565b80601f01602080910402602001604051908101604052809291908181526020018280546104ee90610747565b801561053b5780601f106105105761010080835404028352916020019161053b565b820191906000526020600020905b81548152906001019060200180831161051e57829003601f168201915b5050505060018301546002909301549192916001600160a01b0316905083565b6000805481906104c290610747565b6003818154811061057a57600080fd5b90600052602060002090600302016000915090508060000180546104c290610747565b8280546105a990610747565b90600052602060002090601f0160209004810192826105cb5760008555610611565b82601f106105e457805160ff1916838001178555610611565b82800160010185558215610611579182015b828111156106115782518255916020019190600101906105f6565b5061061d92915061065e565b5090565b50805461062d90610747565b6000825580601f1061063d575050565b601f01602090049060005260206000209081019061065b919061065e565b50565b5b8082111561061d576000815560010161065f565b6000806040838503121561068657600080fd5b82356001600160a01b038116811461069d57600080fd5b946020939093013593505050565b606081526000845180606084015260005b818110156106d957602081880181015160808684010152016106bc565b818111156106eb576000608083860101525b506020830194909452506001600160a01b039190911660408201526080601f909201601f19160101919050565b60006020828403121561072a57600080fd5b5035919050565b634e487b7160e01b600052603260045260246000fd5b600181811c9082168061075b57607f821691505b60208210810361077b57634e487b7160e01b600052602260045260246000fd5b5091905056fec2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85ba26469706673582212201ddb430c2afca9261d27f2f8adf20c42c9053143157d5e2639ee05b53a5404d764736f6c634300080d0033", "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x7D7 DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x4C JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x335D00C2 EQ PUSH2 0x51 JUMPI DUP1 PUSH4 0x9B3E2787 EQ PUSH2 0x5B JUMPI DUP1 PUSH4 0xEE26FAC3 EQ PUSH2 0x86 JUMPI DUP1 PUSH4 0xF7746E36 EQ PUSH2 0x8E JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x59 PUSH2 0xA1 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x6E PUSH2 0x69 CALLDATASIZE PUSH1 0x4 PUSH2 0x673 JUMP JUMPDEST PUSH2 0x482 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x7D SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x6AB JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x6E PUSH2 0x55B JUMP JUMPDEST PUSH2 0x6E PUSH2 0x9C CALLDATASIZE PUSH1 0x4 PUSH2 0x718 JUMP JUMPDEST PUSH2 0x56A JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xA0 DUP1 DUP3 ADD DUP4 MSTORE PUSH1 0x6 PUSH1 0x60 DUP1 DUP5 ADD SWAP2 DUP3 MSTORE PUSH6 0x546F796F7461 PUSH1 0xD0 SHL PUSH1 0x80 DUP1 DUP7 ADD SWAP2 SWAP1 SWAP2 MSTORE SWAP2 DUP5 MSTORE PUSH2 0x7E1 PUSH1 0x20 DUP1 DUP7 ADD SWAP2 SWAP1 SWAP2 MSTORE CALLER DUP6 DUP8 ADD DUP2 SWAP1 MSTORE DUP7 MLOAD SWAP5 DUP6 ADD DUP8 MSTORE PUSH1 0x4 DUP6 DUP5 ADD DUP2 DUP2 MSTORE PUSH4 0x41756469 PUSH1 0xE0 SHL SWAP6 DUP8 ADD SWAP6 SWAP1 SWAP6 MSTORE SWAP4 DUP6 MSTORE PUSH2 0x7E2 DUP6 DUP4 ADD MSTORE DUP5 DUP8 ADD DUP2 SWAP1 MSTORE DUP7 MLOAD DUP1 DUP5 ADD DUP9 MSTORE SWAP3 DUP4 MSTORE PUSH1 0x0 DUP4 DUP4 ADD DUP2 DUP2 MSTORE DUP5 DUP10 ADD DUP3 DUP2 MSTORE DUP10 MLOAD DUP1 DUP12 ADD SWAP1 SWAP11 MSTORE SWAP6 DUP10 MSTORE PUSH4 0x119BDC99 PUSH1 0xE2 SHL DUP10 DUP6 ADD MSTORE SWAP8 DUP5 MSTORE PUSH2 0x7DF SWAP1 SWAP8 MSTORE SWAP1 SWAP3 MSTORE PUSH1 0x3 DUP1 SLOAD PUSH1 0x1 DUP2 ADD DUP3 SSTORE SWAP6 DUP2 SWAP1 MSTORE DUP5 MLOAD DUP1 MLOAD SWAP6 SWAP7 SWAP5 SWAP6 SWAP3 SWAP5 DUP8 SWAP5 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x182 SWAP3 DUP5 SWAP3 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP1 SWAP4 ADD MLOAD PUSH1 0x2 SWAP1 SWAP3 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP4 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP4 AND SWAP3 SWAP1 SWAP3 OR SWAP1 SWAP2 SSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP5 MLOAD DUP1 MLOAD DUP7 SWAP5 SWAP1 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x1F4 SWAP3 DUP5 SWAP3 SWAP1 SWAP2 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP1 SWAP4 ADD MLOAD PUSH1 0x2 SWAP1 SWAP3 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP4 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP4 AND SWAP3 SWAP1 SWAP3 OR SWAP1 SWAP2 SSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP4 MLOAD DUP1 MLOAD DUP6 SWAP5 SWAP1 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x266 SWAP3 DUP5 SWAP3 SWAP1 SWAP2 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP4 DUP5 ADD MLOAD PUSH1 0x2 SWAP1 SWAP4 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP5 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP5 AND SWAP4 SWAP1 SWAP4 OR SWAP1 SWAP3 SSTORE DUP3 MLOAD PUSH1 0xA0 DUP2 ADD DUP5 MSTORE PUSH1 0x5 PUSH1 0x60 DUP3 ADD SWAP1 DUP2 MSTORE PUSH5 0x486F6E6461 PUSH1 0xD8 SHL PUSH1 0x80 DUP4 ADD MSTORE DUP2 MSTORE PUSH2 0x7E0 DUP2 DUP4 ADD MSTORE CALLER SWAP4 DUP2 ADD SWAP4 SWAP1 SWAP4 MSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP4 MLOAD DUP1 MLOAD SWAP4 SWAP1 SWAP2 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x305 SWAP3 DUP5 SWAP3 ADD SWAP1 PUSH2 0x59D 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 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB MUL NOT AND SWAP1 DUP4 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND MUL OR SWAP1 SSTORE POP POP POP PUSH1 0x0 PUSH1 0x3 PUSH1 0x0 DUP2 SLOAD DUP2 LT PUSH2 0x355 JUMPI PUSH2 0x355 PUSH2 0x731 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x40 MLOAD DUP1 PUSH1 0x60 ADD PUSH1 0x40 MSTORE SWAP1 DUP2 PUSH1 0x0 DUP3 ADD DUP1 SLOAD PUSH2 0x37E SWAP1 PUSH2 0x747 JUMP JUMPDEST 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 PUSH2 0x3AA SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP1 ISZERO PUSH2 0x3F7 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x3CC JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x3F7 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 0x3DA JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP SWAP2 DUP4 MSTORE POP POP PUSH1 0x1 DUP3 DUP2 ADD SLOAD PUSH1 0x20 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 MSTORE PUSH1 0x2 SWAP1 SWAP4 ADD SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH1 0x40 SWAP3 DUP4 ADD MSTORE PUSH2 0x7E6 SWAP3 DUP5 ADD SWAP3 SWAP1 SWAP3 MSTORE PUSH1 0x0 SWAP1 DUP4 ADD MSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 SWAP4 POP SWAP2 DUP2 LT PUSH2 0x449 JUMPI PUSH2 0x449 PUSH2 0x731 JUMP JUMPDEST PUSH1 0x0 SWAP2 DUP3 MSTORE PUSH1 0x20 DUP3 KECCAK256 PUSH1 0x3 SWAP1 SWAP2 MUL ADD SWAP1 PUSH2 0x463 DUP3 DUP3 PUSH2 0x621 JUMP JUMPDEST POP PUSH1 0x0 PUSH1 0x1 DUP3 ADD SSTORE PUSH1 0x2 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT AND SWAP1 SSTORE POP POP POP POP JUMP JUMPDEST PUSH1 0x4 PUSH1 0x20 MSTORE DUP2 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x49E JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x0 SWAP2 POP SWAP2 POP POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST 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 PUSH2 0x4EE SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP1 ISZERO PUSH2 0x53B JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x510 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x53B 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 0x51E JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP PUSH1 0x1 DUP4 ADD SLOAD PUSH1 0x2 SWAP1 SWAP4 ADD SLOAD SWAP2 SWAP3 SWAP2 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND SWAP1 POP DUP4 JUMP JUMPDEST PUSH1 0x0 DUP1 SLOAD DUP2 SWAP1 PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST PUSH1 0x3 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x57A JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH2 0x5A9 SWAP1 PUSH2 0x747 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH2 0x5CB JUMPI PUSH1 0x0 DUP6 SSTORE PUSH2 0x611 JUMP JUMPDEST DUP3 PUSH1 0x1F LT PUSH2 0x5E4 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x611 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x611 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x611 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x5F6 JUMP JUMPDEST POP PUSH2 0x61D SWAP3 SWAP2 POP PUSH2 0x65E JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST POP DUP1 SLOAD PUSH2 0x62D SWAP1 PUSH2 0x747 JUMP JUMPDEST PUSH1 0x0 DUP3 SSTORE DUP1 PUSH1 0x1F LT PUSH2 0x63D JUMPI POP POP JUMP JUMPDEST PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 DUP2 ADD SWAP1 PUSH2 0x65B SWAP2 SWAP1 PUSH2 0x65E JUMP JUMPDEST POP JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x61D JUMPI PUSH1 0x0 DUP2 SSTORE PUSH1 0x1 ADD PUSH2 0x65F JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x686 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND DUP2 EQ PUSH2 0x69D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP5 PUSH1 0x20 SWAP4 SWAP1 SWAP4 ADD CALLDATALOAD SWAP4 POP POP POP JUMP JUMPDEST PUSH1 0x60 DUP2 MSTORE PUSH1 0x0 DUP5 MLOAD DUP1 PUSH1 0x60 DUP5 ADD MSTORE PUSH1 0x0 JUMPDEST DUP2 DUP2 LT ISZERO PUSH2 0x6D9 JUMPI PUSH1 0x20 DUP2 DUP9 ADD DUP2 ADD MLOAD PUSH1 0x80 DUP7 DUP5 ADD ADD MSTORE ADD PUSH2 0x6BC JUMP JUMPDEST DUP2 DUP2 GT ISZERO PUSH2 0x6EB JUMPI PUSH1 0x0 PUSH1 0x80 DUP4 DUP7 ADD ADD MSTORE JUMPDEST POP PUSH1 0x20 DUP4 ADD SWAP5 SWAP1 SWAP5 MSTORE POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP2 SWAP1 SWAP2 AND PUSH1 0x40 DUP3 ADD MSTORE PUSH1 0x80 PUSH1 0x1F SWAP1 SWAP3 ADD PUSH1 0x1F NOT AND ADD ADD SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x72A JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD SWAP2 SWAP1 POP JUMP JUMPDEST PUSH4 0x4E487B71 PUSH1 0xE0 SHL PUSH1 0x0 MSTORE PUSH1 0x32 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x1 DUP2 DUP2 SHR SWAP1 DUP3 AND DUP1 PUSH2 0x75B JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 SUB PUSH2 0x77B JUMPI PUSH4 0x4E487B71 PUSH1 0xE0 SHL PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST POP SWAP2 SWAP1 POP JUMP INVALID 0xC2 JUMPI GAS 0xE SWAP15 MSIZE EXTCODECOPY STOP 0xF9 MSIZE 0xF8 0xC9 0x2F SLT 0xDB 0x28 PUSH10 0xC3395A3B0502D05E2516 DIFFICULTY PUSH16 0x71F85BA26469706673582212201DDB43 0xC 0x2A 0xFC 0xA9 0x26 SAR 0x27 CALLCODE 0xF8 0xAD CALLCODE 0xC TIMESTAMP 0xC9 SDIV BALANCE NUMBER ISZERO PUSH30 0x5E2639EE05B53A5404D764736F6C634300080D0033000000000000000000 ", "sourceMap": "151:764:0:-:0;;;;;;;;;;;;;;;;;;;" }, "deployedBytecode": { "functionDebugData": { "@car_11": { "entryPoint": 1371, "id": 11, "parameterSlots": 0, "returnSlots": 0 }, "@cars_15": { "entryPoint": 1386, "id": 15, "parameterSlots": 0, "returnSlots": 0 }, "@examples_119": { "entryPoint": 161, "id": 119, "parameterSlots": 0, "returnSlots": 0 }, "@owners_21": { "entryPoint": 1154, "id": 21, "parameterSlots": 0, "returnSlots": 0 }, "abi_decode_tuple_t_addresst_uint256": { "entryPoint": 1651, "id": null, "parameterSlots": 2, "returnSlots": 2 }, "abi_decode_tuple_t_uint256": { "entryPoint": 1816, "id": null, "parameterSlots": 2, "returnSlots": 1 }, "abi_encode_tuple_t_string_memory_ptr_t_uint256_t_address__to_t_string_memory_ptr_t_uint256_t_address__fromStack_reversed": { "entryPoint": 1707, "id": null, "parameterSlots": 4, "returnSlots": 1 }, "extract_byte_array_length": { "entryPoint": 1863, "id": null, "parameterSlots": 1, "returnSlots": 1 }, "panic_error_0x32": { "entryPoint": 1841, "id": null, "parameterSlots": 0, "returnSlots": 0 } }, "generatedSources": [ { "ast": { "nodeType": "YulBlock", "src": "0:1830:1", "statements": [ { "nodeType": "YulBlock", "src": "6:3:1", "statements": [] }, { "body": { "nodeType": "YulBlock", "src": "101:267:1", "statements": [ { "body": { "nodeType": "YulBlock", "src": "147:16:1", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "156:1:1", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "159:1:1", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "149:6:1" }, "nodeType": "YulFunctionCall", "src": "149:12:1" }, "nodeType": "YulExpressionStatement", "src": "149:12:1" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nodeType": "YulIdentifier", "src": "122:7:1" }, { "name": "headStart", "nodeType": "YulIdentifier", "src": "131:9:1" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "118:3:1" }, "nodeType": "YulFunctionCall", "src": "118:23:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "143:2:1", "type": "", "value": "64" } ], "functionName": { "name": "slt", "nodeType": "YulIdentifier", "src": "114:3:1" }, "nodeType": "YulFunctionCall", "src": "114:32:1" }, "nodeType": "YulIf", "src": "111:52:1" }, { "nodeType": "YulVariableDeclaration", "src": "172:36:1", "value": { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "198:9:1" } ], "functionName": { "name": "calldataload", "nodeType": "YulIdentifier", "src": "185:12:1" }, "nodeType": "YulFunctionCall", "src": "185:23:1" }, "variables": [ { "name": "value", "nodeType": "YulTypedName", "src": "176:5:1", "type": "" } ] }, { "body": { "nodeType": "YulBlock", "src": "271:16:1", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "280:1:1", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "283:1:1", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "273:6:1" }, "nodeType": "YulFunctionCall", "src": "273:12:1" }, "nodeType": "YulExpressionStatement", "src": "273:12:1" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "value", "nodeType": "YulIdentifier", "src": "230:5:1" }, { "arguments": [ { "name": "value", "nodeType": "YulIdentifier", "src": "241:5:1" }, { "arguments": [ { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "256:3:1", "type": "", "value": "160" }, { "kind": "number", "nodeType": "YulLiteral", "src": "261:1:1", "type": "", "value": "1" } ], "functionName": { "name": "shl", "nodeType": "YulIdentifier", "src": "252:3:1" }, "nodeType": "YulFunctionCall", "src": "252:11:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "265:1:1", "type": "", "value": "1" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "248:3:1" }, "nodeType": "YulFunctionCall", "src": "248:19:1" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "237:3:1" }, "nodeType": "YulFunctionCall", "src": "237:31:1" } ], "functionName": { "name": "eq", "nodeType": "YulIdentifier", "src": "227:2:1" }, "nodeType": "YulFunctionCall", "src": "227:42:1" } ], "functionName": { "name": "iszero", "nodeType": "YulIdentifier", "src": "220:6:1" }, "nodeType": "YulFunctionCall", "src": "220:50:1" }, "nodeType": "YulIf", "src": "217:70:1" }, { "nodeType": "YulAssignment", "src": "296:15:1", "value": { "name": "value", "nodeType": "YulIdentifier", "src": "306:5:1" }, "variableNames": [ { "name": "value0", "nodeType": "YulIdentifier", "src": "296:6:1" } ] }, { "nodeType": "YulAssignment", "src": "320:42:1", "value": { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "347:9:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "358:2:1", "type": "", "value": "32" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "343:3:1" }, "nodeType": "YulFunctionCall", "src": "343:18:1" } ], "functionName": { "name": "calldataload", "nodeType": "YulIdentifier", "src": "330:12:1" }, "nodeType": "YulFunctionCall", "src": "330:32:1" }, "variableNames": [ { "name": "value1", "nodeType": "YulIdentifier", "src": "320:6:1" } ] } ] }, "name": "abi_decode_tuple_t_addresst_uint256", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nodeType": "YulTypedName", "src": "59:9:1", "type": "" }, { "name": "dataEnd", "nodeType": "YulTypedName", "src": "70:7:1", "type": "" } ], "returnVariables": [ { "name": "value0", "nodeType": "YulTypedName", "src": "82:6:1", "type": "" }, { "name": "value1", "nodeType": "YulTypedName", "src": "90:6:1", "type": "" } ], "src": "14:354:1" }, { "body": { "nodeType": "YulBlock", "src": "550:576:1", "statements": [ { "expression": { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "567:9:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "578:2:1", "type": "", "value": "96" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "560:6:1" }, "nodeType": "YulFunctionCall", "src": "560:21:1" }, "nodeType": "YulExpressionStatement", "src": "560:21:1" }, { "nodeType": "YulVariableDeclaration", "src": "590:27:1", "value": { "arguments": [ { "name": "value0", "nodeType": "YulIdentifier", "src": "610:6:1" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "604:5:1" }, "nodeType": "YulFunctionCall", "src": "604:13:1" }, "variables": [ { "name": "length", "nodeType": "YulTypedName", "src": "594:6:1", "type": "" } ] }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "637:9:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "648:2:1", "type": "", "value": "96" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "633:3:1" }, "nodeType": "YulFunctionCall", "src": "633:18:1" }, { "name": "length", "nodeType": "YulIdentifier", "src": "653:6:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "626:6:1" }, "nodeType": "YulFunctionCall", "src": "626:34:1" }, "nodeType": "YulExpressionStatement", "src": "626:34:1" }, { "nodeType": "YulVariableDeclaration", "src": "669:10:1", "value": { "kind": "number", "nodeType": "YulLiteral", "src": "678:1:1", "type": "", "value": "0" }, "variables": [ { "name": "i", "nodeType": "YulTypedName", "src": "673:1:1", "type": "" } ] }, { "body": { "nodeType": "YulBlock", "src": "740:93:1", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "769:9:1" }, { "name": "i", "nodeType": "YulIdentifier", "src": "780:1:1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "765:3:1" }, "nodeType": "YulFunctionCall", "src": "765:17:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "784:3:1", "type": "", "value": "128" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "761:3:1" }, "nodeType": "YulFunctionCall", "src": "761:27:1" }, { "arguments": [ { "arguments": [ { "arguments": [ { "name": "value0", "nodeType": "YulIdentifier", "src": "804:6:1" }, { "name": "i", "nodeType": "YulIdentifier", "src": "812:1:1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "800:3:1" }, "nodeType": "YulFunctionCall", "src": "800:14:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "816:4:1", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "796:3:1" }, "nodeType": "YulFunctionCall", "src": "796:25:1" } ], "functionName": { "name": "mload", "nodeType": "YulIdentifier", "src": "790:5:1" }, "nodeType": "YulFunctionCall", "src": "790:32:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "754:6:1" }, "nodeType": "YulFunctionCall", "src": "754:69:1" }, "nodeType": "YulExpressionStatement", "src": "754:69:1" } ] }, "condition": { "arguments": [ { "name": "i", "nodeType": "YulIdentifier", "src": "699:1:1" }, { "name": "length", "nodeType": "YulIdentifier", "src": "702:6:1" } ], "functionName": { "name": "lt", "nodeType": "YulIdentifier", "src": "696:2:1" }, "nodeType": "YulFunctionCall", "src": "696:13:1" }, "nodeType": "YulForLoop", "post": { "nodeType": "YulBlock", "src": "710:21:1", "statements": [ { "nodeType": "YulAssignment", "src": "712:17:1", "value": { "arguments": [ { "name": "i", "nodeType": "YulIdentifier", "src": "721:1:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "724:4:1", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "717:3:1" }, "nodeType": "YulFunctionCall", "src": "717:12:1" }, "variableNames": [ { "name": "i", "nodeType": "YulIdentifier", "src": "712:1:1" } ] } ] }, "pre": { "nodeType": "YulBlock", "src": "692:3:1", "statements": [] }, "src": "688:145:1" }, { "body": { "nodeType": "YulBlock", "src": "867:67:1", "statements": [ { "expression": { "arguments": [ { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "896:9:1" }, { "name": "length", "nodeType": "YulIdentifier", "src": "907:6:1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "892:3:1" }, "nodeType": "YulFunctionCall", "src": "892:22:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "916:3:1", "type": "", "value": "128" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "888:3:1" }, "nodeType": "YulFunctionCall", "src": "888:32:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "922:1:1", "type": "", "value": "0" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "881:6:1" }, "nodeType": "YulFunctionCall", "src": "881:43:1" }, "nodeType": "YulExpressionStatement", "src": "881:43:1" } ] }, "condition": { "arguments": [ { "name": "i", "nodeType": "YulIdentifier", "src": "848:1:1" }, { "name": "length", "nodeType": "YulIdentifier", "src": "851:6:1" } ], "functionName": { "name": "gt", "nodeType": "YulIdentifier", "src": "845:2:1" }, "nodeType": "YulFunctionCall", "src": "845:13:1" }, "nodeType": "YulIf", "src": "842:92:1" }, { "nodeType": "YulAssignment", "src": "943:63:1", "value": { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "959:9:1" }, { "arguments": [ { "arguments": [ { "name": "length", "nodeType": "YulIdentifier", "src": "978:6:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "986:2:1", "type": "", "value": "31" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "974:3:1" }, "nodeType": "YulFunctionCall", "src": "974:15:1" }, { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "995:2:1", "type": "", "value": "31" } ], "functionName": { "name": "not", "nodeType": "YulIdentifier", "src": "991:3:1" }, "nodeType": "YulFunctionCall", "src": "991:7:1" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "970:3:1" }, "nodeType": "YulFunctionCall", "src": "970:29:1" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "955:3:1" }, "nodeType": "YulFunctionCall", "src": "955:45:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1002:3:1", "type": "", "value": "128" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "951:3:1" }, "nodeType": "YulFunctionCall", "src": "951:55:1" }, "variableNames": [ { "name": "tail", "nodeType": "YulIdentifier", "src": "943:4:1" } ] }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "1026:9:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1037:4:1", "type": "", "value": "0x20" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "1022:3:1" }, "nodeType": "YulFunctionCall", "src": "1022:20:1" }, { "name": "value1", "nodeType": "YulIdentifier", "src": "1044:6:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1015:6:1" }, "nodeType": "YulFunctionCall", "src": "1015:36:1" }, "nodeType": "YulExpressionStatement", "src": "1015:36:1" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "1071:9:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1082:2:1", "type": "", "value": "64" } ], "functionName": { "name": "add", "nodeType": "YulIdentifier", "src": "1067:3:1" }, "nodeType": "YulFunctionCall", "src": "1067:18:1" }, { "arguments": [ { "name": "value2", "nodeType": "YulIdentifier", "src": "1091:6:1" }, { "arguments": [ { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1107:3:1", "type": "", "value": "160" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1112:1:1", "type": "", "value": "1" } ], "functionName": { "name": "shl", "nodeType": "YulIdentifier", "src": "1103:3:1" }, "nodeType": "YulFunctionCall", "src": "1103:11:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1116:1:1", "type": "", "value": "1" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1099:3:1" }, "nodeType": "YulFunctionCall", "src": "1099:19:1" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "1087:3:1" }, "nodeType": "YulFunctionCall", "src": "1087:32:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1060:6:1" }, "nodeType": "YulFunctionCall", "src": "1060:60:1" }, "nodeType": "YulExpressionStatement", "src": "1060:60:1" } ] }, "name": "abi_encode_tuple_t_string_memory_ptr_t_uint256_t_address__to_t_string_memory_ptr_t_uint256_t_address__fromStack_reversed", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nodeType": "YulTypedName", "src": "503:9:1", "type": "" }, { "name": "value2", "nodeType": "YulTypedName", "src": "514:6:1", "type": "" }, { "name": "value1", "nodeType": "YulTypedName", "src": "522:6:1", "type": "" }, { "name": "value0", "nodeType": "YulTypedName", "src": "530:6:1", "type": "" } ], "returnVariables": [ { "name": "tail", "nodeType": "YulTypedName", "src": "541:4:1", "type": "" } ], "src": "373:753:1" }, { "body": { "nodeType": "YulBlock", "src": "1201:110:1", "statements": [ { "body": { "nodeType": "YulBlock", "src": "1247:16:1", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1256:1:1", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1259:1:1", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "1249:6:1" }, "nodeType": "YulFunctionCall", "src": "1249:12:1" }, "nodeType": "YulExpressionStatement", "src": "1249:12:1" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nodeType": "YulIdentifier", "src": "1222:7:1" }, { "name": "headStart", "nodeType": "YulIdentifier", "src": "1231:9:1" } ], "functionName": { "name": "sub", "nodeType": "YulIdentifier", "src": "1218:3:1" }, "nodeType": "YulFunctionCall", "src": "1218:23:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1243:2:1", "type": "", "value": "32" } ], "functionName": { "name": "slt", "nodeType": "YulIdentifier", "src": "1214:3:1" }, "nodeType": "YulFunctionCall", "src": "1214:32:1" }, "nodeType": "YulIf", "src": "1211:52:1" }, { "nodeType": "YulAssignment", "src": "1272:33:1", "value": { "arguments": [ { "name": "headStart", "nodeType": "YulIdentifier", "src": "1295:9:1" } ], "functionName": { "name": "calldataload", "nodeType": "YulIdentifier", "src": "1282:12:1" }, "nodeType": "YulFunctionCall", "src": "1282:23:1" }, "variableNames": [ { "name": "value0", "nodeType": "YulIdentifier", "src": "1272:6:1" } ] } ] }, "name": "abi_decode_tuple_t_uint256", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nodeType": "YulTypedName", "src": "1167:9:1", "type": "" }, { "name": "dataEnd", "nodeType": "YulTypedName", "src": "1178:7:1", "type": "" } ], "returnVariables": [ { "name": "value0", "nodeType": "YulTypedName", "src": "1190:6:1", "type": "" } ], "src": "1131:180:1" }, { "body": { "nodeType": "YulBlock", "src": "1348:95:1", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1365:1:1", "type": "", "value": "0" }, { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1372:3:1", "type": "", "value": "224" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1377:10:1", "type": "", "value": "0x4e487b71" } ], "functionName": { "name": "shl", "nodeType": "YulIdentifier", "src": "1368:3:1" }, "nodeType": "YulFunctionCall", "src": "1368:20:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1358:6:1" }, "nodeType": "YulFunctionCall", "src": "1358:31:1" }, "nodeType": "YulExpressionStatement", "src": "1358:31:1" }, { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1405:1:1", "type": "", "value": "4" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1408:4:1", "type": "", "value": "0x32" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1398:6:1" }, "nodeType": "YulFunctionCall", "src": "1398:15:1" }, "nodeType": "YulExpressionStatement", "src": "1398:15:1" }, { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1429:1:1", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1432:4:1", "type": "", "value": "0x24" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "1422:6:1" }, "nodeType": "YulFunctionCall", "src": "1422:15:1" }, "nodeType": "YulExpressionStatement", "src": "1422:15:1" } ] }, "name": "panic_error_0x32", "nodeType": "YulFunctionDefinition", "src": "1316:127:1" }, { "body": { "nodeType": "YulBlock", "src": "1503:325:1", "statements": [ { "nodeType": "YulAssignment", "src": "1513:22:1", "value": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1527:1:1", "type": "", "value": "1" }, { "name": "data", "nodeType": "YulIdentifier", "src": "1530:4:1" } ], "functionName": { "name": "shr", "nodeType": "YulIdentifier", "src": "1523:3:1" }, "nodeType": "YulFunctionCall", "src": "1523:12:1" }, "variableNames": [ { "name": "length", "nodeType": "YulIdentifier", "src": "1513:6:1" } ] }, { "nodeType": "YulVariableDeclaration", "src": "1544:38:1", "value": { "arguments": [ { "name": "data", "nodeType": "YulIdentifier", "src": "1574:4:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1580:1:1", "type": "", "value": "1" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "1570:3:1" }, "nodeType": "YulFunctionCall", "src": "1570:12:1" }, "variables": [ { "name": "outOfPlaceEncoding", "nodeType": "YulTypedName", "src": "1548:18:1", "type": "" } ] }, { "body": { "nodeType": "YulBlock", "src": "1621:31:1", "statements": [ { "nodeType": "YulAssignment", "src": "1623:27:1", "value": { "arguments": [ { "name": "length", "nodeType": "YulIdentifier", "src": "1637:6:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1645:4:1", "type": "", "value": "0x7f" } ], "functionName": { "name": "and", "nodeType": "YulIdentifier", "src": "1633:3:1" }, "nodeType": "YulFunctionCall", "src": "1633:17:1" }, "variableNames": [ { "name": "length", "nodeType": "YulIdentifier", "src": "1623:6:1" } ] } ] }, "condition": { "arguments": [ { "name": "outOfPlaceEncoding", "nodeType": "YulIdentifier", "src": "1601:18:1" } ], "functionName": { "name": "iszero", "nodeType": "YulIdentifier", "src": "1594:6:1" }, "nodeType": "YulFunctionCall", "src": "1594:26:1" }, "nodeType": "YulIf", "src": "1591:61:1" }, { "body": { "nodeType": "YulBlock", "src": "1711:111:1", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1732:1:1", "type": "", "value": "0" }, { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1739:3:1", "type": "", "value": "224" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1744:10:1", "type": "", "value": "0x4e487b71" } ], "functionName": { "name": "shl", "nodeType": "YulIdentifier", "src": "1735:3:1" }, "nodeType": "YulFunctionCall", "src": "1735:20:1" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1725:6:1" }, "nodeType": "YulFunctionCall", "src": "1725:31:1" }, "nodeType": "YulExpressionStatement", "src": "1725:31:1" }, { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1776:1:1", "type": "", "value": "4" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1779:4:1", "type": "", "value": "0x22" } ], "functionName": { "name": "mstore", "nodeType": "YulIdentifier", "src": "1769:6:1" }, "nodeType": "YulFunctionCall", "src": "1769:15:1" }, "nodeType": "YulExpressionStatement", "src": "1769:15:1" }, { "expression": { "arguments": [ { "kind": "number", "nodeType": "YulLiteral", "src": "1804:1:1", "type": "", "value": "0" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1807:4:1", "type": "", "value": "0x24" } ], "functionName": { "name": "revert", "nodeType": "YulIdentifier", "src": "1797:6:1" }, "nodeType": "YulFunctionCall", "src": "1797:15:1" }, "nodeType": "YulExpressionStatement", "src": "1797:15:1" } ] }, "condition": { "arguments": [ { "name": "outOfPlaceEncoding", "nodeType": "YulIdentifier", "src": "1667:18:1" }, { "arguments": [ { "name": "length", "nodeType": "YulIdentifier", "src": "1690:6:1" }, { "kind": "number", "nodeType": "YulLiteral", "src": "1698:2:1", "type": "", "value": "32" } ], "functionName": { "name": "lt", "nodeType": "YulIdentifier", "src": "1687:2:1" }, "nodeType": "YulFunctionCall", "src": "1687:14:1" } ], "functionName": { "name": "eq", "nodeType": "YulIdentifier", "src": "1664:2:1" }, "nodeType": "YulFunctionCall", "src": "1664:38:1" }, "nodeType": "YulIf", "src": "1661:161:1" } ] }, "name": "extract_byte_array_length", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "data", "nodeType": "YulTypedName", "src": "1483:4:1", "type": "" } ], "returnVariables": [ { "name": "length", "nodeType": "YulTypedName", "src": "1492:6:1", "type": "" } ], "src": "1448:380:1" } ] }, "contents": "{\n { }\n function abi_decode_tuple_t_addresst_uint256(headStart, dataEnd) -> value0, value1\n {\n if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n let value := calldataload(headStart)\n if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n value0 := value\n value1 := calldataload(add(headStart, 32))\n }\n function abi_encode_tuple_t_string_memory_ptr_t_uint256_t_address__to_t_string_memory_ptr_t_uint256_t_address__fromStack_reversed(headStart, value2, value1, value0) -> tail\n {\n mstore(headStart, 96)\n let length := mload(value0)\n mstore(add(headStart, 96), length)\n let i := 0\n for { } lt(i, length) { i := add(i, 0x20) }\n {\n mstore(add(add(headStart, i), 128), mload(add(add(value0, i), 0x20)))\n }\n if gt(i, length)\n {\n mstore(add(add(headStart, length), 128), 0)\n }\n tail := add(add(headStart, and(add(length, 31), not(31))), 128)\n mstore(add(headStart, 0x20), value1)\n mstore(add(headStart, 64), and(value2, sub(shl(160, 1), 1)))\n }\n function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := calldataload(headStart)\n }\n function panic_error_0x32()\n {\n mstore(0, shl(224, 0x4e487b71))\n mstore(4, 0x32)\n revert(0, 0x24)\n }\n function extract_byte_array_length(data) -> length\n {\n length := shr(1, data)\n let outOfPlaceEncoding := and(data, 1)\n if iszero(outOfPlaceEncoding) { length := and(length, 0x7f) }\n if eq(outOfPlaceEncoding, lt(length, 32))\n {\n mstore(0, shl(224, 0x4e487b71))\n mstore(4, 0x22)\n revert(0, 0x24)\n }\n }\n}", "id": 1, "language": "Yul", "name": "#utility.yul" } ], "immutableReferences": {}, "linkReferences": {}, "object": "608060405234801561001057600080fd5b506004361061004c5760003560e01c8063335d00c2146100515780639b3e27871461005b578063ee26fac314610086578063f7746e361461008e575b600080fd5b6100596100a1565b005b61006e610069366004610673565b610482565b60405161007d939291906106ab565b60405180910390f35b61006e61055b565b61006e61009c366004610718565b61056a565b6040805160a080820183526006606080840191825265546f796f746160d01b6080808601919091529184526107e160208086019190915233858701819052865194850187526004858401818152634175646960e01b958701959095529385526107e2858301528487018190528651808401885292835260008383018181528489018281528951808b01909a5295895263119bdc9960e21b898501529784526107df909752909252600380546001810182559581905284518051959694959294879492026000805160206107828339815191520192610182928492019061059d565b50602082810151600180840191909155604090930151600290920180546001600160a01b039093166001600160a01b031990931692909217909155600380549283018155600081905284518051869490920260008051602061078283398151915201926101f49284929091019061059d565b50602082810151600180840191909155604090930151600290920180546001600160a01b039093166001600160a01b031990931692909217909155600380549283018155600081905283518051859490920260008051602061078283398151915201926102669284929091019061059d565b50602082810151600180840191909155604093840151600290930180546001600160a01b039094166001600160a01b031990941693909317909255825160a08101845260056060820190815264486f6e646160d81b608083015281526107e0818301523393810193909352600380549283018155600081905283518051939091026000805160206107828339815191520192610305928492019061059d565b506020820151816001015560408201518160020160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555050506000600360008154811061035557610355610731565b906000526020600020906003020160405180606001604052908160008201805461037e90610747565b80601f01602080910402602001604051908101604052809291908181526020018280546103aa90610747565b80156103f75780601f106103cc576101008083540402835291602001916103f7565b820191906000526020600020905b8154815290600101906020018083116103da57829003601f168201915b50505091835250506001828101546020808401919091526002909301546001600160a01b03166040928301526107e6928401929092526000908301526003805492935091811061044957610449610731565b600091825260208220600390910201906104638282610621565b506000600182015560020180546001600160a01b031916905550505050565b6004602052816000526040600020818154811061049e57600080fd5b9060005260206000209060030201600091509150508060000180546104c290610747565b80601f01602080910402602001604051908101604052809291908181526020018280546104ee90610747565b801561053b5780601f106105105761010080835404028352916020019161053b565b820191906000526020600020905b81548152906001019060200180831161051e57829003601f168201915b5050505060018301546002909301549192916001600160a01b0316905083565b6000805481906104c290610747565b6003818154811061057a57600080fd5b90600052602060002090600302016000915090508060000180546104c290610747565b8280546105a990610747565b90600052602060002090601f0160209004810192826105cb5760008555610611565b82601f106105e457805160ff1916838001178555610611565b82800160010185558215610611579182015b828111156106115782518255916020019190600101906105f6565b5061061d92915061065e565b5090565b50805461062d90610747565b6000825580601f1061063d575050565b601f01602090049060005260206000209081019061065b919061065e565b50565b5b8082111561061d576000815560010161065f565b6000806040838503121561068657600080fd5b82356001600160a01b038116811461069d57600080fd5b946020939093013593505050565b606081526000845180606084015260005b818110156106d957602081880181015160808684010152016106bc565b818111156106eb576000608083860101525b506020830194909452506001600160a01b039190911660408201526080601f909201601f19160101919050565b60006020828403121561072a57600080fd5b5035919050565b634e487b7160e01b600052603260045260246000fd5b600181811c9082168061075b57607f821691505b60208210810361077b57634e487b7160e01b600052602260045260246000fd5b5091905056fec2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85ba26469706673582212201ddb430c2afca9261d27f2f8adf20c42c9053143157d5e2639ee05b53a5404d764736f6c634300080d0033", "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x4C JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x335D00C2 EQ PUSH2 0x51 JUMPI DUP1 PUSH4 0x9B3E2787 EQ PUSH2 0x5B JUMPI DUP1 PUSH4 0xEE26FAC3 EQ PUSH2 0x86 JUMPI DUP1 PUSH4 0xF7746E36 EQ PUSH2 0x8E JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x59 PUSH2 0xA1 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x6E PUSH2 0x69 CALLDATASIZE PUSH1 0x4 PUSH2 0x673 JUMP JUMPDEST PUSH2 0x482 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x7D SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x6AB JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x6E PUSH2 0x55B JUMP JUMPDEST PUSH2 0x6E PUSH2 0x9C CALLDATASIZE PUSH1 0x4 PUSH2 0x718 JUMP JUMPDEST PUSH2 0x56A JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xA0 DUP1 DUP3 ADD DUP4 MSTORE PUSH1 0x6 PUSH1 0x60 DUP1 DUP5 ADD SWAP2 DUP3 MSTORE PUSH6 0x546F796F7461 PUSH1 0xD0 SHL PUSH1 0x80 DUP1 DUP7 ADD SWAP2 SWAP1 SWAP2 MSTORE SWAP2 DUP5 MSTORE PUSH2 0x7E1 PUSH1 0x20 DUP1 DUP7 ADD SWAP2 SWAP1 SWAP2 MSTORE CALLER DUP6 DUP8 ADD DUP2 SWAP1 MSTORE DUP7 MLOAD SWAP5 DUP6 ADD DUP8 MSTORE PUSH1 0x4 DUP6 DUP5 ADD DUP2 DUP2 MSTORE PUSH4 0x41756469 PUSH1 0xE0 SHL SWAP6 DUP8 ADD SWAP6 SWAP1 SWAP6 MSTORE SWAP4 DUP6 MSTORE PUSH2 0x7E2 DUP6 DUP4 ADD MSTORE DUP5 DUP8 ADD DUP2 SWAP1 MSTORE DUP7 MLOAD DUP1 DUP5 ADD DUP9 MSTORE SWAP3 DUP4 MSTORE PUSH1 0x0 DUP4 DUP4 ADD DUP2 DUP2 MSTORE DUP5 DUP10 ADD DUP3 DUP2 MSTORE DUP10 MLOAD DUP1 DUP12 ADD SWAP1 SWAP11 MSTORE SWAP6 DUP10 MSTORE PUSH4 0x119BDC99 PUSH1 0xE2 SHL DUP10 DUP6 ADD MSTORE SWAP8 DUP5 MSTORE PUSH2 0x7DF SWAP1 SWAP8 MSTORE SWAP1 SWAP3 MSTORE PUSH1 0x3 DUP1 SLOAD PUSH1 0x1 DUP2 ADD DUP3 SSTORE SWAP6 DUP2 SWAP1 MSTORE DUP5 MLOAD DUP1 MLOAD SWAP6 SWAP7 SWAP5 SWAP6 SWAP3 SWAP5 DUP8 SWAP5 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x182 SWAP3 DUP5 SWAP3 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP1 SWAP4 ADD MLOAD PUSH1 0x2 SWAP1 SWAP3 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP4 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP4 AND SWAP3 SWAP1 SWAP3 OR SWAP1 SWAP2 SSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP5 MLOAD DUP1 MLOAD DUP7 SWAP5 SWAP1 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x1F4 SWAP3 DUP5 SWAP3 SWAP1 SWAP2 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP1 SWAP4 ADD MLOAD PUSH1 0x2 SWAP1 SWAP3 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP4 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP4 AND SWAP3 SWAP1 SWAP3 OR SWAP1 SWAP2 SSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP4 MLOAD DUP1 MLOAD DUP6 SWAP5 SWAP1 SWAP3 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x266 SWAP3 DUP5 SWAP3 SWAP1 SWAP2 ADD SWAP1 PUSH2 0x59D JUMP JUMPDEST POP PUSH1 0x20 DUP3 DUP2 ADD MLOAD PUSH1 0x1 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 SSTORE PUSH1 0x40 SWAP4 DUP5 ADD MLOAD PUSH1 0x2 SWAP1 SWAP4 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP1 SWAP5 AND PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT SWAP1 SWAP5 AND SWAP4 SWAP1 SWAP4 OR SWAP1 SWAP3 SSTORE DUP3 MLOAD PUSH1 0xA0 DUP2 ADD DUP5 MSTORE PUSH1 0x5 PUSH1 0x60 DUP3 ADD SWAP1 DUP2 MSTORE PUSH5 0x486F6E6461 PUSH1 0xD8 SHL PUSH1 0x80 DUP4 ADD MSTORE DUP2 MSTORE PUSH2 0x7E0 DUP2 DUP4 ADD MSTORE CALLER SWAP4 DUP2 ADD SWAP4 SWAP1 SWAP4 MSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 DUP4 ADD DUP2 SSTORE PUSH1 0x0 DUP2 SWAP1 MSTORE DUP4 MLOAD DUP1 MLOAD SWAP4 SWAP1 SWAP2 MUL PUSH1 0x0 DUP1 MLOAD PUSH1 0x20 PUSH2 0x782 DUP4 CODECOPY DUP2 MLOAD SWAP2 MSTORE ADD SWAP3 PUSH2 0x305 SWAP3 DUP5 SWAP3 ADD SWAP1 PUSH2 0x59D 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 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB MUL NOT AND SWAP1 DUP4 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND MUL OR SWAP1 SSTORE POP POP POP PUSH1 0x0 PUSH1 0x3 PUSH1 0x0 DUP2 SLOAD DUP2 LT PUSH2 0x355 JUMPI PUSH2 0x355 PUSH2 0x731 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x40 MLOAD DUP1 PUSH1 0x60 ADD PUSH1 0x40 MSTORE SWAP1 DUP2 PUSH1 0x0 DUP3 ADD DUP1 SLOAD PUSH2 0x37E SWAP1 PUSH2 0x747 JUMP JUMPDEST 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 PUSH2 0x3AA SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP1 ISZERO PUSH2 0x3F7 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x3CC JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x3F7 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 0x3DA JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP SWAP2 DUP4 MSTORE POP POP PUSH1 0x1 DUP3 DUP2 ADD SLOAD PUSH1 0x20 DUP1 DUP5 ADD SWAP2 SWAP1 SWAP2 MSTORE PUSH1 0x2 SWAP1 SWAP4 ADD SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH1 0x40 SWAP3 DUP4 ADD MSTORE PUSH2 0x7E6 SWAP3 DUP5 ADD SWAP3 SWAP1 SWAP3 MSTORE PUSH1 0x0 SWAP1 DUP4 ADD MSTORE PUSH1 0x3 DUP1 SLOAD SWAP3 SWAP4 POP SWAP2 DUP2 LT PUSH2 0x449 JUMPI PUSH2 0x449 PUSH2 0x731 JUMP JUMPDEST PUSH1 0x0 SWAP2 DUP3 MSTORE PUSH1 0x20 DUP3 KECCAK256 PUSH1 0x3 SWAP1 SWAP2 MUL ADD SWAP1 PUSH2 0x463 DUP3 DUP3 PUSH2 0x621 JUMP JUMPDEST POP PUSH1 0x0 PUSH1 0x1 DUP3 ADD SSTORE PUSH1 0x2 ADD DUP1 SLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB NOT AND SWAP1 SSTORE POP POP POP POP JUMP JUMPDEST PUSH1 0x4 PUSH1 0x20 MSTORE DUP2 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x49E JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x0 SWAP2 POP SWAP2 POP POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST 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 PUSH2 0x4EE SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP1 ISZERO PUSH2 0x53B JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x510 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x53B 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 0x51E JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP PUSH1 0x1 DUP4 ADD SLOAD PUSH1 0x2 SWAP1 SWAP4 ADD SLOAD SWAP2 SWAP3 SWAP2 PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND SWAP1 POP DUP4 JUMP JUMPDEST PUSH1 0x0 DUP1 SLOAD DUP2 SWAP1 PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST PUSH1 0x3 DUP2 DUP2 SLOAD DUP2 LT PUSH2 0x57A JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x3 MUL ADD PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD DUP1 SLOAD PUSH2 0x4C2 SWAP1 PUSH2 0x747 JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH2 0x5A9 SWAP1 PUSH2 0x747 JUMP JUMPDEST SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH2 0x5CB JUMPI PUSH1 0x0 DUP6 SSTORE PUSH2 0x611 JUMP JUMPDEST DUP3 PUSH1 0x1F LT PUSH2 0x5E4 JUMPI DUP1 MLOAD PUSH1 0xFF NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x611 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x1 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x611 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x611 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x1 ADD SWAP1 PUSH2 0x5F6 JUMP JUMPDEST POP PUSH2 0x61D SWAP3 SWAP2 POP PUSH2 0x65E JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST POP DUP1 SLOAD PUSH2 0x62D SWAP1 PUSH2 0x747 JUMP JUMPDEST PUSH1 0x0 DUP3 SSTORE DUP1 PUSH1 0x1F LT PUSH2 0x63D JUMPI POP POP JUMP JUMPDEST PUSH1 0x1F ADD PUSH1 0x20 SWAP1 DIV SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 DUP2 ADD SWAP1 PUSH2 0x65B SWAP2 SWAP1 PUSH2 0x65E JUMP JUMPDEST POP JUMP JUMPDEST JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x61D JUMPI PUSH1 0x0 DUP2 SSTORE PUSH1 0x1 ADD PUSH2 0x65F JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x40 DUP4 DUP6 SUB SLT ISZERO PUSH2 0x686 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND DUP2 EQ PUSH2 0x69D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP5 PUSH1 0x20 SWAP4 SWAP1 SWAP4 ADD CALLDATALOAD SWAP4 POP POP POP JUMP JUMPDEST PUSH1 0x60 DUP2 MSTORE PUSH1 0x0 DUP5 MLOAD DUP1 PUSH1 0x60 DUP5 ADD MSTORE PUSH1 0x0 JUMPDEST DUP2 DUP2 LT ISZERO PUSH2 0x6D9 JUMPI PUSH1 0x20 DUP2 DUP9 ADD DUP2 ADD MLOAD PUSH1 0x80 DUP7 DUP5 ADD ADD MSTORE ADD PUSH2 0x6BC JUMP JUMPDEST DUP2 DUP2 GT ISZERO PUSH2 0x6EB JUMPI PUSH1 0x0 PUSH1 0x80 DUP4 DUP7 ADD ADD MSTORE JUMPDEST POP PUSH1 0x20 DUP4 ADD SWAP5 SWAP1 SWAP5 MSTORE POP PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB SWAP2 SWAP1 SWAP2 AND PUSH1 0x40 DUP3 ADD MSTORE PUSH1 0x80 PUSH1 0x1F SWAP1 SWAP3 ADD PUSH1 0x1F NOT AND ADD ADD SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x72A JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP CALLDATALOAD SWAP2 SWAP1 POP JUMP JUMPDEST PUSH4 0x4E487B71 PUSH1 0xE0 SHL PUSH1 0x0 MSTORE PUSH1 0x32 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST PUSH1 0x1 DUP2 DUP2 SHR SWAP1 DUP3 AND DUP1 PUSH2 0x75B JUMPI PUSH1 0x7F DUP3 AND SWAP2 POP JUMPDEST PUSH1 0x20 DUP3 LT DUP2 SUB PUSH2 0x77B JUMPI PUSH4 0x4E487B71 PUSH1 0xE0 SHL PUSH1 0x0 MSTORE PUSH1 0x22 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST POP SWAP2 SWAP1 POP JUMP INVALID 0xC2 JUMPI GAS 0xE SWAP15 MSIZE EXTCODECOPY STOP 0xF9 MSIZE 0xF8 0xC9 0x2F SLT 0xDB 0x28 PUSH10 0xC3395A3B0502D05E2516 DIFFICULTY PUSH16 0x71F85BA26469706673582212201DDB43 0xC 0x2A 0xFC 0xA9 0x26 SAR 0x27 CALLCODE 0xF8 0xAD CALLCODE 0xC TIMESTAMP 0xC9 SDIV BALANCE NUMBER ISZERO PUSH30 0x5E2639EE05B53A5404D764736F6C634300080D0033000000000000000000 ", "sourceMap": "151:764:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;352:560;;;:::i;:::-;;306:39;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;;;263:14;;;:::i;283:17::-;;;;;;:::i;:::-;;:::i;352:560::-;409:31;;;;;;;;;;;;;;;;;-1:-1:-1;;;409:31:0;;;;;;;;;;;423:4;409:31;;;;;;;;429:10;409:31;;;;;;468:51;;;;;;;;;;;;;;-1:-1:-1;;;468:51:0;;;;;;;;;;494:4;468:51;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;;;;;554:19:0;;;;;;;;;;;-1:-1:-1;;;554:19:0;;;;;;;595:4;583:16;;;609:23;;;651:4;:15;;;;;;;;;;;;;;;409:31;;468:51;;-1:-1:-1;;409:31:0;;651:15;;-1:-1:-1;;;;;;;;;;;651:15:0;;;;;;;;;:::i;:::-;-1:-1:-1;651:15:0;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;651:15:0;;;-1:-1:-1;;;;;;651:15:0;;;;;;;;;;676:4;:15;;;;;;;651;676;;;;;;;686:4;;676:15;;;-1:-1:-1;;;;;;;;;;;676:15:0;;;;;;;;;;;:::i;:::-;-1:-1:-1;676:15:0;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;676:15:0;;;-1:-1:-1;;;;;;676:15:0;;;;;;;;;;709:4;:15;;;;;;;676;709;;;;;;;719:4;;709:15;;;-1:-1:-1;;;;;;;;;;;709:15:0;;;;;;;;;;;:::i;:::-;-1:-1:-1;709:15:0;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;709:15:0;;;-1:-1:-1;;;;;;709:15:0;;;;;;;;;;745:30;;;;;;;;;;;;;;-1:-1:-1;;;745:30:0;;;;;;758:4;745:30;;;;764:10;745:30;;;;;;;735:4;:41;;;;;;;709:15;735:41;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;735:41:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;735:41:0;;;;;-1:-1:-1;;;;;735:41:0;;;;;;;;787:15;805:4;810:1;805:7;;;;;;;;:::i;:::-;;;;;;;;;;;787:25;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;787:25:0;;;-1:-1:-1;;787:25:0;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;787:25:0;;;;;;849:4;837:9;;;:16;;;;-1:-1:-1;871:10:0;;;864:17;898:4;:7;;787:25;;-1:-1:-1;898:4:0;:7;;;;;;:::i;:::-;;;;;;;;;;;;;;891:14;898:7;;891:14;:::i;:::-;-1:-1:-1;891:14:0;;;;;;;;;-1:-1:-1;;;;;;891:14:0;;;-1:-1:-1;;;;352:560:0:o;306:39::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;306:39:0;;;;;;;;;;;;-1:-1:-1;;;;;306:39:0;;-1:-1:-1;306:39:0;:::o;263:14::-;;;;;;;;;:::i;283:17::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;-1:-1:-1:-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;:::i;:::-;;;;;;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::o;:::-;;;;;;;;;;;;;;;14:354:1;82:6;90;143:2;131:9;122:7;118:23;114:32;111:52;;;159:1;156;149:12;111:52;185:23;;-1:-1:-1;;;;;237:31:1;;227:42;;217:70;;283:1;280;273:12;217:70;306:5;358:2;343:18;;;;330:32;;-1:-1:-1;;;14:354:1:o;373:753::-;578:2;567:9;560:21;541:4;610:6;604:13;653:6;648:2;637:9;633:18;626:34;678:1;688:145;702:6;699:1;696:13;688:145;;;816:4;800:14;;;796:25;;790:32;784:3;765:17;;;761:27;754:69;717:12;688:145;;;851:6;848:1;845:13;842:92;;;922:1;916:3;907:6;896:9;892:22;888:32;881:43;842:92;-1:-1:-1;1037:4:1;1022:20;;1015:36;;;;-1:-1:-1;;;;;;1087:32:1;;;;1082:2;1067:18;;1060:60;1002:3;995:2;974:15;;;-1:-1:-1;;970:29:1;955:45;951:55;;;-1:-1:-1;373:753:1:o;1131:180::-;1190:6;1243:2;1231:9;1222:7;1218:23;1214:32;1211:52;;;1259:1;1256;1249:12;1211:52;-1:-1:-1;1282:23:1;;1131:180;-1:-1:-1;1131:180:1:o;1316:127::-;1377:10;1372:3;1368:20;1365:1;1358:31;1408:4;1405:1;1398:15;1432:4;1429:1;1422:15;1448:380;1527:1;1523:12;;;;1570;;;1591:61;;1645:4;1637:6;1633:17;1623:27;;1591:61;1698:2;1690:6;1687:14;1667:18;1664:38;1661:161;;1744:10;1739:3;1735:20;1732:1;1725:31;1779:4;1776:1;1769:15;1807:4;1804:1;1797:15;1661:161;;1448:380;;;:::o" }, "gasEstimates": { "creation": { "codeDepositCost": "401400", "executionCost": "436", "totalCost": "401836" }, "external": { "car()": "infinite", "cars(uint256)": "infinite", "examples()": "infinite", "owners(address,uint256)": "infinite" } }, "legacyAssembly": { ".code": [ { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "80" }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 151, "end": 915, "name": "MSTORE", "source": 0 }, { "begin": 151, "end": 915, "name": "CALLVALUE", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "ISZERO", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "1" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "REVERT", "source": 0 }, { "begin": 151, "end": 915, "name": "tag", "source": 0, "value": "1" }, { "begin": 151, "end": 915, "name": "JUMPDEST", "source": 0 }, { "begin": 151, "end": 915, "name": "POP", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH #[$]", "source": 0, "value": "0000000000000000000000000000000000000000000000000000000000000000" }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [$]", "source": 0, "value": "0000000000000000000000000000000000000000000000000000000000000000" }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "CODECOPY", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "RETURN", "source": 0 } ], ".data": { "0": { ".auxdata": "a26469706673582212201ddb430c2afca9261d27f2f8adf20c42c9053143157d5e2639ee05b53a5404d764736f6c634300080d0033", ".code": [ { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "80" }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 151, "end": 915, "name": "MSTORE", "source": 0 }, { "begin": 151, "end": 915, "name": "CALLVALUE", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "ISZERO", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "1" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "REVERT", "source": 0 }, { "begin": 151, "end": 915, "name": "tag", "source": 0, "value": "1" }, { "begin": 151, "end": 915, "name": "JUMPDEST", "source": 0 }, { "begin": 151, "end": 915, "name": "POP", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "4" }, { "begin": 151, "end": 915, "name": "CALLDATASIZE", "source": 0 }, { "begin": 151, "end": 915, "name": "LT", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "2" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "CALLDATALOAD", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "E0" }, { "begin": 151, "end": 915, "name": "SHR", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "335D00C2" }, { "begin": 151, "end": 915, "name": "EQ", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "3" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "9B3E2787" }, { "begin": 151, "end": 915, "name": "EQ", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "4" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "EE26FAC3" }, { "begin": 151, "end": 915, "name": "EQ", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "5" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "F7746E36" }, { "begin": 151, "end": 915, "name": "EQ", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH [tag]", "source": 0, "value": "6" }, { "begin": 151, "end": 915, "name": "JUMPI", "source": 0 }, { "begin": 151, "end": 915, "name": "tag", "source": 0, "value": "2" }, { "begin": 151, "end": 915, "name": "JUMPDEST", "source": 0 }, { "begin": 151, "end": 915, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 151, "end": 915, "name": "DUP1", "source": 0 }, { "begin": 151, "end": 915, "name": "REVERT", "source": 0 }, { "begin": 352, "end": 912, "name": "tag", "source": 0, "value": "3" }, { "begin": 352, "end": 912, "name": "JUMPDEST", "source": 0 }, { "begin": 352, "end": 912, "name": "PUSH [tag]", "source": 0, "value": "7" }, { "begin": 352, "end": 912, "name": "PUSH [tag]", "source": 0, "value": "8" }, { "begin": 352, "end": 912, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 352, "end": 912, "name": "tag", "source": 0, "value": "7" }, { "begin": 352, "end": 912, "name": "JUMPDEST", "source": 0 }, { "begin": 352, "end": 912, "name": "STOP", "source": 0 }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "4" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "9" }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "10" }, { "begin": 306, "end": 345, "name": "CALLDATASIZE", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "4" }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "11" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "10" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "12" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "9" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "MLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "13" }, { "begin": 306, "end": 345, "name": "SWAP4", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP3", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "14" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "13" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "MLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SUB", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "RETURN", "source": 0 }, { "begin": 263, "end": 277, "name": "tag", "source": 0, "value": "5" }, { "begin": 263, "end": 277, "name": "JUMPDEST", "source": 0 }, { "begin": 263, "end": 277, "name": "PUSH [tag]", "source": 0, "value": "9" }, { "begin": 263, "end": 277, "name": "PUSH [tag]", "source": 0, "value": "16" }, { "begin": 263, "end": 277, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 283, "end": 300, "name": "tag", "source": 0, "value": "6" }, { "begin": 283, "end": 300, "name": "JUMPDEST", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "9" }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "19" }, { "begin": 283, "end": 300, "name": "CALLDATASIZE", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "4" }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "20" }, { "begin": 283, "end": 300, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 283, "end": 300, "name": "tag", "source": 0, "value": "19" }, { "begin": 283, "end": 300, "name": "JUMPDEST", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "21" }, { "begin": 283, "end": 300, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 352, "end": 912, "name": "tag", "source": 0, "value": "8" }, { "begin": 352, "end": 912, "name": "JUMPDEST", "source": 0 }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 409, "end": 440, "name": "DUP1", "source": 0 }, { "begin": 409, "end": 440, "name": "MLOAD", "source": 0 }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "A0" }, { "begin": 409, "end": 440, "name": "DUP1", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP3", "source": 0 }, { "begin": 409, "end": 440, "name": "ADD", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP4", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "6" }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "60" }, { "begin": 409, "end": 440, "name": "DUP1", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP5", "source": 0 }, { "begin": 409, "end": 440, "name": "ADD", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP3", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "546F796F7461" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "D0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "80" }, { "begin": 409, "end": 440, "name": "DUP1", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP7", "source": 0 }, { "begin": 409, "end": 440, "name": "ADD", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP1", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP5", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": 423, "end": 427, "name": "PUSH", "source": 0, "value": "7E1" }, { "begin": 409, "end": 440, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 409, "end": 440, "name": "DUP1", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP7", "source": 0 }, { "begin": 409, "end": 440, "name": "ADD", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP1", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP2", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": 429, "end": 439, "name": "CALLER", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP6", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP8", "source": 0 }, { "begin": 409, "end": 440, "name": "ADD", "source": 0 }, { "begin": 409, "end": 440, "name": "DUP2", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP1", "source": 0 }, { "begin": 409, "end": 440, "name": "MSTORE", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP7", "source": 0 }, { "begin": 468, "end": 519, "name": "MLOAD", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP5", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP6", "source": 0 }, { "begin": 468, "end": 519, "name": "ADD", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP8", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": 468, "end": 519, "name": "PUSH", "source": 0, "value": "4" }, { "begin": 468, "end": 519, "name": "DUP6", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP5", "source": 0 }, { "begin": 468, "end": 519, "name": "ADD", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP2", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP2", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "41756469" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "E0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": 468, "end": 519, "name": "SWAP6", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP8", "source": 0 }, { "begin": 468, "end": 519, "name": "ADD", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP6", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP1", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP6", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP4", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP6", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": 494, "end": 498, "name": "PUSH", "source": 0, "value": "7E2" }, { "begin": 468, "end": 519, "name": "DUP6", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP4", "source": 0 }, { "begin": 468, "end": 519, "name": "ADD", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP5", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP8", "source": 0 }, { "begin": 468, "end": 519, "name": "ADD", "source": 0 }, { "begin": 468, "end": 519, "name": "DUP2", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP1", "source": 0 }, { "begin": 468, "end": 519, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "DUP7", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP5", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP9", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP5", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP10", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": 554, "end": 573, "name": "DUP10", "source": 0 }, { "begin": 554, "end": 573, "name": "MLOAD", "source": 0 }, { "begin": 554, "end": 573, "name": "DUP1", "source": 0 }, { "begin": 554, "end": 573, "name": "DUP12", "source": 0 }, { "begin": 554, "end": 573, "name": "ADD", "source": 0 }, { "begin": 554, "end": 573, "name": "SWAP1", "source": 0 }, { "begin": 554, "end": 573, "name": "SWAP11", "source": 0 }, { "begin": 554, "end": 573, "name": "MSTORE", "source": 0 }, { "begin": 554, "end": 573, "name": "SWAP6", "source": 0 }, { "begin": 554, "end": 573, "name": "DUP10", "source": 0 }, { "begin": 554, "end": 573, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "119BDC99" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "E2" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": 554, "end": 573, "name": "DUP10", "source": 0 }, { "begin": 554, "end": 573, "name": "DUP6", "source": 0 }, { "begin": 554, "end": 573, "name": "ADD", "source": 0 }, { "begin": 554, "end": 573, "name": "MSTORE", "source": 0 }, { "begin": 554, "end": 573, "name": "SWAP8", "source": 0 }, { "begin": 554, "end": 573, "name": "DUP5", "source": 0 }, { "begin": 554, "end": 573, "name": "MSTORE", "source": 0 }, { "begin": 595, "end": 599, "name": "PUSH", "source": 0, "value": "7DF" }, { "begin": 583, "end": 599, "name": "SWAP1", "source": 0 }, { "begin": 583, "end": 599, "name": "SWAP8", "source": 0 }, { "begin": 583, "end": 599, "name": "MSTORE", "source": 0 }, { "begin": 609, "end": 632, "name": "SWAP1", "source": 0 }, { "begin": 609, "end": 632, "name": "SWAP3", "source": 0 }, { "begin": 609, "end": 632, "name": "MSTORE", "source": 0 }, { "begin": 651, "end": 655, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 651, "end": 666, "name": "DUP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SLOAD", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 651, "end": 666, "name": "DUP2", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP3", "source": 0 }, { "begin": 651, "end": 666, "name": "SSTORE", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP6", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP2", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "MSTORE", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP5", "source": 0 }, { "begin": 651, "end": 666, "name": "MLOAD", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP1", "source": 0 }, { "begin": 651, "end": 666, "name": "MLOAD", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP6", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP7", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP5", "source": 0 }, { "begin": 468, "end": 519, "name": "SWAP6", "source": 0 }, { "begin": -1, "end": -1, "name": "SWAP3", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP5", "source": -1 }, { "begin": 409, "end": 440, "name": "DUP8", "source": 0 }, { "begin": 409, "end": 440, "name": "SWAP5", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "MUL", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH data", "source": -1, "value": "2584DB4A68AA8B172F70BC04E2E74541617C003374DE6EB4B295E823E5BEAB01" }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "CODECOPY", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH [tag]", "source": 0, "value": "27" }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP5", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH [tag]", "source": 0, "value": "28" }, { "begin": 651, "end": 666, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 651, "end": 666, "name": "tag", "source": 0, "value": "27" }, { "begin": 651, "end": 666, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 651, "end": 666, "name": "DUP3", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP2", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "MLOAD", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 651, "end": 666, "name": "DUP1", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP5", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP2", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP2", "source": 0 }, { "begin": 651, "end": 666, "name": "SSTORE", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP4", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "MLOAD", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "ADD", "source": 0 }, { "begin": 651, "end": 666, "name": "DUP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SLOAD", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP4", "source": 0 }, { "begin": 651, "end": 666, "name": "AND", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP4", "source": 0 }, { "begin": 651, "end": 666, "name": "AND", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP3", "source": 0 }, { "begin": 651, "end": 666, "name": "OR", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP1", "source": 0 }, { "begin": 651, "end": 666, "name": "SWAP2", "source": 0 }, { "begin": 651, "end": 666, "name": "SSTORE", "source": 0 }, { "begin": 676, "end": 680, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 676, "end": 691, "name": "DUP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SLOAD", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP4", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP2", "source": 0 }, { "begin": 676, "end": 691, "name": "SSTORE", "source": 0 }, { "begin": 651, "end": 666, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 676, "end": 691, "name": "DUP2", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "MSTORE", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP5", "source": 0 }, { "begin": 676, "end": 691, "name": "MLOAD", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP1", "source": 0 }, { "begin": 676, "end": 691, "name": "MLOAD", "source": 0 }, { "begin": 686, "end": 690, "name": "DUP7", "source": 0 }, { "begin": 686, "end": 690, "name": "SWAP5", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "MUL", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH data", "source": -1, "value": "2584DB4A68AA8B172F70BC04E2E74541617C003374DE6EB4B295E823E5BEAB01" }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "CODECOPY", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH [tag]", "source": 0, "value": "30" }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP5", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP2", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH [tag]", "source": 0, "value": "28" }, { "begin": 676, "end": 691, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 676, "end": 691, "name": "tag", "source": 0, "value": "30" }, { "begin": 676, "end": 691, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 676, "end": 691, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 676, "end": 691, "name": "DUP3", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP2", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "MLOAD", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 676, "end": 691, "name": "DUP1", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP5", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP2", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP2", "source": 0 }, { "begin": 676, "end": 691, "name": "SSTORE", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP4", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "MLOAD", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "ADD", "source": 0 }, { "begin": 676, "end": 691, "name": "DUP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SLOAD", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP4", "source": 0 }, { "begin": 676, "end": 691, "name": "AND", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP4", "source": 0 }, { "begin": 676, "end": 691, "name": "AND", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP3", "source": 0 }, { "begin": 676, "end": 691, "name": "OR", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP1", "source": 0 }, { "begin": 676, "end": 691, "name": "SWAP2", "source": 0 }, { "begin": 676, "end": 691, "name": "SSTORE", "source": 0 }, { "begin": 709, "end": 713, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 709, "end": 724, "name": "DUP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SLOAD", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP4", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP2", "source": 0 }, { "begin": 709, "end": 724, "name": "SSTORE", "source": 0 }, { "begin": 676, "end": 691, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 709, "end": 724, "name": "DUP2", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "MSTORE", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP4", "source": 0 }, { "begin": 709, "end": 724, "name": "MLOAD", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP1", "source": 0 }, { "begin": 709, "end": 724, "name": "MLOAD", "source": 0 }, { "begin": 719, "end": 723, "name": "DUP6", "source": 0 }, { "begin": 719, "end": 723, "name": "SWAP5", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "MUL", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH data", "source": -1, "value": "2584DB4A68AA8B172F70BC04E2E74541617C003374DE6EB4B295E823E5BEAB01" }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "CODECOPY", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH [tag]", "source": 0, "value": "32" }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP5", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP2", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH [tag]", "source": 0, "value": "28" }, { "begin": 709, "end": 724, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 709, "end": 724, "name": "tag", "source": 0, "value": "32" }, { "begin": 709, "end": 724, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 709, "end": 724, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 709, "end": 724, "name": "DUP3", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP2", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "MLOAD", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 709, "end": 724, "name": "DUP1", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP5", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP2", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP2", "source": 0 }, { "begin": 709, "end": 724, "name": "SSTORE", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 709, "end": 724, "name": "SWAP4", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP5", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "MLOAD", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP4", "source": 0 }, { "begin": 709, "end": 724, "name": "ADD", "source": 0 }, { "begin": 709, "end": 724, "name": "DUP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SLOAD", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP5", "source": 0 }, { "begin": 709, "end": 724, "name": "AND", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP5", "source": 0 }, { "begin": 709, "end": 724, "name": "AND", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP4", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP4", "source": 0 }, { "begin": 709, "end": 724, "name": "OR", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP1", "source": 0 }, { "begin": 709, "end": 724, "name": "SWAP3", "source": 0 }, { "begin": 709, "end": 724, "name": "SSTORE", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP3", "source": 0 }, { "begin": 745, "end": 775, "name": "MLOAD", "source": 0 }, { "begin": 745, "end": 775, "name": "PUSH", "source": 0, "value": "A0" }, { "begin": 745, "end": 775, "name": "DUP2", "source": 0 }, { "begin": 745, "end": 775, "name": "ADD", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP5", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": 745, "end": 775, "name": "PUSH", "source": 0, "value": "5" }, { "begin": 745, "end": 775, "name": "PUSH", "source": 0, "value": "60" }, { "begin": 745, "end": 775, "name": "DUP3", "source": 0 }, { "begin": 745, "end": 775, "name": "ADD", "source": 0 }, { "begin": 745, "end": 775, "name": "SWAP1", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP2", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "486F6E6461" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "D8" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": 745, "end": 775, "name": "PUSH", "source": 0, "value": "80" }, { "begin": 745, "end": 775, "name": "DUP4", "source": 0 }, { "begin": 745, "end": 775, "name": "ADD", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP2", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": 758, "end": 762, "name": "PUSH", "source": 0, "value": "7E0" }, { "begin": 745, "end": 775, "name": "DUP2", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP4", "source": 0 }, { "begin": 745, "end": 775, "name": "ADD", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": 764, "end": 774, "name": "CALLER", "source": 0 }, { "begin": 745, "end": 775, "name": "SWAP4", "source": 0 }, { "begin": 745, "end": 775, "name": "DUP2", "source": 0 }, { "begin": 745, "end": 775, "name": "ADD", "source": 0 }, { "begin": 745, "end": 775, "name": "SWAP4", "source": 0 }, { "begin": 745, "end": 775, "name": "SWAP1", "source": 0 }, { "begin": 745, "end": 775, "name": "SWAP4", "source": 0 }, { "begin": 745, "end": 775, "name": "MSTORE", "source": 0 }, { "begin": 735, "end": 739, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 735, "end": 776, "name": "DUP1", "source": 0 }, { "begin": 735, "end": 776, "name": "SLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP3", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP4", "source": 0 }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": 735, "end": 776, "name": "SSTORE", "source": 0 }, { "begin": 709, "end": 724, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP1", "source": 0 }, { "begin": 735, "end": 776, "name": "MSTORE", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP4", "source": 0 }, { "begin": 735, "end": 776, "name": "MLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP1", "source": 0 }, { "begin": 735, "end": 776, "name": "MLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP4", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP1", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP2", "source": 0 }, { "begin": 735, "end": 776, "name": "MUL", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH data", "source": -1, "value": "2584DB4A68AA8B172F70BC04E2E74541617C003374DE6EB4B295E823E5BEAB01" }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "CODECOPY", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP3", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH [tag]", "source": 0, "value": "34" }, { "begin": 735, "end": 776, "name": "SWAP3", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP5", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP3", "source": 0 }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP1", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH [tag]", "source": 0, "value": "28" }, { "begin": 735, "end": 776, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 735, "end": 776, "name": "tag", "source": 0, "value": "34" }, { "begin": 735, "end": 776, "name": "JUMPDEST", "source": 0 }, { "begin": 735, "end": 776, "name": "POP", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 735, "end": 776, "name": "DUP3", "source": 0 }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "MLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "SSTORE", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 735, "end": 776, "name": "DUP3", "source": 0 }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "MLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 735, "end": 776, "name": "ADD", "source": 0 }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 735, "end": 776, "name": "PUSH", "source": 0, "value": "100" }, { "begin": 735, "end": 776, "name": "EXP", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": 735, "end": 776, "name": "SLOAD", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP2", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 735, "end": 776, "name": "MUL", "source": 0 }, { "begin": 735, "end": 776, "name": "NOT", "source": 0 }, { "begin": 735, "end": 776, "name": "AND", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP1", "source": 0 }, { "begin": 735, "end": 776, "name": "DUP4", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 735, "end": 776, "name": "AND", "source": 0 }, { "begin": 735, "end": 776, "name": "MUL", "source": 0 }, { "begin": 735, "end": 776, "name": "OR", "source": 0 }, { "begin": 735, "end": 776, "name": "SWAP1", "source": 0 }, { "begin": 735, "end": 776, "name": "SSTORE", "source": 0 }, { "begin": 735, "end": 776, "name": "POP", "source": 0 }, { "begin": 735, "end": 776, "name": "POP", "source": 0 }, { "begin": 735, "end": 776, "name": "POP", "source": 0 }, { "begin": 787, "end": 802, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 805, "end": 809, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 810, "end": 811, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 805, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 805, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 805, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 805, "end": 812, "name": "LT", "source": 0 }, { "begin": 805, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "36" }, { "begin": 805, "end": 812, "name": "JUMPI", "source": 0 }, { "begin": 805, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "36" }, { "begin": 805, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "37" }, { "begin": 805, "end": 812, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 805, "end": 812, "name": "tag", "source": 0, "value": "36" }, { "begin": 805, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": 805, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 805, "end": 812, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 805, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 805, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 805, "end": 812, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 805, "end": 812, "name": "KECCAK256", "source": 0 }, { "begin": 805, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 805, "end": 812, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 805, "end": 812, "name": "MUL", "source": 0 }, { "begin": 805, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "MLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "60" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "39" }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 787, "end": 812, "name": "tag", "source": 0, "value": "39" }, { "begin": 787, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "DIV", "source": 0 }, { "begin": 787, "end": 812, "name": "MUL", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "MLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP3", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "41" }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 787, "end": 812, "name": "tag", "source": 0, "value": "41" }, { "begin": 787, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "ISZERO", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "42" }, { "begin": 787, "end": 812, "name": "JUMPI", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 787, "end": 812, "name": "LT", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "43" }, { "begin": 787, "end": 812, "name": "JUMPI", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "100" }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP4", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "DIV", "source": 0 }, { "begin": 787, "end": 812, "name": "MUL", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP4", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "42" }, { "begin": 787, "end": 812, "name": "JUMP", "source": 0 }, { "begin": 787, "end": 812, "name": "tag", "source": 0, "value": "43" }, { "begin": 787, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 787, "end": 812, "name": "KECCAK256", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "tag", "source": 0, "value": "44" }, { "begin": 787, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP4", "source": 0 }, { "begin": 787, "end": 812, "name": "GT", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH [tag]", "source": 0, "value": "44" }, { "begin": 787, "end": 812, "name": "JUMPI", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SUB", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 787, "end": 812, "name": "AND", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "tag", "source": 0, "value": "42" }, { "begin": 787, "end": 812, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP4", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 787, "end": 812, "name": "DUP3", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP2", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 787, "end": 812, "name": "DUP1", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP5", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP2", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 787, "end": 812, "name": "SWAP1", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP4", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "SLOAD", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 787, "end": 812, "name": "AND", "source": 0 }, { "begin": 787, "end": 812, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 787, "end": 812, "name": "SWAP3", "source": 0 }, { "begin": 787, "end": 812, "name": "DUP4", "source": 0 }, { "begin": 787, "end": 812, "name": "ADD", "source": 0 }, { "begin": 787, "end": 812, "name": "MSTORE", "source": 0 }, { "begin": 849, "end": 853, "name": "PUSH", "source": 0, "value": "7E6" }, { "begin": 837, "end": 846, "name": "SWAP3", "source": 0 }, { "begin": 837, "end": 846, "name": "DUP5", "source": 0 }, { "begin": 837, "end": 846, "name": "ADD", "source": 0 }, { "begin": 837, "end": 853, "name": "SWAP3", "source": 0 }, { "begin": 837, "end": 853, "name": "SWAP1", "source": 0 }, { "begin": 837, "end": 853, "name": "SWAP3", "source": 0 }, { "begin": 837, "end": 853, "name": "MSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": 871, "end": 881, "name": "SWAP1", "source": 0 }, { "begin": 871, "end": 881, "name": "DUP4", "source": 0 }, { "begin": 871, "end": 881, "name": "ADD", "source": 0 }, { "begin": 864, "end": 881, "name": "MSTORE", "source": 0 }, { "begin": 898, "end": 902, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 898, "end": 905, "name": "DUP1", "source": 0 }, { "begin": 898, "end": 905, "name": "SLOAD", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP3", "source": 0 }, { "begin": 787, "end": 812, "name": "SWAP4", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 898, "end": 902, "name": "SWAP2", "source": 0 }, { "begin": 898, "end": 905, "name": "DUP2", "source": 0 }, { "begin": 898, "end": 905, "name": "LT", "source": 0 }, { "begin": 898, "end": 905, "name": "PUSH [tag]", "source": 0, "value": "46" }, { "begin": 898, "end": 905, "name": "JUMPI", "source": 0 }, { "begin": 898, "end": 905, "name": "PUSH [tag]", "source": 0, "value": "46" }, { "begin": 898, "end": 905, "name": "PUSH [tag]", "source": 0, "value": "37" }, { "begin": 898, "end": 905, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 898, "end": 905, "name": "tag", "source": 0, "value": "46" }, { "begin": 898, "end": 905, "name": "JUMPDEST", "source": 0 }, { "begin": 898, "end": 905, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 898, "end": 905, "name": "SWAP2", "source": 0 }, { "begin": 898, "end": 905, "name": "DUP3", "source": 0 }, { "begin": 898, "end": 905, "name": "MSTORE", "source": 0 }, { "begin": 898, "end": 905, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 898, "end": 905, "name": "DUP3", "source": 0 }, { "begin": 898, "end": 905, "name": "KECCAK256", "source": 0 }, { "begin": 898, "end": 905, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 898, "end": 905, "name": "SWAP1", "source": 0 }, { "begin": 898, "end": 905, "name": "SWAP2", "source": 0 }, { "begin": 898, "end": 905, "name": "MUL", "source": 0 }, { "begin": 898, "end": 905, "name": "ADD", "source": 0 }, { "begin": 898, "end": 905, "name": "SWAP1", "source": 0 }, { "begin": 891, "end": 905, "name": "PUSH [tag]", "source": 0, "value": "48" }, { "begin": 898, "end": 905, "name": "DUP3", "source": 0 }, { "begin": 898, "end": 905, "name": "DUP3", "source": 0 }, { "begin": 891, "end": 905, "name": "PUSH [tag]", "source": 0, "value": "49" }, { "begin": 891, "end": 905, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 891, "end": 905, "name": "tag", "source": 0, "value": "48" }, { "begin": 891, "end": 905, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 891, "end": 905, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 891, "end": 905, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 891, "end": 905, "name": "DUP3", "source": 0 }, { "begin": 891, "end": 905, "name": "ADD", "source": 0 }, { "begin": 891, "end": 905, "name": "SSTORE", "source": 0 }, { "begin": 891, "end": 905, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 891, "end": 905, "name": "ADD", "source": 0 }, { "begin": 891, "end": 905, "name": "DUP1", "source": 0 }, { "begin": 891, "end": 905, "name": "SLOAD", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": 891, "end": 905, "name": "AND", "source": 0 }, { "begin": 891, "end": 905, "name": "SWAP1", "source": 0 }, { "begin": 891, "end": 905, "name": "SSTORE", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 352, "end": 912, "name": "JUMP", "source": 0, "value": "[out]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "12" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "4" }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "KECCAK256", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "LT", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "50" }, { "begin": 306, "end": 345, "name": "JUMPI", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "REVERT", "source": 0 }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "50" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "KECCAK256", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 306, "end": 345, "name": "MUL", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "POP", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "POP", "source": 0 }, { "begin": 306, "end": 345, "name": "POP", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "52" }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "52" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "DIV", "source": 0 }, { "begin": 306, "end": 345, "name": "MUL", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "MLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP3", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP3", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "53" }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "53" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "ISZERO", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "54" }, { "begin": 306, "end": 345, "name": "JUMPI", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 306, "end": 345, "name": "LT", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "55" }, { "begin": 306, "end": 345, "name": "JUMPI", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "100" }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP4", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "DIV", "source": 0 }, { "begin": 306, "end": 345, "name": "MUL", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP4", "source": 0 }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "54" }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0 }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "55" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP3", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 306, "end": 345, "name": "KECCAK256", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "56" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP2", "source": 0 }, { "begin": 306, "end": 345, "name": "MSTORE", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP1", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP4", "source": 0 }, { "begin": 306, "end": 345, "name": "GT", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH [tag]", "source": 0, "value": "56" }, { "begin": 306, "end": 345, "name": "JUMPI", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP3", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SUB", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "1F" }, { "begin": 306, "end": 345, "name": "AND", "source": 0 }, { "begin": 306, "end": 345, "name": "DUP3", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "tag", "source": 0, "value": "54" }, { "begin": 306, "end": 345, "name": "JUMPDEST", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "1" }, { "begin": 306, "end": 345, "name": "DUP4", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "PUSH", "source": 0, "value": "2" }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP4", "source": 0 }, { "begin": 306, "end": 345, "name": "ADD", "source": 0 }, { "begin": 306, "end": 345, "name": "SLOAD", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP3", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP2", "source": 0 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 306, "end": 345, "name": "AND", "source": 0 }, { "begin": 306, "end": 345, "name": "SWAP1", "source": 0 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 306, "end": 345, "name": "DUP4", "source": 0 }, { "begin": 306, "end": 345, "name": "JUMP", "source": 0, "value": "[out]" }, { "begin": 263, "end": 277, "name": "tag", "source": 0, "value": "16" }, { "begin": 263, "end": 277, "name": "JUMPDEST", "source": 0 }, { "begin": 263, "end": 277, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 263, "end": 277, "name": "DUP1", "source": 0 }, { "begin": 263, "end": 277, "name": "SLOAD", "source": 0 }, { "begin": 263, "end": 277, "name": "DUP2", "source": 0 }, { "begin": 263, "end": 277, "name": "SWAP1", "source": 0 }, { "begin": 263, "end": 277, "name": "PUSH [tag]", "source": 0, "value": "52" }, { "begin": 263, "end": 277, "name": "SWAP1", "source": 0 }, { "begin": 263, "end": 277, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 263, "end": 277, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": 283, "end": 300, "name": "tag", "source": 0, "value": "21" }, { "begin": 283, "end": 300, "name": "JUMPDEST", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 283, "end": 300, "name": "DUP2", "source": 0 }, { "begin": 283, "end": 300, "name": "DUP2", "source": 0 }, { "begin": 283, "end": 300, "name": "SLOAD", "source": 0 }, { "begin": 283, "end": 300, "name": "DUP2", "source": 0 }, { "begin": 283, "end": 300, "name": "LT", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "62" }, { "begin": 283, "end": 300, "name": "JUMPI", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 283, "end": 300, "name": "DUP1", "source": 0 }, { "begin": 283, "end": 300, "name": "REVERT", "source": 0 }, { "begin": 283, "end": 300, "name": "tag", "source": 0, "value": "62" }, { "begin": 283, "end": 300, "name": "JUMPDEST", "source": 0 }, { "begin": 283, "end": 300, "name": "SWAP1", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 283, "end": 300, "name": "MSTORE", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "20" }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 283, "end": 300, "name": "KECCAK256", "source": 0 }, { "begin": 283, "end": 300, "name": "SWAP1", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "3" }, { "begin": 283, "end": 300, "name": "MUL", "source": 0 }, { "begin": 283, "end": 300, "name": "ADD", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 283, "end": 300, "name": "SWAP2", "source": 0 }, { "begin": 283, "end": 300, "name": "POP", "source": 0 }, { "begin": 283, "end": 300, "name": "SWAP1", "source": 0 }, { "begin": 283, "end": 300, "name": "POP", "source": 0 }, { "begin": 283, "end": 300, "name": "DUP1", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH", "source": 0, "value": "0" }, { "begin": 283, "end": 300, "name": "ADD", "source": 0 }, { "begin": 283, "end": 300, "name": "DUP1", "source": 0 }, { "begin": 283, "end": 300, "name": "SLOAD", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "52" }, { "begin": 283, "end": 300, "name": "SWAP1", "source": 0 }, { "begin": 283, "end": 300, "name": "PUSH [tag]", "source": 0, "value": "40" }, { "begin": 283, "end": 300, "name": "JUMP", "source": 0, "value": "[in]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "28" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "SLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "69" }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "40" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[in]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "69" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "KECCAK256", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1F" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "DIV", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "71" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP6", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "74" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1 }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "71" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1F" }, { "begin": -1, "end": -1, "name": "LT", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "72" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "FF" }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": -1, "end": -1, "name": "AND", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP4", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "OR", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP6", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "74" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1 }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "72" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP6", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "ISZERO", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "74" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "73" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "GT", "source": -1 }, { "begin": -1, "end": -1, "name": "ISZERO", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "74" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "MLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "73" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1 }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "74" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "75" }, { "begin": -1, "end": -1, "name": "SWAP3", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "76" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[in]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "75" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[out]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "49" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "SLOAD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "77" }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "40" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[in]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "77" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1F" }, { "begin": -1, "end": -1, "name": "LT", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "79" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[out]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "79" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1F" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "DIV", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "MSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "20" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "KECCAK256", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "80" }, { "begin": -1, "end": -1, "name": "SWAP2", "source": -1 }, { "begin": -1, "end": -1, "name": "SWAP1", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "76" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[in]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "80" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1, "value": "[out]" }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "76" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "tag", "source": -1, "value": "81" }, { "begin": -1, "end": -1, "name": "JUMPDEST", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP1", "source": -1 }, { "begin": -1, "end": -1, "name": "DUP3", "source": -1 }, { "begin": -1, "end": -1, "name": "GT", "source": -1 }, { "begin": -1, "end": -1, "name": "ISZERO", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "75" }, { "begin": -1, "end": -1, "name": "JUMPI", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "0" }, { "begin": -1, "end": -1, "name": "DUP2", "source": -1 }, { "begin": -1, "end": -1, "name": "SSTORE", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "ADD", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH [tag]", "source": -1, "value": "81" }, { "begin": -1, "end": -1, "name": "JUMP", "source": -1 }, { "begin": 14, "end": 368, "name": "tag", "source": 1, "value": "11" }, { "begin": 14, "end": 368, "name": "JUMPDEST", "source": 1 }, { "begin": 82, "end": 88, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 90, "end": 96, "name": "DUP1", "source": 1 }, { "begin": 143, "end": 145, "name": "PUSH", "source": 1, "value": "40" }, { "begin": 131, "end": 140, "name": "DUP4", "source": 1 }, { "begin": 122, "end": 129, "name": "DUP6", "source": 1 }, { "begin": 118, "end": 141, "name": "SUB", "source": 1 }, { "begin": 114, "end": 146, "name": "SLT", "source": 1 }, { "begin": 111, "end": 163, "name": "ISZERO", "source": 1 }, { "begin": 111, "end": 163, "name": "PUSH [tag]", "source": 1, "value": "85" }, { "begin": 111, "end": 163, "name": "JUMPI", "source": 1 }, { "begin": 159, "end": 160, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 156, "end": 157, "name": "DUP1", "source": 1 }, { "begin": 149, "end": 161, "name": "REVERT", "source": 1 }, { "begin": 111, "end": 163, "name": "tag", "source": 1, "value": "85" }, { "begin": 111, "end": 163, "name": "JUMPDEST", "source": 1 }, { "begin": 185, "end": 208, "name": "DUP3", "source": 1 }, { "begin": 185, "end": 208, "name": "CALLDATALOAD", "source": 1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 237, "end": 268, "name": "DUP2", "source": 1 }, { "begin": 237, "end": 268, "name": "AND", "source": 1 }, { "begin": 227, "end": 269, "name": "DUP2", "source": 1 }, { "begin": 227, "end": 269, "name": "EQ", "source": 1 }, { "begin": 217, "end": 287, "name": "PUSH [tag]", "source": 1, "value": "86" }, { "begin": 217, "end": 287, "name": "JUMPI", "source": 1 }, { "begin": 283, "end": 284, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 280, "end": 281, "name": "DUP1", "source": 1 }, { "begin": 273, "end": 285, "name": "REVERT", "source": 1 }, { "begin": 217, "end": 287, "name": "tag", "source": 1, "value": "86" }, { "begin": 217, "end": 287, "name": "JUMPDEST", "source": 1 }, { "begin": 306, "end": 311, "name": "SWAP5", "source": 1 }, { "begin": 358, "end": 360, "name": "PUSH", "source": 1, "value": "20" }, { "begin": 343, "end": 361, "name": "SWAP4", "source": 1 }, { "begin": 343, "end": 361, "name": "SWAP1", "source": 1 }, { "begin": 343, "end": 361, "name": "SWAP4", "source": 1 }, { "begin": 343, "end": 361, "name": "ADD", "source": 1 }, { "begin": 330, "end": 362, "name": "CALLDATALOAD", "source": 1 }, { "begin": 330, "end": 362, "name": "SWAP4", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 14, "end": 368, "name": "JUMP", "source": 1, "value": "[out]" }, { "begin": 373, "end": 1126, "name": "tag", "source": 1, "value": "14" }, { "begin": 373, "end": 1126, "name": "JUMPDEST", "source": 1 }, { "begin": 578, "end": 580, "name": "PUSH", "source": 1, "value": "60" }, { "begin": 567, "end": 576, "name": "DUP2", "source": 1 }, { "begin": 560, "end": 581, "name": "MSTORE", "source": 1 }, { "begin": 541, "end": 545, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 610, "end": 616, "name": "DUP5", "source": 1 }, { "begin": 604, "end": 617, "name": "MLOAD", "source": 1 }, { "begin": 653, "end": 659, "name": "DUP1", "source": 1 }, { "begin": 648, "end": 650, "name": "PUSH", "source": 1, "value": "60" }, { "begin": 637, "end": 646, "name": "DUP5", "source": 1 }, { "begin": 633, "end": 651, "name": "ADD", "source": 1 }, { "begin": 626, "end": 660, "name": "MSTORE", "source": 1 }, { "begin": 678, "end": 679, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 688, "end": 833, "name": "tag", "source": 1, "value": "88" }, { "begin": 688, "end": 833, "name": "JUMPDEST", "source": 1 }, { "begin": 702, "end": 708, "name": "DUP2", "source": 1 }, { "begin": 699, "end": 700, "name": "DUP2", "source": 1 }, { "begin": 696, "end": 709, "name": "LT", "source": 1 }, { "begin": 688, "end": 833, "name": "ISZERO", "source": 1 }, { "begin": 688, "end": 833, "name": "PUSH [tag]", "source": 1, "value": "90" }, { "begin": 688, "end": 833, "name": "JUMPI", "source": 1 }, { "begin": 816, "end": 820, "name": "PUSH", "source": 1, "value": "20" }, { "begin": 800, "end": 814, "name": "DUP2", "source": 1 }, { "begin": 800, "end": 814, "name": "DUP9", "source": 1 }, { "begin": 800, "end": 814, "name": "ADD", "source": 1 }, { "begin": 796, "end": 821, "name": "DUP2", "source": 1 }, { "begin": 796, "end": 821, "name": "ADD", "source": 1 }, { "begin": 790, "end": 822, "name": "MLOAD", "source": 1 }, { "begin": 784, "end": 787, "name": "PUSH", "source": 1, "value": "80" }, { "begin": 765, "end": 782, "name": "DUP7", "source": 1 }, { "begin": 765, "end": 782, "name": "DUP5", "source": 1 }, { "begin": 765, "end": 782, "name": "ADD", "source": 1 }, { "begin": 761, "end": 788, "name": "ADD", "source": 1 }, { "begin": 754, "end": 823, "name": "MSTORE", "source": 1 }, { "begin": 717, "end": 729, "name": "ADD", "source": 1 }, { "begin": 688, "end": 833, "name": "PUSH [tag]", "source": 1, "value": "88" }, { "begin": 688, "end": 833, "name": "JUMP", "source": 1 }, { "begin": 688, "end": 833, "name": "tag", "source": 1, "value": "90" }, { "begin": 688, "end": 833, "name": "JUMPDEST", "source": 1 }, { "begin": 851, "end": 857, "name": "DUP2", "source": 1 }, { "begin": 848, "end": 849, "name": "DUP2", "source": 1 }, { "begin": 845, "end": 858, "name": "GT", "source": 1 }, { "begin": 842, "end": 934, "name": "ISZERO", "source": 1 }, { "begin": 842, "end": 934, "name": "PUSH [tag]", "source": 1, "value": "91" }, { "begin": 842, "end": 934, "name": "JUMPI", "source": 1 }, { "begin": 922, "end": 923, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 916, "end": 919, "name": "PUSH", "source": 1, "value": "80" }, { "begin": 907, "end": 913, "name": "DUP4", "source": 1 }, { "begin": 896, "end": 905, "name": "DUP7", "source": 1 }, { "begin": 892, "end": 914, "name": "ADD", "source": 1 }, { "begin": 888, "end": 920, "name": "ADD", "source": 1 }, { "begin": 881, "end": 924, "name": "MSTORE", "source": 1 }, { "begin": 842, "end": 934, "name": "tag", "source": 1, "value": "91" }, { "begin": 842, "end": 934, "name": "JUMPDEST", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 1037, "end": 1041, "name": "PUSH", "source": 1, "value": "20" }, { "begin": 1022, "end": 1042, "name": "DUP4", "source": 1 }, { "begin": 1022, "end": 1042, "name": "ADD", "source": 1 }, { "begin": 1015, "end": 1051, "name": "SWAP5", "source": 1 }, { "begin": 1015, "end": 1051, "name": "SWAP1", "source": 1 }, { "begin": 1015, "end": 1051, "name": "SWAP5", "source": 1 }, { "begin": 1015, "end": 1051, "name": "MSTORE", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1" }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "A0" }, { "begin": -1, "end": -1, "name": "SHL", "source": -1 }, { "begin": -1, "end": -1, "name": "SUB", "source": -1 }, { "begin": 1087, "end": 1119, "name": "SWAP2", "source": 1 }, { "begin": 1087, "end": 1119, "name": "SWAP1", "source": 1 }, { "begin": 1087, "end": 1119, "name": "SWAP2", "source": 1 }, { "begin": 1087, "end": 1119, "name": "AND", "source": 1 }, { "begin": 1082, "end": 1084, "name": "PUSH", "source": 1, "value": "40" }, { "begin": 1067, "end": 1085, "name": "DUP3", "source": 1 }, { "begin": 1067, "end": 1085, "name": "ADD", "source": 1 }, { "begin": 1060, "end": 1120, "name": "MSTORE", "source": 1 }, { "begin": 1002, "end": 1005, "name": "PUSH", "source": 1, "value": "80" }, { "begin": 995, "end": 997, "name": "PUSH", "source": 1, "value": "1F" }, { "begin": 974, "end": 989, "name": "SWAP1", "source": 1 }, { "begin": 974, "end": 989, "name": "SWAP3", "source": 1 }, { "begin": 974, "end": 989, "name": "ADD", "source": 1 }, { "begin": -1, "end": -1, "name": "PUSH", "source": -1, "value": "1F" }, { "begin": -1, "end": -1, "name": "NOT", "source": -1 }, { "begin": 970, "end": 999, "name": "AND", "source": 1 }, { "begin": 955, "end": 1000, "name": "ADD", "source": 1 }, { "begin": 951, "end": 1006, "name": "ADD", "source": 1 }, { "begin": 951, "end": 1006, "name": "SWAP2", "source": 1 }, { "begin": 951, "end": 1006, "name": "SWAP1", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 373, "end": 1126, "name": "JUMP", "source": 1, "value": "[out]" }, { "begin": 1131, "end": 1311, "name": "tag", "source": 1, "value": "20" }, { "begin": 1131, "end": 1311, "name": "JUMPDEST", "source": 1 }, { "begin": 1190, "end": 1196, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1243, "end": 1245, "name": "PUSH", "source": 1, "value": "20" }, { "begin": 1231, "end": 1240, "name": "DUP3", "source": 1 }, { "begin": 1222, "end": 1229, "name": "DUP5", "source": 1 }, { "begin": 1218, "end": 1241, "name": "SUB", "source": 1 }, { "begin": 1214, "end": 1246, "name": "SLT", "source": 1 }, { "begin": 1211, "end": 1263, "name": "ISZERO", "source": 1 }, { "begin": 1211, "end": 1263, "name": "PUSH [tag]", "source": 1, "value": "93" }, { "begin": 1211, "end": 1263, "name": "JUMPI", "source": 1 }, { "begin": 1259, "end": 1260, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1256, "end": 1257, "name": "DUP1", "source": 1 }, { "begin": 1249, "end": 1261, "name": "REVERT", "source": 1 }, { "begin": 1211, "end": 1263, "name": "tag", "source": 1, "value": "93" }, { "begin": 1211, "end": 1263, "name": "JUMPDEST", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 1282, "end": 1305, "name": "CALLDATALOAD", "source": 1 }, { "begin": 1282, "end": 1305, "name": "SWAP2", "source": 1 }, { "begin": 1131, "end": 1311, "name": "SWAP1", "source": 1 }, { "begin": -1, "end": -1, "name": "POP", "source": -1 }, { "begin": 1131, "end": 1311, "name": "JUMP", "source": 1, "value": "[out]" }, { "begin": 1316, "end": 1443, "name": "tag", "source": 1, "value": "37" }, { "begin": 1316, "end": 1443, "name": "JUMPDEST", "source": 1 }, { "begin": 1377, "end": 1387, "name": "PUSH", "source": 1, "value": "4E487B71" }, { "begin": 1372, "end": 1375, "name": "PUSH", "source": 1, "value": "E0" }, { "begin": 1368, "end": 1388, "name": "SHL", "source": 1 }, { "begin": 1365, "end": 1366, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1358, "end": 1389, "name": "MSTORE", "source": 1 }, { "begin": 1408, "end": 1412, "name": "PUSH", "source": 1, "value": "32" }, { "begin": 1405, "end": 1406, "name": "PUSH", "source": 1, "value": "4" }, { "begin": 1398, "end": 1413, "name": "MSTORE", "source": 1 }, { "begin": 1432, "end": 1436, "name": "PUSH", "source": 1, "value": "24" }, { "begin": 1429, "end": 1430, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1422, "end": 1437, "name": "REVERT", "source": 1 }, { "begin": 1448, "end": 1828, "name": "tag", "source": 1, "value": "40" }, { "begin": 1448, "end": 1828, "name": "JUMPDEST", "source": 1 }, { "begin": 1527, "end": 1528, "name": "PUSH", "source": 1, "value": "1" }, { "begin": 1523, "end": 1535, "name": "DUP2", "source": 1 }, { "begin": 1523, "end": 1535, "name": "DUP2", "source": 1 }, { "begin": 1523, "end": 1535, "name": "SHR", "source": 1 }, { "begin": 1523, "end": 1535, "name": "SWAP1", "source": 1 }, { "begin": 1570, "end": 1582, "name": "DUP3", "source": 1 }, { "begin": 1570, "end": 1582, "name": "AND", "source": 1 }, { "begin": 1570, "end": 1582, "name": "DUP1", "source": 1 }, { "begin": 1591, "end": 1652, "name": "PUSH [tag]", "source": 1, "value": "96" }, { "begin": 1591, "end": 1652, "name": "JUMPI", "source": 1 }, { "begin": 1645, "end": 1649, "name": "PUSH", "source": 1, "value": "7F" }, { "begin": 1637, "end": 1643, "name": "DUP3", "source": 1 }, { "begin": 1633, "end": 1650, "name": "AND", "source": 1 }, { "begin": 1623, "end": 1650, "name": "SWAP2", "source": 1 }, { "begin": 1623, "end": 1650, "name": "POP", "source": 1 }, { "begin": 1591, "end": 1652, "name": "tag", "source": 1, "value": "96" }, { "begin": 1591, "end": 1652, "name": "JUMPDEST", "source": 1 }, { "begin": 1698, "end": 1700, "name": "PUSH", "source": 1, "value": "20" }, { "begin": 1690, "end": 1696, "name": "DUP3", "source": 1 }, { "begin": 1687, "end": 1701, "name": "LT", "source": 1 }, { "begin": 1667, "end": 1685, "name": "DUP2", "source": 1 }, { "begin": 1664, "end": 1702, "name": "SUB", "source": 1 }, { "begin": 1661, "end": 1822, "name": "PUSH [tag]", "source": 1, "value": "97" }, { "begin": 1661, "end": 1822, "name": "JUMPI", "source": 1 }, { "begin": 1744, "end": 1754, "name": "PUSH", "source": 1, "value": "4E487B71" }, { "begin": 1739, "end": 1742, "name": "PUSH", "source": 1, "value": "E0" }, { "begin": 1735, "end": 1755, "name": "SHL", "source": 1 }, { "begin": 1732, "end": 1733, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1725, "end": 1756, "name": "MSTORE", "source": 1 }, { "begin": 1779, "end": 1783, "name": "PUSH", "source": 1, "value": "22" }, { "begin": 1776, "end": 1777, "name": "PUSH", "source": 1, "value": "4" }, { "begin": 1769, "end": 1784, "name": "MSTORE", "source": 1 }, { "begin": 1807, "end": 1811, "name": "PUSH", "source": 1, "value": "24" }, { "begin": 1804, "end": 1805, "name": "PUSH", "source": 1, "value": "0" }, { "begin": 1797, "end": 1812, "name": "REVERT", "source": 1 }, { "begin": 1661, "end": 1822, "name": "tag", "source": 1, "value": "97" }, { "begin": 1661, "end": 1822, "name": "JUMPDEST", "source": 1 }, { "begin": 1661, "end": 1822, "name": "POP", "source": 1 }, { "begin": 1448, "end": 1828, "name": "SWAP2", "source": 1 }, { "begin": 1448, "end": 1828, "name": "SWAP1", "source": 1 }, { "begin": 1448, "end": 1828, "name": "POP", "source": 1 }, { "begin": 1448, "end": 1828, "name": "JUMP", "source": 1, "value": "[out]" } ], ".data": { "2584DB4A68AA8B172F70BC04E2E74541617C003374DE6EB4B295E823E5BEAB01": "c2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b" } } } }, "methodIdentifiers": { "car()": "ee26fac3", "cars(uint256)": "f7746e36", "examples()": "335d00c2", "owners(address,uint256)": "9b3e2787" } }, "metadata": "{\"compiler\":{\"version\":\"0.8.13+commit.abaa5c0e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"car\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"model\",\"type\":\"string\"},{\"internalType\":\"uint256\",\"name\":\"year\",\"type\":\"uint256\"},{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"cars\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"model\",\"type\":\"string\"},{\"internalType\":\"uint256\",\"name\":\"year\",\"type\":\"uint256\"},{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"examples\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"owners\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"model\",\"type\":\"string\"},{\"internalType\":\"uint256\",\"name\":\"year\",\"type\":\"uint256\"},{\"internalType\":\"address\",\"name\":\"owner\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/Structs.sol\":\"Structs\"},\"evmVersion\":\"london\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"contracts/Structs.sol\":{\"keccak256\":\"0x190f29bef24b5b0eb8665c005caa1778432d0bacd8388cbd5a8d57e2ad35b277\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://0022fb9c8360151e2ef78188b90a5a8682bba38caae05dcf9e95b3dcf6a78932\",\"dweb:/ipfs/Qmdnbwr5L6ZLoPq3ppoeg82xAnzAPpzo12Jc8ukbF8k1mo\"]}},\"version\":1}", "storageLayout": { "storage": [ { "astId": 11, "contract": "contracts/Structs.sol:Structs", "label": "car", "offset": 0, "slot": "0", "type": "t_struct(Car)8_storage" }, { "astId": 15, "contract": "contracts/Structs.sol:Structs", "label": "cars", "offset": 0, "slot": "3", "type": "t_array(t_struct(Car)8_storage)dyn_storage" }, { "astId": 21, "contract": "contracts/Structs.sol:Structs", "label": "owners", "offset": 0, "slot": "4", "type": "t_mapping(t_address,t_array(t_struct(Car)8_storage)dyn_storage)" } ], "types": { "t_address": { "encoding": "inplace", "label": "address", "numberOfBytes": "20" }, "t_array(t_struct(Car)8_storage)dyn_storage": { "base": "t_struct(Car)8_storage", "encoding": "dynamic_array", "label": "struct Structs.Car[]", "numberOfBytes": "32" }, "t_mapping(t_address,t_array(t_struct(Car)8_storage)dyn_storage)": { "encoding": "mapping", "key": "t_address", "label": "mapping(address => struct Structs.Car[])", "numberOfBytes": "32", "value": "t_array(t_struct(Car)8_storage)dyn_storage" }, "t_string_storage": { "encoding": "bytes", "label": "string", "numberOfBytes": "32" }, "t_struct(Car)8_storage": { "encoding": "inplace", "label": "struct Structs.Car", "members": [ { "astId": 3, "contract": "contracts/Structs.sol:Structs", "label": "model", "offset": 0, "slot": "0", "type": "t_string_storage" }, { "astId": 5, "contract": "contracts/Structs.sol:Structs", "label": "year", "offset": 0, "slot": "1", "type": "t_uint256" }, { "astId": 7, "contract": "contracts/Structs.sol:Structs", "label": "owner", "offset": 0, "slot": "2", "type": "t_address" } ], "numberOfBytes": "96" }, "t_uint256": { "encoding": "inplace", "label": "uint256", "numberOfBytes": "32" } } }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } } } }, "sources": { "contracts/Structs.sol": { "ast": { "absolutePath": "contracts/Structs.sol", "exportedSymbols": { "Structs": [ 120 ] }, "id": 121, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 1, "literals": [ "solidity", "^", "0.8", ".13" ], "nodeType": "PragmaDirective", "src": "32:24:0" }, { "abstract": false, "baseContracts": [], "canonicalName": "Structs", "contractDependencies": [], "contractKind": "contract", "fullyImplemented": true, "id": 120, "linearizedBaseContracts": [ 120 ], "name": "Structs", "nameLocation": "160:7:0", "nodeType": "ContractDefinition", "nodes": [ { "canonicalName": "Structs.Car", "id": 8, "members": [ { "constant": false, "id": 3, "mutability": "mutable", "name": "model", "nameLocation": "203:5:0", "nodeType": "VariableDeclaration", "scope": 8, "src": "196:12:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" }, "typeName": { "id": 2, "name": "string", "nodeType": "ElementaryTypeName", "src": "196:6:0", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" }, { "constant": false, "id": 5, "mutability": "mutable", "name": "year", "nameLocation": "223:4:0", "nodeType": "VariableDeclaration", "scope": 8, "src": "218:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4, "name": "uint", "nodeType": "ElementaryTypeName", "src": "218:4:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7, "mutability": "mutable", "name": "owner", "nameLocation": "245:5:0", "nodeType": "VariableDeclaration", "scope": 8, "src": "237:13:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 6, "name": "address", "nodeType": "ElementaryTypeName", "src": "237:7:0", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "internal" } ], "name": "Car", "nameLocation": "182:3:0", "nodeType": "StructDefinition", "scope": 120, "src": "175:82:0", "visibility": "public" }, { "constant": false, "functionSelector": "ee26fac3", "id": 11, "mutability": "mutable", "name": "car", "nameLocation": "274:3:0", "nodeType": "VariableDeclaration", "scope": 120, "src": "263:14:0", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage", "typeString": "struct Structs.Car" }, "typeName": { "id": 10, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 9, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "263:3:0" }, "referencedDeclaration": 8, "src": "263:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "visibility": "public" }, { "constant": false, "functionSelector": "f7746e36", "id": 15, "mutability": "mutable", "name": "cars", "nameLocation": "296:4:0", "nodeType": "VariableDeclaration", "scope": 120, "src": "283:17:0", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car[]" }, "typeName": { "baseType": { "id": 13, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 12, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "283:3:0" }, "referencedDeclaration": 8, "src": "283:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "id": 14, "nodeType": "ArrayTypeName", "src": "283:5:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr", "typeString": "struct Structs.Car[]" } }, "visibility": "public" }, { "constant": false, "functionSelector": "9b3e2787", "id": 21, "mutability": "mutable", "name": "owners", "nameLocation": "339:6:0", "nodeType": "VariableDeclaration", "scope": 120, "src": "306:39:0", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_$", "typeString": "mapping(address => struct Structs.Car[])" }, "typeName": { "id": 20, "keyType": { "id": 16, "name": "address", "nodeType": "ElementaryTypeName", "src": "314:7:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "306:25:0", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_$", "typeString": "mapping(address => struct Structs.Car[])" }, "valueType": { "baseType": { "id": 18, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 17, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "325:3:0" }, "referencedDeclaration": 8, "src": "325:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "id": 19, "nodeType": "ArrayTypeName", "src": "325:5:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr", "typeString": "struct Structs.Car[]" } } }, "visibility": "public" }, { "body": { "id": 118, "nodeType": "Block", "src": "381:531:0", "statements": [ { "assignments": [ 26 ], "declarations": [ { "constant": false, "id": 26, "mutability": "mutable", "name": "car1", "nameLocation": "402:4:0", "nodeType": "VariableDeclaration", "scope": 118, "src": "391:15:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car" }, "typeName": { "id": 25, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 24, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "391:3:0" }, "referencedDeclaration": 8, "src": "391:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "visibility": "internal" } ], "id": 33, "initialValue": { "arguments": [ { "hexValue": "546f796f7461", "id": 28, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "413:8:0", "typeDescriptions": { "typeIdentifier": "t_stringliteral_416c11096c35a46155c9aff36b6928001c42470ec8ab2aebb572f6fafde4f5b4", "typeString": "literal_string \"Toyota\"" }, "value": "Toyota" }, { "hexValue": "32303137", "id": 29, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "423:4:0", "typeDescriptions": { "typeIdentifier": "t_rational_2017_by_1", "typeString": "int_const 2017" }, "value": "2017" }, { "expression": { "id": 30, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967281, "src": "429:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 31, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "src": "429:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_stringliteral_416c11096c35a46155c9aff36b6928001c42470ec8ab2aebb572f6fafde4f5b4", "typeString": "literal_string \"Toyota\"" }, { "typeIdentifier": "t_rational_2017_by_1", "typeString": "int_const 2017" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 27, "name": "Car", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8, "src": "409:3:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Car_$8_storage_ptr_$", "typeString": "type(struct Structs.Car storage pointer)" } }, "id": 32, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "409:31:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "nodeType": "VariableDeclarationStatement", "src": "391:49:0" }, { "assignments": [ 36 ], "declarations": [ { "constant": false, "id": 36, "mutability": "mutable", "name": "car2", "nameLocation": "461:4:0", "nodeType": "VariableDeclaration", "scope": 118, "src": "450:15:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car" }, "typeName": { "id": 35, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 34, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "450:3:0" }, "referencedDeclaration": 8, "src": "450:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "visibility": "internal" } ], "id": 43, "initialValue": { "arguments": [ { "hexValue": "41756469", "id": 38, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "480:6:0", "typeDescriptions": { "typeIdentifier": "t_stringliteral_812231d7b0e623ae2acbd643416ebb8d1be2854f0cce16913e78f044ce9b92f9", "typeString": "literal_string \"Audi\"" }, "value": "Audi" }, { "hexValue": "32303138", "id": 39, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "494:4:0", "typeDescriptions": { "typeIdentifier": "t_rational_2018_by_1", "typeString": "int_const 2018" }, "value": "2018" }, { "expression": { "id": 40, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967281, "src": "507:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 41, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "src": "507:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_stringliteral_812231d7b0e623ae2acbd643416ebb8d1be2854f0cce16913e78f044ce9b92f9", "typeString": "literal_string \"Audi\"" }, { "typeIdentifier": "t_rational_2018_by_1", "typeString": "int_const 2018" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 37, "name": "Car", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8, "src": "468:3:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Car_$8_storage_ptr_$", "typeString": "type(struct Structs.Car storage pointer)" } }, "id": 42, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [ "model", "year", "owner" ], "nodeType": "FunctionCall", "src": "468:51:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "nodeType": "VariableDeclarationStatement", "src": "450:69:0" }, { "assignments": [ 46 ], "declarations": [ { "constant": false, "id": 46, "mutability": "mutable", "name": "car3", "nameLocation": "540:4:0", "nodeType": "VariableDeclaration", "scope": 118, "src": "529:15:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car" }, "typeName": { "id": 45, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 44, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "529:3:0" }, "referencedDeclaration": 8, "src": "529:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "visibility": "internal" } ], "id": 47, "nodeType": "VariableDeclarationStatement", "src": "529:15:0" }, { "expression": { "id": 52, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "expression": { "id": 48, "name": "car3", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 46, "src": "554:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "id": 50, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "model", "nodeType": "MemberAccess", "referencedDeclaration": 3, "src": "554:10:0", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "hexValue": "466f7264", "id": 51, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "567:6:0", "typeDescriptions": { "typeIdentifier": "t_stringliteral_8293d90698e6233c69af2375adbdbbf51d85f05425fc8658a468863d535c25d5", "typeString": "literal_string \"Ford\"" }, "value": "Ford" }, "src": "554:19:0", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } }, "id": 53, "nodeType": "ExpressionStatement", "src": "554:19:0" }, { "expression": { "id": 58, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "expression": { "id": 54, "name": "car3", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 46, "src": "583:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "id": 56, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "year", "nodeType": "MemberAccess", "referencedDeclaration": 5, "src": "583:9:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "hexValue": "32303135", "id": 57, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "595:4:0", "typeDescriptions": { "typeIdentifier": "t_rational_2015_by_1", "typeString": "int_const 2015" }, "value": "2015" }, "src": "583:16:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 59, "nodeType": "ExpressionStatement", "src": "583:16:0" }, { "expression": { "id": 65, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "expression": { "id": 60, "name": "car3", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 46, "src": "609:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "id": 62, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "owner", "nodeType": "MemberAccess", "referencedDeclaration": 7, "src": "609:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "expression": { "id": 63, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967281, "src": "622:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 64, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "src": "622:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "609:23:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 66, "nodeType": "ExpressionStatement", "src": "609:23:0" }, { "expression": { "arguments": [ { "id": 70, "name": "car1", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26, "src": "661:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } ], "expression": { "id": 67, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "651:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 69, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "src": "651:9:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$_t_struct$_Car_$8_storage_$returns$__$bound_to$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$", "typeString": "function (struct Structs.Car storage ref[] storage pointer,struct Structs.Car storage ref)" } }, "id": 71, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "651:15:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 72, "nodeType": "ExpressionStatement", "src": "651:15:0" }, { "expression": { "arguments": [ { "id": 76, "name": "car2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 36, "src": "686:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } ], "expression": { "id": 73, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "676:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 75, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "src": "676:9:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$_t_struct$_Car_$8_storage_$returns$__$bound_to$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$", "typeString": "function (struct Structs.Car storage ref[] storage pointer,struct Structs.Car storage ref)" } }, "id": 77, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "676:15:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 78, "nodeType": "ExpressionStatement", "src": "676:15:0" }, { "expression": { "arguments": [ { "id": 82, "name": "car3", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 46, "src": "719:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } ], "expression": { "id": 79, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "709:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 81, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "src": "709:9:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$_t_struct$_Car_$8_storage_$returns$__$bound_to$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$", "typeString": "function (struct Structs.Car storage ref[] storage pointer,struct Structs.Car storage ref)" } }, "id": 83, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "709:15:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 84, "nodeType": "ExpressionStatement", "src": "709:15:0" }, { "expression": { "arguments": [ { "arguments": [ { "hexValue": "486f6e6461", "id": 89, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "749:7:0", "typeDescriptions": { "typeIdentifier": "t_stringliteral_a7608479e88f6350e15eae7937dd03ded83d39e9ac7a99343baf6602a6aa0aed", "typeString": "literal_string \"Honda\"" }, "value": "Honda" }, { "hexValue": "32303136", "id": 90, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "758:4:0", "typeDescriptions": { "typeIdentifier": "t_rational_2016_by_1", "typeString": "int_const 2016" }, "value": "2016" }, { "expression": { "id": 91, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4294967281, "src": "764:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 92, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "src": "764:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_stringliteral_a7608479e88f6350e15eae7937dd03ded83d39e9ac7a99343baf6602a6aa0aed", "typeString": "literal_string \"Honda\"" }, { "typeIdentifier": "t_rational_2016_by_1", "typeString": "int_const 2016" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 88, "name": "Car", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8, "src": "745:3:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Car_$8_storage_ptr_$", "typeString": "type(struct Structs.Car storage pointer)" } }, "id": 93, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "745:30:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } ], "expression": { "id": 85, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "735:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 87, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "src": "735:9:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$_t_struct$_Car_$8_storage_$returns$__$bound_to$_t_array$_t_struct$_Car_$8_storage_$dyn_storage_ptr_$", "typeString": "function (struct Structs.Car storage ref[] storage pointer,struct Structs.Car storage ref)" } }, "id": 94, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "735:41:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 95, "nodeType": "ExpressionStatement", "src": "735:41:0" }, { "assignments": [ 98 ], "declarations": [ { "constant": false, "id": 98, "mutability": "mutable", "name": "_car", "nameLocation": "798:4:0", "nodeType": "VariableDeclaration", "scope": 118, "src": "787:15:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car" }, "typeName": { "id": 97, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 96, "name": "Car", "nodeType": "IdentifierPath", "referencedDeclaration": 8, "src": "787:3:0" }, "referencedDeclaration": 8, "src": "787:3:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage_ptr", "typeString": "struct Structs.Car" } }, "visibility": "internal" } ], "id": 102, "initialValue": { "baseExpression": { "id": 99, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "805:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 101, "indexExpression": { "hexValue": "30", "id": 100, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "810:1:0", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "805:7:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage", "typeString": "struct Structs.Car storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "787:25:0" }, { "expression": { "id": 107, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "expression": { "id": 103, "name": "_car", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 98, "src": "837:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "id": 105, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "year", "nodeType": "MemberAccess", "referencedDeclaration": 5, "src": "837:9:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "hexValue": "32303232", "id": 106, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "849:4:0", "typeDescriptions": { "typeIdentifier": "t_rational_2022_by_1", "typeString": "int_const 2022" }, "value": "2022" }, "src": "837:16:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 108, "nodeType": "ExpressionStatement", "src": "837:16:0" }, { "expression": { "id": 111, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "delete", "prefix": true, "src": "864:17:0", "subExpression": { "expression": { "id": 109, "name": "_car", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 98, "src": "871:4:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_memory_ptr", "typeString": "struct Structs.Car memory" } }, "id": 110, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "owner", "nodeType": "MemberAccess", "referencedDeclaration": 7, "src": "871:10:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 112, "nodeType": "ExpressionStatement", "src": "864:17:0" }, { "expression": { "id": 116, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "delete", "prefix": true, "src": "891:14:0", "subExpression": { "baseExpression": { "id": 113, "name": "cars", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "898:4:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Car_$8_storage_$dyn_storage", "typeString": "struct Structs.Car storage ref[] storage ref" } }, "id": 115, "indexExpression": { "hexValue": "31", "id": 114, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "903:1:0", "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "898:7:0", "typeDescriptions": { "typeIdentifier": "t_struct$_Car_$8_storage", "typeString": "struct Structs.Car storage ref" } }, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 117, "nodeType": "ExpressionStatement", "src": "891:14:0" } ] }, "functionSelector": "335d00c2", "id": 119, "implemented": true, "kind": "function", "modifiers": [], "name": "examples", "nameLocation": "361:8:0", "nodeType": "FunctionDefinition", "parameters": { "id": 22, "nodeType": "ParameterList", "parameters": [], "src": "369:2:0" }, "returnParameters": { "id": 23, "nodeType": "ParameterList", "parameters": [], "src": "381:0:0" }, "scope": 120, "src": "352:560:0", "stateMutability": "nonpayable", "virtual": false, "visibility": "external" } ], "scope": 121, "src": "151:764:0", "usedErrors": [] } ], "src": "32:883:0" }, "id": 0 } } } }