Solution 2 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2
0=a23 + b12 *kap
Expressions
The solution is given through the following expressions:
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
1
---*b12*r7376
2
r736=---------------
a23
r737=0
3
---*b12*r7376
2
r738=---------------
a23
r739=0
3
---*b12*r7376
2
r740=---------------
a23
r741=0
1
---*b12*r7376
2
r742=---------------
a23
r743=0
r744=0
r745=0
r746=0
r747=0
r748=0
3
---*b12*r7376
2
r749=---------------
a23
r750=0
3*b12*r7376
r751=-------------
a23
r752=0
3
---*b12*r7376
2
r753=---------------
a23
r754=0
r755=0
r756=0
r757=0
3
---*b12*r7376
2
r758=---------------
a23
r759=0
3
---*b12*r7376
2
r760=---------------
a23
r761=0
r762=0
1
---*b12*r7376
2
r763=---------------
a23
r764=r7378
r765=0
r766=2*r7378
r767=0
r768=r7378
r769=0
r770= - r7376
r771=0
r772= - 2*r7376
r773=0
r774= - r7376
r775=2*r7378
r776=0
r777=2*r7378
r778=0
r779= - 2*r7376
r780=0
r781= - 2*r7376
r782=r7378
r783=0
r784= - r7376
1 1
- ---*b12*kap*r7376 + ---*b12*r7688
2 2
r785=--------------------------------------
a23
r786=0
1
---*b12*r7688
2
r787=---------------
a23
r788=0
2 3 2
a23 *r7376 + ---*b12 *kap*r7376
2
r789=---------------------------------
a23*b12
- 2*a23*r7378
r790=----------------
b12
r791=0
- 2*a23*r7378
r792=----------------
b12
r793=0
1
---*b12*r7688
2
r794=---------------
a23
r795=0
b12*kap*r7376
r796=---------------
a23
- 2*a23*r7378
r797=----------------
b12
r798=0
1
---*b12*kap*r7376
2
r799=-------------------
a23
4 2 4 2
- ---*a23 *r7378 - ---*b12 *kap*r7378
3 3
r7100=----------------------------------------
2
b12
r7101=0
r7102=0
r7103=0
r7104= - r7688
r7105=0
r7106= - 2*kap*r7376
r7107=0
r7108=0
r7109= - 2*kap*r7376
208421 4 1 4 377 4
r7110=(--------*a23 *kap*r7376 + ---*a23 *r7683 + -----*a23 *r7688
61425 6 405
985199 2 2 2 1 2 2
+ --------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
245700 6
383 2 2 7 4 3
+ ------*a23 *b12 *kap*r7688 + ----*b12 *kap *r7376
1620 60
7 4 2 3
- ----*b12 *kap *r7688)/(a23 *b12)
36
r7111=0
145307 4 1 4 2203 4
r7112=(--------*a23 *kap*r7376 + ---*a23 *r7683 - ------*a23 *r7688
20475 6 405
549833 2 2 2 1 2 2
+ --------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
81900 6
9127 2 2 7 4 3
- ------*a23 *b12 *kap*r7688 + ----*b12 *kap *r7376
1620 60
7 4 2 3
- ----*b12 *kap *r7688)/(a23 *b12)
36
32 3 26 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7113=-------------------------------------------
3
b12
r7114=0
63407 4 1 4 497 4
r7115=(-------*a23 *kap*r7376 + ---*a23 *r7683 + -----*a23 *r7688
20475 6 405
222233 2 2 2 1 2 2
+ --------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
81900 6
1673 2 2 7 4 3
+ ------*a23 *b12 *kap*r7688 + ----*b12 *kap *r7376
1620 60
7 4 2 3
- ----*b12 *kap *r7688)/(a23 *b12)
36
208 4 2 2 13 4 2
- -----*a23 *r7378 - 12*a23 *b12 *kap*r7378 + ----*b12 *kap *r7378
15 15
r7116=---------------------------------------------------------------------
4
b12
r7117=0
44698 4 5 4 526 4
r7118=( - -------*a23 *kap*r7376 - ---*a23 *r7683 - -----*a23 *r7688
1365 3 81
95311 2 2 2 5 2 2
- -------*a23 *b12 *kap *r7376 - ---*a23 *b12 *kap*r7683
2730 3
737 2 2 7 4 3 35 4 2
- -----*a23 *b12 *kap*r7688 - ---*b12 *kap *r7376 + ----*b12 *kap *r7688
162 6 18
2 2
)/(a23 *b12 )
284204 6 50 6 4324 6
r7119=(--------*a23 *kap*r7376 + ----*a23 *r7683 + ------*a23 *r7688
5733 21 567
2392168 4 2 2 97 4 2
+ ---------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
47775 42
13424 4 2 29699 2 4 3
+ -------*a23 *b12 *kap*r7688 - --------*a23 *b12 *kap *r7376
2835 573300
1 2 4 2 10613 2 4 2
- ----*a23 *b12 *kap *r7683 - -------*a23 *b12 *kap *r7688
14 3780
1 6 4 1 6 3 3 3
- ----*b12 *kap *r7376 + ----*b12 *kap *r7688)/(a23 *b12 )
20 12
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
r7149=r7378
r7150=0
r7151=2*r7378
r7152=0
r7153=r7378
1
- ---*b12*r7571
2
r7154=------------------
a23
r7155=0
- b12*r7571
r7156=--------------
a23
r7157=0
1
- ---*b12*r7571
2
r7158=------------------
a23
r7159=0
r7160=2*r7378
r7161=0
r7162=2*r7378
- b12*r7571
r7163=--------------
a23
r7164=0
- b12*r7571
r7165=--------------
a23
r7166=0
r7167=r7378
1
- ---*b12*r7571
2
r7168=------------------
a23
r7169=r7571
- 2*b12*kap*r7376 + b12*r7688
r7170=--------------------------------
a23
r7171=2*r7571
2 2 2
- 4*a23 *r7376 - 6*b12 *kap*r7376 + b12 *r7688
r7172=-------------------------------------------------
a23*b12
r7173=r7571
1
- ---*b12*r7686
2
r7174=------------------
a23
- 2*a23*r7378
r7175=----------------
b12
1
- ---*b12*r7686
2
r7176=------------------
a23
- 2*a23*r7378
r7177=----------------
b12
r7178=3*r7571
- 2*b12*kap*r7376 + b12*r7688
r7179=--------------------------------
a23
r7180=3*r7571
1
- ---*b12*r7686
2
r7181=------------------
a23
- 2*a23*r7378
r7182=----------------
b12
r7183=2*r7571
r7184=r7686
2 2
- 4*a23 *r7378 - 4*b12 *kap*r7378
r7185=------------------------------------
2
b12
r7186=r7686
r7187=0
200 2 74 2
- -----*a23 *r7571 - ----*b12 *kap*r7571
63 63
r7188=-------------------------------------------
a23*b12
r7189=4*kap*r7376 - 2*r7688
200 2 74 2
- -----*a23 *r7571 - ----*b12 *kap*r7571
63 63
r7190=-------------------------------------------
a23*b12
r7191=2*r7686
r7192=0
200 2 74 2
- -----*a23 *r7571 - ----*b12 *kap*r7571
63 63
r7193=-------------------------------------------
a23*b12
148 2 148 2
-----*a23 *r7571 + -----*b12 *kap*r7571
63 63
r7194=-----------------------------------------
2
b12
200 2 344 2 146 2 2
r7195=( - -----*a23 *kap*r7376 + -----*a23 *r7688 - -----*b12 *kap *r7376
27 27 27
317 2
+ -----*b12 *kap*r7688)/(a23*b12)
27
148 2 148 2
-----*a23 *r7571 + -----*b12 *kap*r7571
63 63
r7196=-----------------------------------------
2
b12
2 1 2
- 2*a23 *r7686 + ---*b12 *kap*r7686
2
r7197=--------------------------------------
a23*b12
32 3 26 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7198=-------------------------------------------
3
b12
208 2 271 2
-----*a23 *r7571 + -----*b12 *kap*r7571
63 63
r7199=-----------------------------------------
2
b12
r7200= - kap*r7686
208 4 2 2 13 4 2
- -----*a23 *r7378 - 12*a23 *b12 *kap*r7378 + ----*b12 *kap *r7378
15 15
r7201=---------------------------------------------------------------------
4
b12
88 4 238 2 2 173 4 2
- ----*a23 *r7571 - -----*a23 *b12 *kap*r7571 - -----*b12 *kap *r7571
35 45 630
r7202=------------------------------------------------------------------------
3
a23*b12
128 4 872 2 2 173 4 2
-----*a23 *r7571 + -----*a23 *b12 *kap*r7571 + -----*b12 *kap *r7571
105 315 315
r7203=----------------------------------------------------------------------
4
b12
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
4 2 5 2 5 2 2
r7225=( - ---*a23 *kap*r7376 + ---*a23 *r7688 - ---*b12 *kap *r7376
3 6 6
5 2
+ ---*b12 *kap*r7688)/(a23*b12*kap)
6
r7226=0
1
---*b12*r7688
2
r7227=---------------
a23
r7228=0
1 1
- ---*b12*kap*r7376 + ---*b12*r7688
2 2
r7229=--------------------------------------
a23
r7230=0
1
- ---*b12*r7686
2
r7231=------------------
a23
r7232=0
1
- ---*b12*r7686
2
r7233=------------------
a23
1
---*b12*r7683
2
r7234=---------------
a23
r7235=0
1 1
- b12*kap*r7376 + ---*b12*r7683 + ---*b12*r7688
2 2
r7236=--------------------------------------------------
a23
r7237=0
1
- ---*b12*r7686
2
r7238=------------------
a23
1 1
- ---*b12*kap*r7376 + ---*b12*r7683
2 2
r7239=--------------------------------------
a23
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7240=---------------------------------
2
b12
r7241=r7686
2 2
- 2*a23 *r7378 - 2*b12 *kap*r7378
r7242=------------------------------------
2
b12
r7243=r7686
r7244=2*kap*r7376 - 2*r7683
r7245=0
10 2 2 2 2 2 2 2
r7246=(----*a23 *kap*r7376 - 2*a23 *r7683 + ---*a23 *r7688 - ---*b12 *kap *r7376
3 3 3
5 2 2
+ ---*b12 *kap*r7688)/a23
3
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7247=-------------------------------------
2
b12
r7248=2*r7686
r7249=4*kap*r7376 - 3*r7683
2 2 2 1 2
- 4*a23 *kap*r7376 + 2*a23 *r7683 + a23 *r7688 + ---*b12 *kap*r7688
2
r7250=----------------------------------------------------------------------
a23*b12
r7251=0
100 2 2 172 2
r7252=( - -----*a23 *kap*r7376 + 2*a23 *r7683 + -----*a23 *r7688
27 27
8 2 2 317 2
+ ----*b12 *kap *r7376 + -----*b12 *kap*r7688)/(a23*b12)
27 54
20 3 14 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7253=-------------------------------------------
3
b12
2 1 2
- 2*a23 *r7686 + ---*b12 *kap*r7686
2
r7254=--------------------------------------
a23*b12
475042 2 26 2 266 2
r7255=(--------*a23 *kap*r7376 + ----*a23 *r7683 - -----*a23 *r7688
12285 3 81
622462 2 2 13 2 266 2
+ --------*b12 *kap *r7376 + ----*b12 *kap*r7683 - -----*b12 *kap*r7688)
12285 6 81
/(a23*b12)
56 4 50 2 2
- ----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7256=-----------------------------------------------
4
b12
r7257= - kap*r7686
2107648 2 44 2 1402 2
r7258=( - ---------*a23 *kap*r7376 - ----*a23 *r7683 - ------*a23 *r7688
12285 3 81
2279638 2 2 26 2
- ---------*b12 *kap *r7376 - ----*b12 *kap*r7683
12285 3
1402 2 2
- ------*b12 *kap*r7688)/b12
81
523826 6 37 6 2234 6
r7259=(--------*a23 *kap*r7376 + ----*a23 *r7683 + ------*a23 *r7688
2457 3 81
27820717 4 2 2 21 4 2
+ ----------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
122850 2
5453 4 2 645383 2 4 3
+ ------*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
270 81900
1 2 4 2 12277 2 4 2
+ ---*a23 *b12 *kap *r7683 - -------*a23 *b12 *kap *r7688
6 1620
7 6 4 7 6 3 3 3
+ ----*b12 *kap *r7376 - ----*b12 *kap *r7688)/(a23 *b12 )
60 36
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
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7276=---------------------------------
2
b12
r7277=0
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7278=-------------------------------------
2
b12
2 2
- a23 *r7571 - b12 *kap*r7571
r7279=--------------------------------
a23*b12
r7280=0
1 2 1 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7281=----------------------------------------
a23*b12
r7282=0
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7283=-------------------------------------
2
b12
1 2 1 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7284=----------------------------------------
a23*b12
2 2
2*a23 *r7571 + 2*b12 *kap*r7571
r7285=---------------------------------
2
b12
2 2 2 2 2
- 4*a23 *kap*r7376 + 2*a23 *r7688 - 2*b12 *kap *r7376 + b12 *kap*r7688
r7286=-------------------------------------------------------------------------
a23*b12
14 2 14 2
----*a23 *r7571 + ----*b12 *kap*r7571
9 9
r7287=---------------------------------------
2
b12
1
---*b12*kap*r7686
2
r7288=-------------------
a23
20 3 14 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7289=-------------------------------------------
3
b12
16 2 25 2
----*a23 *r7571 + ----*b12 *kap*r7571
9 9
r7290=---------------------------------------
2
b12
4 2 1 2
---*a23 *r7686 + ---*b12 *kap*r7686
3 3
r7291=-------------------------------------
2
b12
56 4 50 2 2
- ----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7292=-----------------------------------------------
4
b12
4 515 2 2 74 4 2
- 4*a23 *r7571 - -----*a23 *b12 *kap*r7571 - ----*b12 *kap *r7571
63 63
r7293=--------------------------------------------------------------------
3
a23*b12
64 4 466 2 2 148 4 2
----*a23 *r7571 + -----*a23 *b12 *kap*r7571 + -----*b12 *kap *r7571
21 63 63
r7294=---------------------------------------------------------------------
4
b12
r7295=0
r7296=0
r7297=0
r7298=0
r7299=0
r7300=0
r7301=0
r7302=0
r7303=0
r7304=0
1 2 5 2 5 2 2
r7305=( - ---*a23 *kap*r7376 + ---*a23 *r7688 - ---*b12 *kap *r7376
3 6 6
5 2
+ ---*b12 *kap*r7688)/(a23*b12)
6
r7306=0
r7307=
1 2 1 2 5 2 2 1 2
---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376 - ---*b12 *kap*r7688
3 6 6 3
--------------------------------------------------------------------------------
a23*b12
r7308=0
1
---*b12*kap*r7686
2
r7309=-------------------
a23
1 2 1 2 5 2 2
r7310=(---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376
3 6 6
1 2 1 2
- ---*b12 *kap*r7683 + ---*b12 *kap*r7688)/(a23*b12)
2 6
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7311=---------------------------------------------
2
b12
4 2 1 2
---*a23 *r7686 + ---*b12 *kap*r7686
3 3
r7312=-------------------------------------
2
b12
90604 6 6 124 6
r7313=( - -------*a23 *kap*r7376 - 8*a23 *r7683 - -----*a23 *r7688
819 9
90877 4 2 2 4 2
- -------*a23 *b12 *kap *r7376 - 6*a23 *b12 *kap*r7683
819
251 4 2 13 2 4 3
- -----*a23 *b12 *kap*r7688 + ----*a23 *b12 *kap *r7376
18 2
1 2 4 2 11 6 4 2 6 3
+ ---*a23 *b12 *kap *r7688 + ----*b12 *kap *r7376 + ---*b12 *kap *r7688)
2 6 3
4 2
/(a23 *b12 )
41662 4 4 4
r7314=(-------*a23 *kap*r7376 + 6*a23 *r7683 + 5*a23 *r7688
819
47395 2 2 2 2 2
+ -------*a23 *b12 *kap *r7376 + 4*a23 *b12 *kap*r7683
819
2 2 3 4 3 3
+ 5*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376)/(a23*b12 )
2
r7315=0
r7316=0
r7317=0
r7318=0
r7319=0
r7320=0
r7321=0
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7322=---------------------------------------------
2
b12
1 2 5 2 2
---*a23 *kap*r7571 + ---*b12 *kap *r7571
3 6
r7323=------------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r7571 - ---*b12 *kap *r7571
3 3
r7324=---------------------------------------------
2
b12
r7325=0
r7326=0
r7327=0
4 4 2 2 4 14 2 2 3
r7328=( - ---*a23 *kap *r7376 - ---*a23 *kap*r7688 - ----*a23 *b12 *kap *r7376
9 9 9
4 2 2 2 11 4 4 2 4 3
- ---*a23 *b12 *kap *r7688 - ----*b12 *kap *r7376 - ---*b12 *kap *r7688)
9 18 9
3
/(a23 *b12)
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=r7376
1
---*b12*r7571
2
r7359=---------------
a23
r7360=2*r7376
b12*r7571
r7361=-----------
a23
r7362=r7376
1
---*b12*r7571
2
r7363=---------------
a23
r7364=r7378
r7365=0
r7366=2*r7378
r7367=0
r7368=r7378
r7369=2*r7376
b12*r7571
r7370=-----------
a23
r7371=2*r7376
b12*r7571
r7372=-----------
a23
r7373=2*r7378
r7374=0
r7375=2*r7378
1
---*b12*r7571
2
r7377=---------------
a23
2*a23*r7378
r7379=-------------
b12
1
---*b12*r7686
2
r7380=---------------
a23
2*a23*r7378
r7381=-------------
b12
1
---*b12*r7686
2
r7382=---------------
a23
r7383=0
- 2*b12*kap*r7376 + b12*r7688
r7384=--------------------------------
a23
r7385= - r7571
- 2*b12*kap*r7376 + b12*r7688
r7386=--------------------------------
a23
r7387= - r7571
r7388=0
1
---*b12*r7686
2
r7389=---------------
a23
- 2*a23*r7378
r7390=----------------
b12
- 2*b12*kap*r7376 + b12*r7688
r7391=--------------------------------
a23
r7392= - r7571
- 2*a23*r7378
r7393=----------------
b12
r7394=r7688
74 2 74 2
----*a23 *r7571 + ----*b12 *kap*r7571
63 63
r7395=---------------------------------------
a23*b12
r7396=2*kap*r7376
74 2 74 2
----*a23 *r7571 + ----*b12 *kap*r7571
63 63
r7397=---------------------------------------
a23*b12
2 2
- 4*a23 *r7378 - 4*b12 *kap*r7378
r7398=------------------------------------
2
b12
r7399= - r7686
r7400=0
r7401=6*kap*r7376 - 2*r7688
74 2 74 2
----*a23 *r7571 + ----*b12 *kap*r7571
63 63
r7402=---------------------------------------
a23*b12
r7403=0
32 3 26 2
- ----*a23 *r7378 - ----*a23*b12 *kap*r7378
3 3
r7404=----------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7405=----------------------
a23
r7406=0
16 2 16 2 70 2 2
r7407=(----*a23 *kap*r7376 - ----*a23 *r7688 + ----*b12 *kap *r7376
27 27 27
43 2
- ----*b12 *kap*r7688)/(a23*b12)
27
20 2 41 2
- ----*a23 *r7571 - ----*b12 *kap*r7571
21 21
r7408=------------------------------------------
2
b12
32 3 26 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7409=-------------------------------------------
3
b12
44698 4 5 4 526 4
r7410=(-------*a23 *kap*r7376 + ---*a23 *r7683 + -----*a23 *r7688
1365 3 81
95311 2 2 2 5 2 2
+ -------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
2730 3
737 2 2 7 4 3 35 4 2
+ -----*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376 - ----*b12 *kap *r7688
162 6 18
2 2
)/(a23 *b12 )
64 4 436 2 2 173 4 2
-----*a23 *r7571 + -----*a23 *b12 *kap*r7571 + -----*b12 *kap *r7571
105 315 630
r7411=----------------------------------------------------------------------
3
a23*b12
208 4 2 2 13 4 2
- -----*a23 *r7378 - 12*a23 *b12 *kap*r7378 + ----*b12 *kap *r7378
15 15
r7412=---------------------------------------------------------------------
4
b12
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
2*a23*r7378
r7436=-------------
b12
1
---*b12*r7686
2
r7437=---------------
a23
2*a23*r7378
r7438=-------------
b12
1
---*b12*r7686
2
r7439=---------------
a23
r7440= - r7571
- b12*r7683 + b12*r7688
r7441=--------------------------
a23
r7442= - r7571
- b12*r7683 + b12*r7688
r7443=--------------------------
a23
1
- ---*b12*r7686
2
r7444=------------------
a23
2*a23*r7378
r7445=-------------
b12
r7446=0
r7447= - r7571
- b12*r7683 + b12*r7688
r7448=--------------------------
a23
1
- ---*b12*r7686
2
r7449=------------------
a23
2*a23*r7571
r7450=-------------
b12
r7451= - 8*kap*r7376 + 2*r7683 + 2*r7688
2*a23*r7571
r7452=-------------
b12
r7453= - 4*kap*r7376 + 2*r7683
r7454=0
16 2 16 2
- ----*a23 *r7378 - ----*b12 *kap*r7378
3 3
r7455=------------------------------------------
2
b12
r7456=0
2*a23*r7571
r7457=-------------
b12
r7458= - 4*kap*r7376 + 4*r7683 - 2*r7688
r7459=2*r7686
2*a23*r7686
r7460=-------------
b12
56 3 50 2
- ----*a23 *r7378 - ----*a23*b12 *kap*r7378
3 3
r7461=----------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7462=----------------------
a23
20 2 41 2
- ----*a23 *r7571 - ----*b12 *kap*r7571
21 21
r7463=------------------------------------------
2
b12
132056 2 28 2 1564 2
r7464=( - --------*a23 *kap*r7376 - ----*a23 *r7683 + ------*a23 *r7688
1365 3 81
142976 2 2 13 2 1483 2
- --------*b12 *kap *r7376 - ----*b12 *kap*r7683 + ------*b12 *kap*r7688
1365 3 81
)/(a23*b12)
2 1 2
- 2*a23 *r7686 + ---*b12 *kap*r7686
2
r7465=--------------------------------------
a23*b12
40 3 82 2
----*a23 *r7571 + ----*a23*b12 *kap*r7571
21 21
r7466=-------------------------------------------
3
b12
2216848 2 32 2 1708 2
r7467=(---------*a23 *kap*r7376 + ----*a23 *r7683 + ------*a23 *r7688
12285 3 81
2265988 2 2 26 2
+ ---------*b12 *kap *r7376 + ----*b12 *kap*r7683
12285 3
1708 2 2
+ ------*b12 *kap*r7688)/b12
81
r7468= - kap*r7686
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=2*kap*r7376
2 2
a23 *r7571 + b12 *kap*r7571
r7486=-----------------------------
a23*b12
r7487=r7688
1 2 1 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7488=-------------------------------------
a23*b12
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7489=---------------------------------
2
b12
r7490= - r7686
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7491=-------------------------------------
2
b12
r7492=r7683
1 2 1 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7493=-------------------------------------
a23*b12
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7494=-------------------------------------
2
b12
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7495=------------------------------------------
3
b12
2 1 2
2*a23 *r7686 - ---*b12 *kap*r7686
2
r7496=-----------------------------------
a23*b12
3 2
- 8*a23 *r7378 - 8*a23*b12 *kap*r7378
r7497=----------------------------------------
3
b12
2 2 2 2 2
r7498=(4*a23 *kap*r7376 - 4*a23 *r7683 + 2*a23 *r7688 - 2*b12 *kap *r7376
2
+ b12 *kap*r7688)/(a23*b12)
2 2 5 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7499=----------------------------------------
2
b12
20 3 14 2
----*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7500=-------------------------------------------
3
b12
80 2 2 34 2
r7501=( - ----*a23 *kap*r7376 + 4*a23 *r7683 - ----*a23 *r7688
9 9
10 2 2 34 2 2
+ ----*b12 *kap *r7376 - ----*b12 *kap*r7688)/b12
9 9
8 4 305 2 2 74 4 2
---*a23 *r7571 + -----*a23 *b12 *kap*r7571 + ----*b12 *kap *r7571
3 63 63
r7502=-------------------------------------------------------------------
3
a23*b12
56 4 50 2 2
- ----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7503=-----------------------------------------------
4
b12
r7504=0
r7505=0
r7506=0
r7507=0
r7508=0
r7509=0
r7510=0
r7511=0
r7512=0
r7513=0
r7514=0
r7515=0
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7516=------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7517=----------------------
a23
2 2 5 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7518=----------------------------------------
2
b12
b12*kap*r7683 - b12*kap*r7688
r7519=-------------------------------
a23
1
---*b12*kap*r7686
2
r7520=-------------------
a23
4 3 10 2
---*a23 *r7571 + ----*a23*b12 *kap*r7571
3 3
r7521=------------------------------------------
3
b12
90604 2 2 124 2
r7522=(-------*a23 *kap*r7376 + 8*a23 *r7683 + -----*a23 *r7688
819 9
93880 2 2 2 124 2
+ -------*b12 *kap *r7376 + 6*b12 *kap*r7683 + -----*b12 *kap*r7688)/
819 9
2
b12
4 2 1 2
---*a23 *r7686 + ---*b12 *kap*r7686
3 3
r7523=-------------------------------------
2
b12
r7524=0
r7525=0
r7526=0
r7527=0
r7528=0
r7529=0
r7530=0
8 2 2 4 2 11 2 3
r7531=( - ---*a23 *kap *r7376 - ---*a23 *kap*r7688 - ----*b12 *kap *r7376
3 3 3
4 2 2 2
- ---*b12 *kap *r7688)/a23
3
1 2 5 2 2
- ---*a23 *kap*r7571 - ---*b12 *kap *r7571
3 6
r7532=---------------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7533=---------------------------------------------
2
b12
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
1
---*b12*kap*r7376
2
r7561=-------------------
a23
r7562=r7571
1
---*b12*r7683
2
r7563=---------------
a23
r7564=r7571
1 1
- ---*b12*kap*r7376 + ---*b12*r7683
2 2
r7565=--------------------------------------
a23
2*a23*r7378
r7566=-------------
b12
1
---*b12*r7686
2
r7567=---------------
a23
2*a23*r7378
r7568=-------------
b12
1
---*b12*r7686
2
r7569=---------------
a23
1
---*b12*r7688
2
r7570=---------------
a23
1 1
- b12*kap*r7376 + ---*b12*r7683 + ---*b12*r7688
2 2
r7572=--------------------------------------------------
a23
2*a23*r7378
r7573=-------------
b12
1
---*b12*r7686
2
r7574=---------------
a23
1 1
- ---*b12*kap*r7376 + ---*b12*r7688
2 2
r7575=--------------------------------------
a23
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7576=---------------------------------
2
b12
r7577=r7686
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7578=-------------------------------------
2
b12
r7579=0
r7580= - 6*kap*r7376 + 2*r7688
r7581=0
r7582= - r7683
2 2
- 2*a23 *r7378 - 2*b12 *kap*r7378
r7583=------------------------------------
2
b12
r7584= - r7686
r7585= - r7688
2 1 2
a23 *r7688 + ---*b12 *kap*r7688
2
r7586=---------------------------------
a23*b12
20 2 41 2
----*a23 *r7571 + ----*b12 *kap*r7571
21 21
r7587=---------------------------------------
2
b12
671602 2 8 2 806 2
r7588=(--------*a23 *kap*r7376 + ---*a23 *r7683 - -----*a23 *r7688
12285 3 81
671602 2 2 13 2 806 2
+ --------*b12 *kap *r7376 + ----*b12 *kap*r7683 - -----*b12 *kap*r7688)
12285 6 81
/(a23*b12)
3 2
- 12*a23 *r7378 - 12*a23*b12 *kap*r7378
r7589=------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7590=----------------------
a23
62 2 8 2 62 2 2
r7591=(----*a23 *kap*r7376 - ----*a23 *r7688 + ----*b12 *kap *r7376
27 27 27
43 2
- ----*b12 *kap*r7688)/(a23*b12)
54
104 4 98 2 2
- -----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7592=------------------------------------------------
4
b12
r7593=0
44 2 26 2 26 2 2
r7594=(----*a23 *kap*r7376 - ----*a23 *r7688 + ----*b12 *kap *r7376
9 9 9
26 2 2
- ----*b12 *kap*r7688)/b12
9
142102 6 25 6 2162 6
r7595=(--------*a23 *kap*r7376 + ----*a23 *r7683 + ------*a23 *r7688
819 3 81
2503913 4 2 2 17 4 2
+ ---------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
13650 2
4913 4 2 699983 2 4 3
+ ------*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
270 81900
1 2 4 2 14077 2 4 2
+ ---*a23 *b12 *kap *r7683 - -------*a23 *b12 *kap *r7688
6 1620
7 6 4 7 6 3 3 3
+ ----*b12 *kap *r7376 - ----*b12 *kap *r7688)/(a23 *b12 )
60 36
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
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7612=---------------------------------
2
b12
r7613=r7686
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7614=-------------------------------------
2
b12
2 2
- a23 *r7571 - b12 *kap*r7571
r7615=--------------------------------
a23*b12
r7616= - 2*r7683 + 2*r7688
1 2 1 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7617=----------------------------------------
a23*b12
r7618= - r7686
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7619=-------------------------------------
2
b12
1 2 1 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7620=----------------------------------------
a23*b12
2 2
2*a23 *r7571 + 2*b12 *kap*r7571
r7621=---------------------------------
2
b12
2 2 2 2 2
r7622=( - 12*a23 *kap*r7376 + 4*a23 *r7683 + 2*a23 *r7688 - 2*b12 *kap *r7376
2
+ b12 *kap*r7688)/(a23*b12)
86 2 86 2
- ----*a23 *r7571 - ----*b12 *kap*r7571
21 21
r7623=------------------------------------------
2
b12
2 1 2
2*a23 *r7686 + ---*b12 *kap*r7686
2
r7624=-----------------------------------
a23*b12
28 3 34 2
- ----*a23 *r7378 - ----*a23*b12 *kap*r7378
3 3
r7625=----------------------------------------------
3
b12
380 2 359 2
- -----*a23 *r7571 - -----*b12 *kap*r7571
21 21
r7626=--------------------------------------------
2
b12
r7627= - kap*r7686
104 4 98 2 2
- -----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7628=------------------------------------------------
4
b12
20 4 443 2 2 74 4 2
- ----*a23 *r7571 - -----*a23 *b12 *kap*r7571 - ----*b12 *kap *r7571
7 63 63
r7629=-----------------------------------------------------------------------
3
a23*b12
64 4 466 2 2 148 4 2
----*a23 *r7571 + -----*a23 *b12 *kap*r7571 + -----*b12 *kap *r7571
21 63 63
r7630=---------------------------------------------------------------------
4
b12
r7631=0
r7632=0
r7633=0
r7634=0
r7635=0
r7636=0
r7637=0
r7638=0
r7639=0
r7640=0
10 2 5 2 7 2 2
r7641=(----*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376
3 3 3
5 2
+ ---*b12 *kap*r7688)/(a23*b12)
3
2 2 5 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7642=-------------------------------------
2
b12
1 4 1 4 7 2 2 2
r7643=(---*a23 *kap*r7376 + ---*a23 *r7688 + ----*a23 *b12 *kap *r7376
2 4 12
1 2 2 7 2 2
- ---*a23 *b12 *kap*r7683 - ----*a23 *b12 *kap*r7688
2 12
11 4 3 1 4 2 3
- ----*b12 *kap *r7376 - ---*b12 *kap *r7688)/(a23 *b12)
12 3
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7644=------------------------------------------
3
b12
r7645=0
2 2 1 2 5 2 2
r7646=(---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376
3 3 3
1 2 1 2
- ---*b12 *kap*r7683 - ---*b12 *kap*r7688)/(a23*b12)
2 6
4 2 10 2 2
- ---*a23 *kap*r7378 - ----*b12 *kap *r7378
3 3
r7647=----------------------------------------------
2
b12
2 2 1 2
---*a23 *r7686 - ---*b12 *kap*r7686
3 3
r7648=-------------------------------------
2
b12
91696 2 2 130 2
r7649=( - -------*a23 *kap*r7376 - 8*a23 *r7683 - -----*a23 *r7688
819 9
96610 2 2 2 130 2
- -------*b12 *kap *r7376 - 6*b12 *kap*r7683 - -----*b12 *kap*r7688)/
819 9
2
b12
34564 4 4 26 4
r7650=(-------*a23 *kap*r7376 + 6*a23 *r7683 + ----*a23 *r7688
819 3
41116 2 2 2 2 2
+ -------*a23 *b12 *kap *r7376 + 4*a23 *b12 *kap*r7683
819
26 2 2 4 3 3
+ ----*a23 *b12 *kap*r7688 + b12 *kap *r7376)/(a23*b12 )
3
r7651=0
r7652=0
r7653=0
r7654=0
r7655=0
r7656=0
r7657=0
4 2 10 2 2
- ---*a23 *kap*r7378 - ----*b12 *kap *r7378
3 3
r7658=----------------------------------------------
2
b12
2 2 5 2 2
---*a23 *kap*r7571 + ---*b12 *kap *r7571
3 3
r7659=------------------------------------------
a23*b12
4 2 10 2 2
- ---*a23 *kap*r7571 - ----*b12 *kap *r7571
3 3
r7660=----------------------------------------------
2
b12
r7661=0
r7662=0
r7663=0
10 4 2 5 4 29 2 2 3
r7664=( - ----*a23 *kap *r7376 - ---*a23 *kap*r7688 - ----*a23 *b12 *kap *r7376
9 9 9
7 2 2 2 11 4 4 2 4 3
- ---*a23 *b12 *kap *r7688 - ----*b12 *kap *r7376 - ---*b12 *kap *r7688)
9 18 9
3
/(a23 *b12)
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=2*kap*r7376
2 2
a23 *r7571 + b12 *kap*r7571
r7682=-----------------------------
a23*b12
1 2 1 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7684=-------------------------------------
a23*b12
2 2
2*a23 *r7378 + 2*b12 *kap*r7378
r7685=---------------------------------
2
b12
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7687=-------------------------------------
2
b12
1 2 1 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7689=-------------------------------------
a23*b12
2 2 2 2
---*a23 *r7378 + ---*b12 *kap*r7378
3 3
r7690=-------------------------------------
2
b12
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7691=------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7692=----------------------
a23
r7693=0
2 2 2 2 2
- 4*a23 *kap*r7376 + 2*a23 *r7688 - 2*b12 *kap *r7376 + b12 *kap*r7688
r7694=-------------------------------------------------------------------------
a23*b12
14 2 11 2
----*a23 *r7571 + ----*b12 *kap*r7571
3 3
r7695=---------------------------------------
2
b12
2 4 8 4 2
- ---*a23 *r7378 + ---*b12 *kap *r7378
3 3
r7696=-----------------------------------------
3
a23*b12
44 2 26 2 26 2 2
r7697=( - ----*a23 *kap*r7376 + ----*a23 *r7688 - ----*b12 *kap *r7376
9 9 9
26 2 2
+ ----*b12 *kap*r7688)/b12
9
32 4 233 2 2 74 4 2
----*a23 *r7571 + -----*a23 *b12 *kap*r7571 + ----*b12 *kap *r7571
21 63 63
r7698=--------------------------------------------------------------------
3
a23*b12
104 4 98 2 2
- -----*a23 *r7378 - ----*a23 *b12 *kap*r7378
3 3
r7699=------------------------------------------------
4
b12
r7700=0
r7701=0
r7702=0
r7703=0
r7704=0
r7705=0
r7706=0
r7707=0
r7708=0
r7709=0
r7710=0
r7711=0
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7712=------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7713=----------------------
a23
2 2 5 2
- ---*a23 *r7571 - ---*b12 *kap*r7571
3 3
r7714=----------------------------------------
2
b12
b12*kap*r7683 - b12*kap*r7688
r7715=-------------------------------
a23
1
---*b12*kap*r7686
2
r7716=-------------------
a23
4 3 10 2
---*a23 *r7571 + ----*a23*b12 *kap*r7571
3 3
r7717=------------------------------------------
3
b12
182300 4 16 4 254 4
r7718=(--------*a23 *kap*r7376 + ----*a23 *r7683 + -----*a23 *r7688
2457 3 27
199226 2 2 2 10 2 2
+ --------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
2457 3
248 2 2 26 4 3 2 4 2
+ -----*a23 *b12 *kap*r7688 + ----*b12 *kap *r7376 - ---*b12 *kap *r7688
27 9 9
2 2
)/(a23 *b12 )
r7719= - kap*r7686
r7720=0
r7721=0
r7722=0
r7723=0
r7724=0
r7725=0
r7726=0
4 2 2 2 10 2 2
r7727=(---*a23 *kap*r7376 + ---*a23 *r7688 + ----*b12 *kap *r7376
3 3 3
2 2 2
+ ---*b12 *kap*r7688)/b12
3
2 2 5 2 2
- ---*a23 *kap*r7571 - ---*b12 *kap *r7571
3 3
r7728=---------------------------------------------
a23*b12
4 2 10 2 2
- ---*a23 *kap*r7378 - ----*b12 *kap *r7378
3 3
r7729=----------------------------------------------
2
b12
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
r7746=
5 2 5 2 7 2 2 5 2
---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376 + ---*b12 *kap*r7688
3 6 6 6
--------------------------------------------------------------------------------
a23*b12
2 2 5 2
---*a23 *r7571 + ---*b12 *kap*r7571
3 3
r7747=-------------------------------------
2
b12
1 2 1 2 5 2 2
r7748=(---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376
3 6 6
1 2 1 2
- ---*b12 *kap*r7683 + ---*b12 *kap*r7688)/(a23*b12)
2 6
4 3 10 2
---*a23 *r7378 + ----*a23*b12 *kap*r7378
3 3
r7749=------------------------------------------
3
b12
1
- ---*b12*kap*r7686
2
r7750=----------------------
a23
r7751=
1 2 1 2 5 2 2 1 2
---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376 - ---*b12 *kap*r7688
3 6 6 3
--------------------------------------------------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7752=---------------------------------------------
2
b12
r7753=0
1 4 1 4 5 2 2 2
r7754=( - ---*a23 *kap*r7376 - ---*a23 *r7688 + ---*a23 *b12 *kap *r7376
3 6 6
1 2 2 13 4 3 1 4 2
- ---*a23 *b12 *kap*r7688 + ----*b12 *kap *r7376 - ---*b12 *kap *r7688)/
3 6 6
2 2
(a23 *b12 )
5 4 2 91 4 113 2 2 3
r7755=(----*a23 *kap *r7376 - -----*a23 *kap*r7688 - -----*a23 *b12 *kap *r7376
54 108 108
47 2 2 2 13 4 4
- ----*a23 *b12 *kap *r7688 + ----*b12 *kap *r7376
54 36
1 4 3 3
- ----*b12 *kap *r7688)/(a23 *b12)
36
r7756=0
r7757=0
r7758=0
r7759=0
r7760=0
r7761=0
r7762=0
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7763=---------------------------------------------
2
b12
1 2 5 2 2
---*a23 *kap*r7571 + ---*b12 *kap *r7571
3 6
r7764=------------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r7571 - ---*b12 *kap *r7571
3 3
r7765=---------------------------------------------
2
b12
r7766=0
r7767=0
r7768=0
2 2 1 2 5 2 3
r7769=( - a23 *kap *r7376 - ---*a23 *kap*r7688 - ---*b12 *kap *r7376
2 2
1 2 2
- ---*b12 *kap *r7688)/(a23*b12)
2
r7770=0
r7771=0
r7772=0
r7773=0
r7774=0
r7775=0
r7776=0
r7777=
2 2 1 2 5 2 2 1 2
---*a23 *kap*r7376 + ---*a23 *r7688 + ---*b12 *kap *r7376 + ---*b12 *kap*r7688
3 3 3 3
--------------------------------------------------------------------------------
2
b12
1 2 5 2 2
- ---*a23 *kap*r7571 - ---*b12 *kap *r7571
3 6
r7778=---------------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r7378 - ---*b12 *kap *r7378
3 3
r7779=---------------------------------------------
2
b12
r7780=0
r7781=0
r7782=0
r7783=0
r7784=0
r7785=0
r7786=0
r7787=0
r7788=0
1 2 2 1 2 5 2 3
r7789=( - ---*a23 *kap *r7376 - ---*a23 *kap*r7688 - ---*b12 *kap *r7376
3 6 6
1 2 2
- ---*b12 *kap *r7688)/(a23*b12)
6
r7790=0
r7791=0
a33=0
a22=0
a13=0
a11=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r7376, r7378, r7571, r7683, r7686, r7688, 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.
{b12,
a23,
3
{---*b12*r7376,
2
3
---*b12*r7376,
2
3
---*b12*r7376,
2
1
---*b12*r7376,
2
3
---*b12*r7376,
2
3*b12*r7376,
3
---*b12*r7376,
2
3
---*b12*r7376,
2
3
---*b12*r7376,
2
1
---*b12*r7376,
2
r7378,
2*r7378,
r7378,
r7376,
2*r7376,
r7376,
2*r7378,
2*r7378,
2*r7376,
2*r7376,
r7378,
r7376,
1 4 2 1 4
---*b12 *kap *r7376 - ---*b12 *kap*r7688,
2 2
1 4
---*b12 *kap*r7688,
2
2 2 3 4 2
a23 *b12 *kap*r7376 + ---*b12 *kap *r7376,
2
2*a23*r7378,
2*a23*r7378,
1 4
---*b12 *kap*r7688,
2
4 2
b12 *kap *r7376,
2*a23*r7378,
1 4 2
---*b12 *kap *r7376,
2
4 4 4 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
r7688,
4 2
2*b12 *kap *r7376,
4 2
2*b12 *kap *r7376,
208421 6 4 2 1 6 4
--------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
61425 6
377 6 4 985199 4 6 3
+ -----*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
405 245700
1 4 6 2 383 4 6 2
+ ---*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688
6 1620
7 2 8 4 7 2 8 3
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
60 36
145307 6 4 2 1 6 4
--------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
20475 6
2203 6 4 549833 4 6 3
- ------*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
405 81900
1 4 6 2 9127 4 6 2
+ ---*a23 *b12 *kap *r7683 - ------*a23 *b12 *kap *r7688
6 1620
7 2 8 4 7 2 8 3
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
60 36
32 4 26 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
63407 6 4 2 1 6 4
-------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
20475 6
497 6 4 222233 4 6 3
+ -----*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
405 81900
1 4 6 2 1673 4 6 2
+ ---*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688
6 1620
7 2 8 4 7 2 8 3
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
60 36
208 6 4 2 2 13 2 4 3
-----*a23 *kap*r7378 + 12*a23 *b12 *kap *r7378 - ----*a23 *b12 *kap *r7378,
15 15
44698 6 4 2 5 6 4
-------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
1365 3
526 6 4 95311 4 6 3
+ -----*a23 *b12 *kap*r7688 + -------*a23 *b12 *kap *r7376
81 2730
5 4 6 2 737 4 6 2
+ ---*a23 *b12 *kap *r7683 + -----*a23 *b12 *kap *r7688
3 162
7 2 8 4 35 2 8 3
+ ---*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
6 18
284204 8 4 2 50 8 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
5733 21
4324 8 4 2392168 6 6 3
+ ------*a23 *b12 *kap*r7688 + ---------*a23 *b12 *kap *r7376
567 47775
97 6 6 2 13424 6 6 2
+ ----*a23 *b12 *kap *r7683 + -------*a23 *b12 *kap *r7688
42 2835
29699 4 8 4 1 4 8 3
- --------*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7683
573300 14
10613 4 8 3 1 2 10 5
- -------*a23 *b12 *kap *r7688 - ----*a23 *b12 *kap *r7376
3780 20
1 2 10 4
+ ----*a23 *b12 *kap *r7688,
12
2*r7378,
2*r7378,
r7378,
b12*r7571,
b12*r7571,
1
---*b12*r7571,
2
2*r7378,
2*r7378,
b12*r7571,
b12*r7571,
r7378,
1
---*b12*r7571,
2
b12*r7571,
4 2 4
2*b12 *kap *r7376 - b12 *kap*r7688,
2*b12*r7571,
2 2 4 2 4
4*a23 *b12 *kap*r7376 + 6*b12 *kap *r7376 - b12 *kap*r7688,
b12*r7571,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
3*b12*r7571,
4 2 4
2*b12 *kap *r7376 - b12 *kap*r7688,
3*b12*r7571,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
2*b12*r7571,
2
a23*b12 *kap*r7686,
4 2 2 2
4*a23 *kap*r7378 + 4*a23 *b12 *kap *r7378,
2
a23*b12 *kap*r7686,
200 4 3 74 2 5 2
-----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
4 2 4
4*b12 *kap *r7376 - 2*b12 *kap*r7688,
200 4 3 74 2 5 2
-----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
2
2*a23*b12 *kap*r7686,
200 4 3 74 2 5 2
-----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
148 4 3 148 2 5 2
-----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571,
63 63
200 2 4 2 344 2 4 146 6 3
-----*a23 *b12 *kap *r7376 - -----*a23 *b12 *kap*r7688 + -----*b12 *kap *r7376
27 27 27
317 6 2
- -----*b12 *kap *r7688,
27
148 4 3 148 2 5 2
-----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571,
63 63
5 2 1 3 4 2
2*a23 *b12 *kap*r7686 - ---*a23 *b12 *kap *r7686,
2
32 6 26 4 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
208 4 3 271 2 5 2
-----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571,
63 63
3 4 2
a23 *b12 *kap *r7686,
208 6 4 2 2 13 2 4 3
-----*a23 *kap*r7378 + 12*a23 *b12 *kap *r7378 - ----*a23 *b12 *kap *r7378,
15 15
88 8 3 238 6 5 2
----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
35 45
173 4 7 3
+ -----*a23 *b12 *kap *r7571,
630
128 8 3 872 6 5 2
-----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
105 315
173 4 7 3
+ -----*a23 *b12 *kap *r7571,
315
4 2 4 2 5 2 4 5 6 3
---*a23 *b12 *kap *r7376 - ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
5 6 2
- ---*b12 *kap *r7688,
6
1 4
---*b12 *kap*r7688,
2
1 4 2 1 4
---*b12 *kap *r7376 - ---*b12 *kap*r7688,
2 2
1 2
---*b12 *r7686,
2
1 2
---*b12 *r7686,
2
1 4
---*b12 *kap*r7683,
2
4 2 1 4 1 4
b12 *kap *r7376 - ---*b12 *kap*r7683 - ---*b12 *kap*r7688,
2 2
1 2
---*b12 *r7686,
2
1 4 2 1 4
---*b12 *kap *r7376 - ---*b12 *kap*r7683,
2 2
3 2
2*a23 *r7378 + 2*a23*b12 *kap*r7378,
2
a23*b12 *kap*r7686,
4 2 2 2
2*a23 *kap*r7378 + 2*a23 *b12 *kap *r7378,
2
a23*b12 *kap*r7686,
4 2 4
2*b12 *kap *r7376 - 2*b12 *kap*r7683,
10 2 4 2 2 4 2 2 4
----*a23 *b12 *kap *r7376 - 2*a23 *b12 *kap*r7683 + ---*a23 *b12 *kap*r7688
3 3
2 6 3 5 6 2
- ---*b12 *kap *r7376 + ---*b12 *kap *r7688,
3 3
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
2
2*a23*b12 *kap*r7686,
4 2 4
4*b12 *kap *r7376 - 3*b12 *kap*r7683,
4 4 2 4 4 4 4
4*a23 *b12 *kap *r7376 - 2*a23 *b12 *kap*r7683 - a23 *b12 *kap*r7688
1 2 6 2
- ---*a23 *b12 *kap *r7688,
2
100 4 4 2 4 4 172 4 4
-----*a23 *b12 *kap *r7376 - 2*a23 *b12 *kap*r7683 - -----*a23 *b12 *kap*r7688
27 27
8 2 6 3 317 2 6 2
- ----*a23 *b12 *kap *r7376 - -----*a23 *b12 *kap *r7688,
27 54
20 6 14 4 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
5 2 1 3 4 2
2*a23 *b12 *kap*r7686 - ---*a23 *b12 *kap *r7686,
2
475042 4 4 2 26 4 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
12285 3
266 4 4 622462 2 6 3
- -----*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
81 12285
13 2 6 2 266 2 6 2
+ ----*a23 *b12 *kap *r7683 - -----*a23 *b12 *kap *r7688,
6 81
56 8 50 6 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
3 4 2
a23 *b12 *kap *r7686,
2107648 4 4 2 44 4 4
---------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
12285 3
1402 4 4 2279638 2 6 3
+ ------*a23 *b12 *kap*r7688 + ---------*a23 *b12 *kap *r7376
81 12285
26 2 6 2 1402 2 6 2
+ ----*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688,
3 81
523826 8 4 2 37 8 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
2457 3
2234 8 4 27820717 6 6 3
+ ------*a23 *b12 *kap*r7688 + ----------*a23 *b12 *kap *r7376
81 122850
21 6 6 2 5453 6 6 2
+ ----*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688
2 270
645383 4 8 4 1 4 8 3
+ --------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap *r7683
81900 6
12277 4 8 3 7 2 10 5
- -------*a23 *b12 *kap *r7688 + ----*a23 *b12 *kap *r7376
1620 60
7 2 10 4
- ----*a23 *b12 *kap *r7688,
36
3 2
2*a23 *r7378 + 2*a23*b12 *kap*r7378,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
2 3 5 2
a23 *b12 *kap*r7571 + b12 *kap *r7571,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
2 3 5 2
2*a23 *b12 *kap*r7571 + 2*b12 *kap *r7571,
2 4 2 2 4 6 3
4*a23 *b12 *kap *r7376 - 2*a23 *b12 *kap*r7688 + 2*b12 *kap *r7376
6 2
- b12 *kap *r7688,
14 2 3 14 5 2
----*a23 *b12 *kap*r7571 + ----*b12 *kap *r7571,
9 9
1 4 2
---*a23*b12 *kap *r7686,
2
20 6 14 4 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
16 3 3 25 5 2
----*a23 *b12 *kap*r7571 + ----*a23*b12 *kap *r7571,
9 9
4 5 2 1 3 4 2
---*a23 *b12 *kap*r7686 + ---*a23 *b12 *kap *r7686,
3 3
56 8 50 6 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
6 3 515 4 5 2 74 2 7 3
4*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571 + ----*a23 *b12 *kap *r7571
63 63
,
64 6 3 466 4 5 2
----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
21 63
148 2 7 3
+ -----*a23 *b12 *kap *r7571,
63
1 2 4 2 5 2 4 5 6 3
---*a23 *b12 *kap *r7376 - ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
5 6 2
- ---*b12 *kap *r7688,
6
1 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
1 6 2
- ---*b12 *kap *r7688,
3
1 4 2
---*a23*b12 *kap *r7686,
2
1 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
1 6 2 1 6 2
- ---*b12 *kap *r7683 + ---*b12 *kap *r7688,
2 6
2 6 2 5 4 3 3
---*a23 *b12*kap *r7378 + ---*a23 *b12 *kap *r7378,
3 3
4 5 2 1 3 4 2
---*a23 *b12 *kap*r7686 + ---*a23 *b12 *kap *r7686,
3 3
90604 6 4 2 6 4
-------*a23 *b12 *kap *r7376 + 8*a23 *b12 *kap*r7683
819
124 6 4 90877 4 6 3
+ -----*a23 *b12 *kap*r7688 + -------*a23 *b12 *kap *r7376
9 819
4 6 2 251 4 6 2
+ 6*a23 *b12 *kap *r7683 + -----*a23 *b12 *kap *r7688
18
13 2 8 4 1 2 8 3
- ----*a23 *b12 *kap *r7376 - ---*a23 *b12 *kap *r7688
2 2
11 10 5 2 10 4
- ----*b12 *kap *r7376 - ---*b12 *kap *r7688,
6 3
41662 6 4 2 6 4 6 4
-------*a23 *b12 *kap *r7376 + 6*a23 *b12 *kap*r7683 + 5*a23 *b12 *kap*r7688
819
47395 4 6 3 4 6 2
+ -------*a23 *b12 *kap *r7376 + 4*a23 *b12 *kap *r7683
819
4 6 2 3 2 8 4
+ 5*a23 *b12 *kap *r7688 + ---*a23 *b12 *kap *r7376,
2
2 6 2 5 4 3 3
---*a23 *b12*kap *r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 4 5 2 5 2 7 3
---*a23 *b12 *kap *r7571 + ---*a23 *b12 *kap *r7571,
3 6
2 6 3 5 4 5 2
---*a23 *b12 *kap*r7571 + ---*a23 *b12 *kap *r7571,
3 3
4 4 4 2 2 4 4 14 2 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ----*a23 *b12 *kap *r7376
9 9 9
4 2 6 2 11 8 4 2 8 3
+ ---*a23 *b12 *kap *r7688 + ----*b12 *kap *r7376 + ---*b12 *kap *r7688,
9 18 9
r7376,
b12*r7571,
2*r7376,
b12*r7571,
r7376,
b12*r7571,
2*r7378,
2*r7378,
r7378,
2*r7376,
b12*r7571,
2*r7376,
b12*r7571,
2*r7378,
2*r7378,
r7376,
1
---*b12*r7571,
2
r7378,
2*a23*r7378,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
1 2
---*a23*b12 *kap*r7686,
2
4 2 4
2*b12 *kap *r7376 - b12 *kap*r7688,
r7571,
4 2 4
2*b12 *kap *r7376 - b12 *kap*r7688,
r7571,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
4 2 4
2*b12 *kap *r7376 - b12 *kap*r7688,
r7571,
2*a23*r7378,
r7688,
74 4 3 74 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
4 2
2*b12 *kap *r7376,
74 4 3 74 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
4 2 2 2
4*a23 *kap*r7378 + 4*a23 *b12 *kap *r7378,
r7686,
4 2 4
6*b12 *kap *r7376 - 2*b12 *kap*r7688,
74 4 3 74 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
63 63
32 4 26 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 3 4 2
---*a23 *b12 *kap *r7686,
2
16 4 4 2 16 4 4
----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap*r7688
27 27
70 2 6 3 43 2 6 2
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
27 27
20 4 3 41 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
21 21
32 4 26 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
44698 6 4 2 5 6 4
-------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
1365 3
526 6 4 95311 4 6 3
+ -----*a23 *b12 *kap*r7688 + -------*a23 *b12 *kap *r7376
81 2730
5 4 6 2 737 4 6 2
+ ---*a23 *b12 *kap *r7683 + -----*a23 *b12 *kap *r7688
3 162
7 2 8 4 35 2 8 3
+ ---*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
6 18
64 8 3 436 6 5 2
-----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
105 315
173 4 7 3
+ -----*a23 *b12 *kap *r7571,
630
208 6 4 2 2 13 2 4 3
-----*a23 *kap*r7378 + 12*a23 *b12 *kap *r7378 - ----*a23 *b12 *kap *r7378,
15 15
2*a23*r7378,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
1 2
---*a23*b12 *kap*r7686,
2
r7571,
b12*r7683 - b12*r7688,
r7571,
b12*r7683 - b12*r7688,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7378,
r7571,
b12*r7683 - b12*r7688,
1 2
---*a23*b12 *kap*r7686,
2
2*a23*r7571,
4 2 4 4
8*a23*b12 *kap *r7376 - 2*a23*b12 *kap*r7683 - 2*a23*b12 *kap*r7688,
2
2*a23 *b12*r7571,
4 2 4
4*b12 *kap *r7376 - 2*b12 *kap*r7683,
16 4 16 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
2
2*a23 *b12*r7571,
4 2 4 4
4*b12 *kap *r7376 - 4*b12 *kap*r7683 + 2*b12 *kap*r7688,
2
2*a23*b12 *kap*r7686,
3
2*a23 *r7686,
56 4 50 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 3 4 2
---*a23 *b12 *kap *r7686,
2
20 4 3 41 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
21 21
132056 4 4 2 28 4 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
1365 3
1564 4 4 142976 2 6 3
- ------*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
81 1365
13 2 6 2 1483 2 6 2
+ ----*a23 *b12 *kap *r7683 - ------*a23 *b12 *kap *r7688,
3 81
5 2 1 3 4 2
2*a23 *b12 *kap*r7686 - ---*a23 *b12 *kap *r7686,
2
40 4 3 82 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
21 21
2216848 4 4 2 32 4 4
---------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
12285 3
1708 4 4 2265988 2 6 3
+ ------*a23 *b12 *kap*r7688 + ---------*a23 *b12 *kap *r7376
81 12285
26 2 6 2 1708 2 6 2
+ ----*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688,
3 81
3 4 2
a23 *b12 *kap *r7686,
4 2
2*b12 *kap *r7376,
2 3 5 2
a23 *b12 *kap*r7571 + b12 *kap *r7571,
4
b12 *kap*r7688,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
3 2
2*a23 *r7378 + 2*a23*b12 *kap*r7378,
2
b12 *r7686,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
4
b12 *kap*r7683,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
4 6 10 4 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
3 2 1 4 2
2*a23 *b12 *kap*r7686 - ---*a23*b12 *kap *r7686,
2
6 4 2 2
8*a23 *kap*r7378 + 8*a23 *b12 *kap *r7378,
2 4 2 2 4 2 4
4*a23 *b12 *kap *r7376 - 4*a23 *b12 *kap*r7683 + 2*a23 *b12 *kap*r7688
6 3 6 2
- 2*b12 *kap *r7376 + b12 *kap *r7688,
2 2 3 5 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
20 6 14 4 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
80 4 4 2 4 4 34 4 4
----*a23 *b12 *kap *r7376 - 4*a23 *b12 *kap*r7683 + ----*a23 *b12 *kap*r7688
9 9
10 2 6 3 34 2 6 2
- ----*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap *r7688,
9 9
8 6 3 305 4 5 2
---*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
3 63
74 2 7 3
+ ----*a23 *b12 *kap *r7571,
63
56 8 50 6 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
4 6 10 4 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 4 2
---*a23*b12 *kap *r7686,
2
2 2 5 2
---*a23 *r7571 + ---*b12 *kap*r7571,
3 3
6 2 6 2
b12 *kap *r7683 - b12 *kap *r7688,
1 4 2
---*a23*b12 *kap *r7686,
2
4 3 3 10 5 2
---*a23 *b12 *kap*r7571 + ----*a23*b12 *kap *r7571,
3 3
90604 2 2 2 2 124 2 2
-------*a23 *b12 *kap*r7376 + 8*a23 *b12 *r7683 + -----*a23 *b12 *r7688
819 9
93880 4 2 4 124 4
+ -------*b12 *kap *r7376 + 6*b12 *kap*r7683 + -----*b12 *kap*r7688,
819 9
4 5 2 1 3 4 2
---*a23 *b12 *kap*r7686 + ---*a23 *b12 *kap *r7686,
3 3
8 2 6 3 4 2 6 2 11 8 4
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap *r7688 + ----*b12 *kap *r7376
3 3 3
4 8 3
+ ---*b12 *kap *r7688,
3
1 4 5 2 5 2 7 3
---*a23 *b12 *kap *r7571 + ---*a23 *b12 *kap *r7571,
3 6
2 6 2 5 4 3 3
---*a23 *b12*kap *r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 4 2
---*b12 *kap *r7376,
2
r7571,
1 4
---*b12 *kap*r7683,
2
r7571,
1 1
---*b12*kap*r7376 - ---*b12*r7683,
2 2
2*a23*r7378,
1 2
---*b12 *r7686,
2
2*a23*r7378,
1 2
---*b12 *r7686,
2
1 4
---*b12 *kap*r7688,
2
r7571,
1 1
b12*kap*r7376 - ---*b12*r7683 - ---*b12*r7688,
2 2
2*a23*r7378,
1 2
---*b12 *r7686,
2
1 1
---*b12*kap*r7376 - ---*b12*r7688,
2 2
3 2
2*a23 *r7378 + 2*a23*b12 *kap*r7378,
a23*b12*kap*r7686,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
4 2 4
6*b12 *kap *r7376 - 2*b12 *kap*r7688,
b12*r7683,
4 2 2 2
2*a23 *kap*r7378 + 2*a23 *b12 *kap *r7378,
a23*b12*kap*r7686,
r7688,
4 4 1 2 6 2
a23 *b12 *kap*r7688 + ---*a23 *b12 *kap *r7688,
2
20 4 3 41 2 5 2
----*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
21 21
671602 4 4 2 8 4 4
--------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7683
12285 3
806 4 4 671602 2 6 3
- -----*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
81 12285
13 2 6 2 806 2 6 2
+ ----*a23 *b12 *kap *r7683 - -----*a23 *b12 *kap *r7688,
6 81
4 2 2 2
12*a23 *kap*r7378 + 12*a23 *b12 *kap *r7378,
1 3 4 2
---*a23 *b12 *kap *r7686,
2
62 4 4 2 8 4 4
----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap*r7688
27 27
62 2 6 3 43 2 6 2
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
27 54
104 8 98 6 2 2
-----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
44 4 4 2 26 4 4
----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap*r7688
9 9
26 2 6 3 26 2 6 2
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
9 9
142102 8 4 2 25 8 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
819 3
2162 8 4 2503913 6 6 3
+ ------*a23 *b12 *kap*r7688 + ---------*a23 *b12 *kap *r7376
81 13650
17 6 6 2 4913 6 6 2
+ ----*a23 *b12 *kap *r7683 + ------*a23 *b12 *kap *r7688
2 270
699983 4 8 4 1 4 8 3
+ --------*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap *r7683
81900 6
14077 4 8 3 7 2 10 5
- -------*a23 *b12 *kap *r7688 + ----*a23 *b12 *kap *r7376
1620 60
7 2 10 4
- ----*a23 *b12 *kap *r7688,
36
3 2
2*a23 *r7378 + 2*a23*b12 *kap*r7378,
r7686,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
2 3 5 2
a23 *b12 *kap*r7571 + b12 *kap *r7571,
2*r7683 - 2*r7688,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
r7686,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
3 3 5 2
2*a23 *b12 *kap*r7571 + 2*a23*b12 *kap *r7571,
2 4 2 2 4 2 4
12*a23 *b12 *kap *r7376 - 4*a23 *b12 *kap*r7683 - 2*a23 *b12 *kap*r7688
6 3 6 2
+ 2*b12 *kap *r7376 - b12 *kap *r7688,
86 2 3 86 5 2
----*a23 *b12 *kap*r7571 + ----*b12 *kap *r7571,
21 21
5 2 1 3 4 2
2*a23 *b12 *kap*r7686 + ---*a23 *b12 *kap *r7686,
2
28 4 34 2 2 2
----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
380 2 3 359 5 2
-----*a23 *b12 *kap*r7571 + -----*b12 *kap *r7571,
21 21
3 4 2
a23 *b12 *kap *r7686,
104 8 98 6 2 2
-----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
20 6 3 443 4 5 2
----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
7 63
74 2 7 3
+ ----*a23 *b12 *kap *r7571,
63
64 6 3 466 4 5 2
----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
21 63
148 2 7 3
+ -----*a23 *b12 *kap *r7571,
63
10 2 4 2 5 2 4 7 6 3
----*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 3 3
5 6 2
+ ---*b12 *kap *r7688,
3
2 2 5 2
---*a23 *r7571 + ---*b12 *kap*r7571,
3 3
1 4 4 2 1 4 4 7 2 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ----*a23 *b12 *kap *r7376
2 4 12
1 2 6 2 7 2 6 2 11 8 4
- ---*a23 *b12 *kap *r7683 - ----*a23 *b12 *kap *r7688 - ----*b12 *kap *r7376
2 12 12
1 8 3
- ---*b12 *kap *r7688,
3
4 4 10 2 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
2 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 3 3
1 6 2 1 6 2
- ---*b12 *kap *r7683 - ---*b12 *kap *r7688,
2 6
4 6 2 10 4 3 3
---*a23 *b12*kap *r7378 + ----*a23 *b12 *kap *r7378,
3 3
2 7 2 1 5 4 2
---*a23 *b12 *kap*r7686 - ---*a23 *b12 *kap *r7686,
3 3
91696 2 2 2 2 130 2 2
-------*a23 *b12 *kap*r7376 + 8*a23 *b12 *r7683 + -----*a23 *b12 *r7688
819 9
96610 4 2 4 130 4
+ -------*b12 *kap *r7376 + 6*b12 *kap*r7683 + -----*b12 *kap*r7688,
819 9
34564 6 4 2 6 4
-------*a23 *b12 *kap *r7376 + 6*a23 *b12 *kap*r7683
819
26 6 4 41116 4 6 3
+ ----*a23 *b12 *kap*r7688 + -------*a23 *b12 *kap *r7376
3 819
4 6 2 26 4 6 2 2 8 4
+ 4*a23 *b12 *kap *r7683 + ----*a23 *b12 *kap *r7688 + a23 *b12 *kap *r7376,
3
4 4 2 10 2 3 3
---*a23 *b12*kap *r7378 + ----*a23 *b12 *kap *r7378,
3 3
2 2 5 2 5 7 3
---*a23 *b12 *kap *r7571 + ---*b12 *kap *r7571,
3 3
4 6 3 10 4 5 2
---*a23 *b12 *kap*r7571 + ----*a23 *b12 *kap *r7571,
3 3
10 4 4 2 5 4 4
----*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688
9 9
29 2 6 3 7 2 6 2 11 8 4
+ ----*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap *r7688 + ----*b12 *kap *r7376
9 9 18
2 8 3
+ ---*b12 *kap *r7688,
9
4 2
2*b12 *kap *r7376,
2 3 5 2
a23 *b12 *kap*r7571 + b12 *kap *r7571,
r7683,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
4 2 2 2
2*a23 *kap*r7378 + 2*a23 *b12 *kap *r7378,
r7686,
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
r7688,
1 2 3 1 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
2 4 2 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
4 6 10 4 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 3 4 2
---*a23 *b12 *kap *r7686,
2
2 4 2 2 4 6 3
4*a23 *b12 *kap *r7376 - 2*a23 *b12 *kap*r7688 + 2*b12 *kap *r7376
6 2
- b12 *kap *r7688,
14 2 3 11 5 2
----*a23 *b12 *kap*r7571 + ----*b12 *kap *r7571,
3 3
2 10 8 6 4 3
---*a23 *kap*r7378 - ---*a23 *b12 *kap *r7378,
3 3
44 4 4 2 26 4 4
----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap*r7688
9 9
26 2 6 3 26 2 6 2
+ ----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688,
9 9
32 6 3 233 4 5 2
----*a23 *b12 *kap*r7571 + -----*a23 *b12 *kap *r7571
21 63
74 2 7 3
+ ----*a23 *b12 *kap *r7571,
63
104 8 98 6 2 2
-----*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
4 4 10 2 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 3 4 2
---*a23 *b12 *kap *r7686,
2
2 2 3 5 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
6 2 6 2
b12 *kap *r7683 - b12 *kap *r7688,
1 3 4 2
---*a23 *b12 *kap *r7686,
2
4 3 3 10 5 2
---*a23 *b12 *kap*r7571 + ----*a23*b12 *kap *r7571,
3 3
182300 4 4 2 16 4 4
--------*a23 *b12 *kap *r7376 + ----*a23 *b12 *kap*r7683
2457 3
254 4 4 199226 2 6 3
+ -----*a23 *b12 *kap*r7688 + --------*a23 *b12 *kap *r7376
27 2457
10 2 6 2 248 2 6 2
+ ----*a23 *b12 *kap *r7683 + -----*a23 *b12 *kap *r7688
3 27
26 8 4 2 8 3
+ ----*b12 *kap *r7376 - ---*b12 *kap *r7688,
9 9
3 4 2
a23 *b12 *kap *r7686,
4 2 2 2 10 3 2
---*a23 *b12*kap*r7376 + ---*a23 *b12*r7688 + ----*b12 *kap *r7376
3 3 3
2 3
+ ---*b12 *kap*r7688,
3
2 2 5 2 5 7 3
---*a23 *b12 *kap *r7571 + ---*b12 *kap *r7571,
3 3
4 6 2 10 4 3 3
---*a23 *b12*kap *r7378 + ----*a23 *b12 *kap *r7378,
3 3
5 2 4 2 5 2 4 7 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
5 6 2
+ ---*b12 *kap *r7688,
6
2 2 3 5 5 2
---*a23 *b12 *kap*r7571 + ---*b12 *kap *r7571,
3 3
1 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
1 6 2 1 6 2
- ---*b12 *kap *r7683 + ---*b12 *kap *r7688,
2 6
4 4 10 2 2 2
---*a23 *kap*r7378 + ----*a23 *b12 *kap *r7378,
3 3
1 4 2
---*a23*b12 *kap *r7686,
2
1 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
1 6 2
- ---*b12 *kap *r7688,
3
2 8 2 2 5 6 4 3
---*a23 *b12 *kap *r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 4 4 2 1 4 4 5 2 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 - ---*a23 *b12 *kap *r7376
3 6 6
1 2 6 2 13 8 4 1 8 3
+ ---*a23 *b12 *kap *r7688 - ----*b12 *kap *r7376 + ---*b12 *kap *r7688,
3 6 6
5 4 4 2 91 4 4
----*a23 *b12 *kap *r7376 - -----*a23 *b12 *kap*r7688
54 108
113 2 6 3 47 2 6 2
- -----*a23 *b12 *kap *r7376 - ----*a23 *b12 *kap *r7688
108 54
13 8 4 1 8 3
+ ----*b12 *kap *r7376 - ----*b12 *kap *r7688,
36 36
2 6 2 5 4 3 3
---*a23 *b12*kap *r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 2 5 2 5 7 3
---*a23 *b12 *kap *r7571 + ---*b12 *kap *r7571,
3 6
2 4 3 5 2 5 2
---*a23 *b12 *kap*r7571 + ---*a23 *b12 *kap *r7571,
3 3
2 4 2 1 2 4 5 6 3
a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
2 2
1 6 2
+ ---*b12 *kap *r7688,
2
2 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 3 3
1 6 2
+ ---*b12 *kap *r7688,
3
1 2 5 2 5 7 3
---*a23 *b12 *kap *r7571 + ---*b12 *kap *r7571,
3 6
2 4 5 2 2 2
---*a23 *kap*r7378 + ---*a23 *b12 *kap *r7378,
3 3
1 2 4 2 1 2 4 5 6 3
---*a23 *b12 *kap *r7376 + ---*a23 *b12 *kap*r7688 + ---*b12 *kap *r7376
3 6 6
1 6 2
+ ---*b12 *kap *r7688}}
6
Relevance for the application:
Modulo the following equation:
2 2
0=a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12
has apart from the Hamiltonian and Casimirs the following 6 first integrals:
6 5 2 2 3 4 3
FI=u1 *u3*( - 1890*a23 *b12 *kap - 1890*a23 *b12 *kap )
5 6 4 3 2
+ u1 *u3*v3*(3780*a23 *b12*kap + 3780*a23 *b12 *kap )
4 2 5 2 2 3 4 3
+ u1 *u2 *u3*( - 5670*a23 *b12 *kap - 5670*a23 *b12 *kap )
4 3 5 2 2 3 4 3 6 4
+ u1 *u3 *( - 9555*a23 *b12 *kap - 9870*a23 *b12 *kap - 315*a23*b12 *kap )
4 2
+ u1 *u3 *v1
6 4 3 2 2 5 3
*( - 1890*a23 *b12*kap - 3780*a23 *b12 *kap - 1890*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v1 *(1890*a23 *b12 *kap - 3780*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v2 *(1890*a23 *b12 *kap + 1890*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v3 *(9450*a23 *b12 *kap + 9450*a23 *b12 *kap )
3 2 6 4 3 2 3 2
+ u1 *u2 *u3*v3*(7560*a23 *b12*kap + 7560*a23 *b12 *kap ) + u1 *u2*u3 *v2
6 4 3 2 2 5 3
*(106680*a23 *b12*kap + 104160*a23 *b12 *kap - 2520*a23 *b12 *kap )
3 3 4 2
- 11340*u1 *u2*u3*v1*v2*a23 *b12 *kap
3 3 6 4 3 2
+ u1 *u3 *v3*(32760*a23 *b12*kap + 32760*a23 *b12 *kap )
3 2 5 2 3 4 2
+ u1 *u3 *v1*v3*(22680*a23 *b12 *kap + 11340*a23 *b12 *kap )
3 2 4 3 2 4
+ 11340*u1 *u3*v1 *v3*a23 *b12 *kap + u1 *u2 *u3
5 2 2 3 4 3 6 4
*( - 6300*a23 *b12 *kap - 8820*a23 *b12 *kap - 2520*a23*b12 *kap )
2 2 3 7 5 2 2
+ u1 *u2 *u3 *(98280*a23 *kap + 98280*a23 *b12 *kap )
2 2 2 6 4 3 2
+ u1 *u2 *u3 *v1*( - 163800*a23 *b12*kap - 163800*a23 *b12 *kap )
2 2 2 5 2 3 4 2 2 2 2
+ u1 *u2 *u3*v1 *(3780*a23 *b12 *kap - 1890*a23 *b12 *kap ) + u1 *u2 *u3*v2
5 2 3 4 2 6 3
*(2835*a23 *b12 *kap - 6615*a23 *b12 *kap - 3780*a23*b12 *kap )
2 2 2 5 2 3 4 2
+ u1 *u2 *u3*v3 *(18900*a23 *b12 *kap + 18900*a23 *b12 *kap )
2 2 5 2 3 4 2
+ u1 *u2*u3 *v2*v3*(22680*a23 *b12 *kap + 11340*a23 *b12 *kap )
2 4 3 2 5 7
+ 22680*u1 *u2*u3*v1*v2*v3*a23 *b12 *kap + u1 *u3 *(302680*a23 *kap
5 2 2 3 4 3 6 4
+ 206346*a23 *b12 *kap - 98539*a23 *b12 *kap - 2205*a23*b12 *kap )
2 4 6 4 3 2
+ u1 *u3 *v1*( - 32760*a23 *b12*kap - 32760*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u1 *u3 *v1 *( - 3360*a23 *b12 *kap - 9030*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u1 *u3 *v2 *( - 112840*a23 *b12 *kap - 112840*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u1 *u3 *v3 *(11340*a23 *b12 *kap + 5670*a23 *b12 *kap )
2 2 3 4 3 2 2 2 4 3
- 11340*u1 *u3 *v1 *a23 *b12 *kap + 22680*u1 *u3 *v1*v3 *a23 *b12 *kap
2 4 3 4 2 2 2 3 4
+ 5670*u1 *u3*v1 *a23 *b12 *kap + 5670*u1 *u3*v1 *v2 *a23 *b12 *kap
2 2 2 3 4
+ 5670*u1 *u3*v1 *v3 *a23 *b12 *kap
4 4 3 2 2 5 3
+ u1*u2 *u3*v3*( - 15120*a23 *b12 *kap - 15120*a23 *b12 *kap )
3 2 6 4 3 2
+ u1*u2 *u3 *v2*(156240*a23 *b12*kap + 156240*a23 *b12 *kap )
3 3 4 2
- 11340*u1*u2 *u3*v1*v2*a23 *b12 *kap
2 3 6 4 3 2
+ u1*u2 *u3 *v3*( - 42840*a23 *b12*kap - 42840*a23 *b12 *kap )
2 2 5 2 3 4 2
+ u1*u2 *u3 *v1*v3*(22680*a23 *b12 *kap + 11340*a23 *b12 *kap )
2 2 4 3
+ 11340*u1*u2 *u3*v2 *v3*a23 *b12 *kap
4 6 4 3 2
+ u1*u2*u3 *v2*(239120*a23 *b12*kap + 239120*a23 *b12 *kap )
3 5 2 3 4 2
+ u1*u2*u3 *v1*v2*(218960*a23 *b12 *kap + 207620*a23 *b12 *kap )
2 2 4 3
- 22680*u1*u2*u3 *v1 *v2*a23 *b12 *kap
2 2 4 3 3 3 4
+ 22680*u1*u2*u3 *v2*v3 *a23 *b12 *kap + 11340*u1*u2*u3*v1 *v2*a23 *b12 *kap
3 3 4
+ 11340*u1*u2*u3*v1*v2 *a23 *b12 *kap
2 3 4 5
+ 11340*u1*u2*u3*v1*v2*v3 *a23 *b12 *kap + u1*u3 *v3
6 4 3 2 2 5 3
*(73640*a23 *b12*kap + 51590*a23 *b12 *kap - 22050*a23 *b12 *kap )
4 5 2 3 4 2
+ u1*u3 *v1*v3*( - 6720*a23 *b12 *kap - 18060*a23 *b12 *kap )
3 2 4 3 3 3 4 3
- 22680*u1*u3 *v1 *v3*a23 *b12 *kap + 11340*u1*u3 *v3 *a23 *b12 *kap
2 3 3 4 2 2 3 4
+ 11340*u1*u3 *v1 *v3*a23 *b12 *kap + 11340*u1*u3 *v1*v2 *v3*a23 *b12 *kap
2 3 3 4
+ 11340*u1*u3 *v1*v3 *a23 *b12 *kap
6 5 2 2 3 4 3 6 4
+ u2 *u3*( - 2520*a23 *b12 *kap - 5040*a23 *b12 *kap - 2520*a23*b12 *kap )
4 3 7 5 2 2 4 2
+ u2 *u3 *(56700*a23 *kap + 56700*a23 *b12 *kap ) + u2 *u3 *v1*(
6 4 3 2 2 5 3
- 156240*a23 *b12*kap - 158130*a23 *b12 *kap + 5670*a23 *b12 *kap
7 4 4 2 5 2 3 4 2
+ 7560*b12 *kap ) + u2 *u3*v1 *(1890*a23 *b12 *kap + 1890*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u2 *u3*v2 *(1890*a23 *b12 *kap - 3780*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u2 *u3*v3 *(9450*a23 *b12 *kap + 9450*a23 *b12 *kap )
3 2 5 2 3 4 2 2 5
+ u2 *u3 *v2*v3*(22680*a23 *b12 *kap + 11340*a23 *b12 *kap ) + u2 *u3 *(
7 5 2 2 3 4 3
312760*a23 *kap + 229026*a23 *b12 *kap - 85939*a23 *b12 *kap
6 4
- 2205*a23*b12 *kap )
2 4 6 4 3 2
+ u2 *u3 *v1*( - 196280*a23 *b12*kap - 196280*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u2 *u3 *v1 *( - 37240*a23 *b12 *kap - 37240*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u2 *u3 *v2 *(72240*a23 *b12 *kap + 66570*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u2 *u3 *v3 *(11340*a23 *b12 *kap + 5670*a23 *b12 *kap )
2 2 2 4 3 2 5 2
+ u2 *u3 *v1*v2 *(7560*a23 *b12 *kap + 18900*a23 *b12 *kap )
2 2 2 3 4 2 4 3 4
+ 5670*u2 *u3*v1 *v2 *a23 *b12 *kap + 5670*u2 *u3*v2 *a23 *b12 *kap
2 2 2 3 4
+ 5670*u2 *u3*v2 *v3 *a23 *b12 *kap
2 4 5 2 3 4
+ u2 *u3*v3 *(9450*a23 *b12 + 9450*a23 *b12 *kap)
4 5 2 3 4 2
+ u2*u3 *v2*v3*(144480*a23 *b12 *kap + 133140*a23 *b12 *kap )
3 4 3 2 2 3 4
- 22680*u2*u3 *v1*v2*v3*a23 *b12 *kap + 11340*u2*u3 *v1 *v2*v3*a23 *b12 *kap
2 3 3 4 2 3 3 4
+ 11340*u2*u3 *v2 *v3*a23 *b12 *kap + 11340*u2*u3 *v2*v3 *a23 *b12 *kap +
7 7 5 2 2 3 4 3
u3 *(86480*a23 *kap + 53696*a23 *b12 *kap - 31839*a23 *b12 *kap
6 4 6
+ 945*a23*b12 *kap ) + u3 *v1
6 4 3 2 2 5 3
*( - 73640*a23 *b12*kap - 51590*a23 *b12 *kap + 22050*a23 *b12 *kap )
5 2 5 2 3 4 2 6 3
+ u3 *v1 *(13916*a23 *b12 *kap + 11711*a23 *b12 *kap - 2205*a23*b12 *kap )
5 2
+ u3 *v2
5 2 3 4 2 6 3
*( - 61684*a23 *b12 *kap - 63889*a23 *b12 *kap - 2205*a23*b12 *kap )
5 2 5 2 3 4 2 6 3
+ u3 *v3 *(10556*a23 *b12 *kap + 2681*a23 *b12 *kap - 2205*a23*b12 *kap )
4 2 4 3 3 2 2 3 4
- 11340*u3 *v1*v3 *a23 *b12 *kap + 5670*u3 *v1 *v3 *a23 *b12 *kap
3 2 2 3 4 3 4 3 4
+ 5670*u3 *v2 *v3 *a23 *b12 *kap + 5670*u3 *v3 *a23 *b12 *kap
6 2 4 6 4 2 4 4 2
= - u3*(5*(63*((8*u2 + 7*u2 *u3 - 3*u3 + u1 *u3 + (8*u2 + 7*u3 )*u1 )*kap
2 2 2 4 2 2 2 6 2
+ 7*(v2 + v3 + v1 )*u3 + 12*u1 *u2 *v2 )*a23*b12 *kap - 4*
2 2 2 2 4 2 2
((4914*u1 *u2 + 15134*u1 *u3 + 2835*u2 + 15638*u2 *u3
4 7 7 3 4
+ 4324*u3 )*a23 *u3 + 378*b12 *kap *u2 *v1)*u3 + 126*((
3 4 4
((3*u1*v1 + 4*u2*v2)*u1 - (9*u2 + 35*u3 )*v1)*u3
4 4 2 2 2 5
+ (24*u2 + 35*u3 )*u1*v3)*kap - 30*u2 *u3*v1*v2 )*a23 *b12
4
*kap - 14*(27*(2*u1*v3 - u3*v1)*u1
4 2 2 4
- 4*(558*u2 + 701*u2 *u3 + 263*u3 )*u3*v1
2 2 2
- 468*(5*u2 + u3 )*u1 *u3*v1
2 2 3
+ 12*(9*u2 *v3 + 127*u2*u3*v2 + 39*u3 *v3)*u1 + 4
3 2 2 3
*(558*u2 *v2 - 153*u2 *u3*v3 + 854*u2*u3 *v2 + 263*u3 *v3)*u1*u3
6 4
)*a23 *b12 - 14*((54*(u1*v3 - u3*v1)*u1
4 2 2 4
- (2259*u2 + 2804*u2 *u3 + 737*u3 )*u3*v1
2 2 2
- 468*(5*u2 + u3 )*u1 *u3*v1
2 2 3 4
+ 12*(9*u2 *v3 + 124*u2*u3*v2 + 39*u3 *v3)*u1 - (216*u2 *v3
3 2 2 3
- 2232*u2 *u3*v2 + 612*u2 *u3 *v3 - 3416*u2*u3 *v2
4
- 737*u3 *v3)*u1)*kap + 54*(
2 2 2 2 3
((2*u2 *v2 - 6*u2*u3*v2*v3 - 3*u3 *v3 )*u3 + 3*u1 *v1*v3)*v1
2 2
+ 3*(u2*v2*v3 - 2*u3*v1 + u3*v3 )*(u2*v2 + u3*v3)*u1
2 2 2 4 3
- 3*((v1 - 2*v3 )*u3 - 2*u2*v2*v3)*u1 *v1))*a23 *b12 )*kap
2 2 3
- (7*(5*(4*(6*((27*u2 + 172*u3 )*u2*v2 + 27*u1 *v1)*v3
2 2 2 2
- (266*v1 - 516*v2 - 81*v3 )*u2 *u3
2 2
+ 2*(81*u2 *v3 + 782*u2*u3*v2 - 24*u3 *v3)*u1*v1)*u3 + (
2 2 2 2 2 2
108*u2 *v1 + 81*u2 *v2 + 540*u2 *v3 + 648*u2*u3*v2*v3
2 2 2 2 2 2 2
- 96*u3 *v1 - 3224*u3 *v2 + 324*u3 *v3 )*u1
2 2 2 4 4
+ 54*(v2 + 5*v3 + v1 )*(u1 + u2 ))
2 2 2 4 6
- 4*(2203*v2 - 377*v3 - 497*v1 )*u3 )*kap - ((1890*u1
4 2 4 2 2 4
+ 5670*u1 *u2 + 9555*u1 *u3 + 6300*u1 *u2
2 2 2 2 4 6
- 98280*u1 *u2 *u3 - 206346*u1 *u3 + 2520*u2
4 2 2 4 6 2
- 56700*u2 *u3 - 229026*u2 *u3 - 53696*u3 )*kap
2 4 5 2
- 9450*u2 *v3 ))*a23 *b12 - (7*(5*(2*((
2 2
6*(27*u2 + 317*u3 )*v2*v3
2 2 2
- (532*v1 - 951*v2 - 81*v3 )*u2*u3)*u2*u3
3 2 2 2 2
- 162*(u2*v2 - u3*v3)*u1 *v1) - (54*u2 *v1 + 189*u2 *v2
2 2 2 2
- 540*u2 *v3 - 324*u2*u3*v2*v3 + 258*u3 *v1
2 2 2 2 2
+ 3224*u3 *v2 - 162*u3 *v3 )*u1 - 4
3 2 2 3
*(81*u2 *v2 - 81*u2 *u3*v3 - 1483*u2*u3 *v2 + 129*u3 *v3)*u1
2 2 2 4
*v1 + 54*(v2 + 5*v3 - 2*v1 )*u1
2 2 2 4
- 54*(2*v2 - 5*v3 - v1 )*u2 )
2 2 2 4
- (9127*v2 - 383*v3 - 1673*v1 )*u3 )*kap + 1890*(
4 2 2 4 2 2 2
(3*v2 + 3*v2 *v3 + 5*v3 + 3*v1 *v2 )*u2
2 2 2
+ 3*(v2 + v3 + v1 )*(u1*v1 + 2*u2*v2 + u3*v3)*(u1*v1 + u3*v3)
6 4 2 4 2 2 4
) - (1890*u1 + 5670*u1 *u2 + 9870*u1 *u3 + 8820*u1 *u2
2 4 6 2 4 6 2
+ 98539*u1 *u3 + 5040*u2 + 85939*u2 *u3 + 31839*u3 )*kap )
3 4
*a23 *b12 *kap)
{HAM,FI} = 0
4 3 3 2 2
FI= - 3*u1 *u3*v1*v2*b12 *kap - 6*u1 *u2*u3 *v1*a23*b12 *kap
3 2 3 3 2 3
+ 3*u1 *u2*u3*v1 *b12 *kap - 3*u1 *u2*u3*v2 *b12 *kap
3 2 3 3 2
- 3*u1 *u3 *v2*v3*b12 *kap + 6*u1 *u3*v1*v2*v3*a23*b12
2 2 2 3 2 2 3 2
+ u1 *u2 *u3 *v2*(4*a23 - 2*a23*b12 *kap) - 6*u1 *u2*u3 *v3*a23*b12 *kap
2 2 2 3 2 2 2
+ u1 *u2*u3 *v1*v3*(12*a23 *b12 + 3*b12 *kap) - 6*u1 *u2*u3*v1 *v3*a23*b12
2 2 2 2 3 3
+ 6*u1 *u2*u3*v2 *v3*a23*b12 - 3*u1 *u3 *v1*v2*b12 *kap
2 2 2 2 2 2 2 2
- 6*u1 *u3 *v1 *v2*a23*b12 + 6*u1 *u3 *v2*v3 *a23*b12
2 3 3 2 3 3 2 2 3
+ 3*u1 *u3*v1 *v2*b12 + 3*u1 *u3*v1*v2 *b12 + 3*u1 *u3*v1*v2*v3 *b12
3 2 3 2 3 2 3
+ u1*u2 *u3 *v1*(8*a23 + 2*a23*b12 *kap) + 3*u1*u2 *u3*v1 *b12 *kap
3 2 3 2 2 2 3
- 3*u1*u2 *u3*v2 *b12 *kap + u1*u2 *u3 *v2*v3*(12*a23 *b12 - 3*b12 *kap)
2 2 4 2
- 6*u1*u2 *u3*v1*v2*v3*a23*b12 - 6*u1*u2*u3 *v1*a23*b12 *kap
3 2 2 3 3 2 3
+ u1*u2*u3 *v1 *( - 12*a23 *b12 + 3*b12 *kap) - 3*u1*u2*u3 *v2 *b12 *kap
3 2 2 2 3 2
+ 12*u1*u2*u3 *v3 *a23 *b12 + 12*u1*u2*u3 *v1 *a23*b12
4 3 2 2 3 4 3
- 3*u1*u2*u3*v1 *b12 - 3*u1*u2*u3*v1 *v3 *b12 + 3*u1*u2*u3*v2 *b12
2 2 3 4 3
+ 3*u1*u2*u3*v2 *v3 *b12 - 3*u1*u3 *v2*v3*b12 *kap
3 2 2 2 3
- 6*u1*u3 *v1*v2*v3*a23*b12 + 3*u1*u3 *v1 *v2*v3*b12
2 3 3 2 3 3
+ 3*u1*u3 *v2 *v3*b12 + 3*u1*u3 *v2*v3 *b12
4 2 3 2 4 3
+ u2 *u3 *v2*(8*a23 + 2*a23*b12 *kap) + 3*u2 *u3*v1*v2*b12 *kap
3 3 3 2 3 2 3
+ u2 *u3 *v3*(8*a23 + 2*a23*b12 *kap) + 3*u2 *u3 *v1*v3*b12 *kap
2 4 2 2 3 2 3
- 6*u2 *u3 *v2*a23*b12 *kap + u2 *u3 *v1*v2*( - 12*a23 *b12 + 3*b12 *kap)
2 2 2 2 2 2 3 2
+ 12*u2 *u3 *v1 *v2*a23*b12 + 6*u2 *u3 *v2 *a23*b12
2 2 2 2 2 3 3 2 3 3
+ 6*u2 *u3 *v2*v3 *a23*b12 - 3*u2 *u3*v1 *v2*b12 - 3*u2 *u3*v1*v2 *b12
2 2 3 5 2
- 3*u2 *u3*v1*v2*v3 *b12 - 6*u2*u3 *v3*a23*b12 *kap
4 2 3 3 2 2
+ u2*u3 *v1*v3*( - 12*a23 *b12 + 3*b12 *kap) + 12*u2*u3 *v1 *v3*a23*b12
3 2 2 3 3 2 2 3 3
+ 6*u2*u3 *v2 *v3*a23*b12 + 6*u2*u3 *v3 *a23*b12 - 3*u2*u3 *v1 *v3*b12
2 2 3 2 3 3
- 3*u2*u3 *v1*v2 *v3*b12 - 3*u2*u3 *v1*v3 *b12
2 2 3 2
=u3*(2*(((u2 - 3*u3 )*(u2*v2 + u3*v3) - 3*u1 *v1 - (u2*v2 + 3*u3*v3)*u1
2 2 2
+ (u2 - 3*u3 )*u1*v1)*kap*u2*u3 + 3*(u1 *v2*v3 - u1*u2*v1*v3
2 2 2
- u1*u3*v1*v2 + 2*u2*u3*v1 + u2*u3*v2 + u2*u3*v3 )
2
*(u1*v1 + u2*v2 + u3*v3))*a23*b12 - (3*(
2 2 2 2 2 2
(kap*u1 + kap*u2 + kap*u3 - v1 - v2 - v3 )*(u1*v2 - u2*v1)
2 2
*b12 - 4*(u1*v3 - u3*v1)*a23 *u2*u3)*(u1*v1 + u2*v2 + u3*v3)*b12
3 2
- 4*((u1*v2 + 2*u2*v1)*u1 + 2*(u2*v2 + u3*v3)*u2)*a23 *u2 *u3))
{HAM,FI} = 0
4 2 4 3 2 3 3
FI= - 21*u1 *u3*v2 *b12 *kap + u1 *u2*u3 *v2*(224*a23 *b12 + 140*a23*b12 *kap)
3 4 3 2 3
+ 42*u1 *u2*u3*v1*v2*b12 *kap + 42*u1 *u3*v2 *v3*a23*b12
2 2 3 4 2 2
+ u1 *u2 *u3 *(252*a23 + 168*a23 *b12 *kap)
2 2 2 3 3
+ u1 *u2 *u3 *v1*( - 336*a23 *b12 - 252*a23*b12 *kap)
2 2 2 4 2 2 2 4
- 21*u1 *u2 *u3*v1 *b12 *kap - 21*u1 *u2 *u3*v2 *b12 *kap
2 2 2 2 2 3
+ 168*u1 *u2*u3 *v2*v3*a23 *b12 - 84*u1 *u2*u3*v1*v2*v3*a23*b12
2 5 4 2 2 4 2
+ u1 *u3 *(350*a23 + 357*a23 *b12 *kap + 7*b12 *kap )
2 3 2 2 2 4 2 2 2 3
+ u1 *u3 *v2 *(112*a23 *b12 + 91*b12 *kap) - 42*u1 *u3 *v1*v2 *a23*b12
2 2 2 4 2 4 4 2 2 2 4
+ 21*u1 *u3*v1 *v2 *b12 + 21*u1 *u3*v2 *b12 + 21*u1 *u3*v2 *v3 *b12
3 2 3 3
+ u1*u2 *u3 *v2*(336*a23 *b12 + 252*a23*b12 *kap)
3 4 2 3 3
+ 42*u1*u2 *u3*v1*v2*b12 *kap + 168*u1*u2 *u3 *v3*a23 *b12
2 2 2 2 2 2 3
- 168*u1*u2 *u3 *v1*v3*a23 *b12 + 42*u1*u2 *u3*v1 *v3*a23*b12
4 3 3
+ u1*u2*u3 *v2*(448*a23 *b12 + 364*a23*b12 *kap)
3 2 2 4
+ u1*u2*u3 *v1*v2*( - 392*a23 *b12 - 182*b12 *kap)
2 2 3 2 3 3
+ 168*u1*u2*u3 *v1 *v2*a23*b12 + 84*u1*u2*u3 *v2 *a23*b12
2 2 3 3 4
+ 84*u1*u2*u3 *v2*v3 *a23*b12 - 42*u1*u2*u3*v1 *v2*b12
3 4 2 4
- 42*u1*u2*u3*v1*v2 *b12 - 42*u1*u2*u3*v1*v2*v3 *b12
5 3 3
+ u1*u3 *v3*(70*a23 *b12 + 70*a23*b12 *kap)
4 3 4 2 2
+ u2 *u3 *(252*a23 + 168*a23 *b12 *kap)
4 2 3 3 4 2 4
+ u2 *u3 *v1*( - 336*a23 *b12 - 252*a23*b12 *kap) - 21*u2 *u3*v1 *b12 *kap
2 5 4 2 2 4 2
+ u2 *u3 *(518*a23 + 441*a23 *b12 *kap + 7*b12 *kap )
2 4 3 3
+ u2 *u3 *v1*( - 616*a23 *b12 - 364*a23*b12 *kap)
2 3 2 2 2 4 2 3 2 2 2
+ u2 *u3 *v1 *(364*a23 *b12 + 91*b12 *kap) + 84*u2 *u3 *v2 *a23 *b12
2 3 2 2 2 2 2 3 3
+ 84*u2 *u3 *v3 *a23 *b12 - 126*u2 *u3 *v1 *a23*b12
2 2 2 3 2 2 2 3
- 84*u2 *u3 *v1*v2 *a23*b12 - 84*u2 *u3 *v1*v3 *a23*b12
2 4 4 2 2 2 4 2 2 2 4
+ 21*u2 *u3*v1 *b12 + 21*u2 *u3*v1 *v2 *b12 + 21*u2 *u3*v1 *v3 *b12
7 4 2 2 4 2
+ u3 *(100*a23 + 97*a23 *b12 *kap - 3*b12 *kap )
6 3 3
+ u3 *v1*( - 70*a23 *b12 - 70*a23*b12 *kap)
5 2 2 2 4 5 2 2 2 4
+ u3 *v1 *(7*a23 *b12 + 7*b12 *kap) + u3 *v2 *(7*a23 *b12 + 7*b12 *kap)
5 2 2 2 4
+ u3 *v3 *(7*a23 *b12 + 7*b12 *kap)
2 4 2 2 4
=u3*((2*(7*((2*(5*u1*v2 - 9*u2*v1)*u1 *u2 - (18*u2 + 26*u2 *u3 + 5*u3 )*v1
3 2 3
+ (18*u2 *v2 + 26*u2*u3 *v2 + 5*u3 *v3)*u1)*kap*u3 + 3*(
2 2
u1 *v2*v3 - u1*u2*v1*v3 - u1*u3*v1*v2 + 3*u2*u3*v1
2 2 3
+ 2*u2*u3*v2 + 2*u2*u3*v3 )*(u1*v2 - u2*v1))*b12 + (7*(
2 4 2 2 4
8*(2*u1*v2 - 3*u2*v1)*u1 *u2 - (24*u2 + 44*u2 *u3 + 5*u3 )*v1
3 2 2 3
+ (24*u2 *v2 + 12*u2 *u3*v3 + 32*u2*u3 *v2 + 5*u3 *v3)*u1)*b12
2 2 2 2 4 2 2 4
+ (126*u1 *u2 + 175*u1 *u3 + 126*u2 + 259*u2 *u3 + 50*u3 )
2
*a23*u3)*a23 *u3) - (
56*((3*u2*v3 + 7*u3*v2)*u2*v1 - (3*u2*v3 + 2*u3*v2)*u1*v2)*u1 -
2 2 2 2 4 2 2 4
(168*u1 *u2 + 357*u1 *u3 + 168*u2 + 441*u2 *u3 + 97*u3 )*kap*u3
2 2 2 3 2 2 2 2
- 7*(v2 + v3 + v1 )*u3 - 28*(3*(v2 + v3 ) + 13*v1 )*u2 *u3)*a23
2 3
*b12 *u3)*a23 - (7*(3*(u1*v2 - 2*u2*v1)*u1 *v2
2 2 2 2 2 2
+ (3*u2 - 13*u3 )*u2 *v1 - 2*(3*u2 - 13*u3 )*u1*u2*v1*v2
2 2 2 4 2 2 2 2 2 2
- (v2 + v3 + v1 )*u3 + (3*(v1 + v2 )*u2 - 13*u3 *v2 )*u1 )
2 2 2 2 4
*kap - ((7*u2 - 3*u3 + 7*u1 )*kap *u3
2 2 2 2 4
+ 21*(v2 + v3 + v1 )*(u1*v2 - u2*v1) ))*b12 )
{HAM,FI} = 0
5 2 3 5 2
FI=u1 *u3*v2*( - 210*a23 *b12 *kap - 525*b12 *kap )
4 2 3 2 4 2
+ u1 *u2*u3 *( - 420*a23 *b12 *kap - 1050*a23*b12 *kap )
4 2 3 5 2
+ u1 *u2*u3*v1*(210*a23 *b12 *kap + 525*b12 *kap )
4 3 2 4
+ u1 *u3*v2*v3*(420*a23 *b12 + 1050*a23*b12 *kap)
3 2 2 3 5 2
+ u1 *u2 *u3*v2*( - 420*a23 *b12 *kap - 1050*b12 *kap )
3 2 4 2 3
+ u1 *u2*u3 *v3*(840*a23 *b12 + 2100*a23 *b12 *kap)
3 3 2 4
+ u1 *u2*u3*v1*v3*( - 420*a23 *b12 - 1050*a23*b12 *kap)
3 3 4 2 3 5 2
+ u1 *u3 *v2*(960*a23 *b12 + 2330*a23 *b12 *kap + 740*b12 *kap )
3 2 3 2 4
+ u1 *u3 *v1*v2*(2940*a23 *b12 + 2310*a23*b12 *kap)
3 2 2 3 5
+ u1 *u3*v1 *v2*(210*a23 *b12 + 210*b12 *kap)
3 3 2 3 5
+ u1 *u3*v2 *(210*a23 *b12 + 210*b12 *kap)
3 2 2 3 5
+ u1 *u3*v2*v3 *(630*a23 *b12 + 630*b12 *kap)
2 3 2 3 2 4 2
+ u1 *u2 *u3 *( - 840*a23 *b12 *kap - 2100*a23*b12 *kap )
2 3 2 3 5 2
+ u1 *u2 *u3*v1*(420*a23 *b12 *kap + 1050*b12 *kap )
2 2 3 2 4
+ u1 *u2 *u3*v2*v3*(420*a23 *b12 + 1050*a23*b12 *kap)
2 4 5 3 2 4 2
+ u1 *u2*u3 *(1920*a23 + 4660*a23 *b12 *kap + 1480*a23*b12 *kap )
2 3 4 2 3 5 2
+ u1 *u2*u3 *v1*( - 1800*a23 *b12 - 4430*a23 *b12 *kap - 740*b12 *kap )
2 2 2 3 2 4
+ u1 *u2*u3 *v1 *( - 11400*a23 *b12 - 10770*a23*b12 *kap)
2 2 2 3 2 4
+ u1 *u2*u3 *v2 *( - 2580*a23 *b12 - 2580*a23*b12 *kap)
2 2 2 3 2 4
+ u1 *u2*u3 *v3 *(1260*a23 *b12 + 1260*a23*b12 *kap)
2 3 2 3 5
+ u1 *u2*u3*v1 *( - 210*a23 *b12 - 210*b12 *kap)
2 2 2 3 5
+ u1 *u2*u3*v1*v2 *( - 210*a23 *b12 - 210*b12 *kap)
2 2 2 3 5
+ u1 *u2*u3*v1*v3 *( - 630*a23 *b12 - 630*b12 *kap)
2 3 3 2 4
+ u1 *u3 *v2*v3*(600*a23 *b12 + 1230*a23*b12 *kap)
2 2 4 2 3 4
+ 630*u1 *u3*v1 *v2*v3*a23*b12 + 630*u1 *u3*v2 *v3*a23*b12
2 3 4
+ 630*u1 *u3*v2*v3 *a23*b12
4 2 3 5 2
+ u1*u2 *u3*v2*( - 210*a23 *b12 *kap - 525*b12 *kap )
3 2 4 2 3
+ u1*u2 *u3 *v3*(840*a23 *b12 + 2100*a23 *b12 *kap)
3 3 2 4
+ u1*u2 *u3*v1*v3*( - 420*a23 *b12 - 1050*a23*b12 *kap)
2 3 4 2 3 5 2
+ u1*u2 *u3 *v2*(1680*a23 *b12 + 3050*a23 *b12 *kap + 740*b12 *kap )
2 2 3 2 4
+ u1*u2 *u3 *v1*v2*( - 420*a23 *b12 - 1050*a23*b12 *kap)
2 2 2 3 5
+ u1*u2 *u3*v1 *v2*(210*a23 *b12 + 210*b12 *kap)
2 3 2 3 5
+ u1*u2 *u3*v2 *(210*a23 *b12 + 210*b12 *kap)
2 2 2 3 5
+ u1*u2 *u3*v2*v3 *(630*a23 *b12 + 630*b12 *kap)
4 4 2 3
+ u1*u2*u3 *v3*(1200*a23 *b12 + 2460*a23 *b12 *kap)
3 3 2 4
+ u1*u2*u3 *v1*v3*( - 600*a23 *b12 - 1230*a23*b12 *kap)
2 2 2 3 2 2 2 3
+ 1260*u1*u2*u3 *v1 *v3*a23 *b12 + 1260*u1*u2*u3 *v2 *v3*a23 *b12
2 3 2 3 3 4
+ 1260*u1*u2*u3 *v3 *a23 *b12 - 630*u1*u2*u3*v1 *v3*a23*b12
2 4 3 4
- 630*u1*u2*u3*v1*v2 *v3*a23*b12 - 630*u1*u2*u3*v1*v3 *a23*b12
5 4 2 3 5 2
+ u1*u3 *v2*(384*a23 *b12 + 872*a23 *b12 *kap + 173*b12 *kap )
4 3 2 4
+ u1*u3 *v1*v2*( - 600*a23 *b12 - 1230*a23*b12 *kap)
3 2 2 3 5
+ u1*u3 *v1 *v2*(740*a23 *b12 + 740*b12 *kap)
3 3 2 3 5
+ u1*u3 *v2 *(740*a23 *b12 + 740*b12 *kap)
3 2 2 3 5 2 3 4
+ u1*u3 *v2*v3 *(740*a23 *b12 + 740*b12 *kap) - 630*u1*u3 *v1 *v2*a23*b12
2 3 4 2 2 4
- 630*u1*u3 *v1*v2 *a23*b12 - 630*u1*u3 *v1*v2*v3 *a23*b12
4 5 2 3 5 2 2 5
+ 315*u1*u3*v1 *v2*b12 + 630*u1*u3*v1 *v2 *b12 + 630*u1*u3*v1 *v2*v3 *b12
5 5 3 2 5 4 5
+ 315*u1*u3*v2 *b12 + 630*u1*u3*v2 *v3 *b12 + 315*u1*u3*v2*v3 *b12
5 2 3 2 4 2
+ u2 *u3 *( - 420*a23 *b12 *kap - 1050*a23*b12 *kap )
5 2 3 5 2
+ u2 *u3*v1*(210*a23 *b12 *kap + 525*b12 *kap )
3 4 5 3 2 4 2
+ u2 *u3 *(1920*a23 + 4660*a23 *b12 *kap + 1480*a23*b12 *kap )
3 3 4 2 3 5 2
+ u2 *u3 *v1*( - 2520*a23 *b12 - 5150*a23 *b12 *kap - 740*b12 *kap )
3 2 2 3 2 4
+ u2 *u3 *v1 *(1120*a23 *b12 + 1750*a23*b12 *kap)
3 2 2 3 2 4
+ u2 *u3 *v2 *(980*a23 *b12 + 980*a23*b12 *kap)
3 2 2 3 2 4
+ u2 *u3 *v3 *(1260*a23 *b12 + 1260*a23*b12 *kap)
3 3 2 3 5
+ u2 *u3*v1 *( - 210*a23 *b12 - 210*b12 *kap)
3 2 2 3 5
+ u2 *u3*v1*v2 *( - 210*a23 *b12 - 210*b12 *kap)
3 2 2 3 5
+ u2 *u3*v1*v3 *( - 630*a23 *b12 - 630*b12 *kap)
6 5 3 2 4 2
+ u2*u3 *(768*a23 + 1744*a23 *b12 *kap + 346*a23*b12 *kap )
5 4 2 3 5 2
+ u2*u3 *v1*( - 1584*a23 *b12 - 3332*a23 *b12 *kap - 173*b12 *kap )
4 2 3 2 4
+ u2*u3 *v1 *(2080*a23 *b12 + 2710*a23*b12 *kap)
4 2 3 2 4
+ u2*u3 *v2 *(1480*a23 *b12 + 1480*a23*b12 *kap)
4 2 3 2 4
+ u2*u3 *v3 *(1480*a23 *b12 + 1480*a23*b12 *kap)
3 3 2 3 5
+ u2*u3 *v1 *( - 2000*a23 *b12 - 740*b12 *kap)
3 2 2 3 5
+ u2*u3 *v1*v2 *( - 2000*a23 *b12 - 740*b12 *kap)
3 2 2 3 5
+ u2*u3 *v1*v3 *( - 2000*a23 *b12 - 740*b12 *kap)
2 4 4 2 2 2 4
+ 1260*u2*u3 *v1 *a23*b12 + 1890*u2*u3 *v1 *v2 *a23*b12
2 2 2 4 2 4 4
+ 1890*u2*u3 *v1 *v3 *a23*b12 + 630*u2*u3 *v2 *a23*b12
2 2 2 4 2 4 4
+ 1260*u2*u3 *v2 *v3 *a23*b12 + 630*u2*u3 *v3 *a23*b12
5 5 3 2 5 3 2 5
- 315*u2*u3*v1 *b12 - 630*u2*u3*v1 *v2 *b12 - 630*u2*u3*v1 *v3 *b12
4 5 2 2 5 4 5
- 315*u2*u3*v1*v2 *b12 - 630*u2*u3*v1*v2 *v3 *b12 - 315*u2*u3*v1*v3 *b12
4
= - u3*(2*((105*(u1*v2 - u2*v1)*u1
4 2 2 4
- (105*u2 - 2575*u2 *u3 - 1666*u3 )*u2*v1
2 2 2
- 5*(42*u2 - 443*u3 )*u1 *u2*v1
2 2 3 4
+ 5*(42*u2 *v2 - 210*u2*u3*v3 - 233*u3 *v2)*u1 + (105*u2 *v2
3 2 2 3
- 1050*u2 *u3*v3 - 1525*u2 *u3 *v2 - 1230*u2*u3 *v3
4
- 436*u3 *v2)*u1)*kap - 5*(
2 2 2 3 2 3
21*(v2 + 3*v3 + v1 )*(u1 *v2 - u1 *u2*v1 - u2 *v1)
2 2 2 2
- 200*(v2 + v3 + v1 )*u2*u3 *v1 + (
2 2 2 2
21*(v2 + 3*v3 + v1 )*u2 *v2
2 2 2 2
+ 2*(v2 + v3 + v1 )*(63*u2*v3 + 37*u3*v2)*u3)*u1))*a23
3 2 2 2 2 2 2 2 2
*b12 - ((5*(2*(21*u1 *v1 + 21*u1 *v2 + 63*u1 *v3 + 21*u2 *v1
2 2 2 2 2 2 2 2
+ 21*u2 *v2 + 63*u2 *v3 + 74*u3 *v1 + 74*u3 *v2
2 2 2 2 2 2 4
+ 74*u3 *v3 )*kap + 63*(v1 + v2 + v3 ) ) - (525*u1
2 2 2 2 4 2 2
+ 1050*u1 *u2 - 740*u1 *u3 + 525*u2 - 740*u2 *u3
4 2 5
- 173*u3 )*kap )*(u1*v2 - u2*v1)*b12
2 2 2 5 3
+ 384*(5*u2 + 2*u3 + 5*u1 )*a23 *u2*u3 - 24*(
2 2 2
3*(35*u2 + 22*u3 + 25*u1 )*u2*u3*v1
3
- 5*(7*u2*v3 + 8*u3*v2)*u1
3 2 2 3
- (35*u2 *v3 + 70*u2 *u3*v2 + 50*u2*u3 *v3 + 16*u3 *v2)*u1)
4 2 2 2 3
*a23 *b12*u3) - 2*(5*(7*((25*v1 + 14*v2 + 18*v3 )*u2 *u3
4 3
+ 15*u1 *v2*v3 - 3*(5*u2*v3 - 11*u3*v2)*u1 *v1)
2 2
- 3*(35*u2 + 41*u3 )*(u2*v3 + u3*v2)*u1*v1
2 2 2 3
+ (148*(v2 + v3 ) + 271*v1 )*u2*u3 + 3
2 2 2 2 2
*((35*u2 + 41*u3 )*v2*v3 - (359*v1 + 86*v2 - 42*v3 )*u2*u3)
2 4 2 2 2 2 4
*u1 )*kap - (((525*u1 + 1050*u1 *u2 - 740*u1 *u3 + 525*u2
2 2 4 2
- 740*u2 *u3 - 173*u3 )*kap
2 2 2 2 2 2
- 315*(2*v1 + v2 + v3 )*(v1 + v2 + v3 ))*u2*u3
2 2 2
+ 315*((u2*v3 + u3*v2)*v1 - u1*v2*v3)*(v2 + v3 + v1 )*u1))
4 2
*a23*b12 + 4*(15*(7*((u2*v3 - 7*u3*v2)*v1 - u1*v2*v3)*u1
2 2 4
+ (7*u2 + 10*u3 )*(u2*v3 + u3*v2)*v1)*u1 + (105*u1
2 2 2 2 4 2 2 4
+ 210*u1 *u2 - 1165*u1 *u3 + 105*u2 - 1165*u2 *u3 - 436*u3
2 2 2 3
)*kap*u2*u3 - 10*(37*(v2 + v3 ) + 52*v1 )*u2*u3
2 2 2 3
- 35*(7*v2 + 9*v3 + 8*v1 )*u2 *u3 + 15
2 2 2 2 2 2
*((43*v2 - 21*v3 + 190*v1 )*u2*u3 - (7*u2 + 10*u3 )*v2*v3)*u1 )
3 2
*a23 *b12 )
{HAM,FI} = 0
5 3 2 4 2
FI=u1 *u3*v1*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
4 3 2 4 2
+ u1 *u2*u3*v2*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
4 2 3 2 4 2
+ u1 *u3 *v3*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
4 4 2 3
+ u1 *u3*v1*v3*(20*a23 *b12 + 50*a23 *b12 *kap)
3 2 3 2 4 2
+ u1 *u2 *u3*v1*( - 20*a23 *b12 *kap - 50*a23*b12 *kap )
3 4 2 3
+ u1 *u2*u3*v2*v3*(20*a23 *b12 + 50*a23 *b12 *kap)
3 3 5 3 2
+ u1 *u3 *v1*( - 520*a23 - 490*a23 *b12 *kap)
3 2 2 4 5 2
+ u1 *u3 *v1 *( - 10*a23 *b12 + 40*b12 *kap )
3 2 2 4 2 3
+ u1 *u3 *v3 *(20*a23 *b12 + 50*a23 *b12 *kap)
3 3 3 2 4
+ u1 *u3*v1 *(10*a23 *b12 + 10*a23*b12 *kap)
3 2 3 2 4
+ u1 *u3*v1*v2 *(10*a23 *b12 + 10*a23*b12 *kap)
3 2 3 2 4
+ u1 *u3*v1*v3 *(30*a23 *b12 + 30*a23*b12 *kap)
2 3 3 2 4 2
+ u1 *u2 *u3*v2*( - 20*a23 *b12 *kap - 50*a23*b12 *kap )
2 2 2 3 2 4 2
+ u1 *u2 *u3 *v3*( - 20*a23 *b12 *kap - 50*a23*b12 *kap )
2 2 4 2 3
+ u1 *u2 *u3*v1*v3*(20*a23 *b12 + 50*a23 *b12 *kap)
2 3 5 3 2
+ u1 *u2*u3 *v2*( - 520*a23 - 490*a23 *b12 *kap)
2 2 4 2 3
+ u1 *u2*u3 *v1*v2*( - 140*a23 *b12 - 170*a23 *b12 *kap)
2 2 3 2 4
+ u1 *u2*u3*v1 *v2*(10*a23 *b12 + 10*a23*b12 *kap)
2 3 3 2 4
+ u1 *u2*u3*v2 *(10*a23 *b12 + 10*a23*b12 *kap)
2 2 3 2 4
+ u1 *u2*u3*v2*v3 *(30*a23 *b12 + 30*a23*b12 *kap)
2 4 5 3 2
+ u1 *u3 *v3*( - 520*a23 - 490*a23 *b12 *kap)
2 3 4 2 3
+ u1 *u3 *v1*v3*( - 180*a23 *b12 - 180*a23 *b12 *kap)
2 2 2 3 2 4
+ u1 *u3 *v1 *v3*( - 30*a23 *b12 - 30*a23*b12 *kap)
2 2 2 3 2 4
+ u1 *u3 *v2 *v3*(10*a23 *b12 + 10*a23*b12 *kap)
2 2 3 3 2 4 2 3 2 3
+ u1 *u3 *v3 *(30*a23 *b12 + 30*a23*b12 *kap) + 30*u1 *u3*v1 *v3*a23 *b12
2 2 2 3 2 3 2 3
+ 30*u1 *u3*v1*v2 *v3*a23 *b12 + 30*u1 *u3*v1*v3 *a23 *b12
4 3 2 4 2
+ u1*u2 *u3*v1*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
3 4 2 3
+ u1*u2 *u3*v2*v3*(20*a23 *b12 + 50*a23 *b12 *kap)
2 3 5 3 2
+ u1*u2 *u3 *v1*( - 280*a23 - 250*a23 *b12 *kap)
2 2 2 4 2 3
+ u1*u2 *u3 *v1 *(100*a23 *b12 + 70*a23 *b12 *kap)
2 2 2 4 2 3
+ u1*u2 *u3 *v2 *( - 120*a23 *b12 - 120*a23 *b12 *kap)
2 2 2 4 2 3
+ u1*u2 *u3 *v3 *(20*a23 *b12 + 50*a23 *b12 *kap)
2 3 3 2 4
+ u1*u2 *u3*v1 *(10*a23 *b12 + 10*a23*b12 *kap)
2 2 3 2 4
+ u1*u2 *u3*v1*v2 *(10*a23 *b12 + 10*a23*b12 *kap)
2 2 3 2 4
+ u1*u2 *u3*v1*v3 *(30*a23 *b12 + 30*a23*b12 *kap)
3 4 2 3
+ u1*u2*u3 *v2*v3*( - 280*a23 *b12 - 250*a23 *b12 *kap)
2 3 2 4
+ u1*u2*u3 *v1*v2*v3*( - 80*a23 *b12 - 80*a23*b12 *kap)
2 2 3 3 2 3
+ 30*u1*u2*u3*v1 *v2*v3*a23 *b12 + 30*u1*u2*u3*v2 *v3*a23 *b12
3 2 3
+ 30*u1*u2*u3*v2*v3 *a23 *b12
5 5 3 2 4 2
+ u1*u3 *v1*( - 208*a23 - 180*a23 *b12 *kap + 13*a23*b12 *kap )
4 2 4 2 3
+ u1*u3 *v1 *(160*a23 *b12 + 130*a23 *b12 *kap)
4 2 4 2 3
+ u1*u3 *v3 *( - 160*a23 *b12 - 130*a23 *b12 *kap)
3 2 3 2 4
+ u1*u3 *v1*v3 *( - 60*a23 *b12 - 60*a23*b12 *kap)
2 4 2 3 2 2 2 2 3
- 30*u1*u3 *v1 *a23 *b12 - 30*u1*u3 *v1 *v2 *a23 *b12
2 2 2 2 3 2 4 2 3
+ 30*u1*u3 *v2 *v3 *a23 *b12 + 30*u1*u3 *v3 *a23 *b12
5 4 3 2 4
+ 15*u1*u3*v1 *a23*b12 + 30*u1*u3*v1 *v2 *a23*b12
3 2 4 4 4
+ 30*u1*u3*v1 *v3 *a23*b12 + 15*u1*u3*v1*v2 *a23*b12
2 2 4 4 4
+ 30*u1*u3*v1*v2 *v3 *a23*b12 + 15*u1*u3*v1*v3 *a23*b12
5 3 2 4 2
+ u2 *u3*v2*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
4 2 3 2 4 2
+ u2 *u3 *v3*( - 10*a23 *b12 *kap - 25*a23*b12 *kap )
3 3 5 3 2
+ u2 *u3 *v2*( - 280*a23 - 250*a23 *b12 *kap)
3 2 4 2 3
+ u2 *u3 *v1*v2*(100*a23 *b12 + 70*a23 *b12 *kap)
3 2 3 2 4
+ u2 *u3*v1 *v2*(10*a23 *b12 + 10*a23*b12 *kap)
3 3 3 2 4
+ u2 *u3*v2 *(10*a23 *b12 + 10*a23*b12 *kap)
3 2 3 2 4
+ u2 *u3*v2*v3 *(30*a23 *b12 + 30*a23*b12 *kap)
2 4 5 3 2
+ u2 *u3 *v3*( - 280*a23 - 250*a23 *b12 *kap)
2 3 4 2 3
+ u2 *u3 *v1*v3*(100*a23 *b12 + 70*a23 *b12 *kap)
2 2 2 3 2 4
+ u2 *u3 *v1 *v3*(10*a23 *b12 + 10*a23*b12 *kap)
2 2 2 3 2 4
+ u2 *u3 *v2 *v3*( - 30*a23 *b12 - 30*a23*b12 *kap)
2 2 3 3 2 4
+ u2 *u3 *v3 *(30*a23 *b12 + 30*a23*b12 *kap)
5 5 3 2 4 2
+ u2*u3 *v2*( - 208*a23 - 180*a23 *b12 *kap + 13*a23*b12 *kap )
4 4 2 3
+ u2*u3 *v1*v2*(160*a23 *b12 + 130*a23 *b12 *kap)
3 2 3 2 4
+ u2*u3 *v2*v3 *( - 60*a23 *b12 - 60*a23*b12 *kap)
2 3 2 3 2 3 2 3
- 30*u2*u3 *v1 *v2*a23 *b12 - 30*u2*u3 *v1*v2 *a23 *b12
2 2 2 3 4 4
- 30*u2*u3 *v1*v2*v3 *a23 *b12 + 15*u2*u3*v1 *v2*a23*b12
2 3 4 2 2 4
+ 30*u2*u3*v1 *v2 *a23*b12 + 30*u2*u3*v1 *v2*v3 *a23*b12
5 4 3 2 4
+ 15*u2*u3*v2 *a23*b12 + 30*u2*u3*v2 *v3 *a23*b12
4 4
+ 15*u2*u3*v2*v3 *a23*b12
6 5 3 2 4 2
+ u3 *v3*( - 208*a23 - 180*a23 *b12 *kap + 13*a23*b12 *kap )
5 4 2 3
+ u3 *v1*v3*(160*a23 *b12 + 130*a23 *b12 *kap)
4 3 3 2 4 3 3 2 3
+ u3 *v3 *( - 20*a23 *b12 - 20*a23*b12 *kap) - 30*u3 *v1 *v3*a23 *b12
3 2 2 3 3 3 2 3
- 30*u3 *v1*v2 *v3*a23 *b12 - 30*u3 *v1*v3 *a23 *b12
2 4 4 2 2 2 4
+ 15*u3 *v1 *v3*a23*b12 + 30*u3 *v1 *v2 *v3*a23*b12
2 2 3 4 2 4 4 2 2 3 4
+ 30*u3 *v1 *v3 *a23*b12 + 15*u3 *v2 *v3*a23*b12 + 30*u3 *v2 *v3 *a23*b12
2 5 4
+ 15*u3 *v3 *a23*b12
2 2 4
=u3*(10*((((7*u2 + 13*u3 )*(u2*v2 + u3*v3)*u3 + 5*u1 *v3)*v1
3
+ 5*(u2*v2 + u3*v3)*u1 *v3
2 2 2
+ (5*u2 *v3 - 17*u2*u3*v2 - 18*u3 *v3)*u1 *v1 + (
2 2 3
5*(u2 - 5*u3 )*u2*v2*v3 + 13*(v1 + v3)*(v1 - v3)*u3
2 2 2 2
- (12*v2 - 5*v3 - 7*v1 )*u2 *u3)*u1)*kap
2 2 2 2
+ 3*(u1*v1 + u2*v2 + u3*v3)*(u1*v3 - u3*v1)*(v1 + v2 + v3 ))*a23
3 2 2 4
*b12 + 10*(2*((5*u2 + 8*u3 )*(u2*v2 + u3*v3)*u3 + u1 *v3
2 2 2
+ (u2 *v3 - 7*u2*u3*v2 - 9*u3 *v3)*u1 )*v1
2 2 3 2 2
- ((v1 - 2*v3 )*u3 - 2*u2*v2*v3)*u1 + 2*((u2 - 14*u3 )*u2*v2*v3
3 2 2 2 2
+ 8*(v1 + v3)*(v1 - v3)*u3 - (6*v2 - v3 - 5*v1 )*u2 *u3)*u1)
4
*a23 *b12 - (2*(4*(
2 2 2 5
(65*u1 + 35*u2 + 26*u3 )*(u1*v1 + u2*v2 + u3*v3)*a23 *u3
5 2 3 2 4 2 2
- 5*b12 *kap *u1 *v1 )*u3 + 5*(kap*u1 + 2*kap*u1 *u2
2 2 4 2 2 4
+ 49*kap*u1 *u3 + kap*u2 + 25*kap*u2 *u3 + 18*kap*u3
2 2 2 2 2 2 2 2
- u1 *v1 - u1 *v2 - 3*u1 *v3 + 4*u1*u3*v1*v3 - u2 *v1
2 2 2 2 2 2
- u2 *v2 - 3*u2 *v3 + 4*u2*u3*v2*v3 + 2*u3 *v3 )
3 2 2 4
*(u1*v1 + u2*v2 + u3*v3)*a23 *b12 ) + (25*kap *u1
2 2 2 2 4 2 4 2 2
+ 50*kap *u1 *u2 + 25*kap *u2 - 13*kap *u3 - 10*kap*u1 *v1
2 2 2 2
- 10*kap*u1 *v2 - 30*kap*u1 *v3 + 40*kap*u1*u3*v1*v3
2 2 2 2 2 2
- 10*kap*u2 *v1 - 10*kap*u2 *v2 - 30*kap*u2 *v3
2 2 4 2 2
+ 40*kap*u2*u3*v2*v3 + 20*kap*u3 *v3 - 15*v1 - 30*v1 *v2
2 2 4 2 2 4
- 30*v1 *v3 - 15*v2 - 30*v2 *v3 - 15*v3 )
4
*(u1*v1 + u2*v2 + u3*v3)*a23*b12 ))
{HAM,FI} = 0
6 5 2 2 3 4 3
FI=u1 *u3*( - 573300*a23 *b12 *kap - 1433250*a23 *b12 *kap )
5 6 4 3 2
+ u1 *u3*v3*(1146600*a23 *b12*kap + 2866500*a23 *b12 *kap )
4 2 5 2 2 3 4 3 4 3
+ u1 *u2 *u3*( - 1719900*a23 *b12 *kap - 4299750*a23 *b12 *kap ) + u1 *u3
5 2 2 3 4 3 6 4
*(159250*a23 *b12 *kap - 1799525*a23 *b12 *kap + 621075*a23*b12 *kap ) +
4 2
u1 *u3 *v1
6 4 3 2 2 5 3
*( - 573300*a23 *b12*kap + 1433250*a23 *b12 *kap + 3726450*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v1 *(573300*a23 *b12 *kap + 1433250*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v2 *(573300*a23 *b12 *kap + 1433250*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u1 *u3*v3 *(2866500*a23 *b12 *kap + 2006550*a23 *b12 *kap )
3 2 6 4 3 2 3 2
+ u1 *u2 *u3*v3*(2293200*a23 *b12*kap + 5733000*a23 *b12 *kap ) + u1 *u2*u3
*v2
6 4 3 2 2 5 3
*(127610000*a23 *b12*kap + 139458200*a23 *b12 *kap + 4968600*a23 *b12 *kap )
3 3 6 4 3 2
+ u1 *u3 *v3*( - 8408400*a23 *b12*kap - 4968600*a23 *b12 *kap )
3 2 5 2 3 4 2
+ u1 *u3 *v1*v3*( - 6879600*a23 *b12 *kap - 3439800*a23 *b12 *kap )
3 3 4 3 2 4
+ 3439800*u1 *u3*v3 *a23 *b12 *kap + u1 *u2 *u3
5 2 2 3 4 3 6 4
*( - 1911000*a23 *b12 *kap - 5541900*a23 *b12 *kap - 1051050*a23*b12 *kap )
2 2 3
+ u1 *u2 *u3
7 5 2 2 3 4 3
*(72584400*a23 *kap + 86343600*a23 *b12 *kap + 1719900*a23 *b12 *kap )
2 2 2 6 4 3 2
+ u1 *u2 *u3 *v1*( - 192561600*a23 *b12*kap - 202881000*a23 *b12 *kap )
2 2 2 5 2 3 4 2 2 2
+ u1 *u2 *u3*v1 *(1146600*a23 *b12 *kap + 2866500*a23 *b12 *kap ) + u1 *u2
2
*u3*v2
5 2 3 4 2 6 3
*(859950*a23 *b12 *kap + 1003275*a23 *b12 *kap - 1576575*a23*b12 *kap )
2 2 2 5 2 3 4 2
+ u1 *u2 *u3*v3 *(5733000*a23 *b12 *kap + 4013100*a23 *b12 *kap )
2 2 5 2 3 4 2
+ u1 *u2*u3 *v2*v3*( - 20638800*a23 *b12 *kap - 3439800*a23 *b12 *kap ) +
2 5 7 5 2 2
u1 *u3 *(298414200*a23 *kap + 315493038*a23 *b12 *kap
3 4 3 6 4
+ 14699643*a23 *b12 *kap + 200655*a23*b12 *kap )
2 4 6 4 3 2
+ u1 *u3 *v1*(8408400*a23 *b12*kap + 4968600*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u1 *u3 *v1 *(3949400*a23 *b12 *kap + 3949400*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u1 *u3 *v2 *(94024280*a23 *b12 *kap + 94024280*a23 *b12 *kap )
2 2 2 4 3 2 4 3 4
- 10319400*u1 *u3 *v1*v3 *a23 *b12 *kap - 859950*u1 *u3*v1 *a23 *b12 *kap
2 2 2 3 4 2 4 3 4
- 1719900*u1 *u3*v1 *v2 *a23 *b12 *kap - 859950*u1 *u3*v2 *a23 *b12 *kap
2 4 3 4
+ 859950*u1 *u3*v3 *a23 *b12 *kap
4 4 3 2 2 5 3
+ u1*u2 *u3*v3*( - 4586400*a23 *b12 *kap - 6306300*a23 *b12 *kap )
3 2 6 4 3 2
+ u1*u2 *u3 *v2*(190268400*a23 *b12*kap + 197148000*a23 *b12 *kap )
2 3 6 4 3 2
+ u1*u2 *u3 *v3*( - 15288000*a23 *b12*kap + 1911000*a23 *b12 *kap )
2 2 5 2 3 4 2
+ u1*u2 *u3 *v1*v3*(6879600*a23 *b12 *kap - 3439800*a23 *b12 *kap )
2 3 4 3
+ 3439800*u1*u2 *u3*v3 *a23 *b12 *kap
4 6 4 3 2
+ u1*u2*u3 *v2*(310358720*a23 *b12*kap + 317238320*a23 *b12 *kap )
3 5 2 3 4 2
+ u1*u2*u3 *v1*v2*( - 166390560*a23 *b12 *kap - 180149760*a23 *b12 *kap )
2 2 4 3
- 6879600*u1*u2*u3 *v1 *v2*a23 *b12 *kap
2 3 4 3
- 6879600*u1*u2*u3 *v2 *a23 *b12 *kap
2 2 4 3 5
- 13759200*u1*u2*u3 *v2*v3 *a23 *b12 *kap + u1*u3 *v3
6 4 3 2 2 5 3
*(56319480*a23 *b12*kap + 60045930*a23 *b12 *kap + 2006550*a23 *b12 *kap )
4 5 2 3 4 2
+ u1*u3 *v1*v3*(1019200*a23 *b12 *kap + 4459000*a23 *b12 *kap )
3 2 4 3 3 2 4 3
+ 10319400*u1*u3 *v1 *v3*a23 *b12 *kap + 3439800*u1*u3 *v2 *v3*a23 *b12 *kap
2 3 3 4
- 3439800*u1*u3 *v1 *v3*a23 *b12 *kap
2 2 3 4
- 3439800*u1*u3 *v1*v2 *v3*a23 *b12 *kap
2 3 3 4 4 4 3
- 3439800*u1*u3 *v1*v3 *a23 *b12 *kap + 1719900*u1*u3*v1 *v3*a23 *b12
2 2 4 3 2 3 4 3
+ 3439800*u1*u3*v1 *v2 *v3*a23 *b12 + 3439800*u1*u3*v1 *v3 *a23 *b12
4 4 3 2 3 4 3
+ 1719900*u1*u3*v2 *v3*a23 *b12 + 3439800*u1*u3*v2 *v3 *a23 *b12
5 4 3 6
+ 1719900*u1*u3*v3 *a23 *b12 + u2 *u3
5 2 2 3 4 3 6 4
*( - 764400*a23 *b12 *kap - 2675400*a23 *b12 *kap - 1051050*a23*b12 *kap )
4 3
+ u2 *u3
7 5 2 2 3 4 3 4
*(87490200*a23 *kap + 99529500*a23 *b12 *kap + 2579850*a23 *b12 *kap ) + u2
2 6 4 3 2
*u3 *v1*( - 190268400*a23 *b12*kap - 190841700*a23 *b12 *kap
2 5 3 7 4
+ 11179350*a23 *b12 *kap + 3153150*b12 *kap )
4 2 5 2 3 4 2
+ u2 *u3*v1 *(573300*a23 *b12 *kap + 1433250*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u2 *u3*v2 *(573300*a23 *b12 *kap + 1433250*a23 *b12 *kap )
4 2 5 2 3 4 2
+ u2 *u3*v3 *( - 573300*a23 *b12 *kap - 1433250*a23 *b12 *kap )
3 2 5 2 3 4 2 2
+ u2 *u3 *v2*v3*( - 6879600*a23 *b12 *kap - 3439800*a23 *b12 *kap ) + u2
5 7 5 2 2 3 4 3
*u3 *(366678200*a23 *kap + 389490038*a23 *b12 *kap + 13553043*a23 *b12 *kap
6 4
+ 200655*a23*b12 *kap )
2 4 6 4 3 2
+ u2 *u3 *v1*( - 295070720*a23 *b12*kap - 319149320*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u2 *u3 *v1 *(66505880*a23 *b12 *kap + 87144680*a23 *b12 *kap )
2 3 2 5 2 3 4 2
+ u2 *u3 *v2 *( - 6370000*a23 *b12 *kap + 509600*a23 *b12 *kap )
2 3 2 5 2 2 2 3 4 3
- 6879600*u2 *u3 *v3 *a23 *b12 *kap + 6879600*u2 *u3 *v1 *a23 *b12 *kap
2 2 2 4 3 2 5 2
+ u2 *u3 *v1*v2 *(5733000*a23 *b12 *kap - 1146600*a23 *b12 *kap )
2 2 2 4 3 2 4 3 4
+ 3439800*u2 *u3 *v1*v3 *a23 *b12 *kap - 859950*u2 *u3*v1 *a23 *b12 *kap
2 2 2 3 4 2 4 3 4
- 1719900*u2 *u3*v1 *v2 *a23 *b12 *kap - 859950*u2 *u3*v2 *a23 *b12 *kap
2 4 5 2 3 4
+ u2 *u3*v3 *( - 2293200*a23 *b12 - 1433250*a23 *b12 *kap)
4 5 2 3 4 2
+ u2*u3 *v2*v3*( - 12740000*a23 *b12 *kap - 9300200*a23 *b12 *kap )
3 4 3
+ 6879600*u2*u3 *v1*v2*v3*a23 *b12 *kap
2 2 3 4
- 3439800*u2*u3 *v1 *v2*v3*a23 *b12 *kap
2 3 5 2 3 4
+ u2*u3 *v2 *v3*( - 6879600*a23 *b12 - 10319400*a23 *b12 *kap)
2 3 3 4 7 7
- 3439800*u2*u3 *v2*v3 *a23 *b12 *kap + u3 *(85261200*a23 *kap
5 2 2 3 4 3 6 4
+ 86118048*a23 *b12 *kap - 89097*a23 *b12 *kap - 85995*a23*b12 *kap ) +
6 6 4 3 2
u3 *v1*( - 56319480*a23 *b12*kap - 60045930*a23 *b12 *kap
2 5 3 5 2
- 2006550*a23 *b12 *kap ) + u3 *v1
5 2 3 4 2 6 3
*(5326188*a23 *b12 *kap + 4666893*a23 *b12 *kap + 200655*a23*b12 *kap ) +
5 2
u3 *v2
5 2 3 4 2 6 3
*(12205788*a23 *b12 *kap + 11546493*a23 *b12 *kap + 200655*a23*b12 *kap ) +
5 2
u3 *v3
5 2 3 4 2 6 3
*(5835788*a23 *b12 *kap + 6896393*a23 *b12 *kap + 200655*a23*b12 *kap )
4 3 4 3 4 2 4 3
- 3439800*u3 *v1 *a23 *b12 *kap - 3439800*u3 *v1*v2 *a23 *b12 *kap
3 4 3 4 3 2 2 3 4
+ 859950*u3 *v1 *a23 *b12 *kap + 1719900*u3 *v1 *v2 *a23 *b12 *kap
3 4 5 2 3 4
+ u3 *v2 *(1719900*a23 *b12 + 2579850*a23 *b12 *kap)
3 4 3 4 2 5 4 3
- 859950*u3 *v3 *a23 *b12 *kap - 1719900*u3 *v1 *a23 *b12
2 3 2 4 3 2 3 2 4 3
- 3439800*u3 *v1 *v2 *a23 *b12 - 3439800*u3 *v1 *v3 *a23 *b12
2 4 4 3 2 2 2 4 3
- 1719900*u3 *v1*v2 *a23 *b12 - 3439800*u3 *v1*v2 *v3 *a23 *b12
2 4 4 3 6 3 4
- 1719900*u3 *v1*v3 *a23 *b12 + 859950*u3*v1 *a23 *b12
4 2 3 4 4 2 3 4
+ 2579850*u3*v1 *v2 *a23 *b12 + 2579850*u3*v1 *v3 *a23 *b12
2 4 3 4 2 2 2 3 4
+ 2579850*u3*v1 *v2 *a23 *b12 + 5159700*u3*v1 *v2 *v3 *a23 *b12
2 4 3 4 6 3 4
+ 2579850*u3*v1 *v3 *a23 *b12 + 859950*u3*v2 *a23 *b12
4 2 3 4 2 4 3 4
+ 2579850*u3*v2 *v3 *a23 *b12 + 2579850*u3*v2 *v3 *a23 *b12
6 3 4
+ 859950*u3*v3 *a23 *b12
2 2 3
= - u3*(2*(7*(5*(4*(910*((27*u2 + 50*u3 )*u2*v2 + 27*u1 *v1)*v3
2 2 2 2
- (237521*v1 - 22750*v2 - 24570*v3 )*u2 *u3
2 2
- 2*(12285*u2 *v3 - 297126*u2*u3*v2 + 1820*u3 *v3)*u1*v1)
2 2 2 2 2 2
*u3 - (16380*u2 *v1 + 12285*u2 *v2 + 81900*u2 *v3
2 2 2 2
- 294840*u2*u3*v2*v3 + 56420*u3 *v1 + 1343204*u3 *v2 )
2 2 4
*u1 - 8190*((v2 + v3)*(v2 - v3) + v1 )*u2
2 2 2 4
- 8190*(v2 + 5*v3 + v1 )*u1 )
2 2 2 4
- 2*(435921*v2 + 208421*v3 + 190221*v1 )*u3 )*kap
2 6 2 4 2 2 4 2
+ 286650*kap *u1 + 859950*kap *u1 *u2 - 79625*kap *u1 *u3
2 2 4 2 2 2 2
+ 955500*kap *u1 *u2 - 43171800*kap *u1 *u2 *u3
2 2 4 2 6 2 4 2
- 157746519*kap *u1 *u3 + 382200*kap *u2 - 49764750*kap *u2 *u3
2 2 4 2 6 2 4
- 194745019*kap *u2 *u3 - 43059024*kap *u3 + 1146600*u2 *v3
3 2 4 5 2
+ 3439800*u2*u3*v2 *v3 - 859950*u3 *v2 )*a23 *b12 + 5*((1911*((
6 2 4 6 4 2
110*u2 - 21*u2 *u3 + 9*u3 - 65*u1 *u3
4 4 2
+ (110*u2 - 21*u3 )*u1 )*kap
2 2 2 4 2 2 2 6
- 3*(7*(v2 + v3 + v1 )*u3 - 55*u1 *u2 *v2 ))*a23*b12
2 2 2 2 2 4
*kap - 10*(4*(362922*u1 *u2 + 1492071*u1 *u3 + 437451*u2
2 2 4 7
+ 1833391*u2 *u3 + 426306*u3 )*a23 *u3
7 3 4
+ 63063*b12 *kap *u2 *v1)*u3 - 19110*((
3 4 4
(13*(3*u1*v1 + 4*u2*v2)*u1 + 3*(39*u2 - 7*u3 )*v1)*u3
4 4 2 2 2
- 3*(22*u2 - 7*u3 )*u1*v3)*kap - 12*u2 *u3*v1*v2 )*a23
5 4
*b12 *kap - 28*(4095*(2*u1*v3 - u3*v1)*u1
4 2 2 4
- 2*(679530*u2 + 1053824*u2 *u3 + 201141*u3 )*u3*v1
2 2 2
- 660*(2084*u2 - 91*u3 )*u1 *u3*v1
2 2 3
+ 20*(819*u2 *v3 + 45575*u2*u3*v2 - 3003*u3 *v3)*u1 + 2*(
3 2 2
679530*u2 *v2 - 54600*u2 *u3*v3 + 1108424*u2*u3 *v2
3 6
+ 201141*u3 *v3)*u1*u3)*a23 *b12)*kap - 14*(8190*(2*(3*(
3 2 2 2
(u1 *v3 - 3*u1 *u3*v1*v3 + 2*u2*u3 *v1*v2)*v3
2 2 3
- (v1 + v2 )*u3 *v1)
2 2 2 2
+ (5*v2 + 3*v3 + 6*v1 )*u2 *u3*v1 + 3*(
2 2 2 2 2
((3*v1 + v2 )*u3 + u2 *v3 )*v3
2 2 2
- 2*(v2 + 2*v3 + v1 )*u2*u3*v2)*u1)*kap
2 2 2 2
+ 3*(u1*v3 - u3*v1)*(v1 + v2 + v3 ) ) + (
4
20475*(2*u1*v3 + u3*v1)*u1
4 2 2 4
- (2726310*u2 + 4559276*u2 *u3 + 857799*u3 )*u3*v1
2 2 2
- 60*(48305*u2 - 1183*u3 )*u1 *u3*v1
2 2 3
+ 20*(4095*u2 *v3 + 99613*u2*u3*v2 - 3549*u3 *v3)*u1 - (
4 3 2 2
65520*u2 *v3 - 2816400*u2 *u3*v2 - 27300*u2 *u3 *v3
3 4 2 4 3
- 4531976*u2*u3 *v2 - 857799*u3 *v3)*u1)*kap )*a23 *b12 )
2 2 3
+ (7*(5*(8*(455*((27*u2 + 73*u3 )*u2*v2 + 27*u1 *v1)*v3
2 2 2
- (311231*v1 + 1820*v2 )*u2 *u3
2 2
+ (12285*u2 *v3 + 643392*u2*u3*v2 - 15925*u3 *v3)*u1*v1)
2 2 2 2 2 2
*u3 - (81900*u2 *v1 + 28665*u2 *v2 + 114660*u2 *v3
2 2 2 2
- 98280*u2*u3*v2*v3 + 112840*u3 *v1 + 2686408*u3 *v2 )
2 2 4
*u1 - 40950*((v2 + v3)*(v2 - v3) + v1 )*u2
2 2 2 4
- 8190*(5*v2 + 7*v3 + 5*v1 )*u1 )
2 2 2 4 2
- (1649499*v2 + 985199*v3 + 666699*v1 )*u3 )*kap + 286650*(
2 2 2
3*(4*(3*v2 + v3 + v1 )*u2*u3*v2*v3 +
2 2 2 2 2 2
(u1*v1 + u1*v2 - u1*v3 + 4*u3*v1*v3)*(v1 + v2 + v3 )*u1
2 2 2 4 4 2
- ((v1 + 2*v2 )*v1 + 3*v2 - v3 )*u3 )
2 2 2 4 4 2
+ (3*(v1 + 2*v2 )*v1 + 3*v2 + 5*v3 )*u2 )*kap + (
6 4 2 4 2
1433250*u1 + 4299750*u1 *u2 + 1799525*u1 *u3
2 4 2 2 2 2 4
+ 5541900*u1 *u2 - 1719900*u1 *u2 *u3 - 14699643*u1 *u3
6 4 2 2 4 6
+ 2675400*u2 - 2579850*u2 *u3 - 13553043*u2 *u3 + 89097*u3
3 2 2 2 3 3 4
)*kap - 859950*(v1 + v2 + v3 ) )*a23 *b12 )
{HAM,FI} = 0
And again in machine readable form:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12$
FI=u1**6*u3*( - 1890*a23**5*b12**2*kap**2 - 1890*a23**3*b12**4*kap**3) + u1**5*
u3*v3*(3780*a23**6*b12*kap + 3780*a23**4*b12**3*kap**2) + u1**4*u2**2*u3*( -
5670*a23**5*b12**2*kap**2 - 5670*a23**3*b12**4*kap**3) + u1**4*u3**3*( - 9555*
a23**5*b12**2*kap**2 - 9870*a23**3*b12**4*kap**3 - 315*a23*b12**6*kap**4) + u1**
4*u3**2*v1*( - 1890*a23**6*b12*kap - 3780*a23**4*b12**3*kap**2 - 1890*a23**2*b12
**5*kap**3) + u1**4*u3*v1**2*(1890*a23**5*b12**2*kap - 3780*a23**3*b12**4*kap**2
) + u1**4*u3*v2**2*(1890*a23**5*b12**2*kap + 1890*a23**3*b12**4*kap**2) + u1**4*
u3*v3**2*(9450*a23**5*b12**2*kap + 9450*a23**3*b12**4*kap**2) + u1**3*u2**2*u3*
v3*(7560*a23**6*b12*kap + 7560*a23**4*b12**3*kap**2) + u1**3*u2*u3**2*v2*(106680
*a23**6*b12*kap + 104160*a23**4*b12**3*kap**2 - 2520*a23**2*b12**5*kap**3) -
11340*u1**3*u2*u3*v1*v2*a23**3*b12**4*kap**2 + u1**3*u3**3*v3*(32760*a23**6*b12*
kap + 32760*a23**4*b12**3*kap**2) + u1**3*u3**2*v1*v3*(22680*a23**5*b12**2*kap +
11340*a23**3*b12**4*kap**2) + 11340*u1**3*u3*v1**2*v3*a23**4*b12**3*kap + u1**2
*u2**4*u3*( - 6300*a23**5*b12**2*kap**2 - 8820*a23**3*b12**4*kap**3 - 2520*a23*
b12**6*kap**4) + u1**2*u2**2*u3**3*(98280*a23**7*kap + 98280*a23**5*b12**2*kap**
2) + u1**2*u2**2*u3**2*v1*( - 163800*a23**6*b12*kap - 163800*a23**4*b12**3*kap**
2) + u1**2*u2**2*u3*v1**2*(3780*a23**5*b12**2*kap - 1890*a23**3*b12**4*kap**2) +
u1**2*u2**2*u3*v2**2*(2835*a23**5*b12**2*kap - 6615*a23**3*b12**4*kap**2 - 3780
*a23*b12**6*kap**3) + u1**2*u2**2*u3*v3**2*(18900*a23**5*b12**2*kap + 18900*a23
**3*b12**4*kap**2) + u1**2*u2*u3**2*v2*v3*(22680*a23**5*b12**2*kap + 11340*a23**
3*b12**4*kap**2) + 22680*u1**2*u2*u3*v1*v2*v3*a23**4*b12**3*kap + u1**2*u3**5*(
302680*a23**7*kap + 206346*a23**5*b12**2*kap**2 - 98539*a23**3*b12**4*kap**3 -
2205*a23*b12**6*kap**4) + u1**2*u3**4*v1*( - 32760*a23**6*b12*kap - 32760*a23**4
*b12**3*kap**2) + u1**2*u3**3*v1**2*( - 3360*a23**5*b12**2*kap - 9030*a23**3*b12
**4*kap**2) + u1**2*u3**3*v2**2*( - 112840*a23**5*b12**2*kap - 112840*a23**3*b12
**4*kap**2) + u1**2*u3**3*v3**2*(11340*a23**5*b12**2*kap + 5670*a23**3*b12**4*
kap**2) - 11340*u1**2*u3**2*v1**3*a23**4*b12**3*kap + 22680*u1**2*u3**2*v1*v3**2
*a23**4*b12**3*kap + 5670*u1**2*u3*v1**4*a23**3*b12**4*kap + 5670*u1**2*u3*v1**2
*v2**2*a23**3*b12**4*kap + 5670*u1**2*u3*v1**2*v3**2*a23**3*b12**4*kap + u1*u2**
4*u3*v3*( - 15120*a23**4*b12**3*kap**2 - 15120*a23**2*b12**5*kap**3) + u1*u2**3*
u3**2*v2*(156240*a23**6*b12*kap + 156240*a23**4*b12**3*kap**2) - 11340*u1*u2**3*
u3*v1*v2*a23**3*b12**4*kap**2 + u1*u2**2*u3**3*v3*( - 42840*a23**6*b12*kap -
42840*a23**4*b12**3*kap**2) + u1*u2**2*u3**2*v1*v3*(22680*a23**5*b12**2*kap +
11340*a23**3*b12**4*kap**2) + 11340*u1*u2**2*u3*v2**2*v3*a23**4*b12**3*kap + u1*
u2*u3**4*v2*(239120*a23**6*b12*kap + 239120*a23**4*b12**3*kap**2) + u1*u2*u3**3*
v1*v2*(218960*a23**5*b12**2*kap + 207620*a23**3*b12**4*kap**2) - 22680*u1*u2*u3
**2*v1**2*v2*a23**4*b12**3*kap + 22680*u1*u2*u3**2*v2*v3**2*a23**4*b12**3*kap +
11340*u1*u2*u3*v1**3*v2*a23**3*b12**4*kap + 11340*u1*u2*u3*v1*v2**3*a23**3*b12**
4*kap + 11340*u1*u2*u3*v1*v2*v3**2*a23**3*b12**4*kap + u1*u3**5*v3*(73640*a23**6
*b12*kap + 51590*a23**4*b12**3*kap**2 - 22050*a23**2*b12**5*kap**3) + u1*u3**4*
v1*v3*( - 6720*a23**5*b12**2*kap - 18060*a23**3*b12**4*kap**2) - 22680*u1*u3**3*
v1**2*v3*a23**4*b12**3*kap + 11340*u1*u3**3*v3**3*a23**4*b12**3*kap + 11340*u1*
u3**2*v1**3*v3*a23**3*b12**4*kap + 11340*u1*u3**2*v1*v2**2*v3*a23**3*b12**4*kap
+ 11340*u1*u3**2*v1*v3**3*a23**3*b12**4*kap + u2**6*u3*( - 2520*a23**5*b12**2*
kap**2 - 5040*a23**3*b12**4*kap**3 - 2520*a23*b12**6*kap**4) + u2**4*u3**3*(
56700*a23**7*kap + 56700*a23**5*b12**2*kap**2) + u2**4*u3**2*v1*( - 156240*a23**
6*b12*kap - 158130*a23**4*b12**3*kap**2 + 5670*a23**2*b12**5*kap**3 + 7560*b12**
7*kap**4) + u2**4*u3*v1**2*(1890*a23**5*b12**2*kap + 1890*a23**3*b12**4*kap**2)
+ u2**4*u3*v2**2*(1890*a23**5*b12**2*kap - 3780*a23**3*b12**4*kap**2) + u2**4*u3
*v3**2*(9450*a23**5*b12**2*kap + 9450*a23**3*b12**4*kap**2) + u2**3*u3**2*v2*v3*
(22680*a23**5*b12**2*kap + 11340*a23**3*b12**4*kap**2) + u2**2*u3**5*(312760*a23
**7*kap + 229026*a23**5*b12**2*kap**2 - 85939*a23**3*b12**4*kap**3 - 2205*a23*
b12**6*kap**4) + u2**2*u3**4*v1*( - 196280*a23**6*b12*kap - 196280*a23**4*b12**3
*kap**2) + u2**2*u3**3*v1**2*( - 37240*a23**5*b12**2*kap - 37240*a23**3*b12**4*
kap**2) + u2**2*u3**3*v2**2*(72240*a23**5*b12**2*kap + 66570*a23**3*b12**4*kap**
2) + u2**2*u3**3*v3**2*(11340*a23**5*b12**2*kap + 5670*a23**3*b12**4*kap**2) +
u2**2*u3**2*v1*v2**2*(7560*a23**4*b12**3*kap + 18900*a23**2*b12**5*kap**2) +
5670*u2**2*u3*v1**2*v2**2*a23**3*b12**4*kap + 5670*u2**2*u3*v2**4*a23**3*b12**4*
kap + 5670*u2**2*u3*v2**2*v3**2*a23**3*b12**4*kap + u2**2*u3*v3**4*(9450*a23**5*
b12**2 + 9450*a23**3*b12**4*kap) + u2*u3**4*v2*v3*(144480*a23**5*b12**2*kap +
133140*a23**3*b12**4*kap**2) - 22680*u2*u3**3*v1*v2*v3*a23**4*b12**3*kap + 11340
*u2*u3**2*v1**2*v2*v3*a23**3*b12**4*kap + 11340*u2*u3**2*v2**3*v3*a23**3*b12**4*
kap + 11340*u2*u3**2*v2*v3**3*a23**3*b12**4*kap + u3**7*(86480*a23**7*kap +
53696*a23**5*b12**2*kap**2 - 31839*a23**3*b12**4*kap**3 + 945*a23*b12**6*kap**4)
+ u3**6*v1*( - 73640*a23**6*b12*kap - 51590*a23**4*b12**3*kap**2 + 22050*a23**2
*b12**5*kap**3) + u3**5*v1**2*(13916*a23**5*b12**2*kap + 11711*a23**3*b12**4*kap
**2 - 2205*a23*b12**6*kap**3) + u3**5*v2**2*( - 61684*a23**5*b12**2*kap - 63889*
a23**3*b12**4*kap**2 - 2205*a23*b12**6*kap**3) + u3**5*v3**2*(10556*a23**5*b12**
2*kap + 2681*a23**3*b12**4*kap**2 - 2205*a23*b12**6*kap**3) - 11340*u3**4*v1*v3
**2*a23**4*b12**3*kap + 5670*u3**3*v1**2*v3**2*a23**3*b12**4*kap + 5670*u3**3*v2
**2*v3**2*a23**3*b12**4*kap + 5670*u3**3*v3**4*a23**3*b12**4*kap$
FI= - 3*u1**4*u3*v1*v2*b12**3*kap - 6*u1**3*u2*u3**2*v1*a23*b12**2*kap + 3*u1**3
*u2*u3*v1**2*b12**3*kap - 3*u1**3*u2*u3*v2**2*b12**3*kap - 3*u1**3*u3**2*v2*v3*
b12**3*kap + 6*u1**3*u3*v1*v2*v3*a23*b12**2 + u1**2*u2**2*u3**2*v2*(4*a23**3 - 2
*a23*b12**2*kap) - 6*u1**2*u2*u3**3*v3*a23*b12**2*kap + u1**2*u2*u3**2*v1*v3*(12
*a23**2*b12 + 3*b12**3*kap) - 6*u1**2*u2*u3*v1**2*v3*a23*b12**2 + 6*u1**2*u2*u3*
v2**2*v3*a23*b12**2 - 3*u1**2*u3**3*v1*v2*b12**3*kap - 6*u1**2*u3**2*v1**2*v2*
a23*b12**2 + 6*u1**2*u3**2*v2*v3**2*a23*b12**2 + 3*u1**2*u3*v1**3*v2*b12**3 + 3*
u1**2*u3*v1*v2**3*b12**3 + 3*u1**2*u3*v1*v2*v3**2*b12**3 + u1*u2**3*u3**2*v1*(8*
a23**3 + 2*a23*b12**2*kap) + 3*u1*u2**3*u3*v1**2*b12**3*kap - 3*u1*u2**3*u3*v2**
2*b12**3*kap + u1*u2**2*u3**2*v2*v3*(12*a23**2*b12 - 3*b12**3*kap) - 6*u1*u2**2*
u3*v1*v2*v3*a23*b12**2 - 6*u1*u2*u3**4*v1*a23*b12**2*kap + u1*u2*u3**3*v1**2*( -
12*a23**2*b12 + 3*b12**3*kap) - 3*u1*u2*u3**3*v2**2*b12**3*kap + 12*u1*u2*u3**3
*v3**2*a23**2*b12 + 12*u1*u2*u3**2*v1**3*a23*b12**2 - 3*u1*u2*u3*v1**4*b12**3 -
3*u1*u2*u3*v1**2*v3**2*b12**3 + 3*u1*u2*u3*v2**4*b12**3 + 3*u1*u2*u3*v2**2*v3**2
*b12**3 - 3*u1*u3**4*v2*v3*b12**3*kap - 6*u1*u3**3*v1*v2*v3*a23*b12**2 + 3*u1*u3
**2*v1**2*v2*v3*b12**3 + 3*u1*u3**2*v2**3*v3*b12**3 + 3*u1*u3**2*v2*v3**3*b12**3
+ u2**4*u3**2*v2*(8*a23**3 + 2*a23*b12**2*kap) + 3*u2**4*u3*v1*v2*b12**3*kap +
u2**3*u3**3*v3*(8*a23**3 + 2*a23*b12**2*kap) + 3*u2**3*u3**2*v1*v3*b12**3*kap -
6*u2**2*u3**4*v2*a23*b12**2*kap + u2**2*u3**3*v1*v2*( - 12*a23**2*b12 + 3*b12**3
*kap) + 12*u2**2*u3**2*v1**2*v2*a23*b12**2 + 6*u2**2*u3**2*v2**3*a23*b12**2 + 6*
u2**2*u3**2*v2*v3**2*a23*b12**2 - 3*u2**2*u3*v1**3*v2*b12**3 - 3*u2**2*u3*v1*v2
**3*b12**3 - 3*u2**2*u3*v1*v2*v3**2*b12**3 - 6*u2*u3**5*v3*a23*b12**2*kap + u2*
u3**4*v1*v3*( - 12*a23**2*b12 + 3*b12**3*kap) + 12*u2*u3**3*v1**2*v3*a23*b12**2
+ 6*u2*u3**3*v2**2*v3*a23*b12**2 + 6*u2*u3**3*v3**3*a23*b12**2 - 3*u2*u3**2*v1**
3*v3*b12**3 - 3*u2*u3**2*v1*v2**2*v3*b12**3 - 3*u2*u3**2*v1*v3**3*b12**3$
FI= - 21*u1**4*u3*v2**2*b12**4*kap + u1**3*u2*u3**2*v2*(224*a23**3*b12 + 140*a23
*b12**3*kap) + 42*u1**3*u2*u3*v1*v2*b12**4*kap + 42*u1**3*u3*v2**2*v3*a23*b12**3
+ u1**2*u2**2*u3**3*(252*a23**4 + 168*a23**2*b12**2*kap) + u1**2*u2**2*u3**2*v1
*( - 336*a23**3*b12 - 252*a23*b12**3*kap) - 21*u1**2*u2**2*u3*v1**2*b12**4*kap -
21*u1**2*u2**2*u3*v2**2*b12**4*kap + 168*u1**2*u2*u3**2*v2*v3*a23**2*b12**2 -
84*u1**2*u2*u3*v1*v2*v3*a23*b12**3 + u1**2*u3**5*(350*a23**4 + 357*a23**2*b12**2
*kap + 7*b12**4*kap**2) + u1**2*u3**3*v2**2*(112*a23**2*b12**2 + 91*b12**4*kap)
- 42*u1**2*u3**2*v1*v2**2*a23*b12**3 + 21*u1**2*u3*v1**2*v2**2*b12**4 + 21*u1**2
*u3*v2**4*b12**4 + 21*u1**2*u3*v2**2*v3**2*b12**4 + u1*u2**3*u3**2*v2*(336*a23**
3*b12 + 252*a23*b12**3*kap) + 42*u1*u2**3*u3*v1*v2*b12**4*kap + 168*u1*u2**2*u3
**3*v3*a23**3*b12 - 168*u1*u2**2*u3**2*v1*v3*a23**2*b12**2 + 42*u1*u2**2*u3*v1**
2*v3*a23*b12**3 + u1*u2*u3**4*v2*(448*a23**3*b12 + 364*a23*b12**3*kap) + u1*u2*
u3**3*v1*v2*( - 392*a23**2*b12**2 - 182*b12**4*kap) + 168*u1*u2*u3**2*v1**2*v2*
a23*b12**3 + 84*u1*u2*u3**2*v2**3*a23*b12**3 + 84*u1*u2*u3**2*v2*v3**2*a23*b12**
3 - 42*u1*u2*u3*v1**3*v2*b12**4 - 42*u1*u2*u3*v1*v2**3*b12**4 - 42*u1*u2*u3*v1*
v2*v3**2*b12**4 + u1*u3**5*v3*(70*a23**3*b12 + 70*a23*b12**3*kap) + u2**4*u3**3*
(252*a23**4 + 168*a23**2*b12**2*kap) + u2**4*u3**2*v1*( - 336*a23**3*b12 - 252*
a23*b12**3*kap) - 21*u2**4*u3*v1**2*b12**4*kap + u2**2*u3**5*(518*a23**4 + 441*
a23**2*b12**2*kap + 7*b12**4*kap**2) + u2**2*u3**4*v1*( - 616*a23**3*b12 - 364*
a23*b12**3*kap) + u2**2*u3**3*v1**2*(364*a23**2*b12**2 + 91*b12**4*kap) + 84*u2
**2*u3**3*v2**2*a23**2*b12**2 + 84*u2**2*u3**3*v3**2*a23**2*b12**2 - 126*u2**2*
u3**2*v1**3*a23*b12**3 - 84*u2**2*u3**2*v1*v2**2*a23*b12**3 - 84*u2**2*u3**2*v1*
v3**2*a23*b12**3 + 21*u2**2*u3*v1**4*b12**4 + 21*u2**2*u3*v1**2*v2**2*b12**4 +
21*u2**2*u3*v1**2*v3**2*b12**4 + u3**7*(100*a23**4 + 97*a23**2*b12**2*kap - 3*
b12**4*kap**2) + u3**6*v1*( - 70*a23**3*b12 - 70*a23*b12**3*kap) + u3**5*v1**2*(
7*a23**2*b12**2 + 7*b12**4*kap) + u3**5*v2**2*(7*a23**2*b12**2 + 7*b12**4*kap) +
u3**5*v3**2*(7*a23**2*b12**2 + 7*b12**4*kap)$
FI=u1**5*u3*v2*( - 210*a23**2*b12**3*kap - 525*b12**5*kap**2) + u1**4*u2*u3**2*(
- 420*a23**3*b12**2*kap - 1050*a23*b12**4*kap**2) + u1**4*u2*u3*v1*(210*a23**2*
b12**3*kap + 525*b12**5*kap**2) + u1**4*u3*v2*v3*(420*a23**3*b12**2 + 1050*a23*
b12**4*kap) + u1**3*u2**2*u3*v2*( - 420*a23**2*b12**3*kap - 1050*b12**5*kap**2)
+ u1**3*u2*u3**2*v3*(840*a23**4*b12 + 2100*a23**2*b12**3*kap) + u1**3*u2*u3*v1*
v3*( - 420*a23**3*b12**2 - 1050*a23*b12**4*kap) + u1**3*u3**3*v2*(960*a23**4*b12
+ 2330*a23**2*b12**3*kap + 740*b12**5*kap**2) + u1**3*u3**2*v1*v2*(2940*a23**3*
b12**2 + 2310*a23*b12**4*kap) + u1**3*u3*v1**2*v2*(210*a23**2*b12**3 + 210*b12**
5*kap) + u1**3*u3*v2**3*(210*a23**2*b12**3 + 210*b12**5*kap) + u1**3*u3*v2*v3**2
*(630*a23**2*b12**3 + 630*b12**5*kap) + u1**2*u2**3*u3**2*( - 840*a23**3*b12**2*
kap - 2100*a23*b12**4*kap**2) + u1**2*u2**3*u3*v1*(420*a23**2*b12**3*kap + 1050*
b12**5*kap**2) + u1**2*u2**2*u3*v2*v3*(420*a23**3*b12**2 + 1050*a23*b12**4*kap)
+ u1**2*u2*u3**4*(1920*a23**5 + 4660*a23**3*b12**2*kap + 1480*a23*b12**4*kap**2)
+ u1**2*u2*u3**3*v1*( - 1800*a23**4*b12 - 4430*a23**2*b12**3*kap - 740*b12**5*
kap**2) + u1**2*u2*u3**2*v1**2*( - 11400*a23**3*b12**2 - 10770*a23*b12**4*kap) +
u1**2*u2*u3**2*v2**2*( - 2580*a23**3*b12**2 - 2580*a23*b12**4*kap) + u1**2*u2*
u3**2*v3**2*(1260*a23**3*b12**2 + 1260*a23*b12**4*kap) + u1**2*u2*u3*v1**3*( -
210*a23**2*b12**3 - 210*b12**5*kap) + u1**2*u2*u3*v1*v2**2*( - 210*a23**2*b12**3
- 210*b12**5*kap) + u1**2*u2*u3*v1*v3**2*( - 630*a23**2*b12**3 - 630*b12**5*kap
) + u1**2*u3**3*v2*v3*(600*a23**3*b12**2 + 1230*a23*b12**4*kap) + 630*u1**2*u3*
v1**2*v2*v3*a23*b12**4 + 630*u1**2*u3*v2**3*v3*a23*b12**4 + 630*u1**2*u3*v2*v3**
3*a23*b12**4 + u1*u2**4*u3*v2*( - 210*a23**2*b12**3*kap - 525*b12**5*kap**2) +
u1*u2**3*u3**2*v3*(840*a23**4*b12 + 2100*a23**2*b12**3*kap) + u1*u2**3*u3*v1*v3*
( - 420*a23**3*b12**2 - 1050*a23*b12**4*kap) + u1*u2**2*u3**3*v2*(1680*a23**4*
b12 + 3050*a23**2*b12**3*kap + 740*b12**5*kap**2) + u1*u2**2*u3**2*v1*v2*( - 420
*a23**3*b12**2 - 1050*a23*b12**4*kap) + u1*u2**2*u3*v1**2*v2*(210*a23**2*b12**3
+ 210*b12**5*kap) + u1*u2**2*u3*v2**3*(210*a23**2*b12**3 + 210*b12**5*kap) + u1*
u2**2*u3*v2*v3**2*(630*a23**2*b12**3 + 630*b12**5*kap) + u1*u2*u3**4*v3*(1200*
a23**4*b12 + 2460*a23**2*b12**3*kap) + u1*u2*u3**3*v1*v3*( - 600*a23**3*b12**2 -
1230*a23*b12**4*kap) + 1260*u1*u2*u3**2*v1**2*v3*a23**2*b12**3 + 1260*u1*u2*u3
**2*v2**2*v3*a23**2*b12**3 + 1260*u1*u2*u3**2*v3**3*a23**2*b12**3 - 630*u1*u2*u3
*v1**3*v3*a23*b12**4 - 630*u1*u2*u3*v1*v2**2*v3*a23*b12**4 - 630*u1*u2*u3*v1*v3
**3*a23*b12**4 + u1*u3**5*v2*(384*a23**4*b12 + 872*a23**2*b12**3*kap + 173*b12**
5*kap**2) + u1*u3**4*v1*v2*( - 600*a23**3*b12**2 - 1230*a23*b12**4*kap) + u1*u3
**3*v1**2*v2*(740*a23**2*b12**3 + 740*b12**5*kap) + u1*u3**3*v2**3*(740*a23**2*
b12**3 + 740*b12**5*kap) + u1*u3**3*v2*v3**2*(740*a23**2*b12**3 + 740*b12**5*kap
) - 630*u1*u3**2*v1**3*v2*a23*b12**4 - 630*u1*u3**2*v1*v2**3*a23*b12**4 - 630*u1
*u3**2*v1*v2*v3**2*a23*b12**4 + 315*u1*u3*v1**4*v2*b12**5 + 630*u1*u3*v1**2*v2**
3*b12**5 + 630*u1*u3*v1**2*v2*v3**2*b12**5 + 315*u1*u3*v2**5*b12**5 + 630*u1*u3*
v2**3*v3**2*b12**5 + 315*u1*u3*v2*v3**4*b12**5 + u2**5*u3**2*( - 420*a23**3*b12
**2*kap - 1050*a23*b12**4*kap**2) + u2**5*u3*v1*(210*a23**2*b12**3*kap + 525*b12
**5*kap**2) + u2**3*u3**4*(1920*a23**5 + 4660*a23**3*b12**2*kap + 1480*a23*b12**
4*kap**2) + u2**3*u3**3*v1*( - 2520*a23**4*b12 - 5150*a23**2*b12**3*kap - 740*
b12**5*kap**2) + u2**3*u3**2*v1**2*(1120*a23**3*b12**2 + 1750*a23*b12**4*kap) +
u2**3*u3**2*v2**2*(980*a23**3*b12**2 + 980*a23*b12**4*kap) + u2**3*u3**2*v3**2*(
1260*a23**3*b12**2 + 1260*a23*b12**4*kap) + u2**3*u3*v1**3*( - 210*a23**2*b12**3
- 210*b12**5*kap) + u2**3*u3*v1*v2**2*( - 210*a23**2*b12**3 - 210*b12**5*kap) +
u2**3*u3*v1*v3**2*( - 630*a23**2*b12**3 - 630*b12**5*kap) + u2*u3**6*(768*a23**
5 + 1744*a23**3*b12**2*kap + 346*a23*b12**4*kap**2) + u2*u3**5*v1*( - 1584*a23**
4*b12 - 3332*a23**2*b12**3*kap - 173*b12**5*kap**2) + u2*u3**4*v1**2*(2080*a23**
3*b12**2 + 2710*a23*b12**4*kap) + u2*u3**4*v2**2*(1480*a23**3*b12**2 + 1480*a23*
b12**4*kap) + u2*u3**4*v3**2*(1480*a23**3*b12**2 + 1480*a23*b12**4*kap) + u2*u3
**3*v1**3*( - 2000*a23**2*b12**3 - 740*b12**5*kap) + u2*u3**3*v1*v2**2*( - 2000*
a23**2*b12**3 - 740*b12**5*kap) + u2*u3**3*v1*v3**2*( - 2000*a23**2*b12**3 - 740
*b12**5*kap) + 1260*u2*u3**2*v1**4*a23*b12**4 + 1890*u2*u3**2*v1**2*v2**2*a23*
b12**4 + 1890*u2*u3**2*v1**2*v3**2*a23*b12**4 + 630*u2*u3**2*v2**4*a23*b12**4 +
1260*u2*u3**2*v2**2*v3**2*a23*b12**4 + 630*u2*u3**2*v3**4*a23*b12**4 - 315*u2*u3
*v1**5*b12**5 - 630*u2*u3*v1**3*v2**2*b12**5 - 630*u2*u3*v1**3*v3**2*b12**5 -
315*u2*u3*v1*v2**4*b12**5 - 630*u2*u3*v1*v2**2*v3**2*b12**5 - 315*u2*u3*v1*v3**4
*b12**5$
FI=u1**5*u3*v1*( - 10*a23**3*b12**2*kap - 25*a23*b12**4*kap**2) + u1**4*u2*u3*v2
*( - 10*a23**3*b12**2*kap - 25*a23*b12**4*kap**2) + u1**4*u3**2*v3*( - 10*a23**3
*b12**2*kap - 25*a23*b12**4*kap**2) + u1**4*u3*v1*v3*(20*a23**4*b12 + 50*a23**2*
b12**3*kap) + u1**3*u2**2*u3*v1*( - 20*a23**3*b12**2*kap - 50*a23*b12**4*kap**2)
+ u1**3*u2*u3*v2*v3*(20*a23**4*b12 + 50*a23**2*b12**3*kap) + u1**3*u3**3*v1*( -
520*a23**5 - 490*a23**3*b12**2*kap) + u1**3*u3**2*v1**2*( - 10*a23**4*b12 + 40*
b12**5*kap**2) + u1**3*u3**2*v3**2*(20*a23**4*b12 + 50*a23**2*b12**3*kap) + u1**
3*u3*v1**3*(10*a23**3*b12**2 + 10*a23*b12**4*kap) + u1**3*u3*v1*v2**2*(10*a23**3
*b12**2 + 10*a23*b12**4*kap) + u1**3*u3*v1*v3**2*(30*a23**3*b12**2 + 30*a23*b12
**4*kap) + u1**2*u2**3*u3*v2*( - 20*a23**3*b12**2*kap - 50*a23*b12**4*kap**2) +
u1**2*u2**2*u3**2*v3*( - 20*a23**3*b12**2*kap - 50*a23*b12**4*kap**2) + u1**2*u2
**2*u3*v1*v3*(20*a23**4*b12 + 50*a23**2*b12**3*kap) + u1**2*u2*u3**3*v2*( - 520*
a23**5 - 490*a23**3*b12**2*kap) + u1**2*u2*u3**2*v1*v2*( - 140*a23**4*b12 - 170*
a23**2*b12**3*kap) + u1**2*u2*u3*v1**2*v2*(10*a23**3*b12**2 + 10*a23*b12**4*kap)
+ u1**2*u2*u3*v2**3*(10*a23**3*b12**2 + 10*a23*b12**4*kap) + u1**2*u2*u3*v2*v3
**2*(30*a23**3*b12**2 + 30*a23*b12**4*kap) + u1**2*u3**4*v3*( - 520*a23**5 - 490
*a23**3*b12**2*kap) + u1**2*u3**3*v1*v3*( - 180*a23**4*b12 - 180*a23**2*b12**3*
kap) + u1**2*u3**2*v1**2*v3*( - 30*a23**3*b12**2 - 30*a23*b12**4*kap) + u1**2*u3
**2*v2**2*v3*(10*a23**3*b12**2 + 10*a23*b12**4*kap) + u1**2*u3**2*v3**3*(30*a23
**3*b12**2 + 30*a23*b12**4*kap) + 30*u1**2*u3*v1**3*v3*a23**2*b12**3 + 30*u1**2*
u3*v1*v2**2*v3*a23**2*b12**3 + 30*u1**2*u3*v1*v3**3*a23**2*b12**3 + u1*u2**4*u3*
v1*( - 10*a23**3*b12**2*kap - 25*a23*b12**4*kap**2) + u1*u2**3*u3*v2*v3*(20*a23
**4*b12 + 50*a23**2*b12**3*kap) + u1*u2**2*u3**3*v1*( - 280*a23**5 - 250*a23**3*
b12**2*kap) + u1*u2**2*u3**2*v1**2*(100*a23**4*b12 + 70*a23**2*b12**3*kap) + u1*
u2**2*u3**2*v2**2*( - 120*a23**4*b12 - 120*a23**2*b12**3*kap) + u1*u2**2*u3**2*
v3**2*(20*a23**4*b12 + 50*a23**2*b12**3*kap) + u1*u2**2*u3*v1**3*(10*a23**3*b12
**2 + 10*a23*b12**4*kap) + u1*u2**2*u3*v1*v2**2*(10*a23**3*b12**2 + 10*a23*b12**
4*kap) + u1*u2**2*u3*v1*v3**2*(30*a23**3*b12**2 + 30*a23*b12**4*kap) + u1*u2*u3
**3*v2*v3*( - 280*a23**4*b12 - 250*a23**2*b12**3*kap) + u1*u2*u3**2*v1*v2*v3*( -
80*a23**3*b12**2 - 80*a23*b12**4*kap) + 30*u1*u2*u3*v1**2*v2*v3*a23**2*b12**3 +
30*u1*u2*u3*v2**3*v3*a23**2*b12**3 + 30*u1*u2*u3*v2*v3**3*a23**2*b12**3 + u1*u3
**5*v1*( - 208*a23**5 - 180*a23**3*b12**2*kap + 13*a23*b12**4*kap**2) + u1*u3**4
*v1**2*(160*a23**4*b12 + 130*a23**2*b12**3*kap) + u1*u3**4*v3**2*( - 160*a23**4*
b12 - 130*a23**2*b12**3*kap) + u1*u3**3*v1*v3**2*( - 60*a23**3*b12**2 - 60*a23*
b12**4*kap) - 30*u1*u3**2*v1**4*a23**2*b12**3 - 30*u1*u3**2*v1**2*v2**2*a23**2*
b12**3 + 30*u1*u3**2*v2**2*v3**2*a23**2*b12**3 + 30*u1*u3**2*v3**4*a23**2*b12**3
+ 15*u1*u3*v1**5*a23*b12**4 + 30*u1*u3*v1**3*v2**2*a23*b12**4 + 30*u1*u3*v1**3*
v3**2*a23*b12**4 + 15*u1*u3*v1*v2**4*a23*b12**4 + 30*u1*u3*v1*v2**2*v3**2*a23*
b12**4 + 15*u1*u3*v1*v3**4*a23*b12**4 + u2**5*u3*v2*( - 10*a23**3*b12**2*kap -
25*a23*b12**4*kap**2) + u2**4*u3**2*v3*( - 10*a23**3*b12**2*kap - 25*a23*b12**4*
kap**2) + u2**3*u3**3*v2*( - 280*a23**5 - 250*a23**3*b12**2*kap) + u2**3*u3**2*
v1*v2*(100*a23**4*b12 + 70*a23**2*b12**3*kap) + u2**3*u3*v1**2*v2*(10*a23**3*b12
**2 + 10*a23*b12**4*kap) + u2**3*u3*v2**3*(10*a23**3*b12**2 + 10*a23*b12**4*kap)
+ u2**3*u3*v2*v3**2*(30*a23**3*b12**2 + 30*a23*b12**4*kap) + u2**2*u3**4*v3*( -
280*a23**5 - 250*a23**3*b12**2*kap) + u2**2*u3**3*v1*v3*(100*a23**4*b12 + 70*
a23**2*b12**3*kap) + u2**2*u3**2*v1**2*v3*(10*a23**3*b12**2 + 10*a23*b12**4*kap)
+ u2**2*u3**2*v2**2*v3*( - 30*a23**3*b12**2 - 30*a23*b12**4*kap) + u2**2*u3**2*
v3**3*(30*a23**3*b12**2 + 30*a23*b12**4*kap) + u2*u3**5*v2*( - 208*a23**5 - 180*
a23**3*b12**2*kap + 13*a23*b12**4*kap**2) + u2*u3**4*v1*v2*(160*a23**4*b12 + 130
*a23**2*b12**3*kap) + u2*u3**3*v2*v3**2*( - 60*a23**3*b12**2 - 60*a23*b12**4*kap
) - 30*u2*u3**2*v1**3*v2*a23**2*b12**3 - 30*u2*u3**2*v1*v2**3*a23**2*b12**3 - 30
*u2*u3**2*v1*v2*v3**2*a23**2*b12**3 + 15*u2*u3*v1**4*v2*a23*b12**4 + 30*u2*u3*v1
**2*v2**3*a23*b12**4 + 30*u2*u3*v1**2*v2*v3**2*a23*b12**4 + 15*u2*u3*v2**5*a23*
b12**4 + 30*u2*u3*v2**3*v3**2*a23*b12**4 + 15*u2*u3*v2*v3**4*a23*b12**4 + u3**6*
v3*( - 208*a23**5 - 180*a23**3*b12**2*kap + 13*a23*b12**4*kap**2) + u3**5*v1*v3*
(160*a23**4*b12 + 130*a23**2*b12**3*kap) + u3**4*v3**3*( - 20*a23**3*b12**2 - 20
*a23*b12**4*kap) - 30*u3**3*v1**3*v3*a23**2*b12**3 - 30*u3**3*v1*v2**2*v3*a23**2
*b12**3 - 30*u3**3*v1*v3**3*a23**2*b12**3 + 15*u3**2*v1**4*v3*a23*b12**4 + 30*u3
**2*v1**2*v2**2*v3*a23*b12**4 + 30*u3**2*v1**2*v3**3*a23*b12**4 + 15*u3**2*v2**4
*v3*a23*b12**4 + 30*u3**2*v2**2*v3**3*a23*b12**4 + 15*u3**2*v3**5*a23*b12**4$
FI=u1**6*u3*( - 573300*a23**5*b12**2*kap**2 - 1433250*a23**3*b12**4*kap**3) + u1
**5*u3*v3*(1146600*a23**6*b12*kap + 2866500*a23**4*b12**3*kap**2) + u1**4*u2**2*
u3*( - 1719900*a23**5*b12**2*kap**2 - 4299750*a23**3*b12**4*kap**3) + u1**4*u3**
3*(159250*a23**5*b12**2*kap**2 - 1799525*a23**3*b12**4*kap**3 + 621075*a23*b12**
6*kap**4) + u1**4*u3**2*v1*( - 573300*a23**6*b12*kap + 1433250*a23**4*b12**3*kap
**2 + 3726450*a23**2*b12**5*kap**3) + u1**4*u3*v1**2*(573300*a23**5*b12**2*kap +
1433250*a23**3*b12**4*kap**2) + u1**4*u3*v2**2*(573300*a23**5*b12**2*kap +
1433250*a23**3*b12**4*kap**2) + u1**4*u3*v3**2*(2866500*a23**5*b12**2*kap +
2006550*a23**3*b12**4*kap**2) + u1**3*u2**2*u3*v3*(2293200*a23**6*b12*kap +
5733000*a23**4*b12**3*kap**2) + u1**3*u2*u3**2*v2*(127610000*a23**6*b12*kap +
139458200*a23**4*b12**3*kap**2 + 4968600*a23**2*b12**5*kap**3) + u1**3*u3**3*v3*
( - 8408400*a23**6*b12*kap - 4968600*a23**4*b12**3*kap**2) + u1**3*u3**2*v1*v3*(
- 6879600*a23**5*b12**2*kap - 3439800*a23**3*b12**4*kap**2) + 3439800*u1**3*u3*
v3**3*a23**4*b12**3*kap + u1**2*u2**4*u3*( - 1911000*a23**5*b12**2*kap**2 -
5541900*a23**3*b12**4*kap**3 - 1051050*a23*b12**6*kap**4) + u1**2*u2**2*u3**3*(
72584400*a23**7*kap + 86343600*a23**5*b12**2*kap**2 + 1719900*a23**3*b12**4*kap
**3) + u1**2*u2**2*u3**2*v1*( - 192561600*a23**6*b12*kap - 202881000*a23**4*b12
**3*kap**2) + u1**2*u2**2*u3*v1**2*(1146600*a23**5*b12**2*kap + 2866500*a23**3*
b12**4*kap**2) + u1**2*u2**2*u3*v2**2*(859950*a23**5*b12**2*kap + 1003275*a23**3
*b12**4*kap**2 - 1576575*a23*b12**6*kap**3) + u1**2*u2**2*u3*v3**2*(5733000*a23
**5*b12**2*kap + 4013100*a23**3*b12**4*kap**2) + u1**2*u2*u3**2*v2*v3*( -
20638800*a23**5*b12**2*kap - 3439800*a23**3*b12**4*kap**2) + u1**2*u3**5*(
298414200*a23**7*kap + 315493038*a23**5*b12**2*kap**2 + 14699643*a23**3*b12**4*
kap**3 + 200655*a23*b12**6*kap**4) + u1**2*u3**4*v1*(8408400*a23**6*b12*kap +
4968600*a23**4*b12**3*kap**2) + u1**2*u3**3*v1**2*(3949400*a23**5*b12**2*kap +
3949400*a23**3*b12**4*kap**2) + u1**2*u3**3*v2**2*(94024280*a23**5*b12**2*kap +
94024280*a23**3*b12**4*kap**2) - 10319400*u1**2*u3**2*v1*v3**2*a23**4*b12**3*kap
- 859950*u1**2*u3*v1**4*a23**3*b12**4*kap - 1719900*u1**2*u3*v1**2*v2**2*a23**3
*b12**4*kap - 859950*u1**2*u3*v2**4*a23**3*b12**4*kap + 859950*u1**2*u3*v3**4*
a23**3*b12**4*kap + u1*u2**4*u3*v3*( - 4586400*a23**4*b12**3*kap**2 - 6306300*
a23**2*b12**5*kap**3) + u1*u2**3*u3**2*v2*(190268400*a23**6*b12*kap + 197148000*
a23**4*b12**3*kap**2) + u1*u2**2*u3**3*v3*( - 15288000*a23**6*b12*kap + 1911000*
a23**4*b12**3*kap**2) + u1*u2**2*u3**2*v1*v3*(6879600*a23**5*b12**2*kap -
3439800*a23**3*b12**4*kap**2) + 3439800*u1*u2**2*u3*v3**3*a23**4*b12**3*kap + u1
*u2*u3**4*v2*(310358720*a23**6*b12*kap + 317238320*a23**4*b12**3*kap**2) + u1*u2
*u3**3*v1*v2*( - 166390560*a23**5*b12**2*kap - 180149760*a23**3*b12**4*kap**2) -
6879600*u1*u2*u3**2*v1**2*v2*a23**4*b12**3*kap - 6879600*u1*u2*u3**2*v2**3*a23
**4*b12**3*kap - 13759200*u1*u2*u3**2*v2*v3**2*a23**4*b12**3*kap + u1*u3**5*v3*(
56319480*a23**6*b12*kap + 60045930*a23**4*b12**3*kap**2 + 2006550*a23**2*b12**5*
kap**3) + u1*u3**4*v1*v3*(1019200*a23**5*b12**2*kap + 4459000*a23**3*b12**4*kap
**2) + 10319400*u1*u3**3*v1**2*v3*a23**4*b12**3*kap + 3439800*u1*u3**3*v2**2*v3*
a23**4*b12**3*kap - 3439800*u1*u3**2*v1**3*v3*a23**3*b12**4*kap - 3439800*u1*u3
**2*v1*v2**2*v3*a23**3*b12**4*kap - 3439800*u1*u3**2*v1*v3**3*a23**3*b12**4*kap
+ 1719900*u1*u3*v1**4*v3*a23**4*b12**3 + 3439800*u1*u3*v1**2*v2**2*v3*a23**4*b12
**3 + 3439800*u1*u3*v1**2*v3**3*a23**4*b12**3 + 1719900*u1*u3*v2**4*v3*a23**4*
b12**3 + 3439800*u1*u3*v2**2*v3**3*a23**4*b12**3 + 1719900*u1*u3*v3**5*a23**4*
b12**3 + u2**6*u3*( - 764400*a23**5*b12**2*kap**2 - 2675400*a23**3*b12**4*kap**3
- 1051050*a23*b12**6*kap**4) + u2**4*u3**3*(87490200*a23**7*kap + 99529500*a23
**5*b12**2*kap**2 + 2579850*a23**3*b12**4*kap**3) + u2**4*u3**2*v1*( - 190268400
*a23**6*b12*kap - 190841700*a23**4*b12**3*kap**2 + 11179350*a23**2*b12**5*kap**3
+ 3153150*b12**7*kap**4) + u2**4*u3*v1**2*(573300*a23**5*b12**2*kap + 1433250*
a23**3*b12**4*kap**2) + u2**4*u3*v2**2*(573300*a23**5*b12**2*kap + 1433250*a23**
3*b12**4*kap**2) + u2**4*u3*v3**2*( - 573300*a23**5*b12**2*kap - 1433250*a23**3*
b12**4*kap**2) + u2**3*u3**2*v2*v3*( - 6879600*a23**5*b12**2*kap - 3439800*a23**
3*b12**4*kap**2) + u2**2*u3**5*(366678200*a23**7*kap + 389490038*a23**5*b12**2*
kap**2 + 13553043*a23**3*b12**4*kap**3 + 200655*a23*b12**6*kap**4) + u2**2*u3**4
*v1*( - 295070720*a23**6*b12*kap - 319149320*a23**4*b12**3*kap**2) + u2**2*u3**3
*v1**2*(66505880*a23**5*b12**2*kap + 87144680*a23**3*b12**4*kap**2) + u2**2*u3**
3*v2**2*( - 6370000*a23**5*b12**2*kap + 509600*a23**3*b12**4*kap**2) - 6879600*
u2**2*u3**3*v3**2*a23**5*b12**2*kap + 6879600*u2**2*u3**2*v1**3*a23**4*b12**3*
kap + u2**2*u3**2*v1*v2**2*(5733000*a23**4*b12**3*kap - 1146600*a23**2*b12**5*
kap**2) + 3439800*u2**2*u3**2*v1*v3**2*a23**4*b12**3*kap - 859950*u2**2*u3*v1**4
*a23**3*b12**4*kap - 1719900*u2**2*u3*v1**2*v2**2*a23**3*b12**4*kap - 859950*u2
**2*u3*v2**4*a23**3*b12**4*kap + u2**2*u3*v3**4*( - 2293200*a23**5*b12**2 -
1433250*a23**3*b12**4*kap) + u2*u3**4*v2*v3*( - 12740000*a23**5*b12**2*kap -
9300200*a23**3*b12**4*kap**2) + 6879600*u2*u3**3*v1*v2*v3*a23**4*b12**3*kap -
3439800*u2*u3**2*v1**2*v2*v3*a23**3*b12**4*kap + u2*u3**2*v2**3*v3*( - 6879600*
a23**5*b12**2 - 10319400*a23**3*b12**4*kap) - 3439800*u2*u3**2*v2*v3**3*a23**3*
b12**4*kap + u3**7*(85261200*a23**7*kap + 86118048*a23**5*b12**2*kap**2 - 89097*
a23**3*b12**4*kap**3 - 85995*a23*b12**6*kap**4) + u3**6*v1*( - 56319480*a23**6*
b12*kap - 60045930*a23**4*b12**3*kap**2 - 2006550*a23**2*b12**5*kap**3) + u3**5*
v1**2*(5326188*a23**5*b12**2*kap + 4666893*a23**3*b12**4*kap**2 + 200655*a23*b12
**6*kap**3) + u3**5*v2**2*(12205788*a23**5*b12**2*kap + 11546493*a23**3*b12**4*
kap**2 + 200655*a23*b12**6*kap**3) + u3**5*v3**2*(5835788*a23**5*b12**2*kap +
6896393*a23**3*b12**4*kap**2 + 200655*a23*b12**6*kap**3) - 3439800*u3**4*v1**3*
a23**4*b12**3*kap - 3439800*u3**4*v1*v2**2*a23**4*b12**3*kap + 859950*u3**3*v1**
4*a23**3*b12**4*kap + 1719900*u3**3*v1**2*v2**2*a23**3*b12**4*kap + u3**3*v2**4*
(1719900*a23**5*b12**2 + 2579850*a23**3*b12**4*kap) - 859950*u3**3*v3**4*a23**3*
b12**4*kap - 1719900*u3**2*v1**5*a23**4*b12**3 - 3439800*u3**2*v1**3*v2**2*a23**
4*b12**3 - 3439800*u3**2*v1**3*v3**2*a23**4*b12**3 - 1719900*u3**2*v1*v2**4*a23
**4*b12**3 - 3439800*u3**2*v1*v2**2*v3**2*a23**4*b12**3 - 1719900*u3**2*v1*v3**4
*a23**4*b12**3 + 859950*u3*v1**6*a23**3*b12**4 + 2579850*u3*v1**4*v2**2*a23**3*
b12**4 + 2579850*u3*v1**4*v3**2*a23**3*b12**4 + 2579850*u3*v1**2*v2**4*a23**3*
b12**4 + 5159700*u3*v1**2*v2**2*v3**2*a23**3*b12**4 + 2579850*u3*v1**2*v3**4*a23
**3*b12**4 + 859950*u3*v2**6*a23**3*b12**4 + 2579850*u3*v2**4*v3**2*a23**3*b12**
4 + 2579850*u3*v2**2*v3**4*a23**3*b12**4 + 859950*u3*v3**6*a23**3*b12**4$