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

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