Description of fast matrix multiplication algorithm: ⟨3×20×28:1246⟩

Algorithm type

6 X Y^{12} Z + 4 X^{2} Y^{9} Z^{2} + 24 X^{3} Y^{6} Z^{3} + 18 X^{2} Y^{8} Z^{2} + 4 X Y^{9} Z^{2} + 8 X Y^{9} Z + 60 X^{3} Y^{4} Z^{3} + 50 X^{2} Y^{6} Z^{2} + 24 X Y^{8} Z + 8 X^{2} Y^{6} Z + 10 X Y^{6} Z^{2} + 70 X^{2} Y^{4} Z^{2} + 50 X Y^{6} Z + 20 X^{2} Y^{4} Z + 20 X^{2} Y^{3} Z^{2} + 4 X^{2} Y^{3} Z + 104 X^{2} Y^{2} Z^{2} + 122 X Y^{4} Z + 12 X Y^{3} Z^{2} + 10 X^{2} Y^{2} Z + 174 X Y^{3} Z + 30 X Y^{2} Z^{2} + 164 X Y^{2} Z + 250 X Y Z

Algorithm definition

The algorithm ⟨3×20×28:1246⟩ could be constructed using the following decomposition:

⟨3×20×28:1246⟩ = ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩ + ⟨1×4×4:16⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨2×4×4:26⟩ + ⟨1×4×4:16⟩.

This decomposition is defined by the following equality:

Trace (Mul ((\begin{matrix} A_1_1 & A_1_2 & A_1_3 & A_1_4 & A_1_5 & A_1_6 & A_1_7 & A_1_8 & A_1_9 & A_1_10 & A_1_11 & A_1_12 & A_1_13 & A_1_14 & A_1_15 & A_1_16 & A_1_17 & A_1_18 & A_1_19 & A_1_20 \\ A_2_1 & A_2_2 & A_2_3 & A_2_4 & A_2_5 & A_2_6 & A_2_7 & A_2_8 & A_2_9 & A_2_10 & A_2_11 & A_2_12 & A_2_13 & A_2_14 & A_2_15 & A_2_16 & A_2_17 & A_2_18 & A_2_19 & A_2_20 \\ A_3_1 & A_3_2 & A_3_3 & A_3_4 & A_3_5 & A_3_6 & A_3_7 & A_3_8 & A_3_9 & A_3_10 & A_3_11 & A_3_12 & A_3_13 & A_3_14 & A_3_15 & A_3_16 & A_3_17 & A_3_18 & A_3_19 & A_3_20 \end{matrix}), (\begin{matrix} B_1_1 & B_1_2 & B_1_3 & B_1_4 & B_1_5 & B_1_6 & B_1_7 & B_1_8 & B_1_9 & B_1_10 & B_1_11 & B_1_12 & B_1_13 & B_1_14 & B_1_15 & B_1_16 & B_1_17 & B_1_18 & B_1_19 & B_1_20 & B_1_21 & B_1_22 & B_1_23 & B_1_24 & B_1_25 & B_1_26 & B_1_27 & B_1_28 \\ B_2_1 & B_2_2 & B_2_3 & B_2_4 & B_2_5 & B_2_6 & B_2_7 & B_2_8 & B_2_9 & B_2_10 & B_2_11 & B_2_12 & B_2_13 & B_2_14 & B_2_15 & B_2_16 & B_2_17 & B_2_18 & B_2_19 & B_2_20 & B_2_21 & B_2_22 & B_2_23 & B_2_24 & B_2_25 & B_2_26 & B_2_27 & B_2_28 \\ B_3_1 & B_3_2 & B_3_3 & B_3_4 & B_3_5 & B_3_6 & B_3_7 & B_3_8 & B_3_9 & B_3_10 & B_3_11 & B_3_12 & B_3_13 & B_3_14 & B_3_15 & B_3_16 & B_3_17 & B_3_18 & B_3_19 & B_3_20 & B_3_21 & B_3_22 & B_3_23 & B_3_24 & B_3_25 & B_3_26 & B_3_27 & B_3_28 \\ B_4_1 & B_4_2 & B_4_3 & B_4_4 & B_4_5 & B_4_6 & B_4_7 & B_4_8 & B_4_9 & B_4_10 & B_4_11 & B_4_12 & B_4_13 & B_4_14 & B_4_15 & B_4_16 & B_4_17 & B_4_18 & B_4_19 & B_4_20 & B_4_21 & B_4_22 & B_4_23 & B_4_24 & B_4_25 & B_4_26 & B_4_27 & B_4_28 \\ B_5_1 & B_5_2 & B_5_3 & B_5_4 & B_5_5 & B_5_6 & B_5_7 & B_5_8 & B_5_9 & B_5_10 & B_5_11 & B_5_12 & B_5_13 & B_5_14 & B_5_15 & B_5_16 & B_5_17 & B_5_18 & B_5_19 & B_5_20 & B_5_21 & B_5_22 & B_5_23 & B_5_24 & B_5_25 & B_5_26 & B_5_27 & B_5_28 \\ B_6_1 & B_6_2 & B_6_3 & B_6_4 & B_6_5 & B_6_6 & B_6_7 & B_6_8 & B_6_9 & B_6_10 & B_6_11 & B_6_12 & B_6_13 & B_6_14 & B_6_15 & B_6_16 & B_6_17 & B_6_18 & B_6_19 & B_6_20 & B_6_21 & B_6_22 & B_6_23 & B_6_24 & B_6_25 & B_6_26 & B_6_27 & B_6_28 \\ B_7_1 & B_7_2 & B_7_3 & B_7_4 & B_7_5 & B_7_6 & B_7_7 & B_7_8 & B_7_9 & B_7_10 & B_7_11 & B_7_12 & B_7_13 & B_7_14 & B_7_15 & B_7_16 & B_7_17 & B_7_18 & B_7_19 & B_7_20 & B_7_21 & B_7_22 & B_7_23 & B_7_24 & B_7_25 & B_7_26 & B_7_27 & B_7_28 \\ B_8_1 & B_8_2 & B_8_3 & B_8_4 & B_8_5 & B_8_6 & B_8_7 & B_8_8 & B_8_9 & B_8_10 & B_8_11 & B_8_12 & B_8_13 & B_8_14 & B_8_15 & B_8_16 & B_8_17 & B_8_18 & B_8_19 & B_8_20 & B_8_21 & B_8_22 & B_8_23 & B_8_24 & B_8_25 & B_8_26 & B_8_27 & B_8_28 \\ B_9_1 & B_9_2 & B_9_3 & B_9_4 & B_9_5 & B_9_6 & B_9_7 & B_9_8 & B_9_9 & B_9_10 & B_9_11 & B_9_12 & B_9_13 & B_9_14 & B_9_15 & B_9_16 & B_9_17 & B_9_18 & B_9_19 & B_9_20 & B_9_21 & B_9_22 & B_9_23 & B_9_24 & B_9_25 & B_9_26 & B_9_27 & B_9_28 \\ B_10_1 & B_10_2 & B_10_3 & B_10_4 & B_10_5 & B_10_6 & B_10_7 & B_10_8 & B_10_9 & B_10_10 & B_10_11 & B_10_12 & B_10_13 & B_10_14 & B_10_15 & B_10_16 & B_10_17 & B_10_18 & B_10_19 & B_10_20 & B_10_21 & B_10_22 & B_10_23 & B_10_24 & B_10_25 & B_10_26 & B_10_27 & B_10_28 \\ B_11_1 & B_11_2 & B_11_3 & B_11_4 & B_11_5 & B_11_6 & B_11_7 & B_11_8 & B_11_9 & B_11_10 & B_11_11 & B_11_12 & B_11_13 & B_11_14 & B_11_15 & B_11_16 & B_11_17 & B_11_18 & B_11_19 & B_11_20 & B_11_21 & B_11_22 & B_11_23 & B_11_24 & B_11_25 & B_11_26 & B_11_27 & B_11_28 \\ B_12_1 & B_12_2 & B_12_3 & B_12_4 & B_12_5 & B_12_6 & B_12_7 & B_12_8 & B_12_9 & B_12_10 & B_12_11 & B_12_12 & B_12_13 & B_12_14 & B_12_15 & B_12_16 & B_12_17 & B_12_18 & B_12_19 & B_12_20 & B_12_21 & B_12_22 & B_12_23 & B_12_24 & B_12_25 & B_12_26 & B_12_27 & B_12_28 \\ B_13_1 & B_13_2 & B_13_3 & B_13_4 & B_13_5 & B_13_6 & B_13_7 & B_13_8 & B_13_9 & B_13_10 & B_13_11 & B_13_12 & B_13_13 & B_13_14 & B_13_15 & B_13_16 & B_13_17 & B_13_18 & B_13_19 & B_13_20 & B_13_21 & B_13_22 & B_13_23 & B_13_24 & B_13_25 & B_13_26 & B_13_27 & B_13_28 \\ B_14_1 & B_14_2 & B_14_3 & B_14_4 & B_14_5 & B_14_6 & B_14_7 & B_14_8 & B_14_9 & B_14_10 & B_14_11 & B_14_12 & B_14_13 & B_14_14 & B_14_15 & B_14_16 & B_14_17 & B_14_18 & B_14_19 & B_14_20 & B_14_21 & B_14_22 & B_14_23 & B_14_24 & B_14_25 & B_14_26 & B_14_27 & B_14_28 \\ B_15_1 & B_15_2 & B_15_3 & B_15_4 & B_15_5 & B_15_6 & B_15_7 & B_15_8 & B_15_9 & B_15_10 & B_15_11 & B_15_12 & B_15_13 & B_15_14 & B_15_15 & B_15_16 & B_15_17 & B_15_18 & B_15_19 & B_15_20 & B_15_21 & B_15_22 & B_15_23 & B_15_24 & B_15_25 & B_15_26 & B_15_27 & B_15_28 \\ B_16_1 & B_16_2 & B_16_3 & B_16_4 & B_16_5 & B_16_6 & B_16_7 & B_16_8 & B_16_9 & B_16_10 & B_16_11 & B_16_12 & B_16_13 & B_16_14 & B_16_15 & B_16_16 & B_16_17 & B_16_18 & B_16_19 & B_16_20 & B_16_21 & B_16_22 & B_16_23 & B_16_24 & B_16_25 & B_16_26 & B_16_27 & B_16_28 \\ B_17_1 & B_17_2 & B_17_3 & B_17_4 & B_17_5 & B_17_6 & B_17_7 & B_17_8 & B_17_9 & B_17_10 & B_17_11 & B_17_12 & B_17_13 & B_17_14 & B_17_15 & B_17_16 & B_17_17 & B_17_18 & B_17_19 & B_17_20 & B_17_21 & B_17_22 & B_17_23 & B_17_24 & B_17_25 & B_17_26 & B_17_27 & B_17_28 \\ B_18_1 & B_18_2 & B_18_3 & B_18_4 & B_18_5 & B_18_6 & B_18_7 & B_18_8 & B_18_9 & B_18_10 & B_18_11 & B_18_12 & B_18_13 & B_18_14 & B_18_15 & B_18_16 & B_18_17 & B_18_18 & B_18_19 & B_18_20 & B_18_21 & B_18_22 & B_18_23 & B_18_24 & B_18_25 & B_18_26 & B_18_27 & B_18_28 \\ B_19_1 & B_19_2 & B_19_3 & B_19_4 & B_19_5 & B_19_6 & B_19_7 & B_19_8 & B_19_9 & B_19_10 & B_19_11 & B_19_12 & B_19_13 & B_19_14 & B_19_15 & B_19_16 & B_19_17 & B_19_18 & B_19_19 & B_19_20 & B_19_21 & B_19_22 & B_19_23 & B_19_24 & B_19_25 & B_19_26 & B_19_27 & B_19_28 \\ B_20_1 & B_20_2 & B_20_3 & B_20_4 & B_20_5 & B_20_6 & B_20_7 & B_20_8 & B_20_9 & B_20_10 & B_20_11 & B_20_12 & B_20_13 & B_20_14 & B_20_15 & B_20_16 & B_20_17 & B_20_18 & B_20_19 & B_20_20 & B_20_21 & B_20_22 & B_20_23 & B_20_24 & B_20_25 & B_20_26 & B_20_27 & B_20_28 \end{matrix}), (\begin{matrix} C_1_1 & C_1_2 & C_1_3 \\ C_2_1 & C_2_2 & C_2_3 \\ C_3_1 & C_3_2 & C_3_3 \\ C_4_1 & C_4_2 & C_4_3 \\ C_5_1 & C_5_2 & C_5_3 \\ C_6_1 & C_6_2 & C_6_3 \\ C_7_1 & C_7_2 & C_7_3 \\ C_8_1 & C_8_2 & C_8_3 \\ C_9_1 & C_9_2 & C_9_3 \\ C_10_1 & C_10_2 & C_10_3 \\ C_11_1 & C_11_2 & C_11_3 \\ C_12_1 & C_12_2 & C_12_3 \\ C_13_1 & C_13_2 & C_13_3 \\ C_14_1 & C_14_2 & C_14_3 \\ C_15_1 & C_15_2 & C_15_3 \\ C_16_1 & C_16_2 & C_16_3 \\ C_17_1 & C_17_2 & C_17_3 \\ C_18_1 & C_18_2 & C_18_3 \\ C_19_1 & C_19_2 & C_19_3 \\ C_20_1 & C_20_2 & C_20_3 \\ C_21_1 & C_21_2 & C_21_3 \\ C_22_1 & C_22_2 & C_22_3 \\ C_23_1 & C_23_2 & C_23_3 \\ C_24_1 & C_24_2 & C_24_3 \\ C_25_1 & C_25_2 & C_25_3 \\ C_26_1 & C_26_2 & C_26_3 \\ C_27_1 & C_27_2 & C_27_3 \\ C_28_1 & C_28_2 & C_28_3 \end{matrix}))) = Trace (Mul ((\begin{matrix} A_2_1 & A_2_2 & A_2_3 & A_2_4 \\ A_3_1 & A_3_2 & A_3_3 & A_3_4 \end{matrix}), (\begin{matrix} - B_5_1 + B_1_1 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_13_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_17_1}{a41 a52 - a42 a51} - B_1_25 + \frac{(a11 a42 - a12 a41) B_9_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_13_25}{a31 a42 - a32 a41} & B_1_2 - B_5_2 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_13_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_17_2}{a41 a52 - a42 a51} - B_1_26 + \frac{(a11 a42 - a12 a41) B_9_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_13_26}{a31 a42 - a32 a41} & B_1_3 - B_5_3 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_13_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_17_3}{a41 a52 - a42 a51} - B_1_27 + \frac{(a11 a42 - a12 a41) B_9_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_13_27}{a31 a42 - a32 a41} & B_1_4 - B_5_4 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_13_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_17_4}{a41 a52 - a42 a51} - B_1_28 + \frac{(a11 a42 - a12 a41) B_9_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_13_28}{a31 a42 - a32 a41} \\ B_2_1 - B_6_1 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_14_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_18_1}{a41 a52 - a42 a51} - B_2_25 + \frac{(a11 a42 - a12 a41) B_10_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_14_25}{a31 a42 - a32 a41} & B_2_2 - B_6_2 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_14_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_18_2}{a41 a52 - a42 a51} - B_2_26 + \frac{(a11 a42 - a12 a41) B_10_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_14_26}{a31 a42 - a32 a41} & B_2_3 - B_6_3 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_14_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_18_3}{a41 a52 - a42 a51} - B_2_27 + \frac{(a11 a42 - a12 a41) B_10_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_14_27}{a31 a42 - a32 a41} & B_2_4 - B_6_4 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_14_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_18_4}{a41 a52 - a42 a51} - B_2_28 + \frac{(a11 a42 - a12 a41) B_10_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_14_28}{a31 a42 - a32 a41} \\ B_3_1 - B_7_1 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_15_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_19_1}{a41 a52 - a42 a51} - B_3_25 + \frac{(a11 a42 - a12 a41) B_11_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_15_25}{a31 a42 - a32 a41} & B_3_2 - B_7_2 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_15_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_19_2}{a41 a52 - a42 a51} - B_3_26 + \frac{(a11 a42 - a12 a41) B_11_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_15_26}{a31 a42 - a32 a41} & B_3_3 - B_7_3 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_15_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_19_3}{a41 a52 - a42 a51} - B_3_27 + \frac{(a11 a42 - a12 a41) B_11_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_15_27}{a31 a42 - a32 a41} & B_3_4 - B_7_4 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_15_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_19_4}{a41 a52 - a42 a51} - B_3_28 + \frac{(a11 a42 - a12 a41) B_11_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_15_28}{a31 a42 - a32 a41} \\ B_4_1 - B_8_1 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_16_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_20_1}{a41 a52 - a42 a51} - B_4_25 + \frac{(a11 a42 - a12 a41) B_12_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_16_25}{a31 a42 - a32 a41} & B_4_2 - B_8_2 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_16_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_20_2}{a41 a52 - a42 a51} - B_4_26 + \frac{(a11 a42 - a12 a41) B_12_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_16_26}{a31 a42 - a32 a41} & B_4_3 - B_8_3 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_16_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_20_3}{a41 a52 - a42 a51} - B_4_27 + \frac{(a11 a42 - a12 a41) B_12_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_16_27}{a31 a42 - a32 a41} & B_4_4 - B_8_4 + \frac{(a52 a11 - a12 a51 + a21 a52 - a22 a51 + a52) B_16_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a21 a42 - a22 a41 + a42) B_20_4}{a41 a52 - a42 a51} - B_4_28 + \frac{(a11 a42 - a12 a41) B_12_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31) B_16_28}{a31 a42 - a32 a41} \end{matrix}), (\begin{matrix} C_1_2 & C_1_1 + C_1_3 \\ C_2_2 & C_2_1 + C_2_3 \\ C_3_2 & C_3_1 + C_3_3 \\ C_4_2 & C_4_1 + C_4_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_5 & A_1_6 & A_1_7 & A_1_8 \end{matrix}), (\begin{matrix} B_9_1 + \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} - B_1_5 + B_5_5 - B_9_5 + \frac{(a12 + a22 + a32) B_17_5}{a52} - B_5_25 - \frac{(a21 a42 - a22 a41) B_9_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_13_25}{a31 a42 - a32 a41} & B_9_2 + \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} - B_1_6 + B_5_6 - B_9_6 + \frac{(a12 + a22 + a32) B_17_6}{a52} - B_5_26 - \frac{(a21 a42 - a22 a41) B_9_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_13_26}{a31 a42 - a32 a41} & B_9_3 + \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} - B_1_7 + B_5_7 - B_9_7 + \frac{(a12 + a22 + a32) B_17_7}{a52} - B_5_27 - \frac{(a21 a42 - a22 a41) B_9_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_13_27}{a31 a42 - a32 a41} & B_9_4 + \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} - B_1_8 + B_5_8 - B_9_8 + \frac{(a12 + a22 + a32) B_17_8}{a52} - B_5_28 - \frac{(a21 a42 - a22 a41) B_9_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_13_28}{a31 a42 - a32 a41} \\ B_10_1 + \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} - B_2_5 + B_6_5 - B_10_5 + \frac{(a12 + a22 + a32) B_18_5}{a52} - B_6_25 - \frac{(a21 a42 - a22 a41) B_10_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_14_25}{a31 a42 - a32 a41} & B_10_2 + \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} - B_2_6 + B_6_6 - B_10_6 + \frac{(a12 + a22 + a32) B_18_6}{a52} - B_6_26 - \frac{(a21 a42 - a22 a41) B_10_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_14_26}{a31 a42 - a32 a41} & B_10_3 + \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} - B_2_7 + B_6_7 - B_10_7 + \frac{(a12 + a22 + a32) B_18_7}{a52} - B_6_27 - \frac{(a21 a42 - a22 a41) B_10_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_14_27}{a31 a42 - a32 a41} & B_10_4 + \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} - B_2_8 + B_6_8 - B_10_8 + \frac{(a12 + a22 + a32) B_18_8}{a52} - B_6_28 - \frac{(a21 a42 - a22 a41) B_10_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_14_28}{a31 a42 - a32 a41} \\ B_11_1 + \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} - B_3_5 + B_7_5 - B_11_5 + \frac{(a12 + a22 + a32) B_19_5}{a52} - B_7_25 - \frac{(a21 a42 - a22 a41) B_11_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_15_25}{a31 a42 - a32 a41} & B_11_2 + \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} - B_3_6 + B_7_6 - B_11_6 + \frac{(a12 + a22 + a32) B_19_6}{a52} - B_7_26 - \frac{(a21 a42 - a22 a41) B_11_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_15_26}{a31 a42 - a32 a41} & B_11_3 + \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} - B_3_7 + B_7_7 - B_11_7 + \frac{(a12 + a22 + a32) B_19_7}{a52} - B_7_27 - \frac{(a21 a42 - a22 a41) B_11_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_15_27}{a31 a42 - a32 a41} & B_11_4 + \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} - B_3_8 + B_7_8 - B_11_8 + \frac{(a12 + a22 + a32) B_19_8}{a52} - B_7_28 - \frac{(a21 a42 - a22 a41) B_11_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_15_28}{a31 a42 - a32 a41} \\ B_12_1 + \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} - B_4_5 + B_8_5 - B_12_5 + \frac{(a12 + a22 + a32) B_20_5}{a52} - B_8_25 - \frac{(a21 a42 - a22 a41) B_12_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_16_25}{a31 a42 - a32 a41} & B_12_2 + \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} - B_4_6 + B_8_6 - B_12_6 + \frac{(a12 + a22 + a32) B_20_6}{a52} - B_8_26 - \frac{(a21 a42 - a22 a41) B_12_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_16_26}{a31 a42 - a32 a41} & B_12_3 + \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} - B_4_7 + B_8_7 - B_12_7 + \frac{(a12 + a22 + a32) B_20_7}{a52} - B_8_27 - \frac{(a21 a42 - a22 a41) B_12_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_16_27}{a31 a42 - a32 a41} & B_12_4 + \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} - B_4_8 + B_8_8 - B_12_8 + \frac{(a12 + a22 + a32) B_20_8}{a52} - B_8_28 - \frac{(a21 a42 - a22 a41) B_12_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31) B_16_28}{a31 a42 - a32 a41} \end{matrix}), (\begin{matrix} C_5_1 + C_5_3 \\ C_6_1 + C_6_3 \\ C_7_1 + C_7_3 \\ C_8_1 + C_8_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_9 & A_2_10 & A_2_11 & A_2_12 \\ A_3_9 & A_3_10 & A_3_11 & A_3_12 \end{matrix}), (\begin{matrix} B_9_1 + \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} + B_13_5 + \frac{a42 B_17_5}{a52} + B_1_9 - B_5_9 + B_9_9 - B_13_9 & B_9_2 + \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} + B_13_6 + \frac{a42 B_17_6}{a52} + B_1_10 - B_5_10 + B_9_10 - B_13_10 & B_9_3 + \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} + B_13_7 + \frac{a42 B_17_7}{a52} + B_1_11 - B_5_11 + B_9_11 - B_13_11 & B_9_4 + \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} + B_13_8 + \frac{a42 B_17_8}{a52} + B_1_12 - B_5_12 + B_9_12 - B_13_12 \\ B_10_1 + \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} + B_14_5 + \frac{a42 B_18_5}{a52} + B_2_9 - B_6_9 + B_10_9 - B_14_9 & B_10_2 + \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} + B_14_6 + \frac{a42 B_18_6}{a52} + B_2_10 - B_6_10 + B_10_10 - B_14_10 & B_10_3 + \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} + B_14_7 + \frac{a42 B_18_7}{a52} + B_2_11 - B_6_11 + B_10_11 - B_14_11 & B_10_4 + \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} + B_14_8 + \frac{a42 B_18_8}{a52} + B_2_12 - B_6_12 + B_10_12 - B_14_12 \\ B_11_1 + \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} + B_15_5 + \frac{a42 B_19_5}{a52} + B_3_9 - B_7_9 + B_11_9 - B_15_9 & B_11_2 + \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} + B_15_6 + \frac{a42 B_19_6}{a52} + B_3_10 - B_7_10 + B_11_10 - B_15_10 & B_11_3 + \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} + B_15_7 + \frac{a42 B_19_7}{a52} + B_3_11 - B_7_11 + B_11_11 - B_15_11 & B_11_4 + \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} + B_15_8 + \frac{a42 B_19_8}{a52} + B_3_12 - B_7_12 + B_11_12 - B_15_12 \\ B_12_1 + \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} + B_16_5 + \frac{a42 B_20_5}{a52} + B_4_9 - B_8_9 + B_12_9 - B_16_9 & B_12_2 + \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} + B_16_6 + \frac{a42 B_20_6}{a52} + B_4_10 - B_8_10 + B_12_10 - B_16_10 & B_12_3 + \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} + B_16_7 + \frac{a42 B_20_7}{a52} + B_4_11 - B_8_11 + B_12_11 - B_16_11 & B_12_4 + \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} + B_16_8 + \frac{a42 B_20_8}{a52} + B_4_12 - B_8_12 + B_12_12 - B_16_12 \end{matrix}), (\begin{matrix} C_9_2 & C_9_1 + C_9_3 \\ C_10_2 & C_10_1 + C_10_3 \\ C_11_2 & C_11_1 + C_11_3 \\ C_12_2 & C_12_1 + C_12_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_13 & A_1_14 & A_1_15 & A_1_16 \end{matrix}), (\begin{matrix} B_13_5 + \frac{a42 B_17_5}{a52} + B_17_9 + \frac{(a41 + a51 + a21 + a31) B_1_13}{a11} + B_5_13 - B_9_13 + B_13_13 - B_17_13 & B_13_6 + \frac{a42 B_17_6}{a52} + B_17_10 + \frac{(a41 + a51 + a21 + a31) B_1_14}{a11} + B_5_14 - B_9_14 + B_13_14 - B_17_14 & B_13_7 + \frac{a42 B_17_7}{a52} + B_17_11 + \frac{(a41 + a51 + a21 + a31) B_1_15}{a11} + B_5_15 - B_9_15 + B_13_15 - B_17_15 & B_13_8 + \frac{a42 B_17_8}{a52} + B_17_12 + \frac{(a41 + a51 + a21 + a31) B_1_16}{a11} + B_5_16 - B_9_16 + B_13_16 - B_17_16 \\ B_14_5 + \frac{a42 B_18_5}{a52} + B_18_9 + \frac{(a41 + a51 + a21 + a31) B_2_13}{a11} + B_6_13 - B_10_13 + B_14_13 - B_18_13 & B_14_6 + \frac{a42 B_18_6}{a52} + B_18_10 + \frac{(a41 + a51 + a21 + a31) B_2_14}{a11} + B_6_14 - B_10_14 + B_14_14 - B_18_14 & B_14_7 + \frac{a42 B_18_7}{a52} + B_18_11 + \frac{(a41 + a51 + a21 + a31) B_2_15}{a11} + B_6_15 - B_10_15 + B_14_15 - B_18_15 & B_14_8 + \frac{a42 B_18_8}{a52} + B_18_12 + \frac{(a41 + a51 + a21 + a31) B_2_16}{a11} + B_6_16 - B_10_16 + B_14_16 - B_18_16 \\ B_15_5 + \frac{a42 B_19_5}{a52} + B_19_9 + \frac{(a41 + a51 + a21 + a31) B_3_13}{a11} + B_7_13 - B_11_13 + B_15_13 - B_19_13 & B_15_6 + \frac{a42 B_19_6}{a52} + B_19_10 + \frac{(a41 + a51 + a21 + a31) B_3_14}{a11} + B_7_14 - B_11_14 + B_15_14 - B_19_14 & B_15_7 + \frac{a42 B_19_7}{a52} + B_19_11 + \frac{(a41 + a51 + a21 + a31) B_3_15}{a11} + B_7_15 - B_11_15 + B_15_15 - B_19_15 & B_15_8 + \frac{a42 B_19_8}{a52} + B_19_12 + \frac{(a41 + a51 + a21 + a31) B_3_16}{a11} + B_7_16 - B_11_16 + B_15_16 - B_19_16 \\ B_16_5 + \frac{a42 B_20_5}{a52} + B_20_9 + \frac{(a41 + a51 + a21 + a31) B_4_13}{a11} + B_8_13 - B_12_13 + B_16_13 - B_20_13 & B_16_6 + \frac{a42 B_20_6}{a52} + B_20_10 + \frac{(a41 + a51 + a21 + a31) B_4_14}{a11} + B_8_14 - B_12_14 + B_16_14 - B_20_14 & B_16_7 + \frac{a42 B_20_7}{a52} + B_20_11 + \frac{(a41 + a51 + a21 + a31) B_4_15}{a11} + B_8_15 - B_12_15 + B_16_15 - B_20_15 & B_16_8 + \frac{a42 B_20_8}{a52} + B_20_12 + \frac{(a41 + a51 + a21 + a31) B_4_16}{a11} + B_8_16 - B_12_16 + B_16_16 - B_20_16 \end{matrix}), (\begin{matrix} C_13_1 + C_13_3 \\ C_14_1 + C_14_3 \\ C_15_1 + C_15_3 \\ C_16_1 + C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_17 & A_2_18 & A_2_19 & A_2_20 \\ A_3_17 & A_3_18 & A_3_19 & A_3_20 \end{matrix}), (\begin{matrix} B_17_9 + \frac{B_1_13}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_1_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_5_17}{a11 a22 - a12 a21} + B_9_17 - B_13_17 + B_17_17 - \frac{(a41 a52 - a42 a51) B_9_25}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_13_25}{a31 a42 - a32 a41} - B_17_25 & B_17_10 + \frac{B_1_14}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_1_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_5_18}{a11 a22 - a12 a21} + B_9_18 - B_13_18 + B_17_18 - \frac{(a41 a52 - a42 a51) B_9_26}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_13_26}{a31 a42 - a32 a41} - B_17_26 & B_17_11 + \frac{B_1_15}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_1_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_5_19}{a11 a22 - a12 a21} + B_9_19 - B_13_19 + B_17_19 - \frac{(a41 a52 - a42 a51) B_9_27}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_13_27}{a31 a42 - a32 a41} - B_17_27 & B_17_12 + \frac{B_1_16}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_1_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_5_20}{a11 a22 - a12 a21} + B_9_20 - B_13_20 + B_17_20 - \frac{(a41 a52 - a42 a51) B_9_28}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_13_28}{a31 a42 - a32 a41} - B_17_28 \\ B_18_9 + \frac{B_2_13}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_2_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_6_17}{a11 a22 - a12 a21} + B_10_17 - B_14_17 + B_18_17 - \frac{(a41 a52 - a42 a51) B_10_25}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_14_25}{a31 a42 - a32 a41} - B_18_25 & B_18_10 + \frac{B_2_14}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_2_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_6_18}{a11 a22 - a12 a21} + B_10_18 - B_14_18 + B_18_18 - \frac{(a41 a52 - a42 a51) B_10_26}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_14_26}{a31 a42 - a32 a41} - B_18_26 & B_18_11 + \frac{B_2_15}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_2_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_6_19}{a11 a22 - a12 a21} + B_10_19 - B_14_19 + B_18_19 - \frac{(a41 a52 - a42 a51) B_10_27}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_14_27}{a31 a42 - a32 a41} - B_18_27 & B_18_12 + \frac{B_2_16}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_2_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_6_20}{a11 a22 - a12 a21} + B_10_20 - B_14_20 + B_18_20 - \frac{(a41 a52 - a42 a51) B_10_28}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_14_28}{a31 a42 - a32 a41} - B_18_28 \\ B_19_9 + \frac{B_3_13}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_3_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_7_17}{a11 a22 - a12 a21} + B_11_17 - B_15_17 + B_19_17 - \frac{(a41 a52 - a42 a51) B_11_25}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_15_25}{a31 a42 - a32 a41} - B_19_25 & B_19_10 + \frac{B_3_14}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_3_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_7_18}{a11 a22 - a12 a21} + B_11_18 - B_15_18 + B_19_18 - \frac{(a41 a52 - a42 a51) B_11_26}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_15_26}{a31 a42 - a32 a41} - B_19_26 & B_19_11 + \frac{B_3_15}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_3_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_7_19}{a11 a22 - a12 a21} + B_11_19 - B_15_19 + B_19_19 - \frac{(a41 a52 - a42 a51) B_11_27}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_15_27}{a31 a42 - a32 a41} - B_19_27 & B_19_12 + \frac{B_3_16}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_3_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_7_20}{a11 a22 - a12 a21} + B_11_20 - B_15_20 + B_19_20 - \frac{(a41 a52 - a42 a51) B_11_28}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_15_28}{a31 a42 - a32 a41} - B_19_28 \\ B_20_9 + \frac{B_4_13}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_4_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_8_17}{a11 a22 - a12 a21} + B_12_17 - B_16_17 + B_20_17 - \frac{(a41 a52 - a42 a51) B_12_25}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_16_25}{a31 a42 - a32 a41} - B_20_25 & B_20_10 + \frac{B_4_14}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_4_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_8_18}{a11 a22 - a12 a21} + B_12_18 - B_16_18 + B_20_18 - \frac{(a41 a52 - a42 a51) B_12_26}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_16_26}{a31 a42 - a32 a41} - B_20_26 & B_20_11 + \frac{B_4_15}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_4_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_8_19}{a11 a22 - a12 a21} + B_12_19 - B_16_19 + B_20_19 - \frac{(a41 a52 - a42 a51) B_12_27}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_16_27}{a31 a42 - a32 a41} - B_20_27 & B_20_12 + \frac{B_4_16}{a11} + \frac{(a21 a32 + a21 a42 + a21 a52 - a22 a31 - a22 a41 - a22 a51 - a22) B_4_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a11 a42 + a52 a11 - a12 a31 - a12 a41 - a12 a51 - a12) B_8_20}{a11 a22 - a12 a21} + B_12_20 - B_16_20 + B_20_20 - \frac{(a41 a52 - a42 a51) B_12_28}{a31 a42 - a32 a41} - \frac{(a31 a52 - a32 a51) B_16_28}{a31 a42 - a32 a41} - B_20_28 \end{matrix}), (\begin{matrix} C_17_2 & C_17_1 + C_17_3 \\ C_18_2 & C_18_1 + C_18_3 \\ C_19_2 & C_19_1 + C_19_3 \\ C_20_2 & C_20_1 + C_20_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_1 + A_1_5 & A_1_2 + A_1_6 & A_1_3 + A_1_7 & A_1_4 + A_1_8 \end{matrix}), (\begin{matrix} B_9_1 + \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} + B_1_5 - \frac{a12 B_17_5}{a52} & B_9_2 + \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} + B_1_6 - \frac{a12 B_17_6}{a52} & B_9_3 + \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} + B_1_7 - \frac{a12 B_17_7}{a52} & B_9_4 + \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} + B_1_8 - \frac{a12 B_17_8}{a52} \\ B_10_1 + \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} + B_2_5 - \frac{a12 B_18_5}{a52} & B_10_2 + \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} + B_2_6 - \frac{a12 B_18_6}{a52} & B_10_3 + \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} + B_2_7 - \frac{a12 B_18_7}{a52} & B_10_4 + \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} + B_2_8 - \frac{a12 B_18_8}{a52} \\ B_11_1 + \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} + B_3_5 - \frac{a12 B_19_5}{a52} & B_11_2 + \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} + B_3_6 - \frac{a12 B_19_6}{a52} & B_11_3 + \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} + B_3_7 - \frac{a12 B_19_7}{a52} & B_11_4 + \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} + B_3_8 - \frac{a12 B_19_8}{a52} \\ B_12_1 + \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} + B_4_5 - \frac{a12 B_20_5}{a52} & B_12_2 + \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} + B_4_6 - \frac{a12 B_20_6}{a52} & B_12_3 + \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} + B_4_7 - \frac{a12 B_20_7}{a52} & B_12_4 + \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} + B_4_8 - \frac{a12 B_20_8}{a52} \end{matrix}), (\begin{matrix} C_1_1 + C_5_1 \\ C_2_1 + C_6_1 \\ C_3_1 + C_7_1 \\ C_4_1 + C_8_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_1 - A_3_1 & A_1_2 - A_3_2 & A_1_3 - A_3_3 & A_1_4 - A_3_4 \end{matrix}), (\begin{matrix} B_1_1 + \frac{(a52 a11 - a12 a51 + a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_17_1}{a41 a52 - a42 a51} - B_1_5 + \frac{a12 B_17_5}{a52} - B_1_21 - \frac{(a32 a11 - a12 a31) B_5_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_9_21}{a21 a32 - a22 a31} & B_1_2 + \frac{(a52 a11 - a12 a51 + a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_17_2}{a41 a52 - a42 a51} - B_1_6 + \frac{a12 B_17_6}{a52} - B_1_22 - \frac{(a32 a11 - a12 a31) B_5_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_9_22}{a21 a32 - a22 a31} & B_1_3 + \frac{(a52 a11 - a12 a51 + a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_17_3}{a41 a52 - a42 a51} - B_1_7 + \frac{a12 B_17_7}{a52} - B_1_23 - \frac{(a32 a11 - a12 a31) B_5_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_9_23}{a21 a32 - a22 a31} & B_1_4 + \frac{(a52 a11 - a12 a51 + a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_17_4}{a41 a52 - a42 a51} - B_1_8 + \frac{a12 B_17_8}{a52} - B_1_24 - \frac{(a32 a11 - a12 a31) B_5_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_9_24}{a21 a32 - a22 a31} \\ B_2_1 + \frac{(a52 a11 - a12 a51 + a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_18_1}{a41 a52 - a42 a51} - B_2_5 + \frac{a12 B_18_5}{a52} - B_2_21 - \frac{(a32 a11 - a12 a31) B_6_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_10_21}{a21 a32 - a22 a31} & B_2_2 + \frac{(a52 a11 - a12 a51 + a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_18_2}{a41 a52 - a42 a51} - B_2_6 + \frac{a12 B_18_6}{a52} - B_2_22 - \frac{(a32 a11 - a12 a31) B_6_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_10_22}{a21 a32 - a22 a31} & B_2_3 + \frac{(a52 a11 - a12 a51 + a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_18_3}{a41 a52 - a42 a51} - B_2_7 + \frac{a12 B_18_7}{a52} - B_2_23 - \frac{(a32 a11 - a12 a31) B_6_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_10_23}{a21 a32 - a22 a31} & B_2_4 + \frac{(a52 a11 - a12 a51 + a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_18_4}{a41 a52 - a42 a51} - B_2_8 + \frac{a12 B_18_8}{a52} - B_2_24 - \frac{(a32 a11 - a12 a31) B_6_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_10_24}{a21 a32 - a22 a31} \\ B_3_1 + \frac{(a52 a11 - a12 a51 + a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_19_1}{a41 a52 - a42 a51} - B_3_5 + \frac{a12 B_19_5}{a52} - B_3_21 - \frac{(a32 a11 - a12 a31) B_7_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_11_21}{a21 a32 - a22 a31} & B_3_2 + \frac{(a52 a11 - a12 a51 + a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_19_2}{a41 a52 - a42 a51} - B_3_6 + \frac{a12 B_19_6}{a52} - B_3_22 - \frac{(a32 a11 - a12 a31) B_7_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_11_22}{a21 a32 - a22 a31} & B_3_3 + \frac{(a52 a11 - a12 a51 + a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_19_3}{a41 a52 - a42 a51} - B_3_7 + \frac{a12 B_19_7}{a52} - B_3_23 - \frac{(a32 a11 - a12 a31) B_7_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_11_23}{a21 a32 - a22 a31} & B_3_4 + \frac{(a52 a11 - a12 a51 + a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_19_4}{a41 a52 - a42 a51} - B_3_8 + \frac{a12 B_19_8}{a52} - B_3_24 - \frac{(a32 a11 - a12 a31) B_7_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_11_24}{a21 a32 - a22 a31} \\ B_4_1 + \frac{(a52 a11 - a12 a51 + a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_20_1}{a41 a52 - a42 a51} - B_4_5 + \frac{a12 B_20_5}{a52} - B_4_21 - \frac{(a32 a11 - a12 a31) B_8_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_12_21}{a21 a32 - a22 a31} & B_4_2 + \frac{(a52 a11 - a12 a51 + a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_20_2}{a41 a52 - a42 a51} - B_4_6 + \frac{a12 B_20_6}{a52} - B_4_22 - \frac{(a32 a11 - a12 a31) B_8_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_12_22}{a21 a32 - a22 a31} & B_4_3 + \frac{(a52 a11 - a12 a51 + a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_20_3}{a41 a52 - a42 a51} - B_4_7 + \frac{a12 B_20_7}{a52} - B_4_23 - \frac{(a32 a11 - a12 a31) B_8_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_12_23}{a21 a32 - a22 a31} & B_4_4 + \frac{(a52 a11 - a12 a51 + a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a11 a42 - a12 a41 + a41) B_20_4}{a41 a52 - a42 a51} - B_4_8 + \frac{a12 B_20_8}{a52} - B_4_24 - \frac{(a32 a11 - a12 a31) B_8_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21) B_12_24}{a21 a32 - a22 a31} \end{matrix}), (\begin{matrix} C_1_1 \\ C_2_1 \\ C_3_1 \\ C_4_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_1 & A_2_2 & A_2_3 & A_2_4 \\ A_3_1 + A_1_5 & A_3_2 + A_1_6 & A_3_3 + A_1_7 & A_3_4 + A_1_8 \end{matrix}), (\begin{matrix} B_5_1 - \frac{(a21 a52 - a22 a51) B_13_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_1}{a41 a52 - a42 a51} - B_1_5 + \frac{a12 B_17_5}{a52} & B_5_2 - \frac{(a21 a52 - a22 a51) B_13_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_2}{a41 a52 - a42 a51} - B_1_6 + \frac{a12 B_17_6}{a52} & B_5_3 - \frac{(a21 a52 - a22 a51) B_13_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_3}{a41 a52 - a42 a51} - B_1_7 + \frac{a12 B_17_7}{a52} & B_5_4 - \frac{(a21 a52 - a22 a51) B_13_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_4}{a41 a52 - a42 a51} - B_1_8 + \frac{a12 B_17_8}{a52} \\ B_6_1 - \frac{(a21 a52 - a22 a51) B_14_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_1}{a41 a52 - a42 a51} - B_2_5 + \frac{a12 B_18_5}{a52} & B_6_2 - \frac{(a21 a52 - a22 a51) B_14_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_2}{a41 a52 - a42 a51} - B_2_6 + \frac{a12 B_18_6}{a52} & B_6_3 - \frac{(a21 a52 - a22 a51) B_14_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_3}{a41 a52 - a42 a51} - B_2_7 + \frac{a12 B_18_7}{a52} & B_6_4 - \frac{(a21 a52 - a22 a51) B_14_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_4}{a41 a52 - a42 a51} - B_2_8 + \frac{a12 B_18_8}{a52} \\ B_7_1 - \frac{(a21 a52 - a22 a51) B_15_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_1}{a41 a52 - a42 a51} - B_3_5 + \frac{a12 B_19_5}{a52} & B_7_2 - \frac{(a21 a52 - a22 a51) B_15_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_2}{a41 a52 - a42 a51} - B_3_6 + \frac{a12 B_19_6}{a52} & B_7_3 - \frac{(a21 a52 - a22 a51) B_15_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_3}{a41 a52 - a42 a51} - B_3_7 + \frac{a12 B_19_7}{a52} & B_7_4 - \frac{(a21 a52 - a22 a51) B_15_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_4}{a41 a52 - a42 a51} - B_3_8 + \frac{a12 B_19_8}{a52} \\ B_8_1 - \frac{(a21 a52 - a22 a51) B_16_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_1}{a41 a52 - a42 a51} - B_4_5 + \frac{a12 B_20_5}{a52} & B_8_2 - \frac{(a21 a52 - a22 a51) B_16_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_2}{a41 a52 - a42 a51} - B_4_6 + \frac{a12 B_20_6}{a52} & B_8_3 - \frac{(a21 a52 - a22 a51) B_16_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_3}{a41 a52 - a42 a51} - B_4_7 + \frac{a12 B_20_7}{a52} & B_8_4 - \frac{(a21 a52 - a22 a51) B_16_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_4}{a41 a52 - a42 a51} - B_4_8 + \frac{a12 B_20_8}{a52} \end{matrix}), (\begin{matrix} - C_5_2 & C_1_1 - C_5_3 \\ - C_6_2 & C_2_1 - C_6_3 \\ - C_7_2 & C_3_1 - C_7_3 \\ - C_8_2 & C_4_1 - C_8_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_1 + A_2_5 & A_2_2 + A_2_6 & A_2_3 + A_2_7 & A_2_4 + A_2_8 \\ A_3_1 + A_3_5 & A_3_2 + A_3_6 & A_3_3 + A_3_7 & A_3_4 + A_3_8 \end{matrix}), (\begin{matrix} B_5_1 - \frac{(a21 a52 - a22 a51) B_13_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_1}{a41 a52 - a42 a51} + B_1_9 & B_5_2 - \frac{(a21 a52 - a22 a51) B_13_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_2}{a41 a52 - a42 a51} + B_1_10 & B_5_3 - \frac{(a21 a52 - a22 a51) B_13_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_3}{a41 a52 - a42 a51} + B_1_11 & B_5_4 - \frac{(a21 a52 - a22 a51) B_13_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_4}{a41 a52 - a42 a51} + B_1_12 \\ B_6_1 - \frac{(a21 a52 - a22 a51) B_14_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_1}{a41 a52 - a42 a51} + B_2_9 & B_6_2 - \frac{(a21 a52 - a22 a51) B_14_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_2}{a41 a52 - a42 a51} + B_2_10 & B_6_3 - \frac{(a21 a52 - a22 a51) B_14_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_3}{a41 a52 - a42 a51} + B_2_11 & B_6_4 - \frac{(a21 a52 - a22 a51) B_14_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_4}{a41 a52 - a42 a51} + B_2_12 \\ B_7_1 - \frac{(a21 a52 - a22 a51) B_15_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_1}{a41 a52 - a42 a51} + B_3_9 & B_7_2 - \frac{(a21 a52 - a22 a51) B_15_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_2}{a41 a52 - a42 a51} + B_3_10 & B_7_3 - \frac{(a21 a52 - a22 a51) B_15_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_3}{a41 a52 - a42 a51} + B_3_11 & B_7_4 - \frac{(a21 a52 - a22 a51) B_15_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_4}{a41 a52 - a42 a51} + B_3_12 \\ B_8_1 - \frac{(a21 a52 - a22 a51) B_16_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_1}{a41 a52 - a42 a51} + B_4_9 & B_8_2 - \frac{(a21 a52 - a22 a51) B_16_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_2}{a41 a52 - a42 a51} + B_4_10 & B_8_3 - \frac{(a21 a52 - a22 a51) B_16_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_3}{a41 a52 - a42 a51} + B_4_11 & B_8_4 - \frac{(a21 a52 - a22 a51) B_16_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_4}{a41 a52 - a42 a51} + B_4_12 \end{matrix}), (\begin{matrix} C_1_2 + C_5_2 & C_1_3 + C_5_3 \\ C_2_2 + C_6_2 & C_2_3 + C_6_3 \\ C_3_2 + C_7_2 & C_3_3 + C_7_3 \\ C_4_2 + C_8_2 & C_4_3 + C_8_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_2_5 & - A_2_6 & - A_2_7 & - A_2_8 \\ A_1_5 - A_3_5 & A_1_6 - A_3_6 & A_1_7 - A_3_7 & A_1_8 - A_3_8 \end{matrix}), (\begin{matrix} B_5_1 - \frac{(a21 a52 - a22 a51) B_13_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_1}{a41 a52 - a42 a51} - B_5_5 - \frac{(a22 + 1) B_17_5}{a52} - B_1_9 + B_5_9 & B_5_2 - \frac{(a21 a52 - a22 a51) B_13_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_2}{a41 a52 - a42 a51} - B_5_6 - \frac{(a22 + 1) B_17_6}{a52} - B_1_10 + B_5_10 & B_5_3 - \frac{(a21 a52 - a22 a51) B_13_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_3}{a41 a52 - a42 a51} - B_5_7 - \frac{(a22 + 1) B_17_7}{a52} - B_1_11 + B_5_11 & B_5_4 - \frac{(a21 a52 - a22 a51) B_13_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_17_4}{a41 a52 - a42 a51} - B_5_8 - \frac{(a22 + 1) B_17_8}{a52} - B_1_12 + B_5_12 \\ B_6_1 - \frac{(a21 a52 - a22 a51) B_14_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_1}{a41 a52 - a42 a51} - B_6_5 - \frac{(a22 + 1) B_18_5}{a52} - B_2_9 + B_6_9 & B_6_2 - \frac{(a21 a52 - a22 a51) B_14_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_2}{a41 a52 - a42 a51} - B_6_6 - \frac{(a22 + 1) B_18_6}{a52} - B_2_10 + B_6_10 & B_6_3 - \frac{(a21 a52 - a22 a51) B_14_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_3}{a41 a52 - a42 a51} - B_6_7 - \frac{(a22 + 1) B_18_7}{a52} - B_2_11 + B_6_11 & B_6_4 - \frac{(a21 a52 - a22 a51) B_14_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_18_4}{a41 a52 - a42 a51} - B_6_8 - \frac{(a22 + 1) B_18_8}{a52} - B_2_12 + B_6_12 \\ B_7_1 - \frac{(a21 a52 - a22 a51) B_15_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_1}{a41 a52 - a42 a51} - B_7_5 - \frac{(a22 + 1) B_19_5}{a52} - B_3_9 + B_7_9 & B_7_2 - \frac{(a21 a52 - a22 a51) B_15_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_2}{a41 a52 - a42 a51} - B_7_6 - \frac{(a22 + 1) B_19_6}{a52} - B_3_10 + B_7_10 & B_7_3 - \frac{(a21 a52 - a22 a51) B_15_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_3}{a41 a52 - a42 a51} - B_7_7 - \frac{(a22 + 1) B_19_7}{a52} - B_3_11 + B_7_11 & B_7_4 - \frac{(a21 a52 - a22 a51) B_15_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_19_4}{a41 a52 - a42 a51} - B_7_8 - \frac{(a22 + 1) B_19_8}{a52} - B_3_12 + B_7_12 \\ B_8_1 - \frac{(a21 a52 - a22 a51) B_16_1}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_1}{a41 a52 - a42 a51} - B_8_5 - \frac{(a22 + 1) B_20_5}{a52} - B_4_9 + B_8_9 & B_8_2 - \frac{(a21 a52 - a22 a51) B_16_2}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_2}{a41 a52 - a42 a51} - B_8_6 - \frac{(a22 + 1) B_20_6}{a52} - B_4_10 + B_8_10 & B_8_3 - \frac{(a21 a52 - a22 a51) B_16_3}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_3}{a41 a52 - a42 a51} - B_8_7 - \frac{(a22 + 1) B_20_7}{a52} - B_4_11 + B_8_11 & B_8_4 - \frac{(a21 a52 - a22 a51) B_16_4}{a41 a52 - a42 a51} - \frac{(a21 a42 - a22 a41) B_20_4}{a41 a52 - a42 a51} - B_8_8 - \frac{(a22 + 1) B_20_8}{a52} - B_4_12 + B_8_12 \end{matrix}), (\begin{matrix} C_5_2 & C_5_3 \\ C_6_2 & C_6_3 \\ C_7_2 & C_7_3 \\ C_8_2 & C_8_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_5 + A_2_9 & A_2_6 + A_2_10 & A_2_7 + A_2_11 & A_2_8 + A_2_12 \\ A_3_5 + A_3_9 & A_3_6 + A_3_10 & A_3_7 + A_3_11 & A_3_8 + A_3_12 \end{matrix}), (\begin{matrix} B_13_5 + \frac{a42 B_17_5}{a52} - B_1_9 + B_5_9 & B_13_6 + \frac{a42 B_17_6}{a52} - B_1_10 + B_5_10 & B_13_7 + \frac{a42 B_17_7}{a52} - B_1_11 + B_5_11 & B_13_8 + \frac{a42 B_17_8}{a52} - B_1_12 + B_5_12 \\ B_14_5 + \frac{a42 B_18_5}{a52} - B_2_9 + B_6_9 & B_14_6 + \frac{a42 B_18_6}{a52} - B_2_10 + B_6_10 & B_14_7 + \frac{a42 B_18_7}{a52} - B_2_11 + B_6_11 & B_14_8 + \frac{a42 B_18_8}{a52} - B_2_12 + B_6_12 \\ B_15_5 + \frac{a42 B_19_5}{a52} - B_3_9 + B_7_9 & B_15_6 + \frac{a42 B_19_6}{a52} - B_3_10 + B_7_10 & B_15_7 + \frac{a42 B_19_7}{a52} - B_3_11 + B_7_11 & B_15_8 + \frac{a42 B_19_8}{a52} - B_3_12 + B_7_12 \\ B_16_5 + \frac{a42 B_20_5}{a52} - B_4_9 + B_8_9 & B_16_6 + \frac{a42 B_20_6}{a52} - B_4_10 + B_8_10 & B_16_7 + \frac{a42 B_20_7}{a52} - B_4_11 + B_8_11 & B_16_8 + \frac{a42 B_20_8}{a52} - B_4_12 + B_8_12 \end{matrix}), (\begin{matrix} C_5_2 + C_9_2 & C_5_3 + C_9_3 \\ C_6_2 + C_10_2 & C_6_3 + C_10_3 \\ C_7_2 + C_11_2 & C_7_3 + C_11_3 \\ C_8_2 + C_12_2 & C_8_3 + C_12_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_5 + A_1_9 & A_1_6 + A_1_10 & A_1_7 + A_1_11 & A_1_8 + A_1_12 \end{matrix}), (\begin{matrix} - B_9_1 - \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} + B_9_5 - \frac{a32 B_17_5}{a52} + \frac{a21 B_1_13}{a11} + B_5_13 & - B_9_2 - \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} + B_9_6 - \frac{a32 B_17_6}{a52} + \frac{a21 B_1_14}{a11} + B_5_14 & - B_9_3 - \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} + B_9_7 - \frac{a32 B_17_7}{a52} + \frac{a21 B_1_15}{a11} + B_5_15 & - B_9_4 - \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} + B_9_8 - \frac{a32 B_17_8}{a52} + \frac{a21 B_1_16}{a11} + B_5_16 \\ - B_10_1 - \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} + B_10_5 - \frac{a32 B_18_5}{a52} + \frac{a21 B_2_13}{a11} + B_6_13 & - B_10_2 - \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} + B_10_6 - \frac{a32 B_18_6}{a52} + \frac{a21 B_2_14}{a11} + B_6_14 & - B_10_3 - \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} + B_10_7 - \frac{a32 B_18_7}{a52} + \frac{a21 B_2_15}{a11} + B_6_15 & - B_10_4 - \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} + B_10_8 - \frac{a32 B_18_8}{a52} + \frac{a21 B_2_16}{a11} + B_6_16 \\ - B_11_1 - \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} + B_11_5 - \frac{a32 B_19_5}{a52} + \frac{a21 B_3_13}{a11} + B_7_13 & - B_11_2 - \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} + B_11_6 - \frac{a32 B_19_6}{a52} + \frac{a21 B_3_14}{a11} + B_7_14 & - B_11_3 - \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} + B_11_7 - \frac{a32 B_19_7}{a52} + \frac{a21 B_3_15}{a11} + B_7_15 & - B_11_4 - \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} + B_11_8 - \frac{a32 B_19_8}{a52} + \frac{a21 B_3_16}{a11} + B_7_16 \\ - B_12_1 - \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} + B_12_5 - \frac{a32 B_20_5}{a52} + \frac{a21 B_4_13}{a11} + B_8_13 & - B_12_2 - \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} + B_12_6 - \frac{a32 B_20_6}{a52} + \frac{a21 B_4_14}{a11} + B_8_14 & - B_12_3 - \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} + B_12_7 - \frac{a32 B_20_7}{a52} + \frac{a21 B_4_15}{a11} + B_8_15 & - B_12_4 - \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} + B_12_8 - \frac{a32 B_20_8}{a52} + \frac{a21 B_4_16}{a11} + B_8_16 \end{matrix}), (\begin{matrix} C_5_1 + C_9_1 \\ C_6_1 + C_10_1 \\ C_11_1 + C_7_1 \\ C_8_1 + C_12_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_9 - A_3_9 & A_1_10 - A_3_10 & A_1_11 - A_3_11 & A_1_12 - A_3_12 \end{matrix}), (\begin{matrix} B_9_1 + \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} - B_9_5 + \frac{a32 B_17_5}{a52} + B_1_9 + B_9_9 + \frac{(a21 + a31) B_1_13}{a11} + B_5_13 - B_9_13 & B_9_2 + \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} - B_9_6 + \frac{a32 B_17_6}{a52} + B_1_10 + B_9_10 + \frac{(a21 + a31) B_1_14}{a11} + B_5_14 - B_9_14 & B_9_3 + \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} - B_9_7 + \frac{a32 B_17_7}{a52} + B_1_11 + B_9_11 + \frac{(a21 + a31) B_1_15}{a11} + B_5_15 - B_9_15 & B_9_4 + \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} - B_9_8 + \frac{a32 B_17_8}{a52} + B_1_12 + B_9_12 + \frac{(a21 + a31) B_1_16}{a11} + B_5_16 - B_9_16 \\ B_10_1 + \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} - B_10_5 + \frac{a32 B_18_5}{a52} + B_2_9 + B_10_9 + \frac{(a21 + a31) B_2_13}{a11} + B_6_13 - B_10_13 & B_10_2 + \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} - B_10_6 + \frac{a32 B_18_6}{a52} + B_2_10 + B_10_10 + \frac{(a21 + a31) B_2_14}{a11} + B_6_14 - B_10_14 & B_10_3 + \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} - B_10_7 + \frac{a32 B_18_7}{a52} + B_2_11 + B_10_11 + \frac{(a21 + a31) B_2_15}{a11} + B_6_15 - B_10_15 & B_10_4 + \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} - B_10_8 + \frac{a32 B_18_8}{a52} + B_2_12 + B_10_12 + \frac{(a21 + a31) B_2_16}{a11} + B_6_16 - B_10_16 \\ B_11_1 + \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} - B_11_5 + \frac{a32 B_19_5}{a52} + B_3_9 + B_11_9 + \frac{(a21 + a31) B_3_13}{a11} + B_7_13 - B_11_13 & B_11_2 + \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} - B_11_6 + \frac{a32 B_19_6}{a52} + B_3_10 + B_11_10 + \frac{(a21 + a31) B_3_14}{a11} + B_7_14 - B_11_14 & B_11_3 + \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} - B_11_7 + \frac{a32 B_19_7}{a52} + B_3_11 + B_11_11 + \frac{(a21 + a31) B_3_15}{a11} + B_7_15 - B_11_15 & B_11_4 + \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} - B_11_8 + \frac{a32 B_19_8}{a52} + B_3_12 + B_11_12 + \frac{(a21 + a31) B_3_16}{a11} + B_7_16 - B_11_16 \\ B_12_1 + \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} - B_12_5 + \frac{a32 B_20_5}{a52} + B_4_9 + B_12_9 + \frac{(a21 + a31) B_4_13}{a11} + B_8_13 - B_12_13 & B_12_2 + \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} - B_12_6 + \frac{a32 B_20_6}{a52} + B_4_10 + B_12_10 + \frac{(a21 + a31) B_4_14}{a11} + B_8_14 - B_12_14 & B_12_3 + \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} - B_12_7 + \frac{a32 B_20_7}{a52} + B_4_11 + B_12_11 + \frac{(a21 + a31) B_4_15}{a11} + B_8_15 - B_12_15 & B_12_4 + \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} - B_12_8 + \frac{a32 B_20_8}{a52} + B_4_12 + B_12_12 + \frac{(a21 + a31) B_4_16}{a11} + B_8_16 - B_12_16 \end{matrix}), (\begin{matrix} C_9_1 \\ C_10_1 \\ C_11_1 \\ C_12_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_9 & A_2_10 & A_2_11 & A_2_12 \\ A_1_5 + A_3_9 & A_1_6 + A_3_10 & A_1_7 + A_3_11 & A_1_8 + A_3_12 \end{matrix}), (\begin{matrix} B_9_1 + \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} - B_9_5 + \frac{a32 B_17_5}{a52} - B_1_9 + B_5_9 & B_9_2 + \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} - B_9_6 + \frac{a32 B_17_6}{a52} - B_1_10 + B_5_10 & B_9_3 + \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} - B_9_7 + \frac{a32 B_17_7}{a52} - B_1_11 + B_5_11 & B_9_4 + \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} - B_9_8 + \frac{a32 B_17_8}{a52} - B_1_12 + B_5_12 \\ B_10_1 + \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} - B_10_5 + \frac{a32 B_18_5}{a52} - B_2_9 + B_6_9 & B_10_2 + \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} - B_10_6 + \frac{a32 B_18_6}{a52} - B_2_10 + B_6_10 & B_10_3 + \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} - B_10_7 + \frac{a32 B_18_7}{a52} - B_2_11 + B_6_11 & B_10_4 + \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} - B_10_8 + \frac{a32 B_18_8}{a52} - B_2_12 + B_6_12 \\ B_11_1 + \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} - B_11_5 + \frac{a32 B_19_5}{a52} - B_3_9 + B_7_9 & B_11_2 + \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} - B_11_6 + \frac{a32 B_19_6}{a52} - B_3_10 + B_7_10 & B_11_3 + \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} - B_11_7 + \frac{a32 B_19_7}{a52} - B_3_11 + B_7_11 & B_11_4 + \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} - B_11_8 + \frac{a32 B_19_8}{a52} - B_3_12 + B_7_12 \\ B_12_1 + \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} - B_12_5 + \frac{a32 B_20_5}{a52} - B_4_9 + B_8_9 & B_12_2 + \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} - B_12_6 + \frac{a32 B_20_6}{a52} - B_4_10 + B_8_10 & B_12_3 + \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} - B_12_7 + \frac{a32 B_20_7}{a52} - B_4_11 + B_8_11 & B_12_4 + \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} + \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} - B_12_8 + \frac{a32 B_20_8}{a52} - B_4_12 + B_8_12 \end{matrix}), (\begin{matrix} - C_5_2 & C_9_1 - C_5_3 \\ - C_6_2 & C_10_1 - C_6_3 \\ - C_7_2 & C_11_1 - C_7_3 \\ - C_8_2 & C_12_1 - C_8_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_9 & A_2_10 & A_2_11 & A_2_12 \\ A_3_9 + A_1_13 & A_3_10 + A_1_14 & A_3_11 + A_1_15 & A_3_12 + A_1_16 \end{matrix}), (\begin{matrix} - B_13_5 - \frac{a42 B_17_5}{a52} + B_13_9 + \frac{(a21 + a31) B_1_13}{a11} + B_5_13 - B_9_13 & - B_13_6 - \frac{a42 B_17_6}{a52} + B_13_10 + \frac{(a21 + a31) B_1_14}{a11} + B_5_14 - B_9_14 & - B_13_7 - \frac{a42 B_17_7}{a52} + B_13_11 + \frac{(a21 + a31) B_1_15}{a11} + B_5_15 - B_9_15 & - B_13_8 - \frac{a42 B_17_8}{a52} + B_13_12 + \frac{(a21 + a31) B_1_16}{a11} + B_5_16 - B_9_16 \\ - B_14_5 - \frac{a42 B_18_5}{a52} + B_14_9 + \frac{(a21 + a31) B_2_13}{a11} + B_6_13 - B_10_13 & - B_14_6 - \frac{a42 B_18_6}{a52} + B_14_10 + \frac{(a21 + a31) B_2_14}{a11} + B_6_14 - B_10_14 & - B_14_7 - \frac{a42 B_18_7}{a52} + B_14_11 + \frac{(a21 + a31) B_2_15}{a11} + B_6_15 - B_10_15 & - B_14_8 - \frac{a42 B_18_8}{a52} + B_14_12 + \frac{(a21 + a31) B_2_16}{a11} + B_6_16 - B_10_16 \\ - B_15_5 - \frac{a42 B_19_5}{a52} + B_15_9 + \frac{(a21 + a31) B_3_13}{a11} + B_7_13 - B_11_13 & - B_15_6 - \frac{a42 B_19_6}{a52} + B_15_10 + \frac{(a21 + a31) B_3_14}{a11} + B_7_14 - B_11_14 & - B_15_7 - \frac{a42 B_19_7}{a52} + B_15_11 + \frac{(a21 + a31) B_3_15}{a11} + B_7_15 - B_11_15 & - B_15_8 - \frac{a42 B_19_8}{a52} + B_15_12 + \frac{(a21 + a31) B_3_16}{a11} + B_7_16 - B_11_16 \\ - B_16_5 - \frac{a42 B_20_5}{a52} + B_16_9 + \frac{(a21 + a31) B_4_13}{a11} + B_8_13 - B_12_13 & - B_16_6 - \frac{a42 B_20_6}{a52} + B_16_10 + \frac{(a21 + a31) B_4_14}{a11} + B_8_14 - B_12_14 & - B_16_7 - \frac{a42 B_20_7}{a52} + B_16_11 + \frac{(a21 + a31) B_4_15}{a11} + B_8_15 - B_12_15 & - B_16_8 - \frac{a42 B_20_8}{a52} + B_16_12 + \frac{(a21 + a31) B_4_16}{a11} + B_8_16 - B_12_16 \end{matrix}), (\begin{matrix} - C_13_2 & C_9_1 - C_13_3 \\ - C_14_2 & C_10_1 - C_14_3 \\ - C_15_2 & C_11_1 - C_15_3 \\ - C_16_2 & C_12_1 - C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_9 + A_1_13 & A_1_10 + A_1_14 & A_1_11 + A_1_15 & A_1_12 + A_1_16 \end{matrix}), (\begin{matrix} B_17_9 - \frac{(a21 + a31) B_1_13}{a11} - B_5_13 + B_9_13 & B_17_10 - \frac{(a21 + a31) B_1_14}{a11} - B_5_14 + B_9_14 & B_17_11 - \frac{(a21 + a31) B_1_15}{a11} - B_5_15 + B_9_15 & B_17_12 - \frac{(a21 + a31) B_1_16}{a11} - B_5_16 + B_9_16 \\ B_18_9 - \frac{(a21 + a31) B_2_13}{a11} - B_6_13 + B_10_13 & B_18_10 - \frac{(a21 + a31) B_2_14}{a11} - B_6_14 + B_10_14 & B_18_11 - \frac{(a21 + a31) B_2_15}{a11} - B_6_15 + B_10_15 & B_18_12 - \frac{(a21 + a31) B_2_16}{a11} - B_6_16 + B_10_16 \\ B_19_9 - \frac{(a21 + a31) B_3_13}{a11} - B_7_13 + B_11_13 & B_19_10 - \frac{(a21 + a31) B_3_14}{a11} - B_7_14 + B_11_14 & B_19_11 - \frac{(a21 + a31) B_3_15}{a11} - B_7_15 + B_11_15 & B_19_12 - \frac{(a21 + a31) B_3_16}{a11} - B_7_16 + B_11_16 \\ B_20_9 - \frac{(a21 + a31) B_4_13}{a11} - B_8_13 + B_12_13 & B_20_10 - \frac{(a21 + a31) B_4_14}{a11} - B_8_14 + B_12_14 & B_20_11 - \frac{(a21 + a31) B_4_15}{a11} - B_8_15 + B_12_15 & B_20_12 - \frac{(a21 + a31) B_4_16}{a11} - B_8_16 + B_12_16 \end{matrix}), (\begin{matrix} C_9_1 + C_13_1 \\ C_10_1 + C_14_1 \\ C_11_1 + C_15_1 \\ C_12_1 + C_16_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_2_13 & - A_2_14 & - A_2_15 & - A_2_16 \\ A_1_13 - A_3_13 & A_1_14 - A_3_14 & A_1_15 - A_3_15 & A_1_16 - A_3_16 \end{matrix}), (\begin{matrix} - B_13_5 - \frac{a42 B_17_5}{a52} + B_13_9 - \frac{(a41 + a21) B_1_13}{a11} - B_5_13 - B_13_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_17}{a11 a22 - a12 a21} - B_9_17 + B_13_17 & - B_13_6 - \frac{a42 B_17_6}{a52} + B_13_10 - \frac{(a41 + a21) B_1_14}{a11} - B_5_14 - B_13_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_18}{a11 a22 - a12 a21} - B_9_18 + B_13_18 & - B_13_7 - \frac{a42 B_17_7}{a52} + B_13_11 - \frac{(a41 + a21) B_1_15}{a11} - B_5_15 - B_13_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_19}{a11 a22 - a12 a21} - B_9_19 + B_13_19 & - B_13_8 - \frac{a42 B_17_8}{a52} + B_13_12 - \frac{(a41 + a21) B_1_16}{a11} - B_5_16 - B_13_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_20}{a11 a22 - a12 a21} - B_9_20 + B_13_20 \\ - B_14_5 - \frac{a42 B_18_5}{a52} + B_14_9 - \frac{(a41 + a21) B_2_13}{a11} - B_6_13 - B_14_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_17}{a11 a22 - a12 a21} - B_10_17 + B_14_17 & - B_14_6 - \frac{a42 B_18_6}{a52} + B_14_10 - \frac{(a41 + a21) B_2_14}{a11} - B_6_14 - B_14_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_18}{a11 a22 - a12 a21} - B_10_18 + B_14_18 & - B_14_7 - \frac{a42 B_18_7}{a52} + B_14_11 - \frac{(a41 + a21) B_2_15}{a11} - B_6_15 - B_14_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_19}{a11 a22 - a12 a21} - B_10_19 + B_14_19 & - B_14_8 - \frac{a42 B_18_8}{a52} + B_14_12 - \frac{(a41 + a21) B_2_16}{a11} - B_6_16 - B_14_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_20}{a11 a22 - a12 a21} - B_10_20 + B_14_20 \\ - B_15_5 - \frac{a42 B_19_5}{a52} + B_15_9 - \frac{(a41 + a21) B_3_13}{a11} - B_7_13 - B_15_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_17}{a11 a22 - a12 a21} - B_11_17 + B_15_17 & - B_15_6 - \frac{a42 B_19_6}{a52} + B_15_10 - \frac{(a41 + a21) B_3_14}{a11} - B_7_14 - B_15_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_18}{a11 a22 - a12 a21} - B_11_18 + B_15_18 & - B_15_7 - \frac{a42 B_19_7}{a52} + B_15_11 - \frac{(a41 + a21) B_3_15}{a11} - B_7_15 - B_15_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_19}{a11 a22 - a12 a21} - B_11_19 + B_15_19 & - B_15_8 - \frac{a42 B_19_8}{a52} + B_15_12 - \frac{(a41 + a21) B_3_16}{a11} - B_7_16 - B_15_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_20}{a11 a22 - a12 a21} - B_11_20 + B_15_20 \\ - B_16_5 - \frac{a42 B_20_5}{a52} + B_16_9 - \frac{(a41 + a21) B_4_13}{a11} - B_8_13 - B_16_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_17}{a11 a22 - a12 a21} - B_12_17 + B_16_17 & - B_16_6 - \frac{a42 B_20_6}{a52} + B_16_10 - \frac{(a41 + a21) B_4_14}{a11} - B_8_14 - B_16_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_18}{a11 a22 - a12 a21} - B_12_18 + B_16_18 & - B_16_7 - \frac{a42 B_20_7}{a52} + B_16_11 - \frac{(a41 + a21) B_4_15}{a11} - B_8_15 - B_16_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_19}{a11 a22 - a12 a21} - B_12_19 + B_16_19 & - B_16_8 - \frac{a42 B_20_8}{a52} + B_16_12 - \frac{(a41 + a21) B_4_16}{a11} - B_8_16 - B_16_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_20}{a11 a22 - a12 a21} - B_12_20 + B_16_20 \end{matrix}), (\begin{matrix} C_13_2 & C_13_3 \\ C_14_2 & C_14_3 \\ C_15_2 & C_15_3 \\ C_16_2 & C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_13 + A_1_17 & A_1_14 + A_1_18 & A_1_15 + A_1_19 & A_1_16 + A_1_20 \end{matrix}), (\begin{matrix} - B_17_9 - \frac{a51 B_1_13}{a11} + B_17_13 + \frac{(a31 a42 - a32 a41) B_5_21}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_9_21}{a21 a32 - a22 a31} + B_13_21 & - B_17_10 - \frac{a51 B_1_14}{a11} + B_17_14 + \frac{(a31 a42 - a32 a41) B_5_22}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_9_22}{a21 a32 - a22 a31} + B_13_22 & - B_17_11 - \frac{a51 B_1_15}{a11} + B_17_15 + \frac{(a31 a42 - a32 a41) B_5_23}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_9_23}{a21 a32 - a22 a31} + B_13_23 & - B_17_12 - \frac{a51 B_1_16}{a11} + B_17_16 + \frac{(a31 a42 - a32 a41) B_5_24}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_9_24}{a21 a32 - a22 a31} + B_13_24 \\ - B_18_9 - \frac{a51 B_2_13}{a11} + B_18_13 + \frac{(a31 a42 - a32 a41) B_6_21}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_10_21}{a21 a32 - a22 a31} + B_14_21 & - B_18_10 - \frac{a51 B_2_14}{a11} + B_18_14 + \frac{(a31 a42 - a32 a41) B_6_22}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_10_22}{a21 a32 - a22 a31} + B_14_22 & - B_18_11 - \frac{a51 B_2_15}{a11} + B_18_15 + \frac{(a31 a42 - a32 a41) B_6_23}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_10_23}{a21 a32 - a22 a31} + B_14_23 & - B_18_12 - \frac{a51 B_2_16}{a11} + B_18_16 + \frac{(a31 a42 - a32 a41) B_6_24}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_10_24}{a21 a32 - a22 a31} + B_14_24 \\ - B_19_9 - \frac{a51 B_3_13}{a11} + B_19_13 + \frac{(a31 a42 - a32 a41) B_7_21}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_11_21}{a21 a32 - a22 a31} + B_15_21 & - B_19_10 - \frac{a51 B_3_14}{a11} + B_19_14 + \frac{(a31 a42 - a32 a41) B_7_22}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_11_22}{a21 a32 - a22 a31} + B_15_22 & - B_19_11 - \frac{a51 B_3_15}{a11} + B_19_15 + \frac{(a31 a42 - a32 a41) B_7_23}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_11_23}{a21 a32 - a22 a31} + B_15_23 & - B_19_12 - \frac{a51 B_3_16}{a11} + B_19_16 + \frac{(a31 a42 - a32 a41) B_7_24}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_11_24}{a21 a32 - a22 a31} + B_15_24 \\ - B_20_9 - \frac{a51 B_4_13}{a11} + B_20_13 + \frac{(a31 a42 - a32 a41) B_8_21}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_12_21}{a21 a32 - a22 a31} + B_16_21 & - B_20_10 - \frac{a51 B_4_14}{a11} + B_20_14 + \frac{(a31 a42 - a32 a41) B_8_22}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_12_22}{a21 a32 - a22 a31} + B_16_22 & - B_20_11 - \frac{a51 B_4_15}{a11} + B_20_15 + \frac{(a31 a42 - a32 a41) B_8_23}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_12_23}{a21 a32 - a22 a31} + B_16_23 & - B_20_12 - \frac{a51 B_4_16}{a11} + B_20_16 + \frac{(a31 a42 - a32 a41) B_8_24}{a21 a32 - a22 a31} + \frac{(a21 a42 - a22 a41) B_12_24}{a21 a32 - a22 a31} + B_16_24 \end{matrix}), (\begin{matrix} C_13_1 + C_17_1 \\ C_14_1 + C_18_1 \\ C_15_1 + C_19_1 \\ C_16_1 + C_20_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_9 + A_2_13 & A_2_10 + A_2_14 & A_2_11 + A_2_15 & A_2_12 + A_2_16 \\ A_3_9 + A_3_13 & A_3_10 + A_3_14 & A_3_11 + A_3_15 & A_3_12 + A_3_16 \end{matrix}), (\begin{matrix} - B_13_5 - \frac{a42 B_17_5}{a52} + B_13_9 + \frac{(a21 a32 - a22 a31) B_1_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_17}{a11 a22 - a12 a21} + B_9_17 & - B_13_6 - \frac{a42 B_17_6}{a52} + B_13_10 + \frac{(a21 a32 - a22 a31) B_1_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_18}{a11 a22 - a12 a21} + B_9_18 & - B_13_7 - \frac{a42 B_17_7}{a52} + B_13_11 + \frac{(a21 a32 - a22 a31) B_1_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_19}{a11 a22 - a12 a21} + B_9_19 & - B_13_8 - \frac{a42 B_17_8}{a52} + B_13_12 + \frac{(a21 a32 - a22 a31) B_1_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_20}{a11 a22 - a12 a21} + B_9_20 \\ - B_14_5 - \frac{a42 B_18_5}{a52} + B_14_9 + \frac{(a21 a32 - a22 a31) B_2_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_17}{a11 a22 - a12 a21} + B_10_17 & - B_14_6 - \frac{a42 B_18_6}{a52} + B_14_10 + \frac{(a21 a32 - a22 a31) B_2_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_18}{a11 a22 - a12 a21} + B_10_18 & - B_14_7 - \frac{a42 B_18_7}{a52} + B_14_11 + \frac{(a21 a32 - a22 a31) B_2_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_19}{a11 a22 - a12 a21} + B_10_19 & - B_14_8 - \frac{a42 B_18_8}{a52} + B_14_12 + \frac{(a21 a32 - a22 a31) B_2_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_20}{a11 a22 - a12 a21} + B_10_20 \\ - B_15_5 - \frac{a42 B_19_5}{a52} + B_15_9 + \frac{(a21 a32 - a22 a31) B_3_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_17}{a11 a22 - a12 a21} + B_11_17 & - B_15_6 - \frac{a42 B_19_6}{a52} + B_15_10 + \frac{(a21 a32 - a22 a31) B_3_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_18}{a11 a22 - a12 a21} + B_11_18 & - B_15_7 - \frac{a42 B_19_7}{a52} + B_15_11 + \frac{(a21 a32 - a22 a31) B_3_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_19}{a11 a22 - a12 a21} + B_11_19 & - B_15_8 - \frac{a42 B_19_8}{a52} + B_15_12 + \frac{(a21 a32 - a22 a31) B_3_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_20}{a11 a22 - a12 a21} + B_11_20 \\ - B_16_5 - \frac{a42 B_20_5}{a52} + B_16_9 + \frac{(a21 a32 - a22 a31) B_4_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_17}{a11 a22 - a12 a21} + B_12_17 & - B_16_6 - \frac{a42 B_20_6}{a52} + B_16_10 + \frac{(a21 a32 - a22 a31) B_4_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_18}{a11 a22 - a12 a21} + B_12_18 & - B_16_7 - \frac{a42 B_20_7}{a52} + B_16_11 + \frac{(a21 a32 - a22 a31) B_4_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_19}{a11 a22 - a12 a21} + B_12_19 & - B_16_8 - \frac{a42 B_20_8}{a52} + B_16_12 + \frac{(a21 a32 - a22 a31) B_4_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_20}{a11 a22 - a12 a21} + B_12_20 \end{matrix}), (\begin{matrix} C_9_2 + C_13_2 & C_9_3 + C_13_3 \\ C_10_2 + C_14_2 & C_10_3 + C_14_3 \\ C_11_2 + C_15_2 & C_11_3 + C_15_3 \\ C_12_2 + C_16_2 & C_12_3 + C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_13 + A_2_17 & A_2_14 + A_2_18 & A_2_15 + A_2_19 & A_2_16 + A_2_20 \\ A_3_13 + A_3_17 & A_3_14 + A_3_18 & A_3_15 + A_3_19 & A_3_16 + A_3_20 \end{matrix}), (\begin{matrix} \frac{B_1_13}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_17}{a11 a22 - a12 a21} - B_9_17 + B_13_17 & \frac{B_1_14}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_18}{a11 a22 - a12 a21} - B_9_18 + B_13_18 & \frac{B_1_15}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_19}{a11 a22 - a12 a21} - B_9_19 + B_13_19 & \frac{B_1_16}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_20}{a11 a22 - a12 a21} - B_9_20 + B_13_20 \\ \frac{B_2_13}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_17}{a11 a22 - a12 a21} - B_10_17 + B_14_17 & \frac{B_2_14}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_18}{a11 a22 - a12 a21} - B_10_18 + B_14_18 & \frac{B_2_15}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_19}{a11 a22 - a12 a21} - B_10_19 + B_14_19 & \frac{B_2_16}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_20}{a11 a22 - a12 a21} - B_10_20 + B_14_20 \\ \frac{B_3_13}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_17}{a11 a22 - a12 a21} - B_11_17 + B_15_17 & \frac{B_3_14}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_18}{a11 a22 - a12 a21} - B_11_18 + B_15_18 & \frac{B_3_15}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_19}{a11 a22 - a12 a21} - B_11_19 + B_15_19 & \frac{B_3_16}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_20}{a11 a22 - a12 a21} - B_11_20 + B_15_20 \\ \frac{B_4_13}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_17}{a11 a22 - a12 a21} - B_12_17 + B_16_17 & \frac{B_4_14}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_18}{a11 a22 - a12 a21} - B_12_18 + B_16_18 & \frac{B_4_15}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_19}{a11 a22 - a12 a21} - B_12_19 + B_16_19 & \frac{B_4_16}{a11} - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_20}{a11 a22 - a12 a21} - B_12_20 + B_16_20 \end{matrix}), (\begin{matrix} C_13_2 + C_17_2 & C_13_3 + C_17_3 \\ C_14_2 + C_18_2 & C_14_3 + C_18_3 \\ C_15_2 + C_19_2 & C_15_3 + C_19_3 \\ C_16_2 + C_20_2 & C_16_3 + C_20_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_17 - A_3_17 & A_1_18 - A_3_18 & A_1_19 - A_3_19 & A_1_20 - A_3_20 \end{matrix}), (\begin{matrix} B_17_9 + \frac{a51 B_1_13}{a11} - B_17_13 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_1_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_5_17}{a11 a22 - a12 a21} + B_9_17 + B_17_17 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_21}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_21}{a21 a32 - a22 a31} + B_13_21 - B_17_21 & B_17_10 + \frac{a51 B_1_14}{a11} - B_17_14 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_1_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_5_18}{a11 a22 - a12 a21} + B_9_18 + B_17_18 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_22}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_22}{a21 a32 - a22 a31} + B_13_22 - B_17_22 & B_17_11 + \frac{a51 B_1_15}{a11} - B_17_15 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_1_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_5_19}{a11 a22 - a12 a21} + B_9_19 + B_17_19 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_23}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_23}{a21 a32 - a22 a31} + B_13_23 - B_17_23 & B_17_12 + \frac{a51 B_1_16}{a11} - B_17_16 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_1_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_5_20}{a11 a22 - a12 a21} + B_9_20 + B_17_20 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_24}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_24}{a21 a32 - a22 a31} + B_13_24 - B_17_24 \\ B_18_9 + \frac{a51 B_2_13}{a11} - B_18_13 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_2_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_6_17}{a11 a22 - a12 a21} + B_10_17 + B_18_17 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_21}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_21}{a21 a32 - a22 a31} + B_14_21 - B_18_21 & B_18_10 + \frac{a51 B_2_14}{a11} - B_18_14 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_2_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_6_18}{a11 a22 - a12 a21} + B_10_18 + B_18_18 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_22}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_22}{a21 a32 - a22 a31} + B_14_22 - B_18_22 & B_18_11 + \frac{a51 B_2_15}{a11} - B_18_15 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_2_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_6_19}{a11 a22 - a12 a21} + B_10_19 + B_18_19 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_23}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_23}{a21 a32 - a22 a31} + B_14_23 - B_18_23 & B_18_12 + \frac{a51 B_2_16}{a11} - B_18_16 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_2_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_6_20}{a11 a22 - a12 a21} + B_10_20 + B_18_20 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_24}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_24}{a21 a32 - a22 a31} + B_14_24 - B_18_24 \\ B_19_9 + \frac{a51 B_3_13}{a11} - B_19_13 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_3_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_7_17}{a11 a22 - a12 a21} + B_11_17 + B_19_17 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_7_21}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_11_21}{a21 a32 - a22 a31} + B_15_21 - B_19_21 & B_19_10 + \frac{a51 B_3_14}{a11} - B_19_14 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_3_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_7_18}{a11 a22 - a12 a21} + B_11_18 + B_19_18 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_7_22}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_11_22}{a21 a32 - a22 a31} + B_15_22 - B_19_22 & B_19_11 + \frac{a51 B_3_15}{a11} - B_19_15 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_3_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_7_19}{a11 a22 - a12 a21} + B_11_19 + B_19_19 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_7_23}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_11_23}{a21 a32 - a22 a31} + B_15_23 - B_19_23 & B_19_12 + \frac{a51 B_3_16}{a11} - B_19_16 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_3_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_7_20}{a11 a22 - a12 a21} + B_11_20 + B_19_20 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_7_24}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_11_24}{a21 a32 - a22 a31} + B_15_24 - B_19_24 \\ B_20_9 + \frac{a51 B_4_13}{a11} - B_20_13 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_4_17}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_8_17}{a11 a22 - a12 a21} + B_12_17 + B_20_17 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_8_21}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_12_21}{a21 a32 - a22 a31} + B_16_21 - B_20_21 & B_20_10 + \frac{a51 B_4_14}{a11} - B_20_14 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_4_18}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_8_18}{a11 a22 - a12 a21} + B_12_18 + B_20_18 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_8_22}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_12_22}{a21 a32 - a22 a31} + B_16_22 - B_20_22 & B_20_11 + \frac{a51 B_4_15}{a11} - B_20_15 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_4_19}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_8_19}{a11 a22 - a12 a21} + B_12_19 + B_20_19 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_8_23}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_12_23}{a21 a32 - a22 a31} + B_16_23 - B_20_23 & B_20_12 + \frac{a51 B_4_16}{a11} - B_20_16 + \frac{(a21 a32 + a21 a52 - a22 a31 - a22 a51 - a21) B_4_20}{a11 a22 - a12 a21} + \frac{(a32 a11 + a52 a11 - a12 a31 - a12 a51 - a11) B_8_20}{a11 a22 - a12 a21} + B_12_20 + B_20_20 + \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_8_24}{a21 a32 - a22 a31} + \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_12_24}{a21 a32 - a22 a31} + B_16_24 - B_20_24 \end{matrix}), (\begin{matrix} C_17_1 \\ C_18_1 \\ C_19_1 \\ C_20_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_17 & A_2_18 & A_2_19 & A_2_20 \\ A_1_13 + A_3_17 & A_1_14 + A_3_18 & A_1_15 + A_3_19 & A_1_16 + A_3_20 \end{matrix}), (\begin{matrix} B_17_9 + \frac{a51 B_1_13}{a11} - B_17_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_17}{a11 a22 - a12 a21} - B_9_17 + B_13_17 & B_17_10 + \frac{a51 B_1_14}{a11} - B_17_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_18}{a11 a22 - a12 a21} - B_9_18 + B_13_18 & B_17_11 + \frac{a51 B_1_15}{a11} - B_17_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_19}{a11 a22 - a12 a21} - B_9_19 + B_13_19 & B_17_12 + \frac{a51 B_1_16}{a11} - B_17_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_1_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_5_20}{a11 a22 - a12 a21} - B_9_20 + B_13_20 \\ B_18_9 + \frac{a51 B_2_13}{a11} - B_18_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_17}{a11 a22 - a12 a21} - B_10_17 + B_14_17 & B_18_10 + \frac{a51 B_2_14}{a11} - B_18_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_18}{a11 a22 - a12 a21} - B_10_18 + B_14_18 & B_18_11 + \frac{a51 B_2_15}{a11} - B_18_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_19}{a11 a22 - a12 a21} - B_10_19 + B_14_19 & B_18_12 + \frac{a51 B_2_16}{a11} - B_18_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_2_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_6_20}{a11 a22 - a12 a21} - B_10_20 + B_14_20 \\ B_19_9 + \frac{a51 B_3_13}{a11} - B_19_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_17}{a11 a22 - a12 a21} - B_11_17 + B_15_17 & B_19_10 + \frac{a51 B_3_14}{a11} - B_19_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_18}{a11 a22 - a12 a21} - B_11_18 + B_15_18 & B_19_11 + \frac{a51 B_3_15}{a11} - B_19_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_19}{a11 a22 - a12 a21} - B_11_19 + B_15_19 & B_19_12 + \frac{a51 B_3_16}{a11} - B_19_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_3_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_7_20}{a11 a22 - a12 a21} - B_11_20 + B_15_20 \\ B_20_9 + \frac{a51 B_4_13}{a11} - B_20_13 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_17}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_17}{a11 a22 - a12 a21} - B_12_17 + B_16_17 & B_20_10 + \frac{a51 B_4_14}{a11} - B_20_14 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_18}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_18}{a11 a22 - a12 a21} - B_12_18 + B_16_18 & B_20_11 + \frac{a51 B_4_15}{a11} - B_20_15 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_19}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_19}{a11 a22 - a12 a21} - B_12_19 + B_16_19 & B_20_12 + \frac{a51 B_4_16}{a11} - B_20_16 - \frac{(a21 a32 + a21 a42 - a22 a31 - a22 a41) B_4_20}{a11 a22 - a12 a21} - \frac{(a32 a11 + a11 a42 - a12 a31 - a12 a41) B_8_20}{a11 a22 - a12 a21} - B_12_20 + B_16_20 \end{matrix}), (\begin{matrix} - C_13_2 & C_17_1 - C_13_3 \\ - C_14_2 & C_18_1 - C_14_3 \\ - C_15_2 & C_19_1 - C_15_3 \\ - C_16_2 & C_20_1 - C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_5 + A_2_9 - A_2_13 & A_2_6 + A_2_10 - A_2_14 & A_2_7 + A_2_11 - A_2_15 & A_2_8 + A_2_12 - A_2_16 \\ A_3_5 + A_3_9 + A_1_13 - A_3_13 & A_3_6 + A_3_10 + A_1_14 - A_3_14 & A_3_7 + A_3_11 + A_1_15 - A_3_15 & A_3_8 + A_3_12 + A_1_16 - A_3_16 \end{matrix}), (\begin{matrix} B_13_5 + \frac{a42 B_17_5}{a52} - \frac{a21 B_1_13}{a11} - B_5_13 & B_13_6 + \frac{a42 B_17_6}{a52} - \frac{a21 B_1_14}{a11} - B_5_14 & B_13_7 + \frac{a42 B_17_7}{a52} - \frac{a21 B_1_15}{a11} - B_5_15 & B_13_8 + \frac{a42 B_17_8}{a52} - \frac{a21 B_1_16}{a11} - B_5_16 \\ B_14_5 + \frac{a42 B_18_5}{a52} - \frac{a21 B_2_13}{a11} - B_6_13 & B_14_6 + \frac{a42 B_18_6}{a52} - \frac{a21 B_2_14}{a11} - B_6_14 & B_14_7 + \frac{a42 B_18_7}{a52} - \frac{a21 B_2_15}{a11} - B_6_15 & B_14_8 + \frac{a42 B_18_8}{a52} - \frac{a21 B_2_16}{a11} - B_6_16 \\ B_15_5 + \frac{a42 B_19_5}{a52} - \frac{a21 B_3_13}{a11} - B_7_13 & B_15_6 + \frac{a42 B_19_6}{a52} - \frac{a21 B_3_14}{a11} - B_7_14 & B_15_7 + \frac{a42 B_19_7}{a52} - \frac{a21 B_3_15}{a11} - B_7_15 & B_15_8 + \frac{a42 B_19_8}{a52} - \frac{a21 B_3_16}{a11} - B_7_16 \\ B_16_5 + \frac{a42 B_20_5}{a52} - \frac{a21 B_4_13}{a11} - B_8_13 & B_16_6 + \frac{a42 B_20_6}{a52} - \frac{a21 B_4_14}{a11} - B_8_14 & B_16_7 + \frac{a42 B_20_7}{a52} - \frac{a21 B_4_15}{a11} - B_8_15 & B_16_8 + \frac{a42 B_20_8}{a52} - \frac{a21 B_4_16}{a11} - B_8_16 \end{matrix}), (\begin{matrix} - C_13_2 & C_5_1 + C_9_1 - C_13_1 - C_13_3 \\ - C_14_2 & C_6_1 + C_10_1 - C_14_1 - C_14_3 \\ - C_15_2 & C_11_1 + C_7_1 - C_15_1 - C_15_3 \\ - C_16_2 & C_8_1 + C_12_1 - C_16_1 - C_16_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_9 & A_2_10 & A_2_11 & A_2_12 \\ A_1_1 + A_1_5 - A_1_9 + A_3_9 & A_1_2 + A_1_6 - A_1_10 + A_3_10 & A_1_3 + A_1_7 - A_1_11 + A_3_11 & A_1_4 + A_1_8 - A_1_12 + A_3_12 \end{matrix}), (\begin{matrix} - B_9_1 - \frac{(a31 a52 - a32 a51) B_13_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_1}{a41 a52 - a42 a51} + B_1_9 & - B_9_2 - \frac{(a31 a52 - a32 a51) B_13_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_2}{a41 a52 - a42 a51} + B_1_10 & - B_9_3 - \frac{(a31 a52 - a32 a51) B_13_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_3}{a41 a52 - a42 a51} + B_1_11 & - B_9_4 - \frac{(a31 a52 - a32 a51) B_13_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_17_4}{a41 a52 - a42 a51} + B_1_12 \\ - B_10_1 - \frac{(a31 a52 - a32 a51) B_14_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_1}{a41 a52 - a42 a51} + B_2_9 & - B_10_2 - \frac{(a31 a52 - a32 a51) B_14_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_2}{a41 a52 - a42 a51} + B_2_10 & - B_10_3 - \frac{(a31 a52 - a32 a51) B_14_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_3}{a41 a52 - a42 a51} + B_2_11 & - B_10_4 - \frac{(a31 a52 - a32 a51) B_14_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_18_4}{a41 a52 - a42 a51} + B_2_12 \\ - B_11_1 - \frac{(a31 a52 - a32 a51) B_15_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_1}{a41 a52 - a42 a51} + B_3_9 & - B_11_2 - \frac{(a31 a52 - a32 a51) B_15_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_2}{a41 a52 - a42 a51} + B_3_10 & - B_11_3 - \frac{(a31 a52 - a32 a51) B_15_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_3}{a41 a52 - a42 a51} + B_3_11 & - B_11_4 - \frac{(a31 a52 - a32 a51) B_15_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_19_4}{a41 a52 - a42 a51} + B_3_12 \\ - B_12_1 - \frac{(a31 a52 - a32 a51) B_16_1}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_1}{a41 a52 - a42 a51} + B_4_9 & - B_12_2 - \frac{(a31 a52 - a32 a51) B_16_2}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_2}{a41 a52 - a42 a51} + B_4_10 & - B_12_3 - \frac{(a31 a52 - a32 a51) B_16_3}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_3}{a41 a52 - a42 a51} + B_4_11 & - B_12_4 - \frac{(a31 a52 - a32 a51) B_16_4}{a41 a52 - a42 a51} - \frac{(a31 a42 - a32 a41) B_20_4}{a41 a52 - a42 a51} + B_4_12 \end{matrix}), (\begin{matrix} - C_1_2 - C_5_2 + C_9_2 & C_9_1 - C_1_3 - C_5_3 + C_9_3 \\ - C_2_2 - C_6_2 + C_10_2 & C_10_1 - C_2_3 - C_6_3 + C_10_3 \\ - C_3_2 - C_7_2 + C_11_2 & C_11_1 - C_3_3 - C_7_3 + C_11_3 \\ - C_4_2 - C_8_2 + C_12_2 & C_12_1 - C_4_3 - C_8_3 + C_12_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_2_17 & A_2_18 & A_2_19 & A_2_20 \\ A_1_9 + A_1_13 - A_1_17 + A_3_17 & A_1_10 + A_1_14 - A_1_18 + A_3_18 & A_1_11 + A_1_15 - A_1_19 + A_3_19 & A_1_12 + A_1_16 - A_1_20 + A_3_20 \end{matrix}), (\begin{matrix} - B_17_9 + \frac{(a21 a32 - a22 a31) B_1_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_17}{a11 a22 - a12 a21} + B_9_17 & - B_17_10 + \frac{(a21 a32 - a22 a31) B_1_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_18}{a11 a22 - a12 a21} + B_9_18 & - B_17_11 + \frac{(a21 a32 - a22 a31) B_1_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_19}{a11 a22 - a12 a21} + B_9_19 & - B_17_12 + \frac{(a21 a32 - a22 a31) B_1_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_20}{a11 a22 - a12 a21} + B_9_20 \\ - B_18_9 + \frac{(a21 a32 - a22 a31) B_2_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_17}{a11 a22 - a12 a21} + B_10_17 & - B_18_10 + \frac{(a21 a32 - a22 a31) B_2_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_18}{a11 a22 - a12 a21} + B_10_18 & - B_18_11 + \frac{(a21 a32 - a22 a31) B_2_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_19}{a11 a22 - a12 a21} + B_10_19 & - B_18_12 + \frac{(a21 a32 - a22 a31) B_2_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_20}{a11 a22 - a12 a21} + B_10_20 \\ - B_19_9 + \frac{(a21 a32 - a22 a31) B_3_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_17}{a11 a22 - a12 a21} + B_11_17 & - B_19_10 + \frac{(a21 a32 - a22 a31) B_3_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_18}{a11 a22 - a12 a21} + B_11_18 & - B_19_11 + \frac{(a21 a32 - a22 a31) B_3_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_19}{a11 a22 - a12 a21} + B_11_19 & - B_19_12 + \frac{(a21 a32 - a22 a31) B_3_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_20}{a11 a22 - a12 a21} + B_11_20 \\ - B_20_9 + \frac{(a21 a32 - a22 a31) B_4_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_17}{a11 a22 - a12 a21} + B_12_17 & - B_20_10 + \frac{(a21 a32 - a22 a31) B_4_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_18}{a11 a22 - a12 a21} + B_12_18 & - B_20_11 + \frac{(a21 a32 - a22 a31) B_4_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_19}{a11 a22 - a12 a21} + B_12_19 & - B_20_12 + \frac{(a21 a32 - a22 a31) B_4_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_20}{a11 a22 - a12 a21} + B_12_20 \end{matrix}), (\begin{matrix} - C_9_2 - C_13_2 + C_17_2 & C_17_1 - C_9_3 - C_13_3 + C_17_3 \\ - C_10_2 - C_14_2 + C_18_2 & C_18_1 - C_10_3 - C_14_3 + C_18_3 \\ - C_11_2 - C_15_2 + C_19_2 & C_19_1 - C_11_3 - C_15_3 + C_19_3 \\ - C_12_2 - C_16_2 + C_20_2 & C_20_1 - C_12_3 - C_16_3 + C_20_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_2_1 - A_2_5 + A_2_9 & - A_2_2 - A_2_6 + A_2_10 & - A_2_3 - A_2_7 + A_2_11 & - A_2_4 - A_2_8 + A_2_12 \\ A_1_1 - A_3_1 + A_1_5 - A_3_5 - A_1_9 + A_3_9 & A_1_2 - A_3_2 + A_1_6 - A_3_6 - A_1_10 + A_3_10 & A_1_3 - A_3_3 + A_1_7 - A_3_7 - A_1_11 + A_3_11 & A_1_4 - A_3_4 + A_1_8 - A_3_8 - A_1_12 + A_3_12 \end{matrix}), (\begin{matrix} B_1_9 & B_1_10 & B_1_11 & B_1_12 \\ B_2_9 & B_2_10 & B_2_11 & B_2_12 \\ B_3_9 & B_3_10 & B_3_11 & B_3_12 \\ B_4_9 & B_4_10 & B_4_11 & B_4_12 \end{matrix}), (\begin{matrix} C_1_2 + C_5_2 - C_9_2 & C_1_3 + C_5_3 - C_9_3 \\ C_2_2 + C_6_2 - C_10_2 & C_2_3 + C_6_3 - C_10_3 \\ C_3_2 + C_7_2 - C_11_2 & C_3_3 + C_7_3 - C_11_3 \\ C_4_2 + C_8_2 - C_12_2 & C_4_3 + C_8_3 - C_12_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_2_9 - A_2_13 + A_2_17 & - A_2_10 - A_2_14 + A_2_18 & - A_2_11 - A_2_15 + A_2_19 & - A_2_12 - A_2_16 + A_2_20 \\ A_1_9 - A_3_9 + A_1_13 - A_3_13 - A_1_17 + A_3_17 & A_1_10 - A_3_10 + A_1_14 - A_3_14 - A_1_18 + A_3_18 & A_1_11 - A_3_11 + A_1_15 - A_3_15 - A_1_19 + A_3_19 & A_1_12 - A_3_12 + A_1_16 - A_3_16 - A_1_20 + A_3_20 \end{matrix}), (\begin{matrix} \frac{(a21 a32 - a22 a31) B_1_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_17}{a11 a22 - a12 a21} + B_9_17 & \frac{(a21 a32 - a22 a31) B_1_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_18}{a11 a22 - a12 a21} + B_9_18 & \frac{(a21 a32 - a22 a31) B_1_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_19}{a11 a22 - a12 a21} + B_9_19 & \frac{(a21 a32 - a22 a31) B_1_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_5_20}{a11 a22 - a12 a21} + B_9_20 \\ \frac{(a21 a32 - a22 a31) B_2_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_17}{a11 a22 - a12 a21} + B_10_17 & \frac{(a21 a32 - a22 a31) B_2_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_18}{a11 a22 - a12 a21} + B_10_18 & \frac{(a21 a32 - a22 a31) B_2_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_19}{a11 a22 - a12 a21} + B_10_19 & \frac{(a21 a32 - a22 a31) B_2_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_6_20}{a11 a22 - a12 a21} + B_10_20 \\ \frac{(a21 a32 - a22 a31) B_3_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_17}{a11 a22 - a12 a21} + B_11_17 & \frac{(a21 a32 - a22 a31) B_3_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_18}{a11 a22 - a12 a21} + B_11_18 & \frac{(a21 a32 - a22 a31) B_3_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_19}{a11 a22 - a12 a21} + B_11_19 & \frac{(a21 a32 - a22 a31) B_3_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_7_20}{a11 a22 - a12 a21} + B_11_20 \\ \frac{(a21 a32 - a22 a31) B_4_17}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_17}{a11 a22 - a12 a21} + B_12_17 & \frac{(a21 a32 - a22 a31) B_4_18}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_18}{a11 a22 - a12 a21} + B_12_18 & \frac{(a21 a32 - a22 a31) B_4_19}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_19}{a11 a22 - a12 a21} + B_12_19 & \frac{(a21 a32 - a22 a31) B_4_20}{a11 a22 - a12 a21} + \frac{(a32 a11 - a12 a31) B_8_20}{a11 a22 - a12 a21} + B_12_20 \end{matrix}), (\begin{matrix} C_9_2 + C_13_2 - C_17_2 & C_9_3 + C_13_3 - C_17_3 \\ C_10_2 + C_14_2 - C_18_2 & C_10_3 + C_14_3 - C_18_3 \\ C_11_2 + C_15_2 - C_19_2 & C_11_3 + C_15_3 - C_19_3 \\ C_12_2 + C_16_2 - C_20_2 & C_12_3 + C_16_3 - C_20_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_1 a11 - A_1_13 a41 + A_1_17 a51 - A_1_5 a21 + A_1_9 a31 & A_1_10 a31 - A_1_14 a41 + A_1_18 a51 + A_1_2 a11 - A_1_6 a21 & A_1_11 a31 - A_1_15 a41 + A_1_19 a51 + A_1_3 a11 - A_1_7 a21 & A_1_12 a31 - A_1_16 a41 + A_1_20 a51 + A_1_4 a11 - A_1_8 a21 \end{matrix}), (\begin{matrix} \frac{B_1_13}{a11} - B_1_21 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_5_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_9_21}{a21 a32 - a22 a31} + B_13_21 - B_17_21 - \frac{a42 B_9_25}{a31 a42 - a32 a41} - \frac{a32 B_13_25}{a31 a42 - a32 a41} & \frac{B_1_14}{a11} - B_1_22 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_5_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_9_22}{a21 a32 - a22 a31} + B_13_22 - B_17_22 - \frac{a42 B_9_26}{a31 a42 - a32 a41} - \frac{a32 B_13_26}{a31 a42 - a32 a41} & \frac{B_1_15}{a11} - B_1_23 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_5_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_9_23}{a21 a32 - a22 a31} + B_13_23 - B_17_23 - \frac{a42 B_9_27}{a31 a42 - a32 a41} - \frac{a32 B_13_27}{a31 a42 - a32 a41} & \frac{B_1_16}{a11} - B_1_24 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_5_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_9_24}{a21 a32 - a22 a31} + B_13_24 - B_17_24 - \frac{a42 B_9_28}{a31 a42 - a32 a41} - \frac{a32 B_13_28}{a31 a42 - a32 a41} \\ \frac{B_2_13}{a11} - B_2_21 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_6_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_10_21}{a21 a32 - a22 a31} + B_14_21 - B_18_21 - \frac{a42 B_10_25}{a31 a42 - a32 a41} - \frac{a32 B_14_25}{a31 a42 - a32 a41} & \frac{B_2_14}{a11} - B_2_22 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_6_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_10_22}{a21 a32 - a22 a31} + B_14_22 - B_18_22 - \frac{a42 B_10_26}{a31 a42 - a32 a41} - \frac{a32 B_14_26}{a31 a42 - a32 a41} & \frac{B_2_15}{a11} - B_2_23 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_6_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_10_23}{a21 a32 - a22 a31} + B_14_23 - B_18_23 - \frac{a42 B_10_27}{a31 a42 - a32 a41} - \frac{a32 B_14_27}{a31 a42 - a32 a41} & \frac{B_2_16}{a11} - B_2_24 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_6_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_10_24}{a21 a32 - a22 a31} + B_14_24 - B_18_24 - \frac{a42 B_10_28}{a31 a42 - a32 a41} - \frac{a32 B_14_28}{a31 a42 - a32 a41} \\ \frac{B_3_13}{a11} - B_3_21 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_7_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_11_21}{a21 a32 - a22 a31} + B_15_21 - B_19_21 - \frac{a42 B_11_25}{a31 a42 - a32 a41} - \frac{a32 B_15_25}{a31 a42 - a32 a41} & \frac{B_3_14}{a11} - B_3_22 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_7_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_11_22}{a21 a32 - a22 a31} + B_15_22 - B_19_22 - \frac{a42 B_11_26}{a31 a42 - a32 a41} - \frac{a32 B_15_26}{a31 a42 - a32 a41} & \frac{B_3_15}{a11} - B_3_23 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_7_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_11_23}{a21 a32 - a22 a31} + B_15_23 - B_19_23 - \frac{a42 B_11_27}{a31 a42 - a32 a41} - \frac{a32 B_15_27}{a31 a42 - a32 a41} & \frac{B_3_16}{a11} - B_3_24 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_7_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_11_24}{a21 a32 - a22 a31} + B_15_24 - B_19_24 - \frac{a42 B_11_28}{a31 a42 - a32 a41} - \frac{a32 B_15_28}{a31 a42 - a32 a41} \\ \frac{B_4_13}{a11} - B_4_21 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_8_21}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_12_21}{a21 a32 - a22 a31} + B_16_21 - B_20_21 - \frac{a42 B_12_25}{a31 a42 - a32 a41} - \frac{a32 B_16_25}{a31 a42 - a32 a41} & \frac{B_4_14}{a11} - B_4_22 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_8_22}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_12_22}{a21 a32 - a22 a31} + B_16_22 - B_20_22 - \frac{a42 B_12_26}{a31 a42 - a32 a41} - \frac{a32 B_16_26}{a31 a42 - a32 a41} & \frac{B_4_15}{a11} - B_4_23 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_8_23}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_12_23}{a21 a32 - a22 a31} + B_16_23 - B_20_23 - \frac{a42 B_12_27}{a31 a42 - a32 a41} - \frac{a32 B_16_27}{a31 a42 - a32 a41} & \frac{B_4_16}{a11} - B_4_24 - \frac{(a32 a11 - a12 a31 - a31 a42 - a31 a52 + a32 a41 + a32 a51 + a32) B_8_24}{a21 a32 - a22 a31} - \frac{(a11 a22 - a12 a21 - a21 a42 - a21 a52 + a22 a41 + a22 a51 + a22) B_12_24}{a21 a32 - a22 a31} + B_16_24 - B_20_24 - \frac{a42 B_12_28}{a31 a42 - a32 a41} - \frac{a32 B_16_28}{a31 a42 - a32 a41} \end{matrix}), (\begin{matrix} C_21_1 + C_21_3 \\ C_22_1 + C_22_3 \\ C_23_1 + C_23_3 \\ C_24_1 + C_24_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_1_1 a12 + A_1_13 a42 - A_1_17 a52 + A_1_5 a22 - A_1_9 a32 & - A_1_10 a32 + A_1_14 a42 - A_1_18 a52 - A_1_2 a12 + A_1_6 a22 & - A_1_11 a32 + A_1_15 a42 - A_1_19 a52 - A_1_3 a12 + A_1_7 a22 & - A_1_12 a32 + A_1_16 a42 - A_1_20 a52 - A_1_4 a12 + A_1_8 a22 \end{matrix}), (\begin{matrix} \frac{B_17_5}{a52} + \frac{a31 B_5_21}{a21 a32 - a22 a31} + \frac{a21 B_9_21}{a21 a32 - a22 a31} - B_1_25 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_9_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_13_25}{a31 a42 - a32 a41} - B_17_25 & \frac{B_17_6}{a52} + \frac{a31 B_5_22}{a21 a32 - a22 a31} + \frac{a21 B_9_22}{a21 a32 - a22 a31} - B_1_26 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_9_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_13_26}{a31 a42 - a32 a41} - B_17_26 & \frac{B_17_7}{a52} + \frac{a31 B_5_23}{a21 a32 - a22 a31} + \frac{a21 B_9_23}{a21 a32 - a22 a31} - B_1_27 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_9_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_13_27}{a31 a42 - a32 a41} - B_17_27 & \frac{B_17_8}{a52} + \frac{a31 B_5_24}{a21 a32 - a22 a31} + \frac{a21 B_9_24}{a21 a32 - a22 a31} - B_1_28 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_9_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_13_28}{a31 a42 - a32 a41} - B_17_28 \\ \frac{B_18_5}{a52} + \frac{a31 B_6_21}{a21 a32 - a22 a31} + \frac{a21 B_10_21}{a21 a32 - a22 a31} - B_2_25 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_10_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_14_25}{a31 a42 - a32 a41} - B_18_25 & \frac{B_18_6}{a52} + \frac{a31 B_6_22}{a21 a32 - a22 a31} + \frac{a21 B_10_22}{a21 a32 - a22 a31} - B_2_26 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_10_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_14_26}{a31 a42 - a32 a41} - B_18_26 & \frac{B_18_7}{a52} + \frac{a31 B_6_23}{a21 a32 - a22 a31} + \frac{a21 B_10_23}{a21 a32 - a22 a31} - B_2_27 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_10_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_14_27}{a31 a42 - a32 a41} - B_18_27 & \frac{B_18_8}{a52} + \frac{a31 B_6_24}{a21 a32 - a22 a31} + \frac{a21 B_10_24}{a21 a32 - a22 a31} - B_2_28 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_10_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_14_28}{a31 a42 - a32 a41} - B_18_28 \\ \frac{B_19_5}{a52} + \frac{a31 B_7_21}{a21 a32 - a22 a31} + \frac{a21 B_11_21}{a21 a32 - a22 a31} - B_3_25 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_11_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_15_25}{a31 a42 - a32 a41} - B_19_25 & \frac{B_19_6}{a52} + \frac{a31 B_7_22}{a21 a32 - a22 a31} + \frac{a21 B_11_22}{a21 a32 - a22 a31} - B_3_26 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_11_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_15_26}{a31 a42 - a32 a41} - B_19_26 & \frac{B_19_7}{a52} + \frac{a31 B_7_23}{a21 a32 - a22 a31} + \frac{a21 B_11_23}{a21 a32 - a22 a31} - B_3_27 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_11_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_15_27}{a31 a42 - a32 a41} - B_19_27 & \frac{B_19_8}{a52} + \frac{a31 B_7_24}{a21 a32 - a22 a31} + \frac{a21 B_11_24}{a21 a32 - a22 a31} - B_3_28 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_11_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_15_28}{a31 a42 - a32 a41} - B_19_28 \\ \frac{B_20_5}{a52} + \frac{a31 B_8_21}{a21 a32 - a22 a31} + \frac{a21 B_12_21}{a21 a32 - a22 a31} - B_4_25 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_12_25}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_16_25}{a31 a42 - a32 a41} - B_20_25 & \frac{B_20_6}{a52} + \frac{a31 B_8_22}{a21 a32 - a22 a31} + \frac{a21 B_12_22}{a21 a32 - a22 a31} - B_4_26 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_12_26}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_16_26}{a31 a42 - a32 a41} - B_20_26 & \frac{B_20_7}{a52} + \frac{a31 B_8_23}{a21 a32 - a22 a31} + \frac{a21 B_12_23}{a21 a32 - a22 a31} - B_4_27 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_12_27}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_16_27}{a31 a42 - a32 a41} - B_20_27 & \frac{B_20_8}{a52} + \frac{a31 B_8_24}{a21 a32 - a22 a31} + \frac{a21 B_12_24}{a21 a32 - a22 a31} - B_4_28 + \frac{(a11 a42 - a12 a41 - a41 a52 + a42 a51 + a41) B_12_28}{a31 a42 - a32 a41} + \frac{(a32 a11 - a12 a31 - a31 a52 + a32 a51 + a31) B_16_28}{a31 a42 - a32 a41} - B_20_28 \end{matrix}), (\begin{matrix} C_25_1 \\ C_26_1 \\ C_27_1 \\ C_28_1 \end{matrix}))) + Trace (Mul ((\begin{matrix} - A_2_1 a12 + A_2_13 a42 - A_2_17 a52 + A_2_5 a22 - A_2_9 a32 & - A_2_10 a32 + A_2_14 a42 - A_2_18 a52 - A_2_2 a12 + A_2_6 a22 & - A_2_11 a32 + A_2_15 a42 - A_2_19 a52 - A_2_3 a12 + A_2_7 a22 & - A_2_12 a32 + A_2_16 a42 - A_2_20 a52 - A_2_4 a12 + A_2_8 a22 \\ - A_3_1 a12 + A_3_13 a42 - A_3_17 a52 + A_3_5 a22 - A_3_9 a32 & - A_3_10 a32 + A_3_14 a42 - A_3_18 a52 - A_3_2 a12 + A_3_6 a22 & - A_3_11 a32 + A_3_15 a42 - A_3_19 a52 - A_3_3 a12 + A_3_7 a22 & - A_3_12 a32 + A_3_16 a42 - A_3_20 a52 - A_3_4 a12 + A_3_8 a22 \end{matrix}), (\begin{matrix} \frac{a51 B_13_1}{a41 a52 - a42 a51} + \frac{a41 B_17_1}{a41 a52 - a42 a51} - \frac{a21 B_1_17}{a11 a22 - a12 a21} - \frac{a11 B_5_17}{a11 a22 - a12 a21} - B_5_25 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_9_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_13_25}{a31 a42 - a32 a41} & \frac{a51 B_13_2}{a41 a52 - a42 a51} + \frac{a41 B_17_2}{a41 a52 - a42 a51} - \frac{a21 B_1_18}{a11 a22 - a12 a21} - \frac{a11 B_5_18}{a11 a22 - a12 a21} - B_5_26 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_9_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_13_26}{a31 a42 - a32 a41} & \frac{a51 B_13_3}{a41 a52 - a42 a51} + \frac{a41 B_17_3}{a41 a52 - a42 a51} - \frac{a21 B_1_19}{a11 a22 - a12 a21} - \frac{a11 B_5_19}{a11 a22 - a12 a21} - B_5_27 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_9_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_13_27}{a31 a42 - a32 a41} & \frac{a51 B_13_4}{a41 a52 - a42 a51} + \frac{a41 B_17_4}{a41 a52 - a42 a51} - \frac{a21 B_1_20}{a11 a22 - a12 a21} - \frac{a11 B_5_20}{a11 a22 - a12 a21} - B_5_28 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_9_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_13_28}{a31 a42 - a32 a41} \\ \frac{a51 B_14_1}{a41 a52 - a42 a51} + \frac{a41 B_18_1}{a41 a52 - a42 a51} - \frac{a21 B_2_17}{a11 a22 - a12 a21} - \frac{a11 B_6_17}{a11 a22 - a12 a21} - B_6_25 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_10_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_14_25}{a31 a42 - a32 a41} & \frac{a51 B_14_2}{a41 a52 - a42 a51} + \frac{a41 B_18_2}{a41 a52 - a42 a51} - \frac{a21 B_2_18}{a11 a22 - a12 a21} - \frac{a11 B_6_18}{a11 a22 - a12 a21} - B_6_26 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_10_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_14_26}{a31 a42 - a32 a41} & \frac{a51 B_14_3}{a41 a52 - a42 a51} + \frac{a41 B_18_3}{a41 a52 - a42 a51} - \frac{a21 B_2_19}{a11 a22 - a12 a21} - \frac{a11 B_6_19}{a11 a22 - a12 a21} - B_6_27 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_10_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_14_27}{a31 a42 - a32 a41} & \frac{a51 B_14_4}{a41 a52 - a42 a51} + \frac{a41 B_18_4}{a41 a52 - a42 a51} - \frac{a21 B_2_20}{a11 a22 - a12 a21} - \frac{a11 B_6_20}{a11 a22 - a12 a21} - B_6_28 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_10_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_14_28}{a31 a42 - a32 a41} \\ \frac{a51 B_15_1}{a41 a52 - a42 a51} + \frac{a41 B_19_1}{a41 a52 - a42 a51} - \frac{a21 B_3_17}{a11 a22 - a12 a21} - \frac{a11 B_7_17}{a11 a22 - a12 a21} - B_7_25 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_11_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_15_25}{a31 a42 - a32 a41} & \frac{a51 B_15_2}{a41 a52 - a42 a51} + \frac{a41 B_19_2}{a41 a52 - a42 a51} - \frac{a21 B_3_18}{a11 a22 - a12 a21} - \frac{a11 B_7_18}{a11 a22 - a12 a21} - B_7_26 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_11_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_15_26}{a31 a42 - a32 a41} & \frac{a51 B_15_3}{a41 a52 - a42 a51} + \frac{a41 B_19_3}{a41 a52 - a42 a51} - \frac{a21 B_3_19}{a11 a22 - a12 a21} - \frac{a11 B_7_19}{a11 a22 - a12 a21} - B_7_27 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_11_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_15_27}{a31 a42 - a32 a41} & \frac{a51 B_15_4}{a41 a52 - a42 a51} + \frac{a41 B_19_4}{a41 a52 - a42 a51} - \frac{a21 B_3_20}{a11 a22 - a12 a21} - \frac{a11 B_7_20}{a11 a22 - a12 a21} - B_7_28 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_11_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_15_28}{a31 a42 - a32 a41} \\ \frac{a51 B_16_1}{a41 a52 - a42 a51} + \frac{a41 B_20_1}{a41 a52 - a42 a51} - \frac{a21 B_4_17}{a11 a22 - a12 a21} - \frac{a11 B_8_17}{a11 a22 - a12 a21} - B_8_25 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_12_25}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_16_25}{a31 a42 - a32 a41} & \frac{a51 B_16_2}{a41 a52 - a42 a51} + \frac{a41 B_20_2}{a41 a52 - a42 a51} - \frac{a21 B_4_18}{a11 a22 - a12 a21} - \frac{a11 B_8_18}{a11 a22 - a12 a21} - B_8_26 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_12_26}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_16_26}{a31 a42 - a32 a41} & \frac{a51 B_16_3}{a41 a52 - a42 a51} + \frac{a41 B_20_3}{a41 a52 - a42 a51} - \frac{a21 B_4_19}{a11 a22 - a12 a21} - \frac{a11 B_8_19}{a11 a22 - a12 a21} - B_8_27 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_12_27}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_16_27}{a31 a42 - a32 a41} & \frac{a51 B_16_4}{a41 a52 - a42 a51} + \frac{a41 B_20_4}{a41 a52 - a42 a51} - \frac{a21 B_4_20}{a11 a22 - a12 a21} - \frac{a11 B_8_20}{a11 a22 - a12 a21} - B_8_28 - \frac{(a21 a42 - a22 a41 - a41 + a42) B_12_28}{a31 a42 - a32 a41} - \frac{(a21 a32 - a22 a31 - a31 + a32) B_16_28}{a31 a42 - a32 a41} \end{matrix}), (\begin{matrix} C_25_2 & C_25_3 \\ C_26_2 & C_26_3 \\ C_27_2 & C_27_3 \\ C_28_2 & C_28_3 \end{matrix}))) + Trace (Mul ((\begin{matrix} A_1_1 a11 - A_1_13 a41 - A_1_5 a21 + A_1_9 a31 + (a51 + 1) A_1_17 & A_1_10 a31 - A_1_14 a41 + A_1_2 a11 - A_1_6 a21 + (a51 + 1) A_1_18 & A_1_11 a31 - A_1_15 a41 + A_1_3 a11 - A_1_7 a21 + (a51 + 1) A_1_19 & A_1_12 a31 - A_1_16 a41 + A_1_4 a11 - A_1_8 a21 + (a51 + 1) A_1_20 \end{matrix}), (\begin{matrix} - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_21}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_21}{a21 a32 - a22 a31} - B_13_21 + B_17_21 & - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_22}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_22}{a21 a32 - a22 a31} - B_13_22 + B_17_22 & - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_23}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_23}{a21 a32 - a22 a31} - B_13_23 + B_17_23 & - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_5_24}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_9_24}{a21 a32 - a22 a31} - B_13_24 + B_17_24 \\ - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_21}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_21}{a21 a32 - a22 a31} - B_14_21 + B_18_21 & - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_22}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_22}{a21 a32 - a22 a31} - B_14_22 + B_18_22 & - \frac{(a31 a42 + a31 a52 - a32 a41 - a32 a51) B_6_23}{a21 a32 - a22 a31} - \frac{(a21 a42 + a21 a52 - a22 a41 - a22 a51) B_10_23}{a21 a32 - a22 a31} - B_14_23 + B_18_23 & - (a31 a42) \end{matrix})))