// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes128n12t8silcv2/aesni/encrypt.c
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
                        unsigned char *m,unsigned long long *mlen,          // message
                        unsigned char *nsec,                                // not relavent to CLOC or SLIC
                        const unsigned char *c,unsigned long long clen,     // ciphertext
                        const unsigned char *ad,unsigned long long adlen,   // associated data
                        const unsigned char *npub,                          // nonce
                        const unsigned char *k                              // the master key
                        )
{

    block estate, tstate, tmp;  // encryption state, tag state, and temporary state
    estate = SETZERO();
    unsigned char ltag[16];     // local copy of temporary tag value
    
    /* set message length */
    *mlen = clen - CRYPTO_ABYTES;
    
    /* generate round keys from master key */
    AES128_KeyExpansion(k);
    
    /* process nonce */
    load_partial_block(&estate, npub, CRYPTO_NPUBBYTES, PARAM_ZP);
    
    AES128_encrypt(estate, estate);
    
    /* process assoicated data */
    unsigned long long i, lastblocklen;
    int j;
    for(i = 0; i < (unsigned long long)(adlen >> 4); i++){
        estate = XOR(estate, LOAD(ad+(i<<4)));
        AES128_encrypt(estate, estate);
    }
    
    /* process the last partial block if any */
    lastblocklen = adlen % STATE_LEN;
    if(lastblocklen){
        load_partial_block(&tmp, ad+(i<<4), lastblocklen, ZERO_APPEND);
        estate = XOR(estate, tmp);
        AES128_encrypt(estate, estate);
    }
    
    /* encode the adlen and process */
    xor_length(&estate, adlen);
    estate = g(estate);
    tstate = estate;
    
    /* process ciphertext */
    
    AES128_encrypt(estate, estate);
    tstate = g(tstate);
    AES128_encrypt(tstate, tstate);
    
    i = 0;
    /* process all the message except for the last message/ciphertext block */
    while((i + STATE_LEN) < (*mlen)){
        tmp = LOAD(c+i);
        estate = XOR(estate, tmp);
        STORE(m+i, estate);
        tstate = XOR(tmp, tstate);
        AES128_encrypt(tstate, tstate);
        fix1(tmp);
        print_state("after applying fix1\n", estate);
        AES128_encrypt(tmp, estate);
        i += STATE_LEN;
    }
    
    /* process the last block of the message/ciphetext */
    lastblocklen = (*mlen) - i;
    
    if(lastblocklen > 0){
        load_partial_block(&tmp, c+i, lastblocklen, ZERO_APPEND);
        estate = XOR(estate, tmp);
        store_partial_block(m+i, estate, lastblocklen);
        char shift_bytes = (char)(STATE_LEN - lastblocklen);
        tmp = AND(SHR(_mm_set1_epi8(0xff), shift_bytes), tmp);
        tstate = XOR(tstate, tmp);
        AES128_encrypt(tstate, tstate);
    }
    /* encode the message length and process */
    
    xor_length(&tstate, (*mlen));
    tstate = g(tstate);
    AES128_encrypt(tstate, tstate);
    
    /* compare tag and output message */
    STORE(ltag, tstate);
    for(j = 0; j < CRYPTO_ABYTES; j++){
        if(ltag[j] != c[clen - CRYPTO_ABYTES + j])
            return RETURN_TAG_NO_MATCH;
    }
    return RETURN_SUCCESS;

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10e8, %rsp           # imm = 0x10E8
movq 0x1130(%rsp), %rax
movq 0x1128(%rsp), %rax
movq 0x1120(%rsp), %rax
movq %rdi, 0xa0(%rsp)
movq %rsi, 0x98(%rsp)
movq %rdx, 0x90(%rsp)
movq %rcx, 0x88(%rsp)
movq %r8, 0x80(%rsp)
movq %r9, 0x78(%rsp)
vpxor %xmm0, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0x80(%rsp), %rcx
subq $0x8, %rcx
movq 0x98(%rsp), %rax
movq %rcx, (%rax)
movq 0x1130(%rsp), %rdi
callq 0x1070
movq 0x1128(%rsp), %rsi
leaq 0x60(%rsp), %rdi
movl $0xc, %edx
movl $0x3, %ecx
callq 0x1050
vmovdqa 0x60(%rsp), %xmm0
leaq 0x3ea1(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x60(%rsp), %xmm1
movq 0x5e87(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vpxor 0x2f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5e4c(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xd60(%rsp)
vmovdqa %xmm0, 0xd50(%rsp)
vmovdqa 0xd60(%rsp), %xmm0
vmovdqa 0xd50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5e0b(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xd40(%rsp)
vmovdqa %xmm0, 0xd30(%rsp)
vmovdqa 0xd40(%rsp), %xmm0
vmovdqa 0xd30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5dca(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xd20(%rsp)
vmovdqa %xmm0, 0xd10(%rsp)
vmovdqa 0xd20(%rsp), %xmm0
vmovdqa 0xd10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5d89(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xd00(%rsp)
vmovdqa %xmm0, 0xcf0(%rsp)
vmovdqa 0xd00(%rsp), %xmm0
vmovdqa 0xcf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5d48(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xce0(%rsp)
vmovdqa %xmm0, 0xcd0(%rsp)
vmovdqa 0xce0(%rsp), %xmm0
vmovdqa 0xcd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5d07(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xcc0(%rsp)
vmovdqa %xmm0, 0xcb0(%rsp)
vmovdqa 0xcc0(%rsp), %xmm0
vmovdqa 0xcb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5cc6(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xca0(%rsp)
vmovdqa %xmm0, 0xc90(%rsp)
vmovdqa 0xca0(%rsp), %xmm0
vmovdqa 0xc90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5c85(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xc80(%rsp)
vmovdqa %xmm0, 0xc70(%rsp)
vmovdqa 0xc80(%rsp), %xmm0
vmovdqa 0xc70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5c41(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xc60(%rsp)
vmovdqa %xmm0, 0xc50(%rsp)
vmovdqa 0xc60(%rsp), %xmm0
vmovdqa 0xc50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5bfd(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xe80(%rsp)
vmovdqa %xmm0, 0xe70(%rsp)
vmovdqa 0xe80(%rsp), %xmm0
vmovdqa 0xe70(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x3bce(%rip), %rdi      # 0x900d
callq 0x1090
movq $0x0, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq 0x1120(%rsp), %rcx
shrq $0x4, %rcx
cmpq %rcx, %rax
jae 0x57c1
vmovdqa 0x60(%rsp), %xmm1
movq 0x78(%rsp), %rax
movq 0x28(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0xb8(%rsp)
movq 0xb8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vpxor 0x2d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x3b37(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x60(%rsp), %xmm1
movq 0x5b1d(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vpxor 0x2b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5ae2(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xc40(%rsp)
vmovdqa %xmm0, 0xc30(%rsp)
vmovdqa 0xc40(%rsp), %xmm0
vmovdqa 0xc30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5aa1(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xc20(%rsp)
vmovdqa %xmm0, 0xc10(%rsp)
vmovdqa 0xc20(%rsp), %xmm0
vmovdqa 0xc10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5a60(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xc00(%rsp)
vmovdqa %xmm0, 0xbf0(%rsp)
vmovdqa 0xc00(%rsp), %xmm0
vmovdqa 0xbf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5a1f(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xbe0(%rsp)
vmovdqa %xmm0, 0xbd0(%rsp)
vmovdqa 0xbe0(%rsp), %xmm0
vmovdqa 0xbd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x59de(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xbc0(%rsp)
vmovdqa %xmm0, 0xbb0(%rsp)
vmovdqa 0xbc0(%rsp), %xmm0
vmovdqa 0xbb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x599d(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xba0(%rsp)
vmovdqa %xmm0, 0xb90(%rsp)
vmovdqa 0xba0(%rsp), %xmm0
vmovdqa 0xb90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x595c(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xb80(%rsp)
vmovdqa %xmm0, 0xb70(%rsp)
vmovdqa 0xb80(%rsp), %xmm0
vmovdqa 0xb70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x591b(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xb60(%rsp)
vmovdqa %xmm0, 0xb50(%rsp)
vmovdqa 0xb60(%rsp), %xmm0
vmovdqa 0xb50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x58d7(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xb40(%rsp)
vmovdqa %xmm0, 0xb30(%rsp)
vmovdqa 0xb40(%rsp), %xmm0
vmovdqa 0xb30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5893(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xe60(%rsp)
vmovdqa %xmm0, 0xe50(%rsp)
vmovdqa 0xe60(%rsp), %xmm0
vmovdqa 0xe50(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x3864(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x28(%rsp)
jmp 0x544d
movq 0x1120(%rsp), %rax
andq $0xf, %rax
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x20(%rsp)
je 0x5b2a
movq 0x78(%rsp), %rsi
movq 0x28(%rsp), %rax
shlq $0x4, %rax
addq %rax, %rsi
movq 0x20(%rsp), %rax
movl %eax, %edx
leaq 0x40(%rsp), %rdi
xorl %ecx, %ecx
callq 0x1050
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vpxor 0x290(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x37bb(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x60(%rsp), %xmm1
movq 0x57a1(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vpxor 0x270(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5766(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xb20(%rsp)
vmovdqa %xmm0, 0xb10(%rsp)
vmovdqa 0xb20(%rsp), %xmm0
vmovdqa 0xb10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5725(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xb00(%rsp)
vmovdqa %xmm0, 0xaf0(%rsp)
vmovdqa 0xb00(%rsp), %xmm0
vmovdqa 0xaf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x56e4(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xae0(%rsp)
vmovdqa %xmm0, 0xad0(%rsp)
vmovdqa 0xae0(%rsp), %xmm0
vmovdqa 0xad0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x56a3(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xac0(%rsp)
vmovdqa %xmm0, 0xab0(%rsp)
vmovdqa 0xac0(%rsp), %xmm0
vmovdqa 0xab0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5662(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xaa0(%rsp)
vmovdqa %xmm0, 0xa90(%rsp)
vmovdqa 0xaa0(%rsp), %xmm0
vmovdqa 0xa90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5621(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xa80(%rsp)
vmovdqa %xmm0, 0xa70(%rsp)
vmovdqa 0xa80(%rsp), %xmm0
vmovdqa 0xa70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x55e0(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xa60(%rsp)
vmovdqa %xmm0, 0xa50(%rsp)
vmovdqa 0xa60(%rsp), %xmm0
vmovdqa 0xa50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x559f(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xa40(%rsp)
vmovdqa %xmm0, 0xa30(%rsp)
vmovdqa 0xa40(%rsp), %xmm0
vmovdqa 0xa30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x555b(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xa20(%rsp)
vmovdqa %xmm0, 0xa10(%rsp)
vmovdqa 0xa20(%rsp), %xmm0
vmovdqa 0xa10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x5517(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xe40(%rsp)
vmovdqa %xmm0, 0xe30(%rsp)
vmovdqa 0xe40(%rsp), %xmm0
vmovdqa 0xe30(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x34e8(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x1120(%rsp), %rsi
leaq 0x60(%rsp), %rdi
callq 0x10a0
vmovdqa 0x60(%rsp), %xmm1
movb $0x0, 0x106f(%rsp)
movb $0xf, 0x106e(%rsp)
movb $0xe, 0x106d(%rsp)
movb $0xd, 0x106c(%rsp)
movb $0xc, 0x106b(%rsp)
movb $0xb, 0x106a(%rsp)
movb $0xa, 0x1069(%rsp)
movb $0x9, 0x1068(%rsp)
movb $0x8, 0x1067(%rsp)
movb $0x7, 0x1066(%rsp)
movb $0x6, 0x1065(%rsp)
movb $0x5, 0x1064(%rsp)
movb $0x4, 0x1063(%rsp)
movb $0x3, 0x1062(%rsp)
movb $0x2, 0x1061(%rsp)
movb $0x1, 0x1060(%rsp)
movzbl 0x1060(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1061(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1062(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1063(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1064(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1065(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1066(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1067(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1068(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1069(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x106a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x106b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x106c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x106d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x106e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x106f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1050(%rsp)
vmovdqa 0x1050(%rsp), %xmm0
vmovdqa %xmm1, 0xf60(%rsp)
vmovdqa %xmm0, 0xf50(%rsp)
vmovdqa 0xf60(%rsp), %xmm0
vmovdqa 0xf50(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x60(%rsp), %xmm2
movb $0x1, 0x104f(%rsp)
movb $-0x1, 0x104e(%rsp)
movb $-0x1, 0x104d(%rsp)
movb $-0x1, 0x104c(%rsp)
movb $-0x1, 0x104b(%rsp)
movb $-0x1, 0x104a(%rsp)
movb $-0x1, 0x1049(%rsp)
movb $-0x1, 0x1048(%rsp)
movb $-0x1, 0x1047(%rsp)
movb $-0x1, 0x1046(%rsp)
movb $-0x1, 0x1045(%rsp)
movb $-0x1, 0x1044(%rsp)
movb $-0x1, 0x1043(%rsp)
movb $-0x1, 0x1042(%rsp)
movb $-0x1, 0x1041(%rsp)
movb $-0x1, 0x1040(%rsp)
movzbl 0x1040(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1041(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1042(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1043(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1044(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1045(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1046(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1047(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1048(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1049(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x104a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x104b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x104c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x104d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x104e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x104f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1030(%rsp)
vmovdqa 0x1030(%rsp), %xmm0
vmovdqa %xmm2, 0xf40(%rsp)
vmovdqa %xmm0, 0xf30(%rsp)
vmovdqa 0xf40(%rsp), %xmm0
vmovdqa 0xf30(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vmovdqa 0x250(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x313f(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x60(%rsp), %xmm1
movq 0x5125(%rip), %rax      # 0xaff8
movq %rax, 0x10(%rsp)
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vmovdqa 0x230(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xa00(%rsp)
vmovdqa %xmm0, 0x9f0(%rsp)
vmovdqa 0xa00(%rsp), %xmm0
vmovdqa 0x9f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x9e0(%rsp)
vmovdqa %xmm0, 0x9d0(%rsp)
vmovdqa 0x9e0(%rsp), %xmm0
vmovdqa 0x9d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x9c0(%rsp)
vmovdqa %xmm0, 0x9b0(%rsp)
vmovdqa 0x9c0(%rsp), %xmm0
vmovdqa 0x9b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x9a0(%rsp)
vmovdqa %xmm0, 0x990(%rsp)
vmovdqa 0x9a0(%rsp), %xmm0
vmovdqa 0x990(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x980(%rsp)
vmovdqa %xmm0, 0x970(%rsp)
vmovdqa 0x980(%rsp), %xmm0
vmovdqa 0x970(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x960(%rsp)
vmovdqa %xmm0, 0x950(%rsp)
vmovdqa 0x960(%rsp), %xmm0
vmovdqa 0x950(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x940(%rsp)
vmovdqa %xmm0, 0x930(%rsp)
vmovdqa 0x940(%rsp), %xmm0
vmovdqa 0x930(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x920(%rsp)
vmovdqa %xmm0, 0x910(%rsp)
vmovdqa 0x920(%rsp), %xmm0
vmovdqa 0x910(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x900(%rsp)
vmovdqa %xmm0, 0x8f0(%rsp)
vmovdqa 0x900(%rsp), %xmm0
vmovdqa 0x8f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xe20(%rsp)
vmovdqa %xmm0, 0xe10(%rsp)
vmovdqa 0xe20(%rsp), %xmm0
vmovdqa 0xe10(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x2ea9(%rip), %rdi      # 0x900d
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movb $0x0, 0x102f(%rsp)
movb $0xf, 0x102e(%rsp)
movb $0xe, 0x102d(%rsp)
movb $0xd, 0x102c(%rsp)
movb $0xc, 0x102b(%rsp)
movb $0xb, 0x102a(%rsp)
movb $0xa, 0x1029(%rsp)
movb $0x9, 0x1028(%rsp)
movb $0x8, 0x1027(%rsp)
movb $0x7, 0x1026(%rsp)
movb $0x6, 0x1025(%rsp)
movb $0x5, 0x1024(%rsp)
movb $0x4, 0x1023(%rsp)
movb $0x3, 0x1022(%rsp)
movb $0x2, 0x1021(%rsp)
movb $0x1, 0x1020(%rsp)
movzbl 0x1020(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1021(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1022(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1023(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1024(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1025(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1026(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1027(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1028(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1029(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x102a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x102b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x102c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x102d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x102e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x102f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1010(%rsp)
vmovdqa 0x1010(%rsp), %xmm0
vmovdqa %xmm1, 0xf20(%rsp)
vmovdqa %xmm0, 0xf10(%rsp)
vmovdqa 0xf20(%rsp), %xmm0
vmovdqa 0xf10(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x50(%rsp), %xmm2
movb $0x1, 0x100f(%rsp)
movb $-0x1, 0x100e(%rsp)
movb $-0x1, 0x100d(%rsp)
movb $-0x1, 0x100c(%rsp)
movb $-0x1, 0x100b(%rsp)
movb $-0x1, 0x100a(%rsp)
movb $-0x1, 0x1009(%rsp)
movb $-0x1, 0x1008(%rsp)
movb $-0x1, 0x1007(%rsp)
movb $-0x1, 0x1006(%rsp)
movb $-0x1, 0x1005(%rsp)
movb $-0x1, 0x1004(%rsp)
movb $-0x1, 0x1003(%rsp)
movb $-0x1, 0x1002(%rsp)
movb $-0x1, 0x1001(%rsp)
movb $-0x1, 0x1000(%rsp)
movzbl 0x1000(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1001(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x1002(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x1003(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x1004(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x1005(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x1006(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x1007(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x1008(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x1009(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x100a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x100b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x100c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x100d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x100e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x100f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xff0(%rsp)
vmovdqa 0xff0(%rsp), %xmm0
vmovdqa %xmm2, 0xf00(%rsp)
vmovdqa %xmm0, 0xef0(%rsp)
vmovdqa 0xf00(%rsp), %xmm0
vmovdqa 0xef0(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vpxor 0x210(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x2b22(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x4b08(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vpxor 0x1f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4acd(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x8e0(%rsp)
vmovdqa %xmm0, 0x8d0(%rsp)
vmovdqa 0x8e0(%rsp), %xmm0
vmovdqa 0x8d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4a8c(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x8c0(%rsp)
vmovdqa %xmm0, 0x8b0(%rsp)
vmovdqa 0x8c0(%rsp), %xmm0
vmovdqa 0x8b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4a4b(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x8a0(%rsp)
vmovdqa %xmm0, 0x890(%rsp)
vmovdqa 0x8a0(%rsp), %xmm0
vmovdqa 0x890(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4a0a(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x880(%rsp)
vmovdqa %xmm0, 0x870(%rsp)
vmovdqa 0x880(%rsp), %xmm0
vmovdqa 0x870(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x49c9(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x860(%rsp)
vmovdqa %xmm0, 0x850(%rsp)
vmovdqa 0x860(%rsp), %xmm0
vmovdqa 0x850(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4988(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x840(%rsp)
vmovdqa %xmm0, 0x830(%rsp)
vmovdqa 0x840(%rsp), %xmm0
vmovdqa 0x830(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4947(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x820(%rsp)
vmovdqa %xmm0, 0x810(%rsp)
vmovdqa 0x820(%rsp), %xmm0
vmovdqa 0x810(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x4906(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x800(%rsp)
vmovdqa %xmm0, 0x7f0(%rsp)
vmovdqa 0x800(%rsp), %xmm0
vmovdqa 0x7f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x48c2(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x7e0(%rsp)
vmovdqa %xmm0, 0x7d0(%rsp)
vmovdqa 0x7e0(%rsp), %xmm0
vmovdqa 0x7d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x487e(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xe00(%rsp)
vmovdqa %xmm0, 0xdf0(%rsp)
vmovdqa 0xe00(%rsp), %xmm0
vmovdqa 0xdf0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x284f(%rip), %rdi      # 0x900d
callq 0x1090
movq $0x0, 0x28(%rsp)
movq 0x28(%rsp), %rax
addq $0x10, %rax
movq 0x98(%rsp), %rcx
cmpq (%rcx), %rax
jae 0x702c
movq 0x88(%rsp), %rax
movq 0x28(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0xb0(%rsp)
movq 0xb0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vmovdqa 0x1d0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0xa0(%rsp), %rax
movq 0x28(%rsp), %rcx
addq %rcx, %rax
vmovdqa 0x60(%rsp), %xmm0
movq %rax, 0x348(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x330(%rsp), %xmm0
movq 0x348(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0x40(%rsp), %xmm1
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x1c0(%rsp)
vmovdqa %xmm0, 0x1b0(%rsp)
vmovdqa 0x1c0(%rsp), %xmm0
vmovdqa 0x1b0(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x2733(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x4719(%rip), %rax      # 0xaff8
movq %rax, 0x8(%rsp)
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vmovdqa 0x190(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x7c0(%rsp)
vmovdqa %xmm0, 0x7b0(%rsp)
vmovdqa 0x7c0(%rsp), %xmm0
vmovdqa 0x7b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x7a0(%rsp)
vmovdqa %xmm0, 0x790(%rsp)
vmovdqa 0x7a0(%rsp), %xmm0
vmovdqa 0x790(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x780(%rsp)
vmovdqa %xmm0, 0x770(%rsp)
vmovdqa 0x780(%rsp), %xmm0
vmovdqa 0x770(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x760(%rsp)
vmovdqa %xmm0, 0x750(%rsp)
vmovdqa 0x760(%rsp), %xmm0
vmovdqa 0x750(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x740(%rsp)
vmovdqa %xmm0, 0x730(%rsp)
vmovdqa 0x740(%rsp), %xmm0
vmovdqa 0x730(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x720(%rsp)
vmovdqa %xmm0, 0x710(%rsp)
vmovdqa 0x720(%rsp), %xmm0
vmovdqa 0x710(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x700(%rsp)
vmovdqa %xmm0, 0x6f0(%rsp)
vmovdqa 0x700(%rsp), %xmm0
vmovdqa 0x6f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x6e0(%rsp)
vmovdqa %xmm0, 0x6d0(%rsp)
vmovdqa 0x6e0(%rsp), %xmm0
vmovdqa 0x6d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x6c0(%rsp)
vmovdqa %xmm0, 0x6b0(%rsp)
vmovdqa 0x6c0(%rsp), %xmm0
vmovdqa 0x6b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xde0(%rsp)
vmovdqa %xmm0, 0xdd0(%rsp)
vmovdqa 0xde0(%rsp), %xmm0
vmovdqa 0xdd0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x249d(%rip), %rdi      # 0x900d
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movb $0x0, 0xfef(%rsp)
movb $0x0, 0xfee(%rsp)
movb $0x0, 0xfed(%rsp)
movb $0x0, 0xfec(%rsp)
movb $0x0, 0xfeb(%rsp)
movb $0x0, 0xfea(%rsp)
movb $0x0, 0xfe9(%rsp)
movb $0x0, 0xfe8(%rsp)
movb $0x0, 0xfe7(%rsp)
movb $0x0, 0xfe6(%rsp)
movb $0x0, 0xfe5(%rsp)
movb $0x0, 0xfe4(%rsp)
movb $0x0, 0xfe3(%rsp)
movb $0x0, 0xfe2(%rsp)
movb $0x0, 0xfe1(%rsp)
movb $-0x80, 0xfe0(%rsp)
movzbl 0xfe0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xfe1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xfe2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xfe3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xfe4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xfe5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xfe6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xfe7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xfe8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xfe9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xfea(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xfeb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xfec(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xfed(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xfee(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xfef(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xfd0(%rsp)
vmovdqa 0xfd0(%rsp), %xmm0
vmovdqa %xmm1, 0x1080(%rsp)
vmovdqa %xmm0, 0x1070(%rsp)
vmovdqa 0x1080(%rsp), %xmm0
vpor 0x1070(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x22f8(%rip), %rdi      # 0x901a
callq 0x1090
vmovdqa 0x40(%rsp), %xmm0
leaq 0x22cc(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movq 0x42b2(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x180(%rsp)
vmovdqa %xmm0, 0x170(%rsp)
vmovdqa 0x180(%rsp), %xmm0
vpxor 0x170(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x4277(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x6a0(%rsp)
vmovdqa %xmm0, 0x690(%rsp)
vmovdqa 0x6a0(%rsp), %xmm0
vmovdqa 0x690(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x4236(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x680(%rsp)
vmovdqa %xmm0, 0x670(%rsp)
vmovdqa 0x680(%rsp), %xmm0
vmovdqa 0x670(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x41f5(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x660(%rsp)
vmovdqa %xmm0, 0x650(%rsp)
vmovdqa 0x660(%rsp), %xmm0
vmovdqa 0x650(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x41b4(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x640(%rsp)
vmovdqa %xmm0, 0x630(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vmovdqa 0x630(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x4173(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x620(%rsp)
vmovdqa %xmm0, 0x610(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vmovdqa 0x610(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x4132(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x600(%rsp)
vmovdqa %xmm0, 0x5f0(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vmovdqa 0x5f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x40f1(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x5e0(%rsp)
vmovdqa %xmm0, 0x5d0(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vmovdqa 0x5d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x40b0(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x5c0(%rsp)
vmovdqa %xmm0, 0x5b0(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
vmovdqa 0x5b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x406c(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x5a0(%rsp)
vmovdqa %xmm0, 0x590(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
vmovdqa 0x590(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm1
movq 0x4028(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xdc0(%rsp)
vmovdqa %xmm0, 0xdb0(%rsp)
vmovdqa 0xdc0(%rsp), %xmm0
vmovdqa 0xdb0(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %xmm0
leaq 0x1ff9(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x28(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x28(%rsp)
jmp 0x67cc
movq 0x98(%rsp), %rax
movq (%rax), %rax
subq 0x28(%rsp), %rax
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x20(%rsp)
jbe 0x77ac
movq 0x88(%rsp), %rsi
movq 0x28(%rsp), %rax
addq %rax, %rsi
movl 0x20(%rsp), %edx
leaq 0x40(%rsp), %rdi
xorl %ecx, %ecx
callq 0x1050
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vmovdqa 0x150(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x60(%rsp)
movq 0xa0(%rsp), %rdi
movq 0x28(%rsp), %rax
addq %rax, %rdi
vmovdqa 0x60(%rsp), %xmm0
movl 0x20(%rsp), %esi
callq 0x10d0
movb 0x20(%rsp), %cl
movb $0x10, %al
subb %cl, %al
movb %al, 0x1b(%rsp)
movb $-0x1, 0x10bf(%rsp)
movb 0x10bf(%rsp), %al
movb %al, 0x4(%rsp)
movb %al, 0x10e7(%rsp)
movb %al, 0x10e6(%rsp)
movb %al, 0x10e5(%rsp)
movb %al, 0x10e4(%rsp)
movb %al, 0x10e3(%rsp)
movb %al, 0x10e2(%rsp)
movb %al, 0x10e1(%rsp)
movb %al, 0x10e0(%rsp)
movb %al, 0x10df(%rsp)
movb %al, 0x10de(%rsp)
movb %al, 0x10dd(%rsp)
movb %al, 0x10dc(%rsp)
movb %al, 0x10db(%rsp)
movb %al, 0x10da(%rsp)
movb %al, 0x10d9(%rsp)
movb %al, 0x10d8(%rsp)
movzbl 0x10d8(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x10d9(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x10da(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x10db(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x10dc(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x10dd(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x10de(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x10df(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x10e0(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x10e1(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x10e2(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x10e3(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x10e4(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x10e5(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x10e6(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x10e7(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x10c0(%rsp)
vmovdqa 0x10c0(%rsp), %xmm1
movb 0x1b(%rsp), %al
movb %al, 0x5(%rsp)
movb %al, %cl
addb $0x7f, %cl
movb %cl, 0x6(%rsp)
movb %al, %r13b
addb $0x7e, %r13b
movb %al, %r12b
addb $0x7d, %r12b
movb %al, %r15b
addb $0x7c, %r15b
movb %al, %r14b
addb $0x7b, %r14b
movb %al, %bpl
addb $0x7a, %bpl
movb %al, %bl
addb $0x79, %bl
movb %al, %r11b
addb $0x78, %r11b
movb %al, %r10b
addb $0x77, %r10b
movb %al, %r9b
addb $0x76, %r9b
movb %al, %r8b
addb $0x75, %r8b
movb %al, %dil
addb $0x74, %dil
movb %al, %sil
addb $0x73, %sil
movb %al, %dl
addb $0x72, %dl
movb %al, %cl
addb $0x71, %cl
addb $0x70, %al
movb %al, 0x7(%rsp)
movb 0x6(%rsp), %al
movb %al, 0xfcf(%rsp)
movb 0x7(%rsp), %al
movb %r13b, 0xfce(%rsp)
movb %r12b, 0xfcd(%rsp)
movb %r15b, 0xfcc(%rsp)
movb %r14b, 0xfcb(%rsp)
movb %bpl, 0xfca(%rsp)
movb %bl, 0xfc9(%rsp)
movb %r11b, 0xfc8(%rsp)
movb %r10b, 0xfc7(%rsp)
movb %r9b, 0xfc6(%rsp)
movb %r8b, 0xfc5(%rsp)
movb %dil, 0xfc4(%rsp)
movb %sil, 0xfc3(%rsp)
movb %dl, 0xfc2(%rsp)
movb %cl, 0xfc1(%rsp)
movb %al, 0xfc0(%rsp)
movzbl 0xfc0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xfc1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xfc2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xfc3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xfc4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xfc5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xfc6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xfc7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xfc8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xfc9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xfca(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xfcb(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xfcc(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xfcd(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xfce(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xfcf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xfb0(%rsp)
vmovdqa 0xfb0(%rsp), %xmm0
vmovdqa %xmm1, 0xee0(%rsp)
vmovdqa %xmm0, 0xed0(%rsp)
vmovdqa 0xee0(%rsp), %xmm0
vmovdqa 0xed0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x10a0(%rsp)
vmovdqa %xmm0, 0x1090(%rsp)
vmovdqa 0x10a0(%rsp), %xmm0
vpand 0x1090(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x140(%rsp)
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vpxor 0x130(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x1b39(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x3b1f(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x120(%rsp)
vmovdqa %xmm0, 0x110(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vpxor 0x110(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3ae4(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x580(%rsp)
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x580(%rsp), %xmm0
vmovdqa 0x570(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3aa3(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x560(%rsp)
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x560(%rsp), %xmm0
vmovdqa 0x550(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3a62(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x540(%rsp)
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x540(%rsp), %xmm0
vmovdqa 0x530(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3a21(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x520(%rsp)
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x520(%rsp), %xmm0
vmovdqa 0x510(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x39e0(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x500(%rsp)
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x500(%rsp), %xmm0
vmovdqa 0x4f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x399f(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x4e0(%rsp)
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4e0(%rsp), %xmm0
vmovdqa 0x4d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x395e(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x4c0(%rsp)
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4c0(%rsp), %xmm0
vmovdqa 0x4b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x391d(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x4a0(%rsp)
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x4a0(%rsp), %xmm0
vmovdqa 0x490(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x38d9(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x480(%rsp)
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x480(%rsp), %xmm0
vmovdqa 0x470(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3895(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xda0(%rsp)
vmovdqa %xmm0, 0xd90(%rsp)
vmovdqa 0xda0(%rsp), %xmm0
vmovdqa 0xd90(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x1866(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x98(%rsp), %rax
movq (%rax), %rsi
leaq 0x50(%rsp), %rdi
callq 0x10a0
vmovdqa 0x50(%rsp), %xmm1
movb $0x0, 0xfaf(%rsp)
movb $0xf, 0xfae(%rsp)
movb $0xe, 0xfad(%rsp)
movb $0xd, 0xfac(%rsp)
movb $0xc, 0xfab(%rsp)
movb $0xb, 0xfaa(%rsp)
movb $0xa, 0xfa9(%rsp)
movb $0x9, 0xfa8(%rsp)
movb $0x8, 0xfa7(%rsp)
movb $0x7, 0xfa6(%rsp)
movb $0x6, 0xfa5(%rsp)
movb $0x5, 0xfa4(%rsp)
movb $0x4, 0xfa3(%rsp)
movb $0x3, 0xfa2(%rsp)
movb $0x2, 0xfa1(%rsp)
movb $0x1, 0xfa0(%rsp)
movzbl 0xfa0(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xfa1(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xfa2(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xfa3(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xfa4(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xfa5(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xfa6(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xfa7(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xfa8(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xfa9(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xfaa(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xfab(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xfac(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xfad(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xfae(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xfaf(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xf90(%rsp)
vmovdqa 0xf90(%rsp), %xmm0
vmovdqa %xmm1, 0xec0(%rsp)
vmovdqa %xmm0, 0xeb0(%rsp)
vmovdqa 0xec0(%rsp), %xmm0
vmovdqa 0xeb0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x50(%rsp), %xmm2
movb $0x1, 0xf8f(%rsp)
movb $-0x1, 0xf8e(%rsp)
movb $-0x1, 0xf8d(%rsp)
movb $-0x1, 0xf8c(%rsp)
movb $-0x1, 0xf8b(%rsp)
movb $-0x1, 0xf8a(%rsp)
movb $-0x1, 0xf89(%rsp)
movb $-0x1, 0xf88(%rsp)
movb $-0x1, 0xf87(%rsp)
movb $-0x1, 0xf86(%rsp)
movb $-0x1, 0xf85(%rsp)
movb $-0x1, 0xf84(%rsp)
movb $-0x1, 0xf83(%rsp)
movb $-0x1, 0xf82(%rsp)
movb $-0x1, 0xf81(%rsp)
movb $-0x1, 0xf80(%rsp)
movzbl 0xf80(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xf81(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xf82(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xf83(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xf84(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xf85(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xf86(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xf87(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xf88(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xf89(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xf8a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xf8b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xf8c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xf8d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xf8e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xf8f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xf70(%rsp)
vmovdqa 0xf70(%rsp), %xmm0
vmovdqa %xmm2, 0xea0(%rsp)
vmovdqa %xmm0, 0xe90(%rsp)
vmovdqa 0xea0(%rsp), %xmm0
vmovdqa 0xe90(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x100(%rsp)
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vpxor 0xf0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x14ca(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x34b0(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vpxor 0xd0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3475(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x460(%rsp)
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x460(%rsp), %xmm0
vmovdqa 0x450(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3434(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x440(%rsp)
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x440(%rsp), %xmm0
vmovdqa 0x430(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x33f3(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x420(%rsp)
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x420(%rsp), %xmm0
vmovdqa 0x410(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x33b2(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x400(%rsp)
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x400(%rsp), %xmm0
vmovdqa 0x3f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3371(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x3e0(%rsp)
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3e0(%rsp), %xmm0
vmovdqa 0x3d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3330(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x3c0(%rsp)
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3c0(%rsp), %xmm0
vmovdqa 0x3b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x32ef(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x3a0(%rsp)
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x3a0(%rsp), %xmm0
vmovdqa 0x390(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x32ae(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vmovdqa 0x370(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x326a(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vmovdqa 0x350(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x3226(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xd80(%rsp)
vmovdqa %xmm0, 0xd70(%rsp)
vmovdqa 0xd80(%rsp), %xmm0
vmovdqa 0xd70(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x11f7(%rip), %rdi      # 0x900d
callq 0x1090
leaq 0x30(%rsp), %rax
vmovdqa 0x50(%rsp), %xmm0
movq %rax, 0x328(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x310(%rsp), %xmm0
movq 0x328(%rsp), %rax
vmovdqa %xmm0, (%rax)
movl $0x0, 0x1c(%rsp)
cmpl $0x8, 0x1c(%rsp)
jge 0x7ea5
movslq 0x1c(%rsp), %rax
movzbl 0x30(%rsp,%rax), %eax
movq 0x88(%rsp), %rcx
movq 0x80(%rsp), %rdx
subq $0x8, %rdx
movslq 0x1c(%rsp), %rsi
addq %rsi, %rdx
movzbl (%rcx,%rdx), %ecx
cmpl %ecx, %eax
je 0x7e96
movl $0xffffffff, 0xac(%rsp) # imm = 0xFFFFFFFF
jmp 0x7eb0
jmp 0x7e98
movl 0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x1c(%rsp)
jmp 0x7e54
movl $0x0, 0xac(%rsp)
movl 0xac(%rsp), %eax
addq $0x10e8, %rsp           # imm = 0x10E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)