// File: /workspace/github_cpp_makefile_star2_O3/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 $0x658, %rsp            # imm = 0x658
movq %rcx, %r13
movq %rdx, %rbp
movq %rsi, %rbx
movq %rdi, %r12
movq 0x493df(%rip), %r14     # 0x53fd0
leaq 0x35682(%rip), %rsi     # 0x4027a
movl $0x4, %edx
movq %r14, %rdi
callq 0x72c0
movq %r12, %rdi
movq %r14, %rsi
callq 0x1affc
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r15, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x35648(%rip), %rsi     # 0x40289
movl $0x4, %edx
movq %r14, %rdi
callq 0x72c0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1affc
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r15, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x355f5(%rip), %rsi     # 0x4027f
movl $0x8, %edx
movq %r14, %rdi
callq 0x72c0
movq %rbp, %rdi
movq %r14, %rsi
callq 0x1bbc4
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x630(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x19df3
leaq 0x608(%rsp), %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x19b31
leaq 0x640(%rsp), %r14
movq %r14, %rdi
callq 0xeb28
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xad10
callq 0xe7a2
movq 0x492b9(%rip), %rdi     # 0x53fd0
leaq 0x3556a(%rip), %rsi     # 0x40288
movl $0x5, %edx
callq 0x72c0
movq 0x492a1(%rip), %rsi     # 0x53fd0
leaq 0x608(%rsp), %rdi
callq 0x1affc
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x68(%rsp), %rdi
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x1a023
leaq 0x198(%rsp), %rdi
leaq 0x608(%rsp), %rdx
movq %rdx, %rsi
callq 0x1a023
leaq 0x490(%rsp), %rdi
leaq 0x68(%rsp), %rsi
leaq 0x198(%rsp), %rdx
callq 0x19e6a
leaq 0x1a8(%rsp), %rbx
movq %rbx, %rdi
callq 0x1e9aa
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xadf0
callq 0xe7a2
leaq 0x78(%rsp), %rbx
movq %rbx, %rdi
callq 0x1e9aa
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xae0b
callq 0xe7a2
leaq 0x418(%rsp), %rdi
movl $0x1, %esi
callq 0x1a34c
leaq 0x49544(%rip), %rdi     # 0x54368
callq 0x2a621
movl %eax, %ebx
movq %rbp, 0x158(%rsp)
movq %r13, 0x2f8(%rsp)
leaq 0x49526(%rip), %rdi     # 0x54368
callq 0x2a624
movl $0x0, 0x1c(%rsp)
movl %ebx, 0x34(%rsp)
cmpb %al, %bl
movq %r12, 0x150(%rsp)
jne 0xb2e4
movq 0x49166(%rip), %rdi     # 0x53fd0
leaq 0x35423(%rip), %rsi     # 0x40294
movl $0x16, %edx
callq 0x72c0
movq 0x4914e(%rip), %rdi     # 0x53fd0
movl 0x1c(%rsp), %esi
callq 0x7410
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x128(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
leaq 0x49460(%rip), %rcx     # 0x54358
movq (%rcx), %rax
movq %rax, -0x8(%rdi)
leaq 0x8(%rcx), %rsi
movq %rsi, 0x8(%rsp)
callq 0x100a2
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1f5f4
leaq 0x198(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1f5f4
leaq 0xf0(%rsp), %r14
leaq 0x2c0(%rsp), %r15
leaq 0x38(%rsp), %r13
movslq 0x70(%rsp), %rax
testq %rax, %rax
js 0xaf74
movq 0x68(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xaf74
cmpl 0x1a0(%rsp), %eax
jne 0xafa2
jmp 0xc598
movslq 0x1a0(%rsp), %rax
testq %rax, %rax
js 0xc598
movq 0x198(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc598
movq 0x78(%rsp), %rbp
leaq 0x2c8(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
leaq 0x49398(%rip), %rax     # 0x54358
movq (%rax), %rax
movq %rax, 0x2c0(%rsp)
movq 0x8(%rsp), %rsi
callq 0x100a2
movq %r14, %r12
movq %r14, %rdi
movq 0x150(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x1f5f4
leaq 0x168(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1f5f4
movslq 0xf8(%rsp), %rax
testq %rax, %rax
js 0xb036
movq 0xf0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb036
cmpl 0x170(%rsp), %eax
jne 0xb064
jmp 0xb27f
movslq 0x170(%rsp), %rax
testq %rax, %rax
js 0xb27f
movq 0x168(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb27f
movq 0x100(%rsp), %rbx
movq (%rbp), %rax
movq %rax, 0x250(%rsp)
movq 0x8(%rbp), %rax
movq %rax, 0x258(%rsp)
testq %rax, %rax
je 0xb09e
movq 0x48f38(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xb09a
incl 0x8(%rax)
jmp 0xb09e
lock
incl 0x8(%rax)
movq (%rbx), %rax
movq %rax, 0x240(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x248(%rsp)
testq %rax, %rax
je 0xb0cf
movq 0x48f07(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xb0cb
incl 0x8(%rax)
jmp 0xb0cf
lock
incl 0x8(%rax)
movq %r13, %rdi
leaq 0x250(%rsp), %rsi
leaq 0x240(%rsp), %rdx
callq 0x1a3c4
leaq 0x308(%rsp), %rdi
leaq 0x490(%rsp), %rsi
movq %r13, %rdx
callq 0x20232
movq 0x308(%rsp), %rax
movq 0x310(%rsp), %rdi
movq %rax, 0xa8(%rsp)
movq %rdi, 0xb0(%rsp)
testq %rdi, %rdi
je 0xb140
movq 0x48e9d(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb14d
incl 0x8(%rdi)
movl $0x0, 0xb8(%rsp)
jmp 0xb169
movl $0x0, 0xb8(%rsp)
jmp 0xb16e
lock
incl 0x8(%rdi)
movq 0x310(%rsp), %rdi
movl $0x0, 0xb8(%rsp)
testq %rdi, %rdi
je 0xb16e
callq 0xe7a2
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0xb17d
callq 0xe7a2
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xb18c
callq 0xe7a2
movq 0x248(%rsp), %rdi
testq %rdi, %rdi
je 0xb19e
callq 0xe7a2
movq 0x258(%rsp), %rdi
testq %rdi, %rdi
je 0xb1b0
callq 0xe7a2
movq %r13, %rdi
leaq 0xa8(%rsp), %r14
movq %r14, %rsi
callq 0x2a54c
leaq 0x3e8(%rsp), %rdi
movq %r14, %rsi
callq 0x2a5d3
movl 0x60(%rsp), %eax
cmpl 0x410(%rsp), %eax
je 0xb1fd
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xb1f3
movq %r15, %rdi
movq %rbx, %rsi
callq 0xa8d6
movq %r13, %rdi
callq 0x2a538
jmp 0xb1d3
leaq 0x46e84(%rip), %rax     # 0x52088
movq %rax, 0x3e8(%rsp)
movq 0x408(%rsp), %rdi
testq %rdi, %rdi
je 0xb21e
callq 0xe7a2
leaq 0x3e8(%rsp), %rdi
callq 0xe84e
leaq 0x46e56(%rip), %rax     # 0x52088
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0xb246
callq 0xe7a2
movq %r13, %rdi
callq 0xe84e
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0xb260
callq 0xe7a2
movq %r12, %rbx
movq %r12, %rdi
callq 0x2383a
incl 0xf8(%rsp)
movq %rbx, %rdi
callq 0x1f640
jmp 0xb002
leaq 0x168(%rsp), %rdi
callq 0x1a5fe
movq %r12, %r14
movq %r12, %rdi
callq 0x1a5fe
leaq 0x120(%rsp), %rdi
movq %r15, %rsi
callq 0x1a976
leaq 0x2d0(%rsp), %rdi
callq 0xeb28
movq 0x2c8(%rsp), %rdi
testq %rdi, %rdi
leaq 0x68(%rsp), %rbx
je 0xb2cb
callq 0xe7a2
movq %rbx, %rdi
callq 0x2383a
incl 0x70(%rsp)
movq %rbx, %rdi
callq 0x1f640
jmp 0xaf46
movl $0x0, 0x1c(%rsp)
leaq 0xd8(%rsp), %r14
leaq 0x4905d(%rip), %rcx     # 0x54358
addq $0x8, %rcx
movq %rcx, 0x2f0(%rsp)
leaq 0x4909a(%rip), %r15     # 0x543a8
leaq 0x4b8(%rsp), %rbx
leaq 0x438(%rsp), %r13
movb %al, 0x1b(%rsp)
movq 0x428(%rsp), %rax
movq 0x430(%rsp), %rdi
testq %rdi, %rdi
je 0xb358
movq 0x48c8a(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xb379
incl 0x8(%rdi)
movq %rax, 0xd8(%rsp)
movq %rdi, 0xe0(%rsp)
jmp 0xb396
movq %rax, 0xd8(%rsp)
movq $0x0, 0xe0(%rsp)
movl $0x2, 0xe8(%rsp)
jmp 0xb3a9
lock
incl 0x8(%rdi)
cmpb $0x0, (%rcx)
movq %rax, 0xd8(%rsp)
movq %rdi, 0xe0(%rsp)
je 0xc50c
incl 0x8(%rdi)
movl $0x2, 0xe8(%rsp)
callq 0xe7a2
leaq 0x68(%rsp), %rdi
movq %r14, %rsi
callq 0x2a54c
leaq 0x198(%rsp), %rdi
movq %r14, %rsi
callq 0x2a5d3
movl 0x90(%rsp), %eax
cmpl 0x1c0(%rsp), %eax
je 0xc515
addl $-0x4, %eax
cmpl $-0x2, %eax
jae 0xb3f6
movl $0x0, 0x34(%rsp)
leaq 0x68(%rsp), %rdi
callq 0x2a538
jmp 0xb3c6
movl $0x5, %edx
movq 0x48bce(%rip), %rdi     # 0x53fd0
leaq 0x34e85(%rip), %rsi     # 0x4028e
callq 0x72c0
leaq 0x490(%rsp), %rdi
movq 0x48bb3(%rip), %rsi     # 0x53fd0
callq 0x1e9f8
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x470(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, (%rdi)
leaq 0x48ec9(%rip), %rax     # 0x54358
movq (%rax), %rax
movq %rax, 0x468(%rsp)
movq 0x2f0(%rsp), %rsi
callq 0x100a2
leaq 0xf0(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1f5f4
leaq 0x168(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1f5f4
movslq 0xf8(%rsp), %rax
testq %rax, %rax
js 0xb502
movq 0xf0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb502
cmpl 0x170(%rsp), %eax
jne 0xb530
jmp 0xc36c
movslq 0x170(%rsp), %rax
testq %rax, %rax
js 0xc36c
movq 0x168(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc36c
movq 0x100(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0x98(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0xb570
movq 0x48a70(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb567
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xb570
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x38(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1f5f4
leaq 0x3e8(%rsp), %rdi
movq %r12, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1f5f4
movslq 0x40(%rsp), %rax
testq %rax, %rax
js 0xb5c2
movq 0x38(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb5c2
cmpl 0x3f0(%rsp), %eax
jne 0xb5f0
jmp 0xc320
movslq 0x3f0(%rsp), %rax
testq %rax, %rax
js 0xc320
movq 0x3e8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xc320
movq 0x48(%rsp), %rax
movq (%rax), %rcx
movq %rcx, 0xa0(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0xb62d
movq 0x489b3(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb624
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xb62d
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
movq 0x98(%rsp), %rax
movq %rax, 0x2b0(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x2b8(%rsp)
testq %rax, %rax
je 0xb66e
movq 0x48972(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb665
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xb66e
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq 0xa0(%rsp), %rax
movq %rax, 0x2a0(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x2a8(%rsp)
testq %rax, %rax
je 0xb6af
movq 0x48931(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb6a6
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xb6af
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x120(%rsp), %r14
movq %r14, %rdi
leaq 0x2b0(%rsp), %rsi
leaq 0x2a0(%rsp), %rdx
callq 0x1a3c4
leaq 0x3d8(%rsp), %rdi
leaq 0x490(%rsp), %rsi
movq %r14, %rdx
callq 0x20232
movq 0x3d8(%rsp), %rax
movq 0x3e0(%rsp), %rdi
movq %rax, 0x228(%rsp)
movq %rdi, 0x230(%rsp)
testq %rdi, %rdi
je 0xb728
movq 0x488b5(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb735
incl 0x8(%rdi)
movl $0x0, 0x238(%rsp)
jmp 0xb751
movl $0x0, 0x238(%rsp)
jmp 0xb756
lock
incl 0x8(%rdi)
movq 0x3e0(%rsp), %rdi
movl $0x0, 0x238(%rsp)
testq %rdi, %rdi
je 0xb756
callq 0xe7a2
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0xb768
callq 0xe7a2
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0xb77a
callq 0xe7a2
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0xb78c
callq 0xe7a2
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xb79e
callq 0xe7a2
leaq 0x120(%rsp), %rdi
leaq 0x228(%rsp), %r14
movq %r14, %rsi
callq 0x2a54c
leaq 0x2c0(%rsp), %rdi
movq %r14, %rsi
callq 0x2a5d3
movl 0x148(%rsp), %eax
cmpl 0x2e8(%rsp), %eax
je 0xc286
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xc26b
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1a34c
leaq 0xa8(%rsp), %rdi
movq 0x2f8(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x1613e
leaq 0x3a8(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x1613e
movslq 0xb0(%rsp), %rax
testq %rax, %rax
js 0xb856
movq 0xa8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb856
cmpl 0x3b0(%rsp), %eax
jne 0xb884
jmp 0xbfe4
movslq 0x3b0(%rsp), %rax
testq %rax, %rax
js 0xbfe4
movq 0x3a8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xbfe4
movq 0xb8(%rsp), %rax
movq %rax, 0x160(%rsp)
leaq 0x378(%rsp), %rdi
movq 0x158(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x20736
leaq 0x1c8(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x20736
movslq 0x380(%rsp), %rax
testq %rax, %rax
js 0xb902
movq 0x378(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb902
cmpl 0x1d0(%rsp), %eax
leaq 0x548(%rsp), %rdi
jne 0xb938
jmp 0xbfa1
movslq 0x1d0(%rsp), %rax
testq %rax, %rax
leaq 0x548(%rsp), %rdi
js 0xbfa1
movq 0x1c8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xbfa1
movq 0x388(%rsp), %r12
movq 0x158(%rsp), %r14
movq %r14, %rsi
xorl %edx, %edx
callq 0x20736
leaq 0x5d8(%rsp), %rdi
movq %r14, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x20736
leaq 0x10(%r12), %rax
movq %rax, 0x300(%rsp)
movslq 0x550(%rsp), %rax
testq %rax, %rax
js 0xb9a8
movq 0x548(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xb9a8
cmpl 0x5e0(%rsp), %eax
jne 0xb9d6
jmp 0xbf5b
movslq 0x5e0(%rsp), %rax
testq %rax, %rax
js 0xbf5b
movq 0x5d8(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xbf5b
movq 0x558(%rsp), %r14
movq (%r12), %rsi
movq 0x8(%r12), %rcx
testq %rcx, %rcx
je 0xba01
movq 0x485d5(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xb9fd
incl 0x8(%rcx)
jmp 0xba01
lock
incl 0x8(%rcx)
cmpq $0x0, 0x10(%rsp)
je 0xba28
movq 0x485b8(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xba1f
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xba28
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq %rcx, 0x28(%rsp)
movq (%rsi), %rax
leaq 0x338(%rsp), %rdi
movq 0x98(%rsp), %rdx
callq *0x28(%rax)
leaq 0x538(%rsp), %rbp
movq %rbp, %rdi
movq 0x300(%rsp), %rsi
movq 0x160(%rsp), %rdx
callq 0x2d0f2
leaq 0x348(%rsp), %rdi
leaq 0x338(%rsp), %rsi
movq %rbp, %rdx
callq 0x2c3bf
movq (%r14), %rsi
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0xba9c
movq 0x4853a(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xba98
incl 0x8(%rcx)
jmp 0xba9c
lock
incl 0x8(%rcx)
cmpq $0x0, 0x8(%rsp)
je 0xbac3
movq 0x4851d(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xbaba
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xbac3
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
movq %rcx, 0x20(%rsp)
movq (%rsi), %rax
leaq 0x528(%rsp), %rbp
movq %rbp, %rdi
movq 0xa0(%rsp), %rdx
callq *0x28(%rax)
leaq 0x358(%rsp), %rdi
leaq 0x348(%rsp), %rsi
movq %rbp, %rdx
callq 0x2c3bf
leaq 0x10(%r14), %rsi
leaq 0x518(%rsp), %rbp
movq %rbp, %rdi
movq 0x160(%rsp), %rdx
callq 0x2d0f2
leaq 0x368(%rsp), %rdi
leaq 0x358(%rsp), %rsi
movq %rbp, %rdx
callq 0x2c3bf
movq 0x368(%rsp), %rax
movq 0x370(%rsp), %rdi
movq %rax, 0x210(%rsp)
movq %rdi, 0x218(%rsp)
testq %rdi, %rdi
je 0xbb6e
movq 0x4846f(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xbb7b
incl 0x8(%rdi)
movl $0x0, 0x220(%rsp)
jmp 0xbb97
movl $0x0, 0x220(%rsp)
jmp 0xbb9c
lock
incl 0x8(%rdi)
movq 0x370(%rsp), %rdi
movl $0x0, 0x220(%rsp)
testq %rdi, %rdi
je 0xbb9c
callq 0xe7a2
movq 0x520(%rsp), %rdi
testq %rdi, %rdi
je 0xbbae
callq 0xe7a2
movq 0x360(%rsp), %rdi
testq %rdi, %rdi
je 0xbbc0
callq 0xe7a2
movq 0x530(%rsp), %rdi
testq %rdi, %rdi
je 0xbbd2
callq 0xe7a2
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xbbe1
callq 0xe7a2
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xbbf0
callq 0xe7a2
movq 0x350(%rsp), %rdi
testq %rdi, %rdi
je 0xbc02
callq 0xe7a2
movq 0x540(%rsp), %rdi
testq %rdi, %rdi
je 0xbc14
callq 0xe7a2
movq 0x340(%rsp), %rdi
testq %rdi, %rdi
je 0xbc26
callq 0xe7a2
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xbc35
callq 0xe7a2
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0xbc44
callq 0xe7a2
leaq 0x4e8(%rsp), %rdi
leaq 0x210(%rsp), %rbp
movq %rbp, %rsi
callq 0x2a54c
leaq 0x5a8(%rsp), %rdi
movq %rbp, %rsi
callq 0x2a5d3
movl 0x510(%rsp), %eax
cmpl 0x5d0(%rsp), %eax
je 0xbec9
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xbeb7
movq 0x20(%r12), %rax
movq %rax, 0x290(%rsp)
movq 0x28(%r12), %rax
movq %rax, 0x298(%rsp)
testq %rax, %rax
je 0xbcc0
movq 0x48316(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xbcbc
incl 0x8(%rax)
jmp 0xbcc0
lock
incl 0x8(%rax)
movq 0x20(%r14), %rax
movq %rax, 0x280(%rsp)
movq 0x28(%r14), %rax
movq %rax, 0x288(%rsp)
testq %rax, %rax
je 0xbcf2
movq 0x482e4(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xbcee
incl 0x8(%rax)
jmp 0xbcf2
lock
incl 0x8(%rax)
movq %r13, %rdi
leaq 0x290(%rsp), %rsi
leaq 0x280(%rsp), %rdx
callq 0x1a3c4
leaq 0x4d8(%rsp), %rbp
movq %rbp, %rdi
leaq 0x490(%rsp), %rsi
movq %r13, %rdx
callq 0x20232
leaq 0x328(%rsp), %rdi
movq %rbp, %rsi
callq 0x2a989
movq 0x328(%rsp), %rax
movq 0x330(%rsp), %rdi
movq %rax, 0x1f8(%rsp)
movq %rdi, 0x200(%rsp)
testq %rdi, %rdi
je 0xbd76
movq 0x48267(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xbd83
incl 0x8(%rdi)
movl $0x0, 0x208(%rsp)
jmp 0xbd9f
movl $0x0, 0x208(%rsp)
jmp 0xbda4
lock
incl 0x8(%rdi)
movq 0x330(%rsp), %rdi
movl $0x0, 0x208(%rsp)
testq %rdi, %rdi
je 0xbda4
callq 0xe7a2
movq 0x4e0(%rsp), %rdi
testq %rdi, %rdi
je 0xbdb6
callq 0xe7a2
movq 0x450(%rsp), %rdi
testq %rdi, %rdi
je 0xbdc8
callq 0xe7a2
movq 0x440(%rsp), %rdi
testq %rdi, %rdi
je 0xbdda
callq 0xe7a2
movq 0x288(%rsp), %rdi
testq %rdi, %rdi
je 0xbdec
callq 0xe7a2
movq 0x298(%rsp), %rdi
testq %rdi, %rdi
je 0xbdfe
callq 0xe7a2
movq %r13, %rdi
leaq 0x1f8(%rsp), %rbp
movq %rbp, %rsi
callq 0x2a54c
leaq 0x578(%rsp), %rdi
movq %rbp, %rsi
callq 0x2a5d3
movl 0x460(%rsp), %eax
cmpl 0x5a0(%rsp), %eax
je 0xbe4e
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xbe44
movq %rbx, %rdi
movq %r15, %rsi
callq 0xf826
movq %r13, %rdi
callq 0x2a538
jmp 0xbe21
leaq 0x46233(%rip), %rax     # 0x52088
movq %rax, 0x578(%rsp)
movq 0x598(%rsp), %rdi
testq %rdi, %rdi
je 0xbe6f
callq 0xe7a2
leaq 0x578(%rsp), %rdi
callq 0xe84e
leaq 0x46205(%rip), %rax     # 0x52088
movq %rax, 0x438(%rsp)
movq 0x458(%rsp), %rdi
testq %rdi, %rdi
je 0xbe9d
callq 0xe7a2
movq %r13, %rdi
callq 0xe84e
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0xbeb7
callq 0xe7a2
leaq 0x4e8(%rsp), %rdi
callq 0x2a538
jmp 0xbc6c
leaq 0x461b8(%rip), %rax     # 0x52088
movq %rax, 0x5a8(%rsp)
movq 0x5c8(%rsp), %rdi
testq %rdi, %rdi
je 0xbeea
callq 0xe7a2
leaq 0x5a8(%rsp), %rdi
callq 0xe84e
leaq 0x4618a(%rip), %rax     # 0x52088
movq %rax, 0x4e8(%rsp)
movq 0x508(%rsp), %rdi
testq %rdi, %rdi
je 0xbf18
callq 0xe7a2
leaq 0x4e8(%rsp), %rdi
callq 0xe84e
movq 0x218(%rsp), %rdi
testq %rdi, %rdi
je 0xbf37
callq 0xe7a2
leaq 0x548(%rsp), %r14
movq %r14, %rdi
callq 0x2158e
incl 0x550(%rsp)
movq %r14, %rdi
callq 0x20782
jmp 0xb974
leaq 0x5d8(%rsp), %rdi
callq 0x1a486
leaq 0x548(%rsp), %rdi
callq 0x1a486
leaq 0x378(%rsp), %r14
movq %r14, %rdi
callq 0x2158e
leaq 0x1c8(%rsp), %r12
incl 0x380(%rsp)
movq %r14, %rdi
callq 0x20782
jmp 0xb8c6
movq %r12, %rdi
callq 0x1a486
leaq 0x378(%rsp), %rdi
callq 0x1a486
leaq 0xa8(%rsp), %rdi
callq 0x171da
movq 0x150(%rsp), %r12
incl 0xb0(%rsp)
leaq 0xa8(%rsp), %rdi
callq 0x1618a
jmp 0xb822
leaq 0x3a8(%rsp), %rdi
callq 0xa9e8
leaq 0xa8(%rsp), %rdi
callq 0xa9e8
movq 0x4c8(%rsp), %rax
movq 0x4d0(%rsp), %rdi
testq %rdi, %rdi
je 0xc034
movq 0x47fae(%rip), %rcx     # 0x53fc8
cmpb $0x0, (%rcx)
je 0xc055
incl 0x8(%rdi)
movq %rax, 0x1c8(%rsp)
movq %rdi, 0x1d0(%rsp)
jmp 0xc072
movq %rax, 0x1c8(%rsp)
movq $0x0, 0x1d0(%rsp)
movl $0x0, 0x1d8(%rsp)
jmp 0xc085
lock
incl 0x8(%rdi)
cmpb $0x0, (%rcx)
movq %rax, 0x1c8(%rsp)
movq %rdi, 0x1d0(%rsp)
je 0xc27d
incl 0x8(%rdi)
movl $0x0, 0x1d8(%rsp)
callq 0xe7a2
leaq 0xa8(%rsp), %rdi
leaq 0x1c8(%rsp), %r14
movq %r14, %rsi
callq 0x2a54c
leaq 0x3a8(%rsp), %rdi
movq %r14, %rsi
callq 0x2a5d3
movl 0xd0(%rsp), %eax
cmpl 0x3d0(%rsp), %eax
je 0xc1d9
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xc1c7
movq 0x98(%rsp), %rax
movq %rax, 0x270(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x278(%rsp)
testq %rax, %rax
je 0xc10e
movq 0x47ed2(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xc105
movq 0x10(%rsp), %rax
incl 0x8(%rax)
jmp 0xc10e
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
movq 0xa0(%rsp), %rax
movq %rax, 0x260(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x268(%rsp)
testq %rax, %rax
je 0xc14f
movq 0x47e91(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
je 0xc146
movq 0x8(%rsp), %rax
incl 0x8(%rax)
jmp 0xc14f
movq 0x8(%rsp), %rax
lock
incl 0x8(%rax)
leaq 0x378(%rsp), %r14
movq %r14, %rdi
leaq 0x270(%rsp), %rsi
leaq 0x260(%rsp), %rdx
callq 0x1a3c4
leaq 0x468(%rsp), %rdi
movq %r14, %rsi
callq 0x1a4b6
movq 0x390(%rsp), %rdi
testq %rdi, %rdi
je 0xc191
callq 0xe7a2
movq 0x380(%rsp), %rdi
testq %rdi, %rdi
je 0xc1a3
callq 0xe7a2
movq 0x268(%rsp), %rdi
testq %rdi, %rdi
je 0xc1b5
callq 0xe7a2
movq 0x278(%rsp), %rdi
testq %rdi, %rdi
je 0xc1c7
callq 0xe7a2
leaq 0xa8(%rsp), %rdi
callq 0x2a538
jmp 0xc0ad
leaq 0x45ea8(%rip), %rax     # 0x52088
movq %rax, 0x3a8(%rsp)
movq 0x3c8(%rsp), %rdi
testq %rdi, %rdi
je 0xc1fa
callq 0xe7a2
leaq 0x3a8(%rsp), %rdi
callq 0xe84e
leaq 0x45e7a(%rip), %rax     # 0x52088
movq %rax, 0xa8(%rsp)
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0xc228
callq 0xe7a2
leaq 0xa8(%rsp), %rdi
callq 0xe84e
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0xc247
callq 0xe7a2
movq 0x4d0(%rsp), %rdi
testq %rdi, %rdi
je 0xc259
callq 0xe7a2
movq 0x4c0(%rsp), %rdi
testq %rdi, %rdi
je 0xc26b
callq 0xe7a2
leaq 0x120(%rsp), %rdi
callq 0x2a538
jmp 0xb7c6
lock
incl 0x8(%rdi)
jmp 0xc075
leaq 0x45dfb(%rip), %rax     # 0x52088
movq %rax, 0x2c0(%rsp)
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0xc2a7
callq 0xe7a2
leaq 0x2c0(%rsp), %rdi
callq 0xe84e
leaq 0x45dcd(%rip), %rax     # 0x52088
movq %rax, 0x120(%rsp)
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0xc2d5
callq 0xe7a2
leaq 0x120(%rsp), %rdi
callq 0xe84e
movq 0x230(%rsp), %rdi
testq %rdi, %rdi
je 0xc2f4
callq 0xe7a2
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xc303
callq 0xe7a2
leaq 0x38(%rsp), %rdi
callq 0x2383a
incl 0x40(%rsp)
leaq 0x38(%rsp), %rdi
callq 0x1f640
jmp 0xb594
leaq 0x3e8(%rsp), %rdi
callq 0x1a5fe
leaq 0x38(%rsp), %rdi
callq 0x1a5fe
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc346
callq 0xe7a2
leaq 0xf0(%rsp), %rdi
callq 0x2383a
incl 0xf8(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0x1f640
jmp 0xb4ce
leaq 0x168(%rsp), %rdi
callq 0x1a5fe
leaq 0xf0(%rsp), %rdi
callq 0x1a5fe
leaq 0x318(%rsp), %rdi
leaq 0x490(%rsp), %rsi
leaq 0x468(%rsp), %rdx
callq 0x1a62e
movq 0x318(%rsp), %rax
movq 0x320(%rsp), %rdi
movq %rax, 0x38(%rsp)
movq %rdi, 0x40(%rsp)
testq %rdi, %rdi
je 0xc3e0
movq 0x47bff(%rip), %rax     # 0x53fc8
cmpb $0x0, (%rax)
leaq 0x38(%rsp), %rsi
je 0xc3ea
incl 0x8(%rdi)
movl $0x0, 0x48(%rsp)
jmp 0xc403
movl $0x0, 0x48(%rsp)
jmp 0xc408
lock
incl 0x8(%rdi)
movq 0x320(%rsp), %rdi
movl $0x0, 0x48(%rsp)
testq %rdi, %rdi
je 0xc40d
callq 0xe7a2
leaq 0x38(%rsp), %rsi
leaq 0xf0(%rsp), %rdi
movq %rsi, %r14
callq 0x2a54c
leaq 0x168(%rsp), %rdi
movq %r14, %rsi
callq 0x2a5d3
movl 0x118(%rsp), %eax
cmpl 0x190(%rsp), %eax
je 0xc464
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xc455
leaq 0x418(%rsp), %rdi
movq %r15, %rsi
callq 0xf826
leaq 0xf0(%rsp), %rdi
callq 0x2a538
jmp 0xc42d
leaq 0x45c1d(%rip), %rax     # 0x52088
movq %rax, 0x168(%rsp)
movq 0x188(%rsp), %rdi
testq %rdi, %rdi
je 0xc485
callq 0xe7a2
leaq 0x168(%rsp), %rdi
callq 0xe84e
leaq 0x45bef(%rip), %rax     # 0x52088
movq %rax, 0xf0(%rsp)
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0xc4b3
callq 0xe7a2
leaq 0xf0(%rsp), %rdi
callq 0xe84e
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xc4cf
callq 0xe7a2
leaq 0x490(%rsp), %rdi
leaq 0x468(%rsp), %rsi
callq 0x1a6c2
leaq 0x478(%rsp), %rdi
callq 0x1e9aa
movq 0x470(%rsp), %rdi
testq %rdi, %rdi
je 0xc503
callq 0xe7a2
incl 0x1c(%rsp)
jmp 0xb3ea
lock
incl 0x8(%rdi)
jmp 0xb399
leaq 0x45b6c(%rip), %rax     # 0x52088
movq %rax, 0x198(%rsp)
movq 0x1b8(%rsp), %rdi
testq %rdi, %rdi
je 0xc536
callq 0xe7a2
leaq 0x198(%rsp), %rdi
callq 0xe84e
leaq 0x45b3e(%rip), %rax     # 0x52088
movq %rax, 0x68(%rsp)
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0xc561
callq 0xe7a2
leaq 0x68(%rsp), %rdi
callq 0xe84e
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xc57d
callq 0xe7a2
movb 0x1b(%rsp), %al
cmpb %al, 0x34(%rsp)
leaq 0xd8(%rsp), %r14
jne 0xb322
jmp 0xae63
leaq 0x198(%rsp), %rdi
callq 0x1a5fe
leaq 0x68(%rsp), %rdi
callq 0x1a5fe
movq 0x47a1a(%rip), %rdi     # 0x53fd0
leaq 0x33cee(%rip), %rsi     # 0x402ab
movl $0x15, %edx
callq 0x72c0
movq 0x47a02(%rip), %rsi     # 0x53fd0
leaq 0x120(%rsp), %rdi
callq 0x2679a
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x68(%rsp), %rdi
leaq 0x120(%rsp), %rsi
callq 0x1aa72
leaq 0x120(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x1ad2a
leaq 0x78(%rsp), %rbx
movq %rbx, %rdi
callq 0x28f36
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xc644
callq 0xe7a2
movq 0x47985(%rip), %rdi     # 0x53fd0
leaq 0x33c65(%rip), %rsi     # 0x402b7
movl $0x9, %edx
callq 0x72c0
movq 0x4796d(%rip), %rsi     # 0x53fd0
leaq 0x120(%rsp), %rdi
callq 0x2679a
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
leaq 0x130(%rsp), %rbx
movq %rbx, %rdi
callq 0x28f36
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xc6b8
callq 0xe7a2
movq 0x430(%rsp), %rdi
testq %rdi, %rdi
je 0xc6ca
callq 0xe7a2
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0xc6dc
callq 0xe7a2
leaq 0x4a0(%rsp), %rbx
movq %rbx, %rdi
callq 0x1e9aa
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xc6fa
callq 0xe7a2
leaq 0x618(%rsp), %rbx
movq %rbx, %rdi
callq 0xeb28
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xc718
callq 0xe7a2
addq $0x658, %rsp            # imm = 0x658
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xc78f
movq %rax, %rbx
jmp 0xc828
movq %rax, %rbx
jmp 0xc835
jmp 0xc78f
movq %rax, %rbx
jmp 0xcd8a
movq %rax, %rbx
jmp 0xcd64
movq %rax, %rbx
jmp 0xc8fa
movq %rax, %rbx
jmp 0xc907
jmp 0xc818
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x1afde
jmp 0xcb11
jmp 0xc92a
movq %rax, %rbx
jmp 0xcb07
jmp 0xc92a
movq %rax, %rbx
jmp 0xcd97
movq %rax, %rbx
jmp 0xcda4
movq %rax, %rbx
jmp 0xcd71
movq %rax, %rbx
jmp 0xcd7b
movq %rax, %rbx
jmp 0xcdf1
movq %rax, %rbx
jmp 0xce19
movq %rax, %rbx
jmp 0xcd15
movq %rax, %rbx
jmp 0xcd43
movq %rax, %rbx
leaq 0x120(%rsp), %rdi
callq 0x1a462
jmp 0xc7dc
movq %rax, %rbx
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0xc7ee
callq 0xe7a2
movq 0x2b8(%rsp), %rdi
jmp 0xcd4b
jmp 0xc922
movq %rax, %rbx
jmp 0xccb6
movq %rax, %rbx
jmp 0xccc3
movq %rax, %rbx
jmp 0xcce7
movq %rax, %rbx
leaq 0x168(%rsp), %rdi
callq 0xa56c
leaq 0xf0(%rsp), %rdi
callq 0xa56c
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xcda4
callq 0xe7a2
jmp 0xcda4
jmp 0xc8e2
jmp 0xc8e2
movq %rax, %rbx
leaq 0x198(%rsp), %rdi
callq 0x1a32e
jmp 0xc86c
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x1a32e
jmp 0xce6d
jmp 0xc932
movq %rax, %rbx
leaq 0x630(%rsp), %rdi
callq 0x19e4c
jmp 0xce8b
movq %rax, %rbx
leaq 0x378(%rsp), %rdi
callq 0x1a462
jmp 0xc8aa
movq %rax, %rbx
movq 0x268(%rsp), %rdi
testq %rdi, %rdi
je 0xc8bc
callq 0xe7a2
movq 0x278(%rsp), %rdi
testq %rdi, %rdi
je 0xc8ed
callq 0xe7a2
jmp 0xc8ed
movq %rax, %rbx
jmp 0xcc9c
jmp 0xc8da
movq %rax, %rbx
jmp 0xcca9
movq %rax, %rbx
jmp 0xce2b
movq %rax, %rbx
leaq 0x3a8(%rsp), %rdi
callq 0xa56c
leaq 0xa8(%rsp), %rdi
callq 0xa56c
movq 0x1d0(%rsp), %rdi
testq %rdi, %rdi
je 0xccc3
callq 0xe7a2
jmp 0xccc3
movq %rax, %rbx
jmp 0xcdc3
movq %rax, %rbx
jmp 0xcb11
movq %rax, %rbx
jmp 0xce6d
jmp 0xc944
movq %rax, %rbx
jmp 0xcae0
movq %rax, %rbx
jmp 0xcaed
movq %rax, %rbx
jmp 0xcafa
movq %rax, %rbx
jmp 0xcc82
jmp 0xc95e
movq %rax, %rbx
jmp 0xcc8f
movq %rax, %rbx
jmp 0xcac1
movq %rax, %rbx
jmp 0xc988
movq %rax, %rbx
jmp 0xcab7
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x1a462
movq 0x248(%rsp), %rdi
testq %rdi, %rdi
je 0xc99a
callq 0xe7a2
movq 0x258(%rsp), %rdi
jmp 0xcac9
movq %rax, %rbx
jmp 0xcad3
movq %rax, %rbx
jmp 0xca47
movq %rax, %rbx
jmp 0xcc35
movq %rax, %rbx
jmp 0xc9e1
movq %rax, %rbx
jmp 0xca70
movq %rax, %rbx
movq 0x520(%rsp), %rdi
testq %rdi, %rdi
je 0xc9e1
callq 0xe7a2
movq 0x360(%rsp), %rdi
testq %rdi, %rdi
je 0xc9fd
callq 0xe7a2
jmp 0xc9fd
movq %rax, %rbx
jmp 0xca0f
movq %rax, %rbx
movq 0x530(%rsp), %rdi
testq %rdi, %rdi
je 0xca0f
callq 0xe7a2
movq 0x20(%rsp), %rdi
cmpq $0x0, 0x8(%rsp)
je 0xca2b
movq 0x8(%rsp), %rdi
callq 0xe7a2
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xca35
callq 0xe7a2
movq 0x350(%rsp), %rdi
testq %rdi, %rdi
je 0xca47
callq 0xe7a2
movq 0x540(%rsp), %rdi
testq %rdi, %rdi
je 0xca5e
callq 0xe7a2
jmp 0xca5e
movq %rax, %rbx
movq 0x340(%rsp), %rdi
testq %rdi, %rdi
je 0xca70
callq 0xe7a2
movq 0x28(%rsp), %rdi
cmpq $0x0, 0x10(%rsp)
je 0xcc6b
movq 0x10(%rsp), %rdi
callq 0xe7a2
movq 0x28(%rsp), %rdi
jmp 0xcc6b
movq %rax, %rbx
jmp 0xcc63
movq %rax, %rbx
jmp 0xcc75
jmp 0xcaa7
movq %rax, %rbx
leaq 0x3e8(%rsp), %rdi
callq 0xa56c
leaq 0x38(%rsp), %rdi
callq 0xa56c
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0xcad3
callq 0xe7a2
leaq 0x168(%rsp), %rdi
callq 0x1a5fe
leaq 0xf0(%rsp), %rdi
callq 0x1a5fe
leaq 0x2c0(%rsp), %rdi
callq 0xd26c
leaq 0x198(%rsp), %rdi
callq 0x1a5fe
leaq 0x68(%rsp), %rdi
callq 0x1a5fe
leaq 0x120(%rsp), %rdi
callq 0x1afde
jmp 0xce2b
movq %rax, %rbx
jmp 0xcb4a
movq %rax, %rbx
jmp 0xcbf5
movq %rax, %rbx
jmp 0xcb6e
movq %rax, %rbx
movq 0x4e0(%rsp), %rdi
testq %rdi, %rdi
je 0xcb4a
callq 0xe7a2
movq 0x450(%rsp), %rdi
testq %rdi, %rdi
je 0xcb5c
callq 0xe7a2
movq 0x440(%rsp), %rdi
testq %rdi, %rdi
je 0xcb6e
callq 0xe7a2
movq 0x288(%rsp), %rdi
testq %rdi, %rdi
je 0xcb80
callq 0xe7a2
movq 0x298(%rsp), %rdi
jmp 0xcbfd
movq %rax, %rbx
jmp 0xcbc7
movq %rax, %rbx
jmp 0xcc07
jmp 0xcb96
movq %rax, %rbx
leaq 0x454e8(%rip), %rax     # 0x52088
movq %rax, 0x578(%rsp)
movq 0x598(%rsp), %rdi
testq %rdi, %rdi
je 0xcbba
callq 0xe7a2
leaq 0x578(%rsp), %rdi
callq 0xe84e
leaq 0x454ba(%rip), %rax     # 0x52088
movq %rax, 0x438(%rsp)
movq 0x458(%rsp), %rdi
testq %rdi, %rdi
je 0xcbe8
callq 0xe7a2
leaq 0x438(%rsp), %rdi
callq 0xe84e
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0xcc07
callq 0xe7a2
leaq 0x4547a(%rip), %rax     # 0x52088
movq %rax, 0x5a8(%rsp)
movq 0x5c8(%rsp), %rdi
testq %rdi, %rdi
je 0xcc28
callq 0xe7a2
leaq 0x5a8(%rsp), %rdi
callq 0xe84e
leaq 0x4544c(%rip), %rax     # 0x52088
movq %rax, 0x4e8(%rsp)
movq 0x508(%rsp), %rdi
testq %rdi, %rdi
je 0xcc56
callq 0xe7a2
leaq 0x4e8(%rsp), %rdi
callq 0xe84e
movq 0x218(%rsp), %rdi
testq %rdi, %rdi
je 0xcc75
callq 0xe7a2
leaq 0x5d8(%rsp), %rdi
callq 0x1a486
leaq 0x548(%rsp), %rdi
callq 0x1a486
leaq 0x1c8(%rsp), %rdi
callq 0x1a486
leaq 0x378(%rsp), %rdi
callq 0x1a486
leaq 0x3a8(%rsp), %rdi
callq 0xa9e8
leaq 0xa8(%rsp), %rdi
callq 0xa9e8
movq 0x4d0(%rsp), %rdi
testq %rdi, %rdi
je 0xccd5
callq 0xe7a2
movq 0x4c0(%rsp), %rdi
testq %rdi, %rdi
je 0xcce7
callq 0xe7a2
leaq 0x4539a(%rip), %rax     # 0x52088
movq %rax, 0x2c0(%rsp)
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0xcd08
callq 0xe7a2
leaq 0x2c0(%rsp), %rdi
callq 0xe84e
leaq 0x4536c(%rip), %rax     # 0x52088
movq %rax, 0x120(%rsp)
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0xcd36
callq 0xe7a2
leaq 0x120(%rsp), %rdi
callq 0xe84e
movq 0x230(%rsp), %rdi
testq %rdi, %rdi
je 0xcd55
callq 0xe7a2
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xcd64
callq 0xe7a2
leaq 0x3e8(%rsp), %rdi
callq 0x1a5fe
leaq 0x38(%rsp), %rdi
callq 0x1a5fe
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xcd8a
callq 0xe7a2
leaq 0x168(%rsp), %rdi
callq 0x1a5fe
leaq 0xf0(%rsp), %rdi
callq 0x1a5fe
leaq 0x478(%rsp), %rdi
callq 0x1e9aa
movq 0x470(%rsp), %rdi
testq %rdi, %rdi
je 0xcdc3
callq 0xe7a2
leaq 0x452be(%rip), %rax     # 0x52088
movq %rax, 0x198(%rsp)
movq 0x1b8(%rsp), %rdi
testq %rdi, %rdi
je 0xcde4
callq 0xe7a2
leaq 0x198(%rsp), %rdi
callq 0xe84e
leaq 0x45290(%rip), %rax     # 0x52088
movq %rax, 0x68(%rsp)
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0xce0f
callq 0xe7a2
leaq 0x68(%rsp), %rdi
callq 0xe84e
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xce2b
callq 0xe7a2
movq 0x430(%rsp), %rdi
testq %rdi, %rdi
je 0xce3d
callq 0xe7a2
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0xce4f
callq 0xe7a2
leaq 0x4a0(%rsp), %r14
movq %r14, %rdi
callq 0x1e9aa
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xce6d
callq 0xe7a2
leaq 0x618(%rsp), %r14
movq %r14, %rdi
callq 0xeb28
movq -0x8(%r14), %rdi
testq %rdi, %rdi
je 0xce8b
callq 0xe7a2
movq %rbx, %rdi
callq 0x7430
nop