user: 请从给定的汇编指令推导出C源代码：

```asm
<write_lifted_supports>:
  endbr64
  push   %rbp
  movslq %edi,%rcx
  lea    0xf(,%rcx,4),%rdx
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x38,%rsp
  mov    %edi,-0x60(%rbp)
  mov    %rsp,%rsi
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  mov    %rdx,%rax
  and    $0xfffffffffffff000,%rdx
  sub    %rdx,%rsi
  and    $0xfffffffffffffff0,%rax
  cmp    %rsi,%rsp
  je     L39
L162:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rsi,%rsp
  jne    L162
L39:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L100
L58:
  lea    0xf(,%rcx,8),%rdx
  mov    %rsp,%rcx
  mov    %rsp,%r13
  mov    %rdx,%rax
  and    $0xfffffffffffff000,%rdx
  sub    %rdx,%rcx
  and    $0xfffffffffffffff0,%rax
  cmp    %rcx,%rsp
  je     L34
L60:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L60
L34:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L158
L32:
  mov    %r13,%rsi
  lea    -0x3c(%rbp),%rdi
  mov    %rsp,%r14
  xor    %ebx,%ebx
  call   <celcon_length_of_supports@plt>
  lea    D35(%rip),%rdi
  lea    D18(%rip),%r12
  mov    %eax,-0x5c(%rbp)
  xor    %eax,%eax
  call   <printf@plt>
  mov    -0x3c(%rbp),%esi
  test   %esi,%esi
  jle    L133
  nopl   0x0(%rax,%rax,1)
L59:
  mov    0x0(%r13,%rbx,4),%esi
  mov    %r12,%rdi
  xor    %eax,%eax
  add    $0x1,%rbx
  call   <printf@plt>
  cmp    %ebx,-0x3c(%rbp)
  jg     L59
L133:
  mov    $0xa,%edi
  call   <putchar@plt>
  lea    D2(%rip),%rdi
  call   <puts@plt>
  mov    -0x3c(%rbp),%ecx
  test   %ecx,%ecx
  jle    L163
  mov    -0x60(%rbp),%ecx
  mov    %r13,-0x48(%rbp)
  lea    D18(%rip),%rbx
  movl   $0x0,-0x4c(%rbp)
  lea    -0x2(%rcx),%eax
  lea    0x8(%r14,%rax,8),%r12
  lea    -0x1(%rcx),%eax
  mov    %eax,-0x50(%rbp)
  nopl   0x0(%rax)
L73:
  movslq -0x50(%rbp),%rax
  addl   $0x1,-0x4c(%rbp)
  xor    %r13d,%r13d
  mov    %rax,-0x58(%rbp)
  mov    -0x48(%rbp),%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jle    L138
  nopl   0x0(%rax)
L36:
  mov    -0x4c(%rbp),%esi
  mov    -0x60(%rbp),%edi
  add    $0x1,%r13d
  mov    %r14,%rcx
  mov    %r13d,%edx
  mov    %r14,%r15
  call   <celcon_get_lifted_point@plt>
  mov    -0x50(%rbp),%edx
  mov    %eax,-0x5c(%rbp)
  test   %edx,%edx
  jle    L4
  nopw   0x0(%rax,%rax,1)
L12:
  cvttsd2si (%r15),%esi
  mov    %rbx,%rdi
  xor    %eax,%eax
  add    $0x8,%r15
  call   <printf@plt>
  cmp    %r12,%r15
  jne    L12
L4:
  mov    -0x58(%rbp),%rax
  lea    D5(%rip),%rdi
  movsd  (%r14,%rax,8),%xmm0
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x48(%rbp),%rax
  cmp    (%rax),%r13d
  jl     L36
L138:
  mov    $0xa,%edi
  call   <putchar@plt>
  addq   $0x4,-0x48(%rbp)
  mov    -0x4c(%rbp),%eax
  cmp    %eax,-0x3c(%rbp)
  jg     L73
L163:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L74
  mov    -0x5c(%rbp),%eax
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L100:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L58
L158:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L32
L74:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D35
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D18
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D2
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D5
type_infered: string

tool: D35: 
length of the lifted support lists :

tool: D18:  %d

tool: D2: the lifted supports:

tool: D5:  %.15le


assistant: ```c
int write_lifted_supports(int n) {
  int fail, a, b, r, i, j, k;
  int nl[n];
  double *c, pt[n];
  fail = celcon_length_of_supports(&r, nl);
  printf("\nlength of the lifted support lists :");
  for (i = 0; i < r; i++)
    printf(" %d", nl[i]);
  printf("\n");
  printf("the lifted supports:\n");
  for (i = 0; i < r; i++) {
    for (j = 0; j < nl[i]; j++) {
      fail = celcon_get_lifted_point(n, i + 1, j + 1, pt);
      for (k = 0; k < n - 1; k++)
        printf(" %d", (int)pt[k]);
      printf(" %.15le\n", pt[n - 1]);
    }
    printf("\n");
  }
  return fail;
}
```