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

```asm
<risolvi>:
  endbr64
  test   %edi,%edi
  jle    L194
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edi,%r9d
  mov    %rsi,%r10
  mov    %rdx,%rbp
  lea    -0x1(%rdi),%r13d
  lea    0x0(%r13,%r13,4),%r11
  shl    $0x3,%r11
  lea    0x28(%rsi,%r11,1),%rdi
  mov    %r9d,%ebx
  shl    $0x2,%rbx
  mov    $0x0,%r8d
  mov    $0x0,%r12d
  jmp    L211
L194:
  mov    $0x1,%eax
  ret
L46:
  add    $0x28,%rax
  cmp    %rdi,%rax
  je     L103
L81:
  mov    (%rax),%edx
  cmp    %ecx,%edx
  jle    L46
  add    $0x1,%esi
  mov    %edx,%ecx
  jmp    L46
L103:
  cmp    %esi,0x0(%rbp,%r8,1)
  jne    L89
  add    $0x4,%rdi
  add    $0x4,%r8
  cmp    %rbx,%r8
  je     L141
L211:
  lea    (%r10,%r8,1),%rax
  mov    $0x0,%esi
  mov    %r12d,%ecx
  jmp    L81
L141:
  movslq %r9d,%r14
  lea    0x0(,%r14,4),%r15
  lea    0x0(%rbp,%r15,1),%rax
  mov    %rax,-0x8(%rsp)
  mov    %rax,%r8
  lea    0x0(,%r13,4),%rbx
  lea    -0x4(%r10,%r15,1),%rsi
  sub    %rbx,%rsi
  lea    0x4(%rbp),%rax
  mov    %rax,%rdi
  mov    %rax,-0x10(%rsp)
  lea    (%r14,%r13,1),%rax
  lea    (%rdi,%rax,4),%r12
  add    $0x4,%rbx
  mov    $0x0,%ebp
  jmp    L237
L43:
  sub    $0x4,%rax
  cmp    %rsi,%rax
  je     L124
L3:
  mov    -0x4(%rax),%edx
  cmp    %ecx,%edx
  jle    L43
  add    $0x1,%edi
  mov    %edx,%ecx
  jmp    L43
L124:
  cmp    %edi,(%r8)
  jne    L158
  add    $0x4,%r8
  add    $0x28,%rsi
  cmp    %r12,%r8
  je     L226
L237:
  lea    (%rbx,%rsi,1),%rax
  mov    $0x0,%edi
  mov    %ebp,%ecx
  jmp    L3
L306:
  sub    $0x28,%rax
  cmp    %rsi,%rax
  je     L50
L215:
  mov    (%rax),%edx
  cmp    %ecx,%edx
  jle    L306
  add    $0x1,%edi
  mov    %edx,%ecx
  jmp    L306
L50:
  cmp    %edi,(%r8)
  jne    L31
  add    $0x4,%r8
  sub    $0x4,%rsi
  cmp    %r12,%r8
  je     L47
L160:
  lea    (%r11,%rsi,1),%rax
  mov    $0x0,%edi
  mov    %ebp,%ecx
  jmp    L215
L47:
  lea    (%r14,%r14,4),%rax
  lea    -0x28(%r10,%rax,8),%r10
  add    %r15,%rbx
  mov    $0x0,%r8d
  mov    $0x0,%r11d
  jmp    L305
L226:
  mov    -0x8(%rsp),%rbx
  add    %r15,%rbx
  mov    %rbx,%r8
  lea    (%r14,%r14,4),%rax
  lea    (%r14,%rax,2),%rax
  lea    -0x54(%r10,%rax,4),%rsi
  sub    %r11,%rsi
  lea    (%r9,%r9,1),%eax
  cltq
  add    %r13,%rax
  mov    -0x10(%rsp),%rdi
  lea    (%rdi,%rax,4),%r12
  add    $0x28,%r11
  mov    $0x0,%ebp
  jmp    L160
L10:
  add    $0x1,%rax
  cmp    %eax,%r9d
  jle    L197
L283:
  mov    (%rdi,%rax,4),%edx
  cmp    %ecx,%edx
  jle    L10
  add    $0x1,%esi
  mov    %edx,%ecx
  jmp    L10
L197:
  cmp    %esi,(%rbx,%r8,4)
  jne    L63
  add    $0x1,%r8
  sub    $0x28,%r10
  cmp    %r8d,%r9d
  jle    L26
L305:
  mov    %r10,%rdi
  mov    $0x0,%eax
  mov    $0x0,%esi
  mov    %r11d,%ecx
  jmp    L283
L89:
  mov    $0x0,%eax
L196:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L158:
  mov    $0x0,%eax
  jmp    L196
L31:
  mov    $0x0,%eax
  jmp    L196
L63:
  mov    $0x0,%eax
  jmp    L196
L26:
  mov    $0x1,%eax
  jmp    L196
```

assistant: ```c
int risolvi(int n, int mat[10][10], int valori[40]) {
  int i = 0, j = 0;
  int curMax = 0;
  int curVisibili = 0;
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[j][i] > curMax) {
        curMax = mat[j][i];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[i][n - j - 1] > curMax) {
        curMax = mat[i][n - j - 1];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + n])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[n - j - 1][n - i - 1] > curMax) {
        curMax = mat[n - j - 1][n - i - 1];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + 2 * n])
      return 0;
  }
  for (i = 0; i < n; i++) {
    curVisibili = 0;
    curMax = 0;
    for (j = 0; j < n; j++) {
      if (mat[n - i - 1][j] > curMax) {
        curMax = mat[n - i - 1][j];
        curVisibili++;
      }
    }
    if (curVisibili != valori[i + 3 * n])
      return 0;
  }
  return 1;
}
```