Contract: InsuranceFund
Malicious: no
Decompiled opcodes:
PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x02 DUP1 SLOAD PUSH1 0xff NOT AND SWAP1 SSTORE CALLVALUE DUP1 ISZERO PUSH2 0x001a JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x087c DUP1 PUSH2 0x002a PUSH1 0x00 CODECOPY PUSH1 0x00 RETURN STOP PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x04 CALLDATASIZE LT PUSH2 0x00a3 JUMPI PUSH4 0xffffffff PUSH29 0x0100000000000000000000000000000000000000000000000000000000 PUSH1 0x00 CALLDATALOAD DIV AND PUSH4 0x163ce272 DUP2 EQ PUSH2 0x02ea JUMPI DUP1 PUSH4 0x18160ddd EQ PUSH2 0x0311 JUMPI DUP1 PUSH4 0x40a1bad6 EQ PUSH2 0x0326 JUMPI DUP1 PUSH4 0x42a59155 EQ PUSH2 0x0349 JUMPI DUP1 PUSH4 0x6f7bc9be EQ PUSH2 0x036a JUMPI DUP1 PUSH4 0xc0592340 EQ PUSH2 0x03ab JUMPI DUP1 PUSH4 0xc4970cbb EQ PUSH2 0x03d4 JUMPI DUP1 PUSH4 0xdbb686cf EQ PUSH2 0x03e9 JUMPI DUP1 PUSH4 0xf3f7d633 EQ PUSH2 0x041a JUMPI DUP1 PUSH4 0xf9bb8687 EQ PUSH2 0x042f JUMPI JUMPDEST CALLER PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 SWAP1 DUP1 DUP1 DUP1 DUP1 CALLVALUE DUP2 LT ISZERO PUSH2 0x01c4 JUMPI PUSH1 0x02 SLOAD PUSH1 0xff AND ISZERO PUSH2 0x00cf JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x05 SLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND CALLER EQ DUP1 ISZERO SWAP1 PUSH2 0x00f2 JUMPI POP PUSH8 0x016345785d8a0000 CALLVALUE LT ISZERO JUMPDEST ISZERO PUSH2 0x01bf JUMPI PUSH1 0x06 SLOAD PUSH1 0x40 DUP1 MLOAD PUSH32 0x29dc492800000000000000000000000000000000000000000000000000000000 DUP2 MSTORE CALLER PUSH1 0x04 DUP3 ADD MSTORE SWAP1 MLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 SWAP3 AND SWAP2 PUSH4 0x29dc4928 SWAP2 PUSH1 0x24 DUP1 DUP3 ADD SWAP3 PUSH1 0x60 SWAP3 SWAP1 SWAP2 SWAP1 DUP3 SWAP1 SUB ADD DUP2 PUSH1 0x00 DUP8 DUP1 EXTCODESIZE ISZERO DUP1 ISZERO PUSH2 0x015d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP GAS CALL ISZERO DUP1 ISZERO PUSH2 0x0171 JUMPI RETURNDATASIZE PUSH1 0x00 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x00 REVERT JUMPDEST POP POP POP POP PUSH1 0x40 MLOAD RETURNDATASIZE PUSH1 0x60 DUP2 LT ISZERO PUSH2 0x0187 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP DUP1 MLOAD PUSH1 0x20 DUP3 ADD MLOAD PUSH1 0x40 SWAP1 SWAP3 ADD MLOAD PUSH1 0x02 DUP10 ADD DUP1 SLOAD PUSH1 0xff NOT AND SWAP2 ISZERO ISZERO SWAP2 SWAP1 SWAP2 OR SWAP1 SSTORE PUSH1 0x01 DUP1 SLOAD DUP2 ADD SWAP1 SSTORE SWAP6 POP SWAP4 POP PUSH2 0x01bf CALLER DUP7 DUP7 PUSH2 0x0456 JUMP JUMPDEST PUSH2 0x02e2 JUMP JUMPDEST CALLVALUE ISZERO ISZERO PUSH2 0x02e2 JUMPI PUSH1 0x01 DUP7 ADD SLOAD DUP7 SLOAD PUSH2 0x01e1 SWAP2 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST PUSH1 0x04 SLOAD SWAP1 SWAP4 POP PUSH2 0x0208 SWAP1 PUSH2 0x01fc DUP6 PUSH1 0x64 PUSH4 0xffffffff PUSH2 0x05cd AND JUMP JUMPDEST SWAP1 PUSH4 0xffffffff PUSH2 0x05f8 AND JUMP JUMPDEST SWAP2 POP PUSH2 0x0230 DUP3 PUSH2 0x0224 PUSH1 0x64 PUSH1 0x03 SLOAD PUSH2 0x05f8 SWAP1 SWAP2 SWAP1 PUSH4 0xffffffff AND JUMP JUMPDEST SWAP1 PUSH4 0xffffffff PUSH2 0x05cd AND JUMP JUMPDEST PUSH1 0x02 SLOAD SWAP1 SWAP2 POP PUSH1 0xff AND DUP1 ISZERO PUSH2 0x0249 JUMPI POP PUSH1 0x02 DUP7 ADD SLOAD PUSH1 0xff AND JUMPDEST DUP1 ISZERO PUSH2 0x0255 JUMPI POP PUSH1 0x00 DUP4 GT JUMPDEST ISZERO ISZERO PUSH2 0x0260 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x02 DUP7 ADD DUP1 SLOAD PUSH1 0xff NOT AND SWAP1 SSTORE PUSH1 0x40 MLOAD CALLER SWAP1 DUP3 ISZERO PUSH2 0x08fc MUL SWAP1 DUP4 SWAP1 PUSH1 0x00 DUP2 DUP2 DUP2 DUP6 DUP9 DUP9 CALL SWAP4 POP POP POP POP ISZERO DUP1 ISZERO PUSH2 0x0299 JUMPI RETURNDATASIZE PUSH1 0x00 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x00 REVERT JUMPDEST POP PUSH1 0x40 DUP1 MLOAD CALLER DUP2 MSTORE PUSH1 0x20 DUP2 ADD DUP4 SWAP1 MSTORE DUP1 DUP3 ADD DUP6 SWAP1 MSTORE PUSH1 0x60 DUP2 ADD DUP5 SWAP1 MSTORE SWAP1 MLOAD PUSH32 0x1ff60751a354563b8db02f735046d6cecdd1ec33b27b453a7925da806b529adb SWAP2 DUP2 SWAP1 SUB PUSH1 0x80 ADD SWAP1 LOG1 JUMPDEST POP POP POP POP POP POP STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x02f6 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x02ff PUSH2 0x060f JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP2 DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x031d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x02ff PUSH2 0x0615 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0332 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0347 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x061b JUMP JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0355 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0347 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x06d0 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0376 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x038b PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH2 0x0722 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD SWAP4 DUP5 MSTORE PUSH1 0x20 DUP5 ADD SWAP3 SWAP1 SWAP3 MSTORE ISZERO ISZERO DUP3 DUP3 ADD MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x60 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x03b7 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x03c0 PUSH2 0x0746 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 0x03e0 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0347 PUSH2 0x074f JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x03f5 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x03fe PUSH2 0x0796 JUMP JUMPDEST PUSH1 0x40 DUP1 MLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 SWAP3 AND DUP3 MSTORE MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x20 ADD SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x0426 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x02ff PUSH2 0x07a5 JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x043b JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP PUSH2 0x0347 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB PUSH1 0x04 CALLDATALOAD AND PUSH1 0x24 CALLDATALOAD PUSH1 0x44 CALLDATALOAD PUSH2 0x07ab JUMP JUMPDEST PUSH1 0x02 SLOAD PUSH1 0x00 SWAP1 DUP2 SWAP1 PUSH1 0xff AND ISZERO ISZERO PUSH2 0x05b2 JUMPI PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP6 AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 SWAP1 SHA3 DUP1 SLOAD SWAP1 SWAP3 POP DUP5 EQ PUSH2 0x04b7 JUMPI DUP2 SLOAD PUSH2 0x04b0 SWAP1 PUSH2 0x04a1 SWAP1 DUP7 SWAP1 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST PUSH1 0x04 SLOAD SWAP1 PUSH4 0xffffffff PUSH2 0x0834 AND JUMP JUMPDEST PUSH1 0x04 SSTORE DUP4 DUP3 SSTORE JUMPDEST PUSH1 0x01 DUP3 ADD SLOAD DUP4 EQ PUSH2 0x0558 JUMPI DUP3 DUP5 GT PUSH2 0x050c JUMPI PUSH2 0x04d9 DUP5 DUP5 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST SWAP1 POP DUP1 PUSH1 0x04 SLOAD LT ISZERO ISZERO PUSH2 0x0501 JUMPI PUSH1 0x04 SLOAD PUSH2 0x04f9 SWAP1 DUP3 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST PUSH1 0x04 SSTORE PUSH2 0x0507 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x04 SSTORE JUMPDEST PUSH2 0x0550 JUMP JUMPDEST PUSH1 0x01 DUP3 ADD SLOAD PUSH2 0x0522 SWAP1 DUP5 SWAP1 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST SWAP1 POP DUP1 PUSH1 0x04 SLOAD LT ISZERO ISZERO PUSH2 0x054a JUMPI PUSH1 0x04 SLOAD PUSH2 0x0542 SWAP1 DUP3 PUSH4 0xffffffff PUSH2 0x05b9 AND JUMP JUMPDEST PUSH1 0x04 SSTORE PUSH2 0x0550 JUMP JUMPDEST PUSH1 0x00 PUSH1 0x04 SSTORE JUMPDEST PUSH1 0x01 DUP3 ADD DUP4 SWAP1 SSTORE JUMPDEST PUSH1 0x04 SLOAD DUP3 SLOAD PUSH1 0x01 DUP5 ADD SLOAD PUSH1 0x40 DUP1 MLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB DUP11 AND DUP2 MSTORE PUSH1 0x20 DUP2 ADD SWAP5 SWAP1 SWAP5 MSTORE DUP4 DUP2 ADD SWAP3 SWAP1 SWAP3 MSTORE PUSH1 0x60 DUP4 ADD MSTORE MLOAD PUSH32 0xd6a9872449a5768506e317afb415057b85159dcb4890d3b0c03ed97dc358eee4 SWAP2 DUP2 SWAP1 SUB PUSH1 0x80 ADD SWAP1 LOG1 JUMPDEST POP POP POP POP POP JUMP JUMPDEST PUSH1 0x00 PUSH2 0x05c7 DUP4 DUP4 GT ISZERO PUSH2 0x0841 JUMP JUMPDEST POP SWAP1 SUB SWAP1 JUMP JUMPDEST PUSH1 0x00 DUP3 DUP3 MUL PUSH2 0x05f1 DUP5 ISZERO DUP1 PUSH2 0x05ec JUMPI POP DUP4 DUP6 DUP4 DUP2 ISZERO ISZERO PUSH2 0x05e9 JUMPI UNKNOWN_0xfe JUMPDEST DIV EQ JUMPDEST PUSH2 0x0841 JUMP JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x00 DUP1 DUP3 DUP5 DUP2 ISZERO ISZERO PUSH2 0x0606 JUMPI UNKNOWN_0xfe JUMPDEST DIV SWAP5 SWAP4 POP POP POP POP JUMP JUMPDEST PUSH1 0x04 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x03 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH1 0x00 SWAP1 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND CALLER EQ PUSH2 0x0697 JUMPI PUSH1 0x40 DUP1 MLOAD PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x20 PUSH1 0x04 DUP3 ADD MSTORE PUSH1 0x0d PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x6163636573732064656e69656400000000000000000000000000000000000000 PUSH1 0x44 DUP3 ADD MSTORE SWAP1 MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x64 ADD SWAP1 REVERT JUMPDEST POP PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND PUSH1 0x00 SWAP1 DUP2 MSTORE PUSH1 0x20 DUP2 SWAP1 MSTORE PUSH1 0x40 DUP2 SHA3 DUP2 DUP2 SSTORE PUSH1 0x01 DUP1 DUP3 ADD SWAP3 SWAP1 SWAP3 SSTORE PUSH1 0x02 ADD DUP1 SLOAD PUSH1 0xff NOT AND SWAP1 SSTORE DUP1 SLOAD PUSH1 0x00 NOT ADD SWAP1 SSTORE JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND ISZERO PUSH2 0x06e6 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x05 DUP1 SLOAD PUSH20 0xffffffffffffffffffffffffffffffffffffffff NOT SWAP1 DUP2 AND PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP4 DUP5 AND OR SWAP2 DUP3 SWAP1 SSTORE PUSH1 0x06 DUP1 SLOAD SWAP3 SWAP1 SWAP4 AND SWAP2 AND OR SWAP1 SSTORE JUMP JUMPDEST PUSH1 0x00 PUSH1 0x20 DUP2 SWAP1 MSTORE SWAP1 DUP2 MSTORE PUSH1 0x40 SWAP1 SHA3 DUP1 SLOAD PUSH1 0x01 DUP3 ADD SLOAD PUSH1 0x02 SWAP1 SWAP3 ADD SLOAD SWAP1 SWAP2 SWAP1 PUSH1 0xff AND DUP4 JUMP JUMPDEST PUSH1 0x02 SLOAD PUSH1 0xff AND DUP2 JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH8 0x016345785d8a0000 PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB SWAP1 SWAP2 AND BALANCE LT DUP1 ISZERO PUSH2 0x0777 JUMPI POP PUSH1 0x02 SLOAD PUSH1 0xff AND ISZERO JUMPDEST ISZERO ISZERO PUSH2 0x0782 JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST PUSH1 0x02 DUP1 SLOAD PUSH1 0xff NOT AND PUSH1 0x01 OR SWAP1 SSTORE ADDRESS BALANCE PUSH1 0x03 SSTORE JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND DUP2 JUMP JUMPDEST PUSH1 0x01 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x05 SLOAD PUSH1 0x01 PUSH1 0xa0 PUSH1 0x02 EXP SUB AND CALLER EQ PUSH2 0x0824 JUMPI PUSH1 0x40 DUP1 MLOAD PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x20 PUSH1 0x04 DUP3 ADD MSTORE PUSH1 0x0d PUSH1 0x24 DUP3 ADD MSTORE PUSH32 0x6163636573732064656e69656400000000000000000000000000000000000000 PUSH1 0x44 DUP3 ADD MSTORE SWAP1 MLOAD SWAP1 DUP2 SWAP1 SUB PUSH1 0x64 ADD SWAP1 REVERT JUMPDEST PUSH2 0x082f DUP4 DUP4 DUP4 PUSH2 0x0456 JUMP JUMPDEST POP POP POP JUMP JUMPDEST PUSH1 0x00 DUP3 DUP3 ADD PUSH2 0x05f1 DUP5 DUP3 LT ISZERO JUMPDEST DUP1 ISZERO ISZERO PUSH2 0x084d JUMPI PUSH1 0x00 DUP1 REVERT JUMPDEST POP JUMP STOP LOG1 PUSH6 0x627a7a723058 SHA3 PUSH19 0x146425aa59b232e205d193b931bc2776334ae4 MSTORE8 UNKNOWN_0x4a UNKNOWN_0x24 UNKNOWN_0xc6 BALANCE XOR INVALID_0x7a 0xe87a0fb6ed0029