// File: /workspace/github_c_makefile_star2_O1/genometools[P]genometools/src/match/sfx-diffcov.c
// Function: gt_differencecover_sortunsortedbucket
void gt_differencecover_sortunsortedbucket(GtSuffixsortspace *sssp,
                                           GtLcpvalues *sssplcpvalues,
                                           const GtDifferencecover *dcov,
                                           GtUword blisbl,
                                           GtUword width,
                                           GT_UNUSED GtUword depth)
{
  const GtUword bucketleftidx = gt_suffixsortspace_bucketleftidx_get(sssp);

  gt_assert(dcov != NULL &&
            depth >= (GtUword) dcov->vparam &&
            dcov->diff2pos != NULL &&
            width >= 2UL &&
            sssp != NULL &&
            blisbl >= bucketleftidx);
  /* blisbl = bucketleftindex + subbucketleft already contains
     bucketleftindex, therefore we cannot use
     gt_suffixsortspace_set or
     gt_suffixsortspace_get as these use the index
     bucketleftindex + subbucketleft + idx - partoffset
     = blisbl - partoffset + idx. Thus, instead we use the functions
     to directly access the suffix sortspace. */
  QSORTNAME(gt_inlinedarr_qsort_r) (sssp, sssplcpvalues, dcov, 6UL, false,
                                    blisbl - bucketleftidx, width);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2c8, %rsp            # imm = 0x2C8
movq %r9, %r14
movq %r8, %rbx
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, 0x48(%rsp)
movq %rdi, %rbp
callq 0x2061f2
testq %r15, %r15
je 0x1f4706
movl (%r15), %ecx
cmpq %r14, %rcx
ja 0x1f4706
testq %rbp, %rbp
je 0x1f4706
cmpq $0x2, %rbx
jb 0x1f4706
cmpq $0x0, 0x38(%r15)
je 0x1f4706
movq %r12, %rcx
subq %rax, %rcx
movq %rcx, (%rsp)
jb 0x1f4706
movl $0x20, %ecx
leaq 0xb8(%rsp), %rdi
movq %rcx, -0x10(%rdi)
movq %rcx, -0x8(%rdi)
movq %rcx, -0x28(%rdi)
xorps %xmm0, %xmm0
movups %xmm0, -0x20(%rdi)
movq %rdi, 0x200(%rdi)
xorl %ecx, %ecx
movq %rcx, 0x208(%rdi)
movq -0x18(%rdi), %rdx
leaq 0x1(%rdx), %rsi
movq %rsi, -0x18(%rdi)
shlq $0x4, %rdx
movq %rcx, 0xb8(%rsp,%rdx)
movq %rbx, 0xc0(%rsp,%rdx)
movq -0x18(%rdi), %rcx
cmpq %rcx, -0x20(%rdi)
jae 0x1f389e
movq %rcx, 0x98(%rsp)
testq %rcx, %rcx
je 0x1f465e
shlq $0x2, %r12
shlq $0x2, %rax
subq %rax, %r12
movq %r12, 0x80(%rsp)
movq %r15, 0x30(%rsp)
movq %rbp, 0x8(%rsp)
movq 0x2b8(%rsp), %rax
decq %rcx
movq %rcx, 0xa0(%rsp)
shlq $0x4, %rcx
movq (%rax,%rcx), %rbx
movq 0x8(%rax,%rcx), %rcx
cmpq $0x6, %rcx
movq %rbx, 0x20(%rsp)
ja 0x1f3b1b
addq %rbx, %rcx
leaq 0x1(%rbx), %rax
cmpq %rcx, %rax
jae 0x1f464d
movq 0x20(%rsp), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, 0x40(%rsp)
movq %rax, %r12
cmpq 0x20(%rsp), %rax
jbe 0x1f3afd
movq 0x18(%rsp), %rbx
leaq 0x1(%rbx), %r14
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq %rbp, %r9
callq 0x1f5748
movl %eax, %ebp
movq 0x48(%rsp), %r10
testq %r10, %r10
je 0x1f3a98
cmpq %r12, %r14
setb %al
testl %ebp, %ebp
setg %cl
andb %al, %cl
cmpb $0x1, %cl
jne 0x1f3a14
movq 0x8(%r10), %rax
testq %rax, %rax
je 0x1f46b1
movq 0x10(%r10), %rdi
movq 0x20(%r10), %rsi
movq (%rsp), %rcx
leaq (%rcx,%rbx), %r8
leaq (%rsi,%r8), %rcx
incq %rcx
cmpq %rdi, %rcx
jae 0x1f46b1
movq (%r10), %rdx
testq %rdx, %rdx
je 0x1f39b9
movabsq $-0x8000000000000000, %r9 # imm = 0x8000000000000000
shrq %cl, %r9
shrq $0x6, %rcx
testq %r9, (%rdx,%rcx,8)
je 0x1f46ca
leaq (%rsi,%r8), %rcx
addq $0x2, %rcx
cmpq %rdi, %rcx
jae 0x1f46c0
leaq (%rax,%rsi,4), %rsi
addq 0x80(%rsp), %rsi
movl 0x4(%rsi,%rbx,4), %esi
testq %rdx, %rdx
je 0x1f39f4
movabsq $-0x8000000000000000, %rdi # imm = 0x8000000000000000
shrq %cl, %rdi
shrq $0x6, %rcx
orq %rdi, (%rdx,%rcx,8)
movq 0x20(%r10), %rcx
leaq (%rax,%rcx,4), %rax
addq 0x80(%rsp), %rax
movl %esi, 0x8(%rax,%rbx,4)
cmpl $0xff, %esi
jb 0x1f3a14
incq 0x18(%r10)
leaq 0x50(%rsp), %rdi
movq %r15, %rsi
callq 0x1f5819
movq 0x48(%rsp), %r8
movq 0x8(%r8), %rdx
testq %rdx, %rdx
je 0x1f46ac
movq 0x20(%r8), %rcx
movq (%rsp), %rsi
addq %rbx, %rsi
addq %rsi, %rcx
incq %rcx
cmpq 0x10(%r8), %rcx
jae 0x1f46ac
movq (%r8), %rsi
testq %rsi, %rsi
je 0x1f3a6b
movabsq $-0x8000000000000000, %rdi # imm = 0x8000000000000000
shrq %cl, %rdi
shrq $0x6, %rcx
orq %rdi, (%rsi,%rcx,8)
movq %rax, %rcx
shrq $0x20, %rcx
jne 0x1f46b6
movq 0x20(%r8), %rcx
leaq (%rdx,%rcx,4), %rcx
addq 0x80(%rsp), %rcx
movl %eax, 0x4(%rcx,%rbx,4)
cmpq $0xff, %rax
jb 0x1f3a98
incq 0x18(%r8)
testl %ebp, %ebp
movq 0x8(%rsp), %rbp
jle 0x1f3afd
movq %rbp, %rdi
movq (%rsp), %r13
movq %r13, %rsi
movq %r14, %rdx
callq 0x206063
movq %rax, %r15
movq %rbp, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x206063
movq %rbp, %rdi
movq %r13, %rsi
movq %r14, %rdx
movq %rax, %rcx
callq 0x2060df
movq %rbp, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movq %r15, %rcx
movq 0x30(%rsp), %r15
callq 0x2060df
leaq -0x1(%rbx), %rax
cmpq 0x20(%rsp), %rbx
movq %rax, %rbx
ja 0x1f3925
movq %r12, %rax
incq %rax
incq 0x18(%rsp)
movq 0x40(%rsp), %rcx
cmpq %rcx, %rax
jne 0x1f3912
jmp 0x1f464d
movq %rcx, %rbp
shrq %rbp
addq %rbx, %rbp
cmpq $0x7, %rcx
movq %rcx, 0x40(%rsp)
je 0x1f3e51
leaq (%rcx,%rbx), %rax
decq %rax
movq %rax, 0x18(%rsp)
cmpq $0x29, %rcx
jb 0x1f3bde
shrq $0x3, %rcx
leaq (%rcx,%rbx), %r12
movq %rcx, 0x38(%rsp)
leaq (%rbx,%rcx,2), %rax
movq %rax, 0x28(%rsp)
movq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r13
movq %r13, %r8
movq 0x8(%rsp), %r14
movq %r14, %r9
callq 0x1f5748
movl %eax, 0x68(%rsp)
movq %r12, 0x10(%rsp)
movq %r12, %rdi
movq 0x28(%rsp), %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq %r13, %r8
movq %r14, %r9
callq 0x1f5748
cmpl $0x0, 0x68(%rsp)
js 0x1f3beb
testl %eax, %eax
jg 0x1f3c20
movq 0x20(%rsp), %rbx
movq %rbx, %rdi
movq 0x28(%rsp), %r14
movq %r14, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovsq %rbx, %r14
jmp 0x1f3c1b
movq %rbx, %rdi
movq 0x18(%rsp), %rbx
jmp 0x1f3dc1
testl %eax, %eax
js 0x1f3c20
movq 0x20(%rsp), %rbx
movq %rbx, %rdi
movq 0x28(%rsp), %r14
movq %r14, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovnsq %rbx, %r14
movq %r14, 0x10(%rsp)
movq %rbp, %r14
movq 0x38(%rsp), %rax
subq %rax, %r14
jb 0x1f4710
leaq (%rax,%rbp), %r12
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r13
movq %r13, %r8
movq 0x8(%rsp), %rbx
movq %rbx, %r9
callq 0x1f5748
movq %r15, %rdx
movl %eax, %r15d
movq %rbp, %rdi
movq %r12, 0x28(%rsp)
movq %r12, %rsi
leaq 0x50(%rsp), %rcx
movq %r13, %r8
movq %rbx, %r9
callq 0x1f5748
testl %r15d, %r15d
js 0x1f3cb4
testl %eax, %eax
movq 0x30(%rsp), %r15
movq 0x18(%rsp), %r12
jg 0x1f3cec
movq %r14, %rdi
movq 0x28(%rsp), %rbp
movq %rbp, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovsq %r14, %rbp
jmp 0x1f3cec
testl %eax, %eax
movq 0x30(%rsp), %r15
movq 0x18(%rsp), %r12
js 0x1f3cec
movq %r14, %rdi
movq 0x28(%rsp), %rbx
movq %rbx, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovsq %rbx, %r14
movq %r14, %rbp
movq 0x38(%rsp), %rcx
leaq (%rcx,%rcx), %rax
movq %r12, %r14
subq %rax, %r14
jb 0x1f470b
movq %r12, %rbx
subq %rcx, %rbx
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r13
movq %r13, %r8
movq %r15, %r12
movq 0x8(%rsp), %r15
movq %r15, %r9
callq 0x1f5748
movq %r12, %rdx
movq 0x18(%rsp), %r12
movl %eax, 0x38(%rsp)
movq %rbx, %rdi
movq %r12, %rsi
leaq 0x50(%rsp), %rcx
movq %r13, %r8
movq %r15, %r9
callq 0x1f5748
cmpl $0x0, 0x38(%rsp)
js 0x1f3d82
testl %eax, %eax
jg 0x1f3db7
movq %r14, %rdi
movq %r12, %rsi
movq 0x30(%rsp), %r15
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovsq %r14, %r12
jmp 0x1f3dad
testl %eax, %eax
js 0x1f3db7
movq %r14, %rdi
movq %r12, %rsi
movq 0x30(%rsp), %r15
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovnsq %r14, %r12
movq 0x10(%rsp), %rdi
movq %r12, %rbx
jmp 0x1f3dc1
movq 0x30(%rsp), %r15
movq 0x10(%rsp), %rdi
movq %rdi, 0x10(%rsp)
movq %rbp, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r13
movq %r13, %r8
movq 0x8(%rsp), %r14
movq %r14, %r9
callq 0x1f5748
movl %eax, %r12d
movq %rbp, %rdi
movq %rbx, 0x18(%rsp)
movq %rbx, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq %r13, %r8
movq %r14, %r9
callq 0x1f5748
testl %r12d, %r12d
js 0x1f3e21
testl %eax, %eax
jg 0x1f3e51
movq 0x10(%rsp), %rbx
movq %rbx, %rdi
movq 0x18(%rsp), %rbp
movq %rbp, %rsi
jmp 0x1f3e35
testl %eax, %eax
js 0x1f3e51
movq 0x10(%rsp), %rbp
movq %rbp, %rdi
movq 0x18(%rsp), %rbx
movq %rbx, %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
cmovsq %rbx, %rbp
cmpq %rbp, 0x20(%rsp)
je 0x1f3ea7
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq (%rsp), %r13
movq %r13, %rsi
movq 0x20(%rsp), %r12
movq %r12, %rdx
callq 0x206063
movq %rax, %rbx
movq %r14, %rdi
movq %r13, %rsi
movq %rbp, %rdx
callq 0x206063
movq %r14, %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r14, %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq %rbx, %rcx
callq 0x2060df
movq 0x20(%rsp), %rcx
leaq 0x1(%rcx), %rbx
movq 0x40(%rsp), %rax
leaq (%rax,%rcx), %rbp
decq %rbp
addq %rcx, %rax
movq %rax, 0x40(%rsp)
xorl %r14d, %r14d
movq $0x0, 0x38(%rsp)
movq %rbp, 0x28(%rsp)
movq %rbx, 0x18(%rsp)
cmpq %rbp, %rbx
ja 0x1f3fa2
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
jg 0x1f4124
movq 0x48(%rsp), %rax
je 0x1f3f2f
testq %rax, %rax
je 0x1f3f9a
leaq 0x50(%rsp), %rdi
movq %r15, %rsi
callq 0x1f5819
cmpq %rax, %r14
cmovbeq %rax, %r14
jmp 0x1f3f9a
movq 0x18(%rsp), %r12
cmpq %r12, %rbx
je 0x1f3f92
movq (%rsp), %r13
movq %r14, 0x10(%rsp)
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x206063
movq %rax, %r15
movq %r14, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x206063
movq %r14, %rdi
movq %r13, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r14, %rdi
movq 0x10(%rsp), %r14
movq %r13, %rsi
movq %rbx, %rdx
movq %r15, %rcx
movq 0x30(%rsp), %r15
callq 0x2060df
incq %r12
movq %r12, 0x18(%rsp)
incq %rbx
jmp 0x1f3eda
movq %r14, 0x10(%rsp)
cmpq %rbp, %rbx
seta %r14b
ja 0x1f40ae
movq %rbp, %rdi
movq 0x20(%rsp), %rsi
movq %r15, %rdx
leaq 0x50(%rsp), %rcx
movq (%rsp), %r8
movq 0x8(%rsp), %r9
callq 0x1f5748
testl %eax, %eax
js 0x1f4088
testl %eax, %eax
movq 0x48(%rsp), %rax
je 0x1f400c
testq %rax, %rax
je 0x1f4079
leaq 0x50(%rsp), %rdi
movq %r15, %rsi
callq 0x1f5819
movq 0x38(%rsp), %rcx
cmpq %rax, %rcx
cmovbeq %rax, %rcx
movq %rcx, 0x38(%rsp)
jmp 0x1f4079
movq (%rsp), %rax
movq 0x28(%rsp), %r12
cmpq %r12, %rbp
je 0x1f4068
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq %rax, %r15
movq %rax, %rsi
movq %rbp, %rdx
callq 0x206063
movq %rax, %r13
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x206063
movq %r14, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %r13, %rcx
movq 0x30(%rsp), %r15
callq 0x2060df
testq %r12, %r12
je 0x1f46bb
decq %r12
movq %r12, 0x28(%rsp)
subq $0x1, %rbp
jae 0x1f3fa7
jmp 0x1f46a7
cmpq $0x0, 0x48(%rsp)
je 0x1f40ae
leaq 0x50(%rsp), %rdi
movq %r15, %rsi
callq 0x1f5819
movq 0x10(%rsp), %rcx
cmpq %rax, %rcx
cmovbeq %rax, %rcx
movq %rcx, 0x10(%rsp)
testb %r14b, %r14b
jne 0x1f4158
cmpq %rbp, %rbx
je 0x1f410b
movq 0x8(%rsp), %r14
movq %r14, %rdi
movq (%rsp), %r12
movq %r12, %rsi
movq %rbx, %rdx
callq 0x206063
movq %rax, %r15
movq %r14, %rdi
movq %r12, %rsi
movq %rbp, %rdx
callq 0x206063
movq %r14, %rdi
movq %r12, %rsi
movq %rbx, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r14, %rdi
movq %r12, %rsi
movq %rbp, %rdx
movq %r15, %rcx
movq 0x30(%rsp), %r15
callq 0x2060df
testq %rbp, %rbp
movq 0x10(%rsp), %r14
je 0x1f46c5
incq %rbx
decq %rbp
jmp 0x1f3eda
cmpq $0x0, 0x48(%rsp)
movq %r14, 0x10(%rsp)
je 0x1f3fa7
leaq 0x50(%rsp), %rdi
movq %r15, %rsi
callq 0x1f5819
movq 0x38(%rsp), %rcx
cmpq %rax, %rcx
cmovbeq %rax, %rcx
movq %rcx, 0x38(%rsp)
jmp 0x1f3fa7
movq 0x18(%rsp), %rax
movq %rax, %r12
subq 0x20(%rsp), %r12
jb 0x1f46e3
movq %rbx, %rcx
subq %rax, %rcx
jb 0x1f46d4
cmpq %rcx, %r12
movq %rcx, 0x88(%rsp)
cmovaeq %rcx, %r12
cmpq %r12, %rbx
jb 0x1f46e8
testq %r12, %r12
movq 0x8(%rsp), %r13
je 0x1f41ff
negq %r12
movq 0x20(%rsp), %r15
leaq (%rbx,%r12), %rax
movq %rax, 0x68(%rsp)
movq %r13, %rdi
movq (%rsp), %r14
movq %r14, %rsi
movq %r15, %rdx
callq 0x206063
movq %rax, 0x78(%rsp)
movq %r13, %rdi
movq %r14, %rsi
movq 0x68(%rsp), %rdx
callq 0x206063
movq %r13, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r13, %rdi
movq %r14, %rsi
movq 0x68(%rsp), %rdx
movq 0x78(%rsp), %rcx
callq 0x2060df
incq %r15
incq %r12
jne 0x1f41a1
movq 0x28(%rsp), %r12
movq %r12, %rcx
subq %rbp, %rcx
jb 0x1f46d9
movq 0x40(%rsp), %rax
cmpq %r12, %rax
jbe 0x1f46cf
notq %r12
addq %rax, %r12
cmpq %r12, %rcx
movq %rcx, 0x70(%rsp)
cmovbq %rcx, %r12
cmpq %r12, %rax
jbe 0x1f46de
testq %r12, %r12
movq 0x8(%rsp), %r14
movq 0x40(%rsp), %r9
je 0x1f42b1
negq %r12
movq %rbx, %r15
leaq (%r9,%r12), %rax
movq %rax, 0x68(%rsp)
movq %r14, %rdi
movq (%rsp), %r13
movq %r13, %rsi
movq %r15, %rdx
callq 0x206063
movq %rax, 0x78(%rsp)
movq %r14, %rdi
movq %r13, %rsi
movq 0x68(%rsp), %rdx
callq 0x206063
movq %r14, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0x2060df
movq %r14, %rdi
movq %r13, %rsi
movq 0x68(%rsp), %rdx
movq 0x78(%rsp), %rcx
callq 0x2060df
movq 0x40(%rsp), %r9
incq %r15
incq %r12
jne 0x1f424e
cmpq 0x18(%rsp), %rbx
movq 0x30(%rsp), %r15
movq 0x20(%rsp), %r12
movq 0x70(%rsp), %r11
movq 0x88(%rsp), %rbx
je 0x1f4483
movq 0x48(%rsp), %r8
testq %r8, %r8
je 0x1f4353
movq 0x8(%r8), %rax
testq %rax, %rax
je 0x1f46ed
leaq (%rbx,%r12), %rdx
movq (%rsp), %rcx
addq %rdx, %rcx
addq 0x20(%r8), %rcx
cmpq 0x10(%r8), %rcx
jae 0x1f46ed
movq (%r8), %rsi
testq %rsi, %rsi
movq 0x10(%rsp), %r10
je 0x1f4325
movabsq $-0x8000000000000000, %rdi # imm = 0x8000000000000000
shrq %cl, %rdi
shrq $0x6, %rcx
orq %rdi, (%rsi,%rcx,8)
movq %r10, %rcx
shrq $0x20, %rcx
jne 0x1f4701
movq 0x20(%r8), %rcx
leaq (%rax,%rcx,4), %rax
movq (%rsp), %rcx
leaq (%rax,%rcx,4), %rax
movl %r10d, (%rax,%rdx,4)
cmpq $0xff, %r10
jb 0x1f4353
incq 0x18(%r8)
cmpq $0x1, %rbx
je 0x1f4483
movq 0x90(%rsp), %rsi
cmpq %rsi, 0xa0(%rsp)
jne 0x1f4440
cmpq 0xa8(%rsp), %rsi
je 0x1f4387
movq 0x2b8(%rsp), %rdi
jmp 0x1f4389
xorl %edi, %edi
addq 0xb0(%rsp), %rsi
shlq $0x4, %rsi
leaq 0x1cbbb4(%rip), %rdx    # 0x3bff50
movl $0x8ae, %ecx            # imm = 0x8AE
callq 0x1094e6
movq %rax, 0x2b8(%rsp)
movq 0xa8(%rsp), %rdx
cmpq %rdx, 0x90(%rsp)
jne 0x1f43d4
shlq $0x4, %rdx
movq %rax, %rdi
leaq 0xb8(%rsp), %rsi
callq 0x17660
cmpq $0x0, 0x2c0(%rsp)
je 0x1f441e
cmpq $0x0, 0xb0(%rsp)
je 0x1f441e
xorl %ebx, %ebx
xorl %r14d, %r14d
movq 0x90(%rsp), %rdi
shlq $0x4, %rdi
addq 0x2b8(%rsp), %rdi
addq %rbx, %rdi
callq *0x2c0(%rsp)
incq %r14
addq $0x10, %rbx
cmpq 0xb0(%rsp), %r14
jb 0x1f43ef
movq 0xb0(%rsp), %rax
addq %rax, 0x90(%rsp)
movq 0x40(%rsp), %r9
movq 0x70(%rsp), %r11
movq 0x88(%rsp), %rbx
movq 0x2b8(%rsp), %rax
movq 0xa0(%rsp), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0xa0(%rsp)
shlq $0x4, %rcx
movq %r12, (%rax,%rcx)
movq %rbx, 0x8(%rax,%rcx)
movq 0xa0(%rsp), %rax
cmpq %rax, 0x98(%rsp)
jae 0x1f4483
movq %rax, 0x98(%rsp)
cmpq %rbp, 0x28(%rsp)
movq 0x8(%rsp), %rbp
je 0x1f464d
movq 0x48(%rsp), %r8
testq %r8, %r8
je 0x1f451b
movq %r9, %rax
subq %r11, %rax
jb 0x1f46fc
movq 0x8(%r8), %rdx
testq %rdx, %rdx
movq 0x38(%rsp), %r10
je 0x1f46f2
movq (%rsp), %rcx
addq %rax, %rcx
addq 0x20(%r8), %rcx
cmpq 0x10(%r8), %rcx
jae 0x1f46f2
movq (%r8), %rsi
testq %rsi, %rsi
je 0x1f44ed
movabsq $-0x8000000000000000, %rdi # imm = 0x8000000000000000
shrq %cl, %rdi
shrq $0x6, %rcx
orq %rdi, (%rsi,%rcx,8)
movq %r10, %rcx
shrq $0x20, %rcx
jne 0x1f46f7
movq 0x20(%r8), %rcx
leaq (%rdx,%rcx,4), %rcx
movq (%rsp), %rdx
leaq (%rcx,%rdx,4), %rcx
movl %r10d, (%rcx,%rax,4)
cmpq $0xff, %r10
jb 0x1f451b
incq 0x18(%r8)
cmpq $0x1, %r11
je 0x1f464d
subq %r11, %r9
jb 0x1f4715
movq 0x90(%rsp), %rsi
cmpq %rsi, 0xa0(%rsp)
jne 0x1f460a
cmpq 0xa8(%rsp), %rsi
je 0x1f4558
movq 0x2b8(%rsp), %rdi
jmp 0x1f455a
xorl %edi, %edi
movq %r9, %r12
addq 0xb0(%rsp), %rsi
shlq $0x4, %rsi
leaq 0x1cb9e0(%rip), %rdx    # 0x3bff50
movl $0x8c4, %ecx            # imm = 0x8C4
callq 0x1094e6
movq %rax, 0x2b8(%rsp)
movq 0xa8(%rsp), %rdx
cmpq %rdx, 0x90(%rsp)
jne 0x1f45a8
shlq $0x4, %rdx
movq %rax, %rdi
leaq 0xb8(%rsp), %rsi
callq 0x17660
cmpq $0x0, 0x2c0(%rsp)
je 0x1f45f2
cmpq $0x0, 0xb0(%rsp)
je 0x1f45f2
xorl %ebx, %ebx
xorl %r14d, %r14d
movq 0x90(%rsp), %rdi
shlq $0x4, %rdi
addq 0x2b8(%rsp), %rdi
addq %rbx, %rdi
callq *0x2c0(%rsp)
incq %r14
addq $0x10, %rbx
cmpq 0xb0(%rsp), %r14
jb 0x1f45c3
movq 0xb0(%rsp), %rax
addq %rax, 0x90(%rsp)
movq %r12, %r9
movq 0x70(%rsp), %r11
movq 0x2b8(%rsp), %rax
movq 0xa0(%rsp), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0xa0(%rsp)
shlq $0x4, %rcx
movq %r9, (%rax,%rcx)
movq %r11, 0x8(%rax,%rcx)
movq 0xa0(%rsp), %rax
cmpq %rax, 0x98(%rsp)
jae 0x1f464d
movq %rax, 0x98(%rsp)
movq 0xa0(%rsp), %rcx
testq %rcx, %rcx
jne 0x1f38c4
movq 0x90(%rsp), %rax
cmpq 0xa8(%rsp), %rax
jbe 0x1f4695
movq 0x2b8(%rsp), %rdi
leaq 0x1cb8d1(%rip), %rsi    # 0x3bff50
movl $0x8c8, %edx            # imm = 0x8C8
callq 0x109670
movq $0x0, 0x2b8(%rsp)
addq $0x2c8, %rsp            # imm = 0x2C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x798f5
callq 0x79ce9
callq 0x79d20
callq 0x79cb2
callq 0x7992e
callq 0x79c7b
callq 0x79967
callq 0x79c44
callq 0x799a0
callq 0x79bd2
callq 0x79b60
callq 0x799d9
callq 0x79c0b
callq 0x79b99
callq 0x79a49
callq 0x79ab7
callq 0x79a80
callq 0x79aee
callq 0x79a12
callq 0x79d57
callq 0x79883
callq 0x798bc
callq 0x79b27