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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    D23(%rip),%rax
  mov    %rax,%rsi
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  call   <fopen@plt>
  mov    %rax,-0x70(%rbp)
  lea    D21(%rip),%rax
  mov    %rax,%rsi
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  call   <fopen@plt>
  mov    %rax,-0x68(%rbp)
  movl   $0x0,-0x40(%rbp)
  movl   $0x1f,-0x3c(%rbp)
  movl   $0x1c,-0x38(%rbp)
  movl   $0x1f,-0x34(%rbp)
  movl   $0x1e,-0x30(%rbp)
  movl   $0x1f,-0x2c(%rbp)
  movl   $0x1e,-0x28(%rbp)
  movl   $0x1f,-0x24(%rbp)
  movl   $0x1f,-0x20(%rbp)
  movl   $0x1e,-0x1c(%rbp)
  movl   $0x1f,-0x18(%rbp)
  movl   $0x1e,-0x14(%rbp)
  movl   $0x1f,-0x10(%rbp)
  movq   $0x0,-0x60(%rbp)
  movq   $0x0,-0x58(%rbp)
  movq   $0x0,-0x50(%rbp)
  movl   $0x0,-0x48(%rbp)
  movl   $0x76c,-0x84(%rbp)
  movl   $0x1,-0x80(%rbp)
  movl   $0x1,-0x7c(%rbp)
  movl   $0x1,-0x78(%rbp)
  lea    -0x88(%rbp),%rdx
  mov    -0x70(%rbp),%rax
  lea    D25(%rip),%rcx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <fscanf@plt>
  mov    -0x88(%rbp),%eax
  add    $0x76b,%eax
  mov    %eax,-0x74(%rbp)
  jmp    L91
L44:
  cmpl   $0xd,-0x7c(%rbp)
  jne    L52
  mov    -0x78(%rbp),%eax
  cltq
  mov    -0x60(%rbp,%rax,4),%eax
  lea    0x1(%rax),%edx
  mov    -0x78(%rbp),%eax
  cltq
  mov    %edx,-0x60(%rbp,%rax,4)
L52:
  mov    -0x84(%rbp),%edx
  movslq %edx,%rax
  imul   $0x51eb851f,%rax,%rax
  shr    $0x20,%rax
  sar    $0x7,%eax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%eax
  imul   $0x190,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  test   %eax,%eax
  je     L6
  mov    -0x84(%rbp),%edx
  movslq %edx,%rax
  imul   $0x51eb851f,%rax,%rax
  shr    $0x20,%rax
  sar    $0x5,%eax
  mov    %edx,%ecx
  sar    $0x1f,%ecx
  sub    %ecx,%eax
  imul   $0x64,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  test   %eax,%eax
  je     L107
  mov    -0x84(%rbp),%eax
  and    $0x3,%eax
  test   %eax,%eax
  jne    L107
L6:
  movl   $0x1d,-0x38(%rbp)
  jmp    L104
L107:
  movl   $0x1c,-0x38(%rbp)
L104:
  mov    -0x80(%rbp),%eax
  cltq
  mov    -0x40(%rbp,%rax,4),%eax
  cmp    %eax,-0x7c(%rbp)
  jge    L51
  addl   $0x1,-0x7c(%rbp)
  jmp    L85
L51:
  movl   $0x1,-0x7c(%rbp)
  cmpl   $0xb,-0x80(%rbp)
  jg     L22
  addl   $0x1,-0x80(%rbp)
  jmp    L85
L22:
  movl   $0x1,-0x80(%rbp)
  addl   $0x1,-0x84(%rbp)
L85:
  addl   $0x1,-0x78(%rbp)
  mov    -0x78(%rbp),%eax
  movslq %eax,%rdx
  imul   $0xffffffff92492493,%rdx,%rdx
  shr    $0x20,%rdx
  add    %eax,%edx
  sar    $0x2,%edx
  mov    %eax,%esi
  sar    $0x1f,%esi
  mov    %edx,%ecx
  sub    %esi,%ecx
  mov    %ecx,%edx
  shl    $0x3,%edx
  sub    %ecx,%edx
  sub    %edx,%eax
  mov    %eax,-0x78(%rbp)
L91:
  mov    -0x84(%rbp),%eax
  cmp    -0x74(%rbp),%eax
  jle    L44
  mov    -0x4c(%rbp),%r8d
  mov    -0x50(%rbp),%edi
  mov    -0x54(%rbp),%esi
  mov    -0x58(%rbp),%r9d
  mov    -0x5c(%rbp),%r10d
  mov    -0x60(%rbp),%ecx
  mov    -0x48(%rbp),%edx
  mov    -0x68(%rbp),%rax
  sub    $0x8,%rsp
  push   %r8
  push   %rdi
  push   %rsi
  mov    %r10d,%r8d
  lea    D22(%rip),%rsi
  mov    %rax,%rdi
  call   <fprintf@plt>
  add    $0x20,%rsp
  mov    -0x70(%rbp),%rax
  mov    %rax,%rdi
  call   <fclose@plt>
  mov    -0x68(%rbp),%rax
  mov    %rax,%rdi
  call   <fclose@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L60
  call   <__stack_chk_fail@plt>
L60:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D23
type: string
name: extract_symbolic_data
arguments: data_label: D58
type: string
name: extract_symbolic_data
arguments: data_label: D21
type: string
name: extract_symbolic_data
arguments: data_label: D0
type: string
name: extract_symbolic_data
arguments: data_label: D25
type: string
name: extract_symbolic_data
arguments: data_label: D22
type: string

tool: D23: r

tool: D58: friday.in

tool: D21: w

tool: D0: friday.out

tool: D25: %d

tool: D22: %d %d %d %d %d %d %d


assistant: ```c
int main() {
  FILE *fin = fopen("friday.in", "r");
  FILE *fout = fopen("friday.out", "w");
  int days_in_month[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
  int res[7] = {0};
  int year = 1900, month = 1, day = 1;
  int n, end_year;
  int which_day = 1;
  fscanf(fin, "%d", &n);
  end_year = 1900 + n - 1;
  while (year <= end_year) {
    if (day == 13)
      res[which_day]++;
    if (year % 400 == 0 || (year % 100 != 0 && year % 4 == 0))
      days_in_month[2] = 29;
    else
      days_in_month[2] = 28;
    if (day < days_in_month[month])
      day++;
    else {
      day = 1;
      if (month < 12)
        month++;
      else {
        month = 1;
        year++;
      }
    }
    which_day++;
    which_day %= 7;
  }
  fprintf(fout, "%d %d %d %d %d %d %d\n", res[6], res[0], res[1], res[2], res[3], res[4], res[5]);
  fclose(fin);
  fclose(fout);
  return 0;
}
```