Solution 4 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2 2
0=a11 + a23 + b12 *kap
Expressions
The solution is given through the following expressions:
r70=0
r71=0
r72=0
r73=0
r74=0
r75=0
r76=0
r77=0
r78=0
r79=0
r710=0
r711=0
r712=0
r713=0
r714=0
r715=0
r716=0
r717=0
r718=0
r719=0
r720=0
r721=0
r722=0
r723=0
r724=0
r725=0
r726=0
r727=0
r728=0
r729=0
r730=0
r731=0
r732=0
r733=0
r734=0
r735=0
r736=0
r737=0
r738=0
r739=0
r740=0
r741=0
r742=0
r743=0
r744=0
r745=0
r746=0
r747=0
r748=0
r749=0
r750=0
r751=0
r752=0
r753=0
r754=0
r755=0
r756=0
r757=0
r758=0
r759=0
r760=0
r761=0
r762=0
r763=0
1
---*b12*r7445
2
r764=---------------
a23
r765=0
b12*r7445
r766=-----------
a23
r767=0
1
---*b12*r7445
2
r768=---------------
a23
r769=0
r770=0
r771=0
r772=0
r773=0
r774=0
b12*r7445
r775=-----------
a23
r776=0
b12*r7445
r777=-----------
a23
r778=0
r779=0
r780=0
r781=0
1
---*b12*r7445
2
r782=---------------
a23
r783=0
r784=0
r785=0
r786=0
r787=0
r788=0
r789=0
r790= - r7445
r791=0
r792= - r7445
r793=0
r794=0
r795=0
r796=0
r797= - r7445
r798=0
r799=0
2 1 2 2 2
- a11 *kap*r7445 + ---*a11*b12*r7719 - a23 *kap*r7445 - b12 *kap *r7445
2
r7100=--------------------------------------------------------------------------
a23*b12*kap
r7101=0
1
---*a11*r7719
2
r7102=---------------
a23*kap
r7103=0
r7104=0
r7105=0
r7106=0
1
---*a11*r7719
2
r7107=---------------
a23*kap
r7108=0
r7109=0
28 6 2 7 6 2
r7110=( - ----*a11 *a23 *r7717 - ------*a11 *b12 *kap*r7717
45 1080
476 4 4 29 4 2 2
+ -----*a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
45 1080
1 4 4 2 56 2 6
+ -----*a11 *b12 *kap *r7717 + ----*a11 *a23 *r7717
360 5
113 2 4 2 1063 2 2 4 2
+ -----*a11 *a23 *b12 *kap*r7717 + ------*a11 *a23 *b12 *kap *r7717
9 1080
1 2 6 3 7 6 2
+ -----*a11 *b12 *kap *r7717 + ----*a23 *b12 *kap*r7717
360 10
161 4 4 2 203 2 6 3
+ -----*a23 *b12 *kap *r7717 + ------*a23 *b12 *kap *r7717
180 1080
7 8 4 4 3 2
- ------*b12 *kap *r7717)/(a11*a23 *b12 *kap )
1080
r7111=0
28 6 2 7 6 2
r7112=( - ----*a11 *a23 *r7717 - ------*a11 *b12 *kap*r7717
45 1080
476 4 4 449 4 2 2
+ -----*a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
45 1080
1 4 4 2 56 2 6
+ -----*a11 *b12 *kap *r7717 + ----*a11 *a23 *r7717
360 5
107 2 4 2 223 2 2 4 2
+ -----*a11 *a23 *b12 *kap*r7717 + ------*a11 *a23 *b12 *kap *r7717
18 1080
1 2 6 3 63 6 2
+ -----*a11 *b12 *kap *r7717 - ----*a23 *b12 *kap*r7717
360 10
1309 4 4 2 1057 2 6 3
- ------*a23 *b12 *kap *r7717 - ------*a23 *b12 *kap *r7717
180 1080
7 8 4 4 3 2
- ------*b12 *kap *r7717)/(a11*a23 *b12 *kap )
1080
2
- a11*r7719 - b12*kap *r7445
r7113=-------------------------------
b12*kap
r7114=0
28 6 2 7 6 2
r7115=( - ----*a11 *a23 *r7717 - ------*a11 *b12 *kap*r7717
45 1080
476 4 4 449 4 2 2
+ -----*a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
45 1080
1 4 4 2 56 2 6
+ -----*a11 *b12 *kap *r7717 + ----*a11 *a23 *r7717
360 5
107 2 4 2 223 2 2 4 2
+ -----*a11 *a23 *b12 *kap*r7717 + ------*a11 *a23 *b12 *kap *r7717
18 1080
1 2 6 3 63 6 2
+ -----*a11 *b12 *kap *r7717 - ----*a23 *b12 *kap*r7717
360 10
1309 4 4 2 1057 2 6 3
- ------*a23 *b12 *kap *r7717 - ------*a23 *b12 *kap *r7717
180 1080
7 8 4 4 3 2
- ------*b12 *kap *r7717)/(a11*a23 *b12 *kap )
1080
2 3 2 2 2 2 2
r7116=( - ---*a11 *r7719 + ---*a11 *b12*kap *r7445 - ---*a11*a23 *r7719
5 5 5
9 2 2 2 2
- ----*a11*b12 *kap*r7719 + ---*a23 *b12*kap *r7445
10 5
1 3 3 2
- ----*b12 *kap *r7445)/(a23*b12 *kap)
10
r7117=0
7 6 77 4 2 1 4 2
r7118=(-----*a11 *r7717 - -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
108 108 36
70 2 4 163 2 2 2
- ----*a11 *a23 *r7717 - -----*a11 *a23 *b12 *kap*r7717
9 108
1 2 4 2 6 133 4 2
- ----*a11 *b12 *kap *r7717 - 7*a23 *r7717 - -----*a23 *b12 *kap*r7717
36 18
35 2 4 2 7 6 3 3 2
- -----*a23 *b12 *kap *r7717 + -----*b12 *kap *r7717)/(a11*a23 *b12 *kap
108 108
)
4 8 4 6 2 29 6 2
r7119=( - -----*a11 *r7717 - -----*a11 *a23 *r7717 + ------*a11 *b12 *kap*r7717
135 135 1512
48 4 4 439 4 2 2
+ ----*a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
5 2520
5 4 4 2 48 2 6
+ -----*a11 *b12 *kap *r7717 + ----*a11 *a23 *r7717
504 5
2843 2 4 2 587 2 2 4 2
+ ------*a11 *a23 *b12 *kap*r7717 - ------*a11 *a23 *b12 *kap *r7717
315 2520
7 2 6 3 7 6 2
- -----*a11 *b12 *kap *r7717 - ----*a23 *b12 *kap*r7717
216 10
161 4 4 2 203 2 6 3
- -----*a23 *b12 *kap *r7717 - ------*a23 *b12 *kap *r7717
180 1080
7 8 4 4 3
+ ------*b12 *kap *r7717)/(a11*a23 *b12 *kap)
1080
r7120=0
r7121=0
r7122=0
r7123=0
r7124=0
r7125=0
r7126=0
r7127=0
r7128=0
r7129=0
r7130=0
r7131=0
r7132=0
r7133=0
r7134=0
r7135=0
r7136=0
r7137=0
r7138=0
r7139=0
r7140=0
r7141=0
r7142=0
r7143=0
r7144=0
r7145=0
r7146=0
r7147=0
r7148=0
1
---*b12*r7445
2
r7149=---------------
a23
r7150=0
b12*r7445
r7151=-----------
a23
r7152=0
1
---*b12*r7445
2
r7153=---------------
a23
r7154=0
r7155=0
r7156=0
r7157=0
r7158=0
r7159=0
b12*r7445
r7160=-----------
a23
r7161=0
b12*r7445
r7162=-----------
a23
r7163=0
r7164=0
r7165=0
r7166=0
1
---*b12*r7445
2
r7167=---------------
a23
r7168=0
r7169=0
r7170=0
r7171=0
r7172=0
r7173=0
1
- a11*kap*r7445 + ---*b12*r7719
2
r7174=----------------------------------
a23*kap
r7175= - r7445
1
- a11*kap*r7445 + ---*b12*r7719
2
r7176=----------------------------------
a23*kap
r7177= - r7445
r7178=0
r7179=0
r7180=0
1
- a11*kap*r7445 + ---*b12*r7719
2
r7181=----------------------------------
a23*kap
r7182= - r7445
r7183=0
- r7719
r7184=----------
kap
r7185=
2 1 2 2 2
- 3*a11 *kap*r7445 + ---*a11*b12*r7719 - 3*a23 *kap*r7445 - 3*b12 *kap *r7445
2
--------------------------------------------------------------------------------
a23*b12*kap
- r7719
r7186=----------
kap
1
---*a11*r7719
2
r7187=---------------
a23*kap
7 4 119 2 2 1 2 2
r7188=( - ---*a11 *r7717 + -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
+ 14*a23 *r7717 + -----*a23 *b12 *kap*r7717 + ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
r7189=0
7 4 119 2 2 1 2 2
r7190=( - ---*a11 *r7717 + -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
+ 14*a23 *r7717 + -----*a23 *b12 *kap*r7717 + ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
- 2*r7719
r7191=------------
kap
1
---*a11*r7719
2
r7192=---------------
a23*kap
7 4 119 2 2 1 2 2
r7193=( - ---*a11 *r7717 + -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
+ 14*a23 *r7717 + -----*a23 *b12 *kap*r7717 + ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
14 4 238 2 2 1 2 2
r7194=(----*a11 *r7717 - -----*a11 *a23 *r7717 + ---*a11 *b12 *kap*r7717
9 9 9
4 265 2 2 35 4 2
- 28*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(a23
9 18
3 2
*b12 *kap )
7 4 119 2 2 14 2 2
r7195=( - ---*a11 *r7717 + -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 9
4 49 2 2 7 4 2
+ 14*a23 *r7717 + ----*a23 *b12 *kap*r7717 + ---*b12 *kap *r7717)/(a11
3 3
2
*a23 *b12*kap)
14 4 238 2 2 1 2 2
r7196=(----*a11 *r7717 - -----*a11 *a23 *r7717 + ---*a11 *b12 *kap*r7717
9 9 9
4 265 2 2 35 4 2
- 28*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(a23
9 18
3 2
*b12 *kap )
2 2 5 2
- 3*a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7197=-----------------------------------------------------------
a23*b12*kap
2
- a11*r7719 - b12*kap *r7445
r7198=-------------------------------
b12*kap
14 4 238 2 2 1 2 2
r7199=(----*a11 *r7717 - -----*a11 *a23 *r7717 + ---*a11 *b12 *kap*r7717
9 9 9
4 265 2 2 22 4 2
- 28*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(a23
9 9
3 2
*b12 *kap )
2 2 2
4*a11 *r7719 + 4*a23 *r7719 + 5*b12 *kap*r7719
r7200=------------------------------------------------
2
b12 *kap
2 3 2 2 2 2 2
r7201=( - ---*a11 *r7719 + ---*a11 *b12*kap *r7445 - ---*a11*a23 *r7719
5 5 5
9 2 2 2 2
- ----*a11*b12 *kap*r7719 + ---*a23 *b12*kap *r7445
10 5
1 3 3 2
- ----*b12 *kap *r7445)/(a23*b12 *kap)
10
7 6 413 4 2 1 4 2
r7202=(-----*a11 *r7717 - -----*a11 *a23 *r7717 - -----*a11 *b12 *kap*r7717
540 540 180
406 2 4 1063 2 2 2
+ -----*a11 *a23 *r7717 - ------*a11 *a23 *b12 *kap*r7717
45 540
1 2 4 2 49 6
- -----*a11 *b12 *kap *r7717 + ----*a23 *r7717
180 5
889 4 2 313 2 4 2
+ -----*a23 *b12 *kap*r7717 - -----*a23 *b12 *kap *r7717
90 270
7 6 3 4 2
+ -----*b12 *kap *r7717)/(a23 *b12 *kap)
540
14 6 14 4 2 2 4 2
r7203=(-----*a11 *r7717 + -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
135 135 45
168 2 4 124 2 2 2
- -----*a11 *a23 *r7717 + -----*a11 *a23 *b12 *kap*r7717
5 135
2 2 4 2 168 6
- ----*a11 *b12 *kap *r7717 - -----*a23 *r7717
45 5
488 4 2 451 2 4 2
- -----*a23 *b12 *kap*r7717 + -----*a23 *b12 *kap *r7717
15 270
14 6 3 3 3
+ -----*b12 *kap *r7717)/(a23 *b12 *kap)
135
r7204=0
r7205=0
r7206=0
r7207=0
r7208=0
r7209=0
r7210=0
r7211=0
r7212=0
r7213=0
r7214=0
r7215=0
r7216=0
r7217=0
r7218=0
r7219=0
r7220=0
r7221=0
r7222=0
r7223=0
r7224=0
r7225=0
r7226=0
r7227=0
r7228=0
r7229=0
r7230=0
1
- a11*kap*r7445 + ---*b12*r7719
2
r7231=----------------------------------
a23*kap
r7232=0
1
- a11*kap*r7445 + ---*b12*r7719
2
r7233=----------------------------------
a23*kap
1 3
---*b12 *r7717
8
r7234=----------------
2
a11*a23
r7235=0
1 3
---*b12 *r7717
8
r7236=----------------
2
a11*a23
r7237=0
1
- a11*kap*r7445 + ---*b12*r7719
2
r7238=----------------------------------
a23*kap
1 3
---*b12 *r7717
8
r7239=----------------
2
a11*a23
1
- ---*a11*r7719
2
r7240=------------------
a23*kap
- r7719
r7241=----------
kap
r7242=
2 1 2 2 2
- 2*a11 *kap*r7445 - ---*a11*b12*r7719 - 2*a23 *kap*r7445 - 2*b12 *kap *r7445
2
--------------------------------------------------------------------------------
a23*b12*kap
- r7719
r7243=----------
kap
1 2
- ---*b12 *r7717
2
r7244=-------------------
a11*a23
r7245=0
1 2
- ---*b12 *r7717
2
r7246=-------------------
a11*a23
3
- ---*a11*r7719
2
r7247=------------------
a23*kap
- 2*r7719
r7248=------------
kap
3 2
- ---*b12 *r7717
4
r7249=-------------------
a11*a23
7 6 119 4 2 1 4 2
r7250=(---*a11 *r7717 - -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 18
2 4 265 2 2 2
- 14*a11 *a23 *r7717 - -----*a11 *a23 *b12 *kap*r7717
18
35 2 4 2 1 2 4 2 2 3
- ----*a11 *b12 *kap *r7717 + ---*a23 *b12 *kap *r7717)/(a11*a23 *b12
36 2
2
*kap )
r7251=0
7 6 119 4 2 1 4 2
r7252=(---*a11 *r7717 - -----*a11 *a23 *r7717 - ---*a11 *b12 *kap*r7717
9 9 3
2 4 73 2 2 2
- 14*a11 *a23 *r7717 - ----*a11 *a23 *b12 *kap*r7717
9
7 2 4 2 4 2
- ----*a11 *b12 *kap *r7717 + 7*a23 *b12 *kap*r7717
36
26 2 4 2 7 6 3 2 3 2
+ ----*a23 *b12 *kap *r7717 + ---*b12 *kap *r7717)/(a11*a23 *b12 *kap )
3 6
2
3*a11*r7719 - b12*kap *r7445
r7253=------------------------------
b12*kap
2 2 5 2
- 3*a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7254=-----------------------------------------------------------
a23*b12*kap
7 6 119 4 2 1 4 2
r7255=(---*a11 *r7717 - -----*a11 *a23 *r7717 - ---*a11 *b12 *kap*r7717
9 9 3
2 4 73 2 2 2
- 14*a11 *a23 *r7717 - ----*a11 *a23 *b12 *kap*r7717
9
43 2 4 2 4 2
- ----*a11 *b12 *kap *r7717 + 7*a23 *b12 *kap*r7717
36
55 2 4 2 13 6 3 2 3 2
+ ----*a23 *b12 *kap *r7717 + ----*b12 *kap *r7717)/(a11*a23 *b12 *kap )
6 24
3 2 2 2
r7256=(3*a11 *r7719 + a11 *b12*kap *r7445 + 3*a11*a23 *r7719
2 2 2 2
+ 3*a11*b12 *kap*r7719 + a23 *b12*kap *r7445)/(a23*b12 *kap)
2 2 2
4*a11 *r7719 + 4*a23 *r7719 + 5*b12 *kap*r7719
r7257=------------------------------------------------
2
b12 *kap
14 4 238 2 2 49 2 2
r7258=(----*a11 *r7717 - -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 18
4 88 2 2 1 4 2
- 28*a23 *r7717 - ----*a23 *b12 *kap*r7717 + ---*b12 *kap *r7717)/(a11
3 6
2
*a23*b12 *kap)
7 8 7 6 2 1 6 2
r7259=( - -----*a11 *r7717 + ----*a11 *a23 *r7717 - ------*a11 *b12 *kap*r7717
540 90 1080
77 4 4 521 4 2 2
+ -----*a11 *a23 *r7717 + -----*a11 *a23 *b12 *kap*r7717
108 216
1 4 4 2 1603 2 6
+ -----*a11 *b12 *kap *r7717 + ------*a11 *a23 *r7717
120 45
2689 2 4 2 301 2 2 4 2
- ------*a11 *a23 *b12 *kap*r7717 + -----*a11 *a23 *b12 *kap *r7717
540 216
11 2 6 3 8
- ------*a11 *b12 *kap *r7717 + 35*a23 *r7717
1080
1219 6 2 2551 4 4 2
+ ------*a23 *b12 *kap*r7717 - ------*a23 *b12 *kap *r7717
45 270
1127 2 6 3 7 8 4 4 3
- ------*a23 *b12 *kap *r7717 - ------*b12 *kap *r7717)/(a11*a23 *b12
1080 1080
*kap)
r7260=0
r7261=0
r7262=0
r7263=0
r7264=0
r7265=0
r7266=0
r7267=0
r7268=0
r7269=0
r7270=0
r7271=0
r7272=0
r7273=0
r7274=0
r7275=0
1
- ---*a11*r7719
2
r7276=------------------
a23*kap
r7277=0
1
- ---*a11*r7719
2
r7278=------------------
a23*kap
1 2
- ---*b12 *r7717
4
r7279=-------------------
2
a23
r7280=0
1 2
- ---*b12 *r7717
4
r7281=-------------------
2
a23
r7282=0
3
- ---*a11*r7719
2
r7283=------------------
a23*kap
1 2
- ---*b12 *r7717
2
r7284=-------------------
2
a23
1
---*b12*r7717
2
r7285=---------------
a23
r7286=0
1
---*b12*r7717
2
r7287=---------------
a23
2 2 1 2
a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7288=------------------------------------------------------
a23*b12*kap
2
3*a11*r7719 - b12*kap *r7445
r7289=------------------------------
b12*kap
2*b12*r7717
r7290=-------------
a23
4 2 4 2 1 2
- ---*a11 *r7719 - ---*a23 *r7719 - ---*b12 *kap*r7719
3 3 3
r7291=---------------------------------------------------------
2
b12 *kap
3 2 2 2
r7292=(3*a11 *r7719 + a11 *b12*kap *r7445 + 3*a11*a23 *r7719
2 2 2 2
+ 3*a11*b12 *kap*r7719 + a23 *b12*kap *r7445)/(a23*b12 *kap)
7 2 19 2 1 2
----*a11 *r7717 - ----*a23 *r7717 - ---*b12 *kap*r7717
18 9 9
r7293=--------------------------------------------------------
2
a23
40 2 40 2 40 2
- ----*a11 *r7717 - ----*a23 *r7717 - ----*b12 *kap*r7717
9 9 9
r7294=------------------------------------------------------------
a23*b12
r7295=0
r7296=0
r7297=0
r7298=0
r7299=0
r7300=0
r7301=0
r7302=0
r7303=0
r7304=0
1
---*a11*b12*r7717
8
r7305=-------------------
2
a23
r7306=0
1
---*a11*b12*r7717
8
r7307=-------------------
2
a23
r7308=0
2 2 1 2
a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7309=------------------------------------------------------
a23*b12*kap
5 2 1 3
---*a11 *b12*r7717 - ---*b12 *kap*r7717
8 8
r7310=-----------------------------------------
2
a11*a23
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7311=------------------------------------
a23
4 2 4 2 1 2
- ---*a11 *r7719 - ---*a23 *r7719 - ---*b12 *kap*r7719
3 3 3
r7312=---------------------------------------------------------
2
b12 *kap
1 4 2 2 1 2 2
r7313=(---*a11 *r7717 - a11 *a23 *r7717 + ---*a11 *b12 *kap*r7717
4 4
1 2 2 3
+ ---*a23 *b12 *kap*r7717)/(a11*a23 )
2
7 6 119 4 2 7 4 2
r7314=(----*a11 *r7717 - -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
18 18 24
2 4 433 2 2 2
- 7*a11 *a23 *r7717 - -----*a11 *a23 *b12 *kap*r7717
72
5 2 4 2 5 4 2
- ---*a11 *b12 *kap *r7717 + ---*a23 *b12 *kap*r7717
9 3
7 2 4 2 2 3
+ ---*a23 *b12 *kap *r7717)/(a11*a23 *b12 *kap)
6
r7315=0
r7316=0
r7317=0
r7318=0
r7319=0
r7320=0
r7321=0
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7322=------------------------------------
a23
1 2 1 2
- ---*a11 *r7717 + ---*b12 *kap*r7717
4 4
r7323=----------------------------------------
2
a23
1 4 3 2 2 1 2 2
r7324=( - ----*a11 *r7717 + ----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
10 10 10
2 4 1 2 2 3
+ ---*a23 *r7717 - ----*a23 *b12 *kap*r7717)/(a23 *b12)
5 10
r7325=0
r7326=0
r7327=0
1
- ---*a11*b12*kap*r7717
8
r7328=--------------------------
2
a23
r7329=0
r7330=0
r7331=0
r7332=0
r7333=0
r7334=0
r7335=0
r7336=0
r7337=0
r7338=0
r7339=0
r7340=0
r7341=0
r7342=0
r7343=0
r7344=0
r7345=0
r7346=0
r7347=0
r7348=0
r7349=0
r7350=0
r7351=0
r7352=0
r7353=0
r7354=0
r7355=0
r7356=0
r7357=0
r7358=0
r7359=0
r7360=0
r7361=0
r7362=0
r7363=0
1
---*b12*r7445
2
r7364=---------------
a23
r7365=0
b12*r7445
r7366=-----------
a23
r7367=0
1
---*b12*r7445
2
r7368=---------------
a23
r7369=0
r7370=0
r7371=0
r7372=0
b12*r7445
r7373=-----------
a23
r7374=0
b12*r7445
r7375=-----------
a23
r7376=0
r7377=0
1
---*b12*r7445
2
r7378=---------------
a23
r7379=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7380=-------------------------------
a23*kap
r7381=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7382=-------------------------------
a23*kap
r7383=0
r7384=0
r7385=0
r7386=0
r7387=0
r7388=0
1
a11*kap*r7445 - ---*b12*r7719
2
r7389=-------------------------------
a23*kap
r7390= - r7445
r7391=0
r7392=0
r7393= - r7445
r7394=0
7 4 119 2 2 1 2 2
r7395=(---*a11 *r7717 - -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
- 14*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
r7396=0
7 4 119 2 2 1 2 2
r7397=(---*a11 *r7717 - -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
- 14*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
r7398=
2 1 2 2 2
- 3*a11 *kap*r7445 + ---*a11*b12*r7719 - 3*a23 *kap*r7445 - 3*b12 *kap *r7445
2
--------------------------------------------------------------------------------
a23*b12*kap
r7719
r7399=-------
kap
1
---*a11*r7719
2
r7400=---------------
a23*kap
r7401=0
7 4 119 2 2 1 2 2
r7402=(---*a11 *r7717 - -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 18
4 265 2 2 35 4 2
- 14*a23 *r7717 - -----*a23 *b12 *kap*r7717 - ----*b12 *kap *r7717)/(
18 36
2 2 2
a23 *b12 *kap )
1
---*a11*r7719
2
r7403=---------------
a23*kap
2
a11*r7719 + b12*kap *r7445
r7404=----------------------------
b12*kap
2 2 2 5 2
3*a11 *r7719 + a11*b12*kap *r7445 + 2*a23 *r7719 + ---*b12 *kap*r7719
2
r7405=-----------------------------------------------------------------------
a23*b12*kap
r7406=0
7 4 119 2 2 14 2 2
r7407=( - ---*a11 *r7717 + -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
9 9 9
4 49 2 2 7 4 2
+ 14*a23 *r7717 + ----*a23 *b12 *kap*r7717 + ---*b12 *kap *r7717)/(a11
3 3
2
*a23 *b12*kap)
1
---*b12*r7717
2
r7408=---------------
a23
2
- a11*r7719 - b12*kap *r7445
r7409=-------------------------------
b12*kap
7 6 77 4 2 1 4 2
r7410=( - -----*a11 *r7717 + -----*a11 *a23 *r7717 + ----*a11 *b12 *kap*r7717
108 108 36
70 2 4 163 2 2 2
+ ----*a11 *a23 *r7717 + -----*a11 *a23 *b12 *kap*r7717
9 108
1 2 4 2 6 133 4 2
+ ----*a11 *b12 *kap *r7717 + 7*a23 *r7717 + -----*a23 *b12 *kap*r7717
36 18
35 2 4 2 7 6 3 3 2
+ -----*a23 *b12 *kap *r7717 - -----*b12 *kap *r7717)/(a11*a23 *b12 *kap
108 108
)
7 6 413 4 2 1 4 2
r7411=( - -----*a11 *r7717 + -----*a11 *a23 *r7717 + -----*a11 *b12 *kap*r7717
540 540 180
406 2 4 1063 2 2 2
- -----*a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
45 540
1 2 4 2 49 6
+ -----*a11 *b12 *kap *r7717 - ----*a23 *r7717
180 5
799 4 2 313 2 4 2
- -----*a23 *b12 *kap*r7717 + -----*a23 *b12 *kap *r7717
90 270
7 6 3 4 2
- -----*b12 *kap *r7717)/(a23 *b12 *kap)
540
2 3 2 2 2 2 2
r7412=( - ---*a11 *r7719 + ---*a11 *b12*kap *r7445 - ---*a11*a23 *r7719
5 5 5
9 2 2 2 2
- ----*a11*b12 *kap*r7719 + ---*a23 *b12*kap *r7445
10 5
1 3 3 2
- ----*b12 *kap *r7445)/(a23*b12 *kap)
10
r7413=0
r7414=0
r7415=0
r7416=0
r7417=0
r7418=0
r7419=0
r7420=0
r7421=0
r7422=0
r7423=0
r7424=0
r7425=0
r7426=0
r7427=0
r7428=0
r7429=0
r7430=0
r7431=0
r7432=0
r7433=0
r7434=0
r7435=0
r7436=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7437=-------------------------------
a23*kap
r7438=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7439=-------------------------------
a23*kap
r7440=0
1 3
- ---*b12 *r7717
4
r7441=-------------------
2
a11*a23
r7442=0
1 3
- ---*b12 *r7717
4
r7443=-------------------
2
a11*a23
1
- a11*kap*r7445 + ---*b12*r7719
2
r7444=----------------------------------
a23*kap
r7446=0
r7447=0
1 3
- ---*b12 *r7717
4
r7448=-------------------
2
a11*a23
1
- a11*kap*r7445 + ---*b12*r7719
2
r7449=----------------------------------
a23*kap
r7450=0
1 2
---*b12 *r7717
2
r7451=----------------
a11*a23
r7452=0
1 2
---*b12 *r7717
2
r7453=----------------
a11*a23
r7454=0
2*a11*r7719
r7455=-------------
a23*kap
r7456=0
r7457=0
2
b12 *r7717
r7458=------------
a11*a23
- 2*r7719
r7459=------------
kap
- 2*a23*r7719
r7460=----------------
b12*kap
2
- a11*r7719 + b12*kap *r7445
r7461=-------------------------------
b12*kap
2 2 2 5 2
3*a11 *r7719 + a11*b12*kap *r7445 + 2*a23 *r7719 + ---*b12 *kap*r7719
2
r7462=-----------------------------------------------------------------------
a23*b12*kap
1
---*b12*r7717
2
r7463=---------------
a23
2 5 3
2*a11 *b12*r7717 + ---*b12 *kap*r7717
4
r7464=---------------------------------------
2
a11*a23
2 2 5 2
- 3*a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7465=-----------------------------------------------------------
a23*b12*kap
r7466= - r7717
14 4 238 2 2 41 2 2
r7467=( - ----*a11 *r7717 + -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
9 9 9
4 2 2 5 4 2
+ 28*a23 *r7717 + 26*a23 *b12 *kap*r7717 - ---*b12 *kap *r7717)/(a11*a23
2
2
*b12 *kap)
2 2 2
4*a11 *r7719 + 4*a23 *r7719 + 5*b12 *kap*r7719
r7468=------------------------------------------------
2
b12 *kap
r7469=0
r7470=0
r7471=0
r7472=0
r7473=0
r7474=0
r7475=0
r7476=0
r7477=0
r7478=0
r7479=0
r7480=0
r7481=0
r7482=0
r7483=0
r7484=0
r7485=0
1 2
---*b12 *r7717
4
r7486=----------------
2
a23
r7487=0
1 2
---*b12 *r7717
4
r7488=----------------
2
a23
1
- ---*a11*r7719
2
r7489=------------------
a23*kap
r7719
r7490=-------
kap
3
---*a11*r7719
2
r7491=---------------
a23*kap
1 2
---*b12 *r7717
4
r7492=----------------
a11*a23
2
b12 *r7717
r7493=------------
2
a23
3
- ---*a11*r7719
2
r7494=------------------
a23*kap
2
- a11*r7719 + b12*kap *r7445
r7495=-------------------------------
b12*kap
2 2 2 1 2
- a11 *r7719 + a11*b12*kap *r7445 - 2*a23 *r7719 + ---*b12 *kap*r7719
2
r7496=------------------------------------------------------------------------
a23*b12*kap
- 2*a11*r7719
r7497=----------------
b12*kap
- b12*r7717
r7498=--------------
a11
5
- ---*b12*r7717
2
r7499=------------------
a23
2
3*a11*r7719 - b12*kap *r7445
r7500=------------------------------
b12*kap
11 2 10 2 7 2
----*a11 *r7717 + ----*a23 *r7717 + ---*b12 *kap*r7717
6 3 3
r7501=--------------------------------------------------------
a11*a23
7 2 10 2 1 2
- ----*a11 *r7717 + ----*a23 *r7717 + ---*b12 *kap*r7717
18 9 9
r7502=-----------------------------------------------------------
2
a23
3 2 2 2
r7503=(3*a11 *r7719 + a11 *b12*kap *r7445 + 3*a11*a23 *r7719
2 2 2 2
+ 3*a11*b12 *kap*r7719 + a23 *b12*kap *r7445)/(a23*b12 *kap)
r7504=0
r7505=0
r7506=0
r7507=0
r7508=0
r7509=0
r7510=0
r7511=0
r7512=0
r7513=0
r7514=0
r7515=0
2
- a11*r7719 + b12*kap *r7445
r7516=-------------------------------
b12*kap
2 2 1 2
- a11 *r7719 + a11*b12*kap *r7445 + ---*b12 *kap*r7719
2
r7517=---------------------------------------------------------
a23*b12*kap
1
- ---*b12*r7717
2
r7518=------------------
a23
2 1 3
- a11 *b12*r7717 + ---*b12 *kap*r7717
4
r7519=----------------------------------------
2
a11*a23
2 2 1 2
a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7520=------------------------------------------------------
a23*b12*kap
r7521=r7717
2 1 2
a11 *r7717 - ---*b12 *kap*r7717
2
r7522=---------------------------------
a11*a23
4 2 4 2 1 2
- ---*a11 *r7719 - ---*a23 *r7719 - ---*b12 *kap*r7719
3 3 3
r7523=---------------------------------------------------------
2
b12 *kap
r7524=0
r7525=0
r7526=0
r7527=0
r7528=0
r7529=0
r7530=0
1
---*a11*r7717
4
r7531=---------------
a23
1 2 1 2
---*a11 *r7717 - ---*b12 *kap*r7717
4 4
r7532=-------------------------------------
2
a23
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7533=------------------------------------
a23
r7534=0
r7535=0
r7536=0
r7537=0
r7538=0
r7539=0
r7540=0
r7541=0
r7542=0
r7543=0
r7544=0
r7545=0
r7546=0
r7547=0
r7548=0
r7549=0
r7550=0
r7551=0
r7552=0
r7553=0
r7554=0
r7555=0
r7556=0
r7557=0
r7558=0
r7559=0
r7560=0
r7561=0
r7562=0
1 3
---*b12 *r7717
8
r7563=----------------
2
a11*a23
r7564=0
1 3
---*b12 *r7717
8
r7565=----------------
2
a11*a23
r7566=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7567=-------------------------------
a23*kap
r7568=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7569=-------------------------------
a23*kap
r7570=0
r7571=0
1 3
---*b12 *r7717
8
r7572=----------------
2
a11*a23
r7573=r7445
1
a11*kap*r7445 - ---*b12*r7719
2
r7574=-------------------------------
a23*kap
r7575=0
1
- ---*a11*r7719
2
r7576=------------------
a23*kap
- r7719
r7577=----------
kap
3
- ---*a11*r7719
2
r7578=------------------
a23*kap
r7579=0
r7580=0
r7581=0
1 2
- ---*b12 *r7717
4
r7582=-------------------
a11*a23
r7583=
2 1 2 2 2
- 2*a11 *kap*r7445 - ---*a11*b12*r7719 - 2*a23 *kap*r7445 - 2*b12 *kap *r7445
2
--------------------------------------------------------------------------------
a23*b12*kap
r7719
r7584=-------
kap
r7585=0
7 4 119 2 2 23 2 2
r7586=(----*a11 *r7717 - -----*a11 *a23 *r7717 - ----*a11 *b12 *kap*r7717
18 18 36
4 70 2 2 7 4 2
- 7*a23 *r7717 - ----*a23 *b12 *kap*r7717 - ---*b12 *kap *r7717)/(a11
9 9
2
*a23 *b12*kap)
1
- ---*b12*r7717
2
r7587=------------------
a23
28 6 476 4 2 2 4 2
r7588=(----*a11 *r7717 - -----*a11 *a23 *r7717 + ---*a11 *b12 *kap*r7717
9 9 9
2 4 530 2 2 2
- 56*a11 *a23 *r7717 - -----*a11 *a23 *b12 *kap*r7717
9
13 2 4 2 7 2 4 2
- ----*a11 *b12 *kap *r7717 + ----*a23 *b12 *kap *r7717
4 18
19 6 3 2 3 2
+ ----*b12 *kap *r7717)/(a11*a23 *b12 *kap )
72
2*a11*r7719
r7589=-------------
b12*kap
2 2 2 5 2
3*a11 *r7719 + a11*b12*kap *r7445 + 2*a23 *r7719 + ---*b12 *kap*r7719
2
r7590=-----------------------------------------------------------------------
a23*b12*kap
5 2 7 2 7 3
----*a11 *b12*r7717 + ----*a23 *b12*r7717 + ----*b12 *kap*r7717
36 18 18
r7591=-----------------------------------------------------------------
2
a11*a23
3 2 2 2
r7592=(3*a11 *r7719 + a11 *b12*kap *r7445 + 3*a11*a23 *r7719
2 2 2 2
+ 3*a11*b12 *kap*r7719 + a23 *b12*kap *r7445)/(a23*b12 *kap)
r7593=0
11 2 7 2 7 2
- ----*a11 *r7717 - ---*a23 *r7717 - ---*b12 *kap*r7717
6 3 3
r7594=----------------------------------------------------------
a11*a23
7 6 1843 4 2 1 4 2
r7595=(------*a11 *r7717 + ------*a11 *a23 *r7717 - -----*a11 *b12 *kap*r7717
1080 1080 360
2 4 1331 2 2 2
+ a11 *a23 *r7717 + ------*a11 *a23 *b12 *kap*r7717
1080
1 2 4 2 7 6
- -----*a11 *b12 *kap *r7717 - ----*a23 *r7717
360 10
77 4 2 623 2 4 2
- ----*a23 *b12 *kap*r7717 - ------*a23 *b12 *kap *r7717
60 1080
7 6 3 4
+ ------*b12 *kap *r7717)/(a11*a23 *b12)
1080
r7596=0
r7597=0
r7598=0
r7599=0
r7600=0
r7601=0
r7602=0
r7603=0
r7604=0
r7605=0
r7606=0
r7607=0
r7608=0
r7609=0
r7610=0
r7611=0
1
- ---*a11*r7719
2
r7612=------------------
a23*kap
- r7719
r7613=----------
kap
3
- ---*a11*r7719
2
r7614=------------------
a23*kap
1 2
- ---*b12 *r7717
4
r7615=-------------------
2
a23
1 2
- ---*b12 *r7717
2
r7616=-------------------
a11*a23
2
- b12 *r7717
r7617=---------------
2
a23
r7719
r7618=-------
kap
3
---*a11*r7719
2
r7619=---------------
a23*kap
1 2
- ---*b12 *r7717
4
r7620=-------------------
2
a23
1
---*b12*r7717
2
r7621=---------------
a23
b12*r7717
r7622=-----------
a11
14 4 238 2 2 1 2 2
r7623=( - ----*a11 *r7717 + -----*a11 *a23 *r7717 - ---*a11 *b12 *kap*r7717
3 3 3
4 265 2 2 35 4 2
+ 84*a23 *r7717 + -----*a23 *b12 *kap*r7717 + ----*b12 *kap *r7717)/(a23
3 6
3 2
*b12 *kap )
2 2 2 1 2
a11 *r7719 - a11*b12*kap *r7445 - 2*a23 *r7719 - ---*b12 *kap*r7719
2
r7624=---------------------------------------------------------------------
a23*b12*kap
2
- a11*r7719 - b12*kap *r7445
r7625=-------------------------------
b12*kap
b12*r7717
r7626=-----------
a23
r7627=r7719
2
- b12*kap *r7445
r7628=-------------------
a23
7 2 10 2 1 2
----*a11 *r7717 - ----*a23 *r7717 - ---*b12 *kap*r7717
18 9 9
r7629=--------------------------------------------------------
2
a23
40 2 40 2 40 2
- ----*a11 *r7717 - ----*a23 *r7717 - ----*b12 *kap*r7717
9 9 9
r7630=------------------------------------------------------------
a23*b12
r7631=0
r7632=0
r7633=0
r7634=0
r7635=0
r7636=0
r7637=0
r7638=0
r7639=0
r7640=0
1
---*a11*b12*r7717
4
r7641=-------------------
2
a23
1
---*b12*r7717
2
r7642=---------------
a23
3 2 1 3
---*a11 *b12*r7717 - ---*b12 *kap*r7717
4 8
r7643=-----------------------------------------
2
a11*a23
2
- a11*r7719 + b12*kap *r7445
r7644=-------------------------------
b12*kap
r7645=0
3 2 1 3
---*a11 *b12*r7717 - ---*b12 *kap*r7717
4 8
r7646=-----------------------------------------
2
a11*a23
2
a11*r7719 - b12*kap *r7445
r7647=----------------------------
a23
r7648=r7719
3 2 1 2
- ---*a11 *r7717 + ---*b12 *kap*r7717
2 2
r7649=----------------------------------------
a11*a23
7 6 119 4 2 1 4 2
r7650=(----*a11 *r7717 - -----*a11 *a23 *r7717 - ---*a11 *b12 *kap*r7717
18 18 6
2 4 53 2 2 2
- 7*a11 *a23 *r7717 - ----*a11 *a23 *b12 *kap*r7717
9
25 2 4 2 5 4 2
- ----*a11 *b12 *kap *r7717 + ---*a23 *b12 *kap*r7717
36 3
7 2 4 2 7 6 3 2 3
+ ---*a23 *b12 *kap *r7717 - ----*b12 *kap *r7717)/(a11*a23 *b12 *kap)
9 18
r7651=0
r7652=0
r7653=0
r7654=0
r7655=0
r7656=0
r7657=0
2
a11*r7719 - b12*kap *r7445
r7658=----------------------------
a23
1 2 1 2
- ---*a11 *r7717 + ---*b12 *kap*r7717
2 2
r7659=----------------------------------------
2
a23
- b12*kap*r7717
r7660=------------------
a23
r7661=0
r7662=0
r7663=0
3
- ---*a11*b12*kap*r7717
8
r7664=--------------------------
2
a23
r7665=0
r7666=0
r7667=0
r7668=0
r7669=0
r7670=0
r7671=0
r7672=0
r7673=0
r7674=0
r7675=0
r7676=0
r7677=0
r7678=0
r7679=0
r7680=0
r7681=0
1 2
---*b12 *r7717
4
r7682=----------------
2
a23
1 2
---*b12 *r7717
4
r7683=----------------
a11*a23
1 2
---*b12 *r7717
2
r7684=----------------
2
a23
1
- ---*a11*r7719
2
r7685=------------------
a23*kap
- r7719
r7686=----------
kap
3
- ---*a11*r7719
2
r7687=------------------
a23*kap
r7688=0
1 2
---*b12 *r7717
4
r7689=----------------
2
a23
1
- ---*a11*r7719
2
r7690=------------------
a23*kap
2
- a11*r7719 + b12*kap *r7445
r7691=-------------------------------
b12*kap
2 2 1 2
- a11 *r7719 + a11*b12*kap *r7445 + ---*b12 *kap*r7719
2
r7692=---------------------------------------------------------
a23*b12*kap
r7693=0
r7694=0
1
- ---*b12*r7717
2
r7695=------------------
a23
r7696
2 2 2 2
- 8*a11 *kap*r7445 + a11*b12*r7719 - 8*a23 *kap*r7445 - 9*b12 *kap *r7445
=----------------------------------------------------------------------------
2
b12 *kap
11 2 7 2 7 2
----*a11 *r7717 + ---*a23 *r7717 + ---*b12 *kap*r7717
6 3 3
r7697=-------------------------------------------------------
a11*a23
7 2 1 2 1 2
- ----*a11 *r7717 + ---*a23 *r7717 + ---*b12 *kap*r7717
18 9 9
r7698=----------------------------------------------------------
2
a23
2
- b12*kap *r7445
r7699=-------------------
a23
r7700=0
r7701=0
r7702=0
r7703=0
r7704=0
r7705=0
r7706=0
r7707=0
r7708=0
r7709=0
r7710=0
r7711=0
2
- a11*r7719 + b12*kap *r7445
r7712=-------------------------------
b12*kap
2 2 1 2
- a11 *r7719 + a11*b12*kap *r7445 + ---*b12 *kap*r7719
2
r7713=---------------------------------------------------------
a23*b12*kap
1
- ---*b12*r7717
2
r7714=------------------
a23
2 1 3
- a11 *b12*r7717 + ---*b12 *kap*r7717
4
r7715=----------------------------------------
2
a11*a23
2 2 1 2
a11 *r7719 - a11*b12*kap *r7445 - ---*b12 *kap*r7719
2
r7716=------------------------------------------------------
a23*b12*kap
2 1 2
a11 *r7717 - ---*b12 *kap*r7717
2
r7718=---------------------------------
a11*a23
r7720=0
r7721=0
r7722=0
r7723=0
r7724=0
r7725=0
r7726=0
1
---*a11*r7717
2
r7727=---------------
a23
1 2 1 2
---*a11 *r7717 - ---*b12 *kap*r7717
2 2
r7728=-------------------------------------
2
a23
2
a11*r7719 - b12*kap *r7445
r7729=----------------------------
a23
r7730=0
r7731=0
r7732=0
r7733=0
r7734=0
r7735=0
r7736=0
r7737=0
r7738=0
r7739=0
r7740=0
r7741=0
r7742=0
r7743=0
r7744=0
r7745=0
1
---*a11*b12*r7717
8
r7746=-------------------
2
a23
1
---*b12*r7717
2
r7747=---------------
a23
5 2 1 3
---*a11 *b12*r7717 - ---*b12 *kap*r7717
8 8
r7748=-----------------------------------------
2
a11*a23
2
- a11*r7719 + b12*kap *r7445
r7749=-------------------------------
b12*kap
2 2 1 2
- a11 *r7719 + a11*b12*kap *r7445 + ---*b12 *kap*r7719
2
r7750=---------------------------------------------------------
a23*b12*kap
1
---*a11*b12*r7717
8
r7751=-------------------
2
a23
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7752=------------------------------------
a23
r7753=0
1
- ---*a11*r7717
4
r7754=------------------
a23
r7755
19 2 7 2 7 3 2
- ----*a11 *b12*kap*r7717 - ----*a23 *b12*kap*r7717 - ----*b12 *kap *r7717
72 18 18
=-----------------------------------------------------------------------------
2
a11*a23
r7756=0
r7757=0
r7758=0
r7759=0
r7760=0
r7761=0
r7762=0
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7763=------------------------------------
a23
1 2 1 2
- ---*a11 *r7717 + ---*b12 *kap*r7717
4 4
r7764=----------------------------------------
2
a23
1
- ---*b12*kap*r7717
2
r7765=----------------------
a23
r7766=0
r7767=0
r7768=0
3
- ---*a11*b12*kap*r7717
8
r7769=--------------------------
2
a23
r7770=0
r7771=0
r7772=0
r7773=0
r7774=0
r7775=0
r7776=0
1
---*a11*r7717
4
r7777=---------------
a23
1 2 1 2
---*a11 *r7717 - ---*b12 *kap*r7717
4 4
r7778=-------------------------------------
2
a23
1 1 2
---*a11*r7719 - ---*b12*kap *r7445
2 2
r7779=------------------------------------
a23
r7780=0
r7781=0
r7782=0
r7783=0
r7784=0
r7785=0
r7786=0
r7787=0
r7788=0
1
- ---*a11*b12*kap*r7717
8
r7789=--------------------------
2
a23
r7790=0
r7791=0
a33= - a11
a22=a11
a13=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r7445, r7719, r7717, a11, a23, b12
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{r7717,a11,b12,a23,a33}
Relevance for the application:
Modulo the following equation:
2 2 2
0=a11 + a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2 2
HAM=u1 *a11 + u1*v2*b12 + u2 *a11 + 2*u2*u3*a23 - u2*v1*b12 - u3 *a11
has apart from the Hamiltonian and Casimirs the following 3 first integrals:
6 2 2 4 3
FI= - 945*u1 *u3*a11 *a23 *b12 *kap
5 3 2 3 2 2 5 3
+ u1 *u3*v2*(1890*a11 *a23 *b12 *kap - 1890*a11*a23 *b12 *kap )
5 2 3 3 2 4 2 2 2 4 3
+ 1890*u1 *u3*v3*a11 *a23 *b12 *kap - 2835*u1 *u2 *u3*a11 *a23 *b12 *kap
4 2 3 4 3
- 3780*u1 *u2*u3 *a11*a23 *b12 *kap
4 3 2 3 2 2 5 3 4
+ u1 *u2*u3*v1*( - 1890*a11 *a23 *b12 *kap + 1890*a11*a23 *b12 *kap ) + u1
3
*u3
2 2 4 3 4 4 3 2 6 4
*( - 1995*a11 *a23 *b12 *kap - 2940*a23 *b12 *kap - 2940*a23 *b12 *kap )
4 2 2 3 3 2 4 2 2 2 4 2
- 1890*u1 *u3 *v1*a11 *a23 *b12 *kap + 945*u1 *u3*v1 *a11 *a23 *b12 *kap
4 2 2 2 4 2 2 6 3
+ u1 *u3*v2 *(4725*a11 *a23 *b12 *kap - 945*a23 *b12 *kap )
4 3 4 2 4 2 2 2 4 2
+ 3780*u1 *u3*v2*v3*a11*a23 *b12 *kap + 945*u1 *u3*v3 *a11 *a23 *b12 *kap
3 2 3 2 3 2 2 5 3
+ u1 *u2 *u3*v2*(3780*a11 *a23 *b12 *kap - 3780*a11*a23 *b12 *kap )
3 2 2 3 3 2
+ 3780*u1 *u2 *u3*v3*a11 *a23 *b12 *kap
3 2 2 3 3 2 3 5 3
+ u1 *u2*u3 *v2*(7560*a11 *a23 *b12 *kap - 3780*a23 *b12 *kap )
3 2 4 3 2
+ 7560*u1 *u2*u3 *v3*a11*a23 *b12 *kap
3 2 2 4 2 2 6 3
+ u1 *u2*u3*v1*v2*( - 7560*a11 *a23 *b12 *kap + 1890*a23 *b12 *kap )
3 3 4 2 3 3
- 3780*u1 *u2*u3*v1*v3*a11*a23 *b12 *kap + u1 *u3 *v2*(
3 2 3 2 4 3 2
- 2940*a11 *a23 *b12 *kap + 840*a11*a23 *b12 *kap
2 5 3 3 3
+ 840*a11*a23 *b12 *kap ) + u1 *u3 *v3
2 3 3 2 5 3 2 3 5 3
*(13860*a11 *a23 *b12 *kap + 17640*a23 *b12 *kap + 17640*a23 *b12 *kap )
3 2 3 4 2
- 3780*u1 *u3 *v1*v2*a11*a23 *b12 *kap
3 2 2 5 2 3 3 2 5 2
+ 1890*u1 *u3*v1 *v2*a11*a23 *b12 *kap + 3780*u1 *u3*v2 *a11*a23 *b12 *kap
3 2 3 5 2 3 2 2 5 2
+ 1890*u1 *u3*v2 *v3*a23 *b12 *kap + 1890*u1 *u3*v2*v3 *a11*a23 *b12 *kap
2 4 2 2 4 3 2 3 2 3 4 3
- 2835*u1 *u2 *u3*a11 *a23 *b12 *kap - 7560*u1 *u2 *u3 *a11*a23 *b12 *kap
2 3 3 2 3 2 2 5 3
+ u1 *u2 *u3*v1*( - 3780*a11 *a23 *b12 *kap + 3780*a11*a23 *b12 *kap ) +
2 2 3 6 2 4 4
u1 *u2 *u3 *(2940*a11 *a23 *kap - 49980*a11 *a23 *kap
4 2 2 2 2 6
- 1260*a11 *a23 *b12 *kap - 52920*a11 *a23 *kap
2 4 2 2 2 2 4 3
- 44520*a11 *a23 *b12 *kap - 5250*a11 *a23 *b12 *kap
6 2 2 4 4 3
+ 12600*a23 *b12 *kap + 5880*a23 *b12 *kap
2 6 4
- 2940*a23 *b12 *kap )
2 2 2 2 3 3 2 3 5 3
+ u1 *u2 *u3 *v1*( - 11340*a11 *a23 *b12 *kap + 3780*a23 *b12 *kap )
2 2 2 2 2 4 2 2 6 3
+ u1 *u2 *u3*v1 *(5670*a11 *a23 *b12 *kap - 945*a23 *b12 *kap )
2 2 2 2 2 4 2 2 6 3
+ u1 *u2 *u3*v2 *(5670*a11 *a23 *b12 *kap - 945*a23 *b12 *kap )
2 2 3 4 2
+ 3780*u1 *u2 *u3*v2*v3*a11*a23 *b12 *kap
2 2 2 2 2 4 2 2 4
+ 1890*u1 *u2 *u3*v3 *a11 *a23 *b12 *kap + u1 *u2*u3 *(
3 3 2 2 5 2 2
- 33600*a11 *a23 *b12 *kap - 33600*a11*a23 *b12 *kap
3 4 3 2 3 3 2 3 2
- 33600*a11*a23 *b12 *kap ) + u1 *u2*u3 *v1*(2940*a11 *a23 *b12 *kap
4 3 2 2 5 3
- 8400*a11*a23 *b12 *kap - 840*a11*a23 *b12 *kap )
2 2 2 3 4 2 2 2 2
+ 7560*u1 *u2*u3 *v1 *a11*a23 *b12 *kap + u1 *u2*u3 *v2 *(
5 3 3 5 3 3 2
- 35280*a11 *a23 + 599760*a11 *a23 - 2520*a11 *a23 *b12 *kap
7 5 2 3 4 2
+ 635040*a11*a23 + 667800*a11*a23 *b12 *kap + 44100*a11*a23 *b12 *kap )
2 2 4 4 2
+ 7560*u1 *u2*u3 *v2*v3*a23 *b12 *kap
2 2 2 3 4 2
+ 3780*u1 *u2*u3 *v3 *a11*a23 *b12 *kap
2 3 2 5 2
- 1890*u1 *u2*u3*v1 *a11*a23 *b12 *kap
2 2 2 5 2
- 7560*u1 *u2*u3*v1*v2 *a11*a23 *b12 *kap
2 3 5 2
- 3780*u1 *u2*u3*v1*v2*v3*a23 *b12 *kap
2 2 2 5 2 2 5 6 2 2
- 1890*u1 *u2*u3*v1*v3 *a11*a23 *b12 *kap + u1 *u3 *(49*a11 *b12 *kap
4 2 2 2 4 4 3
+ 12901*a11 *a23 *b12 *kap - 21*a11 *b12 *kap
2 4 2 2 2 2 4 3 2 6 4
+ 7560*a11 *a23 *b12 *kap + 9317*a11 *a23 *b12 *kap - 21*a11 *b12 *kap
6 2 2 4 4 3 2 6 4
- 5292*a23 *b12 *kap - 9702*a23 *b12 *kap - 4361*a23 *b12 *kap
8 5 2 4
+ 49*b12 *kap ) + u1 *u3 *v1
2 3 3 2 5 3 2 3 5 3
*( - 13860*a11 *a23 *b12 *kap - 17640*a23 *b12 *kap - 17640*a23 *b12 *kap )
2 3 2
+ u1 *u3 *v1
2 2 4 2 4 4 2 2 6 3 2
*(1050*a11 *a23 *b12 *kap + 2940*a23 *b12 *kap + 2940*a23 *b12 *kap ) + u1
3 2 6 2 4 4 4 2 2
*u3 *v2 *(23520*a11 *a23 - 399840*a11 *a23 + 1680*a11 *a23 *b12 *kap
2 6 2 4 2
- 423360*a11 *a23 - 445200*a11 *a23 *b12 *kap
2 2 4 2 4 4 2
- 24570*a11 *a23 *b12 *kap + 2940*a23 *b12 *kap
2 6 3 2 3 3 4 2
+ 1995*a23 *b12 *kap ) - 3780*u1 *u3 *v2*v3*a11*a23 *b12 *kap +
2 3 2 4 2 2 2 4 2
u1 *u3 *v3 *(2940*a11 *a23 *b12 *kap - 49980*a11 *a23 *b12 *kap
2 2 4 2 6 2
- 4830*a11 *a23 *b12 *kap - 52920*a23 *b12 *kap
4 4 2 2 6 3
- 58800*a23 *b12 *kap - 5880*a23 *b12 *kap )
2 2 2 3 5 2 2 2 2 2 6 2
- 1890*u1 *u3 *v1*v2 *a23 *b12 *kap + 945*u1 *u3*v1 *v2 *a23 *b12 *kap
2 4 2 6 2 2 2 2 2 6 2
+ 945*u1 *u3*v2 *a23 *b12 *kap + 945*u1 *u3*v2 *v3 *a23 *b12 *kap
4 3 2 3 2 2 5 3
+ u1*u2 *u3*v2*(1890*a11 *a23 *b12 *kap - 1890*a11*a23 *b12 *kap )
4 2 3 3 2
+ 1890*u1*u2 *u3*v3*a11 *a23 *b12 *kap
3 2 2 3 3 2 3 5 3
+ u1*u2 *u3 *v2*(7560*a11 *a23 *b12 *kap - 3780*a23 *b12 *kap )
3 2 4 3 2
+ 7560*u1*u2 *u3 *v3*a11*a23 *b12 *kap
3 2 2 4 2 2 6 3
+ u1*u2 *u3*v1*v2*( - 7560*a11 *a23 *b12 *kap + 1890*a23 *b12 *kap )
3 3 4 2 2 3
- 3780*u1*u2 *u3*v1*v3*a11*a23 *b12 *kap + u1*u2 *u3 *v2*(
3 2 3 2 4 3 2
- 2940*a11 *a23 *b12 *kap + 8400*a11*a23 *b12 *kap
2 5 3 2 3
+ 840*a11*a23 *b12 *kap ) + u1*u2 *u3 *v3
2 3 3 2 5 3 2 3 5 3
*(13860*a11 *a23 *b12 *kap + 25200*a23 *b12 *kap + 17640*a23 *b12 *kap )
2 2 3 4 2
- 18900*u1*u2 *u3 *v1*v2*a11*a23 *b12 *kap
2 2 4 4 2
- 7560*u1*u2 *u3 *v1*v3*a23 *b12 *kap
2 2 2 5 2
+ 7560*u1*u2 *u3*v1 *v2*a11*a23 *b12 *kap
2 2 3 5 2
+ 1890*u1*u2 *u3*v1 *v3*a23 *b12 *kap
2 3 2 5 2
+ 1890*u1*u2 *u3*v2 *a11*a23 *b12 *kap
2 2 2 5 2 4
+ 1890*u1*u2 *u3*v2*v3 *a11*a23 *b12 *kap + u1*u2*u3 *v2*(
4 3 2 5
- 11760*a11 *a23 *b12*kap + 199920*a11 *a23 *b12*kap
2 3 3 2 7 5 3 2
- 34440*a11 *a23 *b12 *kap + 211680*a23 *b12*kap + 196560*a23 *b12 *kap
3 5 3 4 4 3 2
- 18900*a23 *b12 *kap ) - 7560*u1*u2*u3 *v3*a11*a23 *b12 *kap
3 2 2 4 2 2 6 3
+ u1*u2*u3 *v1*v2*(15120*a11 *a23 *b12 *kap + 9450*a23 *b12 *kap )
3 3 4 2
+ 3780*u1*u2*u3 *v1*v3*a11*a23 *b12 *kap
2 2 3 5 2 2 3 3 5 2
+ 7560*u1*u2*u3 *v1 *v2*a23 *b12 *kap + 3780*u1*u2*u3 *v2 *a23 *b12 *kap
2 2 3 5 2 3 2 6 2
+ 3780*u1*u2*u3 *v2*v3 *a23 *b12 *kap - 1890*u1*u2*u3*v1 *v2*a23 *b12 *kap
3 2 6 2
- 1890*u1*u2*u3*v1*v2 *a23 *b12 *kap
2 2 6 2 5 7
- 1890*u1*u2*u3*v1*v2*v3 *a23 *b12 *kap + u1*u3 *v2*( - 98*a11 *b12*kap
5 2 5 3 2 3 4
+ 5782*a11 *a23 *b12*kap + 42*a11 *b12 *kap - 68208*a11 *a23 *b12*kap
3 2 3 2 3 5 3 6
+ 14882*a11 *a23 *b12 *kap + 42*a11 *b12 *kap - 74088*a11*a23 *b12*kap
4 3 2 2 5 3 7 4
- 67116*a11*a23 *b12 *kap + 8764*a11*a23 *b12 *kap - 98*a11*b12 *kap )
5 6 4 3
+ u1*u3 *v3*( - 490*a11 *a23*b12*kap + 5390*a11 *a23 *b12*kap
4 3 2 2 5
+ 210*a11 *a23*b12 *kap + 58800*a11 *a23 *b12*kap
2 3 3 2 2 5 3
+ 11410*a11 *a23 *b12 *kap + 210*a11 *a23*b12 *kap
7 5 3 2
+ 52920*a23 *b12*kap + 55860*a23 *b12 *kap
3 5 3 7 4
+ 2450*a23 *b12 *kap - 490*a23*b12 *kap )
4 3 4 2 4
+ 3780*u1*u3 *v1*v2*a11*a23 *b12 *kap + u1*u3 *v1*v3*(
4 2 2 2 4 2
- 5880*a11 *a23 *b12 *kap + 99960*a11 *a23 *b12 *kap
2 2 4 2 6 2
+ 11760*a11 *a23 *b12 *kap + 105840*a23 *b12 *kap
4 4 2 2 6 3 3 2
+ 123480*a23 *b12 *kap + 17640*a23 *b12 *kap ) + u1*u3 *v1 *v2*(
5 2 3 4 3 2 3
5880*a11 *a23 *b12 - 99960*a11 *a23 *b12 + 420*a11 *a23 *b12 *kap
6 4 3
- 105840*a11*a23 *b12 - 111300*a11*a23 *b12 *kap
2 5 2 3 3 5 2
- 7350*a11*a23 *b12 *kap ) + u1*u3 *v2 *(5880*a11 *a23 *b12
3 4 3 2 3 6
- 99960*a11 *a23 *b12 + 420*a11 *a23 *b12 *kap - 105840*a11*a23 *b12
4 3 2 5 2 3 2
- 111300*a11*a23 *b12 *kap - 7350*a11*a23 *b12 *kap ) + u1*u3 *v2*v3 *(
5 2 3 4 3 2 3
5880*a11 *a23 *b12 - 99960*a11 *a23 *b12 + 420*a11 *a23 *b12 *kap
6 4 3
- 105840*a11*a23 *b12 - 111300*a11*a23 *b12 *kap
2 5 2 6 2 2 4 3 5 2
- 7350*a11*a23 *b12 *kap ) - 945*u2 *u3*a11 *a23 *b12 *kap + u2 *u3 *(
5 2 2 3 3 2 2
- 756*a11 *a23*b12 *kap + 2268*a11 *a23 *b12 *kap
3 4 3 5 2 2
- 756*a11 *a23*b12 *kap + 3024*a11*a23 *b12 *kap
3 4 3
- 756*a11*a23 *b12 *kap )
5 3 2 3 2 2 5 3 4
+ u2 *u3*v1*( - 1890*a11 *a23 *b12 *kap + 1890*a11*a23 *b12 *kap ) + u2
3 6 2 4 4 4 2 2 2
*u3 *(2940*a11 *a23 *kap - 49980*a11 *a23 *kap - 2205*a11 *a23 *b12 *kap
2 6 2 4 2 2
- 52920*a11 *a23 *kap - 45465*a11 *a23 *b12 *kap
2 2 4 3 6 2 2
- 4200*a11 *a23 *b12 *kap + 12600*a23 *b12 *kap
4 4 3 4 2 4 3 2
+ 8820*a23 *b12 *kap ) + u2 *u3 *v1*(1890*a11 *a23*b12 *kap
2 3 3 2 2 5 3
- 7560*a11 *a23 *b12 *kap + 1890*a11 *a23*b12 *kap
3 5 3
+ 3780*a23 *b12 *kap )
4 2 2 2 4 2 2 6 3
+ u2 *u3*v1 *(4725*a11 *a23 *b12 *kap - 945*a23 *b12 *kap )
4 2 2 2 4 2 4 2 2 2 4 2
+ 945*u2 *u3*v2 *a11 *a23 *b12 *kap + 945*u2 *u3*v3 *a11 *a23 *b12 *kap +
3 4 3 3 2 2 5 2 2
u2 *u3 *( - 33600*a11 *a23 *b12 *kap - 33600*a11*a23 *b12 *kap
3 4 3 3 3 3 2 3 2
- 33600*a11*a23 *b12 *kap ) + u2 *u3 *v1*(2940*a11 *a23 *b12 *kap
4 3 2 2 5 3
- 15960*a11*a23 *b12 *kap - 840*a11*a23 *b12 *kap )
3 2 2 3 4 2 3 2 2 3 4 2
+ 15120*u2 *u3 *v1 *a11*a23 *b12 *kap + 3780*u2 *u3 *v2 *a11*a23 *b12 *kap
3 2 2 3 4 2 3 3 2 5 2
+ 3780*u2 *u3 *v3 *a11*a23 *b12 *kap - 3780*u2 *u3*v1 *a11*a23 *b12 *kap
3 2 2 5 2
- 1890*u2 *u3*v1*v2 *a11*a23 *b12 *kap
3 2 2 5 2 2 5 8
- 1890*u2 *u3*v1*v3 *a11*a23 *b12 *kap + u2 *u3 *( - 98*a11 *kap
6 2 6 2 2 4 4
+ 588*a11 *a23 *kap - 7*a11 *b12 *kap + 5390*a11 *a23 *kap
4 2 2 2 4 4 3 2 6
+ 18235*a11 *a23 *b12 *kap + 63*a11 *b12 *kap + 269304*a11 *a23 *kap
2 4 2 2 2 2 4 3
- 37646*a11 *a23 *b12 *kap + 10535*a11 *a23 *b12 *kap
2 6 4 8 6 2 2
- 77*a11 *b12 *kap + 264600*a23 *kap + 204792*a23 *b12 *kap
4 4 3 2 6 4 8 5 2 4
- 71428*a23 *b12 *kap - 7889*a23 *b12 *kap - 49*b12 *kap ) + u2 *u3 *v1
4 3 2 5
*(11760*a11 *a23 *b12*kap - 199920*a11 *a23 *b12*kap
2 3 3 2 7 5 3 2
+ 20580*a11 *a23 *b12 *kap - 211680*a23 *b12*kap - 221760*a23 *b12 *kap
3 5 3 2 3 2 6 2 4 4
+ 1260*a23 *b12 *kap ) + u2 *u3 *v1 *(5880*a11 *a23 - 99960*a11 *a23
4 2 2 2 6 2 4 2
- 2520*a11 *a23 *b12 *kap - 105840*a11 *a23 - 61320*a11 *a23 *b12 *kap
2 2 4 2 6 2 4 4 2
- 9030*a11 *a23 *b12 *kap + 52920*a23 *b12 *kap + 69300*a23 *b12 *kap
2 6 3 2 3 2 6 2 4 4
+ 4095*a23 *b12 *kap ) + u2 *u3 *v2 *(5880*a11 *a23 - 99960*a11 *a23
4 2 2 2 6 2 4 2
- 2520*a11 *a23 *b12 *kap - 105840*a11 *a23 - 61320*a11 *a23 *b12 *kap
2 2 4 2 6 2 4 4 2
- 1470*a11 *a23 *b12 *kap + 52920*a23 *b12 *kap + 65520*a23 *b12 *kap
2 6 3 2 3 2 6 2 4 4
+ 8820*a23 *b12 *kap ) + u2 *u3 *v3 *(5880*a11 *a23 - 99960*a11 *a23
4 2 2 2 6 2 4 2
+ 420*a11 *a23 *b12 *kap - 105840*a11 *a23 - 111300*a11 *a23 *b12 *kap
2 2 4 2 4 4 2
- 7350*a11 *a23 *b12 *kap + 3780*a23 *b12 *kap )
2 2 3 3 5 2 2 2 2 3 5 2
- 5670*u2 *u3 *v1 *a23 *b12 *kap - 3780*u2 *u3 *v1*v2 *a23 *b12 *kap
2 2 2 3 5 2 2 4 2 6 2
- 3780*u2 *u3 *v1*v3 *a23 *b12 *kap + 945*u2 *u3*v1 *a23 *b12 *kap
2 2 2 2 6 2 2 2 2 2 6 2
+ 945*u2 *u3*v1 *v2 *a23 *b12 *kap + 945*u2 *u3*v1 *v3 *a23 *b12 *kap + u2
6 7 5 3 5 2 2
*u3 *(784*a11 *a23*kap + 784*a11 *a23 *kap - 336*a11 *a23*b12 *kap
3 5 3 3 2 2
- 254016*a11 *a23 *kap + 6944*a11 *a23 *b12 *kap
3 4 3 7
- 336*a11 *a23*b12 *kap - 254016*a11*a23 *kap
5 2 2 3 4 3
- 245952*a11*a23 *b12 *kap + 12628*a11*a23 *b12 *kap
6 4 5 7
+ 784*a11*a23*b12 *kap ) + u2*u3 *v1*(98*a11 *b12*kap
5 2 5 3 2 3 4
- 5782*a11 *a23 *b12*kap - 42*a11 *b12 *kap + 68208*a11 *a23 *b12*kap
3 2 3 2 3 5 3 6
- 14882*a11 *a23 *b12 *kap - 42*a11 *b12 *kap + 74088*a11*a23 *b12*kap
4 3 2 2 5 3 7 4
+ 74676*a11*a23 *b12 *kap - 8764*a11*a23 *b12 *kap + 98*a11*b12 *kap )
4 2 5 3 3 5 3 3 2
+ u2*u3 *v1 *(11760*a11 *a23 - 199920*a11 *a23 + 840*a11 *a23 *b12 *kap
7 5 2
- 211680*a11*a23 - 222600*a11*a23 *b12 *kap
3 4 2 4 2 5 3
- 18480*a11*a23 *b12 *kap ) + u2*u3 *v2 *(11760*a11 *a23
3 5 3 3 2 7
- 199920*a11 *a23 + 840*a11 *a23 *b12 *kap - 211680*a11*a23
5 2 3 4 2 4
- 222600*a11*a23 *b12 *kap - 14700*a11*a23 *b12 *kap ) + u2*u3 *v2*v3*(
4 2 2 2 4 2
- 5880*a11 *a23 *b12 *kap + 99960*a11 *a23 *b12 *kap
2 2 4 2 6 2
+ 11760*a11 *a23 *b12 *kap + 105840*a23 *b12 *kap
4 4 2 2 6 3 4 2
+ 123480*a23 *b12 *kap + 17640*a23 *b12 *kap ) + u2*u3 *v3 *(
5 3 3 5 3 3 2
11760*a11 *a23 - 199920*a11 *a23 + 840*a11 *a23 *b12 *kap
7 5 2 3 4 2
- 211680*a11*a23 - 222600*a11*a23 *b12 *kap - 14700*a11*a23 *b12 *kap )
3 3 5 2 3 4
+ u2*u3 *v1 *( - 5880*a11 *a23 *b12 + 99960*a11 *a23 *b12
3 2 3 6
- 420*a11 *a23 *b12 *kap + 105840*a11*a23 *b12
4 3 2 5 2 3
+ 111300*a11*a23 *b12 *kap + 7350*a11*a23 *b12 *kap ) + u2*u3
2 5 2 3 4 3 2 3
*v1*v2 *( - 5880*a11 *a23 *b12 + 99960*a11 *a23 *b12 - 420*a11 *a23 *b12 *kap
6 4 3
+ 105840*a11*a23 *b12 + 111300*a11*a23 *b12 *kap
2 5 2 3 2 5 2
+ 7350*a11*a23 *b12 *kap ) + u2*u3 *v1*v3 *( - 5880*a11 *a23 *b12
3 4 3 2 3 6
+ 99960*a11 *a23 *b12 - 420*a11 *a23 *b12 *kap + 105840*a11*a23 *b12
4 3 2 5 2 7
+ 111300*a11*a23 *b12 *kap + 7350*a11*a23 *b12 *kap ) + u3 *(
8 6 2 6 2 2
- 224*a11 *kap - 224*a11 *a23 *kap + 145*a11 *b12 *kap
4 4 4 2 2 2 4 4 3
+ 72576*a11 *a23 *kap + 1317*a11 *a23 *b12 *kap + 75*a11 *b12 *kap
2 6 2 4 2 2
+ 72576*a11 *a23 *kap + 68232*a11 *a23 *b12 *kap
2 2 4 3 2 6 4 6 2 2
- 1761*a11 *a23 *b12 *kap - 245*a11 *b12 *kap - 5292*a23 *b12 *kap
4 4 3 2 6 4 8 5 6
- 6762*a23 *b12 *kap - 1421*a23 *b12 *kap + 49*b12 *kap ) + u3 *v1*(
6 4 3 4 3 2
490*a11 *a23*b12*kap - 5390*a11 *a23 *b12*kap - 210*a11 *a23*b12 *kap
2 5 2 3 3 2
- 58800*a11 *a23 *b12*kap - 11410*a11 *a23 *b12 *kap
2 5 3 7 5 3 2
- 210*a11 *a23*b12 *kap - 52920*a23 *b12*kap - 55860*a23 *b12 *kap
3 5 3 7 4 5 2 6 2
- 2450*a23 *b12 *kap + 490*a23*b12 *kap ) + u3 *v1 *( - 4704*a11 *a23
6 2 4 4 4 2 2
- 49*a11 *b12 *kap + 79968*a11 *a23 + 3143*a11 *a23 *b12 *kap
4 4 2 2 6 2 4 2
+ 21*a11 *b12 *kap + 84672*a11 *a23 + 44940*a11 *a23 *b12 *kap
2 2 4 2 2 6 3 6 2
+ 1561*a11 *a23 *b12 *kap + 21*a11 *b12 *kap - 47628*a23 *b12 *kap
4 4 2 2 6 3 8 4 5 2
- 54978*a23 *b12 *kap - 7399*a23 *b12 *kap - 49*b12 *kap ) + u3 *v2 *(
6 2 6 2 4 4
- 4704*a11 *a23 - 49*a11 *b12 *kap + 79968*a11 *a23
4 2 2 4 4 2 2 6
+ 3143*a11 *a23 *b12 *kap + 21*a11 *b12 *kap + 84672*a11 *a23
2 4 2 2 2 4 2 2 6 3
+ 44940*a11 *a23 *b12 *kap + 1561*a11 *a23 *b12 *kap + 21*a11 *b12 *kap
6 2 4 4 2 2 6 3
- 47628*a23 *b12 *kap - 54978*a23 *b12 *kap - 7399*a23 *b12 *kap
8 4 5 2 6 2 6 2
- 49*b12 *kap ) + u3 *v3 *( - 4704*a11 *a23 - 49*a11 *b12 *kap
4 4 4 2 2 4 4 2
+ 79968*a11 *a23 + 203*a11 *a23 *b12 *kap + 21*a11 *b12 *kap
2 6 2 4 2 2 2 4 2
+ 84672*a11 *a23 + 94920*a11 *a23 *b12 *kap + 7441*a11 *a23 *b12 *kap
2 6 3 6 2 4 4 2
+ 21*a11 *b12 *kap + 5292*a23 *b12 *kap + 6762*a23 *b12 *kap
2 6 3 8 4
+ 1421*a23 *b12 *kap - 49*b12 *kap )
2 2 8 8 2
= - u3*((7*(((2*(((7*u2 + 16*u3 )*a11 - 18900*a23 *u2
7 3
+ 35*(u1*v3 - u3*v1)*a23*b12 *kap )*u3
2 2 7
+ 3780*((4*u2 + u3 )*v1 - (4*u2*v2 + u3*v3)*u1)*a23 *b12
7
+ 7*((u1*v2 - u2*v1)*b12 - 8*a23*u2*u3)*a11 *u3) + 7
2 2 2 2 8 3
*(((u2 + u3)*(u2 - u3) - u1 )*kap + v2 + v3 + v1 )*b12 *kap
2 2 2
*u3)*u3 - 60*(42*(u1*v3 - u3*v1)*u1 - (528*u2 + 133*u3 )*u3*v1
2 2 5 3
+ (60*u2 *v3 + 468*u2*u3*v2 + 133*u3 *v3)*u1)*a23 *b12 *kap +
12*(63*(10
2 2 2 2
*((u1 *v3 - 2*u1*u3*v1 - 2*u2*u3*v2)*v3 - (v1 + v2 )*u2 )
2 2 2 2
+ (9*v1 + 9*v2 - v3 )*u3 ) -
2 2 2 2 4 2 2 4
(150*u1 *u2 - 63*u1 *u3 + 150*u2 + 2438*u2 *u3 - 63*u3 )
6 2
*kap)*a23 *b12 )*kap*u3 - 2*((7
2 2 2 2 2
*(60*(v2 + v3 + v1 ) + 59*kap*u3 )*(u1*v2 - u2*v1)*a23 *u3
3 4 4
+ 3*((u1*v2 - u2*v1)*b12*u3 - 2*(9*u2 + 4*u3 )*a23*u2)
2
*b12*kap )*b12
2 2 2 2 4 2 2 3
+ 56*(15*(v2 + v3 + v1 )*u3 + kap*u3 - 45*u1 *v2 )*a23 *u2
5
)*a11 ) + ((
2 2 2 2 2 2
((7*u2 - 145*u3 - 49*u1 )*kap + 49*(v2 + v3 + v1 ))*b12
2
+ 490*(u1*v3 - u3*v1)*a23)*b12*kap*u3 - 28*(
2 2 2 2 2 2 2
42*((v2 + v3 + v1 )*(5*u2 - 4*u3 ) + 20*u1 *v2 )
4 2 2 4 2 2 2 6
+ (105*u2 + 21*u2 *u3 - 8*u3 + 105*u1 *u2 )*kap)*a23 )*a11
4 2 2 4
*u3)*u3 - 70*(((54*u2 + 18*u2 *u3 - 35*u3 )*v1
3 2 2 2
- 18*(3*u2*v2 - 14*u3*v3)*u1 + 18*(3*u2 - 14*u3 )*u1 *v1
3 2 2 3
- (54*u2 *v2 - 252*u2 *u3*v3 + 270*u2*u3 *v2 - 35*u3 *v3)*u1)
2 2
*kap*u3 + 27*(u1 *v2*v3 - u1*u2*v1*v3 - u1*u3*v1*v2 + 3*u2*u3*v1
2 2 3 5 2
+ 2*u2*u3*v2 + 2*u2*u3*v3 )*(u1*v2 - u2*v1))*a23 *b12 *kap +
2 2 2
14*(3*(30*(2*((3*u2 - 49*u3 )*u1*v1 - 49*u2*u3 *v2)*v3
2 2 2 2
- (52*v2 + 3*v3 + 55*v1 )*u2 *u3)
2 2 2 3
+ 7*(187*v2 - 23*v3 + 187*v1 )*u3
2 2 2 2 4
- 10*(7*(v2 - 20*v3 + v1 )*u3 + 18*u2*v2*v3)*u1 ) + (210*u1
2 2 2 2 4 2 2 4
- 420*u1 *u2 + 693*u1 *u3 - 630*u2 + 5102*u2 *u3 + 483*u3
4 4 2
)*kap*u3)*a23 *b12 *kap *u3 + ((7*(60*(14*(u1*v1 + u2*v2)*u3*v3
2 2 2 2 2 2 2
- (4*v2 + 7*v3 )*u1 + (6*v2 - v3 + 6*v1 )*u2 )
2 2 2 2 2 2
- (449*v2 + 29*v3 + 449*v1 )*u3 ) + (1260*u1 *u2
2 2 4 2 2 4
- 12901*u1 *u3 + 2205*u2 - 18235*u2 *u3 - 1317*u3 )*kap)
2 2
*a23 *b12 *kap*u3 - ((70*(7
2 2 2
*((24*u2 - 11*u3 )*v1 - (24*u2*v2 - 11*u3*v3)*u1)*a23
2 3 4 4 2
*u3 + 3*(u1*u3 *v3 + 9*u2 *v1 - u3 *v1)*b12 *kap)*a23 + 3
2 2 2 2 2 2 3
*((21*u2 + 25*u3 - 7*u1 )*kap + 7*(v2 + v3 + v1 ))*b12
3
*kap*u3 )*b12*kap - 14*(
2 2 2 2 2 2 2
1428*((v2 + v3 + v1 )*(5*u2 - 4*u3 ) + 20*u1 *v2 )
4 2 2 4 2 2
+ (3570*u2 - 385*u2 *u3 - 5184*u3 + 3570*u1 *u2 )*kap)
4 4
*a23 *u3))*a11 *u3 + 14*((3*(28
2 2 2 2 4
*(85*(v2 + v3 + v1 ) + 58*kap*u3 )*(u1*v2 - u2*v1)*a23 *u3
3 4 4 3
- ((u1*v2 - u2*v1)*b12*u3 - 2*(9*u2 + 4*u3 )*a23*u2)*b12
3 2 2 2 2 4
*kap )*u3 - (30*(v2 + v3 + v1 )*u3 + (135*u1
2 2 2 2 4 2 2
+ 270*u1 *u2 - 210*u1 *u3 + 135*u2 - 210*u2 *u3
4 2 2
+ 1063*u3 )*kap)*(u1*v2 - u2*v1)*a23 *b12 *kap)*b12 + 168
2 2 2 2 4 2 2 5
*(85*(v2 + v3 + v1 )*u3 + 3*(36*kap*u3 - 85*u1 *v2 ))*a23 *u2
2 2 2 2 2 2
*u3 - 2*(30*((v2 + v3 + v1 )*u3 - 3*u1 *v2 )
4 2 2 4 2 2 3
+ (81*u2 - 1200*u2 *u3 + 248*u3 - 1200*u1 *u3 )*kap)*a23
2 3 3
*b12 *kap*u2*u3)*a11 + 7*((45*(3*(u1*v2 - 2*u2*v1)*u1 *v2
3 2 3 2 2 2 2
+ (3*u2 *v1 - 56*u3 *v2*v3)*u2 - (13*v1 + 28*v2 )*u2 *u3
3 2 3
- 2*(3*u2 *v2 + 15*u2*u3 *v2 + 28*u3 *v3)*u1*v1)
2 2 2 4
+ 7*(151*v2 - 29*v3 + 151*v1 )*u3
2 2 2 2 2 2 2 2
- 15*((19*v2 - 56*v3 + 28*v1 )*u3 - 9*(v1 + v2 )*u2 )*u1 )
2 2 2 4 2 2 2
*kap + 7*((161*u2 + 29*u3 )*u3 + 60*u1 + (60*u2 + 89*u3 )*u1 )
2 2 2 2 2 2 2 6 2
*kap *u3 - 135*(v2 + v3 + v1 )*(u1*v2 - u2*v1) )*a23 *b12 *kap
2 4
+ 14*(((7*((u1*v2 - u2*v1)*b12 - 8*a23*u2*u3)*b12*kap *u3 + (
4 2 2 2 2
135*kap*u1 + 270*kap*u1 *u2 - 60*kap*u1 *u3
4 2 2 4
+ 135*kap*u2 - 60*kap*u2 *u3 - 626*kap*u3
2 2 2 2 2 2
- 135*u1 *v1 - 270*u1 *v2 - 135*u1 *v3
2 2 2 2
+ 270*u1*u2*v1*v2 - 270*u2 *v1 - 135*u2 *v2
2 2 2 2 2 2 2 2
- 135*u2 *v3 + 525*u3 *v1 + 525*u3 *v2 + 525*u3 *v3 )
2 4 2
*(u1*v2 - u2*v1)*a23 )*b12 *kap + 756
2 2 2 2 6 2
*(10*(v2 + v3 + v1 ) + 7*kap*u3 )*(u1*v2 - u2*v1)*a23 *u3 )
*b12 + 3024
2 2 2 2 4 2 2 7
*(5*(v2 + v3 + v1 )*u3 + 3*(2*kap*u3 - 5*u1 *v2 ))*a23 *u2
2 2 2 2 2 2
*u3 + 12*(1325*((v2 + v3 + v1 )*u3 - 3*u1 *v2 )
4 2 2 4 2 2 5
- 2*(9*u2 - 100*u2 *u3 - 732*u3 - 100*u1 *u3 )*kap)*a23
2 2 2 2
*b12 *kap*u2*u3 + 6*(((190*u2 - 889*u3 + 100*u1 )*u2*u3*v1
3
- 10*(9*u2*v3 + u3*v2)*u1 -
3 2 2 3
(90*u2 *v3 + 100*u2 *u3*v2 - 90*u2*u3 *v3 - 799*u3 *v2)*u1
2 2 2 4
)*kap + 1325*(v2 + v3 + v1 )*(u1*v2 - u2*v1)*u3)*a23
3 2
*b12 *kap*u3 + 2*(15*(9*((((u2*v3 + u3*v2)*v1 - u1*v2*v3)*u1
3 2 2 3
+ (u2 *v3 + 5*u2 *u3*v2 - u2*u3 *v3 - u3 *v2)*v1)
2 2 2 3
*u1 - (v2 + v3 + 4*v1 )*u2 *u3)
2 2 2 3
+ (35*(v2 + v3 ) + 44*v1 )*u2*u3 - 3*(
2 2 2
(35*v2 + 3*v3 + 6*v1 )*u2*u3
2 4
+ 3*(u2 + u3)*(u2 - u3)*v2*v3)*u1 ) + (135*u1
2 2 2 2 4 2 2
+ 270*u1 *u2 + 1200*u1 *u3 + 27*u2 + 1200*u2 *u3
4 3 4 2
- 451*u3 )*kap*u2*u3)*a23 *b12 *kap )*a11 + ((7*(15*(8*(
3 3
(9*u1 *v1 - 14*u3 *v3)*u2*v2
3 2 3
+ (9*u2 *v2 - 18*u2*u3 *v2 - 14*u3 *v3)*u1*v1)
2 2 2 4
- 9*(v2 + v3 + 5*v1 )*u2
2 2 2 2 2
+ 2*(7*(v2 + 5*v3 ) + 43*v1 )*u2 *u3
2 2 2 4
- 9*(5*v2 + v3 + v1 )*u1 )
2 2 2 4
- (223*v2 + 1063*v3 + 223*v1 )*u3 + 30*(
2 2 2 2
(117*v2 + 23*v3 - 5*v1 )*u3
2 2 2 2 2 6
- 9*(3*v2 + v3 + 3*v1 )*u2 )*u1 ) + (945*u1
4 2 4 2 2 4
+ 2835*u1 *u2 + 1995*u1 *u3 + 2835*u1 *u2
2 2 2 2 4 6 4 2
+ 5250*u1 *u2 *u3 - 9317*u1 *u3 + 945*u2 + 4200*u2 *u3
2 4 6 2 4 2
- 10535*u2 *u3 + 1761*u3 )*kap)*a23 *b12 *kap - (7*(10*(
4
27*(u1*v3 - u3*v1)*u1
4 2 2 4
- (108*u2 - 294*u2 *u3 + 163*u3 )*u3*v1
2 2 2
- 18*(9*u2 + 11*u3 )*u1 *u3*v1
2 2 3 4
+ 18*(3*u2 *v3 + 6*u2*u3*v2 + 11*u3 *v3)*u1 + (27*u2 *v3
3 2 2 3
+ 108*u2 *u3*v2 + 198*u2 *u3 *v3 - 492*u2*u3 *v2
4 3 3 2
+ 163*u3 *v3)*u1)*a23 *b12 *kap - ((30*(56
2 2
*((17*u2 + 5*u3 )*v1 - (17*u2*v2 + 5*u3*v3)*u1)
4 2
*a23 *u3
3 4 4 4 2
- (u1*u3 *v3 + 9*u2 *v1 - u3 *v1)*b12 *kap )*a23 +
2 2 2 2 2 2
((11*u2 + 35*u3 + 3*u1 )*kap - 3*(v2 + v3 + v1 ))
5 2 3
*b12 *kap *u3 )*b12*kap + 24*(
2 2 2 2 2 2 2
126*((v2 + v3 + v1 )*(5*u2 - 4*u3 ) + 20*u1 *v2 )
4 2 2 4 2 2
+ (315*u2 - 1603*u2 *u3 - 432*u3 + 315*u1 *u2 )*kap
6
)*a23 *u3)*u3) + (420*(238*(u1*v1 + u2*v2)*u3*v3
2 2 2
- (1060*v2 + 119*v3 )*u1
2 2 2 2
+ (107*v2 + 226*v3 + 107*v1 )*u3
2 2 2 2 2 2
- (146*v2 + 265*v3 + 146*v1 )*u2 ) - (44520*u1 *u2
2 2 4 2 2 4
- 7560*u1 *u3 + 45465*u2 + 37646*u2 *u3 - 68232*u3 )
4 2 2 2
*kap)*a23 *b12 *kap*u3 ))*a11 )
{HAM,FI} = 0
5 2 4 2
FI=15*u1 *u3*v1*a11*b12 *kap + 15*u1 *u2*u3*v2*a11*b12 *kap
4 2 2 4 2 3
+ 15*u1 *u3 *v3*a11*b12 *kap + u1 *u3*v1*v2*( - 30*a11 *b12 + 15*b12 *kap)
4 3 2 2
- 30*u1 *u3*v1*v3*a11*a23*b12 + 30*u1 *u2 *u3*v1*a11*b12 *kap
3 2 2 3 2 2 3
+ 30*u1 *u2*u3 *v1*a23*b12 *kap + u1 *u2*u3*v1 *(30*a11 *b12 - 15*b12 *kap)
3 2 2 3
+ u1 *u2*u3*v2 *( - 30*a11 *b12 + 15*b12 *kap)
3 3 2 2
- 30*u1 *u2*u3*v2*v3*a11*a23*b12 + 30*u1 *u3 *v1 *a11*a23*b12
3 2 2 3 3 2 2
+ u1 *u3 *v2*v3*( - 30*a11 *b12 + 15*b12 *kap) - 30*u1 *u3 *v3 *a11*a23*b12
3 3 2 3 2 2
- 15*u1 *u3*v1 *a11*b12 - 45*u1 *u3*v1*v2 *a11*b12
3 2 3 2 2
- 30*u1 *u3*v1*v2*v3*a23*b12 - 15*u1 *u3*v1*v3 *a11*b12
2 3 2 2 2 2 2
+ 30*u1 *u2 *u3*v2*a11*b12 *kap + 30*u1 *u2 *u3 *v2*a23*b12 *kap
2 2 2 2 2 2
+ 30*u1 *u2 *u3 *v3*a11*b12 *kap - 30*u1 *u2 *u3*v1*v3*a11*a23*b12
2 3 2 2 2
+ 30*u1 *u2*u3 *v3*a23*b12 *kap - 30*u1 *u2*u3 *v1*v2*a11*a23*b12
2 2 2 2 3
+ u1 *u2*u3 *v1*v3*(30*a11 *b12 - 60*a23 *b12 - 15*b12 *kap)
2 2 2 2 2 2
+ 45*u1 *u2*u3*v1 *v2*a11*b12 + 30*u1 *u2*u3*v1 *v3*a23*b12
2 3 2 2 2 2
- 45*u1 *u2*u3*v2 *a11*b12 - 30*u1 *u2*u3*v2 *v3*a23*b12
2 2 2
- 15*u1 *u2*u3*v2*v3 *a11*b12
2 4 3 2 2
+ u1 *u3 *v3*(90*a11 + 90*a11*a23 + 90*a11*b12 *kap)
2 3 2 2 3
+ u1 *u3 *v1*v2*(90*a11 *b12 + 60*a23 *b12 + 75*b12 *kap)
2 3 2 2 2 2
+ 60*u1 *u3 *v1*v3*a11*a23*b12 + 30*u1 *u3 *v1 *v2*a23*b12
2 2 2 2 2 2 2 2
- 15*u1 *u3 *v1 *v3*a11*b12 - 45*u1 *u3 *v2 *v3*a11*b12
2 2 2 2 2 2 3 2
- 30*u1 *u3 *v2*v3 *a23*b12 - 15*u1 *u3 *v3 *a11*b12
2 3 3 2 3 3 2 2 3
- 15*u1 *u3*v1 *v2*b12 - 15*u1 *u3*v1*v2 *b12 - 15*u1 *u3*v1*v2*v3 *b12
4 2
+ 15*u1*u2 *u3*v1*a11*b12 *kap
3 2 2 3 2
+ u1*u2 *u3 *v1*( - 40*a11 *a23 - 40*a23 - 10*a23*b12 *kap)
3 2 2 3
+ u1*u2 *u3*v1 *(30*a11 *b12 - 15*b12 *kap)
3 2 2 3
+ u1*u2 *u3*v2 *( - 30*a11 *b12 + 15*b12 *kap)
3
- 30*u1*u2 *u3*v2*v3*a11*a23*b12
2 3 3 2 2
+ u1*u2 *u3 *v1*(90*a11 + 90*a11*a23 + 90*a11*b12 *kap)
2 2 2 2 2 2
+ 90*u1*u2 *u3 *v1 *a11*a23*b12 - 60*u1*u2 *u3 *v2 *a11*a23*b12
2 2 2 2 3
+ u1*u2 *u3 *v2*v3*( - 30*a11 *b12 - 60*a23 *b12 + 15*b12 *kap)
2 2 2 2 3 2
- 30*u1*u2 *u3 *v3 *a11*a23*b12 - 45*u1*u2 *u3*v1 *a11*b12
2 2 2 2 2
+ 45*u1*u2 *u3*v1*v2 *a11*b12 + 30*u1*u2 *u3*v1*v2*v3*a23*b12
2 2 2
- 15*u1*u2 *u3*v1*v3 *a11*b12
4 2 3 2
+ u1*u2*u3 *v1*(120*a11 *a23 + 120*a23 + 150*a23*b12 *kap)
3 2 2 3
+ u1*u2*u3 *v1 *( - 90*a11 *b12 - 75*b12 *kap)
3 2 2 2 3
+ u1*u2*u3 *v2 *(90*a11 *b12 + 60*a23 *b12 + 75*b12 *kap)
3 3 2 2
- 30*u1*u2*u3 *v2*v3*a11*a23*b12 - 60*u1*u2*u3 *v3 *a23 *b12
2 3 2 2 2
- 60*u1*u2*u3 *v1 *a23*b12 + 60*u1*u2*u3 *v1*v2*v3*a11*b12
4 3 2 2 3 4 3
+ 15*u1*u2*u3*v1 *b12 + 15*u1*u2*u3*v1 *v3 *b12 - 15*u1*u2*u3*v2 *b12
2 2 3
- 15*u1*u2*u3*v2 *v3 *b12
5 3 2 2
+ u1*u3 *v1*( - 12*a11 - 12*a11*a23 - 27*a11*b12 *kap)
4 2
- 30*u1*u3 *v1 *a11*a23*b12
4 2 2 3
+ u1*u3 *v2*v3*(90*a11 *b12 + 60*a23 *b12 + 75*b12 *kap)
4 2 3 3 2
+ 30*u1*u3 *v3 *a11*a23*b12 + 15*u1*u3 *v1 *a11*b12
3 2 2 3 2
+ 15*u1*u3 *v1*v2 *a11*b12 + 30*u1*u3 *v1*v2*v3*a23*b12
3 2 2 2 2 3
+ 15*u1*u3 *v1*v3 *a11*b12 - 15*u1*u3 *v1 *v2*v3*b12
2 3 3 2 3 3 5 2
- 15*u1*u3 *v2 *v3*b12 - 15*u1*u3 *v2*v3 *b12 + 15*u2 *u3*v2*a11*b12 *kap
4 2 2 3 2
+ u2 *u3 *v2*( - 40*a11 *a23 - 40*a23 - 10*a23*b12 *kap)
4 2 2 4 2 3
+ 15*u2 *u3 *v3*a11*b12 *kap + u2 *u3*v1*v2*(30*a11 *b12 - 15*b12 *kap)
3 3 3 2 2
+ u2 *u3 *v2*(90*a11 + 90*a11*a23 + 90*a11*b12 *kap)
3 3 2 3 2
+ u2 *u3 *v3*( - 40*a11 *a23 - 40*a23 - 10*a23*b12 *kap)
3 2 3 2 2 3
+ 90*u2 *u3 *v1*v2*a11*a23*b12 + u2 *u3 *v1*v3*(30*a11 *b12 - 15*b12 *kap)
3 2 2 3 3 2
- 45*u2 *u3*v1 *v2*a11*b12 - 15*u2 *u3*v2 *a11*b12
3 2 2
- 15*u2 *u3*v2*v3 *a11*b12
2 4 2 3 2
+ u2 *u3 *v2*(120*a11 *a23 + 120*a23 + 150*a23*b12 *kap)
2 4 3 2 2
+ u2 *u3 *v3*(90*a11 + 90*a11*a23 + 90*a11*b12 *kap)
2 3 2 3
+ u2 *u3 *v1*v2*( - 90*a11 *b12 - 75*b12 *kap)
2 3 2 2 2 2
+ 90*u2 *u3 *v1*v3*a11*a23*b12 - 60*u2 *u3 *v1 *v2*a23*b12
2 2 2 2 2 2 3 2
- 45*u2 *u3 *v1 *v3*a11*b12 - 30*u2 *u3 *v2 *a23*b12
2 2 2 2 2 2 2 2
- 15*u2 *u3 *v2 *v3*a11*b12 - 30*u2 *u3 *v2*v3 *a23*b12
2 2 3 2 2 3 3 2 3 3
- 15*u2 *u3 *v3 *a11*b12 + 15*u2 *u3*v1 *v2*b12 + 15*u2 *u3*v1*v2 *b12
2 2 3
+ 15*u2 *u3*v1*v2*v3 *b12
5 3 2 2
+ u2*u3 *v2*( - 12*a11 - 12*a11*a23 - 27*a11*b12 *kap)
5 2 3 2
+ u2*u3 *v3*(120*a11 *a23 + 120*a23 + 150*a23*b12 *kap)
4 4 2 3
- 30*u2*u3 *v1*v2*a11*a23*b12 + u2*u3 *v1*v3*( - 90*a11 *b12 - 75*b12 *kap)
3 2 2 3 2 2
+ 15*u2*u3 *v1 *v2*a11*b12 - 60*u2*u3 *v1 *v3*a23*b12
3 3 2 3 2 2
+ 15*u2*u3 *v2 *a11*b12 - 30*u2*u3 *v2 *v3*a23*b12
3 2 2 3 3 2 2 3 3
+ 15*u2*u3 *v2*v3 *a11*b12 - 30*u2*u3 *v3 *a23*b12 + 15*u2*u3 *v1 *v3*b12
2 2 3 2 3 3
+ 15*u2*u3 *v1*v2 *v3*b12 + 15*u2*u3 *v1*v3 *b12
6 3 2 2
+ u3 *v3*( - 12*a11 - 12*a11*a23 - 27*a11*b12 *kap)
5 4 2 2 4 2 2
- 30*u3 *v1*v3*a11*a23*b12 + 15*u3 *v1 *v3*a11*b12 + 15*u3 *v2 *v3*a11*b12
4 3 2
+ 15*u3 *v3 *a11*b12
2 2 3
=u3*(3*(((5*(u1 + 2*u2 )*u1 *v1
4 2 2 4
+ (5*u2 + 30*u2 *u3 - 9*u3 )*(u2*v2 + u3*v3)
4 3 2 3 2
+ 5*(u2*v2 + u3*v3)*u1 + 10*(u2 *v2 + u2 *u3*v3 + 3*u3 *v3)*u1
4 2 2 4 2 2 2 2
+ (5*u2 + 30*u2 *u3 - 9*u3 )*u1*v1)*kap - 5*(u1 *v1 + 3*u1 *v2
2 2 2 2 2 2 2 2
+ u1 *v3 - 4*u1*u2*v1*v2 + 3*u2 *v1 + u2 *v2 + u2 *v3
2 2 2 2 2 2 2
- u3 *v1 - u3 *v2 - u3 *v3 )*(u1*v1 + u2*v2 + u3*v3))*b12 + 2*
2 2 2
(((15*u2 - 2*u3 )*(u2*v2 + u3*v3) + 15*u1 *u3*v3
2 2 2 3 2
+ (15*u2 - 2*u3 )*u1*v1)*a23*u3 - 5*(u1 *v3 - u1 *u3*v1
2 2 2 3
+ u1*u2 *v3 + 2*u1*u2*u3*v2 - u1*u3 *v3 - 3*u2 *u3*v1 + u3 *v1)
*(u1*v1 + u2*v2 + u3*v3)*b12)*a23)*a11 + 6*(
2 2 2
(15*u2 - 2*u3 )*(u2*v2 + u3*v3) + 15*u1 *u3*v3
2 2 3 2 2 3
+ (15*u2 - 2*u3 )*u1*v1)*a11 *u3 - 5*(8*a11 *a23*u2 *u3
2 3 2 3 2 2
- 24*a11 *a23*u2*u3 + 6*a11 *b12*u1 *v2 - 6*a11 *b12*u1 *u2*v1
2 2 2 2 2 3
+ 6*a11 *b12*u1*u2 *v2 - 18*a11 *b12*u1*u3 *v2 - 6*a11 *b12*u2 *v1
2 2 3 3 3 3
+ 18*a11 *b12*u2*u3 *v1 + 8*a23 *u2 *u3 - 24*a23 *u2*u3
2 2 2
+ 12*a23 *b12*u1*u2*u3*v3 - 12*a23 *b12*u1*u3 *v2
2 2 2 3
- 6*a23*b12 *kap*u1 *u2*u3 + 2*a23*b12 *kap*u2 *u3
2 3 2 2
- 30*a23*b12 *kap*u2*u3 + 6*a23*b12 *u1 *v2*v3
2 2
- 6*a23*b12 *u1*u2*v1*v3 - 6*a23*b12 *u1*u3*v1*v2
2 2 2 2 2 2
+ 12*a23*b12 *u2*u3*v1 + 6*a23*b12 *u2*u3*v2 + 6*a23*b12 *u2*u3*v3
3 3 3 2 3 2
- 3*b12 *kap*u1 *v2 + 3*b12 *kap*u1 *u2*v1 - 3*b12 *kap*u1*u2 *v2
3 2 3 3 3 2
- 15*b12 *kap*u1*u3 *v2 + 3*b12 *kap*u2 *v1 + 15*b12 *kap*u2*u3 *v1
3 2 3 3 3 2 3 3
+ 3*b12 *u1*v1 *v2 + 3*b12 *u1*v2 + 3*b12 *u1*v2*v3 - 3*b12 *u2*v1
3 2 3 2
- 3*b12 *u2*v1*v2 - 3*b12 *u2*v1*v3 )*(u1*v1 + u2*v2 + u3*v3))
{HAM,FI} = 0
5 3 2 4 3 2 4 2 3 2
FI= - 5*u1 *u3*v1*b12 *kap - 5*u1 *u2*u3*v2*b12 *kap - 5*u1 *u3 *v3*b12 *kap
4 2 4 2
+ 10*u1 *u3*v1*v2*a11*b12 *kap + 10*u1 *u3*v1*v3*a23*b12 *kap
3 2 3 2 3 2 2
- 10*u1 *u2 *u3*v1*b12 *kap - 10*u1 *u2*u3*v1 *a11*b12 *kap
3 2 2 3 2
+ 10*u1 *u2*u3*v2 *a11*b12 *kap + 10*u1 *u2*u3*v2*v3*a23*b12 *kap
3 3 3 2
- 10*u1 *u3 *v1*b12 *kap
3 2 2 2 3 2
+ u1 *u3 *v1 *( - 80*a11 *a23 - 80*a23 - 90*a23*b12 *kap)
3 2 2 3 2 2 2
+ 10*u1 *u3 *v2*v3*a11*b12 *kap + 10*u1 *u3 *v3 *a23*b12 *kap
2 3 3 2 2 2 2 3 2
- 10*u1 *u2 *u3*v2*b12 *kap - 10*u1 *u2 *u3 *v3*b12 *kap
2 2 2 2 3 3 2
+ 10*u1 *u2 *u3*v1*v3*a23*b12 *kap - 10*u1 *u2*u3 *v2*b12 *kap
2 2 2 2 2 2
- 10*u1 *u2*u3 *v1*v2*a23*b12 *kap - 10*u1 *u2*u3 *v1*v3*a11*b12 *kap
2 4 2 2
+ u1 *u3 *v3*(10*a11 *b12*kap + 10*a23 *b12*kap)
2 3 2
+ 10*u1 *u3 *v1*v2*a11*b12 *kap
2 2 2 2 2 3
+ u1 *u3 *v1 *v3*( - 20*a11 *b12 - 20*a23 *b12 - 20*b12 *kap)
2 3 2 2 3 2
+ 10*u1 *u3*v1 *v2*a11*b12 + 10*u1 *u3*v1 *v3*a23*b12
2 3 2 2 2 2
+ 10*u1 *u3*v1*v2 *a11*b12 + 10*u1 *u3*v1*v2 *v3*a23*b12
2 2 2 2 3 2
+ 10*u1 *u3*v1*v2*v3 *a11*b12 + 10*u1 *u3*v1*v3 *a23*b12
4 3 2 3 2 2
- 5*u1*u2 *u3*v1*b12 *kap - 10*u1*u2 *u3*v1 *a11*b12 *kap
3 2 2 3 2
+ 10*u1*u2 *u3*v2 *a11*b12 *kap + 10*u1*u2 *u3*v2*v3*a23*b12 *kap
2 3 2 2
+ u1*u2 *u3 *v1*(10*a11 *b12*kap + 10*a23 *b12*kap)
2 2 2 2 2 2 2
- 10*u1*u2 *u3 *v1 *a23*b12 *kap + 10*u1*u2 *u3 *v2*v3*a11*b12 *kap
2 2 2 2 3 2 2
+ 10*u1*u2 *u3 *v3 *a23*b12 *kap - 10*u1*u2*u3 *v1 *a11*b12 *kap
3 2 2 3 2
+ 10*u1*u2*u3 *v2 *a11*b12 *kap + 10*u1*u2*u3 *v2*v3*a23*b12 *kap
4 2 2 2
- 10*u1*u2*u3*v1 *a11*b12 + 10*u1*u2*u3*v1 *v2*v3*a23*b12
2 2 2 4 2
- 10*u1*u2*u3*v1 *v3 *a11*b12 + 10*u1*u2*u3*v2 *a11*b12
3 2 2 2 2
+ 10*u1*u2*u3*v2 *v3*a23*b12 + 10*u1*u2*u3*v2 *v3 *a11*b12
3 2
+ 10*u1*u2*u3*v2*v3 *a23*b12
5 2 2 3 2
+ u1*u3 *v1*(4*a11 *b12*kap + 4*a23 *b12*kap - b12 *kap )
4 2 2 4 2
- 10*u1*u3 *v1 *a23*b12 *kap + 10*u1*u3 *v2*v3*a11*b12 *kap
4 2 2
+ 10*u1*u3 *v3 *a23*b12 *kap
3 2 2 2 3
+ u1*u3 *v1*v3 *( - 30*a11 *b12 - 30*a23 *b12 - 30*b12 *kap)
2 4 2 2 2 2 2
- 10*u1*u3 *v1 *a23*b12 - 10*u1*u3 *v1 *v2 *a23*b12
2 2 2 2 3 2
+ 10*u1*u3 *v1 *v2*v3*a11*b12 + 10*u1*u3 *v2 *v3*a11*b12
2 2 2 2 2 3 2
+ 10*u1*u3 *v2 *v3 *a23*b12 + 10*u1*u3 *v2*v3 *a11*b12
2 4 2 5 3 3 2 3
+ 10*u1*u3 *v3 *a23*b12 + 5*u1*u3*v1 *b12 + 10*u1*u3*v1 *v2 *b12
3 2 3 4 3 2 2 3
+ 10*u1*u3*v1 *v3 *b12 + 5*u1*u3*v1*v2 *b12 + 10*u1*u3*v1*v2 *v3 *b12
4 3 5 3 2 4 2 3 2
+ 5*u1*u3*v1*v3 *b12 - 5*u2 *u3*v2*b12 *kap - 5*u2 *u3 *v3*b12 *kap
4 2
- 10*u2 *u3*v1*v2*a11*b12 *kap
3 3 2 2
+ u2 *u3 *v2*(10*a11 *b12*kap + 10*a23 *b12*kap)
3 2 2 3 2 2
- 10*u2 *u3 *v1*v2*a23*b12 *kap - 10*u2 *u3 *v1*v3*a11*b12 *kap
2 4 2 2
+ u2 *u3 *v3*(10*a11 *b12*kap + 10*a23 *b12*kap)
2 3 2 2 3 2
- 10*u2 *u3 *v1*v2*a11*b12 *kap - 10*u2 *u3 *v1*v3*a23*b12 *kap
2 2 2 2 2 3
+ u2 *u3 *v2 *v3*( - 20*a11 *b12 - 20*a23 *b12 - 20*b12 *kap)
2 3 2 2 3 2
- 10*u2 *u3*v1 *v2*a11*b12 - 10*u2 *u3*v1*v2 *a11*b12
2 2 2
- 10*u2 *u3*v1*v2*v3 *a11*b12
5 2 2 3 2
+ u2*u3 *v2*(4*a11 *b12*kap + 4*a23 *b12*kap - b12 *kap )
4 2 4 2
- 10*u2*u3 *v1*v2*a23*b12 *kap - 10*u2*u3 *v1*v3*a11*b12 *kap
3 2 2 2 3
+ u2*u3 *v2*v3 *( - 30*a11 *b12 - 30*a23 *b12 - 30*b12 *kap)
2 3 2 2 3 2
- 10*u2*u3 *v1 *v2*a23*b12 - 10*u2*u3 *v1 *v3*a11*b12
2 3 2 2 2 2
- 10*u2*u3 *v1*v2 *a23*b12 - 10*u2*u3 *v1*v2 *v3*a11*b12
2 2 2 2 3 2
- 10*u2*u3 *v1*v2*v3 *a23*b12 - 10*u2*u3 *v1*v3 *a11*b12
4 3 2 3 3 2 2 3
+ 5*u2*u3*v1 *v2*b12 + 10*u2*u3*v1 *v2 *b12 + 10*u2*u3*v1 *v2*v3 *b12
5 3 3 2 3 4 3
+ 5*u2*u3*v2 *b12 + 10*u2*u3*v2 *v3 *b12 + 5*u2*u3*v2*v3 *b12
6 2 2 3 2
+ u3 *v3*(4*a11 *b12*kap + 4*a23 *b12*kap - b12 *kap )
5 2
- 10*u3 *v1*v3*a23*b12 *kap
4 3 2 2 3
+ u3 *v3 *( - 10*a11 *b12 - 10*a23 *b12 - 10*b12 *kap)
3 3 2 3 2 2
- 10*u3 *v1 *v3*a23*b12 - 10*u3 *v1*v2 *v3*a23*b12
3 3 2 2 4 3 2 2 2 3
- 10*u3 *v1*v3 *a23*b12 + 5*u3 *v1 *v3*b12 + 10*u3 *v1 *v2 *v3*b12
2 2 3 3 2 4 3 2 2 3 3
+ 10*u3 *v1 *v3 *b12 + 5*u3 *v2 *v3*b12 + 10*u3 *v2 *v3 *b12
2 5 3
+ 5*u3 *v3 *b12
4 4 5 4
= - u3*((((5*u2 + u3 )*(u2*v2 + u3*v3) + 5*u1 *v1 + 5*(u2*v2 + u3*v3)*u1
2 2 3 2 2 2
+ 10*(u2 + u3 )*u1 *v1 + 10*(u2 *v2 + u2*u3*v3 + u3 *v2)*u1 *u2
4 4 2
+ (5*u2 + u3 )*u1*v1)*kap + 5*(2
*((2*u1*v1 + 3*u3*v3)*u1*v1 + (2*u2*v2 + u3*v3)*(u2*v2 + u3*v3))
2 2 2 2 3
*kap*u3*v3 - (u2*v2 + u3*v3 + u1*v1)*(v1 + v2 + v3 ) ))*b12 - 2
2 2 2
*((((5*u2 + 2*u3 )*(u2*v2 + u3*v3) + 5*u1 *u3*v3
2 2
+ (5*u2 + 2*u3 )*u1*v1)*kap*u3 - 5
*((2*u1*v1 + 3*u3*v3)*u1*v1 + (2*u2*v2 + u3*v3)*(u2*v2 + u3*v3))*v3
2 2 2 2 2 2 2
)*a23 *b12*u3 + 5*((kap*u1 + kap*u2 + kap*u3 + v1 + v2 + v3 )
2
*(u1*v1 + u2*v2 + u3*v3)*(u1*v2 - u2*v1)*a11*b12
3 3 2
- 8*a23 *u1 *u3*v1 ) + 5*((
2 2 2 2 2
(u1 *v3 - u2*u3*v2 - u3 *v3)*(u1 + u2 + u3 )*v1
2 2 3
+ (u2*v2*v3 - 9*u3*v1 + u3*v3 )*u1
2 2
- ((v1 + v3)*(v1 - v3)*u3 - u2*v2*v3)*(u2 + u3 )*u1)*kap
2 2 2
+ (u1*v1 + u2*v2 + u3*v3)*(u1*v3 - u3*v1)*(v1 + v2 + v3 ))*a23
2 2 2 2
*b12 + ((((5*u2 + 2*u3 )*(u2*v2 + u3*v3) + 5*u1 *u3*v3
2 2
+ (5*u2 + 2*u3 )*u1*v1)*kap*u3 - 5*(
(2*u1*v1 + 3*u3*v3)*u1*v1
+ (2*u2*v2 + u3*v3)*(u2*v2 + u3*v3))*v3)*b12
3 2 2
- 40*a23*u1 *v1 )*a11 *u3))
{HAM,FI} = 0
And again in machine readable form:
HAM=u1**2*a11 + u1*v2*b12 + u2**2*a11 + 2*u2*u3*a23 - u2*v1*b12 - u3**2*a11$
FI= - 945*u1**6*u3*a11**2*a23**2*b12**4*kap**3 + u1**5*u3*v2*(1890*a11**3*a23**2
*b12**3*kap**2 - 1890*a11*a23**2*b12**5*kap**3) + 1890*u1**5*u3*v3*a11**2*a23**3
*b12**3*kap**2 - 2835*u1**4*u2**2*u3*a11**2*a23**2*b12**4*kap**3 - 3780*u1**4*u2
*u3**2*a11*a23**3*b12**4*kap**3 + u1**4*u2*u3*v1*( - 1890*a11**3*a23**2*b12**3*
kap**2 + 1890*a11*a23**2*b12**5*kap**3) + u1**4*u3**3*( - 1995*a11**2*a23**2*b12
**4*kap**3 - 2940*a23**4*b12**4*kap**3 - 2940*a23**2*b12**6*kap**4) - 1890*u1**4
*u3**2*v1*a11**2*a23**3*b12**3*kap**2 + 945*u1**4*u3*v1**2*a11**2*a23**2*b12**4*
kap**2 + u1**4*u3*v2**2*(4725*a11**2*a23**2*b12**4*kap**2 - 945*a23**2*b12**6*
kap**3) + 3780*u1**4*u3*v2*v3*a11*a23**3*b12**4*kap**2 + 945*u1**4*u3*v3**2*a11
**2*a23**2*b12**4*kap**2 + u1**3*u2**2*u3*v2*(3780*a11**3*a23**2*b12**3*kap**2 -
3780*a11*a23**2*b12**5*kap**3) + 3780*u1**3*u2**2*u3*v3*a11**2*a23**3*b12**3*
kap**2 + u1**3*u2*u3**2*v2*(7560*a11**2*a23**3*b12**3*kap**2 - 3780*a23**3*b12**
5*kap**3) + 7560*u1**3*u2*u3**2*v3*a11*a23**4*b12**3*kap**2 + u1**3*u2*u3*v1*v2*
( - 7560*a11**2*a23**2*b12**4*kap**2 + 1890*a23**2*b12**6*kap**3) - 3780*u1**3*
u2*u3*v1*v3*a11*a23**3*b12**4*kap**2 + u1**3*u3**3*v2*( - 2940*a11**3*a23**2*b12
**3*kap**2 + 840*a11*a23**4*b12**3*kap**2 + 840*a11*a23**2*b12**5*kap**3) + u1**
3*u3**3*v3*(13860*a11**2*a23**3*b12**3*kap**2 + 17640*a23**5*b12**3*kap**2 +
17640*a23**3*b12**5*kap**3) - 3780*u1**3*u3**2*v1*v2*a11*a23**3*b12**4*kap**2 +
1890*u1**3*u3*v1**2*v2*a11*a23**2*b12**5*kap**2 + 3780*u1**3*u3*v2**3*a11*a23**2
*b12**5*kap**2 + 1890*u1**3*u3*v2**2*v3*a23**3*b12**5*kap**2 + 1890*u1**3*u3*v2*
v3**2*a11*a23**2*b12**5*kap**2 - 2835*u1**2*u2**4*u3*a11**2*a23**2*b12**4*kap**3
- 7560*u1**2*u2**3*u3**2*a11*a23**3*b12**4*kap**3 + u1**2*u2**3*u3*v1*( - 3780*
a11**3*a23**2*b12**3*kap**2 + 3780*a11*a23**2*b12**5*kap**3) + u1**2*u2**2*u3**3
*(2940*a11**6*a23**2*kap - 49980*a11**4*a23**4*kap - 1260*a11**4*a23**2*b12**2*
kap**2 - 52920*a11**2*a23**6*kap - 44520*a11**2*a23**4*b12**2*kap**2 - 5250*a11
**2*a23**2*b12**4*kap**3 + 12600*a23**6*b12**2*kap**2 + 5880*a23**4*b12**4*kap**
3 - 2940*a23**2*b12**6*kap**4) + u1**2*u2**2*u3**2*v1*( - 11340*a11**2*a23**3*
b12**3*kap**2 + 3780*a23**3*b12**5*kap**3) + u1**2*u2**2*u3*v1**2*(5670*a11**2*
a23**2*b12**4*kap**2 - 945*a23**2*b12**6*kap**3) + u1**2*u2**2*u3*v2**2*(5670*
a11**2*a23**2*b12**4*kap**2 - 945*a23**2*b12**6*kap**3) + 3780*u1**2*u2**2*u3*v2
*v3*a11*a23**3*b12**4*kap**2 + 1890*u1**2*u2**2*u3*v3**2*a11**2*a23**2*b12**4*
kap**2 + u1**2*u2*u3**4*( - 33600*a11**3*a23**3*b12**2*kap**2 - 33600*a11*a23**5
*b12**2*kap**2 - 33600*a11*a23**3*b12**4*kap**3) + u1**2*u2*u3**3*v1*(2940*a11**
3*a23**2*b12**3*kap**2 - 8400*a11*a23**4*b12**3*kap**2 - 840*a11*a23**2*b12**5*
kap**3) + 7560*u1**2*u2*u3**2*v1**2*a11*a23**3*b12**4*kap**2 + u1**2*u2*u3**2*v2
**2*( - 35280*a11**5*a23**3 + 599760*a11**3*a23**5 - 2520*a11**3*a23**3*b12**2*
kap + 635040*a11*a23**7 + 667800*a11*a23**5*b12**2*kap + 44100*a11*a23**3*b12**4
*kap**2) + 7560*u1**2*u2*u3**2*v2*v3*a23**4*b12**4*kap**2 + 3780*u1**2*u2*u3**2*
v3**2*a11*a23**3*b12**4*kap**2 - 1890*u1**2*u2*u3*v1**3*a11*a23**2*b12**5*kap**2
- 7560*u1**2*u2*u3*v1*v2**2*a11*a23**2*b12**5*kap**2 - 3780*u1**2*u2*u3*v1*v2*
v3*a23**3*b12**5*kap**2 - 1890*u1**2*u2*u3*v1*v3**2*a11*a23**2*b12**5*kap**2 +
u1**2*u3**5*(49*a11**6*b12**2*kap**2 + 12901*a11**4*a23**2*b12**2*kap**2 - 21*
a11**4*b12**4*kap**3 + 7560*a11**2*a23**4*b12**2*kap**2 + 9317*a11**2*a23**2*b12
**4*kap**3 - 21*a11**2*b12**6*kap**4 - 5292*a23**6*b12**2*kap**2 - 9702*a23**4*
b12**4*kap**3 - 4361*a23**2*b12**6*kap**4 + 49*b12**8*kap**5) + u1**2*u3**4*v1*(
- 13860*a11**2*a23**3*b12**3*kap**2 - 17640*a23**5*b12**3*kap**2 - 17640*a23**3
*b12**5*kap**3) + u1**2*u3**3*v1**2*(1050*a11**2*a23**2*b12**4*kap**2 + 2940*a23
**4*b12**4*kap**2 + 2940*a23**2*b12**6*kap**3) + u1**2*u3**3*v2**2*(23520*a11**6
*a23**2 - 399840*a11**4*a23**4 + 1680*a11**4*a23**2*b12**2*kap - 423360*a11**2*
a23**6 - 445200*a11**2*a23**4*b12**2*kap - 24570*a11**2*a23**2*b12**4*kap**2 +
2940*a23**4*b12**4*kap**2 + 1995*a23**2*b12**6*kap**3) - 3780*u1**2*u3**3*v2*v3*
a11*a23**3*b12**4*kap**2 + u1**2*u3**3*v3**2*(2940*a11**4*a23**2*b12**2*kap -
49980*a11**2*a23**4*b12**2*kap - 4830*a11**2*a23**2*b12**4*kap**2 - 52920*a23**6
*b12**2*kap - 58800*a23**4*b12**4*kap**2 - 5880*a23**2*b12**6*kap**3) - 1890*u1
**2*u3**2*v1*v2**2*a23**3*b12**5*kap**2 + 945*u1**2*u3*v1**2*v2**2*a23**2*b12**6
*kap**2 + 945*u1**2*u3*v2**4*a23**2*b12**6*kap**2 + 945*u1**2*u3*v2**2*v3**2*a23
**2*b12**6*kap**2 + u1*u2**4*u3*v2*(1890*a11**3*a23**2*b12**3*kap**2 - 1890*a11*
a23**2*b12**5*kap**3) + 1890*u1*u2**4*u3*v3*a11**2*a23**3*b12**3*kap**2 + u1*u2
**3*u3**2*v2*(7560*a11**2*a23**3*b12**3*kap**2 - 3780*a23**3*b12**5*kap**3) +
7560*u1*u2**3*u3**2*v3*a11*a23**4*b12**3*kap**2 + u1*u2**3*u3*v1*v2*( - 7560*a11
**2*a23**2*b12**4*kap**2 + 1890*a23**2*b12**6*kap**3) - 3780*u1*u2**3*u3*v1*v3*
a11*a23**3*b12**4*kap**2 + u1*u2**2*u3**3*v2*( - 2940*a11**3*a23**2*b12**3*kap**
2 + 8400*a11*a23**4*b12**3*kap**2 + 840*a11*a23**2*b12**5*kap**3) + u1*u2**2*u3
**3*v3*(13860*a11**2*a23**3*b12**3*kap**2 + 25200*a23**5*b12**3*kap**2 + 17640*
a23**3*b12**5*kap**3) - 18900*u1*u2**2*u3**2*v1*v2*a11*a23**3*b12**4*kap**2 -
7560*u1*u2**2*u3**2*v1*v3*a23**4*b12**4*kap**2 + 7560*u1*u2**2*u3*v1**2*v2*a11*
a23**2*b12**5*kap**2 + 1890*u1*u2**2*u3*v1**2*v3*a23**3*b12**5*kap**2 + 1890*u1*
u2**2*u3*v2**3*a11*a23**2*b12**5*kap**2 + 1890*u1*u2**2*u3*v2*v3**2*a11*a23**2*
b12**5*kap**2 + u1*u2*u3**4*v2*( - 11760*a11**4*a23**3*b12*kap + 199920*a11**2*
a23**5*b12*kap - 34440*a11**2*a23**3*b12**3*kap**2 + 211680*a23**7*b12*kap +
196560*a23**5*b12**3*kap**2 - 18900*a23**3*b12**5*kap**3) - 7560*u1*u2*u3**4*v3*
a11*a23**4*b12**3*kap**2 + u1*u2*u3**3*v1*v2*(15120*a11**2*a23**2*b12**4*kap**2
+ 9450*a23**2*b12**6*kap**3) + 3780*u1*u2*u3**3*v1*v3*a11*a23**3*b12**4*kap**2 +
7560*u1*u2*u3**2*v1**2*v2*a23**3*b12**5*kap**2 + 3780*u1*u2*u3**2*v2**3*a23**3*
b12**5*kap**2 + 3780*u1*u2*u3**2*v2*v3**2*a23**3*b12**5*kap**2 - 1890*u1*u2*u3*
v1**3*v2*a23**2*b12**6*kap**2 - 1890*u1*u2*u3*v1*v2**3*a23**2*b12**6*kap**2 -
1890*u1*u2*u3*v1*v2*v3**2*a23**2*b12**6*kap**2 + u1*u3**5*v2*( - 98*a11**7*b12*
kap + 5782*a11**5*a23**2*b12*kap + 42*a11**5*b12**3*kap**2 - 68208*a11**3*a23**4
*b12*kap + 14882*a11**3*a23**2*b12**3*kap**2 + 42*a11**3*b12**5*kap**3 - 74088*
a11*a23**6*b12*kap - 67116*a11*a23**4*b12**3*kap**2 + 8764*a11*a23**2*b12**5*kap
**3 - 98*a11*b12**7*kap**4) + u1*u3**5*v3*( - 490*a11**6*a23*b12*kap + 5390*a11
**4*a23**3*b12*kap + 210*a11**4*a23*b12**3*kap**2 + 58800*a11**2*a23**5*b12*kap
+ 11410*a11**2*a23**3*b12**3*kap**2 + 210*a11**2*a23*b12**5*kap**3 + 52920*a23**
7*b12*kap + 55860*a23**5*b12**3*kap**2 + 2450*a23**3*b12**5*kap**3 - 490*a23*b12
**7*kap**4) + 3780*u1*u3**4*v1*v2*a11*a23**3*b12**4*kap**2 + u1*u3**4*v1*v3*( -
5880*a11**4*a23**2*b12**2*kap + 99960*a11**2*a23**4*b12**2*kap + 11760*a11**2*
a23**2*b12**4*kap**2 + 105840*a23**6*b12**2*kap + 123480*a23**4*b12**4*kap**2 +
17640*a23**2*b12**6*kap**3) + u1*u3**3*v1**2*v2*(5880*a11**5*a23**2*b12 - 99960*
a11**3*a23**4*b12 + 420*a11**3*a23**2*b12**3*kap - 105840*a11*a23**6*b12 -
111300*a11*a23**4*b12**3*kap - 7350*a11*a23**2*b12**5*kap**2) + u1*u3**3*v2**3*(
5880*a11**5*a23**2*b12 - 99960*a11**3*a23**4*b12 + 420*a11**3*a23**2*b12**3*kap
- 105840*a11*a23**6*b12 - 111300*a11*a23**4*b12**3*kap - 7350*a11*a23**2*b12**5*
kap**2) + u1*u3**3*v2*v3**2*(5880*a11**5*a23**2*b12 - 99960*a11**3*a23**4*b12 +
420*a11**3*a23**2*b12**3*kap - 105840*a11*a23**6*b12 - 111300*a11*a23**4*b12**3*
kap - 7350*a11*a23**2*b12**5*kap**2) - 945*u2**6*u3*a11**2*a23**2*b12**4*kap**3
+ u2**5*u3**2*( - 756*a11**5*a23*b12**2*kap**2 + 2268*a11**3*a23**3*b12**2*kap**
2 - 756*a11**3*a23*b12**4*kap**3 + 3024*a11*a23**5*b12**2*kap**2 - 756*a11*a23**
3*b12**4*kap**3) + u2**5*u3*v1*( - 1890*a11**3*a23**2*b12**3*kap**2 + 1890*a11*
a23**2*b12**5*kap**3) + u2**4*u3**3*(2940*a11**6*a23**2*kap - 49980*a11**4*a23**
4*kap - 2205*a11**4*a23**2*b12**2*kap**2 - 52920*a11**2*a23**6*kap - 45465*a11**
2*a23**4*b12**2*kap**2 - 4200*a11**2*a23**2*b12**4*kap**3 + 12600*a23**6*b12**2*
kap**2 + 8820*a23**4*b12**4*kap**3) + u2**4*u3**2*v1*(1890*a11**4*a23*b12**3*kap
**2 - 7560*a11**2*a23**3*b12**3*kap**2 + 1890*a11**2*a23*b12**5*kap**3 + 3780*
a23**3*b12**5*kap**3) + u2**4*u3*v1**2*(4725*a11**2*a23**2*b12**4*kap**2 - 945*
a23**2*b12**6*kap**3) + 945*u2**4*u3*v2**2*a11**2*a23**2*b12**4*kap**2 + 945*u2
**4*u3*v3**2*a11**2*a23**2*b12**4*kap**2 + u2**3*u3**4*( - 33600*a11**3*a23**3*
b12**2*kap**2 - 33600*a11*a23**5*b12**2*kap**2 - 33600*a11*a23**3*b12**4*kap**3)
+ u2**3*u3**3*v1*(2940*a11**3*a23**2*b12**3*kap**2 - 15960*a11*a23**4*b12**3*
kap**2 - 840*a11*a23**2*b12**5*kap**3) + 15120*u2**3*u3**2*v1**2*a11*a23**3*b12
**4*kap**2 + 3780*u2**3*u3**2*v2**2*a11*a23**3*b12**4*kap**2 + 3780*u2**3*u3**2*
v3**2*a11*a23**3*b12**4*kap**2 - 3780*u2**3*u3*v1**3*a11*a23**2*b12**5*kap**2 -
1890*u2**3*u3*v1*v2**2*a11*a23**2*b12**5*kap**2 - 1890*u2**3*u3*v1*v3**2*a11*a23
**2*b12**5*kap**2 + u2**2*u3**5*( - 98*a11**8*kap + 588*a11**6*a23**2*kap - 7*
a11**6*b12**2*kap**2 + 5390*a11**4*a23**4*kap + 18235*a11**4*a23**2*b12**2*kap**
2 + 63*a11**4*b12**4*kap**3 + 269304*a11**2*a23**6*kap - 37646*a11**2*a23**4*b12
**2*kap**2 + 10535*a11**2*a23**2*b12**4*kap**3 - 77*a11**2*b12**6*kap**4 +
264600*a23**8*kap + 204792*a23**6*b12**2*kap**2 - 71428*a23**4*b12**4*kap**3 -
7889*a23**2*b12**6*kap**4 - 49*b12**8*kap**5) + u2**2*u3**4*v1*(11760*a11**4*a23
**3*b12*kap - 199920*a11**2*a23**5*b12*kap + 20580*a11**2*a23**3*b12**3*kap**2 -
211680*a23**7*b12*kap - 221760*a23**5*b12**3*kap**2 + 1260*a23**3*b12**5*kap**3
) + u2**2*u3**3*v1**2*(5880*a11**6*a23**2 - 99960*a11**4*a23**4 - 2520*a11**4*
a23**2*b12**2*kap - 105840*a11**2*a23**6 - 61320*a11**2*a23**4*b12**2*kap - 9030
*a11**2*a23**2*b12**4*kap**2 + 52920*a23**6*b12**2*kap + 69300*a23**4*b12**4*kap
**2 + 4095*a23**2*b12**6*kap**3) + u2**2*u3**3*v2**2*(5880*a11**6*a23**2 - 99960
*a11**4*a23**4 - 2520*a11**4*a23**2*b12**2*kap - 105840*a11**2*a23**6 - 61320*
a11**2*a23**4*b12**2*kap - 1470*a11**2*a23**2*b12**4*kap**2 + 52920*a23**6*b12**
2*kap + 65520*a23**4*b12**4*kap**2 + 8820*a23**2*b12**6*kap**3) + u2**2*u3**3*v3
**2*(5880*a11**6*a23**2 - 99960*a11**4*a23**4 + 420*a11**4*a23**2*b12**2*kap -
105840*a11**2*a23**6 - 111300*a11**2*a23**4*b12**2*kap - 7350*a11**2*a23**2*b12
**4*kap**2 + 3780*a23**4*b12**4*kap**2) - 5670*u2**2*u3**2*v1**3*a23**3*b12**5*
kap**2 - 3780*u2**2*u3**2*v1*v2**2*a23**3*b12**5*kap**2 - 3780*u2**2*u3**2*v1*v3
**2*a23**3*b12**5*kap**2 + 945*u2**2*u3*v1**4*a23**2*b12**6*kap**2 + 945*u2**2*
u3*v1**2*v2**2*a23**2*b12**6*kap**2 + 945*u2**2*u3*v1**2*v3**2*a23**2*b12**6*kap
**2 + u2*u3**6*(784*a11**7*a23*kap + 784*a11**5*a23**3*kap - 336*a11**5*a23*b12
**2*kap**2 - 254016*a11**3*a23**5*kap + 6944*a11**3*a23**3*b12**2*kap**2 - 336*
a11**3*a23*b12**4*kap**3 - 254016*a11*a23**7*kap - 245952*a11*a23**5*b12**2*kap
**2 + 12628*a11*a23**3*b12**4*kap**3 + 784*a11*a23*b12**6*kap**4) + u2*u3**5*v1*
(98*a11**7*b12*kap - 5782*a11**5*a23**2*b12*kap - 42*a11**5*b12**3*kap**2 +
68208*a11**3*a23**4*b12*kap - 14882*a11**3*a23**2*b12**3*kap**2 - 42*a11**3*b12
**5*kap**3 + 74088*a11*a23**6*b12*kap + 74676*a11*a23**4*b12**3*kap**2 - 8764*
a11*a23**2*b12**5*kap**3 + 98*a11*b12**7*kap**4) + u2*u3**4*v1**2*(11760*a11**5*
a23**3 - 199920*a11**3*a23**5 + 840*a11**3*a23**3*b12**2*kap - 211680*a11*a23**7
- 222600*a11*a23**5*b12**2*kap - 18480*a11*a23**3*b12**4*kap**2) + u2*u3**4*v2
**2*(11760*a11**5*a23**3 - 199920*a11**3*a23**5 + 840*a11**3*a23**3*b12**2*kap -
211680*a11*a23**7 - 222600*a11*a23**5*b12**2*kap - 14700*a11*a23**3*b12**4*kap
**2) + u2*u3**4*v2*v3*( - 5880*a11**4*a23**2*b12**2*kap + 99960*a11**2*a23**4*
b12**2*kap + 11760*a11**2*a23**2*b12**4*kap**2 + 105840*a23**6*b12**2*kap +
123480*a23**4*b12**4*kap**2 + 17640*a23**2*b12**6*kap**3) + u2*u3**4*v3**2*(
11760*a11**5*a23**3 - 199920*a11**3*a23**5 + 840*a11**3*a23**3*b12**2*kap -
211680*a11*a23**7 - 222600*a11*a23**5*b12**2*kap - 14700*a11*a23**3*b12**4*kap**
2) + u2*u3**3*v1**3*( - 5880*a11**5*a23**2*b12 + 99960*a11**3*a23**4*b12 - 420*
a11**3*a23**2*b12**3*kap + 105840*a11*a23**6*b12 + 111300*a11*a23**4*b12**3*kap
+ 7350*a11*a23**2*b12**5*kap**2) + u2*u3**3*v1*v2**2*( - 5880*a11**5*a23**2*b12
+ 99960*a11**3*a23**4*b12 - 420*a11**3*a23**2*b12**3*kap + 105840*a11*a23**6*b12
+ 111300*a11*a23**4*b12**3*kap + 7350*a11*a23**2*b12**5*kap**2) + u2*u3**3*v1*
v3**2*( - 5880*a11**5*a23**2*b12 + 99960*a11**3*a23**4*b12 - 420*a11**3*a23**2*
b12**3*kap + 105840*a11*a23**6*b12 + 111300*a11*a23**4*b12**3*kap + 7350*a11*a23
**2*b12**5*kap**2) + u3**7*( - 224*a11**8*kap - 224*a11**6*a23**2*kap + 145*a11
**6*b12**2*kap**2 + 72576*a11**4*a23**4*kap + 1317*a11**4*a23**2*b12**2*kap**2 +
75*a11**4*b12**4*kap**3 + 72576*a11**2*a23**6*kap + 68232*a11**2*a23**4*b12**2*
kap**2 - 1761*a11**2*a23**2*b12**4*kap**3 - 245*a11**2*b12**6*kap**4 - 5292*a23
**6*b12**2*kap**2 - 6762*a23**4*b12**4*kap**3 - 1421*a23**2*b12**6*kap**4 + 49*
b12**8*kap**5) + u3**6*v1*(490*a11**6*a23*b12*kap - 5390*a11**4*a23**3*b12*kap -
210*a11**4*a23*b12**3*kap**2 - 58800*a11**2*a23**5*b12*kap - 11410*a11**2*a23**
3*b12**3*kap**2 - 210*a11**2*a23*b12**5*kap**3 - 52920*a23**7*b12*kap - 55860*
a23**5*b12**3*kap**2 - 2450*a23**3*b12**5*kap**3 + 490*a23*b12**7*kap**4) + u3**
5*v1**2*( - 4704*a11**6*a23**2 - 49*a11**6*b12**2*kap + 79968*a11**4*a23**4 +
3143*a11**4*a23**2*b12**2*kap + 21*a11**4*b12**4*kap**2 + 84672*a11**2*a23**6 +
44940*a11**2*a23**4*b12**2*kap + 1561*a11**2*a23**2*b12**4*kap**2 + 21*a11**2*
b12**6*kap**3 - 47628*a23**6*b12**2*kap - 54978*a23**4*b12**4*kap**2 - 7399*a23
**2*b12**6*kap**3 - 49*b12**8*kap**4) + u3**5*v2**2*( - 4704*a11**6*a23**2 - 49*
a11**6*b12**2*kap + 79968*a11**4*a23**4 + 3143*a11**4*a23**2*b12**2*kap + 21*a11
**4*b12**4*kap**2 + 84672*a11**2*a23**6 + 44940*a11**2*a23**4*b12**2*kap + 1561*
a11**2*a23**2*b12**4*kap**2 + 21*a11**2*b12**6*kap**3 - 47628*a23**6*b12**2*kap
- 54978*a23**4*b12**4*kap**2 - 7399*a23**2*b12**6*kap**3 - 49*b12**8*kap**4) +
u3**5*v3**2*( - 4704*a11**6*a23**2 - 49*a11**6*b12**2*kap + 79968*a11**4*a23**4
+ 203*a11**4*a23**2*b12**2*kap + 21*a11**4*b12**4*kap**2 + 84672*a11**2*a23**6 +
94920*a11**2*a23**4*b12**2*kap + 7441*a11**2*a23**2*b12**4*kap**2 + 21*a11**2*
b12**6*kap**3 + 5292*a23**6*b12**2*kap + 6762*a23**4*b12**4*kap**2 + 1421*a23**2
*b12**6*kap**3 - 49*b12**8*kap**4)$
FI=15*u1**5*u3*v1*a11*b12**2*kap + 15*u1**4*u2*u3*v2*a11*b12**2*kap + 15*u1**4*
u3**2*v3*a11*b12**2*kap + u1**4*u3*v1*v2*( - 30*a11**2*b12 + 15*b12**3*kap) - 30
*u1**4*u3*v1*v3*a11*a23*b12 + 30*u1**3*u2**2*u3*v1*a11*b12**2*kap + 30*u1**3*u2*
u3**2*v1*a23*b12**2*kap + u1**3*u2*u3*v1**2*(30*a11**2*b12 - 15*b12**3*kap) + u1
**3*u2*u3*v2**2*( - 30*a11**2*b12 + 15*b12**3*kap) - 30*u1**3*u2*u3*v2*v3*a11*
a23*b12 + 30*u1**3*u3**2*v1**2*a11*a23*b12 + u1**3*u3**2*v2*v3*( - 30*a11**2*b12
+ 15*b12**3*kap) - 30*u1**3*u3**2*v3**2*a11*a23*b12 - 15*u1**3*u3*v1**3*a11*b12
**2 - 45*u1**3*u3*v1*v2**2*a11*b12**2 - 30*u1**3*u3*v1*v2*v3*a23*b12**2 - 15*u1
**3*u3*v1*v3**2*a11*b12**2 + 30*u1**2*u2**3*u3*v2*a11*b12**2*kap + 30*u1**2*u2**
2*u3**2*v2*a23*b12**2*kap + 30*u1**2*u2**2*u3**2*v3*a11*b12**2*kap - 30*u1**2*u2
**2*u3*v1*v3*a11*a23*b12 + 30*u1**2*u2*u3**3*v3*a23*b12**2*kap - 30*u1**2*u2*u3
**2*v1*v2*a11*a23*b12 + u1**2*u2*u3**2*v1*v3*(30*a11**2*b12 - 60*a23**2*b12 - 15
*b12**3*kap) + 45*u1**2*u2*u3*v1**2*v2*a11*b12**2 + 30*u1**2*u2*u3*v1**2*v3*a23*
b12**2 - 45*u1**2*u2*u3*v2**3*a11*b12**2 - 30*u1**2*u2*u3*v2**2*v3*a23*b12**2 -
15*u1**2*u2*u3*v2*v3**2*a11*b12**2 + u1**2*u3**4*v3*(90*a11**3 + 90*a11*a23**2 +
90*a11*b12**2*kap) + u1**2*u3**3*v1*v2*(90*a11**2*b12 + 60*a23**2*b12 + 75*b12
**3*kap) + 60*u1**2*u3**3*v1*v3*a11*a23*b12 + 30*u1**2*u3**2*v1**2*v2*a23*b12**2
- 15*u1**2*u3**2*v1**2*v3*a11*b12**2 - 45*u1**2*u3**2*v2**2*v3*a11*b12**2 - 30*
u1**2*u3**2*v2*v3**2*a23*b12**2 - 15*u1**2*u3**2*v3**3*a11*b12**2 - 15*u1**2*u3*
v1**3*v2*b12**3 - 15*u1**2*u3*v1*v2**3*b12**3 - 15*u1**2*u3*v1*v2*v3**2*b12**3 +
15*u1*u2**4*u3*v1*a11*b12**2*kap + u1*u2**3*u3**2*v1*( - 40*a11**2*a23 - 40*a23
**3 - 10*a23*b12**2*kap) + u1*u2**3*u3*v1**2*(30*a11**2*b12 - 15*b12**3*kap) +
u1*u2**3*u3*v2**2*( - 30*a11**2*b12 + 15*b12**3*kap) - 30*u1*u2**3*u3*v2*v3*a11*
a23*b12 + u1*u2**2*u3**3*v1*(90*a11**3 + 90*a11*a23**2 + 90*a11*b12**2*kap) + 90
*u1*u2**2*u3**2*v1**2*a11*a23*b12 - 60*u1*u2**2*u3**2*v2**2*a11*a23*b12 + u1*u2
**2*u3**2*v2*v3*( - 30*a11**2*b12 - 60*a23**2*b12 + 15*b12**3*kap) - 30*u1*u2**2
*u3**2*v3**2*a11*a23*b12 - 45*u1*u2**2*u3*v1**3*a11*b12**2 + 45*u1*u2**2*u3*v1*
v2**2*a11*b12**2 + 30*u1*u2**2*u3*v1*v2*v3*a23*b12**2 - 15*u1*u2**2*u3*v1*v3**2*
a11*b12**2 + u1*u2*u3**4*v1*(120*a11**2*a23 + 120*a23**3 + 150*a23*b12**2*kap) +
u1*u2*u3**3*v1**2*( - 90*a11**2*b12 - 75*b12**3*kap) + u1*u2*u3**3*v2**2*(90*
a11**2*b12 + 60*a23**2*b12 + 75*b12**3*kap) - 30*u1*u2*u3**3*v2*v3*a11*a23*b12 -
60*u1*u2*u3**3*v3**2*a23**2*b12 - 60*u1*u2*u3**2*v1**3*a23*b12**2 + 60*u1*u2*u3
**2*v1*v2*v3*a11*b12**2 + 15*u1*u2*u3*v1**4*b12**3 + 15*u1*u2*u3*v1**2*v3**2*b12
**3 - 15*u1*u2*u3*v2**4*b12**3 - 15*u1*u2*u3*v2**2*v3**2*b12**3 + u1*u3**5*v1*(
- 12*a11**3 - 12*a11*a23**2 - 27*a11*b12**2*kap) - 30*u1*u3**4*v1**2*a11*a23*b12
+ u1*u3**4*v2*v3*(90*a11**2*b12 + 60*a23**2*b12 + 75*b12**3*kap) + 30*u1*u3**4*
v3**2*a11*a23*b12 + 15*u1*u3**3*v1**3*a11*b12**2 + 15*u1*u3**3*v1*v2**2*a11*b12
**2 + 30*u1*u3**3*v1*v2*v3*a23*b12**2 + 15*u1*u3**3*v1*v3**2*a11*b12**2 - 15*u1*
u3**2*v1**2*v2*v3*b12**3 - 15*u1*u3**2*v2**3*v3*b12**3 - 15*u1*u3**2*v2*v3**3*
b12**3 + 15*u2**5*u3*v2*a11*b12**2*kap + u2**4*u3**2*v2*( - 40*a11**2*a23 - 40*
a23**3 - 10*a23*b12**2*kap) + 15*u2**4*u3**2*v3*a11*b12**2*kap + u2**4*u3*v1*v2*
(30*a11**2*b12 - 15*b12**3*kap) + u2**3*u3**3*v2*(90*a11**3 + 90*a11*a23**2 + 90
*a11*b12**2*kap) + u2**3*u3**3*v3*( - 40*a11**2*a23 - 40*a23**3 - 10*a23*b12**2*
kap) + 90*u2**3*u3**2*v1*v2*a11*a23*b12 + u2**3*u3**2*v1*v3*(30*a11**2*b12 - 15*
b12**3*kap) - 45*u2**3*u3*v1**2*v2*a11*b12**2 - 15*u2**3*u3*v2**3*a11*b12**2 -
15*u2**3*u3*v2*v3**2*a11*b12**2 + u2**2*u3**4*v2*(120*a11**2*a23 + 120*a23**3 +
150*a23*b12**2*kap) + u2**2*u3**4*v3*(90*a11**3 + 90*a11*a23**2 + 90*a11*b12**2*
kap) + u2**2*u3**3*v1*v2*( - 90*a11**2*b12 - 75*b12**3*kap) + 90*u2**2*u3**3*v1*
v3*a11*a23*b12 - 60*u2**2*u3**2*v1**2*v2*a23*b12**2 - 45*u2**2*u3**2*v1**2*v3*
a11*b12**2 - 30*u2**2*u3**2*v2**3*a23*b12**2 - 15*u2**2*u3**2*v2**2*v3*a11*b12**
2 - 30*u2**2*u3**2*v2*v3**2*a23*b12**2 - 15*u2**2*u3**2*v3**3*a11*b12**2 + 15*u2
**2*u3*v1**3*v2*b12**3 + 15*u2**2*u3*v1*v2**3*b12**3 + 15*u2**2*u3*v1*v2*v3**2*
b12**3 + u2*u3**5*v2*( - 12*a11**3 - 12*a11*a23**2 - 27*a11*b12**2*kap) + u2*u3
**5*v3*(120*a11**2*a23 + 120*a23**3 + 150*a23*b12**2*kap) - 30*u2*u3**4*v1*v2*
a11*a23*b12 + u2*u3**4*v1*v3*( - 90*a11**2*b12 - 75*b12**3*kap) + 15*u2*u3**3*v1
**2*v2*a11*b12**2 - 60*u2*u3**3*v1**2*v3*a23*b12**2 + 15*u2*u3**3*v2**3*a11*b12
**2 - 30*u2*u3**3*v2**2*v3*a23*b12**2 + 15*u2*u3**3*v2*v3**2*a11*b12**2 - 30*u2*
u3**3*v3**3*a23*b12**2 + 15*u2*u3**2*v1**3*v3*b12**3 + 15*u2*u3**2*v1*v2**2*v3*
b12**3 + 15*u2*u3**2*v1*v3**3*b12**3 + u3**6*v3*( - 12*a11**3 - 12*a11*a23**2 -
27*a11*b12**2*kap) - 30*u3**5*v1*v3*a11*a23*b12 + 15*u3**4*v1**2*v3*a11*b12**2 +
15*u3**4*v2**2*v3*a11*b12**2 + 15*u3**4*v3**3*a11*b12**2$
FI= - 5*u1**5*u3*v1*b12**3*kap**2 - 5*u1**4*u2*u3*v2*b12**3*kap**2 - 5*u1**4*u3
**2*v3*b12**3*kap**2 + 10*u1**4*u3*v1*v2*a11*b12**2*kap + 10*u1**4*u3*v1*v3*a23*
b12**2*kap - 10*u1**3*u2**2*u3*v1*b12**3*kap**2 - 10*u1**3*u2*u3*v1**2*a11*b12**
2*kap + 10*u1**3*u2*u3*v2**2*a11*b12**2*kap + 10*u1**3*u2*u3*v2*v3*a23*b12**2*
kap - 10*u1**3*u3**3*v1*b12**3*kap**2 + u1**3*u3**2*v1**2*( - 80*a11**2*a23 - 80
*a23**3 - 90*a23*b12**2*kap) + 10*u1**3*u3**2*v2*v3*a11*b12**2*kap + 10*u1**3*u3
**2*v3**2*a23*b12**2*kap - 10*u1**2*u2**3*u3*v2*b12**3*kap**2 - 10*u1**2*u2**2*
u3**2*v3*b12**3*kap**2 + 10*u1**2*u2**2*u3*v1*v3*a23*b12**2*kap - 10*u1**2*u2*u3
**3*v2*b12**3*kap**2 - 10*u1**2*u2*u3**2*v1*v2*a23*b12**2*kap - 10*u1**2*u2*u3**
2*v1*v3*a11*b12**2*kap + u1**2*u3**4*v3*(10*a11**2*b12*kap + 10*a23**2*b12*kap)
+ 10*u1**2*u3**3*v1*v2*a11*b12**2*kap + u1**2*u3**2*v1**2*v3*( - 20*a11**2*b12 -
20*a23**2*b12 - 20*b12**3*kap) + 10*u1**2*u3*v1**3*v2*a11*b12**2 + 10*u1**2*u3*
v1**3*v3*a23*b12**2 + 10*u1**2*u3*v1*v2**3*a11*b12**2 + 10*u1**2*u3*v1*v2**2*v3*
a23*b12**2 + 10*u1**2*u3*v1*v2*v3**2*a11*b12**2 + 10*u1**2*u3*v1*v3**3*a23*b12**
2 - 5*u1*u2**4*u3*v1*b12**3*kap**2 - 10*u1*u2**3*u3*v1**2*a11*b12**2*kap + 10*u1
*u2**3*u3*v2**2*a11*b12**2*kap + 10*u1*u2**3*u3*v2*v3*a23*b12**2*kap + u1*u2**2*
u3**3*v1*(10*a11**2*b12*kap + 10*a23**2*b12*kap) - 10*u1*u2**2*u3**2*v1**2*a23*
b12**2*kap + 10*u1*u2**2*u3**2*v2*v3*a11*b12**2*kap + 10*u1*u2**2*u3**2*v3**2*
a23*b12**2*kap - 10*u1*u2*u3**3*v1**2*a11*b12**2*kap + 10*u1*u2*u3**3*v2**2*a11*
b12**2*kap + 10*u1*u2*u3**3*v2*v3*a23*b12**2*kap - 10*u1*u2*u3*v1**4*a11*b12**2
+ 10*u1*u2*u3*v1**2*v2*v3*a23*b12**2 - 10*u1*u2*u3*v1**2*v3**2*a11*b12**2 + 10*
u1*u2*u3*v2**4*a11*b12**2 + 10*u1*u2*u3*v2**3*v3*a23*b12**2 + 10*u1*u2*u3*v2**2*
v3**2*a11*b12**2 + 10*u1*u2*u3*v2*v3**3*a23*b12**2 + u1*u3**5*v1*(4*a11**2*b12*
kap + 4*a23**2*b12*kap - b12**3*kap**2) - 10*u1*u3**4*v1**2*a23*b12**2*kap + 10*
u1*u3**4*v2*v3*a11*b12**2*kap + 10*u1*u3**4*v3**2*a23*b12**2*kap + u1*u3**3*v1*
v3**2*( - 30*a11**2*b12 - 30*a23**2*b12 - 30*b12**3*kap) - 10*u1*u3**2*v1**4*a23
*b12**2 - 10*u1*u3**2*v1**2*v2**2*a23*b12**2 + 10*u1*u3**2*v1**2*v2*v3*a11*b12**
2 + 10*u1*u3**2*v2**3*v3*a11*b12**2 + 10*u1*u3**2*v2**2*v3**2*a23*b12**2 + 10*u1
*u3**2*v2*v3**3*a11*b12**2 + 10*u1*u3**2*v3**4*a23*b12**2 + 5*u1*u3*v1**5*b12**3
+ 10*u1*u3*v1**3*v2**2*b12**3 + 10*u1*u3*v1**3*v3**2*b12**3 + 5*u1*u3*v1*v2**4*
b12**3 + 10*u1*u3*v1*v2**2*v3**2*b12**3 + 5*u1*u3*v1*v3**4*b12**3 - 5*u2**5*u3*
v2*b12**3*kap**2 - 5*u2**4*u3**2*v3*b12**3*kap**2 - 10*u2**4*u3*v1*v2*a11*b12**2
*kap + u2**3*u3**3*v2*(10*a11**2*b12*kap + 10*a23**2*b12*kap) - 10*u2**3*u3**2*
v1*v2*a23*b12**2*kap - 10*u2**3*u3**2*v1*v3*a11*b12**2*kap + u2**2*u3**4*v3*(10*
a11**2*b12*kap + 10*a23**2*b12*kap) - 10*u2**2*u3**3*v1*v2*a11*b12**2*kap - 10*
u2**2*u3**3*v1*v3*a23*b12**2*kap + u2**2*u3**2*v2**2*v3*( - 20*a11**2*b12 - 20*
a23**2*b12 - 20*b12**3*kap) - 10*u2**2*u3*v1**3*v2*a11*b12**2 - 10*u2**2*u3*v1*
v2**3*a11*b12**2 - 10*u2**2*u3*v1*v2*v3**2*a11*b12**2 + u2*u3**5*v2*(4*a11**2*
b12*kap + 4*a23**2*b12*kap - b12**3*kap**2) - 10*u2*u3**4*v1*v2*a23*b12**2*kap -
10*u2*u3**4*v1*v3*a11*b12**2*kap + u2*u3**3*v2*v3**2*( - 30*a11**2*b12 - 30*a23
**2*b12 - 30*b12**3*kap) - 10*u2*u3**2*v1**3*v2*a23*b12**2 - 10*u2*u3**2*v1**3*
v3*a11*b12**2 - 10*u2*u3**2*v1*v2**3*a23*b12**2 - 10*u2*u3**2*v1*v2**2*v3*a11*
b12**2 - 10*u2*u3**2*v1*v2*v3**2*a23*b12**2 - 10*u2*u3**2*v1*v3**3*a11*b12**2 +
5*u2*u3*v1**4*v2*b12**3 + 10*u2*u3*v1**2*v2**3*b12**3 + 10*u2*u3*v1**2*v2*v3**2*
b12**3 + 5*u2*u3*v2**5*b12**3 + 10*u2*u3*v2**3*v3**2*b12**3 + 5*u2*u3*v2*v3**4*
b12**3 + u3**6*v3*(4*a11**2*b12*kap + 4*a23**2*b12*kap - b12**3*kap**2) - 10*u3
**5*v1*v3*a23*b12**2*kap + u3**4*v3**3*( - 10*a11**2*b12 - 10*a23**2*b12 - 10*
b12**3*kap) - 10*u3**3*v1**3*v3*a23*b12**2 - 10*u3**3*v1*v2**2*v3*a23*b12**2 -
10*u3**3*v1*v3**3*a23*b12**2 + 5*u3**2*v1**4*v3*b12**3 + 10*u3**2*v1**2*v2**2*v3
*b12**3 + 10*u3**2*v1**2*v3**3*b12**3 + 5*u3**2*v2**4*v3*b12**3 + 10*u3**2*v2**2
*v3**3*b12**3 + 5*u3**2*v3**5*b12**3$