Contract: Facility
Malicious: no
Decompiled opcodes:
PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x0010 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH1 0x40 DUP1 MLOAD DUP1 DUP3 ADD SWAP1 SWAP2 MSTORE PUSH1 0x0e DUP1 DUP3 MSTORE PUSH32 0x466163696c69747920546f6b656e000000000000000000000000000000000000 PUSH1 0x20 SWAP1 SWAP3 ADD SWAP2 DUP3 MSTORE PUSH2 0x0055 SWAP2 PUSH1 0x03 SWAP2 PUSH2 0x00c4 JUMP JUMPDEST POP PUSH1 0x40 DUP1 MLOAD DUP1 DUP3 ADD SWAP1 SWAP2 MSTORE PUSH1 0x08 DUP1 DUP3 MSTORE PUSH32 0x464143494c495459000000000000000000000000000000000000000000000000 PUSH1 0x20 SWAP1 SWAP3 ADD SWAP2 DUP3 MSTORE PUSH2 0x009a SWAP2 PUSH1 0x02 SWAP2 PUSH2 0x00c4 JUMP JUMPDEST POP PUSH1 0x12 PUSH1 0x01 SSTORE PUSH12 0x0129c8f71ad02e2a68000000 PUSH1 0x00 DUP2 DUP2 SSTORE CALLER DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 SWAP1 SHA3 SSTORE PUSH2 0x015f 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 PUSH2 0x0105 JUMPI DUP1 MLOAD PUSH1 0xff NOT AND DUP4 DUP1 ADD OR DUP6 SSTORE PUSH2 0x0132 JUMP JUMPDEST DUP3 DUP1 ADD PUSH1 0x01 ADD DUP6 SSTORE DUP3 ISZERO PUSH2 0x0132 JUMPI SWAP2 DUP3 ADD JUMPDEST DUP3 DUP2 GT ISZERO PUSH2 0x0132 JUMPI DUP3 MLOAD DUP3 SSTORE SWAP2 PUSH1 0x20 ADD SWAP2 SWAP1 PUSH1 0x01 ADD SWAP1 PUSH2 0x0117 JUMP JUMPDEST POP PUSH2 0x013e SWAP3 SWAP2 POP PUSH2 0x0142 JUMP JUMPDEST POP SWAP1 JUMP JUMPDEST PUSH2 0x015c SWAP2 SWAP1 JUMPDEST DUP1 DUP3 GT ISZERO PUSH2 0x013e JUMPI PUSH1 0x00 DUP2 SSTORE PUSH1 0x01 ADD PUSH2 0x0148 JUMP JUMPDEST SWAP1 JUMP JUMPDEST PUSH2 0x0651 DUP1 PUSH2 0x016e PUSH1 0x00 CODECOPY PUSH1 0x00 RETURN STOP PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x04 CALLDATASIZE LT PUSH2 0x0098 JUMPI PUSH4 0xffffffff PUSH29 0x0100000000000000000000000000000000000000000000000000000000 PUSH1 0x00 CALLDATALOAD DIV AND PUSH4 0x06fdde03 DUP2 EQ PUSH2 0x00aa JUMPI DUP1 PUSH4 0x095ea7b3 EQ PUSH2 0x0134 JUMPI DUP1 PUSH4 0x18160ddd EQ PUSH2 0x016c JUMPI DUP1 PUSH4 0x23b872dd EQ PUSH2 0x0193 JUMPI DUP1 PUSH4 0x313ce567 EQ PUSH2 0x01bd JUMPI DUP1 PUSH4 0x70a08231 EQ PUSH2 0x01d2 JUMPI DUP1 PUSH4 0x95d89b41 EQ PUSH2 0x01f3 JUMPI DUP1 PUSH4 0xa9059cbb EQ PUSH2 0x0208 JUMPI DUP1 PUSH4 0xdd62ed3e EQ PUSH2 0x022c JUMPI JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x00a4 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH1 0x00 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x00b6 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00bf PUSH2 0x0253 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 0x00f9 JUMPI DUP2 DUP2 ADD MLOAD DUP4 DUP3 ADD MSTORE PUSH1 0x20 ADD PUSH2 0x00e1 JUMP JUMPDEST POP POP POP POP SWAP1 POP SWAP1 DUP2 ADD SWAP1 PUSH1 0x1f AND DUP1 ISZERO PUSH2 0x0126 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 0x0140 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0158 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x02e1 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 0x0178 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0181 PUSH2 0x0364 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x019f JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0158 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH1 0x44 CALLDATALOAD PUSH2 0x036a JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01c9 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0181 PUSH2 0x04b7 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01de JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0181 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x04bd JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x01ff JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x00bf PUSH2 0x04d8 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0214 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0158 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH2 0x0530 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0238 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0181 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD DUP2 AND SWAP1 PUSH1 0x24 CALLDATALOAD AND PUSH2 0x05fa JUMP JUMPDEST PUSH1 0x03 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 0x02d9 JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x02ae JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x02d9 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 0x02bc JUMPI DUP3 SWAP1 SUB PUSH1 0x1f AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x02fd JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 DUP2 DUP2 MSTORE PUSH1 0x04 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 0x00 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP4 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x038f JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x04 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x03bf JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x03e1 JUMPI UNKNOWN_0xfe JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 DUP1 SLOAD DUP7 SWAP1 SUB SWAP1 SSTORE PUSH1 0x04 DUP3 MSTORE DUP1 DUP4 SHA3 CALLER DUP5 MSTORE SWAP1 SWAP2 MSTORE SWAP1 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x041c JUMPI UNKNOWN_0xfe JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP1 DUP6 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x04 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 CALLER DUP5 MSTORE DUP3 MSTORE DUP1 DUP4 SHA3 DUP1 SLOAD DUP8 SWAP1 SUB SWAP1 SSTORE SWAP3 DUP7 AND DUP3 MSTORE PUSH1 0x05 SWAP1 MSTORE SHA3 DUP1 SLOAD DUP4 ADD SWAP1 DUP2 SWAP1 SSTORE DUP3 GT ISZERO PUSH2 0x0462 JUMPI UNKNOWN_0xfe JUMPDEST DUP3 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP5 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef DUP5 PUSH1 0x40 MLOAD DUP1 DUP3 DUP2 MSTORE PUSH1 0x20 ADD SWAP2 POP POP PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 LOG3 POP PUSH1 0x01 SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x01 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD SWAP1 JUMP JUMPDEST PUSH1 0x02 DUP1 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x20 PUSH1 0x01 DUP5 AND ISZERO PUSH2 0x0100 MUL PUSH1 0x00 NOT ADD SWAP1 SWAP4 AND DUP5 SWAP1 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 0x02d9 JUMPI DUP1 PUSH1 0x1f LT PUSH2 0x02ae JUMPI PUSH2 0x0100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x02d9 JUMP JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 DUP2 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x054c JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP5 AND EQ ISZERO PUSH2 0x0562 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 SWAP1 SHA3 SLOAD DUP3 GT ISZERO PUSH2 0x057b JUMPI UNKNOWN_0xfe JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x05 PUSH1 0x20 MSTORE PUSH1 0x40 DUP1 DUP3 SHA3 DUP1 SLOAD DUP6 SWAP1 SUB SWAP1 SSTORE PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP6 AND DUP3 MSTORE SWAP1 SHA3 DUP1 SLOAD DUP4 ADD SWAP1 DUP2 SWAP1 SSTORE DUP3 GT ISZERO PUSH2 0x05b1 JUMPI UNKNOWN_0xfe JUMPDEST PUSH1 0x40 DUP1 MLOAD DUP4 DUP2 MSTORE SWAP1 MLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP6 AND SWAP2 CALLER SWAP2 PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef SWAP2 DUP2 SWAP1 SUB PUSH1 0x20 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 0x04 PUSH1 0x20 SWAP1 DUP2 MSTORE PUSH1 0x40 DUP1 DUP4 SHA3 SWAP4 SWAP1 SWAP5 AND DUP3 MSTORE SWAP2 SWAP1 SWAP2 MSTORE SHA3 SLOAD SWAP1 JUMP STOP LOG1 PUSH6 0x627a7a723058 SHA3 UNKNOWN_0x1e EXTCODEHASH CALL DUP9 UNKNOWN_0x22 UNKNOWN_0x23 SWAP10 PUSH23 0x86dc5a644fdc52ba63be075c015eb290d935b7e3d01ea2 UNKNOWN_0xa7 STOP UNKNOWN_0x29