// File: /workspace/github_cpp_makefile_star2_O3/grame-cncm[P]digraph/mtests.cpp
// Function: mtest1[abi:cxx11]()
std::string mtest1()
{
    digraph<char, multidep> g;
    g.add('A', 'B', mdep("M"))
        .add('B', 'C', mdep("M"))
        .add('C', 'A', mdep("M"))
        .add('D', 'B', mdep("M"))
        .add('D', 'C', mdep("M"))
        .add('D', 'E', mdep("M"))
        .add('E', 'D', mdep("M"))
        .add('E', 'F', mdep("M"))
        .add('F', 'G', mdep("M"))
        .add('G', 'F', mdep("M"))
        .add('H', 'G', mdep("M"))
        .add('H', 'E', mdep("M"))
        .add('H', 'H', mdep("M"));

    std::stringstream ss;
    ss << "Tarjan partition of g = ";
    Tarjan<char, multidep> tarj(g);
    for (const auto& cycle : tarj.partition()) {
        ss << "group{ ";
        for (const auto& n : cycle) {
            ss << n << " ";
        }
        ss << "} ";
    }
    return ss.str();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x6f8, %rsp            # imm = 0x6F8
movq %rdi, 0x8(%rsp)
leaq 0x30(%rsp), %rdi
callq 0x270c
movb $0x41, 0x2f(%rsp)
movb $0x42, 0x2e(%rsp)
leaq 0x470(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x14e30(%rip), %rsi     # 0x1c020
leaq 0x14e2a(%rip), %rdx     # 0x1c021
leaq 0x460(%rsp), %rdi
callq 0x3130
leaq 0x250(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x460(%rsp), %rsi
movq 0x468(%rsp), %rdx
addq %rsi, %rdx
leaq 0x240(%rsp), %rdi
callq 0x343a
leaq 0x240(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x4a8(%rsp), %rdi
leaq 0x278(%rsp), %rcx
leaq 0x208(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x570(%rsp), %rdi
leaq 0x4a8(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x5a0(%rsp)
leaq 0x4a8(%rsp), %rdi
callq 0x34f0
movq 0x240(%rsp), %rdi
cmpq %rbx, %rdi
je 0x72a0
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x2f(%rsp), %rsi
leaq 0x2e(%rsp), %rdx
leaq 0x570(%rsp), %rcx
callq 0x397e
movb $0x42, 0x2d(%rsp)
movb $0x43, 0x2c(%rsp)
leaq 0x3a0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x14d47(%rip), %rsi     # 0x1c020
leaq 0x14d41(%rip), %rdx     # 0x1c021
leaq 0x390(%rsp), %rdi
callq 0x3130
leaq 0x288(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x390(%rsp), %rsi
movq 0x398(%rsp), %rdx
addq %rsi, %rdx
leaq 0x278(%rsp), %rdi
callq 0x343a
leaq 0x278(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x240(%rsp), %rdi
leaq 0x208(%rsp), %rcx
leaq 0x1d0(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x4a8(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x4d8(%rsp)
leaq 0x240(%rsp), %rdi
callq 0x34f0
movq 0x278(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7389
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x2d(%rsp), %rsi
leaq 0x2c(%rsp), %rdx
leaq 0x4a8(%rsp), %rcx
callq 0x397e
movb $0x43, 0x2b(%rsp)
movb $0x41, 0x2a(%rsp)
leaq 0x380(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x14c5e(%rip), %rsi     # 0x1c020
leaq 0x14c58(%rip), %rdx     # 0x1c021
leaq 0x370(%rsp), %rdi
callq 0x3130
leaq 0x218(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x370(%rsp), %rsi
movq 0x378(%rsp), %rdx
addq %rsi, %rdx
leaq 0x208(%rsp), %rdi
callq 0x343a
leaq 0x208(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x278(%rsp), %rdi
leaq 0x1d0(%rsp), %rcx
leaq 0x198(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x240(%rsp), %rdi
leaq 0x278(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x270(%rsp)
leaq 0x278(%rsp), %rdi
callq 0x34f0
movq 0x208(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7472
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x2b(%rsp), %rsi
leaq 0x2a(%rsp), %rdx
leaq 0x240(%rsp), %rcx
callq 0x397e
movb $0x44, 0x29(%rsp)
movb $0x42, 0x28(%rsp)
leaq 0x360(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x14b75(%rip), %rsi     # 0x1c020
leaq 0x14b6f(%rip), %rdx     # 0x1c021
leaq 0x350(%rsp), %rdi
callq 0x3130
leaq 0x1e0(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x350(%rsp), %rsi
movq 0x358(%rsp), %rdx
addq %rsi, %rdx
leaq 0x1d0(%rsp), %rdi
callq 0x343a
leaq 0x1d0(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x208(%rsp), %rdi
leaq 0x198(%rsp), %rcx
leaq 0x160(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x278(%rsp), %rdi
leaq 0x208(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x2a8(%rsp)
leaq 0x208(%rsp), %rdi
callq 0x34f0
movq 0x1d0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x755b
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x29(%rsp), %rsi
leaq 0x28(%rsp), %rdx
leaq 0x278(%rsp), %rcx
callq 0x397e
movb $0x44, 0x27(%rsp)
movb $0x43, 0x26(%rsp)
leaq 0x340(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x14a8c(%rip), %rsi     # 0x1c020
leaq 0x14a86(%rip), %rdx     # 0x1c021
leaq 0x330(%rsp), %rdi
callq 0x3130
leaq 0x1a8(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x330(%rsp), %rsi
movq 0x338(%rsp), %rdx
addq %rsi, %rdx
leaq 0x198(%rsp), %rdi
callq 0x343a
leaq 0x198(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x1d0(%rsp), %rdi
leaq 0x160(%rsp), %rcx
leaq 0x128(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x208(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x238(%rsp)
leaq 0x1d0(%rsp), %rdi
callq 0x34f0
movq 0x198(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7644
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x27(%rsp), %rsi
leaq 0x26(%rsp), %rdx
leaq 0x208(%rsp), %rcx
callq 0x397e
movb $0x44, 0x25(%rsp)
movb $0x45, 0x24(%rsp)
leaq 0x320(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x149a3(%rip), %rsi     # 0x1c020
leaq 0x1499d(%rip), %rdx     # 0x1c021
leaq 0x310(%rsp), %rdi
callq 0x3130
leaq 0x170(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x310(%rsp), %rsi
movq 0x318(%rsp), %rdx
addq %rsi, %rdx
leaq 0x160(%rsp), %rdi
callq 0x343a
leaq 0x160(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x198(%rsp), %rdi
leaq 0x128(%rsp), %rcx
leaq 0xf0(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x1d0(%rsp), %rdi
leaq 0x198(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x200(%rsp)
leaq 0x198(%rsp), %rdi
callq 0x34f0
movq 0x160(%rsp), %rdi
cmpq %rbx, %rdi
je 0x772d
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x25(%rsp), %rsi
leaq 0x24(%rsp), %rdx
leaq 0x1d0(%rsp), %rcx
callq 0x397e
movb $0x45, 0x23(%rsp)
movb $0x44, 0x22(%rsp)
leaq 0x300(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x148ba(%rip), %rsi     # 0x1c020
leaq 0x148b4(%rip), %rdx     # 0x1c021
leaq 0x2f0(%rsp), %rdi
callq 0x3130
leaq 0x138(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x2f0(%rsp), %rsi
movq 0x2f8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x128(%rsp), %rdi
callq 0x343a
leaq 0x128(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x160(%rsp), %rdi
leaq 0xf0(%rsp), %rcx
leaq 0xb8(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x198(%rsp), %rdi
leaq 0x160(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x1c8(%rsp)
leaq 0x160(%rsp), %rdi
callq 0x34f0
movq 0x128(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7816
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x23(%rsp), %rsi
leaq 0x22(%rsp), %rdx
leaq 0x198(%rsp), %rcx
callq 0x397e
movb $0x45, 0x21(%rsp)
movb $0x46, 0x20(%rsp)
leaq 0x2e0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x147d1(%rip), %rsi     # 0x1c020
leaq 0x147cb(%rip), %rdx     # 0x1c021
leaq 0x2d0(%rsp), %rdi
callq 0x3130
leaq 0x100(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x2d0(%rsp), %rsi
movq 0x2d8(%rsp), %rdx
addq %rsi, %rdx
leaq 0xf0(%rsp), %rdi
callq 0x343a
leaq 0xf0(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x128(%rsp), %rdi
leaq 0xb8(%rsp), %rcx
leaq 0x80(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x160(%rsp), %rdi
leaq 0x128(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x190(%rsp)
leaq 0x128(%rsp), %rdi
callq 0x34f0
movq 0xf0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x78ff
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x21(%rsp), %rsi
leaq 0x20(%rsp), %rdx
leaq 0x160(%rsp), %rcx
callq 0x397e
movb $0x46, 0x1f(%rsp)
movb $0x47, 0x1e(%rsp)
leaq 0x2c0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x146e8(%rip), %rsi     # 0x1c020
leaq 0x146e2(%rip), %rdx     # 0x1c021
leaq 0x2b0(%rsp), %rdi
callq 0x3130
leaq 0xc8(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x2b0(%rsp), %rsi
movq 0x2b8(%rsp), %rdx
addq %rsi, %rdx
leaq 0xb8(%rsp), %rdi
callq 0x343a
leaq 0xb8(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0xf0(%rsp), %rdi
leaq 0x80(%rsp), %rcx
leaq 0x48(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x128(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x158(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0x34f0
movq 0xb8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x79e5
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x1f(%rsp), %rsi
leaq 0x1e(%rsp), %rdx
leaq 0x128(%rsp), %rcx
callq 0x397e
movb $0x47, 0x1d(%rsp)
movb $0x46, 0x1c(%rsp)
leaq 0x450(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x14602(%rip), %rsi     # 0x1c020
leaq 0x145fc(%rip), %rdx     # 0x1c021
leaq 0x440(%rsp), %rdi
callq 0x3130
leaq 0x90(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x440(%rsp), %rsi
movq 0x448(%rsp), %rdx
addq %rsi, %rdx
leaq 0x80(%rsp), %rdi
callq 0x343a
leaq 0x80(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0xb8(%rsp), %rdi
leaq 0x48(%rsp), %rcx
leaq 0x3b0(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0xf0(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x120(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0x34f0
movq 0x80(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7acb
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x1d(%rsp), %rsi
leaq 0x1c(%rsp), %rdx
leaq 0xf0(%rsp), %rcx
callq 0x397e
movb $0x48, 0x1b(%rsp)
movb $0x47, 0x1a(%rsp)
leaq 0x430(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1451c(%rip), %rsi     # 0x1c020
leaq 0x14516(%rip), %rdx     # 0x1c021
leaq 0x420(%rsp), %rdi
callq 0x3130
leaq 0x58(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq 0x420(%rsp), %rsi
movq 0x428(%rsp), %rdx
addq %rsi, %rdx
leaq 0x48(%rsp), %rdi
callq 0x343a
leaq 0x48(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x80(%rsp), %rdi
leaq 0x3b0(%rsp), %rcx
leaq 0x480(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0xb8(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x31d0
movl $0x0, 0xe8(%rsp)
leaq 0x80(%rsp), %rdi
callq 0x34f0
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7ba8
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x1b(%rsp), %rsi
leaq 0x1a(%rsp), %rdx
leaq 0xb8(%rsp), %rcx
callq 0x397e
movb $0x48, 0x19(%rsp)
movb $0x45, 0x18(%rsp)
leaq 0x410(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1443f(%rip), %rsi     # 0x1c020
leaq 0x14439(%rip), %rdx     # 0x1c021
leaq 0x400(%rsp), %rdi
callq 0x3130
leaq 0x3c0(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x400(%rsp), %rsi
movq 0x408(%rsp), %rdx
addq %rsi, %rdx
leaq 0x3b0(%rsp), %rdi
callq 0x343a
leaq 0x3b0(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x48(%rsp), %rdi
leaq 0x480(%rsp), %rcx
leaq 0x3e0(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x80(%rsp), %rdi
leaq 0x48(%rsp), %rsi
callq 0x31d0
movl $0x0, 0xb0(%rsp)
leaq 0x48(%rsp), %rdi
callq 0x34f0
movq 0x3b0(%rsp), %rdi
cmpq %r14, %rdi
je 0x7c88
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x19(%rsp), %rsi
leaq 0x18(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x397e
movb $0x48, %al
movb %al, 0x17(%rsp)
movb %al, 0x16(%rsp)
leaq 0x3f0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1435f(%rip), %rsi     # 0x1c020
leaq 0x14359(%rip), %rdx     # 0x1c021
leaq 0x3e0(%rsp), %rdi
callq 0x3130
leaq 0x490(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x3e0(%rsp), %rsi
movq 0x3e8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x480(%rsp), %rdi
callq 0x343a
leaq 0x480(%rsp), %rsi
movl $0x0, 0x20(%rsi)
leaq 0x3b0(%rsp), %rdi
leaq 0x47(%rsp), %rcx
leaq 0x46(%rsp), %r8
movl $0x1, %edx
callq 0x275e
leaq 0x48(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
callq 0x31d0
movl $0x0, 0x78(%rsp)
leaq 0x3b0(%rsp), %rdi
callq 0x34f0
movq 0x480(%rsp), %rdi
cmpq %r15, %rdi
je 0x7d65
callq 0x2150
movq 0x30(%rsp), %rdi
leaq 0x17(%rsp), %rsi
leaq 0x16(%rsp), %rdx
leaq 0x48(%rsp), %rcx
callq 0x397e
leaq 0x48(%rsp), %rdi
callq 0x34f0
movq 0x3e0(%rsp), %rdi
cmpq %r14, %rdi
je 0x7d9a
callq 0x2150
leaq 0x80(%rsp), %rdi
callq 0x34f0
movq 0x400(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7db9
callq 0x2150
leaq 0xb8(%rsp), %rdi
callq 0x34f0
movq 0x420(%rsp), %rdi
cmpq %r13, %rdi
je 0x7dd8
callq 0x2150
leaq 0xf0(%rsp), %rdi
callq 0x34f0
movq 0x440(%rsp), %rdi
cmpq %rbp, %rdi
leaq 0x3a0(%rsp), %rbx
leaq 0x380(%rsp), %r14
leaq 0x360(%rsp), %r15
leaq 0x320(%rsp), %rbp
je 0x7e17
callq 0x2150
leaq 0x128(%rsp), %rdi
callq 0x34f0
movq 0x2b0(%rsp), %rdi
leaq 0x2c0(%rsp), %rax
cmpq %rax, %rdi
je 0x7e3e
callq 0x2150
leaq 0x160(%rsp), %rdi
callq 0x34f0
movq 0x2d0(%rsp), %rdi
leaq 0x2e0(%rsp), %rax
cmpq %rax, %rdi
je 0x7e65
callq 0x2150
leaq 0x198(%rsp), %rdi
callq 0x34f0
movq 0x2f0(%rsp), %rdi
leaq 0x300(%rsp), %rax
cmpq %rax, %rdi
je 0x7e8c
callq 0x2150
leaq 0x1d0(%rsp), %rdi
callq 0x34f0
movq 0x310(%rsp), %rdi
cmpq %rbp, %rdi
je 0x7eab
callq 0x2150
leaq 0x208(%rsp), %rdi
callq 0x34f0
movq 0x330(%rsp), %rdi
leaq 0x340(%rsp), %rax
cmpq %rax, %rdi
je 0x7ed2
callq 0x2150
leaq 0x278(%rsp), %rdi
callq 0x34f0
movq 0x350(%rsp), %rdi
cmpq %r15, %rdi
je 0x7ef1
callq 0x2150
leaq 0x240(%rsp), %rdi
callq 0x34f0
movq 0x370(%rsp), %rdi
cmpq %r14, %rdi
je 0x7f10
callq 0x2150
leaq 0x4a8(%rsp), %rdi
callq 0x34f0
movq 0x390(%rsp), %rdi
cmpq %rbx, %rdi
je 0x7f2f
callq 0x2150
leaq 0x570(%rsp), %rdi
callq 0x34f0
movq 0x460(%rsp), %rdi
cmpq %r12, %rdi
je 0x7f4e
callq 0x2150
leaq 0x570(%rsp), %rdi
callq 0x20f0
leaq 0x580(%rsp), %r14
leaq 0x1453f(%rip), %rsi     # 0x1c4a9
movl $0x18, %edx
movq %r14, %rdi
callq 0x21a0
leaq 0x4a8(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x4ae0
leaq 0x540(%rsp), %rax
movq 0x10(%rax), %r15
cmpq %rax, %r15
je 0x803a
leaq 0x240(%rsp), %rbp
leaq 0x15ae6(%rip), %rbx     # 0x1da93
movl $0x7, %edx
movq %r14, %rdi
leaq 0x14506(%rip), %rsi     # 0x1c4c2
callq 0x21a0
movq 0x38(%r15), %r12
leaq 0x28(%r15), %r13
cmpq %r13, %r12
je 0x800a
movb 0x20(%r12), %al
movb %al, 0x240(%rsp)
movl $0x1, %edx
movq %r14, %rdi
movq %rbp, %rsi
callq 0x21a0
movl $0x1, %edx
movq %rax, %rdi
movq %rbx, %rsi
callq 0x21a0
movq %r12, %rdi
callq 0x21b0
movq %rax, %r12
cmpq %r13, %rax
jne 0x7fce
movl $0x2, %edx
movq %r14, %rdi
leaq 0x144fb(%rip), %rsi     # 0x1c514
callq 0x21a0
movq %r15, %rdi
callq 0x21b0
movq %rax, %r15
leaq 0x540(%rsp), %rax
cmpq %rax, %r15
jne 0x7fad
leaq 0x588(%rsp), %rsi
movq 0x8(%rsp), %rdi
callq 0x2210
leaq 0x538(%rsp), %rdi
callq 0x5ad0
leaq 0x508(%rsp), %rdi
callq 0x5b24
leaq 0x4b8(%rsp), %rdi
callq 0x5b6e
movq 0x1ff36(%rip), %rsi     # 0x27fb0
leaq 0x570(%rsp), %rdi
callq 0x2110
leaq 0x5f0(%rsp), %rdi
callq 0x2070
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x80a3
callq 0x3504
movq 0x8(%rsp), %rax
addq $0x6f8, %rsp            # imm = 0x6F8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x8645
jmp 0x80c1
movq %rax, %rbx
jmp 0x8655
movq %rax, %rbx
jmp 0x8676
movq %rax, 0x8(%rsp)
leaq 0x48(%rsp), %rdi
callq 0x34f0
jmp 0x8114
movq %rax, 0x8(%rsp)
leaq 0x3b0(%rsp), %rdi
callq 0x34f0
jmp 0x80fb
movq %rax, 0x8(%rsp)
movq 0x480(%rsp), %rdi
cmpq %r15, %rdi
je 0x8114
callq 0x2150
jmp 0x8114
movq %rax, 0x8(%rsp)
movq 0x3e0(%rsp), %rdi
cmpq %r14, %rdi
je 0x812f
callq 0x2150
jmp 0x812f
jmp 0x812a
movq %rax, 0x8(%rsp)
leaq 0x80(%rsp), %rdi
callq 0x34f0
movq 0x400(%rsp), %rdi
cmpq %rbx, %rdi
je 0x8188
callq 0x2150
jmp 0x8188
movq %rax, 0x8(%rsp)
leaq 0x48(%rsp), %rdi
callq 0x34f0
jmp 0x8166
movq %rax, 0x8(%rsp)
movq 0x3b0(%rsp), %rdi
cmpq %r14, %rdi
je 0x813c
callq 0x2150
jmp 0x813c
movq %rax, 0x8(%rsp)
jmp 0x813c
jmp 0x8183
movq %rax, 0x8(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0x34f0
movq 0x420(%rsp), %rdi
cmpq %r13, %rdi
je 0x81e1
callq 0x2150
jmp 0x81e1
movq %rax, 0x8(%rsp)
leaq 0x80(%rsp), %rdi
callq 0x34f0
jmp 0x81c2
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rdi
cmpq %rbx, %rdi
je 0x8195
callq 0x2150
jmp 0x8195
movq %rax, 0x8(%rsp)
jmp 0x8195
jmp 0x81dc
movq %rax, 0x8(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0x34f0
movq 0x440(%rsp), %rdi
cmpq %rbp, %rdi
je 0x8200
callq 0x2150
leaq 0x128(%rsp), %rdi
callq 0x34f0
movq 0x2b0(%rsp), %rdi
leaq 0x2c0(%rsp), %rax
cmpq %rax, %rdi
je 0x8227
callq 0x2150
leaq 0x160(%rsp), %rdi
callq 0x34f0
movq 0x2d0(%rsp), %rdi
leaq 0x2e0(%rsp), %rax
cmpq %rax, %rdi
je 0x824e
callq 0x2150
leaq 0x198(%rsp), %rdi
callq 0x34f0
movq 0x2f0(%rsp), %rdi
leaq 0x300(%rsp), %rax
cmpq %rax, %rdi
je 0x8275
callq 0x2150
leaq 0x1d0(%rsp), %rdi
callq 0x34f0
movq 0x310(%rsp), %rdi
leaq 0x320(%rsp), %rax
cmpq %rax, %rdi
je 0x829c
callq 0x2150
leaq 0x208(%rsp), %rdi
callq 0x34f0
movq 0x330(%rsp), %rdi
leaq 0x340(%rsp), %rax
cmpq %rax, %rdi
je 0x82c3
callq 0x2150
leaq 0x278(%rsp), %rdi
callq 0x34f0
movq 0x350(%rsp), %rdi
leaq 0x360(%rsp), %rax
cmpq %rax, %rdi
je 0x82ea
callq 0x2150
leaq 0x240(%rsp), %rdi
callq 0x34f0
movq 0x370(%rsp), %rdi
leaq 0x380(%rsp), %rax
cmpq %rax, %rdi
je 0x8311
callq 0x2150
leaq 0x4a8(%rsp), %rdi
callq 0x34f0
movq 0x390(%rsp), %rdi
leaq 0x3a0(%rsp), %rax
cmpq %rax, %rdi
je 0x8338
callq 0x2150
leaq 0x570(%rsp), %rdi
callq 0x34f0
movq 0x460(%rsp), %rdi
cmpq %r12, %rdi
je 0x8357
callq 0x2150
movq 0x8(%rsp), %rbx
jmp 0x8676
movq %rax, 0x8(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0x34f0
jmp 0x837a
movq %rax, 0x8(%rsp)
movq 0x80(%rsp), %rdi
cmpq %rbx, %rdi
je 0x81ee
callq 0x2150
jmp 0x81ee
movq %rax, 0x8(%rsp)
jmp 0x81ee
jmp 0x83a1
movq %rax, 0x8(%rsp)
jmp 0x8200
movq %rax, 0x8(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0x34f0
jmp 0x83c4
movq %rax, 0x8(%rsp)
movq 0xb8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x820d
callq 0x2150
jmp 0x820d
movq %rax, 0x8(%rsp)
jmp 0x820d
jmp 0x83eb
movq %rax, 0x8(%rsp)
jmp 0x8227
movq %rax, 0x8(%rsp)
leaq 0x128(%rsp), %rdi
callq 0x34f0
jmp 0x840e
movq %rax, 0x8(%rsp)
movq 0xf0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x8234
callq 0x2150
jmp 0x8234
movq %rax, 0x8(%rsp)
jmp 0x8234
jmp 0x8435
movq %rax, 0x8(%rsp)
jmp 0x824e
movq %rax, 0x8(%rsp)
leaq 0x160(%rsp), %rdi
callq 0x34f0
jmp 0x8458
movq %rax, 0x8(%rsp)
movq 0x128(%rsp), %rdi
cmpq %rbx, %rdi
je 0x825b
callq 0x2150
jmp 0x825b
movq %rax, 0x8(%rsp)
jmp 0x825b
jmp 0x847f
movq %rax, 0x8(%rsp)
jmp 0x8275
movq %rax, 0x8(%rsp)
leaq 0x198(%rsp), %rdi
callq 0x34f0
jmp 0x84a2
movq %rax, 0x8(%rsp)
movq 0x160(%rsp), %rdi
cmpq %rbx, %rdi
je 0x8282
callq 0x2150
jmp 0x8282
movq %rax, 0x8(%rsp)
jmp 0x8282
jmp 0x84c9
movq %rax, 0x8(%rsp)
jmp 0x829c
movq %rax, 0x8(%rsp)
leaq 0x1d0(%rsp), %rdi
callq 0x34f0
jmp 0x84ec
movq %rax, 0x8(%rsp)
movq 0x198(%rsp), %rdi
cmpq %rbx, %rdi
je 0x82a9
callq 0x2150
jmp 0x82a9
movq %rax, 0x8(%rsp)
jmp 0x82a9
jmp 0x8513
movq %rax, 0x8(%rsp)
jmp 0x82c3
movq %rax, 0x8(%rsp)
leaq 0x208(%rsp), %rdi
callq 0x34f0
jmp 0x8536
movq %rax, 0x8(%rsp)
movq 0x1d0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x82d0
callq 0x2150
jmp 0x82d0
movq %rax, 0x8(%rsp)
jmp 0x82d0
jmp 0x855d
movq %rax, 0x8(%rsp)
jmp 0x82ea
movq %rax, 0x8(%rsp)
leaq 0x278(%rsp), %rdi
callq 0x34f0
jmp 0x8580
movq %rax, 0x8(%rsp)
movq 0x208(%rsp), %rdi
cmpq %rbx, %rdi
je 0x82f7
callq 0x2150
jmp 0x82f7
movq %rax, 0x8(%rsp)
jmp 0x82f7
jmp 0x85a7
movq %rax, 0x8(%rsp)
jmp 0x8311
movq %rax, 0x8(%rsp)
leaq 0x240(%rsp), %rdi
callq 0x34f0
jmp 0x85ca
movq %rax, 0x8(%rsp)
movq 0x278(%rsp), %rdi
cmpq %rbx, %rdi
je 0x831e
callq 0x2150
jmp 0x831e
movq %rax, 0x8(%rsp)
jmp 0x831e
jmp 0x85f1
movq %rax, 0x8(%rsp)
jmp 0x8338
movq %rax, 0x8(%rsp)
leaq 0x4a8(%rsp), %rdi
callq 0x34f0
jmp 0x8614
movq %rax, 0x8(%rsp)
movq 0x240(%rsp), %rdi
cmpq %rbx, %rdi
je 0x8345
callq 0x2150
jmp 0x8345
movq %rax, 0x8(%rsp)
jmp 0x8345
movq %rax, 0x8(%rsp)
jmp 0x8357
jmp 0x8645
movq %rax, %rbx
leaq 0x4a8(%rsp), %rdi
callq 0x4bfe
movq 0x1f954(%rip), %rsi     # 0x27fb0
leaq 0x570(%rsp), %rdi
callq 0x2110
leaq 0x5f0(%rsp), %rdi
callq 0x2070
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x8685
callq 0x3504
movq %rbx, %rdi
callq 0x2250