// File: /workspace/github_cpp_makefile_star2_O1/biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: add_simplified_clause
static Cls *
add_simplified_clause (PS * ps, int learned)
{
  unsigned num_true, num_undef, num_false, size, count_resolved;
  Lit **p, **q, *lit, ** end;
  unsigned litlevel, glue;
  Cls *res, * reason;
  int reentered;
  Val val;
  Var *v;
#if !defined(NDEBUG) && defined(TRACE)
  unsigned idx;
#endif

  reentered = 0;

REENTER:

  size = ps->ahead - ps->added;

  add_resolved (ps, learned);

  if (learned)
    {
      ps->ladded++;
      ps->llitsadded += size;
      if (size > 2)
	{
	  ps->lladded++;
	  ps->nlclauses++;
	  ps->llits += size;
	}
    }
  else
    {
      ps->oadded++;
      if (size > 2)
	{
	  ps->loadded++;
	  ps->noclauses++;
	  ps->olits += size;
	}
    }

  ps->addedclauses++;
  assert (ps->addedclauses == ps->ladded + ps->oadded);

#ifdef NO_BINARY_CLAUSES
  if (size == 2)
    res = setimpl (ps, ps->added[0], ps->added[1]);
  else
#endif
    {
      sortlits (ps, ps->added, size); 

      if (learned)
	{
	  if (ps->lhead == ps->EOL)
	    {
	      ENLARGE (ps->lclauses, ps->lhead, ps->EOL);

	      /* A very difficult to find bug, which only occurs if the
	       * learned clauses stack is immediately allocated before the
	       * original clauses stack without padding.  In this case, we
	       * have 'SOC == EOC', which terminates all loops using the
	       * idiom 'for (p = SOC; p != EOC; p = NXC(p))' immediately.
	       * Unfortunately this occurred in 'fix_clause_lits' after
	       * using a recent version of the memory allocator of 'Google'
	       * perftools in the context of one large benchmark for 
	       * our SMT solver 'Boolector'.
	       */
	      if (ps->EOL == ps->oclauses)
		ENLARGE (ps->lclauses, ps->lhead, ps->EOL);
	    }

#if !defined(NDEBUG) && defined(TRACE)
	  idx = LIDX2IDX (ps->lhead - ps->lclauses);
#endif
	}
      else
	{
	  if (ps->ohead == ps->eoo)
	    {
	      ENLARGE (ps->oclauses, ps->ohead, ps->eoo);
	      if (ps->EOL == ps->oclauses)
		ENLARGE (ps->oclauses, ps->ohead, ps->eoo);	/* ditto */
	    }

#if !defined(NDEBUG) && defined(TRACE)
	  idx = OIDX2IDX (ps->ohead - ps->oclauses);
#endif
	}

      assert (ps->EOL != ps->oclauses);			/* ditto */

      res = new_clause (ps, size, learned);

      glue = 0;

      if (learned)
	{
	  assert (ps->dusedhead == ps->dused);

	  for (p = ps->added; p < ps->ahead; p++) 
	    {
	      lit = *p;
	      if (lit->val)
		{
		  litlevel = LIT2VAR (lit)->level;
		  assert (litlevel <= ps->LEVEL);
		  while (ps->levels + litlevel >= ps->levelshead)
		    {
		      if (ps->levelshead >= ps->eolevels)
			ENLARGE (ps->levels, ps->levelshead, ps->eolevels);
		      assert (ps->levelshead < ps->eolevels);
		      *ps->levelshead++ = 0;
		    }
		  if (!ps->levels[litlevel])
		    {
		      if (ps->dusedhead >= ps->eodused)
			ENLARGE (ps->dused, ps->dusedhead, ps->eodused);
		      assert (ps->dusedhead < ps->eodused);
		      *ps->dusedhead++ = litlevel;
		      ps->levels[litlevel] = 1;
		      glue++;
		    }
		}
	      else
		glue++;
	    }

	  while (ps->dusedhead > ps->dused) 
	    {
	      litlevel = *--ps->dusedhead;
	      assert (ps->levels + litlevel < ps->levelshead);
	      assert (ps->levels[litlevel]);
	      ps->levels[litlevel] = 0;
	    }
	}

      assert (glue <= MAXGLUE);
      res->glue = glue;

#if !defined(NDEBUG) && defined(TRACE)
      if (ps->trace)
	assert (CLS2IDX (res) == idx);
#endif
      if (learned)
	*ps->lhead++ = res;
      else
	*ps->ohead++ = res;

#if !defined(NDEBUG) && defined(TRACE)
      if (ps->trace && learned)
	assert (ps->zhead - ps->zhains == ps->lhead - ps->lclauses);
#endif
      assert (ps->lhead != ps->oclauses);		/* ditto */
    }

  if (learned && ps->rup)
    {
      if (!ps->rupstarted)
	{
	  write_rup_header (ps, ps->rup);
	  ps->rupstarted = 1;
	}
    }

  num_true = num_undef = num_false = 0;

  q = res->lits;
  for (p = ps->added; p < ps->ahead; p++)
    {
      lit = *p;
      *q++ = lit;

      if (learned && ps->rup)
	fprintf (ps->rup, "%d ", LIT2INT (lit));

      val = lit->val;

      num_true += (val == TRUE);
      num_undef += (val == UNDEF);
      num_false += (val == FALSE);
    }
  assert (num_false + num_true + num_undef == size);

  if (learned && ps->rup)
    fputs ("0\n", ps->rup);

  ps->ahead = ps->added;		/* reset */

  if (!reentered)				// TODO merge
  if (size > 0)
    {
      assert (size <= 2 || !reentered);		// TODO remove
      connect_head_tail (ps, res->lits[0], res);
      if (size > 1)
	connect_head_tail (ps, res->lits[1], res);
    }

  if (size == 0)
    {
      if (!ps->mtcls)
	ps->mtcls = res;
    }

#ifdef NO_BINARY_CLAUSES
  if (size != 2)
#endif
#ifndef NDEBUG
    res->connected = 1;
#endif

  LOG ( fprintf (ps->out, "%s%s ", ps->prefix, learned ? "learned" : "original");
        dumpclsnl (ps, res));

  /* Shrink clause by resolving it against top level assignments.
   */
  if (!ps->LEVEL && num_false > 0)
    {
      assert (ps->ahead == ps->added);
      assert (ps->rhead == ps->resolved);

      count_resolved = 1;
      add_antecedent (ps, res);

      end = end_of_lits (res);
      for (p = res->lits; p < end; p++)
	{
	  lit = *p;
	  v = LIT2VAR (lit);
	  use_var (ps, v);

	  if (lit->val == FALSE)
	    {
	      add_antecedent (ps, v->reason);
	      count_resolved++;
	    }
	  else
	    add_lit (ps, lit);
	}

      assert (count_resolved >= 2);

      learned = 1;
#ifdef NO_BINARY_CLAUSES
      if (res == &ps->impl)
	resetimpl (ps);
#endif
      reentered = 1;
      goto REENTER;		/* and return simplified clause */
    }

  if (!num_true && num_undef == 1)	/* unit clause */
    {
      lit = 0;
      for (p = res->lits; p < res->lits + size; p++)
	{
	  if ((*p)->val == UNDEF)
	    lit = *p;

	  v = LIT2VAR (*p);
	  use_var (ps, v);
	}
      assert (lit);

      reason = res;
#ifdef NO_BINARY_CLAUSES
      if (size == 2)
        {
	  Lit * other = res->lits[0];
	  if (other == lit)
	    other = res->lits[1];

	  assert (other->val == FALSE);
	  reason = LIT2REASON (NOTLIT (other));
	}
#endif
      assign_forced (ps, lit, reason);
      num_true++;
    }

  if (num_false == size && !ps->conflict)
    {
#ifdef NO_BINARY_CLAUSES
      if (res == &ps->impl)
	ps->conflict = setcimpl (ps, res->lits[0], res->lits[1]);
      else
#endif
      ps->conflict = res;
    }

  if (!learned && !num_true && num_undef)
    incjwh (ps, res);

#ifdef NO_BINARY_CLAUSES
  if (res == &ps->impl)
    resetimpl (ps);
#endif
  return res;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rdi, %r11
leaq 0x70(%rdi), %rax
movq %rax, 0x40(%rsp)
movb $0x1, %al
movq %rdi, (%rsp)
movl %eax, 0x3c(%rsp)
movq 0x258(%r11), %r15
movq 0x260(%r11), %rcx
subq %r15, %rcx
shrq $0x3, %rcx
movq 0x2a0(%r11), %rax
movq %rax, 0x2a8(%r11)
movl %esi, 0xc(%rsp)
testl %esi, %esi
je 0xeb6c
incl 0x43c(%r11)
addl %ecx, 0x450(%r11)
cmpl $0x3, %ecx
jb 0xeb8d
incl 0x444(%r11)
incl 0x42c(%r11)
addl %ecx, 0x434(%r11)
jmp 0xeb8d
incl 0x438(%r11)
cmpl $0x3, %ecx
jb 0xeb8d
incl 0x440(%r11)
incl 0x428(%r11)
addl %ecx, 0x430(%r11)
movq %rcx, 0x18(%rsp)
movl 0x438(%r11), %eax
movl 0x448(%r11), %ecx
incl %ecx
movl %ecx, 0x448(%r11)
addl 0x43c(%r11), %eax
cmpl %eax, %ecx
jne 0x10003
cmpl $0x2, 0x18(%rsp)
jne 0xebde
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r11, %rdi
callq 0xe90a
movq (%rsp), %r11
movq %rax, %rbx
movl 0xc(%rsp), %esi
jmp 0xf9f5
movq 0x478(%r11), %rax
cmpq 0x470(%r11), %rax
jne 0x10022
movq 0x18(%rsp), %rax
leal -0x1(%rax), %ecx
movq %rcx, 0x28(%rsp)
cmpl $0xc, %eax
jge 0xefd5
cmpl $0x2, 0x18(%rsp)
jl 0xecee
movl 0x28(%rsp), %eax
incq %rax
movq -0x10(%r15,%rax,8), %rcx
movq -0x8(%r15,%rax,8), %rdx
movb (%rcx), %r9b
movb (%rdx), %dil
testb %r9b, %r9b
jne 0xec3e
movl $0xffffffff, %r10d      # imm = 0xFFFFFFFF
testb %dil, %dil
jne 0xecd2
testb %r9b, %r9b
je 0xec52
movl $0x1, %r10d
testb %dil, %dil
je 0xecd2
movl 0x38(%r11), %r10d
movl %ecx, %esi
subl %r10d, %esi
shlq $0x3, %rsi
movabsq $0x7fffffff0, %rbx      # imm = 0x7FFFFFFF0
andq %rbx, %rsi
movl %edx, %r8d
subl %r10d, %r8d
shlq $0x3, %r8
andq %rbx, %r8
testb %r9b, %r9b
je 0xec97
testb %dil, %dil
je 0xfe09
movq 0x40(%r11), %rdi
movl 0x4(%rdi,%r8), %r10d
subl 0x4(%rdi,%rsi), %r10d
jne 0xecd2
movq 0x48(%r11), %rdi
movq %rsi, %r9
shrq %r9
movl (%rdi,%r9), %r9d
movq %r8, %r11
shrq %r11
xorl %r10d, %r10d
cmpl (%rdi,%r11), %r9d
movq (%rsp), %r11
seta %r10b
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
cmovbl %edi, %r10d
testl %r10d, %r10d
jne 0xecd2
subq %r8, %rsi
shrq $0x4, %rsi
movl %esi, %r10d
testl %r10d, %r10d
jle 0xece1
movq %rcx, -0x8(%r15,%rax,8)
movq %rdx, -0x10(%r15,%rax,8)
decq %rax
cmpq $0x1, %rax
jg 0xec1a
cmpl $0x3, 0x18(%rsp)
jl 0xeded
movq 0x18(%rsp), %rax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
leaq 0x10(%r15), %rcx
movl $0x2, %edx
movq (%r15,%rdx,8), %rsi
movb (%rsi), %r8b
movq %rcx, %rdi
movq -0x8(%rdi), %r9
movb (%r9), %r11b
testb %r8b, %r8b
jne 0xed30
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testb %r11b, %r11b
jne 0xedca
testb %r8b, %r8b
je 0xed43
movl $0x1, %ebx
testb %r11b, %r11b
je 0xedca
movq (%rsp), %r10
movl 0x38(%r10), %ebx
movl %esi, %r10d
subl %ebx, %r10d
shlq $0x3, %r10
movabsq $0x7fffffff0, %r12      # imm = 0x7FFFFFFF0
andq %r12, %r10
movl %r9d, %r14d
subl %ebx, %r14d
shlq $0x3, %r14
andq %r12, %r14
testb %r8b, %r8b
je 0xed91
testb %r11b, %r11b
je 0xfe09
movq (%rsp), %r11
movq 0x40(%r11), %r11
movl 0x4(%r11,%r14), %ebx
subl 0x4(%r11,%r10), %ebx
jne 0xedca
movq (%rsp), %r11
movq 0x48(%r11), %r11
movq %r10, %rbx
shrq %rbx
movl (%r11,%rbx), %ebp
movq %r14, %r12
shrq %r12
xorl %ebx, %ebx
cmpl (%r11,%r12), %ebp
seta %bl
movl $0xffffffff, %r11d      # imm = 0xFFFFFFFF
cmovbl %r11d, %ebx
testl %ebx, %ebx
jne 0xedca
subq %r14, %r10
shrq $0x4, %r10
movl %r10d, %ebx
testl %ebx, %ebx
jns 0xedda
movq %r9, (%rdi)
addq $-0x8, %rdi
jmp 0xed16
movq %rsi, (%rdi)
incq %rdx
addq $0x8, %rcx
cmpq %rax, %rdx
jne 0xed0c
movq (%rsp), %rdi
movq 0x478(%rdi), %rax
cmpq 0x470(%rdi), %rax
jne 0x10022
movq 0x28(%rsp), %rbx
testl %ebx, %ebx
movl $0x0, %eax
cmovlel %eax, %ebx
shlq $0x3, %rbx
xorl %eax, %eax
movl 0xc(%rsp), %r11d
cmpq %rax, %rbx
je 0xeee4
movq (%r15,%rax), %rcx
movq 0x8(%r15,%rax), %rdx
movb (%rcx), %r9b
movb (%rdx), %sil
testb %r9b, %r9b
jne 0xee4b
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
testb %sil, %sil
jne 0xeed2
testb %r9b, %r9b
je 0xee5b
movl $0x1, %r8d
testb %sil, %sil
je 0xeed2
movl 0x38(%rdi), %r8d
subl %r8d, %ecx
shlq $0x3, %rcx
movabsq $0x7fffffff0, %r10      # imm = 0x7FFFFFFF0
andq %r10, %rcx
subl %r8d, %edx
shlq $0x3, %rdx
andq %r10, %rdx
testb %r9b, %r9b
je 0xee9b
testb %sil, %sil
je 0xfe09
movq 0x40(%rdi), %rsi
movl 0x4(%rsi,%rdx), %r8d
subl 0x4(%rsi,%rcx), %r8d
jne 0xeed2
movq 0x48(%rdi), %rsi
movq %rcx, %r8
shrq %r8
movl (%rsi,%r8), %r10d
movq %rdx, %r9
shrq %r9
xorl %r8d, %r8d
cmpl (%rsi,%r9), %r10d
seta %r8b
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
cmovbl %esi, %r8d
testl %r8d, %r8d
jne 0xeed2
subq %rdx, %rcx
shrq $0x4, %rcx
movl %ecx, %r8d
addq $0x8, %rax
testl %r8d, %r8d
jle 0xee1f
jmp 0xff40
testl %r11d, %r11d
je 0xf621
movq 0x200(%rdi), %r14
movq 0x208(%rdi), %rax
cmpq %rax, %r14
jne 0xf700
movq 0x1f8(%rdi), %rsi
cmpq %rax, %rsi
ja 0x10183
subq %rsi, %r14
shrq $0x3, %r14
subq %rsi, %rax
movabsq $0x7fffffff0, %rcx      # imm = 0x7FFFFFFF0
leaq 0x8(%rcx), %rdx
movq %rax, %rcx
shrq $0x2, %rcx
andq %rax, %rdx
movl %ecx, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,8), %r15
movq %r15, %rcx
callq 0x4593
movq (%rsp), %rdi
movq %rax, 0x1f8(%rdi)
movl %r14d, %r14d
leaq (%rax,%r14,8), %rcx
movq %rcx, 0x200(%rdi)
leaq (%rax,%rbx,8), %rcx
movq %rcx, 0x208(%rdi)
cmpq 0x1e0(%rdi), %rcx
movl 0xc(%rsp), %r11d
jne 0xf700
leal (%rbx,%rbx), %r12d
testq %rbx, %rbx
movl $0x1, %ecx
cmoveq %rcx, %r12
leaq (,%r12,8), %rcx
movq %rax, %rsi
movq %r15, %rdx
callq 0x4593
movl 0xc(%rsp), %r11d
movq (%rsp), %rdi
movq %rax, 0x1f8(%rdi)
leaq (%rax,%r14,8), %rcx
movq %rcx, 0x200(%rdi)
leaq (%rax,%r12,8), %rax
movq %rax, 0x208(%rdi)
jmp 0xf700
xorl %r13d, %r13d
movq 0x28(%rsp), %rax
movl %eax, %r9d
leal (%r9,%r13), %eax
movl %eax, %ecx
shrl $0x1f, %ecx
addl %eax, %ecx
sarl %ecx
movq %r9, 0x50(%rsp)
movslq %r9d, %r12
movq -0x8(%r15,%r12,8), %rax
movslq %ecx, %rcx
movq (%r15,%rcx,8), %rdx
movq %rdx, -0x8(%r15,%r12,8)
movq %rax, (%r15,%rcx,8)
movslq %r13d, %rcx
movq (%r15,%rcx,8), %rax
movq -0x8(%r15,%r12,8), %rdx
movb (%rax), %r9b
movb (%rdx), %dil
testb %r9b, %r9b
jne 0xf030
movl $0xffffffff, %r10d      # imm = 0xFFFFFFFF
testb %dil, %dil
jne 0xf0c4
testb %r9b, %r9b
je 0xf044
movl $0x1, %r10d
testb %dil, %dil
je 0xf0c4
movl 0x38(%r11), %r10d
movl %eax, %esi
subl %r10d, %esi
shlq $0x3, %rsi
movabsq $0x7fffffff0, %rbx      # imm = 0x7FFFFFFF0
andq %rbx, %rsi
movl %edx, %r8d
subl %r10d, %r8d
shlq $0x3, %r8
andq %rbx, %r8
testb %r9b, %r9b
je 0xf089
testb %dil, %dil
je 0xfe09
movq 0x40(%r11), %rdi
movl 0x4(%rdi,%r8), %r10d
subl 0x4(%rdi,%rsi), %r10d
jne 0xf0c4
movq 0x48(%r11), %rdi
movq %rsi, %r9
shrq %r9
movl (%rdi,%r9), %r9d
movq %r8, %r11
shrq %r11
xorl %r10d, %r10d
cmpl (%rdi,%r11), %r9d
movq (%rsp), %r11
seta %r10b
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
cmovbl %edi, %r10d
testl %r10d, %r10d
jne 0xf0c4
subq %r8, %rsi
shrq $0x4, %rsi
movl %esi, %r10d
testl %r10d, %r10d
jle 0xf0d2
movq %rax, -0x8(%r15,%r12,8)
movq %rdx, (%r15,%rcx,8)
movq (%r15,%rcx,8), %rax
movq (%r15,%r12,8), %rdx
movb (%rax), %r9b
movb (%rdx), %dil
testb %r9b, %r9b
jne 0xf0f4
movl $0xffffffff, %r10d      # imm = 0xFFFFFFFF
testb %dil, %dil
jne 0xf188
testb %r9b, %r9b
je 0xf108
movl $0x1, %r10d
testb %dil, %dil
je 0xf188
movl 0x38(%r11), %r10d
movl %eax, %esi
subl %r10d, %esi
shlq $0x3, %rsi
movabsq $0x7fffffff0, %rbx      # imm = 0x7FFFFFFF0
andq %rbx, %rsi
movl %edx, %r8d
subl %r10d, %r8d
shlq $0x3, %r8
andq %rbx, %r8
testb %r9b, %r9b
je 0xf14d
testb %dil, %dil
je 0xfe09
movq 0x40(%r11), %rdi
movl 0x4(%rdi,%r8), %r10d
subl 0x4(%rdi,%rsi), %r10d
jne 0xf188
movq 0x48(%r11), %rdi
movq %rsi, %r9
shrq %r9
movl (%rdi,%r9), %r9d
movq %r8, %r11
shrq %r11
xorl %r10d, %r10d
cmpl (%rdi,%r11), %r9d
movq (%rsp), %r11
seta %r10b
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
cmovbl %edi, %r10d
testl %r10d, %r10d
jne 0xf188
subq %r8, %rsi
shrq $0x4, %rsi
movl %esi, %r10d
testl %r10d, %r10d
jle 0xf195
movq %rax, (%r15,%r12,8)
movq %rdx, (%r15,%rcx,8)
movq -0x8(%r15,%r12,8), %rax
movq (%r15,%r12,8), %rcx
movb (%rax), %r8b
movb (%rcx), %sil
testb %r8b, %r8b
jne 0xf1b8
movl $0xffffffff, %r9d       # imm = 0xFFFFFFFF
testb %sil, %sil
jne 0xf243
testb %r8b, %r8b
je 0xf1c8
movl $0x1, %r9d
testb %sil, %sil
je 0xf243
movl 0x38(%r11), %r9d
movl %eax, %edx
subl %r9d, %edx
shlq $0x3, %rdx
movabsq $0x7fffffff0, %r10      # imm = 0x7FFFFFFF0
andq %r10, %rdx
movl %ecx, %edi
subl %r9d, %edi
shlq $0x3, %rdi
andq %r10, %rdi
testb %r8b, %r8b
je 0xf20c
testb %sil, %sil
je 0xfe09
movq 0x40(%r11), %rsi
movl 0x4(%rsi,%rdi), %r9d
subl 0x4(%rsi,%rdx), %r9d
jne 0xf243
movq 0x48(%r11), %rsi
movq %rdx, %r8
shrq %r8
movl (%rsi,%r8), %r8d
movq %rdi, %r10
shrq %r10
xorl %r9d, %r9d
cmpl (%rsi,%r10), %r8d
seta %r9b
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
cmovbl %esi, %r9d
testl %r9d, %r9d
jne 0xf243
subq %rdi, %rdx
shrq $0x4, %rdx
movl %edx, %r9d
testl %r9d, %r9d
jle 0xf251
movq %rax, (%r15,%r12,8)
movq %rcx, -0x8(%r15,%r12,8)
leal -0x1(%r12), %r14d
movq -0x8(%r15,%r12,8), %rdi
decq %r12
movq %r12, 0x48(%rsp)
movb (%rdi), %r8b
leal 0x2(%r13), %eax
movslq %eax, %r9
movq %r13, 0x30(%rsp)
movl %r13d, %ebx
movq %rbx, 0x58(%rsp)
movslq %ebx, %rax
movq %rax, 0x20(%rsp)
leaq (%r15,%rax,8), %rcx
xorl %edx, %edx
movq 0x8(%rcx,%rdx,8), %r10
movb (%r10), %bpl
testb %bpl, %bpl
jne 0xf2a3
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testb %r8b, %r8b
jne 0xf327
testb %bpl, %bpl
je 0xf2b2
movl $0x1, %ebx
testb %r8b, %r8b
je 0xf327
movl 0x38(%r11), %ebx
movl %r10d, %eax
subl %ebx, %eax
shlq $0x3, %rax
movabsq $0x7fffffff0, %r12      # imm = 0x7FFFFFFF0
andq %r12, %rax
movl %edi, %esi
subl %ebx, %esi
shlq $0x3, %rsi
andq %r12, %rsi
testb %bpl, %bpl
je 0xf2f5
testb %r8b, %r8b
je 0xfe09
movq 0x40(%r11), %r12
movl 0x4(%r12,%rsi), %ebx
subl 0x4(%r12,%rax), %ebx
jne 0xf327
movq 0x48(%r11), %r12
movq %rax, %rbx
shrq %rbx
movl (%r12,%rbx), %ebp
movq %rsi, %r13
shrq %r13
xorl %ebx, %ebx
cmpl (%r12,%r13), %ebp
seta %bl
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
cmovbl %ebp, %ebx
testl %ebx, %ebx
jne 0xf327
subq %rsi, %rax
shrq $0x4, %rax
movl %eax, %ebx
incq %rdx
testl %ebx, %ebx
js 0xf288
movq 0x20(%rsp), %rax
movl %eax, %esi
addq %rdx, %rsi
movq %rsi, 0x10(%rsp)
movslq %r14d, %r12
addq %rdx, %rax
movq %rax, 0x20(%rsp)
movq -0x8(%r15,%r12,8), %rbp
movb (%rbp), %r13b
testb %r8b, %r8b
jne 0xf368
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testb %r13b, %r13b
jne 0xf3f4
testb %r8b, %r8b
je 0xf377
movl $0x1, %ebx
testb %r13b, %r13b
je 0xf3f4
movl 0x38(%r11), %ebx
movl %edi, %r14d
subl %ebx, %r14d
shlq $0x3, %r14
movabsq $0x7fffffff0, %rsi      # imm = 0x7FFFFFFF0
andq %rsi, %r14
movl %ebp, %eax
subl %ebx, %eax
shlq $0x3, %rax
andq %rsi, %rax
testb %r8b, %r8b
je 0xf3bb
testb %r13b, %r13b
je 0xfe09
movq 0x40(%r11), %r13
movl 0x4(%r13,%rax), %ebx
subl 0x4(%r13,%r14), %ebx
jne 0xf3f4
movq 0x48(%r11), %r13
movq %r14, %rbx
shrq %rbx
movl (%r13,%rbx), %r11d
movq %rax, %rsi
shrq %rsi
xorl %ebx, %ebx
cmpl (%r13,%rsi), %r11d
movq (%rsp), %r11
seta %bl
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
cmovbl %esi, %ebx
testl %ebx, %ebx
jne 0xf3f4
subq %rax, %r14
shrq $0x4, %r14
movl %r14d, %ebx
leaq -0x1(%r12), %r14
cmpq %r12, %r9
je 0xf409
movq %r14, %r12
testl %ebx, %ebx
js 0xf34c
cmpq %r14, 0x20(%rsp)
jge 0xf422
movq %r10, (%r15,%r14,8)
movq %rbp, (%rcx,%rdx,8)
movq 0x10(%rsp), %rbx
jmp 0xf275
movq 0x58(%rsp), %r14
leal (%r14,%rdx), %eax
decl %eax
movq 0x48(%rsp), %rdi
movq (%r15,%rdi,8), %rsi
movq %r10, (%r15,%rdi,8)
leal (%r14,%rdx), %edi
movq 0x30(%rsp), %r13
subl %r13d, %edi
movq 0x50(%rsp), %r9
movl %r9d, %r8d
subl %r14d, %r8d
subl %edx, %r8d
cmpl %r8d, %edi
leal 0x1(%r14,%rdx), %edi
movl %eax, %r12d
cmovll %r9d, %r12d
movl %r13d, %ebp
cmovll %edi, %ebp
cmovll %eax, %r9d
movq %rsi, (%rcx,%rdx,8)
cmovgel %edi, %r13d
movl %r9d, %ecx
subl %r13d, %ecx
movl %r12d, %eax
subl %ebp, %eax
cmpl $0xb, %ecx
jl 0xf5db
cmpl $0xa, %eax
jle 0xff37
movq 0x478(%r11), %r14
movq 0x480(%r11), %rdx
cmpq %rdx, %r14
jne 0xf52a
movq 0x470(%r11), %rsi
cmpq %rdx, %rsi
ja 0xff49
subq %rsi, %r14
subq %rsi, %rdx
movq %rdx, %rax
shrq %rax
movabsq $0x3fffffffc, %rcx      # imm = 0x3FFFFFFFC
andq %rcx, %rdx
movq %r13, 0x30(%rsp)
movl %eax, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,4), %rcx
movq %r11, %rdi
movq %r9, %r13
callq 0x4593
movq %r13, %r9
movq (%rsp), %r11
movq %rax, 0x470(%r11)
movabsq $0x3fffffffc, %rcx      # imm = 0x3FFFFFFFC
andq %rcx, %r14
addq %rax, %r14
movq %r14, 0x478(%r11)
leaq (%rax,%rbx,4), %rax
movq 0x30(%rsp), %r13
movq %rax, 0x480(%r11)
movq 0x478(%r11), %rax
leaq 0x4(%rax), %r14
movq %r14, 0x478(%r11)
movl %ebp, (%rax)
movq 0x480(%r11), %rdx
cmpq %rdx, %r14
jne 0xf5c1
movq 0x470(%r11), %rsi
cmpq %rdx, %rsi
ja 0xff49
subq %rsi, %r14
subq %rsi, %rdx
movq %rdx, %rax
shrq %rax
movabsq $0x3fffffffc, %rcx      # imm = 0x3FFFFFFFC
andq %rcx, %rdx
movl %eax, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,4), %rcx
movq %r11, %rdi
movq %r9, %rbp
callq 0x4593
movq %rbp, %r9
movq (%rsp), %r11
movq %rax, 0x470(%r11)
movabsq $0x3fffffffc, %rcx      # imm = 0x3FFFFFFFC
andq %rcx, %r14
addq %rax, %r14
movq %r14, 0x478(%r11)
leaq (%rax,%rbx,4), %rax
movq %rax, 0x480(%r11)
movq 0x478(%r11), %rax
leaq 0x4(%rax), %rcx
movq %rcx, 0x478(%r11)
movl %r12d, (%rax)
jmp 0xefe0
movl %r12d, %r9d
movl %ebp, %r13d
cmpl $0xa, %eax
jg 0xefe0
movq 0x478(%r11), %rax
cmpq 0x470(%r11), %rax
jbe 0xec08
leaq -0x4(%rax), %rcx
movq %rcx, 0x478(%r11)
movl -0x4(%rax), %r9d
leaq -0x8(%rax), %rcx
movq %rcx, 0x478(%r11)
movl -0x8(%rax), %r13d
jmp 0xefe0
movq 0x1e8(%rdi), %r14
movq 0x1f0(%rdi), %rax
cmpq %rax, %r14
jne 0xf700
movq 0x1e0(%rdi), %rsi
cmpq %rax, %rsi
ja 0x101a2
subq %rsi, %r14
shrq $0x3, %r14
subq %rsi, %rax
movabsq $0x7fffffff0, %rcx      # imm = 0x7FFFFFFF0
leaq 0x8(%rcx), %rdx
movq %rax, %rcx
shrq $0x2, %rcx
andq %rax, %rdx
movl %ecx, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,8), %r15
movq %r15, %rcx
callq 0x4593
movq (%rsp), %rdi
movq %rax, 0x1e0(%rdi)
movl %r14d, %r14d
leaq (%rax,%r14,8), %rcx
movq %rcx, 0x1e8(%rdi)
leaq (%rax,%rbx,8), %rcx
movq %rcx, 0x1f0(%rdi)
cmpq %rax, 0x208(%rdi)
movl 0xc(%rsp), %r11d
jne 0xf700
leal (%rbx,%rbx), %r12d
testq %rbx, %rbx
movl $0x1, %ecx
cmoveq %rcx, %r12
leaq (,%r12,8), %rcx
movq %rax, %rsi
movq %r15, %rdx
callq 0x4593
movl 0xc(%rsp), %r11d
movq (%rsp), %rdi
movq %rax, 0x1e0(%rdi)
leaq (%rax,%r14,8), %rcx
movq %rcx, 0x1e8(%rdi)
leaq (%rax,%r12,8), %rax
movq %rax, 0x1f0(%rdi)
movq 0x208(%rdi), %rax
cmpq 0x1e0(%rdi), %rax
je 0x100aa
movq 0x18(%rsp), %r15
movl %r15d, %r14d
testl %r11d, %r11d
setne %al
cmpl $0x3, %r15d
setae %cl
andb %al, %cl
movzbl %cl, %ebx
leal (,%rbx,4), %eax
leaq (%rax,%r14,8), %rsi
addq $0x18, %rsi
callq 0x9bf6
movl 0xc(%rsp), %edx
movl %r15d, (%rax)
movl 0x4(%rax), %esi
movl %edx, %ecx
andl $0x1, %ecx
andl $-0x20, %esi
leal (%rsi,%rcx,2), %ecx
movq %rax, 0x10(%rsp)
movl %ecx, 0x4(%rax)
cmpb $0x1, %bl
jne 0xf781
testb $0x1, %dl
je 0x10145
movq (%rsp), %rax
movl 0x310(%rax), %eax
movq 0x10(%rsp), %rcx
movl %eax, 0x18(%rcx,%r14,8)
testl %edx, %edx
je 0xf98f
movq (%rsp), %r11
movq 0x2d8(%r11), %rax
cmpq 0x2d0(%r11), %rax
movq 0x10(%rsp), %rbx
jne 0x10126
movq 0x258(%r11), %r12
xorl %r13d, %r13d
cmpq 0x260(%r11), %r12
jae 0xf97d
xorl %r13d, %r13d
movq (%r12), %rax
cmpb $0x0, (%rax)
je 0xf939
movq 0x40(%r11), %rcx
subl 0x38(%r11), %eax
shrl %eax
shlq $0x4, %rax
movl 0x4(%rcx,%rax), %ebp
cmpl 0x28(%r11), %ebp
ja 0xffa6
movq 0x2b8(%r11), %rsi
movq 0x2c0(%r11), %r14
leaq (%rsi,%rbp), %rax
cmpq %r14, %rax
jb 0xf885
movq 0x2c8(%r11), %rdx
cmpq %rdx, %r14
jb 0xf85e
cmpq %rdx, %rsi
ja 0xff18
subl %esi, %r14d
subq %rsi, %rdx
leal (%rdx,%rdx), %r15d
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
andq %rax, %rdx
movl $0x1, %eax
cmoveq %rax, %r15
movq %r11, %rdi
movq %r15, %rcx
callq 0x4593
movq (%rsp), %r11
movq %rax, 0x2b8(%r11)
addq %rax, %r14
movq %r14, 0x2c0(%r11)
addq %rax, %r15
movq %r15, 0x2c8(%r11)
movq 0x2c0(%r11), %rax
cmpq 0x2c8(%r11), %rax
jae 0xfef9
leaq 0x1(%rax), %rcx
movq %rcx, 0x2c0(%r11)
movb $0x0, (%rax)
jmp 0xf7e9
cmpb $0x0, (%rax)
jne 0xf93c
movq 0x2d8(%r11), %r14
movq 0x2e0(%r11), %rdx
cmpq %rdx, %r14
jb 0xf90d
movq 0x2d0(%r11), %rsi
cmpq %rdx, %rsi
ja 0x1008b
subq %rsi, %r14
subq %rsi, %rdx
movq %rdx, %rax
shrq %rax
movabsq $0x3fffffffc, %r15      # imm = 0x3FFFFFFFC
andq %r15, %rdx
movl %eax, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,4), %rcx
movq %r11, %rdi
callq 0x4593
movq (%rsp), %r11
movq %rax, 0x2d0(%r11)
andq %r15, %r14
addq %rax, %r14
movq %r14, 0x2d8(%r11)
leaq (%rax,%rbx,4), %rax
movq %rax, 0x2e0(%r11)
movq 0x10(%rsp), %rbx
movq 0x2d8(%r11), %rax
cmpq 0x2e0(%r11), %rax
jae 0xffe4
leaq 0x4(%rax), %rcx
movq %rcx, 0x2d8(%r11)
movl %ebp, (%rax)
movq 0x2b8(%r11), %rax
movb $0x1, (%rax,%rbp)
incl %r13d
addq $0x8, %r12
cmpq 0x260(%r11), %r12
jb 0xf7c0
jmp 0xf97d
leaq -0x4(%rax), %rcx
movq %rcx, 0x2d8(%r11)
movl -0x4(%rax), %eax
addq 0x2b8(%r11), %rax
cmpq 0x2c0(%r11), %rax
jae 0xff68
cmpb $0x0, (%rax)
je 0xff87
movb $0x0, (%rax)
movq 0x2d8(%r11), %rax
cmpq 0x2d0(%r11), %rax
ja 0xf94f
jmp 0xf99b
xorl %r13d, %r13d
movq (%rsp), %r11
movq 0x10(%rsp), %rbx
cmpl $0x2000000, %r13d       # imm = 0x2000000
jae 0x100c9
shll $0x5, %r13d
movl 0x4(%rbx), %eax
movl $0xc000001f, %ecx       # imm = 0xC000001F
andl %ecx, %eax
orl %r13d, %eax
leaq 0x1e8(%r11), %rcx
leaq 0x200(%r11), %rdx
movl 0xc(%rsp), %esi
testl %esi, %esi
cmoveq %rcx, %rdx
movl %eax, 0x4(%rbx)
movq (%rdx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, (%rdx)
movq %rbx, (%rax)
movq 0x200(%r11), %rax
cmpq 0x1e0(%r11), %rax
je 0x100e8
testl %esi, %esi
movq %rbx, 0x10(%rsp)
je 0xfaa3
movq 0x230(%r11), %r15
testq %r15, %r15
je 0xfaa3
cmpl $0x0, 0x238(%r11)
jne 0xfaa3
movl 0x23c(%r11), %edx
movl 0x240(%r11), %ecx
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
leaq 0x40fb(%rip), %rsi      # 0x13b38
xorl %eax, %eax
callq 0x11d0
movq %rbx, %rdi
movq %r15, %rsi
callq 0x10c0
movq %rbx, %rdi
callq 0x1090
movl $0xff, %ecx
cmpl %eax, %ecx
js 0xfa7a
movl $0x100, %ebx            # imm = 0x100
subl %eax, %ebx
movl $0x20, %edi
movq %r15, %rsi
callq 0x10f0
decl %ebx
testl %ebx, %ebx
jg 0xfa67
movl $0xa, %edi
movq %r15, %rsi
callq 0x10f0
movq %r15, %rdi
callq 0x1160
movq (%rsp), %r11
movl $0x1, 0x238(%r11)
movq 0x10(%rsp), %rbx
leaq 0x18(%rbx), %r12
movq 0x258(%r11), %r14
xorl %r13d, %r13d
movl $0x0, %esi
movl $0x0, %ebp
cmpq 0x260(%r11), %r14
jae 0xfb50
xorl %ebp, %ebp
xorl %esi, %esi
xorl %r13d, %r13d
movq %r12, %r15
movq (%r14), %rbx
movq %rbx, (%r15)
cmpl $0x0, 0xc(%rsp)
je 0xfb27
movq 0x230(%r11), %rdi
testq %rdi, %rdi
je 0xfb27
movl 0x38(%r11), %eax
movl %ebx, %ecx
subl %eax, %ecx
movl %ecx, %eax
shrl %eax
movl %eax, %edx
negl %edx
testb $0x1, %cl
cmovel %eax, %edx
movl %ebp, 0x20(%rsp)
movq %r13, %rbp
movq %rsi, %r13
leaq 0x31ee(%rip), %rsi      # 0x12d00
xorl %eax, %eax
callq 0x1130
movq %r13, %rsi
movq %rbp, %r13
movl 0x20(%rsp), %ebp
movq (%rsp), %r11
addq $0x8, %r15
movb (%rbx), %al
xorl %ecx, %ecx
cmpb $0x1, %al
sete %cl
adcl $0x0, %esi
addl %ecx, %ebp
xorl %ecx, %ecx
cmpb $-0x1, %al
sete %cl
addl %ecx, %r13d
addq $0x8, %r14
cmpq 0x260(%r11), %r14
jb 0xfad2
leal (%rsi,%r13), %eax
addl %ebp, %eax
cmpl 0x18(%rsp), %eax
jne 0x1002e
movq %rsi, %r14
cmpl $0x0, 0xc(%rsp)
movq 0x40(%rsp), %r15
je 0xfb8b
movq 0x230(%r11), %rsi
testq %rsi, %rsi
je 0xfb8b
leaq 0x3188(%rip), %rdi      # 0x12d0a
callq 0x10c0
movq (%rsp), %r11
movq 0x258(%r11), %rax
movq %rax, 0x260(%r11)
movq 0x18(%rsp), %rbx
testl %ebx, %ebx
setne %al
movl 0x3c(%rsp), %ecx
andb %al, %cl
cmpb $0x1, %cl
jne 0xfbdd
movq 0x10(%rsp), %rdx
movq 0x18(%rdx), %rsi
movq %r11, %rdi
callq 0x1029a
movq (%rsp), %r11
cmpl $0x2, %ebx
jb 0xfbdd
movq 0x10(%rsp), %rdx
movq 0x20(%rdx), %rsi
movq %r11, %rdi
callq 0x1029a
movq (%rsp), %r11
cmpl $0x2, %ebx
movq %r14, %rcx
je 0xfc0d
testl %ebx, %ebx
jne 0xfc04
cmpq $0x0, 0x248(%r11)
jne 0xfbff
movq 0x10(%rsp), %rax
movq %rax, 0x248(%r11)
cmpl $0x2, %ebx
je 0xfc0d
movq 0x10(%rsp), %rax
orb $0x10, 0x4(%rax)
testl %r13d, %r13d
je 0xfda1
cmpl $0x0, 0x28(%r11)
jne 0xfda1
movq 0x260(%r11), %rax
cmpq 0x258(%r11), %rax
jne 0x1004d
movq 0x2a0(%r11), %rsi
movq 0x2a8(%r11), %rax
movq %rax, %r14
subq %rsi, %r14
movq 0x10(%rsp), %rbx
jne 0x1006c
cmpq %rbx, %r15
sete %cl
orb %bl, %cl
testb $0x1, %cl
jne 0xfd04
movq 0x2b0(%r11), %rcx
cmpq %rcx, %rax
jne 0xfce2
cmpq %rcx, %rsi
ja 0x10164
subq %rsi, %rcx
movabsq $0x7fffffff0, %rax      # imm = 0x7FFFFFFF0
leaq 0x8(%rax), %rdx
movq %rcx, %rax
shrq $0x2, %rax
andq %rcx, %rdx
movl %eax, %ebx
movl $0x1, %eax
cmoveq %rax, %rbx
leaq (,%rbx,8), %rcx
movq %r11, %rdi
callq 0x4593
movq (%rsp), %r11
movq %rax, 0x2a0(%r11)
movabsq $0x7fffffff8, %rcx      # imm = 0x7FFFFFFF8
andq %rcx, %r14
addq %rax, %r14
movq %r14, 0x2a8(%r11)
leaq (%rax,%rbx,8), %rax
movq %rax, 0x2b0(%r11)
movq 0x10(%rsp), %rbx
movq 0x2a8(%r11), %rax
cmpq 0x2b0(%r11), %rax
jae 0x10107
leaq 0x8(%rax), %rcx
movq %rcx, 0x2a8(%r11)
movq %rbx, (%rax)
movl (%rbx), %eax
testq %rax, %rax
je 0xffc5
leaq (%rbx,%rax,8), %r14
addq $0x18, %r14
movl $0x1, %ebp
movq (%r12), %rsi
movq 0x40(%r11), %rcx
movl 0x38(%r11), %eax
movl %esi, %edx
subl %eax, %edx
shrl %edx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movzwl (%rcx,%rdx), %ecx
testb $0x10, %cl
jne 0xfd4c
orl $0x10, %ecx
movw %cx, (%rax)
incl 0x44c(%r11)
cmpb $-0x1, (%rsi)
je 0xfd5b
movq %r11, %rdi
callq 0x7574
jmp 0xfd69
movq 0x8(%rax), %rsi
movq %r11, %rdi
callq 0xe9c7
incl %ebp
addq $0x8, %r12
cmpq %r14, %r12
movq (%rsp), %r11
jb 0xfd1c
cmpl $0x1, %ebp
jbe 0xffc5
movl $0x1, %esi
xorl %eax, %eax
cmpq %rbx, %r15
jne 0xeb13
movl $0x0, 0xc0(%r11)
xorl %eax, %eax
jmp 0xeb13
movl %ecx, %eax
xorl $0x1, %eax
orl %ebp, %eax
movq 0x10(%rsp), %rbx
jne 0xfe84
movl 0x18(%rsp), %eax
testq %rax, %rax
je 0xfe28
leaq (%rbx,%rax,8), %rax
addq $0x18, %rax
xorl %esi, %esi
movq %r12, %rcx
movq (%rcx), %rdi
cmpb $0x0, (%rdi)
cmoveq %rdi, %rsi
movq 0x40(%r11), %rdx
subl 0x38(%r11), %edi
shrl %edi
shlq $0x4, %rdi
movzwl (%rdx,%rdi), %r8d
testb $0x10, %r8b
jne 0xfdfe
addq %rdi, %rdx
orl $0x10, %r8d
movw %r8w, (%rdx)
incl 0x44c(%r11)
addq $0x8, %rcx
cmpq %rax, %rcx
jb 0xfdc9
jmp 0xfe2a
leaq 0x3cba(%rip), %rdi      # 0x13aca
leaq 0x2495(%rip), %rsi      # 0x122ac
leaq 0x3cb7(%rip), %rcx      # 0x13ad5
movl $0x65f, %edx            # imm = 0x65F
callq 0x10b0
xorl %esi, %esi
testq %rsi, %rsi
je 0x101c1
movq %rbx, %rdx
cmpl $0x2, 0x18(%rsp)
jne 0xfe70
movq (%r12), %rax
cmpq %rsi, %rax
jne 0xfe4a
movq 0x20(%rbx), %rax
cmpb $-0x1, (%rax)
jne 0x101e0
movq 0x38(%r11), %rcx
subq %rcx, %rax
xorq $0x1, %rax
cmpb $0x1, (%rcx,%rax)
jne 0x101ff
leaq 0x1(,%rax,2), %rdx
movq %r11, %rdi
callq 0xe3e1
movq (%rsp), %r11
movl $0x1, %ebp
movq %r14, %rcx
cmpl 0x18(%rsp), %r13d
jne 0xfebb
cmpq $0x0, 0x250(%r11)
jne 0xfebb
movq %rbx, %rax
cmpq %r15, %rbx
jne 0xfeb4
movq 0x18(%rbx), %rsi
movq 0x20(%rbx), %rdx
movq %r11, %rdi
callq 0xe87d
movq %r14, %rcx
movq (%rsp), %r11
movq %rax, 0x250(%r11)
testl %ecx, %ecx
je 0xfed4
orl 0xc(%rsp), %ebp
jne 0xfed4
movq %r11, %rdi
movq %rbx, %rsi
callq 0x1048c
movq (%rsp), %r11
cmpq %r15, %rbx
jne 0xfee4
movl $0x0, 0xc0(%r11)
movq %rbx, %rax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x3a33(%rip), %rdi      # 0x13933
leaq 0x23a5(%rip), %rsi      # 0x122ac
leaq 0x395f(%rip), %rcx      # 0x1386d
movl $0x942, %edx            # imm = 0x942
callq 0x10b0
leaq 0x39f5(%rip), %rdi      # 0x13914
leaq 0x2386(%rip), %rsi      # 0x122ac
leaq 0x3940(%rip), %rcx      # 0x1386d
movl $0x941, %edx            # imm = 0x941
callq 0x10b0
leaq 0x3554(%rip), %rdi      # 0x13492
jmp 0xff50
leaq 0x3b57(%rip), %rdi      # 0x13a9e
jmp 0xff50
leaq 0x3561(%rip), %rdi      # 0x134b1
leaq 0x2355(%rip), %rsi      # 0x122ac
leaq 0x3b16(%rip), %rcx      # 0x13a74
movl $0x680, %edx            # imm = 0x680
callq 0x10b0
leaq 0x3a1b(%rip), %rdi      # 0x1398a
leaq 0x2336(%rip), %rsi      # 0x122ac
leaq 0x38f0(%rip), %rcx      # 0x1386d
movl $0x956, %edx            # imm = 0x956
callq 0x10b0
leaq 0x3a23(%rip), %rdi      # 0x139b1
leaq 0x2317(%rip), %rsi      # 0x122ac
leaq 0x38d1(%rip), %rcx      # 0x1386d
movl $0x957, %edx            # imm = 0x957
callq 0x10b0
leaq 0x3951(%rip), %rdi      # 0x138fe
leaq 0x22f8(%rip), %rsi      # 0x122ac
leaq 0x38b2(%rip), %rcx      # 0x1386d
movl $0x93d, %edx            # imm = 0x93D
callq 0x10b0
leaq 0x3a4d(%rip), %rdi      # 0x13a19
leaq 0x22d9(%rip), %rsi      # 0x122ac
leaq 0x3893(%rip), %rcx      # 0x1386d
movl $0x9c3, %edx            # imm = 0x9C3
callq 0x10b0
leaq 0x3983(%rip), %rdi      # 0x1396e
leaq 0x22ba(%rip), %rsi      # 0x122ac
leaq 0x3874(%rip), %rcx      # 0x1386d
movl $0x949, %edx            # imm = 0x949
callq 0x10b0
leaq 0x3837(%rip), %rdi      # 0x13841
leaq 0x229b(%rip), %rsi      # 0x122ac
leaq 0x3855(%rip), %rcx      # 0x1386d
movl $0x8fd, %edx            # imm = 0x8FD
callq 0x10b0
leaq 0x3450(%rip), %rdi      # 0x13479
jmp 0xff50
leaq 0x39bb(%rip), %rdi      # 0x139f0
leaq 0x2270(%rip), %rsi      # 0x122ac
leaq 0x382a(%rip), %rcx      # 0x1386d
movl $0x989, %edx            # imm = 0x989
callq 0x10b0
leaq 0x3771(%rip), %rdi      # 0x137c5
leaq 0x2251(%rip), %rsi      # 0x122ac
leaq 0x380b(%rip), %rcx      # 0x1386d
movl $0x9ad, %edx            # imm = 0x9AD
callq 0x10b0
leaq 0x3708(%rip), %rdi      # 0x1377b
leaq 0x2232(%rip), %rsi      # 0x122ac
leaq 0x37ec(%rip), %rcx      # 0x1386d
movl $0x9ae, %edx            # imm = 0x9AE
callq 0x10b0
leaq 0x38bf(%rip), %rdi      # 0x13951
leaq 0x2213(%rip), %rsi      # 0x122ac
leaq 0x37cd(%rip), %rcx      # 0x1386d
movl $0x948, %edx            # imm = 0x948
callq 0x10b0
leaq 0x381a(%rip), %rdi      # 0x138cb
leaq 0x21f4(%rip), %rsi      # 0x122ac
leaq 0x37ae(%rip), %rcx      # 0x1386d
movl $0x92d, %edx            # imm = 0x92D
callq 0x10b0
leaq 0x38f6(%rip), %rdi      # 0x139c6
leaq 0x21d5(%rip), %rsi      # 0x122ac
leaq 0x378f(%rip), %rcx      # 0x1386d
movl $0x95c, %edx            # imm = 0x95C
callq 0x10b0
leaq 0x38e7(%rip), %rdi      # 0x139d6
leaq 0x21b6(%rip), %rsi      # 0x122ac
leaq 0x3770(%rip), %rcx      # 0x1386d
movl $0x96c, %edx            # imm = 0x96C
callq 0x10b0
leaq 0x371f(%rip), %rdi      # 0x1382d
leaq 0x2197(%rip), %rsi      # 0x122ac
leaq 0x36d4(%rip), %rcx      # 0x137f0
movl $0x706, %edx            # imm = 0x706
callq 0x10b0
leaq 0x37b6(%rip), %rdi      # 0x138e3
leaq 0x2178(%rip), %rsi      # 0x122ac
leaq 0x3732(%rip), %rcx      # 0x1386d
movl $0x935, %edx            # imm = 0x935
callq 0x10b0
leaq 0x39ab(%rip), %rdi      # 0x13af7
leaq 0x2159(%rip), %rsi      # 0x122ac
leaq 0x39ac(%rip), %rcx      # 0x13b06
movl $0x534, %edx            # imm = 0x534
callq 0x10b0
leaq 0x36a6(%rip), %rdi      # 0x13811
leaq 0x213a(%rip), %rsi      # 0x122ac
leaq 0x3677(%rip), %rcx      # 0x137f0
movl $0x704, %edx            # imm = 0x704
callq 0x10b0
leaq 0x3709(%rip), %rdi      # 0x13893
leaq 0x211b(%rip), %rsi      # 0x122ac
leaq 0x36d5(%rip), %rcx      # 0x1386d
movl $0x90b, %edx            # imm = 0x90B
callq 0x10b0
leaq 0x3706(%rip), %rdi      # 0x138af
leaq 0x20fc(%rip), %rsi      # 0x122ac
leaq 0x36b6(%rip), %rcx      # 0x1386d
movl $0x923, %edx            # imm = 0x923
callq 0x10b0
leaq 0x39d2(%rip), %rdi      # 0x13b9a
leaq 0x20dd(%rip), %rsi      # 0x122ac
leaq 0x3697(%rip), %rcx      # 0x1386d
movl $0x9d9, %edx            # imm = 0x9D9
callq 0x10b0
leaq 0x3846(%rip), %rdi      # 0x13a2d
leaq 0x20be(%rip), %rsi      # 0x122ac
leaq 0x3678(%rip), %rcx      # 0x1386d
movl $0x9e3, %edx            # imm = 0x9E3
callq 0x10b0
leaq 0x383b(%rip), %rdi      # 0x13a41
leaq 0x209f(%rip), %rsi      # 0x122ac
leaq 0x3659(%rip), %rcx      # 0x1386d
movl $0x9e4, %edx            # imm = 0x9E4
callq 0x10b0