// File: /workspace/github_c_makefile_star2_O1/reactive-systems[P]aiger-ltl-model-checker/aiger.c
// Function: aiger_read_generic
const char *
aiger_read_generic (aiger * public, void *state, aiger_get get)
{
  IMPORT_private_FROM (public);
  aiger_reader reader;
  const char *error;

  assert (!aiger_error (public));

  CLR (reader);

  reader.lineno = 1;
  reader.state = state;
  reader.get = get;
  reader.ch = ' ';

  error = aiger_read_header (public, &reader);
  if (error)
    return error;

  if (reader.mode == aiger_ascii_mode)
    error = aiger_read_ascii (public, &reader);
  else
    error = aiger_read_binary (public, &reader);

  if (error)
    return error;

  error = aiger_read_symbols_and_comments (public, &reader);

  DELETEN (reader.buffer, reader.size_buffer);

  if (error)
    return error;

  return aiger_check (public);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, -0x38(%rbp)
cmpq $0x0, 0xd0(%rdi)
jne 0x6464
xorps %xmm0, %xmm0
leaq -0xa0(%rbp), %r14
movaps %xmm0, (%r14)
movaps %xmm0, 0x10(%r14)
movaps %xmm0, 0x50(%r14)
movaps %xmm0, 0x40(%r14)
movaps %xmm0, 0x30(%r14)
movaps %xmm0, 0x20(%r14)
movq %rsi, (%r14)
movq %rdx, 0x8(%r14)
movabsq $0x100000020, %rax      # imm = 0x100000020
movq %rax, 0x10(%r14)
movq %r14, %rdi
callq 0x7449
cmpl $0x61, 0x10(%r14)
jne 0x5393
leaq -0xa0(%rbp), %rdi
callq 0x7449
cmpl $0x69, %eax
movq -0x38(%rbp), %r14
je 0x54c5
cmpl $0x61, -0x90(%rbp)
je 0x54c5
movl -0x8c(%rbp), %edx
leaq 0x3bdc(%rip), %rsi      # 0x8f6d
jmp 0x53a4
movl -0x8c(%rbp), %edx
leaq 0x3ba4(%rip), %rsi      # 0x8f44
movq -0x38(%rbp), %r14
movq %r14, %rdi
callq 0x6b07
testq %rax, %rax
jne 0x5971
cmpl $0x1, -0x78(%rbp)
jne 0x55e0
xorl %eax, %eax
cmpl $0x0, -0x64(%rbp)
je 0x5711
leaq -0xa0(%rbp), %r15
xorl %r12d, %r12d
movq %r14, %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x5711
movl -0x3c(%rbp), %r13d
testl %r13d, %r13d
je 0x56ca
movl %r13d, %eax
andl $0x1, %eax
jne 0x56ca
movl %r13d, %eax
shrl %eax
cmpl (%r14), %eax
ja 0x56ca
movq %r14, %rdi
movq %r15, %rsi
movl %r13d, %edx
callq 0x7639
testq %rax, %rax
jne 0x5711
movq %r14, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x5711
movq %r14, %rbx
movl -0xa8(%rbp), %r14d
movl %r14d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x56e4
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x570e
movl -0xa4(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x56f9
movq %rbx, %rdi
movl %r13d, %esi
movl %r14d, %edx
callq 0x2d00
incl %r12d
cmpl -0x64(%rbp), %r12d
movq %rbx, %r14
jb 0x53d5
jmp 0x5681
xorl %eax, %eax
leaq -0xa0(%rbp), %rdi
cmpl $0x61, 0x10(%rdi)
sete %al
movl %eax, 0x28(%rdi)
callq 0x7449
cmpl $0x67, %eax
jne 0x5688
leaq -0xa0(%rbp), %rdi
callq 0x7449
cmpl $0x20, %eax
jne 0x569a
leaq -0xa0(%rbp), %r14
movq %r14, %rdi
callq 0x7449
leaq -0x74(%rbp), %rdx
movq -0x38(%rbp), %rdi
movq %r14, %rsi
movq -0x38(%rbp), %r14
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x55b1
leaq -0x70(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x55b1
leaq -0x6c(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x55b1
leaq -0x68(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x55b1
leaq -0x64(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x74d2
testq %rax, %rax
je 0x5aa2
movq 0xd0(%r14), %rax
testq %rax, %rax
jne 0x53ac
leaq 0x34dc(%rip), %rdi      # 0x8aa4
leaq 0x2d24(%rip), %rsi      # 0x82f3
leaq 0x3a07(%rip), %rcx      # 0x8fdd
movl $0x811, %edx            # imm = 0x811
callq 0x10f0
movl $0x0, -0x3c(%rbp)
movq %r14, %rdi
callq 0x3bb2
movl %eax, %r15d
xorl %eax, %eax
cmpl $0x0, -0x64(%rbp)
je 0x5711
addl $0x2, %r15d
leaq -0x3c(%rbp), %r13
xorl %ebx, %ebx
movq %r14, %rdi
movl -0x88(%rbp), %r14d
leaq -0xa0(%rbp), %rsi
movq %r13, %rdx
callq 0x76a7
testq %rax, %rax
jne 0x56ac
movl -0x3c(%rbp), %r12d
cmpl %r15d, %r12d
ja 0x56b2
movl -0x88(%rbp), %r14d
movq -0x38(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
movq %r13, %rdx
callq 0x76a7
testq %rax, %rax
jne 0x56ac
movl %r15d, %edx
subl %r12d, %edx
movl -0x3c(%rbp), %eax
cmpl %edx, %eax
ja 0x56b2
movl %r15d, %ecx
subl %eax, %ecx
subl %r12d, %ecx
movq -0x38(%rbp), %r14
movq %r14, %rdi
movl %r15d, %esi
callq 0x2d00
incl %ebx
addl $0x2, %r15d
cmpl -0x64(%rbp), %ebx
jb 0x5608
xorl %eax, %eax
jmp 0x5711
movl -0x8c(%rbp), %edx
leaq 0x38ff(%rip), %rsi      # 0x8f94
jmp 0x53a4
movl -0x8c(%rbp), %edx
leaq 0x3911(%rip), %rsi      # 0x8fb8
jmp 0x53a4
movq -0x38(%rbp), %r14
jmp 0x5711
leaq 0x3cfa(%rip), %rsi      # 0x93b3
movq -0x38(%rbp), %rdi
movl %r14d, %edx
movq %rdi, %r14
callq 0x6b07
jmp 0x5711
movl -0x84(%rbp), %edx
leaq 0x3cae(%rip), %rsi      # 0x9385
movq %r14, %rdi
movl %r13d, %ecx
callq 0x6a16
jmp 0x5711
movl -0x84(%rbp), %edx
leaq 0x399d(%rip), %rsi      # 0x908e
movq %rbx, %rdi
movl %r14d, %ecx
jmp 0x5709
movl -0x84(%rbp), %edx
leaq 0x3988(%rip), %rsi      # 0x908e
movq %rbx, %rdi
callq 0x6a16
movq %rbx, %r14
testq %rax, %rax
jne 0x5971
cmpq $0x0, -0x50(%rbp)
jne 0x6518
leaq 0x20(%r14), %rax
movq %rax, -0x100(%rbp)
leaq 0x58(%r14), %rax
movq %rax, -0xf8(%rbp)
leaq 0x1c(%r14), %rax
movq %rax, -0xf0(%rbp)
leaq 0x50(%r14), %rax
movq %rax, -0xe8(%rbp)
leaq 0x14(%r14), %rax
movq %rax, -0xe0(%rbp)
leaq 0x40(%r14), %rax
movq %rax, -0xd8(%rbp)
leaq 0xc(%r14), %rax
movq %rax, -0xd0(%rbp)
leaq 0x38(%r14), %rax
movq %rax, -0xc8(%rbp)
leaq 0x8(%r14), %rax
movq %rax, -0xc0(%rbp)
leaq 0x30(%r14), %rax
movq %rax, -0xb8(%rbp)
leaq 0x4(%r14), %r12
leaq 0x28(%r14), %rbx
leaq 0x38bd(%rip), %r13      # 0x905f
leaq 0x2af3(%rip), %rsi      # 0x829c
leaq -0xa0(%rbp), %r15
movq %rbx, -0xb0(%rbp)
movl -0x90(%rbp), %eax
leal -0x62(%rax), %ecx
cmpl $0xd, %ecx
ja 0x59c5
movslq (%rsi,%rcx,4), %rdx
addq %rsi, %rdx
movq %r12, %rax
movq %rbx, %rcx
jmpq *%rdx
leaq 0x3925(%rip), %r13      # 0x9104
movq -0xe0(%rbp), %rax
movq -0xd8(%rbp), %rcx
jmp 0x586b
movq %r15, %rdi
callq 0x7449
cmpl $0xa, %eax
je 0x59ed
movl 0x18(%r14), %ebx
movq 0x48(%r14), %r14
leaq 0x391c(%rip), %r13      # 0x912b
jmp 0x5878
leaq 0x393f(%rip), %r13      # 0x9157
movq -0x100(%rbp), %rax
movq -0xf8(%rbp), %rcx
jmp 0x586b
leaq 0x3c9c(%rip), %r13      # 0x94cb
movq -0xf0(%rbp), %rax
movq -0xe8(%rbp), %rcx
jmp 0x586b
leaq 0x3896(%rip), %r13      # 0x90dc
movq -0xd0(%rbp), %rax
movq -0xc8(%rbp), %rcx
jmp 0x586b
leaq 0x382b(%rip), %r13      # 0x9088
movq -0xc0(%rbp), %rax
movq -0xb8(%rbp), %rcx
movq (%rcx), %r14
movl (%rax), %ebx
movq %r15, %rdi
callq 0x7449
movq -0x38(%rbp), %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x5983
movl -0x3c(%rbp), %r8d
cmpl %ebx, %r8d
jae 0x598c
shlq $0x5, %r8
leaq (%r14,%r8), %rbx
cmpq $0x0, 0x18(%r14,%r8)
movq -0x38(%rbp), %r14
jne 0x59a5
movl -0x90(%rbp), %eax
cmpl $-0x1, %eax
je 0x592c
cmpl $0xa, %eax
je 0x58e6
movsbl %al, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x789b
movq %r15, %rdi
callq 0x7449
jmp 0x58be
movq %r15, %rdi
callq 0x7449
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x789b
movq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x2404
movq %rax, 0x18(%rbx)
movl $0x0, -0x48(%rbp)
movq -0xb0(%rbp), %rbx
leaq 0x373f(%rip), %r13      # 0x905f
leaq 0x2975(%rip), %rsi      # 0x829c
jmp 0x57b7
movl -0x8c(%rbp), %edx
leaq 0x3bf3(%rip), %rsi      # 0x952c
movq %r14, %rdi
callq 0x6b07
movq %rax, %rbx
movl -0x44(%rbp), %edx
movq 0xb8(%r14), %rdi
movq -0x50(%rbp), %rsi
callq *0xc8(%r14)
movq $0x0, -0x50(%rbp)
testq %rbx, %rbx
movq %rbx, %rax
jne 0x5971
movq %r14, %rdi
callq 0x30c6
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x38(%rbp), %r14
jmp 0x5944
movl -0x84(%rbp), %edx
leaq 0x3b3a(%rip), %rsi      # 0x94d3
movq -0x38(%rbp), %r14
movq %r14, %rdi
movq %r13, %rcx
jmp 0x59bb
movl -0x84(%rbp), %edx
movl (%rbx), %r8d
leaq 0x3b53(%rip), %rsi      # 0x9508
movq %r14, %rdi
movq %r13, %rcx
callq 0x7794
jmp 0x5941
cmpl $-0x1, %eax
jne 0x59d1
xorl %ebx, %ebx
jmp 0x5944
cmpl $0x0, -0x7c(%rbp)
movl -0x8c(%rbp), %edx
je 0x5a96
leaq 0x3a7c(%rip), %rsi      # 0x9464
jmp 0x5939
cmpl $0xa, -0x90(%rbp)
jne 0x6537
leaq -0xa0(%rbp), %r14
movq %r14, %rdi
callq 0x7449
cmpl $-0x1, 0x10(%r14)
je 0x63c6
leaq -0xa0(%rbp), %r15
movq -0x38(%rbp), %r14
movl -0x90(%rbp), %eax
cmpl $0xa, %eax
jne 0x5a65
movq %r15, %rdi
callq 0x7449
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x789b
movq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x2f2b
movl $0x0, -0x48(%rbp)
cmpl $-0x1, -0x90(%rbp)
movl $0x0, %ebx
jne 0x5a1f
jmp 0x5944
movsbl %al, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x789b
movq %r15, %rdi
callq 0x7449
cmpl $-0x1, -0x90(%rbp)
jne 0x5a1f
movl -0x8c(%rbp), %edx
leaq 0x3b01(%rip), %rsi      # 0x9592
jmp 0x5939
leaq 0x3a08(%rip), %rsi      # 0x94a5
jmp 0x5939
cmpb $0x20, -0x29(%rbp)
jne 0x5aca
leaq -0x60(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x74d2
testq %rax, %rax
jne 0x55b1
cmpb $0x20, -0x29(%rbp)
jne 0x5af2
leaq -0x5c(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x74d2
testq %rax, %rax
jne 0x55b1
cmpb $0x20, -0x29(%rbp)
jne 0x5b1a
leaq -0x58(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x74d2
testq %rax, %rax
jne 0x55b1
cmpb $0x20, -0x29(%rbp)
jne 0x5b44
leaq -0x54(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x55b1
cmpl $0x0, -0x78(%rbp)
jne 0x5b5c
movl -0x6c(%rbp), %eax
addl -0x70(%rbp), %eax
addl -0x64(%rbp), %eax
cmpl -0x74(%rbp), %eax
jne 0x63cd
movl -0x74(%rbp), %ebx
movl %ebx, (%r14)
movl 0x78(%r14), %r13d
incl %ebx
cmpl %ebx, %r13d
jae 0x5be4
movl %ebx, %r15d
leaq (,%r13,8), %r14
shlq $0x3, %r15
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
movq -0x38(%rbp), %rax
callq *0xc0(%rax)
movq %rax, %r12
movq -0x38(%rbp), %rax
movq 0x70(%rax), %rsi
movq %r12, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r13,8), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq -0x38(%rbp), %rax
movq 0x70(%rax), %rsi
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rdx
movq -0x38(%rbp), %r14
callq *0xc8(%r14)
movq %r12, 0x70(%r14)
movl %ebx, 0x78(%r14)
movq %r14, %r13
movl 0x8c(%r14), %r14d
movl -0x70(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5c55
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x28(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x28(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x28(%r13)
movl %ebx, 0x8c(%r13)
movl 0x90(%r13), %r14d
movl -0x6c(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5cc3
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x30(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x30(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x30(%r13)
movl %ebx, 0x90(%r13)
movl 0x94(%r13), %r14d
movl -0x68(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5d31
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x38(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x38(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x38(%r13)
movl %ebx, 0x94(%r13)
movl 0x98(%r13), %eax
movl -0x64(%rbp), %ebx
cmpl %ebx, %eax
jae 0x5dbe
shlq $0x2, %rax
leaq (%rax,%rax,2), %r14
leaq (,%rbx,4), %rax
leaq (%rax,%rax,2), %r15
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
movq -0x38(%rbp), %rax
callq *0xc0(%rax)
movq %rax, %r12
movq -0x38(%rbp), %rax
movq 0x60(%rax), %rsi
movq %r12, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq -0x38(%rbp), %rax
movq 0x60(%rax), %rsi
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rdx
movq -0x38(%rbp), %r13
callq *0xc8(%r13)
movq %r12, 0x60(%r13)
movl %ebx, 0x98(%r13)
movl 0x9c(%r13), %r14d
movl -0x60(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5e2c
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x40(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x40(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x40(%r13)
movl %ebx, 0x9c(%r13)
movl 0xa0(%r13), %r14d
movl -0x5c(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5e9a
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x48(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x48(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x48(%r13)
movl %ebx, 0xa0(%r13)
movl 0xa4(%r13), %r14d
movl -0x58(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5f08
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x50(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x50(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x50(%r13)
movl %ebx, 0xa4(%r13)
movl 0xa8(%r13), %r14d
movl -0x54(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5f7a
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq -0x38(%rbp), %r13
movq 0xb8(%r13), %rdi
movq %r15, %rsi
callq *0xc0(%r13)
movq %rax, %r12
movq 0x58(%r13), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r12,%r14), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x58(%r13), %rsi
movq 0xb8(%r13), %rdi
movq %r14, %rdx
callq *0xc8(%r13)
movq %r12, 0x58(%r13)
movl %ebx, 0xa8(%r13)
cmpl $0x0, -0x70(%rbp)
je 0x6025
xorl %r14d, %r14d
movl $0x2, %r13d
leaq -0xa0(%rbp), %r15
leaq -0x3c(%rbp), %r12
cmpl $0x1, -0x78(%rbp)
jne 0x5fff
movq -0x38(%rbp), %rdi
movq %r15, %rsi
movq %r12, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x64fd
movl -0x3c(%rbp), %ecx
testl %ecx, %ecx
je 0x63df
movl %ecx, %eax
andl $0x1, %eax
jne 0x63df
movl %ecx, %eax
shrl %eax
movq -0x38(%rbp), %rdx
cmpl (%rdx), %eax
ja 0x63df
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
movl %ecx, %edx
callq 0x7639
testq %rax, %rax
je 0x6007
jmp 0x6421
movl %r13d, -0x3c(%rbp)
movq -0x38(%rbp), %rbx
movl -0x3c(%rbp), %esi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x212c
incl %r14d
addl $0x2, %r13d
cmpl -0x70(%rbp), %r14d
jb 0x5f98
cmpl $0x0, -0x6c(%rbp)
je 0x6145
xorl %r13d, %r13d
leaq -0xa0(%rbp), %r15
leaq -0x29(%rbp), %r12
cmpl $0x1, -0x78(%rbp)
movq -0x38(%rbp), %r14
jne 0x60a1
movq %r14, %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x53ac
movl -0x3c(%rbp), %ecx
testl %ecx, %ecx
je 0x63f2
movl %ecx, %eax
andl $0x1, %eax
jne 0x63f2
movl %ecx, %eax
shrl %eax
cmpl (%r14), %eax
ja 0x63f2
movq %r14, %rdi
movq %r15, %rsi
movl %ecx, %edx
callq 0x7639
testq %rax, %rax
je 0x60b1
jmp 0x53ac
movl -0x70(%rbp), %eax
addl %r13d, %eax
leal 0x2(,%rax,2), %eax
movl %eax, -0x3c(%rbp)
movq %r14, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
xorl %ecx, %ecx
movq %r12, %r8
callq 0x74d2
testq %rax, %rax
jne 0x53ac
movl -0xa8(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r14), %eax
movq %r14, %rbx
ja 0x640c
movl -0x3c(%rbp), %r14d
movq %rbx, %rdi
movl %r14d, %esi
movl %ecx, %edx
xorl %ecx, %ecx
callq 0x246d
cmpb $0x20, -0x29(%rbp)
jne 0x6138
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x6421
movl -0xa4(%rbp), %edx
movq %rbx, %rdi
movl %r14d, %esi
callq 0x2685
incl %r13d
cmpl -0x6c(%rbp), %r13d
jb 0x603d
cmpl $0x0, -0x68(%rbp)
movq -0x38(%rbp), %r12
je 0x619f
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r15
leaq -0x3c(%rbp), %r14
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x644d
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x6429
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x27a1
incl %ebx
cmpl -0x68(%rbp), %ebx
jb 0x615c
cmpl $0x0, -0x60(%rbp)
je 0x61f9
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r15
leaq -0x3c(%rbp), %r14
movq -0x38(%rbp), %r12
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x644d
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x6438
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x28a1
incl %ebx
cmpl -0x60(%rbp), %ebx
jb 0x61b6
cmpl $0x0, -0x5c(%rbp)
je 0x6253
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r15
leaq -0x3c(%rbp), %r14
movq -0x38(%rbp), %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x64fd
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
movq -0x38(%rbp), %rdx
cmpl (%rdx), %eax
ja 0x6455
movq -0x38(%rbp), %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x29a1
incl %ebx
cmpl -0x5c(%rbp), %ebx
jb 0x620c
movl -0x58(%rbp), %r14d
testq %r14, %r14
je 0x649b
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, %r15
xorl %r13d, %r13d
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
cmpl $0x0, -0x58(%rbp)
je 0x62cb
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r14
movq %r15, %r12
movq -0x38(%rbp), %rdi
movq %r14, %rsi
movq %r12, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
movq %rax, %r13
testq %rax, %rax
jne 0x62cb
incq %rbx
movl -0x58(%rbp), %eax
addq $0x4, %r12
cmpq %rax, %rbx
jb 0x629d
testq %r13, %r13
jne 0x63a2
xorl %r12d, %r12d
movl -0x58(%rbp), %edx
cmpq %rdx, %r12
jae 0x6483
movl (%r15,%r12,4), %r14d
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, -0xb0(%rbp)
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movl (%r15,%r12,4), %esi
testl %esi, %esi
je 0x635c
movq -0xb0(%rbp), %r14
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r13
movq -0x38(%rbp), %rdi
movq %r13, %rsi
movq %r14, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x6373
incq %rbx
movl (%r15,%r12,4), %esi
addq $0x4, %r14
cmpq %rsi, %rbx
jb 0x632b
movq %rax, %r13
jmp 0x635f
xorl %r13d, %r13d
movq -0x38(%rbp), %rdi
movq -0xb0(%rbp), %rdx
xorl %ecx, %ecx
callq 0x2aa1
jmp 0x6376
movq %rax, %r13
movl (%r15,%r12,4), %edx
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq -0xb0(%rbp), %rsi
callq *0xc8(%rax)
incq %r12
testq %r13, %r13
je 0x62d7
movl -0x58(%rbp), %edx
shlq $0x2, %rdx
movq -0x38(%rbp), %r14
movq 0xb8(%r14), %rdi
movq %r15, %rsi
callq *0xc8(%r14)
movq %r13, %rax
jmp 0x53ac
xorl %ebx, %ebx
jmp 0x5986
movl -0x8c(%rbp), %edx
leaq 0x2c3a(%rip), %rsi      # 0x9014
jmp 0x53a4
movl -0x84(%rbp), %edx
leaq 0x2c50(%rip), %rsi      # 0x903c
movq -0x38(%rbp), %r14
jmp 0x63ff
movl -0x84(%rbp), %edx
leaq 0x2c66(%rip), %rsi      # 0x9065
movq %r14, %rdi
callq 0x6a16
jmp 0x53ac
movl -0x84(%rbp), %edx
leaq 0x2c75(%rip), %rsi      # 0x908e
movq %rbx, %rdi
callq 0x6a16
movq %rbx, %r14
jmp 0x53ac
movl -0x84(%rbp), %edx
leaq 0x2c83(%rip), %rsi      # 0x90b9
jmp 0x6445
movl -0x84(%rbp), %edx
leaq 0x2c9e(%rip), %rsi      # 0x90e3
movq %r12, %rdi
callq 0x6a16
movq %r12, %r14
jmp 0x53ac
movl -0x84(%rbp), %edx
leaq 0x2ca6(%rip), %rsi      # 0x9108
jmp 0x63ec
leaq 0x1ed6(%rip), %rdi      # 0x8341
leaq 0x1e81(%rip), %rsi      # 0x82f3
leaq 0x2398(%rip), %rcx      # 0x8811
movl $0x9ee, %edx            # imm = 0x9EE
callq 0x10f0
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
callq *0xc8(%rax)
cmpl $0x0, -0x54(%rbp)
je 0x64ed
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r14
leaq -0x3c(%rbp), %r15
movq -0x38(%rbp), %rdi
movq %r14, %rsi
movq %r15, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x74d2
testq %rax, %rax
jne 0x64fd
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
movq -0x38(%rbp), %rdx
cmpl (%rdx), %eax
ja 0x6506
movq -0x38(%rbp), %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2c00
incl %ebx
cmpl -0x54(%rbp), %ebx
jb 0x64ae
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, -0x80(%rbp)
xorl %eax, %eax
movq -0x38(%rbp), %r14
jmp 0x53ac
movl -0x84(%rbp), %edx
leaq 0x2c23(%rip), %rsi      # 0x9136
jmp 0x63ec
leaq 0x2ef0(%rip), %rdi      # 0x940f
leaq 0x1dcd(%rip), %rsi      # 0x82f3
leaq 0x2ef2(%rip), %rcx      # 0x941f
movl $0x972, %edx            # imm = 0x972
callq 0x10f0
leaq 0x3008(%rip), %rdi      # 0x9546
leaq 0x1dae(%rip), %rsi      # 0x82f3
leaq 0x300d(%rip), %rcx      # 0x9559
movl $0x950, %edx            # imm = 0x950
callq 0x10f0