// File: 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
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rsi, -0x190(%rbp)
movq %rdi, -0x188(%rbp)
movq %rdi, %rax
movq %rax, -0x180(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movl 0x2ea39(%rip), %eax     # 0x7a290
addl $0x1, %eax
movl %eax, 0x2ea30(%rip)     # 0x7a290
testb $0x1, 0xba06ad(%rip)    # 0xbebf14
je 0x4b86b
jmp 0x4b88a
leaq 0xf8c7(%rip), %rdi      # 0x5b139
leaq 0xf8c8(%rip), %rsi      # 0x5b141
movl $0x7a, %edx
leaq 0xf95b(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movq -0x190(%rbp), %rdi
callq 0x59a0
cmpq $0x0, %rax
jne 0x4b8c0
movq -0x188(%rbp), %rdi
xorl %esi, %esi
movl $0x18, %edx
callq 0x3130
movq -0x188(%rbp), %rdi
callq 0xdf40
jmp 0x4c7cb
leaq 0xba0659(%rip), %rdi    # 0xbebf20
callq 0x55870
movl -0x14(%rbp), %eax
movl %eax, 0xba0643(%rip)    # 0xbebf18
movl -0x18(%rbp), %eax
movl %eax, 0xba063e(%rip)    # 0xbebf1c
movl 0xba0634(%rip), %eax    # 0xbebf18
cmpl 0xba0632(%rip), %eax    # 0xbebf1c
jg 0x4b8ee
jmp 0x4b90d
leaq 0xf91e(%rip), %rdi      # 0x5b213
leaq 0xf845(%rip), %rsi      # 0x5b141
movl $0x7f, %edx
leaq 0xf8d8(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movq -0x190(%rbp), %rdi
callq 0xe060
movq -0x190(%rbp), %rdi
movq %rax, -0x20(%rbp)
callq 0xe090
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x176e0
movq -0x190(%rbp), %rdi
callq 0xe060
movq -0x190(%rbp), %rdi
movq %rax, -0x40(%rbp)
callq 0xe090
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rdi
movq -0x48(%rbp), %rsi
callq 0x177b0
movq %rax, -0x38(%rbp)
leaq -0x30(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x177f0
movq -0x190(%rbp), %rdi
callq 0xe090
movq %rax, -0x58(%rbp)
leaq -0x50(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x177f0
movq -0x190(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x50(%rbp), %rdx
callq 0x17720
movq -0x190(%rbp), %rsi
movq %rax, -0x60(%rbp)
leaq 0xba0595(%rip), %rdi    # 0xbebf50
callq 0x4e260
cmpq $0x0, %rax
je 0x4ba10
movq -0x190(%rbp), %rsi
leaq 0xba057c(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rdi
callq 0x59a0
cmpl 0xba0531(%rip), %eax    # 0xbebf18
jg 0x4ba10
movq -0x190(%rbp), %rsi
leaq 0xba0559(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq -0x188(%rbp), %rdi
movq %rax, %rsi
callq 0x6490
jmp 0x4c7cb
movq -0x190(%rbp), %rsi
leaq 0xba0562(%rip), %rdi    # 0xbebf80
callq 0x43950
cmpq $0x0, %rax
je 0x4bab9
movq -0x190(%rbp), %rsi
leaq 0xba0545(%rip), %rdi    # 0xbebf80
callq 0x439b0
movl (%rax), %eax
cmpl 0xba04d4(%rip), %eax    # 0xbebf1c
jl 0x4bab9
movl $0xffffffff, -0x74(%rbp) # imm = 0xFFFFFFFF
leaq -0x74(%rbp), %rax
movq %rax, -0x70(%rbp)
movq $0x1, -0x68(%rbp)
leaq -0x75(%rbp), %rdi
movq %rdi, -0x198(%rbp)
callq 0x111b0
movq -0x188(%rbp), %rdi
movq -0x198(%rbp), %rcx
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
callq 0x26d30
jmp 0x4ba8e
leaq -0x75(%rbp), %rdi
callq 0x6620
jmp 0x4c7cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x80(%rbp)
movl %eax, -0x84(%rbp)
leaq -0x75(%rbp), %rdi
callq 0x6620
jmp 0x4c7db
movq -0x190(%rbp), %rdi
callq 0x59a0
movl %eax, -0x88(%rbp)
movl $0x0, -0x8c(%rbp)
movl -0x8c(%rbp), %eax
cmpl -0x88(%rbp), %eax
jge 0x4bbd1
movq -0x190(%rbp), %rdi
movslq -0x8c(%rbp), %rsi
callq 0x178f0
movq %rax, %rcx
xorl %eax, %eax
cmpl $0x0, (%rcx)
movb %al, -0x199(%rbp)
jl 0x4bb2c
movq -0x190(%rbp), %rdi
movslq -0x8c(%rbp), %rsi
callq 0x178f0
cmpl $0xc350, (%rax)         # imm = 0xC350
setl %al
movb %al, -0x199(%rbp)
movb -0x199(%rbp), %al
testb $0x1, %al
jne 0x4bb38
jmp 0x4bb3a
jmp 0x4bb59
leaq 0xf6e8(%rip), %rdi      # 0x5b229
leaq 0xf5f9(%rip), %rsi      # 0x5b141
movl $0x8d, %edx
leaq 0xf68c(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movq -0x190(%rbp), %rdi
movl -0x8c(%rbp), %eax
movl %eax, -0x1a4(%rbp)
movslq -0x8c(%rbp), %rsi
callq 0x178f0
movl -0x1a4(%rbp), %edx
movq -0x190(%rbp), %rdi
movslq (%rax), %rcx
leaq 0x6aab01(%rip), %rax    # 0x6f6690
movl %edx, (%rax,%rcx,4)
movl 0x2e6f8(%rip), %eax     # 0x7a290
movl %eax, -0x1a0(%rbp)
movslq -0x8c(%rbp), %rsi
callq 0x178f0
movl -0x1a0(%rbp), %edx
movslq (%rax), %rcx
leaq 0x6db816(%rip), %rax    # 0x7273d0
movl %edx, (%rax,%rcx,4)
movl -0x8c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8c(%rbp)
jmp 0x4bad5
movl $0x0, -0x90(%rbp)
movl $0x0, -0x94(%rbp)
movl -0x94(%rbp), %eax
cmpl 0x64900f(%rip), %eax    # 0x694c00
jge 0x4beb0
movslq -0x90(%rbp), %rax
leaq 0xa1990b(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x17980
movl $0x0, -0x98(%rbp)
movl -0x98(%rbp), %eax
movl %eax, -0x1a8(%rbp)
movslq -0x94(%rbp), %rax
leaq 0x8f495b(%rip), %rdi    # 0x940590
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
movq %rax, %rcx
movl -0x1a8(%rbp), %eax
cmpl %ecx, %eax
jge 0x4bcf8
movslq -0x94(%rbp), %rax
leaq 0x8f4930(%rip), %rdi    # 0x940590
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x98(%rbp), %rsi
callq 0x178f0
movslq (%rax), %rcx
leaq 0x6db753(%rip), %rax    # 0x7273d0
movl (%rax,%rcx,4), %eax
cmpl 0x2e60a(%rip), %eax     # 0x7a290
jne 0x4bce2
movslq -0x90(%rbp), %rcx
leaq 0xa1987a(%rip), %rax    # 0xa65510
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0x1b0(%rbp)
movslq -0x94(%rbp), %rax
leaq 0x8f48de(%rip), %rdi    # 0x940590
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x98(%rbp), %rsi
callq 0x178f0
movq -0x1b0(%rbp), %rdi
movslq (%rax), %rax
leaq 0x6aa9ba(%rip), %rsi    # 0x6f6690
shlq $0x2, %rax
addq %rax, %rsi
callq 0xdff0
jmp 0x4bce4
movl -0x98(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x98(%rbp)
jmp 0x4bc1b
movslq -0x90(%rbp), %rax
leaq 0xa1980a(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
cmpq $0x0, %rax
jbe 0x4be9a
movl $0x0, -0x9c(%rbp)
movl -0x9c(%rbp), %eax
movl %eax, -0x1b4(%rbp)
movslq -0x90(%rbp), %rax
leaq 0xa197d0(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
movq %rax, %rcx
movl -0x1b4(%rbp), %eax
cmpl %ecx, %eax
jge 0x4be8b
cmpl $0x0, -0x9c(%rbp)
jle 0x4bde5
movslq -0x90(%rbp), %rax
leaq 0xa1979c(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x9c(%rbp), %rsi
callq 0x178f0
movl (%rax), %eax
movl %eax, -0x1b8(%rbp)
movslq -0x90(%rbp), %rax
leaq 0xa19773(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movl -0x9c(%rbp), %eax
subl $0x1, %eax
movslq %eax, %rsi
callq 0x178f0
movq %rax, %rcx
movl -0x1b8(%rbp), %eax
cmpl (%rcx), %eax
jle 0x4bdc4
jmp 0x4bde3
leaq 0xf47d(%rip), %rdi      # 0x5b248
leaq 0xf36f(%rip), %rsi      # 0x5b141
movl $0x9b, %edx
leaq 0xf402(%rip), %rcx      # 0x5b1e0
callq 0x31a0
jmp 0x4bde5
movslq -0x90(%rbp), %rax
leaq 0xa1971d(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x9c(%rbp), %rsi
callq 0x178f0
movq %rax, %rcx
xorl %eax, %eax
cmpl $0x0, (%rcx)
movb %al, -0x1b9(%rbp)
jl 0x4be48
movslq -0x90(%rbp), %rax
leaq 0xa196ec(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x9c(%rbp), %rsi
callq 0x178f0
movl (%rax), %eax
cmpl -0x88(%rbp), %eax
setl %al
movb %al, -0x1b9(%rbp)
movb -0x1b9(%rbp), %al
testb $0x1, %al
jne 0x4be54
jmp 0x4be56
jmp 0x4be75
leaq 0xf405(%rip), %rdi      # 0x5b262
leaq 0xf2dd(%rip), %rsi      # 0x5b141
movl $0x9c, %edx
leaq 0xf370(%rip), %rcx      # 0x5b1e0
callq 0x31a0
jmp 0x4be77
movl -0x9c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x9c(%rbp)
jmp 0x4bd26
movl -0x90(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x90(%rbp)
jmp 0x4be9c
movl -0x94(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x94(%rbp)
jmp 0x4bbe5
movslq -0x90(%rbp), %rax
leaq 0xa19652(%rip), %rsi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rsi
leaq 0xa19644(%rip), %rdi    # 0xa65510
callq 0x4e3a0
movslq -0x90(%rbp), %rax
leaq 0xa19631(%rip), %rsi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rsi
leaq 0xa19623(%rip), %rdi    # 0xa65510
callq 0x4e3e0
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rax
leaq 0xa19609(%rip), %rcx    # 0xa65510
subq %rcx, %rax
movl $0x18, %ecx
cqto
idivq %rcx
movl %eax, -0x90(%rbp)
movl -0x90(%rbp), %eax
cmpl 0x648cda(%rip), %eax    # 0x694c00
jg 0x4bf2a
jmp 0x4bf49
leaq 0xf353(%rip), %rdi      # 0x5b284
leaq 0xf209(%rip), %rsi      # 0x5b141
movl $0xa4, %edx
leaq 0xf29c(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movl $0x1, -0xac(%rbp)
movl -0xac(%rbp), %eax
cmpl -0x90(%rbp), %eax
jge 0x4bfce
movslq -0xac(%rbp), %rax
leaq 0xa195a1(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movl -0xac(%rbp), %eax
subl $0x1, %eax
cltq
leaq 0xa19588(%rip), %rsi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rsi
callq 0x4e420
testb $0x1, %al
jne 0x4bf9a
jmp 0x4bf9c
jmp 0x4bfbb
leaq 0xf2e9(%rip), %rdi      # 0x5b28c
leaq 0xf197(%rip), %rsi      # 0x5b141
movl $0xa6, %edx
leaq 0xf22a(%rip), %rcx      # 0x5b1e0
callq 0x31a0
jmp 0x4bfbd
movl -0xac(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xac(%rbp)
jmp 0x4bf53
movl $0x0, -0xb0(%rbp)
movl -0xb0(%rbp), %eax
cmpl -0x88(%rbp), %eax
jge 0x4c00c
movslq -0xb0(%rbp), %rcx
leaq 0x67995c(%rip), %rax    # 0x6c5950
movl $0x0, (%rax,%rcx,4)
movl -0xb0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xb0(%rbp)
jmp 0x4bfd8
movl $0x0, -0xb4(%rbp)
movl -0xb4(%rbp), %eax
cmpl -0x90(%rbp), %eax
jge 0x4c0d9
movslq -0xb4(%rbp), %rcx
leaq 0xa194da(%rip), %rax    # 0xa65510
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rdi
callq 0xe060
movq %rax, -0xc8(%rbp)
movq -0xc0(%rbp), %rdi
callq 0xe090
movq %rax, -0xd0(%rbp)
leaq -0xc8(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0xe0c0
testb $0x1, %al
jne 0x4c083
jmp 0x4c0c3
leaq -0xc8(%rbp), %rdi
callq 0xe100
movl (%rax), %eax
movl %eax, -0xd4(%rbp)
movslq -0xd4(%rbp), %rcx
leaq 0x6798ab(%rip), %rax    # 0x6c5950
movl (%rax,%rcx,4), %edx
addl $0x1, %edx
leaq 0x67989e(%rip), %rax    # 0x6c5950
movl %edx, (%rax,%rcx,4)
leaq -0xc8(%rbp), %rdi
callq 0xe120
jmp 0x4c06a
jmp 0x4c0c5
movl -0xb4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xb4(%rbp)
jmp 0x4c016
movl $0x0, -0xd8(%rbp)
movl -0xd8(%rbp), %eax
cmpl -0x88(%rbp), %eax
jge 0x4c187
movslq -0xd8(%rbp), %rcx
leaq 0x67984d(%rip), %rax    # 0x6c5950
cmpl $0x0, (%rax,%rcx,4)
jle 0x4c10b
jmp 0x4c12a
leaq 0xf18e(%rip), %rdi      # 0x5b2a0
leaq 0xf028(%rip), %rsi      # 0x5b141
movl $0xb1, %edx
leaq 0xf0bb(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movslq -0xd8(%rbp), %rax
leaq 0x679818(%rip), %rsi    # 0x6c5950
shlq $0x2, %rax
addq %rax, %rsi
leaq -0xe0(%rbp), %rdi
leaq -0xd8(%rbp), %rdx
callq 0xdfc0
movslq -0xd8(%rbp), %rax
leaq 0x76da30(%rip), %rdi    # 0x7b9b90
shlq $0x3, %rax
addq %rax, %rdi
leaq -0xe0(%rbp), %rsi
callq 0x13e20
movl -0xd8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd8(%rbp)
jmp 0x4c0e3
movslq -0x88(%rbp), %rax
leaq 0x76d9fb(%rip), %rsi    # 0x7b9b90
shlq $0x3, %rax
addq %rax, %rsi
leaq 0x76d9ed(%rip), %rdi    # 0x7b9b90
callq 0x4e450
movl $0x0, -0xe4(%rbp)
movl -0xe4(%rbp), %eax
cmpl -0x88(%rbp), %eax
jge 0x4c20e
movl -0xe4(%rbp), %edx
movslq -0xe4(%rbp), %rcx
leaq 0x76d9bc(%rip), %rax    # 0x7b9b90
movslq 0x4(%rax,%rcx,8), %rcx
leaq 0x73cc70(%rip), %rax    # 0x788e50
movl %edx, (%rax,%rcx,4)
movslq -0xe4(%rbp), %rax
leaq 0x7cf41f(%rip), %rdi    # 0x81b610
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x17980
movl -0xe4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xe4(%rbp)
jmp 0x4c1b2
movl $0x0, -0xe8(%rbp)
movl -0xe8(%rbp), %eax
cmpl -0x90(%rbp), %eax
jge 0x4c350
movslq -0xe8(%rbp), %rcx
leaq 0xa192d8(%rip), %rax    # 0xa65510
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rdi
callq 0xe060
movq %rax, -0xf8(%rbp)
movq -0xf0(%rbp), %rdi
callq 0xe090
movq %rax, -0x100(%rbp)
leaq -0xf8(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0xe0c0
testb $0x1, %al
jne 0x4c285
jmp 0x4c2e7
leaq -0xf8(%rbp), %rdi
callq 0xe100
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movslq (%rax), %rcx
leaq 0x73cba7(%rip), %rax    # 0x788e50
movl (%rax,%rcx,4), %ecx
movq -0x108(%rbp), %rax
movl %ecx, (%rax)
movq -0x108(%rbp), %rax
movslq (%rax), %rax
leaq 0x7cf34a(%rip), %rdi    # 0x81b610
imulq $0x18, %rax, %rax
addq %rax, %rdi
leaq -0xe8(%rbp), %rsi
callq 0xdff0
leaq -0xf8(%rbp), %rdi
callq 0xe120
jmp 0x4c26c
movslq -0xe8(%rbp), %rax
leaq 0xa1921b(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0xe060
movq %rax, -0x110(%rbp)
movslq -0xe8(%rbp), %rax
leaq 0xa191fa(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0xe090
movq %rax, -0x118(%rbp)
movq -0x110(%rbp), %rdi
movq -0x118(%rbp), %rsi
callq 0x176e0
movl -0xe8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xe8(%rbp)
jmp 0x4c218
movl $0x0, -0x11c(%rbp)
movl -0x11c(%rbp), %eax
cmpl -0x88(%rbp), %eax
jge 0x4c5a8
movslq -0x11c(%rbp), %rcx
leaq 0x7cf296(%rip), %rax    # 0x81b610
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rdi
callq 0xe060
movq %rax, -0x130(%rbp)
movq -0x128(%rbp), %rdi
callq 0xe090
movq %rax, -0x138(%rbp)
leaq -0x130(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0xe0c0
testb $0x1, %al
jne 0x4c3ca
jmp 0x4c4e0
leaq -0x130(%rbp), %rdi
callq 0xe100
movl (%rax), %eax
movl %eax, -0x13c(%rbp)
movl $0x0, -0x140(%rbp)
movl $0x0, -0x144(%rbp)
movl -0x144(%rbp), %eax
movl %eax, -0x1c0(%rbp)
movslq -0x13c(%rbp), %rax
leaq 0xa19104(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
movq %rax, %rcx
movl -0x1c0(%rbp), %eax
cmpl %ecx, %eax
jge 0x4c48e
movslq -0x13c(%rbp), %rax
leaq 0xa190dd(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
movslq -0x144(%rbp), %rsi
callq 0x178f0
movl (%rax), %eax
cmpl -0x11c(%rbp), %eax
jne 0x4c478
movslq -0x13c(%rbp), %rax
leaq 0xa190b2(%rip), %rdi    # 0xa65510
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
subl -0x144(%rbp), %eax
movl %eax, -0x140(%rbp)
jmp 0x4c48e
jmp 0x4c47a
movl -0x144(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x144(%rbp)
jmp 0x4c3f2
cmpl $0x0, -0x140(%rbp)
jle 0x4c499
jmp 0x4c4b8
leaq 0xee0b(%rip), %rdi      # 0x5b2ab
leaq 0xec9a(%rip), %rsi      # 0x5b141
movl $0xc9, %edx
leaq 0xed2d(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movl -0x140(%rbp), %edx
movslq -0x13c(%rbp), %rcx
leaq 0x70bc44(%rip), %rax    # 0x758110
movl %edx, (%rax,%rcx,4)
leaq -0x130(%rbp), %rdi
callq 0xe120
jmp 0x4c3ae
movslq -0x11c(%rbp), %rcx
leaq 0x76d6a2(%rip), %rax    # 0x7b9b90
movl (%rax,%rcx,8), %eax
movl %eax, -0x1c4(%rbp)
movslq -0x11c(%rbp), %rax
leaq 0x7cf10b(%rip), %rdi    # 0x81b610
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0x59a0
movq %rax, %rcx
movl -0x1c4(%rbp), %eax
cmpl %ecx, %eax
jne 0x4c520
jmp 0x4c53f
leaq 0xed8a(%rip), %rdi      # 0x5b2b1
leaq 0xec13(%rip), %rsi      # 0x5b141
movl $0xcc, %edx
leaq 0xeca6(%rip), %rcx      # 0x5b1e0
callq 0x31a0
movslq -0x11c(%rbp), %rax
leaq 0x7cf0c3(%rip), %rdi    # 0x81b610
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0xe060
movq %rax, -0x150(%rbp)
movslq -0x11c(%rbp), %rax
leaq 0x7cf0a2(%rip), %rdi    # 0x81b610
imulq $0x18, %rax, %rax
addq %rax, %rdi
callq 0xe090
movq %rax, -0x158(%rbp)
movq -0x150(%rbp), %rdi
movq -0x158(%rbp), %rsi
callq 0x4c7f0
movl -0x11c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x11c(%rbp)
jmp 0x4c35a
movl $0x0, -0x160(%rbp)
movl -0x160(%rbp), %eax
cmpl -0x90(%rbp), %eax
jge 0x4c5e6
movslq -0x160(%rbp), %rcx
leaq 0x648642(%rip), %rax    # 0x694c10
movl $0x0, (%rax,%rcx,4)
movl -0x160(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x160(%rbp)
jmp 0x4c5b2
leaq 0x6485fb(%rip), %rdi    # 0x694be8
callq 0x17980
leaq 0x6485d7(%rip), %rdi    # 0x694bd0
callq 0x17980
movq -0x190(%rbp), %rsi
leaq 0xb9f944(%rip), %rdi    # 0xbebf50
callq 0x4e260
cmpq $0x0, %rax
je 0x4c66e
movq -0x190(%rbp), %rsi
leaq 0xb9f92b(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rdi
callq 0x59a0
cmpl 0xb9f8e4(%rip), %eax    # 0xbebf1c
jg 0x4c66e
movq -0x190(%rbp), %rsi
leaq 0xb9f908(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rsi
leaq 0x648591(%rip), %rdi    # 0x694be8
callq 0x42f30
leaq 0x648585(%rip), %rdi    # 0x694be8
callq 0x59a0
movl %eax, 0xb9f8ae(%rip)    # 0xbebf1c
leaq 0xb9f8c3(%rip), %rdi    # 0xbebf38
callq 0x55870
movl -0x88(%rbp), %esi
xorl %edi, %edi
callq 0x4b450
leaq 0xb9f8aa(%rip), %rdi    # 0xbebf38
callq 0x558b0
leaq 0x64854e(%rip), %rdi    # 0x694be8
callq 0x59a0
cmpq $0x0, %rax
jne 0x4c70e
movl $0xffffffff, -0x174(%rbp) # imm = 0xFFFFFFFF
leaq -0x174(%rbp), %rax
movq %rax, -0x170(%rbp)
movq $0x1, -0x168(%rbp)
movq -0x170(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq 0x64850b(%rip), %rdi    # 0x694be8
callq 0x4e490
movq -0x190(%rbp), %rsi
movl 0xb9f82d(%rip), %eax    # 0xbebf1c
movl %eax, -0x1c8(%rbp)
leaq 0xb9f884(%rip), %rdi    # 0xbebf80
callq 0x439b0
movl -0x1c8(%rbp), %ecx
movl %ecx, (%rax)
jmp 0x4c7ac
movq -0x190(%rbp), %rsi
leaq 0xb9f834(%rip), %rdi    # 0xbebf50
callq 0x4e260
cmpq $0x0, %rax
je 0x4c788
leaq 0x6484ba(%rip), %rdi    # 0x694be8
callq 0x59a0
movq -0x190(%rbp), %rsi
movq %rax, -0x1d0(%rbp)
leaq 0xb9f808(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rdi
callq 0x59a0
movq %rax, %rcx
movq -0x1d0(%rbp), %rax
cmpq %rcx, %rax
jae 0x4c786
movq -0x190(%rbp), %rsi
leaq 0xb9f7de(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rdi
leaq 0x648467(%rip), %rsi    # 0x694be8
callq 0x42f30
jmp 0x4c7aa
movq -0x190(%rbp), %rsi
leaq 0xb9f7ba(%rip), %rdi    # 0xbebf50
callq 0x4e2c0
movq %rax, %rdi
leaq 0x648443(%rip), %rsi    # 0x694be8
callq 0x42f30
jmp 0x4c7ac
leaq 0xb9f76d(%rip), %rdi    # 0xbebf20
callq 0x558b0
movq -0x188(%rbp), %rdi
leaq 0x648422(%rip), %rsi    # 0x694be8
callq 0x6490
movq -0x180(%rbp), %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
movq -0x80(%rbp), %rdi
callq 0x3480
nopw %cs:(%rax,%rax)