// File: /workspace/github_c_makefile_star2_O3/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 0x6407
xorps %xmm0, %xmm0
leaq -0xa0(%rbp), %r14
movups %xmm0, 0x48(%r14)
movups %xmm0, 0x38(%r14)
movups %xmm0, 0x28(%r14)
movups %xmm0, 0x18(%r14)
movq $0x0, 0x58(%r14)
movq %rsi, (%r14)
movq %rdx, 0x8(%r14)
movabsq $0x100000020, %rax      # imm = 0x100000020
movq %rax, 0x10(%r14)
movq %r14, %rdi
callq 0x7379
cmpl $0x61, 0x10(%r14)
jne 0x5283
movq %r14, %rdi
callq 0x7379
movl 0x10(%r14), %ecx
cmpl $0x69, %eax
jne 0x5299
xorl %eax, %eax
cmpl $0x61, %ecx
sete %al
movq -0x38(%rbp), %r14
jmp 0x52ab
movl -0x8c(%rbp), %edx
leaq 0x3cb4(%rip), %rsi      # 0x8f44
movq -0x38(%rbp), %r14
jmp 0x53e8
movl $0x1, %eax
cmpl $0x61, %ecx
movq -0x38(%rbp), %r14
jne 0x53cc
leaq -0xa0(%rbp), %rdi
movl %eax, 0x28(%rdi)
callq 0x7379
cmpl $0x67, %eax
jne 0x53bd
leaq -0xa0(%rbp), %rdi
callq 0x7379
cmpl $0x20, %eax
jne 0x53db
leaq -0xa0(%rbp), %r14
movq %r14, %rdi
callq 0x7379
leaq -0x74(%rbp), %rdx
movq -0x38(%rbp), %rdi
movq %r14, %rsi
movq -0x38(%rbp), %r14
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x538e
leaq -0x70(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x538e
leaq -0x6c(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x538e
leaq -0x68(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x538e
leaq -0x64(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x7402
testq %rax, %rax
je 0x5994
movq 0xd0(%r14), %rax
testq %rax, %rax
jne 0x586f
leaq 0x36ff(%rip), %rdi      # 0x8aa4
leaq 0x2f47(%rip), %rsi      # 0x82f3
leaq 0x3c2a(%rip), %rcx      # 0x8fdd
movl $0x811, %edx            # imm = 0x811
callq 0x10f0
movl -0x8c(%rbp), %edx
leaq 0x3bca(%rip), %rsi      # 0x8f94
jmp 0x53e8
movl -0x8c(%rbp), %edx
leaq 0x3b94(%rip), %rsi      # 0x8f6d
jmp 0x53e8
movl -0x8c(%rbp), %edx
leaq 0x3bd0(%rip), %rsi      # 0x8fb8
movq %r14, %rdi
callq 0x6a19
testq %rax, %rax
jne 0x586f
cmpl $0x1, -0x78(%rbp)
jne 0x5509
xorl %eax, %eax
cmpl $0x0, -0x64(%rbp)
je 0x560f
leaq -0xa0(%rbp), %r15
xorl %r12d, %r12d
movq %r14, %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x560f
movl -0x3c(%rbp), %r13d
testl %r13d, %r13d
je 0x55c8
movl %r13d, %eax
andl $0x1, %eax
jne 0x55c8
movl %r13d, %eax
shrl %eax
cmpl (%r14), %eax
ja 0x55c8
movq %r14, %rdi
movq %r15, %rsi
movl %r13d, %edx
callq 0x755f
testq %rax, %rax
jne 0x560f
movq %r14, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x560f
movq %r14, %rbx
movl -0xa8(%rbp), %r14d
movl %r14d, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x55e2
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x560c
movl -0xa4(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x55f7
movq %rbx, %rdi
movl %r13d, %esi
movl %r14d, %edx
callq 0x2c0c
incl %r12d
cmpl -0x64(%rbp), %r12d
movq %rbx, %r14
jb 0x5419
jmp 0x55a6
movl $0x0, -0x3c(%rbp)
movq %r14, %rdi
callq 0x3ab8
movl %eax, %r15d
xorl %eax, %eax
cmpl $0x0, -0x64(%rbp)
je 0x560f
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 0x75cd
testq %rax, %rax
jne 0x55aa
movl -0x3c(%rbp), %r12d
cmpl %r15d, %r12d
ja 0x55b0
movl -0x88(%rbp), %r14d
movq -0x38(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
movq %r13, %rdx
callq 0x75cd
testq %rax, %rax
jne 0x55aa
movl %r15d, %edx
subl %r12d, %edx
movl -0x3c(%rbp), %eax
cmpl %edx, %eax
ja 0x55b0
movl %r15d, %ecx
subl %eax, %ecx
subl %r12d, %ecx
movq -0x38(%rbp), %r14
movq %r14, %rdi
movl %r15d, %esi
callq 0x2c0c
incl %ebx
addl $0x2, %r15d
cmpl -0x64(%rbp), %ebx
jb 0x5531
xorl %eax, %eax
jmp 0x560f
movq -0x38(%rbp), %r14
jmp 0x560f
leaq 0x3dfc(%rip), %rsi      # 0x93b3
movq -0x38(%rbp), %rdi
movl %r14d, %edx
movq %rdi, %r14
callq 0x6a19
jmp 0x560f
movl -0x84(%rbp), %edx
leaq 0x3db0(%rip), %rsi      # 0x9385
movq %r14, %rdi
movl %r13d, %ecx
callq 0x6928
jmp 0x560f
movl -0x84(%rbp), %edx
leaq 0x3a9f(%rip), %rsi      # 0x908e
movq %rbx, %rdi
movl %r14d, %ecx
jmp 0x5607
movl -0x84(%rbp), %edx
leaq 0x3a8a(%rip), %rsi      # 0x908e
movq %rbx, %rdi
callq 0x6928
movq %rbx, %r14
testq %rax, %rax
jne 0x586f
cmpq $0x0, -0x50(%rbp)
jne 0x6426
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 0x39bf(%rip), %r13      # 0x905f
leaq 0x2bf5(%rip), %rsi      # 0x829c
leaq -0xa0(%rbp), %r15
movq %rbx, -0xb0(%rbp)
movl -0x90(%rbp), %eax
leal -0x62(%rax), %ecx
cmpl $0xd, %ecx
ja 0x58c3
movslq (%rsi,%rcx,4), %rdx
addq %rsi, %rdx
movq %r12, %rax
movq %rbx, %rcx
jmpq *%rdx
leaq 0x3a27(%rip), %r13      # 0x9104
movq -0xe0(%rbp), %rax
movq -0xd8(%rbp), %rcx
jmp 0x5769
movq %r15, %rdi
callq 0x7379
cmpl $0xa, %eax
je 0x58eb
movl 0x18(%r14), %ebx
movq 0x48(%r14), %r14
leaq 0x3a1e(%rip), %r13      # 0x912b
jmp 0x5776
leaq 0x3a41(%rip), %r13      # 0x9157
movq -0x100(%rbp), %rax
movq -0xf8(%rbp), %rcx
jmp 0x5769
leaq 0x3d9e(%rip), %r13      # 0x94cb
movq -0xf0(%rbp), %rax
movq -0xe8(%rbp), %rcx
jmp 0x5769
leaq 0x3998(%rip), %r13      # 0x90dc
movq -0xd0(%rbp), %rax
movq -0xc8(%rbp), %rcx
jmp 0x5769
leaq 0x392d(%rip), %r13      # 0x9088
movq -0xc0(%rbp), %rax
movq -0xb8(%rbp), %rcx
movq (%rcx), %r14
movl (%rax), %ebx
movq %r15, %rdi
callq 0x7379
movq -0x38(%rbp), %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x5881
movl -0x3c(%rbp), %r8d
cmpl %ebx, %r8d
jae 0x588a
shlq $0x5, %r8
leaq (%r14,%r8), %rbx
cmpq $0x0, 0x18(%r14,%r8)
movq -0x38(%rbp), %r14
jne 0x58a3
movl -0x90(%rbp), %eax
cmpl $-0x1, %eax
je 0x582a
cmpl $0xa, %eax
je 0x57e4
movsbl %al, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x77cc
movq %r15, %rdi
callq 0x7379
jmp 0x57bc
movq %r15, %rdi
callq 0x7379
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x77cc
movq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x22a9
movq %rax, 0x18(%rbx)
movl $0x0, -0x48(%rbp)
movq -0xb0(%rbp), %rbx
leaq 0x3841(%rip), %r13      # 0x905f
leaq 0x2a77(%rip), %rsi      # 0x829c
jmp 0x56b5
movl -0x8c(%rbp), %edx
leaq 0x3cf5(%rip), %rsi      # 0x952c
movq %r14, %rdi
callq 0x6a19
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 0x586f
movq %r14, %rdi
callq 0x2fe8
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x38(%rbp), %r14
jmp 0x5842
movl -0x84(%rbp), %edx
leaq 0x3c3c(%rip), %rsi      # 0x94d3
movq -0x38(%rbp), %r14
movq %r14, %rdi
movq %r13, %rcx
jmp 0x58b9
movl -0x84(%rbp), %edx
movl (%rbx), %r8d
leaq 0x3c55(%rip), %rsi      # 0x9508
movq %r14, %rdi
movq %r13, %rcx
callq 0x76c5
jmp 0x583f
cmpl $-0x1, %eax
jne 0x58cf
xorl %ebx, %ebx
jmp 0x5842
cmpl $0x0, -0x7c(%rbp)
movl -0x8c(%rbp), %edx
je 0x61cc
leaq 0x3b7e(%rip), %rsi      # 0x9464
jmp 0x5837
cmpl $0xa, -0x90(%rbp)
jne 0x6445
leaq -0xa0(%rbp), %r14
movq %r14, %rdi
callq 0x7379
movl 0x10(%r14), %eax
cmpl $-0x1, %eax
je 0x61d8
leaq -0xa0(%rbp), %r15
movq -0x38(%rbp), %r14
cmpl $0xa, %eax
jne 0x5961
movq %r15, %rdi
callq 0x7379
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x77cc
movq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0x2e3e
movl $0x0, -0x48(%rbp)
movl -0x90(%rbp), %eax
cmpl $-0x1, %eax
movl $0x0, %ebx
jne 0x591f
jmp 0x5842
movsbl %al, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x77cc
movq %r15, %rdi
callq 0x7379
movl -0x90(%rbp), %eax
cmpl $-0x1, %eax
jne 0x591f
movl -0x8c(%rbp), %edx
leaq 0x3c03(%rip), %rsi      # 0x9592
jmp 0x5837
cmpb $0x20, -0x29(%rbp)
jne 0x5a3a
leaq -0x60(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x7402
testq %rax, %rax
jne 0x538e
cmpb $0x20, -0x29(%rbp)
jne 0x5a3a
leaq -0x5c(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x7402
testq %rax, %rax
jne 0x538e
cmpb $0x20, -0x29(%rbp)
jne 0x5a3a
leaq -0x58(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
leaq -0x29(%rbp), %r8
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x7402
testq %rax, %rax
jne 0x538e
cmpb $0x20, -0x29(%rbp)
jne 0x5a3a
leaq -0x54(%rbp), %rdx
leaq -0xa0(%rbp), %rsi
movq %r14, %rdi
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x538e
cmpl $0x0, -0x78(%rbp)
movl -0x74(%rbp), %r13d
jne 0x5a56
movl -0x6c(%rbp), %eax
addl -0x70(%rbp), %eax
addl -0x64(%rbp), %eax
cmpl %r13d, %eax
jne 0x61df
movl %r13d, (%r14)
movl 0x78(%r14), %ebx
incl %r13d
cmpl %r13d, %ebx
jae 0x5adc
movl %r13d, %r15d
leaq (,%rbx,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 0x1150
leaq (%r12,%rbx,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 %r13d, 0x78(%r14)
movq %r14, %r13
movl 0x8c(%r14), %r14d
movl -0x70(%rbp), %ebx
cmpl %ebx, %r14d
jae 0x5b4d
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 0x1150
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 0x5bbb
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 0x1150
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 0x5c29
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 0x1150
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 0x5cb6
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 0x1150
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 0x5d24
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 0x1150
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 0x5d92
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 0x1150
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 0x5e00
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 0x1150
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 0x5e72
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 0x1150
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 0x5f22
xorl %r13d, %r13d
movl $0x2, %r12d
leaq -0xa0(%rbp), %r15
cmpl $0x1, -0x78(%rbp)
jne 0x5ef9
movq -0x38(%rbp), %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %r14d
testl %r14d, %r14d
je 0x61f1
movl %r14d, %eax
andl $0x1, %eax
jne 0x61f1
movl %r14d, %eax
shrl %eax
movq -0x38(%rbp), %rcx
cmpl (%rcx), %eax
ja 0x61f1
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
movl %r14d, %edx
callq 0x755f
testq %rax, %rax
je 0x5f04
jmp 0x586f
movl %r12d, -0x3c(%rbp)
movl %r12d, %r14d
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movl %r14d, %esi
xorl %edx, %edx
callq 0x1fbb
incl %r13d
addl $0x2, %r12d
cmpl -0x70(%rbp), %r13d
jb 0x5e8c
cmpl $0x0, -0x6c(%rbp)
je 0x6049
xorl %r14d, %r14d
leaq -0xa0(%rbp), %r15
leaq -0x29(%rbp), %r12
cmpl $0x1, -0x78(%rbp)
jne 0x5fa7
movq -0x38(%rbp), %rdi
movq %r15, %rsi
leaq -0x3c(%rbp), %rdx
movl $0x20, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %r13d
testl %r13d, %r13d
je 0x620a
movl %r13d, %eax
andl $0x1, %eax
jne 0x620a
movl %r13d, %eax
shrl %eax
movq -0x38(%rbp), %rcx
cmpl (%rcx), %eax
ja 0x620a
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
movl %r13d, %edx
callq 0x755f
testq %rax, %rax
je 0x5fbd
jmp 0x586f
movl -0x70(%rbp), %eax
addl %r14d, %eax
leal 0x2(,%rax,2), %r13d
movl %r13d, -0x3c(%rbp)
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa8(%rbp), %rdx
xorl %ecx, %ecx
movq %r12, %r8
callq 0x7402
testq %rax, %rax
jne 0x586f
movl -0xa8(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%rbx), %eax
ja 0x622b
movq %rbx, %rdi
movl %r13d, %esi
movl %ecx, %edx
xorl %ecx, %ecx
callq 0x2312
cmpb $0x20, -0x29(%rbp)
jne 0x603c
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
leaq -0xa4(%rbp), %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x586f
movl -0xa4(%rbp), %edx
movq %rbx, %rdi
movl %r13d, %esi
callq 0x253a
incl %r14d
cmpl -0x6c(%rbp), %r14d
jb 0x5f3a
cmpl $0x0, -0x68(%rbp)
movq -0x38(%rbp), %r12
je 0x60a3
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 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x6248
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2656
incl %ebx
cmpl -0x68(%rbp), %ebx
jb 0x6060
cmpl $0x0, -0x60(%rbp)
je 0x60f9
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 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x625a
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2766
incl %ebx
cmpl -0x60(%rbp), %ebx
jb 0x60b6
cmpl $0x0, -0x5c(%rbp)
je 0x614f
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 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x626c
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2876
incl %ebx
cmpl -0x5c(%rbp), %ebx
jb 0x610c
movl -0x58(%rbp), %r14d
testq %r14, %r14
je 0x637d
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, %r15
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movq $-0x1, %rbx
leaq -0xa0(%rbp), %r14
movq %r15, %rdx
movl -0x58(%rbp), %eax
incq %rbx
cmpq %rax, %rbx
jae 0x627e
leaq 0x4(%rdx), %r12
movq -0x38(%rbp), %rdi
movq %r14, %rsi
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
movq %r12, %rdx
testq %rax, %rax
je 0x6195
movq %rax, %rbx
jmp 0x6342
leaq 0x32d2(%rip), %rsi      # 0x94a5
jmp 0x5837
xorl %ebx, %ebx
jmp 0x5884
movl -0x8c(%rbp), %edx
leaq 0x2e28(%rip), %rsi      # 0x9014
jmp 0x53e8
movl -0x84(%rbp), %edx
leaq 0x2e3e(%rip), %rsi      # 0x903c
movq -0x38(%rbp), %rdi
movl %r14d, %ecx
movq %rdi, %r14
jmp 0x6221
movl -0x84(%rbp), %edx
leaq 0x2e4e(%rip), %rsi      # 0x9065
movq -0x38(%rbp), %r14
movq %r14, %rdi
movl %r13d, %ecx
callq 0x6928
jmp 0x53f0
movl -0x84(%rbp), %edx
leaq 0x2e56(%rip), %rsi      # 0x908e
movq %rbx, %rdi
callq 0x6928
movq %rbx, %r14
jmp 0x53f0
movl -0x84(%rbp), %edx
leaq 0x2e64(%rip), %rsi      # 0x90b9
jmp 0x63f7
movl -0x84(%rbp), %edx
leaq 0x2e7c(%rip), %rsi      # 0x90e3
jmp 0x63f7
movl -0x84(%rbp), %edx
leaq 0x2e8f(%rip), %rsi      # 0x9108
jmp 0x63f7
xorl %r13d, %r13d
movl -0x58(%rbp), %edx
cmpq %rdx, %r13
jae 0x6365
movl (%r15,%r13,4), %r14d
shlq $0x2, %r14
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r14, %rsi
callq *0xc0(%rax)
movq %rax, %r12
movq %rax, %rdi
xorl %esi, %esi
movq %r14, %rdx
callq 0x1100
movq $-0x1, %rbx
movq %r12, -0xb0(%rbp)
movq %r12, %rdx
leaq -0xa0(%rbp), %r12
movl (%r15,%r13,4), %esi
incq %rbx
cmpq %rsi, %rbx
jae 0x6302
leaq 0x4(%rdx), %r14
movq -0x38(%rbp), %rdi
movq %r12, %rsi
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
movq %r14, %rdx
testq %rax, %rax
je 0x62d1
movq %rax, %rbx
jmp 0x6316
movq -0x38(%rbp), %rdi
movq -0xb0(%rbp), %rdx
xorl %ecx, %ecx
callq 0x2986
xorl %ebx, %ebx
movl (%r15,%r13,4), %edx
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq -0xb0(%rbp), %rsi
callq *0xc8(%rax)
incq %r13
testq %rbx, %rbx
je 0x6281
movl -0x58(%rbp), %edx
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
callq *0xc8(%rax)
movq %rbx, %rax
jmp 0x586f
shlq $0x2, %rdx
movq -0x38(%rbp), %rax
movq 0xb8(%rax), %rdi
movq %r15, %rsi
callq *0xc8(%rax)
cmpl $0x0, -0x54(%rbp)
je 0x63d3
xorl %ebx, %ebx
leaq -0xa0(%rbp), %r14
leaq -0x3c(%rbp), %r15
movq -0x38(%rbp), %r12
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
movl $0xa, %ecx
xorl %r8d, %r8d
callq 0x7402
testq %rax, %rax
jne 0x586f
movl -0x3c(%rbp), %ecx
movl %ecx, %eax
shrl %eax
cmpl (%r12), %eax
ja 0x63ea
movq %r12, %rdi
movl %ecx, %esi
xorl %edx, %edx
callq 0x2afc
incl %ebx
cmpl -0x54(%rbp), %ebx
jb 0x6394
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, -0x80(%rbp)
movq -0x38(%rbp), %r14
jmp 0x53f9
movl -0x84(%rbp), %edx
leaq 0x2d3f(%rip), %rsi      # 0x9136
movq %r12, %rdi
callq 0x6928
movq %r12, %r14
jmp 0x53f0
leaq 0x1f33(%rip), %rdi      # 0x8341
leaq 0x1ede(%rip), %rsi      # 0x82f3
leaq 0x23f5(%rip), %rcx      # 0x8811
movl $0x9ee, %edx            # imm = 0x9EE
callq 0x10f0
leaq 0x2fe2(%rip), %rdi      # 0x940f
leaq 0x1ebf(%rip), %rsi      # 0x82f3
leaq 0x2fe4(%rip), %rcx      # 0x941f
movl $0x972, %edx            # imm = 0x972
callq 0x10f0
leaq 0x30fa(%rip), %rdi      # 0x9546
leaq 0x1ea0(%rip), %rsi      # 0x82f3
leaq 0x30ff(%rip), %rcx      # 0x9559
movl $0x950, %edx            # imm = 0x950
callq 0x10f0