// File: /workspace/github_cpp_makefile_star2_O1/ridiculousfish[P]docopt_fish/docopt_fish_test.cpp
// Function: do_all_tests()
void do_all_tests() {
    test_correctness();
    test_annotated_options();
    test_unused_args();
    test_suggestions();
    test_descriptions();
    test_commands();
    test_validation();
    test_errors_in_usage();
    test_errors_in_argv();
    test_command_names();
    test_fuzzing();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c8, %rsp            # imm = 0x1C8
leaq 0xc0(%rsp), %rbx
leaq 0x50(%rsp), %r15
leaq 0x178b0(%rip), %rdi     # 0x2f450
leaq 0xbe82(%rip), %rcx      # 0x23a29
movq %rcx, 0xb0(%rsp)
leaq 0x140(%rsp), %r13
movq $0x0, 0x18(%rsp)
movq 0x8(%rdi), %rsi
testq %rsi, %rsi
je 0x18459
addq $0x8, %rdi
movq %rdi, %rax
movq $0x0, 0x10(%rsp)
movq %rdi, 0x158(%rsp)
movq 0x8(%rax), %r14
movq %r13, %rdi
movl $0x20, %edx
callq 0x1d855
movq 0x140(%rsp), %r12
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
leaq 0xb8(%rsp), %rbp
movq %rbp, %rdi
leaq 0xcda6(%rip), %rsi      # 0x249c6
leaq 0xcda3(%rip), %rdx      # 0x249ca
callq 0x21084
movq %r13, %rdi
movq %r12, %rsi
movq %rbp, %rdx
callq 0x1eb48
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x17c64
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb0(%rsp), %r12
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
leaq 0x20(%rsp), %rdi
movq %r12, %rsi
callq 0x21084
movl $0x0, 0xc0(%rsp)
xorl %eax, %eax
movq %rax, 0xc8(%rsp)
movq %rbx, 0xd0(%rsp)
movq %rbx, 0xd8(%rsp)
movq %rax, 0xe0(%rsp)
movq %rax, 0x130(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x120(%rsp)
movq %rax, 0x170(%rsp)
movaps %xmm0, 0x160(%rsp)
leaq 0x180(%rsp), %rdi
callq 0x93ca
leaq 0xa0(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rax
leaq (%rsi,%rax,4), %rdx
leaq 0x90(%rsp), %r12
movq %r12, %rdi
callq 0x10742
leaq 0x180(%rsp), %rdi
movq %r12, %rsi
leaq 0x120(%rsp), %rdx
callq 0x9128
movl %eax, %ebp
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x17d5e
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
testb %bpl, %bpl
leaq 0xb8(%rsp), %r12
je 0x17e07
leaq 0x60(%rsp), %rdi
leaq 0x180(%rsp), %rsi
movq %r13, %rdx
xorl %ecx, %ecx
leaq 0x120(%rsp), %r8
leaq 0x160(%rsp), %r9
callq 0x90a8
movq %r12, %rdi
callq 0x1ec0e
movq 0x70(%rsp), %rax
testq %rax, %rax
je 0x17dfd
movl 0x68(%rsp), %ecx
movl %ecx, 0xc0(%rsp)
movq %rax, 0xc8(%rsp)
movups 0x78(%rsp), %xmm0
movups %xmm0, 0xd0(%rsp)
movq %rbx, 0x8(%rax)
movq 0x88(%rsp), %rax
movq %rax, 0xe0(%rsp)
xorl %ecx, %ecx
movq %rcx, 0x70(%rsp)
leaq 0x68(%rsp), %rax
movq %rax, 0x78(%rsp)
movq %rax, 0x80(%rsp)
movq %rcx, 0x88(%rsp)
leaq 0x60(%rsp), %rdi
callq 0xe596
movq %r14, %rdi
leaq 0xbc2a(%rip), %rsi      # 0x23a3b
callq 0x72b0
movb $0x1, %cl
testb %bpl, %bpl
je 0x17e42
movq 0x160(%rsp), %rdx
cmpq 0x168(%rsp), %rdx
jne 0x17e42
movq 0x120(%rsp), %rcx
cmpq 0x128(%rsp), %rcx
setne %cl
testb %cl, %cl
jne 0x17e67
testl %eax, %eax
jne 0x17e67
leaq 0xda06(%rip), %rdi      # 0x25857
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x17a6e
jmp 0x183a7
testb %cl, %cl
je 0x17f5e
testl %eax, %eax
je 0x17f5e
leaq 0xda14(%rip), %rdi      # 0x25892
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x17a6e
leaq 0x60(%rsp), %r14
movq %r14, %rdi
leaq 0x180(%rsp), %rsi
movq %r13, %rdx
xorl %ecx, %ecx
leaq 0x120(%rsp), %r8
leaq 0x160(%rsp), %r9
callq 0x90a8
movq %r14, %rdi
callq 0xe596
movq 0x120(%rsp), %rax
cmpq %rax, 0x128(%rsp)
je 0x183a7
movl $0x18, %r12d
xorl %r13d, %r13d
movq 0x1f0e9(%rip), %rcx     # 0x36fd0
movq (%rcx), %r14
movq (%rax,%r12), %rsi
leaq 0x40(%rsp), %rbp
movq %rbp, %rdi
leaq 0x188(%rsp), %rdx
callq 0x1eb0a
movq %rbp, %rdi
callq 0x1d940
movq %r14, %rdi
leaq 0xd9c3(%rip), %rsi      # 0x258d8
movq %rax, %rdx
xorl %eax, %eax
callq 0x72c0
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x17f36
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x7200
incq %r13
movq 0x120(%rsp), %rax
movq 0x128(%rsp), %rcx
subq %rax, %rcx
sarq $0x5, %rcx
addq $0x20, %r12
cmpq %rcx, %r13
jb 0x17ee0
jmp 0x183a7
testl %eax, %eax
sete %al
orb %al, %cl
jne 0x183a7
leaq 0x60(%rsp), %rdi
movq %r14, %rsi
callq 0x1d9b4
movq 0x78(%rsp), %r14
leaq 0x68(%rsp), %rax
cmpq %rax, %r14
je 0x18347
leaq 0x20(%r14), %r12
leaq 0xb8(%rsp), %rdi
movq %r12, %rsi
callq 0x1f10a
movq %rax, %rbp
leaq 0x40(%r14), %r13
cmpq %rbx, %rax
je 0x17fed
movq %r15, 0x40(%rsp)
leaq 0x40(%rsp), %rdi
leaq 0xc8b4(%rip), %rsi      # 0x24870
leaq 0xc8b1(%rip), %rdx      # 0x24874
callq 0x21084
movq 0x48(%r14), %rdx
cmpq 0x48(%rsp), %rdx
jne 0x1800b
testq %rdx, %rdx
je 0x1800f
movq 0x40(%rsp), %rsi
movq (%r13), %rdi
callq 0x71d0
testl %eax, %eax
sete %bl
jmp 0x18011
movq (%r12), %rcx
movq (%r13), %r8
leaq 0xd8e2(%rip), %rdi      # 0x258de
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
jmp 0x181d6
xorl %ebx, %ebx
jmp 0x18011
movb $0x1, %bl
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x1802d
movq 0x50(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
testb %bl, %bl
je 0x1807b
cmpl $0x1, 0x58(%rbp)
leaq 0xc0(%rsp), %rbx
je 0x18063
movl $0x100, %ecx            # imm = 0x100
leaq 0xd8dc(%rip), %rdi      # 0x25927
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq 0xd8ef(%rip), %r8       # 0x2594b
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rbp), %rax
cmpq 0x48(%rbp), %rax
je 0x181dd
movl $0x101, %ecx            # imm = 0x101
jmp 0x181be
movq %r15, 0x40(%rsp)
leaq 0x40(%rsp), %rdi
leaq 0xd8e1(%rip), %rsi      # 0x2596d
leaq 0xd8df(%rip), %rdx      # 0x25972
callq 0x21084
movq 0x48(%r14), %rdx
cmpq 0x48(%rsp), %rdx
jne 0x180bd
testq %rdx, %rdx
je 0x180c1
movq 0x40(%rsp), %rsi
movq (%r13), %rdi
callq 0x71d0
testl %eax, %eax
sete %bl
jmp 0x180c3
xorl %ebx, %ebx
jmp 0x180c3
movb $0x1, %bl
movb $0x1, %r15b
testb %bl, %bl
jne 0x18124
leaq 0x1b8(%rsp), %rax
movq %rax, 0x1a8(%rsp)
leaq 0x1a8(%rsp), %rdi
leaq 0xd88a(%rip), %rsi      # 0x25973
leaq 0xd887(%rip), %rdx      # 0x25977
callq 0x21084
movq 0x48(%r14), %rdx
cmpq 0x1b0(%rsp), %rdx
jne 0x18121
testq %rdx, %rdx
je 0x18124
movq 0x1a8(%rsp), %rsi
movq (%r13), %rdi
callq 0x71d0
testl %eax, %eax
sete %r15b
jmp 0x18124
xorl %r15d, %r15d
testb %bl, %bl
leaq 0xc0(%rsp), %rbx
jne 0x1815a
movq 0x1a8(%rsp), %rdi
leaq 0x1b8(%rsp), %rax
cmpq %rax, %rdi
je 0x1815a
movq 0x1b8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x1817b
movq 0x50(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
testb %r15b, %r15b
je 0x181ed
cmpl $0x0, 0x58(%rbp)
leaq 0x50(%rsp), %r15
je 0x181af
movl $0x103, %ecx            # imm = 0x103
leaq 0xd790(%rip), %rdi      # 0x25927
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq 0xd7d0(%rip), %r8       # 0x25978
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rbp), %rax
cmpq 0x48(%rbp), %rax
je 0x181dd
movl $0x104, %ecx            # imm = 0x104
leaq 0xd762(%rip), %rdi      # 0x25927
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq 0xd784(%rip), %r8       # 0x2595a
xorl %eax, %eax
callq 0x17a6e
movq %r14, %rdi
callq 0x7280
movq %rax, %r14
jmp 0x17f7d
cmpq $0x2, 0x48(%r14)
leaq 0x50(%rsp), %r15
jne 0x1824a
movq (%r13), %rax
cmpl $0x25, (%rax)
jne 0x1824a
movl 0x4(%rax), %eax
addl $-0x30, %eax
cmpl $0x9, %eax
ja 0x1824a
cmpl %eax, 0x58(%rbp)
je 0x18236
movl $0x108, %ecx            # imm = 0x108
leaq 0xd709(%rip), %rdi      # 0x25927
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq 0xd781(%rip), %r8       # 0x259b0
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rbp), %rax
cmpq 0x48(%rbp), %rax
je 0x181dd
movl $0x109, %ecx            # imm = 0x109
jmp 0x181be
leaq 0x188(%rsp), %rdi
movq %r13, %rsi
leaq 0xd770(%rip), %rdx      # 0x259cc
callq 0x1db7f
movq 0x40(%rbp), %rdi
movq 0x48(%rbp), %rsi
movq %rsi, %rax
subq %rdi, %rax
movq 0x188(%rsp), %rdx
movq 0x190(%rsp), %rcx
subq %rdx, %rcx
cmpq %rcx, %rax
jne 0x18290
callq 0x1f150
testb %al, %al
jne 0x182b4
movl $0x10c, %ecx            # imm = 0x10C
leaq 0xd68b(%rip), %rdi      # 0x25927
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq 0xd722(%rip), %r8       # 0x259cf
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rbp), %rdi
movq 0x48(%rbp), %rsi
movq %rsi, %rax
subq %rdi, %rax
movq 0x188(%rsp), %rdx
movq 0x190(%rsp), %rcx
subq %rdx, %rcx
cmpq %rcx, %rax
jne 0x182e3
callq 0x1f150
testb %al, %al
jne 0x18335
addq $0x40, %rbp
movq (%r12), %r12
leaq 0x40(%rsp), %rdi
movq %rbp, %rsi
leaq 0xd6d2(%rip), %rdx      # 0x259cc
callq 0x176f2
movq 0x40(%rsp), %rdx
movq (%r13), %rcx
leaq 0xd6d5(%rip), %rdi      # 0x259e4
movq %r12, %rsi
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x18335
movq 0x50(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x188(%rsp), %rdi
callq 0xc1d0
jmp 0x181dd
movq 0xd0(%rsp), %r14
cmpq %rbx, %r14
leaq 0x60(%rsp), %r12
je 0x1839f
leaq 0x20(%r14), %rsi
movq %r12, %rdi
callq 0x1f1be
leaq 0x68(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1838f
movq 0x20(%r14), %rcx
movl 0x58(%r14), %r8d
leaq 0xd68c(%rip), %rdi      # 0x25a0a
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x17a6e
movq %r14, %rdi
callq 0x7280
movq %rax, %r14
cmpq %rbx, %rax
jne 0x18359
movq %r12, %rdi
callq 0x1f248
leaq 0x180(%rsp), %rdi
callq 0x948a
movq 0x160(%rsp), %rdi
testq %rdi, %rdi
je 0x183d1
movq 0x170(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
leaq 0x140(%rsp), %r13
leaq 0xb8(%rsp), %r14
je 0x183fe
movq 0x130(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq %r14, %rdi
callq 0xe596
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x18427
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r13, %rdi
callq 0xc1d0
movq 0x10(%rsp), %rcx
incq %rcx
movq %rcx, 0x10(%rsp)
shlq $0x4, %rcx
movq 0x158(%rsp), %rdi
leaq (%rdi,%rcx), %rax
movq (%rdi,%rcx), %rsi
testq %rsi, %rsi
jne 0x17be5
movq 0x18(%rsp), %rdx
leaq 0x1(%rdx), %rax
movq %rax, %rcx
shlq $0x8, %rcx
leaq (%rcx,%rdx,8), %rcx
addq $0x8, %rcx
leaq 0x16fd8(%rip), %rdx     # 0x2f450
leaq (%rdx,%rcx), %rdi
movq (%rdx,%rcx), %rcx
movq %rcx, 0xb0(%rsp)
movq %rax, 0x18(%rsp)
cmpq $0x63, %rax
jne 0x17bc0
callq 0x1a1c5
leaq 0x1d6cd(%rip), %r13     # 0x35b70
leaq 0xda05(%rip), %rcx      # 0x25eaf
movq %rcx, 0x18(%rsp)
leaq 0x40(%rsp), %rbx
leaq 0xb8(%rsp), %r12
movq $0x0, 0x158(%rsp)
movq 0x8(%r13), %rsi
testq %rsi, %rsi
je 0x188d0
addq $0x8, %r13
movq %r13, %rax
movq $0x0, 0x10(%rsp)
movq %r13, 0xb0(%rsp)
movq 0x8(%rax), %r15
movq %rbx, %rdi
movl $0x20, %edx
callq 0x1d855
movq 0x40(%rsp), %rbp
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq %r12, %r14
movq %r12, %rdi
leaq 0xc4a6(%rip), %rsi      # 0x249c6
leaq 0xc4a3(%rip), %rdx      # 0x249ca
callq 0x21084
movq %rbx, %r12
movq %rbx, %rdi
movq %rbp, %rsi
movq %r14, %rdx
callq 0x1eb48
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x18567
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x18(%rsp), %rbx
movq %rbx, %rdi
callq 0x70b0
leaq (%rax,%rbx), %rdx
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x60(%rsp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x21084
xorps %xmm0, %xmm0
movaps %xmm0, 0x140(%rsp)
movq $0x0, 0x150(%rsp)
leaq 0x188(%rsp), %rbx
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x93d2
movq %r14, %rdi
movq %rbx, %rsi
movq %r12, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
leaq 0x140(%rsp), %r9
callq 0x90a8
movq %r14, %rdi
callq 0xe596
xorps %xmm0, %xmm0
movaps %xmm0, 0x120(%rsp)
movq $0x0, 0x130(%rsp)
movq 0x140(%rsp), %rax
cmpq %rax, 0x148(%rsp)
leaq 0x120(%rsp), %r14
je 0x18663
xorl %ebx, %ebx
movq (%rax,%rbx,8), %rsi
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rdx
subq %rax, %rdx
sarq $0x5, %rdx
cmpq %rsi, %rdx
jbe 0x19ae1
shlq $0x5, %rsi
addq %rsi, %rax
movq %r14, %rdi
movq %rax, %rsi
callq 0x12960
incq %rbx
movq 0x140(%rsp), %rax
movq 0x148(%rsp), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %rcx, %rbx
jb 0x18614
movq 0x120(%rsp), %rbx
movq 0x128(%rsp), %r13
cmpq %r13, %rbx
je 0x186a5
movq %r13, %rax
subq %rbx, %rax
sarq $0x5, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1f768
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1f84c
leaq 0x20(%rsp), %rdi
movq %r14, %rsi
leaq 0xd318(%rip), %rdx      # 0x259cc
callq 0x176f2
movq %r15, %rdi
callq 0x70b0
leaq (%rax,%r15), %rdx
leaq 0xa0(%rsp), %rax
movq %rax, 0x90(%rsp)
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x21084
leaq 0x160(%rsp), %rdi
movq %rbx, %rsi
leaq 0xd2d2(%rip), %rdx      # 0x259cc
callq 0x1db7f
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x18729
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x160(%rsp), %rbx
movq 0x168(%rsp), %r15
cmpq %r15, %rbx
movq %r12, %r14
leaq 0x188(%rsp), %r13
je 0x18776
movq %r15, %rax
subq %rbx, %rax
sarq $0x5, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1f768
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1f84c
leaq 0x90(%rsp), %rdi
leaq 0x160(%rsp), %rsi
leaq 0xd23f(%rip), %rdx      # 0x259cc
callq 0x176f2
movq 0x98(%rsp), %rdx
cmpq 0x28(%rsp), %rdx
jne 0x187bc
testq %rdx, %rdx
je 0x187e4
movq 0x20(%rsp), %rsi
movq 0x90(%rsp), %rdi
callq 0x71d0
testl %eax, %eax
je 0x187e4
movq 0x90(%rsp), %rcx
movq 0x20(%rsp), %r8
leaq 0xd797(%rip), %rdi      # 0x25f67
movq 0x158(%rsp), %rsi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x17a6e
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
leaq 0xb8(%rsp), %r12
movq %r14, %rbx
je 0x18819
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x160(%rsp), %rdi
callq 0xc1d0
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
leaq 0x120(%rsp), %r14
je 0x1884f
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r14, %rdi
callq 0xc1d0
movq %r13, %rdi
callq 0x948a
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x1887c
movq 0x150(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
movq 0xb0(%rsp), %r13
je 0x188a5
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %rbx, %rdi
callq 0xc1d0
movq 0x10(%rsp), %rcx
incq %rcx
movq %rcx, 0x10(%rsp)
shlq $0x4, %rcx
leaq (%rcx,%r13), %rax
movq (%r13,%rcx), %rsi
testq %rsi, %rsi
jne 0x184ed
movq 0x158(%rsp), %rdx
leaq 0x1(%rdx), %rax
movq %rax, %rcx
shlq $0x8, %rcx
leaq (%rcx,%rdx,8), %rcx
addq $0x8, %rcx
leaq 0x1d27e(%rip), %rdx     # 0x35b70
leaq (%rdx,%rcx), %r13
movq (%rdx,%rcx), %rcx
movq %rcx, 0x18(%rsp)
movq %rax, 0x158(%rsp)
cmpq $0x2, %rax
jne 0x184c8
leaq 0x1d578(%rip), %rdi     # 0x35e90
leaq 0xd688(%rip), %rcx      # 0x25fa7
movq %rcx, 0x10(%rsp)
leaq 0x90(%rsp), %r13
leaq 0xb8(%rsp), %r15
movq $0x0, 0xb0(%rsp)
movq 0x8(%rdi), %rsi
testq %rsi, %rsi
je 0x18d9b
addq $0x8, %rdi
movq %rdi, %rax
xorl %r14d, %r14d
movq %rdi, 0x18(%rsp)
movq 0x8(%rax), %rbp
movq %r13, %rdi
movl $0x20, %edx
callq 0x1d855
movq 0x90(%rsp), %rbx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq %r15, %rdi
leaq 0xc037(%rip), %rsi      # 0x249c6
leaq 0xc034(%rip), %rdx      # 0x249ca
callq 0x21084
movq %r13, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x1eb48
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x189d3
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0xc8(%rsp), %r15
movq %r15, 0xb8(%rsp)
movq $0x0, 0xc0(%rsp)
movl $0x0, 0xc8(%rsp)
movq %r13, %rdi
leaq 0xb8(%rsp), %rsi
callq 0xde04
movq 0xb8(%rsp), %rdi
cmpq %r15, %rdi
je 0x18a2c
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x70b0
leaq (%rax,%rbx), %rdx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
leaq 0xb8(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x21084
movq %r13, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
leaq 0x160(%rsp), %rdi
movq %r15, %rsi
leaq 0x40(%rsp), %rdx
callq 0x93d2
movq 0x40(%rsp), %rax
cmpq 0x48(%rsp), %rax
je 0x18b44
leaq 0xd6be(%rip), %rdi      # 0x2615e
movq 0xb0(%rsp), %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x17a6e
movq 0x40(%rsp), %rax
cmpq %rax, 0x48(%rsp)
je 0x18d1d
movl $0x18, %r15d
xorl %ebp, %ebp
movq 0x1e4ff(%rip), %rcx     # 0x36fd0
movq (%rcx), %rbx
movq (%rax,%r15), %rsi
leaq 0x60(%rsp), %r12
movq %r12, %rdi
leaq 0x20(%rsp), %rdx
callq 0x1eb0a
movq %r12, %rdi
callq 0x1d940
movq %rbx, %rdi
leaq 0xd6a8(%rip), %rsi      # 0x261a4
movq %rax, %rdx
xorl %eax, %eax
callq 0x72c0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x18b22
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x7200
incq %rbp
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
subq %rax, %rcx
sarq $0x5, %rcx
addq $0x20, %r15
cmpq %rcx, %rbp
jb 0x18aca
jmp 0x18d1d
leaq 0x140(%rsp), %rdi
leaq 0x160(%rsp), %rsi
movq %rbx, %rdx
movl $0x1, %ecx
callq 0x8eda
movq 0x140(%rsp), %r15
movq 0x148(%rsp), %rbx
cmpq %rbx, %r15
je 0x18bb1
movq %rbx, %rax
subq %r15, %rax
sarq $0x4, %rax
movabsq $-0x71c71c71c71c71c7, %rcx # imm = 0x8E38E38E38E38E39
imulq %rcx, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x1feb4
movq %r15, %rdi
movq %rbx, %rsi
callq 0x1ffa5
leaq 0x60(%rsp), %rdi
leaq 0x140(%rsp), %rsi
leaq 0xce07(%rip), %rdx      # 0x259cc
callq 0x1759b
movq %rbp, %rdi
callq 0x70b0
leaq (%rax,%rbp), %rdx
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
leaq 0x20(%rsp), %r12
movq %r12, %rdi
movq %rbp, %rsi
callq 0x21084
leaq 0x120(%rsp), %rbp
movq %rbp, %rdi
movq %r12, %rsi
leaq 0xcdc7(%rip), %rdx      # 0x259cc
callq 0x1db7f
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x18c2b
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x120(%rsp), %rbx
movq 0x128(%rsp), %r15
cmpq %r15, %rbx
je 0x18c6d
movq %r15, %rax
subq %rbx, %rax
sarq $0x5, %rax
bsrq %rax, %rdx
xorl $0x3f, %edx
addl %edx, %edx
xorq $0x7e, %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1f768
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1f84c
movq %r12, %rdi
movq %rbp, %rsi
leaq 0xcd52(%rip), %rdx      # 0x259cc
callq 0x176f2
movq 0x68(%rsp), %rdx
cmpq 0x28(%rsp), %rdx
jne 0x18ca3
testq %rdx, %rdx
je 0x18cc6
movq 0x20(%rsp), %rsi
movq 0x60(%rsp), %rdi
callq 0x71d0
testl %eax, %eax
je 0x18cc6
movq 0x20(%rsp), %rcx
movq 0x60(%rsp), %r8
leaq 0xd4fb(%rip), %rdi      # 0x261af
movq 0xb0(%rsp), %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x17a6e
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x18ce7
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %rbp, %rdi
callq 0xc1d0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x18d10
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x140(%rsp), %rdi
callq 0xc5e4
leaq 0x160(%rsp), %rdi
callq 0x948a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x18d41
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
leaq 0xb8(%rsp), %r15
je 0x18d73
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r13, %rdi
callq 0xc1d0
incq %r14
movq %r14, %rcx
shlq $0x4, %rcx
movq 0x18(%rsp), %rdi
leaq (%rdi,%rcx), %rax
movq (%rdi,%rcx), %rsi
testq %rsi, %rsi
jne 0x1895c
movq 0xb0(%rsp), %rdx
leaq 0x1(%rdx), %rax
movq %rax, %rcx
shlq $0x8, %rcx
leaq (%rcx,%rdx,8), %rcx
addq $0x8, %rcx
leaq 0x1d0d3(%rip), %rdx     # 0x35e90
leaq (%rdx,%rcx), %rdi
movq (%rdx,%rcx), %rcx
movq %rcx, 0x10(%rsp)
movq %rax, 0xb0(%rsp)
cmpq $0x6, %rax
jne 0x18940
leaq 0xd489(%rip), %r12      # 0x2626c
leaq 0x1d7fe(%rip), %rax     # 0x365e8
leaq 0x20(%rsp), %rbx
leaq 0xb8(%rsp), %rbp
xorl %r15d, %r15d
movq %rbx, %r13
movq %rax, 0x10(%rsp)
movq -0x8(%rax), %r14
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
leaq 0xd3cb(%rip), %rsi      # 0x261ea
leaq 0xd445(%rip), %rdx      # 0x2626b
callq 0x21084
leaq 0x40(%rsp), %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x93d2
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %r13, %rbx
movq %r13, %rdi
movq %r12, %rsi
callq 0x21084
movq %rbp, %rdi
leaq 0x40(%rsp), %rsi
movq %rbx, %rdx
callq 0x8eec
leaq 0x90(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
callq 0x73e0
movq 0xf8(%rsp), %rdi
leaq 0x108(%rsp), %rax
cmpq %rax, %rdi
je 0x18ead
movq 0x108(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
je 0x18ed7
movq 0xe8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x18f01
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r14, %rdi
callq 0x70b0
leaq (%rax,%r14), %rdx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq %rbp, %rdi
movq %r14, %rsi
callq 0x21084
movq 0xc0(%rsp), %rdx
cmpq 0x98(%rsp), %rdx
jne 0x18f58
testq %rdx, %rdx
je 0x18f7b
movq 0x90(%rsp), %rsi
movq 0xb8(%rsp), %rdi
callq 0x71d0
testl %eax, %eax
je 0x18f7b
movq 0xb8(%rsp), %rcx
movq 0x90(%rsp), %r8
leaq 0xd337(%rip), %rdi      # 0x262a6
xorl %esi, %esi
movq %r15, %rdx
xorl %eax, %eax
callq 0x17a6e
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x18fa5
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x18fcf
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x18ff0
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x40(%rsp), %rdi
callq 0x948a
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1901b
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
incq %r15
movq 0x10(%rsp), %rax
movq (%rax), %r12
addq $0x10, %rax
cmpq $0x5, %r15
jne 0x18dfa
leaq 0x1d7a5(%rip), %rax     # 0x367e0
leaq 0xd29f(%rip), %r12      # 0x262e1
leaq 0x1d7af(%rip), %rcx     # 0x367f8
movq %rcx, 0x18(%rsp)
movq $0x0, 0x10(%rsp)
movq 0x8(%rax), %rbp
testq %rbp, %rbp
je 0x192a0
movq 0x18(%rsp), %r14
xorl %ebx, %ebx
movq -0x8(%r14), %r15
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x60(%rsp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x21084
leaq 0x40(%rsp), %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x93d2
movq %rbp, %rdi
callq 0x70b0
leaq (%rax,%rbp), %rdx
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
leaq 0x20(%rsp), %r13
movq %r13, %rdi
movq %rbp, %rsi
callq 0x21084
leaq 0xb8(%rsp), %rbp
movq %rbp, %rdi
leaq 0x40(%rsp), %rsi
movq %r13, %rdx
callq 0x8eec
leaq 0x90(%rsp), %rdi
movq %rbp, %rsi
callq 0x73e0
movq 0xf8(%rsp), %rdi
leaq 0x108(%rsp), %rax
cmpq %rax, %rdi
je 0x1911c
movq 0x108(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
je 0x19146
movq 0xe8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x19170
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r15, %rdi
callq 0x70b0
leaq (%rax,%r15), %rdx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq %rbp, %rdi
movq %r15, %rsi
callq 0x21084
movq 0xc0(%rsp), %rdx
cmpq 0x98(%rsp), %rdx
jne 0x191c7
testq %rdx, %rdx
je 0x191ed
movq 0x90(%rsp), %rsi
movq 0xb8(%rsp), %rdi
callq 0x71d0
testl %eax, %eax
je 0x191ed
movq 0xb8(%rsp), %rcx
movq 0x90(%rsp), %r8
leaq 0xd211(%rip), %rdi      # 0x263ef
movq 0x10(%rsp), %rsi
movq %rbx, %rdx
xorl %eax, %eax
callq 0x17a6e
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x19217
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x19241
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19262
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x40(%rsp), %rdi
callq 0x948a
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1928d
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
incq %rbx
movq (%r14), %rbp
addq $0x10, %r14
testq %rbp, %rbp
jne 0x1906b
movq 0x10(%rsp), %rdx
leaq 0x1(%rdx), %rcx
movq %rcx, %rax
shlq $0x8, %rax
leaq (%rax,%rdx,8), %rdx
addq $0x8, %rdx
leaq 0x1d521(%rip), %rsi     # 0x367e0
leaq (%rsi,%rdx), %rax
movq (%rsi,%rdx), %r12
addq $0x108, 0x18(%rsp)      # imm = 0x108
movq %rcx, 0x10(%rsp)
cmpq $0x2, %rcx
jne 0x19057
leaq 0x1d81a(%rip), %rax     # 0x36b00
leaq 0xd139(%rip), %r14      # 0x26426
leaq 0x90(%rsp), %rbx
leaq 0x60(%rsp), %r15
leaq 0x20(%rsp), %r12
xorl %r13d, %r13d
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rbp
movq %rbx, %rdi
movl $0x20, %edx
callq 0x1d855
leaq 0xb8(%rsp), %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1eb0a
movq 0x90(%rsp), %rbp
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
movq %r15, %rdi
leaq 0xb680(%rip), %rsi      # 0x249c6
leaq 0xb67d(%rip), %rdx      # 0x249ca
callq 0x21084
movq %rbx, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x1eb48
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19381
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xc0(%rsp), %rax
incq %rax
movq 0x98(%rsp), %rcx
subq 0x90(%rsp), %rcx
sarq $0x5, %rcx
cmpq %rcx, %rax
jne 0x19b1e
movq %r14, %rdi
callq 0x70b0
leaq (%rax,%r14), %rdx
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
movq %r15, %rdi
movq %r14, %rsi
callq 0x21084
leaq 0x140(%rsp), %r14
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x93d2
leaq 0x40(%rsp), %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
callq 0x8dd6
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq 0x98(%rsp), %rsi
subq 0x90(%rsp), %rsi
sarq $0x5, %rsi
cmpq %rsi, %rdx
jne 0x19aff
cmpq %rax, %rcx
je 0x19aef
cmpl $0x1, (%rax)
je 0x19446
leaq 0xd0b7(%rip), %rdi      # 0x264f1
movq %r13, %rsi
xorl %edx, %edx
xorl %eax, %eax
callq 0x17a6e
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq $0x0, 0x28(%rsp)
movb $0x0, 0x30(%rsp)
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
subq %rax, %rcx
cmpq $0x5, %rcx
jb 0x194a1
movl $0x1, %r14d
movb (%rax,%r14,4), %al
addb $0x30, %al
movsbl %al, %esi
movq %r12, %rdi
callq 0x7170
incq %r14
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %rcx, %r14
jb 0x19477
movq 0x28(%rsp), %rdx
cmpq 0xc0(%rsp), %rdx
jne 0x194cb
testq %rdx, %rdx
je 0x194eb
movq 0xb8(%rsp), %rsi
movq 0x20(%rsp), %rdi
callq 0x7230
testl %eax, %eax
je 0x194eb
movq 0xb8(%rsp), %rcx
movq 0x20(%rsp), %r8
leaq 0xd044(%rip), %rdi      # 0x26523
movq %r13, %rsi
xorl %edx, %edx
xorl %eax, %eax
callq 0x17a6e
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
leaq 0x140(%rsp), %r14
je 0x1950f
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x7200
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x19526
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq %r14, %rdi
callq 0x948a
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1954f
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x19574
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0x7200
movq %rbx, %rdi
callq 0xc1d0
incq %r13
leaq (,%r13,2), %rax
addq %r13, %rax
leaq 0x1d56f(%rip), %rcx     # 0x36b00
leaq (%rcx,%rax,8), %rax
movq (%rax), %r14
cmpq $0x3, %r13
jne 0x19302
leaq 0xcfb2(%rip), %r12      # 0x2655b
leaq 0x1d5c0(%rip), %rbx     # 0x36b70
xorl %ebp, %ebp
movl -0x8(%rbx), %r13d
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
leaq 0xb8(%rsp), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x21084
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
leaq 0x90(%rsp), %rdi
movq %r15, %rsi
leaq 0x20(%rsp), %rdx
callq 0x93d2
movq 0x20(%rsp), %rax
cmpq 0x28(%rsp), %rax
je 0x1967c
movl 0x10(%rax), %r15d
cmpl %r13d, %r15d
je 0x19695
movq 0x18(%rax), %rsi
leaq 0x60(%rsp), %r14
movq %r14, %rdi
leaq 0x40(%rsp), %rdx
callq 0x1eb0a
movq %r14, %rdi
callq 0x1d940
movq %rax, (%rsp)
leaq 0xd2a5(%rip), %rdi      # 0x268ee
movq %rbp, %rsi
xorl %edx, %edx
movq %r12, %rcx
movl %r13d, %r8d
movl %r15d, %r9d
xorl %eax, %eax
callq 0x17a6e
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19695
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x19695
leaq 0xd12a(%rip), %rdi      # 0x267ad
movq %rbp, %rsi
xorl %edx, %edx
movq %r12, %rcx
movl %r13d, %r8d
xorl %eax, %eax
callq 0x17a6e
leaq 0x90(%rsp), %rdi
callq 0x948a
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x196b9
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x196e3
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
incq %rbp
movq (%rbx), %r12
addq $0x10, %rbx
cmpq $0x14, %rbp
jne 0x195b2
leaq 0xd0f9(%rip), %rax      # 0x267f7
movq %rax, 0x10(%rsp)
leaq 0x1d5be(%rip), %r12     # 0x36cc8
leaq 0x90(%rsp), %r15
leaq 0x140(%rsp), %rbx
movq $0x0, 0x18(%rsp)
movq %rbx, %rbp
movq -0x10(%r12), %rsi
movl -0x8(%r12), %r13d
movq %r15, %rdi
movq %rsi, 0x1a0(%rsp)
movl $0x20, %edx
callq 0x1d855
movq %r15, %rbx
movq 0x90(%rsp), %r14
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
leaq 0xb8(%rsp), %r15
movq %r15, %rdi
leaq 0xb254(%rip), %rsi      # 0x249c6
leaq 0xb251(%rip), %rdx      # 0x249ca
callq 0x21084
movq %r15, %rdx
movq %rbx, %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %rdx, %r14
callq 0x1eb48
movl %r13d, 0xb0(%rsp)
movq %r12, 0x158(%rsp)
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x197cc
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x10(%rsp), %r13
movq %r13, %rdi
callq 0x70b0
leaq (%rax,%r13), %rdx
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x60(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
callq 0x21084
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
movq %rbp, %rbx
movq %rbp, %rdi
movq %r12, %rsi
leaq 0x40(%rsp), %r12
movq %r12, %rdx
callq 0x93d2
movl 0xb0(%rsp), %r13d
movq %r14, %rbp
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
xorl %ecx, %ecx
movq %r12, %r8
xorl %r9d, %r9d
callq 0x90a8
movq 0x158(%rsp), %r12
leaq 0x20(%rsp), %r14
movq %rbp, %rdi
callq 0xe596
movq 0x40(%rsp), %rax
cmpq 0x48(%rsp), %rax
je 0x198ca
movl 0x10(%rax), %ebp
cmpl %r13d, %ebp
je 0x198ef
movq 0x18(%rax), %rsi
movq %r14, %rdi
leaq 0x120(%rsp), %rdx
callq 0x1eb0a
movq %r14, %rdi
callq 0x1d940
movq %rax, (%rsp)
leaq 0xd052(%rip), %rdi      # 0x268e5
movq 0x18(%rsp), %rsi
xorl %edx, %edx
movq 0x10(%rsp), %rcx
movl %r13d, %r8d
movl %ebp, %r9d
xorl %eax, %eax
callq 0x17a6e
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x198ef
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x198ef
leaq 0xcfbc(%rip), %rdi      # 0x2688d
movq 0x18(%rsp), %rsi
xorl %edx, %edx
movq 0x10(%rsp), %rcx
movq 0x1a0(%rsp), %r8
movl %r13d, %r9d
xorl %eax, %eax
callq 0x17a6e
movq %rbx, %rdi
callq 0x948a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1990e
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1992f
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq %r15, %rdi
callq 0xc1d0
movq 0x18(%rsp), %rcx
incq %rcx
movq (%r12), %rax
movq %rax, 0x10(%rsp)
addq $0x18, %r12
movq %rcx, 0x18(%rsp)
cmpq $0x6, %rcx
jne 0x19723
leaq 0xcfdb(%rip), %r12      # 0x2693d
leaq 0x1d407(%rip), %r13     # 0x36d70
leaq 0xb8(%rsp), %rbx
leaq 0x90(%rsp), %r14
leaq 0x20(%rsp), %r15
xorl %ebp, %ebp
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0xc8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq %rbx, %rdi
movq %r12, %rsi
callq 0x21084
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x93d2
movq %r15, %rdi
movq %r14, %rsi
callq 0x9096
leaq 0x60(%rsp), %rdi
movq %r15, %rsi
leaq 0x9fd4(%rip), %rdx      # 0x239a2
callq 0x176f2
movq %r15, %rdi
callq 0xc1d0
movq %r14, %rdi
callq 0x948a
movq -0x8(%r13), %r12
movq %r12, %rdi
callq 0x70b0
leaq (%rax,%r12), %rdx
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %r15, %rdi
movq %r12, %rsi
callq 0x21084
movq 0x68(%rsp), %rdx
cmpq 0x28(%rsp), %rdx
jne 0x19a2c
testq %rdx, %rdx
je 0x19a49
movq 0x20(%rsp), %rsi
movq 0x60(%rsp), %rdi
callq 0x71d0
testl %eax, %eax
je 0x19a49
movq 0x20(%rsp), %rcx
movq 0x60(%rsp), %r8
leaq 0xcf92(%rip), %rdi      # 0x269cf
movq %rbp, %rsi
xorl %edx, %edx
xorl %eax, %eax
callq 0x17a6e
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19a6a
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19a8b
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x19ab5
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
incq %rbp
movq (%r13), %r12
addq $0x10, %r13
cmpq $0x3, %rbp
jne 0x19980
callq 0x1782a
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x9337(%rip), %rdi      # 0x22e1f
xorl %eax, %eax
callq 0x7300
leaq 0x9329(%rip), %rdi      # 0x22e1f
xorl %esi, %esi
xorl %eax, %eax
callq 0x7300
leaq 0xc9cc(%rip), %rdi      # 0x264d2
leaq 0xbe8e(%rip), %rsi      # 0x2599b
leaq 0xc969(%rip), %rcx      # 0x2647d
movl $0x21e, %edx            # imm = 0x21E
callq 0x7120
leaq 0xc92e(%rip), %rdi      # 0x26453
leaq 0xbe6f(%rip), %rsi      # 0x2599b
leaq 0xc94a(%rip), %rcx      # 0x2647d
movl $0x212, %edx            # imm = 0x212
callq 0x7120
movq %rax, %rbx
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19bf9
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x19bf9
jmp 0x19bf6
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19b8e
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x19b8e
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0x948a
jmp 0x19c4c
movq %rax, %rbx
jmp 0x19be2
movq %rax, %rbx
jmp 0x19c63
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19c63
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
jmp 0x19c5e
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0xc1d0
leaq 0x90(%rsp), %rdi
callq 0x948a
jmp 0x19c63
jmp 0x19ee6
movq %rax, %rbx
leaq 0x140(%rsp), %rdi
callq 0x948a
jmp 0x19c0b
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x19c22
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1a14c
movq 0x70(%rsp), %rax
jmp 0x1a13f
jmp 0x19ee6
jmp 0x19ec5
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x19c63
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x1a1bd
movq 0xc8(%rsp), %rax
jmp 0x19ea9
jmp 0x19ee6
jmp 0x19c92
jmp 0x19c9a
movq %rax, %rbx
jmp 0x19dfc
movq %rax, %rbx
jmp 0x19ddb
movq %rax, %rbx
jmp 0x19dce
movq %rax, %rbx
jmp 0x19db7
jmp 0x19e39
jmp 0x19e2a
jmp 0x19e34
jmp 0x19e2f
jmp 0x1a055
jmp 0x1a055
movq %rax, %rbx
leaq 0x188(%rsp), %rdi
callq 0xc1d0
jmp 0x1a02d
jmp 0x1a02a
movq %rax, %rbx
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19d60
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
jmp 0x19d60
movq %rax, %rbx
jmp 0x19d60
jmp 0x1a0fb
jmp 0x19d50
jmp 0x19d4b
movq %rax, %rbx
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x1a02d
movq 0x50(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
jmp 0x1a02d
movq %rax, %rbx
jmp 0x19d81
movq %rax, %rbx
leaq 0x120(%rsp), %rdi
callq 0xc1d0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19d81
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x140(%rsp), %rdi
callq 0xc5e4
jmp 0x1a0fe
jmp 0x1a055
movq %rax, %rbx
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19db7
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x7200
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x19dce
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
leaq 0x140(%rsp), %rdi
callq 0x948a
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x19dfc
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x1a14c
movq 0xc8(%rsp), %rsi
incq %rsi
jmp 0x1a147
jmp 0x1a02a
movq %rax, %rbx
jmp 0x19e66
movq %rax, %rbx
jmp 0x19e91
movq %rax, %rbx
jmp 0x19e87
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x19e66
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x19e87
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x40(%rsp), %rdi
callq 0x948a
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1a1bd
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
jmp 0x1a1bd
movq %rax, %rbx
jmp 0x1a10b
jmp 0x19ee6
movq %rax, %rbx
jmp 0x1a122
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x1a137
jmp 0x1a14c
movq %rax, %rbx
jmp 0x1a14c
jmp 0x19fe7
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x19ff7
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
jmp 0x19ff7
movq %rax, %rbx
jmp 0x19ff7
jmp 0x1a158
jmp 0x19f38
movq %rax, %rbx
jmp 0x1a1b3
movq %rax, %rbx
jmp 0x1a168
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x1a1b3
movq 0xc8(%rsp), %rax
jmp 0x1a1a6
movq %rax, %rbx
jmp 0x1a175
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x1a058
movq 0xa0(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
jmp 0x1a04e
jmp 0x19fac
movq %rax, %rbx
jmp 0x1a0cd
jmp 0x1a055
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x1a0cd
movq 0xc8(%rsp), %rax
jmp 0x1a0c0
movq %rax, %rbx
jmp 0x1a065
movq %rax, %rbx
leaq 0x160(%rsp), %rdi
callq 0xc1d0
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x1a15b
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
jmp 0x1a15b
jmp 0x1a158
jmp 0x1a02a
jmp 0x1a02a
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x1f248
jmp 0x1a058
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x1a058
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x1a058
movq %rax, %rbx
leaq 0x180(%rsp), %rdi
callq 0x948a
movq 0x160(%rsp), %rdi
testq %rdi, %rdi
je 0x1a082
movq 0x170(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x1a09f
movq 0x130(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
leaq 0xb8(%rsp), %rdi
callq 0xe596
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x1a0cd
movq 0x30(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x140(%rsp), %rdi
jmp 0x1a1b8
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1a0fe
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x7200
jmp 0x1a0fe
movq %rax, %rbx
leaq 0x160(%rsp), %rdi
callq 0x948a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1a122
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x1a14c
movq 0xc8(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x90(%rsp), %rdi
jmp 0x1a1b8
jmp 0x1a158
movq %rax, %rbx
leaq 0x120(%rsp), %rdi
callq 0xc1d0
leaq 0x188(%rsp), %rdi
callq 0x948a
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x1a192
movq 0x150(%rsp), %rsi
subq %rdi, %rsi
callq 0x7200
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x1a1b3
movq 0x70(%rsp), %rax
leaq 0x4(,%rax,4), %rsi
callq 0x7200
leaq 0x40(%rsp), %rdi
callq 0xc1d0
movq %rbx, %rdi
callq 0x7360