// 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>::canMapFull(unsigned long, unsigned long)
bool canMapFull(vertex_small_type row, vertex_large_type col) {
            BGL_FORALL_ADJ_T(row, u, g, GraphSmall) {
                bool all0 = true;
                BGL_FORALL_ADJ_T(col, v, h, GraphLarge) {
                    if(map(u, v)) {
                        all0 = false;
                        break;
                    }
                }
                if(all0)
                    return false;
            }
            BGL_FORALL_INV_ADJ_T(row, u, g, GraphSmall) {
                bool all0 = true;
                BGL_FORALL_INV_ADJ_T(col, v, h, GraphLarge) {
                    if(map(u, v)) {
                        all0 = false;
                        break;
                    }
                }
                if(all0)
                    return false;
            }
            return true;
        }

// Assembly:
subq $0x128, %rsp            # imm = 0x128
movq %rdi, 0x118(%rsp)
movq %rsi, 0x110(%rsp)
movq %rdx, 0x108(%rsp)
movq 0x118(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x110(%rsp), %rsi
movq (%rax), %rdx
leaq 0xd8(%rsp), %rdi
callq 0xba30
leaq 0xd8(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
addq $0x18, %rsi
callq 0xbb20
testb $0x1, %al
jne 0x4976
jmp 0x4b3e
jmp 0x4978
leaq 0xd8(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
addq $0x18, %rsi
callq 0xbb20
testb $0x1, %al
jne 0x4997
jmp 0x49b4
leaq 0xd8(%rsp), %rdi
callq 0xbb70
movq %rax, 0xd0(%rsp)
movb $0x1, %al
movb %al, 0xf(%rsp)
jmp 0x49bc
xorl %eax, %eax
movb %al, 0xf(%rsp)
jmp 0x49bc
movb 0xf(%rsp), %al
testb $0x1, %al
jne 0x49c9
jmp 0x4b07
movq 0x10(%rsp), %rax
movb $0x1, 0xcf(%rsp)
movq 0x108(%rsp), %rsi
movq 0x8(%rax), %rdx
leaq 0x98(%rsp), %rdi
callq 0xba30
leaq 0x98(%rsp), %rdi
leaq 0x98(%rsp), %rsi
addq $0x18, %rsi
callq 0xbb20
testb $0x1, %al
jne 0x4a11
jmp 0x4adc
jmp 0x4a13
leaq 0x98(%rsp), %rdi
leaq 0x98(%rsp), %rsi
addq $0x18, %rsi
callq 0xbb20
testb $0x1, %al
jne 0x4a32
jmp 0x4a4f
leaq 0x98(%rsp), %rdi
callq 0xbb70
movq %rax, 0x90(%rsp)
movb $0x1, %al
movb %al, 0xe(%rsp)
jmp 0x4a57
xorl %eax, %eax
movb %al, 0xe(%rsp)
jmp 0x4a57
movb 0xe(%rsp), %al
testb $0x1, %al
jne 0x4a61
jmp 0x4aa5
movq 0x10(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0xd0(%rsp), %rsi
movq 0x90(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x4a91
movb $0x0, 0xcf(%rsp)
jmp 0x4aa5
jmp 0x4a93
leaq 0x98(%rsp), %rdi
callq 0xbb90
jmp 0x4a13
jmp 0x4aa7
movq 0xb0(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0xb8(%rsp), %rax
movq %rax, 0xa0(%rsp)
movq 0xc0(%rsp), %rax
movq %rax, 0xa8(%rsp)
jmp 0x49ef
testb $0x1, 0xcf(%rsp)
je 0x4af3
movb $0x0, 0x127(%rsp)
jmp 0x4cea
jmp 0x4af5
leaq 0xd8(%rsp), %rdi
callq 0xbb90
jmp 0x4978
jmp 0x4b09
movq 0xf0(%rsp), %rax
movq %rax, 0xd8(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, 0xe0(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0xe8(%rsp)
jmp 0x4954
movq 0x10(%rsp), %rax
movq 0x110(%rsp), %rsi
movq (%rax), %rdx
leaq 0x60(%rsp), %rdi
callq 0xbbc0
leaq 0x60(%rsp), %rdi
leaq 0x60(%rsp), %rsi
addq $0x18, %rsi
callq 0xbcb0
testb $0x1, %al
jne 0x4b74
jmp 0x4ce2
jmp 0x4b76
leaq 0x60(%rsp), %rdi
leaq 0x60(%rsp), %rsi
addq $0x18, %rsi
callq 0xbcb0
testb $0x1, %al
jne 0x4b8f
jmp 0x4ba6
leaq 0x60(%rsp), %rdi
callq 0xbd00
movq %rax, 0x58(%rsp)
movb $0x1, %al
movb %al, 0xd(%rsp)
jmp 0x4bae
xorl %eax, %eax
movb %al, 0xd(%rsp)
jmp 0x4bae
movb 0xd(%rsp), %al
testb $0x1, %al
jne 0x4bbb
jmp 0x4cb7
movq 0x10(%rsp), %rax
movb $0x1, 0x57(%rsp)
movq 0x108(%rsp), %rsi
movq 0x8(%rax), %rdx
leaq 0x20(%rsp), %rdi
callq 0xbbc0
leaq 0x20(%rsp), %rdi
leaq 0x20(%rsp), %rsi
addq $0x18, %rsi
callq 0xbcb0
testb $0x1, %al
jne 0x4bf7
jmp 0x4c95
jmp 0x4bf9
leaq 0x20(%rsp), %rdi
leaq 0x20(%rsp), %rsi
addq $0x18, %rsi
callq 0xbcb0
testb $0x1, %al
jne 0x4c12
jmp 0x4c29
leaq 0x20(%rsp), %rdi
callq 0xbd00
movq %rax, 0x18(%rsp)
movb $0x1, %al
movb %al, 0xc(%rsp)
jmp 0x4c31
xorl %eax, %eax
movb %al, 0xc(%rsp)
jmp 0x4c31
movb 0xc(%rsp), %al
testb $0x1, %al
jne 0x4c3b
jmp 0x4c70
movq 0x10(%rsp), %rdi
addq $0x2f8, %rdi            # imm = 0x2F8
movq 0x58(%rsp), %rsi
movq 0x18(%rsp), %rdx
callq 0x46e0
testb $0x1, (%rax)
je 0x4c62
movb $0x0, 0x57(%rsp)
jmp 0x4c70
jmp 0x4c64
leaq 0x20(%rsp), %rdi
callq 0xbd20
jmp 0x4bf9
jmp 0x4c72
movq 0x38(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x4bdb
testb $0x1, 0x57(%rsp)
je 0x4ca6
movb $0x0, 0x127(%rsp)
jmp 0x4cea
jmp 0x4ca8
leaq 0x60(%rsp), %rdi
callq 0xbd20
jmp 0x4b76
jmp 0x4cb9
movq 0x78(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x70(%rsp)
jmp 0x4b58
movb $0x1, 0x127(%rsp)
movb 0x127(%rsp), %al
andb $0x1, %al
addq $0x128, %rsp            # imm = 0x128
retq
nopl (%rax,%rax)