// File: /workspace/github_cpp_makefile_star2_O2/sisong[P]ApkDiffPatch/HDiffPatch/libHDiffPatch/HDiff/private_diff/libdivsufsort/trsort.c.inc.h
// Function: trsort64(long long*, long long*, long long, long long)
void
trsort(sastore_t *ISA, sastore_t* SA, saidx_t n, saidx_t depth) {
  sastore_t*ISAd;
  sastore_t*first, *last;
  trbudget_t budget;
  saidx_t t, skip, unsorted;

  trbudget_init(&budget, tr_ilg(n) * 2 / 3, n);
/*  trbudget_init(&budget, tr_ilg(n) * 3 / 4, n); */
  for(ISAd = ISA + depth; -n < *SA; ISAd += ISAd - ISA) {
    first = SA;
    skip = 0;
    unsorted = 0;
    do {
      if((t = *first) < 0) { first -= t; skip += t; }
      else {
        if(skip != 0) { *(first + skip) = skip; skip = 0; }
        last = SA + ISA[t] + 1;
        if(1 < (last - first)) {
          budget.count = 0;
          tr_introsort(ISA, ISAd, SA, first, last, &budget);
          if(budget.count != 0) { unsorted += budget.count; }
          else { skip = (saidx_t)(first - last); }
        } else if((last - first) == 1) {
          skip = -1;
        }
        first = last;
      }
    } while(first < (SA + n));
    if(skip != 0) { *(first + skip) = skip; }
    if(unsorted == 0) { break; }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xcf8, %rsp            # imm = 0xCF8
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbp
movq %rdx, %rdi
callq 0x2563e
movq %r15, %r11
addl %eax, %eax
pushq $0x3
popq %rcx
cltd
idivl %ecx
cltq
leaq 0xd0(%rsp), %rcx
movq %rax, (%rcx)
movq %r14, 0x10(%rcx)
movq %r14, 0x8(%rcx)
leaq (%rbp,%rbx,8), %rax
movq %rax, 0x78(%rsp)
leaq 0x8(%r15), %rsi
leaq (%r15,%r14,8), %r8
negq %r14
movq %r14, 0xb8(%rsp)
movq %r15, %rax
negq %rax
movq %rax, 0x88(%rsp)
movq %r15, 0x28(%rsp)
movq %rbp, 0x20(%rsp)
movq %rsi, 0x98(%rsp)
movq %r8, 0x90(%rsp)
movq (%r11), %rcx
cmpq 0xb8(%rsp), %rcx
jle 0x2524c
movq 0x78(%rsp), %rdx
subq %rbp, %rdx
sarq $0x3, %rdx
movq %rdx, 0x18(%rsp)
negq %rdx
movq %rdx, 0xc8(%rsp)
movq %r11, %r13
xorl %eax, %eax
movq $0x0, 0x80(%rsp)
testq %rcx, %rcx
js 0x25182
testq %rax, %rax
je 0x23f2f
movq %rax, (%r13,%rax,8)
movq (%rbp,%rcx,8), %rax
leaq (%rsi,%rax,8), %r14
movq %r14, %rdi
subq %r13, %rdi
cmpq $0x9, %rdi
jl 0x25195
andq $0x0, 0xe8(%rsp)
shrq $0x3, %rdi
callq 0x2563e
movq 0x28(%rsp), %r11
movl %eax, %edi
xorl %r15d, %r15d
movq %r14, 0xa0(%rsp)
movq %r13, 0xc0(%rsp)
movq 0x78(%rsp), %rbx
pushq $-0x1
popq %r9
movq %r14, %rax
subq %r13, %rax
movq %rax, 0x10(%rsp)
sarq $0x3, %rax
leaq -0x1(%rax), %rcx
movq %rcx, 0xb0(%rsp)
shrq %rcx
movq %rcx, 0xa8(%rsp)
leaq -0x8(%r14), %rcx
movq %rcx, 0x68(%rsp)
movq %rax, %rcx
shrq %rcx
movq %rcx, 0x50(%rsp)
movl %r9d, 0x38(%rsp)
movq %r15, 0x48(%rsp)
movslq %r15d, %rcx
movl %r9d, %ebp
testl %edi, %edi
js 0x24157
cmpq $0x8, %rax
jg 0x24030
movq %rax, %rbp
movq %r13, %rax
leaq 0x8(%rax), %rcx
cmpq %r14, %rcx
jae 0x24028
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq (%rbx,%rdx,8), %rdi
movq (%rbx,%rsi,8), %r8
cmpq %r8, %rdi
jge 0x24017
addq $-0x8, %rax
movq %rsi, 0x10(%rax)
cmpq %r13, %rax
jb 0x24017
movq (%rax), %rsi
addq $-0x8, %rax
testq %rsi, %rsi
js 0x23ffc
addq $0x8, %rax
jmp 0x23feb
cmpq %r8, %rdi
jne 0x2401f
notq (%rax)
movq %rdx, 0x8(%rax)
movq %rcx, %rax
jmp 0x23fdb
pushq $-0x3
popq %rdi
movq %rbp, %rax
jmp 0x23fc1
testl %edi, %edi
movq %rax, 0x70(%rsp)
jne 0x248f6
movq 0x50(%rsp), %r15
movq %rax, %rbp
testb $0x8, 0x10(%rsp)
jne 0x240a3
movq %rax, %rsi
movq 0xa8(%rsp), %r15
movq (%r13,%r15,8), %rax
movq (%rbx,%rax,8), %rdx
movq -0x8(%r13,%rsi,8), %rcx
movq 0xb0(%rsp), %rbp
cmpq (%rbx,%rcx,8), %rdx
jge 0x240a3
movq %rax, -0x8(%r13,%rsi,8)
movq 0xa8(%rsp), %r15
movq %rcx, (%r13,%r15,8)
movq 0xb0(%rsp), %rbp
jmp 0x240a3
decq %r15
movq %rbx, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %rbp, %rcx
callq 0x25b5f
testq %r15, %r15
jg 0x2408f
testb $0x8, 0x10(%rsp)
jne 0x240f5
movq (%r13), %rax
movq (%r13,%rbp,8), %rcx
movq %rcx, (%r13)
movq %rax, (%r13,%rbp,8)
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
movq %rbp, %rcx
callq 0x25b5f
jmp 0x240f5
movq (%r13), %r15
movq (%r13,%rbp,8), %rax
movq %rax, (%r13)
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
movq %rbp, %rcx
callq 0x25b5f
movq %r15, (%r13,%rbp,8)
decq %rbp
leaq 0x1(%rbp), %rax
cmpq $0x1, %rax
jg 0x240d3
movq 0x68(%rsp), %r10
movq 0x28(%rsp), %r11
movq 0x48(%rsp), %r15
movl 0x38(%rsp), %r9d
cmpq %r10, %r13
jae 0x2414a
movq (%r10), %rax
movq (%rbx,%rax,8), %rax
addq $-0x8, %r10
movq %r10, %r12
cmpq %r12, %r13
ja 0x24145
movq (%r12), %rcx
cmpq %rax, (%rbx,%rcx,8)
jne 0x24145
notq %rcx
movq %rcx, (%r12)
addq $-0x8, %r12
jmp 0x24129
movq %r12, %r10
jmp 0x24116
pushq $-0x3
popq %rdi
movq 0x70(%rsp), %rax
jmp 0x23fc1
movq %r12, 0x60(%rsp)
movq %r10, 0x58(%rsp)
cmpl $-0x2, %edi
je 0x24298
movq %rcx, 0x30(%rsp)
cmpl $-0x1, %edi
jne 0x2434e
movq 0xc8(%rsp), %rax
leaq (%rbx,%rax,8), %rbp
movq %r14, %rax
subq %r11, %rax
sarq $0x3, %rax
decq %rax
movq %rax, (%rsp)
movq %rbp, %rdi
movq %r13, %rsi
movq %r13, %rdx
movq %r14, %rcx
leaq 0x58(%rsp), %r8
leaq 0x60(%rsp), %r9
callq 0x2594f
movq 0x58(%rsp), %r10
cmpq %r14, %r10
movq 0x20(%rsp), %rsi
jae 0x241e3
movq %r10, %rax
subq 0x28(%rsp), %rax
sarq $0x3, %rax
decq %rax
movq %r13, %rcx
cmpq %r10, %rcx
jae 0x241e3
movq (%rcx), %rdx
movq %rax, (%rsi,%rdx,8)
addq $0x8, %rcx
jmp 0x241d1
movq 0x60(%rsp), %r12
cmpq %r14, %r12
movq 0x28(%rsp), %r11
movl 0x38(%rsp), %r8d
jae 0x24219
movq %r12, %rax
subq %r11, %rax
sarq $0x3, %rax
decq %rax
movq %r10, %rcx
cmpq %r12, %rcx
jae 0x24219
movq (%rcx), %rdx
movq %rax, (%rsi,%rdx,8)
addq $0x8, %rcx
jmp 0x24207
movq %r12, %rax
subq %r10, %rax
cmpq $0x9, %rax
jl 0x244cb
cmpl $0x60, %r15d
jge 0x2529c
movq 0x30(%rsp), %rcx
shlq $0x5, %rcx
andq $0x0, 0xf0(%rsp,%rcx)
movq %r10, 0xf8(%rsp,%rcx)
movq %r12, 0x100(%rsp,%rcx)
andq $0x0, 0x108(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x252bb
leaq 0xf0(%rsp), %rax
movq %rbp, 0x20(%rcx,%rax)
movq %r13, 0x28(%rcx,%rax)
movq %r14, 0x30(%rcx,%rax)
movl $0xfffffffe, 0x38(%rcx,%rax) # imm = 0xFFFFFFFE
leal 0x2(%r15), %edx
movl %r8d, 0x3c(%rcx,%rax)
movl %r15d, %r8d
jmp 0x244ce
shlq $0x5, %rcx
leaq 0xf0(%rsp), %rax
movq -0x18(%rcx,%rax), %r10
movq -0x10(%rcx,%rax), %r12
movq %r10, 0x58(%rsp)
movq %r12, 0x60(%rsp)
cmpl $0x0, -0x8(%rcx,%rax)
je 0x245fb
testl %r9d, %r9d
js 0x242d4
shlq $0x5, %rbp
orl $-0x1, 0x108(%rsp,%rbp)
movq 0x20(%rsp), %rax
movq %rax, %rbp
subq %rax, %rbx
sarq $0x3, %rbx
movq %r12, %rax
subq %r11, %rax
sarq $0x3, %rax
decq %rax
leaq -0x8(%r10), %rcx
movq %r13, %rsi
pushq $-0x1
popq %rdx
movq %rdx, %rdi
movq %r10, 0x10(%rsp)
cmpq %rcx, %rsi
ja 0x24427
movq (%rsi), %r9
movq %r9, %r8
subq %rbx, %r8
js 0x24348
cmpq %rax, (%rbp,%r8,8)
jne 0x24348
movq %r8, 0x8(%rcx)
addq $0x8, %rcx
movq (%rbp,%r9,8), %r9
movq %rcx, %r10
subq %r11, %r10
sarq $0x3, %r10
cmpq %r9, %rdi
cmovneq %r10, %rdx
movq 0x10(%rsp), %r10
movq %rdx, (%rbp,%r8,8)
movq %r9, %rdi
addq $0x8, %rsi
jmp 0x24302
movq (%r13), %rcx
testq %rcx, %rcx
js 0x24396
movq 0x88(%rsp), %rax
addq %r13, %rax
addq $0x8, %r13
movq %r13, %r10
movq %rax, %rdx
sarq $0x3, %rdx
movq 0x20(%rsp), %rsi
movq %rdx, (%rsi,%rcx,8)
cmpq %r14, %r13
jae 0x2438e
movq (%r10), %rcx
leaq 0x8(%r10), %r13
addq $0x8, %rax
testq %rcx, %rcx
jns 0x24366
movq %r10, 0x58(%rsp)
movq %r10, %r13
cmpq %r14, %r13
jae 0x24562
movq (%r13), %rax
pushq $0x8
popq %r15
notq %rax
movq %rax, -0x8(%r13,%r15)
movq (%r13,%r15), %rax
addq $0x8, %r15
testq %rax, %rax
js 0x243a7
movq 0x20(%rsp), %rcx
movq (%rcx,%rax,8), %rcx
pushq $-0x1
popq %rdi
cmpq (%rbx,%rax,8), %rcx
je 0x243e1
leaq -0x8(%r15), %rdi
sarq $0x3, %rdi
incq %rdi
callq 0x2563e
movl %eax, %edi
leaq (%r15,%r13), %rsi
movq %rsi, 0x58(%rsp)
cmpq %r14, %rsi
jae 0x246db
movq 0x88(%rsp), %rax
addq %r13, %rax
addq %r15, %rax
sarq $0x3, %rax
decq %rax
movq %r13, %r12
cmpq %rsi, %r12
jae 0x246d6
movq (%r12), %rcx
movq 0x20(%rsp), %rdx
movq %rax, (%rdx,%rcx,8)
addq $0x8, %r12
jmp 0x2440b
movq 0x88(%rsp), %rsi
addq %rcx, %rsi
movq %rcx, %rdi
pushq $-0x1
popq %r8
cmpq %r13, %rdi
jb 0x24470
movq (%rdi), %r10
movq (%rbp,%r10,8), %r9
movq %rsi, %r11
sarq $0x3, %r11
cmpq %r9, %r8
cmovneq %r11, %rdx
cmpq %r9, %rdx
je 0x2445e
movq %rdx, (%rbp,%r10,8)
addq $-0x8, %rdi
addq $-0x8, %rsi
movq %r9, %r8
movq 0x10(%rsp), %r10
jmp 0x24439
addq $0x8, %rcx
movq %r12, %rsi
pushq $-0x1
popq %rdi
movq 0x28(%rsp), %r11
addq $-0x8, %r14
cmpq %rsi, %rcx
jae 0x24685
movq (%r14), %r9
movq %r9, %r8
subq %rbx, %r8
js 0x2447f
cmpq %rax, (%rbp,%r8,8)
jne 0x2447f
movq %r8, -0x8(%rsi)
addq $-0x8, %rsi
movq (%rbp,%r9,8), %r9
movq %rsi, %r10
subq %r11, %r10
sarq $0x3, %r10
cmpq %r9, %rdi
cmovneq %r10, %rdx
movq 0x10(%rsp), %r10
movq %rdx, (%rbp,%r8,8)
movq %r9, %rdi
jmp 0x2447f
movl %r15d, %edx
movq %r10, %rdi
subq %r13, %rdi
sarq $0x3, %rdi
movq %r14, %rbp
subq %r12, %rbp
sarq $0x3, %rbp
movslq %edx, %r15
cmpq %rbp, %rdi
jle 0x2457e
cmpq $0x2, %rbp
jl 0x24785
cmpl $0x60, %edx
jge 0x252da
shlq $0x5, %r15
movq %rbx, 0xf0(%rsp,%r15)
movq %r13, 0xf8(%rsp,%r15)
movq %r10, 0x100(%rsp,%r15)
movq %r10, 0x10(%rsp)
movl %r8d, 0x38(%rsp)
movq %rdx, %r13
callq 0x2563e
movl %eax, 0x108(%rsp,%r15)
incl %r13d
movq %r13, 0x48(%rsp)
movl 0x38(%rsp), %eax
movl %eax, 0x10c(%rsp,%r15)
movq %rbp, %rdi
callq 0x2563e
movl 0x38(%rsp), %r9d
movq 0x10(%rsp), %r10
jmp 0x247d2
testl %r15d, %r15d
js 0x2527d
movq 0x20(%rsp), %rbp
je 0x251a3
decl %r15d
jmp 0x246a3
cmpq $0x2, %rdi
jl 0x247af
cmpl $0x60, %edx
jge 0x252f9
shlq $0x5, %r15
movq %rbx, 0xf0(%rsp,%r15)
movq %r12, 0xf8(%rsp,%r15)
movq %r14, 0x100(%rsp,%r15)
movq %rdi, 0x38(%rsp)
movq %rbp, %rdi
movq %r10, 0x10(%rsp)
movl %r8d, %r14d
movq %rdx, %rbp
callq 0x2563e
movl %eax, 0x108(%rsp,%r15)
incl %ebp
movl %r14d, 0x10c(%rsp,%r15)
movq 0x38(%rsp), %rdi
callq 0x2563e
movl %r14d, %r9d
movq 0x10(%rsp), %r10
movq 0x28(%rsp), %r11
movl %eax, %edi
movq %r10, %r14
movl %ebp, %r15d
jmp 0x23f7d
movq 0x20(%rsp), %rax
movq %rax, %rbp
subq %rax, %rbx
sarq $0x3, %rbx
movq %r12, %rax
subq %r11, %rax
sarq $0x3, %rax
decq %rax
leaq -0x8(%r10), %rcx
cmpq %rcx, %r13
ja 0x2464d
movq (%r13), %rdx
subq %rbx, %rdx
js 0x24647
cmpq %rax, (%rbp,%rdx,8)
jne 0x24647
movq %rdx, 0x8(%rcx)
addq $0x8, %rcx
movq %rcx, %rsi
subq %r11, %rsi
sarq $0x3, %rsi
movq %rsi, (%rbp,%rdx,8)
addq $0x8, %r13
jmp 0x2461b
addq $0x8, %rcx
movq %r12, %rdx
addq $-0x8, %r14
cmpq %rdx, %rcx
jae 0x24685
movq (%r14), %rsi
subq %rbx, %rsi
js 0x24654
cmpq %rax, (%rbp,%rsi,8)
jne 0x24654
movq %rsi, -0x8(%rdx)
addq $-0x8, %rdx
movq %rdx, %rdi
subq %r11, %rdi
sarq $0x3, %rdi
movq %rdi, (%rbp,%rsi,8)
jmp 0x24654
movq 0x48(%rsp), %rcx
testl %ecx, %ecx
jle 0x2525e
movl %ecx, %eax
decl %eax
je 0x251a3
movq %rcx, %r15
addl $-0x2, %r15d
movq %r15, %rax
shlq $0x5, %rax
movq 0xf0(%rsp,%rax), %rbx
movq 0xf8(%rsp,%rax), %r13
movq 0x100(%rsp,%rax), %r14
movl 0x108(%rsp,%rax), %edi
movl 0x10c(%rsp,%rax), %r9d
jmp 0x23f7d
movq %r12, 0x60(%rsp)
movl %edi, 0x44(%rsp)
movq %rsi, 0x10(%rsp)
movq %r15, %rsi
sarq $0x3, %rsi
leaq 0xd0(%rsp), %rdi
callq 0x25b2f
testl %eax, %eax
je 0x247e6
movq %r14, %rax
subq %r13, %rax
subq %r15, %rax
cmpq %rax, %r15
movq 0x28(%rsp), %r11
movl 0x38(%rsp), %r9d
jle 0x24837
cmpq $0x9, %rax
movq 0x48(%rsp), %r15
movq 0x10(%rsp), %r10
movl 0x44(%rsp), %edi
movq 0x30(%rsp), %rcx
jl 0x24886
cmpl $0x60, %r15d
jge 0x25394
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
shlq $0x5, %rcx
movq %rax, 0xf0(%rsp,%rcx)
movq %r13, 0xf8(%rsp,%rcx)
movq %r10, 0x100(%rsp,%rcx)
movl %edi, 0x108(%rsp,%rcx)
incl %r15d
movl %r9d, 0x10c(%rsp,%rcx)
movq %r10, %r13
pushq $-0x3
popq %rdi
jmp 0x23f7d
cmpq $0x2, %rdi
jl 0x24897
movq %r10, %r14
movl %r8d, %ebp
movq %rdx, %r15
callq 0x2563e
movl %ebp, %r9d
movq %r14, %r10
movq 0x28(%rsp), %r11
movl %eax, %edi
jmp 0x23f7d
cmpq $0x2, %rbp
jl 0x248ab
movq %rbp, %rdi
movq %r10, %r15
movl %r8d, %ebp
movq %rdx, 0x48(%rsp)
callq 0x2563e
movl %ebp, %r9d
movq %r15, %r10
movq 0x28(%rsp), %r11
movl %eax, %edi
movq %r12, %r13
movq 0x48(%rsp), %r15
jmp 0x23f7d
movl 0x38(%rsp), %r9d
testl %r9d, %r9d
movq 0x28(%rsp), %r11
js 0x24801
shlq $0x5, %rbp
orl $-0x1, 0x108(%rsp,%rbp)
movq %r14, %rax
subq %r13, %rax
subq %r15, %rax
movq 0x10(%rsp), %r10
movq %r10, %r13
pushq $-0x3
popq %rdi
cmpq $0x8, %rax
movq 0x20(%rsp), %rbp
movq 0x48(%rsp), %r15
jg 0x23f7d
testl %r15d, %r15d
jns 0x24570
jmp 0x25375
movq 0x48(%rsp), %r15
cmpl $0x60, %r15d
movq 0x10(%rsp), %r10
movl 0x44(%rsp), %edi
movq 0x30(%rsp), %rax
jge 0x25318
shlq $0x5, %rax
movq %rbx, 0xf0(%rsp,%rax)
movq %r10, 0xf8(%rsp,%rax)
movq %r14, 0x100(%rsp,%rax)
movl $0xfffffffd, 0x108(%rsp,%rax) # imm = 0xFFFFFFFD
incl %r15d
movl %r9d, 0x10c(%rsp,%rax)
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rbx
movq %r10, %r14
jmp 0x23f7d
testl %edx, %edx
movq 0x20(%rsp), %rbp
js 0x25356
jne 0x248be
jmp 0x251a3
testl %edx, %edx
js 0x25337
movq 0x20(%rsp), %rbp
je 0x251a3
decl %edx
movq %rdx, %rax
shlq $0x5, %rax
movq 0xf0(%rsp,%rax), %rbx
movq 0xf8(%rsp,%rax), %r13
movq 0x100(%rsp,%rax), %r14
movl 0x108(%rsp,%rax), %edi
movl 0x10c(%rsp,%rax), %r9d
movl %edx, %r15d
jmp 0x23f7d
movq %r12, 0x60(%rsp)
movq 0x50(%rsp), %rdx
leaq (,%rdx,8), %r10
addq %r13, %r10
cmpq $0x200, %rax            # imm = 0x200
movl %edi, 0x44(%rsp)
movq %rcx, 0x30(%rsp)
ja 0x24936
cmpq $0x20, %rax
ja 0x249b7
movq %rbx, %rdi
movq %r13, %rsi
movq %r10, %rdx
movq 0x68(%rsp), %rcx
jmp 0x249ad
movq %rax, %r12
shrq $0x3, %r12
movq %rax, %r15
andq $-0x8, %r15
leaq (%r15,%r13), %rdx
shlq $0x4, %r12
leaq (%r12,%r13), %rcx
movq %rbx, %rdi
movq %r13, %rsi
movq %r10, 0x50(%rsp)
callq 0x25bbc
movq %rax, 0x10(%rsp)
movq 0x50(%rsp), %rax
movq %rax, %rsi
subq %r15, %rsi
leaq (%rax,%r15), %rcx
movq %rax, %rdx
movq %rbx, %rdi
callq 0x25bbc
movq %rax, 0x50(%rsp)
movq 0x68(%rsp), %rcx
movq %rcx, %rsi
subq %r12, %rsi
movq %rcx, %rdx
subq %r15, %rdx
movq %rbx, %rdi
callq 0x25bbc
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
movq 0x50(%rsp), %rdx
movq %rax, %rcx
callq 0x25bbc
jmp 0x24a64
addq %rax, %rax
andq $-0x8, %rax
movq 0x68(%rsp), %r9
movq %r9, %rcx
subq %rax, %rcx
movq (%r13,%rax), %rdx
movq (%rbx,%rdx,8), %rsi
movq (%r10), %rdi
cmpq (%rbx,%rdi,8), %rsi
cmovgq %rdi, %rdx
leaq (%r13,%rax), %rax
movq %rax, %rsi
cmovgq %r10, %rsi
cmovgq %rax, %r10
movq (%rcx), %rax
movq (%rbx,%rax,8), %rdi
movq (%r9), %r8
cmpq (%rbx,%r8,8), %rdi
cmovgq %r8, %rax
movq %rcx, %rdi
cmovgq %r9, %rdi
cmovleq %r9, %rcx
movq (%rbx,%rdx,8), %rdx
cmpq (%rbx,%rax,8), %rdx
movq %r10, %rdx
cmovgq %rcx, %rdx
cmovgq %rsi, %rdi
cmovgq %r10, %rcx
movq (%r13), %rsi
movq (%rbx,%rsi,8), %rax
movq (%rdx), %r8
cmpq (%rbx,%r8,8), %rax
cmovgq %r8, %rsi
movq %r13, %rax
cmovgq %rdx, %rax
cmovgq %r13, %rdx
movq (%rbx,%rsi,8), %rsi
movq (%rdi), %r8
cmpq (%rbx,%r8,8), %rsi
cmovgq %rcx, %rdx
cmovleq %rdi, %rax
movq (%rdx), %rcx
movq (%rbx,%rcx,8), %rcx
movq (%rax), %rsi
cmpq (%rbx,%rsi,8), %rcx
cmovleq %rdx, %rax
movq %rax, 0x58(%rsp)
movq (%r13), %rcx
movq (%rax), %rdx
movq %rdx, (%r13)
movq %rcx, (%rax)
movq (%r13), %rax
movq (%rbx,%rax,8), %r15
leaq 0x8(%r13), %rdx
movq %r15, (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
movq %r14, %rcx
leaq 0x58(%rsp), %r8
leaq 0x60(%rsp), %r9
callq 0x2594f
movq 0x60(%rsp), %r12
movq 0x58(%rsp), %r10
movq %r12, %rax
subq %r10, %rax
movq %rax, %r9
sarq $0x3, %r9
movq 0x70(%rsp), %rsi
cmpq %r9, %rsi
movq %r10, 0x10(%rsp)
jne 0x24b09
leaq 0xd0(%rsp), %rdi
movq %rsi, %r15
callq 0x25b2f
testl %eax, %eax
je 0x24cfe
movq %r15, %rdi
callq 0x2563e
movl %eax, %edi
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rbx
movq 0x28(%rsp), %r11
movq 0x48(%rsp), %r15
movq 0x10(%rsp), %r10
movl 0x38(%rsp), %r9d
jmp 0x23f7d
movq %rax, 0x68(%rsp)
movq (%r10), %rdx
pushq $-0x1
popq %rax
movq 0x20(%rsp), %rcx
cmpq %r15, (%rcx,%rdx,8)
je 0x24b32
movq %r9, %rdi
movq %r9, %r15
callq 0x2563e
movq %r15, %r9
movq 0x10(%rsp), %r10
movl 0x44(%rsp), %edi
decl %edi
movq %r10, %r8
movq 0x28(%rsp), %r11
subq %r11, %r8
sarq $0x3, %r8
decq %r8
movq %r13, %rcx
movq 0x48(%rsp), %r15
cmpq %r10, %rcx
jae 0x24b69
movq (%rcx), %rdx
movq 0x20(%rsp), %rsi
movq %r8, (%rsi,%rdx,8)
addq $0x8, %rcx
jmp 0x24b52
cmpq %r14, %r12
jae 0x24b95
movq %r12, %r8
subq %r11, %r8
sarq $0x3, %r8
decq %r8
movq %r10, %rcx
cmpq %r12, %rcx
jae 0x24b95
movq (%rcx), %rdx
movq 0x20(%rsp), %rsi
movq %r8, (%rsi,%rdx,8)
addq $0x8, %rcx
jmp 0x24b7e
cmpq $0x2, %r9
jl 0x24c6f
movl %edi, 0x44(%rsp)
leaq 0xd0(%rsp), %rdi
movq %r9, %rsi
movl %eax, 0x50(%rsp)
movq %r9, 0x70(%rsp)
callq 0x25b2f
movl 0x50(%rsp), %esi
movl 0x44(%rsp), %edi
movq 0x10(%rsp), %r10
movq 0x28(%rsp), %r11
testl %eax, %eax
je 0x24c6f
movq %r10, %rax
subq %r13, %rax
sarq $0x3, %rax
movq %r14, %rcx
subq %r12, %rcx
sarq $0x3, %rcx
cmpq %rcx, %rax
movl 0x38(%rsp), %r9d
jle 0x24db4
movq 0x70(%rsp), %rdx
cmpq %rdx, %rax
jle 0x24e38
cmpq %rdx, %rcx
jle 0x24f3e
cmpl $0x60, %r15d
jge 0x2544e
movq 0x30(%rsp), %rcx
shlq $0x5, %rcx
movq %rbx, 0xf0(%rsp,%rcx)
movq %r13, 0xf8(%rsp,%rcx)
movq %r10, 0x100(%rsp,%rcx)
movl %edi, 0x108(%rsp,%rcx)
movl %r9d, 0x10c(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x2546d
leaq 0xf0(%rsp), %rax
movq %rbx, 0x20(%rcx,%rax)
movq %r12, 0x28(%rcx,%rax)
movq %r14, 0x30(%rcx,%rax)
jmp 0x24e26
cmpq $0x9, 0x68(%rsp)
movl 0x38(%rsp), %r9d
jl 0x24c8d
testl %r9d, %r9d
js 0x24c8d
shlq $0x5, %rbp
orl $-0x1, 0x108(%rsp,%rbp)
movq %r10, %rax
subq %r13, %rax
sarq $0x3, %rax
movq %r14, %rcx
subq %r12, %rcx
sarq $0x3, %rcx
cmpq %rcx, %rax
jle 0x24d2e
cmpq $0x2, %rcx
movq 0x20(%rsp), %rbp
jl 0x24d7e
cmpl $0x60, %r15d
jge 0x253d2
movq 0x30(%rsp), %rax
shlq $0x5, %rax
movq %rbx, 0xf0(%rsp,%rax)
movq %r13, 0xf8(%rsp,%rax)
movq %r10, 0x100(%rsp,%rax)
movl %edi, 0x108(%rsp,%rax)
incl %r15d
movl %r9d, 0x10c(%rsp,%rax)
movq %r12, %r13
jmp 0x23f7d
cmpl $0x0, 0x38(%rsp)
movq 0x48(%rsp), %r15
js 0x24d16
shlq $0x5, %rbp
orl $-0x1, 0x108(%rsp,%rbp)
testl %r15d, %r15d
movq 0x28(%rsp), %r11
movq 0x10(%rsp), %r10
jns 0x2456b
jmp 0x253b3
cmpq $0x2, %rax
movq 0x20(%rsp), %rbp
jl 0x24d99
cmpl $0x60, %r15d
jge 0x253f1
movq 0x30(%rsp), %rax
shlq $0x5, %rax
movq %rbx, 0xf0(%rsp,%rax)
movq %r12, 0xf8(%rsp,%rax)
movq %r14, 0x100(%rsp,%rax)
movl %edi, 0x108(%rsp,%rax)
incl %r15d
movl %r9d, 0x10c(%rsp,%rax)
movq %r10, %r14
jmp 0x23f7d
movq %r10, %r14
cmpq $0x1, %rax
jg 0x23f7d
testl %r15d, %r15d
jns 0x24570
jmp 0x25410
movq %r12, %r13
cmpq $0x1, %rcx
jg 0x23f7d
testl %r15d, %r15d
jns 0x24570
jmp 0x2542f
movq 0x70(%rsp), %rdx
cmpq %rdx, %rcx
jle 0x24ebb
cmpq %rdx, %rax
movq 0x30(%rsp), %rcx
jle 0x24fc4
cmpl $0x60, %r15d
jge 0x2548c
shlq $0x5, %rcx
movq %rbx, 0xf0(%rsp,%rcx)
movq %r12, 0xf8(%rsp,%rcx)
movq %r14, 0x100(%rsp,%rcx)
movl %edi, 0x108(%rsp,%rcx)
movl %r9d, 0x10c(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x254ab
leaq 0xf0(%rsp), %rax
movq %rbx, 0x20(%rcx,%rax)
movq %r13, 0x28(%rcx,%rax)
movq %r10, 0x30(%rcx,%rax)
movl %edi, 0x38(%rcx,%rax)
addl $0x2, %r15d
movl %r9d, 0x3c(%rcx,%rax)
jmp 0x2516c
cmpq $0x2, %rcx
jl 0x25045
cmpl $0x60, %r15d
movq 0x30(%rsp), %rcx
jge 0x254ca
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
shlq $0x5, %rcx
movq %rax, 0xf0(%rsp,%rcx)
movq %r10, 0xf8(%rsp,%rcx)
movq %r12, 0x100(%rsp,%rcx)
movl %esi, 0x108(%rsp,%rcx)
movl %r9d, 0x10c(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x254e9
leaq 0xf0(%rsp), %rax
movq %rbx, 0x20(%rcx,%rax)
movq %r13, 0x28(%rcx,%rax)
movq %r10, 0x30(%rcx,%rax)
movl %edi, 0x38(%rcx,%rax)
addl $0x2, %r15d
movl %r9d, 0x3c(%rcx,%rax)
movq %r12, %r13
jmp 0x23f7d
cmpq $0x2, %rax
jl 0x2509d
cmpl $0x60, %r15d
jge 0x25508
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
movq 0x30(%rsp), %rcx
shlq $0x5, %rcx
movq %rax, 0xf0(%rsp,%rcx)
movq %r10, 0xf8(%rsp,%rcx)
movq %r12, 0x100(%rsp,%rcx)
movl %esi, 0x108(%rsp,%rcx)
movl %r9d, 0x10c(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x25527
leaq 0xf0(%rsp), %rax
movq %rbx, 0x20(%rcx,%rax)
movq %r12, 0x28(%rcx,%rax)
movq %r14, 0x30(%rcx,%rax)
movl %edi, 0x38(%rcx,%rax)
addl $0x2, %r15d
movl %r9d, 0x3c(%rcx,%rax)
movq %r10, %r14
jmp 0x23f7d
cmpq $0x2, %rcx
jl 0x250f5
cmpl $0x60, %r15d
movq 0x30(%rsp), %rax
jge 0x25546
shlq $0x5, %rax
movq %rbx, 0xf0(%rsp,%rax)
movq %r13, 0xf8(%rsp,%rax)
movq %r10, 0x100(%rsp,%rax)
movl %edi, 0x108(%rsp,%rax)
movl %r9d, 0x10c(%rsp,%rax)
cmpl $0x5f, %r15d
je 0x25565
movq %rax, %rdx
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
leaq 0xf0(%rsp), %rcx
movq %rax, 0x20(%rdx,%rcx)
movq %r10, 0x28(%rdx,%rcx)
movq %r12, 0x30(%rdx,%rcx)
movl %esi, 0x38(%rdx,%rcx)
addl $0x2, %r15d
movl %r9d, 0x3c(%rdx,%rcx)
movq %r12, %r13
jmp 0x23f7d
cmpq $0x2, %rax
jl 0x25134
cmpl $0x60, %r15d
jge 0x25584
shlq $0x5, %rcx
movq %rbx, 0xf0(%rsp,%rcx)
movq %r12, 0xf8(%rsp,%rcx)
movq %r14, 0x100(%rsp,%rcx)
movl %edi, 0x108(%rsp,%rcx)
movl %r9d, 0x10c(%rsp,%rcx)
cmpl $0x5f, %r15d
je 0x255a3
movq %rcx, %rdx
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
leaq 0xf0(%rsp), %rcx
movq %rax, 0x20(%rdx,%rcx)
movq %r10, 0x28(%rdx,%rcx)
movq %r12, 0x30(%rdx,%rcx)
movl %esi, 0x38(%rdx,%rcx)
addl $0x2, %r15d
movl %r9d, 0x3c(%rdx,%rcx)
movq %r10, %r14
jmp 0x23f7d
cmpq $0x2, %rax
movq 0x30(%rsp), %rcx
jl 0x2516c
cmpl $0x60, %r15d
jge 0x255c2
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
shlq $0x5, %rcx
movq %rax, 0xf0(%rsp,%rcx)
movq %r10, 0xf8(%rsp,%rcx)
movq %r12, 0x100(%rsp,%rcx)
movl %esi, 0x108(%rsp,%rcx)
incl %r15d
movl %r9d, 0x10c(%rsp,%rcx)
movq %r10, %r14
jmp 0x23f7d
cmpq $0x2, %rcx
jl 0x2516c
cmpl $0x60, %r15d
jge 0x255e1
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rax
movq 0x30(%rsp), %rcx
shlq $0x5, %rcx
movq %rax, 0xf0(%rsp,%rcx)
movq %r10, 0xf8(%rsp,%rcx)
movq %r12, 0x100(%rsp,%rcx)
movl %esi, 0x108(%rsp,%rcx)
incl %r15d
movl %r9d, 0x10c(%rsp,%rcx)
movq %r12, %r13
jmp 0x23f7d
cmpl $0x60, %r15d
movq 0x30(%rsp), %rax
jge 0x25600
shlq $0x5, %rax
movq %rbx, 0xf0(%rsp,%rax)
movq %r13, 0xf8(%rsp,%rax)
movq %r10, 0x100(%rsp,%rax)
movl %edi, 0x108(%rsp,%rax)
incl %r15d
movl %r9d, 0x10c(%rsp,%rax)
jmp 0x2516c
cmpl $0x60, %r15d
jge 0x2561f
shlq $0x5, %rcx
movq %rbx, 0xf0(%rsp,%rcx)
movq %r12, 0xf8(%rsp,%rcx)
movq %r14, 0x100(%rsp,%rcx)
movl %edi, 0x108(%rsp,%rcx)
incl %r15d
movl %r9d, 0x10c(%rsp,%rcx)
movq 0x18(%rsp), %rax
leaq (%rbx,%rax,8), %rbx
movq %r12, %r14
movq %r10, %r13
movl %esi, %edi
jmp 0x23f7d
leaq (,%rcx,8), %rdx
subq %rdx, %r13
addq %rcx, %rax
movq %r13, %r14
jmp 0x2520e
xorl %eax, %eax
cmpq $0x8, %rdi
sete %al
negq %rax
jmp 0x2520e
movq 0xe8(%rsp), %rax
testq %rax, %rax
je 0x251e7
movq 0x80(%rsp), %rcx
addq %rax, %rcx
movq %rcx, %rax
movq 0x90(%rsp), %r8
movq 0xa0(%rsp), %r14
cmpq %r8, %r14
movq 0x98(%rsp), %rsi
jae 0x2522f
movq %rax, 0x80(%rsp)
xorl %eax, %eax
jmp 0x25213
movq 0xa0(%rsp), %r14
movq 0xc0(%rsp), %rax
subq %r14, %rax
sarq $0x3, %rax
movq 0x98(%rsp), %rsi
movq 0x90(%rsp), %r8
cmpq %r8, %r14
jae 0x2521e
movq (%r14), %rcx
movq %r14, %r13
jmp 0x23f1c
testq %rax, %rax
je 0x25227
movq %rax, (%r14,%rax,8)
movq 0x80(%rsp), %rax
testq %rax, %rax
je 0x2524c
movq 0x78(%rsp), %rax
movq 0x18(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
movq %rax, 0x78(%rsp)
jmp 0x23ede
addq $0xcf8, %rsp            # imm = 0xCF8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2e55d(%rip), %rdi     # 0x537c2
leaq 0x2e697(%rip), %rsi     # 0x53903
leaq 0x2e6d9(%rip), %rcx     # 0x5394c
movl $0x179, %edx            # imm = 0x179
callq 0x4230
leaq 0x2e53e(%rip), %rdi     # 0x537c2
leaq 0x2e678(%rip), %rsi     # 0x53903
leaq 0x2e6ba(%rip), %rcx     # 0x5394c
movl $0x19c, %edx            # imm = 0x19C
callq 0x4230
leaq 0x2e5cf(%rip), %rdi     # 0x53872
leaq 0x2e659(%rip), %rsi     # 0x53903
leaq 0x2e69b(%rip), %rcx     # 0x5394c
movl $0x159, %edx            # imm = 0x159
callq 0x4230
leaq 0x2e5b0(%rip), %rdi     # 0x53872
leaq 0x2e63a(%rip), %rsi     # 0x53903
leaq 0x2e67c(%rip), %rcx     # 0x5394c
movl $0x15a, %edx            # imm = 0x15A
callq 0x4230
leaq 0x2e591(%rip), %rdi     # 0x53872
leaq 0x2e61b(%rip), %rsi     # 0x53903
leaq 0x2e65d(%rip), %rcx     # 0x5394c
movl $0x168, %edx            # imm = 0x168
callq 0x4230
leaq 0x2e572(%rip), %rdi     # 0x53872
leaq 0x2e5fc(%rip), %rsi     # 0x53903
leaq 0x2e63e(%rip), %rcx     # 0x5394c
movl $0x15f, %edx            # imm = 0x15F
callq 0x4230
leaq 0x2e553(%rip), %rdi     # 0x53872
leaq 0x2e5dd(%rip), %rsi     # 0x53903
leaq 0x2e61f(%rip), %rcx     # 0x5394c
movl $0x189, %edx            # imm = 0x189
callq 0x4230
leaq 0x2e484(%rip), %rdi     # 0x537c2
leaq 0x2e5be(%rip), %rsi     # 0x53903
leaq 0x2e600(%rip), %rcx     # 0x5394c
movl $0x164, %edx            # imm = 0x164
callq 0x4230
leaq 0x2e465(%rip), %rdi     # 0x537c2
leaq 0x2e59f(%rip), %rsi     # 0x53903
leaq 0x2e5e1(%rip), %rcx     # 0x5394c
movl $0x16d, %edx            # imm = 0x16D
callq 0x4230
leaq 0x2e446(%rip), %rdi     # 0x537c2
leaq 0x2e580(%rip), %rsi     # 0x53903
leaq 0x2e5c2(%rip), %rcx     # 0x5394c
movl $0x198, %edx            # imm = 0x198
callq 0x4230
leaq 0x2e4d7(%rip), %rdi     # 0x53872
leaq 0x2e561(%rip), %rsi     # 0x53903
leaq 0x2e5a3(%rip), %rcx     # 0x5394c
movl $0x18d, %edx            # imm = 0x18D
callq 0x4230
leaq 0x2e408(%rip), %rdi     # 0x537c2
leaq 0x2e542(%rip), %rsi     # 0x53903
leaq 0x2e584(%rip), %rcx     # 0x5394c
movl $0x211, %edx            # imm = 0x211
callq 0x4230
leaq 0x2e499(%rip), %rdi     # 0x53872
leaq 0x2e523(%rip), %rsi     # 0x53903
leaq 0x2e565(%rip), %rcx     # 0x5394c
movl $0x203, %edx            # imm = 0x203
callq 0x4230
leaq 0x2e47a(%rip), %rdi     # 0x53872
leaq 0x2e504(%rip), %rsi     # 0x53903
leaq 0x2e546(%rip), %rcx     # 0x5394c
movl $0x1fa, %edx            # imm = 0x1FA
callq 0x4230
leaq 0x2e3ab(%rip), %rdi     # 0x537c2
leaq 0x2e4e5(%rip), %rsi     # 0x53903
leaq 0x2e527(%rip), %rcx     # 0x5394c
movl $0x208, %edx            # imm = 0x208
callq 0x4230
leaq 0x2e38c(%rip), %rdi     # 0x537c2
leaq 0x2e4c6(%rip), %rsi     # 0x53903
leaq 0x2e508(%rip), %rcx     # 0x5394c
movl $0x1ff, %edx            # imm = 0x1FF
callq 0x4230
leaq 0x2e41d(%rip), %rdi     # 0x53872
leaq 0x2e4a7(%rip), %rsi     # 0x53903
leaq 0x2e4e9(%rip), %rcx     # 0x5394c
movl $0x1f1, %edx            # imm = 0x1F1
callq 0x4230
leaq 0x2e3fe(%rip), %rdi     # 0x53872
leaq 0x2e488(%rip), %rsi     # 0x53903
leaq 0x2e4ca(%rip), %rcx     # 0x5394c
movl $0x1f2, %edx            # imm = 0x1F2
callq 0x4230
leaq 0x2e3df(%rip), %rdi     # 0x53872
leaq 0x2e469(%rip), %rsi     # 0x53903
leaq 0x2e4ab(%rip), %rcx     # 0x5394c
movl $0x1d7, %edx            # imm = 0x1D7
callq 0x4230
leaq 0x2e3c0(%rip), %rdi     # 0x53872
leaq 0x2e44a(%rip), %rsi     # 0x53903
leaq 0x2e48c(%rip), %rcx     # 0x5394c
movl $0x1d8, %edx            # imm = 0x1D8
callq 0x4230
leaq 0x2e3a1(%rip), %rdi     # 0x53872
leaq 0x2e42b(%rip), %rsi     # 0x53903
leaq 0x2e46d(%rip), %rcx     # 0x5394c
movl $0x1de, %edx            # imm = 0x1DE
callq 0x4230
leaq 0x2e382(%rip), %rdi     # 0x53872
leaq 0x2e40c(%rip), %rsi     # 0x53903
leaq 0x2e44e(%rip), %rcx     # 0x5394c
movl $0x1df, %edx            # imm = 0x1DF
callq 0x4230
leaq 0x2e363(%rip), %rdi     # 0x53872
leaq 0x2e3ed(%rip), %rsi     # 0x53903
leaq 0x2e42f(%rip), %rcx     # 0x5394c
movl $0x1c4, %edx            # imm = 0x1C4
callq 0x4230
leaq 0x2e344(%rip), %rdi     # 0x53872
leaq 0x2e3ce(%rip), %rsi     # 0x53903
leaq 0x2e410(%rip), %rcx     # 0x5394c
movl $0x1c5, %edx            # imm = 0x1C5
callq 0x4230
leaq 0x2e325(%rip), %rdi     # 0x53872
leaq 0x2e3af(%rip), %rsi     # 0x53903
leaq 0x2e3f1(%rip), %rcx     # 0x5394c
movl $0x1e9, %edx            # imm = 0x1E9
callq 0x4230
leaq 0x2e306(%rip), %rdi     # 0x53872
leaq 0x2e390(%rip), %rsi     # 0x53903
leaq 0x2e3d2(%rip), %rcx     # 0x5394c
movl $0x1ea, %edx            # imm = 0x1EA
callq 0x4230
leaq 0x2e2e7(%rip), %rdi     # 0x53872
leaq 0x2e371(%rip), %rsi     # 0x53903
leaq 0x2e3b3(%rip), %rcx     # 0x5394c
movl $0x1cf, %edx            # imm = 0x1CF
callq 0x4230
leaq 0x2e2c8(%rip), %rdi     # 0x53872
leaq 0x2e352(%rip), %rsi     # 0x53903
leaq 0x2e394(%rip), %rcx     # 0x5394c
movl $0x1d0, %edx            # imm = 0x1D0
callq 0x4230
leaq 0x2e2a9(%rip), %rdi     # 0x53872
leaq 0x2e333(%rip), %rsi     # 0x53903
leaq 0x2e375(%rip), %rcx     # 0x5394c
movl $0x1e2, %edx            # imm = 0x1E2
callq 0x4230
leaq 0x2e28a(%rip), %rdi     # 0x53872
leaq 0x2e314(%rip), %rsi     # 0x53903
leaq 0x2e356(%rip), %rcx     # 0x5394c
movl $0x1c8, %edx            # imm = 0x1C8
callq 0x4230
leaq 0x2e26b(%rip), %rdi     # 0x53872
leaq 0x2e2f5(%rip), %rsi     # 0x53903
leaq 0x2e337(%rip), %rcx     # 0x5394c
movl $0x1ed, %edx            # imm = 0x1ED
callq 0x4230
leaq 0x2e24c(%rip), %rdi     # 0x53872
leaq 0x2e2d6(%rip), %rsi     # 0x53903
leaq 0x2e318(%rip), %rcx     # 0x5394c
movl $0x1d3, %edx            # imm = 0x1D3
callq 0x4230