// File: /workspace/github_c_makefile_star2_O3/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, %r15
movq %rdi, %rbp
leaq 0x28(%rsi), %rax
movq %rax, 0x38(%rsp)
movl $0x1c, %edi
callq 0x8ee0
movq %rax, 0x3b8(%r15)
movl $0x54, %edi
callq 0x8ee0
movq %rax, 0x3c0(%r15)
movl $0x150, %edi            # imm = 0x150
callq 0x8ee0
movq %rax, 0x3c8(%r15)
movl $0x28, %edi
callq 0x8ee0
movq %rax, 0x3d8(%r15)
movl $0x230, %edi            # imm = 0x230
callq 0x8ee0
movq %rax, 0x3e0(%r15)
movl $0x1388, %edi           # imm = 0x1388
callq 0x8ee0
movq %rax, 0x3e8(%r15)
leaq 0x142c0(%rip), %rdi     # 0x19868
leaq 0x170f4(%rip), %rsi     # 0x1c6a3
callq 0x9026
movq %rax, %r13
leaq 0x160(%rsp), %rbx
movl $0xc8, %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x17529(%rip), %rdi     # 0x1cafe
callq 0x8d7a
movq %rax, %r12
leaq 0x17510(%rip), %rdi     # 0x1caf4
callq 0x8d7a
movq %rax, 0x10(%rsp)
movq %rbx, %rdi
movl $0xc8, %esi
movq %r13, %rdx
callq 0x2120
testq %rax, %rax
movq %rbp, 0x8(%rsp)
movq %r15, (%rsp)
movq %r14, 0x28(%rsp)
je 0x6455
movq %r12, 0x18(%rsp)
movabsq $0x6e69676562206e, %rax # imm = 0x6E69676562206E
movabsq $0x6f6974617a696c61, %rcx # imm = 0x6F6974617A696C61
leaq 0x10(%rbp), %rdx
movq %rdx, 0x20(%rsp)
leaq 0xc(%rbp), %rdx
movq %rdx, 0x30(%rsp)
leaq 0x20(%rbp), %rdx
movq %rdx, 0x60(%rsp)
leaq 0x24(%rbp), %rdx
movq %rdx, 0x58(%rsp)
leaq 0x28(%rbp), %rdx
movq %rdx, 0x50(%rsp)
leaq 0x2c(%rbp), %rdx
movq %rdx, 0x48(%rsp)
leaq 0x14(%rbp), %rdx
movq %rdx, 0x70(%rsp)
leaq 0x18(%rbp), %rdx
movq %rdx, 0x68(%rsp)
leaq 0x58(%r14), %rdx
movq %rdx, 0x90(%rsp)
leaq 0x60(%r14), %rdx
movq %rdx, 0x88(%rsp)
leaq 0x68(%r14), %rdx
movq %rdx, 0x80(%rsp)
leaq 0x70(%r14), %rdx
movq %rdx, 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(%rbp), %rax
movq %rax, 0x118(%rsp)
leaq 0x50(%rbp), %rax
movq %rax, 0x110(%rsp)
leaq 0x4(%rbp), %rax
movq %rax, 0x108(%rsp)
leaq 0x30(%rbp), %rax
movq %rax, 0x100(%rsp)
leaq 0x34(%rbp), %rax
movq %rax, 0xf8(%rsp)
leaq 0x3f0(%r15), %rax
movq %rax, 0x158(%rsp)
leaq 0x400(%r15), %rax
movq %rax, 0x150(%rsp)
leaq 0x410(%r15), %rax
movq %rax, 0x148(%rsp)
leaq 0x3f8(%r15), %rax
movq %rax, 0x140(%rsp)
leaq 0x408(%r15), %rax
movq %rax, 0x138(%rsp)
leaq 0x418(%r15), %rax
movq %rax, 0x130(%rsp)
leaq 0x2c(%r15), %rax
movq %rax, 0x128(%rsp)
leaq 0x30(%r15), %rax
movq %rax, 0x120(%rsp)
leaq 0x160(%rsp), %rbp
movabsq $0x6562206563617073, %r14 # imm = 0x6562206563617073
leaq 0x188b6(%rip), %r12     # 0x1e0f8
xorl %ebx, %ebx
movq %rbp, %rdi
callq 0x8c2c
movq 0x160(%rsp), %rax
xorq %r14, %rax
movl 0x168(%rsp), %ecx
xorq $0x6e6967, %rcx         # imm = 0x6E6967
orq %rax, %rcx
je 0x5cea
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 0x5d75
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x1616e(%rip), %xmm0    # 0x1ba20
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x5e1d
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 0x5ed0
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x1612a(%rip), %xmm0    # 0x1ba30
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x5f4c
movdqu 0x165(%rsp), %xmm0
movdqa 0x240(%rsp), %xmm2
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16104(%rip), %xmm1    # 0x1ba40
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x5fe0
movd 0x170(%rsp), %xmm0
movd 0x160f0(%rip), %xmm4    # 0x1ba50
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x160eb(%rip), %xmm1    # 0x1ba60
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6031
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x160ca(%rip), %xmm1    # 0x1ba70
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6041
movdqu 0x165(%rsp), %xmm0
pcmpeqb 0x160b6(%rip), %xmm0    # 0x1ba80
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x160b5(%rip), %xmm1    # 0x1ba90
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6051
movdqu 0x165(%rsp), %xmm0
movdqa 0x230(%rsp), %xmm3
pcmpeqb %xmm3, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x1608b(%rip), %xmm1    # 0x1baa0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6061
movdqu 0x165(%rsp), %xmm0
pcmpeqb %xmm3, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x1606a(%rip), %xmm1    # 0x1bab0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6071
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16049(%rip), %xmm1    # 0x1bac0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6081
movdqu 0x16b(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16028(%rip), %xmm1    # 0x1bad0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6099
movdqu 0x16c(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x16007(%rip), %xmm1    # 0x1bae0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
movq 0x10(%rsp), %r10
je 0x6127
movdqu 0x169(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x15fe1(%rip), %xmm1    # 0x1baf0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x6173
movdqu 0x16e(%rsp), %xmm0
pcmpeqb %xmm2, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x15fc0(%rip), %xmm1    # 0x1bb00
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x61fe
movzwl 0x170(%rsp), %eax
movd %eax, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x15fa0(%rip), %xmm1    # 0x1bb10
pcmpeqb 0x15fa8(%rip), %xmm0    # 0x1bb20
pand %xmm1, %xmm0
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x62e6
movd 0x170(%rsp), %xmm0
pcmpeqb %xmm4, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x15f87(%rip), %xmm1    # 0x1bb30
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x638b
movzwl 0x170(%rsp), %eax
movd %eax, %xmm0
movdqa 0x160(%rsp), %xmm1
pcmpeqb 0x15f67(%rip), %xmm1    # 0x1bb40
pcmpeqb 0x15f3f(%rip), %xmm0    # 0x1bb20
pand %xmm1, %xmm0
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x63e5
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 0x5fc2
movq 0x20(%rsp), %rax
cmpl $0x0, (%rax)
jle 0x5fc2
movl $0x30, %r15d
xorl %ecx, %ecx
movq %rcx, 0x40(%rsp)
movq 0x8(%rsp), %rax
movq 0x60(%rax), %rax
leaq (%rax,%r15), %rcx
addq $-0x30, %rcx
leaq -0x28(%rax,%r15), %r8
leaq -0x20(%rax,%r15), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x10(%rsp), %r14
movq %r14, %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x8(%rsp), %rax
movq 0x60(%rax), %rax
leaq (%rax,%r15), %rcx
addq $-0x18, %rcx
leaq -0x10(%rax,%r15), %r8
leaq -0x8(%rax,%r15), %r9
movq %r13, %rdi
movl $0x3, %esi
movq %r14, %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x8(%rsp), %r14
movq 0x60(%r14), %rcx
addq %r15, %rcx
movq %r13, %rdi
movl $0x1, %esi
movq 0x18(%rsp), %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x40(%rsp), %rcx
incq %rcx
movslq 0x10(%r14), %rax
addq $0x38, %r15
cmpq %rax, %rcx
jl 0x5c48
jmp 0x6025
incl %ebx
movq %r13, %rdi
movl $0x3, %esi
movq 0x10(%rsp), %r15
movq %r15, %rdx
movq 0x158(%rsp), %rcx
movq 0x150(%rsp), %r8
movq 0x148(%rsp), %r9
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x3, %esi
movq %r15, %rdx
movq 0x140(%rsp), %rcx
movq 0x138(%rsp), %r8
movq 0x130(%rsp), %r9
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x3, %esi
leaq 0x15e2c(%rip), %rdx     # 0x1bb80
movq 0x38(%rsp), %rcx
movq 0x128(%rsp), %r8
movq 0x120(%rsp), %r9
xorl %eax, %eax
callq 0x91dc
jmp 0x5fc2
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x8(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq 0x18(%rsp), %r14
movq %r14, %rdx
movq 0x118(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r14, %rdx
movabsq $0x6562206563617073, %r14 # imm = 0x6562206563617073
movq 0x110(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x108(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x100(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xf8(%rsp), %rcx
jmp 0x5fbb
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x28(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xf0(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xe8(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xe0(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xd8(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xd0(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xc8(%rsp), %rcx
jmp 0x5fbb
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xc0(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq 0x18(%rsp), %rdx
movq 0xb8(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0xb0(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x3, %esi
movq 0x10(%rsp), %rdx
movq 0xa8(%rsp), %rcx
movq 0xa0(%rsp), %r8
movq 0x98(%rsp), %r9
jmp 0x5d69
incl %ebx
movq %r13, %rdi
movl $0x1, %esi
movq 0x18(%rsp), %r14
movq %r14, %rdx
movq 0x90(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r14, %rdx
movq 0x88(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r14, %rdx
movq 0x80(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r14, %rdx
movabsq $0x6562206563617073, %r14 # imm = 0x6562206563617073
movq 0x78(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %rbp, %rdi
movl $0xc8, %esi
movq %r13, %rdx
callq 0x2120
testq %rax, %rax
jne 0x5844
jmp 0x6441
incl %ebx
xorl %ecx, %ecx
movq (%rsp), %r15
movl %ecx, 0x3d0(%r15)
movq 0x3d8(%r15), %rax
movl %ecx, (%rax)
movslq 0x3d0(%r15), %rax
imulq $0x1f4, %rax, %rcx      # imm = 0x1F4
addq 0x3e8(%r15), %rcx
movq %r13, %rdi
leaq 0x16717(%rip), %rsi     # 0x1c72e
xorl %edx, %edx
callq 0x7150
incl 0x3d0(%r15)
movabsq $0x6562206563617073, %r14 # imm = 0x6562206563617073
jmp 0x5fc2
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x1, %edx
jmp 0x608f
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x2, %edx
jmp 0x608f
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x3, %edx
jmp 0x608f
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x4, %edx
jmp 0x608f
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x5, %edx
jmp 0x608f
incl %ebx
movq %r13, %rdi
movq (%rsp), %rsi
movl $0x6, %edx
callq 0x71ee
jmp 0x5fc2
movq (%rsp), %r15
movq 0x3d8(%r15), %rax
movslq 0x3d0(%r15), %rcx
movl $0x1, (%rax,%rcx,4)
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 0x10(%rsp), %r14
movq %r14, %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 %r14, %rdx
xorl %eax, %eax
callq 0x91dc
jmp 0x5ff8
movq (%rsp), %r15
movq 0x3d8(%r15), %rax
movslq 0x3d0(%r15), %rcx
movl $0x2, (%rax,%rcx,4)
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 %r10, %rdx
jmp 0x6280
movq (%rsp), %r15
movq 0x3d8(%r15), %rax
movslq 0x3d0(%r15), %rcx
movl $0x3, (%rax,%rcx,4)
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 %r10, %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x91dc
jmp 0x62b4
movq (%rsp), %r15
movq 0x3d8(%r15), %rax
movslq 0x3d0(%r15), %rcx
movl $0x4, (%rax,%rcx,4)
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 %r10, %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %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 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x91dc
movq 0x3e0(%r15), %rax
movslq 0x3d0(%r15), %rcx
imulq $0x38, %rcx, %rcx
addq %rax, %rcx
addq $0x30, %rcx
movq %r13, %rdi
movl $0x1, %esi
movq 0x18(%rsp), %rdx
xorl %eax, %eax
callq 0x91dc
movslq 0x3d0(%r15), %rax
imulq $0x1f4, %rax, %rcx      # imm = 0x1F4
addq 0x3e8(%r15), %rcx
movq %r13, %rdi
leaq 0x1645b(%rip), %rsi     # 0x1c72e
xorl %edx, %edx
callq 0x7150
incl 0x3d0(%r15)
jmp 0x5fc2
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x30(%rsp), %r15
movq %r15, %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x20(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x70(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x68(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movslq (%r15), %rax
testq %rax, %rax
jle 0x6363
shlq $0x3, %rax
leaq (%rax,%rax,2), %rdi
callq 0x8ee0
movq 0x8(%rsp), %rcx
movq %rax, 0x58(%rcx)
movq 0x20(%rsp), %rax
movslq (%rax), %rax
testq %rax, %rax
jle 0x5fc2
imulq $0x38, %rax, %rdi
callq 0x8ee0
movq 0x8(%rsp), %rcx
movq %rax, 0x60(%rcx)
jmp 0x5fc2
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x60(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x58(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x50(%rsp), %rcx
xorl %eax, %eax
callq 0x91dc
movq %r13, %rdi
movl $0x1, %esi
movq %r12, %rdx
movq 0x48(%rsp), %rcx
jmp 0x5fbb
movq 0x30(%rsp), %rax
cmpl $0x0, (%rax)
jle 0x5fc2
xorl %r14d, %r14d
xorl %r15d, %r15d
movq 0x8(%rsp), %rax
movq 0x58(%rax), %rax
leaq (%rax,%r14), %rcx
leaq (%rax,%r14), %r8
addq $0x8, %r8
leaq 0x10(%rax,%r14), %r9
movq %r13, %rdi
movl $0x3, %esi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x91dc
incq %r15
movq 0x8(%rsp), %rax
movslq 0xc(%rax), %rax
addq $0x18, %r14
cmpq %rax, %r15
jl 0x63f9
jmp 0x6025
movq %r13, %rdi
callq 0x2080
cmpl $0xc, %ebx
movq 0x8(%rsp), %rbp
jne 0x645f
jmp 0x6476
movq %r13, %rdi
callq 0x2080
xorl %ebx, %ebx
leaq 0x15891(%rip), %rdi     # 0x1bcf7
leaq 0x133fb(%rip), %rsi     # 0x19868
movl %ebx, %edx
xorl %eax, %eax
callq 0x8d7e
leaq 0x14a80(%rip), %rdi     # 0x1aefd
leaq 0x1621f(%rip), %rsi     # 0x1c6a3
callq 0x9026
movq %rax, %rbx
leaq 0x160(%rsp), %r12
movl $0xc8, %edx
movq %r12, %rdi
xorl %esi, %esi
callq 0x20d0
movabsq $0x656220746e756f63, %r14 # imm = 0x656220746E756F63
movq 0x28(%rsp), %r15
movq %r12, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x652e
movq %r12, %rdi
callq 0x8c2c
movq 0x160(%rsp), %rax
xorq %r14, %rax
movl 0x168(%rsp), %ecx
xorq $0x6e6967, %rcx         # imm = 0x6E6967
orq %rax, %rcx
jne 0x64b2
movq (%rsp), %r14
leaq 0xc(%r14), %rcx
leaq 0x17bfc(%rip), %r12     # 0x1e0f8
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
xorl %eax, %eax
callq 0x91dc
leaq 0x10(%r14), %rcx
movq %rbx, %rdi
movl $0x1, %esi
movq %r12, %rdx
xorl %eax, %eax
callq 0x91dc
movq %rbx, %rdi
callq 0x2080
jmp 0x6551
movq %rbx, %rdi
callq 0x2080
leaq 0x157ba(%rip), %rdi     # 0x1bcf7
leaq 0x149b9(%rip), %rsi     # 0x1aefd
xorl %edx, %edx
xorl %eax, %eax
callq 0x8d7e
movq (%rsp), %r14
leaq 0x15813(%rip), %rdi     # 0x1bd6b
leaq 0x157c9(%rip), %rsi     # 0x1bd28
callq 0x9026
movq %rax, %r12
leaq 0x13308(%rip), %rbx     # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %rax, %rcx
callq 0x2200
leaq 0x1333d(%rip), %r13     # 0x198c7
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x157d5(%rip), %rdi     # 0x1bd7b
movl $0x50, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x135a2(%rip), %r13     # 0x19ba0
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x13589(%rip), %rdi     # 0x19ba3
movl $0x2e, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movsd 0x3f0(%r14), %xmm0
movsd 0x400(%r14), %xmm1
movsd 0x410(%r14), %xmm2
leaq 0x15754(%rip), %rsi     # 0x1bdcc
movq %r12, %rdi
movb $0x3, %al
callq 0x2160
movsd 0x3f8(%r14), %xmm0
movsd 0x408(%r14), %xmm1
movsd 0x418(%r14), %xmm2
leaq 0x1574c(%rip), %rsi     # 0x1bdf0
movq %r12, %rdi
movb $0x3, %al
callq 0x2160
movl 0x28(%r14), %edx
movl 0x2c(%r14), %ecx
movl 0x30(%r14), %r8d
leaq 0x15753(%rip), %rsi     # 0x1be14
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x13586(%rip), %rdi     # 0x19c82
movl $0x2d, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl (%rbp), %edx
leaq 0x156ea(%rip), %rsi     # 0x1be2c
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x40(%rbp), %xmm0
leaq 0x156ec(%rip), %rsi     # 0x1be44
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x50(%rbp), %xmm0
leaq 0x156ee(%rip), %rsi     # 0x1be5c
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movl 0x4(%rbp), %edx
leaq 0x156f6(%rip), %rsi     # 0x1be78
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x30(%rbp), %edx
leaq 0x156ff(%rip), %rsi     # 0x1be95
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x34(%rbp), %edx
leaq 0x1570d(%rip), %rsi     # 0x1beb7
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1363b(%rip), %rdi     # 0x19e20
movl $0x30, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl (%r15), %edx
leaq 0x1569f(%rip), %rsi     # 0x1beca
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x4(%r15), %edx
leaq 0x1569f(%rip), %rsi     # 0x1bedf
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x10(%r15), %edx
leaq 0x1569e(%rip), %rsi     # 0x1bef3
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x14(%r15), %edx
leaq 0x156a1(%rip), %rsi     # 0x1bf0b
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x18(%r15), %edx
leaq 0x156a2(%rip), %rsi     # 0x1bf21
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x1c(%r15), %edx
leaq 0x156a8(%rip), %rsi     # 0x1bf3c
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x20(%r15), %edx
leaq 0x156aa(%rip), %rsi     # 0x1bf53
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1568e(%rip), %rdi     # 0x1bf72
movl $0x32, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl 0x24(%r15), %edx
leaq 0x1567a(%rip), %rsi     # 0x1bfa5
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x38(%r15), %xmm0
leaq 0x15671(%rip), %rsi     # 0x1bfb3
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movl 0x28(%r15), %edx
leaq 0x15671(%rip), %rsi     # 0x1bfc8
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x78(%r15), %xmm0
movsd 0x80(%r15), %xmm1
movsd 0x88(%r15), %xmm2
leaq 0x1565b(%rip), %rsi     # 0x1bfdb
movq %r12, %rdi
movb $0x3, %al
callq 0x2160
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x137b7(%rip), %rdi     # 0x1a172
movl $0x31, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movsd 0x58(%r15), %xmm0
leaq 0x155f9(%rip), %rsi     # 0x1bffd
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x60(%r15), %xmm0
leaq 0x155f0(%rip), %rsi     # 0x1c00b
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x68(%r15), %xmm0
leaq 0x15992(%rip), %rsi     # 0x1c3c4
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x70(%r15), %xmm0
leaq 0x155d1(%rip), %rsi     # 0x1c01a
movq %r12, %rdi
movb $0x1, %al
callq 0x2160
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x155a9(%rip), %rdi     # 0x1c02d
movl $0x2b, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x737e
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1555b(%rip), %rdi     # 0x1c059
movl $0x2f, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x15533(%rip), %rdi     # 0x1c089
movl $0xc, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x1, %ebp
movq %r12, %rdi
movq %r14, %rsi
movl $0x1, %edx
callq 0x762a
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x154fd(%rip), %rdi     # 0x1c096
movl $0xc, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl $0x2, %edx
callq 0x762a
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x154cc(%rip), %rdi     # 0x1c0a3
movl $0xd, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl $0x3, %edx
callq 0x762a
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1549c(%rip), %rdi     # 0x1c0b1
movl $0xd, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl $0x4, %edx
callq 0x762a
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1546c(%rip), %rdi     # 0x1c0bf
movl $0xd, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl $0x5, %edx
callq 0x762a
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x1543c(%rip), %rdi     # 0x1c0cd
movl $0xc, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl $0x6, %edx
callq 0x762a
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x13991(%rip), %rdi     # 0x1a675
movl $0x31, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
cmpl $0x2, 0x3d0(%r14)
jl 0x6d5e
leaq 0x12e6f(%rip), %rbx     # 0x19ba0
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x737e
incl %ebp
cmpl 0x3d0(%r14), %ebp
jl 0x6d31
leaq 0x12b11(%rip), %r13     # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x12e1f(%rip), %rbx     # 0x19ba0
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
leaq 0x13dd4(%rip), %rdi     # 0x1ab71
movl $0x2d, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %r13, %rdi
movq %r12, %rcx
callq 0x2200
movq 0x8(%rsp), %r13
movl 0xc(%r13), %edx
leaq 0x152f1(%rip), %rsi     # 0x1c0da
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x10(%r13), %edx
leaq 0x152f3(%rip), %rsi     # 0x1c0f1
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x14(%r13), %edx
leaq 0x152f4(%rip), %rsi     # 0x1c107
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x18(%r13), %edx
leaq 0x152f6(%rip), %rsi     # 0x1c11e
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl 0x20(%r13), %edx
leaq 0x152e3(%rip), %rsi     # 0x1c135
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x24(%r13), %edx
leaq 0x152f1(%rip), %rsi     # 0x1c158
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x28(%r13), %edx
leaq 0x152fe(%rip), %rsi     # 0x1c17a
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x2c(%r13), %edx
leaq 0x15315(%rip), %rsi     # 0x1c1a6
movq %r12, %rdi
xorl %eax, %eax
callq 0x2160
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
cmpl $0x0, 0xc(%r13)
jle 0x6efc
movl $0x10, %r14d
xorl %r15d, %r15d
leaq 0x15304(%rip), %rbx     # 0x1c1cb
movq 0x58(%r13), %rax
movsd -0x10(%rax,%r14), %xmm0
movsd -0x8(%rax,%r14), %xmm1
movsd (%rax,%r14), %xmm2
movq %r12, %rdi
movq %rbx, %rsi
movb $0x3, %al
callq 0x2160
incq %r15
movslq 0xc(%r13), %rax
addq $0x18, %r14
cmpq %rax, %r15
jl 0x6ec7
leaq 0x12c9d(%rip), %rdi     # 0x19ba0
movl $0x2, %esi
movl $0x1, %edx
movq %r12, %rcx
callq 0x2200
cmpl $0x0, 0x10(%r13)
jle 0x6fab
xorl %r15d, %r15d
leaq 0x152f1(%rip), %rbx     # 0x1c21b
leaq 0x15313(%rip), %rbp     # 0x1c244
xorl %r14d, %r14d
movq 0x60(%r13), %rax
movsd (%rax,%r15), %xmm0
movsd 0x8(%rax,%r15), %xmm1
movsd 0x10(%rax,%r15), %xmm2
movq %r12, %rdi
leaq 0x1529c(%rip), %rsi     # 0x1c1f2
movb $0x3, %al
callq 0x2160
movq 0x60(%r13), %rax
movsd 0x18(%rax,%r15), %xmm0
movsd 0x20(%rax,%r15), %xmm1
movsd 0x28(%rax,%r15), %xmm2
movq %r12, %rdi
movq %rbx, %rsi
movb $0x3, %al
callq 0x2160
movq 0x60(%r13), %rax
movsd 0x30(%rax,%r15), %xmm0
movq %r12, %rdi
movq %rbp, %rsi
movb $0x1, %al
callq 0x2160
incq %r14
movslq 0x10(%r13), %rax
addq $0x38, %r15
cmpq %rax, %r14
jl 0x6f34
leaq 0x128c4(%rip), %rbx     # 0x19876
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movl $0x50, %esi
movl $0x1, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq 0x2200
movq %r12, %rdi
callq 0x2080
movq (%rsp), %rax
movsd 0x3f8(%rax), %xmm1
subsd 0x3f0(%rax), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jae 0x7032
movsd 0x408(%rax), %xmm1
subsd 0x400(%rax), %xmm1
ucomisd %xmm1, %xmm0
jae 0x7032
movsd 0x418(%rax), %xmm0
subsd 0x410(%rax), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
jb 0x7040
leaq 0x15462(%rip), %rdi     # 0x1c49b
xorl %eax, %eax
callq 0x8d7e
movq 0x38(%rsp), %rax
cmpl $0x0, (%rax)
movq 0x28(%rsp), %rbx
movq 0x8(%rsp), %r14
jle 0x7068
movq (%rsp), %rax
cmpl $0x0, 0x2c(%rax)
jle 0x7068
movq (%rsp), %rax
cmpl $0x0, 0x30(%rax)
jg 0x7076
leaq 0x15450(%rip), %rdi     # 0x1c4bf
xorl %eax, %eax
callq 0x8d7e
movq (%rsp), %rax
cmpl $0x0, 0x420(%rax)
jle 0x7095
cmpl $0x0, 0x424(%rax)
jle 0x7095
cmpl $0x0, 0x428(%rax)
jg 0x70a3
leaq 0x15442(%rip), %rdi     # 0x1c4de
xorl %eax, %eax
callq 0x8d7e
cmpl $0x0, (%r14)
js 0x70bd
xorpd %xmm0, %xmm0
ucomisd 0x40(%r14), %xmm0
jae 0x70bd
ucomisd 0x50(%r14), %xmm0
jb 0x70cb
leaq 0x1543e(%rip), %rdi     # 0x1c502
xorl %eax, %eax
callq 0x8d7e
cmpl $0x0, (%rbx)
js 0x70ee
cmpl $0x0, 0x4(%rbx)
js 0x70ee
cmpl $0x0, 0x10(%rbx)
js 0x70ee
cmpl $0x0, 0x14(%rbx)
js 0x70ee
cmpl $0x0, 0x18(%rbx)
js 0x70ee
cmpl $0x0, 0x1c(%rbx)
jns 0x70fc
leaq 0x1543b(%rip), %rdi     # 0x1c530
xorl %eax, %eax
callq 0x8d7e
cmpl $0x0, 0x24(%rbx)
jns 0x7110
leaq 0x1545a(%rip), %rdi     # 0x1c563
xorl %eax, %eax
callq 0x8d7e
xorpd %xmm0, %xmm0
ucomisd 0x58(%rbx), %xmm0
jae 0x7130
ucomisd 0x60(%rbx), %xmm0
jae 0x7130
ucomisd 0x68(%rbx), %xmm0
jae 0x7130
ucomisd 0x70(%rbx), %xmm0
jb 0x713e
leaq 0x15451(%rip), %rdi     # 0x1c588
xorl %eax, %eax
callq 0x8d7e
addq $0x258, %rsp            # imm = 0x258
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq