// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]Triangulator/src/setcover.cpp
// Function: SetCover::solve(std::vector<int, std::allocator<int>>, int, int)
vector<int> solve(vector<int> univ, int okCover_, int upperBound_) {
	git++;
	assert(hasInit);
	if (univ.size() == 0) return {};
	SCTimer1.start();
	okCover = okCover_;
	upperBound = upperBound_;
	assert(okCover <= upperBound);
	sort(univ.begin(), univ.end());
	univ.erase(unique(univ.begin(), univ.end()), univ.end());
	
	if (hasSol.count(univ) && (int)hasSol[univ].size() <= okCover) {
		return hasSol[univ];
	}
	if (noSol.count(univ) && noSol[univ] >= upperBound) {
		return {-1};
	}
	
	int n = univ.size();
	
	for (int i = 0; i < n; i++) {
		assert(univ[i] >= 0 && univ[i] < maxN);
		plc[univ[i]] = i;
		is[univ[i]] = git;
	}
	int m = 0;
	for (int i = 0; i < gm; i++) {
		sets[m].clear();
		for (int j = 0; j < (int)Gsets[i].size(); j++) {
			if (is[Gsets[i][j]] == git) {
				sets[m].push_back(plc[Gsets[i][j]]);
			}
		}
		if (sets[m].size() > 0) {
			for (int j = 0; j < (int)sets[m].size(); j++) {
				if (j > 0) assert(sets[m][j] > sets[m][j-1]);
				assert(sets[m][j] >= 0 && sets[m][j] < n);
			}
			m++;
		}
	}
	sort(sets, sets+m);
	auto last = unique(sets, sets+m);
	m = last - sets;
	assert(m <= gm);
	for (int i = 1; i < m; i++) {
		assert(sets[i] > sets[i-1]);
	}
	for (int i = 0; i < n; i++) {
		cnt[i] = 0;
	}
	for (int i = 0; i < m; i++) {
		for (int x : sets[i]) {
			cnt[x]++;
		}
	}
	for (int i = 0; i < n; i++) {
		assert(cnt[i] > 0);
		cc[i] = {cnt[i], i};
	}
	sort(cc, cc + n);
	for (int i = 0; i < n; i++) {
		um[cc[i].S] = i;
		where[i].clear();
	}
	for (int i = 0; i < m; i++) {
		for (int& x : sets[i]) {
			x = um[x];
			where[x].push_back(i);
		}
		sort(sets[i].begin(), sets[i].end());
	}
	for (int i = 0; i < n; i++) {
		for (int x : where[i]) {
			int f = 0;
			for (int j = 0; j < (int)sets[x].size(); j++) {
				if (sets[x][j] == i) {
					f = (int)sets[x].size() - j;
					break;
				}
			}
			assert(f > 0);
			heur[x] = f;
		}
		assert(cc[i].F == (int)where[i].size());
		auto cmp = [&](int a, int b) {
			return heur[a] > heur[b];
		};
		sort(where[i].begin(), where[i].end(), cmp);
	}
	for (int i = 0; i < m; i++) sel[i] = 0;
	opt.clear();
	cv.clear();
	if (hasSol.count(univ) && (int)hasSol[univ].size() <= upperBound) {
		opt = hasSol[univ];
		upperBound = opt.size();
	}
	SCTimer2.start();
	go(0, n);
	SCTimer2.stop();
	if (opt.size() == 0) {
		opt = {-1};
		noSol[univ] = upperBound;
	}
	else {
		if (hasSol.count(univ)) {
			if (opt.size() < hasSol[univ].size()) {
				hasSol[univ] = opt;
			}
		}
		else {
			hasSol[univ] = opt;
		}
	}
	SCTimer1.stop();
	return opt;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
incl 0x12382(%rip)           # 0x351b8
cmpb $0x0, 0xb83ff7(%rip)    # 0xba6e34
je 0x238ce
movq %rsi, %r12
movq %rdi, %r14
movq 0x8(%rsi), %rax
cmpq (%rsi), %rax
je 0x22efc
movl %ecx, %ebx
movl %edx, %ebp
leaq 0xb83fdf(%rip), %rdi    # 0xba6e40
callq 0x268e4
movl %ebp, 0xb83fcc(%rip)    # 0xba6e38
movl %ebx, 0xb83fca(%rip)    # 0xba6e3c
cmpl %ebx, %ebp
jg 0x238ed
movq (%r12), %rbx
movq 0x8(%r12), %r15
cmpq %r15, %rbx
je 0x22f1e
movq %r15, %rax
subq %rbx, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0xaf7f
movq %rbx, %rdi
movq %r15, %rsi
callq 0xb062
movq (%r12), %rcx
movq 0x8(%r12), %rax
cmpq %rax, %rcx
je 0x22f1e
addq $0x4, %rcx
cmpq %rax, %rcx
je 0x22f1e
movl -0x4(%rcx), %edx
leaq 0x4(%rcx), %rsi
cmpl (%rcx), %edx
movq %rsi, %rcx
jne 0x22ecb
leaq -0x8(%rsi), %rcx
cmpq %rax, %rsi
je 0x22f10
movl %edx, %edi
movl (%rsi), %edx
cmpl %edx, %edi
je 0x22ef6
movl %edx, 0x4(%rcx)
addq $0x4, %rcx
addq $0x4, %rsi
jmp 0x22ee2
xorps %xmm0, %xmm0
movups %xmm0, (%r14)
movq $0x0, 0x10(%r14)
jmp 0x237e3
addq $0x4, %rcx
cmpq %rax, %rcx
je 0x22f1e
movq %rcx, 0x8(%r12)
leaq 0xb83f4b(%rip), %rdi    # 0xba6e70
movq %r12, %rsi
callq 0x2519e
leaq 0xb83f44(%rip), %rcx    # 0xba6e78
cmpq %rcx, %rax
je 0x22f5f
leaq 0xb83f30(%rip), %rdi    # 0xba6e70
movq %r12, %rsi
callq 0x243ba
movq 0x8(%rax), %rcx
subq (%rax), %rcx
shrq $0x2, %rcx
cmpl %ecx, 0xb83edf(%rip)    # 0xba6e38
jge 0x2375e
leaq 0xb83f3a(%rip), %rdi    # 0xba6ea0
movq %r12, %rsi
callq 0x21ed0
leaq 0xb83f33(%rip), %rcx    # 0xba6ea8
cmpq %rcx, %rax
je 0x22f97
leaq 0xb83f1f(%rip), %rdi    # 0xba6ea0
movq %r12, %rsi
callq 0x216a0
movl (%rax), %eax
cmpl 0xb83eab(%rip), %eax    # 0xba6e3c
jge 0x23775
movq (%r12), %rax
movq 0x8(%r12), %rbp
subq %rax, %rbp
movq %rbp, %r15
shrq $0x2, %r15
testl %r15d, %r15d
jle 0x22ff3
movl 0x12203(%rip), %ecx     # 0x351b8
movl %r15d, %edx
andl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
xorl %esi, %esi
leaq 0x68e5e9(%rip), %rdi    # 0x6b15b0
leaq 0x6bf322(%rip), %r8     # 0x6e22f0
movl (%rax,%rsi,4), %r9d
cmpq $0xc350, %r9            # imm = 0xC350
jae 0x23871
movl %esi, (%rdi,%r9,4)
movslq (%rax,%rsi,4), %r9
movl %ecx, (%r8,%r9,4)
incq %rsi
cmpq %rsi, %rdx
jne 0x22fce
leaq 0x9fd436(%rip), %rbx    # 0xa20430
cmpl $0x0, 0x62cb1f(%rip)    # 0x64fb20
movq %r15, 0x18(%rsp)
movq %r14, 0x38(%rsp)
movq %r12, 0x30(%rsp)
jle 0x2319c
movq %rbp, 0x8(%rsp)
xorl %r14d, %r14d
leaq 0x8d848b(%rip), %rdi    # 0x8fb4b0
leaq 0x6bf2c4(%rip), %r12    # 0x6e22f0
leaq 0x68e57d(%rip), %rbp    # 0x6b15b0
xorl %r8d, %r8d
movslq %r8d, %rax
leaq (%rax,%rax,2), %rax
leaq 0x9fd3ec(%rip), %rcx    # 0xa20430
leaq (%rcx,%rax,8), %r13
movq (%r13), %rax
cmpq %rax, 0x8(%r13)
je 0x23056
movq %rax, 0x8(%r13)
leaq (%r14,%r14,2), %rdx
movq (%rdi,%rdx,8), %rax
movq 0x8(%rdi,%rdx,8), %rcx
movq %rcx, %rsi
subq %rax, %rsi
shrq $0x2, %rsi
testl %esi, %esi
jle 0x23144
movl %r8d, 0x20(%rsp)
leaq (%rdi,%rdx,8), %r15
xorl %ebx, %ebx
movslq (%rax,%rbx,4), %rdx
movl (%r12,%rdx,4), %esi
cmpl 0x1212a(%rip), %esi     # 0x351b8
jne 0x230c2
leaq (,%rdx,4), %rdx
addq %rbp, %rdx
movq 0x8(%r13), %rsi
cmpq 0x10(%r13), %rsi
je 0x230b3
movl (%rdx), %edx
movl %edx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r13)
jmp 0x230c2
movq %r13, %rdi
callq 0x92c4
movq (%r15), %rax
movq 0x8(%r15), %rcx
incq %rbx
movq %rcx, %rdx
subq %rax, %rdx
shrq $0x2, %rdx
movslq %edx, %rdx
cmpq %rdx, %rbx
jl 0x23080
movq (%r13), %rax
movq 0x8(%r13), %rcx
subq %rax, %rcx
movl 0x20(%rsp), %r8d
je 0x23138
shrq $0x2, %rcx
testl %ecx, %ecx
movq 0x18(%rsp), %r15
leaq 0x8d83b5(%rip), %rdi    # 0x8fb4b0
jle 0x23133
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
xorl %edx, %edx
testq %rdx, %rdx
je 0x23118
movl (%rax,%rdx,4), %esi
cmpl -0x4(%rax,%rdx,4), %esi
jg 0x2311a
jmp 0x23852
movl (%rax), %esi
testl %esi, %esi
js 0x23833
cmpl %r15d, %esi
jge 0x23833
incq %rdx
cmpq %rdx, %rcx
jne 0x23105
incl %r8d
jmp 0x23144
movq 0x18(%rsp), %r15
leaq 0x8d836c(%rip), %rdi    # 0x8fb4b0
incq %r14
movslq 0x62c9d2(%rip), %rax    # 0x64fb20
cmpq %rax, %r14
jl 0x23036
movslq %r8d, %rax
leaq (%rax,%rax,2), %rcx
leaq 0x9fd2cb(%rip), %rdx    # 0xa20430
leaq (%rdx,%rcx,8), %rbx
testl %eax, %eax
je 0x23197
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
leaq 0x9fd2af(%rip), %r13    # 0xa20430
movq %r13, %rdi
movq %rbx, %rsi
callq 0x25528
movq %r13, %rdi
movq %rbx, %rsi
callq 0x255e7
movq 0x8(%rsp), %rbp
leaq 0x9fd28d(%rip), %r13    # 0xa20430
movq %r13, %rdi
movq %rbx, %rsi
callq 0x25dcb
subq %r13, %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rcx
cmpl %ecx, 0x62c957(%rip)    # 0x64fb20
jl 0x2390c
movq %rcx, 0x8(%rsp)
cmpl $0x2, %ecx
jl 0x23265
movq 0x8(%rsp), %rax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movq 0x9fd242(%rip), %rdi    # 0xa20430
movl $0x1, %ecx
movq 0x9fd23e(%rip), %rsi    # 0xa20438
leaq 0x9fd22f(%rip), %rdx    # 0xa20430
movq %rsi, %r10
leaq (%rcx,%rcx,2), %rsi
movq (%rdx,%rsi,8), %r8
movq 0x8(%rdx,%rsi,8), %rsi
movq %r10, %r11
subq %rdi, %r11
movq %rsi, %rbx
subq %r8, %rbx
leaq (%rdi,%rbx), %r9
cmpq %r11, %rbx
cmovgeq %r10, %r9
movq %r8, %r10
cmpq %rdi, %r9
je 0x23251
movq %r8, %r10
movl (%rdi), %r11d
movl (%r10), %ebx
cmpl %ebx, %r11d
jl 0x2325a
jg 0x23814
addq $0x4, %rdi
addq $0x4, %r10
cmpq %r9, %rdi
jne 0x23233
cmpq %rsi, %r10
je 0x23814
incq %rcx
movq %r8, %rdi
cmpq %rax, %rcx
jne 0x23201
movabsq $0x1fffffffc, %rax      # imm = 0x1FFFFFFFC
testl %r15d, %r15d
jle 0x23288
movq %rbp, %rdx
andq %rax, %rdx
leaq 0x65d5ef(%rip), %rdi    # 0x680870
xorl %esi, %esi
callq 0x2110
cmpl $0x0, 0x8(%rsp)
jle 0x232d0
movq 0x8(%rsp), %rax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
xorl %ecx, %ecx
leaq 0x9fd18e(%rip), %rdx    # 0xa20430
leaq 0x65d5c7(%rip), %rsi    # 0x680870
leaq (%rcx,%rcx,2), %r8
movq (%rdx,%r8,8), %rdi
movq 0x8(%rdx,%r8,8), %r8
cmpq %r8, %rdi
je 0x232c8
movslq (%rdi), %r9
incl (%rsi,%r9,4)
addq $0x4, %rdi
jmp 0x232b6
incq %rcx
cmpq %rax, %rcx
jne 0x232a9
testl %r15d, %r15d
jle 0x2330a
movl %r15d, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
leaq 0x65d58c(%rip), %rcx    # 0x680870
xorl %edx, %edx
leaq 0x7517c3(%rip), %rsi    # 0x774ab0
movl (%rcx), %edi
testl %edi, %edi
jle 0x23890
movl %edi, (%rsi,%rdx,8)
movl %edx, 0x4(%rsi,%rdx,8)
incq %rdx
addq $0x4, %rcx
cmpq %rdx, %rax
jne 0x232ed
shlq $0x1e, %rbp
je 0x23348
movq %rbp, %rbx
sarq $0x1d, %rbx
leaq 0x751792(%rip), %r13    # 0x774ab0
addq %r13, %rbx
sarq $0x20, %rbp
bsrq %rbp, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r13, %rdi
movq %rbx, %rsi
callq 0x25e8a
movq %r13, %rdi
movq %rbx, %rsi
callq 0x25f39
testl %r15d, %r15d
movq 0x8(%rsp), %r12
jle 0x23392
movl %r15d, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
leaq 0x7b31d7(%rip), %rcx    # 0x7d6538
xorl %edx, %edx
leaq 0x751746(%rip), %rsi    # 0x774ab0
leaq 0x7209ff(%rip), %rdi    # 0x743d70
movslq 0x4(%rsi,%rdx,8), %r8
movl %edx, (%rdi,%r8,4)
movq -0x8(%rcx), %r8
cmpq %r8, (%rcx)
je 0x23386
movq %r8, (%rcx)
incq %rdx
addq $0x18, %rcx
cmpq %rdx, %rax
jne 0x23371
movl $0x0, 0x4(%rsp)
leaq 0x7b318f(%rip), %r10    # 0x7d6530
testl %r12d, %r12d
jle 0x23477
xorl %eax, %eax
leaq 0x9fd07d(%rip), %r14    # 0xa20430
leaq 0x7209b6(%rip), %r15    # 0x743d70
leaq 0x4(%rsp), %r13
movslq %eax, %rcx
leaq (%rcx,%rcx,2), %rcx
movq (%r14,%rcx,8), %rbp
movq 0x8(%r14,%rcx,8), %rbx
cmpq %rbx, %rbp
je 0x2342b
movslq (%rbp), %rax
movslq (%r15,%rax,4), %rax
movl %eax, (%rbp)
leaq (%rax,%rax,2), %rax
leaq (%r10,%rax,8), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x23401
movl 0x4(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x23410
movq %r13, %rdx
callq 0x92c4
leaq 0x7b3120(%rip), %r10    # 0x7d6530
addq $0x4, %rbp
cmpq %rbx, %rbp
jne 0x233d4
movslq 0x4(%rsp), %rax
leaq (%rax,%rax,2), %rcx
movq (%r14,%rcx,8), %rbp
movq 0x8(%r14,%rcx,8), %rbx
cmpq %rbx, %rbp
je 0x23468
movq %rbx, %rax
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
leaq 0x7b30cc(%rip), %r10    # 0x7d6530
movl 0x4(%rsp), %eax
incl %eax
movl %eax, 0x4(%rsp)
cmpl %r12d, %eax
jl 0x233bf
cmpl $0x0, 0x18(%rsp)
jle 0x235f3
movq 0x18(%rsp), %rax
movl %eax, %r11d
andl $0x7fffffff, %r11d      # imm = 0x7FFFFFFF
xorl %r12d, %r12d
leaq 0x9fcf95(%rip), %r15    # 0xa20430
leaq 0x6efb8e(%rip), %r14    # 0x713030
movq %r11, 0x20(%rsp)
leaq (%r12,%r12,2), %rax
movq (%r10,%rax,8), %rbp
movq 0x8(%r10,%rax,8), %r13
movq %rbp, %rax
cmpq %r13, %rbp
je 0x235b7
movslq (%rax), %rcx
leaq (%rcx,%rcx,2), %rdx
movq (%r15,%rdx,8), %rsi
movq 0x8(%r15,%rdx,8), %rdx
subq %rsi, %rdx
shrq $0x2, %rdx
testl %edx, %edx
jle 0x237f5
movl %edx, %edi
andl $0x7fffffff, %edi       # imm = 0x7FFFFFFF
xorl %r8d, %r8d
movl (%rsi,%r8,4), %r9d
cmpq %r9, %r12
je 0x23500
incq %r8
cmpq %r8, %rdi
jne 0x234ea
jmp 0x237f5
subq %r8, %rdx
testl %edx, %edx
jle 0x237f5
movl %edx, (%r14,%rcx,4)
addq $0x4, %rax
cmpq %r13, %rax
jne 0x234c0
movq %r13, %rbx
subq %rbp, %rbx
movq %rbx, %rax
sarq $0x2, %rax
leaq 0x751584(%rip), %rcx    # 0x774ab0
cmpl %eax, (%rcx,%r12,8)
jne 0x238af
cmpq %r13, %rbp
je 0x235e7
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbp, %rdi
movq %r13, %rsi
callq 0x240c2
cmpq $0x41, %rbx
jl 0x235d0
leaq 0x40(%rbp), %rbx
movq %rbp, %rdi
movq %rbx, %rsi
callq 0x24318
cmpq %r13, %rbx
leaq 0x7b2fba(%rip), %r10    # 0x7d6530
movq 0x20(%rsp), %r11
je 0x235e7
movl (%rbx), %eax
movslq %eax, %rcx
movslq -0x4(%rbx), %rdx
movl (%r14,%rcx,4), %edi
movq %rbx, %rsi
cmpl (%r14,%rdx,4), %edi
jle 0x235aa
movq %rbx, %rsi
movl %edx, (%rsi)
movslq -0x8(%rsi), %rdx
movl (%r14,%rcx,4), %edi
addq $-0x4, %rsi
cmpl (%r14,%rdx,4), %edi
jg 0x23596
movl %eax, (%rsi)
addq $0x4, %rbx
cmpq %r13, %rbx
jne 0x2357d
jmp 0x235e7
subq %rbp, %r13
shrq $0x2, %r13
leaq 0x7514eb(%rip), %rax    # 0x774ab0
cmpl %r13d, (%rax,%r12,8)
je 0x235e7
jmp 0x238af
movq %rbp, %rdi
movq %r13, %rsi
callq 0x24318
leaq 0x7b2f4e(%rip), %r10    # 0x7d6530
movq 0x20(%rsp), %r11
incq %r12
cmpq %r11, %r12
jne 0x234a7
movq 0x8(%rsp), %rdx
testl %edx, %edx
jle 0x2361b
shlq $0x2, %rdx
movabsq $0x1fffffffc, %rax      # imm = 0x1FFFFFFFC
andq %rax, %rdx
leaq 0x62c51c(%rip), %rdi    # 0x64fb30
xorl %esi, %esi
callq 0x2110
movq 0x62c4e6(%rip), %rax    # 0x64fb08
cmpq %rax, 0x62c4e7(%rip)    # 0x64fb10
movq 0x38(%rsp), %r14
movq 0x30(%rsp), %r15
leaq 0xb8383e(%rip), %r12    # 0xba6e78
je 0x23643
movq %rax, 0x62c4cd(%rip)    # 0x64fb10
movq 0x62c4a6(%rip), %rax    # 0x64faf0
cmpq %rax, 0x62c4a7(%rip)    # 0x64faf8
je 0x2365a
movq %rax, 0x62c49e(%rip)    # 0x64faf8
leaq 0xb8380f(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x2519e
cmpq %r12, %rax
je 0x236c6
leaq 0xb837fb(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x243ba
movq 0x8(%rax), %rcx
subq (%rax), %rcx
shrq $0x2, %rcx
cmpl %ecx, 0xb837ae(%rip)    # 0xba6e3c
jl 0x236c6
leaq 0xb837d9(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x243ba
leaq 0x62c462(%rip), %rdi    # 0x64fb08
movq %rax, %rsi
callq 0x212f0
movq 0x62c45b(%rip), %rax    # 0x64fb10
subq 0x62c44c(%rip), %rax    # 0x64fb08
shrq $0x2, %rax
movl %eax, 0xb83776(%rip)    # 0xba6e3c
leaq 0xb8378b(%rip), %rbx    # 0xba6e58
movq %rbx, %rdi
callq 0x268e4
xorl %edi, %edi
movq 0x18(%rsp), %rsi
callq 0x22b7c
movq %rbx, %rdi
callq 0x268fc
movq 0x62c420(%rip), %rax    # 0x64fb10
cmpq 0x62c411(%rip), %rax    # 0x64fb08
je 0x23794
leaq 0xb8376c(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x2519e
cmpq %r12, %rax
je 0x2373e
movq 0x62c3f8(%rip), %rbx    # 0x64fb10
subq 0x62c3e9(%rip), %rbx    # 0x64fb08
leaq 0xb8374a(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x243ba
movq 0x8(%rax), %rcx
subq (%rax), %rcx
cmpq %rcx, %rbx
jae 0x237c8
leaq 0xb8372b(%rip), %rdi    # 0xba6e70
movq %r15, %rsi
callq 0x243ba
leaq 0x62c3b4(%rip), %rsi    # 0x64fb08
movq %rax, %rdi
callq 0x212f0
jmp 0x237c8
leaq 0xb8370b(%rip), %rdi    # 0xba6e70
movq %r12, %rsi
callq 0x243ba
movq %r14, %rdi
movq %rax, %rsi
jmp 0x237de
leaq 0x44(%rsp), %rsi
movl $0xffffffff, (%rsi)     # imm = 0xFFFFFFFF
leaq 0x17(%rsp), %rcx
movl $0x1, %edx
movq %r14, %rdi
callq 0x12450
jmp 0x237e3
leaq 0x30(%rsp), %rdx
movl $0xffffffff, -0x4(%rdx) # imm = 0xFFFFFFFF
leaq 0x62c361(%rip), %rdi    # 0x64fb08
leaq 0x2c(%rsp), %rsi
callq 0x262fc
movl 0xb83685(%rip), %ebx    # 0xba6e3c
leaq 0xb836e2(%rip), %rdi    # 0xba6ea0
movq %r15, %rsi
callq 0x216a0
movl %ebx, (%rax)
leaq 0xb83671(%rip), %rdi    # 0xba6e40
callq 0x268fc
leaq 0x62c32d(%rip), %rsi    # 0x64fb08
movq %r14, %rdi
callq 0x42ce
movq %r14, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x7aff(%rip), %rdi      # 0x2b2fb
leaq 0x798e(%rip), %rsi      # 0x2b191
leaq 0x7a26(%rip), %rcx      # 0x2b230
movl $0xc9, %edx
callq 0x2140
leaq 0x7ac1(%rip), %rdi      # 0x2b2dc
leaq 0x796f(%rip), %rsi      # 0x2b191
leaq 0x7a07(%rip), %rcx      # 0x2b230
movl $0xa6, %edx
callq 0x2140
leaq 0x7a78(%rip), %rdi      # 0x2b2b2
leaq 0x7950(%rip), %rsi      # 0x2b191
leaq 0x79e8(%rip), %rcx      # 0x2b230
movl $0x9c, %edx
callq 0x2140
leaq 0x7a3f(%rip), %rdi      # 0x2b298
leaq 0x7931(%rip), %rsi      # 0x2b191
leaq 0x79c9(%rip), %rcx      # 0x2b230
movl $0x9b, %edx
callq 0x2140
leaq 0x7a01(%rip), %rdi      # 0x2b279
leaq 0x7912(%rip), %rsi      # 0x2b191
leaq 0x79aa(%rip), %rcx      # 0x2b230
movl $0x8d, %edx
callq 0x2140
leaq 0x7a59(%rip), %rdi      # 0x2b2f0
leaq 0x78f3(%rip), %rsi      # 0x2b191
leaq 0x798b(%rip), %rcx      # 0x2b230
movl $0xb1, %edx
callq 0x2140
leaq 0x7a4b(%rip), %rdi      # 0x2b301
leaq 0x78d4(%rip), %rsi      # 0x2b191
leaq 0x796c(%rip), %rcx      # 0x2b230
movl $0xcc, %edx
callq 0x2140
leaq 0x78b4(%rip), %rdi      # 0x2b189
leaq 0x78b5(%rip), %rsi      # 0x2b191
leaq 0x794d(%rip), %rcx      # 0x2b230
movl $0x7a, %edx
callq 0x2140
leaq 0x796f(%rip), %rdi      # 0x2b263
leaq 0x7896(%rip), %rsi      # 0x2b191
leaq 0x792e(%rip), %rcx      # 0x2b230
movl $0x7f, %edx
callq 0x2140
leaq 0x79c1(%rip), %rdi      # 0x2b2d4
leaq 0x7877(%rip), %rsi      # 0x2b191
leaq 0x790f(%rip), %rcx      # 0x2b230
movl $0xa4, %edx
callq 0x2140