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

```asm
<time_pretty>:
  endbr64
  push   %r12
  mov    %rsi,%r12
  movb   $0x0,(%rsi)
  cmp    $0x15180,%edi
  jg     L61
  cmp    $0xe10,%edi
  jle    L19
  movslq %edi,%r9
  mov    %edi,%eax
  xor    %ecx,%ecx
  imul   $0xffffffff91a2b3c5,%r9,%r9
  sar    $0x1f,%eax
  shr    $0x20,%r9
  add    %edi,%r9d
  sar    $0xb,%r9d
  sub    %eax,%r9d
  imul   $0xfffff1f0,%r9d,%r8d
  add    %edi,%r8d
  cmp    $0x3c,%r8d
  jg     L99
L75:
  mov    %r12,%rdi
  mov    %r9d,%edx
  lea    D11(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopl   (%rax)
L19:
  cmp    $0x3c,%edi
  jle    L17
  movslq %edi,%r8
  mov    %edi,%eax
  lea    D13(%rip),%rsi
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %edi,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%ecx
  mov    %r8d,%eax
  mov    %r8d,%edx
  shl    $0x4,%ecx
  sub    %ecx,%eax
  lea    (%rdi,%rax,4),%ecx
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L17:
  mov    %edi,%edx
  lea    D5(%rip),%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopl   0x0(%rax)
L61:
  movslq %edi,%r10
  mov    %edi,%eax
  imul   $0xffffffffc22e4507,%r10,%r10
  sar    $0x1f,%eax
  shr    $0x20,%r10
  add    %edi,%r10d
  sar    $0x10,%r10d
  sub    %eax,%r10d
  imul   $0xfffeae80,%r10d,%r9d
  add    %edi,%r9d
  cmp    $0xe10,%r9d
  jg     L55
  cmp    $0x3c,%r9d
  jle    L90
  movslq %r9d,%r8
  mov    %r9d,%eax
  xor    %ecx,%ecx
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %r9d,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%edx
  mov    %r8d,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r9,%rax,4),%r9d
  jmp    L85
  nopl   0x0(%rax,%rax,1)
L55:
  movslq %r9d,%rcx
  mov    %r9d,%eax
  imul   $0xffffffff91a2b3c5,%rcx,%rcx
  sar    $0x1f,%eax
  shr    $0x20,%rcx
  add    %r9d,%ecx
  sar    $0xb,%ecx
  sub    %eax,%ecx
  imul   $0xfffff1f0,%ecx,%eax
  add    %eax,%r9d
  cmp    $0x3c,%r9d
  jle    L76
  movslq %r9d,%r8
  mov    %r9d,%eax
  imul   $0xffffffff88888889,%r8,%r8
  sar    $0x1f,%eax
  shr    $0x20,%r8
  add    %r9d,%r8d
  sar    $0x5,%r8d
  sub    %eax,%r8d
  mov    %r8d,%edx
  mov    %r8d,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r9,%rax,4),%r9d
  jmp    L85
  nopw   0x0(%rax,%rax,1)
L90:
  xor    %ecx,%ecx
L76:
  xor    %r8d,%r8d
L85:
  mov    %r12,%rdi
  mov    %r10d,%edx
  lea    D26(%rip),%rsi
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nop
L99:
  movslq %r8d,%rcx
  mov    %r8d,%eax
  imul   $0xffffffff88888889,%rcx,%rcx
  sar    $0x1f,%eax
  shr    $0x20,%rcx
  add    %r8d,%ecx
  sar    $0x5,%ecx
  sub    %eax,%ecx
  mov    %ecx,%edx
  mov    %ecx,%eax
  shl    $0x4,%edx
  sub    %edx,%eax
  lea    (%r8,%rax,4),%r8d
  jmp    L75
```

tool_calls: name: extract_symbolic_data
arguments: tag: D11
type_guessed: string
name: extract_symbolic_data
arguments: tag: D13
type_guessed: string
name: extract_symbolic_data
arguments: tag: D5
type_guessed: string
name: extract_symbolic_data
arguments: tag: D26
type_guessed: string

tool: D11: %dh %dm %ds

tool: D13: %dm %ds

tool: D5: %ds

tool: D26: %dd %dh %dm %ds

assistant: ```c
char *time_pretty(int32_t time, char *buffer, int32_t size) {
  int32_t days = 0, hours = 0, minutes = 0, seconds = 0;
  buffer[0] = '\0';
  if (time > (24 * 60 * 60)) {
    days = time / (24 * 60 * 60);
    time -= (days * 24 * 60 * 60);
  }
  if (time > (60 * 60)) {
    hours = time / (60 * 60);
    time -= (hours * 60 * 60);
  }
  if (time > 60) {
    minutes = time / 60;
    time -= (minutes * 60);
  }
  seconds = time;
  if (days) {
    sprintf(buffer, "%dd %dh %dm %ds", days, hours, minutes, seconds);
  } else if (hours) {
    sprintf(buffer, "%dh %dm %ds", hours, minutes, seconds);
  } else if (minutes) {
    sprintf(buffer, "%dm %ds", minutes, seconds);
  } else {
    sprintf(buffer, "%ds", seconds);
  }
  return buffer;
}
```