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

```asm
<seq2xy>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %edx,-0x24(%rbp)
  cmpl   $0x30c5cf,-0x24(%rbp)
  jbe    L14
  mov    -0x18(%rbp),%rax
  movl   $0xffffffff,(%rax)
  mov    -0x20(%rbp),%rax
  movl   $0xffffffff,(%rax)
  jmp    L9
L14:
  mov    -0x24(%rbp),%eax
  mov    %eax,%eax
  imul   $0x78fc217,%rax,%rax
  shr    $0x20,%rax
  shr    $0xa,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,%edx
  imul   $0x78fc217,%rdx,%rdx
  shr    $0x20,%rdx
  shr    $0xa,%edx
  imul   $0x876c,%edx,%edx
  sub    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x8(%rbp),%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  shl    $0x3,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  cmpl   $0x1aff,-0x24(%rbp)
  jbe    L26
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  lea    0x6(%rax),%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  subl   $0x1b00,-0x24(%rbp)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%ecx
  mov    -0x24(%rbp),%eax
  mov    %eax,%edx
  mov    $0xaa00aa01,%eax
  imul   %rdx,%rax
  shr    $0x20,%rax
  shr    $0xa,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x24(%rbp),%edx
  mov    %edx,%ecx
  mov    $0xaa00aa01,%eax
  imul   %rcx,%rax
  shr    $0x20,%rax
  shr    $0xa,%eax
  imul   $0x606,%eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  mov    %edx,(%rax)
  jmp    L9
L26:
  mov    -0x18(%rbp),%rax
  movl   $0x6,(%rax)
  mov    -0x20(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edx
  mov    -0x24(%rbp),%eax
  mov    %eax,%eax
  imul   $0x38e38e39,%rax,%rax
  shr    $0x20,%rax
  shr    $0x8,%eax
  add    %edx,%eax
  mov    %eax,%edx
  mov    -0x20(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x24(%rbp),%edx
  mov    %edx,%eax
  imul   $0x38e38e39,%rax,%rax
  shr    $0x20,%rax
  mov    %eax,%ecx
  shr    $0x8,%ecx
  mov    %ecx,%eax
  shl    $0x3,%eax
  add    %ecx,%eax
  shl    $0x7,%eax
  sub    %eax,%edx
  mov    %edx,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,%eax
  imul   $0x38e38e39,%rax,%rax
  shr    $0x20,%rax
  shr    $0x2,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%ecx
  mov    -0x4(%rbp),%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  shl    $0x3,%eax
  add    %ecx,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x24(%rbp),%edx
  mov    %edx,%eax
  imul   $0x38e38e39,%rax,%rax
  shr    $0x20,%rax
  mov    %eax,%ecx
  shr    $0x2,%ecx
  mov    %ecx,%eax
  shl    $0x3,%eax
  add    %ecx,%eax
  add    %eax,%eax
  sub    %eax,%edx
  mov    %edx,-0x24(%rbp)
  mov    -0x18(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  mov    %edx,(%rax)
L9:
  pop    %rbp
  ret
```

assistant: ```c
void seq2xy(int *x, int *y, unsigned seq) {
  unsigned rep;
  if (seq >= ((long)(((24 - 2 * 3) * ((2 * 2 + (24 * (65 - 1) + 2 * 3)) - 2 * 2)) + ((2 * 3) * ((24 - 2 * 3) * (65 - 1)))) * (93 - 1) + ((2 * 3) * ((24 - 2 * 3) * (65 - 1))))) {
    *x = -1;
    *y = -1;
    return;
  }
  rep = seq / (((24 - 2 * 3) * ((2 * 2 + (24 * (65 - 1) + 2 * 3)) - 2 * 2)) + ((2 * 3) * ((24 - 2 * 3) * (65 - 1))));
  seq = seq % (((24 - 2 * 3) * ((2 * 2 + (24 * (65 - 1) + 2 * 3)) - 2 * 2)) + ((2 * 3) * ((24 - 2 * 3) * (65 - 1))));
  *y = ((2 * 3) + (24 - 2 * 3)) * rep;
  if (seq >= ((2 * 3) * ((24 - 2 * 3) * (65 - 1)))) {
    *y += (2 * 3);
    seq -= ((2 * 3) * ((24 - 2 * 3) * (65 - 1)));
    *y += seq / ((2 * 2 + (24 * (65 - 1) + 2 * 3)) - 2 * 2);
    *x = seq % ((2 * 2 + (24 * (65 - 1) + 2 * 3)) - 2 * 2);
  } else {
    unsigned gap;
    *x = 2 * 3;
    *y += seq / ((24 - 2 * 3) * (65 - 1));
    seq %= ((24 - 2 * 3) * (65 - 1));
    gap = seq / (24 - 2 * 3);
    *x += gap * 24;
    seq %= (24 - 2 * 3);
    *x += seq;
  }
}
```