// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVE.cpp
// Function: maxPreprocessor::Preprocessor::searchXor(int) const
pair<vector<int>, int> Preprocessor::searchXor(int var) const {
	if (pi.litClauses[posLit(var)].size() < 2 || pi.litClauses[negLit(var)].size() < 2) return {vector<int>(), 0};
	int maxXorVar = 2;
	while ((1 << maxXorVar) <= (int)min(pi.litClauses[posLit(var)].size(), pi.litClauses[negLit(var)].size())) maxXorVar++;
	vector<unordered_map<int, int> > pCnt(maxXorVar + 2);
	vector<unordered_map<int, int> > nCnt(maxXorVar + 2);
	
	for (int c : pi.litClauses[posLit(var)]) {
		if ((int)pi.clauses[c].lit.size() > maxXorVar + 1) continue;
		if (pi.clauses[c].lit.size() < 3) continue;
		for (int l : pi.clauses[c].lit) {
			pCnt[(int)pi.clauses[c].lit.size() - 1][l]++;
		}
	}
	for (int c : pi.litClauses[negLit(var)]) {
		if ((int)pi.clauses[c].lit.size() > maxXorVar + 1) continue;
		if (pi.clauses[c].lit.size() < 3) continue;
		for (int l : pi.clauses[c].lit) {
			nCnt[(int)pi.clauses[c].lit.size() - 1][l]++;
		}
	}
	vector<pair<vector<int>, int> > cand;
	for (int c : pi.litClauses[posLit(var)]) {
		if ((int)pi.clauses[c].lit.size() > maxXorVar + 1) continue;
		if (pi.clauses[c].lit.size() < 3) continue;
		int sz = pi.clauses[c].lit.size() - 1;
		bool f = false;
		for (int l : pi.clauses[c].lit) {
			if (litVariable(l) == var) continue;
			if (pCnt[sz][l] < (1 << (sz-2))) {
				f = true;
				break;
			}
			if (nCnt[sz][l] < (1 << (sz-2))) {
				f = true;
				break;
			}
		}
		if (f) continue;
		cand.push_back({vector<int>(), c});
		for (int l : pi.clauses[c].lit) {
			if (litVariable(l) == var) continue;
			cand.back().F.push_back(litVariable(l));
		}
	}
	for (int c : pi.litClauses[negLit(var)]) {
		if ((int)pi.clauses[c].lit.size() > maxXorVar + 1) continue;
		if (pi.clauses[c].lit.size() < 3) continue;
		int sz = pi.clauses[c].lit.size() - 1;
		bool f = false;
		for (int l : pi.clauses[c].lit) {
			if (litVariable(l) == var) continue;
			if (pCnt[sz][l] < (1 << (sz-2))) {
				f = true;
				break;
			}
			if (nCnt[sz][l] < (1 << (sz-2))) {
				f = true;
				break;
			}
		}
		if (f) continue;
		cand.push_back({vector<int>(), c});
		for (int l : pi.clauses[c].lit) {
			if (litVariable(l) == var) continue;
			cand.back().F.push_back(litVariable(l));
		}
	}
	sort(cand.begin(), cand.end());
	vector<int> tCls;
	for (unsigned i = 0; i < cand.size(); i++) {
		if (i == 0 || cand[i].F != cand[i - 1].F) {
			tCls.clear();
		}
		tCls.push_back(cand[i].S);
		if (i + 1 == cand.size() || cand[i + 1].F != cand[i].F) {
			int sz = cand[i].F.size();
			if ((1 << sz) > (int)tCls.size()) continue;
			vector<int> enC;
			vector<int> onC;
			vector<int> epC;
			vector<int> opC;
			for (int b = 0; b < (1<<(int)cand[i].F.size()); b++) {
				bool ff = false;
				int enf = -1;
				int onf = -1;
				int epf = -1;
				int opf = -1;
				for (int c : tCls) {
					bool f = false;
					bool pol = false;
					int pt = 0;
					for (int l : pi.clauses[c].lit) {
						if (litValue(l) == false) pt ^= 1;
						if (l == posLit(var)) pol = true;
						else if (l == negLit(var)) pol = false;
						else {
							bool lf = false;
							int lv = litVariable(l);
							for (int j = 0; j < (int)cand[i].F.size(); j++) {
								if (lv == cand[i].F[j]) {
									if (litValue(l) == false && (b&(1<<j)) == 0) {
										lf = true;
										break;
									}
									if (litValue(l) == true && (b&(1<<j)) > 0) {
										lf = true;
										break;
									}
								}
							}
							if (!lf) {
								f = true;
								break;
							}
						}
					}
					if (!f) {
						ff = true;
						if (pol == false && pt == 0) enf = c;
						else if (pol == false && pt == 1) onf = c;
						else if (pol == true && pt == 0) epf = c;
						else if (pol == true && pt == 1) opf = c;
					}
				}
				if (enf >= 0) {
					enC.push_back(enf);
					assert(epf == -1);
				}
				if (onf >= 0) {
					onC.push_back(onf);
					assert(opf == -1);
				}
				if (epf >= 0) {
					epC.push_back(epf);
					assert(enf == -1);
				}
				if (opf >= 0) {
					opC.push_back(opf);
					assert(onf == -1);
				}
				if (!ff) break;
			}
			if ((int)enC.size() == (1 << sz)/2 && (int)epC.size() == (1 << sz)/2) {
				vector<int> ret;
				for (int c : enC) {
					ret.push_back(c);
				}
				for (int c : epC) {
					ret.push_back(c);
				}
				assert((int)ret.size() == (1 << sz));
				return {ret, (int)ret.size()};
			}
			if ((int)onC.size() == (1 << sz)/2 && (int)opC.size() == (1 << sz)/2) {
				vector<int> ret;
				for (int c : onC) {
					ret.push_back(c);
				}
				for (int c : opC) {
					ret.push_back(c);
				}
				assert((int)ret.size() == (1 << sz));
				return {ret, (int)ret.size()};
			}
		}
	}
	return {vector<int>(), 0};
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movl %edx, %r12d
movq %rdi, 0x28(%rsp)
leal (%r12,%r12), %edi
movslq %edi, %rax
movq %rsi, 0x10(%rsp)
movq 0x18(%rsi), %rcx
imulq $0x18, %rax, %rbx
movq 0x8(%rcx,%rbx), %rax
subq (%rcx,%rbx), %rax
sarq $0x2, %rax
cmpq $0x2, %rax
jb 0xa982
movl %edi, %edx
orl $0x1, %edx
movl %edx, 0xd8(%rsp)
movslq %edx, %rdx
imulq $0x18, %rdx, %r8
movq 0x8(%rcx,%r8), %rdx
subq (%rcx,%r8), %rdx
sarq $0x2, %rdx
cmpq $0x2, %rdx
jae 0xa9ad
xorps %xmm0, %xmm0
movq 0x28(%rsp), %rbx
movups %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
leaq 0x40(%rsp), %rdi
andq $0x0, 0x10(%rdi)
movaps %xmm0, (%rdi)
andl $0x0, 0x18(%rbx)
callq 0x7512
jmp 0xb51d
movl %edi, 0xdc(%rsp)
cmpq %rax, %rdx
cmovbq %rdx, %rax
pushq $0x3
popq %r13
pushq $0x1
popq %rsi
leal -0x1(%r13), %ecx
movl %esi, %edx
shll %cl, %edx
incq %r13
cmpl %eax, %edx
jle 0xa9c2
movq %r8, 0x78(%rsp)
leaq 0x150(%rsp), %rdi
leaq 0x40(%rsp), %rdx
movq %r13, %rsi
callq 0x18e04
leaq 0x138(%rsp), %rdi
leaq 0x40(%rsp), %rdx
movq %r13, %rsi
callq 0x18e04
decq %r13
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq (%rax,%rbx), %rcx
movq %rbx, 0x18(%rsp)
movq 0x8(%rax,%rbx), %rax
movq %rax, 0x30(%rsp)
leaq 0x40(%rsp), %rbx
cmpq 0x30(%rsp), %rcx
je 0xaac0
movq %rcx, 0x60(%rsp)
movslq (%rcx), %rax
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
imulq $0x28, %rax, %rbp
movq (%rcx,%rbp), %r15
movq 0x8(%rcx,%rbp), %r14
movq %r14, %rax
subq %r15, %rax
sarq $0x2, %rax
cmpl %eax, %r13d
setl %cl
cmpq $0x3, %rax
setb %al
orb %cl, %al
je 0xaa72
movq 0x60(%rsp), %rcx
addq $0x4, %rcx
jmp 0xaa24
cmpq %r14, %r15
je 0xaa67
movl (%r15), %eax
movl %eax, 0x40(%rsp)
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax,%rbp), %rcx
subq (%rax,%rbp), %rcx
shlq $0x1e, %rcx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rcx
sarq $0x20, %rcx
imulq $0x38, %rcx, %rdi
addq 0x150(%rsp), %rdi
movq %rbx, %rsi
callq 0x1b738
incl (%rax)
addq $0x4, %r15
jmp 0xaa72
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x78(%rsp), %rcx
movq (%rax,%rcx), %rdx
movq 0x8(%rax,%rcx), %rax
movq %rax, 0x30(%rsp)
leaq 0x40(%rsp), %rbx
cmpq 0x30(%rsp), %rdx
je 0xab7d
movq %rdx, 0x60(%rsp)
movslq (%rdx), %rax
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
imulq $0x28, %rax, %rbp
movq (%rcx,%rbp), %r15
movq 0x8(%rcx,%rbp), %r14
movq %r14, %rax
subq %r15, %rax
sarq $0x2, %rax
cmpl %eax, %r13d
setl %cl
cmpq $0x3, %rax
setb %al
orb %cl, %al
je 0xab2f
movq 0x60(%rsp), %rdx
addq $0x4, %rdx
jmp 0xaae1
cmpq %r14, %r15
je 0xab24
movl (%r15), %eax
movl %eax, 0x40(%rsp)
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax,%rbp), %rcx
subq (%rax,%rbp), %rcx
shlq $0x1e, %rcx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rcx
sarq $0x20, %rcx
imulq $0x38, %rcx, %rdi
addq 0x138(%rsp), %rdi
movq %rbx, %rsi
callq 0x1b738
incl (%rax)
addq $0x4, %r15
jmp 0xab2f
movq %r13, 0x60(%rsp)
xorps %xmm0, %xmm0
leaq 0xc0(%rsp), %rax
movaps %xmm0, (%rax)
andq $0x0, 0x10(%rax)
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rsp), %rcx
movq (%rax,%rcx), %rbp
movq 0x8(%rax,%rcx), %rax
movq %rax, 0x70(%rsp)
pushq $0x1
popq %r15
cmpq 0x70(%rsp), %rbp
je 0xad2f
movl (%rbp), %eax
movl %eax, 0x30(%rsp)
cltq
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
imulq $0x28, %rax, %rax
movq (%rcx,%rax), %r14
movq %rax, 0x18(%rsp)
movq 0x8(%rcx,%rax), %rbx
movq %rbx, %r13
subq %r14, %rbx
movq %rbx, %rax
sarq $0x2, %rax
cmpl %eax, 0x60(%rsp)
setl %cl
cmpq $0x3, %rax
setb %dl
orb %cl, %dl
jne 0xad26
movq %rbp, 0x68(%rsp)
shlq $0x1e, %rbx
movabsq $-0x100000000, %rcx     # imm = 0xFFFFFFFF00000000
addq %rcx, %rbx
sarq $0x20, %rbx
leal -0x3(%rax), %ecx
shll %cl, %r15d
cmpq %r13, %r14
je 0xac7f
movl (%r14), %eax
movl %eax, 0x40(%rsp)
sarl %eax
cmpl %r12d, %eax
je 0xac79
imulq $0x38, %rbx, %rbp
movq 0x150(%rsp), %rdi
addq %rbp, %rdi
leaq 0x40(%rsp), %rsi
callq 0x1b738
cmpl %r15d, (%rax)
jl 0xad1d
addq 0x138(%rsp), %rbp
movq %rbp, %rdi
leaq 0x40(%rsp), %rsi
callq 0x1b738
cmpl %r15d, (%rax)
jl 0xad1d
addq $0x4, %r14
jmp 0xac26
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
andq $0x0, 0x50(%rsp)
movaps %xmm0, 0xa0(%rsp)
andq $0x0, 0xb0(%rsp)
movl 0x30(%rsp), %eax
movl %eax, 0x58(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x40(%rsp), %rbx
movq %rbx, %rsi
callq 0x1bafa
movq %rbx, %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
callq 0x7512
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x18(%rsp), %rcx
movq (%rax,%rcx), %rbx
movq 0x8(%rax,%rcx), %r14
pushq $0x1
popq %r15
movq 0x68(%rsp), %rbp
cmpq %r14, %rbx
je 0xad26
movl (%rbx), %eax
sarl %eax
cmpl %r12d, %eax
je 0xad17
movq 0xc8(%rsp), %rdi
addq $-0x20, %rdi
movl %eax, 0x40(%rsp)
leaq 0x40(%rsp), %rsi
callq 0x19ed4
addq $0x4, %rbx
jmp 0xacef
pushq $0x1
popq %r15
movq 0x68(%rsp), %rbp
addq $0x4, %rbp
jmp 0xabb5
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x78(%rsp), %rcx
movq (%rax,%rcx), %rbp
movq 0x8(%rax,%rcx), %rax
movq %rax, 0x18(%rsp)
cmpq 0x18(%rsp), %rbp
je 0xaec1
movl (%rbp), %eax
movl %eax, 0x30(%rsp)
cltq
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
imulq $0x28, %rax, %rsi
movq (%rcx,%rsi), %r14
movq 0x8(%rcx,%rsi), %r15
movq %r15, %r13
subq %r14, %r15
movq %r15, %rax
sarq $0x2, %rax
cmpl %eax, 0x60(%rsp)
setl %cl
cmpq $0x3, %rax
setb %dl
orb %cl, %dl
jne 0xaeb4
movq %rsi, 0x68(%rsp)
movq %rbp, 0x70(%rsp)
shlq $0x1e, %r15
movabsq $-0x100000000, %rcx     # imm = 0xFFFFFFFF00000000
addq %rcx, %r15
sarq $0x20, %r15
leal -0x3(%rax), %ecx
pushq $0x1
popq %rbp
shll %cl, %ebp
cmpq %r13, %r14
je 0xae15
movl (%r14), %eax
movl %eax, 0x40(%rsp)
sarl %eax
cmpl %r12d, %eax
je 0xae0f
imulq $0x38, %r15, %rbx
movq 0x150(%rsp), %rdi
addq %rbx, %rdi
leaq 0x40(%rsp), %rsi
callq 0x1b738
cmpl %ebp, (%rax)
jl 0xaeaf
addq 0x138(%rsp), %rbx
movq %rbx, %rdi
leaq 0x40(%rsp), %rsi
callq 0x1b738
cmpl %ebp, (%rax)
jl 0xaeaf
addq $0x4, %r14
jmp 0xadbe
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
andq $0x0, 0x50(%rsp)
movaps %xmm0, 0xa0(%rsp)
andq $0x0, 0xb0(%rsp)
movl 0x30(%rsp), %eax
movl %eax, 0x58(%rsp)
leaq 0xc0(%rsp), %rdi
leaq 0x40(%rsp), %rbx
movq %rbx, %rsi
callq 0x1bafa
movq %rbx, %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
callq 0x7512
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x68(%rsp), %rcx
movq (%rax,%rcx), %rbx
movq 0x8(%rax,%rcx), %r14
movq 0x70(%rsp), %rbp
cmpq %r14, %rbx
je 0xaeb4
movl (%rbx), %eax
sarl %eax
cmpl %r12d, %eax
je 0xaea9
movq 0xc8(%rsp), %rdi
addq $-0x20, %rdi
movl %eax, 0x40(%rsp)
leaq 0x40(%rsp), %rsi
callq 0x19ed4
addq $0x4, %rbx
jmp 0xae81
movq 0x70(%rsp), %rbp
addq $0x4, %rbp
pushq $0x1
popq %r15
jmp 0xad4b
movq 0xc0(%rsp), %rdi
movq 0xc8(%rsp), %rsi
callq 0x1bce1
xorps %xmm0, %xmm0
leaq 0x40(%rsp), %rax
andq $0x0, 0x10(%rax)
movaps %xmm0, (%rax)
movq $0x0, 0x118(%rsp)
movq 0x118(%rsp), %rdx
movl %edx, %edx
movq 0xc0(%rsp), %rax
movq 0xc8(%rsp), %rcx
subq %rax, %rcx
sarq $0x5, %rcx
cmpq %rdx, %rcx
jbe 0xb323
movq %rdx, %rbx
testq %rdx, %rdx
je 0xaf41
movq %rbx, %rdi
shlq $0x5, %rdi
addq %rax, %rdi
leal -0x1(%rbx), %esi
shlq $0x5, %rsi
addq %rax, %rsi
callq 0x18e55
testb %al, %al
je 0xaf52
movq 0x40(%rsp), %rax
cmpq %rax, 0x48(%rsp)
je 0xaf52
movq %rax, 0x48(%rsp)
movq 0xc0(%rsp), %rax
movq %rbx, %rcx
shlq $0x5, %rcx
movq %rcx, 0x78(%rsp)
leaq (%rax,%rcx), %rsi
addq $0x18, %rsi
leaq 0x40(%rsp), %rdi
callq 0x68a4
incl %ebx
movq 0xc0(%rsp), %rsi
movq 0xc8(%rsp), %rax
subq %rsi, %rax
sarq $0x5, %rax
cmpq %rbx, %rax
movq %rbx, 0x118(%rsp)
je 0xafc2
movq %rbx, %rdi
shlq $0x5, %rdi
addq %rsi, %rdi
addq 0x78(%rsp), %rsi
callq 0x18e55
testb %al, %al
je 0xaef2
movq 0xc0(%rsp), %rsi
movq 0x78(%rsp), %rax
movl 0x8(%rsi,%rax), %ecx
subl (%rsi,%rax), %ecx
shrl $0x2, %ecx
movl %r15d, %edx
shll %cl, %edx
movq 0x48(%rsp), %rax
subq 0x40(%rsp), %rax
shrq $0x2, %rax
movl %edx, 0x24(%rsp)
cmpl %eax, %edx
jg 0xaef2
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
andq $0x0, 0xb0(%rsp)
movaps %xmm0, 0x120(%rsp)
andq $0x0, 0x130(%rsp)
movaps %xmm0, 0x100(%rsp)
andq $0x0, 0x110(%rsp)
movaps %xmm0, 0xe0(%rsp)
andq $0x0, 0xf0(%rsp)
xorl %r15d, %r15d
movq 0xc0(%rsp), %rcx
movq 0x78(%rsp), %rdx
movq (%rcx,%rdx), %rax
movq 0x8(%rcx,%rdx), %rcx
subq %rax, %rcx
shrq $0x2, %rcx
pushq $0x1
popq %rdx
shll %cl, %edx
cmpl %edx, %r15d
jge 0xb268
orl $-0x1, 0x80(%rsp)
orl $-0x1, 0xc(%rsp)
orl $-0x1, 0x3c(%rsp)
orl $-0x1, 0x38(%rsp)
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
movq %rdx, 0x60(%rsp)
xorl %edx, %edx
testl %ecx, %ecx
movl $0x0, 0x18(%rsp)
cmovlel %edx, %ecx
movq 0x10(%rsp), %rdx
movq (%rdx), %rdx
movq %rdx, 0x30(%rsp)
pushq $-0x1
popq %r10
movl %r10d, 0x68(%rsp)
movl %r10d, 0x70(%rsp)
cmpq 0x60(%rsp), %rsi
je 0xb1b9
movslq (%rsi), %r11
imulq $0x28, %r11, %r8
movq 0x30(%rsp), %rdi
movq (%rdi,%r8), %rdx
movq 0x8(%rdi,%r8), %r8
xorl %ebx, %ebx
xorl %r14d, %r14d
cmpq %r8, %rdx
je 0xb144
movl (%rdx), %ebp
movl %ebp, %r13d
andl $0x1, %r13d
xorl %r13d, %r14d
movb $0x1, %r12b
cmpl 0xdc(%rsp), %ebp
je 0xb131
cmpl 0xd8(%rsp), %ebp
jne 0xb105
xorl %r12d, %r12d
jmp 0xb131
sarl %ebp
xorl %r12d, %r12d
cmpq %r12, %rcx
je 0xb13a
cmpl (%rax,%r12,4), %ebp
jne 0xb129
testl %r13d, %r13d
sete %dil
btl %r12d, %r15d
setae %r9b
xorb %dil, %r9b
jne 0xb12e
incq %r12
jmp 0xb10a
movl %ebx, %r12d
addq $0x4, %rdx
movl %r12d, %ebx
jmp 0xb0da
cmpq %r8, %rdx
je 0xb144
movl %r10d, %r11d
jmp 0xb15c
testb $0x1, %bl
jne 0xb168
testl %r14d, %r14d
jne 0xb168
movl %r11d, 0x80(%rsp)
movb $0x1, %dl
movl %edx, 0x18(%rsp)
addq $0x4, %rsi
movl %r11d, %r10d
jmp 0xb0b5
testb $0x1, %bl
jne 0xb185
cmpl $0x1, %r14d
jne 0xb185
movl %r11d, 0xc(%rsp)
movb $0x1, %dl
movl %edx, 0x18(%rsp)
movl %r11d, 0x70(%rsp)
jmp 0xb13f
testb $0x1, %bl
je 0xb1a1
testl %r14d, %r14d
jne 0xb1a1
movl %r11d, 0x3c(%rsp)
movb $0x1, %dl
movl %edx, 0x18(%rsp)
movl %r11d, 0x68(%rsp)
jmp 0xb13f
movb $0x1, %dl
movl %edx, 0x18(%rsp)
testb $0x1, %bl
je 0xb13f
cmpl $0x1, %r14d
jne 0xb13f
movl %r11d, 0x38(%rsp)
jmp 0xb13f
testl %r10d, %r10d
movl 0x68(%rsp), %eax
movl 0x70(%rsp), %ecx
js 0xb1ed
leaq 0xa0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x68a4
cmpl $-0x1, 0x3c(%rsp)
jne 0xb58f
movl 0xc(%rsp), %ecx
pushq $-0x1
popq %rax
testl %ecx, %ecx
js 0xb212
leaq 0x120(%rsp), %rdi
leaq 0xc(%rsp), %rsi
callq 0x68a4
cmpl $-0x1, 0x38(%rsp)
jne 0xb532
movl 0x3c(%rsp), %eax
testl %eax, %eax
js 0xb236
leaq 0x100(%rsp), %rdi
leaq 0x3c(%rsp), %rsi
callq 0x68a4
cmpl $-0x1, 0x80(%rsp)
jne 0xb570
cmpl $0x0, 0x38(%rsp)
js 0xb25a
leaq 0xe0(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0x68a4
cmpl $-0x1, 0xc(%rsp)
jne 0xb551
incl %r15d
testb $0x1, 0x18(%rsp)
jne 0xb03a
movq 0xa0(%rsp), %r15
movq 0xa8(%rsp), %rbp
movq %rbp, %rcx
subq %r15, %rcx
shrq $0x2, %rcx
movl 0x24(%rsp), %eax
cltd
pushq $0x2
popq %rsi
idivl %esi
cmpl %ecx, %eax
jne 0xb2ac
movq 0x108(%rsp), %rdx
subq 0x100(%rsp), %rdx
shrq $0x2, %rdx
cmpl %edx, %ecx
je 0xb34c
movq 0x120(%rsp), %r15
movq 0x128(%rsp), %rbp
movq %rbp, %rcx
subq %r15, %rcx
shrq $0x2, %rcx
cmpl %ecx, %eax
jne 0xb2e6
movq 0xe8(%rsp), %rcx
subq 0xe0(%rsp), %rcx
shrq $0x2, %rcx
cmpl %ecx, %eax
je 0xb3f8
leaq 0xe0(%rsp), %rdi
callq 0x7512
leaq 0x100(%rsp), %rdi
callq 0x7512
leaq 0x120(%rsp), %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
callq 0x7512
pushq $0x1
popq %r15
jmp 0xaef2
xorps %xmm0, %xmm0
movq 0x28(%rsp), %rax
movups %xmm0, (%rax)
andq $0x0, 0x10(%rax)
leaq 0xa0(%rsp), %rdi
andq $0x0, 0x10(%rdi)
movaps %xmm0, (%rdi)
andl $0x0, 0x18(%rax)
jmp 0xb4e2
xorps %xmm0, %xmm0
leaq 0x80(%rsp), %rbx
movaps %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
leaq 0xc(%rsp), %r14
movq 0x28(%rsp), %rdi
cmpq %rbp, %r15
je 0xb386
movl (%r15), %eax
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x68a4
addq $0x4, %r15
jmp 0xb364
movq 0x100(%rsp), %r15
movq 0x108(%rsp), %r12
leaq 0x80(%rsp), %rbx
leaq 0xc(%rsp), %r14
cmpq %r12, %r15
je 0xb3c5
movl (%r15), %eax
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x68a4
addq $0x4, %r15
movq 0x28(%rsp), %rdi
jmp 0xb3a3
movq 0x88(%rsp), %rax
subq 0x80(%rsp), %rax
shrq $0x2, %rax
cmpl %eax, 0x24(%rsp)
jne 0xb5ae
leaq 0x80(%rsp), %rsi
movq %rdi, %rbx
callq 0x19284
jmp 0xb49f
xorps %xmm0, %xmm0
leaq 0x80(%rsp), %rbx
movaps %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
leaq 0xc(%rsp), %r14
movq 0x28(%rsp), %rdi
cmpq %rbp, %r15
je 0xb432
movl (%r15), %eax
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x68a4
addq $0x4, %r15
jmp 0xb410
movq 0xe0(%rsp), %r15
movq 0xe8(%rsp), %r12
leaq 0x80(%rsp), %rbx
leaq 0xc(%rsp), %r14
cmpq %r12, %r15
je 0xb471
movl (%r15), %eax
movl %eax, 0xc(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x68a4
addq $0x4, %r15
movq 0x28(%rsp), %rdi
jmp 0xb44f
movq 0x88(%rsp), %rax
subq 0x80(%rsp), %rax
shrq $0x2, %rax
cmpl %eax, 0x24(%rsp)
jne 0xb5cd
leaq 0x80(%rsp), %rsi
movq %rdi, %rbx
callq 0x19284
movl 0x24(%rsp), %eax
movl %eax, 0x18(%rbx)
leaq 0x80(%rsp), %rdi
callq 0x7512
leaq 0xe0(%rsp), %rdi
callq 0x7512
leaq 0x100(%rsp), %rdi
callq 0x7512
leaq 0x120(%rsp), %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
callq 0x7512
leaq 0x40(%rsp), %rdi
callq 0x7512
leaq 0xc0(%rsp), %rdi
callq 0x18e60
leaq 0x138(%rsp), %rdi
callq 0x18e82
leaq 0x150(%rsp), %rdi
callq 0x18e82
movq 0x28(%rsp), %rbx
movq %rbx, %rax
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x240d5(%rip), %rdi     # 0x2f60e
leaq 0x23f8f(%rip), %rsi     # 0x2f4cf
leaq 0x2407c(%rip), %rcx     # 0x2f5c3
movl $0xf8, %edx
callq 0x31c0
leaq 0x240ca(%rip), %rdi     # 0x2f622
leaq 0x23f70(%rip), %rsi     # 0x2f4cf
leaq 0x2405d(%rip), %rcx     # 0x2f5c3
movl $0x100, %edx            # imm = 0x100
callq 0x31c0
leaq 0x240a1(%rip), %rdi     # 0x2f618
leaq 0x23f51(%rip), %rsi     # 0x2f4cf
leaq 0x2403e(%rip), %rcx     # 0x2f5c3
movl $0xfc, %edx
callq 0x31c0
leaq 0x24023(%rip), %rdi     # 0x2f5b9
leaq 0x23f32(%rip), %rsi     # 0x2f4cf
leaq 0x2401f(%rip), %rcx     # 0x2f5c3
movl $0xf4, %edx
callq 0x31c0
leaq 0x24077(%rip), %rdi     # 0x2f62c
leaq 0x23f13(%rip), %rsi     # 0x2f4cf
leaq 0x24000(%rip), %rcx     # 0x2f5c3
movl $0x10c, %edx            # imm = 0x10C
callq 0x31c0
leaq 0x24058(%rip), %rdi     # 0x2f62c
leaq 0x23ef4(%rip), %rsi     # 0x2f4cf
leaq 0x23fe1(%rip), %rcx     # 0x2f5c3
movl $0x117, %edx            # imm = 0x117
callq 0x31c0
jmp 0xb600
jmp 0xb600
jmp 0xb636
movq %rax, %rbx
jmp 0xb69d
jmp 0xb600
jmp 0xb600
jmp 0xb600
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x7512
jmp 0xb63e
jmp 0xb614
movq %rax, %rbx
leaq 0x40(%rsp), %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
jmp 0xb677
movq %rax, %rbx
jmp 0xb672
jmp 0xb636
jmp 0xb636
jmp 0xb636
movq %rax, %rbx
jmp 0xb67c
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x7512
leaq 0x100(%rsp), %rdi
callq 0x7512
leaq 0x120(%rsp), %rdi
callq 0x7512
leaq 0xa0(%rsp), %rdi
callq 0x7512
leaq 0x40(%rsp), %rdi
callq 0x7512
leaq 0xc0(%rsp), %rdi
callq 0x18e60
jmp 0xb690
jmp 0xb68d
movq %rax, %rbx
leaq 0x138(%rsp), %rdi
callq 0x18e82
leaq 0x150(%rsp), %rdi
callq 0x18e82
movq %rbx, %rdi
callq 0x3490