contract Contract {
function main() {
memory[0x40:0x60] = 0x80;
if (msg.data.length < 0x04) { revert(memory[0x00:0x00]); }
var var0 = msg.data[0x00:0x20] / 0x0100000000000000000000000000000000000000000000000000000000 & 0xffffffff;
if (var0 == 0x06fdde03) {
// Dispatch table entry for
name()
var var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x00f5;
var var2 =
name();
var temp0 = memory[0x40:0x60];
var var3 = temp0;
var var4 = var3;
var temp1 = var4 + 0x20;
memory[var4:var4 + 0x20] = temp1 - var4;
var temp2 = var2;
memory[temp1:temp1 + 0x20] = memory[temp2:temp2 + 0x20];
var var5 = temp1 + 0x20;
var var6 = temp2 + 0x20;
var var7 = memory[temp2:temp2 + 0x20];
var var8 = var7;
var var9 = var5;
var var10 = var6;
var var11 = 0x00;
if (var11 >= var8) {
label_0135:
var temp3 = var7;
var5 = temp3 + var5;
var6 = temp3 & 0x1f;
if (!var6) {
var temp4 = memory[0x40:0x60];
return memory[temp4:temp4 + var5 - temp4];
} else {
var temp5 = var6;
var temp6 = var5 - temp5;
memory[temp6:temp6 + 0x20] = ~(0x0100 ** (0x20 - temp5) - 0x01) & memory[temp6:temp6 + 0x20];
var temp7 = memory[0x40:0x60];
return memory[temp7:temp7 + (temp6 + 0x20) - temp7];
}
} else {
label_0123:
var temp8 = var11;
memory[var9 + temp8:var9 + temp8 + 0x20] = memory[var10 + temp8:var10 + temp8 + 0x20];
var11 = temp8 + 0x20;
if (var11 >= var8) { goto label_0135; }
else { goto label_0123; }
}
} else if (var0 == 0x095ea7b3) {
// Dispatch table entry for
approve(address,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x01bb;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var3 = msg.data[0x24:0x44];
var1 =
approve(var2, var3);
var temp9 = memory[0x40:0x60];
memory[temp9:temp9 + 0x20] = !!var1;
var temp10 = memory[0x40:0x60];
return memory[temp10:temp10 + (temp9 + 0x20) - temp10];
} else if (var0 == 0x18160ddd) {
// Dispatch table entry for
totalSupply()
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x01ea;
var1 =
totalSupply();
var temp11 = memory[0x40:0x60];
memory[temp11:temp11 + 0x20] = var1;
var temp12 = memory[0x40:0x60];
return memory[temp12:temp12 + (temp11 + 0x20) - temp12];
} else if (var0 == 0x23b872dd) {
// Dispatch table entry for
transferFrom(address,address,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x026b;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var3 = msg.data[0x24:0x44] & 0xffffffffffffffffffffffffffffffffffffffff;
var4 = msg.data[0x44:0x64];
var1 =
transferFrom(var2, var3, var4);
var temp13 = memory[0x40:0x60];
memory[temp13:temp13 + 0x20] = !!var1;
var temp14 = memory[0x40:0x60];
return memory[temp14:temp14 + (temp13 + 0x20) - temp14];
} else if (var0 == 0x313ce567) {
// Dispatch table entry for
decimals()
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x029a;
var2 =
decimals();
var temp15 = memory[0x40:0x60];
memory[temp15:temp15 + 0x20] = var2 & 0xff;
var temp16 = memory[0x40:0x60];
return memory[temp16:temp16 + (temp15 + 0x20) - temp16];
} else if (var0 == 0x3eaaf86b) {
// Dispatch table entry for
_totalSupply()
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x02cb;
var2 =
_totalSupply();
var temp17 = memory[0x40:0x60];
memory[temp17:temp17 + 0x20] = var2;
var temp18 = memory[0x40:0x60];
return memory[temp18:temp18 + (temp17 + 0x20) - temp18];
} else if (var0 == 0x70a08231) {
// Dispatch table entry for
balanceOf(address)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x0322;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var1 =
balanceOf(var2);
var temp19 = memory[0x40:0x60];
memory[temp19:temp19 + 0x20] = var1;
var temp20 = memory[0x40:0x60];
return memory[temp20:temp20 + (temp19 + 0x20) - temp20];
} else if (var0 == 0x95d89b41) {
// Dispatch table entry for
symbol()
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x034d;
var2 =
symbol();
var temp21 = memory[0x40:0x60];
var3 = temp21;
var4 = var3;
var temp22 = var4 + 0x20;
memory[var4:var4 + 0x20] = temp22 - var4;
var temp23 = var2;
memory[temp22:temp22 + 0x20] = memory[temp23:temp23 + 0x20];
var5 = temp22 + 0x20;
var7 = memory[temp23:temp23 + 0x20];
var6 = temp23 + 0x20;
var8 = var7;
var9 = var5;
var10 = var6;
var11 = 0x00;
if (var11 >= var8) {
label_038D:
var temp24 = var7;
var5 = temp24 + var5;
var6 = temp24 & 0x1f;
if (!var6) {
var temp25 = memory[0x40:0x60];
return memory[temp25:temp25 + var5 - temp25];
} else {
var temp26 = var6;
var temp27 = var5 - temp26;
memory[temp27:temp27 + 0x20] = ~(0x0100 ** (0x20 - temp26) - 0x01) & memory[temp27:temp27 + 0x20];
var temp28 = memory[0x40:0x60];
return memory[temp28:temp28 + (temp27 + 0x20) - temp28];
}
} else {
label_037B:
var temp29 = var11;
memory[var9 + temp29:var9 + temp29 + 0x20] = memory[var10 + temp29:var10 + temp29 + 0x20];
var11 = temp29 + 0x20;
if (var11 >= var8) { goto label_038D; }
else { goto label_037B; }
}
} else if (var0 == 0xa293d1e8) {
// Dispatch table entry for
safeSub(uint256,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x03fd;
var2 = msg.data[0x04:0x24];
var3 = msg.data[0x24:0x44];
var1 =
safeSub(var2, var3);
var temp30 = memory[0x40:0x60];
memory[temp30:temp30 + 0x20] = var1;
var temp31 = memory[0x40:0x60];
return memory[temp31:temp31 + (temp30 + 0x20) - temp31];
} else if (var0 == 0xa9059cbb) {
// Dispatch table entry for
transfer(address,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x045e;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var3 = msg.data[0x24:0x44];
var1 =
transfer(var2, var3);
var temp32 = memory[0x40:0x60];
memory[temp32:temp32 + 0x20] = !!var1;
var temp33 = memory[0x40:0x60];
return memory[temp33:temp33 + (temp32 + 0x20) - temp33];
} else if (var0 == 0xb5931f7c) {
// Dispatch table entry for
safeDiv(uint256,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x04ad;
var2 = msg.data[0x04:0x24];
var3 = msg.data[0x24:0x44];
var1 =
safeDiv(var2, var3);
var temp34 = memory[0x40:0x60];
memory[temp34:temp34 + 0x20] = var1;
var temp35 = memory[0x40:0x60];
return memory[temp35:temp35 + (temp34 + 0x20) - temp35];
} else if (var0 == 0xcae9ca51) {
// Dispatch table entry for
approveAndCall(address,uint256,bytes)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x0554;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var3 = msg.data[0x24:0x44];
var temp36 = msg.data[0x44:0x64] + 0x04;
var temp37 = msg.data[temp36:temp36 + 0x20];
var temp38 = memory[0x40:0x60];
memory[0x40:0x60] = temp38 + (temp37 + 0x1f) / 0x20 * 0x20 + 0x20;
memory[temp38:temp38 + 0x20] = temp37;
memory[temp38 + 0x20:temp38 + 0x20 + temp37] = msg.data[temp36 + 0x20:temp36 + 0x20 + temp37];
var4 = temp38;
var1 =
approveAndCall(var2, var3, var4);
var temp39 = memory[0x40:0x60];
memory[temp39:temp39 + 0x20] = !!var1;
var temp40 = memory[0x40:0x60];
return memory[temp40:temp40 + (temp39 + 0x20) - temp40];
} else if (var0 == 0xd05c78da) {
// Dispatch table entry for
safeMul(uint256,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x05a3;
var2 = msg.data[0x04:0x24];
var3 = msg.data[0x24:0x44];
var1 =
safeMul(var2, var3);
var temp41 = memory[0x40:0x60];
memory[temp41:temp41 + 0x20] = var1;
var temp42 = memory[0x40:0x60];
return memory[temp42:temp42 + (temp41 + 0x20) - temp42];
} else if (var0 == 0xdd62ed3e) {
// Dispatch table entry for
allowance(address,address)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x061a;
var2 = msg.data[0x04:0x24] & 0xffffffffffffffffffffffffffffffffffffffff;
var3 = msg.data[0x24:0x44] & 0xffffffffffffffffffffffffffffffffffffffff;
var1 =
allowance(var2, var3);
var temp43 = memory[0x40:0x60];
memory[temp43:temp43 + 0x20] = var1;
var temp44 = memory[0x40:0x60];
return memory[temp44:temp44 + (temp43 + 0x20) - temp44];
} else if (var0 == 0xe6cb9013) {
// Dispatch table entry for
safeAdd(uint256,uint256)
var1 = msg.value;
if (var1) { revert(memory[0x00:0x00]); }
var1 = 0x0665;
var2 = msg.data[0x04:0x24];
var3 = msg.data[0x24:0x44];
var1 =
safeAdd(var2, var3);
var temp45 = memory[0x40:0x60];
memory[temp45:temp45 + 0x20] = var1;
var temp46 = memory[0x40:0x60];
return memory[temp46:temp46 + (temp45 + 0x20) - temp46];
} else { revert(memory[0x00:0x00]); }
}
function name() returns (var r0) {
var temp0 = storage[0x01];
var temp1 = (!(temp0 & 0x01) * 0x0100 - 0x01 & temp0) / 0x02;
var temp2 = memory[0x40:0x60];
memory[0x40:0x60] = temp2 + (temp1 + 0x1f) / 0x20 * 0x20 + 0x20;
r0 = temp2;
var var1 = 0x01;
var var2 = temp1;
memory[r0:r0 + 0x20] = var2;
var var3 = r0 + 0x20;
var var4 = var1;
var temp3 = storage[var4];
var var5 = (!(temp3 & 0x01) * 0x0100 - 0x01 & temp3) / 0x02;
if (!var5) {
label_0711:
return r0;
} else if (0x1f < var5) {
var temp4 = var3;
var temp5 = temp4 + var5;
var3 = temp5;
memory[0x00:0x20] = var4;
var temp6 = keccak256(memory[0x00:0x20]);
memory[temp4:temp4 + 0x20] = storage[temp6];
var4 = temp6 + 0x01;
var5 = temp4 + 0x20;
if (var3 <= var5) { goto label_0708; }
label_06F4:
var temp7 = var4;
var temp8 = var5;
memory[temp8:temp8 + 0x20] = storage[temp7];
var4 = temp7 + 0x01;
var5 = temp8 + 0x20;
if (var3 > var5) { goto label_06F4; }
label_0708:
var temp9 = var3;
var temp10 = temp9 + (var5 - temp9 & 0x1f);
var5 = temp9;
var3 = temp10;
goto label_0711;
} else {
var temp11 = var3;
memory[temp11:temp11 + 0x20] = storage[var4] / 0x0100 * 0x0100;
var5 = var5;
var3 = temp11 + 0x20;
goto label_0711;
}
}
function approve(var arg0, var arg1) returns (var r0) {
var temp0 = arg1;
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = 0x05;
var temp1 = keccak256(memory[0x00:0x40]);
var temp2 = arg0;
memory[0x00:0x20] = temp2 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = temp1;
storage[keccak256(memory[0x00:0x40])] = temp0;
var temp3 = memory[0x40:0x60];
memory[temp3:temp3 + 0x20] = temp0;
var temp4 = memory[0x40:0x60];
log(memory[temp4:temp4 + (temp3 + 0x20) - temp4], [0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925, msg.sender, stack[-2] & 0xffffffffffffffffffffffffffffffffffffffff]);
return 0x01;
}
function totalSupply() returns (var r0) {
memory[0x00:0x20] = 0xffffffffffffffffffffffffffffffffffffffff & 0xffffffffffffffffffffffffffffffffffffffff & 0x00;
memory[0x20:0x40] = 0x04;
return storage[0x03] - storage[keccak256(memory[0x00:0x40])];
}
function transferFrom(var arg0, var arg1, var arg2) returns (var r0) {
var var0 = 0x00;
var var1 = 0x08a1;
memory[0x00:0x20] = arg0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
var var2 = storage[keccak256(memory[0x00:0x40])];
var var3 = arg2;
var1 =
safeSub(var2, var3);
var temp0 = arg0;
memory[0x00:0x20] = temp0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
storage[keccak256(memory[0x00:0x40])] = var1;
var1 = 0x096a;
memory[0x00:0x20] = temp0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x05;
var temp1 = keccak256(memory[0x00:0x40]);
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = temp1;
var2 = storage[keccak256(memory[0x00:0x40])];
var3 = arg2;
var1 =
safeSub(var2, var3);
memory[0x00:0x20] = arg0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x05;
var temp2 = keccak256(memory[0x00:0x40]);
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = temp2;
storage[keccak256(memory[0x00:0x40])] = var1;
var1 = 0x0a33;
memory[0x00:0x20] = arg1 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
var2 = storage[keccak256(memory[0x00:0x40])];
var3 = arg2;
var1 =
safeAdd(var2, var3);
var temp3 = arg1;
memory[0x00:0x20] = temp3 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
storage[keccak256(memory[0x00:0x40])] = var1;
var temp4 = memory[0x40:0x60];
memory[temp4:temp4 + 0x20] = arg2;
var temp5 = memory[0x40:0x60];
log(memory[temp5:temp5 + (temp4 + 0x20) - temp5], [0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef, stack[-5] & 0xffffffffffffffffffffffffffffffffffffffff, stack[-4] & 0xffffffffffffffffffffffffffffffffffffffff]);
return 0x01;
}
function decimals() returns (var r0) { return storage[0x02] & 0xff; }
function _totalSupply() returns (var r0) { return storage[0x03]; }
function balanceOf(var arg0) returns (var r0) {
memory[0x00:0x20] = arg0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
return storage[keccak256(memory[0x00:0x40])];
}
function symbol() returns (var r0) {
var temp0 = storage[0x00];
var temp1 = (!(temp0 & 0x01) * 0x0100 - 0x01 & temp0) / 0x02;
var temp2 = memory[0x40:0x60];
memory[0x40:0x60] = temp2 + (temp1 + 0x1f) / 0x20 * 0x20 + 0x20;
r0 = temp2;
var var1 = 0x00;
var var2 = temp1;
memory[r0:r0 + 0x20] = var2;
var var3 = r0 + 0x20;
var var4 = var1;
var temp3 = storage[var4];
var var5 = (!(temp3 & 0x01) * 0x0100 - 0x01 & temp3) / 0x02;
if (!var5) {
label_0BDE:
return r0;
} else if (0x1f < var5) {
var temp4 = var3;
var temp5 = temp4 + var5;
var3 = temp5;
memory[0x00:0x20] = var4;
var temp6 = keccak256(memory[0x00:0x20]);
memory[temp4:temp4 + 0x20] = storage[temp6];
var4 = temp6 + 0x01;
var5 = temp4 + 0x20;
if (var3 <= var5) { goto label_0BD5; }
label_0BC1:
var temp7 = var4;
var temp8 = var5;
memory[temp8:temp8 + 0x20] = storage[temp7];
var4 = temp7 + 0x01;
var5 = temp8 + 0x20;
if (var3 > var5) { goto label_0BC1; }
label_0BD5:
var temp9 = var3;
var temp10 = temp9 + (var5 - temp9 & 0x1f);
var5 = temp9;
var3 = temp10;
goto label_0BDE;
} else {
var temp11 = var3;
memory[temp11:temp11 + 0x20] = storage[var4] / 0x0100 * 0x0100;
var3 = temp11 + 0x20;
var5 = var5;
goto label_0BDE;
}
}
function safeSub(var arg0, var arg1) returns (var r0) {
var var0 = 0x00;
if (arg1 <= arg0) { return arg0 - arg1; }
else { revert(memory[0x00:0x00]); }
}
function transfer(var arg0, var arg1) returns (var r0) {
var var0 = 0x00;
var var1 = 0x0c4d;
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = 0x04;
var var2 = storage[keccak256(memory[0x00:0x40])];
var var3 = arg1;
var1 =
safeSub(var2, var3);
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = 0x04;
storage[keccak256(memory[0x00:0x40])] = var1;
var1 = 0x0cd9;
memory[0x00:0x20] = arg0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
var2 = storage[keccak256(memory[0x00:0x40])];
var3 = arg1;
var1 =
safeAdd(var2, var3);
var temp0 = arg0;
memory[0x00:0x20] = temp0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x04;
storage[keccak256(memory[0x00:0x40])] = var1;
var temp1 = memory[0x40:0x60];
memory[temp1:temp1 + 0x20] = arg1;
var temp2 = memory[0x40:0x60];
log(memory[temp2:temp2 + (temp1 + 0x20) - temp2], [0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef, msg.sender, stack[-4] & 0xffffffffffffffffffffffffffffffffffffffff]);
return 0x01;
}
function safeDiv(var arg0, var arg1) returns (var r0) {
var var0 = 0x00;
if (arg1 <= var0) { revert(memory[0x00:0x00]); }
var var1 = arg1;
var var2 = arg0;
if (var1) { return var2 / var1; }
else { assert(); }
}
function approveAndCall(var arg0, var arg1, var arg2) returns (var r0) {
var var0 = 0x00;
var temp0 = arg1;
memory[0x00:0x20] = msg.sender;
memory[0x20:0x40] = 0x05;
var temp1 = keccak256(memory[0x00:0x40]);
var temp2 = arg0;
memory[0x00:0x20] = temp2 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = temp1;
storage[keccak256(memory[0x00:0x40])] = temp0;
var temp3 = memory[0x40:0x60];
memory[temp3:temp3 + 0x20] = temp0;
var temp4 = memory[0x40:0x60];
log(memory[temp4:temp4 + (temp3 + 0x20) - temp4], [0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925, msg.sender, stack[-3] & 0xffffffffffffffffffffffffffffffffffffffff]);
var var1 = temp2 & 0xffffffffffffffffffffffffffffffffffffffff;
var var2 = 0x8f4ffcb1;
var var3 = msg.sender;
var var4 = temp0;
var var5 = address(this);
var temp5 = arg2;
var var6 = temp5;
var temp6 = memory[0x40:0x60];
memory[temp6:temp6 + 0x20] = (var2 & 0xffffffff) * 0x0100000000000000000000000000000000000000000000000000000000;
var temp7 = temp6 + 0x04;
var var7 = temp7;
memory[var7:var7 + 0x20] = var3 & 0xffffffffffffffffffffffffffffffffffffffff;
var temp8 = var7 + 0x20;
memory[temp8:temp8 + 0x20] = var4;
var temp9 = temp8 + 0x20;
memory[temp9:temp9 + 0x20] = var5 & 0xffffffffffffffffffffffffffffffffffffffff;
var temp10 = temp9 + 0x20;
var var8 = temp10;
var temp11 = var8 + 0x20;
memory[var8:var8 + 0x20] = temp11 - var7;
memory[temp11:temp11 + 0x20] = memory[var6:var6 + 0x20];
var var9 = temp11 + 0x20;
var var11 = memory[var6:var6 + 0x20];
var var10 = var6 + 0x20;
var var12 = var11;
var var13 = var9;
var var14 = var10;
var var15 = 0x00;
if (var15 >= var12) {
label_0F8C:
var temp12 = var11;
var9 = temp12 + var9;
var10 = temp12 & 0x1f;
if (!var10) {
var3 = var9;
var4 = 0x00;
var5 = memory[0x40:0x60];
var6 = var3 - var5;
var7 = var5;
var8 = 0x00;
var9 = var1;
var10 = !address(var9).code.length;
if (var10) { revert(memory[0x00:0x00]); }
label_0FDB:
var temp13;
temp13, memory[var5:var5 + var4] = address(var9).call.gas(msg.gas).value(var8)(memory[var7:var7 + var6]);
var4 = !temp13;
if (!var4) { return 0x01; }
var temp14 = returndata.length;
memory[0x00:0x00 + temp14] = returndata[0x00:0x00 + temp14];
revert(memory[0x00:0x00 + returndata.length]);
} else {
var temp15 = var10;
var temp16 = var9 - temp15;
memory[temp16:temp16 + 0x20] = ~(0x0100 ** (0x20 - temp15) - 0x01) & memory[temp16:temp16 + 0x20];
var3 = temp16 + 0x20;
var4 = 0x00;
var5 = memory[0x40:0x60];
var6 = var3 - var5;
var7 = var5;
var8 = 0x00;
var9 = var1;
var10 = !address(var9).code.length;
if (!var10) { goto label_0FDB; }
else { revert(memory[0x00:0x00]); }
}
} else {
label_0F7A:
var temp17 = var15;
memory[var13 + temp17:var13 + temp17 + 0x20] = memory[var14 + temp17:var14 + temp17 + 0x20];
var15 = temp17 + 0x20;
if (var15 >= var12) { goto label_0F8C; }
else { goto label_0F7A; }
}
}
function safeMul(var arg0, var arg1) returns (var r0) {
var temp0 = arg0;
var var0 = temp0 * arg1;
var var1 = temp0 == 0x00;
if (var1) {
label_101E:
if (var1) { return var0; }
else { revert(memory[0x00:0x00]); }
} else {
var1 = arg1;
var var2 = arg0;
var var3 = var0;
if (!var2) { assert(); }
var1 = var3 / var2 == var1;
goto label_101E;
}
}
function allowance(var arg0, var arg1) returns (var r0) {
memory[0x00:0x20] = arg0 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = 0x05;
var temp0 = keccak256(memory[0x00:0x40]);
memory[0x00:0x20] = arg1 & 0xffffffffffffffffffffffffffffffffffffffff;
memory[0x20:0x40] = temp0;
return storage[keccak256(memory[0x00:0x40])];
}
function safeAdd(var arg0, var arg1) returns (var r0) {
var temp0 = arg0;
var var0 = temp0 + arg1;
if (var0 >= temp0) { return var0; }
else { revert(memory[0x00:0x00]); }
}
}
label_0000:
0000 60 PUSH1 0x80
0002 60 PUSH1 0x40
0004 52 MSTORE
0005 60 PUSH1 0x04
0007 36 CALLDATASIZE
0008 10 LT
0009 61 PUSH2 0x00db
000C 57 *JUMPI
label_000D:
000D 60 PUSH1 0x00
000F 35 CALLDATALOAD
0010 7C PUSH29 0x0100000000000000000000000000000000000000000000000000000000
002E 90 SWAP1
002F 04 DIV
0030 63 PUSH4 0xffffffff
0035 16 AND
0036 80 DUP1
0037 63 PUSH4 0x06fdde03
003C 14 EQ
003D 61 PUSH2 0x00e0
0040 57 *JUMPI
label_0041:
0041 80 DUP1
0042 63 PUSH4 0x095ea7b3
0047 14 EQ
0048 61 PUSH2 0x0170
004B 57 *JUMPI
label_004C:
004C 80 DUP1
004D 63 PUSH4 0x18160ddd
0052 14 EQ
0053 61 PUSH2 0x01d5
0056 57 *JUMPI
label_0057:
0057 80 DUP1
0058 63 PUSH4 0x23b872dd
005D 14 EQ
005E 61 PUSH2 0x0200
0061 57 *JUMPI
label_0062:
0062 80 DUP1
0063 63 PUSH4 0x313ce567
0068 14 EQ
0069 61 PUSH2 0x0285
006C 57 *JUMPI
label_006D:
006D 80 DUP1
006E 63 PUSH4 0x3eaaf86b
0073 14 EQ
0074 61 PUSH2 0x02b6
0077 57 *JUMPI
label_0078:
0078 80 DUP1
0079 63 PUSH4 0x70a08231
007E 14 EQ
007F 61 PUSH2 0x02e1
0082 57 *JUMPI
label_0083:
0083 80 DUP1
0084 63 PUSH4 0x95d89b41
0089 14 EQ
008A 61 PUSH2 0x0338
008D 57 *JUMPI
label_008E:
008E 80 DUP1
008F 63 PUSH4 0xa293d1e8
0094 14 EQ
0095 61 PUSH2 0x03c8
0098 57 *JUMPI
label_0099:
0099 80 DUP1
009A 63 PUSH4 0xa9059cbb
009F 14 EQ
00A0 61 PUSH2 0x0413
00A3 57 *JUMPI
label_00A4:
00A4 80 DUP1
00A5 63 PUSH4 0xb5931f7c
00AA 14 EQ
00AB 61 PUSH2 0x0478
00AE 57 *JUMPI
label_00AF:
00AF 80 DUP1
00B0 63 PUSH4 0xcae9ca51
00B5 14 EQ
00B6 61 PUSH2 0x04c3
00B9 57 *JUMPI
label_00BA:
00BA 80 DUP1
00BB 63 PUSH4 0xd05c78da
00C0 14 EQ
00C1 61 PUSH2 0x056e
00C4 57 *JUMPI
label_00C5:
00C5 80 DUP1
00C6 63 PUSH4 0xdd62ed3e
00CB 14 EQ
00CC 61 PUSH2 0x05b9
00CF 57 *JUMPI
label_00D0:
00D0 80 DUP1
00D1 63 PUSH4 0xe6cb9013
00D6 14 EQ
00D7 61 PUSH2 0x0630
00DA 57 *JUMPI
label_00DB:
00DB 5B JUMPDEST
00DC 60 PUSH1 0x00
00DE 80 DUP1
00DF FD *REVERT
label_00E0:
00E0 5B JUMPDEST
00E1 34 CALLVALUE
00E2 80 DUP1
00E3 15 ISZERO
00E4 61 PUSH2 0x00ec
00E7 57 *JUMPI
label_00E8:
00E8 60 PUSH1 0x00
00EA 80 DUP1
00EB FD *REVERT
label_00EC:
00EC 5B JUMPDEST
00ED 50 POP
00EE 61 PUSH2 0x00f5
00F1 61 PUSH2 0x067b
00F4 56 *JUMP
label_00F5:
00F5 5B JUMPDEST
00F6 60 PUSH1 0x40
00F8 51 MLOAD
00F9 80 DUP1
00FA 80 DUP1
00FB 60 PUSH1 0x20
00FD 01 ADD
00FE 82 DUP3
00FF 81 DUP2
0100 03 SUB
0101 82 DUP3
0102 52 MSTORE
0103 83 DUP4
0104 81 DUP2
0105 81 DUP2
0106 51 MLOAD
0107 81 DUP2
0108 52 MSTORE
0109 60 PUSH1 0x20
010B 01 ADD
010C 91 SWAP2
010D 50 POP
010E 80 DUP1
010F 51 MLOAD
0110 90 SWAP1
0111 60 PUSH1 0x20
0113 01 ADD
0114 90 SWAP1
0115 80 DUP1
0116 83 DUP4
0117 83 DUP4
0118 60 PUSH1 0x00
011A 5B JUMPDEST
011B 83 DUP4
011C 81 DUP2
011D 10 LT
011E 15 ISZERO
011F 61 PUSH2 0x0135
0122 57 *JUMPI
label_0123:
0123 80 DUP1
0124 82 DUP3
0125 01 ADD
0126 51 MLOAD
0127 81 DUP2
0128 84 DUP5
0129 01 ADD
012A 52 MSTORE
012B 60 PUSH1 0x20
012D 81 DUP2
012E 01 ADD
012F 90 SWAP1
0130 50 POP
0131 61 PUSH2 0x011a
0134 56 *JUMP
label_0135:
0135 5B JUMPDEST
0136 50 POP
0137 50 POP
0138 50 POP
0139 50 POP
013A 90 SWAP1
013B 50 POP
013C 90 SWAP1
013D 81 DUP2
013E 01 ADD
013F 90 SWAP1
0140 60 PUSH1 0x1f
0142 16 AND
0143 80 DUP1
0144 15 ISZERO
0145 61 PUSH2 0x0162
0148 57 *JUMPI
label_0149:
0149 80 DUP1
014A 82 DUP3
014B 03 SUB
014C 80 DUP1
014D 51 MLOAD
014E 60 PUSH1 0x01
0150 83 DUP4
0151 60 PUSH1 0x20
0153 03 SUB
0154 61 PUSH2 0x0100
0157 0A EXP
0158 03 SUB
0159 19 NOT
015A 16 AND
015B 81 DUP2
015C 52 MSTORE
015D 60 PUSH1 0x20
015F 01 ADD
0160 91 SWAP2
0161 50 POP
0162 5B JUMPDEST
0163 50 POP
0164 92 SWAP3
0165 50 POP
0166 50 POP
0167 50 POP
0168 60 PUSH1 0x40
016A 51 MLOAD
016B 80 DUP1
016C 91 SWAP2
016D 03 SUB
016E 90 SWAP1
016F F3 *RETURN
label_0170:
0170 5B JUMPDEST
0171 34 CALLVALUE
0172 80 DUP1
0173 15 ISZERO
0174 61 PUSH2 0x017c
0177 57 *JUMPI
label_0178:
0178 60 PUSH1 0x00
017A 80 DUP1
017B FD *REVERT
label_017C:
017C 5B JUMPDEST
017D 50 POP
017E 61 PUSH2 0x01bb
0181 60 PUSH1 0x04
0183 80 DUP1
0184 36 CALLDATASIZE
0185 03 SUB
0186 81 DUP2
0187 01 ADD
0188 90 SWAP1
0189 80 DUP1
018A 80 DUP1
018B 35 CALLDATALOAD
018C 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
01A1 16 AND
01A2 90 SWAP1
01A3 60 PUSH1 0x20
01A5 01 ADD
01A6 90 SWAP1
01A7 92 SWAP3
01A8 91 SWAP2
01A9 90 SWAP1
01AA 80 DUP1
01AB 35 CALLDATALOAD
01AC 90 SWAP1
01AD 60 PUSH1 0x20
01AF 01 ADD
01B0 90 SWAP1
01B1 92 SWAP3
01B2 91 SWAP2
01B3 90 SWAP1
01B4 50 POP
01B5 50 POP
01B6 50 POP
01B7 61 PUSH2 0x0719
01BA 56 *JUMP
label_01BB:
01BB 5B JUMPDEST
01BC 60 PUSH1 0x40
01BE 51 MLOAD
01BF 80 DUP1
01C0 82 DUP3
01C1 15 ISZERO
01C2 15 ISZERO
01C3 15 ISZERO
01C4 15 ISZERO
01C5 81 DUP2
01C6 52 MSTORE
01C7 60 PUSH1 0x20
01C9 01 ADD
01CA 91 SWAP2
01CB 50 POP
01CC 50 POP
01CD 60 PUSH1 0x40
01CF 51 MLOAD
01D0 80 DUP1
01D1 91 SWAP2
01D2 03 SUB
01D3 90 SWAP1
01D4 F3 *RETURN
label_01D5:
01D5 5B JUMPDEST
01D6 34 CALLVALUE
01D7 80 DUP1
01D8 15 ISZERO
01D9 61 PUSH2 0x01e1
01DC 57 *JUMPI
label_01DD:
01DD 60 PUSH1 0x00
01DF 80 DUP1
01E0 FD *REVERT
label_01E1:
01E1 5B JUMPDEST
01E2 50 POP
01E3 61 PUSH2 0x01ea
01E6 61 PUSH2 0x080b
01E9 56 *JUMP
label_01EA:
01EA 5B JUMPDEST
01EB 60 PUSH1 0x40
01ED 51 MLOAD
01EE 80 DUP1
01EF 82 DUP3
01F0 81 DUP2
01F1 52 MSTORE
01F2 60 PUSH1 0x20
01F4 01 ADD
01F5 91 SWAP2
01F6 50 POP
01F7 50 POP
01F8 60 PUSH1 0x40
01FA 51 MLOAD
01FB 80 DUP1
01FC 91 SWAP2
01FD 03 SUB
01FE 90 SWAP1
01FF F3 *RETURN
label_0200:
0200 5B JUMPDEST
0201 34 CALLVALUE
0202 80 DUP1
0203 15 ISZERO
0204 61 PUSH2 0x020c
0207 57 *JUMPI
label_0208:
0208 60 PUSH1 0x00
020A 80 DUP1
020B FD *REVERT
label_020C:
020C 5B JUMPDEST
020D 50 POP
020E 61 PUSH2 0x026b
0211 60 PUSH1 0x04
0213 80 DUP1
0214 36 CALLDATASIZE
0215 03 SUB
0216 81 DUP2
0217 01 ADD
0218 90 SWAP1
0219 80 DUP1
021A 80 DUP1
021B 35 CALLDATALOAD
021C 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0231 16 AND
0232 90 SWAP1
0233 60 PUSH1 0x20
0235 01 ADD
0236 90 SWAP1
0237 92 SWAP3
0238 91 SWAP2
0239 90 SWAP1
023A 80 DUP1
023B 35 CALLDATALOAD
023C 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0251 16 AND
0252 90 SWAP1
0253 60 PUSH1 0x20
0255 01 ADD
0256 90 SWAP1
0257 92 SWAP3
0258 91 SWAP2
0259 90 SWAP1
025A 80 DUP1
025B 35 CALLDATALOAD
025C 90 SWAP1
025D 60 PUSH1 0x20
025F 01 ADD
0260 90 SWAP1
0261 92 SWAP3
0262 91 SWAP2
0263 90 SWAP1
0264 50 POP
0265 50 POP
0266 50 POP
0267 61 PUSH2 0x0856
026A 56 *JUMP
label_026B:
026B 5B JUMPDEST
026C 60 PUSH1 0x40
026E 51 MLOAD
026F 80 DUP1
0270 82 DUP3
0271 15 ISZERO
0272 15 ISZERO
0273 15 ISZERO
0274 15 ISZERO
0275 81 DUP2
0276 52 MSTORE
0277 60 PUSH1 0x20
0279 01 ADD
027A 91 SWAP2
027B 50 POP
027C 50 POP
027D 60 PUSH1 0x40
027F 51 MLOAD
0280 80 DUP1
0281 91 SWAP2
0282 03 SUB
0283 90 SWAP1
0284 F3 *RETURN
label_0285:
0285 5B JUMPDEST
0286 34 CALLVALUE
0287 80 DUP1
0288 15 ISZERO
0289 61 PUSH2 0x0291
028C 57 *JUMPI
label_028D:
028D 60 PUSH1 0x00
028F 80 DUP1
0290 FD *REVERT
label_0291:
0291 5B JUMPDEST
0292 50 POP
0293 61 PUSH2 0x029a
0296 61 PUSH2 0x0ae6
0299 56 *JUMP
label_029A:
029A 5B JUMPDEST
029B 60 PUSH1 0x40
029D 51 MLOAD
029E 80 DUP1
029F 82 DUP3
02A0 60 PUSH1 0xff
02A2 16 AND
02A3 60 PUSH1 0xff
02A5 16 AND
02A6 81 DUP2
02A7 52 MSTORE
02A8 60 PUSH1 0x20
02AA 01 ADD
02AB 91 SWAP2
02AC 50 POP
02AD 50 POP
02AE 60 PUSH1 0x40
02B0 51 MLOAD
02B1 80 DUP1
02B2 91 SWAP2
02B3 03 SUB
02B4 90 SWAP1
02B5 F3 *RETURN
label_02B6:
02B6 5B JUMPDEST
02B7 34 CALLVALUE
02B8 80 DUP1
02B9 15 ISZERO
02BA 61 PUSH2 0x02c2
02BD 57 *JUMPI
label_02BE:
02BE 60 PUSH1 0x00
02C0 80 DUP1
02C1 FD *REVERT
label_02C2:
02C2 5B JUMPDEST
02C3 50 POP
02C4 61 PUSH2 0x02cb
02C7 61 PUSH2 0x0af9
02CA 56 *JUMP
label_02CB:
02CB 5B JUMPDEST
02CC 60 PUSH1 0x40
02CE 51 MLOAD
02CF 80 DUP1
02D0 82 DUP3
02D1 81 DUP2
02D2 52 MSTORE
02D3 60 PUSH1 0x20
02D5 01 ADD
02D6 91 SWAP2
02D7 50 POP
02D8 50 POP
02D9 60 PUSH1 0x40
02DB 51 MLOAD
02DC 80 DUP1
02DD 91 SWAP2
02DE 03 SUB
02DF 90 SWAP1
02E0 F3 *RETURN
label_02E1:
02E1 5B JUMPDEST
02E2 34 CALLVALUE
02E3 80 DUP1
02E4 15 ISZERO
02E5 61 PUSH2 0x02ed
02E8 57 *JUMPI
label_02E9:
02E9 60 PUSH1 0x00
02EB 80 DUP1
02EC FD *REVERT
label_02ED:
02ED 5B JUMPDEST
02EE 50 POP
02EF 61 PUSH2 0x0322
02F2 60 PUSH1 0x04
02F4 80 DUP1
02F5 36 CALLDATASIZE
02F6 03 SUB
02F7 81 DUP2
02F8 01 ADD
02F9 90 SWAP1
02FA 80 DUP1
02FB 80 DUP1
02FC 35 CALLDATALOAD
02FD 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0312 16 AND
0313 90 SWAP1
0314 60 PUSH1 0x20
0316 01 ADD
0317 90 SWAP1
0318 92 SWAP3
0319 91 SWAP2
031A 90 SWAP1
031B 50 POP
031C 50 POP
031D 50 POP
031E 61 PUSH2 0x0aff
0321 56 *JUMP
label_0322:
0322 5B JUMPDEST
0323 60 PUSH1 0x40
0325 51 MLOAD
0326 80 DUP1
0327 82 DUP3
0328 81 DUP2
0329 52 MSTORE
032A 60 PUSH1 0x20
032C 01 ADD
032D 91 SWAP2
032E 50 POP
032F 50 POP
0330 60 PUSH1 0x40
0332 51 MLOAD
0333 80 DUP1
0334 91 SWAP2
0335 03 SUB
0336 90 SWAP1
0337 F3 *RETURN
label_0338:
0338 5B JUMPDEST
0339 34 CALLVALUE
033A 80 DUP1
033B 15 ISZERO
033C 61 PUSH2 0x0344
033F 57 *JUMPI
label_0340:
0340 60 PUSH1 0x00
0342 80 DUP1
0343 FD *REVERT
label_0344:
0344 5B JUMPDEST
0345 50 POP
0346 61 PUSH2 0x034d
0349 61 PUSH2 0x0b48
034C 56 *JUMP
label_034D:
034D 5B JUMPDEST
034E 60 PUSH1 0x40
0350 51 MLOAD
0351 80 DUP1
0352 80 DUP1
0353 60 PUSH1 0x20
0355 01 ADD
0356 82 DUP3
0357 81 DUP2
0358 03 SUB
0359 82 DUP3
035A 52 MSTORE
035B 83 DUP4
035C 81 DUP2
035D 81 DUP2
035E 51 MLOAD
035F 81 DUP2
0360 52 MSTORE
0361 60 PUSH1 0x20
0363 01 ADD
0364 91 SWAP2
0365 50 POP
0366 80 DUP1
0367 51 MLOAD
0368 90 SWAP1
0369 60 PUSH1 0x20
036B 01 ADD
036C 90 SWAP1
036D 80 DUP1
036E 83 DUP4
036F 83 DUP4
0370 60 PUSH1 0x00
0372 5B JUMPDEST
0373 83 DUP4
0374 81 DUP2
0375 10 LT
0376 15 ISZERO
0377 61 PUSH2 0x038d
037A 57 *JUMPI
label_037B:
037B 80 DUP1
037C 82 DUP3
037D 01 ADD
037E 51 MLOAD
037F 81 DUP2
0380 84 DUP5
0381 01 ADD
0382 52 MSTORE
0383 60 PUSH1 0x20
0385 81 DUP2
0386 01 ADD
0387 90 SWAP1
0388 50 POP
0389 61 PUSH2 0x0372
038C 56 *JUMP
label_038D:
038D 5B JUMPDEST
038E 50 POP
038F 50 POP
0390 50 POP
0391 50 POP
0392 90 SWAP1
0393 50 POP
0394 90 SWAP1
0395 81 DUP2
0396 01 ADD
0397 90 SWAP1
0398 60 PUSH1 0x1f
039A 16 AND
039B 80 DUP1
039C 15 ISZERO
039D 61 PUSH2 0x03ba
03A0 57 *JUMPI
label_03A1:
03A1 80 DUP1
03A2 82 DUP3
03A3 03 SUB
03A4 80 DUP1
03A5 51 MLOAD
03A6 60 PUSH1 0x01
03A8 83 DUP4
03A9 60 PUSH1 0x20
03AB 03 SUB
03AC 61 PUSH2 0x0100
03AF 0A EXP
03B0 03 SUB
03B1 19 NOT
03B2 16 AND
03B3 81 DUP2
03B4 52 MSTORE
03B5 60 PUSH1 0x20
03B7 01 ADD
03B8 91 SWAP2
03B9 50 POP
03BA 5B JUMPDEST
03BB 50 POP
03BC 92 SWAP3
03BD 50 POP
03BE 50 POP
03BF 50 POP
03C0 60 PUSH1 0x40
03C2 51 MLOAD
03C3 80 DUP1
03C4 91 SWAP2
03C5 03 SUB
03C6 90 SWAP1
03C7 F3 *RETURN
label_03C8:
03C8 5B JUMPDEST
03C9 34 CALLVALUE
03CA 80 DUP1
03CB 15 ISZERO
03CC 61 PUSH2 0x03d4
03CF 57 *JUMPI
label_03D0:
03D0 60 PUSH1 0x00
03D2 80 DUP1
03D3 FD *REVERT
label_03D4:
03D4 5B JUMPDEST
03D5 50 POP
03D6 61 PUSH2 0x03fd
03D9 60 PUSH1 0x04
03DB 80 DUP1
03DC 36 CALLDATASIZE
03DD 03 SUB
03DE 81 DUP2
03DF 01 ADD
03E0 90 SWAP1
03E1 80 DUP1
03E2 80 DUP1
03E3 35 CALLDATALOAD
03E4 90 SWAP1
03E5 60 PUSH1 0x20
03E7 01 ADD
03E8 90 SWAP1
03E9 92 SWAP3
03EA 91 SWAP2
03EB 90 SWAP1
03EC 80 DUP1
03ED 35 CALLDATALOAD
03EE 90 SWAP1
03EF 60 PUSH1 0x20
03F1 01 ADD
03F2 90 SWAP1
03F3 92 SWAP3
03F4 91 SWAP2
03F5 90 SWAP1
03F6 50 POP
03F7 50 POP
03F8 50 POP
03F9 61 PUSH2 0x0be6
03FC 56 *JUMP
label_03FD:
03FD 5B JUMPDEST
03FE 60 PUSH1 0x40
0400 51 MLOAD
0401 80 DUP1
0402 82 DUP3
0403 81 DUP2
0404 52 MSTORE
0405 60 PUSH1 0x20
0407 01 ADD
0408 91 SWAP2
0409 50 POP
040A 50 POP
040B 60 PUSH1 0x40
040D 51 MLOAD
040E 80 DUP1
040F 91 SWAP2
0410 03 SUB
0411 90 SWAP1
0412 F3 *RETURN
label_0413:
0413 5B JUMPDEST
0414 34 CALLVALUE
0415 80 DUP1
0416 15 ISZERO
0417 61 PUSH2 0x041f
041A 57 *JUMPI
label_041B:
041B 60 PUSH1 0x00
041D 80 DUP1
041E FD *REVERT
label_041F:
041F 5B JUMPDEST
0420 50 POP
0421 61 PUSH2 0x045e
0424 60 PUSH1 0x04
0426 80 DUP1
0427 36 CALLDATASIZE
0428 03 SUB
0429 81 DUP2
042A 01 ADD
042B 90 SWAP1
042C 80 DUP1
042D 80 DUP1
042E 35 CALLDATALOAD
042F 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0444 16 AND
0445 90 SWAP1
0446 60 PUSH1 0x20
0448 01 ADD
0449 90 SWAP1
044A 92 SWAP3
044B 91 SWAP2
044C 90 SWAP1
044D 80 DUP1
044E 35 CALLDATALOAD
044F 90 SWAP1
0450 60 PUSH1 0x20
0452 01 ADD
0453 90 SWAP1
0454 92 SWAP3
0455 91 SWAP2
0456 90 SWAP1
0457 50 POP
0458 50 POP
0459 50 POP
045A 61 PUSH2 0x0c02
045D 56 *JUMP
label_045E:
045E 5B JUMPDEST
045F 60 PUSH1 0x40
0461 51 MLOAD
0462 80 DUP1
0463 82 DUP3
0464 15 ISZERO
0465 15 ISZERO
0466 15 ISZERO
0467 15 ISZERO
0468 81 DUP2
0469 52 MSTORE
046A 60 PUSH1 0x20
046C 01 ADD
046D 91 SWAP2
046E 50 POP
046F 50 POP
0470 60 PUSH1 0x40
0472 51 MLOAD
0473 80 DUP1
0474 91 SWAP2
0475 03 SUB
0476 90 SWAP1
0477 F3 *RETURN
label_0478:
0478 5B JUMPDEST
0479 34 CALLVALUE
047A 80 DUP1
047B 15 ISZERO
047C 61 PUSH2 0x0484
047F 57 *JUMPI
label_0480:
0480 60 PUSH1 0x00
0482 80 DUP1
0483 FD *REVERT
label_0484:
0484 5B JUMPDEST
0485 50 POP
0486 61 PUSH2 0x04ad
0489 60 PUSH1 0x04
048B 80 DUP1
048C 36 CALLDATASIZE
048D 03 SUB
048E 81 DUP2
048F 01 ADD
0490 90 SWAP1
0491 80 DUP1
0492 80 DUP1
0493 35 CALLDATALOAD
0494 90 SWAP1
0495 60 PUSH1 0x20
0497 01 ADD
0498 90 SWAP1
0499 92 SWAP3
049A 91 SWAP2
049B 90 SWAP1
049C 80 DUP1
049D 35 CALLDATALOAD
049E 90 SWAP1
049F 60 PUSH1 0x20
04A1 01 ADD
04A2 90 SWAP1
04A3 92 SWAP3
04A4 91 SWAP2
04A5 90 SWAP1
04A6 50 POP
04A7 50 POP
04A8 50 POP
04A9 61 PUSH2 0x0d8b
04AC 56 *JUMP
label_04AD:
04AD 5B JUMPDEST
04AE 60 PUSH1 0x40
04B0 51 MLOAD
04B1 80 DUP1
04B2 82 DUP3
04B3 81 DUP2
04B4 52 MSTORE
04B5 60 PUSH1 0x20
04B7 01 ADD
04B8 91 SWAP2
04B9 50 POP
04BA 50 POP
04BB 60 PUSH1 0x40
04BD 51 MLOAD
04BE 80 DUP1
04BF 91 SWAP2
04C0 03 SUB
04C1 90 SWAP1
04C2 F3 *RETURN
label_04C3:
04C3 5B JUMPDEST
04C4 34 CALLVALUE
04C5 80 DUP1
04C6 15 ISZERO
04C7 61 PUSH2 0x04cf
04CA 57 *JUMPI
label_04CB:
04CB 60 PUSH1 0x00
04CD 80 DUP1
04CE FD *REVERT
label_04CF:
04CF 5B JUMPDEST
04D0 50 POP
04D1 61 PUSH2 0x0554
04D4 60 PUSH1 0x04
04D6 80 DUP1
04D7 36 CALLDATASIZE
04D8 03 SUB
04D9 81 DUP2
04DA 01 ADD
04DB 90 SWAP1
04DC 80 DUP1
04DD 80 DUP1
04DE 35 CALLDATALOAD
04DF 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
04F4 16 AND
04F5 90 SWAP1
04F6 60 PUSH1 0x20
04F8 01 ADD
04F9 90 SWAP1
04FA 92 SWAP3
04FB 91 SWAP2
04FC 90 SWAP1
04FD 80 DUP1
04FE 35 CALLDATALOAD
04FF 90 SWAP1
0500 60 PUSH1 0x20
0502 01 ADD
0503 90 SWAP1
0504 92 SWAP3
0505 91 SWAP2
0506 90 SWAP1
0507 80 DUP1
0508 35 CALLDATALOAD
0509 90 SWAP1
050A 60 PUSH1 0x20
050C 01 ADD
050D 90 SWAP1
050E 82 DUP3
050F 01 ADD
0510 80 DUP1
0511 35 CALLDATALOAD
0512 90 SWAP1
0513 60 PUSH1 0x20
0515 01 ADD
0516 90 SWAP1
0517 80 DUP1
0518 80 DUP1
0519 60 PUSH1 0x1f
051B 01 ADD
051C 60 PUSH1 0x20
051E 80 DUP1
051F 91 SWAP2
0520 04 DIV
0521 02 MUL
0522 60 PUSH1 0x20
0524 01 ADD
0525 60 PUSH1 0x40
0527 51 MLOAD
0528 90 SWAP1
0529 81 DUP2
052A 01 ADD
052B 60 PUSH1 0x40
052D 52 MSTORE
052E 80 DUP1
052F 93 SWAP4
0530 92 SWAP3
0531 91 SWAP2
0532 90 SWAP1
0533 81 DUP2
0534 81 DUP2
0535 52 MSTORE
0536 60 PUSH1 0x20
0538 01 ADD
0539 83 DUP4
053A 83 DUP4
053B 80 DUP1
053C 82 DUP3
053D 84 DUP5
053E 37 CALLDATACOPY
053F 82 DUP3
0540 01 ADD
0541 91 SWAP2
0542 50 POP
0543 50 POP
0544 50 POP
0545 50 POP
0546 50 POP
0547 50 POP
0548 91 SWAP2
0549 92 SWAP3
054A 91 SWAP2
054B 92 SWAP3
054C 90 SWAP1
054D 50 POP
054E 50 POP
054F 50 POP
0550 61 PUSH2 0x0daf
0553 56 *JUMP
label_0554:
0554 5B JUMPDEST
0555 60 PUSH1 0x40
0557 51 MLOAD
0558 80 DUP1
0559 82 DUP3
055A 15 ISZERO
055B 15 ISZERO
055C 15 ISZERO
055D 15 ISZERO
055E 81 DUP2
055F 52 MSTORE
0560 60 PUSH1 0x20
0562 01 ADD
0563 91 SWAP2
0564 50 POP
0565 50 POP
0566 60 PUSH1 0x40
0568 51 MLOAD
0569 80 DUP1
056A 91 SWAP2
056B 03 SUB
056C 90 SWAP1
056D F3 *RETURN
label_056E:
056E 5B JUMPDEST
056F 34 CALLVALUE
0570 80 DUP1
0571 15 ISZERO
0572 61 PUSH2 0x057a
0575 57 *JUMPI
label_0576:
0576 60 PUSH1 0x00
0578 80 DUP1
0579 FD *REVERT
label_057A:
057A 5B JUMPDEST
057B 50 POP
057C 61 PUSH2 0x05a3
057F 60 PUSH1 0x04
0581 80 DUP1
0582 36 CALLDATASIZE
0583 03 SUB
0584 81 DUP2
0585 01 ADD
0586 90 SWAP1
0587 80 DUP1
0588 80 DUP1
0589 35 CALLDATALOAD
058A 90 SWAP1
058B 60 PUSH1 0x20
058D 01 ADD
058E 90 SWAP1
058F 92 SWAP3
0590 91 SWAP2
0591 90 SWAP1
0592 80 DUP1
0593 35 CALLDATALOAD
0594 90 SWAP1
0595 60 PUSH1 0x20
0597 01 ADD
0598 90 SWAP1
0599 92 SWAP3
059A 91 SWAP2
059B 90 SWAP1
059C 50 POP
059D 50 POP
059E 50 POP
059F 61 PUSH2 0x0ffe
05A2 56 *JUMP
label_05A3:
05A3 5B JUMPDEST
05A4 60 PUSH1 0x40
05A6 51 MLOAD
05A7 80 DUP1
05A8 82 DUP3
05A9 81 DUP2
05AA 52 MSTORE
05AB 60 PUSH1 0x20
05AD 01 ADD
05AE 91 SWAP2
05AF 50 POP
05B0 50 POP
05B1 60 PUSH1 0x40
05B3 51 MLOAD
05B4 80 DUP1
05B5 91 SWAP2
05B6 03 SUB
05B7 90 SWAP1
05B8 F3 *RETURN
label_05B9:
05B9 5B JUMPDEST
05BA 34 CALLVALUE
05BB 80 DUP1
05BC 15 ISZERO
05BD 61 PUSH2 0x05c5
05C0 57 *JUMPI
label_05C1:
05C1 60 PUSH1 0x00
05C3 80 DUP1
05C4 FD *REVERT
label_05C5:
05C5 5B JUMPDEST
05C6 50 POP
05C7 61 PUSH2 0x061a
05CA 60 PUSH1 0x04
05CC 80 DUP1
05CD 36 CALLDATASIZE
05CE 03 SUB
05CF 81 DUP2
05D0 01 ADD
05D1 90 SWAP1
05D2 80 DUP1
05D3 80 DUP1
05D4 35 CALLDATALOAD
05D5 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
05EA 16 AND
05EB 90 SWAP1
05EC 60 PUSH1 0x20
05EE 01 ADD
05EF 90 SWAP1
05F0 92 SWAP3
05F1 91 SWAP2
05F2 90 SWAP1
05F3 80 DUP1
05F4 35 CALLDATALOAD
05F5 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
060A 16 AND
060B 90 SWAP1
060C 60 PUSH1 0x20
060E 01 ADD
060F 90 SWAP1
0610 92 SWAP3
0611 91 SWAP2
0612 90 SWAP1
0613 50 POP
0614 50 POP
0615 50 POP
0616 61 PUSH2 0x102f
0619 56 *JUMP
label_061A:
061A 5B JUMPDEST
061B 60 PUSH1 0x40
061D 51 MLOAD
061E 80 DUP1
061F 82 DUP3
0620 81 DUP2
0621 52 MSTORE
0622 60 PUSH1 0x20
0624 01 ADD
0625 91 SWAP2
0626 50 POP
0627 50 POP
0628 60 PUSH1 0x40
062A 51 MLOAD
062B 80 DUP1
062C 91 SWAP2
062D 03 SUB
062E 90 SWAP1
062F F3 *RETURN
label_0630:
0630 5B JUMPDEST
0631 34 CALLVALUE
0632 80 DUP1
0633 15 ISZERO
0634 61 PUSH2 0x063c
0637 57 *JUMPI
label_0638:
0638 60 PUSH1 0x00
063A 80 DUP1
063B FD *REVERT
label_063C:
063C 5B JUMPDEST
063D 50 POP
063E 61 PUSH2 0x0665
0641 60 PUSH1 0x04
0643 80 DUP1
0644 36 CALLDATASIZE
0645 03 SUB
0646 81 DUP2
0647 01 ADD
0648 90 SWAP1
0649 80 DUP1
064A 80 DUP1
064B 35 CALLDATALOAD
064C 90 SWAP1
064D 60 PUSH1 0x20
064F 01 ADD
0650 90 SWAP1
0651 92 SWAP3
0652 91 SWAP2
0653 90 SWAP1
0654 80 DUP1
0655 35 CALLDATALOAD
0656 90 SWAP1
0657 60 PUSH1 0x20
0659 01 ADD
065A 90 SWAP1
065B 92 SWAP3
065C 91 SWAP2
065D 90 SWAP1
065E 50 POP
065F 50 POP
0660 50 POP
0661 61 PUSH2 0x10b6
0664 56 *JUMP
label_0665:
0665 5B JUMPDEST
0666 60 PUSH1 0x40
0668 51 MLOAD
0669 80 DUP1
066A 82 DUP3
066B 81 DUP2
066C 52 MSTORE
066D 60 PUSH1 0x20
066F 01 ADD
0670 91 SWAP2
0671 50 POP
0672 50 POP
0673 60 PUSH1 0x40
0675 51 MLOAD
0676 80 DUP1
0677 91 SWAP2
0678 03 SUB
0679 90 SWAP1
067A F3 *RETURN
label_067B:
067B 5B JUMPDEST
067C 60 PUSH1 0x01
067E 80 DUP1
067F 54 SLOAD
0680 60 PUSH1 0x01
0682 81 DUP2
0683 60 PUSH1 0x01
0685 16 AND
0686 15 ISZERO
0687 61 PUSH2 0x0100
068A 02 MUL
068B 03 SUB
068C 16 AND
068D 60 PUSH1 0x02
068F 90 SWAP1
0690 04 DIV
0691 80 DUP1
0692 60 PUSH1 0x1f
0694 01 ADD
0695 60 PUSH1 0x20
0697 80 DUP1
0698 91 SWAP2
0699 04 DIV
069A 02 MUL
069B 60 PUSH1 0x20
069D 01 ADD
069E 60 PUSH1 0x40
06A0 51 MLOAD
06A1 90 SWAP1
06A2 81 DUP2
06A3 01 ADD
06A4 60 PUSH1 0x40
06A6 52 MSTORE
06A7 80 DUP1
06A8 92 SWAP3
06A9 91 SWAP2
06AA 90 SWAP1
06AB 81 DUP2
06AC 81 DUP2
06AD 52 MSTORE
06AE 60 PUSH1 0x20
06B0 01 ADD
06B1 82 DUP3
06B2 80 DUP1
06B3 54 SLOAD
06B4 60 PUSH1 0x01
06B6 81 DUP2
06B7 60 PUSH1 0x01
06B9 16 AND
06BA 15 ISZERO
06BB 61 PUSH2 0x0100
06BE 02 MUL
06BF 03 SUB
06C0 16 AND
06C1 60 PUSH1 0x02
06C3 90 SWAP1
06C4 04 DIV
06C5 80 DUP1
06C6 15 ISZERO
06C7 61 PUSH2 0x0711
06CA 57 *JUMPI
label_06CB:
06CB 80 DUP1
06CC 60 PUSH1 0x1f
06CE 10 LT
06CF 61 PUSH2 0x06e6
06D2 57 *JUMPI
label_06D3:
06D3 61 PUSH2 0x0100
06D6 80 DUP1
06D7 83 DUP4
06D8 54 SLOAD
06D9 04 DIV
06DA 02 MUL
06DB 83 DUP4
06DC 52 MSTORE
06DD 91 SWAP2
06DE 60 PUSH1 0x20
06E0 01 ADD
06E1 91 SWAP2
06E2 61 PUSH2 0x0711
06E5 56 *JUMP
label_06E6:
06E6 5B JUMPDEST
06E7 82 DUP3
06E8 01 ADD
06E9 91 SWAP2
06EA 90 SWAP1
06EB 60 PUSH1 0x00
06ED 52 MSTORE
06EE 60 PUSH1 0x20
06F0 60 PUSH1 0x00
06F2 20 SHA3
06F3 90 SWAP1
06F4 5B JUMPDEST
06F5 81 DUP2
06F6 54 SLOAD
06F7 81 DUP2
06F8 52 MSTORE
06F9 90 SWAP1
06FA 60 PUSH1 0x01
06FC 01 ADD
06FD 90 SWAP1
06FE 60 PUSH1 0x20
0700 01 ADD
0701 80 DUP1
0702 83 DUP4
0703 11 GT
0704 61 PUSH2 0x06f4
0707 57 *JUMPI
label_0708:
0708 82 DUP3
0709 90 SWAP1
070A 03 SUB
070B 60 PUSH1 0x1f
070D 16 AND
070E 82 DUP3
070F 01 ADD
0710 91 SWAP2
label_0711:
0711 5B JUMPDEST
0712 50 POP
0713 50 POP
0714 50 POP
0715 50 POP
0716 50 POP
0717 81 DUP2
0718 56 *JUMP
label_0719:
0719 5B JUMPDEST
071A 60 PUSH1 0x00
071C 81 DUP2
071D 60 PUSH1 0x05
071F 60 PUSH1 0x00
0721 33 CALLER
0722 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0737 16 AND
0738 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
074D 16 AND
074E 81 DUP2
074F 52 MSTORE
0750 60 PUSH1 0x20
0752 01 ADD
0753 90 SWAP1
0754 81 DUP2
0755 52 MSTORE
0756 60 PUSH1 0x20
0758 01 ADD
0759 60 PUSH1 0x00
075B 20 SHA3
075C 60 PUSH1 0x00
075E 85 DUP6
075F 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0774 16 AND
0775 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
078A 16 AND
078B 81 DUP2
078C 52 MSTORE
078D 60 PUSH1 0x20
078F 01 ADD
0790 90 SWAP1
0791 81 DUP2
0792 52 MSTORE
0793 60 PUSH1 0x20
0795 01 ADD
0796 60 PUSH1 0x00
0798 20 SHA3
0799 81 DUP2
079A 90 SWAP1
079B 55 SSTORE
079C 50 POP
079D 82 DUP3
079E 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
07B3 16 AND
07B4 33 CALLER
07B5 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
07CA 16 AND
07CB 7F PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
07EC 84 DUP5
07ED 60 PUSH1 0x40
07EF 51 MLOAD
07F0 80 DUP1
07F1 82 DUP3
07F2 81 DUP2
07F3 52 MSTORE
07F4 60 PUSH1 0x20
07F6 01 ADD
07F7 91 SWAP2
07F8 50 POP
07F9 50 POP
07FA 60 PUSH1 0x40
07FC 51 MLOAD
07FD 80 DUP1
07FE 91 SWAP2
07FF 03 SUB
0800 90 SWAP1
0801 A3 LOG3
0802 60 PUSH1 0x01
0804 90 SWAP1
0805 50 POP
0806 92 SWAP3
0807 91 SWAP2
0808 50 POP
0809 50 POP
080A 56 *JUMP
label_080B:
080B 5B JUMPDEST
080C 60 PUSH1 0x00
080E 60 PUSH1 0x04
0810 60 PUSH1 0x00
0812 80 DUP1
0813 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0828 16 AND
0829 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
083E 16 AND
083F 81 DUP2
0840 52 MSTORE
0841 60 PUSH1 0x20
0843 01 ADD
0844 90 SWAP1
0845 81 DUP2
0846 52 MSTORE
0847 60 PUSH1 0x20
0849 01 ADD
084A 60 PUSH1 0x00
084C 20 SHA3
084D 54 SLOAD
084E 60 PUSH1 0x03
0850 54 SLOAD
0851 03 SUB
0852 90 SWAP1
0853 50 POP
0854 90 SWAP1
0855 56 *JUMP
label_0856:
0856 5B JUMPDEST
0857 60 PUSH1 0x00
0859 61 PUSH2 0x08a1
085C 60 PUSH1 0x04
085E 60 PUSH1 0x00
0860 86 DUP7
0861 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0876 16 AND
0877 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
088C 16 AND
088D 81 DUP2
088E 52 MSTORE
088F 60 PUSH1 0x20
0891 01 ADD
0892 90 SWAP1
0893 81 DUP2
0894 52 MSTORE
0895 60 PUSH1 0x20
0897 01 ADD
0898 60 PUSH1 0x00
089A 20 SHA3
089B 54 SLOAD
089C 83 DUP4
089D 61 PUSH2 0x0be6
08A0 56 *JUMP
label_08A1:
08A1 5B JUMPDEST
08A2 60 PUSH1 0x04
08A4 60 PUSH1 0x00
08A6 86 DUP7
08A7 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
08BC 16 AND
08BD 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
08D2 16 AND
08D3 81 DUP2
08D4 52 MSTORE
08D5 60 PUSH1 0x20
08D7 01 ADD
08D8 90 SWAP1
08D9 81 DUP2
08DA 52 MSTORE
08DB 60 PUSH1 0x20
08DD 01 ADD
08DE 60 PUSH1 0x00
08E0 20 SHA3
08E1 81 DUP2
08E2 90 SWAP1
08E3 55 SSTORE
08E4 50 POP
08E5 61 PUSH2 0x096a
08E8 60 PUSH1 0x05
08EA 60 PUSH1 0x00
08EC 86 DUP7
08ED 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0902 16 AND
0903 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0918 16 AND
0919 81 DUP2
091A 52 MSTORE
091B 60 PUSH1 0x20
091D 01 ADD
091E 90 SWAP1
091F 81 DUP2
0920 52 MSTORE
0921 60 PUSH1 0x20
0923 01 ADD
0924 60 PUSH1 0x00
0926 20 SHA3
0927 60 PUSH1 0x00
0929 33 CALLER
092A 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
093F 16 AND
0940 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0955 16 AND
0956 81 DUP2
0957 52 MSTORE
0958 60 PUSH1 0x20
095A 01 ADD
095B 90 SWAP1
095C 81 DUP2
095D 52 MSTORE
095E 60 PUSH1 0x20
0960 01 ADD
0961 60 PUSH1 0x00
0963 20 SHA3
0964 54 SLOAD
0965 83 DUP4
0966 61 PUSH2 0x0be6
0969 56 *JUMP
label_096A:
096A 5B JUMPDEST
096B 60 PUSH1 0x05
096D 60 PUSH1 0x00
096F 86 DUP7
0970 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0985 16 AND
0986 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
099B 16 AND
099C 81 DUP2
099D 52 MSTORE
099E 60 PUSH1 0x20
09A0 01 ADD
09A1 90 SWAP1
09A2 81 DUP2
09A3 52 MSTORE
09A4 60 PUSH1 0x20
09A6 01 ADD
09A7 60 PUSH1 0x00
09A9 20 SHA3
09AA 60 PUSH1 0x00
09AC 33 CALLER
09AD 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
09C2 16 AND
09C3 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
09D8 16 AND
09D9 81 DUP2
09DA 52 MSTORE
09DB 60 PUSH1 0x20
09DD 01 ADD
09DE 90 SWAP1
09DF 81 DUP2
09E0 52 MSTORE
09E1 60 PUSH1 0x20
09E3 01 ADD
09E4 60 PUSH1 0x00
09E6 20 SHA3
09E7 81 DUP2
09E8 90 SWAP1
09E9 55 SSTORE
09EA 50 POP
09EB 61 PUSH2 0x0a33
09EE 60 PUSH1 0x04
09F0 60 PUSH1 0x00
09F2 85 DUP6
09F3 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0A08 16 AND
0A09 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0A1E 16 AND
0A1F 81 DUP2
0A20 52 MSTORE
0A21 60 PUSH1 0x20
0A23 01 ADD
0A24 90 SWAP1
0A25 81 DUP2
0A26 52 MSTORE
0A27 60 PUSH1 0x20
0A29 01 ADD
0A2A 60 PUSH1 0x00
0A2C 20 SHA3
0A2D 54 SLOAD
0A2E 83 DUP4
0A2F 61 PUSH2 0x10b6
0A32 56 *JUMP
label_0A33:
0A33 5B JUMPDEST
0A34 60 PUSH1 0x04
0A36 60 PUSH1 0x00
0A38 85 DUP6
0A39 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0A4E 16 AND
0A4F 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0A64 16 AND
0A65 81 DUP2
0A66 52 MSTORE
0A67 60 PUSH1 0x20
0A69 01 ADD
0A6A 90 SWAP1
0A6B 81 DUP2
0A6C 52 MSTORE
0A6D 60 PUSH1 0x20
0A6F 01 ADD
0A70 60 PUSH1 0x00
0A72 20 SHA3
0A73 81 DUP2
0A74 90 SWAP1
0A75 55 SSTORE
0A76 50 POP
0A77 82 DUP3
0A78 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0A8D 16 AND
0A8E 84 DUP5
0A8F 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0AA4 16 AND
0AA5 7F PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0AC6 84 DUP5
0AC7 60 PUSH1 0x40
0AC9 51 MLOAD
0ACA 80 DUP1
0ACB 82 DUP3
0ACC 81 DUP2
0ACD 52 MSTORE
0ACE 60 PUSH1 0x20
0AD0 01 ADD
0AD1 91 SWAP2
0AD2 50 POP
0AD3 50 POP
0AD4 60 PUSH1 0x40
0AD6 51 MLOAD
0AD7 80 DUP1
0AD8 91 SWAP2
0AD9 03 SUB
0ADA 90 SWAP1
0ADB A3 LOG3
0ADC 60 PUSH1 0x01
0ADE 90 SWAP1
0ADF 50 POP
0AE0 93 SWAP4
0AE1 92 SWAP3
0AE2 50 POP
0AE3 50 POP
0AE4 50 POP
0AE5 56 *JUMP
label_0AE6:
0AE6 5B JUMPDEST
0AE7 60 PUSH1 0x02
0AE9 60 PUSH1 0x00
0AEB 90 SWAP1
0AEC 54 SLOAD
0AED 90 SWAP1
0AEE 61 PUSH2 0x0100
0AF1 0A EXP
0AF2 90 SWAP1
0AF3 04 DIV
0AF4 60 PUSH1 0xff
0AF6 16 AND
0AF7 81 DUP2
0AF8 56 *JUMP
label_0AF9:
0AF9 5B JUMPDEST
0AFA 60 PUSH1 0x03
0AFC 54 SLOAD
0AFD 81 DUP2
0AFE 56 *JUMP
label_0AFF:
0AFF 5B JUMPDEST
0B00 60 PUSH1 0x00
0B02 60 PUSH1 0x04
0B04 60 PUSH1 0x00
0B06 83 DUP4
0B07 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0B1C 16 AND
0B1D 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0B32 16 AND
0B33 81 DUP2
0B34 52 MSTORE
0B35 60 PUSH1 0x20
0B37 01 ADD
0B38 90 SWAP1
0B39 81 DUP2
0B3A 52 MSTORE
0B3B 60 PUSH1 0x20
0B3D 01 ADD
0B3E 60 PUSH1 0x00
0B40 20 SHA3
0B41 54 SLOAD
0B42 90 SWAP1
0B43 50 POP
0B44 91 SWAP2
0B45 90 SWAP1
0B46 50 POP
0B47 56 *JUMP
label_0B48:
0B48 5B JUMPDEST
0B49 60 PUSH1 0x00
0B4B 80 DUP1
0B4C 54 SLOAD
0B4D 60 PUSH1 0x01
0B4F 81 DUP2
0B50 60 PUSH1 0x01
0B52 16 AND
0B53 15 ISZERO
0B54 61 PUSH2 0x0100
0B57 02 MUL
0B58 03 SUB
0B59 16 AND
0B5A 60 PUSH1 0x02
0B5C 90 SWAP1
0B5D 04 DIV
0B5E 80 DUP1
0B5F 60 PUSH1 0x1f
0B61 01 ADD
0B62 60 PUSH1 0x20
0B64 80 DUP1
0B65 91 SWAP2
0B66 04 DIV
0B67 02 MUL
0B68 60 PUSH1 0x20
0B6A 01 ADD
0B6B 60 PUSH1 0x40
0B6D 51 MLOAD
0B6E 90 SWAP1
0B6F 81 DUP2
0B70 01 ADD
0B71 60 PUSH1 0x40
0B73 52 MSTORE
0B74 80 DUP1
0B75 92 SWAP3
0B76 91 SWAP2
0B77 90 SWAP1
0B78 81 DUP2
0B79 81 DUP2
0B7A 52 MSTORE
0B7B 60 PUSH1 0x20
0B7D 01 ADD
0B7E 82 DUP3
0B7F 80 DUP1
0B80 54 SLOAD
0B81 60 PUSH1 0x01
0B83 81 DUP2
0B84 60 PUSH1 0x01
0B86 16 AND
0B87 15 ISZERO
0B88 61 PUSH2 0x0100
0B8B 02 MUL
0B8C 03 SUB
0B8D 16 AND
0B8E 60 PUSH1 0x02
0B90 90 SWAP1
0B91 04 DIV
0B92 80 DUP1
0B93 15 ISZERO
0B94 61 PUSH2 0x0bde
0B97 57 *JUMPI
label_0B98:
0B98 80 DUP1
0B99 60 PUSH1 0x1f
0B9B 10 LT
0B9C 61 PUSH2 0x0bb3
0B9F 57 *JUMPI
label_0BA0:
0BA0 61 PUSH2 0x0100
0BA3 80 DUP1
0BA4 83 DUP4
0BA5 54 SLOAD
0BA6 04 DIV
0BA7 02 MUL
0BA8 83 DUP4
0BA9 52 MSTORE
0BAA 91 SWAP2
0BAB 60 PUSH1 0x20
0BAD 01 ADD
0BAE 91 SWAP2
0BAF 61 PUSH2 0x0bde
0BB2 56 *JUMP
label_0BB3:
0BB3 5B JUMPDEST
0BB4 82 DUP3
0BB5 01 ADD
0BB6 91 SWAP2
0BB7 90 SWAP1
0BB8 60 PUSH1 0x00
0BBA 52 MSTORE
0BBB 60 PUSH1 0x20
0BBD 60 PUSH1 0x00
0BBF 20 SHA3
0BC0 90 SWAP1
0BC1 5B JUMPDEST
0BC2 81 DUP2
0BC3 54 SLOAD
0BC4 81 DUP2
0BC5 52 MSTORE
0BC6 90 SWAP1
0BC7 60 PUSH1 0x01
0BC9 01 ADD
0BCA 90 SWAP1
0BCB 60 PUSH1 0x20
0BCD 01 ADD
0BCE 80 DUP1
0BCF 83 DUP4
0BD0 11 GT
0BD1 61 PUSH2 0x0bc1
0BD4 57 *JUMPI
label_0BD5:
0BD5 82 DUP3
0BD6 90 SWAP1
0BD7 03 SUB
0BD8 60 PUSH1 0x1f
0BDA 16 AND
0BDB 82 DUP3
0BDC 01 ADD
0BDD 91 SWAP2
label_0BDE:
0BDE 5B JUMPDEST
0BDF 50 POP
0BE0 50 POP
0BE1 50 POP
0BE2 50 POP
0BE3 50 POP
0BE4 81 DUP2
0BE5 56 *JUMP
label_0BE6:
0BE6 5B JUMPDEST
0BE7 60 PUSH1 0x00
0BE9 82 DUP3
0BEA 82 DUP3
0BEB 11 GT
0BEC 15 ISZERO
0BED 15 ISZERO
0BEE 15 ISZERO
0BEF 61 PUSH2 0x0bf7
0BF2 57 *JUMPI
label_0BF3:
0BF3 60 PUSH1 0x00
0BF5 80 DUP1
0BF6 FD *REVERT
label_0BF7:
0BF7 5B JUMPDEST
0BF8 81 DUP2
0BF9 83 DUP4
0BFA 03 SUB
0BFB 90 SWAP1
0BFC 50 POP
0BFD 92 SWAP3
0BFE 91 SWAP2
0BFF 50 POP
0C00 50 POP
0C01 56 *JUMP
label_0C02:
0C02 5B JUMPDEST
0C03 60 PUSH1 0x00
0C05 61 PUSH2 0x0c4d
0C08 60 PUSH1 0x04
0C0A 60 PUSH1 0x00
0C0C 33 CALLER
0C0D 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0C22 16 AND
0C23 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0C38 16 AND
0C39 81 DUP2
0C3A 52 MSTORE
0C3B 60 PUSH1 0x20
0C3D 01 ADD
0C3E 90 SWAP1
0C3F 81 DUP2
0C40 52 MSTORE
0C41 60 PUSH1 0x20
0C43 01 ADD
0C44 60 PUSH1 0x00
0C46 20 SHA3
0C47 54 SLOAD
0C48 83 DUP4
0C49 61 PUSH2 0x0be6
0C4C 56 *JUMP
label_0C4D:
0C4D 5B JUMPDEST
0C4E 60 PUSH1 0x04
0C50 60 PUSH1 0x00
0C52 33 CALLER
0C53 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0C68 16 AND
0C69 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0C7E 16 AND
0C7F 81 DUP2
0C80 52 MSTORE
0C81 60 PUSH1 0x20
0C83 01 ADD
0C84 90 SWAP1
0C85 81 DUP2
0C86 52 MSTORE
0C87 60 PUSH1 0x20
0C89 01 ADD
0C8A 60 PUSH1 0x00
0C8C 20 SHA3
0C8D 81 DUP2
0C8E 90 SWAP1
0C8F 55 SSTORE
0C90 50 POP
0C91 61 PUSH2 0x0cd9
0C94 60 PUSH1 0x04
0C96 60 PUSH1 0x00
0C98 85 DUP6
0C99 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0CAE 16 AND
0CAF 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0CC4 16 AND
0CC5 81 DUP2
0CC6 52 MSTORE
0CC7 60 PUSH1 0x20
0CC9 01 ADD
0CCA 90 SWAP1
0CCB 81 DUP2
0CCC 52 MSTORE
0CCD 60 PUSH1 0x20
0CCF 01 ADD
0CD0 60 PUSH1 0x00
0CD2 20 SHA3
0CD3 54 SLOAD
0CD4 83 DUP4
0CD5 61 PUSH2 0x10b6
0CD8 56 *JUMP
label_0CD9:
0CD9 5B JUMPDEST
0CDA 60 PUSH1 0x04
0CDC 60 PUSH1 0x00
0CDE 85 DUP6
0CDF 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0CF4 16 AND
0CF5 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0D0A 16 AND
0D0B 81 DUP2
0D0C 52 MSTORE
0D0D 60 PUSH1 0x20
0D0F 01 ADD
0D10 90 SWAP1
0D11 81 DUP2
0D12 52 MSTORE
0D13 60 PUSH1 0x20
0D15 01 ADD
0D16 60 PUSH1 0x00
0D18 20 SHA3
0D19 81 DUP2
0D1A 90 SWAP1
0D1B 55 SSTORE
0D1C 50 POP
0D1D 82 DUP3
0D1E 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0D33 16 AND
0D34 33 CALLER
0D35 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0D4A 16 AND
0D4B 7F PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0D6C 84 DUP5
0D6D 60 PUSH1 0x40
0D6F 51 MLOAD
0D70 80 DUP1
0D71 82 DUP3
0D72 81 DUP2
0D73 52 MSTORE
0D74 60 PUSH1 0x20
0D76 01 ADD
0D77 91 SWAP2
0D78 50 POP
0D79 50 POP
0D7A 60 PUSH1 0x40
0D7C 51 MLOAD
0D7D 80 DUP1
0D7E 91 SWAP2
0D7F 03 SUB
0D80 90 SWAP1
0D81 A3 LOG3
0D82 60 PUSH1 0x01
0D84 90 SWAP1
0D85 50 POP
0D86 92 SWAP3
0D87 91 SWAP2
0D88 50 POP
0D89 50 POP
0D8A 56 *JUMP
label_0D8B:
0D8B 5B JUMPDEST
0D8C 60 PUSH1 0x00
0D8E 80 DUP1
0D8F 82 DUP3
0D90 11 GT
0D91 15 ISZERO
0D92 15 ISZERO
0D93 61 PUSH2 0x0d9b
0D96 57 *JUMPI
label_0D97:
0D97 60 PUSH1 0x00
0D99 80 DUP1
0D9A FD *REVERT
label_0D9B:
0D9B 5B JUMPDEST
0D9C 81 DUP2
0D9D 83 DUP4
0D9E 81 DUP2
0D9F 15 ISZERO
0DA0 15 ISZERO
0DA1 61 PUSH2 0x0da6
0DA4 57 *JUMPI
label_0DA5:
0DA5 FE *ASSERT
label_0DA6:
0DA6 5B JUMPDEST
0DA7 04 DIV
0DA8 90 SWAP1
0DA9 50 POP
0DAA 92 SWAP3
0DAB 91 SWAP2
0DAC 50 POP
0DAD 50 POP
0DAE 56 *JUMP
label_0DAF:
0DAF 5B JUMPDEST
0DB0 60 PUSH1 0x00
0DB2 82 DUP3
0DB3 60 PUSH1 0x05
0DB5 60 PUSH1 0x00
0DB7 33 CALLER
0DB8 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0DCD 16 AND
0DCE 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0DE3 16 AND
0DE4 81 DUP2
0DE5 52 MSTORE
0DE6 60 PUSH1 0x20
0DE8 01 ADD
0DE9 90 SWAP1
0DEA 81 DUP2
0DEB 52 MSTORE
0DEC 60 PUSH1 0x20
0DEE 01 ADD
0DEF 60 PUSH1 0x00
0DF1 20 SHA3
0DF2 60 PUSH1 0x00
0DF4 86 DUP7
0DF5 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0E0A 16 AND
0E0B 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0E20 16 AND
0E21 81 DUP2
0E22 52 MSTORE
0E23 60 PUSH1 0x20
0E25 01 ADD
0E26 90 SWAP1
0E27 81 DUP2
0E28 52 MSTORE
0E29 60 PUSH1 0x20
0E2B 01 ADD
0E2C 60 PUSH1 0x00
0E2E 20 SHA3
0E2F 81 DUP2
0E30 90 SWAP1
0E31 55 SSTORE
0E32 50 POP
0E33 83 DUP4
0E34 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0E49 16 AND
0E4A 33 CALLER
0E4B 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0E60 16 AND
0E61 7F PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0E82 85 DUP6
0E83 60 PUSH1 0x40
0E85 51 MLOAD
0E86 80 DUP1
0E87 82 DUP3
0E88 81 DUP2
0E89 52 MSTORE
0E8A 60 PUSH1 0x20
0E8C 01 ADD
0E8D 91 SWAP2
0E8E 50 POP
0E8F 50 POP
0E90 60 PUSH1 0x40
0E92 51 MLOAD
0E93 80 DUP1
0E94 91 SWAP2
0E95 03 SUB
0E96 90 SWAP1
0E97 A3 LOG3
0E98 83 DUP4
0E99 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0EAE 16 AND
0EAF 63 PUSH4 0x8f4ffcb1
0EB4 33 CALLER
0EB5 85 DUP6
0EB6 30 ADDRESS
0EB7 86 DUP7
0EB8 60 PUSH1 0x40
0EBA 51 MLOAD
0EBB 85 DUP6
0EBC 63 PUSH4 0xffffffff
0EC1 16 AND
0EC2 7C PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0EE0 02 MUL
0EE1 81 DUP2
0EE2 52 MSTORE
0EE3 60 PUSH1 0x04
0EE5 01 ADD
0EE6 80 DUP1
0EE7 85 DUP6
0EE8 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0EFD 16 AND
0EFE 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0F13 16 AND
0F14 81 DUP2
0F15 52 MSTORE
0F16 60 PUSH1 0x20
0F18 01 ADD
0F19 84 DUP5
0F1A 81 DUP2
0F1B 52 MSTORE
0F1C 60 PUSH1 0x20
0F1E 01 ADD
0F1F 83 DUP4
0F20 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0F35 16 AND
0F36 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0F4B 16 AND
0F4C 81 DUP2
0F4D 52 MSTORE
0F4E 60 PUSH1 0x20
0F50 01 ADD
0F51 80 DUP1
0F52 60 PUSH1 0x20
0F54 01 ADD
0F55 82 DUP3
0F56 81 DUP2
0F57 03 SUB
0F58 82 DUP3
0F59 52 MSTORE
0F5A 83 DUP4
0F5B 81 DUP2
0F5C 81 DUP2
0F5D 51 MLOAD
0F5E 81 DUP2
0F5F 52 MSTORE
0F60 60 PUSH1 0x20
0F62 01 ADD
0F63 91 SWAP2
0F64 50 POP
0F65 80 DUP1
0F66 51 MLOAD
0F67 90 SWAP1
0F68 60 PUSH1 0x20
0F6A 01 ADD
0F6B 90 SWAP1
0F6C 80 DUP1
0F6D 83 DUP4
0F6E 83 DUP4
0F6F 60 PUSH1 0x00
0F71 5B JUMPDEST
0F72 83 DUP4
0F73 81 DUP2
0F74 10 LT
0F75 15 ISZERO
0F76 61 PUSH2 0x0f8c
0F79 57 *JUMPI
label_0F7A:
0F7A 80 DUP1
0F7B 82 DUP3
0F7C 01 ADD
0F7D 51 MLOAD
0F7E 81 DUP2
0F7F 84 DUP5
0F80 01 ADD
0F81 52 MSTORE
0F82 60 PUSH1 0x20
0F84 81 DUP2
0F85 01 ADD
0F86 90 SWAP1
0F87 50 POP
0F88 61 PUSH2 0x0f71
0F8B 56 *JUMP
label_0F8C:
0F8C 5B JUMPDEST
0F8D 50 POP
0F8E 50 POP
0F8F 50 POP
0F90 50 POP
0F91 90 SWAP1
0F92 50 POP
0F93 90 SWAP1
0F94 81 DUP2
0F95 01 ADD
0F96 90 SWAP1
0F97 60 PUSH1 0x1f
0F99 16 AND
0F9A 80 DUP1
0F9B 15 ISZERO
0F9C 61 PUSH2 0x0fb9
0F9F 57 *JUMPI
label_0FA0:
0FA0 80 DUP1
0FA1 82 DUP3
0FA2 03 SUB
0FA3 80 DUP1
0FA4 51 MLOAD
0FA5 60 PUSH1 0x01
0FA7 83 DUP4
0FA8 60 PUSH1 0x20
0FAA 03 SUB
0FAB 61 PUSH2 0x0100
0FAE 0A EXP
0FAF 03 SUB
0FB0 19 NOT
0FB1 16 AND
0FB2 81 DUP2
0FB3 52 MSTORE
0FB4 60 PUSH1 0x20
0FB6 01 ADD
0FB7 91 SWAP2
0FB8 50 POP
0FB9 5B JUMPDEST
0FBA 50 POP
0FBB 95 SWAP6
0FBC 50 POP
0FBD 50 POP
0FBE 50 POP
0FBF 50 POP
0FC0 50 POP
0FC1 50 POP
0FC2 60 PUSH1 0x00
0FC4 60 PUSH1 0x40
0FC6 51 MLOAD
0FC7 80 DUP1
0FC8 83 DUP4
0FC9 03 SUB
0FCA 81 DUP2
0FCB 60 PUSH1 0x00
0FCD 87 DUP8
0FCE 80 DUP1
0FCF 3B EXTCODESIZE
0FD0 15 ISZERO
0FD1 80 DUP1
0FD2 15 ISZERO
0FD3 61 PUSH2 0x0fdb
0FD6 57 *JUMPI
label_0FD7:
0FD7 60 PUSH1 0x00
0FD9 80 DUP1
0FDA FD *REVERT
label_0FDB:
0FDB 5B JUMPDEST
0FDC 50 POP
0FDD 5A GAS
0FDE F1 CALL
0FDF 15 ISZERO
0FE0 80 DUP1
0FE1 15 ISZERO
0FE2 61 PUSH2 0x0fef
0FE5 57 *JUMPI
label_0FE6:
0FE6 3D RETURNDATASIZE
0FE7 60 PUSH1 0x00
0FE9 80 DUP1
0FEA 3E RETURNDATACOPY
0FEB 3D RETURNDATASIZE
0FEC 60 PUSH1 0x00
0FEE FD *REVERT
label_0FEF:
0FEF 5B JUMPDEST
0FF0 50 POP
0FF1 50 POP
0FF2 50 POP
0FF3 50 POP
0FF4 60 PUSH1 0x01
0FF6 90 SWAP1
0FF7 50 POP
0FF8 93 SWAP4
0FF9 92 SWAP3
0FFA 50 POP
0FFB 50 POP
0FFC 50 POP
0FFD 56 *JUMP
label_0FFE:
0FFE 5B JUMPDEST
0FFF 60 PUSH1 0x00
1001 81 DUP2
1002 83 DUP4
1003 02 MUL
1004 90 SWAP1
1005 50 POP
1006 60 PUSH1 0x00
1008 83 DUP4
1009 14 EQ
100A 80 DUP1
100B 61 PUSH2 0x101e
100E 57 *JUMPI
label_100F:
100F 50 POP
1010 81 DUP2
1011 83 DUP4
1012 82 DUP3
1013 81 DUP2
1014 15 ISZERO
1015 15 ISZERO
1016 61 PUSH2 0x101b
1019 57 *JUMPI
label_101A:
101A FE *ASSERT
label_101B:
101B 5B JUMPDEST
101C 04 DIV
101D 14 EQ
label_101E:
101E 5B JUMPDEST
101F 15 ISZERO
1020 15 ISZERO
1021 61 PUSH2 0x1029
1024 57 *JUMPI
label_1025:
1025 60 PUSH1 0x00
1027 80 DUP1
1028 FD *REVERT
label_1029:
1029 5B JUMPDEST
102A 92 SWAP3
102B 91 SWAP2
102C 50 POP
102D 50 POP
102E 56 *JUMP
label_102F:
102F 5B JUMPDEST
1030 60 PUSH1 0x00
1032 60 PUSH1 0x05
1034 60 PUSH1 0x00
1036 84 DUP5
1037 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
104C 16 AND
104D 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
1062 16 AND
1063 81 DUP2
1064 52 MSTORE
1065 60 PUSH1 0x20
1067 01 ADD
1068 90 SWAP1
1069 81 DUP2
106A 52 MSTORE
106B 60 PUSH1 0x20
106D 01 ADD
106E 60 PUSH1 0x00
1070 20 SHA3
1071 60 PUSH1 0x00
1073 83 DUP4
1074 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
1089 16 AND
108A 73 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
109F 16 AND
10A0 81 DUP2
10A1 52 MSTORE
10A2 60 PUSH1 0x20
10A4 01 ADD
10A5 90 SWAP1
10A6 81 DUP2
10A7 52 MSTORE
10A8 60 PUSH1 0x20
10AA 01 ADD
10AB 60 PUSH1 0x00
10AD 20 SHA3
10AE 54 SLOAD
10AF 90 SWAP1
10B0 50 POP
10B1 92 SWAP3
10B2 91 SWAP2
10B3 50 POP
10B4 50 POP
10B5 56 *JUMP
label_10B6:
10B6 5B JUMPDEST
10B7 60 PUSH1 0x00
10B9 81 DUP2
10BA 83 DUP4
10BB 01 ADD
10BC 90 SWAP1
10BD 50 POP
10BE 82 DUP3
10BF 81 DUP2
10C0 10 LT
10C1 15 ISZERO
10C2 15 ISZERO
10C3 15 ISZERO
10C4 61 PUSH2 0x10cc
10C7 57 *JUMPI
label_10C8:
10C8 60 PUSH1 0x00
10CA 80 DUP1
10CB FD *REVERT
label_10CC:
10CC 5B JUMPDEST
10CD 92 SWAP3
10CE 91 SWAP2
10CF 50 POP
10D0 50 POP
10D1 56 *JUMP
10D2 00 *STOP
10D3 A1 LOG1
10D4 65 PUSH6 0x627a7a723058
10DB 20 SHA3
10DC A2 LOG2
10DD 95 SWAP6
10DE E9 E9
10DF 3A GASPRICE
10E0 69 PUSH10 0x537c292be8b2d7f50125
10EB EA EA
10EC A3 LOG3
10ED 24 24
10EE 85 DUP6
10EF CC CC
10F0 C8 C8
10F1 7B PUSH28 0x3d3d757385af1701882a0029