Solution 7 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 1 2
---*b12*n2*r341 + ---*n2 *r446
2 2
r214=--------------------------------
2
b12
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
a11*b12*r341 - ---*a11*n2*r446 - b12*n2*r4117
2
r329=-----------------------------------------------
2
b12
r330=0
r331=0
- b12*r341 - n2*r446
r332=-----------------------
b12
r333=0
138897 4 35 3 2 3
r334=( - --------*a11 *n2*r446 + ----*a11 *b12*n2*r4117 + a11 *b12 *kap*r341
64600 17
168611 2 2 18 3
+ --------*a11 *b12 *kap*n2*r446 + ----*a11*b12 *kap*n2*r4117
129200 17
1979 4 2 4
+ ------*b12 *kap *n2*r446)/(a11*b12 *kap)
1360
r335=0
r336=0
r337=0
r338=0
r339=0
r340=0
r342=0
r343=0
r344=0
r345=0
b12*r341 + n2*r446
r346=--------------------
b12
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
r427= - ---*r446
2
r428=0
r429=0
87 4 1 2 3
r430=( - -----*a11 *n2*r446 + ---*a11 *b12 *kap*r341
380 2
2 2 2 3 4 2 2 2
+ ----*a11 *b12 *kap*n2*r446 + ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2)
95 4
r431=0
r432=0
r433=0
87 6 1 4 3 443 4 2
r434=(-----*a11 *n2*r446 - ---*a11 *b12 *kap*r341 - -----*a11 *b12 *kap*n2*r446
380 2 760
1 3 3 1 2 5 2
- ---*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
2 2
6 2 4 2 6 3 2 4
+ ----*a11 *b12 *kap *n2*r446 + b12 *kap *n2*r446)/(a11 *b12 *kap*n2)
95
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
r447=0
r448=0
r449=0
r450=0
r451=0
r452=0
5
- a11*b12*r341 + ---*a11*n2*r446 + 3*b12*n2*r4117
2
r453=----------------------------------------------------
b12*n2
r454=0
3 2
---*b12 *kap*r446
2
r455=-------------------
2
a11
r456=0
1 2 3 2
---*a11 *r446 + ---*b12 *kap*r446
2 2
r457=-----------------------------------
2
a11
r458=0
r459=0
1 2 1 2 3 2
---*a11 *b12*r341 + ---*a11 *n2*r446 + ---*b12 *kap*n2*r446
2 2 2
r460=-------------------------------------------------------------
2
a11 *n2
r461=0
r462=0
r463=0
2102751 6 105 5 1 4 3
r464=(---------*a11 *n2*r446 - -----*a11 *b12*n2*r4117 + ---*a11 *b12 *kap*r341
129200 34 2
3384447 4 2 112 3 3
+ ---------*a11 *b12 *kap*n2*r446 - -----*a11 *b12 *kap*n2*r4117
258400 17
293411 2 4 2 1 6 3 2 4
- --------*a11 *b12 *kap *n2*r446 - ---*b12 *kap *n2*r446)/(a11 *b12 *kap
51680 2
*n2)
r465=0
r466=0
416691 4 105 3 2 3
r467=(--------*a11 *n2*r446 - -----*a11 *b12*n2*r4117 - a11 *b12 *kap*r341
64600 17
247433 2 2 54 3
- --------*a11 *b12 *kap*n2*r446 - ----*a11*b12 *kap*n2*r4117
129200 17
5937 4 2 3
- ------*b12 *kap *n2*r446)/(a11*b12 *kap*n2)
1360
r468=0
416691 6 105 5
r469=( - --------*a11 *n2*r446 + -----*a11 *b12*n2*r4117
64600 17
1 4 3 182833 4 2
+ ---*a11 *b12 *kap*r341 + --------*a11 *b12 *kap*n2*r446
2 129200
54 3 3 5937 2 4 2
+ ----*a11 *b12 *kap*n2*r4117 + ------*a11 *b12 *kap *n2*r446
17 1360
3 6 3 2 4
+ ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2)
2
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
87 4 2 3 4 2 2
r483=(-----*a11 *n2*r446 - a11 *b12 *kap*r341 - ----*a11 *b12 *kap*n2*r446
190 95
3 4 2 2 2
- ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2)
2
r484=0
r485=0
r486=0
1
- ---*a11*r446 - b12*r4117
2
r487=-----------------------------
b12
r488=0
r489=0
r490=0
r491=0
r492=0
r493=0
- b12*r341
r494=-------------
n2
r495=0
a11*b12*r341 - 2*a11*n2*r446 - 2*b12*n2*r4117
r496=-----------------------------------------------
b12*n2
r497=0
r498=0
r499=0
r4100=0
416691 4 105 3 2 3
r4101=( - --------*a11 *n2*r446 + -----*a11 *b12*n2*r4117 + a11 *b12 *kap*r341
64600 17
247433 2 2 54 3
+ --------*a11 *b12 *kap*n2*r446 + ----*a11*b12 *kap*n2*r4117
129200 17
5937 4 2 3
+ ------*b12 *kap *n2*r446)/(a11*b12 *kap*n2)
1360
r4102=0
r4103=0
r4104=0
261 6 39 4 2 289 2 4 2
r4105=( - -----*a11 *r446 - -----*a11 *b12 *kap*r446 + -----*a11 *b12 *kap *r446
190 380 190
3 6 3 2 4 2
+ ---*b12 *kap *r446)/(a11 *b12 *kap )
4
r4106=0
r4108=0
r4109=0
261 4 6 2 2 1 5 2
r4110=( - -----*a11 *n2*r446 + ----*a11 *b12 *kap*n2*r446 - ---*b12 *kap *r341
380 95 2
3 4 2 4 2
+ ---*b12 *kap *n2*r446)/(b12 *kap *n2)
4
r4111=0
r4112=0
r4113=0
87 6 1 4 3 269 4 2
r4114=(-----*a11 *n2*r446 - ---*a11 *b12 *kap*r341 - -----*a11 *b12 *kap*n2*r446
190 2 190
3 3 3 1 2 5 2
- ---*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
2 2
12 2 4 2 6 3 2 4
+ ----*a11 *b12 *kap *n2*r446 + 2*b12 *kap *n2*r446)/(a11 *b12 *kap*n2)
95
r4115=0
r4116=0
r4118=0
13659 6 4 3 12531 4 2
r4119=(-------*a11 *n2*r446 + a11 *b12 *kap*r341 + -------*a11 *b12 *kap*n2*r446
380 380
3 3 1 2 5 2
- 4*a11 *b12 *kap*n2*r4117 + ---*a11 *b12 *kap *r341
2
1609 2 4 2 1 6 3 2 4
- ------*a11 *b12 *kap *n2*r446 - ---*b12 *kap *n2*r446)/(a11 *b12 *kap
190 2
*n2)
r4120=0
261 4 12 2 2 3
r4121=(-----*a11 *r446 - ----*a11 *b12 *kap*r446 - a11*b12 *kap*r4117
190 95
3 4 2 3
- ---*b12 *kap *r446)/(a11*b12 *kap)
2
r4122=0
r4123=0
r4124=0
87 6 269 4 2 3 3
r4125=(-----*a11 *r446 - -----*a11 *b12 *kap*r446 - a11 *b12 *kap*r4117
380 380
6 2 4 2 6 3 2 4
+ ----*a11 *b12 *kap *r446 + b12 *kap *r446)/(a11 *b12 *kap)
95
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
87 4 4 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
190 95 2
r540=----------------------------------------------------------------
2
a11 *b12*kap*n2
r541=0
87 4 4 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
190 95 2
r542=----------------------------------------------------------------
2
a11 *b12*kap*n2
r543=0
r544=0
87 4 4 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
190 95 2
r545=----------------------------------------------------------------
2
a11 *b12*kap*n2
r546=0
r547=0
r548=0
r549=0
r550=0
r551=0
r552=0
r553=0
87 6 2 4 3
r554=( - ----*a11 *n2*r446 + ---*a11 *b12 *kap*r341
95 3
261 4 2 3 3
+ -----*a11 *b12 *kap*n2*r446 + a11 *b12 *kap*n2*r4117
190
2 2 5 2 4 2 4 2
+ ---*a11 *b12 *kap *r341 - ----*a11 *b12 *kap *n2*r446
3 19
5 6 3 2 3 2
- ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2 )
2
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
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r581=-------------------------------------------------------------------
2
a11*b12 *kap*n2
r582=0
168477 4 35 3 44851 2 2
r583=(--------*a11 *r446 - ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
35 3 1299 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12 *kap*n2)
17 1360
r584=0
r585=0
2 2
- 2*a11 *r446 - 3*a11*b12*r4117 + 3*b12 *kap*r446
r586=----------------------------------------------------
a11*n2
r587=0
r588=0
r589=0
677769 6 105 5
r590=( - --------*a11 *n2*r446 - -----*a11 *b12*n2*r4117
258400 68
5 4 3 262909 4 2
- ---*a11 *b12 *kap*r341 - --------*a11 *b12 *kap*n2*r446
6 64600
193 3 3 5 2 5 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
136 6
616919 2 4 2 9 5 2
- --------*a11 *b12 *kap *n2*r446 + ---*a11*b12 *kap *n2*r4117
516800 8
881 6 3 4 2
+ -----*b12 *kap *n2*r446)/(a11*b12 *kap*n2 )
320
r591=0
r592=0
r593=0
r594=0
3
- 3*b12 *kap*r446
r595=--------------------
2
a11 *n2
r596=0
3
- 3*b12 *kap*r446
r597=--------------------
2
a11 *n2
r598=0
r599=0
3
- 3*b12 *kap*r446
r5100=--------------------
2
a11 *n2
r5101=0
198057 4 70 3 50291 2 2
r5102=( - --------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
70 3 3339 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12 *kap*n2)
17 680
r5103=0
r5104=0
r5105=0
r5106=0
r5107=0
r5108=0
2209497 6 35 5
r5109=( - ---------*a11 *r446 + ----*a11 *b12*r4117
64600 17
3898469 4 2 154 3 3
- ---------*a11 *b12 *kap*r446 + -----*a11 *b12 *kap*r4117
129200 17
28573 2 4 2 3 6 3 2 3
+ -------*a11 *b12 *kap *r446 - ---*b12 *kap *r446)/(a11 *b12 *kap*n2)
5168 2
r5110=0
2
3*b12 *kap*r446
r5111=-----------------
a11*n2
r5112=0
198057 4 35 3 50291 2 2
r5113=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 7419 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12 *kap*n2)
17 1360
r5114=0
r5115=0
416691 4 105 3
r5116=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
118233 2 2 54 3
+ --------*a11 *b12 *kap*r446 + ----*a11*b12 *kap*r4117
129200 17
10017 4 2 2
+ -------*b12 *kap *r446)/(a11*b12 *kap*n2)
1360
r5117=0
r5118=0
r5119=0
371411 6 70 5 572837 4 2
r5120=(--------*a11 *r446 - ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
16150 17 24225
485 3 3 2870647 2 4 2
- -----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *r446
51 387600
71 5 2 287 6 3 4
- ----*a11*b12 *kap *r4117 - -----*b12 *kap *r446)/(a11*b12 *kap*n2)
51 272
r5121=0
r5122=0
416691 6 210 5 118233 4 2
r5123=(--------*a11 *r446 - -----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
32300 17 64600
108 3 3 5937 2 4 2
- -----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *r446
17 680
6 3 2 3
- 3*b12 *kap *r446)/(a11 *b12 *kap*n2)
r5124=0
416691 6 105 5
r5125=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
118233 4 2 54 3 3
+ --------*a11 *b12 *kap*r446 + ----*a11 *b12 *kap*r4117
129200 17
5937 2 4 2 6 3 4
+ ------*a11 *b12 *kap *r446 + 3*b12 *kap *r446)/(a11*b12 *kap*n2)
1360
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
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r5141=-------------------------------------------------------------------
2
a11 *b12*kap*n2
r5142=0
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r5143=-------------------------------------------------------------------
2
a11 *b12*kap*n2
r5144=0
r5145=0
r5146=0
r5147=0
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r5148=-------------------------------------------------------------------
2
a11 *b12*kap*n2
r5149=0
r5150=0
r5151=0
r5152=0
r5153=0
r5154=0
348 4 32 2 2 3
r5155=(-----*a11 *r446 - ----*a11 *b12 *kap*r446 + 2*a11*b12 *kap*r4117
95 95
4 2 2
- 6*b12 *kap *r446)/(a11*b12 *kap*n2)
r5156=0
87 6 2 4 3 261 4 2
r5157=(----*a11 *n2*r446 - ---*a11 *b12 *kap*r341 - -----*a11 *b12 *kap*n2*r446
95 3 190
3 3 2 2 5 2
- a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
3
4 2 4 2 5 6 3 2 3
+ ----*a11 *b12 *kap *n2*r446 + ---*b12 *kap *n2*r446)/(a11 *b12 *kap
19 2
2
*n2 )
r5158=0
r5159=0
r5160=0
r5161=0
3
3*b12 *kap*r446
r5162=-----------------
2
a11 *n2
r5163=0
3
3*b12 *kap*r446
r5164=-----------------
2
a11 *n2
r5165=0
r5166=0
r5167=0
r5168=0
3
3*b12 *kap*r446
r5169=-----------------
2
a11 *n2
r5170=0
r5171=0
r5172=0
r5173=0
2
4*a11*b12*r4117 - 6*b12 *kap*r446
r5174=-----------------------------------
a11*n2
r5175=0
r5176=0
r5177=0
2102751 6 105 5 3772047 4 2
r5178=(---------*a11 *r446 - -----*a11 *b12*r4117 + ---------*a11 *b12 *kap*r446
64600 17 129200
156 3 3 267571 2 4 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 25840
6 3 2 3
- b12 *kap *r446)/(a11 *b12 *kap*n2)
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
109317 4 140 3 33971 2 2
r5185=(--------*a11 *r446 - -----*a11 *b12*r4117 - -------*a11 *b12 *kap*r446
16150 17 32300
38 3 1299 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12 *kap*n2)
17 340
r5186=0
53373 6 70 5 63211 4 2
r5187=(-------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
2 3 3 62353 2 4 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 12920
5 6 3 2 3
+ ---*b12 *kap *r446)/(a11 *b12 *kap*n2)
2
r5188=0
r5189=0
r5190=0
r5191=0
416691 6 210 5
r5192=( - --------*a11 *r446 + -----*a11 *b12*r4117
32300 17
118233 4 2 108 3 3
+ --------*a11 *b12 *kap*r446 + -----*a11 *b12 *kap*r4117
64600 17
5937 2 4 2 6 3 2 3
+ ------*a11 *b12 *kap *r446 + 3*b12 *kap *r446)/(a11 *b12 *kap*n2)
680
r5193=0
r5194=0
r5195=0
r5196=0
r5197=0
r5198=0
r5199=0
r5200=0
r5201=0
r5202=0
r5203=0
r5204=0
r5205=0
r5206=0
174 3 16 2 3
-----*a11 *r446 - ----*a11*b12 *kap*r446 - 2*b12 *kap*r4117
95 95
r5207=-------------------------------------------------------------
2
b12 *kap*n2
r5208=0
r5209=0
r5210=0
r5211=0
r5212=0
r5213=0
87 6 451 4 2 3 3
r5214=( - ----*a11 *r446 + -----*a11 *b12 *kap*r446 + 2*a11 *b12 *kap*r4117
95 190
4 2 4 2 5 6 3 2 3
- ----*a11 *b12 *kap *r446 - ---*b12 *kap *r446)/(a11 *b12 *kap*n2)
19 2
r5215=0
2
3*b12 *kap*r446
r5216=-----------------
a11*n2
r5217=0
168477 4 70 3 44851 2 2
r5218=( - --------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
36 3 3339 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12 *kap*n2)
17 680
r5219=0
r5220=0
87 3 8 2 3
----*a11 *r446 - ----*a11*b12 *kap*r446 + b12 *kap*r4117
95 95
r5221=----------------------------------------------------------
2
b12 *kap*n2
r5222=0
r5223=0
r5224=0
682911 6 105 5 2 4 3
r5225=(--------*a11 *n2*r446 - -----*a11 *b12*n2*r4117 - ---*a11 *b12 *kap*r341
64600 17 3
317571 4 2 539 3 3
+ --------*a11 *b12 *kap*n2*r446 - -----*a11 *b12 *kap*n2*r4117
51680 68
2 2 5 2 1120187 2 4 2
- ---*a11 *b12 *kap *r341 - ---------*a11 *b12 *kap *n2*r446
3 129200
5 5 2 601 6 3 4
+ ---*a11*b12 *kap *n2*r4117 + -----*b12 *kap *n2*r446)/(a11*b12 *kap
4 160
2
*n2 )
r5226=0
r5227=0
124911 6 140 5 74601 4 2
r5228=(--------*a11 *r446 - -----*a11 *b12*r4117 - -------*a11 *b12 *kap*r446
8075 17 32300
72 3 3 63169 2 4 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *r446
17 6460
6 3 2 3
- 3*b12 *kap *r446)/(a11 *b12 *kap*n2)
r5229=0
806889 6 175 5
r5230=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
253223 4 2 90 3 3
+ --------*a11 *b12 *kap*r446 + ----*a11 *b12 *kap*r4117
129200 17
962601 2 4 2 6 3 4
+ --------*a11 *b12 *kap *r446 + 6*b12 *kap *r446)/(a11*b12 *kap*n2)
129200
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
87 6 451 4 2 3 3
r5237=(----*a11 *r446 - -----*a11 *b12 *kap*r446 - 2*a11 *b12 *kap*r4117
95 190
4 2 4 2 5 6 3 2 3
+ ----*a11 *b12 *kap *r446 + ---*b12 *kap *r446)/(a11 *b12 *kap*n2)
19 2
r5238=0
r5239=0
r5240=0
r5241=0
804 6 140 5 28361 4 2
r5242=(------*a11 *r446 + -----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
8075 17 32300
72 3 3 46651 2 4 2
+ ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *r446
17 6460
6 3 2 3
+ 3*b12 *kap *r446)/(a11 *b12 *kap*n2)
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
r5249=0
198057 6 70 5 397861 4 2
r5250=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
32300 17 129200
55 3 3 303537 2 4 2
+ ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *r446
34 64600
1 5 2 199 6 3 4
- ---*a11*b12 *kap *r4117 + -----*b12 *kap *r446)/(a11*b12 *kap*n2)
2 80
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
87 4 2 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
380 95 4
r649=----------------------------------------------------------------
2 2
a11 *kap*n2
r650=0
87 2 4 2
- -----*a11 *r446 + ----*b12 *kap*r446
190 95
r651=-----------------------------------------
2
kap*n2
r652=0
261 4 6 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
380 95 4
r653=-------------------------------------------------------------------
2 2
a11 *kap*n2
r654=0
r655=0
r656=0
r657=0
r659=0
87 4 8 2 2 3 4 2
- ----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
95 95 2
r660=------------------------------------------------------------------
2 2
a11 *kap*n2
r661=0
r662=0
87 4 2 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
380 95 4
r663=-------------------------------------------------------------------
2 2
a11 *kap*n2
r665=0
r666=0
r667=0
r668=0
r669=0
r670=0
r671=0
r672=0
r673=0
1 4 269 4 1 2 3
r674=( - ---*a11 *b12*r341 + -----*a11 *n2*r446 - ---*a11 *b12 *kap*r341
6 380 6
4 2 2 4 2 2 3
- ----*a11 *b12 *kap*n2*r446 - b12 *kap *n2*r446)/(a11 *n2 )
95
r675=0
198057 6 35 5 1 4 3
r676=(--------*a11 *n2*r446 - ----*a11 *b12*n2*r4117 - ---*a11 *b12 *kap*r341
129200 34 6
17929 4 2 35 3 3
- -------*a11 *b12 *kap*n2*r446 - ----*a11 *b12 *kap*n2*r4117
13600 34
1 2 5 2 56913 2 4 2
- ---*a11 *b12 *kap *r341 - -------*a11 *b12 *kap *n2*r446
6 51680
3 6 3 2 2 3
+ ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2 )
2
r677=0
r678=0
1 4 601 4 1 3
r679=( - ---*a11 *b12*r341 - -----*a11 *n2*r446 - ---*a11 *b12*n2*r4117
6 380 2
1 2 3 16 2 2
- ---*a11 *b12 *kap*r341 + ----*a11 *b12 *kap*n2*r446
6 95
3 4 2 2 3
+ ---*b12 *kap *n2*r446)/(a11 *n2 )
2
r680=0
r681=0
r682=0
647759 8 35 7
r683=( - --------*a11 *n2*r446 + -----*a11 *b12*n2*r4117
516800 408
1 6 3 119069 6 2
+ ----*a11 *b12 *kap*r341 - --------*a11 *b12 *kap*n2*r446
12 258400
223 5 3 5 4 5 2
+ -----*a11 *b12 *kap*n2*r4117 + ----*a11 *b12 *kap *r341
816 36
148993 4 4 2 3 3 5 2
- ---------*a11 *b12 *kap *n2*r446 + ----*a11 *b12 *kap *n2*r4117
1033600 16
1 2 7 3 12893 2 6 3
+ ----*a11 *b12 *kap *r341 - -------*a11 *b12 *kap *n2*r446
18 36480
1 8 4 2 4 3
+ ----*b12 *kap *n2*r446)/(a11 *b12 *kap*n2 )
12
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
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6106=--------------------------------------------------------------
2 2
a11 *kap*n2
r6107=0
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6108=--------------------------------------------------------------
2 2
a11 *kap*n2
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6115=--------------------------------------------------------------
2 2
a11 *kap*n2
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
r6121=0
r6122=0
r6123=0
87 3 8 2
- ----*a11 *r446 + ----*a11*b12 *kap*r446
95 95
r6124=--------------------------------------------
2
b12*kap*n2
r6125=0
257217 4 35 3 61171 2 2
r6126=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 3339 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6127=0
r6128=0
261 3 24 2 3
- -----*a11 *r446 + ----*a11*b12 *kap*r446 + b12 *kap*r4117
95 95
r6129=--------------------------------------------------------------
2
b12*kap*n2
r6130=0
198057 6 35 5 523571 4 2
r6131=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 3 54737 2 4 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 25840
6 3 2 2 2
- 5*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6132=0
r6133=0
r6134=0
r6135=0
r6136=0
r6137=0
89823 6 35 5 1 4 3
r6138=(-------*a11 *n2*r446 - ----*a11 *b12*n2*r4117 + ---*a11 *b12 *kap*r341
13600 68 6
416367 4 2 87 3 3
+ --------*a11 *b12 *kap*n2*r446 - -----*a11 *b12 *kap*n2*r4117
129200 136
1 2 5 2 586621 2 4 2
+ ---*a11 *b12 *kap *r341 - --------*a11 *b12 *kap *n2*r446
6 516800
9 5 2 81 6 3 3
- ---*a11*b12 *kap *n2*r4117 - -----*b12 *kap *n2*r446)/(a11*b12 *kap
8 320
3
*n2 )
r6139=0
r6140=0
r6141=0
87 4 8 2 2 3 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
95 95 2
r6142=---------------------------------------------------------------
2 2
a11 *kap*n2
r6143=0
87 4 8 2 2 3 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
95 95 2
r6144=---------------------------------------------------------------
2 2
a11 *kap*n2
r6145=0
r6146=0
r6147=0
r6148=0
3 4
---*b12 *kap*r446
2
r6149=-------------------
2 2
a11 *n2
r6150=0
87 2 8 2
----*a11 *r446 - ----*b12 *kap*r446
95 95
r6151=-------------------------------------
2
kap*n2
r6152=0
r6153=0
3 4
---*b12 *kap*r446
2
r6154=-------------------
2 2
a11 *n2
r6155=0
r6156=0
r6157=0
r6158=0
r6159=0
198057 4 70 3 50291 2 2
r6160=(--------*a11 *r446 - ----*a11 *b12*r4117 - -------*a11 *b12 *kap*r446
32300 17 64600
70 3 3339 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 680
r6161=0
r6162=0
r6163=0
r6164=0
87 4 1 2 2 4 4 2
-----*a11 *r446 - ---*a11 *b12 *kap*r446 + ----*b12 *kap *r446
190 2 95
r6165=----------------------------------------------------------------
2 2
b12 *kap*n2
r6166=0
257217 6 35 5 57149 4 2
r6167=(--------*a11 *r446 - ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
129200 34 258400
35 3 3 65617 2 4 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *r446
34 51680
6 3 2 2 2
- b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6168=0
r6169=0
334383 6 35 5 425651 4 2
r6170=(--------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
129200 34 258400
42 3 3 54737 2 4 2
- ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 51680
6 3 2 2 2
+ 2*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6171=0
r6172=0
r6173=0
1310523 8 35 7
r6174=( - ---------*a11 *n2*r446 - ----*a11 *b12*n2*r4117
258400 68
1 6 3 368591 6 2
- ---*a11 *b12 *kap*r341 - --------*a11 *b12 *kap*n2*r446
6 258400
125 5 3 1 4 5 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
136 3
750851 4 4 2 13 3 5 2
- --------*a11 *b12 *kap *n2*r446 + -----*a11 *b12 *kap *n2*r4117
516800 136
1 2 7 3 87663 2 6 3
- ---*a11 *b12 *kap *r341 - --------*a11 *b12 *kap *n2*r446
6 103360
3 8 4 2 4 3
+ ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2 )
2
r6175=0
r6176=0
r6177=0
r6178=0
3
- 3*b12 *kap*r446
r6179=--------------------
2
a11*n2
r6180=0
198057 4 35 3 50291 2 2
r6181=(--------*a11 *r446 - ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
35 3 7419 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6182=0
r6183=0
138897 4 35 3 39411 2 2
r6184=(--------*a11 *r446 - ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
18 3 6059 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6185=0
198057 6 70 5 168611 4 2
r6186=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
32300 17 64600
70 3 3 12253 2 4 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 2584
6 3 2 2 2
- 3*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6187=0
r6188=0
r6189=0
r6190=0
r6191=0
r6192=0
84573 4 69 3 18327 2 2
r6193=( - -------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
12920 17 25840
1 3 347 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12*n2 )
17 1360
r6194=0
3 2
---*b12 *kap*r446
2
r6195=-------------------
2
n2
r6196=0
198057 6 35 5 168611 4 2
r6197=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 3 20005 2 4 2
+ ----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 5168
3 6 3 2 2 2
- ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
2
r6198=0
r6199=0
416691 6 105 5
r6200=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
118233 4 2 54 3 3
+ --------*a11 *b12 *kap*r446 + ----*a11 *b12 *kap*r4117
129200 17
7977 2 4 2 3 6 3 2 2 2
+ ------*a11 *b12 *kap *r446 + ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
1360 2
r6201=0
r6202=0
r6203=0
36171 8 35 7 1288623 6 2
r6204=(-------*a11 *r446 - ----*a11 *b12*r4117 + ---------*a11 *b12 *kap*r446
64600 34 258400
61 5 3 643411 4 4 2
- ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 258400
18 3 5 2 8615 2 6 3
- ----*a11 *b12 *kap *r4117 - ------*a11 *b12 *kap *r446
17 5168
3 8 4 2 4 2
+ ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
4
r6205=0
r6206=0
416691 6 105 5 118233 4 2
r6207=(--------*a11 *r446 - -----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
54 3 3 5937 2 4 2
- ----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *r446
17 1360
6 3 3 2
- 3*b12 *kap *r446)/(a11*b12 *kap*n2 )
r6208=0
138897 6 35 5 39411 4 2
r6209=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
18 3 3 1979 2 4 2
+ ----*a11 *b12 *kap*r4117 + ------*a11 *b12 *kap *r446
17 1360
3 6 3 4 2
+ ---*b12 *kap *r446)/(b12 *kap*n2 )
2
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
87 4 8 2 2 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6236=-------------------------------------------------------------
2 2
a11 *kap*n2
r6237=0
87 4 8 2 2 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6238=-------------------------------------------------------------
2 2
a11 *kap*n2
r6239=0
r6240=0
r6242=0
87 4 8 2 2 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6243=-------------------------------------------------------------
2 2
a11 *kap*n2
r6244=0
r6245=0
r6246=0
r6248=0
198057 4 35 3 50291 2 2
r6249=(--------*a11 *r446 - ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
35 3 3339 4 2 2
- ----*a11*b12 *kap*r4117 - ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6250=0
r6251=0
r6252=0
r6253=0
174 3 16 2 3
-----*a11 *r446 - ----*a11*b12 *kap*r446 - b12 *kap*r4117
95 95
r6254=-----------------------------------------------------------
2
b12*kap*n2
r6255=0
r6256=0
r6257=0
r6258=0
r6259
87 4 3 8 2 2 4 2
----*a11 *r446 + a11 *b12*r4117 - ----*a11 *b12 *kap*r446 - 5*b12 *kap *r446
19 19
=------------------------------------------------------------------------------
2 2
a11 *n2
r6260=0
r6261=0
r6262=0
914409 6 105 5
r6263=( - --------*a11 *n2*r446 - -----*a11 *b12*n2*r4117
258400 68
1 4 3 174169 4 2
- ---*a11 *b12 *kap*r341 - --------*a11 *b12 *kap*n2*r446
6 64600
57 3 3 1 2 5 2
- -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
136 6
725719 2 4 2 9 5 2
- --------*a11 *b12 *kap *n2*r446 + ---*a11*b12 *kap *n2*r4117
516800 8
81 6 3 3 3
+ -----*b12 *kap *n2*r446)/(a11*b12 *kap*n2 )
320
r6264=0
r6265=0
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 6*b12 *kap *r446
95 95
r6272=--------------------------------------------------------------
2 2
a11 *kap*n2
r6273=0
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 6*b12 *kap *r446
95 95
r6274=--------------------------------------------------------------
2 2
a11 *kap*n2
r6275=0
r6276=0
r6277=0
r6278=0
174 4 16 2 2 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - 6*b12 *kap *r446
95 95
r6279=--------------------------------------------------------------
2 2
a11 *kap*n2
r6280=0
87 3 8 2
----*a11 *r446 - ----*a11*b12 *kap*r446
95 95
r6281=-----------------------------------------
2
b12*kap*n2
r6282=0
168477 4 70 3 44851 2 2
r6283=( - --------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
70 3 3339 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 680
r6284=0
r6285=0
r6286=0
r6287=0
87 3 8 2 3
----*a11 *r446 - ----*a11*b12 *kap*r446 - 2*b12 *kap*r4117
19 19
r6288=------------------------------------------------------------
2
b12*kap*n2
r6289=0
r6290=0
r6291=0
r6292=0
r6293=0
r6294=0
198057 6 70 5 68029 4 2
r6295=( - --------*a11 *r446 + ----*a11 *b12*r4117 - -------*a11 *b12 *kap*r446
32300 17 64600
121 3 3 65617 2 4 2
+ -----*a11 *b12 *kap*r4117 + -------*a11 *b12 *kap *r446
17 12920
6 3 2 2 2
- 6*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6296=0
198057 5 35 4 68029 3 2
r6297=( - --------*a11 *r446 + ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
18 2 3 65617 4 2 3 2
+ ----*a11 *b12 *kap*r4117 + -------*a11*b12 *kap *r446)/(b12 *kap*n2 )
17 25840
r6298=0
r6299=0
r6300=0
r6301=0
3
3*b12 *kap*r446
r6302=-----------------
2
a11*n2
r6303=0
198057 4 35 3 50291 2 2
r6304=( - --------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 7419 4 2 2
+ ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6305=0
r6306=0
r6307=0
r6308=0
1083 4 35 3 929 2 2
r6309=( - ------*a11 *r446 + ----*a11 *b12*r4117 + ------*a11 *b12 *kap*r446
3400 17 6800
16 3 3339 4 2 2
- ----*a11*b12 *kap*r4117 + ------*b12 *kap *r446)/(a11*b12*kap*n2 )
17 1360
r6310=0
r6311=0
r6312=0
r6313=0
53373 6 70 5 25529 4 2
r6314=( - -------*a11 *r446 - ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
2 3 3 12797 2 4 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *r446
17 2584
6 3 2 2 2
- 3*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6315=0
r6316=0
r6317=0
36171 6 70 5 102621 4 2
r6318=(-------*a11 *r446 - ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
16150 17 16150
105 3 3 145753 2 4 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 25840
1 5 2 2387 6 3 3 2
- ----*a11*b12 *kap *r4117 - ------*b12 *kap *r446)/(a11*b12 *kap*n2 )
17 1360
r6319=0
r6320=0
r6321=0
r6322=0
r6323=0
r6324=0
109317 6 140 5 25189 4 2
r6325=(--------*a11 *r446 - -----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
16150 17 32300
38 3 3 25769 2 4 2
- ----*a11 *b12 *kap*r4117 - -------*a11 *b12 *kap *r446
17 6460
6 3 2 2 2
- 6*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6326=0
64947 5 70 4 6029 3 2
r6327=( - -------*a11 *r446 + ----*a11 *b12*r4117 + ------*a11 *b12 *kap*r446
32300 17 3400
36 2 3 61809 4 2 3 2
+ ----*a11 *b12 *kap*r4117 + -------*a11*b12 *kap *r446)/(b12 *kap*n2 )
17 12920
r6328=0
r6329=0
r6330=0
r6331=0
416691 6 105 5
r6332=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
118233 4 2 54 3 3
+ --------*a11 *b12 *kap*r446 + ----*a11 *b12 *kap*r4117
129200 17
5937 2 4 2 6 3 3 2
+ ------*a11 *b12 *kap *r446 + 3*b12 *kap *r446)/(a11*b12 *kap*n2 )
1360
r6333=0
r6334=0
r6335=0
r6336=0
r6337=0
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r6338=-------------------------------------------------------------------
2 2
a11 *kap*n2
r6339=0
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r6340=-------------------------------------------------------------------
2 2
a11 *kap*n2
r6341=0
r6342=0
r6343=0
r6344=0
87 4 4 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
190 95 2
r6345=----------------------------------------------------------------
2 2
a11 *kap*n2
r6346=0
r6348=0
r6349=0
87 4 4 2 2 3 4 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446 - ---*b12 *kap *r446
190 95 2
r6350=----------------------------------------------------------------
2 2
a11 *kap*n2
r6351=0
r6352=0
r6354=0
r6355=0
174 4 16 2 2 3
r6356=(-----*a11 *r446 - ----*a11 *b12 *kap*r446 + 2*a11*b12 *kap*r4117
95 95
4 2 2
- 6*b12 *kap *r446)/(a11*b12*kap*n2 )
r6357=0
r6358=0
r6359=0
r6360=0
87 4 4 2 2
-----*a11 *r446 - ----*a11 *b12 *kap*r446
190 95
r6361=-------------------------------------------
2 2
b12 *kap*n2
r6362=0
505431 6 105 5 161247 4 2
r6363=(--------*a11 *r446 - -----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
105 3 3 195763 2 4 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 25840
6 3 2 2 2
+ 2*b12 *kap *r446)/(a11 *b12 *kap*n2 )
r6364=0
r6365=0
87 6 154 4 2 1 3 3
r6366=(----*a11 *r446 + -----*a11 *b12 *kap*r446 - ---*a11 *b12 *kap*r4117
38 95 2
16 2 4 2 6 3 2 2 2
- ----*a11 *b12 *kap *r446 - b12 *kap *r446)/(a11 *b12 *kap*n2 )
95
r6367=0
r6368=0
r6369=0
1310523 8 35 7
r6370=( - ---------*a11 *n2*r446 - ----*a11 *b12*n2*r4117
258400 68
1 6 3 152941 6 2
- ---*a11 *b12 *kap*r341 - --------*a11 *b12 *kap*n2*r446
6 51680
15 5 3 1 4 5 2
+ -----*a11 *b12 *kap*n2*r4117 - ---*a11 *b12 *kap *r341
136 3
886909 4 4 2 5 3 5 2
- --------*a11 *b12 *kap *n2*r446 + ---*a11 *b12 *kap *n2*r4117
516800 8
1 2 7 3 2563 2 6 3
- ---*a11 *b12 *kap *r341 + ------*a11 *b12 *kap *n2*r446
6 6080
3 8 4 2 4 3
+ ---*b12 *kap *n2*r446)/(a11 *b12 *kap*n2 )
2
r6371=0
r6372=0
r6373=0
r6374=0
87 4 8 2 2 4 2
----*a11 *r446 - ----*a11 *b12 *kap*r446 - 3*b12 *kap *r446
95 95
r6375=-------------------------------------------------------------
2
a11*b12*kap*n2
r6376=0
2
2*b12 *r4117
r6377=--------------
2
n2
r6378=0
r6379=0
2
- b12 *r4117
r6380=---------------
2
n2
r6381=0
124107 6 140 5
r6382=( - --------*a11 *r446 + -----*a11 *b12*r4117
16150 17
125431 4 2 106 3 3
+ --------*a11 *b12 *kap*r446 + -----*a11 *b12 *kap*r4117
32300 17
61809 2 4 2 6 3 2 2 2
+ -------*a11 *b12 *kap *r446 - 3*b12 *kap *r446)/(a11 *b12 *kap*n2 )
6460
r6383=0
r6384=0
r6385=0
r6386=0
r6387=0
r6388=0
198057 6 35 5 248467 4 2
r6389=( - --------*a11 *r446 + ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 129200
69 3 3 344677 2 4 2
+ ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *r446
17 129200
259 6 3 3 2
- -----*b12 *kap *r446)/(a11*b12 *kap*n2 )
40
r6390=0
87 4 4 2 2 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + 3*b12 *kap *r446
190 95
r6391=-----------------------------------------------------------------
2 2
b12 *kap*n2
r6392=0
387111 4 105 3
r6393=( - --------*a11 *r446 + -----*a11 *b12*r4117
64600 17
171953 2 2 71 3
+ --------*a11 *b12 *kap*r446 + ----*a11*b12 *kap*r4117
129200 17
22343 4 2 2 2
+ -------*b12 *kap *r446)/(b12 *kap*n2 )
5168
r6394=0
r6395=0
304803 4 35 3 16971 2 2
r6396=(--------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
35 3 247727 4 2 2 2
+ ----*a11*b12 *kap*r4117 - --------*b12 *kap *r446)/(b12 *kap*n2 )
17 25840
r6397=0
r6398=0
r6399=0
36171 8 35 7 143691 6 2
r6400=(-------*a11 *r446 - ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
32300 17 12920
105 5 3 1272493 4 4 2
- -----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *r446
34 258400
8 3 5 2 202909 2 6 3
+ ----*a11 *b12 *kap *r4117 - --------*a11 *b12 *kap *r446
17 51680
3 8 4 2 4 2
+ ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
2
r6401=0
r6402=0
239211 6 105 5 32727 4 2
r6403=(--------*a11 *r446 - -----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 129200
54 3 3 117581 2 4 2
- ----*a11 *b12 *kap*r4117 + --------*a11 *b12 *kap *r446
17 25840
6 3 3 2
- 6*b12 *kap *r446)/(a11*b12 *kap*n2 )
r6404=0
109317 6 70 5 4391 4 2
r6405=( - --------*a11 *r446 + ----*a11 *b12*r4117 + -------*a11 *b12 *kap*r446
32300 17 64600
36 3 3 123 2 4 2
+ ----*a11 *b12 *kap*r4117 - ------*a11 *b12 *kap *r446
17 2584
9 6 3 4 2
+ ---*b12 *kap *r446)/(b12 *kap*n2 )
2
r6406=0
87 4 8 2 2 4 2
- ----*a11 *r446 + ----*a11 *b12 *kap*r446 + 3*b12 *kap *r446
95 95
r6407=----------------------------------------------------------------
2
a11*b12*kap*n2
r6408=0
r6410=0
r6411=0
r6412=0
r6413=0
2
b12 *r4117
r6414=------------
2
n2
r6415=0
r6416=0
r6417=0
r6418=0
174 6 71 4 2 3 3
r6419=(-----*a11 *r446 + ----*a11 *b12 *kap*r446 + 2*a11 *b12 *kap*r4117
95 95
578 2 4 2 6 3 2 2 2
- -----*a11 *b12 *kap *r446 - 3*b12 *kap *r446)/(a11 *b12 *kap*n2 )
95
r6420=0
r6421=0
r6422=0
594171 6 105 5 566451 4 2
r6423=(--------*a11 *r446 - -----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
64600 17 51680
335 3 3 1095707 2 4 2
- -----*a11 *b12 *kap*r4117 - ---------*a11 *b12 *kap *r446
68 129200
5 5 2 199 6 3 3 2
+ ---*a11*b12 *kap *r4117 - -----*b12 *kap *r446)/(a11*b12 *kap*n2 )
4 160
r6424=0
r6425=0
r6426=0
r6427=0
r6428=0
r6429=0
348 6 206 4 2 3 3
r6430=( - -----*a11 *r446 + -----*a11 *b12 *kap*r446 + 2*a11 *b12 *kap*r4117
95 95
1124 2 4 2 6 3 2 2 2
+ ------*a11 *b12 *kap *r446 - 6*b12 *kap *r446)/(a11 *b12 *kap*n2 )
95
r6431=0
36573 5 70 4 144301 3 2
r6432=( - -------*a11 *r446 + ----*a11 *b12*r4117 + --------*a11 *b12 *kap*r446
8075 17 64600
36 2 3 100297 4 2 3 2
+ ----*a11 *b12 *kap*r4117 + --------*a11*b12 *kap *r446)/(b12 *kap*n2 )
17 12920
r6433=0
r6434=0
r6435=0
r6436=0
32151 6 105 5 613 4 2
r6437=( - -------*a11 *r446 + -----*a11 *b12*r4117 - ------*a11 *b12 *kap*r446
64600 17 6800
54 3 3 196189 2 4 2
+ ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 25840
6 3 3 2
+ 6*b12 *kap *r446)/(a11*b12 *kap*n2 )
r6438=0
r6439=0
r6440=0
87 4 4 2 2 3 4 2
- -----*a11 *r446 + ----*a11 *b12 *kap*r446 + ---*b12 *kap *r446
190 95 2
r6441=-------------------------------------------------------------------
2 2
b12 *kap*n2
r6442=0
87 6 127 4 2 1417 2 4 2
r6443=(----*a11 *r446 - -----*a11 *b12 *kap*r446 - ------*a11 *b12 *kap *r446
38 190 190
3 6 3 2 2 2
+ ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
2
r6444=0
r6445=0
87 6 79 4 2 3 3
r6446=(-----*a11 *r446 + -----*a11 *b12 *kap*r446 + a11 *b12 *kap*r4117
190 190
293 2 4 2 3 6 3 2 2 2
- -----*a11 *b12 *kap *r446 - ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
190 2
r6447=0
r6448=0
r6449=0
198057 8 35 7 4512389 6 2
r6450=(--------*a11 *r446 - ----*a11 *b12*r4117 + ---------*a11 *b12 *kap*r446
64600 17 1033600
611 5 3 100819 4 4 2
- -----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
272 32300
3 3 5 2 16159 2 6 3
- ----*a11 *b12 *kap *r4117 + -------*a11 *b12 *kap *r446
16 12160
3 8 4 2 4 2
+ ---*b12 *kap *r446)/(a11 *b12 *kap*n2 )
4
r6451=0
r6452=0
261 6 111 4 2 847 2 4 2
r6453=( - -----*a11 *r446 + -----*a11 *b12 *kap*r446 + -----*a11 *b12 *kap *r446
95 95 95
6 3 3 2
- 3*b12 *kap *r446)/(a11*b12 *kap*n2 )
r6454=0
48443 6 35 5 280927 4 2
r6455=(-------*a11 *r446 + ----*a11 *b12*r4117 - --------*a11 *b12 *kap*r446
64600 17 387600
18 3 3 424397 2 4 2
+ ----*a11 *b12 *kap*r4117 - --------*a11 *b12 *kap *r446
17 77520
9 6 3 4 2
+ ---*b12 *kap *r446)/(b12 *kap*n2 )
2
r6456=0
261 6 111 4 2 847 2 4 2
r6457=(-----*a11 *r446 - -----*a11 *b12 *kap*r446 - -----*a11 *b12 *kap *r446
95 95 95
6 3 3 2
+ 3*b12 *kap *r446)/(a11*b12 *kap*n2 )
r6458=0
r6459=0
r6460=0
87 6 103 4 2 281 2 4 2
r6461=(----*a11 *r446 - -----*a11 *b12 *kap*r446 - -----*a11 *b12 *kap *r446
95 190 95
3 6 3 4 2
+ ---*b12 *kap *r446)/(b12 *kap*n2 )
2
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, r446, 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.
{r446,a11,b12,n2}
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 3 first integrals:
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**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$