// 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>::refineMapPartial(unsigned long, unsigned long)
void refineMapPartial(vertex_small_type row, vertex_large_type col) {
            for(auto u : succInNeigh[row]) {
                for(auto v : hh.inneigh(col)) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v) && !canMap(u, v)) {
                        map.annul(u, v);
                    }
                }
            }
            for(auto u : succOutNeigh[row]) {
                for(auto v : hh.outneigh(col)) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v) && !canMap(u, v)) {
                        map.annul(u, v);
                    }
                }
            }
/*
            BGL_FORALL_INV_ADJ_T(row, u, g, GraphSmall) {
                BGL_FORALL_INV_ADJ_T(col, v, h, GraphLarge) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v) && !canMap(u, v)) {
                        map.annul(u, v);
                    }
                }
            }
            BGL_FORALL_ADJ_T(row, u, g, GraphSmall) {
                BGL_FORALL_ADJ_T(col, v, h, GraphLarge) {
                    if(isoinv[v] == graph_traits<GraphSmall>::null_vertex() && map(u, v) && !canMap(u, v)) {
                        map.annul(u, v);
                    }
                }
            }
*/
        }

// Assembly:
subq $0xb8, %rsp
movq %rdi, 0xb0(%rsp)
movq %rsi, 0xa8(%rsp)
movq %rdx, 0xa0(%rsp)
movq 0xb0(%rsp), %rdi
movq %rdi, 0x18(%rsp)
addq $0x398, %rdi            # imm = 0x398
movq 0xa8(%rsp), %rsi
callq 0x101c0
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rdi
callq 0x11370
movq %rax, 0x90(%rsp)
movq 0x98(%rsp), %rdi
callq 0x11d60
movq %rax, 0x88(%rsp)
leaq 0x90(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x12320
testb $0x1, %al
jne 0x5600
jmp 0x572f
leaq 0x90(%rsp), %rdi
callq 0x11af0
movq 0x18(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x80(%rsp)
addq $0x128, %rdi            # imm = 0x128
movq 0xa0(%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 0x566c
jmp 0x571b
leaq 0x70(%rsp), %rdi
callq 0x101b0
movq 0x18(%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, 0x10(%rsp)
callq 0xb980
movq %rax, %rcx
movq 0x10(%rsp), %rax
cmpq %rcx, %rax
jne 0x570a
movq 0x18(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x80(%rsp), %rsi
movq 0x60(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x570a
movq 0x18(%rsp), %rdi
movq 0x80(%rsp), %rsi
movq 0x60(%rsp), %rdx
callq 0x58b0
testb $0x1, %al
jne 0x570a
movq 0x18(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x80(%rsp), %rsi
movq 0x60(%rsp), %rdx
callq 0x6180
jmp 0x570c
leaq 0x70(%rsp), %rdi
callq 0x10280
jmp 0x5654
jmp 0x571d
leaq 0x90(%rsp), %rdi
callq 0x11f20
jmp 0x55e2
movq 0x18(%rsp), %rdi
addq $0x3a8, %rdi            # imm = 0x3A8
movq 0xa8(%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 0x5783
jmp 0x58a0
leaq 0x50(%rsp), %rdi
callq 0x11af0
movq 0x18(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x40(%rsp)
addq $0x128, %rdi            # imm = 0x128
movq 0xa0(%rsp), %rsi
callq 0x102a0
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rdi
callq 0x10110
movq %rax, 0x30(%rsp)
movq 0x38(%rsp), %rdi
callq 0x10140
movq %rax, 0x28(%rsp)
leaq 0x30(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x10170
testb $0x1, %al
jne 0x57e9
jmp 0x588f
leaq 0x30(%rsp), %rdi
callq 0x101b0
movq 0x18(%rsp), %rdi
movq (%rax), %rax
movq %rax, 0x20(%rsp)
addq $0x2e8, %rdi            # imm = 0x2E8
movq 0x20(%rsp), %rsi
callq 0x10070
movq (%rax), %rax
movq %rax, 0x8(%rsp)
callq 0xb980
movq %rax, %rcx
movq 0x8(%rsp), %rax
cmpq %rcx, %rax
jne 0x587e
movq 0x18(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x40(%rsp), %rsi
movq 0x20(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x587e
movq 0x18(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x20(%rsp), %rdx
callq 0x58b0
testb $0x1, %al
jne 0x587e
movq 0x18(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x40(%rsp), %rsi
movq 0x20(%rsp), %rdx
callq 0x6180
jmp 0x5880
leaq 0x30(%rsp), %rdi
callq 0x10280
jmp 0x57d1
jmp 0x5891
leaq 0x50(%rsp), %rdi
callq 0x11f20
jmp 0x576b
addq $0xb8, %rsp
retq
nopl (%rax,%rax)