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

```asm
<solve>:
  endbr64
  test   %edi,%edi
  jle    L133
  lea    -0x1(%rdi),%eax
  cmp    $0x2,%eax
  jbe    L11
  pxor   %xmm7,%xmm7
  mov    %edi,%edx
  xor    %eax,%eax
  movdqa D26(%rip),%xmm9
  movdqa %xmm7,%xmm14
  movdqa %xmm7,%xmm13
  movdqa D1(%rip),%xmm8
  movdqa D14(%rip),%xmm12
  pcmpgtd %xmm9,%xmm14
  shr    $0x2,%edx
  movdqa %xmm7,%xmm10
  pcmpgtd %xmm8,%xmm13
  nopw   0x0(%rax,%rax,1)
L0:
  movdqa %xmm12,%xmm3
  movdqa %xmm10,%xmm5
  movdqa %xmm14,%xmm2
  add    $0x1,%eax
  movdqa %xmm3,%xmm0
  movdqa %xmm10,%xmm4
  movdqa %xmm14,%xmm15
  paddd  D6(%rip),%xmm12
  punpckldq %xmm3,%xmm0
  pcmpgtd %xmm0,%xmm5
  pmuludq %xmm0,%xmm2
  movdqa %xmm0,%xmm6
  pmuludq %xmm9,%xmm6
  movdqa %xmm5,%xmm1
  pmuludq %xmm8,%xmm5
  pmuludq %xmm9,%xmm1
  paddq  %xmm2,%xmm1
  movdqa %xmm3,%xmm2
  punpckhdq %xmm3,%xmm2
  psllq  $0x20,%xmm1
  pcmpgtd %xmm2,%xmm4
  paddq  %xmm1,%xmm6
  movdqa %xmm2,%xmm11
  pmuludq %xmm2,%xmm15
  pmuludq %xmm9,%xmm11
  movdqa %xmm4,%xmm1
  pmuludq %xmm8,%xmm4
  pmuludq %xmm9,%xmm1
  paddq  %xmm15,%xmm1
  psllq  $0x20,%xmm1
  paddq  %xmm11,%xmm1
  shufps $0xdd,%xmm1,%xmm6
  psrad  $0x1,%xmm6
  movdqa %xmm6,%xmm1
  pslld  $0x2,%xmm1
  paddd  %xmm6,%xmm1
  movdqa %xmm13,%xmm6
  pmuludq %xmm0,%xmm6
  pmuludq %xmm8,%xmm0
  pcmpeqd %xmm3,%xmm1
  pcmpeqd %xmm10,%xmm1
  paddq  %xmm6,%xmm5
  psllq  $0x20,%xmm5
  paddq  %xmm5,%xmm0
  movdqa %xmm13,%xmm5
  pmuludq %xmm2,%xmm5
  pmuludq %xmm8,%xmm2
  paddq  %xmm5,%xmm4
  psllq  $0x20,%xmm4
  paddq  %xmm4,%xmm2
  shufps $0xdd,%xmm2,%xmm0
  movdqa %xmm0,%xmm2
  pslld  $0x1,%xmm2
  paddd  %xmm2,%xmm0
  pcmpeqd %xmm3,%xmm0
  pcmpeqd %xmm10,%xmm0
  pand   %xmm0,%xmm1
  pandn  %xmm3,%xmm1
  paddd  %xmm1,%xmm7
  cmp    %eax,%edx
  jne    L0
  movdqa %xmm7,%xmm0
  mov    %edi,%edx
  psrldq $0x8,%xmm0
  and    $0xfffffffc,%edx
  paddd  %xmm0,%xmm7
  movdqa %xmm7,%xmm0
  psrldq $0x4,%xmm0
  paddd  %xmm0,%xmm7
  movd   %xmm7,%eax
  test   $0x3,%dil
  je     L67
  imul   $0xaaaaaaab,%edx,%ecx
  cmp    $0x55555555,%ecx
  jbe    L118
  imul   $0xcccccccd,%edx,%ecx
  cmp    $0x33333333,%ecx
  ja     L105
L118:
  add    %edx,%eax
L105:
  lea    0x1(%rdx),%ecx
  cmp    %ecx,%edi
  jle    L67
  imul   $0xaaaaaaab,%ecx,%esi
  cmp    $0x55555555,%esi
  ja     L74
L12:
  add    %ecx,%eax
L99:
  add    $0x2,%edx
  cmp    %edx,%edi
  jle    L67
  imul   $0xaaaaaaab,%edx,%ecx
  cmp    $0x55555555,%ecx
  jbe    L10
  imul   $0xcccccccd,%edx,%ecx
  cmp    $0x33333333,%ecx
  ja     L67
L10:
  add    %edx,%eax
  ret
  nopl   0x0(%rax,%rax,1)
L133:
  xor    %eax,%eax
L67:
  ret
  nopl   0x0(%rax,%rax,1)
L74:
  imul   $0xcccccccd,%ecx,%esi
  cmp    $0x33333333,%esi
  jbe    L12
  jmp    L99
L11:
  xor    %edx,%edx
  xor    %eax,%eax
  jmp    L118
```

tool_calls: name: extract_symbolic_data
arguments: label: D26
type: byte[16]
name: extract_symbolic_data
arguments: label: D1
type: byte[16]
name: extract_symbolic_data
arguments: label: D14
type: byte[16]
name: extract_symbolic_data
arguments: label: D6
type: byte[16]

tool: {"D26": [0x67,0x66,0x66,0x66,0x67,0x66,0x66,0x66,0x67,0x66,0x66,0x66,0x67,0x66,0x66,0x66]}

tool: {"D1": [0x56,0x55,0x55,0x55,0x56,0x55,0x55,0x55,0x56,0x55,0x55,0x55,0x56,0x55,0x55,0x55]}

tool: {"D14": [0x00,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D6": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

assistant: ```c
int solve(int p) {
  int sum = 0;
  int i;
  for (i = 0; i < p; i++) {
    if (i % 3 == 0 || i % 5 == 0) {
      sum += i;
    }
  }
  return sum;
}
```