// File: DavidLBruce[P]sim3dof/build/../src/FcTseO.cpp
// Function: FcTseO::UpdateStates(double)
void FcTseO::UpdateStates( double measPosY )
{
  double   temp0;
  Matrix   temp1(3,3);
  Matrix   temp2(3,3);

//  RR = SQ( rinPosY );
// TBD RR is wrong, but it works better.  Maybe process noise or initial PP
// is too low?
  RR = rinPosY;

  //
  // Calculate the Kalman gains.
  //

//  temp0 = HH * PP * HT + RR;  
  temp0 = PP[0][0] + RR;  

  //
  //  KK = PP * HT  / temp0;
  //
  KK[0][0] = PP[0][0] / temp0;
  KK[1][0] = PP[1][0] / temp0;
  KK[2][0] = PP[2][0] / temp0;
//  KK = PP * HT  / temp0;

  //
  // Update the state with the measurement
  //
  residual = measPosY - stateVec(0);

  innovation = KK * residual;

  stateVec += innovation;

  //
  // Update the estimation covariance
  //
  //  temp1 = eye - KK * HH
  // 
  temp1 = 0.0;
  temp1[0][0] = KK[0][0];
  temp1[1][0] = KK[1][0];
  temp1[2][0] = KK[2][0];

  temp1 = eye - temp1;

  //
  // temp2 = KK * RR * KT
  //
  temp2 = 0.0;
  temp2[0][0] = KK[0][0] * KK[0][0];
  temp2[0][1] = KK[0][0] * KK[1][0];
  temp2[0][2] = KK[0][0] * KK[2][0];

  temp2[1][0] = KK[1][0] * KK[0][0];
  temp2[1][1] = KK[1][0] * KK[1][0];
  temp2[1][2] = KK[1][0] * KK[2][0];

  temp2[2][0] = KK[2][0] * KK[0][0];
  temp2[2][1] = KK[2][0] * KK[1][0];
  temp2[2][2] = KK[2][0] * KK[2][0];

  temp2 = temp2 * RR;

  PP = temp1 * PP * Transpose( temp1 ) + temp2;

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x440, %rsp            # imm = 0x440
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x220(%rbp)
leaq -0x30(%rbp), %rdi
movl $0x3, %edx
movl %edx, -0x214(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x210(%rbp)
movl %edx, %esi
callq 0x1f2e0
movl -0x214(%rbp), %edx
movsd -0x210(%rbp), %xmm0
leaq -0x48(%rbp), %rdi
movl %edx, %esi
callq 0x1f2e0
jmp 0x556b
movq -0x220(%rbp), %rdi
movsd 0x218(%rdi), %xmm0
movsd %xmm0, 0x220(%rdi)
addq $0x1f8, %rdi            # imm = 0x1F8
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x228(%rbp)
jmp 0x5599
movq -0x220(%rbp), %rdi
movq -0x228(%rbp), %rax
movsd (%rax), %xmm0
movsd 0x220(%rdi), %xmm1
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
addq $0x1f8, %rdi            # imm = 0x1F8
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x230(%rbp)
jmp 0x55d3
movq -0x220(%rbp), %rdi
movq -0x230(%rbp), %rax
movsd (%rax), %xmm0
movsd -0x18(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x240(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x238(%rbp)
jmp 0x560d
movq -0x220(%rbp), %rdi
movq -0x238(%rbp), %rax
movsd -0x240(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1f8, %rdi            # imm = 0x1F8
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x248(%rbp)
jmp 0x5641
movq -0x220(%rbp), %rdi
movq -0x248(%rbp), %rax
movsd (%rax), %xmm0
movsd -0x18(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x258(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x250(%rbp)
jmp 0x567e
movq -0x220(%rbp), %rdi
movq -0x250(%rbp), %rax
movsd -0x258(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1f8, %rdi            # imm = 0x1F8
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x260(%rbp)
jmp 0x56b2
movq -0x220(%rbp), %rdi
movq -0x260(%rbp), %rax
movsd (%rax), %xmm0
movsd -0x18(%rbp), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x270(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x268(%rbp)
jmp 0x56ef
movq -0x220(%rbp), %rdi
movq -0x268(%rbp), %rax
movsd -0x270(%rbp), %xmm0
movsd %xmm0, (%rax)
movsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x280(%rbp)
addq $0x248, %rdi            # imm = 0x248
xorl %esi, %esi
callq 0x1fd40
movq %rax, -0x278(%rbp)
jmp 0x572d
movq -0x220(%rbp), %rax
movsd -0x280(%rbp), %xmm0
movq -0x278(%rbp), %rcx
movsd (%rcx), %xmm1
subsd %xmm1, %xmm0
movsd %xmm0, 0x210(%rax)
movq %rax, %rsi
addq $0x1c0, %rsi            # imm = 0x1C0
movsd 0x210(%rax), %xmm0
leaq -0x88(%rbp), %rdi
callq 0x20700
jmp 0x5773
movq -0x220(%rbp), %rsi
addq $0x1a8, %rsi            # imm = 0x1A8
leaq -0x70(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0x1ff00
jmp 0x5793
leaq -0x70(%rbp), %rdi
callq 0x1f580
leaq -0x88(%rbp), %rdi
callq 0x1f580
movq -0x220(%rbp), %rsi
addq $0x1a8, %rsi            # imm = 0x1A8
leaq -0xa0(%rbp), %rdi
callq 0x1f3e0
jmp 0x57c4
movq -0x220(%rbp), %rdi
addq $0x248, %rdi            # imm = 0x248
leaq -0xa0(%rbp), %rsi
callq 0x208d0
jmp 0x57e0
leaq -0xa0(%rbp), %rdi
callq 0x1f580
leaq -0xb8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
xorps %xmm0, %xmm0
callq 0x1ffd0
jmp 0x5801
leaq -0xb8(%rbp), %rdi
callq 0x1f580
movq -0x220(%rbp), %rdi
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x288(%rbp)
jmp 0x582b
movq -0x288(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x298(%rbp)
leaq -0x30(%rbp), %rdi
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x290(%rbp)
jmp 0x5852
movq -0x220(%rbp), %rdi
movq -0x290(%rbp), %rax
movsd -0x298(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x2a0(%rbp)
jmp 0x5886
movq -0x2a0(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x2b0(%rbp)
leaq -0x30(%rbp), %rdi
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x2a8(%rbp)
jmp 0x58b0
movq -0x220(%rbp), %rdi
movq -0x2a8(%rbp), %rax
movsd -0x2b0(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x2b8(%rbp)
jmp 0x58e4
movq -0x2b8(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x2c8(%rbp)
leaq -0x30(%rbp), %rdi
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x2c0(%rbp)
jmp 0x590e
movq -0x220(%rbp), %rax
movq -0x2c0(%rbp), %rcx
movsd -0x2c8(%rbp), %xmm0
movsd %xmm0, (%rcx)
addq $0x158, %rax            # imm = 0x158
movq %rax, -0x2d0(%rbp)
leaq -0x100(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x1f3e0
jmp 0x5947
movq -0x2d0(%rbp), %rsi
leaq -0xe8(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x20130
jmp 0x5963
leaq -0xd0(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0xe8(%rbp), %rdx
callq 0x1ff00
jmp 0x597c
leaq -0xd0(%rbp), %rdi
callq 0x1f580
leaq -0xe8(%rbp), %rdi
callq 0x1f580
leaq -0x100(%rbp), %rdi
callq 0x1f580
leaq -0x118(%rbp), %rdi
leaq -0x48(%rbp), %rsi
xorps %xmm0, %xmm0
callq 0x1ffd0
jmp 0x59b5
leaq -0x118(%rbp), %rdi
callq 0x1f580
movq -0x220(%rbp), %rdi
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x2d8(%rbp)
jmp 0x59df
movq -0x220(%rbp), %rdi
movq -0x2d8(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x2e8(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x2e0(%rbp)
jmp 0x5a10
movsd -0x2e8(%rbp), %xmm0
movq -0x2e0(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x2f8(%rbp)
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x2f0(%rbp)
jmp 0x5a43
movq -0x220(%rbp), %rdi
movq -0x2f0(%rbp), %rax
movsd -0x2f8(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x300(%rbp)
jmp 0x5a74
movq -0x220(%rbp), %rdi
movq -0x300(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x310(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x308(%rbp)
jmp 0x5aa8
movsd -0x310(%rbp), %xmm0
movq -0x308(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x320(%rbp)
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x318(%rbp)
jmp 0x5adb
movq -0x220(%rbp), %rdi
movq -0x318(%rbp), %rax
movsd -0x320(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x328(%rbp)
jmp 0x5b0d
movq -0x220(%rbp), %rdi
movq -0x328(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x338(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x330(%rbp)
jmp 0x5b41
movsd -0x338(%rbp), %xmm0
movq -0x330(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x348(%rbp)
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x340(%rbp)
jmp 0x5b74
movq -0x220(%rbp), %rdi
movq -0x340(%rbp), %rax
movsd -0x348(%rbp), %xmm0
movsd %xmm0, 0x10(%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x350(%rbp)
jmp 0x5ba9
movq -0x220(%rbp), %rdi
movq -0x350(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x360(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x358(%rbp)
jmp 0x5bda
movsd -0x360(%rbp), %xmm0
movq -0x358(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x370(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x368(%rbp)
jmp 0x5c10
movq -0x220(%rbp), %rdi
movq -0x368(%rbp), %rax
movsd -0x370(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x378(%rbp)
jmp 0x5c44
movq -0x220(%rbp), %rdi
movq -0x378(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x388(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x380(%rbp)
jmp 0x5c78
movsd -0x388(%rbp), %xmm0
movq -0x380(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x398(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x390(%rbp)
jmp 0x5cae
movq -0x220(%rbp), %rdi
movq -0x390(%rbp), %rax
movsd -0x398(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x3a0(%rbp)
jmp 0x5ce3
movq -0x220(%rbp), %rdi
movq -0x3a0(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x3b0(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x3a8(%rbp)
jmp 0x5d17
movsd -0x3b0(%rbp), %xmm0
movq -0x3a8(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x3c0(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x3b8(%rbp)
jmp 0x5d4d
movq -0x220(%rbp), %rdi
movq -0x3b8(%rbp), %rax
movsd -0x3c0(%rbp), %xmm0
movsd %xmm0, 0x10(%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x3c8(%rbp)
jmp 0x5d82
movq -0x220(%rbp), %rdi
movq -0x3c8(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x3d8(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x3d0(%rbp)
jmp 0x5db3
movsd -0x3d8(%rbp), %xmm0
movq -0x3d0(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x3e8(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x3e0(%rbp)
jmp 0x5de9
movq -0x220(%rbp), %rdi
movq -0x3e0(%rbp), %rax
movsd -0x3e8(%rbp), %xmm0
movsd %xmm0, (%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x3f0(%rbp)
jmp 0x5e1d
movq -0x220(%rbp), %rdi
movq -0x3f0(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x400(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x3f8(%rbp)
jmp 0x5e51
movsd -0x400(%rbp), %xmm0
movq -0x3f8(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x410(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x408(%rbp)
jmp 0x5e87
movq -0x220(%rbp), %rdi
movq -0x408(%rbp), %rax
movsd -0x410(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x418(%rbp)
jmp 0x5ebc
movq -0x220(%rbp), %rdi
movq -0x418(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x428(%rbp)
addq $0x1c0, %rdi            # imm = 0x1C0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x420(%rbp)
jmp 0x5ef0
movsd -0x428(%rbp), %xmm0
movq -0x420(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x438(%rbp)
leaq -0x48(%rbp), %rdi
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x430(%rbp)
jmp 0x5f26
movq -0x220(%rbp), %rax
movq -0x430(%rbp), %rcx
movsd -0x438(%rbp), %xmm0
movsd %xmm0, 0x10(%rcx)
movsd 0x220(%rax), %xmm0
leaq -0x148(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x20700
jmp 0x5f5b
leaq -0x130(%rbp), %rdi
leaq -0x48(%rbp), %rsi
leaq -0x148(%rbp), %rdx
callq 0x1ff00
jmp 0x5f74
leaq -0x130(%rbp), %rdi
callq 0x1f580
leaq -0x148(%rbp), %rdi
callq 0x1f580
movq -0x220(%rbp), %rsi
addq $0x1f8, %rsi            # imm = 0x1F8
leaq -0x1c0(%rbp), %rdi
callq 0x1f3e0
jmp 0x5fa8
leaq -0x1a8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x1c0(%rbp), %rdx
callq 0x203c0
jmp 0x5fc1
leaq -0x1f0(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x1f3e0
jmp 0x5fd3
leaq -0x1d8(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x23320
jmp 0x5fe8
leaq -0x190(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
leaq -0x1d8(%rbp), %rdx
callq 0x203c0
jmp 0x6004
leaq -0x208(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x1f3e0
jmp 0x6016
leaq -0x178(%rbp), %rdi
leaq -0x190(%rbp), %rsi
leaq -0x208(%rbp), %rdx
callq 0x20020
jmp 0x6032
movq -0x220(%rbp), %rsi
addq $0x1f8, %rsi            # imm = 0x1F8
leaq -0x160(%rbp), %rdi
leaq -0x178(%rbp), %rdx
callq 0x1ff00
jmp 0x6055
leaq -0x160(%rbp), %rdi
callq 0x1f580
leaq -0x178(%rbp), %rdi
callq 0x1f580
leaq -0x208(%rbp), %rdi
callq 0x1f580
leaq -0x190(%rbp), %rdi
callq 0x1f580
leaq -0x1d8(%rbp), %rdi
callq 0x1f580
leaq -0x1f0(%rbp), %rdi
callq 0x1f580
leaq -0x1a8(%rbp), %rdi
callq 0x1f580
leaq -0x1c0(%rbp), %rdi
callq 0x1f580
leaq -0x48(%rbp), %rdi
callq 0x1f580
leaq -0x30(%rbp), %rdi
callq 0x1f580
addq $0x440, %rsp            # imm = 0x440
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6243
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x623a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x1f580
jmp 0x623a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x1f580
jmp 0x623a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6152
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xe8(%rbp), %rdi
callq 0x1f580
leaq -0x100(%rbp), %rdi
callq 0x1f580
jmp 0x623a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x148(%rbp), %rdi
callq 0x1f580
jmp 0x623a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x622e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6222
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x6216
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x620a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x61fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x61f2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x178(%rbp), %rdi
callq 0x1f580
leaq -0x208(%rbp), %rdi
callq 0x1f580
leaq -0x190(%rbp), %rdi
callq 0x1f580
leaq -0x1d8(%rbp), %rdi
callq 0x1f580
leaq -0x1f0(%rbp), %rdi
callq 0x1f580
leaq -0x1a8(%rbp), %rdi
callq 0x1f580
leaq -0x1c0(%rbp), %rdi
callq 0x1f580
leaq -0x48(%rbp), %rdi
callq 0x1f580
leaq -0x30(%rbp), %rdi
callq 0x1f580
movq -0x50(%rbp), %rdi
callq 0x33d0
nopw %cs:(%rax,%rax)