Contract: HumanStandardToken
Malicious: no
Decompiled opcodes:
PUSH1 0xa0 PUSH1 0x40 MSTORE PUSH1 0x04 PUSH1 0x60 MSTORE PUSH32 0x48302e3100000000000000000000000000000000000000000000000000000000 PUSH1 0x80 MSTORE PUSH1 0x06 DUP1 SLOAD PUSH1 0x00 DUP3 SWAP1 MSTORE PUSH32 0x48302e3100000000000000000000000000000000000000000000000000000008 DUP3 SSTORE PUSH2 0x00b5 SWAP1 PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f PUSH1 0x20 PUSH1 0x02 PUSH1 0x01 DUP5 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP4 AND SWAP3 SWAP1 SWAP3 DIV PUSH1 0x1f ADD SWAP2 SWAP1 SWAP2 DIV DUP2 ADD SWAP1 JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x0179 JUMPI PUSH1 0x00 DUP2 SSTORE PUSH1 0x01 ADD PUSH2 0x00a1 JUMP JUMPDEST POP POP PUSH1 0x40 MLOAD PUSH2 0x094b CODESIZE SUB DUP1 PUSH2 0x094b DUP4 CODECOPY DUP2 ADD PUSH1 0x40 MSTORE DUP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 DUP1 MLOAD DUP3 ADD SWAP2 SWAP1 PUSH1 0x20 ADD DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 SWAP2 SWAP1 DUP1 MLOAD DUP3 ADD SWAP2 SWAP1 PUSH1 0x20 ADD POP POP DUP4 PUSH1 0x00 PUSH1 0x00 POP PUSH1 0x00 CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x00 SHA3 PUSH1 0x00 POP DUP2 SWAP1 SSTORE POP DUP4 PUSH1 0x02 PUSH1 0x00 POP DUP2 SWAP1 SSTORE POP DUP3 PUSH1 0x03 PUSH1 0x00 POP SWAP1 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 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 PUSH2 0x017d JUMPI DUP1 MLOAD PUSH1 0xff NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE JUMPDEST POP PUSH2 0x01ad SWAP3 SWAP2 POP PUSH2 0x00a1 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x01 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x016d JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x016d JUMPI DUP3 MLOAD DUP3 PUSH1 0x00 POP SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x01 ADD SWAP1 PUSH2 0x018f JUMP JUMPDEST POP POP PUSH1 0x04 DUP1 SLOAD PUSH1 0xff NOT AND DUP4 OR SWAP1 SSTORE PUSH1 0x05 DUP1 SLOAD DUP3 MLOAD PUSH1 0x00 DUP4 SWAP1 MSTORE PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 PUSH1 0x20 PUSH1 0x02 PUSH1 0x01 DUP6 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP5 AND SWAP4 SWAP1 SWAP4 DIV PUSH1 0x1f SWAP1 DUP2 ADD DUP5 SWAP1 DIV DUP3 ADD SWAP4 DUP7 ADD SWAP1 DUP4 SWAP1 LT PUSH2 0x022d JUMPI DUP1 MLOAD PUSH1 0xff NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE JUMPDEST POP PUSH2 0x025d SWAP3 SWAP2 POP PUSH2 0x00a1 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x01 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x0221 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x0221 JUMPI DUP3 MLOAD DUP3 PUSH1 0x00 POP SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x01 ADD SWAP1 PUSH2 0x023f JUMP JUMPDEST POP POP POP POP POP POP PUSH2 0x06da DUP1 PUSH2 0x0271 PUSH1 0x00 CODECOPY PUSH1 0x00 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE CALLDATASIZE ISZERO PUSH2 0x008d JUMPI PUSH1 0xe0 PUSH1 0x02 EXP PUSH1 0x00 CALLDATALOAD DIV PUSH4 0x06fdde03 DUP2 EQ PUSH2 0x0095 JUMPI DUP1 PUSH4 0x095ea7b3 EQ PUSH2 0x00f3 JUMPI DUP1 PUSH4 0x18160ddd EQ PUSH2 0x0168 JUMPI DUP1 PUSH4 0x23b872dd EQ PUSH2 0x0171 JUMPI DUP1 PUSH4 0x313ce567 EQ PUSH2 0x025c JUMPI DUP1 PUSH4 0x54fd4d50 EQ PUSH2 0x0268 JUMPI DUP1 PUSH4 0x70a08231 EQ PUSH2 0x02c6 JUMPI DUP1 PUSH4 0x95d89b41 EQ PUSH2 0x02f4 JUMPI DUP1 PUSH4 0xa9059cbb EQ PUSH2 0x0352 JUMPI DUP1 PUSH4 0xcae9ca51 EQ PUSH2 0x03f7 JUMPI DUP1 PUSH4 0xdd62ed3e EQ PUSH2 0x05be JUMPI JUMPDEST PUSH2 0x05f2 PUSH2 0x0002 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x03 DUP1 SLOAD PUSH1 0x20 PUSH1 0x02 PUSH1 0x01 DUP4 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP3 AND SWAP2 SWAP1 SWAP2 DIV PUSH1 0x1f DUP2 ADD DUP3 SWAP1 DIV DUP3 MUL DUP5 ADD DUP3 ADD SWAP1 SWAP5 MSTORE DUP4 DUP4 MSTORE PUSH2 0x05f4 SWAP4 SWAP1 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x06b7 JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x068c JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x06b7 JUMP JUMPDEST PUSH2 0x0662 PUSH1 0x04 CALLDATALOAD PUSH1 0x24 CALLDATALOAD CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 DUP2 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP5 DUP8 AND DUP1 DUP5 MSTORE SWAP5 DUP3 MSTORE DUP1 DUP4 SHA3 DUP7 SWAP1 SSTORE DUP1 MLOAD DUP7 DUP2 MSTORE SWAP1 MLOAD SWAP3 SWAP5 SWAP4 SWAP3 PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 SWAP3 SWAP2 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x02e2 PUSH1 0x02 SLOAD DUP2 JUMP JUMPDEST PUSH2 0x0662 PUSH1 0x04 CALLDATALOAD PUSH1 0x24 CALLDATALOAD PUSH1 0x44 CALLDATALOAD 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 SWAP1 LT DUP1 ISZERO SWAP1 PUSH2 0x01c4 JUMPI POP PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP5 MSTORE SWAP1 SWAP2 MSTORE DUP2 SHA3 SLOAD DUP3 SWAP1 LT ISZERO JUMPDEST DUP1 ISZERO PUSH2 0x01d0 JUMPI POP PUSH1 0x00 DUP3 GT JUMPDEST ISZERO PUSH2 0x06bf JUMPI PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 DUP2 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 DUP1 SLOAD DUP9 ADD SWAP1 SSTORE DUP9 DUP6 AND DUP1 DUP5 MSTORE DUP2 DUP5 SHA3 DUP1 SLOAD DUP10 SWAP1 SUB SWAP1 SSTORE PUSH1 0x01 DUP4 MSTORE DUP2 DUP5 SHA3 CALLER SWAP1 SWAP7 AND DUP5 MSTORE SWAP5 DUP3 MSTORE SWAP2 DUP3 SWAP1 SHA3 DUP1 SLOAD DUP8 SWAP1 SUB SWAP1 SSTORE DUP2 MLOAD DUP7 DUP2 MSTORE SWAP2 MLOAD SWAP3 SWAP4 SWAP3 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 PUSH2 0x06c3 JUMP JUMPDEST PUSH2 0x0676 PUSH1 0x04 SLOAD PUSH1 0xff AND DUP2 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x06 DUP1 SLOAD PUSH1 0x20 PUSH1 0x02 PUSH1 0x01 DUP4 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP3 AND SWAP2 SWAP1 SWAP2 DIV PUSH1 0x1f DUP2 ADD DUP3 SWAP1 DIV DUP3 MUL DUP5 ADD DUP3 ADD SWAP1 SWAP5 MSTORE DUP4 DUP4 MSTORE PUSH2 0x05f4 SWAP4 SWAP1 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x06b7 JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x068c JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x06b7 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST PUSH2 0x05f4 PUSH1 0x05 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x02 PUSH1 0x01 DUP6 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP5 AND SWAP4 SWAP1 SWAP4 DIV PUSH1 0x1f DUP2 ADD DUP5 SWAP1 DIV DUP5 MUL DUP3 ADD DUP5 ADD SWAP1 SWAP3 MSTORE DUP2 DUP2 MSTORE SWAP3 SWAP2 DUP4 ADD DUP3 DUP3 DUP1 ISZERO PUSH2 0x06b7 JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x068c JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x06b7 JUMP JUMPDEST PUSH2 0x0662 PUSH1 0x04 CALLDATALOAD PUSH1 0x24 CALLDATALOAD CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 SWAP1 LT DUP1 ISZERO SWAP1 PUSH2 0x0384 JUMPI POP PUSH1 0x00 DUP3 GT JUMPDEST ISZERO PUSH2 0x06ca JUMPI CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 DUP2 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x20 DUP2 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 DUP1 SLOAD DUP9 SWAP1 SUB SWAP1 SSTORE SWAP4 DUP8 AND DUP1 DUP4 MSTORE SWAP2 DUP5 SWAP1 SHA3 DUP1 SLOAD DUP8 ADD SWAP1 SSTORE DUP4 MLOAD DUP7 DUP2 MSTORE SWAP4 MLOAD SWAP2 SWAP4 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP3 SWAP1 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 POP PUSH1 0x01 PUSH2 0x0162 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x44 CALLDATALOAD PUSH1 0x04 DUP2 DUP2 ADD CALLDATALOAD PUSH1 0x1f DUP2 ADD DUP5 SWAP1 DIV DUP5 MUL DUP6 ADD DUP5 ADD SWAP1 SWAP6 MSTORE DUP5 DUP5 MSTORE PUSH2 0x0662 SWAP5 DUP2 CALLDATALOAD SWAP5 PUSH1 0x24 DUP1 CALLDATALOAD SWAP6 SWAP4 SWAP5 PUSH1 0x64 SWAP5 SWAP3 SWAP4 SWAP2 ADD SWAP2 DUP2 SWAP1 DUP5 ADD DUP4 DUP3 DUP1 DUP3 DUP5 CALLDATACOPY POP SWAP5 SWAP7 POP POP POP POP POP POP POP CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 DUP2 AND PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP5 DUP9 AND DUP1 DUP5 MSTORE SWAP5 DUP3 MSTORE DUP1 DUP4 SHA3 DUP8 SWAP1 SSTORE DUP1 MLOAD DUP8 DUP2 MSTORE SWAP1 MLOAD SWAP3 SWAP5 SWAP4 SWAP3 PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 SWAP3 SWAP2 DUP2 SWAP1 SUB SWAP1 SWAP2 ADD SWAP1 LOG3 DUP4 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH1 0x40 MLOAD DUP1 DUP1 PUSH32 0x72656365697665417070726f76616c28616464726573732c75696e743235362c DUP2 MSTORE PUSH1 0x20 ADD PUSH32 0x616464726573732c627974657329000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x20 ADD POP PUSH1 0x2e ADD SWAP1 POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 SHA3 PUSH1 0xe0 PUSH1 0x02 EXP SWAP1 DIV CALLER DUP6 ADDRESS DUP7 PUSH1 0x40 MLOAD DUP6 PUSH1 0xe0 PUSH1 0x02 EXP MUL DUP2 MSTORE PUSH1 0x04 ADD DUP1 DUP6 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP2 MSTORE PUSH1 0x20 ADD DUP5 DUP2 MSTORE PUSH1 0x20 ADD DUP4 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 DUP3 SWAP1 PUSH1 0x00 PUSH1 0x04 PUSH1 0x20 DUP5 PUSH1 0x1f ADD DIV PUSH1 0x0f MUL PUSH1 0x03 ADD CALL POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1f AND DUP1 ISZERO PUSH2 0x0596 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 SWAP5 POP POP POP POP POP PUSH1 0x00 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 PUSH1 0x00 DUP8 PUSH2 0x61da GAS SUB CALL SWAP3 POP POP POP ISZERO ISZERO PUSH2 0x06d2 JUMPI PUSH2 0x0002 JUMP JUMPDEST PUSH2 0x02e2 PUSH1 0x04 CALLDATALOAD PUSH1 0x24 CALLDATALOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 DUP2 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x01 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP4 DUP6 AND DUP4 MSTORE SWAP3 SWAP1 MSTORE SHA3 SLOAD PUSH2 0x0162 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x40 MLOAD DUP1 DUP1 PUSH1 0x20 ADD DUP3 DUP2 SUB DUP3 MSTORE DUP4 DUP2 DUP2 MLOAD DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP DUP1 MLOAD SWAP1 PUSH1 0x20 ADD SWAP1 DUP1 DUP4 DUP4 DUP3 SWAP1 PUSH1 0x00 PUSH1 0x04 PUSH1 0x20 DUP5 PUSH1 0x1f ADD DIV PUSH1 0x0f MUL PUSH1 0x03 ADD CALL POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1f AND DUP1 ISZERO PUSH2 0x0654 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 PUSH1 0x40 DUP1 MLOAD SWAP2 ISZERO ISZERO DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0xff SWAP1 SWAP3 AND DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN 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 0x069a JUMPI DUP3 SWAP1 SUB PUSH1 0x1f AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST POP PUSH1 0x00 JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST POP PUSH1 0x00 PUSH2 0x0162 JUMP JUMPDEST POP PUSH1 0x01 PUSH2 0x06c3 JUMP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP DIV UNKNOWN_0xce UNKNOWN_0x1e UNKNOWN_0xee ISZERO SWAP3 PUSH19 0x49d83400000000000000000000000000000000 STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP DUP1 STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP SLT STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP UNKNOWN_0xc0 STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP SLT MSTORE8 PUSH16 0x7669657420556e696f6e205275626c65 STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP SUB MSTORE SSTORE TIMESTAMP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP STOP