// File: Laakeri[P]Triangulator/src/PMC.cpp
// Function: PMC::isPMCbrute(Graph const&, std::vector<int, std::allocator<int>> const&)
bool isPMCbrute(const Graph& G, const vector<int>& pmc) {
	for (int x : pmc) {
		assert(x >= 0 && x < G.n);
	}
	if (hasFullComponent(G, pmc)) return false;
	for (int x : pmc) {
		for (int i = 0; i < G.n; i++) {
			u[i] = 0;
		}
		for (int y : pmc) {
			if (y != x) {
				u[y] = 2;
			}
		}
		dfs2(G, x);
		for (int y : pmc) {
			if (y != x) {
				if (u[y] != 3) return false;
			}
		}
	}
	return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x6680
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x66b0
movq %rax, -0x30(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xbbc0
testb $0x1, %al
jne 0x3ab68
jmp 0x3abd1
leaq -0x28(%rbp), %rdi
callq 0xbc00
movl (%rax), %eax
movl %eax, -0x34(%rbp)
xorl %eax, %eax
cmpl $0x0, -0x34(%rbp)
movb %al, -0x95(%rbp)
jl 0x3ab97
movl -0x34(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
setl %al
movb %al, -0x95(%rbp)
movb -0x95(%rbp), %al
testb $0x1, %al
jne 0x3aba3
jmp 0x3aba5
jmp 0x3abc4
leaq 0x1fcfc(%rip), %rdi     # 0x5a8a8
leaq 0x1fac3(%rip), %rsi     # 0x5a676
movl $0xa3, %edx
leaq 0x1fcfb(%rip), %rcx     # 0x5a8ba
callq 0x31a0
jmp 0x3abc6
leaq -0x28(%rbp), %rdi
callq 0xbc80
jmp 0x3ab55
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x3a720
testb $0x1, %al
jne 0x3abe4
jmp 0x3abed
movb $0x0, -0x1(%rbp)
jmp 0x3ad79
movq -0x18(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x6680
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rdi
callq 0x66b0
movq %rax, -0x50(%rbp)
leaq -0x48(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xbbc0
testb $0x1, %al
jne 0x3ac25
jmp 0x3ad75
leaq -0x48(%rbp), %rdi
callq 0xbc00
movl (%rax), %eax
movl %eax, -0x54(%rbp)
movl $0x0, -0x58(%rbp)
movl -0x58(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
jge 0x3ac63
movslq -0x58(%rbp), %rcx
leaq 0x5f849f(%rip), %rax    # 0x6330f0
movl $0x0, (%rax,%rcx,4)
movl -0x58(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x58(%rbp)
jmp 0x3ac3a
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x6680
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdi
callq 0x66b0
movq %rax, -0x70(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xbbc0
testb $0x1, %al
jne 0x3ac98
jmp 0x3accd
leaq -0x68(%rbp), %rdi
callq 0xbc00
movl (%rax), %eax
movl %eax, -0x74(%rbp)
movl -0x74(%rbp), %eax
cmpl -0x54(%rbp), %eax
je 0x3acc0
movslq -0x74(%rbp), %rcx
leaq 0x5f8437(%rip), %rax    # 0x6330f0
movl $0x2, (%rax,%rcx,4)
jmp 0x3acc2
leaq -0x68(%rbp), %rdi
callq 0xbc80
jmp 0x3ac85
movq -0x10(%rbp), %rdi
movl -0x54(%rbp), %esi
callq 0x3a8c0
movq -0x18(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rdi
callq 0x6680
movq %rax, -0x88(%rbp)
movq -0x80(%rbp), %rdi
callq 0x66b0
movq %rax, -0x90(%rbp)
leaq -0x88(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0xbbc0
testb $0x1, %al
jne 0x3ad1a
jmp 0x3ad65
leaq -0x88(%rbp), %rdi
callq 0xbc00
movl (%rax), %eax
movl %eax, -0x94(%rbp)
movl -0x94(%rbp), %eax
cmpl -0x54(%rbp), %eax
je 0x3ad55
movslq -0x94(%rbp), %rcx
leaq 0x5f83a9(%rip), %rax    # 0x6330f0
cmpl $0x3, (%rax,%rcx,4)
je 0x3ad53
movb $0x0, -0x1(%rbp)
jmp 0x3ad79
jmp 0x3ad55
jmp 0x3ad57
leaq -0x88(%rbp), %rdi
callq 0xbc80
jmp 0x3ad01
jmp 0x3ad67
leaq -0x48(%rbp), %rdi
callq 0xbc80
jmp 0x3ac0f
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0xa0, %rsp
popq %rbp
retq
nopw (%rax,%rax)