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

```asm
<make_double_block>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xd0,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    %rsi,-0x90(%rbp)
  mov    %rdx,-0x98(%rbp)
  mov    %rcx,-0xa0(%rbp)
  mov    %r8,-0xa8(%rbp)
  mov    %r9,-0xb0(%rbp)
  mov    0x48(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x40(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x38(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x30(%rbp)
  mov    0x48(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x40(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x38(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x28(%rbp)
  mov    0x48(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x40(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x38(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x20(%rbp)
  mov    0x48(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x40(%rbp),%eax
  imul   0x28(%rbp),%eax
  imul   0x30(%rbp),%eax
  imul   0x38(%rbp),%eax
  cltq
  shl    $0x3,%eax
  mov    %eax,%edi
  call   <malloc@plt>
  mov    %rax,-0x18(%rbp)
  movl   $0x0,-0x48(%rbp)
  jmp    L271
L426:
  movl   $0x0,-0x7c(%rbp)
  jmp    L13
L640:
  movl   $0x0,-0x78(%rbp)
  jmp    L6
L141:
  movl   $0x0,-0x6c(%rbp)
  jmp    L636
L652:
  movl   $0x0,-0x68(%rbp)
  jmp    L561
L501:
  movl   $0x0,-0x50(%rbp)
  jmp    L199
L36:
  movl   $0x0,-0x3c(%rbp)
  jmp    L0
L19:
  movl   $0x0,-0x74(%rbp)
  jmp    L307
L602:
  movl   $0x0,-0x70(%rbp)
  jmp    L247
L286:
  movl   $0x0,-0x4c(%rbp)
  jmp    L424
L630:
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  mov    0x60(%rbp),%edi
  push   %rdi
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x3c(%rbp),%edi
  push   %rdi
  mov    -0x4c(%rbp),%edi
  push   %rdi
  mov    -0x70(%rbp),%edi
  push   %rdi
  mov    -0x74(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Bdouble_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  mov    0x60(%rbp),%edi
  push   %rdi
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x3c(%rbp),%edi
  push   %rdi
  mov    -0x4c(%rbp),%edi
  push   %rdi
  mov    -0x70(%rbp),%edi
  push   %rdi
  mov    -0x74(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Bdouble_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x4c(%rbp)
L424:
  mov    -0x4c(%rbp),%eax
  cmp    0x40(%rbp),%eax
  jl     L630
  addl   $0x1,-0x70(%rbp)
L247:
  mov    -0x70(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L286
  addl   $0x1,-0x74(%rbp)
L307:
  mov    -0x74(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L602
  addl   $0x1,-0x3c(%rbp)
L0:
  mov    -0x3c(%rbp),%eax
  cmp    0x60(%rbp),%eax
  jl     L19
  movl   $0x0,-0x5c(%rbp)
  jmp    L293
L569:
  movl   $0x0,-0x58(%rbp)
  jmp    L119
L315:
  movl   $0x0,-0x44(%rbp)
  jmp    L363
L435:
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x58(%rbp),%edi
  push   %rdi
  mov    -0x5c(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x58(%rbp),%edi
  push   %rdi
  mov    -0x5c(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x58(%rbp),%edi
  push   %rdi
  mov    -0x5c(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x58(%rbp),%edi
  push   %rdi
  mov    -0x5c(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x44(%rbp)
L363:
  mov    -0x44(%rbp),%eax
  cmp    0x38(%rbp),%eax
  jl     L435
  addl   $0x1,-0x58(%rbp)
L119:
  mov    -0x58(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L315
  addl   $0x1,-0x5c(%rbp)
L293:
  mov    -0x5c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L569
  addl   $0x1,-0x50(%rbp)
L199:
  mov    -0x50(%rbp),%eax
  cmp    0x40(%rbp),%eax
  jl     L36
  addl   $0x1,-0x68(%rbp)
L561:
  mov    -0x68(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L501
  addl   $0x1,-0x6c(%rbp)
L636:
  mov    -0x6c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L652
  addl   $0x1,-0x78(%rbp)
L6:
  mov    -0x78(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L141
  addl   $0x1,-0x7c(%rbp)
L13:
  mov    -0x7c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L640
  addl   $0x1,-0x48(%rbp)
L271:
  mov    -0x48(%rbp),%eax
  cmp    0x48(%rbp),%eax
  jl     L426
  movl   $0x0,-0x40(%rbp)
  jmp    L112
L496:
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x0,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x64(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x0,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x60(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x5c(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x1,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x58(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xa8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x38(%rbp)
  mov    0x58(%rbp),%edx
  mov    -0x40(%rbp),%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x34(%rbp)
  movl   $0x0,-0x48(%rbp)
  jmp    L524
L495:
  movl   $0x0,-0x74(%rbp)
  jmp    L311
L399:
  movl   $0x0,-0x70(%rbp)
  jmp    L214
L257:
  movl   $0x0,-0x6c(%rbp)
  jmp    L184
L256:
  movl   $0x0,-0x68(%rbp)
  jmp    L236
L460:
  movl   $0x0,-0x44(%rbp)
  jmp    L208
L525:
  movl   $0x0,-0x54(%rbp)
  jmp    L457
L447:
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm5
  movsd  %xmm5,-0xb8(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm6
  movsd  %xmm6,-0xc0(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0xc8(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0xc8(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0xc0(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x54(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x30(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm7
  movsd  %xmm7,-0xb8(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  %xmm2,-0xc0(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0xc8(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x34(%rbp),%ecx
  mov    -0x38(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  addsd  -0xc0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x54(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x28(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm5
  movsd  %xmm5,-0xb8(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm6
  movsd  %xmm6,-0xc0(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm7
  movsd  %xmm7,-0xc8(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0xc8(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0xc0(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x54(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x34(%rbp),%edi
  push   %rdi
  mov    -0x38(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x20(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x40(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm7
  movsd  %xmm7,-0xb8(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  %xmm2,-0xc0(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0xc8(%rbp)
  mov    -0x70(%rbp),%r8d
  mov    -0x74(%rbp),%edi
  mov    -0x58(%rbp),%ecx
  mov    -0x5c(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x54(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x1,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  addsd  -0xc0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x54(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x34(%rbp),%edi
  push   %rdi
  mov    -0x38(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x18(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x54(%rbp)
L457:
  mov    -0x54(%rbp),%eax
  cmp    0x40(%rbp),%eax
  jl     L447
  addl   $0x1,-0x44(%rbp)
L208:
  mov    -0x44(%rbp),%eax
  cmp    0x38(%rbp),%eax
  jl     L525
  addl   $0x1,-0x68(%rbp)
L236:
  mov    -0x68(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L460
  addl   $0x1,-0x6c(%rbp)
L184:
  mov    -0x6c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L256
  addl   $0x1,-0x70(%rbp)
L214:
  mov    -0x70(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L257
  addl   $0x1,-0x74(%rbp)
L311:
  mov    -0x74(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L399
  addl   $0x1,-0x48(%rbp)
L524:
  mov    -0x48(%rbp),%eax
  cmp    0x48(%rbp),%eax
  jl     L495
  addl   $0x1,-0x40(%rbp)
L112:
  mov    -0x40(%rbp),%eax
  cmp    0x50(%rbp),%eax
  jl     L496
  movl   $0x0,-0x48(%rbp)
  jmp    L446
L550:
  movl   $0x0,-0x74(%rbp)
  jmp    L583
L16:
  movl   $0x0,-0x70(%rbp)
  jmp    L670
L448:
  movl   $0x0,-0x6c(%rbp)
  jmp    L549
L316:
  movl   $0x0,-0x68(%rbp)
  jmp    L270
L123:
  movl   $0x0,-0x50(%rbp)
  jmp    L657
L418:
  movl   $0x0,-0x64(%rbp)
  jmp    L117
L565:
  movl   $0x0,-0x60(%rbp)
  jmp    L420
L308:
  movl   $0x0,-0x7c(%rbp)
  jmp    L139
L345:
  movl   $0x0,-0x78(%rbp)
  jmp    L453
L156:
  movl   $0x0,-0x44(%rbp)
  jmp    L481
L144:
  movl   $0x0,-0x4c(%rbp)
  jmp    L471
L352:
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm4
  movsd  %xmm4,-0xb8(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm6
  movsd  %xmm6,-0xc0(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  -0xb8(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm5
  movsd  %xmm5,-0xb8(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm6
  movsd  %xmm6,-0xc0(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x0,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm7
  movsd  %xmm7,-0xb8(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  %xmm2,-0xc0(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  -0xb8(%rbp),%xmm1
  subsd  %xmm0,%xmm1
  movsd  -0x10(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm4
  movsd  %xmm4,-0xb8(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x70(%rbp),%edx
  mov    -0x74(%rbp),%esi
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x38(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x44(%rbp),%edi
  push   %rdi
  mov    -0x60(%rbp),%edi
  push   %rdi
  mov    -0x64(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Q_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  movsd  %xmm3,-0xc0(%rbp)
  mov    -0x78(%rbp),%r8d
  mov    -0x7c(%rbp),%edi
  mov    -0x60(%rbp),%ecx
  mov    -0x64(%rbp),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x48(%rbp),%esi
  push   %rsi
  mov    0x40(%rbp),%esi
  push   %rsi
  mov    0x38(%rbp),%esi
  push   %rsi
  mov    0x30(%rbp),%esi
  push   %rsi
  mov    0x28(%rbp),%esi
  push   %rsi
  mov    -0x4c(%rbp),%esi
  push   %rsi
  mov    -0x44(%rbp),%esi
  push   %rsi
  mov    %r8d,%r9d
  mov    %edi,%r8d
  mov    %eax,%esi
  mov    $0x2,%edi
  call   <prop_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rdx
  mov    -0x98(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  -0xb8(%rbp),%xmm1
  addsd  %xmm0,%xmm1
  movsd  -0x8(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x0,-0x3c(%rbp)
  jmp    L77
L383:
  mov    0x60(%rbp),%edx
  mov    -0x3c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,8),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    0x60(%rbp),%edx
  mov    -0x3c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  -0xb8(%rbp),%xmm2
  subsd  %xmm0,%xmm2
  movsd  %xmm2,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  mov    0x60(%rbp),%edi
  push   %rdi
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x3c(%rbp),%edi
  push   %rdi
  mov    -0x4c(%rbp),%edi
  push   %rdi
  mov    -0x70(%rbp),%edi
  push   %rdi
  mov    -0x74(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Bdouble_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x88(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    0x60(%rbp),%edx
  mov    -0x3c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,8),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    0x60(%rbp),%edx
  mov    -0x3c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  mov    %ecx,%esi
  mov    %eax,%edi
  call   <index_2d@plt>
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm4
  addsd  -0xb8(%rbp),%xmm4
  movsd  %xmm4,-0xb8(%rbp)
  mov    -0x50(%rbp),%r9d
  mov    -0x68(%rbp),%r8d
  mov    -0x6c(%rbp),%ecx
  mov    -0x78(%rbp),%edx
  mov    -0x7c(%rbp),%esi
  mov    -0x48(%rbp),%eax
  mov    0x60(%rbp),%edi
  push   %rdi
  mov    0x40(%rbp),%edi
  push   %rdi
  mov    0x30(%rbp),%edi
  push   %rdi
  mov    0x28(%rbp),%edi
  push   %rdi
  mov    -0x3c(%rbp),%edi
  push   %rdi
  mov    -0x4c(%rbp),%edi
  push   %rdi
  mov    -0x70(%rbp),%edi
  push   %rdi
  mov    -0x74(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <Bdouble_index@plt>
  add    $0x40,%rsp
  lea    0x0(,%rax,8),%rcx
  mov    -0x90(%rbp),%rdx
  add    %rcx,%rdx
  movsd  (%rdx),%xmm0
  lea    0x0(,%rax,8),%rdx
  mov    -0x90(%rbp),%rax
  add    %rdx,%rax
  addsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x3c(%rbp)
L77:
  mov    -0x3c(%rbp),%eax
  cmp    0x60(%rbp),%eax
  jl     L383
  addl   $0x1,-0x4c(%rbp)
L471:
  mov    -0x4c(%rbp),%eax
  cmp    0x40(%rbp),%eax
  jl     L352
  addl   $0x1,-0x44(%rbp)
L481:
  mov    -0x44(%rbp),%eax
  cmp    0x38(%rbp),%eax
  jl     L144
  addl   $0x1,-0x78(%rbp)
L453:
  mov    -0x78(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L156
  addl   $0x1,-0x7c(%rbp)
L139:
  mov    -0x7c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L345
  addl   $0x1,-0x60(%rbp)
L420:
  mov    -0x60(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L308
  addl   $0x1,-0x64(%rbp)
L117:
  mov    -0x64(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L565
  addl   $0x1,-0x50(%rbp)
L657:
  mov    -0x50(%rbp),%eax
  cmp    0x40(%rbp),%eax
  jl     L418
  addl   $0x1,-0x68(%rbp)
L270:
  mov    -0x68(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L123
  addl   $0x1,-0x6c(%rbp)
L549:
  mov    -0x6c(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L316
  addl   $0x1,-0x70(%rbp)
L670:
  mov    -0x70(%rbp),%eax
  cmp    0x30(%rbp),%eax
  jl     L448
  addl   $0x1,-0x74(%rbp)
L583:
  mov    -0x74(%rbp),%eax
  cmp    0x28(%rbp),%eax
  jl     L16
  addl   $0x1,-0x48(%rbp)
L446:
  mov    -0x48(%rbp),%eax
  cmp    0x48(%rbp),%eax
  jl     L550
  mov    -0x30(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x28(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x18(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  nop
  leave
  ret
```

assistant: ```c
void make_double_block(double *Bdouble_re, double *Bdouble_im, const double *prop_re, const double *prop_im, const int *color_weights, const int *spin_weights, const double *weights, const double *psi_re, const double *psi_im, const int Nc, const int Ns, const int Vsrc, const int Vsnk, const int Nt, const int Nw, const int Nq, const int Nsrc) {
  int iCprime, iSprime, jCprime, jSprime, kCprime, kSprime, iC, iS, jC, jS, kC, kS, x, x1, x2, t, y, wnum, n;
  double prop_prod_re;
  double prop_prod_im;
  double *Q12_re = malloc(Nt * Nc * Ns * Nc * Ns * Vsnk * Nc * Ns * Vsrc * sizeof(double));
  double *Q12_im = malloc(Nt * Nc * Ns * Nc * Ns * Vsnk * Nc * Ns * Vsrc * sizeof(double));
  double *Q01_re = malloc(Nt * Nc * Ns * Nc * Ns * Vsnk * Nc * Ns * Vsrc * sizeof(double));
  double *Q01_im = malloc(Nt * Nc * Ns * Nc * Ns * Vsnk * Nc * Ns * Vsrc * sizeof(double));
  for (t = 0; t < Nt; t++) {
    for (iCprime = 0; iCprime < Nc; iCprime++) {
      for (iSprime = 0; iSprime < Ns; iSprime++) {
        for (kCprime = 0; kCprime < Nc; kCprime++) {
          for (kSprime = 0; kSprime < Ns; kSprime++) {
            for (x1 = 0; x1 < Vsnk; x1++) {
              for (n = 0; n < Nsrc; n++) {
                for (jCprime = 0; jCprime < Nc; jCprime++) {
                  for (jSprime = 0; jSprime < Ns; jSprime++) {
                    for (x2 = 0; x2 < Vsnk; x2++) {
                      Bdouble_re[Bdouble_index(t, iCprime, iSprime, kCprime, kSprime, x1, jCprime, jSprime, x2, n, Nc, Ns, Vsnk, Nsrc)] = 0.0;
                      Bdouble_im[Bdouble_index(t, iCprime, iSprime, kCprime, kSprime, x1, jCprime, jSprime, x2, n, Nc, Ns, Vsnk, Nsrc)] = 0.0;
                    }
                  }
                }
              }
              for (jC = 0; jC < Nc; jC++) {
                for (jS = 0; jS < Ns; jS++) {
                  for (y = 0; y < Vsrc; y++) {
                    Q12_re[Q_index(t, iCprime, iSprime, kCprime, kSprime, x1, jC, jS, y, Nc, Ns, Vsrc, Vsnk)] = 0.0;
                    Q12_im[Q_index(t, iCprime, iSprime, kCprime, kSprime, x1, jC, jS, y, Nc, Ns, Vsrc, Vsnk)] = 0.0;
                    Q01_re[Q_index(t, iCprime, iSprime, kCprime, kSprime, x1, jC, jS, y, Nc, Ns, Vsrc, Vsnk)] = 0.0;
                    Q01_im[Q_index(t, iCprime, iSprime, kCprime, kSprime, x1, jC, jS, y, Nc, Ns, Vsrc, Vsnk)] = 0.0;
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  for (wnum = 0; wnum < Nw; wnum++) {
    iC = color_weights[index_2d(wnum, 0, Nq)];
    iS = spin_weights[index_2d(wnum, 0, Nq)];
    jC = color_weights[index_2d(wnum, 1, Nq)];
    jS = spin_weights[index_2d(wnum, 1, Nq)];
    kC = color_weights[index_2d(wnum, 2, Nq)];
    kS = spin_weights[index_2d(wnum, 2, Nq)];
    for (t = 0; t < Nt; t++) {
      for (jCprime = 0; jCprime < Nc; jCprime++) {
        for (jSprime = 0; jSprime < Ns; jSprime++) {
          for (kCprime = 0; kCprime < Nc; kCprime++) {
            for (kSprime = 0; kSprime < Ns; kSprime++) {
              for (y = 0; y < Vsrc; y++) {
                for (x = 0; x < Vsnk; x++) {
                  Q12_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] += weights[wnum] * (prop_re[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_re[prop_index(2, t, kC, kS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - prop_im[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_im[prop_index(2, t, kC, kS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]);
                  Q12_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] += weights[wnum] * (prop_re[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_im[prop_index(2, t, kC, kS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + prop_im[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_re[prop_index(2, t, kC, kS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]);
                  Q01_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x, kC, kS, y, Nc, Ns, Vsrc, Vsnk)] += weights[wnum] * (prop_re[prop_index(0, t, iC, iS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_re[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - prop_im[prop_index(0, t, iC, iS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_im[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]);
                  Q01_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x, kC, kS, y, Nc, Ns, Vsrc, Vsnk)] += weights[wnum] * (prop_re[prop_index(0, t, iC, iS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_im[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + prop_im[prop_index(0, t, iC, iS, kCprime, kSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * prop_re[prop_index(1, t, jC, jS, jCprime, jSprime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]);
                }
              }
            }
          }
        }
      }
    }
  }
  for (t = 0; t < Nt; t++) {
    for (jCprime = 0; jCprime < Nc; jCprime++) {
      for (jSprime = 0; jSprime < Ns; jSprime++) {
        for (kCprime = 0; kCprime < Nc; kCprime++) {
          for (kSprime = 0; kSprime < Ns; kSprime++) {
            for (x1 = 0; x1 < Vsnk; x1++) {
              for (iC = 0; iC < Nc; iC++) {
                for (iS = 0; iS < Ns; iS++) {
                  for (iCprime = 0; iCprime < Nc; iCprime++) {
                    for (iSprime = 0; iSprime < Ns; iSprime++) {
                      for (y = 0; y < Vsrc; y++) {
                        for (x2 = 0; x2 < Vsnk; x2++) {
                          prop_prod_re = Q12_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_re[prop_index(0, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)] - Q12_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_im[prop_index(0, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)];
                          prop_prod_im = Q12_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_im[prop_index(0, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)] + Q12_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_re[prop_index(0, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)];
                          prop_prod_re -= Q01_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_re[prop_index(2, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)] - Q01_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_im[prop_index(2, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)];
                          prop_prod_im -= Q01_re[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_im[prop_index(2, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)] + Q01_im[Q_index(t, jCprime, jSprime, kCprime, kSprime, x1, iC, iS, y, Nc, Ns, Vsrc, Vsnk)] * prop_re[prop_index(2, t, iC, iS, iCprime, iSprime, y, x2, Nc, Ns, Vsrc, Vsnk, Nt)];
                          for (n = 0; n < Nsrc; n++) {
                            Bdouble_re[Bdouble_index(t, iCprime, iSprime, kCprime, kSprime, x1, jCprime, jSprime, x2, n, Nc, Ns, Vsnk, Nsrc)] += psi_re[index_2d(y, n, Nsrc)] * prop_prod_re - psi_im[index_2d(y, n, Nsrc)] * prop_prod_im;
                            Bdouble_im[Bdouble_index(t, iCprime, iSprime, kCprime, kSprime, x1, jCprime, jSprime, x2, n, Nc, Ns, Vsnk, Nsrc)] += psi_re[index_2d(y, n, Nsrc)] * prop_prod_im + psi_im[index_2d(y, n, Nsrc)] * prop_prod_re;
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  free(Q12_re);
  free(Q12_im);
  free(Q01_re);
  free(Q01_im);
}
```