// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/src/element.cpp
// Function: lois::aggressive_simplify(std::vector<std::shared_ptr<lois::Variable>, std::allocator<std::shared_ptr<lois::Variable>>>&, lois::rbool&, std::shared_ptr<lois::Context>&, std::function<bool (std::shared_ptr<lois::Variable>)>, std::function<void (std::vector<std::pair<std::shared_ptr<lois::Variable>, lois::term>, std::allocator<std::pair<std::shared_ptr<lois::Variable>, lois::term>>> const&)>)
void aggressive_simplify(varlist& selvar, rbool& selphi, contextptr& ain, std::function<bool(vptr)> a_isused, std::function<void(const varsubstlist&)> a_alpha) {
  if(selphi.isTrue()) return;
  if(!aggressive_simplification_tries) return;

  int size1 = selphi->formulasize();
  
  simplifyWhat = selphi;
  
  rbool phi ( std::make_shared<FormulaQ> (false, rbool(simplifier), selvar) );
  
  phi = outenv(phi, false, emptycontext, ain);

  if(notForInternalSolver(phi)) return;

  simplifyWhat->clearinfo();

  // cout << "AGGRESSIVE SIMPLIFY " << phi << endl;
  
  checkid++;
  phi->initDomains();

  triesleft = aggressive_simplification_tries; 
  try { phi->verify();
  } catch(unsolvable_exception) {
    triesleft = -1;
    }

  if(triesleft <= 0) {
    std::cout << "simplification failed for rbool of size " << size1 << std::endl;
    std::cout << phi << std::endl;
    std::cout << "NFI is : " << notForInternalSolver(phi) << std::endl;
    std::cout << "features are: ";

    featurelist fl;
    phi->listFeatures(fl);
    for(auto r: fl.relations) std::cout << (r->getName()); std::cout << std::endl;

    exit(1);
    return;
    }
  
  rbool orig = selphi;
  
  selphi = simplifyWhat->qsimplify();
  // cout << "simplification result: " << sel.phi << endl;

  int size3 = selphi->formulasize();
  
  if(size1 == size3) {
    // printf("Not Simplified: %d in %d tries\n", size1, aggressive_simplification_tries-triesleft);
    // cout << "orig: " << orig << endl;
    return;
    }

  if(simplifyVerbosity >= 1) 
     printf("Simplified: %d to %d in %d tries\n", size1, size3, aggressive_simplification_tries-triesleft);

  // std::cout << "FROM: " << phi << std::endl << "TO: " << selphi << std::endl;
  
  varlist var2;
  swap(var2, selvar);
  
  for(auto w: var2) 
    if(selphi->uses(w) || a_isused(w)) {
      term w1 = selphi->valueKnown(w, false);
      if(w1.p) {
        varsubstlist l = { make_pair(w, w1) };
        selphi = substitute(selphi,l);
        a_alpha(l);
        }
      else selvar.push_back(w);
      }
    
  aggressive_simplify(selvar, selphi, ain, a_isused, a_alpha);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movq %r8, 0x88(%rsp)
movq %rdi, %r12
movq (%rsi), %rdi
leaq 0x14ca0(%rip), %rax     # 0x527b0
cmpq (%rax), %rdi
je 0x3e285
cmpl $0x0, 0x150c0(%rip)     # 0x52be0
je 0x3e285
movq %rsi, %r15
movq %rcx, 0x80(%rsp)
movq %rdx, 0x78(%rsp)
movq (%rdi), %rax
callq *0x50(%rax)
movl %eax, 0x3c(%rsp)
movq (%r15), %rax
movq %rax, 0x15076(%rip)     # 0x52bc0
leaq 0x8(%r15), %r14
leaq 0x15073(%rip), %rdi     # 0x52bc8
movq %r14, %rsi
callq 0x1615e
movb $0x0, 0x20(%rsp)
movq 0x15067(%rip), %rax     # 0x52bd0
movq 0x15068(%rip), %rbx     # 0x52bd8
testq %rbx, %rbx
je 0x3db90
movq 0x1444c(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x3dba0
incl 0x8(%rbx)
movq %rax, 0x40(%rsp)
movq %rbx, 0x48(%rsp)
jmp 0x3dbb7
movq %rax, 0x40(%rsp)
movq $0x0, 0x48(%rsp)
jmp 0x3dbba
lock
incl 0x8(%rbx)
cmpb $0x0, (%rcx)
movq %rax, 0x40(%rsp)
movq %rbx, 0x48(%rsp)
je 0x3e297
incl 0x8(%rbx)
leaq 0xa8(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0xa0(%rsp), %rsi
leaq 0x1c0(%rsp), %rdx
leaq 0x20(%rsp), %rcx
leaq 0x40(%rsp), %r8
movq %r12, 0x70(%rsp)
movq %r12, %r9
callq 0x2dcd0
movq 0xa0(%rsp), %r13
movq 0xa8(%rsp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
testq %r12, %r12
je 0x3dc44
movq 0x143b0(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x3dc24
incl 0x8(%r12)
jmp 0x3dc2a
lock
incl 0x8(%r12)
movq %r12, %rdi
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x3dc44
callq 0x133fc
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x3dc53
callq 0x133fc
testq %rbx, %rbx
je 0x3dc60
movq %rbx, %rdi
callq 0x133fc
movq %r13, 0x170(%rsp)
movq %r12, 0x178(%rsp)
testq %r12, %r12
movq 0x78(%rsp), %rdx
je 0x3dc93
movq 0x14347(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x3dc8d
incl 0x8(%r12)
jmp 0x3dc93
lock
incl 0x8(%r12)
leaq 0x14ac6(%rip), %rax     # 0x52760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x160(%rsp)
movq %rax, 0x168(%rsp)
testq %rax, %rax
je 0x3dccb
movq 0x1430b(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x3dcc7
incl 0x8(%rax)
jmp 0x3dccb
lock
incl 0x8(%rax)
movq (%rdx), %rax
movq %rax, 0x150(%rsp)
movq 0x8(%rdx), %rax
movq %rax, 0x158(%rsp)
testq %rax, %rax
je 0x3dcfc
movq 0x142da(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x3dcf8
incl 0x8(%rax)
jmp 0x3dcfc
lock
incl 0x8(%rax)
leaq 0xa0(%rsp), %rdi
leaq 0x170(%rsp), %rsi
leaq 0x160(%rsp), %rcx
leaq 0x150(%rsp), %r8
xorl %edx, %edx
callq 0x28b68
movq 0xa0(%rsp), %rbx
movq 0xa8(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
testq %r12, %r12
je 0x3dd5d
movq %r12, %rdi
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x3dd5d
callq 0x133fc
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0x3dd6f
callq 0x133fc
movq 0x168(%rsp), %rdi
testq %rdi, %rdi
je 0x3dd81
callq 0x133fc
movq 0x178(%rsp), %rdi
testq %rdi, %rdi
je 0x3dd93
callq 0x133fc
movq %rbx, 0x140(%rsp)
movq %r13, 0x148(%rsp)
testq %r13, %r13
je 0x3ddbf
movq 0x14219(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x3ddba
incl 0x8(%r13)
jmp 0x3ddbf
lock
incl 0x8(%r13)
leaq 0x140(%rsp), %rdi
callq 0x34458
movl %eax, %r12d
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x3dde1
callq 0x133fc
testb %r12b, %r12b
jne 0x3e278
movq %r13, 0x10(%rsp)
movq 0x14dca(%rip), %rdi     # 0x52bc0
movq (%rdi), %rax
callq *0x48(%rax)
leaq 0x149a5(%rip), %rax     # 0x527a8
incl (%rax)
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x38(%rax)
movl 0x14dcc(%rip), %eax     # 0x52be0
leaq 0x14985(%rip), %r13     # 0x527a0
movl %eax, (%r13)
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x20(%rax)
cmpl $0x0, (%r13)
jle 0x3e2aa
movq (%r14), %rbx
testq %rbx, %rbx
je 0x3de50
movq 0x14186(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x3de4c
incl 0x8(%rbx)
jmp 0x3de50
lock
incl 0x8(%rbx)
movq 0x14d69(%rip), %rsi     # 0x52bc0
leaq 0xa0(%rsp), %rdi
callq 0x2ddb8
movaps 0xa0(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0xa0(%rsp)
movq 0x8(%r15), %rdi
movups %xmm0, (%r15)
testq %rdi, %rdi
je 0x3de9b
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x3de9b
callq 0x133fc
movq (%r15), %rdi
movq (%rdi), %rax
callq *0x50(%rax)
movl 0x3c(%rsp), %esi
cmpl %eax, %esi
je 0x3e266
movq %rbx, 0x30(%rsp)
cmpl $0x0, 0x14d28(%rip)     # 0x52be4
jle 0x3ded8
movl 0x14d1c(%rip), %ecx     # 0x52be0
subl (%r13), %ecx
leaq 0x3412(%rip), %rdi      # 0x412e1
movl %eax, %edx
xorl %eax, %eax
callq 0x7050
movq 0x70(%rsp), %rcx
movq (%rcx), %rbx
movq %rbx, 0x40(%rsp)
movq 0x8(%rcx), %r13
movq %r13, 0x48(%rsp)
movq 0x10(%rcx), %rax
movq %rax, 0x50(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, (%rcx)
movq $0x0, 0x10(%rcx)
cmpq %r13, %rbx
je 0x3e1cd
leaq 0x1c0(%rsp), %rbp
movq 0x140ab(%rip), %r14     # 0x51fc8
movq (%rbx), %rcx
movq %rcx, 0x20(%rsp)
movq 0x8(%rbx), %rax
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x3df4b
cmpb $0x0, (%r14)
je 0x3df5e
incl 0x8(%rax)
movq (%r15), %rdi
movq %rcx, 0x60(%rsp)
movq %rax, 0x68(%rsp)
jmp 0x3df7e
movq (%r15), %rdi
movq %rcx, 0x60(%rsp)
movq $0x0, 0x68(%rsp)
jmp 0x3df8d
lock
incl 0x8(%rax)
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %rax
movq (%r15), %rdi
movq %rcx, 0x60(%rsp)
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x3df8d
cmpb $0x0, (%r14)
je 0x3df89
incl 0x8(%rax)
jmp 0x3df8d
lock
incl 0x8(%rax)
movq (%rdi), %rax
leaq 0x60(%rsp), %rsi
callq *0x28(%rax)
movb $0x1, %r12b
testb %al, %al
jne 0x3e000
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x110(%rsp)
movq %rax, 0x118(%rsp)
testq %rax, %rax
movq 0x80(%rsp), %rdi
je 0x3dfd5
cmpb $0x0, (%r14)
je 0x3dfd1
incl 0x8(%rax)
jmp 0x3dfd5
lock
incl 0x8(%rax)
cmpq $0x0, 0x10(%rdi)
je 0x3e2a0
leaq 0x110(%rsp), %rsi
callq *0x18(%rdi)
movl %eax, %r12d
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x3e000
callq 0x133fc
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x3e00f
callq 0x133fc
testb %r12b, %r12b
je 0x3e1b1
movq (%r15), %rsi
movq 0x20(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x100(%rsp)
movq %rax, 0x108(%rsp)
testq %rax, %rax
je 0x3e049
cmpb $0x0, (%r14)
je 0x3e045
incl 0x8(%rax)
jmp 0x3e049
lock
incl 0x8(%rax)
movq (%rsi), %rax
leaq 0x90(%rsp), %rdi
leaq 0x100(%rsp), %rdx
xorl %ecx, %ecx
callq *0x30(%rax)
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x3e073
callq 0x133fc
movq 0x90(%rsp), %rax
testq %rax, %rax
je 0x3e0aa
movq 0x20(%rsp), %rdx
movq 0x28(%rsp), %rcx
movq %rdx, 0xa0(%rsp)
movq %rcx, 0xa8(%rsp)
testq %rcx, %rcx
je 0x3e0ca
cmpb $0x0, (%r14)
je 0x3e0be
incl 0x8(%rcx)
jmp 0x3e0ca
movq 0x70(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x16382
jmp 0x3e19f
lock
incl 0x8(%rcx)
movq 0x90(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0xb8(%rsp)
testq %rax, %rax
je 0x3e0f6
cmpb $0x0, (%r14)
je 0x3e0f2
incl 0x8(%rax)
jmp 0x3e0f6
lock
incl 0x8(%rax)
movl $0x1, %edx
movq %rbp, %rdi
leaq 0xa0(%rsp), %rsi
leaq 0x1f(%rsp), %rcx
callq 0x3e74c
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x3e122
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x3e134
callq 0x133fc
leaq 0xa0(%rsp), %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x2d1fb
movaps 0xa0(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0xa0(%rsp)
movq 0x8(%r15), %rdi
movups %xmm0, (%r15)
testq %rdi, %rdi
je 0x3e17e
callq 0x133fc
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x3e17e
callq 0x133fc
movq 0x88(%rsp), %rdi
cmpq $0x0, 0x10(%rdi)
je 0x3e2a5
movq %rbp, %rsi
callq *0x18(%rdi)
movq %rbp, %rdi
callq 0x166ae
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x3e1b1
callq 0x133fc
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x3e1c0
callq 0x133fc
addq $0x10, %rbx
cmpq %r13, %rbx
jne 0x3df1d
leaq 0x1a0(%rsp), %rdi
movq 0x80(%rsp), %rsi
callq 0x3e794
leaq 0x180(%rsp), %rdi
movq 0x88(%rsp), %rsi
callq 0x3e7f2
movq 0x78(%rsp), %rdx
movq 0x70(%rsp), %rdi
leaq 0x1a0(%rsp), %rcx
leaq 0x180(%rsp), %r8
movq %r15, %rsi
movq 0x30(%rsp), %rbx
callq 0x3daea
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0x3e23d
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x1b0(%rsp), %rax
testq %rax, %rax
je 0x3e25c
leaq 0x1a0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x40(%rsp), %rdi
callq 0x16466
testq %rbx, %rbx
movq 0x10(%rsp), %r13
je 0x3e278
movq %rbx, %rdi
callq 0x133fc
testq %r13, %r13
je 0x3e285
movq %r13, %rdi
callq 0x133fc
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
lock
incl 0x8(%rbx)
jmp 0x3dbba
callq 0x7110
callq 0x7110
movq 0x13d1f(%rip), %rdi     # 0x51fd0
leaq 0x2fe7(%rip), %rsi      # 0x4129f
movl $0x28, %edx
callq 0x72c0
movq 0x13d07(%rip), %rdi     # 0x51fd0
movl 0x3c(%rsp), %esi
callq 0x7410
movq %rax, %rdi
callq 0x7140
movq %rbx, 0x130(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x138(%rsp)
testq %rax, %rax
je 0x3e313
movq 0x13ccd(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
jne 0x3e30b
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
jmp 0x3e313
movq 0x10(%rsp), %rax
incl 0x8(%rax)
movq 0x13cb6(%rip), %rdi     # 0x51fd0
leaq 0x130(%rsp), %rsi
callq 0x297cc
movq %rax, %rdi
callq 0x7140
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x3e341
callq 0x133fc
movq 0x13c88(%rip), %rdi     # 0x51fd0
leaq 0x2f79(%rip), %rsi      # 0x412c8
movl $0x9, %edx
callq 0x72c0
movq %rbx, 0x120(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x128(%rsp)
testq %rax, %rax
je 0x3e392
movq 0x13c4e(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
jne 0x3e38a
movq 0x10(%rsp), %rax
lock
incl 0x8(%rax)
jmp 0x3e392
movq 0x10(%rsp), %rax
incl 0x8(%rax)
leaq 0x120(%rsp), %rdi
callq 0x34458
movzbl %al, %esi
movq 0x13c27(%rip), %rdi     # 0x51fd0
callq 0x73e0
movq %rax, %rdi
callq 0x7140
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x3e3c8
callq 0x133fc
movq 0x13c01(%rip), %rdi     # 0x51fd0
leaq 0x2efc(%rip), %rsi      # 0x412d2
movl $0xe, %edx
callq 0x72c0
xorl %eax, %eax
leaq 0xd8(%rsp), %r12
movl %eax, -0x30(%r12)
movq %rax, -0x28(%r12)
leaq 0xa8(%rsp), %rcx
movq %rcx, -0x20(%r12)
movq %rcx, -0x18(%r12)
movq %rax, -0x10(%r12)
movl %eax, (%r12)
movq %rax, 0x8(%r12)
movq %r12, 0x10(%r12)
movq %r12, 0x18(%r12)
movq %rax, 0x20(%r12)
movq (%rbx), %rax
leaq 0xa0(%rsp), %rsi
movq %rbx, %rdi
callq *0x40(%rax)
movq 0xe8(%rsp), %rbx
cmpq %r12, %rbx
je 0x3e498
leaq 0x50(%rsp), %r13
leaq 0x40(%rsp), %r14
movq 0x13b7e(%rip), %r15     # 0x51fd0
movq 0x20(%rbx), %rsi
movq (%rsi), %rax
movq %r14, %rdi
callq *0x38(%rax)
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
movq %r15, %rdi
callq 0x72c0
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x3e488
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x7280
movq %rbx, %rdi
callq 0x72d0
movq %rax, %rbx
cmpq %r12, %rax
jne 0x3e452
movq 0x13b31(%rip), %rdi     # 0x51fd0
callq 0x7140
movl $0x1, %edi
callq 0x72f0
movq %rax, 0x8(%rsp)
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x3e4d3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x3e4d3
jmp 0x3e4ce
movq %rax, 0x8(%rsp)
leaq 0xd0(%rsp), %rdi
callq 0x352a2
leaq 0xa0(%rsp), %rdi
callq 0x352f2
jmp 0x3e722
movq %rax, 0x8(%rsp)
movq 0x128(%rsp), %rdi
jmp 0x3e603
movq %rax, 0x8(%rsp)
movq 0x138(%rsp), %rdi
jmp 0x3e603
jmp 0x3e56f
jmp 0x3e56f
movq %rax, 0x8(%rsp)
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0x3e547
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x3e547
jmp 0x3e56f
movq %rax, 0x8(%rsp)
movq 0x1b0(%rsp), %rax
testq %rax, %rax
je 0x3e706
leaq 0x1a0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x3e706
movq %rax, %rdi
callq 0x133cd
movq %rax, 0x8(%rsp)
jmp 0x3e706
jmp 0x3e583
movq %rbx, 0x30(%rsp)
movq %rax, 0x8(%rsp)
jmp 0x3e710
movq %rax, 0x8(%rsp)
cmpl $0x1, %edx
jne 0x3e722
movq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x7300
leaq 0x123f4(%rip), %rax     # 0x509a8
leaq 0xa0(%rsp), %rbp
movq %rax, (%rbp)
movq %r12, %rdi
callq 0x7120
movl $0xffffffff, (%r13)     # imm = 0xFFFFFFFF
movq %rbp, %rdi
callq 0x7478
callq 0x73d0
jmp 0x3de28
jmp 0x3e67b
movq %rax, 0x8(%rsp)
jmp 0x3e6af
movq %r13, 0x10(%rsp)
movq %rax, 0x8(%rsp)
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
jne 0x3e71d
jmp 0x3e722
movq %rax, 0x8(%rsp)
movq 0x158(%rsp), %rdi
testq %rdi, %rdi
je 0x3e628
callq 0x133fc
movq 0x168(%rsp), %rdi
testq %rdi, %rdi
je 0x3e63a
callq 0x133fc
movq 0x178(%rsp), %rdi
testq %rdi, %rdi
je 0x3e64c
callq 0x133fc
movq %r12, 0x10(%rsp)
jmp 0x3e722
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x3e66a
callq 0x133fc
testq %rbx, %rbx
je 0x3e734
movq %rbx, %rdi
jmp 0x3e72f
movq %rax, 0x8(%rsp)
jmp 0x3e722
jmp 0x3e69d
movq %rax, 0x8(%rsp)
leaq 0xa0(%rsp), %rdi
callq 0x1668a
jmp 0x3e6af
jmp 0x3e69d
movq %rax, 0x8(%rsp)
leaq 0x1c0(%rsp), %rdi
callq 0x166ae
movq 0x98(%rsp), %rdi
jmp 0x3e6ed
jmp 0x3e6ca
movq %rax, 0x8(%rsp)
movq 0x108(%rsp), %rdi
jmp 0x3e6ed
movq %rax, 0x8(%rsp)
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x3e6e8
callq 0x133fc
jmp 0x3e6e8
movq %rax, 0x8(%rsp)
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x3e6f7
callq 0x133fc
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x3e706
callq 0x133fc
leaq 0x40(%rsp), %rdi
callq 0x16466
cmpq $0x0, 0x30(%rsp)
je 0x3e722
movq 0x30(%rsp), %rdi
callq 0x133fc
cmpq $0x0, 0x10(%rsp)
je 0x3e734
movq 0x10(%rsp), %rdi
callq 0x133fc
movq 0x8(%rsp), %rdi
callq 0x7430