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

```asm
<Lovasz_condition>:
  endbr64
  push   %rbp
  mov    $0x1,%r8d
  mov    %ecx,%ebp
  push   %rbx
  sub    $0x68,%rsp
  mov    %fs:0x28,%rcx
  mov    %rcx,0x58(%rsp)
  xor    %ecx,%ecx
  cmp    $0xffffffff,%edx
  je     L92
  mov    %rdi,%rax
  test   %ebp,%ebp
  jle    L10
  movslq %edx,%rdi
  add    $0x1,%edx
  lea    0x0(,%rdi,4),%rcx
  movslq %edx,%rdx
  add    %rcx,%rdi
  lea    (%rsi,%rdi,8),%rsi
  movss  (%rsi,%rdx,4),%xmm0
  lea    (%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x30(%rsp)
  cmp    $0x1,%ebp
  je     L10
  lea    0x28(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x4(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x34(%rsp)
  cmp    $0x2,%ebp
  je     L10
  lea    0x50(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x8(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x38(%rsp)
  cmp    $0x3,%ebp
  je     L10
  lea    0x78(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0xc(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x3c(%rsp)
  cmp    $0x4,%ebp
  je     L10
  lea    0xa0(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x10(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x40(%rsp)
  cmp    $0x5,%ebp
  je     L10
  lea    0xc8(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x14(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x44(%rsp)
  cmp    $0x6,%ebp
  je     L10
  lea    0xf0(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x18(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x48(%rsp)
  cmp    $0x7,%ebp
  je     L10
  lea    0x118(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x1c(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x4c(%rsp)
  cmp    $0x8,%ebp
  je     L10
  lea    0x140(%rax,%rcx,1),%rdx
  movss  (%rdx),%xmm1
  movss  %xmm1,0x20(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  movss  %xmm1,0x50(%rsp)
  cmp    $0x9,%ebp
  je     L10
  lea    0x168(%rax,%rcx,1),%rax
  movss  (%rax),%xmm1
  movss  %xmm1,0x24(%rsp)
  mulss  %xmm0,%xmm1
  addss  0x4(%rax),%xmm1
  movss  %xmm1,0x54(%rsp)
L10:
  mov    %rsp,%rdi
  mov    %ebp,%esi
  call   <norm_squared@plt>
  lea    0x30(%rsp),%rdi
  mov    %ebp,%esi
  mov    %rax,%rbx
  call   <norm_squared@plt>
  pxor   %xmm0,%xmm0
  pxor   %xmm1,%xmm1
  xor    %r8d,%r8d
  cvtsi2ss %rbx,%xmm0
  cvtsi2ss %rax,%xmm1
  cvtss2sd %xmm0,%xmm0
  mulsd  D9(%rip),%xmm0
  cvtss2sd %xmm1,%xmm1
  comisd %xmm0,%xmm1
  setae  %r8b
L92:
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L71
  add    $0x68,%rsp
  mov    %r8d,%eax
  pop    %rbx
  pop    %rbp
  ret
L71:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: data_tag: D9
data_type: f64

tool: D9: 0.75

assistant: ```c
int Lovasz_condition(float orthogonal[][10], float u[][10], int i, int n) {
  if (i == -1) {
    return 1;
  }
  int j, k;
  float lhs[10], rhs[10];
  for (j = 0; j < n; j++) {
    lhs[j] = orthogonal[j][i];
    rhs[j] = u[i][i + 1] * lhs[j] + orthogonal[j][i + 1];
  }
  float norm_lhs = (float)norm_squared(lhs, n);
  float norm_rhs = (float)norm_squared(rhs, n);
  if (0.75 * norm_lhs <= norm_rhs) {
    return 1;
  }
  return 0;
}
```