user: 请显示与下面列出的汇编代码相匹配的C语言实现:

```asm
<constRS>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  movsd  %xmm1,(%rsp)
  movsd  %xmm2,0x8(%rsp)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,0x20(%rsp)
  movsd  %xmm5,0x18(%rsp)
  movsd  %xmm3,(%rsi)
  movsd  %xmm4,(%rdx)
  movsd  %xmm5,(%rcx)
  cmp    $0x30,%edi
  ja     L238
  movq   %xmm6,%r13
  mov    %rsi,%rbx
  mov    %rdx,%rbp
  mov    %rcx,%r12
  mov    %edi,%edx
  lea    D127(%rip),%rcx
  movslq (%rcx,%rdx,4),%rdx
  add    %rcx,%rdx
  notrack jmp *%rdx
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
L300:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  mov    D140(%rip),%rsi
  movq   %rsi,%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  lea    0x28(%rsp),%rax
  sub    $0x8,%rsp
  push   $0x1
  push   %r12
  push   %rbp
  mov    %rsi,%r9
  movapd %xmm6,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    %rax,0x30(%rsp)
  mov    %rax,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x20(%rsp),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x3,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  D140(%rip),%xmm0
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  push   %rax
  push   %r12
  push   %rbp
  mov    %rbx,%r9
  movq   %r13,%xmm1
  mov    %r15,%r8
  mov    %r14,%rcx
  mov    0x30(%rsp),%rdx
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x20,%rsp
  jmp    L300
L238:
  mov    %edi,%esi
  lea    D169(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%eax
  jmp    L300
```

tool_calls: name: extract_symbolic_data
arguments: tag: D140
type_infered: f64
name: extract_symbolic_data
arguments: tag: D169
type_infered: string

tool: D140: 1.5707963268

tool: D169: Error: RS curve type %d unknown


assistant: ```c
int constRS(int num, double t, double u, double v, double x1, double y1, double t1, double delta, double *pathx, double *pathy, double *patht) {
  int left, right, straight, fwd, bwd;
  int n;
  *pathx = x1;
  *pathy = y1;
  *patht = t1;
  n = 1;
  right = 1;
  left = 2;
  straight = 3;
  fwd = 1;
  bwd = -1;
  switch (num) {
  case 1:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 2:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 3:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 4:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 5:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 6:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 7:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 8:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 9:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 10:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 11:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 12:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 13:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 14:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 15:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 16:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 17:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 18:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 19:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 20:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 21:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 22:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 23:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 24:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 25:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 26:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 27:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 28:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 29:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 30:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 31:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 32:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 33:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 34:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 35:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 36:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 37:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 38:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 39:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 40:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 41:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 42:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 43:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 44:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 45:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 46:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 47:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 48:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  default:
    printf("Error: RS curve type %d unknown\n", num);
  }
  return n;
}
```