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 != 0xf9633930) { revert(memory[0x00:0x00]); }

        var var1 = msg.value;

        if (var1) { revert(memory[0x00:0x00]); }

        var1 = 0x005a;
        var1 = func_00CF();
        var temp0 = memory[0x40:0x60];
        memory[temp0:temp0 + 0x20] = 0x20;
        var temp1 = var1;
        memory[temp0 + 0x20:temp0 + 0x20 + 0x20] = memory[temp1:temp1 + 0x20];
        var var2 = temp0;
        var var3 = var2;
        var var4 = var3 + 0x40;
        var var6 = memory[temp1:temp1 + 0x20];
        var var5 = temp1 + 0x20;
        var var7 = var6;
        var var8 = var4;
        var var9 = var5;
        var var10 = 0x00;

        if (var10 >= var7) {
        label_0094:
            var temp2 = var6;
            var4 = temp2 + var4;
            var5 = temp2 & 0x1f;

            if (!var5) {
                var temp3 = memory[0x40:0x60];
                return memory[temp3:temp3 + var4 - temp3];
            } else {
                var temp4 = var5;
                var temp5 = var4 - temp4;
                memory[temp5:temp5 + 0x20] = ~(0x0100 ** (0x20 - temp4) - 0x01) & memory[temp5:temp5 + 0x20];
                var temp6 = memory[0x40:0x60];
                return memory[temp6:temp6 + (temp5 + 0x20) - temp6];
            }
        } else {
        label_0085:
            var temp7 = var10;
            memory[temp7 + var8:temp7 + var8 + 0x20] = memory[temp7 + var9:temp7 + var9 + 0x20];
            var10 = temp7 + 0x20;

            if (var10 >= var7) { goto label_0094; }
            else { goto label_0085; }
        }
    }

    function func_00CF() returns (var r0) {
        var temp0 = memory[0x40:0x60];
        memory[0x40:0x60] = temp0 + 0x60;
        memory[temp0:temp0 + 0x20] = 0x22;
        memory[temp0 + 0x20:temp0 + 0x20 + 0x20] = 0x425369646573544c567b4976654233336e4c307374346e645930754730744d65;
        memory[temp0 + 0x40:temp0 + 0x40 + 0x20] = 0x217d000000000000000000000000000000000000000000000000000000000000;
        return temp0;
    }
}