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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  mov    %edi,-0x74(%rbp)
  mov    %rsi,-0x80(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  D104(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D128(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D71(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L122
L83:
  movsd  -0x70(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  movsd  D42(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x70(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  D42(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x70(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  D42(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x20(%rbp),%xmm0
  subsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x18(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x10(%rbp),%xmm0
  subsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x40(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mov    -0x48(%rbp),%rax
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <max@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x60(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <min@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x58(%rbp)
  jmp    L113
L80:
  movsd  -0x40(%rbp),%xmm1
  movsd  -0x50(%rbp),%xmm0
  mov    -0x48(%rbp),%rax
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <max@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x60(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  -0x38(%rbp),%xmm0
  mov    -0x30(%rbp),%rax
  movapd %xmm1,%xmm2
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <min@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x58(%rbp)
  movsd  -0x58(%rbp),%xmm0
  comisd -0x60(%rbp),%xmm0
  jbe    L111
  movsd  -0x58(%rbp),%xmm0
  subsd  -0x60(%rbp),%xmm0
  movsd  -0x68(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
L111:
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x38(%rbp),%xmm0
  jp     L23
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x38(%rbp),%xmm0
  jne    L23
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x38(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
L23:
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x30(%rbp),%xmm0
  jp     L82
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x30(%rbp),%xmm0
  jne    L82
  movsd  -0x48(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x30(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
L82:
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x28(%rbp),%xmm0
  jp     L113
  movsd  -0x58(%rbp),%xmm0
  ucomisd -0x28(%rbp),%xmm0
  je     L148
  jmp    L113
L148:
  movsd  -0x40(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x28(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
L113:
  movsd  D48(%rip),%xmm0
  comisd -0x60(%rbp),%xmm0
  jb     L71
  movsd  D48(%rip),%xmm0
  comisd -0x58(%rbp),%xmm0
  jae    L80
L71:
  movsd  -0x68(%rbp),%xmm0
  movsd  D99(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  lea    D97(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
L122:
  lea    -0x70(%rbp),%rax
  mov    %rax,%rsi
  lea    D115(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  cmp    $0x1,%eax
  jne    L53
  movsd  -0x70(%rbp),%xmm0
  movsd  D124(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L83
  movsd  D124(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L83
L53:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L75
  call   <__stack_chk_fail@plt>
L75:
  leave
  ret
```

tool_calls: name: read_data
arguments: label: D104
datatype: byte[8]
name: read_data
arguments: label: D128
datatype: byte[8]
name: read_data
arguments: label: D71
datatype: byte[8]
name: read_data
arguments: label: D42
datatype: f32[2]
name: read_data
arguments: label: D48
datatype: f64
name: read_data
arguments: label: D99
datatype: f32[2]
name: read_data
arguments: label: D97
datatype: string
name: read_data
arguments: label: D115
datatype: string
name: read_data
arguments: label: D124
datatype: f32[2]

tool: {"D104": [0xa5,0xee,0xcb,0x63,0x2b,0x82,0x4e,0x40]}

tool: {"D128": [0x84,0xb4,0xeb,0x76,0xae,0x0a,0x4e,0x40]}

tool: {"D71": [0x2f,0xba,0xe8,0xa2,0x8b,0xae,0xae,0x40]}

tool: {"D42": [0.0,3.8515625]}

tool: D48: 43200

tool: {"D99": [0.0,3.921875]}

tool: D97: %.3lf

tool: D115: %lf

tool: {"D124": [0.0,-1.875]}

assistant: ```c
int main(int argc, char *argv[]) {
  double sum = 0.0;
  double tempx = 0.0;
  double tempy = 0.0;
  double sm;
  double sh;
  double mh;
  double dsm;
  double dsh;
  double dmh;
  double bsm, bsh, bmh;
  double d;
  sm = 3600.0 / 59;
  sh = 43200.0 / 719;
  mh = 43200.0 / 11;
  while (scanf("%lf", &d) == 1 && d != -1) {
    dsm = sm * d / 360;
    dsh = sh * d / 360;
    dmh = mh * d / 360;
    bsm = sm - dsm;
    bsh = sh - dsh;
    bmh = mh - dmh;
    tempx = max(dsh, dsm, dmh);
    tempy = min(bsh, bsm, bmh);
    while (tempx <= 43200 && tempy <= 43200) {
      tempx = max(dsh, dsm, dmh);
      tempy = min(bsh, bsm, bmh);
      if (tempx < tempy) {
        sum += tempy - tempx;
      }
      if (tempy == bsm) {
        dsm += sm;
        bsm += sm;
      }
      if (tempy == bsh) {
        dsh += sh;
        bsh += sh;
      }
      if (tempy == bmh) {
        dmh += mh;
        bmh += mh;
      }
    }
    printf("%.3lf", sum / 432);
  }
  return 0;
}
```