// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/mintest.cpp
// Function: void minimalize2<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 minimalize2(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<lsetof<State>> classes;
  classes += F;
  classes += Q &~ F;
  
  int it = 0;
  
  lbool cont = true;
  
  While(cont) {
    lsetof<lsetof<State>> nclasses;
    cout << "classes = " << classes << endl << endl;
    cont = ffalse;
    
    for(auto& EC: classes) {
      for(State& q1: EC) {
        lset EC1;
        for(State& q2: EC) {
          lbool b = true;
          for(auto& t1: delta) for(auto& t2: delta) 
            If(t1.src == q1 && t2.src == q2 && t1.symbol == t2.symbol)
            If(EXISTS(c, classes, memberof(t1.tgt, c) && !memberof(t2.tgt, c)))
              b &= ffalse;
          Ife(b) EC1 += q2;
          else cont = ftrue;
          }
        nclasses += EC1;
        }
      }

    classes = optimize(nclasses); it++;
    }

  cout << "number of iterations: " << it << endl << endl;
  
  cout << "classes: " << classes << endl;  
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x518, %rsp            # imm = 0x518
movq %rdx, %r13
movq %rsi, %r14
movq %rdi, %rbx
movq 0x47d4b(%rip), %r15     # 0x55fd0
leaq 0x33fee(%rip), %rsi     # 0x4227a
movl $0x4, %edx
movq %r15, %rdi
callq 0x82c0
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1bf88
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r12, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x33fb4(%rip), %rsi     # 0x42289
movl $0x4, %edx
movq %r15, %rdi
callq 0x82c0
movq %r14, %rdi
movq %r15, %rsi
callq 0x1bf88
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x8250
movsbl %al, %esi
movq %r12, %rdi
callq 0x8030
movq %rax, %rdi
callq 0x8190
leaq 0x33f61(%rip), %rsi     # 0x4227f
movl $0x8, %edx
movq %r15, %rdi
callq 0x82c0
movq %r13, %rdi
movq %r15, %rsi
callq 0x1cb36
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
xorps %xmm0, %xmm0
leaq 0x198(%rsp), %rdi
movaps %xmm0, -0x8(%rdi)
movaps %xmm0, 0x8(%rdi)
movq $0x0, 0x18(%rdi)
leaq 0x47fd6(%rip), %rcx     # 0x56358
movq (%rcx), %rax
movq %rax, -0x8(%rdi)
leaq 0x8(%rcx), %rsi
movq %rsi, 0x78(%rsp)
callq 0x11046
leaq 0x190(%rsp), %rdi
movq %r14, %rsi
callq 0x1b90e
leaq 0x4f0(%rsp), %rdi
movq %r14, %rsi
callq 0x1ad6a
leaq 0x100(%rsp), %rdi
leaq 0x4f0(%rsp), %rdx
movq %rbx, %rsi
callq 0x1aab5
leaq 0x190(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x1b90e
leaq 0x110(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xe402
callq 0xf75e
leaq 0x500(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xe420
callq 0xf75e
leaq 0xe0(%rsp), %rdi
movl $0x1, %esi
callq 0x1b2e4
leaq 0x47f2f(%rip), %rdi     # 0x56368
callq 0x2b606
movl %eax, %ebx
movq %r13, 0x80(%rsp)
leaq 0x47f19(%rip), %rdi     # 0x56368
callq 0x2b609
movl $0x0, 0x4(%rsp)
movl %ebx, 0x1c(%rsp)
cmpb %al, %bl
jne 0xe58e
movq 0x47b61(%rip), %rdi     # 0x55fd0
leaq 0x33e1e(%rip), %rsi     # 0x42294
movl $0x16, %edx
callq 0x82c0
movq 0x47b49(%rip), %rdi     # 0x55fd0
movl 0x4(%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
movq 0x47ae5(%rip), %rdi     # 0x55fd0
leaq 0x33dc5(%rip), %rsi     # 0x422b7
movl $0x9, %edx
callq 0x82c0
movq 0x47acd(%rip), %rsi     # 0x55fd0
leaq 0x190(%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
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0xe54c
callq 0xf75e
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0xe55e
callq 0xf75e
leaq 0x1a0(%rsp), %rbx
movq %rbx, %rdi
callq 0x29f96
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xe57c
callq 0xf75e
addq $0x518, %rsp            # imm = 0x518
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x0, 0x4(%rsp)
leaq 0x30(%rsp), %rbx
leaq 0x47e06(%rip), %r13     # 0x563a8
leaq 0x2a0(%rsp), %r14
movq 0x47a17(%rip), %r12     # 0x55fc8
leaq 0x2c0(%rsp), %rbp
leaq 0xa0(%rsp), %r15
movb %al, 0x3(%rsp)
movq 0xf0(%rsp), %rax
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0xe5e6
cmpb $0x0, (%r12)
je 0xe5f2
incl 0x8(%rdi)
jmp 0xe5f6
movq %rax, 0x30(%rsp)
movq %rdi, 0x38(%rsp)
jmp 0xe611
lock
incl 0x8(%rdi)
movq %rax, 0x30(%rsp)
movq %rdi, 0x38(%rsp)
testq %rdi, %rdi
je 0xe611
cmpb $0x0, (%r12)
je 0xe61b
incl 0x8(%rdi)
jmp 0xe61f
movl $0x2, 0x40(%rsp)
jmp 0xe631
lock
incl 0x8(%rdi)
movl $0x2, 0x40(%rsp)
testq %rdi, %rdi
je 0xe631
callq 0xf75e
leaq 0x100(%rsp), %rdi
movq %rbx, %rsi
callq 0x2b52e
leaq 0x400(%rsp), %rdi
movq %rbx, %rsi
callq 0x2b5b9
movl 0x128(%rsp), %eax
cmpl 0x428(%rsp), %eax
je 0xf256
addl $-0x4, %eax
cmpl $-0x2, %eax
jae 0xe684
movl $0x0, 0x1c(%rsp)
leaq 0x100(%rsp), %rdi
callq 0x2b51a
jmp 0xe651
xorps %xmm0, %xmm0
movaps %xmm0, 0x160(%rsp)
movaps %xmm0, 0x170(%rsp)
movq $0x0, 0x180(%rsp)
leaq 0x47cae(%rip), %rax     # 0x56358
movq (%rax), %rax
movq %rax, 0x160(%rsp)
leaq 0x168(%rsp), %rdi
movq 0x78(%rsp), %rsi
callq 0x11046
movl $0xa, %edx
movq 0x478fd(%rip), %rdi     # 0x55fd0
leaq 0x33c3a(%rip), %rsi     # 0x42314
callq 0x82c0
leaq 0x190(%rsp), %rdi
movq 0x478e2(%rip), %rsi     # 0x55fd0
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
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 0xe0(%rsp), %rdi
movq %r13, %rsi
callq 0x107c4
leaq 0x270(%rsp), %rdi
leaq 0x190(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x28342
leaq 0x4c0(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x28342
movslq 0x278(%rsp), %rax
testq %rax, %rax
js 0xe7b8
movq 0x270(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xe7b8
cmpl 0x4c8(%rsp), %eax
setne %al
jmp 0xe7e3
movslq 0x4c8(%rsp), %rax
testq %rax, %rax
js 0xf1d2
movq 0x4c0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xf1d2
movq 0x280(%rsp), %rbx
leaq 0x370(%rsp), %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x490(%rsp), %rdi
movq %rbx, 0x1b8(%rsp)
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
movslq 0x378(%rsp), %rax
testq %rax, %rax
js 0xe854
movq 0x370(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xe854
cmpl 0x498(%rsp), %eax
setne %al
jmp 0xe87f
movslq 0x498(%rsp), %rax
testq %rax, %rax
js 0xf192
movq 0x490(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xf192
movq 0x380(%rsp), %rax
movq %rax, 0x1c0(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x130(%rsp)
movaps %xmm0, 0x140(%rsp)
movq $0x0, 0x150(%rsp)
leaq 0x47a9b(%rip), %rax     # 0x56358
movq (%rax), %rax
movq %rax, 0x130(%rsp)
leaq 0x138(%rsp), %rdi
movq 0x78(%rsp), %rsi
callq 0x11046
leaq 0x340(%rsp), %rdi
movq 0x1b8(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2056e
leaq 0x460(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x2056e
movslq 0x348(%rsp), %rax
testq %rax, %rax
js 0xe93b
movq 0x340(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xe93b
cmpl 0x468(%rsp), %eax
setne %al
jmp 0xe966
movslq 0x468(%rsp), %rax
testq %rax, %rax
js 0xf11e
movq 0x460(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xf11e
movq 0x350(%rsp), %rax
movq %rax, 0x88(%rsp)
movq %r14, %rdi
movl $0x1, %esi
callq 0x1b2e4
leaq 0xb0(%rsp), %rdi
movq 0x80(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x216c6
leaq 0x240(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x216c6
movslq 0xb8(%rsp), %rax
testq %rax, %rax
js 0xe9ec
movq 0xb0(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xe9ec
cmpl 0x248(%rsp), %eax
setne %al
jmp 0xea17
movslq 0x248(%rsp), %rax
testq %rax, %rax
js 0xef67
movq 0x240(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xef67
movq 0xc0(%rsp), %rax
movq %rax, 0x20(%rsp)
leaq 0x48(%rsp), %rdi
movq 0x80(%rsp), %rbx
movq %rbx, %rsi
xorl %edx, %edx
callq 0x216c6
leaq 0x430(%rsp), %rdi
movq %rbx, %rsi
movl $0x77359400, %edx       # imm = 0x77359400
callq 0x216c6
movq 0x20(%rsp), %rax
addq $0x10, %rax
movq %rax, 0x1c8(%rsp)
movslq 0x50(%rsp), %rax
testq %rax, %rax
js 0xea95
movq 0x48(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0xea95
cmpl 0x438(%rsp), %eax
setne %al
jmp 0xeac0
movslq 0x438(%rsp), %rax
testq %rax, %rax
js 0xef2c
movq 0x430(%rsp), %rcx
movq 0x18(%rcx), %rdx
subq 0x10(%rcx), %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
seta %al
testb %al, %al
je 0xef2c
movq 0x58(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x20(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xeaf3
cmpb $0x0, (%r12)
je 0xeaef
incl 0x8(%rcx)
jmp 0xeaf3
lock
incl 0x8(%rcx)
movq 0x1c0(%rsp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rax
testq %rax, %rax
je 0xeb17
cmpb $0x0, (%r12)
je 0xeb13
incl 0x8(%rax)
jmp 0xeb17
lock
incl 0x8(%rax)
movq %rax, 0x98(%rsp)
movq %rcx, 0x10(%rsp)
movq (%rsi), %rax
leaq 0x1f8(%rsp), %rdi
callq *0x28(%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rcx
testq %rcx, %rcx
leaq 0x330(%rsp), %rbx
je 0xeb5b
cmpb $0x0, (%r12)
je 0xeb57
incl 0x8(%rcx)
jmp 0xeb5b
lock
incl 0x8(%rcx)
movq 0x88(%rsp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rax
testq %rax, %rax
je 0xeb7f
cmpb $0x0, (%r12)
je 0xeb7b
incl 0x8(%rax)
jmp 0xeb7f
lock
incl 0x8(%rax)
movq %rax, 0x90(%rsp)
movq %rcx, 0x8(%rsp)
movq (%rsi), %rax
movq %rbx, %rdi
callq *0x28(%rax)
leaq 0x208(%rsp), %rdi
leaq 0x1f8(%rsp), %rsi
movq %rbx, %rdx
callq 0x2d415
movq 0x28(%rsp), %rax
leaq 0x10(%rax), %rdx
leaq 0x320(%rsp), %rbx
movq %rbx, %rdi
movq 0x1c8(%rsp), %rsi
callq 0x2e1aa
leaq 0x218(%rsp), %rdi
leaq 0x208(%rsp), %rsi
movq %rbx, %rdx
callq 0x2d415
movq 0x218(%rsp), %rcx
movq 0x220(%rsp), %rax
movq %rcx, 0x228(%rsp)
movq %rax, 0x230(%rsp)
testq %rax, %rax
je 0xec1b
cmpb $0x0, (%r12)
je 0xec17
incl 0x8(%rax)
jmp 0xec1b
lock
incl 0x8(%rax)
movl $0x0, 0x238(%rsp)
movq 0x220(%rsp), %rdi
testq %rdi, %rdi
je 0xec38
callq 0xf75e
movq 0x328(%rsp), %rdi
testq %rdi, %rdi
je 0xec4a
callq 0xf75e
movq 0x210(%rsp), %rdi
testq %rdi, %rdi
je 0xec5c
callq 0xf75e
movq 0x338(%rsp), %rdi
testq %rdi, %rdi
je 0xec6e
callq 0xf75e
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0xec80
callq 0xf75e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xec8f
callq 0xf75e
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0xeca1
callq 0xf75e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0xecb3
callq 0xf75e
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xecc2
callq 0xf75e
leaq 0x2f0(%rsp), %rdi
leaq 0x228(%rsp), %rbx
movq %rbx, %rsi
callq 0x2b52e
leaq 0x3d0(%rsp), %rdi
movq %rbx, %rsi
callq 0x2b5b9
movl 0x318(%rsp), %eax
cmpl 0x3f8(%rsp), %eax
je 0xeea0
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xee8e
leaq 0x190(%rsp), %rax
movq %rax, 0x2c0(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x2c8(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0x2d0(%rsp)
leaq 0x1d0(%rsp), %rdi
movq %rbp, %rsi
callq 0x2a66a
movq 0x1d0(%rsp), %rcx
movq 0x1d8(%rsp), %rax
movq %rcx, 0x1e0(%rsp)
movq %rax, 0x1e8(%rsp)
testq %rax, %rax
je 0xed79
cmpb $0x0, (%r12)
je 0xed75
incl 0x8(%rax)
jmp 0xed79
lock
incl 0x8(%rax)
movl $0x0, 0x1f0(%rsp)
movq 0x1d8(%rsp), %rdi
testq %rdi, %rdi
je 0xed96
callq 0xf75e
movq %rbp, %rdi
leaq 0x1e0(%rsp), %rbx
movq %rbx, %rsi
callq 0x2b52e
leaq 0x3a0(%rsp), %rdi
movq %rbx, %rsi
callq 0x2b5b9
movl 0x2e8(%rsp), %eax
cmpl 0x3c8(%rsp), %eax
je 0xee25
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xee1b
movq (%r13), %rcx
movq 0x8(%r13), %rax
movq %rcx, 0xa0(%rsp)
movq %rax, 0xa8(%rsp)
testq %rax, %rax
je 0xedfe
cmpb $0x0, (%r12)
je 0xedfa
incl 0x8(%rax)
jmp 0xedfe
lock
incl 0x8(%rax)
movq %r14, %rdi
movq %r15, %rsi
callq 0x10c3c
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0xee1b
callq 0xf75e
movq %rbp, %rdi
callq 0x2b51a
jmp 0xedb9
leaq 0x451fc(%rip), %rax     # 0x54028
movq %rax, 0x3a0(%rsp)
movq 0x3c0(%rsp), %rdi
testq %rdi, %rdi
je 0xee46
callq 0xf75e
leaq 0x3a0(%rsp), %rdi
callq 0xf80a
leaq 0x451ce(%rip), %rax     # 0x54028
movq %rax, 0x2c0(%rsp)
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0xee74
callq 0xf75e
movq %rbp, %rdi
callq 0xf80a
movq 0x1e8(%rsp), %rdi
testq %rdi, %rdi
je 0xee8e
callq 0xf75e
leaq 0x2f0(%rsp), %rdi
callq 0x2b51a
jmp 0xecea
leaq 0x45181(%rip), %rax     # 0x54028
movq %rax, 0x3d0(%rsp)
movq 0x3f0(%rsp), %rdi
testq %rdi, %rdi
je 0xeec1
callq 0xf75e
leaq 0x3d0(%rsp), %rdi
callq 0xf80a
leaq 0x45153(%rip), %rax     # 0x54028
movq %rax, 0x2f0(%rsp)
movq 0x310(%rsp), %rdi
testq %rdi, %rdi
je 0xeeef
callq 0xf75e
leaq 0x2f0(%rsp), %rdi
callq 0xf80a
movq 0x230(%rsp), %rdi
testq %rdi, %rdi
je 0xef0e
callq 0xf75e
leaq 0x48(%rsp), %rbx
movq %rbx, %rdi
callq 0x2254c
incl 0x50(%rsp)
movq %rbx, %rdi
callq 0x21712
jmp 0xea69
leaq 0x430(%rsp), %rdi
callq 0x1b41e
leaq 0x48(%rsp), %rdi
callq 0x1b41e
leaq 0xb0(%rsp), %rbx
movq %rbx, %rdi
callq 0x2254c
incl 0xb8(%rsp)
movq %rbx, %rdi
callq 0x21712
jmp 0xe9ba
leaq 0x240(%rsp), %rdi
callq 0x1b41e
leaq 0xb0(%rsp), %rdi
callq 0x1b41e
movq 0x2b0(%rsp), %rax
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xefa2
cmpb $0x0, (%r12)
je 0xefae
incl 0x8(%rdi)
jmp 0xefb2
movq %rax, 0x48(%rsp)
movq %rdi, 0x50(%rsp)
jmp 0xefd2
lock
incl 0x8(%rdi)
movq %rax, 0x48(%rsp)
movq %rdi, 0x50(%rsp)
testq %rdi, %rdi
je 0xefd2
cmpb $0x0, (%r12)
leaq 0x48(%rsp), %rsi
je 0xefdc
incl 0x8(%rdi)
jmp 0xefe0
movl $0x1, 0x58(%rsp)
jmp 0xeff2
lock
incl 0x8(%rdi)
movl $0x1, 0x58(%rsp)
testq %rdi, %rdi
je 0xeff7
callq 0xf75e
leaq 0x48(%rsp), %rsi
leaq 0xb0(%rsp), %rdi
movq %rsi, %rbx
callq 0x2b52e
leaq 0x240(%rsp), %rdi
movq %rbx, %rsi
callq 0x2b5b9
movl 0xd8(%rsp), %eax
cmpl 0x268(%rsp), %eax
je 0xf069
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xf046
leaq 0x130(%rsp), %rdi
movq 0x88(%rsp), %rsi
callq 0xb8de
jmp 0xf05a
leaq 0xe0(%rsp), %rdi
leaq 0x47343(%rip), %rsi     # 0x56398
callq 0x107c4
leaq 0xb0(%rsp), %rdi
callq 0x2b51a
jmp 0xf017
leaq 0x44fb8(%rip), %rax     # 0x54028
movq %rax, 0x240(%rsp)
movq 0x260(%rsp), %rdi
testq %rdi, %rdi
je 0xf08a
callq 0xf75e
leaq 0x240(%rsp), %rdi
callq 0xf80a
leaq 0x44f8a(%rip), %rax     # 0x54028
movq %rax, 0xb0(%rsp)
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xf0b8
callq 0xf75e
leaq 0xb0(%rsp), %rdi
callq 0xf80a
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0xf0d4
callq 0xf75e
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xf0e6
callq 0xf75e
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0xf0f8
callq 0xf75e
leaq 0x340(%rsp), %rdi
callq 0x24816
incl 0x348(%rsp)
leaq 0x340(%rsp), %rdi
callq 0x205ba
jmp 0xe909
leaq 0x460(%rsp), %rdi
callq 0x1b596
leaq 0x340(%rsp), %rdi
callq 0x1b596
leaq 0x160(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x1b90e
leaq 0x140(%rsp), %rdi
callq 0xfada
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0xf16c
callq 0xf75e
leaq 0x370(%rsp), %rdi
callq 0x24816
incl 0x378(%rsp)
leaq 0x370(%rsp), %rdi
callq 0x205ba
jmp 0xe822
leaq 0x490(%rsp), %rdi
callq 0x1b596
leaq 0x370(%rsp), %rdi
callq 0x1b596
leaq 0x270(%rsp), %rdi
callq 0x293de
incl 0x278(%rsp)
leaq 0x270(%rsp), %rdi
callq 0x2838e
jmp 0xe786
leaq 0x4c0(%rsp), %rdi
callq 0x28312
leaq 0x270(%rsp), %rbx
movq %rbx, %rdi
callq 0x28312
movq %rbx, %rdi
leaq 0x160(%rsp), %rsi
callq 0x1ba0a
leaq 0x190(%rsp), %rdi
movq %rbx, %rsi
callq 0x1bcb6
leaq 0x280(%rsp), %rdi
callq 0x29f96
movq 0x278(%rsp), %rdi
testq %rdi, %rdi
je 0xf22e
callq 0xf75e
leaq 0x170(%rsp), %rdi
callq 0x29f96
movq 0x168(%rsp), %rdi
testq %rdi, %rdi
je 0xf24d
callq 0xf75e
incl 0x4(%rsp)
jmp 0xe675
leaq 0x44dcb(%rip), %rax     # 0x54028
movq %rax, 0x400(%rsp)
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0xf277
callq 0xf75e
leaq 0x400(%rsp), %rdi
callq 0xf80a
leaq 0x44d9d(%rip), %rax     # 0x54028
movq %rax, 0x100(%rsp)
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xf2a5
callq 0xf75e
leaq 0x100(%rsp), %rdi
callq 0xf80a
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0xf2c1
callq 0xf75e
movb 0x3(%rsp), %al
cmpb %al, 0x1c(%rsp)
leaq 0x30(%rsp), %rbx
jne 0xe5c5
jmp 0xe468
movq %rax, %r14
leaq 0x270(%rsp), %rdi
callq 0x1bf6a
jmp 0xf68a
jmp 0xf39b
jmp 0xf324
jmp 0xf33c
movq %rax, %r14
jmp 0xf656
movq %rax, %r14
jmp 0xf67d
jmp 0xf39b
movq %rax, %r14
jmp 0xf6d6
movq %rax, %r14
jmp 0xf704
movq %rax, %r14
jmp 0xf663
movq %rax, %r14
jmp 0xf670
movq %rax, %r14
jmp 0xf6a8
movq %rax, %r14
jmp 0xf62b
movq %rax, %r14
jmp 0xf638
jmp 0xf3a3
jmp 0xf3a3
movq %rax, %r14
leaq 0x100(%rsp), %rdi
callq 0xe246
jmp 0xf35d
movq %rax, %r14
leaq 0x4f0(%rsp), %rdi
callq 0x1adc4
jmp 0xf737
jmp 0xf371
movq %rax, %r14
jmp 0xf737
movq %rax, %r14
jmp 0xf3c7
movq %rax, %r14
jmp 0xf3d4
movq %rax, %r14
jmp 0xf5ed
movq %rax, %r14
jmp 0xf5fa
movq %rax, %r14
jmp 0xf61e
movq %rax, %r14
jmp 0xf68a
movq %rax, %r14
jmp 0xf713
jmp 0xf3ec
movq %rax, %r14
jmp 0xf5d6
jmp 0xf3b7
movq %rax, %r14
leaq 0x240(%rsp), %rdi
callq 0xb570
leaq 0xb0(%rsp), %rdi
callq 0xb570
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0xf5fa
callq 0xf75e
jmp 0xf5fa
movq %rax, %r14
jmp 0xf5e0
movq %rax, %r14
movq 0x328(%rsp), %rdi
testq %rdi, %rdi
je 0xf420
callq 0xf75e
jmp 0xf420
movq %rax, %r14
jmp 0xf432
movq %rax, %r14
jmp 0xf5b7
movq %rax, %r14
jmp 0xf48c
movq %rax, %r14
movq 0x210(%rsp), %rdi
testq %rdi, %rdi
je 0xf432
callq 0xf75e
movq 0x338(%rsp), %rdi
testq %rdi, %rdi
je 0xf451
callq 0xf75e
jmp 0xf451
movq %rax, %r14
jmp 0xf589
movq %rax, %r14
movq 0x8(%rsp), %rdi
movq 0x90(%rsp), %rax
testq %rax, %rax
je 0xf470
movq %rax, %rdi
callq 0xf75e
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xf47a
callq 0xf75e
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0xf48c
callq 0xf75e
movq 0x10(%rsp), %rdi
movq 0x98(%rsp), %rax
testq %rax, %rax
je 0xf5bf
movq %rax, %rdi
callq 0xf75e
movq 0x10(%rsp), %rdi
jmp 0xf5bf
movq %rax, %r14
jmp 0xf5c9
movq %rax, %r14
jmp 0xf549
jmp 0xf4cb
movq %rax, %r14
jmp 0xf51b
movq %rax, %r14
jmp 0xf55b
movq %rax, %r14
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0xf4ed
callq 0xf75e
jmp 0xf4ed
movq %rax, %r14
leaq 0x44b34(%rip), %rax     # 0x54028
movq %rax, 0x3a0(%rsp)
movq 0x3c0(%rsp), %rdi
testq %rdi, %rdi
je 0xf50e
callq 0xf75e
leaq 0x3a0(%rsp), %rdi
callq 0xf80a
leaq 0x44b06(%rip), %rax     # 0x54028
movq %rax, 0x2c0(%rsp)
movq 0x2e0(%rsp), %rdi
testq %rdi, %rdi
je 0xf53c
callq 0xf75e
leaq 0x2c0(%rsp), %rdi
callq 0xf80a
movq 0x1e8(%rsp), %rdi
testq %rdi, %rdi
je 0xf55b
callq 0xf75e
leaq 0x44ac6(%rip), %rax     # 0x54028
movq %rax, 0x3d0(%rsp)
movq 0x3f0(%rsp), %rdi
testq %rdi, %rdi
je 0xf57c
callq 0xf75e
leaq 0x3d0(%rsp), %rdi
callq 0xf80a
leaq 0x44a98(%rip), %rax     # 0x54028
movq %rax, 0x2f0(%rsp)
movq 0x310(%rsp), %rdi
testq %rdi, %rdi
je 0xf5aa
callq 0xf75e
leaq 0x2f0(%rsp), %rdi
callq 0xf80a
movq 0x230(%rsp), %rdi
testq %rdi, %rdi
je 0xf5c9
callq 0xf75e
leaq 0x430(%rsp), %rdi
callq 0x1b41e
leaq 0x48(%rsp), %rdi
callq 0x1b41e
leaq 0x240(%rsp), %rdi
callq 0x1b41e
leaq 0xb0(%rsp), %rdi
callq 0x1b41e
movq 0x2b8(%rsp), %rdi
testq %rdi, %rdi
je 0xf60c
callq 0xf75e
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0xf61e
callq 0xf75e
leaq 0x460(%rsp), %rdi
callq 0x1b596
leaq 0x340(%rsp), %rdi
callq 0x1b596
leaq 0x140(%rsp), %rbx
movq %rbx, %rdi
callq 0xfada
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xf656
callq 0xf75e
leaq 0x490(%rsp), %rdi
callq 0x1b596
leaq 0x370(%rsp), %rdi
callq 0x1b596
leaq 0x4c0(%rsp), %rdi
callq 0x28312
leaq 0x270(%rsp), %rdi
callq 0x28312
leaq 0x170(%rsp), %rbx
movq %rbx, %rdi
callq 0x29f96
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xf6a8
callq 0xf75e
leaq 0x44979(%rip), %rax     # 0x54028
movq %rax, 0x400(%rsp)
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0xf6c9
callq 0xf75e
leaq 0x400(%rsp), %rdi
callq 0xf80a
leaq 0x4494b(%rip), %rax     # 0x54028
movq %rax, 0x100(%rsp)
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0xf6f7
callq 0xf75e
leaq 0x100(%rsp), %rdi
callq 0xf80a
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0xf713
callq 0xf75e
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0xf725
callq 0xf75e
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0xf737
callq 0xf75e
leaq 0x1a0(%rsp), %rbx
movq %rbx, %rdi
callq 0x29f96
movq -0x8(%rbx), %rdi
testq %rdi, %rdi
je 0xf755
callq 0xf75e
movq %r14, %rdi
callq 0x8430
nop