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

```asm
<main>:
  endbr64
  push   %r12
  xor    %eax,%eax
  mov    $0x1,%r12d
  push   %rbp
  mov    $0x1,%ebp
  push   %rbx
  mov    $0xcccccccd,%ebx
  sub    $0x10,%rsp
  movss  %xmm2,0xc(%rsp)
  call   <timeit@plt>
  movss  0xc(%rsp),%xmm2
  mov    $0xc,%r11d
  movss  %xmm0,0x8(%rsp)
  nopl   0x0(%rax,%rax,1)
L132:
  movslq %r11d,%rdi
  add    $0x1,%r11d
  imul   $0x66666667,%rdi,%rsi
  mov    %edi,%edx
  mov    %rdi,%r9
  sar    $0x1f,%edx
  sar    $0x22,%rsi
  sub    %edx,%esi
  lea    (%rsi,%rsi,4),%eax
  mov    %esi,%r10d
  mov    %edi,%esi
  imul   $0x2e8ba2e9,%rdi,%rdi
  add    %eax,%eax
  sub    %eax,%esi
  sar    $0x21,%rdi
  sub    %edx,%edi
  lea    (%rdi,%rdi,4),%eax
  lea    (%rdi,%rax,2),%eax
  mov    %r9d,%edi
  sub    %eax,%edi
  mov    %r11d,%eax
  nopl   0x0(%rax,%rax,1)
L24:
  test   %esi,%esi
  je     L90
  test   %edi,%edi
  je     L90
  mov    %eax,%edx
  imul   %rbx,%rdx
  shr    $0x23,%rdx
  lea    (%rdx,%rdx,4),%ecx
  mov    %edx,%r8d
  mov    %eax,%edx
  add    %ecx,%ecx
  sub    %ecx,%edx
  je     L90
  imul   $0xba2e8ba3,%eax,%ecx
  cmp    $0x1745d174,%ecx
  jbe    L90
  cmp    %edx,%esi
  je     L112
  cmp    %r10d,%edx
  je     L104
  cmp    %r8d,%esi
  je     L91
  cmp    %r8d,%r10d
  jne    L90
  pxor   %xmm1,%xmm1
  pxor   %xmm2,%xmm2
  cvtsi2ss %esi,%xmm1
  cvtsi2ss %edx,%xmm2
  nopl   (%rax)
L87:
  divss  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  pxor   %xmm3,%xmm3
  cvtsi2ss %r9d,%xmm0
  cvtsi2ss %eax,%xmm3
  divss  %xmm3,%xmm0
  ucomiss %xmm0,%xmm1
  jp     L90
  jne    L90
  imul   %r9d,%ebp
  imul   %eax,%r12d
  nopl   0x0(%rax,%rax,1)
L90:
  add    $0x1,%eax
  cmp    $0x64,%eax
  jne    L24
  cmp    $0x63,%r11d
  jne    L132
  xor    %eax,%eax
  call   <timeit@plt>
  mov    %ebp,%esi
  mov    %r12d,%edi
  movd   %xmm0,%ebx
  call   <gcd@plt>
  pxor   %xmm0,%xmm0
  lea    D10(%rip),%rdi
  mov    %eax,%r8d
  mov    %r12d,%eax
  cltd
  idiv   %r8d
  cvtsi2ss %eax,%xmm0
  call   <printf@plt>
  movd   %ebx,%xmm0
  subss  0x8(%rsp),%xmm0
  lea    D12(%rip),%rdi
  call   <printf@plt>
  add    $0x10,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L112:
  pxor   %xmm0,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2ss %r8d,%xmm0
  cvtsi2ss %r10d,%xmm1
  divss  %xmm0,%xmm2
  jmp    L87
  nopl   0x0(%rax,%rax,1)
L104:
  pxor   %xmm1,%xmm1
  pxor   %xmm2,%xmm2
  cvtsi2ss %esi,%xmm1
  cvtsi2ss %r8d,%xmm2
  jmp    L87
  cs nopw 0x0(%rax,%rax,1)
L91:
  pxor   %xmm1,%xmm1
  pxor   %xmm2,%xmm2
  cvtsi2ss %r10d,%xmm1
  cvtsi2ss %edx,%xmm2
  jmp    L87
```

tool_calls: name: extract_symbolic_data
arguments: label: D10
type_infered: string
name: extract_symbolic_data
arguments: label: D12
type_infered: string

tool: D10: Answer: %d


tool: D12: Time: %f


assistant: ```c
int main(int argc, char *argv[]) {
  float start = timeit();
  int numerator_prod_sum = 1;
  int denominator_prod_sum = 1;
  for (int numerator = 12; numerator < 99; numerator++) {
    for (int denominator = numerator + 1; denominator < 100; denominator++) {
      if (numerator % 10 == 0 || numerator % 11 == 0 || denominator % 10 == 0 || denominator % 11 == 0)
        continue;
      float reduced_numerator;
      float reduced_denominator;
      if (numerator % 10 == denominator % 10) {
        reduced_numerator = (float)(numerator / 10);
        reduced_denominator /= (float)(denominator / 10);
      } else if (numerator / 10 == denominator % 10) {
        reduced_numerator = (float)(numerator % 10);
        reduced_denominator = (float)(denominator / 10);
      } else if (numerator % 10 == denominator / 10) {
        reduced_numerator = (float)(numerator / 10);
        reduced_denominator = (float)(denominator % 10);
      } else if (numerator / 10 == denominator / 10) {
        reduced_numerator = (float)(numerator % 10);
        reduced_denominator = (float)(denominator % 10);
      } else
        continue;
      if ((reduced_numerator / reduced_denominator) == ((float)numerator / denominator)) {
        numerator_prod_sum *= numerator;
        denominator_prod_sum *= denominator;
      }
    }
  }
  float stop = timeit();
  printf("Answer: %d\n", denominator_prod_sum / gcd(denominator_prod_sum, numerator_prod_sum));
  printf("Time: %f\n", stop - start);
  return 0;
}
```