// File: /workspace/github_cpp_makefile_star2_O1/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 0x7138
testb %al, %al
je 0x6eae
leaq 0x4298(%rbp), %rax
movq %rax, 0x40(%rsp)
leaq 0x859f8(%rbx), %rax
movq %rax, 0x80(%rsp)
movq 0x6df2(%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 0x6644
leaq 0x6fe2(%rip), %rdi      # 0xd210
callq 0x22d0
testl %eax, %eax
jne 0x6ec0
addq $0x186a0, 0x85a98(%rbx) # imm = 0x186A0
cmpb $0x1, (%rbx)
jne 0x6638
xorl %ecx, %ecx
xorl %eax, %eax
addq 0x44468(%rbx,%rcx), %rax
addq $0x4578, %rcx           # imm = 0x4578
cmpq $0x45780, %rcx          # imm = 0x45780
jne 0x6253
movq %rax, %xmm0
movq 0x2d98(%rip), %xmm1     # 0x9010
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x2d9c(%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 0x2d3f(%rip), %xmm1     # 0x9030
movapd 0x10(%rsp), %xmm2
subsd %xmm2, %xmm1
mulsd %xmm0, %xmm1
divsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x2d21(%rip), %xmm1     # 0x9038
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 0x6c4e(%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 0x2d32(%rip), %r12      # 0x90fe
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 0x2c07(%rip), %xmm0     # 0x9040
movq %r14, %rdi
callq 0x2320
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x3198(%rip), %rsi      # 0x95eb
callq 0x2270
movl $0x1, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x2270
movq %rbp, %rdi
callq 0x7236
testq %rax, %rax
je 0x6490
movq %rax, %rbp
movq %rax, %rdi
callq 0x20c0
movq %r14, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x2270
jmp 0x64aa
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 0x312b(%rip), %rsi      # 0x95ed
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 0x310f(%rip), %rsi      # 0x9603
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rax
leaq (%r14,%rax), %rbp
cmpb $0x0, 0xe1(%r14,%rax)
jne 0x6529
movq %rbp, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%rbp)
movb $0x1, 0xe1(%rbp)
movq 0x88(%rsp), %r12
imulq $0x3c, %r12, %rax
subq %rax, %r15
movq 0x30(%rsp), %rax
shrq %rax
imulq $0x3c, %rax, %rax
subq %rax, %r12
movq 0x28(%rsp), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rax
subq %rax, %r13
movb $0x30, 0xe0(%rbp)
movq (%r14), %rax
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 0x3077(%rip), %r13      # 0x9603
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 0x660a
movq %r15, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%r15)
movb $0x1, 0xe1(%r15)
movb $0x20, 0xe0(%r15)
movl $0xb, %edx
movq %r14, %rdi
leaq 0x2fe4(%rip), %rsi      # 0x9605
callq 0x2270
movq %r14, %rdi
callq 0x2150
movq 0x38(%rsp), %rbp
movq 0x48(%rsp), %r14
leaq 0x6bd1(%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 0x6670
movq %rbx, %rdi
callq 0x7334
movq 0x85a38(%rbx), %rax
movq 0x85a50(%rbx), %rcx
movq (%rax), %rsi
movq (%rcx), %rdx
movq %rbp, %rdi
callq 0x74da
testb %al, %al
je 0x6e99
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 0x7f6a
movq 0x85a20(%rbx), %rsi
leaq (%rsi,%rax), %rcx
cmpq $0x55, %rcx
ja 0x6e99
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 0x812e
movq %rbp, %rdi
callq 0x7236
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 0x67d2
movq %rdx, 0xb0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xc0(%rsp)
jmp 0x67db
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 0x6828
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x684d
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x69bc(%rip), %rdi      # 0xd210
callq 0x22d0
testl %eax, %eax
jne 0x6ec7
movq 0x6770(%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 0x68bf
movq %r14, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%r14)
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x85a20(%rbx), %rsi
addq %r12, %rsi
movq 0x6700(%rip), %rdi      # 0xcfd8
callq 0x2140
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x280f(%rip), %rsi      # 0x90fe
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 0x2cce(%rip), %rsi      # 0x9611
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 0x69b9
movq %r14, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%r14)
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 0x2714(%rip), %rsi      # 0x90fe
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 0x6e2c
xorl %ecx, %ecx
xorl %eax, %eax
addq 0x44468(%rbx,%rcx), %rax
addq $0x4578, %rcx           # imm = 0x4578
cmpq $0x45780, %rcx          # imm = 0x45780
jne 0x6a49
movq %rax, %xmm0
movq 0x25a2(%rip), %xmm1     # 0x9010
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x25a6(%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 0x2549(%rip), %xmm1     # 0x9030
movapd 0x10(%rsp), %xmm2
subsd %xmm2, %xmm1
mulsd %xmm0, %xmm1
divsd %xmm2, %xmm1
cvttsd2si %xmm1, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x252b(%rip), %xmm1     # 0x9038
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 0x645d(%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 0x2546(%rip), %rsi      # 0x90fe
callq 0x2270
movq 0x85a20(%rbx), %rsi
movq 0x640d(%rip), %rdi      # 0xcfd8
callq 0x2140
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x251c(%rip), %rsi      # 0x90fe
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 0x2415(%rip), %xmm0     # 0x9040
movq %r13, %rdi
callq 0x2320
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x29a6(%rip), %rsi      # 0x95eb
callq 0x2270
movl $0x1, %edx
movq %r13, %rdi
leaq 0x24a5(%rip), %rsi      # 0x90fe
callq 0x2270
movq 0x38(%rsp), %rdi
callq 0x7236
movq %rax, %r14
testq %rax, %rax
je 0x6c88
movq %r14, %rdi
callq 0x20c0
movq %r13, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x2270
jmp 0x6ca3
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 0x293b(%rip), %rsi      # 0x95ed
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 0x2918(%rip), %rsi      # 0x9603
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rax
movq %r14, %r13
addq %rax, %r13
cmpb $0x0, 0xe1(%r14,%rax)
jne 0x6d24
movq %r13, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%r13)
movb $0x1, 0xe1(%r13)
movq 0x28(%rsp), %rax
shlq $0x3, %rax
leaq (%rax,%rax,2), %rax
subq %rax, %rbp
movb $0x30, 0xe0(%r13)
movq (%r14), %rax
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 0x289a(%rip), %rsi      # 0x9603
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 0x2859(%rip), %rsi      # 0x9603
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 0x6e08
movq %r15, %rdi
movl $0x20, %esi
callq 0x2210
movb %al, 0xe0(%r15)
movb $0x1, 0xe1(%r15)
movb $0x20, 0xe0(%r15)
movl $0xb, %edx
movq %r14, %rdi
leaq 0x27e6(%rip), %rsi      # 0x9605
callq 0x2270
movq %r14, %rdi
callq 0x2150
leaq 0x63dd(%rip), %rdi      # 0xd210
callq 0x2170
movq %rbx, %rdi
callq 0x7334
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 0x6e94
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x38(%rsp), %rbp
movq %rbp, %rdi
callq 0x7138
testb %al, %al
movq 0x48(%rsp), %r14
jne 0x61f7
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 0x6f00
jmp 0x6f00
jmp 0x6f00
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x6f17
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x2230
jmp 0x6f17
jmp 0x6f00
movq %rax, %rbx
jmp 0x6f17
jmp 0x6f07
movq %rax, %rbx
leaq 0xb0(%rsp), %rdi
callq 0x22e0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6f33
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2230
movq %rbx, %rdi
callq 0x23a0
nop