// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/pi64cipher256v1oneround/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];
		}
		// 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 < N; 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];
				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 < N; 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 < N; 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 messge 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
			b = 0;
			for (i = 0; i < N; i += 2) {
				for (i1 = 0; i1 < WORDS_CHUNK; i1++) {
					nsec64[b] = IS[i*WORDS_CHUNK + i1] ^ c64[b];
					IS[i*WORDS_CHUNK + i1] = c64[b];
					b++;
				}
			}
			pi();

			// updating the Common Internal State after decrypting the 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 < N; 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 for 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 < N; 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];
				if (i1 % (WORDS_CHUNK*W) == 0) i1 += WORDS_CHUNK*W;
			}
			// padding with 10*
			InternalState8[LastMessageChunkLength] = InternalState8[LastMessageChunkLength] ^ 0x01;
			pi();
			// updating the tag
			jj = 0;
			for (i = 0; i < N; i += 2) {
				for (i1 = 0; i1 < WORDS_CHUNK; i1++) {
					tempTag[jj] = tempTag[jj] + IS[i*WORDS_CHUNK + i1];
					jj++;
				}
			}
		}

		//updating the lenght 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 $0x20d8, %rsp           # imm = 0x20D8
movq %r9, 0x8(%rsp)
movq %r8, 0x20(%rsp)
movq %rcx, 0x10(%rsp)
movq %rdx, 0x28(%rsp)
movq %rsi, 0x48(%rsp)
movq %rdi, 0x40(%rsp)
movq 0x2120(%rsp), %r15
movq 0x2118(%rsp), %r14
movq 0x2110(%rsp), %rax
movq %rax, 0x38(%rsp)
leaq 0xd0(%rsp), %rdi
xorl %r12d, %r12d
movl $0x2000, %edx           # imm = 0x2000
xorl %esi, %esi
callq 0x1030
vxorps %xmm0, %xmm0, %xmm0
vmovups %ymm0, 0xb0(%rsp)
vmovups %ymm0, 0x90(%rsp)
vmovups %ymm0, 0x70(%rsp)
vmovups %ymm0, 0x50(%rsp)
movq 0x5df1(%rip), %rbx      # 0x9ff8
cmpq $0x10, %r12
je 0x4217
andq $0x0, (%rbx,%r12,8)
incq %r12
jmp 0x4207
xorl %eax, %eax
cmpq $0x20, %rax
je 0x422b
movb (%r15,%rax), %cl
movb %cl, (%rbx,%rax)
incq %rax
jmp 0x4219
xorl %eax, %eax
cmpq $0x10, %rax
je 0x4240
movb (%r14,%rax), %cl
movb %cl, 0x20(%rbx,%rax)
incq %rax
jmp 0x422d
movabsq $-0xf171b1d1e272b2e, %rdx # imm = 0xF0E8E4E2E1D8D4D2
movb $0x1, 0x30(%rbx)
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %r10
leaq (%rcx,%rax), %r9
vmovdqu 0x8(%rbx), %xmm0
vpinsrq $0x1, %r10, %xmm0, %xmm0
vpbroadcastq %r9, %xmm1
vpaddq %xmm0, %xmm1, %xmm0
vpaddq 0x3d86(%rip), %xmm0, %xmm0 # 0x8000
vprolvq 0x3d8c(%rip), %xmm0, %xmm1 # 0x8010
vpbroadcastq %r10, %xmm0
movq %rdx, %r10
vmovq %rcx, %xmm2
vmovq %rax, %xmm3
vpunpcklqdq %xmm2, %xmm3, %xmm2 # xmm2 = xmm3[0],xmm2[0]
vpaddq %xmm2, %xmm0, %xmm0
vpaddq 0x8(%rbx){1to2}, %xmm0, %xmm0
vpaddq 0x3d72(%rip), %xmm0, %xmm0 # 0x8020
vprolvq 0x3d78(%rip), %xmm0, %xmm2 # 0x8030
vpxor %xmm1, %xmm2, %xmm0
vpermq $0x14, %ymm0, %ymm3     # ymm3 = ymm0[0,1,1,0]
vpmovsxbq 0x3e15(%rip), %ymm0 # 0x80e0
vpermt2q %ymm2, %ymm0, %ymm1
vpxor %ymm1, %ymm3, %ymm1
vpaddq 0x3dc3(%rip), %ymm1, %ymm1 # 0x80a0
vmovdqu %ymm1, (%rbx)
xorl %r11d, %r11d
cmpq $0x60, %r11
je 0x442a
movq (%rbx,%r11), %rax
movq 0x8(%rbx,%r11), %rcx
movq 0x10(%rbx,%r11), %r15
leaq (%rcx,%rax), %r14
leaq (%r10,%r15), %r12
addq %r14, %r12
rorxq $0x39, %r12, %rbp
movq 0x18(%rbx,%r11), %r12
movabsq $-0x2e333536393a3c48, %rdx # imm = 0xD1CCCAC9C6C5C3B8
leaq (%rdx,%r12), %r13
addq %r14, %r13
rorxq $0x2d, %r13, %r14
addq %r15, %rax
movabsq $-0x4b4d4e535556595b, %rdx # imm = 0xB4B2B1ACAAA9A6A5
addq %rdx, %rax
addq %r12, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %r15
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r12
addq %r15, %r12
rorxq $0xb, %r12, %r15
movq %r14, %r13
xorq %rbp, %r13
movq %r13, %r12
xorq %r15, %r12
xorq %rax, %r13
xorq %rax, %r15
xorq %r15, %r14
xorq %rbp, %r15
movq 0x20(%rbx,%r11), %rcx
movq 0x30(%rbx,%r11), %rax
movq 0x38(%rbx,%r11), %rbp
leaq (%rax,%rcx), %rdx
movabsq $-0x727478878b8d8e94, %rsi # imm = 0x8D8B87787472716C
addq %rbp, %rsi
addq %rdx, %rsi
movq 0x28(%rbx,%r11), %rdi
addq %rbp, %rax
movabsq $0x6a696665635c5a59, %r8 # imm = 0x6A696665635C5A59
addq %rdi, %r8
addq %r8, %rax
movabsq $0x5655534e4d4b473c, %r8 # imm = 0x5655534E4D4B473C
addq %rdi, %r8
addq %rdx, %r8
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r8, %rdx
addq %rcx, %rbp
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %rdi
addq %rbp, %rdi
rorxq $0x5, %rdi, %rcx
movq %rcx, %rdi
xorq %rdx, %rdi
movq %rdi, %r8
xorq %rax, %r8
addq %r12, %r8
rorxq $0x35, %rsi, %rsi
xorq %rsi, %rdi
addq %r13, %rdi
xorq %rsi, %rax
xorq %rax, %rcx
addq %r14, %rcx
xorq %rdx, %rax
addq %r15, %rax
movq %r8, 0x38(%rbx,%r11)
movq %rdi, 0x20(%rbx,%r11)
movq %rcx, 0x28(%rbx,%r11)
movq %rax, 0x30(%rbx,%r11)
addq $0x20, %r11
jmp 0x42e4
vmovdqu 0x68(%rbx), %xmm1
movq 0x60(%rbx), %rax
vmovq %rax, %xmm2
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm1, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm1[0]
vpaddq %xmm2, %xmm1, %xmm1
vpinsrq $0x1, %rax, %xmm1, %xmm2
vpaddq 0x70(%rbx), %xmm2, %xmm2
vpaddq 0x3be9(%rip), %xmm2, %xmm2 # 0x8040
vprolvq 0x3bef(%rip), %xmm2, %xmm2 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm1, %xmm1
vpaddq 0x3bf0(%rip), %xmm1, %xmm1 # 0x8060
vprolvq 0x3bf6(%rip), %xmm1, %xmm1 # 0x8070
vpxor %xmm2, %xmm1, %xmm3
vpermq $0x14, %ymm3, %ymm3     # ymm3 = ymm3[0,1,1,0]
vpermt2q %ymm1, %ymm0, %ymm2
vpxor %ymm2, %ymm3, %ymm1
vpaddq 0x3c2a(%rip), %ymm1, %ymm1 # 0x80c0
vmovdqu %ymm1, 0x60(%rbx)
pushq $0x40
popq %r11
cmpq $-0x20, %r11
je 0x45e5
movq (%rbx,%r11), %rax
movq 0x8(%rbx,%r11), %rcx
movq 0x10(%rbx,%r11), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r11), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
leaq (%r9,%r8), %r14
addq %rsi, %r14
rorxq $0x2d, %r14, %r14
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r14, %r13
xorq %rdi, %r13
movq %r13, %r12
xorq %r15, %r12
xorq %rax, %r13
xorq %rax, %r15
xorq %r15, %r14
xorq %rdi, %r15
movq 0x20(%rbx,%r11), %rcx
movq 0x30(%rbx,%r11), %rax
movq 0x38(%rbx,%r11), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r11), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r9, %rax
addq %r8, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
leaq (%r9,%r8), %rbp
addq %rsi, %rbp
rorxq $0x29, %rax, %rax
rorxq $0x1b, %rbp, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r12, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r13, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r14, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x18(%rbx,%r11)
movq %rdx, (%rbx,%r11)
movq %rcx, 0x8(%rbx,%r11)
movq %rax, 0x10(%rbx,%r11)
addq $-0x20, %r11
jmp 0x449f
xorl %eax, %eax
movq 0x2110(%rsp), %rsi
cmpq $0x10, %rax
je 0x4603
movq (%rbx,%rax,8), %rcx
movq %rcx, 0x50(%rsp,%rax,8)
incq %rax
jmp 0x45ef
movq 0x70(%rsp), %rdx
shrq $0x6, %rsi
movq %rsi, 0x30(%rsp)
xorl %eax, %eax
vmovdqa 0x39e5(%rip), %xmm1     # 0x8000
vpmovsxbq 0x3ad4(%rip), %xmm2 # 0x80f8
vmovdqa 0x39f4(%rip), %xmm3     # 0x8020
vpmovsxbq 0x3ac5(%rip), %xmm4 # 0x80fa
vmovdqa 0x3a63(%rip), %ymm5     # 0x80a0
vmovdqa 0x39fb(%rip), %xmm6     # 0x8040
vpmovsxbq 0x3aae(%rip), %xmm7 # 0x80fc
vmovdqa 0x3a0a(%rip), %xmm8     # 0x8060
vpmovsxbq 0x3a9f(%rip), %xmm9 # 0x80fe
vmovdqa 0x3a59(%rip), %ymm10    # 0x80c0
xorl %r14d, %r14d
cmpq 0x30(%rsp), %rax
je 0x4de8
movq %rax, 0x18(%rsp)
xorl %eax, %eax
cmpq $0x10, %rax
je 0x4690
movq 0x50(%rsp,%rax,8), %rcx
movq %rcx, (%rbx,%rax,8)
incq %rax
jmp 0x467c
incq %rdx
movq (%rbx), %rax
movq %rdx, (%rsp)
xorq %rdx, %rax
vmovdqa 0x10(%rbx), %xmm11
vpshufd $0x4e, %xmm11, %xmm12   # xmm12 = xmm11[2,3,0,1]
movq 0x10(%rbx), %rcx
addq %rax, %rcx
vpbroadcastq %rcx, %xmm13
vpblendd $0x3, 0x8(%rbx), %xmm11, %xmm14 # xmm14 = mem[0,1],xmm11[2,3]
vpaddq %xmm14, %xmm13, %xmm13
vpaddq %xmm1, %xmm13, %xmm13
vprolvq %xmm2, %xmm13, %xmm13
vpinsrq $0x0, %rax, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq 0x8(%rbx){1to2}, %xmm11, %xmm11
vpaddq %xmm3, %xmm11, %xmm11
vprolvq %xmm4, %xmm11, %xmm11
vpxor %xmm13, %xmm11, %xmm12
vpermq $0x14, %ymm12, %ymm12   # ymm12 = ymm12[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm13
vpxor %ymm13, %ymm12, %ymm11
vpaddq %ymm5, %ymm11, %ymm11
vmovdqu %ymm11, (%rbx)
xorl %r15d, %r15d
cmpq $0x60, %r15
je 0x484e
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
leaq (%r9,%r8), %r11
addq %rsi, %r11
rorxq $0x2d, %r11, %r12
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r12, %r11
xorq %rdi, %r11
movq %r11, %rbp
xorq %r13, %rbp
xorq %rax, %r11
xorq %rax, %r13
xorq %r13, %r12
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r11, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r12, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x38(%rbx,%r15)
movq %rdx, 0x20(%rbx,%r15)
movq %rcx, 0x28(%rbx,%r15)
movq %rax, 0x30(%rbx,%r15)
addq $0x20, %r15
jmp 0x4708
movq 0x60(%rbx), %rax
vmovdqu 0x68(%rbx), %xmm11
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq %xmm6, %xmm12, %xmm12
vprolvq %xmm7, %xmm12, %xmm12
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq %xmm8, %xmm11, %xmm11
vprolvq %xmm9, %xmm11, %xmm11
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq %ymm10, %ymm11, %ymm11
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r15
cmpq $-0x20, %r15
je 0x49f9
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rbp
xorq %r13, %rbp
xorq %rax, %r12
xorq %rax, %r13
xorq %r13, %r11
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x18(%rbx,%r15)
movq %rdx, (%rbx,%r15)
movq %rcx, 0x8(%rbx,%r15)
movq %rax, 0x10(%rbx,%r15)
addq $-0x20, %r15
jmp 0x48b5
movq %rbx, %rax
xorl %r11d, %r11d
cmpq $0x3, %r11
ja 0x4a30
movq 0x8(%rsp), %rcx
leaq (%rcx,%r14,8), %r15
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x4a23
movq (%r15,%rcx,8), %rdx
xorq %rdx, (%rax,%rcx,8)
incq %rcx
jmp 0x4a10
addq $0x2, %r11
addq %rcx, %r14
addq $0x40, %rax
jmp 0x49ff
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %rdx
vmovdqu 0x8(%rbx), %xmm11
leaq (%rcx,%rax), %rsi
vpbroadcastq %rsi, %xmm12
vpinsrq $0x1, %rdx, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq %xmm1, %xmm11, %xmm11
vprolvq %xmm2, %xmm11, %xmm11
vpbroadcastq %rdx, %xmm12
vmovq %rcx, %xmm13
vmovq %rax, %xmm14
vpunpcklqdq %xmm13, %xmm14, %xmm13 # xmm13 = xmm14[0],xmm13[0]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x8(%rbx){1to2}, %xmm12, %xmm12
vpaddq %xmm3, %xmm12, %xmm12
vprolvq %xmm4, %xmm12, %xmm12
vpxor %xmm11, %xmm12, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm12, %ymm0, %ymm11
vpxor %ymm11, %ymm13, %ymm11
vpaddq %ymm5, %ymm11, %ymm11
vmovdqu %ymm11, (%rbx)
xorl %r15d, %r15d
cmpq $0x60, %r15
je 0x4bf0
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rbp
xorq %r13, %rbp
xorq %rax, %r12
xorq %rax, %r13
xorq %r13, %r11
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x38(%rbx,%r15)
movq %rdx, 0x20(%rbx,%r15)
movq %rcx, 0x28(%rbx,%r15)
movq %rax, 0x30(%rbx,%r15)
addq $0x20, %r15
jmp 0x4aab
movq 0x60(%rbx), %rax
vmovdqu 0x68(%rbx), %xmm11
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq %xmm6, %xmm12, %xmm12
vprolvq %xmm7, %xmm12, %xmm12
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq %xmm8, %xmm11, %xmm11
vprolvq %xmm9, %xmm11, %xmm11
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq %ymm10, %ymm11, %ymm11
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r15
cmpq $-0x20, %r15
je 0x4d9b
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rbp
xorq %r13, %rbp
xorq %rax, %r12
xorq %rax, %r13
xorq %r13, %r11
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x18(%rbx,%r15)
movq %rdx, (%rbx,%r15)
movq %rcx, 0x8(%rbx,%r15)
movq %rax, 0x10(%rbx,%r15)
addq $-0x20, %r15
jmp 0x4c57
movq %rbx, %rax
xorl %r11d, %r11d
xorl %r15d, %r15d
cmpq $0x3, %r11
ja 0x4dd7
leaq (%rsp,%r15,8), %r12
addq $0xd0, %r12
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x4dca
movq (%rax,%rcx,8), %rdx
addq %rdx, (%r12,%rcx,8)
incq %rcx
jmp 0x4db7
addq $0x2, %r11
addq %rcx, %r15
addq $0x40, %rax
jmp 0x4da4
movq 0x18(%rsp), %rax
incq %rax
movq (%rsp), %rdx
jmp 0x466a
andq $0x3f, 0x38(%rsp)
je 0x55a5
xorl %eax, %eax
movq 0x51fb(%rip), %rbx      # 0x9ff8
cmpq $0x10, %rax
je 0x4e11
movq 0x50(%rsp,%rax,8), %rcx
movq %rcx, (%rbx,%rax,8)
incq %rax
jmp 0x4dfd
incq %rdx
movq (%rbx), %rax
movq %rdx, (%rsp)
xorq %rdx, %rax
vmovdqa 0x10(%rbx), %xmm11
movq 0x10(%rbx), %rcx
addq %rax, %rcx
vpbroadcastq %rcx, %xmm12
vpblendd $0x3, 0x8(%rbx), %xmm11, %xmm13 # xmm13 = mem[0,1],xmm11[2,3]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x31bc(%rip), %xmm12, %xmm12 # 0x8000
vprolvq 0x31c2(%rip), %xmm12, %xmm12 # 0x8010
vpinsrq $0x0, %rax, %xmm11, %xmm13
vpshufd $0x4e, %xmm11, %xmm11   # xmm11 = xmm11[2,3,0,1]
vpaddq %xmm13, %xmm11, %xmm11
vpaddq 0x8(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x31b2(%rip), %xmm11, %xmm11 # 0x8020
vprolvq 0x31b8(%rip), %xmm11, %xmm11 # 0x8030
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x320a(%rip), %ymm11, %ymm11 # 0x80a0
vmovdqu %ymm11, (%rbx)
xorl %r15d, %r15d
cmpq $0x60, %r15
je 0x4fe2
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rbp
xorq %r13, %rbp
xorq %rax, %r12
xorq %rax, %r13
xorq %r13, %r11
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x38(%rbx,%r15)
movq %rdx, 0x20(%rbx,%r15)
movq %rcx, 0x28(%rbx,%r15)
movq %rax, 0x30(%rbx,%r15)
addq $0x20, %r15
jmp 0x4e9d
vmovdqu 0x68(%rbx), %xmm11
movq 0x60(%rbx), %rax
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq 0x302f(%rip), %xmm12, %xmm12 # 0x8040
vprolvq 0x3035(%rip), %xmm12, %xmm12 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x3036(%rip), %xmm11, %xmm11 # 0x8060
vprolvq 0x303c(%rip), %xmm11, %xmm11 # 0x8070
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x306e(%rip), %ymm11, %ymm11 # 0x80c0
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r15
cmpq $-0x20, %r15
je 0x519f
movq (%rbx,%r15), %rax
movq 0x8(%rbx,%r15), %rcx
movq 0x10(%rbx,%r15), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r15), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r13
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rbp
xorq %r13, %rbp
xorq %rax, %r12
xorq %rax, %r13
xorq %r13, %r11
xorq %rdi, %r13
movq 0x20(%rbx,%r15), %rcx
movq 0x30(%rbx,%r15), %rax
movq 0x38(%rbx,%r15), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r15), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %rbp, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r13, %rax
movq %r8, 0x18(%rbx,%r15)
movq %rdx, (%rbx,%r15)
movq %rcx, 0x8(%rbx,%r15)
movq %rax, 0x10(%rbx,%r15)
addq $-0x20, %r15
jmp 0x505b
movq 0x8(%rsp), %rax
leaq (%rax,%r14,8), %rax
xorl %ecx, %ecx
xorl %r11d, %r11d
movq 0x38(%rsp), %rdi
cmpq %rcx, %rdi
je 0x51d8
movb (%rax,%rcx), %dl
xorb (%rbx,%r11), %dl
leaq 0x1(%r11), %rsi
movb %dl, 0x1(%rbx,%r11)
addq $0x21, %r11
testb $0x1f, %sil
cmovneq %rsi, %r11
incq %rcx
jmp 0x51b2
xorb $0x1, (%rbx,%rdi)
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %rdx
leaq (%rcx,%rax), %rsi
vmovdqu 0x8(%rbx), %xmm11
vpbroadcastq %rsi, %xmm12
vpinsrq $0x1, %rdx, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq 0x2df7(%rip), %xmm11, %xmm11 # 0x8000
vprolvq 0x2dfd(%rip), %xmm11, %xmm11 # 0x8010
vpbroadcastq %rdx, %xmm12
vmovq %rcx, %xmm13
vmovq %rax, %xmm14
vpunpcklqdq %xmm13, %xmm14, %xmm13 # xmm13 = xmm14[0],xmm13[0]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x8(%rbx){1to2}, %xmm12, %xmm12
vpaddq 0x2de4(%rip), %xmm12, %xmm12 # 0x8020
vprolvq 0x2dea(%rip), %xmm12, %xmm12 # 0x8030
vpxor %xmm11, %xmm12, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm12, %ymm0, %ymm11
vpxor %ymm11, %ymm13, %ymm11
vpaddq 0x2e3c(%rip), %ymm11, %ymm11 # 0x80a0
vmovdqu %ymm11, (%rbx)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x53b0
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x38(%rbx,%r14)
movq %rdx, 0x20(%rbx,%r14)
movq %rcx, 0x28(%rbx,%r14)
movq %rax, 0x30(%rbx,%r14)
addq $0x20, %r14
jmp 0x526b
vmovdqu 0x68(%rbx), %xmm11
movq 0x60(%rbx), %rax
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq 0x2c61(%rip), %xmm12, %xmm12 # 0x8040
vprolvq 0x2c67(%rip), %xmm12, %xmm12 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x2c68(%rip), %xmm11, %xmm11 # 0x8060
vprolvq 0x2c6e(%rip), %xmm11, %xmm11 # 0x8070
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x2ca0(%rip), %ymm11, %ymm11 # 0x80c0
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x556d
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x18(%rbx,%r14)
movq %rdx, (%rbx,%r14)
movq %rcx, 0x8(%rbx,%r14)
movq %rax, 0x10(%rbx,%r14)
addq $-0x20, %r14
jmp 0x5429
xorl %eax, %eax
xorl %r11d, %r11d
cmpq $0x3, %rax
ja 0x55a9
leaq (%rsp,%r11,8), %r14
addq $0xd0, %r14
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x5598
movq (%rbx,%rcx,8), %rdx
addq %rdx, (%r14,%rcx,8)
incq %rcx
jmp 0x5585
addq $0x2, %rax
addq %rcx, %r11
addq $0x40, %rbx
jmp 0x5572
movq %rdx, (%rsp)
movq 0x4a48(%rip), %rbx      # 0x9ff8
leaq 0x20(%rbx), %r11
leaq 0x70(%rsp), %r14
xorl %r15d, %r15d
xorl %r12d, %r12d
cmpq $0x3, %r15
ja 0x5604
leaq (%rsp,%r12,8), %rcx
addq $0xd0, %rcx
xorl %eax, %eax
cmpq $0x4, %rax
je 0x55f3
movq (%rcx,%rax,8), %rdx
xorq -0x20(%r14,%rax,8), %rdx
movq %rdx, -0x20(%r11,%rax,8)
movq (%r14,%rax,8), %rdx
movq %rdx, (%r11,%rax,8)
incq %rax
jmp 0x55d2
addq $0x2, %r15
addq %rax, %r12
addq $0x40, %r11
addq $0x40, %r14
jmp 0x55bf
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %rdx
leaq (%rcx,%rax), %rsi
vmovdqu 0x8(%rbx), %xmm11
vpbroadcastq %rsi, %xmm12
vpinsrq $0x1, %rdx, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq 0x29cf(%rip), %xmm11, %xmm11 # 0x8000
vprolvq 0x29d5(%rip), %xmm11, %xmm11 # 0x8010
vpbroadcastq %rdx, %xmm12
vmovq %rcx, %xmm13
vmovq %rax, %xmm14
vpunpcklqdq %xmm13, %xmm14, %xmm13 # xmm13 = xmm14[0],xmm13[0]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x8(%rbx){1to2}, %xmm12, %xmm12
vpaddq 0x29bc(%rip), %xmm12, %xmm12 # 0x8020
vprolvq 0x29c2(%rip), %xmm12, %xmm12 # 0x8030
vpxor %xmm11, %xmm12, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm12, %ymm0, %ymm11
vpxor %ymm11, %ymm13, %ymm11
vpaddq 0x2a14(%rip), %ymm11, %ymm11 # 0x80a0
vmovdqu %ymm11, (%rbx)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x57d8
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x38(%rbx,%r14)
movq %rdx, 0x20(%rbx,%r14)
movq %rcx, 0x28(%rbx,%r14)
movq %rax, 0x30(%rbx,%r14)
addq $0x20, %r14
jmp 0x5693
vmovdqu 0x68(%rbx), %xmm11
movq 0x60(%rbx), %rax
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq 0x2839(%rip), %xmm12, %xmm12 # 0x8040
vprolvq 0x283f(%rip), %xmm12, %xmm12 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x2840(%rip), %xmm11, %xmm11 # 0x8060
vprolvq 0x2846(%rip), %xmm11, %xmm11 # 0x8070
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x2878(%rip), %ymm11, %ymm11 # 0x80c0
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x5995
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x18(%rbx,%r14)
movq %rdx, (%rbx,%r14)
movq %rcx, 0x8(%rbx,%r14)
movq %rax, 0x10(%rbx,%r14)
addq $-0x20, %r14
jmp 0x5851
xorl %eax, %eax
movq (%rsp), %rdx
cmpq $0x10, %rax
je 0x59af
movq (%rbx,%rax,8), %rcx
movq %rcx, 0x50(%rsp,%rax,8)
incq %rax
jmp 0x599b
xorl %eax, %eax
cmpq $0x10, %rax
je 0x59c5
movq 0x50(%rsp,%rax,8), %rcx
movq %rcx, (%rbx,%rax,8)
incq %rax
jmp 0x59b1
incq %rdx
movq (%rbx), %rax
movq %rdx, (%rsp)
xorq %rdx, %rax
vmovdqa 0x10(%rbx), %xmm11
movq 0x10(%rbx), %rcx
addq %rax, %rcx
vpbroadcastq %rcx, %xmm12
vpblendd $0x3, 0x8(%rbx), %xmm11, %xmm13 # xmm13 = mem[0,1],xmm11[2,3]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x2608(%rip), %xmm12, %xmm12 # 0x8000
vprolvq 0x260e(%rip), %xmm12, %xmm12 # 0x8010
vpinsrq $0x0, %rax, %xmm11, %xmm13
vpshufd $0x4e, %xmm11, %xmm11   # xmm11 = xmm11[2,3,0,1]
vpaddq %xmm13, %xmm11, %xmm11
vpaddq 0x8(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x25fe(%rip), %xmm11, %xmm11 # 0x8020
vprolvq 0x2604(%rip), %xmm11, %xmm11 # 0x8030
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x2656(%rip), %ymm11, %ymm11 # 0x80a0
vmovdqu %ymm11, (%rbx)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x5b96
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x38(%rbx,%r14)
movq %rdx, 0x20(%rbx,%r14)
movq %rcx, 0x28(%rbx,%r14)
movq %rax, 0x30(%rbx,%r14)
addq $0x20, %r14
jmp 0x5a51
vmovdqu 0x68(%rbx), %xmm11
movq 0x60(%rbx), %rax
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq 0x247b(%rip), %xmm12, %xmm12 # 0x8040
vprolvq 0x2481(%rip), %xmm12, %xmm12 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x2482(%rip), %xmm11, %xmm11 # 0x8060
vprolvq 0x2488(%rip), %xmm11, %xmm11 # 0x8070
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x24ba(%rip), %ymm11, %ymm11 # 0x80c0
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x5d53
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x18(%rbx,%r14)
movq %rdx, (%rbx,%r14)
movq %rcx, 0x8(%rbx,%r14)
movq %rax, 0x10(%rbx,%r14)
addq $-0x20, %r14
jmp 0x5c0f
xorl %r11d, %r11d
xorl %eax, %eax
cmpq $0x3, %r11
ja 0x5d9e
movq 0x28(%rsp), %rcx
leaq (%rcx,%rax,8), %r14
movq 0x10(%rsp), %rcx
leaq (%rcx,%rax,8), %r15
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x5d91
movq (%r15,%rcx,8), %rdx
xorq (%rbx,%rcx,8), %rdx
movq %rdx, (%r14,%rcx,8)
movq (%r15,%rcx,8), %rdx
movq %rdx, (%rbx,%rcx,8)
incq %rcx
jmp 0x5d72
addq $0x2, %r11
addq %rcx, %rax
addq $0x40, %rbx
jmp 0x5d58
movq 0x4253(%rip), %rbx      # 0x9ff8
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %rdx
leaq (%rcx,%rax), %rsi
vmovdqu 0x8(%rbx), %xmm11
vpbroadcastq %rsi, %xmm12
vpinsrq $0x1, %rdx, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq 0x222e(%rip), %xmm11, %xmm11 # 0x8000
vprolvq 0x2234(%rip), %xmm11, %xmm11 # 0x8010
vpbroadcastq %rdx, %xmm12
vmovq %rcx, %xmm13
vmovq %rax, %xmm14
vpunpcklqdq %xmm13, %xmm14, %xmm13 # xmm13 = xmm14[0],xmm13[0]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x8(%rbx){1to2}, %xmm12, %xmm12
vpaddq 0x221b(%rip), %xmm12, %xmm12 # 0x8020
vprolvq 0x2221(%rip), %xmm12, %xmm12 # 0x8030
vpxor %xmm11, %xmm12, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm12, %ymm0, %ymm11
vpxor %ymm11, %ymm13, %ymm11
vpaddq 0x2273(%rip), %ymm11, %ymm11 # 0x80a0
vmovdqu %ymm11, (%rbx)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x5f79
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x38(%rbx,%r14)
movq %rdx, 0x20(%rbx,%r14)
movq %rcx, 0x28(%rbx,%r14)
movq %rax, 0x30(%rbx,%r14)
addq $0x20, %r14
jmp 0x5e34
vmovdqu 0x68(%rbx), %xmm11
movq 0x60(%rbx), %rax
vmovq %rax, %xmm12
addq 0x70(%rbx), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%rbx), %xmm12, %xmm12
vpaddq 0x2098(%rip), %xmm12, %xmm12 # 0x8040
vprolvq 0x209e(%rip), %xmm12, %xmm12 # 0x8050
vpaddq 0x78(%rbx){1to2}, %xmm11, %xmm11
vpaddq 0x209f(%rip), %xmm11, %xmm11 # 0x8060
vprolvq 0x20a5(%rip), %xmm11, %xmm11 # 0x8070
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq 0x20d7(%rip), %ymm11, %ymm11 # 0x80c0
vmovdqu %ymm11, 0x60(%rbx)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x6136
movq (%rbx,%r14), %rax
movq 0x8(%rbx,%r14), %rcx
movq 0x10(%rbx,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%rbx,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rax
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rcx # imm = 0xA39C9A999695938E
addq %rcx, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r15
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %r13
xorq %r15, %r13
xorq %rax, %r12
xorq %rax, %r15
xorq %r15, %r11
xorq %rdi, %r15
movq 0x20(%rbx,%r14), %rcx
movq 0x30(%rbx,%r14), %rax
movq 0x38(%rbx,%r14), %rdx
leaq (%rax,%rcx), %rsi
movabsq $-0x727478878b8d8e94, %rdi # imm = 0x8D8B87787472716C
addq %rdx, %rdi
addq %rsi, %rdi
movq 0x28(%rbx,%r14), %r8
addq %rdx, %rax
movabsq $0x6a696665635c5a59, %r9 # imm = 0x6A696665635C5A59
addq %r8, %r9
addq %r9, %rax
movabsq $0x5655534e4d4b473c, %r9 # imm = 0x5655534E4D4B473C
addq %r8, %r9
addq %rsi, %r9
rorxq $0x29, %rax, %rax
rorxq $0x1b, %r9, %rsi
addq %rcx, %rdx
movabsq $0x3a393635332e2d2b, %rcx # imm = 0x3A393635332E2D2B
addq %rcx, %r8
addq %rdx, %r8
rorxq $0x5, %r8, %rcx
movq %rcx, %rdx
xorq %rsi, %rdx
movq %rdx, %r8
xorq %rax, %r8
addq %r13, %r8
rorxq $0x35, %rdi, %rdi
xorq %rdi, %rdx
addq %r12, %rdx
xorq %rdi, %rax
xorq %rax, %rcx
addq %r11, %rcx
xorq %rsi, %rax
addq %r15, %rax
movq %r8, 0x18(%rbx,%r14)
movq %rdx, (%rbx,%r14)
movq %rcx, 0x8(%rbx,%r14)
movq %rax, 0x10(%rbx,%r14)
addq $-0x20, %r14
jmp 0x5ff2
xorl %eax, %eax
cmpq $0x10, %rax
je 0x614c
movq (%rbx,%rax,8), %rcx
movq %rcx, 0x50(%rsp,%rax,8)
incq %rax
jmp 0x6138
xorl %eax, %eax
xorl %r11d, %r11d
cmpq $0x3, %rax
ja 0x6184
leaq (%rsp,%r11,8), %r14
addq $0xd0, %r14
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x6177
movq (%rbx,%rcx,8), %rdx
addq %rdx, (%r14,%rcx,8)
incq %rcx
jmp 0x6164
addq $0x2, %rax
addq %rcx, %r11
addq $0x40, %rbx
jmp 0x6151
movq 0x20(%rsp), %rax
addq $-0x2040, %rax          # imm = 0xDFC0
movq %rax, 0x28(%rsp)
shrq $0x6, %rax
movq %rax, 0x30(%rsp)
movq 0x10(%rsp), %rax
addq $0x40, %rax
movq %rax, 0x8(%rsp)
xorl %eax, %eax
movq 0x3e44(%rip), %r15      # 0x9ff8
xorl %ebx, %ebx
movq %r10, %r13
cmpq 0x30(%rsp), %rax
je 0x6960
movq %rax, 0x18(%rsp)
xorl %eax, %eax
cmpq $0x10, %rax
je 0x61df
movq 0x50(%rsp,%rax,8), %rcx
movq %rcx, (%r15,%rax,8)
incq %rax
jmp 0x61cb
movq (%rsp), %rcx
incq %rcx
movq (%r15), %rax
movq %rcx, (%rsp)
xorq %rcx, %rax
vmovdqa 0x10(%r15), %xmm11
vpshufd $0x4e, %xmm11, %xmm12   # xmm12 = xmm11[2,3,0,1]
movq 0x10(%r15), %rcx
addq %rax, %rcx
vpbroadcastq %rcx, %xmm13
vpblendd $0x3, 0x8(%r15), %xmm11, %xmm14 # xmm14 = mem[0,1],xmm11[2,3]
vpaddq %xmm14, %xmm13, %xmm13
vpaddq %xmm1, %xmm13, %xmm13
vprolvq %xmm2, %xmm13, %xmm13
vpinsrq $0x0, %rax, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq 0x8(%r15){1to2}, %xmm11, %xmm11
vpaddq %xmm3, %xmm11, %xmm11
vprolvq %xmm4, %xmm11, %xmm11
vpxor %xmm13, %xmm11, %xmm12
vpermq $0x14, %ymm12, %ymm12   # ymm12 = ymm12[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm13
vpxor %ymm13, %ymm12, %ymm11
vpaddq %ymm5, %ymm11, %ymm11
vmovdqu %ymm11, (%r15)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x63a5
movq (%r15,%r14), %rax
movq 0x8(%r15,%r14), %rcx
movq 0x10(%r15,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %rbp
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %rbp, %rax
xorq %rsi, %r12
xorq %rsi, %rbp
xorq %rbp, %r11
xorq %rdi, %rbp
movq 0x20(%r15,%r14), %rdx
movq 0x30(%r15,%r14), %rcx
movq 0x38(%r15,%r14), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r14), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %r11, %rdx
xorq %rdi, %rcx
addq %rbp, %rcx
movq %r9, 0x38(%r15,%r14)
movq %rsi, 0x20(%r15,%r14)
movq %rdx, 0x28(%r15,%r14)
movq %rcx, 0x30(%r15,%r14)
addq $0x20, %r14
jmp 0x625d
movq 0x60(%r15), %rax
vmovdqu 0x68(%r15), %xmm11
vmovq %rax, %xmm12
addq 0x70(%r15), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%r15), %xmm12, %xmm12
vpaddq %xmm6, %xmm12, %xmm12
vprolvq %xmm7, %xmm12, %xmm12
vpaddq 0x78(%r15){1to2}, %xmm11, %xmm11
vpaddq %xmm8, %xmm11, %xmm11
vprolvq %xmm9, %xmm11, %xmm11
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq %ymm10, %ymm11, %ymm11
vmovdqu %ymm11, 0x60(%r15)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x6556
movq (%r15,%r14), %rax
movq 0x8(%r15,%r14), %rcx
movq 0x10(%r15,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %rbp
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %rbp, %rax
xorq %rsi, %r12
xorq %rsi, %rbp
xorq %rbp, %r11
xorq %rdi, %rbp
movq 0x20(%r15,%r14), %rdx
movq 0x30(%r15,%r14), %rcx
movq 0x38(%r15,%r14), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r14), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %r11, %rdx
xorq %rdi, %rcx
addq %rbp, %rcx
movq %r9, 0x18(%r15,%r14)
movq %rsi, (%r15,%r14)
movq %rdx, 0x8(%r15,%r14)
movq %rcx, 0x10(%r15,%r14)
addq $-0x20, %r14
jmp 0x640f
movq %r15, %r11
xorl %eax, %eax
cmpq $0x3, %rax
ja 0x65a1
movq 0x8(%rsp), %rcx
leaq (%rcx,%rbx,8), %r14
movq 0x40(%rsp), %rcx
leaq (%rcx,%rbx,8), %r12
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x6594
movq (%r14,%rcx,8), %rdx
xorq (%r11,%rcx,8), %rdx
movq %rdx, (%r12,%rcx,8)
movq (%r14,%rcx,8), %rdx
movq %rdx, (%r11,%rcx,8)
incq %rcx
jmp 0x6575
addq $0x2, %rax
addq %rcx, %rbx
addq $0x40, %r11
jmp 0x655b
movq (%r15), %rax
movq 0x10(%r15), %rcx
movq 0x18(%r15), %rdx
vmovdqu 0x8(%r15), %xmm11
leaq (%rcx,%rax), %rsi
vpbroadcastq %rsi, %xmm12
vpinsrq $0x1, %rdx, %xmm11, %xmm11
vpaddq %xmm11, %xmm12, %xmm11
vpaddq %xmm1, %xmm11, %xmm11
vprolvq %xmm2, %xmm11, %xmm11
vpbroadcastq %rdx, %xmm12
vmovq %rcx, %xmm13
vmovq %rax, %xmm14
vpunpcklqdq %xmm13, %xmm14, %xmm13 # xmm13 = xmm14[0],xmm13[0]
vpaddq %xmm13, %xmm12, %xmm12
vpaddq 0x8(%r15){1to2}, %xmm12, %xmm12
vpaddq %xmm3, %xmm12, %xmm12
vprolvq %xmm4, %xmm12, %xmm12
vpxor %xmm11, %xmm12, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm12, %ymm0, %ymm11
vpxor %ymm11, %ymm13, %ymm11
vpaddq %ymm5, %ymm11, %ymm11
vmovdqu %ymm11, (%r15)
xorl %r14d, %r14d
cmpq $0x60, %r14
je 0x6766
movq (%r15,%r14), %rax
movq 0x8(%r15,%r14), %rcx
movq 0x10(%r15,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %rbp
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %rbp, %rax
xorq %rsi, %r12
xorq %rsi, %rbp
xorq %rbp, %r11
xorq %rdi, %rbp
movq 0x20(%r15,%r14), %rdx
movq 0x30(%r15,%r14), %rcx
movq 0x38(%r15,%r14), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r14), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %r11, %rdx
xorq %rdi, %rcx
addq %rbp, %rcx
movq %r9, 0x38(%r15,%r14)
movq %rsi, 0x20(%r15,%r14)
movq %rdx, 0x28(%r15,%r14)
movq %rcx, 0x30(%r15,%r14)
addq $0x20, %r14
jmp 0x661e
movq 0x60(%r15), %rax
vmovdqu 0x68(%r15), %xmm11
vmovq %rax, %xmm12
addq 0x70(%r15), %rax
vpunpcklqdq %xmm11, %xmm12, %xmm12 # xmm12 = xmm12[0],xmm11[0]
vpaddq %xmm12, %xmm11, %xmm11
vpinsrq $0x1, %rax, %xmm11, %xmm12
vpaddq 0x70(%r15), %xmm12, %xmm12
vpaddq %xmm6, %xmm12, %xmm12
vprolvq %xmm7, %xmm12, %xmm12
vpaddq 0x78(%r15){1to2}, %xmm11, %xmm11
vpaddq %xmm8, %xmm11, %xmm11
vprolvq %xmm9, %xmm11, %xmm11
vpxor %xmm12, %xmm11, %xmm13
vpermq $0x14, %ymm13, %ymm13   # ymm13 = ymm13[0,1,1,0]
vpermt2q %ymm11, %ymm0, %ymm12
vpxor %ymm12, %ymm13, %ymm11
vpaddq %ymm10, %ymm11, %ymm11
vmovdqu %ymm11, 0x60(%r15)
pushq $0x40
popq %r14
cmpq $-0x20, %r14
je 0x6917
movq (%r15,%r14), %rax
movq 0x8(%r15,%r14), %rcx
movq 0x10(%r15,%r14), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r14), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %r11
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %rbp
movq %r11, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %rbp, %rax
xorq %rsi, %r12
xorq %rsi, %rbp
xorq %rbp, %r11
xorq %rdi, %rbp
movq 0x20(%r15,%r14), %rdx
movq 0x30(%r15,%r14), %rcx
movq 0x38(%r15,%r14), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r14), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %r11, %rdx
xorq %rdi, %rcx
addq %rbp, %rcx
movq %r9, 0x18(%r15,%r14)
movq %rsi, (%r15,%r14)
movq %rdx, 0x8(%r15,%r14)
movq %rcx, 0x10(%r15,%r14)
addq $-0x20, %r14
jmp 0x67d0
movq %r15, %rax
xorl %r11d, %r11d
xorl %r14d, %r14d
cmpq $0x3, %r11
ja 0x6953
leaq (%rsp,%r14,8), %r12
addq $0xd0, %r12
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0x6946
movq (%rax,%rcx,8), %rdx
addq %rdx, (%r12,%rcx,8)
incq %rcx
jmp 0x6933
addq $0x2, %r11
addq %rcx, %r14
addq $0x40, %rax
jmp 0x6920
movq 0x18(%rsp), %rax
incq %rax
jmp 0x61b9
movq 0x20(%rsp), %rax
leaq -0x2000(%rax), %r9
andq $0x3f, %rax
movq %rax, 0x8(%rsp)
je 0x714c
xorl %eax, %eax
movq 0x3674(%rip), %r15      # 0x9ff8
cmpq $0x10, %rax
je 0x6998
movq 0x50(%rsp,%rax,8), %rcx
movq %rcx, (%r15,%rax,8)
incq %rax
jmp 0x6984
movq %r9, 0x18(%rsp)
movq (%rsp), %rcx
incq %rcx
xorq (%r15), %rcx
vmovdqa 0x10(%r15), %xmm1
movq 0x10(%r15), %rax
addq %rcx, %rax
vpbroadcastq %rax, %xmm2
vpblendd $0x3, 0x8(%r15), %xmm1, %xmm3 # xmm3 = mem[0,1],xmm1[2,3]
vpaddq %xmm3, %xmm2, %xmm2
vpaddq 0x1633(%rip), %xmm2, %xmm2 # 0x8000
vprolvq 0x1639(%rip), %xmm2, %xmm2 # 0x8010
vpinsrq $0x0, %rcx, %xmm1, %xmm3
vpshufd $0x4e, %xmm1, %xmm1     # xmm1 = xmm1[2,3,0,1]
vpaddq %xmm3, %xmm1, %xmm1
vpaddq 0x8(%r15){1to2}, %xmm1, %xmm1
vpaddq 0x162b(%rip), %xmm1, %xmm1 # 0x8020
vprolvq 0x1631(%rip), %xmm1, %xmm1 # 0x8030
vpxor %xmm2, %xmm1, %xmm3
vpermq $0x14, %ymm3, %ymm3     # ymm3 = ymm3[0,1,1,0]
vpermt2q %ymm1, %ymm0, %ymm2
vpxor %ymm2, %ymm3, %ymm1
vpaddq 0x1685(%rip), %ymm1, %ymm1 # 0x80a0
vmovdqu %ymm1, (%r15)
xorl %r11d, %r11d
cmpq $0x60, %r11
je 0x6b6b
movq (%r15,%r11), %rax
movq 0x8(%r15,%r11), %rcx
movq 0x10(%r15,%r11), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r11), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %rbp
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r14
movq %rbp, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %r14, %rax
xorq %rsi, %r12
xorq %rsi, %r14
xorq %r14, %rbp
xorq %rdi, %r14
movq 0x20(%r15,%r11), %rdx
movq 0x30(%r15,%r11), %rcx
movq 0x38(%r15,%r11), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r11), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %rbp, %rdx
xorq %rdi, %rcx
addq %r14, %rcx
movq %r9, 0x38(%r15,%r11)
movq %rsi, 0x20(%r15,%r11)
movq %rdx, 0x28(%r15,%r11)
movq %rcx, 0x30(%r15,%r11)
addq $0x20, %r11
jmp 0x6a23
vmovdqu 0x68(%r15), %xmm1
movq 0x60(%r15), %rax
vmovq %rax, %xmm2
addq 0x70(%r15), %rax
vpunpcklqdq %xmm1, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm1[0]
vpaddq %xmm2, %xmm1, %xmm1
vpinsrq $0x1, %rax, %xmm1, %xmm2
vpaddq 0x70(%r15), %xmm2, %xmm2
vpaddq 0x14a6(%rip), %xmm2, %xmm2 # 0x8040
vprolvq 0x14ac(%rip), %xmm2, %xmm2 # 0x8050
vpaddq 0x78(%r15){1to2}, %xmm1, %xmm1
vpaddq 0x14ad(%rip), %xmm1, %xmm1 # 0x8060
vprolvq 0x14b3(%rip), %xmm1, %xmm1 # 0x8070
vpxor %xmm2, %xmm1, %xmm3
vpermq $0x14, %ymm3, %ymm3     # ymm3 = ymm3[0,1,1,0]
vpermt2q %ymm1, %ymm0, %ymm2
vpxor %ymm2, %ymm3, %ymm1
vpaddq 0x14e7(%rip), %ymm1, %ymm1 # 0x80c0
vmovdqu %ymm1, 0x60(%r15)
pushq $0x40
popq %r11
cmpq $-0x20, %r11
je 0x6d2a
movq (%r15,%r11), %rax
movq 0x8(%r15,%r11), %rcx
movq 0x10(%r15,%r11), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r11), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %rbp
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r14
movq %rbp, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %r14, %rax
xorq %rsi, %r12
xorq %rsi, %r14
xorq %r14, %rbp
xorq %rdi, %r14
movq 0x20(%r15,%r11), %rdx
movq 0x30(%r15,%r11), %rcx
movq 0x38(%r15,%r11), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r11), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %rbp, %rdx
xorq %rdi, %rcx
addq %r14, %rcx
movq %r9, 0x18(%r15,%r11)
movq %rsi, (%r15,%r11)
movq %rdx, 0x8(%r15,%r11)
movq %rcx, 0x10(%r15,%r11)
addq $-0x20, %r11
jmp 0x6be3
movq 0x10(%rsp), %rax
leaq (%rax,%rbx,8), %rax
addq $0x40, %rax
movq 0x40(%rsp), %rcx
leaq (%rcx,%rbx,8), %rcx
xorl %r11d, %r11d
xorl %ebx, %ebx
movq 0x8(%rsp), %rdi
cmpq %r11, %rdi
je 0x6d78
movb (%rax,%r11), %dl
xorb (%r15,%rbx), %dl
movb %dl, (%rcx,%r11)
movb (%rax,%r11), %dl
leaq 0x1(%rbx), %rsi
movb %dl, (%r15,%rbx)
addq $0x21, %rbx
testb $0x1f, %sil
cmovneq %rsi, %rbx
incq %r11
jmp 0x6d4a
xorb $0x1, (%r15,%rdi)
movq (%r15), %rax
movq 0x10(%r15), %rcx
movq 0x18(%r15), %rdx
leaq (%rcx,%rax), %rsi
vmovdqu 0x8(%r15), %xmm1
vpbroadcastq %rsi, %xmm2
vpinsrq $0x1, %rdx, %xmm1, %xmm1
vpaddq %xmm1, %xmm2, %xmm1
vpaddq 0x1256(%rip), %xmm1, %xmm1 # 0x8000
vprolvq 0x125c(%rip), %xmm1, %xmm1 # 0x8010
vpbroadcastq %rdx, %xmm2
vmovq %rcx, %xmm3
vmovq %rax, %xmm4
vpunpcklqdq %xmm3, %xmm4, %xmm3 # xmm3 = xmm4[0],xmm3[0]
vpaddq %xmm3, %xmm2, %xmm2
vpaddq 0x8(%r15){1to2}, %xmm2, %xmm2
vpaddq 0x1245(%rip), %xmm2, %xmm2 # 0x8020
vprolvq 0x124b(%rip), %xmm2, %xmm2 # 0x8030
vpxor %xmm1, %xmm2, %xmm3
vpermq $0x14, %ymm3, %ymm3     # ymm3 = ymm3[0,1,1,0]
vpermt2q %ymm2, %ymm0, %ymm1
vpxor %ymm1, %ymm3, %ymm1
vpaddq 0x129f(%rip), %ymm1, %ymm1 # 0x80a0
vmovdqu %ymm1, (%r15)
xorl %r11d, %r11d
cmpq $0x60, %r11
je 0x6f51
movq (%r15,%r11), %rax
movq 0x8(%r15,%r11), %rcx
movq 0x10(%r15,%r11), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r11), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %rbx
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r14
movq %rbx, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %r14, %rax
xorq %rsi, %r12
xorq %rsi, %r14
xorq %r14, %rbx
xorq %rdi, %r14
movq 0x20(%r15,%r11), %rdx
movq 0x30(%r15,%r11), %rcx
movq 0x38(%r15,%r11), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r11), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %rbx, %rdx
xorq %rdi, %rcx
addq %r14, %rcx
movq %r9, 0x38(%r15,%r11)
movq %rsi, 0x20(%r15,%r11)
movq %rdx, 0x28(%r15,%r11)
movq %rcx, 0x30(%r15,%r11)
addq $0x20, %r11
jmp 0x6e09
vmovdqu 0x68(%r15), %xmm1
movq 0x60(%r15), %rax
vmovq %rax, %xmm2
addq 0x70(%r15), %rax
vpunpcklqdq %xmm1, %xmm2, %xmm2 # xmm2 = xmm2[0],xmm1[0]
vpaddq %xmm2, %xmm1, %xmm1
vpinsrq $0x1, %rax, %xmm1, %xmm2
vpaddq 0x70(%r15), %xmm2, %xmm2
vpaddq 0x10c0(%rip), %xmm2, %xmm2 # 0x8040
vprolvq 0x10c6(%rip), %xmm2, %xmm2 # 0x8050
vpaddq 0x78(%r15){1to2}, %xmm1, %xmm1
vpaddq 0x10c7(%rip), %xmm1, %xmm1 # 0x8060
vprolvq 0x10cd(%rip), %xmm1, %xmm1 # 0x8070
vpxor %xmm2, %xmm1, %xmm3
vpermq $0x14, %ymm3, %ymm3     # ymm3 = ymm3[0,1,1,0]
vpermi2q %ymm1, %ymm2, %ymm0
vpxor %ymm0, %ymm3, %ymm0
vpaddq 0x1101(%rip), %ymm0, %ymm0 # 0x80c0
vmovdqu %ymm0, 0x60(%r15)
pushq $0x40
popq %r11
cmpq $-0x20, %r11
je 0x7110
movq (%r15,%r11), %rax
movq 0x8(%r15,%r11), %rcx
movq 0x10(%r15,%r11), %rdx
leaq (%rcx,%rax), %rsi
leaq (%r10,%rdx), %rdi
addq %rsi, %rdi
rorxq $0x39, %rdi, %rdi
movq 0x18(%r15,%r11), %r8
movabsq $-0x2e333536393a3c48, %r9 # imm = 0xD1CCCAC9C6C5C3B8
addq %r8, %r9
addq %rsi, %r9
rorxq $0x2d, %r9, %rbx
addq %rdx, %rax
movabsq $-0x4b4d4e535556595b, %rsi # imm = 0xB4B2B1ACAAA9A6A5
addq %r8, %rsi
addq %rsi, %rax
rorxq $0x21, %rax, %rsi
addq %rcx, %rdx
movabsq $-0x5c636566696a6c72, %rax # imm = 0xA39C9A999695938E
addq %rax, %r8
addq %rdx, %r8
rorxq $0xb, %r8, %r14
movq %rbx, %r12
xorq %rdi, %r12
movq %r12, %rax
xorq %r14, %rax
xorq %rsi, %r12
xorq %rsi, %r14
xorq %r14, %rbx
xorq %rdi, %r14
movq 0x20(%r15,%r11), %rdx
movq 0x30(%r15,%r11), %rcx
movq 0x38(%r15,%r11), %rsi
leaq (%rcx,%rdx), %rdi
movabsq $-0x727478878b8d8e94, %r8 # imm = 0x8D8B87787472716C
addq %rsi, %r8
addq %rdi, %r8
movq 0x28(%r15,%r11), %r9
addq %rsi, %rcx
movabsq $0x6a696665635c5a59, %r10 # imm = 0x6A696665635C5A59
addq %r9, %r10
addq %r10, %rcx
movabsq $0x5655534e4d4b473c, %r10 # imm = 0x5655534E4D4B473C
addq %r9, %r10
addq %rdi, %r10
rorxq $0x29, %rcx, %rcx
rorxq $0x1b, %r10, %rdi
movq %r13, %r10
addq %rdx, %rsi
movabsq $0x3a393635332e2d2b, %rdx # imm = 0x3A393635332E2D2B
addq %rdx, %r9
addq %rsi, %r9
rorxq $0x5, %r9, %rdx
movq %rdx, %rsi
xorq %rdi, %rsi
movq %rsi, %r9
xorq %rcx, %r9
addq %rax, %r9
rorxq $0x35, %r8, %rax
xorq %rax, %rsi
addq %r12, %rsi
xorq %rax, %rcx
xorq %rcx, %rdx
addq %rbx, %rdx
xorq %rdi, %rcx
addq %r14, %rcx
movq %r9, 0x18(%r15,%r11)
movq %rsi, (%r15,%r11)
movq %rdx, 0x8(%r15,%r11)
movq %rcx, 0x10(%r15,%r11)
addq $-0x20, %r11
jmp 0x6fc9
xorl %eax, %eax
xorl %ecx, %ecx
movq 0x18(%rsp), %r9
cmpq $0x3, %rax
ja 0x714c
leaq (%rsp,%rcx,8), %rsi
addq $0xd0, %rsi
xorl %edx, %edx
cmpq $0x4, %rdx
je 0x713f
movq (%r15,%rdx,8), %rdi
addq %rdi, (%rsi,%rdx,8)
incq %rdx
jmp 0x712c
addq $0x2, %rax
addq %rdx, %rcx
addq $0x40, %r15
jmp 0x7119
movq 0x48(%rsp), %rax
movq 0x28(%rsp), %rcx
movq %rcx, (%rax)
addq %r9, 0x10(%rsp)
xorl %eax, %eax
pushq $-0x1
popq %rcx
xorl %edx, %edx
movq 0x20(%rsp), %r8
leaq (%r9,%rdx), %rsi
cmpq %r8, %rsi
jae 0x718f
movq 0x10(%rsp), %rsi
movb (%rsi,%rdx), %sil
leaq 0x1(%rdx), %rdi
cmpb 0xd0(%rsp,%rdx), %sil
movq %rdi, %rdx
je 0x716a
movl %ecx, %eax
addq $0x20d8, %rsp           # imm = 0x20D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq