Solution 1 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2 2
0=a11 - 2*a11*a22 + a22 + a23
Expressions
The solution is given through the following expressions:
1 8 7 1 8 5 2
r20=( - ---*a11 *a22 *b32*r26 - ---*a11 *a22 *a23 *b32*r26
8 8
1 8 3 4 1 8 6
+ ---*a11 *a22 *a23 *b32*r26 + ---*a11 *a22*a23 *b32*r26
8 8
5 7 8 5 7 6 2
+ ---*a11 *a22 *b32*r26 + ---*a11 *a22 *a23 *b32*r26
4 8
19 7 4 4 13 7 2 6
- ----*a11 *a22 *a23 *b32*r26 - ----*a11 *a22 *a23 *b32*r26
8 8
1 7 8 21 6 9
+ ---*a11 *a23 *b32*r26 - ----*a11 *a22 *b32*r26
8 4
1 6 7 2 6 5 4
+ ---*a11 *a22 *a23 *b32*r26 + 15*a11 *a22 *a23 *b32*r26
2
15 6 3 6 7 6 8
+ ----*a11 *a22 *a23 *b32*r26 - ---*a11 *a22*a23 *b32*r26
2 4
49 5 10 5 8 2
+ ----*a11 *a22 *b32*r26 - 9*a11 *a22 *a23 *b32*r26
4
183 5 6 4 63 5 4 6
- -----*a11 *a22 *a23 *b32*r26 - ----*a11 *a22 *a23 *b32*r26
4 4
17 5 2 8 1 5 10
+ ----*a11 *a22 *a23 *b32*r26 - ---*a11 *a23 *b32*r26
2 4
35 4 11 193 4 9 2
- ----*a11 *a22 *b32*r26 + -----*a11 *a22 *a23 *b32*r26
2 8
317 4 7 4 4 5 6
+ -----*a11 *a22 *a23 *b32*r26 + 18*a11 *a22 *a23 *b32*r26
4
71 4 3 8 15 4 10
- ----*a11 *a22 *a23 *b32*r26 + ----*a11 *a22*a23 *b32*r26
4 8
63 3 12 251 3 10 2
+ ----*a11 *a22 *b32*r26 - -----*a11 *a22 *a23 *b32*r26
4 8
679 3 8 4 67 3 6 6
- -----*a11 *a22 *a23 *b32*r26 - ----*a11 *a22 *a23 *b32*r26
8 4
3 4 8 31 3 2 10
+ 17*a11 *a22 *a23 *b32*r26 - ----*a11 *a22 *a23 *b32*r26
8
1 3 12 35 2 13
+ ---*a11 *a23 *b32*r26 - ----*a11 *a22 *b32*r26
8 4
89 2 11 2 233 2 9 4
+ ----*a11 *a22 *a23 *b32*r26 + -----*a11 *a22 *a23 *b32*r26
4 4
35 2 7 6 29 2 5 8
+ ----*a11 *a22 *a23 *b32*r26 - ----*a11 *a22 *a23 *b32*r26
2 4
9 2 3 10 1 2 12
+ ---*a11 *a22 *a23 *b32*r26 - ---*a11 *a22*a23 *b32*r26
4 4
11 14 33 12 2
+ ----*a11*a22 *b32*r26 - ----*a11*a22 *a23 *b32*r26
4 4
49 10 4 25 8 6
- ----*a11*a22 *a23 *b32*r26 - ----*a11*a22 *a23 *b32*r26
2 2
7 6 8 3 4 10
+ ---*a11*a22 *a23 *b32*r26 + ---*a11*a22 *a23 *b32*r26
4 4
3 15 5 13 2 39 11 4
- ---*a22 *b32*r26 + ---*a22 *a23 *b32*r26 + ----*a22 *a23 *b32*r26
8 4 8
7 9 6 5 7 8 3 5 10
+ ---*a22 *a23 *b32*r26 - ---*a22 *a23 *b32*r26 - ---*a22 *a23 *b32*r26
2 8 4
1 3 12 8 5 3 8 3 5
+ ---*a22 *a23 *b32*r26)/(a11 *a22 *a23 + 2*a11 *a22 *a23
8
8 7 7 6 3 7 4 5 7 2 7
+ a11 *a22*a23 - 11*a11 *a22 *a23 - 21*a11 *a22 *a23 - 9*a11 *a22 *a23
7 9 6 7 3 6 5 5 6 3 7
+ a11 *a23 + 48*a11 *a22 *a23 + 84*a11 *a22 *a23 + 24*a11 *a22 *a23
6 9 5 8 3 5 6 5
- 12*a11 *a22*a23 - 106*a11 *a22 *a23 - 160*a11 *a22 *a23
5 4 7 5 2 9 5 11 4 9 3
- 4*a11 *a22 *a23 + 48*a11 *a22 *a23 - 2*a11 *a23 + 125*a11 *a22 *a23
4 7 5 4 5 7 4 3 9
+ 148*a11 *a22 *a23 - 66*a11 *a22 *a23 - 76*a11 *a22 *a23
4 11 3 10 3 3 8 5
+ 13*a11 *a22*a23 - 75*a11 *a22 *a23 - 59*a11 *a22 *a23
3 6 7 3 4 9 3 2 11 3 13
+ 82*a11 *a22 *a23 + 42*a11 *a22 *a23 - 23*a11 *a22 *a23 + a11 *a23
2 11 3 2 9 5 2 7 7
+ 18*a11 *a22 *a23 + 6*a11 *a22 *a23 - 28*a11 *a22 *a23
2 5 9 2 3 11 2 13
- 4*a11 *a22 *a23 + 10*a11 *a22 *a23 - 2*a11 *a22*a23 )
1 4 3 2 1 3 2
r21=(---*a11 *a22*b32*r26 - a11 *a22 *b32*r26 + ---*a11 *a23 *b32*r26
4 4
3 2 3 1 2 2 4
+ ---*a11 *a22 *b32*r26 - ---*a11 *a22*a23 *b32*r26 - a11*a22 *b32*r26
2 2
1 5 1 3 2 4 2 3 2
+ ---*a22 *b32*r26 + ---*a22 *a23 *b32*r26)/(a11 *a23 - 4*a11 *a22*a23
4 4
2 2 2 2 4
+ 3*a11 *a22 *a23 - a11 *a23 )
r23=0
r24=0
1 14 9 1 14 9 2
r25=(---*a11 *a22 *a23*c23*r26 - ---*a11 *a22 *b32 *r26
2 8
14 7 3 3 14 7 2 2
+ 2*a11 *a22 *a23 *c23*r26 - ---*a11 *a22 *a23 *b32 *r26
8
14 5 5 3 14 5 4 2
+ 3*a11 *a22 *a23 *c23*r26 - ---*a11 *a22 *a23 *b32 *r26
8
14 3 7 1 14 3 6 2
+ 2*a11 *a22 *a23 *c23*r26 - ---*a11 *a22 *a23 *b32 *r26
8
1 14 9 13 10
+ ---*a11 *a22*a23 *c23*r26 - 10*a11 *a22 *a23*c23*r26
2
19 13 10 2 13 8 3
+ ----*a11 *a22 *b32 *r26 - 40*a11 *a22 *a23 *c23*r26
8
13 8 2 2 13 6 5
+ 7*a11 *a22 *a23 *b32 *r26 - 60*a11 *a22 *a23 *c23*r26
27 13 6 4 2 13 4 7
+ ----*a11 *a22 *a23 *b32 *r26 - 40*a11 *a22 *a23 *c23*r26
4
13 4 6 2 13 2 9
+ 2*a11 *a22 *a23 *b32 *r26 - 10*a11 *a22 *a23 *c23*r26
1 13 2 8 2 12 11
- ---*a11 *a22 *a23 *b32 *r26 + 89*a11 *a22 *a23*c23*r26
8
81 12 11 2 12 9 3
- ----*a11 *a22 *b32 *r26 + 355*a11 *a22 *a23 *c23*r26
4
469 12 9 2 2 12 7 5
- -----*a11 *a22 *a23 *b32 *r26 + 530*a11 *a22 *a23 *c23*r26
8
435 12 7 4 2 12 5 7
- -----*a11 *a22 *a23 *b32 *r26 + 350*a11 *a22 *a23 *c23*r26
8
111 12 5 6 2 12 3 9
- -----*a11 *a22 *a23 *b32 *r26 + 85*a11 *a22 *a23 *c23*r26
8
17 12 3 8 2 12 11
+ ----*a11 *a22 *a23 *b32 *r26 - a11 *a22*a23 *c23*r26
8
11 12 205 11 12 2
- 466*a11 *a22 *a23*c23*r26 + -----*a11 *a22 *b32 *r26
2
11 10 3 2337 11 10 2 2
- 1850*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
8
11 8 5 11 8 4 2
- 2740*a11 *a22 *a23 *c23*r26 + 261*a11 *a22 *a23 *b32 *r26
11 6 7 221 11 6 6 2
- 1780*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
4
11 4 9 33 11 4 8 2
- 410*a11 *a22 *a23 *c23*r26 - ----*a11 *a22 *a23 *b32 *r26
2
11 2 11 3 11 2 10 2
+ 14*a11 *a22 *a23 *c23*r26 - ---*a11 *a22 *a23 *b32 *r26
8
3199 10 13 2745 10 13 2
+ ------*a11 *a22 *a23*c23*r26 - ------*a11 *a22 *b32 *r26
2 8
10 11 3 3871 10 11 2 2
+ 6317*a11 *a22 *a23 *c23*r26 - ------*a11 *a22 *a23 *b32 *r26
4
18545 10 9 5 6701 10 9 4 2
+ -------*a11 *a22 *a23 *c23*r26 - ------*a11 *a22 *a23 *b32 *r26
2 8
10 7 7 10 7 6 2
+ 5910*a11 *a22 *a23 *c23*r26 - 138*a11 *a22 *a23 *b32 *r26
2545 10 5 9 649 10 5 8 2
+ ------*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
2 8
10 3 11 23 10 3 10 2
- 83*a11 *a22 *a23 *c23*r26 + ----*a11 *a22 *a23 *b32 *r26
4
1 10 13 3 10 12 2
- ---*a11 *a22*a23 *c23*r26 - ---*a11 *a22*a23 *b32 *r26
2 8
9 14 6399 9 14 2
- 3796*a11 *a22 *a23*c23*r26 + ------*a11 *a22 *b32 *r26
8
9 12 3 18017 9 12 2 2
- 14936*a11 *a22 *a23 *c23*r26 + -------*a11 *a22 *a23 *b32 *r26
8
9 10 5 7617 9 10 4 2
- 21772*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
4
9 8 7 1641 9 8 6 2
- 13648*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
8
9 6 9 2297 9 6 8 2
- 2732*a11 *a22 *a23 *c23*r26 - ------*a11 *a22 *a23 *b32 *r26
8
9 4 11 273 9 4 10 2
+ 296*a11 *a22 *a23 *c23*r26 - -----*a11 *a22 *a23 *b32 *r26
8
9 2 13 9 2 12 2
+ 12*a11 *a22 *a23 *c23*r26 + 6*a11 *a22 *a23 *b32 *r26
1 9 14 2 8 15
- ---*a11 *a23 *b32 *r26 + 6398*a11 *a22 *a23*c23*r26
8
5313 8 15 2 8 13 3
- ------*a11 *a22 *b32 *r26 + 25174*a11 *a22 *a23 *c23*r26
4
7561 8 13 2 2 8 11 5
- ------*a11 *a22 *a23 *b32 *r26 + 36622*a11 *a22 *a23 *c23*r26
2
25171 8 11 4 2 8 9 7
- -------*a11 *a22 *a23 *b32 *r26 + 22710*a11 *a22 *a23 *c23*r26
8
665 8 9 6 2 8 7 9
- -----*a11 *a22 *a23 *b32 *r26 + 4170*a11 *a22 *a23 *c23*r26
8
8 7 8 2 8 5 11
+ 750*a11 *a22 *a23 *b32 *r26 - 782*a11 *a22 *a23 *c23*r26
397 8 5 10 2 8 3 13
+ -----*a11 *a22 *a23 *b32 *r26 - 86*a11 *a22 *a23 *c23*r26
4
299 8 3 12 2 8 15
- -----*a11 *a22 *a23 *b32 *r26 + 2*a11 *a22*a23 *c23*r26
8
19 8 14 2 7 16
+ ----*a11 *a22*a23 *b32 *r26 - 7732*a11 *a22 *a23*c23*r26
8
7 16 2 7 14 3
+ 1572*a11 *a22 *b32 *r26 - 30604*a11 *a22 *a23 *c23*r26
18397 7 14 2 2 7 12 5
+ -------*a11 *a22 *a23 *b32 *r26 - 44740*a11 *a22 *a23 *c23*r26
4
7 12 4 2 7 10 7
+ 3773*a11 *a22 *a23 *b32 *r26 - 27580*a11 *a22 *a23 *c23*r26
779 7 10 6 2 7 8 9
- -----*a11 *a22 *a23 *b32 *r26 - 4380*a11 *a22 *a23 *c23*r26
2
5643 7 8 8 2 7 6 11
- ------*a11 *a22 *a23 *b32 *r26 + 1628*a11 *a22 *a23 *c23*r26
4
567 7 6 10 2 7 4 13
- -----*a11 *a22 *a23 *b32 *r26 + 276*a11 *a22 *a23 *c23*r26
4
235 7 4 12 2 7 2 15
+ -----*a11 *a22 *a23 *b32 *r26 - 20*a11 *a22 *a23 *c23*r26
2
7 2 14 2 1 7 16 2
- 16*a11 *a22 *a23 *b32 *r26 + ---*a11 *a23 *b32 *r26
4
13327 6 17 10323 6 17 2
+ -------*a11 *a22 *a23*c23*r26 - -------*a11 *a22 *b32 *r26
2 8
6 15 3 31759 6 15 2 2
+ 26740*a11 *a22 *a23 *c23*r26 - -------*a11 *a22 *a23 *b32 *r26
8
6 13 5 6333 6 13 4 2
+ 39578*a11 *a22 *a23 *c23*r26 - ------*a11 *a22 *a23 *b32 *r26
2
6 11 7 8367 6 11 6 2
+ 24252*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
8
6 9 9 3703 6 9 8 2
+ 2805*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
2
6 7 11 495 6 7 10 2
- 2484*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
8
6 5 13 6 5 12 2
- 470*a11 *a22 *a23 *c23*r26 - 204*a11 *a22 *a23 *b32 *r26
6 3 15 401 6 3 14 2
+ 68*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
8
1 6 17 21 6 16 2
- ---*a11 *a22*a23 *c23*r26 - ----*a11 *a22*a23 *b32 *r26
2 8
5 18 5377 5 18 2
- 4002*a11 *a22 *a23*c23*r26 + ------*a11 *a22 *b32 *r26
8
5 16 3 9037 5 16 2 2
- 16432*a11 *a22 *a23 *c23*r26 + ------*a11 *a22 *a23 *b32 *r26
4
5 14 5 5 14 4 2
- 24792*a11 *a22 *a23 *c23*r26 + 1652*a11 *a22 *a23 *b32 *r26
5 12 7 11027 5 12 6 2
- 14992*a11 *a22 *a23 *c23*r26 - -------*a11 *a22 *a23 *b32 *r26
8
5 10 9 5 10 8 2
- 620*a11 *a22 *a23 *c23*r26 - 1643*a11 *a22 *a23 *b32 *r26
5 8 11 775 5 8 10 2
+ 2608*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
8
5 6 13 419 5 6 12 2
+ 488*a11 *a22 *a23 *c23*r26 + -----*a11 *a22 *a23 *b32 *r26
2
5 4 15 621 5 4 14 2
- 112*a11 *a22 *a23 *c23*r26 - -----*a11 *a22 *a23 *b32 *r26
8
5 2 17 75 5 2 16 2
- 2*a11 *a22 *a23 *c23*r26 + ----*a11 *a22 *a23 *b32 *r26
8
1 5 18 2 4 19
- ---*a11 *a23 *b32 *r26 + 1593*a11 *a22 *a23*c23*r26
8
599 4 19 2 4 17 3
- -----*a11 *a22 *b32 *r26 + 6759*a11 *a22 *a23 *c23*r26
4
5109 4 17 2 2 4 15 5
- ------*a11 *a22 *a23 *b32 *r26 + 10452*a11 *a22 *a23 *c23*r26
8
1081 4 15 4 2 4 13 7
- ------*a11 *a22 *a23 *b32 *r26 + 6140*a11 *a22 *a23 *c23*r26
4
4457 4 13 6 2 4 11 9
+ ------*a11 *a22 *a23 *b32 *r26 - 514*a11 *a22 *a23 *c23*r26
4
3697 4 11 8 2 4 9 11
+ ------*a11 *a22 *a23 *b32 *r26 - 1774*a11 *a22 *a23 *c23*r26
4
4 9 10 2 4 7 13
- 196*a11 *a22 *a23 *b32 *r26 - 284*a11 *a22 *a23 *c23*r26
619 4 7 12 2 4 5 15
- -----*a11 *a22 *a23 *b32 *r26 + 140*a11 *a22 *a23 *c23*r26
4
223 4 5 14 2 4 3 17
+ -----*a11 *a22 *a23 *b32 *r26 + 17*a11 *a22 *a23 *c23*r26
4
27 4 3 16 2 4 19
- ----*a11 *a22 *a23 *b32 *r26 - a11 *a22*a23 *c23*r26
2
5 4 18 2 3 20
+ ---*a11 *a22*a23 *b32 *r26 - 378*a11 *a22 *a23*c23*r26
8
117 3 20 2 3 18 3
- -----*a11 *a22 *b32 *r26 - 1674*a11 *a22 *a23 *c23*r26
2
987 3 18 2 2 3 16 5
- -----*a11 *a22 *a23 *b32 *r26 - 2664*a11 *a22 *a23 *c23*r26
8
611 3 16 4 2 3 14 7
- -----*a11 *a22 *a23 *b32 *r26 - 1480*a11 *a22 *a23 *c23*r26
2
3 14 6 2 3 12 9
- 563*a11 *a22 *a23 *b32 *r26 + 436*a11 *a22 *a23 *c23*r26
497 3 12 8 2 3 10 11
- -----*a11 *a22 *a23 *b32 *r26 + 692*a11 *a22 *a23 *c23*r26
2
829 3 10 10 2 3 8 13
+ -----*a11 *a22 *a23 *b32 *r26 + 56*a11 *a22 *a23 *c23*r26
4
223 3 8 12 2 3 6 15
+ -----*a11 *a22 *a23 *b32 *r26 - 104*a11 *a22 *a23 *c23*r26
2
3 6 14 2 3 4 17
- 16*a11 *a22 *a23 *b32 *r26 - 10*a11 *a22 *a23 *c23*r26
3 4 16 2 3 2 19
+ 5*a11 *a22 *a23 *b32 *r26 + 6*a11 *a22 *a23 *c23*r26
7 3 2 18 2 81 2 21
- ---*a11 *a22 *a23 *b32 *r26 + ----*a11 *a22 *a23*c23*r26
8 2
461 2 21 2 2 19 3
+ -----*a11 *a22 *b32 *r26 + 189*a11 *a22 *a23 *c23*r26
8
2 19 2 2 621 2 17 5
+ 190*a11 *a22 *a23 *b32 *r26 + -----*a11 *a22 *a23 *c23*r26
2
525 2 17 4 2 2 15 7
+ -----*a11 *a22 *a23 *b32 *r26 + 156*a11 *a22 *a23 *c23*r26
2
2 15 6 2 2 13 9
+ 164*a11 *a22 *a23 *b32 *r26 - 103*a11 *a22 *a23 *c23*r26
213 2 13 8 2 2 11 11
- -----*a11 *a22 *a23 *b32 *r26 - 114*a11 *a22 *a23 *c23*r26
4
2 11 10 2 2 9 13
- 154*a11 *a22 *a23 *b32 *r26 + 9*a11 *a22 *a23 *c23*r26
127 2 9 12 2 2 7 15
- -----*a11 *a22 *a23 *b32 *r26 + 28*a11 *a22 *a23 *c23*r26
2
2 7 14 2 3 2 5 17
+ 8*a11 *a22 *a23 *b32 *r26 - ---*a11 *a22 *a23 *c23*r26
2
37 2 5 16 2 2 3 19
+ ----*a11 *a22 *a23 *b32 *r26 - 3*a11 *a22 *a23 *c23*r26
8
1 2 21 147 22 2
+ ---*a11 *a22*a23 *c23*r26 - -----*a11*a22 *b32 *r26
2 8
563 20 2 2 183 18 4 2
- -----*a11*a22 *a23 *b32 *r26 - -----*a11*a22 *a23 *b32 *r26
8 2
39 16 6 2 267 14 8 2
- ----*a11*a22 *a23 *b32 *r26 + -----*a11*a22 *a23 *b32 *r26
2 4
267 12 10 2 29 10 12 2
+ -----*a11*a22 *a23 *b32 *r26 + ----*a11*a22 *a23 *b32 *r26
4 2
19 8 14 2 27 6 16 2
- ----*a11*a22 *a23 *b32 *r26 - ----*a11*a22 *a23 *b32 *r26
2 8
5 4 18 2 9 23 2
+ ---*a11*a22 *a23 *b32 *r26 + ---*a22 *b32 *r26
8 4
39 21 2 2 19 4 2 17 6 2
+ ----*a22 *a23 *b32 *r26 + 13*a22 *a23 *b32 *r26 - a22 *a23 *b32 *r26
4
33 15 8 2 23 13 10 2
- ----*a22 *a23 *b32 *r26 - ----*a22 *a23 *b32 *r26
2 2
11 12 2 9 14 2 1 7 16 2
+ a22 *a23 *b32 *r26 + 3*a22 *a23 *b32 *r26 + ---*a22 *a23 *b32 *r26
4
1 5 18 2 13 8 3 13 6 5
- ---*a22 *a23 *b32 *r26)/(a11 *a22 *a23 *b32 + 3*a11 *a22 *a23 *b32
4
13 4 7 13 2 9 12 9 3
+ 3*a11 *a22 *a23 *b32 + a11 *a22 *a23 *b32 - 18*a11 *a22 *a23 *b32
12 7 5 12 5 7 12 3 9
- 52*a11 *a22 *a23 *b32 - 48*a11 *a22 *a23 *b32 - 12*a11 *a22 *a23 *b32
12 11 11 10 3 11 8 5
+ 2*a11 *a22*a23 *b32 + 142*a11 *a22 *a23 *b32 + 389*a11 *a22 *a23 *b32
11 6 7 11 4 9 11 2 11
+ 316*a11 *a22 *a23 *b32 + 34*a11 *a22 *a23 *b32 - 34*a11 *a22 *a23 *b32
11 13 10 11 3 10 9 5
+ a11 *a23 *b32 - 646*a11 *a22 *a23 *b32 - 1646*a11 *a22 *a23 *b32
10 7 7 10 5 9
- 1084*a11 *a22 *a23 *b32 + 164*a11 *a22 *a23 *b32
10 3 11 10 13
+ 226*a11 *a22 *a23 *b32 - 22*a11 *a22*a23 *b32
9 12 3 9 10 5
+ 1876*a11 *a22 *a23 *b32 + 4337*a11 *a22 *a23 *b32
9 8 7 9 6 9
+ 1945*a11 *a22 *a23 *b32 - 1430*a11 *a22 *a23 *b32
9 4 11 9 2 13 9 15
- 730*a11 *a22 *a23 *b32 + 181*a11 *a22 *a23 *b32 - 3*a11 *a23 *b32
8 13 3 8 11 5
- 3634*a11 *a22 *a23 *b32 - 7376*a11 *a22 *a23 *b32
8 9 7 8 7 9
- 1186*a11 *a22 *a23 *b32 + 4400*a11 *a22 *a23 *b32
8 5 11 8 3 13 8 15
+ 1066*a11 *a22 *a23 *b32 - 736*a11 *a22 *a23 *b32 + 42*a11 *a22*a23 *b32
7 14 3 7 12 5
+ 4758*a11 *a22 *a23 *b32 + 8099*a11 *a22 *a23 *b32
7 10 7 7 8 9
- 1976*a11 *a22 *a23 *b32 - 7171*a11 *a22 *a23 *b32
7 6 11 7 4 13
- 34*a11 *a22 *a23 *b32 + 1597*a11 *a22 *a23 *b32
7 2 15 7 17 6 15 3
- 220*a11 *a22 *a23 *b32 + 3*a11 *a23 *b32 - 4162*a11 *a22 *a23 *b32
6 13 5 6 11 7
- 5542*a11 *a22 *a23 *b32 + 4742*a11 *a22 *a23 *b32
6 9 9 6 7 11
+ 6482*a11 *a22 *a23 *b32 - 2022*a11 *a22 *a23 *b32
6 5 13 6 3 15 6 17
- 1810*a11 *a22 *a23 *b32 + 546*a11 *a22 *a23 *b32 - 26*a11 *a22*a23 *b32
5 16 3 5 14 5
+ 2331*a11 *a22 *a23 *b32 + 2148*a11 *a22 *a23 *b32
5 12 7 5 10 9
- 4176*a11 *a22 *a23 *b32 - 3004*a11 *a22 *a23 *b32
5 8 11 5 6 13
+ 2638*a11 *a22 *a23 *b32 + 908*a11 *a22 *a23 *b32
5 4 15 5 2 17 5 19
- 664*a11 *a22 *a23 *b32 + 76*a11 *a22 *a23 *b32 - a11 *a23 *b32
4 17 3 4 15 5
- 756*a11 *a22 *a23 *b32 - 360*a11 *a22 *a23 *b32
4 13 7 4 11 9
+ 1752*a11 *a22 *a23 *b32 + 504*a11 *a22 *a23 *b32
4 9 11 4 7 13
- 1360*a11 *a22 *a23 *b32 - 56*a11 *a22 *a23 *b32
4 5 15 4 3 17 4 19
+ 360*a11 *a22 *a23 *b32 - 88*a11 *a22 *a23 *b32 + 4*a11 *a22*a23 *b32
3 18 3 3 14 7 3 12 9
+ 108*a11 *a22 *a23 *b32 - 288*a11 *a22 *a23 *b32 + 32*a11 *a22 *a23 *b32
3 10 11 3 8 13 3 6 15
+ 248*a11 *a22 *a23 *b32 - 64*a11 *a22 *a23 *b32 - 64*a11 *a22 *a23 *b32
3 4 17 3 2 19
+ 32*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b32)
1 3 3 2 2 3 3
r27=(---*a11 *a22*r26 - ---*a11 *a22 *r26 + ---*a11*a22 *r26
2 2 2
3 2 1 4 2 2 1 4
+ ---*a11*a22*a23 *r26 - ---*a22 *r26 - 2*a22 *a23 *r26 + ---*a23 *r26)/(
2 2 2
2 2 3 3 3
a11 *a22*a23 - 3*a11*a22 *a23 + a11*a23 + 2*a22 *a23 - 2*a22*a23 )
r28=0
1 5 3 1 5 2 7 4 4
r29=(---*a11 *a22 *r26 + ---*a11 *a22*a23 *r26 - ---*a11 *a22 *r26
2 2 2
7 4 2 2 3 5 3 3 2
- ---*a11 *a22 *a23 *r26 + 9*a11 *a22 *r26 + 10*a11 *a22 *a23 *r26
2
3 4 2 6 35 2 4 2
+ a11 *a22*a23 *r26 - 11*a11 *a22 *r26 - ----*a11 *a22 *a23 *r26
2
2 2 4 1 2 6 13 7
- 6*a11 *a22 *a23 *r26 + ---*a11 *a23 *r26 + ----*a11*a22 *r26
2 2
35 5 2 15 3 4 7 6
+ ----*a11*a22 *a23 *r26 + ----*a11*a22 *a23 *r26 - ---*a11*a22*a23 *r26
2 2 2
3 8 6 2 4 4 2 6
- ---*a22 *r26 - 7*a22 *a23 *r26 - 2*a22 *a23 *r26 + 3*a22 *a23 *r26
2
1 8 4 2 3 3
- ---*a23 *r26)/(a11 *a22 *a23*b32 - 6*a11 *a22 *a23*b32
2
3 3 2 4 2 2 3
+ 2*a11 *a22*a23 *b32 + 13*a11 *a22 *a23*b32 - 10*a11 *a22 *a23 *b32
2 5 5 3 3
+ a11 *a23 *b32 - 12*a11*a22 *a23*b32 + 16*a11*a22 *a23 *b32
5 6 4 3 2 5
- 4*a11*a22*a23 *b32 + 4*a22 *a23*b32 - 8*a22 *a23 *b32 + 4*a22 *a23 *b32)
1 1
- ---*a11*r26 + ---*a22*r26
2 2
r210=------------------------------
a23
r212=0
2 2 2 2 3 2
r213=( - a11 *a22 *r26 - a11 *a23 *r26 + 4*a11*a22 *r26 + 4*a11*a22*a23 *r26
4 2 2 4 2 2
- 3*a22 *r26 - 2*a22 *a23 *r26 + a23 *r26)/(a11 *a22*b32 - 3*a11*a22 *b32
2 3 2
+ a11*a23 *b32 + 2*a22 *b32 - 2*a22*a23 *b32)
1 3 2 1 3 2 5 2 3
r214=(---*a11 *a22 *r26 + ---*a11 *a23 *r26 - ---*a11 *a22 *r26
2 2 2
5 2 2 7 4 2 2
- ---*a11 *a22*a23 *r26 + ---*a11*a22 *r26 + 3*a11*a22 *a23 *r26
2 2
1 4 3 5 3 2 1 4
- ---*a11*a23 *r26 - ---*a22 *r26 - a22 *a23 *r26 + ---*a22*a23 *r26)/(
2 2 2
2 2 3 3
a11 *a22*a23*b32 - 3*a11*a22 *a23*b32 + a11*a23 *b32 + 2*a22 *a23*b32
3
- 2*a22*a23 *b32)
r215=0
r216=0
1 4 2 3 3 1 3 2
r217=(---*a11 *a22 *r26 - 2*a11 *a22 *r26 + ---*a11 *a22*a23 *r26
2 2
2 4 1 2 2 2 1 2 4
+ 3*a11 *a22 *r26 - ---*a11 *a22 *a23 *r26 + ---*a11 *a23 *r26
2 2
5 3 2 4 1 6
- 2*a11*a22 *r26 - a11*a22 *a23 *r26 - a11*a22*a23 *r26 + ---*a22 *r26
2
4 2 1 2 4 3 2 2 2 2
+ a22 *a23 *r26 + ---*a22 *a23 *r26)/(a11 *a22*a23 - 3*a11 *a22 *a23
2
2 4 3 2 4
+ a11 *a23 + 2*a11*a22 *a23 - 2*a11*a22*a23 )
r218=0
r219=0
11 8 1 11 8 2 11 6 3
c33=( - 2*a11 *a22 *a23*c23 + ---*a11 *a22 *b32 - 7*a11 *a22 *a23 *c23
4
3 11 6 2 2 11 4 5
+ ---*a11 *a22 *a23 *b32 - 9*a11 *a22 *a23 *c23
4
3 11 4 4 2 11 2 7
+ ---*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *c23
4
1 11 2 6 2 11 9 10 9
+ ---*a11 *a22 *a23 *b32 - a11 *a23 *c23 + 27*a11 *a22 *a23*c23
4
7 10 9 2 10 7 3 41 10 7 2 2
- ---*a11 *a22 *b32 + 92*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2 4
10 5 5 39 10 5 4 2
+ 114*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
4
10 3 7 11 10 3 6 2
+ 60*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
4
10 9 1 10 8 2 9 10
+ 11*a11 *a22*a23 *c23 + ---*a11 *a22*a23 *b32 - 156*a11 *a22 *a23*c23
4
43 9 10 2 9 8 3 9 8 2 2
+ ----*a11 *a22 *b32 - 513*a11 *a22 *a23 *c23 + 61*a11 *a22 *a23 *b32
2
9 6 5 9 6 4 2 9 4 7
- 604*a11 *a22 *a23 *c23 + 54*a11 *a22 *a23 *b32 - 294*a11 *a22 *a23 *c23
9 4 6 2 9 2 9 7 9 2 8 2
+ 11*a11 *a22 *a23 *b32 - 48*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
2
9 11 8 11 305 8 11 2
- a11 *a23 *c23 + 508*a11 *a22 *a23*c23 - -----*a11 *a22 *b32
4
8 9 3 8 9 2 2
+ 1604*a11 *a22 *a23 *c23 - 208*a11 *a22 *a23 *b32
8 7 5 8 7 4 2
+ 1784*a11 *a22 *a23 *c23 - 167*a11 *a22 *a23 *b32
8 5 7 31 8 5 6 2
+ 808*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
8 3 9 77 8 3 8 2
+ 140*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
8 11 1 8 10 2
+ 20*a11 *a22*a23 *c23 - ---*a11 *a22*a23 *b32
2
7 12 689 7 12 2
- 1032*a11 *a22 *a23*c23 + -----*a11 *a22 *b32
4
7 10 3 7 10 2 2
- 3135*a11 *a22 *a23 *c23 + 448*a11 *a22 *a23 *b32
7 8 5 1261 7 8 4 2
- 3335*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
4
7 6 7 7 6 6 2
- 1510*a11 *a22 *a23 *c23 - 20*a11 *a22 *a23 *b32
7 4 9 221 7 4 8 2
- 390*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
7 2 11 7 2 10 2 7 13
- 107*a11 *a22 *a23 *c23 + 4*a11 *a22 *a23 *b32 + 5*a11 *a23 *c23
1 7 12 2 6 13 1027 6 13 2
- ---*a11 *a23 *b32 + 1362*a11 *a22 *a23*c23 - ------*a11 *a22 *b32
4 4
6 11 3 2519 6 11 2 2
+ 4032*a11 *a22 *a23 *c23 - ------*a11 *a22 *a23 *b32
4
6 9 5 6 9 4 2
+ 4258*a11 *a22 *a23 *c23 - 367*a11 *a22 *a23 *b32
6 7 7 225 6 7 6 2
+ 2160*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
2
6 5 9 373 6 5 8 2
+ 822*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
6 3 11 43 6 3 10 2
+ 208*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
4
6 13 5 6 12 2
- 42*a11 *a22*a23 *c23 + ---*a11 *a22*a23 *b32
2
5 14 1003 5 14 2
- 1172*a11 *a22 *a23*c23 + ------*a11 *a22 *b32
4
5 12 3 2273 5 12 2 2
- 3475*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
4
5 10 5 945 5 10 4 2
- 3846*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 8 7 809 5 8 6 2
- 2285*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
5 6 9 411 5 6 8 2
- 952*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
5 4 11 39 5 4 10 2
- 93*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
5 2 13 33 5 2 12 2 5 15
+ 114*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32 - 3*a11 *a23 *c23
4
1 5 14 2 4 15 601 4 15 2
+ ---*a11 *a23 *b32 + 636*a11 *a22 *a23*c23 - -----*a11 *a22 *b32
4 4
4 13 3 4 13 2 2
+ 1972*a11 *a22 *a23 *c23 - 295*a11 *a22 *a23 *b32
4 11 5 45 4 11 4 2
+ 2380*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
4 9 7 855 4 9 6 2
+ 1508*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
4 7 9 315 4 7 8 2
+ 436*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
4 5 11 3 4 5 10 2
- 164*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
2
4 3 13 4 3 12 2
- 124*a11 *a22 *a23 *c23 + 10*a11 *a22 *a23 *b32
4 15 5 4 14 2 3 16
+ 12*a11 *a22*a23 *c23 - ---*a11 *a22*a23 *b32 - 198*a11 *a22 *a23*c23
4
85 3 16 2 3 14 3
+ ----*a11 *a22 *b32 - 678*a11 *a22 *a23 *c23
2
171 3 14 2 2 3 12 5
+ -----*a11 *a22 *a23 *b32 - 886*a11 *a22 *a23 *c23
4
3 12 4 2 3 10 7
- 102*a11 *a22 *a23 *b32 - 486*a11 *a22 *a23 *c23
575 3 10 6 2 3 8 9
- -----*a11 *a22 *a23 *b32 + 30*a11 *a22 *a23 *c23
4
55 3 8 8 2 3 6 11
- ----*a11 *a22 *a23 *b32 + 158*a11 *a22 *a23 *c23
2
45 3 6 10 2 3 4 13
+ ----*a11 *a22 *a23 *b32 + 30*a11 *a22 *a23 *c23
4
3 4 12 2 3 2 15 7 3 2 14 2
- a11 *a22 *a23 *b32 - 18*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4
2 17 21 2 17 2 2 15 3
+ 27*a11 *a22 *a23*c23 + ----*a11 *a22 *b32 + 108*a11 *a22 *a23 *c23
4
91 2 15 2 2 2 13 5
+ ----*a11 *a22 *a23 *b32 + 144*a11 *a22 *a23 *c23
2
371 2 13 4 2 2 11 7
+ -----*a11 *a22 *a23 *b32 + 44*a11 *a22 *a23 *c23
4
2 11 6 2 2 9 9
+ 53*a11 *a22 *a23 *b32 - 50*a11 *a22 *a23 *c23
85 2 9 8 2 2 7 11
- ----*a11 *a22 *a23 *b32 - 28*a11 *a22 *a23 *c23
4
53 2 7 10 2 2 5 13
- ----*a11 *a22 *a23 *b32 + 8*a11 *a22 *a23 *c23
2
19 2 5 12 2 2 3 15 2 17
- ----*a11 *a22 *a23 *b32 + 4*a11 *a22 *a23 *c23 - a11 *a22*a23 *c23
4
29 18 2 115 16 2 2
- ----*a11*a22 *b32 - -----*a11*a22 *a23 *b32
4 4
145 14 4 2 15 12 6 2
- -----*a11*a22 *a23 *b32 - ----*a11*a22 *a23 *b32
4 4
105 10 8 2 71 8 10 2
+ -----*a11*a22 *a23 *b32 + ----*a11*a22 *a23 *b32
4 4
5 6 12 2 5 4 14 2 3 19 2
+ ---*a11*a22 *a23 *b32 - ---*a11*a22 *a23 *b32 + ---*a22 *b32
4 4 2
11 17 2 2 11 15 4 2 5 13 6 2
+ ----*a22 *a23 *b32 + ----*a22 *a23 *b32 - ---*a22 *a23 *b32
2 2 2
15 11 8 2 7 9 10 2 1 7 12 2
- ----*a22 *a23 *b32 - ---*a22 *a23 *b32 + ---*a22 *a23 *b32
2 2 2
1 5 14 2 11 7 2 11 5 4
+ ---*a22 *a23 *b32 )/(a11 *a22 *a23 + 3*a11 *a22 *a23
2
11 3 6 11 8 10 8 2
+ 3*a11 *a22 *a23 + a11 *a22*a23 - 15*a11 *a22 *a23
10 6 4 10 4 6 10 2 8 10 10
- 44*a11 *a22 *a23 - 42*a11 *a22 *a23 - 12*a11 *a22 *a23 + a11 *a23
9 9 2 9 7 4 9 5 6
+ 95*a11 *a22 *a23 + 268*a11 *a22 *a23 + 234*a11 *a22 *a23
9 3 8 9 10 8 10 2
+ 44*a11 *a22 *a23 - 17*a11 *a22*a23 - 331*a11 *a22 *a23
8 8 4 8 6 6 8 4 8
- 879*a11 *a22 *a23 - 654*a11 *a22 *a23 + 2*a11 *a22 *a23
8 2 10 8 12 7 11 2
+ 105*a11 *a22 *a23 - 3*a11 *a23 + 693*a11 *a22 *a23
7 9 4 7 7 6 7 5 8
+ 1685*a11 *a22 *a23 + 930*a11 *a22 *a23 - 390*a11 *a22 *a23
7 3 10 7 12 6 12 2
- 295*a11 *a22 *a23 + 33*a11 *a22*a23 - 893*a11 *a22 *a23
6 10 4 6 8 6 6 6 8
- 1918*a11 *a22 *a23 - 531*a11 *a22 *a23 + 988*a11 *a22 *a23
6 4 10 6 2 12 6 14
+ 365*a11 *a22 *a23 - 126*a11 *a22 *a23 + 3*a11 *a23
5 13 2 5 11 4 5 9 6
+ 693*a11 *a22 *a23 + 1254*a11 *a22 *a23 - 141*a11 *a22 *a23
5 7 8 5 5 10 5 3 12
- 1036*a11 *a22 *a23 - 117*a11 *a22 *a23 + 198*a11 *a22 *a23
5 14 4 14 2 4 12 4
- 19*a11 *a22*a23 - 297*a11 *a22 *a23 - 423*a11 *a22 *a23
4 10 6 4 8 8 4 6 10
+ 291*a11 *a22 *a23 + 477*a11 *a22 *a23 - 91*a11 *a22 *a23
4 4 12 4 2 14 4 16 3 15 2
- 117*a11 *a22 *a23 + 33*a11 *a22 *a23 - a11 *a23 + 54*a11 *a22 *a23
3 13 4 3 11 6 3 9 8
+ 54*a11 *a22 *a23 - 90*a11 *a22 *a23 - 74*a11 *a22 *a23
3 7 10 3 5 12 3 3 14
+ 50*a11 *a22 *a23 + 18*a11 *a22 *a23 - 14*a11 *a22 *a23
3 16
+ 2*a11 *a22*a23 )
1 9 6 2 9 4 3 1 9 4 2 2
c22=(---*a11 *a22 *b32 - a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4 2
9 2 5 1 9 2 4 2 9 7
- 2*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32 - a11 *a23 *c23
4
8 7 5 8 7 2 8 5 3
+ a11 *a22 *a23*c23 - ---*a11 *a22 *b32 + 15*a11 *a22 *a23 *c23
2
19 8 5 2 2 8 3 5 8 3 4 2
- ----*a11 *a22 *a23 *b32 + 27*a11 *a22 *a23 *c23 - 2*a11 *a22 *a23 *b32
4
8 7 1 8 6 2 7 8
+ 13*a11 *a22*a23 *c23 + ---*a11 *a22*a23 *b32 - 10*a11 *a22 *a23*c23
4
43 7 8 2 7 6 3 77 7 6 2 2
+ ----*a11 *a22 *b32 - 88*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4 4
7 4 5 25 7 4 4 2
- 144*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
7 2 7 9 7 2 6 2 7 9
- 64*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32 + 2*a11 *a23 *c23
4
6 9 103 6 9 2 6 7 3
+ 39*a11 *a22 *a23*c23 - -----*a11 *a22 *b32 + 260*a11 *a22 *a23 *c23
4
6 7 2 2 6 5 5 6 5 4 2
- 43*a11 *a22 *a23 *b32 + 386*a11 *a22 *a23 *c23 - 9*a11 *a22 *a23 *b32
6 3 7 6 3 6 2 6 9
+ 148*a11 *a22 *a23 *c23 + 8*a11 *a22 *a23 *b32 - 17*a11 *a22*a23 *c23
1 6 8 2 5 10 5 10 2
- ---*a11 *a22*a23 *b32 - 76*a11 *a22 *a23*c23 + 37*a11 *a22 *b32
4
5 8 3 227 5 8 2 2
- 417*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 6 5 5 6 4 2 5 4 7
- 556*a11 *a22 *a23 *c23 + 4*a11 *a22 *a23 *b32 - 166*a11 *a22 *a23 *c23
29 5 4 6 2 5 2 9 5 2 8 2
- ----*a11 *a22 *a23 *b32 + 48*a11 *a22 *a23 *c23 + a11 *a22 *a23 *b32
2
5 11 1 5 10 2 4 11
- a11 *a23 *c23 - ---*a11 *a23 *b32 + 79*a11 *a22 *a23*c23
4
63 4 11 2 4 9 3
- ----*a11 *a22 *b32 + 367*a11 *a22 *a23 *c23
2
171 4 9 2 2 4 7 5
- -----*a11 *a22 *a23 *b32 + 438*a11 *a22 *a23 *c23
4
4 7 4 2 4 5 7 31 4 5 6 2
+ 6*a11 *a22 *a23 *b32 + 94*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
2
4 3 9 1 4 3 8 2 4 11
- 53*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32 + 3*a11 *a22*a23 *c23
2
5 4 10 2 3 12 55 3 12 2
+ ---*a11 *a22*a23 *b32 - 42*a11 *a22 *a23*c23 + ----*a11 *a22 *b32
4 4
3 10 3 53 3 10 2 2
- 166*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
3 8 5 25 3 8 4 2
- 180*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
3 6 7 23 3 6 6 2 3 4 9
- 28*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32 + 30*a11 *a22 *a23 *c23
2
5 3 4 8 2 3 2 11
- ---*a11 *a22 *a23 *b32 + 2*a11 *a22 *a23 *c23
4
7 3 2 10 2 2 13 3 2 13 2
- ---*a11 *a22 *a23 *b32 + 9*a11 *a22 *a23*c23 - ---*a11 *a22 *b32
4 4
2 11 3 2 11 2 2 2 9 5
+ 30*a11 *a22 *a23 *c23 + 5*a11 *a22 *a23 *b32 + 31*a11 *a22 *a23 *c23
23 2 9 4 2 2 7 7 2 7 6 2
+ ----*a11 *a22 *a23 *b32 + 4*a11 *a22 *a23 *c23 + 5*a11 *a22 *a23 *b32
2
2 5 9 3 2 5 8 2 2 3 11
- 9*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *c23
4
2 13 7 14 2 23 12 2 2
+ a11 *a22*a23 *c23 - ---*a11*a22 *b32 - ----*a11*a22 *a23 *b32
4 4
11 10 4 2 1 8 6 2
- ----*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32
2 2
13 6 8 2 5 4 10 2 1 15 2
+ ----*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32 + ---*a22 *b32
4 4 2
3 13 2 2 11 4 2 9 6 2
+ ---*a22 *a23 *b32 + a22 *a23 *b32 - a22 *a23 *b32
2
3 7 8 2 1 5 10 2 9 5 2
- ---*a22 *a23 *b32 - ---*a22 *a23 *b32 )/(a11 *a22 *a23
2 2
9 3 4 9 6 8 6 2 8 4 4
+ 2*a11 *a22 *a23 + a11 *a22*a23 - 11*a11 *a22 *a23 - 21*a11 *a22 *a23
8 2 6 8 8 7 7 2 7 5 4
- 9*a11 *a22 *a23 + a11 *a23 + 48*a11 *a22 *a23 + 84*a11 *a22 *a23
7 3 6 7 8 6 8 2
+ 24*a11 *a22 *a23 - 12*a11 *a22*a23 - 106*a11 *a22 *a23
6 6 4 6 4 6 6 2 8 6 10
- 160*a11 *a22 *a23 - 4*a11 *a22 *a23 + 48*a11 *a22 *a23 - 2*a11 *a23
5 9 2 5 7 4 5 5 6
+ 125*a11 *a22 *a23 + 148*a11 *a22 *a23 - 66*a11 *a22 *a23
5 3 8 5 10 4 10 2
- 76*a11 *a22 *a23 + 13*a11 *a22*a23 - 75*a11 *a22 *a23
4 8 4 4 6 6 4 4 8
- 59*a11 *a22 *a23 + 82*a11 *a22 *a23 + 42*a11 *a22 *a23
4 2 10 4 12 3 11 2 3 9 4
- 23*a11 *a22 *a23 + a11 *a23 + 18*a11 *a22 *a23 + 6*a11 *a22 *a23
3 7 6 3 5 8 3 3 10
- 28*a11 *a22 *a23 - 4*a11 *a22 *a23 + 10*a11 *a22 *a23
3 12
- 2*a11 *a22*a23 )
c13=0
c12=0
b33
2 2 2 3 2
- a11 *a22*b32 + 2*a11*a22 *b32 - 2*a11*a23 *b32 - a22 *b32 + 3*a22*a23 *b32
=-------------------------------------------------------------------------------
2 2 3
a11 *a23 - 4*a11*a22*a23 + 3*a22 *a23 - a23
b31=0
b21=0
2 2 2 2 3 2
b11=( - a11 *a22 *b32 - a11 *a23 *b32 + 2*a11*a22 *b32 + 2*a11*a22*a23 *b32
4 2 2 3 2 2
- a22 *b32 - a22 *a23 *b32)/(a11 *a23 - 4*a11 *a22*a23 + 3*a11*a22 *a23
3
- a11*a23 )
2 2 3 2 4 2 2 4
a11 *a23 - a11*a22 - 5*a11*a22*a23 + a22 + 4*a22 *a23 - a23
a33=-------------------------------------------------------------------
2 2 2 3 2
a11 *a22 - 3*a11*a22 + a11*a23 + 2*a22 - 2*a22*a23
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:
r26, c23, b32, a11, 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.
3 2 4 2 2 4
{a11*a22 + 3*a11*a22*a23 - a22 - 3*a22 *a23 + 2*a23 ,
2 2 2 2
32*a11*a22*a23*c23 - 2*a11*a22*b32 - 16*a22 *a23*c23 + 2*a22 *b32
3 2 2
- 16*a23 *c23 + a23 *b32 ,
a11 - 2*a22,
2 2
a11*a22 - a22 + a23 ,
b32,
a11,
a22,
a23,
r26,
2 2
a22 + a23 }
Relevance for the application:
Modulo the following equation:
2 2 2
0=a11 - 2*a11*a22 + a22 + a23
the system of equations related to the Hamiltonian HAM:
2 10 7 2 10 5 4 10 3 6
HAM=(u1 *(a11 *a22 *a23 + 3*a11 *a22 *a23 + 3*a11 *a22 *a23
10 8 9 8 2 9 6 4
+ a11 *a22*a23 - 11*a11 *a22 *a23 - 32*a11 *a22 *a23
9 4 6 9 2 8 9 10
- 30*a11 *a22 *a23 - 8*a11 *a22 *a23 + a11 *a23
8 9 2 8 7 4 8 5 6
+ 48*a11 *a22 *a23 + 132*a11 *a22 *a23 + 108*a11 *a22 *a23
8 3 8 8 10 7 10 2
+ 12*a11 *a22 *a23 - 12*a11 *a22*a23 - 106*a11 *a22 *a23
7 8 4 7 6 6 7 4 8
- 266*a11 *a22 *a23 - 164*a11 *a22 *a23 + 44*a11 *a22 *a23
7 2 10 7 12 6 11 2
+ 46*a11 *a22 *a23 - 2*a11 *a23 + 125*a11 *a22 *a23
6 9 4 6 7 6 6 5 8
+ 273*a11 *a22 *a23 + 82*a11 *a22 *a23 - 142*a11 *a22 *a23
6 3 10 6 12 5 12 2
- 63*a11 *a22 *a23 + 13*a11 *a22*a23 - 75*a11 *a22 *a23
5 10 4 5 8 6 5 6 8
- 134*a11 *a22 *a23 + 23*a11 *a22 *a23 + 124*a11 *a22 *a23
5 4 10 5 2 12 5 14
+ 19*a11 *a22 *a23 - 22*a11 *a22 *a23 + a11 *a23
4 13 2 4 11 4 4 9 6
+ 18*a11 *a22 *a23 + 24*a11 *a22 *a23 - 22*a11 *a22 *a23
4 7 8 4 5 10 4 3 12
- 32*a11 *a22 *a23 + 6*a11 *a22 *a23 + 8*a11 *a22 *a23
4 14 8 9
- 2*a11 *a22*a23 ) + u1*v1*( - a11 *a22 *a23*b32
8 7 3 8 5 5 8 3 7
- 4*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b32
8 9 7 10 7 8 3
- a11 *a22*a23 *b32 + 9*a11 *a22 *a23*b32 + 35*a11 *a22 *a23 *b32
7 6 5 7 4 7 7 2 9
+ 50*a11 *a22 *a23 *b32 + 30*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b32
7 11 6 11 6 9 3
- a11 *a23 *b32 - 32*a11 *a22 *a23*b32 - 119*a11 *a22 *a23 *b32
6 7 5 6 5 7 6 3 9
- 156*a11 *a22 *a23 *b32 - 74*a11 *a22 *a23 *b32 + 4*a11 *a22 *a23 *b32
6 11 5 12
+ 9*a11 *a22*a23 *b32 + 58*a11 *a22 *a23*b32
5 10 3 5 8 5
+ 203*a11 *a22 *a23 *b32 + 233*a11 *a22 *a23 *b32
5 6 7 5 4 9
+ 62*a11 *a22 *a23 *b32 - 52*a11 *a22 *a23 *b32
5 2 11 5 13 4 13
- 25*a11 *a22 *a23 *b32 + a11 *a23 *b32 - 57*a11 *a22 *a23*b32
4 11 3 4 9 5
- 185*a11 *a22 *a23 *b32 - 174*a11 *a22 *a23 *b32
4 7 7 4 5 9
+ 14*a11 *a22 *a23 *b32 + 91*a11 *a22 *a23 *b32
4 3 11 4 13 3 14
+ 27*a11 *a22 *a23 *b32 - 4*a11 *a22*a23 *b32 + 29*a11 *a22 *a23*b32
3 12 3 3 10 5
+ 86*a11 *a22 *a23 *b32 + 59*a11 *a22 *a23 *b32
3 8 7 3 6 9
- 44*a11 *a22 *a23 *b32 - 61*a11 *a22 *a23 *b32
3 4 11 3 2 13 2 15
- 10*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23*b32
2 13 3 2 11 5
- 16*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b32
2 9 7 2 7 9 2 3 13
+ 16*a11 *a22 *a23 *b32 + 14*a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *b32
2 9 8 2 9 6 4 9 4 6
) + u2 *(a11 *a22 *a23 + 3*a11 *a22 *a23 + 3*a11 *a22 *a23
9 2 8 8 9 2 8 7 4
+ a11 *a22 *a23 - 11*a11 *a22 *a23 - 32*a11 *a22 *a23
8 5 6 8 3 8 8 10
- 30*a11 *a22 *a23 - 8*a11 *a22 *a23 + a11 *a22*a23
7 10 2 7 8 4 7 6 6
+ 48*a11 *a22 *a23 + 132*a11 *a22 *a23 + 108*a11 *a22 *a23
7 4 8 7 2 10 6 11 2
+ 12*a11 *a22 *a23 - 12*a11 *a22 *a23 - 106*a11 *a22 *a23
6 9 4 6 7 6 6 5 8
- 266*a11 *a22 *a23 - 164*a11 *a22 *a23 + 44*a11 *a22 *a23
6 3 10 6 12 5 12 2
+ 46*a11 *a22 *a23 - 2*a11 *a22*a23 + 125*a11 *a22 *a23
5 10 4 5 8 6 5 6 8
+ 273*a11 *a22 *a23 + 82*a11 *a22 *a23 - 142*a11 *a22 *a23
5 4 10 5 2 12 4 13 2
- 63*a11 *a22 *a23 + 13*a11 *a22 *a23 - 75*a11 *a22 *a23
4 11 4 4 9 6 4 7 8
- 134*a11 *a22 *a23 + 23*a11 *a22 *a23 + 124*a11 *a22 *a23
4 5 10 4 3 12 4 14
+ 19*a11 *a22 *a23 - 22*a11 *a22 *a23 + a11 *a22*a23
3 14 2 3 12 4 3 10 6
+ 18*a11 *a22 *a23 + 24*a11 *a22 *a23 - 22*a11 *a22 *a23
3 8 8 3 6 10 3 4 12
- 32*a11 *a22 *a23 + 6*a11 *a22 *a23 + 8*a11 *a22 *a23
3 2 14 9 7 3
- 2*a11 *a22 *a23 ) + u2*u3*(2*a11 *a22 *a23
9 5 5 9 3 7 9 9
+ 6*a11 *a22 *a23 + 6*a11 *a22 *a23 + 2*a11 *a22*a23
8 8 3 8 6 5 8 4 7
- 22*a11 *a22 *a23 - 64*a11 *a22 *a23 - 60*a11 *a22 *a23
8 2 9 8 11 7 9 3
- 16*a11 *a22 *a23 + 2*a11 *a23 + 96*a11 *a22 *a23
7 7 5 7 5 7 7 3 9
+ 264*a11 *a22 *a23 + 216*a11 *a22 *a23 + 24*a11 *a22 *a23
7 11 6 10 3 6 8 5
- 24*a11 *a22*a23 - 212*a11 *a22 *a23 - 532*a11 *a22 *a23
6 6 7 6 4 9 6 2 11
- 328*a11 *a22 *a23 + 88*a11 *a22 *a23 + 92*a11 *a22 *a23
6 13 5 11 3 5 9 5
- 4*a11 *a23 + 250*a11 *a22 *a23 + 546*a11 *a22 *a23
5 7 7 5 5 9 5 3 11
+ 164*a11 *a22 *a23 - 284*a11 *a22 *a23 - 126*a11 *a22 *a23
5 13 4 12 3 4 10 5
+ 26*a11 *a22*a23 - 150*a11 *a22 *a23 - 268*a11 *a22 *a23
4 8 7 4 6 9 4 4 11
+ 46*a11 *a22 *a23 + 248*a11 *a22 *a23 + 38*a11 *a22 *a23
4 2 13 4 15 3 13 3
- 44*a11 *a22 *a23 + 2*a11 *a23 + 36*a11 *a22 *a23
3 11 5 3 9 7 3 7 9
+ 48*a11 *a22 *a23 - 44*a11 *a22 *a23 - 64*a11 *a22 *a23
3 5 11 3 3 13 3 15 2
+ 12*a11 *a22 *a23 + 16*a11 *a22 *a23 - 4*a11 *a22*a23 ) + u3 *(
9 6 4 9 4 6 9 2 8 9 10
a11 *a22 *a23 + 3*a11 *a22 *a23 + 3*a11 *a22 *a23 + a11 *a23
8 9 2 8 7 4 8 5 6
- a11 *a22 *a23 - 16*a11 *a22 *a23 - 42*a11 *a22 *a23
8 3 8 8 10 7 10 2
- 40*a11 *a22 *a23 - 13*a11 *a22*a23 + 9*a11 *a22 *a23
7 8 4 7 6 6 7 4 8
+ 93*a11 *a22 *a23 + 222*a11 *a22 *a23 + 198*a11 *a22 *a23
7 2 10 7 12 6 11 2
+ 57*a11 *a22 *a23 - 3*a11 *a23 - 30*a11 *a22 *a23
6 9 4 6 7 6 6 5 8
- 254*a11 *a22 *a23 - 556*a11 *a22 *a23 - 444*a11 *a22 *a23
6 3 10 6 12 5 12 2
- 86*a11 *a22 *a23 + 26*a11 *a22*a23 + 46*a11 *a22 *a23
5 10 4 5 8 6 5 6 8
+ 345*a11 *a22 *a23 + 683*a11 *a22 *a23 + 442*a11 *a22 *a23
5 4 10 5 2 12 5 14
- 12*a11 *a22 *a23 - 67*a11 *a22 *a23 + 3*a11 *a23
4 13 2 4 11 4 4 9 6
- 33*a11 *a22 *a23 - 226*a11 *a22 *a23 - 395*a11 *a22 *a23
4 7 8 4 5 10 4 3 12
- 172*a11 *a22 *a23 + 89*a11 *a22 *a23 + 46*a11 *a22 *a23
4 14 3 14 2 3 12 4
- 13*a11 *a22*a23 + 9*a11 *a22 *a23 + 57*a11 *a22 *a23
3 10 6 3 8 8 3 6 10
+ 85*a11 *a22 *a23 + 13*a11 *a22 *a23 - 37*a11 *a22 *a23
3 4 12 3 2 14 3 16
- 5*a11 *a22 *a23 + 7*a11 *a22 *a23 - a11 *a23 ) + u3*v2*(
9 7 2 9 5 4 9 3 6
a11 *a22 *a23 *b32 + 3*a11 *a22 *a23 *b32 + 3*a11 *a22 *a23 *b32
9 8 8 8 2 8 6 4
+ a11 *a22*a23 *b32 - 11*a11 *a22 *a23 *b32 - 32*a11 *a22 *a23 *b32
8 4 6 8 2 8 8 10
- 30*a11 *a22 *a23 *b32 - 8*a11 *a22 *a23 *b32 + a11 *a23 *b32
7 9 2 7 7 4
+ 48*a11 *a22 *a23 *b32 + 132*a11 *a22 *a23 *b32
7 5 6 7 3 8
+ 108*a11 *a22 *a23 *b32 + 12*a11 *a22 *a23 *b32
7 10 6 10 2
- 12*a11 *a22*a23 *b32 - 106*a11 *a22 *a23 *b32
6 8 4 6 6 6
- 266*a11 *a22 *a23 *b32 - 164*a11 *a22 *a23 *b32
6 4 8 6 2 10 6 12
+ 44*a11 *a22 *a23 *b32 + 46*a11 *a22 *a23 *b32 - 2*a11 *a23 *b32
5 11 2 5 9 4
+ 125*a11 *a22 *a23 *b32 + 273*a11 *a22 *a23 *b32
5 7 6 5 5 8
+ 82*a11 *a22 *a23 *b32 - 142*a11 *a22 *a23 *b32
5 3 10 5 12
- 63*a11 *a22 *a23 *b32 + 13*a11 *a22*a23 *b32
4 12 2 4 10 4
- 75*a11 *a22 *a23 *b32 - 134*a11 *a22 *a23 *b32
4 8 6 4 6 8
+ 23*a11 *a22 *a23 *b32 + 124*a11 *a22 *a23 *b32
4 4 10 4 2 12 4 14
+ 19*a11 *a22 *a23 *b32 - 22*a11 *a22 *a23 *b32 + a11 *a23 *b32
3 13 2 3 11 4
+ 18*a11 *a22 *a23 *b32 + 24*a11 *a22 *a23 *b32
3 9 6 3 7 8 3 5 10
- 22*a11 *a22 *a23 *b32 - 32*a11 *a22 *a23 *b32 + 6*a11 *a22 *a23 *b32
3 3 12 3 14
+ 8*a11 *a22 *a23 *b32 - 2*a11 *a22*a23 *b32) + u3*v3*(
9 8 9 6 3 9 4 5
- a11 *a22 *a23*b32 - 3*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *b32
9 2 7 8 9 8 7 3
- a11 *a22 *a23 *b32 + 9*a11 *a22 *a23*b32 + 24*a11 *a22 *a23 *b32
8 5 5 8 9 7 10
+ 18*a11 *a22 *a23 *b32 - 3*a11 *a22*a23 *b32 - 32*a11 *a22 *a23*b32
7 8 3 7 6 5 7 4 7
- 70*a11 *a22 *a23 *b32 - 20*a11 *a22 *a23 *b32 + 40*a11 *a22 *a23 *b32
7 2 9 7 11 6 11
+ 20*a11 *a22 *a23 *b32 - 2*a11 *a23 *b32 + 58*a11 *a22 *a23*b32
6 9 3 6 7 5
+ 90*a11 *a22 *a23 *b32 - 60*a11 *a22 *a23 *b32
6 5 7 6 3 9
- 140*a11 *a22 *a23 *b32 - 30*a11 *a22 *a23 *b32
6 11 5 12
+ 18*a11 *a22*a23 *b32 - 57*a11 *a22 *a23*b32
5 10 3 5 8 5
- 43*a11 *a22 *a23 *b32 + 160*a11 *a22 *a23 *b32
5 6 7 5 4 9
+ 170*a11 *a22 *a23 *b32 - 25*a11 *a22 *a23 *b32
5 2 11 5 13 4 13
- 47*a11 *a22 *a23 *b32 + 2*a11 *a23 *b32 + 29*a11 *a22 *a23*b32
4 11 3 4 9 5
- 6*a11 *a22 *a23 *b32 - 129*a11 *a22 *a23 *b32
4 7 7 4 5 9
- 68*a11 *a22 *a23 *b32 + 75*a11 *a22 *a23 *b32
4 3 11 4 13 3 14
+ 42*a11 *a22 *a23 *b32 - 7*a11 *a22*a23 *b32 - 6*a11 *a22 *a23*b32
3 12 3 3 10 5
+ 8*a11 *a22 *a23 *b32 + 34*a11 *a22 *a23 *b32
3 6 9 3 4 11 3 2 13
- 34*a11 *a22 *a23 *b32 - 8*a11 *a22 *a23 *b32 + 6*a11 *a22 *a23 *b32
2 1 9 8 2 9 6 3
) + v2 *(---*a11 *a22 *b32 - a11 *a22 *a23 *c23
4
3 9 6 2 2 9 4 5
+ ---*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *c23
4
3 9 4 4 2 9 2 7
+ ---*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *c23
4
1 9 2 6 2 9 9 8 9
+ ---*a11 *a22 *a23 *b32 - a11 *a23 *c23 + a11 *a22 *a23*c23
4
5 8 9 2 8 7 3
- ---*a11 *a22 *b32 + 16*a11 *a22 *a23 *c23
2
29 8 7 2 2 8 5 5
- ----*a11 *a22 *a23 *b32 + 42*a11 *a22 *a23 *c23
4
27 8 5 4 2 8 3 7
- ----*a11 *a22 *a23 *b32 + 40*a11 *a22 *a23 *c23
4
7 8 3 6 2 8 9
- ---*a11 *a22 *a23 *b32 + 13*a11 *a22*a23 *c23
4
1 8 8 2 7 10
+ ---*a11 *a22*a23 *b32 - 10*a11 *a22 *a23*c23
4
43 7 10 2 7 8 3
+ ----*a11 *a22 *b32 - 98*a11 *a22 *a23 *c23
4
7 8 2 2 7 6 5
+ 30*a11 *a22 *a23 *b32 - 232*a11 *a22 *a23 *c23
51 7 6 4 2 7 4 7
+ ----*a11 *a22 *a23 *b32 - 208*a11 *a22 *a23 *c23
2
7 4 6 2 7 2 9
+ 4*a11 *a22 *a23 *b32 - 62*a11 *a22 *a23 *c23
9 7 2 8 2 7 11
- ---*a11 *a22 *a23 *b32 + 2*a11 *a23 *c23
4
6 11 103 6 11 2
+ 39*a11 *a22 *a23*c23 - -----*a11 *a22 *b32
4
6 9 3 275 6 9 2 2
+ 299*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
6 7 5 6 7 4 2
+ 646*a11 *a22 *a23 *c23 - 52*a11 *a22 *a23 *b32
6 5 7 6 5 6 2
+ 534*a11 *a22 *a23 *c23 - a11 *a22 *a23 *b32
6 3 9 31 6 3 8 2
+ 131*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
6 11 1 6 10 2
- 17*a11 *a22*a23 *c23 - ---*a11 *a22*a23 *b32
4
5 12 5 12 2
- 76*a11 *a22 *a23*c23 + 37*a11 *a22 *b32
5 10 3 375 5 10 2 2
- 493*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 8 5 243 5 8 4 2
- 973*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 6 7 21 5 6 6 2
- 722*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
5 4 9 27 5 4 8 2
- 118*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
5 2 11 3 5 2 10 2
+ 47*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4
5 13 1 5 12 2 4 13
- a11 *a23 *c23 - ---*a11 *a23 *b32 + 79*a11 *a22 *a23*c23
4
63 4 13 2 4 11 3
- ----*a11 *a22 *b32 + 446*a11 *a22 *a23 *c23
2
297 4 11 2 2 4 9 5
- -----*a11 *a22 *a23 *b32 + 805*a11 *a22 *a23 *c23
4
147 4 9 4 2 4 7 7
- -----*a11 *a22 *a23 *b32 + 532*a11 *a22 *a23 *c23
4
43 4 7 6 2 4 5 9
+ ----*a11 *a22 *a23 *b32 + 41*a11 *a22 *a23 *c23
2
4 5 8 2 4 3 11
+ 15*a11 *a22 *a23 *b32 - 50*a11 *a22 *a23 *c23
3 4 3 10 2 4 13
+ ---*a11 *a22 *a23 *b32 + 3*a11 *a22*a23 *c23
4
5 4 12 2 3 14
+ ---*a11 *a22*a23 *b32 - 42*a11 *a22 *a23*c23
4
55 3 14 2 3 12 3
+ ----*a11 *a22 *b32 - 208*a11 *a22 *a23 *c23
4
3 12 2 2 3 10 5
+ 27*a11 *a22 *a23 *b32 - 346*a11 *a22 *a23 *c23
3 3 10 4 2 3 8 7
+ ---*a11 *a22 *a23 *b32 - 208*a11 *a22 *a23 *c23
4
3 8 6 2 3 6 9
- 24*a11 *a22 *a23 *b32 + 2*a11 *a22 *a23 *c23
51 3 6 8 2 3 4 11
- ----*a11 *a22 *a23 *b32 + 32*a11 *a22 *a23 *c23
4
3 4 10 2 3 2 13
- 3*a11 *a22 *a23 *b32 + 2*a11 *a22 *a23 *c23
7 3 2 12 2 2 15
- ---*a11 *a22 *a23 *b32 + 9*a11 *a22 *a23*c23
4
3 2 15 2 2 13 3
- ---*a11 *a22 *b32 + 39*a11 *a22 *a23 *c23
4
17 2 13 2 2 2 11 5
+ ----*a11 *a22 *a23 *b32 + 61*a11 *a22 *a23 *c23
4
33 2 11 4 2 2 9 7
+ ----*a11 *a22 *a23 *b32 + 35*a11 *a22 *a23 *c23
2
33 2 9 6 2 2 7 9
+ ----*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *c23
2
17 2 7 8 2 2 5 11
+ ----*a11 *a22 *a23 *b32 - 11*a11 *a22 *a23 *c23
4
3 2 5 10 2 2 3 13
- ---*a11 *a22 *a23 *b32 - a11 *a22 *a23 *c23
4
2 15 7 16 2
+ a11 *a22*a23 *c23 - ---*a11*a22 *b32
4
15 14 2 2 45 12 4 2
- ----*a11*a22 *a23 *b32 - ----*a11*a22 *a23 *b32
2 4
10 6 2 15 8 8 2
- 5*a11*a22 *a23 *b32 + ----*a11*a22 *a23 *b32
4
9 6 10 2 5 4 12 2
+ ---*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32
2 4
1 17 2 15 2 2 5 13 4 2
+ ---*a22 *b32 + 2*a22 *a23 *b32 + ---*a22 *a23 *b32
2 2
5 9 8 2 7 10 2 1 5 12 2
- ---*a22 *a23 *b32 - 2*a22 *a23 *b32 - ---*a22 *a23 *b32
2 2
9 7 2 9 5 4
) + v2*v3*(2*a11 *a22 *a23 *c23 + 6*a11 *a22 *a23 *c23
9 3 6 9 8 8 8 2
+ 6*a11 *a22 *a23 *c23 + 2*a11 *a22*a23 *c23 - 22*a11 *a22 *a23 *c23
8 6 4 8 4 6 8 2 8
- 64*a11 *a22 *a23 *c23 - 60*a11 *a22 *a23 *c23 - 16*a11 *a22 *a23 *c23
8 10 7 9 2 7 7 4
+ 2*a11 *a23 *c23 + 96*a11 *a22 *a23 *c23 + 264*a11 *a22 *a23 *c23
7 5 6 7 3 8
+ 216*a11 *a22 *a23 *c23 + 24*a11 *a22 *a23 *c23
7 10 6 10 2
- 24*a11 *a22*a23 *c23 - 212*a11 *a22 *a23 *c23
6 8 4 6 6 6
- 532*a11 *a22 *a23 *c23 - 328*a11 *a22 *a23 *c23
6 4 8 6 2 10 6 12
+ 88*a11 *a22 *a23 *c23 + 92*a11 *a22 *a23 *c23 - 4*a11 *a23 *c23
5 11 2 5 9 4
+ 250*a11 *a22 *a23 *c23 + 546*a11 *a22 *a23 *c23
5 7 6 5 5 8
+ 164*a11 *a22 *a23 *c23 - 284*a11 *a22 *a23 *c23
5 3 10 5 12
- 126*a11 *a22 *a23 *c23 + 26*a11 *a22*a23 *c23
4 12 2 4 10 4
- 150*a11 *a22 *a23 *c23 - 268*a11 *a22 *a23 *c23
4 8 6 4 6 8
+ 46*a11 *a22 *a23 *c23 + 248*a11 *a22 *a23 *c23
4 4 10 4 2 12 4 14
+ 38*a11 *a22 *a23 *c23 - 44*a11 *a22 *a23 *c23 + 2*a11 *a23 *c23
3 13 2 3 11 4
+ 36*a11 *a22 *a23 *c23 + 48*a11 *a22 *a23 *c23
3 9 6 3 7 8
- 44*a11 *a22 *a23 *c23 - 64*a11 *a22 *a23 *c23
3 5 10 3 3 12
+ 12*a11 *a22 *a23 *c23 + 16*a11 *a22 *a23 *c23
3 14 2 9 8
- 4*a11 *a22*a23 *c23) + v3 *( - 2*a11 *a22 *a23*c23
1 9 8 2 9 6 3 3 9 6 2 2
+ ---*a11 *a22 *b32 - 7*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4 4
9 4 5 3 9 4 4 2 9 2 7
- 9*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *c23
4
1 9 2 6 2 9 9 8 9
+ ---*a11 *a22 *a23 *b32 - a11 *a23 *c23 + 19*a11 *a22 *a23*c23
4
5 8 9 2 8 7 3 29 8 7 2 2
- ---*a11 *a22 *b32 + 64*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2 4
8 5 5 27 8 5 4 2
+ 78*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
4
8 3 7 7 8 3 6 2 8 9
+ 40*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32 + 7*a11 *a22*a23 *c23
4
1 8 8 2 7 10 43 7 10 2
+ ---*a11 *a22*a23 *b32 - 74*a11 *a22 *a23*c23 + ----*a11 *a22 *b32
4 4
7 8 3 7 8 2 2
- 238*a11 *a22 *a23 *c23 + 30*a11 *a22 *a23 *b32
7 6 5 51 7 6 4 2
- 272*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
2
7 4 7 7 4 6 2
- 128*a11 *a22 *a23 *c23 + 4*a11 *a22 *a23 *b32
7 2 9 9 7 2 8 2 7 11
- 22*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32 - 2*a11 *a23 *c23
4
6 11 103 6 11 2
+ 155*a11 *a22 *a23*c23 - -----*a11 *a22 *b32
4
6 9 3 275 6 9 2 2
+ 479*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
6 7 5 6 7 4 2
+ 526*a11 *a22 *a23 *c23 - 52*a11 *a22 *a23 *b32
6 5 7 6 5 6 2 6 3 9
+ 254*a11 *a22 *a23 *c23 - a11 *a22 *a23 *b32 + 71*a11 *a22 *a23 *c23
31 6 3 8 2 6 11
+ ----*a11 *a22 *a23 *b32 + 19*a11 *a22*a23 *c23
4
1 6 10 2 5 12 5 12 2
- ---*a11 *a22*a23 *b32 - 190*a11 *a22 *a23*c23 + 37*a11 *a22 *b32
4
5 10 3 375 5 10 2 2
- 579*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 8 5 243 5 8 4 2
- 653*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
5 6 7 21 5 6 6 2
- 382*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
5 4 9 27 5 4 8 2
- 168*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
5 2 11 3 5 2 10 2 5 13
- 47*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32 + 3*a11 *a23 *c23
4
1 5 12 2 4 13 63 4 13 2
- ---*a11 *a23 *b32 + 137*a11 *a22 *a23*c23 - ----*a11 *a22 *b32
4 2
4 11 3 297 4 11 2 2
+ 434*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
4 9 5 147 4 9 4 2
+ 547*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
4
4 7 7 43 4 7 6 2
+ 396*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
2
4 5 9 4 5 8 2
+ 191*a11 *a22 *a23 *c23 + 15*a11 *a22 *a23 *b32
4 3 11 3 4 3 10 2
+ 34*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4
4 13 5 4 12 2
- 11*a11 *a22*a23 *c23 + ---*a11 *a22*a23 *b32
4
3 14 55 3 14 2
- 54*a11 *a22 *a23*c23 + ----*a11 *a22 *b32
4
3 12 3 3 12 2 2
- 192*a11 *a22 *a23 *c23 + 27*a11 *a22 *a23 *b32
3 10 5 3 3 10 4 2
- 278*a11 *a22 *a23 *c23 + ---*a11 *a22 *a23 *b32
4
3 8 7 3 8 6 2
- 208*a11 *a22 *a23 *c23 - 24*a11 *a22 *a23 *b32
3 6 9 51 3 6 8 2
- 66*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
4
3 4 11 3 4 10 2
+ 16*a11 *a22 *a23 *c23 - 3*a11 *a22 *a23 *b32
3 2 13 7 3 2 12 2
+ 14*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
4
2 15 3 2 15 2 2 13 3
+ 9*a11 *a22 *a23*c23 - ---*a11 *a22 *b32 + 39*a11 *a22 *a23 *c23
4
17 2 13 2 2 2 11 5
+ ----*a11 *a22 *a23 *b32 + 61*a11 *a22 *a23 *c23
4
33 2 11 4 2 2 9 7
+ ----*a11 *a22 *a23 *b32 + 35*a11 *a22 *a23 *c23
2
33 2 9 6 2 2 7 9
+ ----*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *c23
2
17 2 7 8 2 2 5 11
+ ----*a11 *a22 *a23 *b32 - 11*a11 *a22 *a23 *c23
4
3 2 5 10 2 2 3 13 2 15
- ---*a11 *a22 *a23 *b32 - a11 *a22 *a23 *c23 + a11 *a22*a23 *c23
4
7 16 2 15 14 2 2
- ---*a11*a22 *b32 - ----*a11*a22 *a23 *b32
4 2
45 12 4 2 10 6 2
- ----*a11*a22 *a23 *b32 - 5*a11*a22 *a23 *b32
4
15 8 8 2 9 6 10 2
+ ----*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32
4 2
5 4 12 2 1 17 2 15 2 2
+ ---*a11*a22 *a23 *b32 + ---*a22 *b32 + 2*a22 *a23 *b32
4 2
5 13 4 2 5 9 8 2 7 10 2
+ ---*a22 *a23 *b32 - ---*a22 *a23 *b32 - 2*a22 *a23 *b32
2 2
1 5 12 2 9 7 2 9 5 4
- ---*a22 *a23 *b32 ))/(a11 *a22 *a23 + 3*a11 *a22 *a23
2
9 3 6 9 8 8 8 2
+ 3*a11 *a22 *a23 + a11 *a22*a23 - 11*a11 *a22 *a23
8 6 4 8 4 6 8 2 8 8 10
- 32*a11 *a22 *a23 - 30*a11 *a22 *a23 - 8*a11 *a22 *a23 + a11 *a23
7 9 2 7 7 4 7 5 6
+ 48*a11 *a22 *a23 + 132*a11 *a22 *a23 + 108*a11 *a22 *a23
7 3 8 7 10 6 10 2
+ 12*a11 *a22 *a23 - 12*a11 *a22*a23 - 106*a11 *a22 *a23
6 8 4 6 6 6 6 4 8
- 266*a11 *a22 *a23 - 164*a11 *a22 *a23 + 44*a11 *a22 *a23
6 2 10 6 12 5 11 2
+ 46*a11 *a22 *a23 - 2*a11 *a23 + 125*a11 *a22 *a23
5 9 4 5 7 6 5 5 8
+ 273*a11 *a22 *a23 + 82*a11 *a22 *a23 - 142*a11 *a22 *a23
5 3 10 5 12 4 12 2
- 63*a11 *a22 *a23 + 13*a11 *a22*a23 - 75*a11 *a22 *a23
4 10 4 4 8 6 4 6 8
- 134*a11 *a22 *a23 + 23*a11 *a22 *a23 + 124*a11 *a22 *a23
4 4 10 4 2 12 4 14
+ 19*a11 *a22 *a23 - 22*a11 *a22 *a23 + a11 *a23
3 13 2 3 11 4 3 9 6
+ 18*a11 *a22 *a23 + 24*a11 *a22 *a23 - 22*a11 *a22 *a23
3 7 8 3 5 10 3 3 12
- 32*a11 *a22 *a23 + 6*a11 *a22 *a23 + 8*a11 *a22 *a23
3 14
- 2*a11 *a22*a23 )
has apart from the Hamiltonian and Casimirs only the following first integral:
1 14 9 3 14 7 3
FI=u1*v1*(---*a11 *a22 *a23*b32 + ---*a11 *a22 *a23 *b32
2 2
3 14 5 5 1 14 3 7
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32
2 2
19 13 10 55 13 8 3
- ----*a11 *a22 *a23*b32 - ----*a11 *a22 *a23 *b32
2 2
51 13 6 5 13 13 4 7
- ----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 2
13 2 9 161 12 11
+ a11 *a22 *a23 *b32 + -----*a11 *a22 *a23*b32
2
12 9 3 12 7 5
+ 223*a11 *a22 *a23 *b32 + 187*a11 *a22 *a23 *b32
12 5 7 31 12 3 9
+ 28*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2
12 11 805 11 12
+ a11 *a22*a23 *b32 - -----*a11 *a22 *a23*b32
2
2119 11 10 3 1565 11 8 5
- ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 2
11 6 7 185 11 4 9
- 15*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
35 11 2 11 1 11 13
- ----*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
2 2
10 13 10 11 3
+ 1324*a11 *a22 *a23*b32 + 3297*a11 *a22 *a23 *b32
10 9 5 10 7 7
+ 2097*a11 *a22 *a23 *b32 - 262*a11 *a22 *a23 *b32
10 5 9 10 3 11
- 258*a11 *a22 *a23 *b32 + 117*a11 *a22 *a23 *b32
10 13 9 14
- 11*a11 *a22*a23 *b32 - 3023*a11 *a22 *a23*b32
9 12 3 7749 9 10 5
- 7122*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2
1945 9 8 7 9 6 9
+ ------*a11 *a22 *a23 *b32 + 288*a11 *a22 *a23 *b32
2
9 4 11 179 9 2 13
- 369*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
3 9 15 8 15
- ---*a11 *a23 *b32 + 4921*a11 *a22 *a23*b32
2
8 13 3 8 11 5
+ 11043*a11 *a22 *a23 *b32 + 5277*a11 *a22 *a23 *b32
8 9 7 8 7 9
- 1633*a11 *a22 *a23 *b32 + 75*a11 *a22 *a23 *b32
8 5 11 8 3 13
+ 489*a11 *a22 *a23 *b32 - 353*a11 *a22 *a23 *b32
8 15 7 16
+ 21*a11 *a22*a23 *b32 - 5765*a11 *a22 *a23*b32
7 14 3 11271 7 12 5
- 12514*a11 *a22 *a23 *b32 - -------*a11 *a22 *a23 *b32
2
7 10 7 433 7 8 9
+ 1583*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
2
7 6 11 1439 7 4 13
+ 144*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2
7 2 15 3 7 17
- 109*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
2
9665 6 17 20809 6 15 3
+ ------*a11 *a22 *a23*b32 + -------*a11 *a22 *a23 *b32
2 2
9655 6 13 5 2411 6 11 7
+ ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 2
1435 6 9 9 2485 6 7 11
- ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 2
1411 6 5 13 535 6 3 15
- ------*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2 2
6 17 5663 5 18
- 13*a11 *a22*a23 *b32 - ------*a11 *a22 *a23*b32
2
12509 5 16 3 5 14 5
- -------*a11 *a22 *a23 *b32 - 3152*a11 *a22 *a23 *b32
2
5 12 7 5 10 9
+ 1140*a11 *a22 *a23 *b32 + 1813*a11 *a22 *a23 *b32
5 8 11 5 6 13
+ 1475*a11 *a22 *a23 *b32 + 164*a11 *a22 *a23 *b32
5 4 15 77 5 2 17
- 328*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23 *b32
2
1 5 19 2205 4 19
- ---*a11 *a23 *b32 + ------*a11 *a22 *a23*b32
2 2
4 17 3 4 15 5
+ 2598*a11 *a22 *a23 *b32 + 1398*a11 *a22 *a23 *b32
4 13 7 4 11 9
- 1004*a11 *a22 *a23 *b32 - 1609*a11 *a22 *a23 *b32
4 9 11 4 7 13
- 696*a11 *a22 *a23 *b32 + 246*a11 *a22 *a23 *b32
4 5 15 99 4 3 17
+ 188*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2
4 19 513 3 20
+ 2*a11 *a22*a23 *b32 - -----*a11 *a22 *a23*b32
2
1341 3 18 3 3 16 5
- ------*a11 *a22 *a23 *b32 - 354*a11 *a22 *a23 *b32
2
3 14 7 3 12 9
+ 502*a11 *a22 *a23 *b32 + 641*a11 *a22 *a23 *b32
3 10 11 3 8 13
+ 77*a11 *a22 *a23 *b32 - 186*a11 *a22 *a23 *b32
3 6 15 55 3 4 17
- 34*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23 *b32
2
5 3 2 19 2 21
- ---*a11 *a22 *a23 *b32 + 27*a11 *a22 *a23*b32
2
2 19 3 2 17 5
+ 81*a11 *a22 *a23 *b32 + 36*a11 *a22 *a23 *b32
2 15 7 2 13 9
- 100*a11 *a22 *a23 *b32 - 94*a11 *a22 *a23 *b32
2 11 11 2 9 13
+ 22*a11 *a22 *a23 *b32 + 36*a11 *a22 *a23 *b32
2 7 15 2 5 17 2 3 19
- 4*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *b32 + a11 *a22 *a23 *b32
2 1 14 9 2 14 7 4 14 5 6
) + u2 *(---*a11 *a22 *a23 + 2*a11 *a22 *a23 + 3*a11 *a22 *a23
2
14 3 8 1 14 10 13 10 2
+ 2*a11 *a22 *a23 + ---*a11 *a22*a23 - 10*a11 *a22 *a23
2
79 13 8 4 13 6 6 13 4 8
- ----*a11 *a22 *a23 - 58*a11 *a22 *a23 - 37*a11 *a22 *a23
2
13 2 10 1 13 12 177 12 11 2
- 8*a11 *a22 *a23 + ---*a11 *a23 + -----*a11 *a22 *a23
2 2
685 12 9 4 12 7 6 12 5 8
+ -----*a11 *a22 *a23 + 485*a11 *a22 *a23 + 285*a11 *a22 *a23
2
85 12 3 10 23 12 12 11 12 2
+ ----*a11 *a22 *a23 - ----*a11 *a22*a23 - 457*a11 *a22 *a23
2 2
11 10 4 11 8 6 11 6 8
- 1717*a11 *a22 *a23 - 2300*a11 *a22 *a23 - 1170*a11 *a22 *a23
11 4 10 11 2 12 11 14
- 25*a11 *a22 *a23 + 103*a11 *a22 *a23 - 2*a11 *a23
10 13 2 10 11 4 10 9 6
+ 1529*a11 *a22 *a23 + 5518*a11 *a22 *a23 + 6815*a11 *a22 *a23
10 7 8 10 5 10 10 3 12
+ 2660*a11 *a22 *a23 - 665*a11 *a22 *a23 - 466*a11 *a22 *a23
10 14 9 14 2 9 12 4
+ 33*a11 *a22*a23 - 3480*a11 *a22 *a23 - 11917*a11 *a22 *a23
9 10 6 9 8 8 9 6 10
- 13094*a11 *a22 *a23 - 2803*a11 *a22 *a23 + 3188*a11 *a22 *a23
9 4 12 9 2 14 9 16
+ 1117*a11 *a22 *a23 - 214*a11 *a22 *a23 + 3*a11 *a23
8 15 2 8 13 4 8 11 6
+ 5501*a11 *a22 *a23 + 17627*a11 *a22 *a23 + 16337*a11 *a22 *a23
8 9 8 8 7 10 8 5 12
- 937*a11 *a22 *a23 - 7113*a11 *a22 *a23 - 1231*a11 *a22 *a23
8 3 14 8 16 7 16 2
+ 699*a11 *a22 *a23 - 35*a11 *a22*a23 - 6046*a11 *a22 *a23
7 14 4 7 12 6 7 10 8
- 17840*a11 *a22 *a23 - 12748*a11 *a22 *a23 + 6648*a11 *a22 *a23
7 8 10 7 6 12 7 4 14
+ 8880*a11 *a22 *a23 - 96*a11 *a22 *a23 - 1220*a11 *a22 *a23
7 2 16 7 18 9069 6 17 2
+ 152*a11 *a22 *a23 - 2*a11 *a23 + ------*a11 *a22 *a23
2
6 15 4 6 13 6 6 11 8
+ 12092*a11 *a22 *a23 + 5502*a11 *a22 *a23 - 8588*a11 *a22 *a23
6 9 10 6 7 12 6 5 14
- 6225*a11 *a22 *a23 + 1732*a11 *a22 *a23 + 1102*a11 *a22 *a23
6 3 16 29 6 18 5 18 2
- 308*a11 *a22 *a23 + ----*a11 *a22*a23 - 2214*a11 *a22 *a23
2
10431 5 16 4 5 14 6 5 12 8
- -------*a11 *a22 *a23 - 708*a11 *a22 *a23 + 5486*a11 *a22 *a23
2
5 10 10 5 8 12 5 6 14
+ 2168*a11 *a22 *a23 - 1789*a11 *a22 *a23 - 428*a11 *a22 *a23
5 4 16 5 2 18 1 5 20
+ 302*a11 *a22 *a23 - 34*a11 *a22 *a23 + ---*a11 *a23
2
1269 4 19 2 2565 4 17 4 4 15 6
+ ------*a11 *a22 *a23 + ------*a11 *a22 *a23 - 342*a11 *a22 *a23
2 2
4 13 8 4 11 10 4 9 12
- 1774*a11 *a22 *a23 - 197*a11 *a22 *a23 + 755*a11 *a22 *a23
4 7 14 4 5 16 61 4 3 18
+ 2*a11 *a22 *a23 - 134*a11 *a22 *a23 + ----*a11 *a22 *a23
2
3 4 20 3 20 2 3 18 4
- ---*a11 *a22*a23 - 81*a11 *a22 *a23 - 135*a11 *a22 *a23
2
3 16 6 3 14 8 3 12 10
+ 108*a11 *a22 *a23 + 228*a11 *a22 *a23 - 46*a11 *a22 *a23
3 10 12 3 8 14 3 6 16
- 114*a11 *a22 *a23 + 28*a11 *a22 *a23 + 20*a11 *a22 *a23
3 4 18 3 2 20 13 9 3
- 9*a11 *a22 *a23 + a11 *a22 *a23 ) + u2*u3*( - a11 *a22 *a23
13 7 5 13 5 7 13 3 9
- 4*a11 *a22 *a23 - 6*a11 *a22 *a23 - 4*a11 *a22 *a23
13 11 12 10 3 12 8 5
- a11 *a22*a23 + 19*a11 *a22 *a23 + 75*a11 *a22 *a23
12 6 7 12 4 9 12 2 11
+ 110*a11 *a22 *a23 + 70*a11 *a22 *a23 + 15*a11 *a22 *a23
12 13 11 11 3 11 9 5
- a11 *a23 - 158*a11 *a22 *a23 - 610*a11 *a22 *a23
11 7 7 11 5 9 11 3 11
- 860*a11 *a22 *a23 - 500*a11 *a22 *a23 - 70*a11 *a22 *a23
11 13 10 12 3 10 10 5
+ 22*a11 *a22*a23 + 756*a11 *a22 *a23 + 2824*a11 *a22 *a23
10 8 7 10 6 9 10 4 11
+ 3740*a11 *a22 *a23 + 1840*a11 *a22 *a23 - 20*a11 *a22 *a23
10 2 13 10 15 9 13 3
- 184*a11 *a22 *a23 + 4*a11 *a23 - 2302*a11 *a22 *a23
9 11 5 9 9 7 9 7 9
- 8212*a11 *a22 *a23 - 9890*a11 *a22 *a23 - 3480*a11 *a22 *a23
9 5 11 9 3 13 9 15
+ 1310*a11 *a22 *a23 + 748*a11 *a22 *a23 - 62*a11 *a22*a23
8 14 3 8 12 5 8 10 7
+ 4658*a11 *a22 *a23 + 15622*a11 *a22 *a23 + 16298*a11 *a22 *a23
8 8 9 8 6 11 8 4 13
+ 2126*a11 *a22 *a23 - 5066*a11 *a22 *a23 - 1486*a11 *a22 *a23
8 2 15 8 17 7 15 3
+ 366*a11 *a22 *a23 - 6*a11 *a23 - 6344*a11 *a22 *a23
7 13 5 7 11 7 7 9 9
- 19632*a11 *a22 *a23 - 16376*a11 *a22 *a23 + 4000*a11 *a22 *a23
7 7 11 7 5 13 7 3 15
+ 9160*a11 *a22 *a23 + 976*a11 *a22 *a23 - 1032*a11 *a22 *a23
7 17 6 16 3 6 14 5
+ 64*a11 *a22*a23 + 5748*a11 *a22 *a23 + 16048*a11 *a22 *a23
6 12 7 6 10 9 6 8 11
+ 9120*a11 *a22 *a23 - 9296*a11 *a22 *a23 - 8600*a11 *a22 *a23
6 6 13 6 4 15 6 2 17
+ 1168*a11 *a22 *a23 + 1408*a11 *a22 *a23 - 240*a11 *a22 *a23
6 19 5 17 3 5 15 5
+ 4*a11 *a23 - 3321*a11 *a22 *a23 - 8136*a11 *a22 *a23
5 13 7 5 11 9 5 9 11
- 1884*a11 *a22 *a23 + 7880*a11 *a22 *a23 + 3850*a11 *a22 *a23
5 7 13 5 5 15 5 3 17
- 2296*a11 *a22 *a23 - 796*a11 *a22 *a23 + 376*a11 *a22 *a23
5 19 4 18 3 4 16 5
- 25*a11 *a22*a23 + 1107*a11 *a22 *a23 + 2295*a11 *a22 *a23
4 14 7 4 12 9 4 10 11
- 468*a11 *a22 *a23 - 3092*a11 *a22 *a23 - 486*a11 *a22 *a23
4 8 13 4 6 15 4 4 17
+ 1282*a11 *a22 *a23 + 60*a11 *a22 *a23 - 228*a11 *a22 *a23
4 2 19 4 21 3 19 3
+ 43*a11 *a22 *a23 - a11 *a23 - 162*a11 *a22 *a23
3 17 5 3 15 7 3 13 9
- 270*a11 *a22 *a23 + 216*a11 *a22 *a23 + 456*a11 *a22 *a23
3 11 11 3 9 13 3 7 15
- 92*a11 *a22 *a23 - 228*a11 *a22 *a23 + 56*a11 *a22 *a23
3 5 17 3 3 19 3 21
+ 40*a11 *a22 *a23 - 18*a11 *a22 *a23 + 2*a11 *a22*a23 ) + u2*v3*(
1 14 8 2 3 14 6 4
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
2 2
3 14 4 6 1 14 2 8
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
2 2
19 13 9 2 55 13 7 4
+ ----*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23 *b32
2 2
51 13 5 6 13 13 3 8
+ ----*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23 *b32
2 2
13 10 12 10 2
- a11 *a22*a23 *b32 - 80*a11 *a22 *a23 *b32
441 12 8 4 12 6 6
- -----*a11 *a22 *a23 *b32 - 182*a11 *a22 *a23 *b32
2
12 4 8 12 2 10 1 12 12
- 23*a11 *a22 *a23 *b32 + 18*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
2
11 11 2 2035 11 9 4
+ 394*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2
11 7 6 11 5 8
+ 700*a11 *a22 *a23 *b32 - 65*a11 *a22 *a23 *b32
11 3 10 23 11 12
- 130*a11 *a22 *a23 *b32 + ----*a11 *a22*a23 *b32
2
10 12 2 5983 10 10 4
- 1261*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2
3029 10 8 6 10 6 8
- ------*a11 *a22 *a23 *b32 + 797*a11 *a22 *a23 *b32
2
10 4 10 203 10 2 12
+ 478*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
2
3 10 14 9 13 2
+ ---*a11 *a23 *b32 + 2755*a11 *a22 *a23 *b32
2
11713 9 11 4 3131 9 9 6
+ -------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2 2
9 7 8 9 5 10
- 2915*a11 *a22 *a23 *b32 - 898*a11 *a22 *a23 *b32
917 9 3 12 45 9 14
+ -----*a11 *a22 *a23 *b32 - ----*a11 *a22*a23 *b32
2 2
8 14 2 15475 8 12 4
- 4196*a11 *a22 *a23 *b32 - -------*a11 *a22 *a23 *b32
2
8 10 6 11571 8 8 8
+ 395*a11 *a22 *a23 *b32 + -------*a11 *a22 *a23 *b32
2
8 6 10 2333 8 4 12
+ 550*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2
8 2 14 3 8 16 7 15 2
+ 131*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32 + 4460*a11 *a22 *a23 *b32
2
13641 7 13 4 7 11 6
+ -------*a11 *a22 *a23 *b32 - 3359*a11 *a22 *a23 *b32
2
13653 7 9 8 7 7 10
- -------*a11 *a22 *a23 *b32 + 994*a11 *a22 *a23 *b32
2
3407 7 5 12 7 3 14
+ ------*a11 *a22 *a23 *b32 - 383*a11 *a22 *a23 *b32
2
29 7 16 6493 6 16 2
+ ----*a11 *a22*a23 *b32 - ------*a11 *a22 *a23 *b32
2 2
6 14 4 6 12 6
- 3845*a11 *a22 *a23 *b32 + 4459*a11 *a22 *a23 *b32
6 10 8 6 8 10
+ 4743*a11 *a22 *a23 *b32 - 2330*a11 *a22 *a23 *b32
6 6 12 6 4 14
- 1359*a11 *a22 *a23 *b32 + 605*a11 *a22 *a23 *b32
6 2 16 1 6 18
- 51*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
2
3087 5 17 2 5 15 4
+ ------*a11 *a22 *a23 *b32 + 1254*a11 *a22 *a23 *b32
2
5 13 6 5 11 8
- 2964*a11 *a22 *a23 *b32 - 1754*a11 *a22 *a23 *b32
5 9 10 5 7 12
+ 1999*a11 *a22 *a23 *b32 + 482*a11 *a22 *a23 *b32
5 5 14 5 3 16
- 512*a11 *a22 *a23 *b32 + 82*a11 *a22 *a23 *b32
5 5 18 4 18 2
- ---*a11 *a22*a23 *b32 - 432*a11 *a22 *a23 *b32
2
4 16 4 4 14 6
- 180*a11 *a22 *a23 *b32 + 1020*a11 *a22 *a23 *b32
4 12 8 4 10 10
+ 236*a11 *a22 *a23 *b32 - 804*a11 *a22 *a23 *b32
4 8 12 4 6 14
+ 4*a11 *a22 *a23 *b32 + 212*a11 *a22 *a23 *b32
4 4 16 4 2 18 3 19 2
- 60*a11 *a22 *a23 *b32 + 4*a11 *a22 *a23 *b32 + 54*a11 *a22 *a23 *b32
3 15 6 3 13 8
- 144*a11 *a22 *a23 *b32 + 16*a11 *a22 *a23 *b32
3 11 10 3 9 12
+ 124*a11 *a22 *a23 *b32 - 32*a11 *a22 *a23 *b32
3 7 14 3 5 16 3 3 18
- 32*a11 *a22 *a23 *b32 + 16*a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *b32
2 1 14 9 2 14 7 4 14 5 6
) + u3 *(---*a11 *a22 *a23 + 2*a11 *a22 *a23 + 3*a11 *a22 *a23
2
14 3 8 1 14 10
+ 2*a11 *a22 *a23 + ---*a11 *a22*a23
2
19 13 10 2 13 8 4
- ----*a11 *a22 *a23 - 38*a11 *a22 *a23
2
13 6 6 13 4 8
- 57*a11 *a22 *a23 - 38*a11 *a22 *a23
19 13 2 10 159 12 11 2
- ----*a11 *a22 *a23 + -----*a11 *a22 *a23
2 2
635 12 9 4 12 7 6
+ -----*a11 *a22 *a23 + 475*a11 *a22 *a23
2
12 5 8 155 12 3 10
+ 315*a11 *a22 *a23 + -----*a11 *a22 *a23
2
1 12 12 773 11 12 2
- ---*a11 *a22*a23 - -----*a11 *a22 *a23
2 2
11 10 4 4605 11 8 6
- 1542*a11 *a22 *a23 - ------*a11 *a22 *a23
2
11 6 8 735 11 4 10
- 1520*a11 *a22 *a23 - -----*a11 *a22 *a23
2
11 2 12 1 11 14 10 13 2
+ 6*a11 *a22 *a23 + ---*a11 *a23 + 1213*a11 *a22 *a23
2
10 11 4 10 9 6
+ 4854*a11 *a22 *a23 + 7275*a11 *a22 *a23
10 7 8 10 5 10
+ 4820*a11 *a22 *a23 + 1155*a11 *a22 *a23
10 3 12 10 14
- 42*a11 *a22 *a23 - 11*a11 *a22*a23
9 14 2 9 12 4
- 2583*a11 *a22 *a23 - 10460*a11 *a22 *a23
9 10 6 9 8 8
- 15909*a11 *a22 *a23 - 10698*a11 *a22 *a23
9 6 10 9 4 12
- 2497*a11 *a22 *a23 + 264*a11 *a22 *a23
9 2 14 9 16 8 15 2
+ 93*a11 *a22 *a23 - 2*a11 *a23 + 3815*a11 *a22 *a23
8 13 4 8 11 6
+ 15865*a11 *a22 *a23 + 24819*a11 *a22 *a23
8 9 8 8 7 10
+ 16957*a11 *a22 *a23 + 3413*a11 *a22 *a23
8 5 12 8 3 14 8 16
- 1173*a11 *a22 *a23 - 367*a11 *a22 *a23 + 31*a11 *a22*a23
7 16 2 7 14 4
- 3917*a11 *a22 *a23 - 17068*a11 *a22 *a23
7 12 6 7 10 8
- 27732*a11 *a22 *a23 - 18772*a11 *a22 *a23
7 8 10 7 6 12
- 2030*a11 *a22 *a23 + 2988*a11 *a22 *a23
7 4 14 7 2 16 7 18
+ 652*a11 *a22 *a23 - 172*a11 *a22 *a23 + 3*a11 *a23
5493 6 17 2 6 15 4
+ ------*a11 *a22 *a23 + 12844*a11 *a22 *a23
2
6 13 6 6 11 8
+ 21662*a11 *a22 *a23 + 13668*a11 *a22 *a23
6 9 10 6 7 12
- 1225*a11 *a22 *a23 - 4076*a11 *a22 *a23
6 5 14 6 3 16
- 306*a11 *a22 *a23 + 412*a11 *a22 *a23
59 6 18 2511 5 18 2
- ----*a11 *a22*a23 - ------*a11 *a22 *a23
2 2
5 16 4 5 14 6
- 6462*a11 *a22 *a23 - 11154*a11 *a22 *a23
5 12 8 5 10 10
- 5884*a11 *a22 *a23 + 2803*a11 *a22 *a23
5 8 12 5 6 14
+ 2832*a11 *a22 *a23 - 402*a11 *a22 *a23
5 4 16 177 5 2 18 5 20
- 404*a11 *a22 *a23 + -----*a11 *a22 *a23 - 2*a11 *a23
2
675 4 19 2 3915 4 17 4
+ -----*a11 *a22 *a23 + ------*a11 *a22 *a23
2 2
4 15 6 4 13 8
+ 3366*a11 *a22 *a23 + 1198*a11 *a22 *a23
4 11 10 4 9 12
- 1651*a11 *a22 *a23 - 867*a11 *a22 *a23
4 7 14 4 5 16
+ 462*a11 *a22 *a23 + 134*a11 *a22 *a23
165 4 3 18 19 4 20
- -----*a11 *a22 *a23 + ----*a11 *a22*a23
2 2
81 3 20 2 3 18 4
- ----*a11 *a22 *a23 - 270*a11 *a22 *a23
2
891 3 16 6 3 14 8
- -----*a11 *a22 *a23 - 48*a11 *a22 *a23
2
3 12 10 3 10 12
+ 331*a11 *a22 *a23 + 68*a11 *a22 *a23
3 8 14 43 3 4 18 3 2 20
- 123*a11 *a22 *a23 + ----*a11 *a22 *a23 - 6*a11 *a22 *a23
2
1 3 22 1 14 8 2
+ ---*a11 *a23 ) + u3*v2*(---*a11 *a22 *a23 *b32
2 2
3 14 6 4 3 14 4 6
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32
2 2
1 14 2 8 13 9 2
+ ---*a11 *a22 *a23 *b32 - 9*a11 *a22 *a23 *b32
2
53 13 7 4 51 13 5 6
- ----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 2
15 13 3 8 1 13 10
- ----*a11 *a22 *a23 *b32 + ---*a11 *a22*a23 *b32
2 2
143 12 10 2 12 8 4
+ -----*a11 *a22 *a23 *b32 + 206*a11 *a22 *a23 *b32
2
12 6 6 12 4 8
+ 189*a11 *a22 *a23 *b32 + 46*a11 *a22 *a23 *b32
17 12 2 10 11 11 2
- ----*a11 *a22 *a23 *b32 - 331*a11 *a22 *a23 *b32
2
1867 11 9 4 11 7 6
- ------*a11 *a22 *a23 *b32 - 814*a11 *a22 *a23 *b32
2
11 5 8 11 3 10
- 151*a11 *a22 *a23 *b32 + 61*a11 *a22 *a23 *b32
1 11 12 10 12 2
+ ---*a11 *a22*a23 *b32 + 993*a11 *a22 *a23 *b32
2
5515 10 10 4 4601 10 8 6
+ ------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2 2
10 6 8 10 4 10
+ 287*a11 *a22 *a23 *b32 - 262*a11 *a22 *a23 *b32
25 10 2 12 1 10 14
- ----*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
2 2
9 13 2 11251 9 11 4
- 2030*a11 *a22 *a23 *b32 - -------*a11 *a22 *a23 *b32
2
9131 9 9 6 9 7 8
- ------*a11 *a22 *a23 *b32 - 255*a11 *a22 *a23 *b32
2
9 5 10 193 9 3 12
+ 823*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
23 9 14 8 14 2
- ----*a11 *a22*a23 *b32 + 2891*a11 *a22 *a23 *b32
2
16345 8 12 4 8 10 6
+ -------*a11 *a22 *a23 *b32 + 6568*a11 *a22 *a23 *b32
2
645 8 8 8 8 6 10
- -----*a11 *a22 *a23 *b32 - 2017*a11 *a22 *a23 *b32
2
625 8 4 12 8 2 14 3 8 16
- -----*a11 *a22 *a23 *b32 + 94*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
2 2
7 15 2 17075 7 13 4
- 2874*a11 *a22 *a23 *b32 - -------*a11 *a22 *a23 *b32
2
7 11 6 3311 7 9 8
- 6805*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2
7 7 10 763 7 5 12
+ 3552*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
7 3 14 41 7 16
- 353*a11 *a22 *a23 *b32 + ----*a11 *a22*a23 *b32
2
3917 6 16 2 6 14 4
+ ------*a11 *a22 *a23 *b32 + 6327*a11 *a22 *a23 *b32
2
6 12 6 6 10 8
+ 4843*a11 *a22 *a23 *b32 - 2909*a11 *a22 *a23 *b32
6 8 10 6 6 12
- 3992*a11 *a22 *a23 *b32 + 133*a11 *a22 *a23 *b32
6 4 14 6 2 16 3 6 18
+ 645*a11 *a22 *a23 *b32 - 95*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
2
5 17 2 5 15 4
- 873*a11 *a22 *a23 *b32 - 3174*a11 *a22 *a23 *b32
5 13 6 5 11 8
- 2154*a11 *a22 *a23 *b32 + 2690*a11 *a22 *a23 *b32
5 9 10 5 7 12
+ 2564*a11 *a22 *a23 *b32 - 722*a11 *a22 *a23 *b32
5 5 14 5 3 16
- 550*a11 *a22 *a23 *b32 + 182*a11 *a22 *a23 *b32
5 18 459 4 18 2
- 11*a11 *a22*a23 *b32 + -----*a11 *a22 *a23 *b32
2
1935 4 16 4 4 14 6
+ ------*a11 *a22 *a23 *b32 + 498*a11 *a22 *a23 *b32
2
4 12 8 4 10 10
- 1278*a11 *a22 *a23 *b32 - 799*a11 *a22 *a23 *b32
4 8 12 4 6 14
+ 581*a11 *a22 *a23 *b32 + 178*a11 *a22 *a23 *b32
4 4 16 43 4 2 18 1 4 20
- 142*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
2 2
3 19 2 3 17 4
- 27*a11 *a22 *a23 *b32 - 135*a11 *a22 *a23 *b32
3 15 6 3 13 8
- 36*a11 *a22 *a23 *b32 + 244*a11 *a22 *a23 *b32
3 11 10 3 9 12
+ 78*a11 *a22 *a23 *b32 - 146*a11 *a22 *a23 *b32
3 7 14 3 5 16 3 3 18
- 4*a11 *a22 *a23 *b32 + 36*a11 *a22 *a23 *b32 - 11*a11 *a22 *a23 *b32
3 20 13 8 3
+ a11 *a22*a23 *b32) + u3*v3*(a11 *a22 *a23 *b32
13 6 5 13 4 7 13 2 9
+ 3*a11 *a22 *a23 *b32 + 3*a11 *a22 *a23 *b32 + a11 *a22 *a23 *b32
12 9 3 12 7 5
- 18*a11 *a22 *a23 *b32 - 52*a11 *a22 *a23 *b32
12 5 7 12 3 9 12 11
- 48*a11 *a22 *a23 *b32 - 12*a11 *a22 *a23 *b32 + 2*a11 *a22*a23 *b32
11 10 3 11 8 5
+ 142*a11 *a22 *a23 *b32 + 389*a11 *a22 *a23 *b32
11 6 7 11 4 9
+ 316*a11 *a22 *a23 *b32 + 34*a11 *a22 *a23 *b32
11 2 11 11 13 10 11 3
- 34*a11 *a22 *a23 *b32 + a11 *a23 *b32 - 646*a11 *a22 *a23 *b32
10 9 5 10 7 7
- 1646*a11 *a22 *a23 *b32 - 1084*a11 *a22 *a23 *b32
10 5 9 10 3 11
+ 164*a11 *a22 *a23 *b32 + 226*a11 *a22 *a23 *b32
10 13 9 12 3
- 22*a11 *a22*a23 *b32 + 1876*a11 *a22 *a23 *b32
9 10 5 9 8 7
+ 4337*a11 *a22 *a23 *b32 + 1945*a11 *a22 *a23 *b32
9 6 9 9 4 11
- 1430*a11 *a22 *a23 *b32 - 730*a11 *a22 *a23 *b32
9 2 13 9 15 8 13 3
+ 181*a11 *a22 *a23 *b32 - 3*a11 *a23 *b32 - 3634*a11 *a22 *a23 *b32
8 11 5 8 9 7
- 7376*a11 *a22 *a23 *b32 - 1186*a11 *a22 *a23 *b32
8 7 9 8 5 11
+ 4400*a11 *a22 *a23 *b32 + 1066*a11 *a22 *a23 *b32
8 3 13 8 15
- 736*a11 *a22 *a23 *b32 + 42*a11 *a22*a23 *b32
7 14 3 7 12 5
+ 4758*a11 *a22 *a23 *b32 + 8099*a11 *a22 *a23 *b32
7 10 7 7 8 9
- 1976*a11 *a22 *a23 *b32 - 7171*a11 *a22 *a23 *b32
7 6 11 7 4 13
- 34*a11 *a22 *a23 *b32 + 1597*a11 *a22 *a23 *b32
7 2 15 7 17 6 15 3
- 220*a11 *a22 *a23 *b32 + 3*a11 *a23 *b32 - 4162*a11 *a22 *a23 *b32
6 13 5 6 11 7
- 5542*a11 *a22 *a23 *b32 + 4742*a11 *a22 *a23 *b32
6 9 9 6 7 11
+ 6482*a11 *a22 *a23 *b32 - 2022*a11 *a22 *a23 *b32
6 5 13 6 3 15
- 1810*a11 *a22 *a23 *b32 + 546*a11 *a22 *a23 *b32
6 17 5 16 3
- 26*a11 *a22*a23 *b32 + 2331*a11 *a22 *a23 *b32
5 14 5 5 12 7
+ 2148*a11 *a22 *a23 *b32 - 4176*a11 *a22 *a23 *b32
5 10 9 5 8 11
- 3004*a11 *a22 *a23 *b32 + 2638*a11 *a22 *a23 *b32
5 6 13 5 4 15
+ 908*a11 *a22 *a23 *b32 - 664*a11 *a22 *a23 *b32
5 2 17 5 19 4 17 3
+ 76*a11 *a22 *a23 *b32 - a11 *a23 *b32 - 756*a11 *a22 *a23 *b32
4 15 5 4 13 7
- 360*a11 *a22 *a23 *b32 + 1752*a11 *a22 *a23 *b32
4 11 9 4 9 11
+ 504*a11 *a22 *a23 *b32 - 1360*a11 *a22 *a23 *b32
4 7 13 4 5 15
- 56*a11 *a22 *a23 *b32 + 360*a11 *a22 *a23 *b32
4 3 17 4 19 3 18 3
- 88*a11 *a22 *a23 *b32 + 4*a11 *a22*a23 *b32 + 108*a11 *a22 *a23 *b32
3 14 7 3 12 9
- 288*a11 *a22 *a23 *b32 + 32*a11 *a22 *a23 *b32
3 10 11 3 8 13
+ 248*a11 *a22 *a23 *b32 - 64*a11 *a22 *a23 *b32
3 6 15 3 4 17 3 2 19
- 64*a11 *a22 *a23 *b32 + 32*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b32
2 1 14 9 1 14 9 2
) + v1 *(---*a11 *a22 *a23*c23 - ---*a11 *a22 *b32
2 8
14 7 3 3 14 7 2 2
+ 2*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
8
14 5 5 3 14 5 4 2
+ 3*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
8
14 3 7 1 14 3 6 2
+ 2*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
8
1 14 9 13 10
+ ---*a11 *a22*a23 *c23 - 10*a11 *a22 *a23*c23
2
19 13 10 2 13 8 3
+ ----*a11 *a22 *b32 - 40*a11 *a22 *a23 *c23
8
13 8 2 2 13 6 5
+ 7*a11 *a22 *a23 *b32 - 60*a11 *a22 *a23 *c23
27 13 6 4 2 13 4 7
+ ----*a11 *a22 *a23 *b32 - 40*a11 *a22 *a23 *c23
4
13 4 6 2 13 2 9
+ 2*a11 *a22 *a23 *b32 - 10*a11 *a22 *a23 *c23
1 13 2 8 2 12 11
- ---*a11 *a22 *a23 *b32 + 89*a11 *a22 *a23*c23
8
81 12 11 2 12 9 3
- ----*a11 *a22 *b32 + 355*a11 *a22 *a23 *c23
4
469 12 9 2 2 12 7 5
- -----*a11 *a22 *a23 *b32 + 530*a11 *a22 *a23 *c23
8
435 12 7 4 2 12 5 7
- -----*a11 *a22 *a23 *b32 + 350*a11 *a22 *a23 *c23
8
111 12 5 6 2 12 3 9
- -----*a11 *a22 *a23 *b32 + 85*a11 *a22 *a23 *c23
8
17 12 3 8 2 12 11
+ ----*a11 *a22 *a23 *b32 - a11 *a22*a23 *c23
8
11 12 205 11 12 2
- 466*a11 *a22 *a23*c23 + -----*a11 *a22 *b32
2
11 10 3 2337 11 10 2 2
- 1850*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
8
11 8 5 11 8 4 2
- 2740*a11 *a22 *a23 *c23 + 261*a11 *a22 *a23 *b32
11 6 7 221 11 6 6 2
- 1780*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
4
11 4 9 33 11 4 8 2
- 410*a11 *a22 *a23 *c23 - ----*a11 *a22 *a23 *b32
2
11 2 11 3 11 2 10 2
+ 14*a11 *a22 *a23 *c23 - ---*a11 *a22 *a23 *b32
8
3199 10 13 2745 10 13 2
+ ------*a11 *a22 *a23*c23 - ------*a11 *a22 *b32
2 8
10 11 3 3871 10 11 2 2
+ 6317*a11 *a22 *a23 *c23 - ------*a11 *a22 *a23 *b32
4
18545 10 9 5 6701 10 9 4 2
+ -------*a11 *a22 *a23 *c23 - ------*a11 *a22 *a23 *b32
2 8
10 7 7 10 7 6 2
+ 5910*a11 *a22 *a23 *c23 - 138*a11 *a22 *a23 *b32
2545 10 5 9 649 10 5 8 2
+ ------*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
2 8
10 3 11 23 10 3 10 2
- 83*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
4
1 10 13 3 10 12 2
- ---*a11 *a22*a23 *c23 - ---*a11 *a22*a23 *b32
2 8
9 14 6399 9 14 2
- 3796*a11 *a22 *a23*c23 + ------*a11 *a22 *b32
8
9 12 3 18017 9 12 2 2
- 14936*a11 *a22 *a23 *c23 + -------*a11 *a22 *a23 *b32
8
9 10 5 7617 9 10 4 2
- 21772*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
4
9 8 7 1641 9 8 6 2
- 13648*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
8
9 6 9 2297 9 6 8 2
- 2732*a11 *a22 *a23 *c23 - ------*a11 *a22 *a23 *b32
8
9 4 11 273 9 4 10 2
+ 296*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
8
9 2 13 9 2 12 2
+ 12*a11 *a22 *a23 *c23 + 6*a11 *a22 *a23 *b32
1 9 14 2 8 15
- ---*a11 *a23 *b32 + 6398*a11 *a22 *a23*c23
8
5313 8 15 2 8 13 3
- ------*a11 *a22 *b32 + 25174*a11 *a22 *a23 *c23
4
7561 8 13 2 2 8 11 5
- ------*a11 *a22 *a23 *b32 + 36622*a11 *a22 *a23 *c23
2
25171 8 11 4 2 8 9 7
- -------*a11 *a22 *a23 *b32 + 22710*a11 *a22 *a23 *c23
8
665 8 9 6 2 8 7 9
- -----*a11 *a22 *a23 *b32 + 4170*a11 *a22 *a23 *c23
8
8 7 8 2 8 5 11
+ 750*a11 *a22 *a23 *b32 - 782*a11 *a22 *a23 *c23
397 8 5 10 2 8 3 13
+ -----*a11 *a22 *a23 *b32 - 86*a11 *a22 *a23 *c23
4
299 8 3 12 2 8 15
- -----*a11 *a22 *a23 *b32 + 2*a11 *a22*a23 *c23
8
19 8 14 2 7 16
+ ----*a11 *a22*a23 *b32 - 7732*a11 *a22 *a23*c23
8
7 16 2 7 14 3
+ 1572*a11 *a22 *b32 - 30604*a11 *a22 *a23 *c23
18397 7 14 2 2 7 12 5
+ -------*a11 *a22 *a23 *b32 - 44740*a11 *a22 *a23 *c23
4
7 12 4 2 7 10 7
+ 3773*a11 *a22 *a23 *b32 - 27580*a11 *a22 *a23 *c23
779 7 10 6 2 7 8 9
- -----*a11 *a22 *a23 *b32 - 4380*a11 *a22 *a23 *c23
2
5643 7 8 8 2 7 6 11
- ------*a11 *a22 *a23 *b32 + 1628*a11 *a22 *a23 *c23
4
567 7 6 10 2 7 4 13
- -----*a11 *a22 *a23 *b32 + 276*a11 *a22 *a23 *c23
4
235 7 4 12 2 7 2 15
+ -----*a11 *a22 *a23 *b32 - 20*a11 *a22 *a23 *c23
2
7 2 14 2 1 7 16 2
- 16*a11 *a22 *a23 *b32 + ---*a11 *a23 *b32
4
13327 6 17 10323 6 17 2
+ -------*a11 *a22 *a23*c23 - -------*a11 *a22 *b32
2 8
6 15 3 31759 6 15 2 2
+ 26740*a11 *a22 *a23 *c23 - -------*a11 *a22 *a23 *b32
8
6 13 5 6333 6 13 4 2
+ 39578*a11 *a22 *a23 *c23 - ------*a11 *a22 *a23 *b32
2
6 11 7 8367 6 11 6 2
+ 24252*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
8
6 9 9 3703 6 9 8 2
+ 2805*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
2
6 7 11 495 6 7 10 2
- 2484*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
8
6 5 13 6 5 12 2
- 470*a11 *a22 *a23 *c23 - 204*a11 *a22 *a23 *b32
6 3 15 401 6 3 14 2
+ 68*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
8
1 6 17 21 6 16 2
- ---*a11 *a22*a23 *c23 - ----*a11 *a22*a23 *b32
2 8
5 18 5377 5 18 2
- 4002*a11 *a22 *a23*c23 + ------*a11 *a22 *b32
8
5 16 3 9037 5 16 2 2
- 16432*a11 *a22 *a23 *c23 + ------*a11 *a22 *a23 *b32
4
5 14 5 5 14 4 2
- 24792*a11 *a22 *a23 *c23 + 1652*a11 *a22 *a23 *b32
5 12 7 11027 5 12 6 2
- 14992*a11 *a22 *a23 *c23 - -------*a11 *a22 *a23 *b32
8
5 10 9 5 10 8 2
- 620*a11 *a22 *a23 *c23 - 1643*a11 *a22 *a23 *b32
5 8 11 775 5 8 10 2
+ 2608*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
8
5 6 13 419 5 6 12 2
+ 488*a11 *a22 *a23 *c23 + -----*a11 *a22 *a23 *b32
2
5 4 15 621 5 4 14 2
- 112*a11 *a22 *a23 *c23 - -----*a11 *a22 *a23 *b32
8
5 2 17 75 5 2 16 2
- 2*a11 *a22 *a23 *c23 + ----*a11 *a22 *a23 *b32
8
1 5 18 2 4 19
- ---*a11 *a23 *b32 + 1593*a11 *a22 *a23*c23
8
599 4 19 2 4 17 3
- -----*a11 *a22 *b32 + 6759*a11 *a22 *a23 *c23
4
5109 4 17 2 2 4 15 5
- ------*a11 *a22 *a23 *b32 + 10452*a11 *a22 *a23 *c23
8
1081 4 15 4 2 4 13 7
- ------*a11 *a22 *a23 *b32 + 6140*a11 *a22 *a23 *c23
4
4457 4 13 6 2 4 11 9
+ ------*a11 *a22 *a23 *b32 - 514*a11 *a22 *a23 *c23
4
3697 4 11 8 2 4 9 11
+ ------*a11 *a22 *a23 *b32 - 1774*a11 *a22 *a23 *c23
4
4 9 10 2 4 7 13
- 196*a11 *a22 *a23 *b32 - 284*a11 *a22 *a23 *c23
619 4 7 12 2 4 5 15
- -----*a11 *a22 *a23 *b32 + 140*a11 *a22 *a23 *c23
4
223 4 5 14 2 4 3 17
+ -----*a11 *a22 *a23 *b32 + 17*a11 *a22 *a23 *c23
4
27 4 3 16 2 4 19
- ----*a11 *a22 *a23 *b32 - a11 *a22*a23 *c23
2
5 4 18 2 3 20
+ ---*a11 *a22*a23 *b32 - 378*a11 *a22 *a23*c23
8
117 3 20 2 3 18 3
- -----*a11 *a22 *b32 - 1674*a11 *a22 *a23 *c23
2
987 3 18 2 2 3 16 5
- -----*a11 *a22 *a23 *b32 - 2664*a11 *a22 *a23 *c23
8
611 3 16 4 2 3 14 7
- -----*a11 *a22 *a23 *b32 - 1480*a11 *a22 *a23 *c23
2
3 14 6 2 3 12 9
- 563*a11 *a22 *a23 *b32 + 436*a11 *a22 *a23 *c23
497 3 12 8 2 3 10 11
- -----*a11 *a22 *a23 *b32 + 692*a11 *a22 *a23 *c23
2
829 3 10 10 2 3 8 13
+ -----*a11 *a22 *a23 *b32 + 56*a11 *a22 *a23 *c23
4
223 3 8 12 2 3 6 15
+ -----*a11 *a22 *a23 *b32 - 104*a11 *a22 *a23 *c23
2
3 6 14 2 3 4 17
- 16*a11 *a22 *a23 *b32 - 10*a11 *a22 *a23 *c23
3 4 16 2 3 2 19
+ 5*a11 *a22 *a23 *b32 + 6*a11 *a22 *a23 *c23
7 3 2 18 2 81 2 21
- ---*a11 *a22 *a23 *b32 + ----*a11 *a22 *a23*c23
8 2
461 2 21 2 2 19 3
+ -----*a11 *a22 *b32 + 189*a11 *a22 *a23 *c23
8
2 19 2 2 621 2 17 5
+ 190*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *c23
2
525 2 17 4 2 2 15 7
+ -----*a11 *a22 *a23 *b32 + 156*a11 *a22 *a23 *c23
2
2 15 6 2 2 13 9
+ 164*a11 *a22 *a23 *b32 - 103*a11 *a22 *a23 *c23
213 2 13 8 2 2 11 11
- -----*a11 *a22 *a23 *b32 - 114*a11 *a22 *a23 *c23
4
2 11 10 2 2 9 13
- 154*a11 *a22 *a23 *b32 + 9*a11 *a22 *a23 *c23
127 2 9 12 2 2 7 15
- -----*a11 *a22 *a23 *b32 + 28*a11 *a22 *a23 *c23
2
2 7 14 2 3 2 5 17
+ 8*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *c23
2
37 2 5 16 2 2 3 19
+ ----*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *c23
8
1 2 21 147 22 2
+ ---*a11 *a22*a23 *c23 - -----*a11*a22 *b32
2 8
563 20 2 2 183 18 4 2
- -----*a11*a22 *a23 *b32 - -----*a11*a22 *a23 *b32
8 2
39 16 6 2 267 14 8 2
- ----*a11*a22 *a23 *b32 + -----*a11*a22 *a23 *b32
2 4
267 12 10 2 29 10 12 2
+ -----*a11*a22 *a23 *b32 + ----*a11*a22 *a23 *b32
4 2
19 8 14 2 27 6 16 2
- ----*a11*a22 *a23 *b32 - ----*a11*a22 *a23 *b32
2 8
5 4 18 2 9 23 2
+ ---*a11*a22 *a23 *b32 + ---*a22 *b32
8 4
39 21 2 2 19 4 2 17 6 2
+ ----*a22 *a23 *b32 + 13*a22 *a23 *b32 - a22 *a23 *b32
4
33 15 8 2 23 13 10 2
- ----*a22 *a23 *b32 - ----*a22 *a23 *b32
2 2
11 12 2 9 14 2 1 7 16 2
+ a22 *a23 *b32 + 3*a22 *a23 *b32 + ---*a22 *a23 *b32
4
1 5 18 2 1 13 9 2
- ---*a22 *a23 *b32 ) + v2*v3*(---*a11 *a22 *a23*b32
4 4
3 13 7 3 2 3 13 5 5 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32
4 4
1 13 3 7 2 9 12 10 2
+ ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23*b32
4 2
51 12 8 3 2 45 12 6 5 2
- ----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
4 4
9 12 4 7 2 3 12 2 9 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32
4 4
145 11 11 2 383 11 9 3 2
+ -----*a11 *a22 *a23*b32 + -----*a11 *a22 *a23 *b32
4 4
141 11 7 5 2 1 11 5 7 2
+ -----*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
2 2
43 11 3 9 2 3 11 11 2
- ----*a11 *a22 *a23 *b32 + ---*a11 *a22*a23 *b32
4 4
10 12 2 1681 10 10 3 2
- 173*a11 *a22 *a23*b32 - ------*a11 *a22 *a23 *b32
4
943 10 8 5 2 169 10 6 7 2
- -----*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
4 2
121 10 4 9 2 49 10 2 11 2
+ -----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 4
1 10 13 2 1091 9 13 2
+ ---*a11 *a23 *b32 + ------*a11 *a22 *a23*b32
4 2
4809 9 11 3 2 9 9 5 2
+ ------*a11 *a22 *a23 *b32 + 429*a11 *a22 *a23 *b32
4
953 9 7 7 2 327 9 5 9 2
- -----*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
2 2
321 9 3 11 2 9 13 2
+ -----*a11 *a22 *a23 *b32 - 5*a11 *a22*a23 *b32
4
8 14 2 9471 8 12 3 2
- 1199*a11 *a22 *a23*b32 - ------*a11 *a22 *a23 *b32
4
1193 8 10 5 2 8 8 7 2
- ------*a11 *a22 *a23 *b32 + 1360*a11 *a22 *a23 *b32
4
353 8 6 9 2 1103 8 4 11 2
+ -----*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 4
147 8 2 13 2 1 8 15 2
+ -----*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
4 2
3773 7 15 2 13225 7 13 3 2
+ ------*a11 *a22 *a23*b32 + -------*a11 *a22 *a23 *b32
2 4
841 7 11 5 2 9539 7 9 7 2
- -----*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 4
279 7 7 9 2 2179 7 5 11 2
+ -----*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2 4
267 7 3 13 2 23 7 15 2
- -----*a11 *a22 *a23 *b32 + ----*a11 *a22*a23 *b32
2 4
6 16 2 13291 6 14 3 2
- 2144*a11 *a22 *a23*b32 - -------*a11 *a22 *a23 *b32
4
5251 6 12 5 2 11093 6 10 7 2
+ ------*a11 *a22 *a23 *b32 + -------*a11 *a22 *a23 *b32
4 4
2597 6 8 9 2 2569 6 6 11 2
- ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
4 4
1057 6 4 13 2 97 6 2 15 2
+ ------*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
4 4
1 6 17 2 6997 5 17 2
+ ---*a11 *a23 *b32 + ------*a11 *a22 *a23*b32
4 4
5 15 3 2 6439 5 13 5 2
+ 2414*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
4
4521 5 11 7 2 3321 5 9 9 2
- ------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2 4
5 7 11 2 1153 5 5 13 2
+ 479*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
4
95 5 3 15 2 3 5 17 2
+ ----*a11 *a22 *a23 *b32 - ---*a11 *a22*a23 *b32
2 2
2001 4 18 2 2517 4 16 3 2
- ------*a11 *a22 *a23*b32 - ------*a11 *a22 *a23 *b32
2 2
2341 4 14 5 2 2727 4 12 7 2
+ ------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
2 2
1121 4 10 9 2 575 4 8 11 2
- ------*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
2 2
327 4 6 13 2 83 4 4 15 2
+ -----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 2
4 2 17 2 1525 3 19 2
+ 3*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23*b32
4
3 17 3 2 3 15 5 2
+ 457*a11 *a22 *a23 *b32 - 538*a11 *a22 *a23 *b32
3 13 7 2 469 3 11 9 2
- 619*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
3 9 11 2 3 7 13 2
+ 187*a11 *a22 *a23 *b32 - 44*a11 *a22 *a23 *b32
3 5 15 2 7 3 3 17 2
+ 7*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
4
2 20 2 2 18 3 2
- 87*a11 *a22 *a23*b32 - 106*a11 *a22 *a23 *b32
2 16 5 2 2 14 7 2
+ 150*a11 *a22 *a23 *b32 + 190*a11 *a22 *a23 *b32
2 12 9 2 2 10 11 2
- 72*a11 *a22 *a23 *b32 - 94*a11 *a22 *a23 *b32
2 8 13 2 2 6 15 2
+ 10*a11 *a22 *a23 *b32 + 10*a11 *a22 *a23 *b32
2 4 17 2 21 2 19 3 2
- a11 *a22 *a23 *b32 + 9*a11*a22 *a23*b32 + 12*a11*a22 *a23 *b32
17 5 2 15 7 2
- 20*a11*a22 *a23 *b32 - 28*a11*a22 *a23 *b32
13 9 2 11 11 2
+ 14*a11*a22 *a23 *b32 + 20*a11*a22 *a23 *b32
9 13 2 7 15 2 5 17 2
- 4*a11*a22 *a23 *b32 - 4*a11*a22 *a23 *b32 + a11*a22 *a23 *b32 ) +
2 1 13 10 2 1 13 8 2 2
v3 *( - ---*a11 *a22 *b32 - ---*a11 *a22 *a23 *b32
8 4
1 13 4 6 2 1 13 2 8 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32
4 8
17 12 11 2 7 12 9 2 2
+ ----*a11 *a22 *b32 + ---*a11 *a22 *a23 *b32
8 2
12 7 4 2 23 12 5 6 2
- 2*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
4
17 12 3 8 2 1 12 10 2
- ----*a11 *a22 *a23 *b32 + ---*a11 *a22*a23 *b32
8 4
129 11 12 2 11 10 2 2
- -----*a11 *a22 *b32 - 20*a11 *a22 *a23 *b32
8
251 11 8 4 2 11 6 6 2
+ -----*a11 *a22 *a23 *b32 + 53*a11 *a22 *a23 *b32
8
101 11 4 8 2 11 2 10 2
+ -----*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *b32
8
1 11 12 2 579 10 13 2
+ ---*a11 *a23 *b32 + -----*a11 *a22 *b32
8 8
455 10 11 2 2 857 10 9 4 2
+ -----*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
8 4
1053 10 7 6 2 169 10 5 8 2
- ------*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
4 8
323 10 3 10 2 10 12 2
+ -----*a11 *a22 *a23 *b32 - 3*a11 *a22*a23 *b32
8
429 9 14 2 251 9 12 2 2
- -----*a11 *a22 *b32 - -----*a11 *a22 *a23 *b32
2 4
6745 9 10 4 2 6317 9 8 6 2
+ ------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
8 8
401 9 6 8 2 341 9 4 10 2
- -----*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
4 2
221 9 2 12 2 3 9 14 2
+ -----*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
8 8
1773 8 15 2 203 8 13 2 2
+ ------*a11 *a22 *b32 - -----*a11 *a22 *a23 *b32
4 2
4269 8 11 4 2 6033 8 9 6 2
- ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
2 4
2497 8 7 8 2 8 5 10 2
+ ------*a11 *a22 *a23 *b32 + 408*a11 *a22 *a23 *b32
4
8 3 12 2 23 8 14 2
- 129*a11 *a22 *a23 *b32 + ----*a11 *a22*a23 *b32
4
2625 7 16 2 1007 7 14 2 2
- ------*a11 *a22 *b32 + ------*a11 *a22 *a23 *b32
4 2
29393 7 12 4 2 7511 7 10 6 2
+ -------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
8 4
12537 7 8 8 2 7 6 10 2
- -------*a11 *a22 *a23 *b32 - 560*a11 *a22 *a23 *b32
8
2695 7 4 12 2 133 7 2 14 2
+ ------*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
8 4
3 7 16 2 2811 6 17 2
+ ---*a11 *a23 *b32 + ------*a11 *a22 *b32
8 4
3683 6 15 2 2 17707 6 13 4 2
- ------*a11 *a22 *a23 *b32 - -------*a11 *a22 *a23 *b32
4 4
6151 6 11 6 2 9207 6 9 8 2
- ------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
4 4
1719 6 7 10 2 2041 6 5 12 2
+ ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
4 4
371 6 3 14 2 7 6 16 2
+ -----*a11 *a22 *a23 *b32 - ---*a11 *a22*a23 *b32
4 2
4329 5 18 2 3995 5 16 2 2
- ------*a11 *a22 *b32 + ------*a11 *a22 *a23 *b32
8 4
30223 5 14 4 2 6755 5 12 6 2
+ -------*a11 *a22 *a23 *b32 + ------*a11 *a22 *a23 *b32
8 8
17563 5 10 8 2 1657 5 8 10 2
- -------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
8 8
3613 5 6 12 2 1055 5 4 14 2
+ ------*a11 *a22 *a23 *b32 - ------*a11 *a22 *a23 *b32
8 8
5 2 16 2 1 5 18 2
+ 11*a11 *a22 *a23 *b32 - ---*a11 *a23 *b32
8
2341 4 19 2 4 17 2 2
+ ------*a11 *a22 *b32 - 691*a11 *a22 *a23 *b32
8
4 15 4 2 675 4 13 6 2
- 2272*a11 *a22 *a23 *b32 - -----*a11 *a22 *a23 *b32
2
5809 4 11 8 2 313 4 9 10 2
+ ------*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
4 2
4 7 12 2 175 4 5 14 2
- 243*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
2
111 4 3 16 2 1 4 18 2
- -----*a11 *a22 *a23 *b32 + ---*a11 *a22*a23 *b32
8 2
845 3 20 2 601 3 18 2 2
- -----*a11 *a22 *b32 + -----*a11 *a22 *a23 *b32
8 2
1865 3 16 4 2 3 14 6 2
+ ------*a11 *a22 *a23 *b32 + 113*a11 *a22 *a23 *b32
2
2783 3 12 8 2 3 10 10 2
- ------*a11 *a22 *a23 *b32 - 160*a11 *a22 *a23 *b32
4
209 3 8 12 2 3 6 14 2
+ -----*a11 *a22 *a23 *b32 - 13*a11 *a22 *a23 *b32
2
35 3 4 16 2 1 3 2 18 2
+ ----*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
8 2
183 2 21 2 601 2 19 2 2
+ -----*a11 *a22 *b32 - -----*a11 *a22 *a23 *b32
8 8
477 2 17 4 2 57 2 15 6 2
- -----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 2
913 2 13 8 2 329 2 11 10 2
+ -----*a11 *a22 *a23 *b32 + -----*a11 *a22 *a23 *b32
4 4
97 2 9 12 2 21 2 7 14 2
- ----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32
2 2
31 2 5 16 2 1 2 3 18 2
+ ----*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32
8 8
9 22 2 33 20 2 2
- ---*a11*a22 *b32 + ----*a11*a22 *a23 *b32
4 4
18 4 2 16 6 2
+ 29*a11*a22 *a23 *b32 + 3*a11*a22 *a23 *b32
75 14 8 2 29 12 10 2
- ----*a11*a22 *a23 *b32 - ----*a11*a22 *a23 *b32
2 2
10 12 2 8 14 2
+ 13*a11*a22 *a23 *b32 + 3*a11*a22 *a23 *b32
9 6 16 2 1 4 18 2
- ---*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32 )
4 4
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*(a11**10*a22**7*a23**2 + 3*a11**10*a22**5*a23**4 + 3*a11**10*a22**3*
a23**6 + a11**10*a22*a23**8 - 11*a11**9*a22**8*a23**2 - 32*a11**9*a22**6*a23**4
- 30*a11**9*a22**4*a23**6 - 8*a11**9*a22**2*a23**8 + a11**9*a23**10 + 48*a11**8*
a22**9*a23**2 + 132*a11**8*a22**7*a23**4 + 108*a11**8*a22**5*a23**6 + 12*a11**8*
a22**3*a23**8 - 12*a11**8*a22*a23**10 - 106*a11**7*a22**10*a23**2 - 266*a11**7*
a22**8*a23**4 - 164*a11**7*a22**6*a23**6 + 44*a11**7*a22**4*a23**8 + 46*a11**7*
a22**2*a23**10 - 2*a11**7*a23**12 + 125*a11**6*a22**11*a23**2 + 273*a11**6*a22**
9*a23**4 + 82*a11**6*a22**7*a23**6 - 142*a11**6*a22**5*a23**8 - 63*a11**6*a22**3
*a23**10 + 13*a11**6*a22*a23**12 - 75*a11**5*a22**12*a23**2 - 134*a11**5*a22**10
*a23**4 + 23*a11**5*a22**8*a23**6 + 124*a11**5*a22**6*a23**8 + 19*a11**5*a22**4*
a23**10 - 22*a11**5*a22**2*a23**12 + a11**5*a23**14 + 18*a11**4*a22**13*a23**2 +
24*a11**4*a22**11*a23**4 - 22*a11**4*a22**9*a23**6 - 32*a11**4*a22**7*a23**8 +
6*a11**4*a22**5*a23**10 + 8*a11**4*a22**3*a23**12 - 2*a11**4*a22*a23**14) + u1*
v1*( - a11**8*a22**9*a23*b32 - 4*a11**8*a22**7*a23**3*b32 - 6*a11**8*a22**5*a23
**5*b32 - 4*a11**8*a22**3*a23**7*b32 - a11**8*a22*a23**9*b32 + 9*a11**7*a22**10*
a23*b32 + 35*a11**7*a22**8*a23**3*b32 + 50*a11**7*a22**6*a23**5*b32 + 30*a11**7*
a22**4*a23**7*b32 + 5*a11**7*a22**2*a23**9*b32 - a11**7*a23**11*b32 - 32*a11**6*
a22**11*a23*b32 - 119*a11**6*a22**9*a23**3*b32 - 156*a11**6*a22**7*a23**5*b32 -
74*a11**6*a22**5*a23**7*b32 + 4*a11**6*a22**3*a23**9*b32 + 9*a11**6*a22*a23**11*
b32 + 58*a11**5*a22**12*a23*b32 + 203*a11**5*a22**10*a23**3*b32 + 233*a11**5*a22
**8*a23**5*b32 + 62*a11**5*a22**6*a23**7*b32 - 52*a11**5*a22**4*a23**9*b32 - 25*
a11**5*a22**2*a23**11*b32 + a11**5*a23**13*b32 - 57*a11**4*a22**13*a23*b32 - 185
*a11**4*a22**11*a23**3*b32 - 174*a11**4*a22**9*a23**5*b32 + 14*a11**4*a22**7*a23
**7*b32 + 91*a11**4*a22**5*a23**9*b32 + 27*a11**4*a22**3*a23**11*b32 - 4*a11**4*
a22*a23**13*b32 + 29*a11**3*a22**14*a23*b32 + 86*a11**3*a22**12*a23**3*b32 + 59*
a11**3*a22**10*a23**5*b32 - 44*a11**3*a22**8*a23**7*b32 - 61*a11**3*a22**6*a23**
9*b32 - 10*a11**3*a22**4*a23**11*b32 + 5*a11**3*a22**2*a23**13*b32 - 6*a11**2*
a22**15*a23*b32 - 16*a11**2*a22**13*a23**3*b32 - 6*a11**2*a22**11*a23**5*b32 +
16*a11**2*a22**9*a23**7*b32 + 14*a11**2*a22**7*a23**9*b32 - 2*a11**2*a22**3*a23
**13*b32) + u2**2*(a11**9*a22**8*a23**2 + 3*a11**9*a22**6*a23**4 + 3*a11**9*a22
**4*a23**6 + a11**9*a22**2*a23**8 - 11*a11**8*a22**9*a23**2 - 32*a11**8*a22**7*
a23**4 - 30*a11**8*a22**5*a23**6 - 8*a11**8*a22**3*a23**8 + a11**8*a22*a23**10 +
48*a11**7*a22**10*a23**2 + 132*a11**7*a22**8*a23**4 + 108*a11**7*a22**6*a23**6
+ 12*a11**7*a22**4*a23**8 - 12*a11**7*a22**2*a23**10 - 106*a11**6*a22**11*a23**2
- 266*a11**6*a22**9*a23**4 - 164*a11**6*a22**7*a23**6 + 44*a11**6*a22**5*a23**8
+ 46*a11**6*a22**3*a23**10 - 2*a11**6*a22*a23**12 + 125*a11**5*a22**12*a23**2 +
273*a11**5*a22**10*a23**4 + 82*a11**5*a22**8*a23**6 - 142*a11**5*a22**6*a23**8
- 63*a11**5*a22**4*a23**10 + 13*a11**5*a22**2*a23**12 - 75*a11**4*a22**13*a23**2
- 134*a11**4*a22**11*a23**4 + 23*a11**4*a22**9*a23**6 + 124*a11**4*a22**7*a23**
8 + 19*a11**4*a22**5*a23**10 - 22*a11**4*a22**3*a23**12 + a11**4*a22*a23**14 +
18*a11**3*a22**14*a23**2 + 24*a11**3*a22**12*a23**4 - 22*a11**3*a22**10*a23**6 -
32*a11**3*a22**8*a23**8 + 6*a11**3*a22**6*a23**10 + 8*a11**3*a22**4*a23**12 - 2
*a11**3*a22**2*a23**14) + u2*u3*(2*a11**9*a22**7*a23**3 + 6*a11**9*a22**5*a23**5
+ 6*a11**9*a22**3*a23**7 + 2*a11**9*a22*a23**9 - 22*a11**8*a22**8*a23**3 - 64*
a11**8*a22**6*a23**5 - 60*a11**8*a22**4*a23**7 - 16*a11**8*a22**2*a23**9 + 2*a11
**8*a23**11 + 96*a11**7*a22**9*a23**3 + 264*a11**7*a22**7*a23**5 + 216*a11**7*
a22**5*a23**7 + 24*a11**7*a22**3*a23**9 - 24*a11**7*a22*a23**11 - 212*a11**6*a22
**10*a23**3 - 532*a11**6*a22**8*a23**5 - 328*a11**6*a22**6*a23**7 + 88*a11**6*
a22**4*a23**9 + 92*a11**6*a22**2*a23**11 - 4*a11**6*a23**13 + 250*a11**5*a22**11
*a23**3 + 546*a11**5*a22**9*a23**5 + 164*a11**5*a22**7*a23**7 - 284*a11**5*a22**
5*a23**9 - 126*a11**5*a22**3*a23**11 + 26*a11**5*a22*a23**13 - 150*a11**4*a22**
12*a23**3 - 268*a11**4*a22**10*a23**5 + 46*a11**4*a22**8*a23**7 + 248*a11**4*a22
**6*a23**9 + 38*a11**4*a22**4*a23**11 - 44*a11**4*a22**2*a23**13 + 2*a11**4*a23
**15 + 36*a11**3*a22**13*a23**3 + 48*a11**3*a22**11*a23**5 - 44*a11**3*a22**9*
a23**7 - 64*a11**3*a22**7*a23**9 + 12*a11**3*a22**5*a23**11 + 16*a11**3*a22**3*
a23**13 - 4*a11**3*a22*a23**15) + u3**2*(a11**9*a22**6*a23**4 + 3*a11**9*a22**4*
a23**6 + 3*a11**9*a22**2*a23**8 + a11**9*a23**10 - a11**8*a22**9*a23**2 - 16*a11
**8*a22**7*a23**4 - 42*a11**8*a22**5*a23**6 - 40*a11**8*a22**3*a23**8 - 13*a11**
8*a22*a23**10 + 9*a11**7*a22**10*a23**2 + 93*a11**7*a22**8*a23**4 + 222*a11**7*
a22**6*a23**6 + 198*a11**7*a22**4*a23**8 + 57*a11**7*a22**2*a23**10 - 3*a11**7*
a23**12 - 30*a11**6*a22**11*a23**2 - 254*a11**6*a22**9*a23**4 - 556*a11**6*a22**
7*a23**6 - 444*a11**6*a22**5*a23**8 - 86*a11**6*a22**3*a23**10 + 26*a11**6*a22*
a23**12 + 46*a11**5*a22**12*a23**2 + 345*a11**5*a22**10*a23**4 + 683*a11**5*a22
**8*a23**6 + 442*a11**5*a22**6*a23**8 - 12*a11**5*a22**4*a23**10 - 67*a11**5*a22
**2*a23**12 + 3*a11**5*a23**14 - 33*a11**4*a22**13*a23**2 - 226*a11**4*a22**11*
a23**4 - 395*a11**4*a22**9*a23**6 - 172*a11**4*a22**7*a23**8 + 89*a11**4*a22**5*
a23**10 + 46*a11**4*a22**3*a23**12 - 13*a11**4*a22*a23**14 + 9*a11**3*a22**14*
a23**2 + 57*a11**3*a22**12*a23**4 + 85*a11**3*a22**10*a23**6 + 13*a11**3*a22**8*
a23**8 - 37*a11**3*a22**6*a23**10 - 5*a11**3*a22**4*a23**12 + 7*a11**3*a22**2*
a23**14 - a11**3*a23**16) + u3*v2*(a11**9*a22**7*a23**2*b32 + 3*a11**9*a22**5*
a23**4*b32 + 3*a11**9*a22**3*a23**6*b32 + a11**9*a22*a23**8*b32 - 11*a11**8*a22
**8*a23**2*b32 - 32*a11**8*a22**6*a23**4*b32 - 30*a11**8*a22**4*a23**6*b32 - 8*
a11**8*a22**2*a23**8*b32 + a11**8*a23**10*b32 + 48*a11**7*a22**9*a23**2*b32 +
132*a11**7*a22**7*a23**4*b32 + 108*a11**7*a22**5*a23**6*b32 + 12*a11**7*a22**3*
a23**8*b32 - 12*a11**7*a22*a23**10*b32 - 106*a11**6*a22**10*a23**2*b32 - 266*a11
**6*a22**8*a23**4*b32 - 164*a11**6*a22**6*a23**6*b32 + 44*a11**6*a22**4*a23**8*
b32 + 46*a11**6*a22**2*a23**10*b32 - 2*a11**6*a23**12*b32 + 125*a11**5*a22**11*
a23**2*b32 + 273*a11**5*a22**9*a23**4*b32 + 82*a11**5*a22**7*a23**6*b32 - 142*
a11**5*a22**5*a23**8*b32 - 63*a11**5*a22**3*a23**10*b32 + 13*a11**5*a22*a23**12*
b32 - 75*a11**4*a22**12*a23**2*b32 - 134*a11**4*a22**10*a23**4*b32 + 23*a11**4*
a22**8*a23**6*b32 + 124*a11**4*a22**6*a23**8*b32 + 19*a11**4*a22**4*a23**10*b32
- 22*a11**4*a22**2*a23**12*b32 + a11**4*a23**14*b32 + 18*a11**3*a22**13*a23**2*
b32 + 24*a11**3*a22**11*a23**4*b32 - 22*a11**3*a22**9*a23**6*b32 - 32*a11**3*a22
**7*a23**8*b32 + 6*a11**3*a22**5*a23**10*b32 + 8*a11**3*a22**3*a23**12*b32 - 2*
a11**3*a22*a23**14*b32) + u3*v3*( - a11**9*a22**8*a23*b32 - 3*a11**9*a22**6*a23
**3*b32 - 3*a11**9*a22**4*a23**5*b32 - a11**9*a22**2*a23**7*b32 + 9*a11**8*a22**
9*a23*b32 + 24*a11**8*a22**7*a23**3*b32 + 18*a11**8*a22**5*a23**5*b32 - 3*a11**8
*a22*a23**9*b32 - 32*a11**7*a22**10*a23*b32 - 70*a11**7*a22**8*a23**3*b32 - 20*
a11**7*a22**6*a23**5*b32 + 40*a11**7*a22**4*a23**7*b32 + 20*a11**7*a22**2*a23**9
*b32 - 2*a11**7*a23**11*b32 + 58*a11**6*a22**11*a23*b32 + 90*a11**6*a22**9*a23**
3*b32 - 60*a11**6*a22**7*a23**5*b32 - 140*a11**6*a22**5*a23**7*b32 - 30*a11**6*
a22**3*a23**9*b32 + 18*a11**6*a22*a23**11*b32 - 57*a11**5*a22**12*a23*b32 - 43*
a11**5*a22**10*a23**3*b32 + 160*a11**5*a22**8*a23**5*b32 + 170*a11**5*a22**6*a23
**7*b32 - 25*a11**5*a22**4*a23**9*b32 - 47*a11**5*a22**2*a23**11*b32 + 2*a11**5*
a23**13*b32 + 29*a11**4*a22**13*a23*b32 - 6*a11**4*a22**11*a23**3*b32 - 129*a11
**4*a22**9*a23**5*b32 - 68*a11**4*a22**7*a23**7*b32 + 75*a11**4*a22**5*a23**9*
b32 + 42*a11**4*a22**3*a23**11*b32 - 7*a11**4*a22*a23**13*b32 - 6*a11**3*a22**14
*a23*b32 + 8*a11**3*a22**12*a23**3*b32 + 34*a11**3*a22**10*a23**5*b32 - 34*a11**
3*a22**6*a23**9*b32 - 8*a11**3*a22**4*a23**11*b32 + 6*a11**3*a22**2*a23**13*b32)
+ v2**2*(1/4*a11**9*a22**8*b32**2 - a11**9*a22**6*a23**3*c23 + 3/4*a11**9*a22**
6*a23**2*b32**2 - 3*a11**9*a22**4*a23**5*c23 + 3/4*a11**9*a22**4*a23**4*b32**2 -
3*a11**9*a22**2*a23**7*c23 + 1/4*a11**9*a22**2*a23**6*b32**2 - a11**9*a23**9*
c23 + a11**8*a22**9*a23*c23 - 5/2*a11**8*a22**9*b32**2 + 16*a11**8*a22**7*a23**3
*c23 - 29/4*a11**8*a22**7*a23**2*b32**2 + 42*a11**8*a22**5*a23**5*c23 - 27/4*a11
**8*a22**5*a23**4*b32**2 + 40*a11**8*a22**3*a23**7*c23 - 7/4*a11**8*a22**3*a23**
6*b32**2 + 13*a11**8*a22*a23**9*c23 + 1/4*a11**8*a22*a23**8*b32**2 - 10*a11**7*
a22**10*a23*c23 + 43/4*a11**7*a22**10*b32**2 - 98*a11**7*a22**8*a23**3*c23 + 30*
a11**7*a22**8*a23**2*b32**2 - 232*a11**7*a22**6*a23**5*c23 + 51/2*a11**7*a22**6*
a23**4*b32**2 - 208*a11**7*a22**4*a23**7*c23 + 4*a11**7*a22**4*a23**6*b32**2 -
62*a11**7*a22**2*a23**9*c23 - 9/4*a11**7*a22**2*a23**8*b32**2 + 2*a11**7*a23**11
*c23 + 39*a11**6*a22**11*a23*c23 - 103/4*a11**6*a22**11*b32**2 + 299*a11**6*a22
**9*a23**3*c23 - 275/4*a11**6*a22**9*a23**2*b32**2 + 646*a11**6*a22**7*a23**5*
c23 - 52*a11**6*a22**7*a23**4*b32**2 + 534*a11**6*a22**5*a23**7*c23 - a11**6*a22
**5*a23**6*b32**2 + 131*a11**6*a22**3*a23**9*c23 + 31/4*a11**6*a22**3*a23**8*b32
**2 - 17*a11**6*a22*a23**11*c23 - 1/4*a11**6*a22*a23**10*b32**2 - 76*a11**5*a22
**12*a23*c23 + 37*a11**5*a22**12*b32**2 - 493*a11**5*a22**10*a23**3*c23 + 375/4*
a11**5*a22**10*a23**2*b32**2 - 973*a11**5*a22**8*a23**5*c23 + 243/4*a11**5*a22**
8*a23**4*b32**2 - 722*a11**5*a22**6*a23**7*c23 - 21/2*a11**5*a22**6*a23**6*b32**
2 - 118*a11**5*a22**4*a23**9*c23 - 27/2*a11**5*a22**4*a23**8*b32**2 + 47*a11**5*
a22**2*a23**11*c23 + 3/4*a11**5*a22**2*a23**10*b32**2 - a11**5*a23**13*c23 - 1/4
*a11**5*a23**12*b32**2 + 79*a11**4*a22**13*a23*c23 - 63/2*a11**4*a22**13*b32**2
+ 446*a11**4*a22**11*a23**3*c23 - 297/4*a11**4*a22**11*a23**2*b32**2 + 805*a11**
4*a22**9*a23**5*c23 - 147/4*a11**4*a22**9*a23**4*b32**2 + 532*a11**4*a22**7*a23
**7*c23 + 43/2*a11**4*a22**7*a23**6*b32**2 + 41*a11**4*a22**5*a23**9*c23 + 15*
a11**4*a22**5*a23**8*b32**2 - 50*a11**4*a22**3*a23**11*c23 + 3/4*a11**4*a22**3*
a23**10*b32**2 + 3*a11**4*a22*a23**13*c23 + 5/4*a11**4*a22*a23**12*b32**2 - 42*
a11**3*a22**14*a23*c23 + 55/4*a11**3*a22**14*b32**2 - 208*a11**3*a22**12*a23**3*
c23 + 27*a11**3*a22**12*a23**2*b32**2 - 346*a11**3*a22**10*a23**5*c23 + 3/4*a11
**3*a22**10*a23**4*b32**2 - 208*a11**3*a22**8*a23**7*c23 - 24*a11**3*a22**8*a23
**6*b32**2 + 2*a11**3*a22**6*a23**9*c23 - 51/4*a11**3*a22**6*a23**8*b32**2 + 32*
a11**3*a22**4*a23**11*c23 - 3*a11**3*a22**4*a23**10*b32**2 + 2*a11**3*a22**2*a23
**13*c23 - 7/4*a11**3*a22**2*a23**12*b32**2 + 9*a11**2*a22**15*a23*c23 - 3/4*a11
**2*a22**15*b32**2 + 39*a11**2*a22**13*a23**3*c23 + 17/4*a11**2*a22**13*a23**2*
b32**2 + 61*a11**2*a22**11*a23**5*c23 + 33/2*a11**2*a22**11*a23**4*b32**2 + 35*
a11**2*a22**9*a23**7*c23 + 33/2*a11**2*a22**9*a23**6*b32**2 - 5*a11**2*a22**7*
a23**9*c23 + 17/4*a11**2*a22**7*a23**8*b32**2 - 11*a11**2*a22**5*a23**11*c23 - 3
/4*a11**2*a22**5*a23**10*b32**2 - a11**2*a22**3*a23**13*c23 + a11**2*a22*a23**15
*c23 - 7/4*a11*a22**16*b32**2 - 15/2*a11*a22**14*a23**2*b32**2 - 45/4*a11*a22**
12*a23**4*b32**2 - 5*a11*a22**10*a23**6*b32**2 + 15/4*a11*a22**8*a23**8*b32**2 +
9/2*a11*a22**6*a23**10*b32**2 + 5/4*a11*a22**4*a23**12*b32**2 + 1/2*a22**17*b32
**2 + 2*a22**15*a23**2*b32**2 + 5/2*a22**13*a23**4*b32**2 - 5/2*a22**9*a23**8*
b32**2 - 2*a22**7*a23**10*b32**2 - 1/2*a22**5*a23**12*b32**2) + v2*v3*(2*a11**9*
a22**7*a23**2*c23 + 6*a11**9*a22**5*a23**4*c23 + 6*a11**9*a22**3*a23**6*c23 + 2*
a11**9*a22*a23**8*c23 - 22*a11**8*a22**8*a23**2*c23 - 64*a11**8*a22**6*a23**4*
c23 - 60*a11**8*a22**4*a23**6*c23 - 16*a11**8*a22**2*a23**8*c23 + 2*a11**8*a23**
10*c23 + 96*a11**7*a22**9*a23**2*c23 + 264*a11**7*a22**7*a23**4*c23 + 216*a11**7
*a22**5*a23**6*c23 + 24*a11**7*a22**3*a23**8*c23 - 24*a11**7*a22*a23**10*c23 -
212*a11**6*a22**10*a23**2*c23 - 532*a11**6*a22**8*a23**4*c23 - 328*a11**6*a22**6
*a23**6*c23 + 88*a11**6*a22**4*a23**8*c23 + 92*a11**6*a22**2*a23**10*c23 - 4*a11
**6*a23**12*c23 + 250*a11**5*a22**11*a23**2*c23 + 546*a11**5*a22**9*a23**4*c23 +
164*a11**5*a22**7*a23**6*c23 - 284*a11**5*a22**5*a23**8*c23 - 126*a11**5*a22**3
*a23**10*c23 + 26*a11**5*a22*a23**12*c23 - 150*a11**4*a22**12*a23**2*c23 - 268*
a11**4*a22**10*a23**4*c23 + 46*a11**4*a22**8*a23**6*c23 + 248*a11**4*a22**6*a23
**8*c23 + 38*a11**4*a22**4*a23**10*c23 - 44*a11**4*a22**2*a23**12*c23 + 2*a11**4
*a23**14*c23 + 36*a11**3*a22**13*a23**2*c23 + 48*a11**3*a22**11*a23**4*c23 - 44*
a11**3*a22**9*a23**6*c23 - 64*a11**3*a22**7*a23**8*c23 + 12*a11**3*a22**5*a23**
10*c23 + 16*a11**3*a22**3*a23**12*c23 - 4*a11**3*a22*a23**14*c23) + v3**2*( - 2*
a11**9*a22**8*a23*c23 + 1/4*a11**9*a22**8*b32**2 - 7*a11**9*a22**6*a23**3*c23 +
3/4*a11**9*a22**6*a23**2*b32**2 - 9*a11**9*a22**4*a23**5*c23 + 3/4*a11**9*a22**4
*a23**4*b32**2 - 5*a11**9*a22**2*a23**7*c23 + 1/4*a11**9*a22**2*a23**6*b32**2 -
a11**9*a23**9*c23 + 19*a11**8*a22**9*a23*c23 - 5/2*a11**8*a22**9*b32**2 + 64*a11
**8*a22**7*a23**3*c23 - 29/4*a11**8*a22**7*a23**2*b32**2 + 78*a11**8*a22**5*a23
**5*c23 - 27/4*a11**8*a22**5*a23**4*b32**2 + 40*a11**8*a22**3*a23**7*c23 - 7/4*
a11**8*a22**3*a23**6*b32**2 + 7*a11**8*a22*a23**9*c23 + 1/4*a11**8*a22*a23**8*
b32**2 - 74*a11**7*a22**10*a23*c23 + 43/4*a11**7*a22**10*b32**2 - 238*a11**7*a22
**8*a23**3*c23 + 30*a11**7*a22**8*a23**2*b32**2 - 272*a11**7*a22**6*a23**5*c23 +
51/2*a11**7*a22**6*a23**4*b32**2 - 128*a11**7*a22**4*a23**7*c23 + 4*a11**7*a22
**4*a23**6*b32**2 - 22*a11**7*a22**2*a23**9*c23 - 9/4*a11**7*a22**2*a23**8*b32**
2 - 2*a11**7*a23**11*c23 + 155*a11**6*a22**11*a23*c23 - 103/4*a11**6*a22**11*b32
**2 + 479*a11**6*a22**9*a23**3*c23 - 275/4*a11**6*a22**9*a23**2*b32**2 + 526*a11
**6*a22**7*a23**5*c23 - 52*a11**6*a22**7*a23**4*b32**2 + 254*a11**6*a22**5*a23**
7*c23 - a11**6*a22**5*a23**6*b32**2 + 71*a11**6*a22**3*a23**9*c23 + 31/4*a11**6*
a22**3*a23**8*b32**2 + 19*a11**6*a22*a23**11*c23 - 1/4*a11**6*a22*a23**10*b32**2
- 190*a11**5*a22**12*a23*c23 + 37*a11**5*a22**12*b32**2 - 579*a11**5*a22**10*
a23**3*c23 + 375/4*a11**5*a22**10*a23**2*b32**2 - 653*a11**5*a22**8*a23**5*c23 +
243/4*a11**5*a22**8*a23**4*b32**2 - 382*a11**5*a22**6*a23**7*c23 - 21/2*a11**5*
a22**6*a23**6*b32**2 - 168*a11**5*a22**4*a23**9*c23 - 27/2*a11**5*a22**4*a23**8*
b32**2 - 47*a11**5*a22**2*a23**11*c23 + 3/4*a11**5*a22**2*a23**10*b32**2 + 3*a11
**5*a23**13*c23 - 1/4*a11**5*a23**12*b32**2 + 137*a11**4*a22**13*a23*c23 - 63/2*
a11**4*a22**13*b32**2 + 434*a11**4*a22**11*a23**3*c23 - 297/4*a11**4*a22**11*a23
**2*b32**2 + 547*a11**4*a22**9*a23**5*c23 - 147/4*a11**4*a22**9*a23**4*b32**2 +
396*a11**4*a22**7*a23**7*c23 + 43/2*a11**4*a22**7*a23**6*b32**2 + 191*a11**4*a22
**5*a23**9*c23 + 15*a11**4*a22**5*a23**8*b32**2 + 34*a11**4*a22**3*a23**11*c23 +
3/4*a11**4*a22**3*a23**10*b32**2 - 11*a11**4*a22*a23**13*c23 + 5/4*a11**4*a22*
a23**12*b32**2 - 54*a11**3*a22**14*a23*c23 + 55/4*a11**3*a22**14*b32**2 - 192*
a11**3*a22**12*a23**3*c23 + 27*a11**3*a22**12*a23**2*b32**2 - 278*a11**3*a22**10
*a23**5*c23 + 3/4*a11**3*a22**10*a23**4*b32**2 - 208*a11**3*a22**8*a23**7*c23 -
24*a11**3*a22**8*a23**6*b32**2 - 66*a11**3*a22**6*a23**9*c23 - 51/4*a11**3*a22**
6*a23**8*b32**2 + 16*a11**3*a22**4*a23**11*c23 - 3*a11**3*a22**4*a23**10*b32**2
+ 14*a11**3*a22**2*a23**13*c23 - 7/4*a11**3*a22**2*a23**12*b32**2 + 9*a11**2*a22
**15*a23*c23 - 3/4*a11**2*a22**15*b32**2 + 39*a11**2*a22**13*a23**3*c23 + 17/4*
a11**2*a22**13*a23**2*b32**2 + 61*a11**2*a22**11*a23**5*c23 + 33/2*a11**2*a22**
11*a23**4*b32**2 + 35*a11**2*a22**9*a23**7*c23 + 33/2*a11**2*a22**9*a23**6*b32**
2 - 5*a11**2*a22**7*a23**9*c23 + 17/4*a11**2*a22**7*a23**8*b32**2 - 11*a11**2*
a22**5*a23**11*c23 - 3/4*a11**2*a22**5*a23**10*b32**2 - a11**2*a22**3*a23**13*
c23 + a11**2*a22*a23**15*c23 - 7/4*a11*a22**16*b32**2 - 15/2*a11*a22**14*a23**2*
b32**2 - 45/4*a11*a22**12*a23**4*b32**2 - 5*a11*a22**10*a23**6*b32**2 + 15/4*a11
*a22**8*a23**8*b32**2 + 9/2*a11*a22**6*a23**10*b32**2 + 5/4*a11*a22**4*a23**12*
b32**2 + 1/2*a22**17*b32**2 + 2*a22**15*a23**2*b32**2 + 5/2*a22**13*a23**4*b32**
2 - 5/2*a22**9*a23**8*b32**2 - 2*a22**7*a23**10*b32**2 - 1/2*a22**5*a23**12*b32
**2))/(a11**9*a22**7*a23**2 + 3*a11**9*a22**5*a23**4 + 3*a11**9*a22**3*a23**6 +
a11**9*a22*a23**8 - 11*a11**8*a22**8*a23**2 - 32*a11**8*a22**6*a23**4 - 30*a11**
8*a22**4*a23**6 - 8*a11**8*a22**2*a23**8 + a11**8*a23**10 + 48*a11**7*a22**9*a23
**2 + 132*a11**7*a22**7*a23**4 + 108*a11**7*a22**5*a23**6 + 12*a11**7*a22**3*a23
**8 - 12*a11**7*a22*a23**10 - 106*a11**6*a22**10*a23**2 - 266*a11**6*a22**8*a23
**4 - 164*a11**6*a22**6*a23**6 + 44*a11**6*a22**4*a23**8 + 46*a11**6*a22**2*a23
**10 - 2*a11**6*a23**12 + 125*a11**5*a22**11*a23**2 + 273*a11**5*a22**9*a23**4 +
82*a11**5*a22**7*a23**6 - 142*a11**5*a22**5*a23**8 - 63*a11**5*a22**3*a23**10 +
13*a11**5*a22*a23**12 - 75*a11**4*a22**12*a23**2 - 134*a11**4*a22**10*a23**4 +
23*a11**4*a22**8*a23**6 + 124*a11**4*a22**6*a23**8 + 19*a11**4*a22**4*a23**10 -
22*a11**4*a22**2*a23**12 + a11**4*a23**14 + 18*a11**3*a22**13*a23**2 + 24*a11**3
*a22**11*a23**4 - 22*a11**3*a22**9*a23**6 - 32*a11**3*a22**7*a23**8 + 6*a11**3*
a22**5*a23**10 + 8*a11**3*a22**3*a23**12 - 2*a11**3*a22*a23**14)$
FI=u1*v1*(1/2*a11**14*a22**9*a23*b32 + 3/2*a11**14*a22**7*a23**3*b32 + 3/2*a11**
14*a22**5*a23**5*b32 + 1/2*a11**14*a22**3*a23**7*b32 - 19/2*a11**13*a22**10*a23*
b32 - 55/2*a11**13*a22**8*a23**3*b32 - 51/2*a11**13*a22**6*a23**5*b32 - 13/2*a11
**13*a22**4*a23**7*b32 + a11**13*a22**2*a23**9*b32 + 161/2*a11**12*a22**11*a23*
b32 + 223*a11**12*a22**9*a23**3*b32 + 187*a11**12*a22**7*a23**5*b32 + 28*a11**12
*a22**5*a23**7*b32 - 31/2*a11**12*a22**3*a23**9*b32 + a11**12*a22*a23**11*b32 -
805/2*a11**11*a22**12*a23*b32 - 2119/2*a11**11*a22**10*a23**3*b32 - 1565/2*a11**
11*a22**8*a23**5*b32 - 15*a11**11*a22**6*a23**7*b32 + 185/2*a11**11*a22**4*a23**
9*b32 - 35/2*a11**11*a22**2*a23**11*b32 + 1/2*a11**11*a23**13*b32 + 1324*a11**10
*a22**13*a23*b32 + 3297*a11**10*a22**11*a23**3*b32 + 2097*a11**10*a22**9*a23**5*
b32 - 262*a11**10*a22**7*a23**7*b32 - 258*a11**10*a22**5*a23**9*b32 + 117*a11**
10*a22**3*a23**11*b32 - 11*a11**10*a22*a23**13*b32 - 3023*a11**9*a22**14*a23*b32
- 7122*a11**9*a22**12*a23**3*b32 - 7749/2*a11**9*a22**10*a23**5*b32 + 1945/2*
a11**9*a22**8*a23**7*b32 + 288*a11**9*a22**6*a23**9*b32 - 369*a11**9*a22**4*a23
**11*b32 + 179/2*a11**9*a22**2*a23**13*b32 - 3/2*a11**9*a23**15*b32 + 4921*a11**
8*a22**15*a23*b32 + 11043*a11**8*a22**13*a23**3*b32 + 5277*a11**8*a22**11*a23**5
*b32 - 1633*a11**8*a22**9*a23**7*b32 + 75*a11**8*a22**7*a23**9*b32 + 489*a11**8*
a22**5*a23**11*b32 - 353*a11**8*a22**3*a23**13*b32 + 21*a11**8*a22*a23**15*b32 -
5765*a11**7*a22**16*a23*b32 - 12514*a11**7*a22**14*a23**3*b32 - 11271/2*a11**7*
a22**12*a23**5*b32 + 1583*a11**7*a22**10*a23**7*b32 - 433/2*a11**7*a22**8*a23**9
*b32 + 144*a11**7*a22**6*a23**11*b32 + 1439/2*a11**7*a22**4*a23**13*b32 - 109*
a11**7*a22**2*a23**15*b32 + 3/2*a11**7*a23**17*b32 + 9665/2*a11**6*a22**17*a23*
b32 + 20809/2*a11**6*a22**15*a23**3*b32 + 9655/2*a11**6*a22**13*a23**5*b32 -
2411/2*a11**6*a22**11*a23**7*b32 - 1435/2*a11**6*a22**9*a23**9*b32 - 2485/2*a11
**6*a22**7*a23**11*b32 - 1411/2*a11**6*a22**5*a23**13*b32 + 535/2*a11**6*a22**3*
a23**15*b32 - 13*a11**6*a22*a23**17*b32 - 5663/2*a11**5*a22**18*a23*b32 - 12509/
2*a11**5*a22**16*a23**3*b32 - 3152*a11**5*a22**14*a23**5*b32 + 1140*a11**5*a22**
12*a23**7*b32 + 1813*a11**5*a22**10*a23**9*b32 + 1475*a11**5*a22**8*a23**11*b32
+ 164*a11**5*a22**6*a23**13*b32 - 328*a11**5*a22**4*a23**15*b32 + 77/2*a11**5*
a22**2*a23**17*b32 - 1/2*a11**5*a23**19*b32 + 2205/2*a11**4*a22**19*a23*b32 +
2598*a11**4*a22**17*a23**3*b32 + 1398*a11**4*a22**15*a23**5*b32 - 1004*a11**4*
a22**13*a23**7*b32 - 1609*a11**4*a22**11*a23**9*b32 - 696*a11**4*a22**9*a23**11*
b32 + 246*a11**4*a22**7*a23**13*b32 + 188*a11**4*a22**5*a23**15*b32 - 99/2*a11**
4*a22**3*a23**17*b32 + 2*a11**4*a22*a23**19*b32 - 513/2*a11**3*a22**20*a23*b32 -
1341/2*a11**3*a22**18*a23**3*b32 - 354*a11**3*a22**16*a23**5*b32 + 502*a11**3*
a22**14*a23**7*b32 + 641*a11**3*a22**12*a23**9*b32 + 77*a11**3*a22**10*a23**11*
b32 - 186*a11**3*a22**8*a23**13*b32 - 34*a11**3*a22**6*a23**15*b32 + 55/2*a11**3
*a22**4*a23**17*b32 - 5/2*a11**3*a22**2*a23**19*b32 + 27*a11**2*a22**21*a23*b32
+ 81*a11**2*a22**19*a23**3*b32 + 36*a11**2*a22**17*a23**5*b32 - 100*a11**2*a22**
15*a23**7*b32 - 94*a11**2*a22**13*a23**9*b32 + 22*a11**2*a22**11*a23**11*b32 +
36*a11**2*a22**9*a23**13*b32 - 4*a11**2*a22**7*a23**15*b32 - 5*a11**2*a22**5*a23
**17*b32 + a11**2*a22**3*a23**19*b32) + u2**2*(1/2*a11**14*a22**9*a23**2 + 2*a11
**14*a22**7*a23**4 + 3*a11**14*a22**5*a23**6 + 2*a11**14*a22**3*a23**8 + 1/2*a11
**14*a22*a23**10 - 10*a11**13*a22**10*a23**2 - 79/2*a11**13*a22**8*a23**4 - 58*
a11**13*a22**6*a23**6 - 37*a11**13*a22**4*a23**8 - 8*a11**13*a22**2*a23**10 + 1/
2*a11**13*a23**12 + 177/2*a11**12*a22**11*a23**2 + 685/2*a11**12*a22**9*a23**4 +
485*a11**12*a22**7*a23**6 + 285*a11**12*a22**5*a23**8 + 85/2*a11**12*a22**3*a23
**10 - 23/2*a11**12*a22*a23**12 - 457*a11**11*a22**12*a23**2 - 1717*a11**11*a22
**10*a23**4 - 2300*a11**11*a22**8*a23**6 - 1170*a11**11*a22**6*a23**8 - 25*a11**
11*a22**4*a23**10 + 103*a11**11*a22**2*a23**12 - 2*a11**11*a23**14 + 1529*a11**
10*a22**13*a23**2 + 5518*a11**10*a22**11*a23**4 + 6815*a11**10*a22**9*a23**6 +
2660*a11**10*a22**7*a23**8 - 665*a11**10*a22**5*a23**10 - 466*a11**10*a22**3*a23
**12 + 33*a11**10*a22*a23**14 - 3480*a11**9*a22**14*a23**2 - 11917*a11**9*a22**
12*a23**4 - 13094*a11**9*a22**10*a23**6 - 2803*a11**9*a22**8*a23**8 + 3188*a11**
9*a22**6*a23**10 + 1117*a11**9*a22**4*a23**12 - 214*a11**9*a22**2*a23**14 + 3*
a11**9*a23**16 + 5501*a11**8*a22**15*a23**2 + 17627*a11**8*a22**13*a23**4 +
16337*a11**8*a22**11*a23**6 - 937*a11**8*a22**9*a23**8 - 7113*a11**8*a22**7*a23
**10 - 1231*a11**8*a22**5*a23**12 + 699*a11**8*a22**3*a23**14 - 35*a11**8*a22*
a23**16 - 6046*a11**7*a22**16*a23**2 - 17840*a11**7*a22**14*a23**4 - 12748*a11**
7*a22**12*a23**6 + 6648*a11**7*a22**10*a23**8 + 8880*a11**7*a22**8*a23**10 - 96*
a11**7*a22**6*a23**12 - 1220*a11**7*a22**4*a23**14 + 152*a11**7*a22**2*a23**16 -
2*a11**7*a23**18 + 9069/2*a11**6*a22**17*a23**2 + 12092*a11**6*a22**15*a23**4 +
5502*a11**6*a22**13*a23**6 - 8588*a11**6*a22**11*a23**8 - 6225*a11**6*a22**9*
a23**10 + 1732*a11**6*a22**7*a23**12 + 1102*a11**6*a22**5*a23**14 - 308*a11**6*
a22**3*a23**16 + 29/2*a11**6*a22*a23**18 - 2214*a11**5*a22**18*a23**2 - 10431/2*
a11**5*a22**16*a23**4 - 708*a11**5*a22**14*a23**6 + 5486*a11**5*a22**12*a23**8 +
2168*a11**5*a22**10*a23**10 - 1789*a11**5*a22**8*a23**12 - 428*a11**5*a22**6*
a23**14 + 302*a11**5*a22**4*a23**16 - 34*a11**5*a22**2*a23**18 + 1/2*a11**5*a23
**20 + 1269/2*a11**4*a22**19*a23**2 + 2565/2*a11**4*a22**17*a23**4 - 342*a11**4*
a22**15*a23**6 - 1774*a11**4*a22**13*a23**8 - 197*a11**4*a22**11*a23**10 + 755*
a11**4*a22**9*a23**12 + 2*a11**4*a22**7*a23**14 - 134*a11**4*a22**5*a23**16 + 61
/2*a11**4*a22**3*a23**18 - 3/2*a11**4*a22*a23**20 - 81*a11**3*a22**20*a23**2 -
135*a11**3*a22**18*a23**4 + 108*a11**3*a22**16*a23**6 + 228*a11**3*a22**14*a23**
8 - 46*a11**3*a22**12*a23**10 - 114*a11**3*a22**10*a23**12 + 28*a11**3*a22**8*
a23**14 + 20*a11**3*a22**6*a23**16 - 9*a11**3*a22**4*a23**18 + a11**3*a22**2*a23
**20) + u2*u3*( - a11**13*a22**9*a23**3 - 4*a11**13*a22**7*a23**5 - 6*a11**13*
a22**5*a23**7 - 4*a11**13*a22**3*a23**9 - a11**13*a22*a23**11 + 19*a11**12*a22**
10*a23**3 + 75*a11**12*a22**8*a23**5 + 110*a11**12*a22**6*a23**7 + 70*a11**12*
a22**4*a23**9 + 15*a11**12*a22**2*a23**11 - a11**12*a23**13 - 158*a11**11*a22**
11*a23**3 - 610*a11**11*a22**9*a23**5 - 860*a11**11*a22**7*a23**7 - 500*a11**11*
a22**5*a23**9 - 70*a11**11*a22**3*a23**11 + 22*a11**11*a22*a23**13 + 756*a11**10
*a22**12*a23**3 + 2824*a11**10*a22**10*a23**5 + 3740*a11**10*a22**8*a23**7 +
1840*a11**10*a22**6*a23**9 - 20*a11**10*a22**4*a23**11 - 184*a11**10*a22**2*a23
**13 + 4*a11**10*a23**15 - 2302*a11**9*a22**13*a23**3 - 8212*a11**9*a22**11*a23
**5 - 9890*a11**9*a22**9*a23**7 - 3480*a11**9*a22**7*a23**9 + 1310*a11**9*a22**5
*a23**11 + 748*a11**9*a22**3*a23**13 - 62*a11**9*a22*a23**15 + 4658*a11**8*a22**
14*a23**3 + 15622*a11**8*a22**12*a23**5 + 16298*a11**8*a22**10*a23**7 + 2126*a11
**8*a22**8*a23**9 - 5066*a11**8*a22**6*a23**11 - 1486*a11**8*a22**4*a23**13 +
366*a11**8*a22**2*a23**15 - 6*a11**8*a23**17 - 6344*a11**7*a22**15*a23**3 -
19632*a11**7*a22**13*a23**5 - 16376*a11**7*a22**11*a23**7 + 4000*a11**7*a22**9*
a23**9 + 9160*a11**7*a22**7*a23**11 + 976*a11**7*a22**5*a23**13 - 1032*a11**7*
a22**3*a23**15 + 64*a11**7*a22*a23**17 + 5748*a11**6*a22**16*a23**3 + 16048*a11
**6*a22**14*a23**5 + 9120*a11**6*a22**12*a23**7 - 9296*a11**6*a22**10*a23**9 -
8600*a11**6*a22**8*a23**11 + 1168*a11**6*a22**6*a23**13 + 1408*a11**6*a22**4*a23
**15 - 240*a11**6*a22**2*a23**17 + 4*a11**6*a23**19 - 3321*a11**5*a22**17*a23**3
- 8136*a11**5*a22**15*a23**5 - 1884*a11**5*a22**13*a23**7 + 7880*a11**5*a22**11
*a23**9 + 3850*a11**5*a22**9*a23**11 - 2296*a11**5*a22**7*a23**13 - 796*a11**5*
a22**5*a23**15 + 376*a11**5*a22**3*a23**17 - 25*a11**5*a22*a23**19 + 1107*a11**4
*a22**18*a23**3 + 2295*a11**4*a22**16*a23**5 - 468*a11**4*a22**14*a23**7 - 3092*
a11**4*a22**12*a23**9 - 486*a11**4*a22**10*a23**11 + 1282*a11**4*a22**8*a23**13
+ 60*a11**4*a22**6*a23**15 - 228*a11**4*a22**4*a23**17 + 43*a11**4*a22**2*a23**
19 - a11**4*a23**21 - 162*a11**3*a22**19*a23**3 - 270*a11**3*a22**17*a23**5 +
216*a11**3*a22**15*a23**7 + 456*a11**3*a22**13*a23**9 - 92*a11**3*a22**11*a23**
11 - 228*a11**3*a22**9*a23**13 + 56*a11**3*a22**7*a23**15 + 40*a11**3*a22**5*a23
**17 - 18*a11**3*a22**3*a23**19 + 2*a11**3*a22*a23**21) + u2*v3*( - 1/2*a11**14*
a22**8*a23**2*b32 - 3/2*a11**14*a22**6*a23**4*b32 - 3/2*a11**14*a22**4*a23**6*
b32 - 1/2*a11**14*a22**2*a23**8*b32 + 19/2*a11**13*a22**9*a23**2*b32 + 55/2*a11
**13*a22**7*a23**4*b32 + 51/2*a11**13*a22**5*a23**6*b32 + 13/2*a11**13*a22**3*
a23**8*b32 - a11**13*a22*a23**10*b32 - 80*a11**12*a22**10*a23**2*b32 - 441/2*a11
**12*a22**8*a23**4*b32 - 182*a11**12*a22**6*a23**6*b32 - 23*a11**12*a22**4*a23**
8*b32 + 18*a11**12*a22**2*a23**10*b32 - 1/2*a11**12*a23**12*b32 + 394*a11**11*
a22**11*a23**2*b32 + 2035/2*a11**11*a22**9*a23**4*b32 + 700*a11**11*a22**7*a23**
6*b32 - 65*a11**11*a22**5*a23**8*b32 - 130*a11**11*a22**3*a23**10*b32 + 23/2*a11
**11*a22*a23**12*b32 - 1261*a11**10*a22**12*a23**2*b32 - 5983/2*a11**10*a22**10*
a23**4*b32 - 3029/2*a11**10*a22**8*a23**6*b32 + 797*a11**10*a22**6*a23**8*b32 +
478*a11**10*a22**4*a23**10*b32 - 203/2*a11**10*a22**2*a23**12*b32 + 3/2*a11**10*
a23**14*b32 + 2755*a11**9*a22**13*a23**2*b32 + 11713/2*a11**9*a22**11*a23**4*b32
+ 3131/2*a11**9*a22**9*a23**6*b32 - 2915*a11**9*a22**7*a23**8*b32 - 898*a11**9*
a22**5*a23**10*b32 + 917/2*a11**9*a22**3*a23**12*b32 - 45/2*a11**9*a22*a23**14*
b32 - 4196*a11**8*a22**14*a23**2*b32 - 15475/2*a11**8*a22**12*a23**4*b32 + 395*
a11**8*a22**10*a23**6*b32 + 11571/2*a11**8*a22**8*a23**8*b32 + 550*a11**8*a22**6
*a23**10*b32 - 2333/2*a11**8*a22**4*a23**12*b32 + 131*a11**8*a22**2*a23**14*b32
- 3/2*a11**8*a23**16*b32 + 4460*a11**7*a22**15*a23**2*b32 + 13641/2*a11**7*a22**
13*a23**4*b32 - 3359*a11**7*a22**11*a23**6*b32 - 13653/2*a11**7*a22**9*a23**8*
b32 + 994*a11**7*a22**7*a23**10*b32 + 3407/2*a11**7*a22**5*a23**12*b32 - 383*a11
**7*a22**3*a23**14*b32 + 29/2*a11**7*a22*a23**16*b32 - 6493/2*a11**6*a22**16*a23
**2*b32 - 3845*a11**6*a22**14*a23**4*b32 + 4459*a11**6*a22**12*a23**6*b32 + 4743
*a11**6*a22**10*a23**8*b32 - 2330*a11**6*a22**8*a23**10*b32 - 1359*a11**6*a22**6
*a23**12*b32 + 605*a11**6*a22**4*a23**14*b32 - 51*a11**6*a22**2*a23**16*b32 + 1/
2*a11**6*a23**18*b32 + 3087/2*a11**5*a22**17*a23**2*b32 + 1254*a11**5*a22**15*
a23**4*b32 - 2964*a11**5*a22**13*a23**6*b32 - 1754*a11**5*a22**11*a23**8*b32 +
1999*a11**5*a22**9*a23**10*b32 + 482*a11**5*a22**7*a23**12*b32 - 512*a11**5*a22
**5*a23**14*b32 + 82*a11**5*a22**3*a23**16*b32 - 5/2*a11**5*a22*a23**18*b32 -
432*a11**4*a22**18*a23**2*b32 - 180*a11**4*a22**16*a23**4*b32 + 1020*a11**4*a22
**14*a23**6*b32 + 236*a11**4*a22**12*a23**8*b32 - 804*a11**4*a22**10*a23**10*b32
+ 4*a11**4*a22**8*a23**12*b32 + 212*a11**4*a22**6*a23**14*b32 - 60*a11**4*a22**
4*a23**16*b32 + 4*a11**4*a22**2*a23**18*b32 + 54*a11**3*a22**19*a23**2*b32 - 144
*a11**3*a22**15*a23**6*b32 + 16*a11**3*a22**13*a23**8*b32 + 124*a11**3*a22**11*
a23**10*b32 - 32*a11**3*a22**9*a23**12*b32 - 32*a11**3*a22**7*a23**14*b32 + 16*
a11**3*a22**5*a23**16*b32 - 2*a11**3*a22**3*a23**18*b32) + u3**2*(1/2*a11**14*
a22**9*a23**2 + 2*a11**14*a22**7*a23**4 + 3*a11**14*a22**5*a23**6 + 2*a11**14*
a22**3*a23**8 + 1/2*a11**14*a22*a23**10 - 19/2*a11**13*a22**10*a23**2 - 38*a11**
13*a22**8*a23**4 - 57*a11**13*a22**6*a23**6 - 38*a11**13*a22**4*a23**8 - 19/2*
a11**13*a22**2*a23**10 + 159/2*a11**12*a22**11*a23**2 + 635/2*a11**12*a22**9*a23
**4 + 475*a11**12*a22**7*a23**6 + 315*a11**12*a22**5*a23**8 + 155/2*a11**12*a22
**3*a23**10 - 1/2*a11**12*a22*a23**12 - 773/2*a11**11*a22**12*a23**2 - 1542*a11
**11*a22**10*a23**4 - 4605/2*a11**11*a22**8*a23**6 - 1520*a11**11*a22**6*a23**8
- 735/2*a11**11*a22**4*a23**10 + 6*a11**11*a22**2*a23**12 + 1/2*a11**11*a23**14
+ 1213*a11**10*a22**13*a23**2 + 4854*a11**10*a22**11*a23**4 + 7275*a11**10*a22**
9*a23**6 + 4820*a11**10*a22**7*a23**8 + 1155*a11**10*a22**5*a23**10 - 42*a11**10
*a22**3*a23**12 - 11*a11**10*a22*a23**14 - 2583*a11**9*a22**14*a23**2 - 10460*
a11**9*a22**12*a23**4 - 15909*a11**9*a22**10*a23**6 - 10698*a11**9*a22**8*a23**8
- 2497*a11**9*a22**6*a23**10 + 264*a11**9*a22**4*a23**12 + 93*a11**9*a22**2*a23
**14 - 2*a11**9*a23**16 + 3815*a11**8*a22**15*a23**2 + 15865*a11**8*a22**13*a23
**4 + 24819*a11**8*a22**11*a23**6 + 16957*a11**8*a22**9*a23**8 + 3413*a11**8*a22
**7*a23**10 - 1173*a11**8*a22**5*a23**12 - 367*a11**8*a22**3*a23**14 + 31*a11**8
*a22*a23**16 - 3917*a11**7*a22**16*a23**2 - 17068*a11**7*a22**14*a23**4 - 27732*
a11**7*a22**12*a23**6 - 18772*a11**7*a22**10*a23**8 - 2030*a11**7*a22**8*a23**10
+ 2988*a11**7*a22**6*a23**12 + 652*a11**7*a22**4*a23**14 - 172*a11**7*a22**2*
a23**16 + 3*a11**7*a23**18 + 5493/2*a11**6*a22**17*a23**2 + 12844*a11**6*a22**15
*a23**4 + 21662*a11**6*a22**13*a23**6 + 13668*a11**6*a22**11*a23**8 - 1225*a11**
6*a22**9*a23**10 - 4076*a11**6*a22**7*a23**12 - 306*a11**6*a22**5*a23**14 + 412*
a11**6*a22**3*a23**16 - 59/2*a11**6*a22*a23**18 - 2511/2*a11**5*a22**18*a23**2 -
6462*a11**5*a22**16*a23**4 - 11154*a11**5*a22**14*a23**6 - 5884*a11**5*a22**12*
a23**8 + 2803*a11**5*a22**10*a23**10 + 2832*a11**5*a22**8*a23**12 - 402*a11**5*
a22**6*a23**14 - 404*a11**5*a22**4*a23**16 + 177/2*a11**5*a22**2*a23**18 - 2*a11
**5*a23**20 + 675/2*a11**4*a22**19*a23**2 + 3915/2*a11**4*a22**17*a23**4 + 3366*
a11**4*a22**15*a23**6 + 1198*a11**4*a22**13*a23**8 - 1651*a11**4*a22**11*a23**10
- 867*a11**4*a22**9*a23**12 + 462*a11**4*a22**7*a23**14 + 134*a11**4*a22**5*a23
**16 - 165/2*a11**4*a22**3*a23**18 + 19/2*a11**4*a22*a23**20 - 81/2*a11**3*a22**
20*a23**2 - 270*a11**3*a22**18*a23**4 - 891/2*a11**3*a22**16*a23**6 - 48*a11**3*
a22**14*a23**8 + 331*a11**3*a22**12*a23**10 + 68*a11**3*a22**10*a23**12 - 123*
a11**3*a22**8*a23**14 + 43/2*a11**3*a22**4*a23**18 - 6*a11**3*a22**2*a23**20 + 1
/2*a11**3*a23**22) + u3*v2*(1/2*a11**14*a22**8*a23**2*b32 + 3/2*a11**14*a22**6*
a23**4*b32 + 3/2*a11**14*a22**4*a23**6*b32 + 1/2*a11**14*a22**2*a23**8*b32 - 9*
a11**13*a22**9*a23**2*b32 - 53/2*a11**13*a22**7*a23**4*b32 - 51/2*a11**13*a22**5
*a23**6*b32 - 15/2*a11**13*a22**3*a23**8*b32 + 1/2*a11**13*a22*a23**10*b32 + 143
/2*a11**12*a22**10*a23**2*b32 + 206*a11**12*a22**8*a23**4*b32 + 189*a11**12*a22
**6*a23**6*b32 + 46*a11**12*a22**4*a23**8*b32 - 17/2*a11**12*a22**2*a23**10*b32
- 331*a11**11*a22**11*a23**2*b32 - 1867/2*a11**11*a22**9*a23**4*b32 - 814*a11**
11*a22**7*a23**6*b32 - 151*a11**11*a22**5*a23**8*b32 + 61*a11**11*a22**3*a23**10
*b32 + 1/2*a11**11*a22*a23**12*b32 + 993*a11**10*a22**12*a23**2*b32 + 5515/2*a11
**10*a22**10*a23**4*b32 + 4601/2*a11**10*a22**8*a23**6*b32 + 287*a11**10*a22**6*
a23**8*b32 - 262*a11**10*a22**4*a23**10*b32 - 25/2*a11**10*a22**2*a23**12*b32 +
1/2*a11**10*a23**14*b32 - 2030*a11**9*a22**13*a23**2*b32 - 11251/2*a11**9*a22**
11*a23**4*b32 - 9131/2*a11**9*a22**9*a23**6*b32 - 255*a11**9*a22**7*a23**8*b32 +
823*a11**9*a22**5*a23**10*b32 + 193/2*a11**9*a22**3*a23**12*b32 - 23/2*a11**9*
a22*a23**14*b32 + 2891*a11**8*a22**14*a23**2*b32 + 16345/2*a11**8*a22**12*a23**4
*b32 + 6568*a11**8*a22**10*a23**6*b32 - 645/2*a11**8*a22**8*a23**8*b32 - 2017*
a11**8*a22**6*a23**10*b32 - 625/2*a11**8*a22**4*a23**12*b32 + 94*a11**8*a22**2*
a23**14*b32 - 3/2*a11**8*a23**16*b32 - 2874*a11**7*a22**15*a23**2*b32 - 17075/2*
a11**7*a22**13*a23**4*b32 - 6805*a11**7*a22**11*a23**6*b32 + 3311/2*a11**7*a22**
9*a23**8*b32 + 3552*a11**7*a22**7*a23**10*b32 + 763/2*a11**7*a22**5*a23**12*b32
- 353*a11**7*a22**3*a23**14*b32 + 41/2*a11**7*a22*a23**16*b32 + 3917/2*a11**6*
a22**16*a23**2*b32 + 6327*a11**6*a22**14*a23**4*b32 + 4843*a11**6*a22**12*a23**6
*b32 - 2909*a11**6*a22**10*a23**8*b32 - 3992*a11**6*a22**8*a23**10*b32 + 133*a11
**6*a22**6*a23**12*b32 + 645*a11**6*a22**4*a23**14*b32 - 95*a11**6*a22**2*a23**
16*b32 + 3/2*a11**6*a23**18*b32 - 873*a11**5*a22**17*a23**2*b32 - 3174*a11**5*
a22**15*a23**4*b32 - 2154*a11**5*a22**13*a23**6*b32 + 2690*a11**5*a22**11*a23**8
*b32 + 2564*a11**5*a22**9*a23**10*b32 - 722*a11**5*a22**7*a23**12*b32 - 550*a11
**5*a22**5*a23**14*b32 + 182*a11**5*a22**3*a23**16*b32 - 11*a11**5*a22*a23**18*
b32 + 459/2*a11**4*a22**18*a23**2*b32 + 1935/2*a11**4*a22**16*a23**4*b32 + 498*
a11**4*a22**14*a23**6*b32 - 1278*a11**4*a22**12*a23**8*b32 - 799*a11**4*a22**10*
a23**10*b32 + 581*a11**4*a22**8*a23**12*b32 + 178*a11**4*a22**6*a23**14*b32 -
142*a11**4*a22**4*a23**16*b32 + 43/2*a11**4*a22**2*a23**18*b32 - 1/2*a11**4*a23
**20*b32 - 27*a11**3*a22**19*a23**2*b32 - 135*a11**3*a22**17*a23**4*b32 - 36*a11
**3*a22**15*a23**6*b32 + 244*a11**3*a22**13*a23**8*b32 + 78*a11**3*a22**11*a23**
10*b32 - 146*a11**3*a22**9*a23**12*b32 - 4*a11**3*a22**7*a23**14*b32 + 36*a11**3
*a22**5*a23**16*b32 - 11*a11**3*a22**3*a23**18*b32 + a11**3*a22*a23**20*b32) +
u3*v3*(a11**13*a22**8*a23**3*b32 + 3*a11**13*a22**6*a23**5*b32 + 3*a11**13*a22**
4*a23**7*b32 + a11**13*a22**2*a23**9*b32 - 18*a11**12*a22**9*a23**3*b32 - 52*a11
**12*a22**7*a23**5*b32 - 48*a11**12*a22**5*a23**7*b32 - 12*a11**12*a22**3*a23**9
*b32 + 2*a11**12*a22*a23**11*b32 + 142*a11**11*a22**10*a23**3*b32 + 389*a11**11*
a22**8*a23**5*b32 + 316*a11**11*a22**6*a23**7*b32 + 34*a11**11*a22**4*a23**9*b32
- 34*a11**11*a22**2*a23**11*b32 + a11**11*a23**13*b32 - 646*a11**10*a22**11*a23
**3*b32 - 1646*a11**10*a22**9*a23**5*b32 - 1084*a11**10*a22**7*a23**7*b32 + 164*
a11**10*a22**5*a23**9*b32 + 226*a11**10*a22**3*a23**11*b32 - 22*a11**10*a22*a23
**13*b32 + 1876*a11**9*a22**12*a23**3*b32 + 4337*a11**9*a22**10*a23**5*b32 +
1945*a11**9*a22**8*a23**7*b32 - 1430*a11**9*a22**6*a23**9*b32 - 730*a11**9*a22**
4*a23**11*b32 + 181*a11**9*a22**2*a23**13*b32 - 3*a11**9*a23**15*b32 - 3634*a11
**8*a22**13*a23**3*b32 - 7376*a11**8*a22**11*a23**5*b32 - 1186*a11**8*a22**9*a23
**7*b32 + 4400*a11**8*a22**7*a23**9*b32 + 1066*a11**8*a22**5*a23**11*b32 - 736*
a11**8*a22**3*a23**13*b32 + 42*a11**8*a22*a23**15*b32 + 4758*a11**7*a22**14*a23
**3*b32 + 8099*a11**7*a22**12*a23**5*b32 - 1976*a11**7*a22**10*a23**7*b32 - 7171
*a11**7*a22**8*a23**9*b32 - 34*a11**7*a22**6*a23**11*b32 + 1597*a11**7*a22**4*
a23**13*b32 - 220*a11**7*a22**2*a23**15*b32 + 3*a11**7*a23**17*b32 - 4162*a11**6
*a22**15*a23**3*b32 - 5542*a11**6*a22**13*a23**5*b32 + 4742*a11**6*a22**11*a23**
7*b32 + 6482*a11**6*a22**9*a23**9*b32 - 2022*a11**6*a22**7*a23**11*b32 - 1810*
a11**6*a22**5*a23**13*b32 + 546*a11**6*a22**3*a23**15*b32 - 26*a11**6*a22*a23**
17*b32 + 2331*a11**5*a22**16*a23**3*b32 + 2148*a11**5*a22**14*a23**5*b32 - 4176*
a11**5*a22**12*a23**7*b32 - 3004*a11**5*a22**10*a23**9*b32 + 2638*a11**5*a22**8*
a23**11*b32 + 908*a11**5*a22**6*a23**13*b32 - 664*a11**5*a22**4*a23**15*b32 + 76
*a11**5*a22**2*a23**17*b32 - a11**5*a23**19*b32 - 756*a11**4*a22**17*a23**3*b32
- 360*a11**4*a22**15*a23**5*b32 + 1752*a11**4*a22**13*a23**7*b32 + 504*a11**4*
a22**11*a23**9*b32 - 1360*a11**4*a22**9*a23**11*b32 - 56*a11**4*a22**7*a23**13*
b32 + 360*a11**4*a22**5*a23**15*b32 - 88*a11**4*a22**3*a23**17*b32 + 4*a11**4*
a22*a23**19*b32 + 108*a11**3*a22**18*a23**3*b32 - 288*a11**3*a22**14*a23**7*b32
+ 32*a11**3*a22**12*a23**9*b32 + 248*a11**3*a22**10*a23**11*b32 - 64*a11**3*a22
**8*a23**13*b32 - 64*a11**3*a22**6*a23**15*b32 + 32*a11**3*a22**4*a23**17*b32 -
4*a11**3*a22**2*a23**19*b32) + v1**2*(1/2*a11**14*a22**9*a23*c23 - 1/8*a11**14*
a22**9*b32**2 + 2*a11**14*a22**7*a23**3*c23 - 3/8*a11**14*a22**7*a23**2*b32**2 +
3*a11**14*a22**5*a23**5*c23 - 3/8*a11**14*a22**5*a23**4*b32**2 + 2*a11**14*a22
**3*a23**7*c23 - 1/8*a11**14*a22**3*a23**6*b32**2 + 1/2*a11**14*a22*a23**9*c23 -
10*a11**13*a22**10*a23*c23 + 19/8*a11**13*a22**10*b32**2 - 40*a11**13*a22**8*
a23**3*c23 + 7*a11**13*a22**8*a23**2*b32**2 - 60*a11**13*a22**6*a23**5*c23 + 27/
4*a11**13*a22**6*a23**4*b32**2 - 40*a11**13*a22**4*a23**7*c23 + 2*a11**13*a22**4
*a23**6*b32**2 - 10*a11**13*a22**2*a23**9*c23 - 1/8*a11**13*a22**2*a23**8*b32**2
+ 89*a11**12*a22**11*a23*c23 - 81/4*a11**12*a22**11*b32**2 + 355*a11**12*a22**9
*a23**3*c23 - 469/8*a11**12*a22**9*a23**2*b32**2 + 530*a11**12*a22**7*a23**5*c23
- 435/8*a11**12*a22**7*a23**4*b32**2 + 350*a11**12*a22**5*a23**7*c23 - 111/8*
a11**12*a22**5*a23**6*b32**2 + 85*a11**12*a22**3*a23**9*c23 + 17/8*a11**12*a22**
3*a23**8*b32**2 - a11**12*a22*a23**11*c23 - 466*a11**11*a22**12*a23*c23 + 205/2*
a11**11*a22**12*b32**2 - 1850*a11**11*a22**10*a23**3*c23 + 2337/8*a11**11*a22**
10*a23**2*b32**2 - 2740*a11**11*a22**8*a23**5*c23 + 261*a11**11*a22**8*a23**4*
b32**2 - 1780*a11**11*a22**6*a23**7*c23 + 221/4*a11**11*a22**6*a23**6*b32**2 -
410*a11**11*a22**4*a23**9*c23 - 33/2*a11**11*a22**4*a23**8*b32**2 + 14*a11**11*
a22**2*a23**11*c23 - 3/8*a11**11*a22**2*a23**10*b32**2 + 3199/2*a11**10*a22**13*
a23*c23 - 2745/8*a11**10*a22**13*b32**2 + 6317*a11**10*a22**11*a23**3*c23 - 3871
/4*a11**10*a22**11*a23**2*b32**2 + 18545/2*a11**10*a22**9*a23**5*c23 - 6701/8*
a11**10*a22**9*a23**4*b32**2 + 5910*a11**10*a22**7*a23**7*c23 - 138*a11**10*a22
**7*a23**6*b32**2 + 2545/2*a11**10*a22**5*a23**9*c23 + 649/8*a11**10*a22**5*a23
**8*b32**2 - 83*a11**10*a22**3*a23**11*c23 + 23/4*a11**10*a22**3*a23**10*b32**2
- 1/2*a11**10*a22*a23**13*c23 - 3/8*a11**10*a22*a23**12*b32**2 - 3796*a11**9*a22
**14*a23*c23 + 6399/8*a11**9*a22**14*b32**2 - 14936*a11**9*a22**12*a23**3*c23 +
18017/8*a11**9*a22**12*a23**2*b32**2 - 21772*a11**9*a22**10*a23**5*c23 + 7617/4*
a11**9*a22**10*a23**4*b32**2 - 13648*a11**9*a22**8*a23**7*c23 + 1641/8*a11**9*
a22**8*a23**6*b32**2 - 2732*a11**9*a22**6*a23**9*c23 - 2297/8*a11**9*a22**6*a23
**8*b32**2 + 296*a11**9*a22**4*a23**11*c23 - 273/8*a11**9*a22**4*a23**10*b32**2
+ 12*a11**9*a22**2*a23**13*c23 + 6*a11**9*a22**2*a23**12*b32**2 - 1/8*a11**9*a23
**14*b32**2 + 6398*a11**8*a22**15*a23*c23 - 5313/4*a11**8*a22**15*b32**2 + 25174
*a11**8*a22**13*a23**3*c23 - 7561/2*a11**8*a22**13*a23**2*b32**2 + 36622*a11**8*
a22**11*a23**5*c23 - 25171/8*a11**8*a22**11*a23**4*b32**2 + 22710*a11**8*a22**9*
a23**7*c23 - 665/8*a11**8*a22**9*a23**6*b32**2 + 4170*a11**8*a22**7*a23**9*c23 +
750*a11**8*a22**7*a23**8*b32**2 - 782*a11**8*a22**5*a23**11*c23 + 397/4*a11**8*
a22**5*a23**10*b32**2 - 86*a11**8*a22**3*a23**13*c23 - 299/8*a11**8*a22**3*a23**
12*b32**2 + 2*a11**8*a22*a23**15*c23 + 19/8*a11**8*a22*a23**14*b32**2 - 7732*a11
**7*a22**16*a23*c23 + 1572*a11**7*a22**16*b32**2 - 30604*a11**7*a22**14*a23**3*
c23 + 18397/4*a11**7*a22**14*a23**2*b32**2 - 44740*a11**7*a22**12*a23**5*c23 +
3773*a11**7*a22**12*a23**4*b32**2 - 27580*a11**7*a22**10*a23**7*c23 - 779/2*a11
**7*a22**10*a23**6*b32**2 - 4380*a11**7*a22**8*a23**9*c23 - 5643/4*a11**7*a22**8
*a23**8*b32**2 + 1628*a11**7*a22**6*a23**11*c23 - 567/4*a11**7*a22**6*a23**10*
b32**2 + 276*a11**7*a22**4*a23**13*c23 + 235/2*a11**7*a22**4*a23**12*b32**2 - 20
*a11**7*a22**2*a23**15*c23 - 16*a11**7*a22**2*a23**14*b32**2 + 1/4*a11**7*a23**
16*b32**2 + 13327/2*a11**6*a22**17*a23*c23 - 10323/8*a11**6*a22**17*b32**2 +
26740*a11**6*a22**15*a23**3*c23 - 31759/8*a11**6*a22**15*a23**2*b32**2 + 39578*
a11**6*a22**13*a23**5*c23 - 6333/2*a11**6*a22**13*a23**4*b32**2 + 24252*a11**6*
a22**11*a23**7*c23 + 8367/8*a11**6*a22**11*a23**6*b32**2 + 2805*a11**6*a22**9*
a23**9*c23 + 3703/2*a11**6*a22**9*a23**8*b32**2 - 2484*a11**6*a22**7*a23**11*c23
+ 495/8*a11**6*a22**7*a23**10*b32**2 - 470*a11**6*a22**5*a23**13*c23 - 204*a11
**6*a22**5*a23**12*b32**2 + 68*a11**6*a22**3*a23**15*c23 + 401/8*a11**6*a22**3*
a23**14*b32**2 - 1/2*a11**6*a22*a23**17*c23 - 21/8*a11**6*a22*a23**16*b32**2 -
4002*a11**5*a22**18*a23*c23 + 5377/8*a11**5*a22**18*b32**2 - 16432*a11**5*a22**
16*a23**3*c23 + 9037/4*a11**5*a22**16*a23**2*b32**2 - 24792*a11**5*a22**14*a23**
5*c23 + 1652*a11**5*a22**14*a23**4*b32**2 - 14992*a11**5*a22**12*a23**7*c23 -
11027/8*a11**5*a22**12*a23**6*b32**2 - 620*a11**5*a22**10*a23**9*c23 - 1643*a11
**5*a22**10*a23**8*b32**2 + 2608*a11**5*a22**8*a23**11*c23 + 775/8*a11**5*a22**8
*a23**10*b32**2 + 488*a11**5*a22**6*a23**13*c23 + 419/2*a11**5*a22**6*a23**12*
b32**2 - 112*a11**5*a22**4*a23**15*c23 - 621/8*a11**5*a22**4*a23**14*b32**2 - 2*
a11**5*a22**2*a23**17*c23 + 75/8*a11**5*a22**2*a23**16*b32**2 - 1/8*a11**5*a23**
18*b32**2 + 1593*a11**4*a22**19*a23*c23 - 599/4*a11**4*a22**19*b32**2 + 6759*a11
**4*a22**17*a23**3*c23 - 5109/8*a11**4*a22**17*a23**2*b32**2 + 10452*a11**4*a22
**15*a23**5*c23 - 1081/4*a11**4*a22**15*a23**4*b32**2 + 6140*a11**4*a22**13*a23
**7*c23 + 4457/4*a11**4*a22**13*a23**6*b32**2 - 514*a11**4*a22**11*a23**9*c23 +
3697/4*a11**4*a22**11*a23**8*b32**2 - 1774*a11**4*a22**9*a23**11*c23 - 196*a11**
4*a22**9*a23**10*b32**2 - 284*a11**4*a22**7*a23**13*c23 - 619/4*a11**4*a22**7*
a23**12*b32**2 + 140*a11**4*a22**5*a23**15*c23 + 223/4*a11**4*a22**5*a23**14*b32
**2 + 17*a11**4*a22**3*a23**17*c23 - 27/2*a11**4*a22**3*a23**16*b32**2 - a11**4*
a22*a23**19*c23 + 5/8*a11**4*a22*a23**18*b32**2 - 378*a11**3*a22**20*a23*c23 -
117/2*a11**3*a22**20*b32**2 - 1674*a11**3*a22**18*a23**3*c23 - 987/8*a11**3*a22
**18*a23**2*b32**2 - 2664*a11**3*a22**16*a23**5*c23 - 611/2*a11**3*a22**16*a23**
4*b32**2 - 1480*a11**3*a22**14*a23**7*c23 - 563*a11**3*a22**14*a23**6*b32**2 +
436*a11**3*a22**12*a23**9*c23 - 497/2*a11**3*a22**12*a23**8*b32**2 + 692*a11**3*
a22**10*a23**11*c23 + 829/4*a11**3*a22**10*a23**10*b32**2 + 56*a11**3*a22**8*a23
**13*c23 + 223/2*a11**3*a22**8*a23**12*b32**2 - 104*a11**3*a22**6*a23**15*c23 -
16*a11**3*a22**6*a23**14*b32**2 - 10*a11**3*a22**4*a23**17*c23 + 5*a11**3*a22**4
*a23**16*b32**2 + 6*a11**3*a22**2*a23**19*c23 - 7/8*a11**3*a22**2*a23**18*b32**2
+ 81/2*a11**2*a22**21*a23*c23 + 461/8*a11**2*a22**21*b32**2 + 189*a11**2*a22**
19*a23**3*c23 + 190*a11**2*a22**19*a23**2*b32**2 + 621/2*a11**2*a22**17*a23**5*
c23 + 525/2*a11**2*a22**17*a23**4*b32**2 + 156*a11**2*a22**15*a23**7*c23 + 164*
a11**2*a22**15*a23**6*b32**2 - 103*a11**2*a22**13*a23**9*c23 - 213/4*a11**2*a22
**13*a23**8*b32**2 - 114*a11**2*a22**11*a23**11*c23 - 154*a11**2*a22**11*a23**10
*b32**2 + 9*a11**2*a22**9*a23**13*c23 - 127/2*a11**2*a22**9*a23**12*b32**2 + 28*
a11**2*a22**7*a23**15*c23 + 8*a11**2*a22**7*a23**14*b32**2 - 3/2*a11**2*a22**5*
a23**17*c23 + 37/8*a11**2*a22**5*a23**16*b32**2 - 3*a11**2*a22**3*a23**19*c23 +
1/2*a11**2*a22*a23**21*c23 - 147/8*a11*a22**22*b32**2 - 563/8*a11*a22**20*a23**2
*b32**2 - 183/2*a11*a22**18*a23**4*b32**2 - 39/2*a11*a22**16*a23**6*b32**2 + 267
/4*a11*a22**14*a23**8*b32**2 + 267/4*a11*a22**12*a23**10*b32**2 + 29/2*a11*a22**
10*a23**12*b32**2 - 19/2*a11*a22**8*a23**14*b32**2 - 27/8*a11*a22**6*a23**16*b32
**2 + 5/8*a11*a22**4*a23**18*b32**2 + 9/4*a22**23*b32**2 + 39/4*a22**21*a23**2*
b32**2 + 13*a22**19*a23**4*b32**2 - a22**17*a23**6*b32**2 - 33/2*a22**15*a23**8*
b32**2 - 23/2*a22**13*a23**10*b32**2 + a22**11*a23**12*b32**2 + 3*a22**9*a23**14
*b32**2 + 1/4*a22**7*a23**16*b32**2 - 1/4*a22**5*a23**18*b32**2) + v2*v3*(1/4*
a11**13*a22**9*a23*b32**2 + 3/4*a11**13*a22**7*a23**3*b32**2 + 3/4*a11**13*a22**
5*a23**5*b32**2 + 1/4*a11**13*a22**3*a23**7*b32**2 - 9/2*a11**12*a22**10*a23*b32
**2 - 51/4*a11**12*a22**8*a23**3*b32**2 - 45/4*a11**12*a22**6*a23**5*b32**2 - 9/
4*a11**12*a22**4*a23**7*b32**2 + 3/4*a11**12*a22**2*a23**9*b32**2 + 145/4*a11**
11*a22**11*a23*b32**2 + 383/4*a11**11*a22**9*a23**3*b32**2 + 141/2*a11**11*a22**
7*a23**5*b32**2 - 1/2*a11**11*a22**5*a23**7*b32**2 - 43/4*a11**11*a22**3*a23**9*
b32**2 + 3/4*a11**11*a22*a23**11*b32**2 - 173*a11**10*a22**12*a23*b32**2 - 1681/
4*a11**10*a22**10*a23**3*b32**2 - 943/4*a11**10*a22**8*a23**5*b32**2 + 169/2*a11
**10*a22**6*a23**7*b32**2 + 121/2*a11**10*a22**4*a23**9*b32**2 - 49/4*a11**10*
a22**2*a23**11*b32**2 + 1/4*a11**10*a23**13*b32**2 + 1091/2*a11**9*a22**13*a23*
b32**2 + 4809/4*a11**9*a22**11*a23**3*b32**2 + 429*a11**9*a22**9*a23**5*b32**2 -
953/2*a11**9*a22**7*a23**7*b32**2 - 327/2*a11**9*a22**5*a23**9*b32**2 + 321/4*
a11**9*a22**3*a23**11*b32**2 - 5*a11**9*a22*a23**13*b32**2 - 1199*a11**8*a22**14
*a23*b32**2 - 9471/4*a11**8*a22**12*a23**3*b32**2 - 1193/4*a11**8*a22**10*a23**5
*b32**2 + 1360*a11**8*a22**8*a23**7*b32**2 + 353/2*a11**8*a22**6*a23**9*b32**2 -
1103/4*a11**8*a22**4*a23**11*b32**2 + 147/4*a11**8*a22**2*a23**13*b32**2 - 1/2*
a11**8*a23**15*b32**2 + 3773/2*a11**7*a22**15*a23*b32**2 + 13225/4*a11**7*a22**
13*a23**3*b32**2 - 841/2*a11**7*a22**11*a23**5*b32**2 - 9539/4*a11**7*a22**9*a23
**7*b32**2 + 279/2*a11**7*a22**7*a23**9*b32**2 + 2179/4*a11**7*a22**5*a23**11*
b32**2 - 267/2*a11**7*a22**3*a23**13*b32**2 + 23/4*a11**7*a22*a23**15*b32**2 -
2144*a11**6*a22**16*a23*b32**2 - 13291/4*a11**6*a22**14*a23**3*b32**2 + 5251/4*
a11**6*a22**12*a23**5*b32**2 + 11093/4*a11**6*a22**10*a23**7*b32**2 - 2597/4*a11
**6*a22**8*a23**9*b32**2 - 2569/4*a11**6*a22**6*a23**11*b32**2 + 1057/4*a11**6*
a22**4*a23**13*b32**2 - 97/4*a11**6*a22**2*a23**15*b32**2 + 1/4*a11**6*a23**17*
b32**2 + 6997/4*a11**5*a22**17*a23*b32**2 + 2414*a11**5*a22**15*a23**3*b32**2 -
6439/4*a11**5*a22**13*a23**5*b32**2 - 4521/2*a11**5*a22**11*a23**7*b32**2 + 3321
/4*a11**5*a22**9*a23**9*b32**2 + 479*a11**5*a22**7*a23**11*b32**2 - 1153/4*a11**
5*a22**5*a23**13*b32**2 + 95/2*a11**5*a22**3*a23**15*b32**2 - 3/2*a11**5*a22*a23
**17*b32**2 - 2001/2*a11**4*a22**18*a23*b32**2 - 2517/2*a11**4*a22**16*a23**3*
b32**2 + 2341/2*a11**4*a22**14*a23**5*b32**2 + 2727/2*a11**4*a22**12*a23**7*b32
**2 - 1121/2*a11**4*a22**10*a23**9*b32**2 - 575/2*a11**4*a22**8*a23**11*b32**2 +
327/2*a11**4*a22**6*a23**13*b32**2 - 83/2*a11**4*a22**4*a23**15*b32**2 + 3*a11
**4*a22**2*a23**17*b32**2 + 1525/4*a11**3*a22**19*a23*b32**2 + 457*a11**3*a22**
17*a23**3*b32**2 - 538*a11**3*a22**15*a23**5*b32**2 - 619*a11**3*a22**13*a23**7*
b32**2 + 469/2*a11**3*a22**11*a23**9*b32**2 + 187*a11**3*a22**9*a23**11*b32**2 -
44*a11**3*a22**7*a23**13*b32**2 + 7*a11**3*a22**5*a23**15*b32**2 - 7/4*a11**3*
a22**3*a23**17*b32**2 - 87*a11**2*a22**20*a23*b32**2 - 106*a11**2*a22**18*a23**3
*b32**2 + 150*a11**2*a22**16*a23**5*b32**2 + 190*a11**2*a22**14*a23**7*b32**2 -
72*a11**2*a22**12*a23**9*b32**2 - 94*a11**2*a22**10*a23**11*b32**2 + 10*a11**2*
a22**8*a23**13*b32**2 + 10*a11**2*a22**6*a23**15*b32**2 - a11**2*a22**4*a23**17*
b32**2 + 9*a11*a22**21*a23*b32**2 + 12*a11*a22**19*a23**3*b32**2 - 20*a11*a22**
17*a23**5*b32**2 - 28*a11*a22**15*a23**7*b32**2 + 14*a11*a22**13*a23**9*b32**2 +
20*a11*a22**11*a23**11*b32**2 - 4*a11*a22**9*a23**13*b32**2 - 4*a11*a22**7*a23
**15*b32**2 + a11*a22**5*a23**17*b32**2) + v3**2*( - 1/8*a11**13*a22**10*b32**2
- 1/4*a11**13*a22**8*a23**2*b32**2 + 1/4*a11**13*a22**4*a23**6*b32**2 + 1/8*a11
**13*a22**2*a23**8*b32**2 + 17/8*a11**12*a22**11*b32**2 + 7/2*a11**12*a22**9*a23
**2*b32**2 - 2*a11**12*a22**7*a23**4*b32**2 - 23/4*a11**12*a22**5*a23**6*b32**2
- 17/8*a11**12*a22**3*a23**8*b32**2 + 1/4*a11**12*a22*a23**10*b32**2 - 129/8*a11
**11*a22**12*b32**2 - 20*a11**11*a22**10*a23**2*b32**2 + 251/8*a11**11*a22**8*
a23**4*b32**2 + 53*a11**11*a22**6*a23**6*b32**2 + 101/8*a11**11*a22**4*a23**8*
b32**2 - 5*a11**11*a22**2*a23**10*b32**2 + 1/8*a11**11*a23**12*b32**2 + 579/8*
a11**10*a22**13*b32**2 + 455/8*a11**10*a22**11*a23**2*b32**2 - 857/4*a11**10*a22
**9*a23**4*b32**2 - 1053/4*a11**10*a22**7*a23**6*b32**2 - 169/8*a11**10*a22**5*
a23**8*b32**2 + 323/8*a11**10*a22**3*a23**10*b32**2 - 3*a11**10*a22*a23**12*b32
**2 - 429/2*a11**9*a22**14*b32**2 - 251/4*a11**9*a22**12*a23**2*b32**2 + 6745/8*
a11**9*a22**10*a23**4*b32**2 + 6317/8*a11**9*a22**8*a23**6*b32**2 - 401/4*a11**9
*a22**6*a23**8*b32**2 - 341/2*a11**9*a22**4*a23**10*b32**2 + 221/8*a11**9*a22**2
*a23**12*b32**2 - 3/8*a11**9*a23**14*b32**2 + 1773/4*a11**8*a22**15*b32**2 - 203
/2*a11**8*a22**13*a23**2*b32**2 - 4269/2*a11**8*a22**11*a23**4*b32**2 - 6033/4*
a11**8*a22**9*a23**6*b32**2 + 2497/4*a11**8*a22**7*a23**8*b32**2 + 408*a11**8*
a22**5*a23**10*b32**2 - 129*a11**8*a22**3*a23**12*b32**2 + 23/4*a11**8*a22*a23**
14*b32**2 - 2625/4*a11**7*a22**16*b32**2 + 1007/2*a11**7*a22**14*a23**2*b32**2 +
29393/8*a11**7*a22**12*a23**4*b32**2 + 7511/4*a11**7*a22**10*a23**6*b32**2 -
12537/8*a11**7*a22**8*a23**8*b32**2 - 560*a11**7*a22**6*a23**10*b32**2 + 2695/8*
a11**7*a22**4*a23**12*b32**2 - 133/4*a11**7*a22**2*a23**14*b32**2 + 3/8*a11**7*
a23**16*b32**2 + 2811/4*a11**6*a22**17*b32**2 - 3683/4*a11**6*a22**15*a23**2*b32
**2 - 17707/4*a11**6*a22**13*a23**4*b32**2 - 6151/4*a11**6*a22**11*a23**6*b32**2
+ 9207/4*a11**6*a22**9*a23**8*b32**2 + 1719/4*a11**6*a22**7*a23**10*b32**2 -
2041/4*a11**6*a22**5*a23**12*b32**2 + 371/4*a11**6*a22**3*a23**14*b32**2 - 7/2*
a11**6*a22*a23**16*b32**2 - 4329/8*a11**5*a22**18*b32**2 + 3995/4*a11**5*a22**16
*a23**2*b32**2 + 30223/8*a11**5*a22**14*a23**4*b32**2 + 6755/8*a11**5*a22**12*
a23**6*b32**2 - 17563/8*a11**5*a22**10*a23**8*b32**2 - 1657/8*a11**5*a22**8*a23
**10*b32**2 + 3613/8*a11**5*a22**6*a23**12*b32**2 - 1055/8*a11**5*a22**4*a23**14
*b32**2 + 11*a11**5*a22**2*a23**16*b32**2 - 1/8*a11**5*a23**18*b32**2 + 2341/8*
a11**4*a22**19*b32**2 - 691*a11**4*a22**17*a23**2*b32**2 - 2272*a11**4*a22**15*
a23**4*b32**2 - 675/2*a11**4*a22**13*a23**6*b32**2 + 5809/4*a11**4*a22**11*a23**
8*b32**2 + 313/2*a11**4*a22**9*a23**10*b32**2 - 243*a11**4*a22**7*a23**12*b32**2
+ 175/2*a11**4*a22**5*a23**14*b32**2 - 111/8*a11**4*a22**3*a23**16*b32**2 + 1/2
*a11**4*a22*a23**18*b32**2 - 845/8*a11**3*a22**20*b32**2 + 601/2*a11**3*a22**18*
a23**2*b32**2 + 1865/2*a11**3*a22**16*a23**4*b32**2 + 113*a11**3*a22**14*a23**6*
b32**2 - 2783/4*a11**3*a22**12*a23**8*b32**2 - 160*a11**3*a22**10*a23**10*b32**2
+ 209/2*a11**3*a22**8*a23**12*b32**2 - 13*a11**3*a22**6*a23**14*b32**2 + 35/8*
a11**3*a22**4*a23**16*b32**2 - 1/2*a11**3*a22**2*a23**18*b32**2 + 183/8*a11**2*
a22**21*b32**2 - 601/8*a11**2*a22**19*a23**2*b32**2 - 477/2*a11**2*a22**17*a23**
4*b32**2 - 57/2*a11**2*a22**15*a23**6*b32**2 + 913/4*a11**2*a22**13*a23**8*b32**
2 + 329/4*a11**2*a22**11*a23**10*b32**2 - 97/2*a11**2*a22**9*a23**12*b32**2 - 21
/2*a11**2*a22**7*a23**14*b32**2 + 31/8*a11**2*a22**5*a23**16*b32**2 - 1/8*a11**2
*a22**3*a23**18*b32**2 - 9/4*a11*a22**22*b32**2 + 33/4*a11*a22**20*a23**2*b32**2
+ 29*a11*a22**18*a23**4*b32**2 + 3*a11*a22**16*a23**6*b32**2 - 75/2*a11*a22**14
*a23**8*b32**2 - 29/2*a11*a22**12*a23**10*b32**2 + 13*a11*a22**10*a23**12*b32**2
+ 3*a11*a22**8*a23**14*b32**2 - 9/4*a11*a22**6*a23**16*b32**2 + 1/4*a11*a22**4*
a23**18*b32**2)$