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

```asm
<check_add_double>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x600,%rsp
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x480(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x200(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x1f8(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1094
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1094
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1094
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1459
L1094:
  call   <abort@plt>
L1459:
  pxor   %xmm0,%xmm0
  movsd  -0x480(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x580(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x578(%rbp)
  movsd  -0x578(%rbp),%xmm0
  movsd  -0x580(%rbp),%xmm1
  movsd  %xmm1,-0x1f0(%rbp)
  movsd  %xmm0,-0x1e8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x580(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x580(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x578(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x578(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L212
  movsd  -0x580(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L212
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L212
  movsd  -0x578(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L212
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L599
L212:
  call   <abort@plt>
L599:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x600(%rbp)
  movsd  D920(%rip),%xmm0
  movsd  %xmm0,-0x400(%rbp)
  movsd  D5279(%rip),%xmm0
  movsd  %xmm0,-0x3f8(%rbp)
  movsd  -0x400(%rbp),%xmm1
  movsd  -0x3f8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2652
  movsd  -0x400(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2652
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2652
  movsd  -0x3f8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2652
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L3031
L2652:
  call   <abort@plt>
L3031:
  movsd  -0x400(%rbp),%xmm1
  movsd  -0x3f8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x600(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x3f0(%rbp)
  movsd  %xmm0,-0x3e8(%rbp)
  movsd  -0x3f0(%rbp),%xmm1
  movsd  -0x3e8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L391
  movsd  -0x3f0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L391
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L391
  movsd  -0x3e8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L391
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1424
L391:
  call   <abort@plt>
L1424:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x478(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x1e0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x1d8(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1828
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1828
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1828
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L337
L1828:
  call   <abort@plt>
L337:
  pxor   %xmm0,%xmm0
  movsd  -0x478(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x570(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x568(%rbp)
  movsd  -0x568(%rbp),%xmm0
  movsd  -0x570(%rbp),%xmm1
  movsd  %xmm1,-0x1d0(%rbp)
  movsd  %xmm0,-0x1c8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x570(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x570(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x568(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x568(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2692
  movsd  -0x570(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2692
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2692
  movsd  -0x568(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2692
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2456
L2692:
  call   <abort@plt>
L2456:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5f8(%rbp)
  movsd  D4278(%rip),%xmm0
  movsd  %xmm0,-0x3e0(%rbp)
  movsd  D452(%rip),%xmm0
  movsd  %xmm0,-0x3d8(%rbp)
  movsd  -0x3e0(%rbp),%xmm1
  movsd  -0x3d8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2059
  movsd  -0x3e0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2059
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2059
  movsd  -0x3d8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2059
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L614
L2059:
  call   <abort@plt>
L614:
  movsd  -0x3e0(%rbp),%xmm1
  movsd  -0x3d8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5f8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x3d0(%rbp)
  movsd  %xmm0,-0x3c8(%rbp)
  movsd  -0x3d0(%rbp),%xmm1
  movsd  -0x3c8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1638
  movsd  -0x3d0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1638
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1638
  movsd  -0x3c8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1638
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1625
L1638:
  call   <abort@plt>
L1625:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x470(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x1c0(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x1b8(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2263
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2263
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2263
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2413
L2263:
  call   <abort@plt>
L2413:
  movsd  D524(%rip),%xmm0
  movsd  -0x470(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x560(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x558(%rbp)
  movsd  -0x558(%rbp),%xmm0
  movsd  -0x560(%rbp),%xmm1
  movsd  %xmm1,-0x1b0(%rbp)
  movsd  %xmm0,-0x1a8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x560(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x560(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x558(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x558(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2033
  movsd  -0x560(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2033
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2033
  movsd  -0x558(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2033
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1508
L2033:
  call   <abort@plt>
L1508:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5f0(%rbp)
  movsd  D5834(%rip),%xmm0
  movsd  %xmm0,-0x3c0(%rbp)
  movsd  D3333(%rip),%xmm0
  movsd  %xmm0,-0x3b8(%rbp)
  movsd  -0x3c0(%rbp),%xmm1
  movsd  -0x3b8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2793
  movsd  -0x3c0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2793
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2793
  movsd  -0x3b8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2793
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2469
L2793:
  call   <abort@plt>
L2469:
  movsd  -0x3c0(%rbp),%xmm1
  movsd  -0x3b8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5f0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x3b0(%rbp)
  movsd  %xmm0,-0x3a8(%rbp)
  movsd  -0x3b0(%rbp),%xmm1
  movsd  -0x3a8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2630
  movsd  -0x3b0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2630
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2630
  movsd  -0x3a8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2630
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2105
L2630:
  call   <abort@plt>
L2105:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x468(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x1a0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x198(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2250
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2250
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2250
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1409
L2250:
  call   <abort@plt>
L1409:
  movsd  D524(%rip),%xmm0
  movsd  -0x468(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x550(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x548(%rbp)
  movsd  -0x548(%rbp),%xmm0
  movsd  -0x550(%rbp),%xmm1
  movsd  %xmm1,-0x190(%rbp)
  movsd  %xmm0,-0x188(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x550(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x550(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x548(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x548(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2100
  movsd  -0x550(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2100
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2100
  movsd  -0x548(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2100
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1387
L2100:
  call   <abort@plt>
L1387:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5e8(%rbp)
  movsd  D4561(%rip),%xmm0
  movsd  %xmm0,-0x3a0(%rbp)
  movsd  D3739(%rip),%xmm0
  movsd  %xmm0,-0x398(%rbp)
  movsd  -0x3a0(%rbp),%xmm1
  movsd  -0x398(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L345
  movsd  -0x3a0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L345
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L345
  movsd  -0x398(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L345
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1431
L345:
  call   <abort@plt>
L1431:
  movsd  -0x3a0(%rbp),%xmm1
  movsd  -0x398(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5e8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x390(%rbp)
  movsd  %xmm0,-0x388(%rbp)
  movsd  -0x390(%rbp),%xmm1
  movsd  -0x388(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L754
  movsd  -0x390(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L754
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L754
  movsd  -0x388(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L754
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2942
L754:
  call   <abort@plt>
L2942:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x460(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x180(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x178(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1855
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1855
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1855
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L590
L1855:
  call   <abort@plt>
L590:
  pxor   %xmm0,%xmm0
  movsd  -0x460(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x540(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x538(%rbp)
  movsd  -0x538(%rbp),%xmm0
  movsd  -0x540(%rbp),%xmm1
  movsd  %xmm1,-0x170(%rbp)
  movsd  %xmm0,-0x168(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x540(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x540(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x538(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x538(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1731
  movsd  -0x540(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1731
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1731
  movsd  -0x538(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1731
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1546
L1731:
  call   <abort@plt>
L1546:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5e0(%rbp)
  movsd  D920(%rip),%xmm0
  movsd  %xmm0,-0x380(%rbp)
  movsd  D5279(%rip),%xmm0
  movsd  %xmm0,-0x378(%rbp)
  movsd  -0x380(%rbp),%xmm1
  movsd  -0x378(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L741
  movsd  -0x380(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L741
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L741
  movsd  -0x378(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L741
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L189
L741:
  call   <abort@plt>
L189:
  movsd  -0x380(%rbp),%xmm1
  movsd  -0x378(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5e0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x370(%rbp)
  movsd  %xmm0,-0x368(%rbp)
  movsd  -0x370(%rbp),%xmm1
  movsd  -0x368(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2060
  movsd  -0x370(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2060
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2060
  movsd  -0x368(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2060
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2785
L2060:
  call   <abort@plt>
L2785:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x458(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x160(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x158(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L432
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L432
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L432
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1174
L432:
  call   <abort@plt>
L1174:
  pxor   %xmm0,%xmm0
  movsd  -0x458(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x530(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x528(%rbp)
  movsd  -0x528(%rbp),%xmm0
  movsd  -0x530(%rbp),%xmm1
  movsd  %xmm1,-0x150(%rbp)
  movsd  %xmm0,-0x148(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x530(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x530(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x528(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x528(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2011
  movsd  -0x530(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2011
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2011
  movsd  -0x528(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2011
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1673
L2011:
  call   <abort@plt>
L1673:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5d8(%rbp)
  movsd  D4278(%rip),%xmm0
  movsd  %xmm0,-0x360(%rbp)
  movsd  D452(%rip),%xmm0
  movsd  %xmm0,-0x358(%rbp)
  movsd  -0x360(%rbp),%xmm1
  movsd  -0x358(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L796
  movsd  -0x360(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L796
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L796
  movsd  -0x358(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L796
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1259
L796:
  call   <abort@plt>
L1259:
  movsd  -0x360(%rbp),%xmm1
  movsd  -0x358(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5d8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x350(%rbp)
  movsd  %xmm0,-0x348(%rbp)
  movsd  -0x350(%rbp),%xmm1
  movsd  -0x348(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2278
  movsd  -0x350(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2278
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2278
  movsd  -0x348(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2278
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L605
L2278:
  call   <abort@plt>
L605:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x450(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x140(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x138(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L81
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L81
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L81
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1834
L81:
  call   <abort@plt>
L1834:
  movsd  D524(%rip),%xmm0
  movsd  -0x450(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x520(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x518(%rbp)
  movsd  -0x518(%rbp),%xmm0
  movsd  -0x520(%rbp),%xmm1
  movsd  %xmm1,-0x130(%rbp)
  movsd  %xmm0,-0x128(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x520(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x520(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x518(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x518(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L330
  movsd  -0x520(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L330
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L330
  movsd  -0x518(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L330
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2336
L330:
  call   <abort@plt>
L2336:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5d0(%rbp)
  movsd  D5834(%rip),%xmm0
  movsd  %xmm0,-0x340(%rbp)
  movsd  D3333(%rip),%xmm0
  movsd  %xmm0,-0x338(%rbp)
  movsd  -0x340(%rbp),%xmm1
  movsd  -0x338(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1323
  movsd  -0x340(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1323
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1323
  movsd  -0x338(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1323
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2029
L1323:
  call   <abort@plt>
L2029:
  movsd  -0x340(%rbp),%xmm1
  movsd  -0x338(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5d0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x330(%rbp)
  movsd  %xmm0,-0x328(%rbp)
  movsd  -0x330(%rbp),%xmm1
  movsd  -0x328(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1825
  movsd  -0x330(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1825
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1825
  movsd  -0x328(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1825
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L677
L1825:
  call   <abort@plt>
L677:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x448(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x120(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x118(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L681
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L681
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L681
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2066
L681:
  call   <abort@plt>
L2066:
  movsd  D524(%rip),%xmm0
  movsd  -0x448(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x510(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x508(%rbp)
  movsd  -0x508(%rbp),%xmm0
  movsd  -0x510(%rbp),%xmm1
  movsd  %xmm1,-0x110(%rbp)
  movsd  %xmm0,-0x108(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x510(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x510(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x508(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x508(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1335
  movsd  -0x510(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1335
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1335
  movsd  -0x508(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1335
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L779
L1335:
  call   <abort@plt>
L779:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5c8(%rbp)
  movsd  D4561(%rip),%xmm0
  movsd  %xmm0,-0x320(%rbp)
  movsd  D3739(%rip),%xmm0
  movsd  %xmm0,-0x318(%rbp)
  movsd  -0x320(%rbp),%xmm1
  movsd  -0x318(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1246
  movsd  -0x320(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1246
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1246
  movsd  -0x318(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1246
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L131
L1246:
  call   <abort@plt>
L131:
  movsd  -0x320(%rbp),%xmm1
  movsd  -0x318(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5c8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x310(%rbp)
  movsd  %xmm0,-0x308(%rbp)
  movsd  -0x310(%rbp),%xmm1
  movsd  -0x308(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2150
  movsd  -0x310(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2150
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2150
  movsd  -0x308(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2150
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L974
L2150:
  call   <abort@plt>
L974:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x100(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xf8(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1947
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1947
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1947
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L688
L1947:
  call   <abort@plt>
L688:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x440(%rbp)
  pxor   %xmm0,%xmm0
  movsd  -0x440(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x500(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x4f8(%rbp)
  movsd  -0x4f8(%rbp),%xmm0
  movsd  -0x500(%rbp),%xmm1
  movsd  %xmm1,-0xf0(%rbp)
  movsd  %xmm0,-0xe8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x500(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x500(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4f8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4f8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L555
  movsd  -0x500(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L555
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L555
  movsd  -0x4f8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L555
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2474
L555:
  call   <abort@plt>
L2474:
  movsd  D920(%rip),%xmm0
  movsd  %xmm0,-0x300(%rbp)
  movsd  D5279(%rip),%xmm0
  movsd  %xmm0,-0x2f8(%rbp)
  movsd  -0x300(%rbp),%xmm1
  movsd  -0x2f8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1162
  movsd  -0x300(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1162
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1162
  movsd  -0x2f8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1162
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2930
L1162:
  call   <abort@plt>
L2930:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5c0(%rbp)
  movsd  -0x300(%rbp),%xmm1
  movsd  -0x2f8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5c0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x2f0(%rbp)
  movsd  %xmm0,-0x2e8(%rbp)
  movsd  -0x2f0(%rbp),%xmm1
  movsd  -0x2e8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L658
  movsd  -0x2f0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L658
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L658
  movsd  -0x2e8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L658
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1049
L658:
  call   <abort@plt>
L1049:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1656
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1656
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1656
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1331
L1656:
  call   <abort@plt>
L1331:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x438(%rbp)
  pxor   %xmm0,%xmm0
  movsd  -0x438(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4f0(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x4e8(%rbp)
  movsd  -0x4e8(%rbp),%xmm0
  movsd  -0x4f0(%rbp),%xmm1
  movsd  %xmm1,-0xd0(%rbp)
  movsd  %xmm0,-0xc8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4f0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4f0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4e8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4e8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2625
  movsd  -0x4f0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2625
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2625
  movsd  -0x4e8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2625
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1653
L2625:
  call   <abort@plt>
L1653:
  movsd  D920(%rip),%xmm0
  movsd  %xmm0,-0x2e0(%rbp)
  movsd  D5279(%rip),%xmm0
  movsd  %xmm0,-0x2d8(%rbp)
  movsd  -0x2e0(%rbp),%xmm1
  movsd  -0x2d8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L807
  movsd  -0x2e0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L807
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L807
  movsd  -0x2d8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L807
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L166
L807:
  call   <abort@plt>
L166:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5b8(%rbp)
  movsd  -0x2e0(%rbp),%xmm1
  movsd  -0x2d8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5b8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x2d0(%rbp)
  movsd  %xmm0,-0x2c8(%rbp)
  movsd  -0x2d0(%rbp),%xmm1
  movsd  -0x2c8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1922
  movsd  -0x2d0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1922
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1922
  movsd  -0x2c8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1922
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1412
L1922:
  call   <abort@plt>
L1412:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L795
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L795
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L795
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1603
L795:
  call   <abort@plt>
L1603:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x430(%rbp)
  pxor   %xmm0,%xmm0
  movsd  -0x430(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4e0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x4d8(%rbp)
  movsd  -0x4d8(%rbp),%xmm0
  movsd  -0x4e0(%rbp),%xmm1
  movsd  %xmm1,-0xb0(%rbp)
  movsd  %xmm0,-0xa8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4e0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4e0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4d8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4d8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L557
  movsd  -0x4e0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L557
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L557
  movsd  -0x4d8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L557
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1602
L557:
  call   <abort@plt>
L1602:
  movsd  D4278(%rip),%xmm0
  movsd  %xmm0,-0x2c0(%rbp)
  movsd  D452(%rip),%xmm0
  movsd  %xmm0,-0x2b8(%rbp)
  movsd  -0x2c0(%rbp),%xmm1
  movsd  -0x2b8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1129
  movsd  -0x2c0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1129
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1129
  movsd  -0x2b8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1129
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1724
L1129:
  call   <abort@plt>
L1724:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5b0(%rbp)
  movsd  -0x2c0(%rbp),%xmm1
  movsd  -0x2b8(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5b0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x2b0(%rbp)
  movsd  %xmm0,-0x2a8(%rbp)
  movsd  -0x2b0(%rbp),%xmm1
  movsd  -0x2a8(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2745
  movsd  -0x2b0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2745
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2745
  movsd  -0x2a8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2745
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L107
L2745:
  call   <abort@plt>
L107:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x98(%rbp)
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1175
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1175
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1175
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2222
L1175:
  call   <abort@plt>
L2222:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x428(%rbp)
  pxor   %xmm0,%xmm0
  movsd  -0x428(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4d0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x4c8(%rbp)
  movsd  -0x4c8(%rbp),%xmm0
  movsd  -0x4d0(%rbp),%xmm1
  movsd  %xmm1,-0x90(%rbp)
  movsd  %xmm0,-0x88(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4d0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4d0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4c8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4c8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1306
  movsd  -0x4d0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1306
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1306
  movsd  -0x4c8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1306
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2727
L1306:
  call   <abort@plt>
L2727:
  movsd  D4278(%rip),%xmm0
  movsd  %xmm0,-0x2a0(%rbp)
  movsd  D452(%rip),%xmm0
  movsd  %xmm0,-0x298(%rbp)
  movsd  -0x2a0(%rbp),%xmm1
  movsd  -0x298(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1691
  movsd  -0x2a0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1691
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1691
  movsd  -0x298(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1691
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1557
L1691:
  call   <abort@plt>
L1557:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x5a8(%rbp)
  movsd  -0x2a0(%rbp),%xmm1
  movsd  -0x298(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5a8(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x290(%rbp)
  movsd  %xmm0,-0x288(%rbp)
  movsd  -0x290(%rbp),%xmm1
  movsd  -0x288(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1705
  movsd  -0x290(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1705
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1705
  movsd  -0x288(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1705
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L899
L1705:
  call   <abort@plt>
L899:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2248
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2248
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2248
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2557
L2248:
  call   <abort@plt>
L2557:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x420(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  -0x420(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4c0(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x4b8(%rbp)
  movsd  -0x4b8(%rbp),%xmm0
  movsd  -0x4c0(%rbp),%xmm1
  movsd  %xmm1,-0x70(%rbp)
  movsd  %xmm0,-0x68(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4c0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4c0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4b8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4b8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L78
  movsd  -0x4c0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L78
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L78
  movsd  -0x4b8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L78
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2048
L78:
  call   <abort@plt>
L2048:
  movsd  D5834(%rip),%xmm0
  movsd  %xmm0,-0x280(%rbp)
  movsd  D3333(%rip),%xmm0
  movsd  %xmm0,-0x278(%rbp)
  movsd  -0x280(%rbp),%xmm1
  movsd  -0x278(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1962
  movsd  -0x280(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1962
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1962
  movsd  -0x278(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1962
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2358
L1962:
  call   <abort@plt>
L2358:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x5a0(%rbp)
  movsd  -0x280(%rbp),%xmm1
  movsd  -0x278(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x5a0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x270(%rbp)
  movsd  %xmm0,-0x268(%rbp)
  movsd  -0x270(%rbp),%xmm1
  movsd  -0x268(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2657
  movsd  -0x270(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2657
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2657
  movsd  -0x268(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2657
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L712
L2657:
  call   <abort@plt>
L712:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1716
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1716
  pxor   %xmm0,%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1716
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2608
L1716:
  call   <abort@plt>
L2608:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x418(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  -0x418(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4b0(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x4a8(%rbp)
  movsd  -0x4a8(%rbp),%xmm0
  movsd  -0x4b0(%rbp),%xmm1
  movsd  %xmm1,-0x50(%rbp)
  movsd  %xmm0,-0x48(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4b0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4b0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4a8(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x4a8(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1797
  movsd  -0x4b0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1797
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1797
  movsd  -0x4a8(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1797
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L294
L1797:
  call   <abort@plt>
L294:
  movsd  D5834(%rip),%xmm0
  movsd  %xmm0,-0x260(%rbp)
  movsd  D3333(%rip),%xmm0
  movsd  %xmm0,-0x258(%rbp)
  movsd  -0x260(%rbp),%xmm1
  movsd  -0x258(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L2591
  movsd  -0x260(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2591
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L2591
  movsd  -0x258(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L2591
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1741
L2591:
  call   <abort@plt>
L1741:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x598(%rbp)
  movsd  -0x260(%rbp),%xmm1
  movsd  -0x258(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x598(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x250(%rbp)
  movsd  %xmm0,-0x248(%rbp)
  movsd  -0x250(%rbp),%xmm1
  movsd  -0x248(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1460
  movsd  -0x250(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1460
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1460
  movsd  -0x248(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1460
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2170
L1460:
  call   <abort@plt>
L2170:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L412
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L412
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L412
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2679
L412:
  call   <abort@plt>
L2679:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x410(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  -0x410(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x4a0(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x498(%rbp)
  movsd  -0x498(%rbp),%xmm0
  movsd  -0x4a0(%rbp),%xmm1
  movsd  %xmm1,-0x30(%rbp)
  movsd  %xmm0,-0x28(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x4a0(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x4a0(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x498(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x498(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1224
  movsd  -0x4a0(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1224
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1224
  movsd  -0x498(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1224
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L769
L1224:
  call   <abort@plt>
L769:
  movsd  D4561(%rip),%xmm0
  movsd  %xmm0,-0x240(%rbp)
  movsd  D3739(%rip),%xmm0
  movsd  %xmm0,-0x238(%rbp)
  movsd  -0x240(%rbp),%xmm1
  movsd  -0x238(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L222
  movsd  -0x240(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L222
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L222
  movsd  -0x238(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L222
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1667
L222:
  call   <abort@plt>
L1667:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x590(%rbp)
  movsd  -0x240(%rbp),%xmm1
  movsd  -0x238(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x590(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x230(%rbp)
  movsd  %xmm0,-0x228(%rbp)
  movsd  -0x230(%rbp),%xmm1
  movsd  -0x228(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L993
  movsd  -0x230(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L993
  movsd  D2255(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L993
  movsd  -0x228(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L993
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2701
L993:
  call   <abort@plt>
L2701:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1032
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1032
  movsd  D524(%rip),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1032
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L1854
L1032:
  call   <abort@plt>
L1854:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x408(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  -0x408(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x490(%rbp)
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x488(%rbp)
  movsd  -0x488(%rbp),%xmm0
  movsd  -0x490(%rbp),%xmm1
  movsd  %xmm1,-0x10(%rbp)
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x490(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x490(%rbp),%xmm0
  cmove  %eax,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x488(%rbp),%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm0,%xmm0
  ucomisd -0x488(%rbp),%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L1293
  movsd  -0x490(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1293
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L1293
  movsd  -0x488(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L1293
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L510
L1293:
  call   <abort@plt>
L510:
  movsd  D4561(%rip),%xmm0
  movsd  %xmm0,-0x220(%rbp)
  movsd  D3739(%rip),%xmm0
  movsd  %xmm0,-0x218(%rbp)
  movsd  -0x220(%rbp),%xmm1
  movsd  -0x218(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L205
  movsd  -0x220(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L205
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L205
  movsd  -0x218(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L205
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2446
L205:
  call   <abort@plt>
L2446:
  movsd  D524(%rip),%xmm0
  movsd  %xmm0,-0x588(%rbp)
  movsd  -0x220(%rbp),%xmm1
  movsd  -0x218(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  -0x588(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  movsd  %xmm1,-0x210(%rbp)
  movsd  %xmm0,-0x208(%rbp)
  movsd  -0x210(%rbp),%xmm1
  movsd  -0x208(%rbp),%xmm0
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm2,%xmm2
  ucomisd %xmm2,%xmm1
  cmove  %eax,%edx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  setp   %al
  mov    $0x1,%ecx
  pxor   %xmm1,%xmm1
  ucomisd %xmm1,%xmm0
  cmovne %ecx,%eax
  or     %edx,%eax
  cmp    $0x1,%al
  je     L777
  movsd  -0x210(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L777
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jne    L777
  movsd  -0x208(%rbp),%xmm0
  movq   D3569(%rip),%xmm2
  movq   D3474(%rip),%xmm1
  andpd  %xmm2,%xmm0
  orpd   %xmm1,%xmm0
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  jp     L777
  movsd  D5432(%rip),%xmm1
  ucomisd %xmm1,%xmm0
  je     L2794
L777:
  call   <abort@plt>
L2794:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D3569
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D3474
type: f64
name: extract_symbolic_data
arguments: data_tag: D2255
type: f64
name: extract_symbolic_data
arguments: data_tag: D920
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D5279
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D524
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D5432
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D4278
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D452
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D5834
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D3333
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D4561
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D3739
type: f32[2]

tool: {"D3569": [0.0,-0.0]}

tool: D3474: 1

tool: D2255: 1

tool: {"D920": [0.0,0.0]}

tool: {"D5279": [0.0,0.0]}

tool: {"D524": [0.0,-0.0]}

tool: {"D5432": [0.0,-1.875]}

tool: {"D4278": [0.0,0.0]}

tool: {"D452": [0.0,-0.0]}

tool: {"D5834": [0.0,-0.0]}

tool: {"D3333": [0.0,0.0]}

tool: {"D4561": [0.0,-0.0]}

tool: {"D3739": [0.0,-0.0]}

assistant: ```c
void check_add_double(void) {
  do {
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = +0.0;
      b1 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != +1.0 || __builtin_copysign(1.0, __imag__(b1)) != +1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = +0.0;
      b2 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != +1.0 || __builtin_copysign(1.0, __imag__(b2)) != +1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = +0.0;
      b1 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != +1.0 || __builtin_copysign(1.0, __imag__(b1)) != -1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = +0.0;
      b2 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != +1.0 || __builtin_copysign(1.0, __imag__(b2)) != -1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = +0.0;
      b1 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != -1.0 || __builtin_copysign(1.0, __imag__(b1)) != +1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = +0.0;
      b2 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != -1.0 || __builtin_copysign(1.0, __imag__(b2)) != +1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = +0.0;
      b1 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != -1.0 || __builtin_copysign(1.0, __imag__(b1)) != -1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = +0.0;
      b2 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != -1.0 || __builtin_copysign(1.0, __imag__(b2)) != -1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = -0.0;
      b1 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != +1.0 || __builtin_copysign(1.0, __imag__(b1)) != +1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = -0.0;
      b2 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != +1.0 || __builtin_copysign(1.0, __imag__(b2)) != +1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = -0.0;
      b1 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != +1.0 || __builtin_copysign(1.0, __imag__(b1)) != -1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = -0.0;
      b2 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != +1.0 || __builtin_copysign(1.0, __imag__(b2)) != -1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = -0.0;
      b1 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != -1.0 || __builtin_copysign(1.0, __imag__(b1)) != +1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != -1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = -0.0;
      b2 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != -1.0 || __builtin_copysign(1.0, __imag__(b2)) != +1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != -1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      double a1;
      _Complex double b1, c1;
      volatile double a2;
      volatile _Complex double b2, c2;
      a1 = -0.0;
      b1 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b1) != 0 || __builtin_copysign(1.0, __real__(b1)) != -1.0 || __builtin_copysign(1.0, __imag__(b1)) != -1.0)
          abort();
      } while (0);
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != -1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = -0.0;
      b2 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((b2) != 0 || __builtin_copysign(1.0, __real__(b2)) != -1.0 || __builtin_copysign(1.0, __imag__(b2)) != -1.0)
          abort();
      } while (0);
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != -1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != +1.0 || __builtin_copysign(1.0, __imag__(a1)) != +1.0)
          abort();
      } while (0);
      b1 = +0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != +1.0 || __builtin_copysign(1.0, __imag__(a2)) != +1.0)
          abort();
      } while (0);
      b2 = +0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != +1.0 || __builtin_copysign(1.0, __imag__(a1)) != +1.0)
          abort();
      } while (0);
      b1 = -0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = (+1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != +1.0 || __builtin_copysign(1.0, __imag__(a2)) != +1.0)
          abort();
      } while (0);
      b2 = -0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != +1.0 || __builtin_copysign(1.0, __imag__(a1)) != -1.0)
          abort();
      } while (0);
      b1 = +0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != +1.0 || __builtin_copysign(1.0, __imag__(a2)) != -1.0)
          abort();
      } while (0);
      b2 = +0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != +1.0 || __builtin_copysign(1.0, __imag__(a1)) != -1.0)
          abort();
      } while (0);
      b1 = -0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = (+1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != +1.0 || __builtin_copysign(1.0, __imag__(a2)) != -1.0)
          abort();
      } while (0);
      b2 = -0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != -1.0 || __builtin_copysign(1.0, __imag__(a1)) != +1.0)
          abort();
      } while (0);
      b1 = +0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != -1.0 || __builtin_copysign(1.0, __imag__(a2)) != +1.0)
          abort();
      } while (0);
      b2 = +0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != -1.0 || __builtin_copysign(1.0, __imag__(a1)) != +1.0)
          abort();
      } while (0);
      b1 = -0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != -1.0 || __builtin_copysign(1.0, __imag__(c1)) != +1.0)
          abort();
      } while (0);
      a2 = (-1 == 1 ? +1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : +1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != -1.0 || __builtin_copysign(1.0, __imag__(a2)) != +1.0)
          abort();
      } while (0);
      b2 = -0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != -1.0 || __builtin_copysign(1.0, __imag__(c2)) != +1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != -1.0 || __builtin_copysign(1.0, __imag__(a1)) != -1.0)
          abort();
      } while (0);
      b1 = +0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != +1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != -1.0 || __builtin_copysign(1.0, __imag__(a2)) != -1.0)
          abort();
      } while (0);
      b2 = +0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != +1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
    do {
      _Complex double a1, c1;
      double b1;
      volatile _Complex double a2, c2;
      volatile double b2;
      a1 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a1) != 0 || __builtin_copysign(1.0, __real__(a1)) != -1.0 || __builtin_copysign(1.0, __imag__(a1)) != -1.0)
          abort();
      } while (0);
      b1 = -0.0;
      c1 = a1 + b1;
      do {
        if ((c1) != 0 || __builtin_copysign(1.0, __real__(c1)) != -1.0 || __builtin_copysign(1.0, __imag__(c1)) != -1.0)
          abort();
      } while (0);
      a2 = (-1 == 1 ? -1 == 1 ? 0.0 + 0.0i : 0.0 - 0.0i : -1 == 1 ? -(0.0 - 0.0i) : -(0.0 + 0.0i));
      do {
        if ((a2) != 0 || __builtin_copysign(1.0, __real__(a2)) != -1.0 || __builtin_copysign(1.0, __imag__(a2)) != -1.0)
          abort();
      } while (0);
      b2 = -0.0;
      c2 = a2 + b2;
      do {
        if ((c2) != 0 || __builtin_copysign(1.0, __real__(c2)) != -1.0 || __builtin_copysign(1.0, __imag__(c2)) != -1.0)
          abort();
      } while (0);
    } while (0);
  } while (0);
}
```