// File: /workspace/github_c_makefile_star2_O2/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
cmpq $0x0, 0xd0(%rdi)
jne 0x5d99
movq %rdi, %rbx
xorps %xmm0, %xmm0
leaq -0x98(%rbp), %r14
movups %xmm0, 0x48(%r14)
movups %xmm0, 0x38(%r14)
movups %xmm0, 0x28(%r14)
movups %xmm0, 0x18(%r14)
andq $0x0, 0x58(%r14)
movq %rsi, (%r14)
movq %rdx, 0x8(%r14)
movabsq $0x100000020, %rax      # imm = 0x100000020
movq %rax, 0x10(%r14)
movq %r14, %rdi
callq 0x6e17
cmpl $0x61, 0x10(%r14)
jne 0x4e50
movq %r14, %rdi
callq 0x6e17
movl 0x10(%r14), %ecx
cmpl $0x69, %eax
jne 0x4e62
xorl %eax, %eax
cmpl $0x61, %ecx
sete %al
jmp 0x4e6e
movl -0x84(%rbp), %edx
leaq 0x40e7(%rip), %rsi      # 0x8f44
jmp 0x4f93
cmpl $0x61, %ecx
jne 0x4f77
pushq $0x1
popq %rax
leaq -0x98(%rbp), %rdi
movl %eax, 0x28(%rdi)
callq 0x6e17
cmpl $0x67, %eax
jne 0x4f68
leaq -0x98(%rbp), %rdi
callq 0x6e17
cmpl $0x20, %eax
jne 0x4f86
movq %r14, %rdi
callq 0x6e17
leaq -0x6c(%rbp), %rdx
pushq $0x20
popq %rcx
movq %rbx, %rdi
movq %r14, %rsi
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
leaq -0x68(%rbp), %rdx
leaq -0x98(%rbp), %rsi
pushq $0x20
popq %rcx
movq %rbx, %rdi
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
leaq -0x64(%rbp), %rdx
leaq -0x98(%rbp), %rsi
pushq $0x20
popq %rcx
movq %rbx, %rdi
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
leaq -0x60(%rbp), %rdx
leaq -0x98(%rbp), %rsi
pushq $0x20
popq %rcx
movq %rbx, %rdi
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
leaq -0x5c(%rbp), %rdx
leaq -0x98(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x6e9a
testq %rax, %rax
je 0x54ed
movq 0xd0(%rbx), %r12
testq %r12, %r12
jne 0x53fb
leaq 0x3b54(%rip), %rdi      # 0x8aa4
leaq 0x339c(%rip), %rsi      # 0x82f3
leaq 0x407f(%rip), %rcx      # 0x8fdd
movl $0x811, %edx            # imm = 0x811
callq 0x10f0
movl -0x84(%rbp), %edx
leaq 0x401f(%rip), %rsi      # 0x8f94
jmp 0x4f93
movl -0x84(%rbp), %edx
leaq 0x3fe9(%rip), %rsi      # 0x8f6d
jmp 0x4f93
movl -0x84(%rbp), %edx
leaq 0x4025(%rip), %rsi      # 0x8fb8
movq %rbx, %rdi
callq 0x651c
movq %rax, %r12
testq %r12, %r12
jne 0x53fb
cmpl $0x1, -0x70(%rbp)
jne 0x50aa
leaq -0x98(%rbp), %r15
pushq $0x20
popq %r13
xorl %r12d, %r12d
cmpl -0x5c(%rbp), %r12d
jae 0x516b
movq %rbx, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x5194
movl %r12d, -0x38(%rbp)
movl -0x30(%rbp), %r12d
testl %r12d, %r12d
je 0x5156
movl %r12d, %eax
andl $0x1, %eax
jne 0x5156
movl %r12d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5156
movq %rbx, %rdi
movq %r15, %rsi
movl %r12d, %edx
callq 0x6ff7
testq %rax, %rax
jne 0x5194
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x5194
movl -0xa8(%rbp), %r14d
movl %r14d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5170
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
pushq $0xa
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x5194
movl -0xa4(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5182
movq %rbx, %rdi
movl %r12d, %esi
movl %r14d, %edx
callq 0x29ca
movl -0x38(%rbp), %r12d
incl %r12d
jmp 0x4fbf
leaq -0x30(%rbp), %rax
andl $0x0, (%rax)
movq %rbx, %r13
movq %rbx, %rdi
callq 0x384c
movl %eax, %r12d
addl $0x2, %r12d
xorl %ebx, %ebx
cmpl -0x5c(%rbp), %ebx
jae 0x5168
movl -0x80(%rbp), %r14d
movq %r13, %rdi
leaq -0x98(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x7065
testq %rax, %rax
jne 0x5137
movl -0x30(%rbp), %r15d
cmpl %r12d, %r15d
ja 0x513f
movl -0x80(%rbp), %r14d
movq %r13, %rdi
leaq -0x98(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x7065
testq %rax, %rax
jne 0x5137
movl %r12d, %edx
subl %r15d, %edx
movl -0x30(%rbp), %eax
cmpl %edx, %eax
ja 0x513f
movl %r12d, %ecx
subl %eax, %ecx
subl %r15d, %ecx
movq %r13, %rdi
movl %r12d, %esi
callq 0x29ca
incl %ebx
addl $0x2, %r12d
jmp 0x50c5
movq %rax, %r12
movq %r13, %rbx
jmp 0x5197
leaq 0x426d(%rip), %rsi      # 0x93b3
movq %r13, %rbx
movq %r13, %rdi
movl %r14d, %edx
callq 0x651c
jmp 0x5194
movl -0x7c(%rbp), %edx
leaq 0x4225(%rip), %rsi      # 0x9385
movq %rbx, %rdi
movl %r12d, %ecx
jmp 0x518f
movq %r13, %rbx
xorl %r12d, %r12d
jmp 0x5197
movl -0x7c(%rbp), %edx
leaq 0x3f14(%rip), %rsi      # 0x908e
movq %rbx, %rdi
movl %r14d, %ecx
jmp 0x518f
movl -0x7c(%rbp), %edx
leaq 0x3f02(%rip), %rsi      # 0x908e
movq %rbx, %rdi
callq 0x642b
movq %rax, %r12
testq %r12, %r12
jne 0x53fb
cmpq $0x0, -0x48(%rbp)
jne 0x5f39
leaq 0x20(%rbx), %rax
movq %rax, -0xf8(%rbp)
leaq 0x58(%rbx), %rax
movq %rax, -0xf0(%rbp)
leaq 0x1c(%rbx), %rax
movq %rax, -0xe8(%rbp)
leaq 0x50(%rbx), %rax
movq %rax, -0xe0(%rbp)
leaq 0x14(%rbx), %rax
movq %rax, -0xd8(%rbp)
leaq 0x40(%rbx), %rax
movq %rax, -0xd0(%rbp)
leaq 0xc(%rbx), %rax
movq %rax, -0xc8(%rbp)
leaq 0x38(%rbx), %rax
movq %rax, -0xc0(%rbp)
leaq 0x8(%rbx), %rax
movq %rax, -0xb8(%rbp)
leaq 0x30(%rbx), %rax
movq %rax, -0xb0(%rbp)
leaq 0x4(%rbx), %r14
leaq 0x28(%rbx), %r13
leaq 0x3e37(%rip), %rsi      # 0x905f
xorl %r12d, %r12d
leaq 0x306a(%rip), %rdi      # 0x829c
leaq -0x98(%rbp), %r15
movq %r14, -0x38(%rbp)
movq %r13, -0xa0(%rbp)
movl -0x88(%rbp), %eax
leal -0x62(%rax), %ecx
cmpl $0xd, %ecx
ja 0x543d
movslq (%rdi,%rcx,4), %rdx
addq %rdi, %rdx
movq %rsi, %r12
movq %r14, %rax
movq %r13, %rcx
jmpq *%rdx
leaq 0x3e95(%rip), %r12      # 0x9104
movq -0xd8(%rbp), %rax
movq -0xd0(%rbp), %rcx
jmp 0x52fb
movq %r15, %rdi
callq 0x6e17
cmpl $0xa, %eax
je 0x545e
movl 0x18(%rbx), %r13d
movq 0x48(%rbx), %r14
leaq 0x3e8c(%rip), %r12      # 0x912b
jmp 0x5309
leaq 0x3eaf(%rip), %r12      # 0x9157
movq -0xf8(%rbp), %rax
movq -0xf0(%rbp), %rcx
jmp 0x52fb
leaq 0x420c(%rip), %r12      # 0x94cb
movq -0xe8(%rbp), %rax
movq -0xe0(%rbp), %rcx
jmp 0x52fb
leaq 0x3e06(%rip), %r12      # 0x90dc
movq -0xc8(%rbp), %rax
movq -0xc0(%rbp), %rcx
jmp 0x52fb
leaq 0x3d9b(%rip), %r12      # 0x9088
movq -0xb8(%rbp), %rax
movq -0xb0(%rbp), %rcx
movq (%rcx), %r14
movl (%rax), %r13d
movq %r15, %rdi
callq 0x6e17
movq %rbx, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
pushq $0x20
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53cf
movl -0x30(%rbp), %r8d
cmpl %r13d, %r8d
jae 0x5410
shlq $0x5, %r8
leaq (%r14,%r8), %r13
cmpq $0x0, 0x18(%r14,%r8)
jne 0x5422
movl -0x88(%rbp), %eax
cmpl $-0x1, %eax
je 0x53ba
cmpl $0xa, %eax
je 0x5370
movsbl %al, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x723c
movq %r15, %rdi
callq 0x6e17
jmp 0x5348
movq %r15, %rdi
callq 0x6e17
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x723c
movq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x2092
movq %rax, 0x18(%r13)
andl $0x0, -0x40(%rbp)
xorl %r12d, %r12d
movq -0x38(%rbp), %r14
movq -0xa0(%rbp), %r13
leaq 0x3cb1(%rip), %rsi      # 0x905f
leaq 0x2ee7(%rip), %rdi      # 0x829c
jmp 0x5244
movl -0x84(%rbp), %edx
leaq 0x4165(%rip), %rsi      # 0x952c
movq %rbx, %rdi
callq 0x651c
movq %rax, %r12
movl -0x3c(%rbp), %edx
movq 0xb8(%rbx), %rdi
movq -0x48(%rbp), %rsi
callq *0xc8(%rbx)
andq $0x0, -0x48(%rbp)
testq %r12, %r12
jne 0x53fb
movq %rbx, %rdi
callq 0x2d8d
movq %rax, %r12
movq %r12, %rax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl -0x7c(%rbp), %edx
leaq 0x40b9(%rip), %rsi      # 0x94d3
movq %rbx, %rdi
movq %r12, %rcx
jmp 0x5436
movl -0x7c(%rbp), %edx
movl (%r13), %r8d
leaq 0x40d8(%rip), %rsi      # 0x9508
movq %rbx, %rdi
movq %r12, %rcx
callq 0x7135
jmp 0x53cf
cmpl $-0x1, %eax
je 0x53d2
cmpl $0x0, -0x74(%rbp)
movl -0x84(%rbp), %edx
je 0x5a8b
leaq 0x400b(%rip), %rsi      # 0x9464
jmp 0x53c7
cmpl $0xa, -0x88(%rbp)
jne 0x5f58
leaq -0x98(%rbp), %r15
movq %r15, %rdi
callq 0x6e17
xorl %r12d, %r12d
movl -0x88(%rbp), %eax
cmpl $-0x1, %eax
je 0x53d2
cmpl $0xa, %eax
je 0x54b4
movsbl %al, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x723c
movq %r15, %rdi
callq 0x6e17
movl -0x88(%rbp), %eax
cmpl $-0x1, %eax
jne 0x548c
jmp 0x54db
movq %r15, %rdi
callq 0x6e17
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x723c
movq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x2bea
andl $0x0, -0x40(%rbp)
jmp 0x547d
movl -0x84(%rbp), %edx
leaq 0x40aa(%rip), %rsi      # 0x9592
jmp 0x53c7
cmpb $0x20, -0x29(%rbp)
jne 0x5591
leaq -0x58(%rbp), %rdx
leaq -0x98(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
cmpb $0x20, -0x29(%rbp)
jne 0x5591
leaq -0x54(%rbp), %rdx
leaq -0x98(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
cmpb $0x20, -0x29(%rbp)
jne 0x5591
leaq -0x50(%rbp), %rdx
leaq -0x98(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
cmpb $0x20, -0x29(%rbp)
jne 0x5591
leaq -0x4c(%rbp), %rdx
leaq -0x98(%rbp), %rsi
pushq $0xa
popq %rcx
movq %rbx, %rdi
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x4f39
movq %rbx, -0x38(%rbp)
cmpl $0x0, -0x70(%rbp)
movl -0x6c(%rbp), %ebx
jne 0x55af
movl -0x64(%rbp), %eax
addl -0x68(%rbp), %eax
addl -0x5c(%rbp), %eax
cmpl %ebx, %eax
jne 0x5bbe
movq -0x38(%rbp), %r12
movl %ebx, (%r12)
movl 0x78(%r12), %r13d
incl %ebx
cmpl %ebx, %r13d
jae 0x563d
movl %ebx, %r15d
leaq (,%r13,8), %r14
shlq $0x3, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, -0xa0(%rbp)
movq 0x70(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
movq -0xa0(%rbp), %rax
leaq (%rax,%r13,8), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x70(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq -0xa0(%rbp), %rax
movq %rax, 0x70(%r12)
movl %ebx, 0x78(%r12)
movl 0x8c(%r12), %r14d
movl -0x68(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x56b4
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x28(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x28(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x28(%r12)
movl %ebx, 0x8c(%r12)
movl 0x90(%r12), %r14d
movl -0x64(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x572b
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x30(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x30(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x30(%r12)
movl %ebx, 0x90(%r12)
movl 0x94(%r12), %r14d
movl -0x60(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x57a2
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x38(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x38(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x38(%r12)
movl %ebx, 0x94(%r12)
movl 0x98(%r12), %eax
movl -0x5c(%rbp), %ebx
cmpl %ebx, %eax
jae 0x5815
imulq $0xc, %rax, %r14
imulq $0xc, %rbx, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x60(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x60(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x60(%r12)
movl %ebx, 0x98(%r12)
movl 0x9c(%r12), %r14d
movl -0x58(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x588c
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x40(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x40(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x40(%r12)
movl %ebx, 0x9c(%r12)
movl 0xa0(%r12), %r14d
movl -0x54(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5903
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x48(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x48(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x48(%r12)
movl %ebx, 0xa0(%r12)
movl 0xa4(%r12), %r14d
movl -0x50(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x597a
shlq $0x5, %r14
movq %rbx, %r15
shlq $0x5, %r15
movq 0xb8(%r12), %rdi
movq %r15, %rsi
callq *0xc0(%r12)
movq %rax, %r13
movq 0x50(%r12), %rsi
movq %rax, %rdi
movq %r14, %rdx
callq 0x1140
leaq (%r14,%r13), %rdi
subq %r14, %r15
xorl %esi, %esi
movq %r15, %rdx
callq 0x1100
movq 0x50(%r12), %rsi
movq 0xb8(%r12), %rdi
movq %r14, %rdx
callq *0xc8(%r12)
movq %r13, 0x50(%r12)
movl %ebx, 0xa4(%r12)
movl 0xa8(%r12), %r14d
movl -0x4c(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x59ed
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)
xorl %r12d, %r12d
pushq $0x2
popq %r13
leaq -0x98(%rbp), %r15
movq -0x38(%rbp), %rbx
cmpl -0x68(%rbp), %r12d
jae 0x5a97
cmpl $0x1, -0x70(%rbp)
jne 0x5a6b
movq %rbx, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
pushq $0xa
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %r14d
testl %r14d, %r14d
je 0x5ba4
movl %r14d, %eax
andl $0x1, %eax
jne 0x5ba4
movl %r14d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5ba4
movq %rbx, %rdi
movq %r15, %rsi
movl %r14d, %edx
callq 0x6ff7
testq %rax, %rax
je 0x5a72
jmp 0x53f8
movl %r13d, -0x30(%rbp)
movl %r13d, %r14d
movq %rbx, %rdi
movl %r14d, %esi
xorl %edx, %edx
callq 0x1db6
incl %r12d
addl $0x2, %r13d
jmp 0x59ff
leaq 0x3a13(%rip), %rsi      # 0x94a5
jmp 0x53c7
xorl %r14d, %r14d
leaq -0x98(%rbp), %r15
leaq -0x29(%rbp), %r13
cmpl -0x64(%rbp), %r14d
jae 0x5bd4
cmpl $0x1, -0x70(%rbp)
jne 0x5b11
movq %rbx, %rdi
movq %r15, %rsi
leaq -0x30(%rbp), %rdx
pushq $0x20
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %r12d
testl %r12d, %r12d
je 0x5c2b
movl %r12d, %eax
andl $0x1, %eax
jne 0x5c2b
movl %r12d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5c2b
movq %rbx, %rdi
movq %r15, %rsi
movl %r12d, %edx
callq 0x6ff7
testq %rax, %rax
je 0x5b23
jmp 0x53f8
movl -0x68(%rbp), %eax
addl %r14d, %eax
leal 0x2(,%rax,2), %r12d
movl %r12d, -0x30(%rbp)
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
xorl %ecx, %ecx
movq %r13, %r8
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0xa8(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x5c40
movq %rbx, %rdi
movl %r12d, %esi
movl %ecx, %edx
xorl %ecx, %ecx
callq 0x20fb
cmpb $0x20, -0x29(%rbp)
jne 0x5b9c
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
pushq $0xa
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0xa4(%rbp), %edx
movq %rbx, %rdi
movl %r12d, %esi
callq 0x2321
incl %r14d
jmp 0x5aa5
movl -0x7c(%rbp), %edx
leaq 0x348e(%rip), %rsi      # 0x903c
movq %rbx, %rdi
movl %r14d, %ecx
callq 0x642b
jmp 0x4f9b
movl -0x84(%rbp), %edx
leaq 0x3449(%rip), %rsi      # 0x9014
movq -0x38(%rbp), %rbx
jmp 0x4f93
xorl %ebx, %ebx
leaq -0x98(%rbp), %r15
leaq -0x30(%rbp), %r12
pushq $0xa
popq %r13
movq -0x38(%rbp), %r14
cmpl -0x60(%rbp), %ebx
jae 0x5c52
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r14), %eax
ja 0x5ca5
movq %r14, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x243d
incl %ebx
jmp 0x5be9
movl -0x7c(%rbp), %edx
leaq 0x3430(%rip), %rsi      # 0x9065
movq %rbx, %rdi
movl %r12d, %ecx
jmp 0x5bb4
movl -0x7c(%rbp), %edx
leaq 0x3444(%rip), %rsi      # 0x908e
movq %rbx, %rdi
jmp 0x5bb4
xorl %ebx, %ebx
leaq -0x98(%rbp), %r15
leaq -0x30(%rbp), %r12
pushq $0xa
popq %r13
movq -0x38(%rbp), %r14
cmpl -0x58(%rbp), %ebx
jae 0x5cb1
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r14), %eax
ja 0x5d09
movq %r14, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2548
incl %ebx
jmp 0x5c67
movl -0x7c(%rbp), %edx
leaq 0x340a(%rip), %rsi      # 0x90b9
jmp 0x5d13
xorl %ebx, %ebx
leaq -0x98(%rbp), %r15
leaq -0x30(%rbp), %r12
pushq $0xa
popq %r13
cmpl -0x54(%rbp), %ebx
jae 0x5d26
movq -0x38(%rbp), %rdi
movq %r15, %rsi
movq %r12, %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %ecx
movl %ecx, %eax
shrl %eax
movq -0x38(%rbp), %rdx
cmpl (%rdx), %eax
ja 0x5db8
movq -0x38(%rbp), %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2653
incl %ebx
jmp 0x5cc2
movl -0x7c(%rbp), %edx
leaq 0x33d0(%rip), %rsi      # 0x90e3
movq %r14, %rdi
callq 0x642b
movq %rax, %r12
movq %r14, %rbx
jmp 0x4f9e
movl -0x50(%rbp), %r14d
testq %r14, %r14
je 0x5ebf
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, %r15
xorl %ebx, %ebx
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
pushq $0xa
popq %r14
movq %r15, %r13
xorl %r12d, %r12d
testq %r12, %r12
jne 0x5dcb
movl -0x50(%rbp), %eax
cmpq %rax, %rbx
jae 0x5dcb
movq -0x38(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movq %r13, %rdx
movl %r14d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
movq %rax, %r12
incq %rbx
addq $0x4, %r13
jmp 0x5d67
leaq 0x25a1(%rip), %rdi      # 0x8341
leaq 0x254c(%rip), %rsi      # 0x82f3
leaq 0x2a63(%rip), %rcx      # 0x8811
movl $0x9ee, %edx            # imm = 0x9EE
callq 0x10f0
movl -0x7c(%rbp), %edx
leaq 0x3346(%rip), %rsi      # 0x9108
movq -0x38(%rbp), %rbx
jmp 0x5c4a
xorl %r13d, %r13d
movl -0x50(%rbp), %edx
testq %r12, %r12
jne 0x5e8a
cmpq %rdx, %r13
jae 0x5ea7
movl (%r15,%r13,4), %r14d
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, %rbx
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movq %rbx, -0xa0(%rbp)
movq %rbx, %r14
xorl %ebx, %ebx
xorl %eax, %eax
movq %rax, %r12
testq %rax, %rax
jne 0x5e62
movl (%r15,%r13,4), %esi
cmpq %rsi, %rbx
jae 0x5e50
movq -0x38(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movq %r14, %rdx
pushq $0xa
popq %rcx
xorl %r8d, %r8d
callq 0x6e9a
incq %rbx
addq $0x4, %r14
jmp 0x5e1d
movq -0x38(%rbp), %rdi
movq -0xa0(%rbp), %rdx
xorl %ecx, %ecx
callq 0x275e
movl (%r15,%r13,4), %edx
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq -0xa0(%rbp), %rsi
callq *0xc8(%rax)
incq %r13
jmp 0x5dce
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
callq *0xc8(%rax)
jmp 0x53fb
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
callq *0xc8(%rax)
xorl %ebx, %ebx
leaq -0x98(%rbp), %r15
leaq -0x30(%rbp), %r12
pushq $0xa
popq %r13
cmpl -0x4c(%rbp), %ebx
jae 0x5f13
movq -0x38(%rbp), %rdi
movq %r15, %rsi
movq %r12, %rdx
movl %r13d, %ecx
xorl %r8d, %r8d
callq 0x6e9a
testq %rax, %rax
jne 0x53f8
movl -0x30(%rbp), %ecx
movl %ecx, %eax
shrl %eax
movq -0x38(%rbp), %rdx
cmpl (%rdx), %eax
ja 0x5f2a
movq -0x38(%rbp), %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x28bf
incl %ebx
jmp 0x5ed0
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, -0x78(%rbp)
movq -0x38(%rbp), %rbx
jmp 0x4fa7
movl -0x7c(%rbp), %edx
leaq 0x3202(%rip), %rsi      # 0x9136
jmp 0x5dc2
leaq 0x34cf(%rip), %rdi      # 0x940f
leaq 0x23ac(%rip), %rsi      # 0x82f3
leaq 0x34d1(%rip), %rcx      # 0x941f
movl $0x972, %edx            # imm = 0x972
callq 0x10f0
leaq 0x35e7(%rip), %rdi      # 0x9546
leaq 0x238d(%rip), %rsi      # 0x82f3
leaq 0x35ec(%rip), %rcx      # 0x9559
movl $0x950, %edx            # imm = 0x950
callq 0x10f0