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

```asm
<getK>:
  endbr64
  push   %r15
  mov    %edi,%eax
  mov    %edi,%r15d
  push   %r14
  imul   %edi,%eax
  mov    %rdx,%r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %eax,%ebx
  sub    $0x78,%rsp
  mov    %edi,0xc(%rsp)
  lea    0x0(,%rax,8),%edi
  mov    %rsi,0x18(%rsp)
  mov    %rcx,0x68(%rsp)
  mov    %eax,0x34(%rsp)
  call   <malloc@plt>
  mov    %rax,0x10(%rsp)
  test   %r15d,%r15d
  jle    L12
  movslq %r15d,%rdi
  mov    %rax,%rcx
  movl   $0x0,0x5c(%rsp)
  lea    0x0(,%rdi,8),%rax
  mov    %rdi,0x60(%rsp)
  mov    %rax,0x40(%rsp)
  mov    %ebx,%eax
  and    $0xfffffffe,%ebx
  shr    %eax
  mov    %ebx,0x58(%rsp)
  movq   $0x0,0x38(%rsp)
  sub    $0x1,%eax
  add    $0x1,%rax
  shl    $0x4,%rax
  add    %rcx,%rax
  mov    %rax,0x50(%rsp)
L88:
  mov    0x38(%rsp),%rax
  mov    0x68(%rsp),%rcx
  movq   $0x0,0x20(%rsp)
  mov    %eax,%r13d
  lea    (%rcx,%rax,8),%rax
  mov    %rax,0x28(%rsp)
  movslq 0x5c(%rsp),%rax
  lea    (%rcx,%rax,8),%rax
  mov    %rax,0x48(%rsp)
  nop
L96:
  movl   $0x0,0x30(%rsp)
  mov    0x20(%rsp),%r12d
  xor    %ebp,%ebp
  nop
L4:
  mov    0x10(%rsp),%rbx
  movslq 0x30(%rsp),%rax
  xor    %r15d,%r15d
  mov    %r14,%r8
  lea    (%rbx,%rax,8),%r9
  mov    %r9,%rbx
  nopw   0x0(%rax,%rax,1)
L52:
  mov    %r15d,%ecx
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  mov    %r8,(%rsp)
  add    $0x8,%rbx
  call   <ijkl2intindex@plt>
  mov    %r15d,%esi
  mov    %ebp,%ecx
  mov    %r12d,%edx
  mov    %r13d,%edi
  movslq %eax,%r14
  call   <ijkl2intindex@plt>
  mov    (%rsp),%r8
  cltq
  movsd  (%r8,%r14,8),%xmm0
  addsd  (%r8,%rax,8),%xmm0
  mov    %r15d,%eax
  add    $0x1,%r15d
  mulsd  D6(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbx)
  cmp    %r15d,0xc(%rsp)
  jne    L52
  mov    0xc(%rsp),%ecx
  mov    %r8,%r14
  add    %ecx,0x30(%rsp)
  lea    0x1(%rbp),%edx
  cmp    %eax,%ebp
  je     L15
  mov    %edx,%ebp
  jmp    L4
  nopl   0x0(%rax)
L15:
  mov    0x34(%rsp),%eax
  test   %eax,%eax
  je     L18
  cmp    $0x1,%eax
  je     L98
  mov    0x10(%rsp),%rdi
  mov    0x18(%rsp),%rdx
  pxor   %xmm0,%xmm0
  mov    0x50(%rsp),%rcx
  mov    %rdi,%rax
  sub    %rdi,%rdx
  cs nopw 0x0(%rax,%rax,1)
L113:
  movupd (%rdx,%rax,1),%xmm2
  movupd (%rax),%xmm3
  add    $0x10,%rax
  mulpd  %xmm3,%xmm2
  addsd  %xmm2,%xmm0
  unpckhpd %xmm2,%xmm2
  addsd  %xmm2,%xmm0
  cmp    %rax,%rcx
  jne    L113
  movslq 0x58(%rsp),%rax
  cmp    %eax,0x34(%rsp)
  je     L107
L114:
  mov    0x18(%rsp),%rcx
  mov    0x10(%rsp),%rdx
  movsd  (%rcx,%rax,8),%xmm1
  mulsd  (%rdx,%rax,8),%xmm1
  addsd  %xmm1,%xmm0
L107:
  mov    0x28(%rsp),%rbx
  mov    0x20(%rsp),%rax
  mov    0x48(%rsp),%rdi
  movsd  %xmm0,(%rbx)
  movsd  %xmm0,(%rdi,%rax,8)
  mov    0x40(%rsp),%rdi
  add    $0x1,%rax
  mov    %rax,0x20(%rsp)
  add    %rdi,%rbx
  mov    %rbx,0x28(%rsp)
  cmp    0x38(%rsp),%eax
  jle    L96
  addq   $0x1,0x38(%rsp)
  mov    0xc(%rsp),%ebx
  mov    0x38(%rsp),%rax
  add    %ebx,0x5c(%rsp)
  cmp    0x60(%rsp),%rax
  jne    L88
L12:
  mov    0x10(%rsp),%rdi
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <free@plt>
L18:
  pxor   %xmm0,%xmm0
  jmp    L107
L98:
  pxor   %xmm0,%xmm0
  xor    %eax,%eax
  jmp    L114
```

tool_calls: name: retrieve_data
arguments: data_tag: D6
type_infered: f64

tool: D6: 0.5

assistant: ```c
void getK(int nbf, double *D, double *Ints, double *K) {
  int i, j, k, l, kl, ikjl, iljk;
  double *tmp;
  double val = 0.;
  tmp = (double *)malloc(nbf * nbf * sizeof(double));
  for (i = 0; i < nbf; i++) {
    for (j = 0; j < i + 1; j++) {
      kl = 0;
      for (k = 0; k < nbf; k++) {
        for (l = 0; l < nbf; l++) {
          ikjl = ijkl2intindex(i, k, j, l);
          iljk = ijkl2intindex(i, l, j, k);
          tmp[kl] = 0.5 * (Ints[ikjl] + Ints[iljk]);
          kl += 1;
        }
      }
      val = 0;
      for (kl = 0; kl < nbf * nbf; kl++)
        val += tmp[kl] * D[kl];
      K[i + j * nbf] = val;
      K[j + i * nbf] = val;
    }
  }
  free(tmp);
}
```