// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes128poetv2aes128ni/ref/poet.c
// Function: decrypt_final
int decrypt_final(poet_ctx_t *ctx,
                  const unsigned char *ciphertext,
                  unsigned long long clen,
                  const unsigned char tag[TAGLEN],
                  unsigned char *plaintext, 
                  unsigned long long* plen)
{
    __m128i x = ctx->x;
    __m128i y = aes_encrypt(ctx->y, ctx->aes_axu);
    __m128i z;
    const uint64_t plaintext_len = clen;

    if (plen) {
        *plen = clen;
    }
    
    if (clen >= BLOCKLEN) {
        z = loadu(ciphertext);
        y = vxor(y, z);
        z = y;
        xor_3blocks(x, y, z, ctx->aes_axu[0], ctx->aes_axu[0], ctx->aes_dec[0]);
        ciphertext += BLOCKLEN;
    }

    __m128i tmp_x;
    __m128i tmp_z;
    __m128i tmp_y;

    while (clen > 2*BLOCKLEN) {
        aes_decrypt_3blocks(x, y, z, ctx->aes_dec, ctx->aes_axu, plaintext, ciphertext, tmp_x, tmp_y, tmp_z);
        plaintext += BLOCKLEN;
        ciphertext += BLOCKLEN;
        clen -= BLOCKLEN;
    }
    
    __m128i s = aes_encrypt(encode_length(plaintext_len), ctx->aes_enc);
    const __m128i t = loadu(tag);
    
    if (clen == 0) { // Empty ciphertext
        z = vxor(y, t);
        z = vxor(z, s);
        aes_decrypt_2blocks(x, z, ctx->aes_axu, ctx->aes_dec);
        x = vxor(x, s);
        z = vxor(z, ctx->tau);
        return _mm_testc_si128(z, x) - 1;
    } else if (clen == BLOCKLEN) { // No tag splitting
        z = vxor(z, s);
        y = vxor(y, s);
        aes_decrypt_3blocks_no_whitening(x, y, z, ctx->aes_dec, ctx->aes_axu);
        storeu(plaintext, vxor3(z, x, s));

        // Generate tag
        x = z;
        z = vxor3(y, ctx->tau, t);
        aes_decrypt_2blocks(x, z, ctx->aes_axu, ctx->aes_dec);
        z = vxor(z, ctx->tau);
        return _mm_testc_si128(z, x) - 1;
    } else { // Tag splitting
        if (clen > BLOCKLEN) {
            aes_decrypt_3blocks_no_whitening(x, y, z, ctx->aes_dec, ctx->aes_axu);

            storeu(plaintext, vxor(z, x));
            plaintext += BLOCKLEN;
            clen -= BLOCKLEN;
            x = z;
        }

        z = zero_pad(load_n_bytes(ciphertext, clen), BLOCKLEN - clen);
        z = vxor3(y, s, vor(z, shift_left(t, clen)));
        y = z;

        xor_3blocks(x, y, z, ctx->aes_axu[0], ctx->aes_axu[0], ctx->aes_dec[0]);
        aes_decrypt_3blocks_no_whitening(x, y, z, ctx->aes_dec, ctx->aes_axu);

        tmp_z = vxor3(z, s, x);
        store_partial_left(plaintext, tmp_z, clen);

        // p = P_L || T^{alpha}
        // z = M_L || tau^{alpha}
        __m128i tmp = shift_right(tmp_z, clen);
        __m128i tau_alpha = zero_pad(ctx->tau, clen);
        int alpha = _mm_testc_si128(tau_alpha, tmp);

        // Generate tag
        x = z; 
        z = ctx->tau;
        encrypt_tag_block(x, y, z, ctx->aes_enc, ctx->aes_axu);
        z = vxor3(z, y, ctx->tau);

        // t = T^{alpha} || T^{beta}
        // z = T^{beta}  || Z
        __m128i t_beta = shift_right(t, BLOCKLEN - clen);
        tmp = zero_pad(z, BLOCKLEN - clen);
        int beta = _mm_testc_si128(t_beta, tmp);

        return alpha + beta - 2;
    }
}

// Assembly:
subq $0x1a98, %rsp           # imm = 0x1A98
movq %rdi, 0x140(%rsp)
movq %rsi, 0x138(%rsp)
movq %rdx, 0x130(%rsp)
movq %rcx, 0x128(%rsp)
movq %r8, 0x120(%rsp)
movq %r9, 0x118(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x220(%rax), %xmm0
vmovdqa %xmm0, 0x100(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x230(%rax), %xmm0
movq 0x140(%rsp), %rdi
addq $0x160, %rdi            # imm = 0x160
callq 0x21e0
vmovdqa %xmm0, 0xf0(%rsp)
movq 0x130(%rsp), %rax
movq %rax, 0xd8(%rsp)
cmpq $0x0, 0x118(%rsp)
je 0x7dcb
movq 0x130(%rsp), %rcx
movq 0x118(%rsp), %rax
movq %rcx, (%rax)
cmpq $0x10, 0x130(%rsp)
jb 0x7f27
movq 0x138(%rsp), %rdi
callq 0x2f50
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0x5e0(%rsp)
vmovdqa %xmm0, 0x5d0(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vpxor 0x5d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xf0(%rsp), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x5c0(%rsp)
vmovdqa %xmm0, 0x5b0(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
vpxor 0x5b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x5a0(%rsp)
vmovdqa %xmm0, 0x590(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
vpxor 0x590(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xb0(%rax), %xmm0
vmovdqa %xmm1, 0x580(%rsp)
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x580(%rsp), %xmm0
vpxor 0x570(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x138(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x138(%rsp)
jmp 0x7f29
cmpq $0x20, 0x130(%rsp)
jbe 0x8a21
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0x1120(%rsp)
vmovdqa %xmm0, 0x1110(%rsp)
vmovdqa 0x1120(%rsp), %xmm0
vmovdqa 0x1110(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0x1100(%rsp)
vmovdqa %xmm0, 0x10f0(%rsp)
vmovdqa 0x1100(%rsp), %xmm0
vmovdqa 0x10f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x1940(%rsp)
vmovdqa %xmm0, 0x1930(%rsp)
vmovdqa 0x1940(%rsp), %xmm0
vmovdqa 0x1930(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0x10e0(%rsp)
vmovdqa %xmm0, 0x10d0(%rsp)
vmovdqa 0x10e0(%rsp), %xmm0
vmovdqa 0x10d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0x10c0(%rsp)
vmovdqa %xmm0, 0x10b0(%rsp)
vmovdqa 0x10c0(%rsp), %xmm0
vmovdqa 0x10b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x1920(%rsp)
vmovdqa %xmm0, 0x1910(%rsp)
vmovdqa 0x1920(%rsp), %xmm0
vmovdqa 0x1910(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x10a0(%rsp)
vmovdqa %xmm0, 0x1090(%rsp)
vmovdqa 0x10a0(%rsp), %xmm0
vmovdqa 0x1090(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x1080(%rsp)
vmovdqa %xmm0, 0x1070(%rsp)
vmovdqa 0x1080(%rsp), %xmm0
vmovdqa 0x1070(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x1900(%rsp)
vmovdqa %xmm0, 0x18f0(%rsp)
vmovdqa 0x1900(%rsp), %xmm0
vmovdqa 0x18f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x1060(%rsp)
vmovdqa %xmm0, 0x1050(%rsp)
vmovdqa 0x1060(%rsp), %xmm0
vmovdqa 0x1050(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x1040(%rsp)
vmovdqa %xmm0, 0x1030(%rsp)
vmovdqa 0x1040(%rsp), %xmm0
vmovdqa 0x1030(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x18e0(%rsp)
vmovdqa %xmm0, 0x18d0(%rsp)
vmovdqa 0x18e0(%rsp), %xmm0
vmovdqa 0x18d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x1020(%rsp)
vmovdqa %xmm0, 0x1010(%rsp)
vmovdqa 0x1020(%rsp), %xmm0
vmovdqa 0x1010(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x1000(%rsp)
vmovdqa %xmm0, 0xff0(%rsp)
vmovdqa 0x1000(%rsp), %xmm0
vmovdqa 0xff0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x18c0(%rsp)
vmovdqa %xmm0, 0x18b0(%rsp)
vmovdqa 0x18c0(%rsp), %xmm0
vmovdqa 0x18b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xfe0(%rsp)
vmovdqa %xmm0, 0xfd0(%rsp)
vmovdqa 0xfe0(%rsp), %xmm0
vmovdqa 0xfd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xfc0(%rsp)
vmovdqa %xmm0, 0xfb0(%rsp)
vmovdqa 0xfc0(%rsp), %xmm0
vmovdqa 0xfb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x18a0(%rsp)
vmovdqa %xmm0, 0x1890(%rsp)
vmovdqa 0x18a0(%rsp), %xmm0
vmovdqa 0x1890(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xfa0(%rsp)
vmovdqa %xmm0, 0xf90(%rsp)
vmovdqa 0xfa0(%rsp), %xmm0
vmovdqa 0xf90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xf80(%rsp)
vmovdqa %xmm0, 0xf70(%rsp)
vmovdqa 0xf80(%rsp), %xmm0
vmovdqa 0xf70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x1880(%rsp)
vmovdqa %xmm0, 0x1870(%rsp)
vmovdqa 0x1880(%rsp), %xmm0
vmovdqa 0x1870(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xf60(%rsp)
vmovdqa %xmm0, 0xf50(%rsp)
vmovdqa 0xf60(%rsp), %xmm0
vmovdqa 0xf50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xf40(%rsp)
vmovdqa %xmm0, 0xf30(%rsp)
vmovdqa 0xf40(%rsp), %xmm0
vmovdqa 0xf30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x1860(%rsp)
vmovdqa %xmm0, 0x1850(%rsp)
vmovdqa 0x1860(%rsp), %xmm0
vmovdqa 0x1850(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x560(%rsp)
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x560(%rsp), %xmm0
vpxor 0x550(%rsp), %xmm0, %xmm0
vmovaps %xmm0, 0x20(%rsp)
movq 0x138(%rsp), %rdi
callq 0x2f50
vmovaps 0x20(%rsp), %xmm1
vmovdqa %xmm1, 0x540(%rsp)
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x540(%rsp), %xmm0
vpxor 0x530(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x520(%rsp)
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x520(%rsp), %xmm0
vpxor 0x510(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x500(%rsp)
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x500(%rsp), %xmm0
vpxor 0x4f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xf20(%rsp)
vmovdqa %xmm0, 0xf10(%rsp)
vmovdqa 0xf20(%rsp), %xmm0
vmovdqa 0xf10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xf00(%rsp)
vmovdqa %xmm0, 0xef0(%rsp)
vmovdqa 0xf00(%rsp), %xmm0
vmovdqa 0xef0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x1840(%rsp)
vmovdqa %xmm0, 0x1830(%rsp)
vmovdqa 0x1840(%rsp), %xmm0
vmovdqa 0x1830(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x1260(%rsp)
vmovdqa %xmm0, 0x1250(%rsp)
vmovdqa 0x1260(%rsp), %xmm0
vmovdqa 0x1250(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x1240(%rsp)
vmovdqa %xmm0, 0x1230(%rsp)
vmovdqa 0x1240(%rsp), %xmm0
vmovdqa 0x1230(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0x1a00(%rsp)
vmovdqa %xmm0, 0x19f0(%rsp)
vmovdqa 0x1a00(%rsp), %xmm0
vmovdqa 0x19f0(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x120(%rsp), %rdi
vmovdqa 0x100(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0x4e0(%rsp)
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4e0(%rsp), %xmm0
vpxor 0x4d0(%rsp), %xmm0, %xmm0
callq 0x79a0
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xb0(%rax), %xmm0
vmovdqa %xmm1, 0x4c0(%rsp)
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4c0(%rsp), %xmm0
vpxor 0x4b0(%rsp), %xmm0, %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x4a0(%rsp)
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x4a0(%rsp), %xmm0
vpxor 0x490(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x120(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x120(%rsp)
movq 0x138(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x138(%rsp)
movq 0x130(%rsp), %rax
subq $0x10, %rax
movq %rax, 0x130(%rsp)
jmp 0x7f29
movq 0xd8(%rsp), %rdi
callq 0x79e0
movq 0x140(%rsp), %rdi
callq 0x21e0
vmovdqa %xmm0, 0x90(%rsp)
movq 0x128(%rsp), %rdi
callq 0x2f50
vmovdqa %xmm0, 0x80(%rsp)
cmpq $0x0, 0x130(%rsp)
jne 0x9224
vmovdqa 0xf0(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x480(%rsp)
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x480(%rsp), %xmm0
vpxor 0x470(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x460(%rsp)
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x460(%rsp), %xmm0
vpxor 0x450(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x440(%rsp)
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x440(%rsp), %xmm0
vpxor 0x430(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xb0(%rax), %xmm0
vmovdqa %xmm1, 0x420(%rsp)
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x420(%rsp), %xmm0
vpxor 0x410(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xee0(%rsp)
vmovdqa %xmm0, 0xed0(%rsp)
vmovdqa 0xee0(%rsp), %xmm0
vmovdqa 0xed0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x1820(%rsp)
vmovdqa %xmm0, 0x1810(%rsp)
vmovdqa 0x1820(%rsp), %xmm0
vmovdqa 0x1810(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xec0(%rsp)
vmovdqa %xmm0, 0xeb0(%rsp)
vmovdqa 0xec0(%rsp), %xmm0
vmovdqa 0xeb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x1800(%rsp)
vmovdqa %xmm0, 0x17f0(%rsp)
vmovdqa 0x1800(%rsp), %xmm0
vmovdqa 0x17f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0xea0(%rsp)
vmovdqa %xmm0, 0xe90(%rsp)
vmovdqa 0xea0(%rsp), %xmm0
vmovdqa 0xe90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x17e0(%rsp)
vmovdqa %xmm0, 0x17d0(%rsp)
vmovdqa 0x17e0(%rsp), %xmm0
vmovdqa 0x17d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0xe80(%rsp)
vmovdqa %xmm0, 0xe70(%rsp)
vmovdqa 0xe80(%rsp), %xmm0
vmovdqa 0xe70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x17c0(%rsp)
vmovdqa %xmm0, 0x17b0(%rsp)
vmovdqa 0x17c0(%rsp), %xmm0
vmovdqa 0x17b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0xe60(%rsp)
vmovdqa %xmm0, 0xe50(%rsp)
vmovdqa 0xe60(%rsp), %xmm0
vmovdqa 0xe50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x17a0(%rsp)
vmovdqa %xmm0, 0x1790(%rsp)
vmovdqa 0x17a0(%rsp), %xmm0
vmovdqa 0x1790(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xe40(%rsp)
vmovdqa %xmm0, 0xe30(%rsp)
vmovdqa 0xe40(%rsp), %xmm0
vmovdqa 0xe30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x1780(%rsp)
vmovdqa %xmm0, 0x1770(%rsp)
vmovdqa 0x1780(%rsp), %xmm0
vmovdqa 0x1770(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xe20(%rsp)
vmovdqa %xmm0, 0xe10(%rsp)
vmovdqa 0xe20(%rsp), %xmm0
vmovdqa 0xe10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x1760(%rsp)
vmovdqa %xmm0, 0x1750(%rsp)
vmovdqa 0x1760(%rsp), %xmm0
vmovdqa 0x1750(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xe00(%rsp)
vmovdqa %xmm0, 0xdf0(%rsp)
vmovdqa 0xe00(%rsp), %xmm0
vmovdqa 0xdf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x1740(%rsp)
vmovdqa %xmm0, 0x1730(%rsp)
vmovdqa 0x1740(%rsp), %xmm0
vmovdqa 0x1730(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xde0(%rsp)
vmovdqa %xmm0, 0xdd0(%rsp)
vmovdqa 0xde0(%rsp), %xmm0
vmovdqa 0xdd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x1720(%rsp)
vmovdqa %xmm0, 0x1710(%rsp)
vmovdqa 0x1720(%rsp), %xmm0
vmovdqa 0x1710(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x1220(%rsp)
vmovdqa %xmm0, 0x1210(%rsp)
vmovdqa 0x1220(%rsp), %xmm0
vmovdqa 0x1210(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm0
vmovdqa %xmm1, 0x19e0(%rsp)
vmovdqa %xmm0, 0x19d0(%rsp)
vmovdqa 0x19e0(%rsp), %xmm0
vmovdqa 0x19d0(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x400(%rsp)
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x400(%rsp), %xmm0
vpxor 0x3f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
vmovdqa %xmm1, 0x3e0(%rsp)
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3e0(%rsp), %xmm0
vpxor 0x3d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x1a80(%rsp)
vmovdqa %xmm0, 0x1a70(%rsp)
vmovdqa 0x1a80(%rsp), %xmm0
vmovdqa 0x1a70(%rsp), %xmm1
vptest %xmm1, %xmm0
setb %al
movzbl %al, %eax
subl $0x1, %eax
movl %eax, 0x14c(%rsp)
jmp 0xba21
cmpq $0x10, 0x130(%rsp)
jne 0xa36e
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x3c0(%rsp)
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3c0(%rsp), %xmm0
vpxor 0x3b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x3a0(%rsp)
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x3a0(%rsp), %xmm0
vpxor 0x390(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xdc0(%rsp)
vmovdqa %xmm0, 0xdb0(%rsp)
vmovdqa 0xdc0(%rsp), %xmm0
vmovdqa 0xdb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xda0(%rsp)
vmovdqa %xmm0, 0xd90(%rsp)
vmovdqa 0xda0(%rsp), %xmm0
vmovdqa 0xd90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x1700(%rsp)
vmovdqa %xmm0, 0x16f0(%rsp)
vmovdqa 0x1700(%rsp), %xmm0
vmovdqa 0x16f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xd80(%rsp)
vmovdqa %xmm0, 0xd70(%rsp)
vmovdqa 0xd80(%rsp), %xmm0
vmovdqa 0xd70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xd60(%rsp)
vmovdqa %xmm0, 0xd50(%rsp)
vmovdqa 0xd60(%rsp), %xmm0
vmovdqa 0xd50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x16e0(%rsp)
vmovdqa %xmm0, 0x16d0(%rsp)
vmovdqa 0x16e0(%rsp), %xmm0
vmovdqa 0x16d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0xd40(%rsp)
vmovdqa %xmm0, 0xd30(%rsp)
vmovdqa 0xd40(%rsp), %xmm0
vmovdqa 0xd30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0xd20(%rsp)
vmovdqa %xmm0, 0xd10(%rsp)
vmovdqa 0xd20(%rsp), %xmm0
vmovdqa 0xd10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x16c0(%rsp)
vmovdqa %xmm0, 0x16b0(%rsp)
vmovdqa 0x16c0(%rsp), %xmm0
vmovdqa 0x16b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0xd00(%rsp)
vmovdqa %xmm0, 0xcf0(%rsp)
vmovdqa 0xd00(%rsp), %xmm0
vmovdqa 0xcf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0xce0(%rsp)
vmovdqa %xmm0, 0xcd0(%rsp)
vmovdqa 0xce0(%rsp), %xmm0
vmovdqa 0xcd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x16a0(%rsp)
vmovdqa %xmm0, 0x1690(%rsp)
vmovdqa 0x16a0(%rsp), %xmm0
vmovdqa 0x1690(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0xcc0(%rsp)
vmovdqa %xmm0, 0xcb0(%rsp)
vmovdqa 0xcc0(%rsp), %xmm0
vmovdqa 0xcb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0xca0(%rsp)
vmovdqa %xmm0, 0xc90(%rsp)
vmovdqa 0xca0(%rsp), %xmm0
vmovdqa 0xc90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x1680(%rsp)
vmovdqa %xmm0, 0x1670(%rsp)
vmovdqa 0x1680(%rsp), %xmm0
vmovdqa 0x1670(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xc80(%rsp)
vmovdqa %xmm0, 0xc70(%rsp)
vmovdqa 0xc80(%rsp), %xmm0
vmovdqa 0xc70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xc60(%rsp)
vmovdqa %xmm0, 0xc50(%rsp)
vmovdqa 0xc60(%rsp), %xmm0
vmovdqa 0xc50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x1660(%rsp)
vmovdqa %xmm0, 0x1650(%rsp)
vmovdqa 0x1660(%rsp), %xmm0
vmovdqa 0x1650(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xc40(%rsp)
vmovdqa %xmm0, 0xc30(%rsp)
vmovdqa 0xc40(%rsp), %xmm0
vmovdqa 0xc30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xc20(%rsp)
vmovdqa %xmm0, 0xc10(%rsp)
vmovdqa 0xc20(%rsp), %xmm0
vmovdqa 0xc10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x1640(%rsp)
vmovdqa %xmm0, 0x1630(%rsp)
vmovdqa 0x1640(%rsp), %xmm0
vmovdqa 0x1630(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xc00(%rsp)
vmovdqa %xmm0, 0xbf0(%rsp)
vmovdqa 0xc00(%rsp), %xmm0
vmovdqa 0xbf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xbe0(%rsp)
vmovdqa %xmm0, 0xbd0(%rsp)
vmovdqa 0xbe0(%rsp), %xmm0
vmovdqa 0xbd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x1620(%rsp)
vmovdqa %xmm0, 0x1610(%rsp)
vmovdqa 0x1620(%rsp), %xmm0
vmovdqa 0x1610(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xbc0(%rsp)
vmovdqa %xmm0, 0xbb0(%rsp)
vmovdqa 0xbc0(%rsp), %xmm0
vmovdqa 0xbb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xba0(%rsp)
vmovdqa %xmm0, 0xb90(%rsp)
vmovdqa 0xba0(%rsp), %xmm0
vmovdqa 0xb90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x1600(%rsp)
vmovdqa %xmm0, 0x15f0(%rsp)
vmovdqa 0x1600(%rsp), %xmm0
vmovdqa 0x15f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x1200(%rsp)
vmovdqa %xmm0, 0x11f0(%rsp)
vmovdqa 0x1200(%rsp), %xmm0
vmovdqa 0x11f0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x11e0(%rsp)
vmovdqa %xmm0, 0x11d0(%rsp)
vmovdqa 0x11e0(%rsp), %xmm0
vmovdqa 0x11d0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm0
vmovdqa %xmm1, 0x19c0(%rsp)
vmovdqa %xmm0, 0x19b0(%rsp)
vmovdqa 0x19c0(%rsp), %xmm0
vmovdqa 0x19b0(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x120(%rsp), %rdi
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vpxor 0x370(%rsp), %xmm0, %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vpxor 0x350(%rsp), %xmm0, %xmm0
callq 0x79a0
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vpxor 0x330(%rsp), %xmm0, %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vpxor 0x310(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vpxor 0x2f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xb0(%rax), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vpxor 0x2d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xb80(%rsp)
vmovdqa %xmm0, 0xb70(%rsp)
vmovdqa 0xb80(%rsp), %xmm0
vmovdqa 0xb70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x15e0(%rsp)
vmovdqa %xmm0, 0x15d0(%rsp)
vmovdqa 0x15e0(%rsp), %xmm0
vmovdqa 0x15d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xb60(%rsp)
vmovdqa %xmm0, 0xb50(%rsp)
vmovdqa 0xb60(%rsp), %xmm0
vmovdqa 0xb50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x15c0(%rsp)
vmovdqa %xmm0, 0x15b0(%rsp)
vmovdqa 0x15c0(%rsp), %xmm0
vmovdqa 0x15b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0xb40(%rsp)
vmovdqa %xmm0, 0xb30(%rsp)
vmovdqa 0xb40(%rsp), %xmm0
vmovdqa 0xb30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x15a0(%rsp)
vmovdqa %xmm0, 0x1590(%rsp)
vmovdqa 0x15a0(%rsp), %xmm0
vmovdqa 0x1590(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0xb20(%rsp)
vmovdqa %xmm0, 0xb10(%rsp)
vmovdqa 0xb20(%rsp), %xmm0
vmovdqa 0xb10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x1580(%rsp)
vmovdqa %xmm0, 0x1570(%rsp)
vmovdqa 0x1580(%rsp), %xmm0
vmovdqa 0x1570(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0xb00(%rsp)
vmovdqa %xmm0, 0xaf0(%rsp)
vmovdqa 0xb00(%rsp), %xmm0
vmovdqa 0xaf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x1560(%rsp)
vmovdqa %xmm0, 0x1550(%rsp)
vmovdqa 0x1560(%rsp), %xmm0
vmovdqa 0x1550(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0xae0(%rsp)
vmovdqa %xmm0, 0xad0(%rsp)
vmovdqa 0xae0(%rsp), %xmm0
vmovdqa 0xad0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x1540(%rsp)
vmovdqa %xmm0, 0x1530(%rsp)
vmovdqa 0x1540(%rsp), %xmm0
vmovdqa 0x1530(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0xac0(%rsp)
vmovdqa %xmm0, 0xab0(%rsp)
vmovdqa 0xac0(%rsp), %xmm0
vmovdqa 0xab0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x1520(%rsp)
vmovdqa %xmm0, 0x1510(%rsp)
vmovdqa 0x1520(%rsp), %xmm0
vmovdqa 0x1510(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0xaa0(%rsp)
vmovdqa %xmm0, 0xa90(%rsp)
vmovdqa 0xaa0(%rsp), %xmm0
vmovdqa 0xa90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x1500(%rsp)
vmovdqa %xmm0, 0x14f0(%rsp)
vmovdqa 0x1500(%rsp), %xmm0
vmovdqa 0x14f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0xa80(%rsp)
vmovdqa %xmm0, 0xa70(%rsp)
vmovdqa 0xa80(%rsp), %xmm0
vmovdqa 0xa70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x14e0(%rsp)
vmovdqa %xmm0, 0x14d0(%rsp)
vmovdqa 0x14e0(%rsp), %xmm0
vmovdqa 0x14d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x11c0(%rsp)
vmovdqa %xmm0, 0x11b0(%rsp)
vmovdqa 0x11c0(%rsp), %xmm0
vmovdqa 0x11b0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm0
vmovdqa %xmm1, 0x19a0(%rsp)
vmovdqa %xmm0, 0x1990(%rsp)
vmovdqa 0x19a0(%rsp), %xmm0
vmovdqa 0x1990(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vpxor 0x2b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x1a60(%rsp)
vmovdqa %xmm0, 0x1a50(%rsp)
vmovdqa 0x1a60(%rsp), %xmm0
vmovdqa 0x1a50(%rsp), %xmm1
vptest %xmm1, %xmm0
setb %al
movzbl %al, %eax
subl $0x1, %eax
movl %eax, 0x14c(%rsp)
jmp 0xba21
cmpq $0x10, 0x130(%rsp)
jbe 0xacc4
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xa60(%rsp)
vmovdqa %xmm0, 0xa50(%rsp)
vmovdqa 0xa60(%rsp), %xmm0
vmovdqa 0xa50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0xa40(%rsp)
vmovdqa %xmm0, 0xa30(%rsp)
vmovdqa 0xa40(%rsp), %xmm0
vmovdqa 0xa30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x14c0(%rsp)
vmovdqa %xmm0, 0x14b0(%rsp)
vmovdqa 0x14c0(%rsp), %xmm0
vmovdqa 0x14b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xa20(%rsp)
vmovdqa %xmm0, 0xa10(%rsp)
vmovdqa 0xa20(%rsp), %xmm0
vmovdqa 0xa10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0xa00(%rsp)
vmovdqa %xmm0, 0x9f0(%rsp)
vmovdqa 0xa00(%rsp), %xmm0
vmovdqa 0x9f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x14a0(%rsp)
vmovdqa %xmm0, 0x1490(%rsp)
vmovdqa 0x14a0(%rsp), %xmm0
vmovdqa 0x1490(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x9e0(%rsp)
vmovdqa %xmm0, 0x9d0(%rsp)
vmovdqa 0x9e0(%rsp), %xmm0
vmovdqa 0x9d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x9c0(%rsp)
vmovdqa %xmm0, 0x9b0(%rsp)
vmovdqa 0x9c0(%rsp), %xmm0
vmovdqa 0x9b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x1480(%rsp)
vmovdqa %xmm0, 0x1470(%rsp)
vmovdqa 0x1480(%rsp), %xmm0
vmovdqa 0x1470(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x9a0(%rsp)
vmovdqa %xmm0, 0x990(%rsp)
vmovdqa 0x9a0(%rsp), %xmm0
vmovdqa 0x990(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x980(%rsp)
vmovdqa %xmm0, 0x970(%rsp)
vmovdqa 0x980(%rsp), %xmm0
vmovdqa 0x970(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x1460(%rsp)
vmovdqa %xmm0, 0x1450(%rsp)
vmovdqa 0x1460(%rsp), %xmm0
vmovdqa 0x1450(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x960(%rsp)
vmovdqa %xmm0, 0x950(%rsp)
vmovdqa 0x960(%rsp), %xmm0
vmovdqa 0x950(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x940(%rsp)
vmovdqa %xmm0, 0x930(%rsp)
vmovdqa 0x940(%rsp), %xmm0
vmovdqa 0x930(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x1440(%rsp)
vmovdqa %xmm0, 0x1430(%rsp)
vmovdqa 0x1440(%rsp), %xmm0
vmovdqa 0x1430(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0x920(%rsp)
vmovdqa %xmm0, 0x910(%rsp)
vmovdqa 0x920(%rsp), %xmm0
vmovdqa 0x910(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0x900(%rsp)
vmovdqa %xmm0, 0x8f0(%rsp)
vmovdqa 0x900(%rsp), %xmm0
vmovdqa 0x8f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x1420(%rsp)
vmovdqa %xmm0, 0x1410(%rsp)
vmovdqa 0x1420(%rsp), %xmm0
vmovdqa 0x1410(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0x8e0(%rsp)
vmovdqa %xmm0, 0x8d0(%rsp)
vmovdqa 0x8e0(%rsp), %xmm0
vmovdqa 0x8d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0x8c0(%rsp)
vmovdqa %xmm0, 0x8b0(%rsp)
vmovdqa 0x8c0(%rsp), %xmm0
vmovdqa 0x8b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x1400(%rsp)
vmovdqa %xmm0, 0x13f0(%rsp)
vmovdqa 0x1400(%rsp), %xmm0
vmovdqa 0x13f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x8a0(%rsp)
vmovdqa %xmm0, 0x890(%rsp)
vmovdqa 0x8a0(%rsp), %xmm0
vmovdqa 0x890(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x880(%rsp)
vmovdqa %xmm0, 0x870(%rsp)
vmovdqa 0x880(%rsp), %xmm0
vmovdqa 0x870(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x13e0(%rsp)
vmovdqa %xmm0, 0x13d0(%rsp)
vmovdqa 0x13e0(%rsp), %xmm0
vmovdqa 0x13d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0x860(%rsp)
vmovdqa %xmm0, 0x850(%rsp)
vmovdqa 0x860(%rsp), %xmm0
vmovdqa 0x850(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0x840(%rsp)
vmovdqa %xmm0, 0x830(%rsp)
vmovdqa 0x840(%rsp), %xmm0
vmovdqa 0x830(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x13c0(%rsp)
vmovdqa %xmm0, 0x13b0(%rsp)
vmovdqa 0x13c0(%rsp), %xmm0
vmovdqa 0x13b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x11a0(%rsp)
vmovdqa %xmm0, 0x1190(%rsp)
vmovdqa 0x11a0(%rsp), %xmm0
vmovdqa 0x1190(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x1180(%rsp)
vmovdqa %xmm0, 0x1170(%rsp)
vmovdqa 0x1180(%rsp), %xmm0
vmovdqa 0x1170(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm0
vmovdqa %xmm1, 0x1980(%rsp)
vmovdqa %xmm0, 0x1970(%rsp)
vmovdqa 0x1980(%rsp), %xmm0
vmovdqa 0x1970(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
movq 0x120(%rsp), %rdi
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vpxor 0x290(%rsp), %xmm0, %xmm0
callq 0x79a0
movq 0x120(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x120(%rsp)
movq 0x130(%rsp), %rax
subq $0x10, %rax
movq %rax, 0x130(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x100(%rsp)
movq 0x138(%rsp), %rdi
movq 0x130(%rsp), %rsi
callq 0x2540
movl $0x10, %eax
subq 0x130(%rsp), %rax
movl %eax, %edi
callq 0x7a10
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vpxor 0x270(%rsp), %xmm0, %xmm0
vmovaps %xmm0, 0x10(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovaps %xmm0, (%rsp)
vmovdqa 0x80(%rsp), %xmm0
movq 0x130(%rsp), %rdi
callq 0x7a60
vmovaps (%rsp), %xmm2
vmovaps 0x10(%rsp), %xmm1
vmovdqa %xmm2, 0x1280(%rsp)
vmovdqa %xmm0, 0x1270(%rsp)
vmovdqa 0x1280(%rsp), %xmm0
vpor 0x1270(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vpxor 0x250(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vpxor 0x230(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x160(%rax), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vpxor 0x210(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xb0(%rax), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vpxor 0x1f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0x820(%rsp)
vmovdqa %xmm0, 0x810(%rsp)
vmovdqa 0x820(%rsp), %xmm0
vmovdqa 0x810(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x170(%rax), %xmm0
vmovdqa %xmm1, 0x800(%rsp)
vmovdqa %xmm0, 0x7f0(%rsp)
vmovdqa 0x800(%rsp), %xmm0
vmovdqa 0x7f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xc0(%rax), %xmm0
vmovdqa %xmm1, 0x13a0(%rsp)
vmovdqa %xmm0, 0x1390(%rsp)
vmovdqa 0x13a0(%rsp), %xmm0
vmovdqa 0x1390(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0x7e0(%rsp)
vmovdqa %xmm0, 0x7d0(%rsp)
vmovdqa 0x7e0(%rsp), %xmm0
vmovdqa 0x7d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x180(%rax), %xmm0
vmovdqa %xmm1, 0x7c0(%rsp)
vmovdqa %xmm0, 0x7b0(%rsp)
vmovdqa 0x7c0(%rsp), %xmm0
vmovdqa 0x7b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xd0(%rax), %xmm0
vmovdqa %xmm1, 0x1380(%rsp)
vmovdqa %xmm0, 0x1370(%rsp)
vmovdqa 0x1380(%rsp), %xmm0
vmovdqa 0x1370(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x7a0(%rsp)
vmovdqa %xmm0, 0x790(%rsp)
vmovdqa 0x7a0(%rsp), %xmm0
vmovdqa 0x790(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x190(%rax), %xmm0
vmovdqa %xmm1, 0x780(%rsp)
vmovdqa %xmm0, 0x770(%rsp)
vmovdqa 0x780(%rsp), %xmm0
vmovdqa 0x770(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xe0(%rax), %xmm0
vmovdqa %xmm1, 0x1360(%rsp)
vmovdqa %xmm0, 0x1350(%rsp)
vmovdqa 0x1360(%rsp), %xmm0
vmovdqa 0x1350(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x760(%rsp)
vmovdqa %xmm0, 0x750(%rsp)
vmovdqa 0x760(%rsp), %xmm0
vmovdqa 0x750(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1a0(%rax), %xmm0
vmovdqa %xmm1, 0x740(%rsp)
vmovdqa %xmm0, 0x730(%rsp)
vmovdqa 0x740(%rsp), %xmm0
vmovdqa 0x730(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0xf0(%rax), %xmm0
vmovdqa %xmm1, 0x1340(%rsp)
vmovdqa %xmm0, 0x1330(%rsp)
vmovdqa 0x1340(%rsp), %xmm0
vmovdqa 0x1330(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x720(%rsp)
vmovdqa %xmm0, 0x710(%rsp)
vmovdqa 0x720(%rsp), %xmm0
vmovdqa 0x710(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1b0(%rax), %xmm0
vmovdqa %xmm1, 0x700(%rsp)
vmovdqa %xmm0, 0x6f0(%rsp)
vmovdqa 0x700(%rsp), %xmm0
vmovdqa 0x6f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x100(%rax), %xmm0
vmovdqa %xmm1, 0x1320(%rsp)
vmovdqa %xmm0, 0x1310(%rsp)
vmovdqa 0x1320(%rsp), %xmm0
vmovdqa 0x1310(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0x6e0(%rsp)
vmovdqa %xmm0, 0x6d0(%rsp)
vmovdqa 0x6e0(%rsp), %xmm0
vmovdqa 0x6d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1c0(%rax), %xmm0
vmovdqa %xmm1, 0x6c0(%rsp)
vmovdqa %xmm0, 0x6b0(%rsp)
vmovdqa 0x6c0(%rsp), %xmm0
vmovdqa 0x6b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x110(%rax), %xmm0
vmovdqa %xmm1, 0x1300(%rsp)
vmovdqa %xmm0, 0x12f0(%rsp)
vmovdqa 0x1300(%rsp), %xmm0
vmovdqa 0x12f0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0x6a0(%rsp)
vmovdqa %xmm0, 0x690(%rsp)
vmovdqa 0x6a0(%rsp), %xmm0
vmovdqa 0x690(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1d0(%rax), %xmm0
vmovdqa %xmm1, 0x680(%rsp)
vmovdqa %xmm0, 0x670(%rsp)
vmovdqa 0x680(%rsp), %xmm0
vmovdqa 0x670(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x120(%rax), %xmm0
vmovdqa %xmm1, 0x12e0(%rsp)
vmovdqa %xmm0, 0x12d0(%rsp)
vmovdqa 0x12e0(%rsp), %xmm0
vmovdqa 0x12d0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x660(%rsp)
vmovdqa %xmm0, 0x650(%rsp)
vmovdqa 0x660(%rsp), %xmm0
vmovdqa 0x650(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1e0(%rax), %xmm0
vmovdqa %xmm1, 0x640(%rsp)
vmovdqa %xmm0, 0x630(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vmovdqa 0x630(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x130(%rax), %xmm0
vmovdqa %xmm1, 0x12c0(%rsp)
vmovdqa %xmm0, 0x12b0(%rsp)
vmovdqa 0x12c0(%rsp), %xmm0
vmovdqa 0x12b0(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0x620(%rsp)
vmovdqa %xmm0, 0x610(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vmovdqa 0x610(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x1f0(%rax), %xmm0
vmovdqa %xmm1, 0x600(%rsp)
vmovdqa %xmm0, 0x5f0(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vmovdqa 0x5f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x140(%rax), %xmm0
vmovdqa %xmm1, 0x12a0(%rsp)
vmovdqa %xmm0, 0x1290(%rsp)
vmovdqa 0x12a0(%rsp), %xmm0
vmovdqa 0x1290(%rsp), %xmm1
vaesdec %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x1160(%rsp)
vmovdqa %xmm0, 0x1150(%rsp)
vmovdqa 0x1160(%rsp), %xmm0
vmovdqa 0x1150(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xf0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x200(%rax), %xmm0
vmovdqa %xmm1, 0x1140(%rsp)
vmovdqa %xmm0, 0x1130(%rsp)
vmovdqa 0x1140(%rsp), %xmm0
vmovdqa 0x1130(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x150(%rax), %xmm0
vmovdqa %xmm1, 0x1960(%rsp)
vmovdqa %xmm0, 0x1950(%rsp)
vmovdqa 0x1960(%rsp), %xmm0
vmovdqa 0x1950(%rsp), %xmm1
vaesdeclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vpxor 0x1d0(%rsp), %xmm0, %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x1c0(%rsp)
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vpxor 0x1b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x120(%rsp), %rdi
vmovdqa 0xb0(%rsp), %xmm0
movq 0x130(%rsp), %rsi
callq 0x7b40
vmovdqa 0xb0(%rsp), %xmm0
movq 0x130(%rsp), %rdi
callq 0xba30
vmovdqa %xmm0, 0x70(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
movq 0x130(%rsp), %rax
movl %eax, %edi
callq 0x7a10
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x1a40(%rsp)
vmovdqa %xmm0, 0x1a30(%rsp)
vmovdqa 0x1a40(%rsp), %xmm0
vmovdqa 0x1a30(%rsp), %xmm1
vptest %xmm1, %xmm0
setb %al
movzbl %al, %eax
movl %eax, 0x5c(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x100(%rsp)
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
movq 0x140(%rsp), %rdi
addq $0x160, %rdi            # imm = 0x160
callq 0x21e0
vmovdqa %xmm0, 0x100(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0x100(%rsp), %xmm0
vmovdqa %xmm1, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vpxor 0x190(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
movq 0x140(%rsp), %rdi
callq 0x21e0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %xmm1
vmovdqa 0xf0(%rsp), %xmm0
vmovdqa %xmm1, 0x180(%rsp)
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vpxor 0x170(%rsp), %xmm0, %xmm1
movq 0x140(%rsp), %rax
vmovdqa 0x240(%rax), %xmm0
vmovdqa %xmm1, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vpxor 0x150(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0x80(%rsp), %xmm0
movl $0x10, %edi
subq 0x130(%rsp), %rdi
callq 0xba30
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
movl $0x10, %eax
subq 0x130(%rsp), %rax
movl %eax, %edi
callq 0x7a10
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x40(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x1a20(%rsp)
vmovdqa %xmm0, 0x1a10(%rsp)
vmovdqa 0x1a20(%rsp), %xmm0
vmovdqa 0x1a10(%rsp), %xmm1
vptest %xmm1, %xmm0
setb %al
movzbl %al, %eax
movl %eax, 0x3c(%rsp)
movl 0x5c(%rsp), %eax
addl 0x3c(%rsp), %eax
subl $0x2, %eax
movl %eax, 0x14c(%rsp)
movl 0x14c(%rsp), %eax
addq $0x1a98, %rsp           # imm = 0x1A98
retq