Solution 23 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2
0=a11 + b12 *kap
Expressions
The solution is given through the following expressions:
4 4 4 4 3 2
r10=( - a11 *n1*n2 *r5176 - ----*a11 *n2 *n3 *r5106
45
4 2 2 3 2 4 2 4 3 5
- ----*a11 *b12 *kap*n2 *n3 *r5106 + b12 *kap *n1*n2 *r5176)/(a11 *b12
45
2
*kap *n1)
r11=0
r12=0
544 2 2 2 2 8 2 2 4
r13=(------*a11 *n1 *n2 *n3 *r5106 - ----*a11 *n1 *n3 *r5106
3783 45
1 2 4 2 4 2 2
- ----*a11 *n2 *n3 *r5106 - b12 *kap*n1 *n3 *r353
36
544 2 2 2 2 29 2 2 4
+ ------*b12 *kap*n1 *n2 *n3 *r5106 + ----*b12 *kap*n1 *n3 *r5106
3783 90
1 2 4 2 6 2 2
- ----*b12 *kap*n2 *n3 *r5106)/(b12 *kap *n1 )
36
8 8 4 6 4 2
r14=(----*a11 *n2*n3 *r5106 + 3*a11 *b12 *kap*n2*n3 *r353
15
6 2 4 1 6 2 2 3
- a11 *b12 *kap*n1 *n2*r5106 + ---*a11 *b12 *kap*n1 *n2 *r5106
3
67217 6 2 2 2
+ -------*a11 *b12 *kap*n1 *n2*n3 *r5106
1080
3959 6 2 3 2 13 6 2 4
- ------*a11 *b12 *kap*n2 *n3 *r5106 - ----*a11 *b12 *kap*n2*n3 *r5106
576 45
4 6 2 2 4 6 2 2
+ 6*a11 *b12 *kap *n1 *n2*r353 + 2*a11 *b12 *kap *n2*n3 *r353
4 4 2 3 2 1 4 4 2 2 3
- a11 *b12 *kap *n1 *n3 *r5176 - ---*a11 *b12 *kap *n1 *n2 *r5106
6
65939 4 4 2 2 2 4 4 2 4
+ -------*a11 *b12 *kap *n1 *n2*n3 *r5106 + 3*a11 *b12 *kap *n1*n2 *r5176
1080
4 4 2 2 2 17507 4 4 2 3 2
+ a11 *b12 *kap *n1*n2 *n3 *r5176 - -------*a11 *b12 *kap *n2 *n3 *r5106
2880
13 4 4 2 4 2 8 3 2
- ----*a11 *b12 *kap *n2*n3 *r5106 + 6*a11 *b12 *kap *n1 *n2*r353
90
2 6 3 4 2 6 3 3 2
+ a11 *b12 *kap *n1 *n2*r5106 - a11 *b12 *kap *n1 *n3 *r5176
1 2 6 3 2 3 71 2 6 3 2 2
- ---*a11 *b12 *kap *n1 *n2 *r5106 - ----*a11 *b12 *kap *n1 *n2*n3 *r5106
2 60
2 6 3 2 2 143 2 6 3 3 2
+ a11 *b12 *kap *n1*n2 *n3 *r5176 + -----*a11 *b12 *kap *n2 *n3 *r5106
180
8 2 6 3 4 8 4 4 4 8
+ ----*a11 *b12 *kap *n2*n3 *r5106 - 3*b12 *kap *n1*n2 *r5176)/(a11 *b12
45
3
*kap *n3)
1 2 2 8 2 3 4
r15=( - ----*a11 *n1*n2 *n3*r5106 - ----*a11 *n1*n3 *r5106 - b12 *kap*n1*n3*r353
36 45
1 2 2 29 2 3 6 2
- ----*b12 *kap*n1*n2 *n3*r5106 + ----*b12 *kap*n1*n3 *r5106)/(b12 *kap )
36 90
r20=0
r21=0
r22=0
r23=0
r24=0
1 2 2 8 2 2 4
r27=( - ----*a11 *n1*n2 *r5106 - ----*a11 *n1*n3 *r5106 - b12 *kap*n1*r353
36 45
1 2 2 29 2 2 5 2
- ----*b12 *kap*n1*n2 *r5106 + ----*b12 *kap*n1*n3 *r5106)/(b12 *kap )
36 90
8 6 2 4 4
r28=( - ----*a11 *n2*n3 *r5106 - 3*a11 *b12 *kap*n2*r353
15
12685 4 2 2 1789 4 2 3
- -------*a11 *b12 *kap*n1 *n2*r5106 + ------*a11 *b12 *kap*n2 *r5106
432 1728
13 4 2 2 2 6 2
+ ----*a11 *b12 *kap*n2*n3 *r5106 - 2*a11 *b12 *kap *n2*r353
45
1 2 4 2 3 12577 2 4 2 2
+ ---*a11 *b12 *kap *n1 *r5176 - -------*a11 *b12 *kap *n1 *n2*r5106
2 432
1 2 4 2 2 877 2 4 2 3
- ---*a11 *b12 *kap *n1*n2 *r5176 + ------*a11 *b12 *kap *n2 *r5106
2 1728
13 2 4 2 2 1 6 3 3
+ ----*a11 *b12 *kap *n2*n3 *r5106 + ---*b12 *kap *n1 *r5176
90 2
1 6 3 2 1 6 3 2
+ ---*b12 *kap *n1 *n2*r5106 - ---*b12 *kap *n1*n2 *r5176
4 2
19 6 3 3 8 6 3 2 2 7 3
- ----*b12 *kap *n2 *r5106 - ----*b12 *kap *n2*n3 *r5106)/(a11 *b12 *kap )
36 45
1 6 6 1 6 4 2 689 6 4 2
r29=(----*a11 *n1 *r5106 - ----*a11 *n1 *n2 *r5106 - -----*a11 *n1 *n3 *r5106
12 18 270
1 6 2 4 7469 6 2 2 2
+ ----*a11 *n1 *n2 *r5106 + -------*a11 *n1 *n2 *n3 *r5106
18 12960
4 6 2 4 1 4 4 2 2
+ ----*a11 *n1 *n3 *r5106 + ---*a11 *b12 *kap*n1 *n3 *r353
45 2
2 4 2 4 2 1423 4 2 4 2
+ ---*a11 *b12 *kap*n1 *n2 *r5106 - ------*a11 *b12 *kap*n1 *n3 *r5106
9 540
1 4 2 2 4
+ ----*a11 *b12 *kap*n1 *n2 *r5106
36
3689 4 2 2 2 2
+ -------*a11 *b12 *kap*n1 *n2 *n3 *r5106
12960
61 4 2 2 4 1 4 2 3 2
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *n3 *r5176
90 4
1 4 2 2 4 3 2 6 2 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 - ---*a11 *b12 *kap *n1 *n3 *r353
45 2
1 2 4 2 6 5 2 4 2 4 2
- ----*a11 *b12 *kap *n1 *r5106 + ----*a11 *b12 *kap *n1 *n2 *r5106
12 18
1 2 4 2 4 2 1 2 4 2 2 4
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
12 36
7 2 4 2 2 2 2
- ----*a11 *b12 *kap *n1 *n2 *n3 *r5106
24
17 2 4 2 2 4 1 2 4 2 2 4
+ ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
30 45
1 6 3 3 2 3 6 2 2
- ---*b12 *kap *n1*n2 *n3 *r5176)/(a11 *b12 *kap *n1 *n3)
4
6013 4 2 2 16 4 2 2
r210=( - ------*a11 *n1 *n2 *r5106 + ----*a11 *n1 *n3 *r5106
864 45
1261 4 4 2 4 2
+ ------*a11 *n2 *r5106 + a11 *b12 *kap*n1 *r353
864
2 2 3 6013 2 2 2 2
+ 2*a11 *b12 *kap*n1 *n2*r5176 - ------*a11 *b12 *kap*n1 *n2 *r5106
864
13 2 2 2 2 1261 2 2 4
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ------*a11 *b12 *kap*n2 *r5106
90 864
4 2 3 2 5 2
+ 2*b12 *kap *n1 *n2*r5176)/(a11 *b12 *kap *n1)
6 4 1 6 2 3 71009 6 2 2
r211=(a11 *n1 *n2*r5106 - ---*a11 *n1 *n2 *r5106 - -------*a11 *n1 *n2*n3 *r5106
3 2160
1261 6 3 2 4 4 2
+ ------*a11 *n2 *n3 *r5106 - 6*a11 *b12 *kap*n1 *n2*r353
216
1 4 2 3 2 1 4 2 2 3
+ ---*a11 *b12 *kap*n1 *n3 *r5176 + ---*a11 *b12 *kap*n1 *n2 *r5106
2 6
68993 4 2 2 2 4 2 4
- -------*a11 *b12 *kap*n1 *n2*n3 *r5106 - 3*a11 *b12 *kap*n1*n2 *r5176
2160
1 4 2 2 2 6017 4 2 3 2
- ---*a11 *b12 *kap*n1*n2 *n3 *r5176 + ------*a11 *b12 *kap*n2 *n3 *r5106
2 1080
2 6 2 2 2 4 2 4
- 6*a11 *b12 *kap *n1 *n2*r353 - a11 *b12 *kap *n1 *n2*r5106
1 2 4 2 3 2 1 2 4 2 2 3
+ ---*a11 *b12 *kap *n1 *n3 *r5176 + ---*a11 *b12 *kap *n1 *n2 *r5106
2 2
14 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2*n3 *r5106
15
1 2 4 2 2 2 4 2 4 2 3 2
- ---*a11 *b12 *kap *n1*n2 *n3 *r5176 - ----*a11 *b12 *kap *n2 *n3 *r5106
2 15
6 3 4 4 5 2
+ 3*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1*n3)
r212=0
8 6 2 2 4 4 2
r213=( - ----*a11 *n1 *n2*n3 *r5106 - a11 *b12 *kap*n1 *n2*r353
45
13 4 2 2 3 4 4 2 2 2
+ ----*a11 *b12 *kap*n1 *n2 *r5106 - ----*a11 *b12 *kap*n1 *n2*n3 *r5106
36 15
1 4 2 4 2 4 2 3 2
+ ---*a11 *b12 *kap*n1*n2 *r5176 + ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 13 2 4 2 2 3
- a11 *b12 *kap *n1 *n2*r353 + ----*a11 *b12 *kap *n1 *n2 *r5106
36
26 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2*n3 *r5106
45
2 2 4 2 3 2 1 6 3 4 3
+ ----*a11 *b12 *kap *n2 *n3 *r5106 - ---*b12 *kap *n1*n2 *r5176)/(a11
45 2
6 2 2
*b12 *kap *n1 )
4 6 2 2 1 4 4 2
r214=(----*a11 *n1 *n3 *r5106 + ---*a11 *b12 *kap*n1 *r353
45 2
7 4 2 2 2 13 4 2 2 2
+ ----*a11 *b12 *kap*n1 *n2 *r5106 - -----*a11 *b12 *kap*n1 *n3 *r5106
72 180
1 4 2 3 1 4 2 4
+ ---*a11 *b12 *kap*n1*n2 *r5176 + ----*a11 *b12 *kap*n2 *r5106
4 12
41 4 2 2 2 1 2 6 2 2
- -----*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
180 2
7 2 4 2 2 2 29 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2 *r5106 - -----*a11 *b12 *kap *n1 *n3 *r5106
72 180
1 2 4 2 4 19 2 4 2 2 2
+ ----*a11 *b12 *kap *n2 *r5106 + -----*a11 *b12 *kap *n2 *n3 *r5106
12 180
1 6 3 3 3 6 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n3)
4
1 2 3 16 2 2 4
r215=(---*a11 *n2 *r5106 - ----*a11 *n2*n3 *r5106 - b12 *kap*n2*r353
6 45
1 2 3 13 2 2 5 2
+ ---*b12 *kap*n2 *r5106 + ----*b12 *kap*n2*n3 *r5106)/(b12 *kap )
6 90
r217=0
8 6 2 2 4 4 2
r218=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
1 4 2 2 2 16 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 - ----*a11 *b12 *kap*n1 *n3 *r5106
36 45
1 4 2 3 2 4 2 2 2
+ ---*a11 *b12 *kap*n1*n2 *r5176 + ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 1 2 4 2 2 2
- a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
36
22 2 4 2 2 2 2 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
1 6 3 3 3 6 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1)
2
8 6 2 2 4 4 2
r219=( - ----*a11 *n1 *n2*n3 *r5106 - a11 *b12 *kap*n1 *n2*r353
45
1 4 2 2 3 16 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 - ----*a11 *b12 *kap*n1 *n2*n3 *r5106
36 45
1 4 2 4 2 4 2 3 2
- ---*a11 *b12 *kap*n1*n2 *r5176 - ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 1 2 4 2 2 3
- a11 *b12 *kap *n1 *n2*r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
36
22 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2*n3 *r5106
45
2 2 4 2 3 2 1 6 3 4 3
- ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*b12 *kap *n1*n2 *r5176)/(a11
45 2
6 2
*b12 *kap *n1*n3)
4 6 2 2 2 1 4 4 2 2
r220=(----*a11 *n1 *n2 *n3 *r5106 + ---*a11 *b12 *kap*n1 *n2 *r353
45 2
1 4 2 4 2 1 4 2 4 2
+ ----*a11 *b12 *kap*n1 *n2 *r5106 - ---*a11 *b12 *kap*n1 *n3 *r5106
12 4
7 4 2 2 4
+ ----*a11 *b12 *kap*n1 *n2 *r5106
72
13 4 2 2 2 2 1 4 2 5
- -----*a11 *b12 *kap*n1 *n2 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
180 4
1 4 2 4 2 1 2 6 2 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *n2 *r353
45 2
1 2 4 2 4 2 1 2 4 2 4 2
+ ----*a11 *b12 *kap *n1 *n2 *r5106 + ----*a11 *b12 *kap *n1 *n3 *r5106
12 12
7 2 4 2 2 4
+ ----*a11 *b12 *kap *n1 *n2 *r5106
72
29 2 4 2 2 2 2
- -----*a11 *b12 *kap *n1 *n2 *n3 *r5106
180
1 2 4 2 4 2 1 6 3 5 3
+ ----*a11 *b12 *kap *n2 *n3 *r5106 - ---*b12 *kap *n1*n2 *r5176)/(a11
45 4
6 2 2
*b12 *kap *n1 *n3)
r30=0
r31=0
r32=0
r33=0
r34=0
r35=0
r36=0
r37=0
r38=0
r39=0
16 6 2 2 4 4 2
r310=(----*a11 *n1 *n3 *r5106 + 2*a11 *b12 *kap*n1 *r353
45
31 4 2 4 257 4 2 2 2
- ----*a11 *b12 *kap*n1 *r5106 - -----*a11 *b12 *kap*n1 *n2 *r5106
36 36
14 4 2 2 2 1261 4 2 4
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ------*a11 *b12 *kap*n2 *r5106
45 864
2 6 2 2 37 2 4 2 4
+ a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *r5106
36
2 4 2 3 263 2 4 2 2 2
+ a11 *b12 *kap *n1 *n2*r5176 - -----*a11 *b12 *kap *n1 *n2 *r5106
36
1261 2 4 2 4 1 6 3 4
+ ------*a11 *b12 *kap *n2 *r5106 - ---*b12 *kap *n1 *r5106
864 6
6 3 3 1 6 3 2 2 2 6 3
+ b12 *kap *n1 *n2*r5176 - ---*b12 *kap *n1 *n2 *r5106)/(a11 *b12 *kap
6
2
*n1 )
r311=0
16 6 2 2 4 4 2
r312=(----*a11 *n1 *n3 *r5106 + 2*a11 *b12 *kap*n1 *r353
45
31 4 2 4 257 4 2 2 2
- ----*a11 *b12 *kap*n1 *r5106 - -----*a11 *b12 *kap*n1 *n2 *r5106
36 36
14 4 2 2 2 1261 4 2 4
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ------*a11 *b12 *kap*n2 *r5106
45 864
2 6 2 2 37 2 4 2 4
+ a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *r5106
36
2 4 2 3 263 2 4 2 2 2
+ a11 *b12 *kap *n1 *n2*r5176 - -----*a11 *b12 *kap *n1 *n2 *r5106
36
1261 2 4 2 4 1 6 3 4
+ ------*a11 *b12 *kap *n2 *r5106 - ---*b12 *kap *n1 *r5106
864 6
6 3 3 1 6 3 2 2 2 6 3
+ b12 *kap *n1 *n2*r5176 - ---*b12 *kap *n1 *n2 *r5106)/(a11 *b12 *kap
6
2
*n1 )
r313=0
r314=0
16 6 2 2 4 4 2
r315=(----*a11 *n1 *n3 *r5106 + 2*a11 *b12 *kap*n1 *r353
45
31 4 2 4 257 4 2 2 2
- ----*a11 *b12 *kap*n1 *r5106 - -----*a11 *b12 *kap*n1 *n2 *r5106
36 36
14 4 2 2 2 1261 4 2 4
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ------*a11 *b12 *kap*n2 *r5106
45 864
2 6 2 2 37 2 4 2 4
+ a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *r5106
36
2 4 2 3 263 2 4 2 2 2
+ a11 *b12 *kap *n1 *n2*r5176 - -----*a11 *b12 *kap *n1 *n2 *r5106
36
1261 2 4 2 4 1 6 3 4
+ ------*a11 *b12 *kap *n2 *r5106 - ---*b12 *kap *n1 *r5106
864 6
6 3 3 1 6 3 2 2 2 6 3
+ b12 *kap *n1 *n2*r5176 - ---*b12 *kap *n1 *n2 *r5106)/(a11 *b12 *kap
6
2
*n1 )
r316
1 2 1 2 1 2 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106 - ---*b12 *kap*n3 *r5176
6 6 2
=-----------------------------------------------------------------------------
3
a11*b12 *kap
8 6 2 2 4 4 2
r317=(----*a11 *n1 *n3 *r5106 + a11 *b12 *kap*n1 *r353
45
7 4 2 2 2 14 4 2 2 2
+ ----*a11 *b12 *kap*n1 *n2 *r5106 - ----*a11 *b12 *kap*n1 *n3 *r5106
36 45
1 4 2 3 2 4 2 2 2
+ ---*a11 *b12 *kap*n1*n2 *r5176 + ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 7 2 4 2 2 2
+ a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n1 *n2 *r5106
36
7 2 4 2 2 2 2 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
1 6 3 3 3 5 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1*n3)
2
8 6 2 2 4 4 2
r318=( - ----*a11 *n1 *n2*n3 *r5106 - a11 *b12 *kap*n1 *n2*r353
45
7 4 2 2 3 14 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 + ----*a11 *b12 *kap*n1 *n2*n3 *r5106
36 45
1 4 2 4 2 4 2 3 2
- ---*a11 *b12 *kap*n1*n2 *r5176 - ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 7 2 4 2 2 3
- a11 *b12 *kap *n1 *n2*r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
36
7 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2*n3 *r5106
45
2 2 4 2 3 2 1 6 3 4 3
- ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*b12 *kap *n1*n2 *r5176)/(a11
45 2
5 2 2
*b12 *kap *n1 *n3)
71 6 4 431 6 2 2
r319=( - ----*a11 *n1 *r5106 - -----*a11 *n1 *n2 *r5106
18 576
13 6 2 2 1 6 3
+ ----*a11 *n1 *n3 *r5106 - ---*a11 *n1*n2 *r5176
5 6
6497 6 2 2 4 4 2
- -------*a11 *n2 *n3 *r5106 + a11 *b12 *kap*n1 *r353
12960
133 4 2 4 149 4 2 2 2
- -----*a11 *b12 *kap*n1 *r5106 - -----*a11 *b12 *kap*n1 *n2 *r5106
36 192
8 4 2 2 2 2 4 2 3
+ ---*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
5 3
5729 4 2 2 2 1 2 4 2 4
- -------*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r5106
12960 4
1 2 4 2 2 2 1 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n2 *r5106 + ---*a11 *b12 *kap *n1 *n3 *r5106
36 3
1 2 4 2 3 8 2 4 2 2 2
+ ---*a11 *b12 *kap *n1*n2 *r5176 + -----*a11 *b12 *kap *n2 *n3 *r5106
6 135
2 6 3 3 4 4 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap*n1 )
3
n2*n3*r5106
r320=-------------
2
6*b12 *kap
r321=0
n2*n3*r5106
r322=-------------
2
6*b12 *kap
r323=0
r324=0
n2*n3*r5106
r325=-------------
2
6*b12 *kap
8 6 2 2 4 4 2
r326=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
13 4 2 2 2 14 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 + ----*a11 *b12 *kap*n1 *n3 *r5106
36 45
1 4 2 3 2 4 2 2 2
- ---*a11 *b12 *kap*n1*n2 *r5176 - ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 13 2 4 2 2 2
- a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
36
7 2 4 2 2 2 1 2 4 2 2
+ ----*a11 *b12 *kap *n1 *n3 *r5106 - ---*a11 *b12 *kap *n1*n2*n3 *r5176
45 2
2 2 4 2 2 2 1 6 3 3 3
- ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*b12 *kap *n1*n2 *r5176)/(a11
45 2
5 2
*b12 *kap *n1*n3)
1 2 1 2 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n3 *r5176
3 2
r327=--------------------------------------------------
3
a11*b12 *kap
16 3 2 4 1 2 2
r328=(----*a11 *n3 *r5106 + 2*a11*b12 *kap*r353 + ---*a11*b12 *kap*n2 *r5106
45 3
14 2 2 5 2
- ----*a11*b12 *kap*n3 *r5106)/(b12 *kap )
45
8 8 2 2 6 4 2
r329=(----*a11 *n1 *n2*n3 *r5106 + a11 *b12 *kap*n1 *n2*r353
45
1 6 2 4 13 6 2 2 3
- ---*a11 *b12 *kap*n1 *n2*r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
22 6 2 2 2 1 6 2 4
+ ----*a11 *b12 *kap*n1 *n2*n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
3 2
6113 6 2 3 2 4 6 2 2
- ------*a11 *b12 *kap*n2 *n3 *r5106 + 3*a11 *b12 *kap *n1 *n2*r353
4320
1 4 4 2 2 3
+ ----*a11 *b12 *kap *n1 *n2 *r5106
12
571 4 4 2 2 2 4 4 2 4
+ -----*a11 *b12 *kap *n1 *n2*n3 *r5106 + a11 *b12 *kap *n1*n2 *r5176
90
5729 4 4 2 3 2 2 8 3 2
- ------*a11 *b12 *kap *n2 *n3 *r5106 + 2*a11 *b12 *kap *n1 *n2*r353
4320
1 2 6 3 4 5 2 6 3 2 3
+ ---*a11 *b12 *kap *n1 *n2*r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
2 18
1 2 6 3 2 2 1 2 6 3 4
+ ----*a11 *b12 *kap *n1 *n2*n3 *r5106 - ---*a11 *b12 *kap *n1*n2 *r5176
45 2
4 2 6 3 3 2 8 4 4 4 6
+ ----*a11 *b12 *kap *n2 *n3 *r5106 - b12 *kap *n1*n2 *r5176)/(a11 *b12
45
2 2
*kap *n1 *n3)
1 2 1 2
---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r330=-------------------------------------------------
3
a11*b12 *kap
1 2 2 1 2 2
r331=( - ---*a11 *n1*n2 *r5106 - ---*b12 *kap*n1*n2 *r5106
6 6
1 2 2 3
- ---*b12 *kap*n2*n3 *r5176)/(a11*b12 *kap*n3)
2
1 2 3 1 2 2 1 2 3
- ---*a11 *n2 *r5106 + ---*a11 *n2*n3 *r5106 - ---*b12 *kap*n2 *r5106
6 3 6
r332=------------------------------------------------------------------------
3
a11*b12 *kap*n3
5869 4 2 2 1261 4 4
r333=( - ------*a11 *n1 *n2 *r5106 + ------*a11 *n2 *r5106
864 864
2 4 2 2 2 3
+ a11 *b12 *kap*n1 *r353 + 2*a11 *b12 *kap*n1 *n2*r5176
5869 2 2 2 2 1261 2 2 4
- ------*a11 *b12 *kap*n1 *n2 *r5106 + ------*a11 *b12 *kap*n2 *r5106
864 864
4 2 3 2 4 2
+ 2*b12 *kap *n1 *n2*r5176)/(a11 *b12 *kap*n1 )
1 2 3 8 2 2 1 2 3
r334=(---*a11 *n2 *r5106 - ----*a11 *n2*n3 *r5106 + ---*b12 *kap*n2 *r5106
6 27 6
11 2 2 4
+ ----*b12 *kap*n2*n3 *r5106)/(b12 *kap*n3)
54
n1*n3*r5106
r335=-------------
2
6*b12 *kap
r336=0
n1*n3*r5106
r337=-------------
2
6*b12 *kap
r338=0
r339=0
n1*n3*r5106
r340=-------------
2
6*b12 *kap
8 6 2 2 4 4 2
r341=(----*a11 *n1 *n2*n3 *r5106 + a11 *b12 *kap*n1 *n2*r353
45
1 4 2 4 7 4 2 2 3
- ---*a11 *b12 *kap*n1 *n2*r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
6 36
14 4 2 2 2 1 4 2 4
- ----*a11 *b12 *kap*n1 *n2*n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 4 2 3 2 2 6 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + a11 *b12 *kap *n1 *n2*r353
45
1 2 4 2 4 1 2 4 2 3 2
- ---*a11 *b12 *kap *n1 *n2*r5106 - ---*a11 *b12 *kap *n1 *n3 *r5176
6 2
7 2 4 2 2 3
+ ----*a11 *b12 *kap *n1 *n2 *r5106
36
7 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n2*n3 *r5106
45
2 2 4 2 3 2 1 6 3 4 3
+ ----*a11 *b12 *kap *n2 *n3 *r5106 - ---*b12 *kap *n1*n2 *r5176)/(a11
45 2
5 2 2
*b12 *kap *n1 *n3)
16 4 2 2 4
r342=( - ----*a11 *n3 *r5106 - 2*a11 *b12 *kap*r353
45
1 2 2 2 1 2 2 2
- ---*a11 *b12 *kap*n1 *r5106 - ---*a11 *b12 *kap*n2 *r5106
6 6
14 2 2 2 1 4 2 2
+ ----*a11 *b12 *kap*n3 *r5106 + ---*b12 *kap *n1 *r5106
45 6
1 4 2 2 5 2
- ---*b12 *kap *n2 *r5106)/(a11*b12 *kap )
6
1 1 2
- ---*n1*n2*r5106 - ---*n3 *r5176
3 2
r343=------------------------------------
a11*b12
8 8 2 2 6 4 2
r344=(----*a11 *n1 *n3 *r5106 + a11 *b12 *kap*n1 *r353
45
1 6 2 4 1 6 2 2 2
- ---*a11 *b12 *kap*n1 *r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
22 6 2 2 2 1 6 2 3
+ ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
3 2
6113 6 2 2 2 4 6 2 2
- ------*a11 *b12 *kap*n2 *n3 *r5106 + 3*a11 *b12 *kap *n1 *r353
4320
5 4 4 2 2 2 571 4 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n2 *r5106 + -----*a11 *b12 *kap *n1 *n3 *r5106
12 90
4 4 2 3 5729 4 4 2 2 2
+ a11 *b12 *kap *n1*n2 *r5176 - ------*a11 *b12 *kap *n2 *n3 *r5106
4320
2 8 3 2 1 2 6 3 4
+ 2*a11 *b12 *kap *n1 *r353 + ---*a11 *b12 *kap *n1 *r5106
2
7 2 6 3 2 2 1 2 6 3 2 2
+ ----*a11 *b12 *kap *n1 *n2 *r5106 + ----*a11 *b12 *kap *n1 *n3 *r5106
18 45
1 2 6 3 3 4 2 6 3 2 2
- ---*a11 *b12 *kap *n1*n2 *r5176 + ----*a11 *b12 *kap *n2 *n3 *r5106
2 45
8 4 3 4 6 2
- b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1*n3)
1 2 2 1 2 2 1 2 2
r345=(---*a11 *n1 *r5106 - ---*a11 *n2 *r5106 - ---*b12 *kap*n1 *r5106
6 6 6
1 2 2 3
+ ---*b12 *kap*n2 *r5106)/(a11*b12 *kap)
6
1 2 2 1 2 3 1 2 2
r346=( - ---*a11 *n1 *n2*r5106 + ---*a11 *n2 *r5106 - ---*a11 *n2*n3 *r5106
6 6 3
1 2 2 1 2 2
- ---*b12 *kap*n1 *n2*r5106 - ---*b12 *kap*n1*n3 *r5176
6 2
1 2 3 3
+ ---*b12 *kap*n2 *r5106)/(a11*b12 *kap*n3)
6
1 2 2 1 2 2
r347=( - ---*a11 *n1*n2 *r5106 + ---*a11 *n1*n3 *r5106
3 3
1 2 2 1 2 2 3
- ---*b12 *kap*n1*n2 *r5106 - ---*b12 *kap*n2*n3 *r5176)/(a11*b12 *kap*n3
3 2
)
7789 4 2 1261 4 3
r348=( - ------*a11 *n1 *n2*r5106 + ------*a11 *n2 *r5106
432 432
1 2 2 3 7789 2 2 2
+ ---*a11 *b12 *kap*n1 *r5176 - ------*a11 *b12 *kap*n1 *n2*r5106
2 432
1 2 2 2 1261 2 2 3
- ---*a11 *b12 *kap*n1*n2 *r5176 + ------*a11 *b12 *kap*n2 *r5106
2 432
1 4 2 3 1 4 2 2 2 4
+ ---*b12 *kap *n1 *r5176 - ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap*n1
2 2
)
1 2 2 16 2 2 1 2 2
r349=(---*a11 *n1*n2 *r5106 - ----*a11 *n1*n3 *r5106 + ---*b12 *kap*n1*n2 *r5106
6 45 6
13 2 2 4
+ ----*b12 *kap*n1*n3 *r5106)/(b12 *kap*n3)
90
47 4 29 2 2
r350=( - ----*a11 *n1*n2*r5106 - ----*a11 *b12 *kap*n1*n2*r5106
54 18
2 2 2 2 11 4 2
+ ---*a11 *b12 *kap*n2 *r5176 - ----*b12 *kap *n1*n2*r5106
3 27
2 4 2 2 5 2
+ ---*b12 *kap *n2 *r5176)/(a11*b12 *kap )
3
1 2 2 1 2 2 1 2 2
---*a11 *n1*n2 *r5106 - ---*a11 *n1*n3 *r5106 + ---*b12 *kap*n1*n2 *r5106
6 3 6
r351=---------------------------------------------------------------------------
3
a11*b12 *kap*n3
1 2 2 1 2 2
r352=( - ---*a11 *n1 *n2*r5106 - ---*b12 *kap*n1 *n2*r5106
6 6
1 2 2 3
- ---*b12 *kap*n1*n3 *r5176)/(a11*b12 *kap*n3)
2
1 2 3 16 2 2 1 2 3
r354=(---*a11 *n2 *r5106 - ----*a11 *n2*n3 *r5106 + ---*b12 *kap*n2 *r5106
6 45 6
13 2 2 4
+ ----*b12 *kap*n2*n3 *r5106)/(b12 *kap*n3)
90
1 2 2 4 2 2 1 2 2
r355=(---*a11 *n1*n2 *r5106 - ---*a11 *n1*n3 *r5106 + ---*b12 *kap*n1*n2 *r5106
6 9 6
1 2 2 4
+ ----*b12 *kap*n1*n3 *r5106)/(b12 *kap*n3)
18
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
n1*r5106
r416=-----------
6*b12*kap
r417=0
n1*r5106
r418=-----------
6*b12*kap
- n2*r5106
r419=-------------
6*b12*kap
r420=0
- n2*r5106
r421=-------------
6*b12*kap
n1*r5106
r423=-----------
6*b12*kap
- n2*r5106
r424=-------------
6*b12*kap
1
- ---*n1*r5176
2
r426=-----------------
a11
4 6 2 2 1 4 4 2
r427=(----*a11 *n1 *n3 *r5106 + ---*a11 *b12 *kap*n1 *r353
45 2
1 4 2 2 2 29 4 2 2 2
+ ----*a11 *b12 *kap*n1 *n2 *r5106 - ----*a11 *b12 *kap*n1 *n3 *r5106
72 90
1 4 2 3 1 4 2 2 2
+ ---*a11 *b12 *kap*n1*n2 *r5176 + ----*a11 *b12 *kap*n2 *n3 *r5106
4 45
1 2 6 2 2 1 2 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n1 *n2 *r5106
2 72
23 2 4 2 2 2 1 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
90 45
1 6 3 3 3 4 2 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
4
1
---*n2*r5176
2
r428=--------------
a11
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r429=----------------------------------------------------
2
a11*b12 *kap*n3
4 6 2 2 1 4 4 2
r430=(----*a11 *n1 *n3 *r5106 + ---*a11 *b12 *kap*n1 *r353
45 2
1 4 2 4 7 4 2 2 2
- ----*a11 *b12 *kap*n1 *r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
12 72
29 4 2 2 2 1 4 2 3
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
90 4
1 4 2 2 2 1 2 6 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
45 2
1 2 4 2 4 7 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *r5106 + ----*a11 *b12 *kap *n1 *n2 *r5106
12 72
23 2 4 2 2 2 1 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
90 45
1 6 3 3 3 4 2 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
4
1 4 1 2 2
r431=(----*a11 *n1*n2*r5106 - ---*a11 *b12 *kap*n1*n2*r5106
12 4
1 4 2 4 2 2 2 3
- ---*b12 *kap *n1*n2*r5106 - b12 *kap *n3 *r5176)/(a11 *b12 *kap*n3)
3
68 4 2 1261 4 2
r432=(----*a11 *n1 *r5106 - ------*a11 *n2 *r5106
9 864
139 2 2 2 1261 2 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
18 864
1 4 2 2 2 3
+ ---*b12 *kap *n1 *r5106)/(a11 *b12 *kap*n1)
3
68 4 2 1261 4 3
r433=( - ----*a11 *n1 *n2*r5106 + ------*a11 *n2 *r5106
9 864
139 2 2 2 1261 2 2 3
- -----*a11 *b12 *kap*n1 *n2*r5106 + ------*a11 *b12 *kap*n2 *r5106
18 864
1 4 2 2 2 3 2
- ---*b12 *kap *n1 *n2*r5106)/(a11 *b12 *kap*n1 )
3
1 6 4 7 6 2 2 1 6 2 2
r434=( - ----*a11 *n1 *r5106 + ----*a11 *n1 *n2 *r5106 + ----*a11 *n1 *n3 *r5106
12 72 30
1 6 4 6149 6 2 2
- ----*a11 *n2 *r5106 + -------*a11 *n2 *n3 *r5106
18 25920
5 4 2 2 2 22 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 + ----*a11 *b12 *kap*n1 *n3 *r5106
24 9
1 4 2 4 6253 4 2 2 2
+ ---*a11 *b12 *kap*n2 *r5106 - ------*a11 *b12 *kap*n2 *n3 *r5106
6 8640
1 2 4 2 4 1 2 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
6 12
187 2 4 2 2 2
+ -----*a11 *b12 *kap *n1 *n3 *r5106
90
6227 2 4 2 2 2 1 6 3 4
- ------*a11 *b12 *kap *n2 *n3 *r5106 + ----*b12 *kap *n1 *r5106
6480 12
2 6 3 2 2 1 6 3 2 2
+ ---*b12 *kap *n1 *n2 *r5106 + ---*b12 *kap *n1 *n3 *r5106
9 3
2 6 3 4 3 4 2
- ---*b12 *kap *n2 *r5106)/(a11 *b12 *kap*n1 *n3)
9
- n1*r5106
r435=-------------
6*b12*kap
r436=0
- n1*r5106
r437=-------------
6*b12*kap
r438=0
r439=0
r440=0
r441=0
- n1*r5106
r442=-------------
6*b12*kap
r443=0
r444=0
1 1
---*n1*r5176 + ---*n2*r5106
2 3
r445=-----------------------------
a11
8 6 2 2 4 4 2
r446=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
1 4 2 2 2 29 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 + ----*a11 *b12 *kap*n1 *n3 *r5106
36 45
1 4 2 3 2 4 2 2 2
- ---*a11 *b12 *kap*n1*n2 *r5176 - ----*a11 *b12 *kap*n2 *n3 *r5106
2 45
2 6 2 2 1 2 4 2 2 2
- a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
36
23 2 4 2 2 2 2 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
1 6 3 3 3 4 2 2
+ ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
2
1 1
- ---*n1*r5176 + ---*n2*r5106
2 3
r447=--------------------------------
a11
1 2 1 2
---*a11 *n1*n2*r5106 + ---*b12 *kap*n1*n2*r5106
3 3
r448=-------------------------------------------------
2
a11*b12 *kap*n3
1 2 1 2
---*a11 *n1*r5106 + ---*b12 *kap*n2*r5176
3 2
r449=-------------------------------------------
2
a11*b12 *kap
1 2 1 2
- ---*a11 *n2*r5106 + ---*b12 *kap*n2*r5106
3 3
r450=----------------------------------------------
2
a11*b12 *kap
68 4 2 1261 4 2
r451=( - ----*a11 *n1 *r5106 + ------*a11 *n2 *r5106
9 864
139 2 2 2 2 2
- -----*a11 *b12 *kap*n1 *r5106 - a11 *b12 *kap*n1*n2*r5176
18
1261 2 2 2 1 4 2 2
+ ------*a11 *b12 *kap*n2 *r5106 - ---*b12 *kap *n1 *r5106
864 3
4 2 2 3
- b12 *kap *n1*n2*r5176)/(a11 *b12 *kap*n1)
r452
1 4 1 2 2 4 2 2
----*a11 *n1*n2*r5106 + ----*a11 *b12 *kap*n1*n2*r5106 - b12 *kap *n3 *r5176
12 12
=------------------------------------------------------------------------------
2 3
a11 *b12 *kap*n3
8 6 2 2 4 4 2
r453=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
1 4 2 4 13 4 2 2 2
+ ---*a11 *b12 *kap*n1 *r5106 - ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
26 4 2 2 2 1 4 2 3
+ ----*a11 *b12 *kap*n1 *n3 *r5106 - ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 4 2 2 2 2 6 2 2
- ----*a11 *b12 *kap*n2 *n3 *r5106 - a11 *b12 *kap *n1 *r353
45
1 2 4 2 2 2 34 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n2 *r5106 + ----*a11 *b12 *kap *n1 *n3 *r5106
36 45
2 2 4 2 2 2 1 6 3 4
- ----*a11 *b12 *kap *n2 *n3 *r5106 - ---*b12 *kap *n1 *r5106
45 2
1 6 3 2 2 1 6 3 3 2 5
+ ---*b12 *kap *n1 *n2 *r5106 + ---*b12 *kap *n1*n2 *r5176)/(a11 *b12
3 2
2 2
*kap *n1 *n3)
136 6 2 1261 6 3
r454=(-----*a11 *n1 *n2*r5106 - ------*a11 *n2 *r5106
27 1296
554 4 2 2 1261 4 2 3
+ -----*a11 *b12 *kap*n1 *n2*r5106 - ------*a11 *b12 *kap*n2 *r5106
27 324
427 2 4 2 2 1261 2 4 2 3
+ -----*a11 *b12 *kap *n1 *n2*r5106 - ------*a11 *b12 *kap *n2 *r5106
27 432
2 6 3 2 3 4 2
+ ---*b12 *kap *n1 *n2*r5106)/(a11 *b12 *kap*n1 )
3
r455=0
1
---*n1*r5176
2
r456=--------------
a11
4 6 2 2 1 4 4 2
r457=( - ----*a11 *n1 *n3 *r5106 - ---*a11 *b12 *kap*n1 *r353
45 2
1 4 2 2 2 29 4 2 2 2
- ----*a11 *b12 *kap*n1 *n2 *r5106 + ----*a11 *b12 *kap*n1 *n3 *r5106
72 90
1 4 2 3 1 4 2 2 2
- ---*a11 *b12 *kap*n1*n2 *r5176 - ----*a11 *b12 *kap*n2 *n3 *r5106
4 45
1 2 6 2 2 1 2 4 2 2 2
- ---*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *n2 *r5106
2 72
23 2 4 2 2 2 1 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n2 *n3 *r5106
90 45
1 6 3 3 3 4 2 2
+ ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
4
- a11*n1*r5106
r458=-----------------
2
3*b12 *kap
1 2 1 2
---*a11 *n1*n2*r5106 + ---*b12 *kap*n1*n2*r5106
6 6
r459=-------------------------------------------------
2
a11*b12 *kap*n3
1 2 2 1 2 2 1 2 2
r460=( - ----*a11 *n1 *r5106 + ----*a11 *n2 *r5106 - ----*b12 *kap*n1 *r5106
12 12 12
1 2 2 2
+ ----*b12 *kap*n2 *r5106)/(a11*b12 *kap*n3)
12
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
3 3
r461=----------------------------------------------------
3
b12 *kap*n3
4 4 5 2 2 2 2
r462=( - ---*a11 *n1*r5106 - ---*a11 *b12 *kap*n1*r5106 - a11 *b12 *kap*n2*r5176
3 6
4 2 2 3
- b12 *kap *n2*r5176)/(a11 *b12 *kap)
4 2 13 2
---*a11 *n2*r5106 - ----*b12 *kap*n2*r5106
9 18
r463=--------------------------------------------
3
b12 *kap
8 8 2 2 6 4 2
r464=(----*a11 *n1 *n3 *r5106 + a11 *b12 *kap*n1 *r353
45
1 6 2 4 13 6 2 2 2
- ---*a11 *b12 *kap*n1 *r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
22 6 2 2 2 1 6 2 3
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 6 2 2 2 3 4 6 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
45 2
1 4 4 2 4 7 4 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
3 24
97 4 4 2 2 2 1 4 4 2 3
- ----*a11 *b12 *kap *n1 *n3 *r5106 + ---*a11 *b12 *kap *n1*n2 *r5176
90 4
1 4 4 2 2 2 1 2 8 3 2
+ ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
15 2
1 2 6 3 4 23 2 6 3 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
2 72
23 2 6 3 2 2 1 2 6 3 3
+ ----*a11 *b12 *kap *n1 *n3 *r5106 - ---*a11 *b12 *kap *n1*n2 *r5176
90 2
1 2 6 3 2 2 1 8 4 4
+ ----*a11 *b12 *kap *n2 *n3 *r5106 - ---*b12 *kap *n1 *r5106
45 3
1 8 4 2 2 1 8 4 3 3 6
+ ---*b12 *kap *n1 *n2 *r5106 - ---*b12 *kap *n1*n2 *r5176)/(a11 *b12
3 4
2 2
*kap *n1 *n3)
2 2
4*a11 *n1*r5106 + b12 *kap*n1*r5106
r465=-------------------------------------
3
6*b12 *kap
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r466=----------------------------------------------------
3
b12 *kap*n3
1 2 2 1 2 2 1 2 2
r467=(---*a11 *n1 *r5106 - ---*a11 *n2 *r5106 + ---*b12 *kap*n1 *r5106
6 6 6
1 2 2 3
- ---*b12 *kap*n2 *r5106)/(b12 *kap*n3)
6
2 2 4 2 2 2
r468=( - ---*a11 *n1*r5176 + ---*a11 *n2*r5106 - ---*b12 *kap*n1*r5176
3 9 3
1 2 2
+ ---*b12 *kap*n2*r5106)/(a11*b12 )
9
1 3 2 1 3 2 1 2 2
r469=( - ----*a11 *n1 *r5106 + ----*a11 *n2 *r5106 - ----*a11*b12 *kap*n1 *r5106
12 12 12
1 2 2 4
+ ----*a11*b12 *kap*n2 *r5106)/(b12 *kap*n3)
12
n2*r5106
r470=-----------
6*b12*kap
r471=0
n2*r5106
r472=-----------
6*b12*kap
r473=0
r474=0
r475=0
r476=0
n2*r5106
r477=-----------
6*b12*kap
r479=0
1 1
---*n1*r5106 - ---*n2*r5176
3 2
r480=-----------------------------
a11
1 2 1 2
- ---*a11 *n1*r5106 + ---*b12 *kap*n1*r5106
3 3
r482=----------------------------------------------
2
a11*b12 *kap
8 6 2 2 4 4 2
r483=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
1 4 2 4 7 4 2 2 2
+ ---*a11 *b12 *kap*n1 *r5106 - ----*a11 *b12 *kap*n1 *n2 *r5106
6 36
29 4 2 2 2 1 4 2 3
+ ----*a11 *b12 *kap*n1 *n3 *r5106 - ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 4 2 2 2 2 6 2 2
- ----*a11 *b12 *kap*n2 *n3 *r5106 - a11 *b12 *kap *n1 *r353
45
1 2 4 2 4 7 2 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
6 36
23 2 4 2 2 2 2 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
1 6 3 3 3 4 2 2
+ ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
2
1 2 1 2
---*a11 *n2*r5106 - ---*b12 *kap*n1*r5176
3 2
r484=-------------------------------------------
2
a11*b12 *kap
1 1
---*n1*r5106 + ---*n2*r5176
3 2
r485=-----------------------------
a11
68 4 2 1261 4 3 2 2 3
r486=(----*a11 *n1 *n2*r5106 - ------*a11 *n2 *r5106 - a11 *b12 *kap*n1 *r5176
9 864
139 2 2 2 1261 2 2 3
+ -----*a11 *b12 *kap*n1 *n2*r5106 - ------*a11 *b12 *kap*n2 *r5106
18 864
4 2 3 1 4 2 2 2 3 2
- b12 *kap *n1 *r5176 + ---*b12 *kap *n1 *n2*r5106)/(a11 *b12 *kap*n1 )
3
8 6 2 2 4 4 2
r487=(----*a11 *n1 *n3 *r5106 + a11 *b12 *kap*n1 *r353
45
1 4 2 4 13 4 2 2 2
- ---*a11 *b12 *kap*n1 *r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
26 4 2 2 2 1 4 2 3
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 4 2 2 2 2 6 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + a11 *b12 *kap *n1 *r353
45
1 2 4 2 4 11 2 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
3 36
34 2 4 2 2 2 2 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 + ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
5 6 3 4 2 6 3 2 2
+ ---*b12 *kap *n1 *r5106 - ---*b12 *kap *n1 *n2 *r5106
6 3
1 6 3 3 2 5 2 2
- ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
2
r488
1 4 1 2 2 4 2 2
- ---*a11 *n1*n2*r5106 - ---*a11 *b12 *kap*n1*n2*r5106 - b12 *kap *n3 *r5176
4 4
=-------------------------------------------------------------------------------
2 3
a11 *b12 *kap*n3
136 6 2 1261 6 2
r489=(-----*a11 *n1 *r5106 - ------*a11 *n2 *r5106
27 1296
554 4 2 2 1261 4 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
27 324
427 2 4 2 2 1261 2 4 2 2
+ -----*a11 *b12 *kap *n1 *r5106 - ------*a11 *b12 *kap *n2 *r5106
27 432
2 6 3 2 3 4
+ ---*b12 *kap *n1 *r5106)/(a11 *b12 *kap*n1)
3
r490=0
1 2 1 2
---*a11 *n1*r5106 - ---*b12 *kap*n2*r5176
3 2
r491=-------------------------------------------
2
a11*b12 *kap
r492=0
1 2 1 2
---*a11 *n2*r5106 + ---*b12 *kap*n1*r5176
3 2
r493=-------------------------------------------
2
a11*b12 *kap
8 6 2 2 4 4 2
r494=( - ----*a11 *n1 *n3 *r5106 - a11 *b12 *kap*n1 *r353
45
1 4 2 4 7 4 2 2 2
+ ---*a11 *b12 *kap*n1 *r5106 - ----*a11 *b12 *kap*n1 *n2 *r5106
6 36
29 4 2 2 2 1 4 2 3
+ ----*a11 *b12 *kap*n1 *n3 *r5106 - ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 4 2 2 2 2 6 2 2
- ----*a11 *b12 *kap*n2 *n3 *r5106 - a11 *b12 *kap *n1 *r353
45
1 2 4 2 4 7 2 4 2 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
6 36
23 2 4 2 2 2 2 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n2 *n3 *r5106
45 45
1 6 3 3 3 4 2 2
+ ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
2
1 2 1 2
---*a11 *n1*n2*r5106 + ---*b12 *kap*n1*n2*r5106
3 3
r495=-------------------------------------------------
2
a11*b12 *kap*n3
1 2 2 1 2 2 1 2 2
r496=( - ---*a11 *n1 *r5106 + ---*a11 *n2 *r5106 - ---*b12 *kap*n1 *r5106
3 3 3
1 2 2 2
+ ---*b12 *kap*n2 *r5106)/(a11 *b12*n3)
3
2 2 2 2
- a11 *n1*r5176 + ---*a11 *n2*r5106 - b12 *kap*n1*r5176
3
r497=----------------------------------------------------------
2
a11 *b12
2 2 2 2
- ---*a11 *n1*r5106 - a11 *n2*r5176 - b12 *kap*n2*r5176
3
r498=----------------------------------------------------------
2
a11 *b12
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r499=----------------------------------------------------
2
a11*b12 *n3
2 2
- 4*a11 *n2*r5106 - b12 *kap*n2*r5106
r4100=----------------------------------------
3
6*b12 *kap
1 2 2 1 2 2 1 2 2
r4101=( - ---*a11 *n1 *r5106 + ---*a11 *n2 *r5106 - ---*b12 *kap*n1 *r5106
6 6 6
1 2 2 3
+ ---*b12 *kap*n2 *r5106)/(b12 *kap*n3)
6
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
2 2
r4102=----------------------------------------------------
3
b12 *kap*n3
20 2 17 2
----*a11 *n1*r5106 + ----*b12 *kap*n1*r5106
9 9
r4103=---------------------------------------------
2
a11*b12
1 3 1 2
---*a11 *n1*n2*r5106 + ---*a11*b12 *kap*n1*n2*r5106
6 6
r4104=-----------------------------------------------------
4
b12 *kap*n3
r4105=0
- a11*n2*r5106
r4106=-----------------
2
3*b12 *kap
1
- ---*n2*r5176
2
r4108=-----------------
a11
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r4109=----------------------------------------------------
2
a11*b12 *kap*n3
4 6 2 2 1 4 4 2
r4110=( - ----*a11 *n1 *n3 *r5106 - ---*a11 *b12 *kap*n1 *r353
45 2
1 4 2 4 7 4 2 2 2
+ ----*a11 *b12 *kap*n1 *r5106 - ----*a11 *b12 *kap*n1 *n2 *r5106
12 72
29 4 2 2 2 1 4 2 3
+ ----*a11 *b12 *kap*n1 *n3 *r5106 - ---*a11 *b12 *kap*n1*n2 *r5176
90 4
1 4 2 2 2 1 2 6 2 2
- ----*a11 *b12 *kap*n2 *n3 *r5106 - ---*a11 *b12 *kap *n1 *r353
45 2
1 2 4 2 4 7 2 4 2 2 2
+ ----*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
12 72
23 2 4 2 2 2 1 2 4 2 2 2
- ----*a11 *b12 *kap *n1 *n3 *r5106 - ----*a11 *b12 *kap *n2 *n3 *r5106
90 45
1 6 3 3 3 4 2 2
+ ---*b12 *kap *n1*n2 *r5176)/(a11 *b12 *kap *n1 *n3)
4
r4111=0
4 2 5 2
---*a11 *n1*r5106 + ---*b12 *kap*n1*r5106
3 2
r4112=-------------------------------------------
3
b12 *kap
4 4 2 2 5 2 2
r4113=(---*a11 *n2*r5106 - a11 *b12 *kap*n1*r5176 + ---*a11 *b12 *kap*n2*r5106
3 6
4 2 2 3
- b12 *kap *n1*r5176)/(a11 *b12 *kap)
8 8 2 2 6 4 2
r4114=(----*a11 *n1 *n3 *r5106 + a11 *b12 *kap*n1 *r353
45
1 6 2 4 13 6 2 2 2
- ---*a11 *b12 *kap*n1 *r5106 + ----*a11 *b12 *kap*n1 *n2 *r5106
2 36
22 6 2 2 2 1 6 2 3
- ----*a11 *b12 *kap*n1 *n3 *r5106 + ---*a11 *b12 *kap*n1*n2 *r5176
45 2
2 6 2 2 2 3 4 6 2 2
+ ----*a11 *b12 *kap*n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
45 2
1 4 4 2 4 1 4 4 2 2 2
- ----*a11 *b12 *kap *n1 *r5106 + ---*a11 *b12 *kap *n1 *n2 *r5106
12 8
97 4 4 2 2 2 1 4 4 2 3
- ----*a11 *b12 *kap *n1 *n3 *r5106 + ---*a11 *b12 *kap *n1*n2 *r5176
90 4
1 4 4 2 2 2 1 2 8 3 2
+ ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*a11 *b12 *kap *n1 *r353
15 2
3 2 6 3 4 41 2 6 3 2 2
+ ---*a11 *b12 *kap *n1 *r5106 - ----*a11 *b12 *kap *n1 *n2 *r5106
4 72
23 2 6 3 2 2 1 2 6 3 3
+ ----*a11 *b12 *kap *n1 *n3 *r5106 - ---*a11 *b12 *kap *n1*n2 *r5176
90 2
1 2 6 3 2 2 1 8 4 4
+ ----*a11 *b12 *kap *n2 *n3 *r5106 + ---*b12 *kap *n1 *r5106
45 3
1 8 4 2 2 1 8 4 3 3 6
- ---*b12 *kap *n1 *n2 *r5106 - ---*b12 *kap *n1*n2 *r5176)/(a11 *b12
3 4
2 2
*kap *n1 *n3)
2 2
4*a11 *n1*r5106 + b12 *kap*n1*r5106
r4115=-------------------------------------
3
6*b12 *kap
1 2 1 2
---*a11 *n1*n2*r5106 + ---*b12 *kap*n1*n2*r5106
6 6
r4116=-------------------------------------------------
3
b12 *kap*n3
r4117=0
2 2 1 2 2 2
- ---*a11 *n1*r5176 + ---*a11 *n2*r5106 - ---*b12 *kap*n1*r5176
3 3 3
r4118=------------------------------------------------------------------
2
a11*b12
1 3 2 1 3 2
r4119=( - ----*a11 *n1 *r5106 + ----*a11 *n2 *r5106
12 12
1 2 2 1 2 2 4
- ----*a11*b12 *kap*n1 *r5106 + ----*a11*b12 *kap*n2 *r5106)/(b12 *kap
12 12
*n3)
2 2
- 4*a11 *n2*r5106 - b12 *kap*n2*r5106
r4120=----------------------------------------
3
6*b12 *kap
r4121=0
1 2 1 2
- ---*a11 *n1*n2*r5106 - ---*b12 *kap*n1*n2*r5106
6 6
r4122=----------------------------------------------------
3
b12 *kap*n3
28 4 16 2 2
r4123=(----*a11 *n1*r5106 + ----*a11 *b12 *kap*n1*r5106
27 9
2 2 2 11 4 2
- ---*a11 *b12 *kap*n2*r5176 + ----*b12 *kap *n1*r5106
3 27
2 4 2 4
- ---*b12 *kap *n2*r5176)/(a11*b12 *kap)
3
1 3 1 2
---*a11 *n1*n2*r5106 + ---*a11*b12 *kap*n1*n2*r5106
6 6
r4124=-----------------------------------------------------
4
b12 *kap*n3
r4125=0
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
r5106
r521=-------
6*kap
r522=0
r5106
r523=-------
3*kap
r524=0
r5106
r525=-------
6*kap
r526=0
r527=0
r528=0
r529=0
r5106
r530=-------
3*kap
r531=0
r5106
r532=-------
3*kap
r533=0
r534=0
r5106
r535=-------
6*kap
1
- ---*b12*r5176
2
r536=------------------
a11
r537=0
1
- ---*b12*r5176
2
r538=------------------
a11
r539=0
r540=0
r541=0
r542=0
1
- ---*b12*r5176
2
r543=------------------
a11
r544=0
r545=0
68 4 2 1261 4 2 68 2 2 2
r546=(----*a11 *n1 *r5106 - ------*a11 *n2 *r5106 + ----*a11 *b12 *kap*n1 *r5106
27 2592 27
1261 2 2 2 1 4 2 2 2 2
- ------*a11 *b12 *kap*n2 *r5106 + ---*b12 *kap *n1 *r5106)/(a11 *b12
2592 3
2
*kap*n1 )
r547=0
68 4 2 1261 4 2 68 2 2 2
r548=(----*a11 *n1 *r5106 - ------*a11 *n2 *r5106 + ----*a11 *b12 *kap*n1 *r5106
27 2592 27
1261 2 2 2 1 4 2 2 2 2
- ------*a11 *b12 *kap*n2 *r5106 + ---*b12 *kap *n1 *r5106)/(a11 *b12
2592 3
2
*kap*n1 )
r549=0
r550=0
68 4 2 1261 4 2 68 2 2 2
r551=(----*a11 *n1 *r5106 - ------*a11 *n2 *r5106 + ----*a11 *b12 *kap*n1 *r5106
27 2592 27
1261 2 2 2 1 4 2 2 2 2
- ------*a11 *b12 *kap*n2 *r5106 + ---*b12 *kap *n1 *r5106)/(a11 *b12
2592 3
2
*kap*n1 )
1 2 2 3 2
- ---*a11 *b12*kap*r5176 - ---*b12 *kap *r5176
6 3
r552=-------------------------------------------------
3
a11
r553=0
r554=0
68 6 2 1261 6 2
r555=( - ----*a11 *n1 *r5106 + ------*a11 *n2 *r5106
15 1440
883 4 2 2 1261 4 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
270 4320
1067 2 4 2 2 1261 2 4 2 2
+ ------*a11 *b12 *kap *n1 *r5106 - ------*a11 *b12 *kap *n2 *r5106
135 1080
4 6 3 2 4 2 2
+ ----*b12 *kap *n1 *r5106)/(a11 *b12 *n1 )
15
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
1
- ---*b12*r5176
2
r572=------------------
a11
r573=0
1
- ---*b12*r5176
2
r574=------------------
a11
r575=0
r576=0
r577=0
r578=0
1
- ---*b12*r5176
2
r579=------------------
a11
r580=0
r581=0
r582=0
r583=0
r584=r5176
r585=0
r586=0
r587=0
1 2 2 3 2
- ---*a11 *b12*kap*r5176 - ---*b12 *kap *r5176
6 3
r588=-------------------------------------------------
3
a11
136 4 2 1261 4 2
r589=( - -----*a11 *n1 *r5106 + ------*a11 *n2 *r5106
27 1296
146 2 2 2 1261 2 2 2
- -----*a11 *b12 *kap*n1 *r5106 + ------*a11 *b12 *kap*n2 *r5106
27 1296
10 4 2 2 3 2
- ----*b12 *kap *n1 *r5106)/(a11*b12 *kap*n1 )
27
r590=0
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
r5106
r5101=-------
3
r5102=0
r5106
r5103=-------
3
r5104=0
r5105=r5176
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5107=------------------------------------
a11*b12
r5108=0
r5109=0
136 6 2 1261 6 2
r5110=(-----*a11 *n1 *r5106 - ------*a11 *n2 *r5106
27 1296
214 4 2 2 1261 4 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
27 864
26 2 4 2 2 1261 2 4 2 2
+ ----*a11 *b12 *kap *n1 *r5106 - ------*a11 *b12 *kap *n2 *r5106
9 2592
1 6 3 2 2 4 2
+ ---*b12 *kap *n1 *r5106)/(a11 *b12 *kap*n1 )
3
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5118=------------------------------------
a11*b12
- 4*a11*r5106
r5119=----------------
3*b12
r5120=0
r5121=0
r5122=0
r5123=0
2 2
4*a11 *r5106 + b12 *kap*r5106
r5124=-------------------------------
2
6*b12
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
r5141=0
r5142=0
r5143=0
r5144=0
1
- ---*b12*r5176
2
r5145=------------------
a11
r5146=0
1
- ---*b12*r5176
2
r5147=------------------
a11
r5148=0
r5149=0
1
- ---*b12*r5176
2
r5150=------------------
a11
r5151=0
r5152= - r5176
r5153=0
r5154=0
r5155=0
r5156=0
r5157=0
136 4 2 1261 4 2
r5158=(-----*a11 *n1 *r5106 - ------*a11 *n2 *r5106
27 1296
146 2 2 2 1261 2 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
27 1296
10 4 2 2 3 2
+ ----*b12 *kap *n1 *r5106)/(a11*b12 *kap*n1 )
27
1 2 2 3 2
- ---*a11 *b12*kap*r5176 - ---*b12 *kap *r5176
6 3
r5159=-------------------------------------------------
3
a11
r5160=0
r5161=0
r5162=0
r5163=0
r5164=0
r5165=0
r5166=0
r5167=0
r5168=0
r5169=0
r5170=0
r5171=0
r5172=0
r5173= - r5176
r5174=0
- 4*r5106
r5175=------------
3
r5177=0
r5178=0
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=0
4*a11*r5106
r5188=-------------
3*b12
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5189=------------------------------------
a11*b12
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
r5106
r5206=-------
3
r5207=0
r5208=r5106
r5209=0
r5210= - r5176
r5106
r5211=-------
3
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5212=------------------------------------
a11*b12
r5213=0
r5214=0
136 6 2 1261 6 2
r5215=(-----*a11 *n1 *r5106 - ------*a11 *n2 *r5106
27 1296
214 4 2 2 1261 4 2 2
+ -----*a11 *b12 *kap*n1 *r5106 - ------*a11 *b12 *kap*n2 *r5106
27 864
26 2 4 2 2 1261 2 4 2 2
+ ----*a11 *b12 *kap *n1 *r5106 - ------*a11 *b12 *kap *n2 *r5106
9 2592
1 6 3 2 2 4 2
+ ---*b12 *kap *n1 *r5106)/(a11 *b12 *kap*n1 )
3
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5223=------------------------------------
a11*b12
- 4*a11*r5106
r5224=----------------
3*b12
r5225=0
r5226=0
r5227=0
r5228=0
2 2
4*a11 *r5106 + b12 *kap*r5106
r5229=-------------------------------
2
3*b12
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
r5237=0
4*a11*r5106
r5238=-------------
3*b12
2 1 2
- a11 *r5176 - ---*b12 *kap*r5176
2
r5239=------------------------------------
a11*b12
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
2 2
4*a11 *r5106 + b12 *kap*r5106
r5249=-------------------------------
2
6*b12
r5250=0
r5251=0
m3=0
m2=0
m1=0
2
b12 *kap
a33=----------
a11
a23=0
a22=a11
a13=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r353, r5176, r5106, n2, n1, a11, n3, 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,n3,b12,a11,n1,r5106}
Relevance for the application:
Modulo the following equation:
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2 2 2
HAM=(u1 *a11 + u1*v2*a11*b12 + u1*a11*n1 + u2 *a11 - u2*v1*a11*b12 + u2*a11*n2
2 2
+ u3 *b12 *kap + u3*a11*n3)/a11
has apart from the Hamiltonian and Casimirs the following 3 first integrals:
4 6 6 3 2 4 8 4 2
FI=u1 *u3*(21790080*a11 *b12 *kap *n1 *n3 + 5447520*a11 *b12 *kap *n1 *n3)
3 7 4 2 3 5 6 3 3
+ u1 *u2*(5447520*a11 *b12 *kap *n1 *n2 + 5447520*a11 *b12 *kap *n1 *n2)
3 5 7 3 2 3
+ 43580160*u1 *u3*v2*a11 *b12 *kap *n1 *n3 + u1 *u3*(
7 4 2 3 5 6 3 3
33895680*a11 *b12 *kap *n1 *n3 + 58106880*a11 *b12 *kap *n1 *n3
3 8 4 3
+ 13316160*a11 *b12 *kap *n1 *n3)
3 6 5 2 3 4 7 3 3
+ u1 *v1*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2)
3
+ u1 *v3
6 5 2 2 4 7 3 2
*( - 21790080*a11 *b12 *kap *n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2*n3) +
3 6 4 2 3 2 6 4 2 3 2
u1 *(5447520*a11 *b12 *kap *n1 *n2 - 14526720*a11 *b12 *kap *n1 *n3
4 6 3 3 2 4 6 3 3 2
+ 5447520*a11 *b12 *kap *n1 *n2 + 1815840*a11 *b12 *kap *n1 *n3 ) +
2 2 6 6 3 2 4 8 4 2
u1 *u2 *u3*(43580160*a11 *b12 *kap *n1 *n3 + 10895040*a11 *b12 *kap *n1 *n3)
2 2 7 4 2 4 7 4 2 2 2
+ u1 *u2 *( - 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2
5 6 3 4 5 6 3 2 2
- 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2 )
2 5 7 3 2
- 43580160*u1 *u2*u3*v1*a11 *b12 *kap *n1 *n3
2 5 6 3 2
+ 10895040*u1 *u2*u3*a11 *b12 *kap *n1 *n2*n3
2 6 5 2 3 4 7 3 3
+ u1 *u2*v2*(5447520*a11 *b12 *kap *n1 *n2 + 5447520*a11 *b12 *kap *n1 *n2)
2 6 5 2 3 4 7 3 3
+ u1 *u2*v3*(21790080*a11 *b12 *kap *n1 *n3 + 5447520*a11 *b12 *kap *n1 *n3)
2 6 4 2 2 3
+ u1 *u2*(5447520*a11 *b12 *kap *n1 *n2
6 4 2 2 2
- 11621376*a11 *b12 *kap *n1 *n2*n3
4 6 3 2 3
+ 5447520*a11 *b12 *kap *n1 *n2
4 6 3 2 2 2 3
+ 4721184*a11 *b12 *kap *n1 *n2*n3 ) + u1 *u3 *(
8 4 2 2 8 4 2 2
164636160*a11 *b12 *kap *n1 *n3 - 31802420*a11 *b12 *kap *n2 *n3
6 6 3 2 6 6 3 2
+ 259059840*a11 *b12 *kap *n1 *n3 - 47703630*a11 *b12 *kap *n2 *n3
4 8 4 2 4 8 4 2
+ 94423680*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
2 10 5 2 2 2
+ 10895040*a11 *b12 *kap *n1 *n3) + u1 *u3 *(
9 2 2 2 7 4 2 4
5810688*a11 *b12 *kap*n1 *n3 - 16342560*a11 *b12 *kap *n1
7 4 2 2 2 7 4 2 2 2
+ 11802960*a11 *b12 *kap *n1 *n2 - 15979392*a11 *b12 *kap *n1 *n3
7 4 2 2 2 5 6 3 4
+ 1452672*a11 *b12 *kap *n2 *n3 - 2723760*a11 *b12 *kap *n1
5 6 3 2 2 5 6 3 2 2
+ 4085640*a11 *b12 *kap *n1 *n2 - 35227296*a11 *b12 *kap *n1 *n3
5 6 3 2 2 3 8 4 4
+ 2179008*a11 *b12 *kap *n2 *n3 + 24513840*a11 *b12 *kap *n1
3 8 4 2 2 3 8 4 2 2
- 18612360*a11 *b12 *kap *n1 *n2 + 8352864*a11 *b12 *kap *n1 *n3
3 8 4 2 2 10 5 4
+ 726336*a11 *b12 *kap *n2 *n3 + 10895040*a11*b12 *kap *n1
10 5 2 2
- 10895040*a11*b12 *kap *n1 *n2 )
2 2 4 8 3 2 2
+ 10895040*u1 *u3*v1 *a11 *b12 *kap *n1 *n3 + u1 *u3*v1
6 5 2 2 4 7 3 2
*(43580160*a11 *b12 *kap *n1 *n2*n3 + 27237600*a11 *b12 *kap *n1 *n2*n3)
2 2 4 8 3 2 2
+ 32685120*u1 *u3*v2 *a11 *b12 *kap *n1 *n3 + u1 *u3*v2
6 5 2 3 4 7 3 3
*(43580160*a11 *b12 *kap *n1 *n3 + 81712800*a11 *b12 *kap *n1 *n3)
2 2 4 8 3 2 2 2
+ 10895040*u1 *u3*v3 *a11 *b12 *kap *n1 *n3 + u1 *v1 *(
7 4 2 2 5 6 2 4
- 2905344*a11 *b12 *kap*n1 *n3 + 2723760*a11 *b12 *kap *n1
5 6 2 2 2 5 6 2 2 2
- 3177720*a11 *b12 *kap *n1 *n2 + 10531872*a11 *b12 *kap *n1 *n3
5 6 2 2 2 3 8 3 4
- 726336*a11 *b12 *kap *n2 *n3 + 2723760*a11 *b12 *kap *n1
3 8 3 2 2 3 8 3 2 2
- 3177720*a11 *b12 *kap *n1 *n2 - 8352864*a11 *b12 *kap *n1 *n3
3 8 3 2 2 2
- 726336*a11 *b12 *kap *n2 *n3 ) + u1 *v1*v2
5 6 2 3 3 8 3 3
*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2)
2 5 5 2 4 3 7 3 4
+ u1 *v1*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2)
2 5 6 2 2 2
- 10895040*u1 *v2*v3*a11 *b12 *kap *n1 *n2*n3 + u1 *v2*(
5 5 2 3 2 5 5 2 3 2
5447520*a11 *b12 *kap *n1 *n2 - 10895040*a11 *b12 *kap *n1 *n3
3 7 3 3 2 2
+ 5447520*a11 *b12 *kap *n1 *n2 ) + u1 *v3*(
7 3 3 5 5 2 3
- 28448160*a11 *b12 *kap*n1 *n2*n3 - 52659360*a11 *b12 *kap *n1 *n2*n3
3 7 3 3 2
- 13316160*a11 *b12 *kap *n1 *n2*n3) + u1 *(
7 2 2 2 2 5 4 2 4 2
2905344*a11 *b12 *kap*n1 *n2 *n3 + 2723760*a11 *b12 *kap *n1 *n2
5 4 2 4 2 5 4 2 2 4
- 8171280*a11 *b12 *kap *n1 *n3 + 3177720*a11 *b12 *kap *n1 *n2
5 4 2 2 2 2 5 4 2 4 2
- 2360592*a11 *b12 *kap *n1 *n2 *n3 + 726336*a11 *b12 *kap *n2 *n3
3 6 3 4 2 3 6 3 4 2
+ 2723760*a11 *b12 *kap *n1 *n2 + 2723760*a11 *b12 *kap *n1 *n3
3 6 3 2 4 3 6 3 2 2 2
+ 3177720*a11 *b12 *kap *n1 *n2 - 5265936*a11 *b12 *kap *n1 *n2 *n3
3 6 3 4 2
+ 726336*a11 *b12 *kap *n2 *n3 )
3 7 4 2 3 5 6 3 3
+ u1*u2 *(5447520*a11 *b12 *kap *n1 *n2 + 5447520*a11 *b12 *kap *n1 *n2)
2 5 7 3 2 2
+ 43580160*u1*u2 *u3*v2*a11 *b12 *kap *n1 *n3 + u1*u2 *u3
5 6 3 3 3 8 4 3 2
*(72633600*a11 *b12 *kap *n1 *n3 + 61738560*a11 *b12 *kap *n1 *n3) + u1*u2
6 5 2 3 4 7 3 3
*v1*( - 16342560*a11 *b12 *kap *n1 *n2 - 16342560*a11 *b12 *kap *n1 *n2) + u1
2 6 5 2 4 6 5 2 2 2
*u2 *v2*( - 5447520*a11 *b12 *kap *n1 + 5447520*a11 *b12 *kap *n1 *n2
4 7 3 4 4 7 3 2 2
- 5447520*a11 *b12 *kap *n1 + 5447520*a11 *b12 *kap *n1 *n2 ) + u1
2
*u2 *v3
6 5 2 2 4 7 3 2
*( - 21790080*a11 *b12 *kap *n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2*n3) +
2 6 4 2 3 2 6 4 2 3 2
u1*u2 *(5447520*a11 *b12 *kap *n1 *n2 - 11621376*a11 *b12 *kap *n1 *n3
4 6 3 3 2 4 6 3 3 2
+ 5447520*a11 *b12 *kap *n1 *n2 + 4721184*a11 *b12 *kap *n1 *n3 ) +
2 5 6 3 3 3 8 4 3
u1*u2*u3 *( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2)
4 8 3 2
- 43580160*u1*u2*u3*v1*v2*a11 *b12 *kap *n1 *n3
4 7 3 3
- 21790080*u1*u2*u3*v1*a11 *b12 *kap *n1 *n3
4 7 3 2
+ 21790080*u1*u2*u3*v2*a11 *b12 *kap *n1 *n2*n3 + u1*u2*u3*v3*(
4 7 3 4 4 7 3 2 2
- 10895040*a11 *b12 *kap *n1 + 10895040*a11 *b12 *kap *n1 *n2
2 9 4 4 2 9 4 2 2
- 10895040*a11 *b12 *kap *n1 + 10895040*a11 *b12 *kap *n1 *n2 ) + u1*u2
6 4 2 3
*u3*( - 589315740*a11 *b12 *kap *n1 *n2*n3
6 4 2 3
+ 95407260*a11 *b12 *kap *n1*n2 *n3
4 6 3 3
- 589315740*a11 *b12 *kap *n1 *n2*n3
4 6 3 3 2
+ 95407260*a11 *b12 *kap *n1*n2 *n3) + u1*u2*v1
5 6 2 3 3 8 3 3
*(10895040*a11 *b12 *kap *n1 *n2 + 10895040*a11 *b12 *kap *n1 *n2) + u1*u2*v1
7 4 2 2 5 6 2 4
*v2*( - 5810688*a11 *b12 *kap*n1 *n3 + 5447520*a11 *b12 *kap *n1
5 6 2 2 2 5 6 2 2 2
- 6355440*a11 *b12 *kap *n1 *n2 + 21063744*a11 *b12 *kap *n1 *n3
5 6 2 2 2 3 8 3 4
- 1452672*a11 *b12 *kap *n2 *n3 + 5447520*a11 *b12 *kap *n1
3 8 3 2 2 3 8 3 2 2
- 6355440*a11 *b12 *kap *n1 *n2 - 16705728*a11 *b12 *kap *n1 *n3
3 8 3 2 2
- 1452672*a11 *b12 *kap *n2 *n3 )
5 6 2 2
+ 10895040*u1*u2*v1*v3*a11 *b12 *kap *n1 *n2*n3 + u1*u2*v1*(
5 5 2 3 2 5 5 2 3 2
- 10895040*a11 *b12 *kap *n1 *n2 + 10895040*a11 *b12 *kap *n1 *n3
3 7 3 3 2
- 10895040*a11 *b12 *kap *n1 *n2 )
5 6 2 3
+ 10895040*u1*u2*v2*v3*a11 *b12 *kap *n1 *n3 + u1*u2*v2*(
5 5 2 4 5 5 2 2 3
- 5447520*a11 *b12 *kap *n1 *n2 + 5447520*a11 *b12 *kap *n1 *n2
5 5 2 2 2 3 7 3 4
- 10895040*a11 *b12 *kap *n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2
3 7 3 2 3
+ 5447520*a11 *b12 *kap *n1 *n2 ) + u1*u2*v3*(
5 5 2 4 5 5 2 2 2
5447520*a11 *b12 *kap *n1 *n3 - 5447520*a11 *b12 *kap *n1 *n2 *n3
3 7 3 4 3 7 3 2 2
- 5447520*a11 *b12 *kap *n1 *n3 + 5447520*a11 *b12 *kap *n1 *n2 *n3) + u1
7 2 3 2 5 4 2 3 3
*u2*( - 5810688*a11 *b12 *kap*n1 *n2*n3 - 907920*a11 *b12 *kap *n1 *n2
5 4 2 3 2
- 11621376*a11 *b12 *kap *n1 *n2*n3
5 4 2 3 2 3 6 3 3 3
- 1452672*a11 *b12 *kap *n1*n2 *n3 - 907920*a11 *b12 *kap *n1 *n2
3 6 3 3 2
+ 15979392*a11 *b12 *kap *n1 *n2*n3
3 6 3 3 2 3
- 1452672*a11 *b12 *kap *n1*n2 *n3 ) + u1*u3 *v2*(
7 5 2 2 7 5 2 2
164636160*a11 *b12 *kap *n1 *n3 - 31802420*a11 *b12 *kap *n2 *n3
5 7 3 2 5 7 3 2
+ 176741760*a11 *b12 *kap *n1 *n3 - 31802420*a11 *b12 *kap *n2 *n3
3 9 4 2 3
+ 12105600*a11 *b12 *kap *n1 *n3) + u1*u3 *(
7 4 2 3 7 4 2 2
164636160*a11 *b12 *kap *n1 *n3 - 31802420*a11 *b12 *kap *n1*n2 *n3
5 6 3 3 5 6 3 2
+ 670650240*a11 *b12 *kap *n1 *n3 - 127209680*a11 *b12 *kap *n1*n2 *n3
3 8 4 3 3 8 4 2
+ 516909120*a11 *b12 *kap *n1 *n3 - 95407260*a11 *b12 *kap *n1*n2 *n3
10 5 3 2
+ 21790080*a11*b12 *kap *n1 *n3) + u1*u3 *v1
6 5 2 3 4 7 3 3 2
*( - 8171280*a11 *b12 *kap *n1 *n2 - 8171280*a11 *b12 *kap *n1 *n2) + u1*u3
8 3 2 2 6 5 2 4
*v2*(5810688*a11 *b12 *kap*n1 *n3 - 16342560*a11 *b12 *kap *n1
6 5 2 2 2 6 5 2 2 2
+ 11802960*a11 *b12 *kap *n1 *n2 - 18884736*a11 *b12 *kap *n1 *n3
6 5 2 2 2 4 7 3 4
+ 1452672*a11 *b12 *kap *n2 *n3 + 10895040*a11 *b12 *kap *n1
4 7 3 2 2 4 7 3 2 2
- 9987120*a11 *b12 *kap *n1 *n2 - 24695424*a11 *b12 *kap *n1 *n3
4 7 3 2 2 2 9 4 4
+ 1452672*a11 *b12 *kap *n2 *n3 + 27237600*a11 *b12 *kap *n1
2 9 4 2 2 2
- 21790080*a11 *b12 *kap *n1 *n2 ) + u1*u3 *v3*(
6 5 2 2 6 5 2 3
246954240*a11 *b12 *kap *n1 *n2*n3 - 47703630*a11 *b12 *kap *n2 *n3
4 7 3 2 4 7 3 3
+ 252401760*a11 *b12 *kap *n1 *n2*n3 - 47703630*a11 *b12 *kap *n2 *n3
2 9 4 2 2
+ 10895040*a11 *b12 *kap *n1 *n2*n3) + u1*u3 *(
8 2 3 2 6 4 2 5
5810688*a11 *b12 *kap*n1 *n3 - 16342560*a11 *b12 *kap *n1
6 4 2 3 2 6 4 2 3 2
+ 907920*a11 *b12 *kap *n1 *n2 + 239690880*a11 *b12 *kap *n1 *n3
6 4 2 2 2 4 6 3 3 2
- 46250958*a11 *b12 *kap *n1*n2 *n3 + 13618800*a11 *b12 *kap *n1 *n2
4 6 3 3 2 4 6 3 2 2
+ 207368928*a11 *b12 *kap *n1 *n3 - 43345614*a11 *b12 *kap *n1*n2 *n3
2 8 4 5 2 8 4 3 2
+ 16342560*a11 *b12 *kap *n1 + 12710880*a11 *b12 *kap *n1 *n2
2 8 4 3 2 2 8 4 2 2
+ 726336*a11 *b12 *kap *n1 *n3 + 2905344*a11 *b12 *kap *n1*n2 *n3 )
2 3 8 3 3
+ 10895040*u1*u3*v1 *a11 *b12 *kap *n1 *n3
5 6 2 2
+ 10895040*u1*u3*v1*v2*a11 *b12 *kap *n1 *n2*n3 + u1*u3*v1*v3*(
7 4 2 2 5 6 2 4
- 5810688*a11 *b12 *kap*n1 *n3 + 5447520*a11 *b12 *kap *n1
5 6 2 2 2 5 6 2 2 2
- 6355440*a11 *b12 *kap *n1 *n2 + 21063744*a11 *b12 *kap *n1 *n3
5 6 2 2 2 3 8 3 4
- 1452672*a11 *b12 *kap *n2 *n3 + 5447520*a11 *b12 *kap *n1
3 8 3 2 2 3 8 3 2 2
- 6355440*a11 *b12 *kap *n1 *n2 - 16705728*a11 *b12 *kap *n1 *n3
3 8 3 2 2
- 1452672*a11 *b12 *kap *n2 *n3 )
3 7 3 3 2
- 10895040*u1*u3*v1*a11 *b12 *kap *n1 *n2*n3 + u1*u3*v2
5 6 2 3 3 8 3 3
*( - 10895040*a11 *b12 *kap *n1 *n3 + 10895040*a11 *b12 *kap *n1 *n3) + u1*u3
7 3 2 3 5 5 2 4
*v2*( - 11621376*a11 *b12 *kap*n1 *n3 - 5447520*a11 *b12 *kap *n1 *n3
5 5 2 2 2 5 5 2 2 3
- 5447520*a11 *b12 *kap *n1 *n2 *n3 + 10168704*a11 *b12 *kap *n1 *n3
3 7 3 4 3 7 3 2 2
+ 5447520*a11 *b12 *kap *n1 *n3 - 5447520*a11 *b12 *kap *n1 *n2 *n3)
2 3 8 3 3
+ 10895040*u1*u3*v3 *a11 *b12 *kap *n1 *n3 + u1*u3*v3*(
7 3 2 2 5 5 2 4
5810688*a11 *b12 *kap*n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2
5 5 2 2 3 5 5 2 2 2
+ 6355440*a11 *b12 *kap *n1 *n2 - 10168704*a11 *b12 *kap *n1 *n2*n3
5 5 2 3 2 3 7 3 4
+ 1452672*a11 *b12 *kap *n2 *n3 - 5447520*a11 *b12 *kap *n1 *n2
3 7 3 2 3 3 7 3 2 2
+ 6355440*a11 *b12 *kap *n1 *n2 - 5084352*a11 *b12 *kap *n1 *n2*n3
3 7 3 3 2
+ 1452672*a11 *b12 *kap *n2 *n3 ) + u1*u3*(
7 2 3 3 5 4 2 3 2
- 5810688*a11 *b12 *kap*n1 *n3 - 907920*a11 *b12 *kap *n1 *n2 *n3
5 4 2 3 3 5 4 2 2 3
- 11621376*a11 *b12 *kap *n1 *n3 + 1452672*a11 *b12 *kap *n1*n2 *n3
3 6 3 3 2 3 6 3 3 3
- 907920*a11 *b12 *kap *n1 *n2 *n3 + 15979392*a11 *b12 *kap *n1 *n3
3 6 3 2 3
+ 1452672*a11 *b12 *kap *n1*n2 *n3 )
2 4 7 2 2
+ 5447520*u1*v1 *v3*a11 *b12 *kap *n1 *n2*n3
2 4 6 2 3 2
+ 5447520*u1*v1 *a11 *b12 *kap *n1 *n3
2 4 7 2 2
+ 5447520*u1*v2 *v3*a11 *b12 *kap *n1 *n2*n3
2 4 6 2 3 2
+ 5447520*u1*v2 *a11 *b12 *kap *n1 *n3
3 4 7 2 2
+ 5447520*u1*v3 *a11 *b12 *kap *n1 *n2*n3
2 4 6 2 3 2
+ 5447520*u1*v3 *a11 *b12 *kap *n1 *n3 + u1*v3*(
6 3 2 3 6 3 2 3
5447520*a11 *b12 *kap*n1 *n2 *n3 - 11621376*a11 *b12 *kap*n1 *n2*n3
4 5 2 2 3 4 5 2 2 3
+ 5447520*a11 *b12 *kap *n1 *n2 *n3 + 4721184*a11 *b12 *kap *n1 *n2*n3 )
6 2 3 2 2 6 2 3 4
+ u1*( - 907920*a11 *b12 *kap*n1 *n2 *n3 - 5810688*a11 *b12 *kap*n1 *n3
4 4 2 3 2 2 4 4 2 3 4
- 907920*a11 *b12 *kap *n1 *n2 *n3 + 10531872*a11 *b12 *kap *n1 *n3 )
4 6 6 3 2 4 8 4 2
+ u2 *u3*(21790080*a11 *b12 *kap *n1 *n3 + 5447520*a11 *b12 *kap *n1 *n3) +
4 7 4 2 4 7 4 2 2 2
u2 *( - 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2
5 6 3 4 5 6 3 2 2
- 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2 )
3 5 7 3 2 3
- 43580160*u2 *u3*v1*a11 *b12 *kap *n1 *n3 + u2 *u3
5 6 3 2 3 8 4 2 3
*(14526720*a11 *b12 *kap *n1 *n2*n3 + 3631680*a11 *b12 *kap *n1 *n2*n3) + u2
6 5 2 4 6 5 2 2 2
*v1*(5447520*a11 *b12 *kap *n1 - 5447520*a11 *b12 *kap *n1 *n2
4 7 3 4 4 7 3 2 2
+ 5447520*a11 *b12 *kap *n1 - 5447520*a11 *b12 *kap *n1 *n2 )
3 6 5 2 3 4 7 3 3
+ u2 *v2*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2)
3 6 5 2 3 4 7 3 3
+ u2 *v3*(21790080*a11 *b12 *kap *n1 *n3 + 5447520*a11 *b12 *kap *n1 *n3) +
3 6 4 2 2 3 6 4 2 2 2
u2 *(5447520*a11 *b12 *kap *n1 *n2 - 9684480*a11 *b12 *kap *n1 *n2*n3
4 6 3 2 3 4 6 3 2 2
+ 5447520*a11 *b12 *kap *n1 *n2 + 6658080*a11 *b12 *kap *n1 *n2*n3 ) +
2 3 8 4 2 2 8 4 2 2
u2 *u3 *(164636160*a11 *b12 *kap *n1 *n3 - 31802420*a11 *b12 *kap *n2 *n3
6 6 3 2 6 6 3 2
+ 259059840*a11 *b12 *kap *n1 *n3 - 47703630*a11 *b12 *kap *n2 *n3
4 8 4 2 4 8 4 2
+ 94423680*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
2 10 5 2 2 2
+ 10895040*a11 *b12 *kap *n1 *n3) + u2 *u3 *(
9 2 2 2 7 4 2 4
5810688*a11 *b12 *kap*n1 *n3 - 16342560*a11 *b12 *kap *n1
7 4 2 2 2 7 4 2 2 2
+ 11802960*a11 *b12 *kap *n1 *n2 - 15979392*a11 *b12 *kap *n1 *n3
7 4 2 2 2 5 6 3 4
+ 1452672*a11 *b12 *kap *n2 *n3 + 10895040*a11 *b12 *kap *n1
5 6 3 2 2 5 6 3 2 2
- 9533160*a11 *b12 *kap *n1 *n2 - 35227296*a11 *b12 *kap *n1 *n3
5 6 3 2 2 3 8 4 4
+ 2179008*a11 *b12 *kap *n2 *n3 + 16342560*a11 *b12 *kap *n1
3 8 4 2 2 3 8 4 2 2
- 10441080*a11 *b12 *kap *n1 *n2 + 8352864*a11 *b12 *kap *n1 *n3
3 8 4 2 2 10 5 4
+ 726336*a11 *b12 *kap *n2 *n3 - 10895040*a11*b12 *kap *n1
10 5 2 2
+ 10895040*a11*b12 *kap *n1 *n2 )
2 2 4 8 3 2 2
+ 32685120*u2 *u3*v1 *a11 *b12 *kap *n1 *n3 + u2 *u3*v1
6 5 2 2 4 7 3 2
*(14526720*a11 *b12 *kap *n1 *n2*n3 - 23605920*a11 *b12 *kap *n1 *n2*n3)
2 2 4 8 3 2 2
+ 10895040*u2 *u3*v2 *a11 *b12 *kap *n1 *n3 + u2 *u3*v2
6 5 2 3 4 7 3 3
*( - 43580160*a11 *b12 *kap *n1 *n3 - 27237600*a11 *b12 *kap *n1 *n3)
2 2 4 8 3 2 2
+ 10895040*u2 *u3*v3 *a11 *b12 *kap *n1 *n3 + u2 *u3*v3
6 5 2 3 4 7 3 3 2
*( - 10895040*a11 *b12 *kap *n1 *n2 - 10895040*a11 *b12 *kap *n1 *n2) + u2
6 4 2 2 2 6 4 2 4
*u3*( - 222024270*a11 *b12 *kap *n1 *n2 *n3 + 47703630*a11 *b12 *kap *n2 *n3
4 6 3 2 2 4 6 3 4
- 222024270*a11 *b12 *kap *n1 *n2 *n3 + 47703630*a11 *b12 *kap *n2 *n3)
2 2 5 6 2 4 5 6 2 2 2
+ u2 *v1 *( - 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2
3 8 3 4 3 8 3 2 2
- 2723760*a11 *b12 *kap *n1 + 2723760*a11 *b12 *kap *n1 *n2 )
2 5 6 2 3 3 8 3 3
+ u2 *v1*v2*(5447520*a11 *b12 *kap *n1 *n2 + 5447520*a11 *b12 *kap *n1 *n2)
2 5 6 2 3 2
- 10895040*u2 *v1*v3*a11 *b12 *kap *n1 *n3 + u2 *v1*(
5 5 2 2 3 5 5 2 2 2
- 5447520*a11 *b12 *kap *n1 *n2 + 10895040*a11 *b12 *kap *n1 *n2*n3
3 7 3 2 3 2 2
- 5447520*a11 *b12 *kap *n1 *n2 ) + u2 *v2 *(
7 4 2 2 5 6 2 2 2
- 2905344*a11 *b12 *kap*n1 *n3 - 453960*a11 *b12 *kap *n1 *n2
5 6 2 2 2 5 6 2 2 2
+ 10531872*a11 *b12 *kap *n1 *n3 - 726336*a11 *b12 *kap *n2 *n3
3 8 3 2 2 3 8 3 2 2
- 453960*a11 *b12 *kap *n1 *n2 - 8352864*a11 *b12 *kap *n1 *n3
3 8 3 2 2 2
- 726336*a11 *b12 *kap *n2 *n3 ) + u2 *v2
5 5 2 3 2 3 7 3 3 2 2
*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2 ) + u2
5 5 2 3 3 7 3 3
*v3*(5447520*a11 *b12 *kap *n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2*n3) +
2 7 2 4 2 5 4 2 4 2
u2 *(2905344*a11 *b12 *kap*n1 *n3 + 3177720*a11 *b12 *kap *n1 *n2
5 4 2 4 2 5 4 2 2 4
- 2360592*a11 *b12 *kap *n1 *n3 + 2723760*a11 *b12 *kap *n1 *n2
5 4 2 2 2 2 3 6 3 4 2
- 7444944*a11 *b12 *kap *n1 *n2 *n3 + 3177720*a11 *b12 *kap *n1 *n2
3 6 3 4 2 3 6 3 2 4
- 5265936*a11 *b12 *kap *n1 *n3 + 2723760*a11 *b12 *kap *n1 *n2
3 6 3 2 2 2 3
+ 3450096*a11 *b12 *kap *n1 *n2 *n3 ) + u2*u3 *v1*(
7 5 2 2 7 5 2 2
- 164636160*a11 *b12 *kap *n1 *n3 + 31802420*a11 *b12 *kap *n2 *n3
5 7 3 2 5 7 3 2
- 176741760*a11 *b12 *kap *n1 *n3 + 31802420*a11 *b12 *kap *n2 *n3
3 9 4 2 3
- 12105600*a11 *b12 *kap *n1 *n3) + u2*u3 *(
7 4 2 2 7 4 2 3
164636160*a11 *b12 *kap *n1 *n2*n3 - 31802420*a11 *b12 *kap *n2 *n3
5 6 3 2 5 6 3 3
+ 670650240*a11 *b12 *kap *n1 *n2*n3 - 127209680*a11 *b12 *kap *n2 *n3
3 8 4 2 3 8 4 3
+ 516909120*a11 *b12 *kap *n1 *n2*n3 - 95407260*a11 *b12 *kap *n2 *n3
10 5 2 2
+ 21790080*a11*b12 *kap *n1 *n2*n3) + u2*u3 *v1*(
8 3 2 2 6 5 2 4
- 5810688*a11 *b12 *kap*n1 *n3 + 16342560*a11 *b12 *kap *n1
6 5 2 2 2 6 5 2 2 2
- 11802960*a11 *b12 *kap *n1 *n2 + 18884736*a11 *b12 *kap *n1 *n3
6 5 2 2 2 4 7 3 2 2
- 1452672*a11 *b12 *kap *n2 *n3 - 907920*a11 *b12 *kap *n1 *n2
4 7 3 2 2 4 7 3 2 2
+ 24695424*a11 *b12 *kap *n1 *n3 - 1452672*a11 *b12 *kap *n2 *n3
2 9 4 4 2 9 4 2 2
- 16342560*a11 *b12 *kap *n1 + 10895040*a11 *b12 *kap *n1 *n2 )
2 6 5 2 3 4 7 3 3
+ u2*u3 *v2*(2723760*a11 *b12 *kap *n1 *n2 + 2723760*a11 *b12 *kap *n1 *n2)
2 6 5 2 3
+ u2*u3 *v3*( - 246954240*a11 *b12 *kap *n1 *n3
6 5 2 2
+ 47703630*a11 *b12 *kap *n1*n2 *n3
4 7 3 3
- 252401760*a11 *b12 *kap *n1 *n3
4 7 3 2
+ 47703630*a11 *b12 *kap *n1*n2 *n3
2 9 4 3 2
- 10895040*a11 *b12 *kap *n1 *n3) + u2*u3 *(
8 2 2 2 6 4 2 4
5810688*a11 *b12 *kap*n1 *n2*n3 - 16342560*a11 *b12 *kap *n1 *n2
6 4 2 2 3 6 4 2 2 2
+ 11802960*a11 *b12 *kap *n1 *n2 + 239690880*a11 *b12 *kap *n1 *n2*n3
6 4 2 3 2 4 6 3 2 3
- 46250958*a11 *b12 *kap *n2 *n3 + 2723760*a11 *b12 *kap *n1 *n2
4 6 3 2 2 4 6 3 3 2
+ 207368928*a11 *b12 *kap *n1 *n2*n3 - 43345614*a11 *b12 *kap *n2 *n3
2 8 4 4 2 8 4 2 3
+ 16342560*a11 *b12 *kap *n1 *n2 - 9079200*a11 *b12 *kap *n1 *n2
2 8 4 2 2 2 8 4 3 2
+ 726336*a11 *b12 *kap *n1 *n2*n3 + 2905344*a11 *b12 *kap *n2 *n3 ) + u2
2
*u3*v1
5 6 2 2 3 8 3 2
*( - 10895040*a11 *b12 *kap *n1 *n2*n3 + 10895040*a11 *b12 *kap *n1 *n2*n3)
5 6 2 3
+ 10895040*u2*u3*v1*v2*a11 *b12 *kap *n1 *n3 + u2*u3*v1*v3
5 6 2 3 3 8 3 3
*(10895040*a11 *b12 *kap *n1 *n2 + 10895040*a11 *b12 *kap *n1 *n2) + u2*u3*v1
7 3 2 3 5 5 2 2 2
*(11621376*a11 *b12 *kap*n1 *n3 + 10895040*a11 *b12 *kap *n1 *n2 *n3
5 5 2 2 3
- 10168704*a11 *b12 *kap *n1 *n3 )
2 3 8 3 2
+ 10895040*u2*u3*v2 *a11 *b12 *kap *n1 *n2*n3 + u2*u3*v2*v3*(
7 4 2 2 5 6 2 2 2
- 5810688*a11 *b12 *kap*n1 *n3 - 907920*a11 *b12 *kap *n1 *n2
5 6 2 2 2 5 6 2 2 2
+ 21063744*a11 *b12 *kap *n1 *n3 - 1452672*a11 *b12 *kap *n2 *n3
3 8 3 2 2 3 8 3 2 2
- 907920*a11 *b12 *kap *n1 *n2 - 16705728*a11 *b12 *kap *n1 *n3
3 8 3 2 2
- 1452672*a11 *b12 *kap *n2 *n3 )
5 5 2 3
- 10895040*u2*u3*v2*a11 *b12 *kap *n1 *n2*n3
2 3 8 3 2
+ 10895040*u2*u3*v3 *a11 *b12 *kap *n1 *n2*n3 + u2*u3*v3*(
7 3 3 2 5 5 2 3 2
- 5810688*a11 *b12 *kap*n1 *n3 - 11802960*a11 *b12 *kap *n1 *n2
5 5 2 3 2 5 5 2 2 2
+ 10168704*a11 *b12 *kap *n1 *n3 - 1452672*a11 *b12 *kap *n1*n2 *n3
3 7 3 3 2 3 7 3 3 2
- 11802960*a11 *b12 *kap *n1 *n2 + 5084352*a11 *b12 *kap *n1 *n3
3 7 3 2 2
- 1452672*a11 *b12 *kap *n1*n2 *n3 ) + u2*u3*(
7 2 2 3 5 4 2 2 3
- 5810688*a11 *b12 *kap*n1 *n2*n3 + 11802960*a11 *b12 *kap *n1 *n2 *n3
5 4 2 2 3 5 4 2 3 3
- 8716032*a11 *b12 *kap *n1 *n2*n3 + 1452672*a11 *b12 *kap *n2 *n3
3 6 3 2 3 3 6 3 2 3
+ 11802960*a11 *b12 *kap *n1 *n2 *n3 + 18884736*a11 *b12 *kap *n1 *n2*n3
3 6 3 3 3
+ 1452672*a11 *b12 *kap *n2 *n3 )
2 4 7 2 3
- 5447520*u2*v1 *v3*a11 *b12 *kap *n1 *n3
2 4 6 2 2 2
+ 5447520*u2*v1 *a11 *b12 *kap *n1 *n2*n3
2 4 7 2 3
- 5447520*u2*v2 *v3*a11 *b12 *kap *n1 *n3
2 4 6 2 2 2
+ 5447520*u2*v2 *a11 *b12 *kap *n1 *n2*n3 + u2*v2*(
6 3 5 6 3 3 3
32685120*a11 *b12 *kap*n1 *n2 - 10895040*a11 *b12 *kap*n1 *n2
6 3 3 2
- 1074508188*a11 *b12 *kap*n1 *n2*n3
6 3 3 2 4 5 2 3 3
+ 190814520*a11 *b12 *kap*n1*n2 *n3 + 5447520*a11 *b12 *kap *n1 *n2
4 5 2 3 2
- 1044002076*a11 *b12 *kap *n1 *n2*n3
4 5 2 3 2 2 7 3 5
+ 182098488*a11 *b12 *kap *n1*n2 *n3 - 32685120*a11 *b12 *kap *n1 *n2
2 7 3 3 3 2 7 3 3 2
+ 16342560*a11 *b12 *kap *n1 *n2 + 30506112*a11 *b12 *kap *n1 *n2*n3
2 7 3 3 2
- 8716032*a11 *b12 *kap *n1*n2 *n3 )
3 4 7 2 3
- 5447520*u2*v3 *a11 *b12 *kap *n1 *n3
2 4 6 2 2 2
+ 5447520*u2*v3 *a11 *b12 *kap *n1 *n2*n3 + u2*v3*(
6 3 3 2 6 3 3 3
- 227471790*a11 *b12 *kap*n1 *n2 *n3 + 11621376*a11 *b12 *kap*n1 *n3
6 3 4 4 5 2 3 2
+ 47703630*a11 *b12 *kap*n1*n2 *n3 - 227471790*a11 *b12 *kap *n1 *n2 *n3
4 5 2 3 3 4 5 2 4
- 4721184*a11 *b12 *kap *n1 *n3 + 47703630*a11 *b12 *kap *n1*n2 *n3) +
8 2 4 6 2 6
u2*(17432064*a11 *n1 *n2*n3 - 32685120*a11 *b12 *kap*n1 *n2
6 2 4 3 6 2 4 2
+ 10895040*a11 *b12 *kap*n1 *n2 + 2034255288*a11 *b12 *kap*n1 *n2*n3
6 2 2 3 2 6 2 2 4
- 224653455*a11 *b12 *kap*n1 *n2 *n3 - 9442368*a11 *b12 *kap*n1 *n2*n3
4 4 2 4 3 4 4 2 4 2
- 5447520*a11 *b12 *kap *n1 *n2 + 1995577896*a11 *b12 *kap *n1 *n2*n3
4 4 2 2 3 2
- 198686943*a11 *b12 *kap *n1 *n2 *n3
4 4 2 2 4 2 6 3 6
- 4721184*a11 *b12 *kap *n1 *n2*n3 + 32685120*a11 *b12 *kap *n1 *n2
2 6 3 4 3 2 6 3 4 2
- 16342560*a11 *b12 *kap *n1 *n2 - 38677392*a11 *b12 *kap *n1 *n2*n3
2 6 3 2 3 2
+ 25966512*a11 *b12 *kap *n1 *n2 *n3
2 6 3 2 4 5
+ 5810688*a11 *b12 *kap *n1 *n2*n3 ) + u3 *(
6 6 3 2 6 6 3 2
- 148172544*a11 *b12 *kap *n1 *n3 + 28622178*a11 *b12 *kap *n2 *n3
4 8 4 2 4 8 4 2
+ 106892448*a11 *b12 *kap *n1 *n3 - 9540726*a11 *b12 *kap *n2 *n3
2 10 5 2 2 10 5 2
+ 258333504*a11 *b12 *kap *n1 *n3 - 38162904*a11 *b12 *kap *n2 *n3
12 6 2 4 7 4 2 4
+ 8716032*b12 *kap *n1 *n3) + u3 *( - 2723760*a11 *b12 *kap *n1
7 4 2 2 2 7 4 2 2 2
+ 3177720*a11 *b12 *kap *n1 *n2 + 1089504*a11 *b12 *kap *n1 *n3
7 4 2 4 7 4 2 2 2
- 1815840*a11 *b12 *kap *n2 + 7753889*a11 *b12 *kap *n2 *n3
5 6 3 2 2 5 6 3 2 2
- 6809400*a11 *b12 *kap *n1 *n2 + 79896960*a11 *b12 *kap *n1 *n3
5 6 3 4 5 6 3 2 2
+ 5447520*a11 *b12 *kap *n2 - 23655099*a11 *b12 *kap *n2 *n3
3 8 4 4 3 8 4 2 2
+ 5447520*a11 *b12 *kap *n1 - 2723760*a11 *b12 *kap *n1 *n2
3 8 4 2 2 3 8 4 2 2
+ 67912416*a11 *b12 *kap *n1 *n3 - 31408988*a11 *b12 *kap *n2 *n3
10 5 4 10 5 2 2
+ 2723760*a11*b12 *kap *n1 + 7263360*a11*b12 *kap *n1 *n2
10 5 2 2 10 5 4 3 2
+ 10895040*a11*b12 *kap *n1 *n3 - 7263360*a11*b12 *kap *n2 ) + u3 *v1
6 6 2 2 6 6 2 2
*(82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
4 8 3 2 4 8 3 2
+ 82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
2 10 4 2 3
+ 10895040*a11 *b12 *kap *n1 *n3) + u3 *v1*(
6 5 2 2 6 5 2 3
- 246954240*a11 *b12 *kap *n1 *n2*n3 + 47703630*a11 *b12 *kap *n2 *n3
4 7 3 2 4 7 3 3
- 252401760*a11 *b12 *kap *n1 *n2*n3 + 47703630*a11 *b12 *kap *n2 *n3
2 9 4 2 3 2
- 10895040*a11 *b12 *kap *n1 *n2*n3) + u3 *v2 *(
6 6 2 2 6 6 2 2
82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
4 8 3 2 4 8 3 2
+ 82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
2 10 4 2 3
+ 10895040*a11 *b12 *kap *n1 *n3) + u3 *v2*(
6 5 2 3 6 5 2 2
246954240*a11 *b12 *kap *n1 *n3 - 47703630*a11 *b12 *kap *n1*n2 *n3
4 7 3 3 4 7 3 2
+ 252401760*a11 *b12 *kap *n1 *n3 - 47703630*a11 *b12 *kap *n1*n2 *n3
2 9 4 3 3 2
+ 10895040*a11 *b12 *kap *n1 *n3) + u3 *v3 *(
6 6 2 2 6 6 2 2
82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
4 8 3 2 4 8 3 2
+ 82318080*a11 *b12 *kap *n1 *n3 - 15901210*a11 *b12 *kap *n2 *n3
2 10 4 2 3
+ 10895040*a11 *b12 *kap *n1 *n3) + u3 *v3*(
6 5 2 3 4 7 3 3
2723760*a11 *b12 *kap *n1 *n2 - 8171280*a11 *b12 *kap *n1 *n2
2 9 4 3 3
- 10895040*a11 *b12 *kap *n1 *n2) + u3 *(
6 4 2 4 6 4 2 2 2
- 128924640*a11 *b12 *kap *n1 *n3 - 24457095*a11 *b12 *kap *n1 *n2 *n3
6 4 2 2 3 6 4 2 2 3
+ 84981312*a11 *b12 *kap *n1 *n3 - 16385434*a11 *b12 *kap *n2 *n3
4 6 3 4 4 6 3 2 2
- 120753360*a11 *b12 *kap *n1 *n3 - 25365015*a11 *b12 *kap *n1 *n2 *n3
4 6 3 2 3 4 6 3 2 3
+ 52296192*a11 *b12 *kap *n1 *n3 - 14448538*a11 *b12 *kap *n2 *n3
2 8 4 4 2 8 4 2 2
+ 8171280*a11 *b12 *kap *n1 *n3 - 907920*a11 *b12 *kap *n1 *n2 *n3
2 8 4 2 3 2 8 4 2 3 2
+ 10895040*a11 *b12 *kap *n1 *n3 + 1936896*a11 *b12 *kap *n2 *n3 ) + u3
2 7 4 2 2 5 6 2 4
*v1 *(2905344*a11 *b12 *kap*n1 *n3 - 2723760*a11 *b12 *kap *n1
5 6 2 2 2 5 6 2 2 2
+ 3177720*a11 *b12 *kap *n1 *n2 - 10531872*a11 *b12 *kap *n1 *n3
5 6 2 2 2 3 8 3 4
+ 726336*a11 *b12 *kap *n2 *n3 - 2723760*a11 *b12 *kap *n1
3 8 3 2 2 3 8 3 2 2
+ 3177720*a11 *b12 *kap *n1 *n2 + 8352864*a11 *b12 *kap *n1 *n3
3 8 3 2 2 2
+ 726336*a11 *b12 *kap *n2 *n3 ) + u3 *v1*v2
5 6 2 3 3 8 3 3 2
*( - 5447520*a11 *b12 *kap *n1 *n2 - 5447520*a11 *b12 *kap *n1 *n2) + u3 *v1*
7 3 2 2 5 5 2 2 3
( - 5810688*a11 *b12 *kap*n1 *n2*n3 - 6355440*a11 *b12 *kap *n1 *n2
5 5 2 2 2 5 5 2 3 2
+ 10168704*a11 *b12 *kap *n1 *n2*n3 - 1452672*a11 *b12 *kap *n2 *n3
3 7 3 2 3 3 7 3 2 2
- 6355440*a11 *b12 *kap *n1 *n2 + 5084352*a11 *b12 *kap *n1 *n2*n3
3 7 3 3 2 2 2 7 4 2 2
- 1452672*a11 *b12 *kap *n2 *n3 ) + u3 *v2 *(2905344*a11 *b12 *kap*n1 *n3
5 6 2 2 2 5 6 2 2 2
+ 453960*a11 *b12 *kap *n1 *n2 - 10531872*a11 *b12 *kap *n1 *n3
5 6 2 2 2 3 8 3 2 2
+ 726336*a11 *b12 *kap *n2 *n3 + 453960*a11 *b12 *kap *n1 *n2
3 8 3 2 2 3 8 3 2 2 2
+ 8352864*a11 *b12 *kap *n1 *n3 + 726336*a11 *b12 *kap *n2 *n3 ) + u3
7 3 3 2 5 5 2 3 2
*v2*(5810688*a11 *b12 *kap*n1 *n3 + 6355440*a11 *b12 *kap *n1 *n2
5 5 2 3 2 5 5 2 2 2
- 10168704*a11 *b12 *kap *n1 *n3 + 1452672*a11 *b12 *kap *n1*n2 *n3
3 7 3 3 2 3 7 3 3 2
+ 6355440*a11 *b12 *kap *n1 *n2 - 5084352*a11 *b12 *kap *n1 *n3
3 7 3 2 2 2
+ 1452672*a11 *b12 *kap *n1*n2 *n3 ) + u3 *v3
5 5 2 3 3 7 3 3
*( - 5447520*a11 *b12 *kap *n1 *n2*n3 - 5447520*a11 *b12 *kap *n1 *n2*n3) +
2 7 2 6 7 2 4 2
u3 *(2723760*a11 *b12 *kap*n1 - 1815840*a11 *b12 *kap*n1 *n2
7 2 4 2 7 2 2 4
- 83407584*a11 *b12 *kap*n1 *n3 + 1815840*a11 *b12 *kap*n1 *n2
7 2 2 2 2 7 2 2 4
+ 18836818*a11 *b12 *kap*n1 *n2 *n3 + 2905344*a11 *b12 *kap*n1 *n3
5 4 2 4 2 5 4 2 4 2
+ 7263360*a11 *b12 *kap *n1 *n2 - 86131344*a11 *b12 *kap *n1 *n3
5 4 2 2 4 5 4 2 2 2 2
+ 907920*a11 *b12 *kap *n1 *n2 + 9303658*a11 *b12 *kap *n1 *n2 *n3
5 4 2 2 4 5 4 2 2 4
- 22153248*a11 *b12 *kap *n1 *n3 + 726336*a11 *b12 *kap *n2 *n3
3 6 3 6 3 6 3 4 2
- 2723760*a11 *b12 *kap *n1 + 9079200*a11 *b12 *kap *n1 *n2
3 6 3 4 2 3 6 3 2 4
- 2723760*a11 *b12 *kap *n1 *n3 - 907920*a11 *b12 *kap *n1 *n2
3 6 3 2 2 2 3 6 3 2 4
- 9533160*a11 *b12 *kap *n1 *n2 *n3 + 18521568*a11 *b12 *kap *n1 *n3
3 6 3 2 4 4 4 8 2 2
+ 726336*a11 *b12 *kap *n2 *n3 ) + 5447520*u3*v1 *a11 *b12 *kap *n1 *n3
3 4 7 2 2
- 5447520*u3*v1 *a11 *b12 *kap *n1 *n2*n3
2 2 4 8 2 2
+ 10895040*u3*v1 *v2 *a11 *b12 *kap *n1 *n3
2 4 7 2 3
+ 5447520*u3*v1 *v2*a11 *b12 *kap *n1 *n3
2 2 4 8 2 2 2
+ 10895040*u3*v1 *v3 *a11 *b12 *kap *n1 *n3 + u3*v1 *(
8 2 2 3 6 4 4
11621376*a11 *b12 *n1 *n3 - 28145520*a11 *b12 *kap*n1 *n3
6 4 2 2 6 4 2 3
- 233335440*a11 *b12 *kap*n1 *n2 *n3 - 10168704*a11 *b12 *kap*n1 *n3
6 4 4 4 6 2 4
+ 47703630*a11 *b12 *kap*n2 *n3 - 33593040*a11 *b12 *kap *n1 *n3
4 6 2 2 2 4 6 2 4
- 238782960*a11 *b12 *kap *n1 *n2 *n3 + 47703630*a11 *b12 *kap *n2 *n3
2 8 3 4 2 8 3 2 2
- 5447520*a11 *b12 *kap *n1 *n3 - 5447520*a11 *b12 *kap *n1 *n2 *n3)
2 4 7 2 2
- 5447520*u3*v1*v2 *a11 *b12 *kap *n1 *n2*n3
2 4 7 2 2
- 5447520*u3*v1*v3 *a11 *b12 *kap *n1 *n2*n3 + u3*v1*(
8 2 3 6 3 4
- 17432064*a11 *b12*n1 *n2*n3 - 959747100*a11 *b12 *kap*n1 *n2*n3
6 3 2 3 6 3 2 3
+ 33838935*a11 *b12 *kap*n1 *n2 *n3 + 9442368*a11 *b12 *kap*n1 *n2*n3
4 5 2 4 4 5 2 2 3
- 951575820*a11 *b12 *kap *n1 *n2*n3 + 16588455*a11 *b12 *kap *n1 *n2 *n3
4 5 2 2 3 2 7 3 4
+ 4721184*a11 *b12 *kap *n1 *n2*n3 + 8171280*a11 *b12 *kap *n1 *n2*n3
2 7 3 2 3 2 7 3 2 3
- 17250480*a11 *b12 *kap *n1 *n2 *n3 - 5810688*a11 *b12 *kap *n1 *n2*n3 )
4 4 8 2 2
+ 5447520*u3*v2 *a11 *b12 *kap *n1 *n3
3 4 7 2 3
+ 5447520*u3*v2 *a11 *b12 *kap *n1 *n3
2 2 4 8 2 2 2
+ 10895040*u3*v2 *v3 *a11 *b12 *kap *n1 *n3 + u3*v2 *(
8 2 2 3 6 4 4
11621376*a11 *b12 *n1 *n3 - 28145520*a11 *b12 *kap*n1 *n3
6 4 2 2 6 4 2 3
- 233335440*a11 *b12 *kap*n1 *n2 *n3 - 10168704*a11 *b12 *kap*n1 *n3
6 4 4 4 6 2 4
+ 47703630*a11 *b12 *kap*n2 *n3 - 33593040*a11 *b12 *kap *n1 *n3
4 6 2 2 2 4 6 2 4
- 238782960*a11 *b12 *kap *n1 *n2 *n3 + 47703630*a11 *b12 *kap *n2 *n3
2 8 3 4 2 8 3 2 2
- 5447520*a11 *b12 *kap *n1 *n3 - 5447520*a11 *b12 *kap *n1 *n2 *n3)
2 4 7 2 3
+ 5447520*u3*v2*v3 *a11 *b12 *kap *n1 *n3 + u3*v2*(
6 3 3 2 6 3 3 3
- 907920*a11 *b12 *kap*n1 *n2 *n3 - 5810688*a11 *b12 *kap*n1 *n3
4 5 2 3 2 4 5 2 3 3
- 907920*a11 *b12 *kap *n1 *n2 *n3 + 10531872*a11 *b12 *kap *n1 *n3 )
4 4 8 2 2 2 8 2 2 3
+ 5447520*u3*v3 *a11 *b12 *kap *n1 *n3 + u3*v3 *(11621376*a11 *b12 *n1 *n3
6 4 4 6 4 2 2
- 28145520*a11 *b12 *kap*n1 *n3 - 233335440*a11 *b12 *kap*n1 *n2 *n3
6 4 2 3 6 4 4
- 10168704*a11 *b12 *kap*n1 *n3 + 47703630*a11 *b12 *kap*n2 *n3
4 6 2 4 4 6 2 2 2
- 33593040*a11 *b12 *kap *n1 *n3 - 238782960*a11 *b12 *kap *n1 *n2 *n3
4 6 2 4 2 8 3 4
+ 47703630*a11 *b12 *kap *n2 *n3 - 5447520*a11 *b12 *kap *n1 *n3
2 8 3 2 2
- 5447520*a11 *b12 *kap *n1 *n2 *n3) + u3*(
6 2 2 2 3 6 2 2 5
4700160*a11 *b12 *kap*n1 *n2 *n3 - 5810688*a11 *b12 *kap*n1 *n3
6 2 4 3 4 4 2 2 2 3
- 907920*a11 *b12 *kap*n2 *n3 + 4700160*a11 *b12 *kap *n1 *n2 *n3
4 4 2 2 5 4 4 2 4 3
+ 10531872*a11 *b12 *kap *n1 *n3 - 907920*a11 *b12 *kap *n2 *n3 ) + v3
5 3 3 3 3 5 2 3 3
*( - 2905344*a11 *b12 *kap*n1*n2 *n3 - 2905344*a11 *b12 *kap *n1*n2 *n3 )
which is not further factorizable.
{HAM,FI} = 0
3 5 4 2 3 6 3
FI=u1 *u3*v1*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3)
3 5 3 2 3 5 3
+ u1 *u3*( - 8*a11 *b12 *kap *n1*n2*n3 - 8*a11 *b12 *kap *n1*n2*n3)
2 5 4 2 3 6 3
+ u1 *u2*u3*v2*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3)
2 5 3 2 2 3 5 3 2
+ u1 *u2*u3*( - 8*a11 *b12 *kap *n1 *n3 - 8*a11 *b12 *kap *n1 *n3)
2 2 5 4 2 3 6 3 2 2
+ u1 *u3 *v3*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3) + u1 *u3
7 3 5 3 2 3 3 5 3 3
*(6*a11 *b12*kap*n2 + 3*a11 *b12 *kap *n2 - 6*a11 *b12 *kap *n2
7 4 3 2 4 5 2
- 3*a11*b12 *kap *n2 ) - 12*u1 *u3*v1*v2*a11 *b12 *kap *n1*n3
2 4 4 2 2 2 6 3 2
+ u1 *u3*v1*( - 12*a11 *b12 *kap *n1 *n3 - 12*a11 *b12 *kap *n1 *n3)
2 2 5 3 3 7 3 3
+ u1 *v1 *( - 3*a11 *b12 *kap*n2 + 3*a11*b12 *kap *n2 )
2 3 5 2 2 3 4 2 2 2
- 6*u1 *v1*v3*a11 *b12 *kap *n1*n2*n3 - 6*u1 *v1*a11 *b12 *kap *n1 *n3
2 5 2 2 3 4 2 2
+ u1 *v3*(8*a11 *b12 *kap*n1*n2 *n3 + 8*a11 *b12 *kap *n1*n2 *n3)
2 5 5 5 3 5
+ u1 *(3*a11 *b12*kap*n2 - 3*a11*b12 *kap *n2 )
2 5 4 2 3 6 3
+ u1*u2 *u3*v1*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3)
2 4 5 2
+ 12*u1*u2*u3*v1 *a11 *b12 *kap *n1*n3
4 4 2 2 6 3
+ u1*u2*u3*v1*( - 12*a11 *b12 *kap *n1*n2*n3 - 12*a11 *b12 *kap *n1*n2*n3)
2 4 5 2
- 12*u1*u2*u3*v2 *a11 *b12 *kap *n1*n3
4 4 2 2 2 6 3 2
+ u1*u2*u3*v2*( - 12*a11 *b12 *kap *n1 *n3 - 12*a11 *b12 *kap *n1 *n3) + u1
4 3 2 3 4 3 2 2
*u2*u3*(6*a11 *b12 *kap *n1 *n3 - 6*a11 *b12 *kap *n1*n2 *n3
2 5 3 3 2 5 3 2
+ 6*a11 *b12 *kap *n1 *n3 - 6*a11 *b12 *kap *n1*n2 *n3)
5 3 3 7 3 3
+ u1*u2*v1*v2*( - 6*a11 *b12 *kap*n2 + 6*a11*b12 *kap *n2 )
3 5 2 2 3 4 2 2
+ 6*u1*u2*v1*v3*a11 *b12 *kap *n1 *n3 - 6*u1*u2*v1*a11 *b12 *kap *n1*n2*n3
3 5 2 3 4 2 2 2
- 6*u1*u2*v2*v3*a11 *b12 *kap *n1*n2*n3 - 6*u1*u2*v2*a11 *b12 *kap *n1 *n3
5 4 5 3 4
+ u1*u2*( - 6*a11 *b12*kap*n1*n2 + 6*a11*b12 *kap *n1*n2 )
3 3 6 3 8 4
+ u1*u3 *v1*( - 2*a11 *b12 *kap *n1*n3 - 8*a11*b12 *kap *n1*n3)
2 2 6 3 2 2 4 5 2
- 12*u1*u3 *v1*a11 *b12 *kap *n1*n3 - 12*u1*u3 *v2*v3*a11 *b12 *kap *n1*n3
2 6 2 3 2 6 3 3
+ u1*u3 *v2*(6*a11 *b12 *kap*n2 - 6*a11 *b12 *kap *n2 )
2 4 4 2 2 2 6 3 2
+ u1*u3 *v3*( - 12*a11 *b12 *kap *n1 *n3 - 12*a11 *b12 *kap *n1 *n3) + u1
2 6 3 4 3 2 3
*u3 *(6*a11 *b12*kap*n1*n2 + 12*a11 *b12 *kap *n1*n2
2 5 3 3 7 4 3
- 6*a11 *b12 *kap *n1*n2 - 12*b12 *kap *n1*n2 )
3 3 6 2 2 3 5 2
- 6*u1*u3*v1 *a11 *b12 *kap *n1*n3 + 6*u1*u3*v1 *a11 *b12 *kap *n1*n2*n3
2 3 6 2 3 5 2 2
- 6*u1*u3*v1*v2 *a11 *b12 *kap *n1*n3 - 6*u1*u3*v1*v2*a11 *b12 *kap *n1 *n3
2 3 6 2
- 6*u1*u3*v1*v3 *a11 *b12 *kap *n1*n3
5 3 3 7 3 3
+ u1*u3*v1*v3*( - 6*a11 *b12 *kap*n2 + 6*a11*b12 *kap *n2 )
3 4 2 3 2 3 5 2
- 6*u1*u3*v1*a11 *b12 *kap *n1*n3 - 6*u1*u3*v3 *a11 *b12 *kap *n1*n2*n3 +
u1*u3*v3
5 2 4 3 4 2 2 2 6 3 4
*(6*a11 *b12 *kap*n2 - 6*a11 *b12 *kap *n1 *n3 - 6*a11*b12 *kap *n2 )
5 3 5 3 3
+ u1*u3*(6*a11 *b12*kap*n1*n2 *n3 - 6*a11*b12 *kap *n1*n2 *n3)
3 5 4 2 3 6 3
+ u2 *u3*v2*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3)
3 5 3 2 2 3 5 3 2
+ u2 *u3*( - 8*a11 *b12 *kap *n1 *n3 - 8*a11 *b12 *kap *n1 *n3)
2 2 5 4 2 3 6 3 2 2
+ u2 *u3 *v3*( - 12*a11 *b12 *kap *n1*n3 - 6*a11 *b12 *kap *n1*n3) + u2 *u3
7 3 5 3 2 3 3 5 3 3
*(6*a11 *b12*kap*n2 + 3*a11 *b12 *kap *n2 - 6*a11 *b12 *kap *n2
7 4 3 2 4 5 2
- 3*a11*b12 *kap *n2 ) + 12*u2 *u3*v1*v2*a11 *b12 *kap *n1*n3
2 4 4 2 2 6 3
+ u2 *u3*v2*( - 12*a11 *b12 *kap *n1*n2*n3 - 12*a11 *b12 *kap *n1*n2*n3)
2 4 3 2 2 2 5 3 2
+ u2 *u3*(24*a11 *b12 *kap *n1 *n2*n3 + 24*a11 *b12 *kap *n1 *n2*n3)
2 2 5 3 3 7 3 3
+ u2 *v2 *( - 3*a11 *b12 *kap*n2 + 3*a11*b12 *kap *n2 )
2 3 5 2 2 2 3 4 2 2
+ 6*u2 *v2*v3*a11 *b12 *kap *n1 *n3 - 6*u2 *v2*a11 *b12 *kap *n1*n2*n3
2 5 2 3 5 3 2 3
+ u2 *(3*a11 *b12*kap*n1 *n2 - 3*a11*b12 *kap *n1 *n2 )
3 3 6 3 8 4
+ u2*u3 *v2*( - 2*a11 *b12 *kap *n1*n3 - 8*a11*b12 *kap *n1*n3)
2 4 5 2
+ 12*u2*u3 *v1*v3*a11 *b12 *kap *n1*n3
2 6 2 3 2 6 3 3
+ u2*u3 *v1*( - 6*a11 *b12 *kap*n2 + 6*a11 *b12 *kap *n2 )
2 2 6 3 2
- 12*u2*u3 *v2*a11 *b12 *kap *n1*n3
2 4 4 2 2 6 3
+ u2*u3 *v3*( - 12*a11 *b12 *kap *n1*n2*n3 - 12*a11 *b12 *kap *n1*n2*n3) +
2 6 4 4 3 2 4 2 5 3 4
u2*u3 *(6*a11 *b12*kap*n2 + 12*a11 *b12 *kap *n2 - 6*a11 *b12 *kap *n2
7 4 4 2 3 6 2
- 12*b12 *kap *n2 ) - 6*u2*u3*v1 *v2*a11 *b12 *kap *n1*n3
3 5 2 3 3 6 2
+ 6*u2*u3*v1*v2*a11 *b12 *kap *n1*n2*n3 - 6*u2*u3*v2 *a11 *b12 *kap *n1*n3
2 3 5 2 2 2 3 6 2
- 6*u2*u3*v2 *a11 *b12 *kap *n1 *n3 - 6*u2*u3*v2*v3 *a11 *b12 *kap *n1*n3
5 3 3 7 3 3
+ u2*u3*v2*v3*( - 6*a11 *b12 *kap*n2 + 6*a11*b12 *kap *n2 )
3 4 2 3 2 3 5 2 2
- 6*u2*u3*v2*a11 *b12 *kap *n1*n3 + 6*u2*u3*v3 *a11 *b12 *kap *n1 *n3 + u2
5 2 3 3 4 2 2
*u3*v3*( - 6*a11 *b12 *kap*n1*n2 - 6*a11 *b12 *kap *n1*n2*n3
6 3 3
+ 6*a11*b12 *kap *n1*n2 )
5 4 5 3 4
+ u2*u3*(6*a11 *b12*kap*n2 *n3 - 6*a11*b12 *kap *n2 *n3) + u2*v2*(
4 2 3 2 4 2 4
6*a11 *b12 *kap*n1 *n3 - 36*a11 *b12 *kap*n1*n2
4 2 2 2 2 4 2 3 2
- 6*a11 *b12 *kap*n1*n2 *n3 + 6*a11 *b12 *kap *n1 *n3
2 4 2 2 2 6 3 4
- 6*a11 *b12 *kap *n1*n2 *n3 + 36*b12 *kap *n1*n2 )
4 2 3 2 4 2 3
+ u2*v3*(24*a11 *b12 *kap*n1 *n2*n3 + 24*a11 *b12 *kap *n1 *n2*n3) + u2*(
4 4 2 4 2 4
- 12*a11 *b12*kap*n1 *n3 + 36*a11 *b12*kap*n1 *n2
4 2 2 2 2 3 2 4 2
+ 12*a11 *b12*kap*n1 *n2 *n3 - 12*a11 *b12 *kap *n1 *n3
2 3 2 2 2 2 5 3 2 4
+ 12*a11 *b12 *kap *n1 *n2 *n3 - 36*b12 *kap *n1 *n2 )
4 3 6 3 8 4
+ u3 *v3*( - 2*a11 *b12 *kap *n1*n3 - 8*a11*b12 *kap *n1*n3)
3 2 6 3 2 3 6 3
- 12*u3 *v3*a11 *b12 *kap *n1*n3 + u3 *( - 2*a11 *b12*kap*n2 *n3
4 3 2 3 2 5 3 3 7 4 3
+ 8*a11 *b12 *kap *n2 *n3 + 2*a11 *b12 *kap *n2 *n3 - 8*b12 *kap *n2 *n3)
2 2 3 6 2
- 6*u3 *v1 *v3*a11 *b12 *kap *n1*n3
2 2 5 3 3 7 3 3
+ u3 *v1 *(3*a11 *b12 *kap*n2 - 3*a11*b12 *kap *n2 )
2 3 5 2
+ 6*u3 *v1*v3*a11 *b12 *kap *n1*n2*n3
2 5 2 4 6 3 4
+ u3 *v1*( - 6*a11 *b12 *kap*n2 + 6*a11*b12 *kap *n2 )
2 2 3 6 2
- 6*u3 *v2 *v3*a11 *b12 *kap *n1*n3
2 2 5 3 3 7 3 3
+ u3 *v2 *(3*a11 *b12 *kap*n2 - 3*a11*b12 *kap *n2 )
2 3 5 2 2
- 6*u3 *v2*v3*a11 *b12 *kap *n1 *n3
2 5 2 3 6 3 3
+ u3 *v2*(6*a11 *b12 *kap*n1*n2 - 6*a11*b12 *kap *n1*n2 )
2 3 3 6 2 2 3 4 2 3
- 6*u3 *v3 *a11 *b12 *kap *n1*n3 - 6*u3 *v3*a11 *b12 *kap *n1*n3
2 5 3 2 5 3 3 2
+ u3 *(3*a11 *b12*kap*n2 *n3 - 3*a11*b12 *kap *n2 *n3 )
2 4 3 2 2 5 2 2
+ u3*v1 *(12*a11 *b12 *kap*n1 *n2*n3 + 12*a11 *b12 *kap *n1 *n2*n3) + u3*v1*
4 2 4 4 2 2 2
(6*a11 *b12 *kap*n1 *n3 - 6*a11 *b12 *kap*n1 *n2 *n3
2 4 2 4 2 4 2 2 2
+ 6*a11 *b12 *kap *n1 *n3 - 6*a11 *b12 *kap *n1 *n2 *n3)
2 4 3 2 2 5 2 2
+ u3*v2 *(12*a11 *b12 *kap*n1 *n2*n3 + 12*a11 *b12 *kap *n1 *n2*n3)
2 4 3 2 2 5 2 2
+ u3*v3 *(12*a11 *b12 *kap*n1 *n2*n3 + 12*a11 *b12 *kap *n1 *n2*n3)
5 4 4 2 4
+ v3*( - 12*a11 *n1*n2 *n3 + 12*a11*b12 *kap *n1*n2 *n3)
which is not further factorizable.
{HAM,FI} = 0
2 2 5 2 3 4 2 6 3
FI=u1 *u3 *(2*a11 *b12 *kap + 3*a11 *b12 *kap + a11*b12 *kap )
2 2 4 2 2 2 3 4 6 2
+ 2*u1 *u3*a11 *b12 *kap *n3 + u1 *v1 *( - a11 *b12 *kap - a11*b12 *kap )
2 3 2 2 4 2 2
+ u1 *(a11 *b12 *kap*n2 + a11*b12 *kap *n2 )
3 4 6 2
+ u1*u2*v1*v2*( - 2*a11 *b12 *kap - 2*a11*b12 *kap )
3 2 4 2
+ u1*u2*( - 2*a11 *b12 *kap*n1*n2 - 2*a11*b12 *kap *n1*n2)
2 4 3 2 5 2
+ u1*u3 *v2*(2*a11 *b12 *kap + 2*a11 *b12 *kap )
2 4 2 2 4 2 6 3
+ u1*u3 *(2*a11 *b12 *kap*n1 + 6*a11 *b12 *kap *n1 + 4*b12 *kap *n1)
3 4 6 2
+ u1*u3*v1*v3*( - 2*a11 *b12 *kap - 2*a11*b12 *kap )
3 3
- 4*u1*u3*v2*a11 *b12 *kap*n3
3 3 5 2
+ u1*u3*v3*(2*a11 *b12 *kap*n2 + 2*a11*b12 *kap *n2)
3 2 4 2
+ u1*u3*( - 2*a11 *b12 *kap*n1*n3 - 2*a11*b12 *kap *n1*n3)
2 3 2 2 2
- 2*u1*v3*a11 *b12 *kap*n2*n3 - 2*u1*a11 *b12 *kap*n1*n3
2 2 5 2 3 4 2 6 3
+ u2 *u3 *(2*a11 *b12 *kap + 3*a11 *b12 *kap + a11*b12 *kap )
2 2 4 2 2 2 3 4 6 2
+ 2*u2 *u3*a11 *b12 *kap *n3 + u2 *v2 *( - a11 *b12 *kap - a11*b12 *kap )
2 3 2 2 4 2 2
+ u2 *(a11 *b12 *kap*n1 + a11*b12 *kap *n1 )
2 4 3 2 5 2
+ u2*u3 *v1*( - 2*a11 *b12 *kap - 2*a11 *b12 *kap )
2 4 2 2 4 2 6 3
+ u2*u3 *(2*a11 *b12 *kap*n2 + 6*a11 *b12 *kap *n2 + 4*b12 *kap *n2)
3 3
+ 4*u2*u3*v1*a11 *b12 *kap*n3
3 4 6 2
+ u2*u3*v2*v3*( - 2*a11 *b12 *kap - 2*a11*b12 *kap )
3 3 5 2
+ u2*u3*v3*( - 2*a11 *b12 *kap*n1 - 2*a11*b12 *kap *n1)
3 2 4 2
+ u2*u3*( - 2*a11 *b12 *kap*n2*n3 - 2*a11*b12 *kap *n2*n3)
2 3 5 2
+ u2*v2*( - 12*a11 *b12 *kap*n1*n2 - 12*b12 *kap *n1*n2)
2 3 4 2 2 2 2
+ 2*u2*v3*a11 *b12 *kap*n1*n3 + u2*(6*a11 *n2*n3 + 12*a11 *b12 *kap*n1 *n2
2 2 2 4 2 2 3 2 4 2
+ 4*a11 *b12 *kap*n2*n3 + 12*b12 *kap *n1 *n2) + 2*u3 *a11 *b12 *kap *n3
2 2 3 4 6 2
+ u3 *v1 *(a11 *b12 *kap + a11*b12 *kap )
2 3 3 5 2
+ u3 *v1*( - 2*a11 *b12 *kap*n2 - 2*a11*b12 *kap *n2)
2 2 3 4 6 2
+ u3 *v2 *(a11 *b12 *kap + a11*b12 *kap )
2 3 3 5 2
+ u3 *v2*(2*a11 *b12 *kap*n1 + 2*a11*b12 *kap *n1)
2 3 2 2 4 2 2
+ u3 *(a11 *b12 *kap*n3 - 3*a11*b12 *kap *n3 )
2 4 2 2 4
+ u3*v1 *(4*a11 *b12 *n3 + 2*a11 *b12 *kap*n3)
4 2 3
+ u3*v1*( - 6*a11 *b12*n2*n3 - 4*a11 *b12 *kap*n2*n3)
2 4 2 2 4 2 3
+ u3*v2 *(4*a11 *b12 *n3 + 2*a11 *b12 *kap*n3) - 2*u3*v2*a11 *b12 *kap*n1*n3
2 4 2 2 4 2 2 3
+ u3*v3 *(4*a11 *b12 *n3 + 2*a11 *b12 *kap*n3) - 2*u3*a11 *b12 *kap*n3
which is not further factorizable.
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*a11**2 + u1*v2*a11*b12 + u1*a11*n1 + u2**2*a11**2 - u2*v1*a11*b12 +
u2*a11*n2 + u3**2*b12**2*kap + u3*a11*n3)/a11$
FI=u1**4*u3*(21790080*a11**6*b12**6*kap**3*n1**2*n3 + 5447520*a11**4*b12**8*kap
**4*n1**2*n3) + u1**3*u2*(5447520*a11**7*b12**4*kap**2*n1**3*n2 + 5447520*a11**5
*b12**6*kap**3*n1**3*n2) + 43580160*u1**3*u3*v2*a11**5*b12**7*kap**3*n1**2*n3 +
u1**3*u3*(33895680*a11**7*b12**4*kap**2*n1**3*n3 + 58106880*a11**5*b12**6*kap**3
*n1**3*n3 + 13316160*a11**3*b12**8*kap**4*n1**3*n3) + u1**3*v1*( - 5447520*a11**
6*b12**5*kap**2*n1**3*n2 - 5447520*a11**4*b12**7*kap**3*n1**3*n2) + u1**3*v3*( -
21790080*a11**6*b12**5*kap**2*n1**2*n2*n3 - 5447520*a11**4*b12**7*kap**3*n1**2*
n2*n3) + u1**3*(5447520*a11**6*b12**4*kap**2*n1**3*n2**2 - 14526720*a11**6*b12**
4*kap**2*n1**3*n3**2 + 5447520*a11**4*b12**6*kap**3*n1**3*n2**2 + 1815840*a11**4
*b12**6*kap**3*n1**3*n3**2) + u1**2*u2**2*u3*(43580160*a11**6*b12**6*kap**3*n1**
2*n3 + 10895040*a11**4*b12**8*kap**4*n1**2*n3) + u1**2*u2**2*( - 2723760*a11**7*
b12**4*kap**2*n1**4 + 2723760*a11**7*b12**4*kap**2*n1**2*n2**2 - 2723760*a11**5*
b12**6*kap**3*n1**4 + 2723760*a11**5*b12**6*kap**3*n1**2*n2**2) - 43580160*u1**2
*u2*u3*v1*a11**5*b12**7*kap**3*n1**2*n3 + 10895040*u1**2*u2*u3*a11**5*b12**6*kap
**3*n1**2*n2*n3 + u1**2*u2*v2*(5447520*a11**6*b12**5*kap**2*n1**3*n2 + 5447520*
a11**4*b12**7*kap**3*n1**3*n2) + u1**2*u2*v3*(21790080*a11**6*b12**5*kap**2*n1**
3*n3 + 5447520*a11**4*b12**7*kap**3*n1**3*n3) + u1**2*u2*(5447520*a11**6*b12**4*
kap**2*n1**2*n2**3 - 11621376*a11**6*b12**4*kap**2*n1**2*n2*n3**2 + 5447520*a11
**4*b12**6*kap**3*n1**2*n2**3 + 4721184*a11**4*b12**6*kap**3*n1**2*n2*n3**2) +
u1**2*u3**3*(164636160*a11**8*b12**4*kap**2*n1**2*n3 - 31802420*a11**8*b12**4*
kap**2*n2**2*n3 + 259059840*a11**6*b12**6*kap**3*n1**2*n3 - 47703630*a11**6*b12
**6*kap**3*n2**2*n3 + 94423680*a11**4*b12**8*kap**4*n1**2*n3 - 15901210*a11**4*
b12**8*kap**4*n2**2*n3 + 10895040*a11**2*b12**10*kap**5*n1**2*n3) + u1**2*u3**2*
(5810688*a11**9*b12**2*kap*n1**2*n3**2 - 16342560*a11**7*b12**4*kap**2*n1**4 +
11802960*a11**7*b12**4*kap**2*n1**2*n2**2 - 15979392*a11**7*b12**4*kap**2*n1**2*
n3**2 + 1452672*a11**7*b12**4*kap**2*n2**2*n3**2 - 2723760*a11**5*b12**6*kap**3*
n1**4 + 4085640*a11**5*b12**6*kap**3*n1**2*n2**2 - 35227296*a11**5*b12**6*kap**3
*n1**2*n3**2 + 2179008*a11**5*b12**6*kap**3*n2**2*n3**2 + 24513840*a11**3*b12**8
*kap**4*n1**4 - 18612360*a11**3*b12**8*kap**4*n1**2*n2**2 + 8352864*a11**3*b12**
8*kap**4*n1**2*n3**2 + 726336*a11**3*b12**8*kap**4*n2**2*n3**2 + 10895040*a11*
b12**10*kap**5*n1**4 - 10895040*a11*b12**10*kap**5*n1**2*n2**2) + 10895040*u1**2
*u3*v1**2*a11**4*b12**8*kap**3*n1**2*n3 + u1**2*u3*v1*(43580160*a11**6*b12**5*
kap**2*n1**2*n2*n3 + 27237600*a11**4*b12**7*kap**3*n1**2*n2*n3) + 32685120*u1**2
*u3*v2**2*a11**4*b12**8*kap**3*n1**2*n3 + u1**2*u3*v2*(43580160*a11**6*b12**5*
kap**2*n1**3*n3 + 81712800*a11**4*b12**7*kap**3*n1**3*n3) + 10895040*u1**2*u3*v3
**2*a11**4*b12**8*kap**3*n1**2*n3 + u1**2*v1**2*( - 2905344*a11**7*b12**4*kap*n1
**2*n3**2 + 2723760*a11**5*b12**6*kap**2*n1**4 - 3177720*a11**5*b12**6*kap**2*n1
**2*n2**2 + 10531872*a11**5*b12**6*kap**2*n1**2*n3**2 - 726336*a11**5*b12**6*kap
**2*n2**2*n3**2 + 2723760*a11**3*b12**8*kap**3*n1**4 - 3177720*a11**3*b12**8*kap
**3*n1**2*n2**2 - 8352864*a11**3*b12**8*kap**3*n1**2*n3**2 - 726336*a11**3*b12**
8*kap**3*n2**2*n3**2) + u1**2*v1*v2*( - 5447520*a11**5*b12**6*kap**2*n1**3*n2 -
5447520*a11**3*b12**8*kap**3*n1**3*n2) + u1**2*v1*( - 5447520*a11**5*b12**5*kap
**2*n1**4*n2 - 5447520*a11**3*b12**7*kap**3*n1**4*n2) - 10895040*u1**2*v2*v3*a11
**5*b12**6*kap**2*n1**2*n2*n3 + u1**2*v2*(5447520*a11**5*b12**5*kap**2*n1**3*n2
**2 - 10895040*a11**5*b12**5*kap**2*n1**3*n3**2 + 5447520*a11**3*b12**7*kap**3*
n1**3*n2**2) + u1**2*v3*( - 28448160*a11**7*b12**3*kap*n1**3*n2*n3 - 52659360*
a11**5*b12**5*kap**2*n1**3*n2*n3 - 13316160*a11**3*b12**7*kap**3*n1**3*n2*n3) +
u1**2*(2905344*a11**7*b12**2*kap*n1**2*n2**2*n3**2 + 2723760*a11**5*b12**4*kap**
2*n1**4*n2**2 - 8171280*a11**5*b12**4*kap**2*n1**4*n3**2 + 3177720*a11**5*b12**4
*kap**2*n1**2*n2**4 - 2360592*a11**5*b12**4*kap**2*n1**2*n2**2*n3**2 + 726336*
a11**5*b12**4*kap**2*n2**4*n3**2 + 2723760*a11**3*b12**6*kap**3*n1**4*n2**2 +
2723760*a11**3*b12**6*kap**3*n1**4*n3**2 + 3177720*a11**3*b12**6*kap**3*n1**2*n2
**4 - 5265936*a11**3*b12**6*kap**3*n1**2*n2**2*n3**2 + 726336*a11**3*b12**6*kap
**3*n2**4*n3**2) + u1*u2**3*(5447520*a11**7*b12**4*kap**2*n1**3*n2 + 5447520*a11
**5*b12**6*kap**3*n1**3*n2) + 43580160*u1*u2**2*u3*v2*a11**5*b12**7*kap**3*n1**2
*n3 + u1*u2**2*u3*(72633600*a11**5*b12**6*kap**3*n1**3*n3 + 61738560*a11**3*b12
**8*kap**4*n1**3*n3) + u1*u2**2*v1*( - 16342560*a11**6*b12**5*kap**2*n1**3*n2 -
16342560*a11**4*b12**7*kap**3*n1**3*n2) + u1*u2**2*v2*( - 5447520*a11**6*b12**5*
kap**2*n1**4 + 5447520*a11**6*b12**5*kap**2*n1**2*n2**2 - 5447520*a11**4*b12**7*
kap**3*n1**4 + 5447520*a11**4*b12**7*kap**3*n1**2*n2**2) + u1*u2**2*v3*( -
21790080*a11**6*b12**5*kap**2*n1**2*n2*n3 - 5447520*a11**4*b12**7*kap**3*n1**2*
n2*n3) + u1*u2**2*(5447520*a11**6*b12**4*kap**2*n1**3*n2**2 - 11621376*a11**6*
b12**4*kap**2*n1**3*n3**2 + 5447520*a11**4*b12**6*kap**3*n1**3*n2**2 + 4721184*
a11**4*b12**6*kap**3*n1**3*n3**2) + u1*u2*u3**2*( - 5447520*a11**5*b12**6*kap**3
*n1**3*n2 - 5447520*a11**3*b12**8*kap**4*n1**3*n2) - 43580160*u1*u2*u3*v1*v2*a11
**4*b12**8*kap**3*n1**2*n3 - 21790080*u1*u2*u3*v1*a11**4*b12**7*kap**3*n1**3*n3
+ 21790080*u1*u2*u3*v2*a11**4*b12**7*kap**3*n1**2*n2*n3 + u1*u2*u3*v3*( -
10895040*a11**4*b12**7*kap**3*n1**4 + 10895040*a11**4*b12**7*kap**3*n1**2*n2**2
- 10895040*a11**2*b12**9*kap**4*n1**4 + 10895040*a11**2*b12**9*kap**4*n1**2*n2**
2) + u1*u2*u3*( - 589315740*a11**6*b12**4*kap**2*n1**3*n2*n3 + 95407260*a11**6*
b12**4*kap**2*n1*n2**3*n3 - 589315740*a11**4*b12**6*kap**3*n1**3*n2*n3 +
95407260*a11**4*b12**6*kap**3*n1*n2**3*n3) + u1*u2*v1**2*(10895040*a11**5*b12**6
*kap**2*n1**3*n2 + 10895040*a11**3*b12**8*kap**3*n1**3*n2) + u1*u2*v1*v2*( -
5810688*a11**7*b12**4*kap*n1**2*n3**2 + 5447520*a11**5*b12**6*kap**2*n1**4 -
6355440*a11**5*b12**6*kap**2*n1**2*n2**2 + 21063744*a11**5*b12**6*kap**2*n1**2*
n3**2 - 1452672*a11**5*b12**6*kap**2*n2**2*n3**2 + 5447520*a11**3*b12**8*kap**3*
n1**4 - 6355440*a11**3*b12**8*kap**3*n1**2*n2**2 - 16705728*a11**3*b12**8*kap**3
*n1**2*n3**2 - 1452672*a11**3*b12**8*kap**3*n2**2*n3**2) + 10895040*u1*u2*v1*v3*
a11**5*b12**6*kap**2*n1**2*n2*n3 + u1*u2*v1*( - 10895040*a11**5*b12**5*kap**2*n1
**3*n2**2 + 10895040*a11**5*b12**5*kap**2*n1**3*n3**2 - 10895040*a11**3*b12**7*
kap**3*n1**3*n2**2) + 10895040*u1*u2*v2*v3*a11**5*b12**6*kap**2*n1**3*n3 + u1*u2
*v2*( - 5447520*a11**5*b12**5*kap**2*n1**4*n2 + 5447520*a11**5*b12**5*kap**2*n1
**2*n2**3 - 10895040*a11**5*b12**5*kap**2*n1**2*n2*n3**2 - 5447520*a11**3*b12**7
*kap**3*n1**4*n2 + 5447520*a11**3*b12**7*kap**3*n1**2*n2**3) + u1*u2*v3*(5447520
*a11**5*b12**5*kap**2*n1**4*n3 - 5447520*a11**5*b12**5*kap**2*n1**2*n2**2*n3 -
5447520*a11**3*b12**7*kap**3*n1**4*n3 + 5447520*a11**3*b12**7*kap**3*n1**2*n2**2
*n3) + u1*u2*( - 5810688*a11**7*b12**2*kap*n1**3*n2*n3**2 - 907920*a11**5*b12**4
*kap**2*n1**3*n2**3 - 11621376*a11**5*b12**4*kap**2*n1**3*n2*n3**2 - 1452672*a11
**5*b12**4*kap**2*n1*n2**3*n3**2 - 907920*a11**3*b12**6*kap**3*n1**3*n2**3 +
15979392*a11**3*b12**6*kap**3*n1**3*n2*n3**2 - 1452672*a11**3*b12**6*kap**3*n1*
n2**3*n3**2) + u1*u3**3*v2*(164636160*a11**7*b12**5*kap**2*n1**2*n3 - 31802420*
a11**7*b12**5*kap**2*n2**2*n3 + 176741760*a11**5*b12**7*kap**3*n1**2*n3 -
31802420*a11**5*b12**7*kap**3*n2**2*n3 + 12105600*a11**3*b12**9*kap**4*n1**2*n3)
+ u1*u3**3*(164636160*a11**7*b12**4*kap**2*n1**3*n3 - 31802420*a11**7*b12**4*
kap**2*n1*n2**2*n3 + 670650240*a11**5*b12**6*kap**3*n1**3*n3 - 127209680*a11**5*
b12**6*kap**3*n1*n2**2*n3 + 516909120*a11**3*b12**8*kap**4*n1**3*n3 - 95407260*
a11**3*b12**8*kap**4*n1*n2**2*n3 + 21790080*a11*b12**10*kap**5*n1**3*n3) + u1*u3
**2*v1*( - 8171280*a11**6*b12**5*kap**2*n1**3*n2 - 8171280*a11**4*b12**7*kap**3*
n1**3*n2) + u1*u3**2*v2*(5810688*a11**8*b12**3*kap*n1**2*n3**2 - 16342560*a11**6
*b12**5*kap**2*n1**4 + 11802960*a11**6*b12**5*kap**2*n1**2*n2**2 - 18884736*a11
**6*b12**5*kap**2*n1**2*n3**2 + 1452672*a11**6*b12**5*kap**2*n2**2*n3**2 +
10895040*a11**4*b12**7*kap**3*n1**4 - 9987120*a11**4*b12**7*kap**3*n1**2*n2**2 -
24695424*a11**4*b12**7*kap**3*n1**2*n3**2 + 1452672*a11**4*b12**7*kap**3*n2**2*
n3**2 + 27237600*a11**2*b12**9*kap**4*n1**4 - 21790080*a11**2*b12**9*kap**4*n1**
2*n2**2) + u1*u3**2*v3*(246954240*a11**6*b12**5*kap**2*n1**2*n2*n3 - 47703630*
a11**6*b12**5*kap**2*n2**3*n3 + 252401760*a11**4*b12**7*kap**3*n1**2*n2*n3 -
47703630*a11**4*b12**7*kap**3*n2**3*n3 + 10895040*a11**2*b12**9*kap**4*n1**2*n2*
n3) + u1*u3**2*(5810688*a11**8*b12**2*kap*n1**3*n3**2 - 16342560*a11**6*b12**4*
kap**2*n1**5 + 907920*a11**6*b12**4*kap**2*n1**3*n2**2 + 239690880*a11**6*b12**4
*kap**2*n1**3*n3**2 - 46250958*a11**6*b12**4*kap**2*n1*n2**2*n3**2 + 13618800*
a11**4*b12**6*kap**3*n1**3*n2**2 + 207368928*a11**4*b12**6*kap**3*n1**3*n3**2 -
43345614*a11**4*b12**6*kap**3*n1*n2**2*n3**2 + 16342560*a11**2*b12**8*kap**4*n1
**5 + 12710880*a11**2*b12**8*kap**4*n1**3*n2**2 + 726336*a11**2*b12**8*kap**4*n1
**3*n3**2 + 2905344*a11**2*b12**8*kap**4*n1*n2**2*n3**2) + 10895040*u1*u3*v1**2*
a11**3*b12**8*kap**3*n1**3*n3 + 10895040*u1*u3*v1*v2*a11**5*b12**6*kap**2*n1**2*
n2*n3 + u1*u3*v1*v3*( - 5810688*a11**7*b12**4*kap*n1**2*n3**2 + 5447520*a11**5*
b12**6*kap**2*n1**4 - 6355440*a11**5*b12**6*kap**2*n1**2*n2**2 + 21063744*a11**5
*b12**6*kap**2*n1**2*n3**2 - 1452672*a11**5*b12**6*kap**2*n2**2*n3**2 + 5447520*
a11**3*b12**8*kap**3*n1**4 - 6355440*a11**3*b12**8*kap**3*n1**2*n2**2 - 16705728
*a11**3*b12**8*kap**3*n1**2*n3**2 - 1452672*a11**3*b12**8*kap**3*n2**2*n3**2) -
10895040*u1*u3*v1*a11**3*b12**7*kap**3*n1**3*n2*n3 + u1*u3*v2**2*( - 10895040*
a11**5*b12**6*kap**2*n1**3*n3 + 10895040*a11**3*b12**8*kap**3*n1**3*n3) + u1*u3*
v2*( - 11621376*a11**7*b12**3*kap*n1**2*n3**3 - 5447520*a11**5*b12**5*kap**2*n1
**4*n3 - 5447520*a11**5*b12**5*kap**2*n1**2*n2**2*n3 + 10168704*a11**5*b12**5*
kap**2*n1**2*n3**3 + 5447520*a11**3*b12**7*kap**3*n1**4*n3 - 5447520*a11**3*b12
**7*kap**3*n1**2*n2**2*n3) + 10895040*u1*u3*v3**2*a11**3*b12**8*kap**3*n1**3*n3
+ u1*u3*v3*(5810688*a11**7*b12**3*kap*n1**2*n2*n3**2 - 5447520*a11**5*b12**5*kap
**2*n1**4*n2 + 6355440*a11**5*b12**5*kap**2*n1**2*n2**3 - 10168704*a11**5*b12**5
*kap**2*n1**2*n2*n3**2 + 1452672*a11**5*b12**5*kap**2*n2**3*n3**2 - 5447520*a11
**3*b12**7*kap**3*n1**4*n2 + 6355440*a11**3*b12**7*kap**3*n1**2*n2**3 - 5084352*
a11**3*b12**7*kap**3*n1**2*n2*n3**2 + 1452672*a11**3*b12**7*kap**3*n2**3*n3**2)
+ u1*u3*( - 5810688*a11**7*b12**2*kap*n1**3*n3**3 - 907920*a11**5*b12**4*kap**2*
n1**3*n2**2*n3 - 11621376*a11**5*b12**4*kap**2*n1**3*n3**3 + 1452672*a11**5*b12
**4*kap**2*n1*n2**2*n3**3 - 907920*a11**3*b12**6*kap**3*n1**3*n2**2*n3 +
15979392*a11**3*b12**6*kap**3*n1**3*n3**3 + 1452672*a11**3*b12**6*kap**3*n1*n2**
2*n3**3) + 5447520*u1*v1**2*v3*a11**4*b12**7*kap**2*n1**2*n2*n3 + 5447520*u1*v1
**2*a11**4*b12**6*kap**2*n1**3*n3**2 + 5447520*u1*v2**2*v3*a11**4*b12**7*kap**2*
n1**2*n2*n3 + 5447520*u1*v2**2*a11**4*b12**6*kap**2*n1**3*n3**2 + 5447520*u1*v3
**3*a11**4*b12**7*kap**2*n1**2*n2*n3 + 5447520*u1*v3**2*a11**4*b12**6*kap**2*n1
**3*n3**2 + u1*v3*(5447520*a11**6*b12**3*kap*n1**2*n2**3*n3 - 11621376*a11**6*
b12**3*kap*n1**2*n2*n3**3 + 5447520*a11**4*b12**5*kap**2*n1**2*n2**3*n3 +
4721184*a11**4*b12**5*kap**2*n1**2*n2*n3**3) + u1*( - 907920*a11**6*b12**2*kap*
n1**3*n2**2*n3**2 - 5810688*a11**6*b12**2*kap*n1**3*n3**4 - 907920*a11**4*b12**4
*kap**2*n1**3*n2**2*n3**2 + 10531872*a11**4*b12**4*kap**2*n1**3*n3**4) + u2**4*
u3*(21790080*a11**6*b12**6*kap**3*n1**2*n3 + 5447520*a11**4*b12**8*kap**4*n1**2*
n3) + u2**4*( - 2723760*a11**7*b12**4*kap**2*n1**4 + 2723760*a11**7*b12**4*kap**
2*n1**2*n2**2 - 2723760*a11**5*b12**6*kap**3*n1**4 + 2723760*a11**5*b12**6*kap**
3*n1**2*n2**2) - 43580160*u2**3*u3*v1*a11**5*b12**7*kap**3*n1**2*n3 + u2**3*u3*(
14526720*a11**5*b12**6*kap**3*n1**2*n2*n3 + 3631680*a11**3*b12**8*kap**4*n1**2*
n2*n3) + u2**3*v1*(5447520*a11**6*b12**5*kap**2*n1**4 - 5447520*a11**6*b12**5*
kap**2*n1**2*n2**2 + 5447520*a11**4*b12**7*kap**3*n1**4 - 5447520*a11**4*b12**7*
kap**3*n1**2*n2**2) + u2**3*v2*( - 5447520*a11**6*b12**5*kap**2*n1**3*n2 -
5447520*a11**4*b12**7*kap**3*n1**3*n2) + u2**3*v3*(21790080*a11**6*b12**5*kap**2
*n1**3*n3 + 5447520*a11**4*b12**7*kap**3*n1**3*n3) + u2**3*(5447520*a11**6*b12**
4*kap**2*n1**2*n2**3 - 9684480*a11**6*b12**4*kap**2*n1**2*n2*n3**2 + 5447520*a11
**4*b12**6*kap**3*n1**2*n2**3 + 6658080*a11**4*b12**6*kap**3*n1**2*n2*n3**2) +
u2**2*u3**3*(164636160*a11**8*b12**4*kap**2*n1**2*n3 - 31802420*a11**8*b12**4*
kap**2*n2**2*n3 + 259059840*a11**6*b12**6*kap**3*n1**2*n3 - 47703630*a11**6*b12
**6*kap**3*n2**2*n3 + 94423680*a11**4*b12**8*kap**4*n1**2*n3 - 15901210*a11**4*
b12**8*kap**4*n2**2*n3 + 10895040*a11**2*b12**10*kap**5*n1**2*n3) + u2**2*u3**2*
(5810688*a11**9*b12**2*kap*n1**2*n3**2 - 16342560*a11**7*b12**4*kap**2*n1**4 +
11802960*a11**7*b12**4*kap**2*n1**2*n2**2 - 15979392*a11**7*b12**4*kap**2*n1**2*
n3**2 + 1452672*a11**7*b12**4*kap**2*n2**2*n3**2 + 10895040*a11**5*b12**6*kap**3
*n1**4 - 9533160*a11**5*b12**6*kap**3*n1**2*n2**2 - 35227296*a11**5*b12**6*kap**
3*n1**2*n3**2 + 2179008*a11**5*b12**6*kap**3*n2**2*n3**2 + 16342560*a11**3*b12**
8*kap**4*n1**4 - 10441080*a11**3*b12**8*kap**4*n1**2*n2**2 + 8352864*a11**3*b12
**8*kap**4*n1**2*n3**2 + 726336*a11**3*b12**8*kap**4*n2**2*n3**2 - 10895040*a11*
b12**10*kap**5*n1**4 + 10895040*a11*b12**10*kap**5*n1**2*n2**2) + 32685120*u2**2
*u3*v1**2*a11**4*b12**8*kap**3*n1**2*n3 + u2**2*u3*v1*(14526720*a11**6*b12**5*
kap**2*n1**2*n2*n3 - 23605920*a11**4*b12**7*kap**3*n1**2*n2*n3) + 10895040*u2**2
*u3*v2**2*a11**4*b12**8*kap**3*n1**2*n3 + u2**2*u3*v2*( - 43580160*a11**6*b12**5
*kap**2*n1**3*n3 - 27237600*a11**4*b12**7*kap**3*n1**3*n3) + 10895040*u2**2*u3*
v3**2*a11**4*b12**8*kap**3*n1**2*n3 + u2**2*u3*v3*( - 10895040*a11**6*b12**5*kap
**2*n1**3*n2 - 10895040*a11**4*b12**7*kap**3*n1**3*n2) + u2**2*u3*( - 222024270*
a11**6*b12**4*kap**2*n1**2*n2**2*n3 + 47703630*a11**6*b12**4*kap**2*n2**4*n3 -
222024270*a11**4*b12**6*kap**3*n1**2*n2**2*n3 + 47703630*a11**4*b12**6*kap**3*n2
**4*n3) + u2**2*v1**2*( - 2723760*a11**5*b12**6*kap**2*n1**4 + 2723760*a11**5*
b12**6*kap**2*n1**2*n2**2 - 2723760*a11**3*b12**8*kap**3*n1**4 + 2723760*a11**3*
b12**8*kap**3*n1**2*n2**2) + u2**2*v1*v2*(5447520*a11**5*b12**6*kap**2*n1**3*n2
+ 5447520*a11**3*b12**8*kap**3*n1**3*n2) - 10895040*u2**2*v1*v3*a11**5*b12**6*
kap**2*n1**3*n3 + u2**2*v1*( - 5447520*a11**5*b12**5*kap**2*n1**2*n2**3 +
10895040*a11**5*b12**5*kap**2*n1**2*n2*n3**2 - 5447520*a11**3*b12**7*kap**3*n1**
2*n2**3) + u2**2*v2**2*( - 2905344*a11**7*b12**4*kap*n1**2*n3**2 - 453960*a11**5
*b12**6*kap**2*n1**2*n2**2 + 10531872*a11**5*b12**6*kap**2*n1**2*n3**2 - 726336*
a11**5*b12**6*kap**2*n2**2*n3**2 - 453960*a11**3*b12**8*kap**3*n1**2*n2**2 -
8352864*a11**3*b12**8*kap**3*n1**2*n3**2 - 726336*a11**3*b12**8*kap**3*n2**2*n3
**2) + u2**2*v2*( - 5447520*a11**5*b12**5*kap**2*n1**3*n2**2 - 5447520*a11**3*
b12**7*kap**3*n1**3*n2**2) + u2**2*v3*(5447520*a11**5*b12**5*kap**2*n1**3*n2*n3
- 5447520*a11**3*b12**7*kap**3*n1**3*n2*n3) + u2**2*(2905344*a11**7*b12**2*kap*
n1**4*n3**2 + 3177720*a11**5*b12**4*kap**2*n1**4*n2**2 - 2360592*a11**5*b12**4*
kap**2*n1**4*n3**2 + 2723760*a11**5*b12**4*kap**2*n1**2*n2**4 - 7444944*a11**5*
b12**4*kap**2*n1**2*n2**2*n3**2 + 3177720*a11**3*b12**6*kap**3*n1**4*n2**2 -
5265936*a11**3*b12**6*kap**3*n1**4*n3**2 + 2723760*a11**3*b12**6*kap**3*n1**2*n2
**4 + 3450096*a11**3*b12**6*kap**3*n1**2*n2**2*n3**2) + u2*u3**3*v1*( -
164636160*a11**7*b12**5*kap**2*n1**2*n3 + 31802420*a11**7*b12**5*kap**2*n2**2*n3
- 176741760*a11**5*b12**7*kap**3*n1**2*n3 + 31802420*a11**5*b12**7*kap**3*n2**2
*n3 - 12105600*a11**3*b12**9*kap**4*n1**2*n3) + u2*u3**3*(164636160*a11**7*b12**
4*kap**2*n1**2*n2*n3 - 31802420*a11**7*b12**4*kap**2*n2**3*n3 + 670650240*a11**5
*b12**6*kap**3*n1**2*n2*n3 - 127209680*a11**5*b12**6*kap**3*n2**3*n3 + 516909120
*a11**3*b12**8*kap**4*n1**2*n2*n3 - 95407260*a11**3*b12**8*kap**4*n2**3*n3 +
21790080*a11*b12**10*kap**5*n1**2*n2*n3) + u2*u3**2*v1*( - 5810688*a11**8*b12**3
*kap*n1**2*n3**2 + 16342560*a11**6*b12**5*kap**2*n1**4 - 11802960*a11**6*b12**5*
kap**2*n1**2*n2**2 + 18884736*a11**6*b12**5*kap**2*n1**2*n3**2 - 1452672*a11**6*
b12**5*kap**2*n2**2*n3**2 - 907920*a11**4*b12**7*kap**3*n1**2*n2**2 + 24695424*
a11**4*b12**7*kap**3*n1**2*n3**2 - 1452672*a11**4*b12**7*kap**3*n2**2*n3**2 -
16342560*a11**2*b12**9*kap**4*n1**4 + 10895040*a11**2*b12**9*kap**4*n1**2*n2**2)
+ u2*u3**2*v2*(2723760*a11**6*b12**5*kap**2*n1**3*n2 + 2723760*a11**4*b12**7*
kap**3*n1**3*n2) + u2*u3**2*v3*( - 246954240*a11**6*b12**5*kap**2*n1**3*n3 +
47703630*a11**6*b12**5*kap**2*n1*n2**2*n3 - 252401760*a11**4*b12**7*kap**3*n1**3
*n3 + 47703630*a11**4*b12**7*kap**3*n1*n2**2*n3 - 10895040*a11**2*b12**9*kap**4*
n1**3*n3) + u2*u3**2*(5810688*a11**8*b12**2*kap*n1**2*n2*n3**2 - 16342560*a11**6
*b12**4*kap**2*n1**4*n2 + 11802960*a11**6*b12**4*kap**2*n1**2*n2**3 + 239690880*
a11**6*b12**4*kap**2*n1**2*n2*n3**2 - 46250958*a11**6*b12**4*kap**2*n2**3*n3**2
+ 2723760*a11**4*b12**6*kap**3*n1**2*n2**3 + 207368928*a11**4*b12**6*kap**3*n1**
2*n2*n3**2 - 43345614*a11**4*b12**6*kap**3*n2**3*n3**2 + 16342560*a11**2*b12**8*
kap**4*n1**4*n2 - 9079200*a11**2*b12**8*kap**4*n1**2*n2**3 + 726336*a11**2*b12**
8*kap**4*n1**2*n2*n3**2 + 2905344*a11**2*b12**8*kap**4*n2**3*n3**2) + u2*u3*v1**
2*( - 10895040*a11**5*b12**6*kap**2*n1**2*n2*n3 + 10895040*a11**3*b12**8*kap**3*
n1**2*n2*n3) + 10895040*u2*u3*v1*v2*a11**5*b12**6*kap**2*n1**3*n3 + u2*u3*v1*v3*
(10895040*a11**5*b12**6*kap**2*n1**3*n2 + 10895040*a11**3*b12**8*kap**3*n1**3*n2
) + u2*u3*v1*(11621376*a11**7*b12**3*kap*n1**2*n3**3 + 10895040*a11**5*b12**5*
kap**2*n1**2*n2**2*n3 - 10168704*a11**5*b12**5*kap**2*n1**2*n3**3) + 10895040*u2
*u3*v2**2*a11**3*b12**8*kap**3*n1**2*n2*n3 + u2*u3*v2*v3*( - 5810688*a11**7*b12
**4*kap*n1**2*n3**2 - 907920*a11**5*b12**6*kap**2*n1**2*n2**2 + 21063744*a11**5*
b12**6*kap**2*n1**2*n3**2 - 1452672*a11**5*b12**6*kap**2*n2**2*n3**2 - 907920*
a11**3*b12**8*kap**3*n1**2*n2**2 - 16705728*a11**3*b12**8*kap**3*n1**2*n3**2 -
1452672*a11**3*b12**8*kap**3*n2**2*n3**2) - 10895040*u2*u3*v2*a11**5*b12**5*kap
**2*n1**3*n2*n3 + 10895040*u2*u3*v3**2*a11**3*b12**8*kap**3*n1**2*n2*n3 + u2*u3*
v3*( - 5810688*a11**7*b12**3*kap*n1**3*n3**2 - 11802960*a11**5*b12**5*kap**2*n1
**3*n2**2 + 10168704*a11**5*b12**5*kap**2*n1**3*n3**2 - 1452672*a11**5*b12**5*
kap**2*n1*n2**2*n3**2 - 11802960*a11**3*b12**7*kap**3*n1**3*n2**2 + 5084352*a11
**3*b12**7*kap**3*n1**3*n3**2 - 1452672*a11**3*b12**7*kap**3*n1*n2**2*n3**2) +
u2*u3*( - 5810688*a11**7*b12**2*kap*n1**2*n2*n3**3 + 11802960*a11**5*b12**4*kap
**2*n1**2*n2**3*n3 - 8716032*a11**5*b12**4*kap**2*n1**2*n2*n3**3 + 1452672*a11**
5*b12**4*kap**2*n2**3*n3**3 + 11802960*a11**3*b12**6*kap**3*n1**2*n2**3*n3 +
18884736*a11**3*b12**6*kap**3*n1**2*n2*n3**3 + 1452672*a11**3*b12**6*kap**3*n2**
3*n3**3) - 5447520*u2*v1**2*v3*a11**4*b12**7*kap**2*n1**3*n3 + 5447520*u2*v1**2*
a11**4*b12**6*kap**2*n1**2*n2*n3**2 - 5447520*u2*v2**2*v3*a11**4*b12**7*kap**2*
n1**3*n3 + 5447520*u2*v2**2*a11**4*b12**6*kap**2*n1**2*n2*n3**2 + u2*v2*(
32685120*a11**6*b12**3*kap*n1**5*n2 - 10895040*a11**6*b12**3*kap*n1**3*n2**3 - 1074508188
*a11**6*b12**3*kap*n1**3*n2*n3**2 + 190814520*a11**6*b12**3*kap*n1*n2**3*n3**2 +
5447520*a11**4*b12**5*kap**2*n1**3*n2**3 - 1044002076*a11**4*b12**5*kap**2*n1**
3*n2*n3**2 + 182098488*a11**4*b12**5*kap**2*n1*n2**3*n3**2 - 32685120*a11**2*b12
**7*kap**3*n1**5*n2 + 16342560*a11**2*b12**7*kap**3*n1**3*n2**3 + 30506112*a11**
2*b12**7*kap**3*n1**3*n2*n3**2 - 8716032*a11**2*b12**7*kap**3*n1*n2**3*n3**2) -
5447520*u2*v3**3*a11**4*b12**7*kap**2*n1**3*n3 + 5447520*u2*v3**2*a11**4*b12**6*
kap**2*n1**2*n2*n3**2 + u2*v3*( - 227471790*a11**6*b12**3*kap*n1**3*n2**2*n3 +
11621376*a11**6*b12**3*kap*n1**3*n3**3 + 47703630*a11**6*b12**3*kap*n1*n2**4*n3
- 227471790*a11**4*b12**5*kap**2*n1**3*n2**2*n3 - 4721184*a11**4*b12**5*kap**2*
n1**3*n3**3 + 47703630*a11**4*b12**5*kap**2*n1*n2**4*n3) + u2*(17432064*a11**8*
n1**2*n2*n3**4 - 32685120*a11**6*b12**2*kap*n1**6*n2 + 10895040*a11**6*b12**2*
kap*n1**4*n2**3 + 2034255288*a11**6*b12**2*kap*n1**4*n2*n3**2 - 224653455*a11**6
*b12**2*kap*n1**2*n2**3*n3**2 - 9442368*a11**6*b12**2*kap*n1**2*n2*n3**4 -
5447520*a11**4*b12**4*kap**2*n1**4*n2**3 + 1995577896*a11**4*b12**4*kap**2*n1**4
*n2*n3**2 - 198686943*a11**4*b12**4*kap**2*n1**2*n2**3*n3**2 - 4721184*a11**4*
b12**4*kap**2*n1**2*n2*n3**4 + 32685120*a11**2*b12**6*kap**3*n1**6*n2 - 16342560
*a11**2*b12**6*kap**3*n1**4*n2**3 - 38677392*a11**2*b12**6*kap**3*n1**4*n2*n3**2
+ 25966512*a11**2*b12**6*kap**3*n1**2*n2**3*n3**2 + 5810688*a11**2*b12**6*kap**
3*n1**2*n2*n3**4) + u3**5*( - 148172544*a11**6*b12**6*kap**3*n1**2*n3 + 28622178
*a11**6*b12**6*kap**3*n2**2*n3 + 106892448*a11**4*b12**8*kap**4*n1**2*n3 -
9540726*a11**4*b12**8*kap**4*n2**2*n3 + 258333504*a11**2*b12**10*kap**5*n1**2*n3
- 38162904*a11**2*b12**10*kap**5*n2**2*n3 + 8716032*b12**12*kap**6*n1**2*n3) +
u3**4*( - 2723760*a11**7*b12**4*kap**2*n1**4 + 3177720*a11**7*b12**4*kap**2*n1**
2*n2**2 + 1089504*a11**7*b12**4*kap**2*n1**2*n3**2 - 1815840*a11**7*b12**4*kap**
2*n2**4 + 7753889*a11**7*b12**4*kap**2*n2**2*n3**2 - 6809400*a11**5*b12**6*kap**
3*n1**2*n2**2 + 79896960*a11**5*b12**6*kap**3*n1**2*n3**2 + 5447520*a11**5*b12**
6*kap**3*n2**4 - 23655099*a11**5*b12**6*kap**3*n2**2*n3**2 + 5447520*a11**3*b12
**8*kap**4*n1**4 - 2723760*a11**3*b12**8*kap**4*n1**2*n2**2 + 67912416*a11**3*
b12**8*kap**4*n1**2*n3**2 - 31408988*a11**3*b12**8*kap**4*n2**2*n3**2 + 2723760*
a11*b12**10*kap**5*n1**4 + 7263360*a11*b12**10*kap**5*n1**2*n2**2 + 10895040*a11
*b12**10*kap**5*n1**2*n3**2 - 7263360*a11*b12**10*kap**5*n2**4) + u3**3*v1**2*(
82318080*a11**6*b12**6*kap**2*n1**2*n3 - 15901210*a11**6*b12**6*kap**2*n2**2*n3
+ 82318080*a11**4*b12**8*kap**3*n1**2*n3 - 15901210*a11**4*b12**8*kap**3*n2**2*
n3 + 10895040*a11**2*b12**10*kap**4*n1**2*n3) + u3**3*v1*( - 246954240*a11**6*
b12**5*kap**2*n1**2*n2*n3 + 47703630*a11**6*b12**5*kap**2*n2**3*n3 - 252401760*
a11**4*b12**7*kap**3*n1**2*n2*n3 + 47703630*a11**4*b12**7*kap**3*n2**3*n3 -
10895040*a11**2*b12**9*kap**4*n1**2*n2*n3) + u3**3*v2**2*(82318080*a11**6*b12**6
*kap**2*n1**2*n3 - 15901210*a11**6*b12**6*kap**2*n2**2*n3 + 82318080*a11**4*b12
**8*kap**3*n1**2*n3 - 15901210*a11**4*b12**8*kap**3*n2**2*n3 + 10895040*a11**2*
b12**10*kap**4*n1**2*n3) + u3**3*v2*(246954240*a11**6*b12**5*kap**2*n1**3*n3 -
47703630*a11**6*b12**5*kap**2*n1*n2**2*n3 + 252401760*a11**4*b12**7*kap**3*n1**3
*n3 - 47703630*a11**4*b12**7*kap**3*n1*n2**2*n3 + 10895040*a11**2*b12**9*kap**4*
n1**3*n3) + u3**3*v3**2*(82318080*a11**6*b12**6*kap**2*n1**2*n3 - 15901210*a11**
6*b12**6*kap**2*n2**2*n3 + 82318080*a11**4*b12**8*kap**3*n1**2*n3 - 15901210*a11
**4*b12**8*kap**3*n2**2*n3 + 10895040*a11**2*b12**10*kap**4*n1**2*n3) + u3**3*v3
*(2723760*a11**6*b12**5*kap**2*n1**3*n2 - 8171280*a11**4*b12**7*kap**3*n1**3*n2
- 10895040*a11**2*b12**9*kap**4*n1**3*n2) + u3**3*( - 128924640*a11**6*b12**4*
kap**2*n1**4*n3 - 24457095*a11**6*b12**4*kap**2*n1**2*n2**2*n3 + 84981312*a11**6
*b12**4*kap**2*n1**2*n3**3 - 16385434*a11**6*b12**4*kap**2*n2**2*n3**3 -
120753360*a11**4*b12**6*kap**3*n1**4*n3 - 25365015*a11**4*b12**6*kap**3*n1**2*n2
**2*n3 + 52296192*a11**4*b12**6*kap**3*n1**2*n3**3 - 14448538*a11**4*b12**6*kap
**3*n2**2*n3**3 + 8171280*a11**2*b12**8*kap**4*n1**4*n3 - 907920*a11**2*b12**8*
kap**4*n1**2*n2**2*n3 + 10895040*a11**2*b12**8*kap**4*n1**2*n3**3 + 1936896*a11
**2*b12**8*kap**4*n2**2*n3**3) + u3**2*v1**2*(2905344*a11**7*b12**4*kap*n1**2*n3
**2 - 2723760*a11**5*b12**6*kap**2*n1**4 + 3177720*a11**5*b12**6*kap**2*n1**2*n2
**2 - 10531872*a11**5*b12**6*kap**2*n1**2*n3**2 + 726336*a11**5*b12**6*kap**2*n2
**2*n3**2 - 2723760*a11**3*b12**8*kap**3*n1**4 + 3177720*a11**3*b12**8*kap**3*n1
**2*n2**2 + 8352864*a11**3*b12**8*kap**3*n1**2*n3**2 + 726336*a11**3*b12**8*kap
**3*n2**2*n3**2) + u3**2*v1*v2*( - 5447520*a11**5*b12**6*kap**2*n1**3*n2 -
5447520*a11**3*b12**8*kap**3*n1**3*n2) + u3**2*v1*( - 5810688*a11**7*b12**3*kap*
n1**2*n2*n3**2 - 6355440*a11**5*b12**5*kap**2*n1**2*n2**3 + 10168704*a11**5*b12
**5*kap**2*n1**2*n2*n3**2 - 1452672*a11**5*b12**5*kap**2*n2**3*n3**2 - 6355440*
a11**3*b12**7*kap**3*n1**2*n2**3 + 5084352*a11**3*b12**7*kap**3*n1**2*n2*n3**2 -
1452672*a11**3*b12**7*kap**3*n2**3*n3**2) + u3**2*v2**2*(2905344*a11**7*b12**4*
kap*n1**2*n3**2 + 453960*a11**5*b12**6*kap**2*n1**2*n2**2 - 10531872*a11**5*b12
**6*kap**2*n1**2*n3**2 + 726336*a11**5*b12**6*kap**2*n2**2*n3**2 + 453960*a11**3
*b12**8*kap**3*n1**2*n2**2 + 8352864*a11**3*b12**8*kap**3*n1**2*n3**2 + 726336*
a11**3*b12**8*kap**3*n2**2*n3**2) + u3**2*v2*(5810688*a11**7*b12**3*kap*n1**3*n3
**2 + 6355440*a11**5*b12**5*kap**2*n1**3*n2**2 - 10168704*a11**5*b12**5*kap**2*
n1**3*n3**2 + 1452672*a11**5*b12**5*kap**2*n1*n2**2*n3**2 + 6355440*a11**3*b12**
7*kap**3*n1**3*n2**2 - 5084352*a11**3*b12**7*kap**3*n1**3*n3**2 + 1452672*a11**3
*b12**7*kap**3*n1*n2**2*n3**2) + u3**2*v3*( - 5447520*a11**5*b12**5*kap**2*n1**3
*n2*n3 - 5447520*a11**3*b12**7*kap**3*n1**3*n2*n3) + u3**2*(2723760*a11**7*b12**
2*kap*n1**6 - 1815840*a11**7*b12**2*kap*n1**4*n2**2 - 83407584*a11**7*b12**2*kap
*n1**4*n3**2 + 1815840*a11**7*b12**2*kap*n1**2*n2**4 + 18836818*a11**7*b12**2*
kap*n1**2*n2**2*n3**2 + 2905344*a11**7*b12**2*kap*n1**2*n3**4 + 7263360*a11**5*
b12**4*kap**2*n1**4*n2**2 - 86131344*a11**5*b12**4*kap**2*n1**4*n3**2 + 907920*
a11**5*b12**4*kap**2*n1**2*n2**4 + 9303658*a11**5*b12**4*kap**2*n1**2*n2**2*n3**
2 - 22153248*a11**5*b12**4*kap**2*n1**2*n3**4 + 726336*a11**5*b12**4*kap**2*n2**
2*n3**4 - 2723760*a11**3*b12**6*kap**3*n1**6 + 9079200*a11**3*b12**6*kap**3*n1**
4*n2**2 - 2723760*a11**3*b12**6*kap**3*n1**4*n3**2 - 907920*a11**3*b12**6*kap**3
*n1**2*n2**4 - 9533160*a11**3*b12**6*kap**3*n1**2*n2**2*n3**2 + 18521568*a11**3*
b12**6*kap**3*n1**2*n3**4 + 726336*a11**3*b12**6*kap**3*n2**2*n3**4) + 5447520*
u3*v1**4*a11**4*b12**8*kap**2*n1**2*n3 - 5447520*u3*v1**3*a11**4*b12**7*kap**2*
n1**2*n2*n3 + 10895040*u3*v1**2*v2**2*a11**4*b12**8*kap**2*n1**2*n3 + 5447520*u3
*v1**2*v2*a11**4*b12**7*kap**2*n1**3*n3 + 10895040*u3*v1**2*v3**2*a11**4*b12**8*
kap**2*n1**2*n3 + u3*v1**2*(11621376*a11**8*b12**2*n1**2*n3**3 - 28145520*a11**6
*b12**4*kap*n1**4*n3 - 233335440*a11**6*b12**4*kap*n1**2*n2**2*n3 - 10168704*a11
**6*b12**4*kap*n1**2*n3**3 + 47703630*a11**6*b12**4*kap*n2**4*n3 - 33593040*a11
**4*b12**6*kap**2*n1**4*n3 - 238782960*a11**4*b12**6*kap**2*n1**2*n2**2*n3 +
47703630*a11**4*b12**6*kap**2*n2**4*n3 - 5447520*a11**2*b12**8*kap**3*n1**4*n3 -
5447520*a11**2*b12**8*kap**3*n1**2*n2**2*n3) - 5447520*u3*v1*v2**2*a11**4*b12**
7*kap**2*n1**2*n2*n3 - 5447520*u3*v1*v3**2*a11**4*b12**7*kap**2*n1**2*n2*n3 + u3
*v1*( - 17432064*a11**8*b12*n1**2*n2*n3**3 - 959747100*a11**6*b12**3*kap*n1**4*
n2*n3 + 33838935*a11**6*b12**3*kap*n1**2*n2**3*n3 + 9442368*a11**6*b12**3*kap*n1
**2*n2*n3**3 - 951575820*a11**4*b12**5*kap**2*n1**4*n2*n3 + 16588455*a11**4*b12
**5*kap**2*n1**2*n2**3*n3 + 4721184*a11**4*b12**5*kap**2*n1**2*n2*n3**3 +
8171280*a11**2*b12**7*kap**3*n1**4*n2*n3 - 17250480*a11**2*b12**7*kap**3*n1**2*
n2**3*n3 - 5810688*a11**2*b12**7*kap**3*n1**2*n2*n3**3) + 5447520*u3*v2**4*a11**
4*b12**8*kap**2*n1**2*n3 + 5447520*u3*v2**3*a11**4*b12**7*kap**2*n1**3*n3 +
10895040*u3*v2**2*v3**2*a11**4*b12**8*kap**2*n1**2*n3 + u3*v2**2*(11621376*a11**
8*b12**2*n1**2*n3**3 - 28145520*a11**6*b12**4*kap*n1**4*n3 - 233335440*a11**6*
b12**4*kap*n1**2*n2**2*n3 - 10168704*a11**6*b12**4*kap*n1**2*n3**3 + 47703630*
a11**6*b12**4*kap*n2**4*n3 - 33593040*a11**4*b12**6*kap**2*n1**4*n3 - 238782960*
a11**4*b12**6*kap**2*n1**2*n2**2*n3 + 47703630*a11**4*b12**6*kap**2*n2**4*n3 -
5447520*a11**2*b12**8*kap**3*n1**4*n3 - 5447520*a11**2*b12**8*kap**3*n1**2*n2**2
*n3) + 5447520*u3*v2*v3**2*a11**4*b12**7*kap**2*n1**3*n3 + u3*v2*( - 907920*a11
**6*b12**3*kap*n1**3*n2**2*n3 - 5810688*a11**6*b12**3*kap*n1**3*n3**3 - 907920*
a11**4*b12**5*kap**2*n1**3*n2**2*n3 + 10531872*a11**4*b12**5*kap**2*n1**3*n3**3)
+ 5447520*u3*v3**4*a11**4*b12**8*kap**2*n1**2*n3 + u3*v3**2*(11621376*a11**8*
b12**2*n1**2*n3**3 - 28145520*a11**6*b12**4*kap*n1**4*n3 - 233335440*a11**6*b12
**4*kap*n1**2*n2**2*n3 - 10168704*a11**6*b12**4*kap*n1**2*n3**3 + 47703630*a11**
6*b12**4*kap*n2**4*n3 - 33593040*a11**4*b12**6*kap**2*n1**4*n3 - 238782960*a11**
4*b12**6*kap**2*n1**2*n2**2*n3 + 47703630*a11**4*b12**6*kap**2*n2**4*n3 -
5447520*a11**2*b12**8*kap**3*n1**4*n3 - 5447520*a11**2*b12**8*kap**3*n1**2*n2**2
*n3) + u3*(4700160*a11**6*b12**2*kap*n1**2*n2**2*n3**3 - 5810688*a11**6*b12**2*
kap*n1**2*n3**5 - 907920*a11**6*b12**2*kap*n2**4*n3**3 + 4700160*a11**4*b12**4*
kap**2*n1**2*n2**2*n3**3 + 10531872*a11**4*b12**4*kap**2*n1**2*n3**5 - 907920*
a11**4*b12**4*kap**2*n2**4*n3**3) + v3*( - 2905344*a11**5*b12**3*kap*n1*n2**3*n3
**3 - 2905344*a11**3*b12**5*kap**2*n1*n2**3*n3**3)$
FI=u1**3*u3*v1*( - 12*a11**5*b12**4*kap**2*n1*n3 - 6*a11**3*b12**6*kap**3*n1*n3)
+ u1**3*u3*( - 8*a11**5*b12**3*kap**2*n1*n2*n3 - 8*a11**3*b12**5*kap**3*n1*n2*
n3) + u1**2*u2*u3*v2*( - 12*a11**5*b12**4*kap**2*n1*n3 - 6*a11**3*b12**6*kap**3*
n1*n3) + u1**2*u2*u3*( - 8*a11**5*b12**3*kap**2*n1**2*n3 - 8*a11**3*b12**5*kap**
3*n1**2*n3) + u1**2*u3**2*v3*( - 12*a11**5*b12**4*kap**2*n1*n3 - 6*a11**3*b12**6
*kap**3*n1*n3) + u1**2*u3**2*(6*a11**7*b12*kap*n2**3 + 3*a11**5*b12**3*kap**2*n2
**3 - 6*a11**3*b12**5*kap**3*n2**3 - 3*a11*b12**7*kap**4*n2**3) - 12*u1**2*u3*v1
*v2*a11**4*b12**5*kap**2*n1*n3 + u1**2*u3*v1*( - 12*a11**4*b12**4*kap**2*n1**2*
n3 - 12*a11**2*b12**6*kap**3*n1**2*n3) + u1**2*v1**2*( - 3*a11**5*b12**3*kap*n2
**3 + 3*a11*b12**7*kap**3*n2**3) - 6*u1**2*v1*v3*a11**3*b12**5*kap**2*n1*n2*n3 -
6*u1**2*v1*a11**3*b12**4*kap**2*n1**2*n3**2 + u1**2*v3*(8*a11**5*b12**2*kap*n1*
n2**2*n3 + 8*a11**3*b12**4*kap**2*n1*n2**2*n3) + u1**2*(3*a11**5*b12*kap*n2**5 -
3*a11*b12**5*kap**3*n2**5) + u1*u2**2*u3*v1*( - 12*a11**5*b12**4*kap**2*n1*n3 -
6*a11**3*b12**6*kap**3*n1*n3) + 12*u1*u2*u3*v1**2*a11**4*b12**5*kap**2*n1*n3 +
u1*u2*u3*v1*( - 12*a11**4*b12**4*kap**2*n1*n2*n3 - 12*a11**2*b12**6*kap**3*n1*n2
*n3) - 12*u1*u2*u3*v2**2*a11**4*b12**5*kap**2*n1*n3 + u1*u2*u3*v2*( - 12*a11**4*
b12**4*kap**2*n1**2*n3 - 12*a11**2*b12**6*kap**3*n1**2*n3) + u1*u2*u3*(6*a11**4*
b12**3*kap**2*n1**3*n3 - 6*a11**4*b12**3*kap**2*n1*n2**2*n3 + 6*a11**2*b12**5*
kap**3*n1**3*n3 - 6*a11**2*b12**5*kap**3*n1*n2**2*n3) + u1*u2*v1*v2*( - 6*a11**5
*b12**3*kap*n2**3 + 6*a11*b12**7*kap**3*n2**3) + 6*u1*u2*v1*v3*a11**3*b12**5*kap
**2*n1**2*n3 - 6*u1*u2*v1*a11**3*b12**4*kap**2*n1*n2*n3**2 - 6*u1*u2*v2*v3*a11**
3*b12**5*kap**2*n1*n2*n3 - 6*u1*u2*v2*a11**3*b12**4*kap**2*n1**2*n3**2 + u1*u2*(
- 6*a11**5*b12*kap*n1*n2**4 + 6*a11*b12**5*kap**3*n1*n2**4) + u1*u3**3*v1*( - 2
*a11**3*b12**6*kap**3*n1*n3 - 8*a11*b12**8*kap**4*n1*n3) - 12*u1*u3**2*v1*a11**2
*b12**6*kap**3*n1*n3**2 - 12*u1*u3**2*v2*v3*a11**4*b12**5*kap**2*n1*n3 + u1*u3**
2*v2*(6*a11**6*b12**2*kap*n2**3 - 6*a11**2*b12**6*kap**3*n2**3) + u1*u3**2*v3*(
- 12*a11**4*b12**4*kap**2*n1**2*n3 - 12*a11**2*b12**6*kap**3*n1**2*n3) + u1*u3**
2*(6*a11**6*b12*kap*n1*n2**3 + 12*a11**4*b12**3*kap**2*n1*n2**3 - 6*a11**2*b12**
5*kap**3*n1*n2**3 - 12*b12**7*kap**4*n1*n2**3) - 6*u1*u3*v1**3*a11**3*b12**6*kap
**2*n1*n3 + 6*u1*u3*v1**2*a11**3*b12**5*kap**2*n1*n2*n3 - 6*u1*u3*v1*v2**2*a11**
3*b12**6*kap**2*n1*n3 - 6*u1*u3*v1*v2*a11**3*b12**5*kap**2*n1**2*n3 - 6*u1*u3*v1
*v3**2*a11**3*b12**6*kap**2*n1*n3 + u1*u3*v1*v3*( - 6*a11**5*b12**3*kap*n2**3 +
6*a11*b12**7*kap**3*n2**3) - 6*u1*u3*v1*a11**3*b12**4*kap**2*n1*n3**3 - 6*u1*u3*
v3**2*a11**3*b12**5*kap**2*n1*n2*n3 + u1*u3*v3*(6*a11**5*b12**2*kap*n2**4 - 6*
a11**3*b12**4*kap**2*n1**2*n3**2 - 6*a11*b12**6*kap**3*n2**4) + u1*u3*(6*a11**5*
b12*kap*n1*n2**3*n3 - 6*a11*b12**5*kap**3*n1*n2**3*n3) + u2**3*u3*v2*( - 12*a11
**5*b12**4*kap**2*n1*n3 - 6*a11**3*b12**6*kap**3*n1*n3) + u2**3*u3*( - 8*a11**5*
b12**3*kap**2*n1**2*n3 - 8*a11**3*b12**5*kap**3*n1**2*n3) + u2**2*u3**2*v3*( -
12*a11**5*b12**4*kap**2*n1*n3 - 6*a11**3*b12**6*kap**3*n1*n3) + u2**2*u3**2*(6*
a11**7*b12*kap*n2**3 + 3*a11**5*b12**3*kap**2*n2**3 - 6*a11**3*b12**5*kap**3*n2
**3 - 3*a11*b12**7*kap**4*n2**3) + 12*u2**2*u3*v1*v2*a11**4*b12**5*kap**2*n1*n3
+ u2**2*u3*v2*( - 12*a11**4*b12**4*kap**2*n1*n2*n3 - 12*a11**2*b12**6*kap**3*n1*
n2*n3) + u2**2*u3*(24*a11**4*b12**3*kap**2*n1**2*n2*n3 + 24*a11**2*b12**5*kap**3
*n1**2*n2*n3) + u2**2*v2**2*( - 3*a11**5*b12**3*kap*n2**3 + 3*a11*b12**7*kap**3*
n2**3) + 6*u2**2*v2*v3*a11**3*b12**5*kap**2*n1**2*n3 - 6*u2**2*v2*a11**3*b12**4*
kap**2*n1*n2*n3**2 + u2**2*(3*a11**5*b12*kap*n1**2*n2**3 - 3*a11*b12**5*kap**3*
n1**2*n2**3) + u2*u3**3*v2*( - 2*a11**3*b12**6*kap**3*n1*n3 - 8*a11*b12**8*kap**
4*n1*n3) + 12*u2*u3**2*v1*v3*a11**4*b12**5*kap**2*n1*n3 + u2*u3**2*v1*( - 6*a11
**6*b12**2*kap*n2**3 + 6*a11**2*b12**6*kap**3*n2**3) - 12*u2*u3**2*v2*a11**2*b12
**6*kap**3*n1*n3**2 + u2*u3**2*v3*( - 12*a11**4*b12**4*kap**2*n1*n2*n3 - 12*a11
**2*b12**6*kap**3*n1*n2*n3) + u2*u3**2*(6*a11**6*b12*kap*n2**4 + 12*a11**4*b12**
3*kap**2*n2**4 - 6*a11**2*b12**5*kap**3*n2**4 - 12*b12**7*kap**4*n2**4) - 6*u2*
u3*v1**2*v2*a11**3*b12**6*kap**2*n1*n3 + 6*u2*u3*v1*v2*a11**3*b12**5*kap**2*n1*
n2*n3 - 6*u2*u3*v2**3*a11**3*b12**6*kap**2*n1*n3 - 6*u2*u3*v2**2*a11**3*b12**5*
kap**2*n1**2*n3 - 6*u2*u3*v2*v3**2*a11**3*b12**6*kap**2*n1*n3 + u2*u3*v2*v3*( -
6*a11**5*b12**3*kap*n2**3 + 6*a11*b12**7*kap**3*n2**3) - 6*u2*u3*v2*a11**3*b12**
4*kap**2*n1*n3**3 + 6*u2*u3*v3**2*a11**3*b12**5*kap**2*n1**2*n3 + u2*u3*v3*( - 6
*a11**5*b12**2*kap*n1*n2**3 - 6*a11**3*b12**4*kap**2*n1*n2*n3**2 + 6*a11*b12**6*
kap**3*n1*n2**3) + u2*u3*(6*a11**5*b12*kap*n2**4*n3 - 6*a11*b12**5*kap**3*n2**4*
n3) + u2*v2*(6*a11**4*b12**2*kap*n1**3*n3**2 - 36*a11**4*b12**2*kap*n1*n2**4 - 6
*a11**4*b12**2*kap*n1*n2**2*n3**2 + 6*a11**2*b12**4*kap**2*n1**3*n3**2 - 6*a11**
2*b12**4*kap**2*n1*n2**2*n3**2 + 36*b12**6*kap**3*n1*n2**4) + u2*v3*(24*a11**4*
b12**2*kap*n1**3*n2*n3 + 24*a11**2*b12**4*kap**2*n1**3*n2*n3) + u2*( - 12*a11**4
*b12*kap*n1**4*n3**2 + 36*a11**4*b12*kap*n1**2*n2**4 + 12*a11**4*b12*kap*n1**2*
n2**2*n3**2 - 12*a11**2*b12**3*kap**2*n1**4*n3**2 + 12*a11**2*b12**3*kap**2*n1**
2*n2**2*n3**2 - 36*b12**5*kap**3*n1**2*n2**4) + u3**4*v3*( - 2*a11**3*b12**6*kap
**3*n1*n3 - 8*a11*b12**8*kap**4*n1*n3) - 12*u3**3*v3*a11**2*b12**6*kap**3*n1*n3
**2 + u3**3*( - 2*a11**6*b12*kap*n2**3*n3 + 8*a11**4*b12**3*kap**2*n2**3*n3 + 2*
a11**2*b12**5*kap**3*n2**3*n3 - 8*b12**7*kap**4*n2**3*n3) - 6*u3**2*v1**2*v3*a11
**3*b12**6*kap**2*n1*n3 + u3**2*v1**2*(3*a11**5*b12**3*kap*n2**3 - 3*a11*b12**7*
kap**3*n2**3) + 6*u3**2*v1*v3*a11**3*b12**5*kap**2*n1*n2*n3 + u3**2*v1*( - 6*a11
**5*b12**2*kap*n2**4 + 6*a11*b12**6*kap**3*n2**4) - 6*u3**2*v2**2*v3*a11**3*b12
**6*kap**2*n1*n3 + u3**2*v2**2*(3*a11**5*b12**3*kap*n2**3 - 3*a11*b12**7*kap**3*
n2**3) - 6*u3**2*v2*v3*a11**3*b12**5*kap**2*n1**2*n3 + u3**2*v2*(6*a11**5*b12**2
*kap*n1*n2**3 - 6*a11*b12**6*kap**3*n1*n2**3) - 6*u3**2*v3**3*a11**3*b12**6*kap
**2*n1*n3 - 6*u3**2*v3*a11**3*b12**4*kap**2*n1*n3**3 + u3**2*(3*a11**5*b12*kap*
n2**3*n3**2 - 3*a11*b12**5*kap**3*n2**3*n3**2) + u3*v1**2*(12*a11**4*b12**3*kap*
n1**2*n2*n3 + 12*a11**2*b12**5*kap**2*n1**2*n2*n3) + u3*v1*(6*a11**4*b12**2*kap*
n1**4*n3 - 6*a11**4*b12**2*kap*n1**2*n2**2*n3 + 6*a11**2*b12**4*kap**2*n1**4*n3
- 6*a11**2*b12**4*kap**2*n1**2*n2**2*n3) + u3*v2**2*(12*a11**4*b12**3*kap*n1**2*
n2*n3 + 12*a11**2*b12**5*kap**2*n1**2*n2*n3) + u3*v3**2*(12*a11**4*b12**3*kap*n1
**2*n2*n3 + 12*a11**2*b12**5*kap**2*n1**2*n2*n3) + v3*( - 12*a11**5*n1*n2**4*n3
+ 12*a11*b12**4*kap**2*n1*n2**4*n3)$
FI=u1**2*u3**2*(2*a11**5*b12**2*kap + 3*a11**3*b12**4*kap**2 + a11*b12**6*kap**3
) + 2*u1**2*u3*a11**2*b12**4*kap**2*n3 + u1**2*v1**2*( - a11**3*b12**4*kap - a11
*b12**6*kap**2) + u1**2*(a11**3*b12**2*kap*n2**2 + a11*b12**4*kap**2*n2**2) + u1
*u2*v1*v2*( - 2*a11**3*b12**4*kap - 2*a11*b12**6*kap**2) + u1*u2*( - 2*a11**3*
b12**2*kap*n1*n2 - 2*a11*b12**4*kap**2*n1*n2) + u1*u3**2*v2*(2*a11**4*b12**3*kap
+ 2*a11**2*b12**5*kap**2) + u1*u3**2*(2*a11**4*b12**2*kap*n1 + 6*a11**2*b12**4*
kap**2*n1 + 4*b12**6*kap**3*n1) + u1*u3*v1*v3*( - 2*a11**3*b12**4*kap - 2*a11*
b12**6*kap**2) - 4*u1*u3*v2*a11**3*b12**3*kap*n3 + u1*u3*v3*(2*a11**3*b12**3*kap
*n2 + 2*a11*b12**5*kap**2*n2) + u1*u3*( - 2*a11**3*b12**2*kap*n1*n3 - 2*a11*b12
**4*kap**2*n1*n3) - 2*u1*v3*a11**2*b12**3*kap*n2*n3 - 2*u1*a11**2*b12**2*kap*n1*
n3**2 + u2**2*u3**2*(2*a11**5*b12**2*kap + 3*a11**3*b12**4*kap**2 + a11*b12**6*
kap**3) + 2*u2**2*u3*a11**2*b12**4*kap**2*n3 + u2**2*v2**2*( - a11**3*b12**4*kap
- a11*b12**6*kap**2) + u2**2*(a11**3*b12**2*kap*n1**2 + a11*b12**4*kap**2*n1**2
) + u2*u3**2*v1*( - 2*a11**4*b12**3*kap - 2*a11**2*b12**5*kap**2) + u2*u3**2*(2*
a11**4*b12**2*kap*n2 + 6*a11**2*b12**4*kap**2*n2 + 4*b12**6*kap**3*n2) + 4*u2*u3
*v1*a11**3*b12**3*kap*n3 + u2*u3*v2*v3*( - 2*a11**3*b12**4*kap - 2*a11*b12**6*
kap**2) + u2*u3*v3*( - 2*a11**3*b12**3*kap*n1 - 2*a11*b12**5*kap**2*n1) + u2*u3*
( - 2*a11**3*b12**2*kap*n2*n3 - 2*a11*b12**4*kap**2*n2*n3) + u2*v2*( - 12*a11**2
*b12**3*kap*n1*n2 - 12*b12**5*kap**2*n1*n2) + 2*u2*v3*a11**2*b12**3*kap*n1*n3 +
u2*(6*a11**4*n2*n3**2 + 12*a11**2*b12**2*kap*n1**2*n2 + 4*a11**2*b12**2*kap*n2*
n3**2 + 12*b12**4*kap**2*n1**2*n2) + 2*u3**3*a11**2*b12**4*kap**2*n3 + u3**2*v1
**2*(a11**3*b12**4*kap + a11*b12**6*kap**2) + u3**2*v1*( - 2*a11**3*b12**3*kap*
n2 - 2*a11*b12**5*kap**2*n2) + u3**2*v2**2*(a11**3*b12**4*kap + a11*b12**6*kap**
2) + u3**2*v2*(2*a11**3*b12**3*kap*n1 + 2*a11*b12**5*kap**2*n1) + u3**2*(a11**3*
b12**2*kap*n3**2 - 3*a11*b12**4*kap**2*n3**2) + u3*v1**2*(4*a11**4*b12**2*n3 + 2
*a11**2*b12**4*kap*n3) + u3*v1*( - 6*a11**4*b12*n2*n3 - 4*a11**2*b12**3*kap*n2*
n3) + u3*v2**2*(4*a11**4*b12**2*n3 + 2*a11**2*b12**4*kap*n3) - 2*u3*v2*a11**2*
b12**3*kap*n1*n3 + u3*v3**2*(4*a11**4*b12**2*n3 + 2*a11**2*b12**4*kap*n3) - 2*u3
*a11**2*b12**2*kap*n3**3$