user: What would the C source look like for the assembly code provided here?

```asm
<SseqR>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    %edx,0x30(%rsp)
  cmp    %ecx,%edx
  jg     L67
  mov    %esi,%eax
  movslq %esi,%rdx
  mov    %ecx,%r12d
  mov    %rdi,%r13
  lea    0x2(%rax),%ecx
  lea    0x4(,%rdx,4),%rdx
  lea    (%rdi,%rdx,1),%rsi
  mov    %ecx,0x50(%rsp)
  lea    0x4(%rdi,%rdx,1),%rdi
  movslq %ecx,%rdx
  lea    0x3(%rax),%ecx
  mov    %rsi,0x38(%rsp)
  lea    0x4(%r13,%rdx,4),%rsi
  mov    %ecx,0x54(%rsp)
  movslq %ecx,%rdx
  lea    0x4(%rax),%ecx
  lea    0x5(%rax),%r15d
  mov    %rdi,0x40(%rsp)
  lea    0x4(%r13,%rdx,4),%rdi
  movslq %ecx,%rdx
  mov    %r15d,%r14d
  mov    %rsi,0x48(%rsp)
  lea    0x4(%r13,%rdx,4),%rsi
  movslq %r15d,%rdx
  mov    %r12d,%r15d
  mov    %rsi,(%rsp)
  lea    0x6(%rax),%esi
  mov    %rdi,0x58(%rsp)
  lea    0x4(%r13,%rdx,4),%rdi
  movslq %esi,%rdx
  lea    0x4(%r13,%rdx,4),%rdx
  mov    %rdi,0x20(%rsp)
  lea    0x7(%rax),%edi
  mov    %rdx,0x60(%rsp)
  movslq %edi,%rdx
  mov    %ecx,0x68(%rsp)
  lea    0x4(%r13,%rdx,4),%rcx
  mov    %rcx,0x8(%rsp)
  lea    0x8(%rax),%ecx
  movslq %ecx,%rdx
  mov    %esi,0x2c(%rsp)
  mov    %edi,0x6c(%rsp)
  lea    0x4(%r13,%rdx,4),%rsi
  lea    0x1(%rax),%edi
  add    $0x9,%eax
  mov    %ecx,0x14(%rsp)
  mov    %rsi,0x70(%rsp)
  mov    %edi,0x78(%rsp)
  mov    %eax,0x34(%rsp)
L42:
  mov    0x30(%rsp),%ebx
  mov    0x38(%rsp),%rdx
  mov    %r13,%rdi
  mov    0x78(%rsp),%esi
  mov    %ebx,(%rdx)
  call   <imprima@plt>
  mov    %ebx,%eax
  add    $0x1,%eax
  mov    %eax,0x30(%rsp)
  cmp    %r15d,%eax
  jg     L67
  mov    %eax,0x18(%rsp)
L89:
  mov    0x18(%rsp),%ebx
  mov    0x40(%rsp),%rcx
  mov    %r13,%rdi
  mov    0x50(%rsp),%esi
  mov    %ebx,(%rcx)
  call   <imprima@plt>
  mov    %ebx,%eax
  add    $0x1,%eax
  mov    %eax,0x18(%rsp)
  cmp    %eax,%r15d
  jl     L42
  mov    %eax,0x1c(%rsp)
L61:
  mov    0x48(%rsp),%rsi
  mov    0x1c(%rsp),%ebx
  mov    %r13,%rdi
  mov    %ebx,(%rsi)
  mov    0x54(%rsp),%esi
  call   <imprima@plt>
  mov    %ebx,%eax
  add    $0x1,%eax
  mov    %eax,0x1c(%rsp)
  cmp    %eax,%r15d
  jl     L89
  mov    %eax,0x28(%rsp)
L115:
  mov    0x28(%rsp),%ebx
  mov    0x58(%rsp),%rax
  mov    %r13,%rdi
  mov    0x68(%rsp),%esi
  mov    %ebx,(%rax)
  add    $0x1,%ebx
  call   <imprima@plt>
  mov    %ebx,0x28(%rsp)
  cmp    %ebx,%r15d
  jl     L61
L7:
  mov    (%rsp),%rax
  mov    %r14d,%esi
  mov    %r13,%rdi
  mov    %ebx,(%rax)
  add    $0x1,%ebx
  call   <imprima@plt>
  cmp    %ebx,%r15d
  jl     L115
  mov    %ebx,0x10(%rsp)
  mov    %ebx,%ebp
  mov    %r13,%rbx
L22:
  mov    0x20(%rsp),%rax
  mov    0x2c(%rsp),%esi
  mov    %rbx,%rdi
  mov    %ebp,(%rax)
  add    $0x1,%ebp
  call   <imprima@plt>
  cmp    %ebp,%r15d
  jl     L62
  mov    %ebp,%r12d
L79:
  mov    0x60(%rsp),%rax
  mov    0x6c(%rsp),%esi
  mov    %rbx,%rdi
  mov    %r12d,(%rax)
  add    $0x1,%r12d
  call   <imprima@plt>
  cmp    %r12d,%r15d
  jl     L22
  mov    %rbx,%rax
  mov    %r12d,%ebx
  mov    %rax,%r13
L1:
  mov    0x8(%rsp),%rax
  mov    0x14(%rsp),%esi
  mov    %r13,%rdi
  mov    %ebx,(%rax)
  add    $0x1,%ebx
  call   <imprima@plt>
  cmp    %ebx,%r15d
  jl     L87
  mov    %ebx,%r8d
L17:
  mov    0x70(%rsp),%rax
  mov    0x34(%rsp),%esi
  mov    %r13,%rdi
  mov    %r8d,0x7c(%rsp)
  mov    %ebx,(%rax)
  add    $0x1,%ebx
  call   <imprima@plt>
  mov    0x34(%rsp),%esi
  mov    %r15d,%ecx
  mov    %ebx,%edx
  mov    %r13,%rdi
  call   <SseqR>
  cmp    %ebx,%r15d
  mov    0x7c(%rsp),%r8d
  jge    L17
  mov    %r8d,%ebx
  jmp    L1
L62:
  mov    %rbx,%r13
  mov    0x10(%rsp),%ebx
  jmp    L7
  nopl   0x0(%rax)
L87:
  mov    %r13,%rbx
  jmp    L79
L67:
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void SseqR(int s[], int k, int m, int n) {
  if (m <= n) {
    s[k + 1] = m;
    imprima(s, k + 1);
    SseqR(s, k + 1, m + 1, n);
    SseqR(s, k, m + 1, n);
  }
}
```