// File: biotomas[P]ipasir/sat/picosat961/picosat-961/picosat.c
// Function: faillits
static void
faillits (PS * ps)
{
  unsigned i, j, old_trail_count, common, saved_count;
  unsigned new_saved_size, oldladded = ps->ladded;
  unsigned long long limit, delta;
  Lit * lit, * other, * pivot;
  Rnk * r, ** p, ** q;
  int new_trail_count;
  double started;

  if (ps->plain)
    return;

  if (ps->heap + 1 >= ps->hhead)
    return;

  if (ps->propagations < ps->fllimit)
    return;

  sflush (ps);
  started = ps->seconds;

  ps->flcalls++;
#ifdef STATSA
  ps->flrounds++;
#endif
  delta = ps->propagations/10;
  if (delta >= 100*1000*1000) delta = 100*1000*1000;
  else if (delta <= 100*1000) delta = 100*1000;

  limit = ps->propagations + delta;
  ps->fllimit = ps->propagations;

  assert (!ps->LEVEL);
  assert (ps->simplifying);

  if (ps->flcalls <= 1)
    SORT (Rnk *, cmp_inverse_jwh_rnk, ps->heap + 1, ps->hhead - (ps->heap + 1));
  else
    SORT (Rnk *, cmp_inverse_rnk, ps->heap + 1, ps->hhead - (ps->heap + 1));

  i = 1;		/* NOTE: heap starts at position '1' */

  while (ps->propagations < limit)
    {
      if (ps->heap + i == ps->hhead)
	{
	  if (ps->ladded == oldladded)
	    break;

	  i = 1;
#ifdef STATS
	  ps->flrounds++;
#endif
	  oldladded = ps->ladded;
	}

      assert (ps->heap + i < ps->hhead);

      r = ps->heap[i++];
      lit = RNK2LIT (r);

      if (lit->val)
	continue;

      if (!lit_has_binary_clauses (ps, NOTLIT (lit)))
	{
#ifdef STATS
	  ps->flskipped++;
#endif
	  continue;
	}

#ifdef STATS
      ps->fltried++;
#endif
      LOG ( fprintf (ps->out, "%strying %d as failed literal\n",
	    ps->prefix, LIT2INT (lit)));

      assign_decision (ps, lit);
      old_trail_count = ps->thead - ps->trail;
      flbcp (ps);

      if (ps->conflict)
	{
EXPLICITLY_FAILED_LITERAL:
	  LOG ( fprintf (ps->out, "%sfound explicitly failed literal %d\n",
		ps->prefix, LIT2INT (lit)));

	  ps->failedlits++;
	  ps->efailedlits++;

	  backtrack (ps);
	  flbcp (ps);

	  if (!ps->conflict)
	    continue;

CONTRADICTION:
	  assert (!ps->LEVEL);
	  backtrack (ps);
	  assert (ps->mtcls);

	  goto RETURN;
	}

      if (ps->propagations >= limit)
	{
	  undo (ps, 0);
	  break;
	}

      lit = NOTLIT (lit);

      if (!lit_has_binary_clauses (ps, NOTLIT (lit)))
	{
#ifdef STATS
	  ps->flskipped++;
#endif
	  undo (ps, 0);
	  continue;
	}

#ifdef STATS
      ps->fltried++;
#endif
      LOG ( fprintf (ps->out, "%strying %d as failed literals\n",
	    ps->prefix, LIT2INT (lit)));

      new_trail_count = ps->thead - ps->trail;
      saved_count = new_trail_count - old_trail_count;

      if (saved_count > ps->saved_size)
	{
	  new_saved_size = ps->saved_size ? 2 * ps->saved_size : 1;
	  while (saved_count > new_saved_size)
	    new_saved_size *= 2;

	  RESIZEN (ps->saved, ps->saved_size, new_saved_size);
	  ps->saved_size = new_saved_size;
	}

      for (j = 0; j < saved_count; j++)
	ps->saved[j] = ps->trail[old_trail_count + j];

      undo (ps, 0);

      assign_decision (ps, lit);
      flbcp (ps);

      if (ps->conflict)
	goto EXPLICITLY_FAILED_LITERAL;

      pivot = (ps->thead - ps->trail <= new_trail_count) ? lit : NOTLIT (lit);

      common = 0;
      for (j = 0; j < saved_count; j++)
	if ((other = ps->saved[j])->val == TRUE)
	  ps->saved[common++] = other;

      undo (ps, 0);

      LOG (if (common)
	     fprintf (ps->out, 
		      "%sfound %d literals implied by %d and %d\n",
		      ps->prefix, common, 
		      LIT2INT (NOTLIT (lit)), LIT2INT (lit)));

#if 1 // set to zero to disable 'lifting'
      for (j = 0; 
	   j < common 
	  /* TODO: For some Velev benchmarks, extracting the common implicit
	   * failed literals took quite some time.  This needs to be fixed by
	   * a dedicated analyzer.  Up to then we bound the number of
	   * propagations in this loop as well.
	   */
	   && ps->propagations < limit + delta
	   ; j++)
	{
	  other = ps->saved[j];

	  if (other->val == TRUE)
	    continue;

	  assert (!other->val);

	  LOG ( fprintf (ps->out, 
			"%sforcing %d as forced implicitly failed literal\n",
			ps->prefix, LIT2INT (other)));

	  assert (pivot != NOTLIT (other));
	  assert (pivot != other);

	  assign_decision (ps, NOTLIT (other));
	  flbcp (ps);

	  assert (ps->LEVEL == 1);

	  if (ps->conflict)
	    {
	      backtrack (ps);
	      assert (!ps->LEVEL);
	    }
	  else
	    {
	      assign_decision (ps, pivot);
	      flbcp (ps);

	      backtrack (ps);

	      if (ps->LEVEL)
		{
		  assert (ps->LEVEL == 1);

		  flbcp (ps);

		  if (ps->conflict)
		    {
		      backtrack (ps);
		      assert (!ps->LEVEL);
		    }
		  else
		    {
		      assign_decision (ps, NOTLIT (pivot));
		      flbcp (ps);
		      backtrack (ps);

		      if (ps->LEVEL)
			{
			  assert (ps->LEVEL == 1);
			  flbcp (ps);

			  if (!ps->conflict)
			    {
#ifdef STATS
			      ps->floopsed++;
#endif
			      undo (ps, 0);
			      continue;
			    }

			  backtrack (ps);
			}

		      assert (!ps->LEVEL);
		    }

		  assert (!ps->LEVEL);
		}
	    }
	  assert (!ps->LEVEL);
	  flbcp (ps);

	  ps->failedlits++;
	  ps->ifailedlits++;

	  if (ps->conflict)
	    goto CONTRADICTION;
	}
#endif
    }

  ps->fllimit += 9 * (ps->propagations - ps->fllimit);	/* 10% for failed literals */

RETURN:

  /* First flush top level assigned literals.  Those are prohibited from
   * being pushed up the heap during 'faillits' since 'simplifying' is set.
   */
  assert (ps->heap < ps->hhead);
  for (p = q = ps->heap + 1; p < ps->hhead; p++)
    {
      r = *p;
      lit = RNK2LIT (r);
      if (lit->val)
       	r->pos = 0;
      else
	*q++ = r;
    }

  /* Then resort with respect to EVSIDS score and fix positions.
   */
  SORT (Rnk *, cmp_inverse_rnk, ps->heap + 1, ps->hhead - (ps->heap + 1));
  for (p = ps->heap + 1; p < ps->hhead; p++)
    (*p)->pos = p - ps->heap;

  sflush (ps);
  ps->flseconds += ps->seconds - started;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x350, %rsp            # imm = 0x350
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movl 0x43c(%rax), %eax
movl %eax, -0x24(%rbp)
movq -0x8(%rbp), %rax
cmpl $0x0, 0x24(%rax)
je 0xf1ab
jmp 0x11ebf
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jb 0xf1cc
jmp 0x11ebf
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x400(%rcx), %rax
jae 0xf1e9
jmp 0x11ebf
movq -0x8(%rbp), %rdi
callq 0xb2f0
movq -0x8(%rbp), %rax
movsd 0x340(%rax), %xmm0
movsd %xmm0, -0x78(%rbp)
movq -0x8(%rbp), %rax
movl 0x3f8(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3f8(%rax)
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
movl $0xa, %ecx
xorl %edx, %edx
divq %rcx
movq %rax, -0x38(%rbp)
cmpq $0x5f5e100, -0x38(%rbp) # imm = 0x5F5E100
jb 0xf243
movq $0x5f5e100, -0x38(%rbp) # imm = 0x5F5E100
jmp 0xf257
cmpq $0x186a0, -0x38(%rbp)   # imm = 0x186A0
ja 0xf255
movq $0x186a0, -0x38(%rbp)   # imm = 0x186A0
jmp 0xf257
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
addq -0x38(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x400(%rax)
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0xf28c
jmp 0xf2ab
leaq 0xf206(%rip), %rdi      # 0x1e499
leaq 0xe00a(%rip), %rsi      # 0x1d2a4
movl $0x13b2, %edx           # imm = 0x13B2
leaq 0xf1fe(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
cmpl $0x0, 0x408(%rax)
je 0xf2ba
jmp 0xf2d9
leaq 0x10855(%rip), %rdi     # 0x1fb16
leaq 0xdfdc(%rip), %rsi      # 0x1d2a4
movl $0x13b3, %edx           # imm = 0x13B3
leaq 0xf1d0(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
cmpl $0x1, 0x3f8(%rax)
ja 0xfdbb
jmp 0xf2ec
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rax
movq 0x1d0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x1c8(%rcx), %rcx
addq $0x8, %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x84(%rbp)
movl $0x0, -0x88(%rbp)
movl -0x84(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x8c(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0xf359
jmp 0xf378
leaq 0xf158(%rip), %rdi      # 0x1e4b8
leaq 0xdf3d(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xf131(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movl -0x8c(%rbp), %eax
subl -0x88(%rbp), %eax
cmpl $0xa, %eax
jg 0xf38e
jmp 0xfb59
jmp 0xf390
movl -0x88(%rbp), %eax
addl -0x8c(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, -0x90(%rbp)
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0xa8(%rbp)
movq -0x80(%rbp), %rax
movslq -0x90(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0xa8(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x90(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xf3f8
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jle 0xf475
jmp 0xf427
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0xb0(%rbp)
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0xb0(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xf475
jmp 0xf477
jmp 0xf479
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jle 0xf4f3
jmp 0xf4a7
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xb8(%rbp)
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0xb8(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x88(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xf4f3
jmp 0xf4f5
jmp 0xf4f7
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jle 0xf574
jmp 0xf526
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xc0(%rbp)
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0xc0(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x8c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0xf574
jmp 0xf576
jmp 0xf578
movl -0x88(%rbp), %eax
addl $0x1, %eax
subl $0x1, %eax
movl %eax, -0x9c(%rbp)
movl -0x8c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0xcc(%rbp)
movq -0x80(%rbp), %rax
movslq -0xcc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xc8(%rbp)
jmp 0xf5b1
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movl -0x9c(%rbp), %ecx
addl $0x1, %ecx
movl %ecx, -0x9c(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rsi
movq -0xc8(%rbp), %rdx
callq 0x125f0
cmpl $0x0, %eax
jge 0xf5e2
jmp 0xf5b1
jmp 0xf5e4
movq -0x8(%rbp), %rdi
movq -0xc8(%rbp), %rsi
movq -0x80(%rbp), %rax
movl -0xcc(%rbp), %ecx
addl $-0x1, %ecx
movl %ecx, -0xcc(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jge 0xf62a
movl -0xcc(%rbp), %eax
movl -0x88(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0xf628
jmp 0xf62a
jmp 0xf5e4
movl -0x9c(%rbp), %eax
cmpl -0xcc(%rbp), %eax
jl 0xf63a
jmp 0xf68b
jmp 0xf63c
movq -0x80(%rbp), %rax
movslq -0xcc(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xd8(%rbp)
movq -0x80(%rbp), %rax
movslq -0x9c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0xcc(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0xd8(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x9c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xf5af
jmp 0xf68d
movq -0x80(%rbp), %rax
movl -0x8c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xe0(%rbp)
movq -0x80(%rbp), %rax
movslq -0x9c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movl -0x8c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq -0xe0(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x9c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xf6e3
movl -0x9c(%rbp), %eax
subl -0x88(%rbp), %eax
movl -0x8c(%rbp), %ecx
subl -0x9c(%rbp), %ecx
cmpl %ecx, %eax
jge 0xf72b
movl -0x9c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x94(%rbp)
movl -0x8c(%rbp), %eax
movl %eax, -0x98(%rbp)
movl -0x9c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x8c(%rbp)
jmp 0xf755
movl -0x88(%rbp), %eax
movl %eax, -0x94(%rbp)
movl -0x9c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x98(%rbp)
movl -0x9c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x88(%rbp)
movl -0x8c(%rbp), %eax
subl -0x88(%rbp), %eax
cmpl $0xa, %eax
jle 0xfac3
movl -0x98(%rbp), %eax
subl -0x94(%rbp), %eax
cmpl $0xa, %eax
jle 0xf77d
jmp 0xf79c
leaq 0xed4d(%rip), %rdi      # 0x1e4d1
leaq 0xdb19(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xed0d(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0xf90c
jmp 0xf7ba
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0xe4(%rbp)
cmpl $0x0, -0xe4(%rbp)
je 0xf7f6
movl -0xe4(%rbp), %eax
shll %eax
movl %eax, -0x328(%rbp)
jmp 0xf803
movl $0x1, %eax
movl %eax, -0x328(%rbp)
jmp 0xf803
movl -0x328(%rbp), %eax
movl %eax, %eax
movq %rax, -0xf0(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0xf4(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0xf84f
jmp 0xf86e
leaq 0xec9a(%rip), %rdi      # 0x1e4f0
leaq 0xda47(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xec3b(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0xf870
movl -0xe4(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x100(%rbp)
movq -0xf0(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x108(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x100(%rbp), %rdx
movq -0x108(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0xf4(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0xf0(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0xf90c
movl -0x94(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0xfa9d
jmp 0xf94b
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x10c(%rbp)
cmpl $0x0, -0x10c(%rbp)
je 0xf987
movl -0x10c(%rbp), %eax
shll %eax
movl %eax, -0x32c(%rbp)
jmp 0xf994
movl $0x1, %eax
movl %eax, -0x32c(%rbp)
jmp 0xf994
movl -0x32c(%rbp), %eax
movl %eax, %eax
movq %rax, -0x118(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x11c(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0xf9e0
jmp 0xf9ff
leaq 0xeb09(%rip), %rdi      # 0x1e4f0
leaq 0xd8b6(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xeaaa(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0xfa01
movl -0x10c(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x128(%rbp)
movq -0x118(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x130(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x128(%rbp), %rdx
movq -0x130(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0x11c(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0x118(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0xfa9d
movl -0x98(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
jmp 0xfb52
movl -0x98(%rbp), %eax
subl -0x94(%rbp), %eax
cmpl $0xa, %eax
jle 0xfaee
movl -0x94(%rbp), %eax
movl %eax, -0x88(%rbp)
movl -0x98(%rbp), %eax
movl %eax, -0x8c(%rbp)
jmp 0xfb50
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jbe 0xfb4c
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x8c(%rbp)
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x88(%rbp)
jmp 0xfb4e
jmp 0xfb57
jmp 0xfb50
jmp 0xfb52
jmp 0xf390
jmp 0xfb59
jmp 0xfb5b
movl $0x0, -0x13c(%rbp)
movl -0x84(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x140(%rbp)
movl -0x140(%rbp), %eax
movl %eax, -0x144(%rbp)
movl -0x144(%rbp), %eax
cmpl -0x13c(%rbp), %eax
jle 0xfc29
jmp 0xfb94
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jle 0xfc11
jmp 0xfbc3
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x150(%rbp)
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x150(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0xfc11
jmp 0xfc13
jmp 0xfc15
movl -0x144(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x144(%rbp)
jmp 0xfb80
movl -0x13c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x144(%rbp)
movl -0x144(%rbp), %eax
cmpl -0x140(%rbp), %eax
jg 0xfcf3
movl -0x144(%rbp), %eax
movl %eax, -0x148(%rbp)
movq -0x80(%rbp), %rax
movslq -0x144(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x138(%rbp)
movq -0x8(%rbp), %rdi
movq -0x138(%rbp), %rsi
movq -0x80(%rbp), %rax
movl -0x148(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jge 0xfcc9
movq -0x80(%rbp), %rax
movl -0x148(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
movq -0x80(%rbp), %rax
movslq -0x148(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x148(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x148(%rbp)
jmp 0xfc6c
movq -0x138(%rbp), %rdx
movq -0x80(%rbp), %rax
movslq -0x148(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x144(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x144(%rbp)
jmp 0xfc38
jmp 0xfcf5
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0xfd0f
jmp 0xfd2e
leaq 0xe7a2(%rip), %rdi      # 0x1e4b8
leaq 0xd587(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xe77b(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0xfd30
movl $0x0, -0x154(%rbp)
movl -0x154(%rbp), %eax
movl -0x84(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0xfdb2
movq -0x8(%rbp), %rdi
movq -0x80(%rbp), %rax
movslq -0x154(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x80(%rbp), %rax
movl -0x154(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x125f0
cmpl $0x0, %eax
jg 0xfd80
jmp 0xfd9f
leaq 0xe784(%rip), %rdi      # 0x1e50b
leaq 0xd516(%rip), %rsi      # 0x1d2a4
movl $0x13b6, %edx           # imm = 0x13B6
leaq 0xe70a(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0xfda1
movl -0x154(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x154(%rbp)
jmp 0xfd3a
jmp 0xfdb4
jmp 0xfdb6
jmp 0x10916
jmp 0xfdbd
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq %rax, -0x160(%rbp)
movq -0x8(%rbp), %rax
movq 0x1d0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x1c8(%rcx), %rcx
addq $0x8, %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x164(%rbp)
movl $0x0, -0x168(%rbp)
movl -0x164(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x16c(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0xfe2d
jmp 0xfe4c
leaq 0xe684(%rip), %rdi      # 0x1e4b8
leaq 0xd469(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xe65d(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movl -0x16c(%rbp), %eax
subl -0x168(%rbp), %eax
cmpl $0xa, %eax
jg 0xfe62
jmp 0x10690
jmp 0xfe64
movl -0x168(%rbp), %eax
addl -0x16c(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, -0x170(%rbp)
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x188(%rbp)
movq -0x160(%rbp), %rax
movslq -0x170(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x188(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x170(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xfed8
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0xff67
jmp 0xff0d
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x190(%rbp)
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x190(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xff67
jmp 0xff69
jmp 0xff6b
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0xfff7
jmp 0xff9f
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x198(%rbp)
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x198(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x168(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xfff7
jmp 0xfff9
jmp 0xfffb
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x1008a
jmp 0x10030
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x1a0(%rbp)
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x1a0(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x16c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x1008a
jmp 0x1008c
jmp 0x1008e
movl -0x168(%rbp), %eax
addl $0x1, %eax
subl $0x1, %eax
movl %eax, -0x17c(%rbp)
movl -0x16c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x1ac(%rbp)
movq -0x160(%rbp), %rax
movslq -0x1ac(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x100ca
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movl -0x17c(%rbp), %ecx
addl $0x1, %ecx
movl %ecx, -0x17c(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rsi
movq -0x1a8(%rbp), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x100fe
jmp 0x100ca
jmp 0x10100
movq -0x8(%rbp), %rdi
movq -0x1a8(%rbp), %rsi
movq -0x160(%rbp), %rax
movl -0x1ac(%rbp), %ecx
addl $-0x1, %ecx
movl %ecx, -0x1ac(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x10149
movl -0x1ac(%rbp), %eax
movl -0x168(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x10147
jmp 0x10149
jmp 0x10100
movl -0x17c(%rbp), %eax
cmpl -0x1ac(%rbp), %eax
jl 0x10159
jmp 0x101b6
jmp 0x1015b
movq -0x160(%rbp), %rax
movslq -0x1ac(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x1b8(%rbp)
movq -0x160(%rbp), %rax
movslq -0x17c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x1ac(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x1b8(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x17c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x100c8
jmp 0x101b8
movq -0x160(%rbp), %rax
movl -0x16c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x1c0(%rbp)
movq -0x160(%rbp), %rax
movslq -0x17c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movl -0x16c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x1c0(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x17c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1021a
movl -0x17c(%rbp), %eax
subl -0x168(%rbp), %eax
movl -0x16c(%rbp), %ecx
subl -0x17c(%rbp), %ecx
cmpl %ecx, %eax
jge 0x10262
movl -0x17c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x174(%rbp)
movl -0x16c(%rbp), %eax
movl %eax, -0x178(%rbp)
movl -0x17c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x16c(%rbp)
jmp 0x1028c
movl -0x168(%rbp), %eax
movl %eax, -0x174(%rbp)
movl -0x17c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x178(%rbp)
movl -0x17c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x168(%rbp)
movl -0x16c(%rbp), %eax
subl -0x168(%rbp), %eax
cmpl $0xa, %eax
jle 0x105fa
movl -0x178(%rbp), %eax
subl -0x174(%rbp), %eax
cmpl $0xa, %eax
jle 0x102b4
jmp 0x102d3
leaq 0xe216(%rip), %rdi      # 0x1e4d1
leaq 0xcfe2(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xe1d6(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x10443
jmp 0x102f1
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x1c4(%rbp)
cmpl $0x0, -0x1c4(%rbp)
je 0x1032d
movl -0x1c4(%rbp), %eax
shll %eax
movl %eax, -0x330(%rbp)
jmp 0x1033a
movl $0x1, %eax
movl %eax, -0x330(%rbp)
jmp 0x1033a
movl -0x330(%rbp), %eax
movl %eax, %eax
movq %rax, -0x1d0(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x1d4(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x10386
jmp 0x103a5
leaq 0xe163(%rip), %rdi      # 0x1e4f0
leaq 0xcf10(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xe104(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x103a7
movl -0x1c4(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x1e0(%rbp)
movq -0x1d0(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x1e8(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x1e0(%rbp), %rdx
movq -0x1e8(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0x1d4(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0x1d0(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x10443
movl -0x174(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x105d4
jmp 0x10482
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x1ec(%rbp)
cmpl $0x0, -0x1ec(%rbp)
je 0x104be
movl -0x1ec(%rbp), %eax
shll %eax
movl %eax, -0x334(%rbp)
jmp 0x104cb
movl $0x1, %eax
movl %eax, -0x334(%rbp)
jmp 0x104cb
movl -0x334(%rbp), %eax
movl %eax, %eax
movq %rax, -0x1f8(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x1fc(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x10517
jmp 0x10536
leaq 0xdfd2(%rip), %rdi      # 0x1e4f0
leaq 0xcd7f(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xdf73(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x10538
movl -0x1ec(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x208(%rbp)
movq -0x1f8(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x210(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x208(%rbp), %rdx
movq -0x210(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0x1fc(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0x1f8(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x105d4
movl -0x178(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
jmp 0x10689
movl -0x178(%rbp), %eax
subl -0x174(%rbp), %eax
cmpl $0xa, %eax
jle 0x10625
movl -0x174(%rbp), %eax
movl %eax, -0x168(%rbp)
movl -0x178(%rbp), %eax
movl %eax, -0x16c(%rbp)
jmp 0x10687
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jbe 0x10683
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x16c(%rbp)
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x168(%rbp)
jmp 0x10685
jmp 0x1068e
jmp 0x10687
jmp 0x10689
jmp 0xfe64
jmp 0x10690
jmp 0x10692
movl $0x0, -0x21c(%rbp)
movl -0x164(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x220(%rbp)
movl -0x220(%rbp), %eax
movl %eax, -0x224(%rbp)
movl -0x224(%rbp), %eax
cmpl -0x21c(%rbp), %eax
jle 0x10772
jmp 0x106cb
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x1075a
jmp 0x10700
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x230(%rbp)
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x230(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x1075a
jmp 0x1075c
jmp 0x1075e
movl -0x224(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x224(%rbp)
jmp 0x106b7
movl -0x21c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x224(%rbp)
movl -0x224(%rbp), %eax
cmpl -0x220(%rbp), %eax
jg 0x1084b
movl -0x224(%rbp), %eax
movl %eax, -0x228(%rbp)
movq -0x160(%rbp), %rax
movslq -0x224(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x218(%rbp)
movq -0x8(%rbp), %rdi
movq -0x218(%rbp), %rsi
movq -0x160(%rbp), %rax
movl -0x228(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x1081e
movq -0x160(%rbp), %rax
movl -0x228(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
movq -0x160(%rbp), %rax
movslq -0x228(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x228(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x228(%rbp)
jmp 0x107b8
movq -0x218(%rbp), %rdx
movq -0x160(%rbp), %rax
movslq -0x228(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x224(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x224(%rbp)
jmp 0x10781
jmp 0x1084d
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0x10867
jmp 0x10886
leaq 0xdc4a(%rip), %rdi      # 0x1e4b8
leaq 0xca2f(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xdc23(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x10888
movl $0x0, -0x234(%rbp)
movl -0x234(%rbp), %eax
movl -0x164(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x10910
movq -0x8(%rbp), %rdi
movq -0x160(%rbp), %rax
movslq -0x234(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x160(%rbp), %rax
movl -0x234(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jg 0x108de
jmp 0x108fd
leaq 0xdc5c(%rip), %rdi      # 0x1e541
leaq 0xc9b8(%rip), %rsi      # 0x1d2a4
movl $0x13b8, %edx           # imm = 0x13B8
leaq 0xdbac(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x108ff
movl -0x234(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x234(%rbp)
jmp 0x10892
jmp 0x10912
jmp 0x10914
jmp 0x10916
movl $0x1, -0xc(%rbp)
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
cmpq -0x30(%rbp), %rax
jae 0x111cf
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
movl -0xc(%rbp), %ecx
shlq $0x3, %rcx
addq %rcx, %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jne 0x1097c
movq -0x8(%rbp), %rax
movl 0x43c(%rax), %eax
cmpl -0x24(%rbp), %eax
jne 0x10968
jmp 0x111cf
movl $0x1, -0xc(%rbp)
movq -0x8(%rbp), %rax
movl 0x43c(%rax), %eax
movl %eax, -0x24(%rbp)
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
movl -0xc(%rbp), %ecx
shlq $0x3, %rcx
addq %rcx, %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jae 0x109a0
jmp 0x109bf
leaq 0xdbcc(%rip), %rdi      # 0x1e573
leaq 0xc8f6(%rip), %rsi      # 0x1d2a4
movl $0x13ca, %edx           # imm = 0x13CA
leaq 0xdaea(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
movl -0xc(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0xc(%rbp)
movl %ecx, %ecx
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x58(%rbp), %rcx
movq -0x8(%rbp), %rdx
movq 0x48(%rdx), %rdx
subq %rdx, %rcx
sarq $0x3, %rcx
shlq %rcx
addq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cmpb $0x0, (%rax)
je 0x10a12
jmp 0x1091d
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rsi
movq -0x40(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
subq %rcx, %rax
xorq $0x1, %rax
addq %rax, %rsi
callq 0x12690
cmpl $0x0, %eax
jne 0x10a43
jmp 0x1091d
jmp 0x10a45
jmp 0x10a47
movq -0x8(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0x126e0
movq -0x8(%rbp), %rax
movq 0xd0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0xc8(%rcx), %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
je 0x10b4a
jmp 0x10a91
jmp 0x10a93
jmp 0x10a95
movq -0x8(%rbp), %rax
movl 0x3ec(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3ec(%rax)
movq -0x8(%rbp), %rax
movl 0x3f4(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3f4(%rax)
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
jne 0x10ae0
jmp 0x1091d
jmp 0x10ae2
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x10aee
jmp 0x10b0d
leaq 0xd9a4(%rip), %rdi      # 0x1e499
leaq 0xc7a8(%rip), %rsi      # 0x1d2a4
movl $0x13f4, %edx           # imm = 0x13F4
leaq 0xd99c(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpq $0x0, 0x248(%rax)
je 0x10b26
jmp 0x10b45
leaq 0xd7c7(%rip), %rdi      # 0x1e2f4
leaq 0xc770(%rip), %rsi      # 0x1d2a4
movl $0x13f6, %edx           # imm = 0x13F6
leaq 0xd964(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x111fb
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
cmpq -0x30(%rbp), %rax
jb 0x10b6b
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0xea10
jmp 0x111cf
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x40(%rbp), %rcx
movq -0x8(%rbp), %rdx
movq 0x38(%rdx), %rdx
subq %rdx, %rcx
xorq $0x1, %rcx
addq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rsi
movq -0x40(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
subq %rcx, %rax
xorq $0x1, %rax
addq %rax, %rsi
callq 0x12690
cmpl $0x0, %eax
jne 0x10bc9
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0xea10
jmp 0x1091d
jmp 0x10bcb
jmp 0x10bcd
movq -0x8(%rbp), %rax
movq 0xd0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0xc8(%rcx), %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
subl -0x14(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x418(%rcx), %eax
jbe 0x10cb4
movq -0x8(%rbp), %rax
cmpl $0x0, 0x418(%rax)
je 0x10c2a
movq -0x8(%rbp), %rax
movl 0x418(%rax), %eax
shll %eax
movl %eax, -0x338(%rbp)
jmp 0x10c37
movl $0x1, %eax
movl %eax, -0x338(%rbp)
jmp 0x10c37
movl -0x338(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0x20(%rbp), %eax
jbe 0x10c52
movl -0x20(%rbp), %eax
shll %eax
movl %eax, -0x20(%rbp)
jmp 0x10c40
jmp 0x10c54
movq -0x8(%rbp), %rax
movl 0x418(%rax), %eax
shlq $0x3, %rax
movq %rax, -0x240(%rbp)
movl -0x20(%rbp), %eax
shlq $0x3, %rax
movq %rax, -0x248(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x410(%rax), %rsi
movq -0x240(%rbp), %rdx
movq -0x248(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x410(%rax)
movl -0x20(%rbp), %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x418(%rax)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jae 0x10cf7
movq -0x8(%rbp), %rax
movq 0xc8(%rax), %rax
movl -0x14(%rbp), %ecx
addl -0x10(%rbp), %ecx
movl %ecx, %ecx
movq (%rax,%rcx,8), %rdx
movq -0x8(%rbp), %rax
movq 0x410(%rax), %rax
movl -0x10(%rbp), %ecx
movq %rdx, (%rax,%rcx,8)
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x10cbb
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0xea10
movq -0x8(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0x126e0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
je 0x10d2b
jmp 0x10a91
movq -0x8(%rbp), %rax
movq 0xd0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0xc8(%rcx), %rcx
subq %rcx, %rax
sarq $0x3, %rax
movslq -0x6c(%rbp), %rcx
cmpq %rcx, %rax
jg 0x10d5e
movq -0x40(%rbp), %rax
movq %rax, -0x340(%rbp)
jmp 0x10d83
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x40(%rbp), %rcx
movq -0x8(%rbp), %rdx
movq 0x38(%rdx), %rdx
subq %rdx, %rcx
xorq $0x1, %rcx
addq %rcx, %rax
movq %rax, -0x340(%rbp)
movq -0x340(%rbp), %rax
movq %rax, -0x50(%rbp)
movl $0x0, -0x18(%rbp)
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jae 0x10def
movq -0x8(%rbp), %rax
movq 0x410(%rax), %rax
movl -0x10(%rbp), %ecx
movq (%rax,%rcx,8), %rax
movq %rax, -0x48(%rbp)
movsbl (%rax), %eax
cmpl $0x1, %eax
jne 0x10de2
movq -0x48(%rbp), %rdx
movq -0x8(%rbp), %rax
movq 0x410(%rax), %rax
movl -0x18(%rbp), %ecx
movl %ecx, %esi
addl $0x1, %esi
movl %esi, -0x18(%rbp)
movl %ecx, %ecx
movq %rdx, (%rax,%rcx,8)
jmp 0x10de4
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x10d9c
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0xea10
jmp 0x10dfc
movl $0x0, -0x10(%rbp)
movl -0x10(%rbp), %ecx
xorl %eax, %eax
cmpl -0x18(%rbp), %ecx
movb %al, -0x341(%rbp)
jae 0x10e32
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
movq -0x30(%rbp), %rcx
addq -0x38(%rbp), %rcx
cmpq %rcx, %rax
setb %al
movb %al, -0x341(%rbp)
movb -0x341(%rbp), %al
testb $0x1, %al
jne 0x10e41
jmp 0x111ca
movq -0x8(%rbp), %rax
movq 0x410(%rax), %rax
movl -0x10(%rbp), %ecx
movq (%rax,%rcx,8), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x1, %eax
jne 0x10e68
jmp 0x111bc
movq -0x48(%rbp), %rax
cmpb $0x0, (%rax)
jne 0x10e73
jmp 0x10e92
leaq 0xd712(%rip), %rdi      # 0x1e58c
leaq 0xc423(%rip), %rsi      # 0x1d2a4
movl $0x1449, %edx           # imm = 0x1449
leaq 0xd617(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x10e94
jmp 0x10e96
movq -0x50(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
movq -0x48(%rbp), %rdx
movq -0x8(%rbp), %rsi
movq 0x38(%rsi), %rsi
subq %rsi, %rdx
xorq $0x1, %rdx
addq %rdx, %rcx
cmpq %rcx, %rax
je 0x10ebf
jmp 0x10ede
leaq 0xd6d2(%rip), %rdi      # 0x1e598
leaq 0xc3d7(%rip), %rsi      # 0x1d2a4
movl $0x144f, %edx           # imm = 0x144F
leaq 0xd5cb(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x50(%rbp), %rax
cmpq -0x48(%rbp), %rax
je 0x10eea
jmp 0x10f09
leaq 0xd6bf(%rip), %rdi      # 0x1e5b0
leaq 0xc3ac(%rip), %rsi      # 0x1d2a4
movl $0x1450, %edx           # imm = 0x1450
leaq 0xd5a0(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rsi
movq -0x48(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
subq %rcx, %rax
xorq $0x1, %rax
addq %rax, %rsi
callq 0x126e0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpl $0x1, 0x28(%rax)
jne 0x10f45
jmp 0x10f64
leaq 0xd673(%rip), %rdi      # 0x1e5bf
leaq 0xc351(%rip), %rsi      # 0x1d2a4
movl $0x1455, %edx           # imm = 0x1455
leaq 0xd545(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
je 0x10fab
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x10f87
jmp 0x10fa6
leaq 0xd50b(%rip), %rdi      # 0x1e499
leaq 0xc30f(%rip), %rsi      # 0x1d2a4
movl $0x145a, %edx           # imm = 0x145A
leaq 0xd503(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x1114d
movq -0x8(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x126e0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
je 0x1114b
movq -0x8(%rbp), %rax
cmpl $0x1, 0x28(%rax)
jne 0x10fe4
jmp 0x11003
leaq 0xd5d4(%rip), %rdi      # 0x1e5bf
leaq 0xc2b2(%rip), %rsi      # 0x1d2a4
movl $0x1465, %edx           # imm = 0x1465
leaq 0xd4a6(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
je 0x11053
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x1102f
jmp 0x1104e
leaq 0xd463(%rip), %rdi      # 0x1e499
leaq 0xc267(%rip), %rsi      # 0x1d2a4
movl $0x146c, %edx           # imm = 0x146C
leaq 0xd45b(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x1111e
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rsi
movq -0x50(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x38(%rcx), %rcx
subq %rcx, %rax
xorq $0x1, %rax
addq %rax, %rsi
callq 0x126e0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
je 0x110f1
movq -0x8(%rbp), %rax
cmpl $0x1, 0x28(%rax)
jne 0x110a2
jmp 0x110c1
leaq 0xd516(%rip), %rdi      # 0x1e5bf
leaq 0xc1f4(%rip), %rsi      # 0x1d2a4
movl $0x1476, %edx           # imm = 0x1476
leaq 0xd3e8(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
jne 0x110e8
movq -0x8(%rbp), %rdi
xorl %esi, %esi
callq 0xea10
jmp 0x111bc
movq -0x8(%rbp), %rdi
callq 0x12770
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x110fd
jmp 0x1111c
leaq 0xd395(%rip), %rdi      # 0x1e499
leaq 0xc199(%rip), %rsi      # 0x1d2a4
movl $0x1485, %edx           # imm = 0x1485
leaq 0xd38d(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x1111e
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x1112a
jmp 0x11149
leaq 0xd368(%rip), %rdi      # 0x1e499
leaq 0xc16c(%rip), %rsi      # 0x1d2a4
movl $0x1488, %edx           # imm = 0x1488
leaq 0xd360(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x1114b
jmp 0x1114d
movq -0x8(%rbp), %rax
cmpl $0x0, 0x28(%rax)
jne 0x11159
jmp 0x11178
leaq 0xd339(%rip), %rdi      # 0x1e499
leaq 0xc13d(%rip), %rsi      # 0x1d2a4
movl $0x148b, %edx           # imm = 0x148B
leaq 0xd331(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rdi
callq 0x12750
movq -0x8(%rbp), %rax
movl 0x3ec(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3ec(%rax)
movq -0x8(%rbp), %rax
movl 0x3f0(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x3f0(%rax)
movq -0x8(%rbp), %rax
cmpq $0x0, 0x250(%rax)
je 0x111ba
jmp 0x10ae2
jmp 0x111bc
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x10e03
jmp 0x1091d
movq -0x8(%rbp), %rax
movq 0x3d8(%rax), %rax
movq -0x8(%rbp), %rcx
subq 0x400(%rcx), %rax
imulq $0x9, %rax, %rcx
movq -0x8(%rbp), %rax
addq 0x400(%rax), %rcx
movq %rcx, 0x400(%rax)
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jae 0x11215
jmp 0x11234
leaq 0xd3b2(%rip), %rdi      # 0x1e5ce
leaq 0xc081(%rip), %rsi      # 0x1d2a4
movl $0x149e, %edx           # imm = 0x149E
leaq 0xd275(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq %rax, -0x68(%rbp)
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jae 0x112d3
movq -0x60(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq -0x58(%rbp), %rcx
movq -0x8(%rbp), %rdx
movq 0x48(%rdx), %rdx
subq %rdx, %rcx
sarq $0x3, %rcx
shlq %rcx
addq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
cmpb $0x0, (%rax)
je 0x112aa
movq -0x58(%rbp), %rax
movl 0x4(%rax), %ecx
andl $0xc0000000, %ecx       # imm = 0xC0000000
orl $0x0, %ecx
movl %ecx, 0x4(%rax)
jmp 0x112c0
movq -0x58(%rbp), %rcx
movq -0x68(%rbp), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, -0x68(%rbp)
movq %rcx, (%rax)
jmp 0x112c2
movq -0x60(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x60(%rbp)
jmp 0x1124b
jmp 0x112d5
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq %rax, -0x250(%rbp)
movq -0x8(%rbp), %rax
movq 0x1d0(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x1c8(%rcx), %rcx
addq $0x8, %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, -0x254(%rbp)
movl $0x0, -0x258(%rbp)
movl -0x254(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x25c(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0x11345
jmp 0x11364
leaq 0xd16c(%rip), %rdi      # 0x1e4b8
leaq 0xbf51(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xd145(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movl -0x25c(%rbp), %eax
subl -0x258(%rbp), %eax
cmpl $0xa, %eax
jg 0x1137a
jmp 0x11ba8
jmp 0x1137c
movl -0x258(%rbp), %eax
addl -0x25c(%rbp), %eax
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, -0x260(%rbp)
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x278(%rbp)
movq -0x250(%rbp), %rax
movslq -0x260(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x278(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x260(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x113f0
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x1147f
jmp 0x11425
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rax
movq %rax, -0x280(%rbp)
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
movq -0x280(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1147f
jmp 0x11481
jmp 0x11483
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x1150f
jmp 0x114b7
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x288(%rbp)
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x288(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x258(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x1150f
jmp 0x11511
jmp 0x11513
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x115a2
jmp 0x11548
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x290(%rbp)
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x290(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x25c(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x115a2
jmp 0x115a4
jmp 0x115a6
movl -0x258(%rbp), %eax
addl $0x1, %eax
subl $0x1, %eax
movl %eax, -0x26c(%rbp)
movl -0x25c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x29c(%rbp)
movq -0x250(%rbp), %rax
movslq -0x29c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x298(%rbp)
jmp 0x115e2
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movl -0x26c(%rbp), %ecx
addl $0x1, %ecx
movl %ecx, -0x26c(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rsi
movq -0x298(%rbp), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x11616
jmp 0x115e2
jmp 0x11618
movq -0x8(%rbp), %rdi
movq -0x298(%rbp), %rsi
movq -0x250(%rbp), %rax
movl -0x29c(%rbp), %ecx
addl $-0x1, %ecx
movl %ecx, -0x29c(%rbp)
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x11661
movl -0x29c(%rbp), %eax
movl -0x258(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x1165f
jmp 0x11661
jmp 0x11618
movl -0x26c(%rbp), %eax
cmpl -0x29c(%rbp), %eax
jl 0x11671
jmp 0x116ce
jmp 0x11673
movq -0x250(%rbp), %rax
movslq -0x29c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x2a8(%rbp)
movq -0x250(%rbp), %rax
movslq -0x26c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x29c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x2a8(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x26c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x115e0
jmp 0x116d0
movq -0x250(%rbp), %rax
movl -0x25c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x2b0(%rbp)
movq -0x250(%rbp), %rax
movslq -0x26c(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movl -0x25c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x2b0(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x26c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x11732
movl -0x26c(%rbp), %eax
subl -0x258(%rbp), %eax
movl -0x25c(%rbp), %ecx
subl -0x26c(%rbp), %ecx
cmpl %ecx, %eax
jge 0x1177a
movl -0x26c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x264(%rbp)
movl -0x25c(%rbp), %eax
movl %eax, -0x268(%rbp)
movl -0x26c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x25c(%rbp)
jmp 0x117a4
movl -0x258(%rbp), %eax
movl %eax, -0x264(%rbp)
movl -0x26c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x268(%rbp)
movl -0x26c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x258(%rbp)
movl -0x25c(%rbp), %eax
subl -0x258(%rbp), %eax
cmpl $0xa, %eax
jle 0x11b12
movl -0x268(%rbp), %eax
subl -0x264(%rbp), %eax
cmpl $0xa, %eax
jle 0x117cc
jmp 0x117eb
leaq 0xccfe(%rip), %rdi      # 0x1e4d1
leaq 0xbaca(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xccbe(%rip), %rcx      # 0x1e4a4
callq 0x10b0
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x1195b
jmp 0x11809
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x2b4(%rbp)
cmpl $0x0, -0x2b4(%rbp)
je 0x11845
movl -0x2b4(%rbp), %eax
shll %eax
movl %eax, -0x348(%rbp)
jmp 0x11852
movl $0x1, %eax
movl %eax, -0x348(%rbp)
jmp 0x11852
movl -0x348(%rbp), %eax
movl %eax, %eax
movq %rax, -0x2c0(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x2c4(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x1189e
jmp 0x118bd
leaq 0xcc4b(%rip), %rdi      # 0x1e4f0
leaq 0xb9f8(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xcbec(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x118bf
movl -0x2b4(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x2d0(%rbp)
movq -0x2c0(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x2d8(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x2d0(%rbp), %rdx
movq -0x2d8(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0x2c4(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0x2c0(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x1195b
movl -0x264(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
jne 0x11aec
jmp 0x1199a
movq -0x8(%rbp), %rax
movq 0x480(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x2dc(%rbp)
cmpl $0x0, -0x2dc(%rbp)
je 0x119d6
movl -0x2dc(%rbp), %eax
shll %eax
movl %eax, -0x34c(%rbp)
jmp 0x119e3
movl $0x1, %eax
movl %eax, -0x34c(%rbp)
jmp 0x119e3
movl -0x34c(%rbp), %eax
movl %eax, %eax
movq %rax, -0x2e8(%rbp)
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x470(%rcx), %rcx
subq %rcx, %rax
sarq $0x2, %rax
movl %eax, -0x2ec(%rbp)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x480(%rcx), %rax
ja 0x11a2f
jmp 0x11a4e
leaq 0xcaba(%rip), %rdi      # 0x1e4f0
leaq 0xb867(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xca5b(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x11a50
movl -0x2dc(%rbp), %eax
shlq $0x2, %rax
movq %rax, -0x2f8(%rbp)
movq -0x2e8(%rbp), %rax
shlq $0x2, %rax
movq %rax, -0x300(%rbp)
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rsi
movq -0x2f8(%rbp), %rdx
movq -0x300(%rbp), %rcx
callq 0x4f30
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movl -0x2ec(%rbp), %eax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x8(%rbp), %rax
movq 0x470(%rax), %rcx
movq -0x2e8(%rbp), %rax
shlq $0x2, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x480(%rax)
jmp 0x11aec
movl -0x268(%rbp), %ecx
movq -0x8(%rbp), %rdx
movq 0x478(%rdx), %rax
movq %rax, %rsi
addq $0x4, %rsi
movq %rsi, 0x478(%rdx)
movl %ecx, (%rax)
jmp 0x11ba1
movl -0x268(%rbp), %eax
subl -0x264(%rbp), %eax
cmpl $0xa, %eax
jle 0x11b3d
movl -0x264(%rbp), %eax
movl %eax, -0x258(%rbp)
movl -0x268(%rbp), %eax
movl %eax, -0x25c(%rbp)
jmp 0x11b9f
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jbe 0x11b9b
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x25c(%rbp)
movq -0x8(%rbp), %rcx
movq 0x478(%rcx), %rax
movq %rax, %rdx
addq $-0x4, %rdx
movq %rdx, 0x478(%rcx)
movl -0x4(%rax), %eax
movl %eax, -0x258(%rbp)
jmp 0x11b9d
jmp 0x11ba6
jmp 0x11b9f
jmp 0x11ba1
jmp 0x1137c
jmp 0x11ba8
jmp 0x11baa
movl $0x0, -0x30c(%rbp)
movl -0x254(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x310(%rbp)
movl -0x310(%rbp), %eax
movl %eax, -0x314(%rbp)
movl -0x314(%rbp), %eax
cmpl -0x30c(%rbp), %eax
jle 0x11c8a
jmp 0x11be3
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rsi
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jle 0x11c72
jmp 0x11c18
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x320(%rbp)
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq -0x8(%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x320(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq %rdx, -0x8(%rax,%rcx,8)
jmp 0x11c72
jmp 0x11c74
jmp 0x11c76
movl -0x314(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x314(%rbp)
jmp 0x11bcf
movl -0x30c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x314(%rbp)
movl -0x314(%rbp), %eax
cmpl -0x310(%rbp), %eax
jg 0x11d63
movl -0x314(%rbp), %eax
movl %eax, -0x318(%rbp)
movq -0x250(%rbp), %rax
movslq -0x314(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x308(%rbp)
movq -0x8(%rbp), %rdi
movq -0x308(%rbp), %rsi
movq -0x250(%rbp), %rax
movl -0x318(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jge 0x11d36
movq -0x250(%rbp), %rax
movl -0x318(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
movq -0x250(%rbp), %rax
movslq -0x318(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x318(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x318(%rbp)
jmp 0x11cd0
movq -0x308(%rbp), %rdx
movq -0x250(%rbp), %rax
movslq -0x318(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x314(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x314(%rbp)
jmp 0x11c99
jmp 0x11d65
movq -0x8(%rbp), %rax
movq 0x478(%rax), %rax
movq -0x8(%rbp), %rcx
cmpq 0x470(%rcx), %rax
jne 0x11d7f
jmp 0x11d9e
leaq 0xc732(%rip), %rdi      # 0x1e4b8
leaq 0xb517(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xc70b(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x11da0
movl $0x0, -0x324(%rbp)
movl -0x324(%rbp), %eax
movl -0x254(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jge 0x11e28
movq -0x8(%rbp), %rdi
movq -0x250(%rbp), %rax
movslq -0x324(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x250(%rbp), %rax
movl -0x324(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x12660
cmpl $0x0, %eax
jg 0x11df6
jmp 0x11e15
leaq 0xc744(%rip), %rdi      # 0x1e541
leaq 0xb4a0(%rip), %rsi      # 0x1d2a4
movl $0x14ab, %edx           # imm = 0x14AB
leaq 0xc694(%rip), %rcx      # 0x1e4a4
callq 0x10b0
jmp 0x11e17
movl -0x324(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x324(%rbp)
jmp 0x11daa
jmp 0x11e2a
jmp 0x11e2c
movq -0x8(%rbp), %rax
movq 0x1c8(%rax), %rax
addq $0x8, %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x1d0(%rcx), %rax
jae 0x11e91
movq -0x60(%rbp), %rax
movq -0x8(%rbp), %rcx
movq 0x1c8(%rcx), %rcx
subq %rcx, %rax
sarq $0x3, %rax
movl %eax, %edx
movq -0x60(%rbp), %rax
movq (%rax), %rax
movl 0x4(%rax), %ecx
andl $0x3fffffff, %edx       # imm = 0x3FFFFFFF
andl $0xc0000000, %ecx       # imm = 0xC0000000
orl %edx, %ecx
movl %ecx, 0x4(%rax)
movq -0x60(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x60(%rbp)
jmp 0x11e3f
movq -0x8(%rbp), %rdi
callq 0xb2f0
movq -0x8(%rbp), %rax
movsd 0x340(%rax), %xmm0
subsd -0x78(%rbp), %xmm0
movq -0x8(%rbp), %rax
addsd 0x348(%rax), %xmm0
movsd %xmm0, 0x348(%rax)
addq $0x350, %rsp            # imm = 0x350
popq %rbp
retq
nopl (%rax,%rax)