// 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>::checkEdges(unsigned long, unsigned long)
bool checkEdges(vertex_small_type row, vertex_large_type col) {
            BGL_FORALL_OUTEDGES_T(row, e, g, GraphSmall) {
                auto u = target(e, g);
                auto v = iso[u];
                if(v != graph_traits<GraphLarge>::null_vertex()) {
                    auto pe = edge(col, v, h);
                    if(!pe.second || !edge_comp(e, pe.first))
                        return false;
                }
            }
            BGL_FORALL_INEDGES_T(row, e, g, GraphSmall) {
                auto u = source(e, g);
                auto v = iso[u];
                if(v != graph_traits<GraphLarge>::null_vertex()) {
                    auto pe = edge(v, col, h);
                    if(!pe.second || !edge_comp(e, pe.first))
                        return false;
                }
            }
            return true;
        }

// Assembly:
subq $0x148, %rsp            # imm = 0x148
movq %rdi, 0x138(%rsp)
movq %rsi, 0x130(%rsp)
movq %rdx, 0x128(%rsp)
movq 0x138(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x130(%rsp), %rsi
movq (%rax), %rdx
leaq 0x108(%rsp), %rdi
callq 0xdb50
leaq 0x108(%rsp), %rdi
leaq 0x108(%rsp), %rsi
addq $0x10, %rsi
callq 0x12360
testb $0x1, %al
jne 0x5c96
jmp 0x5e23
leaq 0xf0(%rsp), %rdi
callq 0x123b0
leaq 0x108(%rsp), %rdi
leaq 0x108(%rsp), %rsi
addq $0x10, %rsi
callq 0x12360
testb $0x1, %al
jne 0x5cc2
jmp 0x5d0f
leaq 0x108(%rsp), %rsi
leaq 0xd8(%rsp), %rdi
callq 0xe2c0
movq 0xd8(%rsp), %rax
movq %rax, 0xf0(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0xf8(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x100(%rsp)
movb $0x1, %al
movb %al, 0x1f(%rsp)
jmp 0x5d17
xorl %eax, %eax
movb %al, 0x1f(%rsp)
jmp 0x5d17
movb 0x1f(%rsp), %al
testb $0x1, %al
jne 0x5d24
jmp 0x5dfc
movq 0x20(%rsp), %rax
movq (%rax), %rsi
leaq 0xf0(%rsp), %rdi
callq 0xe2a0
movq 0x20(%rsp), %rdi
movq %rax, 0xd0(%rsp)
addq $0x2c0, %rdi            # imm = 0x2C0
movq 0xd0(%rsp), %rsi
callq 0x10070
movq (%rax), %rax
movq %rax, 0xc8(%rsp)
movq 0xc8(%rsp), %rax
movq %rax, 0x10(%rsp)
callq 0xb980
movq %rax, %rcx
movq 0x10(%rsp), %rax
cmpq %rcx, %rax
je 0x5de8
movq 0x20(%rsp), %rax
movq 0x128(%rsp), %rsi
movq 0xc8(%rsp), %rdx
movq 0x8(%rax), %rcx
leaq 0xa8(%rsp), %rdi
callq 0xcd80
testb $0x1, 0xc0(%rsp)
je 0x5dd9
movq 0x20(%rsp), %rdi
addq $0x270, %rdi            # imm = 0x270
leaq 0xa8(%rsp), %rdx
leaq 0xf0(%rsp), %rsi
callq 0x6220
testb $0x1, %al
jne 0x5de6
movb $0x0, 0x147(%rsp)
jmp 0x5fbf
jmp 0x5de8
jmp 0x5dea
leaq 0x108(%rsp), %rdi
callq 0xe3f0
jmp 0x5ca3
jmp 0x5dfe
movq 0x118(%rsp), %rax
movq %rax, 0x108(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x110(%rsp)
jmp 0x5c74
movq 0x20(%rsp), %rax
movq 0x130(%rsp), %rsi
movq (%rax), %rdx
leaq 0x88(%rsp), %rdi
callq 0xe490
leaq 0x88(%rsp), %rdi
leaq 0x88(%rsp), %rsi
addq $0x10, %rsi
callq 0x123e0
testb $0x1, %al
jne 0x5e62
jmp 0x5fb7
leaq 0x70(%rsp), %rdi
callq 0x123b0
leaq 0x88(%rsp), %rdi
leaq 0x88(%rsp), %rsi
addq $0x10, %rsi
callq 0x123e0
testb $0x1, %al
jne 0x5e8b
jmp 0x5ec6
leaq 0x88(%rsp), %rsi
leaq 0x58(%rsp), %rdi
callq 0xeba0
movq 0x58(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x80(%rsp)
movb $0x1, %al
movb %al, 0xf(%rsp)
jmp 0x5ece
xorl %eax, %eax
movb %al, 0xf(%rsp)
jmp 0x5ece
movb 0xf(%rsp), %al
testb $0x1, %al
jne 0x5edb
jmp 0x5f90
movq 0x20(%rsp), %rax
movq (%rax), %rsi
leaq 0x70(%rsp), %rdi
callq 0xeb80
movq 0x20(%rsp), %rdi
movq %rax, 0x50(%rsp)
addq $0x2c0, %rdi            # imm = 0x2C0
movq 0x50(%rsp), %rsi
callq 0x10070
movq (%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, (%rsp)
callq 0xb980
movq %rax, %rcx
movq (%rsp), %rax
cmpq %rcx, %rax
je 0x5f7c
movq 0x20(%rsp), %rax
movq 0x48(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0x8(%rax), %rcx
leaq 0x28(%rsp), %rdi
callq 0xcd80
testb $0x1, 0x40(%rsp)
je 0x5f70
movq 0x20(%rsp), %rdi
addq $0x270, %rdi            # imm = 0x270
leaq 0x28(%rsp), %rdx
leaq 0x70(%rsp), %rsi
callq 0x6220
testb $0x1, %al
jne 0x5f7a
movb $0x0, 0x147(%rsp)
jmp 0x5fbf
jmp 0x5f7c
jmp 0x5f7e
leaq 0x88(%rsp), %rdi
callq 0xecd0
jmp 0x5e6c
jmp 0x5f92
movq 0x98(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0xa0(%rsp), %rax
movq %rax, 0x90(%rsp)
jmp 0x5e40
movb $0x1, 0x147(%rsp)
movb 0x147(%rsp), %al
andb $0x1, %al
addq $0x148, %rsp            # imm = 0x148
retq