// File: /workspace/github_c_makefile_star2_O1/genometools[P]genometools/src/core/encseq.c
// Function: gt_encseq_check_consistency
int gt_encseq_check_consistency(const GtEncseq *encseq,
                                const GtStrArray *filenametab,
                                GtReadmode readmode,
                                GtUword scantrials,
                                GtUword multicharcmptrials,
                                bool withseqnumcheck,
                                bool withcheckunit,
                                GtLogger *logger,
                                GtError *err)
{
  bool fwd = GT_ISDIRREVERSE(readmode) ? false : true,
       complement = GT_ISDIRCOMPLEMENT(readmode) ? true : false;

  if (encseq->sat != GT_ACCESS_TYPE_DIRECTACCESS &&
      encseq->sat != GT_ACCESS_TYPE_BYTECOMPRESS &&
      !encseq->hasmirror) {
    if (withcheckunit) {
      gt_logger_log(logger, "run checkextractunitatpos");
      checkextractunitatpos(encseq, readmode);
    }
    if (multicharcmptrials > 0) {
      gt_logger_log(logger, "run testmulticharactercompare");
      testmulticharactercompare(encseq, readmode, multicharcmptrials);
    }
  }
  if (!complement) {
    gt_logger_log(logger, "run checkextractspecialbits");
    checkextractspecialbits(encseq, fwd);
  }
  if (scantrials > 0) {
    gt_logger_log(logger, "run testscanatpos for "GT_WU" trials", scantrials);
    testscanatpos(encseq, readmode, scantrials);
  }
  if (withseqnumcheck && readmode == GT_READMODE_FORWARD) {
    gt_logger_log(logger, "run testseqnumextraction");
    testseqnumextraction(encseq);
  }
  gt_logger_log(logger, "run testfullscan");
  return testfullscan(filenametab, encseq, readmode, err);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movl %r9d, 0x44(%rsp)
movq %rcx, 0x30(%rsp)
movq %rsi, 0x50(%rsp)
movq %rdi, %r13
movl %edx, %eax
andl $-0x3, %eax
movl %eax, 0xc(%rsp)
cmpl $0x1, %eax
setne %r15b
movl %edx, %eax
andl $-0x2, %eax
movl %eax, 0x24(%rsp)
cmpl $0x2, (%rdi)
movq %rdi, 0x18(%rsp)
movl %edx, 0x14(%rsp)
jb 0xc582c
cmpb $0x0, 0x3a8(%r13)
jne 0xc582c
movq %r8, %r12
movl %edx, %r14d
cmpb $0x0, 0x190(%rsp)
je 0xc578f
movq %r12, 0x48(%rsp)
leaq 0x3ec43(%rip), %rsi     # 0x1040d4
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
leaq 0x3d583(%rip), %rdx     # 0x102a2a
movl $0x1, %edi
movl $0x38, %esi
movl $0xc5e, %ecx            # imm = 0xC5E
callq 0x3601f
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rax)
movq %rax, 0x38(%rsp)
movq %rax, %rdi
movq %r13, %rsi
movl %r14d, %edx
xorl %ecx, %ecx
callq 0xc0212
movq 0x30(%r13), %rax
testq %rax, %rax
je 0xc5780
cmpl $0x1, 0xc(%rsp)
sete 0x13(%rsp)
movq 0x38(%rsp), %r12
addq $0x10, %r12
xorl %ebx, %ebx
movq %r12, 0x28(%rsp)
movb %r15b, 0xb(%rsp)
movq %rbx, %rcx
notq %rcx
addq %rax, %rcx
movl 0xc(%rsp), %ebp
cmpl $0x1, %ebp
cmovneq %rbx, %rcx
movq %rcx, (%r12)
movq %r13, %rdi
callq 0xc06bb
testb %al, %al
je 0xc5538
xorl %edi, %edi
movq 0x38(%rsp), %rsi
callq 0xc3c5e
movq %rax, %r8
jmp 0xc5545
movzbl 0x3a8(%r13), %eax
movq 0x30(%r13,%rax,8), %r8
xorl %edx, %edx
cmpl $0x1, %ebp
setne %dl
movq (%r12), %rcx
leaq 0xa8(%rsp), %rdi
movq %r13, %rsi
callq 0xc3ecd
movq %rax, (%r12)
cmpb $0x1, 0x3a8(%r13)
jne 0xc5598
movq 0x30(%r13), %rax
xorl %r14d, %r14d
movl %r15d, %ecx
movq %rbx, %r13
movl $0x0, %edx
cmpq %rbx, %rax
ja 0xc55a0
jne 0xc576c
xorl %ebp, %ebp
movq 0x18(%rsp), %r13
jmp 0xc56e5
xorl %edx, %edx
movl %r15d, %ecx
movq %rbx, %r13
testb %cl, %cl
movq %rdx, 0x58(%rsp)
je 0xc55fc
movl $0x20, %r14d
cmpq $-0x21, %r13
ja 0xc5655
movl $0x40, %r12d
xorl %r15d, %r15d
xorl %ebp, %ebp
leaq (%r15,%r13), %rsi
movq 0x18(%rsp), %rdi
cmpq 0x30(%rdi), %rsi
je 0xc565e
xorl %edx, %edx
callq 0xbef7c
cmpb $-0x2, %al
jae 0xc565e
cmpb $0x4, %al
jae 0xc608c
movzbl %al, %eax
leaq (%rax,%rbp,4), %rbp
incq %r15
addq $-0x2, %r12
jne 0xc55c4
jmp 0xc566f
notq %r13
movq 0x18(%rsp), %rax
addq 0x30(%rax), %r13
xorl %r12d, %r12d
xorl %r14d, %r14d
xorl %ebp, %ebp
leaq (%r14,%r13), %r15
movq 0x18(%rsp), %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0xbef7c
cmpb $-0x2, %al
jae 0xc5659
cmpb $0x4, %al
jae 0xc6061
movzbl %al, %eax
movl %r12d, %ecx
shlq %cl, %rax
orq %rax, %rbp
testq %r15, %r15
je 0xc5669
decq %r14
addq $0x2, %r12
cmpq $-0x20, %r14
jne 0xc5610
movl $0x20, %r14d
jmp 0xc566f
xorl %ebp, %ebp
jmp 0xc5679
negl %r14d
jmp 0xc566f
movl %r12d, %ecx
shlq %cl, %rbp
movl %r15d, %r14d
jmp 0xc566f
incl %r13d
movl %r13d, %r14d
movq 0x28(%rsp), %r12
movb 0xb(%rsp), %r15b
cmpb $0x0, 0x58(%rsp)
movq 0x18(%rsp), %r13
je 0xc56e5
bswapq %rbp
movq %rbp, %rax
shrq $0x4, %rax
movabsq $0xf0f0f0f0f0f0f0f, %rcx # imm = 0xF0F0F0F0F0F0F0F
andq %rcx, %rax
shlq $0x4, %rbp
movabsq $-0xf0f0f0f0f0f0f10, %rcx # imm = 0xF0F0F0F0F0F0F0F0
andq %rcx, %rbp
orq %rax, %rbp
movq %rbp, %rax
shrq $0x2, %rax
movabsq $0x3333333333333333, %rcx # imm = 0x3333333333333333
andq %rcx, %rax
movabsq $-0xccccccccccccccd, %rcx # imm = 0xF333333333333333
andq %rcx, %rbp
leaq (%rax,%rbp,4), %rax
movl %r14d, %ecx
negl %ecx
movl $0x0, %ebp
sbbq %rbp, %rbp
xorq %rax, %rbp
movl 0xb0(%rsp), %r10d
cmpl %r14d, %r10d
jne 0xc6101
testl %r10d, %r10d
movl 0x14(%rsp), %r14d
je 0xc575a
movq 0xa8(%rsp), %rdx
cmpl $0x20, %r10d
jne 0xc5718
cmpq %rbp, %rdx
je 0xc575a
jmp 0xc5ed4
leal (%r10,%r10), %eax
movl %eax, %ecx
negb %cl
movq $-0x1, %rdi
shlq %cl, %rdi
movq $-0x1, %rsi
movl %eax, %ecx
shlq %cl, %rsi
cmpl $0x1, 0xc(%rsp)
notq %rsi
cmovneq %rdi, %rsi
testq %rsi, %rsi
je 0xc6177
movq %rdx, %rax
xorq %rbp, %rax
testq %rax, %rsi
jne 0xc5f70
incq %rbx
movq 0x30(%r13), %rax
cmpq %rax, %rbx
jb 0xc5503
jmp 0xc5780
addq %rax, %rax
subq %rbx, %rax
movb $0x1, %dl
movb 0x13(%rsp), %cl
movq %rax, %r13
jmp 0xc55a0
movq 0x38(%rsp), %rdi
callq 0xc0543
movq 0x48(%rsp), %r12
testq %r12, %r12
je 0xc582c
leaq 0x3e94f(%rip), %rsi     # 0x1040ee
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
movq 0x38(%r13), %rbx
movq %r13, %rdi
movl %r14d, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xcec04
leaq -0x1(%rbx), %r15
movq %r13, %rdi
movl %r14d, %esi
xorl %edx, %edx
movq %r15, %rcx
callq 0xcec04
movq %r13, %rdi
movl %r14d, %esi
movq %r15, %rdx
xorl %ecx, %ecx
callq 0xcec04
movq %r13, %rdi
movl %r14d, %esi
movq %r15, %rdx
movq %r15, %rcx
callq 0xcec04
movl $0x7fffffff, %ebp       # imm = 0x7FFFFFFF
callq 0x3dd98
andl %ebp, %eax
xorl %edx, %edx
divq %rbx
movq %rdx, %r15
callq 0x3dd98
andl %ebp, %eax
xorl %edx, %edx
divq %rbx
movq %rdx, %rcx
movq %r13, %rdi
movl %r14d, %esi
movq %r15, %rdx
callq 0xcec04
decq %r12
jne 0xc57fb
cmpl $0x2, 0x24(%rsp)
movl 0xc(%rsp), %ebp
je 0xc5b66
leaq 0x3e8ca(%rip), %rsi     # 0x10410c
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
cmpl $0x3, (%r13)
jne 0xc5b66
cmpb $0x1, 0x3a8(%r13)
jne 0xc586d
cmpb $0x1, 0x28(%r13)
jne 0xc5878
cmpb $0x1, 0x28(%r13)
jne 0xc5b66
cmpl $0x1, %ebp
je 0xc5882
xorl %r14d, %r14d
jmp 0xc5889
movq 0x30(%r13), %r14
decq %r14
movabsq $-0x8000000000000000, %r8 # imm = 0x8000000000000000
movq 0x2b0(%r13), %r9
movl $0x1, %edi
cmpl $0x1, %ebp
je 0xc58c0
movl %r14d, %ecx
andl $0x3f, %ecx
movq %r14, %rax
shrq $0x6, %rax
movq (%r9,%rax,8), %r15
cmpq $0x20, %rcx
ja 0xc58e9
shlq %cl, %r15
jmp 0xc58f5
movl %r14d, %eax
andl $0x3f, %eax
movq %r14, %rbx
shrq $0x6, %rbx
movq (%r9,%rbx,8), %r15
movl %eax, %ecx
notb %cl
shrq %cl, %r15
cmpl $0x20, %eax
jb 0xc596e
movl %r15d, %r15d
jmp 0xc5986
movq 0x8(%r9,%rax,8), %rax
movl %r14d, %ecx
shldq %cl, %rax, %r15
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
andq %rax, %r15
je 0xc59b9
movq %r15, %rax
shrq %rax
orq %r15, %rax
movq %rax, %rcx
shrq $0x2, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x4, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x8, %rcx
orq %rax, %rcx
movq %rcx, %rax
shrq $0x10, %rax
orq %rcx, %rax
movq %rax, %rcx
shrq $0x21, %rcx
shrq %rax
orq %rcx, %rax
movabsq $0x26752b916fc7b0d, %rcx # imm = 0x26752B916FC7B0D
imulq %rcx, %rax
addq %rcx, %rax
shrq $0x3a, %rax
movl $0x40, %r12d
leaq 0x3cf88(%rip), %rcx     # 0x1028f0
subl (%rcx,%rax,4), %r12d
jmp 0xc59d3
cmpq $0x40, %r14
jb 0xc5986
movq -0x8(%r9,%rbx,8), %rdx
incb %al
movl %eax, %ecx
shlq %cl, %rdx
andl $-0x2, %edx
orq %rdx, %r15
testq %r15, %r15
je 0xc5a2f
testl %r15d, %r15d
je 0xc5a42
movl %r15d, %eax
negl %eax
andl %r15d, %eax
imull $0x77cb531, %eax, %eax  # imm = 0x77CB531
shrl $0x1b, %eax
leaq 0x3cec0(%rip), %rcx     # 0x102870
movl (%rcx,%rax,4), %r12d
jmp 0xc5a67
movq 0x30(%r13), %r12
subq %r14, %r12
jbe 0xc6172
cmpq $0x20, %r12
movl $0x20, %eax
cmovaeq %rax, %r12
movl $0x20, %r11d
cmpq $-0x21, %r14
ja 0xc5a28
xorl %edx, %edx
xorl %r10d, %r10d
movq %r8, %rbx
xorl %esi, %esi
leaq (%r14,%rdx), %rcx
movq %r8, %rax
shrq %cl, %rax
shrq $0x6, %rcx
andq (%r9,%rcx,8), %rax
sete %cl
cmovneq %rbx, %rax
orb %r10b, %cl
orq %rax, %rsi
testb $0x1, %cl
cmovel %edx, %r11d
movzbl %r10b, %r10d
cmovel %edi, %r10d
shrq %rbx
incq %rdx
cmpq $0x20, %rdx
jne 0xc59e9
jmp 0xc5b28
xorl %esi, %esi
jmp 0xc5b28
leaq 0x1(%r14), %r12
cmpq $0x20, %r12
movl $0x20, %eax
cmovaeq %rax, %r12
jmp 0xc5a67
movq %r15, %rax
shrq $0x20, %rax
movl %eax, %ecx
negl %ecx
andl %eax, %ecx
imull $0x77cb531, %ecx, %eax  # imm = 0x77CB531
shrl $0x1b, %eax
leaq 0x3ce11(%rip), %rcx     # 0x102870
movl (%rcx,%rax,4), %r12d
addl $0x20, %r12d
leal 0x1(%r14), %r11d
cmpq $0x20, %r14
movl $0x20, %eax
cmovael %eax, %r11d
movq %r14, %rax
subq $0x1f, %rax
movl $0x0, %edi
cmovaeq %rax, %rdi
movq %r8, %rax
movl %r14d, %ecx
shrq %cl, %rax
xorl %esi, %esi
testq %rax, (%r9,%rbx,8)
sete %dl
setne %sil
movl $0x0, %eax
cmovnel %eax, %r11d
cmpq %rdi, %r14
je 0xc5b23
cmpq $0x1f, %r14
movl $0x1f, %ebx
cmovbq %r14, %rbx
leaq -0x1(%r14), %rcx
movl $0x1, %r13d
xorl %ebp, %ebp
xorl %r10d, %r10d
xorl %edi, %edi
orb %dl, %r10b
testb $0x1, %r10b
jne 0xc5adb
movl $0x1, %r10d
jmp 0xc5adf
movzbl %dil, %r10d
movq %r8, %rdi
shrq %cl, %rdi
incq %rbp
movl %r11d, %eax
testb $0x1, %r10b
jne 0xc5af3
movl %ebp, %eax
addq %r13, %r13
movq %rcx, %rdx
shrq $0x6, %rdx
andq (%r9,%rdx,8), %rdi
sete %dl
cmovnel %eax, %r11d
cmovneq %r13, %rdi
orq %rdi, %rsi
decq %rcx
movl %r10d, %edi
cmpq %rbp, %rbx
jne 0xc5aca
movq 0x18(%rsp), %r13
movl 0xc(%rsp), %ebp
movl $0x1, %edi
cmpl %r12d, %r11d
jne 0xc60f7
cmpq %rsi, %r15
jne 0xc6091
cmpl $0x1, %ebp
je 0xc5b52
movq 0x30(%r13), %rcx
decq %rcx
movl $0x1, %eax
cmpq %rcx, %r14
jne 0xc5b5e
jmp 0xc5b66
movq $-0x1, %rax
testq %r14, %r14
je 0xc5b66
addq %rax, %r14
jmp 0xc589f
movq 0x30(%rsp), %rdx
testq %rdx, %rdx
je 0xc5c39
leaq 0x3e5ad(%rip), %rsi     # 0x104128
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
movq 0x38(%r13), %rbx
leaq 0x3ce95(%rip), %rdx     # 0x102a2a
movl $0x1, %edi
movl $0x38, %esi
movl $0xc5e, %ecx            # imm = 0xC5E
callq 0x3601f
movq %rax, %r14
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
movq %r13, %rsi
movl 0x14(%rsp), %r15d
movl %r15d, %edx
xorl %ecx, %ecx
callq 0xc0212
movq %r13, %rdi
movq %r14, %rsi
movl %r15d, %edx
xorl %ecx, %ecx
callq 0xcf09d
leaq -0x1(%rbx), %rcx
movq %r13, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0xcf09d
xorl %r12d, %r12d
movq %r13, %rbp
callq 0x3dd98
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
xorl %edx, %edx
divq %rbx
movq %rdx, %r13
leaq 0x412c6(%rip), %rdi     # 0x106ecf
movq %r12, %rsi
xorl %eax, %eax
callq 0xb070
movq %rbp, %rdi
movq %r14, %rsi
movl %r15d, %edx
movq %r13, %rcx
callq 0xcf09d
incq %r12
cmpq %r12, 0x30(%rsp)
jne 0xc5bf0
movq %r14, %rdi
callq 0xc0543
movq %rbp, %r13
cmpl $0x0, 0x14(%rsp)
setne %al
movl 0x44(%rsp), %ecx
xorb $0x1, %cl
orb %al, %cl
jne 0xc5cc5
leaq 0x3e4f6(%rip), %rsi     # 0x104149
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
movq 0x38(%r13), %rbx
testq %rbx, %rbx
je 0xc5cc5
movb $0x1, %bpl
xorl %r14d, %r14d
xorl %r15d, %r15d
movq %r13, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0xbef7c
cmpb $-0x1, %al
je 0xc5cb7
movq %r13, %rdi
movq %r15, %rsi
callq 0xc29cc
cmpq %rax, %r14
jne 0xc6066
testb $0x1, %bpl
je 0xc5cbd
movq %r13, %rdi
movq %rax, %rsi
callq 0xc2a64
cmpq %rax, %r15
jne 0xc60fc
xorl %ebp, %ebp
jmp 0xc5cbd
incq %r14
movb $0x1, %bpl
incq %r15
cmpq %r15, %rbx
jne 0xc5c74
movq 0x1a0(%rsp), %r14
leaq 0x3e48e(%rip), %rsi     # 0x104162
movq 0x198(%rsp), %rdi
xorl %eax, %eax
callq 0x35c9e
movb $0x0, 0x60(%rsp)
testq %r14, %r14
je 0xc5cfd
movq %r14, %rdi
callq 0x3566a
testb %al, %al
jne 0xc617c
movq 0x30(%r13), %rax
movq %rax, 0x30(%rsp)
movq 0x50(%rsp), %rbx
testq %rbx, %rbx
je 0xc5d40
movq %rbx, %rdi
movq %r14, %rsi
callq 0x7f21a
movq %rax, %r15
testq %rax, %rax
sete %bpl
je 0xc5d45
movq 0x220(%r13), %rdi
callq 0xb96a4
movq %r15, %rdi
movq %rax, %rsi
callq 0x7f3af
jmp 0xc5d43
xorl %r15d, %r15d
xorl %ebp, %ebp
testb %bpl, %bpl
je 0xc5d52
xorl %r13d, %r13d
jmp 0xc5e7a
testq %rbx, %rbx
sete %r12b
leaq 0x3ccca(%rip), %rdx     # 0x102a2a
movl $0x1, %edi
movl $0x38, %esi
movl $0xc5e, %ecx            # imm = 0xC5E
callq 0x3601f
movq %r13, %rsi
movq %rax, %r13
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rax)
xorl %r14d, %r14d
movq %rax, %rdi
movl 0x14(%rsp), %ebx
movl %ebx, %edx
xorl %ecx, %ecx
callq 0xc0212
testl %ebx, %ebx
setne %bl
orb %r12b, %bl
testb %bl, %bl
je 0xc5dac
cmpq 0x30(%rsp), %r14
jb 0xc5dcf
jmp 0xc5e7a
movq %r15, %rdi
leaq 0x60(%rsp), %rsi
movq 0x1a0(%rsp), %rdx
callq 0x7f452
testl %eax, %eax
js 0xc5e77
je 0xc5e7a
movq 0x18(%rsp), %rdi
movq %r14, %rsi
movl 0x14(%rsp), %edx
callq 0xbef7c
movl %eax, %r12d
cmpb %al, 0x60(%rsp)
sete %al
orb %bl, %al
je 0xc5e00
movq %r13, %rdi
callq 0xbf542
cmpb %al, %r12b
jne 0xc5e35
incq %r14
jmp 0xc5d9c
movzbl %r12b, %ebp
movq 0x18(%rsp), %rdi
callq 0xc068c
movzbl 0x60(%rsp), %r8d
leaq 0x411cd(%rip), %rsi     # 0x106fe8
movq 0x1a0(%rsp), %rdi
movq %rax, %rdx
movq %r14, %rcx
movl %ebp, %r9d
xorl %eax, %eax
callq 0x3559f
jmp 0xc5e77
movzbl %al, %ebp
movzbl %r12b, %r12d
movq 0x18(%rsp), %rdi
callq 0xc068c
movq %rax, %rbx
movl 0x14(%rsp), %edi
callq 0xd773c
movl %ebp, (%rsp)
leaq 0x411d4(%rip), %rsi     # 0x107030
movq 0x1a0(%rsp), %rdi
movq %rbx, %rdx
movq %rax, %rcx
movq %r14, %r8
movl %r12d, %r9d
xorl %eax, %eax
callq 0x3559f
movb $0x1, %bpl
movq 0x30(%rsp), %rdx
cmpq %rdx, %r14
sete %al
orb %bpl, %al
je 0xc5e92
movzbl %bpl, %ebx
negl %ebx
jmp 0xc5eb0
leaq 0x411e4(%rip), %rsi     # 0x10707d
movq 0x1a0(%rsp), %rdi
movq %r14, %rcx
xorl %eax, %eax
callq 0x3559f
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
movq %r13, %rdi
callq 0xc0543
movq %r15, %rdi
callq 0x7f191
movl %ebx, %eax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
xorl %ecx, %ecx
movq %rax, %rsi
testq %rdx, %rsi
sete %dil
xorb $0x31, %dil
movb %dil, 0x60(%rsp,%rcx)
incq %rcx
shrq %rsi
cmpq $0x40, %rcx
jne 0xc5ee3
movb $0x0, 0xa0(%rsp)
xorl %ecx, %ecx
movl 0x24(%rsp), %r14d
testq %rbp, %rax
sete %dl
xorb $0x31, %dl
movb %dl, 0xc0(%rsp,%rcx)
incq %rcx
shrq %rax
cmpq $0x40, %rcx
jne 0xc5f0e
movl 0xc(%rsp), %ebx
cmpl $0x1, %ebx
leaq 0xc0(%rsp), %r9
movb $0x0, 0x40(%r9)
movq 0x8b07b(%rip), %rax     # 0x150fc0
movq (%rax), %rdi
leaq 0x40dc9(%rip), %rax     # 0x106d18
leaq 0x40dc6(%rip), %rdx     # 0x106d1c
cmovneq %rax, %rdx
leaq 0x40d87(%rip), %rsi     # 0x106ce8
leaq 0x60(%rsp), %r8
movl $0x20, %ecx
jmp 0xc603c
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
xorl %ecx, %ecx
movq %rax, %rdi
testq %rsi, %rdi
sete %r8b
xorb $0x31, %r8b
movb %r8b, 0x110(%rsp,%rcx)
incq %rcx
shrq %rdi
cmpq $0x40, %rcx
jne 0xc5f7f
movb $0x0, 0x150(%rsp)
xorl %ecx, %ecx
movq %rax, %rsi
movl 0x24(%rsp), %r14d
testq %rdx, %rsi
sete %dil
xorb $0x31, %dil
movb %dil, 0x60(%rsp,%rcx)
incq %rcx
shrq %rsi
cmpq $0x40, %rcx
jne 0xc5fb0
movb $0x0, 0xa0(%rsp)
xorl %ecx, %ecx
testq %rbp, %rax
sete %dl
xorb $0x31, %dl
movb %dl, 0xc0(%rsp,%rcx)
incq %rcx
shrq %rax
cmpq $0x40, %rcx
jne 0xc5fd6
movl 0xc(%rsp), %ebx
cmpl $0x1, %ebx
leaq 0xc0(%rsp), %rax
movb $0x0, 0x40(%rax)
movq 0x8afb4(%rip), %rcx     # 0x150fc0
movq (%rcx), %rdi
leaq 0x40d02(%rip), %rcx     # 0x106d18
leaq 0x40cff(%rip), %rdx     # 0x106d1c
cmovneq %rcx, %rdx
movq %rax, (%rsp)
leaq 0x40d06(%rip), %rsi     # 0x106d32
leaq 0x110(%rsp), %r8
leaq 0x60(%rsp), %r9
movl %r10d, %ecx
xorl %eax, %eax
callq 0xb8d0
xorl %esi, %esi
cmpl $0x2, %r14d
sete %sil
xorl %edi, %edi
cmpl $0x1, %ebx
setne %dil
movq %r12, %rdx
movq %r13, %rcx
callq 0x2c6e7
callq 0x2c675
movq 0x8af53(%rip), %rcx     # 0x150fc0
movq (%rcx), %rdi
leaq 0x40eff(%rip), %rsi     # 0x106f76
movq %r15, %rdx
movq %r14, %rcx
movq %rax, %r8
xorl %eax, %eax
callq 0xb8d0
jmp 0xc6168
callq 0x2c6ae
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
callq 0xcebdb
cmpl $0x1, %ebp
movq 0x8af18(%rip), %r13     # 0x150fc0
movq (%r13), %rdi
leaq 0x40c65(%rip), %rax     # 0x106d18
leaq 0x40c62(%rip), %rdx     # 0x106d1c
cmovneq %rax, %rdx
leaq 0x40db3(%rip), %rsi     # 0x106e78
movq %r14, %rcx
movl %r12d, %r8d
movq %rbx, %r9
xorl %eax, %eax
callq 0xb8d0
movq %rbx, %rdi
movq %r15, %rsi
callq 0xcebdb
movq (%r13), %rdi
leaq 0x40dd6(%rip), %rsi     # 0x106ec1
movq %rbx, %rdx
xorl %eax, %eax
callq 0xb8d0
jmp 0xc6168
callq 0x2c7ce
callq 0x2c807
xorl %ebp, %ebp
cmpl $0x1, 0xc(%rsp)
setne %bpl
leaq 0x4585f(%rip), %rax     # 0x10b972
leaq 0x2eaf5(%rip), %rcx     # 0xf4c0f
movq %rcx, %rdx
cmovneq %rax, %rdx
xorl %r15d, %r15d
cmpl $0x2, 0x24(%rsp)
sete %r15b
movq 0x8ae8c(%rip), %rbx     # 0x150fc0
movq (%rbx), %rdi
cmoveq %rax, %rcx
movq (%r12), %r8
movl %r14d, (%rsp)
leaq 0x40aea(%rip), %rsi     # 0x106c34
movl %r10d, %r9d
xorl %eax, %eax
callq 0xb8d0
movq (%rbx), %rdi
movq (%r12), %r8
movl %ebp, %esi
movl %r15d, %edx
movq %r13, %rcx
callq 0xc4b2a
movl $0x2, %edi
callq 0xb7b0
callq 0x2c795
callq 0x2c75c
callq 0x2c840