// File: /workspace/github_cpp_makefile_star2_O3/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 0x19638(%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, 0x28(%rsp)
movq (%r14), %rax
movq 0x18(%rax), %rcx
addq $0x8, %rax
movq %rax, 0x50(%rsp)
movq %rcx, 0x8(%rsp)
cmpq %rax, %rcx
je 0x2dd8
movl $0x80, %eax
leaq 0x98(%rsp), %rbp
leaq (%rax,%rbp), %rcx
movq %rcx, 0x10(%rsp)
leaq 0x220(%rsp), %r15
addq %r15, %rax
movq %rax, 0x20(%rsp)
leaq 0x30(%rsp), %r14
movq %r15, %rdi
callq 0x20f0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
leaq 0x230(%rsp), %rdi
movq %rbp, %rsi
callq 0x21a0
movq 0x8(%rsp), %rcx
leaq 0x20(%rcx), %r12
movb (%r12), %cl
movb %cl, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x21a0
movb $0x22, 0x98(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x21a0
movq 0x28(%rsp), %rax
movq (%rax), %rdi
addq $0x30, %rdi
movq %r12, %rsi
callq 0x47dc
movq %rax, %r12
movq 0x18(%rax), %r13
addq $0x8, %r12
cmpq %r12, %r13
je 0x2d09
movq %rbp, %rdi
callq 0x20f0
movb $0x22, 0x30(%rsp)
movl $0x1, %edx
leaq 0xa8(%rsp), %rdi
movq %r14, %rsi
callq 0x21a0
movb 0x20(%r13), %cl
movb %cl, 0x30(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x21a0
movb $0x22, 0x30(%rsp)
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x21a0
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x19508(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq %r14, %rdi
leaq 0x238(%rsp), %rsi
callq 0x2210
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0x21a0
movq %rax, %r15
movl $0x2, %edx
movq %rax, %rdi
leaq 0x19476(%rip), %rsi     # 0x1c06d
callq 0x21a0
leaq 0x78(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x2210
movq 0x78(%rsp), %rsi
movq 0x80(%rsp), %rdx
movq %r15, %rdi
callq 0x21a0
movq %rax, %r15
movl $0x9, %edx
movq %rax, %rdi
leaq 0x1946d(%rip), %rsi     # 0x1c0a2
callq 0x21a0
leaq 0x28(%r13), %rsi
leaq 0x58(%rsp), %rdi
callq 0x4978
movq 0x58(%rsp), %rsi
movq 0x60(%rsp), %rdx
movq %r15, %rdi
callq 0x21a0
movq %rax, %r15
movl $0x3, %edx
movq %rax, %rdi
leaq 0x19440(%rip), %rsi     # 0x1c0ac
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 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x2cac
callq 0x2150
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x2cc3
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x2cd7
callq 0x2150
movq %rbp, %rdi
movq 0x252cf(%rip), %rsi     # 0x27fb0
callq 0x2110
movq 0x10(%rsp), %rdi
callq 0x2070
movq %r13, %rdi
callq 0x21b0
movq %rax, %r13
cmpq %r12, %rax
jne 0x2b60
jmp 0x2d9d
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x193ae(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq %rbp, %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 0x19357(%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 0x2d9d
callq 0x2150
leaq 0x220(%rsp), %r15
movq %r15, %rdi
movq 0x25201(%rip), %rsi     # 0x27fb0
callq 0x2110
movq 0x20(%rsp), %rdi
callq 0x2070
movq 0x8(%rsp), %rdi
callq 0x21b0
movq %rax, 0x8(%rsp)
cmpq 0x50(%rsp), %rax
jne 0x2ad7
cmpb $0x0, 0x1c(%rsp)
je 0x2ffa
leaq 0x220(%rsp), %r14
movq %r14, %rdi
movq 0x28(%rsp), %rsi
callq 0x4ae0
movq 0xa8(%r14), %r14
leaq 0x2b8(%rsp), %rax
cmpq %rax, %r14
je 0x2fd3
xorl %r13d, %r13d
leaq 0x98(%rsp), %r12
leaq 0x1928c(%rip), %r15     # 0x1c0ae
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x19295(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movl $0x10, %edx
movq %rbx, %rdi
leaq 0x1926b(%rip), %rsi     # 0x1c0b0
callq 0x21a0
movq %rbx, %rdi
movl %r13d, %esi
callq 0x2240
movq %rax, %rbp
movl $0x3, %edx
movq %rax, %rdi
leaq 0x1925a(%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 0x2f5b
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x19207(%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 0x2eaf
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x1915c(%rip), %rsi     # 0x1c0c6
callq 0x21a0
movq 0x10(%rsp), %r14
movl 0x8(%rsp), %r13d
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x1a2d3(%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 0x2e22
leaq 0x2b0(%rsp), %rdi
callq 0x5ad0
leaq 0x280(%rsp), %rdi
callq 0x5b24
leaq 0x230(%rsp), %rdi
callq 0x5b6e
leaq 0x1a25a(%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 0x307d
jmp 0x307d
jmp 0x307d
movq %rax, %rbx
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x3109
callq 0x2150
jmp 0x3109
jmp 0x307d
jmp 0x308f
jmp 0x308a
jmp 0x3085
jmp 0x30a4
movq %rax, %rbx
jmp 0x3109
movq %rax, %rbx
jmp 0x30c0
movq %rax, %rbx
jmp 0x30d7
movq %rax, %rbx
leaq 0x220(%rsp), %rdi
callq 0x4bfe
jmp 0x3127
movq %rax, %rbx
jmp 0x30eb
movq %rax, %rbx
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x30c0
callq 0x2150
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x30d7
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x30eb
callq 0x2150
movq 0x24ebe(%rip), %rsi     # 0x27fb0
leaq 0x98(%rsp), %rdi
callq 0x2110
movq 0x10(%rsp), %rdi
callq 0x2070
movq 0x24ea0(%rip), %rsi     # 0x27fb0
leaq 0x220(%rsp), %rdi
callq 0x2110
movq 0x20(%rsp), %rdi
callq 0x2070
movq %rbx, %rdi
callq 0x2250
nop