Solution 24 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2
0=a13 + a23
2 2
0=a11 + b12 *kap
Expressions
The solution is given through the following expressions:
r10=0
r11=0
r12=0
r13=0
r14=0
r15=0
r20=0
r21=0
r22=0
r23=0
r24=0
r27=0
r28=0
r29=0
r210=0
r211=0
r212=0
r213=0
r214=0
r215=0
r217=0
r218=0
r219=0
r220=0
r30=0
r31=0
r32=0
r33=0
r34=0
r35=0
r36=0
r37=0
r38=0
r39=0
r310=0
r311=0
r312=0
r313=0
r314=0
r315=0
1 2 3 1 2 2 3
- ---*a11 *kap*m3 *r6170 - ---*b12 *kap *m3 *r6170
8 8
r316=-----------------------------------------------------
2 2
a11*a23 *b12
r317=0
r318=0
1 2 2 3 1 2 2 3
r319=(----*a11 *a13 *kap*m3 *r6170 + ----*a11 *a23 *kap*m3 *r6170
36 36
1 2 2 2 3 1 2 2 2 3
+ ----*a13 *b12 *kap *m3 *r6170 + ----*a23 *b12 *kap *m3 *r6170)/(a13
36 36
3 3
*a23 *b12 )
r320=0
r321=0
r322=0
r323=0
r324=0
r325=0
r326=0
1 2 3 1 2 2 3
- ---*a11 *kap*m3 *r6170 - ---*b12 *kap *m3 *r6170
8 8
r327=-----------------------------------------------------
2 2
a11*a23 *b12
r328=0
r329=0
r330=0
r331=0
r332=0
r333=0
r334=0
r335=0
r336=0
r337=0
r338=0
r339=0
r340=0
r341=0
r342=0
1 2 3 1 2 2 3
- ---*a11 *kap*m3 *r6170 - ---*b12 *kap *m3 *r6170
8 8
r343=-----------------------------------------------------
2 2
a11*a23 *b12
r344=0
r345=0
r346=0
r347=0
r348=0
r349=0
r350=0
r351=0
r352=0
r353=0
r354=0
r355=0
r40=0
r41=0
r42=0
r43=0
r44=0
r45=0
r46=0
r47=0
r48=0
r49=0
r410=0
r411=0
r412=0
r413=0
r415=0
r416=0
r417=0
r418=0
r419=0
r420=0
r421=0
r423=0
r424=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r426=------------------------------------------------
2
a11*a23*b12
1 2 2 2 1 2 2 2
r427=(---*a11 *a13 *m3 *r6170 + ---*a11 *a23 *m3 *r6170
2 2
1 2 2 2 1 2 2 2 2 4
- ---*a13 *b12 *kap*m3 *r6170 + ---*a23 *b12 *kap*m3 *r6170)/(a23 *b12
2 2
*kap)
1 2 2 1 2 2
- ---*a11 *a13*m3 *r6170 - ---*a13*b12 *kap*m3 *r6170
4 4
r428=--------------------------------------------------------
2 2
a11*a23 *b12
2
2*a13*m3 *r6170
r429=-----------------
2
a23*b12
1 2 2 2 1 2 2 2
r430=( - ---*a11 *a13 *m3 *r6170 - ---*a11 *a23 *m3 *r6170
2 2
1 2 2 2 3 2 2 2 2 4
- ---*a13 *b12 *kap*m3 *r6170 - ---*a23 *b12 *kap*m3 *r6170)/(a23 *b12
2 2
*kap)
2 3 2 2 1 3 2 2
r431=( - ---*a11 *a13 *m3 *r6170 - ----*a11 *a23 *m3 *r6170
9 18
8 4 2 8 2 2 2
- ---*a11*a13 *m3 *r6170 - ---*a11*a13 *a23 *m3 *r6170
3 3
2 2 2 2 1 2 2 2
- ---*a11*a13 *b12 *kap*m3 *r6170 - ----*a11*a23 *b12 *kap*m3 *r6170)/(
9 18
3 3
a13*a23 *b12 )
1 2 2 2 1 2 2 2
r432=(---*a11 *a13 *m3 *r6170 + ---*a11 *a23 *m3 *r6170
6 6
1 2 2 2 1 2 2 2 2
+ ---*a13 *b12 *kap*m3 *r6170 + ---*a23 *b12 *kap*m3 *r6170)/(a13*a23
6 6
3
*b12 )
1 2 2 2 1 2 2 2
r433=(---*a11 *a13 *m3 *r6170 + ---*a11 *a23 *m3 *r6170
6 6
1 2 2 2 1 2 2 2 3 3
+ ---*a13 *b12 *kap*m3 *r6170 + ---*a23 *b12 *kap*m3 *r6170)/(a23 *b12 )
6 6
1 4 2 2 2 2 4 2
r434=( - ----*a11 *a13 *m3 *r6170 - ---*a11 *a13 *m3 *r6170
24 3
2 2 2 2 2 1 2 2 2 2
- ---*a11 *a13 *a23 *m3 *r6170 - ----*a11 *a13 *b12 *kap*m3 *r6170
3 24
1 2 2 2 2 1 2 4 2 2
+ ----*a11 *a23 *b12 *kap*m3 *r6170 + ----*a23 *b12 *kap *m3 *r6170)/(
16 16
4 4
a23 *b12 )
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r446=------------------------------------------------
2 2
a23 *b12
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r447=------------------------------------------------
2
a11*a23*b12
r448=0
1 2 2 1 2 2
- ---*a11 *a13*m3 *r6170 - ---*a13*b12 *kap*m3 *r6170
4 4
r449=--------------------------------------------------------
2 2
a11*a23 *b12
r450=0
r451=0
1 3 2 16 3 2
r452=( - ---*a11 *a13*m3 *r6170 - ----*a11*a13 *m3 *r6170
3 3
16 2 2 1 2 2 3
- ----*a11*a13*a23 *m3 *r6170 - ---*a11*a13*b12 *kap*m3 *r6170)/(a23
3 3
3
*b12 )
r453=0
1 3 2 2 16 4 2
r454=(---*a11 *a13 *m3 *r6170 + ----*a11*a13 *m3 *r6170
3 3
16 2 2 2 1 2 2 2 3
+ ----*a11*a13 *a23 *m3 *r6170 + ---*a11*a13 *b12 *kap*m3 *r6170)/(a23
3 3
4
*b12 )
r455=0
r456=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r457=------------------------------------------------
2 2
a23 *b12
r458=0
r459=0
r460=0
r461=0
r462=0
r463=0
2
- kap*m3 *r6170
r464=------------------
2
b12
r465=0
r466=0
r467=0
r468=0
r469=0
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r483=------------------------------------------------
2 2
a23 *b12
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r484=------------------------------------------------
2
a11*a23*b12
1 2 2 1 2 2
- ---*a11 *a13*m3 *r6170 - ---*a13*b12 *kap*m3 *r6170
4 4
r485=--------------------------------------------------------
2 2
a11*a23 *b12
r486=0
r487=0
1 3 2 16 3 2
r488=( - ---*a11 *a13*m3 *r6170 - ----*a11*a13 *m3 *r6170
3 3
16 2 2 1 2 2 3
- ----*a11*a13*a23 *m3 *r6170 - ---*a11*a13*b12 *kap*m3 *r6170)/(a23
3 3
3
*b12 )
1 3 2 16 3 2
r489=( - ---*a11 *a13*m3 *r6170 - ----*a11*a13 *m3 *r6170
3 3
16 2 2 1 2 2 2
- ----*a11*a13*a23 *m3 *r6170 - ---*a11*a13*b12 *kap*m3 *r6170)/(a23
3 3
4
*b12 )
r490=0
r491=0
r492=0
r493=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
2 2
r494=------------------------------------------------
2 2
a23 *b12
r495=0
r496=0
r497=0
r498=0
2
- 2*a13*kap*m3 *r6170
r499=------------------------
2
a23*b12
r4100=0
r4101=0
r4102=0
r4103=0
r4104=0
r4105=0
r4106=0
r4108=0
r4109=0
1 2 2 1 2 2
- ---*a11 *m3 *r6170 - ---*b12 *kap*m3 *r6170
4 4
r4110=------------------------------------------------
2 2
a23 *b12
r4111=0
r4112=0
r4113=0
2 2
- a13 *kap*m3 *r6170
r4114=-----------------------
2 2
a23 *b12
r4115=0
r4116=0
r4117=0
r4118=0
r4119=0
r4120=0
r4121=0
r4122=0
r4123=0
r4124=0
r4125=0
r50=0
r51=0
r52=0
r53=0
r54=0
r55=0
r56=0
r57=0
r58=0
r59=0
r510=0
r511=0
r512=0
r513=0
r514=0
r515=0
r516=0
r517=0
r518=0
r519=0
r520=0
r521=0
r522=0
r523=0
r524=0
r525=0
r526=0
r527=0
r528=0
r529=0
r530=0
r531=0
r532=0
r533=0
r534=0
r535=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r536=-------------------------------------------
2
a11*a23
r537=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r538=-------------------------------------------
2
a11*a23
r539=0
r540=0
r541=0
r542=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r543=-------------------------------------------
2
a11*a23
r544=0
r545=0
1 2 2 1 2 2 1 4
r546=( - -----*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170 + ---*a13 *m3*r6170
144 36 3
1 2 2 1 2 2
+ ---*a13 *a23 *m3*r6170 - -----*a13 *b12 *kap*m3*r6170
3 144
1 2 2 3
- ----*a23 *b12 *kap*m3*r6170)/(a13*a23 *b12)
36
1 2 1 2
---*a11 *a13*m3*r6170 + ---*a13*b12 *kap*m3*r6170
4 4
r547=---------------------------------------------------
2
a11*a23 *b12
1 2 2 1 2 2 1 4
r548=( - -----*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170 + ---*a13 *m3*r6170
144 36 3
5 2 2 1 2 2
- ---*a13 *a23 *m3*r6170 - -----*a13 *b12 *kap*m3*r6170
3 144
1 2 2 3
- ----*a23 *b12 *kap*m3*r6170)/(a13*a23 *b12)
36
1 2 1 2
- ---*a11 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r549=----------------------------------------------
a11*a23*b12
2 2
- 2*a13 *m3*r6170 + 2*a23 *m3*r6170
r550=--------------------------------------
2
a23 *b12
1 2 2 1 2 2 1 4
r551=( - -----*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170 + ---*a13 *m3*r6170
144 36 3
7 2 2 1 2 2
+ ---*a13 *a23 *m3*r6170 - -----*a13 *b12 *kap*m3*r6170
3 144
1 2 2 3
- ----*a23 *b12 *kap*m3*r6170)/(a13*a23 *b12)
36
3 4 2 2 2 2
r552=( - ---*a11 *m3*r6170 - 2*a11 *a13 *m3*r6170 - 2*a11 *a23 *m3*r6170
8
1 2 2 1 4 2 2 2
- ---*a11 *b12 *kap*m3*r6170 - ---*b12 *kap *m3*r6170)/(a11*a23 *b12 )
2 8
1 2 2 1 2 2
r553=( - ---*a11 *a13 *m3*r6170 + ---*a11 *a23 *m3*r6170
6 3
1 2 2 1 2 2 3 2
- ---*a13 *b12 *kap*m3*r6170 + ---*a23 *b12 *kap*m3*r6170)/(a23 *b12 )
6 3
2 2 2 1 2 2
r554=(---*a11 *a13 *m3*r6170 + ---*a11 *a23 *m3*r6170
3 6
2 2 2 1 2 2 2 2
+ ---*a13 *b12 *kap*m3*r6170 + ---*a23 *b12 *kap*m3*r6170)/(a13*a23 *b12
3 6
)
13 4 2 1 4 2
r555=(-----*a11 *a13 *m3*r6170 + -----*a11 *a23 *m3*r6170
180 180
2 2 4 7 2 2 2
+ ---*a11 *a13 *m3*r6170 + ----*a11 *a13 *a23 *m3*r6170
3 15
31 2 2 2 1 2 4
+ -----*a11 *a13 *b12 *kap*m3*r6170 - ---*a11 *a23 *m3*r6170
360 5
1 2 2 2 4 4 2
+ ----*a11 *a23 *b12 *kap*m3*r6170 - ----*a13 *b12 *kap*m3*r6170
90 15
7 2 2 2 1 2 4 2
- ----*a13 *a23 *b12 *kap*m3*r6170 + ----*a13 *b12 *kap *m3*r6170
15 72
1 4 2 1 2 4 2 3
- ---*a23 *b12 *kap*m3*r6170 + -----*a23 *b12 *kap *m3*r6170)/(a13*a23
5 180
3
*b12 )
r556=0
r557=0
r558=0
r559=0
r560=0
r561=0
r562=0
r563=0
r564=0
r565=0
r566=0
r567=0
r568=0
r569=0
r570=0
r571=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r572=-------------------------------------------
2
a11*a23
r573=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r574=-------------------------------------------
2
a11*a23
r575=0
r576=0
r577=0
r578=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r579=-------------------------------------------
2
a11*a23
r580=0
1 2 1 2
- ---*a11 *a13*m3*r6170 - ---*a13*b12 *kap*m3*r6170
4 4
r581=------------------------------------------------------
2
a11*a23 *b12
2*a13*m3*r6170
r582=----------------
a23*b12
1 2 1 2
---*a11 *a13*m3*r6170 + ---*a13*b12 *kap*m3*r6170
4 4
r583=---------------------------------------------------
2
a11*a23 *b12
1 2 2 1 2
- ---*a11 *m3*r6170 - 2*a23 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r584=----------------------------------------------------------------
2
a23 *b12
1 2 1 2
- ---*a11 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r585=----------------------------------------------
a11*a23*b12
r586=0
1 2 2 2 2 2
r587=(---*a11 *a13 *m3*r6170 + ---*a11 *a23 *m3*r6170
6 3
1 2 2 2 2 2 3 2
+ ---*a13 *b12 *kap*m3*r6170 + ---*a23 *b12 *kap*m3*r6170)/(a23 *b12 )
6 3
3 4 2 2 2 2
r588=( - ---*a11 *m3*r6170 - 2*a11 *a13 *m3*r6170 - 4*a11 *a23 *m3*r6170
8
1 2 2 1 4 2 2 2
- ---*a11 *b12 *kap*m3*r6170 - ---*b12 *kap *m3*r6170)/(a11*a23 *b12 )
2 8
1 3 2 1 3 2
r589=( - ---*a11 *a13 *m3*r6170 + ----*a11 *a23 *m3*r6170
9 18
8 4 14 2 2
- ---*a11*a13 *m3*r6170 - ----*a11*a13 *a23 *m3*r6170
3 3
1 2 2 1 2 2
- ---*a11*a13 *b12 *kap*m3*r6170 + ----*a11*a23 *b12 *kap*m3*r6170)/(a13
9 18
3 2
*a23 *b12 )
5 3 2 5 3 2
r590=( - ----*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170
18 18
5 2 2 5 2 2
- ----*a11*a13 *b12 *kap*m3*r6170 - ----*a11*a23 *b12 *kap*m3*r6170)/(a13
18 18
2 3
*a23 *b12 )
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
r5101=0
1 2 1 2
- ---*a11 *a13*m3*r6170 - ---*a13*b12 *kap*m3*r6170
4 4
r5102=------------------------------------------------------
2
a11*a23 *b12
r5103=0
r5104=0
1 2 1 2
- ---*a11 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r5105=----------------------------------------------
2
a23 *b12
r5106=0
r5107
2 2 1 2 2 1 4 2
2*a11 *a23 *m3*r6170 - ---*a11 *b12 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
=----------------------------------------------------------------------------
2 2
a11*a23 *b12
r5108
3 2 2 2 3 2
---*a11 *m3*r6170 - 4*a13 *m3*r6170 - 4*a23 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
=-------------------------------------------------------------------------------
2
a23*b12
r5109=0
1 4 2 1 4 2
r5110=(---*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170
9 18
13 2 4 5 2 2 2
+ ----*a11 *a13 *m3*r6170 + ---*a11 *a13 *a23 *m3*r6170
6 2
5 2 2 2 1 2 4
+ ----*a11 *a13 *b12 *kap*m3*r6170 - ---*a11 *a23 *m3*r6170
48 6
1 2 2 2 4 2
- ----*a11 *a23 *b12 *kap*m3*r6170 + 8*a13 *a23 *m3*r6170
12
1 4 2 2 4
- ---*a13 *b12 *kap*m3*r6170 + 8*a13 *a23 *m3*r6170
6
1 2 2 2 1 2 4 2
+ ---*a13 *a23 *b12 *kap*m3*r6170 - -----*a13 *b12 *kap *m3*r6170
6 144
1 4 2 1 2 4 2 3
- ---*a23 *b12 *kap*m3*r6170 - ----*a23 *b12 *kap *m3*r6170)/(a13*a23
6 36
3
*b12 )
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
1 2 1 2 2
- ---*a11 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
r5118=---------------------------------------------------
2
a11*a23
r5119=0
r5120=0
r5121=0
r5122=0
r5123=0
r5124=0
r5125=0
r5126=0
r5127=0
r5128=0
r5129=0
r5130=0
r5131=0
r5132=0
r5133=0
r5134=0
r5135=0
r5136=0
r5137=0
r5138=0
r5139=0
r5140=0
r5141=0
r5142=0
r5143=0
r5144=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r5145=-------------------------------------------
2
a11*a23
r5146=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r5147=-------------------------------------------
2
a11*a23
r5148=0
r5149=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
8 8
r5150=-------------------------------------------
2
a11*a23
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5151=-------------------------------------------
a11*a23*b12
1 2 2 1 2
---*a11 *m3*r6170 + 2*a13 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5152=-------------------------------------------------------------
2
a23 *b12
r5153=0
- 2*a13*m3*r6170
r5154=-------------------
a23*b12
1 2 1 2
---*a11 *a13*m3*r6170 + ---*a13*b12 *kap*m3*r6170
4 4
r5155=---------------------------------------------------
2
a11*a23 *b12
1 2 1 2
- ---*a11 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r5156=----------------------------------------------
a11*a23*b12
1 2 2 1 2 2
r5157=(---*a11 *a13 *m3*r6170 - ---*a11 *a23 *m3*r6170
3 6
1 2 2 1 2 2 2
+ ---*a13 *b12 *kap*m3*r6170 - ---*a23 *b12 *kap*m3*r6170)/(a13*a23
3 6
2
*b12 )
1 3 2 1 3 2 8 4
r5158=(---*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170 + ---*a11*a13 *m3*r6170
9 18 3
2 2 2 1 2 2
+ ---*a11*a13 *a23 *m3*r6170 + ---*a11*a13 *b12 *kap*m3*r6170
3 9
1 2 2 3 2
- ----*a11*a23 *b12 *kap*m3*r6170)/(a13*a23 *b12 )
18
1 4 2 2 3 2 2
r5159=( - ---*a11 *m3*r6170 - 2*a11 *a13 *m3*r6170 - ---*a11 *b12 *kap*m3*r6170
4 8
1 4 2 2 2
- ---*b12 *kap *m3*r6170)/(a11*a23 *b12 )
8
5 3 2 5 3 2
r5160=( - ----*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170
18 18
5 2 2 5 2 2
- ----*a11*a13 *b12 *kap*m3*r6170 - ----*a11*a23 *b12 *kap*m3*r6170)/(
18 18
3 3
a23 *b12 )
r5161=0
r5162=0
r5163=0
r5164=0
r5165=0
r5166=0
r5167=0
r5168=0
r5169=0
r5170=0
r5171=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5172=-------------------------------------------
a11*a23*b12
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5173=-------------------------------------------
2
a23 *b12
1 2 1 2
- ---*a11 *a13*m3*r6170 - ---*a13*b12 *kap*m3*r6170
4 4
r5174=------------------------------------------------------
2
a11*a23 *b12
r5175=0
1 2 1 2
- ---*a11 *m3*r6170 - ---*b12 *kap*m3*r6170
4 4
r5176=----------------------------------------------
2
a23 *b12
4*a11*a13*m3*r6170
r5177=--------------------
2
a23*b12
2 2
a11 *a13*m3*r6170 + a13*b12 *kap*m3*r6170
r5178=-------------------------------------------
2 2
a23 *b12
2 2
a11 *m3*r6170 + b12 *kap*m3*r6170
r5179=-----------------------------------
2
a23*b12
5 2 2 5 2 2
r5180=(---*a11 *a13 *m3*r6170 + ---*a11 *a23 *m3*r6170
3 3
5 2 2 5 2 2 2 3
+ ---*a13 *b12 *kap*m3*r6170 + ---*a23 *b12 *kap*m3*r6170)/(a23 *b12 )
3 3
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=0
r5188=0
1 2 1 2 2
- ---*a11 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
r5189=---------------------------------------------------
2
a11*a23
r5190=0
r5191=0
r5192=0
r5193=0
r5194=0
r5195=0
r5196=0
r5197=0
r5198=0
r5199=0
r5200=0
r5201=0
r5202=0
r5203=0
r5204=0
r5205=0
r5206=0
r5207=0
r5208=0
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5209=-------------------------------------------
a11*a23*b12
1 2 1 2
---*a11 *m3*r6170 + ---*b12 *kap*m3*r6170
4 4
r5210=-------------------------------------------
2
a23 *b12
r5211=0
r5212
2 2 1 2 2 1 4 2
2*a11 *a13 *m3*r6170 - ---*a11 *b12 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
=----------------------------------------------------------------------------
2 2
a11*a23 *b12
r5213=0
2 2
a11 *a13*m3*r6170 + a13*b12 *kap*m3*r6170
r5214=-------------------------------------------
2 2
a23 *b12
1 4 2 1 4 2 5 2 4
r5215=(---*a11 *a13 *m3*r6170 - ----*a11 *a23 *m3*r6170 + ---*a11 *a13 *m3*r6170
9 18 2
2 2 2 5 2 2 2
+ 2*a11 *a13 *a23 *m3*r6170 + ----*a11 *a13 *b12 *kap*m3*r6170
48
1 2 4 1 2 2 2
- ---*a11 *a23 *m3*r6170 - ----*a11 *a23 *b12 *kap*m3*r6170
2 12
1 4 2 1 2 2 2
+ ---*a13 *b12 *kap*m3*r6170 - ---*a13 *a23 *b12 *kap*m3*r6170
6 3
1 2 4 2 1 4 2
- -----*a13 *b12 *kap *m3*r6170 - ---*a23 *b12 *kap*m3*r6170
144 2
1 2 4 2 3 3
- ----*a23 *b12 *kap *m3*r6170)/(a13*a23 *b12 )
36
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
1 2 1 2 2
- ---*a11 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
r5223=---------------------------------------------------
2
a11*a23
r5224=0
r5225=0
r5226=0
r5227=0
r5228=0
r5229=0
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
r5237=0
r5238=0
1 2 1 2 2
- ---*a11 *kap*m3*r6170 - ---*b12 *kap *m3*r6170
8 8
r5239=---------------------------------------------------
2
a11*a23
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
r5249=0
r5250=0
r5251=0
r60=0
r61=0
r62=0
r63=0
r64=0
r65=0
r66=0
r67=0
r68=0
r69=0
r610=0
r611=0
r612=0
r613=0
r614=0
r615=0
r616=0
r617=0
r618=0
r619=0
r620=0
r621=0
r622=0
r623=0
r624=0
r625=0
r626=0
r628=0
r629=0
r630=0
r631=0
r632=0
r633=0
r634=0
r635=0
r636=0
r637=0
r638=0
r639=0
r640=0
r641=0
r642=0
r643=0
r644=0
r645=0
r647=0
r648=0
r649=0
r650=0
r651=0
r652=0
r653=0
r654=0
r655=0
r656=0
r657=0
r659=0
r660=0
r661=0
r662=0
r663=0
r665=0
r666=0
r667=0
r668=0
r669=0
r670=0
r671=0
r672=0
r673=0
1 2 1 2
- ----*a11 *r6170 - ----*b12 *kap*r6170
16 16
r674=------------------------------------------
2
a23
r675=0
1 2 2 1 2
- ----*a11 *r6170 - a23 *r6170 - ----*b12 *kap*r6170
16 16
r676=-------------------------------------------------------
2
a23
r677=0
- 2*a13*r6170
r678=----------------
a23
1 2 2 1 2
- ----*a11 *r6170 - a13 *r6170 - ----*b12 *kap*r6170
16 16
r679=-------------------------------------------------------
2
a23
r680=0
1 2 1 2
- ---*a11 *a13*r6170 - ---*a13*b12 *kap*r6170
2 2
r681=------------------------------------------------
2
a23 *b12
1 2 1 2
---*a11 *r6170 + ---*b12 *kap*r6170
2 2
r682=-------------------------------------
a23*b12
1 4 2 2 2 2 2 2
r683=(----*a11 *r6170 - ---*a11 *a13 *r6170 - ---*a11 *a23 *r6170
48 3 3
1 2 2 2 2 2
+ ----*a11 *b12 *kap*r6170 - ---*a13 *b12 *kap*r6170
24 3
2 2 2 1 4 2 2 2
- ---*a23 *b12 *kap*r6170 + ----*b12 *kap *r6170)/(a23 *b12 )
3 48
r684=0
r685=0
r686=0
r687=0
r688=0
r689=0
r690=0
r691=0
r692=0
r693=0
r694=0
r695=0
r696=0
r697=0
r698=0
r699=0
r6100=0
r6101=0
r6102=0
r6103=0
r6104=0
r6105=0
r6106=0
r6107=0
r6108=0
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
r6115=0
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
r6121=0
r6122=0
r6123=0
r6124=0
r6125=0
r6126=0
r6127=0
r6128=0
r6129=0
r6130=0
r6131=2*r6170
r6132=0
2*a13*r6170
r6133=-------------
a23
r6134=0
r6135=0
1 2 1 2
---*a11 *a13*r6170 + ---*a13*b12 *kap*r6170
2 2
r6136=---------------------------------------------
2
a23 *b12
2*a11*a13*r6170
r6137=-----------------
a23*b12
1 3 2 1 2
---*a11 *r6170 + 2*a11*a13 *r6170 + ---*a11*b12 *kap*r6170
8 8
r6138=------------------------------------------------------------
2
a23 *b12
3 3 2 2
r6139=( - ---*a11 *r6170 - 4*a11*a13 *r6170 - 4*a11*a23 *r6170
4
3 2 2
- ---*a11*b12 *kap*r6170)/(a23*b12 )
4
r6140=0
r6141=0
r6142=0
r6143=0
r6144=0
r6145=0
r6146=0
r6147=0
r6148=0
r6149=0
r6150=0
r6151=0
r6152=0
r6153=0
r6154=0
r6155=0
r6156=0
r6157=0
r6158=0
r6159=0
r6160=0
r6161=0
r6162=0
r6163=0
r6164=0
r6165=0
r6166=0
r6167=r6170
r6168=0
r6169=0
- 2*a11*a13*r6170
r6171=--------------------
a23*b12
r6172=0
1 2 1 2
---*a11 *r6170 + ---*b12 *kap*r6170
2 2
r6173=-------------------------------------
a23*b12
1 4 2 2 2 2
r6174=( - ---*a11 *r6170 - 3*a11 *a13 *r6170 - 2*a11 *a23 *r6170
8
3 2 2 2 2
- ----*a11 *b12 *kap*r6170 - 2*a13 *b12 *kap*r6170
16
2 2 1 4 2 2 2
- 2*a23 *b12 *kap*r6170 - ----*b12 *kap *r6170)/(a23 *b12 )
16
r6175=0
r6176=0
r6177=0
r6178=0
r6179=0
r6180=0
r6181=0
r6182=0
r6183=0
r6184=0
r6185=0
r6186=0
r6187=0
r6188=0
r6189=0
r6190=0
r6191=0
5 4 40 2 3 40 2 2
r6192=( - ---*a11 *a13*r6170 - ----*a11 *a13 *r6170 - ----*a11 *a13*a23 *r6170
6 3 3
5 2 2 40 3 2
- ---*a11 *a13*b12 *kap*r6170 - ----*a13 *b12 *kap*r6170
3 3
40 2 2 5 4 2 3
- ----*a13*a23 *b12 *kap*r6170 - ---*a13*b12 *kap *r6170)/(a11*a23*b12
3 6
*kap)
- 2*a11*r6170
r6193=----------------
b12
13 4 20 2 2 20 2 2
r6194=( - ----*a11 *r6170 + ----*a11 *a13 *r6170 + ----*a11 *a23 *r6170
36 9 9
2 2 2 20 2 2
- ---*a11 *b12 *kap*r6170 + ----*a13 *b12 *kap*r6170
9 9
20 2 2 5 4 2 2
+ ----*a23 *b12 *kap*r6170 + ----*b12 *kap *r6170)/(a11*a23*b12 )
9 36
r6195=0
r6196=0
r6197=0
r6198=0
r6199=0
r6200=0
r6201=0
r6202=0
r6203=0
2
a11 *r6170
r6204=------------
2
b12
r6205=0
r6206=0
r6207=0
r6208=0
r6209=0
r6210=0
r6211=0
r6212=0
r6213=0
r6214=0
r6215=0
r6216=0
r6217=0
r6218=0
r6219=0
r6220=0
r6221=0
r6222=0
r6223=0
r6224=0
r6225=0
r6226=0
r6227=0
r6228=0
r6230=0
r6231=0
r6232=0
r6233=0
r6234=0
r6235=0
r6236=0
r6237=0
r6238=0
r6239=0
r6240=0
r6242=0
r6243=0
r6244=0
r6245=0
r6246=0
r6248=0
r6249=0
r6250=0
r6251=0
r6252=0
r6253=0
r6254=0
r6255=0
r6256=0
2*a13*r6170
r6257=-------------
a23
r6258=0
2
2*a13 *r6170
r6259=--------------
2
a23
r6260=0
r6261=0
1 2 1 2
- ---*a11 *r6170 - ---*b12 *kap*r6170
2 2
r6262=----------------------------------------
a23*b12
1 3 2 1 2
- ---*a11 *r6170 - 2*a11*a23 *r6170 - ---*a11*b12 *kap*r6170
8 8
r6263=---------------------------------------------------------------
2
a23 *b12
- 2*a11*a13*r6170
r6264=--------------------
a23*b12
3 3 3 2
r6265=( - ---*a11 *a13*r6170 - 4*a11*a13 *r6170 - 4*a11*a13*a23 *r6170
4
3 2 2 2
- ---*a11*a13*b12 *kap*r6170)/(a23 *b12 )
4
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
r6272=0
r6273=0
r6274=0
r6275=0
r6276=0
r6277=0
r6278=0
r6279=0
r6280=0
r6281=0
r6282=0
r6283=0
r6284=0
r6285=0
r6286=0
r6287=0
r6288=0
r6289=0
r6290=0
r6291=0
r6292=0
2*a13*r6170
r6293=-------------
a23
r6294=0
r6295=0
2*a13*r6170
r6296=-------------
a23
2 2
- 2*a11*a13 *r6170 + 2*a11*a23 *r6170
r6297=----------------------------------------
2
a23 *b12
1 2 1 2
- ---*a11 *r6170 - ---*b12 *kap*r6170
2 2
r6298=----------------------------------------
a23*b12
1 2 1 2
---*a11 *a13*r6170 + ---*a13*b12 *kap*r6170
2 2
r6299=---------------------------------------------
2
a23 *b12
2
2*a11 *a13*r6170
r6300=------------------
2
a23*b12
r6301=0
r6302=0
r6303=0
r6304=0
r6305=0
r6306=0
r6307=0
r6308=0
r6309=0
r6310=0
r6311=0
r6312=0
r6313=0
r6314=0
r6315=0
r6316=0
r6317=0
2*a11*r6170
r6318=-------------
b12
- 4*a11*a13*r6170
r6319=--------------------
a23*b12
1 3 1 2
- ---*a11 *a13*r6170 - ---*a11*a13*b12 *kap*r6170
2 2
r6320=----------------------------------------------------
2 2
a23 *b12
r6321=0
r6322=0
r6323=0
r6324=0
r6325=0
r6326=0
r6327=0
r6328=0
r6329=0
2
2*a11 *a13*r6170
r6330=------------------
2
a23*b12
r6331=0
r6332=0
r6333=0
r6334=0
r6335=0
r6336=0
r6337=0
r6338=0
r6339=0
r6340=0
r6341=0
r6342=0
r6343=0
r6344=0
r6345=0
r6346=0
r6348=0
r6349=0
r6350=0
r6351=0
r6352=0
r6354=0
r6355=0
r6356=0
r6357=0
r6358=0
r6359=0
r6360=0
r6361=0
r6362=0
2
a13 *r6170
r6363=------------
2
a23
r6364=0
r6365=0
2
a13 *r6170
r6366=------------
2
a23
2*a11*a13*r6170
r6367=-----------------
a23*b12
1 2 1 2
- ---*a11 *a13*r6170 - ---*a13*b12 *kap*r6170
2 2
r6368=------------------------------------------------
2
a23 *b12
r6369=0
1 4 2 2 2 2
r6370=( - ---*a11 *r6170 - 2*a11 *a13 *r6170 - 3*a11 *a23 *r6170
8
3 2 2 2 2
- ----*a11 *b12 *kap*r6170 - 2*a13 *b12 *kap*r6170
16
2 2 1 4 2 2 2
- 2*a23 *b12 *kap*r6170 - ----*b12 *kap *r6170)/(a23 *b12 )
16
r6371=0
r6372=0
r6373=0
r6374=0
r6375=0
r6376=0
r6377=0
r6378=0
r6379=0
r6380=0
r6381=0
r6382=0
r6383=0
r6384=0
r6385=0
r6386=0
r6387=0
4*a11*a13*r6170
r6388=-----------------
a23*b12
2
- 2*a11*a13 *r6170
r6389=---------------------
2
a23 *b12
1 3 1 2
- ---*a11 *r6170 - ---*a11*b12 *kap*r6170
2 2
r6390=--------------------------------------------
2
a23*b12
r6391=0
r6392=0
r6393=0
r6394=0
r6395=0
r6396=0
r6397=0
r6398=0
r6399=0
2 2 2 2
a11 *a13 *r6170 + a11 *a23 *r6170
r6400=-----------------------------------
2 2
a23 *b12
r6401=0
r6402=0
r6403=0
r6404=0
r6405=0
r6406=0
r6407=0
r6408=0
r6410=0
r6411=0
r6412=0
r6413=0
r6414=0
r6415=0
r6416=0
r6417=0
r6418=0
r6419=0
r6420=0
r6421=0
r6422=0
2
2*a11*a13 *r6170
r6423=------------------
2
a23 *b12
r6424=0
1 3 8 3 8 2
r6425=( - ---*a11 *a13*r6170 + ---*a11*a13 *r6170 + ---*a11*a13*a23 *r6170
3 3 3
1 2 2 2
- ---*a11*a13*b12 *kap*r6170)/(a23 *b12 )
3
r6426=0
r6427=0
r6428=0
r6429=0
r6430=0
r6431=0
r6432=0
r6433=0
r6434=0
2
2*a11 *a13*r6170
r6435=------------------
2
a23*b12
r6436=0
r6437=0
r6438=0
r6439=0
r6440=0
r6441=0
r6442=0
r6443=0
r6444=0
r6445=0
r6446=0
r6447=0
r6448=0
r6449=0
2 2
a11 *a13 *r6170
r6450=-----------------
2 2
a23 *b12
r6451=0
r6452=0
r6453=0
r6454=0
r6455=0
r6456=0
r6457=0
r6458=0
r6459=0
r6460=0
r6461=0
m2=0
m1=0
n3=0
n2=0
n1=0
1
a33=---*a11
2
a22=a11
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:
r6170, m3, a13, a11, a23, b12
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{b12,
a23,
a11,
a13,
m3,
{7827617915811064527668379248649770709401247029267752513902971340268634641120\
5 6 2
76622109695647483485047084748800*a23 *b12 *kap *r6170,
5907393222035263388362822822004934386032754379513258735390622132947452718073\
9999493434286683964321825619364281714613928502537184905179199936804832137986\
7 6 2
6036595837624847288320000*a13*a23 *b12 *kap *r6170,
5 2
621696713347159632*a11*a23 *b12 *r6170,
7 4
59230629500422913658141739404680729859632704063002880540800*a23 *b12 *kap
*r6170,
3 2
84392201445552000*a11*a13*a23 *b12 *kap*r6170,
5 2
621696713347159632*a23 *b12 *r6170,
3
2*a13*b12 *kap*r6170,
2
48*a11*a23*b12 *r6170,
3
12*a13*b12 *kap*r6170,
5 2
637860827894185782432*a11*a23 *b12 *r6170,
3 3
265356*a13*a23 *b12 *kap*r6170,
3 2
7661570716800*a11*a13*a23 *b12 *kap*r6170,
2
16*a11*a23 *b12*r6170,
5 2
457856411240592*a23 *b12 *r6170,
5 3
14055963925441480326896976*a13*a23 *b12 *kap*r6170,
5 4
2531761241856643508604154079438134617333063832663741440*a23 *b12 *kap*r6170,
5215968551995181817814993584027417242687714652946272938632882427464088510920\
8747558975875921280210254735015575214547032172966456440519507033442073935478\
7912843738621829203142712067380272726218293780193827686607609389907005695432\
7816272086734559396003931825833975536062785011628263417496028943659040768000\
9 7 3
00000*a23 *b12 *kap *r6170,
r6170,
5 2
318930413947092891216*a11*a23 *b12 *r6170,
5 2
891400768187529600*a11*a13*a23 *b12 *kap*r6170,
5 3
4086004712217230886265728*a13*a23 *b12 *kap*r6170,
5 2
18267908870337551351664192*a23 *b12 *r6170,
8628552719641893278535843792810396526465848472365484919899847052192126463757\
0961926560348263883478008861887433080455500450928165251368763565368073960867\
9421408846691082809267111414178860429290384630601928792306859191631387045977\
9 7 3
85199718193224185926578928352458978294595108685461708800000000*a23 *b12 *kap
*r6170,
5 3
9843499659786095145851543808*a13*a23 *b12 *kap*r6170,
9327615049812906518855434556230162686280701658832556964326000714537856496850\
4295051751843951413403854857934945172710158537629715825164919142915551848001\
9 5
8845721479637450584121108656178136051216858437341857063895040000*a23 *b12
2
*kap *r6170}}
Relevance for the application:
Modulo the following equations:
2 2
0=a13 + a23
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2
HAM=(2*u1 *a11 + 4*u1*u3*a13 + 2*u1*v2*b12 + 2*u2 *a11 + 4*u2*u3*a23
2
- 2*u2*v1*b12 + u3 *a11 + 2*v3*m3)/2
has apart from the Hamiltonian and Casimirs only the following first integral:
4 2 3 3 2 2 3 2 3 2 3 2
FI=720*u1 *u3 *a11 *a13 *a23 *b12 *kap + 1440*u1 *u2*u3 *a11 *a13 *a23 *b12 *kap
3 3 4 2 2 2 2 4 2 2
+ u1 *u3 *( - 240*a11 *a13 *a23 *b12 *kap + 1920*a11 *a13 *a23 *b12 *kap
2 2 4 2 2 2 2 4 2
+ 1920*a11 *a13 *a23 *b12 *kap - 240*a11 *a13 *a23 *b12 *kap )
3 2 2 3 2 3
+ 1440*u1 *u3 *v2*a11 *a13 *a23 *b12 *kap
3 2 2 4 2 2 6 3
+ u1 *u3*v1*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3)
2 2 2 3 3 2 2 3 4 2
+ u1 *u2 *u3 *(720*a11 *a13 *a23 *b12 *kap + 720*a11 *a13*a23 *b12 *kap)
2 3 4 3 2 2 3 4 2
+ u1 *u2*u3 *( - 360*a11 *a13*a23 *b12 *kap - 360*a11 *a13*a23 *b12 *kap )
2 2 2 3 2 3
- 1440*u1 *u2*u3 *v1*a11 *a13 *a23 *b12 *kap
2 2 2 2 3 3
+ 2880*u1 *u2*u3 *v2*a11 *a13 *a23 *b12 *kap
2 2 2 4 2 2 6 3
+ u1 *u2*u3*v2*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3)
2 4 5 2 2 3 3 2 2
+ u1 *u3 *( - 90*a11 *a13*a23 *b12 *kap - 1440*a11 *a13 *a23 *b12 *kap
3 4 2 3 2 4 2
- 2160*a11 *a13*a23 *b12 *kap - 135*a11 *a13*a23 *b12 *kap
3 2 4 2 4 4 2
- 1440*a11*a13 *a23 *b12 *kap - 1440*a11*a13*a23 *b12 *kap
2 6 3
- 45*a11*a13*a23 *b12 *kap )
2 3 3 2 2 3 2 2 5 2
+ u1 *u3 *v2*( - 360*a11 *a13 *a23 *b12 *kap - 360*a11*a13 *a23 *b12 *kap )
2 3 2 2 3 3 2 3
+ 1440*u1 *u3 *v3*a11 *a13 *a23 *b12 *kap + u1 *u3 *(
5 2 5 3
80*a11 *a13 *a23*b12*kap*m3 - 40*a11 *a23 *b12*kap*m3
3 4 3 2 3
+ 1800*a11 *a13 *a23*b12*kap*m3 + 1440*a11 *a13 *a23 *b12*kap*m3
3 2 3 2 3 5
+ 75*a11 *a13 *a23*b12 *kap *m3 - 360*a11 *a23 *b12*kap*m3
3 3 3 2 4 3 2
- 60*a11 *a23 *b12 *kap *m3 + 120*a11*a13 *a23*b12 *kap *m3
2 3 3 2 2 5 3
- 240*a11*a13 *a23 *b12 *kap *m3 - 5*a11*a13 *a23*b12 *kap *m3
5 3 2 3 5 3
- 360*a11*a23 *b12 *kap *m3 - 20*a11*a23 *b12 *kap *m3)
2 2 2 3 2 4 2 2
+ 720*u1 *u3 *v1 *a11*a13 *a23 *b12 *kap + u1 *u3 *v1
3 2 2 2 2 2 4 2
*(720*a11 *a13 *a23 *b12 *kap*m3 + 720*a11*a13 *a23 *b12 *kap *m3)
2 2 2 3 2 4 2 2
+ 720*u1 *u3 *v2 *a11*a13 *a23 *b12 *kap + u1 *u3 *v3*(
2 3 2 2 2 2 4 2
1440*a11 *a13 *a23 *b12 *kap*m3 - 90*a11 *a13*a23 *b12 *kap *m3
2 6 3 2 2 3 2 2 2 2
- 90*a13*a23 *b12 *kap *m3) - 720*u1 *u3 *a11*a13 *a23 *b12 *kap *m3 +
2 3 2 3 2 5 2
u1 *u3*v1*v2*(180*a11 *a13*a23 *b12 *kap*m3 + 180*a11*a13*a23 *b12 *kap *m3)
2 2 3 3 3 5 2
+ u1 *u3*v1*v3*(180*a11 *a13*a23 *b12 *kap*m3 + 180*a13*a23 *b12 *kap *m3) +
2 2 3 2 2 2 2 4 2 2
u1 *v1 *( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3 )
3 2 3 2 3 2
+ 1440*u1*u2 *u3 *a11 *a13 *a23 *b12 *kap
2 3 4 2 2 2 2 2 2 4 2
+ u1*u2 *u3 *( - 360*a11 *a13 *a23 *b12 *kap - 360*a11 *a13 *a23 *b12 *kap )
2 2 2 2 3 3
- 2880*u1*u2 *u3 *v1*a11 *a13 *a23 *b12 *kap
2 2 2 4 3
+ 1440*u1*u2 *u3 *v2*a11 *a13*a23 *b12 *kap
2 2 2 4 2 2 6 3
+ u1*u2 *u3*v1*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3)
4 3 2 3 2
+ 1440*u1*u2*u3 *a11 *a13 *a23 *b12 *kap
3 3 2 2 3 2 2 5 2
+ u1*u2*u3 *v1*(360*a11 *a13 *a23 *b12 *kap + 360*a11*a13 *a23 *b12 *kap )
3 3 3 3 3 5 2
+ u1*u2*u3 *v2*( - 360*a11 *a13*a23 *b12 *kap - 360*a11*a13*a23 *b12 *kap )
3
+ u1*u2*u3 *v3
2 3 2 3 2 4 3 3
*( - 1440*a11 *a13 *a23 *b12 *kap + 1440*a11 *a13*a23 *b12 *kap) + u1*u2*u3 *
3 3 2 3 4
(1200*a11 *a13 *a23 *b12*kap*m3 + 1200*a11 *a13*a23 *b12*kap*m3
3 2 3 2 4 3 2
+ 1200*a11*a13 *a23 *b12 *kap *m3 + 1200*a11*a13*a23 *b12 *kap *m3)
2 2 2 3 4 2
+ 1440*u1*u2*u3 *v1 *a11*a13 *a23 *b12 *kap + u1*u2*u3 *v1
3 3 2 3 4 2
*(720*a11 *a13*a23 *b12 *kap*m3 + 720*a11*a13*a23 *b12 *kap *m3)
2 2 2 3 4 2
+ 1440*u1*u2*u3 *v2 *a11*a13 *a23 *b12 *kap + u1*u2*u3 *v2
3 2 2 2 2 2 4 2
*(720*a11 *a13 *a23 *b12 *kap*m3 + 720*a11*a13 *a23 *b12 *kap *m3)
2 2 2 3 2
+ 2880*u1*u2*u3 *v3*a11 *a13 *a23 *b12 *kap*m3
2 2 3 2 2 2 2
- 1440*u1*u2*u3 *a11*a13 *a23 *b12 *kap *m3 + u1*u2*u3*v1
3 2 3 2 5 2
*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3) + u1*u2
2 2 2 3 2 2 5 2
*u3*v1*v3*( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3) +
2 3 2 3 2 5 2
u1*u2*u3*v2 *(180*a11 *a13*a23 *b12 *kap*m3 + 180*a11*a13*a23 *b12 *kap *m3)
2 3 3 3 5 2
+ u1*u2*u3*v2*v3*(180*a11 *a13*a23 *b12 *kap*m3 + 180*a13*a23 *b12 *kap *m3)
+ u1*u2*v1*v2
3 2 2 2 2 4 2 2
*( - 360*a11 *a13*a23 *b12 *kap*m3 - 360*a11*a13*a23 *b12 *kap *m3 ) + u1
5 4 2 2 2 2 4 2 2
*u3 *( - 540*a11 *a13 *a23 *b12 *kap - 2880*a11 *a13 *a23 *b12 *kap
2 2 4 2 2 2 2 4 2
- 2880*a11 *a13 *a23 *b12 *kap - 540*a11 *a13 *a23 *b12 *kap )
4 2 2 3 3 4
- 1440*u1*u3 *v1*a11 *a13 *a23 *b12 *kap + u1*u3 *v2*(
4 2 3 2 4 3
- 90*a11 *a13*a23 *b12 *kap - 1440*a11 *a13*a23 *b12 *kap
2 2 5 2
- 90*a11 *a13*a23 *b12 *kap )
4 3 3 3 3 5 2
+ u1*u3 *v3*( - 360*a11 *a13*a23 *b12 *kap - 360*a11*a13*a23 *b12 *kap ) +
4 4 3 4 3
u1*u3 *( - 200*a11 *a13 *a23*b12*kap*m3 - 200*a11 *a13*a23 *b12*kap*m3
2 3 3 2 2 3 3 2
- 200*a11 *a13 *a23*b12 *kap *m3 - 200*a11 *a13*a23 *b12 *kap *m3)
3 3 2 4 3
+ 1440*u1*u3 *v1*v3*a11*a13 *a23 *b12 *kap + u1*u3 *v1*(
4 2 2 2 3 2 2
- 180*a11 *a13*a23 *b12 *kap*m3 - 1440*a11 *a13 *a23 *b12 *kap*m3
2 2 4 2 2 6 3
- 270*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3)
3 2 3 4 3
+ 1440*u1*u3 *v2*v3*a11*a13 *a23 *b12 *kap + u1*u3 *v2*(
4 2 2 4 3 2
80*a11 *a13 *a23*b12 *kap*m3 - 40*a11 *a23 *b12 *kap*m3
2 4 2 2 2 3 2
+ 1920*a11 *a13 *a23*b12 *kap*m3 + 480*a11 *a13 *a23 *b12 *kap*m3
2 2 4 2 2 3 4 2 3
+ 80*a11 *a13 *a23*b12 *kap *m3 - 40*a11 *a23 *b12 *kap *m3) + u1*u3 *v3*
3 2 2 2 3 4 2
(240*a11 *a13 *a23 *b12 *kap*m3 - 120*a11 *a23 *b12 *kap*m3
2 2 4 2 4 4 2 3
+ 240*a11*a13 *a23 *b12 *kap *m3 - 120*a11*a23 *b12 *kap *m3) + u1*u3 *(
4 2 2 2 2 4 2 2
- 240*a11 *a13 *a23 *kap*m3 - 3840*a11 *a13 *a23 *kap*m3
2 2 4 2 2 2 2 2 2 2
- 3840*a11 *a13 *a23 *kap*m3 - 240*a11 *a13 *a23 *b12 *kap *m3 )
2 2 2 3 3 3 5 2
+ u1*u3 *v1 *( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3)
2 2 2 2 3 2 2 5 2
+ u1*u3 *v1*v2*(180*a11 *a13 *a23 *b12 *kap*m3 + 180*a13 *a23 *b12 *kap *m3)
2 2 3 3 2
- 1440*u1*u3 *v1*v3*a11*a13 *a23 *b12 *kap*m3 + u1*u3 *v1*(
4 2 2 2 4 2
- 240*a11 *a13 *a23*b12*kap*m3 - 3840*a11 *a13 *a23*b12*kap*m3
2 2 3 2 2 2 3 2 2
- 3840*a11 *a13 *a23 *b12*kap*m3 - 240*a11 *a13 *a23*b12 *kap *m3 ) + u1
2 3 2 3 3 2 3
*u3 *v2*v3*(180*a11 *a13*a23 *b12 *kap*m3 + 1440*a11*a13 *a23 *b12 *kap*m3
2 5 2
+ 180*a11*a13*a23 *b12 *kap *m3)
2 2 2 3 3 3 5 2
+ u1*u3 *v3 *(180*a11 *a13*a23 *b12 *kap*m3 + 180*a13*a23 *b12 *kap *m3)
3 2 2 4 2 6 2
+ u1*u3*v1 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) + u1
2 2 2 2 2 2 2 2 4 2 2
*u3*v1 *( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3 )
2 2 2 4 2 6 2
+ u1*u3*v1*v2 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) +
2 3 2 2 3 4 2 2
u1*u3*v1*v2*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3 )
2 2 2 4 2 6 2
+ u1*u3*v1*v3 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) +
u1*u3*v1*v3
3 2 2 2 2 4 2 2
*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3 )
2 2 2 2 3 2 4 3 3
+ u1*u3*v1*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3 )
4 2 3 4 2 3 3
+ 720*u2 *u3 *a11 *a13*a23 *b12 *kap + u2 *u3 *(
4 3 2 2 3 3 2
- 260*a11 *a13*a23 *b12 *kap + 1600*a11 *a13 *a23 *b12 *kap
2 5 2 2 3 4 2
+ 1600*a11 *a13*a23 *b12 *kap - 160*a11 *a13*a23 *b12 *kap
3 3 4 2 5 4 2
+ 1600*a13 *a23 *b12 *kap + 1600*a13*a23 *b12 *kap
3 6 3 3 2 2 4 3 3
+ 100*a13*a23 *b12 *kap ) - 1440*u2 *u3 *v1*a11 *a13*a23 *b12 *kap + u2
2 4 2 3 2 4 3
*u3 *v2*( - 600*a11 *a13 *a23 *b12 - 9600*a11 *a13 *a23 *b12
2 2 5 2 2 3 3
- 9600*a11 *a13 *a23 *b12 - 1200*a11 *a13 *a23 *b12 *kap
4 3 3 2 5 3
- 9600*a13 *a23 *b12 *kap - 9600*a13 *a23 *b12 *kap
2 3 5 2
- 600*a13 *a23 *b12 *kap )
3 2 2 4 2 2 6 3
+ u2 *u3*v2*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3) +
2 4 5 2 2 3 3 2 2
u2 *u3 *( - 90*a11 *a13*a23 *b12 *kap - 2160*a11 *a13 *a23 *b12 *kap
3 4 2 3 2 4 2
- 1440*a11 *a13*a23 *b12 *kap - 135*a11 *a13*a23 *b12 *kap
3 2 4 2 4 4 2
- 1440*a11*a13 *a23 *b12 *kap - 1440*a11*a13*a23 *b12 *kap
2 6 3
- 45*a11*a13*a23 *b12 *kap )
2 3 3 3 3 3 5 2
+ u2 *u3 *v1*(360*a11 *a13*a23 *b12 *kap + 360*a11*a13*a23 *b12 *kap )
2 3 2 2 3 3 2 3
- 1440*u2 *u3 *v3*a11 *a13 *a23 *b12 *kap + u2 *u3 *(
5 2 5 3
80*a11 *a13 *a23*b12*kap*m3 - 40*a11 *a23 *b12*kap*m3
3 4 3 2 3
+ 1560*a11 *a13 *a23*b12*kap*m3 + 1800*a11 *a13 *a23 *b12*kap*m3
3 2 3 2 3 5
+ 75*a11 *a13 *a23*b12 *kap *m3 - 120*a11 *a23 *b12*kap*m3
3 3 3 2 4 3
- 60*a11 *a23 *b12 *kap *m3 + 5760*a11*a13 *a23 *b12*kap*m3
4 3 2 2 5
- 120*a11*a13 *a23*b12 *kap *m3 + 5760*a11*a13 *a23 *b12*kap*m3
2 3 3 2 2 5 3
+ 120*a11*a13 *a23 *b12 *kap *m3 - 5*a11*a13 *a23*b12 *kap *m3
5 3 2 3 5 3
- 120*a11*a23 *b12 *kap *m3 - 20*a11*a23 *b12 *kap *m3)
2 2 2 4 4
+ 720*u2 *u3 *v1 *a11*a13*a23 *b12 *kap
2 2 2 4 4 2 2
+ 720*u2 *u3 *v2 *a11*a13*a23 *b12 *kap + u2 *u3 *v2*(
3 3 2 3 3 2
540*a11 *a13*a23 *b12 *kap*m3 - 2880*a11*a13 *a23 *b12 *kap*m3
5 2 3 4 2 2
- 2880*a11*a13*a23 *b12 *kap*m3 + 540*a11*a13*a23 *b12 *kap *m3) + u2
2 2 4 2 2 2 4 2
*u3 *v3*(1440*a11 *a13*a23 *b12 *kap*m3 - 90*a11 *a13*a23 *b12 *kap *m3
2 6 3
- 90*a13*a23 *b12 *kap *m3)
2 2 4 2 2 2 2
- 720*u2 *u3 *a11*a13*a23 *b12 *kap *m3 + u2 *u3*v1*v2
3 2 3 2 5 2 2
*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3) + u2 *u3
2 2 2 3 2 2 5 2 2
*v2*v3*( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3) + u2
2 3 2 2 2 2 4 2 2
*v2 *( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3 ) +
5 4 3 2 2 3 3 2
u2*u3 *( - 540*a11 *a13*a23 *b12 *kap - 2880*a11 *a13 *a23 *b12 *kap
2 5 2 2 3 4 2
- 2880*a11 *a13*a23 *b12 *kap - 540*a11 *a13*a23 *b12 *kap ) + u2
4 4 2 3 2 3 2 3
*u3 *v1*(90*a11 *a13*a23 *b12 *kap + 1440*a11 *a13 *a23 *b12 *kap
2 2 5 2
+ 90*a11 *a13*a23 *b12 *kap )
4 2 2 3 3
+ 1440*u2*u3 *v2*a11 *a13 *a23 *b12 *kap
4 3 2 2 3 2 2 5 2
+ u2*u3 *v3*(360*a11 *a13 *a23 *b12 *kap + 360*a11*a13 *a23 *b12 *kap ) + u2
4 4 2 2 4 4
*u3 *( - 200*a11 *a13 *a23 *b12*kap*m3 - 200*a11 *a23 *b12*kap*m3
2 2 2 3 2 2 4 3 2
- 200*a11 *a13 *a23 *b12 *kap *m3 - 200*a11 *a23 *b12 *kap *m3)
3 2 3 4 3
+ 1440*u2*u3 *v1*v3*a11*a13 *a23 *b12 *kap + u2*u3 *v1*(
4 2 2 4 3 2
- 80*a11 *a13 *a23*b12 *kap*m3 + 40*a11 *a23 *b12 *kap*m3
2 4 2 2 2 3 2
- 1920*a11 *a13 *a23*b12 *kap*m3 - 3360*a11 *a13 *a23 *b12 *kap*m3
2 2 4 2 2 3 4 2
- 80*a11 *a13 *a23*b12 *kap *m3 + 40*a11 *a23 *b12 *kap *m3)
3 4 4 3
+ 1440*u2*u3 *v2*v3*a11*a13*a23 *b12 *kap + u2*u3 *v2*(
4 2 2 2 3 2 2
- 270*a11 *a13*a23 *b12 *kap*m3 - 1440*a11 *a13 *a23 *b12 *kap*m3
2 4 2 2 2 4 2
- 2880*a11 *a13*a23 *b12 *kap*m3 - 360*a11 *a13*a23 *b12 *kap *m3
2 6 3 3 3 3 2
- 90*a13*a23 *b12 *kap *m3) + u2*u3 *v3*(120*a11 *a13 *a23*b12 *kap*m3
3 3 2 3 4 2
+ 480*a11 *a13*a23 *b12 *kap*m3 + 120*a11*a13 *a23*b12 *kap *m3
3 4 2 3 4 3 2
+ 480*a11*a13*a23 *b12 *kap *m3) + u2*u3 *(240*a11 *a13 *a23*kap*m3
2 5 2 2 3 3 2
+ 3840*a11 *a13 *a23*kap*m3 + 3840*a11 *a13 *a23 *kap*m3
2 3 2 2 2 2
+ 240*a11 *a13 *a23*b12 *kap *m3 ) + u2*u3 *v1*v2
2 3 3 3 5 2 2
*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3) + u2*u3 *v1
3 2 3 4 3
*v3*( - 180*a11 *a13*a23 *b12 *kap*m3 - 1440*a11*a13*a23 *b12 *kap*m3
2 5 2
- 180*a11*a13*a23 *b12 *kap *m3)
2 2 2 2 2 3 2 2 5 2
+ u2*u3 *v2 *(180*a11 *a13 *a23 *b12 *kap*m3 + 180*a13 *a23 *b12 *kap *m3)
2 2 3 3 2
+ 1440*u2*u3 *v2*v3*a11*a13 *a23 *b12 *kap*m3 + u2*u3 *v2*(
4 2 2 2 4 2
- 240*a11 *a13 *a23*b12*kap*m3 - 3840*a11 *a13 *a23*b12*kap*m3
2 2 3 2 2 2 3 2 2
- 3840*a11 *a13 *a23 *b12*kap*m3 - 240*a11 *a13 *a23*b12 *kap *m3 ) + u2
2 2 2 2 2 3 2 2 5 2
*u3 *v3 *( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3)
2 2 2 4 2 6 2
+ u2*u3*v1 *v2*(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) +
u2*u3*v1*v2
2 2 2 2 2 2 2 4 2 2
*( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3 )
3 2 2 4 2 6 2
+ u2*u3*v2 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3)
2 2 3 2 2 3 4 2 2
+ u2*u3*v2 *( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3 )
2 2 2 4 2 6 2
+ u2*u3*v2*v3 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) +
u2*u3*v2*v3
3 2 2 2 2 4 2 2
*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a11*a13*a23 *b12 *kap *m3 )
2 2 2 2 3 2 4 3 3
+ u2*u3*v2*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3 ) +
6 5 2 2 3 3 2 2
u3 *(15*a11 *a13*a23 *b12 *kap - 480*a11 *a13 *a23 *b12 *kap
3 4 2 3 2 4 2
- 480*a11 *a13*a23 *b12 *kap + 30*a11 *a13*a23 *b12 *kap
3 2 4 2 4 4 2
- 480*a11*a13 *a23 *b12 *kap - 480*a11*a13*a23 *b12 *kap
2 6 3
+ 15*a11*a13*a23 *b12 *kap )
5 3 3 3 3 5 2
+ u3 *v1*(360*a11 *a13*a23 *b12 *kap + 360*a11*a13*a23 *b12 *kap )
5 3 2 2 3 2 2 5 2
+ u3 *v2*( - 360*a11 *a13 *a23 *b12 *kap - 360*a11*a13 *a23 *b12 *kap ) +
5 5 2 5 3
u3 *(52*a11 *a13 *a23*b12*kap*m3 + 4*a11 *a23 *b12*kap*m3
3 4 3 2 3
+ 480*a11 *a13 *a23*b12*kap*m3 + 336*a11 *a13 *a23 *b12*kap*m3
3 2 3 2 3 5
+ 62*a11 *a13 *a23*b12 *kap *m3 - 144*a11 *a23 *b12*kap*m3
3 3 3 2 4 3 2
+ 8*a11 *a23 *b12 *kap *m3 - 192*a11*a13 *a23*b12 *kap *m3
2 3 3 2 2 5 3
- 336*a11*a13 *a23 *b12 *kap *m3 + 10*a11*a13 *a23*b12 *kap *m3
5 3 2 3 5 3 4 2
- 144*a11*a23 *b12 *kap *m3 + 4*a11*a23 *b12 *kap *m3) + u3 *v1 *(
3 2 4 3 2 4
- 45*a11 *a13*a23 *b12 *kap - 720*a11*a13 *a23 *b12 *kap
2 6 2 4 2 3 4
- 45*a11*a13*a23 *b12 *kap ) - 1440*u3 *v1*v2*a11*a13 *a23 *b12 *kap +
4 3 2 2 2 3 4 2
u3 *v1*(480*a11 *a13 *a23 *b12 *kap*m3 + 120*a11 *a23 *b12 *kap*m3
2 2 4 2 4 4 2 4
+ 480*a11*a13 *a23 *b12 *kap *m3 + 120*a11*a23 *b12 *kap *m3) + u3
2 3 2 4 4 4
*v2 *( - 45*a11 *a13*a23 *b12 *kap - 720*a11*a13*a23 *b12 *kap
2 6 2 4
- 45*a11*a13*a23 *b12 *kap ) + u3 *v2*(
3 3 2 3 3 2
- 120*a11 *a13 *a23*b12 *kap*m3 + 240*a11 *a13*a23 *b12 *kap*m3
3 4 2 3 4 2
- 120*a11*a13 *a23*b12 *kap *m3 + 240*a11*a13*a23 *b12 *kap *m3)
4 2 3 2 4 2 6 2 4
+ u3 *v3 *( - 45*a11 *a13*a23 *b12 *kap - 45*a11*a13*a23 *b12 *kap ) + u3
4 2 2 2 3 2 2
*v3*( - 270*a11 *a13*a23 *b12 *kap*m3 - 1440*a11 *a13 *a23 *b12 *kap*m3
2 4 2 2 2 4 2
- 1440*a11 *a13*a23 *b12 *kap*m3 - 360*a11 *a13*a23 *b12 *kap *m3
2 6 3 4 5 3 2
- 90*a13*a23 *b12 *kap *m3) + u3 *( - 30*a11 *a13 *kap*m3
3 5 2 3 3 2 2
- 480*a11 *a13 *kap*m3 - 480*a11 *a13 *a23 *kap*m3
3 3 2 2 2 3 2 2 2 2
- 30*a11 *a13 *b12 *kap *m3 + 45*a11 *a13*a23 *b12 *kap *m3
2 4 3 2 3 2
+ 45*a11*a13*a23 *b12 *kap *m3 ) + u3 *v1 *(
3 2 3 3 3 3
- 5*a11 *a13 *a23*b12 *kap*m3 - 20*a11 *a23 *b12 *kap*m3
4 3 2 3 3
+ 240*a11*a13 *a23*b12 *kap*m3 + 1680*a11*a13 *a23 *b12 *kap*m3
2 5 2 3 5 2 3
- 5*a11*a13 *a23*b12 *kap *m3 - 20*a11*a23 *b12 *kap *m3) + u3 *v1*v2
3 2 3 4 3
*( - 1440*a11*a13 *a23 *b12 *kap*m3 + 1440*a11*a13*a23 *b12 *kap*m3)
3 2 3 3 3 5 2
+ u3 *v1*v3*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3) +
3 3 3 2 3 3 2
u3 *v1*(120*a11 *a13 *a23*b12*kap*m3 + 120*a11 *a13*a23 *b12*kap*m3
3 3 2 2 3 3 2 2
+ 120*a11*a13 *a23*b12 *kap *m3 + 120*a11*a13*a23 *b12 *kap *m3 )
3 2 3 2 3 3 3 3
+ u3 *v2 *( - 5*a11 *a13 *a23*b12 *kap*m3 - 20*a11 *a23 *b12 *kap*m3
4 3 2 3 3
+ 240*a11*a13 *a23*b12 *kap*m3 - 1200*a11*a13 *a23 *b12 *kap*m3
2 5 2 3 5 2
- 5*a11*a13 *a23*b12 *kap *m3 - 20*a11*a23 *b12 *kap *m3)
3 2 2 2 3 2 2 5 2
+ u3 *v2*v3*(180*a11 *a13 *a23 *b12 *kap*m3 + 180*a13 *a23 *b12 *kap *m3) +
3 3 2 2 2 3 4 2
u3 *v2*(120*a11 *a13 *a23 *b12*kap*m3 + 120*a11 *a23 *b12*kap*m3
2 2 3 2 2 4 3 2 2
+ 120*a11*a13 *a23 *b12 *kap *m3 + 120*a11*a23 *b12 *kap *m3 ) +
3 2 3 2 3 3 3 3
u3 *v3 *( - 5*a11 *a13 *a23*b12 *kap*m3 - 20*a11 *a23 *b12 *kap*m3
4 3 2 3 3
+ 240*a11*a13 *a23*b12 *kap*m3 + 240*a11*a13 *a23 *b12 *kap*m3
2 5 2 3 5 2 3
- 5*a11*a13 *a23*b12 *kap *m3 - 20*a11*a23 *b12 *kap *m3) + u3 *v3*
4 2 2 4 3 2
( - 160*a11 *a13 *a23*b12*kap*m3 - 40*a11 *a23 *b12*kap*m3
2 4 2 2 2 3 2
- 1920*a11 *a13 *a23*b12*kap*m3 - 1920*a11 *a13 *a23 *b12*kap*m3
2 2 3 2 2 2 3 3 2 2 3
- 160*a11 *a13 *a23*b12 *kap *m3 - 40*a11 *a23 *b12 *kap *m3 ) + u3 *(
3 2 2 3 3 3 2 3
20*a11 *a13 *a23*b12*kap *m3 + 20*a11 *a23 *b12*kap *m3
2 3 3 3 3 3 3 3
+ 20*a11*a13 *a23*b12 *kap *m3 + 20*a11*a23 *b12 *kap *m3 )
2 2 2 2 4 2 6 2 2
+ u3 *v1 *v3*(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) + u3
2 3 3 2 2 3 4 2
*v1 *( - 360*a11 *a13 *a23 *m3 - 360*a11 *a13*a23 *m3
3 2 2 2 4 2 2
- 360*a11*a13 *a23 *b12 *kap*m3 - 1080*a11*a13*a23 *b12 *kap*m3 )
2 2 3 2 2 2
+ 1440*u3 *v1*v2*a11*a13 *a23 *b12 *kap*m3 + u3 *v1*v3
2 2 2 2 2 2 2 4 2 2
*( - 180*a11 *a13 *a23 *b12 *kap*m3 - 180*a13 *a23 *b12 *kap *m3 )
2 2 2 2 4 2 6 2 2
+ u3 *v2 *v3*(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3) + u3
2 3 3 2 2 3 4 2
*v2 *(360*a11 *a13 *a23 *m3 + 360*a11 *a13*a23 *m3
3 2 2 2 4 2 2
- 360*a11*a13 *a23 *b12 *kap*m3 + 360*a11*a13*a23 *b12 *kap*m3 )
2 2 3 2 2 3 4 2 2
+ u3 *v2*v3*( - 180*a11 *a13*a23 *b12 *kap*m3 - 180*a13*a23 *b12 *kap *m3 )
2 3 2 2 4 2 6 2
+ u3 *v3 *(90*a11 *a13*a23 *b12 *kap*m3 + 90*a13*a23 *b12 *kap *m3)
2 2 2 2 2 3 2 4 3 3
+ u3 *v3*( - 90*a11 *a13*a23 *b12 *kap *m3 - 90*a13*a23 *b12 *kap *m3 )
which the program can not factorize further.
{HAM,FI} = 0
And again in machine readable form:
HAM=(2*u1**2*a11 + 4*u1*u3*a13 + 2*u1*v2*b12 + 2*u2**2*a11 + 4*u2*u3*a23 - 2*u2*
v1*b12 + u3**2*a11 + 2*v3*m3)/2$
FI=720*u1**4*u3**2*a11**3*a13**3*a23**2*b12**2*kap + 1440*u1**3*u2*u3**2*a11**3*
a13**2*a23**3*b12**2*kap + u1**3*u3**3*( - 240*a11**4*a13**2*a23**2*b12**2*kap +
1920*a11**2*a13**4*a23**2*b12**2*kap + 1920*a11**2*a13**2*a23**4*b12**2*kap -
240*a11**2*a13**2*a23**2*b12**4*kap**2) + 1440*u1**3*u3**2*v2*a11**2*a13**3*a23
**2*b12**3*kap + u1**3*u3*v1*( - 90*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*
a23**2*b12**6*kap**3*m3) + u1**2*u2**2*u3**2*(720*a11**3*a13**3*a23**2*b12**2*
kap + 720*a11**3*a13*a23**4*b12**2*kap) + u1**2*u2*u3**3*( - 360*a11**4*a13*a23
**3*b12**2*kap - 360*a11**2*a13*a23**3*b12**4*kap**2) - 1440*u1**2*u2*u3**2*v1*
a11**2*a13**3*a23**2*b12**3*kap + 2880*u1**2*u2*u3**2*v2*a11**2*a13**2*a23**3*
b12**3*kap + u1**2*u2*u3*v2*( - 90*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*
a23**2*b12**6*kap**3*m3) + u1**2*u3**4*( - 90*a11**5*a13*a23**2*b12**2*kap -
1440*a11**3*a13**3*a23**2*b12**2*kap - 2160*a11**3*a13*a23**4*b12**2*kap - 135*
a11**3*a13*a23**2*b12**4*kap**2 - 1440*a11*a13**3*a23**2*b12**4*kap**2 - 1440*
a11*a13*a23**4*b12**4*kap**2 - 45*a11*a13*a23**2*b12**6*kap**3) + u1**2*u3**3*v2
*( - 360*a11**3*a13**2*a23**2*b12**3*kap - 360*a11*a13**2*a23**2*b12**5*kap**2)
+ 1440*u1**2*u3**3*v3*a11**2*a13**2*a23**3*b12**3*kap + u1**2*u3**3*(80*a11**5*
a13**2*a23*b12*kap*m3 - 40*a11**5*a23**3*b12*kap*m3 + 1800*a11**3*a13**4*a23*b12
*kap*m3 + 1440*a11**3*a13**2*a23**3*b12*kap*m3 + 75*a11**3*a13**2*a23*b12**3*kap
**2*m3 - 360*a11**3*a23**5*b12*kap*m3 - 60*a11**3*a23**3*b12**3*kap**2*m3 + 120*
a11*a13**4*a23*b12**3*kap**2*m3 - 240*a11*a13**2*a23**3*b12**3*kap**2*m3 - 5*a11
*a13**2*a23*b12**5*kap**3*m3 - 360*a11*a23**5*b12**3*kap**2*m3 - 20*a11*a23**3*
b12**5*kap**3*m3) + 720*u1**2*u3**2*v1**2*a11*a13**3*a23**2*b12**4*kap + u1**2*
u3**2*v1*(720*a11**3*a13**2*a23**2*b12**2*kap*m3 + 720*a11*a13**2*a23**2*b12**4*
kap**2*m3) + 720*u1**2*u3**2*v2**2*a11*a13**3*a23**2*b12**4*kap + u1**2*u3**2*v3
*(1440*a11**2*a13**3*a23**2*b12**2*kap*m3 - 90*a11**2*a13*a23**2*b12**4*kap**2*
m3 - 90*a13*a23**2*b12**6*kap**3*m3) - 720*u1**2*u3**2*a11*a13**3*a23**2*b12**2*
kap**2*m3**2 + u1**2*u3*v1*v2*(180*a11**3*a13*a23**2*b12**3*kap*m3 + 180*a11*a13
*a23**2*b12**5*kap**2*m3) + u1**2*u3*v1*v3*(180*a11**2*a13*a23**3*b12**3*kap*m3
+ 180*a13*a23**3*b12**5*kap**2*m3) + u1**2*v1**2*( - 180*a11**3*a13*a23**2*b12**
2*kap*m3**2 - 180*a11*a13*a23**2*b12**4*kap**2*m3**2) + 1440*u1*u2**3*u3**2*a11
**3*a13**2*a23**3*b12**2*kap + u1*u2**2*u3**3*( - 360*a11**4*a13**2*a23**2*b12**
2*kap - 360*a11**2*a13**2*a23**2*b12**4*kap**2) - 2880*u1*u2**2*u3**2*v1*a11**2*
a13**2*a23**3*b12**3*kap + 1440*u1*u2**2*u3**2*v2*a11**2*a13*a23**4*b12**3*kap +
u1*u2**2*u3*v1*( - 90*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*a23**2*b12**6
*kap**3*m3) + 1440*u1*u2*u3**4*a11**3*a13**2*a23**3*b12**2*kap + u1*u2*u3**3*v1*
(360*a11**3*a13**2*a23**2*b12**3*kap + 360*a11*a13**2*a23**2*b12**5*kap**2) + u1
*u2*u3**3*v2*( - 360*a11**3*a13*a23**3*b12**3*kap - 360*a11*a13*a23**3*b12**5*
kap**2) + u1*u2*u3**3*v3*( - 1440*a11**2*a13**3*a23**2*b12**3*kap + 1440*a11**2*
a13*a23**4*b12**3*kap) + u1*u2*u3**3*(1200*a11**3*a13**3*a23**2*b12*kap*m3 +
1200*a11**3*a13*a23**4*b12*kap*m3 + 1200*a11*a13**3*a23**2*b12**3*kap**2*m3 +
1200*a11*a13*a23**4*b12**3*kap**2*m3) + 1440*u1*u2*u3**2*v1**2*a11*a13**2*a23**3
*b12**4*kap + u1*u2*u3**2*v1*(720*a11**3*a13*a23**3*b12**2*kap*m3 + 720*a11*a13*
a23**3*b12**4*kap**2*m3) + 1440*u1*u2*u3**2*v2**2*a11*a13**2*a23**3*b12**4*kap +
u1*u2*u3**2*v2*(720*a11**3*a13**2*a23**2*b12**2*kap*m3 + 720*a11*a13**2*a23**2*
b12**4*kap**2*m3) + 2880*u1*u2*u3**2*v3*a11**2*a13**2*a23**3*b12**2*kap*m3 -
1440*u1*u2*u3**2*a11*a13**2*a23**3*b12**2*kap**2*m3**2 + u1*u2*u3*v1**2*( - 180*
a11**3*a13*a23**2*b12**3*kap*m3 - 180*a11*a13*a23**2*b12**5*kap**2*m3) + u1*u2*
u3*v1*v3*( - 180*a11**2*a13**2*a23**2*b12**3*kap*m3 - 180*a13**2*a23**2*b12**5*
kap**2*m3) + u1*u2*u3*v2**2*(180*a11**3*a13*a23**2*b12**3*kap*m3 + 180*a11*a13*
a23**2*b12**5*kap**2*m3) + u1*u2*u3*v2*v3*(180*a11**2*a13*a23**3*b12**3*kap*m3 +
180*a13*a23**3*b12**5*kap**2*m3) + u1*u2*v1*v2*( - 360*a11**3*a13*a23**2*b12**2
*kap*m3**2 - 360*a11*a13*a23**2*b12**4*kap**2*m3**2) + u1*u3**5*( - 540*a11**4*
a13**2*a23**2*b12**2*kap - 2880*a11**2*a13**4*a23**2*b12**2*kap - 2880*a11**2*
a13**2*a23**4*b12**2*kap - 540*a11**2*a13**2*a23**2*b12**4*kap**2) - 1440*u1*u3
**4*v1*a11**2*a13**2*a23**3*b12**3*kap + u1*u3**4*v2*( - 90*a11**4*a13*a23**2*
b12**3*kap - 1440*a11**2*a13*a23**4*b12**3*kap - 90*a11**2*a13*a23**2*b12**5*kap
**2) + u1*u3**4*v3*( - 360*a11**3*a13*a23**3*b12**3*kap - 360*a11*a13*a23**3*b12
**5*kap**2) + u1*u3**4*( - 200*a11**4*a13**3*a23*b12*kap*m3 - 200*a11**4*a13*a23
**3*b12*kap*m3 - 200*a11**2*a13**3*a23*b12**3*kap**2*m3 - 200*a11**2*a13*a23**3*
b12**3*kap**2*m3) + 1440*u1*u3**3*v1*v3*a11*a13**3*a23**2*b12**4*kap + u1*u3**3*
v1*( - 180*a11**4*a13*a23**2*b12**2*kap*m3 - 1440*a11**2*a13**3*a23**2*b12**2*
kap*m3 - 270*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*a23**2*b12**6*kap**3*m3
) + 1440*u1*u3**3*v2*v3*a11*a13**2*a23**3*b12**4*kap + u1*u3**3*v2*(80*a11**4*
a13**2*a23*b12**2*kap*m3 - 40*a11**4*a23**3*b12**2*kap*m3 + 1920*a11**2*a13**4*
a23*b12**2*kap*m3 + 480*a11**2*a13**2*a23**3*b12**2*kap*m3 + 80*a11**2*a13**2*
a23*b12**4*kap**2*m3 - 40*a11**2*a23**3*b12**4*kap**2*m3) + u1*u3**3*v3*(240*a11
**3*a13**2*a23**2*b12**2*kap*m3 - 120*a11**3*a23**4*b12**2*kap*m3 + 240*a11*a13
**2*a23**2*b12**4*kap**2*m3 - 120*a11*a23**4*b12**4*kap**2*m3) + u1*u3**3*( -
240*a11**4*a13**2*a23**2*kap*m3**2 - 3840*a11**2*a13**4*a23**2*kap*m3**2 - 3840*
a11**2*a13**2*a23**4*kap*m3**2 - 240*a11**2*a13**2*a23**2*b12**2*kap**2*m3**2) +
u1*u3**2*v1**2*( - 180*a11**2*a13*a23**3*b12**3*kap*m3 - 180*a13*a23**3*b12**5*
kap**2*m3) + u1*u3**2*v1*v2*(180*a11**2*a13**2*a23**2*b12**3*kap*m3 + 180*a13**2
*a23**2*b12**5*kap**2*m3) - 1440*u1*u3**2*v1*v3*a11*a13**2*a23**3*b12**3*kap*m3
+ u1*u3**2*v1*( - 240*a11**4*a13**2*a23*b12*kap*m3**2 - 3840*a11**2*a13**4*a23*
b12*kap*m3**2 - 3840*a11**2*a13**2*a23**3*b12*kap*m3**2 - 240*a11**2*a13**2*a23*
b12**3*kap**2*m3**2) + u1*u3**2*v2*v3*(180*a11**3*a13*a23**2*b12**3*kap*m3 +
1440*a11*a13**3*a23**2*b12**3*kap*m3 + 180*a11*a13*a23**2*b12**5*kap**2*m3) + u1
*u3**2*v3**2*(180*a11**2*a13*a23**3*b12**3*kap*m3 + 180*a13*a23**3*b12**5*kap**2
*m3) + u1*u3*v1**3*(90*a11**2*a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*
kap**2*m3) + u1*u3*v1**2*( - 180*a11**2*a13**2*a23**2*b12**2*kap*m3**2 - 180*a13
**2*a23**2*b12**4*kap**2*m3**2) + u1*u3*v1*v2**2*(90*a11**2*a13*a23**2*b12**4*
kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u1*u3*v1*v2*( - 180*a11**2*a13*a23**3
*b12**2*kap*m3**2 - 180*a13*a23**3*b12**4*kap**2*m3**2) + u1*u3*v1*v3**2*(90*a11
**2*a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u1*u3*v1*v3*( -
180*a11**3*a13*a23**2*b12**2*kap*m3**2 - 180*a11*a13*a23**2*b12**4*kap**2*m3**2
) + u1*u3*v1*( - 90*a11**2*a13*a23**2*b12**2*kap**2*m3**3 - 90*a13*a23**2*b12**4
*kap**3*m3**3) + 720*u2**4*u3**2*a11**3*a13*a23**4*b12**2*kap + u2**3*u3**3*( -
260*a11**4*a13*a23**3*b12**2*kap + 1600*a11**2*a13**3*a23**3*b12**2*kap + 1600*
a11**2*a13*a23**5*b12**2*kap - 160*a11**2*a13*a23**3*b12**4*kap**2 + 1600*a13**3
*a23**3*b12**4*kap**2 + 1600*a13*a23**5*b12**4*kap**2 + 100*a13*a23**3*b12**6*
kap**3) - 1440*u2**3*u3**2*v1*a11**2*a13*a23**4*b12**3*kap + u2**3*u3**2*v2*( -
600*a11**4*a13**2*a23**3*b12 - 9600*a11**2*a13**4*a23**3*b12 - 9600*a11**2*a13**
2*a23**5*b12 - 1200*a11**2*a13**2*a23**3*b12**3*kap - 9600*a13**4*a23**3*b12**3*
kap - 9600*a13**2*a23**5*b12**3*kap - 600*a13**2*a23**3*b12**5*kap**2) + u2**3*
u3*v2*( - 90*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*a23**2*b12**6*kap**3*m3
) + u2**2*u3**4*( - 90*a11**5*a13*a23**2*b12**2*kap - 2160*a11**3*a13**3*a23**2*
b12**2*kap - 1440*a11**3*a13*a23**4*b12**2*kap - 135*a11**3*a13*a23**2*b12**4*
kap**2 - 1440*a11*a13**3*a23**2*b12**4*kap**2 - 1440*a11*a13*a23**4*b12**4*kap**
2 - 45*a11*a13*a23**2*b12**6*kap**3) + u2**2*u3**3*v1*(360*a11**3*a13*a23**3*b12
**3*kap + 360*a11*a13*a23**3*b12**5*kap**2) - 1440*u2**2*u3**3*v3*a11**2*a13**2*
a23**3*b12**3*kap + u2**2*u3**3*(80*a11**5*a13**2*a23*b12*kap*m3 - 40*a11**5*a23
**3*b12*kap*m3 + 1560*a11**3*a13**4*a23*b12*kap*m3 + 1800*a11**3*a13**2*a23**3*
b12*kap*m3 + 75*a11**3*a13**2*a23*b12**3*kap**2*m3 - 120*a11**3*a23**5*b12*kap*
m3 - 60*a11**3*a23**3*b12**3*kap**2*m3 + 5760*a11*a13**4*a23**3*b12*kap*m3 - 120
*a11*a13**4*a23*b12**3*kap**2*m3 + 5760*a11*a13**2*a23**5*b12*kap*m3 + 120*a11*
a13**2*a23**3*b12**3*kap**2*m3 - 5*a11*a13**2*a23*b12**5*kap**3*m3 - 120*a11*a23
**5*b12**3*kap**2*m3 - 20*a11*a23**3*b12**5*kap**3*m3) + 720*u2**2*u3**2*v1**2*
a11*a13*a23**4*b12**4*kap + 720*u2**2*u3**2*v2**2*a11*a13*a23**4*b12**4*kap + u2
**2*u3**2*v2*(540*a11**3*a13*a23**3*b12**2*kap*m3 - 2880*a11*a13**3*a23**3*b12**
2*kap*m3 - 2880*a11*a13*a23**5*b12**2*kap*m3 + 540*a11*a13*a23**3*b12**4*kap**2*
m3) + u2**2*u3**2*v3*(1440*a11**2*a13*a23**4*b12**2*kap*m3 - 90*a11**2*a13*a23**
2*b12**4*kap**2*m3 - 90*a13*a23**2*b12**6*kap**3*m3) - 720*u2**2*u3**2*a11*a13*
a23**4*b12**2*kap**2*m3**2 + u2**2*u3*v1*v2*( - 180*a11**3*a13*a23**2*b12**3*kap
*m3 - 180*a11*a13*a23**2*b12**5*kap**2*m3) + u2**2*u3*v2*v3*( - 180*a11**2*a13**
2*a23**2*b12**3*kap*m3 - 180*a13**2*a23**2*b12**5*kap**2*m3) + u2**2*v2**2*( -
180*a11**3*a13*a23**2*b12**2*kap*m3**2 - 180*a11*a13*a23**2*b12**4*kap**2*m3**2)
+ u2*u3**5*( - 540*a11**4*a13*a23**3*b12**2*kap - 2880*a11**2*a13**3*a23**3*b12
**2*kap - 2880*a11**2*a13*a23**5*b12**2*kap - 540*a11**2*a13*a23**3*b12**4*kap**
2) + u2*u3**4*v1*(90*a11**4*a13*a23**2*b12**3*kap + 1440*a11**2*a13**3*a23**2*
b12**3*kap + 90*a11**2*a13*a23**2*b12**5*kap**2) + 1440*u2*u3**4*v2*a11**2*a13**
2*a23**3*b12**3*kap + u2*u3**4*v3*(360*a11**3*a13**2*a23**2*b12**3*kap + 360*a11
*a13**2*a23**2*b12**5*kap**2) + u2*u3**4*( - 200*a11**4*a13**2*a23**2*b12*kap*m3
- 200*a11**4*a23**4*b12*kap*m3 - 200*a11**2*a13**2*a23**2*b12**3*kap**2*m3 -
200*a11**2*a23**4*b12**3*kap**2*m3) + 1440*u2*u3**3*v1*v3*a11*a13**2*a23**3*b12
**4*kap + u2*u3**3*v1*( - 80*a11**4*a13**2*a23*b12**2*kap*m3 + 40*a11**4*a23**3*
b12**2*kap*m3 - 1920*a11**2*a13**4*a23*b12**2*kap*m3 - 3360*a11**2*a13**2*a23**3
*b12**2*kap*m3 - 80*a11**2*a13**2*a23*b12**4*kap**2*m3 + 40*a11**2*a23**3*b12**4
*kap**2*m3) + 1440*u2*u3**3*v2*v3*a11*a13*a23**4*b12**4*kap + u2*u3**3*v2*( -
270*a11**4*a13*a23**2*b12**2*kap*m3 - 1440*a11**2*a13**3*a23**2*b12**2*kap*m3 -
2880*a11**2*a13*a23**4*b12**2*kap*m3 - 360*a11**2*a13*a23**2*b12**4*kap**2*m3 -
90*a13*a23**2*b12**6*kap**3*m3) + u2*u3**3*v3*(120*a11**3*a13**3*a23*b12**2*kap*
m3 + 480*a11**3*a13*a23**3*b12**2*kap*m3 + 120*a11*a13**3*a23*b12**4*kap**2*m3 +
480*a11*a13*a23**3*b12**4*kap**2*m3) + u2*u3**3*(240*a11**4*a13**3*a23*kap*m3**
2 + 3840*a11**2*a13**5*a23*kap*m3**2 + 3840*a11**2*a13**3*a23**3*kap*m3**2 + 240
*a11**2*a13**3*a23*b12**2*kap**2*m3**2) + u2*u3**2*v1*v2*( - 180*a11**2*a13*a23
**3*b12**3*kap*m3 - 180*a13*a23**3*b12**5*kap**2*m3) + u2*u3**2*v1*v3*( - 180*
a11**3*a13*a23**2*b12**3*kap*m3 - 1440*a11*a13*a23**4*b12**3*kap*m3 - 180*a11*
a13*a23**2*b12**5*kap**2*m3) + u2*u3**2*v2**2*(180*a11**2*a13**2*a23**2*b12**3*
kap*m3 + 180*a13**2*a23**2*b12**5*kap**2*m3) + 1440*u2*u3**2*v2*v3*a11*a13**2*
a23**3*b12**3*kap*m3 + u2*u3**2*v2*( - 240*a11**4*a13**2*a23*b12*kap*m3**2 -
3840*a11**2*a13**4*a23*b12*kap*m3**2 - 3840*a11**2*a13**2*a23**3*b12*kap*m3**2 -
240*a11**2*a13**2*a23*b12**3*kap**2*m3**2) + u2*u3**2*v3**2*( - 180*a11**2*a13
**2*a23**2*b12**3*kap*m3 - 180*a13**2*a23**2*b12**5*kap**2*m3) + u2*u3*v1**2*v2*
(90*a11**2*a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u2*u3*v1
*v2*( - 180*a11**2*a13**2*a23**2*b12**2*kap*m3**2 - 180*a13**2*a23**2*b12**4*kap
**2*m3**2) + u2*u3*v2**3*(90*a11**2*a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12
**6*kap**2*m3) + u2*u3*v2**2*( - 180*a11**2*a13*a23**3*b12**2*kap*m3**2 - 180*
a13*a23**3*b12**4*kap**2*m3**2) + u2*u3*v2*v3**2*(90*a11**2*a13*a23**2*b12**4*
kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u2*u3*v2*v3*( - 180*a11**3*a13*a23**2
*b12**2*kap*m3**2 - 180*a11*a13*a23**2*b12**4*kap**2*m3**2) + u2*u3*v2*( - 90*
a11**2*a13*a23**2*b12**2*kap**2*m3**3 - 90*a13*a23**2*b12**4*kap**3*m3**3) + u3
**6*(15*a11**5*a13*a23**2*b12**2*kap - 480*a11**3*a13**3*a23**2*b12**2*kap - 480
*a11**3*a13*a23**4*b12**2*kap + 30*a11**3*a13*a23**2*b12**4*kap**2 - 480*a11*a13
**3*a23**2*b12**4*kap**2 - 480*a11*a13*a23**4*b12**4*kap**2 + 15*a11*a13*a23**2*
b12**6*kap**3) + u3**5*v1*(360*a11**3*a13*a23**3*b12**3*kap + 360*a11*a13*a23**3
*b12**5*kap**2) + u3**5*v2*( - 360*a11**3*a13**2*a23**2*b12**3*kap - 360*a11*a13
**2*a23**2*b12**5*kap**2) + u3**5*(52*a11**5*a13**2*a23*b12*kap*m3 + 4*a11**5*
a23**3*b12*kap*m3 + 480*a11**3*a13**4*a23*b12*kap*m3 + 336*a11**3*a13**2*a23**3*
b12*kap*m3 + 62*a11**3*a13**2*a23*b12**3*kap**2*m3 - 144*a11**3*a23**5*b12*kap*
m3 + 8*a11**3*a23**3*b12**3*kap**2*m3 - 192*a11*a13**4*a23*b12**3*kap**2*m3 -
336*a11*a13**2*a23**3*b12**3*kap**2*m3 + 10*a11*a13**2*a23*b12**5*kap**3*m3 -
144*a11*a23**5*b12**3*kap**2*m3 + 4*a11*a23**3*b12**5*kap**3*m3) + u3**4*v1**2*(
- 45*a11**3*a13*a23**2*b12**4*kap - 720*a11*a13**3*a23**2*b12**4*kap - 45*a11*
a13*a23**2*b12**6*kap**2) - 1440*u3**4*v1*v2*a11*a13**2*a23**3*b12**4*kap + u3**
4*v1*(480*a11**3*a13**2*a23**2*b12**2*kap*m3 + 120*a11**3*a23**4*b12**2*kap*m3 +
480*a11*a13**2*a23**2*b12**4*kap**2*m3 + 120*a11*a23**4*b12**4*kap**2*m3) + u3
**4*v2**2*( - 45*a11**3*a13*a23**2*b12**4*kap - 720*a11*a13*a23**4*b12**4*kap -
45*a11*a13*a23**2*b12**6*kap**2) + u3**4*v2*( - 120*a11**3*a13**3*a23*b12**2*kap
*m3 + 240*a11**3*a13*a23**3*b12**2*kap*m3 - 120*a11*a13**3*a23*b12**4*kap**2*m3
+ 240*a11*a13*a23**3*b12**4*kap**2*m3) + u3**4*v3**2*( - 45*a11**3*a13*a23**2*
b12**4*kap - 45*a11*a13*a23**2*b12**6*kap**2) + u3**4*v3*( - 270*a11**4*a13*a23
**2*b12**2*kap*m3 - 1440*a11**2*a13**3*a23**2*b12**2*kap*m3 - 1440*a11**2*a13*
a23**4*b12**2*kap*m3 - 360*a11**2*a13*a23**2*b12**4*kap**2*m3 - 90*a13*a23**2*
b12**6*kap**3*m3) + u3**4*( - 30*a11**5*a13**3*kap*m3**2 - 480*a11**3*a13**5*kap
*m3**2 - 480*a11**3*a13**3*a23**2*kap*m3**2 - 30*a11**3*a13**3*b12**2*kap**2*m3
**2 + 45*a11**3*a13*a23**2*b12**2*kap**2*m3**2 + 45*a11*a13*a23**2*b12**4*kap**3
*m3**2) + u3**3*v1**2*( - 5*a11**3*a13**2*a23*b12**3*kap*m3 - 20*a11**3*a23**3*
b12**3*kap*m3 + 240*a11*a13**4*a23*b12**3*kap*m3 + 1680*a11*a13**2*a23**3*b12**3
*kap*m3 - 5*a11*a13**2*a23*b12**5*kap**2*m3 - 20*a11*a23**3*b12**5*kap**2*m3) +
u3**3*v1*v2*( - 1440*a11*a13**3*a23**2*b12**3*kap*m3 + 1440*a11*a13*a23**4*b12**
3*kap*m3) + u3**3*v1*v3*( - 180*a11**2*a13*a23**3*b12**3*kap*m3 - 180*a13*a23**3
*b12**5*kap**2*m3) + u3**3*v1*(120*a11**3*a13**3*a23*b12*kap*m3**2 + 120*a11**3*
a13*a23**3*b12*kap*m3**2 + 120*a11*a13**3*a23*b12**3*kap**2*m3**2 + 120*a11*a13*
a23**3*b12**3*kap**2*m3**2) + u3**3*v2**2*( - 5*a11**3*a13**2*a23*b12**3*kap*m3
- 20*a11**3*a23**3*b12**3*kap*m3 + 240*a11*a13**4*a23*b12**3*kap*m3 - 1200*a11*
a13**2*a23**3*b12**3*kap*m3 - 5*a11*a13**2*a23*b12**5*kap**2*m3 - 20*a11*a23**3*
b12**5*kap**2*m3) + u3**3*v2*v3*(180*a11**2*a13**2*a23**2*b12**3*kap*m3 + 180*
a13**2*a23**2*b12**5*kap**2*m3) + u3**3*v2*(120*a11**3*a13**2*a23**2*b12*kap*m3
**2 + 120*a11**3*a23**4*b12*kap*m3**2 + 120*a11*a13**2*a23**2*b12**3*kap**2*m3**
2 + 120*a11*a23**4*b12**3*kap**2*m3**2) + u3**3*v3**2*( - 5*a11**3*a13**2*a23*
b12**3*kap*m3 - 20*a11**3*a23**3*b12**3*kap*m3 + 240*a11*a13**4*a23*b12**3*kap*
m3 + 240*a11*a13**2*a23**3*b12**3*kap*m3 - 5*a11*a13**2*a23*b12**5*kap**2*m3 -
20*a11*a23**3*b12**5*kap**2*m3) + u3**3*v3*( - 160*a11**4*a13**2*a23*b12*kap*m3
**2 - 40*a11**4*a23**3*b12*kap*m3**2 - 1920*a11**2*a13**4*a23*b12*kap*m3**2 -
1920*a11**2*a13**2*a23**3*b12*kap*m3**2 - 160*a11**2*a13**2*a23*b12**3*kap**2*m3
**2 - 40*a11**2*a23**3*b12**3*kap**2*m3**2) + u3**3*(20*a11**3*a13**2*a23*b12*
kap**2*m3**3 + 20*a11**3*a23**3*b12*kap**2*m3**3 + 20*a11*a13**2*a23*b12**3*kap
**3*m3**3 + 20*a11*a23**3*b12**3*kap**3*m3**3) + u3**2*v1**2*v3*(90*a11**2*a13*
a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u3**2*v1**2*( - 360*a11
**3*a13**3*a23**2*m3**2 - 360*a11**3*a13*a23**4*m3**2 - 360*a11*a13**3*a23**2*
b12**2*kap*m3**2 - 1080*a11*a13*a23**4*b12**2*kap*m3**2) + 1440*u3**2*v1*v2*a11*
a13**2*a23**3*b12**2*kap*m3**2 + u3**2*v1*v3*( - 180*a11**2*a13**2*a23**2*b12**2
*kap*m3**2 - 180*a13**2*a23**2*b12**4*kap**2*m3**2) + u3**2*v2**2*v3*(90*a11**2*
a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) + u3**2*v2**2*(360*
a11**3*a13**3*a23**2*m3**2 + 360*a11**3*a13*a23**4*m3**2 - 360*a11*a13**3*a23**2
*b12**2*kap*m3**2 + 360*a11*a13*a23**4*b12**2*kap*m3**2) + u3**2*v2*v3*( - 180*
a11**2*a13*a23**3*b12**2*kap*m3**2 - 180*a13*a23**3*b12**4*kap**2*m3**2) + u3**2
*v3**3*(90*a11**2*a13*a23**2*b12**4*kap*m3 + 90*a13*a23**2*b12**6*kap**2*m3) +
u3**2*v3*( - 90*a11**2*a13*a23**2*b12**2*kap**2*m3**3 - 90*a13*a23**2*b12**4*kap
**3*m3**3)$