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