// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aes128n12t8silcv2/aesni/encrypt.c
// Function: crypto_aead_encrypt
int crypto_aead_encrypt(
                        unsigned char *c, unsigned long long *clen,         // ciphertext
                        const unsigned char *m, unsigned long long mlen,    // message
                        const unsigned char *ad, unsigned long long adlen,  // associated data
                        const unsigned char *nsec,                          // not relavent to CLOC or SLIC
                        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();
    /* set ciphertext length */
    *clen = mlen + 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(m+i);
        estate = XOR(estate, tmp);
        STORE(c+i, estate);
        tstate = XOR(estate, tstate);
        fix1(estate);
        print_state("after applying fix1\n", estate);
        AES128_encrypt(estate, estate);
        AES128_encrypt(tstate, tstate);
        i += STATE_LEN;
    }
    
    /* process the last block of the message/ciphetext */
    lastblocklen = mlen - i;
    
    if(lastblocklen > 0){
        load_partial_block(&tmp, m+i, lastblocklen, ZERO_APPEND);
        estate = XOR(estate, tmp);
        print_state("after xoring last partial message block\n", estate);
        store_partial_block(c+i, estate, lastblocklen);
        unsigned char shift_bytes = (STATE_LEN - (unsigned char)lastblocklen);
        tmp = AND(SHR(_mm_set1_epi8(0xff), shift_bytes), estate);
        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);
    
    /* output the tag */
    store_partial_block(c+i+lastblocklen, tstate, CRYPTO_ABYTES);
    
    return RETURN_SUCCESS;
    
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10a8, %rsp           # imm = 0x10A8
movq 0x10f0(%rsp), %rax
movq 0x10e8(%rsp), %rax
movq 0x10e0(%rsp), %rax
movq %rdi, 0x88(%rsp)
movq %rsi, 0x80(%rsp)
movq %rdx, 0x78(%rsp)
movq %rcx, 0x70(%rsp)
movq %r8, 0x68(%rsp)
movq %r9, 0x60(%rsp)
vpxor %xmm0, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm0, 0x50(%rsp)
movq 0x70(%rsp), %rcx
addq $0x8, %rcx
movq 0x80(%rsp), %rax
movq %rcx, (%rax)
movq 0x10f0(%rsp), %rdi
callq 0x1070
movq 0x10e8(%rsp), %rsi
leaq 0x50(%rsp), %rdi
movl $0xc, %edx
movl $0x3, %ecx
callq 0x1050
vmovdqa 0x50(%rsp), %xmm0
leaq 0x6c8d(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x8c73(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vpxor 0x2d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8c38(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xd20(%rsp)
vmovdqa %xmm0, 0xd10(%rsp)
vmovdqa 0xd20(%rsp), %xmm0
vmovdqa 0xd10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8bf7(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xd00(%rsp)
vmovdqa %xmm0, 0xcf0(%rsp)
vmovdqa 0xd00(%rsp), %xmm0
vmovdqa 0xcf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8bb6(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xce0(%rsp)
vmovdqa %xmm0, 0xcd0(%rsp)
vmovdqa 0xce0(%rsp), %xmm0
vmovdqa 0xcd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8b75(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xcc0(%rsp)
vmovdqa %xmm0, 0xcb0(%rsp)
vmovdqa 0xcc0(%rsp), %xmm0
vmovdqa 0xcb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8b34(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xca0(%rsp)
vmovdqa %xmm0, 0xc90(%rsp)
vmovdqa 0xca0(%rsp), %xmm0
vmovdqa 0xc90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8af3(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xc80(%rsp)
vmovdqa %xmm0, 0xc70(%rsp)
vmovdqa 0xc80(%rsp), %xmm0
vmovdqa 0xc70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8ab2(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xc60(%rsp)
vmovdqa %xmm0, 0xc50(%rsp)
vmovdqa 0xc60(%rsp), %xmm0
vmovdqa 0xc50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8a71(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xc40(%rsp)
vmovdqa %xmm0, 0xc30(%rsp)
vmovdqa 0xc40(%rsp), %xmm0
vmovdqa 0xc30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8a2d(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xc20(%rsp)
vmovdqa %xmm0, 0xc10(%rsp)
vmovdqa 0xc20(%rsp), %xmm0
vmovdqa 0xc10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x89e9(%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, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x69ba(%rip), %rdi      # 0x900d
callq 0x1090
movq $0x0, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq 0x60(%rsp), %rcx
shrq $0x4, %rcx
cmpq %rcx, %rax
jae 0x29d2
vmovdqa 0x50(%rsp), %xmm1
movq 0x68(%rsp), %rax
movq 0x28(%rsp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vpxor 0x2b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x6926(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x890c(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vpxor 0x290(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x88d1(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xc00(%rsp)
vmovdqa %xmm0, 0xbf0(%rsp)
vmovdqa 0xc00(%rsp), %xmm0
vmovdqa 0xbf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8890(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xbe0(%rsp)
vmovdqa %xmm0, 0xbd0(%rsp)
vmovdqa 0xbe0(%rsp), %xmm0
vmovdqa 0xbd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x884f(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xbc0(%rsp)
vmovdqa %xmm0, 0xbb0(%rsp)
vmovdqa 0xbc0(%rsp), %xmm0
vmovdqa 0xbb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x880e(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xba0(%rsp)
vmovdqa %xmm0, 0xb90(%rsp)
vmovdqa 0xba0(%rsp), %xmm0
vmovdqa 0xb90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x87cd(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xb80(%rsp)
vmovdqa %xmm0, 0xb70(%rsp)
vmovdqa 0xb80(%rsp), %xmm0
vmovdqa 0xb70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x878c(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xb60(%rsp)
vmovdqa %xmm0, 0xb50(%rsp)
vmovdqa 0xb60(%rsp), %xmm0
vmovdqa 0xb50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x874b(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xb40(%rsp)
vmovdqa %xmm0, 0xb30(%rsp)
vmovdqa 0xb40(%rsp), %xmm0
vmovdqa 0xb30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x870a(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xb20(%rsp)
vmovdqa %xmm0, 0xb10(%rsp)
vmovdqa 0xb20(%rsp), %xmm0
vmovdqa 0xb10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x86c6(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0xb00(%rsp)
vmovdqa %xmm0, 0xaf0(%rsp)
vmovdqa 0xb00(%rsp), %xmm0
vmovdqa 0xaf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8682(%rip), %rax      # 0xaff8
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, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x6653(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x28(%rsp)
jmp 0x2661
movq 0x60(%rsp), %rax
andq $0xf, %rax
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x20(%rsp)
je 0x2d38
movq 0x68(%rsp), %rsi
movq 0x28(%rsp), %rax
shlq $0x4, %rax
addq %rax, %rsi
movq 0x20(%rsp), %rax
movl %eax, %edx
leaq 0x30(%rsp), %rdi
xorl %ecx, %ecx
callq 0x1050
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vpxor 0x270(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x65ad(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x8593(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vpxor 0x250(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8558(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0xae0(%rsp)
vmovdqa %xmm0, 0xad0(%rsp)
vmovdqa 0xae0(%rsp), %xmm0
vmovdqa 0xad0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8517(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0xac0(%rsp)
vmovdqa %xmm0, 0xab0(%rsp)
vmovdqa 0xac0(%rsp), %xmm0
vmovdqa 0xab0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x84d6(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0xaa0(%rsp)
vmovdqa %xmm0, 0xa90(%rsp)
vmovdqa 0xaa0(%rsp), %xmm0
vmovdqa 0xa90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8495(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0xa80(%rsp)
vmovdqa %xmm0, 0xa70(%rsp)
vmovdqa 0xa80(%rsp), %xmm0
vmovdqa 0xa70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8454(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0xa60(%rsp)
vmovdqa %xmm0, 0xa50(%rsp)
vmovdqa 0xa60(%rsp), %xmm0
vmovdqa 0xa50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8413(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0xa40(%rsp)
vmovdqa %xmm0, 0xa30(%rsp)
vmovdqa 0xa40(%rsp), %xmm0
vmovdqa 0xa30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x83d2(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0xa20(%rsp)
vmovdqa %xmm0, 0xa10(%rsp)
vmovdqa 0xa20(%rsp), %xmm0
vmovdqa 0xa10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8391(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0xa00(%rsp)
vmovdqa %xmm0, 0x9f0(%rsp)
vmovdqa 0xa00(%rsp), %xmm0
vmovdqa 0x9f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x834d(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x9e0(%rsp)
vmovdqa %xmm0, 0x9d0(%rsp)
vmovdqa 0x9e0(%rsp), %xmm0
vmovdqa 0x9d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x8309(%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 0x62da(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x60(%rsp), %rsi
leaq 0x50(%rsp), %rdi
callq 0x10a0
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, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vmovdqa 0x230(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x5f34(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x7f1a(%rip), %rax      # 0xaff8
movq %rax, 0x10(%rsp)
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vmovdqa 0x210(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x9c0(%rsp)
vmovdqa %xmm0, 0x9b0(%rsp)
vmovdqa 0x9c0(%rsp), %xmm0
vmovdqa 0x9b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x9a0(%rsp)
vmovdqa %xmm0, 0x990(%rsp)
vmovdqa 0x9a0(%rsp), %xmm0
vmovdqa 0x990(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x980(%rsp)
vmovdqa %xmm0, 0x970(%rsp)
vmovdqa 0x980(%rsp), %xmm0
vmovdqa 0x970(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x960(%rsp)
vmovdqa %xmm0, 0x950(%rsp)
vmovdqa 0x960(%rsp), %xmm0
vmovdqa 0x950(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x940(%rsp)
vmovdqa %xmm0, 0x930(%rsp)
vmovdqa 0x940(%rsp), %xmm0
vmovdqa 0x930(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x920(%rsp)
vmovdqa %xmm0, 0x910(%rsp)
vmovdqa 0x920(%rsp), %xmm0
vmovdqa 0x910(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x900(%rsp)
vmovdqa %xmm0, 0x8f0(%rsp)
vmovdqa 0x900(%rsp), %xmm0
vmovdqa 0x8f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x80(%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
vmovdqa 0x90(%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
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 0x5c9e(%rip), %rdi      # 0x900d
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movb $0x0, 0xfef(%rsp)
movb $0xf, 0xfee(%rsp)
movb $0xe, 0xfed(%rsp)
movb $0xd, 0xfec(%rsp)
movb $0xc, 0xfeb(%rsp)
movb $0xb, 0xfea(%rsp)
movb $0xa, 0xfe9(%rsp)
movb $0x9, 0xfe8(%rsp)
movb $0x8, 0xfe7(%rsp)
movb $0x7, 0xfe6(%rsp)
movb $0x6, 0xfe5(%rsp)
movb $0x5, 0xfe4(%rsp)
movb $0x4, 0xfe3(%rsp)
movb $0x3, 0xfe2(%rsp)
movb $0x2, 0xfe1(%rsp)
movb $0x1, 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, 0xee0(%rsp)
vmovdqa %xmm0, 0xed0(%rsp)
vmovdqa 0xee0(%rsp), %xmm0
vmovdqa 0xed0(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x40(%rsp), %xmm2
movb $0x1, 0xfcf(%rsp)
movb $-0x1, 0xfce(%rsp)
movb $-0x1, 0xfcd(%rsp)
movb $-0x1, 0xfcc(%rsp)
movb $-0x1, 0xfcb(%rsp)
movb $-0x1, 0xfca(%rsp)
movb $-0x1, 0xfc9(%rsp)
movb $-0x1, 0xfc8(%rsp)
movb $-0x1, 0xfc7(%rsp)
movb $-0x1, 0xfc6(%rsp)
movb $-0x1, 0xfc5(%rsp)
movb $-0x1, 0xfc4(%rsp)
movb $-0x1, 0xfc3(%rsp)
movb $-0x1, 0xfc2(%rsp)
movb $-0x1, 0xfc1(%rsp)
movb $-0x1, 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 %xmm2, 0xec0(%rsp)
vmovdqa %xmm0, 0xeb0(%rsp)
vmovdqa 0xec0(%rsp), %xmm0
vmovdqa 0xeb0(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0x200(%rsp)
vmovdqa %xmm0, 0x1f0(%rsp)
vmovdqa 0x200(%rsp), %xmm0
vpxor 0x1f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x5917(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movq 0x78fd(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x1e0(%rsp)
vmovdqa %xmm0, 0x1d0(%rsp)
vmovdqa 0x1e0(%rsp), %xmm0
vpxor 0x1d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x78c2(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x8a0(%rsp)
vmovdqa %xmm0, 0x890(%rsp)
vmovdqa 0x8a0(%rsp), %xmm0
vmovdqa 0x890(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x7881(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x880(%rsp)
vmovdqa %xmm0, 0x870(%rsp)
vmovdqa 0x880(%rsp), %xmm0
vmovdqa 0x870(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x7840(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x860(%rsp)
vmovdqa %xmm0, 0x850(%rsp)
vmovdqa 0x860(%rsp), %xmm0
vmovdqa 0x850(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x77ff(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x840(%rsp)
vmovdqa %xmm0, 0x830(%rsp)
vmovdqa 0x840(%rsp), %xmm0
vmovdqa 0x830(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x77be(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x820(%rsp)
vmovdqa %xmm0, 0x810(%rsp)
vmovdqa 0x820(%rsp), %xmm0
vmovdqa 0x810(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x777d(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x800(%rsp)
vmovdqa %xmm0, 0x7f0(%rsp)
vmovdqa 0x800(%rsp), %xmm0
vmovdqa 0x7f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x773c(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x7e0(%rsp)
vmovdqa %xmm0, 0x7d0(%rsp)
vmovdqa 0x7e0(%rsp), %xmm0
vmovdqa 0x7d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x76fb(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x7c0(%rsp)
vmovdqa %xmm0, 0x7b0(%rsp)
vmovdqa 0x7c0(%rsp), %xmm0
vmovdqa 0x7b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x76b7(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x7a0(%rsp)
vmovdqa %xmm0, 0x790(%rsp)
vmovdqa 0x7a0(%rsp), %xmm0
vmovdqa 0x790(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x7673(%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, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x5644(%rip), %rdi      # 0x900d
callq 0x1090
movq $0x0, 0x28(%rsp)
movq 0x28(%rsp), %rax
addq $0x10, %rax
cmpq 0x70(%rsp), %rax
jae 0x426b
movq 0x78(%rsp), %rax
movq 0x28(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x90(%rsp)
movq 0x90(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x30(%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)
movq 0x88(%rsp), %rax
movq 0x28(%rsp), %rcx
addq %rcx, %rax
vmovdqa 0x50(%rsp), %xmm0
movq %rax, 0x308(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x2f0(%rsp), %xmm0
movq 0x308(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x40(%rsp), %xmm0
vmovdqa %xmm1, 0x1a0(%rsp)
vmovdqa %xmm0, 0x190(%rsp)
vmovdqa 0x1a0(%rsp), %xmm0
vmovdqa 0x190(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movb $0x0, 0xfaf(%rsp)
movb $0x0, 0xfae(%rsp)
movb $0x0, 0xfad(%rsp)
movb $0x0, 0xfac(%rsp)
movb $0x0, 0xfab(%rsp)
movb $0x0, 0xfaa(%rsp)
movb $0x0, 0xfa9(%rsp)
movb $0x0, 0xfa8(%rsp)
movb $0x0, 0xfa7(%rsp)
movb $0x0, 0xfa6(%rsp)
movb $0x0, 0xfa5(%rsp)
movb $0x0, 0xfa4(%rsp)
movb $0x0, 0xfa3(%rsp)
movb $0x0, 0xfa2(%rsp)
movb $0x0, 0xfa1(%rsp)
movb $-0x80, 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, 0x1040(%rsp)
vmovdqa %xmm0, 0x1030(%rsp)
vmovdqa 0x1040(%rsp), %xmm0
vpor 0x1030(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x53ab(%rip), %rdi      # 0x901a
callq 0x1090
vmovdqa 0x50(%rsp), %xmm0
leaq 0x537f(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x50(%rsp), %xmm1
movq 0x7365(%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, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x732a(%rip), %rax      # 0xaff8
vmovdqa 0x10(%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
movq 0x72e9(%rip), %rax      # 0xaff8
vmovdqa 0x20(%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
movq 0x72a8(%rip), %rax      # 0xaff8
vmovdqa 0x30(%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
movq 0x7267(%rip), %rax      # 0xaff8
vmovdqa 0x40(%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
movq 0x7226(%rip), %rax      # 0xaff8
vmovdqa 0x50(%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
movq 0x71e5(%rip), %rax      # 0xaff8
vmovdqa 0x60(%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
movq 0x71a4(%rip), %rax      # 0xaff8
vmovdqa 0x70(%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
movq 0x7163(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x6a0(%rsp)
vmovdqa %xmm0, 0x690(%rsp)
vmovdqa 0x6a0(%rsp), %xmm0
vmovdqa 0x690(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x711f(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x680(%rsp)
vmovdqa %xmm0, 0x670(%rsp)
vmovdqa 0x680(%rsp), %xmm0
vmovdqa 0x670(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm1
movq 0x70db(%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 0x50ac(%rip), %rdi      # 0x900d
callq 0x1090
vmovdqa 0x40(%rsp), %xmm0
leaq 0x508d(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movq 0x7073(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x160(%rsp)
vmovdqa %xmm0, 0x150(%rsp)
vmovdqa 0x160(%rsp), %xmm0
vpxor 0x150(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x7038(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x660(%rsp)
vmovdqa %xmm0, 0x650(%rsp)
vmovdqa 0x660(%rsp), %xmm0
vmovdqa 0x650(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6ff7(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x640(%rsp)
vmovdqa %xmm0, 0x630(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vmovdqa 0x630(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6fb6(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x620(%rsp)
vmovdqa %xmm0, 0x610(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vmovdqa 0x610(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6f75(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x600(%rsp)
vmovdqa %xmm0, 0x5f0(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vmovdqa 0x5f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6f34(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x5e0(%rsp)
vmovdqa %xmm0, 0x5d0(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vmovdqa 0x5d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6ef3(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x5c0(%rsp)
vmovdqa %xmm0, 0x5b0(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
vmovdqa 0x5b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6eb2(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x5a0(%rsp)
vmovdqa %xmm0, 0x590(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
vmovdqa 0x590(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6e71(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x580(%rsp)
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x580(%rsp), %xmm0
vmovdqa 0x570(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6e2d(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x560(%rsp)
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x560(%rsp), %xmm0
vmovdqa 0x550(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6de9(%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, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x4dba(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x28(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x28(%rsp)
jmp 0x39d7
movq 0x70(%rsp), %rax
subq 0x28(%rsp), %rax
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x20(%rsp)
jbe 0x49f4
movq 0x78(%rsp), %rsi
movq 0x28(%rsp), %rax
addq %rax, %rsi
movl 0x20(%rsp), %edx
leaq 0x30(%rsp), %rdi
xorl %ecx, %ecx
callq 0x1050
vmovdqa 0x50(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x140(%rsp)
vmovdqa %xmm0, 0x130(%rsp)
vmovdqa 0x140(%rsp), %xmm0
vmovdqa 0x130(%rsp), %xmm1
vpxor %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x50(%rsp)
vmovdqa 0x50(%rsp), %xmm0
leaq 0x4d45(%rip), %rdi      # 0x902f
callq 0x1090
movq 0x88(%rsp), %rdi
movq 0x28(%rsp), %rax
addq %rax, %rdi
vmovdqa 0x50(%rsp), %xmm0
movl 0x20(%rsp), %esi
callq 0x10d0
movb 0x20(%rsp), %cl
movb $0x10, %al
subb %cl, %al
movb %al, 0x1b(%rsp)
movb $-0x1, 0x107f(%rsp)
movb 0x107f(%rsp), %al
movb %al, 0xc(%rsp)
movb %al, 0x10a7(%rsp)
movb %al, 0x10a6(%rsp)
movb %al, 0x10a5(%rsp)
movb %al, 0x10a4(%rsp)
movb %al, 0x10a3(%rsp)
movb %al, 0x10a2(%rsp)
movb %al, 0x10a1(%rsp)
movb %al, 0x10a0(%rsp)
movb %al, 0x109f(%rsp)
movb %al, 0x109e(%rsp)
movb %al, 0x109d(%rsp)
movb %al, 0x109c(%rsp)
movb %al, 0x109b(%rsp)
movb %al, 0x109a(%rsp)
movb %al, 0x1099(%rsp)
movb %al, 0x1098(%rsp)
movzbl 0x1098(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0x1099(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0x109a(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0x109b(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0x109c(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0x109d(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0x109e(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0x109f(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0x10a0(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0x10a1(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0x10a2(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0x10a3(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0x10a4(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0x10a5(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0x10a6(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0x10a7(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0x1080(%rsp)
vmovdqa 0x1080(%rsp), %xmm1
movb 0x1b(%rsp), %al
movb %al, 0xd(%rsp)
movb %al, %cl
addb $0x7f, %cl
movb %cl, 0xe(%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, 0xf(%rsp)
movb 0xe(%rsp), %al
movb %al, 0xf8f(%rsp)
movb 0xf(%rsp), %al
movb %r13b, 0xf8e(%rsp)
movb %r12b, 0xf8d(%rsp)
movb %r15b, 0xf8c(%rsp)
movb %r14b, 0xf8b(%rsp)
movb %bpl, 0xf8a(%rsp)
movb %bl, 0xf89(%rsp)
movb %r11b, 0xf88(%rsp)
movb %r10b, 0xf87(%rsp)
movb %r9b, 0xf86(%rsp)
movb %r8b, 0xf85(%rsp)
movb %dil, 0xf84(%rsp)
movb %sil, 0xf83(%rsp)
movb %dl, 0xf82(%rsp)
movb %cl, 0xf81(%rsp)
movb %al, 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 %xmm1, 0xea0(%rsp)
vmovdqa %xmm0, 0xe90(%rsp)
vmovdqa 0xea0(%rsp), %xmm0
vmovdqa 0xe90(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x50(%rsp), %xmm0
vmovdqa %xmm1, 0x1060(%rsp)
vmovdqa %xmm0, 0x1050(%rsp)
vmovdqa 0x1060(%rsp), %xmm0
vpand 0x1050(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x40(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x120(%rsp)
vmovdqa %xmm0, 0x110(%rsp)
vmovdqa 0x120(%rsp), %xmm0
vpxor 0x110(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x48f1(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movq 0x68d7(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0x100(%rsp)
vmovdqa %xmm0, 0xf0(%rsp)
vmovdqa 0x100(%rsp), %xmm0
vpxor 0xf0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x689c(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x540(%rsp)
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x540(%rsp), %xmm0
vmovdqa 0x530(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x685b(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x520(%rsp)
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x520(%rsp), %xmm0
vmovdqa 0x510(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x681a(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x500(%rsp)
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x500(%rsp), %xmm0
vmovdqa 0x4f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x67d9(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x4e0(%rsp)
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4e0(%rsp), %xmm0
vmovdqa 0x4d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6798(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x4c0(%rsp)
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4c0(%rsp), %xmm0
vmovdqa 0x4b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6757(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x4a0(%rsp)
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x4a0(%rsp), %xmm0
vmovdqa 0x490(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6716(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x480(%rsp)
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x480(%rsp), %xmm0
vmovdqa 0x470(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x66d5(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x460(%rsp)
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x460(%rsp), %xmm0
vmovdqa 0x450(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6691(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x440(%rsp)
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x440(%rsp), %xmm0
vmovdqa 0x430(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x664d(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xd60(%rsp)
vmovdqa %xmm0, 0xd50(%rsp)
vmovdqa 0xd60(%rsp), %xmm0
vmovdqa 0xd50(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x461e(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x70(%rsp), %rsi
leaq 0x40(%rsp), %rdi
callq 0x10a0
vmovdqa 0x40(%rsp), %xmm1
movb $0x0, 0xf6f(%rsp)
movb $0xf, 0xf6e(%rsp)
movb $0xe, 0xf6d(%rsp)
movb $0xd, 0xf6c(%rsp)
movb $0xc, 0xf6b(%rsp)
movb $0xb, 0xf6a(%rsp)
movb $0xa, 0xf69(%rsp)
movb $0x9, 0xf68(%rsp)
movb $0x8, 0xf67(%rsp)
movb $0x7, 0xf66(%rsp)
movb $0x6, 0xf65(%rsp)
movb $0x5, 0xf64(%rsp)
movb $0x4, 0xf63(%rsp)
movb $0x3, 0xf62(%rsp)
movb $0x2, 0xf61(%rsp)
movb $0x1, 0xf60(%rsp)
movzbl 0xf60(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xf61(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xf62(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xf63(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xf64(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xf65(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xf66(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xf67(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xf68(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xf69(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xf6a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xf6b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xf6c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xf6d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xf6e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xf6f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xf50(%rsp)
vmovdqa 0xf50(%rsp), %xmm0
vmovdqa %xmm1, 0xe80(%rsp)
vmovdqa %xmm0, 0xe70(%rsp)
vmovdqa 0xe80(%rsp), %xmm0
vmovdqa 0xe70(%rsp), %xmm1
vpshufb %xmm1, %xmm0, %xmm1
vmovdqa 0x40(%rsp), %xmm2
movb $0x1, 0xf4f(%rsp)
movb $-0x1, 0xf4e(%rsp)
movb $-0x1, 0xf4d(%rsp)
movb $-0x1, 0xf4c(%rsp)
movb $-0x1, 0xf4b(%rsp)
movb $-0x1, 0xf4a(%rsp)
movb $-0x1, 0xf49(%rsp)
movb $-0x1, 0xf48(%rsp)
movb $-0x1, 0xf47(%rsp)
movb $-0x1, 0xf46(%rsp)
movb $-0x1, 0xf45(%rsp)
movb $-0x1, 0xf44(%rsp)
movb $-0x1, 0xf43(%rsp)
movb $-0x1, 0xf42(%rsp)
movb $-0x1, 0xf41(%rsp)
movb $-0x1, 0xf40(%rsp)
movzbl 0xf40(%rsp), %eax
vmovd %eax, %xmm0
movzbl 0xf41(%rsp), %eax
vpinsrb $0x1, %eax, %xmm0, %xmm0
movzbl 0xf42(%rsp), %eax
vpinsrb $0x2, %eax, %xmm0, %xmm0
movzbl 0xf43(%rsp), %eax
vpinsrb $0x3, %eax, %xmm0, %xmm0
movzbl 0xf44(%rsp), %eax
vpinsrb $0x4, %eax, %xmm0, %xmm0
movzbl 0xf45(%rsp), %eax
vpinsrb $0x5, %eax, %xmm0, %xmm0
movzbl 0xf46(%rsp), %eax
vpinsrb $0x6, %eax, %xmm0, %xmm0
movzbl 0xf47(%rsp), %eax
vpinsrb $0x7, %eax, %xmm0, %xmm0
movzbl 0xf48(%rsp), %eax
vpinsrb $0x8, %eax, %xmm0, %xmm0
movzbl 0xf49(%rsp), %eax
vpinsrb $0x9, %eax, %xmm0, %xmm0
movzbl 0xf4a(%rsp), %eax
vpinsrb $0xa, %eax, %xmm0, %xmm0
movzbl 0xf4b(%rsp), %eax
vpinsrb $0xb, %eax, %xmm0, %xmm0
movzbl 0xf4c(%rsp), %eax
vpinsrb $0xc, %eax, %xmm0, %xmm0
movzbl 0xf4d(%rsp), %eax
vpinsrb $0xd, %eax, %xmm0, %xmm0
movzbl 0xf4e(%rsp), %eax
vpinsrb $0xe, %eax, %xmm0, %xmm0
movzbl 0xf4f(%rsp), %eax
vpinsrb $0xf, %eax, %xmm0, %xmm0
vmovdqa %xmm0, 0xf30(%rsp)
vmovdqa 0xf30(%rsp), %xmm0
vmovdqa %xmm2, 0xe60(%rsp)
vmovdqa %xmm0, 0xe50(%rsp)
vmovdqa 0xe60(%rsp), %xmm0
vmovdqa 0xe50(%rsp), %xmm2
vpshufb %xmm2, %xmm0, %xmm0
vmovdqa %xmm1, 0xe0(%rsp)
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vpxor 0xd0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x4288(%rip), %rdi      # 0x9000
callq 0x1090
vmovdqa 0x40(%rsp), %xmm1
movq 0x626e(%rip), %rax      # 0xaff8
vmovdqa (%rax), %xmm0
vmovdqa %xmm1, 0xc0(%rsp)
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0xc0(%rsp), %xmm0
vpxor 0xb0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6233(%rip), %rax      # 0xaff8
vmovdqa 0x10(%rax), %xmm0
vmovdqa %xmm1, 0x420(%rsp)
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x420(%rsp), %xmm0
vmovdqa 0x410(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x61f2(%rip), %rax      # 0xaff8
vmovdqa 0x20(%rax), %xmm0
vmovdqa %xmm1, 0x400(%rsp)
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x400(%rsp), %xmm0
vmovdqa 0x3f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x61b1(%rip), %rax      # 0xaff8
vmovdqa 0x30(%rax), %xmm0
vmovdqa %xmm1, 0x3e0(%rsp)
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3e0(%rsp), %xmm0
vmovdqa 0x3d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6170(%rip), %rax      # 0xaff8
vmovdqa 0x40(%rax), %xmm0
vmovdqa %xmm1, 0x3c0(%rsp)
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3c0(%rsp), %xmm0
vmovdqa 0x3b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x612f(%rip), %rax      # 0xaff8
vmovdqa 0x50(%rax), %xmm0
vmovdqa %xmm1, 0x3a0(%rsp)
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x3a0(%rsp), %xmm0
vmovdqa 0x390(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x60ee(%rip), %rax      # 0xaff8
vmovdqa 0x60(%rax), %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vmovdqa 0x370(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x60ad(%rip), %rax      # 0xaff8
vmovdqa 0x70(%rax), %xmm0
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vmovdqa 0x350(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x606c(%rip), %rax      # 0xaff8
vmovdqa 0x80(%rax), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vmovdqa 0x330(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x6028(%rip), %rax      # 0xaff8
vmovdqa 0x90(%rax), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vmovdqa 0x310(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm1
movq 0x5fe4(%rip), %rax      # 0xaff8
vmovdqa 0xa0(%rax), %xmm0
vmovdqa %xmm1, 0xd40(%rsp)
vmovdqa %xmm0, 0xd30(%rsp)
vmovdqa 0xd40(%rsp), %xmm0
vmovdqa 0xd30(%rsp), %xmm1
vaesenclast %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x40(%rsp)
vmovdqa 0x40(%rsp), %xmm0
leaq 0x3fb5(%rip), %rdi      # 0x900d
callq 0x1090
movq 0x88(%rsp), %rdi
addq 0x28(%rsp), %rdi
addq 0x20(%rsp), %rdi
vmovdqa 0x40(%rsp), %xmm0
movl $0x8, %esi
callq 0x10d0
xorl %eax, %eax
addq $0x10a8, %rsp           # imm = 0x10A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopw %cs:(%rax,%rax)