b630890d-7bf8-468b-9b05-a4876bbb354d 6 ioan92 4 5 false false false 0 0 decimal

&[DATE] &[TIME] - &[FILENAME]

Example

Input One Line Formula: IxyG0 y3 12 x2 x0 - (* x2 x0 + 3 x3 * + (* y3 * 3 x1 3 x0 4 x3 * - (* + (x3 * x2 x1 x0 + 4 x2 * + (* + x0 2^+ (* x1 x1 2 x0 * + (* + (y2 * + x0 x2 - (x1 3 x3 x2 + x0 + (* + (* y1 * + 3 x1 3 x2 4 x3 * - (* + (x3 * x2 2^+ x0 x1 4 x0 * + (* + (* 2 x1 * 3 x0 * + (x2 * + x1 2^+ (y0 * - (* y2 3 x3 x1 x0 + 4 x3 x2 + (* - (* x0 3 x1 * + (x2 * + x1 2^+ (* x0 x0 2 x1 * + (* + (y2 * x1 3 x2 * - 2 x0 * + (x3 * x0 9 x2 * - (x2 * + 3 x1 * x1 x0 + (* + 2 x0 2^* + (y1 * + x0 x2 - (x1 3 x3 x2 + x0 + (* + (* y0 * + (* + y1 x0 x2 - (x3 * 3 x0 x1 x0 + (* x2 x2 x1 + (* - (* + (y1 * x1 2 x2 * + 3 x0 * - (x3 * x2 x0 2 x2 * + 3 x1 * + (* + 33 x0 2^* x1 2^- (* - (y0 * - (* + 3 x3 x2 x1 + 4 x3 x0 + (* - (* x1 x1 3 x0 * + (* + (* x2 x2 2 x1 * + 3 x0 * + (* + (y0 2^* - (z3 * y3 3 x1 4 x2 * - 3 x0 * + (x3 * x1 x0 + 4 x2 * - (x2 * + x0 2^+ (* x1 x1 2 x0 * + (* + (y3 * 3 x3 x1 x0 + 4 x3 * + (* x0 3 x1 4 x2 * - (* + (x2 * + x1 2^+ (* x0 x0 2 x1 * + (* + (y2 * + x3 x0 3 x3 x2 + (* + (* x1 x0 3 x2 x1 + (* + (* - (y1 * - x3 x1 - 3 x2 3 x3 * + (* + (* - x0 2 x1 * + (x2 * + x1 2 x1 * 3 x0 * + (* + 3 x0 2^* + (y0 * + (* - y2 12 x1 x1 3 x2 * + (* x3 x3 3 x2 * + (* - (* y2 * x3 3 x3 x1 + 3 x2 * + (* 2 x0 * + (* 3 x0 12 x2 * - (x2 * x1 x0 4 x1 * + (* + (* + x0 2^+ (y1 * + x3 x0 3 x3 x2 + (* + (* x1 x0 3 x2 x1 + (* + (* - (y0 * + (* + y1 x3 x3 3 x2 x1 + (* + 2 x0 * + (* 3 x0 x0 3 x1 * + (* x2 x0 - 4 x2 x1 + (* + (* - (* + (y1 * x3 x1 2 x3 x2 + (* + 3 x0 * + (* x0 3 x1 * - (x2 * + 3 x0 2^3 x1 2^* - (* + (y0 * + (* + x3 x2 3 x3 x0 + (* + (* x1 x2 3 x1 x0 + (* + (* - (y0 2^* + (z2 * + y3 x2 x0 - (x1 3 x3 x2 + x0 + (* + (* y3 * x3 x1 3 x3 x0 + (* + (* x2 x0 - 3 x1 3 x2 * + (* + (* - 2 x0 * x1 x0 + (* + (y2 * - x2 x0 - (x3 * 3 x0 x1 x0 + (* x2 x2 x1 + (* - (* - (y1 * + x3 x1 3 x3 x2 + (* + (* x2 x0 2 x2 x1 + (* + (* + 3 x0 * x1 3 x0 * + (* - (y0 * + (* y2 x3 3 x3 x1 + 3 x2 * + (* 2 x0 * + (* 3 x0 - 4 x1 * + (* x2 x1 + (* - x0 2^+ (y2 * x3 x3 3 x2 x1 + (* + 2 x0 * + (* 3 x2 x0 4 x2 * + (* 3 x0 4 x1 * - (* x1 * + x0 2^+ (* + (y1 * + x2 x0 - (x3 * 3 x0 x1 x0 + (* x2 x2 x1 + (* - (* - (y0 * - (* - y1 12 x0 x0 3 x1 * + (* x2 x2 3 x1 * + (* - (* y1 * x3 x3 2 x2 * + 3 x1 x0 + (* + (* 3 x2 x2 x0 + 3 x1 * + (* 4 x0 2^3 x1 2^* - (* + (* + (y0 * + (* + x3 3 x1 3 x0 * + x3 + (* 2 x2 * + (* x2 x2 3 x1 x0 + (* + (* + 12 x1 * x1 x0 + (* - (y0 2^* + (z1 * + y3 3 x1 3 x2 * + 4 x0 * - (x3 * x2 2^+ x0 x1 4 x0 * - (* + (* 2 x1 * 3 x0 * + (x2 * + x1 2^+ (y3 * x3 x1 - 3 x0 3 x3 * + (* + (* - x2 x0 3 x2 x1 + (* + (* + 2 x1 * x1 x0 + (* + (y2 * + x1 x2 3 x1 x0 + (* + (* x3 x2 3 x3 x0 + (* + (* - (y1 * + 3 x3 x2 x1 + 4 x3 * + (* x1 x1 3 x0 * + (* + 12 x0 2^* - (* x2 x2 2 x1 * + 3 x0 * + (* + (y0 * + (* y2 x1 x0 3 x2 x1 + (* + (* x3 x0 3 x3 x2 + (* + (* - (y2 * x3 x1 2 x3 x0 + (* + 3 x2 * + (* x2 x0 3 x2 * + (* + 3 x1 * x0 3 x1 * + (* - (y1 * - x1 x2 3 x1 x0 + (* + (* x3 x2 3 x3 x0 + (* + (* - (y0 * + (* + y1 34 x0 * x1 x0 + (* x2 x2 x0 + 3 x1 * + (* - (* x3 x3 2 x2 * + 3 x1 x0 + (* + (* - (y1 * x3 3 x3 x1 + 3 x0 * + (* 2 x2 * + (* x2 x2 3 x1 x0 + (* + (* + 123 x0 2^* x1 2^- (* - (y0 * - (* + 12 x3 x3 3 x0 * + (* - x1 x1 3 x0 * + (* + (* y0 2^* - (z0 * + 720 / :

Prof Kraska's Maxima Decomposition LMax 1720 / 36 x2 * x3 * y3 2^* z3 * 36 x0 * x3 * y3 2^* z3 * - 12 x2 2^* y3 2^* z3 * 12 x0 2^* y3 2^* z3 * - 36 x3 2^* y2 * y3 * z3 * - 3 x1 * x3 * y2 * y3 * z3 * 9 x0 * x3 * y2 * y3 * z3 * 12 x2 2^* y2 * y3 * z3 * 3 x1 * x2 * y2 * y3 * z3 * 3 x0 * x2 * y2 * y3 * z3 * x1 2^y2 * y3 * z3 * 2 x0 * x1 * y2 * y3 * z3 * 3 x0 2^* y2 * y3 * z3 * 3 x2 * x3 * y1 * y3 * z3 * - 3 x0 * x3 * y1 * y3 * z3 * 3 x2 2^* y1 * y3 * z3 * - x1 x2 * y1 * y3 * z3 * - x0 x1 * y1 * y3 * z3 * 3 x0 2^* y1 * y3 * z3 * 36 x3 2^* y0 * y3 * z3 * 9 x2 * x3 * y0 * y3 * z3 * - 3 x1 * x3 * y0 * y3 * z3 * - 3 x2 2^* y0 * y3 * z3 * - 2 x1 * x2 * y0 * y3 * z3 * - 3 x0 * x2 * y0 * y3 * z3 * - x1 2^y0 * y3 * z3 * - 3 x0 * x1 * y0 * y3 * z3 * - 12 x0 2^* y0 * y3 * z3 * - 12 x3 2^* y2 2^* z3 * - 12 x2 * x3 * y2 2^* z3 * - 3 x1 * x3 * y2 2^* z3 * 3 x0 * x3 * y2 2^* z3 * 9 x1 * x2 * y2 2^* z3 * 3 x0 * x2 * y2 2^* z3 * 3 x1 2^* y2 2^* z3 * 2 x0 * x1 * y2 2^* z3 * x0 2^y2 2^* z3 * 3 x2 * x3 * y1 * y2 * z3 * - x1 x3 * y1 * y2 * z3 * 2 x0 * x3 * y1 * y2 * z3 * 9 x2 2^* y1 * y2 * z3 * - x0 x2 * y1 * y2 * z3 * 3 x1 2^* y1 * y2 * z3 * 3 x0 * x1 * y1 * y2 * z3 * 2 x0 2^* y1 * y2 * z3 * 3 x2 * x3 * y0 * y2 * z3 * - 3 x0 * x3 * y0 * y2 * z3 * 3 x2 2^* y0 * y2 * z3 * - x1 x2 * y0 * y2 * z3 * - x0 x1 * y0 * y2 * z3 * 3 x0 2^* y0 * y2 * z3 * x2 x3 * y1 2^* z3 * - x0 x3 * y1 2^* z3 * 3 x2 2^* y1 2^* z3 * - 3 x1 * x2 * y1 2^* z3 * - 3 x0 * x1 * y1 2^* z3 * 3 x0 2^* y1 2^* z3 * 2 x2 * x3 * y0 * y1 * z3 * - x1 x3 * y0 * y1 * z3 * - 3 x0 * x3 * y0 * y1 * z3 * 2 x2 2^* y0 * y1 * z3 * - 3 x1 * x2 * y0 * y1 * z3 * - x0 x2 * y0 * y1 * z3 * - 3 x1 2^* y0 * y1 * z3 * - 9 x0 2^* y0 * y1 * z3 * 12 x3 2^* y0 2^* z3 * 3 x2 * x3 * y0 2^* z3 * - 3 x1 * x3 * y0 2^* z3 * - 12 x0 * x3 * y0 2^* z3 * x2 2^y0 2^* z3 * - 2 x1 * x2 * y0 2^* z3 * - 3 x0 * x2 * y0 2^* z3 * - 3 x1 2^* y0 2^* z3 * - 9 x0 * x1 * y0 2^* z3 * - 12 x2 * x3 * y3 2^* z2 * 3 x1 * x3 * y3 2^* z2 * - 9 x0 * x3 * y3 2^* z2 * - 12 x2 2^* y3 2^* z2 * 3 x1 * x2 * y3 2^* z2 * - 3 x0 * x2 * y3 2^* z2 * - x1 2^y3 2^* z2 * - 2 x0 * x1 * y3 2^* z2 * - 3 x0 2^* y3 2^* z2 * - 12 x3 2^* y2 * y3 * z2 * - 3 x1 * x3 * y2 * y3 * z2 * - 3 x0 * x3 * y2 * y3 * z2 * - 36 x2 2^* y2 * y3 * z2 * 9 x1 * x2 * y2 * y3 * z2 * - 3 x0 * x2 * y2 * y3 * z2 * - 3 x1 2^* y2 * y3 * z2 * - 2 x0 * x1 * y2 * y3 * z2 * - x0 2^y2 * y3 * z2 * - 3 x3 2^* y1 * y3 * z2 * 3 x2 * x3 * y1 * y3 * z2 * x0 x3 * y1 * y3 * z2 * 3 x1 * x2 * y1 * y3 * z2 * - 3 x1 2^* y1 * y3 * z2 * - x0 x1 * y1 * y3 * z2 * - 9 x3 2^* y0 * y3 * z2 * 3 x2 * x3 * y0 * y3 * z2 * x1 x3 * y0 * y3 * z2 * - 2 x1 * x2 * y0 * y3 * z2 * - x0 x2 * y0 * y3 * z2 * - 2 x1 2^* y0 * y3 * z2 * - 3 x0 * x1 * y0 * y3 * z2 * - 3 x0 2^* y0 * y3 * z2 * - 12 x3 2^* y2 2^* z2 * - 36 x2 * x3 * y2 2^* z2 * - 36 x1 * x2 * y2 2^* z2 * 12 x1 2^* y2 2^* z2 * 3 x3 2^* y1 * y2 * z2 * 9 x2 * x3 * y1 * y2 * z2 * 3 x1 * x3 * y1 * y2 * z2 * 2 x0 * x3 * y1 * y2 * z2 * 36 x2 2^* y1 * y2 * z2 * - 3 x0 * x2 * y1 * y2 * z2 * 12 x1 2^* y1 * y2 * z2 * 3 x0 * x1 * y1 * y2 * z2 * x0 2^y1 * y2 * z2 * 3 x3 2^* y0 * y2 * z2 * 3 x2 * x3 * y0 * y2 * z2 * x0 x3 * y0 * y2 * z2 * 3 x1 * x2 * y0 * y2 * z2 * - 3 x1 2^* y0 * y2 * z2 * - x0 x1 * y0 * y2 * z2 * - x3 2^y1 2^* z2 * 3 x2 * x3 * y1 2^* z2 * 3 x1 * x3 * y1 2^* z2 * 2 x0 * x3 * y1 2^* z2 * 12 x2 2^* y1 2^* z2 * - 12 x1 * x2 * y1 2^* z2 * - 3 x0 * x2 * y1 2^* z2 * 9 x0 * x1 * y1 2^* z2 * 3 x0 2^* y1 2^* z2 * 2 x3 2^* y0 * y1 * z2 * 2 x2 * x3 * y0 * y1 * z2 * x1 x3 * y0 * y1 * z2 * 3 x0 * x3 * y0 * y1 * z2 * 3 x1 * x2 * y0 * y1 * z2 * - x0 x2 * y0 * y1 * z2 * 9 x1 2^* y0 * y1 * z2 * - 3 x0 2^* y0 * y1 * z2 * 3 x3 2^* y0 2^* z2 * x2 x3 * y0 2^* z2 * 3 x0 * x3 * y0 2^* z2 * x1 x2 * y0 2^* z2 * - 3 x1 2^* y0 2^* z2 * - 3 x0 * x1 * y0 2^* z2 * - 3 x2 * x3 * y3 2^* z1 * 3 x0 * x3 * y3 2^* z1 * - 3 x2 2^* y3 2^* z1 * x1 x2 * y3 2^* z1 * x0 x1 * y3 2^* z1 * - 3 x0 2^* y3 2^* z1 * - 3 x3 2^* y2 * y3 * z1 * - x1 x3 * y2 * y3 * z1 * - 3 x0 * x3 * y2 * y3 * z1 * - 9 x2 2^* y2 * y3 * z1 * 3 x1 * x2 * y2 * y3 * z1 * x0 x2 * y2 * y3 * z1 * - 2 x0 * x1 * y2 * y3 * z1 * - 2 x0 2^* y2 * y3 * z1 * - x2 x3 * y1 * y3 * z1 * x0 x3 * y1 * y3 * z1 * - 3 x2 2^* y1 * y3 * z1 * 3 x1 * x2 * y1 * y3 * z1 * 3 x0 * x1 * y1 * y3 * z1 * - 3 x0 2^* y1 * y3 * z1 * - 3 x3 2^* y0 * y3 * z1 * 3 x2 * x3 * y0 * y3 * z1 * x1 x3 * y0 * y3 * z1 * 2 x2 2^* y0 * y3 * z1 * 2 x1 * x2 * y0 * y3 * z1 * x0 x2 * y0 * y3 * z1 * 3 x0 * x1 * y0 * y3 * z1 * - 9 x0 2^* y0 * y3 * z1 * - 3 x3 2^* y2 2^* z1 * - 9 x2 * x3 * y2 2^* z1 * - 3 x1 * x3 * y2 2^* z1 * - 2 x0 * x3 * y2 2^* z1 * - 12 x1 * x2 * y2 2^* z1 * 3 x0 * x2 * y2 2^* z1 * - 12 x1 2^* y2 2^* z1 * 3 x0 * x1 * y2 2^* z1 * - x0 2^y2 2^* z1 * - x3 2^y1 * y2 * z1 * - 3 x2 * x3 * y1 * y2 * z1 * - 3 x1 * x3 * y1 * y2 * z1 * - 2 x0 * x3 * y1 * y2 * z1 * - 12 x2 2^* y1 * y2 * z1 * - 3 x0 * x2 * y1 * y2 * z1 * - 36 x1 2^* y1 * y2 * z1 * 9 x0 * x1 * y1 * y2 * z1 * - 3 x0 2^* y1 * y2 * z1 * - x2 x3 * y0 * y2 * z1 * x0 x3 * y0 * y2 * z1 * - 3 x2 2^* y0 * y2 * z1 * 3 x1 * x2 * y0 * y2 * z1 * 3 x0 * x1 * y0 * y2 * z1 * - 3 x0 2^* y0 * y2 * z1 * - 12 x2 2^* y1 2^* z1 * - 36 x1 * x2 * y1 2^* z1 * - 36 x0 * x1 * y1 2^* z1 * 12 x0 2^* y1 2^* z1 * x3 2^y0 * y1 * z1 * 2 x2 * x3 * y0 * y1 * z1 * 3 x1 * x3 * y0 * y1 * z1 * 3 x0 * x3 * y0 * y1 * z1 * 3 x2 2^* y0 * y1 * z1 * 9 x1 * x2 * y0 * y1 * z1 * 3 x0 * x2 * y0 * y1 * z1 * 36 x1 2^* y0 * y1 * z1 * - 12 x0 2^* y0 * y1 * z1 * 3 x3 2^* y0 2^* z1 * 2 x2 * x3 * y0 2^* z1 * 3 x1 * x3 * y0 2^* z1 * 9 x0 * x3 * y0 2^* z1 * x2 2^y0 2^* z1 * 3 x1 * x2 * y0 2^* z1 * 3 x0 * x2 * y0 2^* z1 * 12 x1 2^* y0 2^* z1 * - 12 x0 * x1 * y0 2^* z1 * - 9 x2 * x3 * y3 2^* z0 * 3 x1 * x3 * y3 2^* z0 * 12 x0 * x3 * y3 2^* z0 * - 3 x2 2^* y3 2^* z0 * 2 x1 * x2 * y3 2^* z0 * 3 x0 * x2 * y3 2^* z0 * x1 2^y3 2^* z0 * 3 x0 * x1 * y3 2^* z0 * 12 x0 2^* y3 2^* z0 * - 9 x3 2^* y2 * y3 * z0 * - x1 x3 * y2 * y3 * z0 * 3 x0 * x3 * y2 * y3 * z0 * - 3 x2 2^* y2 * y3 * z0 * 3 x1 * x2 * y2 * y3 * z0 * x0 x2 * y2 * y3 * z0 * 2 x1 2^* y2 * y3 * z0 * 2 x0 * x1 * y2 * y3 * z0 * 3 x3 2^* y1 * y3 * z0 * - x2 x3 * y1 * y3 * z0 * - 3 x0 * x3 * y1 * y3 * z0 * - x1 x2 * y1 * y3 * z0 * 3 x1 2^* y1 * y3 * z0 * 3 x0 * x1 * y1 * y3 * z0 * 12 x3 2^* y0 * y3 * z0 * 3 x2 * x3 * y0 * y3 * z0 * 3 x1 * x3 * y0 * y3 * z0 * x2 2^y0 * y3 * z0 * 2 x1 * x2 * y0 * y3 * z0 * 3 x0 * x2 * y0 * y3 * z0 * 3 x1 2^* y0 * y3 * z0 * 9 x0 * x1 * y0 * y3 * z0 * 36 x0 2^* y0 * y3 * z0 * - 3 x3 2^* y2 2^* z0 * - 3 x2 * x3 * y2 2^* z0 * - x0 x3 * y2 2^* z0 * - 3 x1 * x2 * y2 2^* z0 * 3 x1 2^* y2 2^* z0 * x0 x1 * y2 2^* z0 * 2 x3 2^* y1 * y2 * z0 * - 3 x2 * x3 * y1 * y2 * z0 * - x1 x3 * y1 * y2 * z0 * - 2 x0 * x3 * y1 * y2 * z0 * - 3 x2 2^* y1 * y2 * z0 * - x0 x2 * y1 * y2 * z0 * - 9 x1 2^* y1 * y2 * z0 * 3 x0 * x1 * y1 * y2 * z0 * 3 x3 2^* y0 * y2 * z0 * - x2 x3 * y0 * y2 * z0 * - 3 x0 * x3 * y0 * y2 * z0 * - x1 x2 * y0 * y2 * z0 * 3 x1 2^* y0 * y2 * z0 * 3 x0 * x1 * y0 * y2 * z0 * x3 2^y1 2^* z0 * - 2 x2 * x3 * y1 2^* z0 * - 3 x1 * x3 * y1 2^* z0 * - 3 x0 * x3 * y1 2^* z0 * - 3 x2 2^* y1 2^* z0 * - 9 x1 * x2 * y1 2^* z0 * - 3 x0 * x2 * y1 2^* z0 * - 12 x0 * x1 * y1 2^* z0 * 12 x0 2^* y1 2^* z0 * 3 x3 2^* y0 * y1 * z0 * - 2 x2 * x3 * y0 * y1 * z0 * - 3 x1 * x3 * y0 * y1 * z0 * - 9 x0 * x3 * y0 * y1 * z0 * - x2 2^y0 * y1 * z0 * - 3 x1 * x2 * y0 * y1 * z0 * - 3 x0 * x2 * y0 * y1 * z0 * - 12 x1 2^* y0 * y1 * z0 * - 36 x0 2^* y0 * y1 * z0 * 12 x3 2^* y0 2^* z0 * 36 x0 * x3 * y0 2^* z0 * 12 x1 2^* y0 2^* z0 * - 36 x0 * x1 * y0 2^* z0 * - 2961 sys * :

Ioan's Recomposition in Submatrix, based on Martin's Decomposition with Maxima: Recomp 1720 / 36 x2 * x3 * y3 2^* z3 * 36 x0 * x3 * y3 2^* z3 * - 12 x2 2^* y3 2^* z3 * 12 x0 2^* y3 2^* z3 * - 36 x3 2^* y2 * y3 * z3 * - 3 x1 * x3 * y2 * y3 * z3 * 9 x0 * x3 * y2 * y3 * z3 * 12 x2 2^* y2 * y3 * z3 * 3 x1 * x2 * y2 * y3 * z3 * 3 x0 * x2 * y2 * y3 * z3 * x1 2^y2 * y3 * z3 * 2 x0 * x1 * y2 * y3 * z3 * 3 x0 2^* y2 * y3 * z3 * 3 x2 * x3 * y1 * y3 * z3 * - 3 x0 * x3 * y1 * y3 * z3 * 3 x2 2^* y1 * y3 * z3 * - x1 x2 * y1 * y3 * z3 * - x0 x1 * y1 * y3 * z3 * 3 x0 2^* y1 * y3 * z3 * 36 x3 2^* y0 * y3 * z3 * 201 mat 9 x2 * x3 * y0 * y3 * z3 * - 3 x1 * x3 * y0 * y3 * z3 * - 3 x2 2^* y0 * y3 * z3 * - 2 x1 * x2 * y0 * y3 * z3 * - 3 x0 * x2 * y0 * y3 * z3 * - x1 2^y0 * y3 * z3 * - 3 x0 * x1 * y0 * y3 * z3 * - 12 x0 2^* y0 * y3 * z3 * - 12 x3 2^* y2 2^* z3 * - 12 x2 * x3 * y2 2^* z3 * - 3 x1 * x3 * y2 2^* z3 * 3 x0 * x3 * y2 2^* z3 * 9 x1 * x2 * y2 2^* z3 * 3 x0 * x2 * y2 2^* z3 * 3 x1 2^* y2 2^* z3 * 2 x0 * x1 * y2 2^* z3 * x0 2^y2 2^* z3 * 3 x2 * x3 * y1 * y2 * z3 * - x1 x3 * y1 * y2 * z3 * 2 x0 * x3 * y1 * y2 * z3 * 201 mat 9 x2 2^* y1 * y2 * z3 * - x0 x2 * y1 * y2 * z3 * 3 x1 2^* y1 * y2 * z3 * 3 x0 * x1 * y1 * y2 * z3 * 2 x0 2^* y1 * y2 * z3 * 3 x2 * x3 * y0 * y2 * z3 * - 3 x0 * x3 * y0 * y2 * z3 * 3 x2 2^* y0 * y2 * z3 * - x1 x2 * y0 * y2 * z3 * - x0 x1 * y0 * y2 * z3 * 3 x0 2^* y0 * y2 * z3 * x2 x3 * y1 2^* z3 * - x0 x3 * y1 2^* z3 * 3 x2 2^* y1 2^* z3 * - 3 x1 * x2 * y1 2^* z3 * - 3 x0 * x1 * y1 2^* z3 * 3 x0 2^* y1 2^* z3 * 2 x2 * x3 * y0 * y1 * z3 * - x1 x3 * y0 * y1 * z3 * - 3 x0 * x3 * y0 * y1 * z3 * 201 mat 2 x2 2^* y0 * y1 * z3 * - 3 x1 * x2 * y0 * y1 * z3 * - x0 x2 * y0 * y1 * z3 * - 3 x1 2^* y0 * y1 * z3 * - 9 x0 2^* y0 * y1 * z3 * 12 x3 2^* y0 2^* z3 * 3 x2 * x3 * y0 2^* z3 * - 3 x1 * x3 * y0 2^* z3 * - 12 x0 * x3 * y0 2^* z3 * x2 2^y0 2^* z3 * - 2 x1 * x2 * y0 2^* z3 * - 3 x0 * x2 * y0 2^* z3 * - 3 x1 2^* y0 2^* z3 * - 9 x0 * x1 * y0 2^* z3 * - 12 x2 * x3 * y3 2^* z2 * 3 x1 * x3 * y3 2^* z2 * - 9 x0 * x3 * y3 2^* z2 * - 12 x2 2^* y3 2^* z2 * 3 x1 * x2 * y3 2^* z2 * - 3 x0 * x2 * y3 2^* z2 * - 201 mat x1 2^y3 2^* z2 * - 2 x0 * x1 * y3 2^* z2 * - 3 x0 2^* y3 2^* z2 * - 12 x3 2^* y2 * y3 * z2 * - 3 x1 * x3 * y2 * y3 * z2 * - 3 x0 * x3 * y2 * y3 * z2 * - 36 x2 2^* y2 * y3 * z2 * 9 x1 * x2 * y2 * y3 * z2 * - 3 x0 * x2 * y2 * y3 * z2 * - 3 x1 2^* y2 * y3 * z2 * - 2 x0 * x1 * y2 * y3 * z2 * - x0 2^y2 * y3 * z2 * - 3 x3 2^* y1 * y3 * z2 * 3 x2 * x3 * y1 * y3 * z2 * x0 x3 * y1 * y3 * z2 * 3 x1 * x2 * y1 * y3 * z2 * - 3 x1 2^* y1 * y3 * z2 * - x0 x1 * y1 * y3 * z2 * - 9 x3 2^* y0 * y3 * z2 * 3 x2 * x3 * y0 * y3 * z2 * 201 mat x1 x3 * y0 * y3 * z2 * - 2 x1 * x2 * y0 * y3 * z2 * - x0 x2 * y0 * y3 * z2 * - 2 x1 2^* y0 * y3 * z2 * - 3 x0 * x1 * y0 * y3 * z2 * - 3 x0 2^* y0 * y3 * z2 * - 12 x3 2^* y2 2^* z2 * - 36 x2 * x3 * y2 2^* z2 * - 36 x1 * x2 * y2 2^* z2 * 12 x1 2^* y2 2^* z2 * 3 x3 2^* y1 * y2 * z2 * 9 x2 * x3 * y1 * y2 * z2 * 3 x1 * x3 * y1 * y2 * z2 * 2 x0 * x3 * y1 * y2 * z2 * 36 x2 2^* y1 * y2 * z2 * - 3 x0 * x2 * y1 * y2 * z2 * 12 x1 2^* y1 * y2 * z2 * 3 x0 * x1 * y1 * y2 * z2 * x0 2^y1 * y2 * z2 * 3 x3 2^* y0 * y2 * z2 * 201 mat 3 x2 * x3 * y0 * y2 * z2 * x0 x3 * y0 * y2 * z2 * 3 x1 * x2 * y0 * y2 * z2 * - 3 x1 2^* y0 * y2 * z2 * - x0 x1 * y0 * y2 * z2 * - x3 2^y1 2^* z2 * 3 x2 * x3 * y1 2^* z2 * 3 x1 * x3 * y1 2^* z2 * 2 x0 * x3 * y1 2^* z2 * 12 x2 2^* y1 2^* z2 * - 12 x1 * x2 * y1 2^* z2 * - 3 x0 * x2 * y1 2^* z2 * 9 x0 * x1 * y1 2^* z2 * 3 x0 2^* y1 2^* z2 * 2 x3 2^* y0 * y1 * z2 * 2 x2 * x3 * y0 * y1 * z2 * x1 x3 * y0 * y1 * z2 * 3 x0 * x3 * y0 * y1 * z2 * 3 x1 * x2 * y0 * y1 * z2 * - x0 x2 * y0 * y1 * z2 * 201 mat 9 x1 2^* y0 * y1 * z2 * - 3 x0 2^* y0 * y1 * z2 * 3 x3 2^* y0 2^* z2 * x2 x3 * y0 2^* z2 * 3 x0 * x3 * y0 2^* z2 * x1 x2 * y0 2^* z2 * - 3 x1 2^* y0 2^* z2 * - 3 x0 * x1 * y0 2^* z2 * - 3 x2 * x3 * y3 2^* z1 * 3 x0 * x3 * y3 2^* z1 * - 3 x2 2^* y3 2^* z1 * x1 x2 * y3 2^* z1 * x0 x1 * y3 2^* z1 * - 3 x0 2^* y3 2^* z1 * - 3 x3 2^* y2 * y3 * z1 * - x1 x3 * y2 * y3 * z1 * - 3 x0 * x3 * y2 * y3 * z1 * - 9 x2 2^* y2 * y3 * z1 * 3 x1 * x2 * y2 * y3 * z1 * x0 x2 * y2 * y3 * z1 * - 201 mat 2 x0 * x1 * y2 * y3 * z1 * - 2 x0 2^* y2 * y3 * z1 * - x2 x3 * y1 * y3 * z1 * x0 x3 * y1 * y3 * z1 * - 3 x2 2^* y1 * y3 * z1 * 3 x1 * x2 * y1 * y3 * z1 * 3 x0 * x1 * y1 * y3 * z1 * - 3 x0 2^* y1 * y3 * z1 * - 3 x3 2^* y0 * y3 * z1 * 3 x2 * x3 * y0 * y3 * z1 * x1 x3 * y0 * y3 * z1 * 2 x2 2^* y0 * y3 * z1 * 2 x1 * x2 * y0 * y3 * z1 * x0 x2 * y0 * y3 * z1 * 3 x0 * x1 * y0 * y3 * z1 * - 9 x0 2^* y0 * y3 * z1 * - 3 x3 2^* y2 2^* z1 * - 9 x2 * x3 * y2 2^* z1 * - 3 x1 * x3 * y2 2^* z1 * - 2 x0 * x3 * y2 2^* z1 * - 201 mat 12 x1 * x2 * y2 2^* z1 * 3 x0 * x2 * y2 2^* z1 * - 12 x1 2^* y2 2^* z1 * 3 x0 * x1 * y2 2^* z1 * - x0 2^y2 2^* z1 * - x3 2^y1 * y2 * z1 * - 3 x2 * x3 * y1 * y2 * z1 * - 3 x1 * x3 * y1 * y2 * z1 * - 2 x0 * x3 * y1 * y2 * z1 * - 12 x2 2^* y1 * y2 * z1 * - 3 x0 * x2 * y1 * y2 * z1 * - 36 x1 2^* y1 * y2 * z1 * 9 x0 * x1 * y1 * y2 * z1 * - 3 x0 2^* y1 * y2 * z1 * - x2 x3 * y0 * y2 * z1 * x0 x3 * y0 * y2 * z1 * - 3 x2 2^* y0 * y2 * z1 * 3 x1 * x2 * y0 * y2 * z1 * 3 x0 * x1 * y0 * y2 * z1 * - 3 x0 2^* y0 * y2 * z1 * - 201 mat 12 x2 2^* y1 2^* z1 * - 36 x1 * x2 * y1 2^* z1 * - 36 x0 * x1 * y1 2^* z1 * 12 x0 2^* y1 2^* z1 * x3 2^y0 * y1 * z1 * 2 x2 * x3 * y0 * y1 * z1 * 3 x1 * x3 * y0 * y1 * z1 * 3 x0 * x3 * y0 * y1 * z1 * 3 x2 2^* y0 * y1 * z1 * 9 x1 * x2 * y0 * y1 * z1 * 3 x0 * x2 * y0 * y1 * z1 * 36 x1 2^* y0 * y1 * z1 * - 12 x0 2^* y0 * y1 * z1 * 3 x3 2^* y0 2^* z1 * 2 x2 * x3 * y0 2^* z1 * 3 x1 * x3 * y0 2^* z1 * 9 x0 * x3 * y0 2^* z1 * x2 2^y0 2^* z1 * 3 x1 * x2 * y0 2^* z1 * 3 x0 * x2 * y0 2^* z1 * 201 mat 12 x1 2^* y0 2^* z1 * - 12 x0 * x1 * y0 2^* z1 * - 9 x2 * x3 * y3 2^* z0 * 3 x1 * x3 * y3 2^* z0 * 12 x0 * x3 * y3 2^* z0 * - 3 x2 2^* y3 2^* z0 * 2 x1 * x2 * y3 2^* z0 * 3 x0 * x2 * y3 2^* z0 * x1 2^y3 2^* z0 * 3 x0 * x1 * y3 2^* z0 * 12 x0 2^* y3 2^* z0 * - 9 x3 2^* y2 * y3 * z0 * - x1 x3 * y2 * y3 * z0 * 3 x0 * x3 * y2 * y3 * z0 * - 3 x2 2^* y2 * y3 * z0 * 3 x1 * x2 * y2 * y3 * z0 * x0 x2 * y2 * y3 * z0 * 2 x1 2^* y2 * y3 * z0 * 2 x0 * x1 * y2 * y3 * z0 * 3 x3 2^* y1 * y3 * z0 * - 201 mat x2 x3 * y1 * y3 * z0 * - 3 x0 * x3 * y1 * y3 * z0 * - x1 x2 * y1 * y3 * z0 * 3 x1 2^* y1 * y3 * z0 * 3 x0 * x1 * y1 * y3 * z0 * 12 x3 2^* y0 * y3 * z0 * 3 x2 * x3 * y0 * y3 * z0 * 3 x1 * x3 * y0 * y3 * z0 * x2 2^y0 * y3 * z0 * 2 x1 * x2 * y0 * y3 * z0 * 3 x0 * x2 * y0 * y3 * z0 * 3 x1 2^* y0 * y3 * z0 * 9 x0 * x1 * y0 * y3 * z0 * 36 x0 2^* y0 * y3 * z0 * - 3 x3 2^* y2 2^* z0 * - 3 x2 * x3 * y2 2^* z0 * - x0 x3 * y2 2^* z0 * - 3 x1 * x2 * y2 2^* z0 * 3 x1 2^* y2 2^* z0 * x0 x1 * y2 2^* z0 * 201 mat 2 x3 2^* y1 * y2 * z0 * - 3 x2 * x3 * y1 * y2 * z0 * - x1 x3 * y1 * y2 * z0 * - 2 x0 * x3 * y1 * y2 * z0 * - 3 x2 2^* y1 * y2 * z0 * - x0 x2 * y1 * y2 * z0 * - 9 x1 2^* y1 * y2 * z0 * 3 x0 * x1 * y1 * y2 * z0 * 3 x3 2^* y0 * y2 * z0 * - x2 x3 * y0 * y2 * z0 * - 3 x0 * x3 * y0 * y2 * z0 * - x1 x2 * y0 * y2 * z0 * 3 x1 2^* y0 * y2 * z0 * 3 x0 * x1 * y0 * y2 * z0 * x3 2^y1 2^* z0 * - 2 x2 * x3 * y1 2^* z0 * - 3 x1 * x3 * y1 2^* z0 * - 3 x0 * x3 * y1 2^* z0 * - 3 x2 2^* y1 2^* z0 * - 9 x1 * x2 * y1 2^* z0 * - 201 mat 3 x0 * x2 * y1 2^* z0 * - 12 x0 * x1 * y1 2^* z0 * 12 x0 2^* y1 2^* z0 * 3 x3 2^* y0 * y1 * z0 * - 2 x2 * x3 * y0 * y1 * z0 * - 3 x1 * x3 * y0 * y1 * z0 * - 9 x0 * x3 * y0 * y1 * z0 * - x2 2^y0 * y1 * z0 * - 3 x1 * x2 * y0 * y1 * z0 * - 3 x0 * x2 * y0 * y1 * z0 * - 12 x1 2^* y0 * y1 * z0 * - 36 x0 2^* y0 * y1 * z0 * 12 x3 2^* y0 2^* z0 * 36 x0 * x3 * y0 2^* z0 * 12 x1 2^* y0 2^* z0 * - 36 x0 * x1 * y0 2^* z0 * - 161 mat 115 mat * :