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

```asm
<delta_AT>:
  endbr64
  subsd  D55(%rip),%xmm0
  movsd  D512(%rip),%xmm1
  comisd D353(%rip),%xmm0
  jae    L140
  movsd  D463(%rip),%xmm1
L140:
  comisd D66(%rip),%xmm0
  jb     L80
  movsd  D133(%rip),%xmm1
L80:
  comisd D467(%rip),%xmm0
  jb     L193
  movsd  D335(%rip),%xmm1
L193:
  comisd D381(%rip),%xmm0
  jb     L147
  movsd  D498(%rip),%xmm1
L147:
  comisd D493(%rip),%xmm0
  jb     L181
  movsd  D70(%rip),%xmm1
L181:
  comisd D477(%rip),%xmm0
  jb     L39
  movsd  D384(%rip),%xmm1
L39:
  comisd D306(%rip),%xmm0
  jb     L76
  movsd  D84(%rip),%xmm1
L76:
  comisd D334(%rip),%xmm0
  jb     L6
  movsd  D166(%rip),%xmm1
L6:
  comisd D421(%rip),%xmm0
  jb     L154
  movsd  D423(%rip),%xmm1
L154:
  comisd D362(%rip),%xmm0
  jb     L126
  movsd  D270(%rip),%xmm1
L126:
  comisd D312(%rip),%xmm0
  jb     L106
  movsd  D52(%rip),%xmm1
L106:
  comisd D106(%rip),%xmm0
  jb     L132
  movsd  D96(%rip),%xmm1
L132:
  comisd D87(%rip),%xmm0
  jb     L166
  movsd  D482(%rip),%xmm1
L166:
  comisd D194(%rip),%xmm0
  jb     L173
  movsd  D159(%rip),%xmm1
L173:
  comisd D191(%rip),%xmm0
  jb     L190
  movsd  D377(%rip),%xmm1
L190:
  comisd D67(%rip),%xmm0
  jb     L242
  movsd  D46(%rip),%xmm1
L242:
  comisd D340(%rip),%xmm0
  jb     L50
  movsd  D24(%rip),%xmm1
L50:
  comisd D214(%rip),%xmm0
  jb     L229
  movsd  D366(%rip),%xmm1
L229:
  comisd D451(%rip),%xmm0
  jb     L81
  movsd  D495(%rip),%xmm1
L81:
  comisd D263(%rip),%xmm0
  jb     L161
  movsd  D446(%rip),%xmm1
L161:
  comisd D62(%rip),%xmm0
  jb     L96
  movsd  D162(%rip),%xmm1
L96:
  comisd D105(%rip),%xmm0
  jb     L97
  movsd  D224(%rip),%xmm1
L97:
  comisd D489(%rip),%xmm0
  jb     L86
  movsd  D252(%rip),%xmm1
L86:
  comisd D113(%rip),%xmm0
  jb     L135
  movsd  D507(%rip),%xmm1
L135:
  comisd D406(%rip),%xmm0
  jb     L158
  movsd  D80(%rip),%xmm1
L158:
  movapd %xmm1,%xmm0
  ret
```

tool_calls: name: read_data
arguments: label: D55
type_guessed: f64
name: read_data
arguments: label: D512
type_guessed: f64
name: read_data
arguments: label: D353
type_guessed: f64[2]
name: read_data
arguments: label: D463
type_guessed: f64
name: read_data
arguments: label: D66
type_guessed: f64[2]
name: read_data
arguments: label: D133
type_guessed: f64
name: read_data
arguments: label: D467
type_guessed: f64[2]
name: read_data
arguments: label: D335
type_guessed: f64
name: read_data
arguments: label: D381
type_guessed: f64[2]
name: read_data
arguments: label: D498
type_guessed: f64
name: read_data
arguments: label: D493
type_guessed: f64[2]
name: read_data
arguments: label: D70
type_guessed: f64
name: read_data
arguments: label: D477
type_guessed: f64[2]
name: read_data
arguments: label: D384
type_guessed: f64
name: read_data
arguments: label: D306
type_guessed: f64[2]
name: read_data
arguments: label: D84
type_guessed: f64
name: read_data
arguments: label: D334
type_guessed: f64[2]
name: read_data
arguments: label: D166
type_guessed: f64
name: read_data
arguments: label: D421
type_guessed: f64[2]
name: read_data
arguments: label: D423
type_guessed: f64
name: read_data
arguments: label: D362
type_guessed: f64[2]
name: read_data
arguments: label: D270
type_guessed: f64
name: read_data
arguments: label: D312
type_guessed: f64[2]
name: read_data
arguments: label: D52
type_guessed: f64
name: read_data
arguments: label: D106
type_guessed: f64[2]
name: read_data
arguments: label: D96
type_guessed: f64
name: read_data
arguments: label: D87
type_guessed: f64[2]
name: read_data
arguments: label: D482
type_guessed: f64
name: read_data
arguments: label: D194
type_guessed: f64[2]
name: read_data
arguments: label: D159
type_guessed: f64
name: read_data
arguments: label: D191
type_guessed: f64[2]
name: read_data
arguments: label: D377
type_guessed: f64
name: read_data
arguments: label: D67
type_guessed: f64[2]
name: read_data
arguments: label: D46
type_guessed: f64
name: read_data
arguments: label: D340
type_guessed: f64[2]
name: read_data
arguments: label: D24
type_guessed: f64
name: read_data
arguments: label: D214
type_guessed: f64[2]
name: read_data
arguments: label: D366
type_guessed: f64
name: read_data
arguments: label: D451
type_guessed: f64[2]
name: read_data
arguments: label: D495
type_guessed: f64
name: read_data
arguments: label: D263
type_guessed: f64[2]
name: read_data
arguments: label: D446
type_guessed: f64
name: read_data
arguments: label: D62
type_guessed: f64[2]
name: read_data
arguments: label: D162
type_guessed: f64
name: read_data
arguments: label: D105
type_guessed: f64[2]
name: read_data
arguments: label: D224
type_guessed: f64
name: read_data
arguments: label: D489
type_guessed: f64[2]
name: read_data
arguments: label: D252
type_guessed: f64
name: read_data
arguments: label: D113
type_guessed: f64[2]
name: read_data
arguments: label: D507
type_guessed: f64
name: read_data
arguments: label: D406
type_guessed: f64
name: read_data
arguments: label: D80
type_guessed: f64

tool: D55: 2400000.5

tool: D512: 11

tool: {"D353": [41499.0,41683.0]}

tool: D463: 10

tool: {"D66": [41683.0,42048.0]}

tool: D133: 12

tool: {"D467": [42048.0,42413.0]}

tool: D335: 13

tool: {"D381": [42413.0,42778.0]}

tool: D498: 14

tool: {"D493": [42778.0,43144.0]}

tool: D70: 15

tool: {"D477": [43144.0,43509.0]}

tool: D384: 16

tool: {"D306": [43509.0,43874.0]}

tool: D84: 17

tool: {"D334": [43874.0,44239.0]}

tool: D166: 18

tool: {"D421": [44239.0,44786.0]}

tool: D423: 19

tool: {"D362": [44786.0,45151.0]}

tool: D270: 20

tool: {"D312": [45151.0,45516.0]}

tool: D52: 21

tool: {"D106": [45516.0,46247.0]}

tool: D96: 22

tool: {"D87": [46247.0,47161.0]}

tool: D482: 23

tool: {"D194": [47161.0,47892.0]}

tool: D159: 24

tool: {"D191": [47892.0,48257.0]}

tool: D377: 25

tool: {"D67": [48257.0,48804.0]}

tool: D46: 26

tool: {"D340": [48804.0,49169.0]}

tool: D24: 27

tool: {"D214": [49169.0,49534.0]}

tool: D366: 28

tool: {"D451": [49534.0,50083.0]}

tool: D495: 29

tool: {"D263": [50083.0,50630.0]}

tool: D446: 30

tool: {"D62": [50630.0,51179.0]}

tool: D162: 31

tool: {"D105": [51179.0,53736.0]}

tool: D224: 32

tool: {"D489": [53736.0,54832.0]}

tool: D252: 33

tool: {"D113": [54832.0,56109.0]}

tool: D507: 34

tool: D406: 56109

tool: D80: 35

assistant: ```c
double delta_AT(double utc) {
  double dt = 10.0;
  utc -= (2400000.5);
  if (utc >= 41499.0)
    dt = 11.0;
  if (utc >= 41683.0)
    dt = 12.0;
  if (utc >= 42048.0)
    dt = 13.0;
  if (utc >= 42413.0)
    dt = 14.0;
  if (utc >= 42778.0)
    dt = 15.0;
  if (utc >= 43144.0)
    dt = 16.0;
  if (utc >= 43509.0)
    dt = 17.0;
  if (utc >= 43874.0)
    dt = 18.0;
  if (utc >= 44239.0)
    dt = 19.0;
  if (utc >= 44786.0)
    dt = 20.0;
  if (utc >= 45151.0)
    dt = 21.0;
  if (utc >= 45516.0)
    dt = 22.0;
  if (utc >= 46247.0)
    dt = 23.0;
  if (utc >= 47161.0)
    dt = 24.0;
  if (utc >= 47892.0)
    dt = 25.0;
  if (utc >= 48257.0)
    dt = 26.0;
  if (utc >= 48804.0)
    dt = 27.0;
  if (utc >= 49169.0)
    dt = 28.0;
  if (utc >= 49534.0)
    dt = 29.0;
  if (utc >= 50083.0)
    dt = 30.0;
  if (utc >= 50630.0)
    dt = 31.0;
  if (utc >= 51179.0)
    dt = 32.0;
  if (utc >= 53736.0)
    dt = 33.0;
  if (utc >= 54832.0)
    dt = 34.0;
  if (utc >= 56109.0)
    dt = 35.0;
  return (dt);
}
```