// File: /workspace/github_cpp_makefile_star2_O1/marxn[P]pupp/3rdparty/gmp/mpn/mul_fft.c
// Function: mpn_mul_fft_internal
static mp_limb_t
mpn_mul_fft_internal (mp_ptr op, mp_size_t pl, int k,
		      mp_ptr *Ap, mp_ptr *Bp, mp_ptr A, mp_ptr B,
		      mp_size_t nprime, mp_size_t l, mp_size_t Mp,
		      int **fft_l, mp_ptr T, int sqr)
{
  mp_size_t K, i, pla, lo, sh, j;
  mp_ptr p;
  mp_limb_t cc;

  K = (mp_size_t) 1 << k;

  /* direct fft's */
  mpn_fft_fft (Ap, K, fft_l + k, 2 * Mp, nprime, 1, T);
  if (!sqr)
    mpn_fft_fft (Bp, K, fft_l + k, 2 * Mp, nprime, 1, T);

  /* term to term multiplications */
  mpn_fft_mul_modF_K (Ap, sqr ? Ap : Bp, nprime, K);

  /* inverse fft's */
  mpn_fft_fftinv (Ap, K, 2 * Mp, nprime, T);

  /* division of terms after inverse fft */
  Bp[0] = T + nprime + 1;
  mpn_fft_div_2exp_modF (Bp[0], Ap[0], k, nprime);
  for (i = 1; i < K; i++)
    {
      Bp[i] = Ap[i - 1];
      mpn_fft_div_2exp_modF (Bp[i], Ap[i], k + (K - i) * Mp, nprime);
    }

  /* addition of terms in result p */
  MPN_ZERO (T, nprime + 1);
  pla = l * (K - 1) + nprime + 1; /* number of required limbs for p */
  p = B; /* B has K*(n' + 1) limbs, which is >= pla, i.e. enough */
  MPN_ZERO (p, pla);
  cc = 0; /* will accumulate the (signed) carry at p[pla] */
  for (i = K - 1, lo = l * i + nprime,sh = l * i; i >= 0; i--,lo -= l,sh -= l)
    {
      mp_ptr n = p + sh;

      j = (K - i) & (K - 1);

      if (mpn_add_n (n, n, Bp[j], nprime + 1))
	cc += mpn_add_1 (n + nprime + 1, n + nprime + 1,
			  pla - sh - nprime - 1, CNST_LIMB(1));
      T[2 * l] = i + 1; /* T = (i + 1)*2^(2*M) */
      if (mpn_cmp (Bp[j], T, nprime + 1) > 0)
	{ /* subtract 2^N'+1 */
	  cc -= mpn_sub_1 (n, n, pla - sh, CNST_LIMB(1));
	  cc -= mpn_sub_1 (p + lo, p + lo, pla - lo, CNST_LIMB(1));
	}
    }
  if (cc == -CNST_LIMB(1))
    {
      if ((cc = mpn_add_1 (p + pla - pl, p + pla - pl, pl, CNST_LIMB(1))))
	{
	  /* p[pla-pl]...p[pla-1] are all zero */
	  mpn_sub_1 (p + pla - pl - 1, p + pla - pl - 1, pl + 1, CNST_LIMB(1));
	  mpn_sub_1 (p + pla - 1, p + pla - 1, 1, CNST_LIMB(1));
	}
    }
  else if (cc == 1)
    {
      if (pla >= 2 * pl)
	{
	  while ((cc = mpn_add_1 (p + pla - 2 * pl, p + pla - 2 * pl, 2 * pl, cc)))
	    ;
	}
      else
	{
	  cc = mpn_sub_1 (p + pla - pl, p + pla - pl, pl, cc);
	  ASSERT (cc == 0);
	}
    }
  else
    ASSERT (cc == 0);

  /* here p < 2^(2M) [K 2^(M(K-1)) + (K-1) 2^(M(K-2)) + ... ]
     < K 2^(2M) [2^(M(K-1)) + 2^(M(K-2)) + ... ]
     < K 2^(2M) 2^(M(K-1))*2 = 2^(M*K+M+k+1) */
  return mpn_fft_norm_modF (op, pl, p, pla);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %r9, 0x60(%rsp)
movq %r8, %rbp
movq %rcx, %r14
movl %edx, %r15d
movq %rsi, 0xb0(%rsp)
movq %rdi, %r13
movq 0x110(%rsp), %rax
movq 0x100(%rsp), %r12
movl $0x1, %esi
movl %r15d, %ecx
shlq %cl, %rsi
movslq %edx, %rcx
movq %rcx, 0xc0(%rsp)
leaq (,%rcx,8), %rbx
addq 0x118(%rsp), %rbx
leaq (%rax,%rax), %rcx
subq $0x8, %rsp
movl $0x1, %r9d
movq %r14, %rdi
movq %rsi, 0x78(%rsp)
movq %rbx, %rdx
movq %rcx, 0xc0(%rsp)
movq %r12, %r8
pushq 0x128(%rsp)
callq 0x32033
addq $0x10, %rsp
cmpl $0x0, 0x128(%rsp)
movq %r14, %rsi
jne 0x30fe6
subq $0x8, %rsp
movl $0x1, %r9d
movq %rbp, %rdi
movq 0x78(%rsp), %rsi
movq %rbx, %rdx
movq 0xc0(%rsp), %rcx
movq %r12, %r8
pushq 0x128(%rsp)
callq 0x32033
addq $0x10, %rsp
movq %rbp, %rsi
xorl %ebx, %ebx
cmpq %r14, %rsi
sete %al
movq $0x0, 0x90(%rsp)
movl $0x23a, %ecx            # imm = 0x23A
movl $0x28e, %edx            # imm = 0x28E
cmoveq %rcx, %rdx
cmpq %r12, %rdx
movq %r14, 0x28(%rsp)
movq %rsi, 0x50(%rsp)
movq %r13, 0xa8(%rsp)
movq %rbp, 0xa0(%rsp)
movl %r15d, 0x7c(%rsp)
jle 0x311cf
shlq $0x4, %r12
leaq 0x90(%rsp), %rdi
movq %r12, %rsi
callq 0x30170
movq 0x100(%rsp), %r9
cmpl $0x3f, %r15d
je 0x315a6
movq %rax, %rdi
leaq (%r9,%r9), %r13
cmpq $0x2, %r13
movl $0x1, %ecx
cmovlq %rcx, %r13
cmpq $0x2, %r9
movl $0x1, %eax
cmovgeq %r9, %rax
movq %rax, 0x38(%rsp)
movq 0x70(%rsp), %rax
cmpq $0x2, %rax
cmovgeq %rax, %rcx
movq %rcx, 0x40(%rsp)
leaq (%rdi,%r9,8), %rax
movq %rax, 0x8(%rsp)
xorl %ebp, %ebp
movq %r14, %r15
movq 0x50(%rsp), %rbx
movq %rdi, 0x10(%rsp)
movq %r13, 0x48(%rsp)
movq (%r15), %r12
movq (%rbx), %r13
cmpq %r14, 0x50(%rsp)
je 0x310cb
movq %r13, %rsi
movq %r12, %rdx
movq %r9, %rcx
movq %r9, %r14
callq 0x1d864
jmp 0x310d9
movq %r12, %rsi
movq %r9, %rdx
movq %r9, %r14
callq 0x1da3c
cmpq $0x0, (%r12,%r14,8)
movq %r14, %rcx
je 0x31100
movq 0x8(%rsp), %rdi
movq %rdi, %rsi
movq %r13, %rdx
callq 0x1bfa0
movq 0x100(%rsp), %rcx
movq %rax, %r14
jmp 0x31103
xorl %r14d, %r14d
cmpq $0x0, (%r13,%rcx,8)
je 0x3112d
movq 0x8(%rsp), %rdi
movq %rdi, %rsi
movq %r12, %rdx
callq 0x1bfa0
movq 0x100(%rsp), %rcx
addq %r14, %rax
addq (%r12,%rcx,8), %rax
movq %rax, %r14
movq 0x10(%rsp), %rsi
movq 0x48(%rsp), %r13
testq %r14, %r14
je 0x31155
addq %r14, (%rsi)
jae 0x31155
movl $0x1, %eax
cmpq %rax, %r13
je 0x31155
incq (%rsi,%rax,8)
leaq 0x1(%rax), %rax
je 0x31146
movq %r12, %rdi
movq 0x8(%rsp), %rdx
callq 0x1c1c0
testq %rax, %rax
je 0x3119c
incq (%r12)
movq 0x100(%rsp), %r9
movq 0x10(%rsp), %rdi
jne 0x31198
movl $0x1, %eax
movl $0x1, %ecx
movq 0x38(%rsp), %rdx
cmpq %rcx, %rdx
je 0x311ab
incq (%r12,%rcx,8)
leaq 0x1(%rcx), %rcx
je 0x31189
xorl %eax, %eax
jmp 0x311ab
xorl %eax, %eax
movq 0x100(%rsp), %r9
movq 0x10(%rsp), %rdi
addq $0x8, %r15
addq $0x8, %rbx
movq %rax, (%r12,%r9,8)
incq %rbp
cmpq 0x40(%rsp), %rbp
movq 0x28(%rsp), %r14
jne 0x310ab
jmp 0x315a6
movb %al, %bl
xorl %eax, %eax
cmpq %r14, %rsi
sete %al
imulq $0x358, %rax, %rsi      # imm = 0x358
leaq 0x9da9(%rip), %rdi      # 0x3af90
leaq (%rsi,%rdi), %r8
addq $0x4, %r8
movl -0x4(%r8), %eax
movl %eax, %r9d
movl %r9d, %r15d
shrl $0x1b, %r15d
movl (%r8), %r9d
movl %r9d, %r10d
andl $0x7ffffff, %r10d       # imm = 0x7FFFFFF
movl %r15d, %ecx
shlq %cl, %r10
addq $0x4, %r8
cmpq %r12, %r10
jl 0x311f6
movl $0x1, %r8d
movl %r15d, %ecx
shlq %cl, %r8
leaq -0x1(%r8), %rcx
testq %r12, %rcx
jne 0x31d7c
movq %rbx, 0x20(%rsp)
cmpq $0x41, %r8
movl $0x40, %r14d
movq %r8, 0x88(%rsp)
cmovaeq %r8, %r14
movq %r12, %r8
shlq $0x6, %r8
movl %r15d, %ecx
shrq %cl, %r8
movq %r12, %r9
shrq %cl, %r9
leaq (%r15,%r8,2), %rcx
addq %r14, %rcx
addq $0x2, %rcx
negq %r14
andq %rcx, %r14
movq %r14, %rbx
shrq $0x6, %rbx
cmpq %rdx, %rbx
jae 0x31a81
cmpq %r12, %rbx
jge 0x31d81
movq %r9, 0x68(%rsp)
movl $0x8, %ebp
movl %r15d, %ecx
shlq %cl, %rbp
leaq 0x90(%rsp), %r12
movq %r12, %rdi
movq %rbp, %rsi
callq 0x30170
movq %rax, 0x10(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
callq 0x30170
movq %rax, 0x48(%rsp)
leaq 0x1(%rbx), %r13
leaq 0x2(,%rbx,2), %rsi
movl %r15d, %ecx
shlq %cl, %rsi
shlq $0x3, %rsi
movq %r12, %rdi
callq 0x30170
movq %rax, 0x18(%rsp)
movq %r13, %rsi
shlq $0x4, %rsi
movq %r12, %rdi
callq 0x30170
movq %rax, 0x8(%rsp)
movl %r15d, %ecx
shlq %cl, %r13
leal 0x8(,%r15,8), %esi
movq %r12, %rdi
callq 0x30170
movq %rax, %r12
leaq 0x90(%rsp), %rdi
movq %rbp, %rsi
callq 0x30170
leal 0x1(%r15), %edx
xorl %ecx, %ecx
movl $0x1, %esi
shlq %cl, %rsi
movq %rax, (%r12,%rcx,8)
leaq (%rax,%rsi,4), %rax
incq %rcx
cmpq %rcx, %rdx
jne 0x31328
movl %r15d, %ecx
sarq %cl, %r14
movq %r12, 0x98(%rsp)
movq %r12, %rdi
movl %r15d, %esi
callq 0x30a6b
cmpl $0x3f, 0x7c(%rsp)
movq 0x100(%rsp), %r9
movq 0x28(%rsp), %r12
je 0x315a6
movq 0x68(%rsp), %rdx
movl %r15d, %ecx
shlq %cl, %rdx
movq 0x18(%rsp), %rax
leaq (%rax,%r13,8), %rax
movq %rax, 0x38(%rsp)
leaq (,%r9,8), %rax
movq %rax, 0x58(%rsp)
incq %rdx
movq %rdx, 0x40(%rsp)
movq 0x70(%rsp), %rax
cmpq $0x2, %rax
movl $0x1, %ecx
cmovgeq %rax, %rcx
movq %rcx, 0x80(%rsp)
xorl %ebp, %ebp
movq %r14, 0x30(%rsp)
movq (%r12,%rbp,8), %r13
cmpq $0x0, (%r13,%r9,8)
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %r10
je 0x3142c
testq %r9, %r9
sete %dl
movq %r13, %rax
subq $0x1, (%rax)
leaq 0x8(%rax), %rax
jb 0x313df
xorl %eax, %eax
cmpq $0x0, (%r13,%r9,8)
sete %cl
setne %dil
orb %dl, %dil
je 0x31401
movb %cl, %al
jmp 0x31427
movq %r13, %rdi
xorl %esi, %esi
movq 0x58(%rsp), %rdx
callq 0x6170
movq 0x8(%rsp), %r10
movq 0x10(%rsp), %rsi
movq 0x100(%rsp), %r9
movl $0x1, %eax
movq %rax, (%r13,%r9,8)
movq 0x28(%rsp), %r12
movq 0x50(%rsp), %rax
cmpq %r12, %rax
je 0x31476
movq (%rax,%rbp,8), %r13
cmpq $0x0, (%r13,%r9,8)
je 0x314cf
testq %r9, %r9
sete %dl
movq %r13, %rax
subq $0x1, (%rax)
leaq 0x8(%rax), %rax
jb 0x31454
xorl %eax, %eax
cmpq $0x0, (%r13,%r9,8)
sete %cl
setne %dil
orb %dl, %dil
je 0x314a4
movb %cl, %al
jmp 0x314ca
movq (%r12,%rbp,8), %r8
subq $0x8, %rsp
movq 0x20(%rsp), %rdi
movq 0x90(%rsp), %rdx
movq %rbx, %rcx
movq 0x48(%rsp), %r9
pushq %r10
pushq %r14
movq 0x80(%rsp), %r14
jmp 0x3153a
movq %r13, %rdi
xorl %esi, %esi
movq 0x58(%rsp), %rdx
callq 0x6170
movq 0x8(%rsp), %r10
movq 0x10(%rsp), %rsi
movq 0x100(%rsp), %r9
movl $0x1, %eax
movq %rax, (%r13,%r9,8)
movq 0x28(%rsp), %r12
movq (%r12,%rbp,8), %r8
subq $0x8, %rsp
movq 0x20(%rsp), %rdi
movq 0x90(%rsp), %r13
movq %r13, %rdx
movq %rbx, %rcx
movq 0x48(%rsp), %r9
pushq %r10
pushq %r14
movq 0x80(%rsp), %r14
pushq %r14
callq 0x30acc
addq $0x20, %rsp
movq 0x50(%rsp), %rax
cmpq %r12, %rax
je 0x31545
movq (%rax,%rbp,8), %r8
subq $0x8, %rsp
movq 0x40(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq %r13, %rdx
movq %rbx, %rcx
movq 0x48(%rsp), %r9
pushq 0x10(%rsp)
pushq 0x40(%rsp)
pushq %r14
callq 0x30acc
addq $0x20, %rsp
movq (%r12,%rbp,8), %rdi
movq 0x100(%rsp), %r13
movq %r13, %rsi
movl %r15d, %edx
movq 0x10(%rsp), %rcx
movq 0x48(%rsp), %r8
movq 0x38(%rsp), %r9
pushq 0x20(%rsp)
pushq 0x10(%rsp)
pushq 0xa8(%rsp)
movq %r14, %rax
movq 0x48(%rsp), %r14
pushq %r14
pushq %rax
pushq %rbx
callq 0x30f12
movq %r13, %r9
addq $0x30, %rsp
movq (%r12,%rbp,8), %rcx
movq %rax, (%rcx,%r13,8)
incq %rbp
cmpq %rbp, 0x80(%rsp)
jne 0x313c0
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
jne 0x31d6a
movq 0x28(%rsp), %rbp
movq %rbp, %rdi
movq 0x70(%rsp), %r13
movq %r13, %rsi
movq 0xb8(%rsp), %rdx
movq %r9, %rcx
movq 0x120(%rsp), %rbx
movq %rbx, %r8
movq %r9, %r15
callq 0x32286
leaq (%rbx,%r15,8), %rdi
addq $0x8, %rdi
movq 0xa0(%rsp), %r12
movq %rdi, (%r12)
movq (%rbp), %rsi
movq 0xc0(%rsp), %r14
movq %r14, %rdx
movq %r15, %rcx
callq 0x324c2
cmpq $0x2, %r13
jl 0x31655
leaq -0x1(%r13), %rbx
imulq 0x110(%rsp), %rbx
addq %r14, %rbx
movl $0x1, %r14d
movq -0x8(%rbp,%r14,8), %rdi
movq %rdi, (%r12,%r14,8)
movq (%rbp,%r14,8), %rsi
movq %rbx, %rdx
movq %r15, %rcx
callq 0x324c2
incq %r14
subq 0x110(%rsp), %rbx
cmpq %r14, %r13
jne 0x3162c
movq %r15, %rax
incq %rax
movq %rax, 0x8(%rsp)
movq %r15, %r11
je 0x31684
leaq 0x8(,%r11,8), %rdx
movq 0x120(%rsp), %rdi
xorl %esi, %esi
callq 0x6170
movq 0x100(%rsp), %r11
leaq -0x1(%r13), %rcx
movq %rcx, 0x20(%rsp)
imulq 0x108(%rsp), %rcx
movq %rcx, 0x58(%rsp)
leaq (%rcx,%r11), %r15
movq %r15, %r14
incq %r14
movl 0x7c(%rsp), %ebx
je 0x316c7
leaq (,%r14,8), %rdx
movq 0x60(%rsp), %rdi
xorl %esi, %esi
callq 0x6170
movq 0x100(%rsp), %r11
movq %r14, 0x80(%rsp)
cmpl $0x3f, %ebx
movq 0x60(%rsp), %rsi
jne 0x316e7
movq $0x0, 0x18(%rsp)
jmp 0x31958
movq 0x108(%rsp), %rdx
movq %rdx, %rax
shlq $0x4, %rax
movq %rax, 0x88(%rsp)
movq 0x20(%rsp), %rdi
movq %rdi, %rax
imulq %rdx, %rax
leaq (,%r11,8), %rcx
leaq (%rcx,%rax,8), %r8
leaq (%rsi,%r8), %r13
addq $0x10, %r13
leaq (,%rdx,8), %rcx
negq %rcx
movq %rcx, 0x98(%rsp)
leaq (%rsi,%rax,8), %r9
addq %rsi, %r8
movl $0x1, %ecx
xorl %r10d, %r10d
movq 0x8(%rsp), %rbx
movq %rdi, %rdx
movq $0x0, 0x18(%rsp)
movq 0x58(%rsp), %rax
movq %r9, 0x50(%rsp)
movq %r8, 0x28(%rsp)
movq %r15, 0x30(%rsp)
cmpq $0x2, %rcx
movl $0x1, %edi
movq %rcx, 0x10(%rsp)
cmovgeq %rcx, %rdi
movq %rdi, 0x68(%rsp)
cmpq $0x2, %rbx
movl $0x1, %ebp
movq %rbx, 0x48(%rsp)
cmovgeq %rbx, %rbp
cmpq $0x2, %r10
movl $0x1, %r14d
movq %r10, %r12
cmovgeq %r10, %r14
movq %rax, 0x40(%rsp)
leaq (%rsi,%rax,8), %r15
movq 0x70(%rsp), %rbx
movq %rdx, 0x38(%rsp)
subq %rdx, %rbx
andq 0x20(%rsp), %rbx
movq 0xa0(%rsp), %rax
movq (%rax,%rbx,8), %rdx
movq %r15, %rdi
movq %r15, %rsi
movq 0x8(%rsp), %rcx
callq 0x1bfa0
testq %rax, %rax
je 0x31818
movq 0x100(%rsp), %r11
incq 0x8(%r15,%r11,8)
movq 0x60(%rsp), %rsi
movq 0x120(%rsp), %r8
movq 0x50(%rsp), %r9
movq %r12, %r10
jne 0x31814
decq %r14
xorl %eax, %eax
cmpq %rax, %r14
je 0x31837
incq (%r13,%rax,8)
leaq 0x1(%rax), %rax
je 0x31804
xorl %eax, %eax
jmp 0x3183c
movq 0x60(%rsp), %rsi
movq 0x100(%rsp), %r11
movq 0x120(%rsp), %r8
movq 0x50(%rsp), %r9
movq %r12, %r10
jmp 0x31841
movl $0x1, %eax
addq %rax, 0x18(%rsp)
movq 0x38(%rsp), %r14
leaq 0x1(%r14), %rax
movq 0x88(%rsp), %rcx
movq %rax, (%r8,%rcx)
movq 0xa0(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq 0x8(%rsp), %rcx
movq 0x48(%rsp), %rbx
testq %rcx, %rcx
jle 0x318b4
movq -0x8(%r8,%rcx,8), %rdx
leaq -0x1(%rcx), %rdi
cmpq %rdx, -0x8(%rax,%rcx,8)
movq %rdi, %rcx
je 0x3186c
movq 0x28(%rsp), %r8
jbe 0x318c0
subq $0x1, (%r15)
jae 0x318c7
movl $0x1, %eax
movq 0x30(%rsp), %r15
movq 0x68(%rsp), %rdx
cmpq %rax, %rbp
je 0x318d5
subq $0x1, (%r9,%rax,8)
leaq 0x1(%rax), %rax
jb 0x318a0
xorl %eax, %eax
jmp 0x318dc
movq 0x30(%rsp), %r15
movq 0x28(%rsp), %r8
jmp 0x31910
movq 0x30(%rsp), %r15
jmp 0x31910
xorl %eax, %eax
movq 0x30(%rsp), %r15
movq 0x68(%rsp), %rdx
jmp 0x318dc
movq $-0x1, %rax
subq $0x1, (%rsi,%r15,8)
jae 0x318f8
movl $0x1, %ecx
cmpq %rcx, %rdx
je 0x318fc
subq $0x1, (%r8,%rcx,8)
leaq 0x1(%rcx), %rcx
jb 0x318e8
xorl %ecx, %ecx
jmp 0x31903
movq $-0x1, %rcx
addq 0x18(%rsp), %rax
addq %rcx, %rax
movq %rax, 0x18(%rsp)
leaq -0x1(%r14), %rax
movq 0x108(%rsp), %rcx
subq %rcx, %r15
movq 0x40(%rsp), %rdi
subq %rcx, %rdi
movq 0x98(%rsp), %rdx
addq %rdx, %r13
addq %rcx, %r10
addq %rdx, %r9
addq %rcx, %rbx
addq %rdx, %r8
movq 0x10(%rsp), %rdx
addq %rcx, %rdx
movq %rdx, %rcx
testq %r14, %r14
movq %rax, %rdx
movq %rdi, %rax
jg 0x31756
movq 0x18(%rsp), %rax
cmpq $0x1, %rax
je 0x319f3
cmpq $-0x1, %rax
movq 0xb0(%rsp), %r15
movq 0xa8(%rsp), %r12
movq 0x80(%rsp), %r13
jne 0x31b8b
leaq (%rsi,%r13,8), %rax
leaq (,%r15,8), %r9
movq %rax, %rcx
subq %r9, %rcx
incq (%rcx)
jne 0x31b8b
cmpq $0x2, %r15
movl $0x1, %edx
cmovgeq %r15, %rdx
movq 0x20(%rsp), %rdi
imulq 0x108(%rsp), %rdi
leaq (,%r11,8), %r8
leaq (%r8,%rdi,8), %rdi
subq %r9, %rdi
leaq (%rdi,%rsi), %r8
addq $0x10, %r8
decq %rdx
xorl %edi, %edi
cmpq %rdi, %rdx
je 0x31b62
incq (%r8,%rdi,8)
leaq 0x1(%rdi), %rdi
je 0x319db
jmp 0x31b8b
movq 0xb0(%rsp), %r15
leaq (%r15,%r15), %rcx
movq 0x80(%rsp), %r13
leaq (%rsi,%r13,8), %rax
cmpq %rcx, %r13
movq 0xa8(%rsp), %r12
jge 0x31ad9
leaq (,%r15,8), %rcx
subq %rcx, %rax
subq $0x1, (%rax)
jae 0x31b8b
cmpq $0x2, %r15
movl $0x1, %eax
cmovgeq %r15, %rax
movq 0x20(%rsp), %rdx
imulq 0x108(%rsp), %rdx
leaq (,%r11,8), %rdi
leaq (%rdi,%rdx,8), %rdx
subq %rcx, %rdx
leaq (%rdx,%rsi), %rcx
addq $0x10, %rcx
decq %rax
xorl %edx, %edx
cmpq %rdx, %rax
je 0x31b8b
subq $0x1, (%rcx,%rdx,8)
leaq 0x1(%rdx), %rdx
jb 0x31a68
jmp 0x31b8b
leaq (%rsi,%rdi), %rdx
addq $0x4, %rdx
movq %rdx, %rsi
movl %eax, %edi
movl %edi, %ecx
shrl $0x1b, %ecx
movl (%rsi), %edi
movl %edi, %r8d
andl $0x7ffffff, %r8d        # imm = 0x7FFFFFF
shlq %cl, %r8
addq $0x4, %rsi
cmpq %rbx, %r8
jl 0x31a8e
movl $0x1, %esi
shlq %cl, %rsi
leaq -0x1(%rsi), %rcx
testq %rbx, %rcx
je 0x31281
leaq (%rbx,%rsi), %rcx
decq %rcx
negq %rsi
andq %rcx, %rsi
movq %rsi, %r14
shlq $0x6, %r14
movq %rsi, %rbx
jmp 0x31a89
movq %rcx, %rdx
negq %rdx
leaq (,%rcx,8), %r8
movq %rax, %rdi
subq %r8, %rdi
movq (%rdi), %r10
cmpq $0x2, %rcx
movl $0x1, %r8d
cmovlq %r8, %rcx
movq 0x20(%rsp), %rdi
imulq 0x108(%rsp), %rdi
leaq (,%r11,8), %r9
leaq (%r9,%rdi,8), %rdi
movq %r15, %r9
shlq $0x4, %r9
subq %r9, %rdi
addq %rsi, %rdi
addq $0x10, %rdi
decq %rcx
addq %r8, %r10
jae 0x31b49
xorl %r8d, %r8d
cmpq %r8, %rcx
setne %r9b
je 0x31b51
incq (%rdi,%r8,8)
leaq 0x1(%r8), %r8
je 0x31b34
jmp 0x31b4c
movb $0x1, %r9b
xorl %r8d, %r8d
jmp 0x31b57
movl $0x1, %r8d
testb %r9b, %r9b
je 0x31b2c
movq %r10, (%rax,%rdx,8)
jmp 0x31b8b
subq $0x1, -0x8(%rcx)
jae 0x31b87
xorl %edx, %edx
testq %r15, %r15
movl $0x0, %edi
cmovgq %r15, %rdi
cmpq %rdx, %rdi
je 0x31b87
subq $0x1, (%rcx,%rdx,8)
leaq 0x1(%rdx), %rdx
jb 0x31b77
decq -0x8(%rax)
leaq (%r15,%r15), %r14
movq %r13, %rbx
subq %r14, %rbx
jle 0x31c75
leaq (%rsi,%r14,8), %rdx
movq %r12, %rdi
movq %rbx, %rcx
callq 0x1bfa0
movq 0x60(%rsp), %r10
movq %r15, %rcx
subq %rbx, %rcx
addq (%r10,%rbx,8), %rax
movq %rax, (%r12,%rbx,8)
jae 0x31c8c
cmpq $0x2, %rcx
movl $0x1, %ebx
movl $0x1, %edx
cmovgeq %rcx, %rdx
movq 0x20(%rsp), %rsi
imulq 0x108(%rsp), %rsi
movq 0x100(%rsp), %r11
leaq (,%r11,8), %rax
leaq (%rax,%rsi,8), %rax
movq %r15, %rsi
shlq $0x4, %rsi
subq %rsi, %rax
leaq (%r12,%rax), %rsi
addq $0x10, %rsi
leaq (%r10,%rax), %rdi
addq $0x10, %rdi
movl $0x1, %r8d
cmpq %r8, %rdx
je 0x31cd9
movq -0x8(%rdi,%r8,8), %r9
leaq 0x1(%r8), %rax
incq %r9
movq %r9, -0x8(%rsi,%r8,8)
movq %rax, %r8
je 0x31c17
xorl %ebx, %ebx
cmpq %r12, %r10
je 0x31cd9
movq %r15, %r13
cmpq %rcx, %rax
jge 0x31cdc
movq 0x58(%rsp), %rdx
addq %r11, %rdx
subq %r14, %rdx
addq %rax, %rdx
incq %rdx
xorl %ebx, %ebx
movq (%r10,%rdx,8), %rsi
movq %rsi, (%r12,%rdx,8)
incq %rax
incq %rdx
cmpq %rcx, %rax
jl 0x31c60
jmp 0x31cd9
subq %r15, %r13
movq %r12, %rdi
movq %r15, %rdx
callq 0x2f4c6
movq 0x60(%rsp), %r10
xorl %ebx, %ebx
jmp 0x31cdc
xorl %ebx, %ebx
cmpq %r12, %r10
movq 0x100(%rsp), %rdx
je 0x31cd9
movq %r15, %r13
cmpq $0x2, %rcx
jl 0x31cdc
leaq (%r15,%r15,2), %rax
movq 0x58(%rsp), %rcx
addq %rdx, %rcx
addq $0x2, %rcx
movq %r15, %rdi
shlq $0x4, %rdi
movq %r12, %rdx
subq %rdi, %rdx
movq %r10, %rsi
subq %rdi, %rsi
xorl %ebx, %ebx
movq (%rsi,%rcx,8), %rdi
movq %rdi, (%rdx,%rcx,8)
incq %rcx
cmpq %rcx, %rax
jne 0x31cc9
movq %r15, %r13
leaq (%r10,%r15,8), %rdx
movq %r12, %rdi
movq %r12, %rsi
movq %r13, %rcx
callq 0x1c1c0
subq %rax, (%r12,%r13,8)
jae 0x31d1f
leaq (%r12,%r13,8), %rcx
movq %r15, %rdx
subq %r13, %rdx
cmpq $0x2, %rdx
movl $0x1, %esi
cmovlq %rsi, %rdx
xorl %eax, %eax
cmpq %rsi, %rdx
je 0x31d23
subq $0x1, (%rcx,%rsi,8)
leaq 0x1(%rsi), %rsi
jb 0x31d0d
jmp 0x31d2a
xorl %eax, %eax
jmp 0x31d2a
movq $-0x1, %rax
addq %rbx, %rax
jns 0x31d58
incq (%r12)
jne 0x31d56
cmpq $0x2, %r15
movl $0x1, %eax
cmovlq %rax, %r15
movl $0x1, %ecx
cmpq %rcx, %r15
je 0x31d58
incq (%r12,%rcx,8)
leaq 0x1(%rcx), %rcx
je 0x31d47
xorl %eax, %eax
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x301a3
movq 0x100(%rsp), %r9
jmp 0x315b7
callq 0x7592
callq 0x75ab