// File: /workspace/github_c_makefile_star2_O3/mjosaarinen[P]brutus/crypto_aead/pi64cipher256v2wideblock16KB/ref/encrypt.c
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
unsigned char *m,unsigned long long *mlen,
unsigned char *nsec,
const unsigned char *c,unsigned long long clen,
const unsigned char *ad,unsigned long long adlen,
const unsigned char *npub,
const unsigned char *k
)
{
 //...
 //... the code for the cipher implementation goes here,
 //... generating a plaintext m[0],m[1],...,m[*mlen-1]
 //... and secret message number nsec[0],nsec[1],...
 //... from a ciphertext c[0],c[1],...,c[clen-1]
 //... and associated data ad[0],ad[1],...,ad[adlen-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;
 // an array for storing some temporal values for the Tag computation
 u_int64_t  tempTag[CRYPTO_ABYTES/W] = {0};
 // counter ctr is a 64-bit variable in all variants of PiCipher
 u_int64_t  ctr = 0x0000000000000000ull;
 // 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 % (WORDS_CHUNK*W) == 0 ) i1 += WORDS_CHUNK*W;
	 }
	 // 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();
	// decrypt the SMN
	// Inject the SMN
	i1 = 0;
	for ( i = 0; i < CRYPTO_NSECBYTES; i++ ) {
		 nsec[i] = InternalState8[i1] ^ c[i];
	 	 InternalState8[i1] = c[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 ciphertext
 b = 0;
 for ( j = 0; j < (clen-CRYPTO_ABYTES-CRYPTO_NSECBYTES)/RATE; j ++ ) {
	for ( i = 0; i < IS_SIZE; i++ ) {
		IS[i] = CIS[i];
	}
	ctr ++;
	IS[0] = IS[0] ^ ctr;
	pi();
	// decrypt the ciphertext c
	for ( i = 0; i < N; i+=2 ) {
		for ( i1 = 0; i1 < WORDS_CHUNK; i1++ ) {
	        // XOR the IS_bitrate (InternalState[0], InternalSate[2], ...) with the c to obtain m
			m64[b] = IS[i*WORDS_CHUNK+i1] ^ c64[bSMN+b];
			// in order to proceed with tag computation, put the ciphertext data in the InternalState
			IS[i*WORDS_CHUNK+i1] = c64[bSMN+b];
			b++;
		}
	}
	pi();
	// Collect the tag from this decryption 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 ciphertext block is not the full block, we process it byte by byte
 LastMessageChunkLength = (clen-CRYPTO_ABYTES-CRYPTO_NSECBYTES) % 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++ ) {
	 	 m[b+i] = InternalState8[i1] ^ c[CRYPTO_NSECBYTES+b+i];
	 	 InternalState8[i1] = c[CRYPTO_NSECBYTES+b+i];
		 i1++;
		 if( i1 % (RATE_OUT) == 0 ) i1 += RATE_OUT;
	 }
	 // 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++;
		}
	}
 }

 //updating the length of the message
 *mlen = clen-CRYPTO_ABYTES-CRYPTO_NSECBYTES;

 // tag verification
 for ( ii = (*mlen + CRYPTO_NSECBYTES); ii < clen; ii ++ ) {
	 if ( c[ii] != tempTag8[ii-(*mlen + CRYPTO_NSECBYTES)] )
		return -1;
 }

 return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa0a8, %rsp           # imm = 0xA0A8
movq %r9, 0x48(%rsp)
movq %r8, 0x60(%rsp)
movq %rcx, 0x28(%rsp)
movq %rdx, 0x38(%rsp)
movq %rsi, 0x98(%rsp)
movq %rdi, 0x68(%rsp)
movq 0xa0f0(%rsp), %r14
movq 0xa0e8(%rsp), %rbx
leaq 0xe0(%rsp), %rdi
xorl %r15d, %r15d
movl $0x2000, %edx           # imm = 0x2000
xorl %esi, %esi
callq 0x1030
leaq 0x20e0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
xorl %esi, %esi
callq 0x1030
movq 0x8503(%rip), %r12      # 0xeff8
movl $0x8000, %edx           # imm = 0x8000
movq %r12, %rdi
xorl %esi, %esi
callq 0x1030
movb (%r14,%r15), %al
movb %al, (%r12,%r15)
incq %r15
cmpq $0x20, %r15
jne 0x6b04
xorl %eax, %eax
movb (%rbx,%rax), %cl
movb %cl, 0x20(%r12,%rax)
incq %rax
cmpq $0x40, %rax
jne 0x6b17
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
movb $0x1, 0x60(%r12)
movb $0x1, %al
xorl %r10d, %r10d
movl %eax, 0xc(%rsp)
movq 0x848a(%rip), %rax      # 0xeff0
movq (%rax,%r10,8), %rsi
movq 0x8(%rax,%r10,8), %rdi
movq 0x10(%rax,%r10,8), %r8
leaq (%rdi,%rsi), %rdx
movq %rbx, %rbp
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %r10, 0x10(%rsp)
movq 0x18(%rax,%r10,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rbx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r10
addq %r8, %r10
rorxq $0xb, %r10, %rsi
movq %rbx, %rdi
xorq %r9, %rdi
movq %rdi, %r8
xorq %rsi, %r8
xorq %r11, %rdi
xorq %r11, %rsi
xorq %rsi, %rbx
xorq %r9, %rsi
movq 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %r13
leaq (%r9,%r11), %rax
movq %rcx, %rdx
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
addq %r10, %rcx
addq %rax, %rcx
addq %r10, %r9
addq %r13, %rdx
addq %rdx, %r9
movabsq $0x5655534e4d4b473c, %rdx # imm = 0x5655534E4D4B473C
addq %r13, %rdx
addq %rax, %rdx
rorxq $0x29, %r9, %r9
rorxq $0x1b, %rdx, %rax
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r13
addq %r10, %r13
rorxq $0x5, %r13, %rdx
movq %rdx, %r10
xorq %rax, %r10
movq %r10, %r11
xorq %r9, %r11
addq %r8, %r11
rorxq $0x35, %rcx, %rcx
xorq %rcx, %r10
addq %rdi, %r10
xorq %rcx, %r9
xorq %r9, %rdx
addq %rbx, %rdx
xorq %rax, %r9
addq %rsi, %r9
movq %r11, 0x18(%r12)
movq %r10, (%r12)
movq %rdx, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rax
movq 0x8(%r12,%rdx), %rcx
movq 0x10(%r12,%rdx), %rdi
leaq (%rcx,%rax), %rsi
leaq (%rdi,%rbp), %r8
addq %rsi, %r8
rorxq $0x39, %r8, %r10
movq 0x18(%r12,%rdx), %r8
leaq (%r15,%r8), %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %rsi
addq %rdi, %rax
addq %r14, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdi, %r8
rorxq $0xb, %r8, %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(%r12,%rdx), %rax
movq 0x30(%r12,%rdx), %rcx
movq 0x38(%r12,%rdx), %r11
leaq (%rcx,%rax), %r10
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
leaq (%rbx,%r11), %r13
addq %r10, %r13
movq 0x28(%r12,%rdx), %rbx
addq %r11, %rcx
movabsq $0x6a696665635c5a59, %rbp # imm = 0x6A696665635C5A59
addq %rbx, %rbp
addq %rbp, %rcx
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %rbx, %rbp
addq %r10, %rbp
rorxq $0x29, %rcx, %r10
rorxq $0x1b, %rbp, %rcx
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
addq %rax, %r11
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %rbx
addq %r11, %rbx
rorxq $0x5, %rbx, %rax
movq %rax, %r11
xorq %rcx, %r11
movq %r11, %rbx
xorq %r10, %rbx
addq %r9, %rbx
rorxq $0x35, %r13, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %rcx, %r10
addq %rdi, %r10
movq %rbx, 0x38(%r12,%rdx)
movq %r11, 0x20(%r12,%rdx)
movq %rax, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x6c86
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rcx
movq 0x7ff0(%r12), %rsi
leaq (%rcx,%rax), %rdx
leaq (%rsi,%rbp), %rdi
addq %rdx, %rdi
rorxq $0x39, %rdi, %r9
movq 0x7ff8(%r12), %rdi
leaq (%r15,%rdi), %r8
addq %rdx, %r8
rorxq $0x2d, %r8, %rdx
addq %rsi, %rax
addq %r14, %rax
addq %rdi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rsi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %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 0x81aa(%rip), %rcx      # 0xeff0
movq 0x10(%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
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r9, %rbx
addq %rcx, %rbx
addq %r9, %rax
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
addq %r11, %r13
addq %r13, %rax
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r11, %r13
addq %rcx, %r13
rorxq $0x29, %rax, %rcx
rorxq $0x1b, %r13, %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(%r12)
movq %r10, 0x7fe0(%r12)
movq %r9, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rax
movq 0x8(%r12,%rcx), %rsi
movq 0x10(%r12,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rdi,%rbp), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r12,%rcx), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r14, %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(%r12,%rcx), %rax
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r10
leaq (%r9,%rax), %r11
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq 0x28(%r12,%rcx), %r13
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rbp # imm = 0x6A696665635C5A59
addq %r13, %rbp
addq %rbp, %r9
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r11, %rbp
rorxq $0x29, %r9, %r9
rorxq $0x1b, %rbp, %r11
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
addq %rax, %r10
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r13
addq %r10, %r13
rorxq $0x5, %r13, %rax
movq %rax, %r10
xorq %r11, %r10
movq %r10, %r13
xorq %r9, %r13
addq %r8, %r13
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 %r13, 0x18(%r12,%rcx)
movq %r10, (%r12,%rcx)
movq %rax, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x6f0a
movq %rbp, %rbx
movl $0x8, %r10d
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
jne 0x6b5b
vmovups (%r12), %ymm0
vmovups %ymm0, 0xa0(%rsp)
vmovdqu 0x20(%r12), %ymm0
vmovdqu %ymm0, 0x70(%rsp)
movq 0x20(%r12), %rax
movq %rax, 0x20(%rsp)
leaq 0x40(%r12), %rsi
leaq 0x20e0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq %rsi, 0x30(%rsp)
vzeroupper
callq 0x1070
movq 0xa0e0(%rsp), %rax
cmpq $0x4000, %rax           # imm = 0x4000
jae 0x70c6
movq $0x0, 0x40(%rsp)
jmp 0x7c0a
shrq $0xe, %rax
movq %rax, 0x50(%rsp)
vmovdqu 0xe0(%rsp), %ymm0
movq $0x0, 0x18(%rsp)
xorl %eax, %eax
movq %rax, 0x58(%rsp)
vmovdqu %ymm0, 0xc0(%rsp)
vmovups 0xa0(%rsp), %ymm0
vmovups %ymm0, (%r12)
vmovdqu 0x70(%rsp), %ymm0
vmovdqu %ymm0, 0x20(%r12)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x30(%rsp), %rdi
leaq 0x20e0(%rsp), %rsi
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
incq %rax
movq %rax, 0x20(%rsp)
xorq %rax, (%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x7ea9(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq %rbx, %r15
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r13
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r10), %rbp
addq %r13, %rbp
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rbx, %rax
addq %rax, %r9
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %rbx, %rax
addq %r13, %rax
rorxq $0x29, %r9, %r9
rorxq $0x1b, %rax, %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 %r9, %rbx
addq %r8, %rbx
rorxq $0x35, %rbp, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rax, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rax
movq 0x8(%r12,%rdx), %rdi
movq 0x10(%r12,%rdx), %r8
leaq (%rdi,%rax), %rsi
leaq (%r15,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%r12,%rdx), %r9
movabsq $-0x2e333536393a3c48, %rcx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rcx,%r9), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
addq %r14, %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(%r12,%rdx), %rax
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %r11
leaq (%r10,%rax), %rbx
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%r11), %r13
addq %rbx, %r13
movq 0x28(%r12,%rdx), %rbp
addq %r11, %r10
movq %r14, %rcx
movabsq $0x6a696665635c5a59, %r14 # imm = 0x6A696665635C5A59
addq %rbp, %r14
addq %r14, %r10
movabsq $0x5655534e4d4b473c, %r14 # imm = 0x5655534E4D4B473C
addq %rbp, %r14
addq %rbx, %r14
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r14, %rbx
addq %rax, %r11
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %rbp
addq %r11, %rbp
rorxq $0x5, %rbp, %rax
movq %rax, %r11
xorq %rbx, %r11
movq %r11, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r13, %r9
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %rbx, %r10
addq %rdi, %r10
movq %r14, 0x38(%r12,%rdx)
movq %rcx, %r14
movq %r11, 0x20(%r12,%rdx)
movq %rax, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x726f
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rsi
movq 0x7ff0(%r12), %rdi
leaq (%rsi,%rax), %rdx
movq %r15, %r13
leaq (%r15,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r12), %r8
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r14, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %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 0x7bae(%rip), %rcx      # 0xeff0
movq 0x10(%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
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(%r12)
movq %r10, 0x7fe0(%r12)
movq %r9, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq %r13, %rbx
movq (%r12,%rcx), %rax
movq 0x8(%r12,%rcx), %rsi
movq 0x10(%r12,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rbx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r12,%rcx), %r8
leaq (%r15,%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(%r12,%rcx), %rax
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r10
leaq (%r9,%rax), %r11
movq %rbx, %rbp
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq 0x28(%r12,%rcx), %r14
addq %r10, %r9
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
addq %r14, %r13
addq %r13, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r14, %r13
addq %r11, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %r11
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
movq %rbp, %rbx
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r12,%rcx)
movq %r10, (%r12,%rcx)
movq %rax, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x7509
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
jne 0x713c
movq %r12, %rax
xorl %edx, %edx
movq 0x48(%rsp), %r9
vmovdqu 0xc0(%rsp), %ymm0
movq 0x18(%rsp), %r8
movq %r8, %rcx
leaq (,%r8,8), %r10
leaq (%r9,%r8,8), %rdi
xorl %esi, %esi
movq (%rdi,%rsi,8), %r8
xorq %r8, (%rax,%rsi,8)
incq %rsi
addq $0x8, %r10
cmpq $0x4, %rsi
jne 0x768d
leaq 0x2(%rdx), %rdi
addq $0x40, %rax
leaq (%rcx,%rsi), %r8
cmpq $0x3fe, %rdx            # imm = 0x3FE
movq %rdi, %rdx
jb 0x767c
movq %r10, 0x40(%rsp)
addq %rsi, %rcx
movq %rcx, 0x18(%rsp)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x791a(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq %rbx, %rcx
movq 0x8(%r12), %rbx
movq %r14, %r13
leaq (%r9,%r11), %r14
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r10), %rbp
addq %r14, %rbp
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rbx, %rax
addq %rax, %r9
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %rbx, %rax
addq %r14, %rax
rorxq $0x29, %r9, %r9
rorxq $0x1b, %rax, %rax
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %rbx
addq %r10, %rbx
rorxq $0x5, %rbx, %r10
movq %r10, %r11
xorq %rax, %r11
movq %r11, %rbx
xorq %r9, %rbx
addq %r8, %rbx
rorxq $0x35, %rbp, %r8
xorq %r8, %r11
addq %rdi, %r11
xorq %r8, %r9
xorq %r9, %r10
addq %rdx, %r10
xorq %rax, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rax
movq 0x8(%r12,%rdx), %rdi
movq 0x10(%r12,%rdx), %r8
leaq (%rdi,%rax), %rsi
leaq (%rcx,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%r12,%rdx), %r9
leaq (%r15,%r9), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
addq %r13, %rax
addq %r9, %rax
rorxq $0x21, %rax, %rax
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 %rax, %r8
xorq %rax, %rdi
xorq %rdi, %rsi
xorq %r10, %rdi
movq 0x20(%r12,%rdx), %rax
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %r11
leaq (%r10,%rax), %rbx
movabsq $-0x727478878b8d8e94, %r14 # imm = 0x8D8B87787472716C
addq %r11, %r14
addq %rbx, %r14
movq 0x28(%r12,%rdx), %rbp
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %rbp, %r15
addq %r15, %r10
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbp, %r15
addq %rbx, %r15
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r15, %rbx
addq %rax, %r11
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %rbp
addq %r11, %rbp
rorxq $0x5, %rbp, %rax
movq %rax, %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, %rax
addq %rsi, %rax
xorq %rbx, %r10
addq %rdi, %r10
movq %r15, 0x38(%r12,%rdx)
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movq %r11, 0x20(%r12,%rdx)
movq %rax, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x7801
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rsi
movq 0x7ff0(%r12), %rdi
leaq (%rsi,%rax), %rdx
movq %rcx, %rbp
leaq (%rcx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r12), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %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 0x762d(%rip), %r11      # 0xeff0
movq 0x10(%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(%r12)
movq %r10, 0x7fe0(%r12)
movq %r9, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq %rbp, %rbx
movq (%r12,%rcx), %rax
movq 0x8(%r12,%rcx), %rsi
movq 0x10(%r12,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rbx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r12,%rcx), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %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(%r12,%rcx), %rax
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r10
leaq (%r9,%rax), %r11
movq %rbx, %rbp
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq 0x28(%r12,%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 $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
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
movq %rbp, %rbx
movabsq $-0x4b4d4e535556595b, %r13 # imm = 0xB4B2B1ACAAA9A6A5
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r12,%rcx)
movq %r10, (%r12,%rcx)
movq %rax, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x7a8a
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %r13, %r14
jne 0x76cb
vpaddq (%r12), %ymm0, %ymm0
movq 0x58(%rsp), %rax
incq %rax
cmpq 0x50(%rsp), %rax
jne 0x70e3
vmovdqu %ymm0, 0xe0(%rsp)
movq 0x73e7(%rip), %r12      # 0xeff8
vmovups 0xa0(%rsp), %ymm0
vmovups %ymm0, (%r12)
vmovups 0x70(%rsp), %ymm0
vmovups %ymm0, 0x20(%r12)
leaq 0x40(%r12), %rdi
leaq 0x20e0(%rsp), %rsi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq %rdi, 0x30(%rsp)
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
incq %rax
xorq %rax, (%r12)
movq 0xa0e0(%rsp), %rax
andq $0x3fff, %rax           # imm = 0x3FFF
je 0x871e
movq %rax, 0x18(%rsp)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x7370(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
movq %r14, %rcx
leaq (%r9,%r11), %r14
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r10), %r15
addq %r14, %r15
addq %r10, %r9
movq %rcx, %r13
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rax # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rax,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %r13, %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%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, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %rbp
addq %rbx, %rbp
rorxq $0x5, %rbp, %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, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x7dac
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rsi
movq 0x7ff0(%r12), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rdi,%rbp), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r12), %r8
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %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 0x7066(%rip), %r11      # 0xeff0
movq 0x10(%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(%r12)
movq %r10, 0x7fe0(%r12)
movq %r9, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq %rbp, %rbx
movq (%r12,%rcx), %rax
movq 0x8(%r12,%rcx), %rsi
movq 0x10(%r12,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rbx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r12,%rcx), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %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(%r12,%rcx), %rax
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r10
leaq (%r9,%rax), %r11
movq %rbx, %rbp
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq 0x28(%r12,%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 $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
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
movq %rbp, %rbx
movabsq $-0x4b4d4e535556595b, %r13 # imm = 0xB4B2B1ACAAA9A6A5
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r12,%rcx)
movq %r10, (%r12,%rcx)
movq %rax, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x8051
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %r13, %r14
jne 0x7c75
movq 0x48(%rsp), %rsi
addq 0x40(%rsp), %rsi
xorl %eax, %eax
xorl %ecx, %ecx
movq 0x18(%rsp), %rdi
movb (%rsi,%rcx), %dl
xorb %dl, (%r12,%rax)
leaq 0x1(%rax), %rdx
addq $0x21, %rax
testb $0x1f, %dl
cmovneq %rdx, %rax
incq %rcx
cmpq %rcx, %rdi
jne 0x81c2
xorb $0x1, (%r12,%rdi)
movb $0x1, %al
xorl %ecx, %ecx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
movl %eax, 0xc(%rsp)
movq 0x6df2(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x831c
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x6afa(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x85b1
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0x81f3
vmovdqu (%r12), %ymm0
jmp 0x91b4
movb $0x1, %cl
xorl %edx, %edx
movq 0x68cf(%rip), %rax      # 0xeff8
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
movl %ecx, 0xc(%rsp)
movq 0x68b2(%rip), %rcx      # 0xeff0
movq (%rcx,%rdx,8), %rdi
movq 0x8(%rcx,%rdx,8), %r8
movq 0x10(%rcx,%rdx,8), %r9
leaq (%r8,%rdi), %rsi
leaq (%rbx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq %rdx, 0x10(%rsp)
movq 0x18(%rcx,%rdx,8), %r11
movq %rbx, %rcx
leaq (%r15,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %r14, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %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 0x10(%rax), %r10
movq 0x18(%rax), %r11
movq (%rax), %rbx
movq 0x8(%rax), %r14
leaq (%r10,%rbx), %r15
addq %r11, %r13
addq %r15, %r13
addq %r11, %r10
movq %rcx, %rdx
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %rcx, %r10
addq %r14, %r10
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
leaq (%rcx,%r14), %rbp
addq %r15, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r15
addq %rbx, %r11
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r14
addq %r11, %r14
rorxq $0x5, %r14, %r11
movq %r11, %rbx
xorq %r15, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r13, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r15, %r10
addq %rdi, %r10
movq %r14, 0x18(%rax)
movq %rbx, (%rax)
movq %r11, 0x8(%rax)
movq %r10, 0x10(%rax)
xorl %esi, %esi
movq (%rax,%rsi), %r8
movq 0x8(%rax,%rsi), %r9
movq 0x10(%rax,%rsi), %r10
leaq (%r9,%r8), %rdi
leaq (%rdx,%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
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%r14), %r13
addq %r15, %r13
movq 0x28(%rax,%rsi), %rbp
addq %r14, %r11
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %rbp, %rcx
addq %rcx, %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
movq %rbx, %r14
xorq %rcx, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %r13, %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 0x8857
movq 0x7fe0(%rax), %rcx
movq 0x7fe8(%rax), %rdi
movq 0x7ff0(%rax), %r8
leaq (%rdi,%rcx), %rsi
leaq (%rdx,%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, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %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 0x65c0(%rip), %rbx      # 0xeff0
movq 0x10(%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), %rbp
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rbp, %r14
addq %r10, %rcx
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %rbx, %r15
addq %r15, %rcx
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rbp, %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
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
movq (%rax,%rdx), %rcx
movq 0x8(%rax,%rdx), %rdi
movq 0x10(%rax,%rdx), %r8
leaq (%rdi,%rcx), %rsi
leaq (%rbx,%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,%r13), %r14
addq %rbx, %r14
movq 0x28(%rax,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
addq %r15, %r13
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
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 0x8afb
movl $0x8, %edx
testb $0x1, 0xc(%rsp)
movl $0x0, %ecx
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
jne 0x8733
xorb $0x1, (%rax)
movb $0x1, %cl
xorl %edx, %edx
movl %ecx, 0xc(%rsp)
movq 0x6370(%rip), %rcx      # 0xeff0
movq (%rcx,%rdx,8), %rdi
movq 0x8(%rcx,%rdx,8), %r8
movq 0x10(%rcx,%rdx,8), %r9
leaq (%r8,%rdi), %rsi
leaq (%rbx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq %rdx, 0x10(%rsp)
movq 0x18(%rcx,%rdx,8), %r11
movq %rbx, %rcx
leaq (%r15,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %r14, %rdi
addq %r11, %rdi
rorxq $0x21, %rdi, %rbx
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %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 0x10(%rax), %r10
movq 0x18(%rax), %r11
movq (%rax), %rbx
movq 0x8(%rax), %r14
leaq (%r10,%rbx), %r15
addq %r11, %r13
addq %r15, %r13
addq %r11, %r10
movq %rcx, %rdx
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %rcx, %r10
addq %r14, %r10
movabsq $0x5655534e4d4b473c, %rcx # imm = 0x5655534E4D4B473C
leaq (%rcx,%r14), %rbp
addq %r15, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r15
addq %rbx, %r11
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r14
addq %r11, %r14
rorxq $0x5, %r14, %r11
movq %r11, %rbx
xorq %r15, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %r13, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r15, %r10
addq %rdi, %r10
movq %r14, 0x18(%rax)
movq %rbx, (%rax)
movq %r11, 0x8(%rax)
movq %r10, 0x10(%rax)
xorl %esi, %esi
movq (%rax,%rsi), %r8
movq 0x8(%rax,%rsi), %r9
movq 0x10(%rax,%rsi), %r10
leaq (%r9,%r8), %rdi
leaq (%rdx,%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
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%r14), %r13
addq %r15, %r13
movq 0x28(%rax,%rsi), %rbp
addq %r14, %r11
movabsq $0x6a696665635c5a59, %rcx # imm = 0x6A696665635C5A59
addq %rbp, %rcx
addq %rcx, %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
movq %rbx, %r14
xorq %rcx, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %r13, %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 0x8d99
movq 0x7fe0(%rax), %rcx
movq 0x7fe8(%rax), %rdi
movq 0x7ff0(%rax), %r8
leaq (%rdi,%rcx), %rsi
leaq (%rdx,%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, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %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 0x607e(%rip), %rbx      # 0xeff0
movq 0x10(%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), %rbp
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rbp, %r14
addq %r10, %rcx
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %rbx, %r15
addq %r15, %rcx
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rbp, %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
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
movq (%rax,%rdx), %rcx
movq 0x8(%rax,%rdx), %rdi
movq 0x10(%rax,%rdx), %r8
leaq (%rdi,%rcx), %rsi
leaq (%rbx,%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,%r13), %r14
addq %rbx, %r14
movq 0x28(%rax,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
addq %r15, %r13
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
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 0x903d
movl $0x8, %edx
testb $0x1, 0xc(%rsp)
movl $0x0, %ecx
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
jne 0x8c75
vmovdqu (%rax), %ymm0
vpaddq 0xe0(%rsp), %ymm0, %ymm0
vmovdqu %ymm0, 0xe0(%rsp)
vpxor 0xa0(%rsp), %ymm0, %ymm0
vmovdqu %ymm0, (%r12)
vmovups 0x70(%rsp), %ymm0
vmovups %ymm0, 0x20(%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x5dff(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x930f
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x5b07(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x95a4
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0x91e6
leaq 0x20e0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x30(%rsp), %rsi
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
addq $0x2, %rax
movq %rax, 0x20(%rsp)
xorq %rax, (%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x58af(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x985f
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x55b7(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0x9af4
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0x9736
xorl %eax, %eax
xorl %ecx, %ecx
movq 0x28(%rsp), %rsi
movq 0x38(%rsp), %rdi
movb (%rsi,%rcx), %dl
xorb (%r12,%rax), %dl
movb %dl, (%rdi,%rcx)
movb (%rsi,%rcx), %dl
movb %dl, (%r12,%rax)
leaq 0x1(%rax), %rdx
addq $0x21, %rax
testb $0x1f, %dl
cmovneq %rdx, %rax
incq %rcx
cmpq $0x20, %rcx
jne 0x9c64
xorb $0x1, 0x20(%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x534e(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0x9dc0
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x5056(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0xa055
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0x9c97
vmovups (%r12), %ymm0
vmovups %ymm0, 0x70(%rsp)
vmovups 0x20(%r12), %ymm0
vmovups %ymm0, 0xa0(%rsp)
leaq 0x20e0(%rsp), %rdi
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x30(%rsp), %rsi
vzeroupper
callq 0x1070
vmovdqu 0x70(%rsp), %ymm0
vpaddq 0xe0(%rsp), %ymm0, %ymm0
vmovdqu %ymm0, 0xe0(%rsp)
movq 0x60(%rsp), %rax
addq $-0x2020, %rax          # imm = 0xDFE0
cmpq $0x4000, %rax           # imm = 0x4000
movq %rax, 0x38(%rsp)
jae 0xa22b
movq $0x0, 0x18(%rsp)
jmp 0xadc7
shrq $0xe, %rax
movq %rax, 0x48(%rsp)
vmovdqu 0xe0(%rsp), %ymm0
movq 0x28(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x40(%rsp)
movq $0x0, 0x18(%rsp)
xorl %eax, %eax
movq %rax, 0x58(%rsp)
vmovdqu %ymm0, 0xc0(%rsp)
vmovups 0x70(%rsp), %ymm0
vmovups %ymm0, (%r12)
vmovdqu 0xa0(%rsp), %ymm0
vmovdqu %ymm0, 0x20(%r12)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq 0x30(%rsp), %rdi
leaq 0x20e0(%rsp), %rsi
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
incq %rax
movq %rax, 0x20(%rsp)
xorq %rax, (%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x4d36(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
movq %r14, %rcx
leaq (%r9,%r11), %r14
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r10), %r15
addq %r14, %r15
addq %r10, %r9
movq %rcx, %r13
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rax # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rax,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %r13, %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%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, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %rbp
addq %rbx, %rbp
rorxq $0x5, %rbp, %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, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0xa3e6
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rsi
movq 0x7ff0(%r12), %rdi
leaq (%rsi,%rax), %rdx
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rdi,%rbp), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x7ff8(%r12), %r8
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %rax
addq %r8, %rax
rorxq $0x21, %rax, %rax
addq %rsi, %rdi
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %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 0x4a2c(%rip), %r11      # 0xeff0
movq 0x10(%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(%r12)
movq %r10, 0x7fe0(%r12)
movq %r9, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq %rbp, %rbx
movq (%r12,%rcx), %rax
movq 0x8(%r12,%rcx), %rsi
movq 0x10(%r12,%rcx), %rdi
leaq (%rsi,%rax), %rdx
leaq (%rbx,%rdi), %r8
addq %rdx, %r8
rorxq $0x39, %r8, %r9
movq 0x18(%r12,%rcx), %r8
leaq (%r15,%r8), %r10
addq %rdx, %r10
rorxq $0x2d, %r10, %rdx
addq %rdi, %rax
addq %r13, %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(%r12,%rcx), %rax
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r10
leaq (%r9,%rax), %r11
movq %r13, %rbp
movq %rbx, %r13
movabsq $-0x727478878b8d8e94, %rbx # imm = 0x8D8B87787472716C
addq %r10, %rbx
addq %r11, %rbx
movq 0x28(%r12,%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 $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
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
movq %r13, %rbx
movq %rbp, %r13
xorq %r8, %r10
addq %rdi, %r10
xorq %r8, %r9
xorq %r9, %rax
addq %rdx, %rax
xorq %r11, %r9
addq %rsi, %r9
movq %r14, 0x18(%r12,%rcx)
movq %r10, (%r12,%rcx)
movq %rax, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0xa68b
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %r13, %r14
jne 0xa2af
movq %r12, %rdx
xorl %esi, %esi
movq 0x68(%rsp), %r9
vmovdqu 0xc0(%rsp), %ymm0
movq 0x40(%rsp), %r10
movq 0x18(%rsp), %r11
movq %r11, %r13
leaq (%r9,%r11,8), %rax
leaq (%r10,%r11,8), %rdi
xorl %ecx, %ecx
movq (%rdi,%rcx), %r8
xorq (%rdx,%rcx), %r8
movq %r8, (%rax,%rcx)
movq (%rdi,%rcx), %r8
movq %r8, (%rdx,%rcx)
incq %r11
addq $0x8, %rcx
cmpq $0x20, %rcx
jne 0xa80f
leaq 0x2(%rsi), %rax
addq $0x40, %rdx
cmpq $0x3fe, %rsi            # imm = 0x3FE
movq %rax, %rsi
jb 0xa802
movq %r13, 0x50(%rsp)
movq %r11, 0x18(%rsp)
movb $0x1, %al
xorl %esi, %esi
movl %eax, 0xc(%rsp)
movq 0x4793(%rip), %rdx      # 0xeff0
movq (%rdx,%rsi,8), %rax
movq 0x8(%rdx,%rsi,8), %r8
movq 0x10(%rdx,%rsi,8), %r9
leaq (%r8,%rax), %rdi
leaq (%rbx,%r9), %r10
addq %rdi, %r10
rorxq $0x39, %r10, %r11
movq %rsi, 0x10(%rsp)
movq 0x18(%rdx,%rsi,8), %r10
leaq (%r15,%r10), %rbx
addq %rdi, %rbx
rorxq $0x2d, %rbx, %rdi
addq %r9, %rax
addq %r14, %rax
addq %r10, %rax
rorxq $0x21, %rax, %rax
addq %r8, %r9
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %r10
addq %r9, %r10
rorxq $0xb, %r10, %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 0x10(%r12), %rax
movq 0x18(%r12), %rbx
movq %r14, %r13
movq (%r12), %r14
movq 0x8(%r12), %r15
leaq (%rax,%r14), %r11
movabsq $-0x727478878b8d8e94, %rdx # imm = 0x8D8B87787472716C
leaq (%rdx,%rbx), %rbp
addq %r11, %rbp
addq %rbx, %rax
movabsq $0x6a696665635c5a59, %rdx # imm = 0x6A696665635C5A59
addq %r15, %rdx
addq %rdx, %rax
movabsq $0x5655534e4d4b473c, %rdx # imm = 0x5655534E4D4B473C
addq %r15, %rdx
addq %r11, %rdx
rorxq $0x29, %rax, %r11
rorxq $0x1b, %rdx, %rax
addq %r14, %rbx
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r15
addq %rbx, %r15
rorxq $0x5, %r15, %rdx
movq %rdx, %rbx
xorq %rax, %rbx
movq %rbx, %r14
xorq %r11, %r14
addq %r10, %r14
rorxq $0x35, %rbp, %r10
xorq %r10, %rbx
addq %r9, %rbx
xorq %r10, %r11
xorq %r11, %rdx
addq %rdi, %rdx
xorq %rax, %r11
addq %r8, %r11
movq %r14, 0x18(%r12)
movq %rbx, (%r12)
movq %rdx, 0x8(%r12)
movq %r11, 0x10(%r12)
xorl %edi, %edi
movq (%r12,%rdi), %rax
movq 0x8(%r12,%rdi), %rdx
movq 0x10(%r12,%rdi), %r9
leaq (%rdx,%rax), %r8
movabsq $-0xf171b1d1e272b2e, %rsi # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rsi,%r9), %r10
addq %r8, %r10
rorxq $0x39, %r10, %rbx
movq 0x18(%r12,%rdi), %r10
movabsq $-0x2e333536393a3c48, %rsi # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rsi,%r10), %r11
addq %r8, %r11
rorxq $0x2d, %r11, %r8
addq %r9, %rax
addq %r13, %rax
addq %r10, %rax
rorxq $0x21, %rax, %rax
addq %rdx, %r9
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %r10
addq %r9, %r10
rorxq $0xb, %r10, %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(%r12,%rdi), %rdx
movq 0x30(%r12,%rdi), %rax
movq 0x38(%r12,%rdi), %rbx
leaq (%rax,%rdx), %r14
movabsq $-0x727478878b8d8e94, %rsi # imm = 0x8D8B87787472716C
leaq (%rsi,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdi), %rbp
addq %rbx, %rax
movabsq $0x6a696665635c5a59, %rsi # imm = 0x6A696665635C5A59
addq %rbp, %rsi
addq %rsi, %rax
movabsq $0x5655534e4d4b473c, %rsi # imm = 0x5655534E4D4B473C
addq %rbp, %rsi
addq %r14, %rsi
rorxq $0x29, %rax, %rax
rorxq $0x1b, %rsi, %rsi
addq %rdx, %rbx
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %rbp
addq %rbx, %rbp
rorxq $0x5, %rbp, %rdx
movq %rdx, %rbx
xorq %rsi, %rbx
movq %rbx, %r14
xorq %rax, %r14
addq %r11, %r14
rorxq $0x35, %r15, %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(%r12,%rdi)
movq %rbx, 0x20(%r12,%rdi)
movq %rdx, 0x28(%r12,%rdi)
movq %rax, 0x30(%r12,%rdi)
addq $0x20, %rdi
cmpq $0x7fe0, %rdi           # imm = 0x7FE0
jne 0xa985
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rdx
movq 0x7ff0(%r12), %rsi
leaq (%rdx,%rax), %rdi
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rsi,%rbp), %r8
addq %rdi, %r8
rorxq $0x39, %r8, %r11
movq 0x7ff8(%r12), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rdi, %r9
rorxq $0x2d, %r9, %rdi
addq %rsi, %rax
addq %r13, %rax
addq %r8, %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 0x448e(%rip), %r11      # 0xeff0
movq 0x10(%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, %r14 # imm = 0x8D8B87787472716C
addq %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(%r12)
movq %rsi, 0x7fe0(%r12)
movq %rdx, 0x7fe8(%r12)
movq %rax, 0x7ff0(%r12)
movl $0x7fc0, %esi           # imm = 0x7FC0
movq %rbp, %rbx
movq (%r12,%rsi), %rax
movq 0x8(%r12,%rsi), %rdx
movq 0x10(%r12,%rsi), %r8
leaq (%rdx,%rax), %rdi
leaq (%rbx,%r8), %r9
addq %rdi, %r9
rorxq $0x39, %r9, %r11
movq 0x18(%r12,%rsi), %r9
movabsq $-0x2e333536393a3c48, %r10 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r10
addq %rdi, %r10
rorxq $0x2d, %r10, %rdi
addq %r8, %rax
addq %r13, %rax
addq %r9, %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(%r12,%rsi), %rdx
movq 0x30(%r12,%rsi), %rax
movq 0x38(%r12,%rsi), %r11
leaq (%rax,%rdx), %rbx
movabsq $-0x727478878b8d8e94, %r14 # imm = 0x8D8B87787472716C
addq %r11, %r14
addq %rbx, %r14
movq 0x28(%r12,%rsi), %r15
addq %r11, %rax
movabsq $0x6a696665635c5a59, %rbp # imm = 0x6A696665635C5A59
addq %r15, %rbp
addq %rbp, %rax
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r15, %rbp
addq %rbx, %rbp
rorxq $0x29, %rax, %rax
rorxq $0x1b, %rbp, %rbx
movabsq $-0xf171b1d1e272b2e, %rbp # imm = 0xF0E8E4E2E1D8D4D2
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
xorq %r10, %r11
addq %r9, %r11
xorq %r10, %rax
xorq %rax, %rdx
addq %rdi, %rdx
xorq %rbx, %rax
movq %rbp, %rbx
addq %r8, %rax
movq %r15, 0x18(%r12,%rsi)
movq %r11, (%r12,%rsi)
movq %rdx, 0x8(%r12,%rsi)
movq %rax, 0x10(%r12,%rsi)
addq $-0x20, %rsi
cmpq $-0x20, %rsi
jne 0xac29
movl $0x8, %esi
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movq %r13, %r14
jne 0xa852
vpaddq (%r12), %ymm0, %ymm0
movq 0x58(%rsp), %rax
incq %rax
cmpq 0x48(%rsp), %rax
jne 0xa256
vmovdqu %ymm0, 0xe0(%rsp)
movq 0x50(%rsp), %rax
leaq (%rcx,%rax,8), %rax
movq %rax, 0x18(%rsp)
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
movq 0x422a(%rip), %r12      # 0xeff8
vmovups 0x70(%rsp), %ymm0
vmovups %ymm0, (%r12)
vmovups 0xa0(%rsp), %ymm0
vmovups %ymm0, 0x20(%r12)
leaq 0x40(%r12), %rdi
leaq 0x20e0(%rsp), %rsi
movl $0x7fc0, %edx           # imm = 0x7FC0
vzeroupper
callq 0x1070
movq 0x20(%rsp), %rax
incq %rax
xorq %rax, (%r12)
movq 0x38(%rsp), %rax
andq $0x3fff, %rax           # imm = 0x3FFF
je 0xb8d1
movq %rax, 0x20(%rsp)
movb $0x1, %al
xorl %edx, %edx
movl %eax, 0xc(%rsp)
movq 0x41bb(%rip), %rax      # 0xeff0
movq (%rax,%rdx,8), %rdi
movq 0x8(%rax,%rdx,8), %r8
movq 0x10(%rax,%rdx,8), %r9
leaq (%r8,%rdi), %rsi
leaq (%rbx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq %rdx, 0x10(%rsp)
movq 0x18(%rax,%rdx,8), %r11
movq %rbx, %rdx
leaq (%r15,%r11), %rbx
addq %rsi, %rbx
rorxq $0x2d, %rbx, %rsi
addq %r9, %rdi
addq %r14, %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 0x10(%r12), %r10
movq 0x18(%r12), %r11
movq (%r12), %rbx
movq %r14, %rax
movq 0x8(%r12), %r14
leaq (%r10,%rbx), %r15
leaq (%r11,%r13), %rbp
addq %r15, %rbp
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
movq %rax, %rcx
addq %r14, %r13
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
leaq (%rax,%r14), %r13
addq %r15, %r13
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r13, %r15
addq %rbx, %r11
movabsq $0x3a393635332e2d2b, %rax # imm = 0x3A393635332E2D2B
addq %rax, %r14
addq %r11, %r14
rorxq $0x5, %r14, %r11
movq %r11, %rbx
xorq %r15, %rbx
movq %rbx, %r14
xorq %r10, %r14
addq %r9, %r14
rorxq $0x35, %rbp, %r9
xorq %r9, %rbx
addq %r8, %rbx
xorq %r9, %r10
xorq %r10, %r11
addq %rsi, %r11
xorq %r15, %r10
addq %rdi, %r10
movq %r14, 0x18(%r12)
movq %rbx, (%r12)
movq %r11, 0x8(%r12)
movq %r10, 0x10(%r12)
xorl %esi, %esi
movq (%r12,%rsi), %r8
movq 0x8(%r12,%rsi), %r9
movq 0x10(%r12,%rsi), %r10
leaq (%r9,%r8), %rdi
leaq (%rdx,%r10), %r11
addq %rdi, %r11
rorxq $0x39, %r11, %r11
movq 0x18(%r12,%rsi), %rbx
movabsq $-0x2e333536393a3c48, %rax # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rax,%rbx), %r14
addq %rdi, %r14
rorxq $0x2d, %r14, %rdi
addq %r10, %r8
addq %rcx, %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(%r12,%rsi), %rbx
movq 0x30(%r12,%rsi), %r11
movq 0x38(%r12,%rsi), %r14
leaq (%r11,%rbx), %r15
movabsq $-0x727478878b8d8e94, %rax # imm = 0x8D8B87787472716C
leaq (%rax,%r14), %r13
addq %r15, %r13
movq 0x28(%r12,%rsi), %rbp
addq %r14, %r11
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rbp, %rax
addq %rax, %r11
movabsq $0x5655534e4d4b473c, %rax # imm = 0x5655534E4D4B473C
addq %rbp, %rax
addq %r15, %rax
rorxq $0x29, %r11, %r11
rorxq $0x1b, %rax, %rax
addq %rbx, %r14
movabsq $0x3a393635332e2d2b, %rbx # imm = 0x3A393635332E2D2B
addq %rbx, %rbp
addq %r14, %rbp
rorxq $0x5, %rbp, %rbx
movq %rbx, %r14
xorq %rax, %r14
movq %r14, %r15
xorq %r11, %r15
addq %r10, %r15
rorxq $0x35, %r13, %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(%r12,%rsi)
movq %r14, 0x20(%r12,%rsi)
movq %rbx, 0x28(%r12,%rsi)
movq %r11, 0x30(%r12,%rsi)
addq $0x20, %rsi
cmpq $0x7fe0, %rsi           # imm = 0x7FE0
jne 0xaf5a
movq 0x7fe0(%r12), %rax
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rax), %rsi
movq %rdx, %r13
leaq (%rdx,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x7ff8(%r12), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
addq %rcx, %rax
addq %r9, %rax
rorxq $0x21, %rax, %rax
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rdx # imm = 0xA39C9A999695938E
addq %rdx, %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 0x3eca(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rdx
movq 0x30(%rbx,%rdx,8), %rax
movq 0x38(%rbx,%rdx,8), %r10
movq 0x20(%rbx,%rdx,8), %r11
movq 0x28(%rbx,%rdx,8), %rbx
leaq (%rax,%r11), %rdx
movabsq $-0x727478878b8d8e94, %rbp # imm = 0x8D8B87787472716C
leaq (%r10,%rbp), %r14
addq %rdx, %r14
addq %r10, %rax
movabsq $0x6a696665635c5a59, %r15 # imm = 0x6A696665635C5A59
addq %rbx, %r15
addq %r15, %rax
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rdx, %r15
rorxq $0x29, %rax, %rdx
rorxq $0x1b, %r15, %rax
addq %r11, %r10
movabsq $0x3a393635332e2d2b, %r11 # imm = 0x3A393635332E2D2B
addq %r11, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rdx, 0x7ff0(%r12)
movl $0x7fc0, %edx           # imm = 0x7FC0
movq %r13, %rbx
movq %rbp, %r13
movq (%r12,%rdx), %rax
movq 0x8(%r12,%rdx), %rdi
movq 0x10(%r12,%rdx), %r8
leaq (%rdi,%rax), %rsi
leaq (%rbx,%r8), %r9
addq %rsi, %r9
rorxq $0x39, %r9, %r10
movq 0x18(%r12,%rdx), %r9
movabsq $-0x2e333536393a3c48, %r11 # imm = 0xD1CCCAC9C6C5C3B8
addq %r9, %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %rsi
addq %r8, %rax
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(%r12,%rdx), %rax
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %r11
movq %rbx, %rcx
leaq (%r10,%rax), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rdx), %r15
addq %r11, %r10
movabsq $0x6a696665635c5a59, %r13 # imm = 0x6A696665635C5A59
addq %r15, %r13
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r10, %r10
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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
xorq %r9, %r11
addq %r8, %r11
xorq %r9, %r10
xorq %r10, %rax
addq %rsi, %rax
xorq %rbx, %r10
movq %rcx, %rbx
movabsq $-0x4b4d4e535556595b, %rcx # imm = 0xB4B2B1ACAAA9A6A5
addq %rdi, %r10
movq %r15, 0x18(%r12,%rdx)
movq %r11, (%r12,%rdx)
movq %rax, 0x8(%r12,%rdx)
movq %r10, 0x10(%r12,%rdx)
addq $-0x20, %rdx
cmpq $-0x20, %rdx
jne 0xb1f1
movl $0x8, %edx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movabsq $-0x2e333536393a3c48, %r15 # imm = 0xD1CCCAC9C6C5C3B8
movq %rcx, %r14
jne 0xae2a
movq 0x28(%rsp), %rax
movq 0x18(%rsp), %rdx
leaq (%rax,%rdx), %rcx
addq $0x20, %rcx
movq 0x68(%rsp), %rdi
addq %rdx, %rdi
xorl %edx, %edx
xorl %esi, %esi
movq 0x20(%rsp), %r8
movb (%rcx,%rsi), %al
xorb (%r12,%rdx), %al
movb %al, (%rdi,%rsi)
movb (%rcx,%rsi), %al
movb %al, (%r12,%rdx)
leaq 0x1(%rdx), %rax
addq $0x21, %rdx
testb $0x1f, %al
cmovneq %rax, %rdx
incq %rsi
cmpq %rsi, %r8
jne 0xb37c
xorb $0x1, (%r12,%r8)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x3c39(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0xb4d5
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x3941(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0xb76a
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0xb3ac
jmp 0xc31e
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x3710(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0xb9fe
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x3418(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0xbc93
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0xb8d5
xorb $0x1, (%r12)
movb $0x1, %al
xorl %ecx, %ecx
movl %eax, 0xc(%rsp)
movq 0x31e7(%rip), %rax      # 0xeff0
movq (%rax,%rcx,8), %rsi
movq 0x8(%rax,%rcx,8), %rdi
movq 0x10(%rax,%rcx,8), %r8
leaq (%rdi,%rsi), %rdx
leaq (%rbx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq %rcx, 0x10(%rsp)
movq 0x18(%rax,%rcx,8), %r10
leaq (%r15,%r10), %r11
addq %rdx, %r11
rorxq $0x2d, %r11, %rdx
addq %r8, %rsi
addq %r14, %rsi
addq %r10, %rsi
rorxq $0x21, %rsi, %r11
addq %rdi, %r8
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %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 0x10(%r12), %r9
movq 0x18(%r12), %r10
movq (%r12), %r11
movq 0x8(%r12), %rbx
leaq (%r9,%r11), %r14
movq %r15, %rbp
leaq (%r10,%r13), %r15
addq %r14, %r15
addq %r10, %r9
movabsq $0x6a696665635c5a59, %rax # imm = 0x6A696665635C5A59
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %rbx, %r13
addq %r14, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %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 %rdx, %r10
xorq %r14, %r9
addq %rsi, %r9
movq %rbx, 0x18(%r12)
movq %r11, (%r12)
movq %r10, 0x8(%r12)
movq %r9, 0x10(%r12)
xorl %edx, %edx
movq (%r12,%rdx), %rdi
movq 0x8(%r12,%rdx), %r8
movq 0x10(%r12,%rdx), %r9
leaq (%r8,%rdi), %rsi
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r9), %r10
addq %rsi, %r10
rorxq $0x39, %r10, %r10
movq 0x18(%r12,%rdx), %r11
leaq (%r11,%rbp), %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(%r12,%rdx), %r11
movq 0x30(%r12,%rdx), %r10
movq 0x38(%r12,%rdx), %rbx
leaq (%r10,%r11), %r14
movabsq $-0x727478878b8d8e94, %rcx # imm = 0x8D8B87787472716C
leaq (%rcx,%rbx), %r15
addq %r14, %r15
movq 0x28(%r12,%rdx), %r13
addq %rbx, %r10
movq %rbp, %rcx
addq %rax, %r10
addq %r13, %r10
movabsq $0x5655534e4d4b473c, %rbp # imm = 0x5655534E4D4B473C
addq %r13, %rbp
addq %r14, %rbp
rorxq $0x29, %r10, %r10
rorxq $0x1b, %rbp, %r14
movq %rcx, %rbp
addq %r11, %rbx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r13
addq %rbx, %r13
rorxq $0x5, %r13, %r11
movq %r11, %rbx
xorq %r14, %rbx
movq %rbx, %r13
xorq %r10, %r13
addq %r9, %r13
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 %r13, 0x38(%r12,%rdx)
movq %rbx, 0x20(%r12,%rdx)
movq %r11, 0x28(%r12,%rdx)
movq %r10, 0x30(%r12,%rdx)
addq $0x20, %rdx
cmpq $0x7fe0, %rdx           # imm = 0x7FE0
jne 0xbf27
movq 0x7fe0(%r12), %rsi
movq 0x7fe8(%r12), %rdi
movq 0x7ff0(%r12), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %rcx # imm = 0xF0E8E4E2E1D8D4D2
leaq (%rcx,%r8), %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x7ff8(%r12), %r10
leaq (%r10,%rbp), %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 0x2eef(%rip), %rbx      # 0xeff0
movq 0x10(%rsp), %rcx
movq 0x30(%rbx,%rcx,8), %r9
movq 0x38(%rbx,%rcx,8), %r10
movq 0x20(%rbx,%rcx,8), %r11
movq 0x28(%rbx,%rcx,8), %rbx
leaq (%r9,%r11), %rcx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
leaq (%r10,%r13), %r14
addq %rcx, %r14
addq %r10, %r9
addq %rax, %r9
addq %rbx, %r9
movabsq $0x5655534e4d4b473c, %r15 # imm = 0x5655534E4D4B473C
addq %rbx, %r15
addq %rcx, %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(%r12)
movq %r11, 0x7fe0(%r12)
movq %r10, 0x7fe8(%r12)
movq %rcx, 0x7ff0(%r12)
movl $0x7fc0, %ecx           # imm = 0x7FC0
movq (%r12,%rcx), %rsi
movq 0x8(%r12,%rcx), %rdi
movq 0x10(%r12,%rcx), %r8
leaq (%rdi,%rsi), %rdx
movabsq $-0xf171b1d1e272b2e, %r9 # imm = 0xF0E8E4E2E1D8D4D2
addq %r8, %r9
addq %rdx, %r9
rorxq $0x39, %r9, %r9
movq 0x18(%r12,%rcx), %r10
leaq (%r10,%rbp), %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(%r12,%rcx), %r10
movq 0x30(%r12,%rcx), %r9
movq 0x38(%r12,%rcx), %r11
leaq (%r9,%r10), %rbx
leaq (%r11,%r13), %r14
addq %rbx, %r14
movq 0x28(%r12,%rcx), %r15
addq %r11, %r9
addq %rax, %r9
addq %r15, %r9
movabsq $0x5655534e4d4b473c, %r13 # imm = 0x5655534E4D4B473C
addq %r15, %r13
addq %rbx, %r13
rorxq $0x29, %r9, %r9
rorxq $0x1b, %r13, %rbx
movabsq $-0x727478878b8d8e94, %r13 # imm = 0x8D8B87787472716C
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(%r12,%rcx)
movq %r11, (%r12,%rcx)
movq %r10, 0x8(%r12,%rcx)
movq %r9, 0x10(%r12,%rcx)
addq $-0x20, %rcx
cmpq $-0x20, %rcx
jne 0xc1bc
movl $0x8, %ecx
testb $0x1, 0xc(%rsp)
movl $0x0, %eax
movq %rbp, %r15
movabsq $-0x4b4d4e535556595b, %r14 # imm = 0xB4B2B1ACAAA9A6A5
movabsq $-0xf171b1d1e272b2e, %rbx # imm = 0xF0E8E4E2E1D8D4D2
jne 0xbdfe
vmovdqu (%r12), %ymm0
vpaddq 0xe0(%rsp), %ymm0, %ymm0
movq 0x28(%rsp), %rdi
vmovdqu %ymm0, 0xe0(%rsp)
movq 0x98(%rsp), %rax
movq 0x38(%rsp), %rcx
movq %rcx, (%rax)
xorl %eax, %eax
movq 0x60(%rsp), %rsi
cmpq $0x2000, %rsi           # imm = 0x2000
leaq 0xe0(%rsp), %r8
jb 0xc384
leaq -0x2000(%rsi), %rcx
movb (%rdi,%rcx), %dl
cmpb (%r8), %dl
jne 0xc37f
incq %rcx
incq %r8
cmpq %rsi, %rcx
jb 0xc36a
jmp 0xc384
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0xa0a8, %rsp           # imm = 0xA0A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq
nopl (%rax)