// File: /workspace/github_cpp_makefile_star2_O3/Finsenty54[P]fast_collision/block0.cpp
// Function: find_block0(unsigned int*, unsigned int const*)
void find_block0(uint32 block[], const uint32 IV[])
{
	//初始化
	uint32 Q[68] = { IV[0], IV[3], IV[2], IV[1] };

	std::vector<uint32> q4mask(1<<4); //1<<4 = 16
	for (unsigned k = 0; k < q4mask.size(); ++k)
		q4mask[k] = ((k<<2) ^ (k<<26)) & 0x38000004;  //^ 异或 & 与
		//0011 1000 0000 0000 0000 0000 0000 0100

	std::vector<uint32> q9q10mask(1<<3);
	for (unsigned k = 0; k < q9q10mask.size(); ++k)
		q9q10mask[k] = ((k<<13) ^ (k<<4)) & 0x2060;
		
	std::vector<uint32> q9mask(1<<16);
	for (unsigned k = 0; k < q9mask.size(); ++k)
		q9mask[k] = ((k<<1) ^ (k<<2) ^ (k<<5) ^ (k<<7) ^ (k<<8) ^ (k<<10) ^ (k<<11) ^ (k<<13)) & 0x0eb94f16;

	while (true)
	{
		//Qoff =3 , 随机赋值
		//Q68 , 那么 Q4‘ == Q1 实际上从Q1开始算
		Q[Qoff + 1] = xrng64();
		Q[Qoff + 3] = (xrng64() & 0xfe87bc3f) | 0x017841c0;
		//1111 1110 1000 0111 1011 1100 0011 1111  为0处的值都改为0，为1处的值都不变
		//0000 0001 0111 1000 0100 0001 1100 0000  都变为1，其他值不变
		//满足新的差分路径条件
		Q[Qoff + 4] = (xrng64() & 0x44000033) | 0x000002c0 | (Q[Qoff + 3] & 0x0287bc00);
		Q[Qoff + 5] = 0x41ffffc8 | (Q[Qoff + 4] & 0x04000033);
		Q[Qoff + 6] = 0xb84b82d6;
		//1011 1000 0100 1011 1000 0010 1101 0110 
		Q[Qoff + 7] = (xrng64() & 0x68000084) | 0x02401b43;
		Q[Qoff + 8] = (xrng64() & 0x2b8f6e04) | 0x005090d3 | (~Q[Qoff + 7] & 0x40000000);
		Q[Qoff + 9] = 0x20040068 | (Q[Qoff + 8] & 0x00020000) | (~Q[Qoff + 8] & 0x40000000);
		Q[Qoff + 10] = (xrng64() & 0x40000000) | 0x1040b089;
		Q[Qoff + 11] = (xrng64() & 0x10408008) | 0x0fbb7f16 | (~Q[Qoff + 10] & 0x40000000);
		Q[Qoff + 12] = (xrng64() & 0x1ed9df7f) | 0x00022080 | (~Q[Qoff + 11] & 0x40200000);
		Q[Qoff + 13] = (xrng64() & 0x5efb4f77) | 0x20049008;
		Q[Qoff + 14] = (xrng64() & 0x1fff5f77) | 0x0000a088 | (~Q[Qoff + 13] & 0x40000000);
		Q[Qoff + 15] = (xrng64() & 0x5efe7ff7) | 0x80008000 | (~Q[Qoff + 14] & 0x00010000);
		Q[Qoff + 16] = (xrng64() & 0x1ffdffff) | 0xa0000000 | (~Q[Qoff + 15] & 0x40020000);

		//已经赋值给 block[]
		MD5_REVERSE_STEP(0, 0xd76aa478, 7); //(t,ac,rc);q1-q0; result = m0
		MD5_REVERSE_STEP(6, 0xa8304613, 17); //result = m6
		MD5_REVERSE_STEP(7, 0xfd469501, 22); //m7
		MD5_REVERSE_STEP(11, 0x895cd7be, 22); //m11
		MD5_REVERSE_STEP(14, 0xa679438e, 17); //m14
		MD5_REVERSE_STEP(15, 0x49b40821, 22); //m15

		//没有加 m1
		const uint32 tt1 = FF(Q[Qoff + 1], Q[Qoff + 0], Q[Qoff - 1]) + Q[Qoff - 2] + 0xe8c7b756;	
		//没有加 m1
		const uint32 tt17 = GG(Q[Qoff + 16], Q[Qoff + 15], Q[Qoff + 14]) + Q[Qoff + 13] + 0xf61e2562;
		const uint32 tt18 = Q[Qoff + 14] + 0xc040b340 + block[6];
		const uint32 tt19 = Q[Qoff + 15] + 0x265e5a51 + block[11];
		const uint32 tt20 = Q[Qoff + 16] + 0xe9b6c7aa + block[0];
		const uint32 tt5 = RR(Q[Qoff + 6] - Q[Qoff + 5], 12) - FF(Q[Qoff + 5], Q[Qoff + 4], Q[Qoff + 3]) - 0x4787c62a;

		// change q17 until conditions are met on q18, q19 and q20
		unsigned counter = 0;
		// 失败查找128次
		while (counter < (1 << 7)) //七个条件
		{
			const uint32 q16 = Q[Qoff + 16];
			uint32 q17 = ((xrng64() & 0x3ffd7ff7) | (q16&0xc0008008)) ^ 0x40000000;
			++counter;

			uint32 q18 = GG(q17, q16, Q[Qoff + 15]) + tt18;
			//得到q18值
			q18 = RL(q18, 9); q18 += q17;
			if (0x00020000 != ((q18^q17)&0xa0020000)) //1010 0000 0000 00010 ...
				//这里的条件涉及backward
				//如果不相同，也就是条件不满足，就要重新计算
				//q18有三个条件
				continue;

			uint32 q19 = GG(q18, q17, q16) + tt19;
			q19 = RL(q19, 14); q19 += q18;
			if (0x80000000 != (q19 & 0x80020000))
				continue;
			
			uint32 q20 = GG(q19, q18, q17) + tt20;
			q20 = RL(q20, 20); q20 += q19;
			if (0x00040000 != ((q20^q19) & 0x80040000))
				continue;
			
			//计算得到m1
			block[1] = q17-q16; block[1] = RR(block[1], 5); block[1] -= tt17;

			//计算得到q2
			uint32 q2 = block[1] + tt1; q2 = RL(q2, 12); q2 += Q[Qoff + 1];

			//计算得到m5
			block[5] = tt5 - q2;

			Q[Qoff + 2] = q2; // q2刚开始没有算
			Q[Qoff + 17] = q17;
			Q[Qoff + 18] = q18;
			Q[Qoff + 19] = q19;
			Q[Qoff + 20] = q20;

			//计算m2
			MD5_REVERSE_STEP(2, 0x242070db, 17);

			counter = 0;
			break;
		}

		//counter不为0，失败，重新选择q1,q3,...,q16
		if (counter != 0)
			continue;

		const uint32 q4 = Q[Qoff + 4];
		const uint32 q9backup = Q[Qoff + 9];
		const uint32 tt21 = GG(Q[Qoff+20], Q[Qoff+19], Q[Qoff+18]) + Q[Qoff+17] + 0xd62f105d;

		// iterate over possible changes of q4 
		// 迭代q4的所有可能值
		// while keeping all conditions on q1-q20 intact
		// 但q1-q20的充分条件全部都保持，通过改变消息值 使得成立
		// this changes m3, m4, m5 and m7
		// 如果是klima的tunnel的话，m5应该不会变
		unsigned counter2 = 0;
		while (counter2 < (1<<4))
		{
			//tunnel??
			//有些值是要满足的，是要不变的
			Q[Qoff+4] = q4 ^ q4mask[counter2];
			++counter2;

			// 计算得到m5
			MD5_REVERSE_STEP(5, 0x4787c62a, 12);

			// 计算得到q21
			uint32 q21 = tt21 + block[5];
			q21 = RL(q21,5); q21 += Q[Qoff+20];
			if (0 != ((q21^Q[Qoff+20]) & 0x80020000))
				continue;

			Q[Qoff + 21] = q21;

			//q4 变了，计算出m3,m4,m7
			// q4 tunnel:q4-q8，不会影响q6,q7的等式,只要q6=0,q7=1
			// q4,q5,q8的等式，通过改变消息而使的等式仍然成立
			MD5_REVERSE_STEP(3, 0xc1bdceee, 22);
			MD5_REVERSE_STEP(4, 0xf57c0faf, 7);
			MD5_REVERSE_STEP(7, 0xfd469501, 22);
			
			const uint32 tt22 = GG(Q[Qoff + 21], Q[Qoff + 20], Q[Qoff + 19]) + Q[Qoff + 18] + 0x02441453;
			const uint32 tt23 = Q[Qoff + 19] + 0xd8a1e681 + block[15];
			const uint32 tt24 = Q[Qoff + 20] + 0xe7d3fbc8 + block[4];

			const uint32 tt9 = Q[Qoff + 6] + 0x8b44f7af;
			const uint32 tt10 = Q[Qoff + 7] + 0xffff5bb1;
			const uint32 tt8 = FF(Q[Qoff + 8], Q[Qoff + 7], Q[Qoff + 6]) + Q[Qoff + 5] + 0x698098d8;		
			const uint32 tt12 = RR(Q[Qoff+13]-Q[Qoff+12],7) - 0x6b901122;
			const uint32 tt13 = RR(Q[Qoff+14]-Q[Qoff+13],12) - FF(Q[Qoff+13],Q[Qoff+12],Q[Qoff+11]) - 0xfd987193;

			// iterate over possible changes of q9 and q10
			// 迭代q9,q10的所有可能值
			// while keeping conditions on q1-q21 intact
			// 保持q1-q21的条件不变
			// this changes m8, m9, m10, m12 and m13 (and not m11!)
			// the possible changes of q9 that also do not change m10 are used below
			for (unsigned counter3 = 0; counter3 < (1<<3);)
			{
				uint32 q10 = Q[Qoff+10] ^ (q9q10mask[counter3] & 0x60);
				Q[Qoff + 9] = q9backup ^ (q9q10mask[counter3] & 0x2000);
				++counter3;

				//计算得到m10
				uint32 m10 = RR(Q[Qoff+11]-q10,17);
				m10 -= FF(q10, Q[Qoff+9], Q[Qoff+8]) + tt10;

				//计算得到q22
				uint32 aa = Q[Qoff + 21];
				uint32 dd = tt22+m10; dd = RL(dd, 9) + aa;
				if (0x80000000 != (dd & 0x80000000)) continue; //这里有问题
				//0x00000000!=(dd & 0x80000000)

				//计算得到q23
				uint32 bb = Q[Qoff + 20];
				uint32 cc = tt23 + GG(dd, aa, bb); 
				if (0 != (cc & 0x20000)) continue;
				cc = RL(cc, 14) + dd;
				if (0 != (cc & 0x80000000)) continue;

				//计算得到q24
				bb = tt24 + GG(cc, dd, aa); bb = RL(bb, 20) + cc;
				//q24_32=1
				if (0 == (bb & 0x80000000)) continue;

				block[10] = m10;
				//计算新的m13
				block[13] = tt13 - q10;

				//其他消息没有在前几轮产生影响，所以没事，不用计算，下一个tunnel还是要改变的


				// iterate over possible changes of q9
				// while keeping intact conditions on q1-q24
				// this changes m8, m9 and m12 (but not m10!)
				for (unsigned counter4 = 0; counter4 < (1<<16); ++counter4)
				{
					//这里计算出 8，9，12
					uint32 q9 = Q[Qoff + 9] ^ q9mask[counter4];
					block[12] = tt12 - FF(Q[Qoff + 12], Q[Qoff + 11], q10) - q9;
					uint32 m8 = q9 - Q[Qoff + 8];
					block[8] = RR(m8, 7) - tt8; 
					uint32 m9 = q10 - q9;
					block[9] = RR(m9, 12) - FF(q9, Q[Qoff + 8], Q[Qoff + 7]) - tt9; 

					//aa=21,bb=24,cc=23,dd=22
					uint32 a = aa, b = bb, c = cc, d = dd;
					// get 25
					MD5_STEP(GG, a, b, c, d, block[9], 0x21e1cde6, 5); 
					MD5_STEP(GG, d, a, b, c, block[14], 0xc33707d6, 9);
					MD5_STEP(GG, c, d, a, b, block[3], 0xf4d50d87, 14);
					MD5_STEP(GG, b, c, d, a, block[8], 0x455a14ed, 20);
					MD5_STEP(GG, a, b, c, d, block[13], 0xa9e3e905, 5);
					MD5_STEP(GG, d, a, b, c, block[2], 0xfcefa3f8, 9);
					MD5_STEP(GG, c, d, a, b, block[7], 0x676f02d9, 14);
					MD5_STEP(GG, b, c, d, a, block[12], 0x8d2a4c8a, 20);
					MD5_STEP(HH, a, b, c, d, block[5], 0xfffa3942, 4);
					// get 34
					MD5_STEP(HH, d, a, b, c, block[8], 0x8771f681, 11);
					
					//测试q35是否满足条件，根据lila05
					c += HH(d, a, b) + block[11] + 0x6d9d6122;
					if (0 != (c & (1 << 15))) 
						continue;
					c = (c<<16 | c>>16) + d;
					
					MD5_STEP(HH, b, c, d, a, block[14], 0xfde5380c, 23);
					MD5_STEP(HH, a, b, c, d, block[1], 0xa4beea44, 4);
					MD5_STEP(HH, d, a, b, c, block[4], 0x4bdecfa9, 11);
					MD5_STEP(HH, c, d, a, b, block[7], 0xf6bb4b60, 16);
					MD5_STEP(HH, b, c, d, a, block[10], 0xbebfbc70, 23);
					MD5_STEP(HH, a, b, c, d, block[13], 0x289b7ec6, 4);
					MD5_STEP(HH, d, a, b, c, block[0], 0xeaa127fa, 11);
					MD5_STEP(HH, c, d, a, b, block[3], 0xd4ef3085, 16);
					MD5_STEP(HH, b, c, d, a, block[6], 0x04881d05, 23);
					MD5_STEP(HH, a, b, c, d, block[9], 0xd9d4d039, 4);
					MD5_STEP(HH, d, a, b, c, block[12], 0xe6db99e5, 11);
					MD5_STEP(HH, c, d, a, b, block[15], 0x1fa27cf8, 16);

					//get q48
					MD5_STEP(HH, b, c, d, a, block[2], 0xc4ac5665, 23);
					if (0 != ((b^d) & 0x80000000))
						continue;

					MD5_STEP(II, a, b, c, d, block[0], 0xf4292244, 6);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, d, a, b, c, block[7], 0x432aff97, 10);
					if (0 == ((b^d) >> 31)) continue;
					MD5_STEP(II, c, d, a, b, block[14], 0xab9423a7, 15);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, b, c, d, a, block[5], 0xfc93a039, 21);
					if (0 != ((b^d) >> 31)) continue;
					MD5_STEP(II, a, b, c, d, block[12], 0x655b59c3, 6);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, d, a, b, c, block[3], 0x8f0ccc92, 10);
					if (0 != ((b^d) >> 31)) continue;
					MD5_STEP(II, c, d, a, b, block[10], 0xffeff47d, 15);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, b, c, d, a, block[1], 0x85845dd1, 21);
					if (0 != ((b^d) >> 31)) continue;
					MD5_STEP(II, a, b, c, d, block[8], 0x6fa87e4f, 6);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, d, a, b, c, block[15], 0xfe2ce6e0, 10);
					if (0 != ((b^d) >> 31)) continue;
					MD5_STEP(II, c, d, a, b, block[6], 0xa3014314, 15);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, b, c, d, a, block[13], 0x4e0811a1, 21);
					if (0 == ((b^d) >> 31)) continue;
					MD5_STEP(II, a, b, c, d, block[4], 0xf7537e82, 6);
					if (0 != ((a^c) >> 31)) continue;
					MD5_STEP(II, d, a, b, c, block[11], 0xbd3af235, 10);
					if (0 != ((b^d) >> 31)) continue;
					MD5_STEP(II, c, d, a, b, block[2], 0x2ad7d2bb, 15);
					if (0 != ((a^c) >> 31)) continue;
					// get q64
					MD5_STEP(II, b, c, d, a, block[9], 0xeb86d391, 21);

					uint32 IHV1 = b + IV[1];
					uint32 IHV2 = c + IV[2];
					uint32 IHV3 = d + IV[3];

					bool wang = true;
					if (0x02000000 != ((IHV2^IHV1) & 0x86000000)) wang = false;
					if (0 != ((IHV1^IHV3) & 0x82000000)) wang = false;
					if (0 != (IHV1 & 0x06000020)) wang = false;
					
					bool stevens = true;
					if ( ((IHV1^IHV2)>>31)!=0 || ((IHV1^IHV3)>>31)!= 0 ) stevens = false;
					if ( (IHV3&(1<<25))!=0 || (IHV2&(1<<25))!=0 || (IHV1&(1<<25))!=0 
						|| ((IHV2^IHV1)&1)!=0) stevens = false;
										
					if (!(wang || stevens)) continue;

					std::cout << "." << std::flush;

					uint32 IV1[4], IV2[4];
					for (int t = 0; t < 4; ++t)
						IV2[t] = IV1[t] = IV[t];

					uint32 block2[16];
					for (int t = 0; t < 16; ++t)
						block2[t] = block[t];
					block2[4] += 1<<31;
					block2[11] += 1<<15;
					block2[14] += 1<<31;

					md5_compress(IV1, block);
					md5_compress(IV2, block2);
					if (	   (IV2[0] == IV1[0] + (1<<31))
							&& (IV2[1] == IV1[1] + (1<<31) + (1<<25))
							&& (IV2[2] == IV1[2] + (1<<31) + (1<<25))
							&& (IV2[3] == IV1[3] + (1<<31) + (1<<25)))
						return;

					if (IV2[0] != IV1[0] + (1<<31))
						std::cout << "!" << std::flush;
				}
			}
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1e8, %rsp            # imm = 0x1E8
movq %rdi, %r12
movl (%rsi), %eax
movl %eax, -0x6c(%rbp)
movl 0x4(%rsi), %eax
movl %eax, -0x40(%rbp)
movl 0xc(%rsi), %r14d
movq %rsi, -0x138(%rbp)
movl 0x8(%rsi), %eax
movl %eax, -0x3c(%rbp)
movl $0x40, %edi
callq 0x10b0
movq %rax, %rcx
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movups %xmm0, 0x10(%rax)
movups %xmm0, 0x20(%rax)
movups %xmm0, 0x30(%rax)
xorl %eax, %eax
movq %rcx, -0xb8(%rbp)
movl %eax, %edx
andl $0x38000004, %edx       # imm = 0x38000004
movl %edx, (%rcx)
addq $0x4000004, %rax        # imm = 0x4000004
addq $0x4, %rcx
cmpq $0x40000040, %rax       # imm = 0x40000040
jne 0x1933
movl $0x20, %edi
callq 0x10b0
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
xorl %esi, %esi
movq %rax, -0xc8(%rbp)
movq %rax, %rcx
movl %esi, %edx
andl $0x2060, %edx           # imm = 0x2060
movl %edx, (%rcx)
addq $0x2010, %rsi           # imm = 0x2010
addq $0x4, %rcx
cmpq $0x10080, %rsi          # imm = 0x10080
jne 0x196f
movl $0x40000, %edi          # imm = 0x40000
callq 0x10b0
xorl %ebx, %ebx
movl $0x40000, %edx          # imm = 0x40000
movq %rax, %rdi
movq %rax, %r15
xorl %esi, %esi
callq 0x1050
xorl %eax, %eax
xorl %ecx, %ecx
xorl %edx, %edx
xorl %esi, %esi
xorl %edi, %edi
xorl %r8d, %r8d
xorl %r9d, %r9d
movl %eax, %r10d
xorl %ebx, %r10d
movl %ecx, %r11d
xorl %edx, %r11d
xorl %r10d, %r11d
movl %esi, %r10d
xorl %edi, %r10d
xorl %r8d, %r10d
xorl %r11d, %r10d
xorl %r9d, %r10d
andl $0xeb94f16, %r10d       # imm = 0xEB94F16
movl %r10d, (%r15,%rax)
addl $0x2000, %r9d           # imm = 0x2000
addl $0x800, %r8d            # imm = 0x800
addl $0x400, %edi            # imm = 0x400
addl $0x100, %esi            # imm = 0x100
subl $-0x80, %edx
addl $0x20, %ecx
addq $0x4, %rax
addl $0x2, %ebx
cmpq $0x40000, %rax          # imm = 0x40000
jne 0x19bb
movl -0x3c(%rbp), %edx
movl %edx, %eax
xorl %r14d, %eax
movl -0x40(%rbp), %ecx
andl %ecx, %eax
xorl %r14d, %eax
addl %eax, -0x6c(%rbp)
xorl %edx, %ecx
movl %ecx, -0xe0(%rbp)
addl $0xe8c7b756, %r14d      # imm = 0xE8C7B756
movl %r14d, -0xdc(%rbp)
movq %r15, -0x88(%rbp)
movl 0x965f(%rip), %eax      # 0xb0a8
movl %eax, %edx
shll $0xa, %edx
xorl %eax, %edx
movl 0x9656(%rip), %ecx      # 0xb0ac
movl %ecx, -0x34(%rbp)
movl %ecx, %eax
shrl $0xa, %eax
xorl %ecx, %eax
xorl %edx, %eax
shrl $0xd, %edx
xorl %eax, %edx
movl %ecx, %eax
shll $0xa, %eax
xorl %ecx, %eax
movl %edx, %ecx
shrl $0xa, %ecx
movl %eax, %edi
shrl $0xd, %edi
xorl %eax, %edi
xorl %edx, %edi
xorl %ecx, %edi
movl %edx, %ecx
movl %edx, %eax
shll $0xa, %eax
xorl %edx, %eax
movl %eax, %esi
xorl %edi, %eax
movl %edi, %r8d
movl %edi, %r9d
shll $0xa, %r9d
xorl %edi, %r9d
movl %edi, %r10d
shrl $0xa, %r10d
shrl $0xd, %esi
xorl %r10d, %esi
xorl %esi, %eax
andl $0x44000033, %r8d       # imm = 0x44000033
andl $0x287bc00, %edx        # imm = 0x287BC00
leal (%r8,%rdx), %esi
addl $0x2c0, %esi            # imm = 0x2C0
movl %esi, -0x48(%rbp)
orl %edx, %r8d
movq %r8, -0x68(%rbp)
movl %eax, %esi
shrl $0xa, %esi
movl %r9d, %edx
shrl $0xd, %edx
xorl %r9d, %edx
xorl %esi, %edx
xorl %eax, %edx
movl %eax, %r8d
movl %eax, %esi
shll $0xa, %esi
xorl %eax, %esi
movl %edx, %r10d
shrl $0xa, %r10d
movl %esi, %r9d
shrl $0xd, %r9d
xorl %esi, %r9d
xorl %r10d, %r9d
xorl %edx, %r9d
movl %r9d, %r10d
movl %edx, %esi
movl %edx, %r11d
shll $0xa, %r11d
xorl %edx, %r11d
andl $0x2b8f6e04, %edx       # imm = 0x2B8F6E04
movl $0x40000000, %r9d       # imm = 0x40000000
andl %r9d, %eax
movl $0x40000000, %ebx       # imm = 0x40000000
orl %eax, %edx
movl %edx, -0x30(%rbp)
andl $0x20000, %esi          # imm = 0x20000
addl %esi, %eax
addl $0x20040068, %eax       # imm = 0x20040068
movl %eax, -0x78(%rbp)
movl %r10d, %eax
shrl $0xa, %eax
movl %r11d, %r13d
shrl $0xd, %r13d
xorl %r11d, %r13d
xorl %eax, %r13d
movl %r10d, -0x60(%rbp)
xorl %r10d, %r13d
movl %r10d, %eax
shll $0xa, %eax
xorl %r10d, %eax
movl %r13d, %edx
shrl $0xa, %edx
movl %eax, %r15d
shrl $0xd, %r15d
xorl %eax, %r15d
xorl %edx, %r15d
xorl %r13d, %r15d
movl %r13d, %eax
shll $0xa, %eax
xorl %r13d, %eax
movl %eax, %r11d
shrl $0xd, %r11d
xorl %eax, %r11d
movl %r15d, %eax
shrl $0xa, %eax
xorl %eax, %r11d
movl %r15d, %eax
shll $0xa, %eax
xorl %r15d, %eax
movl %eax, %edx
shrl $0xd, %edx
xorl %eax, %edx
xorl %r15d, %r11d
movl %r11d, %eax
shrl $0xa, %eax
xorl %eax, %edx
movl %r11d, %eax
shll $0xa, %eax
xorl %r11d, %eax
movl %eax, %esi
shrl $0xd, %esi
xorl %eax, %esi
xorl %r11d, %edx
movl %edx, %eax
shrl $0xa, %eax
xorl %eax, %esi
movl %edx, %eax
andl $0x1fff5f77, %eax       # imm = 0x1FFF5F77
movl %r11d, -0x2c(%rbp)
andl %ebx, %r11d
orl %eax, %r11d
movl %edx, %ebx
shll $0xa, %ebx
xorl %edx, %ebx
movl %ebx, %eax
shrl $0xd, %eax
xorl %ebx, %eax
xorl %edx, %esi
movl %esi, %ebx
shrl $0xa, %ebx
xorl %ebx, %eax
movl %esi, %ebx
andl $0x5efe7ff7, %ebx       # imm = 0x5EFE7FF7
andl $0x10000, %edx          # imm = 0x10000
orl %ebx, %edx
movl %esi, %ebx
shll $0xa, %ebx
xorl %esi, %ebx
movl %ebx, %r14d
shrl $0xd, %r14d
xorl %ebx, %r14d
xorl %esi, %eax
movl %eax, %ebx
shrl $0xa, %ebx
xorl %ebx, %r14d
xorl %eax, %r14d
movl %r14d, 0x9492(%rip)     # 0xb0ac
movl %eax, 0x9488(%rip)      # 0xb0a8
andl $0x1ffdffff, %eax       # imm = 0x1FFDFFFF
andl $0x40020000, %esi       # imm = 0x40020000
orl %eax, %esi
movl -0x34(%rbp), %eax
subl -0x40(%rbp), %eax
roll $0x19, %eax
subl -0x6c(%rbp), %eax
movq %rax, -0xa0(%rbp)
addl $0x28955b88, %eax       # imm = 0x28955B88
movl %eax, (%r12)
andl $0xfe87bc3f, %ecx       # imm = 0xFE87BC3F
movq %rcx, -0x58(%rbp)
andl $0x4000033, %edi        # imm = 0x4000033
andl $0x68000084, %r8d       # imm = 0x68000084
leal 0x49f4986d(%r8), %eax
roll $0xf, %eax
movq %rax, %r14
leal 0x41ffffc8(%rdi), %r9d
movq -0x68(%rbp), %rbx
movl %ebx, %eax
xorl %r9d, %eax
movl %r9d, -0x38(%rbp)
andl $0x4b8012, %eax         # imm = 0x4B8012
xorl -0x48(%rbp), %eax
addl %ecx, %eax
addl $0x17841c0, %eax        # imm = 0x17841C0
subl %eax, %r14d
movq %r14, %rax
movq %r14, -0x98(%rbp)
movl -0x30(%rbp), %r14d
xorl $0x405090d3, %r14d      # imm = 0x405090D3
movq %r8, -0x148(%rbp)
addl $0x2401b43, %r8d        # imm = 0x2401B43
movl %r14d, %ecx
subl %r8d, %ecx
roll $0xa, %ecx
addl $0x57cfb9ed, %eax       # imm = 0x57CFB9ED
movl %eax, 0x18(%r12)
xorl $0x68001906, %edi       # imm = 0x68001906
movl %r8d, -0x7c(%rbp)
andl %r8d, %edi
xorl %r9d, %edi
movq %rdi, -0x160(%rbp)
leal (%rdi,%rbx), %eax
addl $0x2c0, %eax            # imm = 0x2C0
negl %eax
movq %rcx, -0xa8(%rbp)
addl %ecx, %eax
addl $0x2b96aff, %eax        # imm = 0x2B96AFF
movl %eax, 0x1c(%r12)
movl -0x60(%rbp), %eax
movl $0x40000000, %ecx       # imm = 0x40000000
andl %ecx, %eax
andl $0x10408008, %r13d      # imm = 0x10408008
orl %eax, %r13d
movl %r15d, %r8d
andl $0x1ed9df7f, %r8d       # imm = 0x1ED9DF7F
leal (%rax,%r8), %edi
leal (%rax,%r8), %ecx
addl $0x22080, %ecx          # imm = 0x22080
leal 0x1040b089(%rax), %r8d
xorl $0x4fbb7f16, %r13d      # imm = 0x4FBB7F16
movl %ecx, %eax
subl %r13d, %eax
roll $0xa, %eax
movl %r8d, -0x104(%rbp)
movl -0x78(%rbp), %r9d
xorl %r9d, %r8d
andl %r13d, %r8d
xorl %r9d, %r8d
movl %r14d, -0x30(%rbp)
addl %r14d, %r8d
subl %r8d, %eax
leal 0x76a32842(%rax), %r8d
movl %r8d, 0x2c(%r12)
movl -0x2c(%rbp), %ebx
andl $0x5efb4f77, %ebx       # imm = 0x5EFB4F77
orl $0x20049008, %ebx       # imm = 0x20049008
xorl $0x4000a088, %r11d      # imm = 0x4000A088
xorl $0x80018000, %edx       # imm = 0x80018000
movl %edx, %r8d
subl %r11d, %r8d
roll $0xf, %r8d
movl %ebx, %r9d
xorl %ecx, %r9d
andl %r11d, %r9d
movl %ecx, -0x70(%rbp)
xorl %ecx, %r9d
movl %r13d, -0x50(%rbp)
addl %r13d, %r9d
subl %r9d, %r8d
addl $0x5986bc72, %r8d       # imm = 0x5986BC72
movl %r8d, 0x38(%r12)
xorl $0xe0020000, %esi       # imm = 0xE0020000
movl %esi, %r8d
subl %edx, %r8d
roll $0xa, %r8d
movl %r11d, %r9d
xorl %ebx, %r9d
andl %edx, %r9d
movl %ebx, -0x2c(%rbp)
xorl %ebx, %r9d
addl %r9d, %edi
addl $0x22080, %edi          # imm = 0x22080
subl %edi, %r8d
addl $0xb64bf7df, %r8d       # imm = 0xB64BF7DF
movl %r8d, 0x3c(%r12)
movq -0x58(%rbp), %rcx
addl $0x17841c0, %ecx        # imm = 0x17841C0
movl -0x34(%rbp), %edi
andl -0xe0(%rbp), %edi
xorl -0x3c(%rbp), %edi
movq %rdi, -0x60(%rbp)
movl %esi, %edi
xorl %edx, %edi
andl %r11d, %edi
xorl %edx, %edi
movl %edi, -0xd8(%rbp)
movl $0xb84b82d6, %edi       # imm = 0xB84B82D6
movl -0x38(%rbp), %r8d
subl %r8d, %edi
roll $0x14, %edi
movl %edi, -0x44(%rbp)
movl -0x48(%rbp), %edi
xorl %ecx, %edi
andl %r8d, %edi
movl %ecx, -0x4c(%rbp)
xorl %ecx, %edi
movl %edi, -0x58(%rbp)
movl %esi, %r10d
andl $0xc0008008, %r10d      # imm = 0xC0008008
movq %r11, -0xb0(%rbp)
movq -0x98(%rbp), %rcx
addl %ecx, %r11d
addl $0x18106d2d, %r11d      # imm = 0x18106D2D
leal -0x62fe7d6d(%rax,%rdx), %r14d
movq -0xa0(%rbp), %rax
leal 0x124c2332(%rax,%rsi), %eax
movl %eax, -0x68(%rbp)
movl 0x9231(%rip), %ecx      # 0xb0a8
movl 0x922e(%rip), %r15d     # 0xb0ac
movl $0x80, %r13d
movl %r15d, %eax
movl %ecx, %r15d
shll $0xa, %r15d
xorl %ecx, %r15d
movl %eax, %ecx
shrl $0xa, %ecx
xorl %eax, %ecx
xorl %r15d, %ecx
shrl $0xd, %r15d
xorl %ecx, %r15d
movl %eax, %ecx
andl $0x3ffd7ff7, %ecx       # imm = 0x3FFD7FF7
orl %r10d, %ecx
movl %ecx, %r9d
xorl $0x40000000, %r9d       # imm = 0x40000000
movl %r9d, %edi
xorl %esi, %edi
andl %edx, %edi
xorl %esi, %edi
addl %r11d, %edi
roll $0x9, %edi
addl %r9d, %edi
xorl %edi, %ecx
andl $0xa0020000, %ecx       # imm = 0xA0020000
cmpl $0x20000, %ecx          # imm = 0x20000
jne 0x1f38
movl %edi, %r8d
xorl %r9d, %r8d
andl %esi, %r8d
xorl %r9d, %r8d
addl %r14d, %r8d
roll $0xe, %r8d
addl %edi, %r8d
movl %r8d, %ecx
andl $0x80020000, %ecx       # imm = 0x80020000
negl %ecx
jno 0x1f38
movl %r8d, %ecx
xorl %edi, %ecx
andl %r9d, %ecx
xorl %edi, %ecx
addl -0x68(%rbp), %ecx
roll $0x14, %ecx
addl %r8d, %ecx
movl %ecx, %ebx
xorl %r8d, %ebx
movq %r8, -0x140(%rbp)
movl %edi, %r8d
movl %ebx, %edi
andl $0x80040000, %edi       # imm = 0x80040000
cmpl $0x40000, %edi          # imm = 0x40000
movl %r8d, %edi
movq -0x140(%rbp), %r8
je 0x1f55
movl %eax, %ecx
decl %r13d
jne 0x1e84
movl %eax, 0x915f(%rip)      # 0xb0a8
movl %r15d, 0x915c(%rip)     # 0xb0ac
jmp 0x1a43
movl %eax, 0x914d(%rip)      # 0xb0a8
movl %r15d, 0x914a(%rip)     # 0xb0ac
movl %r9d, %eax
subl %esi, %eax
roll $0x1b, %eax
movl -0x2c(%rbp), %r15d
movl -0xd8(%rbp), %edx
addl %r15d, %edx
subl %edx, %eax
leal 0x9e1da9e(%rax), %edx
movl %edx, 0x4(%r12)
movq -0x60(%rbp), %rdx
addl -0xdc(%rbp), %edx
leal (%rax,%rdx), %r14d
addl $0x9e1da9e, %r14d       # imm = 0x9E1DA9E
roll $0xc, %r14d
movl %edi, %r10d
movl -0x34(%rbp), %edi
addl %edi, %r14d
movl -0x44(%rbp), %eax
addl $0xb87839d6, %eax       # imm = 0xB87839D6
movl -0x58(%rbp), %edx
addl %r14d, %edx
movl %eax, -0x44(%rbp)
subl %edx, %eax
movl %eax, 0x14(%r12)
movq %r8, %r11
movl -0x4c(%rbp), %r8d
movl %r8d, %eax
subl %r14d, %eax
roll $0xf, %eax
movl %edi, %edx
movl -0x40(%rbp), %esi
xorl %esi, %edx
andl %r14d, %edx
xorl %esi, %edx
addl -0x3c(%rbp), %edx
subl %edx, %eax
addl $0xdbdf8f25, %eax       # imm = 0xDBDF8F25
movl %eax, 0x8(%r12)
andl %r10d, %ebx
xorl %r11d, %ebx
leal (%r9,%rbx), %eax
addl $0xd62f105d, %eax       # imm = 0xD62F105D
movl %eax, -0xf8(%rbp)
movl %r14d, %eax
xorl %edi, %eax
andl %r8d, %eax
xorl %edi, %eax
addl %esi, %eax
movl %eax, -0xec(%rbp)
movl %r14d, -0x74(%rbp)
xorl %r8d, %r14d
movl %r14d, -0xe8(%rbp)
leal -0x275e197f(%r11), %eax
movl %eax, -0xe4(%rbp)
leal -0x182c0438(%rcx), %eax
movq %rax, -0x158(%rbp)
movq -0x148(%rbp), %rax
movl %eax, %edi
xorl $0x2a0b9894, %edi       # imm = 0x2A0B9894
movl -0x30(%rbp), %eax
andl %eax, %edi
xorl $0x47b47d29, %edi       # imm = 0x47B47D29
movl %r15d, %r8d
movl -0x70(%rbp), %edx
subl %edx, %r8d
roll $0x19, %r8d
movq -0xb0(%rbp), %rsi
subl %r15d, %esi
roll $0x14, %esi
movl %edx, %r9d
movl -0x50(%rbp), %edx
xorl %edx, %r9d
andl %r15d, %r9d
xorl %edx, %r9d
movq %r9, -0x168(%rbp)
addl $0x2441453, %r10d       # imm = 0x2441453
movl %r10d, -0xf0(%rbp)
addl $0x946feede, %r8d       # imm = 0x946FEEDE
movl %r8d, -0x10c(%rbp)
subl -0x38(%rbp), %edi
addl $0x967f6728, %edi       # imm = 0x967F6728
movl %edi, -0x110(%rbp)
xorl -0x7c(%rbp), %eax
movl %eax, -0x108(%rbp)
movq -0xa8(%rbp), %rax
addl $0x2b96aff, %eax        # imm = 0x2B96AFF
movq %rax, -0xa8(%rbp)
addl $0x2678e6d, %esi        # imm = 0x2678E6D
movq %rsi, -0xb0(%rbp)
xorl %edx, %edx
movq -0x88(%rbp), %rsi
movq %rcx, %rdi
movq %rcx, -0xc0(%rbp)
movq -0xb8(%rbp), %rax
movq %rdx, -0x170(%rbp)
movl (%rax,%rdx,4), %eax
xorl -0x48(%rbp), %eax
movl %eax, %ecx
movl -0x4c(%rbp), %edx
xorl %edx, %ecx
andl -0x38(%rbp), %ecx
xorl %edx, %ecx
addl -0x74(%rbp), %ecx
movl -0x44(%rbp), %edx
subl %ecx, %edx
movl %edx, 0x14(%r12)
addl -0xf8(%rbp), %edx
roll $0x5, %edx
addl %edi, %edx
movq %rdx, -0x90(%rbp)
xorl %edi, %edx
testl $0x80020000, %edx       # imm = 0x80020000
je 0x214e
movq -0x170(%rbp), %rdx
incq %rdx
cmpq $0x10, %rdx
movq -0xc0(%rbp), %rdi
jne 0x20e9
jmp 0x1a43
movq %rdx, %rdi
movl %eax, %ecx
subl -0x4c(%rbp), %ecx
roll $0xa, %ecx
subl -0xec(%rbp), %ecx
addl $0x3e423112, %ecx       # imm = 0x3E423112
movl %ecx, 0xc(%r12)
movl -0x38(%rbp), %ecx
subl %eax, %ecx
roll $0x19, %ecx
movq -0x160(%rbp), %rdx
addl %eax, %edx
andl -0xe8(%rbp), %eax
xorl -0x74(%rbp), %eax
addl -0x34(%rbp), %eax
subl %eax, %ecx
leal 0xa83f051(%rcx), %eax
movl %eax, 0x10(%r12)
movq -0xa8(%rbp), %rax
subl %edx, %eax
movl %eax, 0x1c(%r12)
andl -0x140(%rbp), %edi
xorl -0xc0(%rbp), %edi
addl -0xf0(%rbp), %edi
movq %rdi, -0x198(%rbp)
movl 0x3c(%r12), %eax
addl -0xe4(%rbp), %eax
movl %eax, -0x100(%rbp)
movq -0x158(%rbp), %rax
addl %ecx, %eax
addl $0xa83f051, %eax        # imm = 0xA83F051
movl %eax, -0xfc(%rbp)
movq -0x90(%rbp), %rax
addl $0x21e1cde6, %eax       # imm = 0x21E1CDE6
movl %eax, -0xf4(%rbp)
xorl %ecx, %ecx
movq -0xc8(%rbp), %rax
movq %rcx, -0xd8(%rbp)
movl (%rax,%rcx,4), %ecx
movl %ecx, %edi
andl $0x60, %edi
orl -0x104(%rbp), %edi
andl $0x2000, %ecx           # imm = 0x2000
orl -0x78(%rbp), %ecx
movl -0x50(%rbp), %eax
subl %edi, %eax
roll $0xf, %eax
movl %ecx, -0x2c(%rbp)
movl -0x30(%rbp), %edx
xorl %edx, %ecx
movq %rdi, -0x68(%rbp)
andl %edi, %ecx
xorl %edx, %ecx
addl -0x148(%rbp), %ecx
subl %ecx, %eax
movq -0x198(%rbp), %rcx
leal (%rcx,%rax), %r9d
addl $0xfdc0890c, %r9d       # imm = 0xFDC0890C
roll $0x9, %r9d
addl -0x90(%rbp), %r9d
jns 0x22b3
movl %r9d, %edx
movq -0x90(%rbp), %rcx
xorl %ecx, %edx
andl -0xc0(%rbp), %edx
xorl %ecx, %edx
addl -0x100(%rbp), %edx
btl $0x11, %edx
jb 0x22b3
movq %rdx, %rcx
roll $0xe, %ecx
addl %r9d, %ecx
movq %rcx, -0xd0(%rbp)
js 0x22b3
movq -0xd0(%rbp), %rcx
movl %ecx, %edx
xorl %r9d, %edx
andl -0x90(%rbp), %edx
xorl %r9d, %edx
addl -0xfc(%rbp), %edx
roll $0x14, %edx
addl %ecx, %edx
movq %rdx, -0x150(%rbp)
js 0x22cc
movq -0xd8(%rbp), %rcx
incq %rcx
cmpq $0x8, %rcx
jne 0x21f4
jmp 0x2132
addl $0xfdc0890c, %eax       # imm = 0xFDC0890C
movl %eax, 0x28(%r12)
movq -0x168(%rbp), %rax
movq -0x68(%rbp), %rdx
addl %edx, %eax
movq -0xb0(%rbp), %rcx
subl %eax, %ecx
movl %ecx, 0x34(%r12)
movl %edx, %eax
xorl -0x50(%rbp), %eax
andl -0x70(%rbp), %eax
xorl %edx, %eax
movq %rax, -0x1c0(%rbp)
movq -0x150(%rbp), %rcx
movl %ecx, %edx
movq -0xd0(%rbp), %rax
xorl %eax, %edx
andl %r9d, %edx
xorl %eax, %edx
addl -0xf4(%rbp), %edx
movq %rdx, -0x1b8(%rbp)
addl $0xc33707d6, %r9d       # imm = 0xC33707D6
addl $0xf4d50d87, %eax       # imm = 0xF4D50D87
movq %rax, -0x1b0(%rbp)
leal 0x455a14ed(%rcx), %eax
movq %rax, -0x1a8(%rbp)
xorl %r13d, %r13d
movq %r9, -0x1a0(%rbp)
movl (%rsi,%r13,4), %ecx
xorl -0x2c(%rbp), %ecx
movq -0x1c0(%rbp), %rax
addl %ecx, %eax
movl -0x10c(%rbp), %edx
movl %edx, %r8d
subl %eax, %r8d
movl %r8d, 0x30(%r12)
movl %ecx, %edx
subl -0x30(%rbp), %edx
roll $0x19, %edx
addl -0x110(%rbp), %edx
movl %edx, 0x20(%r12)
movq -0x68(%rbp), %rax
subl %ecx, %eax
roll $0x14, %eax
andl -0x108(%rbp), %ecx
xorl -0x7c(%rbp), %ecx
subl %ecx, %eax
leal -0x43907a85(%rax), %ecx
movl %ecx, 0x24(%r12)
movq -0x1b8(%rbp), %rcx
leal (%rcx,%rax), %edi
addl $0xbc6f857b, %edi       # imm = 0xBC6F857B
roll $0x5, %edi
movq -0x150(%rbp), %r10
addl %r10d, %edi
movl %edi, %ecx
xorl %r10d, %ecx
andl -0xd0(%rbp), %ecx
xorl %r10d, %ecx
movl 0x38(%r12), %esi
movq %rsi, -0xa0(%rbp)
addl %r9d, %esi
addl %esi, %ecx
roll $0x9, %ecx
addl %edi, %ecx
movl %ecx, %esi
xorl %edi, %esi
andl %r10d, %esi
xorl %edi, %esi
movl 0xc(%r12), %r10d
movq -0x1b0(%rbp), %r9
movq %r10, -0x60(%rbp)
addl %r10d, %r9d
addl %r9d, %esi
roll $0xe, %esi
addl %ecx, %esi
movl %esi, %r10d
xorl %ecx, %r10d
andl %edi, %r10d
xorl %ecx, %r10d
movq -0x1a8(%rbp), %r9
addl %edx, %r9d
addl %r9d, %r10d
roll $0x14, %r10d
movl 0x8(%r12), %r11d
addl %esi, %r10d
movl %r10d, %r9d
xorl %esi, %r9d
andl %ecx, %r9d
xorl %esi, %r9d
movl 0x34(%r12), %ebx
movq %rbx, -0x98(%rbp)
addl %ebx, %edi
addl %edi, %r9d
addl $0xa9e3e905, %r9d       # imm = 0xA9E3E905
roll $0x5, %r9d
addl %r10d, %r9d
movl %r9d, %edi
xorl %r10d, %edi
andl %esi, %edi
xorl %r10d, %edi
movq %r11, -0x58(%rbp)
addl %r11d, %ecx
addl %edi, %ecx
addl $0xfcefa3f8, %ecx       # imm = 0xFCEFA3F8
roll $0x9, %ecx
addl %r9d, %ecx
movl %ecx, %r11d
xorl %r9d, %r11d
andl %r10d, %r11d
xorl %r9d, %r11d
movl 0x1c(%r12), %edi
addl %edi, %esi
addl %r11d, %esi
addl $0x676f02d9, %esi       # imm = 0x676F02D9
roll $0xe, %esi
addl %ecx, %esi
movl %esi, %r11d
xorl %ecx, %r11d
movl %r11d, %ebx
andl %r9d, %ebx
xorl %ecx, %ebx
addl %r8d, %r10d
leal (%rbx,%r10), %r14d
addl $0x8d2a4c8a, %r14d      # imm = 0x8D2A4C8A
roll $0x14, %r14d
addl %esi, %r14d
xorl %r14d, %r11d
movl 0x14(%r12), %r10d
movq %r10, -0x1c8(%rbp)
addl %r10d, %r9d
addl %r11d, %r9d
addl $0xfffa3942, %r9d       # imm = 0xFFFA3942
roll $0x4, %r9d
addl %r14d, %r9d
movl %r14d, %r11d
xorl %esi, %r11d
xorl %r9d, %r11d
addl %edx, %ecx
addl %r11d, %ecx
addl $0x8771f681, %ecx       # imm = 0x8771F681
roll $0xb, %ecx
addl %r9d, %ecx
movl %r9d, %r11d
xorl %r14d, %r11d
xorl %ecx, %r11d
movl 0x2c(%r12), %ebx
addl %ebx, %esi
addl %r11d, %esi
addl $0x6d9d6122, %esi       # imm = 0x6D9D6122
testw %si, %si
js 0x272d
roll $0x10, %esi
addl %ecx, %esi
movl %ecx, %r11d
xorl %r9d, %r11d
xorl %esi, %r11d
addl -0xa0(%rbp), %r14d
addl %r11d, %r14d
addl $0xfde5380c, %r14d      # imm = 0xFDE5380C
roll $0x17, %r14d
addl %esi, %r14d
movl %esi, %r11d
xorl %ecx, %r11d
xorl %r14d, %r11d
movl 0x4(%r12), %r10d
addl %r9d, %r11d
movq %r10, -0x188(%rbp)
leal (%r10,%r11), %r9d
addl $0xa4beea44, %r9d       # imm = 0xA4BEEA44
roll $0x4, %r9d
addl %r14d, %r9d
movl %r14d, %r11d
xorl %esi, %r11d
xorl %r9d, %r11d
movl 0x10(%r12), %r10d
movq %r10, -0x178(%rbp)
addl %r10d, %ecx
leal (%r11,%rcx), %r15d
addl $0x4bdecfa9, %r15d      # imm = 0x4BDECFA9
roll $0xb, %r15d
addl %r9d, %r15d
movl %r9d, %ecx
xorl %r14d, %ecx
xorl %r15d, %ecx
addl %edi, %esi
addl %ecx, %esi
addl $0xf6bb4b60, %esi       # imm = 0xF6BB4B60
roll $0x10, %esi
movl (%r12), %ecx
addl %r15d, %esi
movl %r15d, %r11d
xorl %r9d, %r11d
xorl %esi, %r11d
movl 0x28(%r12), %r10d
movq %r10, -0x190(%rbp)
addl %r10d, %r14d
addl %r11d, %r14d
addl $0xbebfbc70, %r14d      # imm = 0xBEBFBC70
roll $0x17, %r14d
addl %esi, %r14d
movl %esi, %r11d
xorl %r15d, %r11d
xorl %r14d, %r11d
addl -0x98(%rbp), %r9d
addl %r11d, %r9d
addl $0x289b7ec6, %r9d       # imm = 0x289B7EC6
roll $0x4, %r9d
addl %r14d, %r9d
movl %r14d, %r11d
xorl %esi, %r11d
xorl %r9d, %r11d
addl %ecx, %r15d
movq %rbx, %r10
leal (%r11,%r15), %ebx
addl $0xeaa127fa, %ebx       # imm = 0xEAA127FA
roll $0xb, %ebx
addl %r9d, %ebx
movl %r9d, %r11d
xorl %r14d, %r11d
xorl %ebx, %r11d
addl -0x60(%rbp), %esi
addl %r11d, %esi
addl $0xd4ef3085, %esi       # imm = 0xD4EF3085
roll $0x10, %esi
addl %ebx, %esi
movl %ebx, %r11d
xorl %r9d, %r11d
xorl %esi, %r11d
movl 0x18(%r12), %r15d
movq %r15, -0x180(%rbp)
addl %r15d, %r14d
addl %r14d, %r11d
addl $0x4881d05, %r11d       # imm = 0x4881D05
roll $0x17, %r11d
addl %esi, %r11d
movl %esi, %r14d
xorl %ebx, %r14d
xorl %r11d, %r14d
addl %eax, %r9d
leal (%r14,%r9), %r15d
addl $0x964455b4, %r15d      # imm = 0x964455B4
roll $0x4, %r15d
addl %r11d, %r15d
movl %r11d, %r9d
xorl %esi, %r9d
xorl %r15d, %r9d
addl %r8d, %ebx
leal (%r9,%rbx), %r14d
addl $0xe6db99e5, %r14d      # imm = 0xE6DB99E5
movq %r10, %rbx
roll $0xb, %r14d
addl %r15d, %r14d
movl %r15d, %r9d
xorl %r11d, %r9d
xorl %r14d, %r9d
movl 0x3c(%r12), %r10d
addl %r10d, %esi
addl %esi, %r9d
addl $0x1fa27cf8, %r9d       # imm = 0x1FA27CF8
roll $0x10, %r9d
addl %r14d, %r9d
movl %r14d, %esi
xorl %r15d, %esi
xorl %r9d, %esi
addl -0x58(%rbp), %r11d
addl %r11d, %esi
addl $0xc4ac5665, %esi       # imm = 0xC4AC5665
roll $0x17, %esi
addl %r9d, %esi
movl %esi, %r11d
xorl %r14d, %r11d
js 0x272d
movl %r14d, %r11d
notl %r11d
orl %esi, %r11d
xorl %r9d, %r11d
addl %r15d, %ecx
addl %r11d, %ecx
addl $0xf4292244, %ecx       # imm = 0xF4292244
roll $0x6, %ecx
addl %esi, %ecx
movl %ecx, %r11d
xorl %r9d, %r11d
js 0x272d
movl %r9d, %r11d
notl %r11d
orl %ecx, %r11d
xorl %esi, %r11d
addl %r14d, %edi
addl %r11d, %edi
addl $0x432aff97, %edi       # imm = 0x432AFF97
roll $0xa, %edi
addl %ecx, %edi
movl %edi, %r11d
xorl %esi, %r11d
js 0x2750
incq %r13
cmpq $0x10000, %r13          # imm = 0x10000
movq -0x88(%rbp), %rsi
movq -0x1a0(%rbp), %r9
jne 0x2350
jmp 0x22b3
movl %esi, %r11d
notl %r11d
orl %edi, %r11d
xorl %ecx, %r11d
movq %r10, %r14
movq -0xa0(%rbp), %r10
addl %r9d, %r10d
addl %r10d, %r11d
addl $0xab9423a7, %r11d      # imm = 0xAB9423A7
roll $0xf, %r11d
addl %edi, %r11d
movl %r11d, %r9d
xorl %ecx, %r9d
js 0x272d
movl %ecx, %r9d
notl %r9d
orl %r11d, %r9d
xorl %edi, %r9d
movq -0x1c8(%rbp), %r10
addl %esi, %r10d
leal (%r9,%r10), %esi
addl $0xfc93a039, %esi       # imm = 0xFC93A039
roll $0x15, %esi
addl %r11d, %esi
movl %esi, %r9d
xorl %edi, %r9d
js 0x272d
movl %edi, %r9d
notl %r9d
orl %esi, %r9d
xorl %r11d, %r9d
addl %ecx, %r8d
leal (%r9,%r8), %ecx
addl $0x655b59c3, %ecx       # imm = 0x655B59C3
roll $0x6, %ecx
addl %esi, %ecx
movl %ecx, %r8d
xorl %r11d, %r8d
js 0x272d
movl %r11d, %r8d
notl %r8d
orl %ecx, %r8d
xorl %esi, %r8d
movq -0x60(%rbp), %r9
addl %edi, %r9d
leal (%r8,%r9), %edi
addl $0x8f0ccc92, %edi       # imm = 0x8F0CCC92
roll $0xa, %edi
addl %ecx, %edi
movl %edi, %r8d
xorl %esi, %r8d
js 0x272d
movl %esi, %r8d
notl %r8d
orl %edi, %r8d
xorl %ecx, %r8d
movq -0x190(%rbp), %r9
addl %r11d, %r9d
addl %r9d, %r8d
addl $0xffeff47d, %r8d       # imm = 0xFFEFF47D
roll $0xf, %r8d
addl %edi, %r8d
movl %r8d, %r9d
xorl %ecx, %r9d
js 0x272d
movl %ecx, %r9d
notl %r9d
orl %r8d, %r9d
xorl %edi, %r9d
movq -0x188(%rbp), %r10
addl %esi, %r10d
leal (%r9,%r10), %esi
addl $0x85845dd1, %esi       # imm = 0x85845DD1
roll $0x15, %esi
addl %r8d, %esi
movl %esi, %r9d
xorl %edi, %r9d
js 0x272d
movl %edi, %r9d
notl %r9d
orl %esi, %r9d
xorl %r8d, %r9d
addl %ecx, %edx
leal (%r9,%rdx), %ecx
addl $0x6fa87e4f, %ecx       # imm = 0x6FA87E4F
roll $0x6, %ecx
addl %esi, %ecx
movl %ecx, %edx
xorl %r8d, %edx
js 0x272d
movl %r8d, %edx
notl %edx
orl %ecx, %edx
xorl %esi, %edx
addl %edi, %r14d
addl %r14d, %edx
addl $0xfe2ce6e0, %edx       # imm = 0xFE2CE6E0
roll $0xa, %edx
addl %ecx, %edx
movl %edx, %edi
xorl %esi, %edi
js 0x272d
movl %esi, %edi
notl %edi
orl %edx, %edi
xorl %ecx, %edi
movq -0x180(%rbp), %r9
addl %r8d, %r9d
addl %r9d, %edi
addl $0xa3014314, %edi       # imm = 0xA3014314
roll $0xf, %edi
addl %edx, %edi
movl %edi, %r8d
xorl %ecx, %r8d
js 0x272d
movl %ecx, %r8d
notl %r8d
orl %edi, %r8d
xorl %edx, %r8d
movq -0x98(%rbp), %r9
addl %esi, %r9d
leal (%r8,%r9), %esi
addl $0x4e0811a1, %esi       # imm = 0x4E0811A1
roll $0x15, %esi
addl %edi, %esi
movl %esi, %r8d
xorl %edx, %r8d
jns 0x272d
movl %edx, %r8d
notl %r8d
orl %esi, %r8d
xorl %edi, %r8d
movq -0x178(%rbp), %r9
addl %ecx, %r9d
addl %r9d, %r8d
addl $0xf7537e82, %r8d       # imm = 0xF7537E82
roll $0x6, %r8d
addl %esi, %r8d
movl %r8d, %ecx
xorl %edi, %ecx
js 0x272d
movl %edi, %ecx
notl %ecx
orl %r8d, %ecx
xorl %esi, %ecx
addl %edx, %ebx
addl %ebx, %ecx
addl $0xbd3af235, %ecx       # imm = 0xBD3AF235
roll $0xa, %ecx
addl %r8d, %ecx
movl %ecx, %edx
xorl %esi, %edx
js 0x272d
movl %esi, %edx
notl %edx
orl %ecx, %edx
xorl %r8d, %edx
movq -0x58(%rbp), %r9
addl %edi, %r9d
addl %r9d, %edx
addl $0x2ad7d2bb, %edx       # imm = 0x2AD7D2BB
roll $0xf, %edx
addl %ecx, %edx
movl %edx, %edi
xorl %r8d, %edi
js 0x272d
notl %r8d
orl %edx, %r8d
xorl %ecx, %r8d
addl %esi, %eax
addl %r8d, %eax
addl $0xa7f6590c, %eax       # imm = 0xA7F6590C
roll $0x15, %eax
addl %edx, %eax
movq -0x138(%rbp), %rsi
addl 0x4(%rsi), %eax
addl 0x8(%rsi), %edx
addl 0xc(%rsi), %ecx
movl %edx, %esi
xorl %eax, %esi
movl %esi, %edi
andl $0x86000000, %edi       # imm = 0x86000000
movl $0x2000000, %r9d        # imm = 0x2000000
xorl %r9d, %edi
orl %ecx, %edx
xorl %eax, %ecx
movl %ecx, %r8d
andl $0x82000000, %r8d       # imm = 0x82000000
orl %eax, %edx
andl $0x6000020, %eax        # imm = 0x6000020
orl %r8d, %eax
orl %esi, %ecx
setns %cl
andl %r9d, %edx
andl $0x1, %esi
orl %edx, %esi
sete %dl
orl %edi, %eax
je 0x2a09
andb %dl, %cl
je 0x272d
movl $0x1, %edx
movq 0x85c3(%rip), %rbx      # 0xafd8
movq %rbx, %rdi
leaq 0x6695(%rip), %rsi      # 0x90b4
callq 0x10d0
movq %rbx, %rdi
callq 0x1070
movq -0x138(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x130(%rbp)
movups (%rax), %xmm0
movaps %xmm0, -0x120(%rbp)
movups (%r12), %xmm0
movups 0x10(%r12), %xmm1
movups 0x20(%r12), %xmm2
movups 0x30(%r12), %xmm3
movaps %xmm1, -0x200(%rbp)
movaps %xmm2, -0x1f0(%rbp)
movaps %xmm3, -0x1e0(%rbp)
movaps %xmm0, -0x210(%rbp)
xorb $-0x80, -0x1fd(%rbp)
addl $0x8000, -0x1e4(%rbp)   # imm = 0x8000
xorb $-0x80, -0x1d5(%rbp)
leaq -0x130(%rbp), %rdi
movq %r12, %rsi
callq 0x2d34
leaq -0x120(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x2d34
movl -0x130(%rbp), %eax
xorl -0x120(%rbp), %eax
negl %eax
jno 0x2b07
movl -0x12c(%rbp), %eax
movl $0x82000000, %ecx       # imm = 0x82000000
addl %ecx, %eax
cmpl %eax, -0x11c(%rbp)
jne 0x272d
movl -0x128(%rbp), %eax
addl %ecx, %eax
cmpl %eax, -0x118(%rbp)
jne 0x272d
movl -0x124(%rbp), %eax
addl %ecx, %eax
cmpl %eax, -0x114(%rbp)
jne 0x272d
jmp 0x2b28
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x65a0(%rip), %rsi      # 0x90b6
callq 0x10d0
movq %rbx, %rdi
callq 0x1070
jmp 0x272d
movl $0x40000, %esi          # imm = 0x40000
movq -0x88(%rbp), %rdi
callq 0x10c0
movl $0x20, %esi
movq -0xc8(%rbp), %rdi
callq 0x10c0
movl $0x40, %esi
movq -0xb8(%rbp), %rdi
callq 0x10c0
addq $0x1e8, %rsp            # imm = 0x1E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
jmp 0x2b8d
movq %rax, %r14
jmp 0x2b9e
jmp 0x2b79
movq %rax, %r14
movl $0x40000, %esi          # imm = 0x40000
movq -0x88(%rbp), %rdi
callq 0x10c0
movl $0x20, %esi
movq -0xc8(%rbp), %rdi
callq 0x10c0
movl $0x40, %esi
movq -0xb8(%rbp), %rdi
callq 0x10c0
movq %r14, %rdi
callq 0x1100
nop