// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]Triangulator/src/PMC.cpp
// Function: PMC::solvedp(Graph const&, std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>>, PMC::valueT, PMC::valueT, int)
vector<pair<int, int> > solvedp(const Graph& G, vector<vector<int> > PMCs, valueT lowerBound, valueT upperBound, int PROBLEM) {
	map<vector<int>, int> sepsMap, ccsMap;
	vector<vector<int> > seps, ccs;
	vector<pair<pair<int, int>, int> > niceTrp;
	assert(G.isConnected());
	if (PMCs.size() == 0) return FAILSOLUTION;
	
	for (int i = 0; i < (int)PMCs.size(); i++) {
		for (int j = 0; j < G.n; j++) {
			u[j] = 0;
		}
		for (int x : PMCs[i]) {
			u[x] = 2;
		}
		for (int ii = 0; ii < G.n; ii++) {
			if (u[ii] == 0) {
				vector<int> nb;
				dfs4(G, ii, nb);
				assert(nb.size() > 0 && nb.size() < PMCs[i].size());
				for (int j = 0; j < G.n; j++) {
					u2[j] = 0;
				}
				int ff = 0;
				vector<int> co;
				for (int x : PMCs[i]) {
					if (u[x] == 2) {
						ff = dfs5(G, x, co);
						break;
					}
				}
				assert(ff > 0 && ff + (int)nb.size() == (int)PMCs[i].size());
				for (int a : nb) {
					u[a] = 2;
				}
				sort(nb.begin(), nb.end());
				if (!sepsMap.count(nb)) {
					sepsMap[nb] = seps.size();
					seps.push_back(nb);
				}
				sort(co.begin(), co.end());
				if (!ccsMap.count(co)) {
					ccsMap[co] = ccs.size();
					ccs.push_back(co);
				}
				niceTrp.push_back({{sepsMap[nb], ccsMap[co]}, i});
			}
		}
	}
	vector<int> all;
	for (int i = 0; i < G.n; i++) all.push_back(i);
	assert(!sepsMap.count({}));
	assert(!ccsMap.count(all));
	sepsMap[{}] = seps.size();
	ccsMap[all] = ccs.size();
	seps.push_back({});
	ccs.push_back(all);
	pair<int, int> rootState = {(int)seps.size()-1, (int)ccs.size()-1};
	for (int i = 0; i < (int)PMCs.size(); i++) {
		niceTrp.push_back({rootState, i});
	}
	auto cmp = [&](pair<pair<int, int>, int> a, pair<pair<int, int>, int> b) {
		if (seps[a.F.F].size() + ccs[a.F.S].size() != seps[b.F.F].size() + ccs[b.F.S].size()) {
			return seps[a.F.F].size() + ccs[a.F.S].size() < seps[b.F.F].size() + ccs[b.F.S].size();
		}
		else {
			return a<b;
		}
	};
	sort(niceTrp.begin(), niceTrp.end(), cmp);
	map<pair<int, int>, pair<valueT, int> > dp;
	
	for (auto trp : niceTrp) {
		assert(trp.F.F < (int)seps.size());
		assert(trp.F.S < (int)ccs.size());
		vector<int> sep = seps[trp.F.F];
		vector<int> co = ccs[trp.F.S];
		vector<int> uni = sep;
		uni.insert(uni.end(), co.begin(), co.end());
		sort(uni.begin(), uni.end());
		// just assert things
		for (int i = 1; i < (int)uni.size(); i++) {
			assert(uni[i] != uni[i-1]);
		}
		for (int x : PMCs[trp.S]) {
			assert(binary_search(uni.begin(), uni.end(), x));
		}
		for (int x : sep) {
			assert(binary_search(PMCs[trp.S].begin(), PMCs[trp.S].end(), x));
		}
		// assert ends
		
		valueT tval;
		if (PROBLEM == PROBLEM_MINFILL || PROBLEM == PROBLEM_TREEWIDTH || PROBLEM == PROBLEM_BAYES || PROBLEM == PROBLEM_HYPER || PROBLEM == PROBLEM_DECIDE) {
			tval.setV((int64_t)0);
		}
		else if (PROBLEM == PROBLEM_FRACHYPER) {
			tval.setV((ld)0);
		}
		else {
			assert(0);
		}
		
		bool failed = false;
		if (PMCs[trp.S].size() == uni.size()) {
		}
		else {
			for (int i = 0; i < G.n; i++) {
				u[i] = -1;
			}
			for (int x : uni) {
				u[x] = 0;
			}
			for (int x : PMCs[trp.S]) {
				u[x] = 2;
			}
			it = 2;
			for (int x : uni) {
				if (u[x] == 0) {
					it++;
					vector<int> nco;
					vector<int> nsep;
					dfs6(G, x, nco, nsep);
					assert(nco.size() > 0 && nco.size() < co.size());
					assert(nsep.size() > 0 && nsep.size() < PMCs[trp.S].size());
					sort(nco.begin(), nco.end());
					sort(nsep.begin(), nsep.end());
					assert(nco.size() + nsep.size() < co.size() + sep.size());
					
					if (!ccsMap.count(nco) || !sepsMap.count(nsep)) {
						failed = true;
						break;
					}
					else {
						pair<int, int> id = {sepsMap[nsep], ccsMap[nco]};
						if (!dp.count(id)) {
							failed = true;
							break;
						}
						else {
							tval = mergeCost(tval, dp[id].F, PROBLEM);
						}
					}
				}
			}
		}
		
		valueT cost = cliqueCost(G, PMCs[trp.S], sep, PROBLEM, tval, upperBound);
		
		assert(cost <= upperBound);
		
		tval = mergeCost(tval, cost, PROBLEM);
		
		if (!failed && tval <= upperBound) {
			if (!dp.count(trp.F)) {
				dp[trp.F] = {tval, trp.S};
			}
			else {
				if (tval < dp[trp.F].F) {
					dp[trp.F] = {tval, trp.S};
				}
			}
		}
	}
	if (!dp.count(rootState)) return FAILSOLUTION;
	vector<pair<int, int> > sol;
	queue<pair<int, int> > reconstruct;
	reconstruct.push(rootState);
	while (!reconstruct.empty()) {
		pair<int, int> state = reconstruct.front();
		reconstruct.pop();
		assert(dp.count(state));
		pair<pair<int, int>, int> trp = {state, dp[state].S};
		
		assert(trp.F.F < (int)seps.size());
		assert(trp.F.S < (int)ccs.size());
		vector<int> sep = seps[trp.F.F];
		vector<int> co = ccs[trp.F.S];
		vector<int> uni = sep;
		uni.insert(uni.end(), co.begin(), co.end());
		sort(uni.begin(), uni.end());
		// just assert things
		for (int i = 1; i < (int)uni.size(); i++) {
			assert(uni[i] != uni[i-1]);
		}
		for (int x : PMCs[trp.S]) {
			assert(binary_search(uni.begin(), uni.end(), x));
		}
		for (int x : sep) {
			assert(binary_search(PMCs[trp.S].begin(), PMCs[trp.S].end(), x));
		}
		// assert ends
		
		for (int i = 0; i < (int)PMCs[trp.S].size(); i++) {
			for (int ii = i+1; ii < (int)PMCs[trp.S].size(); ii++) {
				int a = PMCs[trp.S][i];
				int b = PMCs[trp.S][ii];
				if (!G.hasEdge(a, b)) {
					if (!binary_search(sep.begin(), sep.end(), a) || !binary_search(sep.begin(), sep.end(), b)) {
						sol.push_back({a, b});
					}
				}
			}
		}
		
		if (PMCs[trp.S].size() != uni.size()) {
			for (int i = 0; i < G.n; i++) {
				u[i] = -1;
			}
			for (int x : uni) {
				u[x] = 0;
			}
			for (int x : PMCs[trp.S]) {
				u[x] = 2;
			}
			it = 2;
			for (int x : uni) {
				if (u[x] == 0) {
					it++;
					vector<int> nco;
					vector<int> nsep;
					dfs6(G, x, nco, nsep);
					assert(nco.size() > 0 && nco.size() < co.size());
					assert(nsep.size() > 0 && nsep.size() < PMCs[trp.S].size());
					sort(nco.begin(), nco.end());
					sort(nsep.begin(), nsep.end());
					assert(nco.size() + nsep.size() < co.size() + sep.size());
					
					assert(ccsMap.count(nco) && sepsMap.count(nsep));
					pair<int, int> id = {sepsMap[nsep], ccsMap[nco]};
					reconstruct.push(id);
				}
			}
		}
	}
	if (PROBLEM == PROBLEM_MINFILL) assert((int64_t)sol.size() == dp[rootState].F.valInt);
	sort(sol.begin(), sol.end());
	for (int i = 1; i < (int)sol.size(); i++) {
		assert(sol[i] != sol[i-1]);
	}
	if (PROBLEM == PROBLEM_MINFILL) assert((int64_t)sol.size() >= lowerBound.valInt);
	return sol;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x308, %rsp            # imm = 0x308
movq %rcx, 0xd0(%rsp)
movq %rdx, 0x68(%rsp)
movq %rsi, %r14
movq %rdi, %r12
leaq 0x298(%rsp), %rcx
xorl %eax, %eax
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq 0x268(%rsp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
movq %rax, 0x1a0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x190(%rsp)
movq %rax, 0x110(%rsp)
movaps %xmm0, 0x100(%rsp)
movq %rax, 0x1e0(%rsp)
movaps %xmm0, 0x1d0(%rsp)
movq %rsi, %rdi
callq 0xa486
testb %al, %al
je 0x202a0
movq 0x68(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rdx
movq %rdx, %rcx
subq %rax, %rcx
je 0x1e86b
movq %r12, 0xd8(%rsp)
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
testl %ecx, %ecx
movq %r14, 0x98(%rsp)
jle 0x1e87f
movl 0x50(%r14), %ecx
movq $0x0, 0x60(%rsp)
leaq 0x5cfb96(%rip), %r15    # 0x5ee010
testl %ecx, %ecx
jle 0x1e499
movq %r15, %rsi
xorl %edi, %edi
movl $0x0, (%rsi)
incq %rdi
movslq 0x50(%r14), %rcx
addq $0x4, %rsi
cmpq %rcx, %rdi
jl 0x1e483
movq 0x60(%rsp), %rsi
leaq (%rsi,%rsi,2), %rdi
movq (%rax,%rdi,8), %rsi
movq %rdi, %r12
movq 0x8(%rax,%rdi,8), %rdi
cmpq %rdi, %rsi
je 0x1e4cb
movslq (%rsi), %rcx
movl $0x2, (%r15,%rcx,4)
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x1e4b3
movl 0x50(%r14), %ecx
testl %ecx, %ecx
jle 0x1e840
xorl %ebp, %ebp
cmpl $0x0, (%r15,%rbp,4)
jne 0x1e825
xorps %xmm0, %xmm0
movaps %xmm0, 0x130(%rsp)
movq $0x0, 0x140(%rsp)
movq %r14, %rdi
movl %ebp, %esi
leaq 0x130(%rsp), %rdx
callq 0x1d021
movq 0x138(%rsp), %rcx
subq 0x130(%rsp), %rcx
je 0x20091
movq 0x68(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax,%r12,8), %rdx
subq (%rax,%r12,8), %rdx
cmpq %rdx, %rcx
jae 0x20091
cmpl $0x0, 0x50(%r14)
jle 0x1e55f
leaq 0x600809(%rip), %rcx    # 0x61ed50
xorl %edx, %edx
movl $0x0, (%rcx)
incq %rdx
movslq 0x50(%r14), %rsi
addq $0x4, %rcx
cmpq %rsi, %rdx
jl 0x1e549
leaq (%rax,%r12,8), %rcx
xorps %xmm0, %xmm0
movaps %xmm0, 0x1f0(%rsp)
movq $0x0, 0x200(%rsp)
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
cmpq %rcx, %rax
je 0x1ffd7
movslq (%rax), %rsi
cmpl $0x2, (%r15,%rsi,4)
je 0x1e59a
addq $0x4, %rax
jmp 0x1e581
movq 0x98(%rsp), %rdi
leaq 0x1f0(%rsp), %rdx
callq 0x1e16b
testl %eax, %eax
jle 0x1ffd7
movq 0x130(%rsp), %r13
movq 0x138(%rsp), %r14
movq %r14, %rcx
subq %r13, %rcx
sarq $0x2, %rcx
addl %ecx, %eax
movq 0x68(%rsp), %rdx
movq (%rdx), %rdx
movq 0x8(%rdx,%r12,8), %rsi
subq (%rdx,%r12,8), %rsi
shrq $0x2, %rsi
cmpl %esi, %eax
jne 0x1ffd7
movq %r13, %rax
cmpq %r14, %r13
je 0x1e634
movslq (%rax), %rdx
movl $0x2, (%r15,%rdx,4)
addq $0x4, %rax
cmpq %r14, %rax
jne 0x1e5f8
cmpq %r14, %r13
je 0x1e634
bsrq %rcx, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r13, %rdi
movq %r14, %rsi
callq 0xaf7f
movq %r13, %rdi
movq %r14, %rsi
callq 0xb062
leaq 0x290(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x21ed0
leaq 0x298(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1e69f
movq 0x190(%rsp), %r14
movq 0x198(%rsp), %rbx
leaq 0x290(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x216a0
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
leaq 0x190(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0xaaa4
movq 0x1f0(%rsp), %rbx
movq 0x1f8(%rsp), %r14
cmpq %r14, %rbx
je 0x1e6e1
movq %r14, %rax
subq %rbx, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0xaf7f
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb062
leaq 0x260(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x21ed0
leaq 0x268(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1e74c
movq 0x100(%rsp), %r14
movq 0x108(%rsp), %rbx
leaq 0x260(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x216a0
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
leaq 0x100(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0xaaa4
leaq 0x290(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x216a0
movq 0x98(%rsp), %r14
movq %rax, %rbx
leaq 0x260(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x216a0
movl (%rbx), %ecx
movl (%rax), %eax
shlq $0x20, %rax
orq %rcx, %rax
movq %rax, 0x1b0(%rsp)
movq 0x60(%rsp), %rax
movl %eax, 0x1b8(%rsp)
movq 0x1d8(%rsp), %rsi
cmpq 0x1e0(%rsp), %rsi
je 0x1e7d2
movl 0x1b8(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x1b0(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x1d8(%rsp)
jmp 0x1e7e7
leaq 0x1d0(%rsp), %rdi
leaq 0x1b0(%rsp), %rdx
callq 0x22236
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0x1e804
movq 0x200(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1e821
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movl 0x50(%r14), %ecx
incq %rbp
movslq %ecx, %rax
cmpq %rax, %rbp
jl 0x1e4d5
movq 0x68(%rsp), %rdx
movq (%rdx), %rax
movq 0x8(%rdx), %rdx
movq 0x60(%rsp), %rdi
incq %rdi
movq %rdx, %rsi
subq %rax, %rsi
shrq $0x3, %rsi
imull $0xaaaaaaab, %esi, %esi # imm = 0xAAAAAAAB
movslq %esi, %rsi
movq %rdi, 0x60(%rsp)
cmpq %rsi, %rdi
jl 0x1e47a
jmp 0x1e883
leaq 0x5cf77e(%rip), %rsi    # 0x5edff0
movq %r12, %rdi
callq 0x3f7c
jmp 0x1ff71
movl 0x50(%r14), %ecx
xorps %xmm0, %xmm0
movaps %xmm0, 0x1b0(%rsp)
movq $0x0, 0x1c0(%rsp)
movl $0x0, 0x130(%rsp)
testl %ecx, %ecx
movq 0xd8(%rsp), %r12
jle 0x1e90d
xorl %eax, %eax
leaq 0x1b0(%rsp), %rbx
leaq 0x130(%rsp), %r14
movq 0x1b8(%rsp), %rsi
cmpq 0x1c0(%rsp), %rsi
je 0x1e8e5
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x1b8(%rsp)
jmp 0x1e8f0
movq %rbx, %rdi
movq %r14, %rdx
callq 0x92c4
movl 0x130(%rsp), %eax
incl %eax
movl %eax, 0x130(%rsp)
movq 0x98(%rsp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x1e8c3
leaq 0x130(%rsp), %rsi
xorps %xmm0, %xmm0
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x290(%rsp), %rdi
callq 0x21ed0
leaq 0x298(%rsp), %rcx
cmpq %rcx, %rax
jne 0x202bf
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1e95e
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x260(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
callq 0x21ed0
leaq 0x268(%rsp), %rcx
cmpq %rcx, %rax
jne 0x202de
movq 0x190(%rsp), %r14
movq 0x198(%rsp), %rbx
xorps %xmm0, %xmm0
leaq 0x130(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x290(%rsp), %rdi
callq 0x2173c
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1e9e3
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x100(%rsp), %r14
movq 0x108(%rsp), %rbx
leaq 0x260(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
callq 0x216a0
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
xorps %xmm0, %xmm0
leaq 0x130(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x190(%rsp), %rdi
callq 0x12ab6
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1ea57
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x100(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
callq 0xaaa4
movq 0x198(%rsp), %rax
subq 0x190(%rsp), %rax
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
decl %eax
movq 0x108(%rsp), %rcx
subq 0x100(%rsp), %rcx
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
decl %ecx
movl %eax, 0x188(%rsp)
movl %ecx, 0x18c(%rsp)
movq 0x68(%rsp), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
testl %eax, %eax
jle 0x1eb52
xorl %ebp, %ebp
leaq 0x1d0(%rsp), %rbx
leaq 0x130(%rsp), %r14
movq 0x188(%rsp), %rax
movq %rax, 0x130(%rsp)
movl %ebp, 0x138(%rsp)
movq 0x1d8(%rsp), %rsi
cmpq 0x1e0(%rsp), %rsi
je 0x1eb2b
movl 0x138(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x130(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x1d8(%rsp)
jmp 0x1eb36
movq %rbx, %rdi
movq %r14, %rdx
callq 0x22236
movq 0x68(%rsp), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
incl %ebp
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
cmpl %eax, %ebp
jl 0x1eae2
movq 0x1d0(%rsp), %rbx
movq 0x1d8(%rsp), %r14
cmpq %r14, %rbx
je 0x1ec22
movq %r14, %r15
subq %rbx, %r15
movq %r15, %rax
sarq $0x2, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rcx
bsrq %rcx, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
leaq 0x190(%rsp), %rcx
leaq 0x100(%rsp), %r8
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20b03
cmpq $0xc1, %r15
jl 0x1ec07
leaq 0xc0(%rbx), %r13
leaq 0x190(%rsp), %rdx
leaq 0x100(%rsp), %rcx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x210fa
cmpq %r14, %r13
je 0x1ec22
leaq 0x190(%rsp), %rbx
leaq 0x100(%rsp), %rbp
movq %r13, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
callq 0x211f9
addq $0xc, %r13
cmpq %r14, %r13
jne 0x1ebee
jmp 0x1ec22
leaq 0x190(%rsp), %rdx
leaq 0x100(%rsp), %rcx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x210fa
leaq 0x1f8(%rsp), %rcx
movl $0x0, (%rcx)
xorl %eax, %eax
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
movq 0x1d0(%rsp), %rbx
movq 0x1d8(%rsp), %rax
movq %rax, 0x2c0(%rsp)
cmpq %rax, %rbx
je 0x1f58d
movq 0xd0(%rsp), %rax
decl %eax
movl %eax, 0x25c(%rsp)
leaq 0xb8(%rsp), %r15
leaq 0xe8(%rsp), %r14
movl 0x8(%rbx), %eax
movl %eax, 0x78(%rsp)
movq (%rbx), %rax
movq %rax, 0x70(%rsp)
movq 0x190(%rsp), %rcx
movq 0x198(%rsp), %rdx
subq %rcx, %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, %eax
jge 0x201c7
movq 0x108(%rsp), %rdx
subq 0x100(%rsp), %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, 0x74(%rsp)
jge 0x201a8
cltq
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rsi
movq %r15, %rdi
callq 0x42ce
movslq 0x74(%rsp), %rax
leaq (%rax,%rax,2), %rsi
shlq $0x3, %rsi
addq 0x100(%rsp), %rsi
leaq 0x118(%rsp), %rdi
callq 0x42ce
movq %r14, %rdi
movq %r15, %rsi
callq 0x42ce
movq %rbx, 0x2c8(%rsp)
movq 0xf0(%rsp), %rsi
movq 0x118(%rsp), %rdx
movq 0x120(%rsp), %rcx
movq %r14, %rdi
callq 0x15f3c
movq 0xe8(%rsp), %r14
movq 0xf0(%rsp), %rbx
cmpq %rbx, %r14
je 0x1ed97
movq %rbx, %rax
subq %r14, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xaf7f
movq %r14, %rdi
movq %rbx, %rsi
callq 0xb062
movq 0xe8(%rsp), %r14
movq 0xf0(%rsp), %r13
jmp 0x1ed9a
movq %r14, %r13
movq %r13, %rdi
subq %r14, %rdi
movq %rdi, %r8
sarq $0x2, %r8
cmpl $0x2, %r8d
jl 0x1edd1
movl %r8d, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl $0x1, %ecx
movl (%r14,%rcx,4), %edx
cmpl -0x4(%r14,%rcx,4), %edx
je 0x20072
incq %rcx
cmpq %rcx, %rax
jne 0x1edba
movslq 0x78(%rsp), %rax
movq 0x68(%rsp), %rcx
movq (%rcx), %rcx
leaq (%rax,%rax,2), %rsi
movq (%rcx,%rsi,8), %rdx
movq 0x8(%rcx,%rsi,8), %rsi
movq %rdx, %r9
cmpq %rsi, %rdx
je 0x1ee4a
movl (%r9), %r10d
movq %r14, %r11
testq %r8, %r8
jle 0x1ee2f
movq %r8, %rbx
movq %r14, %r11
movq %rbx, %r15
shrq %r15
movq %r15, %r12
notq %r12
addq %rbx, %r12
leaq (%r11,%r15,4), %rbx
addq $0x4, %rbx
cmpl %r10d, -0x4(%rbx)
cmovlq %rbx, %r11
cmovgeq %r15, %r12
movq %r12, %rbx
testq %r12, %r12
jg 0x1ee04
cmpq %r13, %r11
je 0x1fff6
cmpl (%r11), %r10d
jl 0x1fff6
addq $0x4, %r9
cmpq %rsi, %r9
jne 0x1edf3
movq %r13, 0x60(%rsp)
movq 0xb8(%rsp), %r8
movq 0xc0(%rsp), %r9
cmpq %r9, %r8
je 0x1eec5
movq %rsi, %r10
subq %rdx, %r10
sarq $0x2, %r10
movl (%r8), %r11d
movq %rdx, %rbx
testq %r10, %r10
jle 0x1eeaa
movq %r10, %r15
movq %rdx, %rbx
movq %r15, %r12
shrq %r12
movq %r12, %r13
notq %r13
addq %r15, %r13
leaq (%rbx,%r12,4), %r15
addq $0x4, %r15
cmpl %r11d, -0x4(%r15)
cmovlq %r15, %rbx
cmovgeq %r12, %r13
movq %r13, %r15
testq %r13, %r13
jg 0x1ee7f
cmpq %rsi, %rbx
je 0x20015
cmpl (%rbx), %r11d
jl 0x20015
addq $0x4, %r8
cmpq %r9, %r8
jne 0x1ee6e
cmpl $0x5, 0x25c(%rsp)
jae 0x1ef04
movl $0x1, 0x240(%rsp)
movq $0x0, 0x220(%rsp)
movq 0xd8(%rsp), %r12
leaq 0x5cf11b(%rip), %r11    # 0x5ee010
leaq 0xb8(%rsp), %r15
movq 0x60(%rsp), %rbx
jmp 0x1ef42
cmpl $0x6, 0xd0(%rsp)
movq 0xd8(%rsp), %r12
leaq 0x5cf0f5(%rip), %r11    # 0x5ee010
leaq 0xb8(%rsp), %r15
movq 0x60(%rsp), %rbx
jne 0x20262
movl $0x2, 0x240(%rsp)
fldz
fstpt 0x230(%rsp)
movq %rsi, %r8
subq %rdx, %r8
cmpq %rdi, %r8
jne 0x1ef54
xorl %ebx, %ebx
jmp 0x1f343
movq 0x98(%rsp), %r10
cmpl $0x0, 0x50(%r10)
jle 0x1ef7f
movq %r11, %rdi
xorl %r8d, %r8d
movl $0xffffffff, (%rdi)     # imm = 0xFFFFFFFF
incq %r8
movslq 0x50(%r10), %r9
addq $0x4, %rdi
cmpq %r9, %r8
jl 0x1ef69
movq %r14, %rdi
cmpq %rbx, %r14
je 0x1efac
movslq (%rdi), %r8
movl $0x0, (%r11,%r8,4)
addq $0x4, %rdi
cmpq %rbx, %rdi
jne 0x1ef87
jmp 0x1efac
movslq (%rdx), %rdi
movl $0x2, (%r11,%rdi,4)
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x1ef9d
movl $0x2, 0x630ad5(%rip)    # 0x64fa90
cmpq %rbx, %r14
je 0x1f339
xorl %r15d, %r15d
leaq 0x2d0(%rsp), %r13
movslq (%r14), %rsi
leaq 0x5cf037(%rip), %rax    # 0x5ee010
cmpl $0x0, (%rax,%rsi,4)
je 0x1efe7
movl %r15d, %ebx
jmp 0x1f310
incl 0x630aa3(%rip)          # 0x64fa90
xorl %eax, %eax
movq %rax, 0xb0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
movq %rax, 0x90(%rsp)
movaps %xmm0, 0x80(%rsp)
movq 0x98(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x1e27a
movq 0xa0(%rsp), %rbp
movq 0xa8(%rsp), %r13
movq %r13, %rax
subq %rbp, %rax
movq %r13, %rcx
subq %rbp, %rcx
je 0x200ee
movq 0x120(%rsp), %rdx
subq 0x118(%rsp), %rdx
cmpq %rdx, %rcx
jae 0x200ee
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
je 0x200cf
movslq 0x78(%rsp), %rdx
movq 0x68(%rsp), %rsi
movq (%rsi), %rsi
leaq (%rdx,%rdx,2), %rdx
movq 0x8(%rsi,%rdx,8), %rdi
subq (%rsi,%rdx,8), %rdi
cmpq %rdi, %rcx
jae 0x200cf
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbp, %rdi
movq %r13, %rsi
callq 0xaf7f
movq %rbp, %rdi
movq %r13, %rsi
callq 0xb062
movq 0x80(%rsp), %r13
movq 0x88(%rsp), %rbx
movq %rbx, %rax
cmpq %rbx, %r13
je 0x1f11c
subq %r13, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r13, %rdi
movq %rbx, %rsi
callq 0xaf7f
movq %r13, %rdi
movq %rbx, %rsi
callq 0xb062
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %rax
subq %rbx, %rax
movq 0xa8(%rsp), %rcx
subq 0xa0(%rsp), %rcx
sarq $0x2, %rcx
sarq $0x2, %rax
movq 0x120(%rsp), %rdx
subq 0x118(%rsp), %rdx
addq %rcx, %rax
movq 0xc0(%rsp), %rcx
subq 0xb8(%rsp), %rcx
sarq $0x2, %rdx
sarq $0x2, %rcx
addq %rdx, %rcx
cmpq %rcx, %rax
jae 0x2016a
leaq 0x260(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x21ed0
movb $0x1, %bl
leaq 0x268(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f2bf
leaq 0x290(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x21ed0
leaq 0x298(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f2bf
leaq 0x290(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x216a0
movq %rax, %rbx
leaq 0x260(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x216a0
movl (%rbx), %ecx
movl %ecx, 0xe0(%rsp)
movl (%rax), %eax
movl %eax, 0xe4(%rsp)
leaq 0x1f0(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x22482
leaq 0x1f8(%rsp), %rcx
cmpq %rcx, %rax
setne %bpl
je 0x1f2c3
leaq 0x1f0(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x217d8
movaps (%rax), %xmm0
movaps 0x10(%rax), %xmm1
movaps 0x20(%rax), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps 0x220(%rsp), %xmm0
movaps 0x230(%rsp), %xmm1
movaps 0x240(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
leaq 0x130(%rsp), %rdi
movq 0xd0(%rsp), %rsi
callq 0x1bf54
movl 0x150(%rsp), %eax
movl %eax, 0x240(%rsp)
movaps 0x130(%rsp), %xmm0
movaps 0x140(%rsp), %xmm1
movaps %xmm1, 0x230(%rsp)
movaps %xmm0, 0x220(%rsp)
jmp 0x1f2c6
xorl %ebp, %ebp
jmp 0x1f2c9
movb $0x1, %r15b
movl %r15d, %ebx
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1f2e6
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1f303
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
testb %bpl, %bpl
leaq 0x2d0(%rsp), %r13
je 0x1f322
addq $0x4, %r14
movl %ebx, %r15d
cmpq 0x60(%rsp), %r14
jne 0x1efcf
movslq 0x78(%rsp), %rax
movq 0x68(%rsp), %rcx
movq (%rcx), %rcx
leaq 0xb8(%rsp), %r15
jmp 0x1f34b
xorl %ebx, %ebx
leaq 0xb8(%rsp), %r15
leaq 0x2d0(%rsp), %r13
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rdx
leaq 0x370(%rsp), %r14
movaps (%r14), %xmm0
movaps 0x10(%r14), %xmm1
movaps 0x20(%r14), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps 0x220(%rsp), %xmm0
movaps 0x230(%rsp), %xmm1
movaps 0x240(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
movq %r13, %rdi
movq 0x98(%rsp), %rsi
movq %r15, %rcx
movq 0xd0(%rsp), %r8
callq 0x1bfef
movq %r13, %rdi
movq %r14, %rsi
callq 0x1b556
testb %al, %al
je 0x201e6
movaps 0x2d0(%rsp), %xmm0
movaps 0x2e0(%rsp), %xmm1
movaps 0x2f0(%rsp), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps 0x220(%rsp), %xmm0
movaps 0x230(%rsp), %xmm1
movaps 0x240(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
leaq 0x130(%rsp), %rdi
movq 0xd0(%rsp), %rsi
callq 0x1bf54
movl 0x150(%rsp), %eax
movl %eax, 0x240(%rsp)
movaps 0x130(%rsp), %xmm0
movaps 0x140(%rsp), %xmm1
movaps %xmm1, 0x230(%rsp)
movaps %xmm0, 0x220(%rsp)
testb $0x1, %bl
jne 0x1f514
leaq 0x220(%rsp), %rdi
movq %r14, %rsi
callq 0x1b556
testb %al, %al
je 0x1f514
leaq 0x1f0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x22482
leaq 0x1f8(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f4da
leaq 0x1f0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x217d8
leaq 0x220(%rsp), %rdi
movq %rax, %rsi
callq 0x1b47c
testb %al, %al
je 0x1f514
movl 0x78(%rsp), %ebx
leaq 0x1f0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x217d8
jmp 0x1f4f0
movl 0x78(%rsp), %ebx
leaq 0x1f0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x217d8
movl 0x240(%rsp), %ecx
movl %ecx, 0x20(%rax)
movaps 0x220(%rsp), %xmm0
movaps 0x230(%rsp), %xmm1
movaps %xmm1, 0x10(%rax)
movaps %xmm0, (%rax)
movl %ebx, 0x30(%rax)
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x1f531
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
movq 0x2c8(%rsp), %rbx
leaq 0xe8(%rsp), %r14
je 0x1f55e
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1f57b
movq 0xc8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
addq $0xc, %rbx
cmpq 0x2c0(%rsp), %rbx
jne 0x1ec84
leaq 0x1f0(%rsp), %rdi
leaq 0x188(%rsp), %rsi
callq 0x22482
leaq 0x1f8(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f61c
xorps %xmm0, %xmm0
movups %xmm0, (%r12)
movq $0x0, 0x10(%r12)
leaq 0x130(%rsp), %rdi
movaps %xmm0, 0x40(%rdi)
movaps %xmm0, 0x30(%rdi)
movaps %xmm0, 0x20(%rdi)
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
xorl %esi, %esi
callq 0x22760
movq 0x160(%rsp), %rax
movq 0x170(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1f630
movq 0x188(%rsp), %rcx
movq %rcx, (%rax)
movq 0x160(%rsp), %rcx
addq $0x8, %rcx
movq %rcx, 0x160(%rsp)
jmp 0x1f64d
leaq 0x5ce9cd(%rip), %rsi    # 0x5edff0
movq %r12, %rdi
callq 0x3f7c
jmp 0x1ff47
leaq 0x130(%rsp), %rdi
leaq 0x188(%rsp), %rsi
callq 0x228d6
movq 0x160(%rsp), %rcx
movq 0x140(%rsp), %rax
cmpq %rax, %rcx
je 0x1fe62
leaq 0x1f0(%rsp), %rbx
leaq 0x70(%rsp), %r14
leaq 0xb8(%rsp), %r13
movq (%rax), %rcx
movq %rcx, 0x70(%rsp)
movq 0x150(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1f692
addq $0x8, %rax
jmp 0x1f6d3
movq 0x148(%rsp), %rdi
movl $0x200, %esi            # imm = 0x200
callq 0x2210
movq 0x158(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x158(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x148(%rsp)
leaq 0x200(%rax), %rcx
movq %rcx, 0x150(%rsp)
movq %rax, 0x140(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x22482
leaq 0x1f8(%rsp), %rcx
cmpq %rcx, %rax
je 0x20243
movq %rbx, %rdi
movq %r14, %rsi
callq 0x217d8
movq 0x70(%rsp), %rbx
movq 0x190(%rsp), %rcx
movq 0x198(%rsp), %rdx
subq %rcx, %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, %ebx
jge 0x20224
movq %rbx, %rdx
movq 0x108(%rsp), %rsi
subq 0x100(%rsp), %rsi
shrq $0x20, %rdx
shrq $0x3, %rsi
imull $0xaaaaaaab, %esi, %esi # imm = 0xAAAAAAAB
cmpl %esi, %edx
jge 0x20205
movslq 0x30(%rax), %r15
movslq %ebx, %rax
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rsi
movq %r13, %rdi
callq 0x42ce
sarq $0x20, %rbx
leaq (%rbx,%rbx,2), %rsi
shlq $0x3, %rsi
addq 0x100(%rsp), %rsi
leaq 0x118(%rsp), %rdi
callq 0x42ce
leaq 0xe8(%rsp), %rbx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x42ce
movq 0xf0(%rsp), %rsi
movq 0x118(%rsp), %rdx
movq 0x120(%rsp), %rcx
movq %rbx, %rdi
callq 0x15f3c
movq 0xe8(%rsp), %r14
movq 0xf0(%rsp), %rbx
cmpq %rbx, %r14
je 0x1f814
movq %rbx, %rax
subq %r14, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xaf7f
movq %r14, %rdi
movq %rbx, %rsi
callq 0xb062
movq 0xe8(%rsp), %r14
movq 0xf0(%rsp), %r12
jmp 0x1f817
movq %r14, %r12
movq %r12, %rdx
subq %r14, %rdx
movq %rdx, %rsi
sarq $0x2, %rsi
cmpl $0x2, %esi
jl 0x1f84c
movl %esi, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl $0x1, %ecx
movl (%r14,%rcx,4), %edi
cmpl -0x4(%r14,%rcx,4), %edi
je 0x200b0
incq %rcx
cmpq %rcx, %rax
jne 0x1f835
movq 0x68(%rsp), %rax
movq (%rax), %rcx
leaq (%r15,%r15,2), %r13
movq (%rcx,%r13,8), %rax
movq 0x8(%rcx,%r13,8), %rcx
movq %rax, %rdi
cmpq %rcx, %rax
je 0x1f8c0
movl (%rdi), %r8d
movq %r14, %r9
testq %rsi, %rsi
jle 0x1f8a5
movq %rsi, %r10
movq %r14, %r9
movq %r10, %r11
shrq %r11
movq %r11, %rbx
notq %rbx
addq %r10, %rbx
leaq (%r9,%r11,4), %r10
addq $0x4, %r10
cmpl %r8d, -0x4(%r10)
cmovlq %r10, %r9
cmovgeq %r11, %rbx
movq %rbx, %r10
testq %rbx, %rbx
jg 0x1f87a
cmpq %r12, %r9
je 0x20034
cmpl (%r9), %r8d
jl 0x20034
addq $0x4, %rdi
cmpq %rcx, %rdi
jne 0x1f869
movq %r12, 0x60(%rsp)
movq 0xb8(%rsp), %rdi
movq 0xc0(%rsp), %r8
movq %rcx, %rsi
subq %rax, %rsi
cmpq %r8, %rdi
je 0x1f93e
movq %rsi, %r9
sarq $0x2, %r9
movl (%rdi), %r10d
movq %rax, %r11
testq %r9, %r9
jle 0x1f923
movq %r9, %rbx
movq %rax, %r11
movq %rbx, %r15
shrq %r15
movq %r15, %r12
notq %r12
addq %rbx, %r12
leaq (%r11,%r15,4), %rbx
addq $0x4, %rbx
cmpl %r10d, -0x4(%rbx)
cmovlq %rbx, %r11
cmovgeq %r15, %r12
movq %r12, %rbx
testq %r12, %r12
jg 0x1f8f8
cmpq %rcx, %r11
je 0x20053
cmpl (%r11), %r10d
jl 0x20053
addq $0x4, %rdi
cmpq %r8, %rdi
jne 0x1f8e7
movq %rsi, %rdi
shrq $0x2, %rdi
testl %edi, %edi
jle 0x1faab
movl $0x1, %r12d
xorl %edi, %edi
movq %rdi, %r15
incq %rdi
movq %rcx, %rsi
subq %rax, %rsi
movq %rsi, %rdx
shrq $0x2, %rdx
movslq %edx, %rdx
cmpq %rdx, %rdi
jge 0x1fa87
movq %rdi, 0x60(%rsp)
movq %r12, %rbx
movl (%rax,%r15,4), %r14d
movl (%rax,%rbx,4), %ebp
movq 0x98(%rsp), %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x9ea6
testb %al, %al
jne 0x1fa56
movq 0xb8(%rsp), %rax
movq 0xc0(%rsp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq %rax, %rsi
testq %rdx, %rdx
jle 0x1f9f0
movq %rdx, %rdi
movq %rax, %rsi
movq %rdi, %r8
shrq %r8
movq %r8, %r9
notq %r9
addq %rdi, %r9
leaq (%rsi,%r8,4), %rdi
addq $0x4, %rdi
cmpl %r14d, -0x4(%rdi)
cmovlq %rdi, %rsi
cmovgeq %r8, %r9
movq %r9, %rdi
testq %r9, %r9
jg 0x1f9c5
cmpq %rcx, %rsi
je 0x1fa32
cmpl (%rsi), %r14d
jl 0x1fa32
testq %rdx, %rdx
jle 0x1fa29
movq %rdx, %rsi
shrq %rsi
movq %rsi, %rdi
notq %rdi
addq %rdx, %rdi
leaq (%rax,%rsi,4), %rdx
addq $0x4, %rdx
cmpl %ebp, -0x4(%rdx)
cmovlq %rdx, %rax
cmovgeq %rsi, %rdi
movq %rdi, %rdx
testq %rdi, %rdi
jg 0x1f9ff
cmpq %rcx, %rax
je 0x1fa32
cmpl (%rax), %ebp
jge 0x1fa56
movl %r14d, 0xa0(%rsp)
movl %ebp, 0xa4(%rsp)
movq 0xd8(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0xb2ae
incq %rbx
movq 0x68(%rsp), %rax
movq (%rax), %rcx
movq (%rcx,%r13,8), %rax
movq 0x8(%rcx,%r13,8), %rcx
movq %rcx, %rsi
subq %rax, %rsi
movq %rsi, %rdx
shrq $0x2, %rdx
cmpl %edx, %ebx
jl 0x1f97c
movslq %edx, %rdx
movq 0x60(%rsp), %rdi
incq %r12
cmpq %rdx, %rdi
jl 0x1f955
movq 0xe8(%rsp), %r14
movq 0xf0(%rsp), %rdx
movq %rdx, 0x60(%rsp)
subq %r14, %rdx
cmpq %rdx, %rsi
movq 0xd8(%rsp), %r12
leaq 0x5ce553(%rip), %r15    # 0x5ee010
je 0x1fde5
movq 0x98(%rsp), %r8
cmpl $0x0, 0x50(%r8)
jle 0x1faed
movq %r15, %rdx
xorl %esi, %esi
movl $0xffffffff, (%rdx)     # imm = 0xFFFFFFFF
incq %rsi
movslq 0x50(%r8), %rdi
addq $0x4, %rdx
cmpq %rdi, %rsi
jl 0x1fad7
movq %r14, %rdx
movq 0x60(%rsp), %rdi
cmpq %rdi, %r14
je 0x1fb1f
movslq (%rdx), %rsi
movl $0x0, (%r15,%rsi,4)
addq $0x4, %rdx
cmpq %rdi, %rdx
jne 0x1fafa
jmp 0x1fb1f
movslq (%rax), %rdx
movl $0x2, (%r15,%rdx,4)
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x1fb10
movl $0x2, 0x62ff62(%rip)    # 0x64fa90
cmpq 0x60(%rsp), %r14
je 0x1fde5
movslq (%r14), %rsi
cmpl $0x0, (%r15,%rsi,4)
jne 0x1fdce
incl 0x62ff43(%rip)          # 0x64fa90
xorl %eax, %eax
movq %rax, 0xb0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
movq %rax, 0x90(%rsp)
movaps %xmm0, 0x80(%rsp)
movq 0x98(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x1e27a
movq 0xa0(%rsp), %rbx
movq 0xa8(%rsp), %rbp
movq %rbp, %rax
subq %rbx, %rax
movq %rbp, %rcx
subq %rbx, %rcx
je 0x2014b
movq 0x120(%rsp), %rdx
subq 0x118(%rsp), %rdx
cmpq %rdx, %rcx
jae 0x2014b
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
je 0x2012c
movq 0x68(%rsp), %rdx
movq (%rdx), %rdx
movq 0x8(%rdx,%r13,8), %rsi
subq (%rdx,%r13,8), %rsi
cmpq %rsi, %rcx
jae 0x2012c
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %rbp, %rsi
callq 0xaf7f
movq %rbx, %rdi
movq %rbp, %rsi
callq 0xb062
movq 0x80(%rsp), %rbp
movq 0x88(%rsp), %rbx
movq %rbx, %rax
cmpq %rbx, %rbp
je 0x1fc73
subq %rbp, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbp, %rdi
movq %rbx, %rsi
callq 0xaf7f
movq %rbp, %rdi
movq %rbx, %rsi
callq 0xb062
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %rax
subq %rbx, %rax
movq 0xa8(%rsp), %rcx
subq 0xa0(%rsp), %rcx
sarq $0x2, %rcx
sarq $0x2, %rax
movq 0x120(%rsp), %rdx
subq 0x118(%rsp), %rdx
addq %rcx, %rax
movq 0xc0(%rsp), %rcx
subq 0xb8(%rsp), %rcx
sarq $0x2, %rdx
sarq $0x2, %rcx
addq %rdx, %rcx
cmpq %rcx, %rax
jae 0x20189
leaq 0x260(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x21ed0
leaq 0x268(%rsp), %rcx
cmpq %rcx, %rax
je 0x2010d
leaq 0x290(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x21ed0
leaq 0x298(%rsp), %rcx
cmpq %rcx, %rax
je 0x2010d
leaq 0x290(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x216a0
movq %rax, %rbx
leaq 0x260(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x216a0
movl (%rbx), %ecx
movl %ecx, 0xe0(%rsp)
movl (%rax), %eax
movl %eax, 0xe4(%rsp)
movq 0x160(%rsp), %rax
movq 0x170(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1fd7f
movq 0xe0(%rsp), %rcx
movq %rcx, (%rax)
addq $0x8, 0x160(%rsp)
jmp 0x1fd94
leaq 0x130(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x228d6
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1fdb1
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1fdce
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
addq $0x4, %r14
cmpq 0x60(%rsp), %r14
jne 0x1fb39
movq 0xe8(%rsp), %r14
testq %r14, %r14
je 0x1fdfd
movq 0xf8(%rsp), %rsi
subq %r14, %rsi
movq %r14, %rdi
callq 0x2210
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
leaq 0x1f0(%rsp), %rbx
leaq 0x70(%rsp), %r14
leaq 0xb8(%rsp), %r13
je 0x1fe2f
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1fe4c
movq 0xc8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x140(%rsp), %rax
cmpq %rax, 0x160(%rsp)
jne 0x1f673
cmpl $0x1, 0xd0(%rsp)
jne 0x1fe9a
movq (%r12), %r14
movq 0x8(%r12), %rbx
leaq 0x1f0(%rsp), %rdi
leaq 0x188(%rsp), %rsi
callq 0x217d8
subq %r14, %rbx
sarq $0x3, %rbx
cmpq (%rax), %rbx
jne 0x2031c
movq (%r12), %r14
movq 0x8(%r12), %rbx
cmpq %rbx, %r14
je 0x1fee0
movq %rbx, %rax
subq %r14, %rax
sarq $0x3, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xb3cb
movq %r14, %rdi
movq %rbx, %rsi
callq 0xb47e
movq (%r12), %r14
movq 0x8(%r12), %rax
jmp 0x1fee3
movq %r14, %rax
subq %r14, %rax
sarq $0x3, %rax
cmpl $0x2, %eax
jl 0x1ff1f
movl %eax, %ecx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
movl $0x1, %edx
movl (%r14,%rdx,8), %esi
cmpl -0x8(%r14,%rdx,8), %esi
jne 0x1ff17
movl -0x4(%r14,%rdx,8), %esi
cmpl %esi, 0x4(%r14,%rdx,8)
je 0x20281
incq %rdx
cmpq %rdx, %rcx
jne 0x1fefc
cmpl $0x1, 0xd0(%rsp)
jne 0x1ff3a
leaq 0x340(%rsp), %rcx
cmpq (%rcx), %rax
jl 0x202fd
leaq 0x130(%rsp), %rdi
callq 0x218d8
leaq 0x1f0(%rsp), %rdi
callq 0x21930
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ff71
movq 0x1c0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ff8e
movq 0x1e0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x100(%rsp), %rdi
callq 0x41aa
leaq 0x190(%rsp), %rdi
callq 0x41aa
leaq 0x260(%rsp), %rdi
callq 0x21980
leaq 0x290(%rsp), %rdi
callq 0x21980
movq %r12, %rax
addq $0x308, %rsp            # imm = 0x308
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xae61(%rip), %rdi      # 0x2ae3f
leaq 0xa6e1(%rip), %rsi      # 0x2a6c6
leaq 0xadca(%rip), %rcx      # 0x2adb6
movl $0x259, %edx            # imm = 0x259
callq 0x2140
leaq 0xaee5(%rip), %rdi      # 0x2aee2
leaq 0xa6c2(%rip), %rsi      # 0x2a6c6
leaq 0xadab(%rip), %rcx      # 0x2adb6
movl $0x28f, %edx            # imm = 0x28F
callq 0x2140
leaq 0xaeef(%rip), %rdi      # 0x2af0b
leaq 0xa6a3(%rip), %rsi      # 0x2a6c6
leaq 0xad8c(%rip), %rcx      # 0x2adb6
movl $0x292, %edx            # imm = 0x292
callq 0x2140
leaq 0xaea7(%rip), %rdi      # 0x2aee2
leaq 0xa684(%rip), %rsi      # 0x2a6c6
leaq 0xad6d(%rip), %rcx      # 0x2adb6
movl $0x2f4, %edx            # imm = 0x2F4
callq 0x2140
leaq 0xaeb1(%rip), %rdi      # 0x2af0b
leaq 0xa665(%rip), %rsi      # 0x2a6c6
leaq 0xad4e(%rip), %rcx      # 0x2adb6
movl $0x2f7, %edx            # imm = 0x2F7
callq 0x2140
leaq 0xae56(%rip), %rdi      # 0x2aecf
leaq 0xa646(%rip), %rsi      # 0x2a6c6
leaq 0xad2f(%rip), %rcx      # 0x2adb6
movl $0x28c, %edx            # imm = 0x28C
callq 0x2140
leaq 0xad7b(%rip), %rdi      # 0x2ae13
leaq 0xa627(%rip), %rsi      # 0x2a6c6
leaq 0xad10(%rip), %rcx      # 0x2adb6
movl $0x24d, %edx            # imm = 0x24D
callq 0x2140
leaq 0xae18(%rip), %rdi      # 0x2aecf
leaq 0xa608(%rip), %rsi      # 0x2a6c6
leaq 0xacf1(%rip), %rcx      # 0x2adb6
movl $0x2f1, %edx            # imm = 0x2F1
callq 0x2140
leaq 0xae97(%rip), %rdi      # 0x2af6d
leaq 0xa5e9(%rip), %rsi      # 0x2a6c6
leaq 0xacd2(%rip), %rcx      # 0x2adb6
movl $0x2b6, %edx            # imm = 0x2B6
callq 0x2140
leaq 0xae4f(%rip), %rdi      # 0x2af44
leaq 0xa5ca(%rip), %rsi      # 0x2a6c6
leaq 0xacb3(%rip), %rcx      # 0x2adb6
movl $0x2b5, %edx            # imm = 0x2B5
callq 0x2140
leaq 0xaee2(%rip), %rdi      # 0x2aff6
leaq 0xa5ab(%rip), %rsi      # 0x2a6c6
leaq 0xac94(%rip), %rcx      # 0x2adb6
movl $0x31e, %edx            # imm = 0x31E
callq 0x2140
leaq 0xae3a(%rip), %rdi      # 0x2af6d
leaq 0xa58c(%rip), %rsi      # 0x2a6c6
leaq 0xac75(%rip), %rcx      # 0x2adb6
movl $0x319, %edx            # imm = 0x319
callq 0x2140
leaq 0xadf2(%rip), %rdi      # 0x2af44
leaq 0xa56d(%rip), %rsi      # 0x2a6c6
leaq 0xac56(%rip), %rcx      # 0x2adb6
movl $0x318, %edx            # imm = 0x318
callq 0x2140
leaq 0xae30(%rip), %rdi      # 0x2afa1
leaq 0xa54e(%rip), %rsi      # 0x2a6c6
leaq 0xac37(%rip), %rcx      # 0x2adb6
movl $0x2b9, %edx            # imm = 0x2B9
callq 0x2140
leaq 0xae11(%rip), %rdi      # 0x2afa1
leaq 0xa52f(%rip), %rsi      # 0x2a6c6
leaq 0xac18(%rip), %rcx      # 0x2adb6
movl $0x31c, %edx            # imm = 0x31C
callq 0x2140
leaq 0xad06(%rip), %rdi      # 0x2aeb5
leaq 0xa510(%rip), %rsi      # 0x2a6c6
leaq 0xabf9(%rip), %rcx      # 0x2adb6
movl $0x284, %edx            # imm = 0x284
callq 0x2140
leaq 0xaccc(%rip), %rdi      # 0x2ae9a
leaq 0xa4f1(%rip), %rsi      # 0x2a6c6
leaq 0xabda(%rip), %rcx      # 0x2adb6
movl $0x283, %edx            # imm = 0x283
callq 0x2140
leaq 0xade6(%rip), %rdi      # 0x2afd3
leaq 0xa4d2(%rip), %rsi      # 0x2a6c6
leaq 0xabbb(%rip), %rcx      # 0x2adb6
movl $0x2cf, %edx            # imm = 0x2CF
callq 0x2140
leaq 0xaca9(%rip), %rdi      # 0x2aeb5
leaq 0xa4b3(%rip), %rsi      # 0x2a6c6
leaq 0xab9c(%rip), %rcx      # 0x2adb6
movl $0x2e9, %edx            # imm = 0x2E9
callq 0x2140
leaq 0xac6f(%rip), %rdi      # 0x2ae9a
leaq 0xa494(%rip), %rsi      # 0x2a6c6
leaq 0xab7d(%rip), %rcx      # 0x2adb6
movl $0x2e8, %edx            # imm = 0x2E8
callq 0x2140
leaq 0xad9c(%rip), %rdi      # 0x2afe6
leaq 0xa475(%rip), %rsi      # 0x2a6c6
leaq 0xab5e(%rip), %rcx      # 0x2adb6
movl $0x2e5, %edx            # imm = 0x2E5
callq 0x2140
leaq 0x8f07(%rip), %rdi      # 0x29170
leaq 0xa456(%rip), %rsi      # 0x2a6c6
leaq 0xab3f(%rip), %rcx      # 0x2adb6
movl $0x29e, %edx            # imm = 0x29E
callq 0x2140
leaq 0xadc5(%rip), %rdi      # 0x2b04d
leaq 0xa437(%rip), %rsi      # 0x2a6c6
leaq 0xab20(%rip), %rcx      # 0x2adb6
movl $0x328, %edx            # imm = 0x328
callq 0x2140
leaq 0xa9d8(%rip), %rdi      # 0x2ac7f
leaq 0xa418(%rip), %rsi      # 0x2a6c6
leaq 0xab01(%rip), %rcx      # 0x2adb6
movl $0x23f, %edx            # imm = 0x23F
callq 0x2140
leaq 0xabae(%rip), %rdi      # 0x2ae74
leaq 0xa3f9(%rip), %rsi      # 0x2a6c6
leaq 0xaae2(%rip), %rcx      # 0x2adb6
movl $0x26d, %edx            # imm = 0x26D
callq 0x2140
leaq 0xaba2(%rip), %rdi      # 0x2ae87
leaq 0xa3da(%rip), %rsi      # 0x2a6c6
leaq 0xaac3(%rip), %rcx      # 0x2adb6
movl $0x26e, %edx            # imm = 0x26E
callq 0x2140
leaq 0xad5c(%rip), %rdi      # 0x2b060
leaq 0xa3bb(%rip), %rsi      # 0x2a6c6
leaq 0xaaa4(%rip), %rcx      # 0x2adb6
movl $0x32a, %edx            # imm = 0x32A
callq 0x2140
leaq 0xacfc(%rip), %rdi      # 0x2b01f
leaq 0xa39c(%rip), %rsi      # 0x2a6c6
leaq 0xaa85(%rip), %rcx      # 0x2adb6
movl $0x325, %edx            # imm = 0x325
callq 0x2140
movq %rax, %r14
jmp 0x20578
jmp 0x20347
jmp 0x20347
movq %rax, %r14
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x2059b
movq 0x140(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x2059b
jmp 0x20392
jmp 0x203b7
jmp 0x203d3
jmp 0x203d3
movq %rax, %r14
jmp 0x205b8
jmp 0x20384
jmp 0x20384
movq %rax, %r14
jmp 0x2059b
jmp 0x203af
jmp 0x20392
jmp 0x20392
movq %rax, %r14
jmp 0x2056b
movq %rax, %r14
jmp 0x2054e
movq %rax, %r14
jmp 0x20531
jmp 0x20432
movq %rax, %r14
jmp 0x20514
movq %rax, %r14
jmp 0x2058e
movq %rax, %r14
jmp 0x204a9
movq %rax, %r14
jmp 0x2048c
jmp 0x203d3
jmp 0x203d3
movq %rax, %r14
jmp 0x2046f
jmp 0x20432
jmp 0x203ec
movq %rax, %r14
jmp 0x204e9
jmp 0x204c9
movq %rax, %r14
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2040c
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x20514
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x20514
movq %rax, %r14
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x20452
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x2046f
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x2048c
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x204a9
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x2058e
movq 0xc8(%rsp), %rsi
jmp 0x20586
jmp 0x204c9
movq %rax, %r14
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0x204e9
movq 0x200(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x205b8
movq 0x140(%rsp), %rsi
jmp 0x205b0
jmp 0x20509
movq %rax, %r14
movq 0xd8(%rsp), %r12
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x20531
movq 0xf8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x2054e
movq 0x128(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x2056b
movq 0xc8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x130(%rsp), %rdi
callq 0x218d8
movq (%r12), %rdi
testq %rdi, %rdi
je 0x2058e
movq 0x10(%r12), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x1f0(%rsp), %rdi
callq 0x21930
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0x205b8
movq 0x1c0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0x205d5
movq 0x1e0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x100(%rsp), %rdi
callq 0x41aa
leaq 0x190(%rsp), %rdi
callq 0x41aa
leaq 0x260(%rsp), %rdi
callq 0x21980
leaq 0x290(%rsp), %rdi
callq 0x21980
movq %r14, %rdi
callq 0x2310