Solution 2 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2
0=a23 + b12 *kap
Expressions
The solution is given through the following expressions:
16 4 2 2 2 4 2
r10=( - ----*a23 *kap *n1*n2 *n3*r535 - ---*a23 *n1*n2*n3 *r5225
3 3
3 3 2 14 2 2 3 2
- a23 *b12*kap *m3*n1 *n3*r535 - ----*a23 *b12 *kap *n1*n2 *n3*r535
3
1 2 2 3 5 2 2 2
+ ---*a23 *b12 *kap*n1*n2 *r5225 - ---*a23 *b12 *kap*n1*n2*n3 *r5225
4 6
3 4 2 2 4 4 2
- a23*b12 *kap *m3*n1 *n3*r535 + ---*b12 *kap *n1*n2 *n3*r535
3
1 4 3 2 1 4 2 3
+ ---*b12 *kap *m3 *n1*n2*r5225 + ---*b12 *kap *n1*n2 *r5225
2 4
1 4 2 2 3 5 3
- ---*b12 *kap *n1*n2*n3 *r5225)/(a23 *b12 *kap )
6
2 3 3 2 2
r11=(b12 *kap*m3*n2*r353 + kap *m3 *n2*r535 - kap *m3*n2*n3 *r535
1 2 4 2
+ ---*m3*n2 *n3*r5225)/(b12 *kap )
2
26 4 2 2 4 4
r12=(----*a23 *kap *m3*n1*n2 *r535 + ---*a23 *m3*n1*n2*n3*r5225
3 3
3 3 2 2 2 4 2
+ a23 *b12*kap *m3 *n1 *r535 + a23 *b12 *kap *m3*n1*r353
2 2 4 3 22 2 2 3 2
+ a23 *b12 *kap *m3 *n1*r535 + ----*a23 *b12 *kap *m3*n1*n2 *r535
3
2 2 3 2 5 2 2
- a23 *b12 *kap *m3*n1*n3 *r535 + ---*a23 *b12 *kap*m3*n1*n2*n3*r5225
3
3 4 2 2 4 4 4 2
+ a23*b12 *kap *m3 *n1 *r535 - ---*b12 *kap *m3*n1*n2 *r535
3
1 4 2 2 6 3
- ---*b12 *kap *m3*n1*n2*n3*r5225)/(a23 *b12 *kap )
6
4 3 2 2 8 4 2 2 2
r13=( - a23 *kap *m3 *n2 *r535 + ---*a23 *kap *n1 *n2 *r535
3
1 4 2 4 4 2 2 2
+ ---*a23 *kap *n2 *r535 + a23 *kap *n2 *n3 *r535
2
1 4 2 1 4 3
+ ---*a23 *n1 *n2*n3*r5225 + ---*a23 *n2 *n3*r5225
3 5
1 3 3 3 1 3 3 2
+ ---*a23 *b12*kap *m3*n1 *r535 - ---*a23 *b12*kap *m3*n1*n2 *r535
2 4
2 4 3 2 2 4 2 2
- a23 *b12 *kap *m3 *r353 + a23 *b12 *kap *n3 *r353
2 2 5 4 3 2 2 4 2 2
- a23 *b12 *kap *m3 *r535 - ---*a23 *b12 *kap *m3 *n2 *r535
2
2 2 4 2 2 7 2 2 3 2 2
+ 2*a23 *b12 *kap *m3 *n3 *r535 + ---*a23 *b12 *kap *n1 *n2 *r535
3
3 2 2 3 4 1 2 2 3 2 2
+ ----*a23 *b12 *kap *n2 *r535 + ---*a23 *b12 *kap *n2 *n3 *r535
20 3
2 2 3 4 1 2 2 2 2
- a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *kap *m3 *n2*n3*r5225
4
11 2 2 2 23 2 2 3
+ ----*a23 *b12 *kap*n1 *n2*n3*r5225 + ----*a23 *b12 *kap*n2 *n3*r5225
12 80
5 2 2 3 1 3 4 3
+ ----*a23 *b12 *kap*n2*n3 *r5225 + ---*a23*b12 *kap *m3*n1 *r535
12 2
1 3 4 2 1 3 2
- ---*a23*b12 *kap *m3*n1*n2 *r535 + ---*a23*b12 *kap *m3*n1*n2*n3*r5225
4 2
1 4 5 2 2 1 4 4 2 2
- ---*b12 *kap *m3 *n2 *r535 - ---*b12 *kap *n1 *n2 *r535
2 3
7 4 4 4 2 4 4 2 2
- ----*b12 *kap *n2 *r535 - ---*b12 *kap *n2 *n3 *r535
20 3
1 4 3 2 7 4 2 2
+ ---*b12 *kap *m3 *n2*n3*r5225 + ----*b12 *kap *n1 *n2*n3*r5225
4 12
7 4 2 3 1 4 2 3 4 4
+ ----*b12 *kap *n2 *n3*r5225 - ----*b12 *kap *n2*n3 *r5225)/(a23 *b12
80 12
2
*kap )
14 4 2 4 4 2
r14=(----*a23 *kap *m3*n1*n2*n3*r535 + ---*a23 *m3*n1*n3 *r5225
3 3
3 3 3 3 2
- a23 *b12 *kap*n2*n3*r353 - a23 *b12*kap *m3 *n2*n3*r535
3 2 3 1 3 2 2
+ a23 *b12*kap *n2*n3 *r535 - ---*a23 *b12*n2 *n3 *r5225
2
14 2 2 3 1 2 2 2
+ ----*a23 *b12 *kap *m3*n1*n2*n3*r535 - ---*a23 *b12 *kap*m3*n1*n2 *r5225
3 4
4 2 2 2 1 4 2 2 3
+ ---*a23 *b12 *kap*m3*n1*n3 *r5225 + ---*b12 *kap *m3*n1*n2 *r5225)/(a23
3 4
5 2
*b12 *kap )
8 4 2 2 1 4 2
r15=(---*a23 *kap *n1*n2 *n3*r535 + ---*a23 *n1*n2*n3 *r5225
3 3
2 4 2 2 2 4 2
+ a23 *b12 *kap *n1*n3*r353 + a23 *b12 *kap *m3 *n1*n3*r535
2 2 3 2 2 2 3 3
+ 2*a23 *b12 *kap *n1*n2 *n3*r535 - a23 *b12 *kap *n1*n3 *r535
1 2 2 3 3 2 2 2
+ ---*a23 *b12 *kap*n1*n2 *r5225 + ---*a23 *b12 *kap*n1*n2*n3 *r5225
8 4
1 3 2 2 2 4 4 2
+ ---*a23*b12 *kap *m3*n1 *n2*r5225 - ---*b12 *kap *n1*n2 *n3*r535
2 3
1 4 2 3 1 4 2 2 4 4
+ ---*b12 *kap *n1*n2 *r5225 - ----*b12 *kap *n1*n2*n3 *r5225)/(a23 *b12
8 12
2
*kap )
2
- a23*m3 *n2*r535
r20=--------------------
4
b12
2
m3 *n2*r5225
r21=----------------
2
2*a23*b12 *kap
r22=0
2
m3 *n1*r5225
r23=----------------
2
2*a23*b12 *kap
r24=0
26 5 2 2 4 5
r27=( - ----*a23 *kap *n1*n2 *r535 - ---*a23 *n1*n2*n3*r5225
3 3
4 3 2 4 3 2
- a23 *b12*kap *m3*n1 *r535 - 2*a23 *b12*kap *m3*n2 *r535
3 4 2 3 2 4 2
- a23 *b12 *kap *n1*r353 - a23 *b12 *kap *m3 *n1*r535
22 3 2 3 2 3 2 3 2
- ----*a23 *b12 *kap *n1*n2 *r535 + a23 *b12 *kap *n1*n3 *r535
3
5 3 2 2 5 3
- ---*a23 *b12 *kap*n1*n2*n3*r5225 - 2*a23 *b12 *kap *m3*r353
3
2 3 5 3 2 3 4 2
- 2*a23 *b12 *kap *m3 *r535 - a23 *b12 *kap *m3*n1 *r535
2 2 3 4 2 2 3 4 2
- ---*a23 *b12 *kap *m3*n2 *r535 + 2*a23 *b12 *kap *m3*n3 *r535
3
1 2 3 2 4 4 4 2
- ---*a23 *b12 *kap *m3*n2*n3*r5225 + ---*a23*b12 *kap *n1*n2 *r535
3 3
1 4 2 4 5 5 2
+ ---*a23*b12 *kap *n1*n2*n3*r5225 + ---*b12 *kap *m3*n2 *r535
6 3
1 5 3 3 5 3
+ ---*b12 *kap *m3*n2*n3*r5225)/(a23 *b12 *kap )
6
4 2 2 2 2
r28=( - ---*a23 *kap *m3*n1*n2*r535 - ---*a23 *m3*n1*n3*r5225
3 3
3 3 2
+ a23*b12 *kap*n2*r353 + a23*b12*kap *m3 *n2*r535
2 2 1 2
- a23*b12*kap *n2*n3 *r535 + ---*a23*b12*n2 *n3*r5225
2
4 2 3 1 2 4
- ---*b12 *kap *m3*n1*n2*r535 - ---*b12 *kap*m3*n1*n3*r5225)/(a23*b12
3 6
2
*kap )
2 4 2 2 1 4 2 3 1 4 2
r29=(---*a23 *kap *n1 *n2*r535 + ---*a23 *kap *n2 *r535 + ---*a23 *n1 *n3*r5225
3 2 3
1 4 2 1 3 3
- ---*a23 *n2 *n3*r5225 + ---*a23 *b12*kap *m3*n1*n2*r535
5 4
2 4 2 13 2 2 4 2
+ a23 *b12 *kap *n2*r353 + ----*a23 *b12 *kap *m3 *n2*r535
6
2 2 2 3 2 11 2 2 3 3
+ ---*a23 *b12 *kap *n1 *n2*r535 + ----*a23 *b12 *kap *n2 *r535
3 60
1 2 2 2 2 1 2 2 2
+ ----*a23 *b12 *kap *m3 *n3*r5225 - ---*a23 *b12 *kap*n1 *n3*r5225
12 6
31 2 2 2 1 2 2 3
+ -----*a23 *b12 *kap*n2 *n3*r5225 - ---*a23 *b12 *kap*n3 *r5225
240 2
1 3 4 7 4 5 2
+ ---*a23*b12 *kap *m3*n1*n2*r535 + ---*b12 *kap *m3 *n2*r535
4 6
19 4 4 3 5 4 3 2
- ----*b12 *kap *n2 *r535 - ----*b12 *kap *m3 *n3*r5225
60 12
1 4 2 2 41 4 2 2 3 4
- ---*b12 *kap *n1 *n3*r5225 - -----*b12 *kap *n2 *n3*r5225)/(a23 *b12
2 240
2
*kap )
26 4 2 2 4 4
r210=(----*a23 *kap *n1*n2 *r535 + ---*a23 *n1*n2*n3*r5225
3 3
3 3 2 3 3 2
+ a23 *b12*kap *m3*n1 *r535 - 2*a23 *b12*kap *m3*n2 *r535
2 4 2 2 2 4 2
+ a23 *b12 *kap *n1*r353 + a23 *b12 *kap *m3 *n1*r535
22 2 2 3 2 2 2 3 2
+ ----*a23 *b12 *kap *n1*n2 *r535 - a23 *b12 *kap *n1*n3 *r535
3
5 2 2 3 4 2
+ ---*a23 *b12 *kap*n1*n2*n3*r5225 + a23*b12 *kap *m3*n1 *r535
3
1 3 2 4 4 4 2
- ---*a23*b12 *kap *m3*n2*n3*r5225 - ---*b12 *kap *n1*n2 *r535
2 3
1 4 2 2 5 3
- ---*b12 *kap *n1*n2*n3*r5225)/(a23 *b12 *kap )
6
2 2 1 2 2
r211=( - 2*a23 *kap *m3*n2*n3*r535 + ---*a23 *m3*n2 *r5225
2
1 2 2 1 2 2 3 3 2
+ ---*a23 *m3*n3 *r5225 + ---*b12 *kap *m3 *r5225)/(a23 *b12 *kap)
2 2
- m3*n1*n2*r5225
r212=-------------------
3
a23
4 2 2 4
r213=(2*a23 *kap*n2 *n3*r535 + 2*a23 *b12 *kap*n3*r353
2 2 3 2 8 2 2 2 2
+ 2*a23 *b12 *kap *m3 *n3*r535 + ---*a23 *b12 *kap *n2 *n3*r535
3
2 2 2 3 1 2 2 2
- 2*a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *n2*n3 *r5225
6
3 4 4 3 2
+ a23*b12 *kap*m3*n1*n2*r5225 - ---*b12 *kap *n2 *n3*r535
3
1 4 2 2 1 4 2 3 4
- ---*b12 *kap *m3 *n2*r5225 - ---*b12 *kap*n2*n3 *r5225)/(a23 *b12 *kap)
2 6
8 4 2 2 7 4 2 3
r214=( - ---*a23 *kap *n1 *n2*r535 - ---*a23 *kap *n2 *r535
3 6
1 4 2 1 4 2
- ---*a23 *n1 *n3*r5225 - ---*a23 *n2 *n3*r5225
3 3
1 3 3 2 4 2
- ---*a23 *b12*kap *m3*n1*n2*r535 + a23 *b12 *kap *n2*r353
4
5 2 2 4 2 2 2 3 2
+ ---*a23 *b12 *kap *m3 *n2*r535 - 3*a23 *b12 *kap *n1 *n2*r535
4
5 2 2 3 3 2 2 3 2
- ---*a23 *b12 *kap *n2 *r535 - a23 *b12 *kap *n2*n3 *r535
6
1 2 2 2 5 2 2 2
- ---*a23 *b12 *kap*n1 *n3*r5225 - ----*a23 *b12 *kap*n2 *n3*r5225
2 12
1 3 4 1 4 5 2
- ---*a23*b12 *kap *m3*n1*n2*r535 + ---*b12 *kap *m3 *n2*r535
4 4
1 4 4 2 2 4 4 3
- ---*b12 *kap *n1 *n2*r535 - ---*b12 *kap *n2 *r535
3 3
1 4 2 2 1 4 2 2 3 4
- ---*b12 *kap *n1 *n3*r5225 - ----*b12 *kap *n2 *n3*r5225)/(a23 *b12
6 12
2
*kap )
2 2 3
r215=( - 2*a23 *kap *m3*n1*n2*r535 - a23*b12 *kap*n2*r353
3 2 2 2
- a23*b12*kap *m3 *n2*r535 + a23*b12*kap *n2*n3 *r535
1 2 1 2 4 2
- ---*a23*b12*n2 *n3*r5225 - ---*b12 *kap*m3*n1*n3*r5225)/(a23*b12 *kap )
2 2
3 2 2 2
r217=(a23 *m3 *n1*r5225 - 2*a23 *b12*kap *m3*n2*n3*r535
1 2 2 1 2 2
+ ---*a23 *b12*m3*n1 *r5225 + ---*a23 *b12*m3*n3 *r5225
2 2
2 2 1 3 2 3 3 3
+ a23*b12 *kap*m3 *n1*r5225 + ---*b12 *kap *m3 *r5225)/(a23 *b12 *kap)
2
10 4 2 2 4 2
r218=( - ----*a23 *kap *n1*n2*n3*r535 - ---*a23 *n1*n3 *r5225
3 3
4 2 2 3 1 2 2 2
- ---*a23 *b12 *kap *n1*n2*n3*r535 - ---*a23 *b12 *kap*n1*n2 *r5225
3 4
5 2 2 2 1 4 3 2
- ---*a23 *b12 *kap*n1*n3 *r5225 - ---*b12 *kap *m3 *n1*r5225
3 2
1 4 2 2 3 4 2
- ---*b12 *kap *n1*n2 *r5225)/(a23 *b12 *kap )
4
26 4 2 2 4 4
r219=( - ----*a23 *kap *n1*n2 *r535 - ---*a23 *n1*n2*n3*r5225
3 3
3 3 2 2 2 3 2
- a23 *b12*kap *m3*n1 *r535 - 6*a23 *b12 *kap *n1*n2 *r535
5 2 2 3 4 2
- ---*a23 *b12 *kap*n1*n2*n3*r5225 - a23*b12 *kap *m3*n1 *r535
2
2 4 4 2 1 4 2 3 4
+ ---*b12 *kap *n1*n2 *r535 - ---*b12 *kap *n1*n2*n3*r5225)/(a23 *b12
3 6
2
*kap )
4 2 4 3 2 4
r220=( - a23 *kap*n1 *n2*r535 + a23 *kap*n2 *r535 + a23 *b12 *kap*n2*r353
2 2 3 2 1 2 2 2 3
+ a23 *b12 *kap *m3 *n2*r535 + ---*a23 *b12 *kap *n2 *r535
3
2 2 2 2 1 2 2 2
- a23 *b12 *kap *n2*n3 *r535 - ---*a23 *b12 *n1 *n3*r5225
2
5 2 2 2 2 4 3 3
+ ----*a23 *b12 *n2 *n3*r5225 - ---*b12 *kap *n2 *r535
12 3
1 4 2 3 4
- ----*b12 *kap*n2 *n3*r5225)/(a23 *b12 *kap)
12
r30=0
- m3*n2*r535
r31=---------------
2
b12
r32=0
- m3*n2*r535
r33=---------------
2
b12
- m3*n1*r535
r34=---------------
2
b12
r35=0
- m3*n1*r535
r36=---------------
2
b12
r37=0
- m3*n2*r535
r38=---------------
2
b12
- m3*n1*r535
r39=---------------
2
b12
26 4 2 2 4 4
r310=( - ----*a23 *kap *n2 *r535 - ---*a23 *n2*n3*r5225
3 3
3 3 2 4 2
- a23 *b12*kap *m3*n1*r535 - a23 *b12 *kap *r353
2 2 4 2 22 2 2 3 2
- 2*a23 *b12 *kap *m3 *r535 - ----*a23 *b12 *kap *n2 *r535
3
2 2 3 2 5 2 2
+ 2*a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *kap*n2*n3*r5225
3
3 4 4 4 4 2
- a23*b12 *kap *m3*n1*r535 + ---*b12 *kap *n2 *r535
3
1 4 2 2 4 3
+ ---*b12 *kap *n2*n3*r5225)/(a23 *b12 *kap )
6
2 1
a23*m3 *r5225 + a23*m3*n2*r5159 - ---*b12*m3*n1*r5225
2
r311=-------------------------------------------------------
2
a23*b12 *kap
26 4 2 2 4 4
r312=( - ----*a23 *kap *n2 *r535 - ---*a23 *n2*n3*r5225
3 3
3 3 2 4 2
- a23 *b12*kap *m3*n1*r535 - a23 *b12 *kap *r353
2 2 4 2 22 2 2 3 2
- 2*a23 *b12 *kap *m3 *r535 - ----*a23 *b12 *kap *n2 *r535
3
2 2 3 2 5 2 2
+ 2*a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *kap*n2*n3*r5225
3
3 4 4 4 4 2
- a23*b12 *kap *m3*n1*r535 + ---*b12 *kap *n2 *r535
3
1 4 2 2 4 3
+ ---*b12 *kap *n2*n3*r5225)/(a23 *b12 *kap )
6
2*a23*m3*n1*r5159 + b12*m3*n2*r5225
r313=-------------------------------------
2
2*a23*b12 *kap
r314=0
26 4 2 2 4 4
r315=( - ----*a23 *kap *n2 *r535 - ---*a23 *n2*n3*r5225
3 3
3 3 2 4 2
- a23 *b12*kap *m3*n1*r535 - a23 *b12 *kap *r353
2 2 4 2 22 2 2 3 2
- 2*a23 *b12 *kap *m3 *r535 - ----*a23 *b12 *kap *n2 *r535
3
2 2 3 2 5 2 2
+ 2*a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *kap*n2*n3*r5225
3
3 4 4 4 4 2
- a23*b12 *kap *m3*n1*r535 + ---*b12 *kap *n2 *r535
3
1 4 2 2 4 3
+ ---*b12 *kap *n2*n3*r5225)/(a23 *b12 *kap )
6
2 2 2 2 2
r316=(a23 *kap*m3 *r5159 - 2*a23 *m3*n2*r5225 - a23 *n3 *r5159
3 2 2 2
- ---*b12 *kap*m3*n2*r5225)/(a23 *b12 *kap)
2
20 3 2 4 3
r317=( - ----*a23 *kap *m3*n2*r535 - ---*a23 *m3*n3*r5225
3 3
4 2 2 2 2
+ ---*a23 *b12*kap *n1*n2*r535 + ---*a23 *b12*n1*n3*r5225
3 3
23 2 3 1 2
- ----*a23*b12 *kap *m3*n2*r535 - ---*a23*b12 *kap*m3*n3*r5225
3 3
4 3 3 1 3 4 2
+ ---*b12 *kap *n1*n2*r535 + ---*b12 *kap*n1*n3*r5225)/(a23*b12 *kap )
3 6
4 2 3 2 2 4
r318=( - 2*a23 *kap*n2 *r535 - a23 *b12*kap *m3*n1*r535 - 2*a23 *b12 *kap*r353
2 2 3 2 2 2 2 2 2
- 2*a23 *b12 *kap *m3 *r535 - ---*a23 *b12 *kap *n2 *r535
3
2 2 2 2 1 2 2
+ 2*a23 *b12 *kap *n3 *r535 - ---*a23 *b12 *n2*n3*r5225
3
4 4 3 2 1 4 3 3
+ ---*b12 *kap *n2 *r535 + ---*b12 *kap*n2*n3*r5225)/(a23 *b12 *kap)
3 6
2 4 2 1 4 3 2 2 4 2 2
r319=(---*a23 *b12 *kap*r353 - ---*a23 *kap *m3 *r535 + ---*a23 *kap *n2 *r535
3 3 9
1 4 2 2 1 4 1 2 4 2
+ ---*a23 *kap *n3 *r535 + ---*a23 *n2*n3*r5225 - ---*a23 *b12 *kap *r353
3 9 3
1 2 2 4 2 4 2 2 3 2
- ---*a23 *b12 *kap *m3 *r535 + ---*a23 *b12 *kap *n2 *r535
3 9
1 2 2 3 2 5 2 2
+ ---*a23 *b12 *kap *n3 *r535 + ----*a23 *b12 *kap*n2*n3*r5225
3 36
2 4 4 2 1 4 2 4 2
+ ---*b12 *kap *n2 *r535 + ----*b12 *kap *n2*n3*r5225)/(a23 *b12 *kap)
9 36
2*a23*kap*n2*n3*r535 + b12*m3*n1*r5225
r320=----------------------------------------
2
2*a23*b12 *kap
r321=0
r322
2 2 2 2 2 2
a23 *kap*n2*n3*r535 + a23 *m3 *r5225 + a23 *m3*n2*r5159 + b12 *kap*m3 *r5225
=------------------------------------------------------------------------------
2 2
a23 *b12 *kap
2*a23*m3*n2*r535
r323=------------------
3
b12
2*a23*m3*n1*r5159 - b12*m3*n2*r5225
r324=-------------------------------------
2
2*a23*b12 *kap
2*a23*kap*n2*n3*r535 - b12*m3*n1*r5225
r325=----------------------------------------
2
2*a23*b12 *kap
3 2 4 2 2
r326=( - 4*a23 *kap *m3*n2*r535 - ---*a23 *b12*kap *n1*n2*r535
3
2 2 2
- ---*a23 *b12*n1*n3*r5225 - a23*b12 *kap*m3*n3*r5225
3
2 4 3 3
- a23*b12 *kap*n2*n3*r5159 - ---*b12 *kap *n1*n2*r535
3
1 3 4 2
- ---*b12 *kap*n1*n3*r5225)/(a23*b12 *kap )
6
2 2 2 2 2
r327=(a23 *kap*m3 *r5159 - a23 *m3*n2*r5225 - a23 *n3 *r5159
1 2 2 2
- ---*a23*b12*n1*n2*r5225 - 3*b12 *kap*m3*n2*r5225)/(a23 *b12 *kap)
2
3 2 2 1 2 2
r328=(2*a23 *m3*n1*r5225 - 2*a23 *b12*kap *n2*n3*r535 + ---*a23 *b12*n2 *r5225
2
1 2 2 2
+ ---*a23 *b12*n3 *r5225 + a23*b12 *kap*m3*n1*r5225
2
1 3 2 2 3 2
+ ---*b12 *kap *m3 *r5225)/(a23 *b12 *kap)
2
20 4 2 4 4 2
r329=( - ----*a23 *kap *n2*n3*r535 - ---*a23 *n3 *r5225
3 3
5 2 2 3 1 2 2 2
- ---*a23 *b12 *kap *n2*n3*r535 - ---*a23 *b12 *kap*n2 *r5225
3 2
10 2 2 2 4 3 2 2 4 2
- ----*a23 *b12 *kap*n3 *r5225 - b12 *kap *m3 *r5225)/(a23 *b12 *kap )
3
- a23*m3*n2*r5225 + b12*n1*n2*r5225
r330=--------------------------------------
2
2*a23*b12 *kap
2
- kap *m3*n2*r535 - n2*n3*r5159
r331=----------------------------------
2
b12 *kap
2 2 2 1 2
2*a23 *kap*n2 *r535 - a23*b12*kap *m3*n1*r535 + ---*b12 *n2*n3*r5225
2
r332=----------------------------------------------------------------------
3
a23*b12 *kap
26 3 2 2 4 3
r333=( - ----*a23 *kap *n2 *r535 - ---*a23 *n2*n3*r5225
3 3
2 3 4 2
- a23 *b12*kap *m3*n1*r535 + a23*b12 *kap *r353
14 2 3 2 10 2
- ----*a23*b12 *kap *n2 *r535 - ----*a23*b12 *kap*n2*n3*r5225
3 3
3 4 4 2
- b12 *kap *m3*n1*r535)/(a23*b12 *kap )
2 2
2*kap *n2*n3*r535 - n2 *r5225
r334=-------------------------------
2
2*b12 *kap
2*a23*kap*n1*n3*r535 - b12*m3*n2*r5225
r335=----------------------------------------
2
2*a23*b12 *kap
- 2*a23*m3*n2*r535
r336=---------------------
3
b12
2*a23*kap*n1*n3*r535 + b12*m3*n2*r5225
r337=----------------------------------------
2
2*a23*b12 *kap
r338=0
2*a23*m3*n2*r5159 + b12*m3*n1*r5225
r339=-------------------------------------
2
2*a23*b12 *kap
kap*n1*n3*r535 + m3*n1*r5159
r340=------------------------------
2
b12 *kap
4 2 3 2 4
r341=(2*a23 *kap*n2 *r535 - a23 *b12*n1*n3*r5159 + 2*a23 *b12 *kap*r353
2 2 3 2 2 2 2 2 2
+ 2*a23 *b12 *kap *m3 *r535 + ---*a23 *b12 *kap *n2 *r535
3
2 2 2 2 1 2 2
- 2*a23 *b12 *kap *n3 *r535 + ---*a23 *b12 *n2*n3*r5225
3
4 4 3 2 1 4 3 3
- ---*b12 *kap *n2 *r535 - ---*b12 *kap*n2*n3*r5225)/(a23 *b12 *kap)
3 6
2 2 1 2 2 1 2 2
r342=(2*a23 *kap *n2*n3*r535 - ---*a23 *n1 *r5225 - ---*a23 *n3 *r5225
2 2
1 2 2 2 3
- a23*b12*kap*m3*n1*r5225 - ---*b12 *kap *m3 *r5225)/(a23 *b12*kap)
2
2 2 2 2 2
r343=(a23 *kap*m3 *r5159 - a23 *m3*n2*r5225 - a23 *n3 *r5159
1 2 2 2
+ ---*a23*b12*n1*n2*r5225 - b12 *kap*m3*n2*r5225)/(a23 *b12 *kap)
2
2 2
2*a23 *kap*n1*n3*r535 + b12 *n1*n2*r5225
r344=------------------------------------------
2 2
2*a23 *b12
2 2
n1 *r5225 - n2 *r5225
r345=-----------------------
2*a23*b12*kap
2 2 2
- 4*a23 *kap*n2 *r535 - 2*a23*b12*n1*n3*r5159 - b12 *n2*n3*r5225
r346=-------------------------------------------------------------------
3
2*a23*b12 *kap
3 2 2 2
r347=(2*a23 *kap*n1*n2*r535 + a23 *b12*kap *m3*n2*r535 - a23 *b12*n2*n3*r5159
1 2 3 3 2 3
+ ---*a23*b12 *n1*n3*r5225 + b12 *kap *m3*n2*r535)/(a23 *b12 *kap)
2
20 4 2 4 4
r348=(----*a23 *kap *n1*n2*r535 + ---*a23 *n1*n3*r5225
3 3
2 2 3 4 4 4
+ 12*a23 *b12 *kap *n1*n2*r535 + ---*b12 *kap *n1*n2*r535
3
2 4 2 2 4 2
+ ---*b12 *kap *n1*n3*r5225)/(a23 *b12 *kap )
3
2 2
2*a23 *kap*n1*n3*r535 + b12 *n1*n2*r5225
r349=------------------------------------------
2 2
2*a23 *b12
- a23*m3*n2*r5225 - b12*n1*n2*r5225
r350=--------------------------------------
2
2*a23*b12 *kap
2 2 1 2
- 2*a23 *kap*n1*n2*r535 - a23*b12*kap *m3*n2*r535 - ---*b12 *n1*n3*r5225
2
r351=---------------------------------------------------------------------------
3
a23*b12 *kap
2
- kap *m3*n1*r535 - n1*n3*r5159
r352=----------------------------------
2
b12 *kap
2 1 2
kap *n2*n3*r535 - ---*n2 *r5225
2
r354=---------------------------------
2
b12 *kap
3 2 2
r355=(6*a23 *kap*n1*n3*r535 - a23 *b12*m3*n2*r5225 + 3*a23*b12 *n1*n2*r5225
3 3 2
- b12 *kap*m3*n2*r5225)/(6*a23 *b12 )
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
- 2*a23*m3*r535 + b12*n1*r535
r416=--------------------------------
2
b12
r417=0
- 2*a23*m3*r535 + b12*n1*r535
r418=--------------------------------
2
b12
- n2*r535
r419=------------
b12
r420=0
- n2*r535
r421=------------
b12
- 2*a23*m3*r535 + b12*n1*r535
r423=--------------------------------
2
b12
- n2*r535
r424=------------
b12
2*a23*m3*r5159 - b12*n1*r5159
r426=-------------------------------
2
b12 *kap
5 2 2 1 2 2 2 3
r427=(---*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
- ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
6
m3*r5225 + n2*r5159
r428=---------------------
b12*kap
r429=0
5 2 2 1 2 2 2 3
r430=(---*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
- ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
6
- a23*m3*r5225 - a23*n2*r5159
r431=--------------------------------
2
b12 *kap
- 2*a23*kap*m3*r535 + b12*kap*n1*r535
r432=----------------------------------------
2
b12
20 2 2 4 2 23 2 3
r433=( - ----*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ----*b12 *kap *n2*r535
3 3 3
1 2 3 2
- ---*b12 *kap*n3*r5225)/(b12 *kap )
3
20 4 2 4 4 43 2 2 3
r434=(----*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + ----*a23 *b12 *kap *n2*r535
3 3 6
5 2 2 1 4 4 4 2
+ ---*a23 *b12 *kap*n3*r5225 - ---*b12 *kap *n2*r535)/(a23*b12 *kap )
6 2
- n1*r535
r435=------------
b12
m3*r5225
r436=-----------
2*a23*kap
- n1*r535
r437=------------
b12
m3*r5225
r438=-----------
2*a23*kap
r439=0
r440=0
r441=0
- n1*r535
r442=------------
b12
m3*r5225
r443=-----------
2*a23*kap
r444=0
2 2
4*a23 *kap*n3*r535 + 2*a23*b12*n1*r5159 - b12 *n2*r5225
r445=---------------------------------------------------------
2
2*a23*b12 *kap
10 2 2 2 2 4 2 3
r446=( - ----*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
+ ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
3
2 2 2
4*a23 *kap*n3*r535 + 4*a23 *m3*r5159 - 2*a23*b12*n1*r5159 - b12 *n2*r5225
r447=---------------------------------------------------------------------------
2
2*a23*b12 *kap
r448=0
- 2*a23*m3*r5225 + 2*a23*n2*r5159 + b12*n1*r5225
r449=---------------------------------------------------
2*a23*b12*kap
2 2
2*a23 *kap*n3*r535 - b12 *n2*r5225
r450=------------------------------------
2
a23*b12 *kap
2
- 2*a23*n3*r5159 - b12*kap *n1*r535
r451=--------------------------------------
2
b12 *kap
r452
2 2 5 2
- a23 *m3*r5225 - a23 *n2*r5159 - a23*b12*n1*r5225 - ---*b12 *kap*m3*r5225
2
=-----------------------------------------------------------------------------
2
a23*b12 *kap
2 2
4*a23 *n2*r5225 - b12 *kap*n2*r5225
r453=-------------------------------------
2
2*a23 *b12*kap
2 2
4*a23 *kap*n3*r535 + 3*b12 *n2*r5225
r454=--------------------------------------
2
2*a23*b12
a23*n2*r535
r455=-------------
2
b12
n1*r5159
r456=----------
b12*kap
2 2 2 1 2 2 2 3
r457=( - ---*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
+ ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
6
- n1*r5225
r458=-------------
2*a23*kap
r459=0
r460=0
- a23*m3*r5225 - a23*n2*r5159 + b12*n1*r5225
r461=-----------------------------------------------
2
b12 *kap
2 2
- 2*a23*kap *m3*r535 - 2*a23*n3*r5159 + b12*kap *n1*r535
r462=-----------------------------------------------------------
2
b12 *kap
8 2 23 2 2 2
- ---*a23 *kap*n2*r535 - ----*b12 *kap *n2*r535 + b12 *n3*r5225
3 3
r463=------------------------------------------------------------------
3
b12 *kap
20 4 2 4 4 40 2 2 3
r464=(----*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + ----*a23 *b12 *kap *n2*r535
3 3 3
4 2 2 2 4 4
- ---*a23 *b12 *kap*n3*r5225 + ---*b12 *kap *n2*r535
3 3
1 4 2 4 2
- ---*b12 *kap *n3*r5225)/(a23*b12 *kap )
6
- kap*n1*r535
r465=----------------
b12
2 2
- 2*a23 *n2*r5159 + b12 *kap*m3*r5225
r466=----------------------------------------
2
2*a23*b12 *kap
n2*r5225
r467=-----------
2*b12*kap
2 2
4*a23 *kap*n3*r535 + 3*b12 *n2*r5225
r468=--------------------------------------
2
2*a23*b12
4 3 7 2
---*a23 *n2*r535 + ---*a23*b12 *kap*n2*r535
3 3
r469=---------------------------------------------
4
b12
n2*r535
r470=---------
b12
r471=0
n2*r535
r472=---------
b12
r473=0
m3*r5225
r474=-----------
2*a23*kap
r475=0
m3*r5225
r476=-----------
2*a23*kap
n2*r535
r477=---------
b12
m3*r5225
r479=-----------
2*a23*kap
1
- a23*m3*r5225 - a23*n2*r5159 - ---*b12*n1*r5225
2
r480=---------------------------------------------------
a23*b12*kap
- a23*n1*r5225 - b12*kap*m3*r5225
r482=------------------------------------
2
a23 *kap
10 2 2 2 2 4 2 3
r483=( - ----*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
+ ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
3
2 2
4*a23 *m3*r5159 - 2*a23*b12*n1*r5159 + b12 *n2*r5225
r484=------------------------------------------------------
2
2*a23*b12 *kap
1
a23*n2*r5159 - ---*b12*n1*r5225
2
r485=---------------------------------
a23*b12*kap
20 2 2 4 2 23 2 3
r486=(----*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + ----*b12 *kap *n2*r535
3 3 3
1 2 3 2
+ ---*b12 *kap*n3*r5225)/(b12 *kap )
3
b12*n2*r5225
r487=--------------
2
2*a23
r488
2 2 1 2
- a23 *m3*r5225 - a23 *n2*r5159 + a23*b12*n1*r5225 - ---*b12 *kap*m3*r5225
2
=-----------------------------------------------------------------------------
2
a23*b12 *kap
n1*r5225
r489=----------
2*a23
r490=0
- 2*a23*n2*r5159 + b12*n1*r5225
r491=----------------------------------
2*a23*b12*kap
r492=0
2*a23*n1*r5159 + b12*n2*r5225
r493=-------------------------------
2*a23*b12*kap
4 2 2 2 2 4 2 3
r494=( - ---*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
+ ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
3
r495=0
- 2*n2*r5225
r496=---------------
b12*kap
2
4*kap *n2*r535 - n3*r5225
r497=---------------------------
b12*kap
- 2*a23*n3*r5159
r498=-------------------
2
b12 *kap
r499=0
8 2 11 2
---*a23 *n2*r535 + ----*b12 *kap*n2*r535
3 3
r4100=------------------------------------------
3
b12
- n2*r5225
r4101=-------------
2*b12*kap
2 2
- 2*a23 *n2*r5159 + b12 *kap*m3*r5225
r4102=----------------------------------------
2
2*a23*b12 *kap
2 2
2*a23 *m3*r5225 + a23*b12*n1*r5225 + 2*b12 *kap*m3*r5225
r4103=----------------------------------------------------------
2
2*a23 *b12
r4104=0
a23*n2*r535
r4105=-------------
2
b12
1
- ---*n2*r5225
2
r4106=-----------------
a23*kap
- n2*r5159
r4108=-------------
b12*kap
r4109=0
2 2 2 1 2 2 2 3
r4110=( - ---*a23 *kap *n2*r535 - ---*a23 *n3*r5225 - ---*b12 *kap *n2*r535
3 3 3
1 2 2 2
+ ---*b12 *kap*n3*r5225)/(a23*b12 *kap )
6
- a23*m3*r5225 - a23*n2*r5159 - b12*n1*r5225
r4111=-----------------------------------------------
2
b12 *kap
2
a23*kap*n1*r535 + 2*b12*kap *m3*r535
r4112=--------------------------------------
a23*b12
- kap*n2*r535
r4113=----------------
b12
40 4 2 8 4 2 2 3
r4114=(----*a23 *kap *n2*r535 + ---*a23 *n3*r5225 + 16*a23 *b12 *kap *n2*r535
3 3
2 2 2 4 4
+ 2*a23 *b12 *kap*n3*r5225 + ---*b12 *kap *n2*r535
3
1 4 2 4 2
- ---*b12 *kap *n3*r5225)/(a23*b12 *kap )
6
- kap*n1*r535
r4115=----------------
b12
2 2 1 2
- a23 *m3*r5225 - a23 *n2*r5159 - ---*b12 *kap*m3*r5225
2
r4116=----------------------------------------------------------
2
a23*b12 *kap
n2*r5225
r4117=-----------
2*b12*kap
2 2
4*a23 *kap*n3*r535 + 3*b12 *n2*r5225
r4118=--------------------------------------
2
2*a23*b12
8 4 2 2 2 4 2
---*a23 *n2*r535 + 4*a23 *b12 *kap*n2*r535 - ---*b12 *kap *n2*r535
3 3
r4119=--------------------------------------------------------------------
4
a23*b12
kap*n2*r535
r4120=-------------
b12
1
- ---*n2*r5225
2
r4121=-----------------
b12*kap
2 2
- 2*a23 *n2*r5159 + b12 *kap*m3*r5225
r4122=----------------------------------------
2
2*a23*b12 *kap
n1*r5225
r4123=----------
2*a23
r4124=0
a23*kap*n2*r535
r4125=-----------------
2
b12
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
r521=r535
r522=0
r523=2*r535
r524=0
r525=r535
r526=0
r527=0
r528=0
r529=0
r530=2*r535
r531=0
r532=2*r535
r533=0
r534=0
- r5159
r536=----------
kap
r537=0
- r5159
r538=----------
kap
r539=0
- 2*a23*r535
r540=---------------
b12
r541=0
- 2*a23*r535
r542=---------------
b12
- r5159
r543=----------
kap
r544=0
- 2*a23*r535
r545=---------------
b12
r546=0
r547=0
r548=0
2*a23*r5159
r549=-------------
b12*kap
r550=0
r551=0
r552=r5159
r553=0
- 2*a23*kap*r535
r554=-------------------
b12
2
r555= - kap *r535
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
1
---*b12*r5225
2
r575=---------------
a23*kap
r576=0
1
---*b12*r5225
2
r577=---------------
a23*kap
r578=0
- r5159
r579=----------
kap
1
---*b12*r5225
2
r580=---------------
a23*kap
- r5225
r581=----------
kap
r582=0
- r5225
r583=----------
kap
r584=0
2*a23*r5159
r585=-------------
b12*kap
- 2*r5225
r586=------------
kap
r587=0
r588=r5159
2 1 2
2*a23 *r5225 - ---*b12 *kap*r5225
2
r589=-----------------------------------
a23*b12*kap
r590=r5225
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
r5101=0
r5102=0
r5103=0
r5104=0
r5105=0
r5106=0
r5107=r5159
r5108=0
- 2*a23*kap*r535
r5109=-------------------
b12
2
r5110= - 2*kap *r535
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
r5118=r5159
1
- ---*b12*r5225
2
r5119=------------------
a23
r5120=r5225
r5121=0
r5122=0
r5123=0
2
r5124= - kap *r535
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
2*a23*r535
r5141=------------
b12
1
- ---*b12*r5225
2
r5142=------------------
a23*kap
2*a23*r535
r5143=------------
b12
1
- ---*b12*r5225
2
r5144=------------------
a23*kap
- r5159
r5145=----------
kap
r5146=0
- r5159
r5147=----------
kap
2*a23*r535
r5148=------------
b12
1
- ---*b12*r5225
2
r5149=------------------
a23*kap
- r5159
r5150=----------
kap
- 2*a23*r5159
r5151=----------------
b12*kap
r5152=0
r5153=0
r5154=0
r5225
r5155=-------
kap
2*a23*r5159
r5156=-------------
b12*kap
2*a23*kap*r535
r5157=----------------
b12
1
---*b12*r5225
2
r5158=---------------
a23
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
r5173=0
r5225
r5174=-------
kap
r5175=0
r5176=0
- 2*a23*r5225
r5177=----------------
b12*kap
r5178=0
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
2*a23*kap*r535
r5187=----------------
b12
1
---*b12*r5225
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
r5206=0
- r5225
r5207=----------
kap
r5208=0
- 2*a23*r5159
r5209=----------------
b12*kap
r5210=0
r5211=0
r5212=r5159
r5213=0
- 2*a23*kap*r535
r5214=-------------------
b12
2
r5215= - 2*kap *r535
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
r5223=r5159
1
- ---*b12*r5225
2
r5224=------------------
a23
r5226=0
r5227=0
r5228=0
2
r5229= - 2*kap *r535
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
2*a23*kap*r535
r5237=----------------
b12
1
---*b12*r5225
2
r5238=---------------
a23
r5239=r5159
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
2
r5249= - kap *r535
r5250=0
r5251=0
m2=0
m1=0
a33=0
a22=0
a13=0
a11=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, r5225, r535, 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.
{r535,b12,a23,{n3,n2,n1,m3}}
Relevance for the application:
Modulo the following equation:
2 2
0=a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
HAM=u1*v2*b12 + u1*n1 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2 + u3*n3 + v3*m3
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
4 4 6 3 4 5 4 2
FI= - 180*u1 *u3*a23 *b12 *kap + 180*u1 *a23 *b12 *kap *n2
3 5 5 2 3 4 5 2
+ 360*u1 *u3*v3*a23 *b12 *kap + 180*u1 *v3*a23 *b12 *kap *n2
3 4 4 2 2 2 4 6 3 2 2
+ 180*u1 *a23 *b12 *kap *n1*n3 - 360*u1 *u2 *u3*a23 *b12 *kap + u1 *u2
7 2 5 4 2 3 6 3
*(480*a23 *b12 *kap*n2 + 720*a23 *b12 *kap *n2 - 120*a23 *b12 *kap *n2)
2 5 4 2 2 4 5 2
+ 360*u1 *u2*u3*a23 *b12 *kap *n3 - 180*u1 *u2*v3*a23 *b12 *kap *n1
2 4 4 2 2 3 4 6 3
+ 180*u1 *u2*a23 *b12 *kap *n2*n3 - 360*u1 *u3 *a23 *b12 *kap
2 2 5 5 2 2 2
- 360*u1 *u3 *v1*a23 *b12 *kap + u1 *u3
7 2 5 4 2 3 6 3
*(2400*a23 *b12 *kap*n2 + 2880*a23 *b12 *kap *n2 + 120*a23 *b12 *kap *n2)
2 4 5 2
- 180*u1 *u3*v1*a23 *b12 *kap *n2
2 4 5 2 3 6 3
+ u1 *u3*v2*(180*a23 *b12 *kap *n1 + 360*a23 *b12 *kap *m3)
2 2 5 4 3 6 2
+ u1 *v1 *( - 120*a23 *b12 *kap*n2 - 120*a23 *b12 *kap *n2)
2 4 4 2
- 180*u1 *v1*a23 *b12 *kap *m3*n1
2 5 3 4 4 2
+ u1 *v2*( - 360*a23 *b12 *kap*n1*n2 - 180*a23 *b12 *kap *m3*n2)
2 2 5 4 2 5 2 2
+ 180*u1 *v3 *a23 *b12 *kap*n2 + u1 *( - 180*a23 *b12 *kap*n1 *n2
5 2 3 3 4 3 2
+ 180*a23 *b12 *kap*n2 + 180*a23 *b12 *kap *m3 *n2
3 4 2 3 3 4 2 2
+ 60*a23 *b12 *kap *n2 - 180*a23 *b12 *kap *n2*n3
6 3 3 2 5 5 2
- 120*a23*b12 *kap *n2 ) + 360*u1*u2 *u3*v3*a23 *b12 *kap
2 6 3 4 5 2
+ u1*u2 *v3*(480*a23 *b12 *kap*n2 + 660*a23 *b12 *kap *n2)
2 4 4 2 4 5 2
+ 180*u1*u2 *a23 *b12 *kap *n1*n3 + 720*u1*u2*u3*v2*a23 *b12 *kap *n2 + u1
6 2 4 4 2
*u2*u3*(1200*a23 *b12 *kap*n1*n2 + 2160*a23 *b12 *kap *n1*n2
2 6 3
+ 240*a23 *b12 *kap *n1*n2)
5 4 3 6 2
+ u1*u2*v1*v2*( - 240*a23 *b12 *kap*n2 - 240*a23 *b12 *kap *n2) + u1*u2*v1*(
5 3 4 4 2
360*a23 *b12 *kap*n1*n2 + 180*a23 *b12 *kap *m3*n2
2 6 3 5 3 2
+ 180*a23 *b12 *kap *m3*n2) - 360*u1*u2*v2*a23 *b12 *kap*n2 + u1*u2*(
5 2 2 4 3 2 2
- 1560*a23 *b12 *kap*n1*n2 - 180*a23 *b12 *kap *m3*n1
3 4 2 2 2 5 3 2
- 1080*a23 *b12 *kap *n1*n2 - 180*a23 *b12 *kap *m3*n1
6 3 2 3 5 5 2
+ 120*a23*b12 *kap *n1*n2 ) + 360*u1*u3 *v3*a23 *b12 *kap
2 6 3 4 5 2
+ u1*u3 *v3*(1200*a23 *b12 *kap*n2 + 1380*a23 *b12 *kap *n2)
2 4 4 2 2 5 5
+ 180*u1*u3 *a23 *b12 *kap *n1*n3 + 360*u1*u3*v1 *v3*a23 *b12 *kap
5 4 3 6 2
+ u1*u3*v1*v3*( - 600*a23 *b12 *kap*n2 - 240*a23 *b12 *kap *n2)
2 5 5 3 5 2
+ 360*u1*u3*v2 *v3*a23 *b12 *kap + 360*u1*u3*v2*a23 *b12 *kap *n2*n3
3 5 5 5 3 2
+ 360*u1*u3*v3 *a23 *b12 *kap + u1*u3*v3*(360*a23 *b12 *kap*n2
3 5 3 2 3 5 2 2
+ 360*a23 *b12 *kap *m3 + 120*a23 *b12 *kap *n2
3 5 2 2 7 3 2
- 360*a23 *b12 *kap *n3 - 240*a23*b12 *kap *n2 )
5 2 3 4 2
+ u1*u3*( - 600*a23 *b12 *kap*n1*n2*n3 - 240*a23 *b12 *kap *n1*n2*n3)
2 4 5 2 4 4
+ 180*u1*v1 *v3*a23 *b12 *kap*n2 + 180*u1*v1 *a23 *b12 *kap*n1*n3
3 4 2 2 4 5
- 360*u1*v1*a23 *b12 *kap *m3*n2*n3 + 180*u1*v2 *v3*a23 *b12 *kap*n2
2 4 4 5 3
+ 180*u1*v2 *a23 *b12 *kap*n1*n3 - 360*u1*v2*v3*a23 *b12 *kap*m3*n2
3 4 5 2 4 4
+ 180*u1*v3 *a23 *b12 *kap*n2 + 180*u1*v3 *a23 *b12 *kap*n1*n3 + u1*v3*(
5 2 4 3 2 2
- 360*a23 *b12 *kap*m3*n1*n2 - 180*a23 *b12 *kap *m3 *n2
4 3 2 4 2 2
+ 180*a23 *b12 *kap*n2*n3 ) + u1*(480*a23 *b12 *kap*n1*n2 *n3
2 4 3 2 2 4 2 2
+ 180*a23 *b12 *kap *m3 *n1*n3 + 360*a23 *b12 *kap *n1*n2 *n3
2 4 2 3 6 3 2
- 180*a23 *b12 *kap *n1*n3 - 120*b12 *kap *n1*n2 *n3)
4 4 6 3
- 180*u2 *u3*a23 *b12 *kap
4 7 2 5 4 2
+ u2 *(240*a23 *b12 *kap*n2 + 420*a23 *b12 *kap *n2)
3 5 4 2 3 4 5 2
+ 360*u2 *u3*a23 *b12 *kap *n3 - 180*u2 *v3*a23 *b12 *kap *n1
3 4 4 2 2 3 4 6 3
+ 180*u2 *a23 *b12 *kap *n2*n3 - 360*u2 *u3 *a23 *b12 *kap
2 2 5 5 2 2 2
- 360*u2 *u3 *v1*a23 *b12 *kap + u2 *u3
7 2 5 4 2 3 6 3
*(1200*a23 *b12 *kap*n2 + 2400*a23 *b12 *kap *n2 + 120*a23 *b12 *kap *n2)
2 6 3 4 5 2
+ u2 *u3*v1*( - 480*a23 *b12 *kap*n2 - 1380*a23 *b12 *kap *n2)
2 5 4 2 4 5 2 2
+ u2 *u3*v2*( - 360*a23 *b12 *kap *m3 + 180*a23 *b12 *kap *n1) + u2 *u3*(
6 2 2 5 3 2
- 1560*a23 *b12 *kap*n2 - 180*a23 *b12 *kap *m3*n1
4 4 2 2 3 5 3
- 840*a23 *b12 *kap *n2 - 180*a23 *b12 *kap *m3*n1)
2 5 3 2 4 4 2
+ u2 *v1*(360*a23 *b12 *kap*n2 - 180*a23 *b12 *kap *m3*n1)
2 2 5 4 3 6 2
+ u2 *v2 *( - 120*a23 *b12 *kap*n2 - 120*a23 *b12 *kap *n2)
2 4 4 2 2 2 5 4 2
- 180*u2 *v2*a23 *b12 *kap *m3*n2 + 180*u2 *v3 *a23 *b12 *kap*n2 + u2 *(
5 2 2 5 2 3
- 480*a23 *b12 *kap*n1 *n2 - 210*a23 *b12 *kap*n2
4 3 2 3 4 3 2
- 45*a23 *b12 *kap *m3*n1*n2 + 225*a23 *b12 *kap *m3 *n2
3 4 2 2 3 4 2 3
- 540*a23 *b12 *kap *n1 *n2 - 150*a23 *b12 *kap *n2
3 4 2 2 2 5 3
- 180*a23 *b12 *kap *n2*n3 - 45*a23 *b12 *kap *m3*n1*n2
6 4 2 6 3 2
+ 45*a23*b12 *kap *m3 *n2 - 60*a23*b12 *kap *n1 *n2
6 3 3 3 5 4 2
- 120*a23*b12 *kap *n2 ) + 360*u2*u3 *a23 *b12 *kap *n3
2 4 5 2
- 180*u2*u3 *v3*a23 *b12 *kap *n1
2 6 2 4 4 2
+ u2*u3 *( - 1200*a23 *b12 *kap*n2*n3 - 300*a23 *b12 *kap *n2*n3)
2 5 4 3 5 2
+ 360*u2*u3*v1 *a23 *b12 *kap*n3 - 360*u2*u3*v1*a23 *b12 *kap *n2*n3
2 5 4
+ 360*u2*u3*v2 *a23 *b12 *kap*n3
5 4 3 6 2
+ u2*u3*v2*v3*( - 600*a23 *b12 *kap*n2 - 240*a23 *b12 *kap *n2)
2 5 4 6 2
+ 360*u2*u3*v3 *a23 *b12 *kap*n3 + u2*u3*v3*( - 720*a23 *b12 *kap*m3*n2
5 3 3 5 2
- 240*a23 *b12 *kap*n1*n2 - 240*a23 *b12 *kap *n1*n2) + u2*u3*(
5 2 2 3 4 3 2
360*a23 *b12 *kap*n2 *n3 + 360*a23 *b12 *kap *m3 *n3
3 4 2 2 3 4 2 3
+ 480*a23 *b12 *kap *n2 *n3 - 360*a23 *b12 *kap *n3
6 3 2 2 4 5
- 240*a23*b12 *kap *n2 *n3) - 180*u2*v1 *v3*a23 *b12 *kap*n1
2 4 4 5 3
+ 180*u2*v1 *a23 *b12 *kap*n2*n3 + 360*u2*v1*v3*a23 *b12 *kap*m3*n2
2 4 5 2 4 4
- 180*u2*v2 *v3*a23 *b12 *kap*n1 + 180*u2*v2 *a23 *b12 *kap*n2*n3
3 4 2 3 4 5
- 360*u2*v2*a23 *b12 *kap *m3*n2*n3 - 180*u2*v3 *a23 *b12 *kap*n1
2 4 4 6 2
+ 180*u2*v3 *a23 *b12 *kap*n2*n3 + u2*v3*(1560*a23 *b12*n1*n2
5 2 2 5 2 2
+ 180*a23 *b12 *kap*m3*n1 - 360*a23 *b12 *kap*m3*n2
4 3 2 2 4 3 2
+ 180*a23 *b12 *kap *m3 *n1 + 1320*a23 *b12 *kap*n1*n2
4 3 2 3 4 2 2
- 180*a23 *b12 *kap*n1*n3 + 180*a23 *b12 *kap *m3*n1
2 5 2 2 5
- 240*a23 *b12 *kap *n1*n2 ) + u2*(840*a23 *b12*kap*m3*n1*n2*n3
4 2 2 2 4 2 3
- 180*a23 *b12 *kap *m3 *n2*n3 + 180*a23 *b12 *kap*n2*n3
3 3 2 5 4 6 3
+ 840*a23 *b12 *kap *m3*n1*n2*n3) - 180*u3 *a23 *b12 *kap
4 5 5 2 4
- 360*u3 *v1*a23 *b12 *kap + u3
7 2 5 4 2 3 6 3
*(1200*a23 *b12 *kap*n2 + 1290*a23 *b12 *kap *n2 - 90*a23 *b12 *kap *n2)
3 6 3 4 5 2
+ u3 *v1*( - 1200*a23 *b12 *kap*n2 - 1380*a23 *b12 *kap *n2)
3 5 4 2 4 5 2 3
+ u3 *v2*( - 360*a23 *b12 *kap *m3 + 180*a23 *b12 *kap *n1) + u3 *(
4 4 3 2 4 4 2 2 4 4 2 2
- 60*a23 *b12 *kap *m3 + 40*a23 *b12 *kap *n2 + 60*a23 *b12 *kap *n3
2 6 4 2 2 6 3 2 2 6 3 2
- 60*a23 *b12 *kap *m3 + 80*a23 *b12 *kap *n2 + 60*a23 *b12 *kap *n3
8 4 2 2 3 5 5
+ 40*b12 *kap *n2 ) - 360*u3 *v1 *a23 *b12 *kap
2 2 5 4 3 6 2
+ u3 *v1 *(300*a23 *b12 *kap*n2 + 120*a23 *b12 *kap *n2)
2 2 5 5 2 2 5 5 2
- 360*u3 *v1*v2 *a23 *b12 *kap - 360*u3 *v1*v3 *a23 *b12 *kap + u3 *v1*(
5 3 2 4 4 2
- 360*a23 *b12 *kap*n2 - 180*a23 *b12 *kap *m3*n1
3 5 3 2 3 5 2 2
- 360*a23 *b12 *kap *m3 - 120*a23 *b12 *kap *n2
3 5 2 2 7 3 2
+ 360*a23 *b12 *kap *n3 + 240*a23*b12 *kap *n2 )
2 2 5 4 3 6 2 2
+ u3 *v2 *(300*a23 *b12 *kap*n2 + 120*a23 *b12 *kap *n2) + u3 *v2*(
6 2 5 3
- 1200*a23 *b12 *kap*m3*n2 + 240*a23 *b12 *kap*n1*n2
4 4 2 3 5 2 2
- 1380*a23 *b12 *kap *m3*n2 + 240*a23 *b12 *kap *n1*n2) + u3 *(
5 2 2 5 2 3
120*a23 *b12 *kap*n1 *n2 + 90*a23 *b12 *kap*n2
4 3 2 3 4 3 2
+ 45*a23 *b12 *kap *m3*n1*n2 + 390*a23 *b12 *kap *m3 *n2
3 4 2 2 3 4 2 3
+ 120*a23 *b12 *kap *n1 *n2 + 33*a23 *b12 *kap *n2
2 5 3 6 4 2
+ 45*a23 *b12 *kap *m3*n1*n2 + 210*a23*b12 *kap *m3 *n2
6 3 3 4 4 6
- 57*a23*b12 *kap *n2 ) + 180*u3*v1 *a23 *b12 *kap
3 4 5 2 2 4 6
- 180*u3*v1 *a23 *b12 *kap*n2 + 360*u3*v1 *v2 *a23 *b12 *kap
2 5 4 4 5
+ u3*v1 *v2*( - 360*a23 *b12 *kap*m3 + 180*a23 *b12 *kap*n1)
2 2 4 6 2 6 2 2
+ 360*u3*v1 *v3 *a23 *b12 *kap + u3*v1 *( - 1560*a23 *b12 *n2
5 3 4 4 2 2
- 180*a23 *b12 *kap*m3*n1 - 360*a23 *b12 *kap *m3
4 4 2 4 4 2
- 1320*a23 *b12 *kap*n2 + 360*a23 *b12 *kap*n3
3 5 2 2 6 2 2
- 180*a23 *b12 *kap *m3*n1 + 240*a23 *b12 *kap *n2 )
2 4 5 2 4 5
- 180*u3*v1*v2 *a23 *b12 *kap*n2 - 180*u3*v1*v3 *a23 *b12 *kap*n2 + u3*v1*(
5 2 4 3 2 2
- 240*a23 *b12 *kap*m3*n1*n2 + 180*a23 *b12 *kap *m3 *n2
4 3 2 3 4 2
- 180*a23 *b12 *kap*n2*n3 - 240*a23 *b12 *kap *m3*n1*n2)
4 4 6
+ 180*u3*v2 *a23 *b12 *kap
3 5 4 4 5
+ u3*v2 *( - 360*a23 *b12 *kap*m3 + 180*a23 *b12 *kap*n1)
2 2 4 6 2 6 2 2
+ 360*u3*v2 *v3 *a23 *b12 *kap + u3*v2 *( - 1560*a23 *b12 *n2
5 3 4 4 2 2
- 180*a23 *b12 *kap*m3*n1 - 360*a23 *b12 *kap *m3
4 4 2 4 4 2
- 1320*a23 *b12 *kap*n2 + 360*a23 *b12 *kap*n3
3 5 2 2 6 2 2
- 180*a23 *b12 *kap *m3*n1 + 240*a23 *b12 *kap *n2 )
2 5 4 4 5
+ u3*v2*v3 *( - 360*a23 *b12 *kap*m3 + 180*a23 *b12 *kap*n1) + u3*v2*(
6 2 5 2 2
- 1560*a23 *b12*n1*n2 - 180*a23 *b12 *kap*m3*n1
5 2 2 4 3 2 2
- 360*a23 *b12 *kap*m3*n2 - 180*a23 *b12 *kap *m3 *n1
4 3 2 4 3 2
- 1320*a23 *b12 *kap*n1*n2 + 180*a23 *b12 *kap*n1*n3
3 4 3 3 3 4 2 2
- 360*a23 *b12 *kap *m3 - 180*a23 *b12 *kap *m3*n1
3 4 2 2 3 4 2 2
- 120*a23 *b12 *kap *m3*n2 + 360*a23 *b12 *kap *m3*n3
2 5 2 2 6 3 2
+ 240*a23 *b12 *kap *n1*n2 + 240*a23*b12 *kap *m3*n2 )
4 4 6 2 6 2 2
+ 180*u3*v3 *a23 *b12 *kap + u3*v3 *( - 1560*a23 *b12 *n2
5 3 4 4 2 2
- 180*a23 *b12 *kap*m3*n1 - 360*a23 *b12 *kap *m3
4 4 2 4 4 2
- 1320*a23 *b12 *kap*n2 + 360*a23 *b12 *kap*n3
3 5 2 2 6 2 2
- 180*a23 *b12 *kap *m3*n1 + 240*a23 *b12 *kap *n2 ) + u3*(
4 2 2 2 2 4 2 2 2
- 180*a23 *b12 *kap *m3 *n2 + 480*a23 *b12 *kap*n1 *n2
4 2 4 4 2 2 2
+ 90*a23 *b12 *kap*n2 + 180*a23 *b12 *kap*n2 *n3
3 3 2 3 3 3 2 2
+ 90*a23 *b12 *kap *m3*n1 - 45*a23 *b12 *kap *m3*n1*n2
2 4 4 4 2 4 3 2 2
- 180*a23 *b12 *kap *m3 - 270*a23 *b12 *kap *m3 *n2
2 4 3 2 2 2 4 2 2 2
+ 360*a23 *b12 *kap *m3 *n3 + 420*a23 *b12 *kap *n1 *n2
2 4 2 4 2 4 2 2 2
+ 27*a23 *b12 *kap *n2 + 60*a23 *b12 *kap *n2 *n3
2 4 2 4 5 3 3
- 180*a23 *b12 *kap *n3 + 90*a23*b12 *kap *m3*n1
5 3 2 6 4 2 2
- 45*a23*b12 *kap *m3*n1*n2 - 90*b12 *kap *m3 *n2
6 3 2 2 6 3 4 6 3 2 2
- 60*b12 *kap *n1 *n2 - 63*b12 *kap *n2 - 120*b12 *kap *n2 *n3 )
3 4 4 2 4 4
- 180*v1 *a23 *b12 *kap*m3*n1 - 180*v1 *v2*a23 *b12 *kap*m3*n2
2 4 4 2 4 4
- 180*v1*v2 *a23 *b12 *kap*m3*n1 - 180*v1*v3 *a23 *b12 *kap*m3*n1 + v1*(
6 2 5 2 2 4 2 2 3
1560*a23 *m3*n1*n2 + 180*a23 *b12*kap*m3 *n1 + 180*a23 *b12 *kap *m3 *n1
4 2 2 4 2 2
+ 1320*a23 *b12 *kap*m3*n1*n2 - 180*a23 *b12 *kap*m3*n1*n3
3 3 2 2 2 2 4 2 2
+ 180*a23 *b12 *kap *m3 *n1 - 240*a23 *b12 *kap *m3*n1*n2 )
3 4 4 2 4 4
- 180*v2 *a23 *b12 *kap*m3*n2 - 180*v2*v3 *a23 *b12 *kap*m3*n2
4 2 2 3 4 2 2
+ v2*(180*a23 *b12 *kap *m3 *n2 - 180*a23 *b12 *kap*m3*n2*n3 )
2 5 2 2 5 2
- 180*v3 *a23 *b12 *kap*m3 *n2 + v3*( - 960*a23 *b12*n1*n2 *n3
4 2 2 3 3 2
- 180*a23 *b12 *kap*m3*n1 *n3 - 840*a23 *b12 *kap*n1*n2 *n3
2 4 2 2 5 2 2
- 180*a23 *b12 *kap *m3*n1 *n3 + 120*a23*b12 *kap *n1*n2 *n3)
which is not further factorizable.
{HAM,FI} = 0
3 3 7 3 3 3 6 3
FI=360*u1 *u3*v2*a23 *b12 *kap + 360*u1 *u3*a23 *b12 *kap *n1
3 3 6 3 3 4 5 2 3
+ 360*u1 *v1*a23 *b12 *kap *m3 - 360*u1 *v2*a23 *b12 *kap *n2 + u1 *(
3 5 3 2 6 3
- 120*a23 *b12 *kap *m3*n2 + 360*a23 *b12 *kap *n1*n2
7 4 2 2 4 6 3
- 120*a23*b12 *kap *m3*n2) + 720*u1 *u2*u3 *a23 *b12 *kap
2 3 7 3 2 3 6 3
- 360*u1 *u2*u3*v1*a23 *b12 *kap + 1080*u1 *u2*u3*a23 *b12 *kap *n2
2 4 5 2
+ 360*u1 *u2*v1*a23 *b12 *kap *n2
2 5 4 2 3 6 3
+ u1 *u2*v2*( - 720*a23 *b12 *kap *m3 - 360*a23 *b12 *kap *m3)
2 4 4 2 2 2 2
- 360*u1 *u2*a23 *b12 *kap *n2 + u1 *u3
7 2 5 4 2 3 6 3
*(1920*a23 *b12 *kap*n3 + 1440*a23 *b12 *kap *n3 - 120*a23 *b12 *kap *n3)
2 4 6 2
- 720*u1 *u3*v2*v3*a23 *b12 *kap
2 5 4 2 4 5 2
+ u1 *u3*v3*( - 720*a23 *b12 *kap *m3 - 720*a23 *b12 *kap *n1)
2 2 5 4 3 6 2
+ u1 *v1 *( - 240*a23 *b12 *kap*n3 + 120*a23 *b12 *kap *n3)
2 3 6 2 2 3 5 2
- 360*u1 *v2*v3*a23 *b12 *kap *n2 - 360*u1 *v2*a23 *b12 *kap *n1*n3
2 4 4 2 3 5 2 2
+ u1 *v3*( - 360*a23 *b12 *kap *m3*n2 - 360*a23 *b12 *kap *n1*n2) + u1 *(
3 4 2 2 3 4 2 2
- 360*a23 *b12 *kap *n1 *n3 + 300*a23 *b12 *kap *n2 *n3
6 3 2 2 3 7 3 2
- 60*a23*b12 *kap *n2 *n3) + 360*u1*u2 *u3*v2*a23 *b12 *kap + u1*u2 *u3
4 5 3 3 6 3 2 7 4
*(720*a23 *b12 *kap *m3 + 360*a23 *b12 *kap *n1 + 720*a23 *b12 *kap *m3)
2 3 6 3 2 4 5 2
+ 360*u1*u2 *v1*a23 *b12 *kap *m3 - 360*u1*u2 *v2*a23 *b12 *kap *n2
2 2 6 3 2 5 5 2
+ 360*u1*u2 *a23 *b12 *kap *n1*n2 - 1440*u1*u2*u3 *v3*a23 *b12 *kap
4 6 2 4 5 2
+ 720*u1*u2*u3*v1*v3*a23 *b12 *kap - 720*u1*u2*u3*v2*a23 *b12 *kap *n3
4 5 2
- 1440*u1*u2*u3*v3*a23 *b12 *kap *n2
6 2 2 6 3
+ u1*u2*u3*(960*a23 *b12 *kap*n1*n3 + 480*a23 *b12 *kap *n1*n3)
5 4 3 6 2
+ u1*u2*v1*v2*( - 480*a23 *b12 *kap*n3 + 240*a23 *b12 *kap *n3)
3 6 2 3 5 2
+ 360*u1*u2*v1*v3*a23 *b12 *kap *n2 + 360*u1*u2*v1*a23 *b12 *kap *n1*n3
3 6 2 3 5 2
+ 360*u1*u2*v2*v3*a23 *b12 *kap *n1 - 360*u1*u2*v2*a23 *b12 *kap *n2*n3
3 5 2 2 3 5 2 2
+ u1*u2*v3*(360*a23 *b12 *kap *n1 - 360*a23 *b12 *kap *n2 ) + u1*u2*(
5 2 3 4 2
- 960*a23 *b12 *kap*n1*n2*n3 - 1800*a23 *b12 *kap *n1*n2*n3
6 3 3 3 7 3
- 120*a23*b12 *kap *n1*n2*n3) + 360*u1*u3 *v2*a23 *b12 *kap
3 3 6 3 2 4 6 2 2
+ 360*u1*u3 *a23 *b12 *kap *n1 + 720*u1*u3 *v1*v2*a23 *b12 *kap + u1*u3 *v1
5 4 2 4 5 2 3 6 3
*( - 720*a23 *b12 *kap *m3 + 720*a23 *b12 *kap *n1 - 360*a23 *b12 *kap *m3)
2 2 7 3
+ 360*u1*u3 *v2*a23 *b12 *kap *n2
2 6 3 4 5 2
+ u1*u3 *v3*(960*a23 *b12 *kap*n3 + 240*a23 *b12 *kap *n3)
2 2 6 3 2 3 7 2
+ 360*u1*u3 *a23 *b12 *kap *n1*n2 - 360*u1*u3*v1 *v2*a23 *b12 *kap
2 3 6 2 3 6 2
- 360*u1*u3*v1 *a23 *b12 *kap *n1 + 360*u1*u3*v1*v2*a23 *b12 *kap *n2
5 4 3 6 2
+ u1*u3*v1*v3*( - 480*a23 *b12 *kap*n3 + 240*a23 *b12 *kap *n3) + u1*u3*v1*(
4 4 2 3 5 2
- 720*a23 *b12 *kap *m3*n2 + 360*a23 *b12 *kap *n1*n2
2 6 3 3 3 7 2
- 720*a23 *b12 *kap *m3*n2) - 360*u1*u3*v2 *a23 *b12 *kap
2 3 6 2 2 7 3
+ u1*u3*v2 *( - 720*a23 *b12 *kap *n1 - 720*a23 *b12 *kap *m3)
2 3 7 2 3 5 2 2
- 360*u1*u3*v2*v3 *a23 *b12 *kap + u1*u3*v2*( - 360*a23 *b12 *kap *n1
3 5 2 2 2 6 3
- 360*a23 *b12 *kap *n3 - 720*a23 *b12 *kap *m3*n1
7 4 2
- 360*a23*b12 *kap *m3 )
2 4 5 2 3 6 2
+ u1*u3*v3 *( - 720*a23 *b12 *kap *m3 - 360*a23 *b12 *kap *n1)
3 5 2 7 3
+ u1*u3*v3*(240*a23 *b12 *kap *n2*n3 - 120*a23*b12 *kap *n2*n3) + u1*u3*(
5 2 2 3 4 2 2
- 480*a23 *b12 *kap*n1*n3 - 180*a23 *b12 *kap *n1*n2
3 4 2 2 6 4 2
- 1200*a23 *b12 *kap *n1*n3 - 360*a23*b12 *kap *m3 *n1
6 3 2 3 3 6 2
- 180*a23*b12 *kap *n1*n2 ) + 360*u1*v1 *a23 *b12 *kap *m3
2 3 6 2 3 5 2
+ 360*u1*v1*v2 *a23 *b12 *kap *m3 + 360*u1*v1*v2*a23 *b12 *kap *m3*n1
2 3 6 2 4 3 2 2
+ 360*u1*v1*v3 *a23 *b12 *kap *m3 + u1*v1*(720*a23 *b12 *kap *m3 *n1
3 4 2 2 3 4 2 2
+ 360*a23 *b12 *kap *m3*n1 + 360*a23 *b12 *kap *m3*n3
2 5 3 2 6 4 3
+ 720*a23 *b12 *kap *m3 *n1 + 360*a23*b12 *kap *m3 )
2 3 5 2 2 3 5 2
+ 360*u1*v2 *a23 *b12 *kap *m3*n2 - 360*u1*v3 *a23 *b12 *kap *m3*n2
4 3 2 3 4 2
+ u1*v3*( - 360*a23 *b12 *kap*n2 *n3 - 360*a23 *b12 *kap *m3*n1*n3) + u1*(
4 2 2 2 4 2 3
240*a23 *b12 *kap*n1*n2*n3 + 90*a23 *b12 *kap *n1*n2
2 4 2 2 5 3 2
+ 540*a23 *b12 *kap *n1*n2*n3 + 360*a23*b12 *kap *m3*n1 *n2
6 3 3 6 3 2
+ 90*b12 *kap *n1*n2 - 60*b12 *kap *n1*n2*n3 )
3 2 4 6 3 3 3 7 3
+ 720*u2 *u3 *a23 *b12 *kap - 360*u2 *u3*v1*a23 *b12 *kap
3 3 6 3 3 4 5 2
+ 1080*u2 *u3*a23 *b12 *kap *n2 + 360*u2 *v1*a23 *b12 *kap *n2
3 3 6 3 3 4 4 2 2 2 2
+ 360*u2 *v2*a23 *b12 *kap *m3 - 360*u2 *a23 *b12 *kap *n2 + u2 *u3
7 2 5 4 2 3 6 3
*(960*a23 *b12 *kap*n3 - 960*a23 *b12 *kap *n3 - 120*a23 *b12 *kap *n3)
2 4 5 2
+ 720*u2 *u3*v1*a23 *b12 *kap *n3
2 5 4 2 4 5 2
+ u2 *u3*v3*( - 720*a23 *b12 *kap *m3 + 720*a23 *b12 *kap *n1)
2 6 2 4 4 2
+ u2 *u3*( - 960*a23 *b12 *kap*n2*n3 - 2400*a23 *b12 *kap *n2*n3)
2 3 6 2 2 3 5 2
- 360*u2 *v1*v3*a23 *b12 *kap *n1 + 360*u2 *v1*a23 *b12 *kap *n2*n3
2 2 5 4 3 6 2
+ u2 *v2 *( - 240*a23 *b12 *kap*n3 + 120*a23 *b12 *kap *n3)
2 4 4 2 3 5 2 2
+ u2 *v3*( - 360*a23 *b12 *kap *m3*n2 + 360*a23 *b12 *kap *n1*n2) + u2 *(
5 2 2 5 2 2
- 240*a23 *b12 *kap*n1 *n3 - 240*a23 *b12 *kap*n2 *n3
3 4 2 2 3 4 2 2
- 360*a23 *b12 *kap *n1 *n3 - 300*a23 *b12 *kap *n2 *n3
6 3 2 6 3 2
- 120*a23*b12 *kap *n1 *n3 - 60*a23*b12 *kap *n2 *n3)
4 4 6 3
+ 720*u2*u3 *a23 *b12 *kap
3 5 5 2 3 7 3
+ u2*u3 *v1*(1440*a23 *b12 *kap - 360*a23 *b12 *kap )
3 3 6 3 2 2 4 6 2
+ 1080*u2*u3 *a23 *b12 *kap *n2 - 1440*u2*u3 *v1 *a23 *b12 *kap
2 4 5 2 2 7 3
+ u2*u3 *v1*(1440*a23 *b12 *kap *n2 - 360*a23 *b12 *kap *n2)
2 2 4 6 2 2
- 720*u2*u3 *v2 *a23 *b12 *kap + u2*u3 *v2
5 4 2 4 5 2 3 6 3
*( - 720*a23 *b12 *kap *m3 - 720*a23 *b12 *kap *n1 - 1800*a23 *b12 *kap *m3)
2 2 4 6 2 2 6 2 2
- 720*u2*u3 *v3 *a23 *b12 *kap + u2*u3 *( - 960*a23 *b12 *kap*n3
4 4 2 2 4 4 2 2
- 360*a23 *b12 *kap *n2 - 2400*a23 *b12 *kap *n3
2 6 4 2 3 3 7 2
- 720*a23 *b12 *kap *m3 ) + 360*u2*u3*v1 *a23 *b12 *kap
2 3 6 2 2 3 7 2
- 720*u2*u3*v1 *a23 *b12 *kap *n2 + 360*u2*u3*v1*v2 *a23 *b12 *kap
4 5 2 3 6 2
+ u2*u3*v1*v2*( - 720*a23 *b12 *kap *m3 + 360*a23 *b12 *kap *n1)
2 3 7 2 4 4 2
+ 360*u2*u3*v1*v3 *a23 *b12 *kap + u2*u3*v1*(1440*a23 *b12 *kap *m3*n1
3 5 2 2 3 5 2 2
+ 360*a23 *b12 *kap *n2 + 360*a23 *b12 *kap *n3
2 6 3 7 4 2
+ 720*a23 *b12 *kap *m3*n1 + 360*a23*b12 *kap *m3 )
2 3 6 2
- 360*u2*u3*v2 *a23 *b12 *kap *n2
5 4 3 6 2
+ u2*u3*v2*v3*( - 480*a23 *b12 *kap*n3 + 240*a23 *b12 *kap *n3) + u2*u3*v2*(
4 4 2 3 5 2
- 720*a23 *b12 *kap *m3*n2 - 360*a23 *b12 *kap *n1*n2
2 6 3 2 3 6 2
- 2160*a23 *b12 *kap *m3*n2) - 360*u2*u3*v3 *a23 *b12 *kap *n2 + u2*u3*v3
5 3 4 4 2
*( - 480*a23 *b12 *kap*n1*n3 - 720*a23 *b12 *kap *m3*n3
3 5 2 3 4 2 2
- 120*a23 *b12 *kap *n1*n3) + u2*u3*( - 120*a23 *b12 *kap *n2*n3
2 5 3 6 4 2
+ 720*a23 *b12 *kap *m3*n1*n2 - 360*a23*b12 *kap *m3 *n2
6 3 2 2 3 6 2
- 120*a23*b12 *kap *n2*n3 ) + 360*u2*v1 *v2*a23 *b12 *kap *m3
2 3 5 2 3 5 2
- 360*u2*v1 *a23 *b12 *kap *m3*n1 - 360*u2*v1*v2*a23 *b12 *kap *m3*n2
6 3 3 3 6 2
- 720*u2*v1*a23*b12 *kap *m3*n1*n2 + 360*u2*v2 *a23 *b12 *kap *m3
2 4 4 2 2 2 6 3 2
+ u2*v2 *(720*a23 *b12 *kap *m3 + 720*a23 *b12 *kap *m3 )
2 3 6 2 3 4 2 2
+ 360*u2*v2*v3 *a23 *b12 *kap *m3 + u2*v2*(360*a23 *b12 *kap *m3*n2
3 4 2 2 6 4 3
+ 360*a23 *b12 *kap *m3*n3 + 360*a23*b12 *kap *m3 )
2 3 5 2 6
+ 360*u2*v3 *a23 *b12 *kap *m3*n1 + u2*v3*(960*a23 *b12*n1*n2*n3
4 3 3 4 2
+ 1200*a23 *b12 *kap*n1*n2*n3 - 360*a23 *b12 *kap *m3*n2*n3
2 5 2 5 2
- 120*a23 *b12 *kap *n1*n2*n3) + u2*(960*a23 *b12*kap*m3*n1*n3
4 2 2 2 3 3 2 2
- 360*a23 *b12 *kap*n2 *n3 - 180*a23 *b12 *kap *m3*n1*n2
3 3 2 2 5 3 2
+ 960*a23 *b12 *kap *m3*n1*n3 + 180*a23*b12 *kap *m3*n1*n2 )
4 7 2 5 4 2
+ u3 *(960*a23 *b12 *kap*n3 + 600*a23 *b12 *kap *n3)
3 6 3 4 5 2
+ u3 *v1*( - 960*a23 *b12 *kap*n3 - 240*a23 *b12 *kap *n3)
3 5 4 2 3
- 720*u3 *v3*a23 *b12 *kap *m3 + u3
4 4 2 2 6 3 8 4
*(80*a23 *b12 *kap *n2*n3 + 100*a23 *b12 *kap *n2*n3 + 20*b12 *kap *n2*n3)
2 2 5 4 3 6 2
+ u3 *v1 *(240*a23 *b12 *kap*n3 - 120*a23 *b12 *kap *n3)
2 4 5 2
+ 720*u3 *v1*v3*a23 *b12 *kap *m3
2 3 5 2 7 3
+ u3 *v1*( - 240*a23 *b12 *kap *n2*n3 + 120*a23*b12 *kap *n2*n3)
2 2 5 4 3 6 2 2
+ u3 *v2 *(240*a23 *b12 *kap*n3 - 120*a23 *b12 *kap *n3) + u3 *v2*(
6 2 5 3
- 960*a23 *b12 *kap*m3*n3 + 480*a23 *b12 *kap*n1*n3
4 4 2 3 5 2
- 240*a23 *b12 *kap *m3*n3 + 120*a23 *b12 *kap *n1*n3)
2 4 4 2 2 6 3 2
+ u3 *v3*( - 1440*a23 *b12 *kap *m3*n2 - 1080*a23 *b12 *kap *m3*n2) + u3 *(
5 2 2 5 2 2
240*a23 *b12 *kap*n1 *n3 - 144*a23 *b12 *kap*n2 *n3
3 4 3 2 3 4 2 2
+ 60*a23 *b12 *kap *m3 *n3 - 120*a23 *b12 *kap *n1 *n3
3 4 2 2 3 4 2 3
+ 93*a23 *b12 *kap *n2 *n3 - 360*a23 *b12 *kap *n3
6 4 2 6 3 2
- 300*a23*b12 *kap *m3 *n3 - 360*a23*b12 *kap *n1 *n3
6 3 2 2 6 2
- 123*a23*b12 *kap *n2 *n3) + u3*v1 *( - 960*a23 *b12 *n2*n3
4 4 2 6 2
- 1200*a23 *b12 *kap*n2*n3 + 120*a23 *b12 *kap *n2*n3)
3 5 2 5 2
+ 360*u3*v1*v3*a23 *b12 *kap *m3*n2 + u3*v1*( - 480*a23 *b12 *kap*m3*n1*n3
4 3 2 3 4 2 2
+ 360*a23 *b12 *kap*n2 *n3 - 120*a23 *b12 *kap *m3*n1*n3) + u3*v2 *(
6 2 4 4
- 960*a23 *b12 *n2*n3 - 1200*a23 *b12 *kap*n2*n3
2 6 2
+ 120*a23 *b12 *kap *n2*n3)
4 4 2 2 3 5 2
+ u3*v2*v3*(720*a23 *b12 *kap *m3 - 360*a23 *b12 *kap *m3*n1) + u3*v2*(
6 4 3
- 960*a23 *b12*n1*n2*n3 - 1200*a23 *b12 *kap*n1*n2*n3
3 4 2 2 5 2
- 240*a23 *b12 *kap *m3*n2*n3 + 120*a23 *b12 *kap *n1*n2*n3
6 3 2 6 2
+ 120*a23*b12 *kap *m3*n2*n3) + u3*v3 *( - 960*a23 *b12 *n2*n3
4 4 2 6 2
- 1200*a23 *b12 *kap*n2*n3 + 120*a23 *b12 *kap *n2*n3) + u3*(
4 2 2 4 2 3
240*a23 *b12 *kap*n1 *n2*n3 + 144*a23 *b12 *kap*n2 *n3
2 4 3 2 2 4 2 2
- 180*a23 *b12 *kap *m3 *n2*n3 + 660*a23 *b12 *kap *n1 *n2*n3
2 4 2 3 2 4 2 3
+ 207*a23 *b12 *kap *n2 *n3 + 300*a23 *b12 *kap *n2*n3
5 3 6 4 2
+ 360*a23*b12 *kap *m3*n1*n2*n3 + 180*b12 *kap *m3 *n2*n3
6 3 2 6 3 3 6 3 3
+ 420*b12 *kap *n1 *n2*n3 + 63*b12 *kap *n2 *n3 - 60*b12 *kap *n2*n3 )
3 4 2 2 6
+ 360*v1*v3*a23 *b12 *kap *m3 *n1 + v1*(960*a23 *m3*n1*n2*n3
4 2 2 4 2
+ 1200*a23 *b12 *kap*m3*n1*n2*n3 - 120*a23 *b12 *kap *m3*n1*n2*n3)
3 4 2 2 4 2 2
+ 360*v2*v3*a23 *b12 *kap *m3 *n2 + 360*v2*a23 *b12 *kap*m3*n2 *n3 + v3*(
5 2 3 3 3
- 480*a23 *b12*n1*n2*n3 + 180*a23 *b12 *kap*n1*n2
3 3 2 5 3 2
- 600*a23 *b12 *kap*n1*n2*n3 + 360*a23*b12 *kap *m3 *n1*n2
5 2 3 5 2 2
+ 180*a23*b12 *kap *n1*n2 - 120*a23*b12 *kap *n1*n2*n3 )
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*v3*a23*b12 - u1 *u3*v3*a23*n2
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*u1*u2*u3*v1*a23*n3 - 2*u1*u2*u3*v2*v3*a23*b12 + 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 2
+ 2*u1*u3 *v1 *a23*b12 - u1*u3 *v1*a23*n2 - 2*u1*u3 *v3 *a23*b12
3 2 2 2 2
- u1*u3*v1 *b12 + u1*u3*v1 *b12*n2 - u1*u3*v1*v2 *b12
2 2
+ u1*u3*v1*v2*(2*a23*m3 - b12*n1) - u1*u3*v1*v3 *b12
2 2 2
+ u1*u3*v1*(kap*m3 - n3 ) - u1*u3*v3 *b12*n2 - u1*u3*v3*n1*n3
2 3 2 3
+ u1*v1 *m3*n1 + u1*v1*v2*m3*n2 + u2 *u3*v2*b12 *kap - u2 *v2*a23*n2
2 2 2 2 2
+ u2 *u3 *v3*b12 *kap - 2*u2 *u3*v2*a23*n3 - u2 *u3*v3*a23*n2
2 2 3 2
+ u2 *v2*v3*b12*n1 - u2 *v2*n2*n3 + u2*u3 *v2*b12 *kap
2 2 2
+ 2*u2*u3 *v1*v2*a23*b12 - u2*u3 *v2*a23*n2 - 2*u2*u3 *v3*a23*n3
2 2 3 2
- u2*u3*v1 *v2*b12 + u2*u3*v1*v2*b12*n2 - u2*u3*v2 *b12
2 2 2
+ u2*u3*v2 *(2*a23*m3 - b12*n1) - u2*u3*v2*v3 *b12
2 2 2
+ u2*u3*v2*(kap*m3 - n3 ) + u2*u3*v3 *b12*n1 - u2*u3*v3*n2*n3
2 4 2 3
+ u2*v1*v2*m3*n1 + u2*v2 *m3*n2 + u3 *v3*b12 *kap + 2*u3 *v1*v3*a23*b12
3 2 2 2 2 2 2 2
- u3 *v3*a23*n2 - 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 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 2 2 3
FI=3*u1 *u3*a23 *b12 *kap + 3*u1 *a23*b12 *kap*n2 + 6*u1*u3*v3*a23*b12 *kap
2 2 2 2 2
- 3*u1*v3*a23 *b12*n2 + 3*u1*b12 *kap*n1*n3 + 3*u2 *u3*a23 *b12 *kap
2 2 2 2
+ 3*u2 *a23*b12 *kap*n2 + 6*u2*u3*a23*b12 *kap*n3 + 3*u2*v3*a23 *b12*n1
2 3 2 2 4 2
- 3*u2*a23 *n2*n3 + u3 *(2*a23 *b12 *kap - b12 *kap )
2 3 2 2 2 2 2
- 6*u3 *v1*a23*b12 *kap + 3*u3 *a23*b12 *kap*n2 - 3*u3*v1 *a23 *b12
2 2 2 2
+ 3*u3*v1*a23 *b12*n2 - 3*u3*v2 *a23 *b12
2 2 2 2 2
+ u3*v2*( - 3*a23 *b12*n1 - 6*a23*b12 *kap*m3) - 3*u3*v3 *a23 *b12
2 2 2 2 2 2
+ u3*( - 3*b12 *kap *m3 + 3*b12 *kap*n3 ) + 3*v1*a23 *m3*n1
2
+ 3*v2*a23 *m3*n2
which is not further factorizable.
{HAM,FI} = 0
And again in machine readable form:
HAM=u1*v2*b12 + u1*n1 + 2*u2*u3*a23 - u2*v1*b12 + u2*n2 + u3*n3 + v3*m3$
FI= - 180*u1**4*u3*a23**4*b12**6*kap**3 + 180*u1**4*a23**5*b12**4*kap**2*n2 +
360*u1**3*u3*v3*a23**5*b12**5*kap**2 + 180*u1**3*v3*a23**4*b12**5*kap**2*n2 +
180*u1**3*a23**4*b12**4*kap**2*n1*n3 - 360*u1**2*u2**2*u3*a23**4*b12**6*kap**3 +
u1**2*u2**2*(480*a23**7*b12**2*kap*n2 + 720*a23**5*b12**4*kap**2*n2 - 120*a23**
3*b12**6*kap**3*n2) + 360*u1**2*u2*u3*a23**5*b12**4*kap**2*n3 - 180*u1**2*u2*v3*
a23**4*b12**5*kap**2*n1 + 180*u1**2*u2*a23**4*b12**4*kap**2*n2*n3 - 360*u1**2*u3
**3*a23**4*b12**6*kap**3 - 360*u1**2*u3**2*v1*a23**5*b12**5*kap**2 + u1**2*u3**2
*(2400*a23**7*b12**2*kap*n2 + 2880*a23**5*b12**4*kap**2*n2 + 120*a23**3*b12**6*
kap**3*n2) - 180*u1**2*u3*v1*a23**4*b12**5*kap**2*n2 + u1**2*u3*v2*(180*a23**4*
b12**5*kap**2*n1 + 360*a23**3*b12**6*kap**3*m3) + u1**2*v1**2*( - 120*a23**5*b12
**4*kap*n2 - 120*a23**3*b12**6*kap**2*n2) - 180*u1**2*v1*a23**4*b12**4*kap**2*m3
*n1 + u1**2*v2*( - 360*a23**5*b12**3*kap*n1*n2 - 180*a23**4*b12**4*kap**2*m3*n2)
+ 180*u1**2*v3**2*a23**5*b12**4*kap*n2 + u1**2*( - 180*a23**5*b12**2*kap*n1**2*
n2 + 180*a23**5*b12**2*kap*n2**3 + 180*a23**3*b12**4*kap**3*m3**2*n2 + 60*a23**3
*b12**4*kap**2*n2**3 - 180*a23**3*b12**4*kap**2*n2*n3**2 - 120*a23*b12**6*kap**3
*n2**3) + 360*u1*u2**2*u3*v3*a23**5*b12**5*kap**2 + u1*u2**2*v3*(480*a23**6*b12
**3*kap*n2 + 660*a23**4*b12**5*kap**2*n2) + 180*u1*u2**2*a23**4*b12**4*kap**2*n1
*n3 + 720*u1*u2*u3*v2*a23**4*b12**5*kap**2*n2 + u1*u2*u3*(1200*a23**6*b12**2*kap
*n1*n2 + 2160*a23**4*b12**4*kap**2*n1*n2 + 240*a23**2*b12**6*kap**3*n1*n2) + u1*
u2*v1*v2*( - 240*a23**5*b12**4*kap*n2 - 240*a23**3*b12**6*kap**2*n2) + u1*u2*v1*
(360*a23**5*b12**3*kap*n1*n2 + 180*a23**4*b12**4*kap**2*m3*n2 + 180*a23**2*b12**
6*kap**3*m3*n2) - 360*u1*u2*v2*a23**5*b12**3*kap*n2**2 + u1*u2*( - 1560*a23**5*
b12**2*kap*n1*n2**2 - 180*a23**4*b12**3*kap**2*m3*n1**2 - 1080*a23**3*b12**4*kap
**2*n1*n2**2 - 180*a23**2*b12**5*kap**3*m3*n1**2 + 120*a23*b12**6*kap**3*n1*n2**
2) + 360*u1*u3**3*v3*a23**5*b12**5*kap**2 + u1*u3**2*v3*(1200*a23**6*b12**3*kap*
n2 + 1380*a23**4*b12**5*kap**2*n2) + 180*u1*u3**2*a23**4*b12**4*kap**2*n1*n3 +
360*u1*u3*v1**2*v3*a23**5*b12**5*kap + u1*u3*v1*v3*( - 600*a23**5*b12**4*kap*n2
- 240*a23**3*b12**6*kap**2*n2) + 360*u1*u3*v2**2*v3*a23**5*b12**5*kap + 360*u1*
u3*v2*a23**3*b12**5*kap**2*n2*n3 + 360*u1*u3*v3**3*a23**5*b12**5*kap + u1*u3*v3*
(360*a23**5*b12**3*kap*n2**2 + 360*a23**3*b12**5*kap**3*m3**2 + 120*a23**3*b12**
5*kap**2*n2**2 - 360*a23**3*b12**5*kap**2*n3**2 - 240*a23*b12**7*kap**3*n2**2) +
u1*u3*( - 600*a23**5*b12**2*kap*n1*n2*n3 - 240*a23**3*b12**4*kap**2*n1*n2*n3) +
180*u1*v1**2*v3*a23**4*b12**5*kap*n2 + 180*u1*v1**2*a23**4*b12**4*kap*n1*n3 -
360*u1*v1*a23**3*b12**4*kap**2*m3*n2*n3 + 180*u1*v2**2*v3*a23**4*b12**5*kap*n2 +
180*u1*v2**2*a23**4*b12**4*kap*n1*n3 - 360*u1*v2*v3*a23**5*b12**3*kap*m3*n2 +
180*u1*v3**3*a23**4*b12**5*kap*n2 + 180*u1*v3**2*a23**4*b12**4*kap*n1*n3 + u1*v3
*( - 360*a23**5*b12**2*kap*m3*n1*n2 - 180*a23**4*b12**3*kap**2*m3**2*n2 + 180*
a23**4*b12**3*kap*n2*n3**2) + u1*(480*a23**4*b12**2*kap*n1*n2**2*n3 + 180*a23**2
*b12**4*kap**3*m3**2*n1*n3 + 360*a23**2*b12**4*kap**2*n1*n2**2*n3 - 180*a23**2*
b12**4*kap**2*n1*n3**3 - 120*b12**6*kap**3*n1*n2**2*n3) - 180*u2**4*u3*a23**4*
b12**6*kap**3 + u2**4*(240*a23**7*b12**2*kap*n2 + 420*a23**5*b12**4*kap**2*n2) +
360*u2**3*u3*a23**5*b12**4*kap**2*n3 - 180*u2**3*v3*a23**4*b12**5*kap**2*n1 +
180*u2**3*a23**4*b12**4*kap**2*n2*n3 - 360*u2**2*u3**3*a23**4*b12**6*kap**3 -
360*u2**2*u3**2*v1*a23**5*b12**5*kap**2 + u2**2*u3**2*(1200*a23**7*b12**2*kap*n2
+ 2400*a23**5*b12**4*kap**2*n2 + 120*a23**3*b12**6*kap**3*n2) + u2**2*u3*v1*( -
480*a23**6*b12**3*kap*n2 - 1380*a23**4*b12**5*kap**2*n2) + u2**2*u3*v2*( - 360*
a23**5*b12**4*kap**2*m3 + 180*a23**4*b12**5*kap**2*n1) + u2**2*u3*( - 1560*a23**
6*b12**2*kap*n2**2 - 180*a23**5*b12**3*kap**2*m3*n1 - 840*a23**4*b12**4*kap**2*
n2**2 - 180*a23**3*b12**5*kap**3*m3*n1) + u2**2*v1*(360*a23**5*b12**3*kap*n2**2
- 180*a23**4*b12**4*kap**2*m3*n1) + u2**2*v2**2*( - 120*a23**5*b12**4*kap*n2 -
120*a23**3*b12**6*kap**2*n2) - 180*u2**2*v2*a23**4*b12**4*kap**2*m3*n2 + 180*u2
**2*v3**2*a23**5*b12**4*kap*n2 + u2**2*( - 480*a23**5*b12**2*kap*n1**2*n2 - 210*
a23**5*b12**2*kap*n2**3 - 45*a23**4*b12**3*kap**2*m3*n1*n2 + 225*a23**3*b12**4*
kap**3*m3**2*n2 - 540*a23**3*b12**4*kap**2*n1**2*n2 - 150*a23**3*b12**4*kap**2*
n2**3 - 180*a23**3*b12**4*kap**2*n2*n3**2 - 45*a23**2*b12**5*kap**3*m3*n1*n2 +
45*a23*b12**6*kap**4*m3**2*n2 - 60*a23*b12**6*kap**3*n1**2*n2 - 120*a23*b12**6*
kap**3*n2**3) + 360*u2*u3**3*a23**5*b12**4*kap**2*n3 - 180*u2*u3**2*v3*a23**4*
b12**5*kap**2*n1 + u2*u3**2*( - 1200*a23**6*b12**2*kap*n2*n3 - 300*a23**4*b12**4
*kap**2*n2*n3) + 360*u2*u3*v1**2*a23**5*b12**4*kap*n3 - 360*u2*u3*v1*a23**3*b12
**5*kap**2*n2*n3 + 360*u2*u3*v2**2*a23**5*b12**4*kap*n3 + u2*u3*v2*v3*( - 600*
a23**5*b12**4*kap*n2 - 240*a23**3*b12**6*kap**2*n2) + 360*u2*u3*v3**2*a23**5*b12
**4*kap*n3 + u2*u3*v3*( - 720*a23**6*b12**2*kap*m3*n2 - 240*a23**5*b12**3*kap*n1
*n2 - 240*a23**3*b12**5*kap**2*n1*n2) + u2*u3*(360*a23**5*b12**2*kap*n2**2*n3 +
360*a23**3*b12**4*kap**3*m3**2*n3 + 480*a23**3*b12**4*kap**2*n2**2*n3 - 360*a23
**3*b12**4*kap**2*n3**3 - 240*a23*b12**6*kap**3*n2**2*n3) - 180*u2*v1**2*v3*a23
**4*b12**5*kap*n1 + 180*u2*v1**2*a23**4*b12**4*kap*n2*n3 + 360*u2*v1*v3*a23**5*
b12**3*kap*m3*n2 - 180*u2*v2**2*v3*a23**4*b12**5*kap*n1 + 180*u2*v2**2*a23**4*
b12**4*kap*n2*n3 - 360*u2*v2*a23**3*b12**4*kap**2*m3*n2*n3 - 180*u2*v3**3*a23**4
*b12**5*kap*n1 + 180*u2*v3**2*a23**4*b12**4*kap*n2*n3 + u2*v3*(1560*a23**6*b12*
n1*n2**2 + 180*a23**5*b12**2*kap*m3*n1**2 - 360*a23**5*b12**2*kap*m3*n2**2 + 180
*a23**4*b12**3*kap**2*m3**2*n1 + 1320*a23**4*b12**3*kap*n1*n2**2 - 180*a23**4*
b12**3*kap*n1*n3**2 + 180*a23**3*b12**4*kap**2*m3*n1**2 - 240*a23**2*b12**5*kap
**2*n1*n2**2) + u2*(840*a23**5*b12*kap*m3*n1*n2*n3 - 180*a23**4*b12**2*kap**2*m3
**2*n2*n3 + 180*a23**4*b12**2*kap*n2*n3**3 + 840*a23**3*b12**3*kap**2*m3*n1*n2*
n3) - 180*u3**5*a23**4*b12**6*kap**3 - 360*u3**4*v1*a23**5*b12**5*kap**2 + u3**4
*(1200*a23**7*b12**2*kap*n2 + 1290*a23**5*b12**4*kap**2*n2 - 90*a23**3*b12**6*
kap**3*n2) + u3**3*v1*( - 1200*a23**6*b12**3*kap*n2 - 1380*a23**4*b12**5*kap**2*
n2) + u3**3*v2*( - 360*a23**5*b12**4*kap**2*m3 + 180*a23**4*b12**5*kap**2*n1) +
u3**3*( - 60*a23**4*b12**4*kap**3*m3**2 + 40*a23**4*b12**4*kap**2*n2**2 + 60*a23
**4*b12**4*kap**2*n3**2 - 60*a23**2*b12**6*kap**4*m3**2 + 80*a23**2*b12**6*kap**
3*n2**2 + 60*a23**2*b12**6*kap**3*n3**2 + 40*b12**8*kap**4*n2**2) - 360*u3**2*v1
**3*a23**5*b12**5*kap + u3**2*v1**2*(300*a23**5*b12**4*kap*n2 + 120*a23**3*b12**
6*kap**2*n2) - 360*u3**2*v1*v2**2*a23**5*b12**5*kap - 360*u3**2*v1*v3**2*a23**5*
b12**5*kap + u3**2*v1*( - 360*a23**5*b12**3*kap*n2**2 - 180*a23**4*b12**4*kap**2
*m3*n1 - 360*a23**3*b12**5*kap**3*m3**2 - 120*a23**3*b12**5*kap**2*n2**2 + 360*
a23**3*b12**5*kap**2*n3**2 + 240*a23*b12**7*kap**3*n2**2) + u3**2*v2**2*(300*a23
**5*b12**4*kap*n2 + 120*a23**3*b12**6*kap**2*n2) + u3**2*v2*( - 1200*a23**6*b12
**2*kap*m3*n2 + 240*a23**5*b12**3*kap*n1*n2 - 1380*a23**4*b12**4*kap**2*m3*n2 +
240*a23**3*b12**5*kap**2*n1*n2) + u3**2*(120*a23**5*b12**2*kap*n1**2*n2 + 90*a23
**5*b12**2*kap*n2**3 + 45*a23**4*b12**3*kap**2*m3*n1*n2 + 390*a23**3*b12**4*kap
**3*m3**2*n2 + 120*a23**3*b12**4*kap**2*n1**2*n2 + 33*a23**3*b12**4*kap**2*n2**3
+ 45*a23**2*b12**5*kap**3*m3*n1*n2 + 210*a23*b12**6*kap**4*m3**2*n2 - 57*a23*
b12**6*kap**3*n2**3) + 180*u3*v1**4*a23**4*b12**6*kap - 180*u3*v1**3*a23**4*b12
**5*kap*n2 + 360*u3*v1**2*v2**2*a23**4*b12**6*kap + u3*v1**2*v2*( - 360*a23**5*
b12**4*kap*m3 + 180*a23**4*b12**5*kap*n1) + 360*u3*v1**2*v3**2*a23**4*b12**6*kap
+ u3*v1**2*( - 1560*a23**6*b12**2*n2**2 - 180*a23**5*b12**3*kap*m3*n1 - 360*a23
**4*b12**4*kap**2*m3**2 - 1320*a23**4*b12**4*kap*n2**2 + 360*a23**4*b12**4*kap*
n3**2 - 180*a23**3*b12**5*kap**2*m3*n1 + 240*a23**2*b12**6*kap**2*n2**2) - 180*
u3*v1*v2**2*a23**4*b12**5*kap*n2 - 180*u3*v1*v3**2*a23**4*b12**5*kap*n2 + u3*v1*
( - 240*a23**5*b12**2*kap*m3*n1*n2 + 180*a23**4*b12**3*kap**2*m3**2*n2 - 180*a23
**4*b12**3*kap*n2*n3**2 - 240*a23**3*b12**4*kap**2*m3*n1*n2) + 180*u3*v2**4*a23
**4*b12**6*kap + u3*v2**3*( - 360*a23**5*b12**4*kap*m3 + 180*a23**4*b12**5*kap*
n1) + 360*u3*v2**2*v3**2*a23**4*b12**6*kap + u3*v2**2*( - 1560*a23**6*b12**2*n2
**2 - 180*a23**5*b12**3*kap*m3*n1 - 360*a23**4*b12**4*kap**2*m3**2 - 1320*a23**4
*b12**4*kap*n2**2 + 360*a23**4*b12**4*kap*n3**2 - 180*a23**3*b12**5*kap**2*m3*n1
+ 240*a23**2*b12**6*kap**2*n2**2) + u3*v2*v3**2*( - 360*a23**5*b12**4*kap*m3 +
180*a23**4*b12**5*kap*n1) + u3*v2*( - 1560*a23**6*b12*n1*n2**2 - 180*a23**5*b12
**2*kap*m3*n1**2 - 360*a23**5*b12**2*kap*m3*n2**2 - 180*a23**4*b12**3*kap**2*m3
**2*n1 - 1320*a23**4*b12**3*kap*n1*n2**2 + 180*a23**4*b12**3*kap*n1*n3**2 - 360*
a23**3*b12**4*kap**3*m3**3 - 180*a23**3*b12**4*kap**2*m3*n1**2 - 120*a23**3*b12
**4*kap**2*m3*n2**2 + 360*a23**3*b12**4*kap**2*m3*n3**2 + 240*a23**2*b12**5*kap
**2*n1*n2**2 + 240*a23*b12**6*kap**3*m3*n2**2) + 180*u3*v3**4*a23**4*b12**6*kap
+ u3*v3**2*( - 1560*a23**6*b12**2*n2**2 - 180*a23**5*b12**3*kap*m3*n1 - 360*a23
**4*b12**4*kap**2*m3**2 - 1320*a23**4*b12**4*kap*n2**2 + 360*a23**4*b12**4*kap*
n3**2 - 180*a23**3*b12**5*kap**2*m3*n1 + 240*a23**2*b12**6*kap**2*n2**2) + u3*(
- 180*a23**4*b12**2*kap**2*m3**2*n2**2 + 480*a23**4*b12**2*kap*n1**2*n2**2 + 90*
a23**4*b12**2*kap*n2**4 + 180*a23**4*b12**2*kap*n2**2*n3**2 + 90*a23**3*b12**3*
kap**2*m3*n1**3 - 45*a23**3*b12**3*kap**2*m3*n1*n2**2 - 180*a23**2*b12**4*kap**4
*m3**4 - 270*a23**2*b12**4*kap**3*m3**2*n2**2 + 360*a23**2*b12**4*kap**3*m3**2*
n3**2 + 420*a23**2*b12**4*kap**2*n1**2*n2**2 + 27*a23**2*b12**4*kap**2*n2**4 +
60*a23**2*b12**4*kap**2*n2**2*n3**2 - 180*a23**2*b12**4*kap**2*n3**4 + 90*a23*
b12**5*kap**3*m3*n1**3 - 45*a23*b12**5*kap**3*m3*n1*n2**2 - 90*b12**6*kap**4*m3
**2*n2**2 - 60*b12**6*kap**3*n1**2*n2**2 - 63*b12**6*kap**3*n2**4 - 120*b12**6*
kap**3*n2**2*n3**2) - 180*v1**3*a23**4*b12**4*kap*m3*n1 - 180*v1**2*v2*a23**4*
b12**4*kap*m3*n2 - 180*v1*v2**2*a23**4*b12**4*kap*m3*n1 - 180*v1*v3**2*a23**4*
b12**4*kap*m3*n1 + v1*(1560*a23**6*m3*n1*n2**2 + 180*a23**5*b12*kap*m3**2*n1**2
+ 180*a23**4*b12**2*kap**2*m3**3*n1 + 1320*a23**4*b12**2*kap*m3*n1*n2**2 - 180*
a23**4*b12**2*kap*m3*n1*n3**2 + 180*a23**3*b12**3*kap**2*m3**2*n1**2 - 240*a23**
2*b12**4*kap**2*m3*n1*n2**2) - 180*v2**3*a23**4*b12**4*kap*m3*n2 - 180*v2*v3**2*
a23**4*b12**4*kap*m3*n2 + v2*(180*a23**4*b12**2*kap**2*m3**3*n2 - 180*a23**4*b12
**2*kap*m3*n2*n3**2) - 180*v3**2*a23**5*b12**2*kap*m3**2*n2 + v3*( - 960*a23**5*
b12*n1*n2**2*n3 - 180*a23**4*b12**2*kap*m3*n1**2*n3 - 840*a23**3*b12**3*kap*n1*
n2**2*n3 - 180*a23**2*b12**4*kap**2*m3*n1**2*n3 + 120*a23*b12**5*kap**2*n1*n2**2
*n3)$
FI=360*u1**3*u3*v2*a23**3*b12**7*kap**3 + 360*u1**3*u3*a23**3*b12**6*kap**3*n1 +
360*u1**3*v1*a23**3*b12**6*kap**3*m3 - 360*u1**3*v2*a23**4*b12**5*kap**2*n2 +
u1**3*( - 120*a23**3*b12**5*kap**3*m3*n2 + 360*a23**2*b12**6*kap**3*n1*n2 - 120*
a23*b12**7*kap**4*m3*n2) + 720*u1**2*u2*u3**2*a23**4*b12**6*kap**3 - 360*u1**2*
u2*u3*v1*a23**3*b12**7*kap**3 + 1080*u1**2*u2*u3*a23**3*b12**6*kap**3*n2 + 360*
u1**2*u2*v1*a23**4*b12**5*kap**2*n2 + u1**2*u2*v2*( - 720*a23**5*b12**4*kap**2*
m3 - 360*a23**3*b12**6*kap**3*m3) - 360*u1**2*u2*a23**4*b12**4*kap**2*n2**2 + u1
**2*u3**2*(1920*a23**7*b12**2*kap*n3 + 1440*a23**5*b12**4*kap**2*n3 - 120*a23**3
*b12**6*kap**3*n3) - 720*u1**2*u3*v2*v3*a23**4*b12**6*kap**2 + u1**2*u3*v3*( -
720*a23**5*b12**4*kap**2*m3 - 720*a23**4*b12**5*kap**2*n1) + u1**2*v1**2*( - 240
*a23**5*b12**4*kap*n3 + 120*a23**3*b12**6*kap**2*n3) - 360*u1**2*v2*v3*a23**3*
b12**6*kap**2*n2 - 360*u1**2*v2*a23**3*b12**5*kap**2*n1*n3 + u1**2*v3*( - 360*
a23**4*b12**4*kap**2*m3*n2 - 360*a23**3*b12**5*kap**2*n1*n2) + u1**2*( - 360*a23
**3*b12**4*kap**2*n1**2*n3 + 300*a23**3*b12**4*kap**2*n2**2*n3 - 60*a23*b12**6*
kap**3*n2**2*n3) + 360*u1*u2**2*u3*v2*a23**3*b12**7*kap**3 + u1*u2**2*u3*(720*
a23**4*b12**5*kap**3*m3 + 360*a23**3*b12**6*kap**3*n1 + 720*a23**2*b12**7*kap**4
*m3) + 360*u1*u2**2*v1*a23**3*b12**6*kap**3*m3 - 360*u1*u2**2*v2*a23**4*b12**5*
kap**2*n2 + 360*u1*u2**2*a23**2*b12**6*kap**3*n1*n2 - 1440*u1*u2*u3**2*v3*a23**5
*b12**5*kap**2 + 720*u1*u2*u3*v1*v3*a23**4*b12**6*kap**2 - 720*u1*u2*u3*v2*a23**
4*b12**5*kap**2*n3 - 1440*u1*u2*u3*v3*a23**4*b12**5*kap**2*n2 + u1*u2*u3*(960*
a23**6*b12**2*kap*n1*n3 + 480*a23**2*b12**6*kap**3*n1*n3) + u1*u2*v1*v2*( - 480*
a23**5*b12**4*kap*n3 + 240*a23**3*b12**6*kap**2*n3) + 360*u1*u2*v1*v3*a23**3*b12
**6*kap**2*n2 + 360*u1*u2*v1*a23**3*b12**5*kap**2*n1*n3 + 360*u1*u2*v2*v3*a23**3
*b12**6*kap**2*n1 - 360*u1*u2*v2*a23**3*b12**5*kap**2*n2*n3 + u1*u2*v3*(360*a23
**3*b12**5*kap**2*n1**2 - 360*a23**3*b12**5*kap**2*n2**2) + u1*u2*( - 960*a23**5
*b12**2*kap*n1*n2*n3 - 1800*a23**3*b12**4*kap**2*n1*n2*n3 - 120*a23*b12**6*kap**
3*n1*n2*n3) + 360*u1*u3**3*v2*a23**3*b12**7*kap**3 + 360*u1*u3**3*a23**3*b12**6*
kap**3*n1 + 720*u1*u3**2*v1*v2*a23**4*b12**6*kap**2 + u1*u3**2*v1*( - 720*a23**5
*b12**4*kap**2*m3 + 720*a23**4*b12**5*kap**2*n1 - 360*a23**3*b12**6*kap**3*m3) +
360*u1*u3**2*v2*a23**2*b12**7*kap**3*n2 + u1*u3**2*v3*(960*a23**6*b12**3*kap*n3
+ 240*a23**4*b12**5*kap**2*n3) + 360*u1*u3**2*a23**2*b12**6*kap**3*n1*n2 - 360*
u1*u3*v1**2*v2*a23**3*b12**7*kap**2 - 360*u1*u3*v1**2*a23**3*b12**6*kap**2*n1 +
360*u1*u3*v1*v2*a23**3*b12**6*kap**2*n2 + u1*u3*v1*v3*( - 480*a23**5*b12**4*kap*
n3 + 240*a23**3*b12**6*kap**2*n3) + u1*u3*v1*( - 720*a23**4*b12**4*kap**2*m3*n2
+ 360*a23**3*b12**5*kap**2*n1*n2 - 720*a23**2*b12**6*kap**3*m3*n2) - 360*u1*u3*
v2**3*a23**3*b12**7*kap**2 + u1*u3*v2**2*( - 720*a23**3*b12**6*kap**2*n1 - 720*
a23**2*b12**7*kap**3*m3) - 360*u1*u3*v2*v3**2*a23**3*b12**7*kap**2 + u1*u3*v2*(
- 360*a23**3*b12**5*kap**2*n1**2 - 360*a23**3*b12**5*kap**2*n3**2 - 720*a23**2*
b12**6*kap**3*m3*n1 - 360*a23*b12**7*kap**4*m3**2) + u1*u3*v3**2*( - 720*a23**4*
b12**5*kap**2*m3 - 360*a23**3*b12**6*kap**2*n1) + u1*u3*v3*(240*a23**3*b12**5*
kap**2*n2*n3 - 120*a23*b12**7*kap**3*n2*n3) + u1*u3*( - 480*a23**5*b12**2*kap*n1
*n3**2 - 180*a23**3*b12**4*kap**2*n1*n2**2 - 1200*a23**3*b12**4*kap**2*n1*n3**2
- 360*a23*b12**6*kap**4*m3**2*n1 - 180*a23*b12**6*kap**3*n1*n2**2) + 360*u1*v1**
3*a23**3*b12**6*kap**2*m3 + 360*u1*v1*v2**2*a23**3*b12**6*kap**2*m3 + 360*u1*v1*
v2*a23**3*b12**5*kap**2*m3*n1 + 360*u1*v1*v3**2*a23**3*b12**6*kap**2*m3 + u1*v1*
(720*a23**4*b12**3*kap**2*m3**2*n1 + 360*a23**3*b12**4*kap**2*m3*n1**2 + 360*a23
**3*b12**4*kap**2*m3*n3**2 + 720*a23**2*b12**5*kap**3*m3**2*n1 + 360*a23*b12**6*
kap**4*m3**3) + 360*u1*v2**2*a23**3*b12**5*kap**2*m3*n2 - 360*u1*v3**2*a23**3*
b12**5*kap**2*m3*n2 + u1*v3*( - 360*a23**4*b12**3*kap*n2**2*n3 - 360*a23**3*b12
**4*kap**2*m3*n1*n3) + u1*(240*a23**4*b12**2*kap*n1*n2*n3**2 + 90*a23**2*b12**4*
kap**2*n1*n2**3 + 540*a23**2*b12**4*kap**2*n1*n2*n3**2 + 360*a23*b12**5*kap**3*
m3*n1**2*n2 + 90*b12**6*kap**3*n1*n2**3 - 60*b12**6*kap**3*n1*n2*n3**2) + 720*u2
**3*u3**2*a23**4*b12**6*kap**3 - 360*u2**3*u3*v1*a23**3*b12**7*kap**3 + 1080*u2
**3*u3*a23**3*b12**6*kap**3*n2 + 360*u2**3*v1*a23**4*b12**5*kap**2*n2 + 360*u2**
3*v2*a23**3*b12**6*kap**3*m3 - 360*u2**3*a23**4*b12**4*kap**2*n2**2 + u2**2*u3**
2*(960*a23**7*b12**2*kap*n3 - 960*a23**5*b12**4*kap**2*n3 - 120*a23**3*b12**6*
kap**3*n3) + 720*u2**2*u3*v1*a23**4*b12**5*kap**2*n3 + u2**2*u3*v3*( - 720*a23**
5*b12**4*kap**2*m3 + 720*a23**4*b12**5*kap**2*n1) + u2**2*u3*( - 960*a23**6*b12
**2*kap*n2*n3 - 2400*a23**4*b12**4*kap**2*n2*n3) - 360*u2**2*v1*v3*a23**3*b12**6
*kap**2*n1 + 360*u2**2*v1*a23**3*b12**5*kap**2*n2*n3 + u2**2*v2**2*( - 240*a23**
5*b12**4*kap*n3 + 120*a23**3*b12**6*kap**2*n3) + u2**2*v3*( - 360*a23**4*b12**4*
kap**2*m3*n2 + 360*a23**3*b12**5*kap**2*n1*n2) + u2**2*( - 240*a23**5*b12**2*kap
*n1**2*n3 - 240*a23**5*b12**2*kap*n2**2*n3 - 360*a23**3*b12**4*kap**2*n1**2*n3 -
300*a23**3*b12**4*kap**2*n2**2*n3 - 120*a23*b12**6*kap**3*n1**2*n3 - 60*a23*b12
**6*kap**3*n2**2*n3) + 720*u2*u3**4*a23**4*b12**6*kap**3 + u2*u3**3*v1*(1440*a23
**5*b12**5*kap**2 - 360*a23**3*b12**7*kap**3) + 1080*u2*u3**3*a23**3*b12**6*kap
**3*n2 - 1440*u2*u3**2*v1**2*a23**4*b12**6*kap**2 + u2*u3**2*v1*(1440*a23**4*b12
**5*kap**2*n2 - 360*a23**2*b12**7*kap**3*n2) - 720*u2*u3**2*v2**2*a23**4*b12**6*
kap**2 + u2*u3**2*v2*( - 720*a23**5*b12**4*kap**2*m3 - 720*a23**4*b12**5*kap**2*
n1 - 1800*a23**3*b12**6*kap**3*m3) - 720*u2*u3**2*v3**2*a23**4*b12**6*kap**2 +
u2*u3**2*( - 960*a23**6*b12**2*kap*n3**2 - 360*a23**4*b12**4*kap**2*n2**2 - 2400
*a23**4*b12**4*kap**2*n3**2 - 720*a23**2*b12**6*kap**4*m3**2) + 360*u2*u3*v1**3*
a23**3*b12**7*kap**2 - 720*u2*u3*v1**2*a23**3*b12**6*kap**2*n2 + 360*u2*u3*v1*v2
**2*a23**3*b12**7*kap**2 + u2*u3*v1*v2*( - 720*a23**4*b12**5*kap**2*m3 + 360*a23
**3*b12**6*kap**2*n1) + 360*u2*u3*v1*v3**2*a23**3*b12**7*kap**2 + u2*u3*v1*(1440
*a23**4*b12**4*kap**2*m3*n1 + 360*a23**3*b12**5*kap**2*n2**2 + 360*a23**3*b12**5
*kap**2*n3**2 + 720*a23**2*b12**6*kap**3*m3*n1 + 360*a23*b12**7*kap**4*m3**2) -
360*u2*u3*v2**2*a23**3*b12**6*kap**2*n2 + u2*u3*v2*v3*( - 480*a23**5*b12**4*kap*
n3 + 240*a23**3*b12**6*kap**2*n3) + u2*u3*v2*( - 720*a23**4*b12**4*kap**2*m3*n2
- 360*a23**3*b12**5*kap**2*n1*n2 - 2160*a23**2*b12**6*kap**3*m3*n2) - 360*u2*u3*
v3**2*a23**3*b12**6*kap**2*n2 + u2*u3*v3*( - 480*a23**5*b12**3*kap*n1*n3 - 720*
a23**4*b12**4*kap**2*m3*n3 - 120*a23**3*b12**5*kap**2*n1*n3) + u2*u3*( - 120*a23
**3*b12**4*kap**2*n2*n3**2 + 720*a23**2*b12**5*kap**3*m3*n1*n2 - 360*a23*b12**6*
kap**4*m3**2*n2 - 120*a23*b12**6*kap**3*n2*n3**2) + 360*u2*v1**2*v2*a23**3*b12**
6*kap**2*m3 - 360*u2*v1**2*a23**3*b12**5*kap**2*m3*n1 - 360*u2*v1*v2*a23**3*b12
**5*kap**2*m3*n2 - 720*u2*v1*a23*b12**6*kap**3*m3*n1*n2 + 360*u2*v2**3*a23**3*
b12**6*kap**2*m3 + u2*v2**2*(720*a23**4*b12**4*kap**2*m3**2 + 720*a23**2*b12**6*
kap**3*m3**2) + 360*u2*v2*v3**2*a23**3*b12**6*kap**2*m3 + u2*v2*(360*a23**3*b12
**4*kap**2*m3*n2**2 + 360*a23**3*b12**4*kap**2*m3*n3**2 + 360*a23*b12**6*kap**4*
m3**3) + 360*u2*v3**2*a23**3*b12**5*kap**2*m3*n1 + u2*v3*(960*a23**6*b12*n1*n2*
n3 + 1200*a23**4*b12**3*kap*n1*n2*n3 - 360*a23**3*b12**4*kap**2*m3*n2*n3 - 120*
a23**2*b12**5*kap**2*n1*n2*n3) + u2*(960*a23**5*b12*kap*m3*n1*n3**2 - 360*a23**4
*b12**2*kap*n2**2*n3**2 - 180*a23**3*b12**3*kap**2*m3*n1*n2**2 + 960*a23**3*b12
**3*kap**2*m3*n1*n3**2 + 180*a23*b12**5*kap**3*m3*n1*n2**2) + u3**4*(960*a23**7*
b12**2*kap*n3 + 600*a23**5*b12**4*kap**2*n3) + u3**3*v1*( - 960*a23**6*b12**3*
kap*n3 - 240*a23**4*b12**5*kap**2*n3) - 720*u3**3*v3*a23**5*b12**4*kap**2*m3 +
u3**3*(80*a23**4*b12**4*kap**2*n2*n3 + 100*a23**2*b12**6*kap**3*n2*n3 + 20*b12**
8*kap**4*n2*n3) + u3**2*v1**2*(240*a23**5*b12**4*kap*n3 - 120*a23**3*b12**6*kap
**2*n3) + 720*u3**2*v1*v3*a23**4*b12**5*kap**2*m3 + u3**2*v1*( - 240*a23**3*b12
**5*kap**2*n2*n3 + 120*a23*b12**7*kap**3*n2*n3) + u3**2*v2**2*(240*a23**5*b12**4
*kap*n3 - 120*a23**3*b12**6*kap**2*n3) + u3**2*v2*( - 960*a23**6*b12**2*kap*m3*
n3 + 480*a23**5*b12**3*kap*n1*n3 - 240*a23**4*b12**4*kap**2*m3*n3 + 120*a23**3*
b12**5*kap**2*n1*n3) + u3**2*v3*( - 1440*a23**4*b12**4*kap**2*m3*n2 - 1080*a23**
2*b12**6*kap**3*m3*n2) + u3**2*(240*a23**5*b12**2*kap*n1**2*n3 - 144*a23**5*b12
**2*kap*n2**2*n3 + 60*a23**3*b12**4*kap**3*m3**2*n3 - 120*a23**3*b12**4*kap**2*
n1**2*n3 + 93*a23**3*b12**4*kap**2*n2**2*n3 - 360*a23**3*b12**4*kap**2*n3**3 -
300*a23*b12**6*kap**4*m3**2*n3 - 360*a23*b12**6*kap**3*n1**2*n3 - 123*a23*b12**6
*kap**3*n2**2*n3) + u3*v1**2*( - 960*a23**6*b12**2*n2*n3 - 1200*a23**4*b12**4*
kap*n2*n3 + 120*a23**2*b12**6*kap**2*n2*n3) + 360*u3*v1*v3*a23**3*b12**5*kap**2*
m3*n2 + u3*v1*( - 480*a23**5*b12**2*kap*m3*n1*n3 + 360*a23**4*b12**3*kap*n2**2*
n3 - 120*a23**3*b12**4*kap**2*m3*n1*n3) + u3*v2**2*( - 960*a23**6*b12**2*n2*n3 -
1200*a23**4*b12**4*kap*n2*n3 + 120*a23**2*b12**6*kap**2*n2*n3) + u3*v2*v3*(720*
a23**4*b12**4*kap**2*m3**2 - 360*a23**3*b12**5*kap**2*m3*n1) + u3*v2*( - 960*a23
**6*b12*n1*n2*n3 - 1200*a23**4*b12**3*kap*n1*n2*n3 - 240*a23**3*b12**4*kap**2*m3
*n2*n3 + 120*a23**2*b12**5*kap**2*n1*n2*n3 + 120*a23*b12**6*kap**3*m3*n2*n3) +
u3*v3**2*( - 960*a23**6*b12**2*n2*n3 - 1200*a23**4*b12**4*kap*n2*n3 + 120*a23**2
*b12**6*kap**2*n2*n3) + u3*(240*a23**4*b12**2*kap*n1**2*n2*n3 + 144*a23**4*b12**
2*kap*n2**3*n3 - 180*a23**2*b12**4*kap**3*m3**2*n2*n3 + 660*a23**2*b12**4*kap**2
*n1**2*n2*n3 + 207*a23**2*b12**4*kap**2*n2**3*n3 + 300*a23**2*b12**4*kap**2*n2*
n3**3 + 360*a23*b12**5*kap**3*m3*n1*n2*n3 + 180*b12**6*kap**4*m3**2*n2*n3 + 420*
b12**6*kap**3*n1**2*n2*n3 + 63*b12**6*kap**3*n2**3*n3 - 60*b12**6*kap**3*n2*n3**
3) + 360*v1*v3*a23**3*b12**4*kap**2*m3**2*n1 + v1*(960*a23**6*m3*n1*n2*n3 + 1200
*a23**4*b12**2*kap*m3*n1*n2*n3 - 120*a23**2*b12**4*kap**2*m3*n1*n2*n3) + 360*v2*
v3*a23**3*b12**4*kap**2*m3**2*n2 + 360*v2*a23**4*b12**2*kap*m3*n2**2*n3 + v3*( -
480*a23**5*b12*n1*n2*n3**2 + 180*a23**3*b12**3*kap*n1*n2**3 - 600*a23**3*b12**3
*kap*n1*n2*n3**2 + 360*a23*b12**5*kap**3*m3**2*n1*n2 + 180*a23*b12**5*kap**2*n1*
n2**3 - 120*a23*b12**5*kap**2*n1*n2*n3**2)$
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*v3*a23*b12 - u1**2*u3*
v3*a23*n2 - 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*a23*n3 - 2*u1*u2*u3*v2*v3*a23*b12 + 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*a23*n2 - 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 + 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*v2*
a23*n3 - u2**2*u3*v3*a23*n2 + 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 - u2*u3**2*v2*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 + 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*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=3*u1**2*u3*a23**2*b12**2*kap + 3*u1**2*a23*b12**2*kap*n2 + 6*u1*u3*v3*a23*b12
**3*kap - 3*u1*v3*a23**2*b12*n2 + 3*u1*b12**2*kap*n1*n3 + 3*u2**2*u3*a23**2*b12
**2*kap + 3*u2**2*a23*b12**2*kap*n2 + 6*u2*u3*a23*b12**2*kap*n3 + 3*u2*v3*a23**2
*b12*n1 - 3*u2*a23**2*n2*n3 + u3**3*(2*a23**2*b12**2*kap - b12**4*kap**2) - 6*u3
**2*v1*a23*b12**3*kap + 3*u3**2*a23*b12**2*kap*n2 - 3*u3*v1**2*a23**2*b12**2 + 3
*u3*v1*a23**2*b12*n2 - 3*u3*v2**2*a23**2*b12**2 + u3*v2*( - 3*a23**2*b12*n1 - 6*
a23*b12**2*kap*m3) - 3*u3*v3**2*a23**2*b12**2 + u3*( - 3*b12**2*kap**2*m3**2 + 3
*b12**2*kap*n3**2) + 3*v1*a23**2*m3*n1 + 3*v2*a23**2*m3*n2$