// File: srajangarg[P]raytracer/src/core/Algebra3.hpp
// Function: operator*(Mat4 const&, Mat4 const&)
inline Mat4 operator * (Mat4 const & a, Mat4 const & b)
{
#define ALG3_ROWCOL(i, j) a.v[i].n[0]*b.v[0][j] + a.v[i].n[1]*b.v[1][j] + \
                          a.v[i].n[2]*b.v[2][j] + a.v[i].n[3]*b.v[3][j]
  return Mat4(
    Vec4(ALG3_ROWCOL(0,0), ALG3_ROWCOL(0,1), ALG3_ROWCOL(0,2), ALG3_ROWCOL(0,3)),
    Vec4(ALG3_ROWCOL(1,0), ALG3_ROWCOL(1,1), ALG3_ROWCOL(1,2), ALG3_ROWCOL(1,3)),
    Vec4(ALG3_ROWCOL(2,0), ALG3_ROWCOL(2,1), ALG3_ROWCOL(2,2), ALG3_ROWCOL(2,3)),
    Vec4(ALG3_ROWCOL(3,0), ALG3_ROWCOL(3,1), ALG3_ROWCOL(3,2), ALG3_ROWCOL(3,3))
  );
#undef ALG3_ROWCOL
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x490, %rsp            # imm = 0x490
movq %rdi, -0xa8(%rbp)
movq %rdi, %rax
movq %rax, -0xa0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x478(%rbp)
movq -0x18(%rbp), %rdi
xorl %esi, %esi
callq 0xb590
movsd %xmm0, -0x480(%rbp)
movq -0x10(%rbp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, -0x488(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x488(%rbp), %xmm1
movsd -0x480(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x478(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x470(%rbp)
movq -0x10(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x468(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x470(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x468(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x460(%rbp)
movq -0x10(%rbp), %rax
movsd 0x18(%rax), %xmm0
movsd %xmm0, -0x458(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x460(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x458(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x398(%rbp)
movq -0x10(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x440(%rbp)
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0xb590
movsd %xmm0, -0x448(%rbp)
movq -0x10(%rbp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, -0x450(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x450(%rbp), %xmm1
movsd -0x448(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x440(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x438(%rbp)
movq -0x10(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x430(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x438(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x430(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x428(%rbp)
movq -0x10(%rbp), %rax
movsd 0x18(%rax), %xmm0
movsd %xmm0, -0x420(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x428(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x420(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x3a8(%rbp)
movq -0x10(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x408(%rbp)
movq -0x18(%rbp), %rdi
movl $0x2, %esi
callq 0xb590
movsd %xmm0, -0x410(%rbp)
movq -0x10(%rbp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, -0x418(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x418(%rbp), %xmm1
movsd -0x410(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x408(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x400(%rbp)
movq -0x10(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x3f8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x400(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x3f8(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x3f0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x18(%rax), %xmm0
movsd %xmm0, -0x3e8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x3f0(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x3e8(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x3a0(%rbp)
movq -0x10(%rbp), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x3d0(%rbp)
movq -0x18(%rbp), %rdi
movl $0x3, %esi
callq 0xb590
movsd %xmm0, -0x3d8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, -0x3e0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x3e0(%rbp), %xmm1
movsd -0x3d8(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x3d0(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x3c8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x10(%rax), %xmm0
movsd %xmm0, -0x3c0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x3c8(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x3c0(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x3b0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x18(%rax), %xmm0
movsd %xmm0, -0x3b8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x3b8(%rbp), %xmm3
movsd -0x3b0(%rbp), %xmm4
movsd -0x3a8(%rbp), %xmm1
movsd -0x3a0(%rbp), %xmm2
movaps %xmm0, %xmm5
movsd -0x398(%rbp), %xmm0
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
leaq -0x38(%rbp), %rdi
callq 0xb390
movq -0x10(%rbp), %rax
movsd 0x20(%rax), %xmm0
movsd %xmm0, -0x380(%rbp)
movq -0x18(%rbp), %rdi
xorl %esi, %esi
callq 0xb590
movsd %xmm0, -0x388(%rbp)
movq -0x10(%rbp), %rax
movsd 0x28(%rax), %xmm0
movsd %xmm0, -0x390(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x390(%rbp), %xmm1
movsd -0x388(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x380(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x378(%rbp)
movq -0x10(%rbp), %rax
movsd 0x30(%rax), %xmm0
movsd %xmm0, -0x370(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x378(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x370(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x368(%rbp)
movq -0x10(%rbp), %rax
movsd 0x38(%rax), %xmm0
movsd %xmm0, -0x360(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x368(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x360(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2a0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x20(%rax), %xmm0
movsd %xmm0, -0x348(%rbp)
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0xb590
movsd %xmm0, -0x350(%rbp)
movq -0x10(%rbp), %rax
movsd 0x28(%rax), %xmm0
movsd %xmm0, -0x358(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x358(%rbp), %xmm1
movsd -0x350(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x348(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x340(%rbp)
movq -0x10(%rbp), %rax
movsd 0x30(%rax), %xmm0
movsd %xmm0, -0x338(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x340(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x338(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x330(%rbp)
movq -0x10(%rbp), %rax
movsd 0x38(%rax), %xmm0
movsd %xmm0, -0x328(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x330(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x328(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2b0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x20(%rax), %xmm0
movsd %xmm0, -0x310(%rbp)
movq -0x18(%rbp), %rdi
movl $0x2, %esi
callq 0xb590
movsd %xmm0, -0x318(%rbp)
movq -0x10(%rbp), %rax
movsd 0x28(%rax), %xmm0
movsd %xmm0, -0x320(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x320(%rbp), %xmm1
movsd -0x318(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x310(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x308(%rbp)
movq -0x10(%rbp), %rax
movsd 0x30(%rax), %xmm0
movsd %xmm0, -0x300(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x308(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x300(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2f8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x38(%rax), %xmm0
movsd %xmm0, -0x2f0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x2f8(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x2f0(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2a8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x20(%rax), %xmm0
movsd %xmm0, -0x2d8(%rbp)
movq -0x18(%rbp), %rdi
movl $0x3, %esi
callq 0xb590
movsd %xmm0, -0x2e0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x28(%rax), %xmm0
movsd %xmm0, -0x2e8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x2e8(%rbp), %xmm1
movsd -0x2e0(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x2d8(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2d0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x30(%rax), %xmm0
movsd %xmm0, -0x2c8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x2d0(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x2c8(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x2b8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x38(%rax), %xmm0
movsd %xmm0, -0x2c0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x2c0(%rbp), %xmm3
movsd -0x2b8(%rbp), %xmm4
movsd -0x2b0(%rbp), %xmm1
movsd -0x2a8(%rbp), %xmm2
movaps %xmm0, %xmm5
movsd -0x2a0(%rbp), %xmm0
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
leaq -0x58(%rbp), %rdi
callq 0xb390
movq -0x10(%rbp), %rax
movsd 0x40(%rax), %xmm0
movsd %xmm0, -0x288(%rbp)
movq -0x18(%rbp), %rdi
xorl %esi, %esi
callq 0xb590
movsd %xmm0, -0x290(%rbp)
movq -0x10(%rbp), %rax
movsd 0x48(%rax), %xmm0
movsd %xmm0, -0x298(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x298(%rbp), %xmm1
movsd -0x290(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x288(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x280(%rbp)
movq -0x10(%rbp), %rax
movsd 0x50(%rax), %xmm0
movsd %xmm0, -0x278(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x280(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x278(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x270(%rbp)
movq -0x10(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd %xmm0, -0x268(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x270(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x268(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1a8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x40(%rax), %xmm0
movsd %xmm0, -0x250(%rbp)
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0xb590
movsd %xmm0, -0x258(%rbp)
movq -0x10(%rbp), %rax
movsd 0x48(%rax), %xmm0
movsd %xmm0, -0x260(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x260(%rbp), %xmm1
movsd -0x258(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x250(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x248(%rbp)
movq -0x10(%rbp), %rax
movsd 0x50(%rax), %xmm0
movsd %xmm0, -0x240(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x248(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x240(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x238(%rbp)
movq -0x10(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd %xmm0, -0x230(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x238(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x230(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1b8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x40(%rax), %xmm0
movsd %xmm0, -0x218(%rbp)
movq -0x18(%rbp), %rdi
movl $0x2, %esi
callq 0xb590
movsd %xmm0, -0x220(%rbp)
movq -0x10(%rbp), %rax
movsd 0x48(%rax), %xmm0
movsd %xmm0, -0x228(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x228(%rbp), %xmm1
movsd -0x220(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x218(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x210(%rbp)
movq -0x10(%rbp), %rax
movsd 0x50(%rax), %xmm0
movsd %xmm0, -0x208(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x210(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x208(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x200(%rbp)
movq -0x10(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd %xmm0, -0x1f8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x200(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x1f8(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1b0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x40(%rax), %xmm0
movsd %xmm0, -0x1e0(%rbp)
movq -0x18(%rbp), %rdi
movl $0x3, %esi
callq 0xb590
movsd %xmm0, -0x1e8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x48(%rax), %xmm0
movsd %xmm0, -0x1f0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x1f0(%rbp), %xmm1
movsd -0x1e8(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x1e0(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1d8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x50(%rax), %xmm0
movsd %xmm0, -0x1d0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x1d8(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x1d0(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x1c0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd %xmm0, -0x1c8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0x1c8(%rbp), %xmm3
movsd -0x1c0(%rbp), %xmm4
movsd -0x1b8(%rbp), %xmm1
movsd -0x1b0(%rbp), %xmm2
movaps %xmm0, %xmm5
movsd -0x1a8(%rbp), %xmm0
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
leaq -0x78(%rbp), %rdi
callq 0xb390
movq -0x10(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd %xmm0, -0x190(%rbp)
movq -0x18(%rbp), %rdi
xorl %esi, %esi
callq 0xb590
movsd %xmm0, -0x198(%rbp)
movq -0x10(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd %xmm0, -0x1a0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x1a0(%rbp), %xmm1
movsd -0x198(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x190(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x188(%rbp)
movq -0x10(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd %xmm0, -0x180(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x188(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x180(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x178(%rbp)
movq -0x10(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd %xmm0, -0x170(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
xorl %esi, %esi
callq 0xb590
movsd -0x178(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x170(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xb0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd %xmm0, -0x158(%rbp)
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0xb590
movsd %xmm0, -0x160(%rbp)
movq -0x10(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd %xmm0, -0x168(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x168(%rbp), %xmm1
movsd -0x160(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x158(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x150(%rbp)
movq -0x10(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd %xmm0, -0x148(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x150(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x148(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x140(%rbp)
movq -0x10(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd %xmm0, -0x138(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x1, %esi
callq 0xb590
movsd -0x140(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x138(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xc0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd %xmm0, -0x120(%rbp)
movq -0x18(%rbp), %rdi
movl $0x2, %esi
callq 0xb590
movsd %xmm0, -0x128(%rbp)
movq -0x10(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd %xmm0, -0x130(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x130(%rbp), %xmm1
movsd -0x128(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0x120(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x118(%rbp)
movq -0x10(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd %xmm0, -0x110(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x118(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x110(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x108(%rbp)
movq -0x10(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd %xmm0, -0x100(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x2, %esi
callq 0xb590
movsd -0x108(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0x100(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xb8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd %xmm0, -0xe8(%rbp)
movq -0x18(%rbp), %rdi
movl $0x3, %esi
callq 0xb590
movsd %xmm0, -0xf0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd %xmm0, -0xf8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x20, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0xf8(%rbp), %xmm1
movsd -0xf0(%rbp), %xmm2
movaps %xmm0, %xmm3
movsd -0xe8(%rbp), %xmm0
mulsd %xmm3, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xe0(%rbp)
movq -0x10(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd %xmm0, -0xd8(%rbp)
movq -0x18(%rbp), %rdi
addq $0x40, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0xe0(%rbp), %xmm1
movaps %xmm0, %xmm2
movsd -0xd8(%rbp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xc8(%rbp)
movq -0x10(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd %xmm0, -0xd0(%rbp)
movq -0x18(%rbp), %rdi
addq $0x60, %rdi
movl $0x3, %esi
callq 0xb590
movsd -0xd0(%rbp), %xmm3
movsd -0xc8(%rbp), %xmm4
movsd -0xc0(%rbp), %xmm1
movsd -0xb8(%rbp), %xmm2
movaps %xmm0, %xmm5
movsd -0xb0(%rbp), %xmm0
mulsd %xmm5, %xmm3
addsd %xmm4, %xmm3
leaq -0x98(%rbp), %rdi
callq 0xb390
movq -0xa8(%rbp), %rdi
leaq -0x38(%rbp), %rsi
leaq -0x58(%rbp), %rdx
leaq -0x78(%rbp), %rcx
leaq -0x98(%rbp), %r8
callq 0xb3e0
movq -0xa0(%rbp), %rax
addq $0x490, %rsp            # imm = 0x490
popq %rbp
retq
nopw (%rax,%rax)