// File: /workspace/github_cpp_makefile_star2_O1/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 $0x188, %rsp            # imm = 0x188
movl %edx, %ebx
leal (%rbx,%rbx), %r8d
movslq %r8d, %rax
movq %rsi, 0x10(%rsp)
movq 0x18(%rsi), %rcx
leaq (%rax,%rax,2), %r15
movq 0x8(%rcx,%r15,8), %rax
subq (%rcx,%r15,8), %rax
sarq $0x2, %rax
cmpq $0x2, %rax
jb 0xd80e
movl %r8d, %ebp
orl $0x1, %ebp
movslq %ebp, %rdx
leaq (%rdx,%rdx,2), %rsi
movq 0x8(%rcx,%rsi,8), %rdx
subq (%rcx,%rsi,8), %rdx
sarq $0x2, %rdx
cmpq $0x2, %rdx
jae 0xd820
xorps %xmm0, %xmm0
movups %xmm0, 0xc(%rdi)
movups %xmm0, (%rdi)
movq %rdi, %rax
jmp 0xe6d9
movl %r8d, 0x7c(%rsp)
cmpq %rax, %rdx
cmovbq %rdx, %rax
movl $0x3, %r14d
leal -0x1(%r14), %ecx
movl $0x1, %edx
shll %cl, %edx
incq %r14
cmpl %eax, %edx
jle 0xd832
movq %rsi, 0xc0(%rsp)
movq %rdi, 0xb8(%rsp)
leaq 0x170(%rsp), %rdi
leaq 0x20(%rsp), %rdx
movq %r14, %rsi
callq 0x1f9e8
leaq 0x158(%rsp), %rdi
leaq 0x20(%rsp), %rdx
movq %r14, 0x70(%rsp)
movq %r14, %rsi
callq 0x1f9e8
movq %rbx, 0x150(%rsp)
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq (%rax,%r15,8), %r14
movq %r15, 0x88(%rsp)
movq 0x8(%rax,%r15,8), %rax
movq %rax, 0x18(%rsp)
cmpq %rax, %r14
je 0xd951
movq 0x70(%rsp), %rax
decq %rax
movq %rax, 0x68(%rsp)
leaq 0x20(%rsp), %r13
movslq (%r14), %rax
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
leaq (%rax,%rax,4), %rbx
movq (%rcx,%rbx,8), %r12
movq 0x8(%rcx,%rbx,8), %r15
movq %r15, %rax
subq %r12, %rax
sarq $0x2, %rax
cmpq $0x3, %rax
jb 0xd942
cmpl %eax, 0x68(%rsp)
jl 0xd942
cmpq %r15, %r12
je 0xd942
movl (%r12), %eax
movl %eax, 0x20(%rsp)
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax,%rbx,8), %rcx
subq (%rax,%rbx,8), %rcx
shlq $0x1e, %rcx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rcx
sarq $0x20, %rcx
imulq $0x38, %rcx, %rdi
addq 0x170(%rsp), %rdi
movq %r13, %rsi
callq 0x21dcc
incl (%rax)
addq $0x4, %r12
jmp 0xd8f3
addq $0x4, %r14
cmpq 0x18(%rsp), %r14
jne 0xd8c5
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0xc0(%rsp), %rcx
movq (%rax,%rcx,8), %r14
movq 0x8(%rax,%rcx,8), %rax
movq %rax, 0x18(%rsp)
cmpq %rax, %r14
je 0xda17
movq 0x70(%rsp), %rax
decq %rax
movq %rax, 0x68(%rsp)
leaq 0x20(%rsp), %r13
movslq (%r14), %rax
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
leaq (%rax,%rax,4), %rbx
movq (%rcx,%rbx,8), %r12
movq 0x8(%rcx,%rbx,8), %r15
movq %r15, %rax
subq %r12, %rax
sarq $0x2, %rax
cmpq $0x3, %rax
jb 0xda08
cmpl %eax, 0x68(%rsp)
jl 0xda08
cmpq %r15, %r12
je 0xda08
movl (%r12), %eax
movl %eax, 0x20(%rsp)
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax,%rbx,8), %rcx
subq (%rax,%rbx,8), %rcx
shlq $0x1e, %rcx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rcx
sarq $0x20, %rcx
imulq $0x38, %rcx, %rdi
addq 0x158(%rsp), %rdi
movq %r13, %rsi
callq 0x21dcc
incl (%rax)
addq $0x4, %r12
jmp 0xd9b9
addq $0x4, %r14
cmpq 0x18(%rsp), %r14
jne 0xd98b
xorps %xmm0, %xmm0
movaps %xmm0, 0x90(%rsp)
movq $0x0, 0xa0(%rsp)
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x88(%rsp), %rcx
movq (%rax,%rcx,8), %r15
movq 0x8(%rax,%rcx,8), %rax
movq %rax, 0xa8(%rsp)
cmpq %rax, %r15
movq 0x150(%rsp), %r12
je 0xdc54
movq 0x70(%rsp), %rax
decq %rax
movq %rax, 0x60(%rsp)
movl (%r15), %eax
movl %eax, 0x88(%rsp)
cltq
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
leaq (%rax,%rax,4), %rax
movq (%rcx,%rax,8), %r14
movq %rax, 0xb0(%rsp)
movq 0x8(%rcx,%rax,8), %rsi
movq %rsi, %rax
subq %r14, %rax
movq %rax, %rdi
sarq $0x2, %rax
cmpl %eax, 0x60(%rsp)
setl %cl
cmpq $0x3, %rax
setb %dl
orb %cl, %dl
jne 0xdb9b
cmpq %rsi, %r14
je 0xdbb2
movq %r15, 0xc8(%rsp)
shlq $0x1e, %rdi
movabsq $-0x100000000, %rcx     # imm = 0xFFFFFFFF00000000
addq %rcx, %rdi
sarq $0x20, %rdi
movq %rdi, 0x68(%rsp)
leal -0x3(%rax), %ecx
movl $0x1, %eax
shll %cl, %eax
movl %eax, 0x18(%rsp)
xorl %r15d, %r15d
movl (%r14), %ecx
movl %ecx, 0x20(%rsp)
sarl %ecx
movl $0xf, %eax
cmpl %r12d, %ecx
je 0xdb77
movq %r12, %r13
movq %rsi, %r12
imulq $0x38, 0x68(%rsp), %rbx
movq 0x170(%rsp), %rdi
addq %rbx, %rdi
leaq 0x20(%rsp), %rsi
callq 0x21dcc
movl 0x18(%rsp), %ecx
cmpl %ecx, (%rax)
jge 0xdb3c
movl $0xe, %eax
movb $0x1, %r15b
jmp 0xdb71
addq 0x158(%rsp), %rbx
movq %rbx, %rdi
leaq 0x20(%rsp), %rsi
callq 0x21dcc
movl 0x18(%rsp), %ecx
cmpl %ecx, (%rax)
movzbl %r15b, %r15d
movl $0x1, %eax
cmovll %eax, %r15d
movl $0x0, %eax
movl $0xe, %ecx
cmovll %ecx, %eax
movq %r12, %rsi
movq %r13, %r12
cmpl $0xf, %eax
je 0xdb80
testl %eax, %eax
jne 0xdb8d
addq $0x4, %r14
cmpq %rsi, %r14
jne 0xdaf6
testb $0x1, %r15b
movq 0xc8(%rsp), %r15
je 0xdbb2
addq $0x4, %r15
cmpq 0xa8(%rsp), %r15
jne 0xda6e
jmp 0xdc54
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movl 0x88(%rsp), %eax
movl %eax, 0x38(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x220b0
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xdbf7
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0xb0(%rsp), %rcx
movq (%rax,%rcx,8), %rbx
movq 0x8(%rax,%rcx,8), %r14
cmpq %r14, %rbx
je 0xdb9b
movl (%rbx), %eax
sarl %eax
cmpl %r12d, %eax
je 0xdc4e
movq 0x98(%rsp), %rdi
movl %eax, 0x20(%rsp)
movq -0x18(%rdi), %rsi
cmpq -0x10(%rdi), %rsi
je 0xdc40
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x18(%rdi)
jmp 0xdc4e
addq $-0x20, %rdi
leaq 0x20(%rsp), %rdx
callq 0x20b8a
addq $0x4, %rbx
jmp 0xdc10
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rax
movq 0xc0(%rsp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x8(%rax,%rcx,8), %rax
movq %rax, 0x60(%rsp)
cmpq %rax, %rdx
movq 0x70(%rsp), %r13
je 0xde63
decq %r13
movq %r13, 0x70(%rsp)
movq %rdx, 0x88(%rsp)
movl (%rdx), %eax
movl %eax, 0xb0(%rsp)
cltq
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
leaq (%rax,%rax,4), %rax
movq (%rcx,%rax,8), %r14
movq %rax, 0xa8(%rsp)
movq 0x8(%rcx,%rax,8), %r15
movq %r15, %rax
subq %r14, %rax
movq %rax, %rdi
sarq $0x2, %rax
cmpl %eax, %r13d
setl %cl
cmpq $0x3, %rax
setb %dl
orb %cl, %dl
jne 0xdda5
cmpq %r15, %r14
je 0xddc1
shlq $0x1e, %rdi
movabsq $-0x100000000, %rcx     # imm = 0xFFFFFFFF00000000
addq %rcx, %rdi
sarq $0x20, %rdi
movq %rdi, 0x68(%rsp)
leal -0x3(%rax), %ecx
movl $0x1, %eax
shll %cl, %eax
movl %eax, 0x18(%rsp)
xorl %r13d, %r13d
movl (%r14), %ecx
movl %ecx, 0x20(%rsp)
sarl %ecx
movl $0x15, %eax
cmpl %r12d, %ecx
je 0xdd84
imulq $0x38, 0x68(%rsp), %rbx
movq 0x170(%rsp), %rdi
addq %rbx, %rdi
leaq 0x20(%rsp), %rsi
callq 0x21dcc
movl 0x18(%rsp), %ecx
cmpl %ecx, (%rax)
jge 0xdd4f
movl $0x14, %eax
movb $0x1, %r13b
jmp 0xdd84
addq 0x158(%rsp), %rbx
movq %rbx, %rdi
leaq 0x20(%rsp), %rsi
callq 0x21dcc
movl 0x18(%rsp), %ecx
cmpl %ecx, (%rax)
movzbl %r13b, %r13d
movl $0x1, %eax
cmovll %eax, %r13d
movl $0x0, %eax
movl $0x14, %ecx
cmovll %ecx, %eax
cmpl $0x15, %eax
je 0xdd8d
testl %eax, %eax
jne 0xdd9a
addq $0x4, %r14
cmpq %r15, %r14
jne 0xdd0f
testb $0x1, %r13b
movq 0x70(%rsp), %r13
je 0xddc1
movq 0x88(%rsp), %rdx
addq $0x4, %rdx
cmpq 0x60(%rsp), %rdx
jne 0xdc89
jmp 0xde63
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movl 0xb0(%rsp), %eax
movl %eax, 0x38(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x220b0
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xde06
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq 0xa8(%rsp), %rcx
movq (%rax,%rcx,8), %rbx
movq 0x8(%rax,%rcx,8), %r14
cmpq %r14, %rbx
je 0xdda5
movl (%rbx), %eax
sarl %eax
cmpl %r12d, %eax
je 0xde5d
movq 0x98(%rsp), %rdi
movl %eax, 0x20(%rsp)
movq -0x18(%rdi), %rsi
cmpq -0x10(%rdi), %rsi
je 0xde4f
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x18(%rdi)
jmp 0xde5d
addq $-0x20, %rdi
leaq 0x20(%rsp), %rdx
callq 0x20b8a
addq $0x4, %rbx
jmp 0xde1f
movq 0x90(%rsp), %r15
movq 0x98(%rsp), %rbx
cmpq %rbx, %r15
je 0xdea5
movq %rbx, %rax
subq %r15, %rax
sarq $0x5, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x222b5
movq %r15, %rdi
movq %rbx, %rsi
callq 0x2236b
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
movq 0x90(%rsp), %rbx
cmpq %rbx, 0x98(%rsp)
je 0xe681
xorl %r15d, %r15d
xorl %r14d, %r14d
testl %r14d, %r14d
je 0xdf14
movq %r15, %rax
shlq $0x5, %rax
leal -0x1(%r14), %ecx
shlq $0x5, %rcx
movq (%rbx,%rax), %rdi
movq 0x8(%rbx,%rax), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq (%rbx,%rcx), %rsi
movq 0x8(%rbx,%rcx), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0xdf14
cmpq %rdi, %rax
je 0xdf25
callq 0x32c0
testl %eax, %eax
je 0xdf25
movq 0x20(%rsp), %rax
cmpq %rax, 0x28(%rsp)
je 0xdf25
movq %rax, 0x28(%rsp)
shlq $0x5, %r15
leaq (%rbx,%r15), %rdx
addq $0x18, %rdx
movq 0x28(%rsp), %rsi
cmpq 0x30(%rsp), %rsi
je 0xdf4c
movl (%rdx), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x28(%rsp)
jmp 0xdf56
leaq 0x20(%rsp), %rdi
callq 0x98e8
incl %r14d
movq 0x90(%rsp), %rbx
movq 0x98(%rsp), %rax
subq %rbx, %rax
sarq $0x5, %rax
cmpq %r14, %rax
je 0xdfb2
movq %r14, %rax
shlq $0x5, %rax
movq (%rbx,%rax), %rdi
movq 0x8(%rbx,%rax), %rax
movq %rax, %rdx
subq %rdi, %rdx
movq (%rbx,%r15), %rsi
movq 0x8(%rbx,%r15), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0xdfb2
cmpq %rdi, %rax
je 0xe65e
callq 0x32c0
testl %eax, %eax
je 0xe65e
movl 0x8(%rbx,%r15), %ecx
subl (%rbx,%r15), %ecx
shrl $0x2, %ecx
movl $0x1, %edx
shll %cl, %edx
movq 0x28(%rsp), %rax
subq 0x20(%rsp), %rax
shrq $0x2, %rax
movl $0x1a, %ebx
cmpl %eax, %edx
jg 0xe655
movl %edx, 0x70(%rsp)
movq %r14, 0xc0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x130(%rsp)
xorl %eax, %eax
movq %rax, 0x140(%rsp)
movq %rax, 0x120(%rsp)
movaps %xmm0, 0x110(%rsp)
movq %rax, 0x100(%rsp)
movaps %xmm0, 0xf0(%rsp)
movq %rax, 0xe0(%rsp)
movaps %xmm0, 0xd0(%rsp)
movq 0x90(%rsp), %rax
movq 0x8(%rax,%r15), %rcx
movq %r15, 0xc8(%rsp)
movq %rax, %rdx
subq (%rax,%r15), %rcx
movabsq $0x3fffffffc, %rax      # imm = 0x3FFFFFFFC
andq %rax, %rcx
cmpq $0x7c, %rcx
je 0xe3a2
movq 0xc8(%rsp), %rax
leaq (%rdx,%rax), %rcx
addq $0x8, %rcx
movq %rcx, 0x68(%rsp)
addq %rax, %rdx
movq %rdx, 0x18(%rsp)
xorl %r13d, %r13d
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
movl %eax, 0x40(%rsp)
movl %eax, 0xc(%rsp)
movl %eax, 0x84(%rsp)
movl %eax, 0x80(%rsp)
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rax
movq %rax, 0xb0(%rsp)
cmpq %rax, %rsi
je 0xe225
movq 0x10(%rsp), %rcx
movq (%rcx), %rax
movq %rax, 0xa8(%rsp)
movl $0x0, 0x60(%rsp)
movslq (%rsi), %rdx
leaq (%rdx,%rdx,4), %rcx
movq 0xa8(%rsp), %rax
movq (%rax,%rcx,8), %r14
movq 0x8(%rax,%rcx,8), %rbx
cmpq %rbx, %r14
je 0xe1ac
movq %rdx, 0x88(%rsp)
xorl %r10d, %r10d
xorl %r11d, %r11d
xorl %r15d, %r15d
movl 0x7c(%rsp), %ecx
movl (%r14), %edi
movl %edi, %r8d
andl $0x1, %r8d
movb $0x1, %r12b
cmpl %ecx, %edi
jne 0xe11e
movb $0x1, %r11b
jmp 0xe18c
cmpl %ebp, %edi
jne 0xe127
xorl %r11d, %r11d
jmp 0xe18c
movl %ebp, %eax
movq 0x68(%rsp), %rdx
movq (%rdx), %r9
movq 0x18(%rsp), %rdx
movq (%rdx), %rbp
subq %rbp, %r9
shrq $0x2, %r9
testl %r9d, %r9d
setg %r12b
jle 0xe187
sarl %edi
andl $0x7fffffff, %r9d       # imm = 0x7FFFFFFF
xorl %ecx, %ecx
cmpl (%rbp,%rcx,4), %edi
jne 0xe172
movl $0x1, %edx
shll %cl, %edx
testl %r8d, %r8d
jne 0xe16d
testl %r13d, %edx
je 0xe172
jmp 0xe181
testl %r13d, %edx
je 0xe181
incq %rcx
cmpq %r9, %rcx
setb %r12b
jne 0xe154
movb $0x1, %r15b
movl 0x7c(%rsp), %ecx
jmp 0xe18a
movb $0x1, %r15b
movl %eax, %ebp
xorl %r8d, %r10d
testb $0x1, %r12b
je 0xe1a2
addq $0x4, %r14
cmpq %rbx, %r14
jne 0xe108
movq 0x88(%rsp), %rdx
jmp 0xe1b5
xorl %r15d, %r15d
xorl %r11d, %r11d
xorl %r10d, %r10d
testb $0x1, %r15b
jne 0xe1f6
testb $0x1, %r11b
jne 0xe1cc
testl %r10d, %r10d
jne 0xe1cc
movl %edx, 0x40(%rsp)
jmp 0xe1f0
testb $0x1, %r11b
jne 0xe1de
cmpl $0x1, %r10d
jne 0xe1de
movl %edx, 0xc(%rsp)
jmp 0xe1f0
testb $0x1, %r11b
je 0xe20a
testl %r10d, %r10d
jne 0xe20a
movl %edx, 0x84(%rsp)
movb $0x1, %al
movl %eax, 0x60(%rsp)
addq $0x4, %rsi
cmpq 0xb0(%rsp), %rsi
jne 0xe0d2
jmp 0xe22d
movb $0x1, %al
movl %eax, 0x60(%rsp)
testb $0x1, %r11b
je 0xe1f6
cmpl $0x1, %r10d
jne 0xe1f6
movl %edx, 0x80(%rsp)
jmp 0xe1f6
movl $0x0, 0x60(%rsp)
movl 0x40(%rsp), %eax
testl %eax, %eax
js 0xe277
movq 0x138(%rsp), %rsi
cmpq 0x140(%rsp), %rsi
je 0xe257
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x138(%rsp)
jmp 0xe269
leaq 0x130(%rsp), %rdi
leaq 0x40(%rsp), %rdx
callq 0x98e8
cmpl $-0x1, 0x84(%rsp)
jne 0xe70a
movl 0xc(%rsp), %eax
testl %eax, %eax
js 0xe2c1
movq 0x118(%rsp), %rsi
cmpq 0x120(%rsp), %rsi
je 0xe2a1
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x118(%rsp)
jmp 0xe2b3
leaq 0x110(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x98e8
cmpl $-0x1, 0x80(%rsp)
jne 0xe729
movl 0x84(%rsp), %eax
testl %eax, %eax
js 0xe30e
movq 0xf8(%rsp), %rsi
cmpq 0x100(%rsp), %rsi
je 0xe2ee
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0xf8(%rsp)
jmp 0xe303
leaq 0xf0(%rsp), %rdi
leaq 0x84(%rsp), %rdx
callq 0x98e8
cmpl $-0x1, 0x40(%rsp)
jne 0xe748
movl 0x80(%rsp), %eax
testl %eax, %eax
js 0xe35b
movq 0xd8(%rsp), %rsi
cmpq 0xe0(%rsp), %rsi
je 0xe33b
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0xd8(%rsp)
jmp 0xe350
leaq 0xd0(%rsp), %rdi
leaq 0x80(%rsp), %rdx
callq 0x98e8
cmpl $-0x1, 0xc(%rsp)
jne 0xe6eb
testb $0x1, 0x60(%rsp)
je 0xe3a2
incl %r13d
movq 0x90(%rsp), %rdx
movq 0xc8(%rsp), %rax
leaq (%rdx,%rax), %rsi
addq $0x8, %rsi
movl (%rsi), %ecx
movq %rsi, 0x68(%rsp)
subl -0x8(%rsi), %ecx
addq %rax, %rdx
movq %rdx, 0x18(%rsp)
shrl $0x2, %ecx
movl $0x1, %edx
shll %cl, %edx
cmpl %edx, %r13d
jl 0xe084
movq 0x130(%rsp), %rbx
movq 0x138(%rsp), %r14
movq %r14, %rcx
subq %rbx, %rcx
shrq $0x2, %rcx
movl 0x70(%rsp), %r13d
movl %r13d, %eax
shrl $0x1f, %eax
addl %r13d, %eax
sarl %eax
cmpl %ecx, %eax
jne 0xe48c
movq 0xf8(%rsp), %rcx
subq 0xf0(%rsp), %rcx
shrq $0x2, %rcx
cmpl %ecx, %eax
jne 0xe48c
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
cmpq %r14, %rbx
leaq 0x40(%rsp), %r15
leaq 0xc(%rsp), %r12
je 0xe443
movl (%rbx), %eax
movl %eax, 0xc(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0xe42f
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0xe43a
movq %r15, %rdi
movq %r12, %rdx
callq 0x98e8
addq $0x4, %rbx
cmpq %r14, %rbx
jne 0xe410
movq 0xf0(%rsp), %rbx
movq 0xf8(%rsp), %r14
cmpq %r14, %rbx
je 0xe51d
movl (%rbx), %eax
movl %eax, 0xc(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0xe47b
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0xe486
movq %r15, %rdi
movq %r12, %rdx
callq 0x98e8
addq $0x4, %rbx
jmp 0xe453
movq 0x110(%rsp), %r14
movq 0x118(%rsp), %r15
movq %r15, %rcx
subq %r14, %rcx
shrq $0x2, %rcx
xorl %ebx, %ebx
cmpl %ecx, %eax
leaq 0x40(%rsp), %r12
leaq 0xc(%rsp), %r13
jne 0xe5d9
movq 0xd8(%rsp), %rcx
subq 0xd0(%rsp), %rcx
shrq $0x2, %rcx
cmpl %ecx, %eax
jne 0xe5d9
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
cmpq %r15, %r14
je 0xe549
movl (%r14), %eax
movl %eax, 0xc(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0xe50c
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0xe517
movq %r12, %rdi
movq %r13, %rdx
callq 0x98e8
addq $0x4, %r14
jmp 0xe4e7
movq 0x48(%rsp), %rbx
subq 0x40(%rsp), %rbx
shrq $0x2, %rbx
cmpl %ebx, %r13d
jne 0xe767
movq 0xb8(%rsp), %r14
movq %r14, %rdi
movq %r15, %rsi
callq 0x1ffa6
jmp 0xe5b9
movq 0xd0(%rsp), %rbx
movq 0xd8(%rsp), %r14
cmpq %r14, %rbx
je 0xe58e
movl (%rbx), %eax
movl %eax, 0xc(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0xe57d
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0xe588
movq %r12, %rdi
movq %r13, %rdx
callq 0x98e8
addq $0x4, %rbx
jmp 0xe559
movq 0x48(%rsp), %rbx
subq 0x40(%rsp), %rbx
shrq $0x2, %rbx
cmpl %ebx, 0x70(%rsp)
jne 0xe786
movq 0xb8(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x1ffa6
movl %ebx, 0x18(%r14)
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xe5d4
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movl $0x1, %ebx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xe5f6
movq 0xe0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
movq 0xc0(%rsp), %r14
je 0xe61b
movq 0x100(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0xe638
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0xe655
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
testl %ebx, %ebx
je 0xe65e
cmpl $0x1a, %ebx
jne 0xe693
movl %r14d, %r15d
movq 0x90(%rsp), %rbx
movq 0x98(%rsp), %rax
subq %rbx, %rax
sarq $0x5, %rax
cmpq %r15, %rax
ja 0xded2
movq 0xb8(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, 0xc(%rax)
movups %xmm0, (%rax)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xe6aa
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x90(%rsp), %rdi
callq 0x1fa92
leaq 0x158(%rsp), %rdi
callq 0x1fae0
leaq 0x170(%rsp), %rdi
callq 0x1fae0
movq 0xb8(%rsp), %rax
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2af00(%rip), %rdi     # 0x395f2
leaq 0x2ada6(%rip), %rsi     # 0x3949f
leaq 0x2ae93(%rip), %rcx     # 0x39593
movl $0x100, %edx            # imm = 0x100
callq 0x31b0
leaq 0x2ae78(%rip), %rdi     # 0x39589
leaq 0x2ad87(%rip), %rsi     # 0x3949f
leaq 0x2ae74(%rip), %rcx     # 0x39593
movl $0xf4, %edx
callq 0x31b0
leaq 0x2aeae(%rip), %rdi     # 0x395de
leaq 0x2ad68(%rip), %rsi     # 0x3949f
leaq 0x2ae55(%rip), %rcx     # 0x39593
movl $0xf8, %edx
callq 0x31b0
leaq 0x2ae99(%rip), %rdi     # 0x395e8
leaq 0x2ad49(%rip), %rsi     # 0x3949f
leaq 0x2ae36(%rip), %rcx     # 0x39593
movl $0xfc, %edx
callq 0x31b0
leaq 0x2ae8e(%rip), %rdi     # 0x395fc
leaq 0x2ad2a(%rip), %rsi     # 0x3949f
leaq 0x2ae17(%rip), %rcx     # 0x39593
movl $0x10c, %edx            # imm = 0x10C
callq 0x31b0
leaq 0x2ae6f(%rip), %rdi     # 0x395fc
leaq 0x2ad0b(%rip), %rsi     # 0x3949f
leaq 0x2adf8(%rip), %rcx     # 0x39593
movl $0x117, %edx            # imm = 0x117
callq 0x31b0
movq %rax, %rbx
jmp 0xe8a4
jmp 0xe7c8
jmp 0xe880
jmp 0xe7c8
jmp 0xe7ba
jmp 0xe7ba
movq %rax, %rbx
jmp 0xe865
jmp 0xe7c8
jmp 0xe7c8
jmp 0xe7c8
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xe7f1
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0xe7f1
jmp 0xe880
jmp 0xe880
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xe80e
movq 0xe0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0xe82b
movq 0x100(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0xe848
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0xe865
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xe883
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0xe883
jmp 0xe880
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0x1fa92
jmp 0xe897
jmp 0xe894
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0x1fae0
leaq 0x170(%rsp), %rdi
callq 0x1fae0
movq %rbx, %rdi
callq 0x34a0
nop