// File: /workspace/github_cpp_makefile_star2_O3/ksabry[P]bfbrute/src/ProgramSearch.h
// Function: ProgramSearch<ProgramIterator<400ul, 32ul, 12ul, 32ul>, DataCache<32ul, 12ul>>::Filename[abi:cxx11]()
std::string Filename()
	{
		std::string filename = "/home/ksabry/dev/bfbrute/progress/program_search";

		for (std::string input : inputs)
		{
			filename += "_" + StringToHex(input);
		}
		filename += "_";
		for (std::string output : outputs)
		{
			filename += "_" + StringToHex(output);
		}

		filename += "__" + std::to_string(THREAD_COUNT);
		// SIZE_START is not necessary
		filename += "_" + std::to_string(SHOW_ALL_PROGRAMS_LENGTH);
		filename += "_" + std::to_string(MAX_JUMPS);

#ifdef SINGLE_BRACKET_HIERARCHY
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef SHORT_CIRCUIT_LINEAR_SINGULAR
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef INITIAL_ZERO
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef INITIAL_DATA_SYMMETRIC
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef NO_ENDING
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef CASE_INSENSITIVE
		filename += "_T";
#else
		filename += "_F";
#endif

#ifdef MAX_BRACKET_DEPTH
		filename += "_" + std::to_string(MAX_BRACKET_DEPTH);
#else
		filename += "_F";
#endif

#ifdef SINGLE_ITER_COUNT
		filename += "_" + std::to_string(SINGLE_ITER_COUNT);
#else
		filename += "_F";
#endif

#ifdef MAX_FIRST_SIZE
		filename += "_" + std::to_string(MAX_FIRST_SIZE);
#else
		filename += "_F";
#endif

		return filename;
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rsi, %r14
leaq 0x10(%rdi), %rax
movq %rax, 0x50(%rsp)
movq %rax, (%rdi)
leaq 0x4461(%rip), %rsi      # 0x91ef
leaq 0x448a(%rip), %rdx      # 0x921f
movq %rdi, 0x48(%rsp)
callq 0x2e62
movq 0x85a38(%r14), %rbx
movq 0x85a40(%r14), %rbp
cmpq %rbp, %rbx
je 0x4eaf
leaq 0x38(%rsp), %r12
leaq 0x8(%rsp), %r15
leaq 0x58(%rsp), %r13
movq (%rbx), %rsi
movq %r15, %rdi
leaq 0x28(%rsp), %rdx
callq 0x279e
movq %r13, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x56dc
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x442a(%rip), %rcx      # 0x9221
callq 0x2260
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4e1f
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x4e27
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq 0x48(%rsp), %rdi
callq 0x2080
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x4e6a
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x4e86
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x4ea2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
addq $0x8, %rbx
cmpq %rbp, %rbx
jne 0x4dc5
leaq 0x436b(%rip), %rsi      # 0x9221
movq 0x48(%rsp), %rbx
movq %rbx, %rdi
callq 0x23c0
movq 0x85a68(%r14), %rbx
movq 0x85a70(%r14), %rbp
cmpq %rbp, %rbx
je 0x4fd3
leaq 0x38(%rsp), %r12
leaq 0x8(%rsp), %r15
leaq 0x58(%rsp), %r13
movq (%rbx), %rsi
movq %r15, %rdi
leaq 0x28(%rsp), %rdx
callq 0x279e
movq %r13, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x56dc
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x4306(%rip), %rcx      # 0x9221
callq 0x2260
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4f43
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x4f4b
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq 0x48(%rsp), %rdi
callq 0x2080
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x4f8e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x4faa
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x4fc6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
addq $0x8, %rbx
cmpq %rbp, %rbx
jne 0x4ee9
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x28(%rsp), %rdi
movl $0x2, %esi
movl $0x2d, %edx
callq 0x2280
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movw $0x3631, (%rax)         # imm = 0x3631
leaq 0x421c(%rip), %rcx      # 0x9220
movl $0x2, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x2260
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq 0x48(%rsp), %rbx
je 0x5040
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x5048
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x2080
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5089
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x50a0
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x28(%rsp), %rdi
movq %r15, (%rdi)
movl $0x2, %esi
movl $0x2d, %edx
callq 0x2280
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movw $0x3538, (%rax)         # imm = 0x3538
leaq 0x4156(%rip), %rcx      # 0x9221
movl $0x1, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x2260
movq %r12, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x50fd
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x5105
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x2080
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5146
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x515d
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x28(%rsp), %rdi
movq %r15, (%rdi)
movl $0x5, %esi
movl $0x2d, %edx
callq 0x2280
leaq 0x28(%rsp), %r14
movq (%r14), %rdi
movl $0x5, %esi
movl $0xc350, %edx           # imm = 0xC350
callq 0x578d
leaq 0x408f(%rip), %rcx      # 0x9221
movl $0x1, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2260
movq %r12, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x51c7
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x51cf
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x2080
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5210
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5227
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x3ff5(%rip), %rsi      # 0x9223
movq %rbx, %rdi
callq 0x23c0
leaq 0x3fe6(%rip), %rsi      # 0x9223
movq %rbx, %rdi
callq 0x23c0
leaq 0x3fd7(%rip), %rsi      # 0x9223
movq %rbx, %rdi
callq 0x23c0
leaq 0x3fcb(%rip), %rsi      # 0x9226
movq %rbx, %rdi
callq 0x23c0
leaq 0x3fb9(%rip), %rsi      # 0x9223
movq %rbx, %rdi
callq 0x23c0
leaq 0x3fad(%rip), %rsi      # 0x9226
movq %rbx, %rdi
callq 0x23c0
leaq 0x28(%rsp), %rdi
movq %r15, (%rdi)
movl $0x1, %esi
movl $0x2d, %edx
callq 0x2280
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movb $0x32, (%rax)
leaq 0x3f77(%rip), %rcx      # 0x9221
movl $0x1, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x2260
movq %r12, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x52dc
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x52e4
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x2080
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5325
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x533c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x3ee3(%rip), %rsi      # 0x9226
movq %rbx, %rdi
callq 0x23c0
leaq 0x28(%rsp), %rdi
movq %r15, (%rdi)
movl $0x1, %esi
movl $0x2d, %edx
callq 0x2280
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movb $0x31, (%rax)
leaq 0x3ead(%rip), %rcx      # 0x9221
movl $0x1, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x2260
movq %r12, 0x8(%rsp)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x53a6
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x53b1
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq %r12, %rsi
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x2080
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x53e8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x53ff
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq %rbx, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5429
jmp 0x5445
jmp 0x5468
jmp 0x5429
jmp 0x5445
jmp 0x5468
jmp 0x5429
jmp 0x5445
jmp 0x5468
jmp 0x5429
jmp 0x5445
jmp 0x5468
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5448
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
jmp 0x5448
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x54c9
movq 0x38(%rsp), %rsi
jmp 0x54c1
jmp 0x5468
movq %rax, %r14
jmp 0x54ce
jmp 0x5468
jmp 0x546d
jmp 0x5472
jmp 0x5477
movq %rax, %r14
jmp 0x54c9
movq %rax, %r14
jmp 0x54ad
movq %rax, %r14
jmp 0x5491
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x5491
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x54ad
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x54c9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x48(%rsp), %rbx
movq 0x50(%rsp), %rax
movq (%rbx), %rdi
cmpq %rax, %rdi
je 0x54e6
movq (%rax), %rsi
incq %rsi
callq 0x2230
movq %r14, %rdi
callq 0x23a0