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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    -0x27000(%rsp),%r11
L13:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L13
  sub    $0x150,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x27150(%rbp),%rax
  mov    %rax,%rsi
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movq   $0x1,-0x27140(%rbp)
  jmp    L90
L108:
  movq   $0x0,-0x27118(%rbp)
  movq   $0x0,-0x27128(%rbp)
  lea    -0x27148(%rbp),%rax
  mov    %rax,%rsi
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  movq   $0x0,-0x27138(%rbp)
  jmp    L39
L55:
  lea    -0x13890(%rbp),%rdx
  mov    -0x27138(%rbp),%rax
  shl    $0x3,%rax
  add    %rax,%rdx
  lea    -0x27110(%rbp),%rcx
  mov    -0x27138(%rbp),%rax
  shl    $0x3,%rax
  add    %rcx,%rax
  mov    %rax,%rsi
  lea    D8(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  addq   $0x1,-0x27138(%rbp)
L39:
  mov    -0x27148(%rbp),%rax
  cmp    %rax,-0x27138(%rbp)
  jl     L55
  movq   $0x0,-0x27138(%rbp)
  jmp    L138
L3:
  mov    -0x27138(%rbp),%rax
  mov    -0x27110(%rbp,%rax,8),%rdx
  mov    -0x27138(%rbp),%rax
  mov    -0x13890(%rbp,%rax,8),%rax
  imul   %rdx,%rax
  mov    %rax,-0x27118(%rbp)
  mov    -0x27118(%rbp),%rax
  cmp    -0x27128(%rbp),%rax
  jle    L7
  mov    -0x27118(%rbp),%rax
  mov    %rax,-0x27128(%rbp)
L7:
  addq   $0x1,-0x27138(%rbp)
L138:
  mov    -0x27148(%rbp),%rax
  cmp    %rax,-0x27138(%rbp)
  jl     L3
  movq   $0x0,-0x27138(%rbp)
  jmp    L69
L61:
  mov    -0x27138(%rbp),%rax
  mov    -0x27110(%rbp,%rax,8),%rax
  mov    %rax,-0x27120(%rbp)
  movq   $0x0,-0x27130(%rbp)
  jmp    L96
L141:
  mov    -0x27138(%rbp),%rax
  cmp    -0x27130(%rbp),%rax
  je     L95
  mov    -0x27130(%rbp),%rax
  mov    -0x13890(%rbp,%rax,8),%rdx
  mov    -0x27138(%rbp),%rax
  mov    -0x13890(%rbp,%rax,8),%rax
  cmp    %rax,%rdx
  jl     L25
  mov    -0x27130(%rbp),%rax
  mov    -0x27110(%rbp,%rax,8),%rax
  add    %rax,-0x27120(%rbp)
  jmp    L25
L95:
  nop
L25:
  addq   $0x1,-0x27130(%rbp)
L96:
  mov    -0x27148(%rbp),%rax
  cmp    %rax,-0x27130(%rbp)
  jl     L141
  mov    -0x27138(%rbp),%rax
  mov    -0x13890(%rbp,%rax,8),%rax
  mov    -0x27120(%rbp),%rdx
  imul   %rdx,%rax
  mov    %rax,-0x27118(%rbp)
  mov    -0x27118(%rbp),%rax
  cmp    -0x27128(%rbp),%rax
  jle    L22
  mov    -0x27118(%rbp),%rax
  mov    %rax,-0x27128(%rbp)
L22:
  addq   $0x1,-0x27138(%rbp)
L69:
  mov    -0x27148(%rbp),%rax
  cmp    %rax,-0x27138(%rbp)
  jl     L61
  mov    -0x27128(%rbp),%rdx
  mov    -0x27140(%rbp),%rax
  mov    %rax,%rsi
  lea    D5(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  addq   $0x1,-0x27140(%rbp)
L90:
  mov    -0x27150(%rbp),%rax
  cmp    %rax,-0x27140(%rbp)
  jle    L108
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L123
  call   <__stack_chk_fail@plt>
L123:
  leave
  ret
```

tool_calls: name: read_data
arguments: tag: D13
type: string
name: read_data
arguments: tag: D8
type: string
name: read_data
arguments: tag: D5
type: string

tool: D13: %lld

tool: D8: %lld %lld

tool: D5: Case %lld: %lld


assistant: ```c
int main() {
  long long t, p, n, a1[10000], a2[10000], i, j, sum, max, k, temp;
  scanf("%lld", &t);
  for (p = 1; p <= t; p++) {
    sum = 0;
    max = 0;
    scanf("%lld", &n);
    for (i = 0; i < n; i++) {
      scanf("%lld %lld", &a1[i], &a2[i]);
    }
    for (i = 0; i < n; i++) {
      sum = a1[i] * a2[i];
      if (sum > max)
        max = sum;
    }
    for (i = 0; i < n; i++) {
      temp = a1[i];
      for (j = 0; j < n; j++) {
        if (i == j)
          continue;
        if (a2[j] >= a2[i]) {
          temp += a1[j];
        }
      }
      sum = a2[i] * temp;
      if (sum > max)
        max = sum;
    }
    printf("Case %lld: %lld\n", p, max);
  }
  return 0;
}
```