user: 下面的汇编指令对应的C源代码是什么:

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  lea    -0x5000(%rsp),%r11
L223:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L223
  sub    $0xdf8,%rsp
  lea    D5(%rip),%rbx
  lea    D23(%rip),%r14
  mov    %fs:0x28,%rax
  mov    %rax,0x5de8(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rax
  lea    0x1c(%rsp),%r13
  movl   $0x0,0x1c(%rsp)
  mov    %rax,0x8(%rsp)
  lea    0x2f00(%rsp),%rbp
L178:
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  cmp    $0x1,%eax
  jne    L141
L79:
  mov    0x1c(%rsp),%eax
  test   %eax,%eax
  je     L141
  mov    0x8(%rsp),%r12
  mov    $0x0,%r15d
  jle    L72
  nop
L125:
  mov    %r12,%rsi
  mov    %rbx,%rdi
  add    $0x4,%r12
  call   <scanf@plt>
  mov    0x1c(%rsp),%esi
  movl   $0x0,0x0(%rbp,%r15,4)
  add    $0x1,%r15
  cmp    %r15d,%esi
  jg     L125
  lea    -0x1(%rsi),%r8d
  test   %r8d,%r8d
  jle    L209
  cmp    $0x2,%r8d
  jle    L239
  lea    -0x4(%rsi),%edi
  mov    0x20(%rsp),%r9d
  lea    0x24(%rsp),%rdx
  xor    %ecx,%ecx
  and    $0xfffffffe,%edi
  add    $0x2,%edi
L247:
  mov    (%rdx),%r10d
  mov    %r10d,%r11d
  sub    %r9d,%r11d
  mov    %r11d,%eax
  neg    %eax
  cmovs  %r11d,%eax
  cmp    %eax,%esi
  jle    L232
  cltq
  movl   $0x1,0x2f00(%rsp,%rax,4)
L232:
  mov    0x4(%rdx),%r9d
  add    $0x2,%ecx
  mov    %r9d,%r11d
  sub    %r10d,%r11d
  mov    %r11d,%eax
  neg    %eax
  cmovs  %r11d,%eax
  cmp    %eax,%esi
  jle    L139
  cltq
  movl   $0x1,0x2f00(%rsp,%rax,4)
L139:
  add    $0x8,%rdx
  cmp    %edi,%ecx
  jne    L247
L200:
  mov    0x8(%rsp),%rcx
  movslq %edi,%rax
  lea    (%rcx,%rax,4),%rcx
  nop
L156:
  mov    0x4(%rcx),%eax
  sub    (%rcx),%eax
  add    $0x1,%edi
  mov    %eax,%edx
  neg    %edx
  cmovns %edx,%eax
  cmp    %eax,%esi
  jle    L153
  cltq
  movl   $0x1,0x2f00(%rsp,%rax,4)
L153:
  add    $0x4,%rcx
  cmp    %r8d,%edi
  jl     L156
  test   %esi,%esi
  jle    L72
L241:
  test   %esi,%esi
  mov    $0x1,%ecx
  cmovg  %esi,%ecx
  cmp    $0x3,%esi
  jle    L185
  mov    %ecx,%edx
  pxor   %xmm0,%xmm0
  mov    %rbp,%rax
  shr    $0x2,%edx
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x2f10(%rsp,%rdx,1),%rdx
  nop
L159:
  paddd  (%rax),%xmm0
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L159
  movdqa %xmm0,%xmm1
  mov    %ecx,%edx
  psrldq $0x8,%xmm1
  and    $0xfffffffc,%edx
  and    $0x3,%ecx
  paddd  %xmm1,%xmm0
  movdqa %xmm0,%xmm1
  psrldq $0x4,%xmm1
  paddd  %xmm1,%xmm0
  movd   %xmm0,%eax
  je     L222
L192:
  movslq %edx,%rcx
  add    0x2f00(%rsp,%rcx,4),%eax
  lea    0x1(%rdx),%ecx
  cmp    %ecx,%esi
  jle    L222
  movslq %ecx,%rcx
  add    $0x2,%edx
  add    0x2f00(%rsp,%rcx,4),%eax
  cmp    %edx,%esi
  jle    L222
  movslq %edx,%rdx
  add    0x2f00(%rsp,%rdx,4),%eax
L222:
  cmp    %eax,%r8d
  je     L234
L72:
  mov    %r14,%rdi
  call   <printf@plt>
  mov    %r13,%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  cmp    $0x1,%eax
  je     L79
L141:
  mov    0x5de8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L28
  add    $0x5df8,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L234:
  lea    D14(%rip),%rdi
  call   <printf@plt>
  jmp    L178
  nopl   0x0(%rax)
L209:
  test   %esi,%esi
  jg     L241
  xor    %eax,%eax
  jmp    L222
  nopl   0x0(%rax)
L185:
  xor    %edx,%edx
  xor    %eax,%eax
  jmp    L192
L239:
  xor    %edi,%edi
  jmp    L200
L28:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_label: D5
data_type: string
name: read_data
arguments: data_label: D23
data_type: string
name: read_data
arguments: data_label: D14
data_type: string

tool: D5: %d

tool: D23: Not jolly


tool: D14: Jolly


assistant: ```c
int main(void) {
  int n = 0;
  while (scanf("%d", &n) == 1 && n) {
    int numeros[3000], jolly[3000];
    int i = 0;
    for (i = 0; i < n; i++) {
      scanf("%d", &numeros[i]);
      jolly[i] = 0;
    }
    int z = 0;
    for (; z < n - 1; z++) {
      int val = abs(numeros[z + 1] - numeros[z]);
      if (val >= 0 && val <= (n - 1)) {
        jolly[val] = 1;
      }
    }
    int sum = 0, k;
    for (k = 0; k < n; k++) {
      sum = sum + jolly[k];
    }
    if (sum == n - 1) {
      printf("Jolly\n");
    } else {
      printf("Not jolly\n");
    }
  }
  return 0;
}
```