user: What is the c source code of the assembly code below?

```asm
<printEncabezado1>:
  endbr64
  push   %rbp
  lea    D36(%rip),%rdi
  lea    D68(%rip),%rbp
  call   <printf@plt>
  lea    D63(%rip),%rdi
  call   <printf@plt>
  lea    D24(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  lea    D70(%rip),%rdi
  call   <printf@plt>
  mov    %rbp,%rdi
  call   <printf@plt>
  lea    D38(%rip),%rdi
  call   <printf@plt>
  lea    D122(%rip),%rdi
  call   <printf@plt>
  lea    D102(%rip),%rdi
  call   <printf@plt>
  lea    D49(%rip),%rdi
  call   <printf@plt>
  lea    D43(%rip),%rdi
  call   <printf@plt>
  lea    D71(%rip),%rdi
  call   <printf@plt>
  lea    D18(%rip),%rdi
  call   <printf@plt>
  lea    D13(%rip),%rdi
  call   <printf@plt>
  lea    D92(%rip),%rdi
  pop    %rbp
  jmp    1050 <printf@plt>
```

tool_calls: name: unpack_data
arguments: data_label: D36
data_type: string
name: unpack_data
arguments: data_label: D68
data_type: string
name: unpack_data
arguments: data_label: D63
data_type: string
name: unpack_data
arguments: data_label: D24
data_type: string
name: unpack_data
arguments: data_label: D70
data_type: string
name: unpack_data
arguments: data_label: D38
data_type: string
name: unpack_data
arguments: data_label: D122
data_type: string
name: unpack_data
arguments: data_label: D102
data_type: string
name: unpack_data
arguments: data_label: D49
data_type: string
name: unpack_data
arguments: data_label: D43
data_type: string
name: unpack_data
arguments: data_label: D71
data_type: string
name: unpack_data
arguments: data_label: D18
data_type: string
name: unpack_data
arguments: data_label: D13
data_type: string
name: unpack_data
arguments: data_label: D92
data_type: string

tool: D36: 




tool: D68: ##     ## ##     ## ##     ## ##     ## ##       ##       ###

tool: D63: ########  ########   #######  ########  ##       ######## 

tool: D24: ##     ##    ###          ##   


tool: D70:    ###   ## ##       ####   


tool: D38: # ####  ##   ##        ##   


tool: D122: ########  ########  ##     ## ########  ##       ######   ## 

tool: D102: ### ## ##     ##       ##   


tool: D49: ##        ##   ##   ##     ## ##     ## ##       ##       ## 

tool: D43:     ## #########       ##   


tool: D71: ##        ##    ##  ##     ## ##     ## ##       ##       ## 

tool: D18:     ## ##     ##       ##   


tool: D13: ##        ##     ##  #######  ########  ######## ######## ##  

tool: D92:    ## ##     ##     ###### 


assistant: ```c
void printEncabezado1() {
  printf("\n\n\n");
  printf("########  ########   #######  ########  ##       ######## ");
  printf("##     ##    ###          ##   \n");
  printf("##     ## ##     ## ##     ## ##     ## ##       ##       ###");
  printf("   ###   ## ##       ####   \n");
  printf("##     ## ##     ## ##     ## ##     ## ##       ##       ###");
  printf("# ####  ##   ##        ##   \n");
  printf("########  ########  ##     ## ########  ##       ######   ## ");
  printf("### ## ##     ##       ##   \n");
  printf("##        ##   ##   ##     ## ##     ## ##       ##       ## ");
  printf("    ## #########       ##   \n");
  printf("##        ##    ##  ##     ## ##     ## ##       ##       ## ");
  printf("    ## ##     ##       ##   \n");
  printf("##        ##     ##  #######  ########  ######## ######## ##  ");
  printf("   ## ##     ##     ###### \n");
}
```