// File: /workspace/github_c_makefile_star2_O2/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 $0x228, %rsp            # imm = 0x228
movq %rdx, %r13
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x28(%rsi), %rax
movq %rax, 0x108(%rsp)
pushq $0x1c
popq %rdi
callq 0x870a
movq %rax, 0x3b8(%rbx)
pushq $0x54
popq %rdi
callq 0x870a
movq %rax, 0x3c0(%rbx)
movl $0x150, %edi            # imm = 0x150
callq 0x870a
movq %rax, 0x3c8(%rbx)
pushq $0x28
popq %rdi
callq 0x870a
movq %rax, 0x3d8(%rbx)
movl $0x230, %edi            # imm = 0x230
callq 0x870a
movq %rax, 0x3e0(%rbx)
movl $0x1388, %edi           # imm = 0x1388
callq 0x870a
movq %rax, 0x3e8(%rbx)
leaq 0x136bf(%rip), %rdi     # 0x18868
leaq 0x163e3(%rip), %rsi     # 0x1b593
callq 0x8820
movq %rax, %r12
leaq 0x160(%rsp), %r15
movl $0xc8, %edx
movq %r15, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x16810(%rip), %rdi     # 0x1b9e6
callq 0x8566
movq %rax, 0x18(%rsp)
leaq 0x167f5(%rip), %rdi     # 0x1b9dc
callq 0x8566
movq %rax, 0x10(%rsp)
leaq 0x10(%r14), %rax
movq %rax, 0x20(%rsp)
leaq 0xc(%r14), %rax
movq %rax, 0x28(%rsp)
leaq 0x20(%r14), %rax
movq %rax, 0x38(%rsp)
leaq 0x24(%r14), %rax
movq %rax, 0x40(%rsp)
leaq 0x28(%r14), %rax
movq %rax, 0x48(%rsp)
leaq 0x2c(%r14), %rax
movq %rax, 0x50(%rsp)
leaq 0x14(%r14), %rax
movq %rax, 0x58(%rsp)
leaq 0x18(%r14), %rax
movq %rax, 0x60(%rsp)
leaq 0x58(%r13), %rax
movq %rax, 0x80(%rsp)
leaq 0x60(%r13), %rax
movq %rax, 0x78(%rsp)
leaq 0x68(%r13), %rax
movq %rax, 0x70(%rsp)
leaq 0x70(%r13), %rax
movq %rax, 0x68(%rsp)
leaq 0x24(%r13), %rax
movq %rax, 0x88(%rsp)
leaq 0x38(%r13), %rax
movq %rax, 0x138(%rsp)
leaq 0x28(%r13), %rax
movq %rax, 0x130(%rsp)
leaq 0x78(%r13), %rax
movq %rax, 0x128(%rsp)
leaq 0x80(%r13), %rax
movq %rax, 0x120(%rsp)
leaq 0x88(%r13), %rax
movq %rax, 0x118(%rsp)
leaq 0x4(%r13), %rax
movq %rax, 0xb0(%rsp)
leaq 0x10(%r13), %rax
movq %rax, 0xa8(%rsp)
leaq 0x14(%r13), %rax
movq %rax, 0xa0(%rsp)
leaq 0x18(%r13), %rax
movq %rax, 0x98(%rsp)
leaq 0x1c(%r13), %rax
movq %rax, 0x90(%rsp)
movq %r13, 0x30(%rsp)
leaq 0x20(%r13), %rax
movq %rax, 0x140(%rsp)
leaq 0x40(%r14), %rax
movq %rax, 0xc0(%rsp)
leaq 0x50(%r14), %rax
movq %rax, 0xb8(%rsp)
leaq 0x4(%r14), %rax
movq %rax, 0x158(%rsp)
leaq 0x30(%r14), %rax
movq %rax, 0x150(%rsp)
leaq 0x34(%r14), %rax
movq %rax, 0x148(%rsp)
leaq 0x3f0(%rbx), %rax
movq %rax, 0x100(%rsp)
leaq 0x400(%rbx), %rax
movq %rax, 0xe8(%rsp)
leaq 0x410(%rbx), %rax
movq %rax, 0xd0(%rsp)
leaq 0x3f8(%rbx), %rax
movq %rax, 0xf8(%rsp)
leaq 0x408(%rbx), %rax
movq %rax, 0xe0(%rsp)
leaq 0x418(%rbx), %rax
movq %rax, 0xc8(%rsp)
leaq 0x2c(%rbx), %rax
movq %rax, 0xf0(%rsp)
movq %rbx, (%rsp)
leaq 0x30(%rbx), %rax
movq %rax, 0xd8(%rsp)
pushq $0x1
popq %r13
xorl %ebx, %ebx
movq %r14, 0x8(%rsp)
movq %r15, %rdi
movl $0xc8, %esi
movq %r12, %rdx
callq 0x2120
testq %rax, %rax
je 0x5d07
movq %r15, %rdi
callq 0x841c
movq %r15, %rdi
leaq 0x15681(%rip), %rsi     # 0x1aa64
pushq $0xc
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x56a3
movq %r15, %rdi
leaq 0x1567e(%rip), %rsi     # 0x1aa7b
pushq $0xb
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x572b
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x15602(%rip), %xmm0    # 0x1aa20
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x57c4
movq %r15, %rdi
leaq 0x1565f(%rip), %rsi     # 0x1aa96
pushq $0xf
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5870
movdqa 0x160(%rsp), %xmm0
pcmpeqb 0x155d8(%rip), %xmm0    # 0x1aa30
pmovmskb %xmm0, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x58eb
movq %r15, %rdi
leaq 0x156c5(%rip), %rsi     # 0x1ab36
pushq $0x15
popq %r14
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x594e
movq %r15, %rdi
leaq 0x15626(%rip), %rsi     # 0x1aab5
pushq $0x14
popq %rbp
movq %rbp, %rdx
callq 0x2190
testl %eax, %eax
je 0x5998
movq %r15, %rdi
leaq 0x1561d(%rip), %rsi     # 0x1aac9
movq %rbp, %rdx
callq 0x2190
testl %eax, %eax
je 0x59ae
movq %r15, %rdi
leaq 0x15617(%rip), %rsi     # 0x1aadd
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x59c4
movq %r15, %rdi
leaq 0x15612(%rip), %rsi     # 0x1aaf2
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x59da
movq %r15, %rdi
leaq 0x1560d(%rip), %rsi     # 0x1ab07
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x59f0
movq %r15, %rdi
leaq 0x15608(%rip), %rsi     # 0x1ab1c
pushq $0x14
popq %r14
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x5a06
movq %r15, %rdi
leaq 0x155fe(%rip), %rsi     # 0x1ab30
pushq $0x1b
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5a1c
movq %r15, %rdi
leaq 0x155ff(%rip), %rsi     # 0x1ab4b
pushq $0x1c
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5a37
movq %r15, %rdi
leaq 0x15601(%rip), %rsi     # 0x1ab67
pushq $0x19
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5a83
movq %r15, %rdi
leaq 0x15600(%rip), %rsi     # 0x1ab80
pushq $0x1e
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5b0d
movq %r15, %rdi
leaq 0x15604(%rip), %rsi     # 0x1ab9e
pushq $0x12
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5bc2
movq %r15, %rdi
leaq 0x155fc(%rip), %rsi     # 0x1abb0
movq %r14, %rdx
callq 0x2190
testl %eax, %eax
je 0x5c63
movq %r15, %rdi
leaq 0x155f6(%rip), %rsi     # 0x1abc4
pushq $0x12
popq %rdx
callq 0x2190
testl %eax, %eax
je 0x5cbc
movq %r15, %rdi
leaq 0x155ee(%rip), %rsi     # 0x1abd6
pushq $0x11
popq %rdx
callq 0x2190
testl %eax, %eax
jne 0x53b8
pushq $0x30
popq %rbp
xorl %ecx, %ecx
movq 0x20(%rsp), %rax
movslq (%rax), %rax
cmpq %rax, %rcx
jge 0x53b8
movq 0x8(%rsp), %rax
movq 0x60(%rax), %rax
movq %rcx, 0x110(%rsp)
leaq (%rax,%rbp), %rcx
addq $-0x30, %rcx
leaq -0x28(%rax,%rbp), %r8
leaq -0x20(%rax,%rbp), %r9
movq %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %r14
movq %r14, %rdx
xorl %eax, %eax
callq 0x89d6
movq 0x8(%rsp), %rax
movq 0x60(%rax), %rax
leaq (%rax,%rbp), %rcx
addq $-0x18, %rcx
leaq -0x10(%rax,%rbp), %r8
leaq -0x8(%rax,%rbp), %r9
movq %r12, %rdi
pushq $0x3
popq %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x89d6
movq 0x8(%rsp), %rax
movq 0x60(%rax), %rcx
addq %rbp, %rcx
movq %r12, %rdi
movl %r13d, %esi
movq 0x18(%rsp), %rdx
xorl %eax, %eax
callq 0x89d6
movq 0x110(%rsp), %rcx
incq %rcx
addq $0x38, %rbp
jmp 0x55fd
incl %ebx
movq %r12, %rdi
pushq $0x3
popq %rbp
movl %ebp, %esi
movq 0x10(%rsp), %r14
movq %r14, %rdx
movq 0x100(%rsp), %rcx
movq 0xe8(%rsp), %r8
movq 0xd0(%rsp), %r9
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %ebp, %esi
movq %r14, %rdx
movq 0xf8(%rsp), %rcx
movq 0xe0(%rsp), %r8
movq 0xc8(%rsp), %r9
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %ebp, %esi
leaq 0x15369(%rip), %rdx     # 0x1aa70
movq 0x108(%rsp), %rcx
movq 0xf0(%rsp), %r8
movq 0xd8(%rsp), %r9
xorl %eax, %eax
callq 0x89d6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movl %r13d, %esi
leaq 0x1789e(%rip), %rbp     # 0x1cfd8
movq %rbp, %rdx
movq 0x8(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq 0x18(%rsp), %r14
movq %r14, %rdx
movq 0xc0(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0xb8(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %rbp, %rdx
movq 0x158(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %rbp, %rdx
movq 0x150(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %rbp, %rdx
movq 0x148(%rsp), %rcx
jmp 0x5942
incl %ebx
movq %r12, %rdi
movl %r13d, %esi
leaq 0x17805(%rip), %r14     # 0x1cfd8
movq %r14, %rdx
movq 0x30(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0xb0(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0xa8(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0xa0(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x98(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x90(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x140(%rsp), %rcx
jmp 0x5942
incl %ebx
movq %r12, %rdi
movl %r13d, %esi
leaq 0x17759(%rip), %r14     # 0x1cfd8
movq %r14, %rdx
movq 0x88(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq 0x18(%rsp), %rdx
movq 0x138(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x130(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %rdx
movq 0x128(%rsp), %rcx
movq 0x120(%rsp), %r8
movq 0x118(%rsp), %r9
jmp 0x571f
incl %ebx
movq %r12, %rdi
movl %r13d, %esi
movq 0x18(%rsp), %r14
movq %r14, %rdx
movq 0x80(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x78(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x70(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x68(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
jmp 0x53b8
incl %ebx
movq (%rsp), %r14
andl $0x0, 0x3d0(%r14)
movq 0x3d8(%r14), %rax
andl $0x0, (%rax)
movslq 0x3d0(%r14), %rax
imulq $0x1f4, %rax, %rcx      # imm = 0x1F4
addq 0x3e8(%r14), %rcx
movq %r12, %rdi
leaq 0x15c99(%rip), %rsi     # 0x1b61e
xorl %edx, %edx
callq 0x6a1e
incl 0x3d0(%r14)
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
movl %r13d, %edx
callq 0x6ac6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
pushq $0x2
popq %rdx
callq 0x6ac6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
pushq $0x3
popq %rdx
callq 0x6ac6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
pushq $0x4
popq %rdx
callq 0x6ac6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
pushq $0x5
popq %rdx
callq 0x6ac6
jmp 0x53b8
incl %ebx
movq %r12, %rdi
movq (%rsp), %rsi
pushq $0x6
popq %rdx
callq 0x6ac6
jmp 0x53b8
movq (%rsp), %r14
movq 0x3d8(%r14), %rax
movslq 0x3d0(%r14), %rcx
movl $0x1, (%rax,%rcx,4)
jmp 0x5a9c
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 %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %rdx
jmp 0x5b8b
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 %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %rbp
movq %rbp, %rdx
xorl %eax, %eax
callq 0x89d6
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 %r12, %rdi
pushq $0x3
popq %rsi
movq %rbp, %rdx
xorl %eax, %eax
callq 0x89d6
jmp 0x5966
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 %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %rbp
movq %rbp, %rdx
xorl %eax, %eax
callq 0x89d6
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 %r12, %rdi
pushq $0x3
popq %rsi
movq %rbp, %rdx
xorl %eax, %eax
callq 0x89d6
movq 0x3e0(%r14), %rax
movslq 0x3d0(%r14), %rcx
imulq $0x38, %rcx, %rcx
addq %rax, %rcx
addq $0x30, %rcx
movq %r12, %rdi
movl %r13d, %esi
movq 0x18(%rsp), %rdx
xorl %eax, %eax
callq 0x89d6
jmp 0x5966
movq %r12, %rdi
movl %r13d, %esi
leaq 0x17409(%rip), %r14     # 0x1cfd8
movq %r14, %rdx
movq 0x28(%rsp), %rbp
movq %rbp, %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x20(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x58(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x60(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movslq (%rbp), %rax
testq %rax, %rax
jle 0x5c3b
imulq $0x18, %rax, %rdi
callq 0x870a
movq 0x8(%rsp), %rcx
movq %rax, 0x58(%rcx)
movq 0x20(%rsp), %rax
movslq (%rax), %rax
testq %rax, %rax
jle 0x53b8
imulq $0x38, %rax, %rdi
callq 0x870a
movq 0x8(%rsp), %rcx
movq %rax, 0x60(%rcx)
jmp 0x53b8
movq %r12, %rdi
movl %r13d, %esi
leaq 0x17368(%rip), %r14     # 0x1cfd8
movq %r14, %rdx
movq 0x38(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x40(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x48(%rsp), %rcx
xorl %eax, %eax
callq 0x89d6
movq %r12, %rdi
movl %r13d, %esi
movq %r14, %rdx
movq 0x50(%rsp), %rcx
jmp 0x5942
xorl %r14d, %r14d
xorl %ebp, %ebp
movq 0x28(%rsp), %rax
movslq (%rax), %rax
cmpq %rax, %rbp
jge 0x53b8
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 %r12, %rdi
pushq $0x3
popq %rsi
movq 0x10(%rsp), %rdx
xorl %eax, %eax
callq 0x89d6
incq %rbp
addq $0x18, %r14
jmp 0x5cc1
movq %r12, %rdi
callq 0x2080
cmpl $0xc, %ebx
je 0x5d2b
leaq 0x14ecc(%rip), %rdi     # 0x1abe7
leaq 0x12b46(%rip), %rsi     # 0x18868
movl %ebx, %edx
xorl %eax, %eax
callq 0x856a
leaq 0x141cb(%rip), %rdi     # 0x19efd
leaq 0x1585a(%rip), %rsi     # 0x1b593
callq 0x8820
movq %rax, %rbx
leaq 0x160(%rsp), %r15
movl $0xc8, %edx
movq %r15, %rdi
xorl %esi, %esi
callq 0x20d0
leaq 0x14e45(%rip), %r12     # 0x1aba4
pushq $0xc
popq %rbp
movq %r15, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
callq 0x2120
testq %rax, %rax
je 0x5dcf
movq %r15, %rdi
callq 0x841c
movq %r15, %rdi
movq %r12, %rsi
movq %rbp, %rdx
callq 0x2190
testl %eax, %eax
jne 0x5d62
movq (%rsp), %r14
leaq 0xc(%r14), %rcx
leaq 0x17238(%rip), %r15     # 0x1cfd8
pushq $0x1
popq %rbp
movq %rbx, %rdi
movl %ebp, %esi
movq %r15, %rdx
xorl %eax, %eax
callq 0x89d6
leaq 0x10(%r14), %rcx
movq %rbx, %rdi
movl %ebp, %esi
movq %r15, %rdx
xorl %eax, %eax
callq 0x89d6
movq %rbx, %rdi
callq 0x2080
jmp 0x5df2
movq %rbx, %rdi
callq 0x2080
leaq 0x14e09(%rip), %rdi     # 0x1abe7
leaq 0x14118(%rip), %rsi     # 0x19efd
xorl %edx, %edx
xorl %eax, %eax
callq 0x856a
movq (%rsp), %r14
leaq 0x14e62(%rip), %rdi     # 0x1ac5b
leaq 0x14e18(%rip), %rsi     # 0x1ac18
callq 0x8820
movq %rax, %rbx
leaq 0x12a67(%rip), %rdi     # 0x18876
pushq $0x50
popq %rbp
pushq $0x1
popq %r15
movq %rbp, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0x2210
leaq 0x12a9c(%rip), %r12     # 0x188c7
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14e28(%rip), %rdi     # 0x1ac6b
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12a0d(%rip), %r12     # 0x18876
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12d0e(%rip), %rbp     # 0x18ba0
pushq $0x2
popq %r12
movq %rbp, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12cf5(%rip), %rdi     # 0x18ba3
pushq $0x2e
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbp, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x129a2(%rip), %r12     # 0x18876
movq %r12, %rdi
pushq $0x50
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movsd 0x3f0(%r14), %xmm0
movsd 0x400(%r14), %xmm1
movsd 0x410(%r14), %xmm2
leaq 0x14db2(%rip), %rsi     # 0x1acbc
movq %rbx, %rdi
movb $0x3, %al
callq 0x2160
movsd 0x3f8(%r14), %xmm0
movsd 0x408(%r14), %xmm1
movsd 0x418(%r14), %xmm2
leaq 0x14daa(%rip), %rsi     # 0x1ace0
movq %rbx, %rdi
movb $0x3, %al
callq 0x2160
movl 0x28(%r14), %edx
movl 0x2c(%r14), %ecx
movl 0x30(%r14), %r8d
leaq 0x14db1(%rip), %rsi     # 0x1ad04
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12c2b(%rip), %r12     # 0x18ba0
movq %r12, %rdi
pushq $0x2
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12cf2(%rip), %rdi     # 0x18c82
pushq $0x2d
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x128c0(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq 0x8(%rsp), %r12
movl (%r12), %edx
leaq 0x14d48(%rip), %rsi     # 0x1ad1c
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x40(%r12), %xmm0
leaq 0x14d48(%rip), %rsi     # 0x1ad34
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x50(%r12), %xmm0
leaq 0x14d48(%rip), %rsi     # 0x1ad4c
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movl 0x4(%r12), %edx
leaq 0x14d4e(%rip), %rsi     # 0x1ad68
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x30(%r12), %edx
leaq 0x14d55(%rip), %rsi     # 0x1ad85
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x34(%r12), %edx
leaq 0x14d61(%rip), %rsi     # 0x1ada7
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
leaq 0x1281f(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12b34(%rip), %r12     # 0x18ba0
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12d9c(%rip), %rdi     # 0x18e20
pushq $0x30
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x127cc(%rip), %rdi     # 0x18876
movq %rdi, %rbp
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq 0x30(%rsp), %r12
movl (%r12), %edx
leaq 0x14cef(%rip), %rsi     # 0x1adba
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x4(%r12), %edx
leaq 0x14cee(%rip), %rsi     # 0x1adcf
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x10(%r12), %edx
leaq 0x14cec(%rip), %rsi     # 0x1ade3
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x14(%r12), %edx
leaq 0x14cee(%rip), %rsi     # 0x1adfb
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x18(%r12), %edx
leaq 0x14cee(%rip), %rsi     # 0x1ae11
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x1c(%r12), %edx
leaq 0x14cf3(%rip), %rsi     # 0x1ae2c
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movl 0x20(%r12), %edx
leaq 0x14cf4(%rip), %rsi     # 0x1ae43
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq %rbp, %rdi
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12a2f(%rip), %rbp     # 0x18ba0
movq %rbp, %rdi
pushq $0x2
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14cd9(%rip), %rdi     # 0x1ae62
pushq $0x32
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbp, %rdi
pushq $0x2
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x126c7(%rip), %rdi     # 0x18876
pushq $0x50
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movl 0x24(%r12), %edx
leaq 0x14cc9(%rip), %rsi     # 0x1ae95
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x38(%r12), %xmm0
leaq 0x14cbf(%rip), %rsi     # 0x1aea3
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movl 0x28(%r12), %edx
leaq 0x14cbe(%rip), %rsi     # 0x1aeb8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movsd 0x78(%r12), %xmm0
movsd 0x80(%r12), %xmm1
movsd 0x88(%r12), %xmm2
leaq 0x14ca5(%rip), %rsi     # 0x1aecb
movq %rbx, %rdi
movb $0x3, %al
callq 0x2160
leaq 0x1263f(%rip), %rdi     # 0x18876
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12954(%rip), %rdi     # 0x18ba0
pushq $0x2
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12f0e(%rip), %rdi     # 0x19172
pushq $0x31
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12927(%rip), %rdi     # 0x18ba0
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x125e8(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %rsi, %rbp
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movsd 0x58(%r12), %xmm0
leaq 0x14c40(%rip), %rsi     # 0x1aeed
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x60(%r12), %xmm0
leaq 0x14c36(%rip), %rsi     # 0x1aefb
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x68(%r12), %xmm0
leaq 0x14fd7(%rip), %rsi     # 0x1b2b4
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
movsd 0x70(%r12), %xmm0
leaq 0x14c15(%rip), %rsi     # 0x1af0a
movq %rbx, %rdi
movb $0x1, %al
callq 0x2160
leaq 0x12570(%rip), %rdi     # 0x18876
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x12885(%rip), %r12     # 0x18ba0
movq %r12, %rdi
pushq $0x2
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14be7(%rip), %rdi     # 0x1af1d
pushq $0x2b
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x1251a(%rip), %rbp     # 0x18876
movq %rbp, %rdi
pushq $0x50
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbx, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x6c38
movq %rbp, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x1280a(%rip), %rdi     # 0x18ba0
movq %rdi, %r12
pushq $0x2
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14b98(%rip), %rdi     # 0x1af49
pushq $0x2f
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x1249f(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %rbp, %r12
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14b79(%rip), %rdi     # 0x1af79
pushq $0xc
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbx, %rdi
movq %r14, %rsi
movl %r13d, %edx
callq 0x6ed4
leaq 0x1277a(%rip), %rdi     # 0x18ba0
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14b4b(%rip), %rdi     # 0x1af86
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x2
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6ed4
leaq 0x12742(%rip), %rdi     # 0x18ba0
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14b20(%rip), %rdi     # 0x1af93
pushq $0xd
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x3
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6ed4
leaq 0x12707(%rip), %rdi     # 0x18ba0
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14af3(%rip), %rdi     # 0x1afa1
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x4
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6ed4
leaq 0x126cf(%rip), %rdi     # 0x18ba0
movq %rdi, %rbp
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14ac6(%rip), %rdi     # 0x1afaf
pushq $0xd
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x5
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6ed4
movq %rbp, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x14aa0(%rip), %rdi     # 0x1afbd
pushq $0xc
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x6
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6ed4
leaq 0x12336(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbp, %r12
movq %rbp, %rdi
pushq $0x2
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x13109(%rip), %rdi     # 0x19675
pushq $0x31
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x122e4(%rip), %rdi     # 0x18876
pushq $0x50
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
cmpl 0x3d0(%r14), %r13d
jge 0x65cd
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbx, %rdi
movq %r14, %rsi
movl %r13d, %edx
callq 0x6c38
incl %r13d
jmp 0x65a0
leaq 0x122a2(%rip), %r12     # 0x18876
pushq $0x50
popq %r13
pushq $0x1
popq %r15
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x125ac(%rip), %r14     # 0x18ba0
pushq $0x2
popq %rbp
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
leaq 0x13562(%rip), %rdi     # 0x19b71
pushq $0x2d
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq 0x28(%rsp), %r13
movl (%r13), %edx
leaq 0x1497b(%rip), %rsi     # 0x1afca
xorl %r12d, %r12d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x20(%rsp), %rax
movl (%rax), %edx
leaq 0x14977(%rip), %rsi     # 0x1afe1
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x58(%rsp), %rax
movl (%rax), %edx
leaq 0x14975(%rip), %rsi     # 0x1aff7
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x60(%rsp), %rax
movl (%rax), %edx
leaq 0x14974(%rip), %rsi     # 0x1b00e
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
movq 0x38(%rsp), %rax
movl (%rax), %edx
leaq 0x14962(%rip), %rsi     # 0x1b025
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x40(%rsp), %rax
movl (%rax), %edx
leaq 0x1496d(%rip), %rsi     # 0x1b048
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x48(%rsp), %rax
movl (%rax), %edx
leaq 0x14977(%rip), %rsi     # 0x1b06a
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq 0x50(%rsp), %rax
movl (%rax), %edx
leaq 0x1498b(%rip), %rsi     # 0x1b096
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2160
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x2210
pushq $0x10
popq %r14
leaq 0x1498a(%rip), %r15     # 0x1b0bb
movq 0x8(%rsp), %rbp
movslq (%r13), %rax
cmpq %rax, %r12
jge 0x676d
movq 0x58(%rbp), %rax
movsd -0x10(%rax,%r14), %xmm0
movsd -0x8(%rax,%r14), %xmm1
movsd (%rax,%r14), %xmm2
movq %rbx, %rdi
movq %r15, %rsi
movb $0x3, %al
callq 0x2160
incq %r12
addq $0x18, %r14
jmp 0x6736
leaq 0x1242c(%rip), %rdi     # 0x18ba0
pushq $0x2
popq %rsi
pushq $0x1
popq %rdx
movq %rbx, %rcx
callq 0x2210
xorl %ebp, %ebp
leaq 0x14980(%rip), %r12     # 0x1b10b
leaq 0x149a2(%rip), %r13     # 0x1b134
xorl %r14d, %r14d
movq 0x8(%rsp), %r15
movq 0x20(%rsp), %rax
movslq (%rax), %rax
cmpq %rax, %r14
jge 0x6810
movq 0x60(%r15), %rax
movsd (%rax,%rbp), %xmm0
movsd 0x8(%rax,%rbp), %xmm1
movsd 0x10(%rax,%rbp), %xmm2
movq %rbx, %rdi
leaq 0x1491c(%rip), %rsi     # 0x1b0e2
movb $0x3, %al
callq 0x2160
movq 0x60(%r15), %rax
movsd 0x18(%rax,%rbp), %xmm0
movsd 0x20(%rax,%rbp), %xmm1
movsd 0x28(%rax,%rbp), %xmm2
movq %rbx, %rdi
movq %r12, %rsi
movb $0x3, %al
callq 0x2160
movq 0x60(%r15), %rax
movsd 0x30(%rax,%rbp), %xmm0
movq %rbx, %rdi
movq %r13, %rsi
movb $0x1, %al
callq 0x2160
incq %r14
addq $0x38, %rbp
jmp 0x679a
leaq 0x1205f(%rip), %r15     # 0x18876
pushq $0x50
popq %r12
pushq $0x1
popq %r13
movq %r15, %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbx, %rcx
callq 0x2210
movq %r15, %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbx, %rcx
callq 0x2210
movq %rbx, %rdi
callq 0x2080
movq 0xf8(%rsp), %rax
movsd (%rax), %xmm1
movq 0x100(%rsp), %rax
subsd (%rax), %xmm1
xorpd %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jae 0x68ab
movq 0xe0(%rsp), %rax
movsd (%rax), %xmm1
movq 0xe8(%rsp), %rax
subsd (%rax), %xmm1
ucomisd %xmm1, %xmm0
jae 0x68ab
movq 0xc8(%rsp), %rax
movsd (%rax), %xmm0
movq 0xd0(%rsp), %rax
subsd (%rax), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
jb 0x68b9
leaq 0x14ad9(%rip), %rdi     # 0x1b38b
xorl %eax, %eax
callq 0x856a
movq 0x108(%rsp), %rax
cmpl $0x0, (%rax)
movq 0x30(%rsp), %rbx
movq 0x8(%rsp), %r14
movq (%rsp), %r15
jle 0x68ee
movq 0xf0(%rsp), %rax
cmpl $0x0, (%rax)
jle 0x68ee
movq 0xd8(%rsp), %rax
cmpl $0x0, (%rax)
jg 0x68fc
leaq 0x14aba(%rip), %rdi     # 0x1b3af
xorl %eax, %eax
callq 0x856a
cmpl $0x0, 0x420(%r15)
jle 0x691a
cmpl $0x0, 0x424(%r15)
jle 0x691a
cmpl $0x0, 0x428(%r15)
jg 0x6928
leaq 0x14aad(%rip), %rdi     # 0x1b3ce
xorl %eax, %eax
callq 0x856a
cmpl $0x0, (%r14)
js 0x694e
xorpd %xmm0, %xmm0
movq 0xc0(%rsp), %rax
ucomisd (%rax), %xmm0
jae 0x694e
movq 0xb8(%rsp), %rax
ucomisd (%rax), %xmm0
jb 0x695c
leaq 0x14a9d(%rip), %rdi     # 0x1b3f2
xorl %eax, %eax
callq 0x856a
cmpl $0x0, (%rbx)
movq 0x88(%rsp), %rbx
js 0x69aa
movq 0xb0(%rsp), %rax
cmpl $0x0, (%rax)
js 0x69aa
movq 0xa8(%rsp), %rax
cmpl $0x0, (%rax)
js 0x69aa
movq 0xa0(%rsp), %rax
cmpl $0x0, (%rax)
js 0x69aa
movq 0x98(%rsp), %rax
cmpl $0x0, (%rax)
js 0x69aa
movq 0x90(%rsp), %rax
cmpl $0x0, (%rax)
jns 0x69b8
leaq 0x14a6f(%rip), %rdi     # 0x1b420
xorl %eax, %eax
callq 0x856a
cmpl $0x0, (%rbx)
jns 0x69cb
leaq 0x14a8f(%rip), %rdi     # 0x1b453
xorl %eax, %eax
callq 0x856a
xorpd %xmm0, %xmm0
movq 0x80(%rsp), %rax
ucomisd (%rax), %xmm0
jae 0x69fe
movq 0x78(%rsp), %rax
ucomisd (%rax), %xmm0
jae 0x69fe
movq 0x70(%rsp), %rax
ucomisd (%rax), %xmm0
jae 0x69fe
movq 0x68(%rsp), %rax
ucomisd (%rax), %xmm0
jb 0x6a0c
leaq 0x14a73(%rip), %rdi     # 0x1b478
xorl %eax, %eax
callq 0x856a
addq $0x228, %rsp            # imm = 0x228
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq