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

```asm
<refine>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %ecx,%r12d
  push   %rbp
  push   %rbx
  mov    %edx,%ebx
  sub    $0x98,%rsp
  mov    %rdi,0x18(%rsp)
  mov    %rsi,0x10(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x88(%rsp)
  xor    %eax,%eax
  cmp    %ecx,%ebx
  mov    %ecx,0x28(%rsp)
  sete   %al
  cmp    %r8d,%ebx
  mov    %ecx,0x34(%rsp)
  mov    %ecx,0x4c(%rsp)
  mov    %ecx,0x5c(%rsp)
  mov    %ecx,0x68(%rsp)
  mov    %ecx,0x74(%rsp)
  sete   %cl
  or     %cl,%al
  mov    %edx,0x24(%rsp)
  mov    %edx,0x3c(%rsp)
  mov    %edx,0x48(%rsp)
  mov    %edx,0x54(%rsp)
  mov    %edx,0x6c(%rsp)
  mov    %edx,0x78(%rsp)
  movslq (%rsi),%rdx
  mov    %r8d,0x2c(%rsp)
  mov    %r8d,0x38(%rsp)
  mov    %r8d,0x44(%rsp)
  mov    %r8d,0x58(%rsp)
  mov    %r8d,0x64(%rsp)
  mov    %r8d,0x7c(%rsp)
  jne    L72
  mov    %r8d,%ebp
  cmp    %r8d,%r12d
  je     L72
  test   %edx,%edx
  jle    L12
  lea    -0x1(%rdx),%eax
  mov    %rdi,%r15
  lea    0x20(%rsp),%r13
  shl    $0x4,%rax
  lea    0x30(%rsp),%r14
  lea    0x10(%rdi,%rax,1),%rax
  mov    %rax,0x8(%rsp)
  jmp    L35
  nopw   0x0(%rax,%rax,1)
L67:
  mov    $0x3,%edx
  mov    %r15,%rsi
  mov    %r14,%rdi
  call   <equal@plt>
  test   %rax,%rax
  jne    L72
  lea    0x40(%rsp),%rdi
  mov    $0x3,%edx
  mov    %r15,%rsi
  call   <equal@plt>
  test   %rax,%rax
  jne    L72
  lea    0x50(%rsp),%rdi
  mov    $0x3,%edx
  mov    %r15,%rsi
  call   <equal@plt>
  test   %rax,%rax
  jne    L72
  lea    0x60(%rsp),%rdi
  mov    $0x3,%edx
  mov    %r15,%rsi
  call   <equal@plt>
  test   %rax,%rax
  jne    L72
  lea    0x70(%rsp),%rdi
  mov    $0x3,%edx
  mov    %r15,%rsi
  call   <equal@plt>
  test   %rax,%rax
  jne    L72
  add    $0x10,%r15
  cmp    0x8(%rsp),%r15
  je     L50
L35:
  mov    $0x3,%edx
  mov    %r15,%rsi
  mov    %r13,%rdi
  call   <equal@plt>
  test   %rax,%rax
  je     L67
  nopl   0x0(%rax)
L72:
  mov    0x88(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L31
  add    $0x98,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L50:
  mov    0x10(%rsp),%rax
  movslq (%rax),%rdx
L12:
  mov    0x18(%rsp),%rcx
  shl    $0x4,%rdx
  mov    %ebx,0x4(%rcx,%rdx,1)
  mov    0x10(%rsp),%rbx
  movslq (%rbx),%rax
  shl    $0x4,%rax
  mov    %r12d,0x8(%rcx,%rax,1)
  movslq (%rbx),%rax
  shl    $0x4,%rax
  mov    %ebp,0xc(%rcx,%rax,1)
  addl   $0x1,(%rbx)
  jmp    L72
L31:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void refine(int triples[20000][4], int *len, int first, int second, int third) {
  register int i;
  int t1[4], t2[4], t3[4], t4[4], t5[4], t6[4];
  int check_len;
  int write = 1;
  t1[1] = first;
  t1[2] = second;
  t1[3] = third;
  t2[1] = second;
  t2[2] = third;
  t2[3] = first;
  t3[1] = third;
  t3[2] = first;
  t3[3] = second;
  t4[1] = first;
  t4[2] = third;
  t4[3] = second;
  t5[1] = third;
  t5[2] = second;
  t5[3] = first;
  t6[1] = second;
  t6[2] = first;
  t6[3] = third;
  check_len = *len;
  if ((first == second) || (second == third) || (first == third))
    return;
  for (i = 0; i < check_len; i++) {
    if ((equal(t1, triples[i], 3)) || (equal(t2, triples[i], 3)) || (equal(t3, triples[i], 3)) || (equal(t4, triples[i], 3)) || (equal(t5, triples[i], 3)) || (equal(t6, triples[i], 3)))
      return;
  }
  if (write == 1) {
    triples[(*len)][1] = first;
    triples[(*len)][2] = second;
    triples[(*len)][3] = third;
    (*len) = (*len) + 1;
  }
}
```