user: What is the c source code of the assembly code below:

```asm
<findSingleSolution>:
  endbr64
  push   %r15
  mov    %r8,%r15
  push   %r14
  mov    %edx,%r14d
  push   %r13
  mov    %rdi,%r13
  push   %r12
  mov    %esi,%r12d
  push   %rbp
  mov    %rcx,%rbp
  push   %rbx
  sub    $0x68,%rsp
  mov    %r9d,0xc(%rsp)
  test   %esi,%esi
  jle    L51
  movslq %esi,%rdx
  mov    %r8,%rdi
  xor    %esi,%esi
  shl    $0x2,%rdx
  call   <memset@plt>
L51:
  mov    0xc(%rsp),%edx
  test   %edx,%edx
  jle    L83
  lea    0x4(%r15),%rdx
  mov    %rbp,%rax
  lea    -0x1(%r12),%ecx
  movl   $0x0,0x10(%rsp)
  sub    %rdx,%rax
  mov    %ecx,0x5c(%rsp)
  cmp    $0x8,%rax
  seta   %dl
  cmp    $0x2,%ecx
  mov    %r12d,%ecx
  seta   %al
  and    $0xfffffffc,%ecx
  xor    %ebx,%ebx
  and    %eax,%edx
  mov    %r12d,%eax
  mov    %ecx,0x30(%rsp)
  shr    $0x2,%eax
  mov    %dl,0x17(%rsp)
  sub    $0x1,%eax
  add    $0x1,%rax
  shl    $0x4,%rax
  mov    %rax,0x18(%rsp)
  movslq %ecx,%rax
  shl    $0x2,%rax
  lea    (%r15,%rax,1),%rdi
  add    %rbp,%rax
  mov    %rax,0x28(%rsp)
  lea    0x1(%rcx),%eax
  mov    %eax,0x34(%rsp)
  cltq
  shl    $0x2,%rax
  mov    %rdi,0x20(%rsp)
  lea    (%r15,%rax,1),%rdi
  add    %rbp,%rax
  mov    %rax,0x40(%rsp)
  lea    0x2(%rcx),%eax
  mov    %eax,0x58(%rsp)
  cltq
  shl    $0x2,%rax
  mov    %rdi,0x38(%rsp)
  lea    (%r15,%rax,1),%rdi
  add    %rbp,%rax
  mov    %rdi,0x48(%rsp)
  mov    %rax,0x50(%rsp)
  jmp    L89
  nopl   (%rax)
L137:
  mov    %r12d,%esi
  mov    %r15,%rdi
  add    $0x1,%ebx
  call   <nextBinaryNumber@plt>
  cmp    %ebx,0xc(%rsp)
  je     L123
L89:
  mov    %r14d,%edx
  mov    %r15,%rsi
  mov    %r13,%rdi
  call   <isValidSolution@plt>
  test   %rax,%rax
  je     L137
  mov    0x10(%rsp),%eax
  test   %eax,%eax
  jne    L83
  test   %r12d,%r12d
  jle    L15
  cmpb   $0x0,0x17(%rsp)
  je     L88
  mov    0x18(%rsp),%rdx
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L54:
  movdqu (%r15,%rax,1),%xmm0
  movups %xmm0,0x0(%rbp,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L54
  cmp    0x30(%rsp),%r12d
  je     L15
  mov    0x20(%rsp),%rax
  mov    0x28(%rsp),%rcx
  mov    (%rax),%eax
  mov    %eax,(%rcx)
  cmp    0x34(%rsp),%r12d
  jle    L15
  mov    0x38(%rsp),%rax
  mov    0x40(%rsp),%rcx
  mov    (%rax),%eax
  mov    %eax,(%rcx)
  cmp    0x58(%rsp),%r12d
  jle    L15
  mov    0x48(%rsp),%rax
  mov    0x50(%rsp),%rdi
  mov    (%rax),%eax
  mov    %eax,(%rdi)
L15:
  movl   $0x1,0x10(%rsp)
  jmp    L137
L83:
  movl   $0x0,0x10(%rsp)
L123:
  mov    0x10(%rsp),%eax
  add    $0x68,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L88:
  mov    0x5c(%rsp),%esi
  xor    %eax,%eax
  cs nopw 0x0(%rax,%rax,1)
L19:
  mov    (%r15,%rax,4),%edx
  mov    %edx,0x0(%rbp,%rax,4)
  mov    %rax,%rdx
  add    $0x1,%rax
  cmp    %rsi,%rdx
  jne    L19
  jmp    L15
```

assistant: ```c
int findSingleSolution(int *equ, int numBools, int numClauses, int *sol, int *candidate, int numCandidates) {
  for (int i = 0; i < numBools; i++)
    candidate[i] = 0;
  int foundSol = 0;
  for (int i = 0; i < numCandidates; i++) {
    if (isValidSolution(equ, candidate, numClauses)) {
      if (foundSol)
        return 0;
      foundSol = 1;
      for (int j = 0; j < numBools; j++)
        sol[j] = candidate[j];
    }
    nextBinaryNumber(candidate, numBools);
  }
  return foundSol;
}
```