Solution 9 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
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
1
---*n2*r341
2
r29=-------------
b12
r210=0
r211=0
r212=0
r213=0
1 2 4 1 5
---*a11 *n2 *r6154 + ---*b12 *kap*n2*r341
3 2
r214=-------------------------------------------
6
b12 *kap
r215=0
r217=0
r218=0
r219=0
1
---*n2*r341
2
r220=-------------
b12
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
r316=0
r317=0
r318= - r341
r319=0
r320=0
r321=0
r322=0
r323=0
r324=0
r325=0
r326=0
r327=0
r328=0
1 3 3 5 5
- ---*a11 *n2 *r6154 + a11*b12 *kap*r341 - b12 *kap*n2*r4117
3
r329=---------------------------------------------------------------
6
b12 *kap
r330=0
r331=0
2 2 3 5
- ---*a11 *n2 *r6154 - b12 *kap*r341
3
r332=---------------------------------------
5
b12 *kap
r333=0
46299 5 3 168611 3 2 3
r334=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 7 2
+ ----*a11 *b12 *kap*n2*r4117 + a11*b12 *kap *r341
17
1979 4 2 3 18 7 2 8 2
+ ------*a11*b12 *kap *n2 *r6154 + ----*b12 *kap *n2*r4117)/(b12 *kap )
2040 17
r335=0
r336=0
r337=0
r338=0
r339=0
r340=0
r342=0
r343=0
r344=0
r345=0
2 2 3 5
---*a11 *n2 *r6154 + b12 *kap*r341
3
r346=------------------------------------
5
b12 *kap
r347=0
r348=0
r349=0
r350=0
r351=0
r352=0
r353=0
a11*r341 - n2*r4117
r354=---------------------
b12
r355=0
r40=0
r41=0
r42=0
r43=0
r44=0
r45=0
r46=0
r47=0
r48=0
r49=0
r410=0
r411=0
r412=0
r413=0
r415=0
r416=0
r417=0
r418=0
r419=0
r420=0
r421=0
r423=0
r424=0
r426=0
1 2 2
- ---*a11 *n2 *r6154
3
r427=-----------------------
4
b12 *kap
r428=0
r429=0
29 4 3 4 2 2 3
r430=( - -----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
190 285
1 7 2 1 4 2 3 6 2
+ ---*b12 *kap *r341 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
2 2
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r431=-------------------------------------------------------------
4
417895124916*b12 *kap
r432=0
r433=0
29 6 3 443 4 2 3
r434=(-----*a11 *n2 *r6154 - ------*a11 *b12 *kap*n2 *r6154
190 1140
1 2 7 2 4 2 4 2 3
- ---*a11 *b12 *kap *r341 + ----*a11 *b12 *kap *n2 *r6154
2 95
1 7 2 1 9 3
- ---*a11*b12 *kap *n2*r4117 - ---*b12 *kap *r341
2 2
2 6 3 3 8 2
+ ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
2 2 2
---*a11 *n2 *r6154
3
r446=--------------------
4
b12 *kap
r447=0
r448=0
r449=0
r450=0
r451=0
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r452=-------------------------------------------------------------
4
417895124916*b12 *kap
5 3 3 5 5
---*a11 *n2 *r6154 - a11*b12 *kap*r341 + 3*b12 *kap*n2*r4117
3
r453=--------------------------------------------------------------
5
b12 *kap*n2
r454=0
2
n2 *r6154
r455=-----------
2
b12
r456=0
1 2 2 2 2
---*a11 *n2 *r6154 + b12 *kap*n2 *r6154
3
r457=-----------------------------------------
4
b12 *kap
r458=0
r459=0
1 2 3 1 5 2 3
---*a11 *n2 *r6154 + ---*b12 *kap*r341 + b12 *kap*n2 *r6154
3 2
r460=-------------------------------------------------------------
4
b12 *kap*n2
2 2 2 2
34530297631*a11 *n2 *r6286 - 294296112*b12 *kap*n2 *r6286
r461=-----------------------------------------------------------
4
139298374972*b12 *kap
r462=0
r463=0
700917 6 3 1128149 4 2 3
r464=(--------*a11 *n2 *r6154 + ---------*a11 *b12 *kap*n2 *r6154
64600 129200
105 3 5 1 2 7 2
- -----*a11 *b12 *kap*n2*r4117 + ---*a11 *b12 *kap *r341
34 2
293411 2 4 2 3 112 7 2
- --------*a11 *b12 *kap *n2 *r6154 - -----*a11*b12 *kap *n2*r4117
77520 17
1 6 3 3 8 2
- ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r465=0
2 2 2 2
34530297631*a11 *n2 *r6286 - 294296112*b12 *kap*n2 *r6286
r466=-----------------------------------------------------------
4
139298374972*b12 *kap
138897 5 3 247433 3 2 3
r467=(--------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
105 2 5 7 2
- -----*a11 *b12 *kap*n2*r4117 - a11*b12 *kap *r341
17
1979 4 2 3 54 7 2 7 2
- ------*a11*b12 *kap *n2 *r6154 - ----*b12 *kap *n2*r4117)/(b12 *kap *n2
680 17
)
r468=0
138897 6 3 182833 4 2 3
r469=( - --------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
105 3 5 1 2 7 2
+ -----*a11 *b12 *kap*n2*r4117 + ---*a11 *b12 *kap *r341
17 2
1979 2 4 2 3 54 7 2
+ ------*a11 *b12 *kap *n2 *r6154 + ----*a11*b12 *kap *n2*r4117
680 17
6 3 3 8 2
+ b12 *kap *n2 *r6154)/(b12 *kap *n2)
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
29 4 3 8 2 2 3 7 2
r483=(----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154 - b12 *kap *r341
95 285
4 2 3 6 2
- b12 *kap *n2 *r6154)/(b12 *kap *n2)
r484=0
r485=0
r486=0
1 3 2 5
- ---*a11 *n2 *r6154 - b12 *kap*r4117
3
r487=----------------------------------------
5
b12 *kap
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r488=-------------------------------------------------------------
4
417895124916*b12 *kap
r489=0
r490=0
r491=0
r492=0
r493=0
- b12*r341
r494=-------------
n2
r495=0
4 3 3 5 5
- ---*a11 *n2 *r6154 + a11*b12 *kap*r341 - 2*b12 *kap*n2*r4117
3
r496=-----------------------------------------------------------------
5
b12 *kap*n2
r497=0
r498=0
r499=0
r4100=0
138897 5 3 247433 3 2 3
r4101=( - --------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
105 2 5 7 2
+ -----*a11 *b12 *kap*n2*r4117 + a11*b12 *kap *r341
17
1979 4 2 3 54 7 2 7 2
+ ------*a11*b12 *kap *n2 *r6154 + ----*b12 *kap *n2*r4117)/(b12 *kap
680 17
*n2)
2 2 2 2
34530297631*a11 *n2 *r6286 - 294296112*b12 *kap*n2 *r6286
r4102=-----------------------------------------------------------
4
139298374972*b12 *kap
r4103=0
r4104=0
87 6 2 13 4 2 2
r4105=( - ----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
95 190
289 2 4 2 2 1 6 3 2 8 3
+ -----*a11 *b12 *kap *n2 *r6154 + ---*b12 *kap *n2 *r6154)/(b12 *kap )
285 2
r4106=0
r4108=0
r4109=0
87 6 3 4 4 2 3
r4110=( - -----*a11 *n2 *r6154 + ----*a11 *b12 *kap*n2 *r6154
190 95
1 2 4 2 3 1 9 3 8 3
+ ---*a11 *b12 *kap *n2 *r6154 - ---*b12 *kap *r341)/(b12 *kap *n2)
2 2
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r4111=-------------------------------------------------------------
4
417895124916*b12 *kap
r4112=0
r4113=0
29 6 3 269 4 2 3
r4114=(----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
95 285
1 2 7 2 8 2 4 2 3
- ---*a11 *b12 *kap *r341 + ----*a11 *b12 *kap *n2 *r6154
2 95
3 7 2 1 9 3
- ---*a11*b12 *kap *n2*r4117 - ---*b12 *kap *r341
2 2
4 6 3 3 8 2
+ ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r4115=0
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r4116=-------------------------------------------------------------
4
417895124916*b12 *kap
r4118=0
4553 6 3 4177 4 2 3
r4119=(------*a11 *n2 *r6154 + ------*a11 *b12 *kap*n2 *r6154
190 190
2 7 2 1609 2 4 2 3
+ a11 *b12 *kap *r341 - ------*a11 *b12 *kap *n2 *r6154
285
7 2 1 9 3
- 4*a11*b12 *kap *n2*r4117 + ---*b12 *kap *r341
2
1 6 3 3 8 2
- ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r4120=0
87 5 2 8 3 2 2
r4121=(----*a11 *n2 *r6154 - ----*a11 *b12 *kap*n2 *r6154
95 95
4 2 2 7 2 7 2
- a11*b12 *kap *n2 *r6154 - b12 *kap *r4117)/(b12 *kap )
2 2 2 2
34530297631*a11 *n2 *r6286 - 69943483598*b12 *kap*n2 *r6286
r4122=-------------------------------------------------------------
4
417895124916*b12 *kap
r4123=0
r4124=0
29 6 2 269 4 2 2
r4125=(-----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
190 570
4 2 4 2 2 7 2
+ ----*a11 *b12 *kap *n2 *r6154 - a11*b12 *kap *r4117
95
2 6 3 2 8 2
+ ---*b12 *kap *n2 *r6154)/(b12 *kap )
3
r50=0
r51=0
r52=0
r53=0
r54=0
r55=0
r56=0
r57=0
r58=0
r59=0
r510=0
r511=0
r512=0
r513=0
r514=0
r515=0
r516=0
r517=0
r518=0
r519=0
r520=0
r521=0
r522=0
r523=0
r524=0
r525=0
r526=0
r527=0
r528=0
r529=0
r530=0
r531=0
r532=0
r533=0
r534=0
r535=0
r536=0
r537=0
r538=0
r539=0
29 4 8 2 2 4 2
----*a11 *n2*r6154 - -----*a11 *b12 *kap*n2*r6154 - b12 *kap *n2*r6154
95 285
r540=------------------------------------------------------------------------
5 2
b12 *kap
r541=0
29 4 8 2 2 4 2
----*a11 *n2*r6154 - -----*a11 *b12 *kap*n2*r6154 - b12 *kap *n2*r6154
95 285
r542=------------------------------------------------------------------------
5 2
b12 *kap
r543=0
r544=0
29 4 8 2 2 4 2
----*a11 *n2*r6154 - -----*a11 *b12 *kap*n2*r6154 - b12 *kap *n2*r6154
95 285
r545=------------------------------------------------------------------------
5 2
b12 *kap
r546=0
r547=0
r548=0
2 2
- 34530297631*a11 *n2*r6286 + 69943483598*b12 *kap*n2*r6286
r549=--------------------------------------------------------------
3
208947562458*b12 *kap
r550=0
r551=0
r552=0
r553=0
58 6 3 87 4 2 3
r554=( - ----*a11 *n2 *r6154 + ----*a11 *b12 *kap*n2 *r6154
95 95
2 2 7 2 8 2 4 2 3
+ ---*a11 *b12 *kap *r341 - ----*a11 *b12 *kap *n2 *r6154
3 57
7 2 2 9 3 5 6 3 3
+ a11*b12 *kap *n2*r4117 + ---*b12 *kap *r341 - ---*b12 *kap *n2 *r6154)/
3 3
7 2 2
(b12 *kap *n2 )
r555=0
r556=0
r557=0
r558=0
r559=0
r560=0
r561=0
r562=0
r563=0
r564=0
r565=0
r566=0
r567=0
r568=0
r569=0
r570=0
r571=0
r572=0
r573=0
r574=0
r575=0
r576=0
r577=0
r578=0
r579=0
r580=0
r581
29 5 8 3 2 4 2
- ----*a11 *n2*r6154 + -----*a11 *b12 *kap*n2*r6154 + a11*b12 *kap *n2*r6154
95 285
=-------------------------------------------------------------------------------
6 2
b12 *kap
r582=0
56159 5 2 44851 3 2 2
r583=(-------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 433 4 2 2
- ----*a11 *b12 *kap*r4117 - -----*a11*b12 *kap *n2 *r6154
17 680
35 7 2 6 2
- ----*b12 *kap *r4117)/(b12 *kap *n2)
17
r584=0
2 2
- 34530297631*a11 *n2*r6286 + 69943483598*b12 *kap*n2*r6286
r585=--------------------------------------------------------------
3
208947562458*b12 *kap
4 3 2 2 2 5
- ---*a11 *n2 *r6154 + 2*a11*b12 *kap*n2 *r6154 - 3*b12 *kap*r4117
3
r586=---------------------------------------------------------------------
4
b12 *kap*n2
3 2
- 34530297631*a11 *n2*r6286 - 139004078860*a11*b12 *kap*n2*r6286
r587=-------------------------------------------------------------------
4
208947562458*b12 *kap
r588=0
r589=0
225923 7 3 262909 5 2 3
r590=( - --------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
129200 96900
105 4 5 5 3 7 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
68 6
616919 3 4 2 3 193 2 7 2
- --------*a11 *b12 *kap *n2 *r6154 - -----*a11 *b12 *kap *n2*r4117
775200 136
5 9 3 881 6 3 3
- ---*a11*b12 *kap *r341 + -----*a11*b12 *kap *n2 *r6154
6 480
9 9 3 8 2 2
+ ---*b12 *kap *n2*r4117)/(b12 *kap *n2 )
8
r591=0
r592=0
r593=0
r594=0
- 2*n2*r6154
r595=---------------
b12
r596=0
- 2*n2*r6154
r597=---------------
b12
r598=0
r599=0
- 2*n2*r6154
r5100=---------------
b12
r5101=0
66019 5 2 50291 3 2 2
r5102=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 2 5 1113 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 340
70 7 2 6 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2)
17
r5103=0
2 2
- 34530297631*a11 *n2*r6286 + 294296112*b12 *kap*n2*r6286
r5104=------------------------------------------------------------
3
69649187486*b12 *kap
r5105=0
r5106=0
r5107=0
3 2
- 34530297631*a11 *n2*r6286 - 139004078860*a11*b12 *kap*n2*r6286
r5108=-------------------------------------------------------------------
4
208947562458*b12 *kap
736499 6 2 3898469 4 2 2
r5109=( - --------*a11 *n2 *r6154 - ---------*a11 *b12 *kap*n2 *r6154
32300 193800
35 3 5 28573 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 7752
154 7 2 6 3 2 7 2
+ -----*a11*b12 *kap *r4117 - b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
r5110=0
2*a11*n2*r6154
r5111=----------------
2
b12
r5112=0
66019 5 2 50291 3 2 2
r5113=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 2473 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 680
35 7 2 6 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2)
17
r5114=0
2 2
- 34530297631*a11 *n2*r6286 + 294296112*b12 *kap*n2*r6286
r5115=------------------------------------------------------------
3
69649187486*b12 *kap
138897 5 2 39411 3 2 2
r5116=( - --------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 2 5 3339 4 2 2
+ -----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 680
54 7 2 6 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2)
17
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5117=-------------------------------------------------------------
4
69649187486*b12 *kap
r5118=0
r5119=0
371411 7 2 1145674 5 2 2
r5120=(--------*a11 *n2 *r6154 + ---------*a11 *b12 *kap*n2 *r6154
24225 72675
70 4 5 2870647 3 4 2 2
- ----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *n2 *r6154
17 581400
485 2 7 2 287 6 3 2
- -----*a11 *b12 *kap *r4117 - -----*a11*b12 *kap *n2 *r6154
51 408
71 9 3 8 2
- ----*b12 *kap *r4117)/(b12 *kap *n2)
51
r5121=0
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5122=-------------------------------------------------------------
4
69649187486*b12 *kap
138897 6 2 39411 4 2 2
r5123=(--------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
16150 32300
210 3 5 1979 2 4 2 2
- -----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *n2 *r6154
17 340
108 7 2 6 3 2 7 2
- -----*a11*b12 *kap *r4117 - 2*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
r5124=0
138897 7 2 39411 5 2 2
r5125=( - --------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 4 5 1979 3 4 2 2
+ -----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *n2 *r6154
17 680
54 2 7 2 6 3 2 8 2
+ ----*a11 *b12 *kap *r4117 + 2*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
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
29 4 8 2 2 4 2
- ----*a11 *n2*r6154 + -----*a11 *b12 *kap*n2*r6154 + b12 *kap *n2*r6154
95 285
=---------------------------------------------------------------------------
5 2
b12 *kap
r5142=0
r5143
29 4 8 2 2 4 2
- ----*a11 *n2*r6154 + -----*a11 *b12 *kap*n2*r6154 + b12 *kap *n2*r6154
95 285
=---------------------------------------------------------------------------
5 2
b12 *kap
r5144=0
r5145=0
r5146=0
r5147=0
r5148
29 4 8 2 2 4 2
- ----*a11 *n2*r6154 + -----*a11 *b12 *kap*n2*r6154 + b12 *kap *n2*r6154
95 285
=---------------------------------------------------------------------------
5 2
b12 *kap
r5149=0
r5150=0
2 2
34530297631*a11 *n2*r6286 - 69943483598*b12 *kap*n2*r6286
r5151=-----------------------------------------------------------
3
208947562458*b12 *kap
r5152=0
r5153=0
r5154=0
232 5 2 64 3 2 2
r5155=(-----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
95 285
4 2 2 7 2 6 2
- 4*a11*b12 *kap *n2 *r6154 + 2*b12 *kap *r4117)/(b12 *kap *n2)
2 2
- 34530297631*a11 *n2*r6286 + 69943483598*b12 *kap*n2*r6286
r5156=--------------------------------------------------------------
3
208947562458*b12 *kap
58 6 3 87 4 2 3
r5157=(----*a11 *n2 *r6154 - ----*a11 *b12 *kap*n2 *r6154
95 95
2 2 7 2 8 2 4 2 3
- ---*a11 *b12 *kap *r341 + ----*a11 *b12 *kap *n2 *r6154
3 57
7 2 2 9 3 5 6 3 3
- a11*b12 *kap *n2*r4117 - ---*b12 *kap *r341 + ---*b12 *kap *n2 *r6154)
3 3
7 2 2
/(b12 *kap *n2 )
r5158=0
r5159=0
r5160=0
r5161=0
2*n2*r6154
r5162=------------
b12
r5163=0
2*n2*r6154
r5164=------------
b12
r5165=0
r5166=0
r5167=0
r5168=0
2*n2*r6154
r5169=------------
b12
r5170=0
r5171=0
2 2
69060595262*a11 *n2*r6286 - 35413185967*b12 *kap*n2*r6286
r5172=-----------------------------------------------------------
3
104473781229*b12 *kap
r5173=0
2 3
- 4*a11*n2 *r6154 + 4*b12 *r4117
r5174=-----------------------------------
2
b12 *n2
r5175=0
r5176=0
r5177=0
700917 6 2 1257349 4 2 2
r5178=(--------*a11 *n2 *r6154 + ---------*a11 *b12 *kap*n2 *r6154
32300 64600
105 3 5 267571 2 4 2 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 38760
156 7 2 2 6 3 2 7 2
- -----*a11*b12 *kap *r4117 - ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17 3
3 2
- 34530297631*a11 *n2*r6286 - 139004078860*a11*b12 *kap*n2*r6286
r5179=-------------------------------------------------------------------
4
208947562458*b12 *kap
r5180=0
r5181=0
r5182=0
2 2
34530297631*a11 *n2*r6286 - 294296112*b12 *kap*n2*r6286
r5183=---------------------------------------------------------
3
69649187486*b12 *kap
r5184=0
36439 5 2 33971 3 2 2
r5185=(-------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
8075 48450
140 2 5 433 4 2 2
- -----*a11 *b12 *kap*r4117 - -----*a11*b12 *kap *n2 *r6154
17 170
38 7 2 6 2
- ----*b12 *kap *r4117)/(b12 *kap *n2)
17
2 2
- 34530297631*a11 *n2*r6286 + 294296112*b12 *kap*n2*r6286
r5186=------------------------------------------------------------
3
69649187486*b12 *kap
17791 6 2 63211 4 2 2
r5187=(-------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 3 5 62353 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 19380
2 7 2 5 6 3 2 7 2
+ ----*a11*b12 *kap *r4117 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17 3
r5188=0
r5189=0
r5190=0
r5191=0
138897 6 2 39411 4 2 2
r5192=( - --------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 32300
210 3 5 1979 2 4 2 2
+ -----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *n2 *r6154
17 340
108 7 2 6 3 2 7 2
+ -----*a11*b12 *kap *r4117 + 2*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5193=-------------------------------------------------------------
4
69649187486*b12 *kap
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
116 5 2 32 3 2 2 7 2
-----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154 - 2*b12 *kap *r4117
95 285
r5207=--------------------------------------------------------------------------
6 2
b12 *kap *n2
r5208=0
2 2
34530297631*a11 *n2*r6286 - 69943483598*b12 *kap*n2*r6286
r5209=-----------------------------------------------------------
3
208947562458*b12 *kap
r5210=0
r5211=0
r5212=0
r5213=0
58 6 2 451 4 2 2
r5214=( - ----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
95 285
8 2 4 2 2 7 2
- ----*a11 *b12 *kap *n2 *r6154 + 2*a11*b12 *kap *r4117
57
5 6 3 2 7 2
- ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r5215=0
2*a11*n2*r6154
r5216=----------------
2
b12
r5217=0
56159 5 2 44851 3 2 2
r5218=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 2 5 1113 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 340
36 7 2 6 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2)
17
r5219=0
2 2
34530297631*a11 *n2*r6286 - 294296112*b12 *kap*n2*r6286
r5220=---------------------------------------------------------
3
69649187486*b12 *kap
58 5 2 16 3 2 2 7 2
----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154 + b12 *kap *r4117
95 285
r5221=-----------------------------------------------------------------------
6 2
b12 *kap *n2
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5222=-------------------------------------------------------------
4
69649187486*b12 *kap
r5223=0
r5224=0
227637 7 3 105857 5 2 3
r5225=(--------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 25840
105 4 5 2 3 7 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
17 3
1120187 3 4 2 3 539 2 7 2
- ---------*a11 *b12 *kap *n2 *r6154 - -----*a11 *b12 *kap *n2*r4117
193800 68
2 9 3 601 6 3 3
- ---*a11*b12 *kap *r341 + -----*a11*b12 *kap *n2 *r6154
3 240
5 9 3 8 2 2
+ ---*b12 *kap *n2*r4117)/(b12 *kap *n2 )
4
r5226=0
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5227=-------------------------------------------------------------
4
69649187486*b12 *kap
83274 6 2 24867 4 2 2
r5228=(-------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
8075 16150
140 3 5 63169 2 4 2 2
- -----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *n2 *r6154
17 9690
72 7 2 6 3 2 7 2
- ----*a11*b12 *kap *r4117 - 2*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
r5229=0
268963 7 2 253223 5 2 2
r5230=( - --------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
175 4 5 320867 3 4 2 2
+ -----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *n2 *r6154
17 64600
90 2 7 2 6 3 2 8 2
+ ----*a11 *b12 *kap *r4117 + 4*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
58 6 2 451 4 2 2
r5237=(----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
95 285
8 2 4 2 2 7 2
+ ----*a11 *b12 *kap *n2 *r6154 - 2*a11*b12 *kap *r4117
57
5 6 3 2 7 2
+ ---*b12 *kap *n2 *r6154)/(b12 *kap *n2)
3
r5238=0
r5239=0
r5240=0
r5241=0
536 6 2 28361 4 2 2
r5242=(------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
8075 48450
140 3 5 46651 2 4 2 2
+ -----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *n2 *r6154
17 9690
72 7 2 6 3 2 7 2
+ ----*a11*b12 *kap *r4117 + 2*b12 *kap *n2 *r6154)/(b12 *kap *n2)
17
3 2
34530297631*a11 *n2*r6286 - 294296112*a11*b12 *kap*n2*r6286
r5243=-------------------------------------------------------------
4
69649187486*b12 *kap
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
r5249=0
66019 7 2 397861 5 2 2
r5250=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
16150 193800
70 4 5 101179 3 4 2 2
+ ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *n2 *r6154
17 32300
55 2 7 2 199 6 3 2
+ ----*a11 *b12 *kap *r4117 + -----*a11*b12 *kap *n2 *r6154
34 120
1 9 3 8 2
- ---*b12 *kap *r4117)/(b12 *kap *n2)
2
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
29 4 4 2 2 1 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - ---*b12 *kap *r6154
190 285 2
r649=--------------------------------------------------------------------
4 2
b12 *kap
r650=0
29 4 8 2 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154
95 285
r651=------------------------------------------------
4 2
b12 *kap
r652=0
87 4 4 2 2 1 4 2
- -----*a11 *r6154 + ----*a11 *b12 *kap*r6154 + ---*b12 *kap *r6154
190 95 2
r653=----------------------------------------------------------------------
4 2
b12 *kap
r654=0
r655=0
r656=0
r657=0
r659=0
58 4 16 2 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + b12 *kap *r6154
95 285
r660=------------------------------------------------------------------
4 2
b12 *kap
r661=0
r662=0
29 4 4 2 2 1 4 2
- -----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + ---*b12 *kap *r6154
190 285 2
r663=-----------------------------------------------------------------------
4 2
b12 *kap
r665=0
2 2
- 34530297631*a11 *r6286 - 34530297631*b12 *kap*r6286
r666=--------------------------------------------------------
2
208947562458*b12 *kap
r667=0
r668=0
r669=0
r670=0
34530297631 2 34971741799 2
--------------*a11 *r6286 - --------------*b12 *kap*r6286
417895124916 208947562458
r671=-----------------------------------------------------------
2
b12 *kap
r672=0
r673=0
269 4 3 1 2 5
r674=(-----*a11 *n2 *r6154 - ---*a11 *b12 *kap*r341
570 6
8 2 2 3 1 7 2
- -----*a11 *b12 *kap*n2 *r6154 - ---*b12 *kap *r341
285 6
2 4 2 3 4 3
- ---*b12 *kap *n2 *r6154)/(b12 *kap*n2 )
3
r675=0
66019 6 3 17929 4 2 3
r676=(-------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
64600 20400
35 3 5 1 2 7 2
- ----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
34 6
18971 2 4 2 3 35 7 2
- -------*a11 *b12 *kap *n2 *r6154 - ----*a11*b12 *kap *n2*r4117
25840 34
1 9 3 6 3 3 6 2 3
- ---*b12 *kap *r341 + b12 *kap *n2 *r6154)/(b12 *kap *n2 )
6
r677=0
r678=0
601 4 3 1 2 5
r679=( - -----*a11 *n2 *r6154 - ---*a11 *b12 *kap*r341
570 6
32 2 2 3 1 5
+ -----*a11 *b12 *kap*n2 *r6154 - ---*a11*b12 *kap*n2*r4117
285 2
1 7 2 4 2 3 4 3
- ---*b12 *kap *r341 + b12 *kap *n2 *r6154)/(b12 *kap*n2 )
6
r680=0
r681=0
r682=0
647759 8 3 119069 6 2 3
r683=( - --------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
775200 387600
35 5 5 1 4 7 2
+ -----*a11 *b12 *kap*n2*r4117 + ----*a11 *b12 *kap *r341
408 12
148993 4 4 2 3 223 3 7 2
- ---------*a11 *b12 *kap *n2 *r6154 + -----*a11 *b12 *kap *n2*r4117
1550400 816
5 2 9 3 12893 2 6 3 3
+ ----*a11 *b12 *kap *r341 - -------*a11 *b12 *kap *n2 *r6154
36 54720
3 9 3 1 11 4
+ ----*a11*b12 *kap *n2*r4117 + ----*b12 *kap *r341
16 18
1 8 4 3 8 2 3
+ ----*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
18
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
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6106=------------------------------------------------------------------
4 2
b12 *kap
r6107=0
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6108=------------------------------------------------------------------
4 2
b12 *kap
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6115=------------------------------------------------------------------
4 2
b12 *kap
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
2 2
34530297631*a11 *r6286 + 34530297631*b12 *kap*r6286
r6121=-----------------------------------------------------
2
104473781229*b12 *kap
r6122=0
2 2
- 34530297631*a11 *r6286 - 34530297631*b12 *kap*r6286
r6123=--------------------------------------------------------
2
208947562458*b12 *kap
58 5 16 3 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154
95 285
r6124=------------------------------------------------
5 2
b12 *kap
r6125=0
85739 5 2 61171 3 2 2
r6126=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 1113 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 680
35 7 2 5 2 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6127=0
2 2
34530297631*a11 *r6286 - 69943483598*b12 *kap*r6286
r6128=-----------------------------------------------------
2
417895124916*b12 *kap
174 5 2 16 3 2 2 7 2
- -----*a11 *n2 *r6154 + ----*a11 *b12 *kap*n2 *r6154 + b12 *kap *r4117
95 95
r6129=--------------------------------------------------------------------------
5 2 2
b12 *kap *n2
r6130=0
66019 6 2 523571 4 2 2
r6131=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 3 5 54737 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 38760
35 7 2 10 6 3 2 6 2 2
+ ----*a11*b12 *kap *r4117 - ----*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17 3
r6132=0
3 2
- 34530297631*a11 *r6286 + 69943483598*a11*b12 *kap*r6286
r6133=------------------------------------------------------------
3
208947562458*b12 *kap
r6134=0
r6135=0
r6136=0
r6137=0
29941 7 3 138789 5 2 3
r6138=(-------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
6800 64600
35 4 5 1 3 7 2
- ----*a11 *b12 *kap*n2*r4117 + ---*a11 *b12 *kap *r341
68 6
586621 3 4 2 3 87 2 7 2
- --------*a11 *b12 *kap *n2 *r6154 - -----*a11 *b12 *kap *n2*r4117
775200 136
1 9 3 27 6 3 3
+ ---*a11*b12 *kap *r341 - -----*a11*b12 *kap *n2 *r6154
6 160
9 9 3 7 2 3
- ---*b12 *kap *n2*r4117)/(b12 *kap *n2 )
8
r6139=0
r6140=0
r6141=0
58 4 16 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - b12 *kap *r6154
95 285
r6142=---------------------------------------------------------------
4 2
b12 *kap
r6143=0
58 4 16 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - b12 *kap *r6154
95 285
r6144=---------------------------------------------------------------
4 2
b12 *kap
r6145=0
r6146=0
r6147=0
r6148=0
r6149=r6154
r6150=0
58 4 16 2 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154
95 285
r6151=---------------------------------------------
4 2
b12 *kap
r6152=0
r6153=0
r6155=0
r6156=0
2 2
34530297631*a11 *r6286 + 34530297631*b12 *kap*r6286
r6157=-----------------------------------------------------
2
69649187486*b12 *kap
r6158=0
r6159=0
66019 5 2 50291 3 2 2
r6160=(-------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 2 5 1113 4 2 2
- ----*a11 *b12 *kap*r4117 - ------*a11*b12 *kap *n2 *r6154
17 340
70 7 2 5 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6161=0
2 2
34530297631*a11 *r6286 - 294296112*b12 *kap*r6286
r6162=---------------------------------------------------
2
139298374972*b12 *kap
r6163=0
r6164=0
29 6 1 4 2 8 2 4 2
----*a11 *r6154 - ---*a11 *b12 *kap*r6154 + -----*a11 *b12 *kap *r6154
95 3 285
r6165=------------------------------------------------------------------------
6 2
b12 *kap
r6166=0
85739 6 2 57149 4 2 2
r6167=(-------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
64600 387600
35 3 5 65617 2 4 2 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *n2 *r6154
34 77520
35 7 2 2 6 3 2 6 2 2
- ----*a11*b12 *kap *r4117 - ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
34 3
r6168=0
3 2
- 34530297631*a11 *r6286 + 69943483598*a11*b12 *kap*r6286
r6169=------------------------------------------------------------
3
208947562458*b12 *kap
111461 6 2 425651 4 2 2
r6170=(--------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
64600 387600
35 3 5 54737 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
34 77520
42 7 2 4 6 3 2 6 2 2
- ----*a11*b12 *kap *r4117 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17 3
4 2 2
r6171=( - 34530297631*a11 *r6286 - 208064674122*a11 *b12 *kap*r6286
4 2 4
- 69060595262*b12 *kap *r6286)/(417895124916*b12 *kap)
r6172=0
r6173=0
436841 8 3 368591 6 2 3
r6174=( - --------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
129200 387600
35 5 5 1 4 7 2
- ----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
68 6
750851 4 4 2 3 125 3 7 2
- --------*a11 *b12 *kap *n2 *r6154 - -----*a11 *b12 *kap *n2*r4117
775200 136
1 2 9 3 29221 2 6 3 3
- ---*a11 *b12 *kap *r341 - -------*a11 *b12 *kap *n2 *r6154
3 51680
13 9 3 1 11 4
+ -----*a11*b12 *kap *n2*r4117 - ---*b12 *kap *r341
136 6
8 4 3 8 2 3
+ b12 *kap *n2 *r6154)/(b12 *kap *n2 )
r6175=0
r6176=0
r6177=0
2 2
34530297631*a11 *r6286 + 34530297631*b12 *kap*r6286
r6178=-----------------------------------------------------
2
208947562458*b12 *kap
- 2*a11*r6154
r6179=----------------
b12
r6180=0
66019 5 2 50291 3 2 2
r6181=(-------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 2473 4 2 2
- ----*a11 *b12 *kap*r4117 - ------*a11*b12 *kap *n2 *r6154
17 680
35 7 2 5 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6182=0
2 2
34530297631*a11 *r6286 - 294296112*b12 *kap*r6286
r6183=---------------------------------------------------
2
139298374972*b12 *kap
46299 5 2 13137 3 2 2
r6184=(-------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
32300 64600
35 2 5 6059 4 2 2
- ----*a11 *b12 *kap*r4117 - ------*a11*b12 *kap *n2 *r6154
17 2040
18 7 2 5 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6185=0
66019 6 2 168611 4 2 2
r6186=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
16150 96900
70 3 5 12253 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 3876
70 7 2 6 3 2 6 2 2
+ ----*a11*b12 *kap *r4117 - 2*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6187=0
3 2
- 34530297631*a11 *r6286 + 294296112*a11*b12 *kap*r6286
r6188=----------------------------------------------------------
3
69649187486*b12 *kap
r6189=0
r6190=0
r6191=0
4
r6192=( - 269850719365609007*a11 *r6286
2 2
- 2575338207549259687*a11 *b12 *kap*r6286
4 2 4
- 917503157141395760*b12 *kap *r6286)/(5551937324169019680*b12 *kap)
28191 5 2 6109 3 2 2
r6193=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
6460 12920
69 2 5 347 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 2040
1 7 2 5 2
+ ----*b12 *kap *r4117)/(b12 *kap*n2 )
17
r6194=0
2
a11 *r6154
r6195=------------
2
b12
r6196=0
66019 6 2 168611 4 2 2
r6197=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 3 5 20005 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 7752
35 7 2 6 3 2 6 2 2
+ ----*a11*b12 *kap *r4117 - b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6198=0
3 2
- 34530297631*a11 *r6286 + 294296112*a11*b12 *kap*r6286
r6199=----------------------------------------------------------
3
69649187486*b12 *kap
138897 6 2 39411 4 2 2
r6200=( - --------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 3 5 2659 2 4 2 2
+ -----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *n2 *r6154
17 680
54 7 2 6 3 2 6 2 2
+ ----*a11*b12 *kap *r4117 + b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6201=--------------------------------------------------------
4
139298374972*b12 *kap
r6202=0
r6203=0
12057 8 2 429541 6 2 2
r6204=(-------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 129200
35 5 5 643411 4 4 2 2
- ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
34 387600
61 3 7 2 8615 2 6 3 2
- ----*a11 *b12 *kap *r4117 - ------*a11 *b12 *kap *n2 *r6154
17 7752
18 9 3 1 8 4 2 8 2 2
- ----*a11*b12 *kap *r4117 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17 2
r6205=0
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6206=--------------------------------------------------------
4
139298374972*b12 *kap
138897 7 2 39411 5 2 2
r6207=(--------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 4 5 1979 3 4 2 2
- -----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *n2 *r6154
17 680
54 2 7 2 6 3 2 7 2 2
- ----*a11 *b12 *kap *r4117 - 2*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6208=0
46299 8 2 13137 6 2 2
r6209=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
35 5 5 1979 4 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *n2 *r6154
17 2040
18 3 7 2 2 6 3 2 8 2 2
+ ----*a11 *b12 *kap *r4117 + a11 *b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
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
58 4 16 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6236=-----------------------------------------------------------------
4 2
b12 *kap
r6237=0
58 4 16 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6238=-----------------------------------------------------------------
4 2
b12 *kap
r6239=0
r6240=0
r6242=0
58 4 16 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*b12 *kap *r6154
95 285
r6243=-----------------------------------------------------------------
4 2
b12 *kap
r6244=0
r6245=0
r6246=0
r6248=0
66019 5 2 50291 3 2 2
r6249=(-------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 1113 4 2 2
- ----*a11 *b12 *kap*r4117 - ------*a11*b12 *kap *n2 *r6154
17 680
35 7 2 5 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
2 2
- 34530297631*a11 *r6286 + 69943483598*b12 *kap*r6286
r6250=--------------------------------------------------------
2
208947562458*b12 *kap
r6251=0
2 2
- 34530297631*a11 *r6286 - 34530297631*b12 *kap*r6286
r6252=--------------------------------------------------------
2
208947562458*b12 *kap
r6253=0
116 5 2 32 3 2 2 7 2
-----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154 - b12 *kap *r4117
95 285
r6254=------------------------------------------------------------------------
5 2 2
b12 *kap *n2
2 2
34530297631*a11 *r6286 - 69943483598*b12 *kap*r6286
r6255=-----------------------------------------------------
2
417895124916*b12 *kap
r6256=0
3 2
- 34530297631*a11 *r6286 - 34530297631*a11*b12 *kap*r6286
r6257=------------------------------------------------------------
3
104473781229*b12 *kap
r6258=0
58 4 2 16 2 2 2 5
r6259=(----*a11 *n2 *r6154 - ----*a11 *b12 *kap*n2 *r6154 + a11*b12 *kap*r4117
19 57
10 4 2 2 4 2
- ----*b12 *kap *n2 *r6154)/(b12 *kap*n2 )
3
r6260=0
r6261=0
r6262=0
304803 7 3 174169 5 2 3
r6263=( - --------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
129200 96900
105 4 5 1 3 7 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
68 6
725719 3 4 2 3 57 2 7 2
- --------*a11 *b12 *kap *n2 *r6154 - -----*a11 *b12 *kap *n2*r4117
775200 136
1 9 3 27 6 3 3
- ---*a11*b12 *kap *r341 + -----*a11*b12 *kap *n2 *r6154
6 160
9 9 3 7 2 3
+ ---*b12 *kap *n2*r4117)/(b12 *kap *n2 )
8
r6264=0
r6265=0
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 4*b12 *kap *r6154
95 285
r6272=------------------------------------------------------------------
4 2
b12 *kap
r6273=0
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 4*b12 *kap *r6154
95 285
r6274=------------------------------------------------------------------
4 2
b12 *kap
r6275=0
r6276=0
r6277=0
r6278=0
116 4 32 2 2 4 2
-----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 4*b12 *kap *r6154
95 285
r6279=------------------------------------------------------------------
4 2
b12 *kap
r6280=0
58 5 16 3 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154
95 285
r6281=---------------------------------------------
5 2
b12 *kap
r6282=0
56159 5 2 44851 3 2 2
r6283=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 2 5 1113 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 340
70 7 2 5 2 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6284=0
r6285=0
r6287=0
58 5 2 16 3 2 2 7 2
----*a11 *n2 *r6154 - ----*a11 *b12 *kap*n2 *r6154 - 2*b12 *kap *r4117
19 57
r6288=------------------------------------------------------------------------
5 2 2
b12 *kap *n2
r6289=0
r6290=0
3 2
34530297631*a11 *r6286 - 294296112*a11*b12 *kap*r6286
r6291=-------------------------------------------------------
3
69649187486*b12 *kap
r6292=0
3 2
- 34530297631*a11 *r6286 - 34530297631*a11*b12 *kap*r6286
r6293=------------------------------------------------------------
3
104473781229*b12 *kap
r6294=0
66019 6 2 68029 4 2 2
r6295=( - -------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 3 5 65617 2 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 19380
121 7 2 6 3 2 6 2 2
+ -----*a11*b12 *kap *r4117 - 4*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
3 2
- 34530297631*a11 *r6286 + 69943483598*a11*b12 *kap*r6286
r6296=------------------------------------------------------------
3
208947562458*b12 *kap
66019 7 2 68029 5 2 2
r6297=( - -------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 4 5 65617 3 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 38760
18 2 7 2 7 2 2
+ ----*a11 *b12 *kap *r4117)/(b12 *kap *n2 )
17
r6298=0
r6299=0
r6300=0
r6301=0
2*a11*r6154
r6302=-------------
b12
r6303=0
66019 5 2 50291 3 2 2
r6304=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 2 5 2473 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 680
35 7 2 5 2 2
+ ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6305=0
r6306=0
r6286
r6307=-------
2
r6308=0
361 5 2 929 3 2 2
r6309=( - ------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
1700 10200
35 2 5 1113 4 2 2
+ ----*a11 *b12 *kap*r4117 + ------*a11*b12 *kap *n2 *r6154
17 680
16 7 2 5 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
2 2
34530297631*a11 *r6286 - 294296112*b12 *kap*r6286
r6310=---------------------------------------------------
2
139298374972*b12 *kap
r6311=0
3 2
34530297631*a11 *r6286 - 294296112*a11*b12 *kap*r6286
r6312=-------------------------------------------------------
3
34824593743*b12 *kap
r6313=0
17791 6 2 25529 4 2 2
r6314=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 3 5 12797 2 4 2 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *n2 *r6154
17 3876
2 7 2 6 3 2 6 2 2
- ----*a11*b12 *kap *r4117 - 2*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6315=0
r6316=0
r6317=0
12057 7 2 34207 5 2 2
r6318=(-------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
8075 8075
70 4 5 145753 3 4 2 2
- ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 38760
105 2 7 2 2387 6 3 2
- -----*a11 *b12 *kap *r4117 - ------*a11*b12 *kap *n2 *r6154
17 2040
1 9 3 7 2 2
- ----*b12 *kap *r4117)/(b12 *kap *n2 )
17
4 2 2
r6319=( - 138121190524*a11 *r6286 - 310772678679*a11 *b12 *kap*r6286
4 2 4
- 68177706926*b12 *kap *r6286)/(417895124916*b12 *kap)
r6320=0
r6321=0
r6322=0
3 2
34530297631*a11 *r6286 - 294296112*a11*b12 *kap*r6286
r6323=-------------------------------------------------------
3
69649187486*b12 *kap
r6324=0
36439 6 2 25189 4 2 2
r6325=(-------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
8075 48450
140 3 5 25769 2 4 2 2
- -----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *n2 *r6154
17 9690
38 7 2 6 3 2 6 2 2
- ----*a11*b12 *kap *r4117 - 4*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
3 2
- 34530297631*a11 *r6286 + 294296112*a11*b12 *kap*r6286
r6326=----------------------------------------------------------
3
69649187486*b12 *kap
21649 7 2 6029 5 2 2
r6327=( - -------*a11 *n2 *r6154 + ------*a11 *b12 *kap*n2 *r6154
16150 5100
70 4 5 20603 3 4 2 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 6460
36 2 7 2 7 2 2
+ ----*a11 *b12 *kap *r4117)/(b12 *kap *n2 )
17
r6328=0
r6329=0
3 2
- 188900859205088873*a11 *r6286 - 188900859205088873*a11*b12 *kap*r6286
r6330=--------------------------------------------------------------------------
3
5551937324169019680*b12
r6331=0
138897 7 2 39411 5 2 2
r6332=( - --------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 4 5 1979 3 4 2 2
+ -----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *n2 *r6154
17 680
54 2 7 2 6 3 2 7 2 2
+ ----*a11 *b12 *kap *r4117 + 2*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6333=--------------------------------------------------------
4
139298374972*b12 *kap
r6334=0
r6335=0
r6336=0
r6337=0
29 4 8 2 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + b12 *kap *r6154
95 285
r6338=------------------------------------------------------------------
4 2
b12 *kap
r6339=0
29 4 8 2 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + b12 *kap *r6154
95 285
r6340=------------------------------------------------------------------
4 2
b12 *kap
r6341=0
r6342=0
r6343=0
r6344=0
29 4 8 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - b12 *kap *r6154
95 285
r6345=---------------------------------------------------------------
4 2
b12 *kap
r6346=0
r6348=0
r6349=0
29 4 8 2 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - b12 *kap *r6154
95 285
r6350=---------------------------------------------------------------
4 2
b12 *kap
r6351=0
r6352=0
r6354=0
r6355=0
116 5 2 32 3 2 2
r6356=(-----*a11 *n2 *r6154 - -----*a11 *b12 *kap*n2 *r6154
95 285
4 2 2 7 2 5 2 2
- 4*a11*b12 *kap *n2 *r6154 + 2*b12 *kap *r4117)/(b12 *kap *n2 )
r6357=0
34530297631 2 34971741799 2
- --------------*a11 *r6286 + -------------*b12 *kap*r6286
139298374972 69649187486
r6358=-------------------------------------------------------------
2
b12 *kap
r6359=0
r6360=0
29 6 8 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154
95 285
r6361=---------------------------------------------
6 2
b12 *kap
r6362=0
168477 6 2 53749 4 2 2
r6363=(--------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 3 5 195763 2 4 2 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 38760
105 7 2 4 6 3 2 6 2 2
- -----*a11*b12 *kap *r4117 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17 3
r6364=0
3 2
- 34530297631*a11 *r6286 - 34530297631*a11*b12 *kap*r6286
r6365=------------------------------------------------------------
3
104473781229*b12 *kap
29 6 2 308 4 2 2
r6366=(----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
19 285
32 2 4 2 2 1 7 2
- -----*a11 *b12 *kap *n2 *r6154 - ---*a11*b12 *kap *r4117
285 2
2 6 3 2 6 2 2
- ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
3
4 2 2
r6367=( - 34530297631*a11 *r6286 - 104473781229*a11 *b12 *kap*r6286
4 2 4
- 69943483598*b12 *kap *r6286)/(417895124916*b12 *kap)
r6368=0
r6369=0
436841 8 3 152941 6 2 3
r6370=( - --------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
129200 77520
35 5 5 1 4 7 2
- ----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
68 6
886909 4 4 2 3 15 3 7 2
- --------*a11 *b12 *kap *n2 *r6154 + -----*a11 *b12 *kap *n2*r4117
775200 136
1 2 9 3 2563 2 6 3 3
- ---*a11 *b12 *kap *r341 + ------*a11 *b12 *kap *n2 *r6154
3 9120
5 9 3 1 11 4 8 4 3
+ ---*a11*b12 *kap *n2*r4117 - ---*b12 *kap *r341 + b12 *kap *n2 *r6154
8 6
8 2 3
)/(b12 *kap *n2 )
r6371=0
r6372=0
r6373=0
r6374=0
58 5 16 3 2 4 2
----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - 2*a11*b12 *kap *r6154
95 285
r6375=---------------------------------------------------------------------
5 2
b12 *kap
r6376=0
2
2*b12 *r4117
r6377=--------------
2
n2
r6378=0
2 2
- 34530297631*a11 *r6286 + 69943483598*b12 *kap*r6286
r6379=--------------------------------------------------------
2
139298374972*b12 *kap
2
- b12 *r4117
r6380=---------------
2
n2
r6381=0
41369 6 2 125431 4 2 2
r6382=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
8075 48450
140 3 5 20603 2 4 2 2
+ -----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 3230
106 7 2 6 3 2 6 2 2
+ -----*a11*b12 *kap *r4117 - 2*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6383=0
3 2
34530297631*a11 *r6286 - 294296112*a11*b12 *kap*r6286
r6384=-------------------------------------------------------
3
69649187486*b12 *kap
r6385=0
r6386=0
r6387=0
4 2 2
r6388=(34530297631*a11 *r6286 - 882888336*a11 *b12 *kap*r6286
4 2 4
- 35413185967*b12 *kap *r6286)/(208947562458*b12 *kap)
66019 7 2 248467 5 2 2
r6389=( - -------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
32300 193800
35 4 5 344677 3 4 2 2
+ ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *n2 *r6154
17 193800
69 2 7 2 259 6 3 2 7 2
+ ----*a11 *b12 *kap *r4117 - -----*a11*b12 *kap *n2 *r6154)/(b12 *kap
17 60
2
*n2 )
r6390=0
29 6 8 4 2 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + 2*a11 *b12 *kap *r6154
95 285
r6391=-------------------------------------------------------------------------
6 2
b12 *kap
r6392=0
129037 6 2 171953 4 2 2
r6393=( - --------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 193800
105 3 5 22343 2 4 2 2
+ -----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *n2 *r6154
17 7752
71 7 2 6 2 2
+ ----*a11*b12 *kap *r4117)/(b12 *kap *n2 )
17
r6394=0
3 2
34530297631*a11 *r6286 - 294296112*a11*b12 *kap*r6286
r6395=-------------------------------------------------------
3
69649187486*b12 *kap
101601 6 2 5657 4 2 2
r6396=(--------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
35 3 5 247727 2 4 2 2
+ ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 38760
35 7 2 6 2 2
+ ----*a11*b12 *kap *r4117)/(b12 *kap *n2 )
17
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6397=--------------------------------------------------------
4
139298374972*b12 *kap
r6398=0
r6399=0
12057 8 2 47897 6 2 2
r6400=(-------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 6460
35 5 5 1272493 4 4 2 2
- ----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *n2 *r6154
17 387600
105 3 7 2 202909 2 6 3 2
- -----*a11 *b12 *kap *r4117 - --------*a11 *b12 *kap *n2 *r6154
34 77520
8 9 3 8 4 2 8 2 2
+ ----*a11*b12 *kap *r4117 + b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6401=0
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6402=--------------------------------------------------------
4
139298374972*b12 *kap
79737 7 2 10909 5 2 2
r6403=(-------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
32300 64600
105 4 5 117581 3 4 2 2
- -----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *n2 *r6154
17 38760
54 2 7 2 6 3 2 7 2 2
- ----*a11 *b12 *kap *r4117 - 4*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
r6404=0
36439 8 2 4391 6 2 2
r6405=( - -------*a11 *n2 *r6154 + -------*a11 *b12 *kap*n2 *r6154
16150 96900
70 5 5 41 4 4 2 2
+ ----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *n2 *r6154
17 1292
36 3 7 2 2 6 3 2 8 2 2
+ ----*a11 *b12 *kap *r4117 + 3*a11 *b12 *kap *n2 *r6154)/(b12 *kap *n2
17
)
r6406=0
58 5 16 3 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + 2*a11*b12 *kap *r6154
95 285
r6407=------------------------------------------------------------------------
5 2
b12 *kap
r6408=0
r6410=0
r6411=0
r6412=0
r6413=0
2
b12 *r4117
r6414=------------
2
n2
2 2
- 34530297631*a11 *r6286 + 69943483598*b12 *kap*r6286
r6415=--------------------------------------------------------
2
417895124916*b12 *kap
r6416=0
r6417=0
r6418=0
116 6 2 142 4 2 2
r6419=(-----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
95 285
1156 2 4 2 2 7 2
- ------*a11 *b12 *kap *n2 *r6154 + 2*a11*b12 *kap *r4117
285
6 3 2 6 2 2
- 2*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
r6420=0
r6421=0
r6422=0
198057 7 2 188817 5 2 2
r6423=(--------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
32300 25840
105 4 5 1095707 3 4 2 2
- -----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *n2 *r6154
17 193800
335 2 7 2 199 6 3 2
- -----*a11 *b12 *kap *r4117 - -----*a11*b12 *kap *n2 *r6154
68 240
5 9 3 7 2 2
+ ---*b12 *kap *r4117)/(b12 *kap *n2 )
4
4 2 2
r6424=( - 34530297631*a11 *r6286 - 104473781229*a11 *b12 *kap*r6286
4 2 4
- 69943483598*b12 *kap *r6286)/(417895124916*b12 *kap)
r6425=0
r6426=0
r6427=0
r6428=0
r6429=0
232 6 2 412 4 2 2
r6430=( - -----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
95 285
2248 2 4 2 2 7 2
+ ------*a11 *b12 *kap *n2 *r6154 + 2*a11*b12 *kap *r4117
285
6 3 2 6 2 2
- 4*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
r6431=0
24382 7 2 144301 5 2 2
r6432=( - -------*a11 *n2 *r6154 + --------*a11 *b12 *kap*n2 *r6154
8075 96900
70 4 5 100297 3 4 2 2
+ ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *n2 *r6154
17 19380
36 2 7 2 7 2 2
+ ----*a11 *b12 *kap *r4117)/(b12 *kap *n2 )
17
r6433=0
r6434=0
5 3 2
r6435=( - 34530297631*a11 *r6286 - 34236001519*a11 *b12 *kap*r6286
4 2 5
+ 294296112*a11*b12 *kap *r6286)/(139298374972*b12 *kap)
r6436=0
10717 7 2 613 5 2 2
r6437=( - -------*a11 *n2 *r6154 - -------*a11 *b12 *kap*n2 *r6154
32300 10200
105 4 5 196189 3 4 2 2
+ -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 38760
54 2 7 2 6 3 2 7 2 2
+ ----*a11 *b12 *kap *r4117 + 4*a11*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
17
4 2 2
34530297631*a11 *r6286 - 294296112*a11 *b12 *kap*r6286
r6438=--------------------------------------------------------
4
139298374972*b12 *kap
r6439=0
r6440=0
29 6 8 4 2 2 4 2
- ----*a11 *r6154 + -----*a11 *b12 *kap*r6154 + a11 *b12 *kap *r6154
95 285
r6441=-----------------------------------------------------------------------
6 2
b12 *kap
r6442=0
29 6 127 4 2 1417 2 4 2
r6443=(----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - ------*a11 *b12 *kap *r6154
19 285 285
6 3 6 2
+ b12 *kap *r6154)/(b12 *kap )
r6444=0
r6445=0
29 6 2 79 4 2 2
r6446=(----*a11 *n2 *r6154 + -----*a11 *b12 *kap*n2 *r6154
95 285
293 2 4 2 2 7 2
- -----*a11 *b12 *kap *n2 *r6154 + a11*b12 *kap *r4117
285
6 3 2 6 2 2
- b12 *kap *n2 *r6154)/(b12 *kap *n2 )
r6447=0
r6448=0
r6449=0
66019 8 2 4512389 6 2 2
r6450=(-------*a11 *n2 *r6154 + ---------*a11 *b12 *kap*n2 *r6154
32300 1550400
35 5 5 100819 4 4 2 2
- ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 48450
611 3 7 2 16159 2 6 3 2
- -----*a11 *b12 *kap *r4117 + -------*a11 *b12 *kap *n2 *r6154
272 18240
3 9 3 1 8 4 2 8 2 2
- ----*a11*b12 *kap *r4117 + ---*b12 *kap *n2 *r6154)/(b12 *kap *n2 )
16 2
r6451=0
r6452=0
174 7 74 5 2
r6453=( - -----*a11 *r6154 + ----*a11 *b12 *kap*r6154
95 95
1694 3 4 2 6 3 7 2
+ ------*a11 *b12 *kap *r6154 - 2*a11*b12 *kap *r6154)/(b12 *kap )
285
r6454=0
48443 8 2 280927 6 2 2
r6455=(-------*a11 *n2 *r6154 - --------*a11 *b12 *kap*n2 *r6154
96900 581400
35 5 5 424397 4 4 2 2
+ ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *n2 *r6154
17 116280
18 3 7 2 2 6 3 2 8 2 2
+ ----*a11 *b12 *kap *r4117 + 3*a11 *b12 *kap *n2 *r6154)/(b12 *kap *n2
17
)
r6456=0
174 7 74 5 2 1694 3 4 2
r6457=(-----*a11 *r6154 - ----*a11 *b12 *kap*r6154 - ------*a11 *b12 *kap *r6154
95 95 285
6 3 7 2
+ 2*a11*b12 *kap *r6154)/(b12 *kap )
r6458=0
r6459=0
r6460=0
58 8 103 6 2 562 4 4 2
r6461=(----*a11 *r6154 - -----*a11 *b12 *kap*r6154 - -----*a11 *b12 *kap *r6154
95 285 285
2 6 3 8 2
+ a11 *b12 *kap *r6154)/(b12 *kap )
m3=0
m2=0
m1=0
n3=0
n1=0
1
a33=---*a11
2
a23=0
a22=a11
a13=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r341, r4117, r6154, r6286, a11, n2, 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.
{n2,b12,r6286,a11}
Relevance for the application:
Modulo the following equation:
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2 2
2*u1 *a11 + 2*u1*v2*b12 + 2*u2 *a11 - 2*u2*v1*b12 + 2*u2*n2 + u3 *a11
HAM=-----------------------------------------------------------------------
2
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
3 2 4 2 3
FI=u1 *u2 *v1*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap) +
3 2 5 3 2
u1 *u2*u3 *( - 1376254735712093640*a11 - 1364525140381932360*a11 *b12 *kap
4 2 3
+ 11729595330161280*a11*b12 *kap ) + u1 *u2*v1
3 3 3
*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2) + u1
2 4 2 3
*u3 *v1*( - 458751578570697880*a11 *b12 - 1387984331042254920*a11 *b12 *kap
5 2
- 929232752471557040*b12 *kap )
3 3 2 3 5
+ u1 *v1 *( - 458751578570697880*a11 *b12 + 929232752471557040*b12 *kap)
3 2 2 3 2
+ u1 *v1*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 )
2 3
+ u1 *u2 *v2
4 2 3 2 2
*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap) + u1 *u2
4 2 3 2
*u3*v3*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap) + u1
2 3 2 4
*u2 *v1*v2*(2752509471424187280*a11 *b12 - 23459190660322560*a11*b12 *kap) +
2 2
u1 *u2 *v2
3 3 2
*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2) + u1
2 4 2 3
*u2*u3 *v2*(917503157141395760*a11 *b12 - 23459190660322560*a11 *b12 *kap
5 2 2
- 940962347801718320*b12 *kap ) + u1 *u2*u3*v1*v3
3 2 4 2
*(2752509471424187280*a11 *b12 - 23459190660322560*a11*b12 *kap) + u1 *u2*u3
3 3
*v3*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2) +
2 2
u1 *u2*v1 *v2
2 3 5 2
*( - 1376254735712093640*a11 *b12 + 2787698257414671120*b12 *kap) + u1 *u2
2 2 4
*v1*v2*(2752509471424187280*a11 *b12 *n2 - 23459190660322560*b12 *kap*n2) +
2 2 2 3 2
u1 *u2*v2*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 )
2 3 4
+ u1 *u3 *v3*( - 458751578570697880*a11 *b12
2 3 5 2 2
- 1387984331042254920*a11 *b12 *kap - 929232752471557040*b12 *kap ) + u1
2
*u3 *v1*v2
3 2 4 2
*( - 1835006314282791520*a11 *b12 - 1835006314282791520*a11*b12 *kap) + u1
2 2 3 5
*u3*v1 *v3*( - 1376254735712093640*a11 *b12 + 2787698257414671120*b12 *kap)
2
+ u1 *u3*v1*v3
2 2 4 2
*(917503157141395760*a11 *b12 *n2 - 1858465504943114080*b12 *kap*n2) + u1 *u3
2 2 3 2
*v3*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 )
4 4 2 3
+ u1*u2 *v1*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap)
3 2
+ u1*u2 *u3
3 2 4 2
*( - 188900859205088873*a11 *b12 *kap - 188900859205088873*a11*b12 *kap ) +
3 2
u1*u2 *v1
3 2 4 3
*( - 2752509471424187280*a11 *b12 + 23459190660322560*a11*b12 *kap) + u1*u2
3 3
*v1*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2) +
3 2 3 2 4
u1*u2 *v2 *(2752509471424187280*a11 *b12 - 23459190660322560*a11*b12 *kap) +
2 2 4
u1*u2 *u3 *v1*( - 1835006314282791520*a11 *b12
2 3 5 2
- 4128764207136280920*a11 *b12 *kap - 905773561811234480*b12 *kap ) + u1
2
*u2 *u3*v2*v3
3 2 4
*(5505018942848374560*a11 *b12 - 46918381320645120*a11*b12 *kap)
2 3 2 3 5
+ u1*u2 *v1 *(1376254735712093640*a11 *b12 - 11729595330161280*b12 *kap) +
2 2
u1*u2 *v1
2 2 4
*( - 2752509471424187280*a11 *b12 *n2 + 23459190660322560*b12 *kap*n2)
2 2 5 2
+ 2775968662084509840*u1*u2 *v1*v2 *b12 *kap + u1*u2 *v1
2 2 3 2 2
*(1376254735712093640*a11 *b12*n2 - 11729595330161280*b12 *kap*n2 ) + u1*u2
2 2 2 4
*v2 *(2752509471424187280*a11 *b12 *n2 - 23459190660322560*b12 *kap*n2) + u1
2 2
*u2*u3 *v1
3 2 4
*( - 917503157141395760*a11 *b12 + 1858465504943114080*a11*b12 *kap) + u1*u2
2
*u3 *v1
3 3
*( - 917503157141395760*a11 *b12*n2 - 3693471819225905600*a11*b12 *kap*n2) +
2 2
u1*u2*u3 *v2
3 2 4
*( - 1835006314282791520*a11 *b12 - 1835006314282791520*a11*b12 *kap) + u1
2 2 3 2 4
*u2*u3 *v3 *(2752509471424187280*a11 *b12 - 23459190660322560*a11*b12 *kap)
5
+ 5551937324169019680*u1*u2*u3*v1*v2*v3*b12 *kap + u1*u2*u3*v2*v3
2 2 4
*(3670012628565583040*a11 *b12 *n2 - 1881924695603436640*b12 *kap*n2) + u1
3
*u3 *v2*v3
3 2 4
*( - 1835006314282791520*a11 *b12 - 1835006314282791520*a11*b12 *kap)
2 3 2 3 5
+ u1*u3 *v1 *(458751578570697880*a11 *b12 - 929232752471557040*b12 *kap) +
2 2
u1*u3 *v1
2 2 4
*( - 917503157141395760*a11 *b12 *n2 + 1858465504943114080*b12 *kap*n2) + u1
2 2 2 3 5
*u3 *v1*v2 *( - 917503157141395760*a11 *b12 - 917503157141395760*b12 *kap) +
2 2
u1*u3 *v1*v3
2 3 5 2
*( - 917503157141395760*a11 *b12 + 1858465504943114080*b12 *kap) + u1*u3 *v1
2 2 3 2 2
*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 ) + u1*u3
2 2 2 4
*v3 *(917503157141395760*a11 *b12 *n2 - 1858465504943114080*b12 *kap*n2)
5 4 2 3
+ u2 *v2*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap)
4 4 2 3
+ u2 *u3*v3*(1376254735712093640*a11 *b12 - 11729595330161280*a11 *b12 *kap)
4
+ u2 *v1*v2
3 2 4 4
*( - 2752509471424187280*a11 *b12 + 23459190660322560*a11*b12 *kap) + u2 *v2
3 3 3
*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2) + u2
2 4 2 3
*u3 *v2*( - 269850719365609007*a11 *b12 - 2575338207549259687*a11 *b12 *kap
5 2 3
- 917503157141395760*b12 *kap ) + u2 *u3*v1*v3
3 2 4 3
*( - 2752509471424187280*a11 *b12 + 23459190660322560*a11*b12 *kap) + u2 *u3
3 3
*v3*(2752509471424187280*a11 *b12*n2 - 23459190660322560*a11*b12 *kap*n2)
3 2 2 3 5
+ u2 *v1 *v2*(1376254735712093640*a11 *b12 - 11729595330161280*b12 *kap) +
3
u2 *v1*v2
2 2 4
*( - 2752509471424187280*a11 *b12 *n2 + 23459190660322560*b12 *kap*n2)
3 3 2 3 5
+ u2 *v2 *(917503157141395760*a11 *b12 + 917503157141395760*b12 *kap)
3 2 2 3 2
+ u2 *v2*(1376254735712093640*a11 *b12*n2 - 11729595330161280*b12 *kap*n2 )
2 3 4
+ u2 *u3 *v3*( - 458751578570697880*a11 *b12
2 3 5 2 2
- 2764239066754348560*a11 *b12 *kap - 917503157141395760*b12 *kap ) + u2
2
*u3 *v1*v2
3 2 4 2
*( - 917503157141395760*a11 *b12 + 1858465504943114080*a11*b12 *kap) + u2
2
*u3 *v2
3 3
*( - 917503157141395760*a11 *b12*n2 - 3693471819225905600*a11*b12 *kap*n2)
2 2 2 3 5
+ u2 *u3*v1 *v3*(1376254735712093640*a11 *b12 - 11729595330161280*b12 *kap)
2
+ u2 *u3*v1*v3
2 2 4 2
*( - 2752509471424187280*a11 *b12 *n2 + 23459190660322560*b12 *kap*n2) + u2
2 2 3 5
*u3*v2 *v3*(2752509471424187280*a11 *b12 + 2752509471424187280*b12 *kap) +
2 2 2 3 2
u2 *u3*v3*(1376254735712093640*a11 *b12*n2 - 11729595330161280*b12 *kap*n2 )
3
+ u2*u3 *v1*v3
3 2 4
*( - 917503157141395760*a11 *b12 + 1858465504943114080*a11*b12 *kap) + u2
3
*u3 *v3
3 3
*( - 917503157141395760*a11 *b12*n2 - 3693471819225905600*a11*b12 *kap*n2)
2 2 2 3 5
+ u2*u3 *v1 *v2*(458751578570697880*a11 *b12 - 929232752471557040*b12 *kap)
2
+ u2*u3 *v1*v2
2 2 4
*( - 917503157141395760*a11 *b12 *n2 + 1858465504943114080*b12 *kap*n2)
2 3 2 3 5
+ u2*u3 *v2 *( - 917503157141395760*a11 *b12 - 917503157141395760*b12 *kap)
2 2
+ u2*u3 *v2*v3
2 3 5 2
*(1835006314282791520*a11 *b12 + 1835006314282791520*b12 *kap) + u2*u3 *v2
2 2 3 2
*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 )
3 2 2 3 5
+ u3 *v1 *v3*(458751578570697880*a11 *b12 - 929232752471557040*b12 *kap) +
3
u3 *v1*v3
2 2 4
*( - 917503157141395760*a11 *b12 *n2 + 1858465504943114080*b12 *kap*n2)
3 2 2 3 5
+ u3 *v2 *v3*( - 917503157141395760*a11 *b12 - 917503157141395760*b12 *kap)
3 2 2 3 2
+ u3 *v3*(458751578570697880*a11 *b12*n2 - 929232752471557040*b12 *kap*n2 )
which the program can not factorize further.
{HAM,FI} = 0
6 8 6 2 2 4 4 3
FI=u1 *(2839680*a11 *kap - 1680960*a11 *b12 *kap - 9171840*a11 *b12 *kap
2 6 4 5 7
+ 4651200*a11 *b12 *kap ) + u1 *v2*(8519040*a11 *b12*kap
5 3 2 3 5 3
- 3623040*a11 *b12 *kap - 27646080*a11 *b12 *kap
7 4 4 2 8
+ 9302400*a11*b12 *kap ) + u1 *u2 *(2325264*a11 *kap
6 2 2 4 4 3
- 2247416*a11 *b12 *kap - 16975880*a11 *b12 *kap
2 6 4 4 7
+ 13953600*a11 *b12 *kap ) + u1 *u2*v1*( - 8519040*a11 *b12*kap
5 3 2 3 5 3
+ 3623040*a11 *b12 *kap + 27646080*a11 *b12 *kap
7 4 4 7
- 9302400*a11*b12 *kap ) + u1 *u2*( - 19013472*a11 *kap*n2
5 2 2 3 4 3
+ 9548664*a11 *b12 *kap *n2 + 14569776*a11 *b12 *kap *n2
6 4 4 2 8
+ 7713240*a11*b12 *kap *n2) + u1 *u3 *(9506736*a11 *kap
6 2 2 4 4 3
+ 13537167*a11 *b12 *kap - 9678624*a11 *b12 *kap
2 6 4 8 5 4 2
+ 4120545*a11 *b12 *kap + 2325600*b12 *kap ) + u1 *v1 *(
6 2 4 4 2 2 6 3
1419840*a11 *b12 *kap + 1289280*a11 *b12 *kap - 4781760*a11 *b12 *kap
8 4 4 2 6 2
- 4651200*b12 *kap ) + u1 *v2 *(7099200*a11 *b12 *kap
4 4 2 2 6 3 8 4
- 2072640*a11 *b12 *kap - 23125440*a11 *b12 *kap + 4651200*b12 *kap ) +
4 2
u1 *v3
6 2 4 4 2 2 6 3
*( - 1419840*a11 *b12 *kap + 130560*a11 *b12 *kap + 4651200*a11 *b12 *kap )
4 6 2 4 2 2 2
+ u1 *(709920*a11 *kap*n2 - 2195040*a11 *b12 *kap *n2
2 4 3 2 6 4 2 3 2
+ 195840*a11 *b12 *kap *n2 + 3100800*b12 *kap *n2 ) + u1 *u2 *v2*(
7 5 3 2 3 5 3
- 1543248*a11 *b12*kap - 279528*a11 *b12 *kap - 23542680*a11 *b12 *kap
7 4 3 7
+ 18604800*a11*b12 *kap ) + u1 *u2*u3*v3*( - 14044032*a11 *b12*kap
5 3 2 3 5 3 3
+ 6926448*a11 *b12 *kap + 24071280*a11 *b12 *kap ) + u1 *u2*v1*v2*(
6 2 4 4 2
- 11358720*a11 *b12 *kap + 6723840*a11 *b12 *kap
2 6 3 8 4 3
+ 36687360*a11 *b12 *kap - 18604800*b12 *kap ) + u1 *u2*v2*(
6 4 3 2
308736*a11 *b12*kap*n2 + 2722656*a11 *b12 *kap *n2
2 5 3 7 4 3 2
- 22392480*a11 *b12 *kap *n2 + 9302400*b12 *kap *n2) + u1 *u3 *v2*(
7 5 3 2 3 5 3
28520208*a11 *b12*kap + 33987060*a11 *b12 *kap - 26296968*a11 *b12 *kap
7 4 3 6 2
- 3856620*a11*b12 *kap ) + u1 *u3*v1*v3*(5679360*a11 *b12 *kap
4 4 2 2 6 3 8 4
+ 2317440*a11 *b12 *kap - 18865920*a11 *b12 *kap - 9302400*b12 *kap ) +
3 6 4 3 2
u1 *u3*v3*(2839680*a11 *b12*kap*n2 - 7360320*a11 *b12 *kap *n2
2 5 3 7 4 3 2
+ 652800*a11 *b12 *kap *n2 + 7752000*b12 *kap *n2) + u1 *v2*v3
5 3 3 5 2 7 3
*( - 2839680*a11 *b12 *kap + 261120*a11 *b12 *kap + 9302400*a11*b12 *kap ) +
3 5 2 3 3 2 2
u1 *v2*(4259520*a11 *b12*kap*n2 - 391680*a11 *b12 *kap *n2
5 3 2 2 4 8
- 4651200*a11*b12 *kap *n2 ) + u1 *u2 *( - 10494432*a11 *kap
6 2 2 4 4 3 2 6 4
+ 210768*a11 *b12 *kap - 147600*a11 *b12 *kap + 13953600*a11 *b12 *kap
2 3 7 5 3 2
) + u1 *u2 *v1*(11482128*a11 *b12*kap + 785448*a11 *b12 *kap
3 5 3 7 4 2 3
+ 14109720*a11 *b12 *kap - 18604800*a11*b12 *kap ) + u1 *u2 *(
7 5 2 2
- 38730672*a11 *kap*n2 + 6077352*a11 *b12 *kap *n2
3 4 3 6 4 2 2 2
+ 23102424*a11 *b12 *kap *n2 + 18604800*a11*b12 *kap *n2) + u1 *u2 *u3 *(
8 6 2 2 4 4 3
3472416*a11 *kap + 34485840*a11 *b12 *kap - 15269916*a11 *b12 *kap
2 6 4 8 5 2 2 2
- 12174540*a11 *b12 *kap + 4651200*b12 *kap ) + u1 *u2 *v1
6 2 4 4 2 2 6 3
*(14630544*a11 *b12 *kap + 407304*a11 *b12 *kap - 29727240*a11 *b12 *kap ) +
2 2 6 4 3 2
u1 *u2 *v1*(47965824*a11 *b12*kap*n2 - 7161696*a11 *b12 *kap *n2
2 5 3 7 4 2 2
- 30321120*a11 *b12 *kap *n2 - 9302400*b12 *kap *n2) + u1 *u2
2 6 2 4 4 2
*v2 *( - 18581328*a11 *b12 *kap + 4126872*a11 *b12 *kap
2 6 3 2 2 2
+ 13405800*a11 *b12 *kap ) + u1 *u2 *v3
6 2 4 4 2 2 6 3
*( - 1419840*a11 *b12 *kap + 130560*a11 *b12 *kap + 9302400*a11 *b12 *kap )
2 2 6 2 4 2 2 2
+ u1 *u2 *(111457440*a11 *kap*n2 + 102252960*a11 *b12 *kap *n2
2 4 3 2 6 4 2 2
- 26258880*a11 *b12 *kap *n2 - 1550400*b12 *kap *n2 ) + u1 *u2
2 7 5 3 2
*u3 *v1*( - 9506736*a11 *b12*kap - 5963208*a11 *b12 *kap
3 5 3 7 4 2 2
+ 8272248*a11 *b12 *kap - 20077680*a11*b12 *kap ) + u1 *u2*u3 *(
7 5 2 2
32779728*a11 *kap*n2 + 19054260*a11 *b12 *kap *n2
3 4 3 6 4 2
- 26884488*a11 *b12 *kap *n2 + 11647380*a11*b12 *kap *n2) + u1 *u2*u3*v2
6 2 4 4 2
*v3*( - 23828544*a11 *b12 *kap + 12041376*a11 *b12 *kap
2 6 3 8 4
+ 29668320*a11 *b12 *kap - 9302400*b12 *kap )
2 2 5 2 3 4 2 2
+ u1 *u2*v1 *(2839680*a11 *b12 *kap*n2 - 261120*a11 *b12 *kap *n2) + u1 *u2
2
*v1*v3
5 3 3 5 2 7 3
*(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 9302400*a11*b12 *kap ) +
2 2 5 2 3 4 2
u1 *u2*v2 *( - 16173792*a11 *b12 *kap*n2 + 2152848*a11 *b12 *kap *n2
6 3
+ 15225840*a11*b12 *kap *n2)
2 2 6 3 2 4 8
+ 9302400*u1 *u2*v3 *a11*b12 *kap *n2 + u1 *u3 *( - 15726276*a11 *kap
6 2 2 4 4 3
- 9176460*a11 *b12 *kap - 5321454*a11 *b12 *kap
2 6 4 8 5 2 2 2
+ 1307130*a11 *b12 *kap + 4651200*b12 *kap ) + u1 *u3 *v1 *(
6 2 4 4 2 2 6 3
7099200*a11 *b12 *kap + 5026560*a11 *b12 *kap - 522240*a11 *b12 *kap
8 4 2 2 6
- 3100800*b12 *kap ) + u1 *u3 *v1*( - 2839680*a11 *b12*kap*n2
4 3 2 2 5 3
+ 7360320*a11 *b12 *kap *n2 - 652800*a11 *b12 *kap *n2
7 4 2 2 2 6 2
- 7752000*b12 *kap *n2) + u1 *u3 *v2 *(24260688*a11 *b12 *kap
4 4 2 2 6 3 8 4
+ 3869928*a11 *b12 *kap - 23491560*a11 *b12 *kap + 6201600*b12 *kap )
2 2 2 6 2 4 4 2 2 2
+ u1 *u3 *v3 *(1419840*a11 *b12 *kap - 130560*a11 *b12 *kap ) + u1 *u3 *(
6 2 4 2 2 2
1419840*a11 *kap*n2 - 4390080*a11 *b12 *kap *n2
2 4 3 2 6 4 2 2
+ 391680*a11 *b12 *kap *n2 + 6201600*b12 *kap *n2 ) + u1 *u3*v1*v2*v3
5 3 3 5 2 7 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 18604800*a11*b12 *kap )
2 5 2 3 4 2 2
+ u1 *u3*v2*v3*(5679360*a11 *b12 *kap*n2 - 522240*a11 *b12 *kap *n2) + u1
4 4 4 2 6 2 8 3
*v1 *(1419840*a11 *b12 *kap - 130560*a11 *b12 *kap - 4651200*b12 *kap ) +
2 2 2
u1 *v1 *v3
4 4 2 6 2 8 3 2
*(1419840*a11 *b12 *kap - 130560*a11 *b12 *kap - 4651200*b12 *kap ) + u1
2 6 2 4 2 2
*v1 *( - 2129760*a11 *n2 + 195840*a11 *b12 *kap*n2
2 4 2 2 2 4
+ 2325600*a11 *b12 *kap *n2 ) + u1 *v2
4 4 2 6 2 8 3 2
*( - 1419840*a11 *b12 *kap + 130560*a11 *b12 *kap + 4651200*b12 *kap ) + u1
2 2
*v2 *v3
4 4 2 6 2 8 3 2
*( - 1419840*a11 *b12 *kap + 130560*a11 *b12 *kap + 4651200*b12 *kap ) + u1
2 6 2 4 2 2
*v3 *( - 4259520*a11 *n2 - 318240*a11 *b12 *kap*n2
2 4 2 2 6 3 2 4
+ 4716480*a11 *b12 *kap *n2 + 2325600*b12 *kap *n2 ) + u1*u2 *v2*(
7 5 3 2
- 20001168*a11 *b12*kap + 2837592*a11 *b12 *kap
3 5 3 7 4 3
+ 13536360*a11 *b12 *kap + 9302400*a11*b12 *kap ) + u1*u2 *u3*v3
7 5 3 2 3 5 3
*( - 6234912*a11 *b12*kap + 5498448*a11 *b12 *kap + 14834160*a11 *b12 *kap )
3 6 2 4 4 2
+ u1*u2 *v1*v2*(20988864*a11 *b12 *kap + 2418144*a11 *b12 *kap
2 6 3 8 4 3
- 12369120*a11 *b12 *kap - 18604800*b12 *kap ) + u1*u2 *v2*(
6 4 3 2
- 40002336*a11 *b12*kap*n2 + 5675184*a11 *b12 *kap *n2
2 5 3 7 4 2 2
+ 27072720*a11 *b12 *kap *n2 + 9302400*b12 *kap *n2) + u1*u2 *u3 *v2*(
7 5 3 2 3 5 3
6944832*a11 *b12*kap + 19703232*a11 *b12 *kap - 17490360*a11 *b12 *kap
7 4 2 6 2
- 5442360*a11*b12 *kap ) + u1*u2 *u3*v1*v3*( - 5123808*a11 *b12 *kap
4 4 2 2 6 3 8 4
+ 1225392*a11 *b12 *kap - 15356400*a11 *b12 *kap - 9302400*b12 *kap ) +
2 6 4 3 2
u1*u2 *u3*v3*(5123808*a11 *b12*kap*n2 + 3034128*a11 *b12 *kap *n2
2 5 3 7 4 2 2
+ 14964720*a11 *b12 *kap *n2 + 7752000*b12 *kap *n2) + u1*u2 *v1 *v2
5 3 3 5 2 7 3
*( - 987696*a11 *b12 *kap + 423624*a11 *b12 *kap + 7612920*a11*b12 *kap ) +
2 5 2 3 4 2
u1*u2 *v1*v2*(20988864*a11 *b12 *kap*n2 - 3261216*a11 *b12 *kap *n2
6 3 2 3
- 11846880*a11*b12 *kap *n2) + u1*u2 *v2
5 3 3 5 2 7 3
*( - 9506736*a11 *b12 *kap + 1206984*a11 *b12 *kap + 16915320*a11*b12 *kap )
2 2 7 3 2
+ 9302400*u1*u2 *v2*v3 *a11*b12 *kap + u1*u2 *v2*(
5 2 3 3 2 2
- 20001168*a11 *b12*kap*n2 + 5938392*a11 *b12 *kap *n2
5 3 2 3
+ 13536360*a11*b12 *kap *n2 ) + u1*u2*u3 *v3
7 5 3 2 3 5 3
*( - 9506736*a11 *b12*kap - 1632696*a11 *b12 *kap + 7874040*a11 *b12 *kap )
2 6 2 4 4 2
+ u1*u2*u3 *v1*v2*( - 19013472*a11 *b12 *kap - 3265392*a11 *b12 *kap
2 6 3 8 4 2
+ 15748080*a11 *b12 *kap - 18604800*b12 *kap ) + u1*u2*u3 *v2*(
6 4 3 2
100932048*a11 *b12*kap*n2 + 90529128*a11 *b12 *kap *n2
2 5 3 7 4
- 32108520*a11 *b12 *kap *n2 - 3100800*b12 *kap *n2)
2 5 3 3 5 2
+ u1*u2*u3*v1 *v3*(14198400*a11 *b12 *kap - 1305600*a11 *b12 *kap )
6 3 2
- 18604800*u1*u2*u3*v1*v3*a11*b12 *kap *n2 + u1*u2*u3*v2 *v3*(
5 3 3 5 2
- 16173792*a11 *b12 *kap + 2152848*a11 *b12 *kap
7 3
+ 15225840*a11*b12 *kap )
3 5 3 3 5 2
+ u1*u2*u3*v3 *(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap )
3 3 2 2 3
- 6201600*u1*u2*u3*v3*a11 *b12 *kap *n2 + u1*u2*v1 *v2
4 4 2 6 2 8 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 18604800*b12 *kap )
2 7 3 3
+ 9302400*u1*u2*v1 *v2*b12 *kap *n2 + u1*u2*v1*v2
4 4 2 6 2 8 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 18604800*b12 *kap ) + u1*u2
2
*v1*v2*v3
4 4 2 6 2 8 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 18604800*b12 *kap )
3 7 3 2 7 3
+ 9302400*u1*u2*v2 *b12 *kap *n2 + 9302400*u1*u2*v2*v3 *b12 *kap *n2
2 3 2 3 4 7
+ 3100800*u1*u2*v2*a11 *b12 *kap *n2 + u1*u3 *v2*( - 10972908*a11 *b12*kap
5 3 2 3 5 3 7 4
- 8360112*a11 *b12 *kap - 4354314*a11 *b12 *kap + 784890*a11*b12 *kap )
3
+ u1*u3 *v1*v3
4 4 2 2 6 3 8 4
*(14198400*a11 *b12 *kap - 1305600*a11 *b12 *kap - 15504000*b12 *kap ) + u1
3 6 4 3 2
*u3 *v3*(2839680*a11 *b12*kap*n2 - 4259520*a11 *b12 *kap *n2
2 5 3 7 4
+ 652800*a11 *b12 *kap *n2 + 7752000*b12 *kap *n2)
2 2 5 3 3 5 2 2
+ u1*u3 *v1 *v2*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap ) + u1*u3 *v1
5 2 3 4 2
*v2*(11358720*a11 *b12 *kap*n2 - 1044480*a11 *b12 *kap *n2
6 3 2 3
- 18604800*a11*b12 *kap *n2) + u1*u3 *v2
5 3 3 5 2 7 3
*(9506736*a11 *b12 *kap - 1206984*a11 *b12 *kap - 7612920*a11*b12 *kap )
2 3 3 2 2 3
- 1550400*u1*u3 *v2*a11 *b12 *kap *n2 + u1*u3*v1 *v3
4 4 2 6 2 8 3
*(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 9302400*b12 *kap ) + u1*u3
2 4 3 2 5 2
*v1 *v3*( - 1419840*a11 *b12 *kap*n2 + 130560*a11 *b12 *kap *n2
7 3 2
+ 4651200*b12 *kap *n2) + u1*u3*v1*v2 *v3
4 4 2 6 2 8 3
*(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 9302400*b12 *kap ) + u1*u3
3 4 4 2 6 2 8 3
*v1*v3 *(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 9302400*b12 *kap ) +
4 2 2 2 4 2 2
u1*u3*v1*v3*(1419840*a11 *b12 *kap*n2 - 130560*a11 *b12 *kap *n2
6 3 2 2
- 4651200*b12 *kap *n2 ) + u1*u3*v2 *v3*(
4 3 2 5 2
- 1419840*a11 *b12 *kap*n2 + 130560*a11 *b12 *kap *n2
7 3 3 4 3
+ 4651200*b12 *kap *n2) + u1*u3*v3 *( - 1419840*a11 *b12 *kap*n2
2 5 2 7 3 6
+ 130560*a11 *b12 *kap *n2 + 4651200*b12 *kap *n2) + u2 *(
8 6 2 2 4 4 3
- 6667056*a11 *kap + 945864*a11 *b12 *kap + 4512120*a11 *b12 *kap
2 6 4 5 7
+ 4651200*a11 *b12 *kap ) + u2 *v1*(20001168*a11 *b12*kap
5 3 2 3 5 3
- 2837592*a11 *b12 *kap - 13536360*a11 *b12 *kap
7 4 5 7
- 9302400*a11*b12 *kap ) + u2 *( - 20001168*a11 *kap*n2
5 2 2 3 4 3
+ 2837592*a11 *b12 *kap *n2 + 13536360*a11 *b12 *kap *n2
6 4 4 2 8
+ 9302400*a11*b12 *kap *n2) + u2 *u3 *(1736208*a11 *kap
6 2 2 4 4 3
+ 15463476*a11 *b12 *kap - 7720932*a11 *b12 *kap
2 6 4 8 5 4 2
- 5169000*a11 *b12 *kap + 2325600*b12 *kap ) + u2 *v1 *(
6 2 4 4 2
- 20001168*a11 *b12 *kap + 2837592*a11 *b12 *kap
2 6 3 8 4 4
+ 18187560*a11 *b12 *kap + 4651200*b12 *kap ) + u2 *v1*(
6 4 3 2
40002336*a11 *b12*kap*n2 - 5675184*a11 *b12 *kap *n2
2 5 3 7 4 4 2
- 27072720*a11 *b12 *kap *n2 - 9302400*b12 *kap *n2) + u2 *v2 *(
6 2 4 4 2
- 9506736*a11 *b12 *kap + 4046664*a11 *b12 *kap
2 6 3 8 4
+ 12003000*a11 *b12 *kap - 4651200*b12 *kap )
4 2 2 6 3 4 6 2
+ 4651200*u2 *v3 *a11 *b12 *kap + u2 *( - 20001168*a11 *kap*n2
4 2 2 2 2 4 3 2
+ 4387992*a11 *b12 *kap *n2 + 13536360*a11 *b12 *kap *n2
6 4 2 3 2
+ 4651200*b12 *kap *n2 ) + u2 *u3 *v1
5 3 2 3 5 3 7 4
*( - 20297520*a11 *b12 *kap + 2199240*a11 *b12 *kap + 791160*a11*b12 *kap )
3 2 7 5 2 2
+ u2 *u3 *(71310912*a11 *kap*n2 + 73323136*a11 *b12 *kap *n2
3 4 3 6 4 3
- 22965176*a11 *b12 *kap *n2 - 3271800*a11*b12 *kap *n2) + u2
6 2 4 4 2
*u3*v2*v3*( - 19013472*a11 *b12 *kap + 8093328*a11 *b12 *kap
2 6 3 8 4 3 3
+ 14703600*a11 *b12 *kap - 9302400*b12 *kap ) + u2 *v1
5 3 3 5 2 7 3
*(6667056*a11 *b12 *kap - 945864*a11 *b12 *kap - 13814520*a11*b12 *kap ) +
3 2 5 2 3 4 2
u2 *v1 *( - 20001168*a11 *b12 *kap*n2 + 2837592*a11 *b12 *kap *n2
6 3 3 2
+ 22838760*a11*b12 *kap *n2) + u2 *v1*v2
5 3 3 5 2 7 3
*(9506736*a11 *b12 *kap - 1206984*a11 *b12 *kap - 16915320*a11*b12 *kap )
3 2 7 3 3 5 2
- 9302400*u2 *v1*v3 *a11*b12 *kap + u2 *v1*(20001168*a11 *b12*kap*n2
3 3 2 2 5 3 2 3 2
- 5938392*a11 *b12 *kap *n2 - 13536360*a11*b12 *kap *n2 ) + u2 *v2 *(
5 2 3 4 2
- 9506736*a11 *b12 *kap*n2 + 1206984*a11 *b12 *kap *n2
6 3 3 2 6 3 3
+ 16915320*a11*b12 *kap *n2) + 9302400*u2 *v3 *a11*b12 *kap *n2 + u2 *(
5 3 3 2 2 3
- 6667056*a11 *kap*n2 + 4046664*a11 *b12 *kap *n2
4 3 3 2 4 8
+ 4512120*a11*b12 *kap *n2 ) + u2 *u3 *( - 15726276*a11 *kap
6 2 2 4 4 3
- 4423092*a11 *b12 *kap - 4505106*a11 *b12 *kap
2 6 4 8 5 2 2 2
- 2629890*a11 *b12 *kap + 4651200*b12 *kap ) + u2 *u3 *v1 *(
6 2 4 4 2 2 6 3
8025192*a11 *b12 *kap + 5107812*a11 *b12 *kap + 3284220*a11 *b12 *kap
8 4 2 2 6
+ 6201600*b12 *kap ) + u2 *u3 *v1*( - 106055856*a11 *b12*kap*n2
4 3 2 2 5 3
- 93563256*a11 *b12 *kap *n2 + 17143800*a11 *b12 *kap *n2
7 4 2 2 2 6 2
- 4651200*b12 *kap *n2) + u2 *u3 *v2 *(6173208*a11 *b12 *kap
4 4 2 2 6 3 8 4
+ 685788*a11 *b12 *kap - 3937020*a11 *b12 *kap - 3100800*b12 *kap ) +
2 2 2
u2 *u3 *v3
6 2 4 4 2 2 6 3
*(1419840*a11 *b12 *kap - 1550400*a11 *b12 *kap + 130560*a11 *b12 *kap ) +
2 2 6 2 4 2 2 2
u2 *u3 *(50466024*a11 *kap*n2 + 40613364*a11 *b12 *kap *n2
2 4 3 2 6 4 2 2
- 17604660*a11 *b12 *kap *n2 - 1550400*b12 *kap *n2 ) + u2 *u3*v1
*v2*v3
5 3 3 5 2 7 3
*(19013472*a11 *b12 *kap - 2413968*a11 *b12 *kap - 15225840*a11*b12 *kap ) +
2 5 2 3 4 2
u2 *u3*v2*v3*( - 19013472*a11 *b12 *kap*n2 + 2413968*a11 *b12 *kap *n2
6 3 2 4 8 3
+ 15225840*a11*b12 *kap *n2) + 4651200*u2 *v1 *b12 *kap
2 3 7 3
- 9302400*u2 *v1 *b12 *kap *n2
2 2 2 4 4 2 6 2
+ u2 *v1 *v2 *(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap )
2 2 2 8 3
+ 4651200*u2 *v1 *v3 *b12 *kap
2 2 2 4 2 2 6 3 2
+ u2 *v1 *(1550400*a11 *b12 *kap *n2 + 4651200*b12 *kap *n2 )
2 2 7 3 2 2 7 3
- 9302400*u2 *v1*v2 *b12 *kap *n2 - 9302400*u2 *v1*v3 *b12 *kap *n2
2 2 3 2 3 2 4
- 3100800*u2 *v1*a11 *b12 *kap *n2 + u2 *v2
4 4 2 6 2 8 3 2
*(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 4651200*b12 *kap ) + u2
2 2 4 4 2 6 2 8 3
*v2 *v3 *(2839680*a11 *b12 *kap - 261120*a11 *b12 *kap - 4651200*b12 *kap )
2 2 2 4 2 2 6 3 2
+ u2 *v2 *(1550400*a11 *b12 *kap *n2 + 4651200*b12 *kap *n2 )
2 2 6 3 2 2 2 2 2 4 4
+ 4651200*u2 *v3 *b12 *kap *n2 + 1550400*u2 *a11 *b12 *kap *n2 + u2*u3 *v1
7 5 3 2 3 5 3
*(20479644*a11 *b12*kap + 9992808*a11 *b12 *kap - 3519726*a11 *b12 *kap
7 4 4 7
- 784890*a11*b12 *kap ) + u2*u3 *( - 8133228*a11 *kap*n2
5 2 2 3 4 3
- 12619632*a11 *b12 *kap *n2 - 3701514*a11 *b12 *kap *n2
6 4 3 6 2
+ 8536890*a11*b12 *kap *n2) + u2*u3 *v2*v3*( - 9506736*a11 *b12 *kap
4 4 2 2 6 3 8 4
+ 12565704*a11 *b12 *kap + 6568440*a11 *b12 *kap - 15504000*b12 *kap )
2 3 5 3 3 5 2
+ u2*u3 *v1 *( - 8519040*a11 *b12 *kap + 783360*a11 *b12 *kap )
2 2 3 4 2 6 3
+ u2*u3 *v1 *( - 6201600*a11 *b12 *kap *n2 + 9302400*a11*b12 *kap *n2) + u2
2 2
*u3 *v1*v2
5 3 3 5 2 7 3
*( - 12346416*a11 *b12 *kap + 1468104*a11 *b12 *kap + 7612920*a11*b12 *kap )
2 2 5 3 3 5 2
+ u2*u3 *v1*v3 *( - 2839680*a11 *b12 *kap + 261120*a11 *b12 *kap )
2 3 3 2 2 2 2
+ 7752000*u2*u3 *v1*a11 *b12 *kap *n2 + u2*u3 *v2 *(
5 2 3 4 2
8086896*a11 *b12 *kap*n2 - 1076424*a11 *b12 *kap *n2
6 3 2 2 5 2
- 2961720*a11*b12 *kap *n2) + u2*u3 *v3 *( - 1419840*a11 *b12 *kap*n2
3 4 2 6 3
+ 130560*a11 *b12 *kap *n2 + 4651200*a11*b12 *kap *n2)
2 3 2 2 3 2
- 1550400*u2*u3 *a11 *b12 *kap *n2 + u2*u3*v1 *v2*v3
4 4 2 6 2 8 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 9302400*b12 *kap ) + u2*u3
3 4 4 2 6 2 8 3
*v2 *v3*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 9302400*b12 *kap ) +
3
u2*u3*v2*v3
4 4 2 6 2 8 3
*(5679360*a11 *b12 *kap - 522240*a11 *b12 *kap - 9302400*b12 *kap )
2 4 2 2 6 8
+ 3100800*u2*u3*v2*v3*a11 *b12 *kap *n2 + u3 *( - 3886554*a11 *kap
6 2 2 4 4 3 2 6 4
- 1428828*a11 *b12 *kap - 446979*a11 *b12 *kap - 1095905*a11 *b12 *kap
8 5 4 2
+ 258400*b12 *kap ) + u3 *v1
4 4 2 2 6 3 8 4
*( - 4904160*a11 *b12 *kap + 522240*a11 *b12 *kap + 4651200*b12 *kap ) +
4 6 4 3 2
u3 *v1*( - 2839680*a11 *b12*kap*n2 + 4259520*a11 *b12 *kap *n2
2 5 3 7 4 4 2
- 652800*a11 *b12 *kap *n2 - 7752000*b12 *kap *n2) + u3 *v2 *(
6 2 4 4 2 2 6 3
4753368*a11 *b12 *kap - 4087812*a11 *b12 *kap - 3414780*a11 *b12 *kap
8 4 4 2
+ 4651200*b12 *kap ) + u3 *v3
4 4 2 2 6 3 8 4 4
*(2195040*a11 *b12 *kap - 130560*a11 *b12 *kap - 3100800*b12 *kap ) + u3 *(
6 2 4 2 2 2
709920*a11 *kap*n2 - 1807440*a11 *b12 *kap *n2
2 4 3 2 6 4 2 2 4
+ 195840*a11 *b12 *kap *n2 + 3100800*b12 *kap *n2 ) + u3 *v1
4 4 2 6 2 8 3 2
*( - 709920*a11 *b12 *kap + 65280*a11 *b12 *kap + 2325600*b12 *kap ) + u3
3
*v1
4 3 2 5 2 7 3
*(1419840*a11 *b12 *kap*n2 - 130560*a11 *b12 *kap *n2 - 4651200*b12 *kap *n2)
2 2 2
+ u3 *v1 *v2
4 4 2 6 2 8 3 2
*( - 2839680*a11 *b12 *kap + 261120*a11 *b12 *kap + 4651200*b12 *kap ) + u3
2 4 2 2 2 4 2 2
*v1 *( - 709920*a11 *b12 *kap*n2 + 65280*a11 *b12 *kap *n2
6 3 2 2 2
+ 2325600*b12 *kap *n2 ) + u3 *v1*v2
4 3 2 5 2 7 3
*(1419840*a11 *b12 *kap*n2 - 130560*a11 *b12 *kap *n2 - 4651200*b12 *kap *n2)
2 2
+ u3 *v1*v3
4 3 2 5 2 7 3
*(1419840*a11 *b12 *kap*n2 - 130560*a11 *b12 *kap *n2 - 4651200*b12 *kap *n2)
2 4
+ u3 *v2
4 4 2 6 2 8 3
*( - 2129760*a11 *b12 *kap + 195840*a11 *b12 *kap + 2325600*b12 *kap )
2 2 2 4 4 2 6 2
+ u3 *v2 *v3 *( - 1419840*a11 *b12 *kap + 130560*a11 *b12 *kap )
2 2 2 4 2 2
- 1550400*u3 *v2 *a11 *b12 *kap *n2
2 4 4 4 2 6 2 8 3
+ u3 *v3 *(709920*a11 *b12 *kap - 65280*a11 *b12 *kap - 2325600*b12 *kap )
which the program can not factorize further.
{HAM,FI} = 0
4 2 5 3 2
FI=u1 *u2 *(1680*a11 + 864*a11 *b12 *kap)
4 4 2 2 4 2
+ u1 *u2*(3360*a11 *n2 + 1320*a11 *b12 *kap*n2 - 408*b12 *kap *n2)
4 2 5 3 2 4 2
+ u1 *u3 *( - 1680*a11 - 1833*a11 *b12 *kap - 153*a11*b12 *kap )
4 2 4 4 2 2
+ 816*u1 *v1 *a11*b12 *kap - 816*u1 *a11*b12 *kap*n2
3 2 4 2 3
+ u1 *u2 *v2*(5040*a11 *b12 + 2592*a11 *b12 *kap)
3 4 2 3
+ u1 *u2*u3*v3*(3360*a11 *b12 + 1728*a11 *b12 *kap)
3 4
+ 1632*u1 *u2*v1*v2*a11*b12 *kap
3 3 3
+ u1 *u2*v2*(6720*a11 *b12*n2 + 3456*a11*b12 *kap*n2)
3 2 4 2 3 5 2
+ u1 *u3 *v2*( - 5040*a11 *b12 - 4020*a11 *b12 *kap + 1020*b12 *kap )
3 4 3 3
+ 1632*u1 *u3*v1*v3*a11*b12 *kap - 1632*u1 *u3*v3*a11*b12 *kap*n2
3 2 5 3 3 2
+ 816*u1 *v1 *v2*b12 *kap - 816*u1 *v2*b12 *kap*n2
2 4 5 3 2
+ u1 *u2 *(3360*a11 + 1728*a11 *b12 *kap)
2 3 4 2 3
+ u1 *u2 *v1*( - 5040*a11 *b12 - 2592*a11 *b12 *kap)
2 3 4 2 2
+ u1 *u2 *(8400*a11 *n2 + 4320*a11 *b12 *kap*n2)
2 2 2 5 3 2 4 2
+ u1 *u2 *u3 *( - 1680*a11 - 2520*a11 *b12 *kap + 384*a11*b12 *kap )
2 2 2 3 2 4
+ u1 *u2 *v1 *(1680*a11 *b12 + 1680*a11*b12 *kap)
2 2 3 3
+ u1 *u2 *v1*( - 6720*a11 *b12*n2 - 3456*a11*b12 *kap*n2)
2 2 2 3 2 4
+ u1 *u2 *v2 *(5040*a11 *b12 + 3408*a11*b12 *kap)
2 2 2 2
- 3264*u1 *u2 *a11*b12 *kap*n2
2 2 4 2 3
+ u1 *u2*u3 *v1*(1680*a11 *b12 + 3312*a11 *b12 *kap)
2 2 4 2 2 4 2
+ u1 *u2*u3 *( - 5040*a11 *n2 - 6468*a11 *b12 *kap*n2 + 1020*b12 *kap *n2)
2 3 2 4
+ u1 *u2*u3*v2*v3*(6720*a11 *b12 + 5088*a11*b12 *kap)
2 3 5 2 2 4
- 816*u1 *u2*v1 *b12 *kap + 816*u1 *u2*v1 *b12 *kap*n2
2 2 5 2 3 2
+ 1632*u1 *u2*v1*v2 *b12 *kap + 816*u1 *u2*v1*b12 *kap*n2
2 2 2 2 4
+ u1 *u2*v2 *(3360*a11 *b12 *n2 + 1728*b12 *kap*n2)
2 2 3
- 816*u1 *u2*b12 *kap*n2
2 4 5 3 2 4 2
+ u1 *u3 *( - 420*a11 + 90*a11 *b12 *kap + 510*a11*b12 *kap )
2 2 2 4 2 2 3
- 408*u1 *u3 *v1 *a11*b12 *kap + 1632*u1 *u3 *v1*a11*b12 *kap*n2
2 2 2 3 2 4
+ u1 *u3 *v2 *( - 5040*a11 *b12 - 5040*a11*b12 *kap)
2 2 2 2 2 5
- 1224*u1 *u3 *a11*b12 *kap*n2 + 1632*u1 *u3*v1*v2*v3*b12 *kap
2 4
- 1632*u1 *u3*v2*v3*b12 *kap*n2
4 4 2 3
+ u1*u2 *v2*(5040*a11 *b12 + 2592*a11 *b12 *kap)
3 4 2 3
+ u1*u2 *u3*v3*(3360*a11 *b12 + 1728*a11 *b12 *kap)
3 3 2 4
+ u1*u2 *v1*v2*( - 6720*a11 *b12 - 1824*a11*b12 *kap)
3 3 3
+ u1*u2 *v2*(10080*a11 *b12*n2 + 5184*a11*b12 *kap*n2)
2 2 4 2 3 5 2
+ u1*u2 *u3 *v2*( - 3360*a11 *b12 - 5040*a11 *b12 *kap - 48*b12 *kap )
2 3 2 4
+ u1*u2 *u3*v1*v3*( - 3360*a11 *b12 - 96*a11*b12 *kap)
2 3 3
+ u1*u2 *u3*v3*(3360*a11 *b12*n2 + 96*a11*b12 *kap*n2)
2 2 2 3 5
+ u1*u2 *v1 *v2*(1680*a11 *b12 - 768*b12 *kap)
2 2 2 4
+ u1*u2 *v1*v2*( - 6720*a11 *b12 *n2 - 1824*b12 *kap*n2)
2 3 2 3 5
+ u1*u2 *v2 *(1680*a11 *b12 + 1680*b12 *kap)
2 2 2 3 2
+ u1*u2 *v2*(5040*a11 *b12*n2 + 2592*b12 *kap*n2 )
3 4 2 3
+ u1*u2*u3 *v3*(1680*a11 *b12 + 864*a11 *b12 *kap)
2 3 2 4
+ u1*u2*u3 *v1*v2*(3360*a11 *b12 + 5808*a11*b12 *kap)
2 3 3
+ u1*u2*u3 *v2*( - 5040*a11 *b12*n2 - 7488*a11*b12 *kap*n2)
2 5 4
- 1632*u1*u2*u3*v1 *v3*b12 *kap + 3264*u1*u2*u3*v1*v3*b12 *kap*n2
2 2 3 5
+ u1*u2*u3*v2 *v3*(3360*a11 *b12 + 3360*b12 *kap)
3 2
- 1632*u1*u2*u3*v3*b12 *kap*n2
4 4 2 3 5 2
+ u1*u3 *v2*( - 1260*a11 *b12 - 342*a11 *b12 *kap + 918*b12 *kap )
3 4 3 3
+ 816*u1*u3 *v1*v3*a11*b12 *kap - 816*u1*u3 *v3*a11*b12 *kap*n2
2 2 5 2 4
- 816*u1*u3 *v1 *v2*b12 *kap + 1632*u1*u3 *v1*v2*b12 *kap*n2
2 3 2 3 5
+ u1*u3 *v2 *( - 1680*a11 *b12 - 1680*b12 *kap)
2 3 2 6 5 3 2
- 816*u1*u3 *v2*b12 *kap*n2 + u2 *(1680*a11 + 864*a11 *b12 *kap)
5 4 2 3
+ u2 *v1*( - 5040*a11 *b12 - 2592*a11 *b12 *kap)
5 4 2 2
+ u2 *(5040*a11 *n2 + 2592*a11 *b12 *kap*n2)
4 2 5 3 2 4 2
+ u2 *u3 *( - 840*a11 - 2928*a11 *b12 *kap - 864*a11*b12 *kap )
4 2 3 2 4
+ u2 *v1 *(5040*a11 *b12 + 2592*a11*b12 *kap)
4 3 3
+ u2 *v1*( - 10080*a11 *b12*n2 - 5184*a11*b12 *kap*n2)
4 2 3 2 4
+ u2 *v2 *(1680*a11 *b12 + 1680*a11*b12 *kap)
4 3 2 2 2
+ u2 *(5040*a11 *n2 + 2592*a11*b12 *kap*n2 )
3 2 2 3 5 2
+ u2 *u3 *v1*(3312*a11 *b12 *kap + 48*b12 *kap )
3 2 4 2 2 4 2
+ u2 *u3 *( - 3360*a11 *n2 - 7760*a11 *b12 *kap*n2 - 1136*b12 *kap *n2)
3 3 2 4
+ u2 *u3*v2*v3*(3360*a11 *b12 + 3360*a11*b12 *kap)
3 3 2 3 5
+ u2 *v1 *( - 1680*a11 *b12 - 864*b12 *kap)
3 2 2 2 4
+ u2 *v1 *(5040*a11 *b12 *n2 + 2592*b12 *kap*n2)
3 2 2 3 5
+ u2 *v1*v2 *( - 1680*a11 *b12 - 1680*b12 *kap)
3 2 2 3 2
+ u2 *v1*( - 5040*a11 *b12*n2 - 2592*b12 *kap*n2 )
3 2 2 2 4
+ u2 *v2 *(1680*a11 *b12 *n2 + 1680*b12 *kap*n2)
3 2 3 2 3
+ u2 *(1680*a11 *n2 + 864*b12 *kap*n2 )
2 4 5 3 2 4 2
+ u2 *u3 *( - 420*a11 - 750*a11 *b12 *kap + 78*a11*b12 *kap )
2 2 2 3 2 4
+ u2 *u3 *v1 *(840*a11 *b12 - 2016*a11*b12 *kap)
2 2 3 3
+ u2 *u3 *v1*(1680*a11 *b12*n2 + 7392*a11*b12 *kap*n2)
2 2 2 3 2 4
+ u2 *u3 *v2 *( - 840*a11 *b12 - 840*a11*b12 *kap)
2 2 3 2 2 2
+ u2 *u3 *( - 2520*a11 *n2 - 5376*a11*b12 *kap*n2 )
2 2 3 5
+ u2 *u3*v1*v2*v3*( - 3360*a11 *b12 - 3360*b12 *kap)
2 2 2 4
+ u2 *u3*v2*v3*(3360*a11 *b12 *n2 + 3360*b12 *kap*n2)
4 4 2 3 5 2
+ u2*u3 *v1*( - 420*a11 *b12 - 522*a11 *b12 *kap - 918*b12 *kap )
4 4 2 2 4 2
+ u2*u3 *( - 1260*a11 *n2 - 1158*a11 *b12 *kap*n2 + 918*b12 *kap *n2)
3 3 2 4
+ u2*u3 *v2*v3*(1680*a11 *b12 + 1680*a11*b12 *kap)
2 3 5 2 2 4
+ 816*u2*u3 *v1 *b12 *kap - 2448*u2*u3 *v1 *b12 *kap*n2
2 2 2 3 5
+ u2*u3 *v1*v2 *(1680*a11 *b12 + 1680*b12 *kap)
2 3 2
+ 2448*u2*u3 *v1*b12 *kap*n2
2 2 2 2 4
+ u2*u3 *v2 *( - 1680*a11 *b12 *n2 - 1680*b12 *kap*n2)
2 2 3
- 816*u2*u3 *b12 *kap*n2
6 5 3 2 4 2
+ u3 *(70*a11 + 223*a11 *b12 *kap + 153*a11*b12 *kap )
4 2 4 4 3
- 408*u3 *v1 *a11*b12 *kap + 816*u3 *v1*a11*b12 *kap*n2
4 2 3 2 4 4 2 2
+ u3 *v2 *( - 840*a11 *b12 - 840*a11*b12 *kap) - 408*u3 *a11*b12 *kap*n2
which the program can not factorize further.
{HAM,FI} = 0
2 2 2 2 2 2
FI=u1 *u2 *(36*a11 *n2 + 18*b12 *kap*n2 )
2 2 3 2 2 3
+ u1 *u2*u3 *( - 24*a11 *n2 - 24*a11*b12 *kap*n2) + 36*u1 *u2*a11*n2
2 4 4 2 2 4 2
+ u1 *u3 *( - 6*a11 - 12*a11 *b12 *kap - 6*b12 *kap )
2 2 2 2 2 2 2 2 2 2
+ u1 *u3 *( - 18*a11 *n2 - 18*b12 *kap*n2 ) - 18*u1 *v1 *b12 *n2
2 4 2 2 2
+ 18*u1 *n2 + 36*u1*u2 *v2*a11*b12*n2 + 36*u1*u2*u3*v3*a11*b12*n2
2 2 3
- 36*u1*u2*v1*v2*b12 *n2 + 36*u1*u2*v2*b12*n2
4 3 3
+ u1*u3 *v2*( - 6*a11 *b12 - 6*a11*b12 *kap)
3 2 3 2 2
+ u1*u3 *v3*( - 24*a11 *b12*n2 - 24*b12 *kap*n2) - 36*u1*u3*v1*v3*b12 *n2
3 4 2 2 3 2
+ 36*u1*u3*v3*b12*n2 + 18*u2 *a11 *n2 - 36*u2 *v1*a11*b12*n2
3 3 2 4 4 2 2 4 2
+ 36*u2 *a11*n2 + u2 *u3 *( - 6*a11 - 12*a11 *b12 *kap - 6*b12 *kap )
2 2 2 2 2 2 2 2 2 3 2 4
+ 18*u2 *u3 *a11 *n2 + 18*u2 *v1 *b12 *n2 - 36*u2 *v1*b12*n2 + 18*u2 *n2
4 3 3
+ u2*u3 *v1*(6*a11 *b12 + 6*a11*b12 *kap)
4 3 2 2 2
+ u2*u3 *( - 30*a11 *n2 - 30*a11*b12 *kap*n2) - 36*u2*u3 *v1*a11*b12*n2
2 3 6 4 2 2 4 2
+ 36*u2*u3 *a11*n2 + u3 *(3*a11 + 5*a11 *b12 *kap + 2*b12 *kap )
4 2 2 2 4
+ u3 *v1 *( - 6*a11 *b12 - 6*b12 *kap)
4 2 3
+ u3 *v1*(24*a11 *b12*n2 + 24*b12 *kap*n2)
4 2 2 2 4
+ u3 *v2 *( - 6*a11 *b12 - 6*b12 *kap)
4 2 2 2 4
+ u3 *v3 *( - 6*a11 *b12 - 6*b12 *kap)
4 2 2 2 2 2 2 2 2
+ u3 *( - 18*a11 *n2 - 18*b12 *kap*n2 ) + 18*u3 *v1 *b12 *n2
2 3 2 4
- 36*u3 *v1*b12*n2 + 18*u3 *n2
which the program can not factorize further.
{HAM,FI} = 0
And again in machine readable form:
HAM=(2*u1**2*a11 + 2*u1*v2*b12 + 2*u2**2*a11 - 2*u2*v1*b12 + 2*u2*n2 + u3**2*a11
)/2$
FI=u1**3*u2**2*v1*(1376254735712093640*a11**4*b12 - 11729595330161280*a11**2*b12
**3*kap) + u1**3*u2*u3**2*( - 1376254735712093640*a11**5 - 1364525140381932360*
a11**3*b12**2*kap + 11729595330161280*a11*b12**4*kap**2) + u1**3*u2*v1*(2752509471424187280
*a11**3*b12*n2 - 23459190660322560*a11*b12**3*kap*n2) + u1**3*u3**2*v1*( - 458751578570697880
*a11**4*b12 - 1387984331042254920*a11**2*b12**3*kap - 929232752471557040*b12**5*
kap**2) + u1**3*v1**3*( - 458751578570697880*a11**2*b12**3 + 929232752471557040*
b12**5*kap) + u1**3*v1*(458751578570697880*a11**2*b12*n2**2 - 929232752471557040
*b12**3*kap*n2**2) + u1**2*u2**3*v2*(1376254735712093640*a11**4*b12 - 11729595330161280
*a11**2*b12**3*kap) + u1**2*u2**2*u3*v3*(1376254735712093640*a11**4*b12 - 11729595330161280
*a11**2*b12**3*kap) + u1**2*u2**2*v1*v2*(2752509471424187280*a11**3*b12**2 - 23459190660322560
*a11*b12**4*kap) + u1**2*u2**2*v2*(2752509471424187280*a11**3*b12*n2 - 23459190660322560
*a11*b12**3*kap*n2) + u1**2*u2*u3**2*v2*(917503157141395760*a11**4*b12 - 23459190660322560
*a11**2*b12**3*kap - 940962347801718320*b12**5*kap**2) + u1**2*u2*u3*v1*v3*(2752509471424187280
*a11**3*b12**2 - 23459190660322560*a11*b12**4*kap) + u1**2*u2*u3*v3*(2752509471424187280
*a11**3*b12*n2 - 23459190660322560*a11*b12**3*kap*n2) + u1**2*u2*v1**2*v2*( - 1376254735712093640
*a11**2*b12**3 + 2787698257414671120*b12**5*kap) + u1**2*u2*v1*v2*(2752509471424187280
*a11**2*b12**2*n2 - 23459190660322560*b12**4*kap*n2) + u1**2*u2*v2*(458751578570697880
*a11**2*b12*n2**2 - 929232752471557040*b12**3*kap*n2**2) + u1**2*u3**3*v3*( - 458751578570697880
*a11**4*b12 - 1387984331042254920*a11**2*b12**3*kap - 929232752471557040*b12**5*
kap**2) + u1**2*u3**2*v1*v2*( - 1835006314282791520*a11**3*b12**2 - 1835006314282791520
*a11*b12**4*kap) + u1**2*u3*v1**2*v3*( - 1376254735712093640*a11**2*b12**3 + 2787698257414671120
*b12**5*kap) + u1**2*u3*v1*v3*(917503157141395760*a11**2*b12**2*n2 - 1858465504943114080
*b12**4*kap*n2) + u1**2*u3*v3*(458751578570697880*a11**2*b12*n2**2 - 929232752471557040
*b12**3*kap*n2**2) + u1*u2**4*v1*(1376254735712093640*a11**4*b12 - 11729595330161280
*a11**2*b12**3*kap) + u1*u2**3*u3**2*( - 188900859205088873*a11**3*b12**2*kap - 188900859205088873
*a11*b12**4*kap**2) + u1*u2**3*v1**2*( - 2752509471424187280*a11**3*b12**2 + 23459190660322560
*a11*b12**4*kap) + u1*u2**3*v1*(2752509471424187280*a11**3*b12*n2 - 23459190660322560
*a11*b12**3*kap*n2) + u1*u2**3*v2**2*(2752509471424187280*a11**3*b12**2 - 23459190660322560
*a11*b12**4*kap) + u1*u2**2*u3**2*v1*( - 1835006314282791520*a11**4*b12 - 4128764207136280920
*a11**2*b12**3*kap - 905773561811234480*b12**5*kap**2) + u1*u2**2*u3*v2*v3*(5505018942848374560
*a11**3*b12**2 - 46918381320645120*a11*b12**4*kap) + u1*u2**2*v1**3*(1376254735712093640
*a11**2*b12**3 - 11729595330161280*b12**5*kap) + u1*u2**2*v1**2*( - 2752509471424187280
*a11**2*b12**2*n2 + 23459190660322560*b12**4*kap*n2) + 2775968662084509840*u1*u2
**2*v1*v2**2*b12**5*kap + u1*u2**2*v1*(1376254735712093640*a11**2*b12*n2**2 - 11729595330161280
*b12**3*kap*n2**2) + u1*u2**2*v2**2*(2752509471424187280*a11**2*b12**2*n2 - 23459190660322560
*b12**4*kap*n2) + u1*u2*u3**2*v1**2*( - 917503157141395760*a11**3*b12**2 + 1858465504943114080
*a11*b12**4*kap) + u1*u2*u3**2*v1*( - 917503157141395760*a11**3*b12*n2 - 3693471819225905600
*a11*b12**3*kap*n2) + u1*u2*u3**2*v2**2*( - 1835006314282791520*a11**3*b12**2 - 1835006314282791520
*a11*b12**4*kap) + u1*u2*u3**2*v3**2*(2752509471424187280*a11**3*b12**2 - 23459190660322560
*a11*b12**4*kap) + 5551937324169019680*u1*u2*u3*v1*v2*v3*b12**5*kap + u1*u2*u3*
v2*v3*(3670012628565583040*a11**2*b12**2*n2 - 1881924695603436640*b12**4*kap*n2)
+ u1*u3**3*v2*v3*( - 1835006314282791520*a11**3*b12**2 - 1835006314282791520*
a11*b12**4*kap) + u1*u3**2*v1**3*(458751578570697880*a11**2*b12**3 - 929232752471557040
*b12**5*kap) + u1*u3**2*v1**2*( - 917503157141395760*a11**2*b12**2*n2 + 1858465504943114080
*b12**4*kap*n2) + u1*u3**2*v1*v2**2*( - 917503157141395760*a11**2*b12**3 - 917503157141395760
*b12**5*kap) + u1*u3**2*v1*v3**2*( - 917503157141395760*a11**2*b12**3 + 1858465504943114080
*b12**5*kap) + u1*u3**2*v1*(458751578570697880*a11**2*b12*n2**2 - 929232752471557040
*b12**3*kap*n2**2) + u1*u3**2*v3**2*(917503157141395760*a11**2*b12**2*n2 - 1858465504943114080
*b12**4*kap*n2) + u2**5*v2*(1376254735712093640*a11**4*b12 - 11729595330161280*
a11**2*b12**3*kap) + u2**4*u3*v3*(1376254735712093640*a11**4*b12 - 11729595330161280
*a11**2*b12**3*kap) + u2**4*v1*v2*( - 2752509471424187280*a11**3*b12**2 + 23459190660322560
*a11*b12**4*kap) + u2**4*v2*(2752509471424187280*a11**3*b12*n2 - 23459190660322560
*a11*b12**3*kap*n2) + u2**3*u3**2*v2*( - 269850719365609007*a11**4*b12 - 2575338207549259687
*a11**2*b12**3*kap - 917503157141395760*b12**5*kap**2) + u2**3*u3*v1*v3*( - 2752509471424187280
*a11**3*b12**2 + 23459190660322560*a11*b12**4*kap) + u2**3*u3*v3*(2752509471424187280
*a11**3*b12*n2 - 23459190660322560*a11*b12**3*kap*n2) + u2**3*v1**2*v2*(1376254735712093640
*a11**2*b12**3 - 11729595330161280*b12**5*kap) + u2**3*v1*v2*( - 2752509471424187280
*a11**2*b12**2*n2 + 23459190660322560*b12**4*kap*n2) + u2**3*v2**3*(917503157141395760
*a11**2*b12**3 + 917503157141395760*b12**5*kap) + u2**3*v2*(1376254735712093640*
a11**2*b12*n2**2 - 11729595330161280*b12**3*kap*n2**2) + u2**2*u3**3*v3*( - 458751578570697880
*a11**4*b12 - 2764239066754348560*a11**2*b12**3*kap - 917503157141395760*b12**5*
kap**2) + u2**2*u3**2*v1*v2*( - 917503157141395760*a11**3*b12**2 + 1858465504943114080
*a11*b12**4*kap) + u2**2*u3**2*v2*( - 917503157141395760*a11**3*b12*n2 - 3693471819225905600
*a11*b12**3*kap*n2) + u2**2*u3*v1**2*v3*(1376254735712093640*a11**2*b12**3 - 11729595330161280
*b12**5*kap) + u2**2*u3*v1*v3*( - 2752509471424187280*a11**2*b12**2*n2 + 23459190660322560
*b12**4*kap*n2) + u2**2*u3*v2**2*v3*(2752509471424187280*a11**2*b12**3 + 2752509471424187280
*b12**5*kap) + u2**2*u3*v3*(1376254735712093640*a11**2*b12*n2**2 - 11729595330161280
*b12**3*kap*n2**2) + u2*u3**3*v1*v3*( - 917503157141395760*a11**3*b12**2 + 1858465504943114080
*a11*b12**4*kap) + u2*u3**3*v3*( - 917503157141395760*a11**3*b12*n2 - 3693471819225905600
*a11*b12**3*kap*n2) + u2*u3**2*v1**2*v2*(458751578570697880*a11**2*b12**3 - 929232752471557040
*b12**5*kap) + u2*u3**2*v1*v2*( - 917503157141395760*a11**2*b12**2*n2 + 1858465504943114080
*b12**4*kap*n2) + u2*u3**2*v2**3*( - 917503157141395760*a11**2*b12**3 - 917503157141395760
*b12**5*kap) + u2*u3**2*v2*v3**2*(1835006314282791520*a11**2*b12**3 + 1835006314282791520
*b12**5*kap) + u2*u3**2*v2*(458751578570697880*a11**2*b12*n2**2 - 929232752471557040
*b12**3*kap*n2**2) + u3**3*v1**2*v3*(458751578570697880*a11**2*b12**3 - 929232752471557040
*b12**5*kap) + u3**3*v1*v3*( - 917503157141395760*a11**2*b12**2*n2 + 1858465504943114080
*b12**4*kap*n2) + u3**3*v2**2*v3*( - 917503157141395760*a11**2*b12**3 - 917503157141395760
*b12**5*kap) + u3**3*v3*(458751578570697880*a11**2*b12*n2**2 - 929232752471557040
*b12**3*kap*n2**2)$
FI=u1**6*(2839680*a11**8*kap - 1680960*a11**6*b12**2*kap**2 - 9171840*a11**4*b12
**4*kap**3 + 4651200*a11**2*b12**6*kap**4) + u1**5*v2*(8519040*a11**7*b12*kap -
3623040*a11**5*b12**3*kap**2 - 27646080*a11**3*b12**5*kap**3 + 9302400*a11*b12**
7*kap**4) + u1**4*u2**2*(2325264*a11**8*kap - 2247416*a11**6*b12**2*kap**2 -
16975880*a11**4*b12**4*kap**3 + 13953600*a11**2*b12**6*kap**4) + u1**4*u2*v1*( -
8519040*a11**7*b12*kap + 3623040*a11**5*b12**3*kap**2 + 27646080*a11**3*b12**5*
kap**3 - 9302400*a11*b12**7*kap**4) + u1**4*u2*( - 19013472*a11**7*kap*n2 +
9548664*a11**5*b12**2*kap**2*n2 + 14569776*a11**3*b12**4*kap**3*n2 + 7713240*a11
*b12**6*kap**4*n2) + u1**4*u3**2*(9506736*a11**8*kap + 13537167*a11**6*b12**2*
kap**2 - 9678624*a11**4*b12**4*kap**3 + 4120545*a11**2*b12**6*kap**4 + 2325600*
b12**8*kap**5) + u1**4*v1**2*(1419840*a11**6*b12**2*kap + 1289280*a11**4*b12**4*
kap**2 - 4781760*a11**2*b12**6*kap**3 - 4651200*b12**8*kap**4) + u1**4*v2**2*(
7099200*a11**6*b12**2*kap - 2072640*a11**4*b12**4*kap**2 - 23125440*a11**2*b12**
6*kap**3 + 4651200*b12**8*kap**4) + u1**4*v3**2*( - 1419840*a11**6*b12**2*kap +
130560*a11**4*b12**4*kap**2 + 4651200*a11**2*b12**6*kap**3) + u1**4*(709920*a11
**6*kap*n2**2 - 2195040*a11**4*b12**2*kap**2*n2**2 + 195840*a11**2*b12**4*kap**3
*n2**2 + 3100800*b12**6*kap**4*n2**2) + u1**3*u2**2*v2*( - 1543248*a11**7*b12*
kap - 279528*a11**5*b12**3*kap**2 - 23542680*a11**3*b12**5*kap**3 + 18604800*a11
*b12**7*kap**4) + u1**3*u2*u3*v3*( - 14044032*a11**7*b12*kap + 6926448*a11**5*
b12**3*kap**2 + 24071280*a11**3*b12**5*kap**3) + u1**3*u2*v1*v2*( - 11358720*a11
**6*b12**2*kap + 6723840*a11**4*b12**4*kap**2 + 36687360*a11**2*b12**6*kap**3 -
18604800*b12**8*kap**4) + u1**3*u2*v2*(308736*a11**6*b12*kap*n2 + 2722656*a11**4
*b12**3*kap**2*n2 - 22392480*a11**2*b12**5*kap**3*n2 + 9302400*b12**7*kap**4*n2)
+ u1**3*u3**2*v2*(28520208*a11**7*b12*kap + 33987060*a11**5*b12**3*kap**2 -
26296968*a11**3*b12**5*kap**3 - 3856620*a11*b12**7*kap**4) + u1**3*u3*v1*v3*(
5679360*a11**6*b12**2*kap + 2317440*a11**4*b12**4*kap**2 - 18865920*a11**2*b12**
6*kap**3 - 9302400*b12**8*kap**4) + u1**3*u3*v3*(2839680*a11**6*b12*kap*n2 -
7360320*a11**4*b12**3*kap**2*n2 + 652800*a11**2*b12**5*kap**3*n2 + 7752000*b12**
7*kap**4*n2) + u1**3*v2*v3**2*( - 2839680*a11**5*b12**3*kap + 261120*a11**3*b12
**5*kap**2 + 9302400*a11*b12**7*kap**3) + u1**3*v2*(4259520*a11**5*b12*kap*n2**2
- 391680*a11**3*b12**3*kap**2*n2**2 - 4651200*a11*b12**5*kap**3*n2**2) + u1**2*
u2**4*( - 10494432*a11**8*kap + 210768*a11**6*b12**2*kap**2 - 147600*a11**4*b12
**4*kap**3 + 13953600*a11**2*b12**6*kap**4) + u1**2*u2**3*v1*(11482128*a11**7*
b12*kap + 785448*a11**5*b12**3*kap**2 + 14109720*a11**3*b12**5*kap**3 - 18604800
*a11*b12**7*kap**4) + u1**2*u2**3*( - 38730672*a11**7*kap*n2 + 6077352*a11**5*
b12**2*kap**2*n2 + 23102424*a11**3*b12**4*kap**3*n2 + 18604800*a11*b12**6*kap**4
*n2) + u1**2*u2**2*u3**2*(3472416*a11**8*kap + 34485840*a11**6*b12**2*kap**2 -
15269916*a11**4*b12**4*kap**3 - 12174540*a11**2*b12**6*kap**4 + 4651200*b12**8*
kap**5) + u1**2*u2**2*v1**2*(14630544*a11**6*b12**2*kap + 407304*a11**4*b12**4*
kap**2 - 29727240*a11**2*b12**6*kap**3) + u1**2*u2**2*v1*(47965824*a11**6*b12*
kap*n2 - 7161696*a11**4*b12**3*kap**2*n2 - 30321120*a11**2*b12**5*kap**3*n2 -
9302400*b12**7*kap**4*n2) + u1**2*u2**2*v2**2*( - 18581328*a11**6*b12**2*kap +
4126872*a11**4*b12**4*kap**2 + 13405800*a11**2*b12**6*kap**3) + u1**2*u2**2*v3**
2*( - 1419840*a11**6*b12**2*kap + 130560*a11**4*b12**4*kap**2 + 9302400*a11**2*
b12**6*kap**3) + u1**2*u2**2*(111457440*a11**6*kap*n2**2 + 102252960*a11**4*b12
**2*kap**2*n2**2 - 26258880*a11**2*b12**4*kap**3*n2**2 - 1550400*b12**6*kap**4*
n2**2) + u1**2*u2*u3**2*v1*( - 9506736*a11**7*b12*kap - 5963208*a11**5*b12**3*
kap**2 + 8272248*a11**3*b12**5*kap**3 - 20077680*a11*b12**7*kap**4) + u1**2*u2*
u3**2*(32779728*a11**7*kap*n2 + 19054260*a11**5*b12**2*kap**2*n2 - 26884488*a11
**3*b12**4*kap**3*n2 + 11647380*a11*b12**6*kap**4*n2) + u1**2*u2*u3*v2*v3*( -
23828544*a11**6*b12**2*kap + 12041376*a11**4*b12**4*kap**2 + 29668320*a11**2*b12
**6*kap**3 - 9302400*b12**8*kap**4) + u1**2*u2*v1**2*(2839680*a11**5*b12**2*kap*
n2 - 261120*a11**3*b12**4*kap**2*n2) + u1**2*u2*v1*v3**2*(2839680*a11**5*b12**3*
kap - 261120*a11**3*b12**5*kap**2 - 9302400*a11*b12**7*kap**3) + u1**2*u2*v2**2*
( - 16173792*a11**5*b12**2*kap*n2 + 2152848*a11**3*b12**4*kap**2*n2 + 15225840*
a11*b12**6*kap**3*n2) + 9302400*u1**2*u2*v3**2*a11*b12**6*kap**3*n2 + u1**2*u3**
4*( - 15726276*a11**8*kap - 9176460*a11**6*b12**2*kap**2 - 5321454*a11**4*b12**4
*kap**3 + 1307130*a11**2*b12**6*kap**4 + 4651200*b12**8*kap**5) + u1**2*u3**2*v1
**2*(7099200*a11**6*b12**2*kap + 5026560*a11**4*b12**4*kap**2 - 522240*a11**2*
b12**6*kap**3 - 3100800*b12**8*kap**4) + u1**2*u3**2*v1*( - 2839680*a11**6*b12*
kap*n2 + 7360320*a11**4*b12**3*kap**2*n2 - 652800*a11**2*b12**5*kap**3*n2 -
7752000*b12**7*kap**4*n2) + u1**2*u3**2*v2**2*(24260688*a11**6*b12**2*kap +
3869928*a11**4*b12**4*kap**2 - 23491560*a11**2*b12**6*kap**3 + 6201600*b12**8*
kap**4) + u1**2*u3**2*v3**2*(1419840*a11**6*b12**2*kap - 130560*a11**4*b12**4*
kap**2) + u1**2*u3**2*(1419840*a11**6*kap*n2**2 - 4390080*a11**4*b12**2*kap**2*
n2**2 + 391680*a11**2*b12**4*kap**3*n2**2 + 6201600*b12**6*kap**4*n2**2) + u1**2
*u3*v1*v2*v3*(5679360*a11**5*b12**3*kap - 522240*a11**3*b12**5*kap**2 - 18604800
*a11*b12**7*kap**3) + u1**2*u3*v2*v3*(5679360*a11**5*b12**2*kap*n2 - 522240*a11
**3*b12**4*kap**2*n2) + u1**2*v1**4*(1419840*a11**4*b12**4*kap - 130560*a11**2*
b12**6*kap**2 - 4651200*b12**8*kap**3) + u1**2*v1**2*v3**2*(1419840*a11**4*b12**
4*kap - 130560*a11**2*b12**6*kap**2 - 4651200*b12**8*kap**3) + u1**2*v1**2*( -
2129760*a11**6*n2**2 + 195840*a11**4*b12**2*kap*n2**2 + 2325600*a11**2*b12**4*
kap**2*n2**2) + u1**2*v2**4*( - 1419840*a11**4*b12**4*kap + 130560*a11**2*b12**6
*kap**2 + 4651200*b12**8*kap**3) + u1**2*v2**2*v3**2*( - 1419840*a11**4*b12**4*
kap + 130560*a11**2*b12**6*kap**2 + 4651200*b12**8*kap**3) + u1**2*v3**2*( -
4259520*a11**6*n2**2 - 318240*a11**4*b12**2*kap*n2**2 + 4716480*a11**2*b12**4*
kap**2*n2**2 + 2325600*b12**6*kap**3*n2**2) + u1*u2**4*v2*( - 20001168*a11**7*
b12*kap + 2837592*a11**5*b12**3*kap**2 + 13536360*a11**3*b12**5*kap**3 + 9302400
*a11*b12**7*kap**4) + u1*u2**3*u3*v3*( - 6234912*a11**7*b12*kap + 5498448*a11**5
*b12**3*kap**2 + 14834160*a11**3*b12**5*kap**3) + u1*u2**3*v1*v2*(20988864*a11**
6*b12**2*kap + 2418144*a11**4*b12**4*kap**2 - 12369120*a11**2*b12**6*kap**3 -
18604800*b12**8*kap**4) + u1*u2**3*v2*( - 40002336*a11**6*b12*kap*n2 + 5675184*
a11**4*b12**3*kap**2*n2 + 27072720*a11**2*b12**5*kap**3*n2 + 9302400*b12**7*kap
**4*n2) + u1*u2**2*u3**2*v2*(6944832*a11**7*b12*kap + 19703232*a11**5*b12**3*kap
**2 - 17490360*a11**3*b12**5*kap**3 - 5442360*a11*b12**7*kap**4) + u1*u2**2*u3*
v1*v3*( - 5123808*a11**6*b12**2*kap + 1225392*a11**4*b12**4*kap**2 - 15356400*
a11**2*b12**6*kap**3 - 9302400*b12**8*kap**4) + u1*u2**2*u3*v3*(5123808*a11**6*
b12*kap*n2 + 3034128*a11**4*b12**3*kap**2*n2 + 14964720*a11**2*b12**5*kap**3*n2
+ 7752000*b12**7*kap**4*n2) + u1*u2**2*v1**2*v2*( - 987696*a11**5*b12**3*kap +
423624*a11**3*b12**5*kap**2 + 7612920*a11*b12**7*kap**3) + u1*u2**2*v1*v2*(
20988864*a11**5*b12**2*kap*n2 - 3261216*a11**3*b12**4*kap**2*n2 - 11846880*a11*
b12**6*kap**3*n2) + u1*u2**2*v2**3*( - 9506736*a11**5*b12**3*kap + 1206984*a11**
3*b12**5*kap**2 + 16915320*a11*b12**7*kap**3) + 9302400*u1*u2**2*v2*v3**2*a11*
b12**7*kap**3 + u1*u2**2*v2*( - 20001168*a11**5*b12*kap*n2**2 + 5938392*a11**3*
b12**3*kap**2*n2**2 + 13536360*a11*b12**5*kap**3*n2**2) + u1*u2*u3**3*v3*( -
9506736*a11**7*b12*kap - 1632696*a11**5*b12**3*kap**2 + 7874040*a11**3*b12**5*
kap**3) + u1*u2*u3**2*v1*v2*( - 19013472*a11**6*b12**2*kap - 3265392*a11**4*b12
**4*kap**2 + 15748080*a11**2*b12**6*kap**3 - 18604800*b12**8*kap**4) + u1*u2*u3
**2*v2*(100932048*a11**6*b12*kap*n2 + 90529128*a11**4*b12**3*kap**2*n2 -
32108520*a11**2*b12**5*kap**3*n2 - 3100800*b12**7*kap**4*n2) + u1*u2*u3*v1**2*v3
*(14198400*a11**5*b12**3*kap - 1305600*a11**3*b12**5*kap**2) - 18604800*u1*u2*u3
*v1*v3*a11*b12**6*kap**3*n2 + u1*u2*u3*v2**2*v3*( - 16173792*a11**5*b12**3*kap +
2152848*a11**3*b12**5*kap**2 + 15225840*a11*b12**7*kap**3) + u1*u2*u3*v3**3*(
2839680*a11**5*b12**3*kap - 261120*a11**3*b12**5*kap**2) - 6201600*u1*u2*u3*v3*
a11**3*b12**3*kap**2*n2**2 + u1*u2*v1**3*v2*(5679360*a11**4*b12**4*kap - 522240*
a11**2*b12**6*kap**2 - 18604800*b12**8*kap**3) + 9302400*u1*u2*v1**2*v2*b12**7*
kap**3*n2 + u1*u2*v1*v2**3*(5679360*a11**4*b12**4*kap - 522240*a11**2*b12**6*kap
**2 - 18604800*b12**8*kap**3) + u1*u2*v1*v2*v3**2*(5679360*a11**4*b12**4*kap -
522240*a11**2*b12**6*kap**2 - 18604800*b12**8*kap**3) + 9302400*u1*u2*v2**3*b12
**7*kap**3*n2 + 9302400*u1*u2*v2*v3**2*b12**7*kap**3*n2 + 3100800*u1*u2*v2*a11**
2*b12**3*kap**2*n2**3 + u1*u3**4*v2*( - 10972908*a11**7*b12*kap - 8360112*a11**5
*b12**3*kap**2 - 4354314*a11**3*b12**5*kap**3 + 784890*a11*b12**7*kap**4) + u1*
u3**3*v1*v3*(14198400*a11**4*b12**4*kap**2 - 1305600*a11**2*b12**6*kap**3 -
15504000*b12**8*kap**4) + u1*u3**3*v3*(2839680*a11**6*b12*kap*n2 - 4259520*a11**
4*b12**3*kap**2*n2 + 652800*a11**2*b12**5*kap**3*n2 + 7752000*b12**7*kap**4*n2)
+ u1*u3**2*v1**2*v2*(5679360*a11**5*b12**3*kap - 522240*a11**3*b12**5*kap**2) +
u1*u3**2*v1*v2*(11358720*a11**5*b12**2*kap*n2 - 1044480*a11**3*b12**4*kap**2*n2
- 18604800*a11*b12**6*kap**3*n2) + u1*u3**2*v2**3*(9506736*a11**5*b12**3*kap -
1206984*a11**3*b12**5*kap**2 - 7612920*a11*b12**7*kap**3) - 1550400*u1*u3**2*v2*
a11**3*b12**3*kap**2*n2**2 + u1*u3*v1**3*v3*(2839680*a11**4*b12**4*kap - 261120*
a11**2*b12**6*kap**2 - 9302400*b12**8*kap**3) + u1*u3*v1**2*v3*( - 1419840*a11**
4*b12**3*kap*n2 + 130560*a11**2*b12**5*kap**2*n2 + 4651200*b12**7*kap**3*n2) +
u1*u3*v1*v2**2*v3*(2839680*a11**4*b12**4*kap - 261120*a11**2*b12**6*kap**2 -
9302400*b12**8*kap**3) + u1*u3*v1*v3**3*(2839680*a11**4*b12**4*kap - 261120*a11
**2*b12**6*kap**2 - 9302400*b12**8*kap**3) + u1*u3*v1*v3*(1419840*a11**4*b12**2*
kap*n2**2 - 130560*a11**2*b12**4*kap**2*n2**2 - 4651200*b12**6*kap**3*n2**2) +
u1*u3*v2**2*v3*( - 1419840*a11**4*b12**3*kap*n2 + 130560*a11**2*b12**5*kap**2*n2
+ 4651200*b12**7*kap**3*n2) + u1*u3*v3**3*( - 1419840*a11**4*b12**3*kap*n2 +
130560*a11**2*b12**5*kap**2*n2 + 4651200*b12**7*kap**3*n2) + u2**6*( - 6667056*
a11**8*kap + 945864*a11**6*b12**2*kap**2 + 4512120*a11**4*b12**4*kap**3 +
4651200*a11**2*b12**6*kap**4) + u2**5*v1*(20001168*a11**7*b12*kap - 2837592*a11
**5*b12**3*kap**2 - 13536360*a11**3*b12**5*kap**3 - 9302400*a11*b12**7*kap**4) +
u2**5*( - 20001168*a11**7*kap*n2 + 2837592*a11**5*b12**2*kap**2*n2 + 13536360*
a11**3*b12**4*kap**3*n2 + 9302400*a11*b12**6*kap**4*n2) + u2**4*u3**2*(1736208*
a11**8*kap + 15463476*a11**6*b12**2*kap**2 - 7720932*a11**4*b12**4*kap**3 -
5169000*a11**2*b12**6*kap**4 + 2325600*b12**8*kap**5) + u2**4*v1**2*( - 20001168
*a11**6*b12**2*kap + 2837592*a11**4*b12**4*kap**2 + 18187560*a11**2*b12**6*kap**
3 + 4651200*b12**8*kap**4) + u2**4*v1*(40002336*a11**6*b12*kap*n2 - 5675184*a11
**4*b12**3*kap**2*n2 - 27072720*a11**2*b12**5*kap**3*n2 - 9302400*b12**7*kap**4*
n2) + u2**4*v2**2*( - 9506736*a11**6*b12**2*kap + 4046664*a11**4*b12**4*kap**2 +
12003000*a11**2*b12**6*kap**3 - 4651200*b12**8*kap**4) + 4651200*u2**4*v3**2*
a11**2*b12**6*kap**3 + u2**4*( - 20001168*a11**6*kap*n2**2 + 4387992*a11**4*b12
**2*kap**2*n2**2 + 13536360*a11**2*b12**4*kap**3*n2**2 + 4651200*b12**6*kap**4*
n2**2) + u2**3*u3**2*v1*( - 20297520*a11**5*b12**3*kap**2 + 2199240*a11**3*b12**
5*kap**3 + 791160*a11*b12**7*kap**4) + u2**3*u3**2*(71310912*a11**7*kap*n2 +
73323136*a11**5*b12**2*kap**2*n2 - 22965176*a11**3*b12**4*kap**3*n2 - 3271800*
a11*b12**6*kap**4*n2) + u2**3*u3*v2*v3*( - 19013472*a11**6*b12**2*kap + 8093328*
a11**4*b12**4*kap**2 + 14703600*a11**2*b12**6*kap**3 - 9302400*b12**8*kap**4) +
u2**3*v1**3*(6667056*a11**5*b12**3*kap - 945864*a11**3*b12**5*kap**2 - 13814520*
a11*b12**7*kap**3) + u2**3*v1**2*( - 20001168*a11**5*b12**2*kap*n2 + 2837592*a11
**3*b12**4*kap**2*n2 + 22838760*a11*b12**6*kap**3*n2) + u2**3*v1*v2**2*(9506736*
a11**5*b12**3*kap - 1206984*a11**3*b12**5*kap**2 - 16915320*a11*b12**7*kap**3) -
9302400*u2**3*v1*v3**2*a11*b12**7*kap**3 + u2**3*v1*(20001168*a11**5*b12*kap*n2
**2 - 5938392*a11**3*b12**3*kap**2*n2**2 - 13536360*a11*b12**5*kap**3*n2**2) +
u2**3*v2**2*( - 9506736*a11**5*b12**2*kap*n2 + 1206984*a11**3*b12**4*kap**2*n2 +
16915320*a11*b12**6*kap**3*n2) + 9302400*u2**3*v3**2*a11*b12**6*kap**3*n2 + u2
**3*( - 6667056*a11**5*kap*n2**3 + 4046664*a11**3*b12**2*kap**2*n2**3 + 4512120*
a11*b12**4*kap**3*n2**3) + u2**2*u3**4*( - 15726276*a11**8*kap - 4423092*a11**6*
b12**2*kap**2 - 4505106*a11**4*b12**4*kap**3 - 2629890*a11**2*b12**6*kap**4 +
4651200*b12**8*kap**5) + u2**2*u3**2*v1**2*(8025192*a11**6*b12**2*kap + 5107812*
a11**4*b12**4*kap**2 + 3284220*a11**2*b12**6*kap**3 + 6201600*b12**8*kap**4) +
u2**2*u3**2*v1*( - 106055856*a11**6*b12*kap*n2 - 93563256*a11**4*b12**3*kap**2*
n2 + 17143800*a11**2*b12**5*kap**3*n2 - 4651200*b12**7*kap**4*n2) + u2**2*u3**2*
v2**2*(6173208*a11**6*b12**2*kap + 685788*a11**4*b12**4*kap**2 - 3937020*a11**2*
b12**6*kap**3 - 3100800*b12**8*kap**4) + u2**2*u3**2*v3**2*(1419840*a11**6*b12**
2*kap - 1550400*a11**4*b12**4*kap**2 + 130560*a11**2*b12**6*kap**3) + u2**2*u3**
2*(50466024*a11**6*kap*n2**2 + 40613364*a11**4*b12**2*kap**2*n2**2 - 17604660*
a11**2*b12**4*kap**3*n2**2 - 1550400*b12**6*kap**4*n2**2) + u2**2*u3*v1*v2*v3*(
19013472*a11**5*b12**3*kap - 2413968*a11**3*b12**5*kap**2 - 15225840*a11*b12**7*
kap**3) + u2**2*u3*v2*v3*( - 19013472*a11**5*b12**2*kap*n2 + 2413968*a11**3*b12
**4*kap**2*n2 + 15225840*a11*b12**6*kap**3*n2) + 4651200*u2**2*v1**4*b12**8*kap
**3 - 9302400*u2**2*v1**3*b12**7*kap**3*n2 + u2**2*v1**2*v2**2*(2839680*a11**4*
b12**4*kap - 261120*a11**2*b12**6*kap**2) + 4651200*u2**2*v1**2*v3**2*b12**8*kap
**3 + u2**2*v1**2*(1550400*a11**2*b12**4*kap**2*n2**2 + 4651200*b12**6*kap**3*n2
**2) - 9302400*u2**2*v1*v2**2*b12**7*kap**3*n2 - 9302400*u2**2*v1*v3**2*b12**7*
kap**3*n2 - 3100800*u2**2*v1*a11**2*b12**3*kap**2*n2**3 + u2**2*v2**4*(2839680*
a11**4*b12**4*kap - 261120*a11**2*b12**6*kap**2 - 4651200*b12**8*kap**3) + u2**2
*v2**2*v3**2*(2839680*a11**4*b12**4*kap - 261120*a11**2*b12**6*kap**2 - 4651200*
b12**8*kap**3) + u2**2*v2**2*(1550400*a11**2*b12**4*kap**2*n2**2 + 4651200*b12**
6*kap**3*n2**2) + 4651200*u2**2*v3**2*b12**6*kap**3*n2**2 + 1550400*u2**2*a11**2
*b12**2*kap**2*n2**4 + u2*u3**4*v1*(20479644*a11**7*b12*kap + 9992808*a11**5*b12
**3*kap**2 - 3519726*a11**3*b12**5*kap**3 - 784890*a11*b12**7*kap**4) + u2*u3**4
*( - 8133228*a11**7*kap*n2 - 12619632*a11**5*b12**2*kap**2*n2 - 3701514*a11**3*
b12**4*kap**3*n2 + 8536890*a11*b12**6*kap**4*n2) + u2*u3**3*v2*v3*( - 9506736*
a11**6*b12**2*kap + 12565704*a11**4*b12**4*kap**2 + 6568440*a11**2*b12**6*kap**3
- 15504000*b12**8*kap**4) + u2*u3**2*v1**3*( - 8519040*a11**5*b12**3*kap +
783360*a11**3*b12**5*kap**2) + u2*u3**2*v1**2*( - 6201600*a11**3*b12**4*kap**2*
n2 + 9302400*a11*b12**6*kap**3*n2) + u2*u3**2*v1*v2**2*( - 12346416*a11**5*b12**
3*kap + 1468104*a11**3*b12**5*kap**2 + 7612920*a11*b12**7*kap**3) + u2*u3**2*v1*
v3**2*( - 2839680*a11**5*b12**3*kap + 261120*a11**3*b12**5*kap**2) + 7752000*u2*
u3**2*v1*a11**3*b12**3*kap**2*n2**2 + u2*u3**2*v2**2*(8086896*a11**5*b12**2*kap*
n2 - 1076424*a11**3*b12**4*kap**2*n2 - 2961720*a11*b12**6*kap**3*n2) + u2*u3**2*
v3**2*( - 1419840*a11**5*b12**2*kap*n2 + 130560*a11**3*b12**4*kap**2*n2 +
4651200*a11*b12**6*kap**3*n2) - 1550400*u2*u3**2*a11**3*b12**2*kap**2*n2**3 + u2
*u3*v1**2*v2*v3*(5679360*a11**4*b12**4*kap - 522240*a11**2*b12**6*kap**2 -
9302400*b12**8*kap**3) + u2*u3*v2**3*v3*(5679360*a11**4*b12**4*kap - 522240*a11
**2*b12**6*kap**2 - 9302400*b12**8*kap**3) + u2*u3*v2*v3**3*(5679360*a11**4*b12
**4*kap - 522240*a11**2*b12**6*kap**2 - 9302400*b12**8*kap**3) + 3100800*u2*u3*
v2*v3*a11**2*b12**4*kap**2*n2**2 + u3**6*( - 3886554*a11**8*kap - 1428828*a11**6
*b12**2*kap**2 - 446979*a11**4*b12**4*kap**3 - 1095905*a11**2*b12**6*kap**4 +
258400*b12**8*kap**5) + u3**4*v1**2*( - 4904160*a11**4*b12**4*kap**2 + 522240*
a11**2*b12**6*kap**3 + 4651200*b12**8*kap**4) + u3**4*v1*( - 2839680*a11**6*b12*
kap*n2 + 4259520*a11**4*b12**3*kap**2*n2 - 652800*a11**2*b12**5*kap**3*n2 -
7752000*b12**7*kap**4*n2) + u3**4*v2**2*(4753368*a11**6*b12**2*kap - 4087812*a11
**4*b12**4*kap**2 - 3414780*a11**2*b12**6*kap**3 + 4651200*b12**8*kap**4) + u3**
4*v3**2*(2195040*a11**4*b12**4*kap**2 - 130560*a11**2*b12**6*kap**3 - 3100800*
b12**8*kap**4) + u3**4*(709920*a11**6*kap*n2**2 - 1807440*a11**4*b12**2*kap**2*
n2**2 + 195840*a11**2*b12**4*kap**3*n2**2 + 3100800*b12**6*kap**4*n2**2) + u3**2
*v1**4*( - 709920*a11**4*b12**4*kap + 65280*a11**2*b12**6*kap**2 + 2325600*b12**
8*kap**3) + u3**2*v1**3*(1419840*a11**4*b12**3*kap*n2 - 130560*a11**2*b12**5*kap
**2*n2 - 4651200*b12**7*kap**3*n2) + u3**2*v1**2*v2**2*( - 2839680*a11**4*b12**4
*kap + 261120*a11**2*b12**6*kap**2 + 4651200*b12**8*kap**3) + u3**2*v1**2*( -
709920*a11**4*b12**2*kap*n2**2 + 65280*a11**2*b12**4*kap**2*n2**2 + 2325600*b12
**6*kap**3*n2**2) + u3**2*v1*v2**2*(1419840*a11**4*b12**3*kap*n2 - 130560*a11**2
*b12**5*kap**2*n2 - 4651200*b12**7*kap**3*n2) + u3**2*v1*v3**2*(1419840*a11**4*
b12**3*kap*n2 - 130560*a11**2*b12**5*kap**2*n2 - 4651200*b12**7*kap**3*n2) + u3
**2*v2**4*( - 2129760*a11**4*b12**4*kap + 195840*a11**2*b12**6*kap**2 + 2325600*
b12**8*kap**3) + u3**2*v2**2*v3**2*( - 1419840*a11**4*b12**4*kap + 130560*a11**2
*b12**6*kap**2) - 1550400*u3**2*v2**2*a11**2*b12**4*kap**2*n2**2 + u3**2*v3**4*(
709920*a11**4*b12**4*kap - 65280*a11**2*b12**6*kap**2 - 2325600*b12**8*kap**3)$
FI=u1**4*u2**2*(1680*a11**5 + 864*a11**3*b12**2*kap) + u1**4*u2*(3360*a11**4*n2
+ 1320*a11**2*b12**2*kap*n2 - 408*b12**4*kap**2*n2) + u1**4*u3**2*( - 1680*a11**
5 - 1833*a11**3*b12**2*kap - 153*a11*b12**4*kap**2) + 816*u1**4*v1**2*a11*b12**4
*kap - 816*u1**4*a11*b12**2*kap*n2**2 + u1**3*u2**2*v2*(5040*a11**4*b12 + 2592*
a11**2*b12**3*kap) + u1**3*u2*u3*v3*(3360*a11**4*b12 + 1728*a11**2*b12**3*kap) +
1632*u1**3*u2*v1*v2*a11*b12**4*kap + u1**3*u2*v2*(6720*a11**3*b12*n2 + 3456*a11
*b12**3*kap*n2) + u1**3*u3**2*v2*( - 5040*a11**4*b12 - 4020*a11**2*b12**3*kap +
1020*b12**5*kap**2) + 1632*u1**3*u3*v1*v3*a11*b12**4*kap - 1632*u1**3*u3*v3*a11*
b12**3*kap*n2 + 816*u1**3*v1**2*v2*b12**5*kap - 816*u1**3*v2*b12**3*kap*n2**2 +
u1**2*u2**4*(3360*a11**5 + 1728*a11**3*b12**2*kap) + u1**2*u2**3*v1*( - 5040*a11
**4*b12 - 2592*a11**2*b12**3*kap) + u1**2*u2**3*(8400*a11**4*n2 + 4320*a11**2*
b12**2*kap*n2) + u1**2*u2**2*u3**2*( - 1680*a11**5 - 2520*a11**3*b12**2*kap +
384*a11*b12**4*kap**2) + u1**2*u2**2*v1**2*(1680*a11**3*b12**2 + 1680*a11*b12**4
*kap) + u1**2*u2**2*v1*( - 6720*a11**3*b12*n2 - 3456*a11*b12**3*kap*n2) + u1**2*
u2**2*v2**2*(5040*a11**3*b12**2 + 3408*a11*b12**4*kap) - 3264*u1**2*u2**2*a11*
b12**2*kap*n2**2 + u1**2*u2*u3**2*v1*(1680*a11**4*b12 + 3312*a11**2*b12**3*kap)
+ u1**2*u2*u3**2*( - 5040*a11**4*n2 - 6468*a11**2*b12**2*kap*n2 + 1020*b12**4*
kap**2*n2) + u1**2*u2*u3*v2*v3*(6720*a11**3*b12**2 + 5088*a11*b12**4*kap) - 816*
u1**2*u2*v1**3*b12**5*kap + 816*u1**2*u2*v1**2*b12**4*kap*n2 + 1632*u1**2*u2*v1*
v2**2*b12**5*kap + 816*u1**2*u2*v1*b12**3*kap*n2**2 + u1**2*u2*v2**2*(3360*a11**
2*b12**2*n2 + 1728*b12**4*kap*n2) - 816*u1**2*u2*b12**2*kap*n2**3 + u1**2*u3**4*
( - 420*a11**5 + 90*a11**3*b12**2*kap + 510*a11*b12**4*kap**2) - 408*u1**2*u3**2
*v1**2*a11*b12**4*kap + 1632*u1**2*u3**2*v1*a11*b12**3*kap*n2 + u1**2*u3**2*v2**
2*( - 5040*a11**3*b12**2 - 5040*a11*b12**4*kap) - 1224*u1**2*u3**2*a11*b12**2*
kap*n2**2 + 1632*u1**2*u3*v1*v2*v3*b12**5*kap - 1632*u1**2*u3*v2*v3*b12**4*kap*
n2 + u1*u2**4*v2*(5040*a11**4*b12 + 2592*a11**2*b12**3*kap) + u1*u2**3*u3*v3*(
3360*a11**4*b12 + 1728*a11**2*b12**3*kap) + u1*u2**3*v1*v2*( - 6720*a11**3*b12**
2 - 1824*a11*b12**4*kap) + u1*u2**3*v2*(10080*a11**3*b12*n2 + 5184*a11*b12**3*
kap*n2) + u1*u2**2*u3**2*v2*( - 3360*a11**4*b12 - 5040*a11**2*b12**3*kap - 48*
b12**5*kap**2) + u1*u2**2*u3*v1*v3*( - 3360*a11**3*b12**2 - 96*a11*b12**4*kap) +
u1*u2**2*u3*v3*(3360*a11**3*b12*n2 + 96*a11*b12**3*kap*n2) + u1*u2**2*v1**2*v2*
(1680*a11**2*b12**3 - 768*b12**5*kap) + u1*u2**2*v1*v2*( - 6720*a11**2*b12**2*n2
- 1824*b12**4*kap*n2) + u1*u2**2*v2**3*(1680*a11**2*b12**3 + 1680*b12**5*kap) +
u1*u2**2*v2*(5040*a11**2*b12*n2**2 + 2592*b12**3*kap*n2**2) + u1*u2*u3**3*v3*(
1680*a11**4*b12 + 864*a11**2*b12**3*kap) + u1*u2*u3**2*v1*v2*(3360*a11**3*b12**2
+ 5808*a11*b12**4*kap) + u1*u2*u3**2*v2*( - 5040*a11**3*b12*n2 - 7488*a11*b12**
3*kap*n2) - 1632*u1*u2*u3*v1**2*v3*b12**5*kap + 3264*u1*u2*u3*v1*v3*b12**4*kap*
n2 + u1*u2*u3*v2**2*v3*(3360*a11**2*b12**3 + 3360*b12**5*kap) - 1632*u1*u2*u3*v3
*b12**3*kap*n2**2 + u1*u3**4*v2*( - 1260*a11**4*b12 - 342*a11**2*b12**3*kap +
918*b12**5*kap**2) + 816*u1*u3**3*v1*v3*a11*b12**4*kap - 816*u1*u3**3*v3*a11*b12
**3*kap*n2 - 816*u1*u3**2*v1**2*v2*b12**5*kap + 1632*u1*u3**2*v1*v2*b12**4*kap*
n2 + u1*u3**2*v2**3*( - 1680*a11**2*b12**3 - 1680*b12**5*kap) - 816*u1*u3**2*v2*
b12**3*kap*n2**2 + u2**6*(1680*a11**5 + 864*a11**3*b12**2*kap) + u2**5*v1*( -
5040*a11**4*b12 - 2592*a11**2*b12**3*kap) + u2**5*(5040*a11**4*n2 + 2592*a11**2*
b12**2*kap*n2) + u2**4*u3**2*( - 840*a11**5 - 2928*a11**3*b12**2*kap - 864*a11*
b12**4*kap**2) + u2**4*v1**2*(5040*a11**3*b12**2 + 2592*a11*b12**4*kap) + u2**4*
v1*( - 10080*a11**3*b12*n2 - 5184*a11*b12**3*kap*n2) + u2**4*v2**2*(1680*a11**3*
b12**2 + 1680*a11*b12**4*kap) + u2**4*(5040*a11**3*n2**2 + 2592*a11*b12**2*kap*
n2**2) + u2**3*u3**2*v1*(3312*a11**2*b12**3*kap + 48*b12**5*kap**2) + u2**3*u3**
2*( - 3360*a11**4*n2 - 7760*a11**2*b12**2*kap*n2 - 1136*b12**4*kap**2*n2) + u2**
3*u3*v2*v3*(3360*a11**3*b12**2 + 3360*a11*b12**4*kap) + u2**3*v1**3*( - 1680*a11
**2*b12**3 - 864*b12**5*kap) + u2**3*v1**2*(5040*a11**2*b12**2*n2 + 2592*b12**4*
kap*n2) + u2**3*v1*v2**2*( - 1680*a11**2*b12**3 - 1680*b12**5*kap) + u2**3*v1*(
- 5040*a11**2*b12*n2**2 - 2592*b12**3*kap*n2**2) + u2**3*v2**2*(1680*a11**2*b12
**2*n2 + 1680*b12**4*kap*n2) + u2**3*(1680*a11**2*n2**3 + 864*b12**2*kap*n2**3)
+ u2**2*u3**4*( - 420*a11**5 - 750*a11**3*b12**2*kap + 78*a11*b12**4*kap**2) +
u2**2*u3**2*v1**2*(840*a11**3*b12**2 - 2016*a11*b12**4*kap) + u2**2*u3**2*v1*(
1680*a11**3*b12*n2 + 7392*a11*b12**3*kap*n2) + u2**2*u3**2*v2**2*( - 840*a11**3*
b12**2 - 840*a11*b12**4*kap) + u2**2*u3**2*( - 2520*a11**3*n2**2 - 5376*a11*b12
**2*kap*n2**2) + u2**2*u3*v1*v2*v3*( - 3360*a11**2*b12**3 - 3360*b12**5*kap) +
u2**2*u3*v2*v3*(3360*a11**2*b12**2*n2 + 3360*b12**4*kap*n2) + u2*u3**4*v1*( -
420*a11**4*b12 - 522*a11**2*b12**3*kap - 918*b12**5*kap**2) + u2*u3**4*( - 1260*
a11**4*n2 - 1158*a11**2*b12**2*kap*n2 + 918*b12**4*kap**2*n2) + u2*u3**3*v2*v3*(
1680*a11**3*b12**2 + 1680*a11*b12**4*kap) + 816*u2*u3**2*v1**3*b12**5*kap - 2448
*u2*u3**2*v1**2*b12**4*kap*n2 + u2*u3**2*v1*v2**2*(1680*a11**2*b12**3 + 1680*b12
**5*kap) + 2448*u2*u3**2*v1*b12**3*kap*n2**2 + u2*u3**2*v2**2*( - 1680*a11**2*
b12**2*n2 - 1680*b12**4*kap*n2) - 816*u2*u3**2*b12**2*kap*n2**3 + u3**6*(70*a11
**5 + 223*a11**3*b12**2*kap + 153*a11*b12**4*kap**2) - 408*u3**4*v1**2*a11*b12**
4*kap + 816*u3**4*v1*a11*b12**3*kap*n2 + u3**4*v2**2*( - 840*a11**3*b12**2 - 840
*a11*b12**4*kap) - 408*u3**4*a11*b12**2*kap*n2**2$
FI=u1**2*u2**2*(36*a11**2*n2**2 + 18*b12**2*kap*n2**2) + u1**2*u2*u3**2*( - 24*
a11**3*n2 - 24*a11*b12**2*kap*n2) + 36*u1**2*u2*a11*n2**3 + u1**2*u3**4*( - 6*
a11**4 - 12*a11**2*b12**2*kap - 6*b12**4*kap**2) + u1**2*u3**2*( - 18*a11**2*n2
**2 - 18*b12**2*kap*n2**2) - 18*u1**2*v1**2*b12**2*n2**2 + 18*u1**2*n2**4 + 36*
u1*u2**2*v2*a11*b12*n2**2 + 36*u1*u2*u3*v3*a11*b12*n2**2 - 36*u1*u2*v1*v2*b12**2
*n2**2 + 36*u1*u2*v2*b12*n2**3 + u1*u3**4*v2*( - 6*a11**3*b12 - 6*a11*b12**3*kap
) + u1*u3**3*v3*( - 24*a11**2*b12*n2 - 24*b12**3*kap*n2) - 36*u1*u3*v1*v3*b12**2
*n2**2 + 36*u1*u3*v3*b12*n2**3 + 18*u2**4*a11**2*n2**2 - 36*u2**3*v1*a11*b12*n2
**2 + 36*u2**3*a11*n2**3 + u2**2*u3**4*( - 6*a11**4 - 12*a11**2*b12**2*kap - 6*
b12**4*kap**2) + 18*u2**2*u3**2*a11**2*n2**2 + 18*u2**2*v1**2*b12**2*n2**2 - 36*
u2**2*v1*b12*n2**3 + 18*u2**2*n2**4 + u2*u3**4*v1*(6*a11**3*b12 + 6*a11*b12**3*
kap) + u2*u3**4*( - 30*a11**3*n2 - 30*a11*b12**2*kap*n2) - 36*u2*u3**2*v1*a11*
b12*n2**2 + 36*u2*u3**2*a11*n2**3 + u3**6*(3*a11**4 + 5*a11**2*b12**2*kap + 2*
b12**4*kap**2) + u3**4*v1**2*( - 6*a11**2*b12**2 - 6*b12**4*kap) + u3**4*v1*(24*
a11**2*b12*n2 + 24*b12**3*kap*n2) + u3**4*v2**2*( - 6*a11**2*b12**2 - 6*b12**4*
kap) + u3**4*v3**2*( - 6*a11**2*b12**2 - 6*b12**4*kap) + u3**4*( - 18*a11**2*n2
**2 - 18*b12**2*kap*n2**2) + 18*u3**2*v1**2*b12**2*n2**2 - 36*u3**2*v1*b12*n2**3
+ 18*u3**2*n2**4$