// File: /workspace/github_c_makefile_star2_O0/skeeto[P]enchive/src/curve25519-donna.c
// Function: fproduct
static void
fproduct(int64_t *output, const int64_t *in2, const int64_t *in)
{
  output[0] =       ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[0]);
  output[1] =       ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[0]);
  output[2] =  2 *  ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[0]);
  output[3] =       ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[0]);
  output[4] =       ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[2]) +
               2 * (((int64_t) ((int32_t) in2[1])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[1])) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[0]);
  output[5] =       ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[0]);
  output[6] =  2 * (((int64_t) ((int32_t) in2[3])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[1])) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[0]);
  output[7] =       ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[0]);
  output[8] =       ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[4]) +
               2 * (((int64_t) ((int32_t) in2[3])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[1])) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[0]);
  output[9] =       ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in2[0])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[0]);
  output[10] = 2 * (((int64_t) ((int32_t) in2[5])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[1])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[1])) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[2]);
  output[11] =      ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in2[2])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[2]);
  output[12] =      ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[6]) +
               2 * (((int64_t) ((int32_t) in2[5])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[3])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[3])) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[4]);
  output[13] =      ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in2[4])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[4]);
  output[14] = 2 * (((int64_t) ((int32_t) in2[7])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[5])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[5])) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[6]);
  output[15] =      ((int64_t) ((int32_t) in2[7])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in2[6])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[6]);
  output[16] =      ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[8]) +
               2 * (((int64_t) ((int32_t) in2[7])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[7]));
  output[17] =      ((int64_t) ((int32_t) in2[8])) * ((int32_t) in[9]) +
                    ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[8]);
  output[18] = 2 *  ((int64_t) ((int32_t) in2[9])) * ((int32_t) in[9]);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq (%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq %eax, %rcx
shlq %rcx
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x8(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x30(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x18(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x38(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x8(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x28(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x28(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x50(%rax)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x30(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x58(%rax)
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x30(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x28(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x48(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x18(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x60(%rax)
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x38(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x38(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x70(%rax)
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
movq -0x18(%rbp), %rsi
movq 0x38(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x80(%rax)
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movslq %eax, %rcx
movq -0x18(%rbp), %rax
movq 0x48(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
movq -0x18(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq %eax, %rcx
shlq %rcx
movq -0x18(%rbp), %rax
movq 0x48(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x90(%rax)
popq %rbp
retq
nopl (%rax,%rax)