// File: /workspace/github_c_makefile_star2_O1/mohuangrui[P]ArtraCFD/case_loader.c
// Function: LoadCaseData
void LoadCaseData(Time *time, Space *space, Model *model)
{
    ReadCaseSettingData(time, space, model);
    ReadGeometrySettingData(&(space->geo));
    WriteVerifyData(time, space, model);
    CheckCaseSettingData(time, space, model);
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x258, %rsp            # imm = 0x258
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, 0x10(%rsp)
leaq 0x28(%rsi), %rax
movq %rax, 0x38(%rsp)
movl $0x1c, %edi
callq 0x911c
movq %rax, 0x3b8(%rbx)
movl $0x54, %edi
callq 0x911c
movq %rax, 0x3c0(%rbx)
movl $0x150, %edi            # imm = 0x150
callq 0x911c
movq %rax, 0x3c8(%rbx)
movl $0x28, %edi
callq 0x911c
movq %rax, 0x3d8(%rbx)
movl $0x230, %edi            # imm = 0x230
callq 0x911c
movq %rax, 0x3e0(%rbx)
movl $0x1388, %edi           # imm = 0x1388
callq 0x911c
movq %rbx, (%rsp)
movq %rax, 0x3e8(%rbx)
leaq 0x1512a(%rip), %rdi     # 0x1a868
leaq 0x17f1e(%rip), %rsi     # 0x1d663
callq 0x9269
movq %rax, %r13
leaq 0x160(%rsp), %r12
xorl %ebx, %ebx
movl $0xc8, %edx
movq %r12, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x18311(%rip), %rdi     # 0x1da7e
callq 0x8fb6
movq %rax, 0x20(%rsp)
leaq 0x182f6(%rip), %rdi     # 0x1da74
callq 0x8fb6
movq %rax, 0x18(%rsp)
movq %r12, %rdi
movl $0xc8, %esi
movq %r13, %rdx
callq 0x2120
testq %rax, %rax
movq %r14, 0x8(%rsp)
je 0x656f
movabsq $0x6e69676562206e, %rax # imm = 0x6E69676562206E
movabsq $0x6f6974617a696c61, %rcx # imm = 0x6F6974617A696C61
movq 0x10(%rsp), %rdx
leaq 0x10(%rdx), %rsi
movq %rsi, 0x28(%rsp)
leaq 0xc(%rdx), %rsi
movq %rsi, 0x30(%rsp)
leaq 0x20(%rdx), %rsi
movq %rsi, 0x60(%rsp)
leaq 0x24(%rdx), %rsi
movq %rsi, 0x58(%rsp)
leaq 0x28(%rdx), %rsi
movq %rsi, 0x50(%rsp)
leaq 0x2c(%rdx), %rsi
movq %rsi, 0x48(%rsp)
leaq 0x14(%rdx), %rsi
movq %rsi, 0x70(%rsp)
leaq 0x18(%rdx), %rsi
movq %rsi, 0x68(%rsp)
leaq 0x58(%r14), %rsi
movq %rsi, 0x90(%rsp)
leaq 0x60(%r14), %rsi
movq %rsi, 0x88(%rsp)
leaq 0x68(%r14), %rsi
movq %rsi, 0x80(%rsp)
leaq 0x70(%r14), %rsi
movq %rsi, 0x78(%rsp)
movq %rcx, %xmm2
leaq 0x24(%r14), %rcx
movq %rcx, 0xc0(%rsp)
movq %rax, %xmm0
movabsq $0x7261646e756f6220, %rax # imm = 0x7261646E756F6220
movq %rax, %xmm3
movabsq $0x6e696765622079, %rax # imm = 0x6E696765622079
movq %rax, %xmm1
leaq 0x38(%r14), %rax
movq %rax, 0xb8(%rsp)
punpcklqdq %xmm0, %xmm2    # xmm2 = xmm2[0],xmm0[0]
movdqa %xmm2, 0x240(%rsp)
punpcklqdq %xmm1, %xmm3    # xmm3 = xmm3[0],xmm1[0]
movdqa %xmm3, 0x230(%rsp)
leaq 0x28(%r14), %rax
movq %rax, 0xb0(%rsp)
leaq 0x78(%r14), %rax
movq %rax, 0xa8(%rsp)
leaq 0x80(%r14), %rax
movq %rax, 0xa0(%rsp)
leaq 0x88(%r14), %rax
movq %rax, 0x98(%rsp)
leaq 0x4(%r14), %rax
movq %rax, 0xf0(%rsp)
leaq 0x10(%r14), %rax
movq %rax, 0xe8(%rsp)
leaq 0x14(%r14), %rax
movq %rax, 0xe0(%rsp)
leaq 0x18(%r14), %rax
movq %rax, 0xd8(%rsp)
leaq 0x1c(%r14), %rax
movq %rax, 0xd0(%rsp)
leaq 0x20(%r14), %rax
movq %rax, 0xc8(%rsp)
leaq 0x40(%rdx), %rax
movq %rax, 0x118(%rsp)
leaq 0x50(%rdx), %rax
movq %rax, 0x110(%rsp)
leaq 0x4(%rdx), %rax
movq %rax, 0x108(%rsp)
leaq 0x30(%rdx), %rax
movq %rax, 0x100(%rsp)
leaq 0x34(%rdx), %rax
movq %rax, 0xf8(%rsp)
movq (%rsp), %rax
leaq 0x3f0(%rax), %rcx
movq %rcx, 0x158(%rsp)
leaq 0x400(%rax), %rcx
movq %rcx, 0x150(%rsp)
leaq 0x410(%rax), %rcx
movq %rcx, 0x148(%rsp)
leaq 0x3f8(%rax), %rcx
movq %rcx, 0x140(%rsp)
leaq 0x408(%rax), %rcx
movq %rcx, 0x138(%rsp)
leaq 0x418(%rax), %rcx
movq %rcx, 0x130(%rsp)
leaq 0x2c(%rax), %rcx
movq %rcx, 0x128(%rsp)
addq $0x30, %rax
movq %rax, 0x120(%rsp)
leaq 0x160(%rsp), %rbp
xorl %ebx, %ebx
movq %rbp, %r15
movq %rbp, %rdi
callq 0x8e6c
movq 0x160(%rsp), %rax
movabsq $0x6562206563617073, %rcx # imm = 0x6562206563617073
xorq %rcx, %rax
movl 0x168(%rsp), %ecx
xorq $0x6e6967, %rcx         # imm = 0x6E6967
orq %rax, %rcx
je 0x5e71
movq 0x160(%rsp), %rax
movabsq $0x67656220656d6974, %rcx # imm = 0x67656220656D6974
xorq %rcx, %rax
movq 0x163(%rsp), %rcx
movabsq $0x6e696765622065, %rdx # imm = 0x6E696765622065
xorq %rdx, %rcx
orq %rax, %rcx
je 0x5efc
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x16fdd(%rip), %xmm0    # 0x1ca20
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x5fa1
movq 0x160(%rsp), %rax
movabsq $0x6c6169726574616d, %rcx # imm = 0x6C6169726574616D
xorq %rcx, %rax
movabsq $0x6e696765622065, %rcx # imm = 0x6E696765622065
addq $0x7, %rcx
xorq 0x167(%rsp), %rcx
orq %rax, %rcx
je 0x6059
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x16f99(%rip), %xmm0    # 0x1ca30
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x60dc
movdqu 0x165(%rsp), %xmm0
movdqa 0x240(%rsp), %xmm2
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16f73(%rip), %xmm1    # 0x1ca40
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6169
movd 0x170(%rsp), %xmm0
movd 0x16f5f(%rip), %xmm4    # 0x1ca50
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16f5a(%rip), %xmm1    # 0x1ca60
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61b6
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16f39(%rip), %xmm1    # 0x1ca70
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61c6
movdqu 0x165(%rsp), %xmm0
pcmpeqb 0x16f25(%rip), %xmm0    # 0x1ca80
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16f24(%rip), %xmm1    # 0x1ca90
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61d6
movdqu 0x165(%rsp), %xmm0
movdqa 0x230(%rsp), %xmm3
pcmpeqb %xmm3, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16efa(%rip), %xmm1    # 0x1caa0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61e6
movdqu 0x165(%rsp), %xmm0
pcmpeqb %xmm3, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16ed9(%rip), %xmm1    # 0x1cab0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61f6
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16eb8(%rip), %xmm1    # 0x1cac0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6206
movdqu 0x16b(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16e97(%rip), %xmm1    # 0x1cad0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x621e
movdqu 0x16c(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16e76(%rip), %xmm1    # 0x1cae0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6239
movdqu 0x169(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16e55(%rip), %xmm1    # 0x1caf0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6287
movdqu 0x16e(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16e34(%rip), %xmm1    # 0x1cb00
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6315
movzwl 0x170(%rsp), %eax
movd %eax, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16e14(%rip), %xmm1    # 0x1cb10
pcmpeqb 0x16e1c(%rip), %xmm0    # 0x1cb20
pand %xmm1, %xmm0
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6405
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16dfb(%rip), %xmm1    # 0x1cb30
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
movq 0x8(%rsp), %r14
je 0x64b6
movzwl 0x170(%rsp), %eax
movd %eax, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16dd6(%rip), %xmm1    # 0x1cb40
pcmpeqb 0x16dae(%rip), %xmm0    # 0x1cb20
pand %xmm1, %xmm0
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6517
movq 0x168(%rsp), %rax
movabsq $0x6e69676562206562, %rcx # imm = 0x6E69676562206562
xorq %rcx, %rax
movq 0x160(%rsp), %rcx
movabsq $0x6f727020656e696c, %rdx # imm = 0x6F727020656E696C
xorq %rdx, %rcx
movzbl 0x170(%rsp), %edx
orq %rcx, %rdx
orq %rax, %rdx
jne 0x6148
movq 0x28(%rsp), %rax
cmpl $0x0, (%rax)
jle 0x6148
movl $0x30, %r14d
xorl %ecx, %ecx
movq %rcx, 0x40(%rsp)
movq 0x10(%rsp), %rbp
movq 0x60(%rbp), %rax
leaq (%rax,%r14), %rcx
addq $-0x30, %rcx
leaq -0x28(%rax,%r14), %r8
leaq -0x20(%rax,%r14), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %r12
movq %r12, %rdx
xorl %eax, %eax
callq 0x941f
movq 0x60(%rbp), %rax
leaq (%rax,%r14), %rcx
addq $-0x18, %rcx
leaq -0x10(%rax,%r14), %r8
leaq -0x8(%rax,%r14), %r9
movq %r13, %rdi
movl $0x3, %esi
movq %r12, %rdx
xorl %eax, %eax
callq 0x941f
movq 0x60(%rbp), %rcx
addq %r14, %rcx
movq %r13, %rdi
movl $0x1, %esi
movq 0x20(%rsp), %rdx
xorl %eax, %eax
callq 0x941f
movq 0x40(%rsp), %rcx
incq %rcx
movslq 0x10(%rbp), %rax
addq $0x38, %r14
cmpq %rax, %rcx
jl 0x5dd9
jmp 0x63fb
incl %ebx
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rbp
movq %rbp, %rdx
movq 0x158(%rsp), %rcx
movq 0x150(%rsp), %r8
movq 0x148(%rsp), %r9
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x3, %esi
movq %rbp, %rdx
movq 0x140(%rsp), %rcx
movq 0x138(%rsp), %r8
movq 0x130(%rsp), %r9
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x3, %esi
leaq 0x16ca5(%rip), %rdx     # 0x1cb80
movq 0x38(%rsp), %rcx
movq 0x128(%rsp), %r8
movq 0x120(%rsp), %r9
xorl %eax, %eax
callq 0x941f
jmp 0x6148
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
leaq 0x1915b(%rip), %r12     # 0x1f068
movq %r12, %rdx
movq 0x10(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq 0x20(%rsp), %rbp
movq %rbp, %rdx
movq 0x118(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0x110(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x108(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x100(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xf8(%rsp), %rcx
jmp 0x6141
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
leaq 0x190b6(%rip), %rbp     # 0x1f068
movq %rbp, %rdx
movq %r14, %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xf0(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xe8(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xe0(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xd8(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xd0(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0xc8(%rsp), %rcx
jmp 0x6141
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
leaq 0x18ffe(%rip), %r12     # 0x1f068
movq %r12, %rdx
movq 0xc0(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq 0x20(%rsp), %rdx
movq 0xb8(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xb0(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rdx
movq 0xa8(%rsp), %rcx
movq 0xa0(%rsp), %r8
movq 0x98(%rsp), %r9
jmp 0x5ef0
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
movq 0x20(%rsp), %rbp
movq %rbp, %rdx
movq 0x90(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0x88(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0x80(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
movq 0x78(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r15, %rdi
movl $0xc8, %esi
movq %r13, %rdx
callq 0x2120
testq %rax, %rax
movq %r15, %rbp
jne 0x59c8
jmp 0x656f
incl %ebx
movq %r14, %r12
movq (%rsp), %r14
xorl %ecx, %ecx
movl %ecx, 0x3d0(%r14)
movq 0x3d8(%r14), %rax
movl %ecx, (%rax)
movslq 0x3d0(%r14), %rax
imulq $0x1f4, %rax, %rcx      # imm = 0x1F4
addq 0x3e8(%r14), %rcx
movq %r13, %rdi
leaq 0x1754b(%rip), %rsi     # 0x1d6ee
xorl %edx, %edx
callq 0x7264
incl 0x3d0(%r14)
movq %r12, %r14
jmp 0x6148
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x1, %edx
jmp 0x6214
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x2, %edx
jmp 0x6214
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x3, %edx
jmp 0x6214
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x4, %edx
jmp 0x6214
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x5, %edx
jmp 0x6214
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x6, %edx
callq 0x7302
jmp 0x6148
movq (%rsp), %r14
movq 0x3d8(%r14), %rax
movslq 0x3d0(%r14), %rcx
movl $0x1, (%rax,%rcx,4)
jmp 0x62a0
movq (%rsp), %r14
movq 0x3d8(%r14), %rax
movslq 0x3d0(%r14), %rcx
movl $0x2, (%rax,%rcx,4)
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
leaq (%rax,%rdx), %r8
addq $0x8, %r8
leaq 0x10(%rax,%rdx), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rdx
jmp 0x639a
movq (%rsp), %r14
movq 0x3d8(%r14), %rax
movslq 0x3d0(%r14), %rcx
movl $0x3, (%rax,%rcx,4)
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
leaq (%rax,%rdx), %r8
addq $0x8, %r8
leaq 0x10(%rax,%rdx), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rbp
movq %rbp, %rdx
xorl %eax, %eax
callq 0x941f
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
addq $0x18, %rcx
leaq 0x20(%rax,%rdx), %r8
leaq 0x28(%rax,%rdx), %r9
movq %r13, %rdi
movl $0x3, %esi
movq %rbp, %rdx
xorl %eax, %eax
callq 0x941f
jmp 0x63ce
movq (%rsp), %r14
movq 0x3d8(%r14), %rax
movslq 0x3d0(%r14), %rcx
movl $0x4, (%rax,%rcx,4)
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
leaq (%rax,%rdx), %r8
addq $0x8, %r8
leaq 0x10(%rax,%rdx), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rbp
movq %rbp, %rdx
xorl %eax, %eax
callq 0x941f
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
addq $0x18, %rcx
leaq 0x20(%rax,%rdx), %r8
leaq (%rax,%rdx), %r9
addq $0x28, %r9
movq %r13, %rdi
movl $0x3, %esi
movq %rbp, %rdx
xorl %eax, %eax
callq 0x941f
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rcx
addq %rax, %rcx
addq $0x30, %rcx
movq %r13, %rdi
movl $0x1, %esi
movq 0x20(%rsp), %rdx
xorl %eax, %eax
callq 0x941f
movslq 0x3d0(%r14), %rax
imulq $0x1f4, %rax, %rcx      # imm = 0x1F4
addq 0x3e8(%r14), %rcx
movq %r13, %rdi
leaq 0x17301(%rip), %rsi     # 0x1d6ee
xorl %edx, %edx
callq 0x7264
incl 0x3d0(%r14)
movq 0x8(%rsp), %r14
jmp 0x6148
movq %r13, %rdi
movl $0x1, %esi
leaq 0x18c54(%rip), %r12     # 0x1f068
movq %r12, %rdx
movq 0x30(%rsp), %r14
movq %r14, %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x28(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x70(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x68(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movslq (%r14), %rax
testq %rax, %rax
movq 0x8(%rsp), %r14
jle 0x648e
shlq $0x3, %rax
leaq (%rax,%rax,2), %rdi
callq 0x911c
movq 0x10(%rsp), %rcx
movq %rax, 0x58(%rcx)
movq 0x28(%rsp), %rax
movslq (%rax), %rax
testq %rax, %rax
jle 0x6148
imulq $0x38, %rax, %rdi
callq 0x911c
movq 0x10(%rsp), %rcx
movq %rax, 0x60(%rcx)
jmp 0x6148
movq %r13, %rdi
movl $0x1, %esi
leaq 0x18ba3(%rip), %r12     # 0x1f068
movq %r12, %rdx
movq 0x60(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x58(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x50(%rsp), %rcx
xorl %eax, %eax
callq 0x941f
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x48(%rsp), %rcx
jmp 0x6141
movq 0x30(%rsp), %rax
cmpl $0x0, (%rax)
jle 0x6148
xorl %r14d, %r14d
xorl %ebp, %ebp
movq 0x10(%rsp), %r12
movq 0x58(%r12), %rax
leaq (%rax,%r14), %rcx
leaq (%rax,%r14), %r8
addq $0x8, %r8
leaq 0x10(%rax,%r14), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x18(%rsp), %rdx
xorl %eax, %eax
callq 0x941f
incq %rbp
movslq 0xc(%r12), %rax
addq $0x18, %r14
cmpq %rax, %rbp
jl 0x652f
jmp 0x63fb
movq %r14, %rbp
movq %r13, %rdi
callq 0x2080
cmpl $0xc, %ebx
je 0x6596
leaq 0x16771(%rip), %rdi     # 0x1ccf7
leaq 0x142db(%rip), %rsi     # 0x1a868
movl %ebx, %edx
xorl %eax, %eax
callq 0x8fba
leaq 0x15960(%rip), %rdi     # 0x1befd
leaq 0x170bf(%rip), %rsi     # 0x1d663
callq 0x9269
movq %rax, %rbx
leaq 0x160(%rsp), %r12
movl $0xc8, %edx
movq %r12, %rdi
xorl %esi, %esi
callq 0x20d0
movabsq $0x656220746e756f63, %r14 # imm = 0x656220746E756F63
movq %r12, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x6649
movq %r12, %rdi
callq 0x8e6c
movq 0x160(%rsp), %rax
xorq %r14, %rax
movl 0x168(%rsp), %ecx
xorq $0x6e6967, %rcx         # imm = 0x6E6967
orq %rax, %rcx
jne 0x65cd
movq (%rsp), %r15
leaq 0xc(%r15), %rcx
leaq 0x18a51(%rip), %r12     # 0x1f068
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
xorl %eax, %eax
callq 0x941f
leaq 0x10(%r15), %rcx
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
xorl %eax, %eax
callq 0x941f
movq %rbx, %rdi
callq 0x2080
jmp 0x666c
movq %rbx, %rdi
callq 0x2080
leaq 0x1669f(%rip), %rdi     # 0x1ccf7
leaq 0x1589e(%rip), %rsi     # 0x1befd
xorl %edx, %edx
xorl %eax, %eax
callq 0x8fba
movq (%rsp), %r15
leaq 0x166f8(%rip), %rdi     # 0x1cd6b
leaq 0x166ae(%rip), %rsi     # 0x1cd28
callq 0x9269
movq %rax, %rbx
leaq 0x141ed(%rip), %r12     # 0x1a876
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rax, %rcx
callq 0x2200
leaq 0x14222(%rip), %r13     # 0x1a8c7
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x166ba(%rip), %rdi     # 0x1cd7b
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x14487(%rip), %r13     # 0x1aba0
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1446e(%rip), %rdi     # 0x1aba3
movl $0x2e, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movsd 0x3f0(%r15), %xmm0
movsd 0x400(%r15), %xmm1
movsd 0x410(%r15), %xmm2
leaq 0x16639(%rip), %rsi     # 0x1cdcc
movq %rbx, %rdi
movb $0x3, %al
callq 0x2150
movsd 0x3f8(%r15), %xmm0
movsd 0x408(%r15), %xmm1
movsd 0x418(%r15), %xmm2
leaq 0x16631(%rip), %rsi     # 0x1cdf0
movq %rbx, %rdi
movb $0x3, %al
callq 0x2150
movl 0x28(%r15), %edx
movl 0x2c(%r15), %ecx
movl 0x30(%r15), %r8d
leaq 0x16638(%rip), %rsi     # 0x1ce14
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1446b(%rip), %rdi     # 0x1ac82
movl $0x2d, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movq 0x10(%rsp), %r14
movl (%r14), %edx
leaq 0x165ca(%rip), %rsi     # 0x1ce2c
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movsd 0x40(%r14), %xmm0
leaq 0x165cb(%rip), %rsi     # 0x1ce44
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movsd 0x50(%r14), %xmm0
leaq 0x165cc(%rip), %rsi     # 0x1ce5c
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movl 0x4(%r14), %edx
leaq 0x165d3(%rip), %rsi     # 0x1ce78
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x30(%r14), %edx
leaq 0x165db(%rip), %rsi     # 0x1ce95
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x34(%r14), %edx
leaq 0x165e8(%rip), %rsi     # 0x1ceb7
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x14516(%rip), %rdi     # 0x1ae20
movl $0x30, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl (%rbp), %edx
leaq 0x1657a(%rip), %rsi     # 0x1ceca
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x4(%rbp), %edx
leaq 0x1657b(%rip), %rsi     # 0x1cedf
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x10(%rbp), %edx
leaq 0x1657b(%rip), %rsi     # 0x1cef3
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x14(%rbp), %edx
leaq 0x1657f(%rip), %rsi     # 0x1cf0b
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x18(%rbp), %edx
leaq 0x16581(%rip), %rsi     # 0x1cf21
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x1c(%rbp), %edx
leaq 0x16588(%rip), %rsi     # 0x1cf3c
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x20(%rbp), %edx
leaq 0x1658b(%rip), %rsi     # 0x1cf53
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1656f(%rip), %rdi     # 0x1cf72
movl $0x32, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl 0x24(%rbp), %edx
leaq 0x1655c(%rip), %rsi     # 0x1cfa5
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movsd 0x38(%rbp), %xmm0
leaq 0x16554(%rip), %rsi     # 0x1cfb3
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movl 0x28(%rbp), %edx
leaq 0x16555(%rip), %rsi     # 0x1cfc8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movsd 0x78(%rbp), %xmm0
movsd 0x80(%rbp), %xmm1
movsd 0x88(%rbp), %xmm2
leaq 0x16542(%rip), %rsi     # 0x1cfdb
movq %rbx, %rdi
movb $0x3, %al
callq 0x2150
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1469e(%rip), %rdi     # 0x1b172
movl $0x31, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movsd 0x58(%rbp), %xmm0
leaq 0x164e1(%rip), %rsi     # 0x1cffd
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movsd 0x60(%rbp), %xmm0
leaq 0x164d9(%rip), %rsi     # 0x1d00b
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movsd 0x68(%rbp), %xmm0
leaq 0x1687c(%rip), %rsi     # 0x1d3c4
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movsd 0x70(%rbp), %xmm0
leaq 0x164bc(%rip), %rsi     # 0x1d01a
movq %rbx, %rdi
movb $0x1, %al
callq 0x2150
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x16494(%rip), %rdi     # 0x1d02d
movl $0x2b, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x7492
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x16446(%rip), %rdi     # 0x1d059
movl $0x2f, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1641e(%rip), %rdi     # 0x1d089
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x1, %ebp
movq %rbx, %rdi
movq %r15, %rsi
movl $0x1, %edx
callq 0x773e
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x163e8(%rip), %rdi     # 0x1d096
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl $0x2, %edx
callq 0x773e
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x163b7(%rip), %rdi     # 0x1d0a3
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl $0x3, %edx
callq 0x773e
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x16387(%rip), %rdi     # 0x1d0b1
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl $0x4, %edx
callq 0x773e
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x16357(%rip), %rdi     # 0x1d0bf
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl $0x5, %edx
callq 0x773e
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x16327(%rip), %rdi     # 0x1d0cd
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl $0x6, %edx
callq 0x773e
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x1487c(%rip), %rdi     # 0x1b675
movl $0x31, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
cmpl $0x2, 0x3d0(%r15)
jl 0x6e73
leaq 0x13d5a(%rip), %r12     # 0x1aba0
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
movq %r15, %rsi
movl %ebp, %edx
callq 0x7492
incl %ebp
cmpl 0x3d0(%r15), %ebp
jl 0x6e46
leaq 0x139fc(%rip), %r13     # 0x1a876
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x13d0a(%rip), %r12     # 0x1aba0
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
leaq 0x14cbf(%rip), %rdi     # 0x1bb71
movl $0x2d, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq 0x2200
movq 0x10(%rsp), %r13
movl 0xc(%r13), %edx
leaq 0x161dc(%rip), %rsi     # 0x1d0da
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x10(%r13), %edx
leaq 0x161de(%rip), %rsi     # 0x1d0f1
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x14(%r13), %edx
leaq 0x161df(%rip), %rsi     # 0x1d107
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x18(%r13), %edx
leaq 0x161e1(%rip), %rsi     # 0x1d11e
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl 0x20(%r13), %edx
leaq 0x161ce(%rip), %rsi     # 0x1d135
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x24(%r13), %edx
leaq 0x161dc(%rip), %rsi     # 0x1d158
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x28(%r13), %edx
leaq 0x161e9(%rip), %rsi     # 0x1d17a
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl 0x2c(%r13), %edx
leaq 0x16200(%rip), %rsi     # 0x1d1a6
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2150
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
cmpl $0x0, 0xc(%r13)
jle 0x7011
movl $0x10, %r14d
xorl %r15d, %r15d
leaq 0x161ef(%rip), %r12     # 0x1d1cb
movq 0x58(%r13), %rax
movsd -0x10(%rax,%r14), %xmm0
movsd -0x8(%rax,%r14), %xmm1
movsd (%rax,%r14), %xmm2
movq %rbx, %rdi
movq %r12, %rsi
movb $0x3, %al
callq 0x2150
incq %r15
movslq 0xc(%r13), %rax
addq $0x18, %r14
cmpq %rax, %r15
jl 0x6fdc
leaq 0x13b88(%rip), %rdi     # 0x1aba0
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x2200
cmpl $0x0, 0x10(%r13)
jle 0x70c0
xorl %r15d, %r15d
leaq 0x161dc(%rip), %r12     # 0x1d21b
leaq 0x161fe(%rip), %rbp     # 0x1d244
xorl %r14d, %r14d
movq 0x60(%r13), %rax
movsd (%rax,%r15), %xmm0
movsd 0x8(%rax,%r15), %xmm1
movsd 0x10(%rax,%r15), %xmm2
movq %rbx, %rdi
leaq 0x16187(%rip), %rsi     # 0x1d1f2
movb $0x3, %al
callq 0x2150
movq 0x60(%r13), %rax
movsd 0x18(%rax,%r15), %xmm0
movsd 0x20(%rax,%r15), %xmm1
movsd 0x28(%rax,%r15), %xmm2
movq %rbx, %rdi
movq %r12, %rsi
movb $0x3, %al
callq 0x2150
movq 0x60(%r13), %rax
movsd 0x30(%rax,%r15), %xmm0
movq %rbx, %rdi
movq %rbp, %rsi
movb $0x1, %al
callq 0x2150
incq %r14
movslq 0x10(%r13), %rax
addq $0x38, %r15
cmpq %rax, %r14
jl 0x7049
leaq 0x137af(%rip), %r12     # 0x1a876
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x2200
movq %rbx, %rdi
callq 0x2080
movq (%rsp), %r15
movsd 0x3f8(%r15), %xmm1
subsd 0x3f0(%r15), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jae 0x714d
movsd 0x408(%r15), %xmm1
subsd 0x400(%r15), %xmm1
ucomisd %xmm1, %xmm0
jae 0x714d
movsd 0x418(%r15), %xmm0
subsd 0x410(%r15), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
jb 0x715b
leaq 0x16347(%rip), %rdi     # 0x1d49b
xorl %eax, %eax
callq 0x8fba
movq 0x38(%rsp), %rax
cmpl $0x0, (%rax)
movq 0x8(%rsp), %rbx
movq 0x10(%rsp), %r14
jle 0x717d
cmpl $0x0, 0x2c(%r15)
jle 0x717d
cmpl $0x0, 0x30(%r15)
jg 0x718b
leaq 0x1633b(%rip), %rdi     # 0x1d4bf
xorl %eax, %eax
callq 0x8fba
cmpl $0x0, 0x420(%r15)
jle 0x71a9
cmpl $0x0, 0x424(%r15)
jle 0x71a9
cmpl $0x0, 0x428(%r15)
jg 0x71b7
leaq 0x1632e(%rip), %rdi     # 0x1d4de
xorl %eax, %eax
callq 0x8fba
cmpl $0x0, (%r14)
js 0x71d1
xorpd %xmm0, %xmm0
ucomisd 0x40(%r14), %xmm0
jae 0x71d1
ucomisd 0x50(%r14), %xmm0
jb 0x71df
leaq 0x1632a(%rip), %rdi     # 0x1d502
xorl %eax, %eax
callq 0x8fba
cmpl $0x0, (%rbx)
js 0x7202
cmpl $0x0, 0x4(%rbx)
js 0x7202
cmpl $0x0, 0x10(%rbx)
js 0x7202
cmpl $0x0, 0x14(%rbx)
js 0x7202
cmpl $0x0, 0x18(%rbx)
js 0x7202
cmpl $0x0, 0x1c(%rbx)
jns 0x7210
leaq 0x16327(%rip), %rdi     # 0x1d530
xorl %eax, %eax
callq 0x8fba
cmpl $0x0, 0x24(%rbx)
jns 0x7224
leaq 0x16346(%rip), %rdi     # 0x1d563
xorl %eax, %eax
callq 0x8fba
xorpd %xmm0, %xmm0
ucomisd 0x58(%rbx), %xmm0
jae 0x7244
ucomisd 0x60(%rbx), %xmm0
jae 0x7244
ucomisd 0x68(%rbx), %xmm0
jae 0x7244
ucomisd 0x70(%rbx), %xmm0
jb 0x7252
leaq 0x1633d(%rip), %rdi     # 0x1d588
xorl %eax, %eax
callq 0x8fba
addq $0x258, %rsp            # imm = 0x258
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq