// File: eryxcc[P]lois/tests/mintest.cpp
// Function: main
int main() {
  lasttime = getVa();
  initLois();

  sym.neq = "≠";

// this will not output anything
// and thus work more effectively
#define solverNamed(x,y) y

// avoid indentation to create a smaller incremental0.smt
//  iindent.i = iunindent.i = 0;

//solver = 
//  solverBasic() ||
//  solverCompare({
//      solverNamed("internal", solverExhaustive(500, false) || solverExhaustive(2000000000, true)),  
//      solverNamed("z3", solverIncremental("z3-*/bin/z3 -smt2 -in")),
      // solverNamed("crash", solverIncremental("echo crash")),
        // solverNamed("cvc4", solverIncremental("cvc4 --lang smt --incremental --finite-model-find")),
     // solverNamed("cvc4", solverIncremental("cvc4 --lang smt --incremental"))
//      }) ||
//  solverCrash();

  Domain dA("Real");
  lsetof<term> A = dA.getSet();
  
  typedef elem state;
  typedef term symbol;
  
  lsetof<state> Q;
  lsetof<state> F;
  lsetof<transition<state,symbol>> delta;
  
//   for (elem x:A) for (elem y:A) {
//     elem u=make_lpair(x,y);
//     If (x==y)
//              R+= make_lpair(x,y);
// 	If (x!=y)
//       R+=eltuple({x,x,y});
// //    R += u;
//   }
//   cout << "R= " << R << endl;
    

  lsetof<symbol> alph = A;

  Q += elof(0);
  for(symbol& a: A) Q += eltuple({a});
  for(symbol& a: A) for(symbol& b: A) Q += eltuple({a, b});
  for(symbol& a: A) for(symbol& b: A) for(symbol& c: A) Q += eltuple({a, b, c});
  Q += elof(4);
  
  for(symbol& a: A) for(symbol& b: A) for(symbol& c: A) 
    If(a==b || a==c || b==c) F += eltuple({a,b,c});
    
  for(symbol& x: A) {
    delta += make_transition(elof(0),x,eltuple({x}));

    for(symbol& a: A)
      delta += make_transition(eltuple({a}),x,eltuple({a,x}));

    for(symbol& a: A) for(symbol& b: A)
      delta += make_transition(eltuple({a,b}),x,eltuple({a,b,x}));

    for(symbol& a: A) for(symbol& b: A) for(symbol& c: A)
      delta += make_transition(eltuple({a,b,c}),x,elof(4));

    delta += make_transition(elof(4),x,elof(4));
    }

  /* Q += 0; Q += 1; Q += 2; Q += 3; F += 0; F += 2; F += 1;
  for(elem x: A) delta += eltuple({elof(0), x, elof(1)});
  for(elem x: A) delta += eltuple({elof(1), x, elof(2)});
  for(elem x: A) delta += eltuple({elof(2), x, elof(3)});
  for(elem x: A) delta += eltuple({elof(3), x, elof(0)}); */

  minimalize1(Q, F, delta, alph);
  showTimeElapsed();

  minimalize2(Q, F, delta, alph);
  showTimeElapsed();

  return 0;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x11c0, %rsp           # imm = 0x11C0
movl $0x0, -0x4(%rbp)
callq 0x8fe0
movq %rax, 0xa4d9a(%rip)     # 0xae328
callq 0x6ba90
leaq 0x6db72(%rip), %rsi     # 0x7710c
leaq -0x20(%rbp), %rdi
movq %rdi, -0xe58(%rbp)
callq 0xbf20
movq -0xe58(%rbp), %rsi
leaq 0xa4f68(%rip), %rdi     # 0xae520
addq $0x78, %rdi
callq 0xbfb0
movq -0xe58(%rbp), %rdi
callq 0xbff0
leaq -0x69(%rbp), %rdi
movq %rdi, -0xe50(%rbp)
callq 0x84e0
movq -0xe50(%rbp), %rdx
leaq 0x6f1da(%rip), %rsi     # 0x787c5
leaq -0x68(%rbp), %rdi
callq 0xbbf0
jmp 0x95f6
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xc020
jmp 0x9605
leaq -0x68(%rbp), %rdi
callq 0x8578
leaq -0x69(%rbp), %rdi
callq 0x8320
leaq -0xa8(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x6cbd0
jmp 0x9629
leaq -0xd0(%rbp), %rdi
callq 0xc050
jmp 0x9637
leaq -0xf8(%rbp), %rdi
callq 0xc050
jmp 0x9645
leaq -0x120(%rbp), %rdi
callq 0xc090
jmp 0x9653
leaq -0x148(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0xc0d0
jmp 0x9668
leaq -0x158(%rbp), %rdi
xorl %esi, %esi
callq 0xc280
jmp 0x9678
leaq -0xd0(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0xc310
jmp 0x968d
leaq -0x158(%rbp), %rdi
callq 0xc3d0
leaq -0xa8(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rsi
leaq -0x190(%rbp), %rdi
callq 0xc3f0
jmp 0x96bc
movq -0x160(%rbp), %rsi
leaq -0x1c0(%rbp), %rdi
callq 0xc420
jmp 0x96d1
jmp 0x96d3
leaq -0x190(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0xc450
movb %al, -0xe59(%rbp)
jmp 0x96ee
movb -0xe59(%rbp), %al
testb $0x1, %al
jne 0x97f1
jmp 0x96fe
leaq -0x1c0(%rbp), %rdi
callq 0xc5b0
leaq -0x190(%rbp), %rdi
callq 0xc5b0
jmp 0x9972
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x973e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x8578
leaq -0x69(%rbp), %rdi
callq 0x8320
jmp 0xbbbb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbbb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbba6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb8e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb82
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x158(%rbp), %rdi
callq 0xc3d0
jmp 0xbb76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9961
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9955
leaq -0x190(%rbp), %rdi
callq 0xc500
movq %rax, -0xe68(%rbp)
jmp 0x9806
movq -0xe68(%rbp), %rax
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rsi
leaq -0x1f8(%rbp), %rdi
movq %rdi, -0xe70(%rbp)
callq 0xc520
movq -0xe70(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq $0x1, -0x1e0(%rbp)
movq -0x1e8(%rbp), %rsi
movq -0x1e0(%rbp), %rdx
leaq -0x1d8(%rbp), %rdi
callq 0x9500
jmp 0x9863
leaq -0xd0(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0xc310
jmp 0x9878
leaq -0x1d8(%rbp), %rdi
callq 0xc3d0
leaq -0x1f8(%rbp), %rax
movq %rax, -0xe80(%rbp)
addq $0x10, %rax
movq %rax, -0xe78(%rbp)
movq -0xe78(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xe88(%rbp)
callq 0xc550
movq -0xe80(%rbp), %rcx
movq -0xe88(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xe78(%rbp)
jne 0x989d
jmp 0x98d0
leaq -0x190(%rbp), %rdi
callq 0xc570
jmp 0x98de
jmp 0x96d3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9909
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x1d8(%rbp), %rdi
callq 0xc3d0
leaq -0x1f8(%rbp), %rax
movq %rax, -0xe98(%rbp)
addq $0x10, %rax
movq %rax, -0xe90(%rbp)
movq -0xe90(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xea0(%rbp)
callq 0xc550
movq -0xe98(%rbp), %rcx
movq -0xea0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xe90(%rbp)
jne 0x9922
jmp 0x9955
leaq -0x1c0(%rbp), %rdi
callq 0xc5b0
leaq -0x190(%rbp), %rdi
callq 0xc5b0
jmp 0xbb76
leaq -0xa8(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rsi
leaq -0x230(%rbp), %rdi
callq 0xc3f0
jmp 0x9995
movq -0x200(%rbp), %rsi
leaq -0x260(%rbp), %rdi
callq 0xc420
jmp 0x99aa
jmp 0x99ac
leaq -0x230(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0xc450
movb %al, -0xea1(%rbp)
jmp 0x99c7
movb -0xea1(%rbp), %al
testb $0x1, %al
jne 0x9a1c
jmp 0x99d3
movl $0x4, -0x264(%rbp)
leaq -0x260(%rbp), %rdi
callq 0xc5b0
leaq -0x230(%rbp), %rdi
callq 0xc5b0
jmp 0x9cac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9c9b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9c8f
leaq -0x230(%rbp), %rdi
callq 0xc500
movq %rax, -0xeb0(%rbp)
jmp 0x9a31
movq -0xeb0(%rbp), %rax
movq %rax, -0x270(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rsi
leaq -0x2a8(%rbp), %rdi
callq 0xc3f0
jmp 0x9a62
movq -0x278(%rbp), %rsi
leaq -0x2d8(%rbp), %rdi
callq 0xc420
jmp 0x9a77
jmp 0x9a79
leaq -0x2a8(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0xc450
movb %al, -0xeb1(%rbp)
jmp 0x9a94
movb -0xeb1(%rbp), %al
testb $0x1, %al
jne 0x9ae9
jmp 0x9aa0
movl $0x6, -0x264(%rbp)
leaq -0x2d8(%rbp), %rdi
callq 0xc5b0
leaq -0x2a8(%rbp), %rdi
callq 0xc5b0
jmp 0x9c7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9c6c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9c60
leaq -0x2a8(%rbp), %rdi
callq 0xc500
movq %rax, -0xec0(%rbp)
jmp 0x9afe
movq -0xec0(%rbp), %rax
movq %rax, -0x2e0(%rbp)
movq -0x270(%rbp), %rsi
leaq -0x320(%rbp), %rdi
movq %rdi, -0xec8(%rbp)
callq 0xc520
leaq -0x310(%rbp), %rdi
movq -0x2e0(%rbp), %rsi
callq 0xc520
movq -0xec8(%rbp), %rax
movq %rax, -0x300(%rbp)
movq $0x2, -0x2f8(%rbp)
movq -0x300(%rbp), %rsi
movq -0x2f8(%rbp), %rdx
leaq -0x2f0(%rbp), %rdi
callq 0x9500
jmp 0x9b6e
leaq -0xd0(%rbp), %rdi
leaq -0x2f0(%rbp), %rsi
callq 0xc310
jmp 0x9b83
leaq -0x2f0(%rbp), %rdi
callq 0xc3d0
leaq -0x320(%rbp), %rax
movq %rax, -0xed8(%rbp)
addq $0x20, %rax
movq %rax, -0xed0(%rbp)
movq -0xed0(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xee0(%rbp)
callq 0xc550
movq -0xed8(%rbp), %rcx
movq -0xee0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xed0(%rbp)
jne 0x9ba8
jmp 0x9bdb
leaq -0x2a8(%rbp), %rdi
callq 0xc570
jmp 0x9be9
jmp 0x9a79
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x9c14
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x2f0(%rbp), %rdi
callq 0xc3d0
leaq -0x320(%rbp), %rax
movq %rax, -0xef0(%rbp)
addq $0x20, %rax
movq %rax, -0xee8(%rbp)
movq -0xee8(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xef8(%rbp)
callq 0xc550
movq -0xef0(%rbp), %rcx
movq -0xef8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xee8(%rbp)
jne 0x9c2d
jmp 0x9c60
leaq -0x2d8(%rbp), %rdi
callq 0xc5b0
leaq -0x2a8(%rbp), %rdi
callq 0xc5b0
jmp 0x9c8f
jmp 0x9c7c
leaq -0x230(%rbp), %rdi
callq 0xc570
jmp 0x9c8a
jmp 0x99ac
leaq -0x260(%rbp), %rdi
callq 0xc5b0
leaq -0x230(%rbp), %rdi
callq 0xc5b0
jmp 0xbb76
leaq -0xa8(%rbp), %rax
movq %rax, -0x328(%rbp)
movq -0x328(%rbp), %rsi
leaq -0x358(%rbp), %rdi
callq 0xc3f0
jmp 0x9ccf
movq -0x328(%rbp), %rsi
leaq -0x388(%rbp), %rdi
callq 0xc420
jmp 0x9ce4
jmp 0x9ce6
leaq -0x358(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0xc450
movb %al, -0xef9(%rbp)
jmp 0x9d01
movb -0xef9(%rbp), %al
testb $0x1, %al
jne 0x9d56
jmp 0x9d0d
movl $0x8, -0x264(%rbp)
leaq -0x388(%rbp), %rdi
callq 0xc5b0
leaq -0x358(%rbp), %rdi
callq 0xc5b0
jmp 0xa0f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa0e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa0d8
leaq -0x358(%rbp), %rdi
callq 0xc500
movq %rax, -0xf08(%rbp)
jmp 0x9d6b
movq -0xf08(%rbp), %rax
movq %rax, -0x390(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x398(%rbp)
movq -0x398(%rbp), %rsi
leaq -0x3c8(%rbp), %rdi
callq 0xc3f0
jmp 0x9d9c
movq -0x398(%rbp), %rsi
leaq -0x3f8(%rbp), %rdi
callq 0xc420
jmp 0x9db1
jmp 0x9db3
leaq -0x3c8(%rbp), %rdi
leaq -0x3f8(%rbp), %rsi
callq 0xc450
movb %al, -0xf09(%rbp)
jmp 0x9dce
movb -0xf09(%rbp), %al
testb $0x1, %al
jne 0x9e23
jmp 0x9dda
movl $0xa, -0x264(%rbp)
leaq -0x3f8(%rbp), %rdi
callq 0xc5b0
leaq -0x3c8(%rbp), %rdi
callq 0xc5b0
jmp 0xa0c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa0b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa0a9
leaq -0x3c8(%rbp), %rdi
callq 0xc500
movq %rax, -0xf18(%rbp)
jmp 0x9e38
movq -0xf18(%rbp), %rax
movq %rax, -0x400(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x408(%rbp)
movq -0x408(%rbp), %rsi
leaq -0x438(%rbp), %rdi
callq 0xc3f0
jmp 0x9e69
movq -0x408(%rbp), %rsi
leaq -0x468(%rbp), %rdi
callq 0xc420
jmp 0x9e7e
jmp 0x9e80
leaq -0x438(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0xc450
movb %al, -0xf19(%rbp)
jmp 0x9e9b
movb -0xf19(%rbp), %al
testb $0x1, %al
jne 0x9ef0
jmp 0x9ea7
movl $0xc, -0x264(%rbp)
leaq -0x468(%rbp), %rdi
callq 0xc5b0
leaq -0x438(%rbp), %rdi
callq 0xc5b0
jmp 0xa094
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa086
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa07a
leaq -0x438(%rbp), %rdi
callq 0xc500
movq %rax, -0xf28(%rbp)
jmp 0x9f05
movq -0xf28(%rbp), %rax
movq %rax, -0x470(%rbp)
movq -0x390(%rbp), %rsi
leaq -0x4c0(%rbp), %rdi
movq %rdi, -0xf30(%rbp)
callq 0xc520
leaq -0x4b0(%rbp), %rdi
movq -0x400(%rbp), %rsi
callq 0xc520
leaq -0x4a0(%rbp), %rdi
movq -0x470(%rbp), %rsi
callq 0xc520
movq -0xf30(%rbp), %rax
movq %rax, -0x490(%rbp)
movq $0x3, -0x488(%rbp)
movq -0x490(%rbp), %rsi
movq -0x488(%rbp), %rdx
leaq -0x480(%rbp), %rdi
callq 0x9500
jmp 0x9f88
leaq -0xd0(%rbp), %rdi
leaq -0x480(%rbp), %rsi
callq 0xc310
jmp 0x9f9d
leaq -0x480(%rbp), %rdi
callq 0xc3d0
leaq -0x4c0(%rbp), %rax
movq %rax, -0xf40(%rbp)
addq $0x30, %rax
movq %rax, -0xf38(%rbp)
movq -0xf38(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xf48(%rbp)
callq 0xc550
movq -0xf40(%rbp), %rcx
movq -0xf48(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xf38(%rbp)
jne 0x9fc2
jmp 0x9ff5
leaq -0x438(%rbp), %rdi
callq 0xc570
jmp 0xa003
jmp 0x9e80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa02e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x480(%rbp), %rdi
callq 0xc3d0
leaq -0x4c0(%rbp), %rax
movq %rax, -0xf58(%rbp)
addq $0x30, %rax
movq %rax, -0xf50(%rbp)
movq -0xf50(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xf60(%rbp)
callq 0xc550
movq -0xf58(%rbp), %rcx
movq -0xf60(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xf50(%rbp)
jne 0xa047
jmp 0xa07a
leaq -0x468(%rbp), %rdi
callq 0xc5b0
leaq -0x438(%rbp), %rdi
callq 0xc5b0
jmp 0xa0a9
jmp 0xa096
leaq -0x3c8(%rbp), %rdi
callq 0xc570
jmp 0xa0a4
jmp 0x9db3
leaq -0x3f8(%rbp), %rdi
callq 0xc5b0
leaq -0x3c8(%rbp), %rdi
callq 0xc5b0
jmp 0xa0d8
jmp 0xa0c5
leaq -0x358(%rbp), %rdi
callq 0xc570
jmp 0xa0d3
jmp 0x9ce6
leaq -0x388(%rbp), %rdi
callq 0xc5b0
leaq -0x358(%rbp), %rdi
callq 0xc5b0
jmp 0xbb76
leaq -0x4d0(%rbp), %rdi
movl $0x4, %esi
callq 0xc280
jmp 0xa108
leaq -0xd0(%rbp), %rdi
leaq -0x4d0(%rbp), %rsi
callq 0xc310
jmp 0xa11d
leaq -0x4d0(%rbp), %rdi
callq 0xc3d0
leaq -0xa8(%rbp), %rax
movq %rax, -0x4d8(%rbp)
movq -0x4d8(%rbp), %rsi
leaq -0x508(%rbp), %rdi
callq 0xc3f0
jmp 0xa14c
movq -0x4d8(%rbp), %rsi
leaq -0x538(%rbp), %rdi
callq 0xc420
jmp 0xa161
jmp 0xa163
leaq -0x508(%rbp), %rdi
leaq -0x538(%rbp), %rsi
callq 0xc450
movb %al, -0xf61(%rbp)
jmp 0xa17e
movb -0xf61(%rbp), %al
testb $0x1, %al
jne 0xa1f0
jmp 0xa18a
movl $0xe, -0x264(%rbp)
leaq -0x538(%rbp), %rdi
callq 0xc5b0
leaq -0x508(%rbp), %rdi
callq 0xc5b0
jmp 0xa829
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x4d0(%rbp), %rdi
callq 0xc3d0
jmp 0xbb76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa80c
leaq -0x508(%rbp), %rdi
callq 0xc500
movq %rax, -0xf70(%rbp)
jmp 0xa205
movq -0xf70(%rbp), %rax
movq %rax, -0x540(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x548(%rbp)
movq -0x548(%rbp), %rsi
leaq -0x578(%rbp), %rdi
callq 0xc3f0
jmp 0xa236
movq -0x548(%rbp), %rsi
leaq -0x5a8(%rbp), %rdi
callq 0xc420
jmp 0xa24b
jmp 0xa24d
leaq -0x578(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
callq 0xc450
movb %al, -0xf71(%rbp)
jmp 0xa268
movb -0xf71(%rbp), %al
testb $0x1, %al
jne 0xa2bd
jmp 0xa274
movl $0x10, -0x264(%rbp)
leaq -0x5a8(%rbp), %rdi
callq 0xc5b0
leaq -0x578(%rbp), %rdi
callq 0xc5b0
jmp 0xa7f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa7e9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa7dd
leaq -0x578(%rbp), %rdi
callq 0xc500
movq %rax, -0xf80(%rbp)
jmp 0xa2d2
movq -0xf80(%rbp), %rax
movq %rax, -0x5b0(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x5b8(%rbp)
movq -0x5b8(%rbp), %rsi
leaq -0x5e8(%rbp), %rdi
callq 0xc3f0
jmp 0xa303
movq -0x5b8(%rbp), %rsi
leaq -0x618(%rbp), %rdi
callq 0xc420
jmp 0xa318
jmp 0xa31a
leaq -0x5e8(%rbp), %rdi
leaq -0x618(%rbp), %rsi
callq 0xc450
movb %al, -0xf81(%rbp)
jmp 0xa335
movb -0xf81(%rbp), %al
testb $0x1, %al
jne 0xa38a
jmp 0xa341
movl $0x12, -0x264(%rbp)
leaq -0x618(%rbp), %rdi
callq 0xc5b0
leaq -0x5e8(%rbp), %rdi
callq 0xc5b0
jmp 0xa7c8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa7ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa7ae
leaq -0x5e8(%rbp), %rdi
callq 0xc500
movq %rax, -0xf90(%rbp)
jmp 0xa39f
movq -0xf90(%rbp), %rax
movq %rax, -0x620(%rbp)
movq -0x540(%rbp), %rsi
movq -0x5b0(%rbp), %rdx
leaq -0x670(%rbp), %rdi
callq 0x47b60
jmp 0xa3c9
movq -0x540(%rbp), %rsi
movq -0x620(%rbp), %rdx
leaq -0x680(%rbp), %rdi
callq 0x47b60
jmp 0xa3e5
leaq -0x660(%rbp), %rdi
leaq -0x670(%rbp), %rsi
leaq -0x680(%rbp), %rdx
callq 0x46e20
jmp 0xa401
movq -0x5b0(%rbp), %rsi
movq -0x620(%rbp), %rdx
leaq -0x690(%rbp), %rdi
callq 0x47b60
jmp 0xa41d
leaq -0x650(%rbp), %rdi
leaq -0x660(%rbp), %rsi
leaq -0x690(%rbp), %rdx
callq 0x46e20
jmp 0xa439
leaq -0x640(%rbp), %rdi
leaq -0x650(%rbp), %rsi
callq 0xbca0
jmp 0xa44e
leaq -0x650(%rbp), %rdi
callq 0xbd10
leaq -0x690(%rbp), %rdi
callq 0xbd10
leaq -0x660(%rbp), %rdi
callq 0xbd10
leaq -0x680(%rbp), %rdi
callq 0xbd10
leaq -0x670(%rbp), %rdi
callq 0xbd10
leaq -0x640(%rbp), %rax
movq %rax, -0x628(%rbp)
movq -0x628(%rbp), %rsi
leaq -0x6c0(%rbp), %rdi
callq 0x433e0
jmp 0xa4ad
movq -0x628(%rbp), %rsi
leaq -0x6f0(%rbp), %rdi
callq 0x43470
jmp 0xa4c2
jmp 0xa4c4
leaq -0x6c0(%rbp), %rdi
leaq -0x6f0(%rbp), %rsi
callq 0xbd30
movb %al, -0xf91(%rbp)
jmp 0xa4df
movb -0xf91(%rbp), %al
testb $0x1, %al
jne 0xa5da
jmp 0xa4ef
movl $0x14, -0x264(%rbp)
leaq -0x6f0(%rbp), %rdi
callq 0xbd90
leaq -0x6c0(%rbp), %rdi
callq 0xbd90
leaq -0x640(%rbp), %rdi
callq 0xbdd0
jmp 0xa799
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa596
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa58a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa57e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa572
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x650(%rbp), %rdi
callq 0xbd10
leaq -0x690(%rbp), %rdi
callq 0xbd10
leaq -0x660(%rbp), %rdi
callq 0xbd10
leaq -0x680(%rbp), %rdi
callq 0xbd10
leaq -0x670(%rbp), %rdi
callq 0xbd10
jmp 0xa7ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa78b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa77f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa773
leaq -0x6c0(%rbp), %rdi
callq 0xbd60
movb %al, -0xf92(%rbp)
jmp 0xa5ee
movb -0xf92(%rbp), %al
andb $0x1, %al
movb %al, -0x6f1(%rbp)
testb $0x1, -0x6f1(%rbp)
jne 0xa60a
jmp 0xa75e
movq -0x540(%rbp), %rsi
leaq -0x748(%rbp), %rdi
movq %rdi, -0xfa0(%rbp)
callq 0xc520
leaq -0x738(%rbp), %rdi
movq -0x5b0(%rbp), %rsi
callq 0xc520
leaq -0x728(%rbp), %rdi
movq -0x620(%rbp), %rsi
callq 0xc520
movq -0xfa0(%rbp), %rax
movq %rax, -0x718(%rbp)
movq $0x3, -0x710(%rbp)
movq -0x718(%rbp), %rsi
movq -0x710(%rbp), %rdx
leaq -0x708(%rbp), %rdi
callq 0x9500
jmp 0xa67f
leaq -0xf8(%rbp), %rdi
leaq -0x708(%rbp), %rsi
callq 0xc310
jmp 0xa694
leaq -0x708(%rbp), %rdi
callq 0xc3d0
leaq -0x748(%rbp), %rax
movq %rax, -0xfb0(%rbp)
addq $0x30, %rax
movq %rax, -0xfa8(%rbp)
movq -0xfa8(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xfb8(%rbp)
callq 0xc550
movq -0xfb0(%rbp), %rcx
movq -0xfb8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xfa8(%rbp)
jne 0xa6b9
jmp 0xa75e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xa712
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x708(%rbp), %rdi
callq 0xc3d0
leaq -0x748(%rbp), %rax
movq %rax, -0xfc8(%rbp)
addq $0x30, %rax
movq %rax, -0xfc0(%rbp)
movq -0xfc0(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xfd0(%rbp)
callq 0xc550
movq -0xfc8(%rbp), %rcx
movq -0xfd0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xfc0(%rbp)
jne 0xa72b
jmp 0xa773
jmp 0xa760
leaq -0x6c0(%rbp), %rdi
callq 0x43390
jmp 0xa76e
jmp 0xa4c4
leaq -0x6f0(%rbp), %rdi
callq 0xbd90
leaq -0x6c0(%rbp), %rdi
callq 0xbd90
leaq -0x640(%rbp), %rdi
callq 0xbdd0
jmp 0xa7ae
jmp 0xa79b
leaq -0x5e8(%rbp), %rdi
callq 0xc570
jmp 0xa7a9
jmp 0xa31a
leaq -0x618(%rbp), %rdi
callq 0xc5b0
leaq -0x5e8(%rbp), %rdi
callq 0xc5b0
jmp 0xa7dd
jmp 0xa7ca
leaq -0x578(%rbp), %rdi
callq 0xc570
jmp 0xa7d8
jmp 0xa24d
leaq -0x5a8(%rbp), %rdi
callq 0xc5b0
leaq -0x578(%rbp), %rdi
callq 0xc5b0
jmp 0xa80c
jmp 0xa7f9
leaq -0x508(%rbp), %rdi
callq 0xc570
jmp 0xa807
jmp 0xa163
leaq -0x538(%rbp), %rdi
callq 0xc5b0
leaq -0x508(%rbp), %rdi
callq 0xc5b0
jmp 0xbb76
leaq -0xa8(%rbp), %rax
movq %rax, -0x750(%rbp)
movq -0x750(%rbp), %rsi
leaq -0x780(%rbp), %rdi
callq 0xc3f0
jmp 0xa84c
movq -0x750(%rbp), %rsi
leaq -0x7b0(%rbp), %rdi
callq 0xc420
jmp 0xa861
jmp 0xa863
leaq -0x780(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
callq 0xc450
movb %al, -0xfd1(%rbp)
jmp 0xa87e
movb -0xfd1(%rbp), %al
testb $0x1, %al
jne 0xa8d3
jmp 0xa88a
movl $0x16, -0x264(%rbp)
leaq -0x7b0(%rbp), %rdi
callq 0xc5b0
leaq -0x780(%rbp), %rdi
callq 0xc5b0
jmp 0xb8ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb8d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb8cd
leaq -0x780(%rbp), %rdi
callq 0xc500
movq %rax, -0xfe0(%rbp)
jmp 0xa8e8
movq -0xfe0(%rbp), %rax
movq %rax, -0x7b8(%rbp)
leaq -0x7f8(%rbp), %rdi
xorl %esi, %esi
callq 0xc280
jmp 0xa906
movq -0x7b8(%rbp), %rsi
movq %rsi, -0xff0(%rbp)
leaq -0x828(%rbp), %rdi
movq %rdi, -0xfe8(%rbp)
callq 0xc520
movq -0xfe8(%rbp), %rax
movq %rax, -0x818(%rbp)
movq $0x1, -0x810(%rbp)
movq -0x818(%rbp), %rsi
movq -0x810(%rbp), %rdx
leaq -0x808(%rbp), %rdi
callq 0x9500
jmp 0xa95c
movq -0xff0(%rbp), %rdx
leaq -0x7e8(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
leaq -0x808(%rbp), %rcx
callq 0xc600
jmp 0xa97f
leaq -0x120(%rbp), %rdi
leaq -0x7e8(%rbp), %rsi
callq 0xc640
jmp 0xa994
leaq -0x7e8(%rbp), %rdi
callq 0xc720
leaq -0x808(%rbp), %rdi
callq 0xc3d0
leaq -0x828(%rbp), %rax
movq %rax, -0x1000(%rbp)
addq $0x10, %rax
movq %rax, -0xff8(%rbp)
movq -0xff8(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1008(%rbp)
callq 0xc550
movq -0x1000(%rbp), %rcx
movq -0x1008(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xff8(%rbp)
jne 0xa9c5
leaq -0x7f8(%rbp), %rdi
callq 0xc3d0
leaq -0xa8(%rbp), %rax
movq %rax, -0x830(%rbp)
movq -0x830(%rbp), %rsi
leaq -0x860(%rbp), %rdi
callq 0xc3f0
jmp 0xaa25
movq -0x830(%rbp), %rsi
leaq -0x890(%rbp), %rdi
callq 0xc420
jmp 0xaa3a
jmp 0xaa3c
leaq -0x860(%rbp), %rdi
leaq -0x890(%rbp), %rsi
callq 0xc450
movb %al, -0x1009(%rbp)
jmp 0xaa57
movb -0x1009(%rbp), %al
testb $0x1, %al
jne 0xab4b
jmp 0xaa67
movl $0x18, -0x264(%rbp)
leaq -0x890(%rbp), %rdi
callq 0xc5b0
leaq -0x860(%rbp), %rdi
callq 0xc5b0
jmp 0xae42
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xaace
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xaac2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x7e8(%rbp), %rdi
callq 0xc720
leaq -0x808(%rbp), %rdi
callq 0xc3d0
leaq -0x828(%rbp), %rax
movq %rax, -0x1020(%rbp)
addq $0x10, %rax
movq %rax, -0x1018(%rbp)
movq -0x1018(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1028(%rbp)
callq 0xc550
movq -0x1020(%rbp), %rcx
movq -0x1028(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1018(%rbp)
jne 0xaae7
leaq -0x7f8(%rbp), %rdi
callq 0xc3d0
jmp 0xb8cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xae31
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xae25
leaq -0x860(%rbp), %rdi
callq 0xc500
movq %rax, -0x1030(%rbp)
jmp 0xab60
movq -0x1030(%rbp), %rax
movq %rax, -0x898(%rbp)
movq -0x898(%rbp), %rsi
leaq -0x8f8(%rbp), %rdi
movq %rdi, -0x1038(%rbp)
callq 0xc520
movq -0x1038(%rbp), %rax
movq %rax, -0x8e8(%rbp)
movq $0x1, -0x8e0(%rbp)
movq -0x8e8(%rbp), %rsi
movq -0x8e0(%rbp), %rdx
leaq -0x8d8(%rbp), %rdi
callq 0x9500
jmp 0xabbd
movq -0x7b8(%rbp), %rax
movq %rax, -0x1048(%rbp)
movq -0x898(%rbp), %rsi
leaq -0x938(%rbp), %rdi
movq %rdi, -0x1040(%rbp)
callq 0xc520
leaq -0x928(%rbp), %rdi
movq -0x7b8(%rbp), %rsi
callq 0xc520
movq -0x1040(%rbp), %rax
movq %rax, -0x918(%rbp)
movq $0x2, -0x910(%rbp)
movq -0x918(%rbp), %rsi
movq -0x910(%rbp), %rdx
leaq -0x908(%rbp), %rdi
callq 0x9500
jmp 0xac2d
movq -0x1048(%rbp), %rdx
leaq -0x8c8(%rbp), %rdi
leaq -0x8d8(%rbp), %rsi
leaq -0x908(%rbp), %rcx
callq 0xc600
jmp 0xac50
leaq -0x120(%rbp), %rdi
leaq -0x8c8(%rbp), %rsi
callq 0xc640
jmp 0xac65
leaq -0x8c8(%rbp), %rdi
callq 0xc720
leaq -0x908(%rbp), %rdi
callq 0xc3d0
leaq -0x938(%rbp), %rax
movq %rax, -0x1058(%rbp)
addq $0x20, %rax
movq %rax, -0x1050(%rbp)
movq -0x1050(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1060(%rbp)
callq 0xc550
movq -0x1058(%rbp), %rcx
movq -0x1060(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1050(%rbp)
jne 0xac96
leaq -0x8d8(%rbp), %rdi
callq 0xc3d0
leaq -0x8f8(%rbp), %rax
movq %rax, -0x1070(%rbp)
addq $0x10, %rax
movq %rax, -0x1068(%rbp)
movq -0x1068(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1078(%rbp)
callq 0xc550
movq -0x1070(%rbp), %rcx
movq -0x1078(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1068(%rbp)
jne 0xacec
jmp 0xad1f
leaq -0x860(%rbp), %rdi
callq 0xc570
jmp 0xad2d
jmp 0xaa3c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xadd9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xad83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xad77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x8c8(%rbp), %rdi
callq 0xc720
leaq -0x908(%rbp), %rdi
callq 0xc3d0
leaq -0x938(%rbp), %rax
movq %rax, -0x1088(%rbp)
addq $0x20, %rax
movq %rax, -0x1080(%rbp)
movq -0x1080(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1090(%rbp)
callq 0xc550
movq -0x1088(%rbp), %rcx
movq -0x1090(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1080(%rbp)
jne 0xad9c
leaq -0x8d8(%rbp), %rdi
callq 0xc3d0
leaq -0x8f8(%rbp), %rax
movq %rax, -0x10a0(%rbp)
addq $0x10, %rax
movq %rax, -0x1098(%rbp)
movq -0x1098(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x10a8(%rbp)
callq 0xc550
movq -0x10a0(%rbp), %rcx
movq -0x10a8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1098(%rbp)
jne 0xadf2
jmp 0xae25
leaq -0x890(%rbp), %rdi
callq 0xc5b0
leaq -0x860(%rbp), %rdi
callq 0xc5b0
jmp 0xb8cd
leaq -0xa8(%rbp), %rax
movq %rax, -0x940(%rbp)
movq -0x940(%rbp), %rsi
leaq -0x970(%rbp), %rdi
callq 0xc3f0
jmp 0xae65
movq -0x940(%rbp), %rsi
leaq -0x9a0(%rbp), %rdi
callq 0xc420
jmp 0xae7a
jmp 0xae7c
leaq -0x970(%rbp), %rdi
leaq -0x9a0(%rbp), %rsi
callq 0xc450
movb %al, -0x10a9(%rbp)
jmp 0xae97
movb -0x10a9(%rbp), %al
testb $0x1, %al
jne 0xaeec
jmp 0xaea3
movl $0x1a, -0x264(%rbp)
leaq -0x9a0(%rbp), %rdi
callq 0xc5b0
leaq -0x970(%rbp), %rdi
callq 0xc5b0
jmp 0xb305
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb2f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb2e8
leaq -0x970(%rbp), %rdi
callq 0xc500
movq %rax, -0x10b8(%rbp)
jmp 0xaf01
movq -0x10b8(%rbp), %rax
movq %rax, -0x9a8(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x9b0(%rbp)
movq -0x9b0(%rbp), %rsi
leaq -0x9e0(%rbp), %rdi
callq 0xc3f0
jmp 0xaf32
movq -0x9b0(%rbp), %rsi
leaq -0xa10(%rbp), %rdi
callq 0xc420
jmp 0xaf47
jmp 0xaf49
leaq -0x9e0(%rbp), %rdi
leaq -0xa10(%rbp), %rsi
callq 0xc450
movb %al, -0x10b9(%rbp)
jmp 0xaf64
movb -0x10b9(%rbp), %al
testb $0x1, %al
jne 0xafb9
jmp 0xaf70
movl $0x1c, -0x264(%rbp)
leaq -0xa10(%rbp), %rdi
callq 0xc5b0
leaq -0x9e0(%rbp), %rdi
callq 0xc5b0
jmp 0xb2d3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb2c5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb2b9
leaq -0x9e0(%rbp), %rdi
callq 0xc500
movq %rax, -0x10c8(%rbp)
jmp 0xafce
movq -0x10c8(%rbp), %rax
movq %rax, -0xa18(%rbp)
movq -0x9a8(%rbp), %rsi
leaq -0xa88(%rbp), %rdi
movq %rdi, -0x10d0(%rbp)
callq 0xc520
leaq -0xa78(%rbp), %rdi
movq -0xa18(%rbp), %rsi
callq 0xc520
movq -0x10d0(%rbp), %rax
movq %rax, -0xa68(%rbp)
movq $0x2, -0xa60(%rbp)
movq -0xa68(%rbp), %rsi
movq -0xa60(%rbp), %rdx
leaq -0xa58(%rbp), %rdi
callq 0x9500
jmp 0xb03e
movq -0x7b8(%rbp), %rax
movq %rax, -0x10e0(%rbp)
movq -0x9a8(%rbp), %rsi
leaq -0xad8(%rbp), %rdi
movq %rdi, -0x10d8(%rbp)
callq 0xc520
leaq -0xac8(%rbp), %rdi
movq -0xa18(%rbp), %rsi
callq 0xc520
leaq -0xab8(%rbp), %rdi
movq -0x7b8(%rbp), %rsi
callq 0xc520
movq -0x10d8(%rbp), %rax
movq %rax, -0xaa8(%rbp)
movq $0x3, -0xaa0(%rbp)
movq -0xaa8(%rbp), %rsi
movq -0xaa0(%rbp), %rdx
leaq -0xa98(%rbp), %rdi
callq 0x9500
jmp 0xb0c1
movq -0x10e0(%rbp), %rdx
leaq -0xa48(%rbp), %rdi
leaq -0xa58(%rbp), %rsi
leaq -0xa98(%rbp), %rcx
callq 0xc600
jmp 0xb0e4
leaq -0x120(%rbp), %rdi
leaq -0xa48(%rbp), %rsi
callq 0xc640
jmp 0xb0f9
leaq -0xa48(%rbp), %rdi
callq 0xc720
leaq -0xa98(%rbp), %rdi
callq 0xc3d0
leaq -0xad8(%rbp), %rax
movq %rax, -0x10f0(%rbp)
addq $0x30, %rax
movq %rax, -0x10e8(%rbp)
movq -0x10e8(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x10f8(%rbp)
callq 0xc550
movq -0x10f0(%rbp), %rcx
movq -0x10f8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x10e8(%rbp)
jne 0xb12a
leaq -0xa58(%rbp), %rdi
callq 0xc3d0
leaq -0xa88(%rbp), %rax
movq %rax, -0x1108(%rbp)
addq $0x20, %rax
movq %rax, -0x1100(%rbp)
movq -0x1100(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1110(%rbp)
callq 0xc550
movq -0x1108(%rbp), %rcx
movq -0x1110(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1100(%rbp)
jne 0xb180
jmp 0xb1b3
leaq -0x9e0(%rbp), %rdi
callq 0xc570
jmp 0xb1c1
jmp 0xaf49
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb26d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb217
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb20b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xa48(%rbp), %rdi
callq 0xc720
leaq -0xa98(%rbp), %rdi
callq 0xc3d0
leaq -0xad8(%rbp), %rax
movq %rax, -0x1120(%rbp)
addq $0x30, %rax
movq %rax, -0x1118(%rbp)
movq -0x1118(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1128(%rbp)
callq 0xc550
movq -0x1120(%rbp), %rcx
movq -0x1128(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1118(%rbp)
jne 0xb230
leaq -0xa58(%rbp), %rdi
callq 0xc3d0
leaq -0xa88(%rbp), %rax
movq %rax, -0x1138(%rbp)
addq $0x20, %rax
movq %rax, -0x1130(%rbp)
movq -0x1130(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1140(%rbp)
callq 0xc550
movq -0x1138(%rbp), %rcx
movq -0x1140(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1130(%rbp)
jne 0xb286
jmp 0xb2b9
leaq -0xa10(%rbp), %rdi
callq 0xc5b0
leaq -0x9e0(%rbp), %rdi
callq 0xc5b0
jmp 0xb2e8
jmp 0xb2d5
leaq -0x970(%rbp), %rdi
callq 0xc570
jmp 0xb2e3
jmp 0xae7c
leaq -0x9a0(%rbp), %rdi
callq 0xc5b0
leaq -0x970(%rbp), %rdi
callq 0xc5b0
jmp 0xb8cd
leaq -0xa8(%rbp), %rax
movq %rax, -0xae0(%rbp)
movq -0xae0(%rbp), %rsi
leaq -0xb10(%rbp), %rdi
callq 0xc3f0
jmp 0xb328
movq -0xae0(%rbp), %rsi
leaq -0xb40(%rbp), %rdi
callq 0xc420
jmp 0xb33d
jmp 0xb33f
leaq -0xb10(%rbp), %rdi
leaq -0xb40(%rbp), %rsi
callq 0xc450
movb %al, -0x1141(%rbp)
jmp 0xb35a
movb -0x1141(%rbp), %al
testb $0x1, %al
jne 0xb3af
jmp 0xb366
movl $0x1e, -0x264(%rbp)
leaq -0xb40(%rbp), %rdi
callq 0xc5b0
leaq -0xb10(%rbp), %rdi
callq 0xc5b0
jmp 0xb7de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb7cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb7c1
leaq -0xb10(%rbp), %rdi
callq 0xc500
movq %rax, -0x1150(%rbp)
jmp 0xb3c4
movq -0x1150(%rbp), %rax
movq %rax, -0xb48(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0xb50(%rbp)
movq -0xb50(%rbp), %rsi
leaq -0xb80(%rbp), %rdi
callq 0xc3f0
jmp 0xb3f5
movq -0xb50(%rbp), %rsi
leaq -0xbb0(%rbp), %rdi
callq 0xc420
jmp 0xb40a
jmp 0xb40c
leaq -0xb80(%rbp), %rdi
leaq -0xbb0(%rbp), %rsi
callq 0xc450
movb %al, -0x1151(%rbp)
jmp 0xb427
movb -0x1151(%rbp), %al
testb $0x1, %al
jne 0xb47c
jmp 0xb433
movl $0x20, -0x264(%rbp)
leaq -0xbb0(%rbp), %rdi
callq 0xc5b0
leaq -0xb80(%rbp), %rdi
callq 0xc5b0
jmp 0xb7ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb79e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb792
leaq -0xb80(%rbp), %rdi
callq 0xc500
movq %rax, -0x1160(%rbp)
jmp 0xb491
movq -0x1160(%rbp), %rax
movq %rax, -0xbb8(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0xbc0(%rbp)
movq -0xbc0(%rbp), %rsi
leaq -0xbf0(%rbp), %rdi
callq 0xc3f0
jmp 0xb4c2
movq -0xbc0(%rbp), %rsi
leaq -0xc20(%rbp), %rdi
callq 0xc420
jmp 0xb4d7
jmp 0xb4d9
leaq -0xbf0(%rbp), %rdi
leaq -0xc20(%rbp), %rsi
callq 0xc450
movb %al, -0x1161(%rbp)
jmp 0xb4f4
movb -0x1161(%rbp), %al
testb $0x1, %al
jne 0xb549
jmp 0xb500
movl $0x22, -0x264(%rbp)
leaq -0xc20(%rbp), %rdi
callq 0xc5b0
leaq -0xbf0(%rbp), %rdi
callq 0xc5b0
jmp 0xb77d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb76f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb763
leaq -0xbf0(%rbp), %rdi
callq 0xc500
movq %rax, -0x1170(%rbp)
jmp 0xb55e
movq -0x1170(%rbp), %rax
movq %rax, -0xc28(%rbp)
movq -0xb48(%rbp), %rsi
leaq -0xca8(%rbp), %rdi
movq %rdi, -0x1178(%rbp)
callq 0xc520
leaq -0xc98(%rbp), %rdi
movq -0xbb8(%rbp), %rsi
callq 0xc520
leaq -0xc88(%rbp), %rdi
movq -0xc28(%rbp), %rsi
callq 0xc520
movq -0x1178(%rbp), %rax
movq %rax, -0xc78(%rbp)
movq $0x3, -0xc70(%rbp)
movq -0xc78(%rbp), %rsi
movq -0xc70(%rbp), %rdx
leaq -0xc68(%rbp), %rdi
callq 0x9500
jmp 0xb5e1
movq -0x7b8(%rbp), %rax
movq %rax, -0x1180(%rbp)
leaq -0xcb8(%rbp), %rdi
movl $0x4, %esi
callq 0xc280
jmp 0xb602
movq -0x1180(%rbp), %rdx
leaq -0xc58(%rbp), %rdi
leaq -0xc68(%rbp), %rsi
leaq -0xcb8(%rbp), %rcx
callq 0xc600
jmp 0xb625
leaq -0x120(%rbp), %rdi
leaq -0xc58(%rbp), %rsi
callq 0xc640
jmp 0xb63a
leaq -0xc58(%rbp), %rdi
callq 0xc720
leaq -0xcb8(%rbp), %rdi
callq 0xc3d0
leaq -0xc68(%rbp), %rdi
callq 0xc3d0
leaq -0xca8(%rbp), %rax
movq %rax, -0x1190(%rbp)
addq $0x30, %rax
movq %rax, -0x1188(%rbp)
movq -0x1188(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x1198(%rbp)
callq 0xc550
movq -0x1190(%rbp), %rcx
movq -0x1198(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1188(%rbp)
jne 0xb677
jmp 0xb6aa
leaq -0xbf0(%rbp), %rdi
callq 0xc570
jmp 0xb6b8
jmp 0xb4d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb717
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb70b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb6ff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xc58(%rbp), %rdi
callq 0xc720
leaq -0xcb8(%rbp), %rdi
callq 0xc3d0
leaq -0xc68(%rbp), %rdi
callq 0xc3d0
leaq -0xca8(%rbp), %rax
movq %rax, -0x11a8(%rbp)
addq $0x30, %rax
movq %rax, -0x11a0(%rbp)
movq -0x11a0(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0x11b0(%rbp)
callq 0xc550
movq -0x11a8(%rbp), %rcx
movq -0x11b0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x11a0(%rbp)
jne 0xb730
jmp 0xb763
leaq -0xc20(%rbp), %rdi
callq 0xc5b0
leaq -0xbf0(%rbp), %rdi
callq 0xc5b0
jmp 0xb792
jmp 0xb77f
leaq -0xb80(%rbp), %rdi
callq 0xc570
jmp 0xb78d
jmp 0xb40c
leaq -0xbb0(%rbp), %rdi
callq 0xc5b0
leaq -0xb80(%rbp), %rdi
callq 0xc5b0
jmp 0xb7c1
jmp 0xb7ae
leaq -0xb10(%rbp), %rdi
callq 0xc570
jmp 0xb7bc
jmp 0xb33f
leaq -0xb40(%rbp), %rdi
callq 0xc5b0
leaq -0xb10(%rbp), %rdi
callq 0xc5b0
jmp 0xb8cd
leaq -0xcf8(%rbp), %rdi
movl $0x4, %esi
callq 0xc280
jmp 0xb7f1
movq -0x7b8(%rbp), %rax
movq %rax, -0x11b8(%rbp)
leaq -0xd08(%rbp), %rdi
movl $0x4, %esi
callq 0xc280
jmp 0xb812
movq -0x11b8(%rbp), %rdx
leaq -0xce8(%rbp), %rdi
leaq -0xcf8(%rbp), %rsi
leaq -0xd08(%rbp), %rcx
callq 0xc600
jmp 0xb835
leaq -0x120(%rbp), %rdi
leaq -0xce8(%rbp), %rsi
callq 0xc640
jmp 0xb84a
leaq -0xce8(%rbp), %rdi
callq 0xc720
leaq -0xd08(%rbp), %rdi
callq 0xc3d0
leaq -0xcf8(%rbp), %rdi
callq 0xc3d0
leaq -0x780(%rbp), %rdi
callq 0xc570
jmp 0xb87c
jmp 0xa863
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb8c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xb8b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xce8(%rbp), %rdi
callq 0xc720
leaq -0xd08(%rbp), %rdi
callq 0xc3d0
leaq -0xcf8(%rbp), %rdi
callq 0xc3d0
leaq -0x7b0(%rbp), %rdi
callq 0xc5b0
leaq -0x780(%rbp), %rdi
callq 0xc5b0
jmp 0xbb76
leaq -0xd30(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0xe440
jmp 0xb8ff
leaq -0xd58(%rbp), %rdi
leaq -0xf8(%rbp), %rsi
callq 0xe440
jmp 0xb914
leaq -0xd80(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0xe5f0
jmp 0xb929
leaq -0xda8(%rbp), %rdi
leaq -0x148(%rbp), %rsi
callq 0xc0d0
jmp 0xb93e
leaq -0xd30(%rbp), %rdi
leaq -0xd58(%rbp), %rsi
leaq -0xd80(%rbp), %rdx
leaq -0xda8(%rbp), %rcx
callq 0xc760
jmp 0xb961
leaq -0xda8(%rbp), %rdi
callq 0xe7a0
leaq -0xd80(%rbp), %rdi
callq 0xe7d0
leaq -0xd58(%rbp), %rdi
callq 0xe800
leaq -0xd30(%rbp), %rdi
callq 0xe800
callq 0x9010
jmp 0xb998
leaq -0xdd0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0xe440
jmp 0xb9ad
leaq -0xdf8(%rbp), %rdi
leaq -0xf8(%rbp), %rsi
callq 0xe440
jmp 0xb9c2
leaq -0xe20(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0xe5f0
jmp 0xb9d7
leaq -0xe48(%rbp), %rdi
leaq -0x148(%rbp), %rsi
callq 0xc0d0
jmp 0xb9ec
leaq -0xdd0(%rbp), %rdi
leaq -0xdf8(%rbp), %rsi
leaq -0xe20(%rbp), %rdx
leaq -0xe48(%rbp), %rcx
callq 0xe830
jmp 0xba0f
leaq -0xe48(%rbp), %rdi
callq 0xe7a0
leaq -0xe20(%rbp), %rdi
callq 0xe7d0
leaq -0xdf8(%rbp), %rdi
callq 0xe800
leaq -0xdd0(%rbp), %rdi
callq 0xe800
callq 0x9010
jmp 0xba46
movl $0x0, -0x4(%rbp)
movl $0x1, -0x264(%rbp)
leaq -0x148(%rbp), %rdi
callq 0xe7a0
leaq -0x120(%rbp), %rdi
callq 0xe7d0
leaq -0xf8(%rbp), %rdi
callq 0xe800
leaq -0xd0(%rbp), %rdi
callq 0xe800
leaq -0xa8(%rbp), %rdi
callq 0xe7a0
leaq -0x48(%rbp), %rdi
callq 0xf940
movl -0x4(%rbp), %eax
addq $0x11c0, %rsp           # imm = 0x11C0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb02
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbaf6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbaea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xda8(%rbp), %rdi
callq 0xe7a0
leaq -0xd80(%rbp), %rdi
callq 0xe7d0
leaq -0xd58(%rbp), %rdi
callq 0xe800
leaq -0xd30(%rbp), %rdi
callq 0xe800
jmp 0xbb76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb6a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xbb52
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xe48(%rbp), %rdi
callq 0xe7a0
leaq -0xe20(%rbp), %rdi
callq 0xe7d0
leaq -0xdf8(%rbp), %rdi
callq 0xe800
leaq -0xdd0(%rbp), %rdi
callq 0xe800
leaq -0x148(%rbp), %rdi
callq 0xe7a0
leaq -0x120(%rbp), %rdi
callq 0xe7d0
leaq -0xf8(%rbp), %rdi
callq 0xe800
leaq -0xd0(%rbp), %rdi
callq 0xe800
leaq -0xa8(%rbp), %rdi
callq 0xe7a0
leaq -0x48(%rbp), %rdi
callq 0xf940
movq -0x78(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)
nop