LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::getModLiterals(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
vector<int> TouchedList::getModLiterals(string technique) {
	if (techniqueItr.count(technique) == 0) {
		techniqueItr[technique] = itr;
		vector<int> ret(2*vars);
		for (int i = 0; i < 2*vars; i++) {
			ret[i] = i;
		}
		return ret;
	}
	else {
		getItr++;
		uint64_t eitr = techniqueItr[technique];
		techniqueItr[technique] = itr;
		vector<int> ret;
		getModLiteralsCh(eitr, ret);
		return ret;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0x31818
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x30546
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2f9f2
jmp 0x30596
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
addq %rsi, %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c32
cmpl $0x0, 0x19c(%r14)
jle 0x30596
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
addq %rdx, %rdx
cmpq %rdx, %rcx
jl 0x30581
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x305bf
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::getModVariables(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
vector<int> TouchedList::getModVariables(string technique) {
	if (techniqueItr.count(technique) == 0) {
		techniqueItr[technique] = itr;
		vector<int> ret(vars);
		for (int i = 0; i < vars; i++) {
			ret[i] = i;
		}
		return ret;
	}
	else {
		getItr++;
		uint64_t eitr = techniqueItr[technique];
		techniqueItr[technique] = itr;
		vector<int> ret;
		getModVarsCh(eitr, ret);
		return ret;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0x31818
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x30642
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x30126
jmp 0x3068c
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c32
cmpl $0x0, 0x19c(%r14)
jle 0x3068c
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
cmpq %rdx, %rcx
jl 0x3067a
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x306b5
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::getTouchedLiterals(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
vector<int> TouchedList::getTouchedLiterals(string technique) {
	if (techniqueItr.count(technique) == 0) {
		techniqueItr[technique] = itr;
		vector<int> ret(2*vars);
		for (int i = 0; i < 2*vars; i++) {
			ret[i] = i;
		}
		return ret;
	}
	else {
		getItr++;
		uint64_t eitr = techniqueItr[technique];
		techniqueItr[technique] = itr;
		vector<int> ret;
		getModLiteralsCh(eitr, ret);
		getTouchedLiteralsCh(eitr, ret);
		return ret;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0x31818
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x30746
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2f9f2
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2f666
jmp 0x30796
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
addq %rsi, %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c32
cmpl $0x0, 0x19c(%r14)
jle 0x30796
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
addq %rdx, %rdx
cmpq %rdx, %rcx
jl 0x30781
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x307bf
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::getTouchedVariables(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
vector<int> TouchedList::getTouchedVariables(string technique) {
	if (techniqueItr.count(technique) == 0) {
		techniqueItr[technique] = itr;
		vector<int> ret(vars);
		for (int i = 0; i < vars; i++) {
			ret[i] = i;
		}
		return ret;
	}
	else {
		getItr++;
		uint64_t eitr = techniqueItr[technique];
		techniqueItr[technique] = itr;
		vector<int> ret;
		getModVarsCh(eitr, ret);
		getTouchedVarsCh(eitr, ret);
		return ret;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0x31818
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x30850
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x30126
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2fd88
jmp 0x3089a
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c32
cmpl $0x0, 0x19c(%r14)
jle 0x3089a
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
cmpq %rdx, %rcx
jl 0x30888
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x308c3
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::preprocess(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, int, double)
void PreprocessorInterface::preprocess(string techniques, int logLevel, double timeLimit) {
		preprocessor.logLevel = logLevel;
		preprocessor.printComments = false;
		preprocessor.skipTechnique = skipTechnique;

    preprocessor.BVEsortMaxFirst = BVEsortMaxFirst;
    preprocessor.BVElocalGrow = BVElocalGrow;
    preprocessor.BVEglobalGrow = BVEglobalGrow;
		
		preprocessor.preprocess(techniques, timeLimit, false, useBVEGateExtraction, !preprocessed, useLabelMatching);
		preprocessed = true;
		variables = max(variables, preprocessor.pi.vars);
	}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movsd %xmm0, (%rsp)
movq %rdi, %rbx
leaq 0x8(%rdi), %r14
movl %edx, 0x2f0(%rdi)
movb $0x0, 0x2f4(%rdi)
movl 0x1854(%rdi), %eax
movl %eax, 0x470(%rdi)
movb 0x1858(%rdi), %al
movb %al, 0x3a9(%rdi)
movq 0x185c(%rdi), %rax
movq %rax, 0x3ac(%rdi)
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rsi), %rax
movq 0x8(%rsi), %rdx
addq %rax, %rdx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x93cc
movzbl 0x1852(%rbx), %ecx
movzbl 0x1851(%rbx), %r8d
movzbl 0x1853(%rbx), %r9d
xorl $0x1, %r8d
movq %r14, %rdi
movq %r15, %rsi
movsd (%rsp), %xmm0
xorl %edx, %edx
callq 0x1ada6
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x31e60
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x32b0
movb $0x1, 0x1851(%rbx)
movl (%rbx), %eax
movl 0x68(%rbx), %ecx
cmpl %ecx, %eax
cmovgl %eax, %ecx
movl %ecx, (%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x31e99
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::litToSolver(int)
int PreprocessorInterface::litToSolver(int lit) {
		if (PPVarToSolverVar.size() < abs(lit)) PPVarToSolverVar.resize(abs(lit));
		if (PPVarToSolverVar[abs(lit)-1] == 0) {
			PPVarToSolverVar[abs(lit)-1] = solverVarToPPVar.size() + 1;
			solverVarToPPVar.push_back(abs(lit));
		}
		if (lit > 0) return PPVarToSolverVar[abs(lit)-1];
		else return -PPVarToSolverVar[abs(lit)-1];
	}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10, %rsp
movl %esi, %ebx
movq %rdi, %r15
leaq 0x1880(%rdi), %r14
movq 0x1888(%rdi), %rax
subq 0x1880(%rdi), %rax
sarq $0x2, %rax
movl %esi, %r12d
negl %r12d
cmovsl %esi, %r12d
cmpq %r12, %rax
jae 0x320f3
movq %r14, %rdi
movq %r12, %rsi
callq 0x8cbc
movslq %r12d, %rcx
leaq -0x1(%rcx), %r13
movq (%r14), %rax
cmpl $0x0, -0x4(%rax,%rcx,4)
jne 0x32151
movq 0x1870(%r15), %rsi
movq %rsi, %rcx
subq 0x1868(%r15), %rcx
shrq $0x2, %rcx
incl %ecx
movl %ecx, (%rax,%r13,4)
movl %r12d, 0xc(%rsp)
cmpq 0x1878(%r15), %rsi
je 0x3213d
movl %r12d, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x1870(%r15)
jmp 0x32151
addq $0x1868, %r15           # imm = 0x1868
leaq 0xc(%rsp), %rdx
movq %r15, %rdi
callq 0x20b8a
movq (%r14), %rax
movl (%rax,%r13,4), %ecx
movl %ecx, %eax
negl %eax
testl %ebx, %ebx
cmovgl %ecx, %eax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::reconstruct(std::vector<int, std::allocator<int>> const&)
vector<int> PreprocessorInterface::reconstruct(const vector<int>& trueLiterals) {
		vector<int> ppTrueLiterals;
		for (int lit : trueLiterals) {
			lit = litToPP(lit);
			if (lit == 0) continue;
			ppTrueLiterals.push_back(lit);
		}
		return preprocessor.trace.getSolution(ppTrueLiterals, 0, variables, originalVariables).F;
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
movq %rdi, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movq (%rdx), %r13
movq 0x8(%rdx), %rbp
cmpq %rbp, %r13
je 0x32216
movq %rsp, %r15
leaq 0x20(%rsp), %r12
movl (%r13), %eax
movl %eax, 0x20(%rsp)
movq 0x1868(%r14), %rdx
movq 0x1870(%r14), %rdi
subq %rdx, %rdi
shrq $0x2, %rdi
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
xorl %ecx, %ecx
cmpl %edi, %esi
jg 0x321e1
movl %esi, %ecx
movl -0x4(%rdx,%rcx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0x20(%rsp)
testl %ecx, %ecx
je 0x3220d
movq 0x8(%rsp), %rsi
cmpq 0x10(%rsp), %rsi
je 0x32202
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rsp)
jmp 0x3220d
movq %r15, %rdi
movq %r12, %rdx
callq 0x98e8
addq $0x4, %r13
cmpq %rbp, %r13
jne 0x321a8
leaq 0x2f8(%r14), %rsi
movl (%r14), %r8d
movl 0x4(%r14), %r9d
leaq 0x20(%rsp), %rdi
movq %rsp, %rdx
xorl %ecx, %ecx
callq 0x27d18
movq 0x20(%rsp), %rax
movq %rax, (%rbx)
movq 0x28(%rsp), %rax
movq %rax, 0x8(%rbx)
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rbx)
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x32263
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x32277
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x32290
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::printSolution(std::vector<int, std::allocator<int>> const&, std::ostream&, unsigned long)
void PreprocessorInterface::printSolution(const vector<int>& trueLiterals, ostream& output, uint64_t ansWeight) {
		vector<int> ppTrueLiterals;
		for (int lit : trueLiterals) {
			lit = litToPP(lit);
			if (lit == 0) continue;
			ppTrueLiterals.push_back(lit);
		}
		preprocessor.trace.printSolution(output, ppTrueLiterals, ansWeight, variables, originalVariables);
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rcx, 0x30(%rsp)
movq %rdx, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq (%rsi), %rbp
movq 0x8(%rsi), %rbx
cmpq %rbx, %rbp
je 0x32377
leaq 0x10(%rsp), %r12
leaq 0xc(%rsp), %r13
movl (%rbp), %eax
movl %eax, 0xc(%rsp)
movq 0x1868(%r15), %rdx
movq 0x1870(%r15), %rdi
subq %rdx, %rdi
shrq $0x2, %rdi
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
xorl %ecx, %ecx
cmpl %edi, %esi
jg 0x32342
movl %esi, %ecx
movl -0x4(%rdx,%rcx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0xc(%rsp)
testl %ecx, %ecx
je 0x3236e
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x32363
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x3236e
movq %r12, %rdi
movq %r13, %rdx
callq 0x98e8
addq $0x4, %rbp
cmpq %rbx, %rbp
jne 0x3230a
leaq 0x2f8(%r15), %rdi
movl (%r15), %r8d
movl 0x4(%r15), %r9d
leaq 0x10(%rsp), %rdx
movq %r14, %rsi
movq 0x30(%rsp), %rcx
callq 0x28390
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x323ae
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x323bf
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x323d9
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::addVar(int)
int PreprocessorInterface::addVar(int var) {
		if (!inProcessMode) return 0;
		assert(var >= 0);
		if (var == 0) {
			var = solverVarToPPVar.size() + 1;
		}
		if (var > (int)solverVarToPPVar.size()) {
			solverVarToPPVar.resize(var);
		}
		if (solverVarToPPVar[var-1] != 0) return 0;
		int nv = preprocessor.pi.addVar()+1;
		solverVarToPPVar[var-1] = nv;
		assert((int)PPVarToSolverVar.size() < nv);
		PPVarToSolverVar.resize(nv);
		PPVarToSolverVar[nv-1] = var;
		return var;
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
xorl %ebp, %ebp
cmpb $0x1, 0x1850(%rdi)
jne 0x324ae
movl %esi, %ebx
testl %esi, %esi
js 0x324b9
movq %rdi, %r14
jne 0x32424
movq 0x1870(%r14), %rbx
subq 0x1868(%r14), %rbx
shrq $0x2, %rbx
incl %ebx
movq 0x1870(%r14), %rax
subq 0x1868(%r14), %rax
leaq 0x1868(%r14), %r12
shrq $0x2, %rax
movslq %ebx, %r15
cmpl %eax, %ebx
jle 0x3244f
movq %r12, %rdi
movq %r15, %rsi
callq 0x8cbc
movq (%r12), %rax
cmpl $0x0, -0x4(%rax,%r15,4)
jne 0x324ae
decq %r15
leaq 0x8(%r14), %rdi
callq 0x28d9a
movl %eax, %r12d
leal 0x1(%r12), %eax
movq 0x1868(%r14), %rcx
movl %eax, (%rcx,%r15,4)
movq 0x1888(%r14), %rcx
subq 0x1880(%r14), %rcx
shrq $0x2, %rcx
cmpl %ecx, %r12d
jl 0x324d8
addq $0x1880, %r14           # imm = 0x1880
movslq %eax, %rsi
movq %r14, %rdi
callq 0x8cbc
movslq %r12d, %rax
movq (%r14), %rcx
movl %ebx, (%rcx,%rax,4)
movl %ebx, %ebp
movl %ebp, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x882e(%rip), %rdi      # 0x3acee
leaq 0x8788(%rip), %rsi      # 0x3ac4f
leaq 0x8829(%rip), %rcx      # 0x3acf7
movl $0x70, %edx
callq 0x31b0
leaq 0x8850(%rip), %rdi      # 0x3ad2f
leaq 0x8769(%rip), %rsi      # 0x3ac4f
leaq 0x880a(%rip), %rcx      # 0x3acf7
movl $0x7a, %edx
callq 0x31b0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::addLabel(int, unsigned long)
int PreprocessorInterface::addLabel(int lbl, uint64_t weight) {
		if (!inProcessMode) return 0;
		lbl = addVar(lbl);
		if (lbl == 0) return 0;
		if (weight >= topWeight) weight = HARDWEIGHT;
		int iVar = solverVarToPPVar[lbl-1]-1;
		preprocessor.pi.addClause({negLit(iVar)}, weight);
		preprocessor.pi.isLabel[iVar] = VAR_FALSE;
		return lbl;
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
xorl %r15d, %r15d
cmpb $0x1, 0x1850(%rdi)
jne 0x325a4
movq %rdx, %r14
movq %rdi, %rbx
callq 0x323ea
testl %eax, %eax
je 0x325a4
movl %eax, %ebp
movq 0x1848(%rbx), %r13
movq 0x1868(%rbx), %rax
movslq %ebp, %rcx
movslq -0x4(%rax,%rcx,4), %r12
leal -0x1(%r12,%r12), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x10(%rsp), %r15
leaq 0xb(%rsp), %rcx
movl $0x1, %edx
movq %r15, %rdi
callq 0x1f586
leaq 0x8(%rbx), %rdi
cmpq %r14, %r13
movabsq $-0x8000000000000000, %rdx # imm = 0x8000000000000000
cmovaq %r14, %rdx
movq %r15, %rsi
callq 0x28c8e
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x32594
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x50(%rbx), %rax
movl $0x2, -0x4(%rax,%r12,4)
movl %ebp, %r15d
movl %r15d, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x325d0
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::labelToVar(int)
bool PreprocessorInterface::labelToVar(int lbl) {
		if (!inProcessMode) return false;
		if (lbl < 1) return false;
		int iVar = solverVarToPPVar[lbl-1]-1;
		assert(iVar >= 0);
		int softClause = -1;
		if (preprocessor.pi.isLabel[iVar] == VAR_TRUE) {
			assert(preprocessor.pi.litClauses[posLit(iVar)].size() >= 1);
			softClause = preprocessor.pi.litClauses[posLit(iVar)][0];
		}
		else if (preprocessor.pi.isLabel[iVar] == VAR_FALSE) {
			assert(preprocessor.pi.litClauses[negLit(iVar)].size() >= 1);
			softClause = preprocessor.pi.litClauses[negLit(iVar)][0];
		}
		else {
			return true;
		}
		preprocessor.pi.isLabel[iVar] = 0;
		preprocessor.pi.removeClause(softClause);
		return true;
	}

// Assembly:
pushq %rbx
testl %esi, %esi
setg %bl
andb 0x1850(%rdi), %bl
cmpb $0x1, %bl
jne 0x32a73
movq 0x1868(%rdi), %rax
movl %esi, %ecx
movl -0x4(%rax,%rcx,4), %edx
testl %edx, %edx
jle 0x32a77
decl %edx
movl %edx, %eax
movq 0x50(%rdi), %rcx
movl (%rcx,%rax,4), %esi
cmpl $0x2, %esi
je 0x32a44
cmpl $0x1, %esi
jne 0x32a73
addl %edx, %edx
movslq %edx, %rdx
movq 0x20(%rdi), %rsi
leaq (%rdx,%rdx,2), %r8
movq (%rsi,%r8,8), %rdx
cmpq %rdx, 0x8(%rsi,%r8,8)
jne 0x32a61
leaq 0x84eb(%rip), %rdi      # 0x3af17
leaq 0x821c(%rip), %rsi      # 0x3ac4f
leaq 0x84a0(%rip), %rcx      # 0x3aeda
movl $0xc9, %edx
callq 0x31b0
leal 0x1(,%rdx,2), %edx
movslq %edx, %rdx
movq 0x20(%rdi), %rsi
leaq (%rdx,%rdx,2), %r8
movq (%rsi,%r8,8), %rdx
cmpq %rdx, 0x8(%rsi,%r8,8)
je 0x32a96
addq $0x8, %rdi
movl (%rdx), %esi
movl $0x0, (%rcx,%rax,4)
callq 0x28c34
movl %ebx, %eax
popq %rbx
retq
leaq 0x82d3(%rip), %rdi      # 0x3ad51
leaq 0x81ca(%rip), %rsi      # 0x3ac4f
leaq 0x844e(%rip), %rcx      # 0x3aeda
movl $0xc6, %edx
callq 0x31b0
leaq 0x84af(%rip), %rdi      # 0x3af4c
leaq 0x81ab(%rip), %rsi      # 0x3ac4f
leaq 0x842f(%rip), %rcx      # 0x3aeda
movl $0xcd, %edx
callq 0x31b0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::printMap(std::ostream&)
void PreprocessorInterface::printMap(ostream& output) {
		output<<solverVarToPPVar.size()<<" "<<variables<<" "<<originalVariables<<'\n';
		for (int t : solverVarToPPVar) {
			output<<t<<" ";
		}
		output<<'\n';
		output<<preprocessor.trace.operations.size()<<'\n';
		for (unsigned i = 0; i < preprocessor.trace.operations.size(); i++) {
			output<<preprocessor.trace.operations[i]<<" ";
			output<<preprocessor.trace.data[i].size()<<" ";
			for (int a : preprocessor.trace.data[i]) {
				output<<a<<" ";
			}
			output<<'\n';
		}
		output.flush();
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x1870(%rdi), %rsi
subq 0x1868(%rdi), %rsi
sarq $0x2, %rsi
movq %rbx, %rdi
callq 0x31d0
movq %rax, %r15
leaq 0x7185(%rip), %r12      # 0x3a1c4
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x3310
movl (%r14), %esi
movq %r15, %rdi
callq 0x3490
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x3310
movl 0x4(%r14), %esi
movq %r15, %rdi
callq 0x3490
leaq 0x5(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq 0x1868(%r14), %r12
movq 0x1870(%r14), %r13
cmpq %r13, %r12
je 0x330cd
leaq 0x711c(%rip), %r15      # 0x3a1c4
movl (%r12), %esi
movq %rbx, %rdi
callq 0x3490
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3310
addq $0x4, %r12
cmpq %r13, %r12
jne 0x330a8
movb $0xa, %bpl
leaq 0x6(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x308(%r14), %rsi
subq 0x300(%r14), %rsi
sarq $0x2, %rsi
movq %rbx, %rdi
callq 0x31d0
leaq 0x7(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq 0x300(%r14), %rax
cmpq %rax, 0x308(%r14)
je 0x331fb
xorl %ebp, %ebp
leaq 0x7093(%rip), %r15      # 0x3a1c4
xorl %r13d, %r13d
movl (%rax,%rbp,4), %esi
movq %rbx, %rdi
callq 0x3490
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3310
movq 0x318(%r14), %rax
shlq $0x3, %rbp
leaq (,%rbp,2), %r12
addq %rbp, %r12
movq 0x8(%rax,%r12), %rsi
subq (%rax,%r12), %rsi
sarq $0x2, %rsi
movq %rbx, %rdi
callq 0x31d0
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3310
movq 0x318(%r14), %rax
movq (%rax,%r12), %rbp
movq 0x8(%rax,%r12), %r12
cmpq %r12, %rbp
je 0x331c0
movl (%rbp), %esi
movq %rbx, %rdi
callq 0x3490
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3310
addq $0x4, %rbp
jmp 0x3319a
movb $0xa, 0x4(%rsp)
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x4(%rsp), %rsi
callq 0x3310
incl %r13d
movq 0x300(%r14), %rax
movq 0x308(%r14), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
movq %r13, %rbp
cmpq %r13, %rcx
ja 0x33134
movq %rbx, %rdi
callq 0x31e0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/cardinalityconstraint.cpp
// Function: maxPreprocessor::CardinalityConstraint::Card(std::vector<int, std::allocator<int>> const&, int, int, int, maxPreprocessor::CardinalityConstraint::Formula&, bool, bool)
vector<int> CardinalityConstraint::Card(const vector<int>& A, int l, int r, int k, Formula& F, bool d1, bool d2) {
	int n = (r-l+1);
	assert(n%k == 0);
	if (n == k) {
		return HSort(A, l, r, F, d1, d2);
	}
	else {
		vector<int> a = Card(A, l, l+k-1, k, F, d1, d2);
		vector<int> b = Card(A, l+k, r, k, F, d1, d2);
		assert((int)a.size() == k && (int)b.size() == k);
		return SMerge(a, b, F, d1, d2);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r13
movq %rsi, %r15
movl %r8d, %esi
subl %ecx, %esi
incl %esi
movl %esi, %eax
cltd
idivl %r9d
testl %edx, %edx
jne 0x34ad2
movl %r9d, %r14d
movl %r8d, %ebp
movq %rdi, %rbx
movb 0x90(%rsp), %dl
movb 0x88(%rsp), %al
movq 0x80(%rsp), %r11
cmpl %r9d, %esi
jne 0x349d0
movzbl %dl, %r10d
movzbl %al, %eax
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rdx
movl %ebp, %r8d
movq %r11, %r9
pushq %r10
pushq %rax
callq 0x3472e
addq $0x10, %rsp
jmp 0x34ac0
movq %rbx, 0x10(%rsp)
leal (%r14,%rcx), %esi
movl %esi, 0xc(%rsp)
leal (%r14,%rcx), %r8d
decl %r8d
subq $0x8, %rsp
movzbl %dl, %ebx
movzbl %al, %r12d
leaq 0x38(%rsp), %rdi
movq %r15, %rsi
movq %r13, %rdx
movl %r14d, %r9d
pushq %rbx
pushq %r12
pushq %r11
callq 0x3495c
addq $0x20, %rsp
subq $0x8, %rsp
leaq 0x20(%rsp), %rdi
movq %r15, %rsi
movq %r13, %rdx
movl 0x14(%rsp), %ecx
movl %ebp, %r8d
movl %r14d, %r9d
pushq %rbx
pushq %r12
movq 0x98(%rsp), %rax
movq %rax, %r15
pushq %rax
callq 0x3495c
addq $0x20, %rsp
movq 0x38(%rsp), %rax
subq 0x30(%rsp), %rax
shrq $0x2, %rax
cmpl %r14d, %eax
jne 0x34af1
movq 0x20(%rsp), %rax
subq 0x18(%rsp), %rax
shrq $0x2, %rax
cmpl %r14d, %eax
jne 0x34af1
subq $0x8, %rsp
leaq 0x38(%rsp), %rdx
leaq 0x20(%rsp), %rcx
movq 0x18(%rsp), %rdi
movq %r15, %r8
movl %r12d, %r9d
pushq %rbx
callq 0x33f06
addq $0x10, %rsp
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x34aa4
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
movq 0x10(%rsp), %rbx
je 0x34ac0
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x68b1(%rip), %rdi      # 0x3b38a
leaq 0x6638(%rip), %rsi      # 0x3b118
leaq 0x68ac(%rip), %rcx      # 0x3b393
movl $0x90, %edx
callq 0x31b0
leaq 0x690f(%rip), %rdi      # 0x3b407
leaq 0x6619(%rip), %rsi      # 0x3b118
leaq 0x688d(%rip), %rcx      # 0x3b393
movl $0x97, %edx
callq 0x31b0
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x34b2f
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x34b2f
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x34b46
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/cardinalityconstraint.cpp
// Function: maxPreprocessor::CardinalityConstraint::getLessNetwork(int, std::vector<int, std::allocator<int>>)
pair<CardinalityConstraint::Formula, int> CardinalityConstraint::getLessNetwork(int freeVar, vector<int> input) {
	int k = 1;
	while (k <= K) k *= 2;
	Formula F(freeVar);
	while ((int)input.size()%k != 0) {
		F.clauses.push_back({-F.freeVar});
		input.push_back(F.freeVar++);
	}
	vector<int> output = Card(input, 0, (int)input.size()-1, k, F, true, iff);
	return {F, -output[K]};
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rcx, %r15
movq %rdi, 0x58(%rsp)
movq %rsi, 0x60(%rsp)
movl 0x38(%rsi), %eax
movl $0x1, %ecx
movl %ecx, %r12d
leal (%r12,%r12), %ecx
cmpl %eax, %r12d
jle 0x34b71
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
movl %edx, 0x48(%rsp)
leal -0x1(%r12), %ebp
movq 0x8(%r15), %r8
subq (%r15), %r8
shrq $0x2, %r8
testl %r8d, %ebp
je 0x34c3f
leaq 0x10(%rsp), %r13
leaq 0xf(%rsp), %rbx
leaq 0x30(%rsp), %r14
xorl %eax, %eax
subl 0x48(%rsp), %eax
movl %eax, 0x2c(%rsp)
movl $0x1, %edx
movq %r13, %rdi
leaq 0x2c(%rsp), %rsi
movq %rbx, %rcx
callq 0x1f586
movq %r14, %rdi
movq %r13, %rsi
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34bfb
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl 0x48(%rsp), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0x48(%rsp)
movl %eax, 0x10(%rsp)
movq 0x8(%r15), %rsi
cmpq 0x10(%r15), %rsi
je 0x34c20
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r15)
jmp 0x34c2b
movq %r15, %rdi
movq %r13, %rdx
callq 0x20b8a
movq 0x8(%r15), %r8
subq (%r15), %r8
shrq $0x2, %r8
testl %r8d, %ebp
jne 0x34bba
decl %r8d
movq 0x60(%rsp), %rbx
movzbl 0x58(%rbx), %eax
subq $0x8, %rsp
leaq 0x38(%rsp), %r10
leaq 0x18(%rsp), %rdi
movq %rbx, %rsi
movq %r15, %rdx
xorl %ecx, %ecx
movl %r12d, %r9d
pushq %rax
pushq $0x1
pushq %r10
callq 0x3495c
addq $0x20, %rsp
movslq 0x38(%rbx), %rax
movq 0x10(%rsp), %rcx
movl (%rcx,%rax,4), %ebx
leaq 0x30(%rsp), %rsi
movq 0x58(%rsp), %r14
movq %r14, %rdi
callq 0x373d2
negl %ebx
movl 0x48(%rsp), %eax
movl %eax, 0x18(%r14)
movl %ebx, 0x20(%r14)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34cb5
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f6e
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x34cdc
jmp 0x34cd7
jmp 0x34cd7
movq %rax, %rbx
jmp 0x34cf6
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34cf6
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f6e
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/cardinalityconstraint.cpp
// Function: maxPreprocessor::CardinalityConstraint::getGreaterNetwork(int, std::vector<int, std::allocator<int>>)
pair<CardinalityConstraint::Formula, int> CardinalityConstraint::getGreaterNetwork(int freeVar, vector<int> input) {
	int KK = (int)input.size() - K;
	int k = 1;
	while (k < KK) k *= 2;
	Formula F(freeVar);
	for (int& lit : input) {
		lit = -lit;
	}
	while ((int)input.size()%k != 0) {
		F.clauses.push_back({-F.freeVar});
		input.push_back(F.freeVar++);
	}
	vector<int> output = Card(input, 0, (int)input.size()-1, k, F, iff, true);
	return {F, output[KK-1]};
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rcx, %r14
movq %rdi, 0x58(%rsp)
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
movq %rcx, %r8
subq %rax, %r8
shrq $0x2, %r8
movq %rsi, 0x60(%rsp)
movslq 0x38(%rsi), %rdi
movslq %r8d, %rbp
subq %rdi, %rbp
movl $0x1, %esi
movl %esi, %r12d
leal (%r12,%r12), %esi
cmpl %ebp, %r12d
jl 0x34d43
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
movl %edx, 0x48(%rsp)
cmpq %rcx, %rax
je 0x34d71
negl (%rax)
addq $0x4, %rax
jmp 0x34d64
leal -0x1(%r12), %ebx
movq 0x8(%r14), %r8
subq (%r14), %r8
shrq $0x2, %r8
testl %r8d, %ebx
je 0x34e1b
leaq 0x10(%rsp), %r13
leaq 0x30(%rsp), %r15
xorl %eax, %eax
subl 0x48(%rsp), %eax
movl %eax, 0x2c(%rsp)
movl $0x1, %edx
movq %r13, %rdi
leaq 0x2c(%rsp), %rsi
leaq 0xf(%rsp), %rcx
callq 0x1f586
movq %r15, %rdi
movq %r13, %rsi
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34dd7
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl 0x48(%rsp), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0x48(%rsp)
movl %eax, 0x10(%rsp)
movq 0x8(%r14), %rsi
cmpq 0x10(%r14), %rsi
je 0x34dfc
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r14)
jmp 0x34e07
movq %r14, %rdi
movq %r13, %rdx
callq 0x20b8a
movq 0x8(%r14), %r8
subq (%r14), %r8
shrq $0x2, %r8
testl %r8d, %ebx
jne 0x34d94
decl %r8d
movq 0x60(%rsp), %rsi
movzbl 0x58(%rsi), %eax
subq $0x8, %rsp
leaq 0x38(%rsp), %r10
leaq 0x18(%rsp), %rdi
movq %r14, %rdx
xorl %ecx, %ecx
movl %r12d, %r9d
pushq $0x1
pushq %rax
pushq %r10
callq 0x3495c
addq $0x20, %rsp
movq 0x10(%rsp), %rbx
leaq 0x30(%rsp), %rsi
movq 0x58(%rsp), %r14
movq %r14, %rdi
callq 0x373d2
movl 0x48(%rsp), %eax
movl %eax, 0x18(%r14)
movl -0x4(%rbx,%rbp,4), %eax
movl %eax, 0x20(%r14)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34e89
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f6e
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x34eb0
jmp 0x34eab
jmp 0x34eab
movq %rax, %rbx
jmp 0x34eca
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x34eca
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f6e
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/cardinalityconstraint.cpp
// Function: maxPreprocessor::CardinalityConstraint::getBestLessNetwork(int, std::vector<int, std::allocator<int>>)
pair<CardinalityConstraint::Formula, int> CardinalityConstraint::getBestLessNetwork(int freeVar, vector<int> input) {
	auto cLess = getLessNetwork(freeVar, input);
	auto cGreater = getGreaterNetwork(freeVar, input);
	if (cLess.F.size() <= cGreater.F.size()) {
		return cLess;
	}
	else {
		return cGreater;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, %r15
movl %edx, %ebp
movq %rsi, %r12
movq %rdi, %rbx
leaq 0x20(%rsp), %r13
movq %r13, %rdi
movq %rcx, %rsi
callq 0x1ffa6
leaq 0x38(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
movl %ebp, %edx
movq %r13, %rcx
callq 0x34b4e
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x3555e
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x1ffa6
leaq 0x60(%rsp), %r15
leaq 0x8(%rsp), %rcx
movq %r15, %rdi
movq %r12, %rsi
movl %ebp, %edx
callq 0x34d08
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x35599
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x38(%rsp), %rax
movq 0x40(%rsp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rdi
movq %rdi, %r8
subq %rsi, %r8
cmpq %r8, %rdx
cmovaq %rsi, %rax
cmovaq %rdi, %rcx
movq %r14, %rdx
cmovaq %r15, %rdx
movq %rax, (%rbx)
movq %rcx, 0x8(%rbx)
movq 0x10(%rdx), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movl 0x18(%rdx), %eax
movl %eax, 0x18(%rbx)
movl 0x20(%rdx), %eax
movl %eax, 0x20(%rbx)
movq %r15, %rdi
callq 0x8f6e
movq %r14, %rdi
callq 0x8f6e
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x35638
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x35638
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x8f6e
jmp 0x3565e
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x3565e
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/attractivechaos[P]udb2/tsl_robin_map/./robin_growth_policy.h
// Function: tsl::rh::power_of_two_growth_policy<2ul>::power_of_two_growth_policy(unsigned long&)
explicit power_of_two_growth_policy(std::size_t& min_bucket_count_in_out) {
        if(min_bucket_count_in_out > max_bucket_count()) {
            TSL_RH_THROW_OR_TERMINATE(std::length_error, "The hash table exceeds its maxmimum size.");
        }
        
        if(min_bucket_count_in_out > 0) {
            min_bucket_count_in_out = round_up_to_power_of_two(min_bucket_count_in_out);
            m_mask = min_bucket_count_in_out - 1;
        }
        else {
            m_mask = 0;
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq (%rsi), %rax
movabsq $-0x7fffffffffffffff, %rcx # imm = 0x8000000000000001
cmpq %rcx, %rax
jae 0x199e
testq %rax, %rax
je 0x1991
leaq -0x1(%rax), %rdx
movl $0x1, %ecx
testq %rdx, %rax
cmovneq %rcx, %rax
je 0x1989
movq %rdx, %rax
shrq %cl, %rdx
orq %rax, %rdx
leaq (%rcx,%rcx), %rax
cmpq $0x20, %rcx
movq %rax, %rcx
jb 0x196d
incq %rdx
movq %rdx, %rax
movq %rax, (%rsi)
decq %rax
jmp 0x1993
xorl %eax, %eax
movq %rax, (%rdi)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movl $0x10, %edi
callq 0x1060
movq %rax, %rbx
leaq 0x1724(%rip), %rsi      # 0x30d6
movq %rax, %rdi
callq 0x1100
movq 0x361f(%rip), %rsi      # 0x4fe0
movq 0x3608(%rip), %rdx      # 0x4fd0
movq %rbx, %rdi
callq 0x1140
movq %rax, %r14
movq %rbx, %rdi
callq 0x10b0
movq %r14, %rdi
callq 0x1150
nop
// File: /workspace/github_cpp_makefile_star2_O1/attractivechaos[P]udb2/tsl_robin_map/./robin_hash.h
// Function: tsl::detail_robin_hash::robin_hash<std::pair<unsigned int, unsigned int>, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::KeySelect, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::ValueSelect, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::rehash_on_extreme_load()
bool rehash_on_extreme_load() {
        if(m_grow_on_next_insert || size() >= m_load_threshold) {
            rehash_impl(GrowthPolicy::next_bucket_count());
            m_grow_on_next_insert = false;
            
            return true;
        }
        
        if(m_try_skrink_on_next_insert) {
            m_try_skrink_on_next_insert = false;
            if(m_min_load_factor != 0.0f && load_factor() < m_min_load_factor) {
                reserve(size() + 1);
                
                return true;
            }
        }
        
        return false;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x0, 0x44(%rdi)
jne 0x1d38
movq 0x30(%rbx), %rax
cmpq 0x38(%rbx), %rax
jae 0x1d38
cmpb $0x1, 0x4c(%rbx)
jne 0x1db9
movb $0x0, 0x4c(%rbx)
movss 0x48(%rbx), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x1d28
jnp 0x1db9
movq 0x28(%rbx), %rcx
testq %rax, %rax
js 0x1d53
cvtsi2ss %rax, %xmm3
jmp 0x1d6a
movq %rbx, %rdi
callq 0x1f02
movq %rbx, %rdi
movq %rax, %rsi
callq 0x1e50
movb $0x0, 0x44(%rbx)
movb $0x1, %al
jmp 0x1dbb
movq %rax, %rdx
shrq %rdx
movl %eax, %esi
andl $0x1, %esi
orq %rdx, %rsi
cvtsi2ss %rsi, %xmm3
addss %xmm3, %xmm3
movq %rcx, %rsi
shrq %rsi
movl %ecx, %edx
andl $0x1, %edx
orq %rsi, %rdx
testq %rcx, %rcx
js 0x1d87
xorps %xmm1, %xmm1
cvtsi2ss %rcx, %xmm1
jmp 0x1d93
xorps %xmm1, %xmm1
cvtsi2ss %rdx, %xmm1
addss %xmm1, %xmm1
xorps %xmm2, %xmm2
je 0x1d9f
movaps %xmm3, %xmm2
divss %xmm1, %xmm2
ucomiss %xmm2, %xmm0
jbe 0x1db9
incq %rax
movss %xmm3, 0x4(%rsp)
js 0x1dc3
xorps %xmm0, %xmm0
cvtsi2ss %rax, %xmm0
jmp 0x1ddb
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rcx
shrq %rcx
andl $0x1, %eax
orq %rcx, %rax
xorps %xmm0, %xmm0
cvtsi2ss %rax, %xmm0
addss %xmm0, %xmm0
movss 0x40(%rbx), %xmm1
movss %xmm1, (%rsp)
divss %xmm1, %xmm0
callq 0x1090
cvttss2si %xmm0, %rax
movq %rax, %rcx
subss 0x1232(%rip), %xmm0     # 0x3030
cvttss2si %xmm0, %r14
sarq $0x3f, %rcx
andq %rcx, %r14
orq %rax, %r14
movss 0x4(%rsp), %xmm0
divss (%rsp), %xmm0
callq 0x1090
cvttss2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subss 0x11ff(%rip), %xmm0     # 0x3030
cvttss2si %xmm0, %rsi
andq %rcx, %rsi
orq %rax, %rsi
cmpq %r14, %rsi
cmovbeq %r14, %rsi
movq %rbx, %rdi
callq 0x1e50
jmp 0x1d4f
// File: /workspace/github_cpp_makefile_star2_O1/attractivechaos[P]udb2/tsl_robin_map/./robin_hash.h
// Function: tsl::detail_robin_hash::robin_hash<std::pair<unsigned int, unsigned int>, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::KeySelect, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::ValueSelect, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::rehash_impl(unsigned long)
void rehash_impl(size_type count) {
        robin_hash new_table(count, static_cast<Hash&>(*this), static_cast<KeyEqual&>(*this), 
                             get_allocator(), m_min_load_factor, m_max_load_factor);
        
        const bool use_stored_hash = USE_STORED_HASH_ON_REHASH(new_table.bucket_count());
        for(auto& bucket: m_buckets_data) {
            if(bucket.empty()) { 
                continue; 
            }
            
            const std::size_t hash = use_stored_hash?bucket.truncated_hash():
                                                     new_table.hash_key(KeySelect()(bucket.value()));
                                                     
            new_table.insert_value_on_rehash(new_table.bucket_for_hash(hash), 0, 
                                             bucket_entry::truncate_hash(hash), std::move(bucket.value()));
        }
        
        new_table.m_nb_elements = m_nb_elements;
        new_table.swap(*this);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdi, %rbx
movss 0x40(%rdi), %xmm1
movss 0x48(%rdi), %xmm0
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %r8
movq %rbx, %rdx
movq %rbx, %rcx
callq 0x17ce
movq 0x8(%rbx), %r14
movq 0x10(%rbx), %r12
cmpq %r12, %r14
je 0x1ec1
addq $0x4, %r14
leaq 0x8(%rsp), %r15
cmpw $-0x1, -0x4(%r14)
je 0x1eb1
movl (%r14), %ecx
movl 0x8(%rsp), %esi
andl %ecx, %esi
movq %r15, %rdi
xorl %edx, %edx
movq %r14, %r8
callq 0x1f74
leaq 0xc(%r14), %rax
addq $0x8, %r14
cmpq %r12, %r14
movq %rax, %r14
jne 0x1e93
movq 0x30(%rbx), %rax
leaq 0x8(%rsp), %rdi
movq %rax, 0x30(%rdi)
movq %rbx, %rsi
callq 0x1fd2
leaq 0x10(%rsp), %rdi
callq 0x1792
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x1792
movq %rbx, %rdi
callq 0x1150
nop
// File: /workspace/github_cpp_makefile_star2_O1/attractivechaos[P]udb2/tsl_robin_map/./robin_hash.h
// Function: tsl::detail_robin_hash::robin_hash<std::pair<unsigned int, unsigned int>, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::KeySelect, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::ValueSelect, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::insert_value_on_rehash(unsigned long, short, unsigned int, std::pair<unsigned int, unsigned int>&&)
void insert_value_on_rehash(std::size_t ibucket, distance_type dist_from_ideal_bucket, 
                                truncated_hash_type hash, value_type&& value) 
    {
        while(true) {
            if(dist_from_ideal_bucket > m_buckets[ibucket].dist_from_ideal_bucket()) {
                if(m_buckets[ibucket].empty()) {
                    m_buckets[ibucket].set_value_of_empty_bucket(dist_from_ideal_bucket, hash, std::move(value));
                    return;
                }
                else {
                    m_buckets[ibucket].swap_with_value_in_bucket(dist_from_ideal_bucket, hash, value);
                }
            }
            
            dist_from_ideal_bucket++;
            ibucket = next_bucket(ibucket);
        }
    }

// Assembly:
movq (%rdi), %rax
movq 0x20(%rdi), %rcx
leaq (%rsi,%rsi,2), %r9
movzwl (%rcx,%r9,4), %edi
cmpw %di, %dx
jle 0x1fb7
leaq (%rcx,%r9,4), %r9
cmpw $-0x1, %di
je 0x1fc5
movl (%r8), %r10d
movl 0x4(%r9), %r11d
movl %r11d, (%r8)
movl %r10d, 0x4(%r9)
movl 0x4(%r8), %r10d
movl 0x8(%r9), %r11d
movl %r11d, 0x4(%r8)
movl %r10d, 0x8(%r9)
movw %dx, (%r9)
jmp 0x1fb9
movl %edx, %edi
incl %edi
incq %rsi
andq %rax, %rsi
movl %edi, %edx
jmp 0x1f7b
movq (%r8), %rax
movq %rax, 0x4(%r9)
movw %dx, (%r9)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/attractivechaos[P]udb2/tsl_robin_map/./robin_hash.h
// Function: tsl::detail_robin_hash::robin_hash<std::pair<unsigned int, unsigned int>, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::KeySelect, tsl::robin_map<unsigned int, unsigned int, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::ValueSelect, Hash32, std::equal_to<unsigned int>, std::allocator<std::pair<unsigned int, unsigned int>>, false, tsl::rh::power_of_two_growth_policy<2ul>>::insert_value_impl(unsigned long, short, unsigned int, std::pair<unsigned int, unsigned int>&)
void insert_value_impl(std::size_t ibucket, distance_type dist_from_ideal_bucket,
                           truncated_hash_type hash, value_type& value)
    {
        m_buckets[ibucket].swap_with_value_in_bucket(dist_from_ideal_bucket, hash, value);
        ibucket = next_bucket(ibucket);
        dist_from_ideal_bucket++;
        
        while(!m_buckets[ibucket].empty()) {
            if(dist_from_ideal_bucket > m_buckets[ibucket].dist_from_ideal_bucket()) {
                if(dist_from_ideal_bucket >= bucket_entry::DIST_FROM_IDEAL_BUCKET_LIMIT) {
                    /**
                     * The number of probes is really high, rehash the map on the next insert.
                     * Difficult to do now as rehash may throw an exception.
                     */
                    m_grow_on_next_insert = true;
                }
            
                m_buckets[ibucket].swap_with_value_in_bucket(dist_from_ideal_bucket, hash, value);
            }
            
            ibucket = next_bucket(ibucket);
            dist_from_ideal_bucket++;
        }
        
        m_buckets[ibucket].set_value_of_empty_bucket(dist_from_ideal_bucket, hash, std::move(value));
    }

// Assembly:
pushq %rbx
movq 0x20(%rdi), %rax
leaq (%rsi,%rsi,2), %rcx
movl (%r8), %r9d
movl 0x4(%rax,%rcx,4), %r10d
movl %r10d, (%r8)
movl %r9d, 0x4(%rax,%rcx,4)
movl 0x4(%r8), %r9d
movl 0x8(%rax,%rcx,4), %r10d
movl %r10d, 0x4(%r8)
movl %r9d, 0x8(%rax,%rcx,4)
movzwl (%rax,%rcx,4), %r9d
movw %dx, (%rax,%rcx,4)
movq (%rdi), %rcx
incq %rsi
andq %rcx, %rsi
incl %r9d
leaq (%rsi,%rsi,2), %rdx
leaq (%rax,%rdx,4), %r10
movzwl (%r10), %edx
cmpw $-0x1, %dx
je 0x211d
cmpw %dx, %r9w
jle 0x210d
movswl %r9w, %r11d
cmpl $0x1000, %r11d          # imm = 0x1000
jl 0x20e9
movb $0x1, 0x44(%rdi)
movl (%r8), %r11d
movl 0x4(%r10), %ebx
movl %ebx, (%r8)
movl %r11d, 0x4(%r10)
movl 0x4(%r8), %r11d
movl 0x8(%r10), %ebx
movl %ebx, 0x4(%r8)
movl %r11d, 0x8(%r10)
movw %r9w, (%r10)
jmp 0x2110
movl %r9d, %edx
incq %rsi
andq %rcx, %rsi
incl %edx
movl %edx, %r9d
jmp 0x20c0
movq (%r8), %rax
movq %rax, 0x4(%r10)
movw %r9w, (%r10)
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O1/ashagraev[P]covariation/main.cpp
// Function: void TPrinter::AddToRow<char [9]>(char const (&) [9])
void AddToRow(const TValue& value) {
        std::stringstream ss;
        ss.precision(10);
        ss << value;
        Rows.back().push_back(ss.str());
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rsi, %r14
movq %rdi, %rbx
leaq -0x1c0(%rbp), %r15
movq %r15, %rdi
callq 0x20a0
movq (%r15), %rax
movq -0x18(%rax), %rax
movq $0xa, -0x1b8(%rbp,%rax)
leaq -0x1b0(%rbp), %r15
movq %r14, %rdi
callq 0x2070
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x2130
movq 0x40(%rbx), %rbx
leaq -0x1a8(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0x2170
addq $-0x18, %rbx
leaq -0x38(%rbp), %rsi
movq %rbx, %rdi
callq 0x3e36
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2dc1
callq 0x2100
movq 0x51f0(%rip), %rsi      # 0x7fb8
leaq -0x1c0(%rbp), %rdi
callq 0x20c0
leaq -0x140(%rbp), %rdi
callq 0x2040
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e0a
callq 0x2100
jmp 0x2e0a
jmp 0x2e07
movq %rax, %rbx
movq 0x51a7(%rip), %rsi      # 0x7fb8
leaq -0x1c0(%rbp), %rdi
callq 0x20c0
leaq -0x140(%rbp), %rdi
callq 0x2040
movq %rbx, %rdi
callq 0x21a0
nop