user: What would the C source look like for the assembly code provided here?

```asm
<MakePgr>:
  endbr64
  push   %r15
  lea    0x1(%rdi),%edx
  lea    -0x2(%rsi),%eax
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %r8,0x28(%rsp)
  mov    %r9,0x18(%rsp)
  cmp    %eax,%edx
  jge    L72
  lea    0x1(%rcx),%eax
  mov    %ecx,%r14d
  mov    %esi,%r15d
  mov    %edi,%ebp
  imul   %ecx,%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,0x34(%rsp)
  lea    0x3(%rdi),%eax
  mov    %eax,0x38(%rsp)
  imul   %ecx,%eax
  mov    %eax,0x3c(%rsp)
  nopl   0x0(%rax,%rax,1)
L6:
  mov    0x38(%rsp),%eax
  mov    0x3c(%rsp),%ecx
  lea    -0x2(%rax),%r12d
  mov    %ecx,0x24(%rsp)
  mov    %eax,%ebx
  cmp    %eax,%r15d
  jle    L54
  mov    %r15d,%r13d
  mov    %r12d,%r15d
  nopl   0x0(%rax)
L18:
  mov    %r13d,%ecx
  mov    %ebx,%edx
  mov    %r15d,%esi
  mov    %ebp,%edi
  mov    %r14d,%r8d
  xor    %eax,%eax
  call   <gap_index@plt>
  lea    0x1(%rbx),%edi
  mov    %edi,%esi
  movslq %eax,%r12
  mov    0x88(%rsp),%rax
  mov    %edi,0x30(%rsp)
  imul   %ebx,%esi
  shl    $0x4,%r12
  mov    0x34(%rsp),%edi
  add    %r12,%rax
  add    0x28(%rsp),%r12
  mov    %rax,(%rsp)
  mov    0x24(%rsp),%eax
  add    %ebx,%edi
  mov    %esi,%edx
  mov    %edi,0xc(%rsp)
  shr    $0x1f,%edx
  sub    $0x1,%eax
  mov    %r12,0x10(%rsp)
  add    %esi,%edx
  sar    %edx
  sub    %edx,%eax
  mov    %eax,0x20(%rsp)
  mov    %r13d,%eax
  mov    %ebx,%r13d
  mov    %eax,%r12d
  nopl   0x0(%rax)
L29:
  mov    %r12d,%ecx
  mov    %r13d,%edx
  mov    %r15d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r14d,%r8d
  call   <gap_index@plt>
  mov    (%rsp),%rdi
  mov    0x20(%rsp),%ecx
  cmp    %r13d,%ebx
  mov    0xc(%rsp),%esi
  fldz
  fldt   (%rdi)
  lea    (%rcx,%r13,1),%edx
  cmove  %esi,%edx
  fcomi  %st(1),%st
  fstp   %st(1)
  jbe    L13
  mov    0x18(%rsp),%rcx
  cltq
  mov    0x80(%rsp),%rdi
  movslq %edx,%rdx
  shl    $0x4,%rax
  shl    $0x4,%rdx
  fldt   (%rcx,%rax,1)
  mov    0x10(%rsp),%rcx
  add    0x90(%rsp),%rax
  fmulp  %st,%st(1)
  fldt   (%rdi,%rdx,1)
  add    0x98(%rsp),%rdx
  fmulp  %st,%st(1)
  fldt   (%rcx)
  fdivrp %st,%st(1)
  fldt   (%rax)
  fadd   %st(1),%st
  fstpt  (%rax)
  fldt   (%rdx)
  fadd   %st(1),%st
  fstpt  (%rdx)
  fld1
  fxch   %st(1)
  fcomi  %st(1),%st
  fstp   %st(1)
  jbe    L37
  sub    $0x10,%rsp
  mov    %r12d,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  lea    D7(%rip),%rdi
  fstpt  (%rsp)
  call   <printf@plt>
  pop    %rax
  pop    %rdx
  jmp    L30
  cs nopw 0x0(%rax,%rax,1)
L13:
  fstp   %st(0)
  jmp    L30
  nopl   0x0(%rax)
L37:
  fstp   %st(0)
L30:
  add    $0x1,%r13d
  cmp    %r13d,%r12d
  jg     L29
  mov    0x30(%rsp),%ebx
  add    %r14d,0x24(%rsp)
  mov    %r12d,%r13d
  cmp    %ebx,%r12d
  jne    L18
  mov    %r12d,%r15d
L54:
  addl   $0x1,0x38(%rsp)
  mov    0x38(%rsp),%eax
  add    %r14d,0x3c(%rsp)
  cmp    %eax,%r15d
  jne    L6
L72:
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: data_label: D7
type_guessed: string

tool: D7: j %d %d %Le


assistant: ```c
void MakePgr(int i, int j, int seq[], int seqlength, long double *Qgr, long double *Qgl, long double *Qz, long double *Pgr, long double *Pgl, long double *Pz) {
  int d, e, f;
  int gap_idej, gap_idfj, pf_ef1;
  long double prob;
  for (d = i + 1; d <= j - 3; d++) {
    for (e = d + 2; e <= j - 1; e++) {
      gap_idej = gap_index(i, d, e, j, seqlength);
      for (f = e; f <= j - 1; f++) {
        gap_idfj = gap_index(i, d, f, j, seqlength);
        pf_ef1 = ((f - 1) == (e)-1 ? (seqlength) * ((seqlength) + 1) / 2 + (e) : ((e) * (seqlength) + (f - 1) - (e) * (1 + (e)) / 2));
        if (Pgr[gap_idej] > 0) {
          prob = Pgr[gap_idej] * Qgl[gap_idfj] * Qz[pf_ef1] / Qgr[gap_idej];
          Pgl[gap_idfj] += prob;
          Pz[pf_ef1] += prob;
          if (prob > 1) {
            printf("j %d %d %Le\n", i, j, (long double)prob);
          }
        }
      }
    }
  }
}
```