user: Demonstrate the C code that generates the assembly output below:

```asm
<make_hex_correlator>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x228,%rsp
  mov    0x260(%rsp),%rax
  mov    %rdx,0x28(%rsp)
  mov    %rdi,0x48(%rsp)
  mov    %rax,0x158(%rsp)
  mov    0x268(%rsp),%rax
  mov    %rsi,0x50(%rsp)
  mov    %rax,0x138(%rsp)
  mov    0x270(%rsp),%rax
  mov    %rcx,0x30(%rsp)
  mov    %rax,0xa0(%rsp)
  mov    0x278(%rsp),%rax
  mov    %r8,0x38(%rsp)
  mov    %rax,0xa8(%rsp)
  mov    0x280(%rsp),%rax
  mov    %r9,0x40(%rsp)
  mov    %rax,0xe0(%rsp)
  mov    0x288(%rsp),%rax
  movsd  %xmm0,0x140(%rsp)
  mov    %rax,0xb0(%rsp)
  mov    0x290(%rsp),%rax
  mov    %rax,0xb8(%rsp)
  mov    0x298(%rsp),%rax
  mov    %rax,0xe8(%rsp)
  mov    0x2a0(%rsp),%rax
  mov    %rax,0x1a0(%rsp)
  mov    0x2a8(%rsp),%rax
  mov    0x300(%rsp),%ebx
  mov    0x2f8(%rsp),%r14d
  mov    %rax,0x1a8(%rsp)
  mov    0x2b0(%rsp),%rax
  imul   %ebx,%ebx
  mov    0x318(%rsp),%r15d
  mov    %rax,0x148(%rsp)
  mov    0x2b8(%rsp),%rax
  mov    %rax,0xf0(%rsp)
  mov    0x2c0(%rsp),%rax
  mov    %rax,0xf8(%rsp)
  mov    0x2c8(%rsp),%rax
  mov    %rax,0x10(%rsp)
  mov    0x2d0(%rsp),%rax
  mov    %rax,0x18(%rsp)
  movslq 0x320(%rsp),%rax
  mov    %fs:0x28,%rdx
  mov    %rdx,0x218(%rsp)
  xor    %edx,%edx
  mov    %ebx,0x154(%rsp)
  test   %eax,%eax
  jle    L174
  mov    %rax,0x198(%rsp)
  lea    0x200(%rsp),%rax
  mov    0x308(%rsp),%ebx
  mov    %rax,0x1c8(%rsp)
  lea    0x208(%rsp),%rax
  mov    %rax,0x1d0(%rsp)
  add    %ebx,%ebx
  lea    0x210(%rsp),%rax
  mov    %rax,0x1d8(%rsp)
  lea    0x1e8(%rsp),%rax
  mov    %rax,0x1b0(%rsp)
  lea    0x1f0(%rsp),%rax
  mov    %rax,0x1b8(%rsp)
  lea    0x1f8(%rsp),%rax
  mov    %ebx,0x150(%rsp)
  movq   $0x0,0x128(%rsp)
  mov    %rax,0x1c0(%rsp)
L158:
  mov    0x128(%rsp),%ebx
  xor    %r12d,%r12d
  mov    %r14d,0x2f8(%rsp)
  xor    %r13d,%r13d
  mov    0x308(%rsp),%ebp
  mov    %r15d,0x318(%rsp)
  mov    %r12,%r15
  mov    %ebx,%r12d
L169:
  mov    0x150(%rsp),%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  call   <index_2d@plt>
  mov    0x158(%rsp),%rbx
  lea    0x1(%r13),%esi
  mov    %r12d,%edi
  mov    0x150(%rsp),%edx
  mov    (%rbx,%rax,4),%r14d
  call   <index_2d@plt>
  mov    0x150(%rsp),%edx
  mov    %r12d,%edi
  lea    0x2(%r13),%esi
  mov    %rbx,0x158(%rsp)
  mov    (%rbx,%rax,4),%ebx
  sub    $0x1,%r14d
  add    %ebp,%r13d
  call   <index_2d@plt>
  mov    0x158(%rsp),%rcx
  sub    $0x1,%ebx
  mov    (%rcx,%rax,4),%ecx
  mov    %r14d,%eax
  cltd
  idiv   %ebp
  mov    %r14d,%eax
  sub    $0x1,%ecx
  sub    %edx,%eax
  mov    %edx,%esi
  cltd
  idiv   %ebp
  mov    0x1c8(%rsp),%rdx
  mov    %eax,(%rdx,%r15,1)
  mov    %ebx,%eax
  cltd
  idiv   %ebp
  mov    %ebx,%eax
  mov    0x1d0(%rsp),%rbx
  sub    %edx,%eax
  mov    %edx,%r11d
  cltd
  idiv   %ebp
  mov    %eax,(%rbx,%r15,1)
  mov    %ecx,%eax
  cltd
  idiv   %ebp
  mov    %ecx,%eax
  mov    0x1d8(%rsp),%rcx
  sub    %edx,%eax
  mov    %edx,%ebx
  cltd
  idiv   %ebp
  mov    %eax,(%rcx,%r15,1)
  mov    0x1b0(%rsp),%rax
  mov    %esi,(%rax,%r15,1)
  mov    0x1b8(%rsp),%rax
  mov    %r11d,(%rax,%r15,1)
  mov    0x1c0(%rsp),%rax
  mov    %ebx,(%rax,%r15,1)
  add    $0x4,%r15
  cmp    $0x8,%r15
  jne    L169
  mov    0x154(%rsp),%edi
  mov    0x2f8(%rsp),%r14d
  mov    0x318(%rsp),%r15d
  test   %edi,%edi
  je     L124
  mov    0x1e8(%rsp),%eax
  movq   $0x0,0x130(%rsp)
  mov    %eax,0x180(%rsp)
  mov    0x200(%rsp),%eax
  mov    %eax,0x194(%rsp)
  mov    0x1f0(%rsp),%eax
  mov    %eax,0x16c(%rsp)
  mov    0x208(%rsp),%eax
  mov    %eax,0x174(%rsp)
  mov    0x1f8(%rsp),%eax
  mov    %eax,0x168(%rsp)
  mov    0x210(%rsp),%eax
  mov    %eax,0x160(%rsp)
  mov    0x1ec(%rsp),%eax
  mov    %eax,0x17c(%rsp)
  mov    0x204(%rsp),%eax
  mov    %eax,0x184(%rsp)
  mov    0x1f4(%rsp),%eax
  mov    %eax,0x190(%rsp)
  mov    0x20c(%rsp),%eax
  mov    %eax,0x170(%rsp)
  mov    0x1fc(%rsp),%eax
  mov    %eax,0x178(%rsp)
  mov    0x214(%rsp),%eax
  mov    %eax,0x164(%rsp)
  movslq 0x154(%rsp),%rax
  mov    %rax,0x188(%rsp)
L136:
  mov    0x154(%rsp),%ebx
  mov    0x194(%rsp),%r13d
  mov    0x130(%rsp),%eax
  mov    0x308(%rsp),%r8d
  mov    0x180(%rsp),%edx
  mov    %r13d,%edi
  mov    %ebx,%ecx
  mov    %eax,%esi
  mov    %eax,%ebp
  call   <index_3d@plt>
  mov    0x180(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x1a0(%rsp),%r12
  mov    0x308(%rsp),%r8d
  mov    %r13d,%edi
  mov    (%r12,%rax,4),%eax
  mov    %eax,0x5c(%rsp)
  call   <index_3d@plt>
  mov    0x16c(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x1a8(%rsp),%r13
  mov    0x308(%rsp),%r8d
  mov    0x174(%rsp),%edi
  mov    0x0(%r13,%rax,4),%eax
  mov    %eax,0x60(%rsp)
  call   <index_3d@plt>
  mov    0x16c(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    (%r12,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x174(%rsp),%edi
  mov    %eax,0x90(%rsp)
  call   <index_3d@plt>
  mov    0x168(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x0(%r13,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x160(%rsp),%edi
  mov    %eax,0x94(%rsp)
  call   <index_3d@plt>
  mov    0x168(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    (%r12,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x160(%rsp),%edi
  mov    %eax,0x64(%rsp)
  call   <index_3d@plt>
  mov    0x17c(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x0(%r13,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x184(%rsp),%edi
  mov    %eax,0x68(%rsp)
  call   <index_3d@plt>
  mov    0x17c(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    (%r12,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x184(%rsp),%edi
  mov    %eax,0x6c(%rsp)
  call   <index_3d@plt>
  mov    0x190(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x0(%r13,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x170(%rsp),%edi
  mov    %eax,0x70(%rsp)
  call   <index_3d@plt>
  mov    0x190(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    (%r12,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x170(%rsp),%edi
  mov    %eax,0x98(%rsp)
  call   <index_3d@plt>
  mov    0x178(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    0x0(%r13,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  mov    0x164(%rsp),%edi
  mov    %eax,0x9c(%rsp)
  call   <index_3d@plt>
  mov    0x178(%rsp),%edx
  mov    %ebp,%esi
  mov    %ebx,%ecx
  mov    (%r12,%rax,4),%eax
  mov    0x308(%rsp),%r8d
  xor    %ebp,%ebp
  mov    0x164(%rsp),%edi
  mov    %eax,0x74(%rsp)
  call   <index_3d@plt>
  mov    0x0(%r13,%rax,4),%eax
  mov    %eax,0x88(%rsp)
  test   %r14d,%r14d
  jle    L33
  mov    %r15d,0x318(%rsp)
  mov    %r14d,%r12d
  mov    %ebp,%r15d
L182:
  movslq 0x300(%rsp),%rax
  movl   $0x0,0x58(%rsp)
  mov    %r15d,%ebp
  mov    %r12d,%r14d
  mov    %rax,0x100(%rsp)
  mov    0x2e8(%rsp),%eax
  test   %eax,%eax
  jle    L18
L89:
  mov    0x2f0(%rsp),%edx
  xor    %ebx,%ebx
  test   %edx,%edx
  jle    L20
  mov    %r14d,%r12d
  mov    %ebx,%r14d
  nopl   0x0(%rax,%rax,1)
L110:
  mov    0x300(%rsp),%ecx
  pxor   %xmm2,%xmm2
  movq   $0x0,0x78(%rsp)
  movq   $0x0,0xd0(%rsp)
  movapd %xmm2,%xmm0
  movq   $0x0,0xc8(%rsp)
  test   %ecx,%ecx
  jle    L79
  mov    0x2e8(%rsp),%ebx
  mov    0x2f0(%rsp),%r13d
  nopw   0x0(%rax,%rax,1)
L82:
  mov    0x78(%rsp),%r15d
  mov    0x308(%rsp),%edx
  xor    %esi,%esi
  mov    %r15d,%edi
  call   <index_2d@plt>
  mov    0xa0(%rsp),%rcx
  xor    %esi,%esi
  mov    %r15d,%edi
  mov    0x308(%rsp),%edx
  mov    (%rcx,%rax,4),%eax
  mov    %eax,(%rsp)
  call   <index_2d@plt>
  mov    0xa8(%rsp),%rsi
  mov    0x308(%rsp),%edx
  mov    %r15d,%edi
  mov    (%rsi,%rax,4),%ecx
  mov    $0x1,%esi
  mov    %ecx,0x8(%rsp)
  call   <index_2d@plt>
  mov    0xa0(%rsp),%rdx
  mov    %r15d,%edi
  mov    $0x1,%esi
  mov    (%rdx,%rax,4),%edx
  mov    %edx,0x80(%rsp)
  mov    0x308(%rsp),%edx
  call   <index_2d@plt>
  mov    0xa8(%rsp),%rsi
  mov    0x308(%rsp),%edx
  mov    %r15d,%edi
  mov    (%rsi,%rax,4),%esi
  mov    %esi,0x8c(%rsp)
  mov    $0x2,%esi
  call   <index_2d@plt>
  mov    0xa0(%rsp),%r11
  mov    %r15d,%edi
  mov    $0x2,%esi
  mov    (%r11,%rax,4),%edx
  mov    %edx,0x20(%rsp)
  mov    0x308(%rsp),%edx
  call   <index_2d@plt>
  mov    0x78(%rsp),%rdi
  sub    $0x8,%rsp
  mov    %ebp,%esi
  mov    0xb0(%rsp),%r11
  mov    (%r11,%rax,4),%r15d
  mov    0xe8(%rsp),%r11
  movsd  (%r11,%rdi,8),%xmm2
  xor    %edi,%edi
  movsd  %xmm2,0xc8(%rsp)
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r9d
  push   %r9
  mov    0x300(%rsp),%r9d
  push   %r9
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %r15d,%ecx
  movsd  (%rdi,%rax,8),%xmm0
  mov    $0x2,%edi
  movsd  %xmm0,0x118(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    %ebp,%esi
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  movsd  0x118(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  xor    %edi,%edi
  movsd  %xmm0,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    %ebp,%esi
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x118(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x118(%rsp),%xmm1
  movsd  0x148(%rsp),%xmm0
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm1
  mov    $0x2,%edi
  movsd  %xmm1,0x118(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x118(%rsp),%xmm1
  mulsd  (%rdi,%rax,8),%xmm1
  xor    %edi,%edi
  movsd  %xmm1,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm2
  mov    %ebp,%esi
  movsd  %xmm2,0x118(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    0xb8(%rsp),%r10
  xor    %edi,%edi
  movsd  0x118(%rsp),%xmm2
  mov    0x120(%rsp),%r11
  movsd  0x148(%rsp),%xmm1
  mulsd  (%rsi,%rax,8),%xmm2
  mov    %ebp,%esi
  movsd  0x150(%rsp),%xmm0
  movsd  (%r11,%r10,8),%xmm4
  movsd  %xmm4,0x118(%rsp)
  subsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0x100(%rsp),%xmm0
  movsd  %xmm0,0x100(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm0
  mov    $0x2,%edi
  movsd  %xmm0,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x148(%rsp),%xmm0
  movsd  (%rsi,%rax,8),%xmm7
  mov    %ebp,%esi
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm0
  mov    %ebp,%esi
  movsd  %xmm0,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x150(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  xor    %edi,%edi
  addsd  0x148(%rsp),%xmm0
  movsd  %xmm0,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm1
  mov    $0x2,%edi
  movsd  %xmm1,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x148(%rsp),%xmm1
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%r9d
  mov    0xa4(%rsp),%r8d
  mov    0x48(%rsp),%ecx
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%ecx
  push   %rcx
  mov    0x300(%rsp),%ecx
  push   %rcx
  mov    %r15d,%ecx
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%r9d
  mov    0x9c(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  movsd  0x40(%rsp),%xmm1
  mov    %ebp,%esi
  movsd  0x150(%rsp),%xmm0
  movsd  0x118(%rsp),%xmm5
  mulsd  (%rdi,%rax,8),%xmm1
  mov    $0x1,%edi
  addsd  0x148(%rsp),%xmm1
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%ecx
  subsd  %xmm1,%xmm0
  push   %rcx
  mov    0x300(%rsp),%ecx
  mulsd  %xmm0,%xmm5
  push   %rcx
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xd4(%rsp),%r9d
  mov    0xd0(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  movq   %xmm5,%r15
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x100(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  mov    $0x1,%edi
  movsd  %xmm0,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xd4(%rsp),%r9d
  mov    0xd0(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  movq   %r15,%xmm1
  movsd  0x40(%rsp),%xmm0
  movsd  0x108(%rsp),%xmm4
  mov    $0x1,%edi
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  subsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm4
  movsd  %xmm4,0x108(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xd4(%rsp),%r9d
  mov    0xd0(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x70(%rsp),%rsi
  mov    $0x1,%edi
  movsd  0x100(%rsp),%xmm0
  mulsd  (%rsi,%rax,8),%xmm0
  mov    %ebp,%esi
  movsd  %xmm0,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xd4(%rsp),%r9d
  mov    0xd0(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x68(%rsp),%rdi
  movq   %r15,%xmm5
  movsd  0x40(%rsp),%xmm0
  addq   $0x1,0xb8(%rsp)
  mov    0xb8(%rsp),%r10
  mulsd  (%rdi,%rax,8),%xmm5
  addsd  %xmm5,%xmm0
  addsd  0x110(%rsp),%xmm0
  movsd  %xmm0,0x110(%rsp)
  add    $0x40,%rsp
  cmp    %r10,0x100(%rsp)
  jne    L82
  movq   $0x0,0x78(%rsp)
  pxor   %xmm2,%xmm2
  mov    0x2e8(%rsp),%ebx
  mov    0x2f0(%rsp),%r13d
  movsd  %xmm2,0xd8(%rsp)
  nopl   (%rax)
L127:
  mov    0x78(%rsp),%r15d
  mov    0x308(%rsp),%edx
  xor    %esi,%esi
  movsd  %xmm2,0x120(%rsp)
  mov    %r15d,%edi
  call   <index_2d@plt>
  mov    0xb0(%rsp),%rcx
  xor    %esi,%esi
  mov    %r15d,%edi
  mov    0x308(%rsp),%edx
  mov    (%rcx,%rax,4),%eax
  mov    %eax,(%rsp)
  call   <index_2d@plt>
  mov    0xb8(%rsp),%rdi
  mov    $0x1,%esi
  mov    0x308(%rsp),%edx
  mov    (%rdi,%rax,4),%ecx
  mov    %r15d,%edi
  mov    %ecx,0x8(%rsp)
  call   <index_2d@plt>
  mov    0xb0(%rsp),%rdx
  mov    %r15d,%edi
  mov    $0x1,%esi
  mov    (%rdx,%rax,4),%edx
  mov    %edx,0x80(%rsp)
  mov    0x308(%rsp),%edx
  call   <index_2d@plt>
  mov    0xb8(%rsp),%rdi
  mov    $0x2,%esi
  mov    0x308(%rsp),%edx
  mov    (%rdi,%rax,4),%edi
  mov    %edi,0x8c(%rsp)
  mov    %r15d,%edi
  call   <index_2d@plt>
  mov    0xb0(%rsp),%r10
  mov    %r15d,%edi
  mov    $0x2,%esi
  mov    (%r10,%rax,4),%edx
  mov    %edx,0x20(%rsp)
  mov    0x308(%rsp),%edx
  call   <index_2d@plt>
  mov    0x78(%rsp),%rsi
  sub    $0x8,%rsp
  xor    %edi,%edi
  mov    0xc0(%rsp),%r10
  mov    (%r10,%rax,4),%r15d
  mov    0xf0(%rsp),%r10
  movsd  (%r10,%rsi,8),%xmm5
  mov    %ebp,%esi
  movsd  %xmm5,0xc8(%rsp)
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r9d
  push   %r9
  mov    0x300(%rsp),%r9d
  push   %r9
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %r15d,%ecx
  movsd  (%rdi,%rax,8),%xmm0
  mov    $0x2,%edi
  movsd  %xmm0,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    %ebp,%esi
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  movsd  0x148(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  xor    %edi,%edi
  movsd  %xmm0,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    0x300(%rsp),%esi
  push   %rsi
  mov    %ebp,%esi
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x148(%rsp),%xmm1
  movsd  0x150(%rsp),%xmm0
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x158(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm1
  mov    $0x2,%edi
  movsd  %xmm1,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x148(%rsp),%xmm1
  mulsd  (%rdi,%rax,8),%xmm1
  xor    %edi,%edi
  movsd  %xmm1,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm3
  mov    %ebp,%esi
  movsd  %xmm3,0x148(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r11d
  push   %r11
  mov    0x300(%rsp),%r11d
  push   %r11
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    0xb8(%rsp),%r11
  xor    %edi,%edi
  movsd  0x148(%rsp),%xmm3
  mov    0x128(%rsp),%r10
  movsd  0x150(%rsp),%xmm1
  mulsd  (%rsi,%rax,8),%xmm3
  mov    %ebp,%esi
  movsd  0x158(%rsp),%xmm0
  movsd  (%r10,%r11,8),%xmm6
  movsd  %xmm6,0x148(%rsp)
  subsd  %xmm3,%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0x100(%rsp),%xmm0
  movsd  %xmm0,0x100(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm0
  mov    $0x2,%edi
  movsd  %xmm0,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x150(%rsp),%xmm0
  movsd  (%rsi,%rax,8),%xmm7
  mov    %ebp,%esi
  mulsd  %xmm0,%xmm7
  movsd  %xmm7,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    %r15d,%ecx
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm0
  mov    %ebp,%esi
  movsd  %xmm0,0x158(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x158(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  xor    %edi,%edi
  addsd  0x150(%rsp),%xmm0
  movsd  %xmm0,0x158(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x48(%rsp),%ecx
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %r15d,%ecx
  mov    %ebp,%esi
  movsd  (%rdi,%rax,8),%xmm1
  mov    $0x2,%edi
  movsd  %xmm1,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  xor    %edi,%edi
  movsd  0x150(%rsp),%xmm1
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x150(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xc8(%rsp),%r9d
  mov    0xb4(%rsp),%r8d
  mov    0x48(%rsp),%ecx
  mov    0x40(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    $0x2,%edi
  movsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  movsd  %xmm1,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%ecx
  push   %rcx
  mov    0x300(%rsp),%ecx
  push   %rcx
  mov    %r15d,%ecx
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xb0(%rsp),%r9d
  mov    0xac(%rsp),%r8d
  mov    0x60(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  movsd  0x40(%rsp),%xmm1
  mov    %ebp,%esi
  movsd  0x158(%rsp),%xmm0
  movsd  0x148(%rsp),%xmm4
  mulsd  (%rdi,%rax,8),%xmm1
  mov    $0x1,%edi
  addsd  0x150(%rsp),%xmm1
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%ecx
  subsd  %xmm1,%xmm0
  push   %rcx
  mov    0x300(%rsp),%ecx
  mulsd  %xmm0,%xmm4
  push   %rcx
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xdc(%rsp),%r9d
  mov    0xd8(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  movq   %xmm4,%r15
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  mov    %ebp,%esi
  movsd  0x100(%rsp),%xmm0
  mulsd  (%rdi,%rax,8),%xmm0
  mov    $0x1,%edi
  movsd  %xmm0,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xdc(%rsp),%r9d
  mov    0xd8(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  movq   %r15,%xmm1
  movsd  0x40(%rsp),%xmm0
  mov    0x80(%rsp),%rsi
  movsd  0x118(%rsp),%xmm3
  mov    $0x1,%edi
  mulsd  (%rsi,%rax,8),%xmm1
  mov    %ebp,%esi
  subsd  %xmm1,%xmm0
  addsd  %xmm0,%xmm3
  movsd  %xmm3,0x118(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xdc(%rsp),%r9d
  mov    0xd8(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x80(%rsp),%rsi
  mov    $0x1,%edi
  movsd  0x100(%rsp),%xmm0
  mulsd  (%rsi,%rax,8),%xmm0
  mov    %ebp,%esi
  movsd  %xmm0,0x40(%rsp)
  add    $0x38,%rsp
  push   %r12
  push   %r13
  push   %rbx
  mov    0x300(%rsp),%r10d
  push   %r10
  mov    0x300(%rsp),%r10d
  push   %r10
  push   %r14
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0xdc(%rsp),%r9d
  mov    0xd8(%rsp),%r8d
  mov    0xcc(%rsp),%ecx
  mov    0xc0(%rsp),%edx
  call   <prop_index@plt>
  mov    0x78(%rsp),%rdi
  movq   %r15,%xmm6
  movsd  0x40(%rsp),%xmm0
  movsd  0x160(%rsp),%xmm2
  addq   $0x1,0xb8(%rsp)
  mulsd  (%rdi,%rax,8),%xmm6
  mov    0xb8(%rsp),%r11
  add    $0x40,%rsp
  addsd  %xmm6,%xmm0
  addsd  %xmm0,%xmm2
  cmp    %r11,0x100(%rsp)
  jne    L127
  movsd  0xd8(%rsp),%xmm3
  movsd  0xd0(%rsp),%xmm4
  movsd  0xc8(%rsp),%xmm7
  movapd %xmm3,%xmm0
  movapd %xmm4,%xmm1
  mulsd  %xmm2,%xmm1
  mulsd  %xmm7,%xmm0
  mulsd  %xmm7,%xmm2
  mulsd  %xmm4,%xmm3
  subsd  %xmm1,%xmm0
  addsd  %xmm3,%xmm2
L79:
  mov    0x138(%rsp),%rax
  pxor   %xmm1,%xmm1
  xor    %r13d,%r13d
  mov    0x128(%rsp),%rbx
  mov    0x310(%rsp),%esi
  cvtsi2sdl (%rax,%rbx,4),%xmm1
  mov    0x130(%rsp),%rbx
  mov    0x148(%rsp),%rax
  mulsd  0x140(%rsp),%xmm1
  mulsd  (%rax,%rbx,8),%xmm1
  mov    0x318(%rsp),%ebx
  mulsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm1
  movsd  %xmm0,0x78(%rsp)
  movsd  %xmm1,0x80(%rsp)
  test   %esi,%esi
  jle    L81
  nopl   0x0(%rax)
L180:
  mov    0x58(%rsp),%r15d
  mov    0x310(%rsp),%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  call   <index_2d@plt>
  mov    0xf0(%rsp),%rcx
  mov    %r15d,%edi
  mov    %r13d,%esi
  movsd  0x78(%rsp),%xmm1
  mov    0x310(%rsp),%edx
  mulsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rsp)
  call   <index_2d@plt>
  movsd  (%rsp),%xmm1
  mov    %r15d,%edi
  mov    %r13d,%esi
  mov    0xf8(%rsp),%rdx
  movsd  0x80(%rsp),%xmm6
  movapd %xmm1,%xmm5
  mulsd  (%rdx,%rax,8),%xmm6
  mov    0x310(%rsp),%edx
  subsd  %xmm6,%xmm5
  movsd  %xmm5,(%rsp)
  call   <index_2d@plt>
  mov    0xf0(%rsp),%rcx
  mov    %r15d,%edi
  mov    %r13d,%esi
  movsd  0x80(%rsp),%xmm6
  mov    0x310(%rsp),%edx
  xor    %r15d,%r15d
  mulsd  (%rcx,%rax,8),%xmm6
  movsd  %xmm6,0x8(%rsp)
  call   <index_2d@plt>
  mov    0xf8(%rsp),%rcx
  movsd  0x78(%rsp),%xmm0
  mulsd  (%rcx,%rax,8),%xmm0
  addsd  0x8(%rsp),%xmm0
  movsd  %xmm0,0x8(%rsp)
  test   %ebx,%ebx
  jle    L145
  nopl   0x0(%rax,%rax,1)
L88:
  mov    %r15d,%esi
  mov    %ebx,%edx
  mov    %r14d,%edi
  call   <index_2d@plt>
  mov    0x10(%rsp),%rcx
  mov    %r15d,%esi
  mov    %ebx,%edx
  movsd  (%rsp),%xmm0
  mov    %r14d,%edi
  mulsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,0x20(%rsp)
  call   <index_2d@plt>
  mov    0x18(%rsp),%rdi
  mov    %r12d,%r8d
  mov    %ebx,%ecx
  movsd  0x8(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  mov    %r15d,%esi
  mov    %ebp,%edx
  mulsd  (%rdi,%rax,8),%xmm1
  mov    %r13d,%edi
  subsd  %xmm1,%xmm0
  movsd  %xmm0,0x20(%rsp)
  call   <index_3d@plt>
  mov    0x48(%rsp),%rsi
  mov    %ebx,%edx
  mov    %r14d,%edi
  movsd  0x20(%rsp),%xmm0
  lea    (%rsi,%rax,8),%rax
  mov    %r15d,%esi
  addsd  (%rax),%xmm0
  movsd  %xmm0,(%rax)
  call   <index_2d@plt>
  mov    0x10(%rsp),%rcx
  mov    %r15d,%esi
  mov    %ebx,%edx
  movsd  0x8(%rsp),%xmm1
  mov    %r14d,%edi
  mulsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,0x20(%rsp)
  call   <index_2d@plt>
  mov    0x18(%rsp),%rcx
  mov    %ebp,%edx
  mov    %r15d,%esi
  movsd  (%rsp),%xmm0
  mov    %r12d,%r8d
  mov    %r13d,%edi
  add    $0x1,%r15d
  mulsd  (%rcx,%rax,8),%xmm0
  mov    %ebx,%ecx
  addsd  0x20(%rsp),%xmm0
  movsd  %xmm0,0x20(%rsp)
  call   <index_3d@plt>
  mov    0x50(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  lea    (%rdx,%rax,8),%rax
  addsd  (%rax),%xmm0
  movsd  %xmm0,(%rax)
  cmp    %r15d,%ebx
  jne    L88
L145:
  add    $0x1,%r13d
  cmp    %r13d,0x310(%rsp)
  jne    L180
L81:
  add    $0x1,%r14d
  cmp    %r14d,0x2f0(%rsp)
  jne    L110
  mov    %r12d,%r14d
L20:
  addl   $0x1,0x58(%rsp)
  mov    0x58(%rsp),%eax
  cmp    %eax,0x2e8(%rsp)
  jne    L89
  mov    %ebp,%r15d
  mov    %r14d,%r12d
L18:
  add    $0x1,%r15d
  cmp    %r15d,%r12d
  jne    L182
  mov    0x318(%rsp),%r15d
  mov    %r12d,%r14d
L33:
  addq   $0x1,0x130(%rsp)
  mov    0x130(%rsp),%rax
  cmp    %rax,0x188(%rsp)
  jne    L136
L124:
  addq   $0x1,0x128(%rsp)
  mov    0x128(%rsp),%rax
  cmp    0x198(%rsp),%rax
  jne    L158
L174:
  mov    0x218(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L47
  add    $0x228,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L47:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void make_hex_correlator(double *C_re, double *C_im, const double *B1_prop_re, const double *B1_prop_im, const double *B2_prop_re, const double *B2_prop_im, const int *perms, const int *sigs, const int *B1_src_color_weights, const int *B1_src_spin_weights, const double *B1_src_weights, const int *B2_src_color_weights, const int *B2_src_spin_weights, const double *B2_src_weights, const double overall_weight, const int *snk_color_weights, const int *snk_spin_weights, const double *snk_weights, const double *hex_src_psi_re, const double *hex_src_psi_im, const double *hex_snk_psi_re, const double *hex_snk_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 NsrcHex, const int NsnkHex, const int Nperms) {
  int x, t, wnum, nperm, b, n, m, y, wnumprime;
  int iC1prime, iS1prime, jC1prime, jS1prime, kC1prime, kS1prime, iC2prime, iS2prime, jC2prime, jS2prime, kC2prime, kS2prime;
  int iC1, iS1, jC1, jS1, kC1, kS1, iC2, iS2, jC2, jS2, kC2, kS2;
  int Nb = 2;
  int Nw2 = Nw * Nw;
  double B1_prop_prod_02_re, B1_prop_prod_02_im, B1_prop_prod_re, B1_prop_prod_im, B2_prop_prod_02_re, B2_prop_prod_02_im, B2_prop_prod_re, B2_prop_prod_im;
  double prop_prod_re, prop_prod_im, new_prop_prod_re, new_prop_prod_im;
  int snk_1_nq[Nb];
  int snk_2_nq[Nb];
  int snk_3_nq[Nb];
  int snk_1_b[Nb];
  int snk_2_b[Nb];
  int snk_3_b[Nb];
  int snk_1[Nb];
  int snk_2[Nb];
  int snk_3[Nb];
  for (nperm = 0; nperm < Nperms; nperm++) {
    for (b = 0; b < Nb; b++) {
      snk_1[b] = perms[index_2d(nperm, Nq * b + 0, 2 * Nq)] - 1;
      snk_2[b] = perms[index_2d(nperm, Nq * b + 1, 2 * Nq)] - 1;
      snk_3[b] = perms[index_2d(nperm, Nq * b + 2, 2 * Nq)] - 1;
      snk_1_b[b] = (snk_1[b] - snk_1[b] % Nq) / Nq;
      snk_2_b[b] = (snk_2[b] - snk_2[b] % Nq) / Nq;
      snk_3_b[b] = (snk_3[b] - snk_3[b] % Nq) / Nq;
      snk_1_nq[b] = snk_1[b] % Nq;
      snk_2_nq[b] = snk_2[b] % Nq;
      snk_3_nq[b] = snk_3[b] % Nq;
    }
    for (wnumprime = 0; wnumprime < Nw2; wnumprime++) {
      iC1prime = snk_color_weights[index_3d(snk_1_b[0], wnumprime, snk_1_nq[0], Nw2, Nq)];
      iS1prime = snk_spin_weights[index_3d(snk_1_b[0], wnumprime, snk_1_nq[0], Nw2, Nq)];
      jC1prime = snk_color_weights[index_3d(snk_2_b[0], wnumprime, snk_2_nq[0], Nw2, Nq)];
      jS1prime = snk_spin_weights[index_3d(snk_2_b[0], wnumprime, snk_2_nq[0], Nw2, Nq)];
      kC1prime = snk_color_weights[index_3d(snk_3_b[0], wnumprime, snk_3_nq[0], Nw2, Nq)];
      kS1prime = snk_spin_weights[index_3d(snk_3_b[0], wnumprime, snk_3_nq[0], Nw2, Nq)];
      iC2prime = snk_color_weights[index_3d(snk_1_b[1], wnumprime, snk_1_nq[1], Nw2, Nq)];
      iS2prime = snk_spin_weights[index_3d(snk_1_b[1], wnumprime, snk_1_nq[1], Nw2, Nq)];
      jC2prime = snk_color_weights[index_3d(snk_2_b[1], wnumprime, snk_2_nq[1], Nw2, Nq)];
      jS2prime = snk_spin_weights[index_3d(snk_2_b[1], wnumprime, snk_2_nq[1], Nw2, Nq)];
      kC2prime = snk_color_weights[index_3d(snk_3_b[1], wnumprime, snk_3_nq[1], Nw2, Nq)];
      kS2prime = snk_spin_weights[index_3d(snk_3_b[1], wnumprime, snk_3_nq[1], Nw2, Nq)];
      for (t = 0; t < Nt; t++) {
        for (y = 0; y < Vsrc; y++) {
          for (x = 0; x < Vsnk; x++) {
            B1_prop_prod_re = 0;
            B1_prop_prod_im = 0;
            for (wnum = 0; wnum < Nw; wnum++) {
              iC1 = B1_src_color_weights[index_2d(wnum, 0, Nq)];
              iS1 = B1_src_spin_weights[index_2d(wnum, 0, Nq)];
              jC1 = B1_src_color_weights[index_2d(wnum, 1, Nq)];
              jS1 = B1_src_spin_weights[index_2d(wnum, 1, Nq)];
              kC1 = B1_src_color_weights[index_2d(wnum, 2, Nq)];
              kS1 = B1_src_spin_weights[index_2d(wnum, 2, Nq)];
              B1_prop_prod_02_re = B1_src_weights[wnum] * ((B1_prop_re[prop_index(0, t, iC1, iS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_re[prop_index(2, t, kC1, kS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B1_prop_im[prop_index(0, t, iC1, iS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_im[prop_index(2, t, kC1, kS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]) - (B1_prop_re[prop_index(0, t, iC1, iS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_re[prop_index(2, t, kC1, kS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B1_prop_im[prop_index(0, t, iC1, iS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_im[prop_index(2, t, kC1, kS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]));
              B1_prop_prod_02_im = B1_src_weights[wnum] * ((B1_prop_re[prop_index(0, t, iC1, iS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_im[prop_index(2, t, kC1, kS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B1_prop_im[prop_index(0, t, iC1, iS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_re[prop_index(2, t, kC1, kS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]) - (B1_prop_re[prop_index(0, t, iC1, iS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_im[prop_index(2, t, kC1, kS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B1_prop_im[prop_index(0, t, iC1, iS1, kC1prime, kS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B1_prop_re[prop_index(2, t, kC1, kS1, iC1prime, iS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]));
              B1_prop_prod_re += B1_prop_prod_02_re * B1_prop_re[prop_index(1, t, jC1, jS1, jC1prime, jS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B1_prop_prod_02_im * B1_prop_im[prop_index(1, t, jC1, jS1, jC1prime, jS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)];
              B1_prop_prod_im += B1_prop_prod_02_re * B1_prop_im[prop_index(1, t, jC1, jS1, jC1prime, jS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B1_prop_prod_02_im * B1_prop_re[prop_index(1, t, jC1, jS1, jC1prime, jS1prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)];
            }
            B2_prop_prod_re = 0;
            B2_prop_prod_im = 0;
            for (wnum = 0; wnum < Nw; wnum++) {
              iC2 = B2_src_color_weights[index_2d(wnum, 0, Nq)];
              iS2 = B2_src_spin_weights[index_2d(wnum, 0, Nq)];
              jC2 = B2_src_color_weights[index_2d(wnum, 1, Nq)];
              jS2 = B2_src_spin_weights[index_2d(wnum, 1, Nq)];
              kC2 = B2_src_color_weights[index_2d(wnum, 2, Nq)];
              kS2 = B2_src_spin_weights[index_2d(wnum, 2, Nq)];
              B2_prop_prod_02_re = B2_src_weights[wnum] * ((B2_prop_re[prop_index(0, t, iC2, iS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_re[prop_index(2, t, kC2, kS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B2_prop_im[prop_index(0, t, iC2, iS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_im[prop_index(2, t, kC2, kS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]) - (B2_prop_re[prop_index(0, t, iC2, iS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_re[prop_index(2, t, kC2, kS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B2_prop_im[prop_index(0, t, iC2, iS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_im[prop_index(2, t, kC2, kS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]));
              B2_prop_prod_02_im = B2_src_weights[wnum] * ((B2_prop_re[prop_index(0, t, iC2, iS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_im[prop_index(2, t, kC2, kS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B2_prop_im[prop_index(0, t, iC2, iS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_re[prop_index(2, t, kC2, kS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]) - (B2_prop_re[prop_index(0, t, iC2, iS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_im[prop_index(2, t, kC2, kS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B2_prop_im[prop_index(0, t, iC2, iS2, kC2prime, kS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] * B2_prop_re[prop_index(2, t, kC2, kS2, iC2prime, iS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)]));
              B2_prop_prod_re += B2_prop_prod_02_re * B2_prop_re[prop_index(1, t, jC2, jS2, jC2prime, jS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] - B2_prop_prod_02_im * B2_prop_im[prop_index(1, t, jC2, jS2, jC2prime, jS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)];
              B2_prop_prod_im += B2_prop_prod_02_re * B2_prop_im[prop_index(1, t, jC2, jS2, jC2prime, jS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)] + B2_prop_prod_02_im * B2_prop_re[prop_index(1, t, jC2, jS2, jC2prime, jS2prime, y, x, Nc, Ns, Vsrc, Vsnk, Nt)];
            }
            prop_prod_re = overall_weight * sigs[nperm] * snk_weights[wnumprime] * (B1_prop_prod_re * B2_prop_prod_re - B1_prop_prod_im * B2_prop_prod_im);
            prop_prod_im = overall_weight * sigs[nperm] * snk_weights[wnumprime] * (B1_prop_prod_re * B2_prop_prod_im + B1_prop_prod_im * B2_prop_prod_re);
            for (m = 0; m < NsrcHex; m++) {
              new_prop_prod_re = hex_src_psi_re[index_2d(y, m, NsrcHex)] * prop_prod_re - hex_src_psi_im[index_2d(y, m, NsrcHex)] * prop_prod_im;
              new_prop_prod_im = hex_src_psi_re[index_2d(y, m, NsrcHex)] * prop_prod_im + hex_src_psi_im[index_2d(y, m, NsrcHex)] * prop_prod_re;
              for (n = 0; n < NsnkHex; n++) {
                C_re[index_3d(m, n, t, NsnkHex, Nt)] += hex_snk_psi_re[index_2d(x, n, NsnkHex)] * new_prop_prod_re - hex_snk_psi_im[index_2d(x, n, NsnkHex)] * new_prop_prod_im;
                C_im[index_3d(m, n, t, NsnkHex, Nt)] += hex_snk_psi_re[index_2d(x, n, NsnkHex)] * new_prop_prod_im + hex_snk_psi_im[index_2d(x, n, NsnkHex)] * new_prop_prod_re;
              }
            }
          }
        }
      }
    }
  }
}
```