user: Translate the below assembly code into C programming language:

```asm
<initializeStatesAndConstants>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x8(%rbp)
  mov    %rsi,-0x10(%rbp)
  mov    -0x8(%rbp),%rax
  movsd  D835(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  movsd  D393(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  movsd  D212(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  movsd  D1004(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  movsd  D631(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x28,%rax
  movsd  D176(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  movsd  D686(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x38,%rax
  movsd  D239(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x40,%rax
  movsd  D41(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x48,%rax
  movsd  D408(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x50,%rax
  movsd  D28(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x58,%rax
  movsd  D145(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x60,%rax
  movsd  D903(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x68,%rax
  movsd  D468(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x70,%rax
  movsd  D470(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x78,%rax
  movsd  D517(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  D38(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x88,%rax
  movsd  D426(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x90,%rax
  movsd  D1081(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x98,%rax
  movsd  D50(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xa0,%rax
  movsd  D34(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xa8,%rax
  movsd  D997(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xb0,%rax
  movsd  D304(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xb8,%rax
  movsd  D869(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xc0,%rax
  movsd  D422(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xc8,%rax
  movsd  D232(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xd0,%rax
  movsd  D326(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xd8,%rax
  movsd  D654(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xe0,%rax
  movsd  D963(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xe8,%rax
  movsd  D618(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xf0,%rax
  movsd  D554(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xf8,%rax
  movsd  D39(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x100,%rax
  movsd  D1100(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  movsd  D1126(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movsd  D327(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  movsd  D86(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  movsd  D1104(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  movsd  D346(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x28,%rax
  movsd  D1100(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x30,%rax
  movsd  D76(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x38,%rax
  movsd  D912(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x40,%rax
  movsd  D84(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x48,%rax
  movsd  D334(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x50,%rax
  movsd  D667(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x58,%rax
  movsd  D327(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x60,%rax
  movsd  D914(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x68,%rax
  movsd  D1069(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x70,%rax
  movsd  D579(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x78,%rax
  movsd  D315(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  D61(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x88,%rax
  movsd  D498(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x90,%rax
  movsd  D303(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x98,%rax
  movsd  D42(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xa0,%rax
  movsd  D741(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xa8,%rax
  movsd  D133(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xb0,%rax
  movsd  D173(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xb8,%rax
  movsd  D66(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xc0,%rax
  movsd  D661(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xc8,%rax
  movsd  D1100(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xd0,%rax
  movsd  D694(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xd8,%rax
  movsd  D1007(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xe0,%rax
  movsd  D442(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xe8,%rax
  movsd  D246(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xf0,%rax
  movsd  D590(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xf8,%rax
  movsd  D79(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x100,%rax
  movsd  D847(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x108,%rax
  movsd  D519(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x110,%rax
  movsd  D394(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x118,%rax
  movsd  D711(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x120,%rax
  movsd  D164(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x128,%rax
  movsd  D409(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x130,%rax
  movsd  D164(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x138,%rax
  movsd  D209(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x140,%rax
  movsd  D96(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x148,%rax
  movsd  D134(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x150,%rax
  movsd  D102(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x158,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x160,%rax
  movsd  D1104(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x168,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x170,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x178,%rax
  movsd  D930(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x180,%rax
  movsd  D824(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x188,%rax
  movsd  D484(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x190,%rax
  movsd  D484(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x198,%rax
  movsd  D949(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1a0,%rax
  movsd  D574(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1a8,%rax
  movsd  D955(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1b0,%rax
  movsd  D103(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1b8,%rax
  movsd  D959(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1c0,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1c8,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1d0,%rax
  movsd  D15(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1d8,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1e0,%rax
  movsd  D1104(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1e8,%rax
  movsd  D370(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1f0,%rax
  movsd  D1017(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1f8,%rax
  movsd  D324(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x200,%rax
  movsd  D839(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x208,%rax
  movsd  D561(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x210,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x218,%rax
  movsd  D341(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x220,%rax
  movsd  D405(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x228,%rax
  movsd  D742(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x230,%rax
  movsd  D485(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x238,%rax
  movsd  D476(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x240,%rax
  movsd  D1079(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x248,%rax
  movsd  D261(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x250,%rax
  movsd  D550(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x258,%rax
  movsd  D476(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x260,%rax
  movsd  D617(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x268,%rax
  movsd  D969(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x270,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x278,%rax
  movsd  D827(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x280,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x288,%rax
  movsd  D806(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x290,%rax
  movsd  D649(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x298,%rax
  movsd  D440(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2a0,%rax
  movsd  D726(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2a8,%rax
  movsd  D136(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2b0,%rax
  movsd  D889(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2b8,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2c0,%rax
  movsd  D755(%rip),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2c8,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2d0,%rax
  movsd  D395(%rip),%xmm0
  movsd  %xmm0,(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D835
type: f64
name: extract_symbolic_data
arguments: data_tag: D393
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D212
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D1004
type: f64
name: extract_symbolic_data
arguments: data_tag: D631
type: f64
name: extract_symbolic_data
arguments: data_tag: D176
type: f64
name: extract_symbolic_data
arguments: data_tag: D686
type: f64
name: extract_symbolic_data
arguments: data_tag: D239
type: f64
name: extract_symbolic_data
arguments: data_tag: D41
type: f64
name: extract_symbolic_data
arguments: data_tag: D408
type: f64
name: extract_symbolic_data
arguments: data_tag: D28
type: f64
name: extract_symbolic_data
arguments: data_tag: D145
type: f64
name: extract_symbolic_data
arguments: data_tag: D903
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D468
type: f64
name: extract_symbolic_data
arguments: data_tag: D470
type: f64
name: extract_symbolic_data
arguments: data_tag: D517
type: f64
name: extract_symbolic_data
arguments: data_tag: D38
type: f64
name: extract_symbolic_data
arguments: data_tag: D426
type: f64
name: extract_symbolic_data
arguments: data_tag: D1081
type: f64
name: extract_symbolic_data
arguments: data_tag: D50
type: f64
name: extract_symbolic_data
arguments: data_tag: D34
type: f64
name: extract_symbolic_data
arguments: data_tag: D997
type: f64
name: extract_symbolic_data
arguments: data_tag: D304
type: f64
name: extract_symbolic_data
arguments: data_tag: D869
type: f64
name: extract_symbolic_data
arguments: data_tag: D422
type: f64
name: extract_symbolic_data
arguments: data_tag: D232
type: f64
name: extract_symbolic_data
arguments: data_tag: D326
type: f64
name: extract_symbolic_data
arguments: data_tag: D654
type: f64
name: extract_symbolic_data
arguments: data_tag: D963
type: f64
name: extract_symbolic_data
arguments: data_tag: D618
type: f64
name: extract_symbolic_data
arguments: data_tag: D554
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D39
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D1100
type: f64
name: extract_symbolic_data
arguments: data_tag: D1126
type: f64
name: extract_symbolic_data
arguments: data_tag: D327
type: f64
name: extract_symbolic_data
arguments: data_tag: D86
type: f64
name: extract_symbolic_data
arguments: data_tag: D1104
type: f64
name: extract_symbolic_data
arguments: data_tag: D346
type: f64
name: extract_symbolic_data
arguments: data_tag: D76
type: f64
name: extract_symbolic_data
arguments: data_tag: D912
type: f64
name: extract_symbolic_data
arguments: data_tag: D84
type: f64
name: extract_symbolic_data
arguments: data_tag: D334
type: f64
name: extract_symbolic_data
arguments: data_tag: D667
type: f64
name: extract_symbolic_data
arguments: data_tag: D914
type: f64
name: extract_symbolic_data
arguments: data_tag: D1069
type: f64
name: extract_symbolic_data
arguments: data_tag: D579
type: f64
name: extract_symbolic_data
arguments: data_tag: D315
type: f64
name: extract_symbolic_data
arguments: data_tag: D61
type: f64
name: extract_symbolic_data
arguments: data_tag: D498
type: f64
name: extract_symbolic_data
arguments: data_tag: D303
type: f64
name: extract_symbolic_data
arguments: data_tag: D42
type: f64
name: extract_symbolic_data
arguments: data_tag: D741
type: f64
name: extract_symbolic_data
arguments: data_tag: D133
type: f64
name: extract_symbolic_data
arguments: data_tag: D173
type: f64
name: extract_symbolic_data
arguments: data_tag: D66
type: f64
name: extract_symbolic_data
arguments: data_tag: D661
type: f64
name: extract_symbolic_data
arguments: data_tag: D694
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D1007
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D442
type: f64
name: extract_symbolic_data
arguments: data_tag: D246
type: f64
name: extract_symbolic_data
arguments: data_tag: D590
type: f64
name: extract_symbolic_data
arguments: data_tag: D79
type: f64
name: extract_symbolic_data
arguments: data_tag: D847
type: f64
name: extract_symbolic_data
arguments: data_tag: D519
type: f64
name: extract_symbolic_data
arguments: data_tag: D394
type: f64
name: extract_symbolic_data
arguments: data_tag: D711
type: f64
name: extract_symbolic_data
arguments: data_tag: D164
type: f64
name: extract_symbolic_data
arguments: data_tag: D409
type: f64
name: extract_symbolic_data
arguments: data_tag: D209
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D96
type: f64
name: extract_symbolic_data
arguments: data_tag: D134
type: f64
name: extract_symbolic_data
arguments: data_tag: D102
type: f64
name: extract_symbolic_data
arguments: data_tag: D930
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D824
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D484
type: f64
name: extract_symbolic_data
arguments: data_tag: D949
type: f64
name: extract_symbolic_data
arguments: data_tag: D574
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D955
type: f64
name: extract_symbolic_data
arguments: data_tag: D103
type: f64
name: extract_symbolic_data
arguments: data_tag: D959
type: f64
name: extract_symbolic_data
arguments: data_tag: D15
type: f64
name: extract_symbolic_data
arguments: data_tag: D370
type: f64
name: extract_symbolic_data
arguments: data_tag: D1017
type: f64
name: extract_symbolic_data
arguments: data_tag: D324
type: f64
name: extract_symbolic_data
arguments: data_tag: D839
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D561
type: f64
name: extract_symbolic_data
arguments: data_tag: D341
type: f64
name: extract_symbolic_data
arguments: data_tag: D405
type: f64
name: extract_symbolic_data
arguments: data_tag: D742
type: f64
name: extract_symbolic_data
arguments: data_tag: D485
type: f64
name: extract_symbolic_data
arguments: data_tag: D476
type: f64
name: extract_symbolic_data
arguments: data_tag: D1079
type: f64
name: extract_symbolic_data
arguments: data_tag: D261
type: f64
name: extract_symbolic_data
arguments: data_tag: D550
type: f64
name: extract_symbolic_data
arguments: data_tag: D617
type: f64
name: extract_symbolic_data
arguments: data_tag: D969
type: f64
name: extract_symbolic_data
arguments: data_tag: D827
type: f64
name: extract_symbolic_data
arguments: data_tag: D806
type: f64
name: extract_symbolic_data
arguments: data_tag: D649
type: f64
name: extract_symbolic_data
arguments: data_tag: D440
type: f64
name: extract_symbolic_data
arguments: data_tag: D726
type: byte[8]
name: extract_symbolic_data
arguments: data_tag: D136
type: f64
name: extract_symbolic_data
arguments: data_tag: D889
type: f64
name: extract_symbolic_data
arguments: data_tag: D755
type: f64
name: extract_symbolic_data
arguments: data_tag: D395
type: byte[8]

tool: D835: 0.9308

tool: {"D393": [0x82,0x90,0x3c,0xf2,0xa4,0x8c,0x3a,0x3e]}

tool: {"D212": [0x62,0x9d,0x15,0x27,0xb4,0x94,0xff,0x3d]}

tool: D1004: 0.069199

tool: D631: 0.409551

tool: D176: 0.844449

tool: D686: 0.017929

tool: D239: 0.259947

tool: D41: 0.653777

tool: D408: 0.217311

tool: D28: 0.158521

tool: D145: 0.138975

tool: {"D903": [0x5c,0x1a,0x70,0x68,0xcf,0x33,0xe3,0x3e]}

tool: D468: 0.435148

tool: D470: 0.009508

tool: D517: 0.447724

tool: D38: 0.003058

tool: D426: 0.846702

tool: D1081: 0.268909

tool: D50: 0.020484

tool: D34: 0.430836

tool: D997: 0.014523

tool: D304: 0.283185

tool: D869: 0.011068

tool: D422: 0.709051

tool: D232: 0.00277

tool: D326: 0.011845

tool: D654: 0.845304

tool: D963: 0.1162

tool: D618: 0.001921

tool: {"D554": [0xc5,0xec,0xbf,0x85,0x44,0x52,0x10,0x3f]}

tool: {"D39": [0x97,0x3a,0xc8,0xeb,0xc1,0xe4,0x47,0xc0]}

tool: D1100: 5

tool: D1126: 0.45

tool: D327: 2.5

tool: D86: 15

tool: D1104: 1

tool: D346: 500

tool: D76: 10000

tool: D912: 660

tool: D84: 148041085.1

tool: D334: 0.045

tool: D667: 10

tool: D914: 0.031

tool: D1069: 0.062

tool: D579: 542

tool: D315: 445

tool: D61: 446

tool: D498: 7.51

tool: D303: 751

tool: D42: 1642000

tool: D741: 175.4

tool: D133: 88800

tool: D173: 227700

tool: D66: 2277

tool: D661: 0.000286113

tool: {"D694": [0x2d,0x43,0x1c,0xeb,0xe2,0x36,0x0a,0x3f]}

tool: {"D1007": [0x3b,0x72,0x62,0x17,0x5e,0xac,0x0c,0x3f]}

tool: D442: 0.04

tool: D246: 67

tool: D590: 0.02

tool: D79: 3.9

tool: D847: 0.46

tool: D519: 0.0012

tool: D394: 0.0116

tool: D711: 1.8

tool: D164: 140

tool: D409: 5.4

tool: {"D209": [0x24,0x0f,0x44,0x16,0x69,0xe2,0x0d,0x3f]}

tool: D96: 96485.3415

tool: D134: 8314.472

tool: D102: 310

tool: {"D930": [0.0,-3.1015625]}

tool: {"D824": [0.0,-3.0234375]}

tool: D484: 0.5

tool: D949: 0.4578

tool: {"D574": [0x6c,0x09,0xf9,0xa0,0x67,0x73,0x30,0xc0]}

tool: D955: 4.3371

tool: D103: 0.000338

tool: D959: 0.0075

tool: D15: 0.04132

tool: D370: 0.00345

tool: D1017: 0.00424

tool: D324: 0.00065

tool: {"D839": [0x38,0x8a,0x07,0xef,0x06,0x2c,0x24,0x3f]}

tool: D561: 0.0223

tool: D341: 395.3

tool: D405: 1628

tool: D742: 2.289

tool: D485: 561.4

tool: D476: 26.44

tool: D1079: 4.663

tool: D261: 3.343

tool: D550: 0.0207

tool: D617: 3.663

tool: D969: 0.1369

tool: D827: 0.4315

tool: D806: 1.4

tool: D649: 14

tool: D440: 0.08105

tool: {"D726": [0xf1,0x68,0xe3,0x88,0xb5,0xf8,0xe4,0x3e]}

tool: D136: 45

tool: D889: 0.5927

tool: D755: 0.00427

tool: {"D395": [0x79,0xe9,0x26,0x31,0x08,0xac,0x6c,0x3f]}

assistant: ```c
void initializeStatesAndConstants(double *states, double *variables) {
  states[0] = 0.9308;
  states[1] = 6.181512e-9;
  states[2] = 4.595622e-10;
  states[3] = 0.069199;
  states[4] = 0.409551;
  states[5] = 0.844449;
  states[6] = 0.017929;
  states[7] = 0.259947;
  states[8] = 0.653777;
  states[9] = 0.217311;
  states[10] = 0.158521;
  states[11] = 0.138975;
  states[12] = 9.15641e-6;
  states[13] = 0.435148;
  states[14] = 0.009508;
  states[15] = 0.447724;
  states[16] = 0.003058;
  states[17] = 0.846702;
  states[18] = 0.268909;
  states[19] = 0.020484;
  states[20] = 0.430836;
  states[21] = 0.014523;
  states[22] = 0.283185;
  states[23] = 0.011068;
  states[24] = 0.709051;
  states[25] = 0.00277;
  states[26] = 0.011845;
  states[27] = 0.845304;
  states[28] = 0.1162;
  states[29] = 0.001921;
  states[30] = 6.226104e-5;
  states[31] = -47.787168;
  states[32] = 5.0;
  variables[0] = 0.45;
  variables[1] = 2.5;
  variables[2] = 15.0;
  variables[3] = 1.0;
  variables[4] = 500.0;
  variables[5] = 5.0;
  variables[6] = 10000.0;
  variables[7] = 660.0;
  variables[8] = 148041085.1;
  variables[9] = 0.045;
  variables[10] = 10.0;
  variables[11] = 2.5;
  variables[12] = 0.031;
  variables[13] = 0.062;
  variables[14] = 542.0;
  variables[15] = 445.0;
  variables[16] = 446.0;
  variables[17] = 7.51;
  variables[18] = 751.0;
  variables[19] = 1.642e6;
  variables[20] = 175.4;
  variables[21] = 88800.0;
  variables[22] = 227700.0;
  variables[23] = 2277.0;
  variables[24] = 0.000286113;
  variables[25] = 5.0;
  variables[26] = 5.0e-5;
  variables[27] = 5.469e-5;
  variables[28] = 0.04;
  variables[29] = 67.0;
  variables[30] = 0.02;
  variables[31] = 3.9;
  variables[32] = 0.46;
  variables[33] = 0.0012;
  variables[34] = 0.0116;
  variables[35] = 1.8;
  variables[36] = 140.0;
  variables[37] = 5.4;
  variables[38] = 140.0;
  variables[39] = 5.7e-5;
  variables[40] = 96485.3415;
  variables[41] = 8314.472;
  variables[42] = 310.0;
  variables[43] = 0.0;
  variables[44] = 1.0;
  variables[45] = 0.0;
  variables[46] = 0.0;
  variables[47] = -45.0;
  variables[48] = -35.0;
  variables[49] = 0.5;
  variables[50] = 0.5;
  variables[51] = 0.4578;
  variables[52] = -16.4508;
  variables[53] = 4.3371;
  variables[54] = 0.000338;
  variables[55] = 0.0075;
  variables[56] = 0.0;
  variables[57] = 0.0;
  variables[58] = 0.04132;
  variables[59] = 0.0;
  variables[60] = 1.0;
  variables[61] = 0.00345;
  variables[62] = 0.00424;
  variables[63] = 0.00065;
  variables[64] = 0.1539e-3;
  variables[65] = 0.0223;
  variables[66] = 0.0;
  variables[67] = 395.3;
  variables[68] = 1628.0;
  variables[69] = 2.289;
  variables[70] = 561.4;
  variables[71] = 26.44;
  variables[72] = 4.663;
  variables[73] = 3.343;
  variables[74] = 0.0207;
  variables[75] = 26.44;
  variables[76] = 3.663;
  variables[77] = 0.1369;
  variables[78] = 0.0;
  variables[79] = 0.4315;
  variables[80] = 0.0;
  variables[81] = 1.4;
  variables[82] = 14.0;
  variables[83] = 0.08105;
  variables[84] = 1.0e-5;
  variables[85] = 45.0;
  variables[86] = 0.5927;
  variables[87] = 0.0;
  variables[88] = 0.00427;
  variables[89] = 0.0;
  variables[90] = 3.5e-3;
}
```