// File: /workspace/github_cpp_makefile_star2_O1/xnevs[P]bullimp/examples/../graph/ullimp_sub_graph_iso.hpp
// Function: ullimp::detail::UllImp<boost::adjacency_list<boost::setS, boost::vecS, boost::bidirectionalS, boost::no_property, Color, boost::no_property, boost::listS>, boost::adjacency_list<boost::setS, boost::vecS, boost::bidirectionalS, boost::no_property, Color, boost::no_property, boost::listS>, boost::vec_adj_list_vertex_id_map<boost::no_property, unsigned long>, boost::vec_adj_list_vertex_id_map<boost::no_property, unsigned long>, std::vector<unsigned long, std::allocator<unsigned long>>, main::$_0, boost::always_equivalent, main::$_1>::canMap(unsigned long, unsigned long)
bool canMap(vertex_small_type row, vertex_large_type col) {
            for(auto u : succInNeigh[row]) {
                bool all0 = true;
                for(auto v : hh.inneigh(col)) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v)) {
                        all0 = false;
                        break;
                    }
                }
                if(all0) {
                    return false;
                }
            }
            for(auto u : succOutNeigh[row]) {
                bool all0 = true;
                for(auto v : hh.outneigh(col)) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v)) {
                        all0 = false;
                        break;
                    }
                }
                if(all0) {
                    return false;
                }
            }
            return true;
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdx, -0x8(%rsp)
movq 0x398(%rdi), %rax
leaq (%rsi,%rsi,2), %rdx
movq (%rax,%rdx,8), %rcx
movq 0x8(%rax,%rdx,8), %rsi
cmpq %rsi, %rcx
sete %r8b
je 0x42c3
movq -0x8(%rsp), %rax
leaq (%rax,%rax,2), %rax
movq 0x200(%rdi), %r10
movq (%r10,%rax,8), %r9
movq 0x8(%r10,%rax,8), %r10
cmpq %r10, %r9
je 0x42b9
movq 0x2e8(%rdi), %r11
movq 0x310(%rdi), %rbx
movq 0x300(%rdi), %r14
leaq 0x8(%r9), %r15
movq (%rcx), %r12
imulq %r14, %r12
addq %rbx, %r12
movb $0x1, %bpl
movq %r15, %r13
movq -0x8(%r13), %rax
cmpq $-0x1, (%r11,%rax,8)
jne 0x428f
cmpb $0x0, (%r12,%rax)
je 0x428f
movb $0x1, %al
xorl %ebp, %ebp
jmp 0x4291
xorl %eax, %eax
testb %al, %al
jne 0x42a1
leaq 0x8(%r13), %rax
cmpq %r10, %r13
movq %rax, %r13
jne 0x4277
testb $0x1, %bpl
jne 0x42b9
addq $0x8, %rcx
cmpq %rsi, %rcx
sete %r8b
je 0x42c3
cmpq %r10, %r9
jne 0x4267
testb $0x1, %r8b
je 0x436c
movq 0x3a8(%rdi), %rax
movq (%rax,%rdx,8), %rcx
movq 0x8(%rax,%rdx,8), %rsi
cmpq %rsi, %rcx
sete %al
je 0x436e
movq -0x8(%rsp), %rdx
leaq (%rdx,%rdx,2), %r8
movq 0x210(%rdi), %r9
movq (%r9,%r8,8), %rdx
movq 0x8(%r9,%r8,8), %r8
cmpq %r8, %rdx
je 0x436e
movq 0x2e8(%rdi), %r9
movq 0x310(%rdi), %r10
movq 0x300(%rdi), %rdi
leaq 0x8(%rdx), %r11
movq (%rcx), %rbx
imulq %rdi, %rbx
addq %r10, %rbx
movb $0x1, %bpl
movq %r11, %r14
movq -0x8(%r14), %r15
cmpq $-0x1, (%r9,%r15,8)
jne 0x433f
cmpb $0x0, (%rbx,%r15)
je 0x433f
movb $0x1, %r15b
xorl %ebp, %ebp
jmp 0x4342
xorl %r15d, %r15d
testb %r15b, %r15b
jne 0x4353
leaq 0x8(%r14), %r15
cmpq %r8, %r14
movq %r15, %r14
jne 0x4326
testb $0x1, %bpl
jne 0x436e
addq $0x8, %rcx
cmpq %rsi, %rcx
sete %al
je 0x436e
cmpq %r8, %rdx
jne 0x4316
jmp 0x436e
xorl %eax, %eax
andb $0x1, %al
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop