user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  lea    -0x13000(%rsp),%r11
L6:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L6
  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>
  xor    %esi,%esi
  mov    $0x9c40,%edx
  mov    %rbp,%rdi
  movabs $0x400000007,%rax
  movl   $0x3,(%rsp)
  mov    %rax,0x190(%rsp)
  sub    $0x5,%rax
  mov    %rax,0x320(%rsp)
  movabs $0x500000008,%rax
  mov    %rax,0x4b0(%rsp)
  movabs $0x300000009,%rax
  movl   $0x6,0x328(%rsp)
  mov    %rax,0x4b8(%rsp)
  call   <memset@plt>
  movabs $0x400000005f,%rax
  movabs $0x3f00000007,%rcx
  movabs $0x4100000063,%rdx
  mov    %rax,0x9dd0(%rsp)
  movabs $0x2f00000011,%rax
  movabs $0x2900000029,%rsi
  movabs $0x410000002c,%rdi
  mov    %rax,0x9f60(%rsp)
  movabs $0x2300000012,%rax
  mov    %rax,0xa0f0(%rsp)
  movabs $0xa00000057,%rax
  mov    %rax,0xa0f8(%rsp)
  movabs $0x400000014,%rax
  mov    %rax,0xa280(%rsp)
  movabs $0x2f00000052,%rax
  mov    %rax,0xa288(%rsp)
  movabs $0x100000013,%rax
  mov    %rcx,0xa5b0(%rsp)
  movabs $0x1c00000004,%rcx
  mov    %rdx,0xa730(%rsp)
  movabs $0x1000000006,%rdx
  mov    %rax,0xa410(%rsp)
  movabs $0x4b00000017,%rax
  mov    %rcx,0xa738(%rsp)
  movabs $0x5c00000046,%rcx
  mov    %rdx,0xa740(%rsp)
  movabs $0x380000001a,%rdx
  mov    %rax,0xa418(%rsp)
  movabs $0x2200000003,%rax
  mov    %rcx,0xa748(%rsp)
  movabs $0x2800000053,%rcx
  mov    %rsi,0xa8c0(%rsp)
  movabs $0x4600000050,%rsi
  mov    %rdx,0xa8c8(%rsp)
  movabs $0x3000000029,%rdx
  mov    %rax,0xa420(%rsp)
  movabs $0x200000058,%rax
  mov    %rcx,0xa8d0(%rsp)
  movabs $0x2100000048,%rcx
  mov    %rsi,0xa8d8(%rsp)
  movabs $0x200000002f,%rsi
  mov    %rdx,0xaa50(%rsp)
  movabs $0x1000000025,%rdx
  mov    %rax,0xa5a0(%rsp)
  movabs $0x490000004d,%rax
  mov    %rcx,0xaa58(%rsp)
  movabs $0x1d0000005e,%rcx
  mov    %rsi,0xaa60(%rsp)
  movabs $0x4700000035,%rsi
  mov    %rdx,0xaa68(%rsp)
  movabs $0x2b00000019,%rdx
  mov    %rax,0xa5a8(%rsp)
  mov    %rcx,0xaa70(%rsp)
  movabs $0x340000005b,%rcx
  mov    %rsi,0xabe0(%rsp)
  movabs $0x3300000061,%rsi
  mov    %rdi,0xabe8(%rsp)
  movabs $0xb00000046,%rdi
  movl   $0x4b,0x9c40(%rsp)
  movl   $0x52,0x9f68(%rsp)
  movl   $0x41,0xa290(%rsp)
  movl   $0x43,0xa5b8(%rsp)
  movl   $0x21,0xa8e0(%rsp)
  mov    %rdx,0xabf0(%rsp)
  movabs $0x1c00000021,%rdx
  mov    %rax,0xad80(%rsp)
  movabs $0x4e00000011,%rax
  mov    %rax,0xad88(%rsp)
  movabs $0x4400000027,%rax
  mov    %rax,0xad90(%rsp)
  movabs $0x3900000011,%rax
  mov    %rax,0xad98(%rsp)
  movabs $0x470000005b,%rax
  mov    %rax,0xaf00(%rsp)
  movabs $0x2600000034,%rax
  mov    %rax,0xaf08(%rsp)
  movabs $0xe00000011,%rax
  mov    %rax,0xaf10(%rsp)
  movabs $0x2b0000005b,%rax
  mov    %rax,0xaf18(%rsp)
  movabs $0x320000003a,%rax
  mov    %rax,0xaf20(%rsp)
  movabs $0x1d0000001b,%rax
  mov    %rax,0xaf28(%rsp)
  movabs $0x420000003f,%rax
  mov    %rax,0xb090(%rsp)
  movabs $0x4400000004,%rax
  mov    %rax,0xb098(%rsp)
  movabs $0x3500000059,%rax
  mov    %rax,0xb0a0(%rsp)
  movabs $0x1e00000043,%rax
  mov    %rax,0xb0a8(%rsp)
  movabs $0x1000000049,%rax
  mov    %rax,0xb0b0(%rsp)
  movabs $0x5700000045,%rax
  mov    %rax,0xb0b8(%rsp)
  movabs $0x1f00000028,%rax
  mov    %rax,0xb0c0(%rsp)
  movabs $0x3e00000004,%rax
  mov    %rax,0xb220(%rsp)
  movabs $0x1b00000062,%rax
  mov    %rax,0xb228(%rsp)
  movabs $0x900000017,%rax
  mov    %rax,0xb230(%rsp)
  movabs $0x6200000046,%rax
  mov    %rax,0xb238(%rsp)
  movabs $0x5d00000049,%rax
  mov    %rax,0xb240(%rsp)
  movabs $0x3500000026,%rax
  mov    %rsi,0xac00(%rsp)
  mov    $0x4,%esi
  mov    %rdi,0xad70(%rsp)
  mov    %r12,%rdi
  mov    %rax,0xb248(%rsp)
  movabs $0x40000003c,%rax
  mov    %rcx,0xabf8(%rsp)
  mov    %rdx,0xad78(%rsp)
  movl   $0xe,0xac08(%rsp)
  movl   $0x30,0xaf30(%rsp)
  mov    %rax,0xb250(%rsp)
  movl   $0x17,0xb258(%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    L18
  add    $0x13898,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L18:
  call   <__stack_chk_fail@plt>
```

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;
}
```