contract Contract {
function main() {
memory[0x40:0x60] = 0x80;
var var0 = msg.value;
if (var0) { revert(memory[0x00:0x00]); }
if (msg.data.length < 0x04) { revert(memory[0x00:0x00]); }
var0 = msg.data[0x00:0x20] >> 0xe0;
if (var0 == 0x893d20e8) {
// Dispatch table entry for getOwner()
var var1 = 0x0043;
var1 =
func_0075();
var temp0 = var1;
var1 = 0x0050;
var var2 = temp0;
var var3 = memory[0x40:0x60];
var1 =
func_0316(var2, var3);
var temp1 = memory[0x40:0x60];
return memory[temp1:temp1 + var1 - temp1];
} else if (var0 == 0xa6f9dae1) {
// Dispatch table entry for changeOwner(address)
var1 = 0x0073;
var2 = 0x006e;
var var4 = 0x04;
var3 = var4 + (msg.data.length - var4);
var2 =
func_0362(var3, var4);
func_006E(var2);
stop();
} else { revert(memory[0x00:0x00]); }
}
function func_006E(var arg0) {
if (msg.sender == storage[0x00] & 0xffffffffffffffffffffffffffffffffffffffff) {
var temp0 = arg0;
var temp1 = memory[0x40:0x60];
log(memory[temp1:temp1 + memory[0x40:0x60] - temp1], [0x342827c97908e5e2f71151c08502a66d44b6f758e3ac2f1de95f02eb95f0a735, storage[0x00] & 0xffffffffffffffffffffffffffffffffffffffff, stack[-1] & 0xffffffffffffffffffffffffffffffffffffffff]);
storage[0x00] = (temp0 & 0xffffffffffffffffffffffffffffffffffffffff) | (storage[0x00] & ~0xffffffffffffffffffffffffffffffffffffffff);
return;
} else {
var temp2 = memory[0x40:0x60];
memory[temp2:temp2 + 0x20] = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var var1 = temp2 + 0x04;
var var0 = 0x0123;
var0 =
func_03EC(var1);
var temp3 = memory[0x40:0x60];
revert(memory[temp3:temp3 + var0 - temp3]);
}
}
function func_0075() returns (var r0) { return storage[0x00] & 0xffffffffffffffffffffffffffffffffffffffff; }
function func_02D5(var arg0) returns (var r0) { return arg0 & 0xffffffffffffffffffffffffffffffffffffffff; }
function func_02F5(var arg0) returns (var r0) {
var var0 = 0x00;
var var1 = 0x0300;
var var2 = arg0;
return
func_02D5(var2);
}
function func_0307(var arg0, var arg1) {
var var0 = 0x0310;
var var1 = arg1;
var0 =
func_02F5(var1);
memory[arg0:arg0 + 0x20] = var0;
}
function func_0316(var arg0, var arg1) returns (var r0) {
var temp0 = arg1;
var var0 = temp0 + 0x20;
var var1 = 0x032b;
var var2 = temp0;
var var3 = arg0;
func_0307(var2, var3);
return var0;
}
function func_0336(var arg0) {
var var0 = 0x033f;
var var1 = arg0;
var0 =
func_02F5(var1);
if (arg0 == var0) { return; }
else { revert(memory[0x00:0x00]); }
}
function func_034D(var arg0, var arg1) returns (var r0) {
var var0 = msg.data[arg1:arg1 + 0x20];
var var1 = 0x035c;
var var2 = var0;
func_0336(var2);
return var0;
}
function func_0362(var arg0, var arg1) returns (var r0) {
var var0 = 0x00;
if (arg0 - arg1 i>= 0x20) {
var var1 = 0x00;
var var2 = 0x0386;
var var3 = arg0;
var var4 = arg1 + var1;
return
func_034D(var3, var4);
} else {
var1 = 0x0377;
revert(memory[0x00:0x00]);
}
}
function func_038F(var arg0, var arg1) returns (var r0) {
var temp0 = arg1;
memory[temp0:temp0 + 0x20] = arg0;
return temp0 + 0x20;
}
function func_03A0(var arg0) {
memory[arg0:arg0 + 0x20] = 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000;
}
function func_03C9(var arg0) returns (var r0) {
var var0 = 0x00;
var var1 = 0x03d6;
var var2 = 0x13;
var var3 = arg0;
var1 =
func_038F(var2, var3);
var temp0 = var1;
arg0 = temp0;
var1 = 0x03e1;
var2 = arg0;
func_03A0(var2);
return arg0 + 0x20;
}
function func_03EC(var arg0) returns (var r0) {
var temp0 = arg0;
var var0 = temp0 + 0x20;
memory[temp0:temp0 + 0x20] = var0 - temp0;
var var1 = 0x0405;
var var2 = var0;
return
func_03C9(var2);
}
}
label_0000:
0000 60 PUSH1 0x80
0002 60 PUSH1 0x40
0004 52 MSTORE
0005 34 CALLVALUE
0006 80 DUP1
0007 15 ISZERO
0008 61 PUSH2 0x0010
000B 57 *JUMPI
label_000C:
000C 60 PUSH1 0x00
000E 80 DUP1
000F FD *REVERT
label_0010:
0010 5B JUMPDEST
0011 50 POP
0012 60 PUSH1 0x04
0014 36 CALLDATASIZE
0015 10 LT
0016 61 PUSH2 0x0036
0019 57 *JUMPI
label_001A:
001A 60 PUSH1 0x00
001C 35 CALLDATALOAD
001D 60 PUSH1 0xe0
001F 1C SHR
0020 80 DUP1
0021 63 PUSH4 0x893d20e8
0026 14 EQ
0027 61 PUSH2 0x003b
002A 57 *JUMPI
label_002B:
002B 80 DUP1
002C 63 PUSH4 0xa6f9dae1
0031 14 EQ
0032 61 PUSH2 0x0059
0035 57 *JUMPI
label_0036:
0036 5B JUMPDEST
0037 60 PUSH1 0x00
0039 80 DUP1
003A FD *REVERT
label_003B:
003B 5B JUMPDEST
003C 61 PUSH2 0x0043
003F 61 PUSH2 0x0075
0042 56 *JUMP
label_0043:
0043 5B JUMPDEST
0044 60 PUSH1 0x40
0046 51 MLOAD
0047 61 PUSH2 0x0050
004A 91 SWAP2
004B 90 SWAP1
004C 61 PUSH2 0x0316
004F 56 *JUMP
label_0050:
0050 5B JUMPDEST
0051 60 PUSH1 0x40
0053 51 MLOAD
0054 80 DUP1
0055 91 SWAP2
0056 03 SUB
0057 90 SWAP1
0058 F3 *RETURN
label_0059:
0059 5B JUMPDEST
005A 61 PUSH2 0x0073
005D 60 PUSH1 0x04
005F 80 DUP1
0060 36 CALLDATASIZE
0061 03 SUB
0062 81 DUP2
0063 01 ADD
0064 90 SWAP1
0065 61 PUSH2 0x006e
0068 91 SWAP2
0069 90 SWAP1
006A 61 PUSH2 0x0362
006D 56 *JUMP
label_006E:
006E 5B JUMPDEST
006F 61 PUSH2 0x009e
0072 56 *JUMP
label_0073:
0073 5B JUMPDEST
0074 00 *STOP
label_0075:
0075 5B JUMPDEST
0076 60 PUSH1 0x00
0078 80 DUP1
0079 60 PUSH1 0x00
007B 90 SWAP1
007C 54 SLOAD
007D 90 SWAP1
007E 61 PUSH2 0x0100
0081 0A EXP
0082 90 SWAP1
0083 04 DIV
0084 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0099 16 AND
009A 90 SWAP1
009B 50 POP
009C 90 SWAP1
009D 56 *JUMP
label_009E:
009E 5B JUMPDEST
009F 60 PUSH1 0x00
00A1 80 DUP1
00A2 54 SLOAD
00A3 90 SWAP1
00A4 61 PUSH2 0x0100
00A7 0A EXP
00A8 90 SWAP1
00A9 04 DIV
00AA 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00BF 16 AND
00C0 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00D5 16 AND
00D6 33 CALLER
00D7 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00EC 16 AND
00ED 14 EQ
00EE 61 PUSH2 0x012c
00F1 57 *JUMPI
label_00F2:
00F2 60 PUSH1 0x40
00F4 51 MLOAD
00F5 7F PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0116 81 DUP2
0117 52 MSTORE
0118 60 PUSH1 0x04
011A 01 ADD
011B 61 PUSH2 0x0123
011E 90 SWAP1
011F 61 PUSH2 0x03ec
0122 56 *JUMP
label_0123:
0123 5B JUMPDEST
0124 60 PUSH1 0x40
0126 51 MLOAD
0127 80 DUP1
0128 91 SWAP2
0129 03 SUB
012A 90 SWAP1
012B FD *REVERT
label_012C:
012C 5B JUMPDEST
012D 80 DUP1
012E 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0143 16 AND
0144 60 PUSH1 0x00
0146 80 DUP1
0147 54 SLOAD
0148 90 SWAP1
0149 61 PUSH2 0x0100
014C 0A EXP
014D 90 SWAP1
014E 04 DIV
014F 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0164 16 AND
0165 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
017A 16 AND
017B 7F PUSH32 0x342827c97908e5e2f71151c08502a66d44b6f758e3ac2f1de95f02eb95f0a735
019C 60 PUSH1 0x40
019E 51 MLOAD
019F 60 PUSH1 0x40
01A1 51 MLOAD
01A2 80 DUP1
01A3 91 SWAP2
01A4 03 SUB
01A5 90 SWAP1
01A6 A3 LOG3
01A7 80 DUP1
01A8 60 PUSH1 0x00
01AA 80 DUP1
01AB 61 PUSH2 0x0100
01AE 0A EXP
01AF 81 DUP2
01B0 54 SLOAD
01B1 81 DUP2
01B2 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
01C7 02 MUL
01C8 19 NOT
01C9 16 AND
01CA 90 SWAP1
01CB 83 DUP4
01CC 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
01E1 16 AND
01E2 02 MUL
01E3 17 OR
01E4 90 SWAP1
01E5 55 SSTORE
01E6 50 POP
01E7 50 POP
01E8 56 *JUMP
01E9 5B JUMPDEST
01EA 61 PUSH2 0x0281
01ED 82 DUP3
01EE 82 DUP3
01EF 60 PUSH1 0x40
01F1 51 MLOAD
01F2 60 PUSH1 0x24
01F4 01 ADD
01F5 61 PUSH2 0x01ff
01F8 92 SWAP3
01F9 91 SWAP2
01FA 90 SWAP1
01FB 61 PUSH2 0x048b
01FE 56 *JUMP
01FF 5B JUMPDEST
0200 60 PUSH1 0x40
0202 51 MLOAD
0203 60 PUSH1 0x20
0205 81 DUP2
0206 83 DUP4
0207 03 SUB
0208 03 SUB
0209 81 DUP2
020A 52 MSTORE
020B 90 SWAP1
020C 60 PUSH1 0x40
020E 52 MSTORE
020F 7F PUSH32 0x319af33300000000000000000000000000000000000000000000000000000000
0230 7B PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
024D 19 NOT
024E 16 AND
024F 60 PUSH1 0x20
0251 82 DUP3
0252 01 ADD
0253 80 DUP1
0254 51 MLOAD
0255 7B PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0272 83 DUP4
0273 81 DUP2
0274 83 DUP4
0275 16 AND
0276 17 OR
0277 83 DUP4
0278 52 MSTORE
0279 50 POP
027A 50 POP
027B 50 POP
027C 50 POP
027D 61 PUSH2 0x02a6
0280 56 *JUMP
0281 5B JUMPDEST
0282 50 POP
0283 50 POP
0284 56 *JUMP
0285 5B JUMPDEST
0286 60 PUSH1 0x00
0288 6A PUSH11 0x636f6e736f6c652e6c6f67
0294 90 SWAP1
0295 50 POP
0296 60 PUSH1 0x00
0298 80 DUP1
0299 83 DUP4
029A 51 MLOAD
029B 60 PUSH1 0x20
029D 85 DUP6
029E 01 ADD
029F 84 DUP5
02A0 5A GAS
02A1 FA STATICCALL
02A2 50 POP
02A3 50 POP
02A4 50 POP
02A5 56 *JUMP
02A6 5B JUMPDEST
02A7 61 PUSH2 0x02bd
02AA 81 DUP2
02AB 61 PUSH2 0x02b5
02AE 61 PUSH2 0x0285
02B1 61 PUSH2 0x02c0
02B4 56 *JUMP
02B5 5B JUMPDEST
02B6 63 PUSH4 0xffffffff
02BB 16 AND
02BC 56 *JUMP
02BD 5B JUMPDEST
02BE 50 POP
02BF 56 *JUMP
02C0 5B JUMPDEST
02C1 61 PUSH2 0x02cb
02C4 81 DUP2
02C5 90 SWAP1
02C6 50 POP
02C7 91 SWAP2
02C8 90 SWAP1
02C9 50 POP
02CA 56 *JUMP
02CB 5B JUMPDEST
02CC 61 PUSH2 0x02d3
02CF 61 PUSH2 0x04bb
02D2 56 *JUMP
02D3 5B JUMPDEST
02D4 56 *JUMP
label_02D5:
02D5 5B JUMPDEST
02D6 60 PUSH1 0x00
02D8 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
02ED 82 DUP3
02EE 16 AND
02EF 90 SWAP1
02F0 50 POP
02F1 91 SWAP2
02F2 90 SWAP1
02F3 50 POP
02F4 56 *JUMP
label_02F5:
02F5 5B JUMPDEST
02F6 60 PUSH1 0x00
02F8 61 PUSH2 0x0300
02FB 82 DUP3
02FC 61 PUSH2 0x02d5
02FF 56 *JUMP
label_0300:
0300 5B JUMPDEST
0301 90 SWAP1
0302 50 POP
0303 91 SWAP2
0304 90 SWAP1
0305 50 POP
0306 56 *JUMP
label_0307:
0307 5B JUMPDEST
0308 61 PUSH2 0x0310
030B 81 DUP2
030C 61 PUSH2 0x02f5
030F 56 *JUMP
label_0310:
0310 5B JUMPDEST
0311 82 DUP3
0312 52 MSTORE
0313 50 POP
0314 50 POP
0315 56 *JUMP
label_0316:
0316 5B JUMPDEST
0317 60 PUSH1 0x00
0319 60 PUSH1 0x20
031B 82 DUP3
031C 01 ADD
031D 90 SWAP1
031E 50 POP
031F 61 PUSH2 0x032b
0322 60 PUSH1 0x00
0324 83 DUP4
0325 01 ADD
0326 84 DUP5
0327 61 PUSH2 0x0307
032A 56 *JUMP
label_032B:
032B 5B JUMPDEST
032C 92 SWAP3
032D 91 SWAP2
032E 50 POP
032F 50 POP
0330 56 *JUMP
label_0331:
0331 5B JUMPDEST
0332 60 PUSH1 0x00
0334 80 DUP1
0335 FD *REVERT
label_0336:
0336 5B JUMPDEST
0337 61 PUSH2 0x033f
033A 81 DUP2
033B 61 PUSH2 0x02f5
033E 56 *JUMP
label_033F:
033F 5B JUMPDEST
0340 81 DUP2
0341 14 EQ
0342 61 PUSH2 0x034a
0345 57 *JUMPI
label_0346:
0346 60 PUSH1 0x00
0348 80 DUP1
0349 FD *REVERT
label_034A:
034A 5B JUMPDEST
034B 50 POP
034C 56 *JUMP
label_034D:
034D 5B JUMPDEST
034E 60 PUSH1 0x00
0350 81 DUP2
0351 35 CALLDATALOAD
0352 90 SWAP1
0353 50 POP
0354 61 PUSH2 0x035c
0357 81 DUP2
0358 61 PUSH2 0x0336
035B 56 *JUMP
label_035C:
035C 5B JUMPDEST
035D 92 SWAP3
035E 91 SWAP2
035F 50 POP
0360 50 POP
0361 56 *JUMP
label_0362:
0362 5B JUMPDEST
0363 60 PUSH1 0x00
0365 60 PUSH1 0x20
0367 82 DUP3
0368 84 DUP5
0369 03 SUB
036A 12 SLT
036B 15 ISZERO
036C 61 PUSH2 0x0378
036F 57 *JUMPI
label_0370:
0370 61 PUSH2 0x0377
0373 61 PUSH2 0x0331
0376 56 *JUMP
0377 5B JUMPDEST
label_0378:
0378 5B JUMPDEST
0379 60 PUSH1 0x00
037B 61 PUSH2 0x0386
037E 84 DUP5
037F 82 DUP3
0380 85 DUP6
0381 01 ADD
0382 61 PUSH2 0x034d
0385 56 *JUMP
label_0386:
0386 5B JUMPDEST
0387 91 SWAP2
0388 50 POP
0389 50 POP
038A 92 SWAP3
038B 91 SWAP2
038C 50 POP
038D 50 POP
038E 56 *JUMP
label_038F:
038F 5B JUMPDEST
0390 60 PUSH1 0x00
0392 82 DUP3
0393 82 DUP3
0394 52 MSTORE
0395 60 PUSH1 0x20
0397 82 DUP3
0398 01 ADD
0399 90 SWAP1
039A 50 POP
039B 92 SWAP3
039C 91 SWAP2
039D 50 POP
039E 50 POP
039F 56 *JUMP
label_03A0:
03A0 5B JUMPDEST
03A1 7F PUSH32 0x43616c6c6572206973206e6f74206f776e657200000000000000000000000000
03C2 60 PUSH1 0x00
03C4 82 DUP3
03C5 01 ADD
03C6 52 MSTORE
03C7 50 POP
03C8 56 *JUMP
label_03C9:
03C9 5B JUMPDEST
03CA 60 PUSH1 0x00
03CC 61 PUSH2 0x03d6
03CF 60 PUSH1 0x13
03D1 83 DUP4
03D2 61 PUSH2 0x038f
03D5 56 *JUMP
label_03D6:
03D6 5B JUMPDEST
03D7 91 SWAP2
03D8 50 POP
03D9 61 PUSH2 0x03e1
03DC 82 DUP3
03DD 61 PUSH2 0x03a0
03E0 56 *JUMP
label_03E1:
03E1 5B JUMPDEST
03E2 60 PUSH1 0x20
03E4 82 DUP3
03E5 01 ADD
03E6 90 SWAP1
03E7 50 POP
03E8 91 SWAP2
03E9 90 SWAP1
03EA 50 POP
03EB 56 *JUMP
label_03EC:
03EC 5B JUMPDEST
03ED 60 PUSH1 0x00
03EF 60 PUSH1 0x20
03F1 82 DUP3
03F2 01 ADD
03F3 90 SWAP1
03F4 50 POP
03F5 81 DUP2
03F6 81 DUP2
03F7 03 SUB
03F8 60 PUSH1 0x00
03FA 83 DUP4
03FB 01 ADD
03FC 52 MSTORE
03FD 61 PUSH2 0x0405
0400 81 DUP2
0401 61 PUSH2 0x03c9
0404 56 *JUMP
label_0405:
0405 5B JUMPDEST
0406 90 SWAP1
0407 50 POP
0408 91 SWAP2
0409 90 SWAP1
040A 50 POP
040B 56 *JUMP
040C 5B JUMPDEST
040D 60 PUSH1 0x00
040F 81 DUP2
0410 51 MLOAD
0411 90 SWAP1
0412 50 POP
0413 91 SWAP2
0414 90 SWAP1
0415 50 POP
0416 56 *JUMP
0417 5B JUMPDEST
0418 60 PUSH1 0x00
041A 5B JUMPDEST
041B 83 DUP4
041C 81 DUP2
041D 10 LT
041E 15 ISZERO
041F 61 PUSH2 0x0435
0422 57 *JUMPI
0423 80 DUP1
0424 82 DUP3
0425 01 ADD
0426 51 MLOAD
0427 81 DUP2
0428 84 DUP5
0429 01 ADD
042A 52 MSTORE
042B 60 PUSH1 0x20
042D 81 DUP2
042E 01 ADD
042F 90 SWAP1
0430 50 POP
0431 61 PUSH2 0x041a
0434 56 *JUMP
0435 5B JUMPDEST
0436 60 PUSH1 0x00
0438 84 DUP5
0439 84 DUP5
043A 01 ADD
043B 52 MSTORE
043C 50 POP
043D 50 POP
043E 50 POP
043F 50 POP
0440 56 *JUMP
0441 5B JUMPDEST
0442 60 PUSH1 0x00
0444 60 PUSH1 0x1f
0446 19 NOT
0447 60 PUSH1 0x1f
0449 83 DUP4
044A 01 ADD
044B 16 AND
044C 90 SWAP1
044D 50 POP
044E 91 SWAP2
044F 90 SWAP1
0450 50 POP
0451 56 *JUMP
0452 5B JUMPDEST
0453 60 PUSH1 0x00
0455 61 PUSH2 0x045d
0458 82 DUP3
0459 61 PUSH2 0x040c
045C 56 *JUMP
045D 5B JUMPDEST
045E 61 PUSH2 0x0467
0461 81 DUP2
0462 85 DUP6
0463 61 PUSH2 0x038f
0466 56 *JUMP
0467 5B JUMPDEST
0468 93 SWAP4
0469 50 POP
046A 61 PUSH2 0x0477
046D 81 DUP2
046E 85 DUP6
046F 60 PUSH1 0x20
0471 86 DUP7
0472 01 ADD
0473 61 PUSH2 0x0417
0476 56 *JUMP
0477 5B JUMPDEST
0478 61 PUSH2 0x0480
047B 81 DUP2
047C 61 PUSH2 0x0441
047F 56 *JUMP
0480 5B JUMPDEST
0481 84 DUP5
0482 01 ADD
0483 91 SWAP2
0484 50 POP
0485 50 POP
0486 92 SWAP3
0487 91 SWAP2
0488 50 POP
0489 50 POP
048A 56 *JUMP
048B 5B JUMPDEST
048C 60 PUSH1 0x00
048E 60 PUSH1 0x40
0490 82 DUP3
0491 01 ADD
0492 90 SWAP1
0493 50 POP
0494 81 DUP2
0495 81 DUP2
0496 03 SUB
0497 60 PUSH1 0x00
0499 83 DUP4
049A 01 ADD
049B 52 MSTORE
049C 61 PUSH2 0x04a5
049F 81 DUP2
04A0 85 DUP6
04A1 61 PUSH2 0x0452
04A4 56 *JUMP
04A5 5B JUMPDEST
04A6 90 SWAP1
04A7 50 POP
04A8 61 PUSH2 0x04b4
04AB 60 PUSH1 0x20
04AD 83 DUP4
04AE 01 ADD
04AF 84 DUP5
04B0 61 PUSH2 0x0307
04B3 56 *JUMP
04B4 5B JUMPDEST
04B5 93 SWAP4
04B6 92 SWAP3
04B7 50 POP
04B8 50 POP
04B9 50 POP
04BA 56 *JUMP
04BB 5B JUMPDEST
04BC 7F PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
04DD 60 PUSH1 0x00
04DF 52 MSTORE
04E0 60 PUSH1 0x51
04E2 60 PUSH1 0x04
04E4 52 MSTORE
04E5 60 PUSH1 0x24
04E7 60 PUSH1 0x00
04E9 FD *REVERT
04EA FE *ASSERT
04EB A2 LOG2
04EC 64 PUSH5 0x6970667358
04F2 22 22
04F3 12 SLT
04F4 20 SHA3
04F5 8F DUP16
04F6 F1 CALL
04F7 A9 A9
04F8 92 SWAP3
04F9 6D PUSH14 0x39cc99a583c9f1928e90a84a7bbd
0508 61 PUSH2 0x7c41
050B B5 B5
050C 35 CALLDATALOAD
050D 39 CODECOPY
050E 55 SSTORE
050F F9 F9
0510 85 DUP6
0511 FE *ASSERT
0512 1D SAR
0513 B9 B9
0514 AD AD
0515 64 PUSH5 0x736f6c6343
051B 00 *STOP
051C 08 ADDMOD
051D 12 SLT
051E 00 *STOP
051F 33 CALLER