Solution 1 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
14 4 13 4 12 2 4
0=1024*a22 *c12 - 2048*a22 *a33*c12 + 7168*a22 *a23 *c12
12 2 4 11 2 4 10 4 4
+ 1024*a22 *a33 *c12 - 6144*a22 *a23 *a33*c12 + 14592*a22 *a23 *c12
10 2 2 4 10 2 4 2
+ 3072*a22 *a23 *a33 *c12 + 64*a22 *a23 *b31 *c12
9 4 4 9 2 4 2 8 6 4
- 4608*a22 *a23 *a33*c12 - 128*a22 *a23 *a33*b31 *c12 + 8192*a22 *a23 *c12
8 4 2 4 8 4 4 2
+ 2304*a22 *a23 *a33 *c12 + 352*a22 *a23 *b31 *c12
8 2 2 4 2 7 6 4
+ 64*a22 *a23 *a33 *b31 *c12 + 2048*a22 *a23 *a33*c12
7 4 4 2 6 8 4
- 192*a22 *a23 *a33*b31 *c12 - 5632*a22 *a23 *c12
6 6 2 4 6 6 4 2
- 1024*a22 *a23 *a33 *c12 + 384*a22 *a23 *b31 *c12
6 4 2 4 2 6 4 8 5 8 4
+ 96*a22 *a23 *a33 *b31 *c12 + a22 *a23 *b31 + 3072*a22 *a23 *a33*c12
5 4 8 4 10 4 4 8 2 4
- 2*a22 *a23 *a33*b31 - 6144*a22 *a23 *c12 - 1536*a22 *a23 *a33 *c12
4 8 4 2 4 6 8 4 4 2 8
- 32*a22 *a23 *b31 *c12 + 4*a22 *a23 *b31 + a22 *a23 *a33 *b31
3 8 4 2 2 12 4 2 10 4 2
+ 64*a22 *a23 *a33*b31 *c12 + 256*a22 *a23 *c12 - 128*a22 *a23 *b31 *c12
2 8 2 4 2 12 4 14 4
- 32*a22 *a23 *a33 *b31 *c12 - 512*a22*a23 *a33*c12 + 1024*a23 *c12
12 2 4
+ 256*a23 *a33 *c12
Expressions
The solution is given through the following expressions:
10 4 9 4 8 2 4
r21=(256*a22 *c12 *r213 - 768*a22 *a33*c12 *r213 + 1536*a22 *a23 *c12 *r213
8 2 4 7 2 4
+ 704*a22 *a33 *c12 *r213 - 512*a22 *a23 *a33*c12 *r213
7 3 4 6 4 4
- 64*a22 *a33 *c12 *r213 + 384*a22 *a23 *c12 *r213
6 2 2 4 6 2 4 2
- 2560*a22 *a23 *a33 *c12 *r213 + 16*a22 *a23 *b31 *c12 *r213
6 4 4 5 4 4
- 192*a22 *a33 *c12 *r213 + 8128*a22 *a23 *a33*c12 *r213
5 2 3 4 5 2 4 2
+ 1280*a22 *a23 *a33 *c12 *r213 - 24*a22 *a23 *a33*b31 *c12 *r213
5 5 4 4 6 4
+ 64*a22 *a33 *c12 *r213 - 5760*a22 *a23 *c12 *r213
4 4 2 4 4 4 4 2
+ 1984*a22 *a23 *a33 *c12 *r213 + 48*a22 *a23 *b31 *c12 *r213
4 2 4 4 4 2 2 4 2
+ 256*a22 *a23 *a33 *c12 *r213 + 4*a22 *a23 *a33 *b31 *c12 *r213
3 6 4 3 4 3 4
- 7040*a22 *a23 *a33*c12 *r213 - 1216*a22 *a23 *a33 *c12 *r213
3 4 4 2 3 2 3 4 2
+ 56*a22 *a23 *a33*b31 *c12 *r213 + 8*a22 *a23 *a33 *b31 *c12 *r213
2 8 4 2 6 2 4
+ 3584*a22 *a23 *c12 *r213 + 384*a22 *a23 *a33 *c12 *r213
2 6 4 2 2 4 4 4
- 60*a22 *a23 *b31 *c12 *r213 - 64*a22 *a23 *a33 *c12 *r213
2 4 2 4 2 1 2 4 8
- 12*a22 *a23 *a33 *b31 *c12 *r213 + ---*a22 *a23 *b31 *r213
4
8 4 6 3 4
+ 512*a22*a23 *a33*c12 *r213 + 128*a22*a23 *a33 *c12 *r213
6 4 2 8 4 2
- 8*a22*a23 *a33*b31 *c12 *r213 + 4*a23 *b31 *c12 *r213)/(
2 4 2 6 6 6 8 6
a22 *a23 *a33 *b31 - 2*a22*a23 *a33*b31 + a23 *b31 )
11 4 10 4 9 2 4
r22=(128*a22 *c12 *r213 - 512*a22 *a33*c12 *r213 + 768*a22 *a23 *c12 *r213
9 2 4 8 2 4
+ 736*a22 *a33 *c12 *r213 - 1024*a22 *a23 *a33*c12 *r213
8 3 4 7 4 4
- 384*a22 *a33 *c12 *r213 + 192*a22 *a23 *c12 *r213
7 2 2 4 7 2 4 2
- 1024*a22 *a23 *a33 *c12 *r213 + 8*a22 *a23 *b31 *c12 *r213
7 4 4 6 4 4
- 64*a22 *a33 *c12 *r213 + 3872*a22 *a23 *a33*c12 *r213
6 2 3 4 6 2 4 2
+ 1920*a22 *a23 *a33 *c12 *r213 - 16*a22 *a23 *a33*b31 *c12 *r213
6 5 4 5 6 4
+ 128*a22 *a33 *c12 *r213 - 2880*a22 *a23 *c12 *r213
5 4 2 4 5 4 4 2
- 3072*a22 *a23 *a33 *c12 *r213 + 20*a22 *a23 *b31 *c12 *r213
5 2 4 4 5 2 2 4 2
- 512*a22 *a23 *a33 *c12 *r213 + 8*a22 *a23 *a33 *b31 *c12 *r213
5 6 4 4 6 4
- 32*a22 *a33 *c12 *r213 - 640*a22 *a23 *a33*c12 *r213
4 4 3 4 4 4 4 2
- 1600*a22 *a23 *a33 *c12 *r213 + 22*a22 *a23 *a33*b31 *c12 *r213
4 2 5 4 4 2 3 4 2
- 128*a22 *a23 *a33 *c12 *r213 + 2*a22 *a23 *a33 *b31 *c12 *r213
3 8 4 3 6 2 4
+ 1792*a22 *a23 *c12 *r213 + 3712*a22 *a23 *a33 *c12 *r213
3 6 4 2 3 4 4 4
- 42*a22 *a23 *b31 *c12 *r213 + 576*a22 *a23 *a33 *c12 *r213
3 4 2 4 2 1 3 4 8
- 18*a22 *a23 *a33 *b31 *c12 *r213 + ---*a22 *a23 *b31 *r213
8
3 2 4 4 2 2 8 4
- 2*a22 *a23 *a33 *b31 *c12 *r213 - 1536*a22 *a23 *a33*c12 *r213
2 6 3 4 2 6 4 2
- 128*a22 *a23 *a33 *c12 *r213 - 6*a22 *a23 *a33*b31 *c12 *r213
2 4 5 4 8 2 4
+ 32*a22 *a23 *a33 *c12 *r213 - 256*a22*a23 *a33 *c12 *r213
8 4 2 6 4 4
+ 18*a22*a23 *b31 *c12 *r213 - 64*a22*a23 *a33 *c12 *r213
6 2 4 2 1 6 8
+ 8*a22*a23 *a33 *b31 *c12 *r213 - ---*a22*a23 *b31 *r213
8
8 4 2 2 5 2 6 7 6
- 2*a23 *a33*b31 *c12 *r213)/(a22 *a23 *a33 *b31 - 2*a22*a23 *a33*b31
9 6
+ a23 *b31 )
r23=0
4 3 3 3 2 2 3
r24=(32*a22 *c12 *r213 - 48*a22 *a33*c12 *r213 + 96*a22 *a23 *c12 *r213
2 3 3 3 4 3
+ 128*a22*a23 *a33*c12 *r213 + 16*a22*a33 *c12 *r213 - 128*a23 *c12 *r213
2 2 3 2 4 3 4
- 32*a23 *a33 *c12 *r213 + a23 *b31 *c12*r213)/(a23 *b31 )
10 4 9 2 4
r25=( - 128*a22 *a33*c12 *r213 + 384*a22 *a33 *c12 *r213
8 2 4 8 3 4
- 768*a22 *a23 *a33*c12 *r213 - 224*a22 *a33 *c12 *r213
7 2 2 4 7 4 4
- 128*a22 *a23 *a33 *c12 *r213 - 160*a22 *a33 *c12 *r213
6 4 4 6 2 3 4
+ 192*a22 *a23 *a33*c12 *r213 + 2240*a22 *a23 *a33 *c12 *r213
6 5 4 5 6 4
+ 96*a22 *a33 *c12 *r213 - 128*a22 *a23 *c12 *r213
5 4 2 4 5 4 4 2
- 5792*a22 *a23 *a33 *c12 *r213 - 8*a22 *a23 *b31 *c12 *r213
5 2 4 4 5 6 4
- 128*a22 *a23 *a33 *c12 *r213 + 32*a22 *a33 *c12 *r213
4 6 4 4 4 3 4
+ 4224*a22 *a23 *a33*c12 *r213 - 3040*a22 *a23 *a33 *c12 *r213
4 4 4 2 4 2 5 4
+ 12*a22 *a23 *a33*b31 *c12 *r213 - 448*a22 *a23 *a33 *c12 *r213
4 2 3 4 2 3 8 4
+ 2*a22 *a23 *a33 *b31 *c12 *r213 - 384*a22 *a23 *c12 *r213
3 6 2 4 3 6 4 2
+ 6592*a22 *a23 *a33 *c12 *r213 - 24*a22 *a23 *b31 *c12 *r213
3 4 4 4 3 4 2 4 2
+ 1184*a22 *a23 *a33 *c12 *r213 - 8*a22 *a23 *a33 *b31 *c12 *r213
3 2 4 4 2 2 8 4
- 2*a22 *a23 *a33 *b31 *c12 *r213 - 3840*a22 *a23 *a33*c12 *r213
2 6 3 4 2 6 4 2
- 640*a22 *a23 *a33 *c12 *r213 - 22*a22 *a23 *a33*b31 *c12 *r213
2 4 5 4 1 2 4 8
+ 32*a22 *a23 *a33 *c12 *r213 + ---*a22 *a23 *a33*b31 *r213
8
10 4 8 2 4
+ 512*a22*a23 *c12 *r213 - 128*a22*a23 *a33 *c12 *r213
8 4 2 6 4 4
+ 28*a22*a23 *b31 *c12 *r213 - 64*a22*a23 *a33 *c12 *r213
6 2 4 2 1 6 8
+ 6*a22*a23 *a33 *b31 *c12 *r213 - ---*a22*a23 *b31 *r213)/(
4
2 5 2 6 7 6 9 6
a22 *a23 *a33 *b31 - 2*a22*a23 *a33*b31 + a23 *b31 )
6 3 5 3 4 2 3
r26=( - 64*a22 *c12 *r213 + 96*a22 *a33*c12 *r213 - 128*a22 *a23 *c12 *r213
3 2 3 3 3 3
- 352*a22 *a23 *a33*c12 *r213 - 32*a22 *a33 *c12 *r213
2 4 3 2 2 2 3
+ 448*a22 *a23 *c12 *r213 + 64*a22 *a23 *a33 *c12 *r213
2 2 4 4 3
- 2*a22 *a23 *b31 *c12*r213 + 256*a22*a23 *a33*c12 *r213
2 3 3 2 4
+ 32*a22*a23 *a33 *c12 *r213 + 2*a22*a23 *a33*b31 *c12*r213
6 3 4 2 3 4 5
- 256*a23 *c12 *r213 - 64*a23 *a33 *c12 *r213)/(a23 *b31 )
5 3 4 3 3 2 3
r27=(64*a22 *c12 *r213 - 96*a22 *a33*c12 *r213 + 192*a22 *a23 *c12 *r213
2 2 3 2 3 3
+ 256*a22 *a23 *a33*c12 *r213 + 32*a22 *a33 *c12 *r213
4 3 2 2 3
- 256*a22*a23 *c12 *r213 - 64*a22*a23 *a33 *c12 *r213
2 4 3 5
+ 2*a22*a23 *b31 *c12*r213)/(a23 *b31 )
6 2 5 2 4 2 2
r28=( - 16*a22 *c12 *r213 + 24*a22 *a33*c12 *r213 - 48*a22 *a23 *c12 *r213
3 2 2 3 3 2
- 64*a22 *a23 *a33*c12 *r213 - 8*a22 *a33 *c12 *r213
2 4 2 2 2 2 2
+ 64*a22 *a23 *c12 *r213 + 16*a22 *a23 *a33 *c12 *r213
1 2 2 4 1 2 4
- ---*a22 *a23 *b31 *r213 + ---*a22*a23 *a33*b31 *r213
2 2
1 4 4 3 3 5 3
- ---*a23 *b31 *r213)/(a22*a23 *a33*b31 - a23 *b31 )
2
1 1
- ---*a22*r213 + ---*a33*r213
2 2
r29=--------------------------------
a23
5 3 4 3 3 2 3
r210=(64*a22 *c12 *r213 - 96*a22 *a33*c12 *r213 + 192*a22 *a23 *c12 *r213
2 2 3 2 3 3
+ 256*a22 *a23 *a33*c12 *r213 + 32*a22 *a33 *c12 *r213
4 3 2 2 3
- 256*a22*a23 *c12 *r213 - 64*a22*a23 *a33 *c12 *r213
2 4 3 5
+ 2*a22*a23 *b31 *c12*r213)/(a23 *b31 )
6 2 5 2 2
r212=(16*a22 *a33*c12 *r213 - 24*a22 *a33 *c12 *r213
4 2 2 3 2 2 2
+ 48*a22 *a23 *a33*c12 *r213 + 64*a22 *a23 *a33 *c12 *r213
3 4 2 2 4 2
+ 8*a22 *a33 *c12 *r213 - 64*a22 *a23 *a33*c12 *r213
2 2 3 2 1 4 4
- 16*a22 *a23 *a33 *c12 *r213 + ---*a22*a23 *b31 *r213)/(
2
4 3 6 3
a22*a23 *a33*b31 - a23 *b31 )
7 2 6 2 2
r215=(16*a22 *a33*c12 *r213 - 24*a22 *a33 *c12 *r213
5 2 2 4 2 2 2
+ 48*a22 *a23 *a33*c12 *r213 + 64*a22 *a23 *a33 *c12 *r213
4 4 2 3 4 2
+ 8*a22 *a33 *c12 *r213 - 64*a22 *a23 *a33*c12 *r213
3 2 3 2 1 2 4 4
- 16*a22 *a23 *a33 *c12 *r213 + ---*a22 *a23 *b31 *r213)/(
2
5 3 7 3
a22*a23 *a33*b31 - a23 *b31 )
6 2 5 2 2
r216=( - 16*a22 *a33*c12 *r213 + 24*a22 *a33 *c12 *r213
4 2 2 3 2 2 2
- 48*a22 *a23 *a33*c12 *r213 - 64*a22 *a23 *a33 *c12 *r213
3 4 2 2 4 2
- 8*a22 *a33 *c12 *r213 + 64*a22 *a23 *a33*c12 *r213
2 2 3 2 1 4 4
+ 16*a22 *a23 *a33 *c12 *r213 - ---*a22*a23 *b31 *r213)/(
2
4 3 6 3
a22*a23 *a33*b31 - a23 *b31 )
6 3 5 3 4 2 3
r217=( - 64*a22 *c12 *r213 + 96*a22 *a33*c12 *r213 - 192*a22 *a23 *c12 *r213
3 2 3 3 3 3
- 256*a22 *a23 *a33*c12 *r213 - 32*a22 *a33 *c12 *r213
2 4 3 2 2 2 3
+ 256*a22 *a23 *c12 *r213 + 64*a22 *a23 *a33 *c12 *r213
2 2 4 2 4
- 2*a22 *a23 *b31 *c12*r213 + 2*a22*a23 *a33*b31 *c12*r213
4 4 4 5
- 2*a23 *b31 *c12*r213)/(a23 *b31 )
r218=0
r219=0
1
- ---*a22*r213
2
r220=-----------------
a23
5 2 4 2 3 2 2 3 2 2
c33=( - 8*a22 *c12 + 12*a22 *a33*c12 - 24*a22 *a23 *c12 + 4*a22 *a33 *c12
2 2 2 2 3 2 4 2
- 40*a22 *a23 *a33*c12 - 4*a22 *a33 *c12 + 36*a22*a23 *c12
2 2 2 1 2 4 2 2 4 2
+ 8*a22*a23 *a33 *c12 - ---*a22*a23 *b31 )/(a22*a23 *a33*b31 - a23 *b31
4
)
2 2 2
- 4*a22*a33*c12 + 4*a23 *c12
c23=---------------------------------
2
a23*b31
- a22*c12
c13=------------
a23
b33=0
b32=0
b13=0
b12=0
2
4*a22*a33*c12 - 4*a23 *c12
b11=----------------------------
a23*b31
5 2 4 2 3 2 2
c22=( - 8*a22 *c12 + 12*a22 *a33*c12 - 24*a22 *a23 *c12
2 2 2 4 2 1 2 4
- 32*a22 *a23 *a33*c12 + 32*a22*a23 *c12 - ---*a22*a23 *b31
4
4 2 2 2 4 2
+ 4*a23 *a33*c12 )/(a22*a23 *a33*b31 - a23 *b31 )
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
a33, r213, c12, b31, a22, a23
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{a22,a23,r213}
Relevance for the application:
Modulo the following equation:
14 4 13 4 12 2 4
0=1024*a22 *c12 - 2048*a22 *a33*c12 + 7168*a22 *a23 *c12
12 2 4 11 2 4 10 4 4
+ 1024*a22 *a33 *c12 - 6144*a22 *a23 *a33*c12 + 14592*a22 *a23 *c12
10 2 2 4 10 2 4 2 9 4 4
+ 3072*a22 *a23 *a33 *c12 + 64*a22 *a23 *b31 *c12 - 4608*a22 *a23 *a33*c12
9 2 4 2 8 6 4 8 4 2 4
- 128*a22 *a23 *a33*b31 *c12 + 8192*a22 *a23 *c12 + 2304*a22 *a23 *a33 *c12
8 4 4 2 8 2 2 4 2
+ 352*a22 *a23 *b31 *c12 + 64*a22 *a23 *a33 *b31 *c12
7 6 4 7 4 4 2 6 8 4
+ 2048*a22 *a23 *a33*c12 - 192*a22 *a23 *a33*b31 *c12 - 5632*a22 *a23 *c12
6 6 2 4 6 6 4 2
- 1024*a22 *a23 *a33 *c12 + 384*a22 *a23 *b31 *c12
6 4 2 4 2 6 4 8 5 8 4
+ 96*a22 *a23 *a33 *b31 *c12 + a22 *a23 *b31 + 3072*a22 *a23 *a33*c12
5 4 8 4 10 4 4 8 2 4
- 2*a22 *a23 *a33*b31 - 6144*a22 *a23 *c12 - 1536*a22 *a23 *a33 *c12
4 8 4 2 4 6 8 4 4 2 8
- 32*a22 *a23 *b31 *c12 + 4*a22 *a23 *b31 + a22 *a23 *a33 *b31
3 8 4 2 2 12 4 2 10 4 2
+ 64*a22 *a23 *a33*b31 *c12 + 256*a22 *a23 *c12 - 128*a22 *a23 *b31 *c12
2 8 2 4 2 12 4 14 4
- 32*a22 *a23 *a33 *b31 *c12 - 512*a22*a23 *a33*c12 + 1024*a23 *c12
12 2 4
+ 256*a23 *a33 *c12
the system of equations related to the Hamiltonian HAM:
HAM=(u1*v1
2 2 3 5
*(16*a22 *a23*a33 *b31*c12 - 32*a22*a23 *a33*b31*c12 + 16*a23 *b31*c12)
2 2 2 2 4 2
+ u2 *(4*a22 *a23 *a33*b31 - 4*a22*a23 *b31 )
3 2 5 2
+ u2*u3*(8*a22*a23 *a33*b31 - 8*a23 *b31 )
2 2 2 2 4 2
+ u3 *(4*a22*a23 *a33 *b31 - 4*a23 *a33*b31 )
2 3 4 3
+ u3*v1*(4*a22*a23 *a33*b31 - 4*a23 *b31 )
2 2 4 2
+ v1*v2*(8*a22*a23 *a33*b31 *c12 - 8*a23 *b31 *c12)
2 2 3 2 2
+ v1*v3*( - 8*a22 *a23*a33*b31 *c12 + 8*a22*a23 *b31 *c12) + v2 *(
5 2 4 2 3 2 2
- 32*a22 *c12 + 48*a22 *a33*c12 - 96*a22 *a23 *c12
2 2 2 4 2 2 4
- 128*a22 *a23 *a33*c12 + 128*a22*a23 *c12 - a22*a23 *b31
4 2
+ 16*a23 *a33*c12 )
2 2 2 3 2 5 2
+ v2*v3*( - 32*a22 *a23*a33 *c12 + 64*a22*a23 *a33*c12 - 32*a23 *c12 ) +
2 5 2 4 2 3 2 2
v3 *( - 32*a22 *c12 + 48*a22 *a33*c12 - 96*a22 *a23 *c12
3 2 2 2 2 2 2 3 2
+ 16*a22 *a33 *c12 - 160*a22 *a23 *a33*c12 - 16*a22 *a33 *c12
4 2 2 2 2 2 4
+ 144*a22*a23 *c12 + 32*a22*a23 *a33 *c12 - a22*a23 *b31 ))/(
2 2 4 2
4*a22*a23 *a33*b31 - 4*a23 *b31 )
has apart from the Hamiltonian and Casimirs only the following first integral:
2 3 4 2 6 2 6 6 8 6
FI=u1 *( - 4*a22 *a23 *a33 *b31 + 8*a22 *a23 *a33*b31 - 4*a22*a23 *b31 ) + u1
8 2 3 7 3 3
*v1*( - 512*a22 *a23*a33 *b31*c12 + 1024*a22 *a23 *a33*b31*c12
7 3 3 6 5 3
+ 768*a22 *a23*a33 *b31*c12 - 512*a22 *a23 *b31*c12
6 3 2 3 5 5 3
- 3072*a22 *a23 *a33 *b31*c12 + 3840*a22 *a23 *a33*b31*c12
5 3 3 3 5 5 3
- 2048*a22 *a23 *a33 *b31*c12 - 256*a22 *a23*a33 *b31*c12
4 7 3 4 5 2 3
- 1536*a22 *a23 *b31*c12 + 6144*a22 *a23 *a33 *b31*c12
4 3 4 3 4 3 2 5
+ 1024*a22 *a23 *a33 *b31*c12 - 16*a22 *a23 *a33 *b31 *c12
3 7 3 3 5 3 3
- 6144*a22 *a23 *a33*b31*c12 - 1280*a22 *a23 *a33 *b31*c12
3 5 5 3 3 3 5
+ 32*a22 *a23 *a33*b31 *c12 + 16*a22 *a23 *a33 *b31 *c12
2 9 3 2 7 2 3
+ 2048*a22 *a23 *b31*c12 + 512*a22 *a23 *a33 *b31*c12
2 7 5 2 5 2 5
- 16*a22 *a23 *b31 *c12 - 48*a22 *a23 *a33 *b31 *c12
7 5 9 5
+ 48*a22*a23 *a33*b31 *c12 - 16*a23 *b31 *c12) + u1*v2*(
7 2 3 2 6 3 3 2
- 128*a22 *a23*a33 *b31 *c12 + 128*a22 *a23 *a33*b31 *c12
6 3 3 2 5 3 2 3 2
+ 192*a22 *a23*a33 *b31 *c12 - 576*a22 *a23 *a33 *b31 *c12
4 5 3 2 4 3 3 3 2
+ 384*a22 *a23 *a33*b31 *c12 - 512*a22 *a23 *a33 *b31 *c12
4 5 3 2 3 5 2 3 2
- 64*a22 *a23*a33 *b31 *c12 + 1024*a22 *a23 *a33 *b31 *c12
3 3 4 3 2 2 7 3 2
+ 192*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
2 5 3 3 2 2 5 7 7 7
- 128*a22 *a23 *a33 *b31 *c12 - 4*a22 *a23 *a33*b31 + 4*a22*a23 *b31 )
8 2 3 2 7 2 3 2
+ u1*v3*(128*a22 *a33 *b31 *c12 - 128*a22 *a23 *a33*b31 *c12
7 3 3 2 6 2 2 3 2
- 192*a22 *a33 *b31 *c12 + 576*a22 *a23 *a33 *b31 *c12
5 4 3 2 5 2 3 3 2
- 384*a22 *a23 *a33*b31 *c12 + 512*a22 *a23 *a33 *b31 *c12
5 5 3 2 4 4 2 3 2
+ 64*a22 *a33 *b31 *c12 - 1024*a22 *a23 *a33 *b31 *c12
4 2 4 3 2 3 6 3 2
- 192*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *a33*b31 *c12
3 4 3 3 2 3 4 7
+ 128*a22 *a23 *a33 *b31 *c12 + 4*a22 *a23 *a33*b31
2 6 7
- 4*a22 *a23 *b31 )
2 5 2 6 7 6 9 6
+ u2*u3*(8*a22 *a23 *a33 *b31 - 16*a22*a23 *a33*b31 + 8*a23 *b31 ) + u2*v1
7 2 3 2 6 3 3 2
*(128*a22 *a23*a33 *b31 *c12 - 128*a22 *a23 *a33*b31 *c12
6 3 3 2 5 3 2 3 2
- 192*a22 *a23*a33 *b31 *c12 + 576*a22 *a23 *a33 *b31 *c12
4 5 3 2 4 3 3 3 2
- 384*a22 *a23 *a33*b31 *c12 + 512*a22 *a23 *a33 *b31 *c12
4 5 3 2 3 5 2 3 2
+ 64*a22 *a23*a33 *b31 *c12 - 1024*a22 *a23 *a33 *b31 *c12
3 3 4 3 2 2 7 3 2
- 192*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *a33*b31 *c12
2 5 3 3 2 2 5 7 7 7
+ 128*a22 *a23 *a33 *b31 *c12 + 4*a22 *a23 *a33*b31 - 4*a22*a23 *b31 ) +
7 2 2 3 6 4 3
u2*v3*(512*a22 *a23 *a33 *b31*c12 - 1024*a22 *a23 *a33*b31*c12
6 2 3 3 5 6 3
- 768*a22 *a23 *a33 *b31*c12 + 512*a22 *a23 *b31*c12
5 4 2 3 4 6 3
+ 3072*a22 *a23 *a33 *b31*c12 - 3840*a22 *a23 *a33*b31*c12
4 4 3 3 4 2 5 3
+ 2048*a22 *a23 *a33 *b31*c12 + 256*a22 *a23 *a33 *b31*c12
3 8 3 3 6 2 3
+ 1536*a22 *a23 *b31*c12 - 6144*a22 *a23 *a33 *b31*c12
3 4 4 3 3 4 2 5
- 1024*a22 *a23 *a33 *b31*c12 + 16*a22 *a23 *a33 *b31 *c12
2 8 3 2 6 3 3
+ 6144*a22 *a23 *a33*b31*c12 + 1280*a22 *a23 *a33 *b31*c12
2 6 5 10 3
- 32*a22 *a23 *a33*b31 *c12 - 2048*a22*a23 *b31*c12
8 2 3 8 5 2
- 512*a22*a23 *a33 *b31*c12 + 16*a22*a23 *b31 *c12) + u3 *(
3 4 2 6 2 6 6 2 4 3 6
- 4*a22 *a23 *a33 *b31 + 8*a22 *a23 *a33*b31 + 4*a22 *a23 *a33 *b31
8 6 6 2 6 8 6
- 4*a22*a23 *b31 - 8*a22*a23 *a33 *b31 + 4*a23 *a33*b31 ) + u3*v1*(
7 2 3 2 6 4 3 2
- 128*a22 *a23 *a33*b31 *c12 + 128*a22 *a23 *b31 *c12
6 2 2 3 2 5 4 3 2
+ 192*a22 *a23 *a33 *b31 *c12 - 576*a22 *a23 *a33*b31 *c12
4 6 3 2 4 4 2 3 2
+ 384*a22 *a23 *b31 *c12 - 512*a22 *a23 *a33 *b31 *c12
4 2 4 3 2 3 6 3 2
- 64*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33*b31 *c12
3 4 3 3 2 3 4 7
+ 192*a22 *a23 *a33 *b31 *c12 - 4*a22 *a23 *a33*b31
2 8 3 2 2 6 2 3 2
- 512*a22 *a23 *b31 *c12 - 128*a22 *a23 *a33 *b31 *c12
2 6 7 2 4 2 7 6 7
+ 4*a22 *a23 *b31 + 4*a22 *a23 *a33 *b31 - 8*a22*a23 *a33*b31
8 7 7 2 2 3
+ 4*a23 *b31 ) + u3*v2*(512*a22 *a23 *a33 *b31*c12
6 4 3 6 2 3 3
- 1024*a22 *a23 *a33*b31*c12 - 768*a22 *a23 *a33 *b31*c12
5 6 3 5 4 2 3
+ 512*a22 *a23 *b31*c12 + 3072*a22 *a23 *a33 *b31*c12
4 6 3 4 4 3 3
- 3840*a22 *a23 *a33*b31*c12 + 2048*a22 *a23 *a33 *b31*c12
4 2 5 3 3 8 3
+ 256*a22 *a23 *a33 *b31*c12 + 1536*a22 *a23 *b31*c12
3 6 2 3 3 4 4 3
- 6144*a22 *a23 *a33 *b31*c12 - 1024*a22 *a23 *a33 *b31*c12
3 4 2 5 2 8 3
+ 16*a22 *a23 *a33 *b31 *c12 + 6144*a22 *a23 *a33*b31*c12
2 6 3 3 2 6 5
+ 1280*a22 *a23 *a33 *b31*c12 - 32*a22 *a23 *a33*b31 *c12
10 3 8 2 3
- 2048*a22*a23 *b31*c12 - 512*a22*a23 *a33 *b31*c12
8 5 8 2 3
+ 16*a22*a23 *b31 *c12) + u3*v3*( - 512*a22 *a23*a33 *b31*c12
7 3 3 7 3 3
+ 1024*a22 *a23 *a33*b31*c12 + 768*a22 *a23*a33 *b31*c12
6 5 3 6 3 2 3
- 512*a22 *a23 *b31*c12 - 2560*a22 *a23 *a33 *b31*c12
5 5 3 5 3 3 3
+ 2816*a22 *a23 *a33*b31*c12 - 2816*a22 *a23 *a33 *b31*c12
5 5 3 4 7 3
- 256*a22 *a23*a33 *b31*c12 - 1024*a22 *a23 *b31*c12
4 5 2 3 4 3 4 3
+ 9216*a22 *a23 *a33 *b31*c12 + 1024*a22 *a23 *a33 *b31*c12
4 3 2 5 3 7 3
- 16*a22 *a23 *a33 *b31 *c12 - 9984*a22 *a23 *a33*b31*c12
3 5 3 3 3 5 5
+ 768*a22 *a23 *a33 *b31*c12 + 32*a22 *a23 *a33*b31 *c12
3 3 5 3 3 3 3 5
+ 256*a22 *a23 *a33 *b31*c12 + 16*a22 *a23 *a33 *b31 *c12
2 9 3 2 7 2 3
+ 3584*a22 *a23 *b31*c12 - 5632*a22 *a23 *a33 *b31*c12
2 7 5 2 5 4 3
- 16*a22 *a23 *b31 *c12 - 1024*a22 *a23 *a33 *b31*c12
2 5 2 5 9 3
- 32*a22 *a23 *a33 *b31 *c12 + 6144*a22*a23 *a33*b31*c12
7 3 3 7 5
+ 1280*a22*a23 *a33 *b31*c12 + 16*a22*a23 *a33*b31 *c12
11 3 9 2 3 2
- 2048*a23 *b31*c12 - 512*a23 *a33 *b31*c12 ) + v1 *(
10 4 9 2 4 8 2 4
- 1024*a22 *a33*c12 + 3072*a22 *a33 *c12 - 6144*a22 *a23 *a33*c12
8 3 4 7 2 2 4 7 4 4
- 1792*a22 *a33 *c12 - 1024*a22 *a23 *a33 *c12 - 1280*a22 *a33 *c12
6 4 4 6 2 3 4
+ 1536*a22 *a23 *a33*c12 + 17920*a22 *a23 *a33 *c12
6 5 4 5 6 4 5 4 2 4
+ 768*a22 *a33 *c12 - 1024*a22 *a23 *c12 - 46336*a22 *a23 *a33 *c12
5 4 4 2 5 2 4 4 5 6 4
- 64*a22 *a23 *b31 *c12 - 1024*a22 *a23 *a33 *c12 + 256*a22 *a33 *c12
4 6 4 4 4 3 4
+ 33792*a22 *a23 *a33*c12 - 24320*a22 *a23 *a33 *c12
4 4 4 2 4 2 5 4
+ 96*a22 *a23 *a33*b31 *c12 - 3584*a22 *a23 *a33 *c12
4 2 3 4 2 3 8 4
+ 16*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *c12
3 6 2 4 3 6 4 2
+ 52736*a22 *a23 *a33 *c12 - 192*a22 *a23 *b31 *c12
3 4 4 4 3 4 2 4 2
+ 9472*a22 *a23 *a33 *c12 - 64*a22 *a23 *a33 *b31 *c12
3 2 4 4 2 2 8 4
- 16*a22 *a23 *a33 *b31 *c12 - 30720*a22 *a23 *a33*c12
2 6 3 4 2 6 4 2
- 5120*a22 *a23 *a33 *c12 - 176*a22 *a23 *a33*b31 *c12
2 4 5 4 2 4 8 10 4
+ 256*a22 *a23 *a33 *c12 + a22 *a23 *a33*b31 + 4096*a22*a23 *c12
8 2 4 8 4 2
- 1024*a22*a23 *a33 *c12 + 224*a22*a23 *b31 *c12
6 4 4 6 2 4 2 6 8
- 512*a22*a23 *a33 *c12 + 48*a22*a23 *a33 *b31 *c12 - 2*a22*a23 *b31 )
6 2 2 2 3 5 4 2 3
+ v1*v2*(256*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
5 2 3 2 3 4 6 2 3
- 384*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *b31 *c12
4 4 2 2 3 3 6 2 3
+ 1536*a22 *a23 *a33 *b31 *c12 - 1920*a22 *a23 *a33*b31 *c12
3 4 3 2 3 3 2 5 2 3
+ 1024*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *a33 *b31 *c12
2 8 2 3 2 6 2 2 3
+ 768*a22 *a23 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
2 4 4 2 3 2 4 2 6
- 512*a22 *a23 *a33 *b31 *c12 + 8*a22 *a23 *a33 *b31 *c12
8 2 3 6 3 2 3
+ 3072*a22*a23 *a33*b31 *c12 + 640*a22*a23 *a33 *b31 *c12
6 6 10 2 3
- 16*a22*a23 *a33*b31 *c12 - 1024*a23 *b31 *c12
8 2 2 3 8 6 2 11 4
- 256*a23 *a33 *b31 *c12 + 8*a23 *b31 *c12) + v2 *(1024*a22 *c12
10 4 9 2 4 9 2 4
- 4096*a22 *a33*c12 + 6144*a22 *a23 *c12 + 5888*a22 *a33 *c12
8 2 4 8 3 4 7 4 4
- 8192*a22 *a23 *a33*c12 - 3072*a22 *a33 *c12 + 1536*a22 *a23 *c12
7 2 2 4 7 2 4 2 7 4 4
- 8192*a22 *a23 *a33 *c12 + 64*a22 *a23 *b31 *c12 - 512*a22 *a33 *c12
6 4 4 6 2 3 4
+ 30976*a22 *a23 *a33*c12 + 15360*a22 *a23 *a33 *c12
6 2 4 2 6 5 4
- 128*a22 *a23 *a33*b31 *c12 + 1024*a22 *a33 *c12
5 6 4 5 4 2 4
- 23040*a22 *a23 *c12 - 24576*a22 *a23 *a33 *c12
5 4 4 2 5 2 4 4
+ 160*a22 *a23 *b31 *c12 - 4096*a22 *a23 *a33 *c12
5 2 2 4 2 5 6 4
+ 64*a22 *a23 *a33 *b31 *c12 - 256*a22 *a33 *c12
4 6 4 4 4 3 4
- 5120*a22 *a23 *a33*c12 - 12800*a22 *a23 *a33 *c12
4 4 4 2 4 2 5 4
+ 176*a22 *a23 *a33*b31 *c12 - 1024*a22 *a23 *a33 *c12
4 2 3 4 2 3 8 4
+ 16*a22 *a23 *a33 *b31 *c12 + 14336*a22 *a23 *c12
3 6 2 4 3 6 4 2
+ 29696*a22 *a23 *a33 *c12 - 336*a22 *a23 *b31 *c12
3 4 4 4 3 4 2 4 2
+ 4608*a22 *a23 *a33 *c12 - 144*a22 *a23 *a33 *b31 *c12
3 4 8 3 2 4 4 2 2 8 4
+ a22 *a23 *b31 - 16*a22 *a23 *a33 *b31 *c12 - 12288*a22 *a23 *a33*c12
2 6 3 4 2 6 4 2
- 1024*a22 *a23 *a33 *c12 - 48*a22 *a23 *a33*b31 *c12
2 4 5 4 8 2 4
+ 256*a22 *a23 *a33 *c12 - 2048*a22*a23 *a33 *c12
8 4 2 6 4 4
+ 144*a22*a23 *b31 *c12 - 512*a22*a23 *a33 *c12
6 2 4 2 6 8 8 4 2
+ 64*a22*a23 *a33 *b31 *c12 - a22*a23 *b31 - 16*a23 *a33*b31 *c12 ) +
10 4 9 4 8 3 4
v2*v3*(2048*a22 *a23*c12 - 6144*a22 *a23*a33*c12 + 12288*a22 *a23 *c12
8 2 4 7 3 4
+ 5632*a22 *a23*a33 *c12 - 4096*a22 *a23 *a33*c12
7 3 4 6 5 4
- 512*a22 *a23*a33 *c12 + 3072*a22 *a23 *c12
6 3 2 4 6 3 4 2
- 20480*a22 *a23 *a33 *c12 + 128*a22 *a23 *b31 *c12
6 4 4 5 5 4
- 1536*a22 *a23*a33 *c12 + 65024*a22 *a23 *a33*c12
5 3 3 4 5 3 4 2
+ 10240*a22 *a23 *a33 *c12 - 192*a22 *a23 *a33*b31 *c12
5 5 4 4 7 4
+ 512*a22 *a23*a33 *c12 - 46080*a22 *a23 *c12
4 5 2 4 4 5 4 2
+ 15872*a22 *a23 *a33 *c12 + 384*a22 *a23 *b31 *c12
4 3 4 4 4 3 2 4 2
+ 2048*a22 *a23 *a33 *c12 + 32*a22 *a23 *a33 *b31 *c12
3 7 4 3 5 3 4
- 56320*a22 *a23 *a33*c12 - 9728*a22 *a23 *a33 *c12
3 5 4 2 3 3 3 4 2
+ 448*a22 *a23 *a33*b31 *c12 + 64*a22 *a23 *a33 *b31 *c12
2 9 4 2 7 2 4
+ 28672*a22 *a23 *c12 + 3072*a22 *a23 *a33 *c12
2 7 4 2 2 5 4 4
- 480*a22 *a23 *b31 *c12 - 512*a22 *a23 *a33 *c12
2 5 2 4 2 2 5 8
- 96*a22 *a23 *a33 *b31 *c12 + 2*a22 *a23 *b31
9 4 7 3 4
+ 4096*a22*a23 *a33*c12 + 1024*a22*a23 *a33 *c12
7 4 2 9 4 2
- 64*a22*a23 *a33*b31 *c12 + 32*a23 *b31 *c12 )
9 2 2 4 2 8 4 4 2
{HAM,FI} = u1*u2*v1*(256*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
8 2 3 4 2 7 6 4 2
- 384*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *b31 *c12
7 4 2 4 2 6 6 4 2
+ 1536*a22 *a23 *a33 *b31 *c12 - 1920*a22 *a23 *a33*b31 *c12
6 4 3 4 2 6 2 5 4 2
+ 1024*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *a33 *b31 *c12
5 8 4 2 5 6 2 4 2
+ 768*a22 *a23 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
5 4 4 4 2 4 8 4 2
- 512*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
4 6 3 4 2 3 10 4 2
+ 640*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
3 8 2 4 2
- 256*a22 *a23 *a33 *b31 *c12 ) + u1*u3*v1*(
8 3 2 4 2 7 5 4 2
256*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
7 3 3 4 2 6 7 4 2
- 384*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *b31 *c12
6 5 2 4 2 5 7 4 2
+ 1536*a22 *a23 *a33 *b31 *c12 - 1920*a22 *a23 *a33*b31 *c12
5 5 3 4 2 5 3 5 4 2
+ 1024*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *a33 *b31 *c12
4 9 4 2 4 7 2 4 2
+ 768*a22 *a23 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
4 5 4 4 2 3 9 4 2
- 512*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
3 7 3 4 2 2 11 4 2
+ 640*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
2 9 2 4 2
- 256*a22 *a23 *a33 *b31 *c12 ) + u1*u3*v2*(
8 3 3 2 3 7 5 2 2 3
- 1024*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
7 3 4 2 3 6 7 2 3
+ 1536*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33*b31 *c12
6 5 3 2 3 5 9 2 3
- 7680*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *b31 *c12
5 7 2 2 3 5 5 4 2 3
+ 13824*a22 *a23 *a33 *b31 *c12 - 4096*a22 *a23 *a33 *b31 *c12
5 3 6 2 3 4 9 2 3
- 512*a22 *a23 *a33 *b31 *c12 - 10752*a22 *a23 *a33*b31 *c12
4 7 3 2 3 4 5 5 2 3
+ 16384*a22 *a23 *a33 *b31 *c12 + 2560*a22 *a23 *a33 *b31 *c12
3 11 2 3 3 9 2 2 3
+ 3072*a22 *a23 *b31 *c12 - 24576*a22 *a23 *a33 *b31 *c12
3 7 4 2 3 2 11 2 3
- 4608*a22 *a23 *a33 *b31 *c12 + 16384*a22 *a23 *a33*b31 *c12
2 9 3 2 3 13 2 3
+ 3584*a22 *a23 *a33 *b31 *c12 - 4096*a22*a23 *b31 *c12
11 2 2 3
- 1024*a22*a23 *a33 *b31 *c12 ) + u1*u3*v3*(
7 4 3 2 3 6 6 2 2 3
- 1024*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
6 4 4 2 3 5 8 2 3
+ 1536*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33*b31 *c12
5 6 3 2 3 4 10 2 3
- 7680*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *b31 *c12
4 8 2 2 3 4 6 4 2 3
+ 13824*a22 *a23 *a33 *b31 *c12 - 4096*a22 *a23 *a33 *b31 *c12
4 4 6 2 3 3 10 2 3
- 512*a22 *a23 *a33 *b31 *c12 - 10752*a22 *a23 *a33*b31 *c12
3 8 3 2 3 3 6 5 2 3
+ 16384*a22 *a23 *a33 *b31 *c12 + 2560*a22 *a23 *a33 *b31 *c12
2 12 2 3 2 10 2 2 3
+ 3072*a22 *a23 *b31 *c12 - 24576*a22 *a23 *a33 *b31 *c12
2 8 4 2 3 12 2 3
- 4608*a22 *a23 *a33 *b31 *c12 + 16384*a22*a23 *a33*b31 *c12
10 3 2 3 14 2 3
+ 3584*a22*a23 *a33 *b31 *c12 - 4096*a23 *b31 *c12
12 2 2 3
- 1024*a23 *a33 *b31 *c12 ) + u1*v1*v2*(
9 3 3 3 8 3 2 3 3
- 512*a22 *a23*a33 *b31 *c12 + 1024*a22 *a23 *a33 *b31 *c12
8 4 3 3 7 5 3 3
+ 768*a22 *a23*a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
7 3 3 3 3 6 5 2 3 3
- 3072*a22 *a23 *a33 *b31 *c12 + 3840*a22 *a23 *a33 *b31 *c12
6 3 4 3 3 6 6 3 3
- 2048*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23*a33 *b31 *c12
5 7 3 3 5 5 3 3 3
- 1536*a22 *a23 *a33*b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
5 3 5 3 3 4 7 2 3 3
+ 1024*a22 *a23 *a33 *b31 *c12 - 6144*a22 *a23 *a33 *b31 *c12
4 5 4 3 3 3 9 3 3
- 1280*a22 *a23 *a33 *b31 *c12 + 2048*a22 *a23 *a33*b31 *c12
3 7 3 3 3
+ 512*a22 *a23 *a33 *b31 *c12 ) + u1*v1*v3*(
7 4 2 3 3 6 6 3 3
- 512*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33*b31 *c12
6 4 3 3 3 5 8 3 3
+ 768*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *b31 *c12
5 6 2 3 3 4 8 3 3
- 3072*a22 *a23 *a33 *b31 *c12 + 3840*a22 *a23 *a33*b31 *c12
4 6 3 3 3 4 4 5 3 3
- 2048*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *a33 *b31 *c12
3 10 3 3 3 8 2 3 3
- 1536*a22 *a23 *b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
3 6 4 3 3 2 10 3 3
+ 1024*a22 *a23 *a33 *b31 *c12 - 6144*a22 *a23 *a33*b31 *c12
2 8 3 3 3 12 3 3
- 1280*a22 *a23 *a33 *b31 *c12 + 2048*a22*a23 *b31 *c12
10 2 3 3 2
+ 512*a22*a23 *a33 *b31 *c12 ) + u1*v2 *(
8 3 3 4 7 5 2 4
- 2048*a22 *a23 *a33 *b31*c12 + 6144*a22 *a23 *a33 *b31*c12
7 3 4 4 6 7 4
+ 3072*a22 *a23 *a33 *b31*c12 - 6144*a22 *a23 *a33*b31*c12
6 5 3 4 5 9 4
- 15360*a22 *a23 *a33 *b31*c12 + 2048*a22 *a23 *b31*c12
5 7 2 4 5 5 4 4
+ 27648*a22 *a23 *a33 *b31*c12 - 8192*a22 *a23 *a33 *b31*c12
5 3 6 4 4 9 4
- 1024*a22 *a23 *a33 *b31*c12 - 21504*a22 *a23 *a33*b31*c12
4 7 3 4 4 5 5 4
+ 32768*a22 *a23 *a33 *b31*c12 + 5120*a22 *a23 *a33 *b31*c12
3 11 4 3 9 2 4
+ 6144*a22 *a23 *b31*c12 - 49152*a22 *a23 *a33 *b31*c12
3 7 4 4 2 11 4
- 9216*a22 *a23 *a33 *b31*c12 + 32768*a22 *a23 *a33*b31*c12
2 9 3 4 13 4
+ 7168*a22 *a23 *a33 *b31*c12 - 8192*a22*a23 *b31*c12
11 2 4
- 2048*a22*a23 *a33 *b31*c12 ) + u1*v2*v3*(
9 2 3 4 8 4 2 4
2048*a22 *a23 *a33 *b31*c12 - 6144*a22 *a23 *a33 *b31*c12
8 2 4 4 7 6 4
- 3072*a22 *a23 *a33 *b31*c12 + 6144*a22 *a23 *a33*b31*c12
7 4 3 4 6 8 4
+ 13312*a22 *a23 *a33 *b31*c12 - 2048*a22 *a23 *b31*c12
6 6 2 4 6 4 4 4
- 21504*a22 *a23 *a33 *b31*c12 + 11264*a22 *a23 *a33 *b31*c12
6 2 6 4 5 8 4
+ 1024*a22 *a23 *a33 *b31*c12 + 15360*a22 *a23 *a33*b31*c12
5 6 3 4 5 4 5 4
- 48128*a22 *a23 *a33 *b31*c12 - 5120*a22 *a23 *a33 *b31*c12
4 10 4 4 8 2 4
- 4096*a22 *a23 *b31*c12 + 76800*a22 *a23 *a33 *b31*c12
4 6 4 4 4 4 6 4
+ 1024*a22 *a23 *a33 *b31*c12 - 1024*a22 *a23 *a33 *b31*c12
3 10 4 3 8 3 4
- 54272*a22 *a23 *a33*b31*c12 + 25600*a22 *a23 *a33 *b31*c12
3 6 5 4 2 12 4
+ 5120*a22 *a23 *a33 *b31*c12 + 14336*a22 *a23 *b31*c12
2 10 2 4 2 8 4 4
- 47104*a22 *a23 *a33 *b31*c12 - 9216*a22 *a23 *a33 *b31*c12
12 4 10 3 4
+ 32768*a22*a23 *a33*b31*c12 + 7168*a22*a23 *a33 *b31*c12
14 4 12 2 4 2
- 8192*a23 *b31*c12 - 2048*a23 *a33 *b31*c12 ) + u1*v3 *(
8 3 3 4 7 5 2 4
2048*a22 *a23 *a33 *b31*c12 - 6144*a22 *a23 *a33 *b31*c12
7 3 4 4 6 7 4
- 3072*a22 *a23 *a33 *b31*c12 + 6144*a22 *a23 *a33*b31*c12
6 5 3 4 5 9 4
+ 15360*a22 *a23 *a33 *b31*c12 - 2048*a22 *a23 *b31*c12
5 7 2 4 5 5 4 4
- 27648*a22 *a23 *a33 *b31*c12 + 8192*a22 *a23 *a33 *b31*c12
5 3 6 4 4 9 4
+ 1024*a22 *a23 *a33 *b31*c12 + 21504*a22 *a23 *a33*b31*c12
4 7 3 4 4 5 5 4
- 32768*a22 *a23 *a33 *b31*c12 - 5120*a22 *a23 *a33 *b31*c12
3 11 4 3 9 2 4
- 6144*a22 *a23 *b31*c12 + 49152*a22 *a23 *a33 *b31*c12
3 7 4 4 2 11 4
+ 9216*a22 *a23 *a33 *b31*c12 - 32768*a22 *a23 *a33*b31*c12
2 9 3 4 13 4
- 7168*a22 *a23 *a33 *b31*c12 + 8192*a22*a23 *b31*c12
11 2 4
+ 2048*a22*a23 *a33 *b31*c12 ) + u2*u3*v1*(
8 3 3 2 3 7 5 2 2 3
- 1024*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
7 3 4 2 3 6 7 2 3
+ 1536*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33*b31 *c12
6 5 3 2 3 5 9 2 3
- 7680*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *b31 *c12
5 7 2 2 3 5 5 4 2 3
+ 13824*a22 *a23 *a33 *b31 *c12 - 4096*a22 *a23 *a33 *b31 *c12
5 3 6 2 3 4 9 2 3
- 512*a22 *a23 *a33 *b31 *c12 - 10752*a22 *a23 *a33*b31 *c12
4 7 3 2 3 4 5 5 2 3
+ 16384*a22 *a23 *a33 *b31 *c12 + 2560*a22 *a23 *a33 *b31 *c12
3 11 2 3 3 9 2 2 3
+ 3072*a22 *a23 *b31 *c12 - 24576*a22 *a23 *a33 *b31 *c12
3 7 4 2 3 2 11 2 3
- 4608*a22 *a23 *a33 *b31 *c12 + 16384*a22 *a23 *a33*b31 *c12
2 9 3 2 3 13 2 3
+ 3584*a22 *a23 *a33 *b31 *c12 - 4096*a22*a23 *b31 *c12
11 2 2 3
- 1024*a22*a23 *a33 *b31 *c12 ) + u2*u3*v2*(
8 3 2 4 2 7 5 4 2
256*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
7 3 3 4 2 6 7 4 2
- 384*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *b31 *c12
6 5 2 4 2 5 7 4 2
+ 1536*a22 *a23 *a33 *b31 *c12 - 1920*a22 *a23 *a33*b31 *c12
5 5 3 4 2 5 3 5 4 2
+ 1024*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *a33 *b31 *c12
4 9 4 2 4 7 2 4 2
+ 768*a22 *a23 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
4 5 4 4 2 3 9 4 2
- 512*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
3 7 3 4 2 2 11 4 2
+ 640*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
2 9 2 4 2
- 256*a22 *a23 *a33 *b31 *c12 ) + u2*u3*v3*(
9 2 2 4 2 8 4 4 2
- 256*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *a33*b31 *c12
8 2 3 4 2 7 6 4 2
+ 640*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *b31 *c12
7 4 2 4 2 7 2 4 4 2
- 2048*a22 *a23 *a33 *b31 *c12 - 384*a22 *a23 *a33 *b31 *c12
6 6 4 2 6 4 3 4 2
+ 2176*a22 *a23 *a33*b31 *c12 + 512*a22 *a23 *a33 *b31 *c12
6 2 5 4 2 5 8 4 2
- 128*a22 *a23 *a33 *b31 *c12 - 768*a22 *a23 *b31 *c12
5 6 2 4 2 5 4 4 4 2
+ 1152*a22 *a23 *a33 *b31 *c12 + 1536*a22 *a23 *a33 *b31 *c12
5 2 6 4 2 4 8 4 2
+ 128*a22 *a23 *a33 *b31 *c12 - 2304*a22 *a23 *a33*b31 *c12
4 6 3 4 2 4 4 5 4 2
- 3712*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33 *b31 *c12
3 10 4 2 3 8 2 4 2
+ 1024*a22 *a23 *b31 *c12 + 3328*a22 *a23 *a33 *b31 *c12
3 6 4 4 2 2 10 4 2
+ 640*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *a33*b31 *c12
2 8 3 4 2 2
- 256*a22 *a23 *a33 *b31 *c12 ) + u2*v1 *(
6 5 2 3 3 5 7 3 3
- 512*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33*b31 *c12
5 5 3 3 3 4 9 3 3
+ 768*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *b31 *c12
4 7 2 3 3 3 9 3 3
- 3072*a22 *a23 *a33 *b31 *c12 + 3840*a22 *a23 *a33*b31 *c12
3 7 3 3 3 3 5 5 3 3
- 2048*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *a33 *b31 *c12
2 11 3 3 2 9 2 3 3
- 1536*a22 *a23 *b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
2 7 4 3 3 11 3 3
+ 1024*a22 *a23 *a33 *b31 *c12 - 6144*a22*a23 *a33*b31 *c12
9 3 3 3 13 3 3
- 1280*a22*a23 *a33 *b31 *c12 + 2048*a23 *b31 *c12
11 2 3 3
+ 512*a23 *a33 *b31 *c12 ) + u2*v1*v3*(
11 2 4 10 4 4
4096*a22 *a23 *a33*b31*c12 - 4096*a22 *a23 *b31*c12
10 2 2 4 9 4 4
- 12288*a22 *a23 *a33 *b31*c12 + 36864*a22 *a23 *a33*b31*c12
9 2 3 4 8 6 4
+ 9216*a22 *a23 *a33 *b31*c12 - 24576*a22 *a23 *b31*c12
8 4 2 4 8 2 4 4
- 13312*a22 *a23 *a33 *b31*c12 + 2048*a22 *a23 *a33 *b31*c12
8 2 2 5 2 7 6 4
+ 128*a22 *a23 *a33 *b31 *c12 + 8192*a22 *a23 *a33*b31*c12
7 4 3 4 7 4 5 2
- 57344*a22 *a23 *a33 *b31*c12 - 128*a22 *a23 *a33*b31 *c12
7 2 5 4 7 2 3 5 2
- 3072*a22 *a23 *a33 *b31*c12 - 192*a22 *a23 *a33 *b31 *c12
6 8 4 6 6 2 4
- 4096*a22 *a23 *b31*c12 + 204800*a22 *a23 *a33 *b31*c12
6 4 4 4 6 4 2 5 2
+ 18432*a22 *a23 *a33 *b31*c12 + 576*a22 *a23 *a33 *b31 *c12
5 8 4 5 6 3 4
- 249856*a22 *a23 *a33*b31*c12 + 28672*a22 *a23 *a33 *b31*c12
5 6 5 2 5 4 5 4
- 384*a22 *a23 *a33*b31 *c12 + 8192*a22 *a23 *a33 *b31*c12
5 4 3 5 2 5 2 5 5 2
+ 512*a22 *a23 *a33 *b31 *c12 + 64*a22 *a23 *a33 *b31 *c12
4 10 4 4 8 2 4
+ 100352*a22 *a23 *b31*c12 - 165888*a22 *a23 *a33 *b31*c12
4 6 4 4 4 6 2 5 2
- 40960*a22 *a23 *a33 *b31*c12 - 1024*a22 *a23 *a33 *b31 *c12
4 4 6 4 4 4 4 5 2
- 1024*a22 *a23 *a33 *b31*c12 - 192*a22 *a23 *a33 *b31 *c12
3 10 4 3 8 3 4
+ 181248*a22 *a23 *a33*b31*c12 + 65536*a22 *a23 *a33 *b31*c12
3 8 5 2 3 6 5 4
+ 512*a22 *a23 *a33*b31 *c12 + 4096*a22 *a23 *a33 *b31*c12
3 6 3 5 2 2 12 4
+ 128*a22 *a23 *a33 *b31 *c12 - 59392*a22 *a23 *b31*c12
2 10 2 4 2 8 4 4
- 49152*a22 *a23 *a33 *b31*c12 - 6144*a22 *a23 *a33 *b31*c12
12 4 10 3 4
+ 24576*a22*a23 *a33*b31*c12 + 5120*a22*a23 *a33 *b31*c12
14 4 12 2 4 2
- 8192*a23 *b31*c12 - 2048*a23 *a33 *b31*c12 ) + u2*v2 *(
6 5 2 3 3 5 7 3 3
512*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *a33*b31 *c12
5 5 3 3 3 4 9 3 3
- 768*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *b31 *c12
4 7 2 3 3 3 9 3 3
+ 3072*a22 *a23 *a33 *b31 *c12 - 3840*a22 *a23 *a33*b31 *c12
3 7 3 3 3 3 5 5 3 3
+ 2048*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *a33 *b31 *c12
2 11 3 3 2 9 2 3 3
+ 1536*a22 *a23 *b31 *c12 - 6144*a22 *a23 *a33 *b31 *c12
2 7 4 3 3 11 3 3
- 1024*a22 *a23 *a33 *b31 *c12 + 6144*a22*a23 *a33*b31 *c12
9 3 3 3 13 3 3
+ 1280*a22*a23 *a33 *b31 *c12 - 2048*a23 *b31 *c12
11 2 3 3
- 512*a23 *a33 *b31 *c12 ) + u2*v2*v3*(
7 4 2 3 3 6 6 3 3
- 512*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33*b31 *c12
6 4 3 3 3 5 8 3 3
+ 768*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *b31 *c12
5 6 2 3 3 4 8 3 3
- 3072*a22 *a23 *a33 *b31 *c12 + 3840*a22 *a23 *a33*b31 *c12
4 6 3 3 3 4 4 5 3 3
- 2048*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *a33 *b31 *c12
3 10 3 3 3 8 2 3 3
- 1536*a22 *a23 *b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
3 6 4 3 3 2 10 3 3
+ 1024*a22 *a23 *a33 *b31 *c12 - 6144*a22 *a23 *a33*b31 *c12
2 8 3 3 3 12 3 3
- 1280*a22 *a23 *a33 *b31 *c12 + 2048*a22*a23 *b31 *c12
10 2 3 3 2
+ 512*a22*a23 *a33 *b31 *c12 ) + u3 *v1*(
7 4 3 2 3 6 6 2 2 3
- 1024*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
6 4 4 2 3 5 8 2 3
+ 1536*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33*b31 *c12
5 6 3 2 3 4 10 2 3
- 7680*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *b31 *c12
4 8 2 2 3 4 6 4 2 3
+ 13824*a22 *a23 *a33 *b31 *c12 - 4096*a22 *a23 *a33 *b31 *c12
4 4 6 2 3 3 10 2 3
- 512*a22 *a23 *a33 *b31 *c12 - 10752*a22 *a23 *a33*b31 *c12
3 8 3 2 3 3 6 5 2 3
+ 16384*a22 *a23 *a33 *b31 *c12 + 2560*a22 *a23 *a33 *b31 *c12
2 12 2 3 2 10 2 2 3
+ 3072*a22 *a23 *b31 *c12 - 24576*a22 *a23 *a33 *b31 *c12
2 8 4 2 3 12 2 3
- 4608*a22 *a23 *a33 *b31 *c12 + 16384*a22*a23 *a33*b31 *c12
10 3 2 3 14 2 3
+ 3584*a22*a23 *a33 *b31 *c12 - 4096*a23 *b31 *c12
12 2 2 3 2
- 1024*a23 *a33 *b31 *c12 ) + u3 *v3*(
8 3 2 4 2 7 5 4 2
- 256*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *a33*b31 *c12
7 3 3 4 2 6 7 4 2
+ 384*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *b31 *c12
6 5 2 4 2 5 7 4 2
- 1536*a22 *a23 *a33 *b31 *c12 + 1920*a22 *a23 *a33*b31 *c12
5 5 3 4 2 5 3 5 4 2
- 1024*a22 *a23 *a33 *b31 *c12 - 128*a22 *a23 *a33 *b31 *c12
4 9 4 2 4 7 2 4 2
- 768*a22 *a23 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
4 5 4 4 2 3 9 4 2
+ 512*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33*b31 *c12
3 7 3 4 2 2 11 4 2
- 640*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *b31 *c12
2 9 2 4 2 2
+ 256*a22 *a23 *a33 *b31 *c12 ) + u3*v1 *(
8 2 3 3 3 7 4 2 3 3
512*a22 *a23 *a33 *b31 *c12 - 1536*a22 *a23 *a33 *b31 *c12
7 2 4 3 3 6 6 3 3
- 768*a22 *a23 *a33 *b31 *c12 + 1536*a22 *a23 *a33*b31 *c12
6 4 3 3 3 5 8 3 3
+ 3328*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *b31 *c12
5 6 2 3 3 5 4 4 3 3
- 5888*a22 *a23 *a33 *b31 *c12 + 2816*a22 *a23 *a33 *b31 *c12
5 2 6 3 3 4 8 3 3
+ 256*a22 *a23 *a33 *b31 *c12 + 4864*a22 *a23 *a33*b31 *c12
4 6 3 3 3 4 4 5 3 3
- 11264*a22 *a23 *a33 *b31 *c12 - 1280*a22 *a23 *a33 *b31 *c12
3 10 3 3 3 8 2 3 3
- 1536*a22 *a23 *b31 *c12 + 16128*a22 *a23 *a33 *b31 *c12
3 6 4 3 3 3 4 6 3 3
+ 256*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *a33 *b31 *c12
2 10 3 3 2 8 3 3 3
- 9728*a22 *a23 *a33*b31 *c12 + 4352*a22 *a23 *a33 *b31 *c12
2 6 5 3 3 12 3 3
+ 1024*a22 *a23 *a33 *b31 *c12 + 2048*a22*a23 *b31 *c12
10 2 3 3 8 4 3 3
- 5632*a22*a23 *a33 *b31 *c12 - 1280*a22*a23 *a33 *b31 *c12
12 3 3 10 3 3 3
+ 2048*a23 *a33*b31 *c12 + 512*a23 *a33 *b31 *c12 ) + u3*v1*v2
11 2 4 10 4 4
*( - 4096*a22 *a23 *a33*b31*c12 + 4096*a22 *a23 *b31*c12
10 2 2 4 9 4 4
+ 12288*a22 *a23 *a33 *b31*c12 - 36864*a22 *a23 *a33*b31*c12
9 2 3 4 8 6 4
- 9216*a22 *a23 *a33 *b31*c12 + 24576*a22 *a23 *b31*c12
8 4 2 4 8 2 4 4
+ 13312*a22 *a23 *a33 *b31*c12 + 2048*a22 *a23 *a33 *b31*c12
7 6 4 7 4 3 4
- 8192*a22 *a23 *a33*b31*c12 + 40960*a22 *a23 *a33 *b31*c12
7 4 5 2 7 2 5 4
- 128*a22 *a23 *a33*b31 *c12 - 3072*a22 *a23 *a33 *b31*c12
6 8 4 6 6 2 4
+ 4096*a22 *a23 *b31*c12 - 180224*a22 *a23 *a33 *b31*c12
6 6 5 2 6 4 4 4
+ 128*a22 *a23 *b31 *c12 + 18432*a22 *a23 *a33 *b31*c12
6 4 2 5 2 5 8 4
+ 192*a22 *a23 *a33 *b31 *c12 + 233472*a22 *a23 *a33*b31*c12
5 6 3 4 5 6 5 2
- 114688*a22 *a23 *a33 *b31*c12 - 576*a22 *a23 *a33*b31 *c12
5 4 5 4 5 2 7 4
+ 8192*a22 *a23 *a33 *b31*c12 + 2048*a22 *a23 *a33 *b31*c12
4 10 4 4 8 2 4
- 96256*a22 *a23 *b31*c12 + 264192*a22 *a23 *a33 *b31*c12
4 8 5 2 4 6 4 4
+ 384*a22 *a23 *b31 *c12 - 40960*a22 *a23 *a33 *b31*c12
4 6 2 5 2 4 4 6 4
- 512*a22 *a23 *a33 *b31 *c12 - 11264*a22 *a23 *a33 *b31*c12
4 4 4 5 2 3 10 4
- 64*a22 *a23 *a33 *b31 *c12 - 236544*a22 *a23 *a33*b31*c12
3 8 3 4 3 8 5 2
+ 98304*a22 *a23 *a33 *b31*c12 + 1024*a22 *a23 *a33*b31 *c12
3 6 5 4 3 6 3 5 2
+ 24576*a22 *a23 *a33 *b31*c12 + 192*a22 *a23 *a33 *b31 *c12
2 12 4 2 10 2 4
+ 71680*a22 *a23 *b31*c12 - 114688*a22 *a23 *a33 *b31*c12
2 10 5 2 2 8 4 4
- 512*a22 *a23 *b31 *c12 - 26624*a22 *a23 *a33 *b31*c12
2 8 2 5 2 12 4
- 128*a22 *a23 *a33 *b31 *c12 + 57344*a22*a23 *a33*b31*c12
10 3 4 14 4
+ 13312*a22*a23 *a33 *b31*c12 - 8192*a23 *b31*c12
12 2 4
- 2048*a23 *a33 *b31*c12 ) + u3*v1*v3*(
7 3 2 5 2 6 5 5 2
128*a22 *a23 *a33 *b31 *c12 - 256*a22 *a23 *a33*b31 *c12
6 3 3 5 2 5 7 5 2
- 192*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *b31 *c12
5 5 2 5 2 4 7 5 2
+ 768*a22 *a23 *a33 *b31 *c12 - 960*a22 *a23 *a33*b31 *c12
4 5 3 5 2 4 3 5 5 2
+ 512*a22 *a23 *a33 *b31 *c12 + 64*a22 *a23 *a33 *b31 *c12
3 9 5 2 3 7 2 5 2
+ 384*a22 *a23 *b31 *c12 - 1536*a22 *a23 *a33 *b31 *c12
3 5 4 5 2 2 9 5 2
- 256*a22 *a23 *a33 *b31 *c12 + 1536*a22 *a23 *a33*b31 *c12
2 7 3 5 2 11 5 2
+ 320*a22 *a23 *a33 *b31 *c12 - 512*a22*a23 *b31 *c12
9 2 5 2 2
- 128*a22*a23 *a33 *b31 *c12 ) + u3*v2 *(
7 4 2 3 3 6 6 3 3
- 512*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33*b31 *c12
6 4 3 3 3 5 8 3 3
+ 1280*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *b31 *c12
5 6 2 3 3 5 4 4 3 3
- 4096*a22 *a23 *a33 *b31 *c12 - 768*a22 *a23 *a33 *b31 *c12
4 8 3 3 4 6 3 3 3
+ 4352*a22 *a23 *a33*b31 *c12 + 1024*a22 *a23 *a33 *b31 *c12
4 4 5 3 3 3 10 3 3
- 256*a22 *a23 *a33 *b31 *c12 - 1536*a22 *a23 *b31 *c12
3 8 2 3 3 3 6 4 3 3
+ 2304*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
3 4 6 3 3 2 10 3 3
+ 256*a22 *a23 *a33 *b31 *c12 - 4608*a22 *a23 *a33*b31 *c12
2 8 3 3 3 2 6 5 3 3
- 7424*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *a33 *b31 *c12
12 3 3 10 2 3 3
+ 2048*a22*a23 *b31 *c12 + 6656*a22*a23 *a33 *b31 *c12
8 4 3 3 12 3 3
+ 1280*a22*a23 *a33 *b31 *c12 - 2048*a23 *a33*b31 *c12
10 3 3 3
- 512*a23 *a33 *b31 *c12 ) + u3*v2*v3*(
8 3 2 3 3 7 5 3 3
512*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *a33*b31 *c12
7 3 3 3 3 6 7 3 3
- 768*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *b31 *c12
6 5 2 3 3 5 7 3 3
+ 2048*a22 *a23 *a33 *b31 *c12 - 1792*a22 *a23 *a33*b31 *c12
5 5 3 3 3 5 3 5 3 3
+ 3584*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *a33 *b31 *c12
4 9 3 3 4 7 2 3 3
+ 512*a22 *a23 *b31 *c12 - 12288*a22 *a23 *a33 *b31 *c12
4 5 4 3 3 3 9 3 3
- 1024*a22 *a23 *a33 *b31 *c12 + 13824*a22 *a23 *a33*b31 *c12
3 7 3 3 3 3 5 5 3 3
- 2816*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33 *b31 *c12
2 11 3 3 2 9 2 3 3
- 5120*a22 *a23 *b31 *c12 + 11776*a22 *a23 *a33 *b31 *c12
2 7 4 3 3 11 3 3
+ 2048*a22 *a23 *a33 *b31 *c12 - 12288*a22*a23 *a33*b31 *c12
9 3 3 3 13 3 3
- 2560*a22*a23 *a33 *b31 *c12 + 4096*a23 *b31 *c12
11 2 3 3 2
+ 1024*a23 *a33 *b31 *c12 ) + u3*v3 *(
7 4 2 3 3 6 6 3 3
512*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *a33*b31 *c12
6 4 3 3 3 5 8 3 3
- 768*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23 *b31 *c12
5 6 2 3 3 4 8 3 3
+ 3072*a22 *a23 *a33 *b31 *c12 - 3840*a22 *a23 *a33*b31 *c12
4 6 3 3 3 4 4 5 3 3
+ 2048*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *a33 *b31 *c12
3 10 3 3 3 8 2 3 3
+ 1536*a22 *a23 *b31 *c12 - 6144*a22 *a23 *a33 *b31 *c12
3 6 4 3 3 2 10 3 3
- 1024*a22 *a23 *a33 *b31 *c12 + 6144*a22 *a23 *a33*b31 *c12
2 8 3 3 3 12 3 3
+ 1280*a22 *a23 *a33 *b31 *c12 - 2048*a22*a23 *b31 *c12
10 2 3 3 3
- 512*a22*a23 *a33 *b31 *c12 ) + v1 *(
8 2 2 4 3 7 4 4 3
256*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33*b31 *c12
7 2 3 4 3 6 6 4 3
- 384*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *b31 *c12
6 4 2 4 3 5 6 4 3
+ 1280*a22 *a23 *a33 *b31 *c12 - 1408*a22 *a23 *a33*b31 *c12
5 4 3 4 3 5 2 5 4 3
+ 1408*a22 *a23 *a33 *b31 *c12 + 128*a22 *a23 *a33 *b31 *c12
4 8 4 3 4 6 2 4 3
+ 512*a22 *a23 *b31 *c12 - 4608*a22 *a23 *a33 *b31 *c12
4 4 4 4 3 3 8 4 3
- 512*a22 *a23 *a33 *b31 *c12 + 4992*a22 *a23 *a33*b31 *c12
3 6 3 4 3 3 4 5 4 3
- 384*a22 *a23 *a33 *b31 *c12 - 128*a22 *a23 *a33 *b31 *c12
2 10 4 3 2 8 2 4 3
- 1792*a22 *a23 *b31 *c12 + 2816*a22 *a23 *a33 *b31 *c12
2 6 4 4 3 10 4 3
+ 512*a22 *a23 *a33 *b31 *c12 - 3072*a22*a23 *a33*b31 *c12
8 3 4 3 12 4 3
- 640*a22*a23 *a33 *b31 *c12 + 1024*a23 *b31 *c12
10 2 4 3 2
+ 256*a23 *a33 *b31 *c12 ) + v1 *v2*(
8 2 3 2 4 7 4 2 2 4
3072*a22 *a23 *a33 *b31 *c12 - 7168*a22 *a23 *a33 *b31 *c12
7 2 4 2 4 6 6 2 4
- 4608*a22 *a23 *a33 *b31 *c12 + 5120*a22 *a23 *a33*b31 *c12
6 4 3 2 4 5 8 2 4
+ 19968*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
5 6 2 2 4 5 4 4 2 4
- 29184*a22 *a23 *a33 *b31 *c12 + 12288*a22 *a23 *a33 *b31 *c12
5 2 6 2 4 4 8 2 4
+ 1536*a22 *a23 *a33 *b31 *c12 + 16896*a22 *a23 *a33*b31 *c12
4 6 3 2 4 4 4 5 2 4
- 40960*a22 *a23 *a33 *b31 *c12 - 6656*a22 *a23 *a33 *b31 *c12
3 10 2 4 3 8 2 2 4
- 3072*a22 *a23 *b31 *c12 + 49152*a22 *a23 *a33 *b31 *c12
3 6 4 2 4 2 10 2 4
+ 9728*a22 *a23 *a33 *b31 *c12 - 24576*a22 *a23 *a33*b31 *c12
2 8 3 2 4 12 2 4
- 5632*a22 *a23 *a33 *b31 *c12 + 4096*a22*a23 *b31 *c12
10 2 2 4 2
+ 1024*a22*a23 *a33 *b31 *c12 ) + v1 *v3*(
11 2 4 10 3 2 4
2048*a22 *a23*a33*b31 *c12 - 2048*a22 *a23 *b31 *c12
10 2 2 4 9 3 2 4
- 6144*a22 *a23*a33 *b31 *c12 + 18432*a22 *a23 *a33*b31 *c12
9 3 2 4 8 5 2 4
+ 3584*a22 *a23*a33 *b31 *c12 - 12288*a22 *a23 *b31 *c12
8 3 2 2 4 8 4 2 4
- 3584*a22 *a23 *a33 *b31 *c12 + 3584*a22 *a23*a33 *b31 *c12
7 5 2 4 7 3 3 2 4
+ 1024*a22 *a23 *a33*b31 *c12 - 36352*a22 *a23 *a33 *b31 *c12
7 3 6 2 7 5 2 4
+ 64*a22 *a23 *a33*b31 *c12 - 3072*a22 *a23*a33 *b31 *c12
6 7 2 4 6 5 2 2 4
- 1024*a22 *a23 *b31 *c12 + 112128*a22 *a23 *a33 *b31 *c12
6 5 6 2 6 3 4 2 4
- 64*a22 *a23 *b31 *c12 + 8192*a22 *a23 *a33 *b31 *c12
6 3 2 6 2 6 6 2 4
- 96*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23*a33 *b31 *c12
5 7 2 4 5 5 3 2 4
- 131584*a22 *a23 *a33*b31 *c12 + 36864*a22 *a23 *a33 *b31 *c12
5 5 6 2 5 3 5 2 4
+ 288*a22 *a23 *a33*b31 *c12 + 10752*a22 *a23 *a33 *b31 *c12
5 7 2 4 4 9 2 4
+ 512*a22 *a23*a33 *b31 *c12 + 52224*a22 *a23 *b31 *c12
4 7 2 2 4 4 7 6 2
- 125952*a22 *a23 *a33 *b31 *c12 - 192*a22 *a23 *b31 *c12
4 5 4 2 4 4 5 2 6 2
- 29184*a22 *a23 *a33 *b31 *c12 + 256*a22 *a23 *a33 *b31 *c12
4 3 6 2 4 4 3 4 6 2
- 1536*a22 *a23 *a33 *b31 *c12 + 32*a22 *a23 *a33 *b31 *c12
3 9 2 4 3 7 3 2 4
+ 120832*a22 *a23 *a33*b31 *c12 + 19968*a22 *a23 *a33 *b31 *c12
3 7 6 2 3 5 3 6 2
- 512*a22 *a23 *a33*b31 *c12 - 96*a22 *a23 *a33 *b31 *c12
2 11 2 4 2 9 2 2 4
- 36864*a22 *a23 *b31 *c12 + 7168*a22 *a23 *a33 *b31 *c12
2 9 6 2 2 7 4 2 4
+ 256*a22 *a23 *b31 *c12 + 3072*a22 *a23 *a33 *b31 *c12
2 7 2 6 2 11 2 4
+ 64*a22 *a23 *a33 *b31 *c12 - 8192*a22*a23 *a33*b31 *c12
9 3 2 4 2
- 2048*a22*a23 *a33 *b31 *c12 ) + v1*v2 *(
11 2 5 10 4 5
- 16384*a22 *a23 *a33*c12 + 16384*a22 *a23 *c12
10 2 2 5 9 4 5
+ 49152*a22 *a23 *a33 *c12 - 147456*a22 *a23 *a33*c12
9 2 3 5 8 6 5
- 36864*a22 *a23 *a33 *c12 + 98304*a22 *a23 *c12
8 4 2 5 8 2 4 5
+ 53248*a22 *a23 *a33 *c12 - 8192*a22 *a23 *a33 *c12
8 2 2 4 3 7 6 5
+ 256*a22 *a23 *a33 *b31 *c12 - 32768*a22 *a23 *a33*c12
7 4 3 5 7 4 4 3
+ 221184*a22 *a23 *a33 *c12 - 1024*a22 *a23 *a33*b31 *c12
7 2 5 5 7 2 3 4 3
+ 12288*a22 *a23 *a33 *c12 - 384*a22 *a23 *a33 *b31 *c12
6 8 5 6 6 2 5
+ 16384*a22 *a23 *c12 - 794624*a22 *a23 *a33 *c12
6 6 4 3 6 4 4 5
+ 768*a22 *a23 *b31 *c12 - 61440*a22 *a23 *a33 *c12
6 4 2 4 3 5 8 5
+ 2560*a22 *a23 *a33 *b31 *c12 + 974848*a22 *a23 *a33*c12
5 6 3 5 5 6 4 3
- 176128*a22 *a23 *a33 *c12 - 4736*a22 *a23 *a33*b31 *c12
5 4 5 5 5 4 3 4 3
- 32768*a22 *a23 *a33 *c12 + 640*a22 *a23 *a33 *b31 *c12
5 2 5 4 3 4 10 5
+ 128*a22 *a23 *a33 *b31 *c12 - 393216*a22 *a23 *c12
4 8 2 5 4 8 4 3
+ 774144*a22 *a23 *a33 *c12 + 2560*a22 *a23 *b31 *c12
4 6 4 5 4 6 2 4 3
+ 131072*a22 *a23 *a33 *c12 - 3584*a22 *a23 *a33 *b31 *c12
4 4 4 4 3 3 10 5
- 768*a22 *a23 *a33 *b31 *c12 - 811008*a22 *a23 *a33*c12
3 8 3 5 3 8 4 3
- 131072*a22 *a23 *a33 *c12 + 5248*a22 *a23 *a33*b31 *c12
3 6 5 5 3 6 3 4 3
+ 4096*a22 *a23 *a33 *c12 + 2432*a22 *a23 *a33 *b31 *c12
3 4 5 4 3 2 12 5
+ 128*a22 *a23 *a33 *b31 *c12 + 262144*a22 *a23 *c12
2 10 4 3 2 8 4 5
- 2304*a22 *a23 *b31 *c12 - 12288*a22 *a23 *a33 *c12
2 8 2 4 3 2 6 4 4 3
- 3840*a22 *a23 *a33 *b31 *c12 - 512*a22 *a23 *a33 *b31 *c12
12 5 10 3 5
+ 32768*a22*a23 *a33*c12 + 8192*a22*a23 *a33 *c12
10 4 3 8 3 4 3
+ 3072*a22*a23 *a33*b31 *c12 + 640*a22*a23 *a33 *b31 *c12
12 4 3 10 2 4 3
- 1024*a23 *b31 *c12 - 256*a23 *a33 *b31 *c12 ) + v1*v2*v3*(
12 5 11 3 5
16384*a22 *a23*a33*c12 - 16384*a22 *a23 *c12
11 2 5 10 3 5
- 57344*a22 *a23*a33 *c12 + 147456*a22 *a23 *a33*c12
10 3 5 9 5 5
+ 61440*a22 *a23*a33 *c12 - 90112*a22 *a23 *c12
9 3 2 5 9 4 5
- 102400*a22 *a23 *a33 *c12 - 10240*a22 *a23*a33 *c12
9 2 4 3 8 5 5
- 256*a22 *a23*a33 *b31 *c12 + 8192*a22 *a23 *a33*c12
8 3 3 5 8 3 4 3
- 212992*a22 *a23 *a33 *c12 + 1024*a22 *a23 *a33*b31 *c12
8 5 5 8 3 4 3
- 16384*a22 *a23*a33 *c12 + 384*a22 *a23*a33 *b31 *c12
7 7 5 7 5 2 5
+ 32768*a22 *a23 *c12 + 804864*a22 *a23 *a33 *c12
7 5 4 3 7 3 4 5
- 768*a22 *a23 *b31 *c12 + 167936*a22 *a23 *a33 *c12
7 3 2 4 3 7 6 5
- 2304*a22 *a23 *a33 *b31 *c12 + 6144*a22 *a23*a33 *c12
6 7 5 6 5 3 5
- 983040*a22 *a23 *a33*c12 - 110592*a22 *a23 *a33 *c12
6 5 4 3 6 3 5 5
+ 3712*a22 *a23 *a33*b31 *c12 + 8192*a22 *a23 *a33 *c12
6 3 3 4 3 6 5 4 3
- 1024*a22 *a23 *a33 *b31 *c12 - 128*a22 *a23*a33 *b31 *c12
5 9 5 5 7 2 5
+ 401408*a22 *a23 *c12 - 684032*a22 *a23 *a33 *c12
5 7 4 3 5 5 4 5
- 1792*a22 *a23 *b31 *c12 - 249856*a22 *a23 *a33 *c12
5 5 2 4 3 5 3 6 5
+ 5888*a22 *a23 *a33 *b31 *c12 - 16384*a22 *a23 *a33 *c12
5 3 4 4 3 4 9 5
+ 768*a22 *a23 *a33 *b31 *c12 + 1101824*a22 *a23 *a33*c12
4 7 3 5 4 7 4 3
+ 430080*a22 *a23 *a33 *c12 - 9472*a22 *a23 *a33*b31 *c12
4 5 5 5 4 5 3 4 3
+ 45056*a22 *a23 *a33 *c12 - 1408*a22 *a23 *a33 *b31 *c12
3 11 5 3 9 2 5
- 458752*a22 *a23 *c12 - 18432*a22 *a23 *a33 *c12
3 9 4 3 3 7 4 5
+ 4608*a22 *a23 *b31 *c12 + 12288*a22 *a23 *a33 *c12
3 7 2 4 3 3 5 6 5
- 1280*a22 *a23 *a33 *b31 *c12 + 2048*a22 *a23 *a33 *c12
3 5 4 4 3 2 11 5
- 256*a22 *a23 *a33 *b31 *c12 - 307200*a22 *a23 *a33*c12
2 9 3 5 2 9 4 3
- 73728*a22 *a23 *a33 *c12 + 4096*a22 *a23 *a33*b31 *c12
2 7 5 5 2 7 3 4 3
- 4096*a22 *a23 *a33 *c12 + 768*a22 *a23 *a33 *b31 *c12
13 5 11 2 5
+ 131072*a22*a23 *c12 + 16384*a22*a23 *a33 *c12
11 4 3 9 4 5
- 2048*a22*a23 *b31 *c12 - 2048*a22*a23 *a33 *c12
9 2 4 3 13 5
- 512*a22*a23 *a33 *b31 *c12 + 16384*a23 *a33*c12
11 3 5 2 11 2 5
+ 4096*a23 *a33 *c12 ) + v1*v3 *(16384*a22 *a23 *a33*c12
10 4 5 10 2 2 5
- 16384*a22 *a23 *c12 - 49152*a22 *a23 *a33 *c12
9 4 5 9 2 3 5
+ 147456*a22 *a23 *a33*c12 + 36864*a22 *a23 *a33 *c12
8 6 5 8 4 2 5
- 98304*a22 *a23 *c12 - 53248*a22 *a23 *a33 *c12
8 2 4 5 8 2 2 4 3
+ 12288*a22 *a23 *a33 *c12 - 512*a22 *a23 *a33 *b31 *c12
7 6 5 7 4 3 5
+ 32768*a22 *a23 *a33*c12 - 237568*a22 *a23 *a33 *c12
7 4 4 3 7 2 5 5
+ 1536*a22 *a23 *a33*b31 *c12 - 18432*a22 *a23 *a33 *c12
7 2 3 4 3 6 8 5
+ 768*a22 *a23 *a33 *b31 *c12 - 16384*a22 *a23 *c12
6 6 2 5 6 6 4 3
+ 819200*a22 *a23 *a33 *c12 - 1024*a22 *a23 *b31 *c12
6 4 4 5 6 4 2 4 3
+ 98304*a22 *a23 *a33 *c12 - 3840*a22 *a23 *a33 *b31 *c12
5 8 5 5 6 3 5
- 991232*a22 *a23 *a33*c12 + 90112*a22 *a23 *a33 *c12
5 6 4 3 5 4 5 5
+ 6144*a22 *a23 *a33*b31 *c12 + 49152*a22 *a23 *a33 *c12
5 4 3 4 3 5 2 7 5
- 2048*a22 *a23 *a33 *b31 *c12 + 2048*a22 *a23 *a33 *c12
5 2 5 4 3 4 10 5
- 256*a22 *a23 *a33 *b31 *c12 + 397312*a22 *a23 *c12
4 8 2 5 4 8 4 3
- 675840*a22 *a23 *a33 *c12 - 3072*a22 *a23 *b31 *c12
4 6 4 5 4 6 2 4 3
- 212992*a22 *a23 *a33 *c12 + 8192*a22 *a23 *a33 *b31 *c12
4 4 6 5 4 4 4 4 3
- 12288*a22 *a23 *a33 *c12 + 1280*a22 *a23 *a33 *b31 *c12
3 10 5 3 8 3 5
+ 755712*a22 *a23 *a33*c12 + 294912*a22 *a23 *a33 *c12
3 8 4 3 3 6 5 5
- 10240*a22 *a23 *a33*b31 *c12 + 24576*a22 *a23 *a33 *c12
3 6 3 4 3 2 12 5
- 2048*a22 *a23 *a33 *b31 *c12 - 249856*a22 *a23 *c12
2 10 2 5 2 10 4 3
- 163840*a22 *a23 *a33 *c12 + 4096*a22 *a23 *b31 *c12
2 8 4 5 2 8 2 4 3
- 20480*a22 *a23 *a33 *c12 + 1024*a22 *a23 *a33 *b31 *c12
12 5 10 3 5
+ 49152*a22*a23 *a33*c12 + 10240*a22*a23 *a33 *c12
14 5 12 2 5 3
- 16384*a23 *c12 - 4096*a23 *a33 *c12 ) + v2 *(
8 2 3 2 4 7 4 2 2 4
1024*a22 *a23 *a33 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
7 2 4 2 4 6 6 2 4
- 1536*a22 *a23 *a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
6 4 3 2 4 5 8 2 4
+ 7680*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
5 6 2 2 4 5 4 4 2 4
- 13824*a22 *a23 *a33 *b31 *c12 + 4096*a22 *a23 *a33 *b31 *c12
5 2 6 2 4 4 8 2 4
+ 512*a22 *a23 *a33 *b31 *c12 + 10752*a22 *a23 *a33*b31 *c12
4 6 3 2 4 4 4 5 2 4
- 16384*a22 *a23 *a33 *b31 *c12 - 2560*a22 *a23 *a33 *b31 *c12
3 10 2 4 3 8 2 2 4
- 3072*a22 *a23 *b31 *c12 + 24576*a22 *a23 *a33 *b31 *c12
3 6 4 2 4 2 10 2 4
+ 4608*a22 *a23 *a33 *b31 *c12 - 16384*a22 *a23 *a33*b31 *c12
2 8 3 2 4 12 2 4
- 3584*a22 *a23 *a33 *b31 *c12 + 4096*a22*a23 *b31 *c12
10 2 2 4 2
+ 1024*a22*a23 *a33 *b31 *c12 ) + v2 *v3*(
9 3 2 4 8 3 2 2 4
- 2048*a22 *a23*a33 *b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
8 4 2 4 7 5 2 4
+ 4096*a22 *a23*a33 *b31 *c12 - 6144*a22 *a23 *a33*b31 *c12
7 3 3 2 4 7 5 2 4
- 17408*a22 *a23 *a33 *b31 *c12 - 1536*a22 *a23*a33 *b31 *c12
6 7 2 4 6 5 2 2 4
+ 2048*a22 *a23 *b31 *c12 + 27648*a22 *a23 *a33 *b31 *c12
6 3 4 2 4 6 6 2 4
- 2048*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23*a33 *b31 *c12
5 7 2 4 5 5 3 2 4
- 19456*a22 *a23 *a33*b31 *c12 + 26624*a22 *a23 *a33 *b31 *c12
5 3 5 2 4 5 7 2 4
+ 9216*a22 *a23 *a33 *b31 *c12 + 512*a22 *a23*a33 *b31 *c12
4 9 2 4 4 7 2 2 4
+ 5120*a22 *a23 *b31 *c12 - 52224*a22 *a23 *a33 *b31 *c12
4 5 4 2 4 4 3 6 2 4
- 21504*a22 *a23 *a33 *b31 *c12 - 2048*a22 *a23 *a33 *b31 *c12
3 9 2 4 3 7 3 2 4
+ 40448*a22 *a23 *a33*b31 *c12 + 15360*a22 *a23 *a33 *b31 *c12
3 5 5 2 4 2 11 2 4
+ 2048*a22 *a23 *a33 *b31 *c12 - 11264*a22 *a23 *b31 *c12
2 9 2 2 4 2 7 4 2 4
+ 6144*a22 *a23 *a33 *b31 *c12 + 1024*a22 *a23 *a33 *b31 *c12
11 2 4 9 3 2 4
- 12288*a22*a23 *a33*b31 *c12 - 2560*a22*a23 *a33 *b31 *c12
13 2 4 11 2 2 4 2
+ 4096*a23 *b31 *c12 + 1024*a23 *a33 *b31 *c12 ) + v2*v3 *(
10 3 2 4 9 2 2 2 4
1024*a22 *a33 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
9 4 2 4 8 4 2 4
- 2560*a22 *a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
8 2 3 2 4 8 5 2 4
+ 8704*a22 *a23 *a33 *b31 *c12 + 1536*a22 *a33 *b31 *c12
7 6 2 4 7 4 2 2 4
- 1024*a22 *a23 *b31 *c12 - 10752*a22 *a23 *a33 *b31 *c12
7 2 4 2 4 7 6 2 4
- 512*a22 *a23 *a33 *b31 *c12 + 512*a22 *a33 *b31 *c12
6 6 2 4 6 4 3 2 4
+ 5632*a22 *a23 *a33*b31 *c12 - 17920*a22 *a23 *a33 *b31 *c12
6 2 5 2 4 6 7 2 4
- 6656*a22 *a23 *a33 *b31 *c12 - 512*a22 *a33 *b31 *c12
5 8 2 4 5 6 2 2 4
- 1024*a22 *a23 *b31 *c12 + 41472*a22 *a23 *a33 *b31 *c12
5 4 4 2 4 5 2 6 2 4
+ 12800*a22 *a23 *a33 *b31 *c12 + 1536*a22 *a23 *a33 *b31 *c12
4 8 2 4 4 6 3 2 4
- 34816*a22 *a23 *a33*b31 *c12 + 4608*a22 *a23 *a33 *b31 *c12
4 4 5 2 4 3 10 2 4
+ 512*a22 *a23 *a33 *b31 *c12 + 10240*a22 *a23 *b31 *c12
3 8 2 2 4 3 6 4 2 4
- 31744*a22 *a23 *a33 *b31 *c12 - 5632*a22 *a23 *a33 *b31 *c12
2 10 2 4 2 8 3 2 4
+ 28672*a22 *a23 *a33*b31 *c12 + 6144*a22 *a23 *a33 *b31 *c12
12 2 4 10 2 2 4 3
- 8192*a22*a23 *b31 *c12 - 2048*a22*a23 *a33 *b31 *c12 ) + v3
9 3 2 4 8 3 2 2 4
*(1024*a22 *a23*a33 *b31 *c12 - 3072*a22 *a23 *a33 *b31 *c12
8 4 2 4 7 5 2 4
- 1536*a22 *a23*a33 *b31 *c12 + 3072*a22 *a23 *a33*b31 *c12
7 3 3 2 4 6 7 2 4
+ 7680*a22 *a23 *a33 *b31 *c12 - 1024*a22 *a23 *b31 *c12
6 5 2 2 4 6 3 4 2 4
- 13824*a22 *a23 *a33 *b31 *c12 + 4096*a22 *a23 *a33 *b31 *c12
6 6 2 4 5 7 2 4
+ 512*a22 *a23*a33 *b31 *c12 + 10752*a22 *a23 *a33*b31 *c12
5 5 3 2 4 5 3 5 2 4
- 16384*a22 *a23 *a33 *b31 *c12 - 2560*a22 *a23 *a33 *b31 *c12
4 9 2 4 4 7 2 2 4
- 3072*a22 *a23 *b31 *c12 + 24576*a22 *a23 *a33 *b31 *c12
4 5 4 2 4 3 9 2 4
+ 4608*a22 *a23 *a33 *b31 *c12 - 16384*a22 *a23 *a33*b31 *c12
3 7 3 2 4 2 11 2 4
- 3584*a22 *a23 *a33 *b31 *c12 + 4096*a22 *a23 *b31 *c12
2 9 2 2 4
+ 1024*a22 *a23 *a33 *b31 *c12 )
And again in machine readable form:
HAM=(u1*v1*(16*a22**2*a23*a33**2*b31*c12 - 32*a22*a23**3*a33*b31*c12 + 16*a23**5
*b31*c12) + u2**2*(4*a22**2*a23**2*a33*b31**2 - 4*a22*a23**4*b31**2) + u2*u3*(8*
a22*a23**3*a33*b31**2 - 8*a23**5*b31**2) + u3**2*(4*a22*a23**2*a33**2*b31**2 - 4
*a23**4*a33*b31**2) + u3*v1*(4*a22*a23**2*a33*b31**3 - 4*a23**4*b31**3) + v1*v2*
(8*a22*a23**2*a33*b31**2*c12 - 8*a23**4*b31**2*c12) + v1*v3*( - 8*a22**2*a23*a33
*b31**2*c12 + 8*a22*a23**3*b31**2*c12) + v2**2*( - 32*a22**5*c12**2 + 48*a22**4*
a33*c12**2 - 96*a22**3*a23**2*c12**2 - 128*a22**2*a23**2*a33*c12**2 + 128*a22*
a23**4*c12**2 - a22*a23**2*b31**4 + 16*a23**4*a33*c12**2) + v2*v3*( - 32*a22**2*
a23*a33**2*c12**2 + 64*a22*a23**3*a33*c12**2 - 32*a23**5*c12**2) + v3**2*( - 32*
a22**5*c12**2 + 48*a22**4*a33*c12**2 - 96*a22**3*a23**2*c12**2 + 16*a22**3*a33**
2*c12**2 - 160*a22**2*a23**2*a33*c12**2 - 16*a22**2*a33**3*c12**2 + 144*a22*a23
**4*c12**2 + 32*a22*a23**2*a33**2*c12**2 - a22*a23**2*b31**4))/(4*a22*a23**2*a33
*b31**2 - 4*a23**4*b31**2)$
FI=u1**2*( - 4*a22**3*a23**4*a33**2*b31**6 + 8*a22**2*a23**6*a33*b31**6 - 4*a22*
a23**8*b31**6) + u1*v1*( - 512*a22**8*a23*a33**2*b31*c12**3 + 1024*a22**7*a23**3
*a33*b31*c12**3 + 768*a22**7*a23*a33**3*b31*c12**3 - 512*a22**6*a23**5*b31*c12**
3 - 3072*a22**6*a23**3*a33**2*b31*c12**3 + 3840*a22**5*a23**5*a33*b31*c12**3 -
2048*a22**5*a23**3*a33**3*b31*c12**3 - 256*a22**5*a23*a33**5*b31*c12**3 - 1536*
a22**4*a23**7*b31*c12**3 + 6144*a22**4*a23**5*a33**2*b31*c12**3 + 1024*a22**4*
a23**3*a33**4*b31*c12**3 - 16*a22**4*a23**3*a33**2*b31**5*c12 - 6144*a22**3*a23
**7*a33*b31*c12**3 - 1280*a22**3*a23**5*a33**3*b31*c12**3 + 32*a22**3*a23**5*a33
*b31**5*c12 + 16*a22**3*a23**3*a33**3*b31**5*c12 + 2048*a22**2*a23**9*b31*c12**3
+ 512*a22**2*a23**7*a33**2*b31*c12**3 - 16*a22**2*a23**7*b31**5*c12 - 48*a22**2
*a23**5*a33**2*b31**5*c12 + 48*a22*a23**7*a33*b31**5*c12 - 16*a23**9*b31**5*c12)
+ u1*v2*( - 128*a22**7*a23*a33**2*b31**3*c12**2 + 128*a22**6*a23**3*a33*b31**3*
c12**2 + 192*a22**6*a23*a33**3*b31**3*c12**2 - 576*a22**5*a23**3*a33**2*b31**3*
c12**2 + 384*a22**4*a23**5*a33*b31**3*c12**2 - 512*a22**4*a23**3*a33**3*b31**3*
c12**2 - 64*a22**4*a23*a33**5*b31**3*c12**2 + 1024*a22**3*a23**5*a33**2*b31**3*
c12**2 + 192*a22**3*a23**3*a33**4*b31**3*c12**2 - 512*a22**2*a23**7*a33*b31**3*
c12**2 - 128*a22**2*a23**5*a33**3*b31**3*c12**2 - 4*a22**2*a23**5*a33*b31**7 + 4
*a22*a23**7*b31**7) + u1*v3*(128*a22**8*a33**2*b31**3*c12**2 - 128*a22**7*a23**2
*a33*b31**3*c12**2 - 192*a22**7*a33**3*b31**3*c12**2 + 576*a22**6*a23**2*a33**2*
b31**3*c12**2 - 384*a22**5*a23**4*a33*b31**3*c12**2 + 512*a22**5*a23**2*a33**3*
b31**3*c12**2 + 64*a22**5*a33**5*b31**3*c12**2 - 1024*a22**4*a23**4*a33**2*b31**
3*c12**2 - 192*a22**4*a23**2*a33**4*b31**3*c12**2 + 512*a22**3*a23**6*a33*b31**3
*c12**2 + 128*a22**3*a23**4*a33**3*b31**3*c12**2 + 4*a22**3*a23**4*a33*b31**7 -
4*a22**2*a23**6*b31**7) + u2*u3*(8*a22**2*a23**5*a33**2*b31**6 - 16*a22*a23**7*
a33*b31**6 + 8*a23**9*b31**6) + u2*v1*(128*a22**7*a23*a33**2*b31**3*c12**2 - 128
*a22**6*a23**3*a33*b31**3*c12**2 - 192*a22**6*a23*a33**3*b31**3*c12**2 + 576*a22
**5*a23**3*a33**2*b31**3*c12**2 - 384*a22**4*a23**5*a33*b31**3*c12**2 + 512*a22
**4*a23**3*a33**3*b31**3*c12**2 + 64*a22**4*a23*a33**5*b31**3*c12**2 - 1024*a22
**3*a23**5*a33**2*b31**3*c12**2 - 192*a22**3*a23**3*a33**4*b31**3*c12**2 + 512*
a22**2*a23**7*a33*b31**3*c12**2 + 128*a22**2*a23**5*a33**3*b31**3*c12**2 + 4*a22
**2*a23**5*a33*b31**7 - 4*a22*a23**7*b31**7) + u2*v3*(512*a22**7*a23**2*a33**2*
b31*c12**3 - 1024*a22**6*a23**4*a33*b31*c12**3 - 768*a22**6*a23**2*a33**3*b31*
c12**3 + 512*a22**5*a23**6*b31*c12**3 + 3072*a22**5*a23**4*a33**2*b31*c12**3 -
3840*a22**4*a23**6*a33*b31*c12**3 + 2048*a22**4*a23**4*a33**3*b31*c12**3 + 256*
a22**4*a23**2*a33**5*b31*c12**3 + 1536*a22**3*a23**8*b31*c12**3 - 6144*a22**3*
a23**6*a33**2*b31*c12**3 - 1024*a22**3*a23**4*a33**4*b31*c12**3 + 16*a22**3*a23
**4*a33**2*b31**5*c12 + 6144*a22**2*a23**8*a33*b31*c12**3 + 1280*a22**2*a23**6*
a33**3*b31*c12**3 - 32*a22**2*a23**6*a33*b31**5*c12 - 2048*a22*a23**10*b31*c12**
3 - 512*a22*a23**8*a33**2*b31*c12**3 + 16*a22*a23**8*b31**5*c12) + u3**2*( - 4*
a22**3*a23**4*a33**2*b31**6 + 8*a22**2*a23**6*a33*b31**6 + 4*a22**2*a23**4*a33**
3*b31**6 - 4*a22*a23**8*b31**6 - 8*a22*a23**6*a33**2*b31**6 + 4*a23**8*a33*b31**
6) + u3*v1*( - 128*a22**7*a23**2*a33*b31**3*c12**2 + 128*a22**6*a23**4*b31**3*
c12**2 + 192*a22**6*a23**2*a33**2*b31**3*c12**2 - 576*a22**5*a23**4*a33*b31**3*
c12**2 + 384*a22**4*a23**6*b31**3*c12**2 - 512*a22**4*a23**4*a33**2*b31**3*c12**
2 - 64*a22**4*a23**2*a33**4*b31**3*c12**2 + 1024*a22**3*a23**6*a33*b31**3*c12**2
+ 192*a22**3*a23**4*a33**3*b31**3*c12**2 - 4*a22**3*a23**4*a33*b31**7 - 512*a22
**2*a23**8*b31**3*c12**2 - 128*a22**2*a23**6*a33**2*b31**3*c12**2 + 4*a22**2*a23
**6*b31**7 + 4*a22**2*a23**4*a33**2*b31**7 - 8*a22*a23**6*a33*b31**7 + 4*a23**8*
b31**7) + u3*v2*(512*a22**7*a23**2*a33**2*b31*c12**3 - 1024*a22**6*a23**4*a33*
b31*c12**3 - 768*a22**6*a23**2*a33**3*b31*c12**3 + 512*a22**5*a23**6*b31*c12**3
+ 3072*a22**5*a23**4*a33**2*b31*c12**3 - 3840*a22**4*a23**6*a33*b31*c12**3 +
2048*a22**4*a23**4*a33**3*b31*c12**3 + 256*a22**4*a23**2*a33**5*b31*c12**3 +
1536*a22**3*a23**8*b31*c12**3 - 6144*a22**3*a23**6*a33**2*b31*c12**3 - 1024*a22
**3*a23**4*a33**4*b31*c12**3 + 16*a22**3*a23**4*a33**2*b31**5*c12 + 6144*a22**2*
a23**8*a33*b31*c12**3 + 1280*a22**2*a23**6*a33**3*b31*c12**3 - 32*a22**2*a23**6*
a33*b31**5*c12 - 2048*a22*a23**10*b31*c12**3 - 512*a22*a23**8*a33**2*b31*c12**3
+ 16*a22*a23**8*b31**5*c12) + u3*v3*( - 512*a22**8*a23*a33**2*b31*c12**3 + 1024*
a22**7*a23**3*a33*b31*c12**3 + 768*a22**7*a23*a33**3*b31*c12**3 - 512*a22**6*a23
**5*b31*c12**3 - 2560*a22**6*a23**3*a33**2*b31*c12**3 + 2816*a22**5*a23**5*a33*
b31*c12**3 - 2816*a22**5*a23**3*a33**3*b31*c12**3 - 256*a22**5*a23*a33**5*b31*
c12**3 - 1024*a22**4*a23**7*b31*c12**3 + 9216*a22**4*a23**5*a33**2*b31*c12**3 +
1024*a22**4*a23**3*a33**4*b31*c12**3 - 16*a22**4*a23**3*a33**2*b31**5*c12 - 9984
*a22**3*a23**7*a33*b31*c12**3 + 768*a22**3*a23**5*a33**3*b31*c12**3 + 32*a22**3*
a23**5*a33*b31**5*c12 + 256*a22**3*a23**3*a33**5*b31*c12**3 + 16*a22**3*a23**3*
a33**3*b31**5*c12 + 3584*a22**2*a23**9*b31*c12**3 - 5632*a22**2*a23**7*a33**2*
b31*c12**3 - 16*a22**2*a23**7*b31**5*c12 - 1024*a22**2*a23**5*a33**4*b31*c12**3
- 32*a22**2*a23**5*a33**2*b31**5*c12 + 6144*a22*a23**9*a33*b31*c12**3 + 1280*a22
*a23**7*a33**3*b31*c12**3 + 16*a22*a23**7*a33*b31**5*c12 - 2048*a23**11*b31*c12
**3 - 512*a23**9*a33**2*b31*c12**3) + v1**2*( - 1024*a22**10*a33*c12**4 + 3072*
a22**9*a33**2*c12**4 - 6144*a22**8*a23**2*a33*c12**4 - 1792*a22**8*a33**3*c12**4
- 1024*a22**7*a23**2*a33**2*c12**4 - 1280*a22**7*a33**4*c12**4 + 1536*a22**6*
a23**4*a33*c12**4 + 17920*a22**6*a23**2*a33**3*c12**4 + 768*a22**6*a33**5*c12**4
- 1024*a22**5*a23**6*c12**4 - 46336*a22**5*a23**4*a33**2*c12**4 - 64*a22**5*a23
**4*b31**4*c12**2 - 1024*a22**5*a23**2*a33**4*c12**4 + 256*a22**5*a33**6*c12**4
+ 33792*a22**4*a23**6*a33*c12**4 - 24320*a22**4*a23**4*a33**3*c12**4 + 96*a22**4
*a23**4*a33*b31**4*c12**2 - 3584*a22**4*a23**2*a33**5*c12**4 + 16*a22**4*a23**2*
a33**3*b31**4*c12**2 - 3072*a22**3*a23**8*c12**4 + 52736*a22**3*a23**6*a33**2*
c12**4 - 192*a22**3*a23**6*b31**4*c12**2 + 9472*a22**3*a23**4*a33**4*c12**4 - 64
*a22**3*a23**4*a33**2*b31**4*c12**2 - 16*a22**3*a23**2*a33**4*b31**4*c12**2 -
30720*a22**2*a23**8*a33*c12**4 - 5120*a22**2*a23**6*a33**3*c12**4 - 176*a22**2*
a23**6*a33*b31**4*c12**2 + 256*a22**2*a23**4*a33**5*c12**4 + a22**2*a23**4*a33*
b31**8 + 4096*a22*a23**10*c12**4 - 1024*a22*a23**8*a33**2*c12**4 + 224*a22*a23**
8*b31**4*c12**2 - 512*a22*a23**6*a33**4*c12**4 + 48*a22*a23**6*a33**2*b31**4*c12
**2 - 2*a22*a23**6*b31**8) + v1*v2*(256*a22**6*a23**2*a33**2*b31**2*c12**3 - 512
*a22**5*a23**4*a33*b31**2*c12**3 - 384*a22**5*a23**2*a33**3*b31**2*c12**3 + 256*
a22**4*a23**6*b31**2*c12**3 + 1536*a22**4*a23**4*a33**2*b31**2*c12**3 - 1920*a22
**3*a23**6*a33*b31**2*c12**3 + 1024*a22**3*a23**4*a33**3*b31**2*c12**3 + 128*a22
**3*a23**2*a33**5*b31**2*c12**3 + 768*a22**2*a23**8*b31**2*c12**3 - 3072*a22**2*
a23**6*a33**2*b31**2*c12**3 - 512*a22**2*a23**4*a33**4*b31**2*c12**3 + 8*a22**2*
a23**4*a33**2*b31**6*c12 + 3072*a22*a23**8*a33*b31**2*c12**3 + 640*a22*a23**6*
a33**3*b31**2*c12**3 - 16*a22*a23**6*a33*b31**6*c12 - 1024*a23**10*b31**2*c12**3
- 256*a23**8*a33**2*b31**2*c12**3 + 8*a23**8*b31**6*c12) + v2**2*(1024*a22**11*
c12**4 - 4096*a22**10*a33*c12**4 + 6144*a22**9*a23**2*c12**4 + 5888*a22**9*a33**
2*c12**4 - 8192*a22**8*a23**2*a33*c12**4 - 3072*a22**8*a33**3*c12**4 + 1536*a22
**7*a23**4*c12**4 - 8192*a22**7*a23**2*a33**2*c12**4 + 64*a22**7*a23**2*b31**4*
c12**2 - 512*a22**7*a33**4*c12**4 + 30976*a22**6*a23**4*a33*c12**4 + 15360*a22**
6*a23**2*a33**3*c12**4 - 128*a22**6*a23**2*a33*b31**4*c12**2 + 1024*a22**6*a33**
5*c12**4 - 23040*a22**5*a23**6*c12**4 - 24576*a22**5*a23**4*a33**2*c12**4 + 160*
a22**5*a23**4*b31**4*c12**2 - 4096*a22**5*a23**2*a33**4*c12**4 + 64*a22**5*a23**
2*a33**2*b31**4*c12**2 - 256*a22**5*a33**6*c12**4 - 5120*a22**4*a23**6*a33*c12**
4 - 12800*a22**4*a23**4*a33**3*c12**4 + 176*a22**4*a23**4*a33*b31**4*c12**2 -
1024*a22**4*a23**2*a33**5*c12**4 + 16*a22**4*a23**2*a33**3*b31**4*c12**2 + 14336
*a22**3*a23**8*c12**4 + 29696*a22**3*a23**6*a33**2*c12**4 - 336*a22**3*a23**6*
b31**4*c12**2 + 4608*a22**3*a23**4*a33**4*c12**4 - 144*a22**3*a23**4*a33**2*b31
**4*c12**2 + a22**3*a23**4*b31**8 - 16*a22**3*a23**2*a33**4*b31**4*c12**2 -
12288*a22**2*a23**8*a33*c12**4 - 1024*a22**2*a23**6*a33**3*c12**4 - 48*a22**2*
a23**6*a33*b31**4*c12**2 + 256*a22**2*a23**4*a33**5*c12**4 - 2048*a22*a23**8*a33
**2*c12**4 + 144*a22*a23**8*b31**4*c12**2 - 512*a22*a23**6*a33**4*c12**4 + 64*
a22*a23**6*a33**2*b31**4*c12**2 - a22*a23**6*b31**8 - 16*a23**8*a33*b31**4*c12**
2) + v2*v3*(2048*a22**10*a23*c12**4 - 6144*a22**9*a23*a33*c12**4 + 12288*a22**8*
a23**3*c12**4 + 5632*a22**8*a23*a33**2*c12**4 - 4096*a22**7*a23**3*a33*c12**4 -
512*a22**7*a23*a33**3*c12**4 + 3072*a22**6*a23**5*c12**4 - 20480*a22**6*a23**3*
a33**2*c12**4 + 128*a22**6*a23**3*b31**4*c12**2 - 1536*a22**6*a23*a33**4*c12**4
+ 65024*a22**5*a23**5*a33*c12**4 + 10240*a22**5*a23**3*a33**3*c12**4 - 192*a22**
5*a23**3*a33*b31**4*c12**2 + 512*a22**5*a23*a33**5*c12**4 - 46080*a22**4*a23**7*
c12**4 + 15872*a22**4*a23**5*a33**2*c12**4 + 384*a22**4*a23**5*b31**4*c12**2 +
2048*a22**4*a23**3*a33**4*c12**4 + 32*a22**4*a23**3*a33**2*b31**4*c12**2 - 56320
*a22**3*a23**7*a33*c12**4 - 9728*a22**3*a23**5*a33**3*c12**4 + 448*a22**3*a23**5
*a33*b31**4*c12**2 + 64*a22**3*a23**3*a33**3*b31**4*c12**2 + 28672*a22**2*a23**9
*c12**4 + 3072*a22**2*a23**7*a33**2*c12**4 - 480*a22**2*a23**7*b31**4*c12**2 -
512*a22**2*a23**5*a33**4*c12**4 - 96*a22**2*a23**5*a33**2*b31**4*c12**2 + 2*a22
**2*a23**5*b31**8 + 4096*a22*a23**9*a33*c12**4 + 1024*a22*a23**7*a33**3*c12**4 -
64*a22*a23**7*a33*b31**4*c12**2 + 32*a23**9*b31**4*c12**2)$