LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/inputreader.cpp
// Function: maxPreprocessor::InputReader::readWeightedClause(std::istream&)
int InputReader::readWeightedClause(istream& input) {
	uint64_t weight;
	vector<int> clause;
	input>>weight;
	if (!input.good()) {
		return 1;
	}
	if (weight > top) weight = top;
	int lit;
	while (input>>lit) {
		if (lit == 0) break;
		clause.push_back(lit);
	}
	if (input.fail()) {
		return 1;
	}
	if (weight == 0) return 0;
	clauses.push_back(clause);
	weights.push_back(weight);
	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rsi, %r14
movq %rdi, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq %rsp, %rsi
movq %r14, %rdi
callq 0x3160
movq (%r14), %rax
movq -0x18(%rax), %rax
movl $0x1, %ebp
cmpl $0x0, 0x20(%r14,%rax)
jne 0x24bc1
movq 0x30(%rbx), %rax
cmpq %rax, (%rsp)
jbe 0x24b5c
movq %rax, (%rsp)
leaq 0xc(%rsp), %r15
leaq 0x10(%rsp), %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x3190
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x24bad
movl 0xc(%rsp), %eax
testl %eax, %eax
je 0x24bad
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x24ba0
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x24b66
movq %r12, %rdi
movq %r15, %rdx
callq 0x98e8
jmp 0x24b66
movq (%r14), %rax
movq -0x18(%rax), %rax
movl $0x1, %ebp
testb $0x5, 0x20(%r14,%rax)
je 0x24be7
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x24bd8
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl %ebp, %eax
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
xorl %ebp, %ebp
cmpq $0x0, (%rsp)
je 0x24bc1
leaq 0x40(%rbx), %rdi
leaq 0x10(%rsp), %rsi
callq 0x1fc42
movq 0x60(%rbx), %rsi
cmpq 0x68(%rbx), %rsi
je 0x24c19
movq (%rsp), %rax
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x60(%rbx)
jmp 0x24bc1
addq $0x58, %rbx
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x24924
jmp 0x24bc1
jmp 0x24c2e
jmp 0x24c2e
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x24c48
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/inputreader.cpp
// Function: maxPreprocessor::InputReader::readClause(std::istream&, unsigned long)
int InputReader::readClause(istream& input, uint64_t defaultWeight) {
	vector<int> clause;
	int lit;
	while (input>>lit) {
		if (lit == 0) break;
		clause.push_back(lit);
	}
	if (input.fail()) {
		return 1;
	}
	clauses.push_back(clause);
	weights.push_back(defaultWeight);
	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rdx, 0x28(%rsp)
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %r15
movaps %xmm0, (%r15)
movq $0x0, 0x10(%r15)
leaq 0xc(%rsp), %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x3190
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x24cc7
movl 0xc(%rsp), %eax
testl %eax, %eax
je 0x24cc7
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x24cba
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x24c80
movq %r15, %rdi
movq %r12, %rdx
callq 0x98e8
jmp 0x24c80
movq (%r14), %rax
movq -0x18(%rax), %rax
movl $0x1, %ebp
testb $0x5, 0x20(%r14,%rax)
jne 0x24d1a
leaq 0x40(%rbx), %rdi
leaq 0x10(%rsp), %rsi
callq 0x1fc42
movq 0x60(%rbx), %rsi
cmpq 0x68(%rbx), %rsi
je 0x24d07
movq 0x28(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x60(%rbx)
xorl %ebp, %ebp
jmp 0x24d1a
addq $0x58, %rbx
xorl %ebp, %ebp
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0x24924
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x24d31
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl %ebp, %eax
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x24d42
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x24d5c
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/trace.cpp
// Function: maxPreprocessor::Trace::BVE(int, std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>> const&)
void Trace::BVE(int var, const vector<vector<int> >& nClauses) {
	operations.push_back(2);
	data.push_back(vector<int>());
	data.back().push_back(var);
	for (auto& c : nClauses) {
		for (int lit : c) {
			if (litVariable(lit) != var) data.back().push_back(lit);
		}
		data.back().push_back(-1);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movl %esi, 0xc(%rsp)
movl $0x2, 0x10(%rsp)
movq 0x10(%rdi), %rsi
cmpq 0x18(%rdi), %rsi
je 0x27616
movl $0x2, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x10(%rbx)
jmp 0x27624
leaq 0x8(%rbx), %rdi
leaq 0x10(%rsp), %rdx
callq 0x20b8a
leaq 0x20(%rbx), %rdi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x27657
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x27675
movl 0xc(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27683
addq $-0x18, %rdi
leaq 0xc(%rsp), %rdx
callq 0x98e8
movq (%r14), %r15
movq 0x8(%r14), %r12
cmpq %r12, %r15
je 0x27721
leaq 0x10(%rsp), %r14
movq (%r15), %r13
movq 0x8(%r15), %rbp
cmpq %rbp, %r13
je 0x276e2
movl (%r13), %eax
movl %eax, 0x10(%rsp)
movl %eax, %ecx
sarl %ecx
cmpl 0xc(%rsp), %ecx
je 0x276dc
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x276d0
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x276dc
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x98e8
addq $0x4, %r13
jmp 0x2769f
movq 0x28(%rbx), %rdi
movl $0xffffffff, 0x10(%rsp) # imm = 0xFFFFFFFF
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x27708
movl $0xffffffff, (%rsi)     # imm = 0xFFFFFFFF
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27714
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x20b8a
addq $0x18, %r15
cmpq %r12, %r15
jne 0x27698
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 0x2774a
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/trace.cpp
// Function: maxPreprocessor::Trace::BCE(int, std::vector<int, std::allocator<int>> const&)
void Trace::BCE(int lit, const vector<int>& clause) {
	operations.push_back(3);
	data.push_back(vector<int>());
	data.back().push_back(lit);
	for (int l : clause) {
		if (l != lit) {
			data.back().push_back(l);
		}
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movl %esi, 0xc(%rsp)
movl $0x3, 0x10(%rsp)
movq 0x10(%rdi), %rsi
cmpq 0x18(%rdi), %rsi
je 0x27789
movl $0x3, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x10(%rbx)
jmp 0x27797
leaq 0x8(%rbx), %rdi
leaq 0x10(%rsp), %rdx
callq 0x20b8a
leaq 0x20(%rbx), %rdi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x277ca
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x277e8
movl 0xc(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x277f6
addq $-0x18, %rdi
leaq 0xc(%rsp), %rdx
callq 0x98e8
movq (%r14), %r15
movq 0x8(%r14), %r12
cmpq %r12, %r15
je 0x27843
leaq 0x10(%rsp), %r14
movl (%r15), %eax
movl %eax, 0x10(%rsp)
cmpl 0xc(%rsp), %eax
je 0x2783a
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x2782e
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x2783a
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x98e8
addq $0x4, %r15
cmpq %r12, %r15
jne 0x27807
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x27869
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/trace.cpp
// Function: maxPreprocessor::Trace::BCR(int, int, std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>> const&)
void Trace::BCR(int lbl1, int lbl2, const vector<vector<int> >& nClauses) {
	operations.push_back(4);
	data.push_back(vector<int>());
	data.back().push_back(lbl1);
	data.back().push_back(lbl2);
	for (auto& c : nClauses) {
		for (int lit : c) {
			assert(litVariable(lit) != litVariable(lbl2));
			if (litVariable(lit) != litVariable(lbl1)) data.back().push_back(lit);
		}
		data.back().push_back(-1);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r14
movq %rdi, %rbx
movl %esi, 0xc(%rsp)
movl %edx, 0x8(%rsp)
movl $0x4, 0x10(%rsp)
movq 0x10(%rdi), %rsi
cmpq 0x18(%rdi), %rsi
je 0x278b0
movl $0x4, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x10(%rbx)
jmp 0x278be
leaq 0x8(%rbx), %rdi
leaq 0x10(%rsp), %rdx
callq 0x20b8a
leaq 0x20(%rbx), %rdi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x278f1
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x2790f
movl 0xc(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x2791d
addq $-0x18, %rdi
leaq 0xc(%rsp), %rdx
callq 0x98e8
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x2793b
movl 0x8(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27949
addq $-0x18, %rdi
leaq 0x8(%rsp), %rdx
callq 0x98e8
movq (%r14), %r15
movq 0x8(%r14), %r12
cmpq %r12, %r15
je 0x279f9
leaq 0x10(%rsp), %r14
movq (%r15), %r13
movq 0x8(%r15), %rbp
cmpq %rbp, %r13
je 0x279ba
movl (%r13), %eax
movl %eax, 0x10(%rsp)
movl %eax, %ecx
sarl %ecx
movl 0x8(%rsp), %edx
sarl %edx
cmpl %edx, %ecx
je 0x27a08
movl 0xc(%rsp), %edx
sarl %edx
cmpl %edx, %ecx
je 0x279b4
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x279a8
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x279b4
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x98e8
addq $0x4, %r13
jmp 0x27965
movq 0x28(%rbx), %rdi
movl $0xffffffff, 0x10(%rsp) # imm = 0xFFFFFFFF
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x279e0
movl $0xffffffff, (%rsi)     # imm = 0xFFFFFFFF
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x279ec
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x20b8a
addq $0x18, %r15
cmpq %r12, %r15
jne 0x2795e
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x12ae1(%rip), %rdi     # 0x3a4f0
leaq 0x12b00(%rip), %rsi     # 0x3a516
leaq 0x12b03(%rip), %rcx     # 0x3a520
movl $0x34, %edx
callq 0x31b0
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x27a41
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/trace.cpp
// Function: maxPreprocessor::Trace::LS(int, int, std::vector<int, std::allocator<int>> const&)
void Trace::LS(int lbl, int lit, const vector<int>& clause) {
	operations.push_back(6);
	data.push_back(vector<int>());
	data.back().push_back(lbl);
	data.back().push_back(lit);
	for (int l : clause) {
		if (l != lit) {
			data.back().push_back(l);
		}
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r14
movq %rdi, %rbx
movl %esi, 0xc(%rsp)
movl %edx, 0x8(%rsp)
movl $0x6, 0x10(%rsp)
movq 0x10(%rdi), %rsi
cmpq 0x18(%rdi), %rsi
je 0x27b39
movl $0x6, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x10(%rbx)
jmp 0x27b47
leaq 0x8(%rbx), %rdi
leaq 0x10(%rsp), %rdx
callq 0x20b8a
leaq 0x20(%rbx), %rdi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
callq 0x23202
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x27b7a
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x27b98
movl 0xc(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27ba6
addq $-0x18, %rdi
leaq 0xc(%rsp), %rdx
callq 0x98e8
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x27bc4
movl 0x8(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27bd2
addq $-0x18, %rdi
leaq 0x8(%rsp), %rdx
callq 0x98e8
movq (%r14), %r15
movq 0x8(%r14), %r12
cmpq %r12, %r15
je 0x27c1f
leaq 0x10(%rsp), %r14
movl (%r15), %eax
movl %eax, 0x10(%rsp)
cmpl 0x8(%rsp), %eax
je 0x27c16
movq 0x28(%rbx), %rdi
movq -0x10(%rdi), %rsi
cmpq -0x8(%rdi), %rsi
je 0x27c0a
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x10(%rdi)
jmp 0x27c16
addq $-0x18, %rdi
movq %r14, %rdx
callq 0x98e8
addq $0x4, %r15
cmpq %r12, %r15
jne 0x27be3
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x27c45
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/trace.cpp
// Function: maxPreprocessor::Trace::printSolution(std::ostream&, std::vector<int, std::allocator<int>> const&, unsigned long, int, int)
void Trace::printSolution(ostream& output, const vector<int>& trueLits, uint64_t weight, int vars, int originalVars) {
	auto solution = getSolution(trueLits, weight, vars, originalVars);
	output << "v ";
	for (int lit : solution.F) {
		output << lit << " ";
	}
	output << '\n';
	output << "s OPTIMUM FOUND\n";
	output << "o " << solution.S << '\n';
	
	output.flush();
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %rbx
movq %rdi, %rsi
leaq 0x8(%rsp), %rdi
callq 0x27d18
leaq 0x12231(%rip), %rsi     # 0x3a5e3
movl $0x2, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x8(%rsp), %r15
movq 0x10(%rsp), %r12
cmpq %r12, %r15
je 0x283f9
leaq 0x11def(%rip), %r14     # 0x3a1c4
movl (%r15), %esi
movq %rbx, %rdi
callq 0x3490
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x3310
addq $0x4, %r15
cmpq %r12, %r15
jne 0x283d5
leaq 0x7(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0x121d1(%rip), %rsi     # 0x3a5e6
movl $0x10, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0xfc2c(%rip), %rsi      # 0x38055
movl $0x2, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0x31d0
leaq 0x7(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
callq 0x31e0
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x28477
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x28485
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2849f
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/utility.cpp
// Function: maxPreprocessor::litFromDimacs(int)
int litFromDimacs(int lit) {
	if (lit < 0) {
		return (-lit)*2-1;
	}
	else if(lit > 0) {
		return lit*2-2;
	}
	else {
		return -1;
	}
}

// Assembly:
movl %edi, %eax
testl %edi, %edi
js 0x284b8
je 0x284bd
leal -0x2(,%rax,2), %eax
retq
addl %eax, %eax
notl %eax
retq
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::isSimpleSoftClause(int) const
bool ProblemInstance::isSimpleSoftClause(int clause) const {
	if (!clauses[clause].isHard()) return false;
	int label = -1;
	for (int l : clauses[clause].lit) {
		if (isLabel[litVariable(l)]) {
			if (label != -1) return false;
			if (litClauses[l].size() != 1) return false;
			label = l;
		}
	}
	if (label == -1) return false;
	return true;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movslq %esi, %rax
leaq (%rax,%rax,4), %r14
leaq (,%r14,8), %rdi
addq (%rbx), %rdi
callq 0x29586
testb %al, %al
je 0x28592
movq (%rbx), %rcx
movq (%rcx,%r14,8), %rax
movq 0x8(%rcx,%r14,8), %rcx
cmpq %rcx, %rax
sete %dl
je 0x28592
movq 0x18(%rbx), %rsi
movq 0x48(%rbx), %rdi
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
movslq (%rax), %r9
movl %r9d, %r10d
sarl %r10d
movslq %r10d, %r10
cmpl $0x0, (%rdi,%r10,4)
je 0x28552
cmpl $-0x1, %r8d
je 0x28557
xorl %r10d, %r10d
jmp 0x28576
movb $0x1, %r10b
jmp 0x28576
leaq (%r9,%r9,2), %r8
movq 0x8(%rsi,%r8,8), %r10
subq (%rsi,%r8,8), %r10
cmpq $0x4, %r10
sete %r10b
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
cmovel %r9d, %r8d
testb %r10b, %r10b
je 0x28587
addq $0x4, %rax
cmpq %rcx, %rax
sete %dl
jne 0x28534
cmpl $-0x1, %r8d
setne %al
andb %dl, %al
jmp 0x28594
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::labelWeight(int) const
uint64_t ProblemInstance::labelWeight(int lbl) const {
	if (isLabel[lbl] == VAR_TRUE) {
		assert(litClauses[posLit(lbl)].size() == 1);
		return clauses[litClauses[posLit(lbl)][0]].weight;
	}
	else if(isLabel[lbl] == VAR_FALSE) {
		assert(litClauses[negLit(lbl)].size() == 1);
		return clauses[litClauses[negLit(lbl)][0]].weight;
	}
	else {
		assert(0);
	}
}

// Assembly:
pushq %rax
movslq %esi, %rax
movq 0x48(%rdi), %rcx
movl (%rcx,%rax,4), %eax
cmpl $0x2, %eax
je 0x2862d
cmpl $0x1, %eax
jne 0x28661
addl %esi, %esi
movslq %esi, %rax
movq 0x18(%rdi), %rcx
leaq (%rax,%rax,2), %rdx
movq (%rcx,%rdx,8), %rax
movq 0x8(%rcx,%rdx,8), %rcx
subq %rax, %rcx
cmpq $0x4, %rcx
je 0x28650
leaq 0x11fe2(%rip), %rdi     # 0x3a5f7
leaq 0x11fff(%rip), %rsi     # 0x3a61b
leaq 0x1200c(%rip), %rcx     # 0x3a62f
movl $0x28, %edx
callq 0x31b0
leal 0x1(,%rsi,2), %eax
cltq
movq 0x18(%rdi), %rcx
leaq (%rax,%rax,2), %rdx
movq (%rcx,%rdx,8), %rax
movq 0x8(%rcx,%rdx,8), %rcx
subq %rax, %rcx
cmpq $0x4, %rcx
jne 0x28680
movslq (%rax), %rax
movq (%rdi), %rcx
leaq (%rax,%rax,4), %rax
movq 0x18(%rcx,%rax,8), %rax
popq %rcx
retq
leaq 0x125e5(%rip), %rdi     # 0x3ac4d
leaq 0x11fac(%rip), %rsi     # 0x3a61b
leaq 0x11fb9(%rip), %rcx     # 0x3a62f
movl $0x30, %edx
callq 0x31b0
leaq 0x11fea(%rip), %rdi     # 0x3a671
leaq 0x11f8d(%rip), %rsi     # 0x3a61b
leaq 0x11f9a(%rip), %rcx     # 0x3a62f
movl $0x2c, %edx
callq 0x31b0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::removeClauseFromLitClause(int, int)
void ProblemInstance::removeClauseFromLitClause(int clause, int lit) {
	for (unsigned i = 0; i < litClauses[lit].size(); i++) {
		if (litClauses[lit][i] == clause) {
			litClauses[lit][i] = litClauses[lit][litClauses[lit].size() - 1];
			litClauses[lit].pop_back();
			break;
		}
	}
}

// Assembly:
movslq %edx, %rax
movq 0x18(%rdi), %r8
leaq (%rax,%rax,2), %r9
movq (%r8,%r9,8), %rcx
movq 0x8(%r8,%r9,8), %rax
movq %rax, %rdx
subq %rcx, %rdx
movq %rax, %rdi
subq %rcx, %rdi
je 0x28ba4
sarq $0x2, %rdx
leaq (%r8,%r9,8), %r8
movl $0x1, %r9d
xorl %r10d, %r10d
cmpl %esi, (%rcx,%r10,4)
je 0x28ba5
movl %r9d, %r10d
incl %r9d
cmpq %r10, %rdx
ja 0x28b93
retq
movl -0x4(%rcx,%rdi), %edx
movl %edx, (%rcx,%r10,4)
addq $-0x4, %rax
movq %rax, 0x8(%r8)
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::removeClause(int)
void ProblemInstance::removeClause(int clause) {
	assert(removedClauses[clause] == false);
	
	tl.touchClause(clause);
	
	removedClauses[clause] = true;
	removeClauseFromLitClauses(clause);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movslq %esi, %rbx
movq 0x30(%rdi), %rax
cmpl $0x0, (%rax,%rbx,4)
jne 0x28c6f
movq %rdi, %r14
addq $0x68, %rdi
movl %ebx, %esi
callq 0x2f600
movq 0x30(%r14), %rax
movl $0x1, (%rax,%rbx,4)
movq %r14, %rdi
movl %ebx, %esi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x28bb6
leaq 0x11ab5(%rip), %rdi     # 0x3a72b
leaq 0x1199e(%rip), %rsi     # 0x3a61b
leaq 0x11ac7(%rip), %rcx     # 0x3a74b
movl $0x74, %edx
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::addClause(std::vector<int, std::allocator<int>> const&, unsigned long)
void ProblemInstance::addClause(const vector<int>& clause, uint64_t weight) {
	clauses.push_back(Clause(clause, weight));
	int cId = clauses.size() - 1;
	populateLitClauses(cId);
	
	removedClauses.push_back(0);
	
	tl.modClause(cId);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x1ffa6
leaq 0x20(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x29514
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0x291d6
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x28cdf
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x28cf6
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
imull $0xcccccccd, %eax, %ebp # imm = 0xCCCCCCCD
decl %ebp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x28aee
movl $0x0, 0x20(%rsp)
movq 0x38(%rbx), %rsi
cmpq 0x40(%rbx), %rsi
je 0x28d35
movl $0x0, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x38(%rbx)
jmp 0x28d43
leaq 0x30(%rbx), %rdi
leaq 0x20(%rsp), %rdx
callq 0x20b8a
addq $0x68, %rbx
movq %rbx, %rdi
movl %ebp, %esi
callq 0x2f592
addq $0x48, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x28d7b
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x28d7b
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x28d92
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::addVar()
int ProblemInstance::addVar() {
	litClauses.push_back(vector<int>());
	litClauses.push_back(vector<int>());
	isLabel.push_back(0);
	tl.addVar();
	return vars++;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
leaq 0x18(%rdi), %r14
xorps %xmm0, %xmm0
movq %rsp, %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
movq %r14, %rdi
callq 0x23202
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x28dd7
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
xorps %xmm0, %xmm0
movq %rsp, %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
movq %r14, %rdi
callq 0x23202
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x28e06
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl $0x0, (%rsp)
movq 0x50(%rbx), %rsi
cmpq 0x58(%rbx), %rsi
je 0x28e27
movl $0x0, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x50(%rbx)
jmp 0x28e33
leaq 0x48(%rbx), %rdi
movq %rsp, %rdx
callq 0x20b8a
leaq 0x68(%rbx), %rdi
callq 0x2f56c
movl 0x60(%rbx), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0x60(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r14
retq
jmp 0x28e4f
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x28e68
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/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::addLiteralToClause(int, int, bool)
void ProblemInstance::addLiteralToClause(int lit, int clause, bool touch) {
	// Dont add if it already exists
	for (int l : clauses[clause].lit) {
		if (l == lit) return;
		// Tautology -> runtime error
		assert(l != litNegation(lit));
	}
	if (touch) tl.modClause(clause);
	clauses[clause].addLiteral(lit);
	litClauses[lit].push_back(clause);
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movl %edx, 0x4(%rsp)
movslq %edx, %rax
movq (%rdi), %rsi
leaq (%rax,%rax,4), %rdi
movq (%rsi,%rdi,8), %rax
movq 0x8(%rsi,%rdi,8), %rsi
cmpq %rsi, %rax
sete %r8b
je 0x28ec1
movl (%rax), %edi
cmpl %ebp, %edi
je 0x28ebc
addq $0x4, %rax
xorl %ebp, %edi
cmpl $0x1, %edi
je 0x28f21
cmpq %rsi, %rax
sete %r8b
je 0x28ec1
movl (%rax), %edi
addq $0x4, %rax
cmpl %ebp, %edi
jne 0x28ea2
testb %r8b, %r8b
je 0x28f1a
testb %cl, %cl
je 0x28ed0
leaq 0x68(%rbx), %rdi
movl %edx, %esi
callq 0x2f592
movslq 0x4(%rsp), %rax
leaq (%rax,%rax,4), %rdi
shlq $0x3, %rdi
addq (%rbx), %rdi
movl %ebp, %esi
callq 0x29590
movslq %ebp, %rax
movq 0x18(%rbx), %rcx
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x28f10
movl 0x4(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x28f1a
leaq 0x4(%rsp), %rdx
callq 0x98e8
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leaq 0x1185c(%rip), %rdi     # 0x3a784
leaq 0x116ec(%rip), %rsi     # 0x3a61b
leaq 0x11864(%rip), %rcx     # 0x3a79a
movl $0x95, %edx
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::removeLiteralFromClause(int, int, bool)
void ProblemInstance::removeLiteralFromClause(int lit, int clause, bool touch) {
	if (touch) {
		tl.modClause(clause);
		tl.touchLiteral(lit);
	}
	clauses[clause].removeLiteral(lit);
	removeClauseFromLitClause(clause, lit);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %edx, %ebx
movl %esi, %ebp
movq %rdi, %r14
testl %ecx, %ecx
je 0x28f6a
leaq 0x68(%r14), %r15
movq %r15, %rdi
movl %ebx, %esi
callq 0x2f592
movq %r15, %rdi
movl %ebp, %esi
callq 0x2f638
movslq %ebx, %rax
leaq (%rax,%rax,4), %rdi
shlq $0x3, %rdi
addq (%r14), %rdi
movl %ebp, %esi
callq 0x29668
movslq %ebp, %rax
movq 0x18(%r14), %rdi
leaq (%rax,%rax,2), %r8
movq (%rdi,%r8,8), %rcx
movq 0x8(%rdi,%r8,8), %rax
movq %rax, %rdx
subq %rcx, %rdx
movq %rax, %rsi
subq %rcx, %rsi
je 0x28fd5
sarq $0x2, %rdx
leaq (%rdi,%r8,8), %rdi
movl $0x1, %r8d
xorl %r9d, %r9d
cmpl %ebx, (%rcx,%r9,4)
je 0x28fc5
movl %r8d, %r9d
incl %r8d
cmpq %r9, %rdx
ja 0x28fb2
jmp 0x28fd5
movl -0x4(%rcx,%rsi), %edx
movl %edx, (%rcx,%r9,4)
addq $-0x4, %rax
movq %rax, 0x8(%rdi)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/probleminstance.cpp
// Function: maxPreprocessor::ProblemInstance::getWeightSum()
uint64_t ProblemInstance::getWeightSum() {
	uint64_t weightSum = 0;
	for (int c = 0; c < (int)clauses.size(); c++) {
		if (!clauses[c].isHard() && !isClauseRemoved(c)) {
			weightSum += clauses[c].weight;
		}
	}
	return weightSum;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rdi
movq 0x8(%rbx), %rax
subq %rdi, %rax
shrq $0x3, %rax
imull $0xcccccccd, %eax, %eax # imm = 0xCCCCCCCD
testl %eax, %eax
jle 0x290d3
xorl %r15d, %r15d
xorl %r12d, %r12d
xorl %r14d, %r14d
addq %r15, %rdi
callq 0x29586
testb %al, %al
jne 0x290af
movq 0x30(%rbx), %rax
cmpl $0x0, (%rax,%r12,4)
jne 0x290af
movq (%rbx), %rax
addq 0x18(%rax,%r15), %r14
incq %r12
movq (%rbx), %rdi
movq 0x8(%rbx), %rax
subq %rdi, %rax
shrq $0x3, %rax
imull $0xcccccccd, %eax, %eax # imm = 0xCCCCCCCD
cltq
addq $0x28, %r15
cmpq %rax, %r12
jl 0x29090
jmp 0x290d6
xorl %r14d, %r14d
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/timer.cpp
// Function: maxPreprocessor::Timer::stop()
void Timer::stop() {
	if (!timing) return;
	timing = false;
	chrono::time_point<std::chrono::steady_clock> endTime = chrono::steady_clock::now();
	elapsedTime += (endTime - startTime);
}

// Assembly:
cmpb $0x1, (%rdi)
jne 0x294b9
pushq %rbx
movq %rdi, %rbx
movb $0x0, (%rdi)
callq 0x3390
subq 0x10(%rbx), %rax
cvtsi2sd %rax, %xmm0
divsd 0x1133a(%rip), %xmm0    # 0x3a7e8
addsd 0x8(%rbx), %xmm0
movsd %xmm0, 0x8(%rbx)
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/timer.cpp
// Function: maxPreprocessor::Timer::getTime()
chrono::duration<double> Timer::getTime() {
	if (timing) {
		stop();
		chrono::duration<double> ret = elapsedTime;
		start();
		return ret;
	}
	else {
		return elapsedTime;
	}
}

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
cmpb $0x1, (%rdi)
jne 0x29509
movb $0x0, (%rbx)
callq 0x3390
subq 0x10(%rbx), %rax
cvtsi2sd %rax, %xmm0
divsd 0x11308(%rip), %xmm0    # 0x3a7e8
addsd 0x8(%rbx), %xmm0
movsd %xmm0, 0x8(%rbx)
cmpb $0x0, (%rbx)
jne 0x2950e
movb $0x1, (%rbx)
movsd %xmm0, 0x8(%rsp)
callq 0x3390
movsd 0x8(%rsp), %xmm0
movq %rax, 0x10(%rbx)
jmp 0x2950e
movsd 0x8(%rbx), %xmm0
addq $0x10, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/clause.cpp
// Function: maxPreprocessor::Clause::addLiteral(int)
void Clause::addLiteral(int l) {
	lit.push_back(0);
	bool f = false;
	for (int i = 0; i < (int)lit.size() - 1; i++) {
		if (lit[i] > l) {
			for (int j = (int)lit.size() - 1; j > i; j--) {
				lit[j] = lit[j - 1];
			}
			lit[i] = l;
			f = true;
			break;
		}
	}
	if (!f) lit.back() = l;
	
	updateHash();
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movl $0x0, 0x4(%rsp)
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x295ba
movl $0x0, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x295c7
leaq 0x4(%rsp), %rdx
movq %rbx, %rdi
callq 0x20b8a
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
movq %rcx, %rdx
subq %rax, %rdx
shrq $0x2, %rdx
cmpl $0x2, %edx
jl 0x29605
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
leal (%rdx,%r8), %r9d
xorl %edi, %edi
movq %rax, %rsi
xorl %r10d, %r10d
cmpl %ebp, (%rsi)
jg 0x29635
incq %r10
addq %r8, %rdi
incq %rdi
addq $0x4, %rsi
cmpq %r10, %r9
jne 0x295ef
leaq -0x4(%rcx), %rsi
movl %ebp, (%rsi)
movq $0x0, 0x20(%rbx)
cmpq %rcx, %rax
je 0x2962e
xorl %edx, %edx
movb (%rax), %sil
btsq %rsi, %rdx
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x2961a
movq %rdx, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
leal -0x1(%rdx), %r8d
cmpl %r10d, %r8d
jle 0x29609
movl %edx, %r8d
andl $0x7fffffff, %r8d       # imm = 0x7FFFFFFF
decq %r8
sarq $0x20, %rdi
movslq %edx, %rdx
movl -0x8(%rax,%rdx,4), %edx
movl %edx, (%rax,%r8,4)
movq %r8, %rdx
decq %r8
cmpq %rdi, %r8
jg 0x2964f
jmp 0x29609
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/clause.cpp
// Function: maxPreprocessor::Clause::removeLiteral(int)
void Clause::removeLiteral(int l) {
	bool f = false;
	
	for (int i = 0; i < (int)lit.size(); i++) {
		if (lit[i] == l) {
			f = true;
			for (int j = i + 1; j < (int)lit.size(); j++) {
				lit[j - 1] = lit[j];
			}
			lit.pop_back();
			break;
		}
	}
	
	assert(f == true);
	updateHash();
}

// Assembly:
pushq %rax
movq (%rdi), %rax
movq 0x8(%rdi), %rcx
movq %rcx, %rdx
subq %rax, %rdx
shrq $0x2, %rdx
testl %edx, %edx
jle 0x29699
movl %edx, %r9d
andl $0x7fffffff, %r9d       # imm = 0x7FFFFFFF
xorl %r8d, %r8d
cmpl %esi, (%rax,%r8,4)
je 0x296b8
incq %r8
cmpq %r8, %r9
jne 0x2968b
leaq 0x11150(%rip), %rdi     # 0x3a7f0
leaq 0x11153(%rip), %rsi     # 0x3a7fa
leaq 0x11157(%rip), %rcx     # 0x3a805
movl $0x3c, %edx
callq 0x31b0
leal 0x1(%r8), %esi
cmpl %edx, %esi
jge 0x296d3
decl %edx
movl 0x4(%rax,%r8,4), %esi
movl %esi, (%rax,%r8,4)
incq %r8
cmpq %r8, %rdx
jne 0x296c2
addq $-0x4, %rcx
movq %rcx, 0x8(%rdi)
movq $0x0, 0x20(%rdi)
cmpq %rcx, %rax
je 0x296fe
xorl %edx, %edx
movb (%rax), %sil
btsq %rsi, %rdx
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x296ea
movq %rdx, 0x20(%rdi)
popq %rax
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::Log()
Log::Log() {
	activeTechnique = none;
	tLog.resize(30);
	tTimer.resize(30);
	timeLimit = 0;
	gatesExtracted = 0;
	labelsMatched = 0;
	binaryCoresFound = 0;
	toReallocate = 0;
	initialWeightRange = 0;
	weightRange = 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rdi)
movups %xmm0, 0x20(%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq $0x0, 0x40(%rdi)
movabsq $0x41cdcd6500000000, %rax # imm = 0x41CDCD6500000000
movq %rax, 0x48(%rdi)
addq $0x68, %rdi
callq 0x29468
leaq 0x80(%rbx), %r15
leaq 0x98(%rbx), %r12
movl $0x0, 0x60(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x80(%rbx)
movups %xmm0, 0x90(%rbx)
movups %xmm0, 0xa0(%rbx)
movl $0x1e, %esi
movq %r15, %rdi
callq 0x2a7a8
movl $0x1e, %esi
movq %r12, %rdi
callq 0x2a7dc
movq $0x0, 0xb0(%rbx)
movl $0x0, 0xb8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x50(%rbx)
movups %xmm0, 0xc0(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %r14
jmp 0x2989f
movq %rax, %r14
movq (%r12), %rdi
testq %rdi, %rdi
je 0x29888
movq 0xa8(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq (%r15), %rdi
testq %rdi, %rdi
je 0x2989f
movq 0x90(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x30(%rbx), %rdi
testq %rdi, %rdi
je 0x298b4
movq 0x40(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x298c9
movq 0x28(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x298dd
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/log.cpp
// Function: maxPreprocessor::Log::print(std::ostream&)
void Log::print(ostream& out) {
	out<<"c removed clauses, variables, literals, labels\n";
	out<<"c BCE\n";
	tLog[BCE].print(out);
	out<<"c UP\n";
	tLog[UP].print(out);
	out<<"c BVE\n";
	tLog[BVE].print(out);
	out<<"c SE\n";
	tLog[SE].print(out);
	out<<"c SSR\n";
	tLog[SSR].print(out);
	out<<"c SLE\n";
	tLog[SLE].print(out);
	out<<"c BCR\n";
	tLog[BCR].print(out);
	out<<"c SIE\n";
	tLog[SIE].print(out);
	out<<"c EE\n";
	tLog[EE].print(out);
	out<<"c BVA\n";
	tLog[BVA].print(out);
	out<<"c GSLE\n";
	tLog[GSLE].print(out);
	out<<"c FLP\n";
	tLog[FLP].print(out);
	out<<"c UH\n";
	tLog[UH].print(out);
	out<<"c LS\n";
	tLog[LS].print(out);
	out.flush();
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x10f4e(%rip), %rsi     # 0x3a9bf
movl $0x2f, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0x10f6a(%rip), %rsi     # 0x3a9ef
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x10, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10f4a(%rip), %rsi     # 0x3a9f6
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x20, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10f29(%rip), %rsi     # 0x3a9fc
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x30, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10f09(%rip), %rsi     # 0x3aa03
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x40, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10ee8(%rip), %rsi     # 0x3aa09
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x50, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10ec8(%rip), %rsi     # 0x3aa10
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x60, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10ea8(%rip), %rsi     # 0x3aa17
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x70, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10e88(%rip), %rsi     # 0x3aa1e
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x80, %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10e65(%rip), %rsi     # 0x3aa25
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x90, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10e43(%rip), %rsi     # 0x3aa2b
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xa0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10e22(%rip), %rsi     # 0x3aa32
movl $0x7, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xb0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10e02(%rip), %rsi     # 0x3aa3a
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xc0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10de1(%rip), %rsi     # 0x3aa41
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xd0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
leaq 0x10dbf(%rip), %rsi     # 0x3aa47
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xe0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x29708
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x31e0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::printInfo(std::ostream&)
void Log::printInfo(ostream& out) {
	out<<"c Labels matched "<<labelsMatched<<'\n';
	out<<"c Gates extracted "<<gatesExtracted<<'\n';
	out<<"c Binary cores found "<<binaryCoresFound<<'\n';
	out<<"c Original weight range "<<initialWeightRange<<'\n';
	out<<"c Preprocessed weight range "<<weightRange<<'\n';
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x10a09(%rip), %rsi     # 0x3aabe
movl $0x11, %edx
movq %rbx, %rdi
callq 0x3310
movl 0xb4(%r14), %esi
movq %rbx, %rdi
callq 0x3490
movb $0xa, %bpl
leaq 0xb(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x109e0(%rip), %rsi     # 0x3aad0
movl $0x12, %edx
movq %rbx, %rdi
callq 0x3310
movl 0xb0(%r14), %esi
movq %rbx, %rdi
callq 0x3490
leaq 0xc(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x109bb(%rip), %rsi     # 0x3aae3
movl $0x15, %edx
movq %rbx, %rdi
callq 0x3310
movl 0xb8(%r14), %esi
movq %rbx, %rdi
callq 0x3490
leaq 0xd(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10999(%rip), %rsi     # 0x3aaf9
movl $0x18, %edx
movq %rbx, %rdi
callq 0x3310
movq 0xc0(%r14), %rsi
movq %rbx, %rdi
callq 0x31d0
leaq 0xe(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x1097a(%rip), %rsi     # 0x3ab12
movl $0x1c, %edx
movq %rbx, %rdi
callq 0x3310
movq 0xc8(%r14), %rsi
movq %rbx, %rdi
callq 0x31d0
leaq 0xf(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::requestTime(maxPreprocessor::Log::Technique)
bool Log::requestTime(Technique t) {
	if (timeLimit > infTime/2) return true;
	assert(activeTechnique == t);
	if (askHistory.size() == 0 || askHistory.back() != t) newRequest(t);
	if (totalTimer.getTime().count() > timeLimit) return false;
	if (tTimer[t].getTime().count() < tTimeLimit[t]) return true;
	tTimeLimit[t] += toReallocate; // give reallocate time
	toReallocate = 0;
	return tTimer[t].getTime().count() < tTimeLimit[t];
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movsd 0x48(%rdi), %xmm0
mulsd 0x103c8(%rip), %xmm0    # 0x3a840
movsd 0x58(%rdi), %xmm1
movb $0x1, %bpl
ucomisd %xmm0, %xmm1
ja 0x2a526
movl %esi, %r14d
movq %rdi, %rbx
cmpl %esi, 0x60(%rdi)
jne 0x2a533
movq 0x38(%rbx), %rax
cmpq 0x30(%rbx), %rax
je 0x2a4a9
cmpl %r14d, -0x4(%rax)
je 0x2a4b4
movq %rbx, %rdi
movl %r14d, %esi
callq 0x2a552
leaq 0x68(%rbx), %rdi
callq 0x294ba
ucomisd 0x58(%rbx), %xmm0
jbe 0x2a4c8
xorl %ebp, %ebp
jmp 0x2a526
movl %r14d, %r15d
leaq (%r15,%r15,2), %r14
shlq $0x3, %r14
movq 0x98(%rbx), %rdi
addq %r14, %rdi
callq 0x294ba
movq 0x18(%rbx), %rax
movsd (%rax,%r15,8), %xmm1
ucomisd %xmm0, %xmm1
ja 0x2a526
addsd 0x50(%rbx), %xmm1
movsd %xmm1, (%rax,%r15,8)
movq $0x0, 0x50(%rbx)
addq 0x98(%rbx), %r14
movq %r14, %rdi
callq 0x294ba
movq 0x18(%rbx), %rax
movsd (%rax,%r15,8), %xmm1
ucomisd %xmm0, %xmm1
seta %bpl
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1036e(%rip), %rdi     # 0x3a8a8
leaq 0x1032a(%rip), %rsi     # 0x3a86b
leaq 0x10667(%rip), %rcx     # 0x3abaf
movl $0xca, %edx
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::newRequest(maxPreprocessor::Log::Technique)
void Log::newRequest(Technique t) {
	askHistory.push_back(t);
	if (totalTimer.getTime().count() > timeLimit) return; // timelimit anyway
	if (tTimer[t].getTime().count() < tTimeLimit[t]) return; // has time left
	// try to allocate more time
	map<Technique, double> excessTime;
	for (int i = (int)askHistory.size() - 2; i >= 0; i--) {
		if (askHistory[i] == t) break;
		if (excessTime.count(askHistory[i]) == 0) {
			Technique tt = askHistory[i];
			if (tTimeLimit[tt] - tTimer[tt].getTime().count() > 0) {
				excessTime[tt] = tTimeLimit[tt] - tTimer[tt].getTime().count();
			}
		}
	}
	for (auto et : excessTime) {
		// magic constant
		tTimeLimit[t] += et.second/3; // reallocate third of the excess
		tTimeLimit[et.first] -= et.second/3;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %esi, %eax
movq %rdi, %rbx
movl %esi, (%rsp)
leaq 0x30(%rdi), %r14
movq 0x38(%rdi), %rsi
cmpq 0x40(%rdi), %rsi
je 0x2a582
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x38(%rbx)
jmp 0x2a58d
movq %rsp, %rdx
movq %r14, %rdi
callq 0x2af6e
leaq 0x68(%rbx), %rdi
callq 0x294ba
ucomisd 0x58(%rbx), %xmm0
ja 0x2a715
movl (%rsp), %eax
leaq (%rax,%rax,2), %rdi
shlq $0x3, %rdi
addq 0x98(%rbx), %rdi
callq 0x294ba
movl (%rsp), %eax
movq 0x18(%rbx), %rcx
movsd (%rcx,%rax,8), %xmm1
ucomisd %xmm0, %xmm1
ja 0x2a715
leaq 0x20(%rsp), %r13
movl $0x0, (%r13)
xorl %eax, %eax
movq %rax, 0x8(%r13)
movq %r13, 0x10(%r13)
movq %r13, 0x18(%r13)
movq %rax, 0x20(%r13)
movq 0x38(%rbx), %rbp
subq 0x30(%rbx), %rbp
shrq $0x2, %rbp
cmpl $0x2, %ebp
jl 0x2a6be
decl %ebp
leaq 0x18(%rsp), %r15
leaq 0x4(%rsp), %r12
decl %ebp
movq (%r14), %rax
movl (%rax,%rbp,4), %ecx
cmpl (%rsp), %ecx
je 0x2a6be
leaq (%rax,%rbp,4), %rsi
movq %r15, %rdi
callq 0x2a852
testq %rax, %rax
jne 0x2a6b6
movq 0x30(%rbx), %rax
movl (%rax,%rbp,4), %eax
movl %eax, 0x4(%rsp)
movq 0x18(%rbx), %rcx
movsd (%rcx,%rax,8), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq (%rax,%rax,2), %rdi
shlq $0x3, %rdi
addq 0x98(%rbx), %rdi
callq 0x294ba
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x2a6b6
movl 0x4(%rsp), %eax
movq 0x18(%rbx), %rcx
movsd (%rcx,%rax,8), %xmm0
movsd %xmm0, 0x8(%rsp)
leaq (%rax,%rax,2), %rdi
shlq $0x3, %rdi
addq 0x98(%rbx), %rdi
callq 0x294ba
movsd %xmm0, 0x10(%rsp)
movq %r15, %rdi
movq %r12, %rsi
callq 0x2a89c
movsd 0x8(%rsp), %xmm0
subsd 0x10(%rsp), %xmm0
movsd %xmm0, (%rax)
testl %ebp, %ebp
jg 0x2a60e
movq 0x30(%rsp), %rax
cmpq %r13, %rax
je 0x2a70b
movl (%rsp), %r14d
movq 0x18(%rbx), %rbx
movl 0x20(%rax), %ecx
movsd 0x28(%rax), %xmm0
divsd 0x10168(%rip), %xmm0    # 0x3a848
movsd (%rbx,%r14,8), %xmm1
addsd %xmm0, %xmm1
movsd %xmm1, (%rbx,%r14,8)
movsd (%rbx,%rcx,8), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, (%rbx,%rcx,8)
movq %rax, %rdi
callq 0x31f0
cmpq %r13, %rax
jne 0x2a6d0
leaq 0x18(%rsp), %rdi
callq 0x2a950
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2a728
jmp 0x2a728
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x2a950
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/AMSLEX.cpp
// Function: maxPreprocessor::AMSLEX::assumeSize(unsigned int)
void AMSLEX::assumeSize(unsigned size) {
	if (dataSize < size) {
		unsigned newSize = max(2 * dataSize, size);
		data = (int*)realloc(data, newSize * sizeof(int));
		dataSize = newSize;
	}
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl 0x60(%rdi), %r14d
cmpl %esi, %r14d
jae 0x2b361
movq %rdi, %rbx
addl %r14d, %r14d
cmpl %esi, %r14d
cmovbel %esi, %r14d
movq 0x58(%rdi), %rdi
leaq (,%r14,4), %rsi
callq 0x3470
movq %rax, 0x58(%rbx)
movl %r14d, 0x60(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/AMSLEX.cpp
// Function: maxPreprocessor::AMSLEX::amsLexSE(std::vector<int, std::allocator<int>> const&)
vector<int> AMSLEX::amsLexSE(const vector<int>& clauses) {
	if (clauses.size() <= 700) {
		return amsLexSENonPerm(clauses);
	}
	else {
		return amsLexSEPerm(clauses);
	}
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x8(%rdx), %rax
subq (%rdx), %rax
cmpq $0xaf3, %rax            # imm = 0xAF3
ja 0x2c634
callq 0x2b932
jmp 0x2c639
callq 0x2bc5a
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::init(int)
void TouchedList::init(int vars_) {
	vars = vars_;
	itr = 1;
	frontItr = 1;
	getItr = 1;
	touchedLiterals.clear();
	modLiterals.clear();
	touchedClauses.clear();
	modClauses.clear();
	techniqueItr.clear();
	getI.resize(vars*2);
	for (int i = 0; i < (int)getI.size(); i++) {
		getI[i] = 0;
	}
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movl %esi, 0x19c(%rdi)
movl $0x1, %eax
movq %rax, 0x188(%rdi)
movq %rax, 0x190(%rdi)
movl $0x1, 0x198(%rdi)
callq 0x30ffe
leaq 0x50(%rbx), %rdi
callq 0x30ffe
leaq 0xa0(%rbx), %rdi
callq 0x30ffe
leaq 0xf0(%rbx), %rdi
callq 0x30ffe
leaq 0x140(%rbx), %rdi
callq 0x312a8
leaq 0x170(%rbx), %rdi
movslq 0x19c(%rbx), %rsi
addq %rsi, %rsi
callq 0x8cbc
movq 0x170(%rbx), %rdi
movq 0x178(%rbx), %rdx
subq %rdi, %rdx
movq %rdx, %rax
shrq $0x2, %rax
testl %eax, %eax
jle 0x2f37c
movabsq $0x1fffffffc, %rax      # imm = 0x1FFFFFFFC
andq %rax, %rdx
xorl %esi, %esi
popq %rbx
jmp 0x3170
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::shrink(bool)
void TouchedList::shrink(bool log) {
	uint64_t mi = 1e18;
	for (auto t : techniqueItr) {
		mi = min(mi, t.S);
	}
	if (mi <= frontItr) return;
	if (mi - frontItr < (uint64_t)vars) return;
	frontItr = mi;
	int rm = 0;
	while (!touchedLiterals.empty() && touchedLiterals.front().F < frontItr) {
		touchedLiterals.pop_front();
		rm++;
	}
	touchedLiterals.shrink_to_fit();
	while (!touchedClauses.empty() && touchedClauses.front().F < frontItr) {
		touchedClauses.pop_front();
		rm++;
	}
	touchedClauses.shrink_to_fit();
	while (!modLiterals.empty() && modLiterals.front().F < frontItr) {
		modLiterals.pop_front();
		rm++;
	}
	modLiterals.shrink_to_fit();
	while (!modClauses.empty() && modClauses.front().F < frontItr) {
		modClauses.pop_front();
		rm++;
	}
	modClauses.shrink_to_fit();
	if (log) cerr<<"shrinked "<<rm<<endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %esi, 0xc(%rsp)
movq %rdi, %r14
movabsq $0xde0b6b3a7640000, %r13 # imm = 0xDE0B6B3A7640000
movq 0x158(%rdi), %r15
leaq 0x148(%rdi), %rbp
cmpq %rbp, %r15
je 0x2f409
leaq 0x20(%rsp), %rbx
leaq 0x10(%rsp), %r12
movq %rbx, 0x10(%rsp)
movq 0x20(%r15), %rsi
movq 0x28(%r15), %rdx
addq %rsi, %rdx
movq %r12, %rdi
callq 0x93cc
movq 0x40(%r15), %rax
movq %rax, 0x30(%rsp)
cmpq %r13, %rax
cmovbq %rax, %r13
movq 0x10(%rsp), %rdi
cmpq %rbx, %rdi
je 0x2f3f9
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x32b0
movq %r15, %rdi
callq 0x31f0
movq %rax, %r15
cmpq %rbp, %rax
jne 0x2f3ba
movq %r13, %rax
subq 0x190(%r14), %rax
jbe 0x2f55d
movslq 0x19c(%r14), %rcx
cmpq %rcx, %rax
jb 0x2f55d
movq %r13, 0x190(%r14)
movq 0x10(%r14), %rax
cmpq %rax, 0x30(%r14)
je 0x2f45e
xorl %ebp, %ebp
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2f460
movq %r14, %rdi
callq 0x31066
incl %ebp
movq 0x10(%r14), %rax
cmpq %rax, 0x30(%r14)
jne 0x2f43c
jmp 0x2f460
xorl %ebp, %ebp
movq %r14, %rdi
callq 0x312d6
leaq 0xa0(%r14), %r15
movq 0xb0(%r14), %rax
cmpq %rax, 0xd0(%r14)
je 0x2f497
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2f497
movq %r15, %rdi
callq 0x31066
incl %ebp
jmp 0x2f46f
movq %r15, %rdi
callq 0x312d6
leaq 0x50(%r14), %r15
movq 0x60(%r14), %rax
cmpq %rax, 0x80(%r14)
je 0x2f4c8
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2f4c8
movq %r15, %rdi
callq 0x31066
incl %ebp
jmp 0x2f4a3
movq %r15, %rdi
callq 0x312d6
leaq 0xf0(%r14), %r15
movq 0x100(%r14), %rax
cmpq %rax, 0x120(%r14)
je 0x2f4ff
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2f4ff
movq %r15, %rdi
callq 0x31066
incl %ebp
jmp 0x2f4d7
movq %r15, %rdi
callq 0x312d6
cmpb $0x0, 0xc(%rsp)
je 0x2f55d
movq 0x19adb(%rip), %rbx     # 0x48ff0
leaq 0xb720(%rip), %rsi      # 0x3ac3c
movl $0x9, %edx
movq %rbx, %rdi
callq 0x3310
movq %rbx, %rdi
movl %ebp, %esi
callq 0x3490
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq