// File: /workspace/github_cpp_makefile_star2_O1/grame-cncm[P]digraph/./dglib/digraphop.hh
// Function: std::ostream& dotfile<char, std::pair<std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, int, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, int>>>, int>>(std::ostream&, digraph<char, std::pair<std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, int, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, int>>>, int>> const&, bool)
inline std::ostream& dotfile(std::ostream& file, const digraph<N, A>& g, bool clusters = false)
{
    file << "digraph mygraph {" << std::endl;
    for (const N& n : g.nodes()) {
        std::stringstream sn;
        sn << '"' << n << '"';
        bool hascnx = false;
        for (const auto& c : g.connections(n)) {
            std::stringstream sm;
            sm << '"' << c.first << '"';
            hascnx = true;
            file << "\t" << sn.str() << "->" << sm.str() << " [label=\"" << arrow_traits<A>::label(c.second) << "\"];"
                 << std::endl;
        }
        if (!hascnx) {
            file << "\t" << sn.str() << ";" << std::endl;
        }
    }

    if (clusters) {
        Tarjan<N, A> T(g);
        int          ccount = 0;  // cluster count
        for (const auto& s : T.partition()) {
            file << "\t"
                 << "subgraph cluster" << ccount++ << " { " << std::endl;
            for (const N& n : s) {
                file << "\t\t" << '"' << n << '"' << ";" << std::endl;
            }
            file << "\t"
                 << "}" << std::endl;
        }
    }

    return file << "}" << std::endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3a8, %rsp            # imm = 0x3A8
movl %edx, 0x1c(%rsp)
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x19562(%rip), %rsi     # 0x1c090
movl $0x11, %edx
callq 0x21a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq %r14, 0x20(%rsp)
movq (%r14), %rax
movq 0x18(%rax), %rcx
addq $0x8, %rax
movq %rax, 0x50(%rsp)
movq %rcx, 0x8(%rsp)
cmpq %rax, %rcx
je 0x2eae
movl $0x80, %eax
leaq 0x98(%rsp), %r14
leaq (%r14,%rax), %rcx
movq %rcx, 0x10(%rsp)
leaq 0x220(%rsp), %r15
addq %r15, %rax
movq %rax, 0x48(%rsp)
leaq 0x28(%rsp), %rbp
movq %r15, %rdi
callq 0x20f0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
leaq 0x230(%rsp), %rdi
movq %r14, %rsi
callq 0x21a0
movq 0x8(%rsp), %rcx
leaq 0x20(%rcx), %r15
movb (%r15), %cl
movb %cl, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x21a0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x21a0
movq 0x20(%rsp), %rax
movq (%rax), %rdi
addq $0x30, %rdi
movq %r15, %rsi
callq 0x48d0
movq %rax, %r13
movq 0x18(%rax), %r15
addq $0x8, %r13
cmpq %r13, %r15
je 0x2ddf
movq %r14, %rdi
callq 0x20f0
movb $0x22, 0x28(%rsp)
movl $0x1, %edx
leaq 0xa8(%rsp), %rdi
movq %rbp, %rsi
callq 0x21a0
movb 0x20(%r15), %cl
movb %cl, 0x28(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x21a0
movb $0x22, 0x28(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x21a0
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x19433(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq %rbp, %rdi
leaq 0x238(%rsp), %rsi
callq 0x2210
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x21a0
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
leaq 0x193a1(%rip), %rsi     # 0x1c06d
callq 0x21a0
leaq 0x78(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x2210
movq 0x78(%rsp), %rsi
movq 0x80(%rsp), %rdx
movq %r12, %rdi
callq 0x21a0
movq %rax, %r12
movl $0x9, %edx
movq %rax, %rdi
leaq 0x19398(%rip), %rsi     # 0x1c0a2
callq 0x21a0
leaq 0x28(%r15), %rsi
leaq 0x58(%rsp), %rdi
callq 0x4a72
movq 0x58(%rsp), %rsi
movq 0x60(%rsp), %rdx
movq %r12, %rdi
callq 0x21a0
movq %rax, %r12
movl $0x3, %edx
movq %rax, %rdi
leaq 0x1936b(%rip), %rsi     # 0x1c0ac
callq 0x21a0
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r12, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x2d82
callq 0x2150
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x2d99
callq 0x2150
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x2dad
callq 0x2150
movq %r14, %rdi
movq 0x251f9(%rip), %rsi     # 0x27fb0
callq 0x2110
movq 0x10(%rsp), %rdi
callq 0x2070
movq %r15, %rdi
callq 0x21b0
movq %rax, %r15
cmpq %r13, %rax
jne 0x2c35
jmp 0x2e73
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x192d8(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq %r14, %rdi
leaq 0x238(%rsp), %rsi
callq 0x2210
movq 0x98(%rsp), %rsi
movq 0xa0(%rsp), %rdx
movq %rbx, %rdi
callq 0x21a0
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x19281(%rip), %rsi     # 0x1c0ae
callq 0x21a0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x2e73
callq 0x2150
leaq 0x220(%rsp), %r15
movq %r15, %rdi
movq 0x2512b(%rip), %rsi     # 0x27fb0
callq 0x2110
movq 0x48(%rsp), %rdi
callq 0x2070
movq 0x8(%rsp), %rdi
callq 0x21b0
movq %rax, 0x8(%rsp)
cmpq 0x50(%rsp), %rax
jne 0x2bad
cmpb $0x0, 0x1c(%rsp)
je 0x30d0
leaq 0x220(%rsp), %r14
movq %r14, %rdi
movq 0x20(%rsp), %rsi
callq 0x4bda
movq 0xa8(%r14), %r14
leaq 0x2b8(%rsp), %rax
cmpq %rax, %r14
je 0x30a9
xorl %r13d, %r13d
leaq 0x98(%rsp), %r12
leaq 0x191b6(%rip), %r15     # 0x1c0ae
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x191bf(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movl $0x10, %edx
movq %rbx, %rdi
leaq 0x19195(%rip), %rsi     # 0x1c0b0
callq 0x21a0
movq %rbx, %rdi
movl %r13d, %esi
callq 0x2240
movq %rax, %rbp
movl $0x3, %edx
movq %rax, %rdi
leaq 0x19184(%rip), %rsi     # 0x1c0c1
callq 0x21a0
movq (%rbp), %rax
movq -0x18(%rax), %rdi
addq %rbp, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %rbp, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movl %r13d, 0x8(%rsp)
movq 0x38(%r14), %rbp
movq %r14, 0x10(%rsp)
leaq 0x28(%r14), %r13
cmpq %r13, %rbp
je 0x3031
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x19131(%rip), %rsi     # 0x1c0c5
callq 0x21a0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x21a0
movb 0x20(%rbp), %cl
movb %cl, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x21a0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x21a0
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x21a0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq %rbp, %rdi
callq 0x21b0
movq %rax, %rbp
cmpq %r13, %rax
jne 0x2f85
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x19086(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq 0x10(%rsp), %r14
movl 0x8(%rsp), %r13d
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x1a1fd(%rip), %rsi     # 0x1d25b
callq 0x21a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
incl %r13d
movq %r14, %rdi
callq 0x21b0
movq %rax, %r14
leaq 0x2b8(%rsp), %rax
cmpq %rax, %r14
jne 0x2ef8
leaq 0x2b0(%rsp), %rdi
callq 0x5be8
leaq 0x280(%rsp), %rdi
callq 0x5c3c
leaq 0x230(%rsp), %rdi
callq 0x5c86
leaq 0x1a184(%rip), %rsi     # 0x1d25b
movl $0x1, %edx
movq %rbx, %rdi
callq 0x21a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
addq $0x3a8, %rsp            # imm = 0x3A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3153
jmp 0x3153
jmp 0x3153
movq %rax, %rbx
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x31e2
callq 0x2150
jmp 0x31e2
jmp 0x3153
jmp 0x3165
jmp 0x3160
jmp 0x315b
jmp 0x317a
movq %rax, %rbx
jmp 0x31e2
movq %rax, %rbx
jmp 0x3196
movq %rax, %rbx
jmp 0x31ad
movq %rax, %rbx
leaq 0x220(%rsp), %rdi
callq 0x4d0a
jmp 0x3203
movq %rax, %rbx
jmp 0x31c1
movq %rax, %rbx
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x3196
callq 0x2150
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x31ad
callq 0x2150
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x31c1
callq 0x2150
movq 0x24de8(%rip), %rsi     # 0x27fb0
leaq 0x98(%rsp), %rdi
callq 0x2110
leaq 0x118(%rsp), %rdi
callq 0x2070
movq 0x24dc7(%rip), %rsi     # 0x27fb0
leaq 0x220(%rsp), %rdi
callq 0x2110
leaq 0x2a0(%rsp), %rdi
callq 0x2070
movq %rbx, %rdi
callq 0x2250
nop