user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movl   $0x0,-0x24(%rbp)
  lea    -0x2c(%rbp),%rax
  mov    %rax,%rsi
  lea    D38(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movl   $0x0,-0x28(%rbp)
  jmp    L66
L40:
  lea    -0x20(%rbp),%rdx
  lea    -0x30(%rbp),%rax
  mov    %rax,%rsi
  lea    D46(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    -0x30(%rbp),%eax
  add    %eax,-0x24(%rbp)
  mov    -0x30(%rbp),%eax
  cmp    $0x13,%eax
  jle    L11
  mov    -0x30(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D24(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D103(%rip),%xmm1
  divsd  %xmm1,%xmm0
  jmp    L29
L11:
  mov    -0x30(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  add    %eax,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D18(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D103(%rip),%xmm2
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  mov    -0x30(%rbp),%eax
  cltd
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  sub    %edx,%eax
  pxor   %xmm2,%xmm2
  cvtsi2sd %eax,%xmm2
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
L29:
  movsd  -0x18(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x30(%rbp),%eax
  cmp    $0x13,%eax
  jle    L13
  mov    -0x30(%rbp),%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D47(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D103(%rip),%xmm1
  divsd  %xmm1,%xmm0
  jmp    L36
L13:
  mov    -0x30(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  add    %eax,%eax
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D41(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D103(%rip),%xmm1
  divsd  %xmm1,%xmm0
L36:
  movsd  -0x10(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  addl   $0x1,-0x28(%rbp)
L66:
  mov    -0x2c(%rbp),%eax
  cmp    %eax,-0x28(%rbp)
  jl     L40
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x24(%rbp),%xmm1
  movsd  -0x18(%rbp),%xmm0
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rdx
  movsd  -0x10(%rbp),%xmm0
  mov    -0x24(%rbp),%eax
  movapd %xmm0,%xmm1
  movq   %rdx,%xmm0
  mov    %eax,%esi
  lea    D78(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L39
  call   <__stack_chk_fail@plt>
L39:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D38
type_infered: string
name: extract_symbolic_data
arguments: data_label: D46
type_infered: string
name: extract_symbolic_data
arguments: data_label: D24
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D103
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_label: D18
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D47
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D41
type_infered: f64
name: extract_symbolic_data
arguments: data_label: D78
type_infered: string

tool: D38: %d

tool: D46: %d %lf

tool: D24: 80

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

tool: D18: 90

tool: D47: 20

tool: D41: 10

tool: D78: %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;
}
```