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

```asm
<main>:
  endbr64
  push   %r15
  lea    D25(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x138,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x128(%rsp)
  xor    %eax,%eax
  lea    0x6c(%rsp),%rdx
  lea    0x68(%rsp),%rsi
  call   <scanf@plt>
  mov    0x6c(%rsp),%eax
  test   %eax,%eax
  jle    L175
  mov    $0x4,%ebx
  mov    $0x1,%r15d
  lea    0x100(%rsp),%r14
  lea    0xd0(%rsp),%r13
  lea    0xa0(%rsp),%r12
  lea    D49(%rip),%rbp
L342:
  lea    (%r14,%rbx,1),%rcx
  lea    0x0(%r13,%rbx,1),%rdx
  mov    %rbp,%rdi
  xor    %eax,%eax
  lea    (%r12,%rbx,1),%rsi
  add    $0x1,%r15d
  add    $0x4,%rbx
  call   <scanf@plt>
  mov    0x6c(%rsp),%eax
  cmp    %r15d,%eax
  jge    L342
L175:
  mov    0x68(%rsp),%edi
  test   %edi,%edi
  jle    L362
  lea    -0x1(%rdi),%edx
  cmp    $0x2,%edx
  jbe    L69
  movdqa D15(%rip),%xmm0
  mov    %edi,%edx
  shr    $0x2,%edx
  movups %xmm0,0x74(%rsp)
  cmp    $0x1,%edx
  je     L597
  movups %xmm0,0x84(%rsp)
L597:
  mov    %edi,%ecx
  and    $0xfffffffc,%ecx
  lea    0x1(%rcx),%edx
  cmp    %ecx,%edi
  je     L489
L519:
  movslq %edx,%rcx
  movl   $0xf423f,0x70(%rsp,%rcx,4)
  lea    0x1(%rdx),%ecx
  cmp    %ecx,%edi
  jl     L415
  movslq %ecx,%rcx
  add    $0x2,%edx
  movl   $0xf423f,0x70(%rsp,%rcx,4)
  cmp    %edx,%edi
  jl     L489
  movslq %edx,%rdx
  movl   $0xf423f,0x70(%rsp,%rdx,4)
L489:
  movl   $0x0,0x74(%rsp)
L330:
  test   %eax,%eax
  jle    L132
  mov    0x10c(%rsp),%edx
  movslq 0xd4(%rsp),%rsi
  movslq 0xa4(%rsp),%r12
  mov    0x108(%rsp),%r13d
  mov    %edx,0x4(%rsp)
  mov    0x110(%rsp),%edx
  mov    %esi,0x5c(%rsp)
  mov    0x104(%rsp),%r11d
  mov    %edx,0x18(%rsp)
  mov    0x114(%rsp),%edx
  mov    %r12d,0x58(%rsp)
  mov    %edx,0x1c(%rsp)
  mov    0x118(%rsp),%edx
  mov    %edx,0x30(%rsp)
  mov    0xec(%rsp),%edx
  mov    %edx,0x34(%rsp)
  mov    0xbc(%rsp),%edx
  mov    %edx,0x38(%rsp)
  mov    0x11c(%rsp),%edx
  mov    %edx,0x3c(%rsp)
  mov    0xf0(%rsp),%edx
  mov    %edx,0x40(%rsp)
  mov    0xc0(%rsp),%edx
  mov    %edx,0x44(%rsp)
  mov    0x120(%rsp),%edx
  mov    %edx,0x48(%rsp)
  mov    0xf4(%rsp),%edx
  mov    %edx,0x4c(%rsp)
  mov    0xc4(%rsp),%edx
  mov    %edx,0x50(%rsp)
  mov    0x124(%rsp),%edx
  mov    %edx,0x54(%rsp)
  movslq 0xd8(%rsp),%r8
  mov    $0x1,%edx
  movslq 0xb4(%rsp),%rcx
  movslq 0xac(%rsp),%rbx
  mov    %r13d,(%rsp)
  movslq 0xa8(%rsp),%r15
  movslq 0xdc(%rsp),%r9
  mov    %rcx,0x20(%rsp)
  movslq 0xb8(%rsp),%rcx
  mov    %rbx,0x8(%rsp)
  movslq 0xb0(%rsp),%rbx
  mov    %rcx,0x28(%rsp)
  movslq 0xe0(%rsp),%r10
  mov    %rbx,0x10(%rsp)
  movslq 0xe8(%rsp),%rbp
  movslq 0xe4(%rsp),%rbx
  nopl   0x0(%rax,%rax,1)
L156:
  mov    0x70(%rsp,%r12,4),%ecx
  mov    0x70(%rsp,%rsi,4),%r13d
  add    %r11d,%ecx
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%rsi,4)
  cmp    $0x1,%eax
  je     L527
  mov    0x70(%rsp,%r8,4),%r13d
  mov    (%rsp),%ecx
  add    0x70(%rsp,%r15,4),%ecx
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%r8,4)
  cmp    $0x2,%eax
  je     L527
  mov    0x8(%rsp),%r13
  mov    0x4(%rsp),%ecx
  add    0x70(%rsp,%r13,4),%ecx
  mov    0x70(%rsp,%r9,4),%r13d
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%r9,4)
  cmp    $0x3,%eax
  je     L527
  mov    0x10(%rsp),%r14
  mov    0x70(%rsp,%r10,4),%r13d
  mov    0x18(%rsp),%ecx
  add    0x70(%rsp,%r14,4),%ecx
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%r10,4)
  cmp    $0x4,%eax
  je     L527
  mov    0x20(%rsp),%r14
  mov    0x70(%rsp,%rbx,4),%r13d
  mov    0x1c(%rsp),%ecx
  add    0x70(%rsp,%r14,4),%ecx
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%rbx,4)
  cmp    $0x5,%eax
  je     L527
  mov    0x28(%rsp),%r14
  mov    0x70(%rsp,%rbp,4),%r13d
  mov    0x30(%rsp),%ecx
  add    0x70(%rsp,%r14,4),%ecx
  cmp    %r13d,%ecx
  cmovg  %r13d,%ecx
  mov    %ecx,0x70(%rsp,%rbp,4)
  cmp    $0x6,%eax
  je     L527
  movslq 0x38(%rsp),%rcx
  movslq 0x34(%rsp),%r13
  mov    0x3c(%rsp),%r14d
  add    0x70(%rsp,%rcx,4),%r14d
  cmp    0x70(%rsp,%r13,4),%r14d
  mov    %r14d,%ecx
  cmovg  0x70(%rsp,%r13,4),%ecx
  mov    %ecx,0x70(%rsp,%r13,4)
  cmp    $0x7,%eax
  je     L527
  movslq 0x44(%rsp),%rcx
  movslq 0x40(%rsp),%r13
  mov    0x48(%rsp),%r14d
  add    0x70(%rsp,%rcx,4),%r14d
  cmp    0x70(%rsp,%r13,4),%r14d
  mov    %r14d,%ecx
  cmovg  0x70(%rsp,%r13,4),%ecx
  mov    %ecx,0x70(%rsp,%r13,4)
  cmp    $0x8,%eax
  je     L527
  movslq 0x50(%rsp),%rcx
  movslq 0x4c(%rsp),%r13
  mov    0x54(%rsp),%r14d
  add    0x70(%rsp,%rcx,4),%r14d
  cmp    0x70(%rsp,%r13,4),%r14d
  mov    %r14d,%ecx
  cmovg  0x70(%rsp,%r13,4),%ecx
  mov    %ecx,0x70(%rsp,%r13,4)
L527:
  add    $0x1,%edx
  cmp    %edi,%edx
  jne    L156
L357:
  movslq 0x58(%rsp),%rcx
  movslq 0x5c(%rsp),%rdx
  add    0x70(%rsp,%rcx,4),%r11d
  cmp    %r11d,0x70(%rsp,%rdx,4)
  jg     L437
  xor    %edx,%edx
  cmp    $0x1,%eax
  je     L425
L253:
  movslq 0xa8(%rsp),%rsi
  mov    0x108(%rsp),%ecx
  add    0x70(%rsp,%rsi,4),%ecx
  movslq 0xd8(%rsp),%rsi
  cmp    0x70(%rsp,%rsi,4),%ecx
  jl     L592
  cmp    $0x2,%eax
  je     L222
L495:
  movslq 0xac(%rsp),%r8
  movslq 0xdc(%rsp),%rsi
  mov    0x10c(%rsp),%ecx
  add    0x70(%rsp,%r8,4),%ecx
  cmp    %ecx,0x70(%rsp,%rsi,4)
  jg     L285
  cmp    $0x3,%eax
  je     L222
L255:
  movslq 0xb0(%rsp),%rsi
  mov    0x110(%rsp),%ecx
  add    0x70(%rsp,%rsi,4),%ecx
  movslq 0xe0(%rsp),%rsi
  cmp    0x70(%rsp,%rsi,4),%ecx
  jl     L247
  cmp    $0x4,%eax
  je     L222
L1:
  movslq 0xb4(%rsp),%r8
  movslq 0xe4(%rsp),%rsi
  mov    0x114(%rsp),%ecx
  add    0x70(%rsp,%r8,4),%ecx
  cmp    %ecx,0x70(%rsp,%rsi,4)
  jg     L494
  cmp    $0x5,%eax
  je     L222
L157:
  movslq 0xb8(%rsp),%r8
  movslq 0xe8(%rsp),%rsi
  mov    0x118(%rsp),%ecx
  add    0x70(%rsp,%r8,4),%ecx
  cmp    %ecx,0x70(%rsp,%rsi,4)
  jg     L412
  cmp    $0x6,%eax
  je     L222
L365:
  movslq 0xbc(%rsp),%r8
  movslq 0xec(%rsp),%rsi
  mov    0x11c(%rsp),%ecx
  add    0x70(%rsp,%r8,4),%ecx
  cmp    %ecx,0x70(%rsp,%rsi,4)
  jg     L363
  cmp    $0x7,%eax
  je     L222
L461:
  movslq 0xc0(%rsp),%r8
  movslq 0xf0(%rsp),%rsi
  mov    0x120(%rsp),%ecx
  add    0x70(%rsp,%r8,4),%ecx
  cmp    %ecx,0x70(%rsp,%rsi,4)
  jg     L138
  cmp    $0x8,%eax
  je     L222
L444:
  movslq 0xc4(%rsp),%rcx
  mov    0x124(%rsp),%eax
  add    0x70(%rsp,%rcx,4),%eax
  movslq 0xf4(%rsp),%rcx
  cmp    0x70(%rsp,%rcx,4),%eax
  jl     L335
L222:
  sub    $0x1,%edx
  je     L335
L425:
  test   %edi,%edi
  jle    L347
L132:
  mov    $0x1,%ebx
  lea    0x70(%rsp),%r12
  lea    D3(%rip),%rbp
  nopw   0x0(%rax,%rax,1)
L408:
  mov    (%r12,%rbx,4),%esi
  mov    %rbp,%rdi
  xor    %eax,%eax
  add    $0x1,%rbx
  call   <printf@plt>
  cmp    %ebx,0x68(%rsp)
  jge    L408
L347:
  mov    0x128(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L67
  add    $0x138,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L437:
  mov    $0x1,%edx
  cmp    $0x1,%eax
  jne    L253
L335:
  lea    D43(%rip),%rdi
  call   <puts@plt>
  mov    0x68(%rsp),%edi
  jmp    L425
L592:
  mov    $0x1,%edx
  cmp    $0x2,%eax
  jne    L495
  jmp    L335
L285:
  mov    $0x1,%edx
  cmp    $0x3,%eax
  jne    L255
  jmp    L335
L247:
  mov    $0x1,%edx
  cmp    $0x4,%eax
  jne    L1
  jmp    L335
L494:
  mov    $0x1,%edx
  cmp    $0x5,%eax
  jne    L157
  jmp    L335
L412:
  mov    $0x1,%edx
  cmp    $0x6,%eax
  jne    L365
  jmp    L335
L363:
  mov    $0x1,%edx
  cmp    $0x7,%eax
  jne    L461
  jmp    L335
L138:
  mov    $0x1,%edx
  cmp    $0x8,%eax
  jne    L444
  jmp    L335
L362:
  movl   $0x0,0x74(%rsp)
L158:
  test   %eax,%eax
  jle    L425
  mov    0xd4(%rsp),%esi
  mov    0x104(%rsp),%r11d
  mov    %esi,0x5c(%rsp)
  mov    0xa4(%rsp),%esi
  mov    %esi,0x58(%rsp)
  jmp    L357
L69:
  mov    $0x1,%edx
  jmp    L519
L415:
  movl   $0x0,0x74(%rsp)
  cmp    $0x1,%edi
  jg     L330
  jmp    L158
L67:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D25
type_infered: string
name: extract_symbolic_data
arguments: data_label: D49
type_infered: string
name: extract_symbolic_data
arguments: data_label: D15
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D3
type_infered: string
name: extract_symbolic_data
arguments: data_label: D43
type_infered: string

tool: D25: %d %d

tool: D49: %d %d %d

tool: {"D15": [0x3f,0x42,0x0f,0x00,0x3f,0x42,0x0f,0x00,0x3f,0x42,0x0f,0x00,0x3f,0x42,0x0f,0x00]}

tool: D3: %d

tool: D43: negtive circuit

assistant: ```c
int main() {
  int dis[10], u[10], v[10], w[10];
  int n, m;
  scanf("%d %d", &n, &m);
  for (int i = 1; i <= m; i++)
    scanf("%d %d %d", &u[i], &v[i], &w[i]);
  for (int i = 1; i <= n; i++)
    dis[i] = 999999;
  dis[1] = 0;
  for (int k = 1; k <= n - 1; k++)
    for (int i = 1; i <= m; i++)
      if (dis[v[i]] > dis[u[i]] + w[i])
        dis[v[i]] = dis[u[i]] + w[i];
  int flag = 0;
  for (int i = 1; i <= m; i++)
    if (dis[v[i]] > dis[u[i]] + w[i])
      flag = 1;
  if (flag == 1)
    printf("negtive circuit\n");
  for (int i = 1; i <= n; i++)
    printf("%d", dis[i]);
  return 0;
}
```