// File: /workspace/github_cpp_makefile_star2_O3/ksabry[P]bfbrute/src/ProgramSearch.h
// Function: ProgramSearch<ProgramIterator<400ul, 32ul, 12ul, 32ul>, DataCache<32ul, 12ul>>::FindStringThread(unsigned long)
void FindStringThread(uint_fast32_t threadIdx)
	{
		static const uint_fast32_t countUpdate = 100000;
		static const uint_fast32_t countSave = 1000000;

		auto& iterator = iterators[threadIdx];

		uint_fast32_t threadCount = 0;
		while (iterator.Next())
		{
			uint_fast32_t stringDist;

			if (++threadCount % countUpdate == 0)
			{
				lock.lock();
				this->count += countUpdate;

				if (printProgress)
				{
					uint_fast64_t currentCount = 0;
					for (int i = 0; i < THREAD_COUNT; i++)
					{
						currentCount += iterators[i].currentCount;
					}

					double proportion = static_cast<double>(currentCount) / static_cast<double>(programSizeCount);
					auto elapsed = std::chrono::duration_cast<std::chrono::seconds>(std::chrono::system_clock::now() - sizeStart).count();
					uint_fast64_t remaining = static_cast<double>(elapsed) * (1-proportion) / proportion;

					auto seconds = remaining % 60;
					auto minutes = remaining / 60 % 60;
					auto hours = remaining / 3600 % 24;
					auto days = remaining / 86400;
					
					std::cout 
						<< std::right
						<< " " << programSize
						<< " " << std::setw(10) << std::setprecision(6) << std::fixed << proportion * 100 << "%"
						<< " " << iterator.GetProgram()
						<< " Estimated remaining " << std::setw(3) << days << ":" << std::setfill('0') << std::setw(2) << hours << ":" << std::setw(2) << minutes << ":" << std::setw(2) << seconds << std::setfill(' ')
						<< "          \r" << std::flush;
				}
				lock.unlock();
			}

			if (threadCount % countSave == 0)
			{
				SaveFindStringProgress();
			}

			if (!iterator.Execute(inputs[0], input_sizes[0]))
			{
				continue;
			}

			stringDist = iterator.StringDistance(outputs[0], output_sizes[0], SHOW_ALL_PROGRAMS_LENGTH - programSize);
			if (stringDist + programSize > SHOW_ALL_PROGRAMS_LENGTH)
			{
				continue;
			}

			std::string postProgram = iterator.StringDistanceOutput(outputs[0], output_sizes[0], SHOW_ALL_PROGRAMS_LENGTH - programSize);
			programResult = std::string(iterator.GetProgram()) + postProgram;

			lock.lock();

			std::cout 
				<< std::right << std::setw(3) << std::setfill(' ') << stringDist + programSize
				<< " " << programResult << std::endl;

			std::ofstream file("output.txt", std::ofstream::app);
			file
				<< std::right << std::setw(3) << std::setfill(' ') << stringDist + programSize
				<< " " << programResult << std::endl;
			file.close();
			
			if (printProgress)
			{
				uint_fast64_t currentCount = 0;
				for (int i = 0; i < THREAD_COUNT; i++)
				{
					currentCount += iterators[i].currentCount;
				}

				double proportion = static_cast<double>(currentCount) / static_cast<double>(programSizeCount);
				auto elapsed = std::chrono::duration_cast<std::chrono::seconds>(std::chrono::system_clock::now() - sizeStart).count();
				uint_fast64_t remaining = static_cast<double>(elapsed) * (1-proportion) / proportion;

				auto seconds = remaining % 60;
				auto minutes = remaining / 60 % 60;
				auto hours = remaining / 3600 % 24;
				auto days = remaining / 86400;
				
				std::cout 
					<< std::right
					<< " " << programSize
					<< " " << std::setw(10) << std::setprecision(6) << std::fixed << proportion * 100 << "%"
					<< " " << iterator.GetProgram()
					<< " Estimated remaining " << std::setw(3) << days << ":" << std::setfill('0') << std::setw(2) << hours << ":" << std::setw(2) << minutes << ":" << std::setw(2) << seconds << std::setfill(' ')
					<< "          \r" << std::flush;
			}

			lock.unlock();

			SaveFindStringProgress();
		}
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2b8, %rsp            # imm = 0x2B8
movq %rdi, %rbx
imulq $0x4578, %rsi, %rax     # imm = 0x4578
leaq (%rdi,%rax), %rbp
addq $0x401f8, %rbp          # imm = 0x401F8
movq %rbp, %rdi
callq 0x7046
testb %al, %al
je 0x6e19
leaq 0x4298(%rbp), %rax
movq %rax, 0x40(%rsp)
leaq 0x859f8(%rbx), %rax
movq %rax, 0x80(%rsp)
movq 0x6e5e(%rip), %rax      # 0xcfd0
movq (%rax), %rcx
movq %rcx, 0x78(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x70(%rsp)
xorl %r14d, %r14d
movq %rbp, 0x38(%rsp)
incq %r14
movq %r14, %rax
movabsq $0x5d4e8fb00bcbe61d, %rcx # imm = 0x5D4E8FB00BCBE61D
imulq %rcx, %rax
rorq $0x5, %rax
movabsq $0xa7c5ac471b47, %rcx   # imm = 0xA7C5AC471B47
cmpq %rcx, %rax
movq %r14, 0x48(%rsp)
ja 0x65cb
leaq 0x704e(%rip), %rdi      # 0xd210
callq 0x22d0
testl %eax, %eax
jne 0x6e2b
addq $0x186a0, 0x85a98(%rbx) # imm = 0x186A0
cmpb $0x1, (%rbx)
jne 0x65bf
xorl %ecx, %ecx
xorl %eax, %eax
addq 0x44468(%rbx,%rcx), %rax
addq $0x4578, %rcx           # imm = 0x4578
cmpq $0x45780, %rcx          # imm = 0x45780
jne 0x61e7
movq %rax, %xmm0
movq 0x2e04(%rip), %xmm1     # 0x9010
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x2e08(%rip), %xmm2     # 0x9020
subpd %xmm2, %xmm0
movapd %xmm0, %xmm3
unpckhpd %xmm0, %xmm3            # xmm3 = xmm3[1],xmm0[1]
addsd %xmm0, %xmm3
movq 0x85a28(%rbx), %xmm0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
subpd %xmm2, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
divsd %xmm1, %xmm3
movapd %xmm3, 0x10(%rsp)
callq 0x2040
subq 0x85a30(%rbx), %rax
movabsq $0x112e0be826d694b3, %rcx # imm = 0x112E0BE826D694B3
imulq %rcx
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x1a, %rdx
addq %rax, %rdx
xorps %xmm0, %xmm0
cvtsi2sd %rdx, %xmm0
movsd 0x2dcb(%rip), %xmm1     # 0x9050
movapd 0x10(%rsp), %xmm2
subsd %xmm2, %xmm1
mulsd %xmm0, %xmm1
divsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x2dad(%rip), %xmm1     # 0x9058
cvttsd2si %xmm1, %r15
andq %rcx, %r15
orq %rax, %r15
movq %r15, %rax
movabsq $-0x7777777777777777, %rcx # imm = 0x8888888888888889
mulq %rcx
movq %rdx, %rax
shrq $0x5, %rax
movq %rax, 0x88(%rsp)
movabsq $0x888888888888889, %rcx # imm = 0x888888888888889
mulq %rcx
movq %rdx, 0x30(%rsp)
movq %r15, %rax
shrq $0x4, %rax
movabsq $0x91a2b3c4d5e6f81, %rcx # imm = 0x91A2B3C4D5E6F81
mulq %rcx
movq %rdx, %r13
shrq $0x3, %r13
movq %r13, %rax
movabsq $0xaaaaaaaaaaaaaab, %rcx # imm = 0xAAAAAAAAAAAAAAB
mulq %rcx
movq %rdx, 0x28(%rsp)
movq 0x6cba(%rip), %r14      # 0xcfd8
movq (%r14), %rax
movq -0x18(%rax), %rax
movl 0x18(%r14,%rax), %ecx
movl $0xffffff4f, %edx       # imm = 0xFFFFFF4F
andl %edx, %ecx
orl $0x80, %ecx
movl %ecx, 0x18(%r14,%rax)
movq %r15, %rax
movabsq $-0x3dd1baf98d76b549, %rcx # imm = 0xC22E450672894AB7
mulq %rcx
movq %rdx, 0x20(%rsp)
movl $0x1, %edx
movq %r14, %rdi
leaq 0x2dbe(%rip), %r12      # 0x911e
movq %r12, %rsi
callq 0x2270
movq 0x85a20(%rbx), %rsi
movq %r14, %rdi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq $0xa, 0x10(%r14,%rcx)
movq -0x18(%rax), %rcx
movq $0x6, 0x8(%r14,%rcx)
movq -0x18(%rax), %rax
movl 0x18(%r14,%rax), %ecx
movl $0xfffffefb, %edx       # imm = 0xFFFFFEFB
andl %edx, %ecx
orl $0x4, %ecx
movl %ecx, 0x18(%r14,%rax)
movapd 0x10(%rsp), %xmm0
mulsd 0x2c93(%rip), %xmm0     # 0x9060
movq %r14, %rdi
callq 0x2320
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x3224(%rip), %rsi      # 0x960b
callq 0x2270
movl $0x1, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x2270
movq %rbp, %rdi
callq 0x7140
testq %rax, %rax
je 0x6424
movq %rax, %rbp
movq %rax, %rdi
callq 0x20c0
movq %r14, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x2270
jmp 0x643e
movq (%r14), %rax
movq -0x18(%rax), %rax
movq %r14, %rdi
addq %rax, %rdi
movl 0x20(%r14,%rax), %esi
orl $0x1, %esi
callq 0x2370
movq 0x20(%rsp), %rbp
shrq $0x10, %rbp
movl $0x15, %edx
movq %r14, %rdi
leaq 0x31b7(%rip), %rsi      # 0x960d
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%r14,%rax)
movq %r14, %rdi
movq %rbp, %rsi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x319b(%rip), %rsi      # 0x9623
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rcx
leaq (%r14,%rcx), %rbp
cmpb $0x0, 0xe1(%r14,%rcx)
jne 0x64ba
movq %rbp, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%rbp)
movq (%r14), %rax
movq 0x88(%rsp), %r12
imulq $0x3c, %r12, %rcx
subq %rcx, %r15
movq 0x30(%rsp), %rcx
shrq %rcx
imulq $0x3c, %rcx, %rcx
subq %rcx, %r12
movq 0x28(%rsp), %rcx
shlq $0x3, %rcx
leaq (%rcx,%rcx,2), %rcx
subq %rcx, %r13
movb $0x30, 0xe0(%rbp)
movq -0x18(%rax), %rax
movl $0x2, %ebp
movq %rbp, 0x10(%r14,%rax)
movq %r14, %rdi
movq %r13, %rsi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x3109(%rip), %r13      # 0x9623
movq %r13, %rsi
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rax
movq %rbp, 0x10(%r14,%rax)
movq %r14, %rdi
movq %r12, %rsi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rax
movq %rbp, 0x10(%r14,%rax)
movq %r14, %rdi
movq %r15, %rsi
callq 0x2140
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rax
leaq (%r14,%rax), %r15
cmpb $0x0, 0xe1(%r14,%rax)
jne 0x6591
movq %r15, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%r15)
movb $0x20, 0xe0(%r15)
movl $0xb, %edx
movq %r14, %rdi
leaq 0x307d(%rip), %rsi      # 0x9625
callq 0x2270
movq %r14, %rdi
callq 0x2150
movq 0x38(%rsp), %rbp
movq 0x48(%rsp), %r14
leaq 0x6c4a(%rip), %rdi      # 0xd210
callq 0x2170
movq %r14, %rax
movabsq $0x790fb65668c26139, %rcx # imm = 0x790FB65668C26139
imulq %rcx, %rax
rorq $0x6, %rax
movabsq $0x10c6f7a0b5ed, %rcx   # imm = 0x10C6F7A0B5ED
cmpq %rcx, %rax
ja 0x65f7
movq %rbx, %rdi
callq 0x723e
movq 0x85a38(%rbx), %rax
movq 0x85a50(%rbx), %rcx
movq (%rax), %rsi
movq (%rcx), %rdx
movq %rbp, %rdi
callq 0x73e4
testb %al, %al
je 0x6e04
movq 0x85a68(%rbx), %rax
movq 0x85a80(%rbx), %rcx
movq (%rax), %r14
movq (%rcx), %r15
movl $0x55, %r12d
subq 0x85a20(%rbx), %r12
movl $0x190, %edx            # imm = 0x190
leaq 0xb0(%rsp), %r13
movq %r13, %rdi
movq 0x40(%rsp), %rsi
callq 0x2190
movq 0x4448(%rbp), %r9
addq $-0x20, %r9
movq %rbp, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %r12, %rcx
movq %r13, %r8
callq 0x7e2c
movq 0x85a20(%rbx), %rsi
leaq (%rsi,%rax), %rcx
cmpq $0x55, %rcx
ja 0x6e04
movq %rax, %r12
movq 0x85a68(%rbx), %rcx
movq 0x85a80(%rbx), %rdx
movq (%rcx), %r14
movq (%rdx), %rax
movq %rax, 0x10(%rsp)
movl $0x55, %r13d
subq %rsi, %r13
movl $0x190, %edx            # imm = 0x190
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
movq 0x40(%rsp), %rsi
callq 0x2190
movq 0x4448(%rbp), %rax
addq $-0x20, %rax
movq %rax, (%rsp)
leaq 0x50(%rsp), %rdi
movq %rbp, %rsi
movq %r14, %rdx
movq 0x10(%rsp), %rcx
movq %r13, %r8
movq %r15, %r9
callq 0x801a
movq %rbp, %rdi
callq 0x7140
leaq 0x90(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
leaq 0xf(%rsp), %rdx
callq 0x279e
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rdx
movq %r14, %rdi
callq 0x2080
leaq 0xc0(%rsp), %r14
movq %r14, 0xb0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6759
movq %rdx, 0xb0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xc0(%rsp)
jmp 0x6762
movupd (%rcx), %xmm0
movupd %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rdx, 0xb8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x80(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x2290
movq 0xb0(%rsp), %rdi
cmpq %r14, %rdi
je 0x67af
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x67d4
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x6a35(%rip), %rdi      # 0xd210
callq 0x22d0
testl %eax, %eax
jne 0x6e32
movq 0x67e9(%rip), %rsi      # 0xcfd8
movq (%rsi), %rax
movq -0x18(%rax), %rcx
movl 0x18(%rsi,%rcx), %edx
movl $0xffffff4f, %edi       # imm = 0xFFFFFF4F
andl %edi, %edx
orl $0x80, %edx
movl %edx, 0x18(%rsi,%rcx)
movq -0x18(%rax), %rcx
movq $0x3, 0x10(%rsi,%rcx)
movq -0x18(%rax), %rax
leaq (%rsi,%rax), %r14
cmpb $0x0, 0xe1(%rsi,%rax)
jne 0x683f
movq %r14, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x85a20(%rbx), %rsi
addq %r12, %rsi
movq 0x6780(%rip), %rdi      # 0xcfd8
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x28af(%rip), %rsi      # 0x911e
callq 0x2270
movq 0x859f8(%rbx), %rsi
movq 0x85a00(%rbx), %rdx
movq %r14, %rdi
callq 0x2270
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2210
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2150
leaq 0xb0(%rsp), %rdi
leaq 0x2d6e(%rip), %rsi      # 0x9631
movl $0x1, %edx
callq 0x2250
movq 0xb0(%rsp), %rax
movq -0x18(%rax), %rcx
movl 0xc8(%rsp,%rcx), %edx
movl $0xffffff4f, %esi       # imm = 0xFFFFFF4F
andl %esi, %edx
orl $0x80, %edx
movl %edx, 0xc8(%rsp,%rcx)
movq -0x18(%rax), %rcx
movq $0x3, 0xc0(%rsp,%rcx)
movq -0x18(%rax), %rax
leaq (%rsp,%rax), %r14
addq $0xb0, %r14
cmpb $0x0, 0xe1(%r14)
jne 0x6932
movq %r14, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
addq 0x85a20(%rbx), %r12
leaq 0xb0(%rsp), %rdi
movq %r12, %rsi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x27bb(%rip), %rsi      # 0x911e
callq 0x2270
movq 0x859f8(%rbx), %rsi
movq 0x85a00(%rbx), %rdx
movq %r14, %rdi
callq 0x2270
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2210
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2150
leaq 0xb0(%rsp), %rdi
callq 0x22b0
cmpb $0x1, (%rbx)
jne 0x6d97
xorl %ecx, %ecx
xorl %eax, %eax
addq 0x44468(%rbx,%rcx), %rax
addq $0x4578, %rcx           # imm = 0x4578
cmpq $0x45780, %rcx          # imm = 0x45780
jne 0x69c2
movq %rax, %xmm0
movq 0x2629(%rip), %xmm1     # 0x9010
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x262d(%rip), %xmm2     # 0x9020
subpd %xmm2, %xmm0
movapd %xmm0, %xmm3
unpckhpd %xmm0, %xmm3            # xmm3 = xmm3[1],xmm0[1]
addsd %xmm0, %xmm3
movq 0x85a28(%rbx), %xmm0
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
subpd %xmm2, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
divsd %xmm1, %xmm3
movapd %xmm3, 0x10(%rsp)
callq 0x2040
subq 0x85a30(%rbx), %rax
movabsq $0x112e0be826d694b3, %rcx # imm = 0x112E0BE826D694B3
imulq %rcx
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x1a, %rdx
addq %rax, %rdx
xorps %xmm0, %xmm0
cvtsi2sd %rdx, %xmm0
movsd 0x25f0(%rip), %xmm1     # 0x9050
movapd 0x10(%rsp), %xmm2
subsd %xmm2, %xmm1
mulsd %xmm0, %xmm1
divsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x25d2(%rip), %xmm1     # 0x9058
cvttsd2si %xmm1, %r12
andq %rcx, %r12
orq %rax, %r12
movq %r12, %rax
movabsq $-0x7777777777777777, %rcx # imm = 0x8888888888888889
mulq %rcx
movq %rdx, %r15
shrq $0x5, %r15
movq %r15, %rax
movabsq $0x888888888888889, %rcx # imm = 0x888888888888889
mulq %rcx
movq %rdx, 0x20(%rsp)
movq %r12, %rax
shrq $0x4, %rax
movabsq $0x91a2b3c4d5e6f81, %rcx # imm = 0x91A2B3C4D5E6F81
mulq %rcx
movq %rdx, %rbp
shrq $0x3, %rbp
movq %rbp, %rax
movabsq $0xaaaaaaaaaaaaaab, %rcx # imm = 0xAAAAAAAAAAAAAAB
mulq %rcx
movq %rdx, 0x28(%rsp)
movq 0x64e4(%rip), %rdi      # 0xcfd8
movq (%rdi), %rax
movq -0x18(%rax), %rax
movl 0x18(%rdi,%rax), %ecx
movl $0xffffff4f, %edx       # imm = 0xFFFFFF4F
andl %edx, %ecx
orl $0x80, %ecx
movl %ecx, 0x18(%rdi,%rax)
movq %r12, %rax
movabsq $-0x3dd1baf98d76b549, %rcx # imm = 0xC22E450672894AB7
mulq %rcx
movq %rdx, 0x30(%rsp)
movl $0x1, %edx
leaq 0x25ed(%rip), %rsi      # 0x911e
callq 0x2270
movq 0x85a20(%rbx), %rsi
movq 0x6494(%rip), %rdi      # 0xcfd8
callq 0x2140
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x25c3(%rip), %rsi      # 0x911e
callq 0x2270
movq (%r13), %rax
movq -0x18(%rax), %rcx
movq $0xa, 0x10(%r13,%rcx)
movq -0x18(%rax), %rcx
movq $0x6, 0x8(%r13,%rcx)
movq -0x18(%rax), %rax
movl 0x18(%r13,%rax), %ecx
movl $0xfffffefb, %edx       # imm = 0xFFFFFEFB
andl %edx, %ecx
orl $0x4, %ecx
movl %ecx, 0x18(%r13,%rax)
movapd 0x10(%rsp), %xmm0
mulsd 0x24bc(%rip), %xmm0     # 0x9060
movq %r13, %rdi
callq 0x2320
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2a4d(%rip), %rsi      # 0x960b
callq 0x2270
movl $0x1, %edx
movq %r13, %rdi
leaq 0x254c(%rip), %rsi      # 0x911e
callq 0x2270
movq 0x38(%rsp), %rdi
callq 0x7140
movq %rax, %r14
testq %rax, %rax
je 0x6c01
movq %r14, %rdi
callq 0x20c0
movq %r13, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x2270
jmp 0x6c1c
movq (%r13), %rax
movq -0x18(%rax), %rax
movq %r13, %rdi
addq %rax, %rdi
movl 0x20(%r13,%rax), %esi
orl $0x1, %esi
callq 0x2370
movl $0x15, %edx
movq %r13, %rdi
leaq 0x29e2(%rip), %rsi      # 0x960d
callq 0x2270
movq 0x30(%rsp), %rsi
shrq $0x10, %rsi
movq (%r13), %rax
movq -0x18(%rax), %rax
movq $0x3, 0x10(%r13,%rax)
movq %r13, %rdi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x29bf(%rip), %rsi      # 0x9623
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq %r14, %r13
addq %rcx, %r13
cmpb $0x0, 0xe1(%r14,%rcx)
jne 0x6c99
movq %r13, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%r13)
movq (%r14), %rax
movq 0x28(%rsp), %rcx
shlq $0x3, %rcx
leaq (%rcx,%rcx,2), %rcx
subq %rcx, %rbp
movb $0x30, 0xe0(%r13)
movq -0x18(%rax), %rax
movq $0x2, 0x10(%r14,%rax)
movq %r14, %rdi
movq %rbp, %rsi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2948(%rip), %rsi      # 0x9623
callq 0x2270
movq 0x20(%rsp), %rax
shrq %rax
imulq $0x3c, %rax, %rax
movq %r15, %rsi
subq %rax, %rsi
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x10(%r14,%rax)
movq %r14, %rdi
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x2907(%rip), %rsi      # 0x9623
callq 0x2270
imulq $0x3c, %r15, %rax
subq %rax, %r12
movq (%r14), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x10(%r14,%rax)
movq %r14, %rdi
movq %r12, %rsi
callq 0x2140
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rax
movq %r14, %r15
addq %rax, %r15
cmpb $0x0, 0xe1(%r14,%rax)
jne 0x6d73
movq %r15, %rdi
movl $0x20, %esi
callq 0x2210
movb $0x1, 0xe1(%r15)
movb $0x20, 0xe0(%r15)
movl $0xb, %edx
movq %r14, %rdi
leaq 0x289b(%rip), %rsi      # 0x9625
callq 0x2270
movq %r14, %rdi
callq 0x2150
leaq 0x6472(%rip), %rdi      # 0xd210
callq 0x2170
movq %rbx, %rdi
callq 0x723e
movq 0x78(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq -0x18(%rax), %rax
movq 0x70(%rsp), %rcx
movq %rcx, 0xb0(%rsp,%rax)
leaq 0xb8(%rsp), %rdi
callq 0x21a0
leaq 0x1a8(%rsp), %rdi
callq 0x2090
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6dff
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x38(%rsp), %rbp
movq %rbp, %rdi
callq 0x7046
testb %al, %al
movq 0x48(%rsp), %r14
jne 0x618b
addq $0x2b8, %rsp            # imm = 0x2B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %eax, %edi
callq 0x2130
movl %eax, %edi
callq 0x2130
jmp 0x6e6b
jmp 0x6e6b
jmp 0x6e6b
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x6e82
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x2230
jmp 0x6e82
jmp 0x6e6b
movq %rax, %rbx
jmp 0x6e82
jmp 0x6e72
movq %rax, %rbx
leaq 0xb0(%rsp), %rdi
callq 0x22e0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6e9e
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2230
movq %rbx, %rdi
callq 0x23a0