Solution 39 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:
1 2 3 1 2 3
---*a11 *m3*n3 *r353 + ---*b12 *kap*m3*n3 *r353
9 9
r10=-------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r11=0
6 2 8 4 2 2
r12=(2*a11 *m3*n1*n3 *r353 + ---*a11 *b12 *kap*m3*n1*n3 *r353
3
1 2 4 2 3 17 2 4 2 2
- ----*a11 *b12 *kap *m3*n1 *r353 - ----*a11 *b12 *kap *m3*n1*n3 *r353
12 6
1 6 3 3 7 6 3 2
- ---*b12 *kap *m3*n1 *r353 - ---*b12 *kap *m3*n1*n3 *r353)/(
8 2
4 4 2 2 1 8 4 2 8 4 2
a11 *b12 *kap *n3 - ----*b12 *kap *n1 - b12 *kap *n3 )
24
8 2 2 8 4
r13=( - 4*a11 *kap*m3 *n3 *r353 + 4*a11 *n3 *r353
16 6 2 2 2 2 16 6 2 4
- ----*a11 *b12 *kap *m3 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3 3
1 4 4 3 2 2 14 4 4 3 2 2
+ ---*a11 *b12 *kap *m3 *n1 *r353 + ----*a11 *b12 *kap *m3 *n3 *r353
6 3
1 4 4 2 2 2 14 4 4 2 4
- ---*a11 *b12 *kap *n1 *n3 *r353 - ----*a11 *b12 *kap *n3 *r353
6 3
1 2 6 4 2 2 127 2 6 4 2 2
+ ---*a11 *b12 *kap *m3 *n1 *r353 + -----*a11 *b12 *kap *m3 *n3 *r353
4 18
1 2 6 3 2 2 127 2 6 3 4
- ---*a11 *b12 *kap *n1 *n3 *r353 - -----*a11 *b12 *kap *n3 *r353
4 18
1 8 5 2 2 19 8 5 2 2
+ ----*b12 *kap *m3 *n1 *r353 + ----*b12 *kap *m3 *n3 *r353
24 18
1 8 4 2 2 19 8 4 4
- ----*b12 *kap *n1 *n3 *r353 - ----*b12 *kap *n3 *r353)/(
24 18
4 6 3 2 1 10 5 2 10 5 2
a11 *b12 *kap *n3 - ----*b12 *kap *n1 - b12 *kap *n3 )
24
16 7 4 16 5 2 4
r14=( - ----*a11 *m3*n3 *r353 - ----*a11 *b12 *kap*m3*n3 *r353
3 3
4 3 4 2 2 2 16 3 4 2 4
+ ---*a11 *b12 *kap *m3*n1 *n3 *r353 + ----*a11 *b12 *kap *m3*n3 *r353
9 3
4 6 3 2 2 16 6 3 4
+ ---*a11*b12 *kap *m3*n1 *n3 *r353 + ----*a11*b12 *kap *m3*n3 *r353)/(
9 3
4 5 2 2 1 9 4 3 9 4 2
a11 *b12 *kap *n1*n3 - ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
6 3 8 4 2 3
r15=( - 2*a11 *n1*n3 *r353 - ---*a11 *b12 *kap*n1*n3 *r353
3
1 2 4 2 3 17 2 4 2 3
+ ----*a11 *b12 *kap *n1 *n3*r353 + ----*a11 *b12 *kap *n1*n3 *r353
12 6
1 6 3 3 7 6 3 3
+ ---*b12 *kap *n1 *n3*r353 + ---*b12 *kap *n1*n3 *r353)/(
8 2
4 4 2 2 1 8 4 2 8 4 2
a11 *b12 *kap *n3 - ----*b12 *kap *n1 - b12 *kap *n3 )
24
1 2 2 2 1 4 2 2
- ----*a11 *b12 *kap*m3 *n3*r353 - ----*b12 *kap *m3 *n3*r353
36 36
r20=----------------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r21=0
1 2 2 2 1 4 2 2
- ----*a11 *b12 *kap*m3 *n3*r353 - ----*b12 *kap *m3 *n3*r353
36 36
r22=----------------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r23=0
r24=0
6 2 8 4 2 2
r27=( - 2*a11 *n1*n3 *r353 - ---*a11 *b12 *kap*n1*n3 *r353
3
1 2 4 2 3 17 2 4 2 2
+ ----*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n1*n3 *r353
12 6
1 6 3 3 7 6 3 2 4 3 2 2
+ ---*b12 *kap *n1 *r353 + ---*b12 *kap *n1*n3 *r353)/(a11 *b12 *kap *n3
8 2
1 7 4 2 7 4 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
r28=0
14 5 12 2 5
r29=(192*a11 *n3 *r353 + 256*a11 *b12 *kap*n3 *r353
10 4 2 2 3 10 4 2 5
- 20*a11 *b12 *kap *n1 *n3 *r353 - 400*a11 *b12 *kap *n3 *r353
8 6 3 2 3 8 6 3 5
- 30*a11 *b12 *kap *n1 *n3 *r353 - 568*a11 *b12 *kap *n3 *r353
1 6 8 4 4 49 6 8 4 2 3
+ ---*a11 *b12 *kap *n1 *n3*r353 + ----*a11 *b12 *kap *n1 *n3 *r353
2 3
6 8 4 5 5 4 10 5 4
+ 168*a11 *b12 *kap *n3 *r353 + ---*a11 *b12 *kap *n1 *n3*r353
6
103 4 10 5 2 3 4 10 5 5
+ -----*a11 *b12 *kap *n1 *n3 *r353 + 312*a11 *b12 *kap *n3 *r353
3
1 2 12 6 4 287 2 12 6 2 3
+ ---*a11 *b12 *kap *n1 *n3*r353 + -----*a11 *b12 *kap *n1 *n3 *r353
4 36
2 12 6 5 1 14 7 2 3
+ 40*a11 *b12 *kap *n3 *r353 - ----*b12 *kap *n1 *n3 *r353)/(
36
5 10 5 2 2 1 14 7 4 14 7 2 2
a11 *b12 *kap *n1 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n1 *n3 )
24
6 2 8 4 2 2
r210=(2*a11 *n1*n3 *r353 + ---*a11 *b12 *kap*n1*n3 *r353
3
1 2 4 2 3 17 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1*n3 *r353
12 6
1 6 3 3 7 6 3 2 4 3 2 2
- ---*b12 *kap *n1 *r353 - ---*b12 *kap *n1*n3 *r353)/(a11 *b12 *kap *n3
8 2
1 7 4 2 7 4 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
7 2 2 16 7 4
r211=(4*a11 *m3*n1 *n3 *r353 + ----*a11 *m3*n3 *r353
3
16 5 2 2 2 16 5 2 4
+ ----*a11 *b12 *kap*m3*n1 *n3 *r353 + ----*a11 *b12 *kap*m3*n3 *r353
3 3
1 3 4 2 4 55 3 4 2 2 2
- ---*a11 *b12 *kap *m3*n1 *r353 - ----*a11 *b12 *kap *m3*n1 *n3 *r353
6 9
16 3 4 2 4 1 6 3 4
- ----*a11 *b12 *kap *m3*n3 *r353 - ---*a11*b12 *kap *m3*n1 *r353
3 4
67 6 3 2 2 16 6 3 4
- ----*a11*b12 *kap *m3*n1 *n3 *r353 - ----*a11*b12 *kap *m3*n3 *r353)/(
9 3
4 4 2 2 2 1 8 4 4 8 4 2 2
a11 *b12 *kap *n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r212=0
r213=0
1 2 2 3 1 4 2 3
- ----*a11 *b12 *kap*n3 *r353 - ----*b12 *kap *n3 *r353
36 36
r214=----------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r215=0
8 2 16 6 2 2
r217=(4*a11 *m3*n3 *r353 + ----*a11 *b12 *kap*m3*n3 *r353
3
1 4 4 2 2 17 4 4 2 2
- ---*a11 *b12 *kap *m3*n1 *r353 - ----*a11 *b12 *kap *m3*n3 *r353
6 3
1 2 6 3 2 127 2 6 3 2
- ---*a11 *b12 *kap *m3*n1 *r353 - -----*a11 *b12 *kap *m3*n3 *r353
4 18
1 8 4 2 5 4 2 2
- ----*b12 *kap *m3*n3 *r353)/(a11 *b12 *kap *n3
18
1 8 4 2 8 4 2
- ----*a11*b12 *kap *n1 - a11*b12 *kap *n3 )
24
11 4 9 2 4
r218=( - 96*a11 *n3 *r353 - 128*a11 *b12 *kap*n3 *r353
7 4 2 2 2 7 4 2 4
+ 4*a11 *b12 *kap *n1 *n3 *r353 + 232*a11 *b12 *kap *n3 *r353
5 6 3 2 2 5 6 3 4
+ 6*a11 *b12 *kap *n1 *n3 *r353 + 296*a11 *b12 *kap *n3 *r353
3 8 4 2 2 3 8 4 4
- 4*a11 *b12 *kap *n1 *n3 *r353 - 136*a11 *b12 *kap *n3 *r353
10 5 2 2 10 5 4
- 6*a11*b12 *kap *n1 *n3 *r353 - 168*a11*b12 *kap *n3 *r353)/(
4 8 4 2 1 12 6 3 12 6 2
a11 *b12 *kap *n1*n3 - ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
1 2 2 1 3 2 2
---*a11 *b12*kap*m3*n3 *r353 + ---*b12 *kap *m3*n3 *r353
9 9
r219=----------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
1 2 2 2 2 1 2 2 3
r220=( - ----*a11 *b12 *kap *m3 *n3*r353 + ----*a11 *b12 *kap*n3 *r353
36 36
1 4 3 2 1 4 2 3 5 2
- ----*b12 *kap *m3 *n3*r353 + ----*b12 *kap *n3 *r353)/(a11 *n3
36 36
1 4 2 2 4 2 2
- ----*a11*b12 *kap *n1 - a11*b12 *kap *n3 )
24
r30=0
r31=0
r32=0
r33=0
r34=0
r35=0
r36=0
r37=0
r38=0
r39=0
8 2 16 6 2 2
r310=(4*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3
1 4 4 2 2 14 4 4 2 2
- ---*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
6 3
1 2 6 3 2 127 2 6 3 2
- ---*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n3 *r353
4 18
1 8 4 2 19 8 4 2 4 4 3 2
- ----*b12 *kap *n1 *r353 - ----*b12 *kap *n3 *r353)/(a11 *b12 *kap *n3
24 18
1 8 5 2 8 5 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
r311=0
8 2 16 6 2 2
r312=(4*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3
1 4 4 2 2 14 4 4 2 2
- ---*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
6 3
1 2 6 3 2 127 2 6 3 2
- ---*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n3 *r353
4 18
1 8 4 2 19 8 4 2 4 4 3 2
- ----*b12 *kap *n1 *r353 - ----*b12 *kap *n3 *r353)/(a11 *b12 *kap *n3
24 18
1 8 5 2 8 5 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
r313=0
1 2 3 1 5 2
- ----*a11 *b12 *kap*m3*n3*r353 - ----*b12 *kap *m3*n3*r353
18 18
r314=--------------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
8 2 16 6 2 2
r315=(4*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3
1 4 4 2 2 14 4 4 2 2
- ---*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
6 3
1 2 6 3 2 127 2 6 3 2
- ---*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n3 *r353
4 18
1 8 4 2 19 8 4 2 4 4 3 2
- ----*b12 *kap *n1 *r353 - ----*b12 *kap *n3 *r353)/(a11 *b12 *kap *n3
24 18
1 8 5 2 8 5 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
1 2 2 1 4 2
- ----*a11 *b12 *kap*m3*n3*r353 - ----*b12 *kap *m3*n3*r353
36 36
r316=--------------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r317=0
6 2 5 4 2 2
r318=( - 2*a11 *m3*n3 *r353 - ---*a11 *b12 *kap*m3*n3 *r353
3
1 2 4 2 2 8 2 4 2 2
+ ----*a11 *b12 *kap *m3*n1 *r353 + ---*a11 *b12 *kap *m3*n3 *r353
12 3
1 6 3 2 7 6 3 2
+ ----*b12 *kap *m3*n1 *r353 + ---*b12 *kap *m3*n3 *r353)/(
12 3
4 2 2 1 6 3 3 6 3 2
a11 *b12 *kap*n1*n3 - ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
16 6 14 2 6
r319=( - 1536*a11 *n3 *r353 - 2048*a11 *b12 *kap*n3 *r353
12 4 2 2 4 12 4 2 6
+ 192*a11 *b12 *kap *n1 *n3 *r353 + 5248*a11 *b12 *kap *n3 *r353
800 10 6 3 2 4 10 6 3 6
+ -----*a11 *b12 *kap *n1 *n3 *r353 + 6784*a11 *b12 *kap *n3 *r353
3
8 8 4 4 2 1312 8 8 4 2 4
- 8*a11 *b12 *kap *n1 *n3 *r353 - ------*a11 *b12 *kap *n1 *n3 *r353
3
8 8 4 6 2 6 10 6 2 2 2
- 5888*a11 *b12 *kap *n3 *r353 - ---*a11 *b12 *kap *m3 *n1 *n3 *r353
3
98 6 10 5 4 2 6 10 5 2 4
- ----*a11 *b12 *kap *n1 *n3 *r353 - 586*a11 *b12 *kap *n1 *n3 *r353
9
6 10 5 6 5 4 12 7 2 2 2
- 7424*a11 *b12 *kap *n3 *r353 - ---*a11 *b12 *kap *m3 *n1 *n3 *r353
9
1 4 12 6 6 28 4 12 6 4 2
+ ---*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n1 *n3 *r353
9 3
2213 4 12 6 2 4 4 12 6 6
+ ------*a11 *b12 *kap *n1 *n3 *r353 + 2176*a11 *b12 *kap *n3 *r353
9
1 2 14 8 2 4
+ ----*a11 *b12 *kap *m3 *n1 *r353
36
8 2 14 8 2 2 2 5 2 14 7 6
+ ---*a11 *b12 *kap *m3 *n1 *n3 *r353 + ----*a11 *b12 *kap *n1 *r353
9 36
106 2 14 7 4 2
+ -----*a11 *b12 *kap *n1 *n3 *r353
9
2872 2 14 7 2 4 2 14 7 6
+ ------*a11 *b12 *kap *n1 *n3 *r353 + 2688*a11 *b12 *kap *n3 *r353
9
1 16 9 2 4 7 16 9 2 2 2
+ ----*b12 *kap *m3 *n1 *r353 + ---*b12 *kap *m3 *n1 *n3 *r353
36 9
1 16 8 6 4 16 8 4 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n1 *n3 *r353
72 9
7 16 8 2 4 4 12 6 4 2
- ---*b12 *kap *n1 *n3 *r353)/(a11 *b12 *kap *n1 *n3
9
1 16 8 6 16 8 4 2
- ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r320=0
r321=0
r322=0
1 2 3 1 5 2
----*a11 *b12 *kap*m3*n3*r353 + ----*b12 *kap *m3*n3*r353
18 18
r323=-----------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r324=0
r325=0
r326=0
1 2 2 1 4 2
----*a11 *b12 *kap*m3*n3*r353 + ----*b12 *kap *m3*n3*r353
18 18
r327=-----------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
7 2 16 5 2 2
r328=(4*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3
1 3 4 2 2 17 3 4 2 2
- ---*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
6 3
1 6 3 2 6 3 2
- ---*a11*b12 *kap *n1 *r353 - 7*a11*b12 *kap *n3 *r353)/(
4
4 3 2 2 1 7 4 2 7 4 2
a11 *b12 *kap *n3 - ----*b12 *kap *n1 - b12 *kap *n3 )
24
r329=0
1 2 2 1 4 2
- ----*a11 *b12 *kap*m3*n3*r353 - ----*b12 *kap *m3*n3*r353
18 18
r330=--------------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r331=0
r332=0
6 2 8 4 2 2
r333=(2*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3
1 2 4 2 2 17 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
12 6
1 6 3 2 7 6 3 2 4 2 2
- ---*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(a11 *b12 *kap*n3
8 2
1 6 3 2 6 3 2
- ----*b12 *kap *n1 - b12 *kap *n3 )
24
r334=0
r335=0
r336=0
r337=0
r338=0
r339=0
r340=0
r341=0
8 2 16 6 2 2
r342=( - 4*a11 *n3 *r353 - ----*a11 *b12 *kap*n3 *r353
3
1 4 4 2 2 17 4 4 2 2
+ ---*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n3 *r353
6 3
1 2 6 3 2 127 2 6 3 2
+ ---*a11 *b12 *kap *n1 *r353 + -----*a11 *b12 *kap *n3 *r353
4 18
1 8 4 2 5 3 2 2 1 7 4 2
+ ----*b12 *kap *n3 *r353)/(a11 *b12 *kap *n3 - ----*a11*b12 *kap *n1
18 24
7 4 2
- a11*b12 *kap *n3 )
8 6 3 8 4 2 3
r343=( - ---*a11 *m3*n3 *r353 - ---*a11 *b12 *kap*m3*n3 *r353
3 3
1 2 4 2 2 8 2 4 2 3
+ ---*a11 *b12 *kap *m3*n1 *n3*r353 + ---*a11 *b12 *kap *m3*n3 *r353
6 3
1 6 3 2 8 6 3 3
+ ---*b12 *kap *m3*n1 *n3*r353 + ---*b12 *kap *m3*n3 *r353)/(
6 3
4 2 2 2 1 6 3 4 6 3 2 2
a11 *b12 *kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
6 3 5 4 2 3
r344=(2*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3
1 2 4 2 2 8 2 4 2 3
- ---*a11 *b12 *kap *n1 *n3*r353 - ---*a11 *b12 *kap *n3 *r353
6 3
1 6 3 2 7 6 3 3
- ---*b12 *kap *n1 *n3*r353 - ---*b12 *kap *n3 *r353)/(
6 3
4 2 2 1 6 3 3 6 3 2
a11 *b12 *kap*n1*n3 - ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
1 2 3 2 1 5 2 2
- ----*a11 *b12 *kap*n3 *r353 - ----*b12 *kap *n3 *r353
18 18
r345=----------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r346=0
r347=0
r348=0
r349=0
r350=0
r351=0
r352=0
r354=0
r355=0
r40=0
r41=0
r42=0
r43=0
r44=0
r45=0
r46=0
r47=0
r48=0
r49=0
r410=0
r411=0
r412=0
r413=0
r415=0
r416=0
r417=0
r418=0
r419=0
r420=0
r421=0
r423=0
r424=0
r426=0
r427=0
r428=0
r429=0
1 2 4 1 6 2
- ----*a11 *b12 *kap*n3*r353 - ----*b12 *kap *n3*r353
36 36
r430=--------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
4 7 2 10 5 2 2
r431=(---*a11 *m3*n3 *r353 + ----*a11 *b12 *kap*m3*n3 *r353
3 9
1 3 4 2 2 16 3 4 2 2
- ----*a11 *b12 *kap *m3*n1 *r353 - ----*a11 *b12 *kap *m3*n3 *r353
18 9
1 6 3 2 14 6 3 2
- ----*a11*b12 *kap *m3*n1 *r353 - ----*a11*b12 *kap *m3*n3 *r353)/(
18 9
4 2 2 2 1 6 3 4 6 3 2 2
a11 *b12 *kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
6 2 5 4 2 2
r432=(2*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3
1 2 4 2 2 8 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ---*a11 *b12 *kap *n3 *r353
12 3
1 6 3 2 7 6 3 2 4 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(a11 *b12*kap*n1*n3
12 3
1 5 3 3 5 3 2
- ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
r433=0
11 5 9 2 5
r434=(16*a11 *n3 *r353 + 8*a11 *b12 *kap*n3 *r353
5 7 4 2 2 3 7 4 2 5
- ---*a11 *b12 *kap *n1 *n3 *r353 - 48*a11 *b12 *kap *n3 *r353
3
11 5 6 3 2 3 5 6 3 5
- ----*a11 *b12 *kap *n1 *n3 *r353 - 32*a11 *b12 *kap *n3 *r353
9
1 3 8 4 4 23 3 8 4 2 3
+ ----*a11 *b12 *kap *n1 *n3*r353 + ----*a11 *b12 *kap *n1 *n3 *r353
24 9
3 8 4 5 1 10 5 4
+ 32*a11 *b12 *kap *n3 *r353 + ----*a11*b12 *kap *n1 *n3*r353
24
19 10 5 2 3 10 5 5
+ ----*a11*b12 *kap *n1 *n3 *r353 + 24*a11*b12 *kap *n3 *r353)/(
9
4 6 3 4 2 1 10 5 6 10 5 4 2
a11 *b12 *kap *n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
r446=0
r447=0
r448=0
r449=0
r450=0
6 2 5 4 2 2
r451=( - 2*a11 *n3 *r353 - ---*a11 *b12 *kap*n3 *r353
3
1 2 4 2 2 8 2 4 2 2
+ ----*a11 *b12 *kap *n1 *r353 + ---*a11 *b12 *kap *n3 *r353
12 3
1 6 3 2 7 6 3 2 4 2
+ ----*b12 *kap *n1 *r353 + ---*b12 *kap *n3 *r353)/(a11 *b12*kap*n1*n3
12 3
1 5 3 3 5 3 2
- ----*b12 *kap *n1 - b12 *kap *n1*n3 )
24
r452=0
1 2 3 1 5 2
----*a11 *b12 *kap*n3*r353 + ----*b12 *kap *n3*r353
12 12
r453=-----------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r454=0
r455=0
r456=0
r457=0
r458=0
r459=0
1 2 4 1 6 2
- ----*a11 *b12 *kap*n3*r353 - ----*b12 *kap *n3*r353
36 36
r460=--------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r461=0
r462=0
r463=0
11 5 9 2 5
r464=( - 64*a11 *n3 *r353 - 64*a11 *b12 *kap*n3 *r353
7 4 2 2 3 7 4 2 5
+ 8*a11 *b12 *kap *n1 *n3 *r353 + 128*a11 *b12 *kap *n3 *r353
5 6 3 2 3 5 6 3 5
+ 8*a11 *b12 *kap *n1 *n3 *r353 + 128*a11 *b12 *kap *n3 *r353
11 3 8 4 4 3 8 4 2 3
- ----*a11 *b12 *kap *n1 *n3*r353 - 8*a11 *b12 *kap *n1 *n3 *r353
36
3 8 4 5 11 10 5 4
- 64*a11 *b12 *kap *n3 *r353 - ----*a11*b12 *kap *n1 *n3*r353
36
10 5 2 3 10 5 5
- 8*a11*b12 *kap *n1 *n3 *r353 - 64*a11*b12 *kap *n3 *r353)/(
4 6 3 4 2 1 10 5 6 10 5 4 2
a11 *b12 *kap *n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r465=0
r466=0
1 2 3 1 5 2
----*a11 *b12 *kap*n3*r353 + ----*b12 *kap *n3*r353
18 18
r467=-----------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r468=0
1 3 2 1 4 2
- ----*a11 *b12 *kap*n3*r353 - ----*a11*b12 *kap *n3*r353
36 36
r469=------------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
1 2 4 1 6 2
----*a11 *b12 *kap*n3*r353 + ----*b12 *kap *n3*r353
18 18
r483=-------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r484=0
r485=0
r486=0
8 6 3 8 4 2 3
r487=(---*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3 3
7 2 4 2 2 8 2 4 2 3
- ----*a11 *b12 *kap *n1 *n3*r353 - ---*a11 *b12 *kap *n3 *r353
36 3
7 6 3 2 8 6 3 3
- ----*b12 *kap *n1 *n3*r353 - ---*b12 *kap *n3 *r353)/(
36 3
4 2 2 1 5 3 4 5 3 2 2
a11 *b12*kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r488=0
11 4 9 2 4
r489=(96*a11 *n3 *r353 + 80*a11 *b12 *kap*n3 *r353
20 7 4 2 2 2 7 4 2 4
- ----*a11 *b12 *kap *n1 *n3 *r353 - 224*a11 *b12 *kap *n3 *r353
3
56 5 6 3 2 2 5 6 3 4
- ----*a11 *b12 *kap *n1 *n3 *r353 - 192*a11 *b12 *kap *n3 *r353
9
1 3 8 4 4 68 3 8 4 2 2
+ ---*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n1 *n3 *r353
9 9
3 8 4 4 1 10 5 4
+ 128*a11 *b12 *kap *n3 *r353 + ---*a11*b12 *kap *n1 *r353
9
64 10 5 2 2 10 5 4
+ ----*a11*b12 *kap *n1 *n3 *r353 + 112*a11*b12 *kap *n3 *r353)/(
9
4 6 3 3 2 1 10 5 5 10 5 3 2
a11 *b12 *kap *n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r490=0
r491=0
r492=0
r493=0
1 2 4 1 6 2
----*a11 *b12 *kap*n3*r353 + ----*b12 *kap *n3*r353
18 18
r494=-------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r495=0
8 2 8 2
- ---*a11 *n3*r353 - ---*b12 *kap*n3*r353
3 3
r496=--------------------------------------------
2
b12*kap*n1
r497=0
r498=0
r499=0
r4100=0
1 2 3 1 5 2
- ----*a11 *b12 *kap*n3*r353 - ----*b12 *kap *n3*r353
18 18
r4101=--------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r4102=0
r4103=0
r4104=0
r4105=0
r4106=0
r4108=0
r4109=0
1 2 4 1 6 2
----*a11 *b12 *kap*n3*r353 + ----*b12 *kap *n3*r353
36 36
r4110=-------------------------------------------------------
5 2 1 4 2 2 4 2 2
a11 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n3
24
r4111=0
r4112=0
r4113=0
12 5 10 2 5
r4114=(64*a11 *n3 *r353 + 64*a11 *b12 *kap*n3 *r353
16 8 4 2 2 3 8 4 2 5
- ----*a11 *b12 *kap *n1 *n3 *r353 - 128*a11 *b12 *kap *n3 *r353
3
16 6 6 3 2 3 6 6 3 5
- ----*a11 *b12 *kap *n1 *n3 *r353 - 128*a11 *b12 *kap *n3 *r353
3
1 4 8 4 4 16 4 8 4 2 3
+ ----*a11 *b12 *kap *n1 *n3*r353 + ----*a11 *b12 *kap *n1 *n3 *r353
36 3
4 8 4 5 16 2 10 5 2 3
+ 64*a11 *b12 *kap *n3 *r353 + ----*a11 *b12 *kap *n1 *n3 *r353
3
2 10 5 5 1 12 6 4
+ 64*a11 *b12 *kap *n3 *r353 - ----*b12 *kap *n1 *n3*r353)/(
36
5 6 3 4 2 1 10 5 6 10 5 4 2
a11 *b12 *kap *n1 *n3 - ----*a11*b12 *kap *n1 - a11*b12 *kap *n1 *n3 )
24
r4115=0
r4116=0
r4117=0
r4118=0
1 3 2 1 4 2
- ----*a11 *b12 *kap*n3*r353 - ----*a11*b12 *kap *n3*r353
36 36
r4119=------------------------------------------------------------
4 2 1 4 2 2 4 2 2
a11 *n3 - ----*b12 *kap *n1 - b12 *kap *n3
24
r4120=0
r4121=0
r4122=0
r4123=0
r4124=0
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
r521=0
r522=0
r523=0
r524=0
r525=0
r526=0
r527=0
r528=0
r529=0
r530=0
r531=0
r532=0
r533=0
r534=0
r535=0
r536=0
r537=0
r538=0
r539=0
r540=0
r541=0
r542=0
r543=0
r544=0
r545=0
2 6 2 5 4 2 2
r546=(---*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3 9
1 2 4 2 2 8 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ---*a11 *b12 *kap *n3 *r353
36 9
1 6 3 2 7 6 3 2 4 2 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(a11 *kap*n1 *n3
36 9
1 4 3 4 4 3 2 2
- ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r547=0
2 6 2 5 4 2 2
r548=(---*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3 9
1 2 4 2 2 8 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ---*a11 *b12 *kap *n3 *r353
36 9
1 6 3 2 7 6 3 2 4 2 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(a11 *kap*n1 *n3
36 9
1 4 3 4 4 3 2 2
- ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r549=0
r550=0
2 6 2 5 4 2 2
r551=(---*a11 *n3 *r353 + ---*a11 *b12 *kap*n3 *r353
3 9
1 2 4 2 2 8 2 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ---*a11 *b12 *kap *n3 *r353
36 9
1 6 3 2 7 6 3 2 4 2 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(a11 *kap*n1 *n3
36 9
1 4 3 4 4 3 2 2
- ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r552=0
r553=0
r554=0
4608 16 6 14 2 6
r555=(------*a11 *n3 *r353 + 768*a11 *b12 *kap*n3 *r353
5
704 12 4 2 2 4 12 4 2 6
- -----*a11 *b12 *kap *n1 *n3 *r353 - 3072*a11 *b12 *kap *n3 *r353
5
1856 10 6 3 2 4 13056 10 6 3 6
- ------*a11 *b12 *kap *n1 *n3 *r353 - -------*a11 *b12 *kap *n3 *r353
15 5
104 8 8 4 4 2 4736 8 8 4 2 4
+ -----*a11 *b12 *kap *n1 *n3 *r353 + ------*a11 *b12 *kap *n1 *n3 *r353
15 15
16896 8 8 4 6 286 6 10 5 4 2
+ -------*a11 *b12 *kap *n3 *r353 + -----*a11 *b12 *kap *n1 *n3 *r353
5 45
1408 6 10 5 2 4 14592 6 10 5 6
+ ------*a11 *b12 *kap *n1 *n3 *r353 + -------*a11 *b12 *kap *n3 *r353
5 5
1 4 12 6 6 119 4 12 6 4 2
- ---*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n1 *n3 *r353
9 15
2624 4 12 6 2 4 6144 4 12 6 6
- ------*a11 *b12 *kap *n1 *n3 *r353 - ------*a11 *b12 *kap *n3 *r353
15 5
19 2 14 7 6 36 2 14 7 4 2
- -----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n1 *n3 *r353
180 5
2368 2 14 7 2 4 5376 2 14 7 6
- ------*a11 *b12 *kap *n1 *n3 *r353 - ------*a11 *b12 *kap *n3 *r353
15 5
1 16 8 6 7 16 8 4 2
+ -----*b12 *kap *n1 *r353 + ----*b12 *kap *n1 *n3 *r353)/(
180 45
4 10 5 6 2 1 14 7 8 14 7 6 2
a11 *b12 *kap *n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r556=0
r557=0
r558=0
r559=0
r560=0
r561=0
r562=0
r563=0
r564=0
r565=0
r566=0
r567=0
r568=0
r569=0
r570=0
r571=0
r572=0
r573=0
r574=0
r575=0
r576=0
r577=0
r578=0
r579=0
r580=0
r581=0
r582=0
r583=0
r584=0
r585=0
r586=0
r587=0
r588=0
4 7 2 10 5 2 2
r589=( - ---*a11 *n3 *r353 - ----*a11 *b12 *kap*n3 *r353
3 9
1 3 4 2 2 16 3 4 2 2
+ ----*a11 *b12 *kap *n1 *r353 + ----*a11 *b12 *kap *n3 *r353
18 9
1 6 3 2 14 6 3 2
+ ----*a11*b12 *kap *n1 *r353 + ----*a11*b12 *kap *n3 *r353)/(
18 9
4 2 2 1 5 3 4 5 3 2 2
a11 *b12*kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r590=0
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
r5101=0
r5102=0
r5103=0
r5104=0
r5105=0
r5106=0
r5107=0
r5108=0
r5109=0
4 8 2 16 6 2 2
r5110=(---*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3 9
1 4 4 2 2 11 4 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
18 9
1 2 6 3 2 22 2 6 3 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
12 9
1 8 4 2 7 8 4 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(
36 9
4 2 2 2 1 6 3 4 6 3 2 2
a11 *b12 *kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
r5118=0
r5119=0
r5120=0
r5121=0
r5122=0
r5123=0
r5124=0
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
r5145=0
r5146=0
r5147=0
r5148=0
r5149=0
r5150=0
r5151=0
r5152=0
r5153=0
r5154=0
r5155=0
r5156=0
r5157=0
4 7 2 10 5 2 2
r5158=(---*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3 9
1 3 4 2 2 16 3 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
18 9
1 6 3 2 14 6 3 2
- ----*a11*b12 *kap *n1 *r353 - ----*a11*b12 *kap *n3 *r353)/(
18 9
4 2 2 1 5 3 4 5 3 2 2
a11 *b12*kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r5159=0
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=0
r5174=0
r5175=0
r5176=0
r5177=0
r5178=0
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=0
r5188=0
r5189=0
r5190=0
r5191=0
r5192=0
r5193=0
r5194=0
r5195=0
r5196=0
r5197=0
r5198=0
r5199=0
r5200=0
r5201=0
r5202=0
r5203=0
r5204=0
r5205=0
r5206=0
r5207=0
r5208=0
r5209=0
r5210=0
r5211=0
r5212=0
r5213=0
r5214=0
4 8 2 16 6 2 2
r5215=(---*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353
3 9
1 4 4 2 2 11 4 4 2 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
18 9
1 2 6 3 2 22 2 6 3 2
- ----*a11 *b12 *kap *n1 *r353 - ----*a11 *b12 *kap *n3 *r353
12 9
1 8 4 2 7 8 4 2
- ----*b12 *kap *n1 *r353 - ---*b12 *kap *n3 *r353)/(
36 9
4 2 2 2 1 6 3 4 6 3 2 2
a11 *b12 *kap*n1 *n3 - ----*b12 *kap *n1 - b12 *kap *n1 *n3 )
24
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
r5223=0
r5224=0
r5225=0
r5226=0
r5227=0
r5228=0
r5229=0
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
r5237=0
r5238=0
r5239=0
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
r5249=0
r5250=0
r5251=0
m2=0
m1=0
n2=0
5 2 4 2 2 4 2 2
24*a11 *n3 - a11*b12 *kap *n1 - 24*a11*b12 *kap *n3
a33=--------------------------------------------------------
4 2 2
b12 *kap *n1
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, m3, n3, a11, n1, 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.
{a22,
b12,
n1,
a11,
r353,
4 2 4 2 2 4 2 2
24*a11 *n3 - b12 *kap *n1 - 24*b12 *kap *n3 ,
7 2 40 5 2 2 2 3 4 2 2
{16*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
64 3 4 2 2 2 6 3 2
- ----*a11 *b12 *kap *n3 *r353 - ---*a11*b12 *kap *n1 *r353
3 3
56 6 3 2
- ----*a11*b12 *kap *n3 *r353,
3
7 2 40 5 2 2 2 3 4 2 2
16*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
64 3 4 2 2 2 6 3 2
- ----*a11 *b12 *kap *n3 *r353 - ---*a11*b12 *kap *n1 *r353
3 3
56 6 3 2
- ----*a11*b12 *kap *n3 *r353,
3
7 2 40 5 2 2 2 3 4 2 2
16*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
64 3 4 2 2 2 6 3 2
- ----*a11 *b12 *kap *n3 *r353 - ---*a11*b12 *kap *n1 *r353
3 3
56 6 3 2
- ----*a11*b12 *kap *n3 *r353,
3
110592 17 6 15 2 6
--------*a11 *n3 *r353 + 18432*a11 *b12 *kap*n3 *r353
5
16896 13 4 2 2 4 13 4 2 6
- -------*a11 *b12 *kap *n1 *n3 *r353 - 73728*a11 *b12 *kap *n3 *r353
5
14848 11 6 3 2 4 313344 11 6 3 6
- -------*a11 *b12 *kap *n1 *n3 *r353 - --------*a11 *b12 *kap *n3 *r353
5 5
832 9 8 4 4 2 37888 9 8 4 2 4
+ -----*a11 *b12 *kap *n1 *n3 *r353 + -------*a11 *b12 *kap *n1 *n3 *r353
5 5
405504 9 8 4 6 2288 7 10 5 4 2
+ --------*a11 *b12 *kap *n3 *r353 + ------*a11 *b12 *kap *n1 *n3 *r353
5 15
33792 7 10 5 2 4 350208 7 10 5 6
+ -------*a11 *b12 *kap *n1 *n3 *r353 + --------*a11 *b12 *kap *n3 *r353
5 5
8 5 12 6 6 952 5 12 6 4 2
- ---*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n1 *n3 *r353
3 5
20992 5 12 6 2 4 147456 5 12 6 6
- -------*a11 *b12 *kap *n1 *n3 *r353 - --------*a11 *b12 *kap *n3 *r353
5 5
38 3 14 7 6 864 3 14 7 4 2
- ----*a11 *b12 *kap *n1 *r353 - -----*a11 *b12 *kap *n1 *n3 *r353
15 5
18944 3 14 7 2 4 129024 3 14 7 6
- -------*a11 *b12 *kap *n1 *n3 *r353 - --------*a11 *b12 *kap *n3 *r353
5 5
2 16 8 6 56 16 8 4 2
+ ----*a11*b12 *kap *n1 *r353 + ----*a11*b12 *kap *n1 *n3 *r353,
15 15
8 2 80 6 2 2 4 4 4 2 2
32*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
128 4 4 2 2 4 2 6 3 2
- -----*a11 *b12 *kap *n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
112 2 6 3 2
- -----*a11 *b12 *kap *n3 *r353,
3
9 2 128 7 2 2 4 5 4 2 2
32*a11 *n3 *r353 + -----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
88 5 4 2 2 3 6 3 2
- ----*a11 *b12 *kap *n3 *r353 - 2*a11 *b12 *kap *n1 *r353
3
176 3 6 3 2 2 8 4 2
- -----*a11 *b12 *kap *n3 *r353 - ---*a11*b12 *kap *n1 *r353
3 3
56 8 4 2
- ----*a11*b12 *kap *n3 *r353,
3
8 2 80 6 2 2 4 4 4 2 2
32*a11 *n3 *r353 + ----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
128 4 4 2 2 4 2 6 3 2
- -----*a11 *b12 *kap *n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
112 2 6 3 2
- -----*a11 *b12 *kap *n3 *r353,
3
9 2 128 7 2 2 4 5 4 2 2
32*a11 *n3 *r353 + -----*a11 *b12 *kap*n3 *r353 - ---*a11 *b12 *kap *n1 *r353
3 3
88 5 4 2 2 3 6 3 2
- ----*a11 *b12 *kap *n3 *r353 - 2*a11 *b12 *kap *n1 *r353
3
176 3 6 3 2 2 8 4 2
- -----*a11 *b12 *kap *n3 *r353 - ---*a11*b12 *kap *n1 *r353
3 3
56 8 4 2
- ----*a11*b12 *kap *n3 *r353}}
3
Relevance for the application:
Modulo the following equation:
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 4 2 2 5 2 2 4 2 3
HAM=(u1 *a11*b12 *kap *n1 + u1*v2*b12 *kap *n1 + u1*b12 *kap *n1
2 4 2 2 5 2 2
+ u2 *a11*b12 *kap *n1 - u2*v1*b12 *kap *n1
2 5 2 4 2 2 4 2 2
+ u3 *(24*a11 *n3 - a11*b12 *kap *n1 - 24*a11*b12 *kap *n3 )
4 2 2 4 2 2 4 2 2
+ u3*b12 *kap *n1 *n3 + v3*b12 *kap *m3*n1 )/(b12 *kap *n1 )
has apart from the Hamiltonian and Casimirs only the following first integral:
2 2 4 14 7 6 2 16 8 6 2 3
FI=u1 *u2 *( - 10*a11 *b12 *kap *n1 *n3 - 10*a11 *b12 *kap *n1 *n3) + u1 *u3 *
9 10 5 4 2 7 12 6 4 2
(480*a11 *b12 *kap *n1 *n3 + 640*a11 *b12 *kap *n1 *n3
5 14 7 6 5 14 7 4 2
- 20*a11 *b12 *kap *n1 - 440*a11 *b12 *kap *n1 *n3
3 16 8 6 3 16 8 4 2
- 30*a11 *b12 *kap *n1 - 880*a11 *b12 *kap *n1 *n3
18 9 6 18 9 4 2 2 2
- 10*a11*b12 *kap *n1 - 280*a11*b12 *kap *n1 *n3 ) + u1 *u3 *(
12 6 3 2 5 10 8 4 2 5
23040*a11 *b12 *kap *n1 *n3 + 23040*a11 *b12 *kap *n1 *n3
8 10 5 4 3 8 10 5 2 5
- 1920*a11 *b12 *kap *n1 *n3 - 46080*a11 *b12 *kap *n1 *n3
6 12 6 4 3 6 12 6 2 5
- 1920*a11 *b12 *kap *n1 *n3 - 46080*a11 *b12 *kap *n1 *n3
4 14 7 6 4 14 7 4 3
+ 10*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
4 14 7 2 5 2 16 8 4 3
+ 23040*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
2 16 8 2 5 18 9 6 2
+ 23040*a11 *b12 *kap *n1 *n3 - 10*b12 *kap *n1 *n3) + u1 *u3*(
5 12 6 6 2 16 8 8
360*a11 *b12 *kap *n1 *n3 - 15*a11*b12 *kap *n1
16 8 6 2
- 360*a11*b12 *kap *n1 *n3 )
2 2 2 16 7 6 18 8 6 2
+ u1 *v1 *(10*a11 *b12 *kap *n1 *n3 + 10*b12 *kap *n1 *n3) + u1 *(
2 14 8 2 6 2 14 7 6 3
- 10*a11 *b12 *kap *m3 *n1 *n3 + 10*a11 *b12 *kap *n1 *n3
16 9 2 6 16 8 6 3
- 10*b12 *kap *m3 *n1 *n3 + 10*b12 *kap *n1 *n3 )
2 3 15 7 6 17 8 6
+ u1*u2 *v2*( - 20*a11 *b12 *kap *n1 *n3 - 20*a11*b12 *kap *n1 *n3) + u1
7 11 5 4 3 5 13 6 4 3
*u2*u3*v3*( - 960*a11 *b12 *kap *n1 *n3 - 960*a11 *b12 *kap *n1 *n3
3 15 7 6 3 15 7 4 3
+ 40*a11 *b12 *kap *n1 *n3 + 960*a11 *b12 *kap *n1 *n3
17 8 6 17 8 4 3
+ 40*a11*b12 *kap *n1 *n3 + 960*a11*b12 *kap *n1 *n3 )
2 16 7 6 18 8 6
+ u1*u2*v1*v2*(20*a11 *b12 *kap *n1 *n3 + 20*b12 *kap *n1 *n3)
2 15 7 6 2 17 8 6 2
+ u1*u2*v3*( - 20*a11 *b12 *kap *n1 *n3 - 20*b12 *kap *n1 *n3 )
3 13 7 6 2 15 8 6 2
+ u1*u2*(40*a11 *b12 *kap *m3*n1 *n3 + 40*a11*b12 *kap *m3*n1 *n3 ) + u1
3 8 11 5 4 2 6 13 6 4 2
*u3 *v2*(480*a11 *b12 *kap *n1 *n3 + 400*a11 *b12 *kap *n1 *n3
4 15 7 6 4 15 7 4 2
- 20*a11 *b12 *kap *n1 - 640*a11 *b12 *kap *n1 *n3
2 17 8 6 2 17 8 4 2 3
- 20*a11 *b12 *kap *n1 - 560*a11 *b12 *kap *n1 *n3 ) + u1*u3 *(
12 6 3 3 4 10 8 4 3 4
34560*a11 *b12 *kap *n1 *n3 + 28800*a11 *b12 *kap *n1 *n3
8 10 5 5 2 8 10 5 3 4
- 2400*a11 *b12 *kap *n1 *n3 - 80640*a11 *b12 *kap *n1 *n3
6 12 6 5 2 6 12 6 3 4
- 2240*a11 *b12 *kap *n1 *n3 - 69120*a11 *b12 *kap *n1 *n3
4 14 7 7 4 14 7 5 2
+ 40*a11 *b12 *kap *n1 + 2720*a11 *b12 *kap *n1 *n3
4 14 7 3 4 2 16 8 7
+ 46080*a11 *b12 *kap *n1 *n3 + 40*a11 *b12 *kap *n1
2 16 8 5 2 2 16 8 3 4 2
+ 2560*a11 *b12 *kap *n1 *n3 + 40320*a11 *b12 *kap *n1 *n3 ) + u1*u3
7 11 5 4 3 5 13 6 4 3
*v2*(960*a11 *b12 *kap *n1 *n3 + 960*a11 *b12 *kap *n1 *n3
3 15 7 6 3 15 7 4 3
- 70*a11 *b12 *kap *n1 *n3 - 960*a11 *b12 *kap *n1 *n3
17 8 6 17 8 4 3 2
- 70*a11*b12 *kap *n1 *n3 - 960*a11*b12 *kap *n1 *n3 ) + u1*u3 *(
7 10 5 5 3 5 12 6 5 3
720*a11 *b12 *kap *n1 *n3 + 600*a11 *b12 *kap *n1 *n3
3 14 7 7 3 14 7 5 3
- 60*a11 *b12 *kap *n1 *n3 - 960*a11 *b12 *kap *n1 *n3
16 8 7 16 8 5 3
- 60*a11*b12 *kap *n1 *n3 - 840*a11*b12 *kap *n1 *n3 )
2 16 7 6 18 8 6
+ u1*u3*v1*v3*(20*a11 *b12 *kap *n1 *n3 + 20*b12 *kap *n1 *n3) + u1*u3*v1*
7 10 5 4 3 5 12 6 4 3
( - 960*a11 *b12 *kap *m3*n1 *n3 - 960*a11 *b12 *kap *m3*n1 *n3
3 14 7 6 3 14 7 4 3
+ 60*a11 *b12 *kap *m3*n1 *n3 + 960*a11 *b12 *kap *m3*n1 *n3
16 8 6 16 8 4 3
+ 60*a11*b12 *kap *m3*n1 *n3 + 960*a11*b12 *kap *m3*n1 *n3 ) + u1*u3*v2*(
8 9 4 6 2 6 11 5 6 2
- 1440*a11 *b12 *kap *n1 *n3 - 1920*a11 *b12 *kap *n1 *n3
4 13 6 8 4 13 6 6 2
+ 60*a11 *b12 *kap *n1 + 2040*a11 *b12 *kap *n1 *n3
2 15 7 8 2 15 7 6 2
+ 90*a11 *b12 *kap *n1 + 2540*a11 *b12 *kap *n1 *n3
17 8 6 2 12 4 2 5 4
+ 20*b12 *kap *n1 *n3 ) + u1*u3*( - 34560*a11 *b12 *kap *n1 *n3
10 6 3 5 4 8 8 4 7 2
- 46080*a11 *b12 *kap *n1 *n3 + 1440*a11 *b12 *kap *n1 *n3
8 8 4 5 4 6 10 5 7 2
+ 83520*a11 *b12 *kap *n1 *n3 + 2160*a11 *b12 *kap *n1 *n3
6 10 5 5 4 4 12 6 7 2
+ 106560*a11 *b12 *kap *n1 *n3 - 1440*a11 *b12 *kap *n1 *n3
4 12 6 5 4 2 14 7 7 2
- 48960*a11 *b12 *kap *n1 *n3 - 2160*a11 *b12 *kap *n1 *n3
2 14 7 5 4 8 8 4 6 2
- 60480*a11 *b12 *kap *n1 *n3 ) + u1*v1*(1440*a11 *b12 *kap *m3*n1 *n3
6 10 5 6 2 4 12 6 8
+ 1920*a11 *b12 *kap *m3*n1 *n3 - 60*a11 *b12 *kap *m3*n1
4 12 6 6 2 2 14 7 8
- 2040*a11 *b12 *kap *m3*n1 *n3 - 90*a11 *b12 *kap *m3*n1
2 14 7 6 2 16 8 6 2
- 2540*a11 *b12 *kap *m3*n1 *n3 - 20*b12 *kap *m3*n1 *n3 ) + u1*(
7 8 4 7 3 5 10 5 7 3
- 720*a11 *b12 *kap *n1 *n3 - 960*a11 *b12 *kap *n1 *n3
3 12 6 9 3 12 6 7 3
+ 30*a11 *b12 *kap *n1 *n3 + 1020*a11 *b12 *kap *n1 *n3
14 7 9 14 7 7 3
+ 45*a11*b12 *kap *n1 *n3 + 1260*a11*b12 *kap *n1 *n3 )
4 4 14 7 6 2 16 8 6
+ u2 *( - 10*a11 *b12 *kap *n1 *n3 - 10*a11 *b12 *kap *n1 *n3)
3 3 15 7 6 17 8 6 2 3
+ u2 *v1*(20*a11 *b12 *kap *n1 *n3 + 20*a11*b12 *kap *n1 *n3) + u2 *u3 *(
9 10 5 4 2 7 12 6 4 2
480*a11 *b12 *kap *n1 *n3 + 640*a11 *b12 *kap *n1 *n3
5 14 7 6 5 14 7 4 2
- 20*a11 *b12 *kap *n1 - 440*a11 *b12 *kap *n1 *n3
3 16 8 6 3 16 8 4 2
- 30*a11 *b12 *kap *n1 - 880*a11 *b12 *kap *n1 *n3
18 9 6 18 9 4 2 2 2
- 10*a11*b12 *kap *n1 - 280*a11*b12 *kap *n1 *n3 ) + u2 *u3 *(
12 6 3 2 5 10 8 4 2 5
- 23040*a11 *b12 *kap *n1 *n3 - 23040*a11 *b12 *kap *n1 *n3
8 10 5 4 3 8 10 5 2 5
+ 2880*a11 *b12 *kap *n1 *n3 + 46080*a11 *b12 *kap *n1 *n3
6 12 6 4 3 6 12 6 2 5
+ 2880*a11 *b12 *kap *n1 *n3 + 46080*a11 *b12 *kap *n1 *n3
4 14 7 6 4 14 7 4 3
- 110*a11 *b12 *kap *n1 *n3 - 2880*a11 *b12 *kap *n1 *n3
4 14 7 2 5 2 16 8 6
- 23040*a11 *b12 *kap *n1 *n3 - 110*a11 *b12 *kap *n1 *n3
2 16 8 4 3 2 16 8 2 5 2
- 2880*a11 *b12 *kap *n1 *n3 - 23040*a11 *b12 *kap *n1 *n3 ) + u2 *u3*
7 10 5 6 2 5 12 6 6 2
(720*a11 *b12 *kap *n1 *n3 + 960*a11 *b12 *kap *n1 *n3
3 14 7 8 3 14 7 6 2
- 30*a11 *b12 *kap *n1 - 1020*a11 *b12 *kap *n1 *n3
16 8 8 16 8 6 2
- 45*a11*b12 *kap *n1 - 1260*a11*b12 *kap *n1 *n3 )
2 2 2 16 7 6 18 8 6
+ u2 *v1 *( - 10*a11 *b12 *kap *n1 *n3 - 10*b12 *kap *n1 *n3)
2 3 14 7 6 16 8 6
+ u2 *v3*( - 20*a11 *b12 *kap *m3*n1 *n3 - 20*a11*b12 *kap *m3*n1 *n3)
2 2 14 7 6 3 16 8 6 3 3
+ u2 *( - 10*a11 *b12 *kap *n1 *n3 - 10*b12 *kap *n1 *n3 ) + u2*u3 *v1*(
8 11 5 4 2 6 13 6 4 2
- 480*a11 *b12 *kap *n1 *n3 - 400*a11 *b12 *kap *n1 *n3
4 15 7 6 4 15 7 4 2
+ 20*a11 *b12 *kap *n1 + 640*a11 *b12 *kap *n1 *n3
2 17 8 6 2 17 8 4 2
+ 20*a11 *b12 *kap *n1 + 560*a11 *b12 *kap *n1 *n3 )
2 3 15 7 6 17 8 6 2
+ u2*u3 *v1*(30*a11 *b12 *kap *n1 *n3 + 30*a11*b12 *kap *n1 *n3) + u2*u3
7 11 5 5 2 5 13 6 5 2
*v3*( - 720*a11 *b12 *kap *n1 *n3 - 600*a11 *b12 *kap *n1 *n3
3 15 7 7 3 15 7 5 2
+ 30*a11 *b12 *kap *n1 + 960*a11 *b12 *kap *n1 *n3
17 8 7 17 8 5 2
+ 30*a11*b12 *kap *n1 + 840*a11*b12 *kap *n1 *n3 ) + u2*u3*v1*(
8 9 4 6 2 6 11 5 6 2
1440*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
4 13 6 8 4 13 6 6 2
- 60*a11 *b12 *kap *n1 - 2040*a11 *b12 *kap *n1 *n3
2 15 7 8 2 15 7 6 2
- 90*a11 *b12 *kap *n1 - 2520*a11 *b12 *kap *n1 *n3 )
3 14 7 6 16 8 6
+ u2*u3*v2*(20*a11 *b12 *kap *m3*n1 *n3 + 20*a11*b12 *kap *m3*n1 *n3)
2 15 7 6 17 8 6
+ u2*v1*v3*(20*a11 *b12 *kap *m3*n1 *n3 + 20*b12 *kap *m3*n1 *n3) + u2*v2*
8 8 4 6 2 8 8 4 4 4
(1440*a11 *b12 *kap *m3*n1 *n3 + 1920*a11 *b12 *kap *m3*n1 *n3
6 10 5 6 2 6 10 5 4 4
+ 1920*a11 *b12 *kap *m3*n1 *n3 + 1920*a11 *b12 *kap *m3*n1 *n3
4 12 6 8 4 12 6 6 2
- 60*a11 *b12 *kap *m3*n1 - 2200*a11 *b12 *kap *m3*n1 *n3
4 12 6 4 4 2 14 7 8
- 1920*a11 *b12 *kap *m3*n1 *n3 - 90*a11 *b12 *kap *m3*n1
2 14 7 6 2 2 14 7 4 4
- 2680*a11 *b12 *kap *m3*n1 *n3 - 1920*a11 *b12 *kap *m3*n1 *n3 ) + u2
7 9 4 7 2 5 11 5 7 2
*v3*(720*a11 *b12 *kap *n1 *n3 + 960*a11 *b12 *kap *n1 *n3
3 13 6 9 3 13 6 7 2
- 30*a11 *b12 *kap *n1 - 1020*a11 *b12 *kap *n1 *n3
15 7 9 15 7 7 2
- 45*a11*b12 *kap *n1 - 1260*a11*b12 *kap *n1 *n3 ) + u2*(
8 7 4 5 4 6 9 5 5 4
- 1920*a11 *b12 *kap *m3*n1 *n3 - 1920*a11 *b12 *kap *m3*n1 *n3
4 11 6 7 2 4 11 6 5 4
+ 160*a11 *b12 *kap *m3*n1 *n3 + 1920*a11 *b12 *kap *m3*n1 *n3
2 13 7 7 2 2 13 7 5 4 5
+ 160*a11 *b12 *kap *m3*n1 *n3 + 1920*a11 *b12 *kap *m3*n1 *n3 ) + u3
17 2 6 15 4 2 6
*(331776*a11 *b12 *kap*n3 + 276480*a11 *b12 *kap *n3
13 6 3 2 4 13 6 3 6
- 50688*a11 *b12 *kap *n1 *n3 - 1105920*a11 *b12 *kap *n3
11 8 4 2 4 11 8 4 6
- 44544*a11 *b12 *kap *n1 *n3 - 940032*a11 *b12 *kap *n3
9 10 5 4 2 9 10 5 2 4
+ 2496*a11 *b12 *kap *n1 *n3 + 113664*a11 *b12 *kap *n1 *n3
9 10 5 6 7 12 6 4 2
+ 1216512*a11 *b12 *kap *n3 + 2288*a11 *b12 *kap *n1 *n3
7 12 6 2 4 7 12 6 6
+ 101376*a11 *b12 *kap *n1 *n3 + 1050624*a11 *b12 *kap *n3
5 14 7 6 5 14 7 4 2
- 40*a11 *b12 *kap *n1 - 2856*a11 *b12 *kap *n1 *n3
5 14 7 2 4 5 14 7 6
- 62976*a11 *b12 *kap *n1 *n3 - 442368*a11 *b12 *kap *n3
3 16 8 6 3 16 8 4 2
- 38*a11 *b12 *kap *n1 - 2592*a11 *b12 *kap *n1 *n3
3 16 8 2 4 3 16 8 6
- 56832*a11 *b12 *kap *n1 *n3 - 387072*a11 *b12 *kap *n3
18 9 6 18 9 4 2 4
+ 2*a11*b12 *kap *n1 + 56*a11*b12 *kap *n1 *n3 ) + u3 *(
12 6 3 2 5 10 8 4 2 5
5760*a11 *b12 *kap *n1 *n3 + 2880*a11 *b12 *kap *n1 *n3
8 10 5 4 3 8 10 5 2 5
- 600*a11 *b12 *kap *n1 *n3 - 17280*a11 *b12 *kap *n1 *n3
6 12 6 4 3 6 12 6 2 5
- 440*a11 *b12 *kap *n1 *n3 - 11520*a11 *b12 *kap *n1 *n3
4 14 7 6 4 14 7 4 3
+ 15*a11 *b12 *kap *n1 *n3 + 920*a11 *b12 *kap *n1 *n3
4 14 7 2 5 2 16 8 6
+ 11520*a11 *b12 *kap *n1 *n3 + 15*a11 *b12 *kap *n1 *n3
2 16 8 4 3 2 16 8 2 5 3 2
+ 760*a11 *b12 *kap *n1 *n3 + 8640*a11 *b12 *kap *n1 *n3 ) + u3 *v1 *(
7 12 5 4 2 5 14 6 4 2
240*a11 *b12 *kap *n1 *n3 + 200*a11 *b12 *kap *n1 *n3
3 16 7 6 3 16 7 4 2
- 10*a11 *b12 *kap *n1 - 320*a11 *b12 *kap *n1 *n3
18 8 6 18 8 4 2 3 2
- 10*a11*b12 *kap *n1 - 280*a11*b12 *kap *n1 *n3 ) + u3 *v2 *(
7 12 5 4 2 5 14 6 4 2
240*a11 *b12 *kap *n1 *n3 + 200*a11 *b12 *kap *n1 *n3
3 16 7 6 3 16 7 4 2
- 10*a11 *b12 *kap *n1 - 320*a11 *b12 *kap *n1 *n3
18 8 6 18 8 4 2 3
- 10*a11*b12 *kap *n1 - 280*a11*b12 *kap *n1 *n3 ) + u3 *v2*(
7 11 5 5 2 5 13 6 5 2
720*a11 *b12 *kap *n1 *n3 + 600*a11 *b12 *kap *n1 *n3
3 15 7 7 3 15 7 5 2
- 30*a11 *b12 *kap *n1 - 960*a11 *b12 *kap *n1 *n3
17 8 7 17 8 5 2 3 2
- 30*a11*b12 *kap *n1 - 840*a11*b12 *kap *n1 *n3 ) + u3 *v3 *(
7 12 5 4 2 5 14 6 4 2
240*a11 *b12 *kap *n1 *n3 + 200*a11 *b12 *kap *n1 *n3
3 16 7 6 3 16 7 4 2
- 10*a11 *b12 *kap *n1 - 320*a11 *b12 *kap *n1 *n3
18 8 6 18 8 4 2 3
- 10*a11*b12 *kap *n1 - 280*a11*b12 *kap *n1 *n3 ) + u3 *v3*(
8 10 5 4 2 6 12 6 4 2
480*a11 *b12 *kap *m3*n1 *n3 + 400*a11 *b12 *kap *m3*n1 *n3
4 14 7 6 4 14 7 4 2
- 20*a11 *b12 *kap *m3*n1 - 640*a11 *b12 *kap *m3*n1 *n3
2 16 8 6 2 16 8 4 2 3
- 20*a11 *b12 *kap *m3*n1 - 560*a11 *b12 *kap *m3*n1 *n3 ) + u3 *(
17 2 6 15 2 2 6
- 552960*a11 *n1 *n3 - 737280*a11 *b12 *kap*n1 *n3
13 4 2 4 4 13 4 2 2 6
+ 69120*a11 *b12 *kap *n1 *n3 + 1889280*a11 *b12 *kap *n1 *n3
11 6 3 4 4 11 6 3 2 6
+ 96000*a11 *b12 *kap *n1 *n3 + 2442240*a11 *b12 *kap *n1 *n3
9 8 4 6 2 9 8 4 4 4
- 2880*a11 *b12 *kap *n1 *n3 - 157440*a11 *b12 *kap *n1 *n3
9 8 4 2 6 7 10 6 2 4 2
- 2119680*a11 *b12 *kap *n1 *n3 - 240*a11 *b12 *kap *m3 *n1 *n3
7 10 5 6 2 7 10 5 4 4
- 3920*a11 *b12 *kap *n1 *n3 - 210960*a11 *b12 *kap *n1 *n3
7 10 5 2 6 5 12 7 2 4 2
- 2672640*a11 *b12 *kap *n1 *n3 - 200*a11 *b12 *kap *m3 *n1 *n3
5 12 6 8 5 12 6 6 2
+ 40*a11 *b12 *kap *n1 + 3360*a11 *b12 *kap *n1 *n3
5 12 6 4 4 5 12 6 2 6
+ 88520*a11 *b12 *kap *n1 *n3 + 783360*a11 *b12 *kap *n1 *n3
3 14 8 2 6 3 14 8 2 4 2
+ 10*a11 *b12 *kap *m3 *n1 + 320*a11 *b12 *kap *m3 *n1 *n3
3 14 7 8 3 14 7 6 2
+ 50*a11 *b12 *kap *n1 + 4240*a11 *b12 *kap *n1 *n3
3 14 7 4 4 3 14 7 2 6
+ 114880*a11 *b12 *kap *n1 *n3 + 967680*a11 *b12 *kap *n1 *n3
16 9 2 6 16 9 2 4 2
+ 10*a11*b12 *kap *m3 *n1 + 280*a11*b12 *kap *m3 *n1 *n3
16 8 8 16 8 6 2
- 5*a11*b12 *kap *n1 - 160*a11*b12 *kap *n1 *n3
16 8 4 4
- 280*a11*b12 *kap *n1 *n3 )
2 2 2 16 7 6 18 8 6 2
+ u3 *v1 *( - 10*a11 *b12 *kap *n1 *n3 - 10*b12 *kap *n1 *n3) + u3 *v1*(
7 10 5 5 2 5 12 6 5 2
- 720*a11 *b12 *kap *m3*n1 *n3 - 600*a11 *b12 *kap *m3*n1 *n3
3 14 7 7 3 14 7 5 2
+ 30*a11 *b12 *kap *m3*n1 + 960*a11 *b12 *kap *m3*n1 *n3
16 8 7 16 8 5 2
+ 30*a11*b12 *kap *m3*n1 + 840*a11*b12 *kap *m3*n1 *n3 )
2 3 14 7 6 16 8 6
+ u3 *v3*( - 10*a11 *b12 *kap *m3*n1 *n3 - 10*a11*b12 *kap *m3*n1 *n3) +
2 14 2 4 5 12 4 2 4 5
u3 *(69120*a11 *b12 *kap*n1 *n3 + 92160*a11 *b12 *kap *n1 *n3
10 6 3 6 3 10 6 3 4 5
- 7200*a11 *b12 *kap *n1 *n3 - 144000*a11 *b12 *kap *n1 *n3
8 8 4 6 3 8 8 4 4 5
- 10800*a11 *b12 *kap *n1 *n3 - 204480*a11 *b12 *kap *n1 *n3
6 10 5 8 6 10 5 6 3
+ 180*a11 *b12 *kap *n1 *n3 + 5880*a11 *b12 *kap *n1 *n3
6 10 5 4 5 4 12 6 8
+ 60480*a11 *b12 *kap *n1 *n3 + 300*a11 *b12 *kap *n1 *n3
4 12 6 6 3 4 12 6 4 5
+ 12360*a11 *b12 *kap *n1 *n3 + 112320*a11 *b12 *kap *n1 *n3
2 14 7 8 2 14 7 6 3
+ 90*a11 *b12 *kap *n1 *n3 + 2870*a11 *b12 *kap *n1 *n3
2 14 7 4 5 16 8 6 3 2
+ 14400*a11 *b12 *kap *n1 *n3 - 10*b12 *kap *n1 *n3 ) + u3*v1 *(
9 8 3 6 2 7 10 4 6 2
1440*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
5 12 5 8 5 12 5 6 2
- 60*a11 *b12 *kap *n1 - 1680*a11 *b12 *kap *n1 *n3
3 14 6 8 3 14 6 6 2
- 90*a11 *b12 *kap *n1 - 2540*a11 *b12 *kap *n1 *n3
16 7 8 16 7 6 2
- 15*a11*b12 *kap *n1 - 380*a11*b12 *kap *n1 *n3 )
2 15 7 6 17 8 6
+ u3*v1*v2*( - 20*a11 *b12 *kap *m3*n1 *n3 - 20*b12 *kap *m3*n1 *n3) + u3
2 9 8 3 6 2 7 10 4 6 2
*v2 *(1440*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
5 12 5 8 5 12 5 6 2
- 60*a11 *b12 *kap *n1 - 1680*a11 *b12 *kap *n1 *n3
3 14 6 8 3 14 6 6 2
- 90*a11 *b12 *kap *n1 - 2540*a11 *b12 *kap *n1 *n3
16 7 8 16 7 6 2
- 15*a11*b12 *kap *n1 - 380*a11*b12 *kap *n1 *n3 ) + u3*v2*(
7 9 4 7 2 5 11 5 7 2
- 720*a11 *b12 *kap *n1 *n3 - 960*a11 *b12 *kap *n1 *n3
3 13 6 9 3 13 6 7 2
+ 30*a11 *b12 *kap *n1 + 1020*a11 *b12 *kap *n1 *n3
15 7 9 15 7 7 2 2
+ 45*a11*b12 *kap *n1 + 1260*a11*b12 *kap *n1 *n3 ) + u3*v3 *(
9 8 3 6 2 7 10 4 6 2
1440*a11 *b12 *kap *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
5 12 5 8 5 12 5 6 2
- 60*a11 *b12 *kap *n1 - 1680*a11 *b12 *kap *n1 *n3
3 14 6 8 3 14 6 6 2
- 90*a11 *b12 *kap *n1 - 2540*a11 *b12 *kap *n1 *n3
16 7 8 16 7 6 2
- 15*a11*b12 *kap *n1 - 380*a11*b12 *kap *n1 *n3 ) + u3*(
9 6 4 2 6 2 9 6 3 6 4
- 1440*a11 *b12 *kap *m3 *n1 *n3 + 1440*a11 *b12 *kap *n1 *n3
7 8 5 2 6 2 7 8 4 6 4
- 1920*a11 *b12 *kap *m3 *n1 *n3 + 1920*a11 *b12 *kap *n1 *n3
5 10 6 2 8 5 10 6 2 6 2
+ 60*a11 *b12 *kap *m3 *n1 + 1680*a11 *b12 *kap *m3 *n1 *n3
5 10 5 8 2 5 10 5 6 4
- 60*a11 *b12 *kap *n1 *n3 - 1680*a11 *b12 *kap *n1 *n3
3 12 7 2 8 3 12 7 2 6 2
+ 90*a11 *b12 *kap *m3 *n1 + 2540*a11 *b12 *kap *m3 *n1 *n3
3 12 6 8 2 3 12 6 6 4
- 90*a11 *b12 *kap *n1 *n3 - 2540*a11 *b12 *kap *n1 *n3
14 8 2 8 14 8 2 6 2
+ 15*a11*b12 *kap *m3 *n1 + 380*a11*b12 *kap *m3 *n1 *n3
14 7 8 2 14 7 6 4
- 15*a11*b12 *kap *n1 *n3 - 380*a11*b12 *kap *n1 *n3 ) + v1*(
7 8 4 7 2 5 10 5 7 2
720*a11 *b12 *kap *m3*n1 *n3 + 960*a11 *b12 *kap *m3*n1 *n3
3 12 6 9 3 12 6 7 2
- 30*a11 *b12 *kap *m3*n1 - 1020*a11 *b12 *kap *m3*n1 *n3
14 7 9 14 7 7 2
- 45*a11*b12 *kap *m3*n1 - 1260*a11*b12 *kap *m3*n1 *n3 )
2 2 14 7 2 6 16 8 2 6
+ v2 *( - 10*a11 *b12 *kap *m3 *n1 *n3 - 10*b12 *kap *m3 *n1 *n3)
2 2 14 7 2 6 16 8 2 6
+ v3 *( - 10*a11 *b12 *kap *m3 *n1 *n3 - 10*b12 *kap *m3 *n1 *n3)
3 12 6 6 3 14 7 6 3
+ v3*(40*a11 *b12 *kap *m3*n1 *n3 + 40*a11*b12 *kap *m3*n1 *n3 )
which is not further factorizable.
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*a11*b12**4*kap**2*n1**2 + u1*v2*b12**5*kap**2*n1**2 + u1*b12**4*kap**
2*n1**3 + u2**2*a11*b12**4*kap**2*n1**2 - u2*v1*b12**5*kap**2*n1**2 + u3**2*(24*
a11**5*n3**2 - a11*b12**4*kap**2*n1**2 - 24*a11*b12**4*kap**2*n3**2) + u3*b12**4
*kap**2*n1**2*n3 + v3*b12**4*kap**2*m3*n1**2)/(b12**4*kap**2*n1**2)$
FI=u1**2*u2**2*( - 10*a11**4*b12**14*kap**7*n1**6*n3 - 10*a11**2*b12**16*kap**8*
n1**6*n3) + u1**2*u3**3*(480*a11**9*b12**10*kap**5*n1**4*n3**2 + 640*a11**7*b12
**12*kap**6*n1**4*n3**2 - 20*a11**5*b12**14*kap**7*n1**6 - 440*a11**5*b12**14*
kap**7*n1**4*n3**2 - 30*a11**3*b12**16*kap**8*n1**6 - 880*a11**3*b12**16*kap**8*
n1**4*n3**2 - 10*a11*b12**18*kap**9*n1**6 - 280*a11*b12**18*kap**9*n1**4*n3**2)
+ u1**2*u3**2*(23040*a11**12*b12**6*kap**3*n1**2*n3**5 + 23040*a11**10*b12**8*
kap**4*n1**2*n3**5 - 1920*a11**8*b12**10*kap**5*n1**4*n3**3 - 46080*a11**8*b12**
10*kap**5*n1**2*n3**5 - 1920*a11**6*b12**12*kap**6*n1**4*n3**3 - 46080*a11**6*
b12**12*kap**6*n1**2*n3**5 + 10*a11**4*b12**14*kap**7*n1**6*n3 + 1920*a11**4*b12
**14*kap**7*n1**4*n3**3 + 23040*a11**4*b12**14*kap**7*n1**2*n3**5 + 1920*a11**2*
b12**16*kap**8*n1**4*n3**3 + 23040*a11**2*b12**16*kap**8*n1**2*n3**5 - 10*b12**
18*kap**9*n1**6*n3) + u1**2*u3*(360*a11**5*b12**12*kap**6*n1**6*n3**2 - 15*a11*
b12**16*kap**8*n1**8 - 360*a11*b12**16*kap**8*n1**6*n3**2) + u1**2*v1**2*(10*a11
**2*b12**16*kap**7*n1**6*n3 + 10*b12**18*kap**8*n1**6*n3) + u1**2*( - 10*a11**2*
b12**14*kap**8*m3**2*n1**6*n3 + 10*a11**2*b12**14*kap**7*n1**6*n3**3 - 10*b12**
16*kap**9*m3**2*n1**6*n3 + 10*b12**16*kap**8*n1**6*n3**3) + u1*u2**2*v2*( - 20*
a11**3*b12**15*kap**7*n1**6*n3 - 20*a11*b12**17*kap**8*n1**6*n3) + u1*u2*u3*v3*(
- 960*a11**7*b12**11*kap**5*n1**4*n3**3 - 960*a11**5*b12**13*kap**6*n1**4*n3**3
+ 40*a11**3*b12**15*kap**7*n1**6*n3 + 960*a11**3*b12**15*kap**7*n1**4*n3**3 +
40*a11*b12**17*kap**8*n1**6*n3 + 960*a11*b12**17*kap**8*n1**4*n3**3) + u1*u2*v1*
v2*(20*a11**2*b12**16*kap**7*n1**6*n3 + 20*b12**18*kap**8*n1**6*n3) + u1*u2*v3*(
- 20*a11**2*b12**15*kap**7*n1**6*n3**2 - 20*b12**17*kap**8*n1**6*n3**2) + u1*u2
*(40*a11**3*b12**13*kap**7*m3*n1**6*n3**2 + 40*a11*b12**15*kap**8*m3*n1**6*n3**2
) + u1*u3**3*v2*(480*a11**8*b12**11*kap**5*n1**4*n3**2 + 400*a11**6*b12**13*kap
**6*n1**4*n3**2 - 20*a11**4*b12**15*kap**7*n1**6 - 640*a11**4*b12**15*kap**7*n1
**4*n3**2 - 20*a11**2*b12**17*kap**8*n1**6 - 560*a11**2*b12**17*kap**8*n1**4*n3
**2) + u1*u3**3*(34560*a11**12*b12**6*kap**3*n1**3*n3**4 + 28800*a11**10*b12**8*
kap**4*n1**3*n3**4 - 2400*a11**8*b12**10*kap**5*n1**5*n3**2 - 80640*a11**8*b12**
10*kap**5*n1**3*n3**4 - 2240*a11**6*b12**12*kap**6*n1**5*n3**2 - 69120*a11**6*
b12**12*kap**6*n1**3*n3**4 + 40*a11**4*b12**14*kap**7*n1**7 + 2720*a11**4*b12**
14*kap**7*n1**5*n3**2 + 46080*a11**4*b12**14*kap**7*n1**3*n3**4 + 40*a11**2*b12
**16*kap**8*n1**7 + 2560*a11**2*b12**16*kap**8*n1**5*n3**2 + 40320*a11**2*b12**
16*kap**8*n1**3*n3**4) + u1*u3**2*v2*(960*a11**7*b12**11*kap**5*n1**4*n3**3 +
960*a11**5*b12**13*kap**6*n1**4*n3**3 - 70*a11**3*b12**15*kap**7*n1**6*n3 - 960*
a11**3*b12**15*kap**7*n1**4*n3**3 - 70*a11*b12**17*kap**8*n1**6*n3 - 960*a11*b12
**17*kap**8*n1**4*n3**3) + u1*u3**2*(720*a11**7*b12**10*kap**5*n1**5*n3**3 + 600
*a11**5*b12**12*kap**6*n1**5*n3**3 - 60*a11**3*b12**14*kap**7*n1**7*n3 - 960*a11
**3*b12**14*kap**7*n1**5*n3**3 - 60*a11*b12**16*kap**8*n1**7*n3 - 840*a11*b12**
16*kap**8*n1**5*n3**3) + u1*u3*v1*v3*(20*a11**2*b12**16*kap**7*n1**6*n3 + 20*b12
**18*kap**8*n1**6*n3) + u1*u3*v1*( - 960*a11**7*b12**10*kap**5*m3*n1**4*n3**3 -
960*a11**5*b12**12*kap**6*m3*n1**4*n3**3 + 60*a11**3*b12**14*kap**7*m3*n1**6*n3
+ 960*a11**3*b12**14*kap**7*m3*n1**4*n3**3 + 60*a11*b12**16*kap**8*m3*n1**6*n3 +
960*a11*b12**16*kap**8*m3*n1**4*n3**3) + u1*u3*v2*( - 1440*a11**8*b12**9*kap**4
*n1**6*n3**2 - 1920*a11**6*b12**11*kap**5*n1**6*n3**2 + 60*a11**4*b12**13*kap**6
*n1**8 + 2040*a11**4*b12**13*kap**6*n1**6*n3**2 + 90*a11**2*b12**15*kap**7*n1**8
+ 2540*a11**2*b12**15*kap**7*n1**6*n3**2 + 20*b12**17*kap**8*n1**6*n3**2) + u1*
u3*( - 34560*a11**12*b12**4*kap**2*n1**5*n3**4 - 46080*a11**10*b12**6*kap**3*n1
**5*n3**4 + 1440*a11**8*b12**8*kap**4*n1**7*n3**2 + 83520*a11**8*b12**8*kap**4*
n1**5*n3**4 + 2160*a11**6*b12**10*kap**5*n1**7*n3**2 + 106560*a11**6*b12**10*kap
**5*n1**5*n3**4 - 1440*a11**4*b12**12*kap**6*n1**7*n3**2 - 48960*a11**4*b12**12*
kap**6*n1**5*n3**4 - 2160*a11**2*b12**14*kap**7*n1**7*n3**2 - 60480*a11**2*b12**
14*kap**7*n1**5*n3**4) + u1*v1*(1440*a11**8*b12**8*kap**4*m3*n1**6*n3**2 + 1920*
a11**6*b12**10*kap**5*m3*n1**6*n3**2 - 60*a11**4*b12**12*kap**6*m3*n1**8 - 2040*
a11**4*b12**12*kap**6*m3*n1**6*n3**2 - 90*a11**2*b12**14*kap**7*m3*n1**8 - 2540*
a11**2*b12**14*kap**7*m3*n1**6*n3**2 - 20*b12**16*kap**8*m3*n1**6*n3**2) + u1*(
- 720*a11**7*b12**8*kap**4*n1**7*n3**3 - 960*a11**5*b12**10*kap**5*n1**7*n3**3 +
30*a11**3*b12**12*kap**6*n1**9*n3 + 1020*a11**3*b12**12*kap**6*n1**7*n3**3 + 45
*a11*b12**14*kap**7*n1**9*n3 + 1260*a11*b12**14*kap**7*n1**7*n3**3) + u2**4*( -
10*a11**4*b12**14*kap**7*n1**6*n3 - 10*a11**2*b12**16*kap**8*n1**6*n3) + u2**3*
v1*(20*a11**3*b12**15*kap**7*n1**6*n3 + 20*a11*b12**17*kap**8*n1**6*n3) + u2**2*
u3**3*(480*a11**9*b12**10*kap**5*n1**4*n3**2 + 640*a11**7*b12**12*kap**6*n1**4*
n3**2 - 20*a11**5*b12**14*kap**7*n1**6 - 440*a11**5*b12**14*kap**7*n1**4*n3**2 -
30*a11**3*b12**16*kap**8*n1**6 - 880*a11**3*b12**16*kap**8*n1**4*n3**2 - 10*a11
*b12**18*kap**9*n1**6 - 280*a11*b12**18*kap**9*n1**4*n3**2) + u2**2*u3**2*( -
23040*a11**12*b12**6*kap**3*n1**2*n3**5 - 23040*a11**10*b12**8*kap**4*n1**2*n3**
5 + 2880*a11**8*b12**10*kap**5*n1**4*n3**3 + 46080*a11**8*b12**10*kap**5*n1**2*
n3**5 + 2880*a11**6*b12**12*kap**6*n1**4*n3**3 + 46080*a11**6*b12**12*kap**6*n1
**2*n3**5 - 110*a11**4*b12**14*kap**7*n1**6*n3 - 2880*a11**4*b12**14*kap**7*n1**
4*n3**3 - 23040*a11**4*b12**14*kap**7*n1**2*n3**5 - 110*a11**2*b12**16*kap**8*n1
**6*n3 - 2880*a11**2*b12**16*kap**8*n1**4*n3**3 - 23040*a11**2*b12**16*kap**8*n1
**2*n3**5) + u2**2*u3*(720*a11**7*b12**10*kap**5*n1**6*n3**2 + 960*a11**5*b12**
12*kap**6*n1**6*n3**2 - 30*a11**3*b12**14*kap**7*n1**8 - 1020*a11**3*b12**14*kap
**7*n1**6*n3**2 - 45*a11*b12**16*kap**8*n1**8 - 1260*a11*b12**16*kap**8*n1**6*n3
**2) + u2**2*v1**2*( - 10*a11**2*b12**16*kap**7*n1**6*n3 - 10*b12**18*kap**8*n1
**6*n3) + u2**2*v3*( - 20*a11**3*b12**14*kap**7*m3*n1**6*n3 - 20*a11*b12**16*kap
**8*m3*n1**6*n3) + u2**2*( - 10*a11**2*b12**14*kap**7*n1**6*n3**3 - 10*b12**16*
kap**8*n1**6*n3**3) + u2*u3**3*v1*( - 480*a11**8*b12**11*kap**5*n1**4*n3**2 -
400*a11**6*b12**13*kap**6*n1**4*n3**2 + 20*a11**4*b12**15*kap**7*n1**6 + 640*a11
**4*b12**15*kap**7*n1**4*n3**2 + 20*a11**2*b12**17*kap**8*n1**6 + 560*a11**2*b12
**17*kap**8*n1**4*n3**2) + u2*u3**2*v1*(30*a11**3*b12**15*kap**7*n1**6*n3 + 30*
a11*b12**17*kap**8*n1**6*n3) + u2*u3**2*v3*( - 720*a11**7*b12**11*kap**5*n1**5*
n3**2 - 600*a11**5*b12**13*kap**6*n1**5*n3**2 + 30*a11**3*b12**15*kap**7*n1**7 +
960*a11**3*b12**15*kap**7*n1**5*n3**2 + 30*a11*b12**17*kap**8*n1**7 + 840*a11*
b12**17*kap**8*n1**5*n3**2) + u2*u3*v1*(1440*a11**8*b12**9*kap**4*n1**6*n3**2 +
1920*a11**6*b12**11*kap**5*n1**6*n3**2 - 60*a11**4*b12**13*kap**6*n1**8 - 2040*
a11**4*b12**13*kap**6*n1**6*n3**2 - 90*a11**2*b12**15*kap**7*n1**8 - 2520*a11**2
*b12**15*kap**7*n1**6*n3**2) + u2*u3*v2*(20*a11**3*b12**14*kap**7*m3*n1**6*n3 +
20*a11*b12**16*kap**8*m3*n1**6*n3) + u2*v1*v3*(20*a11**2*b12**15*kap**7*m3*n1**6
*n3 + 20*b12**17*kap**8*m3*n1**6*n3) + u2*v2*(1440*a11**8*b12**8*kap**4*m3*n1**6
*n3**2 + 1920*a11**8*b12**8*kap**4*m3*n1**4*n3**4 + 1920*a11**6*b12**10*kap**5*
m3*n1**6*n3**2 + 1920*a11**6*b12**10*kap**5*m3*n1**4*n3**4 - 60*a11**4*b12**12*
kap**6*m3*n1**8 - 2200*a11**4*b12**12*kap**6*m3*n1**6*n3**2 - 1920*a11**4*b12**
12*kap**6*m3*n1**4*n3**4 - 90*a11**2*b12**14*kap**7*m3*n1**8 - 2680*a11**2*b12**
14*kap**7*m3*n1**6*n3**2 - 1920*a11**2*b12**14*kap**7*m3*n1**4*n3**4) + u2*v3*(
720*a11**7*b12**9*kap**4*n1**7*n3**2 + 960*a11**5*b12**11*kap**5*n1**7*n3**2 -
30*a11**3*b12**13*kap**6*n1**9 - 1020*a11**3*b12**13*kap**6*n1**7*n3**2 - 45*a11
*b12**15*kap**7*n1**9 - 1260*a11*b12**15*kap**7*n1**7*n3**2) + u2*( - 1920*a11**
8*b12**7*kap**4*m3*n1**5*n3**4 - 1920*a11**6*b12**9*kap**5*m3*n1**5*n3**4 + 160*
a11**4*b12**11*kap**6*m3*n1**7*n3**2 + 1920*a11**4*b12**11*kap**6*m3*n1**5*n3**4
+ 160*a11**2*b12**13*kap**7*m3*n1**7*n3**2 + 1920*a11**2*b12**13*kap**7*m3*n1**
5*n3**4) + u3**5*(331776*a11**17*b12**2*kap*n3**6 + 276480*a11**15*b12**4*kap**2
*n3**6 - 50688*a11**13*b12**6*kap**3*n1**2*n3**4 - 1105920*a11**13*b12**6*kap**3
*n3**6 - 44544*a11**11*b12**8*kap**4*n1**2*n3**4 - 940032*a11**11*b12**8*kap**4*
n3**6 + 2496*a11**9*b12**10*kap**5*n1**4*n3**2 + 113664*a11**9*b12**10*kap**5*n1
**2*n3**4 + 1216512*a11**9*b12**10*kap**5*n3**6 + 2288*a11**7*b12**12*kap**6*n1
**4*n3**2 + 101376*a11**7*b12**12*kap**6*n1**2*n3**4 + 1050624*a11**7*b12**12*
kap**6*n3**6 - 40*a11**5*b12**14*kap**7*n1**6 - 2856*a11**5*b12**14*kap**7*n1**4
*n3**2 - 62976*a11**5*b12**14*kap**7*n1**2*n3**4 - 442368*a11**5*b12**14*kap**7*
n3**6 - 38*a11**3*b12**16*kap**8*n1**6 - 2592*a11**3*b12**16*kap**8*n1**4*n3**2
- 56832*a11**3*b12**16*kap**8*n1**2*n3**4 - 387072*a11**3*b12**16*kap**8*n3**6 +
2*a11*b12**18*kap**9*n1**6 + 56*a11*b12**18*kap**9*n1**4*n3**2) + u3**4*(5760*
a11**12*b12**6*kap**3*n1**2*n3**5 + 2880*a11**10*b12**8*kap**4*n1**2*n3**5 - 600
*a11**8*b12**10*kap**5*n1**4*n3**3 - 17280*a11**8*b12**10*kap**5*n1**2*n3**5 -
440*a11**6*b12**12*kap**6*n1**4*n3**3 - 11520*a11**6*b12**12*kap**6*n1**2*n3**5
+ 15*a11**4*b12**14*kap**7*n1**6*n3 + 920*a11**4*b12**14*kap**7*n1**4*n3**3 +
11520*a11**4*b12**14*kap**7*n1**2*n3**5 + 15*a11**2*b12**16*kap**8*n1**6*n3 +
760*a11**2*b12**16*kap**8*n1**4*n3**3 + 8640*a11**2*b12**16*kap**8*n1**2*n3**5)
+ u3**3*v1**2*(240*a11**7*b12**12*kap**5*n1**4*n3**2 + 200*a11**5*b12**14*kap**6
*n1**4*n3**2 - 10*a11**3*b12**16*kap**7*n1**6 - 320*a11**3*b12**16*kap**7*n1**4*
n3**2 - 10*a11*b12**18*kap**8*n1**6 - 280*a11*b12**18*kap**8*n1**4*n3**2) + u3**
3*v2**2*(240*a11**7*b12**12*kap**5*n1**4*n3**2 + 200*a11**5*b12**14*kap**6*n1**4
*n3**2 - 10*a11**3*b12**16*kap**7*n1**6 - 320*a11**3*b12**16*kap**7*n1**4*n3**2
- 10*a11*b12**18*kap**8*n1**6 - 280*a11*b12**18*kap**8*n1**4*n3**2) + u3**3*v2*(
720*a11**7*b12**11*kap**5*n1**5*n3**2 + 600*a11**5*b12**13*kap**6*n1**5*n3**2 -
30*a11**3*b12**15*kap**7*n1**7 - 960*a11**3*b12**15*kap**7*n1**5*n3**2 - 30*a11*
b12**17*kap**8*n1**7 - 840*a11*b12**17*kap**8*n1**5*n3**2) + u3**3*v3**2*(240*
a11**7*b12**12*kap**5*n1**4*n3**2 + 200*a11**5*b12**14*kap**6*n1**4*n3**2 - 10*
a11**3*b12**16*kap**7*n1**6 - 320*a11**3*b12**16*kap**7*n1**4*n3**2 - 10*a11*b12
**18*kap**8*n1**6 - 280*a11*b12**18*kap**8*n1**4*n3**2) + u3**3*v3*(480*a11**8*
b12**10*kap**5*m3*n1**4*n3**2 + 400*a11**6*b12**12*kap**6*m3*n1**4*n3**2 - 20*
a11**4*b12**14*kap**7*m3*n1**6 - 640*a11**4*b12**14*kap**7*m3*n1**4*n3**2 - 20*
a11**2*b12**16*kap**8*m3*n1**6 - 560*a11**2*b12**16*kap**8*m3*n1**4*n3**2) + u3
**3*( - 552960*a11**17*n1**2*n3**6 - 737280*a11**15*b12**2*kap*n1**2*n3**6 +
69120*a11**13*b12**4*kap**2*n1**4*n3**4 + 1889280*a11**13*b12**4*kap**2*n1**2*n3
**6 + 96000*a11**11*b12**6*kap**3*n1**4*n3**4 + 2442240*a11**11*b12**6*kap**3*n1
**2*n3**6 - 2880*a11**9*b12**8*kap**4*n1**6*n3**2 - 157440*a11**9*b12**8*kap**4*
n1**4*n3**4 - 2119680*a11**9*b12**8*kap**4*n1**2*n3**6 - 240*a11**7*b12**10*kap
**6*m3**2*n1**4*n3**2 - 3920*a11**7*b12**10*kap**5*n1**6*n3**2 - 210960*a11**7*
b12**10*kap**5*n1**4*n3**4 - 2672640*a11**7*b12**10*kap**5*n1**2*n3**6 - 200*a11
**5*b12**12*kap**7*m3**2*n1**4*n3**2 + 40*a11**5*b12**12*kap**6*n1**8 + 3360*a11
**5*b12**12*kap**6*n1**6*n3**2 + 88520*a11**5*b12**12*kap**6*n1**4*n3**4 +
783360*a11**5*b12**12*kap**6*n1**2*n3**6 + 10*a11**3*b12**14*kap**8*m3**2*n1**6
+ 320*a11**3*b12**14*kap**8*m3**2*n1**4*n3**2 + 50*a11**3*b12**14*kap**7*n1**8 +
4240*a11**3*b12**14*kap**7*n1**6*n3**2 + 114880*a11**3*b12**14*kap**7*n1**4*n3
**4 + 967680*a11**3*b12**14*kap**7*n1**2*n3**6 + 10*a11*b12**16*kap**9*m3**2*n1
**6 + 280*a11*b12**16*kap**9*m3**2*n1**4*n3**2 - 5*a11*b12**16*kap**8*n1**8 -
160*a11*b12**16*kap**8*n1**6*n3**2 - 280*a11*b12**16*kap**8*n1**4*n3**4) + u3**2
*v1**2*( - 10*a11**2*b12**16*kap**7*n1**6*n3 - 10*b12**18*kap**8*n1**6*n3) + u3
**2*v1*( - 720*a11**7*b12**10*kap**5*m3*n1**5*n3**2 - 600*a11**5*b12**12*kap**6*
m3*n1**5*n3**2 + 30*a11**3*b12**14*kap**7*m3*n1**7 + 960*a11**3*b12**14*kap**7*
m3*n1**5*n3**2 + 30*a11*b12**16*kap**8*m3*n1**7 + 840*a11*b12**16*kap**8*m3*n1**
5*n3**2) + u3**2*v3*( - 10*a11**3*b12**14*kap**7*m3*n1**6*n3 - 10*a11*b12**16*
kap**8*m3*n1**6*n3) + u3**2*(69120*a11**14*b12**2*kap*n1**4*n3**5 + 92160*a11**
12*b12**4*kap**2*n1**4*n3**5 - 7200*a11**10*b12**6*kap**3*n1**6*n3**3 - 144000*
a11**10*b12**6*kap**3*n1**4*n3**5 - 10800*a11**8*b12**8*kap**4*n1**6*n3**3 -
204480*a11**8*b12**8*kap**4*n1**4*n3**5 + 180*a11**6*b12**10*kap**5*n1**8*n3 +
5880*a11**6*b12**10*kap**5*n1**6*n3**3 + 60480*a11**6*b12**10*kap**5*n1**4*n3**5
+ 300*a11**4*b12**12*kap**6*n1**8*n3 + 12360*a11**4*b12**12*kap**6*n1**6*n3**3
+ 112320*a11**4*b12**12*kap**6*n1**4*n3**5 + 90*a11**2*b12**14*kap**7*n1**8*n3 +
2870*a11**2*b12**14*kap**7*n1**6*n3**3 + 14400*a11**2*b12**14*kap**7*n1**4*n3**
5 - 10*b12**16*kap**8*n1**6*n3**3) + u3*v1**2*(1440*a11**9*b12**8*kap**3*n1**6*
n3**2 + 1920*a11**7*b12**10*kap**4*n1**6*n3**2 - 60*a11**5*b12**12*kap**5*n1**8
- 1680*a11**5*b12**12*kap**5*n1**6*n3**2 - 90*a11**3*b12**14*kap**6*n1**8 - 2540
*a11**3*b12**14*kap**6*n1**6*n3**2 - 15*a11*b12**16*kap**7*n1**8 - 380*a11*b12**
16*kap**7*n1**6*n3**2) + u3*v1*v2*( - 20*a11**2*b12**15*kap**7*m3*n1**6*n3 - 20*
b12**17*kap**8*m3*n1**6*n3) + u3*v2**2*(1440*a11**9*b12**8*kap**3*n1**6*n3**2 +
1920*a11**7*b12**10*kap**4*n1**6*n3**2 - 60*a11**5*b12**12*kap**5*n1**8 - 1680*
a11**5*b12**12*kap**5*n1**6*n3**2 - 90*a11**3*b12**14*kap**6*n1**8 - 2540*a11**3
*b12**14*kap**6*n1**6*n3**2 - 15*a11*b12**16*kap**7*n1**8 - 380*a11*b12**16*kap
**7*n1**6*n3**2) + u3*v2*( - 720*a11**7*b12**9*kap**4*n1**7*n3**2 - 960*a11**5*
b12**11*kap**5*n1**7*n3**2 + 30*a11**3*b12**13*kap**6*n1**9 + 1020*a11**3*b12**
13*kap**6*n1**7*n3**2 + 45*a11*b12**15*kap**7*n1**9 + 1260*a11*b12**15*kap**7*n1
**7*n3**2) + u3*v3**2*(1440*a11**9*b12**8*kap**3*n1**6*n3**2 + 1920*a11**7*b12**
10*kap**4*n1**6*n3**2 - 60*a11**5*b12**12*kap**5*n1**8 - 1680*a11**5*b12**12*kap
**5*n1**6*n3**2 - 90*a11**3*b12**14*kap**6*n1**8 - 2540*a11**3*b12**14*kap**6*n1
**6*n3**2 - 15*a11*b12**16*kap**7*n1**8 - 380*a11*b12**16*kap**7*n1**6*n3**2) +
u3*( - 1440*a11**9*b12**6*kap**4*m3**2*n1**6*n3**2 + 1440*a11**9*b12**6*kap**3*
n1**6*n3**4 - 1920*a11**7*b12**8*kap**5*m3**2*n1**6*n3**2 + 1920*a11**7*b12**8*
kap**4*n1**6*n3**4 + 60*a11**5*b12**10*kap**6*m3**2*n1**8 + 1680*a11**5*b12**10*
kap**6*m3**2*n1**6*n3**2 - 60*a11**5*b12**10*kap**5*n1**8*n3**2 - 1680*a11**5*
b12**10*kap**5*n1**6*n3**4 + 90*a11**3*b12**12*kap**7*m3**2*n1**8 + 2540*a11**3*
b12**12*kap**7*m3**2*n1**6*n3**2 - 90*a11**3*b12**12*kap**6*n1**8*n3**2 - 2540*
a11**3*b12**12*kap**6*n1**6*n3**4 + 15*a11*b12**14*kap**8*m3**2*n1**8 + 380*a11*
b12**14*kap**8*m3**2*n1**6*n3**2 - 15*a11*b12**14*kap**7*n1**8*n3**2 - 380*a11*
b12**14*kap**7*n1**6*n3**4) + v1*(720*a11**7*b12**8*kap**4*m3*n1**7*n3**2 + 960*
a11**5*b12**10*kap**5*m3*n1**7*n3**2 - 30*a11**3*b12**12*kap**6*m3*n1**9 - 1020*
a11**3*b12**12*kap**6*m3*n1**7*n3**2 - 45*a11*b12**14*kap**7*m3*n1**9 - 1260*a11
*b12**14*kap**7*m3*n1**7*n3**2) + v2**2*( - 10*a11**2*b12**14*kap**7*m3**2*n1**6
*n3 - 10*b12**16*kap**8*m3**2*n1**6*n3) + v3**2*( - 10*a11**2*b12**14*kap**7*m3
**2*n1**6*n3 - 10*b12**16*kap**8*m3**2*n1**6*n3) + v3*(40*a11**3*b12**12*kap**6*
m3*n1**6*n3**3 + 40*a11*b12**14*kap**7*m3*n1**6*n3**3)$