user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<Inverse_SO3_Naive_sym>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xc0,%rsp
  mov    %edi,-0x94(%rbp)
  mov    %rsi,-0xa0(%rbp)
  mov    %rdx,-0xa8(%rbp)
  mov    %rcx,-0xb0(%rbp)
  mov    %r8,-0xb8(%rbp)
  mov    %r9,-0xc0(%rbp)
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  mov    %eax,-0x78(%rbp)
  mov    -0xc0(%rbp),%rax
  mov    %rax,-0x58(%rbp)
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  imul   -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x50(%rbp)
  mov    0x10(%rbp),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x94(%rbp),%eax
  imul   -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x48(%rbp),%rdx
  mov    -0x78(%rbp),%eax
  mov    %rdx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <SinEvalPts@plt>
  mov    -0x40(%rbp),%rdx
  mov    -0x78(%rbp),%eax
  mov    %rdx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <CosEvalPts@plt>
  mov    -0x38(%rbp),%rdx
  mov    -0x78(%rbp),%eax
  mov    %rdx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <SinEvalPts2@plt>
  mov    -0x30(%rbp),%rdx
  mov    -0x78(%rbp),%eax
  mov    %rdx,%rsi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <CosEvalPts2@plt>
  mov    -0x38(%rbp),%rsi
  mov    -0x40(%rbp),%rcx
  mov    -0x48(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  push   -0x28(%rbp)
  push   -0x30(%rbp)
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%rsi
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%rsi
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  movl   $0x1,-0x80(%rbp)
  jmp    L364
L11:
  mov    -0x38(%rbp),%r8
  mov    -0x40(%rbp),%rdi
  mov    -0x48(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  push   -0x28(%rbp)
  push   -0x30(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L237
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  jmp    L67
L237:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L308
L353:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L308:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L353
L67:
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L115
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  jmp    L242
L115:
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L3
L323:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L3:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L323
L242:
  addl   $0x1,-0x80(%rbp)
L364:
  mov    -0x80(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L11
  movl   $0x1,-0x80(%rbp)
  jmp    L321
L141:
  mov    -0x38(%rbp),%rdi
  mov    -0x40(%rbp),%rsi
  mov    -0x48(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  push   -0x28(%rbp)
  push   -0x30(%rbp)
  mov    %rdi,%r9
  mov    %rsi,%r8
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%rdi
  mov    -0x28(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rsi,%r8
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%rdi
  mov    -0x28(%rbp),%rsi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rsi,%r8
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L241
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%rsi
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%rsi
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rsi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  jmp    L221
L241:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    $0x0,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    $0x0,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L28
L4:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L28:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L4
L221:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%rdi
  mov    -0x28(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%rdi
  mov    -0x28(%rbp),%rsi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L430
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x68(%rbp),%rdi
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x60(%rbp),%rdi
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %rdi,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  jmp    L199
L430:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L452
L184:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L452:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L184
L199:
  addl   $0x1,-0x80(%rbp)
L321:
  mov    -0x80(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L141
  movl   $0x1,-0x80(%rbp)
  jmp    L394
L367:
  mov    -0x80(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x7c(%rbp)
  jmp    L203
L95:
  mov    -0x38(%rbp),%r8
  mov    -0x40(%rbp),%rdi
  mov    -0x48(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  push   -0x28(%rbp)
  push   -0x30(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L158
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  jmp    L433
L158:
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%ecx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L22
L417:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L22:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L417
L433:
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L218
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  jmp    L139
L218:
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L47
L174:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L47:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L174
L139:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%esi
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%esi
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L317
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x94(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rcx,%r8
  mov    %rdx,%rcx
  mov    %eax,%edx
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  jmp    L101
L317:
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%ecx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%eax
  mov    %eax,%edx
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L151
L368:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L151:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L368
L101:
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%esi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rdi,%r8
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x18(%rbp)
  jne    L161
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  mov    %eax,-0x70(%rbp)
  mov    -0xa0(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0xa8(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  mov    %rax,-0x68(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x74(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x18(%rbp)
  mov    -0x70(%rbp),%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x10(%rbp)
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x68(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%edi
  mov    -0x60(%rbp),%r8
  mov    -0x28(%rbp),%rsi
  mov    -0x10(%rbp),%rcx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8,%r9
  mov    %rsi,%r8
  mov    %eax,%esi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  jmp    L413
L161:
  mov    -0x80(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x7c(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x74(%rbp)
  mov    -0x7c(%rbp),%eax
  neg    %eax
  mov    %eax,%ecx
  mov    -0x94(%rbp),%edx
  mov    -0x80(%rbp),%eax
  mov    %eax,%esi
  mov    %ecx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,-0x6c(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L428
L191:
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rax,%rdx
  mov    -0x6c(%rbp),%ecx
  mov    -0x84(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0xb0(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x74(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x6c(%rbp),%edx
  mov    -0x84(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movq   D28(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L428:
  mov    -0x94(%rbp),%eax
  add    %eax,%eax
  cmp    %eax,-0x84(%rbp)
  jl     L191
L413:
  addl   $0x1,-0x7c(%rbp)
L203:
  mov    -0x7c(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L95
  addl   $0x1,-0x80(%rbp)
L394:
  mov    -0x80(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L367
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x60(%rbp)
  movl   $0x0,-0x80(%rbp)
  jmp    L331
L96:
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  addl   $0x1,-0x80(%rbp)
L331:
  mov    -0x80(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L96
  mov    -0x94(%rbp),%eax
  imul   -0x78(%rbp),%eax
  imul   -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x68(%rbp)
  mov    -0x94(%rbp),%eax
  imul   -0x78(%rbp),%eax
  imul   -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x60(%rbp)
  mov    -0x78(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x78(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x78(%rbp),%eax
  cltq
  imul   %rdx,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%edx
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%edx
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  movl   $0x1,-0x80(%rbp)
  jmp    L55
L342:
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x68(%rbp)
  mov    -0x78(%rbp),%eax
  imul   -0x94(%rbp),%eax
  add    %eax,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,-0x60(%rbp)
  addl   $0x1,-0x80(%rbp)
L55:
  mov    -0x80(%rbp),%eax
  cmp    -0x94(%rbp),%eax
  jl     L342
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x58(%rbp),%rsi
  mov    -0xb0(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x50(%rbp),%rsi
  mov    -0xb8(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%edi
  mov    -0x78(%rbp),%r8d
  mov    -0xb8(%rbp),%rcx
  mov    -0xb0(%rbp),%rdx
  mov    -0x50(%rbp),%rsi
  mov    -0x58(%rbp),%rax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <grid_fourier_so3@plt>
  add    $0x10,%rsp
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x58(%rbp),%rsi
  mov    -0xb0(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x50(%rbp),%rsi
  mov    -0xb8(%rbp),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  mov    %eax,%edi
  mov    -0x78(%rbp),%r8d
  mov    -0xb8(%rbp),%rcx
  mov    -0xb0(%rbp),%rdx
  mov    -0x50(%rbp),%rsi
  mov    -0x58(%rbp),%rax
  sub    $0x8,%rsp
  push   -0x20(%rbp)
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <grid_fourier_so3@plt>
  add    $0x10,%rsp
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x94(%rbp),%xmm0
  movsd  D80(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x0,-0x84(%rbp)
  jmp    L379
L335:
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x84(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x84(%rbp)
L379:
  mov    -0x78(%rbp),%eax
  imul   %eax,%eax
  imul   -0x78(%rbp),%eax
  cmp    %eax,-0x84(%rbp)
  jl     L335
  nop
  nop
  leave
  ret
```

tool_calls: name: parse_data
arguments: data_label: D28
data_type: byte[8]
name: parse_data
arguments: data_label: D80
data_type: f64

tool: {"D28": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

tool: D80: 3.141592653589793

assistant: ```c
void Inverse_SO3_Naive_sym(int bw, double *rcoeffs, double *icoeffs, double *rdata, double *idata, double *workspace1, double *workspace2, int flag) {
  int j, n;
  int m1, m2;
  int sampHere, sampHere2, coefHere;
  double *t1r, *t1i;
  double *sinPts, *cosPts, *sinPts2, *cosPts2;
  double *wignersTrans, *scratch;
  double *rdataPtr, *idataPtr;
  double *rcoeffsPtr, *icoeffsPtr;
  double dn;
  n = 2 * bw;
  t1r = workspace1;
  t1i = workspace1 + (n * n * n);
  sinPts = workspace2;
  cosPts = sinPts + n;
  sinPts2 = cosPts + n;
  cosPts2 = sinPts2 + n;
  wignersTrans = cosPts2 + n;
  scratch = wignersTrans + (bw * n);
  SinEvalPts(n, sinPts);
  CosEvalPts(n, cosPts);
  SinEvalPts2(n, sinPts2);
  CosEvalPts2(n, cosPts2);
  genWigTrans_L2(0, 0, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
  sampHere = sampLoc_so3(0, 0, bw);
  coefHere = coefLoc_so3(0, 0, bw);
  rcoeffsPtr = rcoeffs;
  icoeffsPtr = icoeffs;
  rdataPtr = rdata;
  idataPtr = idata;
  rdataPtr += sampHere;
  idataPtr += sampHere;
  rcoeffsPtr += coefHere;
  icoeffsPtr += coefHere;
  wigNaiveSynthesis(0, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
  wigNaiveSynthesis(0, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
  for (m1 = 1; m1 < bw; m1++) {
    genWigTrans_L2(m1, m1, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
    sampHere = sampLoc_so3(m1, m1, bw);
    coefHere = coefLoc_so3(m1, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis(m1, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis(m1, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(-m1, -m1, bw);
      coefHere = coefLoc_so3(-m1, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(-m1, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(-m1, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(m1, m1, bw);
      sampHere2 = sampLoc_so3(-m1, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
    sampHere = sampLoc_so3(-m1, m1, bw);
    coefHere = coefLoc_so3(-m1, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis_symY(-m1, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis_symY(-m1, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(m1, -m1, bw);
      coefHere = coefLoc_so3(m1, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(-m1, m1, bw);
      sampHere2 = sampLoc_so3(m1, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
  }
  for (m1 = 1; m1 < bw; m1++) {
    genWigTrans_L2(m1, 0, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
    sampHere = sampLoc_so3(m1, 0, bw);
    coefHere = coefLoc_so3(m1, 0, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis(m1, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis(m1, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(-m1, 0, bw);
      coefHere = coefLoc_so3(-m1, 0, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symX(-m1, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symX(-m1, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(m1, 0, bw);
      sampHere2 = sampLoc_so3(-m1, 0, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
    sampHere = sampLoc_so3(0, m1, bw);
    coefHere = coefLoc_so3(0, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis_symX(0, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis_symX(0, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(0, -m1, bw);
      coefHere = coefLoc_so3(0, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(0, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(0, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(0, m1, bw);
      sampHere2 = sampLoc_so3(0, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
  }
  for (m1 = 1; m1 < bw; m1++) {
    for (m2 = m1 + 1; m2 < bw; m2++) {
      genWigTrans_L2(m1, m2, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
      sampHere = sampLoc_so3(m1, m2, bw);
      coefHere = coefLoc_so3(m1, m2, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m1, -m2, bw);
        coefHere = coefLoc_so3(-m1, -m2, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symX(-m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symX(-m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m1, m2, bw);
        sampHere2 = sampLoc_so3(-m1, -m2, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m1, -m2, bw);
      coefHere = coefLoc_so3(m1, -m2, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m1, m2, bw);
        coefHere = coefLoc_so3(-m1, m2, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symY(-m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symY(-m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m1, -m2, bw);
        sampHere2 = sampLoc_so3(-m1, m2, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m2, m1, bw);
      coefHere = coefLoc_so3(m2, m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symX(m2, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symX(m2, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m2, -m1, bw);
        coefHere = coefLoc_so3(-m2, -m1, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis(-m2, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis(-m2, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m2, m1, bw);
        sampHere2 = sampLoc_so3(-m2, -m1, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m2, -m1, bw);
      coefHere = coefLoc_so3(m2, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m2, m1, bw);
        coefHere = coefLoc_so3(-m2, m1, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symY(-m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symY(-m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m2, -m1, bw);
        sampHere2 = sampLoc_so3(-m2, m1, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
    }
  }
  rdataPtr = rdata + (n) * (bw);
  idataPtr = idata + (n) * (bw);
  for (m1 = 0; m1 < bw; m1++) {
    memset(rdataPtr, 0, sizeof(double) * n);
    memset(idataPtr, 0, sizeof(double) * n);
    rdataPtr += (2 * n) * (bw);
    idataPtr += (2 * n) * (bw);
  }
  rdataPtr = rdata + bw * n * (n);
  idataPtr = idata + bw * n * (n);
  memset(rdataPtr, 0, sizeof(double) * n * n);
  memset(idataPtr, 0, sizeof(double) * n * n);
  rdataPtr += n * n + n * bw;
  idataPtr += n * n + n * bw;
  for (m1 = 1; m1 < bw; m1++) {
    memset(rdataPtr, 0, sizeof(double) * n);
    memset(idataPtr, 0, sizeof(double) * n);
    rdataPtr += (2 * n) * (bw);
    idataPtr += (2 * n) * (bw);
  }
  transpose_so3(rdata, t1r, n, n * n);
  transpose_so3(idata, t1i, n, n * n);
  grid_fourier_so3(t1r, t1i, rdata, idata, n * n, n, scratch);
  transpose_so3(rdata, t1r, n, n * n);
  transpose_so3(idata, t1i, n, n * n);
  grid_fourier_so3(t1r, t1i, rdata, idata, n * n, n, scratch);
  dn = (double)n;
  dn *= (((double)bw) / 3.14159265358979323846);
  for (j = 0; j < n * n * n; j++) {
    rdata[j] *= dn;
    idata[j] *= dn;
  }
}
```