Contract: VeriSafe
Etherscan label: old-contract
Tag: VeriSafe (VSF)
Malicious: no
Decompiled opcodes:
PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH3 0x000011 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH1 0x40 DUP1 MLOAD DUP1 DUP3 ADD DUP3 MSTORE PUSH1 0x08 DUP2 MSTORE PUSH32 0x5665726953616665000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP1 DUP4 ADD SWAP2 DUP3 MSTORE DUP4 MLOAD DUP1 DUP6 ADD SWAP1 SWAP5 MSTORE PUSH1 0x03 DUP1 DUP6 MSTORE PUSH32 0x5653460000000000000000000000000000000000000000000000000000000000 SWAP2 DUP6 ADD SWAP2 SWAP1 SWAP2 MSTORE DUP3 MLOAD SWAP3 SWAP4 SWAP3 PUSH1 0x12 SWAP3 PUSH3 0x000091 SWAP3 SWAP2 PUSH3 0x0001d3 JUMP JUMPDEST POP DUP2 MLOAD PUSH3 0x0000a7 SWAP1 PUSH1 0x04 SWAP1 PUSH1 0x20 DUP6 ADD SWAP1 PUSH3 0x0001d3 JUMP JUMPDEST POP PUSH1 0x05 DUP1 SLOAD PUSH1 0xff NOT AND PUSH1 0xff SWAP3 SWAP1 SWAP3 AND SWAP2 SWAP1 SWAP2 OR SWAP1 SSTORE POP PUSH3 0x0000f4 SWAP1 POP PUSH20 0xc17d80074b7c25049af5a29be2e25594258f37f8 PUSH12 0x409f9cbc7c4a04c220000000 PUSH5 0x0100000000 PUSH3 0x0000fa DUP2 MUL DIV JUMP JUMPDEST PUSH3 0x000278 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND ISZERO ISZERO PUSH3 0x000110 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x02 SLOAD PUSH3 0x00012d SWAP1 DUP3 PUSH5 0x0100000000 PUSH3 0x000859 PUSH3 0x0001b9 DUP3 MUL OR DIV JUMP JUMPDEST PUSH1 0x02 SSTORE PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD PUSH3 0x000163 SWAP1 DUP3 PUSH5 0x0100000000 PUSH3 0x000859 PUSH3 0x0001b9 DUP3 MUL OR DIV JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP5 SWAP1 SWAP5 SSTORE DUP4 MLOAD DUP6 DUP2 MSTORE SWAP4 MLOAD SWAP3 SWAP4 SWAP2 SWAP3 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP POP JUMP JUMPDEST PUSH1 0x00 DUP3 DUP3 ADD DUP4 DUP2 LT ISZERO PUSH3 0x0001cc JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST DUP3 DUP1 SLOAD PUSH1 0x01 DUP2 PUSH1 0x01 AND ISZERO PUSH2 0x0100 MUL SUB AND PUSH1 0x02 SWAP1 DIV SWAP1 PUSH1 0x00 MSTORE PUSH1 0x20 PUSH1 0x00 SHA3 SWAP1 PUSH1 0x1f ADD PUSH1 0x20 SWAP1 DIV DUP2 ADD SWAP3 DUP3 PUSH1 0x1f LT PUSH3 0x000216 JUMPI DUP1 MLOAD PUSH1 0xff NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH3 0x000246 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x01 ADD DUP6 SSTORE DUP3 ISZERO PUSH3 0x000246 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH3 0x000246 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x01 ADD SWAP1 PUSH3 0x000229 JUMP JUMPDEST POP PUSH3 0x000254 SWAP3 SWAP2 POP PUSH3 0x000258 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH3 0x000275 SWAP2 SWAP1 JUMPDEST DUP1 DUP3 GT ISZERO PUSH3 0x000254 JUMPI PUSH1 0x00 DUP2 SSTORE PUSH1 0x01 ADD PUSH3 0x00025f JUMP JUMPDEST SWAP1 JUMP JUMPDEST PUSH2 0x0a08 DUP1 PUSH3 0x000288 PUSH1 0x00 CODECOPY PUSH1 0x00 RETURN STOP PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x04 CALLDATASIZE LT PUSH2 0x00c4 JUMPI PUSH4 0xffffffff PUSH29 0x0100000000000000000000000000000000000000000000000000000000 PUSH1 0x00 CALLDATALOAD DIV AND PUSH4 0x06fdde03 DUP2 EQ PUSH2 0x00c9 JUMPI DUP1 PUSH4 0x095ea7b3 EQ PUSH2 0x0153 JUMPI DUP1 PUSH4 0x18160ddd EQ PUSH2 0x018b JUMPI DUP1 PUSH4 0x23b872dd EQ PUSH2 0x01b2 JUMPI DUP1 PUSH4 0x313ce567 EQ PUSH2 0x01dc JUMPI DUP1 PUSH4 0x39509351 EQ PUSH2 0x0207 JUMPI DUP1 PUSH4 0x42966c68 EQ PUSH2 0x022b JUMPI DUP1 PUSH4 0x70a08231 EQ PUSH2 0x0245 JUMPI DUP1 PUSH4 0x79cc6790 EQ PUSH2 0x0266 JUMPI DUP1 PUSH4 0x95d89b41 EQ PUSH2 0x028a JUMPI DUP1 PUSH4 0xa457c2d7 EQ PUSH2 0x029f JUMPI DUP1 PUSH4 0xa9059cbb EQ PUSH2 0x02c3 JUMPI DUP1 PUSH4 0xdd62ed3e EQ PUSH2 0x02e7 JUMPI JUMPDEST PUSH1 0x00 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x00d5 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00de PUSH2 0x030e JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 DUP1 DUP3 MSTORE DUP4 MLOAD DUP2 DUP4 ADD MSTORE DUP4 MLOAD SWAP2 SWAP3 DUP4 SWAP3 SWAP1 DUP4 ADD SWAP2 DUP6 ADD SWAP1 DUP1 DUP4 DUP4 PUSH1 0x00 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x0118 JUMPI DUP2 DUP2 ADD MLOAD DUP4 DUP3 ADD MSTORE PUSH1 0x20 ADD PUSH2 0x0100 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1f AND DUP1 ISZERO PUSH2 0x0145 JUMPI DUP1 DUP3 SUB DUP1 MLOAD PUSH1 0x01 DUP4 PUSH1 0x20 SUB PUSH2 0x0100 EXP SUB NOT AND DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP JUMPDEST POP SWAP3 POP POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x015f JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0177 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x03a4 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 ISZERO ISZERO DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0197 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x01a0 PUSH2 0x0422 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01be JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0177 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH1 0x44 CALLDATALOAD PUSH2 0x0428 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01e8 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x01f1 PUSH2 0x059d JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xff SWAP1 SWAP3 AND DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0213 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0177 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x05a6 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0237 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0243 PUSH1 0x04 CALLDATALOAD PUSH2 0x0656 JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0251 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x01a0 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x0663 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0272 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0243 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x067e JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0296 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00de PUSH2 0x068c JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x02ab JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0177 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x06ed JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x02cf JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0177 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x0738 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x02f3 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x01a0 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH2 0x0817 JUMP JUMPDEST PUSH1 0x03 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x1f PUSH1 0x02 PUSH1 0x00 NOT PUSH2 0x0100 PUSH1 0x01 DUP9 AND ISZERO MUL ADD SWAP1 SWAP6 AND SWAP5 SWAP1 SWAP5 DIV SWAP4 DUP5 ADD DUP2 SWAP1 DIV DUP2 MUL DUP3 ADD DUP2 ADD SWAP1 SWAP3 MSTORE DUP3 DUP2 MSTORE PUSH1 0x60 SWAP4 SWAP1 SWAP3 SWAP1 SWAP2 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x039a JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x036f JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x039a JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x00 MSTORE PUSH1 0x20 PUSH1 0x00 SHA3 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x01 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x037d JUMPI DUP3 SWAP1 SUB PUSH1 0x1f AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x03bb JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP9 AND DUP1 DUP6 MSTORE SWAP1 DUP4 MSTORE SWAP3 DUP2 SWAP1 SHA3 DUP7 SWAP1 SSTORE DUP1 MLOAD DUP7 DUP2 MSTORE SWAP1 MLOAD SWAP3 SWAP4 SWAP3 PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 SWAP3 SWAP2 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x02 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x044d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x047d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0492 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD PUSH2 0x04bb SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP1 DUP7 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP1 DUP3 SHA3 SWAP4 SWAP1 SWAP4 SSTORE SWAP1 DUP6 AND DUP2 MSTORE SHA3 SLOAD PUSH2 0x04f0 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0859 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP1 DUP6 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP5 SWAP1 SWAP5 SSTORE SWAP2 DUP8 AND DUP2 MSTORE PUSH1 0x01 DUP3 MSTORE DUP3 DUP2 SHA3 CALLER DUP3 MSTORE SWAP1 SWAP2 MSTORE SHA3 SLOAD PUSH2 0x0532 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP1 DUP7 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE DUP3 MSTORE SWAP2 DUP3 SWAP1 SHA3 SWAP5 SWAP1 SWAP5 SSTORE DUP1 MLOAD DUP7 DUP2 MSTORE SWAP1 MLOAD SWAP3 DUP8 AND SWAP4 SWAP2 SWAP3 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 SWAP2 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH1 0xff AND SWAP1 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x05bd JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP8 AND DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD PUSH2 0x05f1 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0859 AND JUMP JUMPDEST CALLER PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP10 AND DUP1 DUP6 MSTORE SWAP1 DUP4 MSTORE SWAP3 DUP2 SWAP1 SHA3 DUP6 SWAP1 SSTORE DUP1 MLOAD SWAP5 DUP6 MSTORE MLOAD SWAP2 SWAP4 PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 SWAP3 SWAP1 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x0660 CALLER DUP3 PUSH2 0x0872 JUMP JUMPDEST POP JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD SWAP1 JUMP JUMPDEST PUSH2 0x0688 DUP3 DUP3 PUSH2 0x087c JUMP JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x04 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x1f PUSH1 0x02 PUSH1 0x00 NOT PUSH2 0x0100 PUSH1 0x01 DUP9 AND ISZERO MUL ADD SWAP1 SWAP6 AND SWAP5 SWAP1 SWAP5 DIV SWAP4 DUP5 ADD DUP2 SWAP1 DIV DUP2 MUL DUP3 ADD DUP2 ADD SWAP1 SWAP3 MSTORE DUP3 DUP2 MSTORE PUSH1 0x60 SWAP4 SWAP1 SWAP3 SWAP1 SWAP2 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x039a JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x036f JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x039a JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0704 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP8 AND DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD PUSH2 0x05f1 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x0754 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0769 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD PUSH2 0x0789 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP1 DUP3 SHA3 SWAP3 SWAP1 SWAP3 SSTORE PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP6 AND DUP2 MSTORE SHA3 SLOAD PUSH2 0x07bb SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0859 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 SWAP2 DUP3 SWAP1 SHA3 SWAP4 SWAP1 SWAP4 SSTORE DUP1 MLOAD DUP6 DUP2 MSTORE SWAP1 MLOAD SWAP2 SWAP3 CALLER SWAP3 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP2 DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP4 SWAP1 SWAP5 AND DUP3 MSTORE SWAP2 SWAP1 SWAP2 MSTORE SHA3 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x00 DUP1 DUP4 DUP4 GT ISZERO PUSH2 0x0852 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP POP SWAP1 SUB SWAP1 JUMP JUMPDEST PUSH1 0x00 DUP3 DUP3 ADD DUP4 DUP2 LT ISZERO PUSH2 0x086b JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH2 0x0688 DUP3 DUP3 PUSH2 0x090e JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD DUP2 GT ISZERO PUSH2 0x08ac JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD PUSH2 0x08e0 SWAP1 DUP3 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SSTORE PUSH2 0x0688 DUP3 DUP3 PUSH2 0x0872 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND ISZERO ISZERO PUSH2 0x0923 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD DUP2 GT ISZERO PUSH2 0x0948 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x02 SLOAD PUSH2 0x095b SWAP1 DUP3 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST PUSH1 0x02 SSTORE PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD PUSH2 0x0987 SWAP1 DUP3 PUSH4 0xffffffff PUSH2 0x0842 AND JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP5 SWAP1 SWAP5 SSTORE DUP4 MLOAD DUP6 DUP2 MSTORE SWAP4 MLOAD SWAP2 SWAP4 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 SWAP1 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP POP JUMP STOP LOG1 PUSH6 0x627a7a723058 SHA3 UNKNOWN_0xca UNKNOWN_0xec UNKNOWN_0xcf PUSH28 0x8461a28aa016eed3bd25c1d0c69c5e6daa7f2b08ed4b87f4cdedf721 STOP UNKNOWN_0x29