(a41)*(b12 + b13)*(c24 + c44)
(a43)*(b22 + b23 + b32 + b33)*(c14 + c22 + c24 + c33)
(a42 + a43)*(b22 + b23)*(c14 + c34)
(a44)*(b42 + b43)*(c14 + c31 + c32 + c34 + c42 + c44)
(a31)*(b11 + b12 + b24 + b34)*(c23 + c43)
(a32)*(b21 + b22 + b24 + b31 + b32 + b34)*(c14 + c21 + c23 + c33)
(a32 + a43)*(b22 + b23 + b31 + b32 + b34)*(c14 + c33)
(a32 + a33)*(b24 + b31 + b32 + b34)*(c13 + c33)
(a34)*(b24 + b34 + b41 + b42)*(c11 + c12 + c13 + c33 + c41 + c43)
(a31 + a33 + a34)*(b24 + b34)*(c14 + c22 + c23 + c33 + c43 + c44)
(a31 + a33 + a34 + a41 + a42 + a44)*(b24)*(c14 + c33 + c43 + c44)
(a21)*(b13 + b14 + b24 + b34 + b42)*(c22 + c42)
(a22)*(b23 + b33 + b42)*(c14 + c22 + c24 + c31 + c32 + c34)
(a22 + a43)*(b22 + b23 + b33)*(c14 + c22 + c24 + c34)
(a22 + a23)*(b24 + b33 + b42 + b43 + b44)*(c12 + c32)
(a21 + a22 + a24)*(b24 + b34 + b42)*(c11 + c12 + c13 + c22 + c23 + c33 + c41 + c42)
(a21 + a22 + a24 + a31 + a33 + a34)*(b24 + b32 + b34)*(c13 + c22 + c23 + c33)
(a22 + a23 + a24)*(b24 + b34 + b42 + b43 + b44)*(c14 + c33 + c42 + c44)
(a22 + a23 + a24 + a44)*(b24 + b42 + b43 + b44)*(c14 + c32 + c42 + c44)
(a22 + a23 + a24 + a34)*(b24 + b31 + b33 + b42 + b43 + b44)*(c12 + c33)
(a22 + a23 + a24 + a33 + a34 + a43)*(b12 + b13 + b14 + b24 + b31 + b33)*(c33)
(a22 + a23 + a24 + a31 + a33 + a34 + a43)*(b12 + b13 + b14 + b24 + b34)*(c14 + c22 + c33 + c44)
(a22 + a23 + a24 + a31 + a33 + a34 + a41 + a43)*(b12 + b13 + b14 + b24)*(c14 + c44)
(a21 + a22 + a23 + a24 + a31 + a33 + a34 + a43)*(b12 + b13 + b14 + b24 + b32 + b34)*(c22)
(a11)*(b11 + b14 + b42)*(c21 + c41)
(a13)*(b21 + b24 + b31 + b34 + b42)*(c11 + c12 + c13 + c21 + c23 + c33)
(a13 + a32)*(b21 + b24 + b31 + b32 + b34)*(c13 + c21 + c23 + c33)
(a13 + a22)*(b21 + b24 + b33 + b41 + b42 + b43 + b44)*(c12 + c31)
(a13 + a22 + a24 + a34)*(b11 + b24 + b31 + b33 + b41 + b42 + b43 + b44)*(c12)
(a13 + a21 + a22 + a24 + a34)*(b11 + b24 + b34 + b42)*(c11 + c12 + c13 + c23 + c33 + c41)
(a13 + a21 + a22 + a24 + a31 + a34)*(b11 + b24 + b32 + b34)*(c13 + c23 + c33)
(a11 + a13 + a21 + a22 + a24 + a34)*(b11 + b24 + b42 + b44)*(c11 + c41)
(a12 + a13)*(b21 + b24 + b41 + b42 + b44)*(c11 + c31)
(a13 + a14 + a22 + a44)*(b13 + b21 + b23 + b24 + b41 + b42 + b43 + b44)*(c31)
(a11 + a13 + a14)*(b42)*(c14 + c21 + c24 + c31 + c32 + c34 + c41 + c42)
(a11 + a13 + a14 + a41 + a42 + a44)*(b22)*(c14 + c21 + c24 + c34)
(a11 + a13 + a14 + a22 + a44)*(b13 + b42)*(c14 + c24 + c31 + c32 + c34 + c42)
(a11 + a13 + a14 + a22 + a41 + a44)*(b13 + b22)*(c14 + c24 + c34)
(a11 + a13 + a14 + a21 + a22 + a44)*(b13 + b24 + b42 + b44)*(c32 + c42)
(a11 + a13 + a14 + a21 + a22 + a24)*(b24 + b42 + b44)*(c11 + c32 + c41 + c42)
(a12 + a13 + a14)*(b41 + b42 + b44)*(c14 + c33 + c41 + c43)
(a12 + a13 + a14 + a44)*(b21 + b23 + b24 + b41 + b42 + b44)*(c14 + c31)
(a12 + a13 + a14 + a32 + a42 + a44)*(b11 + b12 + b14 + b21 + b23 + b24)*(c14)
(a12 + a13 + a14 + a32 + a41 + a42 + a44)*(b11 + b12 + b14)*(c14 + c21 + c33 + c43)
(a12 + a13 + a14 + a31 + a32 + a41 + a42 + a44)*(b11 + b12 + b14 + b24)*(c33 + c43)
(a12 + a13 + a14 + a34)*(b24 + b41 + b42 + b44)*(c11 + c33 + c41 + c43)
(a11 + a12 + a13 + a14 + a32 + a41 + a42 + a44)*(b11 + b12 + b14 + b22)*(c21)
