// File: /workspace/github_cpp_makefile_star2_O1/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 $0x4b8, %rsp            # imm = 0x4B8
movq %rsp, %rbx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x83b0
imulq $0xf4240, (%rbx), %rax  # imm = 0xF4240
addq 0x8(%rbx), %rax
movq %rax, 0x4cfaa(%rip)     # 0x562a8
callq 0x3bfe3
leaq 0x38d72(%rip), %rsi     # 0x4207c
movq %rsp, %rbx
movq %rbx, %rdi
callq 0xb614
movups 0x8(%rbx), %xmm0
xorps %xmm1, %xmm1
movups %xmm1, 0x8(%rbx)
leaq 0x4d179(%rip), %rax     # 0x564a0
movq 0x88(%rax), %rdi
movups %xmm0, 0x80(%rax)
testq %rdi, %rdi
je 0x933f
callq 0xf75e
leaq 0x4ad4a(%rip), %rax     # 0x54090
movq %rax, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x9359
callq 0xf75e
leaq 0x310(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3a3d0(%rip), %rsi     # 0x4373c
leaq 0x3a3cd(%rip), %rdx     # 0x43740
leaq 0x300(%rsp), %rbx
movq %rbx, %rdi
callq 0xfb22
leaq 0x228(%rsp), %rax
movq %rax, -0x10(%rax)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0x218(%rsp), %rdi
callq 0xf9ba
movl $0xffffffff, 0x238(%rsp) # imm = 0xFFFFFFFF
movq 0x300(%rsp), %rdi
cmpq %r14, %rdi
je 0x93ce
movq 0x310(%rsp), %rsi
incq %rsi
callq 0x8280
leaq 0xf0(%rsp), %rdi
leaq 0x218(%rsp), %rsi
callq 0x3cc50
xorps %xmm0, %xmm0
leaq 0x278(%rsp), %rdi
movaps %xmm0, -0x8(%rdi)
movaps %xmm0, 0x8(%rdi)
xorl %r14d, %r14d
movq %r14, 0x18(%rdi)
leaq 0x4cf54(%rip), %r15     # 0x56358
movq (%r15), %rax
movq %rax, -0x8(%rdi)
leaq 0x8(%r15), %rbx
movq %rbx, %rsi
callq 0x11046
leaq 0x328(%rsp), %rdi
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%rdi)
movq %r14, 0x18(%rdi)
movaps %xmm0, 0x8(%rdi)
movq (%r15), %rax
movq %rax, -0x8(%rdi)
movq %rbx, %rsi
callq 0x11046
leaq 0x248(%rsp), %rdi
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%rdi)
movq %r14, 0x18(%rdi)
movaps %xmm0, 0x8(%rdi)
movq (%r15), %rax
movq %rax, -0x8(%rdi)
movq %rbx, %rsi
callq 0x11046
leaq 0x350(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0xb6a2
movq %rsp, %rdi
xorl %esi, %esi
callq 0xb86f
leaq 0x270(%rsp), %rdi
movq %rsp, %rsi
callq 0xb8de
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x94a1
callq 0xf75e
movq %rsp, %rdi
leaq 0xf0(%rsp), %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x158(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
leaq 0x30(%rsp), %rbx
leaq 0x60(%rsp), %r14
leaq 0x270(%rsp), %r15
movq %rsp, %r12
movslq 0x8(%rsp), %rax
testq %rax, %rax
js 0x950d
movq (%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x950d
cmpl 0x160(%rsp), %eax
setne %al
jmp 0x9538
movslq 0x160(%rsp), %rax
testq %rax, %rax
js 0x95c2
movq 0x158(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x95c2
movq 0x10(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0x60(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x9570
movq 0x4ca66(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x956c
incl 0x8(%rax)
jmp 0x9570
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x927d
movq %r15, %rdi
movq %rbx, %rsi
callq 0xb8de
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x959a
callq 0xf75e
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x95a9
callq 0xf75e
movq %r12, %rdi
callq 0x1814c
incl 0x8(%rsp)
movq %r12, %rdi
callq 0x170be
jmp 0x94e2
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
movq %rsp, %rdi
leaq 0xf0(%rsp), %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x158(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
leaq 0x30(%rsp), %rbx
leaq 0xc0(%rsp), %r13
leaq 0x90(%rsp), %rbp
leaq 0x270(%rsp), %r14
movslq 0x8(%rsp), %rax
testq %rax, %rax
js 0x9653
movq (%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9653
cmpl 0x160(%rsp), %eax
setne %al
leaq 0xf0(%rsp), %r12
jmp 0x9686
movslq 0x160(%rsp), %rax
testq %rax, %rax
leaq 0xf0(%rsp), %r12
js 0x9801
movq 0x158(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x9801
movq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x60(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0x96db
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x96db
cmpl 0x68(%rsp), %eax
setne %al
jmp 0x9700
movslq 0x68(%rsp), %rax
testq %rax, %rax
js 0x97d3
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x97d3
movq 0x40(%rsp), %rax
movq (%r15), %rcx
movq %rcx, 0x90(%rsp)
movq 0x8(%r15), %rcx
movq %rcx, 0x98(%rsp)
testq %rcx, %rcx
je 0x973e
movq 0x4c898(%rip), %rdx     # 0x55fc8
cmpb $0x0, (%rdx)
je 0x973a
incl 0x8(%rcx)
jmp 0x973e
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0xa0(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0xa8(%rsp)
testq %rax, %rax
je 0x976f
movq 0x4c867(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x976b
incl 0x8(%rax)
jmp 0x976f
lock
incl 0x8(%rax)
movl $0x2, %edx
movq %r13, %rdi
movq %rbp, %rsi
callq 0x927d
movq %r14, %rdi
movq %r13, %rsi
callq 0xb8de
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x979c
callq 0xf75e
movl $0x20, %r12d
movq 0x88(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x97b4
callq 0xf75e
addq $-0x10, %r12
jne 0x97a2
movq %rbx, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %rbx, %rdi
callq 0x170be
jmp 0x96b2
leaq 0x60(%rsp), %rdi
callq 0xb9f0
movq %rbx, %rdi
callq 0xb9f0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1814c
incl 0x8(%rsp)
movq %r15, %rdi
callq 0x170be
jmp 0x9620
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
movq %rsp, %rdi
leaq 0xf0(%rsp), %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x158(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
leaq 0x30(%rsp), %r14
leaq 0x90(%rsp), %r13
leaq 0x118(%rsp), %r15
leaq 0x270(%rsp), %rbp
movslq 0x8(%rsp), %rax
testq %rax, %rax
js 0x9892
movq (%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9892
cmpl 0x160(%rsp), %eax
setne %al
leaq 0xf0(%rsp), %r12
jmp 0x98c5
movslq 0x160(%rsp), %rax
testq %rax, %rax
leaq 0xf0(%rsp), %r12
js 0x9b4b
movq 0x158(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x9b4b
movq 0x10(%rsp), %rbx
movq %r14, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x60(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0x9922
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9922
cmpl 0x68(%rsp), %eax
setne %al
leaq 0xf0(%rsp), %r12
jmp 0x994f
movslq 0x68(%rsp), %rax
testq %rax, %rax
leaq 0xf0(%rsp), %r12
js 0x9b1d
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x9b1d
movq 0x40(%rsp), %r14
movq %r13, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0xc0(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x98(%rsp), %rax
testq %rax, %rax
js 0x99b0
movq 0x90(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x99b0
cmpl 0xc8(%rsp), %eax
setne %al
jmp 0x99db
movslq 0xc8(%rsp), %rax
testq %rax, %rax
js 0x9aea
movq 0xc0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0x9aea
movq 0xa0(%rsp), %rax
movq (%rbx), %rcx
movq %rcx, 0x188(%rsp)
movq 0x8(%rbx), %rcx
movq %rcx, 0x190(%rsp)
testq %rcx, %rcx
je 0x9a1c
movq 0x4c5ba(%rip), %rdx     # 0x55fc8
cmpb $0x0, (%rdx)
je 0x9a18
incl 0x8(%rcx)
jmp 0x9a1c
lock
incl 0x8(%rcx)
movq (%r14), %rcx
movq %rcx, 0x198(%rsp)
movq 0x8(%r14), %rcx
movq %rcx, 0x1a0(%rsp)
testq %rcx, %rcx
je 0x9a4d
movq 0x4c589(%rip), %rdx     # 0x55fc8
cmpb $0x0, (%rdx)
je 0x9a49
incl 0x8(%rcx)
jmp 0x9a4d
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0x1a8(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x1b0(%rsp)
testq %rax, %rax
je 0x9a7e
movq 0x4c558(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x9a7a
incl 0x8(%rax)
jmp 0x9a7e
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %r15, %rdi
leaq 0x188(%rsp), %rsi
callq 0x927d
movq %rbp, %rdi
movq %r15, %rsi
callq 0xb8de
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x9ab0
callq 0xf75e
movl $0x30, %r12d
movq 0x180(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x9ac8
callq 0xf75e
addq $-0x10, %r12
jne 0x9ab6
movq %r13, %rdi
callq 0x1814c
incl 0x98(%rsp)
movq %r13, %rdi
callq 0x170be
jmp 0x997e
leaq 0xc0(%rsp), %rdi
callq 0xb9f0
movq %r13, %rdi
callq 0xb9f0
leaq 0x30(%rsp), %r14
movq %r14, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %r14, %rdi
callq 0x170be
jmp 0x98f1
leaq 0x60(%rsp), %rdi
callq 0xb9f0
movq %r14, %rdi
callq 0xb9f0
movq %rsp, %rbx
movq %rbx, %rdi
callq 0x1814c
incl 0x8(%rsp)
movq %rbx, %rdi
callq 0x170be
jmp 0x985f
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
movq %rsp, %rdi
movl $0x4, %esi
callq 0xb86f
leaq 0x270(%rsp), %rdi
movq %rsp, %rsi
callq 0xb8de
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x9b8c
callq 0xf75e
movq %rsp, %rdi
leaq 0xf0(%rsp), %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x158(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
leaq 0x30(%rsp), %rbx
leaq 0xf0(%rsp), %r12
leaq 0x188(%rsp), %r14
leaq 0x148(%rsp), %rbp
movslq 0x8(%rsp), %rax
testq %rax, %rax
js 0x9c00
movq (%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9c00
cmpl 0x160(%rsp), %eax
setne %al
jmp 0x9c2b
movslq 0x160(%rsp), %rax
testq %rax, %rax
js 0xa089
movq 0x158(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa089
movq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x60(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0x9c80
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9c80
cmpl 0x68(%rsp), %eax
setne %al
jmp 0x9ca5
movslq 0x68(%rsp), %rax
testq %rax, %rax
js 0xa053
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa053
movq 0x40(%rsp), %r13
leaq 0x90(%rsp), %rdi
leaq 0xf0(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0xc0(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x98(%rsp), %rax
testq %rax, %rax
js 0x9d13
movq 0x90(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x9d13
cmpl 0xc8(%rsp), %eax
setne %al
jmp 0x9d3e
movslq 0xc8(%rsp), %rax
testq %rax, %rax
js 0xa01b
movq 0xc0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa01b
movq 0xa0(%rsp), %rbx
leaq 0x2a0(%rsp), %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x2e1aa
leaq 0x2f0(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x2e1aa
leaq 0x2b0(%rsp), %rdi
leaq 0x2a0(%rsp), %rsi
movq %r12, %rdx
callq 0x2d71e
leaq 0x2e0(%rsp), %r12
movq %r12, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x2e1aa
leaq 0x2c0(%rsp), %rdi
leaq 0x2b0(%rsp), %rsi
movq %r12, %rdx
callq 0x2d71e
movq 0x2c0(%rsp), %rcx
movq 0x2c8(%rsp), %rax
movq %rcx, 0x1e8(%rsp)
movq %rax, 0x1f0(%rsp)
testq %rax, %rax
je 0x9df7
movq 0x4c1df(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x9df3
incl 0x8(%rax)
jmp 0x9df7
lock
incl 0x8(%rax)
movl $0x0, 0x1f8(%rsp)
movq 0x2c8(%rsp), %rdi
testq %rdi, %rdi
je 0x9e14
callq 0xf75e
movq 0x2e8(%rsp), %rdi
testq %rdi, %rdi
je 0x9e26
callq 0xf75e
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0x9e38
callq 0xf75e
movq 0x2f8(%rsp), %rdi
testq %rdi, %rdi
je 0x9e4a
callq 0xf75e
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0x9e5c
callq 0xf75e
movq %r14, %rdi
leaq 0x1e8(%rsp), %r12
movq %r12, %rsi
callq 0x2b52e
leaq 0x118(%rsp), %rdi
movq %r12, %rsi
callq 0x2b5b9
movl 0x1b0(%rsp), %eax
cmpl 0x140(%rsp), %eax
je 0x9f95
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0x9f88
movq (%r15), %rax
movq %rax, 0x1b8(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x1c0(%rsp)
testq %rax, %rax
je 0x9ed0
movq 0x4c106(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x9ecc
incl 0x8(%rax)
jmp 0x9ed0
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0x1c8(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0x1d0(%rsp)
testq %rax, %rax
je 0x9f02
movq 0x4c0d4(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x9efe
incl 0x8(%rax)
jmp 0x9f02
lock
incl 0x8(%rax)
movq (%rbx), %rax
movq %rax, 0x1d8(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x1e0(%rsp)
testq %rax, %rax
je 0x9f33
movq 0x4c0a3(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0x9f2f
incl 0x8(%rax)
jmp 0x9f33
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %rbp, %rdi
leaq 0x1b8(%rsp), %rsi
callq 0x927d
leaq 0x320(%rsp), %rdi
movq %rbp, %rsi
callq 0xb8de
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x9f6a
callq 0xf75e
movl $0x30, %r12d
movq 0x1b0(%rsp,%r12), %rdi
testq %rdi, %rdi
je 0x9f82
callq 0xf75e
addq $-0x10, %r12
jne 0x9f70
movq %r14, %rdi
callq 0x2b51a
jmp 0x9e7f
leaq 0x4a08c(%rip), %rbx     # 0x54028
movq %rbx, 0x118(%rsp)
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x9fb6
callq 0xf75e
leaq 0x118(%rsp), %rdi
callq 0xf80a
movq %rbx, 0x188(%rsp)
movq 0x1a8(%rsp), %rdi
testq %rdi, %rdi
je 0x9fdd
callq 0xf75e
movq %r14, %rdi
callq 0xf80a
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0x9ff7
callq 0xf75e
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
callq 0x1814c
incl 0x98(%rsp)
movq %rbx, %rdi
callq 0x170be
jmp 0x9ce1
leaq 0xc0(%rsp), %rdi
callq 0xb9f0
leaq 0x90(%rsp), %rdi
callq 0xb9f0
leaq 0x30(%rsp), %rbx
movq %rbx, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %rbx, %rdi
callq 0x170be
jmp 0x9c57
leaq 0x60(%rsp), %rdi
callq 0xb9f0
movq %rbx, %rdi
callq 0xb9f0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1814c
leaq 0xf0(%rsp), %r12
incl 0x8(%rsp)
movq %r15, %rdi
callq 0x170be
jmp 0x9bd5
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
movq %rsp, %rdi
leaq 0xf0(%rsp), %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x158(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
leaq 0x90(%rsp), %r15
leaq 0x30(%rsp), %rbp
leaq 0x188(%rsp), %rbx
movslq 0x8(%rsp), %rax
testq %rax, %rax
js 0xa10a
movq (%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa10a
cmpl 0x160(%rsp), %eax
setne %al
jmp 0xa135
movslq 0x160(%rsp), %rax
testq %rax, %rax
js 0xac12
movq 0x158(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xac12
movq 0x10(%rsp), %r13
leaq 0x60(%rsp), %rdi
xorl %esi, %esi
callq 0xb86f
movq (%r13), %rax
movq %rax, 0xc0(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0xc8(%rsp)
testq %rax, %rax
je 0xa180
movq 0x4be56(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa17c
incl 0x8(%rax)
jmp 0xa180
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %r15, %rdi
leaq 0xc0(%rsp), %rsi
callq 0x927d
movq %rbp, %rdi
leaq 0x60(%rsp), %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x181e8
leaq 0x240(%rsp), %rdi
movq %rbp, %rsi
callq 0xba20
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0xa1c7
callq 0xf75e
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0xa1d6
callq 0xf75e
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0xa1e5
callq 0xf75e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xa1f7
callq 0xf75e
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0xa209
callq 0xf75e
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0xa218
callq 0xf75e
movq %rbp, %rdi
leaq 0xf0(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x60(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0xa268
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa268
cmpl 0x68(%rsp), %eax
setne %al
jmp 0xa28d
movslq 0x68(%rsp), %rax
testq %rax, %rax
js 0xa434
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa434
movq 0x40(%rsp), %r15
movq (%r15), %rax
movq %rax, 0x118(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x120(%rsp)
testq %rax, %rax
je 0xa2cb
movq 0x4bd0b(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa2c7
incl 0x8(%rax)
jmp 0xa2cb
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x118(%rsp), %rsi
callq 0x927d
movq (%r15), %rax
movq %rax, 0xc0(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0xc8(%rsp)
testq %rax, %rax
leaq 0x90(%rsp), %r14
leaq 0x1b8(%rsp), %r15
je 0xa321
movq 0x4bcb5(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa31d
incl 0x8(%rax)
jmp 0xa321
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0xd0(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0xd8(%rsp)
testq %rax, %rax
je 0xa353
movq 0x4bc83(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa34f
incl 0x8(%rax)
jmp 0xa353
lock
incl 0x8(%rax)
movl $0x2, %edx
movq %r15, %rdi
leaq 0xc0(%rsp), %rsi
callq 0x927d
movq %r14, %rdi
movq %rbx, %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x181e8
leaq 0x240(%rsp), %rdi
movq %r14, %rsi
callq 0xba20
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0xa39b
callq 0xf75e
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0xa3ad
callq 0xf75e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xa3bf
callq 0xf75e
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0xa3d1
callq 0xf75e
movl $0x20, %r15d
movq 0xb8(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0xa3e9
callq 0xf75e
addq $-0x10, %r15
jne 0xa3d7
movq 0x190(%rsp), %rdi
testq %rdi, %rdi
je 0xa401
callq 0xf75e
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
leaq 0x90(%rsp), %r15
je 0xa41b
callq 0xf75e
movq %rbp, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %rbp, %rdi
callq 0x170be
jmp 0xa23f
leaq 0x60(%rsp), %r14
movq %r14, %rdi
callq 0xb9f0
movq %rbp, %rdi
callq 0xb9f0
movq %rbp, %rdi
leaq 0xf0(%rsp), %r12
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
movq %r14, %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0xa497
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa497
cmpl 0x68(%rsp), %eax
setne %al
jmp 0xa4bc
movslq 0x68(%rsp), %rax
testq %rax, %rax
js 0xa7a2
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa7a2
movq 0x40(%rsp), %rbp
movq %r15, %rdi
leaq 0xf0(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0xc0(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x98(%rsp), %rax
testq %rax, %rax
js 0xa525
movq 0x90(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa525
cmpl 0xc8(%rsp), %eax
setne %al
jmp 0xa550
movslq 0xc8(%rsp), %rax
testq %rax, %rax
js 0xa76f
movq 0xc0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xa76f
movq 0xa0(%rsp), %r15
movq (%rbp), %rax
movq %rax, 0x1b8(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x1c0(%rsp)
testq %rax, %rax
je 0xa592
movq 0x4ba44(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa58e
incl 0x8(%rax)
jmp 0xa592
lock
incl 0x8(%rax)
movq (%r15), %rax
movq %rax, 0x1c8(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x1d0(%rsp)
testq %rax, %rax
je 0xa5c3
movq 0x4ba13(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa5bf
incl 0x8(%rax)
jmp 0xa5c3
lock
incl 0x8(%rax)
movl $0x2, %edx
leaq 0x1e8(%rsp), %rdi
leaq 0x1b8(%rsp), %rsi
callq 0x927d
movq (%rbp), %rax
movq %rax, 0x118(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x120(%rsp)
testq %rax, %rax
je 0xa60f
movq 0x4b9c7(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa60b
incl 0x8(%rax)
jmp 0xa60f
lock
incl 0x8(%rax)
movq (%r15), %rax
movq %rax, 0x128(%rsp)
movq 0x8(%r15), %rax
movq %rax, 0x130(%rsp)
testq %rax, %rax
leaq 0x148(%rsp), %r14
je 0xa648
movq 0x4b98e(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa644
incl 0x8(%rax)
jmp 0xa648
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0x138(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0x140(%rsp)
testq %rax, %rax
je 0xa67a
movq 0x4b95c(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa676
incl 0x8(%rax)
jmp 0xa67a
lock
incl 0x8(%rax)
movl $0x3, %edx
movq %r14, %rdi
leaq 0x118(%rsp), %rsi
callq 0x927d
movq %rbx, %rdi
leaq 0x1e8(%rsp), %rsi
movq %r13, %rdx
movq %r14, %rcx
callq 0x181e8
leaq 0x240(%rsp), %rdi
movq %rbx, %rsi
callq 0xba20
movq 0x1b0(%rsp), %rdi
testq %rdi, %rdi
je 0xa6c7
callq 0xf75e
movq 0x1a0(%rsp), %rdi
testq %rdi, %rdi
je 0xa6d9
callq 0xf75e
movq 0x190(%rsp), %rdi
testq %rdi, %rdi
je 0xa6eb
callq 0xf75e
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xa6fd
callq 0xf75e
movl $0x30, %r15d
movq 0x110(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0xa715
callq 0xf75e
addq $-0x10, %r15
jne 0xa703
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0xa72d
callq 0xf75e
movl $0x20, %r15d
movq 0x1b0(%rsp,%r15), %rdi
testq %rdi, %rdi
je 0xa745
callq 0xf75e
addq $-0x10, %r15
jne 0xa733
leaq 0x90(%rsp), %r15
movq %r15, %rdi
callq 0x1814c
incl 0x98(%rsp)
movq %r15, %rdi
callq 0x170be
jmp 0xa4f3
leaq 0xc0(%rsp), %rdi
callq 0xb9f0
movq %r15, %rdi
callq 0xb9f0
leaq 0x30(%rsp), %rbp
movq %rbp, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %rbp, %rdi
callq 0x170be
jmp 0xa46e
leaq 0x60(%rsp), %r14
movq %r14, %rdi
callq 0xb9f0
movq %rbp, %rdi
callq 0xb9f0
movq %rbp, %rdi
leaq 0xf0(%rsp), %r12
movq %r12, %rsi
xorl %edx, %edx
callq 0x17072
movq %r14, %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x38(%rsp), %rax
testq %rax, %rax
js 0xa805
movq 0x30(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa805
cmpl 0x68(%rsp), %eax
setne %al
jmp 0xa82a
movslq 0x68(%rsp), %rax
testq %rax, %rax
js 0xab56
movq 0x60(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xab56
movq 0x40(%rsp), %rbp
movq %r15, %rdi
leaq 0xf0(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0xc0(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x98(%rsp), %rax
testq %rax, %rax
js 0xa893
movq 0x90(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa893
cmpl 0xc8(%rsp), %eax
setne %al
jmp 0xa8be
movslq 0xc8(%rsp), %rax
testq %rax, %rax
js 0xab23
movq 0xc0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xab23
movq 0xa0(%rsp), %r15
movq %rbx, %rdi
leaq 0xf0(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x118(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0x190(%rsp), %rax
testq %rax, %rax
js 0xa92a
movq 0x188(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xa92a
cmpl 0x120(%rsp), %eax
setne %al
jmp 0xa955
movslq 0x120(%rsp), %rax
testq %rax, %rax
js 0xaaea
movq 0x118(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xaaea
movq 0x198(%rsp), %rax
movq (%rbp), %rcx
movq %rcx, 0x1e8(%rsp)
movq 0x8(%rbp), %rcx
movq %rcx, 0x1f0(%rsp)
testq %rcx, %rcx
je 0xa997
movq 0x4b63f(%rip), %rdx     # 0x55fc8
cmpb $0x0, (%rdx)
je 0xa993
incl 0x8(%rcx)
jmp 0xa997
lock
incl 0x8(%rcx)
movq (%r15), %rcx
movq %rcx, 0x1f8(%rsp)
movq 0x8(%r15), %rcx
movq %rcx, 0x200(%rsp)
testq %rcx, %rcx
je 0xa9c8
movq 0x4b60e(%rip), %rdx     # 0x55fc8
cmpb $0x0, (%rdx)
je 0xa9c4
incl 0x8(%rcx)
jmp 0xa9c8
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq %rcx, 0x208(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x210(%rsp)
testq %rax, %rax
je 0xa9f9
movq 0x4b5dd(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xa9f5
incl 0x8(%rax)
jmp 0xa9f9
lock
incl 0x8(%rax)
movl $0x3, %edx
leaq 0x148(%rsp), %rdi
leaq 0x1e8(%rsp), %rsi
callq 0x927d
leaq 0x2d0(%rsp), %r14
movq %r14, %rdi
movl $0x4, %esi
callq 0xb86f
leaq 0x1b8(%rsp), %r12
movq %r12, %rdi
leaq 0x148(%rsp), %rsi
movq %r13, %rdx
movq %r14, %rcx
callq 0x181e8
leaq 0x240(%rsp), %rdi
movq %r12, %rsi
callq 0xba20
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0xaa68
callq 0xf75e
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0xaa7a
callq 0xf75e
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0xaa8c
callq 0xf75e
movq 0x2d8(%rsp), %rdi
testq %rdi, %rdi
je 0xaa9e
callq 0xf75e
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xaab0
callq 0xf75e
movl $0x30, %r14d
movq 0x1e0(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xaac8
callq 0xf75e
addq $-0x10, %r14
jne 0xaab6
movq %rbx, %rdi
callq 0x1814c
incl 0x190(%rsp)
movq %rbx, %rdi
callq 0x170be
jmp 0xa8f8
leaq 0x118(%rsp), %rdi
callq 0xb9f0
movq %rbx, %rdi
callq 0xb9f0
leaq 0x90(%rsp), %r15
movq %r15, %rdi
callq 0x1814c
incl 0x98(%rsp)
movq %r15, %rdi
callq 0x170be
jmp 0xa861
leaq 0xc0(%rsp), %rdi
callq 0xb9f0
movq %r15, %rdi
callq 0xb9f0
leaq 0x30(%rsp), %rbp
movq %rbp, %rdi
callq 0x1814c
incl 0x38(%rsp)
movq %rbp, %rdi
callq 0x170be
jmp 0xa7dc
leaq 0x60(%rsp), %r14
movq %r14, %rdi
callq 0xb9f0
movq %rbp, %rdi
callq 0xb9f0
movq %r14, %rdi
movl $0x4, %esi
callq 0xb86f
movq %r15, %rdi
movl $0x4, %esi
callq 0xb86f
movq %rbp, %rdi
leaq 0x60(%rsp), %rsi
movq %r13, %rdx
movq %r15, %rcx
callq 0x181e8
leaq 0x240(%rsp), %rdi
movq %rbp, %rsi
callq 0xba20
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0xabb7
callq 0xf75e
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0xabc6
callq 0xf75e
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0xabd5
callq 0xf75e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xabe7
callq 0xf75e
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0xabf6
callq 0xf75e
movq %rsp, %r14
movq %r14, %rdi
callq 0x1814c
incl 0x8(%rsp)
movq %r14, %rdi
callq 0x170be
jmp 0xa0df
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
leaq 0x490(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0xde6e
leaq 0x468(%rsp), %rdi
leaq 0x320(%rsp), %rsi
callq 0xde6e
leaq 0x440(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0xe03c
leaq 0x418(%rsp), %rdi
leaq 0x350(%rsp), %rsi
callq 0xb6a2
leaq 0x490(%rsp), %rdi
leaq 0x468(%rsp), %rsi
leaq 0x440(%rsp), %rdx
leaq 0x418(%rsp), %rcx
callq 0xbbd5
leaq 0x428(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa4a
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xacbe
callq 0xf75e
leaq 0x450(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa92
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xacdc
callq 0xf75e
leaq 0x478(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xacfa
callq 0xf75e
leaq 0x4a0(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xad18
callq 0xf75e
callq 0x8e3f
leaq 0x3f0(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0xde6e
leaq 0x3c8(%rsp), %rdi
leaq 0x320(%rsp), %rsi
callq 0xde6e
leaq 0x3a0(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0xe03c
leaq 0x378(%rsp), %rdi
leaq 0x350(%rsp), %rsi
callq 0xb6a2
leaq 0x3f0(%rsp), %rdi
leaq 0x3c8(%rsp), %rsi
leaq 0x3a0(%rsp), %rdx
leaq 0x378(%rsp), %rcx
callq 0xe264
leaq 0x388(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa4a
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xadb4
callq 0xf75e
leaq 0x3b0(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa92
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xadd2
callq 0xf75e
leaq 0x3d8(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xadf0
callq 0xf75e
leaq 0x400(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae0e
callq 0xf75e
callq 0x8e3f
leaq 0x360(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa4a
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae31
callq 0xf75e
leaq 0x250(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa92
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae4f
callq 0xf75e
leaq 0x330(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae6d
callq 0xf75e
leaq 0x280(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae8b
callq 0xf75e
leaq 0x100(%rsp), %rbx
movq %rbx, %rdi
callq 0xfa4a
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xaea9
callq 0xf75e
movq 0x218(%rsp), %rdi
leaq 0x228(%rsp), %rax
cmpq %rax, %rdi
je 0xaece
movq 0x228(%rsp), %rsi
incq %rsi
callq 0x8280
xorl %eax, %eax
addq $0x4b8, %rsp            # imm = 0x4B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x378(%rsp), %rdi
callq 0xe20a
jmp 0xaef7
movq %rax, %rbx
leaq 0x3a0(%rsp), %rdi
callq 0xe228
jmp 0xaf09
movq %rax, %rbx
leaq 0x3c8(%rsp), %rdi
callq 0xe246
jmp 0xaf1b
movq %rax, %rbx
leaq 0x3f0(%rsp), %rdi
jmp 0xaf66
movq %rax, %rbx
leaq 0x418(%rsp), %rdi
callq 0xe20a
jmp 0xaf3a
movq %rax, %rbx
leaq 0x440(%rsp), %rdi
callq 0xe228
jmp 0xaf4c
movq %rax, %rbx
leaq 0x468(%rsp), %rdi
callq 0xe246
jmp 0xaf5e
movq %rax, %rbx
leaq 0x490(%rsp), %rdi
callq 0xe246
jmp 0xb466
jmp 0xaf84
jmp 0xafd7
jmp 0xaf84
jmp 0xafd7
jmp 0xaf8e
jmp 0xafd7
jmp 0xaf84
jmp 0xafd7
jmp 0xaf84
jmp 0xafd7
movq %rax, %rbx
jmp 0xb45e
jmp 0xafd7
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xb466
callq 0xf75e
jmp 0xb466
jmp 0xafd7
movq %rax, %rbx
jmp 0xb484
movq %rax, %rbx
jmp 0xb4fc
movq %rax, %rbx
movq 0x300(%rsp), %rdi
movq %r14, %rax
cmpq %r14, %rdi
jne 0xb511
jmp 0xb51c
movq %rax, %rbx
jmp 0xb466
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xbba4
jmp 0xaff1
movq %rax, %rbx
movq 0x98(%rsp), %rdi
jmp 0xb06a
jmp 0xb05d
jmp 0xb092
jmp 0xb055
jmp 0xb092
jmp 0xb055
jmp 0xb092
jmp 0xb055
movq %rax, %rbx
jmp 0xb03f
jmp 0xb092
jmp 0xb092
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xbba4
jmp 0xb02d
movq %rax, %rbx
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xb03f
callq 0xf75e
movq 0xc8(%rsp), %rdi
jmp 0xb06a
jmp 0xb092
jmp 0xb055
jmp 0xb092
jmp 0xb092
jmp 0xb055
jmp 0xb092
movq %rax, %rbx
jmp 0xb447
movq %rax, %rbx
jmp 0xb074
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0xb074
callq 0xf75e
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0xb451
callq 0xf75e
jmp 0xb451
jmp 0xb092
jmp 0xb092
jmp 0xb092
movq %rax, %rbx
jmp 0xb451
jmp 0xb17f
jmp 0xb136
jmp 0xb136
jmp 0xb17f
movq %rax, %rbx
jmp 0xb0c3
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0xbba4
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0xb0df
callq 0xf75e
jmp 0xb0df
movq %rax, %rbx
jmp 0xb10f
movq %rax, %rbx
movl $0x20, %r14d
movq 0xb8(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb0f7
callq 0xf75e
addq $-0x10, %r14
jne 0xb0e5
movq 0x190(%rsp), %rdi
testq %rdi, %rdi
je 0xb10f
callq 0xf75e
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xb43d
callq 0xf75e
jmp 0xb43d
jmp 0xb136
jmp 0xb17f
jmp 0xb17f
jmp 0xb17f
jmp 0xb17f
jmp 0xb17f
movq %rax, %rbx
jmp 0xb430
movq %rax, %rbx
jmp 0xb158
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0xb158
callq 0xf75e
movl $0x20, %r14d
movq 0x88(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb170
callq 0xf75e
addq $-0x10, %r14
jne 0xb15e
jmp 0xb43d
jmp 0xb17f
jmp 0xb17f
movq %rax, %rbx
jmp 0xb43d
movq %rax, %rbx
jmp 0xb3a3
jmp 0xb2c5
movq %rax, %rbx
jmp 0xb1ae
movq %rax, %rbx
jmp 0xb1f5
movq %rax, %rbx
leaq 0x188(%rsp), %rdi
callq 0xbba4
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xb1c5
callq 0xf75e
jmp 0xb1c5
movq %rax, %rbx
movl $0x30, %r14d
movq 0x110(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb1dd
callq 0xf75e
addq $-0x10, %r14
jne 0xb1cb
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0xb1f5
callq 0xf75e
movl $0x20, %r14d
movq 0x1b0(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb20d
callq 0xf75e
addq $-0x10, %r14
jne 0xb1fb
jmp 0xb423
movq %rax, %rbx
jmp 0xb263
movq %rax, %rbx
jmp 0xb411
jmp 0xb2c5
movq %rax, %rbx
jmp 0xb251
movq %rax, %rbx
jmp 0xb3e3
movq %rax, %rbx
jmp 0xb275
movq %rax, %rbx
movq 0x2e8(%rsp), %rdi
testq %rdi, %rdi
je 0xb251
callq 0xf75e
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xb263
callq 0xf75e
movq 0x2f8(%rsp), %rdi
testq %rdi, %rdi
je 0xb275
callq 0xf75e
movq 0x2a8(%rsp), %rdi
jmp 0xb419
jmp 0xb2c5
jmp 0xb2c5
movq %rax, %rbx
jmp 0xb2a0
movq %rax, %rbx
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xb2a0
callq 0xf75e
movl $0x30, %r14d
movq 0x180(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb2b8
callq 0xf75e
addq $-0x10, %r14
jne 0xb2a6
jmp 0xb423
jmp 0xb2c5
movq %rax, %rbx
jmp 0xb423
movq %rax, %rbx
jmp 0xb310
movq %rax, %rbx
jmp 0xb339
movq %rax, %rbx
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0xb2ec
callq 0xf75e
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0xb2fe
callq 0xf75e
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0xb310
callq 0xf75e
movq 0x2d8(%rsp), %rdi
testq %rdi, %rdi
je 0xb327
callq 0xf75e
jmp 0xb327
movq %rax, %rbx
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xb339
callq 0xf75e
movl $0x30, %r14d
movq 0x1e0(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb351
callq 0xf75e
addq $-0x10, %r14
jne 0xb33f
jmp 0xb396
movq %rax, %rbx
jmp 0xb373
movq %rax, %rbx
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xb373
callq 0xf75e
movl $0x30, %r14d
movq 0x1b0(%rsp,%r14), %rdi
testq %rdi, %rdi
je 0xb38b
callq 0xf75e
addq $-0x10, %r14
jne 0xb379
jmp 0xb3b5
movq %rax, %rbx
leaq 0x118(%rsp), %rdi
callq 0xb9f0
leaq 0x188(%rsp), %rdi
callq 0xb9f0
jmp 0xb423
movq %rax, %rbx
leaq 0x48c6c(%rip), %rax     # 0x54028
movq %rax, 0x118(%rsp)
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0xb3d6
callq 0xf75e
leaq 0x118(%rsp), %rdi
callq 0xf80a
leaq 0x48c3e(%rip), %rax     # 0x54028
movq %rax, 0x188(%rsp)
movq 0x1a8(%rsp), %rdi
testq %rdi, %rdi
je 0xb404
callq 0xf75e
leaq 0x188(%rsp), %rdi
callq 0xf80a
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0xb423
callq 0xf75e
leaq 0xc0(%rsp), %rdi
callq 0xb9f0
leaq 0x90(%rsp), %rdi
callq 0xb9f0
leaq 0x60(%rsp), %rdi
callq 0xb9f0
leaq 0x30(%rsp), %rdi
callq 0xb9f0
leaq 0x158(%rsp), %rdi
callq 0xb9f0
movq %rsp, %rdi
callq 0xb9f0
leaq 0x360(%rsp), %r14
movq %r14, %rdi
callq 0xfa4a
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xb484
callq 0xf75e
leaq 0x250(%rsp), %r14
movq %r14, %rdi
callq 0xfa92
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xb4a2
callq 0xf75e
leaq 0x330(%rsp), %r14
movq %r14, %rdi
callq 0xfada
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xb4c0
callq 0xf75e
leaq 0x280(%rsp), %r14
movq %r14, %rdi
callq 0xfada
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xb4de
callq 0xf75e
leaq 0x100(%rsp), %r14
movq %r14, %rdi
callq 0xfa4a
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xb4fc
callq 0xf75e
leaq 0x228(%rsp), %rax
movq 0x218(%rsp), %rdi
cmpq %rax, %rdi
je 0xb51c
movq (%rax), %rsi
incq %rsi
callq 0x8280
movq %rbx, %rdi
callq 0x8430