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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  lea    D58(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,-0x5c(%rbp)
  cmpl   $0x11,-0x5c(%rbp)
  je     L41
  lea    D67(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  jmp    L161
L41:
  lea    -0x20(%rbp),%rax
  lea    D103(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strtok@plt>
  mov    %rax,-0x58(%rbp)
  movl   $0x0,-0x60(%rbp)
  jmp    L76
L64:
  mov    -0x60(%rbp),%eax
  cltq
  mov    -0x58(%rbp),%rdx
  mov    %rdx,-0x50(%rbp,%rax,8)
  lea    D103(%rip),%rax
  mov    %rax,%rsi
  mov    $0x0,%edi
  call   <strtok@plt>
  mov    %rax,-0x58(%rbp)
  addl   $0x1,-0x60(%rbp)
L76:
  cmpq   $0x0,-0x58(%rbp)
  jne    L64
  mov    -0x50(%rbp),%rax
  lea    D37(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L86
  mov    -0x50(%rbp),%rax
  lea    D24(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L86
  lea    D67(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x0,%eax
  jmp    L161
L86:
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <checkISBN@plt>
  movsbl %al,%edx
  mov    -0x30(%rbp),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  sub    $0x30,%eax
  cmp    %eax,%edx
  jne    L92
  lea    D153(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    -0x40(%rbp),%rax
  lea    D53(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L147
  lea    D107(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L102
L147:
  mov    -0x40(%rbp),%rax
  lea    D4(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L114
  lea    D59(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L102
L114:
  mov    -0x40(%rbp),%rax
  lea    D93(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L30
  lea    D111(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L102
L30:
  mov    -0x40(%rbp),%rax
  lea    D106(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L102
  lea    D48(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L102
L92:
  lea    D67(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
L102:
  mov    $0x0,%eax
L161:
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L58
  call   <__stack_chk_fail@plt>
L58:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D58
type_guessed: string
name: extract_symbolic_data
arguments: tag: D67
type_guessed: string
name: extract_symbolic_data
arguments: tag: D103
type_guessed: string
name: extract_symbolic_data
arguments: tag: D37
type_guessed: string
name: extract_symbolic_data
arguments: tag: D24
type_guessed: string
name: extract_symbolic_data
arguments: tag: D153
type_guessed: string
name: extract_symbolic_data
arguments: tag: D53
type_guessed: string
name: extract_symbolic_data
arguments: tag: D107
type_guessed: string
name: extract_symbolic_data
arguments: tag: D4
type_guessed: string
name: extract_symbolic_data
arguments: tag: D59
type_guessed: string
name: extract_symbolic_data
arguments: tag: D93
type_guessed: string
name: extract_symbolic_data
arguments: tag: D111
type_guessed: string
name: extract_symbolic_data
arguments: tag: D106
type_guessed: string
name: extract_symbolic_data
arguments: tag: D48
type_guessed: string

tool: D58: %s

tool: D67: 0

tool: D103: -

tool: D37: 978

tool: D24: 979

tool: D153: 1

tool: D53: 933346

tool: D107: 
Bluebridge

tool: D4: 55583

tool: D59: 
Alyson Books

tool: D93: 4210

tool: D111: 
FUNimation Productions, Ltd.

tool: D106: 01

tool: D48: 
Pyramid Books

assistant: ```c
int main() {
  char code[20];
  char *code_elems[5];
  int i, l;
  char *element;
  scanf("%s", code);
  l = strlen(code);
  if (l != 17) {
    printf("0");
    return 0;
  }
  element = strtok(code, "-");
  for (i = 0; element != NULL; i++) {
    code_elems[i] = element;
    element = strtok(NULL, "-");
  }
  if ((strcmp(code_elems[0], "978") != 0) && (strcmp(code_elems[0], "979") != 0)) {
    printf("0");
    return 0;
  }
  if (checkISBN(code) == *code_elems[4] - '0') {
    printf("1");
    if (strcmp(code_elems[2], "933346") == 0) {
      printf("\nBluebridge");
    } else if (strcmp(code_elems[2], "55583") == 0) {
      printf("\nAlyson Books");
    } else if (strcmp(code_elems[2], "4210") == 0) {
      printf("\nFUNimation Productions, Ltd.");
    } else if (strcmp(code_elems[2], "01") == 0) {
      printf("\nPyramid Books");
    }
  } else {
    printf("0");
  }
  return 0;
}
```