Solution 1 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2 2
0=a11 + a23 + b12 *kap
Expressions
The solution is given through the following expressions:
1 2
---*m3 *n1*n2*r5207
2
r10=---------------------
3
a23*b12
2 2 2
r11=( - a11 *a23*m3*n2 *n3*r5207 + a11*a23*b12*m3*n2 *n3*r5237
4 1 2 2
+ a23*b12 *kap*m3*n2*r353 - ---*a23*b12 *kap*m3*n2 *n3*r5207
2
1 3 2 3 1 3 2 6
+ ---*b12 *kap *m3 *n2*r5237 - ---*b12 *kap*m3*n2*n3 *r5237)/(a23*b12
2 2
2
*kap )
2
r12=( - a11 *a23*m3*n1*n2*n3*r5207 + a11*a23*b12*m3*n1*n2*n3*r5237
4 1 2
+ a23*b12 *kap*m3*n1*r353 - ---*a23*b12 *kap*m3*n1*n2*n3*r5207
2
1 3 2 3 1 3 2 6
+ ---*b12 *kap *m3 *n1*r5237 - ---*b12 *kap*m3*n1*n3 *r5237)/(a23*b12
2 2
2
*kap )
3 2 3 3 2 2 2 2
r13=(2*a11 *a23*b12*kap *m3 *n1*r5207 - a11 *b12 *kap *m3 *n1 *r5207
3 2 2 2 2 2 3 2
- a11 *b12 *kap *m3 *n2 *r5207 - a11 *a23 *kap*m3 *n2*n3*r5207
2 3 3 1 2 2 2 2
+ a11 *a23 *n2*n3 *r5207 - ---*a11 *a23*b12 *kap *m3 *n2*n3*r5207
2
3 2 3 3 2
+ 2*a11*a23 *b12*kap *m3 *n1*r5207 + a11*a23 *b12*kap*m3 *n2*n3*r5237
3 3 2 2 2 2 2
- a11*a23 *b12*n2*n3 *r5237 - a11*a23 *b12 *kap *m3 *n1 *r5207
2 2 2 2 2 3 3 3
- a11*a23 *b12 *kap *m3 *n2 *r5207 + 2*a11*a23*b12 *kap *m3 *n1*r5207
4 3 2 2 4 3 2 2
- a11*b12 *kap *m3 *n1 *r5207 - a11*b12 *kap *m3 *n2 *r5207
3 4 2 2 3 4 2
+ a23 *b12 *kap *m3 *r353 - a23 *b12 *kap*n3 *r353
3 2 2 2 1 3 2 3
- a23 *b12 *kap *m3 *n2*n3*r5207 + ---*a23 *b12 *kap*n2*n3 *r5207
2
1 2 3 3 4 2 3 2 2 2
+ ---*a23 *b12 *kap *m3 *r5237 - a23 *b12 *kap *m3 *n3 *r5237
2
1 2 3 2 1 2 3 4
+ ---*a23 *b12 *kap *m3*n1*n2*n3*r5207 + ---*a23 *b12 *kap*n3 *r5237
2 2
1 4 3 2 3 6 2
- ---*a23*b12 *kap *m3 *n2*n3*r5207)/(a23 *b12 *kap )
2
2 2 2 2 2 2 3
r14=(a11 *a23 *n2 *n3 *r5207 - a11 *a23*b12*kap *m3 *n1*r5207
1 2 2 2 2 2 2 2 2
+ ---*a11 *b12 *kap *m3 *n1 *r5207 - a11*a23 *b12*n2 *n3 *r5237
2
3 2 3 2 4
- a23 *b12*kap *m3 *n1*r5207 - a23 *b12 *kap*n2*n3*r353
1 2 2 2 2 2 1 2 2 2 2
+ ---*a23 *b12 *kap *m3 *n1 *r5207 + ---*a23 *b12 *kap*n2 *n3 *r5207
2 2
3 3 3 1 3 2 2
- a23*b12 *kap *m3 *n1*r5207 - ---*a23*b12 *kap *m3 *n2*n3*r5237
2
1 3 2 2 1 3 3
+ ---*a23*b12 *kap *m3*n1*n2 *r5207 + ---*a23*b12 *kap*n2*n3 *r5237
2 2
1 4 3 2 2 2 6 2
+ ---*b12 *kap *m3 *n1 *r5207)/(a23 *b12 *kap )
2
2 2 2 1 2 2 2 2
r15=(a11 *a23 *n1*n2*n3 *r5207 - ---*a11 *b12 *kap *m3 *n1*n2*r5207
2
2 2 2 4
- a11*a23 *b12*n1*n2*n3 *r5237 - a23 *b12 *kap*n1*n3*r353
1 2 2 2 2 1 2 2 2
- ---*a23 *b12 *kap *m3 *n1*n2*r5207 + ---*a23 *b12 *kap*n1*n2*n3 *r5207
2 2
1 3 2 2 1 3 2 2
- ---*a23*b12 *kap *m3 *n1*n3*r5237 + ---*a23*b12 *kap *m3*n1 *n2*r5207
2 2
1 3 3 1 4 3 2 2
+ ---*a23*b12 *kap*n1*n3 *r5237 - ---*b12 *kap *m3 *n1*n2*r5207)/(a23
2 2
6 2
*b12 *kap )
1 2 1 2
---*a11*m3 *n2*r5207 - ---*b12*m3 *n2*r5237
2 2
r20=---------------------------------------------
4
b12 *kap
1 2
- ---*m3 *n2*r5207
2
r21=---------------------
2
a23*b12
r22=0
1 2
- ---*m3 *n1*r5207
2
r23=---------------------
2
a23*b12
r24=0
2 2 2
r27=( - 2*a11 *a23 *m3*n2*n3*r5207 + a11 *a23*b12*n1*n2*n3*r5207
2 2
+ 2*a11*a23 *b12*m3*n2*n3*r5237 - a11*a23*b12 *n1*n2*n3*r5237
2 4 2 2
+ 2*a23 *b12 *kap*m3*r353 - a23 *b12 *kap*m3*n2*n3*r5207
5 3 2 3
- a23*b12 *kap*n1*r353 + a23*b12 *kap *m3 *r5237
3 2 1 3
- a23*b12 *kap*m3*n3 *r5237 + ---*a23*b12 *kap*n1*n2*n3*r5207
2
1 4 2 2 1 4 2
- ---*b12 *kap *m3 *n1*r5237 - ---*b12 *kap *m3*n2*n3*r5207
2 2
1 4 2 6 2
+ ---*b12 *kap*n1*n3 *r5237)/(a23*b12 *kap )
2
2 2 2 4
r28=( - a11 *a23*n2 *n3*r5207 + a11*a23*b12*n2 *n3*r5237 + a23*b12 *kap*n2*r353
1 2 2 1 3 2 2
- ---*a23*b12 *kap*n2 *n3*r5207 + ---*b12 *kap *m3 *n2*r5237
2 2
1 3 2 1 3 2 5 2
- ---*b12 *kap *m3*n1*n3*r5207 - ---*b12 *kap*n2*n3 *r5237)/(a23*b12 *kap
2 2
)
3 2 2 3 2 2 2
r29=( - 2*a11 *a23 *n2*n3 *r5207 + a11 *b12 *kap *m3 *n2*r5207
2 3 2 2 2 2
+ a11 *a23 *n2 *n3*r5207 + 2*a11 *a23 *b12*n2*n3 *r5237
3 2 2 4
- a11*a23 *b12*n2 *n3*r5237 + 2*a11*a23 *b12 *kap*n3*r353
2 2 2 2 1 2 2 2
+ a11*a23 *b12 *kap *m3 *n2*r5207 - ---*a11*a23 *b12 *kap*n2*n3 *r5207
2
3 2 2 1 3 2
+ a11*a23*b12 *kap *m3 *n3*r5237 - ---*a11*a23*b12 *kap *m3*n1*n2*r5207
2
3 3 4 3 2
- a11*a23*b12 *kap*n3 *r5237 + a11*b12 *kap *m3 *n2*r5207
3 4 1 3 2 2
- a23 *b12 *kap*n2*r353 + ---*a23 *b12 *kap*n2 *n3*r5207
2
1 2 3 2 2 1 4 3 2
- ---*a23 *b12 *kap *m3 *n2*r5237 - ---*a23*b12 *kap *m3 *n3*r5207
2 2
1 4 2 3 2 6 2
+ ---*a23*b12 *kap *n3 *r5207)/(a23 *b12 *kap )
2
2 2
r210=( - a11 *a23*n1*n2*n3*r5207 + a11*a23*b12*kap*m3*n2 *r5207
4
+ a11*a23*b12*n1*n2*n3*r5237 + a23*b12 *kap*n1*r353
2 2 1 2
- a23*b12 *kap*m3*n2 *r5237 - ---*a23*b12 *kap*n1*n2*n3*r5207
2
1 3 2 2 1 3 2
+ ---*b12 *kap *m3 *n1*r5237 + ---*b12 *kap *m3*n2*n3*r5207
2 2
1 3 2 5 2
- ---*b12 *kap*n1*n3 *r5237)/(a23*b12 *kap )
2
3 2 2 2
r211=( - 2*a11 *a23 *m3*n2*n3*r5207 + 2*a11 *a23 *b12*m3*n2*n3*r5237
2 2 2 3 1 2 3 2 2
+ a11 *a23*b12 *kap *m3 *r5207 - ---*a11 *b12 *kap *m3 *n1*r5207
2
2 4 2 2
+ 2*a11*a23 *b12 *kap*m3*r353 - 2*a11*a23 *b12 *kap*m3*n2*n3*r5207
3 2 3 3 2
+ a11*a23*b12 *kap *m3 *r5237 - a11*a23*b12 *kap*m3*n3 *r5237
3 2 2 3 1 2 3 2 2
+ a23 *b12 *kap *m3 *r5207 - ---*a23 *b12 *kap *m3 *n1*r5207
2
2 3 3 4 3 3
+ a23 *b12 *kap*m3*n2*n3*r5237 + ---*a23*b12 *kap *m3 *r5207
2
1 4 2 2 1 4 2 2
- ---*a23*b12 *kap *m3*n2 *r5207 - ---*a23*b12 *kap *m3*n3 *r5207
2 2
1 5 3 2 2 6 2
- ---*b12 *kap *m3 *n1*r5207)/(a23 *b12 *kap )
2
1 2 3 2
r212=(---*a11 *m3*n1*n2*r5207 - ---*a23 *m3*n1*n2*r5207
4 4
1 2 3 2
+ ---*b12 *kap*m3*n1*n2*r5207)/(a23 *b12 )
4
2 2 2 2 2 2 2
r213=(2*a11 *a23 *n2*n3 *r5207 - a11 *b12 *kap *m3 *n2*r5207
2 2 2 2
- 2*a11*a23 *b12*n2*n3 *r5237 + a11*a23*b12 *kap*n2 *n3*r5207
2 4 2 2 2 2
- 2*a23 *b12 *kap*n3*r353 - a23 *b12 *kap *m3 *n2*r5207
2 2 2 3 2 2
+ a23 *b12 *kap*n2*n3 *r5207 - a23*b12 *kap *m3 *n3*r5237
3 2 3 2
+ a23*b12 *kap *m3*n1*n2*r5207 - a23*b12 *kap*n2 *n3*r5237
3 3 3 4 3 2
+ a23*b12 *kap*n3 *r5237 - ---*b12 *kap *m3 *n2*r5207
2
4 2 2 6 2
+ b12 *kap *n2*n3 *r5207)/(a23*b12 *kap )
2 2 2 2 2
r214=(a11 *a23 *n2 *n3*r5207 - a11*a23 *b12*n2 *n3*r5237
1 2 3 1 3 2
+ ---*a11*a23*b12 *kap*n2 *r5207 + ---*a11*b12 *kap *m3*n1*n2*r5207
2 2
2 4 1 2 2 2
- a23 *b12 *kap*n2*r353 + ---*a23 *b12 *kap*n2 *n3*r5207
2
1 3 2 2 1 3 3
- ---*a23*b12 *kap *m3 *n2*r5237 - ---*a23*b12 *kap*n2 *r5237
2 2
1 3 2 1 4 2 2 6
+ ---*a23*b12 *kap*n2*n3 *r5237 + ---*b12 *kap *n2 *n3*r5207)/(a23*b12
2 2
2
*kap )
2 2
r215=(a11 *a23*n2 *n3*r5207 + a11*a23*b12*kap*m3*n1*n2*r5207
2 4
- a11*a23*b12*n2 *n3*r5237 - a23*b12 *kap*n2*r353
2 1 2 2
- a23*b12 *kap*m3*n1*n2*r5237 + ---*a23*b12 *kap*n2 *n3*r5207
2
1 3 2 2 1 3 2
- ---*b12 *kap *m3 *n2*r5237 + ---*b12 *kap *m3*n1*n3*r5207
2 2
1 3 2 5 2
+ ---*b12 *kap*n2*n3 *r5237)/(a23*b12 *kap )
2
3 2
r217=( - 2*a11 *a23*m3*n2*n3*r5207 + 2*a11 *a23*b12*m3*n2*n3*r5237
2 2 2 3 4
+ a11 *b12 *kap *m3 *r5207 + 2*a11*a23*b12 *kap*m3*r353
2 3 2 3
- 2*a11*a23*b12 *kap*m3*n2*n3*r5207 + a11*b12 *kap *m3 *r5237
3 2 2 2 2 3
- a11*b12 *kap*m3*n3 *r5237 + a23 *b12 *kap *m3 *r5207
3 3 4 3 3
+ a23*b12 *kap*m3*n2*n3*r5237 + ---*b12 *kap *m3 *r5207
2
1 4 2 2 1 4 2 2 6 2
- ---*b12 *kap *m3*n1 *r5207 - ---*b12 *kap *m3*n3 *r5207)/(a23*b12 *kap
2 2
)
r218=(a11*a23*n1*n2*n3*r5207 - a23*b12*n1*n2*n3*r5237
1 2 2 2 2 2 4
- ---*b12 *kap *m3 *n1*r5207 + b12 *kap*n1*n3 *r5207)/(a23*b12 *kap)
2
2 2 2
a11*a23*n1*n2 *r5207 - a23*b12*n1*n2 *r5237 + b12 *kap*n1*n2*n3*r5207
r219=-----------------------------------------------------------------------
4
a23*b12 *kap
2 2 2 2 2
r220=(a11 *a23 *n2 *n3*r5207 - a11*a23 *b12*n2 *n3*r5237
1 2 2 1 3 2
+ ---*a11*a23*b12 *kap*n1 *n2*r5207 + ---*a11*b12 *kap *m3*n1*n2*r5207
2 2
2 4 1 2 2 2
- a23 *b12 *kap*n2*r353 + ---*a23 *b12 *kap*n2 *n3*r5207
2
1 3 2 2 1 3 2
- ---*a23*b12 *kap *m3 *n2*r5237 - ---*a23*b12 *kap*n1 *n2*r5237
2 2
1 3 2 1 4 2 2 6
+ ---*a23*b12 *kap*n2*n3 *r5237 + ---*b12 *kap *n1 *n3*r5207)/(a23*b12
2 2
2
*kap )
r30=0
1 1
---*a11*m3*n2*r5207 - ---*b12*m3*n2*r5237
2 2
r31=-------------------------------------------
2
a23*b12 *kap
r32=0
1 1
---*a11*m3*n2*r5207 - ---*b12*m3*n2*r5237
2 2
r33=-------------------------------------------
2
a23*b12 *kap
1 1
---*a11*m3*n1*r5207 - ---*b12*m3*n1*r5237
2 2
r34=-------------------------------------------
2
a23*b12 *kap
r35=0
1 1
---*a11*m3*n1*r5207 - ---*b12*m3*n1*r5237
2 2
r36=-------------------------------------------
2
a23*b12 *kap
r37=0
1 1
---*a11*m3*n2*r5207 - ---*b12*m3*n2*r5237
2 2
r38=-------------------------------------------
2
a23*b12 *kap
1 1
---*a11*m3*n1*r5207 - ---*b12*m3*n1*r5237
2 2
r39=-------------------------------------------
2
a23*b12 *kap
2
r310=(a11 *a23*n2*n3*r5207 - a11*a23*b12*n2*n3*r5237
1 2 2 2 1 2 2
- ---*a11*b12 *kap *m3 *r5207 - ---*a11*b12 *kap*n3 *r5207
2 2
4 1 2 3 2 2
- a23*b12 *kap*r353 + ---*a23*b12 *kap*n2*n3*r5207 - b12 *kap *m3 *r5237
2
3 2 4 2
+ b12 *kap*n3 *r5237)/(a23*b12 *kap )
2 1
- a23*kap*m3 *r5207 + a23*m3*n2*r5159 + ---*b12*kap*m3*n1*r5207
2
r311=------------------------------------------------------------------
2
a23*b12 *kap
2
r312=(a11 *a23*n2*n3*r5207 - a11*a23*b12*n2*n3*r5237
1 2 2 2 1 2 2
+ ---*a11*b12 *kap *m3 *r5207 - ---*a11*b12 *kap*n3 *r5207
2 2
4 1 2 3 2 2
- a23*b12 *kap*r353 + ---*a23*b12 *kap*n2*n3*r5207 - b12 *kap *m3 *r5237
2
3 2 4 2
+ b12 *kap*n3 *r5237)/(a23*b12 *kap )
1
a23*m3*n1*r5159 - ---*b12*kap*m3*n2*r5207
2
r313=-------------------------------------------
2
a23*b12 *kap
r314=0
2
r315=(a11 *a23*n2*n3*r5207 - a11*a23*b12*n2*n3*r5237
1 2 2 2 1 2 2
+ ---*a11*b12 *kap *m3 *r5207 - ---*a11*b12 *kap*n3 *r5207
2 2
4 1 2 3 2 2
- a23*b12 *kap*r353 + ---*a23*b12 *kap*n2*n3*r5207 - b12 *kap *m3 *r5237
2
3 2 4 2
+ b12 *kap*n3 *r5237)/(a23*b12 *kap )
2 2 1 2 2
r316=( - a11 *a23 *m3*n2*r5207 + ---*a11 *b12 *kap*m3*n2*r5207
2
2 2
+ a11*a23 *b12*m3*n2*r5237 - 2*a11*a23*b12 *kap*m3*n3*r5207
2 2 2 2 2
+ a23 *b12 *kap*m3 *r5159 + a23 *b12 *kap*m3*n2*r5207
2 2 2 1 4 2 2 4
- a23 *b12 *n3 *r5159 + ---*b12 *kap *m3*n2*r5207)/(a23 *b12 *kap)
2
r317
1 1
a11*m3*n2*r5207 - a23*m3*n3*r5207 - ---*b12*m3*n2*r5237 + ---*b12*n1*n3*r5207
2 2
=-------------------------------------------------------------------------------
2
a23*b12
2 2 2
r318=( - 2*a11 *a23 *n2*n3*r5207 + 2*a11*a23 *b12*n2*n3*r5237
3 2 2 4
+ a11*b12 *kap *m3*n1*r5207 + 2*a23 *b12 *kap*r353
2 2 3 2 2
- a23 *b12 *kap*n2*n3*r5207 + a23*b12 *kap *m3 *r5237
3 2 1 4 2
- a23*b12 *kap*n3 *r5237 - ---*b12 *kap *m3*n1*r5237
2
1 4 2 5 2
- ---*b12 *kap *n2*n3*r5207)/(a23*b12 *kap )
2
2
r319=( - 2*a11 *a23*n2*n3*r5207 + 2*a11*a23*b12*n2*n3*r5237
2 2 2 2 2 4
+ a11*b12 *kap *m3 *r5207 - 2*a11*b12 *kap*n3 *r5207 + a23*b12 *kap*r353)
4
/(a23*b12 *kap)
1 1 1
- ---*a11*n2*n3*r5207 - ---*b12*kap*m3*n1*r5207 + ---*b12*n2*n3*r5237
2 2 2
r320=------------------------------------------------------------------------
2
a23*b12 *kap
2
- 2*a11*m3 *r5207
r321=--------------------
2
a23*b12
1 1
- ---*a11*n2*n3*r5207 + a23*m3*n2*r5159 + ---*b12*n2*n3*r5237
2 2
r322=----------------------------------------------------------------
2
a23*b12 *kap
- a11*m3*n2*r5207 + b12*m3*n2*r5237
r323=--------------------------------------
3
b12 *kap
1
a23*m3*n1*r5159 + ---*b12*kap*m3*n2*r5207
2
r324=-------------------------------------------
2
a23*b12 *kap
1 1 1
- ---*a11*n2*n3*r5207 + ---*b12*kap*m3*n1*r5207 + ---*b12*n2*n3*r5237
2 2 2
r325=------------------------------------------------------------------------
2
a23*b12 *kap
2 2 2
r326=(2*a11*a23 *m3*n2*r5207 - a11*b12 *kap*m3*n2*r5207 - 2*a23 *b12*m3*n2*r5237
2 2
+ a23*b12 *kap*m3*n3*r5207 - a23*b12 *n2*n3*r5159
1 3 4
- ---*b12 *kap*n1*n3*r5207)/(a23*b12 *kap)
2
1 2 2 2
r327=(---*a11 *kap*m3*n2*r5207 - 2*a11*a23*kap*m3*n3*r5207 + a23 *kap*m3 *r5159
2
3 2 2 2 1
- ---*a23 *kap*m3*n2*r5207 - a23 *n3 *r5159 + ---*a23*b12*kap*n1*n2*r5207
2 2
1 2 2 2 2
+ ---*b12 *kap *m3*n2*r5207)/(a23 *b12 *kap)
2
3 2
r328=( - 2*a11 *a23*n2*n3*r5207 + 2*a11 *a23*b12*n2*n3*r5237
2 2 2 2 4
+ a11 *b12 *kap *m3 *r5207 + 2*a11*a23*b12 *kap*r353
2 3 2 2
- 2*a11*a23*b12 *kap*n2*n3*r5207 + a11*b12 *kap *m3 *r5237
3 2 2 2 2 2
- a11*b12 *kap*n3 *r5237 + a23 *b12 *kap *m3 *r5207
3 2 3
- a23*b12 *kap *m3*n1*r5207 + a23*b12 *kap*n2*n3*r5237
3 4 3 2 1 4 2 2
+ ---*b12 *kap *m3 *r5207 - ---*b12 *kap *n2 *r5207
2 2
1 4 2 2 5 2
- ---*b12 *kap *n3 *r5207)/(a23*b12 *kap )
2
2 2 2 2
r329=( - a11 *a23*n2 *r5207 + 2*a11*a23 *n2*n3*r5207 + a11*a23*b12*n2 *r5237
2 2
- 2*a11*b12 *kap*n2*n3*r5207 - 2*a23 *b12*n2*n3*r5237
2 2 2 1 2 2
- a23*b12 *kap *m3 *r5207 + ---*a23*b12 *kap*n2 *r5207
2
2 2 1 3 4
+ 2*a23*b12 *kap*n3 *r5207 + ---*b12 *kap*n2*n3*r5237)/(a23*b12 *kap)
2
2
r330=(a11 *a23*m3*n2*r5207 - a11*a23*b12*m3*n2*r5237
1 2 1 3 4
+ ---*a23*b12 *kap*m3*n2*r5207 - ---*b12 *kap*n1*n2*r5207)/(a23*b12 *kap)
2 2
1
- 2*a11*kap*m3*n2*r5207 - a23*n2*n3*r5159 - ---*b12*kap*m3*n2*r5237
2
r331=----------------------------------------------------------------------
2
a23*b12 *kap
2 2 1 2
r332=( - a11*a23*n2 *r5207 + a23*b12*n2 *r5237 - ---*b12 *kap*m3*n1*r5237
2
1 2 3
- ---*b12 *kap*n2*n3*r5207)/(a23*b12 *kap)
2
2 2 4
r333=(2*a11*a23*n2 *r5207 - 2*a23*b12*n2 *r5237 + b12 *kap*r353
2 4
+ 2*b12 *kap*n2*n3*r5207)/(b12 *kap)
2 2 2 1 2 2
r334=(a11 *a23*n2 *r5207 - a11*a23*b12*n2 *r5237 + ---*a23*b12 *kap*n2 *r5207
2
1 3 4
+ ---*b12 *kap*n2*n3*r5237)/(a23*b12 *kap)
2
1 1 1
- ---*a11*n1*n3*r5207 + ---*b12*kap*m3*n2*r5207 + ---*b12*n1*n3*r5237
2 2 2
r335=------------------------------------------------------------------------
2
a23*b12 *kap
a11*m3*n2*r5207 - b12*m3*n2*r5237
r336=-----------------------------------
3
b12 *kap
1 1 1
- ---*a11*n1*n3*r5207 - ---*b12*kap*m3*n2*r5207 + ---*b12*n1*n3*r5237
2 2 2
r337=------------------------------------------------------------------------
2
a23*b12 *kap
2
- 2*a11*m3 *r5207
r338=--------------------
2
a23*b12
1
a23*m3*n2*r5159 - ---*b12*kap*m3*n1*r5207
2
r339=-------------------------------------------
2
a23*b12 *kap
1 1
- ---*a11*n1*n3*r5207 + a23*m3*n1*r5159 + ---*b12*n1*n3*r5237
2 2
r340=----------------------------------------------------------------
2
a23*b12 *kap
2 2 2
r341=(2*a11 *a23 *n2*n3*r5207 - 2*a11*a23 *b12*n2*n3*r5237
3 2 2 4
- a11*b12 *kap *m3*n1*r5207 - 2*a23 *b12 *kap*r353
2 2 3 2 2
+ a23 *b12 *kap*n2*n3*r5207 - a23*b12 *kap *m3 *r5237
3 3 2
- a23*b12 *kap*n1*n3*r5159 + a23*b12 *kap*n3 *r5237
1 4 2 5 2
+ ---*b12 *kap *n2*n3*r5207)/(a23*b12 *kap )
2
3 2
r342=(2*a11 *a23*n2*n3*r5207 - 2*a11 *a23*b12*n2*n3*r5237
2 2 2 2 4
- a11 *b12 *kap *m3 *r5207 - 2*a11*a23*b12 *kap*r353
2 3 2 2
+ 2*a11*a23*b12 *kap*n2*n3*r5207 - a11*b12 *kap *m3 *r5237
3 2 2 2 2 2
+ a11*b12 *kap*n3 *r5237 - a23 *b12 *kap *m3 *r5207
3 2 3
- a23*b12 *kap *m3*n1*r5207 - a23*b12 *kap*n2*n3*r5237
3 4 3 2 1 4 2 2
- ---*b12 *kap *m3 *r5207 + ---*b12 *kap *n1 *r5207
2 2
1 4 2 2 5 2
+ ---*b12 *kap *n3 *r5207)/(a23*b12 *kap )
2
1 2 2 2
r343=(---*a11 *kap*m3*n2*r5207 - 2*a11*a23*kap*m3*n3*r5207 + a23 *kap*m3 *r5159
2
1 2 2 2 1
+ ---*a23 *kap*m3*n2*r5207 - a23 *n3 *r5159 - ---*a23*b12*kap*n1*n2*r5207
2 2
1 2 2 2 2
+ ---*b12 *kap *m3*n2*r5207)/(a23 *b12 *kap)
2
2
r344=( - a11 *a23*n1*n2*r5207 + a11*a23*b12*n1*n2*r5237
2 1 2
- 2*a11*b12 *kap*n1*n3*r5207 + ---*a23*b12 *kap*n1*n2*r5207
2
1 3 4
+ ---*b12 *kap*n1*n3*r5237)/(a23*b12 *kap)
2
1 2 1 2
- ---*n1 *r5207 + ---*n2 *r5207
2 2
r345=----------------------------------
a23*b12
2
r346=(a11*a23*n2 *r5207 - 2*a11*b12*kap*m3*n1*r5207 - a23*b12*n1*n3*r5159
2 1 2 3
- a23*b12*n2 *r5237 + ---*b12 *kap*n2*n3*r5207)/(a23*b12 *kap)
2
r347=( - a11*a23*n1*n2*r5207 - 2*a11*b12*kap*m3*n2*r5207 + a23*b12*n1*n2*r5237
1 2 3
- a23*b12*n2*n3*r5159 - ---*b12 *kap*n1*n3*r5207)/(a23*b12 *kap)
2
2
2*a11*a23*n1*n2*r5207 - 2*a23*b12*n1*n2*r5237 + 2*b12 *kap*n1*n3*r5207
r348=------------------------------------------------------------------------
4
b12 *kap
2
r349=(a11 *a23*n1*n2*r5207 - a11*a23*b12*n1*n2*r5237
1 2 1 3 4
+ ---*a23*b12 *kap*n1*n2*r5207 + ---*b12 *kap*n1*n3*r5237)/(a23*b12 *kap)
2 2
2
r350=(a11 *a23*m3*n2*r5207 - a11*a23*b12*m3*n2*r5237
1 2 1 3 4
+ ---*a23*b12 *kap*m3*n2*r5207 + ---*b12 *kap*n1*n2*r5207)/(a23*b12 *kap)
2 2
1 2
r351=(a11*a23*n1*n2*r5207 - a23*b12*n1*n2*r5237 - ---*b12 *kap*m3*n2*r5237
2
1 2 3
+ ---*b12 *kap*n1*n3*r5207)/(a23*b12 *kap)
2
1
- 2*a11*kap*m3*n1*r5207 - a23*n1*n3*r5159 - ---*b12*kap*m3*n1*r5237
2
r352=----------------------------------------------------------------------
2
a23*b12 *kap
2 2 2 1 2 2
r354=(a11 *a23*n2 *r5207 - a11*a23*b12*n2 *r5237 + ---*a23*b12 *kap*n2 *r5207
2
1 3 4
+ ---*b12 *kap*n2*n3*r5237)/(a23*b12 *kap)
2
2
r355=(a11 *a23*n1*n2*r5207 - a11*a23*b12*n1*n2*r5237
1 2 1 3 4
+ ---*a23*b12 *kap*n1*n2*r5207 + ---*b12 *kap*n1*n3*r5237)/(a23*b12 *kap)
2 2
r40=0
r41=0
r42=0
r43=0
r44=0
r45=0
r46=0
r47=0
r48=0
r49=0
r410=0
r411=0
r412=0
r413=0
r415=0
r416=
1 1 2
a11*a23*m3*r5207 - ---*a11*b12*n1*r5207 - a23*b12*m3*r5237 + ---*b12 *n1*r5237
2 2
--------------------------------------------------------------------------------
2
a23*b12 *kap
r417=0
r418=
1 1 2
a11*a23*m3*r5207 - ---*a11*b12*n1*r5207 - a23*b12*m3*r5237 + ---*b12 *n1*r5237
2 2
--------------------------------------------------------------------------------
2
a23*b12 *kap
1 1
---*a11*n2*r5207 - ---*b12*n2*r5237
2 2
r419=-------------------------------------
a23*b12*kap
r420=0
1 1
---*a11*n2*r5207 - ---*b12*n2*r5237
2 2
r421=-------------------------------------
a23*b12*kap
r423=
1 1 2
a11*a23*m3*r5207 - ---*a11*b12*n1*r5207 - a23*b12*m3*r5237 + ---*b12 *n1*r5237
2 2
--------------------------------------------------------------------------------
2
a23*b12 *kap
1 1
---*a11*n2*r5207 - ---*b12*n2*r5237
2 2
r424=-------------------------------------
a23*b12*kap
2*a23*m3*r5159 - b12*n1*r5159
r426=-------------------------------
2
b12 *kap
2 1
r427=(a11 *n3*r5207 - ---*a11*a23*n2*r5207 - a11*b12*n3*r5237
2
1 1 2 2
+ ---*a23*b12*n2*r5237 + ---*b12 *kap*n3*r5207)/(a23*b12 *kap)
2 2
- kap*m3*r5207 + n2*r5159
r428=----------------------------
b12*kap
r429=0
2 1
r430=(a11 *n3*r5207 - ---*a11*a23*n2*r5207 - a11*b12*n3*r5237
2
1 1 2 2
+ ---*a23*b12*n2*r5237 + ---*b12 *kap*n3*r5207)/(a23*b12 *kap)
2 2
r431
2 2 2 2
2*a11*a23*n3*r5159 - a23 *kap*m3*r5207 - a23 *n2*r5159 - 2*b12 *kap *m3*r5207
=-------------------------------------------------------------------------------
2
a23*b12 *kap
r432
1 2
2*a11*a23*m3*r5207 - a11*b12*n1*r5207 - a23*b12*m3*r5237 + ---*b12 *n1*r5237
2
=------------------------------------------------------------------------------
2
a23*b12
1
a11*n2*r5207 - a23*n3*r5207 - ---*b12*n2*r5237
2
r433=------------------------------------------------
a23*b12
1 3 1 2
r434=(---*a11 *a23*n2*r5207 - ---*a11 *a23*b12*n2*r5237
2 2
5 2 2 2
+ ---*a11 *b12 *kap*n3*r5207 - a11*a23*b12 *kap*n2*r5207
2
3 1 2 2
- a11*b12 *kap*n3*r5237 + ---*a23 *b12 *kap*n3*r5207
2
1 3 4
+ ---*a23*b12 *kap*n2*r5237)/(a23*b12 *kap)
2
1 1
---*a11*n1*r5207 - ---*b12*n1*r5237
2 2
r435=-------------------------------------
a23*b12*kap
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r436=----------------------------------------------------------
2
a23*b12 *kap
1 1
---*a11*n1*r5207 - ---*b12*n1*r5237
2 2
r437=-------------------------------------
a23*b12*kap
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r438=----------------------------------------------------------
2
a23*b12 *kap
r439=0
r440=0
r441=0
1 1
---*a11*n1*r5207 - ---*b12*n1*r5237
2 2
r442=-------------------------------------
a23*b12*kap
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r443=----------------------------------------------------------
2
a23*b12 *kap
r444=0
r445=( - a11*a23*n3*r5207 + a23*b12*n1*r5159 + a23*b12*n3*r5237
1 2 2
+ ---*b12 *kap*n2*r5207)/(a23*b12 *kap)
2
2
r446=( - 2*a11 *n3*r5207 + 2*a11*a23*m3*r5159 + a11*a23*n2*r5207
2 2
+ 2*a11*b12*n3*r5237 - a23*b12*n2*r5237 - b12 *kap*n3*r5207)/(a23*b12
*kap)
2
r447=( - a11*a23*n3*r5207 + 2*a23 *m3*r5159 - a23*b12*n1*r5159
1 2 2
+ a23*b12*n3*r5237 + ---*b12 *kap*n2*r5207)/(a23*b12 *kap)
2
r448=0
1
a23*kap*m3*r5207 + a23*n2*r5159 - ---*b12*kap*n1*r5207
2
r449=--------------------------------------------------------
a23*b12*kap
2
- a11*a23*n3*r5207 + a23*b12*n3*r5237 + b12 *kap*n2*r5207
r450=------------------------------------------------------------
2
a23*b12 *kap
2
r451=( - 2*a11*a23*kap*m3*r5207 + a11*b12*kap*n1*r5207 - 2*a23 *n3*r5159
1 2 2
- ---*b12 *kap*n1*r5237)/(a23*b12 *kap)
2
2
r452=(2*a11 *kap*m3*r5207 + 2*a11*a23*n3*r5159 - a11*b12*kap*m3*r5237
2 2
- 3*a23 *kap*m3*r5207 - a23 *n2*r5159 + a23*b12*kap*n1*r5207
3 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
2 5 2
a11 *n2*r5207 - a11*b12*n2*r5237 - ---*b12 *kap*n2*r5207
2
r453=----------------------------------------------------------
3
b12 *kap
2 2 2
r454=( - 2*a11 *a23 *n2*r5207 + 2*a11*a23 *b12*n2*r5237
2 2 2
- 4*a11*a23*b12 *kap*n3*r5207 + a23 *b12 *kap*n2*r5207
3 1 4 2 4
+ a23*b12 *kap*n3*r5237 - ---*b12 *kap *n2*r5207)/(a23*b12 *kap)
2
1 1
- ---*a11*n2*r5207 + ---*b12*n2*r5237
2 2
r455=----------------------------------------
2
b12 *kap
n1*r5159
r456=----------
b12*kap
2
r457=( - a11 *n3*r5207 + 2*a11*a23*m3*r5159 + a11*b12*n3*r5237
1 2 2
- ---*b12 *kap*n3*r5207)/(a23*b12 *kap)
2
1
---*n1*r5207
2
r458=--------------
a23
2*a11*m3*r5207
r459=----------------
a23*b12
r460=0
a23*kap*m3*r5207 - a23*n2*r5159 - b12*kap*n1*r5207
r461=----------------------------------------------------
2
b12 *kap
2
r462=( - 4*a11*a23*kap*m3*r5207 - 2*a23 *n3*r5159 - a23*b12*kap*m3*r5237
1 2 2
+ ---*b12 *kap*n1*r5237)/(a23*b12 *kap)
2
2 2 2
r463=( - 2*a11*a23 *n2*r5207 - a11*b12 *kap*n2*r5207 + 2*a23 *b12*n2*r5237
2 1 3 3
- a23*b12 *kap*n3*r5207 - ---*b12 *kap*n2*r5237)/(a23*b12 *kap)
2
3 2 2 2
r464=( - a11 *a23*n2*r5207 + a11 *a23*b12*n2*r5237 + a11 *b12 *kap*n3*r5207
3 2 3
+ 2*a11*a23 *n2*r5207 - a11*a23*b12 *kap*n2*r5207 - a11*b12 *kap*n3*r5237
3 2 2 3
- 2*a23 *b12*n2*r5237 + 3*a23 *b12 *kap*n3*r5207 + a23*b12 *kap*n2*r5237
1 4 2 4
+ ---*b12 *kap *n3*r5207)/(a23*b12 *kap)
2
1
- ---*n1*r5237
2
r465=-----------------
a23
2 2
r466=( - a11 *kap*m3*r5207 - a11*b12*kap*m3*r5237 - a23 *n2*r5159
1 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
2 1 2
- a11 *n2*r5207 + a11*b12*n2*r5237 - ---*b12 *kap*n2*r5207
2
r467=-------------------------------------------------------------
3
b12 *kap
2 2 2 2 2
r468=(2*a11 *a23 *n2*r5207 - 2*a11*a23 *b12*n2*r5237 + a23 *b12 *kap*n2*r5207
3 1 4 2 4
+ a23*b12 *kap*n3*r5237 - ---*b12 *kap *n2*r5207)/(a23*b12 *kap)
2
1 3 1 2 1 3
---*a11 *n2*r5207 - ---*a11 *b12*n2*r5237 + ---*b12 *kap*n2*r5237
2 2 2
r469=-------------------------------------------------------------------
4
b12 *kap
1 1
- ---*a11*n2*r5207 + ---*b12*n2*r5237
2 2
r470=----------------------------------------
a23*b12*kap
r471=0
1 1
- ---*a11*n2*r5207 + ---*b12*n2*r5237
2 2
r472=----------------------------------------
a23*b12*kap
r473=0
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r474=----------------------------------------------------------
2
a23*b12 *kap
r475=0
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r476=----------------------------------------------------------
2
a23*b12 *kap
1 1
- ---*a11*n2*r5207 + ---*b12*n2*r5237
2 2
r477=----------------------------------------
a23*b12*kap
2 1 2
a11 *m3*r5207 - a11*b12*m3*r5237 - ---*b12 *kap*m3*r5207
2
r479=----------------------------------------------------------
2
a23*b12 *kap
1
a23*kap*m3*r5207 - a23*n2*r5159 + ---*b12*kap*n1*r5207
2
r480=--------------------------------------------------------
a23*b12*kap
- a23*m3*r5207 + b12*n1*r5207
r482=--------------------------------
a23*b12
2
r483=( - 2*a11 *n3*r5207 + 2*a11*a23*m3*r5159 + a11*a23*n2*r5207
2 2
+ 2*a11*b12*n3*r5237 - a23*b12*n2*r5237 - b12 *kap*n3*r5207)/(a23*b12
*kap)
2 1 2
2*a23 *m3*r5159 - a23*b12*n1*r5159 - ---*b12 *kap*n2*r5207
2
r484=------------------------------------------------------------
2
a23*b12 *kap
1
a23*n2*r5159 + ---*b12*kap*n1*r5207
2
r485=-------------------------------------
a23*b12*kap
1
- a11*n2*r5207 + a23*n3*r5207 + ---*b12*n2*r5237
2
r486=---------------------------------------------------
a23*b12
2 1 2
- a11 *n2*r5207 + a11*b12*n2*r5237 + ---*b12 *kap*n2*r5207
2
r487=-------------------------------------------------------------
3
b12 *kap
2
r488=(2*a11 *kap*m3*r5207 + 2*a11*a23*n3*r5159 - a11*b12*kap*m3*r5237
2 2
- a23 *kap*m3*r5207 - a23 *n2*r5159 - a23*b12*kap*n1*r5207
3 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
1
- ---*kap*n1*r5207
2
r489=---------------------
a23
r490=0
1
- a23*n2*r5159 - ---*b12*kap*n1*r5207
2
r491=----------------------------------------
a23*b12*kap
- 2*a11*m3*r5207
r492=-------------------
a23*b12
1
a23*n1*r5159 - ---*b12*kap*n2*r5207
2
r493=-------------------------------------
a23*b12*kap
2
r494=( - 2*a11 *n3*r5207 + 4*a11*a23*m3*r5159 + 2*a11*b12*n3*r5237
2 2
- b12 *kap*n3*r5207)/(a23*b12 *kap)
2*a11*m3*r5207
r495=----------------
a23*b12
2*n2*r5207
r496=------------
b12
2 2 2
r497=(2*a11*a23 *n2*r5207 + a11*b12 *kap*n2*r5207 - 2*a23 *b12*n2*r5237
2 3
+ a23*b12 *kap*n3*r5207)/(a23*b12 *kap)
2
- 4*a11*a23*kap*m3*r5207 - a11*b12*kap*n1*r5207 - 2*a23 *n3*r5159
r498=--------------------------------------------------------------------
2
a23*b12 *kap
r499=0
1
---*n2*r5237
2
r4100=--------------
a23
2 1 2
a11 *n2*r5207 - a11*b12*n2*r5237 + ---*b12 *kap*n2*r5207
2
r4101=----------------------------------------------------------
3
b12 *kap
2 2
r4102=( - a11 *kap*m3*r5207 - a11*b12*kap*m3*r5237 - a23 *n2*r5159
1 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
1
- ---*kap*n1*r5207
2
r4103=---------------------
a23
r4104=0
1 1
- ---*a11*n2*r5207 + ---*b12*n2*r5237
2 2
r4105=----------------------------------------
2
b12 *kap
1
---*n2*r5207
2
r4106=--------------
a23
- n2*r5159
r4108=-------------
b12*kap
- 2*a11*m3*r5207
r4109=-------------------
a23*b12
2
r4110=( - a11 *n3*r5207 + 2*a11*a23*m3*r5159 + a11*b12*n3*r5237
1 2 2
- ---*b12 *kap*n3*r5207)/(a23*b12 *kap)
2
a23*kap*m3*r5207 - a23*n2*r5159 + b12*kap*n1*r5207
r4111=----------------------------------------------------
2
b12 *kap
1
a11*n1*r5207 - a23*m3*r5237 + ---*b12*n1*r5237
2
r4112=------------------------------------------------
a23*b12
1
- ---*n2*r5237
2
r4113=-----------------
a23
3 2 2 2
r4114=( - a11 *a23*n2*r5207 + a11 *a23*b12*n2*r5237 + a11 *b12 *kap*n3*r5207
2 3
- a11*a23*b12 *kap*n2*r5207 - a11*b12 *kap*n3*r5237
2 2 3
+ a23 *b12 *kap*n3*r5207 + a23*b12 *kap*n2*r5237
1 4 2 4
+ ---*b12 *kap *n3*r5207)/(a23*b12 *kap)
2
1
- ---*n1*r5237
2
r4115=-----------------
a23
2 2
r4116=( - a11 *kap*m3*r5207 - a11*b12*kap*m3*r5237 - a23 *n2*r5159
1 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
2 1 2
- a11 *n2*r5207 + a11*b12*n2*r5237 - ---*b12 *kap*n2*r5207
2
r4117=-------------------------------------------------------------
3
b12 *kap
2 2 2 2 2
r4118=(2*a11 *a23 *n2*r5207 - 2*a11*a23 *b12*n2*r5237 + a23 *b12 *kap*n2*r5207
3 1 4 2 4
+ a23*b12 *kap*n3*r5237 - ---*b12 *kap *n2*r5207)/(a23*b12 *kap)
2
3 2 3
a11 *n2*r5207 - a11 *b12*n2*r5237 + b12 *kap*n2*r5237
r4119=-------------------------------------------------------
4
b12 *kap
1
---*n2*r5237
2
r4120=--------------
a23
2 1 2
a11 *n2*r5207 - a11*b12*n2*r5237 + ---*b12 *kap*n2*r5207
2
r4121=----------------------------------------------------------
3
b12 *kap
2 2
r4122=( - a11 *kap*m3*r5207 - a11*b12*kap*m3*r5237 - a23 *n2*r5159
1 2 2 2
- ---*b12 *kap *m3*r5207)/(a23*b12 *kap)
2
1
- ---*kap*n1*r5207
2
r4123=---------------------
a23
r4124=0
1 3 1 2 1 3
---*a11 *n2*r5207 - ---*a11 *b12*n2*r5237 + ---*b12 *kap*n2*r5237
2 2 2
r4125=-------------------------------------------------------------------
4
b12 *kap
r50=0
r51=0
r52=0
r53=0
r54=0
r55=0
r56=0
r57=0
r58=0
r59=0
r510=0
r511=0
r512=0
r513=0
r514=0
r515=0
r516=0
r517=0
r518=0
r519=0
r520=0
1 1
- ---*a11*r5207 + ---*b12*r5237
2 2
r521=----------------------------------
a23*kap
r522=0
- a11*r5207 + b12*r5237
r523=--------------------------
a23*kap
r524=0
1 1
- ---*a11*r5207 + ---*b12*r5237
2 2
r525=----------------------------------
a23*kap
r526=0
r527=0
r528=0
r529=0
- a11*r5207 + b12*r5237
r530=--------------------------
a23*kap
r531=0
- a11*r5207 + b12*r5237
r532=--------------------------
a23*kap
r533=0
r534=0
1 1
- ---*a11*r5207 + ---*b12*r5237
2 2
r535=----------------------------------
a23*kap
- r5159
r536=----------
kap
r537=0
- r5159
r538=----------
kap
r539=0
a11*r5207 - b12*r5237
r540=-----------------------
b12*kap
r541=0
a11*r5207 - b12*r5237
r542=-----------------------
b12*kap
- r5159
r543=----------
kap
r544=0
a11*r5207 - b12*r5237
r545=-----------------------
b12*kap
1
- ---*a11*r5207
2
r546=------------------
a23
r547=0
1
- ---*a11*r5207
2
r548=------------------
a23
2*a23*r5159
r549=-------------
b12*kap
r550=0
1
- ---*a11*r5207
2
r551=------------------
a23
r552=r5159
r553=0
2*a11*r5207 - b12*r5237
r554=-------------------------
b12
1
a11*kap*r5207 - ---*b12*kap*r5237
2
r555=-----------------------------------
a23
r556=0
r557=0
r558=0
r559=0
r560=0
r561=0
r562=0
r563=0
r564=0
r565=0
r566=0
r567=0
r568=0
r569=0
r570=0
r571=0
- r5159
r572=----------
kap
r573=0
- r5159
r574=----------
kap
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207
2
r575=-------------------------------------------------
a23*b12*kap
r576=0
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207
2
r577=-------------------------------------------------
a23*b12*kap
r578=0
- r5159
r579=----------
kap
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207
2
r580=-------------------------------------------------
a23*b12*kap
r581=r5207
r582=0
r583=r5207
2*a11*r5159
r584=-------------
b12*kap
2*a23*r5159
r585=-------------
b12*kap
r586=2*r5207
r587=0
r588=r5159
2 2 1 2
2*a11 *r5207 - a11*b12*r5237 - 2*a23 *r5207 + ---*b12 *kap*r5207
2
r589=------------------------------------------------------------------
a23*b12
r590= - kap*r5207
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
1
---*a11*r5207
2
r5101=---------------
a23
r5102=0
1
---*a11*r5207
2
r5103=---------------
a23
r5104=0
2*a11*r5159
r5105=-------------
b12*kap
3
---*a11*r5207
2
r5106=---------------
a23
r5107=r5159
r5108=0
- 2*a11*r5207 - b12*r5237
r5109=----------------------------
b12
a11*kap*r5207 - b12*kap*r5237
r5110=-------------------------------
a23
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
r5118=r5159
1
- a11*r5237 + ---*b12*kap*r5207
2
r5119=----------------------------------
a23
r5120= - kap*r5207
r5121=0
r5122=0
r5123=0
1
- ---*b12*kap*r5237
2
r5124=----------------------
a23
r5125=0
r5126=0
r5127=0
r5128=0
r5129=0
r5130=0
r5131=0
r5132=0
r5133=0
r5134=0
r5135=0
r5136=0
r5137=0
r5138=0
r5139=0
r5140=0
- a11*r5207 + b12*r5237
r5141=--------------------------
b12*kap
2 1 2
- a11 *r5207 + a11*b12*r5237 + ---*b12 *kap*r5207
2
r5142=----------------------------------------------------
a23*b12*kap
- a11*r5207 + b12*r5237
r5143=--------------------------
b12*kap
2 1 2
- a11 *r5207 + a11*b12*r5237 + ---*b12 *kap*r5207
2
r5144=----------------------------------------------------
a23*b12*kap
- r5159
r5145=----------
kap
r5146=0
- r5159
r5147=----------
kap
- a11*r5207 + b12*r5237
r5148=--------------------------
b12*kap
2 1 2
- a11 *r5207 + a11*b12*r5237 + ---*b12 *kap*r5207
2
r5149=----------------------------------------------------
a23*b12*kap
- r5159
r5150=----------
kap
- 2*a23*r5159
r5151=----------------
b12*kap
- 2*a11*r5159
r5152=----------------
b12*kap
r5153=0
r5154=0
r5155= - r5207
2*a23*r5159
r5156=-------------
b12*kap
- 2*a11*r5207 + b12*r5237
r5157=----------------------------
b12
2 1 2
- 2*a11 *r5207 + a11*b12*r5237 - ---*b12 *kap*r5207
2
r5158=------------------------------------------------------
a23*b12
r5160=0
r5161=0
r5162=0
r5163=0
r5164=0
r5165=0
r5166=0
r5167=0
r5168=0
r5169=0
r5170=0
r5171=0
- 2*a23*r5159
r5172=----------------
b12*kap
- 2*a11*r5159
r5173=----------------
b12*kap
r5174= - r5207
- 2*a11*r5207
r5175=----------------
a23
2*a11*r5159
r5176=-------------
b12*kap
2*a23*r5207
r5177=-------------
b12
2*a11*r5207
r5178=-------------
b12
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=r5237
1
a11*r5237 - ---*b12*kap*r5207
2
r5188=-------------------------------
a23
r5189=r5159
r5190=0
r5191=0
r5192=0
r5193=0
r5194=0
r5195=0
r5196=0
r5197=0
r5198=0
r5199=0
r5200=0
r5201=0
r5202=0
r5203=0
r5204=0
r5205=0
1
---*a11*r5207
2
r5206=---------------
a23
3
---*a11*r5207
2
r5208=---------------
a23
- 2*a23*r5159
r5209=----------------
b12*kap
- 2*a11*r5159
r5210=----------------
b12*kap
1
---*a11*r5207
2
r5211=---------------
a23
r5212=r5159
r5213=0
r5214= - r5237
a11*kap*r5207 - b12*kap*r5237
r5215=-------------------------------
a23
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
r5223=r5159
1
- a11*r5237 + ---*b12*kap*r5207
2
r5224=----------------------------------
a23
r5225= - kap*r5207
r5226=0
r5227=0
r5228=0
- b12*kap*r5237
r5229=------------------
a23
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
1
a11*r5237 - ---*b12*kap*r5207
2
r5238=-------------------------------
a23
r5239=r5159
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
1
- ---*b12*kap*r5237
2
r5249=----------------------
a23
r5250=0
r5251=0
m2=0
m1=0
a33= - a11
a22=a11
a13=0
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:
r353, r5159, r5207, r5237, m3, n3, n2, n1, a11, a23,
b12
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.
{a11,
a23,
b12,
a33,
1
{---*b12*kap*r5237,
2
a23*r5159,
1
a11*r5237 - ---*b12*kap*r5207,
2
r5237,
b12*kap*r5237,
a23*kap*r5207,
1
a11*r5237 - ---*b12*kap*r5207,
2
a23*r5159,
a11*kap*r5207 - b12*kap*r5237,
r5237,
a23*r5159,
1
---*a11*r5207,
2
2*a23*r5159,
3
---*a11*r5207,
2
r5207,
1
---*a11*r5207,
2
a23*r5159,
1
a11*r5237 - ---*b12*kap*r5207,
2
r5237,
2*a23*r5207,
r5207,
2*a23*r5159,
r5159,
2 1 2
2*a11 *r5207 - a11*b12*r5237 + ---*b12 *kap*r5207,
2
2*a11*r5207 - b12*r5237,
2*a23*r5159,
r5207,
2*a23*r5159,
a23*r5159,
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
a11*r5207 - b12*r5237,
a23*r5159,
a23*r5159,
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
a11*r5207 - b12*r5237,
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
a11*r5207 - b12*r5237,
1
---*b12*kap*r5237,
2
a23*kap*r5207,
1
a11*r5237 - ---*b12*kap*r5207,
2
a23*r5159,
a11*kap*r5207 - b12*kap*r5237,
2*a11*r5207 + b12*r5237,
a23*r5159,
3
---*a11*r5207,
2
1
---*a11*r5207,
2
1
---*a11*r5207,
2
b12*kap*r5207,
2 2 1 2
2*a11 *r5207 - a11*b12*r5237 - 2*a23 *r5207 + ---*b12 *kap*r5207,
2
r5159,
2*r5207,
2*a23*r5159,
r5207,
r5207,
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
a23*r5159,
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
2 1 2
a11 *r5207 - a11*b12*r5237 - ---*b12 *kap*r5207,
2
a23*r5159,
a23*r5159,
1 2
a11*b12*kap*r5207 - ---*b12 *kap*r5237,
2
2*a11*r5207 - b12*r5237,
r5159,
1
---*a11*r5207,
2
2*a23*r5159,
1
---*a11*r5207,
2
1
---*a11*r5207,
2
a11*r5207 - b12*r5237,
a23*r5159,
a11*r5207 - b12*r5237,
a11*r5207 - b12*r5237,
a23*r5159,
a23*r5159,
1 1
---*a11*r5207 - ---*b12*r5237,
2 2
a11*r5207 - b12*r5237,
a11*r5207 - b12*r5237,
1 1
---*a11*r5207 - ---*b12*r5237,
2 2
a11*r5207 - b12*r5237,
1 1
---*a11*r5207 - ---*b12*r5237,
2 2
2*r5207,
2*r5207,
2*a23*r5159,
2*a23*r5159,
2*a23*r5159,
2*a23*r5159,
2*a23*r5159,
2*a23*r5159},
{m3,n1,n2,n3}}
Relevance for the application:
Modulo the following equation:
2 2 2
0=a11 + a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2
HAM=u1 *a11 + u1*v2*b12 + u1*n1 + u2 *a11 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2
2
- u3 *a11 + u3*n3 + v3*m3
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
1 4 6 3
FI= - ---*u1 *u3*b12 *kap
2
4 1 2 2 1 4 2
+ u1 *( - ---*a11 *a23*b12 *kap*n2 + ---*a23*b12 *kap *n2)
2 2
3 5 2 3 5 2
+ u1 *u3*v2*a11*b12 *kap + u1 *u3*v3*a23*b12 *kap
3 4 2 3 3
- u1 *v1*a11*b12 *kap *m3 - u1 *v2*a11*a23*b12 *kap*n2
1 3 5 2
+ ---*u1 *v3*b12 *kap *n2
2
3 2 1 4 2
+ u1 *( - a11*a23*b12 *kap*n1*n2 + ---*b12 *kap *n1*n3)
2
2 2 6 3
- u1 *u2 *u3*b12 *kap
2 2 2 2 4 2
+ u1 *u2 *( - a11 *a23*b12 *kap*n2 + a23*b12 *kap *n2)
2 5 2
- u1 *u2*u3*v1*a11*b12 *kap
2 2 2 4 2
+ u1 *u2*u3*( - 2*a11*a23 *b12 *kap*n2 + a23*b12 *kap *n3)
2 3 2 4 2
+ u1 *u2*v1*a11*a23*b12 *kap*n2 - u1 *u2*v2*a11*b12 *kap *m3
1 2 5 2
- ---*u1 *u2*v3*b12 *kap *n1
2
2 2 2 1 4 2 2 3 6 3
+ u1 *u2*( - a11*a23*b12 *kap*n2 + ---*b12 *kap *n2*n3) - u1 *u3 *b12 *kap
2
2 2 5 2
- u1 *u3 *v1*a23*b12 *kap
2 2 2 2 4 2 4 2
+ u1 *u3 *(a11 *a23*b12 *kap*n2 - a11*b12 *kap *n3 + a23*b12 *kap *n2)
1 2 5 2
- ---*u1 *u3*v1*b12 *kap *n2
2
2 4 2 1 5 2
+ u1 *u3*v2*( - a23*b12 *kap *m3 + ---*b12 *kap *n1)
2
2 2 4 1 2 4 2
+ u1 *v1 *a11*b12 *kap*n3 - ---*u1 *v1*b12 *kap *m3*n1
2
2 3 1 4 2
+ u1 *v2*( - a23*b12 *kap*n1*n2 - ---*b12 *kap *m3*n2)
2
1 2 2 4 2 2 2
+ ---*u1 *v3 *a23*b12 *kap*n2 - u1 *v3*a11*a23*b12 *kap*m3*n2 + u1 *(
2
2 2 1 2 2 2 1 2 2
- a11*a23 *n2 *n3 - ---*a23*b12 *kap *m3 *n2 - ---*a23*b12 *kap*n1 *n2
2 2
1 2 2 2 5 2
+ ---*a23*b12 *kap*n2*n3 ) + u1*u2 *u3*v2*a11*b12 *kap
2
2 5 2 2 4 2
+ u1*u2 *u3*v3*a23*b12 *kap - u1*u2 *v1*a11*b12 *kap *m3
2 3 1 2 5 2
- u1*u2 *v2*a11*a23*b12 *kap*n2 + ---*u1*u2 *v3*b12 *kap *n2
2
2 2 1 4 2
+ u1*u2 *( - a11*a23*b12 *kap*n1*n2 + ---*b12 *kap *n1*n3)
2
2 3 2 2
- 2*u1*u2*u3*v2*a23 *b12 *kap*n2 - 2*u1*u2*u3*a23 *b12 *kap*n1*n2
4 3
+ 2*u1*u2*v1*v2*a11*b12 *kap*n3 + u1*u2*v1*a23*b12 *kap*n1*n2
3 2 2 2
- u1*u2*v2*a23*b12 *kap*n2 - u1*u2*a23*b12 *kap*n1*n2
3 5 2 3 5 2
+ u1*u3 *v2*a11*b12 *kap + u1*u3 *v3*a23*b12 *kap
2 4 2 2 3
- u1*u3 *v1*a11*b12 *kap *m3 + u1*u3 *v2*a11*a23*b12 *kap*n2
1 2 5 2
+ ---*u1*u3 *v3*b12 *kap *n2
2
2 2 1 4 2
+ u1*u3 *(a11*a23*b12 *kap*n1*n2 + ---*b12 *kap *n1*n3)
2
2 5 2 5
+ u1*u3*v1 *v2*a11*b12 *kap + u1*u3*v1 *v3*a23*b12 *kap
4 4 3 5
+ u1*u3*v1*v3*(2*a11*b12 *kap*n3 - a23*b12 *kap*n2) + u1*u3*v2 *a11*b12 *kap
2 5 2 5
+ u1*u3*v2 *v3*a23*b12 *kap + u1*u3*v2*v3 *a11*b12 *kap + u1*u3*v2*(
2 3 2 2 3 2
- 2*a11 *a23*b12*n2*n3 - a11*b12 *kap *m3 + a11*b12 *kap*n3
3 3 5
- a23*b12 *kap*n2*n3) + u1*u3*v3 *a23*b12 *kap
2 3 2 2 3 2
+ u1*u3*v3*( - 2*a11*a23 *b12*n2*n3 - a23*b12 *kap *m3 + a23*b12 *kap*n3 )
2 3 4
- u1*u3*a23*b12 *kap*n1*n2*n3 - u1*v1 *a11*b12 *kap*m3
1 2 5 1 2 4
+ ---*u1*v1 *v3*b12 *kap*n2 + ---*u1*v1 *b12 *kap*n1*n3
2 2
2 4 2 4
- u1*v1*v2 *a11*b12 *kap*m3 - u1*v1*v3 *a11*b12 *kap*m3 + u1*v1*(
2 2 2 3 2 2
2*a11 *a23*m3*n2*n3 + a11*b12 *kap *m3 - a11*b12 *kap*m3*n3
2 1 2 5
+ a23*b12 *kap*m3*n2*n3) + ---*u1*v2 *v3*b12 *kap*n2
2
1 2 4 3
+ ---*u1*v2 *b12 *kap*n1*n3 - u1*v2*v3*a23*b12 *kap*m3*n2
2
1 3 5 1 2 4
+ ---*u1*v3 *b12 *kap*n2 + ---*u1*v3 *b12 *kap*n1*n3 + u1*v3*(
2 2
2 2 1 3 2 2
- a11*a23*b12*n2 *n3 - a23*b12 *kap*m3*n1*n2 - ---*b12 *kap *m3 *n2
2
1 3 2
+ ---*b12 *kap*n2*n3 )
2
2 1 2 2 2 1 2 3
+ u1*( - a11*a23*n1*n2*n3 - ---*b12 *kap *m3 *n1*n3 + ---*b12 *kap*n1*n3 )
2 2
1 4 6 3
- ---*u2 *u3*b12 *kap
2
4 1 2 2 1 4 2
+ u2 *( - ---*a11 *a23*b12 *kap*n2 + ---*a23*b12 *kap *n2)
2 2
3 5 2
- u2 *u3*v1*a11*b12 *kap
3 2 2 4 2
+ u2 *u3*( - 2*a11*a23 *b12 *kap*n2 + a23*b12 *kap *n3)
3 3 3 4 2
+ u2 *v1*a11*a23*b12 *kap*n2 - u2 *v2*a11*b12 *kap *m3
1 3 5 2
- ---*u2 *v3*b12 *kap *n1
2
3 2 2 1 4 2 2 3 6 3
+ u2 *( - a11*a23*b12 *kap*n2 + ---*b12 *kap *n2*n3) - u2 *u3 *b12 *kap
2
2 2 5 2 2 2 2 2
- u2 *u3 *v1*a23*b12 *kap + u2 *u3 *(a11 *a23*b12 *kap*n2
4 2 3 2 4 2
- a11*b12 *kap *n3 - 2*a23 *b12 *kap*n2 + a23*b12 *kap *n2)
2 2 3 1 5 2
+ u2 *u3*v1*(2*a23 *b12 *kap*n2 - ---*b12 *kap *n2)
2
2 4 2 1 5 2
+ u2 *u3*v2*( - a23*b12 *kap *m3 + ---*b12 *kap *n1)
2
2 2 2 2
- 2*u2 *u3*a23 *b12 *kap*n2
2 3 2 1 4 2 2 2 4
+ u2 *v1*(a23*b12 *kap*n2 - ---*b12 *kap *m3*n1) + u2 *v2 *a11*b12 *kap*n3
2
1 2 4 2 1 2 2 4
- ---*u2 *v2*b12 *kap *m3*n2 + ---*u2 *v3 *a23*b12 *kap*n2
2 2
2 2 2 2 2
- u2 *v3*a11*a23*b12 *kap*m3*n2 + u2 *( - a11*a23 *n2 *n3
1 2 2 2 1 2 3
- ---*a23*b12 *kap *m3 *n2 - ---*a23*b12 *kap*n2
2 2
1 2 2 3 5 2
+ ---*a23*b12 *kap*n2*n3 ) - u2*u3 *v1*a11*b12 *kap
2
3 2 2 4 2
+ u2*u3 *(2*a11*a23 *b12 *kap*n2 + a23*b12 *kap *n3)
2 3 2 4 2
- u2*u3 *v1*a11*a23*b12 *kap*n2 - u2*u3 *v2*a11*b12 *kap *m3
1 2 5 2 2
- ---*u2*u3 *v3*b12 *kap *n1 + u2*u3
2
2 2 2 2 1 4 2
*(a11*a23*b12 *kap*n2 - 2*a23 *b12 *kap*n2*n3 + ---*b12 *kap *n2*n3)
2
3 5 2 4
- u2*u3*v1 *a11*b12 *kap + u2*u3*v1 *a23*b12 *kap*n3
2 5 2 5
- u2*u3*v1*v2 *a11*b12 *kap - u2*u3*v1*v3 *a11*b12 *kap + u2*u3*v1*(
2 3 2 2 3 2
2*a11 *a23*b12*n2*n3 + a11*b12 *kap *m3 - a11*b12 *kap*n3
3 2 4
+ a23*b12 *kap*n2*n3) + u2*u3*v2 *a23*b12 *kap*n3
4 4
+ u2*u3*v2*v3*(2*a11*b12 *kap*n3 - a23*b12 *kap*n2)
2 4 2 2
+ u2*u3*v3 *a23*b12 *kap*n3 - 2*u2*u3*v3*a23 *b12 *kap*m3*n2 + u2*u3*(
2 2 2 2 2 2 2
- 2*a11*a23 *n2*n3 - a23*b12 *kap *m3 *n3 - a23*b12 *kap*n2 *n3
2 3 2 4
+ a23*b12 *kap*n3 ) - u2*v1 *v2*a11*b12 *kap*m3
1 2 5 1 2 4
- ---*u2*v1 *v3*b12 *kap*n1 + ---*u2*v1 *b12 *kap*n2*n3
2 2
3 3 4
+ u2*v1*v3*a23*b12 *kap*m3*n2 - u2*v2 *a11*b12 *kap*m3
1 2 5 1 2 4
- ---*u2*v2 *v3*b12 *kap*n1 + ---*u2*v2 *b12 *kap*n2*n3
2 2
2 4 2 2 2 3
- u2*v2*v3 *a11*b12 *kap*m3 + u2*v2*(2*a11 *a23*m3*n2*n3 + a11*b12 *kap *m3
2 2 2 1 3 5
- a11*b12 *kap*m3*n3 + a23*b12 *kap*m3*n2*n3) - ---*u2*v3 *b12 *kap*n1
2
1 2 4
+ ---*u2*v3 *b12 *kap*n2*n3 + u2*v3*(a11*a23*b12*n1*n2*n3
2
2 2 1 3 2 2 1 3 2
- a23*b12 *kap*m3*n2 + ---*b12 *kap *m3 *n1 - ---*b12 *kap*n1*n3 )
2 2
2 2 1 2 2 2 1 2 3
+ u2*( - a11*a23*n2 *n3 - ---*b12 *kap *m3 *n2*n3 + ---*b12 *kap*n2*n3 )
2 2
1 5 6 3 4 5 2 4
- ---*u3 *b12 *kap - u3 *v1*a23*b12 *kap + u3
2
1 2 2 4 2 1 4 2
*( - ---*a11 *a23*b12 *kap*n2 - a11*b12 *kap *n3 + ---*a23*b12 *kap *n2)
2 2
1 3 5 2 3 4 2 1 5 2
- ---*u3 *v1*b12 *kap *n2 + u3 *v2*( - a23*b12 *kap *m3 + ---*b12 *kap *n1)
2 2
3 2 2 3 5
+ 2*u3 *a11*a23*b12 *kap*n2*n3 - u3 *v1 *a23*b12 *kap
2 2 4 1 4
+ u3 *v1 *( - a11*b12 *kap*n3 + ---*a23*b12 *kap*n2)
2
2 2 5 2 2 5 2
- u3 *v1*v2 *a23*b12 *kap - u3 *v1*v3 *a23*b12 *kap + u3 *v1*(
2 3 2 2 3 2
2*a11*a23 *b12*n2*n3 + a23*b12 *kap *m3 - a23*b12 *kap*n3
1 4 2
- ---*b12 *kap *m3*n1)
2
2 2 4 1 4
+ u3 *v2 *( - a11*b12 *kap*n3 + ---*a23*b12 *kap*n2)
2
1 2 4 2 2 2 2
- ---*u3 *v2*b12 *kap *m3*n2 + u3 *v3*a11*a23*b12 *kap*m3*n2 + u3 *(
2
2 2 2 2 2 2 2
2*a11 *a23*n2*n3 - a11*a23 *n2 *n3 + a11*b12 *kap *m3 *n3
2 3 1 2 2 2 1 4 6
- a11*b12 *kap*n3 - ---*a23*b12 *kap *m3 *n2) + ---*u3*v1 *b12 *kap
2 2
1 3 5 2 2 6
- ---*u3*v1 *b12 *kap*n2 + u3*v1 *v2 *b12 *kap
2
2 4 1 5 2 2 6
+ u3*v1 *v2*( - a23*b12 *kap*m3 + ---*b12 *kap*n1) + u3*v1 *v3 *b12 *kap
2
2 2 4 2 2 4 2
+ u3*v1 *( - a11*a23*b12 *n2*n3 - b12 *kap *m3 + b12 *kap*n3 )
1 2 5 1 2 5
- ---*u3*v1*v2 *b12 *kap*n2 - ---*u3*v1*v3 *b12 *kap*n2
2 2
2 1 3 2 2 1 3 2
+ u3*v1*(a11*a23*b12*n2 *n3 + ---*b12 *kap *m3 *n2 - ---*b12 *kap*n2*n3 )
2 2
1 4 6 3 4 1 5
+ ---*u3*v2 *b12 *kap + u3*v2 *( - a23*b12 *kap*m3 + ---*b12 *kap*n1)
2 2
2 2 6
+ u3*v2 *v3 *b12 *kap
2 2 4 2 2 4 2
+ u3*v2 *( - a11*a23*b12 *n2*n3 - b12 *kap *m3 + b12 *kap*n3 )
2 4 1 5
+ u3*v2*v3 *( - a23*b12 *kap*m3 + ---*b12 *kap*n1) + u3*v2*(
2
2 2 2 3
2*a11*a23 *m3*n2*n3 - a11*a23*b12*n1*n2*n3 + a23*b12 *kap *m3
2 2 1 3 2 2 1 3 2
- a23*b12 *kap*m3*n3 - ---*b12 *kap *m3 *n1 + ---*b12 *kap*n1*n3 )
2 2
1 4 6
+ ---*u3*v3 *b12 *kap
2
2 2 4 2 2 4 2
+ u3*v3 *( - a11*a23*b12 *n2*n3 - b12 *kap *m3 + b12 *kap*n3 ) + u3*(
2 3 1 2 3 4
a11*a23*kap*m3 *n2*n3 - a11*a23*n2*n3 + ---*b12 *kap *m3
2
2 2 2 2 1 2 4 1 3 4
- b12 *kap *m3 *n3 + ---*b12 *kap*n3 ) - ---*v1 *b12 *kap*m3*n1
2 2
1 2 4 1 2 4
- ---*v1 *v2*b12 *kap*m3*n2 - ---*v1*v2 *b12 *kap*m3*n1
2 2
1 2 4
- ---*v1*v3 *b12 *kap*m3*n1
2
1 2 2 3 1 2 2
+ v1*(a11*a23*m3*n1*n2*n3 + ---*b12 *kap *m3 *n1 - ---*b12 *kap*m3*n1*n3 )
2 2
1 3 4 1 2 4
- ---*v2 *b12 *kap*m3*n2 - ---*v2*v3 *b12 *kap*m3*n2
2 2
2 1 2 2 3 1 2 2
+ v2*(a11*a23*m3*n2 *n3 + ---*b12 *kap *m3 *n2 - ---*b12 *kap*m3*n2*n3 )
2 2
1 2 2 2
- ---*v3 *a23*b12 *kap*m3 *n2
2
1 2 2 2 2 2 2
= - ---*((((kap*u1 + kap*u2 + kap*u3 - v1 - v2 - v3 )*b12*u3 + n1*u2*v3
2
- n1*u3*v2 - n2*u1*v3 + n2*u3*v1)
2 2 2 2 2 2 3
*(kap*u1 + kap*u2 + kap*u3 + v1 + v2 + v3 )*b12
3 2 2
+ 4*a23 *n2*u2 *u3 -
2 2
(kap*m3 *u3 + m3*n1*v1 + m3*n2*v2 - n1*n3*u1 - n2*n3*u2 - n3 *u3)
2 2
*(kap*m3 - n3 )
2 2
+ ((u1*v3 - u3*v1)*n2 - (u2*v3 - u3*v2)*n1)*(kap*m3 - n3 )*b12)
2
*b12 *kap + 4*(
(((u1*v2 - u2*v1)*b12 - n3*u3)*u3 - (u1*v1 + u2*v2)*m3)*n3
1 2 2 2 2
+ ---*(u1 + (u2 + u3)*(u2 - u3)) *b12 *kap)*a11 *a23*n2 + 4
4
2 2
*(n2*u2 + n3*u3 + n1*u1 + m3*v3 + (u1*v2 - u2*v1)*b12)*a23 *b12 *kap
*n2*u2*u3 - ((
2 2 2
((n1*u1 + n2*u2)*n3 - (n1*v1 + n2*v2)*m3)*(u2 + u3 + u1 )
2 2 2 2
- 2*(v2 + v3 + v1 )*m3 *u3)*kap +
((n2*u2 + 2*n3*u3 + n1*u1)*n3 - (n1*v1 + n2*v2)*m3)
2 2 2 4
*(v2 + v3 + v1 ))*b12 *kap + 2*((
2
((n2*u2 + n3*u3 + n1*u1)*n3 - kap*m3 *u3)*n3
2 2 2 3
+ (u1 + u2 - u3 )*(u1*v2 - u2*v1)*b12 *kap
- (n1*v1 + n2*v2)*m3*n3
+ ((u1*v3 - u3*v1)*n2 - (u2*v3 - u3*v2)*n1)*b12*n3 + ((
2
(n1*u1 + n2*u2 + m3*v3)*((u2 + u3)*(u2 - u3) + u1 )
3 2 2 2 2
- 2*n3*u3 )*kap + (v2 + v3 + v1 )*n3*u3)*b12 )*a23*n2
2 2 2 2 2
- ((((u2*v2 + 2*u3*v3)*u2*v2 + u1 *v1 - (v1 + v2 )*u3
+ 2*(u2*v2 + u3*v3)*u1*v1)*n3
2 2 2
- (v2 + v3 + v1 )*(u1*v1 + u2*v2)*m3
2 2 2 2
- (m3*u1*v1 + m3*u2*v2 + n3*u3 )*(u1 + u2 + u3 )*kap)
4
*b12 *kap + 2*((((m3*v2 - n3*u2 - (u1*v3 - u3*v1)*b12)*n3
2 2
- ((u2 + u3)*(u2 - u3) + u1 )*b12 *kap*u2)*u3
1 2 2 2 2 1
- ---*(u2 + u3 + u1 )*n2*n3)*a23 *n2 + ---*(
2 2
2
((u1*v1 + u2*v2)*m3 + n3*u3 - (u1*v2 - u2*v1)*b12*u3)
2 2
*(kap*m3 - n3 ) +
2 2 2 2 2 2
(v2 + v3 + v1 + (u1 + u2 + u3 )*kap)*(u1*v2 - u2*v1)
3 2
*b12 *u3)*b12 *kap)))*a11 + (
3 2 3 2 2 2 2
(n2 *u2 + 2*n2 *n3*u3 - 2*n3 *u3)*u2 + n1 *n2*u1 + m3 *n2*v3
2 2 2
- (u1 + u2 )*n2*n3 + 2*(n2*u2 + n3*u3)*n1*n2*u1 + 2
2 2
*(n2 *u2*v3 + n3 *u3*v2 + n1*n2*u1*v3 - (u1*v1 + u2*v2)*n2*n3)*m3
2 2 2 2
+ ((u2 + u3 + u1 )*n2 + 2*n3*u2*u3 - 2*m3*u3*v2)*kap*m3 - (((
((u1*v3 - 2*u3*v1)*u1 + (u2*v3 - 2*u3*v2)*u2)*v3
2 2 2
+ (v1 + v2 )*u3 )*n2
2 2 2
- 2*(v2 + v3 + v1 )*(m3*v2 - n3*u2)*u3 -
2 2 2
(2*m3*u3*v2 - n2*u1 - n2*u2 - n2*u3 - 2*n3*u2*u3)
2 2 2
*(u1 + u2 + u3 )*kap + 2
2 2 2 2 2 2
*(v2 + v3 + v1 + (u1 + u2 + u3 )*kap)*(u1*v3 - u3*v1)
*b12*u3)*b12 - 2*(
(n2*u2 + n3*u3 + n1*u1 + m3*v3)*(u1*v2 - u2*v1)*n2
2 2
- (u1*v3 - u3*v1)*n3 *u3 + (u1*v3 - u3*v1)*kap*m3 *u3))*b12
2
)*a23*b12 *kap)
{HAM,FI} = 0
1 4 3 3 2 1 3 2 7 3
FI=---*u1 *a11 *a23 *b12 *kap*n2 - ---*u1 *u3*v2*a23 *b12 *kap
2 2
1 3 2 6 3
- ---*u1 *u3*a23 *b12 *kap *n1
2
3 2 2 4 2 1 2 6 3
+ u1 *v1*( - a11 *a23 *b12 *kap *m3 - ---*a23 *b12 *kap *m3)
2
3 2 3 3 1 3 5 2
+ u1 *v2*(a11 *a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n2)
2
3 2 3 2 1 3 4 2
+ u1 *(a11 *a23 *b12 *kap*n1*n2 + ---*a23 *b12 *kap *n1*n2)
2
2 2 3 3 2 2 2 3 6 3
+ u1 *u2 *a11 *a23 *b12 *kap*n2 - u1 *u2*u3 *a23 *b12 *kap
1 2 2 7 3 2
+ ---*u1 *u2*u3*v1*a23 *b12 *kap + u1 *u2*u3
2
2 4 2 4 4 2 1 2 6 3
*(2*a11 *a23 *b12 *kap*n2 + a23 *b12 *kap *n2 - ---*a23 *b12 *kap *n2)
2
2 2 3 3 1 3 5 2
+ u1 *u2*v1*( - a11 *a23 *b12 *kap*n2 - ---*a23 *b12 *kap *n2)
2
2 2 2 4 2 1 2 6 3
+ u1 *u2*v2*( - a11 *a23 *b12 *kap *m3 - ---*a23 *b12 *kap *m3)
2
2 2 3 2 2 1 3 4 2 2
+ u1 *u2*(a11 *a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n2 )
2
2 3 2 6 3 2 2 3 3 2
+ u1 *u3 *a11*a23 *b12 *kap + u1 *u3 *( - a11 *a23 *b12 *kap*n2
2 2 4 2 3 4 2 4 4 2
+ a11 *a23 *b12 *kap *n3 - a11*a23 *b12 *kap *n2 + a23 *b12 *kap *n3
1 2 6 3 1 2 2 2 6 2
+ ---*a23 *b12 *kap *n3) + ---*u1 *u3*v1 *a11*a23 *b12 *kap
2 2
3 2 2 2 6 2 2 3 6 2
+ ---*u1 *u3*v2 *a11*a23 *b12 *kap + u1 *u3*v2*v3*a23 *b12 *kap
2
2 2 5 2 1 2 2 2 6 2
+ u1 *u3*v2*a11*a23 *b12 *kap *n1 + ---*u1 *u3*v3 *a11*a23 *b12 *kap
2
2 4 4 2 3 5 2
+ u1 *u3*v3*(a23 *b12 *kap *m3 + a23 *b12 *kap *n1)
2 2 2 2 4 1 2 6 2
+ u1 *v1 *( - a11 *a23 *b12 *kap*n3 - ---*a23 *b12 *kap *n3)
2
2 2 5 2 2 2 4 2
- 2*u1 *v1*v2*a11*a23 *b12 *kap *m3 - 2*u1 *v1*a11*a23 *b12 *kap *m3*n1
1 2 2 6 2
+ ---*u1 *v2*v3*a23 *b12 *kap *n2
2
2 3 3 1 2 5 2
+ u1 *v2*(a11*a23 *b12 *kap*n1*n2 + ---*a23 *b12 *kap *n1*n3)
2
1 2 2 3 4 2 2 3 2
- ---*u1 *v3 *a11*a23 *b12 *kap*n2 + u1 *v3*(a11 *a23 *b12 *kap*m3*n2
2
1 3 4 2 1 2 5 2 2
+ ---*a23 *b12 *kap *m3*n2 + ---*a23 *b12 *kap *n1*n2) + u1 *(
2 2
2 4 2 1 3 2 2
a11 *a23 *n2 *n3 + ---*a11*a23 *b12 *kap*n1 *n2
2
1 2 3 2 1 4 2 2
+ ---*a11*a23 *b12 *kap *m3*n1*n2 + ---*a23 *b12 *kap*n2 *n3
2 2
1 2 4 2 2 1 2 2 7 3
+ ---*a23 *b12 *kap *n1 *n3) - ---*u1*u2 *u3*v2*a23 *b12 *kap
2 2
1 2 2 6 3
- ---*u1*u2 *u3*a23 *b12 *kap *n1
2
2 2 2 4 2 1 2 6 3
+ u1*u2 *v1*( - a11 *a23 *b12 *kap *m3 - ---*a23 *b12 *kap *m3)
2
2 2 3 3 1 3 5 2
+ u1*u2 *v2*(a11 *a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n2)
2
2 2 3 2 1 3 4 2
+ u1*u2 *(a11 *a23 *b12 *kap*n1*n2 + ---*a23 *b12 *kap *n1*n2)
2
2 3 5 2 2 4 5 2
+ 2*u1*u2*u3 *v2*a11*a23 *b12 *kap + 2*u1*u2*u3 *v3*a23 *b12 *kap
2 6 2 3 6 2
- 2*u1*u2*u3*v1*v2*a11*a23 *b12 *kap - u1*u2*u3*v1*v3*a23 *b12 *kap
3 4 2 2 5 2
+ u1*u2*u3*v1*( - 4*a11*a23 *b12 *kap *m3 - a11*a23 *b12 *kap *n1) + u1*u2
4 3 2 5 2 3 5 2
*u3*v2*(2*a11*a23 *b12 *kap*n2 + a11*a23 *b12 *kap *n2 + a23 *b12 *kap *n3)
3 5 2
+ 2*u1*u2*u3*v3*a23 *b12 *kap *n2
4 2 3 4 2
+ u1*u2*u3*(2*a11*a23 *b12 *kap*n1*n2 + 2*a23 *b12 *kap *n1*n3)
2 2 5 2
+ 2*u1*u2*v1 *a11*a23 *b12 *kap *m3
2 2 4 2 6 2
+ u1*u2*v1*v2*( - 2*a11 *a23 *b12 *kap*n3 - a23 *b12 *kap *n3)
1 2 6 2 3 3
- ---*u1*u2*v1*v3*a23 *b12 *kap *n2 + u1*u2*v1*( - a11*a23 *b12 *kap*n1*n2
2
2 4 2 1 2 5 2
- 2*a11*a23 *b12 *kap *m3*n2 - ---*a23 *b12 *kap *n1*n3)
2
2 2 5 2 1 2 6 2
- 2*u1*u2*v2 *a11*a23 *b12 *kap *m3 - ---*u1*u2*v2*v3*a23 *b12 *kap *n1 + u1
2
3 3 2 2 4 2
*u2*v2*(a11*a23 *b12 *kap*n2 - 2*a11*a23 *b12 *kap *m3*n1
1 2 5 2
+ ---*a23 *b12 *kap *n2*n3)
2
1 2 5 2 2 1 2 5 2 2
+ u1*u2*v3*( - ---*a23 *b12 *kap *n1 + ---*a23 *b12 *kap *n2 )
2 2
3 2 2 2 4 2
+ u1*u2*(a11*a23 *b12 *kap*n1*n2 + a23 *b12 *kap *n1*n2*n3)
3 2 2 5 2 1 2 7 3
+ u1*u3 *v2*( - 2*a11 *a23 *b12 *kap - ---*a23 *b12 *kap )
2
3 3 5 2 1 3 2 6 3
- 2*u1*u3 *v3*a11*a23 *b12 *kap - ---*u1*u3 *a23 *b12 *kap *n1
2
2 3 6 2 2 2 2 4 2
- u1*u3 *v1*v2*a23 *b12 *kap + u1*u3 *v1*(2*a11 *a23 *b12 *kap *m3
4 4 2 3 5 2 3 2 6 3
- a23 *b12 *kap *m3 - a23 *b12 *kap *n1 - ---*a23 *b12 *kap *m3)
2
2 2 3 3 1 3 5 2
+ u1*u3 *v2*( - a11 *a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n2)
2
2 2 5 2 3 5 2 2
+ u1*u3 *v3*( - a11*a23 *b12 *kap *n2 + a23 *b12 *kap *n3) + u1*u3 *(
2 3 2 2 4 2
- a11 *a23 *b12 *kap*n1*n2 - 2*a11*a23 *b12 *kap *n1*n3
1 3 4 2
+ ---*a23 *b12 *kap *n1*n2)
2
2 2 2 5 1 2 7 2
+ u1*u3*v1 *v2*( - a11 *a23 *b12 *kap + ---*a23 *b12 *kap )
2
2 3 5 1 2 2 6 2
- u1*u3*v1 *v3*a11*a23 *b12 *kap + ---*u1*u3*v1 *a23 *b12 *kap *n1
2
1 2 6 2
- ---*u1*u3*v1*v2*a23 *b12 *kap *n2 + u1*u3*v1*v3
2
2 2 4 3 4 2 6 2
*( - 2*a11 *a23 *b12 *kap*n3 + a11*a23 *b12 *kap*n2 - a23 *b12 *kap *n3) + u1
1 2 4 2 2 4 2
*u3*v1*(---*a11 *a23*b12 *kap *m3*n2 - 2*a11*a23 *b12 *kap *m3*n3
2
1 3 4 2 1 2 5 2
+ ---*a23 *b12 *kap *m3*n2 - ---*a23 *b12 *kap *n1*n2
2 2
1 6 3
+ ---*a23*b12 *kap *m3*n2)
2
3 2 2 5 1 2 7 2
+ u1*u3*v2 *( - a11 *a23 *b12 *kap + ---*a23 *b12 *kap )
2
2 3 5
- u1*u3*v2 *v3*a11*a23 *b12 *kap
2 3 5 2 2 6 2
+ u1*u3*v2 *( - a23 *b12 *kap *m3 + a23 *b12 *kap *n1)
2 2 2 5 1 2 7 2
+ u1*u3*v2*v3 *( - a11 *a23 *b12 *kap + ---*a23 *b12 *kap ) + u1*u3*v2*(
2
3 3 2 2 3 2 2
2*a11 *a23 *b12*n2*n3 - a11 *a23 *b12 *kap *m3
3 3 4 3 2 2 3 4 2
+ 2*a11*a23 *b12 *kap*n2*n3 - a23 *b12 *kap *m3 - a23 *b12 *kap *m3*n1
3 2 5 3 2 1 2 5 2 2
- ---*a23 *b12 *kap *m3 + ---*a23 *b12 *kap *n1
2 2
1 2 5 2 2 3 3 5
+ ---*a23 *b12 *kap *n3 ) - u1*u3*v3 *a11*a23 *b12 *kap
2
2 3 5 2 1 2 6 2
+ u1*u3*v3 *(a23 *b12 *kap *m3 + ---*a23 *b12 *kap *n1) + u1*u3*v3*(
2
2 4 2 4 2 4 3
2*a11 *a23 *b12*n2*n3 - a11*a23 *b12 *kap *m3*n1 + a23 *b12 *kap*n2*n3
1 2 5 2 3 2
+ ---*a23 *b12 *kap *n2*n3) + u1*u3*(a11*a23 *b12 *kap*n1*n2*n3
2
1 2 4 3 2 2 4 2 2
- ---*a23 *b12 *kap *m3 *n1 + a23 *b12 *kap *n1*n3 )
2
3 2 2 4 1 2 6 2
+ u1*v1 *(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
1 2 2 5 1 2 2 4
- ---*u1*v1 *v3*a11*a23 *b12 *kap*n2 - ---*u1*v1 *a11*a23 *b12 *kap*n1*n3
2 2
2 2 2 4 1 2 6 2
+ u1*v1*v2 *(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
1 2 5 2
- ---*u1*v1*v2*a23 *b12 *kap *m3*n1
2
2 2 2 4 1 2 6 2
+ u1*v1*v3 *(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
2 4 2 2 3 3
- 2*u1*v1*v3*a11*a23 *b12 *kap *m3 + u1*v1*( - 2*a11 *a23 *m3*n2*n3
2 2 2 2 3 3 2
+ a11 *a23 *b12 *kap *m3 - 2*a11*a23 *b12 *kap*m3*n2*n3
4 2 2 3 3 2 4 3 3 1 2 4 2 2
+ a23 *b12 *kap *m3 + ---*a23 *b12 *kap *m3 - ---*a23 *b12 *kap *m3*n1
2 2
1 2 4 2 2 1 2 2 5
- ---*a23 *b12 *kap *m3*n3 ) - ---*u1*v2 *v3*a11*a23 *b12 *kap*n2
2 2
2 1 2 4 1 2 5 2
+ u1*v2 *( - ---*a11*a23 *b12 *kap*n1*n3 - ---*a23 *b12 *kap *m3*n2)
2 2
3 3 1 3 2 5
+ u1*v2*v3*a11*a23 *b12 *kap*m3*n2 - ---*u1*v3 *a11*a23 *b12 *kap*n2
2
2 1 2 4 1 2 5 2
+ u1*v3 *( - ---*a11*a23 *b12 *kap*n1*n3 + ---*a23 *b12 *kap *m3*n2) + u1*v3
2 2
2 3 2 3 2
*(a11 *a23 *b12*n2 *n3 + a11*a23 *b12 *kap*m3*n1*n2
1 3 3 2 1 2 4 2
+ ---*a23 *b12 *kap*n2 *n3 + ---*a23 *b12 *kap *m3*n1*n3) + u1*(
2 2
2 3 2 1 2 2 2 2
a11 *a23 *n1*n2*n3 - ---*a11 *a23*b12 *kap *m3 *n1*n2
2
1 3 2 2 2 1 3 2 2
- ---*a23 *b12 *kap *m3 *n1*n2 + ---*a23 *b12 *kap*n1*n2*n3
2 2
1 2 3 2 2 1 4 3 2
+ ---*a23 *b12 *kap *m3*n1 *n2 - ---*a23*b12 *kap *m3 *n1*n2)
2 2
1 4 3 3 2 3 2 3 6 3
+ ---*u2 *a11 *a23 *b12 *kap*n2 - u2 *u3 *a23 *b12 *kap
2
1 3 2 7 3 3
+ ---*u2 *u3*v1*a23 *b12 *kap + u2 *u3
2
2 4 2 4 4 2 1 2 6 3
*(2*a11 *a23 *b12 *kap*n2 + a23 *b12 *kap *n2 - ---*a23 *b12 *kap *n2)
2
3 2 3 3 1 3 5 2
+ u2 *v1*( - a11 *a23 *b12 *kap*n2 - ---*a23 *b12 *kap *n2)
2
3 2 2 4 2 1 2 6 3
+ u2 *v2*( - a11 *a23 *b12 *kap *m3 - ---*a23 *b12 *kap *m3)
2
3 2 3 2 2 1 3 4 2 2
+ u2 *(a11 *a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n2 )
2
2 3 2 6 3 2 2 3 5 2 2 2
+ u2 *u3 *a11*a23 *b12 *kap - 2*u2 *u3 *v1*a11*a23 *b12 *kap + u2 *u3 *(
3 3 2 2 2 4 2 5 2
- a11 *a23 *b12 *kap*n2 + a11 *a23 *b12 *kap *n3 + 2*a11*a23 *b12 *kap*n2
3 4 2 4 4 2 1 2 6 3
- a11*a23 *b12 *kap *n2 + 3*a23 *b12 *kap *n3 + ---*a23 *b12 *kap *n3)
2
3 2 2 2 6 2 2
+ ---*u2 *u3*v1 *a11*a23 *b12 *kap + u2 *u3*v1
2
4 3 2 5 2 3 5 2
*( - 2*a11*a23 *b12 *kap*n2 - a11*a23 *b12 *kap *n2 - a23 *b12 *kap *n3)
1 2 2 2 6 2 2 3 4 2
+ ---*u2 *u3*v2 *a11*a23 *b12 *kap - 4*u2 *u3*v2*a11*a23 *b12 *kap *m3
2
1 2 2 2 6 2
+ ---*u2 *u3*v3 *a11*a23 *b12 *kap
2
2 4 4 2 3 5 2
+ u2 *u3*v3*(a23 *b12 *kap *m3 - a23 *b12 *kap *n1)
2 4 2 2 3 4 2
+ u2 *u3*(2*a11*a23 *b12 *kap*n2 + 2*a23 *b12 *kap *n2*n3)
2 2 5 2 1 2 2 6 2
+ 2*u2 *v1*v2*a11*a23 *b12 *kap *m3 + ---*u2 *v1*v3*a23 *b12 *kap *n1
2
2 3 3 2 1 2 5 2
+ u2 *v1*( - a11*a23 *b12 *kap*n2 - ---*a23 *b12 *kap *n2*n3)
2
2 2 2 2 4 1 2 6 2
+ u2 *v2 *( - a11 *a23 *b12 *kap*n3 - ---*a23 *b12 *kap *n3)
2
2 2 4 2 1 2 2 3 4 2
- 2*u2 *v2*a11*a23 *b12 *kap *m3*n2 - ---*u2 *v3 *a11*a23 *b12 *kap*n2 + u2
2
2 3 2 1 3 4 2
*v3*(a11 *a23 *b12 *kap*m3*n2 + ---*a23 *b12 *kap *m3*n2
2
1 2 5 2 2 2 4 2
- ---*a23 *b12 *kap *n1*n2) + u2 *(a11 *a23 *n2 *n3
2
1 3 2 3 1 2 3 2
+ ---*a11*a23 *b12 *kap*n2 + ---*a11*a23 *b12 *kap *m3*n1*n2
2 2
1 4 2 2 1 2 4 2 2
+ ---*a23 *b12 *kap*n2 *n3 + ---*a23 *b12 *kap *n2 *n3)
2 2
4 3 6 3
- u2*u3 *a23 *b12 *kap
3 2 2 5 2 4 5 2 1 2 7 3
+ u2*u3 *v1*(2*a11 *a23 *b12 *kap - 2*a23 *b12 *kap + ---*a23 *b12 *kap )
2
3 2 4 2 3 4 2
+ u2*u3 *( - 2*a11 *a23 *b12 *kap*n2 - 4*a11*a23 *b12 *kap *n3
4 4 2 1 2 6 3
+ a23 *b12 *kap *n2 - ---*a23 *b12 *kap *n2)
2
2 2 3 6 2
+ 2*u2*u3 *v1 *a23 *b12 *kap
2 2 3 3 5 3 5 2
+ u2*u3 *v1*(a11 *a23 *b12 *kap*n2 - ---*a23 *b12 *kap *n2)
2
2 2 3 6 2 2 2 2 4 2
+ u2*u3 *v2 *a23 *b12 *kap + u2*u3 *v2*(2*a11 *a23 *b12 *kap *m3
4 4 2 3 5 2 3 2 6 3
- 3*a23 *b12 *kap *m3 + a23 *b12 *kap *n1 - ---*a23 *b12 *kap *m3)
2
2 2 3 6 2
+ u2*u3 *v3 *a23 *b12 *kap
2 3 4 2 2 5 2 2
+ u2*u3 *v3*( - 2*a11*a23 *b12 *kap *m3 + a11*a23 *b12 *kap *n1) + u2*u3 *(
2 3 2 2 4 2
- a11 *a23 *b12 *kap*n2 + 2*a11*a23 *b12 *kap*n2*n3
2 4 2 3 4 3 2
- 2*a11*a23 *b12 *kap *n2*n3 - a23 *b12 *kap *m3
1 3 4 2 2 3 4 2 2
+ ---*a23 *b12 *kap *n2 + 2*a23 *b12 *kap *n3 )
2
3 2 2 5 1 2 7 2
+ u2*u3*v1 *(a11 *a23 *b12 *kap - ---*a23 *b12 *kap )
2
2 3 4 2 6 2
+ u2*u3*v1 *( - a11*a23 *b12 *kap*n3 + a23 *b12 *kap *n2)
2 2 2 5 1 2 7 2
+ u2*u3*v1*v2 *(a11 *a23 *b12 *kap - ---*a23 *b12 *kap )
2
3 5 2 1 2 6 2
+ u2*u3*v1*v2*(a23 *b12 *kap *m3 - ---*a23 *b12 *kap *n1)
2
2 2 2 5 1 2 7 2
+ u2*u3*v1*v3 *(a11 *a23 *b12 *kap - ---*a23 *b12 *kap ) + u2*u3*v1*(
2
3 3 2 2 3 2 2
- 2*a11 *a23 *b12*n2*n3 + a11 *a23 *b12 *kap *m3
3 3 4 3 2 2 3 4 2
- 2*a11*a23 *b12 *kap*n2*n3 + a23 *b12 *kap *m3 - a23 *b12 *kap *m3*n1
3 2 5 3 2 1 2 5 2 2
+ ---*a23 *b12 *kap *m3 - ---*a23 *b12 *kap *n2
2 2
1 2 5 2 2
- ---*a23 *b12 *kap *n3 )
2
2 3 4 1 2 6 2
+ u2*u3*v2 *( - a11*a23 *b12 *kap*n3 + ---*a23 *b12 *kap *n2) + u2*u3*v2*v3
2
2 2 4 3 4 2 6 2
*( - 2*a11 *a23 *b12 *kap*n3 + a11*a23 *b12 *kap*n2 - a23 *b12 *kap *n3) + u2
1 2 4 2 2 4 2
*u3*v2*(---*a11 *a23*b12 *kap *m3*n2 - 2*a11*a23 *b12 *kap *m3*n3
2
3 3 4 2 1 2 5 2
- ---*a23 *b12 *kap *m3*n2 + ---*a23 *b12 *kap *n1*n2
2 2
1 6 3
+ ---*a23*b12 *kap *m3*n2)
2
2 3 4 1 2 6 2
+ u2*u3*v3 *( - a11*a23 *b12 *kap*n3 + ---*a23 *b12 *kap *n2) + u2*u3*v3*(
2
4 2 2 4 2
2*a11*a23 *b12 *kap*m3*n2 - a11*a23 *b12 *kap *m3*n2
3 4 2 1 2 5 2
+ a23 *b12 *kap *m3*n3 - ---*a23 *b12 *kap *n1*n3) + u2*u3*(
2
2 4 2 2 2 2 2 2 3 2 2
2*a11 *a23 *n2*n3 - a11 *a23 *b12 *kap *m3 *n2 + a11*a23 *b12 *kap*n2 *n3
4 2 2 2 4 2 2 3 3 2
- a23 *b12 *kap *m3 *n2 + a23 *b12 *kap*n2*n3 + a23 *b12 *kap *m3*n1*n2
3 2 4 3 2 2 4 2 2
- ---*a23 *b12 *kap *m3 *n2 + a23 *b12 *kap *n2*n3 )
2
2 2 2 4 1 2 6 2
+ u2*v1 *v2*(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
1 2 2 5
+ ---*u2*v1 *v3*a11*a23 *b12 *kap*n1
2
2 1 2 4 1 2 5 2
+ u2*v1 *( - ---*a11*a23 *b12 *kap*n2*n3 + ---*a23 *b12 *kap *m3*n1)
2 2
1 2 5 2 3 3
+ ---*u2*v1*v2*a23 *b12 *kap *m3*n2 - u2*v1*v3*a11*a23 *b12 *kap*m3*n2 + u2
2
1 2 4 2 3 2 4 2
*v1*(---*a11 *b12 *kap *m3*n1*n2 - ---*a23 *b12 *kap *m3*n1*n2
4 4
1 6 3
+ ---*b12 *kap *m3*n1*n2)
4
3 2 2 4 1 2 6 2
+ u2*v2 *(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
1 2 2 5 1 2 2 4
+ ---*u2*v2 *v3*a11*a23 *b12 *kap*n1 - ---*u2*v2 *a11*a23 *b12 *kap*n2*n3
2 2
2 2 2 4 1 2 6 2
+ u2*v2*v3 *(a11 *a23 *b12 *kap*m3 - ---*a23 *b12 *kap *m3)
2
2 4 2 2 3 3
- 2*u2*v2*v3*a11*a23 *b12 *kap *m3 + u2*v2*( - 2*a11 *a23 *m3*n2*n3
2 2 2 2 3 1 2 3 2 2
+ a11 *a23 *b12 *kap *m3 - ---*a11 *a23*b12 *kap *m3 *n1
2
3 2 4 2 2 3
- 2*a11*a23 *b12 *kap*m3*n2*n3 + a23 *b12 *kap *m3
1 3 3 2 2 3 2 4 3 3
- ---*a23 *b12 *kap *m3 *n1 + ---*a23 *b12 *kap *m3
2 2
1 2 4 2 2 1 2 4 2 2
- ---*a23 *b12 *kap *m3*n2 - ---*a23 *b12 *kap *m3*n3
2 2
1 5 3 2 1 3 2 5
- ---*a23*b12 *kap *m3 *n1) + ---*u2*v3 *a11*a23 *b12 *kap*n1
2 2
2 1 2 4 1 2 5 2
+ u2*v3 *( - ---*a11*a23 *b12 *kap*n2*n3 - ---*a23 *b12 *kap *m3*n1) + u2*v3
2 2
2 3 3 2 2
*( - a11 *a23 *b12*n1*n2*n3 + a11*a23 *b12 *kap*m3*n2
1 3 3 1 2 4 2
- ---*a23 *b12 *kap*n1*n2*n3 + ---*a23 *b12 *kap *m3*n2*n3) + u2*(
2 2
2 3 2 2 2 2 2 3
a11 *a23 *n2 *n3 - a11 *a23 *b12*kap *m3 *n1
1 2 2 2 2 2 4 2 3
+ ---*a11 *a23*b12 *kap *m3 *n1 - a23 *b12*kap *m3 *n1
2
1 3 2 2 2 2 1 3 2 2 2
+ ---*a23 *b12 *kap *m3 *n1 + ---*a23 *b12 *kap*n2 *n3
2 2
2 3 3 3 1 2 3 2 2
- a23 *b12 *kap *m3 *n1 + ---*a23 *b12 *kap *m3*n1*n2
2
1 4 3 2 2 5 2 6 3
+ ---*a23*b12 *kap *m3 *n1 ) + u3 *a11*a23 *b12 *kap
2
4 3 5 2 4 1 3 3 2
+ 2*u3 *v1*a11*a23 *b12 *kap + u3 *(---*a11 *a23 *b12 *kap*n2
2
5 2 2 4 2 3 4 2
+ ---*a11 *a23 *b12 *kap *n3 - a11*a23 *b12 *kap *n2
2
1 4 4 2 1 3 2 2 6 2
+ ---*a23 *b12 *kap *n3) - ---*u3 *v1 *a11*a23 *b12 *kap
2 2
3 2 5 2 3 5 2
+ u3 *v1*(a11*a23 *b12 *kap *n2 - a23 *b12 *kap *n3)
1 3 2 2 6 2
- ---*u3 *v2 *a11*a23 *b12 *kap
2
3 3 4 2 2 5 2
+ u3 *v2*(2*a11*a23 *b12 *kap *m3 - a11*a23 *b12 *kap *n1)
1 3 2 2 6 2
- ---*u3 *v3 *a11*a23 *b12 *kap
2
3 4 4 2 2 6 3 3
+ u3 *v3*( - a23 *b12 *kap *m3 - 2*a23 *b12 *kap *m3) + u3 *(
2 3 2 2 4 3 2
- 2*a11 *a23 *b12 *kap*n2*n3 + a11*a23 *b12 *kap *m3
2 4 2 2 2 3 3 5 2 2
- 2*a11*a23 *b12 *kap *n3 ) + u3 *v1 *a11*a23 *b12 *kap + u3 *v1
2 2 4 1 3 4 1 2 6 2
*(a11 *a23 *b12 *kap*n3 - ---*a11*a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n3)
2 2
2 2 3 5 2 2 3 5
+ u3 *v1*v2 *a11*a23 *b12 *kap + u3 *v1*v3 *a11*a23 *b12 *kap
2 3 5 2 2 2 4
- u3 *v1*v3*a23 *b12 *kap *m3 + u3 *v1*( - 2*a11 *a23 *b12*n2*n3
2 4 2 4 3
+ a11*a23 *b12 *kap *m3*n1 - a23 *b12 *kap*n2*n3
1 2 5 2 2 2
- ---*a23 *b12 *kap *n2*n3) + u3 *v2
2
2 2 4 1 3 4 1 2 6 2
*(a11 *a23 *b12 *kap*n3 - ---*a11*a23 *b12 *kap*n2 + ---*a23 *b12 *kap *n3) +
2 2
2
u3 *v2
2 4 2 3 4 2 1 2 5 2
*(a11*a23 *b12 *kap *m3*n2 - a23 *b12 *kap *m3*n3 + ---*a23 *b12 *kap *n1*n3)
2
2 2 3 2 1 2 4 2
+ u3 *v3*( - a11 *a23 *b12 *kap*m3*n2 + ---*a11 *a23*b12 *kap *m3*n2
2
2 4 2 3 4 2
- 2*a11*a23 *b12 *kap *m3*n3 + a23 *b12 *kap *m3*n2
1 6 3 2 3 3 2
+ ---*a23*b12 *kap *m3*n2) + u3 *( - 2*a11 *a23 *n2*n3
2
3 2 2 2 2 4 2
+ a11 *a23*b12 *kap *m3 *n2 + a11 *a23 *n2 *n3
3 2 2 2 1 3 2 2
+ a11*a23 *b12 *kap *m3 *n2 - ---*a11*a23 *b12 *kap*n2*n3
2
1 2 3 2 4 3 2
- ---*a11*a23 *b12 *kap *m3*n1*n2 + a11*a23*b12 *kap *m3 *n2
2
1 4 2 2 1 2 4 3 2
+ ---*a23 *b12 *kap*n2 *n3 - ---*a23 *b12 *kap *m3 *n3
2 2
1 2 4 2 3 1 4 2 6
+ ---*a23 *b12 *kap *n3 ) - ---*u3*v1 *a11*a23 *b12 *kap
2 2
1 3 2 5 2 2 2 6
+ ---*u3*v1 *a11*a23 *b12 *kap*n2 - u3*v1 *v2 *a11*a23 *b12 *kap
2
2 3 4 1 2 5
+ u3*v1 *v2*(a11*a23 *b12 *kap*m3 - ---*a11*a23 *b12 *kap*n1)
2
2 2 2 6 2 2 3 2
- u3*v1 *v3 *a11*a23 *b12 *kap + u3*v1 *(a11 *a23 *b12 *n2*n3
1 2 4 2 2 1 2 4 2
+ ---*a11*a23 *b12 *kap *m3 - ---*a11*a23 *b12 *kap*n3
2 2
1 3 4 1 2 2 5
+ ---*a23 *b12 *kap*n2*n3) + ---*u3*v1*v2 *a11*a23 *b12 *kap*n2
2 2
1 2 2 5 1 2 5 2
+ ---*u3*v1*v3 *a11*a23 *b12 *kap*n2 - ---*u3*v1*v3*a23 *b12 *kap *m3*n2 +
2 2
2 3 2 1 3 3 2
u3*v1*( - a11 *a23 *b12*n2 *n3 - ---*a23 *b12 *kap*n2 *n3
2
1 2 4 2 1 4 2 6
- ---*a23 *b12 *kap *m3*n1*n3) - ---*u3*v2 *a11*a23 *b12 *kap
2 2
3 3 4 1 2 5
+ u3*v2 *(a11*a23 *b12 *kap*m3 - ---*a11*a23 *b12 *kap*n1)
2
2 2 2 6 2 2 3 2
- u3*v2 *v3 *a11*a23 *b12 *kap + u3*v2 *(a11 *a23 *b12 *n2*n3
1 2 4 2 2 1 2 4 2
+ ---*a11*a23 *b12 *kap *m3 - ---*a11*a23 *b12 *kap*n3
2 2
1 3 4
+ ---*a23 *b12 *kap*n2*n3)
2
2 3 4 1 2 5
+ u3*v2*v3 *(a11*a23 *b12 *kap*m3 - ---*a11*a23 *b12 *kap*n1)
2
3 4 2 2 1 2 5 2
+ u3*v2*v3*( - a23 *b12 *kap *m3 + ---*a23 *b12 *kap *m3*n1) + u3*v2*(
2
2 4 2 3 4 2
- 2*a11 *a23 *m3*n2*n3 + a11 *a23 *b12*n1*n2*n3 - a23 *b12 *kap*m3*n2*n3
1 3 3 1 2 4 2
+ ---*a23 *b12 *kap*n1*n2*n3 - ---*a23 *b12 *kap *m3*n2*n3)
2 2
1 4 2 6 2 2 3 2
- ---*u3*v3 *a11*a23 *b12 *kap + u3*v3 *(a11 *a23 *b12 *n2*n3
2
1 2 4 2 2 1 2 4 2
- ---*a11*a23 *b12 *kap *m3 - ---*a11*a23 *b12 *kap*n3
2 2
1 3 4 3 2 3
+ ---*a23 *b12 *kap*n2*n3) + u3*(2*a11 *a23*b12*kap *m3 *n1
2
3 2 2 2 2 3 2 2 2 2
- a11 *b12 *kap *m3 *n1 - a11 *b12 *kap *m3 *n2
2 3 2 2 3 3
- a11 *a23 *kap*m3 *n2*n3 + a11 *a23 *n2*n3
1 2 2 2 2 3 2 3
- ---*a11 *a23*b12 *kap *m3 *n2*n3 + 2*a11*a23 *b12*kap *m3 *n1
2
2 2 2 2 2 2 2 2 2 2
- a11*a23 *b12 *kap *m3 *n1 - a11*a23 *b12 *kap *m3 *n2
3 3 3 4 3 2 2
+ 2*a11*a23*b12 *kap *m3 *n1 - a11*b12 *kap *m3 *n1
4 3 2 2 3 2 2 2
- a11*b12 *kap *m3 *n2 - a23 *b12 *kap *m3 *n2*n3
1 3 2 3 1 2 3 2
+ ---*a23 *b12 *kap*n2*n3 + ---*a23 *b12 *kap *m3*n1*n2*n3
2 2
1 4 3 2 1 3 2 4
- ---*a23*b12 *kap *m3 *n2*n3) + ---*v1 *a11*a23 *b12 *kap*m3*n1
2 2
1 2 2 4 1 2 2 4
+ ---*v1 *v2*a11*a23 *b12 *kap*m3*n2 + ---*v1*v2 *a11*a23 *b12 *kap*m3*n1
2 2
1 2 2 4 1 2 4 2 2
+ ---*v1*v3 *a11*a23 *b12 *kap*m3*n1 - ---*v1*v3*a23 *b12 *kap *m3 *n1
2 2
2 3 1 3 2
+ v1*( - a11 *a23 *m3*n1*n2*n3 - ---*a23 *b12 *kap*m3*n1*n2*n3)
2
1 3 2 4 1 2 2 4
+ ---*v2 *a11*a23 *b12 *kap*m3*n2 + ---*v2*v3 *a11*a23 *b12 *kap*m3*n2
2 2
1 2 4 2 2
- ---*v2*v3*a23 *b12 *kap *m3 *n2
2
2 3 2 1 3 2 2
+ v2*( - a11 *a23 *m3*n2 *n3 - ---*a23 *b12 *kap*m3*n2 *n3)
2
1 2 3 2 2 1 2 3 2 2
+ ---*v3 *a11*a23 *b12 *kap*m3 *n2 + ---*v3*a23 *b12 *kap *m3 *n1*n2
2 2
Stop of a subroutine.
Number of garbage collections exceeds max_gc_fac.
which is not further factorizable.
{HAM,FI} = 0
3 2 3 2 2 2
FI=u1 *u3*v1*b12 *kap - u1 *v1*a23*n2 + u1 *u2*u3*v2*b12 *kap - u1 *u2*v2*a23*n2
2 2 2 2 2
+ u1 *u3 *v3*b12 *kap - 2*u1 *u3*v1*v2*a11*b12 - 2*u1 *u3*v1*v3*a23*b12
2 2 2 2 2
- u1 *u3*v3*a23*n2 + 2*u1 *v1 *a11*m3 - u1 *v1*v3*b12*n2 - u1 *v1*n1*n3
2 2 2 2
+ u1*u2 *u3*v1*b12 *kap - u1*u2 *v1*a23*n2 + 2*u1*u2*u3*v1 *a11*b12
2
- 2*u1*u2*u3*v1*a23*n3 - 2*u1*u2*u3*v2 *a11*b12 - 2*u1*u2*u3*v2*v3*a23*b12
+ 4*u1*u2*v1*v2*a11*m3 + u1*u2*v1*v3*b12*n1 - u1*u2*v1*n2*n3
3 2
- u1*u2*v2*v3*b12*n2 - u1*u2*v2*n1*n3 + u1*u3 *v1*b12 *kap
2 2 2
+ 2*u1*u3 *v1 *a23*b12 + u1*u3 *v1*(2*a11*n3 - a23*n2)
2 2 2 3 2
- 2*u1*u3 *v2*v3*a11*b12 - 2*u1*u3 *v3 *a23*b12 - u1*u3*v1 *b12
2 2 2
+ u1*u3*v1 *b12*n2 - u1*u3*v1*v2 *b12 + u1*u3*v1*v2*(2*a23*m3 - b12*n1)
2 2 2 2
- u1*u3*v1*v3 *b12 + 2*u1*u3*v1*v3*a11*m3 + u1*u3*v1*(kap*m3 - n3 )
2 2
- u1*u3*v3 *b12*n2 - u1*u3*v3*n1*n3 + u1*v1 *m3*n1 + u1*v1*v2*m3*n2
3 2 3 2 2 2
+ u2 *u3*v2*b12 *kap - u2 *v2*a23*n2 + u2 *u3 *v3*b12 *kap
2 2 2
+ 2*u2 *u3*v1*v2*a11*b12 - 2*u2 *u3*v2*a23*n3 - u2 *u3*v3*a23*n2
2 2 2 2 3 2
+ 2*u2 *v2 *a11*m3 + u2 *v2*v3*b12*n1 - u2 *v2*n2*n3 + u2*u3 *v2*b12 *kap
2 2
+ 2*u2*u3 *v1*v2*a23*b12 + 2*u2*u3 *v1*v3*a11*b12
2 2 2 2
+ u2*u3 *v2*(2*a11*n3 - a23*n2) - 2*u2*u3 *v3*a23*n3 - u2*u3*v1 *v2*b12
3 2 2
+ u2*u3*v1*v2*b12*n2 - u2*u3*v2 *b12 + u2*u3*v2 *(2*a23*m3 - b12*n1)
2 2 2 2
- u2*u3*v2*v3 *b12 + 2*u2*u3*v2*v3*a11*m3 + u2*u3*v2*(kap*m3 - n3 )
2 2
+ u2*u3*v3 *b12*n1 - u2*u3*v3*n2*n3 + u2*v1*v2*m3*n1 + u2*v2 *m3*n2
4 2 3 3
+ u3 *v3*b12 *kap + 2*u3 *v1*v3*a23*b12 + u3 *v3*(2*a11*n3 - a23*n2)
2 2 2 2 2 2 2
- u3 *v1 *v3*b12 + u3 *v1*v3*b12*n2 - u3 *v2 *v3*b12
2 2 3 2 2 2 2
+ u3 *v2*v3*(2*a23*m3 - b12*n1) - u3 *v3 *b12 + u3 *v3*(kap*m3 - n3 )
+ u3*v1*v3*m3*n1 + u3*v2*v3*m3*n2
2
= - ((n2*u2 + n3*u3 + n1*u1)*n3 - kap*m3 *u3 - (n1*v1 + n2*v2)*m3
+ ((u1*v3 - u3*v1)*n2 - (u2*v3 - u3*v2)*n1)*b12
2 2 2 2 2 2 2
- ((u2 + u3 + u1 )*kap - (v2 + v3 + v1 ))*b12 *u3
+ 2*(((u1*v2 - u2*v1)*b12 - n3*u3)*u3 - (u1*v1 + u2*v2)*m3)*a11 -
2 2 2
(2*(m3*v2 - n3*u2 - (u1*v3 - u3*v1)*b12)*u3 - (u2 + u3 + u1 )*n2)*a23)
*(u2*v2 + u3*v3 + u1*v1)
{HAM,FI} = 0
2 2 2
FI=u1 *u3*b12 *kap - u1 *a23*n2 - 2*u1*u3*v2*a11*b12 - 2*u1*u3*v3*a23*b12
2 2 2
+ 2*u1*v1*a11*m3 - u1*v3*b12*n2 - u1*n1*n3 + u2 *u3*b12 *kap - u2 *a23*n2
+ 2*u2*u3*v1*a11*b12 - 2*u2*u3*a23*n3 + 2*u2*v2*a11*m3 + u2*v3*b12*n1
3 2 2 2
- u2*n2*n3 + u3 *b12 *kap + 2*u3 *v1*a23*b12 + u3 *(2*a11*n3 - a23*n2)
2 2 2 2
- u3*v1 *b12 + u3*v1*b12*n2 - u3*v2 *b12 + u3*v2*(2*a23*m3 - b12*n1)
2 2 2 2
- u3*v3 *b12 + u3*(kap*m3 - n3 ) + v1*m3*n1 + v2*m3*n2
which is not further factorizable.
{HAM,FI} = 0
And again in machine readable form:
HAM=u1**2*a11 + u1*v2*b12 + u1*n1 + u2**2*a11 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2
- u3**2*a11 + u3*n3 + v3*m3$
FI= - u1**4*u3*b12**6*kap**3 + u1**4*( - a11**2*a23*b12**2*kap*n2 + a23*b12**4*
kap**2*n2) + 2*u1**3*u3*v2*a11*b12**5*kap**2 + 2*u1**3*u3*v3*a23*b12**5*kap**2 -
2*u1**3*v1*a11*b12**4*kap**2*m3 - 2*u1**3*v2*a11*a23*b12**3*kap*n2 + u1**3*v3*
b12**5*kap**2*n2 + u1**3*( - 2*a11*a23*b12**2*kap*n1*n2 + b12**4*kap**2*n1*n3) -
2*u1**2*u2**2*u3*b12**6*kap**3 + u1**2*u2**2*( - 2*a11**2*a23*b12**2*kap*n2 + 2
*a23*b12**4*kap**2*n2) - 2*u1**2*u2*u3*v1*a11*b12**5*kap**2 + u1**2*u2*u3*( - 4*
a11*a23**2*b12**2*kap*n2 + 2*a23*b12**4*kap**2*n3) + 2*u1**2*u2*v1*a11*a23*b12**
3*kap*n2 - 2*u1**2*u2*v2*a11*b12**4*kap**2*m3 - u1**2*u2*v3*b12**5*kap**2*n1 +
u1**2*u2*( - 2*a11*a23*b12**2*kap*n2**2 + b12**4*kap**2*n2*n3) - 2*u1**2*u3**3*
b12**6*kap**3 - 2*u1**2*u3**2*v1*a23*b12**5*kap**2 + u1**2*u3**2*(2*a11**2*a23*
b12**2*kap*n2 - 2*a11*b12**4*kap**2*n3 + 2*a23*b12**4*kap**2*n2) - u1**2*u3*v1*
b12**5*kap**2*n2 + u1**2*u3*v2*( - 2*a23*b12**4*kap**2*m3 + b12**5*kap**2*n1) +
2*u1**2*v1**2*a11*b12**4*kap*n3 - u1**2*v1*b12**4*kap**2*m3*n1 + u1**2*v2*( - 2*
a23*b12**3*kap*n1*n2 - b12**4*kap**2*m3*n2) + u1**2*v3**2*a23*b12**4*kap*n2 - 2*
u1**2*v3*a11*a23*b12**2*kap*m3*n2 + u1**2*( - 2*a11*a23**2*n2**2*n3 - a23*b12**2
*kap**2*m3**2*n2 - a23*b12**2*kap*n1**2*n2 + a23*b12**2*kap*n2*n3**2) + 2*u1*u2
**2*u3*v2*a11*b12**5*kap**2 + 2*u1*u2**2*u3*v3*a23*b12**5*kap**2 - 2*u1*u2**2*v1
*a11*b12**4*kap**2*m3 - 2*u1*u2**2*v2*a11*a23*b12**3*kap*n2 + u1*u2**2*v3*b12**5
*kap**2*n2 + u1*u2**2*( - 2*a11*a23*b12**2*kap*n1*n2 + b12**4*kap**2*n1*n3) - 4*
u1*u2*u3*v2*a23**2*b12**3*kap*n2 - 4*u1*u2*u3*a23**2*b12**2*kap*n1*n2 + 4*u1*u2*
v1*v2*a11*b12**4*kap*n3 + 2*u1*u2*v1*a23*b12**3*kap*n1*n2 - 2*u1*u2*v2*a23*b12**
3*kap*n2**2 - 2*u1*u2*a23*b12**2*kap*n1*n2**2 + 2*u1*u3**3*v2*a11*b12**5*kap**2
+ 2*u1*u3**3*v3*a23*b12**5*kap**2 - 2*u1*u3**2*v1*a11*b12**4*kap**2*m3 + 2*u1*u3
**2*v2*a11*a23*b12**3*kap*n2 + u1*u3**2*v3*b12**5*kap**2*n2 + u1*u3**2*(2*a11*
a23*b12**2*kap*n1*n2 + b12**4*kap**2*n1*n3) + 2*u1*u3*v1**2*v2*a11*b12**5*kap +
2*u1*u3*v1**2*v3*a23*b12**5*kap + u1*u3*v1*v3*(4*a11*b12**4*kap*n3 - 2*a23*b12**
4*kap*n2) + 2*u1*u3*v2**3*a11*b12**5*kap + 2*u1*u3*v2**2*v3*a23*b12**5*kap + 2*
u1*u3*v2*v3**2*a11*b12**5*kap + u1*u3*v2*( - 4*a11**2*a23*b12*n2*n3 - 2*a11*b12
**3*kap**2*m3**2 + 2*a11*b12**3*kap*n3**2 - 2*a23*b12**3*kap*n2*n3) + 2*u1*u3*v3
**3*a23*b12**5*kap + u1*u3*v3*( - 4*a11*a23**2*b12*n2*n3 - 2*a23*b12**3*kap**2*
m3**2 + 2*a23*b12**3*kap*n3**2) - 2*u1*u3*a23*b12**2*kap*n1*n2*n3 - 2*u1*v1**3*
a11*b12**4*kap*m3 + u1*v1**2*v3*b12**5*kap*n2 + u1*v1**2*b12**4*kap*n1*n3 - 2*u1
*v1*v2**2*a11*b12**4*kap*m3 - 2*u1*v1*v3**2*a11*b12**4*kap*m3 + u1*v1*(4*a11**2*
a23*m3*n2*n3 + 2*a11*b12**2*kap**2*m3**3 - 2*a11*b12**2*kap*m3*n3**2 + 2*a23*b12
**2*kap*m3*n2*n3) + u1*v2**2*v3*b12**5*kap*n2 + u1*v2**2*b12**4*kap*n1*n3 - 2*u1
*v2*v3*a23*b12**3*kap*m3*n2 + u1*v3**3*b12**5*kap*n2 + u1*v3**2*b12**4*kap*n1*n3
+ u1*v3*( - 2*a11*a23*b12*n2**2*n3 - 2*a23*b12**2*kap*m3*n1*n2 - b12**3*kap**2*
m3**2*n2 + b12**3*kap*n2*n3**2) + u1*( - 2*a11*a23*n1*n2*n3**2 - b12**2*kap**2*
m3**2*n1*n3 + b12**2*kap*n1*n3**3) - u2**4*u3*b12**6*kap**3 + u2**4*( - a11**2*
a23*b12**2*kap*n2 + a23*b12**4*kap**2*n2) - 2*u2**3*u3*v1*a11*b12**5*kap**2 + u2
**3*u3*( - 4*a11*a23**2*b12**2*kap*n2 + 2*a23*b12**4*kap**2*n3) + 2*u2**3*v1*a11
*a23*b12**3*kap*n2 - 2*u2**3*v2*a11*b12**4*kap**2*m3 - u2**3*v3*b12**5*kap**2*n1
+ u2**3*( - 2*a11*a23*b12**2*kap*n2**2 + b12**4*kap**2*n2*n3) - 2*u2**2*u3**3*
b12**6*kap**3 - 2*u2**2*u3**2*v1*a23*b12**5*kap**2 + u2**2*u3**2*(2*a11**2*a23*
b12**2*kap*n2 - 2*a11*b12**4*kap**2*n3 - 4*a23**3*b12**2*kap*n2 + 2*a23*b12**4*
kap**2*n2) + u2**2*u3*v1*(4*a23**2*b12**3*kap*n2 - b12**5*kap**2*n2) + u2**2*u3*
v2*( - 2*a23*b12**4*kap**2*m3 + b12**5*kap**2*n1) - 4*u2**2*u3*a23**2*b12**2*kap
*n2**2 + u2**2*v1*(2*a23*b12**3*kap*n2**2 - b12**4*kap**2*m3*n1) + 2*u2**2*v2**2
*a11*b12**4*kap*n3 - u2**2*v2*b12**4*kap**2*m3*n2 + u2**2*v3**2*a23*b12**4*kap*
n2 - 2*u2**2*v3*a11*a23*b12**2*kap*m3*n2 + u2**2*( - 2*a11*a23**2*n2**2*n3 - a23
*b12**2*kap**2*m3**2*n2 - a23*b12**2*kap*n2**3 + a23*b12**2*kap*n2*n3**2) - 2*u2
*u3**3*v1*a11*b12**5*kap**2 + u2*u3**3*(4*a11*a23**2*b12**2*kap*n2 + 2*a23*b12**
4*kap**2*n3) - 2*u2*u3**2*v1*a11*a23*b12**3*kap*n2 - 2*u2*u3**2*v2*a11*b12**4*
kap**2*m3 - u2*u3**2*v3*b12**5*kap**2*n1 + u2*u3**2*(2*a11*a23*b12**2*kap*n2**2
- 4*a23**2*b12**2*kap*n2*n3 + b12**4*kap**2*n2*n3) - 2*u2*u3*v1**3*a11*b12**5*
kap + 2*u2*u3*v1**2*a23*b12**4*kap*n3 - 2*u2*u3*v1*v2**2*a11*b12**5*kap - 2*u2*
u3*v1*v3**2*a11*b12**5*kap + u2*u3*v1*(4*a11**2*a23*b12*n2*n3 + 2*a11*b12**3*kap
**2*m3**2 - 2*a11*b12**3*kap*n3**2 + 2*a23*b12**3*kap*n2*n3) + 2*u2*u3*v2**2*a23
*b12**4*kap*n3 + u2*u3*v2*v3*(4*a11*b12**4*kap*n3 - 2*a23*b12**4*kap*n2) + 2*u2*
u3*v3**2*a23*b12**4*kap*n3 - 4*u2*u3*v3*a23**2*b12**2*kap*m3*n2 + u2*u3*( - 4*
a11*a23**2*n2*n3**2 - 2*a23*b12**2*kap**2*m3**2*n3 - 2*a23*b12**2*kap*n2**2*n3 +
2*a23*b12**2*kap*n3**3) - 2*u2*v1**2*v2*a11*b12**4*kap*m3 - u2*v1**2*v3*b12**5*
kap*n1 + u2*v1**2*b12**4*kap*n2*n3 + 2*u2*v1*v3*a23*b12**3*kap*m3*n2 - 2*u2*v2**
3*a11*b12**4*kap*m3 - u2*v2**2*v3*b12**5*kap*n1 + u2*v2**2*b12**4*kap*n2*n3 - 2*
u2*v2*v3**2*a11*b12**4*kap*m3 + u2*v2*(4*a11**2*a23*m3*n2*n3 + 2*a11*b12**2*kap
**2*m3**3 - 2*a11*b12**2*kap*m3*n3**2 + 2*a23*b12**2*kap*m3*n2*n3) - u2*v3**3*
b12**5*kap*n1 + u2*v3**2*b12**4*kap*n2*n3 + u2*v3*(2*a11*a23*b12*n1*n2*n3 - 2*
a23*b12**2*kap*m3*n2**2 + b12**3*kap**2*m3**2*n1 - b12**3*kap*n1*n3**2) + u2*( -
2*a11*a23*n2**2*n3**2 - b12**2*kap**2*m3**2*n2*n3 + b12**2*kap*n2*n3**3) - u3**
5*b12**6*kap**3 - 2*u3**4*v1*a23*b12**5*kap**2 + u3**4*( - a11**2*a23*b12**2*kap
*n2 - 2*a11*b12**4*kap**2*n3 + a23*b12**4*kap**2*n2) - u3**3*v1*b12**5*kap**2*n2
+ u3**3*v2*( - 2*a23*b12**4*kap**2*m3 + b12**5*kap**2*n1) + 4*u3**3*a11*a23*b12
**2*kap*n2*n3 - 2*u3**2*v1**3*a23*b12**5*kap + u3**2*v1**2*( - 2*a11*b12**4*kap*
n3 + a23*b12**4*kap*n2) - 2*u3**2*v1*v2**2*a23*b12**5*kap - 2*u3**2*v1*v3**2*a23
*b12**5*kap + u3**2*v1*(4*a11*a23**2*b12*n2*n3 + 2*a23*b12**3*kap**2*m3**2 - 2*
a23*b12**3*kap*n3**2 - b12**4*kap**2*m3*n1) + u3**2*v2**2*( - 2*a11*b12**4*kap*
n3 + a23*b12**4*kap*n2) - u3**2*v2*b12**4*kap**2*m3*n2 + 2*u3**2*v3*a11*a23*b12
**2*kap*m3*n2 + u3**2*(4*a11**2*a23*n2*n3**2 - 2*a11*a23**2*n2**2*n3 + 2*a11*b12
**2*kap**2*m3**2*n3 - 2*a11*b12**2*kap*n3**3 - a23*b12**2*kap**2*m3**2*n2) + u3*
v1**4*b12**6*kap - u3*v1**3*b12**5*kap*n2 + 2*u3*v1**2*v2**2*b12**6*kap + u3*v1
**2*v2*( - 2*a23*b12**4*kap*m3 + b12**5*kap*n1) + 2*u3*v1**2*v3**2*b12**6*kap +
u3*v1**2*( - 2*a11*a23*b12**2*n2*n3 - 2*b12**4*kap**2*m3**2 + 2*b12**4*kap*n3**2
) - u3*v1*v2**2*b12**5*kap*n2 - u3*v1*v3**2*b12**5*kap*n2 + u3*v1*(2*a11*a23*b12
*n2**2*n3 + b12**3*kap**2*m3**2*n2 - b12**3*kap*n2*n3**2) + u3*v2**4*b12**6*kap
+ u3*v2**3*( - 2*a23*b12**4*kap*m3 + b12**5*kap*n1) + 2*u3*v2**2*v3**2*b12**6*
kap + u3*v2**2*( - 2*a11*a23*b12**2*n2*n3 - 2*b12**4*kap**2*m3**2 + 2*b12**4*kap
*n3**2) + u3*v2*v3**2*( - 2*a23*b12**4*kap*m3 + b12**5*kap*n1) + u3*v2*(4*a11*
a23**2*m3*n2*n3 - 2*a11*a23*b12*n1*n2*n3 + 2*a23*b12**2*kap**2*m3**3 - 2*a23*b12
**2*kap*m3*n3**2 - b12**3*kap**2*m3**2*n1 + b12**3*kap*n1*n3**2) + u3*v3**4*b12
**6*kap + u3*v3**2*( - 2*a11*a23*b12**2*n2*n3 - 2*b12**4*kap**2*m3**2 + 2*b12**4
*kap*n3**2) + u3*(2*a11*a23*kap*m3**2*n2*n3 - 2*a11*a23*n2*n3**3 + b12**2*kap**3
*m3**4 - 2*b12**2*kap**2*m3**2*n3**2 + b12**2*kap*n3**4) - v1**3*b12**4*kap*m3*
n1 - v1**2*v2*b12**4*kap*m3*n2 - v1*v2**2*b12**4*kap*m3*n1 - v1*v3**2*b12**4*kap
*m3*n1 + v1*(2*a11*a23*m3*n1*n2*n3 + b12**2*kap**2*m3**3*n1 - b12**2*kap*m3*n1*
n3**2) - v2**3*b12**4*kap*m3*n2 - v2*v3**2*b12**4*kap*m3*n2 + v2*(2*a11*a23*m3*
n2**2*n3 + b12**2*kap**2*m3**3*n2 - b12**2*kap*m3*n2*n3**2) - v3**2*a23*b12**2*
kap*m3**2*n2$
FI=2*u1**4*a11**3*a23**3*b12**2*kap*n2 - 2*u1**3*u3*v2*a23**2*b12**7*kap**3 - 2*
u1**3*u3*a23**2*b12**6*kap**3*n1 + u1**3*v1*( - 4*a11**2*a23**2*b12**4*kap**2*m3
- 2*a23**2*b12**6*kap**3*m3) + u1**3*v2*(4*a11**2*a23**3*b12**3*kap*n2 + 2*a23
**3*b12**5*kap**2*n2) + u1**3*(4*a11**2*a23**3*b12**2*kap*n1*n2 + 2*a23**3*b12**
4*kap**2*n1*n2) + 4*u1**2*u2**2*a11**3*a23**3*b12**2*kap*n2 - 4*u1**2*u2*u3**2*
a23**3*b12**6*kap**3 + 2*u1**2*u2*u3*v1*a23**2*b12**7*kap**3 + u1**2*u2*u3*(8*
a11**2*a23**4*b12**2*kap*n2 + 4*a23**4*b12**4*kap**2*n2 - 2*a23**2*b12**6*kap**3
*n2) + u1**2*u2*v1*( - 4*a11**2*a23**3*b12**3*kap*n2 - 2*a23**3*b12**5*kap**2*n2
) + u1**2*u2*v2*( - 4*a11**2*a23**2*b12**4*kap**2*m3 - 2*a23**2*b12**6*kap**3*m3
) + u1**2*u2*(4*a11**2*a23**3*b12**2*kap*n2**2 + 2*a23**3*b12**4*kap**2*n2**2) +
4*u1**2*u3**3*a11*a23**2*b12**6*kap**3 + u1**2*u3**2*( - 4*a11**3*a23**3*b12**2
*kap*n2 + 4*a11**2*a23**2*b12**4*kap**2*n3 - 4*a11*a23**3*b12**4*kap**2*n2 + 4*
a23**4*b12**4*kap**2*n3 + 2*a23**2*b12**6*kap**3*n3) + 2*u1**2*u3*v1**2*a11*a23
**2*b12**6*kap**2 + 6*u1**2*u3*v2**2*a11*a23**2*b12**6*kap**2 + 4*u1**2*u3*v2*v3
*a23**3*b12**6*kap**2 + 4*u1**2*u3*v2*a11*a23**2*b12**5*kap**2*n1 + 2*u1**2*u3*
v3**2*a11*a23**2*b12**6*kap**2 + u1**2*u3*v3*(4*a23**4*b12**4*kap**2*m3 + 4*a23
**3*b12**5*kap**2*n1) + u1**2*v1**2*( - 4*a11**2*a23**2*b12**4*kap*n3 - 2*a23**2
*b12**6*kap**2*n3) - 8*u1**2*v1*v2*a11*a23**2*b12**5*kap**2*m3 - 8*u1**2*v1*a11*
a23**2*b12**4*kap**2*m3*n1 + 2*u1**2*v2*v3*a23**2*b12**6*kap**2*n2 + u1**2*v2*(4
*a11*a23**3*b12**3*kap*n1*n2 + 2*a23**2*b12**5*kap**2*n1*n3) - 2*u1**2*v3**2*a11
*a23**3*b12**4*kap*n2 + u1**2*v3*(4*a11**2*a23**3*b12**2*kap*m3*n2 + 2*a23**3*
b12**4*kap**2*m3*n2 + 2*a23**2*b12**5*kap**2*n1*n2) + u1**2*(4*a11**2*a23**4*n2
**2*n3 + 2*a11*a23**3*b12**2*kap*n1**2*n2 + 2*a11*a23**2*b12**3*kap**2*m3*n1*n2
+ 2*a23**4*b12**2*kap*n2**2*n3 + 2*a23**2*b12**4*kap**2*n1**2*n3) - 2*u1*u2**2*
u3*v2*a23**2*b12**7*kap**3 - 2*u1*u2**2*u3*a23**2*b12**6*kap**3*n1 + u1*u2**2*v1
*( - 4*a11**2*a23**2*b12**4*kap**2*m3 - 2*a23**2*b12**6*kap**3*m3) + u1*u2**2*v2
*(4*a11**2*a23**3*b12**3*kap*n2 + 2*a23**3*b12**5*kap**2*n2) + u1*u2**2*(4*a11**
2*a23**3*b12**2*kap*n1*n2 + 2*a23**3*b12**4*kap**2*n1*n2) + 8*u1*u2*u3**2*v2*a11
*a23**3*b12**5*kap**2 + 8*u1*u2*u3**2*v3*a23**4*b12**5*kap**2 - 8*u1*u2*u3*v1*v2
*a11*a23**2*b12**6*kap**2 - 4*u1*u2*u3*v1*v3*a23**3*b12**6*kap**2 + u1*u2*u3*v1*
( - 16*a11*a23**3*b12**4*kap**2*m3 - 4*a11*a23**2*b12**5*kap**2*n1) + u1*u2*u3*
v2*(8*a11*a23**4*b12**3*kap*n2 + 4*a11*a23**2*b12**5*kap**2*n2 + 4*a23**3*b12**5
*kap**2*n3) + 8*u1*u2*u3*v3*a23**3*b12**5*kap**2*n2 + u1*u2*u3*(8*a11*a23**4*b12
**2*kap*n1*n2 + 8*a23**3*b12**4*kap**2*n1*n3) + 8*u1*u2*v1**2*a11*a23**2*b12**5*
kap**2*m3 + u1*u2*v1*v2*( - 8*a11**2*a23**2*b12**4*kap*n3 - 4*a23**2*b12**6*kap
**2*n3) - 2*u1*u2*v1*v3*a23**2*b12**6*kap**2*n2 + u1*u2*v1*( - 4*a11*a23**3*b12
**3*kap*n1*n2 - 8*a11*a23**2*b12**4*kap**2*m3*n2 - 2*a23**2*b12**5*kap**2*n1*n3)
- 8*u1*u2*v2**2*a11*a23**2*b12**5*kap**2*m3 - 2*u1*u2*v2*v3*a23**2*b12**6*kap**
2*n1 + u1*u2*v2*(4*a11*a23**3*b12**3*kap*n2**2 - 8*a11*a23**2*b12**4*kap**2*m3*
n1 + 2*a23**2*b12**5*kap**2*n2*n3) + u1*u2*v3*( - 2*a23**2*b12**5*kap**2*n1**2 +
2*a23**2*b12**5*kap**2*n2**2) + u1*u2*(4*a11*a23**3*b12**2*kap*n1*n2**2 + 4*a23
**2*b12**4*kap**2*n1*n2*n3) + u1*u3**3*v2*( - 8*a11**2*a23**2*b12**5*kap**2 - 2*
a23**2*b12**7*kap**3) - 8*u1*u3**3*v3*a11*a23**3*b12**5*kap**2 - 2*u1*u3**3*a23
**2*b12**6*kap**3*n1 - 4*u1*u3**2*v1*v2*a23**3*b12**6*kap**2 + u1*u3**2*v1*(8*
a11**2*a23**2*b12**4*kap**2*m3 - 4*a23**4*b12**4*kap**2*m3 - 4*a23**3*b12**5*kap
**2*n1 - 6*a23**2*b12**6*kap**3*m3) + u1*u3**2*v2*( - 4*a11**2*a23**3*b12**3*kap
*n2 + 2*a23**3*b12**5*kap**2*n2) + u1*u3**2*v3*( - 4*a11*a23**2*b12**5*kap**2*n2
+ 4*a23**3*b12**5*kap**2*n3) + u1*u3**2*( - 4*a11**2*a23**3*b12**2*kap*n1*n2 -
8*a11*a23**2*b12**4*kap**2*n1*n3 + 2*a23**3*b12**4*kap**2*n1*n2) + u1*u3*v1**2*
v2*( - 4*a11**2*a23**2*b12**5*kap + 2*a23**2*b12**7*kap**2) - 4*u1*u3*v1**2*v3*
a11*a23**3*b12**5*kap + 2*u1*u3*v1**2*a23**2*b12**6*kap**2*n1 - 2*u1*u3*v1*v2*
a23**2*b12**6*kap**2*n2 + u1*u3*v1*v3*( - 8*a11**2*a23**2*b12**4*kap*n3 + 4*a11*
a23**3*b12**4*kap*n2 - 4*a23**2*b12**6*kap**2*n3) + u1*u3*v1*(2*a11**2*a23*b12**
4*kap**2*m3*n2 - 8*a11*a23**2*b12**4*kap**2*m3*n3 + 2*a23**3*b12**4*kap**2*m3*n2
- 2*a23**2*b12**5*kap**2*n1*n2 + 2*a23*b12**6*kap**3*m3*n2) + u1*u3*v2**3*( - 4
*a11**2*a23**2*b12**5*kap + 2*a23**2*b12**7*kap**2) - 4*u1*u3*v2**2*v3*a11*a23**
3*b12**5*kap + u1*u3*v2**2*( - 4*a23**3*b12**5*kap**2*m3 + 4*a23**2*b12**6*kap**
2*n1) + u1*u3*v2*v3**2*( - 4*a11**2*a23**2*b12**5*kap + 2*a23**2*b12**7*kap**2)
+ u1*u3*v2*(8*a11**3*a23**3*b12*n2*n3 - 4*a11**2*a23**2*b12**3*kap**2*m3**2 + 8*
a11*a23**3*b12**3*kap*n2*n3 - 4*a23**4*b12**3*kap**2*m3**2 - 4*a23**3*b12**4*kap
**2*m3*n1 - 6*a23**2*b12**5*kap**3*m3**2 + 2*a23**2*b12**5*kap**2*n1**2 + 2*a23
**2*b12**5*kap**2*n3**2) - 4*u1*u3*v3**3*a11*a23**3*b12**5*kap + u1*u3*v3**2*(4*
a23**3*b12**5*kap**2*m3 + 2*a23**2*b12**6*kap**2*n1) + u1*u3*v3*(8*a11**2*a23**4
*b12*n2*n3 - 4*a11*a23**2*b12**4*kap**2*m3*n1 + 4*a23**4*b12**3*kap*n2*n3 + 2*
a23**2*b12**5*kap**2*n2*n3) + u1*u3*(4*a11*a23**3*b12**2*kap*n1*n2*n3 - 2*a23**2
*b12**4*kap**3*m3**2*n1 + 4*a23**2*b12**4*kap**2*n1*n3**2) + u1*v1**3*(4*a11**2*
a23**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*m3) - 2*u1*v1**2*v3*a11*a23**2*b12
**5*kap*n2 - 2*u1*v1**2*a11*a23**2*b12**4*kap*n1*n3 + u1*v1*v2**2*(4*a11**2*a23
**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*m3) - 2*u1*v1*v2*a23**2*b12**5*kap**2
*m3*n1 + u1*v1*v3**2*(4*a11**2*a23**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*m3)
- 8*u1*v1*v3*a11*a23**2*b12**4*kap**2*m3**2 + u1*v1*( - 8*a11**3*a23**3*m3*n2*
n3 + 4*a11**2*a23**2*b12**2*kap**2*m3**3 - 8*a11*a23**3*b12**2*kap*m3*n2*n3 + 4*
a23**4*b12**2*kap**2*m3**3 + 6*a23**2*b12**4*kap**3*m3**3 - 2*a23**2*b12**4*kap
**2*m3*n1**2 - 2*a23**2*b12**4*kap**2*m3*n3**2) - 2*u1*v2**2*v3*a11*a23**2*b12**
5*kap*n2 + u1*v2**2*( - 2*a11*a23**2*b12**4*kap*n1*n3 - 2*a23**2*b12**5*kap**2*
m3*n2) + 4*u1*v2*v3*a11*a23**3*b12**3*kap*m3*n2 - 2*u1*v3**3*a11*a23**2*b12**5*
kap*n2 + u1*v3**2*( - 2*a11*a23**2*b12**4*kap*n1*n3 + 2*a23**2*b12**5*kap**2*m3*
n2) + u1*v3*(4*a11**2*a23**3*b12*n2**2*n3 + 4*a11*a23**3*b12**2*kap*m3*n1*n2 + 2
*a23**3*b12**3*kap*n2**2*n3 + 2*a23**2*b12**4*kap**2*m3*n1*n3) + u1*(4*a11**2*
a23**3*n1*n2*n3**2 - 2*a11**2*a23*b12**2*kap**2*m3**2*n1*n2 - 2*a23**3*b12**2*
kap**2*m3**2*n1*n2 + 2*a23**3*b12**2*kap*n1*n2*n3**2 + 2*a23**2*b12**3*kap**2*m3
*n1**2*n2 - 2*a23*b12**4*kap**3*m3**2*n1*n2) + 2*u2**4*a11**3*a23**3*b12**2*kap*
n2 - 4*u2**3*u3**2*a23**3*b12**6*kap**3 + 2*u2**3*u3*v1*a23**2*b12**7*kap**3 +
u2**3*u3*(8*a11**2*a23**4*b12**2*kap*n2 + 4*a23**4*b12**4*kap**2*n2 - 2*a23**2*
b12**6*kap**3*n2) + u2**3*v1*( - 4*a11**2*a23**3*b12**3*kap*n2 - 2*a23**3*b12**5
*kap**2*n2) + u2**3*v2*( - 4*a11**2*a23**2*b12**4*kap**2*m3 - 2*a23**2*b12**6*
kap**3*m3) + u2**3*(4*a11**2*a23**3*b12**2*kap*n2**2 + 2*a23**3*b12**4*kap**2*n2
**2) + 4*u2**2*u3**3*a11*a23**2*b12**6*kap**3 - 8*u2**2*u3**2*v1*a11*a23**3*b12
**5*kap**2 + u2**2*u3**2*( - 4*a11**3*a23**3*b12**2*kap*n2 + 4*a11**2*a23**2*b12
**4*kap**2*n3 + 8*a11*a23**5*b12**2*kap*n2 - 4*a11*a23**3*b12**4*kap**2*n2 + 12*
a23**4*b12**4*kap**2*n3 + 2*a23**2*b12**6*kap**3*n3) + 6*u2**2*u3*v1**2*a11*a23
**2*b12**6*kap**2 + u2**2*u3*v1*( - 8*a11*a23**4*b12**3*kap*n2 - 4*a11*a23**2*
b12**5*kap**2*n2 - 4*a23**3*b12**5*kap**2*n3) + 2*u2**2*u3*v2**2*a11*a23**2*b12
**6*kap**2 - 16*u2**2*u3*v2*a11*a23**3*b12**4*kap**2*m3 + 2*u2**2*u3*v3**2*a11*
a23**2*b12**6*kap**2 + u2**2*u3*v3*(4*a23**4*b12**4*kap**2*m3 - 4*a23**3*b12**5*
kap**2*n1) + u2**2*u3*(8*a11*a23**4*b12**2*kap*n2**2 + 8*a23**3*b12**4*kap**2*n2
*n3) + 8*u2**2*v1*v2*a11*a23**2*b12**5*kap**2*m3 + 2*u2**2*v1*v3*a23**2*b12**6*
kap**2*n1 + u2**2*v1*( - 4*a11*a23**3*b12**3*kap*n2**2 - 2*a23**2*b12**5*kap**2*
n2*n3) + u2**2*v2**2*( - 4*a11**2*a23**2*b12**4*kap*n3 - 2*a23**2*b12**6*kap**2*
n3) - 8*u2**2*v2*a11*a23**2*b12**4*kap**2*m3*n2 - 2*u2**2*v3**2*a11*a23**3*b12**
4*kap*n2 + u2**2*v3*(4*a11**2*a23**3*b12**2*kap*m3*n2 + 2*a23**3*b12**4*kap**2*
m3*n2 - 2*a23**2*b12**5*kap**2*n1*n2) + u2**2*(4*a11**2*a23**4*n2**2*n3 + 2*a11*
a23**3*b12**2*kap*n2**3 + 2*a11*a23**2*b12**3*kap**2*m3*n1*n2 + 2*a23**4*b12**2*
kap*n2**2*n3 + 2*a23**2*b12**4*kap**2*n2**2*n3) - 4*u2*u3**4*a23**3*b12**6*kap**
3 + u2*u3**3*v1*(8*a11**2*a23**2*b12**5*kap**2 - 8*a23**4*b12**5*kap**2 + 2*a23
**2*b12**7*kap**3) + u2*u3**3*( - 8*a11**2*a23**4*b12**2*kap*n2 - 16*a11*a23**3*
b12**4*kap**2*n3 + 4*a23**4*b12**4*kap**2*n2 - 2*a23**2*b12**6*kap**3*n2) + 8*u2
*u3**2*v1**2*a23**3*b12**6*kap**2 + u2*u3**2*v1*(4*a11**2*a23**3*b12**3*kap*n2 -
10*a23**3*b12**5*kap**2*n2) + 4*u2*u3**2*v2**2*a23**3*b12**6*kap**2 + u2*u3**2*
v2*(8*a11**2*a23**2*b12**4*kap**2*m3 - 12*a23**4*b12**4*kap**2*m3 + 4*a23**3*b12
**5*kap**2*n1 - 6*a23**2*b12**6*kap**3*m3) + 4*u2*u3**2*v3**2*a23**3*b12**6*kap
**2 + u2*u3**2*v3*( - 8*a11*a23**3*b12**4*kap**2*m3 + 4*a11*a23**2*b12**5*kap**2
*n1) + u2*u3**2*( - 4*a11**2*a23**3*b12**2*kap*n2**2 + 8*a11*a23**4*b12**2*kap*
n2*n3 - 8*a11*a23**2*b12**4*kap**2*n2*n3 - 4*a23**3*b12**4*kap**3*m3**2 + 2*a23
**3*b12**4*kap**2*n2**2 + 8*a23**3*b12**4*kap**2*n3**2) + u2*u3*v1**3*(4*a11**2*
a23**2*b12**5*kap - 2*a23**2*b12**7*kap**2) + u2*u3*v1**2*( - 4*a11*a23**3*b12**
4*kap*n3 + 4*a23**2*b12**6*kap**2*n2) + u2*u3*v1*v2**2*(4*a11**2*a23**2*b12**5*
kap - 2*a23**2*b12**7*kap**2) + u2*u3*v1*v2*(4*a23**3*b12**5*kap**2*m3 - 2*a23**
2*b12**6*kap**2*n1) + u2*u3*v1*v3**2*(4*a11**2*a23**2*b12**5*kap - 2*a23**2*b12
**7*kap**2) + u2*u3*v1*( - 8*a11**3*a23**3*b12*n2*n3 + 4*a11**2*a23**2*b12**3*
kap**2*m3**2 - 8*a11*a23**3*b12**3*kap*n2*n3 + 4*a23**4*b12**3*kap**2*m3**2 - 4*
a23**3*b12**4*kap**2*m3*n1 + 6*a23**2*b12**5*kap**3*m3**2 - 2*a23**2*b12**5*kap
**2*n2**2 - 2*a23**2*b12**5*kap**2*n3**2) + u2*u3*v2**2*( - 4*a11*a23**3*b12**4*
kap*n3 + 2*a23**2*b12**6*kap**2*n2) + u2*u3*v2*v3*( - 8*a11**2*a23**2*b12**4*kap
*n3 + 4*a11*a23**3*b12**4*kap*n2 - 4*a23**2*b12**6*kap**2*n3) + u2*u3*v2*(2*a11
**2*a23*b12**4*kap**2*m3*n2 - 8*a11*a23**2*b12**4*kap**2*m3*n3 - 6*a23**3*b12**4
*kap**2*m3*n2 + 2*a23**2*b12**5*kap**2*n1*n2 + 2*a23*b12**6*kap**3*m3*n2) + u2*
u3*v3**2*( - 4*a11*a23**3*b12**4*kap*n3 + 2*a23**2*b12**6*kap**2*n2) + u2*u3*v3*
(8*a11*a23**4*b12**2*kap*m3*n2 - 4*a11*a23**2*b12**4*kap**2*m3*n2 + 4*a23**3*b12
**4*kap**2*m3*n3 - 2*a23**2*b12**5*kap**2*n1*n3) + u2*u3*(8*a11**2*a23**4*n2*n3
**2 - 4*a11**2*a23**2*b12**2*kap**2*m3**2*n2 + 4*a11*a23**3*b12**2*kap*n2**2*n3
- 4*a23**4*b12**2*kap**2*m3**2*n2 + 4*a23**4*b12**2*kap*n2*n3**2 + 4*a23**3*b12
**3*kap**2*m3*n1*n2 - 6*a23**2*b12**4*kap**3*m3**2*n2 + 4*a23**2*b12**4*kap**2*
n2*n3**2) + u2*v1**2*v2*(4*a11**2*a23**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*
m3) + 2*u2*v1**2*v3*a11*a23**2*b12**5*kap*n1 + u2*v1**2*( - 2*a11*a23**2*b12**4*
kap*n2*n3 + 2*a23**2*b12**5*kap**2*m3*n1) + 2*u2*v1*v2*a23**2*b12**5*kap**2*m3*
n2 - 4*u2*v1*v3*a11*a23**3*b12**3*kap*m3*n2 + u2*v1*(a11**2*b12**4*kap**2*m3*n1*
n2 - 3*a23**2*b12**4*kap**2*m3*n1*n2 + b12**6*kap**3*m3*n1*n2) + u2*v2**3*(4*a11
**2*a23**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*m3) + 2*u2*v2**2*v3*a11*a23**2
*b12**5*kap*n1 - 2*u2*v2**2*a11*a23**2*b12**4*kap*n2*n3 + u2*v2*v3**2*(4*a11**2*
a23**2*b12**4*kap*m3 - 2*a23**2*b12**6*kap**2*m3) - 8*u2*v2*v3*a11*a23**2*b12**4
*kap**2*m3**2 + u2*v2*( - 8*a11**3*a23**3*m3*n2*n3 + 4*a11**2*a23**2*b12**2*kap
**2*m3**3 - 2*a11**2*a23*b12**3*kap**2*m3**2*n1 - 8*a11*a23**3*b12**2*kap*m3*n2*
n3 + 4*a23**4*b12**2*kap**2*m3**3 - 2*a23**3*b12**3*kap**2*m3**2*n1 + 6*a23**2*
b12**4*kap**3*m3**3 - 2*a23**2*b12**4*kap**2*m3*n2**2 - 2*a23**2*b12**4*kap**2*
m3*n3**2 - 2*a23*b12**5*kap**3*m3**2*n1) + 2*u2*v3**3*a11*a23**2*b12**5*kap*n1 +
u2*v3**2*( - 2*a11*a23**2*b12**4*kap*n2*n3 - 2*a23**2*b12**5*kap**2*m3*n1) + u2
*v3*( - 4*a11**2*a23**3*b12*n1*n2*n3 + 4*a11*a23**3*b12**2*kap*m3*n2**2 - 2*a23
**3*b12**3*kap*n1*n2*n3 + 2*a23**2*b12**4*kap**2*m3*n2*n3) + u2*(4*a11**2*a23**3
*n2**2*n3**2 - 4*a11**2*a23**2*b12*kap**2*m3**3*n1 + 2*a11**2*a23*b12**2*kap**2*
m3**2*n1**2 - 4*a23**4*b12*kap**2*m3**3*n1 + 2*a23**3*b12**2*kap**2*m3**2*n1**2
+ 2*a23**3*b12**2*kap*n2**2*n3**2 - 4*a23**2*b12**3*kap**3*m3**3*n1 + 2*a23**2*
b12**3*kap**2*m3*n1*n2**2 + 2*a23*b12**4*kap**3*m3**2*n1**2) + 4*u3**5*a11*a23**
2*b12**6*kap**3 + 8*u3**4*v1*a11*a23**3*b12**5*kap**2 + u3**4*(2*a11**3*a23**3*
b12**2*kap*n2 + 10*a11**2*a23**2*b12**4*kap**2*n3 - 4*a11*a23**3*b12**4*kap**2*
n2 + 2*a23**4*b12**4*kap**2*n3) - 2*u3**3*v1**2*a11*a23**2*b12**6*kap**2 + u3**3
*v1*(4*a11*a23**2*b12**5*kap**2*n2 - 4*a23**3*b12**5*kap**2*n3) - 2*u3**3*v2**2*
a11*a23**2*b12**6*kap**2 + u3**3*v2*(8*a11*a23**3*b12**4*kap**2*m3 - 4*a11*a23**
2*b12**5*kap**2*n1) - 2*u3**3*v3**2*a11*a23**2*b12**6*kap**2 + u3**3*v3*( - 4*
a23**4*b12**4*kap**2*m3 - 8*a23**2*b12**6*kap**3*m3) + u3**3*( - 8*a11**2*a23**3
*b12**2*kap*n2*n3 + 4*a11*a23**2*b12**4*kap**3*m3**2 - 8*a11*a23**2*b12**4*kap**
2*n3**2) + 4*u3**2*v1**3*a11*a23**3*b12**5*kap + u3**2*v1**2*(4*a11**2*a23**2*
b12**4*kap*n3 - 2*a11*a23**3*b12**4*kap*n2 + 2*a23**2*b12**6*kap**2*n3) + 4*u3**
2*v1*v2**2*a11*a23**3*b12**5*kap + 4*u3**2*v1*v3**2*a11*a23**3*b12**5*kap - 4*u3
**2*v1*v3*a23**3*b12**5*kap**2*m3 + u3**2*v1*( - 8*a11**2*a23**4*b12*n2*n3 + 4*
a11*a23**2*b12**4*kap**2*m3*n1 - 4*a23**4*b12**3*kap*n2*n3 - 2*a23**2*b12**5*kap
**2*n2*n3) + u3**2*v2**2*(4*a11**2*a23**2*b12**4*kap*n3 - 2*a11*a23**3*b12**4*
kap*n2 + 2*a23**2*b12**6*kap**2*n3) + u3**2*v2*(4*a11*a23**2*b12**4*kap**2*m3*n2
- 4*a23**3*b12**4*kap**2*m3*n3 + 2*a23**2*b12**5*kap**2*n1*n3) + u3**2*v3*( - 4
*a11**2*a23**3*b12**2*kap*m3*n2 + 2*a11**2*a23*b12**4*kap**2*m3*n2 - 8*a11*a23**
2*b12**4*kap**2*m3*n3 + 4*a23**3*b12**4*kap**2*m3*n2 + 2*a23*b12**6*kap**3*m3*n2
) + u3**2*( - 8*a11**3*a23**3*n2*n3**2 + 4*a11**3*a23*b12**2*kap**2*m3**2*n2 + 4
*a11**2*a23**4*n2**2*n3 + 4*a11*a23**3*b12**2*kap**2*m3**2*n2 - 2*a11*a23**3*b12
**2*kap*n2*n3**2 - 2*a11*a23**2*b12**3*kap**2*m3*n1*n2 + 4*a11*a23*b12**4*kap**3
*m3**2*n2 + 2*a23**4*b12**2*kap*n2**2*n3 - 2*a23**2*b12**4*kap**3*m3**2*n3 + 2*
a23**2*b12**4*kap**2*n3**3) - 2*u3*v1**4*a11*a23**2*b12**6*kap + 2*u3*v1**3*a11*
a23**2*b12**5*kap*n2 - 4*u3*v1**2*v2**2*a11*a23**2*b12**6*kap + u3*v1**2*v2*(4*
a11*a23**3*b12**4*kap*m3 - 2*a11*a23**2*b12**5*kap*n1) - 4*u3*v1**2*v3**2*a11*
a23**2*b12**6*kap + u3*v1**2*(4*a11**2*a23**3*b12**2*n2*n3 + 2*a11*a23**2*b12**4
*kap**2*m3**2 - 2*a11*a23**2*b12**4*kap*n3**2 + 2*a23**3*b12**4*kap*n2*n3) + 2*
u3*v1*v2**2*a11*a23**2*b12**5*kap*n2 + 2*u3*v1*v3**2*a11*a23**2*b12**5*kap*n2 -
2*u3*v1*v3*a23**2*b12**5*kap**2*m3*n2 + u3*v1*( - 4*a11**2*a23**3*b12*n2**2*n3 -
2*a23**3*b12**3*kap*n2**2*n3 - 2*a23**2*b12**4*kap**2*m3*n1*n3) - 2*u3*v2**4*
a11*a23**2*b12**6*kap + u3*v2**3*(4*a11*a23**3*b12**4*kap*m3 - 2*a11*a23**2*b12
**5*kap*n1) - 4*u3*v2**2*v3**2*a11*a23**2*b12**6*kap + u3*v2**2*(4*a11**2*a23**3
*b12**2*n2*n3 + 2*a11*a23**2*b12**4*kap**2*m3**2 - 2*a11*a23**2*b12**4*kap*n3**2
+ 2*a23**3*b12**4*kap*n2*n3) + u3*v2*v3**2*(4*a11*a23**3*b12**4*kap*m3 - 2*a11*
a23**2*b12**5*kap*n1) + u3*v2*v3*( - 4*a23**3*b12**4*kap**2*m3**2 + 2*a23**2*b12
**5*kap**2*m3*n1) + u3*v2*( - 8*a11**2*a23**4*m3*n2*n3 + 4*a11**2*a23**3*b12*n1*
n2*n3 - 4*a23**4*b12**2*kap*m3*n2*n3 + 2*a23**3*b12**3*kap*n1*n2*n3 - 2*a23**2*
b12**4*kap**2*m3*n2*n3) - 2*u3*v3**4*a11*a23**2*b12**6*kap + u3*v3**2*(4*a11**2*
a23**3*b12**2*n2*n3 - 2*a11*a23**2*b12**4*kap**2*m3**2 - 2*a11*a23**2*b12**4*kap
*n3**2 + 2*a23**3*b12**4*kap*n2*n3) + u3*(8*a11**3*a23*b12*kap**2*m3**3*n1 - 4*
a11**3*b12**2*kap**2*m3**2*n1**2 - 4*a11**3*b12**2*kap**2*m3**2*n2**2 - 4*a11**2
*a23**3*kap*m3**2*n2*n3 + 4*a11**2*a23**3*n2*n3**3 - 2*a11**2*a23*b12**2*kap**2*
m3**2*n2*n3 + 8*a11*a23**3*b12*kap**2*m3**3*n1 - 4*a11*a23**2*b12**2*kap**2*m3**
2*n1**2 - 4*a11*a23**2*b12**2*kap**2*m3**2*n2**2 + 8*a11*a23*b12**3*kap**3*m3**3
*n1 - 4*a11*b12**4*kap**3*m3**2*n1**2 - 4*a11*b12**4*kap**3*m3**2*n2**2 - 4*a23
**3*b12**2*kap**2*m3**2*n2*n3 + 2*a23**3*b12**2*kap*n2*n3**3 + 2*a23**2*b12**3*
kap**2*m3*n1*n2*n3 - 2*a23*b12**4*kap**3*m3**2*n2*n3) + 2*v1**3*a11*a23**2*b12**
4*kap*m3*n1 + 2*v1**2*v2*a11*a23**2*b12**4*kap*m3*n2 + 2*v1*v2**2*a11*a23**2*b12
**4*kap*m3*n1 + 2*v1*v3**2*a11*a23**2*b12**4*kap*m3*n1 - 2*v1*v3*a23**2*b12**4*
kap**2*m3**2*n1 + v1*( - 4*a11**2*a23**3*m3*n1*n2*n3 - 2*a23**3*b12**2*kap*m3*n1
*n2*n3) + 2*v2**3*a11*a23**2*b12**4*kap*m3*n2 + 2*v2*v3**2*a11*a23**2*b12**4*kap
*m3*n2 - 2*v2*v3*a23**2*b12**4*kap**2*m3**2*n2 + v2*( - 4*a11**2*a23**3*m3*n2**2
*n3 - 2*a23**3*b12**2*kap*m3*n2**2*n3) + 2*v3**2*a11*a23**3*b12**2*kap*m3**2*n2
+ 2*v3*a23**2*b12**3*kap**2*m3**2*n1*n2$
FI=u1**3*u3*v1*b12**2*kap - u1**3*v1*a23*n2 + u1**2*u2*u3*v2*b12**2*kap - u1**2*
u2*v2*a23*n2 + u1**2*u3**2*v3*b12**2*kap - 2*u1**2*u3*v1*v2*a11*b12 - 2*u1**2*u3
*v1*v3*a23*b12 - u1**2*u3*v3*a23*n2 + 2*u1**2*v1**2*a11*m3 - u1**2*v1*v3*b12*n2
- u1**2*v1*n1*n3 + u1*u2**2*u3*v1*b12**2*kap - u1*u2**2*v1*a23*n2 + 2*u1*u2*u3*
v1**2*a11*b12 - 2*u1*u2*u3*v1*a23*n3 - 2*u1*u2*u3*v2**2*a11*b12 - 2*u1*u2*u3*v2*
v3*a23*b12 + 4*u1*u2*v1*v2*a11*m3 + u1*u2*v1*v3*b12*n1 - u1*u2*v1*n2*n3 - u1*u2*
v2*v3*b12*n2 - u1*u2*v2*n1*n3 + u1*u3**3*v1*b12**2*kap + 2*u1*u3**2*v1**2*a23*
b12 + u1*u3**2*v1*(2*a11*n3 - a23*n2) - 2*u1*u3**2*v2*v3*a11*b12 - 2*u1*u3**2*v3
**2*a23*b12 - u1*u3*v1**3*b12**2 + u1*u3*v1**2*b12*n2 - u1*u3*v1*v2**2*b12**2 +
u1*u3*v1*v2*(2*a23*m3 - b12*n1) - u1*u3*v1*v3**2*b12**2 + 2*u1*u3*v1*v3*a11*m3 +
u1*u3*v1*(kap*m3**2 - n3**2) - u1*u3*v3**2*b12*n2 - u1*u3*v3*n1*n3 + u1*v1**2*
m3*n1 + u1*v1*v2*m3*n2 + u2**3*u3*v2*b12**2*kap - u2**3*v2*a23*n2 + u2**2*u3**2*
v3*b12**2*kap + 2*u2**2*u3*v1*v2*a11*b12 - 2*u2**2*u3*v2*a23*n3 - u2**2*u3*v3*
a23*n2 + 2*u2**2*v2**2*a11*m3 + u2**2*v2*v3*b12*n1 - u2**2*v2*n2*n3 + u2*u3**3*
v2*b12**2*kap + 2*u2*u3**2*v1*v2*a23*b12 + 2*u2*u3**2*v1*v3*a11*b12 + u2*u3**2*
v2*(2*a11*n3 - a23*n2) - 2*u2*u3**2*v3*a23*n3 - u2*u3*v1**2*v2*b12**2 + u2*u3*v1
*v2*b12*n2 - u2*u3*v2**3*b12**2 + u2*u3*v2**2*(2*a23*m3 - b12*n1) - u2*u3*v2*v3
**2*b12**2 + 2*u2*u3*v2*v3*a11*m3 + u2*u3*v2*(kap*m3**2 - n3**2) + u2*u3*v3**2*
b12*n1 - u2*u3*v3*n2*n3 + u2*v1*v2*m3*n1 + u2*v2**2*m3*n2 + u3**4*v3*b12**2*kap
+ 2*u3**3*v1*v3*a23*b12 + u3**3*v3*(2*a11*n3 - a23*n2) - u3**2*v1**2*v3*b12**2 +
u3**2*v1*v3*b12*n2 - u3**2*v2**2*v3*b12**2 + u3**2*v2*v3*(2*a23*m3 - b12*n1) -
u3**2*v3**3*b12**2 + u3**2*v3*(kap*m3**2 - n3**2) + u3*v1*v3*m3*n1 + u3*v2*v3*m3
*n2$
FI=u1**2*u3*b12**2*kap - u1**2*a23*n2 - 2*u1*u3*v2*a11*b12 - 2*u1*u3*v3*a23*b12
+ 2*u1*v1*a11*m3 - u1*v3*b12*n2 - u1*n1*n3 + u2**2*u3*b12**2*kap - u2**2*a23*n2
+ 2*u2*u3*v1*a11*b12 - 2*u2*u3*a23*n3 + 2*u2*v2*a11*m3 + u2*v3*b12*n1 - u2*n2*n3
+ u3**3*b12**2*kap + 2*u3**2*v1*a23*b12 + u3**2*(2*a11*n3 - a23*n2) - u3*v1**2*
b12**2 + u3*v1*b12*n2 - u3*v2**2*b12**2 + u3*v2*(2*a23*m3 - b12*n1) - u3*v3**2*
b12**2 + u3*(kap*m3**2 - n3**2) + v1*m3*n1 + v2*m3*n2$