user: What would the C source look like for the assembly code provided here?

```asm
<main>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  lea    -0x27000(%rsp),%r11
L113:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L113
  sub    $0x138,%rsp
  lea    D31(%rip),%r13
  lea    D85(%rip),%r12
  mov    %fs:0x28,%rax
  mov    %rax,0x27128(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbx
L163:
  lea    0x1(%rax),%ebp
  mov    %r13,%rdi
  xor    %eax,%eax
  mov    %ebp,%esi
  call   <printf@plt>
  lea    0x4(%rbx),%rdx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  cmp    $0x2,%eax
  jne    L73
  mov    0x4(%rbx),%esi
  mov    (%rbx),%edi
  call   <kontrolaCasu@plt>
  test   %rax,%rax
  je     L73
  mov    0x4(%rbx),%esi
  mov    (%rbx),%edi
  call   <naMinuty@plt>
  test   %eax,%eax
  je     L73
  add    $0x8,%rbx
  mov    $0x1,%eax
  cmp    $0x2,%ebp
  jne    L163
  mov    0x4(%rsp),%esi
  mov    (%rsp),%edi
  call   <naMinuty@plt>
  mov    0xc(%rsp),%esi
  mov    0x8(%rsp),%edi
  mov    %eax,%ebp
  call   <naMinuty@plt>
  lea    D41(%rip),%rdi
  mov    %eax,%ebx
  call   <puts@plt>
  lea    0x14(%rsp),%rdx
  lea    0x10(%rsp),%rsi
  mov    %r12,%rdi
  call   <scanf@plt>
  cmp    $0x2,%eax
  je     L85
L73:
  lea    D75(%rip),%rdi
  call   <puts@plt>
  mov    $0x1,%eax
L28:
  mov    0x27128(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L41
  add    $0x27138,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L85:
  mov    0x14(%rsp),%esi
  mov    0x10(%rsp),%edi
  call   <kontrolaCasu@plt>
  test   %rax,%rax
  je     L73
  mov    0x14(%rsp),%esi
  mov    0x10(%rsp),%edi
  call   <naMinuty@plt>
  cmp    %ebx,%eax
  jg     L73
  mov    0x14(%rsp),%esi
  mov    0x10(%rsp),%edi
  call   <naMinuty@plt>
  cmp    %ebx,%eax
  je     L73
  mov    0x14(%rsp),%esi
  mov    0x10(%rsp),%edi
  call   <naMinuty@plt>
  movd   %ebp,%xmm4
  mov    %ebx,%esi
  lea    0x20(%rsp),%r8
  sub    %eax,%esi
  pshufd $0x0,%xmm4,%xmm5
  movd   %ebx,%xmm4
  movdqa D61(%rip),%xmm2
  movd   %esi,%xmm6
  pshufd $0x0,%xmm4,%xmm4
  movdqa %xmm5,%xmm7
  movslq %esi,%rax
  pshufd $0x0,%xmm6,%xmm9
  movdqa %xmm4,%xmm6
  movdqa D48(%rip),%xmm8
  mov    %rax,0x138a0(%rsp)
  lea    0x138a8(%rsp),%rdx
  lea    0x13880(%rsp),%rcx
  mov    %r8,%rax
  psrlq  $0x20,%xmm7
  psrlq  $0x20,%xmm6
  pxor   %xmm3,%xmm3
  nopl   (%rax)
L35:
  movdqa %xmm2,%xmm0
  add    $0x20,%rax
  paddd  %xmm8,%xmm2
  add    $0x20,%rdx
  movdqa %xmm0,%xmm10
  movdqa %xmm0,%xmm1
  psrlq  $0x20,%xmm10
  pmuludq %xmm5,%xmm1
  movdqa %xmm10,%xmm11
  pmuludq %xmm4,%xmm0
  pmuludq %xmm7,%xmm11
  pmuludq %xmm6,%xmm10
  pshufd $0x8,%xmm1,%xmm1
  pshufd $0x8,%xmm0,%xmm0
  pshufd $0x8,%xmm11,%xmm11
  pshufd $0x8,%xmm10,%xmm10
  punpckldq %xmm11,%xmm1
  movdqa %xmm3,%xmm11
  punpckldq %xmm10,%xmm0
  pcmpgtd %xmm1,%xmm11
  movdqa %xmm1,%xmm12
  paddd  %xmm9,%xmm0
  movdqa %xmm0,%xmm10
  punpckhdq %xmm11,%xmm1
  punpckldq %xmm11,%xmm12
  movaps %xmm1,-0x10(%rax)
  movdqa %xmm3,%xmm1
  pcmpgtd %xmm0,%xmm1
  movaps %xmm12,-0x20(%rax)
  punpckldq %xmm1,%xmm10
  punpckhdq %xmm1,%xmm0
  movups %xmm10,-0x20(%rdx)
  movups %xmm0,-0x10(%rdx)
  cmp    %rax,%rcx
  jne    L35
  imul   $0x270d,%ebp,%edx
  xor    %r9d,%r9d
  lea    0x138a0(%rsp),%r10
  imul   $0x270d,%ebx,%eax
  lea    0x13880(%r8),%rdi
  movslq %edx,%rcx
  imul   $0x270e,%ebp,%edx
  add    %esi,%eax
  movq   %rcx,%xmm0
  movslq %edx,%rdx
  movq   %rdx,%xmm5
  lea    (%rbx,%rax,1),%edx
  cltq
  punpcklqdq %xmm5,%xmm0
  movaps %xmm0,0x13880(%rsp)
  movq   %rax,%xmm0
  movslq %edx,%rax
  movq   %rax,%xmm5
  imul   $0x270f,%ebp,%eax
  punpcklqdq %xmm5,%xmm0
  movups %xmm0,0x27108(%rsp)
  cltq
  mov    %rax,0x13890(%rsp)
  lea    (%rbx,%rdx,1),%eax
  cltq
  mov    %rax,0x27118(%rsp)
L158:
  mov    (%r10,%r9,8),%rsi
  mov    %r8,%rdx
  jmp    L100
  nopl   0x0(%rax)
L31:
  add    $0x8,%rdx
  cmp    %rdx,%rdi
  je     L105
L100:
  mov    (%rdx),%rax
  lea    0x1(%rax),%rcx
  cmp    %rcx,%rsi
  jne    L31
  test   %rax,%rax
  jne    L77
  lea    D27(%rip),%rdi
  call   <puts@plt>
  xor    %eax,%eax
  jmp    L28
L77:
  mov    $0x3c,%ecx
  cqto
  lea    D12(%rip),%rdi
  idiv   %rcx
  mov    %rax,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  xor    %eax,%eax
  jmp    L28
L105:
  add    $0x1,%r9
  cmp    $0x2710,%r9
  jne    L158
  lea    D22(%rip),%rdi
  call   <puts@plt>
  xor    %eax,%eax
  jmp    L28
L41:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D31
type_guessed: string
name: extract_symbolic_data
arguments: tag: D85
type_guessed: string
name: extract_symbolic_data
arguments: tag: D41
type_guessed: string
name: extract_symbolic_data
arguments: tag: D75
type_guessed: string
name: extract_symbolic_data
arguments: tag: D61
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D48
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D27
type_guessed: string
name: extract_symbolic_data
arguments: tag: D12
type_guessed: string
name: extract_symbolic_data
arguments: tag: D22
type_guessed: string

tool: D31: Interval spoje #%d:


tool: D85: %d:%d

tool: D41: Cas od odjezdu spoje #2:

tool: D75: Nespravny vstup.

tool: {"D61": [0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D48": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: D27: Spoj #2 bude odjizdet 1 minutu po prijezdu spoje #1 prave nyni.

tool: D12: Spoj #2 bude odjizdet 1 minutu po prijezdu spoje #1 za %ld:%02ld.


tool: D22: Spoj #2 nikdy nebude odjizdet 1 minutu po prijezdu spoje #1.

assistant: ```c
int main() {
  int spoje[3][2];
  int c, d = 0, ival1, ival2, odjezd, bejk = 0, p = 10000;
  long s1[10000], s2[10000], t = 0;
  for (c = 0; c < 2; c++) {
    printf("Interval spoje #%d:\n", c + 1);
    if (scanf("%d:%d", &spoje[c][0], &spoje[c][1]) != 2 || kontrolaCasu(spoje[c][0], spoje[c][1]) == 0 || naMinuty(spoje[c][0], spoje[c][1]) == 0) {
      printf("Nespravny vstup.\n");
      return 1;
    }
  }
  ival1 = naMinuty(spoje[0][0], spoje[0][1]);
  ival2 = naMinuty(spoje[1][0], spoje[1][1]);
  printf("Cas od odjezdu spoje #2:\n");
  if (scanf("%d:%d", &spoje[2][0], &spoje[2][1]) != 2 || kontrolaCasu(spoje[2][0], spoje[2][1]) == 0 || (naMinuty(spoje[2][0], spoje[2][1]) > ival2) || (naMinuty(spoje[2][0], spoje[2][1]) == ival2)) {
    printf("Nespravny vstup.\n");
    return 1;
  }
  s2[0] = odjezd = ival2 - naMinuty(spoje[2][0], spoje[2][1]);
  for (c = 1; c < p; c++) {
    s1[c - 1] = c * ival1;
    s2[c] = odjezd + (c * ival2);
  }
  for (c = 0; c < p; c++) {
    for (d = 0; d < p; d++) {
      if (s2[c] == s1[d] + 1) {
        bejk = 1;
        t = s1[d];
        break;
      }
    }
    if (bejk == 1)
      break;
  }
  if (bejk == 1) {
    if (t == 0)
      printf("Spoj #2 bude odjizdet 1 minutu po prijezdu spoje #1 prave nyni.\n");
    else
      printf("Spoj #2 bude odjizdet 1 minutu po prijezdu spoje #1 za %ld:%02ld.\n", t / 60, t % 60);
  } else
    printf("Spoj #2 nikdy nebude odjizdet 1 minutu po prijezdu spoje #1.\n");
  return 0;
}
```