user: 请将以下的汇编代码转换成C语言代码：

```asm
<slowprove>:
  endbr64
  test   %rdi,%rdi
  je     L82
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %rdi,%r14
  mov    %rsi,%rbx
  mov    %edx,%ebp
  mov    $0x0,%eax
  test   %rsi,%rsi
  je     L129
  mov    $0x0,%ecx
  mov    %rsi,%rdx
  mov    $0x0,%esi
  call   <equiv@plt>
  mov    %rax,%rdx
  mov    $0x1,%eax
  test   %rdx,%rdx
  je     L89
L129:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L89:
  mov    $0x0,%esi
  mov    %r14,%rdi
  call   <validinputs@plt>
  lea    0x1(%rax),%edx
  mov    $0x0,%eax
  cmp    %ebp,%edx
  jge    L129
  mov    %r14,%rdi
  call   <r_mix@plt>
  mov    %rax,%r12
  mov    %rax,%rdi
  call   <length_l@plt>
  mov    %eax,%r13d
  mov    %rbx,%rdx
  mov    %eax,%esi
  mov    %r12,%rdi
  call   <find@plt>
  test   %rax,%rax
  jns    L217
  mov    %r14,%rdi
  call   <r_switch@plt>
  mov    %rax,%r15
  mov    %rax,%rdi
  call   <length_l@plt>
  mov    %eax,0x8(%rsp)
  mov    %rbx,%rdx
  mov    %eax,%esi
  mov    %r15,%rdi
  call   <find@plt>
  test   %rax,%rax
  jns    L29
  mov    %r14,%rdi
  call   <r_medial@plt>
  mov    %rax,%r14
  mov    %rax,(%rsp)
  mov    %rax,%rdi
  call   <length_l@plt>
  mov    %eax,0xc(%rsp)
  mov    %rbx,%rdx
  mov    %eax,%esi
  mov    %r14,%rdi
  call   <find@plt>
  test   %rax,%rax
  jns    L225
  test   %r13d,%r13d
  jle    L61
  mov    %r12,%r14
  lea    -0x1(%r13),%eax
  lea    0x8(%r12,%rax,8),%r13
L165:
  mov    %ebp,%edx
  mov    %rbx,%rsi
  mov    (%r14),%rdi
  call   <slowprove>
  test   %eax,%eax
  jne    L58
  add    $0x8,%r14
  cmp    %r13,%r14
  jne    L165
L61:
  mov    0x8(%rsp),%eax
  test   %eax,%eax
  jle    L183
  mov    %r15,%r13
  lea    -0x1(%rax),%eax
  lea    0x8(%r15,%rax,8),%r14
L117:
  mov    %ebp,%edx
  mov    %rbx,%rsi
  mov    0x0(%r13),%rdi
  call   <slowprove>
  test   %eax,%eax
  jne    L119
  add    $0x8,%r13
  cmp    %r14,%r13
  jne    L117
L183:
  mov    0xc(%rsp),%eax
  test   %eax,%eax
  jle    L222
  mov    (%rsp),%rcx
  mov    %rcx,%r13
  lea    -0x1(%rax),%eax
  lea    0x8(%rcx,%rax,8),%r14
L85:
  mov    %ebp,%edx
  mov    %rbx,%rsi
  mov    0x0(%r13),%rdi
  call   <slowprove>
  test   %eax,%eax
  jne    L3
  add    $0x8,%r13
  cmp    %r13,%r14
  jne    L85
L222:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    (%rsp),%rdi
  call   <free_l@plt>
  mov    $0x0,%eax
  jmp    L129
L217:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L29:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L225:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    (%rsp),%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L58:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    (%rsp),%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L119:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    (%rsp),%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L3:
  mov    %r12,%rdi
  call   <free_l@plt>
  mov    %r15,%rdi
  call   <free_l@plt>
  mov    (%rsp),%rdi
  call   <free_l@plt>
  mov    $0x1,%eax
  jmp    L129
L82:
  mov    $0x0,%eax
  ret
```

assistant: ```c
int slowprove(int *f1, int *f2, int f2vi) {
  if (f1 == NULL || f2 == NULL)
    return 0;
  if (equiv(f1, NULL, f2, NULL))
    return 1;
  if (validinputs(f1, NULL) + 2 > f2vi)
    return 0;
  int **next_mix = r_mix(f1);
  int n_next_mix = length_l((void **)next_mix);
  if (find(next_mix, n_next_mix, f2) >= 0) {
    free_l((void **)next_mix);
    return 1;
  }
  int **next_switch = r_switch(f1);
  int n_next_switch = length_l((void **)next_switch);
  if (find(next_switch, n_next_switch, f2) >= 0) {
    free_l((void **)next_mix);
    free_l((void **)next_switch);
    return 1;
  }
  int **next_medial = r_medial(f1);
  int n_next_medial = length_l((void **)next_medial);
  if (find(next_medial, n_next_medial, f2) >= 0) {
    free_l((void **)next_mix);
    free_l((void **)next_switch);
    free_l((void **)next_medial);
    return 1;
  }
  int i;
  for (i = 0; i < n_next_mix; i++) {
    if (slowprove(next_mix[i], f2, f2vi)) {
      free_l((void **)next_mix);
      free_l((void **)next_switch);
      free_l((void **)next_medial);
      return 1;
    }
  }
  for (i = 0; i < n_next_switch; i++) {
    if (slowprove(next_switch[i], f2, f2vi)) {
      free_l((void **)next_mix);
      free_l((void **)next_switch);
      free_l((void **)next_medial);
      return 1;
    }
  }
  for (i = 0; i < n_next_medial; i++) {
    if (slowprove(next_medial[i], f2, f2vi)) {
      free_l((void **)next_mix);
      free_l((void **)next_switch);
      free_l((void **)next_medial);
      return 1;
    }
  }
  free_l((void **)next_mix);
  free_l((void **)next_switch);
  free_l((void **)next_medial);
  return 0;
}
```