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