// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::lpair<lois::term, lois::term>>::insert(lois::lpair<lois::term, lois::term>, std::shared_ptr<lois::Context>, std::shared_ptr<lois::Context>)
void lsetof<T>::insert(T a, contextptr ain, contextptr nowenv) {

  if(debuglois) std::cout << ido << "insert " << a << ieol << "  ENV " << emptycontext << ieol << "  AIN "<< ain << std::endl;
  autoindenter i1;
  
  varlist selvar;
  rbool selphi = ftrue;
  
  varlist to_quantify;
  
  contextptr ainlocal = nowenv;  

  contextptr nowenv2 = nowenv;  

  while(ainlocal != ain) {
    nowenv2 = ainlocal;
    if(!ainlocal) throw env_exception();
    rbool aphi = ainlocal->phi;
    selphi = selphi && aphi;
    for(auto w: ainlocal->var) 
      if(isused(w, selphi) || isused(w, a)) {
        term w1 = valueKnown(selphi, w, false);
        if(debuglois) std::cout << ido << "checking variable: " << w << std::endl;
        
        if(w1.p) {
          if(debuglois) std::cout << ido << "value known to be " << w1 << std::endl;
          if(debuglois) std::cout << "sub selphi\n";
          selphi = substitute(selphi, w, w1);
          if(debuglois) std::cout << "selphi = " << selphi << std::endl;
          if(debuglois) std::cout << "sub a::\n";
          if(debuglois) std::cout << "a = " << a << std::endl;
          in_substitution = true;
          a = substitute(a, w, w1);
          in_substitution = false;
          if(debuglois) std::cout << "a = " << a << std::endl;
          }
        else if(isused(w, a)) {
          if(debuglois) std::cout << ido << "value of " << w << " not known, added to selvar" << std::endl;
          selvar.push_back(w);
          }
        else {
          if(debuglois) std::cout << ido << "value of " << w << " not known, added to to_quantify" << std::endl;
          to_quantify.push_back(w);
          }
        }
    ainlocal = ainlocal->parent;
    }
  
  nowenv = nowenv2;
  if(to_quantify.size()) {
    if(debuglois) std::cout << ido << "phi (1) = " << selphi << std::endl;
    if(debuglois) for(vptr v: to_quantify) std::cout << ido << "quantifier to add: " << v << std::endl;
    selphi = makequantifier(false, selphi, to_quantify);
    if(debuglois) std::cout << ido << "phi (2) = " << selphi << std::endl;
    }
#ifdef AGGSYM
  aggressive_simplify(selvar, selphi, a, ain);
#endif

  if(debuglois) {
    for(vptr v: selvar) 
    std::cout << ido << "| selvar = " << v << std::endl;
    std::cout << ido << "| selphi = " << selphi << std::endl;
    std::cout << ido << "| a      = " << a << std::endl;
    }

  elts.emplace_back(std::make_shared<SimpleSetOf<T>>(selvar, selphi, a));
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x308, %rsp            # imm = 0x308
movq %rcx, %rbp
movq %rdx, 0x18(%rsp)
movq %rsi, %r12
movq %rdi, 0xb0(%rsp)
leaq 0x2fcf1(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0x19fa8
leaq 0x2f3b1(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2f10f(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x1726b(%rip), %rsi     # 0x31138
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x2a8(%rsp), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x1accc
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1acf5
leaq 0x2f373(%rip), %r14     # 0x49270
movq (%r14), %rsi
movq %rax, %rdi
callq 0x2d27c
leaq 0x17231(%rip), %rsi     # 0x31140
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x2f83f(%rip), %rsi     # 0x49760
leaq 0x220(%rsp), %r15
movq %r15, %rdi
callq 0xf7c2
movq %rbx, %rdi
movq %r15, %rsi
callq 0x112f0
movq (%r14), %rsi
movq %rax, %rdi
callq 0x2d27c
leaq 0x171f9(%rip), %rsi     # 0x31147
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x210(%rsp), %r15
movq %r15, %rdi
movq 0x18(%rsp), %rsi
callq 0xf7c2
movq %rbx, %rdi
movq %r15, %rsi
callq 0x112f0
movq %rax, %rdi
callq 0x7130
leaq 0x218(%rsp), %rdi
callq 0xefce
leaq 0x228(%rsp), %rdi
callq 0xefce
leaq 0x2a8(%rsp), %rdi
callq 0xde74
movq %r12, (%rsp)
leaq 0x2f935(%rip), %rax     # 0x498e8
addl $0x2, (%rax)
xorps %xmm0, %xmm0
leaq 0x80(%rsp), %rax
movaps %xmm0, (%rax)
andq $0x0, 0x10(%rax)
leaq 0x2f7e0(%rip), %rsi     # 0x497b0
leaq 0x8(%rsp), %rdi
callq 0xf04a
leaq 0x60(%rsp), %rax
xorps %xmm0, %xmm0
movaps %xmm0, (%rax)
andq $0x0, 0x10(%rax)
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
movq %rbp, %rsi
callq 0xf7c2
leaq 0xa0(%rsp), %rdi
movq %rbp, 0xb8(%rsp)
movq %rbp, %rsi
callq 0xf7c2
leaq 0x58(%rsp), %rax
movq %rax, 0x98(%rsp)
leaq 0x20(%rsp), %rbp
leaq 0x1d0(%rsp), %r12
movq 0x40(%rsp), %rax
movq 0x18(%rsp), %rcx
cmpq (%rcx), %rax
je 0x1a668
leaq 0xa0(%rsp), %rdi
movq %rbx, %rsi
callq 0x112d4
movq 0x40(%rsp), %rsi
testq %rsi, %rsi
je 0x1aa5e
addq $0x10, %rsi
leaq 0x200(%rsp), %rbx
movq %rbx, %rdi
callq 0xf04a
leaq 0x1f0(%rsp), %r14
movq %r14, %rdi
leaq 0x8(%rsp), %rsi
callq 0xf04a
leaq 0x1e0(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf04a
movq %rbp, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x20113
leaq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0xf3dc
leaq 0x28(%rsp), %rdi
callq 0xefce
leaq 0x1e8(%rsp), %rdi
callq 0xefce
leaq 0x1f8(%rsp), %rdi
callq 0xefce
movq 0x40(%rsp), %rax
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rax
movq %rax, 0xc0(%rsp)
leaq 0x2faec(%rip), %r15     # 0x49be0
cmpq 0xc0(%rsp), %rsi
je 0x1a644
movq %rbp, %r14
movq %r12, %rdi
movq %rsi, 0xc8(%rsp)
callq 0x1160e
leaq 0xe0(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1160e
leaq 0xd0(%rsp), %rbp
movq %rbp, %rdi
leaq 0x8(%rsp), %rsi
callq 0xf04a
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1ef3f
testb %al, %al
je 0x1a16b
leaq 0xd8(%rsp), %rdi
callq 0xefce
leaq 0xe8(%rsp), %rdi
callq 0xefce
movq %r14, %rbp
jmp 0x1a1d9
leaq 0x1c0(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1160e
leaq 0x2e8(%rsp), %rbp
movq %rbp, %rdi
movq (%rsp), %rsi
callq 0x1accc
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1ad3e
movl %eax, %ebx
movq %rbp, %rdi
callq 0xde74
leaq 0x1c8(%rsp), %rdi
callq 0xefce
leaq 0xd8(%rsp), %rdi
callq 0xefce
leaq 0xe8(%rsp), %rdi
callq 0xefce
testb %bl, %bl
movq %r14, %rbp
je 0x1a626
leaq 0x1b0(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1160e
leaq 0x50(%rsp), %rdi
leaq 0x8(%rsp), %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
callq 0x216ba
movq 0x2edc9(%rip), %r14     # 0x48fd0
leaq 0x1b8(%rsp), %rdi
callq 0xefce
leaq 0x2f97d(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0x1a27e
leaq 0x2f041(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq %r14, %rdi
callq 0x2d27c
movq %rax, %rdi
leaq 0x16f12(%rip), %rsi     # 0x3114e
callq 0x7230
movq %rax, %rbx
movq %r12, %rsi
leaq 0x1a0(%rsp), %r13
movq %r13, %rdi
callq 0x1160e
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1f79c
movq %rax, %rdi
callq 0x7130
leaq 0x1a8(%rsp), %rdi
callq 0xefce
leaq 0x2f962(%rip), %r15     # 0x49be0
cmpq $0x0, 0x50(%rsp)
je 0x1a4b3
leaq 0x2f907(%rip), %rax     # 0x49b98
movb (%rax), %al
cmpb $0x1, %al
jne 0x1a2d6
leaq 0x2efca(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq %r14, %rdi
callq 0x2d27c
movq %rax, %rdi
leaq 0x16eaf(%rip), %rsi     # 0x31162
callq 0x7230
movq %rax, %rdi
leaq 0x50(%rsp), %rsi
callq 0xd05a
movq %rax, %rdi
callq 0x7130
leaq 0x2f8c4(%rip), %rax     # 0x49b98
movb (%rax), %al
testb $0x1, %al
je 0x1a2e9
movq %r14, %rdi
leaq 0x16e91(%rip), %rsi     # 0x31175
callq 0x7230
leaq 0x190(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1160e
movq %rbp, %rdi
leaq 0x8(%rsp), %rsi
movq %rbx, %rdx
leaq 0x50(%rsp), %rcx
callq 0x11378
leaq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0xf3dc
leaq 0x28(%rsp), %rdi
callq 0xefce
leaq 0x198(%rsp), %rdi
callq 0xefce
leaq 0x2f85c(%rip), %rax     # 0x49b98
movb (%rax), %al
cmpb $0x1, %al
jne 0x1a399
movq %r14, %rdi
leaq 0x16ec2(%rip), %rsi     # 0x3120e
callq 0x7230
movq %rax, %rbx
leaq 0x180(%rsp), %r15
movq %r15, %rdi
leaq 0x8(%rsp), %rsi
callq 0xf04a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0x188(%rsp), %rdi
callq 0xefce
leaq 0x2f808(%rip), %rax     # 0x49b98
movb (%rax), %al
leaq 0x2f847(%rip), %r15     # 0x49be0
testb $0x1, %al
je 0x1a3b5
movq %r14, %rdi
leaq 0x16dda(%rip), %rsi     # 0x31181
callq 0x7230
leaq 0x2f7e5(%rip), %rax     # 0x49b98
movb (%rax), %al
testb $0x1, %al
je 0x1a406
movq %r14, %rdi
leaq 0x16dc7(%rip), %rsi     # 0x3118a
callq 0x7230
movq %rax, %rbx
leaq 0x288(%rsp), %r15
movq %r15, %rdi
movq (%rsp), %rsi
callq 0x1accc
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1acf5
movq %rax, %rdi
callq 0x7130
leaq 0x288(%rsp), %rdi
callq 0xde74
leaq 0x2f7da(%rip), %r15     # 0x49be0
movq %r12, %rsi
movb $0x1, (%r15)
leaq 0x170(%rsp), %r13
movq %r13, %rdi
callq 0x1160e
movq %rbp, %rdi
movq (%rsp), %rbx
movq %rbx, %rsi
movq %r13, %rdx
leaq 0x50(%rsp), %rcx
callq 0x1add6
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x1ae62
movq %rbp, %rdi
callq 0xde74
leaq 0x178(%rsp), %rdi
callq 0xefce
movb $0x0, (%r15)
leaq 0x2f739(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0x1a61c
movq %r14, %rdi
leaq 0x16d18(%rip), %rsi     # 0x3118a
callq 0x7230
movq %rax, %rbx
leaq 0x268(%rsp), %r14
movq %r14, %rdi
movq (%rsp), %rsi
callq 0x1accc
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1acf5
movq %rax, %rdi
callq 0x7130
leaq 0x268(%rsp), %rdi
callq 0xde74
jmp 0x1a61c
movq %r15, %r13
movq %rbp, %r15
movq %r14, %rbp
leaq 0x160(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1160e
leaq 0x2c8(%rsp), %r14
movq %r14, %rdi
movq (%rsp), %rsi
callq 0x1accc
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1ad3e
movl %eax, %ebx
movq %r14, %rdi
callq 0xde74
leaq 0x168(%rsp), %rdi
callq 0xefce
leaq 0x2f68c(%rip), %rax     # 0x49b98
movb (%rax), %al
testb %bl, %bl
je 0x1a597
leaq 0x80(%rsp), %rbx
testb %al, %al
movq %rbp, %rdi
movq %r15, %rbp
movq %r13, %r15
je 0x1a611
leaq 0x2ed32(%rip), %rax     # 0x49268
movq (%rax), %rsi
callq 0x2d27c
movq %rax, %rdi
leaq 0x16c47(%rip), %rsi     # 0x3118f
callq 0x7230
movq %rax, %rbx
leaq 0x150(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x1160e
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1f79c
movq %rax, %rdi
leaq 0x16c21(%rip), %rsi     # 0x31199
callq 0x7230
movq %rax, %rdi
callq 0x7130
leaq 0x158(%rsp), %rdi
leaq 0x80(%rsp), %rbx
jmp 0x1a60c
leaq 0x60(%rsp), %rbx
testb %al, %al
movq %rbp, %rdi
movq %r15, %rbp
movq %r13, %r15
je 0x1a611
leaq 0x2ecb8(%rip), %rax     # 0x49268
movq (%rax), %rsi
callq 0x2d27c
movq %rax, %rdi
leaq 0x16bcd(%rip), %rsi     # 0x3118f
callq 0x7230
movq %rax, %rbx
leaq 0x140(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0x1160e
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1f79c
movq %rax, %rdi
leaq 0x16bc3(%rip), %rsi     # 0x311b5
callq 0x7230
movq %rax, %rdi
callq 0x7130
leaq 0x148(%rsp), %rdi
leaq 0x60(%rsp), %rbx
callq 0xefce
movq %rbx, %rdi
movq %r12, %rsi
callq 0x11466
leaq 0x58(%rsp), %rdi
callq 0xefce
leaq 0x1d8(%rsp), %rdi
callq 0xefce
movq 0xc8(%rsp), %rsi
addq $0x10, %rsi
jmp 0x1a0f4
movq 0x40(%rsp), %rsi
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
callq 0x112d4
leaq 0x208(%rsp), %rdi
callq 0xefce
jmp 0x1a02c
leaq 0xa0(%rsp), %rsi
movq 0xb8(%rsp), %rdi
callq 0x112d4
movq 0x68(%rsp), %rax
cmpq 0x60(%rsp), %rax
movq (%rsp), %r14
je 0x1a857
leaq 0x2f500(%rip), %rax     # 0x49b98
movb (%rax), %al
cmpb $0x1, %al
jne 0x1a704
leaq 0x2ebc3(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e921(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x16b1b(%rip), %rsi     # 0x311d6
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x130(%rsp), %r15
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xf04a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0x138(%rsp), %rdi
callq 0xefce
leaq 0x2f496(%rip), %rax     # 0x49b98
movb (%rax), %al
testb $0x1, %al
je 0x1a799
movq 0x60(%rsp), %rbx
movq 0x68(%rsp), %r14
leaq 0x20(%rsp), %r13
leaq 0x16abf(%rip), %r15     # 0x311e1
leaq 0x120(%rsp), %r12
cmpq %r14, %rbx
je 0x1a799
movq %r13, %rdi
movq %rbx, %rsi
callq 0x1160e
leaq 0x2eb27(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e885(%rip), %rdi     # 0x48fd0
callq 0x2d27c
movq %rax, %rdi
movq %r15, %rsi
callq 0x7230
movq %rax, %rbp
movq %r12, %rdi
movq %r13, %rsi
callq 0x1160e
movq %rbp, %rdi
movq %r12, %rsi
callq 0x1f79c
movq %rax, %rdi
callq 0x7130
leaq 0x128(%rsp), %rdi
callq 0xefce
leaq 0x28(%rsp), %rdi
callq 0xefce
addq $0x10, %rbx
jmp 0x1a72a
leaq 0x230(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x11492
leaq 0x20(%rsp), %rdi
leaq 0x8(%rsp), %rdx
leaq 0x230(%rsp), %rcx
xorl %esi, %esi
callq 0x2161f
movq (%rsp), %r14
leaq 0x8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0xf3dc
leaq 0x28(%rsp), %rdi
callq 0xefce
leaq 0x230(%rsp), %rdi
callq 0x114e6
leaq 0x2f3a3(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0x1a857
leaq 0x2ea67(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e7c5(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x169de(%rip), %rsi     # 0x311f5
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x110(%rsp), %r15
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xf04a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0x118(%rsp), %rdi
callq 0xefce
leaq 0x80(%rsp), %rdi
leaq 0x8(%rsp), %rsi
movq %r14, %rdx
movq 0x18(%rsp), %rcx
callq 0x1ae8c
leaq 0x2f320(%rip), %rax     # 0x49b98
cmpb $0x1, (%rax)
jne 0x1a9d0
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r14
leaq 0x20(%rsp), %r13
leaq 0x16963(%rip), %r15     # 0x31200
leaq 0x100(%rsp), %r12
cmpq %r14, %rbx
je 0x1a914
movq %r13, %rdi
movq %rbx, %rsi
callq 0x1160e
leaq 0x2e9ac(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e70a(%rip), %rdi     # 0x48fd0
callq 0x2d27c
movq %rax, %rdi
movq %r15, %rsi
callq 0x7230
movq %rax, %rbp
movq %r12, %rdi
movq %r13, %rsi
callq 0x1160e
movq %rbp, %rdi
movq %r12, %rsi
callq 0x1f79c
movq %rax, %rdi
callq 0x7130
leaq 0x108(%rsp), %rdi
callq 0xefce
leaq 0x28(%rsp), %rdi
callq 0xefce
addq $0x10, %rbx
jmp 0x1a8a5
leaq 0x2e94d(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e6ab(%rip), %rdi     # 0x48fd0
callq 0x2d27c
movq (%rsp), %r14
leaq 0x168d7(%rip), %rsi     # 0x3120c
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0xf0(%rsp), %r15
leaq 0x8(%rsp), %rsi
movq %r15, %rdi
callq 0xf04a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1ef1c
movq %rax, %rdi
callq 0x7130
leaq 0xf8(%rsp), %rdi
callq 0xefce
leaq 0x2e8ec(%rip), %rax     # 0x49268
movq (%rax), %rsi
movq 0x2e64a(%rip), %rdi     # 0x48fd0
callq 0x2d27c
leaq 0x16886(%rip), %rsi     # 0x31218
movq %rax, %rdi
callq 0x7230
movq %rax, %rbx
leaq 0x248(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x1accc
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1acf5
movq %rax, %rdi
callq 0x7130
leaq 0x248(%rsp), %rdi
callq 0xde74
leaq 0x20(%rsp), %rdi
leaq 0x80(%rsp), %rsi
leaq 0x8(%rsp), %rdx
movq %r14, %rcx
callq 0x1af5a
movq 0xb0(%rsp), %rdi
addq $0x10, %rdi
leaq 0x20(%rsp), %rsi
callq 0x1af16
leaq 0x28(%rsp), %rdi
callq 0xefce
leaq 0xa8(%rsp), %rdi
callq 0xefce
leaq 0x48(%rsp), %rdi
callq 0xefce
leaq 0x60(%rsp), %rdi
callq 0x114e6
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x80(%rsp), %rdi
callq 0x114e6
leaq 0x2ee9f(%rip), %rax     # 0x498e8
addl $-0x2, (%rax)
addq $0x308, %rsp            # imm = 0x308
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x8
popq %rdi
callq 0x7140
leaq 0x2cab3(%rip), %rcx     # 0x47520
movq %rcx, (%rax)
leaq 0x2ca81(%rip), %rsi     # 0x474f8
movq 0x2e562(%rip), %rdx     # 0x48fe0
movq %rax, %rdi
callq 0x73f0
movq %rax, %rbx
leaq 0x118(%rsp), %rdi
jmp 0x1ac7d
movq %rax, %rbx
leaq 0x230(%rsp), %rdi
callq 0x114e6
jmp 0x1ac82
jmp 0x1ab70
movq %rax, %rbx
leaq 0x138(%rsp), %rdi
jmp 0x1ac7d
movq %rax, %rbx
leaq 0x248(%rsp), %rdi
callq 0xde74
jmp 0x1ac82
movq %rax, %rbx
leaq 0xf8(%rsp), %rdi
jmp 0x1ac7d
jmp 0x1ab46
jmp 0x1ab70
movq %rax, %rbx
leaq 0x218(%rsp), %rdi
callq 0xefce
jmp 0x1ab01
movq %rax, %rbx
leaq 0x228(%rsp), %rdi
callq 0xefce
jmp 0x1ab13
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
callq 0xde74
jmp 0x1acc4
movq %rax, %rbx
leaq 0x128(%rsp), %rdi
jmp 0x1ab3f
jmp 0x1ab46
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0xefce
jmp 0x1ab49
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0x1ac7d
movq %rax, %rbx
leaq 0x1e8(%rsp), %rdi
callq 0xefce
leaq 0x1f8(%rsp), %rdi
jmp 0x1ac70
movq %rax, %rbx
jmp 0x1ac82
movq %rax, %rbx
leaq 0x148(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x2c8(%rsp), %rdi
callq 0xde74
leaq 0x168(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x198(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x288(%rsp), %rdi
jmp 0x1abd7
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0xde74
jmp 0x1ac5b
movq %rax, %rbx
leaq 0x188(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x178(%rsp), %rdi
jmp 0x1ac22
movq %rax, %rbx
leaq 0x2e8(%rsp), %rdi
callq 0xde74
leaq 0x1c8(%rsp), %rdi
callq 0xefce
jmp 0x1ac41
movq %rax, %rbx
leaq 0x1a8(%rsp), %rdi
callq 0xefce
jmp 0x1ac5b
movq %rax, %rbx
leaq 0x1b8(%rsp), %rax
movq %rax, 0x98(%rsp)
jmp 0x1ac5b
movq %rax, %rbx
leaq 0xd8(%rsp), %rdi
callq 0xefce
leaq 0xe8(%rsp), %rdi
jmp 0x1ac63
movq %rax, %rbx
movq 0x98(%rsp), %rdi
callq 0xefce
leaq 0x1d8(%rsp), %rdi
callq 0xefce
leaq 0x208(%rsp), %rdi
callq 0xefce
leaq 0xa8(%rsp), %rdi
callq 0xefce
leaq 0x48(%rsp), %rdi
callq 0xefce
leaq 0x60(%rsp), %rdi
callq 0x114e6
leaq 0x10(%rsp), %rdi
callq 0xefce
leaq 0x80(%rsp), %rdi
callq 0x114e6
leaq 0x2ec27(%rip), %rax     # 0x498e8
addl $-0x2, (%rax)
movq %rbx, %rdi
callq 0x7410