contract Contract {
function main() {
memory[0x40:0x60] = 0x80;
var var0 = storage[0x00] & 0xffffffffffffffffffffffffffffffffffffffff;
if (msg.data[0x00:0x20] != 0xa619486e00000000000000000000000000000000000000000000000000000000) {
var temp0 = msg.data.length;
memory[0x00:0x00 + temp0] = msg.data[0x00:0x00 + temp0];
var temp1;
temp1, memory[0x00:0x00] = address(var0).delegatecall.gas(msg.gas)(memory[0x00:0x00 + msg.data.length]);
var temp2 = returndata.length;
memory[0x00:0x00 + temp2] = returndata[0x00:0x00 + temp2];
if (temp1 != 0x00) { return memory[0x00:0x00 + returndata.length]; }
else { revert(memory[0x00:0x00 + returndata.length]); }
} else {
memory[0x00:0x20] = var0;
return memory[0x00:0x20];
}
}
}
label_0000:
0000 60 PUSH1 0x80
0002 60 PUSH1 0x40
0004 52 MSTORE
0005 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
001A 60 PUSH1 0x00
001C 54 SLOAD
001D 16 AND
001E 7F PUSH32 0xa619486e00000000000000000000000000000000000000000000000000000000
003F 60 PUSH1 0x00
0041 35 CALLDATALOAD
0042 14 EQ
0043 15 ISZERO
0044 60 PUSH1 0x50
0046 57 *JUMPI
label_0047:
0047 80 DUP1
0048 60 PUSH1 0x00
004A 52 MSTORE
004B 60 PUSH1 0x20
004D 60 PUSH1 0x00
004F F3 *RETURN
label_0050:
0050 5B JUMPDEST
0051 36 CALLDATASIZE
0052 60 PUSH1 0x00
0054 80 DUP1
0055 37 CALLDATACOPY
0056 60 PUSH1 0x00
0058 80 DUP1
0059 36 CALLDATASIZE
005A 60 PUSH1 0x00
005C 84 DUP5
005D 5A GAS
005E F4 DELEGATECALL
005F 3D RETURNDATASIZE
0060 60 PUSH1 0x00
0062 80 DUP1
0063 3E RETURNDATACOPY
0064 60 PUSH1 0x00
0066 81 DUP2
0067 14 EQ
0068 15 ISZERO
0069 60 PUSH1 0x70
006B 57 *JUMPI
label_006C:
006C 3D RETURNDATASIZE
006D 60 PUSH1 0x00
006F FD *REVERT
label_0070:
0070 5B JUMPDEST
0071 3D RETURNDATASIZE
0072 60 PUSH1 0x00
0074 F3 *RETURN
0075 FE *ASSERT
0076 A2 LOG2
0077 64 PUSH5 0x6970667358
007D 22 22
007E 12 SLT
007F 20 SHA3
0080 D1 D1
0081 42 TIMESTAMP
0082 92 SWAP3
0083 97 SWAP8
0084 34 CALLVALUE
0085 96 SWAP7
0086 53 MSTORE8
0087 A4 LOG4
0088 91 SWAP2
0089 80 DUP1
008A 76 PUSH23 0xd650332de1a1068c5f3e07c5c82360c277770b95526473
00A2 6F PUSH16 0x6c63430007060033