user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x28(%rbp)
  xor    %eax,%eax
  cmp    $0x2,%edi
  je     L139
  lea    -0x3000(%rsp),%rax
L188:
  cmp    %rax,%rsp
  je     L81
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L188
L81:
  sub    $0xe80,%rsp
  orq    $0x0,0xe78(%rsp)
  mov    %rsp,%r12
  lea    -0x3000(%rsp),%rax
L35:
  cmp    %rax,%rsp
  je     L212
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L35
L139:
  mov    0x8(%rsi),%rdi
  call   <atoi@plt>
  mov    %rsp,%rcx
  movslq %eax,%rbx
  movslq %ebx,%rax
  lea    0xf(,%rax,8),%rax
  mov    %rax,%rsi
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rsi
  and    $0xfffffffffffffff0,%rdx
  sub    %rsi,%rcx
L16:
  cmp    %rcx,%rsp
  je     L97
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L16
L212:
  sub    $0xe80,%rsp
  orq    $0x0,0xe78(%rsp)
  mov    $0x7d0,%ebx
  mov    %rsp,%r14
L145:
  movsd  D0(%rip),%xmm0
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L151:
  movsd  %xmm0,(%r12,%rax,8)
  add    $0x1,%rax
  cmp    %eax,%ebx
  jg     L151
L15:
  mov    $0xa,%r13d
  nopl   0x0(%rax)
L158:
  mov    %r14,%rdx
  mov    %r12,%rsi
  mov    %ebx,%edi
  call   <eval_AtA_times_u@plt>
  mov    %r12,%rdx
  mov    %r14,%rsi
  mov    %ebx,%edi
  call   <eval_AtA_times_u@plt>
  sub    $0x1,%r13d
  jne    L158
  test   %ebx,%ebx
  jle    L2
  pxor   %xmm4,%xmm4
  xor    %eax,%eax
  movapd %xmm4,%xmm2
  movapd %xmm4,%xmm0
  cs nopw 0x0(%rax,%rax,1)
L53:
  movsd  (%r14,%rax,8),%xmm1
  movsd  (%r12,%rax,8),%xmm3
  add    $0x1,%rax
  mulsd  %xmm1,%xmm3
  mulsd  %xmm1,%xmm1
  addsd  %xmm3,%xmm0
  addsd  %xmm1,%xmm2
  cmp    %rax,%rbx
  jne    L53
L190:
  divsd  %xmm2,%xmm0
  ucomisd %xmm0,%xmm4
  ja     L73
  sqrtsd %xmm0,%xmm0
L96:
  lea    D9(%rip),%rdi
  call   <printf@plt>
  mov    -0x28(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L59
  lea    -0x20(%rbp),%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %rbp
  ret
L97:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L168
L13:
  mov    %rax,%rdx
  mov    %rsp,%rcx
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%r12
  and    $0xfffffffffffffff0,%rdx
  sub    %rax,%rcx
L213:
  cmp    %rcx,%rsp
  je     L191
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L213
L2:
  pxor   %xmm4,%xmm4
  movapd %xmm4,%xmm2
  movapd %xmm4,%xmm0
  jmp    L190
L168:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L13
L191:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L20
  orq    $0x0,-0x8(%rsp,%rdx,1)
L20:
  mov    %rsp,%r14
  test   %ebx,%ebx
  jg     L145
  jmp    L15
L59:
  call   <__stack_chk_fail@plt>
L73:
  call   <sqrt@plt>
  jmp    L96
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D0
datatype: byte[8]
name: extract_symbolic_data
arguments: data_tag: D9
datatype: string

tool: {"D0": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: D9: %0.9f


assistant: ```c
int main(int argc, char *argv[]) {
  int i;
  int N = ((argc == 2) ? atoi(argv[1]) : 2000);
  double u[N], v[N], vBv, vv;
  for (i = 0; i < N; i++)
    u[i] = 1;
  for (i = 0; i < 10; i++) {
    eval_AtA_times_u(N, u, v);
    eval_AtA_times_u(N, v, u);
  }
  vBv = vv = 0;
  for (i = 0; i < N; i++) {
    vBv += u[i] * v[i];
    vv += v[i] * v[i];
  }
  printf("%0.9f\n", sqrt(vBv / vv));
  return 0;
}
```