// File: /workspace/github_cpp_makefile_star2_O3/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 $0x78, %rsp
movl %edi, %r14d
leaq 0x2e1d(%rip), %rdi      # 0xb73d
callq 0x1060
leaq 0x21b7(%rip), %rdi      # 0xaae3
movl %r14d, %esi
xorl %eax, %eax
callq 0x1080
leaq 0x21bf(%rip), %rdi      # 0xaafc
movl %r14d, %esi
xorl %eax, %eax
callq 0x1080
leaq 0x2e28(%rip), %rdi      # 0xb776
callq 0x1060
leaq 0x2e23(%rip), %rdi      # 0xb77d
callq 0x1060
leaq 0x21cc(%rip), %rdi      # 0xab32
xorl %eax, %eax
callq 0x1080
movl $0x1, %r15d
leaq -0x40(%rbp), %rbx
movl %r15d, (%rbx)
movl $0x8, %edi
callq *0x771b(%rip)           # 0x100a0
movq %rax, 0x8(%rbx)
movq $0x1, (%rax)
movl %r15d, 0x4(%rbx)
movl $0x8, %edi
callq *0x7701(%rip)           # 0x100a0
movq %rax, %r15
movslq %r14d, %rax
movq %rax, -0x48(%rbp)
movl $0x2, %r12d
leaq 0x21ba(%rip), %r13      # 0xab70
movq 0x761b(%rip), %r14      # 0xffd8
movq %rbx, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x3441
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x89fb
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rax
leaq -0x1(%rcx), %r14
shlq $0x6, %r14
movq -0x8(%rax,%rcx,8), %rdi
callq 0x78eb
addq %r14, %rax
movq 0x75df(%rip), %r14      # 0xffd8
jmp 0x8a00
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x8a25
movq %r13, %rdi
xorl %eax, %eax
callq 0x1080
movq (%r14), %rdi
movl $0x10, %esi
movq %rbx, %rdx
callq 0x7fff
incq %r12
jmp 0x89bd
leaq 0x1f17(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x2d8f(%rip), %rdi      # 0xb7c7
callq 0x1060
leaq 0x2dc8(%rip), %rdi      # 0xb80c
callq 0x1060
leaq 0x212f(%rip), %rdi      # 0xab7f
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %rbx
movq 0x8(%rbx), %rax
movq $0x1, (%rax)
movl $0x1, 0x4(%rbx)
movl $0x3, %r13d
movl $0x1, %eax
leaq -0x60(%rbp), %r12
xorl %ecx, %ecx
movq %r13, %rsi
movq %rsi, %rdx
shrq %rsi
testb $0x1, %dl
je 0x8a81
movl -0x40(%rbp), %esi
movl -0x3c(%rbp), %edi
movl %edi, -0x4c(%rbp)
movl %edi, -0x5c(%rbp)
movl %ecx, -0x3c(%rbp)
movl %esi, -0x50(%rbp)
movl %esi, -0x60(%rbp)
movl %eax, -0x40(%rbp)
movq -0x38(%rbp), %r14
movq %r14, -0x58(%rbp)
movq %r15, -0x38(%rbp)
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3441
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x8ae4
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rax
leaq -0x1(%rcx), %r15
shlq $0x6, %r15
movq -0x8(%rax,%rcx,8), %rdi
callq 0x78eb
addq %r15, %rax
jmp 0x8ae9
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x8b25
leaq 0x207a(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq 0x74d4(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %rbx, %rdx
callq 0x7fff
incq %r13
movq %r14, %r15
movl -0x50(%rbp), %eax
movl -0x4c(%rbp), %ecx
jmp 0x8a7e
leaq 0x1e17(%rip), %rbx      # 0xa943
movq %rbx, %rdi
callq 0x1060
leaq 0x2095(%rip), %rdi      # 0xabd0
xorl %eax, %eax
callq 0x1080
movq 0x748f(%rip), %r12      # 0xffd8
movq (%r12), %rdi
leaq -0x60(%rbp), %rdx
movl $0x10, %esi
callq 0x7fff
movq %rbx, %rdi
callq 0x1060
leaq -0x1(%r13), %rsi
leaq 0x208f(%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 -0xa0(%rbp), %r12
movl %ecx, (%r12)
movl $0x0, 0x4(%r12)
leaq 0x8(,%rax,8), %rdi
callq *0x74f1(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x5305
movl $0x1, %edx
movq %r12, %rdi
movq %r12, %rsi
callq 0x305d
leaq 0x2c7a(%rip), %rdi      # 0xb850
callq 0x1060
leaq 0x2044(%rip), %rdi      # 0xac26
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %r15
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x6f8e
movq 0x73d6(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x7fff
leaq -0x90(%rbp), %rbx
movq $0x1, (%rbx)
movl $0x8, %edi
callq *0x7475(%rip)           # 0x100a0
movq %rax, 0x8(%rbx)
movq %r13, %rdx
shrq %rdx
movq %rbx, %rdi
movq %r13, %rsi
movq %rdx, -0x70(%rbp)
callq 0x67cd
movq %r13, %r12
movq %r13, -0x68(%rbp)
movq %r12, -0x78(%rbp)
incq %r12
movq %r12, %rax
movq %rax, %rbx
shrq %rax
testb $0x1, %bl
je 0x8c55
cmpq %r12, %rbx
jne 0x8c90
movq %r12, %rdx
shrq %rdx
incq %rdx
leaq -0x90(%rbp), %r13
movq %r13, %rdi
movq %r13, %rsi
callq 0x4694
movq %r13, %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x3441
jmp 0x8ca4
movl $0x1, %edx
leaq -0x90(%rbp), %rdi
movq %rdi, %rsi
callq 0x362c
movl -0x8c(%rbp), %eax
testl %eax, %eax
je 0x8cd3
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x88(%rbp), %rax
leaq -0x1(%rcx), %r13
shlq $0x6, %r13
movq -0x8(%rax,%rcx,8), %rdi
callq 0x78eb
addq %r13, %rax
jmp 0x8cd8
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x8d28
movq %r15, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x3441
movq %r15, %rdi
movq %r15, %rsi
leaq -0xa0(%rbp), %rdx
callq 0x6f8e
leaq 0x1e6b(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq 0x72c5(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x7fff
jmp 0x8c4b
leaq 0x1c14(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x1f20(%rip), %rdi      # 0xac5b
movq -0x78(%rbp), %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x2b43(%rip), %rdi      # 0xb890
callq 0x1060
leaq 0x1f2e(%rip), %rdi      # 0xac87
xorl %eax, %eax
callq 0x1080
leaq -0x40(%rbp), %r12
movq 0x8(%r12), %rax
movq $0x1, (%rax)
movl $0x1, %ecx
movl $0x1, %r15d
movl -0x4c(%rbp), %edx
movl -0x50(%rbp), %esi
movl %edx, -0x3c(%rbp)
movl %ecx, %edx
movl -0x40(%rbp), %ecx
movl %esi, -0x40(%rbp)
movq %r14, -0x38(%rbp)
movq %rax, %r14
leaq 0x2(%r15), %rbx
movl %edx, -0x4c(%rbp)
movl %edx, -0x5c(%rbp)
movl %ecx, -0x50(%rbp)
movl %ecx, -0x60(%rbp)
movq %rax, -0x58(%rbp)
movq %r12, %rdi
leaq -0x60(%rbp), %rsi
movq %rbx, %rdx
callq 0x3441
movl -0x3c(%rbp), %ecx
movl $0x1, %eax
testl %ecx, %ecx
je 0x8de2
movl %ecx, %eax
negl %eax
cmovsl %ecx, %eax
movq -0x38(%rbp), %rcx
leaq -0x1(%rax), %r13
shlq $0x6, %r13
movq -0x8(%rcx,%rax,8), %rdi
callq 0x78eb
addq %r13, %rax
cmpq -0x48(%rbp), %rax
ja 0x8e1c
leaq 0x1d81(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
movq 0x71db(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r12, %rdx
callq 0x7fff
movl -0x3c(%rbp), %ecx
movq -0x38(%rbp), %rax
movq %rbx, %r15
jmp 0x8d7b
leaq 0x1b20(%rip), %rbx      # 0xa943
movq %rbx, %rdi
callq 0x1060
leaq 0x1e8e(%rip), %rdi      # 0xacc0
xorl %eax, %eax
callq 0x1080
movq 0x7198(%rip), %r14      # 0xffd8
movq (%r14), %rdi
leaq -0x60(%rbp), %rdx
movl $0x10, %esi
callq 0x7fff
movq %rbx, %rdi
callq 0x1060
leaq 0x1e93(%rip), %rdi      # 0xacf3
movq %r15, %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x2a72(%rip), %rdi      # 0xb8e3
callq 0x1060
leaq 0x1ea5(%rip), %rdi      # 0xad22
xorl %eax, %eax
callq 0x1080
movl $0x2, %ebx
leaq -0x40(%rbp), %r15
leaq -0xa0(%rbp), %r12
leaq 0x1cd5(%rip), %r13      # 0xab70
movq %r15, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x64bf
movq %r13, %rdi
xorl %eax, %eax
callq 0x1080
movq (%r14), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x7fff
incq %rbx
cmpq $0x9, %rbx
jne 0x8e9b
leaq 0x1a70(%rip), %rdi      # 0xa943
callq 0x1060
leaq -0xa0(%rbp), %rdi
movl $0x1, %edx
movq %rdi, %rsi
callq 0x2e5f
leaq 0x2a44(%rip), %rdi      # 0xb937
callq 0x1060
leaq 0x2a86(%rip), %rdi      # 0xb985
callq 0x1060
leaq 0x1e47(%rip), %rdi      # 0xad52
xorl %eax, %eax
callq 0x1080
movq -0x38(%rbp), %rax
movq $0x1, (%rax)
movl $0x1, -0x3c(%rbp)
movq -0x78(%rbp), %rax
leaq -0x2(%rax), %r14
cmpq $0x3, %r14
jb 0x8f9e
movl $0x3, %r12d
leaq -0x40(%rbp), %rbx
leaq -0x90(%rbp), %r15
leaq 0x1c26(%rip), %r13      # 0xab70
movq %r12, %rax
movq %rax, %rdx
shrq %rax
testb $0x1, %dl
je 0x8f4d
movq %rbx, %rdi
movq %rbx, %rsi
callq 0x3441
movq %r15, %rdi
movq %rbx, %rsi
leaq -0xa0(%rbp), %rdx
callq 0x5441
movq %r13, %rdi
xorl %eax, %eax
callq 0x1080
movq 0x7052(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x7fff
incq %r12
cmpq %r14, %r12
jbe 0x8f4a
leaq 0x199e(%rip), %rdi      # 0xa943
callq 0x1060
movq -0x78(%rbp), %r14
andq $-0x10, %r14
leaq 0x29ee(%rip), %rdi      # 0xb9a7
callq 0x1060
leaq 0x2a15(%rip), %rdi      # 0xb9da
callq 0x1060
leaq 0x1dbd(%rip), %rdi      # 0xad8e
xorl %eax, %eax
callq 0x1080
movq %r14, %r13
addq $0x10, %r14
movq -0x68(%rbp), %r12
je 0x902e
movl $0x4, %ebx
leaq 0x1dbe(%rip), %r15      # 0xadaf
testq %rbx, %rbx
je 0x900e
movq -0x38(%rbp), %rax
movq %rbx, (%rax)
movq %rbx, %rdi
callq 0x7611
movl %eax, %eax
movl $0x1, %ecx
jmp 0x9012
xorl %ecx, %ecx
xorl %eax, %eax
movl %ecx, -0x3c(%rbp)
movq %rbx, %rsi
subq %rax, %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x1080
addq $0x2, %rbx
cmpq %r14, %rbx
jbe 0x8ff1
movl $0xa, %edi
callq 0x1040
movq %r13, %rsi
addq $0x11, %rsi
leaq 0x1d6e(%rip), %rdi      # 0xadb4
xorl %eax, %eax
callq 0x1080
leaq 0x1d8a(%rip), %rdi      # 0xadde
movq -0x70(%rbp), %r13
movq %r13, %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x2993(%rip), %rdi      # 0xb9fc
callq 0x1060
leaq 0x29b5(%rip), %rdi      # 0xba2a
callq 0x1060
leaq 0x1d88(%rip), %rdi      # 0xae09
xorl %eax, %eax
callq 0x1080
movq %r12, %r15
andq $-0x2, %r15
leaq -0x40(%rbp), %r12
xorl %r14d, %r14d
movq %r12, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x67cd
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x90c8
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c38
movq %rax, %rdx
jmp 0x90cf
movq $-0x1, %rdx
movq %r12, %rdi
movq %r12, %rsi
movl $0x2, %ecx
callq 0x3e53
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x9108
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 0x78eb
addq %rbx, %rax
jmp 0x910d
movl $0x1, %eax
cmpq -0x48(%rbp), %rax
ja 0x9158
subq $0x1, %r14
jb 0x9127
leaq 0x1d16(%rip), %rdi      # 0xae36
xorl %eax, %eax
callq 0x1080
leaq 0x1b20(%rip), %rdi      # 0xac4e
xorl %eax, %eax
callq 0x1080
movq 0x6e9c(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r12, %rdx
callq 0x7fff
incq %r13
addq $0x2, %r15
jmp 0x9096
leaq 0x17e4(%rip), %rdi      # 0xa943
callq 0x1060
notq %r14
movq -0x70(%rbp), %rbx
leaq (%r14,%rbx), %r15
leaq 0x1cc3(%rip), %rdi      # 0xae39
movq %r15, %rsi
xorl %eax, %eax
callq 0x1080
leaq 0x28d8(%rip), %rdi      # 0xba5f
callq 0x1060
leaq 0x1cd6(%rip), %rdi      # 0xae69
xorl %eax, %eax
callq 0x1080
movq %r15, -0x48(%rbp)
cmpq %r15, %rbx
jbe 0x91ce
leaq 0x1799(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x28f4(%rip), %rdi      # 0xbaaa
callq 0x1060
leaq 0x1ce8(%rip), %rdi      # 0xaeaa
xorl %eax, %eax
callq 0x1080
jmp 0x933e
movq -0x68(%rbp), %rbx
movq %rbx, %r12
shrq %r12
andq $-0x2, %rbx
leaq -0x40(%rbp), %r15
xorl %r13d, %r13d
leaq (%r12,%r13), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x67cd
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x9216
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c38
movq %rax, %rdx
jmp 0x921d
movq $-0x1, %rdx
movq %r15, %rdi
movq %r15, %rsi
movl $0x2, %ecx
callq 0x3e53
movq %r15, %rdi
movq %r15, %rsi
leaq -0xa0(%rbp), %rdx
callq 0x5441
movq 0x6d92(%rip), %rax      # 0xffd8
movq (%rax), %rdi
movl $0x10, %esi
movq %r15, %rdx
callq 0x7fff
cmpq %r13, %r14
je 0x9269
leaq 0x190e(%rip), %rdi      # 0xab70
xorl %eax, %eax
callq 0x1080
leaq (%r12,%r13), %rax
incq %rax
incq %r13
addq $0x2, %rbx
cmpq -0x48(%rbp), %rax
jbe 0x91e3
leaq 0x16bb(%rip), %rdi      # 0xa943
callq 0x1060
leaq 0x2816(%rip), %rdi      # 0xbaaa
callq 0x1060
leaq 0x1c0a(%rip), %rdi      # 0xaeaa
xorl %eax, %eax
callq 0x1080
movq -0x70(%rbp), %rdx
cmpq -0x48(%rbp), %rdx
movq -0x68(%rbp), %r13
ja 0x933e
andq $-0x2, %r13
leaq -0x40(%rbp), %rbx
movq %rbx, %rdi
movq %r13, %rsi
movq %rdx, %r15
callq 0x67cd
movl -0x3c(%rbp), %eax
testl %eax, %eax
je 0x92f3
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq -0x38(%rbp), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %r8d, %r8d
callq 0x1c38
movq %rax, %r12
jmp 0x92fa
movq $-0x1, %r12
movq %rbx, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movl $0x2, %ecx
callq 0x3e53
leaq 0x1bbb(%rip), %rdi      # 0xaecf
movl %r12d, %esi
xorl %eax, %eax
callq 0x1080
subq $0x1, %r14
jb 0x932e
movl $0x2c, %edi
callq 0x1040
movq %r15, %rdx
incq %rdx
addq $0x2, %r13
cmpq -0x48(%rbp), %rdx
jbe 0x92c1
movl $0xa, %edi
callq 0x1040
xorl %eax, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq