(a11 + a31 + a33)*(b13 + b32 + b33)*(c23 + c31)
(a13 + a22)*(b22 + b31)*(c11 + c22)
(a11 + a32)*(b11 + b21 + b22)*(c11 + c21 + c23)
(a21 + a33)*(b13 + b31)*(c13 + c32)
(a32)*(b11 + b21)*(c11 + c13 + c21 + c23)
(a11)*(b11 + b12 + b21 + b22)*(c21 + c23)
(a33)*(b13 + b33)*(c23 + c32 + c33)
(a11 + a12 + a22)*(b21 + b22)*(c11)
(a12 + a13 + a32)*(b22)*(c11 + c21 + c31)
(a12 + a32)*(b22 + b23)*(c31)
(a32)*(b13 + b23)*(c31 + c33)
(a13)*(b22 + b32)*(c21 + c22 + c31)
(a11 + a13 + a31 + a33)*(b32 + b33)*(c31)
(a21)*(b11 + b31)*(c12 + c13)
(a21)*(b12 + b31)*(c22)
(a11 + a31)*(b12 + b13 + b32 + b33)*(c23)
(a22)*(b21 + b31)*(c11 + c12)
(a31 + a32 + a33)*(b13)*(c13 + c31 + c33)
(a22)*(b23 + b33)*(c32)
(a21 + a22 + a23)*(b31)*(c12 + c22 + c32)
(a13 + a23)*(b31 + b32)*(c22)
(a22 + a23 + a33)*(b31 + b33)*(c32)
(a21 + a31 + a32)*(b11 + b13)*(c13)
