// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/mintest.cpp
// Function: void minimalize1<lois::elem, lois::term>(lois::lsetof<lois::elem>, lois::lsetof<lois::elem>, lois::lsetof<lois::transition<lois::elem, lois::term>>, lois::lsetof<lois::term>)
void minimalize1(lsetof<State> Q, lsetof<State> F, lsetof<transition<State,Symbol>> delta, lsetof<Symbol> alph) {
  cout << "Q = " << Q << endl;
  cout << "F = " << F << endl;
  cout << "delta = " << delta << endl;
  
  lsetof<State> NF = Q &~ F;
  cout << "NF = " << NF << endl << endl;

  lsetof<lpair<State,State>> eq = (F * F) | (NF * NF);
  
  int it = 0;
  
  lbool cont = true;
  
  While(cont) {
    cout << "eq = " << eq << endl << endl;
    
    lsetof<lpair<State,State>> neq;
    
    for(State q1: Q) for(State q2: Q) If(memberof(make_lpair(q1,q2), eq)) {
      lbool b = true;
      for(Symbol& x: alph) for(auto& t1: delta) for(auto& t2: delta)
        If(t1.src == q1 && t1.symbol == x && t2.src == q2 && t2.symbol == x) {
          If(!memberof(make_lpair(t1.tgt, t2.tgt), eq)) {
            b = ffalse;
            }
          }
      If(b) neq += make_lpair(q1, q2);
      }
    
    If(eq == neq) cont = ffalse;
    eq = neq; it++;
    }

  cout << "number of iterations: " << it << endl << endl;
  
  lsetof<lsetof<State>> classes;
  
  for(State& a: Q) {
    lsetof<State> t;
    for(State& b: Q) If(memberof(make_lpair(a,b), eq)) 
      t += b;
    classes += t;
    }
  
  cout << "unoptimized classes: " << classes << endl;
  classes = optimize(classes);

  cout << "classes: " << classes << endl;  
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x668, %rsp            # imm = 0x668
movq %rcx, %rbp
movq %rdx, %r13
movq %rsi, %rbx
movq %rdi, %r12
movq 0x4a3d7(%rip), %r14     # 0x55fd0
leaq 0x3667a(%rip), %rsi     # 0x4227a
movl $0x4, %edx
movq %r14, %rdi
callq 0x82c0
movq %r12, %rdi
movq %r14, %rsi
callq 0x1bf88
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r15, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x36640(%rip), %rsi     # 0x42289
movl $0x4, %edx
movq %r14, %rdi
callq 0x82c0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1bf88
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r15, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x365ed(%rip), %rsi     # 0x4227f
movl $0x8, %edx
movq %r14, %rdi
callq 0x82c0
movq %r13, 0x160(%rsp)
movq %r13, %rdi
movq %r14, %rsi
callq 0x1cb36
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r14, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x640(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x1ad6a
leaq 0x618(%rsp), %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x1aab5
leaq 0x650(%rsp), %r14
movq %r14, %rdi
callq 0xfada
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xbd20
callq 0xf75e
movq 0x4a2a9(%rip), %rdi     # 0x55fd0
leaq 0x3655a(%rip), %rsi     # 0x42288
movl $0x5, %edx
callq 0x82c0
movq 0x4a291(%rip), %rsi     # 0x55fd0
leaq 0x618(%rsp), %rdi
callq 0x1bf88
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r14, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r14, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x40(%rsp), %rdi
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x1afae
leaq 0x1d0(%rsp), %rdi
leaq 0x618(%rsp), %rdx
movq %rdx, %rsi
callq 0x1afae
leaq 0x4a0(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x1d0(%rsp), %rdx
callq 0x1ade2
leaq 0x1e0(%rsp), %rbx
movq %rbx, %rdi
callq 0x1f93c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xbe00
callq 0xf75e
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0x1f93c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xbe1b
callq 0xf75e
movq %r12, 0x38(%rsp)
leaq 0x450(%rsp), %rdi
movl $0x1, %esi
callq 0x1b2e4
leaq 0x4a52f(%rip), %rdi     # 0x56368
callq 0x2b606
movl %eax, %ebx
leaq 0x4a521(%rip), %rdi     # 0x56368
callq 0x2b609
movl $0x0, 0x1c(%rsp)
movl %ebx, 0x34(%rsp)
cmpb %al, %bl
jne 0xc2f8
movq 0x4a169(%rip), %rdi     # 0x55fd0
leaq 0x36426(%rip), %rsi     # 0x42294
movl $0x16, %edx
callq 0x82c0
movq 0x4a151(%rip), %rdi     # 0x55fd0
movl 0x1c(%rsp), %esi
callq 0x8410
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
xorps %xmm0, %xmm0
leaq 0x118(%rsp), %rdi
movaps %xmm0, -0x8(%rdi)
movaps %xmm0, 0x8(%rdi)
movq $0x0, 0x18(%rdi)
leaq 0x4a45a(%rip), %rcx     # 0x56358
movq (%rcx), %rax
movq %rax, -0x8(%rdi)
leaq 0x8(%rcx), %rsi
movq %rsi, 0x8(%rsp)
callq 0x11046
leaq 0x40(%rsp), %rdi
movq 0x38(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x1d0(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
leaq 0xe0(%rsp), %r12
leaq 0x200(%rsp), %r14
leaq 0x80(%rsp), %rbp
movslq 0x48(%rsp), %rax
testq %rax, %rax
js 0xbf80
movq 0x40(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xbf80
cmpl 0x1d8(%rsp), %eax
setne %al
jmp 0xbfab
movslq 0x1d8(%rsp), %rax
testq %rax, %rax
js 0xd56a
movq 0x1d0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xd56a
movq 0x50(%rsp), %rbx
xorps %xmm0, %xmm0
movaps %xmm0, 0x200(%rsp)
movaps %xmm0, 0x210(%rsp)
movq $0x0, 0x220(%rsp)
leaq 0x4a37a(%rip), %rax     # 0x56358
movq (%rax), %rax
movq %rax, 0x200(%rsp)
leaq 0x208(%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0x11046
movq %r12, %rdi
movq 0x38(%rsp), %r13
movq %r13, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x1a0(%rsp), %rdi
movq %r13, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
movslq 0xe8(%rsp), %rax
testq %rax, %rax
js 0xc054
movq 0xe0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc054
cmpl 0x1a8(%rsp), %eax
setne %al
jmp 0xc07f
movslq 0x1a8(%rsp), %rax
testq %rax, %rax
js 0xc296
movq 0x1a0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xc296
movq 0xf0(%rsp), %r13
movq (%rbx), %rax
movq %rax, 0x240(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x248(%rsp)
testq %rax, %rax
je 0xc0c0
movq 0x49f16(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xc0bc
incl 0x8(%rax)
jmp 0xc0c0
lock
incl 0x8(%rax)
movq (%r13), %rax
movq %rax, 0x230(%rsp)
movq 0x8(%r13), %rax
movq %rax, 0x238(%rsp)
testq %rax, %rax
je 0xc0f2
movq 0x49ee4(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xc0ee
incl 0x8(%rax)
jmp 0xc0f2
lock
incl 0x8(%rax)
movq %rbp, %rdi
leaq 0x240(%rsp), %rsi
leaq 0x230(%rsp), %rdx
callq 0x1b35c
leaq 0x2f8(%rsp), %rdi
leaq 0x4a0(%rsp), %rsi
movq %rbp, %rdx
callq 0x211c0
movq 0x2f8(%rsp), %rcx
movq 0x300(%rsp), %rax
movq %rcx, 0xb0(%rsp)
movq %rax, 0xb8(%rsp)
testq %rax, %rax
je 0xc15c
movq 0x49e7a(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xc158
incl 0x8(%rax)
jmp 0xc15c
lock
incl 0x8(%rax)
movl $0x0, 0xc0(%rsp)
movq 0x300(%rsp), %rdi
testq %rdi, %rdi
je 0xc179
callq 0xf75e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xc18b
callq 0xf75e
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0xc19d
callq 0xf75e
movq 0x238(%rsp), %rdi
testq %rdi, %rdi
je 0xc1af
callq 0xf75e
movq 0x248(%rsp), %rdi
testq %rdi, %rdi
je 0xc1c1
callq 0xf75e
movq %rbp, %rdi
leaq 0xb0(%rsp), %r15
movq %r15, %rsi
callq 0x2b52e
leaq 0x420(%rsp), %rdi
movq %r15, %rsi
callq 0x2b5b9
movl 0xa8(%rsp), %eax
cmpl 0x448(%rsp), %eax
je 0xc211
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xc207
movq %r14, %rdi
movq %r13, %rsi
callq 0xb8de
movq %rbp, %rdi
callq 0x2b51a
jmp 0xc1e4
leaq 0x47e10(%rip), %rax     # 0x54028
movq %rax, 0x420(%rsp)
movq 0x440(%rsp), %rdi
testq %rdi, %rdi
je 0xc232
callq 0xf75e
leaq 0x420(%rsp), %rdi
callq 0xf80a
leaq 0x47de2(%rip), %rax     # 0x54028
movq %rax, 0x80(%rsp)
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0xc260
callq 0xf75e
movq %rbp, %rdi
callq 0xf80a
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0xc27a
callq 0xf75e
movq %r12, %rdi
callq 0x24816
incl 0xe8(%rsp)
movq %r12, %rdi
callq 0x205ba
jmp 0xc022
leaq 0x1a0(%rsp), %rdi
callq 0x1b596
movq %r12, %rdi
callq 0x1b596
leaq 0x110(%rsp), %rdi
movq %r14, %rsi
callq 0x1b90e
leaq 0x210(%rsp), %rdi
callq 0xfada
movq 0x208(%rsp), %rdi
testq %rdi, %rdi
leaq 0x40(%rsp), %rbx
je 0xc2df
callq 0xf75e
movq %rbx, %rdi
callq 0x24816
incl 0x48(%rsp)
movq %rbx, %rdi
callq 0x205ba
jmp 0xbf54
movl $0x0, 0x1c(%rsp)
leaq 0x148(%rsp), %r15
leaq 0x4a049(%rip), %rcx     # 0x56358
addq $0x8, %rcx
movq %rcx, 0x2e0(%rsp)
leaq 0x4a086(%rip), %r14     # 0x563a8
leaq 0x4c8(%rsp), %rbx
leaq 0x470(%rsp), %r12
movq %rbp, 0x2e8(%rsp)
movb %al, 0x1b(%rsp)
movq 0x460(%rsp), %rax
movq 0x468(%rsp), %rdi
testq %rdi, %rdi
je 0xc364
movq 0x49c6e(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xc376
incl 0x8(%rdi)
jmp 0xc37a
movq %rax, 0x148(%rsp)
movq %rdi, 0x150(%rsp)
jmp 0xc3a0
lock
incl 0x8(%rdi)
movq %rax, 0x148(%rsp)
movq %rdi, 0x150(%rsp)
testq %rdi, %rdi
je 0xc3a0
movq 0x49c32(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xc3ad
incl 0x8(%rdi)
jmp 0xc3b1
movl $0x2, 0x158(%rsp)
jmp 0xc3c6
lock
incl 0x8(%rdi)
movl $0x2, 0x158(%rsp)
testq %rdi, %rdi
je 0xc3c6
callq 0xf75e
leaq 0x40(%rsp), %rdi
movq %r15, %rsi
callq 0x2b52e
leaq 0x1d0(%rsp), %rdi
movq %r15, %rsi
callq 0x2b5b9
movl 0x68(%rsp), %eax
cmpl 0x1f8(%rsp), %eax
je 0xd4ea
addl $-0x4, %eax
cmpl $-0x2, %eax
jae 0xc410
movl $0x0, 0x34(%rsp)
leaq 0x40(%rsp), %rdi
callq 0x2b51a
jmp 0xc3e3
movl $0x5, %edx
movq 0x49bb4(%rip), %rdi     # 0x55fd0
leaq 0x35e6b(%rip), %rsi     # 0x4228e
callq 0x82c0
leaq 0x4a0(%rsp), %rdi
movq 0x49b99(%rip), %rsi     # 0x55fd0
callq 0x1f984
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r13, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r13, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
xorps %xmm0, %xmm0
movaps %xmm0, 0x2b0(%rsp)
movaps %xmm0, 0x2c0(%rsp)
movq $0x0, 0x2d0(%rsp)
leaq 0x49ea2(%rip), %rax     # 0x56358
movq (%rax), %rax
movq %rax, 0x2b0(%rsp)
leaq 0x2b8(%rsp), %rdi
movq 0x2e0(%rsp), %rsi
callq 0x11046
leaq 0xe0(%rsp), %rdi
movq 0x38(%rsp), %r15
movq %r15, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x1a0(%rsp), %rdi
movq %r15, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
movslq 0xe8(%rsp), %rax
testq %rax, %rax
js 0xc534
movq 0xe0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc534
cmpl 0x1a8(%rsp), %eax
setne %al
jmp 0xc55f
movslq 0x1a8(%rsp), %rax
testq %rax, %rax
js 0xd352
movq 0x1a0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xd352
movq 0xf0(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0x70(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0xc5a4
movq 0x49a3c(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xc59b
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xc5a4
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x80(%rsp), %rdi
movq 0x38(%rsp), %r15
movq %r15, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x420(%rsp), %rdi
movq %r15, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
movslq 0x88(%rsp), %rax
testq %rax, %rax
js 0xc602
movq 0x80(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc602
cmpl 0x428(%rsp), %eax
setne %al
jmp 0xc62d
movslq 0x428(%rsp), %rax
testq %rax, %rax
js 0xd303
movq 0x420(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xd303
movq 0x90(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0x78(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0xc672
movq 0x4996e(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xc669
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xc672
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
movq 0x70(%rsp), %rax
movq %rax, 0x2a0(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x2a8(%rsp)
testq %rax, %rax
je 0xc6b0
movq 0x49930(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xc6a7
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xc6b0
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq 0x78(%rsp), %rax
movq %rax, 0x290(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x298(%rsp)
testq %rax, %rax
je 0xc6ee
movq 0x498f2(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xc6e5
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xc6ee
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x110(%rsp), %r15
movq %r15, %rdi
leaq 0x2a0(%rsp), %rsi
leaq 0x290(%rsp), %rdx
callq 0x1b35c
leaq 0x3f8(%rsp), %rdi
leaq 0x4a0(%rsp), %rsi
movq %r15, %rdx
callq 0x211c0
movq 0x3f8(%rsp), %rcx
movq 0x400(%rsp), %rax
movq %rcx, 0x408(%rsp)
movq %rax, 0x410(%rsp)
testq %rax, %rax
je 0xc760
movq 0x49876(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xc75c
incl 0x8(%rax)
jmp 0xc760
lock
incl 0x8(%rax)
movl $0x0, 0x418(%rsp)
movq 0x400(%rsp), %rdi
testq %rdi, %rdi
je 0xc77d
callq 0xf75e
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0xc78f
callq 0xf75e
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0xc7a1
callq 0xf75e
movq 0x298(%rsp), %rdi
testq %rdi, %rdi
je 0xc7b3
callq 0xf75e
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0xc7c5
callq 0xf75e
leaq 0x110(%rsp), %rdi
leaq 0x408(%rsp), %r15
movq %r15, %rsi
callq 0x2b52e
leaq 0x200(%rsp), %rdi
movq %r15, %rsi
callq 0x2b5b9
movl 0x138(%rsp), %eax
cmpl 0x228(%rsp), %eax
je 0xd260
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xd24e
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1b2e4
leaq 0xb0(%rsp), %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x17072
leaq 0x3c8(%rsp), %rdi
movq %rbp, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x17072
movslq 0xb8(%rsp), %rax
testq %rax, %rax
js 0xc873
movq 0xb0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc873
cmpl 0x3d0(%rsp), %eax
setne %al
jmp 0xc89e
movslq 0x3d0(%rsp), %rax
testq %rax, %rax
js 0xcfc4
movq 0x3c8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xcfc4
movq 0xc0(%rsp), %rax
movq %rax, 0x168(%rsp)
leaq 0x398(%rsp), %rdi
movq 0x160(%rsp), %r15
movq %r15, %rsi
xorl %edx, %edx
callq 0x216c6
leaq 0x170(%rsp), %rdi
movq %r15, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x216c6
movslq 0x3a0(%rsp), %rax
testq %rax, %rax
js 0xc917
movq 0x398(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc917
cmpl 0x178(%rsp), %eax
setne %al
jmp 0xc942
movslq 0x178(%rsp), %rax
testq %rax, %rax
js 0xcf84
movq 0x170(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xcf84
movq 0x3a8(%rsp), %r15
leaq 0x5b8(%rsp), %rdi
movq 0x160(%rsp), %r13
movq %r13, %rsi
xorl %edx, %edx
callq 0x216c6
leaq 0x5e8(%rsp), %rdi
movq %r13, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x216c6
leaq 0x10(%r15), %rax
movq %rax, 0x2f0(%rsp)
movslq 0x5c0(%rsp), %rax
testq %rax, %rax
js 0xc9bf
movq 0x5b8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc9bf
cmpl 0x5f0(%rsp), %eax
setne %al
jmp 0xc9ea
movslq 0x5f0(%rsp), %rax
testq %rax, %rax
js 0xcf46
movq 0x5e8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xcf46
movq 0x5c8(%rsp), %rbp
movq (%r15), %rsi
movq 0x8(%r15), %rcx
testq %rcx, %rcx
je 0xca1b
movq 0x495bb(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xca17
incl 0x8(%rcx)
jmp 0xca1b
lock
incl 0x8(%rcx)
cmpq $0x0, 0x10(%rsp)
je 0xca42
movq 0x4959e(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xca39
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xca42
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq %rcx, 0x28(%rsp)
movq (%rsi), %rax
leaq 0x340(%rsp), %rdi
movq 0x70(%rsp), %rdx
callq *0x28(%rax)
leaq 0x548(%rsp), %r13
movq %r13, %rdi
movq 0x2f0(%rsp), %rsi
movq 0x168(%rsp), %rdx
callq 0x2e1aa
leaq 0x350(%rsp), %rdi
leaq 0x340(%rsp), %rsi
movq %r13, %rdx
callq 0x2d415
movq (%rbp), %rsi
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0xcab4
movq 0x49522(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xcab0
incl 0x8(%rcx)
jmp 0xcab4
lock
incl 0x8(%rcx)
cmpq $0x0, 0x8(%rsp)
je 0xcadb
movq 0x49505(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xcad2
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xcadb
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
movq %rcx, 0x20(%rsp)
movq (%rsi), %rax
leaq 0x538(%rsp), %r13
movq %r13, %rdi
movq 0x78(%rsp), %rdx
callq *0x28(%rax)
leaq 0x360(%rsp), %rdi
leaq 0x350(%rsp), %rsi
movq %r13, %rdx
callq 0x2d415
leaq 0x10(%rbp), %rsi
leaq 0x528(%rsp), %r13
movq %r13, %rdi
movq 0x168(%rsp), %rdx
callq 0x2e1aa
leaq 0x370(%rsp), %rdi
leaq 0x360(%rsp), %rsi
movq %r13, %rdx
callq 0x2d415
movq 0x370(%rsp), %rcx
movq 0x378(%rsp), %rax
movq %rcx, 0x380(%rsp)
movq %rax, 0x388(%rsp)
testq %rax, %rax
je 0xcb7c
movq 0x4945a(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xcb78
incl 0x8(%rax)
jmp 0xcb7c
lock
incl 0x8(%rax)
movl $0x0, 0x390(%rsp)
movq 0x378(%rsp), %rdi
testq %rdi, %rdi
je 0xcb99
callq 0xf75e
movq 0x530(%rsp), %rdi
testq %rdi, %rdi
je 0xcbab
callq 0xf75e
movq 0x368(%rsp), %rdi
testq %rdi, %rdi
je 0xcbbd
callq 0xf75e
movq 0x540(%rsp), %rdi
testq %rdi, %rdi
je 0xcbcf
callq 0xf75e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xcbde
callq 0xf75e
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xcbed
callq 0xf75e
movq 0x358(%rsp), %rdi
testq %rdi, %rdi
je 0xcbff
callq 0xf75e
movq 0x550(%rsp), %rdi
testq %rdi, %rdi
je 0xcc11
callq 0xf75e
movq 0x348(%rsp), %rdi
testq %rdi, %rdi
je 0xcc23
callq 0xf75e
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xcc32
callq 0xf75e
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0xcc41
callq 0xf75e
leaq 0x4f8(%rsp), %rdi
leaq 0x380(%rsp), %r13
movq %r13, %rsi
callq 0x2b52e
leaq 0x588(%rsp), %rdi
movq %r13, %rsi
callq 0x2b5b9
movl 0x520(%rsp), %eax
cmpl 0x5b0(%rsp), %eax
je 0xceac
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xce9a
movq 0x20(%r15), %rax
movq %rax, 0x280(%rsp)
movq 0x28(%r15), %rax
movq %rax, 0x288(%rsp)
testq %rax, %rax
je 0xccbb
movq 0x4931b(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xccb7
incl 0x8(%rax)
jmp 0xccbb
lock
incl 0x8(%rax)
movq 0x20(%rbp), %rax
movq %rax, 0x270(%rsp)
movq 0x28(%rbp), %rax
movq %rax, 0x278(%rsp)
testq %rax, %rax
je 0xcced
movq 0x492e9(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xcce9
incl 0x8(%rax)
jmp 0xcced
lock
incl 0x8(%rax)
movq %r12, %rdi
leaq 0x280(%rsp), %rsi
leaq 0x270(%rsp), %rdx
callq 0x1b35c
leaq 0x4e8(%rsp), %r13
movq %r13, %rdi
leaq 0x4a0(%rsp), %rsi
movq %r12, %rdx
callq 0x211c0
leaq 0x318(%rsp), %rdi
movq %r13, %rsi
callq 0x2b96d
movq 0x318(%rsp), %rcx
movq 0x320(%rsp), %rax
movq %rcx, 0x328(%rsp)
movq %rax, 0x330(%rsp)
testq %rax, %rax
je 0xcd6a
movq 0x4926c(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xcd66
incl 0x8(%rax)
jmp 0xcd6a
lock
incl 0x8(%rax)
movl $0x0, 0x338(%rsp)
movq 0x320(%rsp), %rdi
testq %rdi, %rdi
je 0xcd87
callq 0xf75e
movq 0x4f0(%rsp), %rdi
testq %rdi, %rdi
je 0xcd99
callq 0xf75e
movq 0x488(%rsp), %rdi
testq %rdi, %rdi
je 0xcdab
callq 0xf75e
movq 0x478(%rsp), %rdi
testq %rdi, %rdi
je 0xcdbd
callq 0xf75e
movq 0x278(%rsp), %rdi
testq %rdi, %rdi
je 0xcdcf
callq 0xf75e
movq 0x288(%rsp), %rdi
testq %rdi, %rdi
je 0xcde1
callq 0xf75e
movq %r12, %rdi
leaq 0x328(%rsp), %r13
movq %r13, %rsi
callq 0x2b52e
leaq 0x558(%rsp), %rdi
movq %r13, %rsi
callq 0x2b5b9
movl 0x498(%rsp), %eax
cmpl 0x580(%rsp), %eax
je 0xce31
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xce27
movq %rbx, %rdi
movq %r14, %rsi
callq 0x107c4
movq %r12, %rdi
callq 0x2b51a
jmp 0xce04
leaq 0x471f0(%rip), %rax     # 0x54028
movq %rax, 0x558(%rsp)
movq 0x578(%rsp), %rdi
testq %rdi, %rdi
je 0xce52
callq 0xf75e
leaq 0x558(%rsp), %rdi
callq 0xf80a
leaq 0x471c2(%rip), %rax     # 0x54028
movq %rax, 0x470(%rsp)
movq 0x490(%rsp), %rdi
testq %rdi, %rdi
je 0xce80
callq 0xf75e
movq %r12, %rdi
callq 0xf80a
movq 0x330(%rsp), %rdi
testq %rdi, %rdi
je 0xce9a
callq 0xf75e
leaq 0x4f8(%rsp), %rdi
callq 0x2b51a
jmp 0xcc69
leaq 0x47175(%rip), %rax     # 0x54028
movq %rax, 0x588(%rsp)
movq 0x5a8(%rsp), %rdi
testq %rdi, %rdi
je 0xcecd
callq 0xf75e
leaq 0x588(%rsp), %rdi
callq 0xf80a
leaq 0x47147(%rip), %rax     # 0x54028
movq %rax, 0x4f8(%rsp)
movq 0x518(%rsp), %rdi
testq %rdi, %rdi
movq 0x2e8(%rsp), %rbp
je 0xcf03
callq 0xf75e
leaq 0x4f8(%rsp), %rdi
callq 0xf80a
movq 0x388(%rsp), %rdi
testq %rdi, %rdi
je 0xcf22
callq 0xf75e
leaq 0x5b8(%rsp), %r13
movq %r13, %rdi
callq 0x2254c
incl 0x5c0(%rsp)
movq %r13, %rdi
callq 0x21712
jmp 0xc98d
leaq 0x5e8(%rsp), %rdi
callq 0x1b41e
leaq 0x5b8(%rsp), %rdi
callq 0x1b41e
leaq 0x398(%rsp), %r15
movq %r15, %rdi
callq 0x2254c
incl 0x3a0(%rsp)
movq %r15, %rdi
callq 0x21712
jmp 0xc8e5
leaq 0x170(%rsp), %rdi
callq 0x1b41e
leaq 0x398(%rsp), %rdi
callq 0x1b41e
leaq 0xb0(%rsp), %rdi
callq 0x1814c
incl 0xb8(%rsp)
leaq 0xb0(%rsp), %rdi
callq 0x170be
jmp 0xc841
leaq 0x3c8(%rsp), %rdi
callq 0xb9f0
leaq 0xb0(%rsp), %rdi
callq 0xb9f0
movq 0x4d8(%rsp), %rax
movq 0x4e0(%rsp), %rdi
testq %rdi, %rdi
je 0xd004
movq 0x48fce(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xd016
incl 0x8(%rdi)
jmp 0xd01a
movq %rax, 0x170(%rsp)
movq %rdi, 0x178(%rsp)
jmp 0xd040
lock
incl 0x8(%rdi)
movq %rax, 0x170(%rsp)
movq %rdi, 0x178(%rsp)
testq %rdi, %rdi
je 0xd040
movq 0x48f92(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xd04d
incl 0x8(%rdi)
jmp 0xd051
movl $0x0, 0x180(%rsp)
jmp 0xd06e
lock
incl 0x8(%rdi)
leaq 0x170(%rsp), %rsi
movl $0x0, 0x180(%rsp)
testq %rdi, %rdi
je 0xd076
callq 0xf75e
leaq 0x170(%rsp), %rsi
leaq 0xb0(%rsp), %rdi
movq %rsi, %r15
callq 0x2b52e
leaq 0x3c8(%rsp), %rdi
movq %r15, %rsi
callq 0x2b5b9
movl 0xd8(%rsp), %eax
cmpl 0x3f0(%rsp), %eax
je 0xd1bc
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xd1aa
movq 0x70(%rsp), %rax
movq %rax, 0x260(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x268(%rsp)
testq %rax, %rax
je 0xd0f4
movq 0x48eec(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xd0eb
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xd0f4
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq 0x78(%rsp), %rax
movq %rax, 0x250(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x258(%rsp)
testq %rax, %rax
je 0xd132
movq 0x48eae(%rip), %rax     # 0x55fc8
cmpb $0x0, (%rax)
je 0xd129
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xd132
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x398(%rsp), %r15
movq %r15, %rdi
leaq 0x260(%rsp), %rsi
leaq 0x250(%rsp), %rdx
callq 0x1b35c
leaq 0x2b0(%rsp), %rdi
movq %r15, %rsi
callq 0x1b44e
movq 0x3b0(%rsp), %rdi
testq %rdi, %rdi
je 0xd174
callq 0xf75e
movq 0x3a0(%rsp), %rdi
testq %rdi, %rdi
je 0xd186
callq 0xf75e
movq 0x258(%rsp), %rdi
testq %rdi, %rdi
je 0xd198
callq 0xf75e
movq 0x268(%rsp), %rdi
testq %rdi, %rdi
je 0xd1aa
callq 0xf75e
leaq 0xb0(%rsp), %rdi
callq 0x2b51a
jmp 0xd096
leaq 0x46e65(%rip), %rax     # 0x54028
movq %rax, 0x3c8(%rsp)
movq 0x3e8(%rsp), %rdi
testq %rdi, %rdi
je 0xd1dd
callq 0xf75e
leaq 0x3c8(%rsp), %rdi
callq 0xf80a
leaq 0x46e37(%rip), %rax     # 0x54028
movq %rax, 0xb0(%rsp)
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xd20b
callq 0xf75e
leaq 0xb0(%rsp), %rdi
callq 0xf80a
movq 0x178(%rsp), %rdi
testq %rdi, %rdi
je 0xd22a
callq 0xf75e
movq 0x4e0(%rsp), %rdi
testq %rdi, %rdi
je 0xd23c
callq 0xf75e
movq 0x4d0(%rsp), %rdi
testq %rdi, %rdi
je 0xd24e
callq 0xf75e
leaq 0x110(%rsp), %rdi
callq 0x2b51a
jmp 0xc7ed
leaq 0x46dc1(%rip), %rax     # 0x54028
movq %rax, 0x200(%rsp)
movq 0x220(%rsp), %rdi
testq %rdi, %rdi
je 0xd281
callq 0xf75e
leaq 0x200(%rsp), %rdi
callq 0xf80a
leaq 0x46d93(%rip), %rax     # 0x54028
movq %rax, 0x110(%rsp)
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0xd2af
callq 0xf75e
leaq 0x110(%rsp), %rdi
callq 0xf80a
movq 0x410(%rsp), %rdi
testq %rdi, %rdi
je 0xd2ce
callq 0xf75e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xd2dd
callq 0xf75e
leaq 0x80(%rsp), %rdi
callq 0x24816
incl 0x88(%rsp)
leaq 0x80(%rsp), %rdi
callq 0x205ba
jmp 0xc5d0
leaq 0x420(%rsp), %rdi
callq 0x1b596
leaq 0x80(%rsp), %rdi
callq 0x1b596
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xd32c
callq 0xf75e
leaq 0xe0(%rsp), %rdi
callq 0x24816
incl 0xe8(%rsp)
leaq 0xe0(%rsp), %rdi
callq 0x205ba
jmp 0xc502
leaq 0x1a0(%rsp), %rdi
callq 0x1b596
leaq 0xe0(%rsp), %rdi
callq 0x1b596
leaq 0x308(%rsp), %rdi
leaq 0x4a0(%rsp), %rsi
leaq 0x2b0(%rsp), %rdx
callq 0x1b5c6
movq 0x308(%rsp), %rcx
movq 0x310(%rsp), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0xd3c3
movq 0x48c13(%rip), %rcx     # 0x55fc8
cmpb $0x0, (%rcx)
je 0xd3bf
incl 0x8(%rax)
jmp 0xd3c3
lock
incl 0x8(%rax)
movl $0x0, 0x90(%rsp)
movq 0x310(%rsp), %rdi
testq %rdi, %rdi
je 0xd3e0
callq 0xf75e
leaq 0xe0(%rsp), %rdi
leaq 0x80(%rsp), %r15
movq %r15, %rsi
callq 0x2b52e
leaq 0x1a0(%rsp), %rdi
movq %r15, %rsi
callq 0x2b5b9
movl 0x108(%rsp), %eax
cmpl 0x1c8(%rsp), %eax
je 0xd43f
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xd430
leaq 0x450(%rsp), %rdi
movq %r14, %rsi
callq 0x107c4
leaq 0xe0(%rsp), %rdi
callq 0x2b51a
jmp 0xd408
leaq 0x46be2(%rip), %rax     # 0x54028
movq %rax, 0x1a0(%rsp)
movq 0x1c0(%rsp), %rdi
testq %rdi, %rdi
je 0xd460
callq 0xf75e
leaq 0x1a0(%rsp), %rdi
callq 0xf80a
leaq 0x46bb4(%rip), %rax     # 0x54028
movq %rax, 0xe0(%rsp)
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0xd48e
callq 0xf75e
leaq 0xe0(%rsp), %rdi
callq 0xf80a
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0xd4ad
callq 0xf75e
leaq 0x4a0(%rsp), %rdi
leaq 0x2b0(%rsp), %rsi
callq 0x1b65a
leaq 0x2c0(%rsp), %rdi
callq 0x1f93c
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xd4e1
callq 0xf75e
incl 0x1c(%rsp)
jmp 0xc404
leaq 0x46b37(%rip), %rax     # 0x54028
movq %rax, 0x1d0(%rsp)
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0xd50b
callq 0xf75e
leaq 0x1d0(%rsp), %rdi
callq 0xf80a
leaq 0x46b09(%rip), %rax     # 0x54028
movq %rax, 0x40(%rsp)
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0xd533
callq 0xf75e
leaq 0x40(%rsp), %rdi
callq 0xf80a
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xd54f
callq 0xf75e
movb 0x1b(%rsp), %al
cmpb %al, 0x34(%rsp)
leaq 0x148(%rsp), %r15
jne 0xc33e
jmp 0xbe60
leaq 0x1d0(%rsp), %rdi
callq 0x1b596
leaq 0x40(%rsp), %rdi
callq 0x1b596
movq 0x48a48(%rip), %rdi     # 0x55fd0
leaq 0x34d1c(%rip), %rsi     # 0x422ab
movl $0x15, %edx
callq 0x82c0
movq 0x48a30(%rip), %rsi     # 0x55fd0
leaq 0x110(%rsp), %rdi
callq 0x277ca
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x40(%rsp), %rdi
leaq 0x110(%rsp), %rsi
callq 0x1ba0a
leaq 0x110(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x1bcb6
leaq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0x29f96
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xd616
callq 0xf75e
movq 0x489b3(%rip), %rdi     # 0x55fd0
leaq 0x34c93(%rip), %rsi     # 0x422b7
movl $0x9, %edx
callq 0x82c0
movq 0x4899b(%rip), %rsi     # 0x55fd0
leaq 0x110(%rsp), %rdi
callq 0x277ca
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x120(%rsp), %rbx
movq %rbx, %rdi
callq 0x29f96
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xd68a
callq 0xf75e
movq 0x468(%rsp), %rdi
testq %rdi, %rdi
je 0xd69c
callq 0xf75e
movq 0x458(%rsp), %rdi
testq %rdi, %rdi
je 0xd6ae
callq 0xf75e
leaq 0x4b0(%rsp), %rbx
movq %rbx, %rdi
callq 0x1f93c
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xd6cc
callq 0xf75e
leaq 0x628(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xd6ea
callq 0xf75e
addq $0x668, %rsp            # imm = 0x668
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xd761
movq %rax, %rbx
jmp 0xd7fa
movq %rax, %rbx
jmp 0xd807
jmp 0xd761
movq %rax, %rbx
jmp 0xdd68
movq %rax, %rbx
jmp 0xdd3f
movq %rax, %rbx
jmp 0xd8cf
movq %rax, %rbx
jmp 0xd8dc
jmp 0xd7ea
movq %rax, %rbx
leaq 0x40(%rsp), %rdi
callq 0x1bf6a
jmp 0xdaec
jmp 0xd8ff
movq %rax, %rbx
jmp 0xdae2
jmp 0xd8ff
movq %rax, %rbx
jmp 0xdd75
movq %rax, %rbx
jmp 0xdd82
movq %rax, %rbx
jmp 0xdd4c
movq %rax, %rbx
jmp 0xdd59
movq %rax, %rbx
jmp 0xddce
movq %rax, %rbx
jmp 0xddf3
movq %rax, %rbx
jmp 0xdcf0
movq %rax, %rbx
jmp 0xdd1e
movq %rax, %rbx
leaq 0x110(%rsp), %rdi
callq 0x1b3fa
jmp 0xd7ae
movq %rax, %rbx
movq 0x298(%rsp), %rdi
testq %rdi, %rdi
je 0xd7c0
callq 0xf75e
movq 0x2a8(%rsp), %rdi
jmp 0xdd26
jmp 0xd8f7
movq %rax, %rbx
jmp 0xdc91
movq %rax, %rbx
jmp 0xdc9e
movq %rax, %rbx
jmp 0xdcc2
movq %rax, %rbx
leaq 0x1a0(%rsp), %rdi
callq 0xb570
leaq 0xe0(%rsp), %rdi
callq 0xb570
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0xdd82
callq 0xf75e
jmp 0xdd82
jmp 0xd8b7
jmp 0xd8b7
movq %rax, %rbx
leaq 0x1d0(%rsp), %rdi
callq 0x1b2c6
jmp 0xd841
movq %rax, %rbx
leaq 0x40(%rsp), %rdi
callq 0x1b2c6
jmp 0xde47
jmp 0xd907
movq %rax, %rbx
leaq 0x640(%rsp), %rdi
callq 0x1adc4
jmp 0xde65
movq %rax, %rbx
leaq 0x398(%rsp), %rdi
callq 0x1b3fa
jmp 0xd87f
movq %rax, %rbx
movq 0x258(%rsp), %rdi
testq %rdi, %rdi
je 0xd891
callq 0xf75e
movq 0x268(%rsp), %rdi
testq %rdi, %rdi
je 0xd8c2
callq 0xf75e
jmp 0xd8c2
movq %rax, %rbx
jmp 0xdc77
jmp 0xd8af
movq %rax, %rbx
jmp 0xdc84
movq %rax, %rbx
jmp 0xde05
movq %rax, %rbx
leaq 0x3c8(%rsp), %rdi
callq 0xb570
leaq 0xb0(%rsp), %rdi
callq 0xb570
movq 0x178(%rsp), %rdi
testq %rdi, %rdi
je 0xdc9e
callq 0xf75e
jmp 0xdc9e
movq %rax, %rbx
jmp 0xdda0
movq %rax, %rbx
jmp 0xdaec
movq %rax, %rbx
jmp 0xde47
jmp 0xd919
movq %rax, %rbx
jmp 0xdabb
movq %rax, %rbx
jmp 0xdac8
movq %rax, %rbx
jmp 0xdad5
movq %rax, %rbx
jmp 0xdc5d
jmp 0xd933
movq %rax, %rbx
jmp 0xdc6a
movq %rax, %rbx
jmp 0xda9c
movq %rax, %rbx
jmp 0xd960
movq %rax, %rbx
jmp 0xda8f
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x1b3fa
movq 0x238(%rsp), %rdi
testq %rdi, %rdi
je 0xd972
callq 0xf75e
movq 0x248(%rsp), %rdi
jmp 0xdaa4
movq %rax, %rbx
jmp 0xdaae
movq %rax, %rbx
jmp 0xda1f
movq %rax, %rbx
jmp 0xdc10
movq %rax, %rbx
jmp 0xd9b9
movq %rax, %rbx
jmp 0xda48
movq %rax, %rbx
movq 0x530(%rsp), %rdi
testq %rdi, %rdi
je 0xd9b9
callq 0xf75e
movq 0x368(%rsp), %rdi
testq %rdi, %rdi
je 0xd9d5
callq 0xf75e
jmp 0xd9d5
movq %rax, %rbx
jmp 0xd9e7
movq %rax, %rbx
movq 0x540(%rsp), %rdi
testq %rdi, %rdi
je 0xd9e7
callq 0xf75e
movq 0x20(%rsp), %rdi
cmpq $0x0, 0x8(%rsp)
je 0xda03
movq 0x8(%rsp), %rdi
callq 0xf75e
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xda0d
callq 0xf75e
movq 0x358(%rsp), %rdi
testq %rdi, %rdi
je 0xda1f
callq 0xf75e
movq 0x550(%rsp), %rdi
testq %rdi, %rdi
je 0xda36
callq 0xf75e
jmp 0xda36
movq %rax, %rbx
movq 0x348(%rsp), %rdi
testq %rdi, %rdi
je 0xda48
callq 0xf75e
movq 0x28(%rsp), %rdi
cmpq $0x0, 0x10(%rsp)
je 0xdc46
movq 0x10(%rsp), %rdi
callq 0xf75e
movq 0x28(%rsp), %rdi
jmp 0xdc46
movq %rax, %rbx
jmp 0xdc3e
movq %rax, %rbx
jmp 0xdc50
jmp 0xda7f
movq %rax, %rbx
leaq 0x420(%rsp), %rdi
callq 0xb570
leaq 0x80(%rsp), %rdi
callq 0xb570
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0xdaae
callq 0xf75e
leaq 0x1a0(%rsp), %rdi
callq 0x1b596
leaq 0xe0(%rsp), %rdi
callq 0x1b596
leaq 0x200(%rsp), %rdi
callq 0xe246
leaq 0x1d0(%rsp), %rdi
callq 0x1b596
leaq 0x40(%rsp), %rdi
callq 0x1b596
leaq 0x110(%rsp), %rdi
callq 0x1bf6a
jmp 0xde05
movq %rax, %rbx
jmp 0xdb25
movq %rax, %rbx
jmp 0xdbd0
movq %rax, %rbx
jmp 0xdb49
movq %rax, %rbx
movq 0x4f0(%rsp), %rdi
testq %rdi, %rdi
je 0xdb25
callq 0xf75e
movq 0x488(%rsp), %rdi
testq %rdi, %rdi
je 0xdb37
callq 0xf75e
movq 0x478(%rsp), %rdi
testq %rdi, %rdi
je 0xdb49
callq 0xf75e
movq 0x278(%rsp), %rdi
testq %rdi, %rdi
je 0xdb5b
callq 0xf75e
movq 0x288(%rsp), %rdi
jmp 0xdbd8
movq %rax, %rbx
jmp 0xdba2
movq %rax, %rbx
jmp 0xdbe2
jmp 0xdb71
movq %rax, %rbx
leaq 0x464ad(%rip), %rax     # 0x54028
movq %rax, 0x558(%rsp)
movq 0x578(%rsp), %rdi
testq %rdi, %rdi
je 0xdb95
callq 0xf75e
leaq 0x558(%rsp), %rdi
callq 0xf80a
leaq 0x4647f(%rip), %rax     # 0x54028
movq %rax, 0x470(%rsp)
movq 0x490(%rsp), %rdi
testq %rdi, %rdi
je 0xdbc3
callq 0xf75e
leaq 0x470(%rsp), %rdi
callq 0xf80a
movq 0x330(%rsp), %rdi
testq %rdi, %rdi
je 0xdbe2
callq 0xf75e
leaq 0x4643f(%rip), %rax     # 0x54028
movq %rax, 0x588(%rsp)
movq 0x5a8(%rsp), %rdi
testq %rdi, %rdi
je 0xdc03
callq 0xf75e
leaq 0x588(%rsp), %rdi
callq 0xf80a
leaq 0x46411(%rip), %rax     # 0x54028
movq %rax, 0x4f8(%rsp)
movq 0x518(%rsp), %rdi
testq %rdi, %rdi
je 0xdc31
callq 0xf75e
leaq 0x4f8(%rsp), %rdi
callq 0xf80a
movq 0x388(%rsp), %rdi
testq %rdi, %rdi
je 0xdc50
callq 0xf75e
leaq 0x5e8(%rsp), %rdi
callq 0x1b41e
leaq 0x5b8(%rsp), %rdi
callq 0x1b41e
leaq 0x170(%rsp), %rdi
callq 0x1b41e
leaq 0x398(%rsp), %rdi
callq 0x1b41e
leaq 0x3c8(%rsp), %rdi
callq 0xb9f0
leaq 0xb0(%rsp), %rdi
callq 0xb9f0
movq 0x4e0(%rsp), %rdi
testq %rdi, %rdi
je 0xdcb0
callq 0xf75e
movq 0x4d0(%rsp), %rdi
testq %rdi, %rdi
je 0xdcc2
callq 0xf75e
leaq 0x4635f(%rip), %rax     # 0x54028
movq %rax, 0x200(%rsp)
movq 0x220(%rsp), %rdi
testq %rdi, %rdi
je 0xdce3
callq 0xf75e
leaq 0x200(%rsp), %rdi
callq 0xf80a
leaq 0x46331(%rip), %rax     # 0x54028
movq %rax, 0x110(%rsp)
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0xdd11
callq 0xf75e
leaq 0x110(%rsp), %rdi
callq 0xf80a
movq 0x410(%rsp), %rdi
testq %rdi, %rdi
je 0xdd30
callq 0xf75e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xdd3f
callq 0xf75e
leaq 0x420(%rsp), %rdi
callq 0x1b596
leaq 0x80(%rsp), %rdi
callq 0x1b596
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xdd68
callq 0xf75e
leaq 0x1a0(%rsp), %rdi
callq 0x1b596
leaq 0xe0(%rsp), %rdi
callq 0x1b596
leaq 0x2c0(%rsp), %r14
movq %r14, %rdi
callq 0x1f93c
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xdda0
callq 0xf75e
leaq 0x46281(%rip), %rax     # 0x54028
movq %rax, 0x1d0(%rsp)
movq 0x1f0(%rsp), %rdi
testq %rdi, %rdi
je 0xddc1
callq 0xf75e
leaq 0x1d0(%rsp), %rdi
callq 0xf80a
leaq 0x46253(%rip), %rax     # 0x54028
movq %rax, 0x40(%rsp)
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0xdde9
callq 0xf75e
leaq 0x40(%rsp), %rdi
callq 0xf80a
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0xde05
callq 0xf75e
movq 0x468(%rsp), %rdi
testq %rdi, %rdi
je 0xde17
callq 0xf75e
movq 0x458(%rsp), %rdi
testq %rdi, %rdi
je 0xde29
callq 0xf75e
leaq 0x4b0(%rsp), %r14
movq %r14, %rdi
callq 0x1f93c
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xde47
callq 0xf75e
leaq 0x628(%rsp), %r14
movq %r14, %rdi
callq 0xfada
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xde65
callq 0xf75e
movq %rbx, %rdi
callq 0x8430
nop