// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]Triangulator/src/PMC.cpp
// Function: PMC::findPMCs(Graph const&, PMC::valueT, int)
vector<vector<int> > findPMCs(const Graph& G, valueT upperBound, int PROBLEM) {
	assert(G.isConnected());
	vector<int> rmV(G.n);
	vector<int> order = MCS::MCS_L(G, 0, rmV);
	reverse(order.begin(), order.end());
	vector<int> ord(G.n);
	assert((int)order.size() == G.n);
	for (int i = 0; i < G.n; i++) {
		ord[order[i]] = i;
	}
	Graph nG(G.n, true);
	vector<vector<int> > PMCs = {{order[0]}};
	vector<vector<int> > minSeps = {};
	for (int i = 1; i < G.n; i++) {
		int x = order[i];
		for (int nx : G.g[x]) {
			if (ord[nx] < ord[x]) {
				nG.addEdge(nx, x);
			}
		}
		assert(nG.isConnectedOrIsolated());
		auto newMinSeps = findMinSeps(nG);
		for (auto& s : newMinSeps) {
			assert(isMinSep(nG, s));
		}
		PMCs = ONE_MORE_VERTEX(nG, PMCs, minSeps, newMinSeps, x, upperBound, PROBLEM);
		minSeps = newMinSeps;
		for (auto& pmc : PMCs) {
			assert(canFill(G, pmc, upperBound, PROBLEM));
			sort(pmc.begin(), pmc.end());
		}
		sort(PMCs.begin(), PMCs.end());
		PMCs.erase(unique(PMCs.begin(), PMCs.end()), PMCs.end());
		if (printProgress) cerr<<"ONE_MORE_VERTEX: "<<G.n<<" "<<i<<" "<<PMCs.size()<<" "<<minSeps.size()<<endl;
	}
	return PMCs;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movl %edx, 0x6c(%rsp)
movq %rsi, %r15
movq %rdi, 0x60(%rsp)
movq %rsi, %rdi
callq 0xa486
testb %al, %al
je 0x1e054
movslq 0x50(%r15), %rsi
leaq 0x148(%rsp), %rbx
leaq 0x180(%rsp), %rdx
movq %rbx, %rdi
callq 0xaa18
leaq 0x78(%rsp), %rdi
movq %r15, %rsi
xorl %edx, %edx
movq %rbx, %rcx
callq 0x137a2
movq 0x78(%rsp), %rax
movq 0x80(%rsp), %rcx
cmpq %rcx, %rax
setne %dl
addq $-0x4, %rcx
cmpq %rax, %rcx
seta %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x1d9e8
addq $0x4, %rax
movl -0x4(%rax), %edx
movl (%rcx), %esi
movl %esi, -0x4(%rax)
movl %edx, (%rcx)
addq $-0x4, %rcx
leaq 0x4(%rax), %rdx
cmpq %rcx, %rax
movq %rdx, %rax
jb 0x1d9ce
movslq 0x50(%r15), %rsi
leaq 0xb0(%rsp), %rdi
leaq 0x180(%rsp), %rdx
callq 0xaa18
movq 0x60(%rsp), %rbx
movq 0x78(%rsp), %rax
movq 0x80(%rsp), %rsi
subq %rax, %rsi
shrq $0x2, %rsi
cmpl %esi, 0x50(%r15)
jne 0x1e073
testl %esi, %esi
jle 0x1da45
movq 0xb0(%rsp), %rcx
xorl %edx, %edx
movslq (%rax,%rdx,4), %rsi
movl %edx, (%rcx,%rsi,4)
incq %rdx
movslq 0x50(%r15), %rsi
cmpq %rsi, %rdx
jl 0x1da32
leaq 0x180(%rsp), %rdi
movl $0x1, %edx
callq 0x94fc
movq 0x78(%rsp), %rax
movl (%rax), %eax
leaq 0x110(%rsp), %rsi
movl %eax, (%rsi)
leaq 0xe0(%rsp), %rdi
leaq 0x160(%rsp), %rcx
movl $0x1, %edx
callq 0x12450
leaq 0xe0(%rsp), %rsi
leaq 0x90(%rsp), %rcx
movl $0x1, %edx
movq %rbx, %rdi
callq 0x214b8
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1dabc
movq 0xf0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
xorps %xmm0, %xmm0
movaps %xmm0, 0x90(%rsp)
movq $0x0, 0xa0(%rsp)
cmpl $0x2, 0x50(%r15)
jl 0x1df46
leaq 0x210(%rsp), %r14
movl $0x1, %ecx
leaq 0xe0(%rsp), %rbx
movq %r15, 0x70(%rsp)
movq 0x78(%rsp), %rax
movq %rcx, %rdx
movq %r15, %rcx
movq %rdx, 0xa8(%rsp)
movslq (%rax,%rdx,4), %r15
movq 0x38(%rcx), %rax
leaq (%r15,%r15,2), %rcx
movq (%rax,%rcx,8), %r12
movq 0x8(%rax,%rcx,8), %r13
cmpq %r13, %r12
je 0x1db50
movslq (%r12), %rsi
movq 0xb0(%rsp), %rax
movl (%rax,%rsi,4), %ecx
cmpl (%rax,%r15,4), %ecx
jge 0x1db4a
leaq 0x180(%rsp), %rdi
movl %r15d, %edx
callq 0x9836
addq $0x4, %r12
jmp 0x1db20
leaq 0x180(%rsp), %rdi
callq 0xa50c
testb %al, %al
je 0x1e035
leaq 0xc8(%rsp), %rdi
leaq 0x180(%rsp), %rsi
movq $-0x1, %rdx
callq 0x1d0f4
movq 0xc8(%rsp), %r13
movq 0xd0(%rsp), %r12
cmpq %r12, %r13
je 0x1dbe3
movq %rbx, %rdi
leaq 0x180(%rsp), %rsi
movq %r13, %rdx
callq 0x1bb96
movq 0xe8(%rsp), %rbp
subq 0xe0(%rsp), %rbp
sarq $0x3, %rbp
movabsq $-0x5555555555555555, %rax # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rbp
movq %rbx, %rdi
callq 0x41aa
cmpq $0x1, %rbp
jbe 0x1dff7
addq $0x18, %r13
jmp 0x1db91
movaps (%r14), %xmm0
movaps 0x10(%r14), %xmm1
movaps 0x20(%r14), %xmm2
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
movl 0x6c(%rsp), %eax
movl %eax, 0x30(%rsp)
leaq 0x110(%rsp), %rbp
movq %rbp, %rdi
leaq 0x180(%rsp), %rsi
movq 0x60(%rsp), %r12
movq %r12, %rdx
leaq 0x90(%rsp), %rcx
leaq 0xc8(%rsp), %r13
movq %r13, %r8
movl %r15d, %r9d
callq 0x1c6c4
movq 0x10(%r12), %rax
movaps 0x110(%rsp), %xmm0
movq 0x120(%rsp), %rcx
movq %rcx, 0x10(%r12)
movups (%r12), %xmm1
movups %xmm0, (%r12)
movaps %xmm1, 0xe0(%rsp)
movq %rax, 0xf0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x110(%rsp)
movq $0x0, 0x120(%rsp)
movq %rbx, %rdi
callq 0x41aa
movq %rbp, %rdi
callq 0x41aa
leaq 0x90(%rsp), %rdi
movq %r13, %rsi
callq 0x21502
movq 0x60(%rsp), %rax
movq (%rax), %r15
movq 0x8(%rax), %r13
cmpq %r13, %r15
je 0x1ddac
movaps (%r14), %xmm0
movaps 0x10(%r14), %xmm1
movaps 0x20(%r14), %xmm2
movaps %xmm2, 0x130(%rsp)
movaps %xmm1, 0x120(%rsp)
movaps %xmm0, 0x110(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x160(%rsp)
movq $0x0, 0x170(%rsp)
movaps (%r14), %xmm0
movaps 0x10(%r14), %xmm1
movaps 0x20(%r14), %xmm2
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
movaps %xmm2, 0x20(%rsp)
movaps %xmm1, 0x10(%rsp)
movaps %xmm0, (%rsp)
movq %rbx, %rdi
movq 0x70(%rsp), %rsi
movq %r15, %rdx
leaq 0x160(%rsp), %rcx
movl 0x6c(%rsp), %r8d
callq 0x1bfef
movq %rbx, %rdi
leaq 0x110(%rsp), %rsi
callq 0x1b4e8
testb %al, %al
jne 0x1e016
movq (%r15), %rbp
movq 0x8(%r15), %r12
cmpq %r12, %rbp
je 0x1dd93
movq %r12, %rax
subq %rbp, %rax
sarq $0x2, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbp, %rdi
movq %r12, %rsi
callq 0xaf7f
movq %rbp, %rdi
movq %r12, %rsi
callq 0xb062
addq $0x18, %r15
cmpq %r13, %r15
jne 0x1dcbd
movq 0x60(%rsp), %rax
movq (%rax), %r15
movq 0x8(%rax), %r13
cmpq %r13, %r15
je 0x1ddf8
movq %r13, %rax
subq %r15, %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rcx, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %r13, %rsi
callq 0xb9b0
movq %r15, %rdi
movq %r13, %rsi
callq 0xba6f
movq 0x60(%rsp), %rax
movq (%rax), %r15
movq 0x8(%rax), %r13
movq %r15, %rdi
movq %r13, %rsi
callq 0xc253
movq 0x60(%rsp), %rdi
movq 0x8(%rdi), %rdx
movq %rax, %rsi
callq 0xc312
cmpb $0x1, 0x631c79(%rip)    # 0x64fa94
jne 0x1df1c
movl $0x11, %edx
movq 0x171c3(%rip), %rdi     # 0x34ff0
leaq 0xcee9(%rip), %rsi      # 0x2ad1d
callq 0x2250
movq 0x70(%rsp), %rax
movl 0x50(%rax), %esi
movq 0x171a8(%rip), %rdi     # 0x34ff0
callq 0x2300
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0xcece(%rip), %rsi      # 0x2ad2d
callq 0x2250
movq %r15, %rdi
movq 0xa8(%rsp), %rsi
callq 0x2300
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0xcea7(%rip), %rsi      # 0x2ad2d
callq 0x2250
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rsi
subq (%rax), %rsi
sarq $0x3, %rsi
movabsq $-0x5555555555555555, %rax # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rsi
movq %r15, %rdi
callq 0x2150
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0xce6a(%rip), %rsi      # 0x2ad2d
callq 0x2250
movq 0x98(%rsp), %rsi
subq 0x90(%rsp), %rsi
sarq $0x3, %rsi
movabsq $-0x5555555555555555, %rax # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rsi
movq %r15, %rdi
callq 0x2150
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
leaq 0xc8(%rsp), %rdi
callq 0x41aa
movq 0xa8(%rsp), %rcx
incq %rcx
movq 0x70(%rsp), %r15
movslq 0x50(%r15), %rax
cmpq %rax, %rcx
jl 0x1daf8
leaq 0x90(%rsp), %rdi
callq 0x41aa
leaq 0x1b8(%rsp), %rdi
callq 0x41aa
leaq 0x198(%rsp), %rbx
movq %rbx, %rdi
callq 0x436a
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x1df89
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
movq 0x60(%rsp), %rbx
je 0x1dfab
movq 0xc0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1dfc5
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x1dfe2
movq 0x158(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq %rbx, %rax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xccea(%rip), %rdi      # 0x2ace8
leaq 0xc6c1(%rip), %rsi      # 0x2a6c6
leaq 0xcc83(%rip), %rcx      # 0x2ac8f
movl $0x210, %edx            # imm = 0x210
callq 0x2140
leaq 0xccdb(%rip), %rdi      # 0x2acf8
leaq 0xc6a2(%rip), %rsi      # 0x2a6c6
leaq 0xcc64(%rip), %rcx      # 0x2ac8f
movl $0x215, %edx            # imm = 0x215
callq 0x2140
leaq 0xcc91(%rip), %rdi      # 0x2accd
leaq 0xc683(%rip), %rsi      # 0x2a6c6
leaq 0xcc45(%rip), %rcx      # 0x2ac8f
movl $0x20d, %edx            # imm = 0x20D
callq 0x2140
leaq 0xcc24(%rip), %rdi      # 0x2ac7f
leaq 0xc664(%rip), %rsi      # 0x2a6c6
leaq 0xcc26(%rip), %rcx      # 0x2ac8f
movl $0x1fa, %edx            # imm = 0x1FA
callq 0x2140
leaq 0xbdd3(%rip), %rdi      # 0x29e4d
leaq 0xc645(%rip), %rsi      # 0x2a6c6
leaq 0xcc07(%rip), %rcx      # 0x2ac8f
movl $0x1ff, %edx            # imm = 0x1FF
callq 0x2140
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1e102
movq 0xf0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x1e102
movq %rax, %rbx
jmp 0x1e102
movq %rax, %rbx
jmp 0x1e10f
movq %rax, %rbx
jmp 0x1e12c
movq %rax, %rbx
jmp 0x1e146
jmp 0x1e0db
jmp 0x1e0db
jmp 0x1e0db
jmp 0x1e0d4
jmp 0x1e0d4
jmp 0x1e0db
movq %rax, %rbx
jmp 0x1e0eb
jmp 0x1e0db
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x41aa
leaq 0x90(%rsp), %rdi
callq 0x41aa
movq 0x60(%rsp), %rdi
callq 0x41aa
leaq 0x180(%rsp), %rdi
callq 0x40d8
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1e12c
movq 0xc0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1e146
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x1e163
movq 0x158(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq %rbx, %rdi
callq 0x2310