// File: /workspace/github_cpp_makefile_star2_O1/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 0x43e1(%rip), %rsi      # 0x91cf
leaq 0x440a(%rip), %rdx      # 0x91ff
movq %rdi, 0x48(%rsp)
callq 0x2e6a
movq 0x85a38(%r14), %rbx
movq 0x85a40(%r14), %rbp
cmpq %rbp, %rbx
je 0x4f0f
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 0x5772
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x43aa(%rip), %rcx      # 0x9201
callq 0x2260
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4e7f
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x4e87
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 0x4eca
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x4ee6
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x4f02
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
addq $0x8, %rbx
cmpq %rbp, %rbx
jne 0x4e25
leaq 0x42eb(%rip), %rsi      # 0x9201
movq 0x48(%rsp), %rbx
movq %rbx, %rdi
callq 0x23c0
movq 0x85a68(%r14), %rbx
movq 0x85a70(%r14), %rbp
cmpq %rbp, %rbx
je 0x5033
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 0x5772
movl $0x1, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x4286(%rip), %rcx      # 0x9201
callq 0x2260
movq %r12, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4fa3
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x4fab
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 0x4fee
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x500a
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x5026
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
addq $0x8, %rbx
cmpq %rbp, %rbx
jne 0x4f49
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 0x419c(%rip), %rcx      # 0x9200
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 0x50a0
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x50a8
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 0x50e9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5100
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 0x40d6(%rip), %rcx      # 0x9201
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 0x515d
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x5165
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 0x51a6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x51bd
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 0x5823
leaq 0x400f(%rip), %rcx      # 0x9201
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 0x5227
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x522f
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 0x5270
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5287
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x3f75(%rip), %rsi      # 0x9203
movq %rbx, %rdi
callq 0x23c0
leaq 0x3f66(%rip), %rsi      # 0x9203
movq %rbx, %rdi
callq 0x23c0
leaq 0x3f57(%rip), %rsi      # 0x9203
movq %rbx, %rdi
callq 0x23c0
leaq 0x3f4b(%rip), %rsi      # 0x9206
movq %rbx, %rdi
callq 0x23c0
leaq 0x3f39(%rip), %rsi      # 0x9203
movq %rbx, %rdi
callq 0x23c0
leaq 0x3f2d(%rip), %rsi      # 0x9206
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 0x3ef7(%rip), %rcx      # 0x9201
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 0x533c
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x5344
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 0x5385
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x539c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
leaq 0x3e63(%rip), %rsi      # 0x9206
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 0x3e2d(%rip), %rcx      # 0x9201
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 0x5406
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x540e
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 0x544f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5466
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 0x5490
jmp 0x54ac
jmp 0x54cf
jmp 0x5490
jmp 0x54ac
jmp 0x54cf
jmp 0x5490
jmp 0x54ac
jmp 0x54cf
jmp 0x5490
jmp 0x54ac
jmp 0x54cf
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x54af
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
jmp 0x54af
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5530
movq 0x38(%rsp), %rsi
jmp 0x5528
jmp 0x54cf
movq %rax, %r14
jmp 0x5535
jmp 0x54cf
jmp 0x54d4
jmp 0x54d9
jmp 0x54de
movq %rax, %r14
jmp 0x5530
movq %rax, %r14
jmp 0x5514
movq %rax, %r14
jmp 0x54f8
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x54f8
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x5514
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x5530
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2230
movq 0x48(%rsp), %rbx
movq 0x50(%rsp), %rax
movq (%rbx), %rdi
cmpq %rax, %rdi
je 0x554d
movq (%rax), %rsi
incq %rsi
callq 0x2230
movq %r14, %rdi
callq 0x23a0
nop