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

```asm
<min_dom_set>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %edi,%r13d
  mov    %rsi,(%rsp)
  mov    %rdx,%rbx
  mov    %rcx,0x10(%rsp)
  mov    %r8,0x8(%rsp)
  mov    %r9,0x18(%rsp)
  mov    0x80(%rsp),%r12d
  mov    0x88(%rsp),%ebp
  test   %edi,%edi
  jne    L162
  test   %r12d,%r12d
  jle    L326
  lea    -0x1(%r12),%ebp
  mov    %rbp,%rax
  shl    $0x9,%rax
  add    %rbp,%rax
  mov    0x90(%rsp),%rdi
  lea    0x804(%rdi,%rax,4),%rdx
  mov    %rdi,%rax
L272:
  movl   $0x1,(%rax)
  add    $0x804,%rax
  cmp    %rdx,%rax
  jne    L272
  mov    (%rsp),%rax
  movl   $0x0,(%rax)
  lea    0x0(,%r12,4),%r14d
  mov    %r14d,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    %rbx,%rsi
  shl    $0x2,%rbp
  mov    0x90(%rsp),%rax
  lea    0x4(%rax,%rbp,1),%rcx
  lea    0x4(%rbx,%rbp,1),%r8
  mov    %r13d,%ebp
  mov    %r12d,%edi
  neg    %rdi
  shl    $0x2,%rdi
L58:
  lea    (%rdi,%rcx,1),%rax
  mov    %r13d,%edx
L293:
  add    (%rax),%edx
  add    $0x4,%rax
  cmp    %rax,%rcx
  jne    L293
  mov    %edx,(%rsi)
  cmp    %edx,%ebp
  cmovl  %edx,%ebp
  add    $0x4,%rsi
  add    $0x800,%rcx
  cmp    %r8,%rsi
  jne    L58
  mov    %r14d,%edx
  mov    $0x0,%esi
  mov    0x10(%rsp),%rdi
  call   <memset@plt>
  mov    0x8(%rsp),%rax
  movl   $0x0,(%rax)
  mov    %r14d,%edx
  mov    $0x0,%esi
  mov    0x18(%rsp),%rdi
  call   <memset@plt>
  mov    0x70(%rsp),%rax
  mov    %r12d,(%rax)
  mov    %r14d,%edx
  mov    $0x0,%esi
  mov    0x78(%rsp),%rdi
  call   <memset@plt>
  mov    %r12d,%edx
  mov    $0x0,%eax
  mov    0x78(%rsp),%rcx
L257:
  mov    %eax,(%rcx,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L257
  jmp    L315
L162:
  test   %r12d,%r12d
  jle    L38
L315:
  mov    $0x0,%eax
L359:
  cmpl   $0x0,(%rbx,%rax,4)
  je     L211
  add    $0x1,%rax
  cmp    %eax,%r12d
  jg     L359
L38:
  mov    (%rsp),%rax
  mov    (%rax),%ecx
  mov    %r12d,%eax
  sub    %ecx,%eax
  mov    0x8(%rsp),%rdi
  mov    (%rdi),%edi
  mov    0x70(%rsp),%rsi
  mov    (%rsi),%esi
  cltd
  idiv   %ebp
  cmp    $0x1,%edx
  sbb    $0xffffffff,%eax
  add    %edi,%eax
  cmp    %esi,%eax
  jge    L211
  cmp    %r12d,%ecx
  je     L341
  cmp    %r12d,%r13d
  je     L341
  test   %r12d,%r12d
  jle    L201
  movslq %r13d,%rax
  mov    %rax,0x20(%rsp)
  mov    %rax,%r14
  shl    $0xb,%r14
  add    0x90(%rsp),%r14
  lea    -0x1(%r12),%r15d
  mov    $0x0,%eax
  jmp    L47
L341:
  cmp    %esi,%edi
  jge    L211
  lea    0x0(,%r12,4),%edx
  mov    0x18(%rsp),%rsi
  mov    0x78(%rsp),%rdi
  call   <memcpy@plt>
  mov    0x8(%rsp),%rax
  mov    (%rax),%eax
  mov    0x70(%rsp),%rdi
  mov    %eax,(%rdi)
  jmp    L211
L331:
  lea    0x1(%rax),%rdx
  cmp    %rax,%r15
  je     L317
  mov    %rdx,%rax
L47:
  cmpl   $0x0,(%r14,%rax,4)
  je     L331
  subl   $0x1,(%rbx,%rax,4)
  jmp    L331
L197:
  lea    0x1(%rax),%rdx
  cmp    %rax,%r15
  je     L177
  mov    %rdx,%rax
L50:
  cmpl   $0x0,(%r14,%rax,4)
  je     L197
  addl   $0x1,(%rbx,%rax,4)
  jmp    L197
L133:
  lea    0x1(%rax),%rdx
  cmp    %r15,%rax
  je     L377
  mov    %rdx,%rax
L74:
  cmpl   $0x0,(%r14,%rax,4)
  je     L133
  addl   $0x1,(%rcx,%rax,4)
  jmp    L133
L288:
  add    $0x4,%rax
  cmp    %rdx,%rax
  je     L248
L400:
  cmpl   $0x0,(%rax)
  je     L288
  addl   $0x1,(%rcx)
  jmp    L288
L131:
  subl   $0x1,(%rcx,%rax,4)
L195:
  lea    0x1(%rax),%rdx
  cmp    %rax,%r15
  je     L123
  mov    %rdx,%rax
L0:
  cmpl   $0x0,(%r14,%rax,4)
  je     L195
  cmpl   $0x0,(%rcx,%rax,4)
  je     L131
  subl   $0x1,(%rsi)
  jmp    L131
L123:
  test   %r13d,%r13d
  jne    L211
  mov    0x90(%rsp),%rax
  mov    %r15,%rdx
  shl    $0x9,%rdx
  add    %r15,%rdx
  lea    0x804(%rax,%rdx,4),%rdx
L244:
  movl   $0x0,(%rax)
  add    $0x804,%rax
  cmp    %rax,%rdx
  jne    L244
L211:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L248:
  sub    $0x8,%rsp
  push   0x98(%rsp)
  push   %rbp
  push   %r12
  push   0x98(%rsp)
  push   0x98(%rsp)
  mov    0x48(%rsp),%r9
  mov    0x38(%rsp),%rbp
  mov    %rbp,%r8
  mov    0x40(%rsp),%r12
  mov    %r12,%rcx
  mov    %rbx,%rdx
  mov    0x30(%rsp),%rbx
  mov    %rbx,%rsi
  mov    0x5c(%rsp),%edi
  call   <min_dom_set>
  mov    0x50(%rsp),%rax
  movl   $0x0,(%rax)
  subl   $0x1,0x0(%rbp)
  add    $0x30,%rsp
  mov    $0x0,%eax
  mov    %rbx,%rsi
  mov    %r12,%rcx
  jmp    L0
L377:
  mov    (%rsp),%rcx
  movl   $0x0,(%rcx)
  mov    0x10(%rsp),%rdi
  mov    %rdi,%rax
  lea    0x4(%rdi,%r15,4),%rdx
  jmp    L400
L177:
  mov    0x18(%rsp),%rax
  mov    0x20(%rsp),%rdi
  lea    (%rax,%rdi,4),%rax
  mov    %rax,0x20(%rsp)
  movl   $0x1,(%rax)
  mov    0x8(%rsp),%rax
  addl   $0x1,(%rax)
  mov    $0x0,%eax
  mov    0x10(%rsp),%rcx
  jmp    L74
L317:
  lea    0x1(%r13),%eax
  mov    %eax,0x2c(%rsp)
  sub    $0x8,%rsp
  push   0x98(%rsp)
  push   %rbp
  push   %r12
  push   0x98(%rsp)
  push   0x98(%rsp)
  mov    0x48(%rsp),%r9
  mov    0x38(%rsp),%r8
  mov    0x40(%rsp),%rcx
  mov    %rbx,%rdx
  mov    0x30(%rsp),%rsi
  mov    %eax,%edi
  call   <min_dom_set>
  add    $0x30,%rsp
  mov    $0x0,%eax
  jmp    L50
L201:
  lea    0x1(%r13),%r14d
  sub    $0x8,%rsp
  push   0x98(%rsp)
  push   %rbp
  push   %r12
  push   0x98(%rsp)
  push   0x98(%rsp)
  mov    0x48(%rsp),%r9
  mov    0x38(%rsp),%r15
  mov    %r15,%r8
  mov    0x40(%rsp),%rcx
  mov    %rbx,%rdx
  mov    0x30(%rsp),%rsi
  mov    %r14d,%edi
  call   <min_dom_set>
  movslq %r13d,%r13
  mov    0x48(%rsp),%r9
  lea    (%r9,%r13,4),%r13
  movl   $0x1,0x0(%r13)
  addl   $0x1,(%r15)
  mov    0x30(%rsp),%rsi
  movl   $0x0,(%rsi)
  add    $0x28,%rsp
  push   0x98(%rsp)
  push   %rbp
  push   %r12
  push   0x98(%rsp)
  push   0x98(%rsp)
  mov    %r15,%r8
  mov    0x40(%rsp),%rcx
  mov    %rbx,%rdx
  mov    %r14d,%edi
  call   <min_dom_set>
  movl   $0x0,0x0(%r13)
  subl   $0x1,(%r15)
  add    $0x30,%rsp
  jmp    L211
L326:
  mov    (%rsp),%rax
  movl   $0x0,(%rax)
  lea    0x0(,%r12,4),%ebp
  mov    %ebp,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    %ebp,%edx
  mov    $0x0,%esi
  mov    0x10(%rsp),%rdi
  call   <memset@plt>
  mov    0x8(%rsp),%rax
  movl   $0x0,(%rax)
  mov    %ebp,%edx
  mov    $0x0,%esi
  mov    0x18(%rsp),%rdi
  call   <memset@plt>
  mov    0x70(%rsp),%rax
  mov    %r12d,(%rax)
  mov    %ebp,%edx
  mov    $0x0,%esi
  mov    0x78(%rsp),%rdi
  call   <memset@plt>
  mov    %r13d,%ebp
  jmp    L38
```

assistant: ```c
void min_dom_set(int level, int *n_dom, int num_choice[512], int num_dom[512], int *size, int dom[512 - 1], int *min_size, int min_dom[512 - 1], int vertex_count, int max_deg, int G[512][512]) {
  if (level == 0) {
    int i;
    for (i = 0; i < vertex_count; i++) {
      G[i][i] = 1;
    }
    *n_dom = 0;
    memset(num_choice, 0, vertex_count * sizeof(int));
    max_deg = 0;
    int j, deg_i;
    for (i = 0; i < vertex_count; i++) {
      deg_i = 0;
      for (j = 0; j < vertex_count; j++) {
        deg_i += G[i][j];
      }
      num_choice[i] = deg_i;
      if (deg_i > max_deg) {
        max_deg = deg_i;
      }
    }
    memset(num_dom, 0, vertex_count * sizeof(int));
    *size = 0;
    memset(dom, 0, vertex_count * sizeof(int));
    *min_size = vertex_count;
    memset(min_dom, 0, vertex_count * sizeof(int));
    for (i = 0; i < vertex_count; i++) {
      min_dom[i] = i;
    }
  }
  int i;
  for (i = 0; i < vertex_count; i++) {
    if (!num_choice[i]) {
      return;
    }
  }
  int u = vertex_count - *n_dom;
  int n_extra = u / max_deg + (u % max_deg != 0);
  if (*size + n_extra >= *min_size) {
    return;
  }
  if (level == vertex_count || *n_dom == vertex_count) {
    if (*size < *min_size) {
      memcpy(min_dom, dom, vertex_count * sizeof(int));
      *min_size = *size;
    }
    return;
  }
  for (i = 0; i < vertex_count; i++) {
    if (G[level][i]) {
      num_choice[i]--;
    };
  }
  min_dom_set(level + 1, n_dom, num_choice, num_dom, size, dom, min_size, min_dom, vertex_count, max_deg, G);
  for (i = 0; i < vertex_count; i++) {
    if (G[level][i]) {
      num_choice[i]++;
    };
  }
  dom[level] = 1;
  *size += 1;
  for (i = 0; i < vertex_count; i++) {
    if (G[level][i]) {
      num_dom[i]++;
    };
  }
  *n_dom = 0;
  for (i = 0; i < vertex_count; i++) {
    if (num_dom[i]) {
      *n_dom += 1;
    }
  }
  min_dom_set(level + 1, n_dom, num_choice, num_dom, size, dom, min_size, min_dom, vertex_count, max_deg, G);
  dom[level] = 0;
  *size -= 1;
  for (i = 0; i < vertex_count; i++) {
    if (G[level][i]) {
      if (num_dom[i]) {
        *n_dom -= 1;
      }
      num_dom[i]--;
    };
  }
  if (level == 0) {
    for (i = 0; i < vertex_count; i++) {
      G[i][i] = 0;
    }
  }
}
```