user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  lea    -0x13000(%rsp),%r11
L9:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L9
  sub    $0x898,%rsp
  xor    %esi,%esi
  mov    $0x9c40,%edx
  mov    %fs:0x28,%rax
  mov    %rax,0x13888(%rsp)
  xor    %eax,%eax
  mov    %rsp,%r12
  lea    0x9c40(%rsp),%rbp
  mov    %r12,%rdi
  call   <memset@plt>
  mov    $0x9c40,%edx
  xor    %esi,%esi
  mov    %rbp,%rdi
  mov    D309(%rip),%rax
  movdqa D223(%rip),%xmm0
  movl   $0x3,(%rsp)
  movl   $0x6,0x328(%rsp)
  mov    %rax,0x190(%rsp)
  mov    D119(%rip),%rax
  movaps %xmm0,0x4b0(%rsp)
  mov    %rax,0x320(%rsp)
  call   <memset@plt>
  movdqa D270(%rip),%xmm0
  mov    $0x4,%esi
  mov    %r12,%rdi
  mov    D84(%rip),%rax
  movl   $0x4b,0x9c40(%rsp)
  movaps %xmm0,0xa0f0(%rsp)
  movdqa D277(%rip),%xmm0
  mov    %rax,0x9dd0(%rsp)
  mov    D1(%rip),%rax
  movaps %xmm0,0xa280(%rsp)
  movdqa D27(%rip),%xmm0
  mov    %rax,0x9f60(%rsp)
  mov    D78(%rip),%rax
  movaps %xmm0,0xa410(%rsp)
  movdqa D191(%rip),%xmm0
  mov    %rax,0xa420(%rsp)
  mov    D207(%rip),%rax
  movaps %xmm0,0xa5a0(%rsp)
  movdqa D167(%rip),%xmm0
  mov    %rax,0xa5b0(%rsp)
  movaps %xmm0,0xa730(%rsp)
  movdqa D89(%rip),%xmm0
  movl   $0x52,0x9f68(%rsp)
  movaps %xmm0,0xa740(%rsp)
  movdqa D81(%rip),%xmm0
  movl   $0x41,0xa290(%rsp)
  movaps %xmm0,0xa8c0(%rsp)
  movdqa D34(%rip),%xmm0
  movl   $0x43,0xa5b8(%rsp)
  movaps %xmm0,0xa8d0(%rsp)
  movdqa D180(%rip),%xmm0
  movl   $0x21,0xa8e0(%rsp)
  movaps %xmm0,0xaa50(%rsp)
  movdqa D95(%rip),%xmm0
  movaps %xmm0,0xaa60(%rsp)
  movdqa D10(%rip),%xmm0
  mov    D134(%rip),%rax
  movl   $0xe,0xac08(%rsp)
  movaps %xmm0,0xabe0(%rsp)
  movdqa D85(%rip),%xmm0
  mov    %rax,0xaa70(%rsp)
  mov    D307(%rip),%rax
  movaps %xmm0,0xabf0(%rsp)
  movdqa D193(%rip),%xmm0
  mov    %rax,0xac00(%rsp)
  mov    D162(%rip),%rax
  movaps %xmm0,0xad70(%rsp)
  movdqa D310(%rip),%xmm0
  mov    %rax,0xb0c0(%rsp)
  movaps %xmm0,0xad80(%rsp)
  movdqa D168(%rip),%xmm0
  movl   $0x30,0xaf30(%rsp)
  movaps %xmm0,0xad90(%rsp)
  movdqa D109(%rip),%xmm0
  movaps %xmm0,0xaf00(%rsp)
  movdqa D100(%rip),%xmm0
  movaps %xmm0,0xaf10(%rsp)
  movdqa D344(%rip),%xmm0
  movaps %xmm0,0xaf20(%rsp)
  movdqa D97(%rip),%xmm0
  movaps %xmm0,0xb090(%rsp)
  movdqa D304(%rip),%xmm0
  movaps %xmm0,0xb0a0(%rsp)
  movdqa D219(%rip),%xmm0
  movaps %xmm0,0xb0b0(%rsp)
  movdqa D299(%rip),%xmm0
  movaps %xmm0,0xb220(%rsp)
  movdqa D70(%rip),%xmm0
  mov    D261(%rip),%rax
  movl   $0x17,0xb258(%rsp)
  movaps %xmm0,0xb230(%rsp)
  movdqa D73(%rip),%xmm0
  mov    %rax,0xb250(%rsp)
  movaps %xmm0,0xb240(%rsp)
  call   <sum_brute_force@plt>
  xor    %edi,%edi
  cmp    $0x17,%eax
  sete   %dil
  call   <assert@plt>
  mov    %rbp,%rdi
  mov    $0xf,%esi
  call   <sum_brute_force@plt>
  xor    %edi,%edi
  cmp    $0x432,%eax
  sete   %dil
  call   <assert@plt>
  mov    0x13888(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L14
  add    $0x13898,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L14:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_tag: D309
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D223
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D119
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D270
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D84
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D277
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D1
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D27
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D78
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D191
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D207
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D167
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D89
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D81
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D34
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D180
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D95
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D10
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D134
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D85
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D307
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D193
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D162
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D310
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D168
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D109
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D100
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D344
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D97
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D304
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D219
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D299
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D70
type_infered: byte[16]
name: disassemble_data
arguments: data_tag: D261
type_infered: byte[8]
name: disassemble_data
arguments: data_tag: D73
type_infered: byte[16]

tool: {"D309": [0x07,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D223": [0x08,0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x09,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D119": [0x02,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D270": [0x12,0x00,0x00,0x00,0x23,0x00,0x00,0x00,0x57,0x00,0x00,0x00,0x0a,0x00,0x00,0x00]}

tool: {"D84": [0x5f,0x00,0x00,0x00,0x40,0x00,0x00,0x00]}

tool: {"D277": [0x14,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x52,0x00,0x00,0x00,0x2f,0x00,0x00,0x00]}

tool: {"D1": [0x11,0x00,0x00,0x00,0x2f,0x00,0x00,0x00]}

tool: {"D27": [0x13,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x17,0x00,0x00,0x00,0x4b,0x00,0x00,0x00]}

tool: {"D78": [0x03,0x00,0x00,0x00,0x22,0x00,0x00,0x00]}

tool: {"D191": [0x58,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x4d,0x00,0x00,0x00,0x49,0x00,0x00,0x00]}

tool: {"D207": [0x07,0x00,0x00,0x00,0x3f,0x00,0x00,0x00]}

tool: {"D167": [0x63,0x00,0x00,0x00,0x41,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x1c,0x00,0x00,0x00]}

tool: {"D89": [0x06,0x00,0x00,0x00,0x10,0x00,0x00,0x00,0x46,0x00,0x00,0x00,0x5c,0x00,0x00,0x00]}

tool: {"D81": [0x29,0x00,0x00,0x00,0x29,0x00,0x00,0x00,0x1a,0x00,0x00,0x00,0x38,0x00,0x00,0x00]}

tool: {"D34": [0x53,0x00,0x00,0x00,0x28,0x00,0x00,0x00,0x50,0x00,0x00,0x00,0x46,0x00,0x00,0x00]}

tool: {"D180": [0x29,0x00,0x00,0x00,0x30,0x00,0x00,0x00,0x48,0x00,0x00,0x00,0x21,0x00,0x00,0x00]}

tool: {"D95": [0x2f,0x00,0x00,0x00,0x20,0x00,0x00,0x00,0x25,0x00,0x00,0x00,0x10,0x00,0x00,0x00]}

tool: {"D10": [0x35,0x00,0x00,0x00,0x47,0x00,0x00,0x00,0x2c,0x00,0x00,0x00,0x41,0x00,0x00,0x00]}

tool: {"D134": [0x5e,0x00,0x00,0x00,0x1d,0x00,0x00,0x00]}

tool: {"D85": [0x19,0x00,0x00,0x00,0x2b,0x00,0x00,0x00,0x5b,0x00,0x00,0x00,0x34,0x00,0x00,0x00]}

tool: {"D307": [0x61,0x00,0x00,0x00,0x33,0x00,0x00,0x00]}

tool: {"D193": [0x46,0x00,0x00,0x00,0x0b,0x00,0x00,0x00,0x21,0x00,0x00,0x00,0x1c,0x00,0x00,0x00]}

tool: {"D162": [0x28,0x00,0x00,0x00,0x1f,0x00,0x00,0x00]}

tool: {"D310": [0x4d,0x00,0x00,0x00,0x49,0x00,0x00,0x00,0x11,0x00,0x00,0x00,0x4e,0x00,0x00,0x00]}

tool: {"D168": [0x27,0x00,0x00,0x00,0x44,0x00,0x00,0x00,0x11,0x00,0x00,0x00,0x39,0x00,0x00,0x00]}

tool: {"D109": [0x5b,0x00,0x00,0x00,0x47,0x00,0x00,0x00,0x34,0x00,0x00,0x00,0x26,0x00,0x00,0x00]}

tool: {"D100": [0x11,0x00,0x00,0x00,0x0e,0x00,0x00,0x00,0x5b,0x00,0x00,0x00,0x2b,0x00,0x00,0x00]}

tool: {"D344": [0x3a,0x00,0x00,0x00,0x32,0x00,0x00,0x00,0x1b,0x00,0x00,0x00,0x1d,0x00,0x00,0x00]}

tool: {"D97": [0x3f,0x00,0x00,0x00,0x42,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x44,0x00,0x00,0x00]}

tool: {"D304": [0x59,0x00,0x00,0x00,0x35,0x00,0x00,0x00,0x43,0x00,0x00,0x00,0x1e,0x00,0x00,0x00]}

tool: {"D219": [0x49,0x00,0x00,0x00,0x10,0x00,0x00,0x00,0x45,0x00,0x00,0x00,0x57,0x00,0x00,0x00]}

tool: {"D299": [0x04,0x00,0x00,0x00,0x3e,0x00,0x00,0x00,0x62,0x00,0x00,0x00,0x1b,0x00,0x00,0x00]}

tool: {"D70": [0x17,0x00,0x00,0x00,0x09,0x00,0x00,0x00,0x46,0x00,0x00,0x00,0x62,0x00,0x00,0x00]}

tool: {"D261": [0x3c,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D73": [0x49,0x00,0x00,0x00,0x5d,0x00,0x00,0x00,0x26,0x00,0x00,0x00,0x35,0x00,0x00,0x00]}

assistant: ```c
int main() {
  int test_data_1[100][100] = {{3}, {7, 4}, {2, 4, 6}, {8, 5, 9, 3}};
  int test_data_2[100][100] = {
      {75}, {95, 64}, {17, 47, 82}, {18, 35, 87, 10}, {20, 4, 82, 47, 65}, {19, 1, 23, 75, 3, 34}, {88, 2, 77, 73, 7, 63, 67}, {99, 65, 4, 28, 6, 16, 70, 92}, {41, 41, 26, 56, 83, 40, 80, 70, 33}, {41, 48, 72, 33, 47, 32, 37, 16, 94, 29}, {53, 71, 44, 65, 25, 43, 91, 52, 97, 51, 14}, {70, 11, 33, 28, 77, 73, 17, 78, 39, 68, 17, 57}, {91, 71, 52, 38, 17, 14, 91, 43, 58, 50, 27, 29, 48}, {63, 66, 4, 68, 89, 53, 67, 30, 73, 16, 69, 87, 40, 31}, {4, 62, 98, 27, 23, 9, 70, 98, 73, 93, 38, 53, 60, 4, 23},
  };
  assert(23 == sum_brute_force(test_data_1, 4));
  assert(1074 == sum_brute_force(test_data_2, 15));
  return 0;
}
```