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

```asm
<main>:
  endbr64
  push   %r12
  lea    D126(%rip),%rdi
  push   %rbp
  push   %rbx
  sub    $0x50,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  lea    0x30(%rsp),%rbp
  mov    %rbp,%rsi
  call   <scanf@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  cmp    $0x11,%eax
  jne    L133
  lea    D57(%rip),%r12
  mov    %rbp,%rdi
  mov    %r12,%rsi
  call   <strtok@plt>
  test   %rax,%rax
  je     L147
  mov    %rsp,%rbx
  nopw   0x0(%rax,%rax,1)
L127:
  mov    %r12,%rsi
  xor    %edi,%edi
  mov    %rax,(%rbx)
  add    $0x8,%rbx
  call   <strtok@plt>
  test   %rax,%rax
  jne    L127
L147:
  mov    (%rsp),%r12
  lea    D48(%rip),%rsi
  mov    %r12,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L69
  lea    D56(%rip),%rsi
  mov    %r12,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L133
L69:
  mov    %rbp,%rdi
  call   <checkISBN@plt>
  mov    0x20(%rsp),%rdx
  movsbl %al,%eax
  movsbl (%rdx),%edx
  sub    $0x30,%edx
  cmp    %edx,%eax
  je     L128
L133:
  lea    D117(%rip),%rdi
  call   <printf@plt>
L18:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L131
  add    $0x50,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L128:
  lea    D111(%rip),%rdi
  call   <printf@plt>
  mov    0x10(%rsp),%rbp
  lea    D3(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L65
  lea    D28(%rip),%rdi
  call   <printf@plt>
  jmp    L18
L65:
  lea    D25(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  je     L28
  lea    D35(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L17
  lea    D74(%rip),%rdi
  call   <printf@plt>
  jmp    L18
L28:
  lea    D81(%rip),%rdi
  call   <printf@plt>
  jmp    L18
L17:
  lea    D21(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  jne    L18
  lea    D54(%rip),%rdi
  call   <printf@plt>
  jmp    L18
L131:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D126
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D57
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D48
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D56
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D117
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D111
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D3
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D28
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D25
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D35
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D74
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D81
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D21
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D54
type_infered: string

tool: D126: %s

tool: D57: -

tool: D48: 978

tool: D56: 979

tool: D117: 0

tool: D111: 1

tool: D3: 933346

tool: D28: 
Bluebridge

tool: D25: 55583

tool: D35: 4210

tool: D74: 
FUNimation Productions, Ltd.

tool: D81: 
Alyson Books

tool: D21: 01

tool: D54: 
Pyramid Books

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