// File: DavidLBruce[P]sim3dof/build/../src/FcTse6.cpp
// Function: FcTse6::UpdateStates()
void FcTse6::UpdateStates()
{
  Matrix   invTemp33(3,3);
  double   sigmaInvRng;
  double   sigmaInvTgo2;
  Matrix   temp0(3,3);
  Matrix   temp1(6,6);
  bool     test;

  //
  // Measurement covariance matrix
  //
  sigmaInvRng = rngSig * SQ(measVec(1));

  sigmaInvTgo2 = ( SQ(rDotSig) + SQ(rngSig * measVec(2)) ) * SQ( measVec(1) );

  RR[0][0] = SQ( angSig );
  RR[1][1] = SQ( sigmaInvRng );
  RR[2][2] = sigmaInvTgo2;
  RR[1][2] = SQ( rngSig ) * measVec(2) * SQ( measVec(1) ) * measVec(1);
  RR[2][1] = RR[1][2];

  //
  // Calculate the Kalman gains.
  //
  //  K = P * H' * [ H * P * H' + R]^-1
  //
  temp0 = HH * PP * HT + RR;  

//  test = temp0.Invert();

  test = inv33( temp0, invTemp33 );
  if ( !test )
  {
    cout << "FcTse::UpdateStates() temp33 matrix inversion fail @ time = " 
             << simTime << endl;
    exit( 1 );
  }
  temp0 = invTemp33;


  KK = PP * HT  * temp0;

  //
  // Update the state with the measurement
  //
  // residual = Z - H * x
  //
  residual = measVec - HH * mscState;

  innovation = KK * residual;

  mscState += innovation;

  //
  // Update the estimation covariance
  //
  temp1 = eye - KK * HH;

  PP = temp1 * PP * Transpose( temp1 ) + KK * RR * Transpose( KK );

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x560, %rsp            # imm = 0x560
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x420(%rbp)
leaq -0x20(%rbp), %rdi
movl $0x3, %edx
movl %edx, -0x414(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x410(%rbp)
movl %edx, %esi
callq 0x1f2e0
movl -0x414(%rbp), %edx
movsd -0x410(%rbp), %xmm0
leaq -0x48(%rbp), %rdi
movl %edx, %esi
callq 0x1f2e0
jmp 0x8956
leaq -0x70(%rbp), %rdi
movl $0x6, %edx
xorps %xmm0, %xmm0
movl %edx, %esi
callq 0x1f2e0
jmp 0x896b
movq -0x420(%rbp), %rdi
movsd 0x2d8(%rdi), %xmm0
movsd %xmm0, -0x430(%rbp)
addq $0x258, %rdi            # imm = 0x258
movl $0x1, %esi
callq 0x1fd40
movq %rax, -0x428(%rbp)
jmp 0x899c
movq -0x428(%rbp), %rax
movsd (%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x438(%rbp)
jmp 0x89b6
movq -0x420(%rbp), %rax
movsd -0x438(%rbp), %xmm1
movsd -0x430(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x28(%rbp)
movsd 0x2b8(%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x440(%rbp)
jmp 0x89ed
movq -0x420(%rbp), %rdi
movsd 0x2d8(%rdi), %xmm0
movsd %xmm0, -0x450(%rbp)
addq $0x258, %rdi            # imm = 0x258
movl $0x2, %esi
callq 0x1fd40
movq %rax, -0x448(%rbp)
jmp 0x8a1e
movsd -0x450(%rbp), %xmm0
movq -0x448(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
callq 0x4450
movsd %xmm0, -0x458(%rbp)
jmp 0x8a44
movq -0x420(%rbp), %rdi
movsd -0x458(%rbp), %xmm1
movsd -0x440(%rbp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x468(%rbp)
addq $0x258, %rdi            # imm = 0x258
movl $0x1, %esi
callq 0x1fd40
movq %rax, -0x460(%rbp)
jmp 0x8a81
movq -0x460(%rbp), %rax
movsd (%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x470(%rbp)
jmp 0x8a9b
movq -0x420(%rbp), %rax
movsd -0x470(%rbp), %xmm1
movsd -0x468(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x30(%rbp)
movsd 0x1b8(%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x478(%rbp)
jmp 0x8ad2
movq -0x420(%rbp), %rdi
addq $0x2e0, %rdi            # imm = 0x2E0
xorl %esi, %esi
callq 0x1fe60
movq %rax, -0x480(%rbp)
jmp 0x8af0
movq -0x480(%rbp), %rax
movsd -0x478(%rbp), %xmm0
movsd %xmm0, (%rax)
movsd -0x28(%rbp), %xmm0
callq 0x4450
movsd %xmm0, -0x488(%rbp)
jmp 0x8b17
movq -0x420(%rbp), %rdi
addq $0x2e0, %rdi            # imm = 0x2E0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x490(%rbp)
jmp 0x8b38
movq -0x420(%rbp), %rdi
movq -0x490(%rbp), %rax
movsd -0x488(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
movsd -0x30(%rbp), %xmm0
movsd %xmm0, -0x4a0(%rbp)
addq $0x2e0, %rdi            # imm = 0x2E0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x498(%rbp)
jmp 0x8b7a
movq -0x420(%rbp), %rax
movq -0x498(%rbp), %rcx
movsd -0x4a0(%rbp), %xmm0
movsd %xmm0, 0x10(%rcx)
movsd 0x2d8(%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x4a8(%rbp)
jmp 0x8bac
movq -0x420(%rbp), %rdi
addq $0x258, %rdi            # imm = 0x258
movl $0x2, %esi
callq 0x1fd40
movq %rax, -0x4b0(%rbp)
jmp 0x8bcd
movq -0x420(%rbp), %rdi
movsd -0x4a8(%rbp), %xmm0
movq -0x4b0(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x4c0(%rbp)
addq $0x258, %rdi            # imm = 0x258
movl $0x1, %esi
callq 0x1fd40
movq %rax, -0x4b8(%rbp)
jmp 0x8c0d
movq -0x4b8(%rbp), %rax
movsd (%rax), %xmm0
callq 0x4450
movsd %xmm0, -0x4c8(%rbp)
jmp 0x8c27
movq -0x420(%rbp), %rdi
movsd -0x4c8(%rbp), %xmm1
movsd -0x4c0(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x4d8(%rbp)
addq $0x258, %rdi            # imm = 0x258
movl $0x1, %esi
callq 0x1fd40
movq %rax, -0x4d0(%rbp)
jmp 0x8c64
movq -0x420(%rbp), %rdi
movsd -0x4d8(%rbp), %xmm0
movq -0x4d0(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0x4e8(%rbp)
addq $0x2e0, %rdi            # imm = 0x2E0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x4e0(%rbp)
jmp 0x8ca4
movq -0x420(%rbp), %rdi
movq -0x4e0(%rbp), %rax
movsd -0x4e8(%rbp), %xmm0
movsd %xmm0, 0x10(%rax)
addq $0x2e0, %rdi            # imm = 0x2E0
movl $0x1, %esi
callq 0x1fe60
movq %rax, -0x4f0(%rbp)
jmp 0x8cd9
movq -0x420(%rbp), %rdi
movq -0x4f0(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x500(%rbp)
addq $0x2e0, %rdi            # imm = 0x2E0
movl $0x2, %esi
callq 0x1fe60
movq %rax, -0x4f8(%rbp)
jmp 0x8d0e
movq -0x420(%rbp), %rsi
movq -0x4f8(%rbp), %rax
movsd -0x500(%rbp), %xmm0
movsd %xmm0, 0x8(%rax)
movq %rsi, %rax
addq $0x1d8, %rax            # imm = 0x1D8
movq %rax, -0x508(%rbp)
addq $0x2a0, %rsi            # imm = 0x2A0
leaq -0xf0(%rbp), %rdi
callq 0x1f3e0
jmp 0x8d4e
movq -0x508(%rbp), %rsi
leaq -0xd8(%rbp), %rdi
leaq -0xf0(%rbp), %rdx
callq 0x203c0
jmp 0x8d6a
movq -0x420(%rbp), %rsi
addq $0x1f0, %rsi            # imm = 0x1F0
leaq -0x108(%rbp), %rdi
callq 0x1f3e0
jmp 0x8d86
leaq -0xc0(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
leaq -0x108(%rbp), %rdx
callq 0x203c0
jmp 0x8da2
movq -0x420(%rbp), %rsi
addq $0x2e0, %rsi            # imm = 0x2E0
leaq -0x120(%rbp), %rdi
callq 0x1f3e0
jmp 0x8dbe
leaq -0xa8(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0x120(%rbp), %rdx
callq 0x20020
jmp 0x8dda
leaq -0x90(%rbp), %rdi
leaq -0x48(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x1ff00
jmp 0x8df3
leaq -0x90(%rbp), %rdi
callq 0x1f580
leaq -0xa8(%rbp), %rdi
callq 0x1f580
leaq -0x120(%rbp), %rdi
callq 0x1f580
leaq -0xc0(%rbp), %rdi
callq 0x1f580
leaq -0x108(%rbp), %rdi
callq 0x1f580
leaq -0xd8(%rbp), %rdi
callq 0x1f580
leaq -0xf0(%rbp), %rdi
callq 0x1f580
leaq -0x48(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0xaeb0
movb %al, -0x509(%rbp)
jmp 0x8e5c
movb -0x509(%rbp), %al
andb $0x1, %al
movb %al, -0x71(%rbp)
testb $0x1, -0x71(%rbp)
jne 0x8fa5
movq 0x26158(%rip), %rdi     # 0x2efd0
leaq 0x1b62b(%rip), %rsi     # 0x244aa
callq 0x3210
movq %rax, -0x518(%rbp)
jmp 0x8e8d
movq -0x518(%rbp), %rdi
movq -0x420(%rbp), %rax
movsd 0x2f8(%rax), %xmm0
callq 0x3440
movq %rax, -0x520(%rbp)
jmp 0x8eb1
movq -0x520(%rbp), %rdi
movq 0x260f9(%rip), %rsi     # 0x2efb8
callq 0x3250
jmp 0x8ec6
movl $0x1, %edi
callq 0x32c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x97d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x97c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x8f94
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x8f88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x8f7c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x8f70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x8f64
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0x1f580
leaq -0x120(%rbp), %rdi
callq 0x1f580
leaq -0xc0(%rbp), %rdi
callq 0x1f580
leaq -0x108(%rbp), %rdi
callq 0x1f580
leaq -0xd8(%rbp), %rdi
callq 0x1f580
leaq -0xf0(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
leaq -0x150(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0x1f3e0
jmp 0x8fb7
leaq -0x138(%rbp), %rdi
leaq -0x48(%rbp), %rsi
leaq -0x150(%rbp), %rdx
callq 0x1ff00
jmp 0x8fd0
leaq -0x138(%rbp), %rdi
callq 0x1f580
leaq -0x150(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
movq %rsi, %rax
addq $0x2a0, %rax            # imm = 0x2A0
movq %rax, -0x528(%rbp)
addq $0x1f0, %rsi            # imm = 0x1F0
leaq -0x1b0(%rbp), %rdi
callq 0x1f3e0
jmp 0x9014
movq -0x528(%rbp), %rsi
leaq -0x198(%rbp), %rdi
leaq -0x1b0(%rbp), %rdx
callq 0x203c0
jmp 0x9030
leaq -0x1c8(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x1f3e0
jmp 0x9042
leaq -0x180(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x1c8(%rbp), %rdx
callq 0x203c0
jmp 0x905e
movq -0x420(%rbp), %rsi
addq $0x228, %rsi            # imm = 0x228
leaq -0x168(%rbp), %rdi
leaq -0x180(%rbp), %rdx
callq 0x1ff00
jmp 0x9081
leaq -0x168(%rbp), %rdi
callq 0x1f580
leaq -0x180(%rbp), %rdi
callq 0x1f580
leaq -0x1c8(%rbp), %rdi
callq 0x1f580
leaq -0x198(%rbp), %rdi
callq 0x1f580
leaq -0x1b0(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
movq %rsi, %rax
addq $0x258, %rax            # imm = 0x258
movq %rax, -0x538(%rbp)
movq %rsi, %rax
addq $0x1d8, %rax            # imm = 0x1D8
movq %rax, -0x530(%rbp)
addq $0x270, %rsi            # imm = 0x270
leaq -0x228(%rbp), %rdi
callq 0x1f3e0
jmp 0x90f9
movq -0x530(%rbp), %rsi
leaq -0x210(%rbp), %rdi
leaq -0x228(%rbp), %rdx
callq 0x203c0
jmp 0x9115
movq -0x538(%rbp), %rsi
leaq -0x1f8(%rbp), %rdi
leaq -0x210(%rbp), %rdx
callq 0x20130
jmp 0x9131
movq -0x420(%rbp), %rsi
addq $0x2c0, %rsi            # imm = 0x2C0
leaq -0x1e0(%rbp), %rdi
leaq -0x1f8(%rbp), %rdx
callq 0x1ff00
jmp 0x9154
leaq -0x1e0(%rbp), %rdi
callq 0x1f580
leaq -0x1f8(%rbp), %rdi
callq 0x1f580
leaq -0x210(%rbp), %rdi
callq 0x1f580
leaq -0x228(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
movq %rsi, %rax
addq $0x228, %rax            # imm = 0x228
movq %rax, -0x540(%rbp)
addq $0x2c0, %rsi            # imm = 0x2C0
leaq -0x270(%rbp), %rdi
callq 0x1f3e0
jmp 0x91b0
movq -0x540(%rbp), %rsi
leaq -0x258(%rbp), %rdi
leaq -0x270(%rbp), %rdx
callq 0x203c0
jmp 0x91cc
movq -0x420(%rbp), %rsi
addq $0x210, %rsi            # imm = 0x210
leaq -0x240(%rbp), %rdi
leaq -0x258(%rbp), %rdx
callq 0x1ff00
jmp 0x91ef
leaq -0x240(%rbp), %rdi
callq 0x1f580
leaq -0x258(%rbp), %rdi
callq 0x1f580
leaq -0x270(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
addq $0x210, %rsi            # imm = 0x210
leaq -0x288(%rbp), %rdi
callq 0x1f3e0
jmp 0x922f
movq -0x420(%rbp), %rdi
addq $0x270, %rdi            # imm = 0x270
leaq -0x288(%rbp), %rsi
callq 0x208d0
jmp 0x924b
leaq -0x288(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
movq %rsi, %rax
addq $0x1c0, %rax            # imm = 0x1C0
movq %rax, -0x550(%rbp)
movq %rsi, %rax
addq $0x228, %rax            # imm = 0x228
movq %rax, -0x548(%rbp)
addq $0x1d8, %rsi            # imm = 0x1D8
leaq -0x2e8(%rbp), %rdi
callq 0x1f3e0
jmp 0x9293
movq -0x548(%rbp), %rsi
leaq -0x2d0(%rbp), %rdi
leaq -0x2e8(%rbp), %rdx
callq 0x203c0
jmp 0x92af
movq -0x550(%rbp), %rsi
leaq -0x2b8(%rbp), %rdi
leaq -0x2d0(%rbp), %rdx
callq 0x20130
jmp 0x92cb
leaq -0x2a0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x2b8(%rbp), %rdx
callq 0x1ff00
jmp 0x92e4
leaq -0x2a0(%rbp), %rdi
callq 0x1f580
leaq -0x2b8(%rbp), %rdi
callq 0x1f580
leaq -0x2d0(%rbp), %rdi
callq 0x1f580
leaq -0x2e8(%rbp), %rdi
callq 0x1f580
movq -0x420(%rbp), %rsi
addq $0x2a0, %rsi            # imm = 0x2A0
leaq -0x360(%rbp), %rdi
callq 0x1f3e0
jmp 0x9330
leaq -0x348(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x360(%rbp), %rdx
callq 0x203c0
jmp 0x9349
leaq -0x390(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1f3e0
jmp 0x935b
leaq -0x378(%rbp), %rdi
leaq -0x390(%rbp), %rsi
callq 0x23320
jmp 0x9370
leaq -0x330(%rbp), %rdi
leaq -0x348(%rbp), %rsi
leaq -0x378(%rbp), %rdx
callq 0x203c0
jmp 0x938c
movq -0x420(%rbp), %rsi
movq %rsi, %rax
addq $0x228, %rax            # imm = 0x228
movq %rax, -0x558(%rbp)
addq $0x2e0, %rsi            # imm = 0x2E0
leaq -0x3d8(%rbp), %rdi
callq 0x1f3e0
jmp 0x93b8
movq -0x558(%rbp), %rsi
leaq -0x3c0(%rbp), %rdi
leaq -0x3d8(%rbp), %rdx
callq 0x203c0
jmp 0x93d4
movq -0x420(%rbp), %rsi
addq $0x228, %rsi            # imm = 0x228
leaq -0x408(%rbp), %rdi
callq 0x1f3e0
jmp 0x93f0
leaq -0x3f0(%rbp), %rdi
leaq -0x408(%rbp), %rsi
callq 0x23320
jmp 0x9405
leaq -0x3a8(%rbp), %rdi
leaq -0x3c0(%rbp), %rsi
leaq -0x3f0(%rbp), %rdx
callq 0x203c0
jmp 0x9421
leaq -0x318(%rbp), %rdi
leaq -0x330(%rbp), %rsi
leaq -0x3a8(%rbp), %rdx
callq 0x20020
jmp 0x943d
movq -0x420(%rbp), %rsi
addq $0x2a0, %rsi            # imm = 0x2A0
leaq -0x300(%rbp), %rdi
leaq -0x318(%rbp), %rdx
callq 0x1ff00
jmp 0x9460
leaq -0x300(%rbp), %rdi
callq 0x1f580
leaq -0x318(%rbp), %rdi
callq 0x1f580
leaq -0x3a8(%rbp), %rdi
callq 0x1f580
leaq -0x3f0(%rbp), %rdi
callq 0x1f580
leaq -0x408(%rbp), %rdi
callq 0x1f580
leaq -0x3c0(%rbp), %rdi
callq 0x1f580
leaq -0x3d8(%rbp), %rdi
callq 0x1f580
leaq -0x330(%rbp), %rdi
callq 0x1f580
leaq -0x378(%rbp), %rdi
callq 0x1f580
leaq -0x390(%rbp), %rdi
callq 0x1f580
leaq -0x348(%rbp), %rdi
callq 0x1f580
leaq -0x360(%rbp), %rdi
callq 0x1f580
leaq -0x70(%rbp), %rdi
callq 0x1f580
leaq -0x48(%rbp), %rdi
callq 0x1f580
leaq -0x20(%rbp), %rdi
callq 0x1f580
addq $0x560, %rsp            # imm = 0x560
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x958b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x957f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9573
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x180(%rbp), %rdi
callq 0x1f580
leaq -0x1c8(%rbp), %rdi
callq 0x1f580
leaq -0x198(%rbp), %rdi
callq 0x1f580
leaq -0x1b0(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x95dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x95d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x1f580
leaq -0x210(%rbp), %rdi
callq 0x1f580
leaq -0x228(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9613
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x258(%rbp), %rdi
callq 0x1f580
leaq -0x270(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x288(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9681
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9675
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x2b8(%rbp), %rdi
callq 0x1f580
leaq -0x2d0(%rbp), %rdi
callq 0x1f580
leaq -0x2e8(%rbp), %rdi
callq 0x1f580
jmp 0x97c0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x97b4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x97a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x979c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9790
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9784
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9778
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x976c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9760
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9754
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9748
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x1f580
leaq -0x3a8(%rbp), %rdi
callq 0x1f580
leaq -0x3f0(%rbp), %rdi
callq 0x1f580
leaq -0x408(%rbp), %rdi
callq 0x1f580
leaq -0x3c0(%rbp), %rdi
callq 0x1f580
leaq -0x3d8(%rbp), %rdi
callq 0x1f580
leaq -0x330(%rbp), %rdi
callq 0x1f580
leaq -0x378(%rbp), %rdi
callq 0x1f580
leaq -0x390(%rbp), %rdi
callq 0x1f580
leaq -0x348(%rbp), %rdi
callq 0x1f580
leaq -0x360(%rbp), %rdi
callq 0x1f580
leaq -0x70(%rbp), %rdi
callq 0x1f580
leaq -0x48(%rbp), %rdi
callq 0x1f580
leaq -0x20(%rbp), %rdi
callq 0x1f580
movq -0x50(%rbp), %rdi
callq 0x33d0
nopw %cs:(%rax,%rax)