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

```asm
<main>:
  endbr64
  sub    $0x8,%rsp
  lea    D193(%rip),%rsi
  lea    D117(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x43,%edx
  mov    $0x14,%esi
  lea    D125(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    $0x1383,%ecx
  mov    $0x15e,%edx
  mov    $0x14,%esi
  lea    D183(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D3(%rip),%rdi
  call   <puts@plt>
  lea    D195(%rip),%rcx
  lea    D109(%rip),%rdx
  lea    D126(%rip),%rsi
  lea    D168(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D114(%rip),%rdi
  call   <puts@plt>
  movsd  D187(%rip),%xmm2
  movsd  D162(%rip),%xmm1
  movsd  D60(%rip),%xmm0
  lea    D175(%rip),%rdi
  mov    $0x3,%eax
  call   <printf@plt>
  movsd  D111(%rip),%xmm2
  movsd  D155(%rip),%xmm1
  movsd  D19(%rip),%xmm0
  lea    D140(%rip),%rdi
  mov    $0x3,%eax
  call   <printf@plt>
  lea    D76(%rip),%rdi
  call   <puts@plt>
  movsd  D51(%rip),%xmm0
  lea    D35(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  add    $0x8,%rsp
  ret
```

tool_calls: name: read_data
arguments: data_label: D117
type_guessed: string
name: read_data
arguments: data_label: D125
type_guessed: string
name: read_data
arguments: data_label: D183
type_guessed: string
name: read_data
arguments: data_label: D3
type_guessed: string
name: read_data
arguments: data_label: D195
type_guessed: string
name: read_data
arguments: data_label: D109
type_guessed: string
name: read_data
arguments: data_label: D126
type_guessed: string
name: read_data
arguments: data_label: D168
type_guessed: string
name: read_data
arguments: data_label: D114
type_guessed: string
name: read_data
arguments: data_label: D187
type_guessed: byte[8]
name: read_data
arguments: data_label: D162
type_guessed: byte[8]
name: read_data
arguments: data_label: D60
type_guessed: f64
name: read_data
arguments: data_label: D175
type_guessed: string
name: read_data
arguments: data_label: D111
type_guessed: byte[8]
name: read_data
arguments: data_label: D155
type_guessed: byte[8]
name: read_data
arguments: data_label: D19
type_guessed: byte[8]
name: read_data
arguments: data_label: D140
type_guessed: string
name: read_data
arguments: data_label: D76
type_guessed: string
name: read_data
arguments: data_label: D51
type_guessed: byte[8]
name: read_data
arguments: data_label: D35
type_guessed: string

tool: D117: 
%s es de 

tool: D125: %d grados %c


tool: D183: a = %6d	b = %6d	c = %6d


tool: D3: 
Los resultados son los siguientes:

tool: D195: z

tool: D109: y

tool: D126: x

tool: D168: 
%5s		%5s		%5s


tool: D114: ________________________________________

tool: {"D187": [0x00,0x00,0x00,0xe0,0xce,0xf7,0xf3,0x3f]}

tool: {"D162": [0x00,0x00,0x00,0x00,0x00,0x48,0x93,0x40]}

tool: D60: 34.5

tool: D175: 
%8.2f	%8.2f	%8.2f

tool: {"D111": [0x00,0x00,0x00,0xe0,0xce,0xf7,0x03,0x40]}

tool: {"D155": [0x00,0x00,0x00,0xa0,0x99,0xd9,0x6e,0x40]}

tool: {"D19": [0x00,0x00,0x00,0x00,0x00,0xd2,0x93,0x40]}

tool: D140: 
%8.2f	%8.2f	%8.2f


tool: D76: 


tool: {"D51": [0x00,0x00,0x00,0x20,0x5a,0xbc,0x98,0x40]}

tool: D35: Valor resultante: %.3f


assistant: ```c
main() {
  char car;
  static char nombre[] = "La temperatura ambiente";
  int a, b, c;
  float x, y, z;
  car = 'C';
  a = 20;
  b = 350;
  c = 4995;
  x = 34.5;
  y = 1234;
  z = 1.248;
  printf("\n%s es de ", nombre);
  printf("%d grados %c\n", a, car);
  printf("\n");
  printf("a = %6d\tb = %6d\tc = %6d\n", a, b, c);
  printf("\nLos resultados son los siguientes:\n");
  printf("\n%5s\t\t%5s\t\t%5s\n", "x", "y", "z");
  printf("________________________________________\n");
  printf("\n%8.2f\t%8.2f\t%8.2f", x, y, z);
  printf("\n%8.2f\t%8.2f\t%8.2f\n", x + y, y / 5, z * 2);
  printf("\n\n");
  z *= (x + y);
  printf("Valor resultante: %.3f\n", z);
}
```