// File: theuni[P]libutreexo/crypto/sha256.cpp
// Function: (anonymous namespace)::sha256::Transform(unsigned int*, unsigned char const*, unsigned long)
void Transform(uint32_t* s, const unsigned char* chunk, size_t blocks)
{
    while (blocks--) {
        uint32_t a = s[0], b = s[1], c = s[2], d = s[3], e = s[4], f = s[5], g = s[6], h = s[7];
        uint32_t w0, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10, w11, w12, w13, w14, w15;

        Round(a, b, c, d, e, f, g, h, 0x428a2f98 + (w0 = ReadBE32(chunk + 0)));
        Round(h, a, b, c, d, e, f, g, 0x71374491 + (w1 = ReadBE32(chunk + 4)));
        Round(g, h, a, b, c, d, e, f, 0xb5c0fbcf + (w2 = ReadBE32(chunk + 8)));
        Round(f, g, h, a, b, c, d, e, 0xe9b5dba5 + (w3 = ReadBE32(chunk + 12)));
        Round(e, f, g, h, a, b, c, d, 0x3956c25b + (w4 = ReadBE32(chunk + 16)));
        Round(d, e, f, g, h, a, b, c, 0x59f111f1 + (w5 = ReadBE32(chunk + 20)));
        Round(c, d, e, f, g, h, a, b, 0x923f82a4 + (w6 = ReadBE32(chunk + 24)));
        Round(b, c, d, e, f, g, h, a, 0xab1c5ed5 + (w7 = ReadBE32(chunk + 28)));
        Round(a, b, c, d, e, f, g, h, 0xd807aa98 + (w8 = ReadBE32(chunk + 32)));
        Round(h, a, b, c, d, e, f, g, 0x12835b01 + (w9 = ReadBE32(chunk + 36)));
        Round(g, h, a, b, c, d, e, f, 0x243185be + (w10 = ReadBE32(chunk + 40)));
        Round(f, g, h, a, b, c, d, e, 0x550c7dc3 + (w11 = ReadBE32(chunk + 44)));
        Round(e, f, g, h, a, b, c, d, 0x72be5d74 + (w12 = ReadBE32(chunk + 48)));
        Round(d, e, f, g, h, a, b, c, 0x80deb1fe + (w13 = ReadBE32(chunk + 52)));
        Round(c, d, e, f, g, h, a, b, 0x9bdc06a7 + (w14 = ReadBE32(chunk + 56)));
        Round(b, c, d, e, f, g, h, a, 0xc19bf174 + (w15 = ReadBE32(chunk + 60)));

        Round(a, b, c, d, e, f, g, h, 0xe49b69c1 + (w0 += sigma1(w14) + w9 + sigma0(w1)));
        Round(h, a, b, c, d, e, f, g, 0xefbe4786 + (w1 += sigma1(w15) + w10 + sigma0(w2)));
        Round(g, h, a, b, c, d, e, f, 0x0fc19dc6 + (w2 += sigma1(w0) + w11 + sigma0(w3)));
        Round(f, g, h, a, b, c, d, e, 0x240ca1cc + (w3 += sigma1(w1) + w12 + sigma0(w4)));
        Round(e, f, g, h, a, b, c, d, 0x2de92c6f + (w4 += sigma1(w2) + w13 + sigma0(w5)));
        Round(d, e, f, g, h, a, b, c, 0x4a7484aa + (w5 += sigma1(w3) + w14 + sigma0(w6)));
        Round(c, d, e, f, g, h, a, b, 0x5cb0a9dc + (w6 += sigma1(w4) + w15 + sigma0(w7)));
        Round(b, c, d, e, f, g, h, a, 0x76f988da + (w7 += sigma1(w5) + w0 + sigma0(w8)));
        Round(a, b, c, d, e, f, g, h, 0x983e5152 + (w8 += sigma1(w6) + w1 + sigma0(w9)));
        Round(h, a, b, c, d, e, f, g, 0xa831c66d + (w9 += sigma1(w7) + w2 + sigma0(w10)));
        Round(g, h, a, b, c, d, e, f, 0xb00327c8 + (w10 += sigma1(w8) + w3 + sigma0(w11)));
        Round(f, g, h, a, b, c, d, e, 0xbf597fc7 + (w11 += sigma1(w9) + w4 + sigma0(w12)));
        Round(e, f, g, h, a, b, c, d, 0xc6e00bf3 + (w12 += sigma1(w10) + w5 + sigma0(w13)));
        Round(d, e, f, g, h, a, b, c, 0xd5a79147 + (w13 += sigma1(w11) + w6 + sigma0(w14)));
        Round(c, d, e, f, g, h, a, b, 0x06ca6351 + (w14 += sigma1(w12) + w7 + sigma0(w15)));
        Round(b, c, d, e, f, g, h, a, 0x14292967 + (w15 += sigma1(w13) + w8 + sigma0(w0)));

        Round(a, b, c, d, e, f, g, h, 0x27b70a85 + (w0 += sigma1(w14) + w9 + sigma0(w1)));
        Round(h, a, b, c, d, e, f, g, 0x2e1b2138 + (w1 += sigma1(w15) + w10 + sigma0(w2)));
        Round(g, h, a, b, c, d, e, f, 0x4d2c6dfc + (w2 += sigma1(w0) + w11 + sigma0(w3)));
        Round(f, g, h, a, b, c, d, e, 0x53380d13 + (w3 += sigma1(w1) + w12 + sigma0(w4)));
        Round(e, f, g, h, a, b, c, d, 0x650a7354 + (w4 += sigma1(w2) + w13 + sigma0(w5)));
        Round(d, e, f, g, h, a, b, c, 0x766a0abb + (w5 += sigma1(w3) + w14 + sigma0(w6)));
        Round(c, d, e, f, g, h, a, b, 0x81c2c92e + (w6 += sigma1(w4) + w15 + sigma0(w7)));
        Round(b, c, d, e, f, g, h, a, 0x92722c85 + (w7 += sigma1(w5) + w0 + sigma0(w8)));
        Round(a, b, c, d, e, f, g, h, 0xa2bfe8a1 + (w8 += sigma1(w6) + w1 + sigma0(w9)));
        Round(h, a, b, c, d, e, f, g, 0xa81a664b + (w9 += sigma1(w7) + w2 + sigma0(w10)));
        Round(g, h, a, b, c, d, e, f, 0xc24b8b70 + (w10 += sigma1(w8) + w3 + sigma0(w11)));
        Round(f, g, h, a, b, c, d, e, 0xc76c51a3 + (w11 += sigma1(w9) + w4 + sigma0(w12)));
        Round(e, f, g, h, a, b, c, d, 0xd192e819 + (w12 += sigma1(w10) + w5 + sigma0(w13)));
        Round(d, e, f, g, h, a, b, c, 0xd6990624 + (w13 += sigma1(w11) + w6 + sigma0(w14)));
        Round(c, d, e, f, g, h, a, b, 0xf40e3585 + (w14 += sigma1(w12) + w7 + sigma0(w15)));
        Round(b, c, d, e, f, g, h, a, 0x106aa070 + (w15 += sigma1(w13) + w8 + sigma0(w0)));

        Round(a, b, c, d, e, f, g, h, 0x19a4c116 + (w0 += sigma1(w14) + w9 + sigma0(w1)));
        Round(h, a, b, c, d, e, f, g, 0x1e376c08 + (w1 += sigma1(w15) + w10 + sigma0(w2)));
        Round(g, h, a, b, c, d, e, f, 0x2748774c + (w2 += sigma1(w0) + w11 + sigma0(w3)));
        Round(f, g, h, a, b, c, d, e, 0x34b0bcb5 + (w3 += sigma1(w1) + w12 + sigma0(w4)));
        Round(e, f, g, h, a, b, c, d, 0x391c0cb3 + (w4 += sigma1(w2) + w13 + sigma0(w5)));
        Round(d, e, f, g, h, a, b, c, 0x4ed8aa4a + (w5 += sigma1(w3) + w14 + sigma0(w6)));
        Round(c, d, e, f, g, h, a, b, 0x5b9cca4f + (w6 += sigma1(w4) + w15 + sigma0(w7)));
        Round(b, c, d, e, f, g, h, a, 0x682e6ff3 + (w7 += sigma1(w5) + w0 + sigma0(w8)));
        Round(a, b, c, d, e, f, g, h, 0x748f82ee + (w8 += sigma1(w6) + w1 + sigma0(w9)));
        Round(h, a, b, c, d, e, f, g, 0x78a5636f + (w9 += sigma1(w7) + w2 + sigma0(w10)));
        Round(g, h, a, b, c, d, e, f, 0x84c87814 + (w10 += sigma1(w8) + w3 + sigma0(w11)));
        Round(f, g, h, a, b, c, d, e, 0x8cc70208 + (w11 += sigma1(w9) + w4 + sigma0(w12)));
        Round(e, f, g, h, a, b, c, d, 0x90befffa + (w12 += sigma1(w10) + w5 + sigma0(w13)));
        Round(d, e, f, g, h, a, b, c, 0xa4506ceb + (w13 += sigma1(w11) + w6 + sigma0(w14)));
        Round(c, d, e, f, g, h, a, b, 0xbef9a3f7 + (w14 + sigma1(w12) + w7 + sigma0(w15)));
        Round(b, c, d, e, f, g, h, a, 0xc67178f2 + (w15 + sigma1(w13) + w8 + sigma0(w0)));

        s[0] += a;
        s[1] += b;
        s[2] += c;
        s[3] += d;
        s[4] += e;
        s[5] += f;
        s[6] += g;
        s[7] += h;
        chunk += 64;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x760, %rsp            # imm = 0x760
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, %rcx
addq $-0x1, %rcx
movq %rcx, -0x18(%rbp)
cmpq $0x0, %rax
je 0x4920
movq -0x8(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x1c(%rbp)
movq -0x8(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movl %eax, -0x24(%rbp)
movq -0x8(%rbp), %rax
movl 0xc(%rax), %eax
movl %eax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x2c(%rbp)
movq -0x8(%rbp), %rax
movl 0x14(%rax), %eax
movl %eax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movl 0x18(%rax), %eax
movl %eax, -0x34(%rbp)
movq -0x8(%rbp), %rax
movl 0x1c(%rax), %eax
movl %eax, -0x38(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x740(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x73c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x738(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x734(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x730(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x72c(%rbp)
movq -0x10(%rbp), %rdi
callq 0x49d0
movl -0x740(%rbp), %edi
movl -0x73c(%rbp), %esi
movl -0x738(%rbp), %edx
movl -0x734(%rbp), %r8d
movl -0x730(%rbp), %r9d
movl -0x72c(%rbp), %r11d
movl %eax, -0x3c(%rbp)
addl $0x428a2f98, %eax       # imm = 0x428A2F98
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x728(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x724(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x720(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x71c(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x718(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x714(%rbp)
movq -0x10(%rbp), %rdi
addq $0x4, %rdi
callq 0x49d0
movl -0x728(%rbp), %edi
movl -0x724(%rbp), %esi
movl -0x720(%rbp), %edx
movl -0x71c(%rbp), %r8d
movl -0x718(%rbp), %r9d
movl -0x714(%rbp), %r11d
movl %eax, -0x40(%rbp)
addl $0x71374491, %eax       # imm = 0x71374491
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x710(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x70c(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x708(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x704(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x700(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x6fc(%rbp)
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x49d0
movl -0x710(%rbp), %edi
movl -0x70c(%rbp), %esi
movl -0x708(%rbp), %edx
movl -0x704(%rbp), %r8d
movl -0x700(%rbp), %r9d
movl -0x6fc(%rbp), %r11d
movl %eax, -0x44(%rbp)
addl $0xb5c0fbcf, %eax       # imm = 0xB5C0FBCF
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x6f8(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x6f4(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x6f0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x6ec(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x6e8(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x6e4(%rbp)
movq -0x10(%rbp), %rdi
addq $0xc, %rdi
callq 0x49d0
movl -0x6f8(%rbp), %edi
movl -0x6f4(%rbp), %esi
movl -0x6f0(%rbp), %edx
movl -0x6ec(%rbp), %r8d
movl -0x6e8(%rbp), %r9d
movl -0x6e4(%rbp), %r11d
movl %eax, -0x48(%rbp)
addl $0xe9b5dba5, %eax       # imm = 0xE9B5DBA5
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x6e0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x6dc(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x6d8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x6d4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x6d0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x6cc(%rbp)
movq -0x10(%rbp), %rdi
addq $0x10, %rdi
callq 0x49d0
movl -0x6e0(%rbp), %edi
movl -0x6dc(%rbp), %esi
movl -0x6d8(%rbp), %edx
movl -0x6d4(%rbp), %r8d
movl -0x6d0(%rbp), %r9d
movl -0x6cc(%rbp), %r11d
movl %eax, -0x4c(%rbp)
addl $0x3956c25b, %eax       # imm = 0x3956C25B
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x6c8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x6c4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x6c0(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x6bc(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x6b8(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x6b4(%rbp)
movq -0x10(%rbp), %rdi
addq $0x14, %rdi
callq 0x49d0
movl -0x6c8(%rbp), %edi
movl -0x6c4(%rbp), %esi
movl -0x6c0(%rbp), %edx
movl -0x6bc(%rbp), %r8d
movl -0x6b8(%rbp), %r9d
movl -0x6b4(%rbp), %r11d
movl %eax, -0x50(%rbp)
addl $0x59f111f1, %eax       # imm = 0x59F111F1
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x6b0(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x6ac(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x6a8(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x6a4(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x6a0(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x69c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x18, %rdi
callq 0x49d0
movl -0x6b0(%rbp), %edi
movl -0x6ac(%rbp), %esi
movl -0x6a8(%rbp), %edx
movl -0x6a4(%rbp), %r8d
movl -0x6a0(%rbp), %r9d
movl -0x69c(%rbp), %r11d
movl %eax, -0x54(%rbp)
addl $0x923f82a4, %eax       # imm = 0x923F82A4
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x698(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x694(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x690(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x68c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x688(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x684(%rbp)
movq -0x10(%rbp), %rdi
addq $0x1c, %rdi
callq 0x49d0
movl -0x698(%rbp), %edi
movl -0x694(%rbp), %esi
movl -0x690(%rbp), %edx
movl -0x68c(%rbp), %r8d
movl -0x688(%rbp), %r9d
movl -0x684(%rbp), %r11d
movl %eax, -0x58(%rbp)
addl $0xab1c5ed5, %eax       # imm = 0xAB1C5ED5
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x680(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x67c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x678(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x674(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x670(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x66c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x20, %rdi
callq 0x49d0
movl -0x680(%rbp), %edi
movl -0x67c(%rbp), %esi
movl -0x678(%rbp), %edx
movl -0x674(%rbp), %r8d
movl -0x670(%rbp), %r9d
movl -0x66c(%rbp), %r11d
movl %eax, -0x5c(%rbp)
addl $0xd807aa98, %eax       # imm = 0xD807AA98
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x668(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x664(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x660(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x65c(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x658(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x654(%rbp)
movq -0x10(%rbp), %rdi
addq $0x24, %rdi
callq 0x49d0
movl -0x668(%rbp), %edi
movl -0x664(%rbp), %esi
movl -0x660(%rbp), %edx
movl -0x65c(%rbp), %r8d
movl -0x658(%rbp), %r9d
movl -0x654(%rbp), %r11d
movl %eax, -0x60(%rbp)
addl $0x12835b01, %eax       # imm = 0x12835B01
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x650(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x64c(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x648(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x644(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x640(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x63c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x28, %rdi
callq 0x49d0
movl -0x650(%rbp), %edi
movl -0x64c(%rbp), %esi
movl -0x648(%rbp), %edx
movl -0x644(%rbp), %r8d
movl -0x640(%rbp), %r9d
movl -0x63c(%rbp), %r11d
movl %eax, -0x64(%rbp)
addl $0x243185be, %eax       # imm = 0x243185BE
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x638(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x634(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x630(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x62c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x628(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x624(%rbp)
movq -0x10(%rbp), %rdi
addq $0x2c, %rdi
callq 0x49d0
movl -0x638(%rbp), %edi
movl -0x634(%rbp), %esi
movl -0x630(%rbp), %edx
movl -0x62c(%rbp), %r8d
movl -0x628(%rbp), %r9d
movl -0x624(%rbp), %r11d
movl %eax, -0x68(%rbp)
addl $0x550c7dc3, %eax       # imm = 0x550C7DC3
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x620(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x61c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x618(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x614(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x610(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x60c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x30, %rdi
callq 0x49d0
movl -0x620(%rbp), %edi
movl -0x61c(%rbp), %esi
movl -0x618(%rbp), %edx
movl -0x614(%rbp), %r8d
movl -0x610(%rbp), %r9d
movl -0x60c(%rbp), %r11d
movl %eax, -0x6c(%rbp)
addl $0x72be5d74, %eax       # imm = 0x72BE5D74
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x608(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x604(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x600(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x5fc(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x5f8(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x5f4(%rbp)
movq -0x10(%rbp), %rdi
addq $0x34, %rdi
callq 0x49d0
movl -0x608(%rbp), %edi
movl -0x604(%rbp), %esi
movl -0x600(%rbp), %edx
movl -0x5fc(%rbp), %r8d
movl -0x5f8(%rbp), %r9d
movl -0x5f4(%rbp), %r11d
movl %eax, -0x70(%rbp)
addl $0x80deb1fe, %eax       # imm = 0x80DEB1FE
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x5f0(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x5ec(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x5e8(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x5e4(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x5e0(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x5dc(%rbp)
movq -0x10(%rbp), %rdi
addq $0x38, %rdi
callq 0x49d0
movl -0x5f0(%rbp), %edi
movl -0x5ec(%rbp), %esi
movl -0x5e8(%rbp), %edx
movl -0x5e4(%rbp), %r8d
movl -0x5e0(%rbp), %r9d
movl -0x5dc(%rbp), %r11d
movl %eax, -0x74(%rbp)
addl $0x9bdc06a7, %eax       # imm = 0x9BDC06A7
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x5d8(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x5d4(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x5d0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x5cc(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x5c8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x5c4(%rbp)
movq -0x10(%rbp), %rdi
addq $0x3c, %rdi
callq 0x49d0
movl -0x5d8(%rbp), %edi
movl -0x5d4(%rbp), %esi
movl -0x5d0(%rbp), %edx
movl -0x5cc(%rbp), %r8d
movl -0x5c8(%rbp), %r9d
movl -0x5c4(%rbp), %r11d
movl %eax, -0x78(%rbp)
addl $0xc19bf174, %eax       # imm = 0xC19BF174
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x5c0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x5bc(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x5b8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x5b4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x5b0(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x5ac(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a00
addl -0x60(%rbp), %eax
movl %eax, -0x5a8(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a30
movl -0x5c0(%rbp), %edi
movl -0x5bc(%rbp), %esi
movl -0x5b8(%rbp), %edx
movl -0x5b4(%rbp), %r8d
movl -0x5b0(%rbp), %r9d
movl -0x5ac(%rbp), %r11d
movl %eax, %ecx
movl -0x5a8(%rbp), %eax
addl %ecx, %eax
addl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
addl $0xe49b69c1, %eax       # imm = 0xE49B69C1
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x5a4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x5a0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x59c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x598(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x594(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x590(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a00
addl -0x64(%rbp), %eax
movl %eax, -0x58c(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a30
movl -0x5a4(%rbp), %edi
movl -0x5a0(%rbp), %esi
movl -0x59c(%rbp), %edx
movl -0x598(%rbp), %r8d
movl -0x594(%rbp), %r9d
movl -0x590(%rbp), %r11d
movl %eax, %ecx
movl -0x58c(%rbp), %eax
addl %ecx, %eax
addl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
addl $0xefbe4786, %eax       # imm = 0xEFBE4786
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x588(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x584(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x580(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x57c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x578(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x574(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a00
addl -0x68(%rbp), %eax
movl %eax, -0x570(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a30
movl -0x588(%rbp), %edi
movl -0x584(%rbp), %esi
movl -0x580(%rbp), %edx
movl -0x57c(%rbp), %r8d
movl -0x578(%rbp), %r9d
movl -0x574(%rbp), %r11d
movl %eax, %ecx
movl -0x570(%rbp), %eax
addl %ecx, %eax
addl -0x44(%rbp), %eax
movl %eax, -0x44(%rbp)
addl $0xfc19dc6, %eax        # imm = 0xFC19DC6
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x56c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x568(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x564(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x560(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x55c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x558(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a00
addl -0x6c(%rbp), %eax
movl %eax, -0x554(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a30
movl -0x56c(%rbp), %edi
movl -0x568(%rbp), %esi
movl -0x564(%rbp), %edx
movl -0x560(%rbp), %r8d
movl -0x55c(%rbp), %r9d
movl -0x558(%rbp), %r11d
movl %eax, %ecx
movl -0x554(%rbp), %eax
addl %ecx, %eax
addl -0x48(%rbp), %eax
movl %eax, -0x48(%rbp)
addl $0x240ca1cc, %eax       # imm = 0x240CA1CC
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x550(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x54c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x548(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x544(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x540(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x53c(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a00
addl -0x70(%rbp), %eax
movl %eax, -0x538(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a30
movl -0x550(%rbp), %edi
movl -0x54c(%rbp), %esi
movl -0x548(%rbp), %edx
movl -0x544(%rbp), %r8d
movl -0x540(%rbp), %r9d
movl -0x53c(%rbp), %r11d
movl %eax, %ecx
movl -0x538(%rbp), %eax
addl %ecx, %eax
addl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
addl $0x2de92c6f, %eax       # imm = 0x2DE92C6F
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x534(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x530(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x52c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x528(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x524(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x520(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a00
addl -0x74(%rbp), %eax
movl %eax, -0x51c(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a30
movl -0x534(%rbp), %edi
movl -0x530(%rbp), %esi
movl -0x52c(%rbp), %edx
movl -0x528(%rbp), %r8d
movl -0x524(%rbp), %r9d
movl -0x520(%rbp), %r11d
movl %eax, %ecx
movl -0x51c(%rbp), %eax
addl %ecx, %eax
addl -0x50(%rbp), %eax
movl %eax, -0x50(%rbp)
addl $0x4a7484aa, %eax       # imm = 0x4A7484AA
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x518(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x514(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x510(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x50c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x508(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x504(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a00
addl -0x78(%rbp), %eax
movl %eax, -0x500(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a30
movl -0x518(%rbp), %edi
movl -0x514(%rbp), %esi
movl -0x510(%rbp), %edx
movl -0x50c(%rbp), %r8d
movl -0x508(%rbp), %r9d
movl -0x504(%rbp), %r11d
movl %eax, %ecx
movl -0x500(%rbp), %eax
addl %ecx, %eax
addl -0x54(%rbp), %eax
movl %eax, -0x54(%rbp)
addl $0x5cb0a9dc, %eax       # imm = 0x5CB0A9DC
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x4fc(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x4f8(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x4f4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x4f0(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x4ec(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x4e8(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a00
addl -0x3c(%rbp), %eax
movl %eax, -0x4e4(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a30
movl -0x4fc(%rbp), %edi
movl -0x4f8(%rbp), %esi
movl -0x4f4(%rbp), %edx
movl -0x4f0(%rbp), %r8d
movl -0x4ec(%rbp), %r9d
movl -0x4e8(%rbp), %r11d
movl %eax, %ecx
movl -0x4e4(%rbp), %eax
addl %ecx, %eax
addl -0x58(%rbp), %eax
movl %eax, -0x58(%rbp)
addl $0x76f988da, %eax       # imm = 0x76F988DA
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x4e0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x4dc(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x4d8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x4d4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x4d0(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x4cc(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a00
addl -0x40(%rbp), %eax
movl %eax, -0x4c8(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a30
movl -0x4e0(%rbp), %edi
movl -0x4dc(%rbp), %esi
movl -0x4d8(%rbp), %edx
movl -0x4d4(%rbp), %r8d
movl -0x4d0(%rbp), %r9d
movl -0x4cc(%rbp), %r11d
movl %eax, %ecx
movl -0x4c8(%rbp), %eax
addl %ecx, %eax
addl -0x5c(%rbp), %eax
movl %eax, -0x5c(%rbp)
addl $0x983e5152, %eax       # imm = 0x983E5152
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x4c4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x4c0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x4bc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x4b8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x4b4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x4b0(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a00
addl -0x44(%rbp), %eax
movl %eax, -0x4ac(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a30
movl -0x4c4(%rbp), %edi
movl -0x4c0(%rbp), %esi
movl -0x4bc(%rbp), %edx
movl -0x4b8(%rbp), %r8d
movl -0x4b4(%rbp), %r9d
movl -0x4b0(%rbp), %r11d
movl %eax, %ecx
movl -0x4ac(%rbp), %eax
addl %ecx, %eax
addl -0x60(%rbp), %eax
movl %eax, -0x60(%rbp)
addl $0xa831c66d, %eax       # imm = 0xA831C66D
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x4a8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x4a4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x4a0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x49c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x498(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x494(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a00
addl -0x48(%rbp), %eax
movl %eax, -0x490(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a30
movl -0x4a8(%rbp), %edi
movl -0x4a4(%rbp), %esi
movl -0x4a0(%rbp), %edx
movl -0x49c(%rbp), %r8d
movl -0x498(%rbp), %r9d
movl -0x494(%rbp), %r11d
movl %eax, %ecx
movl -0x490(%rbp), %eax
addl %ecx, %eax
addl -0x64(%rbp), %eax
movl %eax, -0x64(%rbp)
addl $0xb00327c8, %eax       # imm = 0xB00327C8
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x48c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x488(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x484(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x480(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x47c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x478(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a00
addl -0x4c(%rbp), %eax
movl %eax, -0x474(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a30
movl -0x48c(%rbp), %edi
movl -0x488(%rbp), %esi
movl -0x484(%rbp), %edx
movl -0x480(%rbp), %r8d
movl -0x47c(%rbp), %r9d
movl -0x478(%rbp), %r11d
movl %eax, %ecx
movl -0x474(%rbp), %eax
addl %ecx, %eax
addl -0x68(%rbp), %eax
movl %eax, -0x68(%rbp)
addl $0xbf597fc7, %eax       # imm = 0xBF597FC7
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x470(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x46c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x468(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x464(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x460(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x45c(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a00
addl -0x50(%rbp), %eax
movl %eax, -0x458(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a30
movl -0x470(%rbp), %edi
movl -0x46c(%rbp), %esi
movl -0x468(%rbp), %edx
movl -0x464(%rbp), %r8d
movl -0x460(%rbp), %r9d
movl -0x45c(%rbp), %r11d
movl %eax, %ecx
movl -0x458(%rbp), %eax
addl %ecx, %eax
addl -0x6c(%rbp), %eax
movl %eax, -0x6c(%rbp)
addl $0xc6e00bf3, %eax       # imm = 0xC6E00BF3
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x454(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x450(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x44c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x448(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x444(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x440(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a00
addl -0x54(%rbp), %eax
movl %eax, -0x43c(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a30
movl -0x454(%rbp), %edi
movl -0x450(%rbp), %esi
movl -0x44c(%rbp), %edx
movl -0x448(%rbp), %r8d
movl -0x444(%rbp), %r9d
movl -0x440(%rbp), %r11d
movl %eax, %ecx
movl -0x43c(%rbp), %eax
addl %ecx, %eax
addl -0x70(%rbp), %eax
movl %eax, -0x70(%rbp)
addl $0xd5a79147, %eax       # imm = 0xD5A79147
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x438(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x434(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x430(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x42c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x428(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x424(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a00
addl -0x58(%rbp), %eax
movl %eax, -0x420(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a30
movl -0x438(%rbp), %edi
movl -0x434(%rbp), %esi
movl -0x430(%rbp), %edx
movl -0x42c(%rbp), %r8d
movl -0x428(%rbp), %r9d
movl -0x424(%rbp), %r11d
movl %eax, %ecx
movl -0x420(%rbp), %eax
addl %ecx, %eax
addl -0x74(%rbp), %eax
movl %eax, -0x74(%rbp)
addl $0x6ca6351, %eax        # imm = 0x6CA6351
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x41c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x418(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x414(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x410(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x40c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x408(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a00
addl -0x5c(%rbp), %eax
movl %eax, -0x404(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a30
movl -0x41c(%rbp), %edi
movl -0x418(%rbp), %esi
movl -0x414(%rbp), %edx
movl -0x410(%rbp), %r8d
movl -0x40c(%rbp), %r9d
movl -0x408(%rbp), %r11d
movl %eax, %ecx
movl -0x404(%rbp), %eax
addl %ecx, %eax
addl -0x78(%rbp), %eax
movl %eax, -0x78(%rbp)
addl $0x14292967, %eax       # imm = 0x14292967
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x400(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x3fc(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x3f8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x3f4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x3f0(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x3ec(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a00
addl -0x60(%rbp), %eax
movl %eax, -0x3e8(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a30
movl -0x400(%rbp), %edi
movl -0x3fc(%rbp), %esi
movl -0x3f8(%rbp), %edx
movl -0x3f4(%rbp), %r8d
movl -0x3f0(%rbp), %r9d
movl -0x3ec(%rbp), %r11d
movl %eax, %ecx
movl -0x3e8(%rbp), %eax
addl %ecx, %eax
addl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
addl $0x27b70a85, %eax       # imm = 0x27B70A85
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x3e4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x3e0(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x3dc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x3d8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x3d4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x3d0(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a00
addl -0x64(%rbp), %eax
movl %eax, -0x3cc(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a30
movl -0x3e4(%rbp), %edi
movl -0x3e0(%rbp), %esi
movl -0x3dc(%rbp), %edx
movl -0x3d8(%rbp), %r8d
movl -0x3d4(%rbp), %r9d
movl -0x3d0(%rbp), %r11d
movl %eax, %ecx
movl -0x3cc(%rbp), %eax
addl %ecx, %eax
addl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
addl $0x2e1b2138, %eax       # imm = 0x2E1B2138
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x3c8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x3c4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x3c0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x3bc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x3b8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x3b4(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a00
addl -0x68(%rbp), %eax
movl %eax, -0x3b0(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a30
movl -0x3c8(%rbp), %edi
movl -0x3c4(%rbp), %esi
movl -0x3c0(%rbp), %edx
movl -0x3bc(%rbp), %r8d
movl -0x3b8(%rbp), %r9d
movl -0x3b4(%rbp), %r11d
movl %eax, %ecx
movl -0x3b0(%rbp), %eax
addl %ecx, %eax
addl -0x44(%rbp), %eax
movl %eax, -0x44(%rbp)
addl $0x4d2c6dfc, %eax       # imm = 0x4D2C6DFC
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x3ac(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x3a8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x3a4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x3a0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x39c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x398(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a00
addl -0x6c(%rbp), %eax
movl %eax, -0x394(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a30
movl -0x3ac(%rbp), %edi
movl -0x3a8(%rbp), %esi
movl -0x3a4(%rbp), %edx
movl -0x3a0(%rbp), %r8d
movl -0x39c(%rbp), %r9d
movl -0x398(%rbp), %r11d
movl %eax, %ecx
movl -0x394(%rbp), %eax
addl %ecx, %eax
addl -0x48(%rbp), %eax
movl %eax, -0x48(%rbp)
addl $0x53380d13, %eax       # imm = 0x53380D13
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x390(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x38c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x388(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x384(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x380(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x37c(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a00
addl -0x70(%rbp), %eax
movl %eax, -0x378(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a30
movl -0x390(%rbp), %edi
movl -0x38c(%rbp), %esi
movl -0x388(%rbp), %edx
movl -0x384(%rbp), %r8d
movl -0x380(%rbp), %r9d
movl -0x37c(%rbp), %r11d
movl %eax, %ecx
movl -0x378(%rbp), %eax
addl %ecx, %eax
addl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
addl $0x650a7354, %eax       # imm = 0x650A7354
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x374(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x370(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x36c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x368(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x364(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x360(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a00
addl -0x74(%rbp), %eax
movl %eax, -0x35c(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a30
movl -0x374(%rbp), %edi
movl -0x370(%rbp), %esi
movl -0x36c(%rbp), %edx
movl -0x368(%rbp), %r8d
movl -0x364(%rbp), %r9d
movl -0x360(%rbp), %r11d
movl %eax, %ecx
movl -0x35c(%rbp), %eax
addl %ecx, %eax
addl -0x50(%rbp), %eax
movl %eax, -0x50(%rbp)
addl $0x766a0abb, %eax       # imm = 0x766A0ABB
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x358(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x354(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x350(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x34c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x348(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x344(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a00
addl -0x78(%rbp), %eax
movl %eax, -0x340(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a30
movl -0x358(%rbp), %edi
movl -0x354(%rbp), %esi
movl -0x350(%rbp), %edx
movl -0x34c(%rbp), %r8d
movl -0x348(%rbp), %r9d
movl -0x344(%rbp), %r11d
movl %eax, %ecx
movl -0x340(%rbp), %eax
addl %ecx, %eax
addl -0x54(%rbp), %eax
movl %eax, -0x54(%rbp)
addl $0x81c2c92e, %eax       # imm = 0x81C2C92E
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x33c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x338(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x334(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x330(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x32c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x328(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a00
addl -0x3c(%rbp), %eax
movl %eax, -0x324(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a30
movl -0x33c(%rbp), %edi
movl -0x338(%rbp), %esi
movl -0x334(%rbp), %edx
movl -0x330(%rbp), %r8d
movl -0x32c(%rbp), %r9d
movl -0x328(%rbp), %r11d
movl %eax, %ecx
movl -0x324(%rbp), %eax
addl %ecx, %eax
addl -0x58(%rbp), %eax
movl %eax, -0x58(%rbp)
addl $0x92722c85, %eax       # imm = 0x92722C85
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x320(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x31c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x318(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x314(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x310(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x30c(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a00
addl -0x40(%rbp), %eax
movl %eax, -0x308(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a30
movl -0x320(%rbp), %edi
movl -0x31c(%rbp), %esi
movl -0x318(%rbp), %edx
movl -0x314(%rbp), %r8d
movl -0x310(%rbp), %r9d
movl -0x30c(%rbp), %r11d
movl %eax, %ecx
movl -0x308(%rbp), %eax
addl %ecx, %eax
addl -0x5c(%rbp), %eax
movl %eax, -0x5c(%rbp)
addl $0xa2bfe8a1, %eax       # imm = 0xA2BFE8A1
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x304(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x300(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x2fc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x2f8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x2f4(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x2f0(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a00
addl -0x44(%rbp), %eax
movl %eax, -0x2ec(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a30
movl -0x304(%rbp), %edi
movl -0x300(%rbp), %esi
movl -0x2fc(%rbp), %edx
movl -0x2f8(%rbp), %r8d
movl -0x2f4(%rbp), %r9d
movl -0x2f0(%rbp), %r11d
movl %eax, %ecx
movl -0x2ec(%rbp), %eax
addl %ecx, %eax
addl -0x60(%rbp), %eax
movl %eax, -0x60(%rbp)
addl $0xa81a664b, %eax       # imm = 0xA81A664B
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x2e8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x2e4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x2e0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x2dc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x2d8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x2d4(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a00
addl -0x48(%rbp), %eax
movl %eax, -0x2d0(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a30
movl -0x2e8(%rbp), %edi
movl -0x2e4(%rbp), %esi
movl -0x2e0(%rbp), %edx
movl -0x2dc(%rbp), %r8d
movl -0x2d8(%rbp), %r9d
movl -0x2d4(%rbp), %r11d
movl %eax, %ecx
movl -0x2d0(%rbp), %eax
addl %ecx, %eax
addl -0x64(%rbp), %eax
movl %eax, -0x64(%rbp)
addl $0xc24b8b70, %eax       # imm = 0xC24B8B70
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x2cc(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x2c8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x2c4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x2c0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x2bc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x2b8(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a00
addl -0x4c(%rbp), %eax
movl %eax, -0x2b4(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a30
movl -0x2cc(%rbp), %edi
movl -0x2c8(%rbp), %esi
movl -0x2c4(%rbp), %edx
movl -0x2c0(%rbp), %r8d
movl -0x2bc(%rbp), %r9d
movl -0x2b8(%rbp), %r11d
movl %eax, %ecx
movl -0x2b4(%rbp), %eax
addl %ecx, %eax
addl -0x68(%rbp), %eax
movl %eax, -0x68(%rbp)
addl $0xc76c51a3, %eax       # imm = 0xC76C51A3
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x2b0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x2ac(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x2a8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x2a4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x2a0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x29c(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a00
addl -0x50(%rbp), %eax
movl %eax, -0x298(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a30
movl -0x2b0(%rbp), %edi
movl -0x2ac(%rbp), %esi
movl -0x2a8(%rbp), %edx
movl -0x2a4(%rbp), %r8d
movl -0x2a0(%rbp), %r9d
movl -0x29c(%rbp), %r11d
movl %eax, %ecx
movl -0x298(%rbp), %eax
addl %ecx, %eax
addl -0x6c(%rbp), %eax
movl %eax, -0x6c(%rbp)
addl $0xd192e819, %eax       # imm = 0xD192E819
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x294(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x290(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x28c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x288(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x284(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x280(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a00
addl -0x54(%rbp), %eax
movl %eax, -0x27c(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a30
movl -0x294(%rbp), %edi
movl -0x290(%rbp), %esi
movl -0x28c(%rbp), %edx
movl -0x288(%rbp), %r8d
movl -0x284(%rbp), %r9d
movl -0x280(%rbp), %r11d
movl %eax, %ecx
movl -0x27c(%rbp), %eax
addl %ecx, %eax
addl -0x70(%rbp), %eax
movl %eax, -0x70(%rbp)
addl $0xd6990624, %eax       # imm = 0xD6990624
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x278(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x274(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x270(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x26c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x268(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x264(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a00
addl -0x58(%rbp), %eax
movl %eax, -0x260(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a30
movl -0x278(%rbp), %edi
movl -0x274(%rbp), %esi
movl -0x270(%rbp), %edx
movl -0x26c(%rbp), %r8d
movl -0x268(%rbp), %r9d
movl -0x264(%rbp), %r11d
movl %eax, %ecx
movl -0x260(%rbp), %eax
addl %ecx, %eax
addl -0x74(%rbp), %eax
movl %eax, -0x74(%rbp)
addl $0xf40e3585, %eax       # imm = 0xF40E3585
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x25c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x258(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x254(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x250(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x24c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x248(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a00
addl -0x5c(%rbp), %eax
movl %eax, -0x244(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a30
movl -0x25c(%rbp), %edi
movl -0x258(%rbp), %esi
movl -0x254(%rbp), %edx
movl -0x250(%rbp), %r8d
movl -0x24c(%rbp), %r9d
movl -0x248(%rbp), %r11d
movl %eax, %ecx
movl -0x244(%rbp), %eax
addl %ecx, %eax
addl -0x78(%rbp), %eax
movl %eax, -0x78(%rbp)
addl $0x106aa070, %eax       # imm = 0x106AA070
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x240(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x23c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x238(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x234(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x230(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x22c(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a00
addl -0x60(%rbp), %eax
movl %eax, -0x228(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a30
movl -0x240(%rbp), %edi
movl -0x23c(%rbp), %esi
movl -0x238(%rbp), %edx
movl -0x234(%rbp), %r8d
movl -0x230(%rbp), %r9d
movl -0x22c(%rbp), %r11d
movl %eax, %ecx
movl -0x228(%rbp), %eax
addl %ecx, %eax
addl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
addl $0x19a4c116, %eax       # imm = 0x19A4C116
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x224(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x220(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x21c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x218(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x214(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x210(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a00
addl -0x64(%rbp), %eax
movl %eax, -0x20c(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a30
movl -0x224(%rbp), %edi
movl -0x220(%rbp), %esi
movl -0x21c(%rbp), %edx
movl -0x218(%rbp), %r8d
movl -0x214(%rbp), %r9d
movl -0x210(%rbp), %r11d
movl %eax, %ecx
movl -0x20c(%rbp), %eax
addl %ecx, %eax
addl -0x40(%rbp), %eax
movl %eax, -0x40(%rbp)
addl $0x1e376c08, %eax       # imm = 0x1E376C08
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x208(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x204(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x200(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x1fc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x1f8(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x1f4(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a00
addl -0x68(%rbp), %eax
movl %eax, -0x1f0(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a30
movl -0x208(%rbp), %edi
movl -0x204(%rbp), %esi
movl -0x200(%rbp), %edx
movl -0x1fc(%rbp), %r8d
movl -0x1f8(%rbp), %r9d
movl -0x1f4(%rbp), %r11d
movl %eax, %ecx
movl -0x1f0(%rbp), %eax
addl %ecx, %eax
addl -0x44(%rbp), %eax
movl %eax, -0x44(%rbp)
addl $0x2748774c, %eax       # imm = 0x2748774C
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x1ec(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x1e8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x1e4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x1e0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x1dc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x1d8(%rbp)
movl -0x40(%rbp), %edi
callq 0x4a00
addl -0x6c(%rbp), %eax
movl %eax, -0x1d4(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a30
movl -0x1ec(%rbp), %edi
movl -0x1e8(%rbp), %esi
movl -0x1e4(%rbp), %edx
movl -0x1e0(%rbp), %r8d
movl -0x1dc(%rbp), %r9d
movl -0x1d8(%rbp), %r11d
movl %eax, %ecx
movl -0x1d4(%rbp), %eax
addl %ecx, %eax
addl -0x48(%rbp), %eax
movl %eax, -0x48(%rbp)
addl $0x34b0bcb5, %eax       # imm = 0x34B0BCB5
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0x1d0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x1cc(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x1c8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x1c4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x1c0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x1bc(%rbp)
movl -0x44(%rbp), %edi
callq 0x4a00
addl -0x70(%rbp), %eax
movl %eax, -0x1b8(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a30
movl -0x1d0(%rbp), %edi
movl -0x1cc(%rbp), %esi
movl -0x1c8(%rbp), %edx
movl -0x1c4(%rbp), %r8d
movl -0x1c0(%rbp), %r9d
movl -0x1bc(%rbp), %r11d
movl %eax, %ecx
movl -0x1b8(%rbp), %eax
addl %ecx, %eax
addl -0x4c(%rbp), %eax
movl %eax, -0x4c(%rbp)
addl $0x391c0cb3, %eax       # imm = 0x391C0CB3
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0x1b4(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x1b0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x1ac(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x1a8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x1a4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x1a0(%rbp)
movl -0x48(%rbp), %edi
callq 0x4a00
addl -0x74(%rbp), %eax
movl %eax, -0x19c(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a30
movl -0x1b4(%rbp), %edi
movl -0x1b0(%rbp), %esi
movl -0x1ac(%rbp), %edx
movl -0x1a8(%rbp), %r8d
movl -0x1a4(%rbp), %r9d
movl -0x1a0(%rbp), %r11d
movl %eax, %ecx
movl -0x19c(%rbp), %eax
addl %ecx, %eax
addl -0x50(%rbp), %eax
movl %eax, -0x50(%rbp)
addl $0x4ed8aa4a, %eax       # imm = 0x4ED8AA4A
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0x198(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x194(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x190(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x18c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x188(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x184(%rbp)
movl -0x4c(%rbp), %edi
callq 0x4a00
addl -0x78(%rbp), %eax
movl %eax, -0x180(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a30
movl -0x198(%rbp), %edi
movl -0x194(%rbp), %esi
movl -0x190(%rbp), %edx
movl -0x18c(%rbp), %r8d
movl -0x188(%rbp), %r9d
movl -0x184(%rbp), %r11d
movl %eax, %ecx
movl -0x180(%rbp), %eax
addl %ecx, %eax
addl -0x54(%rbp), %eax
movl %eax, -0x54(%rbp)
addl $0x5b9cca4f, %eax       # imm = 0x5B9CCA4F
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x17c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x178(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x174(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x170(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x16c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x168(%rbp)
movl -0x50(%rbp), %edi
callq 0x4a00
addl -0x3c(%rbp), %eax
movl %eax, -0x164(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a30
movl -0x17c(%rbp), %edi
movl -0x178(%rbp), %esi
movl -0x174(%rbp), %edx
movl -0x170(%rbp), %r8d
movl -0x16c(%rbp), %r9d
movl -0x168(%rbp), %r11d
movl %eax, %ecx
movl -0x164(%rbp), %eax
addl %ecx, %eax
addl -0x58(%rbp), %eax
movl %eax, -0x58(%rbp)
addl $0x682e6ff3, %eax       # imm = 0x682E6FF3
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %eax
movl %eax, -0x160(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x15c(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x158(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x154(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x150(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x14c(%rbp)
movl -0x54(%rbp), %edi
callq 0x4a00
addl -0x40(%rbp), %eax
movl %eax, -0x148(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a30
movl -0x160(%rbp), %edi
movl -0x15c(%rbp), %esi
movl -0x158(%rbp), %edx
movl -0x154(%rbp), %r8d
movl -0x150(%rbp), %r9d
movl -0x14c(%rbp), %r11d
movl %eax, %ecx
movl -0x148(%rbp), %eax
addl %ecx, %eax
addl -0x5c(%rbp), %eax
movl %eax, -0x5c(%rbp)
addl $0x748f82ee, %eax       # imm = 0x748F82EE
leaq -0x28(%rbp), %rcx
leaq -0x38(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x38(%rbp), %eax
movl %eax, -0x144(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x140(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x13c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x138(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x130(%rbp)
movl -0x58(%rbp), %edi
callq 0x4a00
addl -0x44(%rbp), %eax
movl %eax, -0x12c(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a30
movl -0x144(%rbp), %edi
movl -0x140(%rbp), %esi
movl -0x13c(%rbp), %edx
movl -0x138(%rbp), %r8d
movl -0x134(%rbp), %r9d
movl -0x130(%rbp), %r11d
movl %eax, %ecx
movl -0x12c(%rbp), %eax
addl %ecx, %eax
addl -0x60(%rbp), %eax
movl %eax, -0x60(%rbp)
addl $0x78a5636f, %eax       # imm = 0x78A5636F
leaq -0x24(%rbp), %rcx
leaq -0x34(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x34(%rbp), %eax
movl %eax, -0x128(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x124(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x120(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x11c(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x118(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x114(%rbp)
movl -0x5c(%rbp), %edi
callq 0x4a00
addl -0x48(%rbp), %eax
movl %eax, -0x110(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a30
movl -0x128(%rbp), %edi
movl -0x124(%rbp), %esi
movl -0x120(%rbp), %edx
movl -0x11c(%rbp), %r8d
movl -0x118(%rbp), %r9d
movl -0x114(%rbp), %r11d
movl %eax, %ecx
movl -0x110(%rbp), %eax
addl %ecx, %eax
addl -0x64(%rbp), %eax
movl %eax, -0x64(%rbp)
addl $0x84c87814, %eax       # imm = 0x84C87814
leaq -0x20(%rbp), %rcx
leaq -0x30(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x30(%rbp), %eax
movl %eax, -0x10c(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x108(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x104(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x100(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0xfc(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0xf8(%rbp)
movl -0x60(%rbp), %edi
callq 0x4a00
addl -0x4c(%rbp), %eax
movl %eax, -0xf4(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a30
movl -0x10c(%rbp), %edi
movl -0x108(%rbp), %esi
movl -0x104(%rbp), %edx
movl -0x100(%rbp), %r8d
movl -0xfc(%rbp), %r9d
movl -0xf8(%rbp), %r11d
movl %eax, %ecx
movl -0xf4(%rbp), %eax
addl %ecx, %eax
addl -0x68(%rbp), %eax
movl %eax, -0x68(%rbp)
addl $0x8cc70208, %eax       # imm = 0x8CC70208
leaq -0x1c(%rbp), %rcx
leaq -0x2c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x2c(%rbp), %eax
movl %eax, -0xf0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0xec(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0xe8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0xe4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0xe0(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0xdc(%rbp)
movl -0x64(%rbp), %edi
callq 0x4a00
addl -0x50(%rbp), %eax
movl %eax, -0xd8(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a30
movl -0xf0(%rbp), %edi
movl -0xec(%rbp), %esi
movl -0xe8(%rbp), %edx
movl -0xe4(%rbp), %r8d
movl -0xe0(%rbp), %r9d
movl -0xdc(%rbp), %r11d
movl %eax, %ecx
movl -0xd8(%rbp), %eax
addl %ecx, %eax
addl -0x6c(%rbp), %eax
movl %eax, -0x6c(%rbp)
addl $0x90befffa, %eax       # imm = 0x90BEFFFA
leaq -0x38(%rbp), %rcx
leaq -0x28(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x28(%rbp), %eax
movl %eax, -0xd4(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0xd0(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0xcc(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0xc8(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0xc4(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0xc0(%rbp)
movl -0x68(%rbp), %edi
callq 0x4a00
addl -0x54(%rbp), %eax
movl %eax, -0xbc(%rbp)
movl -0x74(%rbp), %edi
callq 0x4a30
movl -0xd4(%rbp), %edi
movl -0xd0(%rbp), %esi
movl -0xcc(%rbp), %edx
movl -0xc8(%rbp), %r8d
movl -0xc4(%rbp), %r9d
movl -0xc0(%rbp), %r11d
movl %eax, %ecx
movl -0xbc(%rbp), %eax
addl %ecx, %eax
addl -0x70(%rbp), %eax
movl %eax, -0x70(%rbp)
addl $0xa4506ceb, %eax       # imm = 0xA4506CEB
leaq -0x34(%rbp), %rcx
leaq -0x24(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x24(%rbp), %eax
movl %eax, -0xb4(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0xb0(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0xac(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0xa8(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0xa4(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0xa0(%rbp)
movl -0x74(%rbp), %eax
movl %eax, -0xb8(%rbp)
movl -0x6c(%rbp), %edi
callq 0x4a00
movl %eax, %ecx
movl -0xb8(%rbp), %eax
addl %ecx, %eax
addl -0x58(%rbp), %eax
movl %eax, -0x9c(%rbp)
movl -0x78(%rbp), %edi
callq 0x4a30
movl -0xb4(%rbp), %edi
movl -0xb0(%rbp), %esi
movl -0xac(%rbp), %edx
movl -0xa8(%rbp), %r8d
movl -0xa4(%rbp), %r9d
movl -0xa0(%rbp), %r11d
movl %eax, %ecx
movl -0x9c(%rbp), %eax
addl %ecx, %eax
addl $0xbef9a3f7, %eax       # imm = 0xBEF9A3F7
leaq -0x30(%rbp), %rcx
leaq -0x20(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x20(%rbp), %eax
movl %eax, -0x94(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x90(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x8c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x88(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x84(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x80(%rbp)
movl -0x78(%rbp), %eax
movl %eax, -0x98(%rbp)
movl -0x70(%rbp), %edi
callq 0x4a00
movl %eax, %ecx
movl -0x98(%rbp), %eax
addl %ecx, %eax
addl -0x5c(%rbp), %eax
movl %eax, -0x7c(%rbp)
movl -0x3c(%rbp), %edi
callq 0x4a30
movl -0x94(%rbp), %edi
movl -0x90(%rbp), %esi
movl -0x8c(%rbp), %edx
movl -0x88(%rbp), %r8d
movl -0x84(%rbp), %r9d
movl -0x80(%rbp), %r11d
movl %eax, %ecx
movl -0x7c(%rbp), %eax
addl %ecx, %eax
addl $0xc67178f2, %eax       # imm = 0xC67178F2
leaq -0x2c(%rbp), %rcx
leaq -0x1c(%rbp), %r10
movl %r11d, (%rsp)
movq %r10, 0x8(%rsp)
movl %eax, 0x10(%rsp)
callq 0x4930
movl -0x1c(%rbp), %ecx
movq -0x8(%rbp), %rax
addl (%rax), %ecx
movl %ecx, (%rax)
movl -0x20(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x4(%rax), %ecx
movl %ecx, 0x4(%rax)
movl -0x24(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x8(%rax), %ecx
movl %ecx, 0x8(%rax)
movl -0x28(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0xc(%rax), %ecx
movl %ecx, 0xc(%rax)
movl -0x2c(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x10(%rax), %ecx
movl %ecx, 0x10(%rax)
movl -0x30(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x14(%rax), %ecx
movl %ecx, 0x14(%rax)
movl -0x34(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x18(%rax), %ecx
movl %ecx, 0x18(%rax)
movl -0x38(%rbp), %ecx
movq -0x8(%rbp), %rax
addl 0x1c(%rax), %ecx
movl %ecx, 0x1c(%rax)
movq -0x10(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x10(%rbp)
jmp 0x2087
addq $0x760, %rsp            # imm = 0x760
popq %rbp
retq
nopl (%rax)