// File: 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:
subq $0xc8, %rsp
movq %rdi, 0xb8(%rsp)
movq %rsi, 0xb0(%rsp)
movq %rdx, 0xa8(%rsp)
movq 0xb8(%rsp), %rdi
movq %rdi, 0x10(%rsp)
addq $0x398, %rdi            # imm = 0x398
movq 0xb0(%rsp), %rsi
callq 0x101c0
movq %rax, 0xa0(%rsp)
movq 0xa0(%rsp), %rdi
callq 0x11370
movq %rax, 0x98(%rsp)
movq 0xa0(%rsp), %rdi
callq 0x11d60
movq %rax, 0x90(%rsp)
leaq 0x98(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0x12320
testb $0x1, %al
jne 0x5940
jmp 0x5a5f
leaq 0x98(%rsp), %rdi
callq 0x11af0
movq 0x10(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x88(%rsp)
movb $0x1, 0x87(%rsp)
addq $0x128, %rdi            # imm = 0x128
movq 0xa8(%rsp), %rsi
callq 0x100e0
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rdi
callq 0x10110
movq %rax, 0x70(%rsp)
movq 0x78(%rsp), %rdi
callq 0x10140
movq %rax, 0x68(%rsp)
leaq 0x70(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x10170
testb $0x1, %al
jne 0x59b4
jmp 0x5a34
leaq 0x70(%rsp), %rdi
callq 0x101b0
movq 0x10(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x60(%rsp)
addq $0x2e8, %rdi            # imm = 0x2E8
movq 0x60(%rsp), %rsi
callq 0x10070
movq (%rax), %rax
movq %rax, 0x8(%rsp)
callq 0xb980
movq %rax, %rcx
movq 0x8(%rsp), %rax
cmpq %rcx, %rax
jne 0x5a23
movq 0x10(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x88(%rsp), %rsi
movq 0x60(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x5a23
movb $0x0, 0x87(%rsp)
jmp 0x5a34
jmp 0x5a25
leaq 0x70(%rsp), %rdi
callq 0x10280
jmp 0x599c
testb $0x1, 0x87(%rsp)
je 0x5a4b
movb $0x0, 0xc7(%rsp)
jmp 0x5bbd
jmp 0x5a4d
leaq 0x98(%rsp), %rdi
callq 0x11f20
jmp 0x5922
movq 0x10(%rsp), %rdi
addq $0x3a8, %rdi            # imm = 0x3A8
movq 0xb0(%rsp), %rsi
callq 0x101c0
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rdi
callq 0x11370
movq %rax, 0x50(%rsp)
movq 0x58(%rsp), %rdi
callq 0x11d60
movq %rax, 0x48(%rsp)
leaq 0x50(%rsp), %rdi
leaq 0x48(%rsp), %rsi
callq 0x12320
testb $0x1, %al
jne 0x5ab3
jmp 0x5bb5
leaq 0x50(%rsp), %rdi
callq 0x11af0
movq 0x10(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x40(%rsp)
movb $0x1, 0x3f(%rsp)
addq $0x128, %rdi            # imm = 0x128
movq 0xa8(%rsp), %rsi
callq 0x102a0
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rdi
callq 0x10110
movq %rax, 0x28(%rsp)
movq 0x30(%rsp), %rdi
callq 0x10140
movq %rax, 0x20(%rsp)
leaq 0x28(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x10170
testb $0x1, %al
jne 0x5b1b
jmp 0x5b93
leaq 0x28(%rsp), %rdi
callq 0x101b0
movq 0x10(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x18(%rsp)
addq $0x2e8, %rdi            # imm = 0x2E8
movq 0x18(%rsp), %rsi
callq 0x10070
movq (%rax), %rax
movq %rax, (%rsp)
callq 0xb980
movq %rax, %rcx
movq (%rsp), %rax
cmpq %rcx, %rax
jne 0x5b82
movq 0x10(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x40(%rsp), %rsi
movq 0x18(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x5b82
movb $0x0, 0x3f(%rsp)
jmp 0x5b93
jmp 0x5b84
leaq 0x28(%rsp), %rdi
callq 0x10280
jmp 0x5b06
testb $0x1, 0x3f(%rsp)
je 0x5ba4
movb $0x0, 0xc7(%rsp)
jmp 0x5bbd
jmp 0x5ba6
leaq 0x50(%rsp), %rdi
callq 0x11f20
jmp 0x5a9b
movb $0x1, 0xc7(%rsp)
movb 0xc7(%rsp), %al
andb $0x1, %al
addq $0xc8, %rsp
retq
nop