// File: /workspace/github_cpp_makefile_star2_O1/marxn[P]pupp/3rdparty/gmp/gen-fac.c
// Function: gen_consts
int
gen_consts (int numb, int nail, int limb)
{
  mpz_t x, mask, y, last;
  unsigned long a, b;
  unsigned long ofl, ofe;

  printf ("/* This file is automatically generated by gen-fac.c */\n\n");
  printf ("#if GMP_NUMB_BITS != %d\n", numb);
  printf ("Error , error this data is for %d GMP_NUMB_BITS only\n", numb);
  printf ("#endif\n");
#if 0
  printf ("#if GMP_LIMB_BITS != %d\n", limb);
  printf ("Error , error this data is for %d GMP_LIMB_BITS only\n", limb);
  printf ("#endif\n");
#endif

  printf
    ("/* This table is 0!,1!,2!,3!,...,n! where n! has <= GMP_NUMB_BITS bits */\n");
  printf
    ("#define ONE_LIMB_FACTORIAL_TABLE CNST_LIMB(0x1),CNST_LIMB(0x1");
  mpz_init_set_ui (x, 1);
  mpz_init (last);
  for (b = 2;; b++)
    {
      mpz_mul_ui (x, x, b);	/* so b!=a       */
      if (mpz_sizeinbase (x, 2) > numb)
	break;
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");

  printf
    ("\n/* This table is 0!,1!,2!/2,3!/2,...,n!/2^sn where n!/2^sn is an */\n");
  printf
    ("/* odd integer for each n, and n!/2^sn has <= GMP_NUMB_BITS bits */\n");
  printf
    ("#define ONE_LIMB_ODD_FACTORIAL_TABLE CNST_LIMB(0x1),CNST_LIMB(0x1),CNST_LIMB(0x1");
  mpz_set_ui (x, 1);
  for (b = 3;; b++)
    {
      for (a = b; (a & 1) == 0; a >>= 1);
      mpz_swap (last, x);
      mpz_mul_ui (x, last, a);
      if (mpz_sizeinbase (x, 2) > numb)
	break;
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");
  printf
    ("#define ODD_FACTORIAL_TABLE_MAX CNST_LIMB(0x");
  mpz_out_str (stdout, 16, last);
  printf (")\n");

  ofl = b - 1;
  printf
    ("#define ODD_FACTORIAL_TABLE_LIMIT (%lu)\n", ofl);
  mpz_init2 (mask, numb + 1);
  mpz_setbit (mask, numb);
  mpz_sub_ui (mask, mask, 1);
  printf
    ("\n/* Previous table, continued, values modulo 2^GMP_NUMB_BITS */\n");
  printf
    ("#define ONE_LIMB_ODD_FACTORIAL_EXTTABLE CNST_LIMB(0x");
  mpz_and (x, x, mask);
  mpz_out_str (stdout, 16, x);
  mpz_init (y);
  mpz_bin_uiui (y, b, b/2);
  b++;
  for (;; b++)
    {
      for (a = b; (a & 1) == 0; a >>= 1);
      if (a == b) {
	mpz_divexact_ui (y, y, a/2+1);
	mpz_mul_ui (y, y, a);
      } else
	mpz_mul_2exp (y, y, 1);
      if (mpz_sizeinbase (y, 2) > numb)
	break;
      mpz_mul_ui (x, x, a);
      mpz_and (x, x, mask);
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");
  ofe = b - 1;
  printf
    ("#define ODD_FACTORIAL_EXTTABLE_LIMIT (%lu)\n", ofe);

  printf
    ("\n/* This table is 1!!,3!!,...,(2n+1)!! where (2n+1)!! has <= GMP_NUMB_BITS bits */\n");
  printf
    ("#define ONE_LIMB_ODD_DOUBLEFACTORIAL_TABLE CNST_LIMB(0x1");
  mpz_set_ui (x, 1);
  for (b = 3;; b+=2)
    {
      mpz_swap (last, x);
      mpz_mul_ui (x, last, b);
      if (mpz_sizeinbase (x, 2) > numb)
	break;
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");
  printf
    ("#define ODD_DOUBLEFACTORIAL_TABLE_MAX CNST_LIMB(0x");
  mpz_out_str (stdout, 16, last);
  printf (")\n");

  printf
    ("#define ODD_DOUBLEFACTORIAL_TABLE_LIMIT (%lu)\n", b - 2);

  printf
    ("\n/* This table x_1, x_2,... contains values s.t. x_n^n has <= GMP_NUMB_BITS bits */\n");
  printf
    ("#define NTH_ROOT_NUMB_MASK_TABLE (GMP_NUMB_MASK");
  for (b = 2;b <= 8; b++)
    {
      mpz_root (x, mask, b);
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");

  mpz_add_ui (mask, mask, 1);
  printf
    ("\n/* This table contains inverses of odd factorials, modulo 2^GMP_NUMB_BITS */\n");
  printf
    ("\n/* It begins with (2!/2)^-1=1 */\n");
  printf
    ("#define ONE_LIMB_ODD_FACTORIAL_INVERSES_TABLE CNST_LIMB(0x1");
  mpz_set_ui (x, 1);
  for (b = 3;b <= ofe - 2; b++)
    {
      for (a = b; (a & 1) == 0; a >>= 1);
      mpz_mul_ui (x, x, a);
      mpz_invert (y, x, mask);
      printf ("),CNST_LIMB(0x");
      mpz_out_str (stdout, 16, y);
    }
  printf (")\n");

  ofe = (ofe / 16 + 1) * 16;

  printf
    ("\n/* This table contains 2n-popc(2n) for small n */\n");
  printf
    ("\n/* It begins with 2-1=1 (n=1) */\n");
  printf
    ("#define TABLE_2N_MINUS_POPC_2N 1");
  for (b = 4; b <= ofe; b += 2)
    {
      mpz_set_ui (x, b);
      printf (",%lu",b - mpz_popcount (x));
    }
  printf ("\n");
  printf
    ("#define TABLE_LIMIT_2N_MINUS_POPC_2N %lu\n", ofe + 1);


  ofl = (ofl + 1) / 2;
  printf
    ("#define ODD_CENTRAL_BINOMIAL_OFFSET (%lu)\n", ofl);
  printf
    ("\n/* This table contains binomial(2k,k)/2^t */\n");
  printf
    ("\n/* It begins with ODD_CENTRAL_BINOMIAL_TABLE_MIN */\n");
  printf
    ("#define ONE_LIMB_ODD_CENTRAL_BINOMIAL_TABLE ");
  for (b = ofl;; b++)
    {
      mpz_bin_uiui (x, 2 * b, b);
      mpz_remove_twos (x);
      if (mpz_sizeinbase (x, 2) > numb)
	break;
      if (b != ofl)
	printf ("),");
      printf("CNST_LIMB(0x");
      mpz_out_str (stdout, 16, x);
    }
  printf (")\n");

  ofe = b - 1;
  printf
    ("#define ODD_CENTRAL_BINOMIAL_TABLE_LIMIT (%lu)\n", ofe);

  printf
    ("\n/* This table contains the inverses of elements in the previous table. */\n");
  printf
    ("#define ONE_LIMB_ODD_CENTRAL_BINOMIAL_INVERSE_TABLE CNST_LIMB(0x");
  for (b = ofl; b <= ofe; b++)
    {
      mpz_bin_uiui (x, 2 * b, b);
      mpz_remove_twos (x);
      mpz_invert (x, x, mask);
      mpz_out_str (stdout, 16, x);
      if (b != ofe)
	printf ("),CNST_LIMB(0x");
    }
  printf (")\n");

  printf
    ("\n/* This table contains the values t in the formula binomial(2k,k)/2^t */\n");
  printf
    ("#define CENTRAL_BINOMIAL_2FAC_TABLE ");
  for (b = ofl; b <= ofe; b++)
    {
      mpz_bin_uiui (x, 2 * b, b);
      printf ("%d", mpz_remove_twos (x));
      if (b != ofe)
	printf (",");
    }
  printf ("\n");

  return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movl %edi, %r14d
leaq 0x2cb8(%rip), %rdi      # 0xb745
callq 0x1060
leaq 0x204a(%rip), %rdi      # 0xaae3
movl %r14d, %esi
xorl %eax, %eax
callq 0x1080
leaq 0x2052(%rip), %rdi      # 0xaafc
movl %r14d, %esi
xorl %eax, %eax
callq 0x1080
leaq 0x2cc3(%rip), %rdi      # 0xb77e
callq 0x1060
leaq 0x2cbe(%rip), %rdi      # 0xb785
callq 0x1060
leaq 0x205f(%rip), %rdi      # 0xab32
xorl %eax, %eax
callq 0x1080
movl $0x1, %r15d
leaq -0x40(%rbp), %rbx
movq %r15, (%rbx)
movl $0x8, %edi
callq *0x75ae(%rip)           # 0x100a0
movq %rax, 0x8(%rbx)
movl $0x1, 0x4(%rbx)
movq %r15, (%rax)
movq %r15, -0x60(%rbp)
movl $0x8, %edi
callq *0x7591(%rip)           # 0x100a0
movq %rax, -0x58(%rbp)
movslq %r14d, %rax
movq %rax, -0x48(%rbp)
movl $0x2, %r15d
leaq 0x2049(%rip), %r14      # 0xab70
movq %rbx, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x3484
movl -0x3c(%rbp), %ecx
movl $0x1, %eax
testl %ecx, %ecx
je 0x8b61
movl %ecx, %eax
negl %eax
cmovsl %ecx, %eax
movq -0x38(%rbp), %rcx
leaq -0x1(%rax), %r12
shlq $0x6, %r12
movq -0x8(%rcx,%rax,8), %rdi
callq 0x7a30
addq %r12, %rax
cmpq -0x48(%rbp), %rax
ja 0x8b8d
movq %r14, %rdi
xorl %eax, %eax
callq 0x1080
movq 0x7460(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %rbx, %rdx
callq 0x8166
incq %r15
jmp 0x8b27
leaq 0x1daf(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x2c2f(%rip), %rdi      # 0xb7cf
callq 0x1060
leaq 0x2c68(%rip), %rdi      # 0xb814
callq 0x1060
leaq 0x1fc7(%rip), %rdi      # 0xab7f
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %r15
movl $0x1, 0x4(%r15)
movq 0x8(%r15), %rax
movq $0x1, (%rax)
leaq -0x60(%rbp), %rax
movl (%rax), %ecx
movl 0x4(%rax), %esi
movl $0x3, %r12d
movq 0x8(%rax), %rax
movq %r12, %rdi
movq %rdi, %rdx
shrq %rdi
testb $0x1, %dl
je 0x8bec
movl -0x40(%rbp), %r14d
movl -0x3c(%rbp), %ebx
movl %ebx, -0x5c(%rbp)
movl %esi, -0x3c(%rbp)
movl %r14d, -0x60(%rbp)
movl %ecx, -0x40(%rbp)
movq -0x38(%rbp), %r13
movq %r13, -0x58(%rbp)
movq %rax, -0x38(%rbp)
movq %r15, %rdi
leaq -0x60(%rbp), %rsi
callq 0x3484
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x8c56
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rax
movq %r12, %r15
leaq -0x1(%rcx), %r12
shlq $0x6, %r12
movq -0x8(%rax,%rcx,8), %rdi
callq 0x7a30
addq %r12, %rax
movq %r15, %r12
leaq -0x40(%rbp), %r15
jmp 0x8c5b
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x8c96
leaq 0x1f08(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq 0x7362(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x8166
incq %r12
movq %r13, %rax
movl %r14d, %ecx
movl %ebx, %esi
jmp 0x8be9
leaq 0x1ca6(%rip), %r14      # 0xa943
movq %r14, %rdi
callq 0x1060
leaq 0x1f24(%rip), %rdi      # 0xabd0
xorl %eax, %eax
callq 0x1080
movq 0x731e(%rip), %r15      # 0xffd8
movq (%r15), %rdi
leaq -0x60(%rbp), %rdx
movl $0x10, %esi
callq 0x8166
movq %r14, %rdi
callq 0x1060
leaq -0x1(%r12), %rsi
leaq 0x1f1e(%rip), %rdi      # 0xabfd
xorl %eax, %eax
callq 0x1080
movq -0x48(%rbp), %rbx
leal 0x1(%rbx), %eax
cltq
cmpl $0x1, %eax
adcq $-0x1, %rax
shrq $0x6, %rax
leaq 0x1(%rax), %rcx
leaq -0x90(%rbp), %r14
movl %ecx, (%r14)
movl $0x0, 0x4(%r14)
leaq 0x8(,%rax,8), %rdi
callq *0x7382(%rip)           # 0x100a0
movq %rax, 0x8(%r14)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x536d
movl $0x1, %edx
movq %r14, %rdi
movq %r14, %rsi
callq 0x3096
leaq 0x2b14(%rip), %rdi      # 0xb858
callq 0x1060
leaq 0x1ed6(%rip), %rdi      # 0xac26
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %r13
movq %r13, %rdi
movq %r13, %rsi
movq %r14, %rdx
callq 0x7070
movq (%r15), %rdi
movl $0x10, %esi
movq %r13, %rdx
callq 0x8166
movq %r12, %rbx
leaq -0xa0(%rbp), %r12
movq $0x1, (%r12)
movl $0x8, %edi
callq *0x730a(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %rbx, %rdx
shrq %rdx
movq %r12, %rdi
movq %rbx, %rsi
movq %rdx, -0x78(%rbp)
callq 0x687a
movq %rbx, -0x70(%rbp)
movq %rbx, %rcx
movq %r15, %rbx
leaq 0x1(%rcx), %r14
movq %r14, %rax
movq %rax, %r15
shrq %rax
testb $0x1, %r15b
je 0x8dc1
movq %rcx, -0x68(%rbp)
cmpq %r14, %r15
jne 0x8dfa
movq %r15, %rdx
shrq %rdx
incq %rdx
movq %r12, %rdi
movq %r12, %rsi
callq 0x4721
movq %r12, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x3484
jmp 0x8e0a
movl $0x1, %edx
movq %r12, %rdi
movq %r12, %rsi
callq 0x366f
movl -0x9c(%rbp), %eax
testl %eax, %eax
je 0x8e40
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x98(%rbp), %rax
leaq -0x1(%rcx), %rbx
shlq $0x6, %rbx
movq -0x8(%rax,%rcx,8), %rdi
callq 0x7a30
addq %rbx, %rax
movq 0x719a(%rip), %rbx      # 0xffd8
jmp 0x8e45
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x8e91
movq %r13, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x3484
movq %r13, %rdi
movq %r13, %rsi
leaq -0x90(%rbp), %rdx
callq 0x7070
leaq 0x1cfe(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq (%rbx), %rdi
movl $0x10, %esi
movq %r13, %rdx
callq 0x8166
movq %r14, %rcx
jmp 0x8dba
leaq 0x1aab(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x1db7(%rip), %rdi      # 0xac5b
movq -0x68(%rbp), %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x29e2(%rip), %rdi      # 0xb898
callq 0x1060
leaq 0x1dc5(%rip), %rdi      # 0xac87
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %r14
movl $0x1, 0x4(%r14)
movq 0x8(%r14), %rax
movq $0x1, (%rax)
leaq -0x60(%rbp), %rax
movl (%rax), %ebx
movl 0x4(%rax), %r13d
movl $0x1, %r15d
movq 0x8(%rax), %r12
movl %r13d, %eax
movl %ebx, %ecx
movq %r12, %rdx
movq %r15, -0xa8(%rbp)
addq $0x2, %r15
movl -0x40(%rbp), %ebx
movl -0x3c(%rbp), %r13d
movl %r13d, -0x5c(%rbp)
movl %eax, -0x3c(%rbp)
movl %ebx, -0x60(%rbp)
movl %ecx, -0x40(%rbp)
movq -0x38(%rbp), %r12
movq %r12, -0x58(%rbp)
movq %rdx, -0x38(%rbp)
movq %r14, %rdi
leaq -0x60(%rbp), %rsi
movq %r15, %rdx
callq 0x3484
movl -0x3c(%rbp), %ecx
movl $0x1, %eax
testl %ecx, %ecx
je 0x8f7c
movl %ecx, %eax
negl %eax
cmovsl %ecx, %eax
movq -0x38(%rbp), %rcx
movq %r12, -0x80(%rbp)
movl %r13d, %r12d
movl %ebx, %r13d
movq %r14, %rbx
leaq -0x1(%rax), %r14
shlq $0x6, %r14
movq -0x8(%rcx,%rax,8), %rdi
callq 0x7a30
addq %r14, %rax
movq %rbx, %r14
movl %r13d, %ebx
movl %r12d, %r13d
movq -0x80(%rbp), %r12
cmpq -0x48(%rbp), %rax
ja 0x8fac
leaq 0x1be7(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq 0x7041(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r14, %rdx
callq 0x8166
jmp 0x8ef4
leaq 0x1990(%rip), %r15      # 0xa943
movq %r15, %rdi
callq 0x1060
leaq 0x1cfe(%rip), %rdi      # 0xacc0
xorl %eax, %eax
callq 0x1080
movq 0x7008(%rip), %rbx      # 0xffd8
movq (%rbx), %rdi
leaq -0x60(%rbp), %rdx
movl $0x10, %esi
callq 0x8166
movq %r15, %rdi
callq 0x1060
leaq 0x1d03(%rip), %rdi      # 0xacf3
movq -0xa8(%rbp), %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x28e6(%rip), %rdi      # 0xb8eb
callq 0x1060
leaq 0x1d11(%rip), %rdi      # 0xad22
xorl %eax, %eax
callq 0x1080
movl $0x2, %r14d
leaq -0x40(%rbp), %r15
leaq -0x90(%rbp), %r12
leaq 0x1b40(%rip), %r13      # 0xab70
movq %r15, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x6573
movq %r13, %rdi
xorl %eax, %eax
callq 0x1080
movq (%rbx), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x8166
incq %r14
cmpq $0x9, %r14
jne 0x9030
leaq 0x18db(%rip), %rdi      # 0xa943
callq 0x1060
leaq -0x90(%rbp), %rdi
movl $0x1, %edx
movq %rdi, %rsi
callq 0x2e9e
leaq 0x28b7(%rip), %rdi      # 0xb93f
callq 0x1060
leaq 0x28f9(%rip), %rdi      # 0xb98d
callq 0x1060
leaq 0x1cb2(%rip), %rdi      # 0xad52
xorl %eax, %eax
callq 0x1080
movl $0x1, -0x3c(%rbp)
movq -0x38(%rbp), %rax
movq $0x1, (%rax)
movq -0x68(%rbp), %rax
leaq -0x2(%rax), %rbx
cmpq $0x3, %rbx
jb 0x9133
movl $0x3, %r12d
leaq -0x40(%rbp), %r14
leaq -0xa0(%rbp), %r15
leaq 0x1a91(%rip), %r13      # 0xab70
movq %r12, %rax
movq %rax, %rdx
shrq %rax
testb $0x1, %dl
je 0x90e2
movq %r14, %rdi
movq %r14, %rsi
callq 0x3484
movq %r15, %rdi
movq %r14, %rsi
leaq -0x90(%rbp), %rdx
callq 0x54a9
movq %r13, %rdi
xorl %eax, %eax
callq 0x1080
movq 0x6ebd(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x8166
incq %r12
cmpq %rbx, %r12
jbe 0x90df
leaq 0x1809(%rip), %rdi      # 0xa943
callq 0x1060
movq -0x68(%rbp), %rbx
andq $-0x10, %rbx
leaq 0x2861(%rip), %rdi      # 0xb9af
callq 0x1060
leaq 0x2888(%rip), %rdi      # 0xb9e2
callq 0x1060
leaq 0x1c28(%rip), %rdi      # 0xad8e
xorl %eax, %eax
callq 0x1080
movq %rbx, -0x68(%rbp)
addq $0x10, %rbx
movq %rbx, -0x80(%rbp)
je 0x91f6
movl $0x4, %r14d
testq %r14, %r14
je 0x9196
movl $0x1, -0x3c(%rbp)
movq -0x38(%rbp), %rax
movq %r14, (%rax)
jmp 0x919d
movl $0x0, -0x3c(%rbp)
movslq -0x3c(%rbp), %r12
testq %r12, %r12
js 0x91cc
testl %r12d, %r12d
je 0x91d5
movq -0x38(%rbp), %r15
xorl %r13d, %r13d
xorl %ebx, %ebx
movq (%r15,%rbx,8), %rdi
callq 0x7772
movl %eax, %eax
addq %rax, %r13
incq %rbx
cmpq %rbx, %r12
jne 0x91b4
jmp 0x91d8
movq $-0x1, %r13
jmp 0x91d8
xorl %r13d, %r13d
movq %r14, %rsi
subq %r13, %rsi
leaq 0x1bca(%rip), %rdi      # 0xadaf
xorl %eax, %eax
callq 0x1080
addq $0x2, %r14
cmpq -0x80(%rbp), %r14
jbe 0x9181
movl $0xa, %edi
callq 0x1040
movq -0x68(%rbp), %rsi
addq $0x11, %rsi
leaq 0x1ba5(%rip), %rdi      # 0xadb4
xorl %eax, %eax
callq 0x1080
leaq 0x1bc1(%rip), %rdi      # 0xadde
movq -0x78(%rbp), %r15
movq %r15, %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x27d2(%rip), %rdi      # 0xba04
callq 0x1060
leaq 0x27f4(%rip), %rdi      # 0xba32
callq 0x1060
leaq 0x1bbf(%rip), %rdi      # 0xae09
xorl %eax, %eax
callq 0x1080
movq -0x70(%rbp), %r12
andq $-0x2, %r12
leaq -0x40(%rbp), %r13
xorl %r14d, %r14d
movq 0x6d71(%rip), %rbx      # 0xffd8
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x687a
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x9299
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c4a
movq %rax, %rdx
jmp 0x92a0
movq $-0x1, %rdx
movq %r13, %rdi
movq %r13, %rsi
movl $0x2, %ecx
callq 0x3ea2
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x92e0
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rax
leaq -0x1(%rcx), %rbx
shlq $0x6, %rbx
movq -0x8(%rax,%rcx,8), %rdi
callq 0x7a30
addq %rbx, %rax
movq 0x6cfa(%rip), %rbx      # 0xffd8
jmp 0x92e5
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x9329
subq $0x1, %r14
jb 0x92ff
leaq 0x1b3e(%rip), %rdi      # 0xae36
xorl %eax, %eax
callq 0x1080
leaq 0x1948(%rip), %rdi      # 0xac4e
xorl %eax, %eax
callq 0x1080
movq (%rbx), %rdi
movl $0x10, %esi
movq %r13, %rdx
callq 0x8166
incq %r15
addq $0x2, %r12
jmp 0x9267
leaq 0x1613(%rip), %rdi      # 0xa943
callq 0x1060
notq %r14
movq -0x78(%rbp), %rbx
leaq (%r14,%rbx), %r15
leaq 0x1af2(%rip), %rdi      # 0xae39
movq %r15, %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x270f(%rip), %rdi      # 0xba67
callq 0x1060
leaq 0x1b05(%rip), %rdi      # 0xae69
xorl %eax, %eax
callq 0x1080
movq %r15, -0x48(%rbp)
cmpq %r15, %rbx
ja 0x942b
movq -0x70(%rbp), %r15
movq %r15, %rbx
shrq %rbx
andq $-0x2, %r15
leaq -0x40(%rbp), %r12
xorl %r13d, %r13d
leaq (%rbx,%r13), %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x687a
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x93c0
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c4a
movq %rax, %rdx
jmp 0x93c7
movq $-0x1, %rdx
movq %r12, %rdi
movq %r12, %rsi
movl $0x2, %ecx
callq 0x3ea2
movq %r12, %rdi
movq %r12, %rsi
leaq -0x90(%rbp), %rdx
callq 0x54a9
movq 0x6be8(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r12, %rdx
callq 0x8166
cmpq %r13, %r14
je 0x9413
leaq 0x1764(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
leaq (%rbx,%r13), %rax
incq %rax
incq %r13
addq $0x2, %r15
cmpq -0x48(%rbp), %rax
jbe 0x938d
leaq 0x1511(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x2674(%rip), %rdi      # 0xbab2
callq 0x1060
leaq 0x1a60(%rip), %rdi      # 0xaeaa
xorl %eax, %eax
callq 0x1080
movq -0x78(%rbp), %rdx
cmpq -0x48(%rbp), %rdx
movq -0x70(%rbp), %rsi
ja 0x94eb
andq $-0x2, %rsi
leaq -0x40(%rbp), %r15
movq %r15, %rdi
movq %rsi, %rbx
movq %rdx, %r12
callq 0x687a
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x949d
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c4a
movq %rax, %r13
jmp 0x94a4
movq $-0x1, %r13
movq %r15, %rdi
movq %r15, %rsi
movq %r13, %rdx
movl $0x2, %ecx
callq 0x3ea2
leaq 0x1a11(%rip), %rdi      # 0xaecf
movl %r13d, %esi
xorl %eax, %eax
callq 0x1080
subq $0x1, %r14
jb 0x94d8
movl $0x2c, %edi
callq 0x1040
movq %r12, %rdx
incq %rdx
movq %rbx, %rsi
addq $0x2, %rsi
cmpq -0x48(%rbp), %rdx
jbe 0x946b
movl $0xa, %edi
callq 0x1040
xorl %eax, %eax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq