user: What is the c source code of the assembly code below:

```asm
<ddct16x16s>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x38,%rsp
  mov    %edi,-0xa4(%rbp)
  mov    %rsi,-0xb0(%rbp)
  cmpl   $0x0,-0xa4(%rbp)
  jns    L98
  movl   $0x0,-0x94(%rbp)
  jmp    L39
L84:
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x78(%rbp),%xmm1
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x78(%rbp),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  subsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D901(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D901(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x8(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D997(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D997(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D1315(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D1315(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x48(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x50(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x68(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D371(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x58(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D371(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm2
  movsd  D1614(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x88(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x58(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D996(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D996(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D771(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D771(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D934(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D934(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D348(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D348(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x94(%rbp)
L39:
  cmpl   $0xf,-0x94(%rbp)
  jle    L84
  movl   $0x0,-0x94(%rbp)
  jmp    L96
L12:
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x78(%rbp),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x78(%rbp),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  subsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D901(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D901(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x8(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x8(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D997(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D997(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm0
  subsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D1315(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D1315(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x48(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x48(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x50(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x68(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x60(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D371(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x58(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x60(%rbp),%xmm2
  movsd  D371(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm2
  movsd  D1614(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x88(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x90(%rbp),%xmm2
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x58(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D996(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D996(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D771(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D771(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D934(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D934(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x78(%rbp),%xmm2
  movsd  D348(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x78(%rbp),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D348(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x94(%rbp)
L96:
  cmpl   $0xf,-0x94(%rbp)
  jle    L12
  jmp    L91
L98:
  movl   $0x0,-0x94(%rbp)
  jmp    L46
L22:
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D996(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D996(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D771(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D771(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x90(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D934(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D934(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D348(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D348(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x58(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x68(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x90(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x88(%rbp),%xmm2
  movsd  D371(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x88(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x90(%rbp),%xmm2
  movsd  D371(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x78(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm2
  movsd  D1614(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D901(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D901(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D997(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D997(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D1315(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D1315(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x20(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x38(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x94(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rdx,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x94(%rbp)
L46:
  cmpl   $0xf,-0x94(%rbp)
  jle    L22
  movl   $0x0,-0x94(%rbp)
  jmp    L25
L13:
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm2
  movsd  D996(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  movsd  D157(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  D996(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm2
  movsd  D771(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm1
  movsd  D684(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm2
  movsd  D771(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x90(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm2
  movsd  D934(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm1
  movsd  D840(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  D934(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm2
  movsd  D348(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  movsd  D1515(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  D348(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x60(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x58(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x60(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x70(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x68(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x70(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x68(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x90(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x88(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x90(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x88(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0x90(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x88(%rbp),%xmm2
  movsd  D371(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x88(%rbp),%xmm1
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x90(%rbp),%xmm2
  movsd  D371(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0x80(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x78(%rbp),%xmm2
  movsd  D1614(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0x78(%rbp),%xmm1
  movsd  D371(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x80(%rbp),%xmm2
  movsd  D1614(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm2
  movsd  D901(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  movsd  D1135(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  D901(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  (%rax),%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  (%rax),%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D1426(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  addsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x80(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm2
  movsd  D997(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm1
  movsd  D699(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  D997(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm2
  movsd  D1315(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  movsd  D222(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm2
  movsd  D1315(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x20(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x18(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x80(%rbp),%xmm1
  movsd  D995(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x78,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x40,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x38,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x28(%rbp),%xmm0
  subsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x10,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x68,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x90(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x50,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x28,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x88(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x40(%rbp),%xmm0
  subsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x20,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x58,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x60,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x18,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x38(%rbp),%xmm0
  addsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x30,%rax
  movsd  -0x80(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x48,%rax
  movsd  -0x80(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x70,%rax
  movsd  -0x78(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  add    $0x8,%rax
  movsd  -0x78(%rbp),%xmm0
  subsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x94(%rbp)
L25:
  cmpl   $0xf,-0x94(%rbp)
  jle    L13
L91:
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D1426
type_infered: f64
name: read_data
arguments: data_tag: D1135
type_infered: f64
name: read_data
arguments: data_tag: D901
type_infered: f64
name: read_data
arguments: data_tag: D995
type_infered: f64
name: read_data
arguments: data_tag: D699
type_infered: f64
name: read_data
arguments: data_tag: D997
type_infered: f64
name: read_data
arguments: data_tag: D222
type_infered: f64
name: read_data
arguments: data_tag: D1315
type_infered: f64
name: read_data
arguments: data_tag: D1614
type_infered: f64
name: read_data
arguments: data_tag: D371
type_infered: f64
name: read_data
arguments: data_tag: D157
type_infered: f64
name: read_data
arguments: data_tag: D996
type_infered: f64
name: read_data
arguments: data_tag: D684
type_infered: f64
name: read_data
arguments: data_tag: D771
type_infered: f64
name: read_data
arguments: data_tag: D840
type_infered: f64
name: read_data
arguments: data_tag: D934
type_infered: f64
name: read_data
arguments: data_tag: D1515
type_infered: f64
name: read_data
arguments: data_tag: D348
type_infered: f64

tool: D1426: 0.25

tool: D1135: 0.32664074121909414

tool: D901: 0.13529902503654925

tool: D995: 0.7071067811865476

tool: D699: 0.3467599613305369

tool: D997: 0.06897484482073575

tool: D222: 0.29396890060483966

tool: D1315: 0.19642373959677553

tool: D1614: 0.3826834323650898

tool: D371: 0.9238795325112867

tool: D157: 0.3518509343815956

tool: D996: 0.03465429229977286

tool: D684: 0.2733004667504394

tool: D771: 0.22429189658565907

tool: D840: 0.31180625324666783

tool: D934: 0.16666391461943664

tool: D1515: 0.33832950029358816

tool: D348: 0.10263113188058935

assistant: ```c
void ddct16x16s(int isgn, double **a) {
  int j;
  double x0r, x0i, x1r, x1i, x2r, x2i, x3r, x3i;
  double x4r, x4i, x5r, x5i, x6r, x6i, x7r, x7i;
  double xr, xi;
  if (isgn < 0) {
    for (j = 0; j <= 15; j++) {
      x4r = a[0][j] - a[15][j];
      xr = a[0][j] + a[15][j];
      x4i = a[8][j] - a[7][j];
      xi = a[8][j] + a[7][j];
      x0r = xr + xi;
      x0i = xr - xi;
      x5r = a[2][j] - a[13][j];
      xr = a[2][j] + a[13][j];
      x5i = a[10][j] - a[5][j];
      xi = a[10][j] + a[5][j];
      x1r = xr + xi;
      x1i = xr - xi;
      x6r = a[4][j] - a[11][j];
      xr = a[4][j] + a[11][j];
      x6i = a[12][j] - a[3][j];
      xi = a[12][j] + a[3][j];
      x2r = xr + xi;
      x2i = xr - xi;
      x7r = a[6][j] - a[9][j];
      xr = a[6][j] + a[9][j];
      x7i = a[14][j] - a[1][j];
      xi = a[14][j] + a[1][j];
      x3r = xr + xi;
      x3i = xr - xi;
      xr = x0r + x2r;
      xi = x1r + x3r;
      a[0][j] = 0.25 * (xr + xi);
      a[8][j] = 0.25 * (xr - xi);
      xr = x0r - x2r;
      xi = x1r - x3r;
      a[4][j] = 0.32664074121909413196 * xr - 0.13529902503654924610 * xi;
      a[12][j] = 0.32664074121909413196 * xi + 0.13529902503654924610 * xr;
      x0r = 0.70710678118654752440 * (x1i - x3i);
      x2r = 0.70710678118654752440 * (x1i + x3i);
      xr = x0i + x0r;
      xi = x2r + x2i;
      a[2][j] = 0.34675996133053686546 * xr - 0.06897484482073575308 * xi;
      a[14][j] = 0.34675996133053686546 * xi + 0.06897484482073575308 * xr;
      xr = x0i - x0r;
      xi = x2r - x2i;
      a[6][j] = 0.29396890060483967924 * xr - 0.19642373959677554532 * xi;
      a[10][j] = 0.29396890060483967924 * xi + 0.19642373959677554532 * xr;
      xr = 0.70710678118654752440 * (x6r - x6i);
      xi = 0.70710678118654752440 * (x6i + x6r);
      x6r = x4r - xr;
      x6i = x4i - xi;
      x4r += xr;
      x4i += xi;
      xr = 0.38268343236508977173 * x7r - 0.92387953251128675613 * x7i;
      xi = 0.38268343236508977173 * x7i + 0.92387953251128675613 * x7r;
      x7r = 0.92387953251128675613 * x5r - 0.38268343236508977173 * x5i;
      x7i = 0.92387953251128675613 * x5i + 0.38268343236508977173 * x5r;
      x5r = x7r + xr;
      x5i = x7i + xi;
      x7r -= xr;
      x7i -= xi;
      xr = x4r + x5r;
      xi = x5i + x4i;
      a[1][j] = 0.35185093438159561476 * xr - 0.03465429229977286565 * xi;
      a[15][j] = 0.35185093438159561476 * xi + 0.03465429229977286565 * xr;
      xr = x4r - x5r;
      xi = x5i - x4i;
      a[7][j] = 0.27330046675043937206 * xr - 0.22429189658565907106 * xi;
      a[9][j] = 0.27330046675043937206 * xi + 0.22429189658565907106 * xr;
      xr = x6r - x7i;
      xi = x7r + x6i;
      a[5][j] = 0.31180625324666780814 * xr - 0.16666391461943662432 * xi;
      a[11][j] = 0.31180625324666780814 * xi + 0.16666391461943662432 * xr;
      xr = x6r + x7i;
      xi = x7r - x6i;
      a[3][j] = 0.33832950029358816957 * xr - 0.10263113188058934529 * xi;
      a[13][j] = 0.33832950029358816957 * xi + 0.10263113188058934529 * xr;
    }
    for (j = 0; j <= 15; j++) {
      x4r = a[j][0] - a[j][15];
      xr = a[j][0] + a[j][15];
      x4i = a[j][8] - a[j][7];
      xi = a[j][8] + a[j][7];
      x0r = xr + xi;
      x0i = xr - xi;
      x5r = a[j][2] - a[j][13];
      xr = a[j][2] + a[j][13];
      x5i = a[j][10] - a[j][5];
      xi = a[j][10] + a[j][5];
      x1r = xr + xi;
      x1i = xr - xi;
      x6r = a[j][4] - a[j][11];
      xr = a[j][4] + a[j][11];
      x6i = a[j][12] - a[j][3];
      xi = a[j][12] + a[j][3];
      x2r = xr + xi;
      x2i = xr - xi;
      x7r = a[j][6] - a[j][9];
      xr = a[j][6] + a[j][9];
      x7i = a[j][14] - a[j][1];
      xi = a[j][14] + a[j][1];
      x3r = xr + xi;
      x3i = xr - xi;
      xr = x0r + x2r;
      xi = x1r + x3r;
      a[j][0] = 0.25 * (xr + xi);
      a[j][8] = 0.25 * (xr - xi);
      xr = x0r - x2r;
      xi = x1r - x3r;
      a[j][4] = 0.32664074121909413196 * xr - 0.13529902503654924610 * xi;
      a[j][12] = 0.32664074121909413196 * xi + 0.13529902503654924610 * xr;
      x0r = 0.70710678118654752440 * (x1i - x3i);
      x2r = 0.70710678118654752440 * (x1i + x3i);
      xr = x0i + x0r;
      xi = x2r + x2i;
      a[j][2] = 0.34675996133053686546 * xr - 0.06897484482073575308 * xi;
      a[j][14] = 0.34675996133053686546 * xi + 0.06897484482073575308 * xr;
      xr = x0i - x0r;
      xi = x2r - x2i;
      a[j][6] = 0.29396890060483967924 * xr - 0.19642373959677554532 * xi;
      a[j][10] = 0.29396890060483967924 * xi + 0.19642373959677554532 * xr;
      xr = 0.70710678118654752440 * (x6r - x6i);
      xi = 0.70710678118654752440 * (x6i + x6r);
      x6r = x4r - xr;
      x6i = x4i - xi;
      x4r += xr;
      x4i += xi;
      xr = 0.38268343236508977173 * x7r - 0.92387953251128675613 * x7i;
      xi = 0.38268343236508977173 * x7i + 0.92387953251128675613 * x7r;
      x7r = 0.92387953251128675613 * x5r - 0.38268343236508977173 * x5i;
      x7i = 0.92387953251128675613 * x5i + 0.38268343236508977173 * x5r;
      x5r = x7r + xr;
      x5i = x7i + xi;
      x7r -= xr;
      x7i -= xi;
      xr = x4r + x5r;
      xi = x5i + x4i;
      a[j][1] = 0.35185093438159561476 * xr - 0.03465429229977286565 * xi;
      a[j][15] = 0.35185093438159561476 * xi + 0.03465429229977286565 * xr;
      xr = x4r - x5r;
      xi = x5i - x4i;
      a[j][7] = 0.27330046675043937206 * xr - 0.22429189658565907106 * xi;
      a[j][9] = 0.27330046675043937206 * xi + 0.22429189658565907106 * xr;
      xr = x6r - x7i;
      xi = x7r + x6i;
      a[j][5] = 0.31180625324666780814 * xr - 0.16666391461943662432 * xi;
      a[j][11] = 0.31180625324666780814 * xi + 0.16666391461943662432 * xr;
      xr = x6r + x7i;
      xi = x7r - x6i;
      a[j][3] = 0.33832950029358816957 * xr - 0.10263113188058934529 * xi;
      a[j][13] = 0.33832950029358816957 * xi + 0.10263113188058934529 * xr;
    }
  } else {
    for (j = 0; j <= 15; j++) {
      x5r = 0.35185093438159561476 * a[1][j] + 0.03465429229977286565 * a[15][j];
      x5i = 0.35185093438159561476 * a[15][j] - 0.03465429229977286565 * a[1][j];
      xr = 0.27330046675043937206 * a[7][j] + 0.22429189658565907106 * a[9][j];
      xi = 0.27330046675043937206 * a[9][j] - 0.22429189658565907106 * a[7][j];
      x4r = x5r + xr;
      x4i = x5i - xi;
      x5r -= xr;
      x5i += xi;
      x7r = 0.31180625324666780814 * a[5][j] + 0.16666391461943662432 * a[11][j];
      x7i = 0.31180625324666780814 * a[11][j] - 0.16666391461943662432 * a[5][j];
      xr = 0.33832950029358816957 * a[3][j] + 0.10263113188058934529 * a[13][j];
      xi = 0.33832950029358816957 * a[13][j] - 0.10263113188058934529 * a[3][j];
      x6r = x7r + xr;
      x6i = x7i - xi;
      x7r -= xr;
      x7i += xi;
      xr = x4r - x6r;
      xi = x4i - x6i;
      x4r += x6r;
      x4i += x6i;
      x6r = 0.70710678118654752440 * (xi + xr);
      x6i = 0.70710678118654752440 * (xi - xr);
      xr = x5r + x7i;
      xi = x5i - x7r;
      x5r -= x7i;
      x5i += x7r;
      x7r = 0.38268343236508977173 * x5r + 0.92387953251128675613 * x5i;
      x7i = 0.38268343236508977173 * x5i - 0.92387953251128675613 * x5r;
      x5r = 0.92387953251128675613 * xr + 0.38268343236508977173 * xi;
      x5i = 0.92387953251128675613 * xi - 0.38268343236508977173 * xr;
      xr = 0.32664074121909413196 * a[4][j] + 0.13529902503654924610 * a[12][j];
      xi = 0.32664074121909413196 * a[12][j] - 0.13529902503654924610 * a[4][j];
      x2r = 0.25 * (a[0][j] + a[8][j]);
      x3r = 0.25 * (a[0][j] - a[8][j]);
      x0r = x2r + xr;
      x1r = x3r + xi;
      x2r -= xr;
      x3r -= xi;
      x0i = 0.34675996133053686546 * a[2][j] + 0.06897484482073575308 * a[14][j];
      x2i = 0.34675996133053686546 * a[14][j] - 0.06897484482073575308 * a[2][j];
      x1i = 0.29396890060483967924 * a[6][j] + 0.19642373959677554532 * a[10][j];
      x3i = 0.29396890060483967924 * a[10][j] - 0.19642373959677554532 * a[6][j];
      xr = x0i - x1i;
      xi = x2i + x3i;
      x0i += x1i;
      x2i -= x3i;
      x1i = 0.70710678118654752440 * (xi + xr);
      x3i = 0.70710678118654752440 * (xi - xr);
      xr = x0r + x0i;
      xi = x0r - x0i;
      a[0][j] = xr + x4r;
      a[15][j] = xr - x4r;
      a[8][j] = xi + x4i;
      a[7][j] = xi - x4i;
      xr = x1r + x1i;
      xi = x1r - x1i;
      a[2][j] = xr + x5r;
      a[13][j] = xr - x5r;
      a[10][j] = xi + x5i;
      a[5][j] = xi - x5i;
      xr = x2r + x2i;
      xi = x2r - x2i;
      a[4][j] = xr + x6r;
      a[11][j] = xr - x6r;
      a[12][j] = xi + x6i;
      a[3][j] = xi - x6i;
      xr = x3r + x3i;
      xi = x3r - x3i;
      a[6][j] = xr + x7r;
      a[9][j] = xr - x7r;
      a[14][j] = xi + x7i;
      a[1][j] = xi - x7i;
    }
    for (j = 0; j <= 15; j++) {
      x5r = 0.35185093438159561476 * a[j][1] + 0.03465429229977286565 * a[j][15];
      x5i = 0.35185093438159561476 * a[j][15] - 0.03465429229977286565 * a[j][1];
      xr = 0.27330046675043937206 * a[j][7] + 0.22429189658565907106 * a[j][9];
      xi = 0.27330046675043937206 * a[j][9] - 0.22429189658565907106 * a[j][7];
      x4r = x5r + xr;
      x4i = x5i - xi;
      x5r -= xr;
      x5i += xi;
      x7r = 0.31180625324666780814 * a[j][5] + 0.16666391461943662432 * a[j][11];
      x7i = 0.31180625324666780814 * a[j][11] - 0.16666391461943662432 * a[j][5];
      xr = 0.33832950029358816957 * a[j][3] + 0.10263113188058934529 * a[j][13];
      xi = 0.33832950029358816957 * a[j][13] - 0.10263113188058934529 * a[j][3];
      x6r = x7r + xr;
      x6i = x7i - xi;
      x7r -= xr;
      x7i += xi;
      xr = x4r - x6r;
      xi = x4i - x6i;
      x4r += x6r;
      x4i += x6i;
      x6r = 0.70710678118654752440 * (xi + xr);
      x6i = 0.70710678118654752440 * (xi - xr);
      xr = x5r + x7i;
      xi = x5i - x7r;
      x5r -= x7i;
      x5i += x7r;
      x7r = 0.38268343236508977173 * x5r + 0.92387953251128675613 * x5i;
      x7i = 0.38268343236508977173 * x5i - 0.92387953251128675613 * x5r;
      x5r = 0.92387953251128675613 * xr + 0.38268343236508977173 * xi;
      x5i = 0.92387953251128675613 * xi - 0.38268343236508977173 * xr;
      xr = 0.32664074121909413196 * a[j][4] + 0.13529902503654924610 * a[j][12];
      xi = 0.32664074121909413196 * a[j][12] - 0.13529902503654924610 * a[j][4];
      x2r = 0.25 * (a[j][0] + a[j][8]);
      x3r = 0.25 * (a[j][0] - a[j][8]);
      x0r = x2r + xr;
      x1r = x3r + xi;
      x2r -= xr;
      x3r -= xi;
      x0i = 0.34675996133053686546 * a[j][2] + 0.06897484482073575308 * a[j][14];
      x2i = 0.34675996133053686546 * a[j][14] - 0.06897484482073575308 * a[j][2];
      x1i = 0.29396890060483967924 * a[j][6] + 0.19642373959677554532 * a[j][10];
      x3i = 0.29396890060483967924 * a[j][10] - 0.19642373959677554532 * a[j][6];
      xr = x0i - x1i;
      xi = x2i + x3i;
      x0i += x1i;
      x2i -= x3i;
      x1i = 0.70710678118654752440 * (xi + xr);
      x3i = 0.70710678118654752440 * (xi - xr);
      xr = x0r + x0i;
      xi = x0r - x0i;
      a[j][0] = xr + x4r;
      a[j][15] = xr - x4r;
      a[j][8] = xi + x4i;
      a[j][7] = xi - x4i;
      xr = x1r + x1i;
      xi = x1r - x1i;
      a[j][2] = xr + x5r;
      a[j][13] = xr - x5r;
      a[j][10] = xi + x5i;
      a[j][5] = xi - x5i;
      xr = x2r + x2i;
      xi = x2r - x2i;
      a[j][4] = xr + x6r;
      a[j][11] = xr - x6r;
      a[j][12] = xi + x6i;
      a[j][3] = xi - x6i;
      xr = x3r + x3i;
      xi = x3r - x3i;
      a[j][6] = xr + x7r;
      a[j][9] = xr - x7r;
      a[j][14] = xi + x7i;
      a[j][1] = xi - x7i;
    }
  }
}
```