// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]Triangulator/src/setcover.cpp
// Function: SetCover::go(int, int)
void go(int i, int n) {
	if (i == n) {
		assert((int)cv.size() <= upperBound);
		upperBound = (int)cv.size();
		if (opt.size() == 0) {
			opt = cv;
		}
		else {
			assert((int)cv.size() < (int)opt.size());
			opt = cv;
		}
		assert(opt.size() > 0);
		return;
	}
	bool f = false;
	for (int x : where[i]) {
		if (sel[x]) {
			f = true;
			break;
		}
	}
	if (!f) {
		int ss = tnoS;
		for (int x : where[i]) {
			if ((int)cv.size() + 1 > upperBound) break;
			if ((int)cv.size() + 1 == (int)opt.size()) break;
			if (opt.size() != 0 && (int)opt.size() <= okCover) break;
			if (no[x]) continue;
			sel[x] = 1;
			cv.push_back(x);
			go(i+1, n);
			sel[x] = 0;
			cv.pop_back();
			no[x] = 1;
			tno[tnoS++] = x;
		}
		while (tnoS > ss) {
			no[tno[tnoS - 1]] = 0;
			tnoS--;
		}
	}
	else {
		go(i+1, n);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
cmpl %esi, %edi
jne 0x22c18
movq 0x62cf5f(%rip), %rax    # 0x64faf8
subq 0x62cf50(%rip), %rax    # 0x64faf0
shrq $0x2, %rax
cmpl %eax, 0xb84292(%rip)    # 0xba6e3c
jl 0x22dcc
movl %eax, 0xb84286(%rip)    # 0xba6e3c
movq 0x62cf53(%rip), %rcx    # 0x64fb10
subq 0x62cf44(%rip), %rcx    # 0x64fb08
je 0x22bd2
shrq $0x2, %rcx
cmpl %ecx, %eax
jge 0x22deb
leaq 0x62cf2f(%rip), %rdi    # 0x64fb08
leaq 0x62cf10(%rip), %rsi    # 0x64faf0
callq 0x212f0
movq 0x62cf24(%rip), %rax    # 0x64fb10
cmpq 0x62cf15(%rip), %rax    # 0x64fb08
jne 0x22dbd
leaq 0x8621(%rip), %rdi      # 0x2b221
leaq 0x858a(%rip), %rsi      # 0x2b191
leaq 0x85d6(%rip), %rcx      # 0x2b1e4
movl $0x48, %edx
callq 0x2140
movslq %edi, %r14
leaq 0x7b390e(%rip), %rax    # 0x7d6530
leaq 0x62cf07(%rip), %r13    # 0x64fb30
leaq (%r14,%r14,2), %rcx
movq (%rax,%rcx,8), %rbp
movq 0x8(%rax,%rcx,8), %r15
movq %rbp, %rcx
cmpq %r15, %rbp
je 0x22dbd
movslq (%rcx), %rdx
cmpl $0x0, (%r13,%rdx,4)
jne 0x22c58
addq $0x4, %rcx
cmpq %r15, %rcx
jne 0x22c42
jmp 0x22c65
incq %r14
cmpl %esi, %r14d
jne 0x22c29
jmp 0x22b92
cmpq %r15, %rbp
je 0x22dbd
movl %esi, 0x14(%rsp)
movl 0xb841b8(%rip), %eax    # 0xba6e30
movslq %eax, %r12
incl %r14d
movq 0x62ce73(%rip), %rsi    # 0x64faf8
movq 0x62ce64(%rip), %rcx    # 0x64faf0
movl 0xb841aa(%rip), %edx    # 0xba6e3c
leaq 0xb22717(%rip), %rbx    # 0xb453b0
movl %eax, 0x10(%rsp)
movl (%rbp), %edi
movl %edi, 0xc(%rsp)
movq %rsi, %r8
subq %rcx, %r8
shrq $0x2, %r8
cmpl %r8d, %edx
jle 0x22d94
incl %r8d
movq 0x62ce4f(%rip), %r10    # 0x64fb10
movq 0x62ce40(%rip), %r11    # 0x64fb08
movq %r10, %r9
subq %r11, %r9
shrq $0x2, %r9
cmpl %r9d, %r8d
je 0x22d94
cmpq %r11, %r10
je 0x22ced
cmpl %r9d, 0xb84151(%rip)    # 0xba6e38
jge 0x22d94
movslq %edi, %r8
cmpl $0x0, (%rbx,%r8,4)
jne 0x22d87
movl $0x1, (%r13,%r8,4)
cmpq 0x62cdf5(%rip), %rsi    # 0x64fb00
je 0x22d1c
movl %edi, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x62cdde(%rip)    # 0x64faf8
jmp 0x22d2d
leaq 0x62cdcd(%rip), %rdi    # 0x64faf0
leaq 0xc(%rsp), %rdx
callq 0x92c4
movl %r14d, %edi
movl 0x14(%rsp), %esi
callq 0x22b7c
movslq 0xc(%rsp), %rcx
movl $0x0, (%r13,%rcx,4)
movq 0x62cdaa(%rip), %rsi    # 0x64faf8
addq $-0x4, %rsi
movq %rsi, 0x62cd9f(%rip)    # 0x64faf8
movl $0x1, (%rbx,%rcx,4)
movslq 0xb840c9(%rip), %rdx    # 0xba6e30
leal 0x1(%rdx), %eax
movl %eax, 0xb840c0(%rip)    # 0xba6e30
leaq 0xb53379(%rip), %rdi    # 0xb760f0
movl %ecx, (%rdi,%rdx,4)
movq 0x62cd6f(%rip), %rcx    # 0x64faf0
movl 0xb840b5(%rip), %edx    # 0xba6e3c
addq $0x4, %rbp
cmpq %r15, %rbp
jne 0x22c9d
cmpl 0x10(%rsp), %eax
jle 0x22dbd
cltq
leaq 0xb5334d(%rip), %rdx    # 0xb760f0
movslq -0x4(%rdx,%rax,4), %rcx
decq %rax
movl $0x0, (%rbx,%rcx,4)
cmpq %r12, %rax
jg 0x22da3
movl %eax, 0xb84073(%rip)    # 0xba6e30
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x83f4(%rip), %rdi      # 0x2b1c7
leaq 0x83b7(%rip), %rsi      # 0x2b191
leaq 0x8403(%rip), %rcx      # 0x2b1e4
movl $0x3f, %edx
callq 0x2140
leaq 0x840e(%rip), %rdi      # 0x2b200
leaq 0x8398(%rip), %rsi      # 0x2b191
leaq 0x83e4(%rip), %rcx      # 0x2b1e4
movl $0x45, %edx
callq 0x2140