user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %r15
  lea    D88(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  lea    0x8(%rsp),%rsi
  call   <scanf@plt>
  mov    0x8(%rsp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,0x8(%rsp)
  test   %eax,%eax
  je     L101
  lea    0x10(%rsp),%r13
  lea    0x14(%rsp),%r12
  lea    0xc(%rsp),%rbp
  lea    D62(%rip),%rbx
  lea    D25(%rip),%r15
  lea    D26(%rip),%r14
  jmp    L134
  nopl   0x0(%rax)
L103:
  cmpl   $0x15e0,0x10(%rsp)
  jg     L59
  cmp    $0x32,%eax
  jle    L23
  lea    D12(%rip),%rdi
  call   <printf@plt>
  nopl   0x0(%rax,%rax,1)
L78:
  mov    0x8(%rsp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,0x8(%rsp)
  test   %eax,%eax
  je     L101
L134:
  xor    %eax,%eax
  mov    %r13,%rcx
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  pxor   %xmm0,%xmm0
  mov    0xc(%rsp),%eax
  movsd  D2(%rip),%xmm1
  cvtss2sd 0x14(%rsp),%xmm0
  comisd %xmm0,%xmm1
  ja     L103
  cmpl   $0x15e0,0x10(%rsp)
  jle    L137
  cmp    $0x32,%eax
  jle    L23
  lea    D47(%rip),%rdi
  call   <printf@plt>
  mov    0x8(%rsp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,0x8(%rsp)
  test   %eax,%eax
  jne    L134
L101:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L46
  add    $0x28,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L23:
  mov    %r14,%rdi
  call   <printf@plt>
  jmp    L78
  nopl   (%rax)
L59:
  cmp    $0x32,%eax
  jle    L34
  lea    D69(%rip),%rdi
  call   <printf@plt>
  jmp    L78
  xchg   %ax,%ax
L137:
  cmp    $0x32,%eax
  jg     L23
  mov    %r15,%rdi
  call   <printf@plt>
  jmp    L78
L34:
  lea    D49(%rip),%rdi
  call   <printf@plt>
  jmp    L78
L46:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D88
type_guessed: string
name: extract_symbolic_data
arguments: label: D62
type_guessed: string
name: extract_symbolic_data
arguments: label: D25
type_guessed: string
name: extract_symbolic_data
arguments: label: D26
type_guessed: string
name: extract_symbolic_data
arguments: label: D12
type_guessed: string
name: extract_symbolic_data
arguments: label: D2
type_guessed: f64
name: extract_symbolic_data
arguments: label: D47
type_guessed: string
name: extract_symbolic_data
arguments: label: D69
type_guessed: string
name: extract_symbolic_data
arguments: label: D49
type_guessed: string

tool: D88: %d

tool: D62: %d %f %d

tool: D25: 5


tool: D26: 6


tool: D12: 9


tool: D2: 0.7

tool: D47: 7


tool: D69: 10


tool: D49: 8


assistant: ```c
int main() {
  int T, a, c, ca, cb, cc;
  float b;
  scanf("%d", &T);
  while (T--) {
    ca = cb = cc = 0;
    scanf("%d %f %d", &a, &b, &c);
    if (a > 50)
      ca = 1;
    if (b < 0.7)
      cb = 1;
    if (c > 5600)
      cc = 1;
    if (ca && cb && cc)
      printf("10\n");
    else if (ca && cb && !cc)
      printf("9\n");
    else if (!ca && cb && cc)
      printf("8\n");
    else if (ca && !cb && cc)
      printf("7\n");
    else if ((ca && !cb && !cc) || (!ca && cb && !cc) || (!ca && !cb && cc))
      printf("6\n");
    else
      printf("5\n");
  }
  return 0;
}
```