LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/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 0x287c1
movb $0x0, (%rbx)
callq 0x3390
subq 0x10(%rbx), %rax
cvtsi2sd %rax, %xmm0
divsd 0xe870(%rip), %xmm0     # 0x37008
addsd 0x8(%rbx), %xmm0
movsd %xmm0, 0x8(%rbx)
cmpb $0x0, (%rbx)
jne 0x287c6
movb $0x1, (%rbx)
movsd %xmm0, 0x8(%rsp)
callq 0x3390
movsd 0x8(%rsp), %xmm0
movq %rax, 0x10(%rbx)
jmp 0x287c6
movsd 0x8(%rbx), %xmm0
addq $0x10, %rsp
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x28872
movl $0x0, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x28883
leaq 0x4(%rsp), %rdx
movq %rbx, %rdi
callq 0x1ffb8
movq 0x8(%rbx), %rsi
movq (%rbx), %rax
movq %rsi, %rcx
subq %rax, %rcx
shrq $0x2, %rcx
cmpl $0x2, %ecx
jl 0x288c1
leal -0x1(%rcx), %r8d
movl %r8d, %r9d
xorl %edi, %edi
movabsq $0x100000000, %r10      # imm = 0x100000000
movq %rax, %rdx
xorl %r11d, %r11d
cmpl %ebp, (%rdx)
jg 0x288f0
incq %r11
addq $0x4, %rdx
addq %r10, %rdi
cmpq %r11, %r9
jne 0x288ae
leaq -0x4(%rsi), %rdx
movl %ebp, (%rdx)
movq $0x0, 0x20(%rbx)
cmpq %rsi, %rax
je 0x288e9
xorl %ecx, %ecx
movb (%rax), %dl
btsq %rdx, %rcx
addq $0x4, %rax
cmpq %rsi, %rax
jne 0x288d6
movq %rcx, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
cmpl %r11d, %r8d
jle 0x288c5
movl %ecx, %r8d
andl $0x7fffffff, %r8d       # imm = 0x7FFFFFFF
decq %r8
sarq $0x20, %rdi
movslq %ecx, %rcx
movl -0x8(%rax,%rcx,4), %ecx
movl %ecx, (%rax,%r8,4)
movq %r8, %rcx
decq %r8
cmpq %rdi, %r8
jg 0x28906
jmp 0x288c5
// File: /workspace/github_cpp_makefile_star2_O3/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 0x2894f
movl %edx, %r9d
andl $0x7fffffff, %r9d       # imm = 0x7FFFFFFF
xorl %r8d, %r8d
cmpl %esi, (%rax,%r8,4)
je 0x2896e
incq %r8
cmpq %r8, %r9
jne 0x28941
leaq 0x10f2e(%rip), %rdi     # 0x39884
leaq 0x10f31(%rip), %rsi     # 0x3988e
leaq 0x10f35(%rip), %rcx     # 0x39899
movl $0x3c, %edx
callq 0x31b0
leal 0x1(%r8), %esi
cmpl %edx, %esi
jge 0x28989
decl %edx
movl 0x4(%rax,%r8,4), %esi
movl %esi, (%rax,%r8,4)
incq %r8
cmpq %r8, %rdx
jne 0x28978
addq $-0x4, %rcx
movq %rcx, 0x8(%rdi)
movq $0x0, 0x20(%rdi)
cmpq %rcx, %rax
je 0x289b4
xorl %edx, %edx
movb (%rax), %sil
btsq %rsi, %rdx
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x289a0
movq %rdx, 0x20(%rdi)
popq %rax
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x28720
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 0x29a5c
movl $0x1e, %esi
movq %r12, %rdi
callq 0x29a90
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 0x28b57
movq %rax, %r14
movq (%r12), %rdi
testq %rdi, %rdi
je 0x28b40
movq 0xa8(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq (%r15), %rdi
testq %rdi, %rdi
je 0x28b57
movq 0x90(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x30(%rbx), %rdi
testq %rdi, %rdi
je 0x28b6c
movq 0x40(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x28b81
movq 0x28(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x28b95
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x10d8e(%rip), %rsi     # 0x39ab7
movl $0x2f, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0x10daa(%rip), %rsi     # 0x39ae7
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x10, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10d8a(%rip), %rsi     # 0x39aee
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x20, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10d69(%rip), %rsi     # 0x39af4
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x30, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10d49(%rip), %rsi     # 0x39afb
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x40, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10d28(%rip), %rsi     # 0x39b01
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x50, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10d08(%rip), %rsi     # 0x39b08
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x60, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10ce8(%rip), %rsi     # 0x39b0f
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x70, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10cc8(%rip), %rsi     # 0x39b16
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x80(%r14), %rdi
addq $0x80, %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10ca5(%rip), %rsi     # 0x39b1d
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x90, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10c83(%rip), %rsi     # 0x39b23
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xa0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10c62(%rip), %rsi     # 0x39b2a
movl $0x7, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xb0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10c42(%rip), %rsi     # 0x39b32
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xc0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10c21(%rip), %rsi     # 0x39b39
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xd0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
leaq 0x10bff(%rip), %rsi     # 0x39b3f
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xe0, %edi
addq 0x80(%r14), %rdi
movq %rbx, %rsi
callq 0x289c0
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x31e0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x10849(%rip), %rsi     # 0x39bb6
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 0x10820(%rip), %rsi     # 0x39bc8
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 0x107fb(%rip), %rsi     # 0x39bdb
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 0x107d9(%rip), %rsi     # 0x39bf1
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 0x107ba(%rip), %rsi     # 0x39c0a
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_O3/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 0x1020c(%rip), %xmm0    # 0x39938
movsd 0x58(%rdi), %xmm1
movb $0x1, %bpl
ucomisd %xmm0, %xmm1
ja 0x297da
movl %esi, %r14d
movq %rdi, %rbx
cmpl %esi, 0x60(%rdi)
jne 0x297e7
movq 0x38(%rbx), %rax
cmpq 0x30(%rbx), %rax
je 0x2975d
cmpl %r14d, -0x4(%rax)
je 0x29768
movq %rbx, %rdi
movl %r14d, %esi
callq 0x29806
leaq 0x68(%rbx), %rdi
callq 0x28772
ucomisd 0x58(%rbx), %xmm0
jbe 0x2977c
xorl %ebp, %ebp
jmp 0x297da
movl %r14d, %r15d
leaq (%r15,%r15,2), %r14
shlq $0x3, %r14
movq 0x98(%rbx), %rdi
addq %r14, %rdi
callq 0x28772
movq 0x18(%rbx), %rax
movsd (%rax,%r15,8), %xmm1
ucomisd %xmm0, %xmm1
ja 0x297da
addsd 0x50(%rbx), %xmm1
movsd %xmm1, (%rax,%r15,8)
movq $0x0, 0x50(%rbx)
addq 0x98(%rbx), %r14
movq %r14, %rdi
callq 0x28772
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 0x101b2(%rip), %rdi     # 0x399a0
leaq 0x1016e(%rip), %rsi     # 0x39963
leaq 0x104ab(%rip), %rcx     # 0x39ca7
movl $0xca, %edx
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x29836
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x38(%rbx)
jmp 0x29841
movq %rsp, %rdx
movq %r14, %rdi
callq 0x2a226
leaq 0x68(%rbx), %rdi
callq 0x28772
ucomisd 0x58(%rbx), %xmm0
ja 0x299c9
movl (%rsp), %eax
leaq (%rax,%rax,2), %rdi
shlq $0x3, %rdi
addq 0x98(%rbx), %rdi
callq 0x28772
movl (%rsp), %eax
movq 0x18(%rbx), %rcx
movsd (%rcx,%rax,8), %xmm1
ucomisd %xmm0, %xmm1
ja 0x299c9
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 0x299bf
decl %ebp
leaq 0x18(%rsp), %r15
leaq 0x4(%rsp), %r12
decl %ebp
movq (%r14), %rax
movl (%rax,%rbp,4), %ecx
cmpl (%rsp), %ecx
je 0x29972
leaq (%rax,%rbp,4), %rsi
movq %r15, %rdi
callq 0x29b06
testq %rax, %rax
jne 0x2996a
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 0x28772
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x2996a
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 0x28772
movsd %xmm0, 0x10(%rsp)
movq %r15, %rdi
movq %r12, %rsi
callq 0x29b4e
movsd 0x8(%rsp), %xmm0
subsd 0x10(%rsp), %xmm0
movsd %xmm0, (%rax)
testl %ebp, %ebp
jg 0x298c2
movq 0x30(%rsp), %rax
cmpq %r13, %rax
je 0x299bf
movl (%rsp), %r14d
movq 0x18(%rbx), %rbx
movl 0x20(%rax), %ecx
movsd 0x28(%rax), %xmm0
divsd 0xffac(%rip), %xmm0     # 0x39940
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 0x29984
leaq 0x18(%rsp), %rdi
callq 0x29c04
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x299dc
jmp 0x299dc
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x29c04
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x2b960
callq 0x2ab64
jmp 0x2b965
callq 0x2ae78
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x3006c
leaq 0x50(%rbx), %rdi
callq 0x3006c
leaq 0xa0(%rbx), %rdi
callq 0x3006c
leaq 0xf0(%rbx), %rdi
callq 0x3006c
leaq 0x140(%rbx), %rdi
callq 0x30310
leaq 0x170(%rbx), %rdi
movslq 0x19c(%rbx), %rsi
addq %rsi, %rsi
callq 0x8cac
movq 0x170(%rbx), %rdi
movq 0x178(%rbx), %rdx
subq %rdi, %rdx
movq %rdx, %rax
shrq $0x2, %rax
testl %eax, %eax
jle 0x2e66c
movabsq $0x1fffffffc, %rax      # imm = 0x1FFFFFFFC
andq %rax, %rdx
xorl %esi, %esi
popq %rbx
jmp 0x3170
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O3/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 0x2e6f9
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 0x93d0
movq 0x40(%r15), %rax
movq %rax, 0x30(%rsp)
cmpq %r13, %rax
cmovbq %rax, %r13
movq 0x10(%rsp), %rdi
cmpq %rbx, %rdi
je 0x2e6e9
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x32b0
movq %r15, %rdi
callq 0x31f0
movq %rax, %r15
cmpq %rbp, %rax
jne 0x2e6aa
movq %r13, %rax
subq 0x190(%r14), %rax
jbe 0x2e84d
movslq 0x19c(%r14), %rcx
cmpq %rcx, %rax
jb 0x2e84d
movq %r13, 0x190(%r14)
movq 0x10(%r14), %rax
cmpq %rax, 0x30(%r14)
je 0x2e74e
xorl %ebp, %ebp
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2e750
movq %r14, %rdi
callq 0x300ce
incl %ebp
movq 0x10(%r14), %rax
cmpq %rax, 0x30(%r14)
jne 0x2e72c
jmp 0x2e750
xorl %ebp, %ebp
movq %r14, %rdi
callq 0x3033e
leaq 0xa0(%r14), %r15
movq 0xb0(%r14), %rax
cmpq %rax, 0xd0(%r14)
je 0x2e787
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2e787
movq %r15, %rdi
callq 0x300ce
incl %ebp
jmp 0x2e75f
movq %r15, %rdi
callq 0x3033e
leaq 0x50(%r14), %r15
movq 0x60(%r14), %rax
cmpq %rax, 0x80(%r14)
je 0x2e7b8
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2e7b8
movq %r15, %rdi
callq 0x300ce
incl %ebp
jmp 0x2e793
movq %r15, %rdi
callq 0x3033e
leaq 0xf0(%r14), %r15
movq 0x100(%r14), %rax
cmpq %rax, 0x120(%r14)
je 0x2e7ef
movq (%rax), %rax
cmpq 0x190(%r14), %rax
jae 0x2e7ef
movq %r15, %rdi
callq 0x300ce
incl %ebp
jmp 0x2e7c7
movq %r15, %rdi
callq 0x3033e
cmpb $0x0, 0xc(%rsp)
je 0x2e84d
movq 0x197eb(%rip), %rbx     # 0x47ff0
leaq 0xb544(%rip), %rsi      # 0x39d50
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
// File: /workspace/github_cpp_makefile_star2_O3/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 0x30854
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x2f63e
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2ec56
jmp 0x2f68e
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
addq %rsi, %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c20
cmpl $0x0, 0x19c(%r14)
jle 0x2f68e
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
addq %rdx, %rdx
cmpq %rdx, %rcx
jl 0x2f679
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 0x2f6b7
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x30854
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x2f83e
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2ec56
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2e956
jmp 0x2f88e
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
addq %rsi, %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c20
cmpl $0x0, 0x19c(%r14)
jle 0x2f88e
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
addq %rdx, %rdx
cmpq %rdx, %rcx
jl 0x2f879
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 0x2f8b7
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x30854
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x2f948
incl 0x198(%r14)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2f28e
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2ef60
jmp 0x2f992
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq %r13, (%rax)
movslq 0x19c(%r14), %rsi
leaq 0x7(%rsp), %rdx
movq %rbx, %rdi
callq 0x8c20
cmpl $0x0, 0x19c(%r14)
jle 0x2f992
movq (%rbx), %rax
xorl %ecx, %ecx
movl %ecx, (%rax,%rcx,4)
incq %rcx
movslq 0x19c(%r14), %rdx
cmpq %rdx, %rcx
jl 0x2f980
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 0x2f9bb
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x1880(%rdi), %rax
movq 0x1888(%rdi), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
movl %esi, %r12d
negl %r12d
cmovsl %esi, %r12d
cmpq %r12, %rcx
jae 0x31173
movq %r14, %rdi
movq %r12, %rsi
callq 0x8cac
movq (%r14), %rax
movslq %r12d, %rcx
leaq -0x1(%rcx), %r13
cmpl $0x0, -0x4(%rax,%rcx,4)
jne 0x311ce
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 0x311ba
movl %r12d, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x1870(%r15)
jmp 0x311ce
addq $0x1868, %r15           # imm = 0x1868
leaq 0xc(%rsp), %rdx
movq %r15, %rdi
callq 0x1ffb8
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
// File: /workspace/github_cpp_makefile_star2_O3/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 0x31290
movq %rsp, %r15
leaq 0x20(%rsp), %r12
movl (%r13), %eax
movl %eax, 0x20(%rsp)
movq 0x1868(%r14), %rcx
movq 0x1870(%r14), %rsi
subq %rcx, %rsi
shrq $0x2, %rsi
movl %eax, %edx
negl %edx
cmovsl %eax, %edx
cmpl %esi, %edx
jg 0x31287
movl %edx, %edx
movl -0x4(%rcx,%rdx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0x20(%rsp)
testl %ecx, %ecx
je 0x31287
movq 0x8(%rsp), %rsi
cmpq 0x10(%rsp), %rsi
je 0x3127c
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rsp)
jmp 0x31287
movq %r15, %rdi
movq %r12, %rdx
callq 0x98f8
addq $0x4, %r13
cmpq %rbp, %r13
jne 0x31224
leaq 0x2f8(%r14), %rsi
movl (%r14), %r8d
movl 0x4(%r14), %r9d
leaq 0x20(%rsp), %rdi
movq %rsp, %rdx
xorl %ecx, %ecx
callq 0x2703c
movaps 0x20(%rsp), %xmm0
movups %xmm0, (%rbx)
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rbx)
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x312d4
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 0x312e8
movq %rax, %rbx
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x31301
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 $0x28, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq (%rsi), %rbp
movq 0x8(%rsi), %r12
cmpq %r12, %rbp
je 0x313e2
leaq 0xc(%rsp), %r13
movl (%rbp), %eax
movl %eax, 0xc(%rsp)
movq 0x1868(%r15), %rcx
movq 0x1870(%r15), %rsi
subq %rcx, %rsi
shrq $0x2, %rsi
movl %eax, %edx
negl %edx
cmovsl %eax, %edx
cmpl %esi, %edx
jg 0x313d9
movl %edx, %edx
movl -0x4(%rcx,%rdx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0xc(%rsp)
testl %ecx, %ecx
je 0x313d9
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x313cc
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x313d9
leaq 0x10(%rsp), %rdi
movq %r13, %rdx
callq 0x98f8
addq $0x4, %rbp
cmpq %r12, %rbp
jne 0x31375
leaq 0x2f8(%r15), %rdi
movl (%r15), %r8d
movl 0x4(%r15), %r9d
leaq 0x10(%rsp), %rdx
movq %r14, %rsi
movq %rbx, %rcx
callq 0x276b8
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x31417
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x31428
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x31442
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O3/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 %r14d, %r14d
cmpb $0x1, 0x1850(%rdi)
jne 0x3151a
movl %esi, %ebp
testl %esi, %esi
js 0x31526
movq %rdi, %rbx
je 0x3148d
movq 0x1870(%rbx), %rax
subq 0x1868(%rbx), %rax
shrq $0x2, %rax
jmp 0x314a2
movq 0x1870(%rbx), %rax
subq 0x1868(%rbx), %rax
shrq $0x2, %rax
leal 0x1(%rax), %ebp
leaq 0x1868(%rbx), %r12
movslq %ebp, %r15
cmpl %eax, %ebp
jle 0x314bb
movq %r12, %rdi
movq %r15, %rsi
callq 0x8cac
movq (%r12), %rax
cmpl $0x0, -0x4(%rax,%r15,4)
jne 0x3151a
decq %r15
leaq 0x8(%rbx), %rdi
callq 0x2808e
movl %eax, %r14d
leal 0x1(%r14), %eax
movq 0x1868(%rbx), %rcx
movl %eax, (%rcx,%r15,4)
movq 0x1888(%rbx), %rcx
subq 0x1880(%rbx), %rcx
shrq $0x2, %rcx
cmpl %ecx, %r14d
jl 0x31545
addq $0x1880, %rbx           # imm = 0x1880
movslq %eax, %rsi
movq %rbx, %rdi
callq 0x8cac
movslq %r14d, %rax
movq (%rbx), %rcx
movl %ebp, (%rcx,%rax,4)
movl %ebp, %r14d
movl %r14d, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x88d5(%rip), %rdi      # 0x39e02
leaq 0x882f(%rip), %rsi      # 0x39d63
leaq 0x88d0(%rip), %rcx      # 0x39e0b
movl $0x70, %edx
callq 0x31b0
leaq 0x88f7(%rip), %rdi      # 0x39e43
leaq 0x8810(%rip), %rsi      # 0x39d63
leaq 0x88b1(%rip), %rcx      # 0x39e0b
movl $0x7a, %edx
callq 0x31b0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x31610
movq %rdx, %r14
movq %rdi, %rbx
callq 0x31452
testl %eax, %eax
je 0x31610
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 0x1e9a8
leaq 0x8(%rbx), %rdi
cmpq %r14, %r13
movabsq $-0x8000000000000000, %rdx # imm = 0x8000000000000000
cmovaq %r14, %rdx
movq %r15, %rsi
callq 0x27f82
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x31600
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 0x3163c
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x31ae3
movq 0x1868(%rdi), %rax
movl %esi, %ecx
movl -0x4(%rax,%rcx,4), %edx
testl %edx, %edx
jle 0x31ae7
decl %edx
movl %edx, %eax
movq 0x50(%rdi), %rcx
movl (%rcx,%rax,4), %esi
cmpl $0x2, %esi
je 0x31ab4
cmpl $0x1, %esi
jne 0x31ae3
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 0x31ad1
leaq 0x858f(%rip), %rdi      # 0x3a02b
leaq 0x82c0(%rip), %rsi      # 0x39d63
leaq 0x8544(%rip), %rcx      # 0x39fee
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 0x31b06
addq $0x8, %rdi
movl (%rdx), %esi
movl $0x0, (%rcx,%rax,4)
callq 0x27f28
movl %ebx, %eax
popq %rbx
retq
leaq 0x8377(%rip), %rdi      # 0x39e65
leaq 0x826e(%rip), %rsi      # 0x39d63
leaq 0x84f2(%rip), %rcx      # 0x39fee
movl $0xc6, %edx
callq 0x31b0
leaq 0x8553(%rip), %rdi      # 0x3a060
leaq 0x824f(%rip), %rsi      # 0x39d63
leaq 0x84d3(%rip), %rcx      # 0x39fee
movl $0xcd, %edx
callq 0x31b0
nop
// File: /workspace/github_cpp_makefile_star2_O3/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 0x71c1(%rip), %r12      # 0x39274
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 0x32141
leaq 0x7158(%rip), %r15      # 0x39274
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 0x3211c
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 0x3226f
xorl %ebp, %ebp
leaq 0x70cf(%rip), %r15      # 0x39274
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 0x32234
movl (%rbp), %esi
movq %rbx, %rdi
callq 0x3490
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3310
addq $0x4, %rbp
jmp 0x3220e
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 0x321a8
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_O3/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 0x33b28
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 0x33a26
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 0x33784
addq $0x10, %rsp
jmp 0x33b16
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 0x339b2
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 0x339b2
addq $0x20, %rsp
movq 0x38(%rsp), %rax
subq 0x30(%rsp), %rax
shrq $0x2, %rax
cmpl %r14d, %eax
jne 0x33b47
movq 0x20(%rsp), %rax
subq 0x18(%rsp), %rax
shrq $0x2, %rax
cmpl %r14d, %eax
jne 0x33b47
subq $0x8, %rsp
leaq 0x38(%rsp), %rdx
leaq 0x20(%rsp), %rcx
movq 0x18(%rsp), %rdi
movq %r15, %r8
movl %r12d, %r9d
pushq %rbx
callq 0x32f12
addq $0x10, %rsp
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x33afa
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
movq 0x10(%rsp), %rbx
je 0x33b16
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 0x696f(%rip), %rdi      # 0x3a49e
leaq 0x66f6(%rip), %rsi      # 0x3a22c
leaq 0x696a(%rip), %rcx      # 0x3a4a7
movl $0x90, %edx
callq 0x31b0
leaq 0x69cd(%rip), %rdi      # 0x3a51b
leaq 0x66d7(%rip), %rsi      # 0x3a22c
leaq 0x694b(%rip), %rcx      # 0x3a4a7
movl $0x97, %edx
callq 0x31b0
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x33b85
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x33b85
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x33b9c
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O3/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 0x33bc7
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 0x33c99
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 0x1e9a8
movq %r14, %rdi
movq %r13, %rsi
callq 0x2259a
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x33c51
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), %r8
cmpq 0x10(%r15), %r8
je 0x33c77
movl %eax, (%r8)
addq $0x4, %r8
movq %r8, 0x8(%r15)
jmp 0x33c89
movq %r15, %rdi
movq %r8, %rsi
movq %r13, %rdx
callq 0x1ffb8
movq 0x8(%r15), %r8
subq (%r15), %r8
shrq $0x2, %r8
testl %r8d, %ebp
jne 0x33c10
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 0x339b2
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 0x363a4
negl %ebx
movl 0x48(%rsp), %eax
movl %eax, 0x18(%r14)
movl %ebx, 0x20(%r14)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x33d0f
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f5e
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x33d36
jmp 0x33d31
jmp 0x33d31
movq %rax, %rbx
jmp 0x33d50
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x33d50
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f5e
movq %rbx, %rdi
callq 0x34a0
// File: /workspace/github_cpp_makefile_star2_O3/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), %rsi
movslq %r8d, %rbp
subq %rsi, %rbp
movl $0x1, %esi
movl %esi, %r12d
leal (%r12,%r12), %esi
cmpl %ebp, %r12d
jl 0x33d9d
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
movl %edx, 0x48(%rsp)
cmpq %rcx, %rax
je 0x33dcb
negl (%rax)
addq $0x4, %rax
jmp 0x33dbe
leal -0x1(%r12), %ebx
testl %r8d, %ebx
je 0x33e6e
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 0x1e9a8
movq %r15, %rdi
movq %r13, %rsi
callq 0x2259a
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x33e26
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), %r8
cmpq 0x10(%r14), %r8
je 0x33e4c
movl %eax, (%r8)
addq $0x4, %r8
movq %r8, 0x8(%r14)
jmp 0x33e5e
movq %r14, %rdi
movq %r8, %rsi
movq %r13, %rdx
callq 0x1ffb8
movq 0x8(%r14), %r8
subq (%r14), %r8
shrq $0x2, %r8
testl %r8d, %ebx
jne 0x33de3
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 0x339b2
addq $0x20, %rsp
movq 0x10(%rsp), %rbx
leaq 0x30(%rsp), %rsi
movq 0x58(%rsp), %r14
movq %r14, %rdi
callq 0x363a4
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 0x33edc
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f5e
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x33f03
jmp 0x33efe
jmp 0x33efe
movq %rax, %rbx
jmp 0x33f1d
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x33f1d
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
callq 0x8f5e
movq %rbx, %rdi
callq 0x34a0
nop