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

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    0x1c(%rsp),%rsi
  lea    D32(%rip),%rdi
  call   <scanf@plt>
  cmpl   $0x0,0x1c(%rsp)
  jle    L41
  mov    $0x0,%ebp
  mov    $0x0,%ebx
  pxor   %xmm6,%xmm6
  movsd  %xmm6,0x8(%rsp)
  movsd  %xmm6,(%rsp)
  lea    D59(%rip),%r12
  jmp    L48
L59:
  movsd  0x20(%rsp),%xmm2
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %eax,%edx
  and    $0xfffffffe,%edx
  pxor   %xmm0,%xmm0
  cvtsi2sd %edx,%xmm0
  mulsd  %xmm2,%xmm0
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  sub    %edx,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  mulsd  %xmm2,%xmm1
  movapd %xmm0,%xmm2
  mulsd  D16(%rip),%xmm2
  divsd  D68(%rip),%xmm2
  addsd  %xmm2,%xmm1
  addsd  (%rsp),%xmm1
  movsd  %xmm1,(%rsp)
  mulsd  D97(%rip),%xmm0
  divsd  D68(%rip),%xmm0
L52:
  addsd  0x8(%rsp),%xmm0
  movsd  %xmm0,0x8(%rsp)
  add    $0x1,%ebx
  cmp    %ebx,0x1c(%rsp)
  jle    L51
L48:
  lea    0x20(%rsp),%rdx
  lea    0x18(%rsp),%rsi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    0x18(%rsp),%eax
  add    %eax,%ebp
  cmp    $0x13,%eax
  jle    L59
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  0x20(%rsp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  D93(%rip),%xmm1
  movsd  D68(%rip),%xmm2
  divsd  %xmm2,%xmm1
  addsd  (%rsp),%xmm1
  movsd  %xmm1,(%rsp)
  mulsd  D22(%rip),%xmm0
  divsd  %xmm2,%xmm0
  jmp    L52
L41:
  mov    $0x0,%ebp
  pxor   %xmm7,%xmm7
  movsd  %xmm7,0x8(%rsp)
  movsd  %xmm7,(%rsp)
L51:
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebp,%xmm1
  movsd  (%rsp),%xmm0
  divsd  %xmm1,%xmm0
  movsd  0x8(%rsp),%xmm1
  mov    %ebp,%esi
  lea    D63(%rip),%rdi
  call   <printf@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L28
  mov    $0x0,%eax
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L28:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D32
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D59
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D16
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D68
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_tag: D97
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D93
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D22
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D63
type_infered: string

tool: D32: %d

tool: D59: %d %lf

tool: D16: 90

tool: {"D68": [0.0,3.390625]}

tool: D97: 10

tool: D93: 80

tool: D22: 20

tool: D63: %d
%.2f
%.0f

assistant: ```c
int main() {
  double sum = 0, price, discount = 0;
  int user, n, i, cnt = 0;
  scanf("%d", &n);
  for (i = 0; i < n; i++) {
    scanf("%d %lf", &user, &price);
    cnt += user;
    sum += (user >= 20) ? price * user * 80.0 / 100 : ((user / 2) * 2) * price * 90.0 / 100 + (user % 2) * price;
    discount += (user >= 20) ? price * user * 20.0 / 100 : ((user / 2) * 2) * price * 10.0 / 100;
  }
  printf("%d\n%.2f\n%.0f", cnt, sum / cnt, discount);
  return 0;
}
```