// File: 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
movq %rsp, %rbp
subq $0xcd0, %rsp            # imm = 0xCD0
movq %rdi, -0xb00(%rbp)
movq %rsi, -0xb08(%rbp)
movq %rdx, -0xb18(%rbp)
movq %rcx, -0xb28(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq 0xa183a(%rip), %rdi     # 0xadfd8
movq %rdi, -0xb20(%rbp)
leaq 0x6ab5e(%rip), %rsi     # 0x7730a
callq 0x82b0
movq -0xb00(%rbp), %rsi
movq %rax, %rdi
callq 0x2a230
movq %rax, %rdi
movq 0xa17e6(%rip), %rsi     # 0xadfb0
movq %rsi, -0xb10(%rbp)
callq 0x8300
movq -0xb20(%rbp), %rdi
leaq 0x6ab35(%rip), %rsi     # 0x77319
callq 0x82b0
movq -0xb08(%rbp), %rsi
movq %rax, %rdi
callq 0x2a230
movq -0xb10(%rbp), %rsi
movq %rax, %rdi
callq 0x8300
movq -0xb20(%rbp), %rdi
leaq 0x6aafa(%rip), %rsi     # 0x7730f
callq 0x82b0
movq -0xb18(%rbp), %rsi
movq %rax, %rdi
callq 0x2a260
movq -0xb10(%rbp), %rsi
movq %rax, %rdi
callq 0x8300
movq -0xb08(%rbp), %rsi
leaq -0x70(%rbp), %rdi
movq %rdi, -0xaf8(%rbp)
callq 0x2a5b0
movq -0xb00(%rbp), %rsi
movq -0xaf8(%rbp), %rdx
leaq -0x48(%rbp), %rdi
callq 0x2a290
jmp 0xc868
leaq -0x70(%rbp), %rdi
callq 0x2a620
movq 0xa1760(%rip), %rdi     # 0xadfd8
leaq 0x6aa99(%rip), %rsi     # 0x77318
callq 0x82b0
movq %rax, -0xb30(%rbp)
jmp 0xc88d
movq -0xb30(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x2a230
movq %rax, -0xb38(%rbp)
jmp 0xc8a6
movq -0xb38(%rbp), %rdi
movq 0xa16fc(%rip), %rsi     # 0xadfb0
callq 0x8300
movq %rax, -0xb40(%rbp)
jmp 0xc8c2
movq -0xb40(%rbp), %rdi
movq 0xa16e0(%rip), %rsi     # 0xadfb0
callq 0x8300
jmp 0xc8d7
movq -0xb08(%rbp), %rdx
leaq -0xd0(%rbp), %rdi
movq %rdx, %rsi
callq 0x2a8b0
jmp 0xc8ef
leaq -0xf8(%rbp), %rdi
leaq -0x48(%rbp), %rdx
movq %rdx, %rsi
callq 0x2a8b0
jmp 0xc904
leaq -0xa8(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0xf8(%rbp), %rdx
callq 0x2a640
jmp 0xc920
leaq -0xf8(%rbp), %rdi
callq 0x2abe0
leaq -0xd0(%rbp), %rdi
callq 0x2abe0
movl $0x0, -0xfc(%rbp)
leaq -0x120(%rbp), %rdi
movl $0x1, %esi
callq 0x2ac10
jmp 0xc955
leaq 0xa1a8c(%rip), %rdi     # 0xae3e8
movq %rdi, -0x128(%rbp)
callq 0x434c0
movb %al, -0xb41(%rbp)
jmp 0xc970
movb -0xb41(%rbp), %al
movb %al, -0x129(%rbp)
leaq 0xa1a65(%rip), %rdi     # 0xae3e8
callq 0x434f0
movb %al, -0xb42(%rbp)
jmp 0xc990
movb -0xb42(%rbp), %al
movb %al, -0x12a(%rbp)
leaq -0x129(%rbp), %rdi
leaq -0x12a(%rbp), %rsi
callq 0x2ac80
movb %al, -0xb43(%rbp)
jmp 0xc9b7
movb -0xb43(%rbp), %al
testb $0x1, %al
jne 0xc9c6
jmp 0xddfb
leaq -0x129(%rbp), %rdi
callq 0x2acb0
movq %rax, -0xb50(%rbp)
jmp 0xc9db
movq -0xb50(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq -0x168(%rbp), %rdi
movq %rdi, -0xb58(%rbp)
leaq -0x120(%rbp), %rsi
callq 0x14830
movq -0xb58(%rbp), %rsi
leaq -0x158(%rbp), %rdi
callq 0x2acc0
jmp 0xca18
leaq -0x168(%rbp), %rdi
callq 0xbd10
leaq -0x158(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rsi
leaq -0x198(%rbp), %rdi
callq 0x433e0
jmp 0xca47
movq -0x140(%rbp), %rsi
leaq -0x1c8(%rbp), %rdi
callq 0x43470
jmp 0xca5c
jmp 0xca5e
leaq -0x198(%rbp), %rdi
leaq -0x1c8(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xcb6f
movl $0x4, -0x1cc(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0xbd90
leaq -0x198(%rbp), %rdi
callq 0xbd90
leaq -0x158(%rbp), %rdi
callq 0xbdd0
jmp 0xdde6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x2a620
jmp 0xe435
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe42c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcafd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xf8(%rbp), %rdi
callq 0x2abe0
leaq -0xd0(%rbp), %rdi
callq 0x2abe0
jmp 0xe42c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe420
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe414
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x168(%rbp), %rdi
callq 0xbd10
jmp 0xe414
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xddd5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xddc9
leaq -0x198(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x1cd(%rbp)
testb $0x1, -0x1cd(%rbp)
je 0xcb9b
movq -0x138(%rbp), %rax
movb $0x0, (%rax)
jmp 0xdda8
movq 0xa1436(%rip), %rdi     # 0xadfd8
leaq 0x6a775(%rip), %rsi     # 0x7731e
callq 0x82b0
movq %rax, -0xb60(%rbp)
jmp 0xcbb7
movq -0xb60(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x2ad00
movq %rax, -0xb68(%rbp)
jmp 0xcbd3
movq -0xb68(%rbp), %rdi
movq 0xa13cf(%rip), %rsi     # 0xadfb0
callq 0x8300
movq %rax, -0xb70(%rbp)
jmp 0xcbef
movq -0xb70(%rbp), %rdi
movq 0xa13b3(%rip), %rsi     # 0xadfb0
callq 0x8300
jmp 0xcc04
leaq -0x1f8(%rbp), %rdi
callq 0x2ad30
jmp 0xcc12
movq -0xb00(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rsi
leaq -0x230(%rbp), %rdi
callq 0x2ad70
jmp 0xcc35
movq -0x200(%rbp), %rsi
leaq -0x260(%rbp), %rdi
callq 0x2ada0
jmp 0xcc4a
jmp 0xcc4c
leaq -0x230(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x2add0
movb %al, -0xb71(%rbp)
jmp 0xcc67
movb -0xb71(%rbp), %al
testb $0x1, %al
jne 0xccde
jmp 0xcc73
movl $0x6, -0x1cc(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x2b2d0
leaq -0x230(%rbp), %rdi
callq 0x2b2d0
jmp 0xdc00
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xddbd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdd9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdbef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdbe3
leaq -0x230(%rbp), %rdi
callq 0x2ae80
movq %rax, -0xb80(%rbp)
jmp 0xccf3
movq -0xb80(%rbp), %rsi
leaq -0x270(%rbp), %rdi
callq 0x20510
movq -0xb00(%rbp), %rax
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rsi
leaq -0x2a8(%rbp), %rdi
callq 0x2ad70
jmp 0xcd29
movq -0x278(%rbp), %rsi
leaq -0x2d8(%rbp), %rdi
callq 0x2ada0
jmp 0xcd3e
jmp 0xcd40
leaq -0x2a8(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x2add0
movb %al, -0xb81(%rbp)
jmp 0xcd5b
movb -0xb81(%rbp), %al
testb $0x1, %al
jne 0xcdc1
jmp 0xcd67
movl $0x8, -0x1cc(%rbp)
leaq -0x2d8(%rbp), %rdi
callq 0x2b2d0
leaq -0x2a8(%rbp), %rdi
callq 0x2b2d0
jmp 0xdbb8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdbd7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdbaa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb9e
leaq -0x2a8(%rbp), %rdi
callq 0x2ae80
movq %rax, -0xb90(%rbp)
jmp 0xcdd6
movq -0xb90(%rbp), %rsi
leaq -0x2e8(%rbp), %rdi
movq %rdi, -0xba8(%rbp)
callq 0x20510
leaq -0x348(%rbp), %rdi
movq %rdi, -0xba0(%rbp)
leaq -0x270(%rbp), %rsi
callq 0x20510
movq -0xba8(%rbp), %rsi
leaq -0x358(%rbp), %rdi
movq %rdi, -0xb98(%rbp)
callq 0x20510
movq -0xba0(%rbp), %rsi
movq -0xb98(%rbp), %rdx
leaq -0x338(%rbp), %rdi
callq 0x2aee0
jmp 0xce40
leaq -0x318(%rbp), %rdi
leaq -0x338(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x2aea0
jmp 0xce5c
leaq -0x308(%rbp), %rdi
movq %rdi, -0xbb0(%rbp)
leaq -0x318(%rbp), %rsi
movq %rsi, -0xbb8(%rbp)
callq 0xbca0
movq -0xbb8(%rbp), %rdi
callq 0xbd10
leaq -0x338(%rbp), %rdi
callq 0x2af80
leaq -0x358(%rbp), %rdi
callq 0xc3d0
leaq -0x348(%rbp), %rdi
callq 0xc3d0
movq -0xbb0(%rbp), %rax
movq %rax, -0x2f0(%rbp)
movq -0x2f0(%rbp), %rsi
leaq -0x388(%rbp), %rdi
callq 0x433e0
jmp 0xced0
movq -0x2f0(%rbp), %rsi
leaq -0x3b8(%rbp), %rdi
callq 0x43470
jmp 0xcee5
jmp 0xcee7
leaq -0x388(%rbp), %rdi
leaq -0x3b8(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xcf9a
movl $0xa, -0x1cc(%rbp)
leaq -0x3b8(%rbp), %rdi
callq 0xbd90
leaq -0x388(%rbp), %rdi
callq 0xbd90
leaq -0x308(%rbp), %rdi
callq 0xbdd0
jmp 0xdb73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcf5b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x338(%rbp), %rdi
callq 0x2af80
leaq -0x358(%rbp), %rdi
callq 0xc3d0
leaq -0x348(%rbp), %rdi
callq 0xc3d0
jmp 0xdb92
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb65
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb59
leaq -0x388(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x3b9(%rbp)
testb $0x1, -0x3b9(%rbp)
jne 0xcfbc
jmp 0xdb38
leaq -0x3e0(%rbp), %rdi
movl $0x1, %esi
callq 0x2ac10
jmp 0xcfcf
movq -0xb28(%rbp), %rax
movq %rax, -0x3e8(%rbp)
movq -0x3e8(%rbp), %rsi
leaq -0x418(%rbp), %rdi
callq 0xc3f0
jmp 0xcff2
movq -0x3e8(%rbp), %rsi
leaq -0x448(%rbp), %rdi
callq 0xc420
jmp 0xd007
jmp 0xd009
leaq -0x418(%rbp), %rdi
leaq -0x448(%rbp), %rsi
callq 0xc450
testb $0x1, %al
jne 0xd07a
movl $0xc, -0x1cc(%rbp)
leaq -0x448(%rbp), %rdi
callq 0xc5b0
leaq -0x418(%rbp), %rdi
callq 0xc5b0
jmp 0xd902
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb4d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8f1
leaq -0x418(%rbp), %rdi
callq 0xc500
movq %rax, %rcx
movq -0xb18(%rbp), %rax
movq %rcx, -0x450(%rbp)
movq %rax, -0x458(%rbp)
movq -0x458(%rbp), %rsi
leaq -0x488(%rbp), %rdi
callq 0x2afb0
jmp 0xd0b3
movq -0x458(%rbp), %rsi
leaq -0x4b8(%rbp), %rdi
callq 0x2afe0
jmp 0xd0c8
jmp 0xd0ca
leaq -0x488(%rbp), %rdi
leaq -0x4b8(%rbp), %rsi
callq 0x2b010
movb %al, -0xbb9(%rbp)
jmp 0xd0e5
movb -0xbb9(%rbp), %al
testb $0x1, %al
jne 0xd14b
jmp 0xd0f1
movl $0xe, -0x1cc(%rbp)
leaq -0x4b8(%rbp), %rdi
callq 0x2b180
leaq -0x488(%rbp), %rdi
callq 0x2b180
jmp 0xd8d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8c2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8b6
leaq -0x488(%rbp), %rdi
callq 0x2b0c0
movq %rax, -0xbc8(%rbp)
jmp 0xd160
movq -0xb18(%rbp), %rax
movq -0xbc8(%rbp), %rcx
movq %rcx, -0x4c0(%rbp)
movq %rax, -0x4c8(%rbp)
movq -0x4c8(%rbp), %rsi
leaq -0x4f8(%rbp), %rdi
callq 0x2afb0
jmp 0xd191
movq -0x4c8(%rbp), %rsi
leaq -0x528(%rbp), %rdi
callq 0x2afe0
jmp 0xd1a6
jmp 0xd1a8
leaq -0x4f8(%rbp), %rdi
leaq -0x528(%rbp), %rsi
callq 0x2b010
movb %al, -0xbc9(%rbp)
jmp 0xd1c3
movb -0xbc9(%rbp), %al
testb $0x1, %al
jne 0xd218
jmp 0xd1cf
movl $0x10, -0x1cc(%rbp)
leaq -0x528(%rbp), %rdi
callq 0x2b180
leaq -0x4f8(%rbp), %rdi
callq 0x2b180
jmp 0xd8a1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd893
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd887
leaq -0x4f8(%rbp), %rdi
callq 0x2b0c0
movq %rax, -0xbd8(%rbp)
jmp 0xd22d
movq -0xbd8(%rbp), %rax
movq %rax, -0x530(%rbp)
movq -0x4c0(%rbp), %rsi
leaq -0x5a0(%rbp), %rdi
movq %rdi, -0xbe8(%rbp)
callq 0x20510
leaq -0x5b0(%rbp), %rdi
movq %rdi, -0xbe0(%rbp)
leaq -0x270(%rbp), %rsi
callq 0x20510
movq -0xbe8(%rbp), %rsi
movq -0xbe0(%rbp), %rdx
leaq -0x590(%rbp), %rdi
callq 0x2b0e0
jmp 0xd28b
movq -0x4c0(%rbp), %rsi
addq $0x10, %rsi
movq -0x450(%rbp), %rdx
leaq -0x5c0(%rbp), %rdi
callq 0x47b60
jmp 0xd2ab
leaq -0x580(%rbp), %rdi
leaq -0x590(%rbp), %rsi
leaq -0x5c0(%rbp), %rdx
callq 0x46a20
jmp 0xd2c7
movq -0x530(%rbp), %rsi
leaq -0x5e0(%rbp), %rdi
movq %rdi, -0xbf8(%rbp)
callq 0x20510
leaq -0x5f0(%rbp), %rdi
movq %rdi, -0xbf0(%rbp)
leaq -0x2e8(%rbp), %rsi
callq 0x20510
movq -0xbf8(%rbp), %rsi
movq -0xbf0(%rbp), %rdx
leaq -0x5d0(%rbp), %rdi
callq 0x2b0e0
jmp 0xd317
leaq -0x570(%rbp), %rdi
leaq -0x580(%rbp), %rsi
leaq -0x5d0(%rbp), %rdx
callq 0x46a20
jmp 0xd333
movq -0x530(%rbp), %rsi
addq $0x10, %rsi
movq -0x450(%rbp), %rdx
leaq -0x600(%rbp), %rdi
callq 0x47b60
jmp 0xd353
leaq -0x560(%rbp), %rdi
leaq -0x570(%rbp), %rsi
leaq -0x600(%rbp), %rdx
callq 0x46a20
jmp 0xd36f
leaq -0x550(%rbp), %rdi
movq %rdi, -0xc00(%rbp)
leaq -0x560(%rbp), %rsi
movq %rsi, -0xc08(%rbp)
callq 0xbca0
movq -0xc08(%rbp), %rdi
callq 0xbd10
leaq -0x600(%rbp), %rdi
callq 0xbd10
leaq -0x570(%rbp), %rdi
callq 0xbd10
leaq -0x5d0(%rbp), %rdi
callq 0xbd10
leaq -0x5f0(%rbp), %rdi
callq 0xc3d0
leaq -0x5e0(%rbp), %rdi
callq 0xc3d0
leaq -0x580(%rbp), %rdi
callq 0xbd10
leaq -0x5c0(%rbp), %rdi
callq 0xbd10
leaq -0x590(%rbp), %rdi
callq 0xbd10
leaq -0x5b0(%rbp), %rdi
callq 0xc3d0
leaq -0x5a0(%rbp), %rdi
callq 0xc3d0
movq -0xc00(%rbp), %rax
movq %rax, -0x538(%rbp)
movq -0x538(%rbp), %rsi
leaq -0x630(%rbp), %rdi
callq 0x433e0
jmp 0xd437
movq -0x538(%rbp), %rsi
leaq -0x660(%rbp), %rdi
callq 0x43470
jmp 0xd44c
jmp 0xd44e
leaq -0x630(%rbp), %rdi
leaq -0x660(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xd5a1
movl $0x12, -0x1cc(%rbp)
leaq -0x660(%rbp), %rdi
callq 0xbd90
leaq -0x630(%rbp), %rdi
callq 0xbd90
leaq -0x550(%rbp), %rdi
callq 0xbdd0
jmp 0xd872
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd562
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd556
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd54a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd526
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd51a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd50e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x600(%rbp), %rdi
callq 0xbd10
leaq -0x570(%rbp), %rdi
callq 0xbd10
leaq -0x5d0(%rbp), %rdi
callq 0xbd10
leaq -0x5f0(%rbp), %rdi
callq 0xc3d0
leaq -0x5e0(%rbp), %rdi
callq 0xc3d0
leaq -0x580(%rbp), %rdi
callq 0xbd10
leaq -0x5c0(%rbp), %rdi
callq 0xbd10
leaq -0x590(%rbp), %rdi
callq 0xbd10
leaq -0x5b0(%rbp), %rdi
callq 0xc3d0
leaq -0x5a0(%rbp), %rdi
callq 0xc3d0
jmp 0xd887
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd864
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd858
leaq -0x630(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x661(%rbp)
testb $0x1, -0x661(%rbp)
jne 0xd5c3
jmp 0xd82b
movq -0x4c0(%rbp), %rsi
addq $0x20, %rsi
leaq -0x6d8(%rbp), %rdi
movq %rdi, -0xc18(%rbp)
callq 0x20510
movq -0x530(%rbp), %rsi
addq $0x20, %rsi
leaq -0x6e8(%rbp), %rdi
movq %rdi, -0xc10(%rbp)
callq 0x20510
movq -0xc18(%rbp), %rsi
movq -0xc10(%rbp), %rdx
leaq -0x6c8(%rbp), %rdi
callq 0x2aee0
jmp 0xd61b
leaq -0x6a8(%rbp), %rdi
leaq -0x6c8(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x2aea0
jmp 0xd637
leaq -0x698(%rbp), %rdi
leaq -0x6a8(%rbp), %rsi
callq 0x44970
jmp 0xd64c
leaq -0x688(%rbp), %rdi
movq %rdi, -0xc20(%rbp)
leaq -0x698(%rbp), %rsi
movq %rsi, -0xc28(%rbp)
callq 0xbca0
movq -0xc28(%rbp), %rdi
callq 0xbd10
leaq -0x6a8(%rbp), %rdi
callq 0xbd10
leaq -0x6c8(%rbp), %rdi
callq 0x2af80
leaq -0x6e8(%rbp), %rdi
callq 0xc3d0
leaq -0x6d8(%rbp), %rdi
callq 0xc3d0
movq -0xc20(%rbp), %rax
movq %rax, -0x670(%rbp)
movq -0x670(%rbp), %rsi
leaq -0x718(%rbp), %rdi
callq 0x433e0
jmp 0xd6cc
movq -0x670(%rbp), %rsi
leaq -0x748(%rbp), %rdi
callq 0x43470
jmp 0xd6e1
jmp 0xd6e3
leaq -0x718(%rbp), %rdi
leaq -0x748(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xd7aa
movl $0x14, -0x1cc(%rbp)
leaq -0x748(%rbp), %rdi
callq 0xbd90
leaq -0x718(%rbp), %rdi
callq 0xbd90
leaq -0x688(%rbp), %rdi
callq 0xbdd0
jmp 0xd829
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd771
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd765
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x6a8(%rbp), %rdi
callq 0xbd10
leaq -0x6c8(%rbp), %rdi
callq 0x2af80
leaq -0x6e8(%rbp), %rdi
callq 0xc3d0
leaq -0x6d8(%rbp), %rdi
callq 0xc3d0
jmp 0xd84c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd81b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd80f
leaq -0x718(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x749(%rbp)
testb $0x1, -0x749(%rbp)
jne 0xd7c9
jmp 0xd7fa
leaq 0xa0c58(%rip), %rsi     # 0xae428
leaq -0x3e0(%rbp), %rdi
callq 0x14490
jmp 0xd7de
jmp 0xd7fa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x748(%rbp), %rdi
callq 0xbd90
jmp 0xd80f
jmp 0xd7fc
leaq -0x718(%rbp), %rdi
callq 0x43390
jmp 0xd80a
jmp 0xd6e3
leaq -0x718(%rbp), %rdi
callq 0xbd90
leaq -0x688(%rbp), %rdi
callq 0xbdd0
jmp 0xd84c
jmp 0xd82b
jmp 0xd82d
leaq -0x630(%rbp), %rdi
callq 0x43390
jmp 0xd83b
jmp 0xd44e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x660(%rbp), %rdi
callq 0xbd90
leaq -0x630(%rbp), %rdi
callq 0xbd90
leaq -0x550(%rbp), %rdi
callq 0xbdd0
jmp 0xd887
jmp 0xd874
leaq -0x4f8(%rbp), %rdi
callq 0x2b140
jmp 0xd882
jmp 0xd1a8
leaq -0x528(%rbp), %rdi
callq 0x2b180
leaq -0x4f8(%rbp), %rdi
callq 0x2b180
jmp 0xd8b6
jmp 0xd8a3
leaq -0x488(%rbp), %rdi
callq 0x2b140
jmp 0xd8b1
jmp 0xd0ca
leaq -0x4b8(%rbp), %rdi
callq 0x2b180
leaq -0x488(%rbp), %rdi
callq 0x2b180
jmp 0xd8e5
jmp 0xd8d2
leaq -0x418(%rbp), %rdi
callq 0xc570
jmp 0xd8e0
jmp 0xd009
leaq -0x448(%rbp), %rdi
callq 0xc5b0
leaq -0x418(%rbp), %rdi
callq 0xc5b0
jmp 0xdb2a
leaq -0x780(%rbp), %rdi
movq %rdi, -0xc38(%rbp)
leaq -0x3e0(%rbp), %rsi
callq 0x14830
movq -0xc38(%rbp), %rsi
leaq -0x770(%rbp), %rdi
movq %rdi, -0xc30(%rbp)
callq 0xbca0
movq -0xc38(%rbp), %rdi
callq 0xbd10
movq -0xc30(%rbp), %rax
movq %rax, -0x758(%rbp)
movq -0x758(%rbp), %rsi
leaq -0x7b0(%rbp), %rdi
callq 0x433e0
jmp 0xd965
movq -0x758(%rbp), %rsi
leaq -0x7e0(%rbp), %rdi
callq 0x43470
jmp 0xd97a
jmp 0xd97c
leaq -0x7b0(%rbp), %rdi
leaq -0x7e0(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xd9e8
movl $0x16, -0x1cc(%rbp)
leaq -0x7e0(%rbp), %rdi
callq 0xbd90
leaq -0x7b0(%rbp), %rdi
callq 0xbd90
leaq -0x770(%rbp), %rdi
callq 0xbdd0
jmp 0xdb1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb0e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb02
leaq -0x7b0(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x7e1(%rbp)
testb $0x1, -0x7e1(%rbp)
jne 0xda0a
jmp 0xdad5
leaq -0x818(%rbp), %rdi
movq %rdi, -0xc48(%rbp)
leaq -0x270(%rbp), %rsi
callq 0x20510
leaq -0x828(%rbp), %rdi
movq %rdi, -0xc40(%rbp)
leaq -0x2e8(%rbp), %rsi
callq 0x20510
movq -0xc48(%rbp), %rsi
movq -0xc40(%rbp), %rdx
leaq -0x808(%rbp), %rdi
callq 0x2aee0
jmp 0xda5a
leaq -0x1f8(%rbp), %rdi
leaq -0x808(%rbp), %rsi
callq 0x2b1d0
jmp 0xda6f
leaq -0x808(%rbp), %rdi
callq 0x2af80
leaq -0x828(%rbp), %rdi
callq 0xc3d0
leaq -0x818(%rbp), %rdi
callq 0xc3d0
jmp 0xdad5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdabb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x808(%rbp), %rdi
callq 0x2af80
leaq -0x828(%rbp), %rdi
callq 0xc3d0
leaq -0x818(%rbp), %rdi
callq 0xc3d0
jmp 0xdaf6
jmp 0xdad7
leaq -0x7b0(%rbp), %rdi
callq 0x43390
jmp 0xdae5
jmp 0xd97c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x7e0(%rbp), %rdi
callq 0xbd90
leaq -0x7b0(%rbp), %rdi
callq 0xbd90
leaq -0x770(%rbp), %rdi
callq 0xbdd0
jmp 0xdb2a
leaq -0x3e0(%rbp), %rdi
callq 0x149f0
jmp 0xdb38
leaq -0x3e0(%rbp), %rdi
callq 0x149f0
jmp 0xdb4d
jmp 0xdb3a
leaq -0x388(%rbp), %rdi
callq 0x43390
jmp 0xdb48
jmp 0xcee7
leaq -0x3b8(%rbp), %rdi
callq 0xbd90
leaq -0x388(%rbp), %rdi
callq 0xbd90
leaq -0x308(%rbp), %rdi
callq 0xbdd0
jmp 0xdb92
leaq -0x2e8(%rbp), %rdi
callq 0xc3d0
leaq -0x2a8(%rbp), %rdi
callq 0x2b290
jmp 0xdb8d
jmp 0xcd40
leaq -0x2e8(%rbp), %rdi
callq 0xc3d0
leaq -0x2d8(%rbp), %rdi
callq 0x2b2d0
leaq -0x2a8(%rbp), %rdi
callq 0x2b2d0
jmp 0xdbd7
leaq -0x270(%rbp), %rdi
callq 0xc3d0
leaq -0x230(%rbp), %rdi
callq 0x2b290
jmp 0xdbd2
jmp 0xcc4c
leaq -0x270(%rbp), %rdi
callq 0xc3d0
leaq -0x260(%rbp), %rdi
callq 0x2b2d0
leaq -0x230(%rbp), %rdi
callq 0x2b2d0
jmp 0xdd9a
leaq -0x858(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
leaq -0x1f8(%rbp), %rdx
callq 0x2b320
jmp 0xdc1c
leaq -0x848(%rbp), %rdi
movq %rdi, -0xc50(%rbp)
leaq -0x858(%rbp), %rsi
movq %rsi, -0xc58(%rbp)
callq 0xbca0
movq -0xc58(%rbp), %rdi
callq 0xbd10
movq -0xc50(%rbp), %rax
movq %rax, -0x830(%rbp)
movq -0x830(%rbp), %rsi
leaq -0x888(%rbp), %rdi
callq 0x433e0
jmp 0xdc6c
movq -0x830(%rbp), %rsi
leaq -0x8b8(%rbp), %rdi
callq 0x43470
jmp 0xdc81
jmp 0xdc83
leaq -0x888(%rbp), %rdi
leaq -0x8b8(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xdce9
movl $0x18, -0x1cc(%rbp)
leaq -0x8b8(%rbp), %rdi
callq 0xbd90
leaq -0x888(%rbp), %rdi
callq 0xbd90
leaq -0x848(%rbp), %rdi
callq 0xbdd0
jmp 0xdd68
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdd5a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdd4e
leaq -0x888(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0x8b9(%rbp)
testb $0x1, -0x8b9(%rbp)
jne 0xdd08
jmp 0xdd39
leaq 0xa0719(%rip), %rsi     # 0xae428
leaq -0x120(%rbp), %rdi
callq 0x14490
jmp 0xdd1d
jmp 0xdd39
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x8b8(%rbp), %rdi
callq 0xbd90
jmp 0xdd4e
jmp 0xdd3b
leaq -0x888(%rbp), %rdi
callq 0x43390
jmp 0xdd49
jmp 0xdc83
leaq -0x888(%rbp), %rdi
callq 0xbd90
leaq -0x848(%rbp), %rdi
callq 0xbdd0
jmp 0xdd9a
leaq -0xa8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x2b3d0
jmp 0xdd7d
movl -0xfc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xfc(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x2abe0
jmp 0xdda8
leaq -0x1f8(%rbp), %rdi
callq 0x2abe0
jmp 0xddbd
jmp 0xddaa
leaq -0x198(%rbp), %rdi
callq 0x43390
jmp 0xddb8
jmp 0xca5e
leaq -0x1c8(%rbp), %rdi
callq 0xbd90
leaq -0x198(%rbp), %rdi
callq 0xbd90
leaq -0x158(%rbp), %rdi
callq 0xbdd0
jmp 0xe414
jmp 0xdde8
leaq -0x129(%rbp), %rdi
callq 0x2b680
jmp 0xddf6
jmp 0xc99c
movq 0xa01d6(%rip), %rdi     # 0xadfd8
leaq 0x6951b(%rip), %rsi     # 0x77324
callq 0x82b0
movq %rax, -0xc60(%rbp)
jmp 0xde17
movq -0xc60(%rbp), %rdi
movl -0xfc(%rbp), %esi
callq 0x84c0
movq %rax, -0xc68(%rbp)
jmp 0xde32
movq -0xc68(%rbp), %rdi
movq 0xa0170(%rip), %rsi     # 0xadfb0
callq 0x8300
movq %rax, -0xc70(%rbp)
jmp 0xde4e
movq -0xc70(%rbp), %rdi
movq 0xa0154(%rip), %rsi     # 0xadfb0
callq 0x8300
jmp 0xde63
leaq -0x8e8(%rbp), %rdi
callq 0x2b690
jmp 0xde71
movq -0xb00(%rbp), %rax
movq %rax, -0x8f0(%rbp)
movq -0x8f0(%rbp), %rsi
leaq -0x920(%rbp), %rdi
callq 0x2ad70
jmp 0xde94
movq -0x8f0(%rbp), %rsi
leaq -0x950(%rbp), %rdi
callq 0x2ada0
jmp 0xdea9
jmp 0xdeab
leaq -0x920(%rbp), %rdi
leaq -0x950(%rbp), %rsi
callq 0x2add0
movb %al, -0xc71(%rbp)
jmp 0xdec6
movb -0xc71(%rbp), %al
testb $0x1, %al
jne 0xdf2c
jmp 0xded2
movl $0x1a, -0x1cc(%rbp)
leaq -0x950(%rbp), %rdi
callq 0x2b2d0
leaq -0x920(%rbp), %rdi
callq 0x2b2d0
jmp 0xe2ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe408
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe2d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe2cd
leaq -0x920(%rbp), %rdi
callq 0x2ae80
movq %rax, -0xc80(%rbp)
jmp 0xdf41
movq -0xc80(%rbp), %rax
movq %rax, -0x958(%rbp)
leaq -0x980(%rbp), %rdi
callq 0xc050
jmp 0xdf5d
movq -0xb00(%rbp), %rax
movq %rax, -0x988(%rbp)
movq -0x988(%rbp), %rsi
leaq -0x9b8(%rbp), %rdi
callq 0x2ad70
jmp 0xdf80
movq -0x988(%rbp), %rsi
leaq -0x9e8(%rbp), %rdi
callq 0x2ada0
jmp 0xdf95
jmp 0xdf97
leaq -0x9b8(%rbp), %rdi
leaq -0x9e8(%rbp), %rsi
callq 0x2add0
movb %al, -0xc81(%rbp)
jmp 0xdfb2
movb -0xc81(%rbp), %al
testb $0x1, %al
jne 0xe018
jmp 0xdfbe
movl $0x1c, -0x1cc(%rbp)
leaq -0x9e8(%rbp), %rdi
callq 0x2b2d0
leaq -0x9b8(%rbp), %rdi
callq 0x2b2d0
jmp 0xe28d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe2c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe27f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe273
leaq -0x9b8(%rbp), %rdi
callq 0x2ae80
movq %rax, -0xc90(%rbp)
jmp 0xe02d
movq -0xc90(%rbp), %rax
movq %rax, -0x9f0(%rbp)
movq -0x958(%rbp), %rsi
leaq -0xa50(%rbp), %rdi
movq %rdi, -0xca0(%rbp)
callq 0x20510
movq -0x9f0(%rbp), %rsi
leaq -0xa60(%rbp), %rdi
movq %rdi, -0xc98(%rbp)
callq 0x20510
movq -0xca0(%rbp), %rsi
movq -0xc98(%rbp), %rdx
leaq -0xa40(%rbp), %rdi
callq 0x2aee0
jmp 0xe08b
leaq -0xa20(%rbp), %rdi
leaq -0xa40(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x2aea0
jmp 0xe0a7
leaq -0xa10(%rbp), %rdi
movq %rdi, -0xca8(%rbp)
leaq -0xa20(%rbp), %rsi
movq %rsi, -0xcb0(%rbp)
callq 0xbca0
movq -0xcb0(%rbp), %rdi
callq 0xbd10
leaq -0xa40(%rbp), %rdi
callq 0x2af80
leaq -0xa60(%rbp), %rdi
callq 0xc3d0
leaq -0xa50(%rbp), %rdi
callq 0xc3d0
movq -0xca8(%rbp), %rax
movq %rax, -0x9f8(%rbp)
movq -0x9f8(%rbp), %rsi
leaq -0xa90(%rbp), %rdi
callq 0x433e0
jmp 0xe11b
movq -0x9f8(%rbp), %rsi
leaq -0xac0(%rbp), %rdi
callq 0x43470
jmp 0xe130
jmp 0xe132
leaq -0xa90(%rbp), %rdi
leaq -0xac0(%rbp), %rsi
callq 0xbd30
testb $0x1, %al
jne 0xe1df
movl $0x1e, -0x1cc(%rbp)
leaq -0xac0(%rbp), %rdi
callq 0xbd90
leaq -0xa90(%rbp), %rdi
callq 0xbd90
leaq -0xa10(%rbp), %rdi
callq 0xbdd0
jmp 0xe25e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe1a6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xa40(%rbp), %rdi
callq 0x2af80
leaq -0xa60(%rbp), %rdi
callq 0xc3d0
leaq -0xa50(%rbp), %rdi
callq 0xc3d0
jmp 0xe273
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe250
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xe244
leaq -0xa90(%rbp), %rdi
callq 0xbd60
andb $0x1, %al
movb %al, -0xac1(%rbp)
testb $0x1, -0xac1(%rbp)
jne 0xe1fe
jmp 0xe22f
movq -0x9f0(%rbp), %rsi
leaq -0x980(%rbp), %rdi
callq 0xc310
jmp 0xe213
jmp 0xe22f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xac0(%rbp), %rdi
callq 0xbd90
jmp 0xe244
jmp 0xe231
leaq -0xa90(%rbp), %rdi
callq 0x43390
jmp 0xe23f
jmp 0xe132
leaq -0xa90(%rbp), %rdi
callq 0xbd90
leaq -0xa10(%rbp), %rdi
callq 0xbdd0
jmp 0xe273
jmp 0xe260
leaq -0x9b8(%rbp), %rdi
callq 0x2b290
jmp 0xe26e
jmp 0xdf97
leaq -0x9e8(%rbp), %rdi
callq 0x2b2d0
leaq -0x9b8(%rbp), %rdi
callq 0x2b2d0
jmp 0xe2c1
leaq -0x8e8(%rbp), %rdi
leaq -0x980(%rbp), %rsi
callq 0x2b6d0
jmp 0xe2a2
leaq -0x980(%rbp), %rdi
callq 0xe800
leaq -0x920(%rbp), %rdi
callq 0x2b290
jmp 0xe2bc
jmp 0xdeab
leaq -0x980(%rbp), %rdi
callq 0xe800
leaq -0x950(%rbp), %rdi
callq 0x2b2d0
leaq -0x920(%rbp), %rdi
callq 0x2b2d0
jmp 0xe408
movq 0x9fce7(%rip), %rdi     # 0xadfd8
leaq 0x69043(%rip), %rsi     # 0x7733b
callq 0x82b0
movq %rax, -0xcb8(%rbp)
jmp 0xe306
movq -0xcb8(%rbp), %rdi
leaq -0x8e8(%rbp), %rsi
callq 0x2b7a0
movq %rax, -0xcc0(%rbp)
jmp 0xe322
movq -0xcc0(%rbp), %rdi
movq 0x9fc80(%rip), %rsi     # 0xadfb0
callq 0x8300
jmp 0xe337
leaq -0xaf0(%rbp), %rdi
leaq -0x8e8(%rbp), %rsi
callq 0x2b7d0
jmp 0xe34c
leaq -0x8e8(%rbp), %rdi
leaq -0xaf0(%rbp), %rsi
callq 0x2bae0
jmp 0xe361
leaq -0xaf0(%rbp), %rdi
callq 0x2bd90
movq 0x9fc64(%rip), %rdi     # 0xadfd8
leaq 0x68fcc(%rip), %rsi     # 0x77347
callq 0x82b0
movq %rax, -0xcc8(%rbp)
jmp 0xe389
movq -0xcc8(%rbp), %rdi
leaq -0x8e8(%rbp), %rsi
callq 0x2b7a0
movq %rax, -0xcd0(%rbp)
jmp 0xe3a5
movq -0xcd0(%rbp), %rdi
movq 0x9fbfd(%rip), %rsi     # 0xadfb0
callq 0x8300
jmp 0xe3ba
leaq -0x8e8(%rbp), %rdi
callq 0x2bd90
leaq -0x120(%rbp), %rdi
callq 0x149f0
leaq -0xa8(%rbp), %rdi
callq 0x2abe0
leaq -0x48(%rbp), %rdi
callq 0xe800
addq $0xcd0, %rsp            # imm = 0xCD0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xaf0(%rbp), %rdi
callq 0x2bd90
leaq -0x8e8(%rbp), %rdi
callq 0x2bd90
leaq -0x120(%rbp), %rdi
callq 0x149f0
leaq -0xa8(%rbp), %rdi
callq 0x2abe0
leaq -0x48(%rbp), %rdi
callq 0xe800
movq -0x78(%rbp), %rdi
callq 0x84d0
nop