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