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

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x138,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x128(%rsp)
  xor    %eax,%eax
  mov    0x8(%rsi),%rdi
  lea    D35(%rip),%rsi
  call   <fopen@plt>
  mov    %rax,%r12
  mov    %rax,%rdi
  call   <assert@plt>
  mov    $0x1,%ebx
  lea    D80(%rip),%r14
  lea    D33(%rip),%r13
  jmp    L101
L28:
  lea    -0x8(%rbx),%eax
  cmp    $0x2,%eax
  ja     L77
  mov    %r14,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    0x60(%rsp),%rbp
  mov    %rbp,%rdi
  call   <strlen@plt>
  cltq
  lea    0x0(%rbp,%rax,1),%rdi
  movq   %r15,%xmm0
  mov    %r13,%rsi
  mov    $0x1,%eax
  call   <sprintf@plt>
  jmp    L77
L58:
  cvttsd2si %xmm0,%esi
  mov    $0x64,%edi
  mov    %esi,%eax
  cltd
  idiv   %edi
  mov    %edx,%r8d
  cltd
  idiv   %edi
  mov    %edx,%ecx
  mov    $0x2710,%edi
  mov    %esi,%eax
  cltd
  idiv   %edi
  mov    %rsp,%rbp
  mov    %eax,%edx
  lea    D72(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  mov    %rbp,%rsi
  lea    D114(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x60(%rsp),%rdi
  mov    %rbp,%rdx
  lea    D24(%rip),%rsi
  mov    $0x0,%eax
  call   <sprintf@plt>
  jmp    L108
L104:
  movapd %xmm0,%xmm1
  mulsd  D37(%rip),%xmm1
  movq   %xmm1,%rbp
  movapd %xmm1,%xmm0
  lea    D116(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    0x60(%rsp),%r15
  mov    %r15,%rdi
  call   <strlen@plt>
  cltq
  lea    (%r15,%rax,1),%rdi
  movq   %rbp,%xmm0
  lea    D103(%rip),%rsi
  mov    $0x1,%eax
  call   <sprintf@plt>
L77:
  cmp    $0x9,%ebx
  jg     L19
L108:
  add    $0x1,%ebx
L101:
  lea    -0x1(%rbx),%ebp
  mov    %rsp,%rdi
  mov    %r12,%rdx
  mov    $0x5a,%esi
  call   <fgets@plt>
  test   %rax,%rax
  je     L77
  mov    %rsp,%rdi
  call   <atof@plt>
  movq   %xmm0,%r15
  cmp    $0x6,%ebp
  jg     L28
  cmp    $0x3,%ebp
  jg     L104
  cmp    $0x2,%ebp
  je     L58
  cmp    $0x3,%ebp
  jne    L77
  mulsd  D37(%rip),%xmm0
  cvttsd2si %xmm0,%esi
  mov    $0x64,%edi
  mov    %esi,%eax
  cltd
  idiv   %edi
  mov    %edx,%r9d
  mov    $0x3e8,%ecx
  mov    %esi,%eax
  cltd
  idiv   %ecx
  cltd
  idiv   %edi
  mov    %edx,%r8d
  mov    $0x186a0,%ecx
  mov    %esi,%eax
  cltd
  idiv   %ecx
  cltd
  idiv   %edi
  mov    %edx,%ecx
  mov    $0x989680,%edi
  mov    %esi,%eax
  cltd
  idiv   %edi
  mov    %rsp,%rbp
  mov    %eax,%edx
  lea    D101(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sprintf@plt>
  mov    %rbp,%rsi
  lea    D19(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x60(%rsp),%r15
  mov    %rbp,%rsi
  mov    %r15,%rdi
  call   <strcat@plt>
  lea    D68(%rip),%rsi
  mov    %r15,%rdi
  call   <strcat@plt>
  jmp    L108
L19:
  mov    %r12,%rdi
  call   <fclose@plt>
  lea    0x60(%rsp),%rsi
  lea    D6(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x128(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L57
  mov    $0x0,%eax
  add    $0x138,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L57:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: label: D35
type_infered: string
name: read_data
arguments: label: D80
type_infered: string
name: read_data
arguments: label: D33
type_infered: string
name: read_data
arguments: label: D72
type_infered: string
name: read_data
arguments: label: D114
type_infered: string
name: read_data
arguments: label: D24
type_infered: string
name: read_data
arguments: label: D37
type_infered: f64
name: read_data
arguments: label: D116
type_infered: string
name: read_data
arguments: label: D103
type_infered: string
name: read_data
arguments: label: D101
type_infered: string
name: read_data
arguments: label: D19
type_infered: string
name: read_data
arguments: label: D68
type_infered: string
name: read_data
arguments: label: D6
type_infered: string

tool: D35: rb

tool: D80:   Vel  %f km/s


tool: D33: ,%.7f

tool: D72: %04d-%02d-%02d

tool: D114: Date : %s


tool: D24: find_orb -oSpektrRG -v%sT

tool: D37: 1000

tool: D116:   Posn %f km


tool: D103: ,%.2f

tool: D101: %02d:%02d:%02d.%03d

tool: D19: Time : %s


tool: D68: -3h

tool: D6: %s,eq,geo,km,s


assistant: ```c
int main(const int argc, const char **argv) {
  FILE *ifile = fopen(argv[1], "rb");
  char buff[90];
  char command[200];
  int i;
  assert(ifile);
  for (i = 0; i < 10; i++)
    if (fgets(buff, sizeof(buff), ifile)) {
      const double ival = atof(buff);
      switch (i) {
      case 2: {
        const int day = (int)ival;
        sprintf(buff, "%04d-%02d-%02d", day / 10000, (day / 100) % 100, day % 100);
        printf("Date : %s\n", buff);
        sprintf(command, "find_orb -oSpektrRG -v%sT", buff);
      } break;
      case 3: {
        const int millisec = (int)(ival * 1000.);
        sprintf(buff, "%02d:%02d:%02d.%03d", millisec / 10000000, (millisec / 100000) % 100, (millisec / 1000) % 100, millisec % 100);
        printf("Time : %s\n", buff);
        strcat(command, buff);
        strcat(command, "-3h");
      } break;
      case 4:
      case 5:
      case 6:
        printf("  Posn %f km\n", ival * 1000.);
        sprintf(command + strlen(command), ",%.2f", ival * 1000.);
        break;
      case 7:
      case 8:
      case 9:
        printf("  Vel  %f km/s\n", ival);
        sprintf(command + strlen(command), ",%.7f", ival);
        break;
        break;
      }
    }
  fclose(ifile);
  printf("%s,eq,geo,km,s\n", command);
  return (0);
}
```