// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/aegis128l/aesnic/encrypt.c
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
	unsigned char *m,unsigned long long *mlen,
	unsigned char *nsec,
	const unsigned char *c,unsigned long long clen,
	const unsigned char *ad,unsigned long long adlen,
	const unsigned char *npub,
	const unsigned char *k
	)
{
    unsigned long long i;
    unsigned char plaintextblock[32], ciphertextblock[32];
    unsigned char tag[16];
    unsigned char check = 0;
    __m128i state[8], tmp, ct0, ct1, msg0, msg1, msg2, msg3;

    if (clen < 16) return -1;   

    aegis128L_initialization(k, npub, state);

    //process the associated data 
    for (i = 0; (i+128) <= adlen; i = i+128)   
    {   
        //The first 32-byte    
        msg0 = _mm_load_si128((__m128i*)(ad+i));
        msg1 = _mm_load_si128((__m128i*)(ad+i+16));

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg0);
        state[4] = _mm_xor_si128(state[4],msg1);  

        
        //The second 32-byte 
        msg2 = _mm_load_si128((__m128i*)(ad+i+32));
        msg3 = _mm_load_si128((__m128i*)(ad+i+48));

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg2);
        state[4] = _mm_xor_si128(state[4],msg3);    


        //The third 32-byte    
        msg0 = _mm_load_si128((__m128i*)(ad+i+64));
        msg1 = _mm_load_si128((__m128i*)(ad+i+80));

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg0);
        state[4] = _mm_xor_si128(state[4],msg1);  

        
        //The fourth 32-byte 
        msg2 = _mm_load_si128((__m128i*)(ad+i+96));
        msg3 = _mm_load_si128((__m128i*)(ad+i+112));

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg2);
        state[4] = _mm_xor_si128(state[4],msg3);    
     }  

    // Deal with the partial block    
    // In this program, we assume that the message length is multiple of bytes.
    if (  (adlen & 0x7f) != 0 ) aegis128L_ad_partial(state, ad + i, adlen & 0x7f);     


    //decrypt the ciphertext  
    *mlen = clen - 16;  
    for (i = 0; (i+128) <= *mlen; i += 128) {           
        //decryption: the first 32 bytes            
        msg0 = _mm_load_si128((__m128i*)(c+i+0));   
        msg1 = _mm_load_si128((__m128i*)(c+i+16));  
        
        msg0 = _mm_xor_si128(msg0, state[6]);
        msg0 = _mm_xor_si128(msg0, state[1]);
        msg1 = _mm_xor_si128(msg1, state[2]);
        msg1 = _mm_xor_si128(msg1, state[5]);
        msg0 = _mm_xor_si128(msg0, _mm_and_si128(state[2], state[3])); 
        msg1 = _mm_xor_si128(msg1, _mm_and_si128(state[6], state[7])); 
        _mm_store_si128((__m128i*)(m+i+0),  msg0);   
        _mm_store_si128((__m128i*)(m+i+16), msg1);   

        //state update function  
        tmp = state[7];  
        state[7] = _mm_aesenc_si128(state[6],state[7]); 
        state[6] = _mm_aesenc_si128(state[5],state[6]); 
        state[5] = _mm_aesenc_si128(state[4],state[5]);  
        state[4] = _mm_aesenc_si128(state[3],state[4]);  
        state[3] = _mm_aesenc_si128(state[2],state[3]); 
        state[2] = _mm_aesenc_si128(state[1],state[2]); 
        state[1] = _mm_aesenc_si128(state[0],state[1]); 
        state[0] = _mm_aesenc_si128(tmp,state[0]); 

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg0);
        state[4] = _mm_xor_si128(state[4],msg1);  


        //decryption: the second 32 bytes   
        msg2 = _mm_load_si128((__m128i*)(c+i+32));
        msg3 = _mm_load_si128((__m128i*)(c+i+48));
        
        msg2 = _mm_xor_si128(msg2, state[6]);
        msg2 = _mm_xor_si128(msg2, state[1]);
        msg3 = _mm_xor_si128(msg3, state[2]);
        msg3 = _mm_xor_si128(msg3, state[5]);
        msg2 = _mm_xor_si128(msg2, _mm_and_si128(state[2], state[3]));
        msg3 = _mm_xor_si128(msg3, _mm_and_si128(state[6], state[7]));
        _mm_store_si128((__m128i*)(m+i+32), msg2);
        _mm_store_si128((__m128i*)(m+i+48), msg3);

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg2);
        state[4] = _mm_xor_si128(state[4],msg3);  

        //decryption: the third 32 bytes            
        msg0 = _mm_load_si128((__m128i*)(c+i+64));   
        msg1 = _mm_load_si128((__m128i*)(c+i+80));  
        
        msg0 = _mm_xor_si128(msg0, state[6]);
        msg0 = _mm_xor_si128(msg0, state[1]);
        msg1 = _mm_xor_si128(msg1, state[2]);
        msg1 = _mm_xor_si128(msg1, state[5]);
        msg0 = _mm_xor_si128(msg0, _mm_and_si128(state[2], state[3])); 
        msg1 = _mm_xor_si128(msg1, _mm_and_si128(state[6], state[7])); 
        _mm_store_si128((__m128i*)(m+i+64),  msg0);   
        _mm_store_si128((__m128i*)(m+i+80), msg1);   

        //state update function  
        tmp = state[7];  
        state[7] = _mm_aesenc_si128(state[6],state[7]); 
        state[6] = _mm_aesenc_si128(state[5],state[6]); 
        state[5] = _mm_aesenc_si128(state[4],state[5]);  
        state[4] = _mm_aesenc_si128(state[3],state[4]);  
        state[3] = _mm_aesenc_si128(state[2],state[3]); 
        state[2] = _mm_aesenc_si128(state[1],state[2]); 
        state[1] = _mm_aesenc_si128(state[0],state[1]); 
        state[0] = _mm_aesenc_si128(tmp,state[0]); 

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg0);
        state[4] = _mm_xor_si128(state[4],msg1);  


        //decryption: the fourth 32 bytes   
        msg2 = _mm_load_si128((__m128i*)(c+i+96));
        msg3 = _mm_load_si128((__m128i*)(c+i+112));
        
        msg2 = _mm_xor_si128(msg2, state[6]);
        msg2 = _mm_xor_si128(msg2, state[1]);
        msg3 = _mm_xor_si128(msg3, state[2]);
        msg3 = _mm_xor_si128(msg3, state[5]);
        msg2 = _mm_xor_si128(msg2, _mm_and_si128(state[2], state[3]));
        msg3 = _mm_xor_si128(msg3, _mm_and_si128(state[6], state[7]));
        _mm_store_si128((__m128i*)(m+i+96), msg2);
        _mm_store_si128((__m128i*)(m+i+112), msg3);

        //state update function
        tmp = state[7];
        state[7] = _mm_aesenc_si128(state[6],state[7]);
        state[6] = _mm_aesenc_si128(state[5],state[6]);
        state[5] = _mm_aesenc_si128(state[4],state[5]);
        state[4] = _mm_aesenc_si128(state[3],state[4]);
        state[3] = _mm_aesenc_si128(state[2],state[3]);
        state[2] = _mm_aesenc_si128(state[1],state[2]);
        state[1] = _mm_aesenc_si128(state[0],state[1]);
        state[0] = _mm_aesenc_si128(tmp,state[0]);

        //message is used to update the state.
        state[0] = _mm_xor_si128(state[0],msg2);
        state[4] = _mm_xor_si128(state[4],msg3);  

    }

    if ( (*mlen & 0x7f) != 0 ) aegis128L_dec_partial(state, m+i, *mlen & 0x7f, c+i); 

    //we assume that the tag length is multiple of bytes
    aegis128L_tag_generation(*mlen, adlen, 16, tag, state);

    //verification
    for (i = 0; i  < 16; i++) check |= (tag[i] ^ c[i+*mlen]);
    if (check == 0) return 0;
    else return -1;  
}

// Assembly:
subq $0x1118, %rsp           # imm = 0x1118
movq 0x1130(%rsp), %rax
movq 0x1128(%rsp), %rax
movq 0x1120(%rsp), %rax
movq %rdi, 0x180(%rsp)
movq %rsi, 0x178(%rsp)
movq %rdx, 0x170(%rsp)
movq %rcx, 0x168(%rsp)
movq %r8, 0x160(%rsp)
movq %r9, 0x158(%rsp)
movb $0x0, 0xff(%rsp)
cmpq $0x10, 0x160(%rsp)
jae 0x53b2
movl $0xffffffff, 0x18c(%rsp) # imm = 0xFFFFFFFF
jmp 0x75d6
movq 0x1130(%rsp), %rdi
movq 0x1128(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0x1040
movq $0x0, 0x150(%rsp)
movq 0x150(%rsp), %rax
addq $0x80, %rax
cmpq 0x1120(%rsp), %rax
ja 0x5fcb
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
movq %rax, 0x208(%rsp)
movq 0x208(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x30(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x200(%rsp)
movq 0x200(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xf00(%rsp)
vmovdqa %xmm0, 0xef0(%rsp)
vmovdqa 0xf00(%rsp), %xmm0
vmovdqa 0xef0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0xee0(%rsp)
vmovdqa %xmm0, 0xed0(%rsp)
vmovdqa 0xee0(%rsp), %xmm0
vmovdqa 0xed0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0xec0(%rsp)
vmovdqa %xmm0, 0xeb0(%rsp)
vmovdqa 0xec0(%rsp), %xmm0
vmovdqa 0xeb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0xea0(%rsp)
vmovdqa %xmm0, 0xe90(%rsp)
vmovdqa 0xea0(%rsp), %xmm0
vmovdqa 0xe90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0xe80(%rsp)
vmovdqa %xmm0, 0xe70(%rsp)
vmovdqa 0xe80(%rsp), %xmm0
vmovdqa 0xe70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0xe60(%rsp)
vmovdqa %xmm0, 0xe50(%rsp)
vmovdqa 0xe60(%rsp), %xmm0
vmovdqa 0xe50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xe40(%rsp)
vmovdqa %xmm0, 0xe30(%rsp)
vmovdqa 0xe40(%rsp), %xmm0
vmovdqa 0xe30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0xe20(%rsp)
vmovdqa %xmm0, 0xe10(%rsp)
vmovdqa 0xe20(%rsp), %xmm0
vmovdqa 0xe10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x700(%rsp)
vmovdqa %xmm0, 0x6f0(%rsp)
vmovdqa 0x700(%rsp), %xmm0
vpxor 0x6f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x20(%rsp), %xmm0
vmovdqa %xmm1, 0x6e0(%rsp)
vmovdqa %xmm0, 0x6d0(%rsp)
vmovdqa 0x6e0(%rsp), %xmm0
vpxor 0x6d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x1f8(%rsp)
movq 0x1f8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x10(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x30, %rax
movq %rax, 0x1f0(%rsp)
movq 0x1f0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xe00(%rsp)
vmovdqa %xmm0, 0xdf0(%rsp)
vmovdqa 0xe00(%rsp), %xmm0
vmovdqa 0xdf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0xde0(%rsp)
vmovdqa %xmm0, 0xdd0(%rsp)
vmovdqa 0xde0(%rsp), %xmm0
vmovdqa 0xdd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0xdc0(%rsp)
vmovdqa %xmm0, 0xdb0(%rsp)
vmovdqa 0xdc0(%rsp), %xmm0
vmovdqa 0xdb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0xda0(%rsp)
vmovdqa %xmm0, 0xd90(%rsp)
vmovdqa 0xda0(%rsp), %xmm0
vmovdqa 0xd90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0xd80(%rsp)
vmovdqa %xmm0, 0xd70(%rsp)
vmovdqa 0xd80(%rsp), %xmm0
vmovdqa 0xd70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0xd60(%rsp)
vmovdqa %xmm0, 0xd50(%rsp)
vmovdqa 0xd60(%rsp), %xmm0
vmovdqa 0xd50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xd40(%rsp)
vmovdqa %xmm0, 0xd30(%rsp)
vmovdqa 0xd40(%rsp), %xmm0
vmovdqa 0xd30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0xd20(%rsp)
vmovdqa %xmm0, 0xd10(%rsp)
vmovdqa 0xd20(%rsp), %xmm0
vmovdqa 0xd10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x6c0(%rsp)
vmovdqa %xmm0, 0x6b0(%rsp)
vmovdqa 0x6c0(%rsp), %xmm0
vpxor 0x6b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa (%rsp), %xmm0
vmovdqa %xmm1, 0x6a0(%rsp)
vmovdqa %xmm0, 0x690(%rsp)
vmovdqa 0x6a0(%rsp), %xmm0
vpxor 0x690(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x1e8(%rsp)
movq 0x1e8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x30(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x1e0(%rsp)
movq 0x1e0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xd00(%rsp)
vmovdqa %xmm0, 0xcf0(%rsp)
vmovdqa 0xd00(%rsp), %xmm0
vmovdqa 0xcf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0xce0(%rsp)
vmovdqa %xmm0, 0xcd0(%rsp)
vmovdqa 0xce0(%rsp), %xmm0
vmovdqa 0xcd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0xcc0(%rsp)
vmovdqa %xmm0, 0xcb0(%rsp)
vmovdqa 0xcc0(%rsp), %xmm0
vmovdqa 0xcb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0xca0(%rsp)
vmovdqa %xmm0, 0xc90(%rsp)
vmovdqa 0xca0(%rsp), %xmm0
vmovdqa 0xc90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0xc80(%rsp)
vmovdqa %xmm0, 0xc70(%rsp)
vmovdqa 0xc80(%rsp), %xmm0
vmovdqa 0xc70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0xc60(%rsp)
vmovdqa %xmm0, 0xc50(%rsp)
vmovdqa 0xc60(%rsp), %xmm0
vmovdqa 0xc50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xc40(%rsp)
vmovdqa %xmm0, 0xc30(%rsp)
vmovdqa 0xc40(%rsp), %xmm0
vmovdqa 0xc30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0xc20(%rsp)
vmovdqa %xmm0, 0xc10(%rsp)
vmovdqa 0xc20(%rsp), %xmm0
vmovdqa 0xc10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x680(%rsp)
vmovdqa %xmm0, 0x670(%rsp)
vmovdqa 0x680(%rsp), %xmm0
vpxor 0x670(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x20(%rsp), %xmm0
vmovdqa %xmm1, 0x660(%rsp)
vmovdqa %xmm0, 0x650(%rsp)
vmovdqa 0x660(%rsp), %xmm0
vpxor 0x650(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x60, %rax
movq %rax, 0x1d8(%rsp)
movq 0x1d8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x10(%rsp)
movq 0x158(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x70, %rax
movq %rax, 0x1d0(%rsp)
movq 0x1d0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xc00(%rsp)
vmovdqa %xmm0, 0xbf0(%rsp)
vmovdqa 0xc00(%rsp), %xmm0
vmovdqa 0xbf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0xbe0(%rsp)
vmovdqa %xmm0, 0xbd0(%rsp)
vmovdqa 0xbe0(%rsp), %xmm0
vmovdqa 0xbd0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0xbc0(%rsp)
vmovdqa %xmm0, 0xbb0(%rsp)
vmovdqa 0xbc0(%rsp), %xmm0
vmovdqa 0xbb0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0xba0(%rsp)
vmovdqa %xmm0, 0xb90(%rsp)
vmovdqa 0xba0(%rsp), %xmm0
vmovdqa 0xb90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0xb80(%rsp)
vmovdqa %xmm0, 0xb70(%rsp)
vmovdqa 0xb80(%rsp), %xmm0
vmovdqa 0xb70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0xb60(%rsp)
vmovdqa %xmm0, 0xb50(%rsp)
vmovdqa 0xb60(%rsp), %xmm0
vmovdqa 0xb50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xb40(%rsp)
vmovdqa %xmm0, 0xb30(%rsp)
vmovdqa 0xb40(%rsp), %xmm0
vmovdqa 0xb30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0xb20(%rsp)
vmovdqa %xmm0, 0xb10(%rsp)
vmovdqa 0xb20(%rsp), %xmm0
vmovdqa 0xb10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x640(%rsp)
vmovdqa %xmm0, 0x630(%rsp)
vmovdqa 0x640(%rsp), %xmm0
vpxor 0x630(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa (%rsp), %xmm0
vmovdqa %xmm1, 0x620(%rsp)
vmovdqa %xmm0, 0x610(%rsp)
vmovdqa 0x620(%rsp), %xmm0
vpxor 0x610(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x150(%rsp), %rax
addq $0x80, %rax
movq %rax, 0x150(%rsp)
jmp 0x53d8
movq 0x1120(%rsp), %rax
andq $0x7f, %rax
cmpq $0x0, %rax
je 0x6003
leaq 0x70(%rsp), %rdi
movq 0x158(%rsp), %rsi
addq 0x150(%rsp), %rsi
movq 0x1120(%rsp), %rdx
andq $0x7f, %rdx
callq 0x10b0
movq 0x160(%rsp), %rcx
subq $0x10, %rcx
movq 0x178(%rsp), %rax
movq %rcx, (%rax)
movq $0x0, 0x150(%rsp)
movq 0x150(%rsp), %rax
addq $0x80, %rax
movq 0x178(%rsp), %rcx
cmpq (%rcx), %rax
ja 0x74ca
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
movq %rax, 0x1c8(%rsp)
movq 0x1c8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x30(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x1c0(%rsp)
movq 0x1c0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x600(%rsp)
vmovdqa %xmm0, 0x5f0(%rsp)
vmovdqa 0x600(%rsp), %xmm0
vpxor 0x5f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x5e0(%rsp)
vmovdqa %xmm0, 0x5d0(%rsp)
vmovdqa 0x5e0(%rsp), %xmm0
vpxor 0x5d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x5c0(%rsp)
vmovdqa %xmm0, 0x5b0(%rsp)
vmovdqa 0x5c0(%rsp), %xmm0
vpxor 0x5b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x5a0(%rsp)
vmovdqa %xmm0, 0x590(%rsp)
vmovdqa 0x5a0(%rsp), %xmm0
vpxor 0x590(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm2
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm2, 0x1100(%rsp)
vmovdqa %xmm0, 0x10f0(%rsp)
vmovdqa 0x1100(%rsp), %xmm0
vpand 0x10f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x580(%rsp)
vmovdqa %xmm0, 0x570(%rsp)
vmovdqa 0x580(%rsp), %xmm0
vpxor 0x570(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm2
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm2, 0x10e0(%rsp)
vmovdqa %xmm0, 0x10d0(%rsp)
vmovdqa 0x10e0(%rsp), %xmm0
vpand 0x10d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x560(%rsp)
vmovdqa %xmm0, 0x550(%rsp)
vmovdqa 0x560(%rsp), %xmm0
vpxor 0x550(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
vmovdqa 0x30(%rsp), %xmm0
movq %rax, 0x1008(%rsp)
vmovdqa %xmm0, 0xff0(%rsp)
vmovdqa 0xff0(%rsp), %xmm0
movq 0x1008(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x10, %rax
vmovdqa 0x20(%rsp), %xmm0
movq %rax, 0xfe8(%rsp)
vmovdqa %xmm0, 0xfd0(%rsp)
vmovdqa 0xfd0(%rsp), %xmm0
movq 0xfe8(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xb00(%rsp)
vmovdqa %xmm0, 0xaf0(%rsp)
vmovdqa 0xb00(%rsp), %xmm0
vmovdqa 0xaf0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0xae0(%rsp)
vmovdqa %xmm0, 0xad0(%rsp)
vmovdqa 0xae0(%rsp), %xmm0
vmovdqa 0xad0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0xac0(%rsp)
vmovdqa %xmm0, 0xab0(%rsp)
vmovdqa 0xac0(%rsp), %xmm0
vmovdqa 0xab0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0xaa0(%rsp)
vmovdqa %xmm0, 0xa90(%rsp)
vmovdqa 0xaa0(%rsp), %xmm0
vmovdqa 0xa90(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0xa80(%rsp)
vmovdqa %xmm0, 0xa70(%rsp)
vmovdqa 0xa80(%rsp), %xmm0
vmovdqa 0xa70(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0xa60(%rsp)
vmovdqa %xmm0, 0xa50(%rsp)
vmovdqa 0xa60(%rsp), %xmm0
vmovdqa 0xa50(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0xa40(%rsp)
vmovdqa %xmm0, 0xa30(%rsp)
vmovdqa 0xa40(%rsp), %xmm0
vmovdqa 0xa30(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0xa20(%rsp)
vmovdqa %xmm0, 0xa10(%rsp)
vmovdqa 0xa20(%rsp), %xmm0
vmovdqa 0xa10(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x540(%rsp)
vmovdqa %xmm0, 0x530(%rsp)
vmovdqa 0x540(%rsp), %xmm0
vpxor 0x530(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x20(%rsp), %xmm0
vmovdqa %xmm1, 0x520(%rsp)
vmovdqa %xmm0, 0x510(%rsp)
vmovdqa 0x520(%rsp), %xmm0
vpxor 0x510(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x10(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x30, %rax
movq %rax, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x500(%rsp)
vmovdqa %xmm0, 0x4f0(%rsp)
vmovdqa 0x500(%rsp), %xmm0
vpxor 0x4f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x4e0(%rsp)
vmovdqa %xmm0, 0x4d0(%rsp)
vmovdqa 0x4e0(%rsp), %xmm0
vpxor 0x4d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x4c0(%rsp)
vmovdqa %xmm0, 0x4b0(%rsp)
vmovdqa 0x4c0(%rsp), %xmm0
vpxor 0x4b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x4a0(%rsp)
vmovdqa %xmm0, 0x490(%rsp)
vmovdqa 0x4a0(%rsp), %xmm0
vpxor 0x490(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm2
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm2, 0x10c0(%rsp)
vmovdqa %xmm0, 0x10b0(%rsp)
vmovdqa 0x10c0(%rsp), %xmm0
vpand 0x10b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x480(%rsp)
vmovdqa %xmm0, 0x470(%rsp)
vmovdqa 0x480(%rsp), %xmm0
vpxor 0x470(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm2
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm2, 0x10a0(%rsp)
vmovdqa %xmm0, 0x1090(%rsp)
vmovdqa 0x10a0(%rsp), %xmm0
vpand 0x1090(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x460(%rsp)
vmovdqa %xmm0, 0x450(%rsp)
vmovdqa 0x460(%rsp), %xmm0
vpxor 0x450(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x20, %rax
vmovdqa 0x10(%rsp), %xmm0
movq %rax, 0xfc8(%rsp)
vmovdqa %xmm0, 0xfb0(%rsp)
vmovdqa 0xfb0(%rsp), %xmm0
movq 0xfc8(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x30, %rax
vmovdqa (%rsp), %xmm0
movq %rax, 0xfa8(%rsp)
vmovdqa %xmm0, 0xf90(%rsp)
vmovdqa 0xf90(%rsp), %xmm0
movq 0xfa8(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0xa00(%rsp)
vmovdqa %xmm0, 0x9f0(%rsp)
vmovdqa 0xa00(%rsp), %xmm0
vmovdqa 0x9f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x9e0(%rsp)
vmovdqa %xmm0, 0x9d0(%rsp)
vmovdqa 0x9e0(%rsp), %xmm0
vmovdqa 0x9d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x9c0(%rsp)
vmovdqa %xmm0, 0x9b0(%rsp)
vmovdqa 0x9c0(%rsp), %xmm0
vmovdqa 0x9b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0x9a0(%rsp)
vmovdqa %xmm0, 0x990(%rsp)
vmovdqa 0x9a0(%rsp), %xmm0
vmovdqa 0x990(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x980(%rsp)
vmovdqa %xmm0, 0x970(%rsp)
vmovdqa 0x980(%rsp), %xmm0
vmovdqa 0x970(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x960(%rsp)
vmovdqa %xmm0, 0x950(%rsp)
vmovdqa 0x960(%rsp), %xmm0
vmovdqa 0x950(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x940(%rsp)
vmovdqa %xmm0, 0x930(%rsp)
vmovdqa 0x940(%rsp), %xmm0
vmovdqa 0x930(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x920(%rsp)
vmovdqa %xmm0, 0x910(%rsp)
vmovdqa 0x920(%rsp), %xmm0
vmovdqa 0x910(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x440(%rsp)
vmovdqa %xmm0, 0x430(%rsp)
vmovdqa 0x440(%rsp), %xmm0
vpxor 0x430(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa (%rsp), %xmm0
vmovdqa %xmm1, 0x420(%rsp)
vmovdqa %xmm0, 0x410(%rsp)
vmovdqa 0x420(%rsp), %xmm0
vpxor 0x410(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x1a8(%rsp)
movq 0x1a8(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x30(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x50, %rax
movq %rax, 0x1a0(%rsp)
movq 0x1a0(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x400(%rsp)
vmovdqa %xmm0, 0x3f0(%rsp)
vmovdqa 0x400(%rsp), %xmm0
vpxor 0x3f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x3e0(%rsp)
vmovdqa %xmm0, 0x3d0(%rsp)
vmovdqa 0x3e0(%rsp), %xmm0
vpxor 0x3d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x3c0(%rsp)
vmovdqa %xmm0, 0x3b0(%rsp)
vmovdqa 0x3c0(%rsp), %xmm0
vpxor 0x3b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x3a0(%rsp)
vmovdqa %xmm0, 0x390(%rsp)
vmovdqa 0x3a0(%rsp), %xmm0
vpxor 0x390(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
vmovdqa 0x30(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm2
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm2, 0x1080(%rsp)
vmovdqa %xmm0, 0x1070(%rsp)
vmovdqa 0x1080(%rsp), %xmm0
vpand 0x1070(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x380(%rsp)
vmovdqa %xmm0, 0x370(%rsp)
vmovdqa 0x380(%rsp), %xmm0
vpxor 0x370(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x30(%rsp)
vmovdqa 0x20(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm2
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm2, 0x1060(%rsp)
vmovdqa %xmm0, 0x1050(%rsp)
vmovdqa 0x1060(%rsp), %xmm0
vpand 0x1050(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x360(%rsp)
vmovdqa %xmm0, 0x350(%rsp)
vmovdqa 0x360(%rsp), %xmm0
vpxor 0x350(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x20(%rsp)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x40, %rax
vmovdqa 0x30(%rsp), %xmm0
movq %rax, 0xf88(%rsp)
vmovdqa %xmm0, 0xf70(%rsp)
vmovdqa 0xf70(%rsp), %xmm0
movq 0xf88(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x50, %rax
vmovdqa 0x20(%rsp), %xmm0
movq %rax, 0xf68(%rsp)
vmovdqa %xmm0, 0xf50(%rsp)
vmovdqa 0xf50(%rsp), %xmm0
movq 0xf68(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0x900(%rsp)
vmovdqa %xmm0, 0x8f0(%rsp)
vmovdqa 0x900(%rsp), %xmm0
vmovdqa 0x8f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x8e0(%rsp)
vmovdqa %xmm0, 0x8d0(%rsp)
vmovdqa 0x8e0(%rsp), %xmm0
vmovdqa 0x8d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x8c0(%rsp)
vmovdqa %xmm0, 0x8b0(%rsp)
vmovdqa 0x8c0(%rsp), %xmm0
vmovdqa 0x8b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0x8a0(%rsp)
vmovdqa %xmm0, 0x890(%rsp)
vmovdqa 0x8a0(%rsp), %xmm0
vmovdqa 0x890(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x880(%rsp)
vmovdqa %xmm0, 0x870(%rsp)
vmovdqa 0x880(%rsp), %xmm0
vmovdqa 0x870(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x860(%rsp)
vmovdqa %xmm0, 0x850(%rsp)
vmovdqa 0x860(%rsp), %xmm0
vmovdqa 0x850(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x840(%rsp)
vmovdqa %xmm0, 0x830(%rsp)
vmovdqa 0x840(%rsp), %xmm0
vmovdqa 0x830(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x820(%rsp)
vmovdqa %xmm0, 0x810(%rsp)
vmovdqa 0x820(%rsp), %xmm0
vmovdqa 0x810(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x30(%rsp), %xmm0
vmovdqa %xmm1, 0x340(%rsp)
vmovdqa %xmm0, 0x330(%rsp)
vmovdqa 0x340(%rsp), %xmm0
vpxor 0x330(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0x20(%rsp), %xmm0
vmovdqa %xmm1, 0x320(%rsp)
vmovdqa %xmm0, 0x310(%rsp)
vmovdqa 0x320(%rsp), %xmm0
vpxor 0x310(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x60, %rax
movq %rax, 0x198(%rsp)
movq 0x198(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, 0x10(%rsp)
movq 0x168(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x70, %rax
movq %rax, 0x190(%rsp)
movq 0x190(%rsp), %rax
vmovdqa (%rax), %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x300(%rsp)
vmovdqa %xmm0, 0x2f0(%rsp)
vmovdqa 0x300(%rsp), %xmm0
vpxor 0x2f0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x2e0(%rsp)
vmovdqa %xmm0, 0x2d0(%rsp)
vmovdqa 0x2e0(%rsp), %xmm0
vpxor 0x2d0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x2c0(%rsp)
vmovdqa %xmm0, 0x2b0(%rsp)
vmovdqa 0x2c0(%rsp), %xmm0
vpxor 0x2b0(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x2a0(%rsp)
vmovdqa %xmm0, 0x290(%rsp)
vmovdqa 0x2a0(%rsp), %xmm0
vpxor 0x290(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
vmovdqa 0x10(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm2
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm2, 0x1040(%rsp)
vmovdqa %xmm0, 0x1030(%rsp)
vmovdqa 0x1040(%rsp), %xmm0
vpand 0x1030(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x280(%rsp)
vmovdqa %xmm0, 0x270(%rsp)
vmovdqa 0x280(%rsp), %xmm0
vpxor 0x270(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x10(%rsp)
vmovdqa (%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm2
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm2, 0x1020(%rsp)
vmovdqa %xmm0, 0x1010(%rsp)
vmovdqa 0x1020(%rsp), %xmm0
vpand 0x1010(%rsp), %xmm0, %xmm0
vmovdqa %xmm1, 0x260(%rsp)
vmovdqa %xmm0, 0x250(%rsp)
vmovdqa 0x260(%rsp), %xmm0
vpxor 0x250(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, (%rsp)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x60, %rax
vmovdqa 0x10(%rsp), %xmm0
movq %rax, 0xf48(%rsp)
vmovdqa %xmm0, 0xf30(%rsp)
vmovdqa 0xf30(%rsp), %xmm0
movq 0xf48(%rsp), %rax
vmovdqa %xmm0, (%rax)
movq 0x180(%rsp), %rax
addq 0x150(%rsp), %rax
addq $0x70, %rax
vmovdqa (%rsp), %xmm0
movq %rax, 0xf28(%rsp)
vmovdqa %xmm0, 0xf10(%rsp)
vmovdqa 0xf10(%rsp), %xmm0
movq 0xf28(%rsp), %rax
vmovdqa %xmm0, (%rax)
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm0, 0x60(%rsp)
vmovdqa 0xd0(%rsp), %xmm1
vmovdqa 0xe0(%rsp), %xmm0
vmovdqa %xmm1, 0x800(%rsp)
vmovdqa %xmm0, 0x7f0(%rsp)
vmovdqa 0x800(%rsp), %xmm0
vmovdqa 0x7f0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xe0(%rsp)
vmovdqa 0xc0(%rsp), %xmm1
vmovdqa 0xd0(%rsp), %xmm0
vmovdqa %xmm1, 0x7e0(%rsp)
vmovdqa %xmm0, 0x7d0(%rsp)
vmovdqa 0x7e0(%rsp), %xmm0
vmovdqa 0x7d0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xd0(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa 0xc0(%rsp), %xmm0
vmovdqa %xmm1, 0x7c0(%rsp)
vmovdqa %xmm0, 0x7b0(%rsp)
vmovdqa 0x7c0(%rsp), %xmm0
vmovdqa 0x7b0(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xc0(%rsp)
vmovdqa 0xa0(%rsp), %xmm1
vmovdqa 0xb0(%rsp), %xmm0
vmovdqa %xmm1, 0x7a0(%rsp)
vmovdqa %xmm0, 0x790(%rsp)
vmovdqa 0x7a0(%rsp), %xmm0
vmovdqa 0x790(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
vmovdqa 0x90(%rsp), %xmm1
vmovdqa 0xa0(%rsp), %xmm0
vmovdqa %xmm1, 0x780(%rsp)
vmovdqa %xmm0, 0x770(%rsp)
vmovdqa 0x780(%rsp), %xmm0
vmovdqa 0x770(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa0(%rsp)
vmovdqa 0x80(%rsp), %xmm1
vmovdqa 0x90(%rsp), %xmm0
vmovdqa %xmm1, 0x760(%rsp)
vmovdqa %xmm0, 0x750(%rsp)
vmovdqa 0x760(%rsp), %xmm0
vmovdqa 0x750(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x90(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x80(%rsp), %xmm0
vmovdqa %xmm1, 0x740(%rsp)
vmovdqa %xmm0, 0x730(%rsp)
vmovdqa 0x740(%rsp), %xmm0
vmovdqa 0x730(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x80(%rsp)
vmovdqa 0x60(%rsp), %xmm1
vmovdqa 0x70(%rsp), %xmm0
vmovdqa %xmm1, 0x720(%rsp)
vmovdqa %xmm0, 0x710(%rsp)
vmovdqa 0x720(%rsp), %xmm0
vmovdqa 0x710(%rsp), %xmm1
vaesenc %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0x70(%rsp), %xmm1
vmovdqa 0x10(%rsp), %xmm0
vmovdqa %xmm1, 0x240(%rsp)
vmovdqa %xmm0, 0x230(%rsp)
vmovdqa 0x240(%rsp), %xmm0
vpxor 0x230(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0x70(%rsp)
vmovdqa 0xb0(%rsp), %xmm1
vmovdqa (%rsp), %xmm0
vmovdqa %xmm1, 0x220(%rsp)
vmovdqa %xmm0, 0x210(%rsp)
vmovdqa 0x220(%rsp), %xmm0
vpxor 0x210(%rsp), %xmm0, %xmm0
vmovdqa %xmm0, 0xb0(%rsp)
movq 0x150(%rsp), %rax
addq $0x80, %rax
movq %rax, 0x150(%rsp)
jmp 0x6026
movq 0x178(%rsp), %rax
movq (%rax), %rax
andq $0x7f, %rax
cmpq $0x0, %rax
je 0x7518
leaq 0x70(%rsp), %rdi
movq 0x180(%rsp), %rsi
addq 0x150(%rsp), %rsi
movq 0x178(%rsp), %rax
movq (%rax), %rdx
andq $0x7f, %rdx
movq 0x168(%rsp), %rcx
addq 0x150(%rsp), %rcx
callq 0x10d0
movq 0x178(%rsp), %rax
movq (%rax), %rdi
movq 0x1120(%rsp), %rsi
leaq 0x100(%rsp), %rcx
leaq 0x70(%rsp), %r8
movl $0x10, %edx
callq 0x1080
movq $0x0, 0x150(%rsp)
cmpq $0x10, 0x150(%rsp)
jae 0x75b1
movq 0x150(%rsp), %rax
movzbl 0x100(%rsp,%rax), %ecx
movq 0x168(%rsp), %rax
movq 0x150(%rsp), %rdx
movq 0x178(%rsp), %rsi
addq (%rsi), %rdx
movzbl (%rax,%rdx), %eax
xorl %eax, %ecx
movzbl 0xff(%rsp), %eax
orl %ecx, %eax
movb %al, 0xff(%rsp)
movq 0x150(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x150(%rsp)
jmp 0x754e
movzbl 0xff(%rsp), %eax
cmpl $0x0, %eax
jne 0x75cb
movl $0x0, 0x18c(%rsp)
jmp 0x75d6
movl $0xffffffff, 0x18c(%rsp) # imm = 0xFFFFFFFF
movl 0x18c(%rsp), %eax
addq $0x1118, %rsp           # imm = 0x1118
retq
nopw %cs:(%rax,%rax)
nop