// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x4a8, %rsp            # imm = 0x4A8
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x73b0
imulq $0xf4240, (%rbx), %rax  # imm = 0xF4240
addq 0x8(%rbx), %rax
movq %rax, 0x4bfba(%rip)     # 0x542a8
callq 0x3abab
leaq 0x37d82(%rip), %rsi     # 0x4007c
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0xa60c
movups 0x8(%rbx), %xmm0
xorps %xmm1, %xmm1
movups %xmm1, 0x8(%rbx)
leaq 0x4c197(%rip), %rax     # 0x544b0
movq 0x88(%rax), %rdi
movups %xmm0, 0x80(%rax)
testq %rdi, %rdi
je 0x834c
callq 0xe7a2
movq 0x18(%rsp), %rdi
leaq 0x49db3(%rip), %rax     # 0x520f0
movq %rax, 0x8(%rsp)
testq %rdi, %rdi
je 0x834c
callq 0xe7a2
leaq 0x308(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x393dd(%rip), %rsi     # 0x4173c
leaq 0x393da(%rip), %rdx     # 0x41740
leaq 0x2f8(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb76
leaq 0x230(%rsp), %rax
movq %rax, -0x10(%rax)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x220(%rsp), %rdi
callq 0xe9f6
movl $0xffffffff, 0x240(%rsp) # imm = 0xFFFFFFFF
movq 0x2f8(%rsp), %rdi
cmpq %r14, %rdi
je 0x83c1
movq 0x308(%rsp), %rsi
incq %rsi
callq 0x7280
leaq 0xf8(%rsp), %rdi
leaq 0x220(%rsp), %rsi
callq 0x3b818
leaq 0x2a8(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
leaq 0x4bf69(%rip), %r14     # 0x54358
movq (%r14), %rax
movq %rax, -0x8(%rdi)
leaq 0x8(%r14), %rbx
movq %rbx, %rsi
callq 0x100a2
leaq 0x320(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq (%r14), %rax
movq %rax, -0x8(%rdi)
movq %rbx, %rsi
callq 0x100a2
leaq 0x280(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
movq (%r14), %rax
movq %rax, -0x8(%rdi)
movq %rbx, %rsi
callq 0x100a2
leaq 0x340(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
callq 0xa69a
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
callq 0xa867
leaq 0x2a0(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa8d6
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x8486
callq 0xe7a2
leaq 0x8(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x160(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x38(%rsp), %rbx
leaq 0x68(%rsp), %r14
leaq 0x2a0(%rsp), %r15
leaq 0x8(%rsp), %r12
movslq 0x10(%rsp), %rax
testq %rax, %rax
js 0x84f9
movq 0x8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x84f9
cmpl 0x168(%rsp), %eax
jne 0x8527
jmp 0x85a9
movslq 0x168(%rsp), %rax
testq %rax, %rax
js 0x85a9
movq 0x160(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x85a9
movq 0x18(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0x68(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x70(%rsp)
testq %rax, %rax
je 0x8557
movq 0x4ba7f(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8553
incl 0x8(%rax)
jmp 0x8557
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x826b
movq %r15, %rdi
movq %rbx, %rsi
callq 0xa8d6
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x8581
callq 0xe7a2
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x8590
callq 0xe7a2
movq %r12, %rdi
callq 0x171da
incl 0x10(%rsp)
movq %r12, %rdi
callq 0x1618a
jmp 0x84cb
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x160(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x38(%rsp), %rbx
leaq 0xc8(%rsp), %r13
leaq 0x98(%rsp), %rbp
leaq 0x2a0(%rsp), %r14
movslq 0x10(%rsp), %rax
testq %rax, %rax
js 0x8641
movq 0x8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8641
cmpl 0x168(%rsp), %eax
leaq 0xf8(%rsp), %r12
jne 0x8677
jmp 0x87e9
movslq 0x168(%rsp), %rax
testq %rax, %rax
leaq 0xf8(%rsp), %r12
js 0x87e9
movq 0x160(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x87e9
movq 0x18(%rsp), %r15
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x86c6
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x86c6
cmpl 0x70(%rsp), %eax
jne 0x86ee
jmp 0x87b9
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x87b9
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x87b9
movq 0x48(%rsp), %rax
movq (%r15), %rcx
movq %rcx, 0x98(%rsp)
movq 0x8(%r15), %rcx
movq %rcx, 0xa0(%rsp)
testq %rcx, %rcx
je 0x8724
movq 0x4b8b2(%rip), %rdx     # 0x53fc8
cmpb $0x0, (%rdx)
je 0x8720
incl 0x8(%rcx)
jmp 0x8724
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0xa8(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0xb0(%rsp)
testq %rax, %rax
je 0x8755
movq 0x4b881(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8751
incl 0x8(%rax)
jmp 0x8755
lock
incl 0x8(%rax)
movl $0x2, %edx
movq %r13, %rdi
movq %rbp, %rsi
callq 0x826b
movq %r14, %rdi
movq %r13, %rsi
callq 0xa8d6
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x8782
callq 0xe7a2
movl $0x20, %r12d
movq 0x90(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x879a
callq 0xe7a2
addq $-0x10, %r12
jne 0x8788
movq %rbx, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %rbx, %rdi
callq 0x1618a
jmp 0x869b
leaq 0x68(%rsp), %rdi
callq 0xa9e8
movq %rbx, %rdi
callq 0xa9e8
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x171da
incl 0x10(%rsp)
movq %r15, %rdi
callq 0x1618a
jmp 0x860b
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x160(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x38(%rsp), %r14
leaq 0xf8(%rsp), %r12
leaq 0x98(%rsp), %r13
leaq 0x120(%rsp), %r15
leaq 0x2a0(%rsp), %rbp
movslq 0x10(%rsp), %rax
testq %rax, %rax
js 0x8881
movq 0x8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8881
cmpl 0x168(%rsp), %eax
jne 0x88af
jmp 0x8b29
movslq 0x168(%rsp), %rax
testq %rax, %rax
js 0x8b29
movq 0x160(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8b29
movq 0x18(%rsp), %rbx
movq %r14, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x88fe
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x88fe
cmpl 0x70(%rsp), %eax
jne 0x8926
jmp 0x8af1
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x8af1
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8af1
movq 0x48(%rsp), %r14
movq %r13, %rdi
leaq 0xf8(%rsp), %r12
movq %r12, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0xc8(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0xa0(%rsp), %rax
testq %rax, %rax
js 0x8989
movq 0x98(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8989
cmpl 0xd0(%rsp), %eax
jne 0x89b7
jmp 0x8abe
movslq 0xd0(%rsp), %rax
testq %rax, %rax
js 0x8abe
movq 0xc8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8abe
movq 0xa8(%rsp), %rax
movq (%rbx), %rcx
movq %rcx, 0x190(%rsp)
movq 0x8(%rbx), %rcx
movq %rcx, 0x198(%rsp)
testq %rcx, %rcx
je 0x89f0
movq 0x4b5e6(%rip), %rdx     # 0x53fc8
cmpb $0x0, (%rdx)
je 0x89ec
incl 0x8(%rcx)
jmp 0x89f0
lock
incl 0x8(%rcx)
movq (%r14), %rcx
movq %rcx, 0x1a0(%rsp)
movq 0x8(%r14), %rcx
movq %rcx, 0x1a8(%rsp)
testq %rcx, %rcx
je 0x8a21
movq 0x4b5b5(%rip), %rdx     # 0x53fc8
cmpb $0x0, (%rdx)
je 0x8a1d
incl 0x8(%rcx)
jmp 0x8a21
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0x1b0(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x1b8(%rsp)
testq %rax, %rax
je 0x8a52
movq 0x4b584(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8a4e
incl 0x8(%rax)
jmp 0x8a52
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %r15, %rdi
leaq 0x190(%rsp), %rsi
callq 0x826b
movq %rbp, %rdi
movq %r15, %rsi
callq 0xa8d6
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x8a84
callq 0xe7a2
movl $0x30, %r12d
movq 0x188(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x8a9c
callq 0xe7a2
addq $-0x10, %r12
jne 0x8a8a
movq %r13, %rdi
callq 0x171da
incl 0xa0(%rsp)
movq %r13, %rdi
callq 0x1618a
jmp 0x8955
leaq 0xc8(%rsp), %rdi
callq 0xa9e8
movq %r13, %rdi
callq 0xa9e8
leaq 0x38(%rsp), %r14
movq %r14, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %r14, %rdi
callq 0x1618a
jmp 0x88d3
leaq 0x68(%rsp), %rdi
callq 0xa9e8
movq %r14, %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x171da
leaq 0xf8(%rsp), %r12
incl 0x10(%rsp)
movq %rbx, %rdi
callq 0x1618a
jmp 0x8853
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
movl $0x4, %esi
callq 0xa867
leaq 0x2a0(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa8d6
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x8b70
callq 0xe7a2
leaq 0x8(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x160(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x38(%rsp), %rbx
leaq 0xf8(%rsp), %r12
leaq 0x98(%rsp), %r13
leaq 0x190(%rsp), %r14
leaq 0x150(%rsp), %rbp
movslq 0x10(%rsp), %rax
testq %rax, %rax
js 0x8bf1
movq 0x8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8bf1
cmpl 0x168(%rsp), %eax
jne 0x8c1f
jmp 0x9087
movslq 0x168(%rsp), %rax
testq %rax, %rax
js 0x9087
movq 0x160(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9087
movq 0x18(%rsp), %r15
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x8c6e
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8c6e
cmpl 0x70(%rsp), %eax
jne 0x8c96
jmp 0x904f
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x904f
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x904f
movq %r13, %rdi
movq 0x48(%rsp), %r13
leaq 0xf8(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0xc8(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0xa0(%rsp), %rax
testq %rax, %rax
js 0x8cf9
movq 0x98(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x8cf9
cmpl 0xd0(%rsp), %eax
jne 0x8d27
jmp 0x9014
movslq 0xd0(%rsp), %rax
testq %rax, %rax
js 0x9014
movq 0xc8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9014
movq 0xa8(%rsp), %rbx
leaq 0x248(%rsp), %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x2d0f2
leaq 0x2e8(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x2d0f2
leaq 0x258(%rsp), %rdi
leaq 0x248(%rsp), %rsi
movq %r12, %rdx
callq 0x2c694
leaq 0x2d8(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2d0f2
leaq 0x268(%rsp), %rdi
leaq 0x258(%rsp), %rsi
movq %r12, %rdx
callq 0x2c694
movq 0x268(%rsp), %rax
movq 0x270(%rsp), %rdi
movq %rax, 0x1f0(%rsp)
movq %rdi, 0x1f8(%rsp)
testq %rdi, %rdi
je 0x8ddf
movq 0x4b1fe(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0x8dec
incl 0x8(%rdi)
movl $0x0, 0x200(%rsp)
jmp 0x8e08
movl $0x0, 0x200(%rsp)
jmp 0x8e0d
lock
incl 0x8(%rdi)
movq 0x270(%rsp), %rdi
movl $0x0, 0x200(%rsp)
testq %rdi, %rdi
je 0x8e0d
callq 0xe7a2
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0x8e1f
callq 0xe7a2
movq 0x260(%rsp), %rdi
testq %rdi, %rdi
je 0x8e31
callq 0xe7a2
movq 0x2f0(%rsp), %rdi
testq %rdi, %rdi
je 0x8e43
callq 0xe7a2
movq 0x250(%rsp), %rdi
testq %rdi, %rdi
je 0x8e55
callq 0xe7a2
movq %r14, %rdi
leaq 0x1f0(%rsp), %r12
movq %r12, %rsi
callq 0x2a54c
leaq 0x120(%rsp), %rdi
movq %r12, %rsi
callq 0x2a5d3
movl 0x1b8(%rsp), %eax
cmpl 0x148(%rsp), %eax
je 0x8f8e
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0x8f81
movq (%r15), %rax
movq %rax, 0x1c0(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x1c8(%rsp)
testq %rax, %rax
je 0x8ec9
movq 0x4b10d(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8ec5
incl 0x8(%rax)
jmp 0x8ec9
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0x1d0(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0x1d8(%rsp)
testq %rax, %rax
je 0x8efb
movq 0x4b0db(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8ef7
incl 0x8(%rax)
jmp 0x8efb
lock
incl 0x8(%rax)
movq (%rbx), %rax
movq %rax, 0x1e0(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x1e8(%rsp)
testq %rax, %rax
je 0x8f2c
movq 0x4b0aa(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x8f28
incl 0x8(%rax)
jmp 0x8f2c
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %rbp, %rdi
leaq 0x1c0(%rsp), %rsi
callq 0x826b
leaq 0x318(%rsp), %rdi
movq %rbp, %rsi
callq 0xa8d6
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0x8f63
callq 0xe7a2
movl $0x30, %r12d
movq 0x1b8(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x8f7b
callq 0xe7a2
addq $-0x10, %r12
jne 0x8f69
movq %r14, %rdi
callq 0x2a538
jmp 0x8e78
leaq 0x490f3(%rip), %rbx     # 0x52088
movq %rbx, 0x120(%rsp)
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x8faf
callq 0xe7a2
leaq 0x120(%rsp), %rdi
callq 0xe84e
movq %rbx, 0x190(%rsp)
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0x8fd6
callq 0xe7a2
movq %r14, %rdi
callq 0xe84e
movq 0x1f8(%rsp), %rdi
testq %rdi, %rdi
je 0x8ff0
callq 0xe7a2
leaq 0x98(%rsp), %rbx
movq %rbx, %rdi
callq 0x171da
incl 0xa0(%rsp)
movq %rbx, %rdi
callq 0x1618a
jmp 0x8cc5
leaq 0xc8(%rsp), %rdi
callq 0xa9e8
leaq 0x98(%rsp), %r13
movq %r13, %rdi
callq 0xa9e8
leaq 0x38(%rsp), %rbx
movq %rbx, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %rbx, %rdi
callq 0x1618a
jmp 0x8c43
leaq 0x68(%rsp), %rdi
callq 0xa9e8
movq %rbx, %rdi
callq 0xa9e8
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x171da
leaq 0xf8(%rsp), %r12
incl 0x10(%rsp)
movq %r15, %rdi
callq 0x1618a
jmp 0x8bc3
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x160(%rsp), %rdi
leaq 0xf8(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x68(%rsp), %r14
leaq 0x98(%rsp), %r15
leaq 0x38(%rsp), %rbp
leaq 0x190(%rsp), %rbx
movslq 0x10(%rsp), %rax
testq %rax, %rax
js 0x9114
movq 0x8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9114
cmpl 0x168(%rsp), %eax
jne 0x9142
jmp 0x9c0a
movslq 0x168(%rsp), %rax
testq %rax, %rax
js 0x9c0a
movq 0x160(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9c0a
movq %r14, %rdi
movq 0x18(%rsp), %r13
xorl %esi, %esi
callq 0xa867
movq (%r13), %rax
movq %rax, 0xc8(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0xd0(%rsp)
testq %rax, %rax
je 0x9183
movq 0x4ae53(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x917f
incl 0x8(%rax)
jmp 0x9183
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %r15, %rdi
leaq 0xc8(%rsp), %rsi
callq 0x826b
movq %rbp, %rdi
leaq 0x68(%rsp), %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x17276
leaq 0x278(%rsp), %rdi
movq %rbp, %rsi
callq 0xaa18
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x91ca
callq 0xe7a2
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x91d9
callq 0xe7a2
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x91e8
callq 0xe7a2
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x91fa
callq 0xe7a2
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x920c
callq 0xe7a2
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x921b
callq 0xe7a2
movq %rbp, %rdi
leaq 0xf8(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x68(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x926d
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x926d
cmpl 0x70(%rsp), %eax
jne 0x9295
jmp 0x942c
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x942c
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x942c
movq 0x48(%rsp), %r15
movq (%r15), %rax
movq %rax, 0x120(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x128(%rsp)
testq %rax, %rax
je 0x92cb
movq 0x4ad0b(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x92c7
incl 0x8(%rax)
jmp 0x92cb
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x120(%rsp), %rsi
callq 0x826b
movq (%r15), %rax
movq %rax, 0xc8(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0xd0(%rsp)
testq %rax, %rax
leaq 0x98(%rsp), %r14
leaq 0x1c0(%rsp), %r15
je 0x9321
movq 0x4acb5(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x931d
incl 0x8(%rax)
jmp 0x9321
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0xd8(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0xe0(%rsp)
testq %rax, %rax
je 0x9353
movq 0x4ac83(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x934f
incl 0x8(%rax)
jmp 0x9353
lock
incl 0x8(%rax)
movl $0x2, %edx
movq %r15, %rdi
leaq 0xc8(%rsp), %rsi
callq 0x826b
movq %r14, %rdi
movq %rbx, %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x17276
leaq 0x278(%rsp), %rdi
movq %r14, %rsi
callq 0xaa18
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x939b
callq 0xe7a2
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x93ad
callq 0xe7a2
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x93bf
callq 0xe7a2
movq 0x1c8(%rsp), %rdi
testq %rdi, %rdi
je 0x93d1
callq 0xe7a2
movl $0x20, %r15d
movq 0xc0(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0x93e9
callq 0xe7a2
addq $-0x10, %r15
jne 0x93d7
movq 0x198(%rsp), %rdi
testq %rdi, %rdi
je 0x9401
callq 0xe7a2
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x9413
callq 0xe7a2
movq %rbp, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %rbp, %rdi
callq 0x1618a
jmp 0x9242
leaq 0x68(%rsp), %r14
movq %r14, %rdi
callq 0xa9e8
movq %rbp, %rdi
callq 0xa9e8
movq %rbp, %rdi
leaq 0xf8(%rsp), %r15
movq %r15, %rsi
xorl %edx, %edx
callq 0x1613e
movq %r14, %rdi
movq %r15, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
leaq 0x98(%rsp), %r15
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x9499
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9499
cmpl 0x70(%rsp), %eax
jne 0x94c1
jmp 0x979c
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x979c
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x979c
movq 0x48(%rsp), %rbp
movq %r15, %rdi
leaq 0xf8(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0xc8(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0xa0(%rsp), %rax
testq %rax, %rax
js 0x9524
movq 0x98(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9524
cmpl 0xd0(%rsp), %eax
jne 0x9552
jmp 0x9769
movslq 0xd0(%rsp), %rax
testq %rax, %rax
js 0x9769
movq 0xc8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9769
movq 0xa8(%rsp), %r15
movq (%rbp), %rax
movq %rax, 0x1c0(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x1c8(%rsp)
testq %rax, %rax
je 0x958c
movq 0x4aa4a(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x9588
incl 0x8(%rax)
jmp 0x958c
lock
incl 0x8(%rax)
movq (%r15), %rax
movq %rax, 0x1d0(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x1d8(%rsp)
testq %rax, %rax
je 0x95bd
movq 0x4aa19(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x95b9
incl 0x8(%rax)
jmp 0x95bd
lock
incl 0x8(%rax)
movl $0x2, %edx
leaq 0x1f0(%rsp), %rdi
leaq 0x1c0(%rsp), %rsi
callq 0x826b
movq (%rbp), %rax
movq %rax, 0x120(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x128(%rsp)
testq %rax, %rax
je 0x9609
movq 0x4a9cd(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x9605
incl 0x8(%rax)
jmp 0x9609
lock
incl 0x8(%rax)
movq (%r15), %rax
movq %rax, 0x130(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x138(%rsp)
testq %rax, %rax
leaq 0x150(%rsp), %r14
je 0x9642
movq 0x4a994(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x963e
incl 0x8(%rax)
jmp 0x9642
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0x140(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0x148(%rsp)
testq %rax, %rax
je 0x9674
movq 0x4a962(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x9670
incl 0x8(%rax)
jmp 0x9674
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %r14, %rdi
leaq 0x120(%rsp), %rsi
callq 0x826b
movq %rbx, %rdi
leaq 0x1f0(%rsp), %rsi
movq %r13, %rdx
movq %r14, %rcx
callq 0x17276
leaq 0x278(%rsp), %rdi
movq %rbx, %rsi
callq 0xaa18
movq 0x1b8(%rsp), %rdi
testq %rdi, %rdi
je 0x96c1
callq 0xe7a2
movq 0x1a8(%rsp), %rdi
testq %rdi, %rdi
je 0x96d3
callq 0xe7a2
movq 0x198(%rsp), %rdi
testq %rdi, %rdi
je 0x96e5
callq 0xe7a2
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0x96f7
callq 0xe7a2
movl $0x30, %r15d
movq 0x118(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0x970f
callq 0xe7a2
addq $-0x10, %r15
jne 0x96fd
movq 0x1f8(%rsp), %rdi
testq %rdi, %rdi
je 0x9727
callq 0xe7a2
movl $0x20, %r15d
movq 0x1b8(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0x973f
callq 0xe7a2
addq $-0x10, %r15
jne 0x972d
leaq 0x98(%rsp), %r15
movq %r15, %rdi
callq 0x171da
incl 0xa0(%rsp)
movq %r15, %rdi
callq 0x1618a
jmp 0x94f0
leaq 0xc8(%rsp), %rdi
callq 0xa9e8
movq %r15, %rdi
callq 0xa9e8
leaq 0x38(%rsp), %rbp
movq %rbp, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %rbp, %rdi
callq 0x1618a
jmp 0x946e
leaq 0x68(%rsp), %r14
movq %r14, %rdi
callq 0xa9e8
movq %rbp, %rdi
callq 0xa9e8
movq %rbp, %rdi
leaq 0xf8(%rsp), %r12
movq %r12, %rsi
xorl %edx, %edx
callq 0x1613e
movq %r14, %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0x9801
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9801
cmpl 0x70(%rsp), %eax
jne 0x9829
jmp 0x9b47
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0x9b47
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9b47
movq 0x48(%rsp), %rbp
movq %r15, %rdi
leaq 0xf8(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0xc8(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0xa0(%rsp), %rax
testq %rax, %rax
js 0x988c
movq 0x98(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x988c
cmpl 0xd0(%rsp), %eax
jne 0x98ba
jmp 0x9b14
movslq 0xd0(%rsp), %rax
testq %rax, %rax
js 0x9b14
movq 0xc8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9b14
movq 0xa8(%rsp), %r15
movq %rbx, %rdi
leaq 0xf8(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x120(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0x198(%rsp), %rax
testq %rax, %rax
js 0x9920
movq 0x190(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9920
cmpl 0x128(%rsp), %eax
jne 0x994e
jmp 0x9adb
movslq 0x128(%rsp), %rax
testq %rax, %rax
js 0x9adb
movq 0x120(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9adb
movq 0x1a0(%rsp), %rax
movq (%rbp), %rcx
movq %rcx, 0x1f0(%rsp)
movq 0x8(%rbp), %rcx
movq %rcx, 0x1f8(%rsp)
testq %rcx, %rcx
je 0x9988
movq 0x4a64e(%rip), %rdx     # 0x53fc8
cmpb $0x0, (%rdx)
je 0x9984
incl 0x8(%rcx)
jmp 0x9988
lock
incl 0x8(%rcx)
movq (%r15), %rcx
movq %rcx, 0x200(%rsp)
movq 0x8(%r15), %rcx
movq %rcx, 0x208(%rsp)
testq %rcx, %rcx
je 0x99b9
movq 0x4a61d(%rip), %rdx     # 0x53fc8
cmpb $0x0, (%rdx)
je 0x99b5
incl 0x8(%rcx)
jmp 0x99b9
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0x210(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x218(%rsp)
testq %rax, %rax
je 0x99ea
movq 0x4a5ec(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0x99e6
incl 0x8(%rax)
jmp 0x99ea
lock
incl 0x8(%rax)
movl $0x3, %edx
leaq 0x150(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x826b
leaq 0x2c8(%rsp), %r14
movq %r14, %rdi
movl $0x4, %esi
callq 0xa867
leaq 0x1c0(%rsp), %r12
movq %r12, %rdi
leaq 0x150(%rsp), %rsi
movq %r13, %rdx
movq %r14, %rcx
callq 0x17276
leaq 0x278(%rsp), %rdi
movq %r12, %rsi
callq 0xaa18
movq 0x1e8(%rsp), %rdi
testq %rdi, %rdi
je 0x9a59
callq 0xe7a2
movq 0x1d8(%rsp), %rdi
testq %rdi, %rdi
je 0x9a6b
callq 0xe7a2
movq 0x1c8(%rsp), %rdi
testq %rdi, %rdi
je 0x9a7d
callq 0xe7a2
movq 0x2d0(%rsp), %rdi
testq %rdi, %rdi
je 0x9a8f
callq 0xe7a2
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0x9aa1
callq 0xe7a2
movl $0x30, %r14d
movq 0x1e8(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0x9ab9
callq 0xe7a2
addq $-0x10, %r14
jne 0x9aa7
movq %rbx, %rdi
callq 0x171da
incl 0x198(%rsp)
movq %rbx, %rdi
callq 0x1618a
jmp 0x98ec
leaq 0x120(%rsp), %rdi
callq 0xa9e8
movq %rbx, %rdi
callq 0xa9e8
leaq 0x98(%rsp), %r15
movq %r15, %rdi
callq 0x171da
incl 0xa0(%rsp)
movq %r15, %rdi
callq 0x1618a
jmp 0x9858
leaq 0xc8(%rsp), %rdi
callq 0xa9e8
movq %r15, %rdi
callq 0xa9e8
leaq 0x38(%rsp), %rbp
movq %rbp, %rdi
callq 0x171da
incl 0x40(%rsp)
movq %rbp, %rdi
callq 0x1618a
jmp 0x97d6
leaq 0x68(%rsp), %r14
movq %r14, %rdi
callq 0xa9e8
movq %rbp, %rdi
callq 0xa9e8
movq %r14, %rdi
movl $0x4, %esi
callq 0xa867
movq %r15, %rdi
movl $0x4, %esi
callq 0xa867
movq %rbp, %rdi
leaq 0x68(%rsp), %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x17276
leaq 0x278(%rsp), %rdi
movq %rbp, %rsi
callq 0xaa18
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
leaq 0x68(%rsp), %r14
je 0x9bad
callq 0xe7a2
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x9bbc
callq 0xe7a2
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x9bcb
callq 0xe7a2
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x9bdd
callq 0xe7a2
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x9bec
callq 0xe7a2
leaq 0x8(%rsp), %r13
movq %r13, %rdi
callq 0x171da
incl 0x10(%rsp)
movq %r13, %rdi
callq 0x1618a
jmp 0x90e6
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x480(%rsp), %rdi
leaq 0x2a0(%rsp), %rsi
callq 0xce94
leaq 0x458(%rsp), %rdi
leaq 0x318(%rsp), %rsi
callq 0xce94
leaq 0x430(%rsp), %rdi
leaq 0x278(%rsp), %rsi
callq 0xd062
leaq 0x408(%rsp), %rdi
leaq 0x340(%rsp), %rsi
callq 0xa69a
leaq 0x480(%rsp), %rdi
leaq 0x458(%rsp), %rsi
leaq 0x430(%rsp), %rdx
leaq 0x408(%rsp), %rcx
callq 0xabcd
leaq 0x418(%rsp), %rbx
movq %rbx, %rdi
callq 0xea8c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9cb8
callq 0xe7a2
leaq 0x440(%rsp), %rbx
movq %rbx, %rdi
callq 0xeada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9cd6
callq 0xe7a2
leaq 0x468(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9cf4
callq 0xe7a2
leaq 0x490(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9d12
callq 0xe7a2
callq 0x7e0f
leaq 0x3e0(%rsp), %rdi
leaq 0x2a0(%rsp), %rsi
callq 0xce94
leaq 0x3b8(%rsp), %rdi
leaq 0x318(%rsp), %rsi
callq 0xce94
leaq 0x390(%rsp), %rdi
leaq 0x278(%rsp), %rsi
callq 0xd062
leaq 0x368(%rsp), %rdi
leaq 0x340(%rsp), %rsi
callq 0xa69a
leaq 0x3e0(%rsp), %rdi
leaq 0x3b8(%rsp), %rsi
leaq 0x390(%rsp), %rdx
leaq 0x368(%rsp), %rcx
callq 0xd28a
leaq 0x378(%rsp), %rbx
movq %rbx, %rdi
callq 0xea8c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9dae
callq 0xe7a2
leaq 0x3a0(%rsp), %rbx
movq %rbx, %rdi
callq 0xeada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9dcc
callq 0xe7a2
leaq 0x3c8(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9dea
callq 0xe7a2
leaq 0x3f0(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9e08
callq 0xe7a2
callq 0x7e0f
leaq 0x350(%rsp), %rbx
movq %rbx, %rdi
callq 0xea8c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9e2b
callq 0xe7a2
leaq 0x288(%rsp), %rbx
movq %rbx, %rdi
callq 0xeada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9e49
callq 0xe7a2
leaq 0x328(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9e67
callq 0xe7a2
leaq 0x2b0(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9e85
callq 0xe7a2
leaq 0x108(%rsp), %rbx
movq %rbx, %rdi
callq 0xea8c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x9ea3
callq 0xe7a2
movq 0x220(%rsp), %rdi
leaq 0x230(%rsp), %rax
cmpq %rax, %rdi
je 0x9ec8
movq 0x230(%rsp), %rsi
incq %rsi
callq 0x7280
xorl %eax, %eax
addq $0x4a8, %rsp            # imm = 0x4A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x368(%rsp), %rdi
callq 0xd230
jmp 0x9ef1
movq %rax, %rbx
leaq 0x390(%rsp), %rdi
callq 0xd24e
jmp 0x9f03
movq %rax, %rbx
leaq 0x3b8(%rsp), %rdi
callq 0xd26c
jmp 0x9f15
movq %rax, %rbx
leaq 0x3e0(%rsp), %rdi
jmp 0x9f60
movq %rax, %rbx
leaq 0x408(%rsp), %rdi
callq 0xd230
jmp 0x9f34
movq %rax, %rbx
leaq 0x430(%rsp), %rdi
callq 0xd24e
jmp 0x9f46
movq %rax, %rbx
leaq 0x458(%rsp), %rdi
callq 0xd26c
jmp 0x9f58
movq %rax, %rbx
leaq 0x480(%rsp), %rdi
callq 0xd26c
jmp 0xa462
jmp 0x9f7e
jmp 0x9fd1
jmp 0x9f7e
jmp 0x9fd1
jmp 0x9f88
jmp 0x9fd1
jmp 0x9f7e
jmp 0x9fd1
jmp 0x9f7e
jmp 0x9fd1
movq %rax, %rbx
jmp 0xa458
jmp 0x9fd1
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xa462
callq 0xe7a2
jmp 0xa462
jmp 0x9fd1
movq %rax, %rbx
jmp 0xa480
movq %rax, %rbx
jmp 0xa4f8
movq %rax, %rbx
movq 0x2f8(%rsp), %rdi
movq %r14, %rax
cmpq %r14, %rdi
jne 0xa50d
jmp 0xa518
movq %rax, %rbx
jmp 0xa462
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0xab9c
jmp 0x9feb
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
jmp 0xa064
jmp 0xa057
jmp 0xa08c
jmp 0xa04f
jmp 0xa08c
jmp 0xa04f
jmp 0xa08c
jmp 0xa04f
movq %rax, %rbx
jmp 0xa039
jmp 0xa08c
jmp 0xa08c
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0xab9c
jmp 0xa027
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0xa039
callq 0xe7a2
movq 0xd0(%rsp), %rdi
jmp 0xa064
jmp 0xa08c
jmp 0xa04f
jmp 0xa08c
jmp 0xa08c
jmp 0xa04f
jmp 0xa08c
movq %rax, %rbx
jmp 0xa441
movq %rax, %rbx
jmp 0xa06e
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xa06e
callq 0xe7a2
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0xa44b
callq 0xe7a2
jmp 0xa44b
jmp 0xa08c
jmp 0xa08c
jmp 0xa08c
movq %rax, %rbx
jmp 0xa44b
jmp 0xa179
jmp 0xa130
jmp 0xa130
jmp 0xa179
movq %rax, %rbx
jmp 0xa0bd
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0xab9c
movq 0x1c8(%rsp), %rdi
testq %rdi, %rdi
je 0xa0d9
callq 0xe7a2
jmp 0xa0d9
movq %rax, %rbx
jmp 0xa109
movq %rax, %rbx
movl $0x20, %r14d
movq 0xc0(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa0f1
callq 0xe7a2
addq $-0x10, %r14
jne 0xa0df
movq 0x198(%rsp), %rdi
testq %rdi, %rdi
je 0xa109
callq 0xe7a2
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0xa437
callq 0xe7a2
jmp 0xa437
jmp 0xa130
jmp 0xa179
jmp 0xa179
jmp 0xa179
jmp 0xa179
jmp 0xa179
movq %rax, %rbx
jmp 0xa42a
movq %rax, %rbx
jmp 0xa152
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xa152
callq 0xe7a2
movl $0x20, %r14d
movq 0x90(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa16a
callq 0xe7a2
addq $-0x10, %r14
jne 0xa158
jmp 0xa437
jmp 0xa179
jmp 0xa179
movq %rax, %rbx
jmp 0xa437
movq %rax, %rbx
jmp 0xa39d
jmp 0xa2bf
movq %rax, %rbx
jmp 0xa1a8
movq %rax, %rbx
jmp 0xa1ef
movq %rax, %rbx
leaq 0x190(%rsp), %rdi
callq 0xab9c
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0xa1bf
callq 0xe7a2
jmp 0xa1bf
movq %rax, %rbx
movl $0x30, %r14d
movq 0x118(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa1d7
callq 0xe7a2
addq $-0x10, %r14
jne 0xa1c5
movq 0x1f8(%rsp), %rdi
testq %rdi, %rdi
je 0xa1ef
callq 0xe7a2
movl $0x20, %r14d
movq 0x1b8(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa207
callq 0xe7a2
addq $-0x10, %r14
jne 0xa1f5
jmp 0xa41d
movq %rax, %rbx
jmp 0xa25d
movq %rax, %rbx
jmp 0xa40b
jmp 0xa2bf
movq %rax, %rbx
jmp 0xa24b
movq %rax, %rbx
jmp 0xa3dd
movq %rax, %rbx
jmp 0xa26f
movq %rax, %rbx
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0xa24b
callq 0xe7a2
movq 0x260(%rsp), %rdi
testq %rdi, %rdi
je 0xa25d
callq 0xe7a2
movq 0x2f0(%rsp), %rdi
testq %rdi, %rdi
je 0xa26f
callq 0xe7a2
movq 0x250(%rsp), %rdi
jmp 0xa413
jmp 0xa2bf
jmp 0xa2bf
movq %rax, %rbx
jmp 0xa29a
movq %rax, %rbx
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0xa29a
callq 0xe7a2
movl $0x30, %r14d
movq 0x188(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa2b2
callq 0xe7a2
addq $-0x10, %r14
jne 0xa2a0
jmp 0xa41d
jmp 0xa2bf
movq %rax, %rbx
jmp 0xa41d
movq %rax, %rbx
jmp 0xa30a
movq %rax, %rbx
jmp 0xa333
movq %rax, %rbx
movq 0x1e8(%rsp), %rdi
testq %rdi, %rdi
je 0xa2e6
callq 0xe7a2
movq 0x1d8(%rsp), %rdi
testq %rdi, %rdi
je 0xa2f8
callq 0xe7a2
movq 0x1c8(%rsp), %rdi
testq %rdi, %rdi
je 0xa30a
callq 0xe7a2
movq 0x2d0(%rsp), %rdi
testq %rdi, %rdi
je 0xa321
callq 0xe7a2
jmp 0xa321
movq %rax, %rbx
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0xa333
callq 0xe7a2
movl $0x30, %r14d
movq 0x1e8(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa34b
callq 0xe7a2
addq $-0x10, %r14
jne 0xa339
jmp 0xa390
movq %rax, %rbx
jmp 0xa36d
movq %rax, %rbx
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0xa36d
callq 0xe7a2
movl $0x30, %r14d
movq 0x1b8(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xa385
callq 0xe7a2
addq $-0x10, %r14
jne 0xa373
jmp 0xa3af
movq %rax, %rbx
leaq 0x120(%rsp), %rdi
callq 0xa9e8
leaq 0x190(%rsp), %rdi
callq 0xa9e8
jmp 0xa41d
movq %rax, %rbx
leaq 0x47cd2(%rip), %rax     # 0x52088
movq %rax, 0x120(%rsp)
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0xa3d0
callq 0xe7a2
leaq 0x120(%rsp), %rdi
callq 0xe84e
leaq 0x47ca4(%rip), %rax     # 0x52088
movq %rax, 0x190(%rsp)
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0xa3fe
callq 0xe7a2
leaq 0x190(%rsp), %rdi
callq 0xe84e
movq 0x1f8(%rsp), %rdi
testq %rdi, %rdi
je 0xa41d
callq 0xe7a2
leaq 0xc8(%rsp), %rdi
callq 0xa9e8
leaq 0x98(%rsp), %rdi
callq 0xa9e8
leaq 0x68(%rsp), %rdi
callq 0xa9e8
leaq 0x38(%rsp), %rdi
callq 0xa9e8
leaq 0x160(%rsp), %rdi
callq 0xa9e8
leaq 0x8(%rsp), %rdi
callq 0xa9e8
leaq 0x350(%rsp), %r14
movq %r14, %rdi
callq 0xea8c
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xa480
callq 0xe7a2
leaq 0x288(%rsp), %r14
movq %r14, %rdi
callq 0xeada
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xa49e
callq 0xe7a2
leaq 0x328(%rsp), %r14
movq %r14, %rdi
callq 0xeb28
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xa4bc
callq 0xe7a2
leaq 0x2b0(%rsp), %r14
movq %r14, %rdi
callq 0xeb28
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xa4da
callq 0xe7a2
leaq 0x108(%rsp), %r14
movq %r14, %rdi
callq 0xea8c
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xa4f8
callq 0xe7a2
leaq 0x230(%rsp), %rax
movq 0x220(%rsp), %rdi
cmpq %rax, %rdi
je 0xa518
movq (%rax), %rsi
incq %rsi
callq 0x7280
movq %rbx, %rdi
callq 0x7430