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=a22 + a23 + b12 *kap
Expressions
The solution is given through the following expressions:
2
m3 *n1*n2*r5207
r10=-----------------
3
2*a23*b12
2 3 2
r11=( - 2*a22 *kap*m3 *n2*r5207 + 2*a22*a23*m3*n2 *n3*r5207
2 3 3
- 2*a23 *kap*m3 *n2*r5207 + 2*a23*b12 *kap*m3*n2*r328
2 2
+ 2*a23*b12*kap*m3 *n1*n2*r5207 - 2*a23*b12*m3*n2 *n3*r5237
2 2 3 2 3
- 3*b12 *kap *m3 *n2*r5207 + b12 *kap*m3*n2 *r5207
2 2 4
+ b12 *kap*m3*n2*n3 *r5207)/(4*a22*a23*b12 *kap)
2 3
r12=( - 2*a22 *kap*m3 *n1*r5207 + 2*a22*a23*m3*n1*n2*n3*r5207
2 3 3
- 2*a23 *kap*m3 *n1*r5207 + 2*a23*b12 *kap*m3*n1*r328
2 2
+ 2*a23*b12*kap*m3 *n1 *r5207 - 2*a23*b12*m3*n1*n2*n3*r5237
2 2 3 2 2
- 3*b12 *kap *m3 *n1*r5207 + b12 *kap*m3*n1*n2 *r5207
2 2 4
+ b12 *kap*m3*n1*n3 *r5207)/(4*a22*a23*b12 *kap)
4 3 4 2 2
r13=(8*a22 *a23*kap*m3 *n1*r5207 - 4*a22 *b12*kap*m3 *n1 *r5207
4 2 2 3 2
- 4*a22 *b12*kap*m3 *n2 *r5207 - 2*a22 *a23*b12*kap*m3 *n2*n3*r5207
2 3 3 2 2 2 4
+ 8*a22 *a23 *kap*m3 *n1*r5207 - 2*a22 *a23 *b12*kap *m3 *r5207
2 2 2 2 2 2 2 2
- 4*a22 *a23 *b12*kap*m3 *n1 *r5207 - 4*a22 *a23 *b12*kap*m3 *n2 *r5207
2 2 2 2 2 2 2 3
+ 2*a22 *a23 *b12*kap*m3 *n3 *r5207 + 8*a22 *a23*b12 *kap *m3 *n1*r5207
2 3 2 2 2 2 3 2 2 2
- 4*a22 *b12 *kap *m3 *n1 *r5207 - 4*a22 *b12 *kap *m3 *n2 *r5207
3 3 2 2
- 2*a22*a23 *b12*n2*n3 *r5207 + 2*a22*a23 *b12 *kap*m3*n1*n2*n3*r5207
3 2 2 4 2 4
- 2*a22*a23*b12 *kap *m3 *n2*n3*r5207 - 2*a23 *b12*kap *m3 *r5207
4 2 2 3 4 2 2
+ 2*a23 *b12*kap*m3 *n3 *r5207 + 2*a23 *b12 *kap *m3 *r328
3 4 2 3 2 2 3
- 2*a23 *b12 *kap*n3 *r328 + 2*a23 *b12 *kap *m3 *n1*r5207
3 2 2 3 2 2
- 2*a23 *b12 *kap*m3 *n2*n3*r5237 - 2*a23 *b12 *kap*m3*n1*n3 *r5207
3 2 3 2 3 3 4
+ 2*a23 *b12 *n2*n3 *r5237 - 3*a23 *b12 *kap *m3 *r5207
2 3 2 2 2 2 3 2 2 2
+ a23 *b12 *kap *m3 *n2 *r5207 + 4*a23 *b12 *kap *m3 *n3 *r5207
2 3 2 2 2 3 4 3 5
- a23 *b12 *kap*n2 *n3 *r5207 - a23 *b12 *kap*n3 *r5207)/(4*a22*a23 *b12
*kap)
3 3 3 2 2
r14=( - 4*a22 *a23*kap*m3 *n1*r5207 + 2*a22 *b12*kap*m3 *n1 *r5207
2 2 3 3
+ 2*a22 *a23*b12*kap*m3 *n2*n3*r5207 - 4*a22*a23 *kap*m3 *n1*r5207
2 2 2 2 2 2
+ 2*a22*a23 *b12*kap*m3 *n1 *r5207 - 2*a22*a23 *b12*n2 *n3 *r5207
2 2 3 2 2
- 4*a22*a23*b12 *kap *m3 *n1*r5207 + 2*a22*a23*b12 *kap*m3*n1*n2 *r5207
3 2 2 2 3 2
+ 2*a22*b12 *kap *m3 *n1 *r5207 + 2*a23 *b12*kap*m3 *n2*n3*r5207
2 4 2 2
- 2*a23 *b12 *kap*n2*n3*r328 - 2*a23 *b12 *kap*m3*n1*n2*n3*r5207
2 2 2 2 3 2 2
+ 2*a23 *b12 *n2 *n3 *r5237 + 3*a23*b12 *kap *m3 *n2*n3*r5207
3 3 3 3 2 5
- a23*b12 *kap*n2 *n3*r5207 - a23*b12 *kap*n2*n3 *r5207)/(4*a22*a23 *b12
*kap)
3 2 2 2
r15=( - 2*a22 *kap*m3 *n1*n2*r5207 + 2*a22 *a23*kap*m3 *n1*n3*r5207
2 2 2 2
- 2*a22*a23 *kap*m3 *n1*n2*r5207 - 2*a22*a23 *n1*n2*n3 *r5207
2 2 2 2
+ 2*a22*a23*b12*kap*m3*n1 *n2*r5207 - 2*a22*b12 *kap *m3 *n1*n2*r5207
3 2 2 3
+ 2*a23 *kap*m3 *n1*n3*r5207 - 2*a23 *b12 *kap*n1*n3*r328
2 2 2 2
- 2*a23 *b12*kap*m3*n1 *n3*r5207 + 2*a23 *b12*n1*n2*n3 *r5237
2 2 2 2 2
+ 3*a23*b12 *kap *m3 *n1*n3*r5207 - a23*b12 *kap*n1*n2 *n3*r5207
2 3 2 4
- a23*b12 *kap*n1*n3 *r5207)/(4*a22*a23 *b12 *kap)
2 2
a22*m3 *n2*r5207 - b12*m3 *n2*r5237
r20=-------------------------------------
4
2*b12 *kap
2
- m3 *n2*r5207
r21=-----------------
2
2*a23*b12
r22=0
2
- m3 *n1*r5207
r23=-----------------
2
2*a23*b12
r24=0
2 3 2 2
r27=( - 4*a22 *a23*kap*m3 *r5207 + 2*a22 *b12*kap*m3 *n1*r5207
2
+ 4*a22*a23 *m3*n2*n3*r5207 - 2*a22*a23*b12*n1*n2*n3*r5207
2 3 3
- 2*a22*b12 *kap*m3*n2*n3*r5207 - 4*a23 *kap*m3 *r5207
2 3 2 2
+ 4*a23 *b12 *kap*m3*r328 + 6*a23 *b12*kap*m3 *n1*r5207
2 4
- 4*a23 *b12*m3*n2*n3*r5237 - 2*a23*b12 *kap*n1*r328
2 2 3 2 2
- 6*a23*b12 *kap *m3 *r5207 - 2*a23*b12 *kap*m3*n1 *r5207
2 2 2 2
+ 2*a23*b12 *kap*m3*n2 *r5207 + 2*a23*b12 *kap*m3*n3 *r5207
2 3 2 2
+ 2*a23*b12 *n1*n2*n3*r5237 + 3*b12 *kap *m3 *n1*r5207
3 2 3 2 4
- b12 *kap*n1*n2 *r5207 - b12 *kap*n1*n3 *r5207)/(4*a22*a23*b12 *kap)
2 2 2
r28=( - 2*a22 *kap*m3 *n2*r5207 + 2*a22*a23*n2 *n3*r5207
2 2
- 2*a22*b12*kap*m3*n1*n3*r5207 - 2*a23 *kap*m3 *n2*r5207
3
+ 2*a23*b12 *kap*n2*r328 + 2*a23*b12*kap*m3*n1*n2*r5207
2 2 2 2 2 3
- 2*a23*b12*n2 *n3*r5237 - 3*b12 *kap *m3 *n2*r5207 + b12 *kap*n2 *r5207
2 2 3
+ b12 *kap*n2*n3 *r5207)/(4*a22*a23*b12 *kap)
4 2 3 2
r29=(4*a22 *kap*m3 *n2*r5207 - 4*a22 *a23*kap*m3 *n3*r5207
2 2 2 2 2 2
+ 6*a22 *a23 *kap*m3 *n2*r5207 + 6*a22 *a23 *n2*n3 *r5207
2 2 2 2 2
- 2*a22 *a23*b12*kap*m3*n1*n2*r5207 + 4*a22 *b12 *kap *m3 *n2*r5207
3 2 3 2
- 4*a22*a23 *kap*m3 *n3*r5207 - 2*a22*a23 *n2 *n3*r5207
2 3 2
+ 4*a22*a23 *b12 *kap*n3*r328 + 4*a22*a23 *b12*kap*m3*n1*n3*r5207
2 2 2 2 2
- 6*a22*a23 *b12*n2*n3 *r5237 - 8*a22*a23*b12 *kap *m3 *n3*r5207
2 2 2 3
+ 2*a22*a23*b12 *kap*n2 *n3*r5207 + 4*a22*a23*b12 *kap*n3 *r5207
4 2 3 3
+ 2*a23 *kap*m3 *n2*r5207 - 2*a23 *b12 *kap*n2*r328
3 3 2
- 2*a23 *b12*kap*m3*n1*n2*r5207 + 2*a23 *b12*n2 *n3*r5237
2 2 2 2 2 2 3
+ 3*a23 *b12 *kap *m3 *n2*r5207 - a23 *b12 *kap*n2 *r5207
2 2 2 2 4
- a23 *b12 *kap*n2*n3 *r5207)/(4*a22*a23 *b12 *kap)
2 2 2 2
r210=(4*a22 *a23*m3*n2 *r5207 - 2*a22 *b12*kap*m3 *n1*r5207
2
- 4*a22*a23*b12*m3*n2 *r5237 + 2*a22*a23*b12*n1*n2*n3*r5207
2 2 2
+ 2*a22*b12 *kap*m3*n2*n3*r5207 - 2*a23 *b12*kap*m3 *n1*r5207
4 2 2
+ 2*a23*b12 *kap*n1*r328 + 2*a23*b12 *kap*m3*n1 *r5207
2 3 2 2
- 2*a23*b12 *n1*n2*n3*r5237 - 3*b12 *kap *m3 *n1*r5207
3 2 3 2 4
+ b12 *kap*n1*n2 *r5207 + b12 *kap*n1*n3 *r5207)/(4*a22*a23*b12 *kap)
2 2 2 2 2 2
r211=( - a22 *m3 *n1*r5207 + 2*a23 *b12 *m3*r328 + a23 *m3 *n1*r5207
2 2 2 3
- b12 *kap*m3 *n1*r5207)/(2*a23 *b12 )
2 2 2
a22 *m3*n1*n2*r5207 - 3*a23 *m3*n1*n2*r5207 + b12 *kap*m3*n1*n2*r5207
r212=-----------------------------------------------------------------------
3 2
4*a23 *b12
3 2 2 2
r213=( - 2*a22 *kap*m3 *n2*r5207 + 2*a22 *a23*kap*m3 *n3*r5207
2 2 2 2
+ 2*a22 *a23*n2 *n3*r5207 - 2*a22*a23 *kap*m3 *n2*r5207
2 2
- 2*a22*a23 *n2*n3 *r5207 + 2*a22*a23*b12*kap*m3*n1*n2*r5207
2 2 2 2
- 2*a22*a23*b12*n2 *n3*r5237 - 3*a22*b12 *kap *m3 *n2*r5207
2 2 3 2
+ 2*a22*b12 *kap*n2*n3 *r5207 + 2*a23 *kap*m3 *n3*r5207
2 3 2
- 2*a23 *b12 *kap*n3*r328 - 2*a23 *b12*kap*m3*n1*n3*r5207
2 2 2 2 2
+ 2*a23 *b12*n2*n3 *r5237 + 3*a23*b12 *kap *m3 *n3*r5207
2 2 2 3 4
- a23*b12 *kap*n2 *n3*r5207 - a23*b12 *kap*n3 *r5207)/(2*a22*a23*b12 *kap
)
2 2 2 3
r214=(2*a22 *a23*kap*m3 *n2*r5207 + 2*a22 *a23*n2 *r5207
2 2 2
+ 2*a22 *b12*kap*m3*n1*n2*r5207 - 2*a22*a23 *n2 *n3*r5207
3 2 2
- 2*a22*a23*b12*n2 *r5237 + 2*a22*b12 *kap*n2 *n3*r5207
3 2 2 3
+ 2*a23 *kap*m3 *n2*r5207 - 2*a23 *b12 *kap*n2*r328
2 2 2
- 2*a23 *b12*kap*m3*n1*n2*r5207 + 2*a23 *b12*n2 *n3*r5237
2 2 2 2 3
+ 3*a23*b12 *kap *m3 *n2*r5207 - a23*b12 *kap*n2 *r5207
2 2 4
- a23*b12 *kap*n2*n3 *r5207)/(4*a22*a23*b12 *kap)
2 2 2
r215=(4*a22 *a23*m3*n1*n2*r5207 + 2*a22 *b12*kap*m3 *n2*r5207
2
- 4*a22*a23*b12*m3*n1*n2*r5237 - 2*a22*a23*b12*n2 *n3*r5207
2 2 2
+ 2*a22*b12 *kap*m3*n1*n3*r5207 + 2*a23 *b12*kap*m3 *n2*r5207
4 2
- 2*a23*b12 *kap*n2*r328 - 2*a23*b12 *kap*m3*n1*n2*r5207
2 2 3 2 2 3 3
+ 2*a23*b12 *n2 *n3*r5237 + 3*b12 *kap *m3 *n2*r5207 - b12 *kap*n2 *r5207
3 2 4
- b12 *kap*n2*n3 *r5207)/(4*a22*a23*b12 *kap)
r217
2 2 2 2
2*a23*b12 *m3*r328 + 2*a23*m3 *n1*r5207 - b12*m3*n1 *r5207 + b12*m3*n2 *r5207
=-------------------------------------------------------------------------------
3
2*a23*b12
r218=(2*a22*a23*n1*n2*n3*r5207 - 2*a23*b12*n1*n2*n3*r5237
2 2 2 2 2 4
- b12 *kap *m3 *n1*r5207 + 2*b12 *kap*n1*n3 *r5207)/(2*a23*b12 *kap)
2 2 2
a22*a23*n1*n2 *r5207 - a23*b12*n1*n2 *r5237 + b12 *kap*n1*n2*n3*r5207
r219=-----------------------------------------------------------------------
4
a23*b12 *kap
2 2 2 2
r220=(2*a22 *a23*kap*m3 *n2*r5207 + 2*a22 *a23*n1 *n2*r5207
2 2 2
+ 2*a22 *b12*kap*m3*n1*n2*r5207 - 2*a22*a23 *n2 *n3*r5207
2 2 2
- 2*a22*a23*b12*n1 *n2*r5237 + 2*a22*b12 *kap*n1 *n3*r5207
3 2 2 3
+ 2*a23 *kap*m3 *n2*r5207 - 2*a23 *b12 *kap*n2*r328
2 2 2
- 2*a23 *b12*kap*m3*n1*n2*r5207 + 2*a23 *b12*n2 *n3*r5237
2 2 2 2 3
+ 3*a23*b12 *kap *m3 *n2*r5207 - a23*b12 *kap*n2 *r5207
2 2 4
- a23*b12 *kap*n2*n3 *r5207)/(4*a22*a23*b12 *kap)
r30=0
a22*m3*n2*r5207 - b12*m3*n2*r5237
r31=-----------------------------------
2
2*a23*b12 *kap
r32=0
a22*m3*n2*r5207 - b12*m3*n2*r5237
r33=-----------------------------------
2
2*a23*b12 *kap
a22*m3*n1*r5207 - b12*m3*n1*r5237
r34=-----------------------------------
2
2*a23*b12 *kap
r35=0
a22*m3*n1*r5207 - b12*m3*n1*r5237
r36=-----------------------------------
2
2*a23*b12 *kap
r37=0
a22*m3*n2*r5207 - b12*m3*n2*r5237
r38=-----------------------------------
2
2*a23*b12 *kap
a22*m3*n1*r5207 - b12*m3*n1*r5237
r39=-----------------------------------
2
2*a23*b12 *kap
2 2 2
r310=( - 2*a22 *n3 *r5207 - 2*a22*a23*n2*n3*r5207 - 2*a22*b12*kap*m3 *r5237
2 2 2 3
+ 2*a22*b12*n3 *r5237 + 2*a23 *kap*m3 *r5207 - 2*a23*b12 *kap*r328
- 2*a23*b12*kap*m3*n1*r5207 + 2*a23*b12*n2*n3*r5237
2 2 2 2 2 2 2
+ 3*b12 *kap *m3 *r5207 - b12 *kap*n2 *r5207 - b12 *kap*n3 *r5207)/(4*a22
2
*a23*b12 *kap)
2
- 2*a23*m3 *r5207 - 2*a23*m3*n2*r5150 + b12*m3*n1*r5207
r311=----------------------------------------------------------
2
2*a23*b12
2 2 2 2
r312=(4*a22 *kap*m3 *r5207 - 2*a22 *n3 *r5207 - 2*a22*a23*n2*n3*r5207
2 2 2 2
- 2*a22*b12*kap*m3 *r5237 + 2*a22*b12*n3 *r5237 + 2*a23 *kap*m3 *r5207
3
- 2*a23*b12 *kap*r328 - 2*a23*b12*kap*m3*n1*r5207 + 2*a23*b12*n2*n3*r5237
2 2 2 2 2 2 2
+ 3*b12 *kap *m3 *r5207 - b12 *kap*n2 *r5207 - b12 *kap*n3 *r5207)/(4*a22
2
*a23*b12 *kap)
- 2*a23*m3*n1*r5150 - b12*m3*n2*r5207
r313=----------------------------------------
2
2*a23*b12
r314=0
2 2 2 2
r315=(4*a22 *kap*m3 *r5207 - 2*a22 *n3 *r5207 - 2*a22*a23*n2*n3*r5207
2 2 2 2
- 2*a22*b12*kap*m3 *r5237 + 2*a22*b12*n3 *r5237 + 2*a23 *kap*m3 *r5207
3
- 2*a23*b12 *kap*r328 - 2*a23*b12*kap*m3*n1*r5207 + 2*a23*b12*n2*n3*r5237
2 2 2 2 2 2 2
+ 3*b12 *kap *m3 *r5207 - b12 *kap*n2 *r5207 - b12 *kap*n3 *r5207)/(4*a22
2
*a23*b12 *kap)
2 2 2 2
r316=( - 2*a22 *a23 *m3*n2*r5207 + a22 *b12 *kap*m3*n2*r5207
2 2
+ 2*a22*a23 *b12*m3*n2*r5237 - 4*a22*a23*b12 *kap*m3*n3*r5207
2 2 2 2 2 2
- 2*a23 *b12 *kap *m3 *r5150 + 2*a23 *b12 *kap*m3*n2*r5207
2 2 2 4 2 2 4
+ 2*a23 *b12 *kap*n3 *r5150 + b12 *kap *m3*n2*r5207)/(2*a23 *b12 *kap)
2*a22*m3*n2*r5207 - 2*a23*m3*n3*r5207 - b12*m3*n2*r5237 + b12*n1*n3*r5207
r317=---------------------------------------------------------------------------
2
2*a23*b12
2 2 2
r318=( - 2*a22 *a23*kap*m3 *r5207 + 2*a22 *b12*kap*m3*n1*r5207
2 2
+ 2*a22*a23 *n2*n3*r5207 - a22*b12 *kap*m3*n1*r5237
2 3 2 2 3
- a22*b12 *kap*n2*n3*r5207 - 2*a23 *kap*m3 *r5207 + 2*a23 *b12 *kap*r328
2 2
+ 2*a23 *b12*kap*m3*n1*r5207 - 2*a23 *b12*n2*n3*r5237
2 2 2 2 2
- 3*a23*b12 *kap *m3 *r5207 + a23*b12 *kap*n2 *r5207
2 2 3
+ a23*b12 *kap*n3 *r5207)/(2*a22*a23*b12 *kap)
3 2
r319=( - 4*a22 *a23*n2*n3*r5207 + 4*a22 *a23*b12*n2*n3*r5237
2 2 2 2 2 2 2
+ 2*a22 *b12 *kap *m3 *r5207 - 8*a22 *b12 *kap*n3 *r5207
2 3 2 2
+ 4*a22*a23*b12 *kap*n2*n3*r5207 - 2*a22*b12 *kap *m3 *r5237
3 2 2 2 2 2
+ 2*a22*b12 *kap*n3 *r5237 - 2*a23 *b12 *kap *m3 *r5207
5 2 3 2
+ 2*a23*b12 *kap *r328 + 2*a23*b12 *kap *m3*n1*r5207
3 4 3 2
- 2*a23*b12 *kap*n2*n3*r5237 - 3*b12 *kap *m3 *r5207
4 2 2 4 2 2 4
+ b12 *kap *n2 *r5207 + b12 *kap *n3 *r5207)/(4*a22*a23*b12 *kap)
- a22*n2*n3*r5207 - b12*kap*m3*n1*r5207 + b12*n2*n3*r5237
r320=------------------------------------------------------------
2
2*a23*b12 *kap
2
- 2*a22*m3 *r5207
r321=--------------------
2
a23*b12
- a22*n2*n3*r5207 - 2*a23*kap*m3*n2*r5150 + b12*n2*n3*r5237
r322=--------------------------------------------------------------
2
2*a23*b12 *kap
- a22*m3*n2*r5207 + b12*m3*n2*r5237
r323=--------------------------------------
3
b12 *kap
- 2*a23*m3*n1*r5150 + b12*m3*n2*r5207
r324=----------------------------------------
2
2*a23*b12
- a22*n2*n3*r5207 + b12*kap*m3*n1*r5207 + b12*n2*n3*r5237
r325=------------------------------------------------------------
2
2*a23*b12 *kap
2 2
r326=(4*a22*a23 *m3*n2*r5207 - 2*a22*b12 *kap*m3*n2*r5207
2 2
- 4*a23 *b12*m3*n2*r5237 + 2*a23*b12 *kap*m3*n3*r5207
2 3 4
+ 2*a23*b12 *kap*n2*n3*r5150 - b12 *kap*n1*n3*r5207)/(2*a23*b12 *kap)
2 2 2
r327=(a22 *m3*n2*r5207 - 4*a22*a23*m3*n3*r5207 - 2*a23 *kap*m3 *r5150
2 2 2
- 3*a23 *m3*n2*r5207 + 2*a23 *n3 *r5150 + a23*b12*n1*n2*r5207
2 2 2
+ b12 *kap*m3*n2*r5207)/(2*a23 *b12 )
2 2 2 2
r329=( - 2*a22 *a23*n2 *r5207 + 4*a22*a23 *n2*n3*r5207 + 2*a22*a23*b12*n2 *r5237
2 2
- 4*a22*b12 *kap*n2*n3*r5207 - 4*a23 *b12*n2*n3*r5237
2 2 2 2 2
- 2*a23*b12 *kap *m3 *r5207 + a23*b12 *kap*n2 *r5207
2 2 3 4
+ 4*a23*b12 *kap*n3 *r5207 + b12 *kap*n2*n3*r5237)/(2*a23*b12 *kap)
2
r330=(2*a22 *a23*m3*n2*r5207 - 2*a22*a23*b12*m3*n2*r5237
2 3 4
+ a23*b12 *kap*m3*n2*r5207 - b12 *kap*n1*n2*r5207)/(2*a23*b12 *kap)
- 4*a22*m3*n2*r5207 + 2*a23*n2*n3*r5150 - b12*m3*n2*r5237
r331=------------------------------------------------------------
2
2*a23*b12
2 2 2
r332=( - 2*a22*a23*n2 *r5207 + 2*a23*b12*n2 *r5237 - b12 *kap*m3*n1*r5237
2 3
- b12 *kap*n2*n3*r5207)/(2*a23*b12 *kap)
3 2 2 2
r333=(4*a22 *a23*n2*n3*r5207 + 8*a22 *a23 *n2 *r5207
2 2 2 2 2
- 4*a22 *a23*b12*n2*n3*r5237 - 2*a22 *b12 *kap *m3 *r5207
2 2 2
- 8*a22*a23 *b12*n2 *r5237 + 12*a22*a23*b12 *kap*n2*n3*r5207
3 2 2 3 2
- 2*a22*b12 *kap *m3 *r5237 + 2*a22*b12 *kap*n3 *r5237
2 2 2 2 5 2
- 2*a23 *b12 *kap *m3 *r5207 + 2*a23*b12 *kap *r328
3 2 3
+ 2*a23*b12 *kap *m3*n1*r5207 - 2*a23*b12 *kap*n2*n3*r5237
4 3 2 4 2 2 4 2 2
- 3*b12 *kap *m3 *r5207 + b12 *kap *n2 *r5207 + b12 *kap *n3 *r5207)/(4
4
*a22*a23*b12 *kap)
2 2 2 2 2
r334=(2*a22 *a23*n2 *r5207 - 2*a22*a23*b12*n2 *r5237 + a23*b12 *kap*n2 *r5207
3 4
+ b12 *kap*n2*n3*r5237)/(2*a23*b12 *kap)
- a22*n1*n3*r5207 + b12*kap*m3*n2*r5207 + b12*n1*n3*r5237
r335=------------------------------------------------------------
2
2*a23*b12 *kap
a22*m3*n2*r5207 - b12*m3*n2*r5237
r336=-----------------------------------
3
b12 *kap
- a22*n1*n3*r5207 - b12*kap*m3*n2*r5207 + b12*n1*n3*r5237
r337=------------------------------------------------------------
2
2*a23*b12 *kap
2
- 2*a22*m3 *r5207
r338=--------------------
2
a23*b12
- 2*a23*m3*n2*r5150 - b12*m3*n1*r5207
r339=----------------------------------------
2
2*a23*b12
- a22*n1*n3*r5207 - 2*a23*kap*m3*n1*r5150 + b12*n1*n3*r5237
r340=--------------------------------------------------------------
2
2*a23*b12 *kap
2 2 2
r341=(2*a22 *a23*kap*m3 *r5207 - 2*a22 *b12*kap*m3*n1*r5207
2
- 2*a22*a23 *n2*n3*r5207 + 2*a22*a23*b12*kap*n1*n3*r5150
2 3 2 2 3
+ a22*b12 *kap*n2*n3*r5207 + 2*a23 *kap*m3 *r5207 - 2*a23 *b12 *kap*r328
2 2
- 2*a23 *b12*kap*m3*n1*r5207 + 2*a23 *b12*n2*n3*r5237
2 2 2 2 2
+ 3*a23*b12 *kap *m3 *r5207 - a23*b12 *kap*n2 *r5207
2 2 3
- a23*b12 *kap*n3 *r5207)/(2*a22*a23*b12 *kap)
2 2 2
- 2*a23*b12 *r328 - 4*a23*m3*n1*r5207 + b12*n1 *r5207 - b12*n2 *r5207
r342=------------------------------------------------------------------------
2
2*a23*b12
2 2 2
r343=(a22 *m3*n2*r5207 - 4*a22*a23*m3*n3*r5207 - 2*a23 *kap*m3 *r5150
2 2 2
+ a23 *m3*n2*r5207 + 2*a23 *n3 *r5150 - a23*b12*n1*n2*r5207
2 2 2
+ b12 *kap*m3*n2*r5207)/(2*a23 *b12 )
2
r344=( - 2*a22 *a23*n1*n2*r5207 + 2*a22*a23*b12*n1*n2*r5237
2 2
- 4*a22*b12 *kap*n1*n3*r5207 + a23*b12 *kap*n1*n2*r5207
3 4
+ b12 *kap*n1*n3*r5237)/(2*a23*b12 *kap)
2 2
- n1 *r5207 + n2 *r5207
r345=--------------------------
2*a23*b12
2
r346=(2*a22*a23*n2 *r5207 - 4*a22*b12*kap*m3*n1*r5207
2 2
+ 2*a23*b12*kap*n1*n3*r5150 - 2*a23*b12*n2 *r5237 + b12 *kap*n2*n3*r5207)
3
/(2*a23*b12 *kap)
r347=( - 2*a22*a23*n1*n2*r5207 - 4*a22*b12*kap*m3*n2*r5207
+ 2*a23*b12*kap*n2*n3*r5150 + 2*a23*b12*n1*n2*r5237
2 3
- b12 *kap*n1*n3*r5207)/(2*a23*b12 *kap)
2
2*a22*a23*n1*n2*r5207 - 2*a23*b12*n1*n2*r5237 + 2*b12 *kap*n1*n3*r5207
r348=------------------------------------------------------------------------
4
b12 *kap
2
r349=(2*a22 *a23*n1*n2*r5207 - 2*a22*a23*b12*n1*n2*r5237
2 3 4
+ a23*b12 *kap*n1*n2*r5207 + b12 *kap*n1*n3*r5237)/(2*a23*b12 *kap)
2
r350=(2*a22 *a23*m3*n2*r5207 - 2*a22*a23*b12*m3*n2*r5237
2 3 4
+ a23*b12 *kap*m3*n2*r5207 + b12 *kap*n1*n2*r5207)/(2*a23*b12 *kap)
2
r351=(2*a22*a23*n1*n2*r5207 - 2*a23*b12*n1*n2*r5237 - b12 *kap*m3*n2*r5237
2 3
+ b12 *kap*n1*n3*r5207)/(2*a23*b12 *kap)
- 4*a22*m3*n1*r5207 + 2*a23*n1*n3*r5150 - b12*m3*n1*r5237
r352=------------------------------------------------------------
2
2*a23*b12
2 2 2 2 2
r354=(2*a22 *a23*n2 *r5207 - 2*a22*a23*b12*n2 *r5237 + a23*b12 *kap*n2 *r5207
3 4
+ b12 *kap*n2*n3*r5237)/(2*a23*b12 *kap)
2
r355=(2*a22 *a23*n1*n2*r5207 - 2*a22*a23*b12*n1*n2*r5237
2 3 4
+ a23*b12 *kap*n1*n2*r5207 + b12 *kap*n1*n3*r5237)/(2*a23*b12 *kap)
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
2
2*a22*a23*m3*r5207 - a22*b12*n1*r5207 - 2*a23*b12*m3*r5237 + b12 *n1*r5237
=----------------------------------------------------------------------------
2
2*a23*b12 *kap
r417=0
r418
2
2*a22*a23*m3*r5207 - a22*b12*n1*r5207 - 2*a23*b12*m3*r5237 + b12 *n1*r5237
=----------------------------------------------------------------------------
2
2*a23*b12 *kap
a22*n2*r5207 - b12*n2*r5237
r419=-----------------------------
2*a23*b12*kap
r420=0
a22*n2*r5207 - b12*n2*r5237
r421=-----------------------------
2*a23*b12*kap
r423
2
2*a22*a23*m3*r5207 - a22*b12*n1*r5207 - 2*a23*b12*m3*r5237 + b12 *n1*r5237
=----------------------------------------------------------------------------
2
2*a23*b12 *kap
a22*n2*r5207 - b12*n2*r5237
r424=-----------------------------
2*a23*b12*kap
- 2*a23*m3*r5150 + b12*n1*r5150
r426=----------------------------------
2
b12
2
r427=(2*a22 *n3*r5207 - a22*a23*n2*r5207 - 2*a22*b12*n3*r5237 + a23*b12*n2*r5237
2 2
+ b12 *kap*n3*r5207)/(2*a23*b12 *kap)
- m3*r5207 - n2*r5150
r428=------------------------
b12
r429=0
2
r430=(2*a22 *n3*r5207 - a22*a23*n2*r5207 - 2*a22*b12*n3*r5237 + a23*b12*n2*r5237
2 2
+ b12 *kap*n3*r5207)/(2*a23*b12 *kap)
r431
2 2 2
- 2*a22*a23*n3*r5150 - a23 *m3*r5207 + a23 *n2*r5150 - 2*b12 *kap*m3*r5207
=-----------------------------------------------------------------------------
2
a23*b12
r432
2
4*a22*a23*m3*r5207 - 2*a22*b12*n1*r5207 - 2*a23*b12*m3*r5237 + b12 *n1*r5237
=------------------------------------------------------------------------------
2
2*a23*b12
2*a22*n2*r5207 - 2*a23*n3*r5207 - b12*n2*r5237
r433=------------------------------------------------
2*a23*b12
3 2 2 2
r434=(a22 *a23*n2*r5207 - a22 *a23*b12*n2*r5237 + 5*a22 *b12 *kap*n3*r5207
2 3
- 2*a22*a23*b12 *kap*n2*r5207 - 2*a22*b12 *kap*n3*r5237
2 2 3 4
+ a23 *b12 *kap*n3*r5207 + a23*b12 *kap*n2*r5237)/(2*a23*b12 *kap)
a22*n1*r5207 - b12*n1*r5237
r435=-----------------------------
2*a23*b12*kap
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r436=----------------------------------------------------------
2
2*a23*b12 *kap
a22*n1*r5207 - b12*n1*r5237
r437=-----------------------------
2*a23*b12*kap
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r438=----------------------------------------------------------
2
2*a23*b12 *kap
r439=0
r440=0
r441=0
a22*n1*r5207 - b12*n1*r5237
r442=-----------------------------
2*a23*b12*kap
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r443=----------------------------------------------------------
2
2*a23*b12 *kap
r444=0
r445=( - 2*a22*a23*n3*r5207 - 2*a23*b12*kap*n1*r5150 + 2*a23*b12*n3*r5237
2 2
+ b12 *kap*n2*r5207)/(2*a23*b12 *kap)
2
r446=( - 2*a22 *n3*r5207 - 2*a22*a23*kap*m3*r5150 + a22*a23*n2*r5207
2 2
+ 2*a22*b12*n3*r5237 - a23*b12*n2*r5237 - b12 *kap*n3*r5207)/(a23*b12
*kap)
2
r447=( - 2*a22*a23*n3*r5207 - 4*a23 *kap*m3*r5150 + 2*a23*b12*kap*n1*r5150
2 2
+ 2*a23*b12*n3*r5237 + b12 *kap*n2*r5207)/(2*a23*b12 *kap)
r448=0
2*a23*m3*r5207 - 2*a23*n2*r5150 - b12*n1*r5207
r449=------------------------------------------------
2*a23*b12
2
- a22*a23*n3*r5207 + a23*b12*n3*r5237 + b12 *kap*n2*r5207
r450=------------------------------------------------------------
2
a23*b12 *kap
r451
2 2
- 4*a22*a23*m3*r5207 + 2*a22*b12*n1*r5207 + 4*a23 *n3*r5150 - b12 *n1*r5237
=------------------------------------------------------------------------------
2
2*a23*b12
2
r452=(4*a22 *m3*r5207 - 4*a22*a23*n3*r5150 - 2*a22*b12*m3*r5237
2 2
- 6*a23 *m3*r5207 + 2*a23 *n2*r5150 + 2*a23*b12*n1*r5207
2 2
- 3*b12 *kap*m3*r5207)/(2*a23*b12 )
2 2
2*a22 *n2*r5207 - 2*a22*b12*n2*r5237 - 5*b12 *kap*n2*r5207
r453=------------------------------------------------------------
3
2*b12 *kap
2 2 2
r454=( - 4*a22 *a23 *n2*r5207 + 4*a22*a23 *b12*n2*r5237
2 2 2
- 8*a22*a23*b12 *kap*n3*r5207 + 2*a23 *b12 *kap*n2*r5207
3 4 2 4
+ 2*a23*b12 *kap*n3*r5237 - b12 *kap *n2*r5207)/(2*a23*b12 *kap)
- a22*n2*r5207 + b12*n2*r5237
r455=--------------------------------
2
2*b12 *kap
- n1*r5150
r456=-------------
b12
2
r457=( - 2*a22 *n3*r5207 - 4*a22*a23*kap*m3*r5150 + 2*a22*b12*n3*r5237
2 2
- b12 *kap*n3*r5207)/(2*a23*b12 *kap)
n1*r5207
r458=----------
2*a23
2*a22*m3*r5207
r459=----------------
a23*b12
r460=0
a23*m3*r5207 + a23*n2*r5150 - b12*n1*r5207
r461=--------------------------------------------
2
b12
r462
2 2
- 8*a22*a23*m3*r5207 + 4*a23 *n3*r5150 - 2*a23*b12*m3*r5237 + b12 *n1*r5237
=------------------------------------------------------------------------------
2
2*a23*b12
2 2 2
r463=( - 4*a22*a23 *n2*r5207 - 2*a22*b12 *kap*n2*r5207 + 4*a23 *b12*n2*r5237
2 3 3
- 2*a23*b12 *kap*n3*r5207 - b12 *kap*n2*r5237)/(2*a23*b12 *kap)
3 2
r464=( - 2*a22 *a23*n2*r5207 + 2*a22 *a23*b12*n2*r5237
2 2 3
+ 2*a22 *b12 *kap*n3*r5207 + 4*a22*a23 *n2*r5207
2 3
- 2*a22*a23*b12 *kap*n2*r5207 - 2*a22*b12 *kap*n3*r5237
3 2 2
- 4*a23 *b12*n2*r5237 + 6*a23 *b12 *kap*n3*r5207
3 4 2 4
+ 2*a23*b12 *kap*n2*r5237 + b12 *kap *n3*r5207)/(2*a23*b12 *kap)
- n1*r5237
r465=-------------
2*a23
r466
2 2 2
- 2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 + 2*a23 *n2*r5150 - b12 *kap*m3*r5207
=-------------------------------------------------------------------------------
2
2*a23*b12
2 2
- 2*a22 *n2*r5207 + 2*a22*b12*n2*r5237 - b12 *kap*n2*r5207
r467=-------------------------------------------------------------
3
2*b12 *kap
2 2 2 2 2
r468=(4*a22 *a23 *n2*r5207 - 4*a22*a23 *b12*n2*r5237 + 2*a23 *b12 *kap*n2*r5207
3 4 2 4
+ 2*a23*b12 *kap*n3*r5237 - b12 *kap *n2*r5207)/(2*a23*b12 *kap)
3 2 3
a22 *n2*r5207 - a22 *b12*n2*r5237 + b12 *kap*n2*r5237
r469=-------------------------------------------------------
4
2*b12 *kap
- a22*n2*r5207 + b12*n2*r5237
r470=--------------------------------
2*a23*b12*kap
r471=0
- a22*n2*r5207 + b12*n2*r5237
r472=--------------------------------
2*a23*b12*kap
r473=0
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r474=----------------------------------------------------------
2
2*a23*b12 *kap
r475=0
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r476=----------------------------------------------------------
2
2*a23*b12 *kap
- a22*n2*r5207 + b12*n2*r5237
r477=--------------------------------
2*a23*b12*kap
2 2
2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 - b12 *kap*m3*r5207
r479=----------------------------------------------------------
2
2*a23*b12 *kap
2*a23*m3*r5207 + 2*a23*n2*r5150 + b12*n1*r5207
r480=------------------------------------------------
2*a23*b12
- a23*m3*r5207 + b12*n1*r5207
r482=--------------------------------
a23*b12
2
r483=( - 2*a22 *n3*r5207 - 2*a22*a23*kap*m3*r5150 + a22*a23*n2*r5207
2 2
+ 2*a22*b12*n3*r5237 - a23*b12*n2*r5237 - b12 *kap*n3*r5207)/(a23*b12
*kap)
2 2
- 4*a23 *m3*r5150 + 2*a23*b12*n1*r5150 - b12 *n2*r5207
r484=---------------------------------------------------------
2
2*a23*b12
- 2*a23*n2*r5150 + b12*n1*r5207
r485=----------------------------------
2*a23*b12
- 2*a22*n2*r5207 + 2*a23*n3*r5207 + b12*n2*r5237
r486=---------------------------------------------------
2*a23*b12
2 2
- 2*a22 *n2*r5207 + 2*a22*b12*n2*r5237 + b12 *kap*n2*r5207
r487=-------------------------------------------------------------
3
2*b12 *kap
2
r488=(4*a22 *m3*r5207 - 4*a22*a23*n3*r5150 - 2*a22*b12*m3*r5237
2 2
- 2*a23 *m3*r5207 + 2*a23 *n2*r5150 - 2*a23*b12*n1*r5207
2 2
- 3*b12 *kap*m3*r5207)/(2*a23*b12 )
- kap*n1*r5207
r489=-----------------
2*a23
r490=0
2*a23*n2*r5150 - b12*n1*r5207
r491=-------------------------------
2*a23*b12
- 2*a22*m3*r5207
r492=-------------------
a23*b12
- 2*a23*n1*r5150 - b12*n2*r5207
r493=----------------------------------
2*a23*b12
2
r494=( - 2*a22 *n3*r5207 - 4*a22*a23*kap*m3*r5150 + 2*a22*b12*n3*r5237
2 2
- b12 *kap*n3*r5207)/(a23*b12 *kap)
2*a22*m3*r5207
r495=----------------
a23*b12
2*n2*r5207
r496=------------
b12
2 2 2
r497=(2*a22*a23 *n2*r5207 + a22*b12 *kap*n2*r5207 - 2*a23 *b12*n2*r5237
2 3
+ a23*b12 *kap*n3*r5207)/(a23*b12 *kap)
2
- 4*a22*a23*m3*r5207 - a22*b12*n1*r5207 + 2*a23 *n3*r5150
r498=------------------------------------------------------------
2
a23*b12
r499=0
n2*r5237
r4100=----------
2*a23
2 2
2*a22 *n2*r5207 - 2*a22*b12*n2*r5237 + b12 *kap*n2*r5207
r4101=----------------------------------------------------------
3
2*b12 *kap
r4102
2 2 2
- 2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 + 2*a23 *n2*r5150 - b12 *kap*m3*r5207
=-------------------------------------------------------------------------------
2
2*a23*b12
- kap*n1*r5207
r4103=-----------------
2*a23
r4104=0
- a22*n2*r5207 + b12*n2*r5237
r4105=--------------------------------
2
2*b12 *kap
n2*r5207
r4106=----------
2*a23
n2*r5150
r4108=----------
b12
- 2*a22*m3*r5207
r4109=-------------------
a23*b12
2
r4110=( - 2*a22 *n3*r5207 - 4*a22*a23*kap*m3*r5150 + 2*a22*b12*n3*r5237
2 2
- b12 *kap*n3*r5207)/(2*a23*b12 *kap)
a23*m3*r5207 + a23*n2*r5150 + b12*n1*r5207
r4111=--------------------------------------------
2
b12
2*a22*n1*r5207 - 2*a23*m3*r5237 + b12*n1*r5237
r4112=------------------------------------------------
2*a23*b12
- n2*r5237
r4113=-------------
2*a23
3 2
r4114=( - 2*a22 *a23*n2*r5207 + 2*a22 *a23*b12*n2*r5237
2 2 2
+ 2*a22 *b12 *kap*n3*r5207 - 2*a22*a23*b12 *kap*n2*r5207
3 2 2
- 2*a22*b12 *kap*n3*r5237 + 2*a23 *b12 *kap*n3*r5207
3 4 2 4
+ 2*a23*b12 *kap*n2*r5237 + b12 *kap *n3*r5207)/(2*a23*b12 *kap)
- n1*r5237
r4115=-------------
2*a23
r4116
2 2 2
- 2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 + 2*a23 *n2*r5150 - b12 *kap*m3*r5207
=-------------------------------------------------------------------------------
2
2*a23*b12
2 2
- 2*a22 *n2*r5207 + 2*a22*b12*n2*r5237 - b12 *kap*n2*r5207
r4117=-------------------------------------------------------------
3
2*b12 *kap
2 2 2 2 2
r4118=(4*a22 *a23 *n2*r5207 - 4*a22*a23 *b12*n2*r5237 + 2*a23 *b12 *kap*n2*r5207
3 4 2 4
+ 2*a23*b12 *kap*n3*r5237 - b12 *kap *n2*r5207)/(2*a23*b12 *kap)
3 2 3
a22 *n2*r5207 - a22 *b12*n2*r5237 + b12 *kap*n2*r5237
r4119=-------------------------------------------------------
4
b12 *kap
n2*r5237
r4120=----------
2*a23
2 2
2*a22 *n2*r5207 - 2*a22*b12*n2*r5237 + b12 *kap*n2*r5207
r4121=----------------------------------------------------------
3
2*b12 *kap
r4122
2 2 2
- 2*a22 *m3*r5207 - 2*a22*b12*m3*r5237 + 2*a23 *n2*r5150 - b12 *kap*m3*r5207
=-------------------------------------------------------------------------------
2
2*a23*b12
- kap*n1*r5207
r4123=-----------------
2*a23
r4124=0
3 2 3
a22 *n2*r5207 - a22 *b12*n2*r5237 + b12 *kap*n2*r5237
r4125=-------------------------------------------------------
4
2*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
- a22*r5207 + b12*r5237
r521=--------------------------
2*a23*kap
r522=0
- a22*r5207 + b12*r5237
r523=--------------------------
a23*kap
r524=0
- a22*r5207 + b12*r5237
r525=--------------------------
2*a23*kap
r526=0
r527=0
r528=0
r529=0
- a22*r5207 + b12*r5237
r530=--------------------------
a23*kap
r531=0
- a22*r5207 + b12*r5237
r532=--------------------------
a23*kap
r533=0
r534=0
- a22*r5207 + b12*r5237
r535=--------------------------
2*a23*kap
r536=r5150
r537=0
r538=r5150
r539=0
a22*r5207 - b12*r5237
r540=-----------------------
b12*kap
r541=0
a22*r5207 - b12*r5237
r542=-----------------------
b12*kap
r543=r5150
r544=0
a22*r5207 - b12*r5237
r545=-----------------------
b12*kap
- a22*r5207
r546=--------------
2*a23
r547=0
- a22*r5207
r548=--------------
2*a23
- 2*a23*r5150
r549=----------------
b12
r550=0
- a22*r5207
r551=--------------
2*a23
r552= - kap*r5150
r553=0
2*a22*r5207 - b12*r5237
r554=-------------------------
b12
2*a22*kap*r5207 - b12*kap*r5237
r555=---------------------------------
2*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
r572=r5150
r573=0
r574=r5150
2 2
2*a22 *r5207 - 2*a22*b12*r5237 - b12 *kap*r5207
r575=-------------------------------------------------
2*a23*b12*kap
r576=0
2 2
2*a22 *r5207 - 2*a22*b12*r5237 - b12 *kap*r5207
r577=-------------------------------------------------
2*a23*b12*kap
r578=0
r579=r5150
2 2
2*a22 *r5207 - 2*a22*b12*r5237 - b12 *kap*r5207
r580=-------------------------------------------------
2*a23*b12*kap
r581=r5207
r582=0
r583=r5207
- 2*a22*r5150
r584=----------------
b12
- 2*a23*r5150
r585=----------------
b12
r586=2*r5207
r587=0
r588= - kap*r5150
2 2 2
4*a22 *r5207 - 2*a22*b12*r5237 - 4*a23 *r5207 + b12 *kap*r5207
r589=----------------------------------------------------------------
2*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
a22*r5207
r5101=-----------
2*a23
r5102=0
a22*r5207
r5103=-----------
2*a23
r5104=0
- 2*a22*r5150
r5105=----------------
b12
3*a22*r5207
r5106=-------------
2*a23
r5107= - kap*r5150
r5108=0
- 2*a22*r5207 - b12*r5237
r5109=----------------------------
b12
a22*kap*r5207 - b12*kap*r5237
r5110=-------------------------------
a23
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
r5118= - kap*r5150
- 2*a22*r5237 + b12*kap*r5207
r5119=--------------------------------
2*a23
r5120= - kap*r5207
r5121=0
r5122=0
r5123=0
- b12*kap*r5237
r5124=------------------
2*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
- a22*r5207 + b12*r5237
r5141=--------------------------
b12*kap
2 2
- 2*a22 *r5207 + 2*a22*b12*r5237 + b12 *kap*r5207
r5142=----------------------------------------------------
2*a23*b12*kap
- a22*r5207 + b12*r5237
r5143=--------------------------
b12*kap
2 2
- 2*a22 *r5207 + 2*a22*b12*r5237 + b12 *kap*r5207
r5144=----------------------------------------------------
2*a23*b12*kap
r5145=r5150
r5146=0
r5147=r5150
- a22*r5207 + b12*r5237
r5148=--------------------------
b12*kap
2 2
- 2*a22 *r5207 + 2*a22*b12*r5237 + b12 *kap*r5207
r5149=----------------------------------------------------
2*a23*b12*kap
2*a23*r5150
r5151=-------------
b12
2*a22*r5150
r5152=-------------
b12
r5153=0
r5154=0
r5155= - r5207
- 2*a23*r5150
r5156=----------------
b12
- 2*a22*r5207 + b12*r5237
r5157=----------------------------
b12
2 2
- 4*a22 *r5207 + 2*a22*b12*r5237 - b12 *kap*r5207
r5158=----------------------------------------------------
2*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*r5150
r5172=-------------
b12
2*a22*r5150
r5173=-------------
b12
r5174= - r5207
- 2*a22*r5207
r5175=----------------
a23
- 2*a22*r5150
r5176=----------------
b12
2*a23*r5207
r5177=-------------
b12
2*a22*r5207
r5178=-------------
b12
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=r5237
2*a22*r5237 - b12*kap*r5207
r5188=-----------------------------
2*a23
r5189= - kap*r5150
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
a22*r5207
r5206=-----------
2*a23
3*a22*r5207
r5208=-------------
2*a23
2*a23*r5150
r5209=-------------
b12
2*a22*r5150
r5210=-------------
b12
a22*r5207
r5211=-----------
2*a23
r5212= - kap*r5150
r5213=0
r5214= - r5237
a22*kap*r5207 - b12*kap*r5237
r5215=-------------------------------
a23
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
r5223= - kap*r5150
- 2*a22*r5237 + b12*kap*r5207
r5224=--------------------------------
2*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
2*a22*r5237 - b12*kap*r5207
r5238=-----------------------------
2*a23
r5239= - kap*r5150
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
- b12*kap*r5237
r5249=------------------
2*a23
r5250=0
r5251=0
m2=0
m1=0
a33= - a22
a13=0
a11=a22
r5159= - kap*r5150
3 2
r353=(4*a22 *a23*n2*n3*r5207 - 4*a22 *a23*b12*n2*n3*r5237
2 2 2 2 2
- 2*a22 *b12 *kap *m3 *r5207 + 4*a22*a23*b12 *kap*n2*n3*r5207
3 2 2 3 2
- 2*a22*b12 *kap *m3 *r5237 + 2*a22*b12 *kap*n3 *r5237
2 2 2 2 5 2
- 2*a23 *b12 *kap *m3 *r5207 + 2*a23*b12 *kap *r328
3 2 3
+ 2*a23*b12 *kap *m3*n1*r5207 - 2*a23*b12 *kap*n2*n3*r5237
4 3 2 4 2 2 4 2 2
- 3*b12 *kap *m3 *r5207 + b12 *kap *n2 *r5207 + b12 *kap *n3 *r5207)/(4
4
*a22*a23*b12 *kap)
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:
r328, r5150, a22, r5207, r5237, m3, n3, n2, n1, 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.
{{m3,n1,n2,n3},
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},
a33,
b12,
a11}
Relevance for the application:
Modulo the following equation:
2 2 2
0=a22 + a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2
HAM=u1 *a22 + u1*v2*b12 + u1*n1 + u2 *a22 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2
2
- u3 *a22 + u3*n3 + v3*m3
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
4 4 2 4 3 2
FI= - u1 *u3*a22*b12 *kap + u1 *( - a22 *a23*n2 + a22*a23*b12 *kap*n2)
3 2 3 3 3
+ 2*u1 *u3*v2*a22 *b12 *kap + 2*u1 *u3*v3*a22*a23*b12 *kap
3 2 2 3 2
- 2*u1 *v1*a22 *b12 *kap*m3 - 2*u1 *v2*a22 *a23*b12*n2
3 3 3 2 2
+ u1 *v3*a22*b12 *kap*n2 + u1 *( - 2*a22 *a23*n1*n2 + a22*b12 *kap*n1*n3)
2 2 4 2
- 2*u1 *u2 *u3*a22*b12 *kap
2 2 3 2
+ u1 *u2 *( - 2*a22 *a23*n2 + 2*a22*a23*b12 *kap*n2)
2 2 3
- 2*u1 *u2*u3*v1*a22 *b12 *kap
2 2 2 2
+ u1 *u2*u3*( - 4*a22 *a23 *n2 + 2*a22*a23*b12 *kap*n3)
2 2 2 2 2
+ 2*u1 *u2*v1*a22 *a23*b12*n2 - 2*u1 *u2*v2*a22 *b12 *kap*m3
2 3
- u1 *u2*v3*a22*b12 *kap*n1
2 2 2 2 2 3 4 2
+ u1 *u2*( - 2*a22 *a23*n2 + a22*b12 *kap*n2*n3) - 2*u1 *u3 *a22*b12 *kap
2 2 3
- 2*u1 *u3 *v1*a22*a23*b12 *kap
2 2 3 2 2 2
+ u1 *u3 *(2*a22 *a23*n2 - 2*a22 *b12 *kap*n3 + 2*a22*a23*b12 *kap*n2)
2 3
- u1 *u3*v1*a22*b12 *kap*n2
2 2 3 2
+ u1 *u3*v2*( - 2*a22*a23*b12 *kap*m3 + a22*b12 *kap*n1) + u1 *u3*(
2 2 2 2 2 2
- 2*a22 *a23*n2*n3 - a22*b12 *kap *m3 + a22*b12 *kap*n3
2 2 2 2 2
- a23*b12 *kap*n2*n3) + 2*u1 *v1 *a22 *b12 *n3
2 2
- u1 *v1*a22*b12 *kap*m3*n1
2 2
+ u1 *v2*( - 2*a22*a23*b12*n1*n2 - a22*b12 *kap*m3*n2)
2 2 2 2 2
+ u1 *v3 *a22*a23*b12 *n2 - 2*u1 *v3*a22 *a23*m3*n2
2 2 2 2 2 2 3
+ u1 *( - a22*a23*n1 *n2 + a23 *n2 *n3) + 2*u1*u2 *u3*v2*a22 *b12 *kap
2 3 2 2 2
+ 2*u1*u2 *u3*v3*a22*a23*b12 *kap - 2*u1*u2 *v1*a22 *b12 *kap*m3
2 2 2 3
- 2*u1*u2 *v2*a22 *a23*b12*n2 + u1*u2 *v3*a22*b12 *kap*n2
2 2 2
+ u1*u2 *( - 2*a22 *a23*n1*n2 + a22*b12 *kap*n1*n3)
2 2
- 4*u1*u2*u3*v2*a22*a23 *b12*n2 - 4*u1*u2*u3*a22*a23 *n1*n2
2 2
+ 4*u1*u2*v1*v2*a22 *b12 *n3 + 2*u1*u2*v1*a22*a23*b12*n1*n2
2 2
- 2*u1*u2*v2*a22*a23*b12*n2 - 2*u1*u2*a22*a23*n1*n2
3 2 3 3 3
+ 2*u1*u3 *v2*a22 *b12 *kap + 2*u1*u3 *v3*a22*a23*b12 *kap
2 2 2 2 2
- 2*u1*u3 *v1*a22 *b12 *kap*m3 + 2*u1*u3 *v2*a22 *a23*b12*n2
2 3 2 2 2
+ u1*u3 *v3*a22*b12 *kap*n2 + u1*u3 *(2*a22 *a23*n1*n2 + a22*b12 *kap*n1*n3)
2 2 3 2 3
+ 2*u1*u3*v1 *v2*a22 *b12 + 2*u1*u3*v1 *v3*a22*a23*b12
2 2 2 3 2 3
+ u1*u3*v1*v3*(4*a22 *b12 *n3 - 2*a22*a23*b12 *n2) + 2*u1*u3*v2 *a22 *b12
2 3 2 2 3
+ 2*u1*u3*v2 *v3*a22*a23*b12 + 2*u1*u3*v2*v3 *a22 *b12
3 3 2
+ 2*u1*u3*v3 *a22*a23*b12 + 2*u1*u3*v3*a23 *b12*n2*n3
3 2 2 2 3
- 2*u1*u3*a22*a23*n1*n2*n3 - 2*u1*v1 *a22 *b12 *m3 + u1*v1 *v3*a22*b12 *n2
2 2 2 2 2
+ u1*v1 *a22*b12 *n1*n3 - 2*u1*v1*v2 *a22 *b12 *m3
2 2 2 2 3 2 2
- 2*u1*v1*v3 *a22 *b12 *m3 + u1*v2 *v3*a22*b12 *n2 + u1*v2 *a22*b12 *n1*n3
3 3 2 2
- 2*u1*v2*v3*a22*a23*b12*m3*n2 + u1*v3 *a22*b12 *n2 + u1*v3 *a22*b12 *n1*n3
2 2
+ u1*v3*( - 2*a22*a23*m3*n1*n2 + a23*b12*n2 *n3) + u1*a23*n1*n2*n3
4 4 2 4 3 2
- u2 *u3*a22*b12 *kap + u2 *( - a22 *a23*n2 + a22*a23*b12 *kap*n2)
3 2 3
- 2*u2 *u3*v1*a22 *b12 *kap
3 2 2 2
+ u2 *u3*( - 4*a22 *a23 *n2 + 2*a22*a23*b12 *kap*n3)
3 2 3 2 2
+ 2*u2 *v1*a22 *a23*b12*n2 - 2*u2 *v2*a22 *b12 *kap*m3
3 3 3 2 2 2
- u2 *v3*a22*b12 *kap*n1 + u2 *( - 2*a22 *a23*n2 + a22*b12 *kap*n2*n3)
2 3 4 2 2 2 3 2 2
- 2*u2 *u3 *a22*b12 *kap - 2*u2 *u3 *v1*a22*a23*b12 *kap + u2 *u3
3 2 2 3 2
*(2*a22 *a23*n2 - 2*a22 *b12 *kap*n3 - 4*a22*a23 *n2 + 2*a22*a23*b12 *kap*n2)
2 2 3
+ u2 *u3*v1*(4*a22*a23 *b12*n2 - a22*b12 *kap*n2)
2 2 3 2
+ u2 *u3*v2*( - 2*a22*a23*b12 *kap*m3 + a22*b12 *kap*n1) + u2 *u3*(
2 2 2 2 2 2
- 2*a22 *a23*n2*n3 - 4*a22*a23 *n2 - a22*b12 *kap *m3
2 2 2
+ a22*b12 *kap*n3 - a23*b12 *kap*n2*n3)
2 2 2 2 2 2 2
+ u2 *v1*(2*a22*a23*b12*n2 - a22*b12 *kap*m3*n1) + 2*u2 *v2 *a22 *b12 *n3
2 2 2 2 2
- u2 *v2*a22*b12 *kap*m3*n2 + u2 *v3 *a22*a23*b12 *n2
2 2 2 3 2 2
- 2*u2 *v3*a22 *a23*m3*n2 + u2 *( - a22*a23*n2 + a23 *n2 *n3)
3 2 3
- 2*u2*u3 *v1*a22 *b12 *kap
3 2 2 2
+ u2*u3 *(4*a22 *a23 *n2 + 2*a22*a23*b12 *kap*n3)
2 2 2 2 2
- 2*u2*u3 *v1*a22 *a23*b12*n2 - 2*u2*u3 *v2*a22 *b12 *kap*m3
2 3
- u2*u3 *v3*a22*b12 *kap*n1
2 2 2 2 2
+ u2*u3 *(2*a22 *a23*n2 - 4*a22*a23 *n2*n3 + a22*b12 *kap*n2*n3)
3 2 3 2 2
- 2*u2*u3*v1 *a22 *b12 + 2*u2*u3*v1 *a22*a23*b12 *n3
2 2 3 2 2 3
- 2*u2*u3*v1*v2 *a22 *b12 - 2*u2*u3*v1*v3 *a22 *b12
2 2
+ 2*u2*u3*v2 *a22*a23*b12 *n3
2 2 2
+ u2*u3*v2*v3*(4*a22 *b12 *n3 - 2*a22*a23*b12 *n2)
2 2 2
+ 2*u2*u3*v3 *a22*a23*b12 *n3 - 4*u2*u3*v3*a22*a23 *m3*n2
2 2 2 2 2 2
+ u2*u3*( - 2*a22*a23*n2 *n3 + 2*a23 *n2*n3 ) - 2*u2*v1 *v2*a22 *b12 *m3
2 3 2 2
- u2*v1 *v3*a22*b12 *n1 + u2*v1 *a22*b12 *n2*n3
3 2 2
+ 2*u2*v1*v3*a22*a23*b12*m3*n2 - 2*u2*v2 *a22 *b12 *m3
2 3 2 2 2 2 2
- u2*v2 *v3*a22*b12 *n1 + u2*v2 *a22*b12 *n2*n3 - 2*u2*v2*v3 *a22 *b12 *m3
3 3 2 2
- u2*v3 *a22*b12 *n1 + u2*v3 *a22*b12 *n2*n3
2 2 2
+ u2*v3*( - 2*a22*a23*m3*n2 - a23*b12*n1*n2*n3) + u2*a23*n2 *n3
5 4 2 4 3
- u3 *a22*b12 *kap - 2*u3 *v1*a22*a23*b12 *kap
4 3 2 2 2
+ u3 *( - a22 *a23*n2 - 2*a22 *b12 *kap*n3 + a22*a23*b12 *kap*n2)
3 3
- u3 *v1*a22*b12 *kap*n2
3 2 3 3
+ u3 *v2*( - 2*a22*a23*b12 *kap*m3 + a22*b12 *kap*n1) + u3 *(
2 2 2 2 2 2
2*a22 *a23*n2*n3 - a22*b12 *kap *m3 + a22*b12 *kap*n3
2 2 3 3
- a23*b12 *kap*n2*n3) - 2*u3 *v1 *a22*a23*b12
2 2 2 2 2 2 2 3
+ u3 *v1 *( - 2*a22 *b12 *n3 + a22*a23*b12 *n2) - 2*u3 *v1*v2 *a22*a23*b12
2 2 3
- 2*u3 *v1*v3 *a22*a23*b12
2 2 2
+ u3 *v1*( - a22*b12 *kap*m3*n1 - 2*a23 *b12*n2*n3)
2 2 2 2 2 2 2
+ u3 *v2 *( - 2*a22 *b12 *n3 + a22*a23*b12 *n2) - u3 *v2*a22*b12 *kap*m3*n2
2 2 2 2 2 2
+ 2*u3 *v3*a22 *a23*m3*n2 + u3 *( - 3*a22*a23*n2*n3 + a23 *n2 *n3)
4 4 3 3 2 2 4
+ u3*v1 *a22*b12 - u3*v1 *a22*b12 *n2 + 2*u3*v1 *v2 *a22*b12
2 2 3 2 2 4
+ u3*v1 *v2*( - 2*a22*a23*b12 *m3 + a22*b12 *n1) + 2*u3*v1 *v3 *a22*b12
2 2 2 2 2 2
+ u3*v1 *( - a22*b12 *kap*m3 + a22*b12 *n3 + a23*b12 *n2*n3)
2 3 2 3 2
- u3*v1*v2 *a22*b12 *n2 - u3*v1*v3 *a22*b12 *n2 - u3*v1*a23*b12*n2 *n3
4 4 3 2 3
+ u3*v2 *a22*b12 + u3*v2 *( - 2*a22*a23*b12 *m3 + a22*b12 *n1)
2 2 4
+ 2*u3*v2 *v3 *a22*b12
2 2 2 2 2 2
+ u3*v2 *( - a22*b12 *kap*m3 + a22*b12 *n3 + a23*b12 *n2*n3)
2 2 3
+ u3*v2*v3 *( - 2*a22*a23*b12 *m3 + a22*b12 *n1)
2 4 4
+ u3*v2*( - 2*a23 *m3*n2*n3 + a23*b12*n1*n2*n3) + u3*v3 *a22*b12
2 2 2 2 2 2
+ u3*v3 *( - a22*b12 *kap*m3 + a22*b12 *n3 + a23*b12 *n2*n3)
2 3 3 2
+ u3*( - a23*kap*m3 *n2*n3 + a23*n2*n3 ) - v1 *a22*b12 *m3*n1
2 2 2 2 2 2
- v1 *v2*a22*b12 *m3*n2 - v1*v2 *a22*b12 *m3*n1 - v1*v3 *a22*b12 *m3*n1
3 2 2 2
- v1*a23*m3*n1*n2*n3 - v2 *a22*b12 *m3*n2 - v2*v3 *a22*b12 *m3*n2
2 2 2
- v2*a23*m3*n2 *n3 - v3 *a22*a23*m3 *n2
which is not further factorizable.
{HAM,FI} = 0
4 4 3 3 2 6 2
FI=2*u1 *a22 *a23 *b12*n2 - 2*u1 *u3*v2*a22*a23 *b12 *kap
3 2 5 2
- 2*u1 *u3*a22*a23 *b12 *kap *n1
3 3 2 3 2 5 2
+ u1 *v1*( - 4*a22 *a23 *b12 *kap*m3 - 2*a22*a23 *b12 *kap *m3)
3 3 3 2 3 4
+ u1 *v2*(4*a22 *a23 *b12 *n2 + 2*a22*a23 *b12 *kap*n2)
3 3 3 3 3
+ u1 *(4*a22 *a23 *b12*n1*n2 + 2*a22*a23 *b12 *kap*n1*n2)
2 2 4 3 2 2 3 5 2
+ 4*u1 *u2 *a22 *a23 *b12*n2 - 4*u1 *u2*u3 *a22*a23 *b12 *kap
2 2 6 2 2
+ 2*u1 *u2*u3*v1*a22*a23 *b12 *kap + u1 *u2*u3
3 4 4 3 2 5 2
*(8*a22 *a23 *b12*n2 + 4*a22*a23 *b12 *kap*n2 - 2*a22*a23 *b12 *kap *n2)
2 3 3 2 3 4
+ u1 *u2*v1*( - 4*a22 *a23 *b12 *n2 - 2*a22*a23 *b12 *kap*n2)
2 3 2 3 2 5 2
+ u1 *u2*v2*( - 4*a22 *a23 *b12 *kap*m3 - 2*a22*a23 *b12 *kap *m3)
2 3 3 2 3 3 2
+ u1 *u2*(4*a22 *a23 *b12*n2 + 2*a22*a23 *b12 *kap*n2 )
2 3 2 2 5 2 2 2 4 3
+ 4*u1 *u3 *a22 *a23 *b12 *kap + u1 *u3 *( - 4*a22 *a23 *b12*n2
3 2 3 2 3 3
+ 4*a22 *a23 *b12 *kap*n3 - 4*a22 *a23 *b12 *kap*n2
4 3 2 5 2
+ 4*a22*a23 *b12 *kap*n3 + 2*a22*a23 *b12 *kap *n3)
2 2 2 2 5 2 2 2 2 5
+ 2*u1 *u3*v1 *a22 *a23 *b12 *kap + 6*u1 *u3*v2 *a22 *a23 *b12 *kap
2 3 5 2 2 2 4
+ 4*u1 *u3*v2*v3*a22*a23 *b12 *kap + 4*u1 *u3*v2*a22 *a23 *b12 *kap*n1
2 2 2 2 5
+ 2*u1 *u3*v3 *a22 *a23 *b12 *kap
2 4 3 3 4 2
+ u1 *u3*v3*(4*a22*a23 *b12 *kap*m3 + 4*a22*a23 *b12 *kap*n1) + u1 *u3*(
3 3 2 2 3 2 2
4*a22 *a23 *b12*n2*n3 - 2*a22 *a23 *b12 *kap *m3
3 3 4 3 2 2
+ 4*a22*a23 *b12 *kap*n2*n3 - 2*a23 *b12 *kap *m3
3 4 2 2 5 3 2 2 5 2 2
+ 2*a23 *b12 *kap *m3*n1 - 3*a23 *b12 *kap *m3 + a23 *b12 *kap *n2
2 5 2 2
+ a23 *b12 *kap *n3 )
2 2 3 2 3 2 5
+ u1 *v1 *( - 4*a22 *a23 *b12 *n3 - 2*a22*a23 *b12 *kap*n3)
2 2 2 4 2 2 2 3
- 8*u1 *v1*v2*a22 *a23 *b12 *kap*m3 - 8*u1 *v1*a22 *a23 *b12 *kap*m3*n1
2 2 5
+ 2*u1 *v2*v3*a22*a23 *b12 *kap*n2
2 2 3 2 2 4
+ u1 *v2*(4*a22 *a23 *b12 *n1*n2 + 2*a22*a23 *b12 *kap*n1*n3)
2 2 2 3 3 2 3 3
- 2*u1 *v3 *a22 *a23 *b12 *n2 + u1 *v3*(4*a22 *a23 *b12*m3*n2
3 3 2 4 2
+ 2*a22*a23 *b12 *kap*m3*n2 + 2*a22*a23 *b12 *kap*n1*n2) + u1 *(
2 3 2 2 3 2
2*a22 *a23 *b12*kap*m3 *n2 + 2*a22 *a23 *b12*n1 *n2
2 2 2 4 2
+ 2*a22 *a23 *b12 *kap*m3*n1*n2 - 2*a22*a23 *b12*n2 *n3
2 3 2 5 2
+ 2*a22*a23 *b12 *kap*n1 *n3 + 2*a23 *b12*kap*m3 *n2
4 2 3 3 2 2 3 3 3
- 2*a23 *b12 *kap*m3*n1*n2 + 3*a23 *b12 *kap *m3 *n2 - a23 *b12 *kap*n2
3 3 2 2 2 6 2
- a23 *b12 *kap*n2*n3 ) - 2*u1*u2 *u3*v2*a22*a23 *b12 *kap
2 2 5 2
- 2*u1*u2 *u3*a22*a23 *b12 *kap *n1
2 3 2 3 2 5 2
+ u1*u2 *v1*( - 4*a22 *a23 *b12 *kap*m3 - 2*a22*a23 *b12 *kap *m3)
2 3 3 2 3 4
+ u1*u2 *v2*(4*a22 *a23 *b12 *n2 + 2*a22*a23 *b12 *kap*n2)
2 3 3 3 3
+ u1*u2 *(4*a22 *a23 *b12*n1*n2 + 2*a22*a23 *b12 *kap*n1*n2)
2 2 3 4 2 4 4
+ 8*u1*u2*u3 *v2*a22 *a23 *b12 *kap + 8*u1*u2*u3 *v3*a22*a23 *b12 *kap
2 2 5 3 5
- 8*u1*u2*u3*v1*v2*a22 *a23 *b12 *kap - 4*u1*u2*u3*v1*v3*a22*a23 *b12 *kap
2 3 3 2 2 4
+ u1*u2*u3*v1*( - 16*a22 *a23 *b12 *kap*m3 - 4*a22 *a23 *b12 *kap*n1) + u1
*u2*u3*v2
2 4 2 2 2 4 3 4
*(8*a22 *a23 *b12 *n2 + 4*a22 *a23 *b12 *kap*n2 + 4*a22*a23 *b12 *kap*n3)
3 4
+ 8*u1*u2*u3*v3*a22*a23 *b12 *kap*n2
2 4 3 3
+ u1*u2*u3*(8*a22 *a23 *b12*n1*n2 + 8*a22*a23 *b12 *kap*n1*n3)
2 2 2 4
+ 8*u1*u2*v1 *a22 *a23 *b12 *kap*m3
3 2 3 2 5
+ u1*u2*v1*v2*( - 8*a22 *a23 *b12 *n3 - 4*a22*a23 *b12 *kap*n3)
2 5 2 3 2
- 2*u1*u2*v1*v3*a22*a23 *b12 *kap*n2 + u1*u2*v1*( - 4*a22 *a23 *b12 *n1*n2
2 2 3 2 4
- 8*a22 *a23 *b12 *kap*m3*n2 - 2*a22*a23 *b12 *kap*n1*n3)
2 2 2 4 2 5
- 8*u1*u2*v2 *a22 *a23 *b12 *kap*m3 - 2*u1*u2*v2*v3*a22*a23 *b12 *kap*n1 +
2 3 2 2 2 2 3
u1*u2*v2*(4*a22 *a23 *b12 *n2 - 8*a22 *a23 *b12 *kap*m3*n1
2 4
+ 2*a22*a23 *b12 *kap*n2*n3)
2 4 2 2 4 2
+ u1*u2*v3*( - 2*a22*a23 *b12 *kap*n1 + 2*a22*a23 *b12 *kap*n2 )
2 3 2 2 3
+ u1*u2*(4*a22 *a23 *b12*n1*n2 + 4*a22*a23 *b12 *kap*n1*n2*n3)
3 3 2 4 2 6 2
+ u1*u3 *v2*( - 8*a22 *a23 *b12 *kap - 2*a22*a23 *b12 *kap )
3 2 3 4 3 2 5 2
- 8*u1*u3 *v3*a22 *a23 *b12 *kap - 2*u1*u3 *a22*a23 *b12 *kap *n1
2 3 5 2 3 2 3
- 4*u1*u3 *v1*v2*a22*a23 *b12 *kap + u1*u3 *v1*(8*a22 *a23 *b12 *kap*m3
4 3 3 4
- 4*a22*a23 *b12 *kap*m3 - 4*a22*a23 *b12 *kap*n1
2 5 2
- 6*a22*a23 *b12 *kap *m3)
2 3 3 2 3 4
+ u1*u3 *v2*( - 4*a22 *a23 *b12 *n2 + 2*a22*a23 *b12 *kap*n2)
2 2 2 4 3 4 2
+ u1*u3 *v3*( - 4*a22 *a23 *b12 *kap*n2 + 4*a22*a23 *b12 *kap*n3) + u1*u3 *(
3 3 2 2 3
- 4*a22 *a23 *b12*n1*n2 - 8*a22 *a23 *b12 *kap*n1*n3
3 3
+ 2*a22*a23 *b12 *kap*n1*n2)
2 3 2 4 2 6
+ u1*u3*v1 *v2*( - 4*a22 *a23 *b12 + 2*a22*a23 *b12 *kap)
2 2 3 4 2 2 5
- 4*u1*u3*v1 *v3*a22 *a23 *b12 + 2*u1*u3*v1 *a22*a23 *b12 *kap*n1
2 5
- 2*u1*u3*v1*v2*a22*a23 *b12 *kap*n2 + u1*u3*v1*v3
3 2 3 2 3 3 2 5
*( - 8*a22 *a23 *b12 *n3 + 4*a22 *a23 *b12 *n2 - 4*a22*a23 *b12 *kap*n3) + u1
3 3 2 2 3
*u3*v1*(2*a22 *a23*b12 *kap*m3*n2 - 8*a22 *a23 *b12 *kap*m3*n3
3 3 2 4
+ 2*a22*a23 *b12 *kap*m3*n2 - 2*a22*a23 *b12 *kap*n1*n2
5 2
+ 2*a22*a23*b12 *kap *m3*n2)
3 3 2 4 2 6
+ u1*u3*v2 *( - 4*a22 *a23 *b12 + 2*a22*a23 *b12 *kap)
2 2 3 4
- 4*u1*u3*v2 *v3*a22 *a23 *b12
2 3 4 2 5
+ u1*u3*v2 *( - 4*a22*a23 *b12 *kap*m3 + 4*a22*a23 *b12 *kap*n1)
2 3 2 4 2 6
+ u1*u3*v2*v3 *( - 4*a22 *a23 *b12 + 2*a22*a23 *b12 *kap) + u1*u3*v2*(
3 3 2 4 2
- 8*a22*a23 *b12 *kap*m3*n1 + 2*a22*a23 *b12 *kap*n1
2 4 2 3 2 3 4
- 2*a22*a23 *b12 *kap*n2 ) - 4*u1*u3*v3 *a22 *a23 *b12
2 3 4 2 5
+ u1*u3*v3 *(4*a22*a23 *b12 *kap*m3 + 2*a22*a23 *b12 *kap*n1) + u1*u3*v3*(
2 3 2 2 2 2 3
4*a22 *a23 *b12 *kap*m3 - 4*a22 *a23 *b12 *kap*m3*n1
4 2 2 4 5 2 2
- 4*a22*a23 *b12 *n2*n3 + 2*a22*a23 *b12 *kap*n2*n3 + 4*a23 *b12 *kap*m3
4 3 3 4 2 2 3 4 2
- 4*a23 *b12 *kap*m3*n1 + 6*a23 *b12 *kap *m3 - 2*a23 *b12 *kap*n2
3 4 2 2 3
- 2*a23 *b12 *kap*n3 ) + u1*u3*(4*a22 *a23 *b12*n1*n2*n3
2 3 2 2 2 3 2
- 2*a22*a23 *b12 *kap *m3 *n1 + 4*a22*a23 *b12 *kap*n1*n3 )
3 3 2 3 2 5
+ u1*v1 *(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 2 2 4 2 2 2 3
- 2*u1*v1 *v3*a22 *a23 *b12 *n2 - 2*u1*v1 *a22 *a23 *b12 *n1*n3
2 3 2 3 2 5
+ u1*v1*v2 *(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 4
- 2*u1*v1*v2*a22*a23 *b12 *kap*m3*n1
2 3 2 3 2 5
+ u1*v1*v3 *(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 2 3 2 3 2 2
- 8*u1*v1*v3*a22 *a23 *b12 *kap*m3 + u1*v1*(4*a22*a23 *b12 *kap*m3 *n1
2 3 2 2 3 2
- 2*a22*a23 *b12 *kap*m3*n1 + 2*a22*a23 *b12 *kap*m3*n2 )
2 2 2 4
- 2*u1*v2 *v3*a22 *a23 *b12 *n2
2 2 2 3 2 4
+ u1*v2 *( - 2*a22 *a23 *b12 *n1*n3 - 2*a22*a23 *b12 *kap*m3*n2)
2 3 2 3 2 2 4
+ 4*u1*v2*v3*a22 *a23 *b12 *m3*n2 - 2*u1*v3 *a22 *a23 *b12 *n2
2 2 2 3 2 4
+ u1*v3 *( - 2*a22 *a23 *b12 *n1*n3 + 2*a22*a23 *b12 *kap*m3*n2) + u1*v3*(
2 3 2 2 2 2
4*a22 *a23 *b12*m3*n1*n2 + 2*a22 *a23 *b12 *kap*m3 *n2
3 2 2 2 3
- 2*a22*a23 *b12 *n2 *n3 + 2*a22*a23 *b12 *kap*m3*n1*n3
4 2 2 3 3
+ 2*a23 *b12 *kap*m3 *n2 - 2*a23 *b12 *kap*m3*n1*n2
2 4 2 2 2 4 3 2 4 2
+ 3*a23 *b12 *kap *m3 *n2 - a23 *b12 *kap*n2 - a23 *b12 *kap*n2*n3 ) +
3 2 2 2 2
u1*( - 2*a22 *a23*b12*kap*m3 *n1*n2 + 2*a22 *a23 *b12*kap*m3 *n1*n3
3 2 3 2
- 2*a22*a23 *b12*kap*m3 *n1*n2 - 2*a22*a23 *b12*n1*n2*n3
2 2 2 3 2 2
+ 2*a22*a23 *b12 *kap*m3*n1 *n2 - 2*a22*a23*b12 *kap *m3 *n1*n2
4 2 3 2 2
+ 2*a23 *b12*kap*m3 *n1*n3 - 2*a23 *b12 *kap*m3*n1 *n3
2 3 2 2 2 3 2
+ 3*a23 *b12 *kap *m3 *n1*n3 - a23 *b12 *kap*n1*n2 *n3
2 3 3 4 4 3
- a23 *b12 *kap*n1*n3 ) + 2*u2 *a22 *a23 *b12*n2
3 2 3 5 2 3 2 6 2 3
- 4*u2 *u3 *a22*a23 *b12 *kap + 2*u2 *u3*v1*a22*a23 *b12 *kap + u2 *u3
3 4 4 3 2 5 2
*(8*a22 *a23 *b12*n2 + 4*a22*a23 *b12 *kap*n2 - 2*a22*a23 *b12 *kap *n2)
3 3 3 2 3 4
+ u2 *v1*( - 4*a22 *a23 *b12 *n2 - 2*a22*a23 *b12 *kap*n2)
3 3 2 3 2 5 2
+ u2 *v2*( - 4*a22 *a23 *b12 *kap*m3 - 2*a22*a23 *b12 *kap *m3)
3 3 3 2 3 3 2
+ u2 *(4*a22 *a23 *b12*n2 + 2*a22*a23 *b12 *kap*n2 )
2 3 2 2 5 2 2 2 2 3 4 2 2
+ 4*u2 *u3 *a22 *a23 *b12 *kap - 8*u2 *u3 *v1*a22 *a23 *b12 *kap + u2 *u3 *
4 3 3 2 3 2 5
( - 4*a22 *a23 *b12*n2 + 4*a22 *a23 *b12 *kap*n3 + 8*a22 *a23 *b12*n2
2 3 3 4 3
- 4*a22 *a23 *b12 *kap*n2 + 12*a22*a23 *b12 *kap*n3
2 5 2 2 2 2 2 5 2
+ 2*a22*a23 *b12 *kap *n3) + 6*u2 *u3*v1 *a22 *a23 *b12 *kap + u2 *u3*v1
2 4 2 2 2 4 3 4
*( - 8*a22 *a23 *b12 *n2 - 4*a22 *a23 *b12 *kap*n2 - 4*a22*a23 *b12 *kap*n3)
2 2 2 2 5 2 2 3 3
+ 2*u2 *u3*v2 *a22 *a23 *b12 *kap - 16*u2 *u3*v2*a22 *a23 *b12 *kap*m3
2 2 2 2 5
+ 2*u2 *u3*v3 *a22 *a23 *b12 *kap
2 4 3 3 4 2
+ u2 *u3*v3*(4*a22*a23 *b12 *kap*m3 - 4*a22*a23 *b12 *kap*n1) + u2 *u3*(
3 3 2 4 2 2 2 3 2 2
4*a22 *a23 *b12*n2*n3 + 8*a22 *a23 *b12*n2 - 2*a22 *a23 *b12 *kap *m3
3 3 4 3 2 2
+ 12*a22*a23 *b12 *kap*n2*n3 - 2*a23 *b12 *kap *m3
3 4 2 2 5 3 2 2 5 2 2
+ 2*a23 *b12 *kap *m3*n1 - 3*a23 *b12 *kap *m3 + a23 *b12 *kap *n2
2 5 2 2 2 2 2 4
+ a23 *b12 *kap *n3 ) + 8*u2 *v1*v2*a22 *a23 *b12 *kap*m3
2 2 5
+ 2*u2 *v1*v3*a22*a23 *b12 *kap*n1
2 2 3 2 2 2 4
+ u2 *v1*( - 4*a22 *a23 *b12 *n2 - 2*a22*a23 *b12 *kap*n2*n3)
2 2 3 2 3 2 5
+ u2 *v2 *( - 4*a22 *a23 *b12 *n3 - 2*a22*a23 *b12 *kap*n3)
2 2 2 3 2 2 2 3 3 2
- 8*u2 *v2*a22 *a23 *b12 *kap*m3*n2 - 2*u2 *v3 *a22 *a23 *b12 *n2 + u2 *v3*(
3 3 3 3
4*a22 *a23 *b12*m3*n2 + 2*a22*a23 *b12 *kap*m3*n2
2 4 2 2 3 2
- 2*a22*a23 *b12 *kap*n1*n2) + u2 *(2*a22 *a23 *b12*kap*m3 *n2
2 3 3 2 2 2
+ 2*a22 *a23 *b12*n2 + 2*a22 *a23 *b12 *kap*m3*n1*n2
4 2 2 3 2
- 2*a22*a23 *b12*n2 *n3 + 2*a22*a23 *b12 *kap*n2 *n3
5 2 4 2
+ 2*a23 *b12*kap*m3 *n2 - 2*a23 *b12 *kap*m3*n1*n2
3 3 2 2 3 3 3 3 3 2
+ 3*a23 *b12 *kap *m3 *n2 - a23 *b12 *kap*n2 - a23 *b12 *kap*n2*n3 )
4 3 5 2 3
- 4*u2*u3 *a22*a23 *b12 *kap + u2*u3 *v1
3 2 4 4 4 2 6 2 3
*(8*a22 *a23 *b12 *kap - 8*a22*a23 *b12 *kap + 2*a22*a23 *b12 *kap ) + u2*u3
3 4 2 3 3 4 3
*( - 8*a22 *a23 *b12*n2 - 16*a22 *a23 *b12 *kap*n3 + 4*a22*a23 *b12 *kap*n2
2 5 2 2 2 3 5
- 2*a22*a23 *b12 *kap *n2) + 8*u2*u3 *v1 *a22*a23 *b12 *kap
2 3 3 2 3 4
+ u2*u3 *v1*(4*a22 *a23 *b12 *n2 - 10*a22*a23 *b12 *kap*n2)
2 2 3 5 2 3 2 3
+ 4*u2*u3 *v2 *a22*a23 *b12 *kap + u2*u3 *v2*(8*a22 *a23 *b12 *kap*m3
4 3 3 4
- 12*a22*a23 *b12 *kap*m3 + 4*a22*a23 *b12 *kap*n1
2 5 2 2 2 3 5
- 6*a22*a23 *b12 *kap *m3) + 4*u2*u3 *v3 *a22*a23 *b12 *kap
2 2 3 3 2 2 4 2
+ u2*u3 *v3*( - 8*a22 *a23 *b12 *kap*m3 + 4*a22 *a23 *b12 *kap*n1) + u2*u3 *
3 3 2 2 4 2 2 3
( - 4*a22 *a23 *b12*n2 + 8*a22 *a23 *b12*n2*n3 - 8*a22 *a23 *b12 *kap*n2*n3
3 3 2 2 3 3 2
- 4*a22*a23 *b12 *kap *m3 + 2*a22*a23 *b12 *kap*n2
3 3 2
+ 8*a22*a23 *b12 *kap*n3 )
3 3 2 4 2 6
+ u2*u3*v1 *(4*a22 *a23 *b12 - 2*a22*a23 *b12 *kap)
2 2 3 3 2 5
+ u2*u3*v1 *( - 4*a22 *a23 *b12 *n3 + 4*a22*a23 *b12 *kap*n2)
2 3 2 4 2 6
+ u2*u3*v1*v2 *(4*a22 *a23 *b12 - 2*a22*a23 *b12 *kap)
3 4 2 5
+ u2*u3*v1*v2*(4*a22*a23 *b12 *kap*m3 - 2*a22*a23 *b12 *kap*n1)
2 3 2 4 2 6
+ u2*u3*v1*v3 *(4*a22 *a23 *b12 - 2*a22*a23 *b12 *kap)
2 2 3 3 2 5
+ u2*u3*v2 *( - 4*a22 *a23 *b12 *n3 + 2*a22*a23 *b12 *kap*n2) + u2*u3*v2*v3
3 2 3 2 3 3 2 5
*( - 8*a22 *a23 *b12 *n3 + 4*a22 *a23 *b12 *n2 - 4*a22*a23 *b12 *kap*n3) + u2
3 3 2 2 3
*u3*v2*(2*a22 *a23*b12 *kap*m3*n2 - 8*a22 *a23 *b12 *kap*m3*n3
3 3 2 4
- 6*a22*a23 *b12 *kap*m3*n2 + 2*a22*a23 *b12 *kap*n1*n2
5 2
+ 2*a22*a23*b12 *kap *m3*n2)
2 2 3 3 2 5
+ u2*u3*v3 *( - 4*a22 *a23 *b12 *n3 + 2*a22*a23 *b12 *kap*n2) + u2*u3*v3*(
2 4 2 2 3
8*a22 *a23 *b12*m3*n2 - 4*a22 *a23 *b12 *kap*m3*n2
3 3 2 4
+ 4*a22*a23 *b12 *kap*m3*n3 - 2*a22*a23 *b12 *kap*n1*n3) + u2*u3*(
3 2 2 2 3 2
- 4*a22 *a23 *b12*kap*m3 *n2 + 4*a22 *a23 *b12*kap*m3 *n3
2 3 2 4 2
+ 4*a22 *a23 *b12*n2 *n3 - 4*a22*a23 *b12*kap*m3 *n2
4 2 3 2
- 4*a22*a23 *b12*n2*n3 + 4*a22*a23 *b12 *kap*m3*n1*n2
2 3 2 2 2 3 2
- 6*a22*a23 *b12 *kap *m3 *n2 + 4*a22*a23 *b12 *kap*n2*n3
5 2 4 2
+ 4*a23 *b12*kap*m3 *n3 - 4*a23 *b12 *kap*m3*n1*n3
3 3 2 2 3 3 2 3 3 3
+ 6*a23 *b12 *kap *m3 *n3 - 2*a23 *b12 *kap*n2 *n3 - 2*a23 *b12 *kap*n3 )
2 3 2 3 2 5
+ u2*v1 *v2*(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 2 2 4
+ 2*u2*v1 *v3*a22 *a23 *b12 *n1
2 2 2 3 2 4
+ u2*v1 *( - 2*a22 *a23 *b12 *n2*n3 + 2*a22*a23 *b12 *kap*m3*n1)
2 4 2 3 2
+ 2*u2*v1*v2*a22*a23 *b12 *kap*m3*n2 - 4*u2*v1*v3*a22 *a23 *b12 *m3*n2 + u2
3 3 2 3
*v1*(a22 *b12 *kap*m3*n1*n2 - 3*a22*a23 *b12 *kap*m3*n1*n2
5 2
+ a22*b12 *kap *m3*n1*n2)
3 3 2 3 2 5
+ u2*v2 *(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 2 2 4 2 2 2 3
+ 2*u2*v2 *v3*a22 *a23 *b12 *n1 - 2*u2*v2 *a22 *a23 *b12 *n2*n3
2 3 2 3 2 5
+ u2*v2*v3 *(4*a22 *a23 *b12 *m3 - 2*a22*a23 *b12 *kap*m3)
2 2 3 2 3 2 2
- 8*u2*v2*v3*a22 *a23 *b12 *kap*m3 + u2*v2*( - 2*a22 *a23*b12 *kap*m3 *n1
3 2 2 4 2 2
+ 2*a22*a23 *b12 *kap*m3 *n1 - 2*a22*a23*b12 *kap *m3 *n1)
3 2 2 4
+ 2*u2*v3 *a22 *a23 *b12 *n1
2 2 2 3 2 4
+ u2*v3 *( - 2*a22 *a23 *b12 *n2*n3 - 2*a22*a23 *b12 *kap*m3*n1) + u2*v3*(
2 3 2 2 2 2 2
4*a22 *a23 *b12*m3*n2 - 2*a22 *a23 *b12 *kap*m3 *n1
3 2 2 3
+ 2*a22*a23 *b12 *n1*n2*n3 + 2*a22*a23 *b12 *kap*m3*n2*n3
4 2 2 3 3 2
- 2*a23 *b12 *kap*m3 *n1 + 2*a23 *b12 *kap*m3*n1
2 4 2 2 2 4 2 2 4 2
- 3*a23 *b12 *kap *m3 *n1 + a23 *b12 *kap*n1*n2 + a23 *b12 *kap*n1*n3 )
3 2 3 3 2 2
+ u2*( - 4*a22 *a23 *kap*m3 *n1 + 2*a22 *a23*b12*kap*m3 *n1
2 2 2 4 3
+ 2*a22 *a23 *b12*kap*m3 *n2*n3 - 4*a22*a23 *kap*m3 *n1
3 2 2 3 2 2
+ 2*a22*a23 *b12*kap*m3 *n1 - 2*a22*a23 *b12*n2 *n3
2 2 2 3 2 2 2
- 4*a22*a23 *b12 *kap *m3 *n1 + 2*a22*a23 *b12 *kap*m3*n1*n2
3 2 2 2 4 2
+ 2*a22*a23*b12 *kap *m3 *n1 + 2*a23 *b12*kap*m3 *n2*n3
3 2 2 3 2 2
- 2*a23 *b12 *kap*m3*n1*n2*n3 + 3*a23 *b12 *kap *m3 *n2*n3
2 3 3 2 3 3
- a23 *b12 *kap*n2 *n3 - a23 *b12 *kap*n2*n3 )
5 2 2 5 2 4 2 3 4 4
+ 4*u3 *a22 *a23 *b12 *kap + 8*u3 *v1*a22 *a23 *b12 *kap + u3 *(
4 3 3 2 3 2 3 3
2*a22 *a23 *b12*n2 + 10*a22 *a23 *b12 *kap*n3 - 4*a22 *a23 *b12 *kap*n2
4 3 3 2 2 2 5
+ 2*a22*a23 *b12 *kap*n3) - 2*u3 *v1 *a22 *a23 *b12 *kap
3 2 2 4 3 4
+ u3 *v1*(4*a22 *a23 *b12 *kap*n2 - 4*a22*a23 *b12 *kap*n3)
3 2 2 2 5
- 2*u3 *v2 *a22 *a23 *b12 *kap
3 2 3 3 2 2 4
+ u3 *v2*(8*a22 *a23 *b12 *kap*m3 - 4*a22 *a23 *b12 *kap*n1)
3 2 2 2 5
- 2*u3 *v3 *a22 *a23 *b12 *kap
3 4 3 2 5 2 3
+ u3 *v3*( - 4*a22*a23 *b12 *kap*m3 - 8*a22*a23 *b12 *kap *m3) + u3 *(
3 3 2 2 3 2 2
- 4*a22 *a23 *b12*n2*n3 + 2*a22 *a23 *b12 *kap *m3
2 2 3 2 3 3
- 8*a22 *a23 *b12 *kap*n3 + 4*a22*a23 *b12 *kap*n2*n3
4 3 2 2 3 4 2 2 5 3 2
- 2*a23 *b12 *kap *m3 + 2*a23 *b12 *kap *m3*n1 - 3*a23 *b12 *kap *m3
2 5 2 2 2 5 2 2 2 3 2 3 4
+ a23 *b12 *kap *n2 + a23 *b12 *kap *n3 ) + 4*u3 *v1 *a22 *a23 *b12 +
2 2 3 2 3 2 3 3 2 5
u3 *v1 *(4*a22 *a23 *b12 *n3 - 2*a22 *a23 *b12 *n2 + 2*a22*a23 *b12 *kap*n3)
2 2 2 3 4 2 2 2 3 4
+ 4*u3 *v1*v2 *a22 *a23 *b12 + 4*u3 *v1*v3 *a22 *a23 *b12
2 3 4 2 2 3 2 2
- 4*u3 *v1*v3*a22*a23 *b12 *kap*m3 + u3 *v1*( - 4*a22 *a23 *b12 *kap*m3
2 2 3 4 2
+ 4*a22 *a23 *b12 *kap*m3*n1 + 4*a22*a23 *b12 *n2*n3
2 4 5 2 2 4 3
- 2*a22*a23 *b12 *kap*n2*n3 - 4*a23 *b12 *kap*m3 + 4*a23 *b12 *kap*m3*n1
3 4 2 2 3 4 2 3 4 2 2
- 6*a23 *b12 *kap *m3 + 2*a23 *b12 *kap*n2 + 2*a23 *b12 *kap*n3 ) + u3
2 3 2 3 2 3 3 2 5
*v2 *(4*a22 *a23 *b12 *n3 - 2*a22 *a23 *b12 *n2 + 2*a22*a23 *b12 *kap*n3) +
2 2 2 3 3 3
u3 *v2*(4*a22 *a23 *b12 *kap*m3*n2 - 4*a22*a23 *b12 *kap*m3*n3
2 4 2 3 3
+ 2*a22*a23 *b12 *kap*n1*n3) + u3 *v3*( - 4*a22 *a23 *b12*m3*n2
3 3 2 2 3
+ 2*a22 *a23*b12 *kap*m3*n2 - 8*a22 *a23 *b12 *kap*m3*n3
3 3 5 2 2
+ 4*a22*a23 *b12 *kap*m3*n2 + 2*a22*a23*b12 *kap *m3*n2) + u3 *(
4 2 3 2 2
4*a22 *a23*b12*kap*m3 *n2 - 4*a22 *a23 *b12*kap*m3 *n3
2 3 2 2 3 2
+ 6*a22 *a23 *b12*kap*m3 *n2 + 6*a22 *a23 *b12*n2*n3
2 2 2 2 3 2 2
- 2*a22 *a23 *b12 *kap*m3*n1*n2 + 4*a22 *a23*b12 *kap *m3 *n2
4 2 4 2
- 4*a22*a23 *b12*kap*m3 *n3 - 2*a22*a23 *b12*n2 *n3
3 2 2 3 2 2
+ 4*a22*a23 *b12 *kap*m3*n1*n3 - 8*a22*a23 *b12 *kap *m3 *n3
2 3 2 2 3 3
+ 2*a22*a23 *b12 *kap*n2 *n3 + 4*a22*a23 *b12 *kap*n3
5 2 4 2
+ 2*a23 *b12*kap*m3 *n2 - 2*a23 *b12 *kap*m3*n1*n2
3 3 2 2 3 3 3 3 3 2
+ 3*a23 *b12 *kap *m3 *n2 - a23 *b12 *kap*n2 - a23 *b12 *kap*n2*n3 )
4 2 2 5 3 2 2 4
- 2*u3*v1 *a22 *a23 *b12 + 2*u3*v1 *a22 *a23 *b12 *n2
2 2 2 2 5
- 4*u3*v1 *v2 *a22 *a23 *b12
2 2 3 3 2 2 4
+ u3*v1 *v2*(4*a22 *a23 *b12 *m3 - 2*a22 *a23 *b12 *n1)
2 2 2 2 5 2 2 2 3 2
- 4*u3*v1 *v3 *a22 *a23 *b12 + u3*v1 *(4*a22 *a23 *b12 *kap*m3
2 2 3 2 3 3 4 3 2
- 2*a22 *a23 *b12 *n3 - 2*a22*a23 *b12 *n2*n3 + 2*a23 *b12 *kap*m3
3 4 2 5 2 2 2 5 2
- 2*a23 *b12 *kap*m3*n1 + 3*a23 *b12 *kap *m3 - a23 *b12 *kap*n2
2 5 2 2 2 2 4
- a23 *b12 *kap*n3 ) + 2*u3*v1*v2 *a22 *a23 *b12 *n2
2 2 2 4 2 4
+ 2*u3*v1*v3 *a22 *a23 *b12 *n2 - 2*u3*v1*v3*a22*a23 *b12 *kap*m3*n2 + u3*v1
2 2 2 2 3 2 2
*( - 2*a22 *a23 *b12 *kap*m3 *n2 + 2*a22*a23 *b12 *n2 *n3
2 3 4 2 2
- 2*a22*a23 *b12 *kap*m3*n1*n3 - 2*a23 *b12 *kap*m3 *n2
3 3 2 4 2 2 2 4 3
+ 2*a23 *b12 *kap*m3*n1*n2 - 3*a23 *b12 *kap *m3 *n2 + a23 *b12 *kap*n2
2 4 2 4 2 2 5
+ a23 *b12 *kap*n2*n3 ) - 2*u3*v2 *a22 *a23 *b12
3 2 3 3 2 2 4
+ u3*v2 *(4*a22 *a23 *b12 *m3 - 2*a22 *a23 *b12 *n1)
2 2 2 2 5 2 2 2 3 2
- 4*u3*v2 *v3 *a22 *a23 *b12 + u3*v2 *(4*a22 *a23 *b12 *kap*m3
2 2 3 2 3 3 4 3 2
- 2*a22 *a23 *b12 *n3 - 2*a22*a23 *b12 *n2*n3 + 2*a23 *b12 *kap*m3
3 4 2 5 2 2 2 5 2
- 2*a23 *b12 *kap*m3*n1 + 3*a23 *b12 *kap *m3 - a23 *b12 *kap*n2
2 5 2
- a23 *b12 *kap*n3 )
2 2 3 3 2 2 4
+ u3*v2*v3 *(4*a22 *a23 *b12 *m3 - 2*a22 *a23 *b12 *n1)
3 3 2 2 4
+ u3*v2*v3*( - 4*a22*a23 *b12 *kap*m3 + 2*a22*a23 *b12 *kap*m3*n1) + u3*v2*
2 3 3 2 2 2 2
( - 4*a22 *a23 *b12*kap*m3 + 2*a22 *a23 *b12 *kap*m3 *n1
4 3 2
+ 4*a22*a23 *b12*m3*n2*n3 - 2*a22*a23 *b12 *n1*n2*n3
2 3 5 3
- 2*a22*a23 *b12 *kap*m3*n2*n3 - 4*a23 *b12*kap*m3
4 2 2 3 3 2 3 3 3 2
+ 6*a23 *b12 *kap*m3 *n1 - 6*a23 *b12 *kap *m3 - 2*a23 *b12 *kap*m3*n1
3 3 2 3 3 2 2 4 2 2
+ 2*a23 *b12 *kap*m3*n2 + 2*a23 *b12 *kap*m3*n3 + 3*a23 *b12 *kap *m3 *n1
2 4 2 2 4 2 4 2 2 5
- a23 *b12 *kap*n1*n2 - a23 *b12 *kap*n1*n3 ) - 2*u3*v3 *a22 *a23 *b12 +
2 2 2 3 2 3 3 4 3 2
u3*v3 *( - 2*a22 *a23 *b12 *n3 - 2*a22*a23 *b12 *n2*n3 + 2*a23 *b12 *kap*m3
3 4 2 5 2 2 2 5 2
- 2*a23 *b12 *kap*m3*n1 + 3*a23 *b12 *kap *m3 - a23 *b12 *kap*n2
2 5 2 4 3
- a23 *b12 *kap*n3 ) + u3*(8*a22 *a23*kap*m3 *n1
4 2 2 4 2 2
- 4*a22 *b12*kap*m3 *n1 - 4*a22 *b12*kap*m3 *n2
3 2 2 3 3
- 2*a22 *a23*b12*kap*m3 *n2*n3 + 8*a22 *a23 *kap*m3 *n1
2 2 2 4 2 2 2 2
- 2*a22 *a23 *b12*kap *m3 - 4*a22 *a23 *b12*kap*m3 *n1
2 2 2 2 2 2 2 2
- 4*a22 *a23 *b12*kap*m3 *n2 + 2*a22 *a23 *b12*kap*m3 *n3
2 2 2 3 2 3 2 2 2
+ 8*a22 *a23*b12 *kap *m3 *n1 - 4*a22 *b12 *kap *m3 *n1
2 3 2 2 2 3 3
- 4*a22 *b12 *kap *m3 *n2 - 2*a22*a23 *b12*n2*n3
2 2 3 2 2
+ 2*a22*a23 *b12 *kap*m3*n1*n2*n3 - 2*a22*a23*b12 *kap *m3 *n2*n3
4 2 4 4 2 2 3 2 2 3
- 2*a23 *b12*kap *m3 + 2*a23 *b12*kap*m3 *n3 + 2*a23 *b12 *kap *m3 *n1
3 2 2 2 3 3 4
- 2*a23 *b12 *kap*m3*n1*n3 - 3*a23 *b12 *kap *m3
2 3 2 2 2 2 3 2 2 2
+ a23 *b12 *kap *m3 *n2 + 4*a23 *b12 *kap *m3 *n3
2 3 2 2 2 3 4 3 2 2 3
- a23 *b12 *kap*n2 *n3 - a23 *b12 *kap*n3 ) + 2*v1 *a22 *a23 *b12 *m3*n1
2 2 2 3 2 2 2 3
+ 2*v1 *v2*a22 *a23 *b12 *m3*n2 + 2*v1*v2 *a22 *a23 *b12 *m3*n1
2 2 2 3 2 3 2
+ 2*v1*v3 *a22 *a23 *b12 *m3*n1 - 2*v1*v3*a22*a23 *b12 *kap*m3 *n1 + v1*(
2 2 3 3
- 2*a22 *a23 *b12*kap*m3 *n1 + 2*a22*a23 *b12*m3*n1*n2*n3
4 3 3 2 2 2
- 2*a23 *b12*kap*m3 *n1 + 2*a23 *b12 *kap*m3 *n1
2 3 2 3 2 3 2
- 3*a23 *b12 *kap *m3 *n1 + a23 *b12 *kap*m3*n1*n2
2 3 2 3 2 2 3
+ a23 *b12 *kap*m3*n1*n3 ) + 2*v2 *a22 *a23 *b12 *m3*n2
2 2 2 3 2 3 2
+ 2*v2*v3 *a22 *a23 *b12 *m3*n2 - 2*v2*v3*a22*a23 *b12 *kap*m3 *n2 + v2*(
2 2 3 3 2
- 2*a22 *a23 *b12*kap*m3 *n2 + 2*a22*a23 *b12*m3*n2 *n3
4 3 3 2 2
- 2*a23 *b12*kap*m3 *n2 + 2*a23 *b12 *kap*m3 *n1*n2
2 3 2 3 2 3 3
- 3*a23 *b12 *kap *m3 *n2 + a23 *b12 *kap*m3*n2
2 3 2 2 2 3 2
+ a23 *b12 *kap*m3*n2*n3 ) + 2*v3 *a22 *a23 *b12*m3 *n2
2 2 2
+ 2*v3*a22*a23 *b12 *kap*m3 *n1*n2
which is not further factorizable.
{HAM,FI} = 0
3 2 3 2 2
FI= - u1 *u3*v1*b12 *kap + u1 *v1*a23*n2 - u1 *u2*u3*v2*b12 *kap
2 2 2 2 2
+ u1 *u2*v2*a23*n2 - u1 *u3 *v3*b12 *kap + 2*u1 *u3*v1*v2*a22*b12
2 2 2 2
+ 2*u1 *u3*v1*v3*a23*b12 + u1 *u3*v3*a23*n2 - 2*u1 *v1 *a22*m3
2 2 2 2 2
+ u1 *v1*v3*b12*n2 + u1 *v1*n1*n3 - u1*u2 *u3*v1*b12 *kap + u1*u2 *v1*a23*n2
2 2
- 2*u1*u2*u3*v1 *a22*b12 + 2*u1*u2*u3*v1*a23*n3 + 2*u1*u2*u3*v2 *a22*b12
+ 2*u1*u2*u3*v2*v3*a23*b12 - 4*u1*u2*v1*v2*a22*m3 - u1*u2*v1*v3*b12*n1
3 2
+ u1*u2*v1*n2*n3 + 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*a22*n3 + a23*n2)
2 2 2 3 2
+ 2*u1*u3 *v2*v3*a22*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*a22*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*a22*b12 + 2*u2 *u3*v2*a23*n3 + u2 *u3*v3*a23*n2
2 2 2 2 3 2
- 2*u2 *v2 *a22*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*a22*b12
2 2 2 2
+ u2*u3 *v2*( - 2*a22*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*a22*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*a22*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
+ u3 *v2*v3*( - 2*a23*m3 + b12*n1) + u3 *v3 *b12
2 2 2
+ 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)*a22
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*a22*b12 - 2*u1*u3*v3*a23*b12
2 2 2
+ 2*u1*v1*a22*m3 - u1*v3*b12*n2 - u1*n1*n3 + u2 *u3*b12 *kap - u2 *a23*n2
+ 2*u2*u3*v1*a22*b12 - 2*u2*u3*a23*n3 + 2*u2*v2*a22*m3 + u2*v3*b12*n1
3 2 2 2
- u2*n2*n3 + u3 *b12 *kap + 2*u3 *v1*a23*b12 + u3 *(2*a22*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*a22 + u1*v2*b12 + u1*n1 + u2**2*a22 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2
- u3**2*a22 + u3*n3 + v3*m3$
FI= - u1**4*u3*a22*b12**4*kap**2 + u1**4*( - a22**3*a23*n2 + a22*a23*b12**2*kap*
n2) + 2*u1**3*u3*v2*a22**2*b12**3*kap + 2*u1**3*u3*v3*a22*a23*b12**3*kap - 2*u1
**3*v1*a22**2*b12**2*kap*m3 - 2*u1**3*v2*a22**2*a23*b12*n2 + u1**3*v3*a22*b12**3
*kap*n2 + u1**3*( - 2*a22**2*a23*n1*n2 + a22*b12**2*kap*n1*n3) - 2*u1**2*u2**2*
u3*a22*b12**4*kap**2 + u1**2*u2**2*( - 2*a22**3*a23*n2 + 2*a22*a23*b12**2*kap*n2
) - 2*u1**2*u2*u3*v1*a22**2*b12**3*kap + u1**2*u2*u3*( - 4*a22**2*a23**2*n2 + 2*
a22*a23*b12**2*kap*n3) + 2*u1**2*u2*v1*a22**2*a23*b12*n2 - 2*u1**2*u2*v2*a22**2*
b12**2*kap*m3 - u1**2*u2*v3*a22*b12**3*kap*n1 + u1**2*u2*( - 2*a22**2*a23*n2**2
+ a22*b12**2*kap*n2*n3) - 2*u1**2*u3**3*a22*b12**4*kap**2 - 2*u1**2*u3**2*v1*a22
*a23*b12**3*kap + u1**2*u3**2*(2*a22**3*a23*n2 - 2*a22**2*b12**2*kap*n3 + 2*a22*
a23*b12**2*kap*n2) - u1**2*u3*v1*a22*b12**3*kap*n2 + u1**2*u3*v2*( - 2*a22*a23*
b12**2*kap*m3 + a22*b12**3*kap*n1) + u1**2*u3*( - 2*a22**2*a23*n2*n3 - a22*b12**
2*kap**2*m3**2 + a22*b12**2*kap*n3**2 - a23*b12**2*kap*n2*n3) + 2*u1**2*v1**2*
a22**2*b12**2*n3 - u1**2*v1*a22*b12**2*kap*m3*n1 + u1**2*v2*( - 2*a22*a23*b12*n1
*n2 - a22*b12**2*kap*m3*n2) + u1**2*v3**2*a22*a23*b12**2*n2 - 2*u1**2*v3*a22**2*
a23*m3*n2 + u1**2*( - a22*a23*n1**2*n2 + a23**2*n2**2*n3) + 2*u1*u2**2*u3*v2*a22
**2*b12**3*kap + 2*u1*u2**2*u3*v3*a22*a23*b12**3*kap - 2*u1*u2**2*v1*a22**2*b12
**2*kap*m3 - 2*u1*u2**2*v2*a22**2*a23*b12*n2 + u1*u2**2*v3*a22*b12**3*kap*n2 +
u1*u2**2*( - 2*a22**2*a23*n1*n2 + a22*b12**2*kap*n1*n3) - 4*u1*u2*u3*v2*a22*a23
**2*b12*n2 - 4*u1*u2*u3*a22*a23**2*n1*n2 + 4*u1*u2*v1*v2*a22**2*b12**2*n3 + 2*u1
*u2*v1*a22*a23*b12*n1*n2 - 2*u1*u2*v2*a22*a23*b12*n2**2 - 2*u1*u2*a22*a23*n1*n2
**2 + 2*u1*u3**3*v2*a22**2*b12**3*kap + 2*u1*u3**3*v3*a22*a23*b12**3*kap - 2*u1*
u3**2*v1*a22**2*b12**2*kap*m3 + 2*u1*u3**2*v2*a22**2*a23*b12*n2 + u1*u3**2*v3*
a22*b12**3*kap*n2 + u1*u3**2*(2*a22**2*a23*n1*n2 + a22*b12**2*kap*n1*n3) + 2*u1*
u3*v1**2*v2*a22**2*b12**3 + 2*u1*u3*v1**2*v3*a22*a23*b12**3 + u1*u3*v1*v3*(4*a22
**2*b12**2*n3 - 2*a22*a23*b12**2*n2) + 2*u1*u3*v2**3*a22**2*b12**3 + 2*u1*u3*v2
**2*v3*a22*a23*b12**3 + 2*u1*u3*v2*v3**2*a22**2*b12**3 + 2*u1*u3*v3**3*a22*a23*
b12**3 + 2*u1*u3*v3*a23**2*b12*n2*n3 - 2*u1*u3*a22*a23*n1*n2*n3 - 2*u1*v1**3*a22
**2*b12**2*m3 + u1*v1**2*v3*a22*b12**3*n2 + u1*v1**2*a22*b12**2*n1*n3 - 2*u1*v1*
v2**2*a22**2*b12**2*m3 - 2*u1*v1*v3**2*a22**2*b12**2*m3 + u1*v2**2*v3*a22*b12**3
*n2 + u1*v2**2*a22*b12**2*n1*n3 - 2*u1*v2*v3*a22*a23*b12*m3*n2 + u1*v3**3*a22*
b12**3*n2 + u1*v3**2*a22*b12**2*n1*n3 + u1*v3*( - 2*a22*a23*m3*n1*n2 + a23*b12*
n2**2*n3) + u1*a23*n1*n2*n3**2 - u2**4*u3*a22*b12**4*kap**2 + u2**4*( - a22**3*
a23*n2 + a22*a23*b12**2*kap*n2) - 2*u2**3*u3*v1*a22**2*b12**3*kap + u2**3*u3*( -
4*a22**2*a23**2*n2 + 2*a22*a23*b12**2*kap*n3) + 2*u2**3*v1*a22**2*a23*b12*n2 -
2*u2**3*v2*a22**2*b12**2*kap*m3 - u2**3*v3*a22*b12**3*kap*n1 + u2**3*( - 2*a22**
2*a23*n2**2 + a22*b12**2*kap*n2*n3) - 2*u2**2*u3**3*a22*b12**4*kap**2 - 2*u2**2*
u3**2*v1*a22*a23*b12**3*kap + u2**2*u3**2*(2*a22**3*a23*n2 - 2*a22**2*b12**2*kap
*n3 - 4*a22*a23**3*n2 + 2*a22*a23*b12**2*kap*n2) + u2**2*u3*v1*(4*a22*a23**2*b12
*n2 - a22*b12**3*kap*n2) + u2**2*u3*v2*( - 2*a22*a23*b12**2*kap*m3 + a22*b12**3*
kap*n1) + u2**2*u3*( - 2*a22**2*a23*n2*n3 - 4*a22*a23**2*n2**2 - a22*b12**2*kap
**2*m3**2 + a22*b12**2*kap*n3**2 - a23*b12**2*kap*n2*n3) + u2**2*v1*(2*a22*a23*
b12*n2**2 - a22*b12**2*kap*m3*n1) + 2*u2**2*v2**2*a22**2*b12**2*n3 - u2**2*v2*
a22*b12**2*kap*m3*n2 + u2**2*v3**2*a22*a23*b12**2*n2 - 2*u2**2*v3*a22**2*a23*m3*
n2 + u2**2*( - a22*a23*n2**3 + a23**2*n2**2*n3) - 2*u2*u3**3*v1*a22**2*b12**3*
kap + u2*u3**3*(4*a22**2*a23**2*n2 + 2*a22*a23*b12**2*kap*n3) - 2*u2*u3**2*v1*
a22**2*a23*b12*n2 - 2*u2*u3**2*v2*a22**2*b12**2*kap*m3 - u2*u3**2*v3*a22*b12**3*
kap*n1 + u2*u3**2*(2*a22**2*a23*n2**2 - 4*a22*a23**2*n2*n3 + a22*b12**2*kap*n2*
n3) - 2*u2*u3*v1**3*a22**2*b12**3 + 2*u2*u3*v1**2*a22*a23*b12**2*n3 - 2*u2*u3*v1
*v2**2*a22**2*b12**3 - 2*u2*u3*v1*v3**2*a22**2*b12**3 + 2*u2*u3*v2**2*a22*a23*
b12**2*n3 + u2*u3*v2*v3*(4*a22**2*b12**2*n3 - 2*a22*a23*b12**2*n2) + 2*u2*u3*v3
**2*a22*a23*b12**2*n3 - 4*u2*u3*v3*a22*a23**2*m3*n2 + u2*u3*( - 2*a22*a23*n2**2*
n3 + 2*a23**2*n2*n3**2) - 2*u2*v1**2*v2*a22**2*b12**2*m3 - u2*v1**2*v3*a22*b12**
3*n1 + u2*v1**2*a22*b12**2*n2*n3 + 2*u2*v1*v3*a22*a23*b12*m3*n2 - 2*u2*v2**3*a22
**2*b12**2*m3 - u2*v2**2*v3*a22*b12**3*n1 + u2*v2**2*a22*b12**2*n2*n3 - 2*u2*v2*
v3**2*a22**2*b12**2*m3 - u2*v3**3*a22*b12**3*n1 + u2*v3**2*a22*b12**2*n2*n3 + u2
*v3*( - 2*a22*a23*m3*n2**2 - a23*b12*n1*n2*n3) + u2*a23*n2**2*n3**2 - u3**5*a22*
b12**4*kap**2 - 2*u3**4*v1*a22*a23*b12**3*kap + u3**4*( - a22**3*a23*n2 - 2*a22
**2*b12**2*kap*n3 + a22*a23*b12**2*kap*n2) - u3**3*v1*a22*b12**3*kap*n2 + u3**3*
v2*( - 2*a22*a23*b12**2*kap*m3 + a22*b12**3*kap*n1) + u3**3*(2*a22**2*a23*n2*n3
- a22*b12**2*kap**2*m3**2 + a22*b12**2*kap*n3**2 - a23*b12**2*kap*n2*n3) - 2*u3
**2*v1**3*a22*a23*b12**3 + u3**2*v1**2*( - 2*a22**2*b12**2*n3 + a22*a23*b12**2*
n2) - 2*u3**2*v1*v2**2*a22*a23*b12**3 - 2*u3**2*v1*v3**2*a22*a23*b12**3 + u3**2*
v1*( - a22*b12**2*kap*m3*n1 - 2*a23**2*b12*n2*n3) + u3**2*v2**2*( - 2*a22**2*b12
**2*n3 + a22*a23*b12**2*n2) - u3**2*v2*a22*b12**2*kap*m3*n2 + 2*u3**2*v3*a22**2*
a23*m3*n2 + u3**2*( - 3*a22*a23*n2*n3**2 + a23**2*n2**2*n3) + u3*v1**4*a22*b12**
4 - u3*v1**3*a22*b12**3*n2 + 2*u3*v1**2*v2**2*a22*b12**4 + u3*v1**2*v2*( - 2*a22
*a23*b12**2*m3 + a22*b12**3*n1) + 2*u3*v1**2*v3**2*a22*b12**4 + u3*v1**2*( - a22
*b12**2*kap*m3**2 + a22*b12**2*n3**2 + a23*b12**2*n2*n3) - u3*v1*v2**2*a22*b12**
3*n2 - u3*v1*v3**2*a22*b12**3*n2 - u3*v1*a23*b12*n2**2*n3 + u3*v2**4*a22*b12**4
+ u3*v2**3*( - 2*a22*a23*b12**2*m3 + a22*b12**3*n1) + 2*u3*v2**2*v3**2*a22*b12**
4 + u3*v2**2*( - a22*b12**2*kap*m3**2 + a22*b12**2*n3**2 + a23*b12**2*n2*n3) +
u3*v2*v3**2*( - 2*a22*a23*b12**2*m3 + a22*b12**3*n1) + u3*v2*( - 2*a23**2*m3*n2*
n3 + a23*b12*n1*n2*n3) + u3*v3**4*a22*b12**4 + u3*v3**2*( - a22*b12**2*kap*m3**2
+ a22*b12**2*n3**2 + a23*b12**2*n2*n3) + u3*( - a23*kap*m3**2*n2*n3 + a23*n2*n3
**3) - v1**3*a22*b12**2*m3*n1 - v1**2*v2*a22*b12**2*m3*n2 - v1*v2**2*a22*b12**2*
m3*n1 - v1*v3**2*a22*b12**2*m3*n1 - v1*a23*m3*n1*n2*n3 - v2**3*a22*b12**2*m3*n2
- v2*v3**2*a22*b12**2*m3*n2 - v2*a23*m3*n2**2*n3 - v3**2*a22*a23*m3**2*n2$
FI=2*u1**4*a22**4*a23**3*b12*n2 - 2*u1**3*u3*v2*a22*a23**2*b12**6*kap**2 - 2*u1
**3*u3*a22*a23**2*b12**5*kap**2*n1 + u1**3*v1*( - 4*a22**3*a23**2*b12**3*kap*m3
- 2*a22*a23**2*b12**5*kap**2*m3) + u1**3*v2*(4*a22**3*a23**3*b12**2*n2 + 2*a22*
a23**3*b12**4*kap*n2) + u1**3*(4*a22**3*a23**3*b12*n1*n2 + 2*a22*a23**3*b12**3*
kap*n1*n2) + 4*u1**2*u2**2*a22**4*a23**3*b12*n2 - 4*u1**2*u2*u3**2*a22*a23**3*
b12**5*kap**2 + 2*u1**2*u2*u3*v1*a22*a23**2*b12**6*kap**2 + u1**2*u2*u3*(8*a22**
3*a23**4*b12*n2 + 4*a22*a23**4*b12**3*kap*n2 - 2*a22*a23**2*b12**5*kap**2*n2) +
u1**2*u2*v1*( - 4*a22**3*a23**3*b12**2*n2 - 2*a22*a23**3*b12**4*kap*n2) + u1**2*
u2*v2*( - 4*a22**3*a23**2*b12**3*kap*m3 - 2*a22*a23**2*b12**5*kap**2*m3) + u1**2
*u2*(4*a22**3*a23**3*b12*n2**2 + 2*a22*a23**3*b12**3*kap*n2**2) + 4*u1**2*u3**3*
a22**2*a23**2*b12**5*kap**2 + u1**2*u3**2*( - 4*a22**4*a23**3*b12*n2 + 4*a22**3*
a23**2*b12**3*kap*n3 - 4*a22**2*a23**3*b12**3*kap*n2 + 4*a22*a23**4*b12**3*kap*
n3 + 2*a22*a23**2*b12**5*kap**2*n3) + 2*u1**2*u3*v1**2*a22**2*a23**2*b12**5*kap
+ 6*u1**2*u3*v2**2*a22**2*a23**2*b12**5*kap + 4*u1**2*u3*v2*v3*a22*a23**3*b12**5
*kap + 4*u1**2*u3*v2*a22**2*a23**2*b12**4*kap*n1 + 2*u1**2*u3*v3**2*a22**2*a23**
2*b12**5*kap + u1**2*u3*v3*(4*a22*a23**4*b12**3*kap*m3 + 4*a22*a23**3*b12**4*kap
*n1) + u1**2*u3*(4*a22**3*a23**3*b12*n2*n3 - 2*a22**2*a23**2*b12**3*kap**2*m3**2
+ 4*a22*a23**3*b12**3*kap*n2*n3 - 2*a23**4*b12**3*kap**2*m3**2 + 2*a23**3*b12**
4*kap**2*m3*n1 - 3*a23**2*b12**5*kap**3*m3**2 + a23**2*b12**5*kap**2*n2**2 + a23
**2*b12**5*kap**2*n3**2) + u1**2*v1**2*( - 4*a22**3*a23**2*b12**3*n3 - 2*a22*a23
**2*b12**5*kap*n3) - 8*u1**2*v1*v2*a22**2*a23**2*b12**4*kap*m3 - 8*u1**2*v1*a22
**2*a23**2*b12**3*kap*m3*n1 + 2*u1**2*v2*v3*a22*a23**2*b12**5*kap*n2 + u1**2*v2*
(4*a22**2*a23**3*b12**2*n1*n2 + 2*a22*a23**2*b12**4*kap*n1*n3) - 2*u1**2*v3**2*
a22**2*a23**3*b12**3*n2 + u1**2*v3*(4*a22**3*a23**3*b12*m3*n2 + 2*a22*a23**3*b12
**3*kap*m3*n2 + 2*a22*a23**2*b12**4*kap*n1*n2) + u1**2*(2*a22**2*a23**3*b12*kap*
m3**2*n2 + 2*a22**2*a23**3*b12*n1**2*n2 + 2*a22**2*a23**2*b12**2*kap*m3*n1*n2 -
2*a22*a23**4*b12*n2**2*n3 + 2*a22*a23**2*b12**3*kap*n1**2*n3 + 2*a23**5*b12*kap*
m3**2*n2 - 2*a23**4*b12**2*kap*m3*n1*n2 + 3*a23**3*b12**3*kap**2*m3**2*n2 - a23
**3*b12**3*kap*n2**3 - a23**3*b12**3*kap*n2*n3**2) - 2*u1*u2**2*u3*v2*a22*a23**2
*b12**6*kap**2 - 2*u1*u2**2*u3*a22*a23**2*b12**5*kap**2*n1 + u1*u2**2*v1*( - 4*
a22**3*a23**2*b12**3*kap*m3 - 2*a22*a23**2*b12**5*kap**2*m3) + u1*u2**2*v2*(4*
a22**3*a23**3*b12**2*n2 + 2*a22*a23**3*b12**4*kap*n2) + u1*u2**2*(4*a22**3*a23**
3*b12*n1*n2 + 2*a22*a23**3*b12**3*kap*n1*n2) + 8*u1*u2*u3**2*v2*a22**2*a23**3*
b12**4*kap + 8*u1*u2*u3**2*v3*a22*a23**4*b12**4*kap - 8*u1*u2*u3*v1*v2*a22**2*
a23**2*b12**5*kap - 4*u1*u2*u3*v1*v3*a22*a23**3*b12**5*kap + u1*u2*u3*v1*( - 16*
a22**2*a23**3*b12**3*kap*m3 - 4*a22**2*a23**2*b12**4*kap*n1) + u1*u2*u3*v2*(8*
a22**2*a23**4*b12**2*n2 + 4*a22**2*a23**2*b12**4*kap*n2 + 4*a22*a23**3*b12**4*
kap*n3) + 8*u1*u2*u3*v3*a22*a23**3*b12**4*kap*n2 + u1*u2*u3*(8*a22**2*a23**4*b12
*n1*n2 + 8*a22*a23**3*b12**3*kap*n1*n3) + 8*u1*u2*v1**2*a22**2*a23**2*b12**4*kap
*m3 + u1*u2*v1*v2*( - 8*a22**3*a23**2*b12**3*n3 - 4*a22*a23**2*b12**5*kap*n3) -
2*u1*u2*v1*v3*a22*a23**2*b12**5*kap*n2 + u1*u2*v1*( - 4*a22**2*a23**3*b12**2*n1*
n2 - 8*a22**2*a23**2*b12**3*kap*m3*n2 - 2*a22*a23**2*b12**4*kap*n1*n3) - 8*u1*u2
*v2**2*a22**2*a23**2*b12**4*kap*m3 - 2*u1*u2*v2*v3*a22*a23**2*b12**5*kap*n1 + u1
*u2*v2*(4*a22**2*a23**3*b12**2*n2**2 - 8*a22**2*a23**2*b12**3*kap*m3*n1 + 2*a22*
a23**2*b12**4*kap*n2*n3) + u1*u2*v3*( - 2*a22*a23**2*b12**4*kap*n1**2 + 2*a22*
a23**2*b12**4*kap*n2**2) + u1*u2*(4*a22**2*a23**3*b12*n1*n2**2 + 4*a22*a23**2*
b12**3*kap*n1*n2*n3) + u1*u3**3*v2*( - 8*a22**3*a23**2*b12**4*kap - 2*a22*a23**2
*b12**6*kap**2) - 8*u1*u3**3*v3*a22**2*a23**3*b12**4*kap - 2*u1*u3**3*a22*a23**2
*b12**5*kap**2*n1 - 4*u1*u3**2*v1*v2*a22*a23**3*b12**5*kap + u1*u3**2*v1*(8*a22
**3*a23**2*b12**3*kap*m3 - 4*a22*a23**4*b12**3*kap*m3 - 4*a22*a23**3*b12**4*kap*
n1 - 6*a22*a23**2*b12**5*kap**2*m3) + u1*u3**2*v2*( - 4*a22**3*a23**3*b12**2*n2
+ 2*a22*a23**3*b12**4*kap*n2) + u1*u3**2*v3*( - 4*a22**2*a23**2*b12**4*kap*n2 +
4*a22*a23**3*b12**4*kap*n3) + u1*u3**2*( - 4*a22**3*a23**3*b12*n1*n2 - 8*a22**2*
a23**2*b12**3*kap*n1*n3 + 2*a22*a23**3*b12**3*kap*n1*n2) + u1*u3*v1**2*v2*( - 4*
a22**3*a23**2*b12**4 + 2*a22*a23**2*b12**6*kap) - 4*u1*u3*v1**2*v3*a22**2*a23**3
*b12**4 + 2*u1*u3*v1**2*a22*a23**2*b12**5*kap*n1 - 2*u1*u3*v1*v2*a22*a23**2*b12
**5*kap*n2 + u1*u3*v1*v3*( - 8*a22**3*a23**2*b12**3*n3 + 4*a22**2*a23**3*b12**3*
n2 - 4*a22*a23**2*b12**5*kap*n3) + u1*u3*v1*(2*a22**3*a23*b12**3*kap*m3*n2 - 8*
a22**2*a23**2*b12**3*kap*m3*n3 + 2*a22*a23**3*b12**3*kap*m3*n2 - 2*a22*a23**2*
b12**4*kap*n1*n2 + 2*a22*a23*b12**5*kap**2*m3*n2) + u1*u3*v2**3*( - 4*a22**3*a23
**2*b12**4 + 2*a22*a23**2*b12**6*kap) - 4*u1*u3*v2**2*v3*a22**2*a23**3*b12**4 +
u1*u3*v2**2*( - 4*a22*a23**3*b12**4*kap*m3 + 4*a22*a23**2*b12**5*kap*n1) + u1*u3
*v2*v3**2*( - 4*a22**3*a23**2*b12**4 + 2*a22*a23**2*b12**6*kap) + u1*u3*v2*( - 8
*a22*a23**3*b12**3*kap*m3*n1 + 2*a22*a23**2*b12**4*kap*n1**2 - 2*a22*a23**2*b12
**4*kap*n2**2) - 4*u1*u3*v3**3*a22**2*a23**3*b12**4 + u1*u3*v3**2*(4*a22*a23**3*
b12**4*kap*m3 + 2*a22*a23**2*b12**5*kap*n1) + u1*u3*v3*(4*a22**2*a23**3*b12**2*
kap*m3**2 - 4*a22**2*a23**2*b12**3*kap*m3*n1 - 4*a22*a23**4*b12**2*n2*n3 + 2*a22
*a23**2*b12**4*kap*n2*n3 + 4*a23**5*b12**2*kap*m3**2 - 4*a23**4*b12**3*kap*m3*n1
+ 6*a23**3*b12**4*kap**2*m3**2 - 2*a23**3*b12**4*kap*n2**2 - 2*a23**3*b12**4*
kap*n3**2) + u1*u3*(4*a22**2*a23**3*b12*n1*n2*n3 - 2*a22*a23**2*b12**3*kap**2*m3
**2*n1 + 4*a22*a23**2*b12**3*kap*n1*n3**2) + u1*v1**3*(4*a22**3*a23**2*b12**3*m3
- 2*a22*a23**2*b12**5*kap*m3) - 2*u1*v1**2*v3*a22**2*a23**2*b12**4*n2 - 2*u1*v1
**2*a22**2*a23**2*b12**3*n1*n3 + u1*v1*v2**2*(4*a22**3*a23**2*b12**3*m3 - 2*a22*
a23**2*b12**5*kap*m3) - 2*u1*v1*v2*a22*a23**2*b12**4*kap*m3*n1 + u1*v1*v3**2*(4*
a22**3*a23**2*b12**3*m3 - 2*a22*a23**2*b12**5*kap*m3) - 8*u1*v1*v3*a22**2*a23**2
*b12**3*kap*m3**2 + u1*v1*(4*a22*a23**3*b12**2*kap*m3**2*n1 - 2*a22*a23**2*b12**
3*kap*m3*n1**2 + 2*a22*a23**2*b12**3*kap*m3*n2**2) - 2*u1*v2**2*v3*a22**2*a23**2
*b12**4*n2 + u1*v2**2*( - 2*a22**2*a23**2*b12**3*n1*n3 - 2*a22*a23**2*b12**4*kap
*m3*n2) + 4*u1*v2*v3*a22**2*a23**3*b12**2*m3*n2 - 2*u1*v3**3*a22**2*a23**2*b12**
4*n2 + u1*v3**2*( - 2*a22**2*a23**2*b12**3*n1*n3 + 2*a22*a23**2*b12**4*kap*m3*n2
) + u1*v3*(4*a22**2*a23**3*b12*m3*n1*n2 + 2*a22**2*a23**2*b12**2*kap*m3**2*n2 -
2*a22*a23**3*b12**2*n2**2*n3 + 2*a22*a23**2*b12**3*kap*m3*n1*n3 + 2*a23**4*b12**
2*kap*m3**2*n2 - 2*a23**3*b12**3*kap*m3*n1*n2 + 3*a23**2*b12**4*kap**2*m3**2*n2
- a23**2*b12**4*kap*n2**3 - a23**2*b12**4*kap*n2*n3**2) + u1*( - 2*a22**3*a23*
b12*kap*m3**2*n1*n2 + 2*a22**2*a23**2*b12*kap*m3**2*n1*n3 - 2*a22*a23**3*b12*kap
*m3**2*n1*n2 - 2*a22*a23**3*b12*n1*n2*n3**2 + 2*a22*a23**2*b12**2*kap*m3*n1**2*
n2 - 2*a22*a23*b12**3*kap**2*m3**2*n1*n2 + 2*a23**4*b12*kap*m3**2*n1*n3 - 2*a23
**3*b12**2*kap*m3*n1**2*n3 + 3*a23**2*b12**3*kap**2*m3**2*n1*n3 - a23**2*b12**3*
kap*n1*n2**2*n3 - a23**2*b12**3*kap*n1*n3**3) + 2*u2**4*a22**4*a23**3*b12*n2 - 4
*u2**3*u3**2*a22*a23**3*b12**5*kap**2 + 2*u2**3*u3*v1*a22*a23**2*b12**6*kap**2 +
u2**3*u3*(8*a22**3*a23**4*b12*n2 + 4*a22*a23**4*b12**3*kap*n2 - 2*a22*a23**2*
b12**5*kap**2*n2) + u2**3*v1*( - 4*a22**3*a23**3*b12**2*n2 - 2*a22*a23**3*b12**4
*kap*n2) + u2**3*v2*( - 4*a22**3*a23**2*b12**3*kap*m3 - 2*a22*a23**2*b12**5*kap
**2*m3) + u2**3*(4*a22**3*a23**3*b12*n2**2 + 2*a22*a23**3*b12**3*kap*n2**2) + 4*
u2**2*u3**3*a22**2*a23**2*b12**5*kap**2 - 8*u2**2*u3**2*v1*a22**2*a23**3*b12**4*
kap + u2**2*u3**2*( - 4*a22**4*a23**3*b12*n2 + 4*a22**3*a23**2*b12**3*kap*n3 + 8
*a22**2*a23**5*b12*n2 - 4*a22**2*a23**3*b12**3*kap*n2 + 12*a22*a23**4*b12**3*kap
*n3 + 2*a22*a23**2*b12**5*kap**2*n3) + 6*u2**2*u3*v1**2*a22**2*a23**2*b12**5*kap
+ u2**2*u3*v1*( - 8*a22**2*a23**4*b12**2*n2 - 4*a22**2*a23**2*b12**4*kap*n2 - 4
*a22*a23**3*b12**4*kap*n3) + 2*u2**2*u3*v2**2*a22**2*a23**2*b12**5*kap - 16*u2**
2*u3*v2*a22**2*a23**3*b12**3*kap*m3 + 2*u2**2*u3*v3**2*a22**2*a23**2*b12**5*kap
+ u2**2*u3*v3*(4*a22*a23**4*b12**3*kap*m3 - 4*a22*a23**3*b12**4*kap*n1) + u2**2*
u3*(4*a22**3*a23**3*b12*n2*n3 + 8*a22**2*a23**4*b12*n2**2 - 2*a22**2*a23**2*b12
**3*kap**2*m3**2 + 12*a22*a23**3*b12**3*kap*n2*n3 - 2*a23**4*b12**3*kap**2*m3**2
+ 2*a23**3*b12**4*kap**2*m3*n1 - 3*a23**2*b12**5*kap**3*m3**2 + a23**2*b12**5*
kap**2*n2**2 + a23**2*b12**5*kap**2*n3**2) + 8*u2**2*v1*v2*a22**2*a23**2*b12**4*
kap*m3 + 2*u2**2*v1*v3*a22*a23**2*b12**5*kap*n1 + u2**2*v1*( - 4*a22**2*a23**3*
b12**2*n2**2 - 2*a22*a23**2*b12**4*kap*n2*n3) + u2**2*v2**2*( - 4*a22**3*a23**2*
b12**3*n3 - 2*a22*a23**2*b12**5*kap*n3) - 8*u2**2*v2*a22**2*a23**2*b12**3*kap*m3
*n2 - 2*u2**2*v3**2*a22**2*a23**3*b12**3*n2 + u2**2*v3*(4*a22**3*a23**3*b12*m3*
n2 + 2*a22*a23**3*b12**3*kap*m3*n2 - 2*a22*a23**2*b12**4*kap*n1*n2) + u2**2*(2*
a22**2*a23**3*b12*kap*m3**2*n2 + 2*a22**2*a23**3*b12*n2**3 + 2*a22**2*a23**2*b12
**2*kap*m3*n1*n2 - 2*a22*a23**4*b12*n2**2*n3 + 2*a22*a23**2*b12**3*kap*n2**2*n3
+ 2*a23**5*b12*kap*m3**2*n2 - 2*a23**4*b12**2*kap*m3*n1*n2 + 3*a23**3*b12**3*kap
**2*m3**2*n2 - a23**3*b12**3*kap*n2**3 - a23**3*b12**3*kap*n2*n3**2) - 4*u2*u3**
4*a22*a23**3*b12**5*kap**2 + u2*u3**3*v1*(8*a22**3*a23**2*b12**4*kap - 8*a22*a23
**4*b12**4*kap + 2*a22*a23**2*b12**6*kap**2) + u2*u3**3*( - 8*a22**3*a23**4*b12*
n2 - 16*a22**2*a23**3*b12**3*kap*n3 + 4*a22*a23**4*b12**3*kap*n2 - 2*a22*a23**2*
b12**5*kap**2*n2) + 8*u2*u3**2*v1**2*a22*a23**3*b12**5*kap + u2*u3**2*v1*(4*a22
**3*a23**3*b12**2*n2 - 10*a22*a23**3*b12**4*kap*n2) + 4*u2*u3**2*v2**2*a22*a23**
3*b12**5*kap + u2*u3**2*v2*(8*a22**3*a23**2*b12**3*kap*m3 - 12*a22*a23**4*b12**3
*kap*m3 + 4*a22*a23**3*b12**4*kap*n1 - 6*a22*a23**2*b12**5*kap**2*m3) + 4*u2*u3
**2*v3**2*a22*a23**3*b12**5*kap + u2*u3**2*v3*( - 8*a22**2*a23**3*b12**3*kap*m3
+ 4*a22**2*a23**2*b12**4*kap*n1) + u2*u3**2*( - 4*a22**3*a23**3*b12*n2**2 + 8*
a22**2*a23**4*b12*n2*n3 - 8*a22**2*a23**2*b12**3*kap*n2*n3 - 4*a22*a23**3*b12**3
*kap**2*m3**2 + 2*a22*a23**3*b12**3*kap*n2**2 + 8*a22*a23**3*b12**3*kap*n3**2) +
u2*u3*v1**3*(4*a22**3*a23**2*b12**4 - 2*a22*a23**2*b12**6*kap) + u2*u3*v1**2*(
- 4*a22**2*a23**3*b12**3*n3 + 4*a22*a23**2*b12**5*kap*n2) + u2*u3*v1*v2**2*(4*
a22**3*a23**2*b12**4 - 2*a22*a23**2*b12**6*kap) + u2*u3*v1*v2*(4*a22*a23**3*b12
**4*kap*m3 - 2*a22*a23**2*b12**5*kap*n1) + u2*u3*v1*v3**2*(4*a22**3*a23**2*b12**
4 - 2*a22*a23**2*b12**6*kap) + u2*u3*v2**2*( - 4*a22**2*a23**3*b12**3*n3 + 2*a22
*a23**2*b12**5*kap*n2) + u2*u3*v2*v3*( - 8*a22**3*a23**2*b12**3*n3 + 4*a22**2*
a23**3*b12**3*n2 - 4*a22*a23**2*b12**5*kap*n3) + u2*u3*v2*(2*a22**3*a23*b12**3*
kap*m3*n2 - 8*a22**2*a23**2*b12**3*kap*m3*n3 - 6*a22*a23**3*b12**3*kap*m3*n2 + 2
*a22*a23**2*b12**4*kap*n1*n2 + 2*a22*a23*b12**5*kap**2*m3*n2) + u2*u3*v3**2*( -
4*a22**2*a23**3*b12**3*n3 + 2*a22*a23**2*b12**5*kap*n2) + u2*u3*v3*(8*a22**2*a23
**4*b12*m3*n2 - 4*a22**2*a23**2*b12**3*kap*m3*n2 + 4*a22*a23**3*b12**3*kap*m3*n3
- 2*a22*a23**2*b12**4*kap*n1*n3) + u2*u3*( - 4*a22**3*a23**2*b12*kap*m3**2*n2 +
4*a22**2*a23**3*b12*kap*m3**2*n3 + 4*a22**2*a23**3*b12*n2**2*n3 - 4*a22*a23**4*
b12*kap*m3**2*n2 - 4*a22*a23**4*b12*n2*n3**2 + 4*a22*a23**3*b12**2*kap*m3*n1*n2
- 6*a22*a23**2*b12**3*kap**2*m3**2*n2 + 4*a22*a23**2*b12**3*kap*n2*n3**2 + 4*a23
**5*b12*kap*m3**2*n3 - 4*a23**4*b12**2*kap*m3*n1*n3 + 6*a23**3*b12**3*kap**2*m3
**2*n3 - 2*a23**3*b12**3*kap*n2**2*n3 - 2*a23**3*b12**3*kap*n3**3) + u2*v1**2*v2
*(4*a22**3*a23**2*b12**3*m3 - 2*a22*a23**2*b12**5*kap*m3) + 2*u2*v1**2*v3*a22**2
*a23**2*b12**4*n1 + u2*v1**2*( - 2*a22**2*a23**2*b12**3*n2*n3 + 2*a22*a23**2*b12
**4*kap*m3*n1) + 2*u2*v1*v2*a22*a23**2*b12**4*kap*m3*n2 - 4*u2*v1*v3*a22**2*a23
**3*b12**2*m3*n2 + u2*v1*(a22**3*b12**3*kap*m3*n1*n2 - 3*a22*a23**2*b12**3*kap*
m3*n1*n2 + a22*b12**5*kap**2*m3*n1*n2) + u2*v2**3*(4*a22**3*a23**2*b12**3*m3 - 2
*a22*a23**2*b12**5*kap*m3) + 2*u2*v2**2*v3*a22**2*a23**2*b12**4*n1 - 2*u2*v2**2*
a22**2*a23**2*b12**3*n2*n3 + u2*v2*v3**2*(4*a22**3*a23**2*b12**3*m3 - 2*a22*a23
**2*b12**5*kap*m3) - 8*u2*v2*v3*a22**2*a23**2*b12**3*kap*m3**2 + u2*v2*( - 2*a22
**3*a23*b12**2*kap*m3**2*n1 + 2*a22*a23**3*b12**2*kap*m3**2*n1 - 2*a22*a23*b12**
4*kap**2*m3**2*n1) + 2*u2*v3**3*a22**2*a23**2*b12**4*n1 + u2*v3**2*( - 2*a22**2*
a23**2*b12**3*n2*n3 - 2*a22*a23**2*b12**4*kap*m3*n1) + u2*v3*(4*a22**2*a23**3*
b12*m3*n2**2 - 2*a22**2*a23**2*b12**2*kap*m3**2*n1 + 2*a22*a23**3*b12**2*n1*n2*
n3 + 2*a22*a23**2*b12**3*kap*m3*n2*n3 - 2*a23**4*b12**2*kap*m3**2*n1 + 2*a23**3*
b12**3*kap*m3*n1**2 - 3*a23**2*b12**4*kap**2*m3**2*n1 + a23**2*b12**4*kap*n1*n2
**2 + a23**2*b12**4*kap*n1*n3**2) + u2*( - 4*a22**3*a23**2*kap*m3**3*n1 + 2*a22
**3*a23*b12*kap*m3**2*n1**2 + 2*a22**2*a23**2*b12*kap*m3**2*n2*n3 - 4*a22*a23**4
*kap*m3**3*n1 + 2*a22*a23**3*b12*kap*m3**2*n1**2 - 2*a22*a23**3*b12*n2**2*n3**2
- 4*a22*a23**2*b12**2*kap**2*m3**3*n1 + 2*a22*a23**2*b12**2*kap*m3*n1*n2**2 + 2*
a22*a23*b12**3*kap**2*m3**2*n1**2 + 2*a23**4*b12*kap*m3**2*n2*n3 - 2*a23**3*b12
**2*kap*m3*n1*n2*n3 + 3*a23**2*b12**3*kap**2*m3**2*n2*n3 - a23**2*b12**3*kap*n2
**3*n3 - a23**2*b12**3*kap*n2*n3**3) + 4*u3**5*a22**2*a23**2*b12**5*kap**2 + 8*
u3**4*v1*a22**2*a23**3*b12**4*kap + u3**4*(2*a22**4*a23**3*b12*n2 + 10*a22**3*
a23**2*b12**3*kap*n3 - 4*a22**2*a23**3*b12**3*kap*n2 + 2*a22*a23**4*b12**3*kap*
n3) - 2*u3**3*v1**2*a22**2*a23**2*b12**5*kap + u3**3*v1*(4*a22**2*a23**2*b12**4*
kap*n2 - 4*a22*a23**3*b12**4*kap*n3) - 2*u3**3*v2**2*a22**2*a23**2*b12**5*kap +
u3**3*v2*(8*a22**2*a23**3*b12**3*kap*m3 - 4*a22**2*a23**2*b12**4*kap*n1) - 2*u3
**3*v3**2*a22**2*a23**2*b12**5*kap + u3**3*v3*( - 4*a22*a23**4*b12**3*kap*m3 - 8
*a22*a23**2*b12**5*kap**2*m3) + u3**3*( - 4*a22**3*a23**3*b12*n2*n3 + 2*a22**2*
a23**2*b12**3*kap**2*m3**2 - 8*a22**2*a23**2*b12**3*kap*n3**2 + 4*a22*a23**3*b12
**3*kap*n2*n3 - 2*a23**4*b12**3*kap**2*m3**2 + 2*a23**3*b12**4*kap**2*m3*n1 - 3*
a23**2*b12**5*kap**3*m3**2 + a23**2*b12**5*kap**2*n2**2 + a23**2*b12**5*kap**2*
n3**2) + 4*u3**2*v1**3*a22**2*a23**3*b12**4 + u3**2*v1**2*(4*a22**3*a23**2*b12**
3*n3 - 2*a22**2*a23**3*b12**3*n2 + 2*a22*a23**2*b12**5*kap*n3) + 4*u3**2*v1*v2**
2*a22**2*a23**3*b12**4 + 4*u3**2*v1*v3**2*a22**2*a23**3*b12**4 - 4*u3**2*v1*v3*
a22*a23**3*b12**4*kap*m3 + u3**2*v1*( - 4*a22**2*a23**3*b12**2*kap*m3**2 + 4*a22
**2*a23**2*b12**3*kap*m3*n1 + 4*a22*a23**4*b12**2*n2*n3 - 2*a22*a23**2*b12**4*
kap*n2*n3 - 4*a23**5*b12**2*kap*m3**2 + 4*a23**4*b12**3*kap*m3*n1 - 6*a23**3*b12
**4*kap**2*m3**2 + 2*a23**3*b12**4*kap*n2**2 + 2*a23**3*b12**4*kap*n3**2) + u3**
2*v2**2*(4*a22**3*a23**2*b12**3*n3 - 2*a22**2*a23**3*b12**3*n2 + 2*a22*a23**2*
b12**5*kap*n3) + u3**2*v2*(4*a22**2*a23**2*b12**3*kap*m3*n2 - 4*a22*a23**3*b12**
3*kap*m3*n3 + 2*a22*a23**2*b12**4*kap*n1*n3) + u3**2*v3*( - 4*a22**3*a23**3*b12*
m3*n2 + 2*a22**3*a23*b12**3*kap*m3*n2 - 8*a22**2*a23**2*b12**3*kap*m3*n3 + 4*a22
*a23**3*b12**3*kap*m3*n2 + 2*a22*a23*b12**5*kap**2*m3*n2) + u3**2*(4*a22**4*a23*
b12*kap*m3**2*n2 - 4*a22**3*a23**2*b12*kap*m3**2*n3 + 6*a22**2*a23**3*b12*kap*m3
**2*n2 + 6*a22**2*a23**3*b12*n2*n3**2 - 2*a22**2*a23**2*b12**2*kap*m3*n1*n2 + 4*
a22**2*a23*b12**3*kap**2*m3**2*n2 - 4*a22*a23**4*b12*kap*m3**2*n3 - 2*a22*a23**4
*b12*n2**2*n3 + 4*a22*a23**3*b12**2*kap*m3*n1*n3 - 8*a22*a23**2*b12**3*kap**2*m3
**2*n3 + 2*a22*a23**2*b12**3*kap*n2**2*n3 + 4*a22*a23**2*b12**3*kap*n3**3 + 2*
a23**5*b12*kap*m3**2*n2 - 2*a23**4*b12**2*kap*m3*n1*n2 + 3*a23**3*b12**3*kap**2*
m3**2*n2 - a23**3*b12**3*kap*n2**3 - a23**3*b12**3*kap*n2*n3**2) - 2*u3*v1**4*
a22**2*a23**2*b12**5 + 2*u3*v1**3*a22**2*a23**2*b12**4*n2 - 4*u3*v1**2*v2**2*a22
**2*a23**2*b12**5 + u3*v1**2*v2*(4*a22**2*a23**3*b12**3*m3 - 2*a22**2*a23**2*b12
**4*n1) - 4*u3*v1**2*v3**2*a22**2*a23**2*b12**5 + u3*v1**2*(4*a22**2*a23**2*b12
**3*kap*m3**2 - 2*a22**2*a23**2*b12**3*n3**2 - 2*a22*a23**3*b12**3*n2*n3 + 2*a23
**4*b12**3*kap*m3**2 - 2*a23**3*b12**4*kap*m3*n1 + 3*a23**2*b12**5*kap**2*m3**2
- a23**2*b12**5*kap*n2**2 - a23**2*b12**5*kap*n3**2) + 2*u3*v1*v2**2*a22**2*a23
**2*b12**4*n2 + 2*u3*v1*v3**2*a22**2*a23**2*b12**4*n2 - 2*u3*v1*v3*a22*a23**2*
b12**4*kap*m3*n2 + u3*v1*( - 2*a22**2*a23**2*b12**2*kap*m3**2*n2 + 2*a22*a23**3*
b12**2*n2**2*n3 - 2*a22*a23**2*b12**3*kap*m3*n1*n3 - 2*a23**4*b12**2*kap*m3**2*
n2 + 2*a23**3*b12**3*kap*m3*n1*n2 - 3*a23**2*b12**4*kap**2*m3**2*n2 + a23**2*b12
**4*kap*n2**3 + a23**2*b12**4*kap*n2*n3**2) - 2*u3*v2**4*a22**2*a23**2*b12**5 +
u3*v2**3*(4*a22**2*a23**3*b12**3*m3 - 2*a22**2*a23**2*b12**4*n1) - 4*u3*v2**2*v3
**2*a22**2*a23**2*b12**5 + u3*v2**2*(4*a22**2*a23**2*b12**3*kap*m3**2 - 2*a22**2
*a23**2*b12**3*n3**2 - 2*a22*a23**3*b12**3*n2*n3 + 2*a23**4*b12**3*kap*m3**2 - 2
*a23**3*b12**4*kap*m3*n1 + 3*a23**2*b12**5*kap**2*m3**2 - a23**2*b12**5*kap*n2**
2 - a23**2*b12**5*kap*n3**2) + u3*v2*v3**2*(4*a22**2*a23**3*b12**3*m3 - 2*a22**2
*a23**2*b12**4*n1) + u3*v2*v3*( - 4*a22*a23**3*b12**3*kap*m3**2 + 2*a22*a23**2*
b12**4*kap*m3*n1) + u3*v2*( - 4*a22**2*a23**3*b12*kap*m3**3 + 2*a22**2*a23**2*
b12**2*kap*m3**2*n1 + 4*a22*a23**4*b12*m3*n2*n3 - 2*a22*a23**3*b12**2*n1*n2*n3 -
2*a22*a23**2*b12**3*kap*m3*n2*n3 - 4*a23**5*b12*kap*m3**3 + 6*a23**4*b12**2*kap
*m3**2*n1 - 6*a23**3*b12**3*kap**2*m3**3 - 2*a23**3*b12**3*kap*m3*n1**2 + 2*a23
**3*b12**3*kap*m3*n2**2 + 2*a23**3*b12**3*kap*m3*n3**2 + 3*a23**2*b12**4*kap**2*
m3**2*n1 - a23**2*b12**4*kap*n1*n2**2 - a23**2*b12**4*kap*n1*n3**2) - 2*u3*v3**4
*a22**2*a23**2*b12**5 + u3*v3**2*( - 2*a22**2*a23**2*b12**3*n3**2 - 2*a22*a23**3
*b12**3*n2*n3 + 2*a23**4*b12**3*kap*m3**2 - 2*a23**3*b12**4*kap*m3*n1 + 3*a23**2
*b12**5*kap**2*m3**2 - a23**2*b12**5*kap*n2**2 - a23**2*b12**5*kap*n3**2) + u3*(
8*a22**4*a23*kap*m3**3*n1 - 4*a22**4*b12*kap*m3**2*n1**2 - 4*a22**4*b12*kap*m3**
2*n2**2 - 2*a22**3*a23*b12*kap*m3**2*n2*n3 + 8*a22**2*a23**3*kap*m3**3*n1 - 2*
a22**2*a23**2*b12*kap**2*m3**4 - 4*a22**2*a23**2*b12*kap*m3**2*n1**2 - 4*a22**2*
a23**2*b12*kap*m3**2*n2**2 + 2*a22**2*a23**2*b12*kap*m3**2*n3**2 + 8*a22**2*a23*
b12**2*kap**2*m3**3*n1 - 4*a22**2*b12**3*kap**2*m3**2*n1**2 - 4*a22**2*b12**3*
kap**2*m3**2*n2**2 - 2*a22*a23**3*b12*n2*n3**3 + 2*a22*a23**2*b12**2*kap*m3*n1*
n2*n3 - 2*a22*a23*b12**3*kap**2*m3**2*n2*n3 - 2*a23**4*b12*kap**2*m3**4 + 2*a23
**4*b12*kap*m3**2*n3**2 + 2*a23**3*b12**2*kap**2*m3**3*n1 - 2*a23**3*b12**2*kap*
m3*n1*n3**2 - 3*a23**2*b12**3*kap**3*m3**4 + a23**2*b12**3*kap**2*m3**2*n2**2 +
4*a23**2*b12**3*kap**2*m3**2*n3**2 - a23**2*b12**3*kap*n2**2*n3**2 - a23**2*b12
**3*kap*n3**4) + 2*v1**3*a22**2*a23**2*b12**3*m3*n1 + 2*v1**2*v2*a22**2*a23**2*
b12**3*m3*n2 + 2*v1*v2**2*a22**2*a23**2*b12**3*m3*n1 + 2*v1*v3**2*a22**2*a23**2*
b12**3*m3*n1 - 2*v1*v3*a22*a23**2*b12**3*kap*m3**2*n1 + v1*( - 2*a22**2*a23**2*
b12*kap*m3**3*n1 + 2*a22*a23**3*b12*m3*n1*n2*n3 - 2*a23**4*b12*kap*m3**3*n1 + 2*
a23**3*b12**2*kap*m3**2*n1**2 - 3*a23**2*b12**3*kap**2*m3**3*n1 + a23**2*b12**3*
kap*m3*n1*n2**2 + a23**2*b12**3*kap*m3*n1*n3**2) + 2*v2**3*a22**2*a23**2*b12**3*
m3*n2 + 2*v2*v3**2*a22**2*a23**2*b12**3*m3*n2 - 2*v2*v3*a22*a23**2*b12**3*kap*m3
**2*n2 + v2*( - 2*a22**2*a23**2*b12*kap*m3**3*n2 + 2*a22*a23**3*b12*m3*n2**2*n3
- 2*a23**4*b12*kap*m3**3*n2 + 2*a23**3*b12**2*kap*m3**2*n1*n2 - 3*a23**2*b12**3*
kap**2*m3**3*n2 + a23**2*b12**3*kap*m3*n2**3 + a23**2*b12**3*kap*m3*n2*n3**2) +
2*v3**2*a22**2*a23**3*b12*m3**2*n2 + 2*v3*a22*a23**2*b12**2*kap*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*a22*b12 + 2*u1**
2*u3*v1*v3*a23*b12 + u1**2*u3*v3*a23*n2 - 2*u1**2*v1**2*a22*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*a22*b12 + 2*u1*u2*u3*v1*a23*n3 + 2*u1*u2*u3*v2**2*a22*b12 + 2*u1*u2*u3*
v2*v3*a23*b12 - 4*u1*u2*v1*v2*a22*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*a22*n3 + a23*n2) + 2*u1*u3**2*v2*v3*a22*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*
a22*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*a22*b12 + 2*u2**2*u3*v2*a23*n3 + u2**
2*u3*v3*a23*n2 - 2*u2**2*v2**2*a22*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*a22*b12 + u2*
u3**2*v2*( - 2*a22*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*a22*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*a22*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*a22*b12 - 2*u1*u3*v3*a23*b12
+ 2*u1*v1*a22*m3 - u1*v3*b12*n2 - u1*n1*n3 + u2**2*u3*b12**2*kap - u2**2*a23*n2
+ 2*u2*u3*v1*a22*b12 - 2*u2*u3*a23*n3 + 2*u2*v2*a22*m3 + u2*v3*b12*n1 - u2*n2*n3
+ u3**3*b12**2*kap + 2*u3**2*v1*a23*b12 + u3**2*(2*a22*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$