// File: travisdowns[P]avx-turbo/./args.hxx
// Function: args::ArgumentParser::Help(std::ostream&) const
void Help(std::ostream &help_) const
            {
                bool hasoptions = false;
                bool hasarguments = false;

                const auto description_text = Wrap(this->description, helpParams.width - helpParams.descriptionindent);
                const auto epilog_text = Wrap(this->epilog, helpParams.width - helpParams.descriptionindent);
                std::ostringstream prognameline;
                prognameline << prog;
                if (HasFlag())
                {
                    hasoptions = true;
                    if (helpParams.showProglineOptions)
                    {
                        prognameline << " {OPTIONS}";
                    }
                }
                for (const std::string &posname: GetPosNames())
                {
                    hasarguments = true;
                    if (helpParams.showProglinePositionals)
                    {
                        prognameline << " [" << posname << ']';
                    }
                }
                if (!proglinePostfix.empty())
                {
                    prognameline << ' ' << proglinePostfix;
                }
                const auto proglines = Wrap(prognameline.str(), helpParams.width - (helpParams.progindent + 4), helpParams.width - helpParams.progindent);
                auto progit = std::begin(proglines);
                if (progit != std::end(proglines))
                {
                    help_ << std::string(helpParams.progindent, ' ') << *progit << '\n';
                    ++progit;
                }
                for (; progit != std::end(proglines); ++progit)
                {
                    help_ << std::string(helpParams.progtailindent, ' ') << *progit << '\n';
                }

                help_ << '\n';

                for (const auto &line: description_text)
                {
                    help_ << std::string(helpParams.descriptionindent, ' ') << line << "\n";
                }
                help_ << "\n";
                help_ << std::string(helpParams.progindent, ' ') << "OPTIONS:\n\n";
                for (const auto &desc: GetChildDescriptions(shortprefix, longprefix, allowJoinedShortValue ? "" : " ", allowJoinedLongValue ? longseparator : " "))
                {
                    const auto groupindent = std::get<2>(desc) * helpParams.eachgroupindent;
                    const auto flags = Wrap(std::get<0>(desc), helpParams.width - (helpParams.flagindent + helpParams.helpindent + helpParams.gutter));
                    const auto info = Wrap(std::get<1>(desc), helpParams.width - (helpParams.helpindent + groupindent));

                    std::string::size_type flagssize = 0;
                    for (auto flagsit = std::begin(flags); flagsit != std::end(flags); ++flagsit)
                    {
                        if (flagsit != std::begin(flags))
                        {
                            help_ << '\n';
                        }
                        help_ << std::string(groupindent + helpParams.flagindent, ' ') << *flagsit;
                        flagssize = Glyphs(*flagsit);
                    }

                    auto infoit = std::begin(info);
                    // groupindent is on both sides of this inequality, and therefore can be removed
                    if ((helpParams.flagindent + flagssize + helpParams.gutter) > helpParams.helpindent || infoit == std::end(info))
                    {
                        help_ << '\n';
                    } else
                    {
                        // groupindent is on both sides of the minus sign, and therefore doesn't actually need to be in here
                        help_ << std::string(helpParams.helpindent - (helpParams.flagindent + flagssize), ' ') << *infoit << '\n';
                        ++infoit;
                    }
                    for (; infoit != std::end(info); ++infoit)
                    {
                        help_ << std::string(groupindent + helpParams.helpindent, ' ') << *infoit << '\n';
                    }
                }
                if (hasoptions && hasarguments && helpParams.showTerminator)
                {
                    for (const auto &item: Wrap(std::string("\"") + terminator + "\" can be used to terminate flag options and force all following arguments to be treated as positional options", helpParams.width - helpParams.flagindent))
                    {
                        help_ << std::string(helpParams.flagindent, ' ') << item << '\n';
                    }
                }

                help_ << "\n";
                for (const auto &line: epilog_text)
                {
                    help_ << std::string(helpParams.descriptionindent, ' ') << line << "\n";
                }
            }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x770, %rsp            # imm = 0x770
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rcx
movq %rcx, -0x5a8(%rbp)
movb $0x0, -0x11(%rbp)
movb $0x0, -0x12(%rbp)
movq %rcx, %rsi
addq $0xa8, %rsi
movl 0x16c(%rcx), %eax
movl 0x178(%rcx), %ecx
subl %ecx, %eax
movl %eax, %edx
xorl %eax, %eax
movl %eax, %ecx
movq %rcx, -0x5a0(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x26920
movq -0x5a8(%rbp), %rdx
movq -0x5a0(%rbp), %rcx
movq %rdx, %rsi
addq $0xc8, %rsi
movl 0x16c(%rdx), %eax
movl 0x178(%rdx), %edx
subl %edx, %eax
movl %eax, %edx
leaq -0x48(%rbp), %rdi
callq 0x26920
jmp 0x254f7
leaq -0x1d0(%rbp), %rdi
callq 0x7610
jmp 0x25505
movq -0x5a8(%rbp), %rsi
addq $0x68, %rsi
leaq -0x1d0(%rbp), %rdi
callq 0x73f0
jmp 0x2551e
movq -0x5a8(%rbp), %rdi
callq 0x26f20
movb %al, -0x5a9(%rbp)
jmp 0x25532
movb -0x5a9(%rbp), %al
testb $0x1, %al
jne 0x2553e
jmp 0x2559e
movq -0x5a8(%rbp), %rax
movb $0x1, -0x11(%rbp)
testb $0x1, 0x18d(%rax)
je 0x2559c
leaq 0x1c234(%rip), %rsi     # 0x4178d
leaq -0x1d0(%rbp), %rdi
callq 0x7470
jmp 0x25567
jmp 0x2559c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x2690a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26901
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x268f5
jmp 0x2559e
movq -0x5a8(%rbp), %rsi
leaq -0x1f0(%rbp), %rdi
callq 0x27040
jmp 0x255b3
leaq -0x1f0(%rbp), %rax
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rdi
callq 0x10f80
movq %rax, -0x1f8(%rbp)
movq -0x1d8(%rbp), %rdi
callq 0x10fb0
movq %rax, -0x200(%rbp)
leaq -0x1f8(%rbp), %rdi
leaq -0x200(%rbp), %rsi
callq 0x10fe0
testb $0x1, %al
jne 0x2560f
leaq -0x1f0(%rbp), %rdi
callq 0x110d0
jmp 0x256b6
leaq -0x1f8(%rbp), %rdi
callq 0x11020
movq %rax, %rcx
movq -0x5a8(%rbp), %rax
movq %rcx, -0x208(%rbp)
movb $0x1, -0x12(%rbp)
testb $0x1, 0x18e(%rax)
je 0x256a3
leaq 0x1c158(%rip), %rsi     # 0x41798
leaq -0x1d0(%rbp), %rdi
callq 0x7470
movq %rax, -0x5b8(%rbp)
jmp 0x25655
movq -0x5b8(%rbp), %rdi
movq -0x208(%rbp), %rsi
callq 0x73f0
movq %rax, -0x5c0(%rbp)
jmp 0x25671
movq -0x5c0(%rbp), %rdi
movl $0x5d, %esi
callq 0x7520
jmp 0x25684
jmp 0x256a3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x110d0
jmp 0x268f5
jmp 0x256a5
leaq -0x1f8(%rbp), %rdi
callq 0x110b0
jmp 0x255e7
movq -0x5a8(%rbp), %rdi
addq $0x88, %rdi
callq 0x7760
testb $0x1, %al
jne 0x25705
leaq -0x1d0(%rbp), %rdi
movl $0x20, %esi
callq 0x7520
movq %rax, -0x5c8(%rbp)
jmp 0x256e7
movq -0x5c8(%rbp), %rdi
movq -0x5a8(%rbp), %rsi
addq $0x88, %rsi
callq 0x73f0
jmp 0x25703
jmp 0x25705
leaq -0x240(%rbp), %rdi
leaq -0x1d0(%rbp), %rsi
callq 0x7490
jmp 0x2571a
movq -0x5a8(%rbp), %rcx
movl 0x16c(%rcx), %eax
movl 0x170(%rcx), %ecx
subl %ecx, %eax
movl %eax, %ecx
addl $-0x4, %ecx
movl %ecx, %edx
movl %eax, %ecx
leaq -0x220(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x26920
jmp 0x2574d
leaq -0x240(%rbp), %rdi
callq 0x7290
leaq -0x220(%rbp), %rdi
callq 0x1adb0
movq %rax, -0x248(%rbp)
leaq -0x220(%rbp), %rdi
callq 0x1ae20
movq %rax, -0x250(%rbp)
leaq -0x248(%rbp), %rdi
leaq -0x250(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x2579b
jmp 0x258bb
movq -0x5a8(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, -0x5e0(%rbp)
movl 0x170(%rax), %eax
movq %rax, -0x5d8(%rbp)
leaq -0x271(%rbp), %rdi
movq %rdi, -0x5d0(%rbp)
callq 0x77c0
movq -0x5d8(%rbp), %rsi
movq -0x5d0(%rbp), %rcx
leaq -0x270(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x257ee
movq -0x5e0(%rbp), %rdi
leaq -0x270(%rbp), %rsi
callq 0x73f0
movq %rax, -0x5e8(%rbp)
jmp 0x2580a
leaq -0x248(%rbp), %rdi
callq 0x1ae50
movq -0x5e8(%rbp), %rdi
movq %rax, %rsi
callq 0x73f0
movq %rax, -0x5f0(%rbp)
jmp 0x2582e
movq -0x5f0(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x25841
leaq -0x270(%rbp), %rdi
callq 0x7290
leaq -0x271(%rbp), %rdi
callq 0x74d0
leaq -0x248(%rbp), %rdi
callq 0x1ae70
jmp 0x258bb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x240(%rbp), %rdi
callq 0x7290
jmp 0x268f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x258aa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x270(%rbp), %rdi
callq 0x7290
leaq -0x271(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
jmp 0x258bd
leaq -0x220(%rbp), %rdi
callq 0x1ae20
movq %rax, -0x280(%rbp)
leaq -0x248(%rbp), %rdi
leaq -0x280(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x258ec
jmp 0x259f2
movq -0x5a8(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, -0x608(%rbp)
movl 0x174(%rax), %eax
movq %rax, -0x600(%rbp)
leaq -0x2a1(%rbp), %rdi
movq %rdi, -0x5f8(%rbp)
callq 0x77c0
movq -0x600(%rbp), %rsi
movq -0x5f8(%rbp), %rcx
leaq -0x2a0(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x2593f
movq -0x608(%rbp), %rdi
leaq -0x2a0(%rbp), %rsi
callq 0x73f0
movq %rax, -0x610(%rbp)
jmp 0x2595b
leaq -0x248(%rbp), %rdi
callq 0x1ae50
movq -0x610(%rbp), %rdi
movq %rax, %rsi
callq 0x73f0
movq %rax, -0x618(%rbp)
jmp 0x2597f
movq -0x618(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x25992
leaq -0x2a0(%rbp), %rdi
callq 0x7290
leaq -0x2a1(%rbp), %rdi
callq 0x74d0
leaq -0x248(%rbp), %rdi
callq 0x1ae70
jmp 0x258bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x259e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x2a0(%rbp), %rdi
callq 0x7290
leaq -0x2a1(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x25a02
leaq -0x30(%rbp), %rax
movq %rax, -0x2b0(%rbp)
movq -0x2b0(%rbp), %rdi
callq 0x1ae90
movq %rax, -0x2b8(%rbp)
movq -0x2b0(%rbp), %rdi
callq 0x1aef0
movq %rax, -0x2c0(%rbp)
leaq -0x2b8(%rbp), %rdi
leaq -0x2c0(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x25a4f
jmp 0x25b76
leaq -0x2b8(%rbp), %rdi
callq 0x1ae50
movq %rax, %rcx
movq -0x5a8(%rbp), %rax
movq %rcx, -0x2c8(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x630(%rbp)
movl 0x178(%rax), %eax
movq %rax, -0x628(%rbp)
leaq -0x2e9(%rbp), %rdi
movq %rdi, -0x620(%rbp)
callq 0x77c0
movq -0x628(%rbp), %rsi
movq -0x620(%rbp), %rcx
leaq -0x2e8(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x25ab8
movq -0x630(%rbp), %rdi
leaq -0x2e8(%rbp), %rsi
callq 0x73f0
movq %rax, -0x638(%rbp)
jmp 0x25ad4
movq -0x638(%rbp), %rdi
movq -0x2c8(%rbp), %rsi
callq 0x73f0
movq %rax, -0x640(%rbp)
jmp 0x25af0
movq -0x640(%rbp), %rdi
leaq 0x1bca6(%rip), %rsi     # 0x417a4
callq 0x7470
jmp 0x25b05
leaq -0x2e8(%rbp), %rdi
callq 0x7290
leaq -0x2e9(%rbp), %rdi
callq 0x74d0
leaq -0x2b8(%rbp), %rdi
callq 0x1ae70
jmp 0x25a33
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x268e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x25b65
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x2e8(%rbp), %rdi
callq 0x7290
leaq -0x2e9(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
movq -0x10(%rbp), %rdi
leaq 0x1bc23(%rip), %rsi     # 0x417a4
callq 0x7470
jmp 0x25b88
movq -0x5a8(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, -0x658(%rbp)
movl 0x170(%rax), %eax
movq %rax, -0x650(%rbp)
leaq -0x311(%rbp), %rdi
movq %rdi, -0x648(%rbp)
callq 0x77c0
movq -0x650(%rbp), %rsi
movq -0x648(%rbp), %rcx
leaq -0x310(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x25bdb
movq -0x658(%rbp), %rdi
leaq -0x310(%rbp), %rsi
callq 0x73f0
movq %rax, -0x660(%rbp)
jmp 0x25bf7
movq -0x660(%rbp), %rdi
leaq 0x1bb96(%rip), %rsi     # 0x4179b
callq 0x7470
jmp 0x25c0c
leaq -0x310(%rbp), %rdi
callq 0x7290
leaq -0x311(%rbp), %rdi
callq 0x74d0
movq -0x5a8(%rbp), %rax
movq %rax, %rcx
addq $0x108, %rcx            # imm = 0x108
movq %rcx, -0x680(%rbp)
movq %rax, %rcx
addq $0xe8, %rcx
movq %rcx, -0x678(%rbp)
movb 0x168(%rax), %dl
leaq 0x1bb4b(%rip), %rcx     # 0x417a5
leaq 0x1adee(%rip), %rax     # 0x40a4f
testb $0x1, %dl
cmovneq %rcx, %rax
movq %rax, -0x670(%rbp)
leaq -0x359(%rbp), %rdi
movq %rdi, -0x668(%rbp)
callq 0x77c0
movq -0x670(%rbp), %rsi
movq -0x668(%rbp), %rdx
leaq -0x358(%rbp), %rdi
callq 0x7630
jmp 0x25c9e
movq -0x5a8(%rbp), %rax
movb 0x169(%rax), %al
movb $0x0, -0x382(%rbp)
testb $0x1, %al
je 0x25cd4
movq -0x5a8(%rbp), %rsi
addq $0x128, %rsi            # imm = 0x128
leaq -0x380(%rbp), %rdi
callq 0x71b0
jmp 0x25cd2
jmp 0x25d0c
leaq -0x381(%rbp), %rdi
movq %rdi, -0x688(%rbp)
callq 0x77c0
movq -0x688(%rbp), %rdx
movb $0x1, -0x382(%rbp)
leaq 0x1ad53(%rip), %rsi     # 0x40a4f
leaq -0x380(%rbp), %rdi
callq 0x7630
jmp 0x25d0a
jmp 0x25d0c
movq -0x678(%rbp), %rcx
movq -0x680(%rbp), %rdx
movq -0x5a8(%rbp), %rsi
movq %rsp, %rax
movl $0x0, (%rax)
leaq -0x338(%rbp), %rdi
leaq -0x358(%rbp), %r8
leaq -0x380(%rbp), %r9
callq 0x27320
jmp 0x25d46
leaq -0x380(%rbp), %rdi
callq 0x7290
testb $0x1, -0x382(%rbp)
jne 0x25d5d
jmp 0x25d69
leaq -0x381(%rbp), %rdi
callq 0x74d0
leaq -0x358(%rbp), %rdi
callq 0x7290
leaq -0x359(%rbp), %rdi
callq 0x74d0
leaq -0x338(%rbp), %rax
movq %rax, -0x320(%rbp)
movq -0x320(%rbp), %rdi
callq 0x27720
movq %rax, -0x390(%rbp)
movq -0x320(%rbp), %rdi
callq 0x27750
movq %rax, -0x398(%rbp)
leaq -0x390(%rbp), %rdi
leaq -0x398(%rbp), %rsi
callq 0x27780
testb $0x1, %al
jne 0x25e90
leaq -0x338(%rbp), %rdi
callq 0x278f0
jmp 0x26465
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x25e07
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x310(%rbp), %rdi
callq 0x7290
leaq -0x311(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x25e7f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x25e73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x25e5a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x380(%rbp), %rdi
callq 0x7290
testb $0x1, -0x382(%rbp)
jne 0x25e65
jmp 0x25e71
leaq -0x381(%rbp), %rdi
callq 0x74d0
jmp 0x25e73
leaq -0x358(%rbp), %rdi
callq 0x7290
leaq -0x359(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
leaq -0x390(%rbp), %rdi
callq 0x277c0
movq %rax, -0x3a0(%rbp)
movq -0x3a0(%rbp), %rdi
callq 0x277e0
movq -0x5a8(%rbp), %rcx
movl (%rax), %eax
movl 0x184(%rcx), %ecx
imull %ecx, %eax
movl %eax, -0x3a4(%rbp)
movq -0x3a0(%rbp), %rdi
callq 0x27800
movq -0x5a8(%rbp), %rdx
movq %rax, %rsi
movl 0x16c(%rdx), %eax
movl 0x17c(%rdx), %ecx
movl 0x180(%rdx), %edi
addl %edi, %ecx
movl 0x188(%rdx), %edx
addl %edx, %ecx
subl %ecx, %eax
movl %eax, %edx
xorl %eax, %eax
movl %eax, %ecx
leaq -0x3c0(%rbp), %rdi
callq 0x26920
jmp 0x25f0f
movq -0x3a0(%rbp), %rdi
callq 0x27820
movq -0x5a8(%rbp), %rcx
movq %rax, %rsi
movl 0x16c(%rcx), %eax
movl 0x180(%rcx), %ecx
movl -0x3a4(%rbp), %edx
addl %edx, %ecx
subl %ecx, %eax
movl %eax, %edx
xorl %eax, %eax
movl %eax, %ecx
leaq -0x3d8(%rbp), %rdi
callq 0x26920
jmp 0x25f4f
movq $0x0, -0x3e0(%rbp)
leaq -0x3c0(%rbp), %rdi
callq 0x1adb0
movq %rax, -0x3e8(%rbp)
leaq -0x3c0(%rbp), %rdi
callq 0x1ae20
movq %rax, -0x3f0(%rbp)
leaq -0x3e8(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x25f9c
jmp 0x2612c
leaq -0x3c0(%rbp), %rdi
callq 0x1adb0
movq %rax, -0x3f8(%rbp)
leaq -0x3e8(%rbp), %rdi
leaq -0x3f8(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x25fc8
jmp 0x2600d
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x25fd8
jmp 0x2600d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26454
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26448
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x2643c
movq -0x5a8(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rax, -0x6a0(%rbp)
movl -0x3a4(%rbp), %eax
movl 0x17c(%rcx), %ecx
addl %ecx, %eax
movq %rax, -0x698(%rbp)
leaq -0x419(%rbp), %rdi
movq %rdi, -0x690(%rbp)
callq 0x77c0
movq -0x698(%rbp), %rsi
movq -0x690(%rbp), %rcx
leaq -0x418(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x26068
movq -0x6a0(%rbp), %rdi
leaq -0x418(%rbp), %rsi
callq 0x73f0
movq %rax, -0x6a8(%rbp)
jmp 0x26084
leaq -0x3e8(%rbp), %rdi
callq 0x1ae50
movq -0x6a8(%rbp), %rdi
movq %rax, %rsi
callq 0x73f0
jmp 0x260a1
leaq -0x418(%rbp), %rdi
callq 0x7290
leaq -0x419(%rbp), %rdi
callq 0x74d0
leaq -0x3e8(%rbp), %rdi
callq 0x1ae50
movq %rax, %rdi
callq 0x27840
movq %rax, -0x6b0(%rbp)
jmp 0x260d6
movq -0x6b0(%rbp), %rax
movq %rax, -0x3e0(%rbp)
leaq -0x3e8(%rbp), %rdi
callq 0x1ae70
jmp 0x25f6d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x2611b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x418(%rbp), %rdi
callq 0x7290
leaq -0x419(%rbp), %rdi
callq 0x74d0
jmp 0x2643c
leaq -0x3d8(%rbp), %rdi
callq 0x1adb0
movq %rax, %rcx
movq -0x5a8(%rbp), %rax
movq %rcx, -0x428(%rbp)
movl 0x17c(%rax), %ecx
addq -0x3e0(%rbp), %rcx
movl 0x188(%rax), %edx
addq %rdx, %rcx
movl 0x180(%rax), %eax
movl %eax, %edx
movb $0x1, %al
cmpq %rdx, %rcx
movb %al, -0x6b1(%rbp)
ja 0x261a0
leaq -0x3d8(%rbp), %rdi
callq 0x1ae20
movq %rax, -0x430(%rbp)
leaq -0x428(%rbp), %rdi
leaq -0x430(%rbp), %rsi
callq 0x225b0
movb %al, -0x6b1(%rbp)
movb -0x6b1(%rbp), %al
testb $0x1, %al
jne 0x261ac
jmp 0x261c1
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x261bc
jmp 0x262d7
movq -0x5a8(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, -0x6d0(%rbp)
movl 0x17c(%rax), %ecx
movl 0x180(%rax), %eax
movq -0x3e0(%rbp), %rdx
addq %rdx, %rcx
subq %rcx, %rax
movq %rax, -0x6c8(%rbp)
leaq -0x451(%rbp), %rdi
movq %rdi, -0x6c0(%rbp)
callq 0x77c0
movq -0x6c8(%rbp), %rsi
movq -0x6c0(%rbp), %rcx
leaq -0x450(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x26227
movq -0x6d0(%rbp), %rdi
leaq -0x450(%rbp), %rsi
callq 0x73f0
movq %rax, -0x6d8(%rbp)
jmp 0x26243
leaq -0x428(%rbp), %rdi
callq 0x1ae50
movq -0x6d8(%rbp), %rdi
movq %rax, %rsi
callq 0x73f0
movq %rax, -0x6e0(%rbp)
jmp 0x26267
movq -0x6e0(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x2627a
leaq -0x450(%rbp), %rdi
callq 0x7290
leaq -0x451(%rbp), %rdi
callq 0x74d0
leaq -0x428(%rbp), %rdi
callq 0x1ae70
jmp 0x262d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x262c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x450(%rbp), %rdi
callq 0x7290
leaq -0x451(%rbp), %rdi
callq 0x74d0
jmp 0x2643c
jmp 0x262d9
leaq -0x3d8(%rbp), %rdi
callq 0x1ae20
movq %rax, -0x460(%rbp)
leaq -0x428(%rbp), %rdi
leaq -0x460(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x26308
jmp 0x26413
movq -0x5a8(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rax, -0x6f8(%rbp)
movl -0x3a4(%rbp), %eax
movl 0x180(%rcx), %ecx
addl %ecx, %eax
movq %rax, -0x6f0(%rbp)
leaq -0x481(%rbp), %rdi
movq %rdi, -0x6e8(%rbp)
callq 0x77c0
movq -0x6f0(%rbp), %rsi
movq -0x6e8(%rbp), %rcx
leaq -0x480(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x26363
movq -0x6f8(%rbp), %rdi
leaq -0x480(%rbp), %rsi
callq 0x73f0
movq %rax, -0x700(%rbp)
jmp 0x2637f
leaq -0x428(%rbp), %rdi
callq 0x1ae50
movq -0x700(%rbp), %rdi
movq %rax, %rsi
callq 0x73f0
movq %rax, -0x708(%rbp)
jmp 0x263a3
movq -0x708(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x263b6
leaq -0x480(%rbp), %rdi
callq 0x7290
leaq -0x481(%rbp), %rdi
callq 0x74d0
leaq -0x428(%rbp), %rdi
callq 0x1ae70
jmp 0x262d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26405
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x480(%rbp), %rdi
callq 0x7290
leaq -0x481(%rbp), %rdi
callq 0x74d0
jmp 0x2643c
leaq -0x3d8(%rbp), %rdi
callq 0x110d0
leaq -0x3c0(%rbp), %rdi
callq 0x110d0
leaq -0x390(%rbp), %rdi
callq 0x278d0
jmp 0x25db5
leaq -0x3d8(%rbp), %rdi
callq 0x110d0
leaq -0x3c0(%rbp), %rdi
callq 0x110d0
leaq -0x338(%rbp), %rdi
callq 0x278f0
jmp 0x268e9
testb $0x1, -0x11(%rbp)
je 0x26744
testb $0x1, -0x12(%rbp)
je 0x26744
movq -0x5a8(%rbp), %rax
testb $0x1, 0x18c(%rax)
je 0x26744
leaq -0x509(%rbp), %rdi
movq %rdi, -0x710(%rbp)
callq 0x77c0
movq -0x710(%rbp), %rdx
leaq 0x1b2f8(%rip), %rsi     # 0x417a6
leaq -0x508(%rbp), %rdi
callq 0x7630
jmp 0x264bc
movq -0x5a8(%rbp), %rdx
addq $0x148, %rdx            # imm = 0x148
leaq -0x4e8(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x27950
jmp 0x264df
leaq 0x1b2c2(%rip), %rdx     # 0x417a8
leaq -0x4c8(%rbp), %rdi
leaq -0x4e8(%rbp), %rsi
callq 0x11470
jmp 0x264fb
movq -0x5a8(%rbp), %rcx
movl 0x16c(%rcx), %eax
movl 0x17c(%rcx), %ecx
subl %ecx, %eax
movl %eax, %edx
xorl %eax, %eax
movl %eax, %ecx
leaq -0x4a8(%rbp), %rdi
leaq -0x4c8(%rbp), %rsi
callq 0x26920
jmp 0x2652b
leaq -0x4c8(%rbp), %rdi
callq 0x7290
leaq -0x4e8(%rbp), %rdi
callq 0x7290
leaq -0x508(%rbp), %rdi
callq 0x7290
leaq -0x509(%rbp), %rdi
callq 0x74d0
leaq -0x4a8(%rbp), %rax
movq %rax, -0x490(%rbp)
movq -0x490(%rbp), %rdi
callq 0x10f80
movq %rax, -0x518(%rbp)
movq -0x490(%rbp), %rdi
callq 0x10fb0
movq %rax, -0x520(%rbp)
leaq -0x518(%rbp), %rdi
leaq -0x520(%rbp), %rsi
callq 0x10fe0
testb $0x1, %al
jne 0x26622
leaq -0x4a8(%rbp), %rdi
callq 0x110d0
jmp 0x26742
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26611
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26605
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x265f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x4c8(%rbp), %rdi
callq 0x7290
leaq -0x4e8(%rbp), %rdi
callq 0x7290
leaq -0x508(%rbp), %rdi
callq 0x7290
leaq -0x509(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
leaq -0x518(%rbp), %rdi
callq 0x11020
movq %rax, %rcx
movq -0x5a8(%rbp), %rax
movq %rcx, -0x528(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x728(%rbp)
movl 0x17c(%rax), %eax
movq %rax, -0x720(%rbp)
leaq -0x549(%rbp), %rdi
movq %rdi, -0x718(%rbp)
callq 0x77c0
movq -0x720(%rbp), %rsi
movq -0x718(%rbp), %rcx
leaq -0x548(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x2668b
movq -0x728(%rbp), %rdi
leaq -0x548(%rbp), %rsi
callq 0x73f0
movq %rax, -0x730(%rbp)
jmp 0x266a7
movq -0x730(%rbp), %rdi
movq -0x528(%rbp), %rsi
callq 0x73f0
movq %rax, -0x738(%rbp)
jmp 0x266c3
movq -0x738(%rbp), %rdi
movl $0xa, %esi
callq 0x7520
jmp 0x266d6
leaq -0x548(%rbp), %rdi
callq 0x7290
leaq -0x549(%rbp), %rdi
callq 0x74d0
leaq -0x518(%rbp), %rdi
callq 0x110b0
jmp 0x2658f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x26725
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x548(%rbp), %rdi
callq 0x7290
leaq -0x549(%rbp), %rdi
callq 0x74d0
leaq -0x4a8(%rbp), %rdi
callq 0x110d0
jmp 0x268e9
jmp 0x26744
movq -0x10(%rbp), %rdi
leaq 0x1b055(%rip), %rsi     # 0x417a4
callq 0x7470
jmp 0x26756
leaq -0x48(%rbp), %rax
movq %rax, -0x558(%rbp)
movq -0x558(%rbp), %rdi
callq 0x1ae90
movq %rax, -0x560(%rbp)
movq -0x558(%rbp), %rdi
callq 0x1aef0
movq %rax, -0x568(%rbp)
leaq -0x560(%rbp), %rdi
leaq -0x568(%rbp), %rsi
callq 0x1ade0
testb $0x1, %al
jne 0x267a3
jmp 0x268b6
leaq -0x560(%rbp), %rdi
callq 0x1ae50
movq %rax, %rcx
movq -0x5a8(%rbp), %rax
movq %rcx, -0x570(%rbp)
movq -0x10(%rbp), %rcx
movq %rcx, -0x750(%rbp)
movl 0x178(%rax), %eax
movq %rax, -0x748(%rbp)
leaq -0x591(%rbp), %rdi
movq %rdi, -0x740(%rbp)
callq 0x77c0
movq -0x748(%rbp), %rsi
movq -0x740(%rbp), %rcx
leaq -0x590(%rbp), %rdi
movl $0x20, %edx
callq 0x7300
jmp 0x2680c
movq -0x750(%rbp), %rdi
leaq -0x590(%rbp), %rsi
callq 0x73f0
movq %rax, -0x758(%rbp)
jmp 0x26828
movq -0x758(%rbp), %rdi
movq -0x570(%rbp), %rsi
callq 0x73f0
movq %rax, -0x760(%rbp)
jmp 0x26844
movq -0x760(%rbp), %rdi
leaq 0x1af52(%rip), %rsi     # 0x417a4
callq 0x7470
jmp 0x26859
leaq -0x590(%rbp), %rdi
callq 0x7290
leaq -0x591(%rbp), %rdi
callq 0x74d0
leaq -0x560(%rbp), %rdi
callq 0x1ae70
jmp 0x26787
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x268a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x590(%rbp), %rdi
callq 0x7290
leaq -0x591(%rbp), %rdi
callq 0x74d0
jmp 0x268e9
leaq -0x220(%rbp), %rdi
callq 0x110d0
leaq -0x1d0(%rbp), %rdi
callq 0x70f0
leaq -0x48(%rbp), %rdi
callq 0x110d0
leaq -0x30(%rbp), %rdi
callq 0x110d0
addq $0x770, %rsp            # imm = 0x770
popq %rbp
retq
leaq -0x220(%rbp), %rdi
callq 0x110d0
leaq -0x1d0(%rbp), %rdi
callq 0x70f0
leaq -0x48(%rbp), %rdi
callq 0x110d0
leaq -0x30(%rbp), %rdi
callq 0x110d0
movq -0x50(%rbp), %rdi
callq 0x77b0
nopl (%rax)