user: 下面的汇编指令对应的C源代码是什么:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x80(%rbp)
  movl   $0x0,-0x7c(%rbp)
  movl   $0x0,-0x78(%rbp)
  movl   $0x1,-0x74(%rbp)
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  lea    D29(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  movzbl -0x20(%rbp),%eax
  cmp    $0x39,%al
  je     L290
  movzbl -0x1f(%rbp),%eax
  cmp    $0x37,%al
  je     L290
  movzbl -0x1e(%rbp),%eax
  cmp    $0x38,%al
  je     L290
  movl   $0x0,-0x74(%rbp)
L290:
  movzbl -0x20(%rbp),%eax
  cmp    $0x39,%al
  je     L351
  movzbl -0x1f(%rbp),%eax
  cmp    $0x37,%al
  je     L351
  movzbl -0x1e(%rbp),%eax
  cmp    $0x39,%al
  je     L351
  movl   $0x0,-0x74(%rbp)
L351:
  movl   $0x0,-0x84(%rbp)
  jmp    L94
L356:
  mov    -0x84(%rbp),%eax
  cltq
  movzbl -0x20(%rbp,%rax,1),%eax
  cmp    $0x2f,%al
  jle    L127
  mov    -0x84(%rbp),%eax
  cltq
  movzbl -0x20(%rbp,%rax,1),%eax
  cmp    $0x39,%al
  jg     L127
  mov    -0x84(%rbp),%eax
  cltq
  movzbl -0x20(%rbp,%rax,1),%eax
  movsbl %al,%eax
  lea    -0x30(%rax),%edx
  mov    -0x80(%rbp),%eax
  cltq
  mov    %edx,-0x70(%rbp,%rax,4)
  addl   $0x1,-0x7c(%rbp)
  addl   $0x1,-0x80(%rbp)
L127:
  addl   $0x1,-0x84(%rbp)
L94:
  cmpl   $0x13,-0x84(%rbp)
  jle    L356
  cmpl   $0xd,-0x7c(%rbp)
  je     L193
  movl   $0x0,-0x74(%rbp)
L193:
  movl   $0x0,-0x84(%rbp)
  jmp    L57
L134:
  cmpl   $0xc,-0x84(%rbp)
  jne    L8
  mov    -0x84(%rbp),%eax
  cltq
  mov    -0x70(%rbp,%rax,4),%eax
  add    %eax,-0x78(%rbp)
  jmp    L326
L8:
  mov    -0x84(%rbp),%eax
  cltq
  mov    -0x70(%rbp,%rax,4),%edx
  mov    -0x78(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x84(%rbp),%eax
  add    $0x1,%eax
  cltq
  mov    -0x70(%rbp,%rax,4),%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  add    %ecx,%eax
  mov    %eax,-0x78(%rbp)
L326:
  addl   $0x2,-0x84(%rbp)
L57:
  cmpl   $0xb,-0x84(%rbp)
  jle    L134
  mov    -0x78(%rbp),%edx
  movslq %edx,%rax
  imul   $0x66666667,%rax,%rax
  shr    $0x20,%rax
  sar    $0x2,%eax
  mov    %edx,%esi
  sar    $0x1f,%esi
  sub    %esi,%eax
  mov    %eax,%ecx
  mov    %ecx,%eax
  shl    $0x2,%eax
  add    %ecx,%eax
  add    %eax,%eax
  sub    %eax,%edx
  mov    %edx,-0x78(%rbp)
  mov    $0xa,%eax
  sub    -0x78(%rbp),%eax
  mov    %eax,-0x78(%rbp)
  cmpl   $0xa,-0x78(%rbp)
  jne    L121
  movl   $0x0,-0x78(%rbp)
L121:
  mov    -0x40(%rbp),%eax
  cmp    %eax,-0x78(%rbp)
  je     L89
  movl   $0x0,-0x74(%rbp)
L89:
  mov    -0x74(%rbp),%eax
  mov    %eax,%esi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  cmpl   $0x1,-0x74(%rbp)
  jne    L314
  movzbl -0x1a(%rbp),%eax
  cmp    $0x39,%al
  jne    L68
  movzbl -0x19(%rbp),%eax
  cmp    $0x33,%al
  jne    L68
  movzbl -0x18(%rbp),%eax
  cmp    $0x33,%al
  jne    L68
  movzbl -0x17(%rbp),%eax
  cmp    $0x33,%al
  jne    L68
  movzbl -0x16(%rbp),%eax
  cmp    $0x34,%al
  jne    L68
  movzbl -0x15(%rbp),%eax
  cmp    $0x36,%al
  jne    L68
  lea    D26(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L68:
  movzbl -0x1a(%rbp),%eax
  cmp    $0x35,%al
  jne    L261
  movzbl -0x19(%rbp),%eax
  cmp    $0x35,%al
  jne    L261
  movzbl -0x18(%rbp),%eax
  cmp    $0x35,%al
  jne    L261
  movzbl -0x17(%rbp),%eax
  cmp    $0x38,%al
  jne    L261
  movzbl -0x16(%rbp),%eax
  cmp    $0x33,%al
  jne    L261
  lea    D48(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L261:
  movzbl -0x1a(%rbp),%eax
  cmp    $0x34,%al
  jne    L21
  movzbl -0x19(%rbp),%eax
  cmp    $0x32,%al
  jne    L21
  movzbl -0x18(%rbp),%eax
  cmp    $0x31,%al
  jne    L21
  movzbl -0x17(%rbp),%eax
  cmp    $0x30,%al
  jne    L21
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L21:
  movzbl -0x1a(%rbp),%eax
  cmp    $0x30,%al
  jne    L314
  movzbl -0x19(%rbp),%eax
  cmp    $0x31,%al
  jne    L314
  lea    D56(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
L314:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L63
  call   <__stack_chk_fail@plt>
L63:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D29
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D31
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D26
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D48
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D0
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D56
type_guessed: string

tool: D29: %s

tool: D31: %d

tool: D26: 
Bluebridge

tool: D48: 
Alyson Books

tool: D0: 
FUNimation Productions, Ltd.

tool: D56: 
Pyramid Books

assistant: ```c
int main() {
  int numbers[20];
  int i, j = 0, count = 0, checkdigit = 0, flag = 1;
  char ISBN[20];
  scanf("%s", ISBN);
  if (ISBN[0] != '9' && ISBN[1] != '7' && ISBN[2] != '8')
    flag = 0;
  if (ISBN[0] != '9' && ISBN[1] != '7' && ISBN[2] != '9')
    flag = 0;
  for (i = 0; i < 20; i++) {
    if (ISBN[i] >= '0' && ISBN[i] <= '9') {
      numbers[j] = (ISBN[i] - 48);
      count++;
      j++;
    }
  }
  if (count != 13)
    flag = 0;
  for (i = 0; i < 12; i = i + 2) {
    if (i == 12)
      checkdigit = checkdigit + numbers[i];
    else
      checkdigit = checkdigit + numbers[i] + numbers[i + 1] * 3;
  }
  checkdigit = checkdigit % 10;
  checkdigit = 10 - checkdigit;
  if (checkdigit == 10)
    checkdigit = 0;
  if (numbers[12] != checkdigit)
    flag = 0;
  printf("%d", flag);
  if (flag == 1) {
    if (ISBN[6] == '9' && ISBN[7] == '3' && ISBN[8] == '3' && ISBN[9] == '3' && ISBN[10] == '4' && ISBN[11] == '6')
      printf("\nBluebridge");
    if (ISBN[6] == '5' && ISBN[7] == '5' && ISBN[8] == '5' && ISBN[9] == '8' && ISBN[10] == '3')
      printf("\nAlyson Books");
    if (ISBN[6] == '4' && ISBN[7] == '2' && ISBN[8] == '1' && ISBN[9] == '0')
      printf("\nFUNimation Productions, Ltd.");
    if (ISBN[6] == '0' && ISBN[7] == '1')
      printf("\nPyramid Books");
  }
  return 0;
}
```