// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/mpn/toom_interpolate_16pts.c
// Function: _gmpn_toom_interpolate_16pts
void
mpn_toom_interpolate_16pts (mp_ptr pp, mp_ptr r1, mp_ptr r3, mp_ptr r5, mp_ptr r7,
			mp_size_t n, mp_size_t spt, int half, mp_ptr wsi)
{
  mp_limb_t cy;
  mp_size_t n3;
  mp_size_t n3p1;
  n3 = 3 * n;
  n3p1 = n3 + 1;

#define   r6    (pp + n3)			/* 3n+1 */
#define   r4    (pp + 7 * n)			/* 3n+1 */
#define   r2    (pp +11 * n)			/* 3n+1 */
#define   r0    (pp +15 * n)			/* s+t <= 2*n */

  ASSERT( spt <= 2 * n );
  /******************************* interpolation *****************************/
  if( half != 0) {
    cy = mpn_sub_n (r4, r4, r0, spt);
    MPN_DECR_U (r4 + spt, n3p1 - spt, cy);

    cy = DO_mpn_sublsh_n (r3, r0, spt, 14, wsi);
    MPN_DECR_U (r3 + spt, n3p1 - spt, cy);
    DO_mpn_subrsh(r6, n3p1, r0, spt, 2, wsi);

    cy = DO_mpn_sublsh_n (r2, r0, spt, 28, wsi);
    MPN_DECR_U (r2 + spt, n3p1 - spt, cy);
    DO_mpn_subrsh(r5, n3p1, r0, spt, 4, wsi);

    cy = DO_mpn_sublsh_n (r1 + BIT_CORRECTION, r0, spt, 42 - CORRECTION_BITS, wsi);
#if BIT_CORRECTION
    cy = mpn_sub_1 (r1 + spt + BIT_CORRECTION, r1 + spt + BIT_CORRECTION,
		    n3p1 - spt - BIT_CORRECTION, cy);
    ASSERT (BIT_CORRECTION > 0 || cy == 0);
    /* FIXME: assumes r7[n3p1] is writable (it is if r5 follows). */
    cy = r7[n3p1];
    r7[n3p1] = 0x80;
#else
    MPN_DECR_U (r1 + spt + BIT_CORRECTION, n3p1 - spt - BIT_CORRECTION, cy);
#endif
    DO_mpn_subrsh(r7, n3p1 + BIT_CORRECTION, r0, spt, 6, wsi);
#if BIT_CORRECTION
    /* FIXME: assumes r7[n3p1] is writable. */
    ASSERT ( BIT_CORRECTION > 0 || r7[n3p1] == 0x80 );
    r7[n3p1] = cy;
#endif
  };

  r5[n3] -= DO_mpn_sublsh_n (r5 + n, pp, 2 * n, 28, wsi);
  DO_mpn_subrsh(r2 + n, 2 * n + 1, pp, 2 * n, 4, wsi);

#if HAVE_NATIVE_mpn_add_n_sub_n
  mpn_add_n_sub_n (r2, r5, r5, r2, n3p1);
#else
  mpn_sub_n (wsi, r5, r2, n3p1); /* can be negative */
  ASSERT_NOCARRY(mpn_add_n (r2, r2, r5, n3p1));
  MP_PTR_SWAP(r5, wsi);
#endif

  r6[n3] -= DO_mpn_sublsh_n (r6 + n, pp, 2 * n, 14, wsi);
  DO_mpn_subrsh(r3 + n, 2 * n + 1, pp, 2 * n, 2, wsi);

#if HAVE_NATIVE_mpn_add_n_sub_n
  mpn_add_n_sub_n (r3, r6, r6, r3, n3p1);
#else
  ASSERT_NOCARRY(mpn_add_n (wsi, r3, r6, n3p1));
  mpn_sub_n (r6, r6, r3, n3p1); /* can be negative */
  MP_PTR_SWAP(r3, wsi);
#endif

  cy = DO_mpn_sublsh_n (r7 + n + BIT_CORRECTION, pp, 2 * n, 42 - CORRECTION_BITS, wsi);
#if BIT_CORRECTION
  MPN_DECR_U (r1 + n, 2 * n + 1, pp[0] >> 6);
  cy = DO_mpn_sublsh_n (r1 + n, pp + 1, 2 * n - 1, GMP_NUMB_BITS - 6, wsi);
  cy = mpn_sub_1(r1 + 3 * n - 1, r1 + 3 * n - 1, 2, cy);
  ASSERT ( BIT_CORRECTION > 0 || cy != 0 );
#else
  r7[n3] -= cy;
  DO_mpn_subrsh(r1 + n, 2 * n + 1, pp, 2 * n, 6, wsi);
#endif

#if HAVE_NATIVE_mpn_add_n_sub_n
  mpn_add_n_sub_n (r1, r7, r7, r1, n3p1);
#else
  mpn_sub_n (wsi, r7, r1, n3p1); /* can be negative */
  mpn_add_n (r1, r1, r7, n3p1);  /* if BIT_CORRECTION != 0, can give a carry. */
  MP_PTR_SWAP(r7, wsi);
#endif

  r4[n3] -= mpn_sub_n (r4+n, r4+n, pp, 2 * n);

#if AORSMUL_FASTER_2AORSLSH
  mpn_submul_1 (r5, r6, n3p1, 1028); /* can be negative */
#else
  DO_mpn_sublsh_n (r5, r6, n3p1, 2, wsi); /* can be negative */
  DO_mpn_sublsh_n (r5, r6, n3p1,10, wsi); /* can be negative */
#endif

  mpn_submul_1 (r7, r5, n3p1, 1300); /* can be negative */
#if AORSMUL_FASTER_3AORSLSH
  mpn_submul_1 (r7, r6, n3p1, 1052688); /* can be negative */
#else
  DO_mpn_sublsh_n (r7, r6, n3p1, 4, wsi); /* can be negative */
  DO_mpn_sublsh_n (r7, r6, n3p1,12, wsi); /* can be negative */
  DO_mpn_sublsh_n (r7, r6, n3p1,20, wsi); /* can be negative */
#endif
  mpn_divexact_by255x188513325(r7, r7, n3p1);

  mpn_submul_1 (r5, r7, n3p1, 12567555); /* can be negative */
  /* A division by 2835x64 follows. Warning: the operand can be negative! */
  mpn_divexact_by2835x64(r5, r5, n3p1);
  if ((r5[n3] & (GMP_NUMB_MAX << (GMP_NUMB_BITS-7))) != 0)
    r5[n3] |= (GMP_NUMB_MAX << (GMP_NUMB_BITS-6));

#if AORSMUL_FASTER_AORS_AORSLSH
  mpn_submul_1 (r6, r7, n3p1, 4095); /* can be negative */
#else
  mpn_add_n (r6, r6, r7, n3p1); /* can give a carry */
  DO_mpn_sublsh_n (r6, r7, n3p1, 12, wsi); /* can be negative */
#endif
#if AORSMUL_FASTER_2AORSLSH
  mpn_addmul_1 (r6, r5, n3p1, 240); /* can be negative */
#else
  DO_mpn_addlsh_n (r6, r5, n3p1, 8, wsi); /* can give a carry */
  DO_mpn_sublsh_n (r6, r5, n3p1, 4, wsi); /* can be negative */
#endif
  /* A division by 255x4 follows. Warning: the operand can be negative! */
  mpn_divexact_by255x4(r6, r6, n3p1);
  if ((r6[n3] & (GMP_NUMB_MAX << (GMP_NUMB_BITS-3))) != 0)
    r6[n3] |= (GMP_NUMB_MAX << (GMP_NUMB_BITS-2));

  ASSERT_NOCARRY(DO_mpn_sublsh_n (r3, r4, n3p1, 7, wsi));

  ASSERT_NOCARRY(DO_mpn_sublsh_n (r2, r4, n3p1, 13, wsi));
  ASSERT_NOCARRY(mpn_submul_1 (r2, r3, n3p1, 400));

  /* If GMP_NUMB_BITS < 42 next operations on r1 can give a carry!*/
  DO_mpn_sublsh_n (r1, r4, n3p1, 19, wsi);
  mpn_submul_1 (r1, r2, n3p1, 1428);
  mpn_submul_1 (r1, r3, n3p1, 112896);
  mpn_divexact_by255x182712915(r1, r1, n3p1);

  ASSERT_NOCARRY(mpn_submul_1 (r2, r1, n3p1, 15181425));
  mpn_divexact_by42525x16(r2, r2, n3p1);

#if AORSMUL_FASTER_AORS_2AORSLSH
  ASSERT_NOCARRY(mpn_submul_1 (r3, r1, n3p1, 3969));
#else
  ASSERT_NOCARRY(mpn_sub_n (r3, r3, r1, n3p1));
  ASSERT_NOCARRY(DO_mpn_addlsh_n (r3, r1, n3p1, 7, wsi));
  ASSERT_NOCARRY(DO_mpn_sublsh_n (r3, r1, n3p1, 12, wsi));
#endif
  ASSERT_NOCARRY(mpn_submul_1 (r3, r2, n3p1, 900));
  mpn_divexact_by9x16(r3, r3, n3p1);

  ASSERT_NOCARRY(mpn_sub_n (r4, r4, r1, n3p1));
  ASSERT_NOCARRY(mpn_sub_n (r4, r4, r3, n3p1));
  ASSERT_NOCARRY(mpn_sub_n (r4, r4, r2, n3p1));

  mpn_add_n (r6, r2, r6, n3p1);
  ASSERT_NOCARRY(mpn_rshift(r6, r6, n3p1, 1));
  ASSERT_NOCARRY(mpn_sub_n (r2, r2, r6, n3p1));

  mpn_sub_n (r5, r3, r5, n3p1);
  ASSERT_NOCARRY(mpn_rshift(r5, r5, n3p1, 1));
  ASSERT_NOCARRY(mpn_sub_n (r3, r3, r5, n3p1));

  mpn_add_n (r7, r1, r7, n3p1);
  ASSERT_NOCARRY(mpn_rshift(r7, r7, n3p1, 1));
  ASSERT_NOCARRY(mpn_sub_n (r1, r1, r7, n3p1));

  /* last interpolation steps... */
  /* ... could be mixed with recomposition
	||H-r7|M-r7|L-r7|   ||H-r5|M-r5|L-r5|
  */

  /***************************** recomposition *******************************/
  /*
    pp[] prior to operations:
    |M r0|L r0|___||H r2|M r2|L r2|___||H r4|M r4|L r4|___||H r6|M r6|L r6|____|H_r8|L r8|pp

    summation scheme for remaining operations:
    |__16|n_15|n_14|n_13|n_12|n_11|n_10|n__9|n__8|n__7|n__6|n__5|n__4|n__3|n__2|n___|n___|pp
    |M r0|L r0|___||H r2|M r2|L r2|___||H r4|M r4|L r4|___||H r6|M r6|L r6|____|H_r8|L r8|pp
	||H r1|M r1|L r1|   ||H r3|M r3|L r3|   ||H_r5|M_r5|L_r5|   ||H r7|M r7|L r7|
  */

  cy = mpn_add_n (pp + n, pp + n, r7, n);
  cy = mpn_add_1 (pp + 2 * n, r7 + n, n, cy);
#if HAVE_NATIVE_mpn_add_nc
  cy = r7[n3] + mpn_add_nc(pp + n3, pp + n3, r7 + 2 * n, n, cy);
#else
  MPN_INCR_U (r7 + 2 * n, n + 1, cy);
  cy = r7[n3] + mpn_add_n (pp + n3, pp + n3, r7 + 2 * n, n);
#endif
  MPN_INCR_U (pp + 4 * n, 2 * n + 1, cy);

  pp[2 * n3]+= mpn_add_n (pp + 5 * n, pp + 5 * n, r5, n);
  cy = mpn_add_1 (pp + 2 * n3, r5 + n, n, pp[2 * n3]);
#if HAVE_NATIVE_mpn_add_nc
  cy = r5[n3] + mpn_add_nc(pp + 7 * n, pp + 7 * n, r5 + 2 * n, n, cy);
#else
  MPN_INCR_U (r5 + 2 * n, n + 1, cy);
  cy = r5[n3] + mpn_add_n (pp + 7 * n, pp + 7 * n, r5 + 2 * n, n);
#endif
  MPN_INCR_U (pp + 8 * n, 2 * n + 1, cy);

  pp[10 * n]+= mpn_add_n (pp + 9 * n, pp + 9 * n, r3, n);
  cy = mpn_add_1 (pp + 10 * n, r3 + n, n, pp[10 * n]);
#if HAVE_NATIVE_mpn_add_nc
  cy = r3[n3] + mpn_add_nc(pp +11 * n, pp +11 * n, r3 + 2 * n, n, cy);
#else
  MPN_INCR_U (r3 + 2 * n, n + 1, cy);
  cy = r3[n3] + mpn_add_n (pp +11 * n, pp +11 * n, r3 + 2 * n, n);
#endif
  MPN_INCR_U (pp +12 * n, 2 * n + 1, cy);

  pp[14 * n]+=mpn_add_n (pp +13 * n, pp +13 * n, r1, n);
  if ( half ) {
    cy = mpn_add_1 (pp + 14 * n, r1 + n, n, pp[14 * n]);
#if HAVE_NATIVE_mpn_add_nc
    if(LIKELY(spt > n)) {
      cy = r1[n3] + mpn_add_nc(pp + 15 * n, pp + 15 * n, r1 + 2 * n, n, cy);
      MPN_INCR_U (pp + 16 * n, spt - n, cy);
    } else {
      ASSERT_NOCARRY(mpn_add_nc(pp + 15 * n, pp + 15 * n, r1 + 2 * n, spt, cy));
    }
#else
    MPN_INCR_U (r1 + 2 * n, n + 1, cy);
    if(LIKELY(spt > n)) {
      cy = r1[n3] + mpn_add_n (pp + 15 * n, pp + 15 * n, r1 + 2 * n, n);
      MPN_INCR_U (pp + 16 * n, spt - n, cy);
    } else {
      ASSERT_NOCARRY(mpn_add_n (pp + 15 * n, pp + 15 * n, r1 + 2 * n, spt));
    }
#endif
  } else {
    ASSERT_NOCARRY(mpn_add_1 (pp + 14 * n, r1 + n, spt, pp[14 * n]));
  }

#undef   r0
#undef   r2
#undef   r4
#undef   r6
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %r9, %r14
movq %r8, 0x50(%rsp)
movq %rcx, %r15
movq %rdx, 0x68(%rsp)
movq %rsi, 0x30(%rsp)
movq %rdi, %r13
movq 0xe0(%rsp), %rdi
movl 0xd8(%rsp), %eax
movq 0xd0(%rsp), %rbp
leaq (%r9,%r9,2), %rcx
movq %rcx, 0x38(%rsp)
leaq (%r9,%r9,2), %rcx
incq %rcx
movq %rcx, 0x58(%rsp)
movl %eax, 0x7c(%rsp)
testl %eax, %eax
movq %r13, 0x18(%rsp)
movq %r15, 0x70(%rsp)
movq %rdi, 0x8(%rsp)
je 0x298d7
imulq $0x38, %r14, %r15
addq %r13, %r15
imulq $0x78, %r14, %rbx
leaq (%rbx,%r13), %r12
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %r12, 0x28(%rsp)
movq %rbp, %rcx
callq 0x1bca0
leaq (%r15,%rbp,8), %rcx
subq %rax, (%rcx)
jae 0x29679
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x2966e
movq 0x8(%rsp), %rdi
movq %r12, %rsi
movq %rbp, %rdx
movl $0xe, %ecx
callq 0x1bf80
movq %rax, %r15
movq 0x68(%rsp), %r13
movq %r13, %rdi
movq %r13, %rsi
movq 0x8(%rsp), %rdx
movq %rbp, %rcx
callq 0x1bca0
addq %r15, %rax
leaq (,%rbp,8), %rcx
addq %r13, %rcx
subq %rax, (%rcx)
jae 0x296c7
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x296bc
movq 0x18(%rsp), %rax
leaq (%rax,%rbx), %r12
addq $0x8, %r12
movq -0x8(%r12), %rax
shrq $0x2, %rax
movq 0x18(%rsp), %rcx
movq 0x38(%rsp), %rdx
leaq (%rcx,%rdx,8), %rbx
movq %rbx, %rcx
subq %rax, (%rcx)
jae 0x296fe
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x296f3
leaq -0x1(%rbp), %r13
movq %r13, 0x10(%rsp)
movq 0x8(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movl $0x3e, %ecx
callq 0x1bf80
movq %rax, %r15
movq %rbx, %rdi
movq %rbx, %rsi
movq 0x8(%rsp), %rdx
movq %r13, %rcx
callq 0x1bca0
addq %r15, %rax
leaq (%rbx,%rbp,8), %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x2974d
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29742
imulq $0x58, %r14, %rbx
addq 0x18(%rsp), %rbx
movq 0x8(%rsp), %rdi
movq 0x28(%rsp), %r13
movq %r13, %rsi
movq %rbp, %rdx
movl $0x1c, %ecx
callq 0x1bf80
movq %rax, %r15
movq %rbx, %rdi
movq %rbx, %rsi
movq 0x8(%rsp), %rdx
movq %rbp, %rcx
callq 0x1bca0
addq %r15, %rax
movq 0x70(%rsp), %r15
leaq (%rbx,%rbp,8), %rcx
subq %rax, (%rcx)
jae 0x297a2
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29797
movq %r12, 0x20(%rsp)
movq -0x8(%r12), %rax
shrq $0x4, %rax
movq %r15, %rcx
subq %rax, (%rcx)
jae 0x297c3
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x297b8
movq 0x8(%rsp), %rdi
movq %r12, %rsi
movq 0x10(%rsp), %r12
movq %r12, %rdx
movl $0x3c, %ecx
callq 0x1bf80
movq %rax, %rbx
movq %r15, %rdi
movq %r15, %rsi
movq 0x8(%rsp), %rdx
movq %r12, %rcx
callq 0x1bca0
addq %rbx, %rax
leaq (%r15,%rbp,8), %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x2980e
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29803
movq 0x8(%rsp), %rdi
movq %r13, %rsi
movq %rbp, %rdx
movl $0x2a, %ecx
callq 0x1bf80
movq %rax, %rbx
movq 0x30(%rsp), %r13
movq %r13, %rdi
movq %r13, %rsi
movq 0x8(%rsp), %rdx
movq %rbp, %rcx
callq 0x1bca0
addq %rbx, %rax
leaq (,%rbp,8), %rcx
addq %r13, %rcx
subq %rax, (%rcx)
jae 0x2985c
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29851
movq 0x20(%rsp), %rsi
movq -0x8(%rsi), %rax
shrq $0x6, %rax
movq 0x50(%rsp), %r12
movq %r12, %rcx
subq %rax, (%rcx)
jae 0x29881
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29876
movq 0x8(%rsp), %rdi
movq 0x18(%rsp), %r13
movq 0x10(%rsp), %rbx
movq %rbx, %rdx
movl $0x3a, %ecx
callq 0x1bf80
movq %rax, 0x28(%rsp)
movq %r12, %rdi
movq %r12, %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rcx
callq 0x1bca0
movq 0x8(%rsp), %rdi
addq 0x28(%rsp), %rax
leaq (%r12,%rbp,8), %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x298d7
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x298cc
movq %rbp, 0x60(%rsp)
leaq (%r15,%r14,8), %rbp
leaq (%r14,%r14), %r12
movq %r12, 0x10(%rsp)
movq %r13, %rsi
movq %r12, %rdx
movl $0x1c, %ecx
callq 0x1bf80
movq %rax, %rbx
movq %rbp, %rdi
movq %rbp, 0x80(%rsp)
movq %rbp, %rsi
movq 0x8(%rsp), %rdx
movq %r12, %rcx
callq 0x1bca0
addq %rbx, %rax
movq 0x38(%rsp), %rcx
subq %rax, (%r15,%rcx,8)
movq (%r13), %rax
shrq $0x4, %rax
imulq $0x58, %r14, %rbp
addq %r13, %rbp
leaq (,%r14,8), %rbx
addq %rbp, %rbx
movq %rbx, %rcx
subq %rax, (%rcx)
jae 0x29950
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29945
leaq 0x8(%r13), %rsi
movq %rsi, 0x20(%rsp)
leaq -0x1(,%r14,2), %r12
movq %r12, 0x40(%rsp)
movq 0x8(%rsp), %rdi
movq %r12, %rdx
movl $0x3c, %ecx
callq 0x1bf80
movq %r15, %r13
movq %rax, %r15
movq %rbx, %rdi
movq %rbx, %rsi
movq 0x8(%rsp), %rdx
movq %r12, %rcx
callq 0x1bca0
addq %r15, %rax
movq %r14, %rcx
shlq $0x4, %rcx
movq %rcx, 0x88(%rsp)
addq %rbx, %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x299ba
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x299af
movq 0x8(%rsp), %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq 0x58(%rsp), %rbx
movq %rbx, %rcx
callq 0x1bca0
movq %rbp, %rdi
movq %rbp, 0x90(%rsp)
movq %rbp, %rsi
movq %r13, %rdx
movq %rbx, %rcx
callq 0x1ba80
movq 0x18(%rsp), %rax
movq 0x38(%rsp), %rbx
leaq (%rax,%rbx,8), %rbp
leaq (,%r14,8), %r15
addq %rbp, %r15
movq %rbp, 0x28(%rsp)
movq %r13, %rdi
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %r12
movq %r12, %rdx
movl $0xe, %ecx
callq 0x1bf80
movq %rax, 0x48(%rsp)
movq %r15, %rdi
movq %r15, %rsi
movq %r13, %rdx
movq %r12, %rcx
callq 0x1bca0
addq 0x48(%rsp), %rax
subq %rax, (%rbp,%rbx,8)
movq 0x18(%rsp), %rax
movq (%rax), %rax
shrq $0x2, %rax
movq 0x68(%rsp), %r15
leaq (%r15,%r14,8), %rbx
movq %rbx, %rcx
subq %rax, (%rcx)
jae 0x29a6b
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29a60
movq %r13, %rdi
movq 0x20(%rsp), %rsi
movq 0x40(%rsp), %r12
movq %r12, %rdx
movl $0x3e, %ecx
callq 0x1bf80
movq %rax, %rbp
movq %rbx, %rdi
movq %rbx, %rsi
movq %r13, %rdx
movq %r12, %rcx
callq 0x1bca0
addq %rbp, %rax
movq %rbx, 0x48(%rsp)
movq 0x88(%rsp), %rcx
addq %rbx, %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x29ac0
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29ab5
movq %r13, %rdi
movq %r15, %rsi
movq 0x28(%rsp), %rbx
movq %rbx, %rdx
movq 0x58(%rsp), %r12
movq %r12, %rcx
callq 0x1ba80
movq %rbx, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1bca0
movq 0x50(%rsp), %r12
leaq (%r12,%r14,8), %rbp
movq %r15, %rdi
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %r13
movq %r13, %rdx
movl $0x2a, %ecx
callq 0x1bf80
movq %rax, %rbx
movq %rbp, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r13, %rcx
callq 0x1bca0
addq %rbx, %rax
movq 0x38(%rsp), %rcx
subq %rax, (%r12,%rcx,8)
movq 0x18(%rsp), %rax
movq (%rax), %rax
shrq $0x6, %rax
movq 0x30(%rsp), %r12
leaq (%r12,%r14,8), %rbp
movq %rbp, %rcx
subq %rax, (%rcx)
jae 0x29b57
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29b4c
movq %r15, %rdi
movq 0x20(%rsp), %rsi
movq 0x40(%rsp), %r13
movq %r13, %rdx
movl $0x3a, %ecx
callq 0x1bf80
movq %rax, %rbx
movq %rbp, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r13, %rcx
movq 0x18(%rsp), %r13
callq 0x1bca0
addq %rbx, %rax
movq %rbp, 0x40(%rsp)
movq 0x88(%rsp), %rcx
addq %rbp, %rcx
addq $-0x8, %rcx
subq %rax, (%rcx)
jae 0x29bb1
subq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x29ba6
movq %r15, %rdi
movq 0x50(%rsp), %rbx
movq %rbx, %rsi
movq %r12, %rdx
movq %r12, %rbp
movq 0x58(%rsp), %r12
movq %r12, %rcx
callq 0x1bca0
movq %rbp, %rdi
movq 0x28(%rsp), %rbp
movq %rdi, %rsi
movq %rbx, %rdx
movq %r12, %rcx
callq 0x1ba80
imulq $0x38, %r14, %rbx
addq %r13, %rbx
leaq (%rbx,%r14,8), %rdi
movq %rdi, %rsi
movq %r13, %rdx
movq 0x10(%rsp), %rcx
callq 0x1bca0
movq %rbx, 0x20(%rsp)
movq 0x38(%rsp), %r13
subq %rax, (%rbx,%r13,8)
movl $0x404, %ecx            # imm = 0x404
movq 0x8(%rsp), %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x2ffb0
movl $0x514, %ecx            # imm = 0x514
movq %r15, %rdi
movq 0x8(%rsp), %rsi
movq %r12, %rdx
callq 0x2ffb0
movl $0x101010, %ecx         # imm = 0x101010
movq %r15, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x2ffb0
movabsq $0xad91658ad, %rax      # imm = 0xAD91658AD
leaq 0x58295826(%rax), %rcx
movabsq $0x6db993a6864275b, %r8 # imm = 0x6DB993A6864275B
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
xorl %r9d, %r9d
callq 0x2efe8
movl $0xbfc403, %ecx         # imm = 0xBFC403
movq 0x8(%rsp), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x2ffb0
movabsq $-0x6c7338faac1c88e5, %r8 # imm = 0x938CC70553E3771B
movl $0xb13, %ecx            # imm = 0xB13
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %r12, %rdx
movl $0x6, %r9d
callq 0x2efe8
movq 0x8(%rsp), %rbx
movq (%rbx,%r13,8), %rax
movq %rax, %rcx
shrq $0x39, %rcx
movq %r15, %rsi
movq 0x50(%rsp), %r15
je 0x29cde
movabsq $-0x400000000000000, %rcx # imm = 0xFC00000000000000
orq %rcx, %rax
movq %rax, (%rbx,%r13,8)
movl $0xfff, %ecx            # imm = 0xFFF
movq %rbp, %rdi
movq 0x58(%rsp), %r12
movq %r12, %rdx
callq 0x2ffb0
movl $0xf0, %ecx
movq %rbp, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x2fea0
movabsq $-0x101010101010101, %r8 # imm = 0xFEFEFEFEFEFEFEFF
movl $0xff, %ecx
movq %rbp, %rdi
movq %rbp, %rsi
movq %r12, %rbx
movq %r12, %rdx
movl $0x2, %r9d
callq 0x2efe8
movq (%rbp,%r13,8), %rax
movq %rax, %rcx
shrq $0x3d, %rcx
je 0x29d4c
movabsq $-0x4000000000000000, %rcx # imm = 0xC000000000000000
orq %rcx, %rax
movq %rax, (%rbp,%r13,8)
movq %r15, %rdi
movq 0x20(%rsp), %r13
movq %r13, %rsi
movq %rbx, %r12
movq %rbx, %rdx
movl $0x7, %ecx
callq 0x1bf80
movq 0x70(%rsp), %rbx
movq %rbx, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1bca0
movq %r15, %rdi
movq %r13, %rsi
movq %r12, %rdx
movl $0xd, %ecx
callq 0x1bf80
movq 0x90(%rsp), %rbp
movq %rbp, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1bca0
movl $0x190, %ecx            # imm = 0x190
movq %rbp, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x2ffb0
movq %r15, %rdi
movq %r13, %rsi
movq %r12, %rdx
movl $0x13, %ecx
callq 0x1bf80
movq 0x30(%rsp), %r13
movq %r13, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1bca0
movl $0x594, %ecx            # imm = 0x594
movq %r13, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x2ffb0
movl $0x1b900, %ecx          # imm = 0x1B900
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x2ffb0
movabsq $0x1b649a076fc4cb25, %r8 # imm = 0x1B649A076FC4CB25
movq %r13, %rdi
movq %r13, %rsi
movq %r12, %rdx
movabsq $0xad91658ad, %rcx      # imm = 0xAD91658AD
xorl %r9d, %r9d
callq 0x2efe8
movl $0xe7a671, %ecx         # imm = 0xE7A671
movq %rbp, %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x2ffb0
movabsq $-0x184bf2bb60ceb3cb, %r8 # imm = 0xE7B40D449F314C35
movl $0xa61d, %ecx           # imm = 0xA61D
movq %rbp, %rdi
movq %rbp, %rsi
movq %r12, %rdx
movl $0x4, %r9d
callq 0x2efe8
movl $0xf81, %ecx            # imm = 0xF81
movq %rbx, %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x2ffb0
movl $0x384, %ecx            # imm = 0x384
movq %rbx, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x2ffb0
movabsq $-0x71c71c71c71c71c7, %r8 # imm = 0x8E38E38E38E38E39
movl $0x9, %ecx
movq %rbx, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movl $0x4, %r9d
callq 0x2efe8
movq 0x20(%rsp), %r15
movq %r15, %rdi
movq %r15, %rsi
movq %r13, %rdx
movq %r12, %rcx
callq 0x1bca0
movq %r15, %rdi
movq %r15, %rsi
movq %rbx, %rdx
movq %r12, %rcx
callq 0x1bca0
movq %r15, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1bca0
movq 0x28(%rsp), %r15
movq %r15, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1ba80
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
movl $0x1, %ecx
callq 0x300c0
movq %rbp, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq 0x1bca0
movq 0x8(%rsp), %rbp
movq %rbp, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1bca0
movq %rbp, %rdi
movq %rbp, %rsi
movq %r12, %rdx
movl $0x1, %ecx
callq 0x300c0
movq %rbx, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1bca0
movq 0x68(%rsp), %rbp
movq %rbp, %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1ba80
movq %rbp, %rdi
movq %rbp, %rsi
movq %r12, %rdx
movl $0x1, %ecx
callq 0x300c0
movq %r13, %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1bca0
movq 0x18(%rsp), %r13
leaq (,%r14,8), %rdi
addq %r13, %rdi
movq %rdi, %rsi
movq %rbp, %rdx
movq %r14, %rcx
callq 0x1ba80
movq 0x10(%rsp), %rcx
leaq (,%rcx,8), %rcx
addq %r13, %rcx
addq (%rbp,%r14,8), %rax
movq %rax, (%rcx)
jae 0x2a02e
cmpq $0x2, %r14
movl $0x1, %r8d
movl $0x1, %edx
cmovgeq %r14, %rdx
movl $0x1, %esi
movq 0x48(%rsp), %r10
cmpq %rsi, %rdx
je 0x2a061
movq (%r10,%rsi,8), %rdi
leaq 0x1(%rsi), %rax
incq %rdi
movq %rdi, (%rcx,%rsi,8)
movq %rax, %rsi
je 0x29fea
cmpq %rcx, %r10
setne %dl
cmpq %r14, %rax
setl %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x2a05e
xorl %r8d, %r8d
movq (%r10,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %r14, %rax
jl 0x2a01c
jmp 0x2a061
movq 0x48(%rsp), %rsi
cmpq %rcx, %rsi
sete %al
cmpq $0x2, %r14
setl %dl
orb %al, %dl
jne 0x2a05e
movl $0x1, %eax
xorl %r8d, %r8d
movq (%rsi,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x2a04c
jmp 0x2a061
xorl %r8d, %r8d
movq 0x38(%rsp), %r15
movq (%rbp,%r15,8), %rbx
movq 0x10(%rsp), %rax
leaq (,%rax,8), %rdx
addq %rbp, %rdx
movq 0x28(%rsp), %rdi
movq %rdi, %rsi
movq %r14, %rcx
callq 0x1ba60
addq %rbx, %rax
movq %r14, %rcx
shlq $0x5, %rcx
addq %r13, %rcx
addq %rax, (%rcx)
jae 0x2a0a8
addq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x2a09d
leaq (%r14,%r14,4), %rbx
leaq (,%rbx,8), %rdi
addq %r13, %rdi
movq %rdi, %rsi
movq 0x8(%rsp), %r12
movq %r12, %rdx
movq %r14, %rcx
callq 0x1ba80
movq %r12, %r10
movq %r15, %r12
movq %r15, %rsi
shlq $0x4, %rsi
leaq (%rsi,%r13), %rcx
addq (%r13,%rsi), %rax
movq %rax, (%r13,%rsi)
leaq (%r10,%r14,8), %rdx
addq (%rdx), %rax
movq %rax, (%r13,%rsi)
jae 0x2a150
cmpq $0x2, %r14
movl $0x1, %r8d
movl $0x1, %esi
cmovgeq %r14, %rsi
movl $0x1, %edi
cmpq %rdi, %rsi
je 0x2a180
movq (%rdx,%rdi,8), %r9
leaq 0x1(%rdi), %rax
incq %r9
movq %r9, (%rcx,%rdi,8)
movq %rax, %rdi
je 0x2a10b
cmpq %rcx, %rdx
setne %sil
cmpq %r14, %rax
setl %dil
andb %sil, %dil
cmpb $0x1, %dil
jne 0x2a17d
xorl %r8d, %r8d
movq (%rdx,%rax,8), %rsi
movq %rsi, (%rcx,%rax,8)
incq %rax
cmpq %r14, %rax
jl 0x2a13e
jmp 0x2a180
cmpq %rcx, %rdx
sete %al
cmpq $0x2, %r14
setl %sil
orb %al, %sil
jne 0x2a17d
movl $0x1, %eax
xorl %r8d, %r8d
movq (%rdx,%rax,8), %rsi
movq %rsi, (%rcx,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x2a16b
jmp 0x2a180
xorl %r8d, %r8d
movq (%r10,%r12,8), %r15
movq 0x10(%rsp), %rax
leaq (%r10,%rax,8), %rdx
movq 0x20(%rsp), %rdi
movq %rdi, %rsi
movq %r14, %rcx
callq 0x1ba60
addq %r15, %rax
movq %r14, %rcx
shlq $0x6, %rcx
addq %r13, %rcx
addq %rax, (%rcx)
jae 0x2a1ba
addq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x2a1af
leaq (%r14,%r14,8), %rax
leaq (,%rax,8), %rdi
addq %r13, %rdi
movq %rdi, %rsi
movq 0x70(%rsp), %r15
movq %r15, %rdx
movq %r14, %rcx
callq 0x1ba80
shlq $0x4, %rbx
leaq (%rbx,%r13), %rcx
addq (%r13,%rbx), %rax
movq %rax, (%r13,%rbx)
addq (%r15,%r14,8), %rax
movq %rax, (%r13,%rbx)
jae 0x2a25d
cmpq $0x2, %r14
movl $0x1, %r8d
movl $0x1, %edx
cmovgeq %r14, %rdx
movl $0x1, %esi
movq 0x80(%rsp), %r9
cmpq %rsi, %rdx
je 0x2a293
movq (%r9,%rsi,8), %rdi
leaq 0x1(%rsi), %rax
incq %rdi
movq %rdi, (%rcx,%rsi,8)
movq %rax, %rsi
je 0x2a219
cmpq %rcx, %r9
setne %dl
cmpq %r14, %rax
setl %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x2a290
xorl %r8d, %r8d
movq (%r9,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %r14, %rax
jl 0x2a24b
jmp 0x2a293
movq 0x80(%rsp), %rsi
cmpq %rcx, %rsi
sete %al
cmpq $0x2, %r14
setl %dl
orb %al, %dl
jne 0x2a290
movl $0x1, %eax
xorl %r8d, %r8d
movq (%rsi,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x2a27e
jmp 0x2a293
xorl %r8d, %r8d
movq (%r15,%r12,8), %rbx
movq 0x10(%rsp), %rax
leaq (%r15,%rax,8), %rdx
movq 0x90(%rsp), %rdi
movq %rdi, %rsi
movq %r14, %rcx
callq 0x1ba60
addq %rbx, %rax
movq %r12, %rcx
shlq $0x5, %rcx
addq %r13, %rcx
addq %rax, (%rcx)
jae 0x2a2d0
addq $0x1, 0x8(%rcx)
leaq 0x8(%rcx), %rcx
jb 0x2a2c5
imulq $0x68, %r14, %rdi
addq %r13, %rdi
movq %rdi, %rsi
movq 0x30(%rsp), %r15
movq %r15, %rdx
movq %r14, %rcx
callq 0x1ba80
imulq $0x70, %r14, %rsi
leaq (%rsi,%r13), %rcx
addq (%r13,%rsi), %rax
movq %rax, (%r13,%rsi)
movq (%r15,%r14,8), %rdx
addq %rax, %rdx
movq %rdx, (%r13,%rsi)
cmpl $0x0, 0x7c(%rsp)
je 0x2a384
cmpq %rax, %rdx
movq 0x40(%rsp), %r9
jae 0x2a3f2
cmpq $0x2, %r14
movl $0x1, %r8d
movl $0x1, %edx
cmovgeq %r14, %rdx
movl $0x1, %esi
cmpq %rsi, %rdx
je 0x2a420
movq (%r9,%rsi,8), %rdi
leaq 0x1(%rsi), %rax
incq %rdi
movq %rdi, (%rcx,%rsi,8)
movq %rax, %rsi
je 0x2a335
cmpq %rcx, %r9
setne %dl
cmpq %r14, %rax
setl %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x2a41d
xorl %r8d, %r8d
movq (%r9,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %r14, %rax
jl 0x2a36f
jmp 0x2a420
cmpq %rax, %rdx
movq 0x40(%rsp), %r8
jae 0x2a47a
movq 0x60(%rsp), %r9
cmpq $0x2, %r9
movl $0x1, %esi
movl $0x1, %edx
cmovgeq %r9, %rdx
cmpq %rsi, %rdx
je 0x2a468
movq (%r8,%rsi,8), %rdi
leaq 0x1(%rsi), %rax
incq %rdi
movq %rdi, (%rcx,%rsi,8)
movq %rax, %rsi
je 0x2a3a9
cmpq %rcx, %r8
setne %dl
cmpq %r9, %rax
setl %sil
andb %dl, %sil
cmpb $0x1, %sil
jne 0x2a468
movq (%r8,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %r9, %rax
jl 0x2a3e0
jmp 0x2a468
cmpq %rcx, %r9
sete %al
cmpq $0x2, %r14
setl %dl
orb %al, %dl
jne 0x2a41d
movl $0x1, %eax
xorl %r8d, %r8d
movq (%r9,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x2a40b
jmp 0x2a420
xorl %r8d, %r8d
movq 0x60(%rsp), %r9
cmpq %r14, %r9
jle 0x2a4a7
movq 0x30(%rsp), %rcx
movq (%rcx,%r12,8), %rbx
imulq $0x78, %r14, %rdi
addq %r13, %rdi
movq 0x10(%rsp), %rax
leaq (%rcx,%rax,8), %rdx
movq %rdi, %rsi
movq %r14, %rcx
callq 0x1ba60
addq %rbx, %rax
shlq $0x7, %r14
addq %r13, %r14
addq %rax, (%r14)
jae 0x2a468
addq $0x1, 0x8(%r14)
leaq 0x8(%r14), %r14
jb 0x2a45d
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
cmpq %rcx, %r8
sete %al
movq 0x60(%rsp), %rsi
cmpq $0x2, %rsi
setl %dl
orb %al, %dl
jne 0x2a468
movl $0x1, %eax
movq (%r8,%rax,8), %rdx
movq %rdx, (%rcx,%rax,8)
incq %rax
cmpq %rax, %rsi
jne 0x2a495
jmp 0x2a468
imulq $0x78, %r14, %rax
addq %rax, %r13
movq 0x10(%rsp), %rax
movq 0x30(%rsp), %rcx
leaq (%rcx,%rax,8), %rdx
movq %r13, %rdi
movq %r13, %rsi
movq %r9, %rcx
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1ba60
nop