// File: eryxcc[P]lois/tests/autotest.cpp
// Function: testOrder(lois::lsetof<lois::term> const&)
void testOrder(const lsetof<term>& A) {

  for(const term& a: A) for(const term& b: A) for(const term& c: A) {
    rbool phi = (a<b);
    cout << phi << endl;

    testSat(NEVER, (a<b) && (b<c) && (c<a));
    testSat(MAYBE, a<b && b<c); 
    testSat(MAYBE, c<b && b<a);
    testSat(MAYBE, b<a && a<c); 
    testSat(MAYBE, c<a && a<b);
    testSat(MAYBE, a<c && c<b);
    testSat(MAYBE, b<c && c<a);

    lsetof<term> three = newSet({a,b,c});
    lelemof<term> mx = max(three);
    cout << "max(" << three << ") = " << mx << endl;

    lelemof<term> sup = supremum(three, A);
    cout << "supremum = " << sup << endl;
    testSat(ALWAYS, cardinality(newSet(sup)) == 1);
    testSat(ALWAYS, sup == mx);
    }

  for(term a: A) for(term b: A) If(a<b) {
    lelemof<term> sup = supremum(newSet(a,b), A);
    cout << "sup(a,b) = " << sup << endl;
    testSat(ALWAYS, cardinality(newSet(sup)) == 1);
    }
  
  for(term a: A) for(term b: A) If(a<b) {
    lsetof<term> interval = FILTER(z, A, a<z && z<b, term);
    lelemof<term> sup = supremum(interval, A);
    cout << "sup(interval) = " << sup << endl;
    testSat(ALWAYS, cardinality(newSet(sup)) == 1);
//  testSat(ALWAYS, card(sup) == 1);
    }

  lelemof<term> sup = supremum(A, A);

  cout << "sup(A) = " << sup << endl;
  testSat(ALWAYS, cardinality(newSet(sup)) == 0);
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb70, %rsp            # imm = 0xB70
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0x116d0
movq -0x10(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x11700
jmp 0xbf63
jmp 0xbf65
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x11730
movb %al, -0xa0d(%rbp)
jmp 0xbf7a
movb -0xa0d(%rbp), %al
testb $0x1, %al
jne 0xbfc6
jmp 0xbf86
movl $0x2, -0x80(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x11910
leaq -0x40(%rbp), %rdi
callq 0x11910
jmp 0xcd82
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd6b
leaq -0x40(%rbp), %rdi
callq 0x117e0
movq %rax, -0xa18(%rbp)
jmp 0xbfd8
movq -0xa18(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rsi
leaq -0xc0(%rbp), %rdi
callq 0x116d0
jmp 0xc006
movq -0x90(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x11700
jmp 0xc01b
jmp 0xc01d
leaq -0xc0(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x11730
movb %al, -0xa19(%rbp)
jmp 0xc038
movb -0xa19(%rbp), %al
testb $0x1, %al
jne 0xc08a
jmp 0xc044
movl $0x4, -0x80(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x11910
leaq -0xc0(%rbp), %rdi
callq 0x11910
jmp 0xcd59
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd4b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd3f
leaq -0xc0(%rbp), %rdi
callq 0x117e0
movq %rax, -0xa28(%rbp)
jmp 0xc09f
movq -0xa28(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rsi
leaq -0x130(%rbp), %rdi
callq 0x116d0
jmp 0xc0cd
movq -0x100(%rbp), %rsi
leaq -0x160(%rbp), %rdi
callq 0x11700
jmp 0xc0e2
jmp 0xc0e4
leaq -0x130(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x11730
movb %al, -0xa29(%rbp)
jmp 0xc0ff
movb -0xa29(%rbp), %al
testb $0x1, %al
jne 0xc151
jmp 0xc10b
movl $0x6, -0x80(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x11910
leaq -0x130(%rbp), %rdi
callq 0x11910
jmp 0xcd2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd10
leaq -0x130(%rbp), %rdi
callq 0x117e0
movq %rax, -0xa38(%rbp)
jmp 0xc166
movq -0xa38(%rbp), %rax
movq %rax, -0x168(%rbp)
movq -0x88(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x178(%rbp), %rdi
callq 0x11b10
jmp 0xc190
leaq -0x188(%rbp), %rdi
movq %rdi, -0xa48(%rbp)
leaq -0x178(%rbp), %rsi
callq 0x11030
movq -0xa48(%rbp), %rsi
movq 0x98e20(%rip), %rdi     # 0xa4fd8
callq 0x40060
movq %rax, -0xa40(%rbp)
jmp 0xc1c6
movq -0xa40(%rbp), %rdi
movq 0x98ddc(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xc1db
leaq -0x188(%rbp), %rdi
callq 0x11060
movq -0x88(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x1b8(%rbp), %rdi
callq 0x11b10
jmp 0xc203
movq -0xf8(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x1c8(%rbp), %rdi
callq 0x11b10
jmp 0xc21f
leaq -0x1a8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
leaq -0x1c8(%rbp), %rdx
callq 0x42150
jmp 0xc23b
movq -0x168(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0x1d8(%rbp), %rdi
callq 0x11b10
jmp 0xc257
leaq -0x198(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
leaq -0x1d8(%rbp), %rdx
callq 0x42150
jmp 0xc273
movl $0x2, %edi
leaq -0x198(%rbp), %rsi
callq 0x9120
jmp 0xc286
leaq -0x198(%rbp), %rdi
callq 0x11060
leaq -0x1d8(%rbp), %rdi
callq 0x11060
leaq -0x1a8(%rbp), %rdi
callq 0x11060
leaq -0x1c8(%rbp), %rdi
callq 0x11060
leaq -0x1b8(%rbp), %rdi
callq 0x11060
movq -0x88(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x1f8(%rbp), %rdi
callq 0x11b10
jmp 0xc2de
movq -0xf8(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x208(%rbp), %rdi
callq 0x11b10
jmp 0xc2fa
leaq -0x1e8(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
leaq -0x208(%rbp), %rdx
callq 0x42150
jmp 0xc316
movl $0x3, %edi
leaq -0x1e8(%rbp), %rsi
callq 0x9120
jmp 0xc329
leaq -0x1e8(%rbp), %rdi
callq 0x11060
leaq -0x208(%rbp), %rdi
callq 0x11060
leaq -0x1f8(%rbp), %rdi
callq 0x11060
movq -0x168(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x228(%rbp), %rdi
callq 0x11b10
jmp 0xc369
movq -0xf8(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0x238(%rbp), %rdi
callq 0x11b10
jmp 0xc385
leaq -0x218(%rbp), %rdi
leaq -0x228(%rbp), %rsi
leaq -0x238(%rbp), %rdx
callq 0x42150
jmp 0xc3a1
movl $0x3, %edi
leaq -0x218(%rbp), %rsi
callq 0x9120
jmp 0xc3b4
leaq -0x218(%rbp), %rdi
callq 0x11060
leaq -0x238(%rbp), %rdi
callq 0x11060
leaq -0x228(%rbp), %rdi
callq 0x11060
movq -0xf8(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0x258(%rbp), %rdi
callq 0x11b10
jmp 0xc3f4
movq -0x88(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x268(%rbp), %rdi
callq 0x11b10
jmp 0xc410
leaq -0x248(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x268(%rbp), %rdx
callq 0x42150
jmp 0xc42c
movl $0x3, %edi
leaq -0x248(%rbp), %rsi
callq 0x9120
jmp 0xc43f
leaq -0x248(%rbp), %rdi
callq 0x11060
leaq -0x268(%rbp), %rdi
callq 0x11060
leaq -0x258(%rbp), %rdi
callq 0x11060
movq -0x168(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0x288(%rbp), %rdi
callq 0x11b10
jmp 0xc47f
movq -0x88(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x298(%rbp), %rdi
callq 0x11b10
jmp 0xc49b
leaq -0x278(%rbp), %rdi
leaq -0x288(%rbp), %rsi
leaq -0x298(%rbp), %rdx
callq 0x42150
jmp 0xc4b7
movl $0x3, %edi
leaq -0x278(%rbp), %rsi
callq 0x9120
jmp 0xc4ca
leaq -0x278(%rbp), %rdi
callq 0x11060
leaq -0x298(%rbp), %rdi
callq 0x11060
leaq -0x288(%rbp), %rdi
callq 0x11060
movq -0x88(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x2b8(%rbp), %rdi
callq 0x11b10
jmp 0xc50a
movq -0x168(%rbp), %rsi
movq -0xf8(%rbp), %rdx
leaq -0x2c8(%rbp), %rdi
callq 0x11b10
jmp 0xc526
leaq -0x2a8(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
leaq -0x2c8(%rbp), %rdx
callq 0x42150
jmp 0xc542
movl $0x3, %edi
leaq -0x2a8(%rbp), %rsi
callq 0x9120
jmp 0xc555
leaq -0x2a8(%rbp), %rdi
callq 0x11060
leaq -0x2c8(%rbp), %rdi
callq 0x11060
leaq -0x2b8(%rbp), %rdi
callq 0x11060
movq -0xf8(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x2e8(%rbp), %rdi
callq 0x11b10
jmp 0xc595
movq -0x168(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0x2f8(%rbp), %rdi
callq 0x11b10
jmp 0xc5b1
leaq -0x2d8(%rbp), %rdi
leaq -0x2e8(%rbp), %rsi
leaq -0x2f8(%rbp), %rdx
callq 0x42150
jmp 0xc5cd
movl $0x3, %edi
leaq -0x2d8(%rbp), %rsi
callq 0x9120
jmp 0xc5e0
leaq -0x2d8(%rbp), %rdi
callq 0x11060
leaq -0x2f8(%rbp), %rdi
callq 0x11060
leaq -0x2e8(%rbp), %rdi
callq 0x11060
movq -0x88(%rbp), %rsi
leaq -0x360(%rbp), %rdi
movq %rdi, -0xa50(%rbp)
callq 0x11800
leaq -0x350(%rbp), %rdi
movq -0xf8(%rbp), %rsi
callq 0x11800
leaq -0x340(%rbp), %rdi
movq -0x168(%rbp), %rsi
callq 0x11800
movq -0xa50(%rbp), %rax
movq %rax, -0x330(%rbp)
movq $0x3, -0x328(%rbp)
movq -0x330(%rbp), %rsi
movq -0x328(%rbp), %rdx
leaq -0x320(%rbp), %rdi
callq 0x11b50
jmp 0xc679
leaq -0x360(%rbp), %rax
movq %rax, -0xa60(%rbp)
addq $0x30, %rax
movq %rax, -0xa58(%rbp)
movq -0xa58(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xa68(%rbp)
callq 0x11360
movq -0xa60(%rbp), %rcx
movq -0xa68(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xa58(%rbp)
jne 0xc692
leaq -0x3b0(%rbp), %rdi
leaq -0x320(%rbp), %rsi
callq 0x11520
jmp 0xc6d8
leaq -0x388(%rbp), %rdi
leaq -0x3b0(%rbp), %rsi
callq 0xb0c0
jmp 0xc6ed
leaq -0x3b0(%rbp), %rdi
callq 0x11960
movq 0x988d8(%rip), %rdi     # 0xa4fd8
leaq 0x65a08(%rip), %rsi     # 0x7210f
callq 0x82b0
movq %rax, -0xa70(%rbp)
jmp 0xc715
movq -0xa70(%rbp), %rdi
leaq -0x320(%rbp), %rsi
callq 0x11da0
movq %rax, -0xa78(%rbp)
jmp 0xc731
movq -0xa78(%rbp), %rdi
leaq 0x65b16(%rip), %rsi     # 0x72255
callq 0x82b0
movq %rax, -0xa80(%rbp)
jmp 0xc74d
movq -0xa80(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0x11ce0
movq %rax, -0xa88(%rbp)
jmp 0xc769
movq -0xa88(%rbp), %rdi
movq 0x98839(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xc77e
leaq -0x400(%rbp), %rdi
leaq -0x320(%rbp), %rsi
callq 0x11520
jmp 0xc793
movq -0x8(%rbp), %rsi
leaq -0x428(%rbp), %rdi
callq 0x11520
jmp 0xc7a5
leaq -0x3d8(%rbp), %rdi
leaq -0x400(%rbp), %rsi
leaq -0x428(%rbp), %rdx
callq 0xbb80
jmp 0xc7c1
leaq -0x428(%rbp), %rdi
callq 0x11960
leaq -0x400(%rbp), %rdi
callq 0x11960
movq 0x987f8(%rip), %rdi     # 0xa4fd8
leaq 0x6592d(%rip), %rsi     # 0x72114
callq 0x82b0
movq %rax, -0xa90(%rbp)
jmp 0xc7f5
movq -0xa90(%rbp), %rdi
leaq -0x3d8(%rbp), %rsi
callq 0x11ce0
movq %rax, -0xa98(%rbp)
jmp 0xc811
movq -0xa98(%rbp), %rdi
movq 0x98791(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xc826
leaq -0x3d8(%rbp), %rdi
callq 0x124d0
movq %rax, -0xaa0(%rbp)
jmp 0xc83b
movq -0xaa0(%rbp), %rsi
leaq -0x460(%rbp), %rdi
callq 0x11e50
jmp 0xc850
movl $0x1, -0x464(%rbp)
leaq -0x438(%rbp), %rdi
leaq -0x460(%rbp), %rsi
leaq -0x464(%rbp), %rdx
callq 0x11dd0
jmp 0xc876
movl $0x1, %edi
leaq -0x438(%rbp), %rsi
callq 0x9120
jmp 0xc889
leaq -0x438(%rbp), %rdi
callq 0x11060
leaq -0x460(%rbp), %rdi
callq 0x124e0
leaq -0x478(%rbp), %rdi
leaq -0x3d8(%rbp), %rsi
leaq -0x388(%rbp), %rdx
callq 0x12500
jmp 0xc8bd
movl $0x1, %edi
leaq -0x478(%rbp), %rsi
callq 0x9120
jmp 0xc8d0
leaq -0x478(%rbp), %rdi
callq 0x11060
leaq -0x3d8(%rbp), %rdi
callq 0x12540
leaq -0x388(%rbp), %rdi
callq 0x12540
leaq -0x320(%rbp), %rdi
callq 0x11960
leaq -0x178(%rbp), %rdi
callq 0x11060
leaq -0x130(%rbp), %rdi
callq 0x118d0
jmp 0xc91a
jmp 0xc0e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x188(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xc9c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xc9b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xc9a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xc99d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x198(%rbp), %rdi
callq 0x11060
leaq -0x1d8(%rbp), %rdi
callq 0x11060
leaq -0x1a8(%rbp), %rdi
callq 0x11060
leaq -0x1c8(%rbp), %rdi
callq 0x11060
leaq -0x1b8(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xca12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xca06
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x11060
leaq -0x208(%rbp), %rdi
callq 0x11060
leaq -0x1f8(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xca63
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xca57
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x218(%rbp), %rdi
callq 0x11060
leaq -0x238(%rbp), %rdi
callq 0x11060
leaq -0x228(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcab4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcaa8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x248(%rbp), %rdi
callq 0x11060
leaq -0x268(%rbp), %rdi
callq 0x11060
leaq -0x258(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcb05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcaf9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x278(%rbp), %rdi
callq 0x11060
leaq -0x298(%rbp), %rdi
callq 0x11060
leaq -0x288(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcb56
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcb4a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x2a8(%rbp), %rdi
callq 0x11060
leaq -0x2c8(%rbp), %rdi
callq 0x11060
leaq -0x2b8(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcba7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcb9b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x2d8(%rbp), %rdi
callq 0x11060
leaq -0x2f8(%rbp), %rdi
callq 0x11060
leaq -0x2e8(%rbp), %rdi
callq 0x11060
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x360(%rbp), %rax
movq %rax, -0xab0(%rbp)
addq $0x30, %rax
movq %rax, -0xaa8(%rbp)
movq -0xaa8(%rbp), %rdi
addq $-0x10, %rdi
movq %rdi, -0xab8(%rbp)
callq 0x11360
movq -0xab0(%rbp), %rcx
movq -0xab8(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xaa8(%rbp)
jne 0xcbdd
jmp 0xcd04
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xccf8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x3b0(%rbp), %rdi
callq 0x11960
jmp 0xccf8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xccec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcc78
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x428(%rbp), %rdi
callq 0x11960
leaq -0x400(%rbp), %rdi
callq 0x11960
jmp 0xccec
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xcce0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xccba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x438(%rbp), %rdi
callq 0x11060
leaq -0x460(%rbp), %rdi
callq 0x124e0
jmp 0xcce0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x478(%rbp), %rdi
callq 0x11060
leaq -0x3d8(%rbp), %rdi
callq 0x12540
leaq -0x388(%rbp), %rdi
callq 0x12540
leaq -0x320(%rbp), %rdi
callq 0x11960
leaq -0x178(%rbp), %rdi
callq 0x11060
leaq -0x160(%rbp), %rdi
callq 0x11910
leaq -0x130(%rbp), %rdi
callq 0x11910
jmp 0xcd3f
jmp 0xcd2c
leaq -0xc0(%rbp), %rdi
callq 0x118d0
jmp 0xcd3a
jmp 0xc01d
leaq -0xf0(%rbp), %rdi
callq 0x11910
leaq -0xc0(%rbp), %rdi
callq 0x11910
jmp 0xcd6b
jmp 0xcd5b
leaq -0x40(%rbp), %rdi
callq 0x118d0
jmp 0xcd66
jmp 0xbf65
leaq -0x70(%rbp), %rdi
callq 0x11910
leaq -0x40(%rbp), %rdi
callq 0x11910
jmp 0xdb31
movq -0x8(%rbp), %rax
movq %rax, -0x480(%rbp)
movq -0x480(%rbp), %rsi
leaq -0x4b0(%rbp), %rdi
callq 0x116d0
movq -0x480(%rbp), %rsi
leaq -0x4e0(%rbp), %rdi
callq 0x11700
jmp 0xcdb5
jmp 0xcdb7
leaq -0x4b0(%rbp), %rdi
leaq -0x4e0(%rbp), %rsi
callq 0x11730
movb %al, -0xab9(%rbp)
jmp 0xcdd2
movb -0xab9(%rbp), %al
testb $0x1, %al
jne 0xce24
jmp 0xcdde
movl $0x8, -0x80(%rbp)
leaq -0x4e0(%rbp), %rdi
callq 0x11910
leaq -0x4b0(%rbp), %rdi
callq 0x11910
jmp 0xd38a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd379
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd36d
leaq -0x4b0(%rbp), %rdi
callq 0x117e0
movq %rax, -0xac8(%rbp)
jmp 0xce39
movq -0xac8(%rbp), %rsi
leaq -0x4f0(%rbp), %rdi
callq 0x11800
movq -0x8(%rbp), %rax
movq %rax, -0x4f8(%rbp)
movq -0x4f8(%rbp), %rsi
leaq -0x528(%rbp), %rdi
callq 0x116d0
jmp 0xce6c
movq -0x4f8(%rbp), %rsi
leaq -0x558(%rbp), %rdi
callq 0x11700
jmp 0xce81
jmp 0xce83
leaq -0x528(%rbp), %rdi
leaq -0x558(%rbp), %rsi
callq 0x11730
movb %al, -0xac9(%rbp)
jmp 0xce9e
movb -0xac9(%rbp), %al
testb $0x1, %al
jne 0xcf01
jmp 0xceaa
movl $0xa, -0x80(%rbp)
leaq -0x558(%rbp), %rdi
callq 0x11910
leaq -0x528(%rbp), %rdi
callq 0x11910
jmp 0xd342
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd361
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd334
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd328
leaq -0x528(%rbp), %rdi
callq 0x117e0
movq %rax, -0xad8(%rbp)
jmp 0xcf16
movq -0xad8(%rbp), %rsi
leaq -0x568(%rbp), %rdi
movq %rdi, -0xae0(%rbp)
callq 0x11800
movq -0xae0(%rbp), %rdx
leaq -0x598(%rbp), %rdi
leaq -0x4f0(%rbp), %rsi
callq 0x11b10
jmp 0xcf4c
leaq -0x588(%rbp), %rdi
leaq -0x598(%rbp), %rsi
callq 0x10ff0
jmp 0xcf61
leaq -0x598(%rbp), %rdi
callq 0x11060
leaq -0x588(%rbp), %rax
movq %rax, -0x570(%rbp)
movq -0x570(%rbp), %rsi
leaq -0x5c8(%rbp), %rdi
callq 0x3ead0
jmp 0xcf90
movq -0x570(%rbp), %rsi
leaq -0x5f8(%rbp), %rdi
callq 0x3eb60
jmp 0xcfa5
jmp 0xcfa7
leaq -0x5c8(%rbp), %rdi
leaq -0x5f8(%rbp), %rsi
callq 0x11080
movb %al, -0xae1(%rbp)
jmp 0xcfc2
movb -0xae1(%rbp), %al
testb $0x1, %al
jne 0xd063
jmp 0xcfd2
movl $0xc, -0x80(%rbp)
leaq -0x5f8(%rbp), %rdi
callq 0x110e0
leaq -0x5c8(%rbp), %rdi
callq 0x110e0
leaq -0x588(%rbp), %rdi
callq 0x11120
jmp 0xd2fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd31c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x598(%rbp), %rdi
callq 0x11060
jmp 0xd31c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd2ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd2e3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd2d7
leaq -0x5c8(%rbp), %rdi
callq 0x110b0
movb %al, -0xae2(%rbp)
jmp 0xd077
movb -0xae2(%rbp), %al
andb $0x1, %al
movb %al, -0x5f9(%rbp)
testb $0x1, -0x5f9(%rbp)
jne 0xd093
jmp 0xd2c2
leaq -0x660(%rbp), %rdi
movq %rdi, -0xaf8(%rbp)
leaq -0x4f0(%rbp), %rsi
callq 0x11800
leaq -0x670(%rbp), %rdi
movq %rdi, -0xaf0(%rbp)
leaq -0x568(%rbp), %rsi
callq 0x11800
movq -0xaf8(%rbp), %rsi
movq -0xaf0(%rbp), %rdx
leaq -0x650(%rbp), %rdi
callq 0x12560
jmp 0xd0e3
movq -0x8(%rbp), %rsi
leaq -0x698(%rbp), %rdi
callq 0x11520
jmp 0xd0f5
leaq -0x628(%rbp), %rdi
leaq -0x650(%rbp), %rsi
leaq -0x698(%rbp), %rdx
callq 0xbb80
jmp 0xd111
leaq -0x698(%rbp), %rdi
callq 0x11960
leaq -0x650(%rbp), %rdi
callq 0x11960
leaq -0x670(%rbp), %rdi
callq 0x11360
leaq -0x660(%rbp), %rdi
callq 0x11360
movq 0x97e90(%rip), %rdi     # 0xa4fd8
leaq 0x64fd1(%rip), %rsi     # 0x72120
callq 0x82b0
movq %rax, -0xb00(%rbp)
jmp 0xd15d
movq -0xb00(%rbp), %rdi
leaq -0x628(%rbp), %rsi
callq 0x11ce0
movq %rax, -0xb08(%rbp)
jmp 0xd179
movq -0xb08(%rbp), %rdi
movq 0x97e29(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xd18e
leaq -0x628(%rbp), %rdi
callq 0x124d0
movq %rax, -0xb10(%rbp)
jmp 0xd1a3
movq -0xb10(%rbp), %rsi
leaq -0x6d0(%rbp), %rdi
callq 0x11e50
jmp 0xd1b8
movl $0x1, -0x6d4(%rbp)
leaq -0x6a8(%rbp), %rdi
leaq -0x6d0(%rbp), %rsi
leaq -0x6d4(%rbp), %rdx
callq 0x11dd0
jmp 0xd1de
movl $0x1, %edi
leaq -0x6a8(%rbp), %rsi
callq 0x9120
jmp 0xd1f1
leaq -0x6a8(%rbp), %rdi
callq 0x11060
leaq -0x6d0(%rbp), %rdi
callq 0x124e0
leaq -0x628(%rbp), %rdi
callq 0x12540
jmp 0xd2c2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd25a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd24e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x698(%rbp), %rdi
callq 0x11960
leaq -0x650(%rbp), %rdi
callq 0x11960
leaq -0x670(%rbp), %rdi
callq 0x11360
leaq -0x660(%rbp), %rdi
callq 0x11360
jmp 0xd2d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd2b4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd2a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x6a8(%rbp), %rdi
callq 0x11060
leaq -0x6d0(%rbp), %rdi
callq 0x124e0
leaq -0x628(%rbp), %rdi
callq 0x12540
jmp 0xd2d7
jmp 0xd2c4
leaq -0x5c8(%rbp), %rdi
callq 0x3ea80
jmp 0xd2d2
jmp 0xcfa7
leaq -0x5f8(%rbp), %rdi
callq 0x110e0
leaq -0x5c8(%rbp), %rdi
callq 0x110e0
leaq -0x588(%rbp), %rdi
callq 0x11120
jmp 0xd31c
leaq -0x568(%rbp), %rdi
callq 0x11360
leaq -0x528(%rbp), %rdi
callq 0x118d0
jmp 0xd317
jmp 0xce83
leaq -0x568(%rbp), %rdi
callq 0x11360
leaq -0x558(%rbp), %rdi
callq 0x11910
leaq -0x528(%rbp), %rdi
callq 0x11910
jmp 0xd361
leaq -0x4f0(%rbp), %rdi
callq 0x11360
leaq -0x4b0(%rbp), %rdi
callq 0x118d0
jmp 0xd35c
jmp 0xcdb7
leaq -0x4f0(%rbp), %rdi
callq 0x11360
leaq -0x4e0(%rbp), %rdi
callq 0x11910
leaq -0x4b0(%rbp), %rdi
callq 0x11910
jmp 0xdb31
movq -0x8(%rbp), %rax
movq %rax, -0x6e0(%rbp)
movq -0x6e0(%rbp), %rsi
leaq -0x710(%rbp), %rdi
callq 0x116d0
movq -0x6e0(%rbp), %rsi
leaq -0x740(%rbp), %rdi
callq 0x11700
jmp 0xd3bd
jmp 0xd3bf
leaq -0x710(%rbp), %rdi
leaq -0x740(%rbp), %rsi
callq 0x11730
movb %al, -0xb11(%rbp)
jmp 0xd3da
movb -0xb11(%rbp), %al
testb $0x1, %al
jne 0xd42c
jmp 0xd3e6
movl $0xe, -0x80(%rbp)
leaq -0x740(%rbp), %rdi
callq 0x11910
leaq -0x710(%rbp), %rdi
callq 0x11910
jmp 0xd97e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd96d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd961
leaq -0x710(%rbp), %rdi
callq 0x117e0
movq %rax, -0xb20(%rbp)
jmp 0xd441
movq -0xb20(%rbp), %rsi
leaq -0x750(%rbp), %rdi
callq 0x11800
movq -0x8(%rbp), %rax
movq %rax, -0x758(%rbp)
movq -0x758(%rbp), %rsi
leaq -0x788(%rbp), %rdi
callq 0x116d0
jmp 0xd474
movq -0x758(%rbp), %rsi
leaq -0x7b8(%rbp), %rdi
callq 0x11700
jmp 0xd489
jmp 0xd48b
leaq -0x788(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
callq 0x11730
movb %al, -0xb21(%rbp)
jmp 0xd4a6
movb -0xb21(%rbp), %al
testb $0x1, %al
jne 0xd509
jmp 0xd4b2
movl $0x10, -0x80(%rbp)
leaq -0x7b8(%rbp), %rdi
callq 0x11910
leaq -0x788(%rbp), %rdi
callq 0x11910
jmp 0xd936
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd955
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd928
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd91c
leaq -0x788(%rbp), %rdi
callq 0x117e0
movq %rax, -0xb30(%rbp)
jmp 0xd51e
movq -0xb30(%rbp), %rsi
leaq -0x7c8(%rbp), %rdi
movq %rdi, -0xb38(%rbp)
callq 0x11800
movq -0xb38(%rbp), %rdx
leaq -0x7f8(%rbp), %rdi
leaq -0x750(%rbp), %rsi
callq 0x11b10
jmp 0xd554
leaq -0x7e8(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
callq 0x10ff0
jmp 0xd569
leaq -0x7f8(%rbp), %rdi
callq 0x11060
leaq -0x7e8(%rbp), %rax
movq %rax, -0x7d0(%rbp)
movq -0x7d0(%rbp), %rsi
leaq -0x828(%rbp), %rdi
callq 0x3ead0
jmp 0xd598
movq -0x7d0(%rbp), %rsi
leaq -0x858(%rbp), %rdi
callq 0x3eb60
jmp 0xd5ad
jmp 0xd5af
leaq -0x828(%rbp), %rdi
leaq -0x858(%rbp), %rsi
callq 0x11080
movb %al, -0xb39(%rbp)
jmp 0xd5ca
movb -0xb39(%rbp), %al
testb $0x1, %al
jne 0xd66b
jmp 0xd5da
movl $0x12, -0x80(%rbp)
leaq -0x858(%rbp), %rdi
callq 0x110e0
leaq -0x828(%rbp), %rdi
callq 0x110e0
leaq -0x7e8(%rbp), %rdi
callq 0x11120
jmp 0xd8f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd910
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x7f8(%rbp), %rdi
callq 0x11060
jmp 0xd910
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8e3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8cb
leaq -0x828(%rbp), %rdi
callq 0x110b0
movb %al, -0xb3a(%rbp)
jmp 0xd67f
movb -0xb3a(%rbp), %al
andb $0x1, %al
movb %al, -0x859(%rbp)
testb $0x1, -0x859(%rbp)
jne 0xd69b
jmp 0xd8b6
movq -0x8(%rbp), %rax
movq %rax, -0x8a0(%rbp)
leaq -0x750(%rbp), %rax
movq %rax, -0x898(%rbp)
leaq -0x7c8(%rbp), %rax
movq %rax, -0x890(%rbp)
leaq -0x888(%rbp), %rdi
leaq -0x8a0(%rbp), %rsi
callq 0xdb40
jmp 0xd6d7
leaq -0x8f0(%rbp), %rdi
leaq -0x888(%rbp), %rsi
callq 0x11520
jmp 0xd6ec
movq -0x8(%rbp), %rsi
leaq -0x918(%rbp), %rdi
callq 0x11520
jmp 0xd6fe
leaq -0x8c8(%rbp), %rdi
leaq -0x8f0(%rbp), %rsi
leaq -0x918(%rbp), %rdx
callq 0xbb80
jmp 0xd71a
leaq -0x918(%rbp), %rdi
callq 0x11960
leaq -0x8f0(%rbp), %rdi
callq 0x11960
movq 0x9789f(%rip), %rdi     # 0xa4fd8
leaq 0x649ec(%rip), %rsi     # 0x7212c
callq 0x82b0
movq %rax, -0xb48(%rbp)
jmp 0xd74e
movq -0xb48(%rbp), %rdi
leaq -0x8c8(%rbp), %rsi
callq 0x11ce0
movq %rax, -0xb50(%rbp)
jmp 0xd76a
movq -0xb50(%rbp), %rdi
movq 0x97838(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xd77f
leaq -0x8c8(%rbp), %rdi
callq 0x124d0
movq %rax, -0xb58(%rbp)
jmp 0xd794
movq -0xb58(%rbp), %rsi
leaq -0x950(%rbp), %rdi
callq 0x11e50
jmp 0xd7a9
movl $0x1, -0x954(%rbp)
leaq -0x928(%rbp), %rdi
leaq -0x950(%rbp), %rsi
leaq -0x954(%rbp), %rdx
callq 0x11dd0
jmp 0xd7cf
movl $0x1, %edi
leaq -0x928(%rbp), %rsi
callq 0x9120
jmp 0xd7e2
leaq -0x928(%rbp), %rdi
callq 0x11060
leaq -0x950(%rbp), %rdi
callq 0x124e0
leaq -0x8c8(%rbp), %rdi
callq 0x12540
leaq -0x888(%rbp), %rdi
callq 0x11960
jmp 0xd8b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd8a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd84e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x918(%rbp), %rdi
callq 0x11960
leaq -0x8f0(%rbp), %rdi
callq 0x11960
jmp 0xd8a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xd890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x928(%rbp), %rdi
callq 0x11060
leaq -0x950(%rbp), %rdi
callq 0x124e0
leaq -0x8c8(%rbp), %rdi
callq 0x12540
leaq -0x888(%rbp), %rdi
callq 0x11960
jmp 0xd8cb
jmp 0xd8b8
leaq -0x828(%rbp), %rdi
callq 0x3ea80
jmp 0xd8c6
jmp 0xd5af
leaq -0x858(%rbp), %rdi
callq 0x110e0
leaq -0x828(%rbp), %rdi
callq 0x110e0
leaq -0x7e8(%rbp), %rdi
callq 0x11120
jmp 0xd910
leaq -0x7c8(%rbp), %rdi
callq 0x11360
leaq -0x788(%rbp), %rdi
callq 0x118d0
jmp 0xd90b
jmp 0xd48b
leaq -0x7c8(%rbp), %rdi
callq 0x11360
leaq -0x7b8(%rbp), %rdi
callq 0x11910
leaq -0x788(%rbp), %rdi
callq 0x11910
jmp 0xd955
leaq -0x750(%rbp), %rdi
callq 0x11360
leaq -0x710(%rbp), %rdi
callq 0x118d0
jmp 0xd950
jmp 0xd3bf
leaq -0x750(%rbp), %rdi
callq 0x11360
leaq -0x740(%rbp), %rdi
callq 0x11910
leaq -0x710(%rbp), %rdi
callq 0x11910
jmp 0xdb31
movq -0x8(%rbp), %rsi
leaq -0x9a8(%rbp), %rdi
callq 0x11520
movq -0x8(%rbp), %rsi
leaq -0x9d0(%rbp), %rdi
callq 0x11520
jmp 0xd9a0
leaq -0x980(%rbp), %rdi
leaq -0x9a8(%rbp), %rsi
leaq -0x9d0(%rbp), %rdx
callq 0xbb80
jmp 0xd9bc
leaq -0x9d0(%rbp), %rdi
callq 0x11960
leaq -0x9a8(%rbp), %rdi
callq 0x11960
movq 0x975fd(%rip), %rdi     # 0xa4fd8
leaq 0x6475b(%rip), %rsi     # 0x7213d
callq 0x82b0
movq %rax, -0xb60(%rbp)
jmp 0xd9f0
movq -0xb60(%rbp), %rdi
leaq -0x980(%rbp), %rsi
callq 0x11ce0
movq %rax, -0xb68(%rbp)
jmp 0xda0c
movq -0xb68(%rbp), %rdi
movq 0x97596(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0xda21
leaq -0x980(%rbp), %rdi
callq 0x124d0
movq %rax, -0xb70(%rbp)
jmp 0xda36
movq -0xb70(%rbp), %rsi
leaq -0xa08(%rbp), %rdi
callq 0x11e50
jmp 0xda4b
movl $0x0, -0xa0c(%rbp)
leaq -0x9e0(%rbp), %rdi
leaq -0xa08(%rbp), %rsi
leaq -0xa0c(%rbp), %rdx
callq 0x11dd0
jmp 0xda71
movl $0x1, %edi
leaq -0x9e0(%rbp), %rsi
callq 0x9120
jmp 0xda84
leaq -0x9e0(%rbp), %rdi
callq 0x11060
leaq -0xa08(%rbp), %rdi
callq 0x124e0
leaq -0x980(%rbp), %rdi
callq 0x12540
addq $0xb70, %rsp            # imm = 0xB70
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdad7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x9d0(%rbp), %rdi
callq 0x11960
leaq -0x9a8(%rbp), %rdi
callq 0x11960
jmp 0xdb31
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb25
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0xdb19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0x9e0(%rbp), %rdi
callq 0x11060
leaq -0xa08(%rbp), %rdi
callq 0x124e0
leaq -0x980(%rbp), %rdi
callq 0x12540
movq -0x78(%rbp), %rdi
callq 0x84d0
nopw (%rax,%rax)