// File: /workspace/github_cpp_makefile_star2_O1/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, 0xc0(%rsp)
movq %rdx, %rbx
movq %rdi, %r12
leaq 0x2a8(%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 0x278(%rsp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
movq %rax, 0x1b0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x1a0(%rsp)
movq %rax, 0x100(%rsp)
movaps %xmm0, 0xf0(%rsp)
movq %rax, 0x1f0(%rsp)
movaps %xmm0, 0x1e0(%rsp)
movq %rsi, 0x68(%rsp)
movq %rsi, %rdi
callq 0xa156
testb %al, %al
je 0x1ff7d
movq 0x8(%rbx), %rax
cmpq (%rbx), %rax
je 0x1e90a
movq (%rbx), %rax
movq %rbx, 0x60(%rsp)
movq 0x8(%rbx), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
testl %ecx, %ecx
movq %r12, 0x1f8(%rsp)
jle 0x1e58e
movq $0x0, 0x140(%rsp)
leaq 0x5d0e9e(%rip), %r15    # 0x5ef010
leaq 0x200(%rsp), %r13
movq 0x68(%rsp), %rdi
cmpl $0x0, 0x50(%rdi)
jle 0x1e1a0
movq %r15, %rcx
xorl %edx, %edx
movl $0x0, (%rcx)
incq %rdx
movslq 0x50(%rdi), %rsi
addq $0x4, %rcx
cmpq %rsi, %rdx
jl 0x1e18a
movq 0x140(%rsp), %rcx
leaq (%rcx,%rcx,2), %rdx
movq (%rax,%rdx,8), %rcx
movq %rdx, 0xc8(%rsp)
movq 0x8(%rax,%rdx,8), %rax
cmpq %rax, %rcx
je 0x1e1d3
movslq (%rcx), %rdx
movl $0x2, (%r15,%rdx,4)
addq $0x4, %rcx
jmp 0x1e1bd
movq 0x68(%rsp), %rax
cmpl $0x0, 0x50(%rax)
jle 0x1e556
xorl %ebp, %ebp
cmpl $0x0, (%r15,%rbp,4)
jne 0x1e541
xorps %xmm0, %xmm0
movaps %xmm0, 0x150(%rsp)
movq $0x0, 0x160(%rsp)
movq 0x68(%rsp), %rbx
movq %rbx, %rdi
movl %ebp, %esi
leaq 0x150(%rsp), %rdx
callq 0x1cd21
movq 0x158(%rsp), %rcx
subq 0x150(%rsp), %rcx
je 0x1fd4f
movq 0x60(%rsp), %rax
movq (%rax), %rax
movq 0xc8(%rsp), %rsi
movq 0x8(%rax,%rsi,8), %rdx
subq (%rax,%rsi,8), %rdx
cmpq %rdx, %rcx
jae 0x1fd4f
cmpl $0x0, 0x50(%rbx)
jle 0x1e27a
leaq 0x601aee(%rip), %rcx    # 0x61fd50
xorl %edx, %edx
movl $0x0, (%rcx)
incq %rdx
movslq 0x50(%rbx), %rsi
addq $0x4, %rcx
cmpq %rsi, %rdx
jl 0x1e264
movq 0xc8(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
xorps %xmm0, %xmm0
movaps %xmm0, 0x200(%rsp)
movq $0x0, 0x210(%rsp)
movq (%rax), %r14
movq 0x8(%rax), %rbx
cmpq %rbx, %r14
je 0x1e2de
addq $0x4, %r14
xorl %eax, %eax
movslq -0x4(%r14), %rsi
movl (%r15,%rsi,4), %r12d
cmpl $0x2, %r12d
jne 0x1e2ca
movq 0x68(%rsp), %rdi
movq %r13, %rdx
callq 0x1de6e
cmpl $0x2, %r12d
je 0x1e2e0
leaq 0x4(%r14), %rcx
cmpq %rbx, %r14
movq %rcx, %r14
jne 0x1e2af
jmp 0x1e2e0
xorl %eax, %eax
testl %eax, %eax
jle 0x1fd6e
movq 0x150(%rsp), %r14
movq 0x158(%rsp), %rbx
movq %rbx, %rcx
subq %r14, %rcx
sarq $0x2, %rcx
addl %ecx, %eax
movq 0x60(%rsp), %rdx
movq (%rdx), %rdx
movq 0xc8(%rsp), %rdi
movq 0x8(%rdx,%rdi,8), %rsi
subq (%rdx,%rdi,8), %rsi
shrq $0x2, %rsi
cmpl %esi, %eax
jne 0x1fd6e
movq %r14, %rax
cmpq %rbx, %r14
je 0x1e345
movslq (%rax), %rdx
movl $0x2, (%r15,%rdx,4)
addq $0x4, %rax
cmpq %rbx, %rax
jne 0x1e331
cmpq %rbx, %r14
je 0x1e36d
bsrq %rcx, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xac3d
movq %r14, %rdi
movq %rbx, %rsi
callq 0xad20
leaq 0x2a0(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x21cee
leaq 0x2a8(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1e3d8
movq 0x1a0(%rsp), %r14
movq 0x1a8(%rsp), %rbx
leaq 0x2a0(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x213c2
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
leaq 0x1a0(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0xa744
movq 0x200(%rsp), %rbx
movq 0x208(%rsp), %r14
cmpq %r14, %rbx
je 0x1e41a
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 0xac3d
movq %rbx, %rdi
movq %r14, %rsi
callq 0xad20
leaq 0x270(%rsp), %rdi
movq %r13, %rsi
callq 0x21cee
leaq 0x278(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1e476
movq 0xf0(%rsp), %r14
movq 0xf8(%rsp), %rbx
leaq 0x270(%rsp), %rdi
movq %r13, %rsi
callq 0x213c2
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
leaq 0xf0(%rsp), %rdi
movq %r13, %rsi
callq 0xa744
leaq 0x2a0(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x213c2
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
movq %r13, %rsi
callq 0x213c2
movl (%rbx), %ecx
movl (%rax), %eax
shlq $0x20, %rax
orq %rcx, %rax
movq %rax, 0x1c0(%rsp)
movq 0x140(%rsp), %rax
movl %eax, 0x1c8(%rsp)
movq 0x1e8(%rsp), %rsi
cmpq 0x1f0(%rsp), %rsi
je 0x1e4f2
movl 0x1c8(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x1c0(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x1e8(%rsp)
jmp 0x1e507
leaq 0x1e0(%rsp), %rdi
leaq 0x1c0(%rsp), %rdx
callq 0x22314
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x1e524
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x1e541
movq 0x160(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
incq %rbp
movq 0x68(%rsp), %rax
movslq 0x50(%rax), %rax
cmpq %rax, %rbp
jl 0x1e1e4
movq 0x140(%rsp), %rsi
incq %rsi
movq 0x60(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
movslq %ecx, %rcx
movq %rsi, 0x140(%rsp)
cmpq %rcx, %rsi
jl 0x1e17a
xorps %xmm0, %xmm0
movaps %xmm0, 0x1c0(%rsp)
movq $0x0, 0x1d0(%rsp)
movl $0x0, 0x150(%rsp)
movq 0x68(%rsp), %rax
cmpl $0x0, 0x50(%rax)
movq 0x60(%rsp), %r15
jle 0x1e619
xorl %eax, %eax
leaq 0x1c0(%rsp), %rbx
leaq 0x150(%rsp), %r14
movq 0x1c8(%rsp), %rsi
cmpq 0x1d0(%rsp), %rsi
je 0x1e5f4
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x1c8(%rsp)
jmp 0x1e5ff
movq %rbx, %rdi
movq %r14, %rdx
callq 0x8fde
movl 0x150(%rsp), %eax
incl %eax
movl %eax, 0x150(%rsp)
movq 0x68(%rsp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x1e5d2
leaq 0x150(%rsp), %rsi
xorps %xmm0, %xmm0
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x2a0(%rsp), %rdi
callq 0x21cee
leaq 0x2a8(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1ff9c
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x1e66a
movq 0x160(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x270(%rsp), %rdi
leaq 0x1c0(%rsp), %rsi
callq 0x21cee
leaq 0x278(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1ffbb
movq 0x1a0(%rsp), %r14
movq 0x1a8(%rsp), %rbx
xorps %xmm0, %xmm0
leaq 0x150(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x2a0(%rsp), %rdi
callq 0x21468
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x1e6ef
movq 0x160(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xf0(%rsp), %r14
movq 0xf8(%rsp), %rbx
leaq 0x270(%rsp), %rdi
leaq 0x1c0(%rsp), %rsi
callq 0x213c2
subq %r14, %rbx
shrq $0x3, %rbx
imull $0xaaaaaaab, %ebx, %ecx # imm = 0xAAAAAAAB
movl %ecx, (%rax)
xorps %xmm0, %xmm0
leaq 0x150(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x0, 0x10(%rsi)
leaq 0x1a0(%rsp), %rdi
callq 0x12836
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x1e763
movq 0x160(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0xf0(%rsp), %rdi
leaq 0x1c0(%rsp), %rsi
callq 0xa744
movq 0x1a8(%rsp), %rax
subq 0x1a0(%rsp), %rax
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
decl %eax
movq 0xf8(%rsp), %rcx
subq 0xf0(%rsp), %rcx
shrq $0x3, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
decl %ecx
movl %eax, 0x148(%rsp)
movl %ecx, 0x14c(%rsp)
movq 0x8(%r15), %rax
subq (%r15), %rax
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
testl %eax, %eax
jle 0x1e850
xorl %ebp, %ebp
leaq 0x1e0(%rsp), %rbx
leaq 0x150(%rsp), %r14
movq 0x148(%rsp), %rax
movq %rax, 0x150(%rsp)
movl %ebp, 0x158(%rsp)
movq 0x1e8(%rsp), %rsi
cmpq 0x1f0(%rsp), %rsi
je 0x1e82e
movl 0x158(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x150(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x1e8(%rsp)
jmp 0x1e839
movq %rbx, %rdi
movq %r14, %rdx
callq 0x22314
movq 0x8(%r15), %rax
subq (%r15), %rax
incl %ebp
shrq $0x3, %rax
imull $0xaaaaaaab, %eax, %eax # imm = 0xAAAAAAAB
cmpl %eax, %ebp
jl 0x1e7e5
movq 0x1e0(%rsp), %rbx
movq 0x1e8(%rsp), %r14
cmpq %r14, %rbx
je 0x1e93e
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 0x1a0(%rsp), %rcx
leaq 0xf0(%rsp), %r8
movq %rbx, %rdi
movq %r14, %rsi
callq 0x207bf
cmpq $0xc1, %r15
jl 0x1e91e
leaq 0xc0(%rbx), %r13
leaq 0x1a0(%rsp), %rdx
leaq 0xf0(%rsp), %rcx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x20e2f
cmpq %r14, %r13
movq 0x60(%rsp), %r15
je 0x1e93e
leaq 0x1a0(%rsp), %rbx
leaq 0xf0(%rsp), %rbp
movq %r13, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
callq 0x20f2a
addq $0xc, %r13
cmpq %r14, %r13
jne 0x1e8f1
jmp 0x1e93e
leaq 0x5d06df(%rip), %rsi    # 0x5eeff0
movq %r12, %rdi
callq 0x402a
jmp 0x1fc4e
leaq 0x1a0(%rsp), %rdx
leaq 0xf0(%rsp), %rcx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20e2f
movq 0x60(%rsp), %r15
leaq 0x208(%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 0x1e0(%rsp), %r14
movq 0x1e8(%rsp), %rax
movq %rax, 0x140(%rsp)
cmpq %rax, %r14
je 0x1f24f
leaq 0x5d068a(%rip), %r12    # 0x5ef010
movq 0xc0(%rsp), %rax
decl %eax
movl %eax, 0x26c(%rsp)
leaq 0x128(%rsp), %r13
leaq 0xd8(%rsp), %rbx
movl 0x8(%r14), %eax
movl %eax, 0x78(%rsp)
movq (%r14), %rax
movq %rax, 0x70(%rsp)
movq 0x1a0(%rsp), %rcx
movq 0x1a8(%rsp), %rdx
subq %rcx, %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, %eax
jge 0x1fea4
movq 0xf8(%rsp), %rdx
subq 0xf0(%rsp), %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, 0x74(%rsp)
jge 0x1fe85
cltq
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rsi
movq %r13, %rdi
callq 0x431c
movslq 0x74(%rsp), %rax
leaq (%rax,%rax,2), %rsi
shlq $0x3, %rsi
addq 0xf0(%rsp), %rsi
leaq 0x110(%rsp), %rdi
callq 0x431c
movq %rbx, %rdi
movq %r13, %rsi
callq 0x431c
movq 0xe0(%rsp), %rsi
movq 0x110(%rsp), %rdx
movq 0x118(%rsp), %rcx
movq %rbx, %rdi
callq 0x15cde
movq %r14, 0xc8(%rsp)
movq 0xd8(%rsp), %rbx
movq 0xe0(%rsp), %r13
cmpq %r13, %rbx
je 0x1eaa9
movq %r13, %rax
subq %rbx, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0xac3d
movq %rbx, %rdi
movq %r13, %rsi
callq 0xad20
movq 0xd8(%rsp), %r14
movq 0xe0(%rsp), %rbp
movq %rbp, %rdx
subq %r14, %rdx
movq %rdx, %rsi
sarq $0x2, %rsi
cmpl $0x2, %esi
jl 0x1eaee
movl %esi, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl $0x1, %ecx
movl (%r14,%rcx,4), %edi
cmpl -0x4(%r14,%rcx,4), %edi
je 0x1fd30
incq %rcx
cmpq %rcx, %rax
jne 0x1ead7
movslq 0x78(%rsp), %rax
movq (%r15), %rcx
leaq (%rax,%rax,2), %rdi
movq (%rcx,%rdi,8), %rax
movq 0x8(%rcx,%rdi,8), %rcx
movq %rax, %rdi
cmpq %rcx, %rax
je 0x1eb62
movl (%rdi), %r8d
movq %r14, %r9
testq %rsi, %rsi
jle 0x1eb47
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 0x1eb1c
cmpq %rbp, %r9
je 0x1fcb4
cmpl (%r9), %r8d
jl 0x1fcb4
addq $0x4, %rdi
cmpq %rcx, %rdi
jne 0x1eb0b
movq 0x128(%rsp), %rsi
movq 0x130(%rsp), %rdi
cmpq %rdi, %rsi
je 0x1ebd8
movq %rcx, %r8
subq %rax, %r8
sarq $0x2, %r8
movl (%rsi), %r9d
movq %rax, %r10
testq %r8, %r8
jle 0x1ebbd
movq %r8, %r11
movq %rax, %r10
movq %r11, %rbx
shrq %rbx
movq %rbx, %r15
notq %r15
addq %r11, %r15
leaq (%r10,%rbx,4), %r11
addq $0x4, %r11
cmpl %r9d, -0x4(%r11)
cmovlq %r11, %r10
cmovgeq %rbx, %r15
movq %r15, %r11
testq %r15, %r15
jg 0x1eb92
cmpq %rcx, %r10
je 0x1fcd3
cmpl (%r10), %r9d
jl 0x1fcd3
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x1eb81
movl $0x0, 0x250(%rsp)
cmpl $0x5, 0x26c(%rsp)
jae 0x1ec06
movl $0x1, 0x250(%rsp)
movq $0x0, 0x230(%rsp)
jmp 0x1ec28
cmpl $0x6, 0xc0(%rsp)
jne 0x1ff3f
movl $0x2, 0x250(%rsp)
fldz
fstpt 0x240(%rsp)
movq %rcx, %rsi
subq %rax, %rsi
cmpq %rdx, %rsi
je 0x1efed
movq 0x68(%rsp), %r8
cmpl $0x0, 0x50(%r8)
jle 0x1ec5e
movq %r12, %rdx
xorl %esi, %esi
movl $0xffffffff, (%rdx)     # imm = 0xFFFFFFFF
incq %rsi
movslq 0x50(%r8), %rdi
addq $0x4, %rdx
cmpq %rdi, %rsi
jl 0x1ec48
movq %r14, %rdx
cmpq %rbp, %r14
movq %r12, %rdi
je 0x1ec8c
movslq (%rdx), %rsi
movl $0x0, (%rdi,%rsi,4)
addq $0x4, %rdx
cmpq %rbp, %rdx
jne 0x1ec69
jmp 0x1ec8c
movslq (%rax), %rdx
movl $0x2, (%rdi,%rdx,4)
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x1ec7e
movl $0x2, 0x631df5(%rip)    # 0x650a90
cmpq %rbp, %r14
je 0x1efed
addq $0x4, %r14
xorl %r15d, %r15d
movslq -0x4(%r14), %rsi
cmpl $0x0, (%rdi,%rsi,4)
je 0x1ecbc
xorl %ebx, %ebx
jmp 0x1efd2
incl 0x631dce(%rip)          # 0x650a90
xorl %eax, %eax
movq %rax, 0xb0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
movq %rax, 0x90(%rsp)
movaps %xmm0, 0x80(%rsp)
movq 0x68(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x1df7d
movq 0xa0(%rsp), %r13
movq 0xa8(%rsp), %rbx
movq %rbx, %rax
subq %r13, %rax
movq %rbx, %rcx
subq %r13, %rcx
je 0x1fdcb
movq 0x118(%rsp), %rdx
subq 0x110(%rsp), %rdx
cmpq %rdx, %rcx
jae 0x1fdcb
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
je 0x1fdac
movslq 0x78(%rsp), %rdx
movq 0x60(%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 0x1fdac
cmpq %rbx, %r13
je 0x1eda1
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r13, %rdi
movq %rbx, %rsi
callq 0xac3d
movq %r13, %rdi
movq %rbx, %rsi
callq 0xad20
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r13
cmpq %r13, %rbx
je 0x1ede3
movq %r13, %rax
subq %rbx, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0xac3d
movq %rbx, %rdi
movq %r13, %rsi
callq 0xad20
movq 0xa8(%rsp), %rax
subq 0xa0(%rsp), %rax
sarq $0x2, %rax
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
sarq $0x2, %rcx
movq 0x118(%rsp), %rdx
subq 0x110(%rsp), %rdx
addq %rax, %rcx
movq 0x130(%rsp), %rax
subq 0x128(%rsp), %rax
sarq $0x2, %rdx
sarq $0x2, %rax
addq %rdx, %rax
cmpq %rax, %rcx
jae 0x1fe47
leaq 0x270(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x21cee
leaq 0x278(%rsp), %rcx
cmpq %rcx, %rax
je 0x1ef90
leaq 0x2a0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x21cee
leaq 0x2a8(%rsp), %rcx
cmpq %rcx, %rax
je 0x1ef90
leaq 0x2a0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x213c2
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x213c2
movl (%rbx), %ecx
movl %ecx, 0xd0(%rsp)
movl (%rax), %eax
movl %eax, 0xd4(%rsp)
leaq 0x200(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x22566
leaq 0x208(%rsp), %rcx
cmpq %rcx, %rax
sete %bl
je 0x1efe8
leaq 0x200(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x2150e
movaps (%rax), %xmm0
movaps 0x10(%rax), %xmm1
movaps 0x20(%rax), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps 0x230(%rsp), %xmm0
movaps 0x240(%rsp), %xmm1
movaps 0x250(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
leaq 0x150(%rsp), %rdi
movq 0xc0(%rsp), %rsi
callq 0x1be28
movl 0x170(%rsp), %eax
movl %eax, 0x250(%rsp)
movaps 0x150(%rsp), %xmm0
movaps 0x160(%rsp), %xmm1
movaps %xmm1, 0x240(%rsp)
movaps %xmm0, 0x230(%rsp)
jmp 0x1ef95
movb $0x1, %r15b
movb $0x1, %bl
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1efb2
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1efcf
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq %r12, %rdi
testb %bl, %bl
jne 0x1eff0
leaq 0x4(%r14), %rax
cmpq %rbp, %r14
movq %rax, %r14
jne 0x1ecab
jmp 0x1eff0
movb $0x1, %r15b
jmp 0x1ef95
xorl %r15d, %r15d
movslq 0x78(%rsp), %rax
leaq (%rax,%rax,2), %rdx
shlq $0x3, %rdx
movq 0x60(%rsp), %rax
addq (%rax), %rdx
leaq 0x370(%rsp), %rbx
movaps (%rbx), %xmm0
movaps 0x10(%rbx), %xmm1
movaps 0x20(%rbx), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps 0x230(%rsp), %xmm0
movaps 0x240(%rsp), %xmm1
movaps 0x250(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
leaq 0x2d0(%rsp), %rbp
movq %rbp, %rdi
movq 0x68(%rsp), %rsi
leaq 0x128(%rsp), %r13
movq %r13, %rcx
movq 0xc0(%rsp), %r8
callq 0x1bec3
movq 0xc8(%rsp), %r14
movq %rbp, %rdi
movq %rbx, %rsi
callq 0x1b41e
testb %al, %al
je 0x1fec3
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 0x230(%rsp), %xmm0
movaps 0x240(%rsp), %xmm1
movaps 0x250(%rsp), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
leaq 0x150(%rsp), %rdi
movq 0xc0(%rsp), %rsi
callq 0x1be28
movl 0x170(%rsp), %eax
movl %eax, 0x250(%rsp)
movaps 0x150(%rsp), %xmm0
movaps 0x160(%rsp), %xmm1
movaps %xmm1, 0x240(%rsp)
movaps %xmm0, 0x230(%rsp)
testb $0x1, %r15b
jne 0x1f1d9
leaq 0x230(%rsp), %rdi
movq %rbx, %rsi
callq 0x1b41e
testb %al, %al
je 0x1f1d9
leaq 0x200(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x22566
leaq 0x208(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f19f
leaq 0x200(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x2150e
leaq 0x230(%rsp), %rdi
movq %rax, %rsi
callq 0x1b344
testb %al, %al
je 0x1f1d9
movl 0x78(%rsp), %ebx
leaq 0x200(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x2150e
jmp 0x1f1b5
movl 0x78(%rsp), %ebx
leaq 0x200(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x2150e
movl 0x250(%rsp), %ecx
movl %ecx, 0x20(%rax)
movaps 0x230(%rsp), %xmm0
movaps 0x240(%rsp), %xmm1
movaps %xmm1, 0x10(%rax)
movaps %xmm0, (%rax)
movl %ebx, 0x30(%rax)
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1f1f6
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
movq 0x60(%rsp), %r15
leaq 0xd8(%rsp), %rbx
je 0x1f220
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x1f23d
movq 0x138(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
addq $0xc, %r14
cmpq 0x140(%rsp), %r14
jne 0x1e9a7
leaq 0x200(%rsp), %rdi
leaq 0x148(%rsp), %rsi
callq 0x22566
movq 0x1f8(%rsp), %r12
leaq 0x208(%rsp), %rcx
cmpq %rcx, %rax
je 0x1f2db
xorps %xmm0, %xmm0
movups %xmm0, (%r12)
movq $0x0, 0x10(%r12)
leaq 0x150(%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 0x2286a
movq 0x180(%rsp), %rax
movq 0x190(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1f2ef
movq 0x148(%rsp), %rcx
movq %rcx, (%rax)
addq $0x8, 0x180(%rsp)
jmp 0x1f304
leaq 0x5cfd0e(%rip), %rsi    # 0x5eeff0
movq %r12, %rdi
callq 0x402a
jmp 0x1fc24
leaq 0x150(%rsp), %rdi
leaq 0x148(%rsp), %rsi
callq 0x229e0
movq 0x160(%rsp), %rax
cmpq %rax, 0x180(%rsp)
je 0x1fb48
leaq 0x200(%rsp), %rbx
leaq 0x70(%rsp), %r14
leaq 0x128(%rsp), %r13
leaq 0xd8(%rsp), %rbp
movq (%rax), %rcx
movq %rcx, 0x70(%rsp)
movq 0x170(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1f356
addq $0x8, %rax
jmp 0x1f397
movq 0x168(%rsp), %rdi
movl $0x200, %esi            # imm = 0x200
callq 0x2210
movq 0x178(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x178(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x168(%rsp)
leaq 0x200(%rax), %rcx
movq %rcx, 0x170(%rsp)
movq %rax, 0x160(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x22566
leaq 0x208(%rsp), %rcx
cmpq %rcx, %rax
je 0x1ff20
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2150e
movq 0x70(%rsp), %rbx
movq 0x1a0(%rsp), %rcx
movq 0x1a8(%rsp), %rdx
subq %rcx, %rdx
shrq $0x3, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
cmpl %edx, %ebx
jge 0x1ff01
movq %rbx, %rdx
movq 0xf8(%rsp), %rsi
subq 0xf0(%rsp), %rsi
shrq $0x20, %rdx
shrq $0x3, %rsi
imull $0xaaaaaaab, %esi, %esi # imm = 0xAAAAAAAB
cmpl %esi, %edx
jge 0x1fee2
movslq 0x30(%rax), %r15
movslq %ebx, %rax
leaq (%rax,%rax,2), %rax
leaq (%rcx,%rax,8), %rsi
movq %r13, %rdi
callq 0x431c
sarq $0x20, %rbx
leaq (%rbx,%rbx,2), %rsi
shlq $0x3, %rsi
addq 0xf0(%rsp), %rsi
leaq 0x110(%rsp), %rdi
callq 0x431c
movq %rbp, %rdi
movq %r13, %rsi
callq 0x431c
movq 0xe0(%rsp), %rsi
movq 0x110(%rsp), %rdx
movq 0x118(%rsp), %rcx
movq %rbp, %rdi
callq 0x15cde
movq 0xd8(%rsp), %rbx
movq 0xe0(%rsp), %r14
cmpq %r14, %rbx
je 0x1f4be
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 0xac3d
movq %rbx, %rdi
movq %r14, %rsi
callq 0xad20
movq 0xd8(%rsp), %rdx
movq 0xe0(%rsp), %rsi
movq %rsi, %rdi
subq %rdx, %rdi
sarq $0x2, %rdi
cmpl $0x2, %edi
jl 0x1f500
movl %edi, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl $0x1, %ecx
movl (%rdx,%rcx,4), %r8d
cmpl -0x4(%rdx,%rcx,4), %r8d
je 0x1fd8d
incq %rcx
cmpq %rcx, %rax
jne 0x1f4e9
movq 0x60(%rsp), %rax
movq (%rax), %rcx
leaq (%r15,%r15,2), %rbp
movq (%rcx,%rbp,8), %rax
movq 0x8(%rcx,%rbp,8), %rcx
movq %rax, %r8
cmpq %rcx, %rax
je 0x1f574
movl (%r8), %r9d
movq %rdx, %r10
testq %rdi, %rdi
jle 0x1f559
movq %rdi, %r11
movq %rdx, %r10
movq %r11, %rbx
shrq %rbx
movq %rbx, %r14
notq %r14
addq %r11, %r14
leaq (%r10,%rbx,4), %r11
addq $0x4, %r11
cmpl %r9d, -0x4(%r11)
cmovlq %r11, %r10
cmovgeq %rbx, %r14
movq %r14, %r11
testq %r14, %r14
jg 0x1f52e
cmpq %rsi, %r10
je 0x1fcf2
cmpl (%r10), %r9d
jl 0x1fcf2
addq $0x4, %r8
cmpq %rcx, %r8
jne 0x1f51d
movq 0x128(%rsp), %rdx
movq 0x130(%rsp), %rsi
cmpq %rsi, %rdx
movq 0x60(%rsp), %r14
je 0x1f5ef
movq %rcx, %rdi
subq %rax, %rdi
sarq $0x2, %rdi
movl (%rdx), %r8d
movq %rax, %r9
testq %rdi, %rdi
jle 0x1f5d4
movq %rdi, %r10
movq %rax, %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 0x1f5a9
cmpq %rcx, %r9
je 0x1fd11
cmpl (%r9), %r8d
jl 0x1fd11
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x1f598
movq (%r14), %rcx
movq (%rcx,%rbp,8), %rax
movq 0x8(%rcx,%rbp,8), %rcx
movq %rcx, %rdx
subq %rax, %rdx
movq %rdx, %rsi
shrq $0x2, %rsi
testl %esi, %esi
jle 0x1f77b
movl $0x1, %r12d
xorl %r15d, %r15d
leaq 0x1(%r15), %rdx
movq (%r14), %rcx
movq (%rcx,%rbp,8), %rax
movq 0x8(%rcx,%rbp,8), %rcx
subq %rax, %rcx
shrq $0x2, %rcx
movslq %ecx, %rcx
movq %rdx, 0xc8(%rsp)
cmpq %rcx, %rdx
jge 0x1f746
movq %r12, %rbx
movl (%rax,%r15,4), %r13d
movl (%rax,%rbx,4), %r14d
movq 0x68(%rsp), %rdi
movl %r13d, %esi
movl %r14d, %edx
callq 0x9b60
testb %al, %al
jne 0x1f723
movq 0x128(%rsp), %rax
movq 0x130(%rsp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq %rax, %rsi
testq %rdx, %rdx
jle 0x1f6ba
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 %r13d, -0x4(%rdi)
cmovlq %rdi, %rsi
cmovgeq %r8, %r9
movq %r9, %rdi
testq %r9, %r9
jg 0x1f68f
cmpq %rcx, %rsi
je 0x1f6fe
cmpl (%rsi), %r13d
jl 0x1f6fe
testq %rdx, %rdx
jle 0x1f6f4
movq %rdx, %rsi
shrq %rsi
movq %rsi, %rdi
notq %rdi
addq %rdx, %rdi
leaq (%rax,%rsi,4), %rdx
addq $0x4, %rdx
cmpl %r14d, -0x4(%rdx)
cmovlq %rdx, %rax
cmovgeq %rsi, %rdi
movq %rdi, %rdx
testq %rdi, %rdi
jg 0x1f6c9
cmpq %rcx, %rax
je 0x1f6fe
cmpl (%rax), %r14d
jge 0x1f723
movl %r13d, 0xa0(%rsp)
movl %r14d, 0xa4(%rsp)
movq 0x1f8(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0xafe4
incq %rbx
movq 0x60(%rsp), %rax
movq (%rax), %rcx
movq (%rcx,%rbp,8), %rax
movq 0x8(%rcx,%rbp,8), %rcx
subq %rax, %rcx
shrq $0x2, %rcx
cmpl %ecx, %ebx
jl 0x1f647
movq 0x60(%rsp), %r14
movq (%r14), %rcx
movq (%rcx,%rbp,8), %rax
movq 0x8(%rcx,%rbp,8), %rcx
movq %rcx, %rdx
subq %rax, %rdx
movq %rdx, %rsi
shrq $0x2, %rsi
movslq %esi, %rsi
incq %r12
movq 0xc8(%rsp), %r15
cmpq %rsi, %r15
jl 0x1f619
movq 0xd8(%rsp), %r15
movq 0xe0(%rsp), %r13
movq %r13, %rsi
subq %r15, %rsi
cmpq %rsi, %rdx
movq 0x1f8(%rsp), %r12
leaq 0x5cf86d(%rip), %r9     # 0x5ef010
jne 0x1f838
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1f7c6
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
leaq 0x200(%rsp), %rbx
leaq 0x70(%rsp), %r14
leaq 0x128(%rsp), %r13
leaq 0xd8(%rsp), %rbp
je 0x1f800
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x1f81d
movq 0x138(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x160(%rsp), %rax
cmpq %rax, 0x180(%rsp)
jne 0x1f337
jmp 0x1fb48
movq 0x68(%rsp), %r8
cmpl $0x0, 0x50(%r8)
jle 0x1f85f
movq %r9, %rdx
xorl %esi, %esi
movl $0xffffffff, (%rdx)     # imm = 0xFFFFFFFF
incq %rsi
movslq 0x50(%r8), %rdi
addq $0x4, %rdx
cmpq %rdi, %rsi
jl 0x1f849
movq %r15, %rdx
cmpq %r13, %r15
je 0x1f88c
movslq (%rdx), %rsi
movl $0x0, (%r9,%rsi,4)
addq $0x4, %rdx
cmpq %r13, %rdx
jne 0x1f867
jmp 0x1f88c
movslq (%rax), %rdx
movl $0x2, (%r9,%rdx,4)
addq $0x4, %rax
cmpq %rcx, %rax
jne 0x1f87d
movl $0x2, 0x6311f5(%rip)    # 0x650a90
cmpq %r13, %r15
je 0x1f7a9
movslq (%r15), %rsi
cmpl $0x0, (%r9,%rsi,4)
jne 0x1fb3f
incl 0x6311d8(%rip)          # 0x650a90
xorl %eax, %eax
movq %rax, 0xb0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
movq %rax, 0x90(%rsp)
movaps %xmm0, 0x80(%rsp)
movq 0x68(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x1df7d
movq 0xa0(%rsp), %r14
movq 0xa8(%rsp), %rbx
movq %rbx, %rax
subq %r14, %rax
movq %rbx, %rcx
subq %r14, %rcx
je 0x1fe09
movq 0x118(%rsp), %rdx
subq 0x110(%rsp), %rdx
cmpq %rdx, %rcx
jae 0x1fe09
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
je 0x1fdea
movq 0x60(%rsp), %rdx
movq (%rdx), %rdx
movq 0x8(%rdx,%rbp,8), %rsi
subq (%rdx,%rbp,8), %rsi
cmpq %rsi, %rcx
jae 0x1fdea
cmpq %rbx, %r14
je 0x1f98e
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xac3d
movq %r14, %rdi
movq %rbx, %rsi
callq 0xad20
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r14
cmpq %r14, %rbx
je 0x1f9d0
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 0xac3d
movq %rbx, %rdi
movq %r14, %rsi
callq 0xad20
movq 0xa8(%rsp), %rax
subq 0xa0(%rsp), %rax
sarq $0x2, %rax
movq 0x88(%rsp), %rcx
subq 0x80(%rsp), %rcx
sarq $0x2, %rcx
movq 0x118(%rsp), %rdx
subq 0x110(%rsp), %rdx
addq %rax, %rcx
movq 0x130(%rsp), %rax
subq 0x128(%rsp), %rax
sarq $0x2, %rdx
sarq $0x2, %rax
addq %rdx, %rax
cmpq %rax, %rcx
jae 0x1fe66
leaq 0x270(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x21cee
leaq 0x278(%rsp), %rcx
cmpq %rcx, %rax
je 0x1fe28
leaq 0x2a0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x21cee
leaq 0x2a8(%rsp), %rcx
cmpq %rcx, %rax
je 0x1fe28
leaq 0x2a0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x213c2
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x213c2
movl (%rbx), %ecx
movl %ecx, 0xd0(%rsp)
movl (%rax), %eax
movl %eax, 0xd4(%rsp)
movq 0x180(%rsp), %rax
movq 0x190(%rsp), %rcx
addq $-0x8, %rcx
cmpq %rcx, %rax
je 0x1fae9
movq 0xd0(%rsp), %rcx
movq %rcx, (%rax)
addq $0x8, 0x180(%rsp)
jmp 0x1fafe
leaq 0x150(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x229e0
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1fb1b
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1fb38
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x5cf4d1(%rip), %r9     # 0x5ef010
addq $0x4, %r15
jmp 0x1f89b
cmpl $0x1, 0xc0(%rsp)
jne 0x1fb80
movq (%r12), %r14
movq 0x8(%r12), %rbx
leaq 0x200(%rsp), %rdi
leaq 0x148(%rsp), %rsi
callq 0x2150e
subq %r14, %rbx
sarq $0x3, %rbx
cmpq (%rax), %rbx
jne 0x1fff9
movq (%r12), %rbx
movq 0x8(%r12), %r14
cmpq %r14, %rbx
je 0x1fbbb
movq %r14, %rax
subq %rbx, %rax
sarq $0x3, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb0f9
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb1ac
movq (%r12), %rcx
movq 0x8(%r12), %rax
subq %rcx, %rax
sarq $0x3, %rax
cmpl $0x2, %eax
jl 0x1fbfc
movl %eax, %edx
andl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
movl $0x1, %esi
movl (%rcx,%rsi,8), %edi
cmpl -0x8(%rcx,%rsi,8), %edi
jne 0x1fbf4
movl -0x4(%rcx,%rsi,8), %edi
cmpl %edi, 0x4(%rcx,%rsi,8)
je 0x1ff5e
incq %rsi
cmpq %rsi, %rdx
jne 0x1fbdd
cmpl $0x1, 0xc0(%rsp)
jne 0x1fc17
leaq 0x340(%rsp), %rcx
cmpq (%rcx), %rax
jl 0x1ffda
leaq 0x150(%rsp), %rdi
callq 0x21612
leaq 0x200(%rsp), %rdi
callq 0x21662
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0x1fc4e
movq 0x1d0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x1fc6b
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0xf0(%rsp), %rdi
callq 0x41fe
leaq 0x1a0(%rsp), %rdi
callq 0x41fe
leaq 0x270(%rsp), %rdi
callq 0x216b2
leaq 0x2a0(%rsp), %rdi
callq 0x216b2
movq %r12, %rax
addq $0x308, %rsp            # imm = 0x308
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xc217(%rip), %rdi      # 0x2bed2
leaq 0xb9f4(%rip), %rsi      # 0x2b6b6
leaq 0xc0dd(%rip), %rcx      # 0x2bda6
movl $0x28f, %edx            # imm = 0x28F
callq 0x2140
leaq 0xc221(%rip), %rdi      # 0x2befb
leaq 0xb9d5(%rip), %rsi      # 0x2b6b6
leaq 0xc0be(%rip), %rcx      # 0x2bda6
movl $0x292, %edx            # imm = 0x292
callq 0x2140
leaq 0xc1d9(%rip), %rdi      # 0x2bed2
leaq 0xb9b6(%rip), %rsi      # 0x2b6b6
leaq 0xc09f(%rip), %rcx      # 0x2bda6
movl $0x2f4, %edx            # imm = 0x2F4
callq 0x2140
leaq 0xc1e3(%rip), %rdi      # 0x2befb
leaq 0xb997(%rip), %rsi      # 0x2b6b6
leaq 0xc080(%rip), %rcx      # 0x2bda6
movl $0x2f7, %edx            # imm = 0x2F7
callq 0x2140
leaq 0xc188(%rip), %rdi      # 0x2bebf
leaq 0xb978(%rip), %rsi      # 0x2b6b6
leaq 0xc061(%rip), %rcx      # 0x2bda6
movl $0x28c, %edx            # imm = 0x28C
callq 0x2140
leaq 0xc0ad(%rip), %rdi      # 0x2be03
leaq 0xb959(%rip), %rsi      # 0x2b6b6
leaq 0xc042(%rip), %rcx      # 0x2bda6
movl $0x24d, %edx            # imm = 0x24D
callq 0x2140
leaq 0xc0ba(%rip), %rdi      # 0x2be2f
leaq 0xb93a(%rip), %rsi      # 0x2b6b6
leaq 0xc023(%rip), %rcx      # 0x2bda6
movl $0x259, %edx            # imm = 0x259
callq 0x2140
leaq 0xc12b(%rip), %rdi      # 0x2bebf
leaq 0xb91b(%rip), %rsi      # 0x2b6b6
leaq 0xc004(%rip), %rcx      # 0x2bda6
movl $0x2f1, %edx            # imm = 0x2F1
callq 0x2140
leaq 0xc1aa(%rip), %rdi      # 0x2bf5d
leaq 0xb8fc(%rip), %rsi      # 0x2b6b6
leaq 0xbfe5(%rip), %rcx      # 0x2bda6
movl $0x2b6, %edx            # imm = 0x2B6
callq 0x2140
leaq 0xc162(%rip), %rdi      # 0x2bf34
leaq 0xb8dd(%rip), %rsi      # 0x2b6b6
leaq 0xbfc6(%rip), %rcx      # 0x2bda6
movl $0x2b5, %edx            # imm = 0x2B5
callq 0x2140
leaq 0xc16c(%rip), %rdi      # 0x2bf5d
leaq 0xb8be(%rip), %rsi      # 0x2b6b6
leaq 0xbfa7(%rip), %rcx      # 0x2bda6
movl $0x319, %edx            # imm = 0x319
callq 0x2140
leaq 0xc124(%rip), %rdi      # 0x2bf34
leaq 0xb89f(%rip), %rsi      # 0x2b6b6
leaq 0xbf88(%rip), %rcx      # 0x2bda6
movl $0x318, %edx            # imm = 0x318
callq 0x2140
leaq 0xc1b7(%rip), %rdi      # 0x2bfe6
leaq 0xb880(%rip), %rsi      # 0x2b6b6
leaq 0xbf69(%rip), %rcx      # 0x2bda6
movl $0x31e, %edx            # imm = 0x31E
callq 0x2140
leaq 0xc143(%rip), %rdi      # 0x2bf91
leaq 0xb861(%rip), %rsi      # 0x2b6b6
leaq 0xbf4a(%rip), %rcx      # 0x2bda6
movl $0x2b9, %edx            # imm = 0x2B9
callq 0x2140
leaq 0xc124(%rip), %rdi      # 0x2bf91
leaq 0xb842(%rip), %rsi      # 0x2b6b6
leaq 0xbf2b(%rip), %rcx      # 0x2bda6
movl $0x31c, %edx            # imm = 0x31C
callq 0x2140
leaq 0xc019(%rip), %rdi      # 0x2bea5
leaq 0xb823(%rip), %rsi      # 0x2b6b6
leaq 0xbf0c(%rip), %rcx      # 0x2bda6
movl $0x284, %edx            # imm = 0x284
callq 0x2140
leaq 0xbfdf(%rip), %rdi      # 0x2be8a
leaq 0xb804(%rip), %rsi      # 0x2b6b6
leaq 0xbeed(%rip), %rcx      # 0x2bda6
movl $0x283, %edx            # imm = 0x283
callq 0x2140
leaq 0xc0f9(%rip), %rdi      # 0x2bfc3
leaq 0xb7e5(%rip), %rsi      # 0x2b6b6
leaq 0xbece(%rip), %rcx      # 0x2bda6
movl $0x2cf, %edx            # imm = 0x2CF
callq 0x2140
leaq 0xbfbc(%rip), %rdi      # 0x2bea5
leaq 0xb7c6(%rip), %rsi      # 0x2b6b6
leaq 0xbeaf(%rip), %rcx      # 0x2bda6
movl $0x2e9, %edx            # imm = 0x2E9
callq 0x2140
leaq 0xbf82(%rip), %rdi      # 0x2be8a
leaq 0xb7a7(%rip), %rsi      # 0x2b6b6
leaq 0xbe90(%rip), %rcx      # 0x2bda6
movl $0x2e8, %edx            # imm = 0x2E8
callq 0x2140
leaq 0xc0af(%rip), %rdi      # 0x2bfd6
leaq 0xb788(%rip), %rsi      # 0x2b6b6
leaq 0xbe71(%rip), %rcx      # 0x2bda6
movl $0x2e5, %edx            # imm = 0x2E5
callq 0x2140
leaq 0xa246(%rip), %rdi      # 0x2a18c
leaq 0xb769(%rip), %rsi      # 0x2b6b6
leaq 0xbe52(%rip), %rcx      # 0x2bda6
movl $0x29e, %edx            # imm = 0x29E
callq 0x2140
leaq 0xc0d8(%rip), %rdi      # 0x2c03d
leaq 0xb74a(%rip), %rsi      # 0x2b6b6
leaq 0xbe33(%rip), %rcx      # 0x2bda6
movl $0x328, %edx            # imm = 0x328
callq 0x2140
leaq 0xbceb(%rip), %rdi      # 0x2bc6f
leaq 0xb72b(%rip), %rsi      # 0x2b6b6
leaq 0xbe14(%rip), %rcx      # 0x2bda6
movl $0x23f, %edx            # imm = 0x23F
callq 0x2140
leaq 0xbec1(%rip), %rdi      # 0x2be64
leaq 0xb70c(%rip), %rsi      # 0x2b6b6
leaq 0xbdf5(%rip), %rcx      # 0x2bda6
movl $0x26d, %edx            # imm = 0x26D
callq 0x2140
leaq 0xbeb5(%rip), %rdi      # 0x2be77
leaq 0xb6ed(%rip), %rsi      # 0x2b6b6
leaq 0xbdd6(%rip), %rcx      # 0x2bda6
movl $0x26e, %edx            # imm = 0x26E
callq 0x2140
leaq 0xc06f(%rip), %rdi      # 0x2c050
leaq 0xb6ce(%rip), %rsi      # 0x2b6b6
leaq 0xbdb7(%rip), %rcx      # 0x2bda6
movl $0x32a, %edx            # imm = 0x32A
callq 0x2140
leaq 0xc00f(%rip), %rdi      # 0x2c00f
leaq 0xb6af(%rip), %rsi      # 0x2b6b6
leaq 0xbd98(%rip), %rcx      # 0x2bda6
movl $0x325, %edx            # imm = 0x325
callq 0x2140
movq %rax, %r14
jmp 0x20252
jmp 0x20024
jmp 0x20024
movq %rax, %r14
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x20275
movq 0x160(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x20275
jmp 0x2006d
jmp 0x20091
jmp 0x200ad
jmp 0x200ad
movq %rax, %r14
jmp 0x20292
jmp 0x20061
jmp 0x20061
movq %rax, %r14
jmp 0x20275
jmp 0x2006d
jmp 0x2006d
movq %rax, %r14
jmp 0x20245
movq %rax, %r14
jmp 0x20228
movq %rax, %r14
jmp 0x2020b
jmp 0x20087
movq %rax, %r14
jmp 0x201ee
jmp 0x2010c
movq %rax, %r14
jmp 0x20268
movq %rax, %r14
jmp 0x20183
movq %rax, %r14
jmp 0x20166
jmp 0x200ad
jmp 0x200ad
movq %rax, %r14
jmp 0x20149
jmp 0x2010c
jmp 0x200c1
movq %rax, %r14
jmp 0x201c3
movq %rax, %r14
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x200e1
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x201ee
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x201ee
jmp 0x201a3
movq %rax, %r14
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2012c
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x20149
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x20166
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x20183
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x20268
movq 0x138(%rsp), %rsi
jmp 0x20260
jmp 0x201a3
movq %rax, %r14
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x201c3
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x20292
movq 0x160(%rsp), %rsi
jmp 0x2028a
jmp 0x201e3
movq %rax, %r14
movq 0x1f8(%rsp), %r12
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x2020b
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x20228
movq 0x120(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x20245
movq 0x138(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x150(%rsp), %rdi
callq 0x21612
movq (%r12), %rdi
testq %rdi, %rdi
je 0x20268
movq 0x10(%r12), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x200(%rsp), %rdi
callq 0x21662
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0x20292
movq 0x1d0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x202af
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0xf0(%rsp), %rdi
callq 0x41fe
leaq 0x1a0(%rsp), %rdi
callq 0x41fe
leaq 0x270(%rsp), %rdi
callq 0x216b2
leaq 0x2a0(%rsp), %rdi
callq 0x216b2
movq %r14, %rdi
callq 0x2310