Contract: PROOF
Malicious: no
Decompiled opcodes:
PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x0010 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x002c CALLER PUSH8 0x016345785d8a0000 PUSH5 0x0100000000 PUSH2 0x0031 DUP2 MUL DIV JUMP JUMPDEST PUSH2 0x0102 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP3 AND ISZERO ISZERO PUSH2 0x0046 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x02 SLOAD PUSH2 0x0060 SWAP1 DUP3 PUSH5 0x0100000000 PUSH2 0x0789 PUSH2 0x00e9 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 PUSH2 0x0093 SWAP1 DUP3 PUSH5 0x0100000000 PUSH2 0x0789 PUSH2 0x00e9 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 PUSH2 0x00fb JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH2 0x07ce DUP1 PUSH2 0x0111 PUSH1 0x00 CODECOPY PUSH1 0x00 RETURN STOP PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x04 CALLDATASIZE LT PUSH2 0x00b9 JUMPI PUSH4 0xffffffff PUSH29 0x0100000000000000000000000000000000000000000000000000000000 PUSH1 0x00 CALLDATALOAD DIV AND PUSH4 0x06fdde03 DUP2 EQ PUSH2 0x00be JUMPI DUP1 PUSH4 0x095ea7b3 EQ PUSH2 0x0148 JUMPI DUP1 PUSH4 0x18160ddd EQ PUSH2 0x0180 JUMPI DUP1 PUSH4 0x23b872dd EQ PUSH2 0x01a7 JUMPI DUP1 PUSH4 0x2ff2e9dc EQ PUSH2 0x01d1 JUMPI DUP1 PUSH4 0x313ce567 EQ PUSH2 0x01e6 JUMPI DUP1 PUSH4 0x39509351 EQ PUSH2 0x0211 JUMPI DUP1 PUSH4 0x70a08231 EQ PUSH2 0x0235 JUMPI DUP1 PUSH4 0x95d89b41 EQ PUSH2 0x0256 JUMPI DUP1 PUSH4 0xa457c2d7 EQ PUSH2 0x026b JUMPI DUP1 PUSH4 0xa9059cbb EQ PUSH2 0x028f JUMPI DUP1 PUSH4 0xdd62ed3e EQ PUSH2 0x02b3 JUMPI JUMPDEST PUSH1 0x00 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x00ca JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00d3 PUSH2 0x02da 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 0x010d JUMPI DUP2 DUP2 ADD MLOAD DUP4 DUP3 ADD MSTORE PUSH1 0x20 ADD PUSH2 0x00f5 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1f AND DUP1 ISZERO PUSH2 0x013a 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 0x0154 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x016c PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x0311 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 0x018c JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0195 PUSH2 0x038f JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01b3 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x016c PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH1 0x44 CALLDATALOAD PUSH2 0x0395 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01dd JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0195 PUSH2 0x050a JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01f2 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x01fb PUSH2 0x0516 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 0x021d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x016c PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x051b JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0241 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0195 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x05cb JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0262 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00d3 PUSH2 0x05e6 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0277 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x016c PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x061d JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x029b JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x016c PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x0668 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x02bf JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0195 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH2 0x0747 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD DUP1 DUP3 ADD SWAP1 SWAP2 MSTORE PUSH1 0x05 DUP2 MSTORE PUSH32 0x50524f4f46000000000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE DUP2 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0328 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 0x03ba 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 0x03ea JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x03ff 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 0x0428 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0772 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 0x045d SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0789 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 0x049f SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0772 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 PUSH8 0x016345785d8a0000 DUP2 JUMP JUMPDEST PUSH1 0x06 DUP2 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0532 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 0x0566 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0789 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 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 PUSH1 0x40 DUP1 MLOAD DUP1 DUP3 ADD SWAP1 SWAP2 MSTORE PUSH1 0x03 DUP2 MSTORE PUSH32 0x5052460000000000000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE DUP2 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0634 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 0x0566 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0772 AND JUMP JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x0684 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND ISZERO ISZERO PUSH2 0x0699 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD PUSH2 0x06b9 SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0772 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 0x06eb SWAP1 DUP4 PUSH4 0xffffffff PUSH2 0x0789 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 0x0782 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP POP SWAP1 SUB SWAP1 JUMP JUMPDEST PUSH1 0x00 DUP3 DUP3 ADD DUP4 DUP2 LT ISZERO PUSH2 0x079b JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP STOP LOG1 PUSH6 0x627a7a723058 SHA3 UNKNOWN_0x26 SLT CREATE2 ADDRESS UNKNOWN_0x5d PUSH26 0x768237cb67fb26e15dcb6332fe8254903494100093824f5928b0 STOP UNKNOWN_0x29