// File: /workspace/github_c_makefile_star2_O1/mjosaarinen[P]brutus/crypto_aead/pi64cipher256v2wideblock16KB/ref/encrypt.c
// Function: crypto_aead_encrypt
int crypto_aead_encrypt(
unsigned char *c,unsigned long long *clen,
const unsigned char *m,unsigned long long mlen,
const unsigned char *ad,unsigned long long adlen,
const unsigned char *nsec,
const unsigned char *npub,
const unsigned char *k
)
{
 //...
 //... the code for the cipher implementation goes here,
 //... generating a ciphertext c[0],c[1],...,c[*clen-1]
 //... from a plaintext m[0],m[1],...,m[mlen-1]
 //... and associated data ad[0],ad[1],...,ad[adlen-1]
 //... and secret message number nsec[0],nsec[1],...
 //... and public message number npub[0],npub[1],...
 //... and secret key k[0],k[1],...
 //...

 // some 64-bit temp variables
 u_int64_t  t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13;
 // more 64-bit temp variables
 u_int64_t  x0, x1, x2, x3, y0, y1, y2, y3, z0, z1, z2, z3;
 // pointers to 64-bit variables
 u_int64_t  *c64, *m64, *ad64, *nsec64, *npub64, *k64;
 // counter ctr is a 64-bit variable in all variants of PiCipher
 u_int64_t  ctr = 0x0000000000000000ull;
 // an array for storing some temporal values for the Tag computation
 u_int64_t  tempTag[CRYPTO_ABYTES/W] = {0};
 // an array for the Common Internal State
 u_int64_t  CIS[IS_SIZE] = {0};
 // pointers that look at the used data arrays as arrays of bytes
 u_int8_t   *InternalState8, *CommonInternalState8, *tempTag8;
 // variables for dealing with various lengths of the plaintext and associated data
 int        LastMessageChunkLength, LastADChunkLength;
 // different iterator variables
 unsigned long long i, j, jj, ii, b, i1, j1, a;

 c64    = (u_int64_t *) c;
 m64    = (u_int64_t *) m;
 ad64   = (u_int64_t *) ad;
 nsec64 = (u_int64_t *) nsec;
 npub64 = (u_int64_t *) npub;
 k64    = (u_int64_t *) k;
 InternalState8       = (u_int8_t *) IS;
 CommonInternalState8 = (u_int8_t *) CIS;
 tempTag8             = (u_int8_t *) tempTag;

 // phase 1: Initialization
 for (i = 0; i < IS_SIZE; i++ ) {
	 IS[i] = 0;
 }
 // injection of the key
 for ( i = 0; i < CRYPTO_KEYBYTES; i++ ) {
	 InternalState8[i] = k[i];
 }
 // injection of the nonce (public message number - PMN)
 for ( j = 0; j < CRYPTO_NPUBBYTES; j++ ) {
	 InternalState8[i] = npub[j];
	 i++;
 }
 // appending a single 1 to the concatenated value of the key and PMN
 InternalState8[i] = 0x01;

 // applying the permutation function pi
 pi();

 // initialization of the Common Internal State (CIS), common for all parallel invocations of pi() with different ctrs
 for ( i = 0; i < IS_SIZE; i++ ) {
	CIS[i] = IS[i];
 }

 // initialization of the ctr obtained from the first 64 bits of the capacity of CIS
 ctr = CIS[4];

 // phase 2: Processing the associated data
 b = 0;
 a = adlen/RATE;
 for ( j = 0; j < a; j ++ ) {
	 // IS for the triplex component is initialized by the CIS for every AD block
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr ++;
	// Inject ctr + j in IS
	IS[0] = IS[0] ^ ctr;
	pi();
	// process the AD block
	// Inject the AD block
	for ( i = 0; i < N; i += 2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			IS[i*WORDS_CHUNK+i1] = IS[i*WORDS_CHUNK+i1] ^ ad64[b];
			b++;
		}
	}
	pi();
	// Collect the tag for this block
	// Sum of the tags componentwise, where the length of one component is W
	jj = 0;
	for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	}
 }
 // if the last AD block is not the full block, we process it byte by byte
 LastADChunkLength = adlen % RATE;
 if ( LastADChunkLength ) {
	 b = b * W;
	 i1 = 0;
	 for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	 }
	 ctr++;
	 IS[0] = IS[0] ^ ctr;
	 pi();
	 for ( i = 0; i < LastADChunkLength; i++ ) {
		 InternalState8[i1] = InternalState8[i1] ^ ad[b+i];
		 i1++;
		 if( i1 % (RATE_OUT) == 0 ) i1 += RATE_OUT;
	 }
	 // padding with 10*
	 InternalState8[LastADChunkLength] = InternalState8[LastADChunkLength] ^ 0x01;
	 pi();
	 //updating the tag
	 jj = 0;
	 for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	 }
 }
 // if the AD is full blocks we still need to append 10* and it is done in an additional block
 else{
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr++;
	IS[0] = IS[0] ^ ctr;
	pi();
	// padding with 10*
	InternalState8[0] = InternalState8[0] ^ 0x01;
	pi();
	//updating the tag
	jj = 0;
	for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	}
 }
 // updating the Common Internal State by injection of the tag (tempTag) obtained from the associated data
 jj = 0;
 for ( i = 0; i < NTag; i+=2 ) {
	for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
		IS[i*WORDS_CHUNK+i1] = CIS[i*WORDS_CHUNK+i1] ^ tempTag[jj];
		IS[(i+1)*WORDS_CHUNK+i1] = CIS[(i+1)*WORDS_CHUNK+i1];
		jj++;
	}
 }
 pi();
 for ( i = 0; i < IS_SIZE; i++ ) {
	CIS[i] = IS[i];
 }

 // phase 3: Processing the secret message number
 if ( CRYPTO_NSECBYTES > 0 ) {
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr++;
	IS[0] = IS[0] ^ ctr;
	pi();
	// encrypt the SMN
	// Inject the SMN
	i1 = 0;
	for ( i = 0; i < CRYPTO_NSECBYTES; i++ ) {
		 c[i] = InternalState8[i1] = InternalState8[i1] ^ nsec[i];
		 i1++;
		 if( i1 % (RATE_OUT) == 0 ) i1 += RATE_OUT;
	 }
	 // padding with 10*
	 InternalState8[CRYPTO_NSECBYTES] = InternalState8[CRYPTO_NSECBYTES] ^ 0x01;
	 pi();
	 
	// updating the Common Internal State from the encrypted SMN
	for ( i = 0; i < IS_SIZE; i++ ) {
		CIS[i] = IS[i];
	}
	// Collect the tag from this encryption and update the tempTag
	jj = 0;
	for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	}
 }

 //phase 4: Processing the message
 b = 0;
 for ( j = 0; j < mlen/RATE ; j ++ ) {
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr++;
	IS[0] = IS[0] ^ ctr;
	pi();
	// encrypt the message m
	// Inject a block of m
	for ( i = 0; i < N; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			c64[bSMN+b] = IS[i*WORDS_CHUNK+i1] = IS[i*WORDS_CHUNK+i1] ^ m64[b];
			b++;
		}
	}
	pi();
	// Collect the tag from this encryption and update the tempTag
	jj = 0;
	for ( i = 0; i < NTag; i += 2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	}
 }
 // if the last message block is not the full block, we process it byte by byte
 LastMessageChunkLength = mlen % RATE;
 if ( LastMessageChunkLength ) {
	 b = b * W;
	 i1 = 0;
	 for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	 }
	 ctr++;
	 IS[0] = IS[0] ^ ctr;
	 pi();
	 for ( i = 0; i < LastMessageChunkLength; i++ ) {
		 c[CRYPTO_NSECBYTES+b+i] = InternalState8[i1] = InternalState8[i1] ^ m[b+i];
		 i1++;
		 if( i1 % (WORDS_CHUNK*W) == 0 ) i1 += WORDS_CHUNK*W;
	 }
	 // padding with 10*
	 InternalState8[LastMessageChunkLength] = InternalState8[LastMessageChunkLength] ^ 0x01;
	 pi();
	 // updating the tag
	 jj = 0;
	 for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	 }
 }
 // if the message M is full blocks we still need to append 10* and it is done in an additional block
 else{
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr++;
	IS[0] = IS[0] ^ ctr;
	pi();
	// padding with 10*
	InternalState8[0] = InternalState8[0] ^ 0x01;
	pi();
	//updating the tag
	jj = 0;
	for ( i = 0; i < NTag; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
			tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK+i1];
			jj++;
		}
	}
 }

 // concatenation of the tag T to the ciphertext c
 for ( jj = 0; jj < CRYPTO_ABYTES; jj++ ) {
	c[CRYPTO_NSECBYTES+mlen+jj] = tempTag8[jj];
 }

 //updating the length of the ciphertext
 *clen = mlen + CRYPTO_ABYTES + CRYPTO_NSECBYTES;

  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa078, %rsp           # imm = 0xA078
movq %r9, 0x20(%rsp)
movq %r8, 0x38(%rsp)
movq %rcx, %r12
movq %rdx, 0x58(%rsp)
movq %rsi, 0xa8(%rsp)
movq %rdi, 0x30(%rsp)
movq 0xa0c0(%rsp), %r14
movq 0xa0b8(%rsp), %rbx
leaq 0xd0(%rsp), %rdi
xorl %r15d, %r15d
movl $0x1fe0, %edx           # imm = 0x1FE0
xorl %esi, %esi
callq 0x1030
leaq 0x20b0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
xorl %esi, %esi
callq 0x1030
movq 0xde2a(%rip), %r13      # 0xeff8
movl $0x8000, %edx           # imm = 0x8000
movq %r13, %rdi
xorl %esi, %esi
callq 0x1030
movb (%r14,%r15), %al
movb %al, (%r13,%r15)
incq %r15
cmpq $0x20, %r15
jne 0x11dd
movq %r12, 0x40(%rsp)
xorl %eax, %eax
movb (%rbx,%rax), %cl
movb %cl, 0x20(%r13,%rax)
incq %rax
cmpq $0x40, %rax
jne 0x11f6
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
movb $0x1, 0x60(%r13)
xorl %eax, %eax
movq %rax, (%rsp)
movq %rax, %rcx
shlq $0x6, %rcx
movq 0xdda8(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rax
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rax, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rax
movq %rax, 0x8(%rsp)
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %r12
leaq (%r9,%rbp), %rax
addq %r12, %rax
addq %r9, %r8
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %r11, %rcx
addq %rcx, %r8
leaq (%r14,%r11), %rcx
addq %r12, %rcx
rorxq $0x29, %r8, %r8
rorxq $0x1b, %rcx, %rcx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rcx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %rax, %rax
xorq %rax, %r10
addq %rsi, %r10
xorq %rax, %r8
xorq %r8, %r9
addq 0x8(%rsp), %r9
xorq %rcx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq (%r13,%rdx), %rax
movq 0x8(%r13,%rdx), %rdi
movq 0x10(%r13,%rdx), %r8
leaq (%rdi,%rax), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%r13,%rdx), %r9
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%r9), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
addq %r15, %rax
addq %r9, %rax
rorxq $0x21, %rax, %rax
addq %rdi, %r8
addq %rbx, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rax, %r8
xorq %rax, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %rax
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %r11
leaq (%r10,%rax), %r12
leaq (%r11,%rbp), %rcx
addq %r12, %rcx
movq 0x28(%r13,%rdx), %r14
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r14, %r15
addq %r15, %r10
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r14, %r15
addq %r12, %r15
movabsq $0x3a393635332e2d2b, %r12 # imm = 0x3A393635332E2D2B
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r15, %r15
addq %rax, %r11
addq %r12, %r14
addq %r11, %r14
rorxq $0x5, %r14, %rax
movq %rax, %r11
xorq %r15, %r11
movq %r11, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %rcx, %rcx
xorq %rcx, %r11
addq %r8, %r11
xorq %rcx, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %r15, %r10
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
addq %rdi, %r10
movq %r14, 0x38(%r13,%rdx)
movq %r11, 0x20(%r13,%rdx)
movq %rax, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x1370
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rcx
movq 0x7ff0(%r13), %rsi
leaq (%rcx,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %rdi # imm = 0xF0E8E4E2E1D8D4D2
addq %rsi, %rdi
addq %rdx, %rdi
rorxq $0x39, %rdi, %r9
movq 0x7ff8(%r13), %rdi
movabsq $-0x2e333536393a3c48, %r8 # imm = 0xD1CCCAC9C6C5C3B8
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x2d, %r8, %rdx
addq %rsi, %rax
addq %r15, %rax
addq %rdi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rsi
addq %rbx, %rdi
addq %rsi, %rdi
rorxq $0xb, %rdi, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xdabb(%rip), %rcx      # 0xeff0
movq 0x8(%rsp), %r11
movq 0x30(%rcx,%r11,8), %rax
movq 0x38(%rcx,%r11,8), %r9
movq 0x20(%rcx,%r11,8), %r10
movq 0x28(%rcx,%r11,8), %r11
leaq (%rax,%r10), %rcx
leaq (%r9,%rbp), %r14
addq %rcx, %r14
addq %r9, %rax
movq %rbx, %rbp
movq %r15, %rbx
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r11, %r15
addq %r15, %rax
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r11, %r15
addq %rcx, %r15
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r15, %rax
addq %r10, %r9
addq %r12, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %rcx, %r11
addq %r8, %r11
rorxq $0x35, %r14, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %rcx
xorq %rcx, %r9
addq %rdx, %r9
xorq %rax, %rcx
addq %rsi, %rcx
movq %r11, 0x7ff8(%r13)
movq %r10, 0x7fe0(%r13)
movq %r9, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rax
movq 0x8(%r13,%rcx), %rsi
movq 0x10(%r13,%rcx), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %r8 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r13,%rcx), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %rbx, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
addq %rbp, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %rax
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r10
leaq (%r9,%rax), %r11
movabsq $-0x727478878b8d8e94, %r14 # imm = 0x8D8B87787472716C
addq %r10, %r14
addq %r11, %r14
movq 0x28(%r13,%rcx), %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %r15, %r12
addq %r11, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %r11
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r15
addq %r10, %r15
rorxq $0x5, %r15, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r10, (%r13,%rcx)
movq %rax, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x15e8
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movq %rbx, %r15
movq %rbp, %rbx
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
je 0x1236
vmovups (%r13), %ymm0
vmovups %ymm0, 0xb0(%rsp)
vmovdqu 0x20(%r13), %ymm0
vmovdqu %ymm0, 0x80(%rsp)
movq 0x20(%r13), %rax
movq %rax, 0x10(%rsp)
leaq 0x40(%r13), %rsi
leaq 0x20b0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq %rsi, 0x28(%rsp)
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
cmpq $0x4000, %rax           # imm = 0x4000
jae 0x17b7
vpxor %xmm0, %xmm0, %xmm0
vmovdqu %ymm0, 0x60(%rsp)
xorl %r12d, %r12d
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
jmp 0x2323
shrq $0xe, %rax
movq %rax, 0x48(%rsp)
vpxor %xmm0, %xmm0, %xmm0
vmovdqu %ymm0, 0x60(%rsp)
movq $0x0, 0x18(%rsp)
xorl %eax, %eax
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
movq %rax, 0x50(%rsp)
vmovups 0xb0(%rsp), %ymm0
vmovups %ymm0, (%r13)
vmovdqu 0x80(%rsp), %ymm0
vmovdqu %ymm0, 0x20(%r13)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x28(%rsp), %rdi
leaq 0x20b0(%rsp), %rsi
vzeroupper
callq 0x1070
movq 0x10(%rsp), %rax
incq %rax
movq %rax, 0x10(%rsp)
xorq %rax, (%r13)
xorl %eax, %eax
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
movq %rax, %rcx
movq %rax, (%rsp)
shlq $0x6, %rcx
movq 0xd7a5(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rax
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rax, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rax
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %r14
leaq (%r9,%rbp), %r15
addq %r14, %r15
addq %r9, %r8
movq %r12, %rcx
addq %r11, %r12
addq %r12, %r8
movabsq $0x5655534e4d4b473c, %rbx # imm = 0x5655534E4D4B473C
leaq (%rbx,%r11), %r12
addq %r14, %r12
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r12, %r14
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %r14, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r15, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rax, %r9
xorq %r14, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rax # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rax,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r11), %r14
addq %rsi, %r14
rorxq $0x2d, %r14, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rax # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %r14
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %r14, %r8
xorq %r14, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %r14
leaq (%r10,%r11), %r15
leaq (%r14,%rbp), %r12
addq %r15, %r12
movq 0x28(%r13,%rdx), %rax
addq %r14, %r10
addq %rcx, %r10
addq %rax, %r10
leaq (%rbx,%rax), %rbp
addq %r15, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r15
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %r14
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rax
addq %r14, %rax
rorxq $0x5, %rax, %rax
movq %rax, %r11
xorq %r15, %r11
movq %r11, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r12, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %r15, %r10
addq %rdi, %r10
movq %r14, 0x38(%r13,%rdx)
movq %r11, 0x20(%r13,%rdx)
movq %rax, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x1966
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rsi
movq 0x7ff0(%r13), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %r8 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r13), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
movabsq $-0x4b4d4e535556595b, %r10 # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %r10
addq %r10, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xd4b0(%rip), %r11      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%r11,%r14,8), %rax
movq 0x38(%r11,%r14,8), %r9
movq 0x20(%r11,%r14,8), %r10
movq 0x28(%r11,%r14,8), %r11
leaq (%rax,%r10), %r12
leaq (%r9,%rbp), %r14
addq %r12, %r14
addq %r9, %rax
addq %rcx, %rax
addq %r11, %rax
leaq (%rbx,%r11), %r15
addq %r12, %r15
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r15, %rax
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %rcx, %r11
addq %r8, %r11
rorxq $0x35, %r14, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %rcx
xorq %rcx, %r9
addq %rdx, %r9
xorq %rax, %rcx
addq %rsi, %rcx
movq %r11, 0x7ff8(%r13)
movq %r10, 0x7fe0(%r13)
movq %r9, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rax
movq 0x8(%r13,%rcx), %rsi
movq 0x10(%r13,%rcx), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %r8 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r13,%rcx), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
movabsq $-0x4b4d4e535556595b, %r10 # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %r10
addq %r10, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %rax
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r10
leaq (%r9,%rax), %r11
leaq (%r10,%rbp), %r14
addq %r11, %r14
movq 0x28(%r13,%rcx), %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rbx,%r15), %r12
addq %r11, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %r11
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r15
addq %r10, %r15
rorxq $0x5, %r15, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r10, (%r13,%rcx)
movq %rax, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x1be4
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x1839
movq %r13, %rax
xorl %edx, %edx
movq 0x38(%rsp), %r9
movq 0x18(%rsp), %r8
movq %r8, %rcx
leaq (,%r8,8), %r12
leaq (%r9,%r8,8), %rdi
xorl %esi, %esi
movq (%rdi,%rsi,8), %r8
xorq %r8, (%rax,%rsi,8)
incq %rsi
addq $0x8, %r12
cmpq $0x4, %rsi
jne 0x1d75
leaq 0x2(%rdx), %rdi
addq $0x40, %rax
leaq (%rcx,%rsi), %r8
cmpq $0x3fe, %rdx            # imm = 0x3FE
movq %rdi, %rdx
jb 0x1d64
addq %rsi, %rcx
movq %rcx, 0x18(%rsp)
xorl %ecx, %ecx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movq %rcx, (%rsp)
shlq $0x6, %rcx
movq 0xd22b(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rax
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rax, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rax
movq %rax, 0x8(%rsp)
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
movq %r14, %rcx
leaq (%r8,%r10), %r14
leaq (%r9,%rbp), %r15
addq %r14, %r15
addq %r9, %r8
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %rbp
addq %r14, %rbp
rorxq $0x29, %r8, %r8
rorxq $0x1b, %rbp, %r14
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %r14, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r15, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq 0x8(%rsp), %r9
xorq %r14, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
leaq (%r15,%r11), %r14
addq %rsi, %r14
rorxq $0x2d, %r14, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rax # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %r14
addq %r8, %r9
addq %rbx, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %r14, %r8
xorq %r14, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %r14
leaq (%r10,%r11), %r15
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r14), %rbp
addq %r15, %rbp
movq 0x28(%r13,%rdx), %rax
addq %r14, %r10
movabsq $0x6a696665635c5a59, %rbx # imm = 0x6A696665635C5A59
addq %rax, %rbx
addq %rbx, %r10
movabsq $0x5655534e4d4b473c, %rbx # imm = 0x5655534E4D4B473C
addq %rax, %rbx
addq %r15, %rbx
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbx, %rbx
addq %r11, %r14
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rax
addq %r14, %rax
rorxq $0x5, %rax, %rax
movq %rax, %r11
xorq %rbx, %r11
movq %r11, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %rbp, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %rbx, %r10
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
addq %rdi, %r10
movq %r14, 0x38(%r13,%rdx)
movq %r11, 0x20(%r13,%rdx)
movq %rax, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x1ef1
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rsi
movq 0x7ff0(%r13), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rcx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r13), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
movabsq $-0x4b4d4e535556595b, %rbp # imm = 0xB4B2B1ACAAA9A6A5
addq %rbp, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
addq %rbx, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xcf38(%rip), %r11      # 0xeff0
movq 0x8(%rsp), %rcx
movq 0x30(%r11,%rcx,8), %rax
movq 0x38(%r11,%rcx,8), %r9
movq 0x20(%r11,%rcx,8), %r10
movq 0x28(%r11,%rcx,8), %r11
leaq (%rax,%r10), %rcx
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r9, %rbx
addq %rcx, %rbx
addq %r9, %rax
movabsq $0x6a696665635c5a59, %r14 # imm = 0x6A696665635C5A59
addq %r11, %r14
addq %r14, %rax
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
addq %r11, %r14
addq %rcx, %r14
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r14, %rax
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %rcx, %r11
addq %r8, %r11
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %rcx
xorq %rcx, %r9
addq %rdx, %r9
xorq %rax, %rcx
addq %rsi, %rcx
movq %r11, 0x7ff8(%r13)
movq %r10, 0x7fe0(%r13)
movq %r9, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
movq %rbp, %r15
movq (%r13,%rcx), %rax
movq 0x8(%r13,%rcx), %rsi
movq 0x10(%r13,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%r14,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r13,%rcx), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r15, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %rax
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r10
leaq (%r9,%rax), %r11
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq %r14, %rbp
movq 0x28(%r13,%rcx), %r14
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r14, %r15
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r14, %r15
addq %r11, %r15
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r15, %r11
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r14
addq %r10, %r14
rorxq $0x5, %r14, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r14
xorq %r9, %r14
addq %r8, %r14
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r13,%rcx)
movq %rbp, %r14
movq %r10, (%r13,%rcx)
movq %rax, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x2185
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movq %rax, %rcx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
je 0x1db6
vmovdqu 0x60(%rsp), %ymm0
vpaddq (%r13), %ymm0, %ymm0
vmovdqu %ymm0, 0x60(%rsp)
movq 0x50(%rsp), %rax
incq %rax
cmpq 0x48(%rsp), %rax
jne 0x17df
movq 0xccce(%rip), %r13      # 0xeff8
vmovups 0xb0(%rsp), %ymm0
vmovups %ymm0, (%r13)
vmovups 0x80(%rsp), %ymm0
vmovups %ymm0, 0x20(%r13)
leaq 0x40(%r13), %rdi
leaq 0x20b0(%rsp), %rsi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq %rdi, 0x28(%rsp)
vzeroupper
callq 0x1070
movq 0x10(%rsp), %rax
incq %rax
xorq %rax, (%r13)
movq 0x20(%rsp), %rax
andq $0x3fff, %rax           # imm = 0x3FFF
je 0x2e35
movq %rax, 0x20(%rsp)
xorl %ecx, %ecx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movq %rcx, (%rsp)
shlq $0x6, %rcx
movq 0xcc4d(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rax
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rax, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rax
movq %rax, 0x8(%rsp)
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
movq %r15, %rcx
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq 0x8(%rsp), %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rax # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rax,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %rcx, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %rbp
addq %rbx, %r10
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rbp, %rax
addq %rax, %r10
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %rbp, %rax
addq %r14, %rax
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rax, %rax
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbp
addq %rbx, %rbp
rorxq $0x5, %rbp, %r11
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movq %r11, %rbx
xorq %rax, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %rax, %r10
addq %rdi, %r10
movq %r14, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x24c5
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rsi
movq 0x7ff0(%r13), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %r8 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r13), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
movq %rcx, %r15
addq %rcx, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xc94f(%rip), %r11      # 0xeff0
movq 0x8(%rsp), %rcx
movq 0x30(%r11,%rcx,8), %rax
movq 0x38(%r11,%rcx,8), %r9
movq 0x20(%r11,%rcx,8), %r10
movq 0x28(%r11,%rcx,8), %r11
leaq (%rax,%r10), %rcx
leaq (%r9,%rbp), %rbx
addq %rcx, %rbx
addq %r9, %rax
movabsq $0x6a696665635c5a59, %r14 # imm = 0x6A696665635C5A59
addq %r11, %r14
addq %r14, %rax
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
addq %r11, %r14
addq %rcx, %r14
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r14, %rax
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %rcx, %r11
addq %r8, %r11
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %rcx
xorq %rcx, %r9
addq %rdx, %r9
xorq %rax, %rcx
addq %rsi, %rcx
movq %r11, 0x7ff8(%r13)
movq %r10, 0x7fe0(%r13)
movq %r9, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rax
movq 0x8(%r13,%rcx), %rsi
movq 0x10(%r13,%rcx), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %r8 # imm = 0xF0E8E4E2E1D8D4D2
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r13,%rcx), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r15, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %rax
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r10
leaq (%r9,%rax), %r11
leaq (%r10,%rbp), %rbx
addq %r11, %rbx
movq 0x28(%r13,%rcx), %r14
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r14, %r15
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r14, %r15
addq %r11, %r15
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r15, %r11
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r14
addq %r10, %r14
rorxq $0x5, %r14, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r14
xorq %r9, %r14
addq %r8, %r14
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r13,%rcx)
movq %r10, (%r13,%rcx)
movq %rax, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x2758
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movq %rax, %rcx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x2394
movq %r11, %r8
movq 0x38(%rsp), %rdi
addq %r12, %rdi
xorl %eax, %eax
xorl %ecx, %ecx
movq 0x20(%rsp), %rsi
movb (%rdi,%rcx), %dl
xorb %dl, (%r13,%rax)
leaq 0x1(%rax), %rdx
addq $0x21, %rax
testb $0x1f, %dl
cmovneq %rdx, %rax
incq %rcx
cmpq %rcx, %rsi
jne 0x28df
xorb $0x1, (%r13,%rsi)
xorl %eax, %eax
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
movq %r8, %r11
movq %rax, (%rsp)
movq %rax, %rcx
shlq $0x6, %rcx
movq 0xc6cb(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x2a36
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xc3e2(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x2cb2
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movq %rcx, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x2913
jmp 0x38c1
xorl %edx, %edx
movq 0xc1ba(%rip), %rax      # 0xeff8
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movq %rdx, (%rsp)
shlq $0x6, %rdx
movq 0xc18f(%rip), %rcx      # 0xeff0
movq (%rcx,%rdx), %rsi
movq 0x8(%rcx,%rdx), %rdi
movq 0x10(%rcx,%rdx), %r8
leaq (%rdi,%rsi), %r9
leaq (%r14,%r8), %r10
addq %r9, %r10
rorxq $0x39, %r10, %r10
movq %r11, %r14
movq 0x18(%rcx,%rdx), %r11
leaq (%r14,%r11), %rdx
addq %r9, %rdx
rorxq $0x2d, %rdx, %rcx
addq %r8, %rsi
addq %r15, %rsi
addq %r11, %rsi
rorxq $0x21, %rsi, %r9
addq %rdi, %r8
addq %rbx, %r11
addq %r8, %r11
rorxq $0xb, %r11, %rsi
movq %rcx, %rdi
xorq %r10, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r9, %rdi
xorq %r9, %rsi
xorq %rsi, %rcx
xorq %r10, %rsi
movq 0x10(%rax), %r9
movq 0x18(%rax), %r10
movq (%rax), %r11
movq 0x8(%rax), %rbx
leaq (%r9,%r11), %r14
leaq (%r10,%rbp), %r15
addq %r14, %r15
addq %r10, %r9
movq %r12, %rdx
addq %rbx, %r12
addq %r12, %r9
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %rbx, %r12
addq %r14, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %r14
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r14, %r11
movq %r11, %rbx
xorq %r9, %rbx
addq %r8, %rbx
rorxq $0x35, %r15, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rcx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%rax)
movq %r11, (%rax)
movq %r10, 0x8(%rax)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r9, 0x10(%rax)
xorl %esi, %esi
movq (%rax,%rsi), %r8
movq 0x8(%rax,%rsi), %r9
movq 0x10(%rax,%rsi), %r10
leaq (%r9,%r8), %rdi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r10), %r11
addq %rdi, %r11
rorxq $0x39, %r11, %r11
movq 0x18(%rax,%rsi), %rbx
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%rbx), %r14
addq %rdi, %r14
rorxq $0x2d, %r14, %rdi
addq %r10, %r8
movabsq $-0x4b4d4e535556595b, %rcx # imm = 0xB4B2B1ACAAA9A6A5
addq %rcx, %r8
addq %rbx, %r8
rorxq $0x21, %r8, %r14
addq %r9, %r10
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %rbx
addq %r10, %rbx
rorxq $0xb, %rbx, %r8
movq %rdi, %r9
xorq %r11, %r9
movq %r9, %r10
xorq %r8, %r10
xorq %r14, %r9
xorq %r14, %r8
xorq %r8, %rdi
xorq %r11, %r8
movq 0x20(%rax,%rsi), %rbx
movq 0x30(%rax,%rsi), %r11
movq 0x38(%rax,%rsi), %r14
leaq (%r11,%rbx), %r15
leaq (%r14,%rbp), %r12
addq %r15, %r12
movq 0x28(%rax,%rsi), %rbp
addq %r14, %r11
addq %rdx, %r11
addq %rbp, %r11
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
addq %rbp, %rcx
addq %r15, %rcx
rorxq $0x29, %r11, %r11
rorxq $0x1b, %rcx, %rcx
addq %rbx, %r14
movabsq $0x3a393635332e2d2b, %rbx # imm = 0x3A393635332E2D2B
addq %rbx, %rbp
addq %r14, %rbp
rorxq $0x5, %rbp, %rbx
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movq %rbx, %r14
xorq %rcx, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %r12, %r10
xorq %r10, %r14
addq %r9, %r14
xorq %r10, %r11
xorq %r11, %rbx
addq %rdi, %rbx
xorq %rcx, %r11
addq %r8, %r11
movq %r15, 0x38(%rax,%rsi)
movq %r14, 0x20(%rax,%rsi)
movq %rbx, 0x28(%rax,%rsi)
movq %r11, 0x30(%rax,%rsi)
addq $0x20, %rsi
cmpq $0x7fe0, %rsi           # imm = 0x7FE0
jne 0x2f72
movq 0x7fe0(%rax), %rcx
movq 0x7fe8(%rax), %rdi
movq 0x7ff0(%rax), %r8
leaq (%rdi,%rcx), %rsi
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x7ff8(%rax), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rcx
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r9, %r11
addq %r11, %rcx
rorxq $0x21, %rcx, %rcx
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rcx, %r8
xorq %rcx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0xbe9c(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %rcx
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%rcx,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %rcx
addq %rdx, %rcx
addq %rbx, %rcx
movabsq $0x5655534e4d4b473c, %rdx # imm = 0x5655534E4D4B473C
leaq (%rdx,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %rcx, %rdx
rorxq $0x1b, %r15, %rcx
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %rcx, %r11
movq %r11, %rbx
xorq %rdx, %rbx
addq %r9, %rbx
rorxq $0x35, %r14, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %rdx
xorq %rdx, %r10
addq %rsi, %r10
xorq %rcx, %rdx
addq %rdi, %rdx
movq %rbx, 0x7ff8(%rax)
movq %r11, 0x7fe0(%rax)
movq %r10, 0x7fe8(%rax)
movq %rdx, 0x7ff0(%rax)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq (%rax,%rdx), %rcx
movq 0x8(%rax,%rdx), %rdi
movq 0x10(%rax,%rdx), %r8
leaq (%rdi,%rcx), %rsi
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%rax,%rdx), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rcx
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r9, %r11
addq %r11, %rcx
rorxq $0x21, %rcx, %rcx
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rcx, %r8
xorq %rcx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%rax,%rdx), %rcx
movq 0x30(%rax,%rdx), %r10
movq 0x38(%rax,%rdx), %r11
leaq (%r10,%rcx), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%rax,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r10
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %r15, %r12
addq %rbx, %r12
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %rcx, %r11
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r15
addq %r11, %r15
rorxq $0x5, %r15, %rcx
movq %rcx, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r10, %r15
addq %r9, %r15
rorxq $0x35, %r14, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rcx
addq %rsi, %rcx
xorq %rbx, %r10
addq %rdi, %r10
movq %r15, 0x18(%rax,%rdx)
movq %r11, (%rax,%rdx)
movq %rcx, 0x8(%rax,%rdx)
movq %r10, 0x10(%rax,%rdx)
addq $-0x20, %rdx
cmpq $-0x20, %rdx
jne 0x3202
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
testq %rdx, %rdx
movq %rcx, %rdx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x2e52
xorb $0x1, (%rax)
xorl %ecx, %ecx
movq %rcx, %rdx
movq %rcx, (%rsp)
shlq $0x6, %rdx
movq 0xbc52(%rip), %rcx      # 0xeff0
movq (%rcx,%rdx), %rsi
movq 0x8(%rcx,%rdx), %rdi
movq 0x10(%rcx,%rdx), %r8
leaq (%rdi,%rsi), %r9
leaq (%r14,%r8), %r10
addq %r9, %r10
rorxq $0x39, %r10, %r10
movq %r11, %r14
movq 0x18(%rcx,%rdx), %r11
leaq (%r14,%r11), %rdx
addq %r9, %rdx
rorxq $0x2d, %rdx, %rcx
addq %r8, %rsi
addq %r15, %rsi
addq %r11, %rsi
rorxq $0x21, %rsi, %r9
addq %rdi, %r8
addq %rbx, %r11
addq %r8, %r11
rorxq $0xb, %r11, %rsi
movq %rcx, %rdi
xorq %r10, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r9, %rdi
xorq %r9, %rsi
xorq %rsi, %rcx
xorq %r10, %rsi
movq 0x10(%rax), %r9
movq 0x18(%rax), %r10
movq (%rax), %r11
movq 0x8(%rax), %rbx
leaq (%r9,%r11), %r14
leaq (%r10,%rbp), %r15
addq %r14, %r15
addq %r10, %r9
movq %r12, %rdx
addq %rbx, %r12
addq %r12, %r9
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %rbx, %r12
addq %r14, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %r14
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r14, %r11
movq %r11, %rbx
xorq %r9, %rbx
addq %r8, %rbx
rorxq $0x35, %r15, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rcx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%rax)
movq %r11, (%rax)
movq %r10, 0x8(%rax)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r9, 0x10(%rax)
xorl %esi, %esi
movq (%rax,%rsi), %r8
movq 0x8(%rax,%rsi), %r9
movq 0x10(%rax,%rsi), %r10
leaq (%r9,%r8), %rdi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r10), %r11
addq %rdi, %r11
rorxq $0x39, %r11, %r11
movq 0x18(%rax,%rsi), %rbx
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%rbx), %r14
addq %rdi, %r14
rorxq $0x2d, %r14, %rdi
addq %r10, %r8
movabsq $-0x4b4d4e535556595b, %rcx # imm = 0xB4B2B1ACAAA9A6A5
addq %rcx, %r8
addq %rbx, %r8
rorxq $0x21, %r8, %r14
addq %r9, %r10
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %rbx
addq %r10, %rbx
rorxq $0xb, %rbx, %r8
movq %rdi, %r9
xorq %r11, %r9
movq %r9, %r10
xorq %r8, %r10
xorq %r14, %r9
xorq %r14, %r8
xorq %r8, %rdi
xorq %r11, %r8
movq 0x20(%rax,%rsi), %rbx
movq 0x30(%rax,%rsi), %r11
movq 0x38(%rax,%rsi), %r14
leaq (%r11,%rbx), %r15
leaq (%r14,%rbp), %r12
addq %r15, %r12
movq 0x28(%rax,%rsi), %rbp
addq %r14, %r11
addq %rdx, %r11
addq %rbp, %r11
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
addq %rbp, %rcx
addq %r15, %rcx
rorxq $0x29, %r11, %r11
rorxq $0x1b, %rcx, %rcx
addq %rbx, %r14
movabsq $0x3a393635332e2d2b, %rbx # imm = 0x3A393635332E2D2B
addq %rbx, %rbp
addq %r14, %rbp
rorxq $0x5, %rbp, %rbx
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movq %rbx, %r14
xorq %rcx, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %r12, %r10
xorq %r10, %r14
addq %r9, %r14
xorq %r10, %r11
xorq %r11, %rbx
addq %rdi, %rbx
xorq %rcx, %r11
addq %r8, %r11
movq %r15, 0x38(%rax,%rsi)
movq %r14, 0x20(%rax,%rsi)
movq %rbx, 0x28(%rax,%rsi)
movq %r11, 0x30(%rax,%rsi)
addq $0x20, %rsi
cmpq $0x7fe0, %rsi           # imm = 0x7FE0
jne 0x34af
movq 0x7fe0(%rax), %rcx
movq 0x7fe8(%rax), %rdi
movq 0x7ff0(%rax), %r8
leaq (%rdi,%rcx), %rsi
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x7ff8(%rax), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rcx
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r9, %r11
addq %r11, %rcx
rorxq $0x21, %rcx, %rcx
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rcx, %r8
xorq %rcx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0xb95f(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %rcx
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%rcx,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %rcx
addq %rdx, %rcx
addq %rbx, %rcx
movabsq $0x5655534e4d4b473c, %rdx # imm = 0x5655534E4D4B473C
leaq (%rdx,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %rcx, %rdx
rorxq $0x1b, %r15, %rcx
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %rcx, %r11
movq %r11, %rbx
xorq %rdx, %rbx
addq %r9, %rbx
rorxq $0x35, %r14, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %rdx
xorq %rdx, %r10
addq %rsi, %r10
xorq %rcx, %rdx
addq %rdi, %rdx
movq %rbx, 0x7ff8(%rax)
movq %r11, 0x7fe0(%rax)
movq %r10, 0x7fe8(%rax)
movq %rdx, 0x7ff0(%rax)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq (%rax,%rdx), %rcx
movq 0x8(%rax,%rdx), %rdi
movq 0x10(%rax,%rdx), %r8
leaq (%rdi,%rcx), %rsi
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%rax,%rdx), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rcx
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r9, %r11
addq %r11, %rcx
rorxq $0x21, %rcx, %rcx
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rcx, %r8
xorq %rcx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%rax,%rdx), %rcx
movq 0x30(%rax,%rdx), %r10
movq 0x38(%rax,%rdx), %r11
leaq (%r10,%rcx), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%rax,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r10
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %r15, %r12
addq %rbx, %r12
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %rcx, %r11
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r15
addq %r11, %r15
rorxq $0x5, %r15, %rcx
movq %rcx, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r10, %r15
addq %r9, %r15
rorxq $0x35, %r14, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rcx
addq %rsi, %rcx
xorq %rbx, %r10
addq %rdi, %r10
movq %r15, 0x18(%rax,%rdx)
movq %r11, (%rax,%rdx)
movq %rcx, 0x8(%rax,%rdx)
movq %r10, 0x10(%rax,%rdx)
addq $-0x20, %rdx
cmpq $-0x20, %rdx
jne 0x373f
movq (%rsp), %rdx
leaq 0x1(%rdx), %rcx
testq %rdx, %rdx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x338c
vmovdqu 0x60(%rsp), %ymm0
vpaddq (%r13), %ymm0, %ymm0
vmovdqu %ymm0, 0x60(%rsp)
vpxor 0xb0(%rsp), %ymm0, %ymm0
vmovdqu %ymm0, (%r13)
vmovups 0x80(%rsp), %ymm0
vmovups %ymm0, 0x20(%r13)
xorl %eax, %eax
movq %rax, (%rsp)
movq %rax, %rcx
shlq $0x6, %rcx
movq 0xb6eb(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x3a16
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xb402(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x3c92
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movq %rcx, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x38f3
leaq 0x20b0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x28(%rsp), %rsi
vzeroupper
callq 0x1070
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movq 0x10(%rsp), %rax
addq $0x2, %rax
movq %rax, 0x10(%rsp)
xorq %rax, (%r13)
xorl %eax, %eax
movq %rax, (%rsp)
movq %rax, %rcx
shlq $0x6, %rcx
movq 0xb196(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x3f6b
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xaead(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x41e7
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movq %rcx, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x3e48
movq %r11, %r8
xorl %eax, %eax
xorl %ecx, %ecx
movq 0x30(%rsp), %rsi
movq 0xa0b0(%rsp), %rdi
movb (%rdi,%rcx), %dl
xorb (%r13,%rax), %dl
movb %dl, (%r13,%rax)
movb %dl, (%rsi,%rcx)
leaq 0x1(%rax), %rdx
addq $0x21, %rax
testb $0x1f, %dl
cmovneq %rdx, %rax
incq %rcx
cmpq $0x20, %rcx
jne 0x4379
xorb $0x1, 0x20(%r13)
xorl %eax, %eax
movq %r8, %r11
movq %rax, (%rsp)
movq %rax, %rcx
shlq $0x6, %rcx
movq 0xac33(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
addq %rbx, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x44ce
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xa94a(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x474a
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movq %rcx, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0x5c636566696a6c72, %rbx # imm = 0xA39C9A999695938E
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x43ab
vmovups (%r13), %ymm0
vmovups %ymm0, 0x80(%rsp)
vmovups 0x20(%r13), %ymm0
vmovups %ymm0, 0xb0(%rsp)
leaq 0x20b0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x28(%rsp), %rsi
vzeroupper
callq 0x1070
vmovdqu 0x80(%rsp), %ymm0
vpaddq 0x60(%rsp), %ymm0, %ymm0
vmovdqu %ymm0, 0x60(%rsp)
movq 0x40(%rsp), %rbx
cmpq $0x4000, %rbx           # imm = 0x4000
jae 0x4931
movq $0x0, 0x18(%rsp)
jmp 0x54c2
shrq $0xe, %rbx
movq %rbx, 0x38(%rsp)
movq 0x30(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x48(%rsp)
movq $0x0, 0x18(%rsp)
xorl %eax, %eax
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movq %rax, 0x50(%rsp)
vmovups 0x80(%rsp), %ymm0
vmovups %ymm0, (%r13)
vmovdqu 0xb0(%rsp), %ymm0
vmovdqu %ymm0, 0x20(%r13)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x28(%rsp), %rdi
leaq 0x20b0(%rsp), %rsi
vzeroupper
callq 0x1070
movq 0x10(%rsp), %rax
incq %rax
movq %rax, 0x10(%rsp)
xorq %rax, (%r13)
xorl %eax, %eax
movq %rax, %rcx
movq %rax, (%rsp)
shlq $0x6, %rcx
movq 0xa631(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%rbx,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
movq %rcx, 0x8(%rsp)
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
movq %r14, %r12
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
movq %r15, %rcx
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq 0x8(%rsp), %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
leaq (%r12,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %rcx, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %rbp
addq %rbx, %r10
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rbp, %rax
addq %rax, %r10
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %rbp, %rax
addq %r14, %rax
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rax, %rax
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbp
addq %rbx, %rbp
rorxq $0x5, %rbp, %r11
movabsq $-0xf171b1d1e272b2e, %r12 # imm = 0xF0E8E4E2E1D8D4D2
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
movq %r11, %rbx
xorq %rax, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %rax, %r10
addq %rdi, %r10
movq %r14, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x4aee
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rsi
movq 0x7ff0(%r13), %rdi
leaq (%rsi,%rax), %rdx
leaq (%r12,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r13), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
movq %rcx, %r15
addq %rcx, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0xa32f(%rip), %r11      # 0xeff0
movq 0x8(%rsp), %rcx
movq 0x30(%r11,%rcx,8), %rax
movq 0x38(%r11,%rcx,8), %r9
movq 0x20(%r11,%rcx,8), %r10
movq 0x28(%r11,%rcx,8), %r11
leaq (%rax,%r10), %rcx
leaq (%r9,%rbp), %rbx
addq %rcx, %rbx
addq %r9, %rax
movabsq $0x6a696665635c5a59, %r14 # imm = 0x6A696665635C5A59
addq %r11, %r14
addq %r14, %rax
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
addq %r11, %r14
addq %rcx, %r14
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r14, %rax
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %rcx, %r11
addq %r8, %r11
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %rcx
xorq %rcx, %r9
addq %rdx, %r9
xorq %rax, %rcx
addq %rsi, %rcx
movq %r11, 0x7ff8(%r13)
movq %r10, 0x7fe0(%r13)
movq %r9, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rax
movq 0x8(%r13,%rcx), %rsi
movq 0x10(%r13,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%r12,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r13,%rcx), %r8
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r15, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %rax, %rdi
xorq %rax, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %rax
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r10
leaq (%r9,%rax), %r11
leaq (%r10,%rbp), %rbx
addq %r11, %rbx
movq 0x28(%r13,%rcx), %r14
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r14, %r15
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r14, %r15
addq %r11, %r15
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r15, %r11
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r14
addq %r10, %r14
rorxq $0x5, %r14, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r14
xorq %r9, %r14
addq %r8, %r14
rorxq $0x35, %rbx, %r8
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r13,%rcx)
movq %r10, (%r13,%rcx)
movq %rax, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x4d78
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movq %r12, %r14
je 0x49ad
movq %r13, %rdx
xorl %esi, %esi
movq 0x58(%rsp), %r9
movq 0x48(%rsp), %r10
movq 0x18(%rsp), %r11
movq %r11, %r12
leaq (%r9,%r11,8), %rax
leaq (%r10,%r11,8), %rdi
xorl %ecx, %ecx
movq (%rax,%rcx), %r8
xorq (%rdx,%rcx), %r8
movq %r8, (%rdx,%rcx)
movq %r8, (%rdi,%rcx)
incq %r11
addq $0x8, %rcx
cmpq $0x20, %rcx
jne 0x4eef
leaq 0x2(%rsi), %rax
addq $0x40, %rdx
cmpq $0x3fe, %rsi            # imm = 0x3FE
movq %rax, %rsi
jb 0x4ee2
movq %r12, 0x20(%rsp)
movq %r11, 0x18(%rsp)
xorl %r12d, %r12d
movq %r12, %rax
shlq $0x6, %rax
movq 0xa0b5(%rip), %rdx      # 0xeff0
movq (%rdx,%rax), %rdi
movq 0x8(%rdx,%rax), %r8
movq 0x10(%rdx,%rax), %r9
leaq (%r8,%rdi), %rsi
leaq (%r14,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%rdx,%rax), %rax
leaq (%rbx,%rax), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r9, %rdi
addq %r15, %rdi
addq %rax, %rdi
rorxq $0x21, %rdi, %r11
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %rax
addq %r9, %rax
rorxq $0xb, %rax, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %r11, %r8
xorq %r11, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x10(%r13), %rax
movq 0x18(%r13), %r11
movq (%r13), %rbx
movq 0x8(%r13), %r14
leaq (%rax,%rbx), %r10
leaq (%r11,%rbp), %r15
addq %r10, %r15
addq %r11, %rax
movabsq $0x6a696665635c5a59, %rdx # imm = 0x6A696665635C5A59
addq %rdx, %rax
addq %r14, %rax
movabsq $0x5655534e4d4b473c, %rdx # imm = 0x5655534E4D4B473C
leaq (%rdx,%r14), %rbp
addq %r10, %rbp
rorxq $0x29, %rax, %r10
rorxq $0x1b, %rbp, %rax
addq %rbx, %r11
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r14
addq %r11, %r14
rorxq $0x5, %r14, %r11
movq %r11, %rbx
xorq %rax, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %rax, %r10
addq %rdi, %r10
movq %r14, 0x18(%r13)
movq %rbx, (%r13)
movq %r11, 0x8(%r13)
movq %r12, (%rsp)
leaq (,%r12,8), %rax
movq %rax, 0x8(%rsp)
movabsq $-0xf171b1d1e272b2e, %r12 # imm = 0xF0E8E4E2E1D8D4D2
movq %r10, 0x10(%r13)
xorl %edi, %edi
movq (%r13,%rdi), %rax
movq 0x8(%r13,%rdi), %r9
movq 0x10(%r13,%rdi), %r10
leaq (%r9,%rax), %r8
leaq (%r12,%r10), %r11
addq %r8, %r11
rorxq $0x39, %r11, %rbx
movq 0x18(%r13,%rdi), %r11
movabsq $-0x2e333536393a3c48, %rdx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rdx,%r11), %r14
addq %r8, %r14
rorxq $0x2d, %r14, %r8
addq %r10, %rax
movabsq $-0x4b4d4e535556595b, %rdx # imm = 0xB4B2B1ACAAA9A6A5
addq %rdx, %rax
addq %r11, %rax
rorxq $0x21, %rax, %rax
addq %r9, %r10
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %r11
addq %r10, %r11
rorxq $0xb, %r11, %r9
movq %r8, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
xorq %rax, %r10
xorq %rax, %r9
xorq %r9, %r8
xorq %rbx, %r9
movq 0x20(%r13,%rdi), %rbx
movq 0x30(%r13,%rdi), %rax
movq 0x38(%r13,%rdi), %r14
leaq (%rax,%rbx), %r15
movabsq $-0x727478878b8d8e94, %rdx # imm = 0x8D8B87787472716C
leaq (%rdx,%r14), %rbp
addq %r15, %rbp
movq 0x28(%r13,%rdi), %rdx
addq %r14, %rax
movabsq $0x6a696665635c5a59, %rsi # imm = 0x6A696665635C5A59
addq %rdx, %rsi
addq %rsi, %rax
movabsq $0x5655534e4d4b473c, %rsi # imm = 0x5655534E4D4B473C
addq %rdx, %rsi
addq %r15, %rsi
rorxq $0x29, %rax, %rax
rorxq $0x1b, %rsi, %rsi
addq %rbx, %r14
movabsq $0x3a393635332e2d2b, %rbx # imm = 0x3A393635332E2D2B
addq %rbx, %rdx
addq %r14, %rdx
rorxq $0x5, %rdx, %rdx
movq %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, %r14
xorq %rax, %r14
addq %r11, %r14
rorxq $0x35, %rbp, %r11
xorq %r11, %rbx
addq %r10, %rbx
xorq %r11, %rax
xorq %rax, %rdx
addq %r8, %rdx
xorq %rsi, %rax
addq %r9, %rax
movq %r14, 0x38(%r13,%rdi)
movq %rbx, 0x20(%r13,%rdi)
movq %rdx, 0x28(%r13,%rdi)
movq %rax, 0x30(%r13,%rdi)
addq $0x20, %rdi
cmpq $0x7fe0, %rdi           # imm = 0x7FE0
jne 0x5067
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rdx
movq 0x7ff0(%r13), %rsi
leaq (%rdx,%rax), %rdi
movq %r12, %rbp
leaq (%r12,%rsi), %r8
addq %rdi, %r8
rorxq $0x39, %r8, %r11
movq 0x7ff8(%r13), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rdi, %r9
rorxq $0x2d, %r9, %rdi
addq %rsi, %rax
movabsq $-0x4b4d4e535556595b, %r9 # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %r9
addq %r9, %rax
rorxq $0x21, %rax, %rax
addq %rdx, %rsi
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %r8
addq %rsi, %r8
rorxq $0xb, %r8, %r8
movq %rdi, %r9
xorq %r11, %r9
movq %r9, %r10
xorq %r8, %r10
xorq %rax, %r9
xorq %rax, %r8
xorq %r8, %rdi
xorq %r11, %r8
movq 0x9dac(%rip), %r11      # 0xeff0
movq 0x8(%rsp), %rbx
movq 0x30(%r11,%rbx,8), %rax
movq 0x38(%r11,%rbx,8), %rdx
movq 0x20(%r11,%rbx,8), %rsi
movq 0x28(%r11,%rbx,8), %r11
leaq (%rax,%rsi), %rbx
movabsq $-0x727478878b8d8e94, %r12 # imm = 0x8D8B87787472716C
leaq (%r12,%rdx), %r14
addq %rbx, %r14
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %r11, %r15
addq %r15, %rax
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %r11, %r15
addq %rbx, %r15
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r15, %rbx
addq %rsi, %rdx
movabsq $0x3a393635332e2d2b, %rsi # imm = 0x3A393635332E2D2B
addq %rsi, %r11
addq %rdx, %r11
rorxq $0x5, %r11, %rdx
movq %rdx, %rsi
xorq %rbx, %rsi
movq %rsi, %r11
xorq %rax, %r11
addq %r10, %r11
rorxq $0x35, %r14, %r10
xorq %r10, %rsi
addq %r9, %rsi
xorq %r10, %rax
xorq %rax, %rdx
addq %rdi, %rdx
xorq %rbx, %rax
addq %r8, %rax
movq %r11, 0x7ff8(%r13)
movq %rsi, 0x7fe0(%r13)
movq %rdx, 0x7fe8(%r13)
movq %rax, 0x7ff0(%r13)
movl $0x7fc0, %esi           # imm = 0x7FC0
movq %rbp, %r14
movq %r12, %rbp
movq (%r13,%rsi), %rax
movq 0x8(%r13,%rsi), %rdx
movq 0x10(%r13,%rsi), %r8
leaq (%rdx,%rax), %rdi
leaq (%r14,%r8), %r9
addq %rdi, %r9
rorxq $0x39, %r9, %r11
movq 0x18(%r13,%rsi), %r9
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r10
addq %rdi, %r10
rorxq $0x2d, %r10, %rdi
addq %r8, %rax
movabsq $-0x4b4d4e535556595b, %r10 # imm = 0xB4B2B1ACAAA9A6A5
addq %r9, %r10
addq %r10, %rax
rorxq $0x21, %rax, %rax
addq %rdx, %r8
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %r9
addq %r8, %r9
rorxq $0xb, %r9, %r8
movq %rdi, %r9
xorq %r11, %r9
movq %r9, %r10
xorq %r8, %r10
xorq %rax, %r9
xorq %rax, %r8
xorq %r8, %rdi
xorq %r11, %r8
movq 0x20(%r13,%rsi), %rdx
movq 0x30(%r13,%rsi), %rax
movq 0x38(%r13,%rsi), %r11
leaq (%rax,%rdx), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rsi), %r15
addq %r11, %rax
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r12, %rax
addq %r15, %rax
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
leaq (%r12,%r15), %rbp
addq %rbx, %rbp
rorxq $0x29, %rax, %rax
rorxq $0x1b, %rbp, %rbx
movabsq $-0xf171b1d1e272b2e, %r12 # imm = 0xF0E8E4E2E1D8D4D2
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %rdx, %r11
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r15
addq %r11, %r15
rorxq $0x5, %r15, %rdx
movq %rdx, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %rax, %r15
addq %r10, %r15
rorxq $0x35, %r14, %r10
movq %r12, %r14
xorq %r10, %r11
addq %r9, %r11
xorq %r10, %rax
xorq %rax, %rdx
addq %rdi, %rdx
xorq %rbx, %rax
addq %r8, %rax
movq %r15, 0x18(%r13,%rsi)
movq %r11, (%r13,%rsi)
movq %rdx, 0x8(%r13,%rsi)
movq %rax, 0x10(%r13,%rsi)
addq $-0x20, %rsi
cmpq $-0x20, %rsi
jne 0x530b
movq (%rsp), %rdx
leaq 0x1(%rdx), %r12
testq %rdx, %rdx
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
je 0x4f2d
vmovdqu 0x60(%rsp), %ymm0
vpaddq (%r13), %ymm0, %ymm0
vmovdqu %ymm0, 0x60(%rsp)
movq 0x50(%rsp), %rax
incq %rax
cmpq 0x38(%rsp), %rax
jne 0x495d
movq 0x20(%rsp), %rax
leaq (%rcx,%rax,8), %rax
movq %rax, 0x18(%rsp)
movq 0x40(%rsp), %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
movq 0x9b2f(%rip), %r13      # 0xeff8
vmovups 0x80(%rsp), %ymm0
vmovups %ymm0, (%r13)
vmovups 0xb0(%rsp), %ymm0
vmovups %ymm0, 0x20(%r13)
leaq 0x40(%r13), %rdi
leaq 0x20b0(%rsp), %rsi
movl $0x7fc0, %edx           # imm = 0x7FC0
vzeroupper
callq 0x1070
movq 0x10(%rsp), %rax
incq %rax
xorq %rax, (%r13)
andq $0x3fff, %rbx           # imm = 0x3FFF
je 0x5fdf
movq %rbx, 0x10(%rsp)
xorl %eax, %eax
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movq %rax, %rdx
movq %rax, (%rsp)
shlq $0x6, %rdx
movq 0x9ab4(%rip), %rax      # 0xeff0
movq (%rax,%rdx), %rsi
movq 0x8(%rax,%rdx), %rdi
movq 0x10(%rax,%rdx), %r8
leaq (%rdi,%rsi), %r9
leaq (%r14,%r8), %r10
addq %r9, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%rax,%rdx), %r11
leaq (%rbx,%r11), %rdx
addq %r9, %rdx
rorxq $0x2d, %rdx, %rcx
addq %r8, %rsi
addq %r15, %rsi
addq %r11, %rsi
rorxq $0x21, %rsi, %r9
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r11
addq %r8, %r11
rorxq $0xb, %r11, %rsi
movq %rcx, %rdi
xorq %r10, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r9, %rdi
xorq %r9, %rsi
xorq %rsi, %rcx
movq %rcx, 0x8(%rsp)
xorq %r10, %rsi
movq 0x10(%r13), %r9
movq 0x18(%r13), %r10
movq (%r13), %r11
movq 0x8(%r13), %rbx
movq %r14, %rdx
leaq (%r9,%r11), %r14
leaq (%r10,%rbp), %r15
addq %r14, %r15
addq %r10, %r9
addq %r12, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
leaq (%rcx,%rbx), %rbp
addq %r14, %rbp
rorxq $0x29, %r9, %r9
rorxq $0x1b, %rbp, %r14
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r14, %r11
movq %r11, %rbx
xorq %r9, %rbx
addq %r8, %rbx
rorxq $0x35, %r15, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq 0x8(%rsp), %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r13)
movq %r11, (%r13)
movq %r10, 0x8(%r13)
movq (%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
movq %r9, 0x10(%r13)
xorl %esi, %esi
movq (%r13,%rsi), %r8
movq 0x8(%r13,%rsi), %r9
movq 0x10(%r13,%rsi), %r10
leaq (%r9,%r8), %rdi
leaq (%rdx,%r10), %r11
addq %rdi, %r11
rorxq $0x39, %r11, %r11
movq 0x18(%r13,%rsi), %rbx
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%rbx), %r14
addq %rdi, %r14
rorxq $0x2d, %r14, %rdi
addq %r10, %r8
movabsq $-0x4b4d4e535556595b, %rax # imm = 0xB4B2B1ACAAA9A6A5
addq %rax, %r8
addq %rbx, %r8
rorxq $0x21, %r8, %r14
addq %r9, %r10
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %rbx
addq %r10, %rbx
rorxq $0xb, %rbx, %r8
movq %rdi, %r9
xorq %r11, %r9
movq %r9, %r10
xorq %r8, %r10
xorq %r14, %r9
xorq %r14, %r8
xorq %r8, %rdi
xorq %r11, %r8
movq 0x20(%r13,%rsi), %rbx
movq 0x30(%r13,%rsi), %r11
movq 0x38(%r13,%rsi), %r14
leaq (%r11,%rbx), %r15
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r14), %rbp
addq %r15, %rbp
movq 0x28(%r13,%rsi), %r12
addq %r14, %r11
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %r12, %rax
addq %rax, %r11
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %r12, %rax
addq %r15, %rax
rorxq $0x29, %r11, %r11
rorxq $0x1b, %rax, %rax
addq %rbx, %r14
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r12
addq %r14, %r12
rorxq $0x5, %r12, %rbx
movq %rbx, %r14
xorq %rax, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %rbp, %r10
xorq %r10, %r14
addq %r9, %r14
xorq %r10, %r11
xorq %r11, %rbx
addq %rdi, %rbx
xorq %rax, %r11
addq %r8, %r11
movq %r15, 0x38(%r13,%rsi)
movq %r14, 0x20(%r13,%rsi)
movq %rbx, 0x28(%r13,%rsi)
movq %r11, 0x30(%r13,%rsi)
addq $0x20, %rsi
cmpq $0x7fe0, %rsi           # imm = 0x7FE0
jne 0x565e
movq 0x7fe0(%r13), %rax
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rax), %rsi
leaq (%rdx,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x7ff8(%r13), %r9
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%r9), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
movabsq $-0x4b4d4e535556595b, %rcx # imm = 0xB4B2B1ACAAA9A6A5
addq %rcx, %rax
addq %r9, %rax
rorxq $0x21, %rax, %rax
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rax, %r8
xorq %rax, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x97b7(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %rax
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%rax,%r11), %r12
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %rax
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %rcx, %rax
addq %rbx, %rax
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
leaq (%rcx,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %rax, %rdx
rorxq $0x1b, %r15, %rax
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %rax, %r11
movq %r11, %rbx
xorq %rdx, %rbx
addq %r9, %rbx
rorxq $0x35, %r14, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %rdx
xorq %rdx, %r10
addq %rsi, %r10
xorq %rax, %rdx
addq %rdi, %rdx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rdx, 0x7ff0(%r13)
movl $0x7fc0, %edx           # imm = 0x7FC0
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
movq (%r13,%rdx), %rax
movq 0x8(%r13,%rdx), %rdi
movq 0x10(%r13,%rdx), %r8
leaq (%rdi,%rax), %rsi
leaq (%r14,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%r13,%rdx), %r9
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%r9), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
movabsq $-0x4b4d4e535556595b, %rcx # imm = 0xB4B2B1ACAAA9A6A5
addq %rcx, %rax
addq %r9, %rax
rorxq $0x21, %rax, %rax
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r9
addq %r8, %r9
rorxq $0xb, %r9, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rax, %r8
xorq %rax, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %rax
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %r11
leaq (%r10,%rax), %rbx
movq %r14, %rcx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r10
movabsq $0x5655534e4d4b473c, %r12 # imm = 0x5655534E4D4B473C
addq %r15, %r12
addq %rbx, %r12
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %rax, %r11
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r15
addq %r11, %r15
rorxq $0x5, %r15, %rax
movq %rax, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r10, %r15
addq %r9, %r15
rorxq $0x35, %r14, %r9
movq %rcx, %r14
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %rbx, %r10
addq %rdi, %r10
movq %r15, 0x18(%r13,%rdx)
movq %r11, (%r13,%rdx)
movq %rax, 0x8(%r13,%rdx)
movq %r10, 0x10(%r13,%rdx)
addq $-0x20, %rdx
cmpq $-0x20, %rdx
jne 0x5905
movq (%rsp), %rcx
leaq 0x1(%rcx), %rax
testq %rcx, %rcx
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
je 0x552a
movq 0x58(%rsp), %rdi
movq 0x18(%rsp), %rcx
addq %rcx, %rdi
movq 0x30(%rsp), %rax
addq %rax, %rcx
addq $0x20, %rcx
xorl %edx, %edx
xorl %esi, %esi
movq 0x10(%rsp), %r8
movb (%rdi,%rsi), %al
xorb (%r13,%rdx), %al
movb %al, (%r13,%rdx)
movb %al, (%rcx,%rsi)
leaq 0x1(%rdx), %rax
addq $0x21, %rdx
testb $0x1f, %al
cmovneq %rax, %rdx
incq %rsi
cmpq %rsi, %r8
jne 0x5a95
xorb $0x1, (%r13,%r8)
xorl %ecx, %ecx
movq %rcx, (%rsp)
shlq $0x6, %rcx
movq 0x951e(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%rbx,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x5bed
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x922b(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x5e69
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x5ac3
jmp 0x6a20
xorl %ecx, %ecx
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movq %rcx, (%rsp)
shlq $0x6, %rcx
movq 0x8ff6(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x6115
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x8d03(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x6391
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x5feb
xorb $0x1, (%r13)
xorl %ecx, %ecx
movq %rcx, (%rsp)
shlq $0x6, %rcx
movq 0x8ad8(%rip), %rax      # 0xeff0
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rsi
movq 0x10(%rax,%rcx), %rdi
leaq (%rsi,%rdx), %r8
leaq (%r14,%rdi), %r9
addq %r8, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%rax,%rcx), %r10
leaq (%r11,%r10), %rcx
addq %r8, %rcx
rorxq $0x2d, %rcx, %rcx
addq %rdi, %rdx
addq %r15, %rdx
addq %r10, %rdx
rorxq $0x21, %rdx, %r8
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r10
addq %rdi, %r10
rorxq $0xb, %r10, %rdx
movq %rcx, %rsi
xorq %r9, %rsi
movq %rsi, %rdi
xorq %rdx, %rdi
xorq %r8, %rsi
xorq %r8, %rdx
xorq %rdx, %rcx
xorq %r9, %rdx
movq 0x10(%r13), %r8
movq 0x18(%r13), %r9
movq (%r13), %r10
movq 0x8(%r13), %r11
leaq (%r8,%r10), %rbx
leaq (%r9,%rbp), %r14
addq %rbx, %r14
addq %r9, %r8
addq %r12, %r8
addq %r11, %r8
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r11), %r15
addq %rbx, %r15
rorxq $0x29, %r8, %r8
rorxq $0x1b, %r15, %rbx
addq %r10, %r9
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r11
addq %r9, %r11
rorxq $0x5, %r11, %r9
movq %r9, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq %r8, %r11
addq %rdi, %r11
rorxq $0x35, %r14, %rdi
xorq %rdi, %r10
addq %rsi, %r10
xorq %rdi, %r8
xorq %r8, %r9
addq %rcx, %r9
xorq %rbx, %r8
addq %rdx, %r8
movq %r11, 0x18(%r13)
movq %r10, (%r13)
movq %r9, 0x8(%r13)
movq (%rsp), %rcx
leaq (,%rcx,8), %rcx
movq %rcx, 0x8(%rsp)
movq %r8, 0x10(%r13)
xorl %edx, %edx
movq %r12, %rcx
movq (%r13,%rdx), %rdi
movq 0x8(%r13,%rdx), %r8
movq 0x10(%r13,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %r10 # imm = 0xF0E8E4E2E1D8D4D2
addq %r9, %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r13,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rbx # imm = 0xD1CCCAC9C6C5C3B8
addq %r11, %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
movabsq $-0x4b4d4e535556595b, %rbx # imm = 0xB4B2B1ACAAA9A6A5
addq %r11, %rbx
addq %rbx, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdi # imm = 0xA39C9A999695938E
addq %rdi, %r11
addq %r9, %r11
rorxq $0xb, %r11, %rdi
movq %rsi, %r8
xorq %r10, %r8
movq %r8, %r9
xorq %rdi, %r9
xorq %rbx, %r8
xorq %rbx, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r13,%rdx), %r11
movq 0x30(%r13,%rdx), %r10
movq 0x38(%r13,%rdx), %rbx
leaq (%r10,%r11), %r14
leaq (%rbx,%rbp), %r15
addq %r14, %r15
movq 0x28(%r13,%rdx), %r12
addq %rbx, %r10
addq %rcx, %r10
addq %r12, %r10
leaq (%rax,%r12), %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %r12
addq %rbx, %r12
rorxq $0x5, %r12, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r12
xorq %r10, %r12
addq %r9, %r12
rorxq $0x35, %r15, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r14, %r10
addq %rdi, %r10
movq %r12, 0x38(%r13,%rdx)
movq %rbx, 0x20(%r13,%rdx)
movq %r11, 0x28(%r13,%rdx)
movq %r10, 0x30(%r13,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x6633
movq 0x7fe0(%r13), %rsi
movq 0x7fe8(%r13), %rdi
movq 0x7ff0(%r13), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r13), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x87e5(%rip), %rbx      # 0xeff0
movq 0x8(%rsp), %r14
movq 0x30(%rbx,%r14,8), %r9
movq 0x38(%rbx,%r14,8), %r10
movq 0x20(%rbx,%r14,8), %r11
movq 0x28(%rbx,%r14,8), %rbx
leaq (%r9,%r11), %r12
leaq (%r10,%rbp), %r14
addq %r12, %r14
addq %r10, %r9
addq %rcx, %r9
addq %rbx, %r9
leaq (%rax,%rbx), %r15
addq %r12, %r15
rorxq $0x29, %r9, %rcx
rorxq $0x1b, %r15, %r9
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %r9, %r11
movq %r11, %rbx
xorq %rcx, %rbx
addq %r8, %rbx
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %rcx
xorq %rcx, %r10
addq %rdx, %r10
xorq %r9, %rcx
addq %rsi, %rcx
movq %rbx, 0x7ff8(%r13)
movq %r11, 0x7fe0(%r13)
movq %r10, 0x7fe8(%r13)
movq %rcx, 0x7ff0(%r13)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r13,%rcx), %rsi
movq 0x8(%r13,%rcx), %rdi
movq 0x10(%r13,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r13,%rcx), %r10
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r10, %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
movabsq $-0x4b4d4e535556595b, %r11 # imm = 0xB4B2B1ACAAA9A6A5
addq %r10, %r11
addq %r11, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rsi # imm = 0xA39C9A999695938E
addq %rsi, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rdx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rdx
xorq %r9, %rsi
movq 0x20(%r13,%rcx), %r10
movq 0x30(%r13,%rcx), %r9
movq 0x38(%r13,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%rbp), %r14
addq %rbx, %r14
movq 0x28(%r13,%rcx), %r15
addq %r11, %r9
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r15, %r12
addq %r12, %r9
leaq (%rax,%r15), %r12
addq %rbx, %r12
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r12, %rbx
movabsq $0x6a696665635c5a59, %r12 # imm = 0x6A696665635C5A59
addq %r10, %r11
movabsq $0x3a393635332e2d2b, %r10 # imm = 0x3A393635332E2D2B
addq %r10, %r15
addq %r11, %r15
rorxq $0x5, %r15, %r10
movq %r10, %r11
xorq %rbx, %r11
movq %r11, %r15
xorq %r9, %r15
addq %r8, %r15
rorxq $0x35, %r14, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rbx, %r9
addq %rsi, %r9
movq %r15, 0x18(%r13,%rcx)
movq %r11, (%r13,%rcx)
movq %r10, 0x8(%r13,%rcx)
movq %r9, 0x10(%r13,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x68af
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
testq %rax, %rax
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r15 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %r14 # imm = 0xF0E8E4E2E1D8D4D2
je 0x6509
vmovdqu 0x60(%rsp), %ymm0
vpaddq (%r13), %ymm0, %ymm0
movq 0x40(%rsp), %rbx
movq 0x30(%rsp), %rax
leaq (%rax,%rbx), %rdi
addq $0x40, %rdi
vmovdqu %ymm0, -0x20(%rdi)
leaq 0xd0(%rsp), %rsi
movl $0x1fe0, %edx           # imm = 0x1FE0
vzeroupper
callq 0x1070
addq $0x2020, %rbx           # imm = 0x2020
movq 0xa8(%rsp), %rax
movq %rbx, (%rax)
xorl %eax, %eax
addq $0xa078, %rsp           # imm = 0xA078
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq