// File: ncbi[P]amr/stx/stxtyper.cpp
// Function: (anonymous namespace)::Operon::qc() const
void qc () const
    { if (! qc_on)
        return;
      QC_ASSERT (al1);
      al1->qc ();
      QC_ASSERT (al1->reported);
      if (! al2)
        return;
      al2->qc ();
      QC_ASSERT (al1->targetName   == al2->targetName);
      QC_ASSERT (al1->targetStrand == al2->targetStrand);
      QC_ASSERT (al1->targetEnd    <= al2->targetStart);
      QC_ASSERT (al1->subunit      != al2->subunit);
      QC_ASSERT (al2->reported);
    }

// Assembly:
subq $0x808, %rsp            # imm = 0x808
movq %rdi, 0x800(%rsp)
movq 0x800(%rsp), %rax
movq %rax, 0x78(%rsp)
leaq 0xd9075(%rip), %rax     # 0xfdc68
testb $0x1, (%rax)
jne 0x24bfd
jmp 0x25ef2
callq 0xc090
movq %rax, %rcx
movq 0x78(%rsp), %rax
movl $0x0, (%rcx)
cmpq $0x0, (%rax)
jne 0x24ea1
callq 0xc8a0
cmpl $0x0, %eax
jne 0x24e97
leaq 0x75f(%rsp), %rdi
movq %rdi, 0x70(%rsp)
callq 0xccc0
movq 0x70(%rsp), %rdx
leaq 0x9fa28(%rip), %rsi     # 0xc466e
leaq 0x760(%rsp), %rdi
callq 0x2efd0
jmp 0x24c55
leaq 0x728(%rsp), %rdi
movl $0x232, %esi            # imm = 0x232
callq 0x32ce0
jmp 0x24c69
leaq 0x780(%rsp), %rdi
leaq 0x760(%rsp), %rsi
leaq 0x728(%rsp), %rdx
callq 0x315c0
jmp 0x24c88
leaq 0x9f9f5(%rip), %rdx     # 0xc4684
leaq 0x7a0(%rsp), %rdi
leaq 0x780(%rsp), %rsi
callq 0x31430
jmp 0x24ca6
leaq 0x6e7(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0xccc0
movq 0x68(%rsp), %rdx
leaq 0xa0799(%rip), %rsi     # 0xc545d
leaq 0x6e8(%rsp), %rdi
callq 0x2efd0
jmp 0x24cd3
leaq 0xa0ffa(%rip), %rdx     # 0xc5cd4
leaq 0x708(%rsp), %rdi
leaq 0x6e8(%rsp), %rsi
callq 0x31430
jmp 0x24cf1
leaq 0x7c0(%rsp), %rdi
leaq 0x7a0(%rsp), %rsi
leaq 0x708(%rsp), %rdx
callq 0x315c0
jmp 0x24d10
leaq 0xa04d1(%rip), %rdx     # 0xc51e8
leaq 0x7e0(%rsp), %rdi
leaq 0x7c0(%rsp), %rsi
callq 0x31430
jmp 0x24d2e
leaq 0x7e0(%rsp), %rdi
callq 0x3add0
jmp 0x24d3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e85
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e44
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e37
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x24e1d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x7e0(%rsp), %rdi
callq 0xce58
leaq 0x7c0(%rsp), %rdi
callq 0xce58
leaq 0x708(%rsp), %rdi
callq 0xce58
leaq 0x6e8(%rsp), %rdi
callq 0xce58
leaq 0x6e7(%rsp), %rdi
callq 0xc780
leaq 0x7a0(%rsp), %rdi
callq 0xce58
leaq 0x780(%rsp), %rdi
callq 0xce58
leaq 0x728(%rsp), %rdi
callq 0xce58
leaq 0x760(%rsp), %rdi
callq 0xce58
leaq 0x75f(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
movq 0x78(%rsp), %rax
movq (%rax), %rdi
callq 0x17850
callq 0xc090
movq %rax, %rcx
movq 0x78(%rsp), %rax
movl $0x0, (%rcx)
movq (%rax), %rax
testb $0x1, 0x168(%rax)
jne 0x25158
callq 0xc8a0
cmpl $0x0, %eax
jne 0x2514e
leaq 0x63f(%rsp), %rdi
movq %rdi, 0x60(%rsp)
callq 0xccc0
movq 0x60(%rsp), %rdx
leaq 0x9f771(%rip), %rsi     # 0xc466e
leaq 0x640(%rsp), %rdi
callq 0x2efd0
jmp 0x24f0c
leaq 0x618(%rsp), %rdi
movl $0x234, %esi            # imm = 0x234
callq 0x32ce0
jmp 0x24f20
leaq 0x660(%rsp), %rdi
leaq 0x640(%rsp), %rsi
leaq 0x618(%rsp), %rdx
callq 0x315c0
jmp 0x24f3f
leaq 0x9f73e(%rip), %rdx     # 0xc4684
leaq 0x680(%rsp), %rdi
leaq 0x660(%rsp), %rsi
callq 0x31430
jmp 0x24f5d
leaq 0x5d7(%rsp), %rdi
movq %rdi, 0x58(%rsp)
callq 0xccc0
movq 0x58(%rsp), %rdx
leaq 0xa04e2(%rip), %rsi     # 0xc545d
leaq 0x5d8(%rsp), %rdi
callq 0x2efd0
jmp 0x24f8a
leaq 0xa0d43(%rip), %rdx     # 0xc5cd4
leaq 0x5f8(%rsp), %rdi
leaq 0x5d8(%rsp), %rsi
callq 0x31430
jmp 0x24fa8
leaq 0x6a0(%rsp), %rdi
leaq 0x680(%rsp), %rsi
leaq 0x5f8(%rsp), %rdx
callq 0x315c0
jmp 0x24fc7
leaq 0xa0222(%rip), %rdx     # 0xc51f0
leaq 0x6c0(%rsp), %rdi
leaq 0x6a0(%rsp), %rsi
callq 0x31430
jmp 0x24fe5
leaq 0x6c0(%rsp), %rdi
callq 0x3add0
jmp 0x24ff4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2513c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2512f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25122
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25115
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x250fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x250ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x250e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x250d4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x6c0(%rsp), %rdi
callq 0xce58
leaq 0x6a0(%rsp), %rdi
callq 0xce58
leaq 0x5f8(%rsp), %rdi
callq 0xce58
leaq 0x5d8(%rsp), %rdi
callq 0xce58
leaq 0x5d7(%rsp), %rdi
callq 0xc780
leaq 0x680(%rsp), %rdi
callq 0xce58
leaq 0x660(%rsp), %rdi
callq 0xce58
leaq 0x618(%rsp), %rdi
callq 0xce58
leaq 0x640(%rsp), %rdi
callq 0xce58
leaq 0x63f(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
movq 0x78(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x25169
jmp 0x25ef2
movq 0x78(%rsp), %rax
movq 0x8(%rax), %rdi
callq 0x17850
callq 0xc090
movq %rax, %rcx
movq 0x78(%rsp), %rax
movl $0x0, (%rcx)
movq (%rax), %rdi
addq $0x58, %rdi
movq 0x8(%rax), %rsi
addq $0x58, %rsi
callq 0x32e20
testb $0x1, %al
jne 0x2542d
callq 0xc8a0
cmpl $0x0, %eax
jne 0x25423
leaq 0x52f(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xccc0
movq 0x50(%rsp), %rdx
leaq 0x9f49c(%rip), %rsi     # 0xc466e
leaq 0x530(%rsp), %rdi
callq 0x2efd0
jmp 0x251e1
leaq 0x508(%rsp), %rdi
movl $0x238, %esi            # imm = 0x238
callq 0x32ce0
jmp 0x251f5
leaq 0x550(%rsp), %rdi
leaq 0x530(%rsp), %rsi
leaq 0x508(%rsp), %rdx
callq 0x315c0
jmp 0x25214
leaq 0x9f469(%rip), %rdx     # 0xc4684
leaq 0x570(%rsp), %rdi
leaq 0x550(%rsp), %rsi
callq 0x31430
jmp 0x25232
leaq 0x4c7(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xccc0
movq 0x48(%rsp), %rdx
leaq 0xa020d(%rip), %rsi     # 0xc545d
leaq 0x4c8(%rsp), %rdi
callq 0x2efd0
jmp 0x2525f
leaq 0xa0a6e(%rip), %rdx     # 0xc5cd4
leaq 0x4e8(%rsp), %rdi
leaq 0x4c8(%rsp), %rsi
callq 0x31430
jmp 0x2527d
leaq 0x590(%rsp), %rdi
leaq 0x570(%rsp), %rsi
leaq 0x4e8(%rsp), %rdx
callq 0x315c0
jmp 0x2529c
leaq 0xa01e9(%rip), %rdx     # 0xc548c
leaq 0x5b0(%rsp), %rdi
leaq 0x590(%rsp), %rsi
callq 0x31430
jmp 0x252ba
leaq 0x5b0(%rsp), %rdi
callq 0x3add0
jmp 0x252c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25411
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25404
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x253a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x5b0(%rsp), %rdi
callq 0xce58
leaq 0x590(%rsp), %rdi
callq 0xce58
leaq 0x4e8(%rsp), %rdi
callq 0xce58
leaq 0x4c8(%rsp), %rdi
callq 0xce58
leaq 0x4c7(%rsp), %rdi
callq 0xc780
leaq 0x570(%rsp), %rdi
callq 0xce58
leaq 0x550(%rsp), %rdi
callq 0xce58
leaq 0x508(%rsp), %rdi
callq 0xce58
leaq 0x530(%rsp), %rdi
callq 0xce58
leaq 0x52f(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
callq 0xc090
movq 0x78(%rsp), %rcx
movl $0x0, (%rax)
movq (%rcx), %rax
movb 0x98(%rax), %al
andb $0x1, %al
movzbl %al, %eax
movq 0x8(%rcx), %rcx
movb 0x98(%rcx), %cl
andb $0x1, %cl
movzbl %cl, %ecx
cmpl %ecx, %eax
je 0x256ea
callq 0xc8a0
cmpl $0x0, %eax
jne 0x256e0
leaq 0x41f(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0xccc0
movq 0x40(%rsp), %rdx
leaq 0x9f1df(%rip), %rsi     # 0xc466e
leaq 0x420(%rsp), %rdi
callq 0x2efd0
jmp 0x2549e
leaq 0x3f8(%rsp), %rdi
movl $0x239, %esi            # imm = 0x239
callq 0x32ce0
jmp 0x254b2
leaq 0x440(%rsp), %rdi
leaq 0x420(%rsp), %rsi
leaq 0x3f8(%rsp), %rdx
callq 0x315c0
jmp 0x254d1
leaq 0x9f1ac(%rip), %rdx     # 0xc4684
leaq 0x460(%rsp), %rdi
leaq 0x440(%rsp), %rsi
callq 0x31430
jmp 0x254ef
leaq 0x3b7(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xccc0
movq 0x38(%rsp), %rdx
leaq 0x9ff50(%rip), %rsi     # 0xc545d
leaq 0x3b8(%rsp), %rdi
callq 0x2efd0
jmp 0x2551c
leaq 0xa07b1(%rip), %rdx     # 0xc5cd4
leaq 0x3d8(%rsp), %rdi
leaq 0x3b8(%rsp), %rsi
callq 0x31430
jmp 0x2553a
leaq 0x480(%rsp), %rdi
leaq 0x460(%rsp), %rsi
leaq 0x3d8(%rsp), %rdx
callq 0x315c0
jmp 0x25559
leaq 0x9ff4f(%rip), %rdx     # 0xc54af
leaq 0x4a0(%rsp), %rdi
leaq 0x480(%rsp), %rsi
callq 0x31430
jmp 0x25577
leaq 0x4a0(%rsp), %rdi
callq 0x3add0
jmp 0x25586
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x256ce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x256c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x256b4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x256a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2568d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25680
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25673
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25666
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x4a0(%rsp), %rdi
callq 0xce58
leaq 0x480(%rsp), %rdi
callq 0xce58
leaq 0x3d8(%rsp), %rdi
callq 0xce58
leaq 0x3b8(%rsp), %rdi
callq 0xce58
leaq 0x3b7(%rsp), %rdi
callq 0xc780
leaq 0x460(%rsp), %rdi
callq 0xce58
leaq 0x440(%rsp), %rdi
callq 0xce58
leaq 0x3f8(%rsp), %rdi
callq 0xce58
leaq 0x420(%rsp), %rdi
callq 0xce58
leaq 0x41f(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
callq 0xc090
movq 0x78(%rsp), %rcx
movl $0x0, (%rax)
movq (%rcx), %rax
movq 0x38(%rax), %rax
movq 0x8(%rcx), %rcx
cmpq 0x30(%rcx), %rax
jbe 0x25996
callq 0xc8a0
cmpl $0x0, %eax
jne 0x2598c
leaq 0x30f(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xccc0
movq 0x30(%rsp), %rdx
leaq 0x9ef33(%rip), %rsi     # 0xc466e
leaq 0x310(%rsp), %rdi
callq 0x2efd0
jmp 0x2574a
leaq 0x2e8(%rsp), %rdi
movl $0x23a, %esi            # imm = 0x23A
callq 0x32ce0
jmp 0x2575e
leaq 0x330(%rsp), %rdi
leaq 0x310(%rsp), %rsi
leaq 0x2e8(%rsp), %rdx
callq 0x315c0
jmp 0x2577d
leaq 0x9ef00(%rip), %rdx     # 0xc4684
leaq 0x350(%rsp), %rdi
leaq 0x330(%rsp), %rsi
callq 0x31430
jmp 0x2579b
leaq 0x2a7(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xccc0
movq 0x28(%rsp), %rdx
leaq 0x9fca4(%rip), %rsi     # 0xc545d
leaq 0x2a8(%rsp), %rdi
callq 0x2efd0
jmp 0x257c8
leaq 0xa0505(%rip), %rdx     # 0xc5cd4
leaq 0x2c8(%rsp), %rdi
leaq 0x2a8(%rsp), %rsi
callq 0x31430
jmp 0x257e6
leaq 0x370(%rsp), %rdi
leaq 0x350(%rsp), %rsi
leaq 0x2c8(%rsp), %rdx
callq 0x315c0
jmp 0x25805
leaq 0x9fcca(%rip), %rdx     # 0xc54d6
leaq 0x390(%rsp), %rdi
leaq 0x370(%rsp), %rsi
callq 0x31430
jmp 0x25823
leaq 0x390(%rsp), %rdi
callq 0x3add0
jmp 0x25832
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2597a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2596d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25960
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25953
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25939
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2592c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x2591f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25912
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x390(%rsp), %rdi
callq 0xce58
leaq 0x370(%rsp), %rdi
callq 0xce58
leaq 0x2c8(%rsp), %rdi
callq 0xce58
leaq 0x2a8(%rsp), %rdi
callq 0xce58
leaq 0x2a7(%rsp), %rdi
callq 0xc780
leaq 0x350(%rsp), %rdi
callq 0xce58
leaq 0x330(%rsp), %rdi
callq 0xce58
leaq 0x2e8(%rsp), %rdi
callq 0xce58
leaq 0x310(%rsp), %rdi
callq 0xce58
leaq 0x30f(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
callq 0xc090
movq 0x78(%rsp), %rcx
movl $0x0, (%rax)
movq (%rcx), %rax
movsbl 0x140(%rax), %eax
movq 0x8(%rcx), %rcx
movsbl 0x140(%rcx), %ecx
cmpl %ecx, %eax
jne 0x25c4a
callq 0xc8a0
cmpl $0x0, %eax
jne 0x25c40
leaq 0x1ff(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0xccc0
movq 0x20(%rsp), %rdx
leaq 0x9ec7f(%rip), %rsi     # 0xc466e
leaq 0x200(%rsp), %rdi
callq 0x2efd0
jmp 0x259fe
leaq 0x1d8(%rsp), %rdi
movl $0x23b, %esi            # imm = 0x23B
callq 0x32ce0
jmp 0x25a12
leaq 0x220(%rsp), %rdi
leaq 0x200(%rsp), %rsi
leaq 0x1d8(%rsp), %rdx
callq 0x315c0
jmp 0x25a31
leaq 0x9ec4c(%rip), %rdx     # 0xc4684
leaq 0x240(%rsp), %rdi
leaq 0x220(%rsp), %rsi
callq 0x31430
jmp 0x25a4f
leaq 0x197(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0xccc0
movq 0x18(%rsp), %rdx
leaq 0x9f9f0(%rip), %rsi     # 0xc545d
leaq 0x198(%rsp), %rdi
callq 0x2efd0
jmp 0x25a7c
leaq 0xa0251(%rip), %rdx     # 0xc5cd4
leaq 0x1b8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
callq 0x31430
jmp 0x25a9a
leaq 0x260(%rsp), %rdi
leaq 0x240(%rsp), %rsi
leaq 0x1b8(%rsp), %rdx
callq 0x315c0
jmp 0x25ab9
leaq 0x9fa39(%rip), %rdx     # 0xc54f9
leaq 0x280(%rsp), %rdi
leaq 0x260(%rsp), %rsi
callq 0x31430
jmp 0x25ad7
leaq 0x280(%rsp), %rdi
callq 0x3add0
jmp 0x25ae6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25c2e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25c21
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25c14
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25c07
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25bed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25be0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25bd3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25bc6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x280(%rsp), %rdi
callq 0xce58
leaq 0x260(%rsp), %rdi
callq 0xce58
leaq 0x1b8(%rsp), %rdi
callq 0xce58
leaq 0x198(%rsp), %rdi
callq 0xce58
leaq 0x197(%rsp), %rdi
callq 0xc780
leaq 0x240(%rsp), %rdi
callq 0xce58
leaq 0x220(%rsp), %rdi
callq 0xce58
leaq 0x1d8(%rsp), %rdi
callq 0xce58
leaq 0x200(%rsp), %rdi
callq 0xce58
leaq 0x1ff(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
callq 0xc090
movq %rax, %rcx
movq 0x78(%rsp), %rax
movl $0x0, (%rcx)
movq 0x8(%rax), %rax
testb $0x1, 0x168(%rax)
jne 0x25ef2
callq 0xc8a0
cmpl $0x0, %eax
jne 0x25ee8
leaq 0xef(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0xccc0
movq 0x10(%rsp), %rdx
leaq 0x9e9d4(%rip), %rsi     # 0xc466e
leaq 0xf0(%rsp), %rdi
callq 0x2efd0
jmp 0x25ca9
leaq 0xc8(%rsp), %rdi
movl $0x23c, %esi            # imm = 0x23C
callq 0x32ce0
jmp 0x25cbd
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x315c0
jmp 0x25cdc
leaq 0x9e9a1(%rip), %rdx     # 0xc4684
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
callq 0x31430
jmp 0x25cfa
leaq 0x87(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xccc0
movq 0x8(%rsp), %rdx
leaq 0x9f745(%rip), %rsi     # 0xc545d
leaq 0x88(%rsp), %rdi
callq 0x2efd0
jmp 0x25d27
leaq 0x9ffa6(%rip), %rdx     # 0xc5cd4
leaq 0xa8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x31430
jmp 0x25d45
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x315c0
jmp 0x25d64
leaq 0x9f497(%rip), %rdx     # 0xc5202
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x31430
jmp 0x25d82
leaq 0x170(%rsp), %rdi
callq 0x3add0
jmp 0x25d91
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25ed9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25ecc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25ebf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25eb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25e98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25e8b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25e7e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
jmp 0x25e71
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x750(%rsp)
movl %eax, 0x74c(%rsp)
leaq 0x170(%rsp), %rdi
callq 0xce58
leaq 0x150(%rsp), %rdi
callq 0xce58
leaq 0xa8(%rsp), %rdi
callq 0xce58
leaq 0x88(%rsp), %rdi
callq 0xce58
leaq 0x87(%rsp), %rdi
callq 0xc780
leaq 0x130(%rsp), %rdi
callq 0xce58
leaq 0x110(%rsp), %rdi
callq 0xce58
leaq 0xc8(%rsp), %rdi
callq 0xce58
leaq 0xf0(%rsp), %rdi
callq 0xce58
leaq 0xef(%rsp), %rdi
callq 0xc780
jmp 0x25efa
movl $0x1, %edi
callq 0xc8b0
addq $0x808, %rsp            # imm = 0x808
retq
movq 0x750(%rsp), %rdi
callq 0xccb0
nopw (%rax,%rax)