Solution 15 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
2 2 4
- b12 *n1 *r446 - 2*n1 *r653
r29=-------------------------------
4
2*b12
r210=0
r211=0
r212=0
r213=0
2 2 4
- b12 *n1 *r446 - 2*n1 *r653
r214=-------------------------------
4
2*b12
r215=0
r217=0
r218=0
r219=0
2 4 2 4
- 2*a11 *n1 *r653 - 2*b12 *kap*n1 *r653
r220=------------------------------------------
6
b12 *kap
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
2 3
- b12 *n1*r446 - 2*n1 *r653
r317=------------------------------
3
b12
r318=0
r319=0
r320=0
r321=0
r322=0
r323=0
r324=0
r325=0
2 3
b12 *n1*r446 + 2*n1 *r653
r326=---------------------------
3
b12
r327=0
r328=0
r329=0
r330=0
r331=0
r332=0
r333=0
r334=0
r335=0
r336=0
r337=0
r338=0
r339=0
r340=0
r341=0
r342=0
r343=0
13630497 6 3 67997373 4 2 3
r344=(----------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
1197250 1197250
1 2 6 2 9307358 2 4 2 3
- ---*a11 *b12 *kap *n1*r446 - ---------*a11 *b12 *kap *n1 *r653
2 119725
5 2 3 214 6 3 3 8 2
- a11*b12 *kap *n1 *r6309 - -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
r345=0
r346=0
2 3 2 3
4*a11 *n1 *r653 + 4*b12 *kap*n1 *r653
r347=---------------------------------------
5
b12 *kap
r348=0
13630497 6 3 70391873 4 2 3
r349=(----------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
1197250 1197250
9427083 2 4 2 3 5 2 3
- ---------*a11 *b12 *kap *n1 *r653 - a11*b12 *kap *n1 *r6309
119725
214 6 3 3 8 2
- -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
r350=0
2 3 2 3
- 4*a11 *n1 *r653 - 4*b12 *kap*n1 *r653
r351=------------------------------------------
5
b12 *kap
r352=0
r353=0
r354=0
3 3 2 3
- 8*a11 *n1 *r653 - 8*a11*b12 *kap*n1 *r653
r355=----------------------------------------------
6
b12 *kap
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
195498 6 2 223381 4 2 2
r427=( - --------*a11 *n1 *r653 - --------*a11 *b12 *kap*n1 *r653
23945 47890
7 2 4 2 2 1 8 3 8 3
+ ---*a11 *b12 *kap *n1 *r653 - ---*b12 *kap *r446)/(b12 *kap )
2 2
r428=0
r429=0
2 2 2 2
2*a11 *n1 *r653 + 3*b12 *kap*n1 *r653
r430=---------------------------------------
4
b12 *kap
2
- n1 *r6162
r431=--------------
2
b12
r432=0
r433=0
13630497 6 2 192019619 4 2 2
r434=(----------*a11 *n1 *r653 - -----------*a11 *b12 *kap*n1 *r653
2394500 7183500
5 2 6 2 16818841 2 4 2 2
+ ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
8 478900
1 5 2 2 1 8 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
2 2
146 6 3 2 8 2
- -----*b12 *kap *n1 *r653)/(b12 *kap )
75
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
2
- n1 *r6162
r452=--------------
2
b12
13630497 6 2 67997373 4 2 2
r453=( - ----------*a11 *n1 *r653 + ----------*a11 *b12 *kap*n1 *r653
1197250 1197250
1 2 6 2 9067908 2 4 2 2
- ---*a11 *b12 *kap *r446 + ---------*a11 *b12 *kap *n1 *r653
2 119725
5 2 2 214 6 3 2 7 2
+ a11*b12 *kap *n1 *r6309 + -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
r454=0
6 2 4 2 2
r455=( - 32583*a11 *n1 *r653 - 32583*a11 *b12 *kap*n1 *r653
6 3 2 8 3
+ 23945*b12 *kap *n1 *r653)/(23945*b12 *kap )
r456=0
6 2 4 2 2
r457=(260664*a11 *n1 *r653 + 260664*a11 *b12 *kap*n1 *r653
8 3 6 3 2 8 3
+ 23945*b12 *kap *r446 + 47890*b12 *kap *n1 *r653)/(47890*b12 *kap )
r458=0
r459=0
1 2 2
---*b12 *r446 + 2*n1 *r653
2
r460=----------------------------
2
b12
2
- n1 *r6162
r461=--------------
2
b12
r462=0
r463=0
40891491 6 2 588031357 4 2 2
r464=(----------*a11 *n1 *r653 - -----------*a11 *b12 *kap*n1 *r653
2394500 7183500
2 6 2 26126199 2 4 2 2
+ a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
239450
3 5 2 2 1 8 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
2 2
688 6 3 2 8 2
- -----*b12 *kap *n1 *r653)/(b12 *kap )
75
r465=0
2
- n1 *r6162
r466=--------------
2
b12
13630497 6 2 33100749 4 2 2
r467=( - ----------*a11 *n1 *r653 + ----------*a11 *b12 *kap*n1 *r653
1197250 598625
2 6 2 17537191 2 4 2 2
- a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *n1 *r653
239450
5 2 2 214 6 3 2 7 2
+ a11*b12 *kap *n1 *r6309 + -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
r468=0
13630497 6 2 99900872 4 2 2
r469=(----------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
1197250 1795875
1 2 6 2 17776641 2 4 2 2
+ ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
2 239450
5 2 2 542 6 3 2 8 2
- a11*b12 *kap *n1 *r6309 - -----*b12 *kap *n1 *r653)/(b12 *kap )
75
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
2 2 2 2
- 4*a11 *n1 *r653 - 6*b12 *kap*n1 *r653
r483=------------------------------------------
4
b12 *kap
r484=0
r485=0
r486=0
40891491 6 2 101696747 4 2 2
r487=(----------*a11 *n1 *r653 - -----------*a11 *b12 *kap*n1 *r653
1197250 598625
1 2 6 2 55245523 2 4 2 2
- ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
2 239450
5 2 2 642 6 3 2 7 2
- 3*a11*b12 *kap *n1 *r6309 - -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
2
- n1 *r6162
r488=--------------
2
b12
r489=0
r490=0
r491=0
r492=0
r493=0
2
- 2*n1 *r653
r494=---------------
2
b12
r495=0
13630497 6 2 135396121 4 2 2
r496=( - ----------*a11 *n1 *r653 + -----------*a11 *b12 *kap*n1 *r653
598625 1197250
2 6 2 37109707 2 4 2 2
+ a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *n1 *r653
239450
5 2 2 428 6 3 2 7 2
+ 2*a11*b12 *kap *n1 *r6309 + -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
r497=0
r498=0
r499=0
r4100=0
13630497 6 2 33100749 4 2 2
r4101=(----------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
1197250 598625
2 6 2 17537191 2 4 2 2
+ a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
239450
5 2 2 214 6 3 2 7 2
- a11*b12 *kap *n1 *r6309 - -----*b12 *kap *n1 *r653)/(a11*b12 *kap )
25
2
- n1 *r6162
r4102=--------------
2
b12
r4103=0
r4104=0
2 2 2 2
2*a11 *n1 *r653 + 2*b12 *kap*n1 *r653
r4105=---------------------------------------
4
b12 *kap
r4106=0
r4108=0
r4109=0
r4110
32583 6 2 32583 4 2 2 6 3 2
-------*a11 *n1 *r653 + -------*a11 *b12 *kap*n1 *r653 - b12 *kap *n1 *r653
23945 23945
=-----------------------------------------------------------------------------
8 3
b12 *kap
r4111=0
r4112=0
r4113=0
20853033 6 2 2440548973 4 2 2
r4114=(----------*a11 *n1 *r653 - ------------*a11 *b12 *kap*n1 *r653
598625 14367000
43877471 2 4 2 2 5 2 2
- ----------*a11 *b12 *kap *n1 *r653 - 2*a11*b12 *kap *n1 *r6309
191560
1751 6 3 2 8 2
- ------*b12 *kap *n1 *r653)/(b12 *kap )
75
r4115=0
r4116=0
3 2 2 2
16*a11 *n1 *r653 + 16*a11*b12 *kap*n1 *r653
r4117=---------------------------------------------
5
b12 *kap
r4118=0
32583 6 2 35246489 4 2 2
r4119=( - -------*a11 *n1 *r653 + ----------*a11 *b12 *kap*n1 *r653
4789 1436700
2 6 2 4267 2 4 2 2
+ a11 *b12 *kap *r446 + ------*a11 *b12 *kap *n1 *r653
100
5 2 2 1 8 3 34 6 3 2
- a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 + ----*b12 *kap *n1 *r653
2 3
8 2
)/(b12 *kap )
r4120=0
3 2 2 2
- 16*a11 *n1 *r653 - 16*a11*b12 *kap*n1 *r653
r4121=------------------------------------------------
5
b12 *kap
r4122=0
r4123=0
r4124=0
4 2 2 2 2 4 2 2
- 14*a11 *n1 *r653 - 12*a11 *b12 *kap*n1 *r653 + 2*b12 *kap *n1 *r653
r4125=------------------------------------------------------------------------
6
b12 *kap
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
2*n1*r653
r537=-----------
b12
r538=0
2*n1*r653
r539=-----------
b12
r540=0
r541=0
r542=0
r543=0
2*n1*r653
r544=-----------
b12
r545=0
r546=0
- 2*n1*r6162
r547=---------------
b12
r548=0
5 3 2
- 65166*a11 *n1*r653 - 65166*a11 *b12 *kap*n1*r653
r549=-----------------------------------------------------
6 2
23945*b12 *kap
r550=0
r551=0
r552=0
20147097 6 2 90724597 4 2 2
r553=(----------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
1197250 1795875
2 2 6 2 17537191 2 4 2 2
+ ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
3 239450
5 2 2 2 8 3 292 6 3 2
- a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 - -----*b12 *kap *n1 *r653
3 75
7 2
)/(b12 *kap *n1)
r554=0
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
- 2*n1*r653
r571=--------------
b12
r572=0
- 2*n1*r653
r573=--------------
b12
r574=0
r575=0
r576=0
r577=0
- 2*n1*r653
r578=--------------
b12
r579=0
r580=0
2*n1*r6162
r581=------------
b12
r582=0
- 2*n1*r6162
r583=---------------
b12
r584=0
15259647 6 64572348 4 2
r585=( - ----------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 598625
18016091 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + 2*a11*b12 *kap *n1*r6309
119725
428 6 3 6 2
+ -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r586=0
20147097 6 2 90724597 4 2 2
r587=( - ----------*a11 *n1 *r653 + ----------*a11 *b12 *kap*n1 *r653
1197250 1795875
2 2 6 2 17537191 2 4 2 2
- ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *n1 *r653
3 239450
5 2 2 2 8 3 292 6 3 2
+ a11*b12 *kap *n1 *r6309 - ---*b12 *kap *r446 + -----*b12 *kap *n1 *r653
3 75
7 2
)/(b12 *kap *n1)
r588=0
r589=0
r590=0
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
r5101=0
2*n1*r6162
r5102=------------
b12
r5103=0
12001347 6 67830648 4 2
r5104=(----------*a11 *n1*r653 - ----------*a11 *b12 *kap*n1*r653
598625 598625
18016091 2 4 2 5 2
- ----------*a11 *b12 *kap *n1*r653 - 2*a11*b12 *kap *n1*r6309
119725
428 6 3 6 2
- -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r5105=0
r5106=0
r5107=0
13630497 6 200998994 4 2
r5108=(----------*a11 *n1*r653 - -----------*a11 *b12 *kap*n1*r653
598625 1795875
18016091 2 4 2 5 2
- ----------*a11 *b12 *kap *n1*r653 - 2*a11*b12 *kap *n1*r6309
119725
1034 6 3 7 2
- ------*b12 *kap *n1*r653)/(b12 *kap )
75
r5109=0
r5110=0
r5111=0
r5112=0
r5113=0
r5114=0
5 3 2
- 65166*a11 *n1*r653 - 65166*a11 *b12 *kap*n1*r653
r5115=-----------------------------------------------------
6 2
23945*b12 *kap
r5116=0
13630497 6 200998994 4 2
r5117=( - ----------*a11 *n1*r653 + -----------*a11 *b12 *kap*n1*r653
598625 1795875
18016091 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + 2*a11*b12 *kap *n1*r6309
119725
1034 6 3 7 2
+ ------*b12 *kap *n1*r653)/(b12 *kap )
75
r5118=0
r5119=0
41248 4 41248 2 2
- ---------*a11 *n1*r6162 - ---------*a11 *b12 *kap*n1*r6162
2052135 2052135
r5120=---------------------------------------------------------------
5
b12 *kap
r5121=0
6 4 2
65166*a11 *n1*r653 + 65166*a11 *b12 *kap*n1*r653
r5122=--------------------------------------------------
7 2
23945*b12 *kap
r5123=0
r5124=0
r5125=0
r5126=0
r5127=0
r5128=0
r5129=0
r5130=0
r5131=0
r5132=0
r5133=0
r5134=0
r5135=0
r5136=0
r5137=0
r5138=0
r5139=0
r5140=0
r5141=0
r5142=0
r5143=0
r5144=0
r5145=0
r5146=0
r5147=0
r5148=0
r5149=0
r5150=0
3 2
2*a11 *n1*r653 + 2*a11*b12 *kap*n1*r653
r5151=-----------------------------------------
4
b12 *kap
r5152=0
40891491 6 98703622 4 2
r5153=(----------*a11 *n1*r653 - ----------*a11 *b12 *kap*n1*r653
1197250 598625
53569373 2 4 2 5 2
- ----------*a11 *b12 *kap *n1*r653 - 3*a11*b12 *kap *n1*r6309
239450
642 6 3 6 2
- -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r5154=0
- 2*n1*r6162
r5155=---------------
b12
1973101 6 36290774 4 2
r5156=( - ---------*a11 *n1*r653 - ----------*a11 *b12 *kap*n1*r653
1197250 1795875
14663791 2 4 2 214 6 3 6
- ----------*a11 *b12 *kap *n1*r653 - -----*b12 *kap *n1*r653)/(a11*b12
718350 75
2
*kap )
- a11*n1*r6162
r5157=-----------------
2
b12
r5158=0
r5159=0
5231343 8 2 76058511 6 2 2
r5160=( - ---------*a11 *n1 *r653 + ----------*a11 *b12 *kap*n1 *r653
2394500 4789000
2 4 6 2 1346180071 4 4 2 2
+ ---*a11 *b12 *kap *r446 + ------------*a11 *b12 *kap *n1 *r653
3 14367000
3 3 5 2 2 2 2 8 3
+ ---*a11 *b12 *kap *n1 *r6309 + ---*a11 *b12 *kap *r446
4 3
1223965 2 6 3 2 7 3 2
+ ---------*a11 *b12 *kap *n1 *r653 + a11*b12 *kap *n1 *r6309
14367
214 8 4 2 8 2
+ -----*b12 *kap *n1 *r653)/(a11*b12 *kap *n1)
25
r5161=0
r5162=0
r5163=0
r5164=0
2 2
- 4*a11 *n1*r653 - 4*b12 *kap*n1*r653
r5165=----------------------------------------
3
b12 *kap
r5166=0
2 2
- 4*a11 *n1*r653 - 4*b12 *kap*n1*r653
r5167=----------------------------------------
3
b12 *kap
r5168=0
r5169=0
2 2
- 4*a11 *n1*r653 - 4*b12 *kap*n1*r653
r5170=----------------------------------------
3
b12 *kap
r5171=0
27260994 6 133600246 4 2
r5172=( - ----------*a11 *n1*r653 + -----------*a11 *b12 *kap*n1*r653
598625 598625
36032182 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + 4*a11*b12 *kap *n1*r6309
119725
856 6 3 6 2
+ -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r5173=0
2*n1*r6162
r5174=------------
b12
r5175=0
r5176=0
r5177=0
- a11*n1*r6162
r5178=-----------------
2
b12
14445072 6 812203771 4 2
r5179=( - ----------*a11 *n1*r653 + -----------*a11 *b12 *kap*n1*r653
598625 7183500
74540277 2 4 2 1384 6 3 7
+ ----------*a11 *b12 *kap *n1*r653 + ------*b12 *kap *n1*r653)/(b12
478900 75
2
*kap )
r5180=0
3 2
4*a11 *n1*r653 + 4*a11*b12 *kap*n1*r653
r5181=-----------------------------------------
4
b12 *kap
r5182=0
13630497 6 36093874 4 2
r5183=( - ----------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
1197250 598625
18973891 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + a11*b12 *kap *n1*r6309
239450
214 6 3 6 2
+ -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r5184=0
r5185=0
7801799 6 46848598 4 2
r5186=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 1795875
16100491 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + a11*b12 *kap *n1*r6309
359175
428 6 3 6 2
+ -----*b12 *kap *n1*r653)/(a11*b12 *kap )
75
r5187=0
r5188=0
r5189=0
7095834 8 137813683 6 2
r5190=(---------*a11 *n1*r653 - -----------*a11 *b12 *kap*n1*r653
598625 2394500
79270027 4 4 2 3 5 2
- ----------*a11 *b12 *kap *n1*r653 + a11 *b12 *kap *n1*r6309
7183500
48799529 2 6 3 7 3
+ ----------*a11 *b12 *kap *n1*r653 + a11*b12 *kap *n1*r6309
718350
214 8 4 8 2
+ -----*b12 *kap *n1*r653)/(a11*b12 *kap )
25
r5191=0
r5192=0
11259198 6 142647896 4 2
r5193=(----------*a11 *n1*r653 - -----------*a11 *b12 *kap*n1*r653
598625 1795875
40821182 2 4 2 5 2
- ----------*a11 *b12 *kap *n1*r653 - 2*a11*b12 *kap *n1*r6309
359175
1156 6 3 7 2
- ------*b12 *kap *n1*r653)/(b12 *kap )
75
r5194=0
4815024 7 68380048 5 2
r5195=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 1795875
20051416 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + a11 *b12 *kap *n1*r6309
359175
728 6 3 8 2
+ -----*a11*b12 *kap *n1*r653)/(b12 *kap )
75
r5196=0
2 2
4*a11 *n1*r653 + 4*b12 *kap*n1*r653
r5197=-------------------------------------
3
b12 *kap
r5198=0
2 2
4*a11 *n1*r653 + 4*b12 *kap*n1*r653
r5199=-------------------------------------
3
b12 *kap
r5200=0
r5201=0
r5202=0
r5203=0
2 2
4*a11 *n1*r653 + 4*b12 *kap*n1*r653
r5204=-------------------------------------
3
b12 *kap
r5205=0
r5206=0
r5207=0
r5208=0
2914349 6 65102698 4 2
r5209=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 1795875
16100491 2 4 2 428 6 3 6
+ ----------*a11 *b12 *kap *n1*r653 + -----*b12 *kap *n1*r653)/(a11*b12
359175 75
2
*kap )
r5210=0
r5211=0
r5212=0
38791717 6 2164573931 4 2
r5213=(----------*a11 *n1*r653 - ------------*a11 *b12 *kap*n1*r653
598625 7183500
591605051 2 4 2 5 2
- -----------*a11 *b12 *kap *n1*r653 - 4*a11*b12 *kap *n1*r6309
1436700
3274 6 3 7 2
- ------*b12 *kap *n1*r653)/(b12 *kap )
75
- a11*n1*r6162
r5214=-----------------
2
b12
r5215=0
r5216=0
r5217=0
r5218=0
r5219=0
2914349 6 108203698 4 2
r5220=( - ---------*a11 *n1*r653 + -----------*a11 *b12 *kap*n1*r653
598625 1795875
24720691 2 4 2 428 6 3 6
+ ----------*a11 *b12 *kap *n1*r653 + -----*b12 *kap *n1*r653)/(a11*b12
359175 75
2
*kap )
r5221=0
4869329 6 67618508 4 2
r5222=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
119725 359175
18399211 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + 4*a11*b12 *kap *n1*r6309
71835
126 6 3 7 2
+ -----*b12 *kap *n1*r653)/(b12 *kap )
5
r5223=0
r5224=0
r5225=0
r5226=0
10716148 6 92795296 4 2
r5227=( - ----------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 1795875
10174944 2 4 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + 2*a11*b12 *kap *n1*r6309
119725
1156 6 3 7 2
+ ------*b12 *kap *n1*r653)/(b12 *kap )
75
r5228=0
r5229=0
r5230=0
3 2
4*a11 *n1*r653 + 4*a11*b12 *kap*n1*r653
r5231=-----------------------------------------
4
b12 *kap
r5232=0
3 2
- 8*a11 *n1*r653 - 8*a11*b12 *kap*n1*r653
r5233=--------------------------------------------
4
b12 *kap
r5234=0
r5235=0
4543499 6 37291124 4 2
r5236=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
1197250 1795875
18973891 2 4 2 214 6 3 6
+ ----------*a11 *b12 *kap *n1*r653 + -----*b12 *kap *n1*r653)/(a11*b12
718350 75
2
*kap )
r5237=0
r5238=0
r5239=0
64495987 8 18240309367 6 2
r5240=(----------*a11 *n1*r653 - -------------*a11 *b12 *kap*n1*r653
1795875 114936000
3497847821 4 4 2 4 3 5 2
- ------------*a11 *b12 *kap *n1*r653 - ---*a11 *b12 *kap *n1*r6309
13792320 3
15025683 2 6 3 1 7 3
- ----------*a11 *b12 *kap *n1*r653 - ---*a11*b12 *kap *n1*r6309
239450 3
214 8 4 8 2
- -----*b12 *kap *n1*r653)/(a11*b12 *kap )
45
r5241=0
r5242=0
6 4 2
r5243=(65166*a11 *n1*r653 + 639846*a11 *b12 *kap*n1*r653
2 4 2 6 3 7
+ 478900*a11 *b12 *kap *n1*r653 - 95780*b12 *kap *n1*r653)/(23945*b12
2
*kap )
r5244=0
6172649 7 14895707 5 2
r5245=( - ---------*a11 *n1*r653 + ----------*a11 *b12 *kap*n1*r653
598625 1197250
26190787 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *n1*r653 + a11 *b12 *kap *n1*r6309
718350
1028 6 3 8 2
+ ------*a11*b12 *kap *n1*r653)/(b12 *kap )
75
r5246=0
4 2 2 4 2
- 24*a11 *n1*r653 - 20*a11 *b12 *kap*n1*r653 + 4*b12 *kap *n1*r653
r5247=---------------------------------------------------------------------
5
b12 *kap
r5248=0
r5249=0
r5250=0
5 3 2 4 2
- 12*a11 *n1*r653 - 8*a11 *b12 *kap*n1*r653 + 4*a11*b12 *kap *n1*r653
r5251=------------------------------------------------------------------------
6
b12 *kap
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
2 2
- a11 *r653 - b12 *kap*r653
r649=------------------------------
2
b12 *kap
r650=0
2
- a11 *r653
r651=--------------
2
b12 *kap
r652=0
r654=0
r655=0
r656=0
r657=0
r659=0
2 2
a11 *r653 + 2*b12 *kap*r653
r660=-----------------------------
2
b12 *kap
r661=0
r662=0
2 2
a11 *r653 + b12 *kap*r653
r663=---------------------------
2
b12 *kap
r665=0
r666= - r6162
r667=0
r668=0
5 3 2
- 65166*a11 *r653 - 65166*a11 *b12 *kap*r653
r669=-----------------------------------------------
5 2
23945*b12 *kap
r670=0
r671=0
r672=0
r673=0
4 2 2 4 2 2 2
r674=(9*a11 *n1 *r653 + 2*a11 *b12 *kap*r446 - 12*a11 *b12 *kap*n1 *r653
6 2 4 2 2 4 2
+ 2*b12 *kap *r446 - 12*b12 *kap *n1 *r653)/(12*b12 *kap*n1 )
r675=0
16888797 6 2 196611719 4 2 2
r676=(----------*a11 *n1 *r653 - -----------*a11 *b12 *kap*n1 *r653
2394500 7183500
1 2 6 2 18016091 2 4 2 2
+ ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *n1 *r653
6 478900
1 5 2 2 1 8 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
2 6
146 6 3 2 6 2 2
- -----*b12 *kap *n1 *r653)/(b12 *kap *n1 )
75
r677=0
r678=0
2371299 6 2 75711223 4 2 2
r679=(---------*a11 *n1 *r653 - ----------*a11 *b12 *kap*n1 *r653
2394500 7183500
1 2 6 2 5207197 2 4 2 2
+ ---*a11 *b12 *kap *r446 - ---------*a11 *b12 *kap *n1 *r653
6 478900
1 8 3 68 6 3 2 6 2 2
+ ---*b12 *kap *r446 + ----*b12 *kap *n1 *r653)/(b12 *kap *n1 )
6 75
1 2
---*a11 *r6162
4
r680=----------------
2
b12
r681=0
r682=0
3785649 8 2 385689167 6 2 2
r683=( - ---------*a11 *n1 *r653 + -----------*a11 *b12 *kap*n1 *r653
957800 28734000
1 4 6 2 2621459251 4 4 2 2
- ---*a11 *b12 *kap *r446 + ------------*a11 *b12 *kap *n1 *r653
9 86202000
7 3 5 2 2 1 2 8 3
+ ----*a11 *b12 *kap *n1 *r6309 - ---*a11 *b12 *kap *r446
24 6
30627859 2 6 3 2 1 7 3 2
+ ----------*a11 *b12 *kap *n1 *r653 + ---*a11*b12 *kap *n1 *r6309
2155050 6
1 10 4 107 8 4 2 8 2 2
- ----*b12 *kap *r446 + -----*b12 *kap *n1 *r653)/(b12 *kap *n1 )
18 75
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
2 2
- 2*a11 *r653 - 4*b12 *kap*r653
r6106=----------------------------------
2
b12 *kap
r6107=0
2 2
- 2*a11 *r653 - 4*b12 *kap*r653
r6108=----------------------------------
2
b12 *kap
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
2 2
- 2*a11 *r653 - 4*b12 *kap*r653
r6115=----------------------------------
2
b12 *kap
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
r6121=2*r6162
r6122=0
r6123= - r6162
5 3 2
130332*a11 *r653 + 82442*a11 *b12 *kap*r653
r6124=---------------------------------------------
5 2
23945*b12 *kap
r6125=0
16888797 6 30872974 4 2
r6126=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 598625
18016091 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
214 6 3 5 2
+ -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6127=0
r6128=0
1285199 6 31403324 4 2
r6129=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 1795875
16100491 2 4 2 214 6 3 5 2
+ ----------*a11 *b12 *kap *r653 + -----*b12 *kap *r653)/(a11*b12 *kap )
718350 75
r6130=0
13630497 6 105887122 4 2
r6131=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
1197250 1795875
17537191 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
142 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
75
r6132=0
- a11*r6162
r6133=--------------
b12
r6134=0
r6135=0
r6136=0
1 2
---*a11 *r6162
4
r6137=----------------
2
b12
45525537 8 953972309 6 2
r6138=(----------*a11 *r653 - -----------*a11 *b12 *kap*r653
2394500 14367000
2398411531 4 4 2 7 3 5 2
- ------------*a11 *b12 *kap *r653 - ---*a11 *b12 *kap *r6309
14367000 4
31997513 2 6 3 7 3
- ----------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
359175
214 8 4 7 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6139=0
r6140=0
r6141=0
2 2
- a11 *r653 - 2*b12 *kap*r653
r6142=--------------------------------
2
b12 *kap
r6143=0
2 2
- a11 *r653 - 2*b12 *kap*r653
r6144=--------------------------------
2
b12 *kap
r6145=0
r6146=0
r6147=0
r6148=0
2 2
3*a11 *r653 + 2*b12 *kap*r653
r6149=-------------------------------
2
b12 *kap
r6150=0
2
2*a11 *r653
r6151=-------------
2
b12 *kap
r6152=0
r6153=0
2 2
3*a11 *r653 + 2*b12 *kap*r653
r6154=-------------------------------
2
b12 *kap
r6155=0
r6156=0
r6157=3*r6162
r6158=0
r6159=0
18517947 6 62511298 4 2
r6160=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 598625
18016091 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - 2*a11*b12 *kap *r6309
119725
428 6 3 5 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6161=0
r6163=0
r6164=0
r6165
6 4 2 2 4 2
- 130332*a11 *r653 - 106387*a11 *b12 *kap*r653 - 23945*a11 *b12 *kap *r653
=-----------------------------------------------------------------------------
6 2
23945*b12 *kap
r6166=0
16888797 6 43914961 4 2
r6167=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
2394500 1795875
18494991 2 4 2 1 5 2
- ----------*a11 *b12 *kap *r653 - ---*a11*b12 *kap *r6309
478900 2
421 6 3 6 2
- -----*b12 *kap *r653)/(b12 *kap )
75
r6168=0
- a11*r6162
r6169=--------------
b12
6 4 2
r6170=( - 3258300*a11 *r653 - 3947916*a11 *b12 *kap*r653
2 4 2 5 2
+ 1225984*a11 *b12 *kap *r653 + 1077525*a11*b12 *kap *r6309
6 3 6 2
+ 1915600*b12 *kap *r653)/(718350*b12 *kap )
r6171= - kap*r6162
r6172=0
r6173=0
31008039 8 2 271168033 6 2 2
r6174=( - ----------*a11 *n1 *r653 + -----------*a11 *b12 *kap*n1 *r653
2394500 4789000
540307091 4 4 2 2 5 3 5 2 2
+ -----------*a11 *b12 *kap *n1 *r653 + ---*a11 *b12 *kap *n1 *r6309
4789000 4
1 2 8 3 13968479 2 6 3 2
+ ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *n1 *r653
6 287340
1 7 3 2 1 10 4
+ ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
2 6
496 8 4 2 8 2 2
+ -----*b12 *kap *n1 *r653)/(b12 *kap *n1 )
75
r6175=0
r6176=0
r6177=0
r6178=r6162
3 2
- 6*a11 *r653 - 4*a11*b12 *kap*r653
r6179=--------------------------------------
3
b12 *kap
r6180=0
16888797 6 35661974 4 2
r6181=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
1197250 598625
18973891 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
239450
214 6 3 5 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6182=0
r6183=r6162
6172649 6 69694798 4 2
r6184=(---------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 1795875
18973891 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
359175
428 6 3 5 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
75
r6185=0
18517947 6 62511298 4 2
r6186=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
17776641 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + 2*a11*b12 *kap *r6309
119725
328 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
25
r6187=0
- 2*a11*r6162
r6188=----------------
b12
r6189=0
r6190=0
r6191=0
41248 4 41248 2 2 4 2
---------*a11 *r6162 + ---------*a11 *b12 *kap*r6162 - b12 *kap *r6162
2052135 2052135
r6192=------------------------------------------------------------------------
4
b12 *kap
24545802 8 217187971 6 2
r6193=(----------*a11 *r653 - -----------*a11 *b12 *kap*r653
598625 1795875
313767583 4 4 2 3 5 2
- -----------*a11 *b12 *kap *r653 - 4*a11 *b12 *kap *r6309
1197250
3036977 2 6 3 7 3
- ---------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
28734
214 8 4 7 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6194=0
4 2 2
3*a11 *r653 + 2*a11 *b12 *kap*r653
r6195=------------------------------------
4
b12 *kap
r6196=0
16888797 6 33866099 4 2
r6197=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 598625
18255541 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
164 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
25
r6198=0
- 2*a11*r6162
r6199=----------------
b12
18517947 6 60715423 4 2
r6200=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
18135816 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + 3*a11*b12 *kap *r6309
119725
478 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
25
2
a11 *r6162
r6201=------------
2
b12
r6202=0
r6203=0
18916203 8 112181579 6 2
r6204=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
1197250 2394500
109221859 4 4 2 3 3 5 2
+ -----------*a11 *b12 *kap *r653 + ---*a11 *b12 *kap *r6309
1436700 2
928 2 6 3 8 4 8 2
+ -----*a11 *b12 *kap *r653 + b12 *kap *r653)/(b12 *kap )
75
r6205=0
2
a11 *r6162
r6206=------------
2
b12
18517947 7 58919548 5 2
r6207=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 598625
18255541 3 4 2 2 5 2
- ----------*a11 *b12 *kap *r653 - 3*a11 *b12 *kap *r6309
119725
528 6 3 7 2
- -----*a11*b12 *kap *r653)/(b12 *kap )
25
r6208=0
6172649 8 58919548 6 2
r6209=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 1795875
18614716 4 4 2 3 5 2
+ ----------*a11 *b12 *kap *r653 + a11 *b12 *kap *r6309
359175
578 2 6 3 8 2
+ -----*a11 *b12 *kap *r653)/(b12 *kap )
75
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
2 2
- 4*a11 *r653 - 4*b12 *kap*r653
r6236=----------------------------------
2
b12 *kap
r6237=0
2 2
- 4*a11 *r653 - 4*b12 *kap*r653
r6238=----------------------------------
2
b12 *kap
r6239=0
r6240=0
r6242=0
2 2
- 4*a11 *r653 - 4*b12 *kap*r653
r6243=----------------------------------
2
b12 *kap
r6244=0
r6245=0
r6246=0
r6248=0
13630497 6 33699374 4 2
r6249=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
1197250 598625
18016091 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
239450
214 6 3 5 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6250=0
r6251=0
r6252= - r6162
r6253=0
1973101 6 39882524 4 2
r6254=( - ---------*a11 *r653 - ----------*a11 *b12 *kap*r653
1197250 1795875
16100491 2 4 2 214 6 3 5 2
- ----------*a11 *b12 *kap *r653 - -----*b12 *kap *r653)/(a11*b12 *kap )
718350 75
r6255=0
r6256=0
- a11*r6162
r6257=--------------
b12
r6258=0
5629599 6 35661974 4 2
r6259=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 1795875
4728297 2 4 2 286 6 3 6 2
+ ---------*a11 *b12 *kap *r653 - -----*b12 *kap *r653)/(b12 *kap )
239450 75
r6260=0
r6261=0
r6262=0
16490541 8 18814813 6 2
r6263=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
2394500 574680
1629877891 4 4 2 3 3 5 2
+ ------------*a11 *b12 *kap *r653 + ---*a11 *b12 *kap *r6309
14367000 4
9982607 2 6 3 7 3
+ ---------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
119725
214 8 4 7 2
+ -----*b12 *kap *r653)/(a11*b12 *kap )
25
1 2
---*a11 *r6162
4
r6264=----------------
2
b12
r6265=0
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
2 2
- 8*a11 *r653 - 8*b12 *kap*r653
r6272=----------------------------------
2
b12 *kap
r6273=0
2 2
- 8*a11 *r653 - 8*b12 *kap*r653
r6274=----------------------------------
2
b12 *kap
r6275=0
r6276=0
r6277=0
r6278=0
2 2
- 8*a11 *r653 - 8*b12 *kap*r653
r6279=----------------------------------
2
b12 *kap
r6280=0
3
2*a11 *r653
r6281=-------------
3
b12 *kap
r6282=0
13630497 6 68595998 4 2
r6283=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
18016091 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + 2*a11*b12 *kap *r6309
119725
428 6 3 5 2
+ -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6284=0
r6285=0
r6286=2*r6162
r6287=0
7801799 6 46848598 4 2
r6288=(---------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 1795875
16100491 2 4 2 428 6 3 5 2
- ----------*a11 *b12 *kap *r653 - -----*b12 *kap *r653)/(a11*b12 *kap )
359175 75
r6289=0
r6290=0
2*a11*r6162
r6291=-------------
b12
r6292=0
- a11*r6162
r6293=--------------
b12
r6294=0
5629599 6 7461878 4 2
r6295=( - ---------*a11 *r653 + ---------*a11 *b12 *kap*r653
239450 71835
31763629 2 4 2 94 6 3 6 2
+ ----------*a11 *b12 *kap *r653 + ----*b12 *kap *r653)/(b12 *kap )
239450 15
- a11*r6162
r6296=--------------
b12
7258749 7 55562798 5 2
r6297=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 1795875
6078617 3 4 2 2 5 2
+ ---------*a11 *b12 *kap *r653 + a11 *b12 *kap *r6309
119725
428 6 3 7 2
+ -----*a11*b12 *kap *r653)/(b12 *kap )
75
r6298=0
r6299=0
r6300=0
r6301=0
3 2
6*a11 *r653 + 4*a11*b12 *kap*r653
r6302=-----------------------------------
3
b12 *kap
r6303=0
13630497 6 37291124 4 2
r6304=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 598625
18973891 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
214 6 3 5 2
+ -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6305=0
r6306=0
r6307=r6162
r6308=0
r6310=r6162
r6311=0
4*a11*r6162
r6312=-------------
b12
r6313=0
5629599 6 80303323 4 2
r6314=(---------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 1795875
23643166 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - 2*a11*b12 *kap *r6309
359175
728 6 3 6 2
- -----*b12 *kap *r653)/(b12 *kap )
75
r6315=0
r6316=0
r6317=0
13286604 8 2943113 6 2
r6318=( - ----------*a11 *r653 + ---------*a11 *b12 *kap*r653
598625 71835
538349929 4 4 2 3 5 2
+ -----------*a11 *b12 *kap *r653 + 2*a11 *b12 *kap *r6309
3591750
22575219 2 6 3 7 3
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
214 8 4 7 2
+ -----*b12 *kap *r653)/(a11*b12 *kap )
25
2
a11 *r6162
r6319=------------
2
b12
r6320=0
r6321=0
r6322=0
2*a11*r6162
r6323=-------------
b12
r6324=0
16888797 6 56956948 4 2
r6325=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 598625
18016091 2 4 2 5 2
- ----------*a11 *b12 *kap *r653 - 4*a11*b12 *kap *r6309
119725
628 6 3 6 2
- -----*b12 *kap *r653)/(b12 *kap )
25
- 2*a11*r6162
r6326=----------------
b12
12073773 7 134816546 5 2
r6327=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
598625 1795875
39025307 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *r653 + 2*a11 *b12 *kap *r6309
359175
856 6 3 7 2
+ -----*a11*b12 *kap *r653)/(b12 *kap )
75
r6328=0
r6329=0
41248 3 41248 2
- ---------*a11 *r6162 - ---------*a11*b12 *kap*r6162
2052135 2052135
r6330=--------------------------------------------------------
3
b12
r6331=0
16888797 7 60548698 5 2
r6332=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
18255541 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *r653 + 3*a11 *b12 *kap *r6309
119725
528 6 3 7 2
+ -----*a11*b12 *kap *r653)/(b12 *kap )
25
2
a11 *r6162
r6333=------------
2
b12
r6334=0
r6335=0
r6336=0
r6337=0
2 2
2*a11 *r653 + 2*b12 *kap*r653
r6338=-------------------------------
2
b12 *kap
r6339=0
2 2
2*a11 *r653 + 2*b12 *kap*r653
r6340=-------------------------------
2
b12 *kap
r6341=0
r6342=0
r6343=0
r6344=0
2 2
- 2*a11 *r653 - 2*b12 *kap*r653
r6345=----------------------------------
2
b12 *kap
r6346=0
r6348=0
r6349=0
2 2
- 2*a11 *r653 - 2*b12 *kap*r653
r6350=----------------------------------
2
b12 *kap
r6351=0
r6352=0
r6354=0
r6355=0
2914349 6 65102698 4 2
r6356=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 1795875
16100491 2 4 2 428 6 3 5 2
+ ----------*a11 *b12 *kap *r653 + -----*b12 *kap *r653)/(a11*b12 *kap )
359175 75
r6357=0
r6358=0
r6359=0
r6360=0
4
a11 *r653
r6361=-----------
4
b12 *kap
r6362=0
38864143 6 238404058 4 2
r6363=(----------*a11 *r653 - -----------*a11 *b12 *kap*r653
1197250 1795875
131830703 2 4 2 5 2
- -----------*a11 *b12 *kap *r653 - 2*a11*b12 *kap *r6309
718350
1298 6 3 6 2
- ------*b12 *kap *r653)/(b12 *kap )
75
r6364=0
- a11*r6162
r6365=--------------
b12
6317501 6 17811937 4 2
r6366=( - ---------*a11 *r653 - ----------*a11 *b12 *kap*r653
2394500 1795875
15142691 2 4 2 69 6 3 6 2
- ----------*a11 *b12 *kap *r653 - ----*b12 *kap *r653)/(b12 *kap )
1436700 25
r6367=0
r6368=0
r6369=0
31008039 8 2 242133037 6 2 2
r6370=( - ----------*a11 *n1 *r653 + -----------*a11 *b12 *kap*n1 *r653
2394500 4789000
372544453 4 4 2 2 5 3 5 2 2
+ -----------*a11 *b12 *kap *n1 *r653 + ---*a11 *b12 *kap *n1 *r6309
2873400 4
1 2 8 3 108269077 2 6 3 2
+ ---*a11 *b12 *kap *r446 + -----------*a11 *b12 *kap *n1 *r653
6 1436700
7 3 2 1 10 4
+ a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
6
142 8 4 2 8 2 2
+ -----*b12 *kap *n1 *r653)/(b12 *kap *n1 )
15
r6371=0
r6372=0
r6373=0
r6374=0
3 2
- 4*a11 *r653 - 4*a11*b12 *kap*r653
r6375=--------------------------------------
3
b12 *kap
r6376=0
2914349 6 79469698 4 2
r6377=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 1795875
18973891 2 4 2 428 6 3 5 2
+ ----------*a11 *b12 *kap *r653 + -----*b12 *kap *r653)/(a11*b12 *kap )
359175 75
r6378=0
r6379=0
7801799 6 32403674 4 2
r6380=(---------*a11 *r653 - ----------*a11 *b12 *kap*r653
1197250 1795875
18973891 2 4 2 214 6 3 5 2
- ----------*a11 *b12 *kap *r653 - -----*b12 *kap *r653)/(a11*b12 *kap )
718350 75
r6381=0
4869329 6 68576308 4 2
r6382=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
119725 359175
18399211 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + 4*a11*b12 *kap *r6309
71835
368 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
15
r6383=0
2*a11*r6162
r6384=-------------
b12
r6385=0
r6386=0
r6387=0
2 2
- a11 *r6162 - b12 *kap*r6162
r6388=--------------------------------
2
b12
11259198 8 2342148759 6 2
r6389=( - ----------*a11 *r653 + ------------*a11 *b12 *kap*r653
598625 38312000
5965234231 4 4 2 20429747 2 6 3
+ ------------*a11 *b12 *kap *r653 + ----------*a11 *b12 *kap *r653
38312000 239450
7 3 214 8 4 7 2
+ a11*b12 *kap *r6309 + -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6390=0
4 2 2
5*a11 *r653 + 4*a11 *b12 *kap*r653
r6391=------------------------------------
4
b12 *kap
r6392=0
35062793 6 225620543 4 2
r6393=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
1197250 1795875
124915387 2 4 2 5 2
+ -----------*a11 *b12 *kap *r653 + 3*a11*b12 *kap *r6309
718350
1498 6 3 6 2
+ ------*b12 *kap *r653)/(b12 *kap )
75
r6394=0
2*a11*r6162
r6395=-------------
b12
23405397 6 24621549 4 2
r6396=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 598625
16339941 2 4 2 5 2
+ ----------*a11 *b12 *kap *r653 + a11*b12 *kap *r6309
239450
214 6 3 6 2
+ -----*b12 *kap *r653)/(b12 *kap )
25
2
a11 *r6162
r6397=------------
2
b12
r6398=0
r6399=0
47462454 8 25072751813 6 2
r6400=( - ----------*a11 *r653 + -------------*a11 *b12 *kap*r653
598625 114936000
70053013861 4 4 2 3 5 2
+ -------------*a11 *b12 *kap *r653 + 6*a11 *b12 *kap *r6309
114936000
16447887 2 6 3 9 7 3
+ ----------*a11 *b12 *kap *r653 + ---*a11*b12 *kap *r6309
47890 2
2504 8 4 8 2
+ ------*b12 *kap *r653)/(b12 *kap )
75
r6401=0
2
a11 *r6162
r6402=------------
2
b12
20147097 7 50106898 5 2
r6403=(----------*a11 *r653 - ----------*a11 *b12 *kap*r653
598625 598625
17297741 3 4 2 2 5 2
- ----------*a11 *b12 *kap *r653 - 3*a11 *b12 *kap *r6309
119725
628 6 3 7 2
- -----*a11*b12 *kap *r653)/(b12 *kap )
25
r6404=0
12345298 8 110655596 6 2
r6405=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
598625 1795875
36511082 4 4 2 3 5 2
+ ----------*a11 *b12 *kap *r653 + 2*a11 *b12 *kap *r6309
359175
1306 2 6 3 8 2
+ ------*a11 *b12 *kap *r653)/(b12 *kap )
75
r6406=0
3 2
4*a11 *r653 + 4*a11*b12 *kap*r653
r6407=-----------------------------------
3
b12 *kap
r6408=0
r6410=0
r6411=0
r6412=0
r6413=0
4543499 6 37291124 4 2
r6414=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 1795875
18973891 2 4 2 214 6 3 5 2
+ ----------*a11 *b12 *kap *r653 + -----*b12 *kap *r653)/(a11*b12 *kap )
718350 75
r6415=0
r6416=0
r6417=0
r6418=0
2914349 6 65102698 4 2
r6419=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 1795875
14663791 2 4 2 128 6 3 6 2
+ ----------*a11 *b12 *kap *r653 + -----*b12 *kap *r653)/(b12 *kap )
359175 75
r6420=0
r6421=0
r6422=0
21975346 8 16138686821 6 2
r6423=(----------*a11 *r653 - -------------*a11 *b12 *kap*r653
598625 114936000
30377246533 4 4 2 3 5 2
- -------------*a11 *b12 *kap *r653 - 2*a11 *b12 *kap *r6309
114936000
68051309 2 6 3 7 3
- ----------*a11 *b12 *kap *r653 - a11*b12 *kap *r6309
718350
214 8 4 7 2
- -----*b12 *kap *r653)/(a11*b12 *kap )
25
r6424=0
r6425=0
r6426=0
r6427=0
r6428=0
r6429=0
1285199 6 113091148 4 2
r6430=( - ---------*a11 *r653 + -----------*a11 *b12 *kap*r653
598625 1795875
21847291 2 4 2 172 6 3 6 2
+ ----------*a11 *b12 *kap *r653 - -----*b12 *kap *r653)/(b12 *kap )
359175 75
r6431=0
10716148 7 279574717 5 2
r6432=( - ----------*a11 *r653 + -----------*a11 *b12 *kap*r653
598625 3591750
78409789 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *r653 + 2*a11 *b12 *kap *r6309
718350
856 6 3 7 2
+ -----*a11*b12 *kap *r653)/(b12 *kap )
75
r6433=0
r6434=0
3 2
a11 *r6162 + a11*b12 *kap*r6162
r6435=---------------------------------
3
b12
r6436=0
16888797 7 53963823 5 2
r6437=( - ----------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
17417466 3 4 2 2 5 2
+ ----------*a11 *b12 *kap *r653 + 3*a11 *b12 *kap *r6309
119725
628 6 3 7 2
+ -----*a11*b12 *kap *r653)/(b12 *kap )
25
2
a11 *r6162
r6438=------------
2
b12
r6439=0
r6440=0
4 2 2
2*a11 *r653 + 2*a11 *b12 *kap*r653
r6441=------------------------------------
4
b12 *kap
r6442=0
4 2 2 4 2
- 10*a11 *r653 - 8*a11 *b12 *kap*r653 + 2*b12 *kap *r653
r6443=-----------------------------------------------------------
4
b12 *kap
r6444=0
r6445=0
4543499 6 33699374 4 2
r6446=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
1197250 1795875
16100491 2 4 2 64 6 3 6 2
+ ----------*a11 *b12 *kap *r653 + ----*b12 *kap *r653)/(b12 *kap )
718350 75
r6447=0
r6448=0
r6449=0
8308636 8 2323117169 6 2
r6450=(---------*a11 *r653 - ------------*a11 *b12 *kap*r653
598625 45974400
26417621749 4 4 2 1 3 5 2
- -------------*a11 *b12 *kap *r653 - ---*a11 *b12 *kap *r6309
229872000 2
39667033 2 6 3 1 7 3
- ----------*a11 *b12 *kap *r653 - ---*a11*b12 *kap *r6309
718350 2
353 8 4 8 2
- -----*b12 *kap *r653)/(b12 *kap )
75
r6451=0
r6452=0
7 5 2 3 4 2
r6453=(65166*a11 *r653 + 352506*a11 *b12 *kap*r653 + 191560*a11 *b12 *kap *r653
6 3 7 2
- 95780*a11*b12 *kap *r653)/(23945*b12 *kap )
r6454=0
6172649 8 15050391 6 2
r6455=( - ---------*a11 *r653 + ----------*a11 *b12 *kap*r653
598625 598625
17297741 4 4 2 3 5 2
+ ----------*a11 *b12 *kap *r653 + a11 *b12 *kap *r6309
359175
878 2 6 3 8 2
+ -----*a11 *b12 *kap *r653)/(b12 *kap )
75
r6456=0
5 3 2 4 2
- 12*a11 *r653 - 8*a11 *b12 *kap*r653 + 4*a11*b12 *kap *r653
r6457=---------------------------------------------------------------
5
b12 *kap
r6458=0
r6459=0
r6460=0
6 4 2 2 4 2
- 4*a11 *r653 - 2*a11 *b12 *kap*r653 + 2*a11 *b12 *kap *r653
r6461=---------------------------------------------------------------
6
b12 *kap
m3=0
m2=0
m1=0
n3=0
n2=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:
r446, r653, r6309, r6162, a11, n1, b12
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{b12,n1,a11,r6162}
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*u1*n1 + 2*u2 *a11 - 2*u2*v1*b12 + u3 *a11
HAM=-----------------------------------------------------------------------
2
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
3 2 2 3
FI=8208540*u1 *u2 *v1*a11 *b12 *kap
3 2 3 2 4 2
+ u1 *u2*u3 *(8208540*a11 *b12 *kap + 8208540*a11*b12 *kap )
2 3 2 3 2 2 2 3
+ 8208540*u1 *u2 *v2*a11 *b12 *kap + 8208540*u1 *u2 *u3*v3*a11 *b12 *kap
2 2 4
+ 16417080*u1 *u2 *v1*v2*a11*b12 *kap
2 2 2 3 5 2
+ u1 *u2*u3 *v2*( - 8208540*a11 *b12 *kap - 8208540*b12 *kap )
2 4 2 2 4
+ 16417080*u1 *u2*u3*v1*v3*a11*b12 *kap - 8208540*u1 *u3 *v1*v2*a11*b12 *kap
2 2 3 4 2 3
- 8208540*u1 *u3 *v1*a11*b12 *kap*n1 + 8208540*u1*u2 *v1*a11 *b12 *kap
3 2 3 2 4 2
+ u1*u2 *u3 *( - 164992*a11 *b12 *kap - 164992*a11*b12 *kap )
3 2 4 3 2 4
- 16417080*u1*u2 *v1 *a11*b12 *kap + 16417080*u1*u2 *v2 *a11*b12 *kap
2 2 2 3
+ 8208540*u1*u2 *u3 *v1*a11 *b12 *kap
2 4 2 3 5
+ 32834160*u1*u2 *u3*v2*v3*a11*b12 *kap + 8208540*u1*u2 *v1 *b12 *kap
2 2 5 2 3 2
+ 8208540*u1*u2 *v1*v2 *b12 *kap - 8208540*u1*u2 *v1*b12 *kap*n1
2 2 4 2 2 4
- 8208540*u1*u2*u3 *v1 *a11*b12 *kap - 8208540*u1*u2*u3 *v2 *a11*b12 *kap
2 3 2 2 4
- 8208540*u1*u2*u3 *v2*a11*b12 *kap*n1 + 16417080*u1*u2*u3 *v3 *a11*b12 *kap
5 4
+ 16417080*u1*u2*u3*v1*v2*v3*b12 *kap + 16417080*u1*u2*u3*v1*v3*b12 *kap*n1
4 2 3 3 4
+ 2052135*u1*u3 *v1*a11 *b12 *kap - 8208540*u1*u3 *v2*v3*a11*b12 *kap
3 3 2 2 5
- 8208540*u1*u3 *v3*a11*b12 *kap*n1 - 8208540*u1*u3 *v1*v2 *b12 *kap
2 4 2 3 2
- 16417080*u1*u3 *v1*v2*b12 *kap*n1 - 8208540*u1*u3 *v1*b12 *kap*n1
5 2 3 4 2 3
+ 8208540*u2 *v2*a11 *b12 *kap + 8208540*u2 *u3*v3*a11 *b12 *kap
4 4
- 16417080*u2 *v1*v2*a11*b12 *kap
3 2 4 2 3 5 2
+ u2 *u3 *v2*(164992*a11 *b12 + 164992*a11 *b12 *kap - 8208540*b12 *kap )
3 2 4 2 2
+ u2 *u3 *( - 164992*a11 *n1 - 164992*a11 *b12 *kap*n1)
3 4 3 2 5
- 16417080*u2 *u3*v1*v3*a11*b12 *kap + 8208540*u2 *v1 *v2*b12 *kap
3 3 5 3 3 2
+ 8208540*u2 *v2 *b12 *kap - 8208540*u2 *v2*b12 *kap*n1
2 3 5 2 2 2 4
- 8208540*u2 *u3 *v3*b12 *kap - 8208540*u2 *u3 *v1*v2*a11*b12 *kap
2 2 5 2 2 5
+ 8208540*u2 *u3*v1 *v3*b12 *kap + 24625620*u2 *u3*v2 *v3*b12 *kap
2 4 2 3 2
+ 16417080*u2 *u3*v2*v3*b12 *kap*n1 - 8208540*u2 *u3*v3*b12 *kap*n1
4 2 3 3 4
+ 2052135*u2*u3 *v2*a11 *b12 *kap - 8208540*u2*u3 *v1*v3*a11*b12 *kap
2 3 5 2 2 4
- 8208540*u2*u3 *v2 *b12 *kap - 16417080*u2*u3 *v2 *b12 *kap*n1
2 2 5 2 3 2
+ 16417080*u2*u3 *v2*v3 *b12 *kap - 8208540*u2*u3 *v2*b12 *kap*n1
2 2 4 5 2 3
+ 16417080*u2*u3 *v3 *b12 *kap*n1 + 2052135*u3 *v3*a11 *b12 *kap
3 2 5 3 4
- 8208540*u3 *v2 *v3*b12 *kap - 16417080*u3 *v2*v3*b12 *kap*n1
3 3 2
- 8208540*u3 *v3*b12 *kap*n1
which the program can not factorize further.
{HAM,FI} = 0
4 2 3 4 2 3 2
FI=24*u1 *u2 *a11 + u1 *u3 *( - 12*a11 - 12*a11*b12 *kap)
3 2 2 3 2 2 3 2
+ 72*u1 *u2 *v2*a11 *b12 + 24*u1 *u2 *a11 *n1 + 48*u1 *u2*u3*v3*a11 *b12
3 2 2 3
+ u1 *u3 *v2*( - 48*a11 *b12 - 24*b12 *kap)
3 2 2 2 2 4 3
+ u1 *u3 *( - 32*a11 *n1 - 8*b12 *kap*n1) + 48*u1 *u2 *a11
2 3 2 2 2 2 3 2
- 72*u1 *u2 *v1*a11 *b12 + u1 *u2 *u3 *(144*a11 + 108*a11*b12 *kap)
2 2 2 2 2 2 2 2
+ 24*u1 *u2 *v1 *a11*b12 + 72*u1 *u2 *v2 *a11*b12
2 2 2 2 2 2 2 3
+ 48*u1 *u2 *v2*a11*b12*n1 - 24*u1 *u2 *a11*n1 + 24*u1 *u2*u3 *v1*b12 *kap
2 2 2
+ 96*u1 *u2*u3*v2*v3*a11*b12 + 96*u1 *u2*u3*v3*a11*b12*n1
2 4 3 2 2 2 2 2
+ u1 *u3 *(30*a11 + 24*a11*b12 *kap) - 48*u1 *u3 *v2 *a11*b12
2 2 2 2 2 4 2
- 96*u1 *u3 *v2*a11*b12*n1 - 48*u1 *u3 *a11*n1 + 72*u1*u2 *v2*a11 *b12
4 2 3 2 3 2
+ 24*u1*u2 *a11 *n1 + 48*u1*u2 *u3*v3*a11 *b12 - 96*u1*u2 *v1*v2*a11*b12
3 2 2 2 3
- 48*u1*u2 *v1*a11*b12*n1 + u1*u2 *u3 *v2*(48*a11 *b12 + 24*b12 *kap)
2 2 2 2 2 2
+ u1*u2 *u3 *(24*a11 *n1 + 24*b12 *kap*n1) - 48*u1*u2 *u3*v1*v3*a11*b12
2 2 3 2 2 2 2 3 3
+ 24*u1*u2 *v1 *v2*b12 + 24*u1*u2 *v1 *b12 *n1 + 24*u1*u2 *v2 *b12
2 2 2 2 2 2 3
+ 24*u1*u2 *v2 *b12 *n1 - 24*u1*u2 *v2*b12*n1 - 24*u1*u2 *n1
3 2 2 3
+ 24*u1*u2*u3 *v3*a11 *b12 + 48*u1*u2*u3*v2 *v3*b12
2 2
+ 96*u1*u2*u3*v2*v3*b12 *n1 + 48*u1*u2*u3*v3*b12*n1
4 2 3
+ u1*u3 *v2*(18*a11 *b12 + 24*b12 *kap)
4 2 2 2 3 3
+ u1*u3 *(18*a11 *n1 + 24*b12 *kap*n1) - 24*u1*u3 *v2 *b12
2 2 2 2 2 2 3 6 3
- 72*u1*u3 *v2 *b12 *n1 - 72*u1*u3 *v2*b12*n1 - 24*u1*u3 *n1 + 24*u2 *a11
5 2 4 2 3 4 2 2
- 72*u2 *v1*a11 *b12 + 36*u2 *u3 *a11 + 72*u2 *v1 *a11*b12
4 2 2 4 2
+ 24*u2 *v2 *a11*b12 - 24*u2 *a11*n1
3 2 2 3 3 2
+ u2 *u3 *v1*( - 96*a11 *b12 - 24*b12 *kap) + 48*u2 *u3*v2*v3*a11*b12
3 3 3 3 3 2 3
+ 48*u2 *u3*v3*a11*b12*n1 - 24*u2 *v1 *b12 - 24*u2 *v1*v2 *b12
3 2 2 4 3 2
+ 24*u2 *v1*b12*n1 + u2 *u3 *(30*a11 + 12*a11*b12 *kap)
2 2 2 2 2 2 2 2
+ 36*u2 *u3 *v1 *a11*b12 - 12*u2 *u3 *v2 *a11*b12
2 2 2 2 2 2 3
- 48*u2 *u3 *v2*a11*b12*n1 - 36*u2 *u3 *a11*n1 - 48*u2 *u3*v1*v2*v3*b12
2 2 4 2 3
- 48*u2 *u3*v1*v3*b12 *n1 + u2*u3 *v1*( - 42*a11 *b12 - 24*b12 *kap)
3 2 3 2 2 3
+ 24*u2*u3 *v2*v3*a11*b12 + 24*u2*u3 *v3*a11*b12*n1 + 24*u2*u3 *v1*v2 *b12
2 2 2 2
+ 48*u2*u3 *v1*v2*b12 *n1 + 24*u2*u3 *v1*b12*n1
6 3 2 4 2 2 4
+ u3 *(7*a11 + 4*a11*b12 *kap) - 12*u3 *v2 *a11*b12 - 24*u3 *v2*a11*b12*n1
4 2
- 12*u3 *a11*n1
which the program can not factorize further.
{HAM,FI} = 0
6 7 2 2 5 4 3
FI=u1 *( - 2758464000*a11 *b12 *kap - 1379232000*a11 *b12 *kap
3 6 4 5 6 3 2
+ 1379232000*a11 *b12 *kap ) + u1 *v2*( - 8275392000*a11 *b12 *kap
4 5 3 2 7 4 5
- 5516928000*a11 *b12 *kap + 2758464000*a11 *b12 *kap ) + u1 *(
6 2 2 4 4 3
- 8275392000*a11 *b12 *kap *n1 - 5516928000*a11 *b12 *kap *n1
2 6 4 4 2 9
+ 2758464000*a11 *b12 *kap *n1) + u1 *u2 *( - 7110891648*a11 *kap
7 2 2 5 4 3
+ 17338050432*a11 *b12 *kap + 33211662720*a11 *b12 *kap
3 6 4 4 8
+ 8073104640*a11 *b12 *kap ) + u1 *u2*v1*(1876780800*a11 *b12*kap
6 3 2 4 5 3
+ 10152172800*a11 *b12 *kap + 5516928000*a11 *b12 *kap
2 7 4 4 2 9
- 2758464000*a11 *b12 *kap ) + u1 *u3 *(9571548672*a11 *kap
7 2 2 5 4 3
- 34846757535*a11 *b12 *kap - 79252865247*a11 *b12 *kap
3 6 4 8 5 4 2
- 38080351680*a11 *b12 *kap - 3245792640*a11*b12 *kap ) + u1 *v1 *(
7 2 5 4 2
- 2617055424*a11 *b12 *kap + 12940559616*a11 *b12 *kap
3 6 3 8 4 4 2
+ 15456471360*a11 *b12 *kap + 588472320*a11*b12 *kap ) + u1 *v2 *(
5 4 2 3 6 3
- 6896160000*a11 *b12 *kap - 5516928000*a11 *b12 *kap
8 4 4 5 3 2
+ 1379232000*a11*b12 *kap ) + u1 *v2*( - 16550784000*a11 *b12 *kap *n1
3 5 3 7 4
- 13792320000*a11 *b12 *kap *n1 + 2758464000*a11*b12 *kap *n1)
4 2 5 4 2 3 6 3 4
+ u1 *v3 *(1379232000*a11 *b12 *kap + 1379232000*a11 *b12 *kap ) + u1 *(
5 2 2 2 3 4 3 2
- 9654624000*a11 *b12 *kap *n1 - 8275392000*a11 *b12 *kap *n1
6 4 2 3 2 8
+ 1379232000*a11*b12 *kap *n1 ) + u1 *u2 *v2*( - 19455894144*a11 *b12*kap
6 3 2 4 5 3
+ 62166324096*a11 *b12 *kap + 100324604160*a11 *b12 *kap
2 7 4 3 2 8
+ 17323153920*a11 *b12 *kap ) + u1 *u2 *( - 7110891648*a11 *kap*n1
6 2 2 4 4 3
+ 8579927232*a11 *b12 *kap *n1 + 25143155520*a11 *b12 *kap *n1
2 6 4 3
+ 9452336640*a11 *b12 *kap *n1) + u1 *u2*u3*v3*(
8 6 3 2
- 12345002496*a11 *b12*kap + 53678345664*a11 *b12 *kap
4 5 3 2 7 4 3
+ 75273397440*a11 *b12 *kap + 7870817280*a11 *b12 *kap ) + u1 *u2*v1*v2*
7 2 5 4 2
( - 1480549248*a11 *b12 *kap + 43427000832*a11 *b12 *kap
3 6 3 8 4 3
+ 41946798720*a11 *b12 *kap - 1581519360*a11*b12 *kap ) + u1 *u2*v1*(
7 5 3 2
1876780800*a11 *b12*kap*n1 + 18427564800*a11 *b12 *kap *n1
3 5 3 7 4 3 2
+ 13792320000*a11 *b12 *kap *n1 - 2758464000*a11*b12 *kap *n1) + u1 *u3
8 6 3 2
*v2*(25315598592*a11 *b12*kap - 96832120926*a11 *b12 *kap
4 5 3 2 7 4
- 182263479198*a11 *b12 *kap - 65329256640*a11 *b12 *kap
9 5 3 2 8
- 5903112960*b12 *kap ) + u1 *u3 *(24766459008*a11 *kap*n1
6 2 2 4 4 3
- 109441856202*a11 *b12 *kap *n1 - 174892391050*a11 *b12 *kap *n1
2 6 4 8 5 3
- 43273967040*a11 *b12 *kap *n1 - 3279507200*b12 *kap *n1) + u1 *u3*v1*v3
7 2 5 4 2
*( - 3357330048*a11 *b12 *kap + 24999436032*a11 *b12 *kap
3 6 3 8 4 3 2
+ 28154478720*a11 *b12 *kap + 1176944640*a11*b12 *kap ) + u1 *v1 *v2*(
6 3 4 5 2
- 2617055424*a11 *b12 *kap + 14319791616*a11 *b12 *kap
2 7 3 9 4 3 2
+ 18214935360*a11 *b12 *kap + 1967704320*b12 *kap ) + u1 *v1 *(
6 2 4 4 2
- 2617055424*a11 *b12 *kap*n1 + 14319791616*a11 *b12 *kap *n1
2 6 3 8 4
+ 18214935360*a11 *b12 *kap *n1 + 1967704320*b12 *kap *n1)
3 2 4 4 2 2 6 3
+ u1 *v2 *( - 5516928000*a11 *b12 *kap *n1 - 5516928000*a11 *b12 *kap *n1)
3 2 4 5 2 2 7 3 3
+ u1 *v2*v3 *(2758464000*a11 *b12 *kap + 2758464000*a11 *b12 *kap ) + u1
4 3 2 2 2 5 3 2
*v2*( - 11033856000*a11 *b12 *kap *n1 - 11033856000*a11 *b12 *kap *n1 )
3 2 4 4 2 2 6 3
+ u1 *v3 *(2758464000*a11 *b12 *kap *n1 + 2758464000*a11 *b12 *kap *n1)
3 4 2 2 3 2 4 3 3
+ u1 *( - 5516928000*a11 *b12 *kap *n1 - 5516928000*a11 *b12 *kap *n1 ) +
2 4 9 7 2 2
u1 *u2 *( - 14221783296*a11 *kap + 42491748864*a11 *b12 *kap
5 4 3 3 6 4 2
+ 70101277440*a11 *b12 *kap + 12008513280*a11 *b12 *kap ) + u1
3 8 6 3 2
*u2 *v1*(23209455744*a11 *b12*kap - 57723146496*a11 *b12 *kap
4 5 3 2 7 4 2
- 99634988160*a11 *b12 *kap - 17323153920*a11 *b12 *kap ) + u1
2 2 9 7 2 2
*u2 *u3 *( - 54676747008*a11 *kap + 150436510878*a11 *b12 *kap
5 4 3 3 6 4
+ 420318083166*a11 *b12 *kap + 236849572800*a11 *b12 *kap
8 5 2 2 2
+ 23023979520*a11*b12 *kap ) + u1 *u2 *v1 *(
7 2 5 4 2
- 13481508672*a11 *b12 *kap + 28364024448*a11 *b12 *kap
3 6 3 8 4 2 2 2
+ 47059030080*a11 *b12 *kap + 5903112960*a11*b12 *kap ) + u1 *u2 *v2 *(
7 2 5 4 2
- 20196168768*a11 *b12 *kap + 86638288512*a11 *b12 *kap
3 6 3 8 4 2 2
+ 119918771520*a11 *b12 *kap + 13773930240*a11*b12 *kap ) + u1 *u2 *v2*(
7 5 3 2
- 12345002496*a11 *b12*kap*n1 + 35633393664*a11 *b12 *kap *n1
3 5 3 7 4
+ 58607677440*a11 *b12 *kap *n1 + 10629281280*a11*b12 *kap *n1)
2 2 2 5 4 2 3 6 3 2
+ u1 *u2 *v3 *(3448080000*a11 *b12 *kap + 2758464000*a11 *b12 *kap ) + u1
2 7 2 5 2 2 2
*u2 *( - 4691952000*a11 *kap*n1 + 16918314720*a11 *b12 *kap *n1
3 4 3 2 6 4 2 2
+ 29425914720*a11 *b12 *kap *n1 + 7815648000*a11*b12 *kap *n1 ) + u1
2 8 6 3 2
*u2*u3 *v1*( - 12970596096*a11 *b12*kap + 42158677662*a11 *b12 *kap
4 5 3 2 7 4
+ 107374216158*a11 *b12 *kap + 58837671360*a11 *b12 *kap
9 5 2
+ 5903112960*b12 *kap ) + u1 *u2*u3*v2*v3*(
7 2 5 4 2
- 28047335040*a11 *b12 *kap + 131666511360*a11 *b12 *kap
3 6 3 8 4 2
+ 176632425600*a11 *b12 *kap + 16918579200*a11*b12 *kap ) + u1 *u2*u3*v3
7 5 3 2
*( - 28047335040*a11 *b12*kap*n1 + 129827535360*a11 *b12 *kap *n1
3 5 3 7 4 2
+ 176632425600*a11 *b12 *kap *n1 + 17378323200*a11*b12 *kap *n1) + u1 *u2
3 6 3 4 5 2
*v1 *(4493836224*a11 *b12 *kap - 12443010816*a11 *b12 *kap
2 7 3 9 4 2 2
- 18214935360*a11 *b12 *kap - 1967704320*b12 *kap ) + u1 *u2*v1*v2 *(
6 3 4 5 2
- 3357330048*a11 *b12 *kap + 30516364032*a11 *b12 *kap
2 7 3 9 4 2
+ 36429870720*a11 *b12 *kap + 3935408640*b12 *kap ) + u1 *u2*v1*v2*(
6 2 4 4 2
- 3357330048*a11 *b12 *kap*n1 + 41550220032*a11 *b12 *kap *n1
2 6 3 8 4
+ 47463726720*a11 *b12 *kap *n1 + 3935408640*b12 *kap *n1)
2 2 4 5 2 2 7 3
+ u1 *u2*v1*v3 *( - 2758464000*a11 *b12 *kap - 2758464000*a11 *b12 *kap ) +
2 4 3 2 2 2 5 3 2
u1 *u2*v1*(11033856000*a11 *b12 *kap *n1 + 11033856000*a11 *b12 *kap *n1 )
2 4 9 7 2 2
+ u1 *u3 *( - 8930315232*a11 *kap + 34867157328*a11 *b12 *kap
5 4 3 3 6 4
+ 89410668720*a11 *b12 *kap + 51969156960*a11 *b12 *kap
8 5 2 2 2
+ 6528364800*a11*b12 *kap ) + u1 *u3 *v1 *(
7 2 5 4 2
- 1819440288*a11 *b12 *kap - 6839783808*a11 *b12 *kap
3 6 3 8 4 2 2 2
- 7268491680*a11 *b12 *kap - 1903340160*a11*b12 *kap ) + u1 *u3 *v2 *(
7 2 5 4 2
22385746368*a11 *b12 *kap - 91547158272*a11 *b12 *kap
3 6 3 8 4 2 2
- 126557474880*a11 *b12 *kap - 11934954240*a11*b12 *kap ) + u1 *u3 *v2*(
7 5 3 2
44688057984*a11 *b12*kap*n1 - 207799097376*a11 *b12 *kap *n1
3 5 3 7 4
- 283970424480*a11 *b12 *kap *n1 - 30104037120*a11*b12 *kap *n1)
2 2 2 5 4 2 2 2 7 2
+ 689616000*u1 *u3 *v3 *a11 *b12 *kap + u1 *u3 *(24022694016*a11 *kap*n1
5 2 2 2 3 4 3 2
- 117146350704*a11 *b12 *kap *n1 - 157958895600*a11 *b12 *kap *n1
6 4 2 2
- 16100234880*a11*b12 *kap *n1 ) + u1 *u3*v1*v2*v3*(
6 3 4 5 2
- 3357330048*a11 *b12 *kap + 24999436032*a11 *b12 *kap
2 7 3 9 4 2
+ 30912942720*a11 *b12 *kap + 3935408640*b12 *kap ) + u1 *u3*v1*v3*(
6 2 4 4 2
- 3357330048*a11 *b12 *kap*n1 + 24999436032*a11 *b12 *kap *n1
2 6 3 8 4
+ 30912942720*a11 *b12 *kap *n1 + 3935408640*b12 *kap *n1)
2 4 3 6 2 8 3
+ u1 *v1 *( - 1379232000*a11 *b12 *kap - 1379232000*a11*b12 *kap )
2 2 3 5 2 7 3
+ u1 *v1 *v2*(2758464000*a11 *b12 *kap *n1 + 2758464000*a11*b12 *kap *n1)
2 2 2 3 6 2 8 3
+ u1 *v1 *v3 *( - 1379232000*a11 *b12 *kap - 1379232000*a11*b12 *kap ) +
2 2 7 2 5 2 2
u1 *v1 *(938390400*a11 *n1 + 938390400*a11 *b12 *kap*n1
6 3 2
- 689616000*a11*b12 *kap *n1 )
2 4 3 6 2 8 3
+ u1 *v2 *(1379232000*a11 *b12 *kap + 1379232000*a11*b12 *kap )
2 3 3 5 2 7 3
+ u1 *v2 *(2758464000*a11 *b12 *kap *n1 + 2758464000*a11*b12 *kap *n1)
2 2 2 3 6 2 8 3
+ u1 *v2 *v3 *(1379232000*a11 *b12 *kap + 1379232000*a11*b12 *kap )
2 2 3 5 2 7 3
+ u1 *v2*v3 *(2758464000*a11 *b12 *kap *n1 + 2758464000*a11*b12 *kap *n1)
2 3 3 2 3 5 3 3
+ u1 *v2*( - 2758464000*a11 *b12 *kap *n1 - 2758464000*a11*b12 *kap *n1 )
2 2 3 4 2 2 6 3 2
+ u1 *v3 *(1379232000*a11 *b12 *kap *n1 + 1379232000*a11*b12 *kap *n1 )
2 3 2 2 4 4 3 4
+ u1 *( - 1379232000*a11 *b12 *kap *n1 - 1379232000*a11*b12 *kap *n1 ) + u1
4 8 6 3 2
*u2 *v2*( - 19455894144*a11 *b12*kap + 69752100096*a11 *b12 *kap
4 5 3 2 7 4
+ 105151916160*a11 *b12 *kap + 14564689920*a11 *b12 *kap ) + u1
4 8 6 2 2
*u2 *( - 5546907648*a11 *kap*n1 + 26257938432*a11 *b12 *kap *n1
4 4 3 2 6 4
+ 38498718720*a11 *b12 *kap *n1 + 6693872640*a11 *b12 *kap *n1) + u1
3 8 6 3 2
*u2 *u3*v3*( - 13908986496*a11 *b12*kap + 51769553664*a11 *b12 *kap
4 5 3 2 7 4
+ 74928589440*a11 *b12 *kap + 7870817280*a11 *b12 *kap ) + u1
3 7 2 5 4 2
*u2 *v1*v2*(19455894144*a11 *b12 *kap - 65614404096*a11 *b12 *kap
3 6 3 8 4
- 103772684160*a11 *b12 *kap - 17323153920*a11*b12 *kap ) + u1
3 7 5 3 2
*u2 *v1*(12970596096*a11 *b12*kap*n1 - 54776792064*a11 *b12 *kap *n1
3 5 3 7 4
- 78376669440*a11 *b12 *kap *n1 - 10629281280*a11*b12 *kap *n1) +
2 2 8 6 3 2
u1*u2 *u3 *v2*( - 15306167808*a11 *b12*kap + 28253884800*a11 *b12 *kap
4 5 3 2 7 4
+ 103363186368*a11 *b12 *kap + 65016630720*a11 *b12 *kap
9 5 2 2 8
+ 5903112960*b12 *kap ) + u1*u2 *u3 *(8174400768*a11 *kap*n1
6 2 2 4 4 3
- 39690340704*a11 *b12 *kap *n1 - 7609922592*a11 *b12 *kap *n1
2 6 4 8 5 2
+ 46847547840*a11 *b12 *kap *n1 + 5903112960*b12 *kap *n1) + u1*u2 *u3*v1
7 2 5 4 2
*v3*(6485298048*a11 *b12 *kap - 30836476032*a11 *b12 *kap
3 6 3 8 4 2 2
- 45394878720*a11 *b12 *kap - 6693872640*a11*b12 *kap ) + u1*u2 *v1 *(
6 2 4 4 2
- 8987672448*a11 *b12 *kap*n1 + 17989861632*a11 *b12 *kap *n1
2 6 3 8 4 2 3
+ 30912942720*a11 *b12 *kap *n1 + 3935408640*b12 *kap *n1) + u1*u2 *v2 *(
6 3 4 5 2
- 7851166272*a11 *b12 *kap + 42959374848*a11 *b12 *kap
2 7 3 9 4 2 2
+ 54644806080*a11 *b12 *kap + 5903112960*b12 *kap ) + u1*u2 *v2 *(
6 2 4 4 2
- 7851166272*a11 *b12 *kap*n1 + 41580142848*a11 *b12 *kap *n1
2 6 3 8 4
+ 54644806080*a11 *b12 *kap *n1 + 5903112960*b12 *kap *n1)
2 2 4 5 2 2 7 3
+ u1*u2 *v2*v3 *(4137696000*a11 *b12 *kap + 2758464000*a11 *b12 *kap ) + u1
2 6 2 4 3 2 2
*u2 *v2*(7851166272*a11 *b12*kap*n1 - 38132062848*a11 *b12 *kap *n1
2 5 3 2 7 4 2
- 50507110080*a11 *b12 *kap *n1 - 5903112960*b12 *kap *n1 )
2 2 4 4 2 2 6 3
+ u1*u2 *v3 *(2758464000*a11 *b12 *kap *n1 + 2758464000*a11 *b12 *kap *n1) +
2 6 3 4 2 2 3
u1*u2 *(7851166272*a11 *kap*n1 - 40545718848*a11 *b12 *kap *n1
2 4 3 3 6 4 3
- 54299998080*a11 *b12 *kap *n1 - 5903112960*b12 *kap *n1 ) + u1
3 8 6 3 2
*u2*u3 *v3*( - 8362078848*a11 *b12*kap + 21336114432*a11 *b12 *kap
4 5 3 2 7 4
+ 35012833920*a11 *b12 *kap + 3935408640*a11 *b12 *kap ) + u1
2 7 2 5 4 2
*u2*u3 *v1*v2*( - 16213245120*a11 *b12 *kap + 71634028800*a11 *b12 *kap
3 6 3 8 4 2
+ 91479251520*a11 *b12 *kap + 4321593600*a11*b12 *kap ) + u1*u2*u3 *v1*(
7 5 3 2
- 16640722944*a11 *b12*kap*n1 + 77971562016*a11 *b12 *kap *n1
3 5 3 7 4
+ 107337998880*a11 *b12 *kap *n1 + 12725713920*a11*b12 *kap *n1) + u1*u2
2 6 3 4 5 2
*u3*v1 *v3*(8987672448*a11 *b12 *kap - 17989861632*a11 *b12 *kap
2 7 3 9 4
- 30912942720*a11 *b12 *kap - 3935408640*b12 *kap ) + u1*u2*u3
2 6 3 4 5 2
*v2 *v3*( - 15702332544*a11 *b12 *kap + 79022589696*a11 *b12 *kap
2 7 3 9 4
+ 103772684160*a11 *b12 *kap + 11806225920*b12 *kap ) + u1*u2*u3
6 2 4 4 2
*v2*v3*( - 31404665088*a11 *b12 *kap*n1 + 153907483392*a11 *b12 *kap *n1
2 6 3 8 4
+ 207545368320*a11 *b12 *kap *n1 + 23612451840*b12 *kap *n1)
3 4 5 2
+ 1379232000*u1*u2*u3*v3 *a11 *b12 *kap + u1*u2*u3*v3*(
6 2 4 3 2 2
- 15702332544*a11 *b12*kap*n1 + 77988165696*a11 *b12 *kap *n1
2 5 3 2 7 4 2
+ 106875956160*a11 *b12 *kap *n1 + 11806225920*b12 *kap *n1 )
3 3 6 2 8 3
+ u1*u2*v1 *v2*( - 5516928000*a11 *b12 *kap - 5516928000*a11*b12 *kap )
3 3 5 2 7 3
+ u1*u2*v1 *( - 2758464000*a11 *b12 *kap *n1 - 2758464000*a11*b12 *kap *n1)
3 3 6 2 8 3
+ u1*u2*v1*v2 *( - 5516928000*a11 *b12 *kap - 5516928000*a11*b12 *kap ) +
2 3 5 2 7 3
u1*u2*v1*v2 *( - 2758464000*a11 *b12 *kap *n1 - 2758464000*a11*b12 *kap *n1)
2 3 6 2 8 3
+ u1*u2*v1*v2*v3 *( - 5516928000*a11 *b12 *kap - 5516928000*a11*b12 *kap )
6 3 2 2
- 1379232000*u1*u2*v1*v2*a11*b12 *kap *n1 + u1*u2*v1*v3
3 5 2 7 3
*( - 2758464000*a11 *b12 *kap *n1 - 2758464000*a11*b12 *kap *n1)
3 3 2 3 5 3 3
+ u1*u2*v1*(2758464000*a11 *b12 *kap *n1 + 2758464000*a11*b12 *kap *n1 ) +
4 8 6 3 2
u1*u3 *v2*( - 4749275808*a11 *b12*kap + 22577775600*a11 *b12 *kap
4 5 3 2 7 4
+ 78234138768*a11 *b12 *kap + 57499816320*a11 *b12 *kap
9 5 4 8
+ 5903112960*b12 *kap ) + u1*u3 *( - 1506626784*a11 *kap*n1
6 2 2 4 4 3
+ 10952425584*a11 *b12 *kap *n1 + 64616643408*a11 *b12 *kap *n1
2 6 4 8 5 3
+ 58750320000*a11 *b12 *kap *n1 + 5903112960*b12 *kap *n1) + u1*u3 *v1*v3
7 2 5 4 2
*( - 3242649024*a11 *b12 *kap + 13694198016*a11 *b12 *kap
3 6 3 8 4 2 2
+ 13617495360*a11 *b12 *kap - 2629735680*a11*b12 *kap ) + u1*u3 *v1 *v2*(
6 3 4 5 2
- 1136506176*a11 *b12 *kap - 15314889216*a11 *b12 *kap
2 7 3 9 4 2 2
- 15456471360*a11 *b12 *kap - 1967704320*b12 *kap ) + u1*u3 *v1 *(
6 2 4 4 2
- 1136506176*a11 *b12 *kap*n1 - 13935657216*a11 *b12 *kap *n1
2 6 3 8 4 2 3
- 14077239360*a11 *b12 *kap *n1 - 1967704320*b12 *kap *n1) + u1*u3 *v2 *(
6 3 4 5 2
7851166272*a11 *b12 *kap - 38821678848*a11 *b12 *kap
2 7 3 9 4 2 2
- 51886342080*a11 *b12 *kap - 5903112960*b12 *kap ) + u1*u3 *v2 *(
6 2 4 4 2
23553498816*a11 *b12 *kap*n1 - 113706572544*a11 *b12 *kap *n1
2 6 3 8 4 2
- 154279794240*a11 *b12 *kap *n1 - 17709338880*b12 *kap *n1) + u1*u3 *v2*
6 2 4 3 2 2
(23553498816*a11 *b12*kap*n1 - 117154652544*a11 *b12 *kap *n1
2 5 3 2 7 4 2
- 159107106240*a11 *b12 *kap *n1 - 17709338880*b12 *kap *n1 )
2 2 4 4 2 2 6 3
+ u1*u3 *v3 *(1379232000*a11 *b12 *kap *n1 + 1379232000*a11 *b12 *kap *n1) +
2 6 3 4 2 2 3
u1*u3 *(7851166272*a11 *kap*n1 - 39166486848*a11 *b12 *kap *n1
2 4 3 3 6 4 3
- 53610382080*a11 *b12 *kap *n1 - 5903112960*b12 *kap *n1 )
3 3 6 2 8 3
+ u1*u3*v1 *v3*( - 2758464000*a11 *b12 *kap - 2758464000*a11*b12 *kap )
2 3 6 2 8 3
+ u1*u3*v1*v2 *v3*( - 2758464000*a11 *b12 *kap - 2758464000*a11*b12 *kap )
3 3 6 2 8 3
+ u1*u3*v1*v3 *( - 2758464000*a11 *b12 *kap - 2758464000*a11*b12 *kap ) +
3 4 2 2 6 3 2
u1*u3*v1*v3*( - 2758464000*a11 *b12 *kap *n1 - 4137696000*a11*b12 *kap *n1 )
6 9 7 2 2
+ u2 *( - 7110891648*a11 *kap + 22625106432*a11 *b12 *kap
5 4 3 3 6 4 5
+ 35740254720*a11 *b12 *kap + 5314640640*a11 *b12 *kap ) + u2 *v1*(
8 6 3 2
21332674944*a11 *b12*kap - 67875319296*a11 *b12 *kap
4 5 3 2 7 4 4 2
- 105151916160*a11 *b12 *kap - 14564689920*a11 *b12 *kap ) + u2 *u3 *(
9 7 2 2
- 10895732928*a11 *kap + 32308294752*a11 *b12 *kap
5 4 3 3 6 4
+ 52426492320*a11 *b12 *kap + 8532848640*a11 *b12 *kap
8 5 4 2 7 2
+ 689616000*a11*b12 *kap ) + u2 *v1 *( - 21332674944*a11 *b12 *kap
5 4 2 3 6 3
+ 69944167296*a11 *b12 *kap + 104462300160*a11 *b12 *kap
8 4 4 2 7 2
+ 13185457920*a11*b12 *kap ) + u2 *v2 *( - 9727947072*a11 *b12 *kap
5 4 2 3 6 3
+ 39013746048*a11 *b12 *kap + 52575958080*a11 *b12 *kap
8 4
+ 4523880960*a11*b12 *kap )
4 7 5 3 2
+ u2 *v2*(1876780800*a11 *b12*kap*n1 + 1876780800*a11 *b12 *kap *n1)
4 2 5 4 2 3 6 3 4
+ u2 *v3 *(2068848000*a11 *b12 *kap + 1379232000*a11 *b12 *kap ) + u2 *(
7 2 5 2 2 2
7851166272*a11 *kap*n1 - 38361934848*a11 *b12 *kap *n1
3 4 3 2 6 4 2 3
- 51196726080*a11 *b12 *kap *n1 - 4983624960*a11*b12 *kap *n1 ) + u2
2 8 6 3 2
*u3 *v1*(28276763904*a11 *b12*kap - 83400180864*a11 *b12 *kap
4 5 3 2 7 4
- 180730127808*a11 *b12 *kap - 72887448000*a11 *b12 *kap
9 5 3
- 5903112960*b12 *kap ) + u2 *u3*v2*v3*(
7 2 5 4 2
- 21332674944*a11 *b12 *kap + 72013015296*a11 *b12 *kap
3 6 3 8 4 3
+ 102393452160*a11 *b12 *kap + 9047761920*a11*b12 *kap ) + u2 *u3*v3*(
7 5 3 2
- 15702332544*a11 *b12*kap*n1 + 77183613696*a11 *b12 *kap *n1
3 5 3 7 4 3 3
+ 103772684160*a11 *b12 *kap *n1 + 9507505920*a11*b12 *kap *n1) + u2 *v1
6 3 4 5 2
*(7110891648*a11 *b12 *kap - 26762802432*a11 *b12 *kap
2 7 3 9 4 3 2
- 36429870720*a11 *b12 *kap - 3935408640*b12 *kap ) + u2 *v1*v2 *(
6 3 4 5 2
9727947072*a11 *b12 *kap - 41082594048*a11 *b12 *kap
2 7 3 9 4
- 54644806080*a11 *b12 *kap - 5903112960*b12 *kap )
3 6 2 4 4 2
+ u2 *v1*v2*( - 1876780800*a11 *b12 *kap*n1 - 1876780800*a11 *b12 *kap *n1)
3 2 4 5 2 2 7 3
+ u2 *v1*v3 *( - 4137696000*a11 *b12 *kap - 2758464000*a11 *b12 *kap ) +
3 6 2 4 3 2 2
u2 *v1*( - 7851166272*a11 *b12*kap*n1 + 38132062848*a11 *b12 *kap *n1
2 5 3 2 7 4 2 2
+ 50507110080*a11 *b12 *kap *n1 + 5903112960*b12 *kap *n1 ) + u2
4 9 7 2 2
*u3 *( - 8930315232*a11 *kap + 39048196752*a11 *b12 *kap
5 4 3 3 6 4
+ 77804221104*a11 *b12 *kap + 33524349600*a11 *b12 *kap
8 5 2 2 2 7 2
+ 4560660480*a11*b12 *kap ) + u2 *u3 *v1 *( - 3127968000*a11 *b12 *kap
5 4 2 3 6 3
- 3789999360*a11 *b12 *kap + 1176944640*a11 *b12 *kap
8 4 2 2 2 7 2
+ 1838976000*a11*b12 *kap ) + u2 *u3 *v2 *(4863973536*a11 *b12 *kap
5 4 2 3 6 3
- 16863345024*a11 *b12 *kap - 26632787040*a11 *b12 *kap
8 4 2 2 7
- 3871044480*a11*b12 *kap ) + u2 *u3 *v2*(15702332544*a11 *b12*kap*n1
5 3 2 3 5 3
- 77183613696*a11 *b12 *kap *n1 - 103772684160*a11 *b12 *kap *n1
7 4 2 2 2 7 2
- 9507505920*a11*b12 *kap *n1) + u2 *u3 *v3 *( - 3753561600*a11 *b12 *kap
5 4 2 3 6 3 2 2
- 3063945600*a11 *b12 *kap - 689616000*a11 *b12 *kap ) + u2 *u3 *(
7 2 5 2 2 2
11776749408*a11 *kap*n1 - 56451010272*a11 *b12 *kap *n1
3 4 3 2 6 4 2 2
- 75243453120*a11 *b12 *kap *n1 - 6326077440*a11*b12 *kap *n1 ) + u2 *u3
6 3 4 5 2
*v1*v2*v3*(21332674944*a11 *b12 *kap - 72013015296*a11 *b12 *kap
2 7 3 9 4 2
- 103772684160*a11 *b12 *kap - 11806225920*b12 *kap ) + u2 *u3
6 2 4 4 2
*v1*v3*(13825551744*a11 *b12 *kap*n1 - 78140906496*a11 *b12 *kap *n1
2 6 3 8 4
- 103772684160*a11 *b12 *kap *n1 - 11806225920*b12 *kap *n1)
2 4 3 6 2 8 3
+ u2 *v1 *(2068848000*a11 *b12 *kap + 1379232000*a11*b12 *kap )
2 2 2 3 6 2
+ 1379232000*u2 *v1 *v2 *a11 *b12 *kap
2 2 2 3 6 2 8 3
+ u2 *v1 *v3 *(2068848000*a11 *b12 *kap + 1379232000*a11*b12 *kap )
2 2 6 3 2
+ 1379232000*u2 *v1 *a11*b12 *kap *n1
2 4 3 6 2 8 3
+ u2 *v2 *( - 689616000*a11 *b12 *kap - 1379232000*a11*b12 *kap )
2 2 2 3 6 2 8 3 2
+ u2 *v2 *v3 *( - 689616000*a11 *b12 *kap - 1379232000*a11*b12 *kap ) + u2
2 7 2 5 2 2
*v2 *(3753561600*a11 *n1 + 3753561600*a11 *b12 *kap*n1
6 3 2 2 2 7 2
+ 689616000*a11*b12 *kap *n1 ) + u2 *v3 *( - 938390400*a11 *n1
5 2 2 6 3 2
- 938390400*a11 *b12 *kap*n1 + 689616000*a11*b12 *kap *n1 )
2 4 3 4 4 8
- 689616000*u2 *a11*b12 *kap *n1 + u2*u3 *v1*(13111354656*a11 *b12*kap
6 3 2 4 5 3
- 45790670832*a11 *b12 *kap - 115123753488*a11 *b12 *kap
2 7 4 9 5 3
- 61435224960*a11 *b12 *kap - 5903112960*b12 *kap ) + u2*u3 *v2*v3*(
7 2 5 4 2
- 7851166272*a11 *b12 *kap + 40660654848*a11 *b12 *kap
3 6 3 8 4 3
+ 50507110080*a11 *b12 *kap + 1305672960*a11*b12 *kap ) + u2*u3 *v3*(
7 5 3 2
- 11604727872*a11 *b12*kap*n1 + 34838245248*a11 *b12 *kap *n1
3 5 3 7 4 2
+ 50507110080*a11 *b12 *kap *n1 + 2684904960*a11*b12 *kap *n1) + u2*u3
3 6 3 4 5 2
*v1 *( - 740274624*a11 *b12 *kap + 12058876416*a11 *b12 *kap
2 7 3 9 4 2 2
+ 15456471360*a11 *b12 *kap + 1967704320*b12 *kap ) + u2*u3 *v1*v2 *(
6 3 4 5 2
- 9727947072*a11 *b12 *kap + 35565666048*a11 *b12 *kap
2 7 3 9 4 2
+ 51886342080*a11 *b12 *kap + 5903112960*b12 *kap ) + u2*u3 *v1*v2*(
6 2 4 4 2
- 17579113344*a11 *b12 *kap*n1 + 74387344896*a11 *b12 *kap *n1
2 6 3 8 4
+ 103772684160*a11 *b12 *kap *n1 + 11806225920*b12 *kap *n1)
2 2 6 3 4 5 2
+ u2*u3 *v1*v3 *(3753561600*a11 *b12 *kap + 2374329600*a11 *b12 *kap ) + u2
2 6 2 4 3 2 2
*u3 *v1*( - 7851166272*a11 *b12*kap*n1 + 39166486848*a11 *b12 *kap *n1
2 5 3 2 7 4 2
+ 52231150080*a11 *b12 *kap *n1 + 5903112960*b12 *kap *n1 )
2 3 6 2 8 3
+ u2*u3*v1 *v2*v3*( - 1379232000*a11 *b12 *kap - 2758464000*a11*b12 *kap )
2 7 3
- 1379232000*u2*u3*v1 *v3*a11*b12 *kap *n1
3 3 6 2 8 3
+ u2*u3*v2 *v3*( - 1379232000*a11 *b12 *kap - 2758464000*a11*b12 *kap )
2 7 3
- 1379232000*u2*u3*v2 *v3*a11*b12 *kap *n1
3 3 6 2 8 3
+ u2*u3*v2*v3 *( - 1379232000*a11 *b12 *kap - 2758464000*a11*b12 *kap )
3 7 3
- 1379232000*u2*u3*v3 *a11*b12 *kap *n1
5 3 3 6 9
+ 1379232000*u2*u3*v3*a11*b12 *kap *n1 + u3 *( - 2725667280*a11 *kap
7 2 2 5 4 3
+ 9256540008*a11 *b12 *kap + 20971674008*a11 *b12 *kap
3 6 4 8 5 4 2
+ 9800914880*a11 *b12 *kap + 983852160*a11*b12 *kap ) + u3 *v1 *(
7 2 5 4 2
682934112*a11 *b12 *kap - 7268277408*a11 *b12 *kap
3 6 3 8 4 4 2
- 7498363680*a11 *b12 *kap + 625251840*a11*b12 *kap ) + u3 *v2 *(
7 2 5 4 2
4863973536*a11 *b12 *kap - 18874725024*a11 *b12 *kap
3 6 3 8 4 4
- 25943171040*a11 *b12 *kap - 1342452480*a11*b12 *kap ) + u3 *v2*(
7 5 3 2
11604727872*a11 *b12*kap*n1 - 34838245248*a11 *b12 *kap *n1
3 5 3 7 4 4 2
- 50507110080*a11 *b12 *kap *n1 - 2684904960*a11*b12 *kap *n1) + u3 *v3 *
5 4 2 3 6 3
(517212000*a11 *b12 *kap - 689616000*a11 *b12 *kap
8 4 4 7 2
- 689616000*a11*b12 *kap ) + u3 *(3925583136*a11 *kap*n1
5 2 2 2 3 4 3 2
- 18433883424*a11 *b12 *kap *n1 - 24219131040*a11 *b12 *kap *n1
6 4 2
- 1342452480*a11*b12 *kap *n1 )
3 6 3 4 5 2
+ u3 *v1*v2*v3*( - 1876780800*a11 *b12 *kap - 1876780800*a11 *b12 *kap )
3 6 2 4 4 2
+ u3 *v1*v3*( - 1876780800*a11 *b12 *kap*n1 - 1876780800*a11 *b12 *kap *n1)
2 4 3 6 2 8 3
+ u3 *v1 *(689616000*a11 *b12 *kap + 689616000*a11*b12 *kap )
2 2 2 3 6 2 8 3
+ u3 *v1 *v2 *(689616000*a11 *b12 *kap + 1379232000*a11*b12 *kap )
2 2 7 3
+ 1379232000*u3 *v1 *v2*a11*b12 *kap *n1
2 2 3 4 2 2 6 3 2
+ u3 *v1 *(1379232000*a11 *b12 *kap *n1 + 2068848000*a11*b12 *kap *n1 )
2 4 8 3 2 3 7 3
+ 689616000*u3 *v2 *a11*b12 *kap + 1379232000*u3 *v2 *a11*b12 *kap *n1
2 2 2 3 6 2 2 2 7 2
- 689616000*u3 *v2 *v3 *a11 *b12 *kap + u3 *v2 *( - 5630342400*a11 *n1
5 2 2 3 4 2 2
- 3216686400*a11 *b12 *kap*n1 + 2413656000*a11 *b12 *kap *n1 )
2 2 7 3
+ 1379232000*u3 *v2*v3 *a11*b12 *kap *n1
2 5 3 3
- 1379232000*u3 *v2*a11*b12 *kap *n1
2 4 3 6 2 8 3
+ u3 *v3 *( - 689616000*a11 *b12 *kap - 689616000*a11*b12 *kap )
2 4 3 4
- 689616000*u3 *a11*b12 *kap *n1
which the program can not factorize further.
{HAM,FI} = 0
2 2 2 2 2 2
FI=u1 *u2 *(72*a11 *n1 + 36*b12 *kap*n1 )
2 4 2 2 4 2 2 2
+ u1 *u3 *(12*a11 *b12 *kap + 12*b12 *kap ) + 72*u1*u2 *v2*a11*b12*n1
2 4 3 2
+ 72*u1*u2*u3*v3*a11*b12*n1 + u1*u3 *(48*a11 *n1 + 48*a11*b12 *kap*n1)
2 2 2 3 4 2 2
- 36*u1*u3 *v2*a11*b12*n1 - 36*u1*u3 *a11*n1 + 36*u2 *a11 *n1
3 2 2 4 2 2 4 2
- 72*u2 *v1*a11*b12*n1 + u2 *u3 *(12*a11 *b12 *kap + 12*b12 *kap )
2 2 2 2 2 2 2 2 2 2
+ u2 *u3 *(72*a11 *n1 + 36*b12 *kap*n1 ) + 36*u2 *v1 *b12 *n1
2 2 2 2 2 4
+ 36*u2 *v2 *b12 *n1 - 36*u2 *n1
3 2 3 2 2
+ u2*u3 *v3*( - 48*a11 *b12*n1 - 48*b12 *kap*n1) - 36*u2*u3 *v1*a11*b12*n1
2 2 3
+ 72*u2*u3*v2*v3*b12 *n1 + 72*u2*u3*v3*b12*n1
6 4 2 2 4 2
+ u3 *( - 8*a11 - 12*a11 *b12 *kap - 4*b12 *kap )
4 2 2 2 4
+ u3 *v1 *(12*a11 *b12 + 12*b12 *kap)
4 2 2 2 4
+ u3 *v2 *(12*a11 *b12 + 12*b12 *kap)
4 2 3
+ u3 *v2*(48*a11 *b12*n1 + 48*b12 *kap*n1)
4 2 2 2 4 4 2 2 2 2
+ u3 *v3 *(12*a11 *b12 + 12*b12 *kap) + u3 *(45*a11 *n1 + 36*b12 *kap*n1 )
2 2 2 2 2 3 2 4
- 36*u3 *v2 *b12 *n1 - 72*u3 *v2*b12*n1 - 36*u3 *n1
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*u1*n1 + 2*u2**2*a11 - 2*u2*v1*b12 + u3**2*a11
)/2$
FI=8208540*u1**3*u2**2*v1*a11**2*b12**3*kap + u1**3*u2*u3**2*(8208540*a11**3*b12
**2*kap + 8208540*a11*b12**4*kap**2) + 8208540*u1**2*u2**3*v2*a11**2*b12**3*kap
+ 8208540*u1**2*u2**2*u3*v3*a11**2*b12**3*kap + 16417080*u1**2*u2**2*v1*v2*a11*
b12**4*kap + u1**2*u2*u3**2*v2*( - 8208540*a11**2*b12**3*kap - 8208540*b12**5*
kap**2) + 16417080*u1**2*u2*u3*v1*v3*a11*b12**4*kap - 8208540*u1**2*u3**2*v1*v2*
a11*b12**4*kap - 8208540*u1**2*u3**2*v1*a11*b12**3*kap*n1 + 8208540*u1*u2**4*v1*
a11**2*b12**3*kap + u1*u2**3*u3**2*( - 164992*a11**3*b12**2*kap - 164992*a11*b12
**4*kap**2) - 16417080*u1*u2**3*v1**2*a11*b12**4*kap + 16417080*u1*u2**3*v2**2*
a11*b12**4*kap + 8208540*u1*u2**2*u3**2*v1*a11**2*b12**3*kap + 32834160*u1*u2**2
*u3*v2*v3*a11*b12**4*kap + 8208540*u1*u2**2*v1**3*b12**5*kap + 8208540*u1*u2**2*
v1*v2**2*b12**5*kap - 8208540*u1*u2**2*v1*b12**3*kap*n1**2 - 8208540*u1*u2*u3**2
*v1**2*a11*b12**4*kap - 8208540*u1*u2*u3**2*v2**2*a11*b12**4*kap - 8208540*u1*u2
*u3**2*v2*a11*b12**3*kap*n1 + 16417080*u1*u2*u3**2*v3**2*a11*b12**4*kap +
16417080*u1*u2*u3*v1*v2*v3*b12**5*kap + 16417080*u1*u2*u3*v1*v3*b12**4*kap*n1 +
2052135*u1*u3**4*v1*a11**2*b12**3*kap - 8208540*u1*u3**3*v2*v3*a11*b12**4*kap -
8208540*u1*u3**3*v3*a11*b12**3*kap*n1 - 8208540*u1*u3**2*v1*v2**2*b12**5*kap -
16417080*u1*u3**2*v1*v2*b12**4*kap*n1 - 8208540*u1*u3**2*v1*b12**3*kap*n1**2 +
8208540*u2**5*v2*a11**2*b12**3*kap + 8208540*u2**4*u3*v3*a11**2*b12**3*kap -
16417080*u2**4*v1*v2*a11*b12**4*kap + u2**3*u3**2*v2*(164992*a11**4*b12 + 164992
*a11**2*b12**3*kap - 8208540*b12**5*kap**2) + u2**3*u3**2*( - 164992*a11**4*n1 -
164992*a11**2*b12**2*kap*n1) - 16417080*u2**3*u3*v1*v3*a11*b12**4*kap + 8208540
*u2**3*v1**2*v2*b12**5*kap + 8208540*u2**3*v2**3*b12**5*kap - 8208540*u2**3*v2*
b12**3*kap*n1**2 - 8208540*u2**2*u3**3*v3*b12**5*kap**2 - 8208540*u2**2*u3**2*v1
*v2*a11*b12**4*kap + 8208540*u2**2*u3*v1**2*v3*b12**5*kap + 24625620*u2**2*u3*v2
**2*v3*b12**5*kap + 16417080*u2**2*u3*v2*v3*b12**4*kap*n1 - 8208540*u2**2*u3*v3*
b12**3*kap*n1**2 + 2052135*u2*u3**4*v2*a11**2*b12**3*kap - 8208540*u2*u3**3*v1*
v3*a11*b12**4*kap - 8208540*u2*u3**2*v2**3*b12**5*kap - 16417080*u2*u3**2*v2**2*
b12**4*kap*n1 + 16417080*u2*u3**2*v2*v3**2*b12**5*kap - 8208540*u2*u3**2*v2*b12
**3*kap*n1**2 + 16417080*u2*u3**2*v3**2*b12**4*kap*n1 + 2052135*u3**5*v3*a11**2*
b12**3*kap - 8208540*u3**3*v2**2*v3*b12**5*kap - 16417080*u3**3*v2*v3*b12**4*kap
*n1 - 8208540*u3**3*v3*b12**3*kap*n1**2$
FI=24*u1**4*u2**2*a11**3 + u1**4*u3**2*( - 12*a11**3 - 12*a11*b12**2*kap) + 72*
u1**3*u2**2*v2*a11**2*b12 + 24*u1**3*u2**2*a11**2*n1 + 48*u1**3*u2*u3*v3*a11**2*
b12 + u1**3*u3**2*v2*( - 48*a11**2*b12 - 24*b12**3*kap) + u1**3*u3**2*( - 32*a11
**2*n1 - 8*b12**2*kap*n1) + 48*u1**2*u2**4*a11**3 - 72*u1**2*u2**3*v1*a11**2*b12
+ u1**2*u2**2*u3**2*(144*a11**3 + 108*a11*b12**2*kap) + 24*u1**2*u2**2*v1**2*
a11*b12**2 + 72*u1**2*u2**2*v2**2*a11*b12**2 + 48*u1**2*u2**2*v2*a11*b12*n1 - 24
*u1**2*u2**2*a11*n1**2 + 24*u1**2*u2*u3**2*v1*b12**3*kap + 96*u1**2*u2*u3*v2*v3*
a11*b12**2 + 96*u1**2*u2*u3*v3*a11*b12*n1 + u1**2*u3**4*(30*a11**3 + 24*a11*b12
**2*kap) - 48*u1**2*u3**2*v2**2*a11*b12**2 - 96*u1**2*u3**2*v2*a11*b12*n1 - 48*
u1**2*u3**2*a11*n1**2 + 72*u1*u2**4*v2*a11**2*b12 + 24*u1*u2**4*a11**2*n1 + 48*
u1*u2**3*u3*v3*a11**2*b12 - 96*u1*u2**3*v1*v2*a11*b12**2 - 48*u1*u2**3*v1*a11*
b12*n1 + u1*u2**2*u3**2*v2*(48*a11**2*b12 + 24*b12**3*kap) + u1*u2**2*u3**2*(24*
a11**2*n1 + 24*b12**2*kap*n1) - 48*u1*u2**2*u3*v1*v3*a11*b12**2 + 24*u1*u2**2*v1
**2*v2*b12**3 + 24*u1*u2**2*v1**2*b12**2*n1 + 24*u1*u2**2*v2**3*b12**3 + 24*u1*
u2**2*v2**2*b12**2*n1 - 24*u1*u2**2*v2*b12*n1**2 - 24*u1*u2**2*n1**3 + 24*u1*u2*
u3**3*v3*a11**2*b12 + 48*u1*u2*u3*v2**2*v3*b12**3 + 96*u1*u2*u3*v2*v3*b12**2*n1
+ 48*u1*u2*u3*v3*b12*n1**2 + u1*u3**4*v2*(18*a11**2*b12 + 24*b12**3*kap) + u1*u3
**4*(18*a11**2*n1 + 24*b12**2*kap*n1) - 24*u1*u3**2*v2**3*b12**3 - 72*u1*u3**2*
v2**2*b12**2*n1 - 72*u1*u3**2*v2*b12*n1**2 - 24*u1*u3**2*n1**3 + 24*u2**6*a11**3
- 72*u2**5*v1*a11**2*b12 + 36*u2**4*u3**2*a11**3 + 72*u2**4*v1**2*a11*b12**2 +
24*u2**4*v2**2*a11*b12**2 - 24*u2**4*a11*n1**2 + u2**3*u3**2*v1*( - 96*a11**2*
b12 - 24*b12**3*kap) + 48*u2**3*u3*v2*v3*a11*b12**2 + 48*u2**3*u3*v3*a11*b12*n1
- 24*u2**3*v1**3*b12**3 - 24*u2**3*v1*v2**2*b12**3 + 24*u2**3*v1*b12*n1**2 + u2
**2*u3**4*(30*a11**3 + 12*a11*b12**2*kap) + 36*u2**2*u3**2*v1**2*a11*b12**2 - 12
*u2**2*u3**2*v2**2*a11*b12**2 - 48*u2**2*u3**2*v2*a11*b12*n1 - 36*u2**2*u3**2*
a11*n1**2 - 48*u2**2*u3*v1*v2*v3*b12**3 - 48*u2**2*u3*v1*v3*b12**2*n1 + u2*u3**4
*v1*( - 42*a11**2*b12 - 24*b12**3*kap) + 24*u2*u3**3*v2*v3*a11*b12**2 + 24*u2*u3
**3*v3*a11*b12*n1 + 24*u2*u3**2*v1*v2**2*b12**3 + 48*u2*u3**2*v1*v2*b12**2*n1 +
24*u2*u3**2*v1*b12*n1**2 + u3**6*(7*a11**3 + 4*a11*b12**2*kap) - 12*u3**4*v2**2*
a11*b12**2 - 24*u3**4*v2*a11*b12*n1 - 12*u3**4*a11*n1**2$
FI=u1**6*( - 2758464000*a11**7*b12**2*kap**2 - 1379232000*a11**5*b12**4*kap**3 +
1379232000*a11**3*b12**6*kap**4) + u1**5*v2*( - 8275392000*a11**6*b12**3*kap**2
- 5516928000*a11**4*b12**5*kap**3 + 2758464000*a11**2*b12**7*kap**4) + u1**5*(
- 8275392000*a11**6*b12**2*kap**2*n1 - 5516928000*a11**4*b12**4*kap**3*n1 + 2758464000
*a11**2*b12**6*kap**4*n1) + u1**4*u2**2*( - 7110891648*a11**9*kap + 17338050432*
a11**7*b12**2*kap**2 + 33211662720*a11**5*b12**4*kap**3 + 8073104640*a11**3*b12
**6*kap**4) + u1**4*u2*v1*(1876780800*a11**8*b12*kap + 10152172800*a11**6*b12**3
*kap**2 + 5516928000*a11**4*b12**5*kap**3 - 2758464000*a11**2*b12**7*kap**4) +
u1**4*u3**2*(9571548672*a11**9*kap - 34846757535*a11**7*b12**2*kap**2 - 79252865247
*a11**5*b12**4*kap**3 - 38080351680*a11**3*b12**6*kap**4 - 3245792640*a11*b12**8
*kap**5) + u1**4*v1**2*( - 2617055424*a11**7*b12**2*kap + 12940559616*a11**5*b12
**4*kap**2 + 15456471360*a11**3*b12**6*kap**3 + 588472320*a11*b12**8*kap**4) +
u1**4*v2**2*( - 6896160000*a11**5*b12**4*kap**2 - 5516928000*a11**3*b12**6*kap**
3 + 1379232000*a11*b12**8*kap**4) + u1**4*v2*( - 16550784000*a11**5*b12**3*kap**
2*n1 - 13792320000*a11**3*b12**5*kap**3*n1 + 2758464000*a11*b12**7*kap**4*n1) +
u1**4*v3**2*(1379232000*a11**5*b12**4*kap**2 + 1379232000*a11**3*b12**6*kap**3)
+ u1**4*( - 9654624000*a11**5*b12**2*kap**2*n1**2 - 8275392000*a11**3*b12**4*kap
**3*n1**2 + 1379232000*a11*b12**6*kap**4*n1**2) + u1**3*u2**2*v2*( - 19455894144
*a11**8*b12*kap + 62166324096*a11**6*b12**3*kap**2 + 100324604160*a11**4*b12**5*
kap**3 + 17323153920*a11**2*b12**7*kap**4) + u1**3*u2**2*( - 7110891648*a11**8*
kap*n1 + 8579927232*a11**6*b12**2*kap**2*n1 + 25143155520*a11**4*b12**4*kap**3*
n1 + 9452336640*a11**2*b12**6*kap**4*n1) + u1**3*u2*u3*v3*( - 12345002496*a11**8
*b12*kap + 53678345664*a11**6*b12**3*kap**2 + 75273397440*a11**4*b12**5*kap**3 +
7870817280*a11**2*b12**7*kap**4) + u1**3*u2*v1*v2*( - 1480549248*a11**7*b12**2*
kap + 43427000832*a11**5*b12**4*kap**2 + 41946798720*a11**3*b12**6*kap**3 - 1581519360
*a11*b12**8*kap**4) + u1**3*u2*v1*(1876780800*a11**7*b12*kap*n1 + 18427564800*
a11**5*b12**3*kap**2*n1 + 13792320000*a11**3*b12**5*kap**3*n1 - 2758464000*a11*
b12**7*kap**4*n1) + u1**3*u3**2*v2*(25315598592*a11**8*b12*kap - 96832120926*a11
**6*b12**3*kap**2 - 182263479198*a11**4*b12**5*kap**3 - 65329256640*a11**2*b12**
7*kap**4 - 5903112960*b12**9*kap**5) + u1**3*u3**2*(24766459008*a11**8*kap*n1 - 109441856202
*a11**6*b12**2*kap**2*n1 - 174892391050*a11**4*b12**4*kap**3*n1 - 43273967040*
a11**2*b12**6*kap**4*n1 - 3279507200*b12**8*kap**5*n1) + u1**3*u3*v1*v3*( - 3357330048
*a11**7*b12**2*kap + 24999436032*a11**5*b12**4*kap**2 + 28154478720*a11**3*b12**
6*kap**3 + 1176944640*a11*b12**8*kap**4) + u1**3*v1**2*v2*( - 2617055424*a11**6*
b12**3*kap + 14319791616*a11**4*b12**5*kap**2 + 18214935360*a11**2*b12**7*kap**3
+ 1967704320*b12**9*kap**4) + u1**3*v1**2*( - 2617055424*a11**6*b12**2*kap*n1 +
14319791616*a11**4*b12**4*kap**2*n1 + 18214935360*a11**2*b12**6*kap**3*n1 + 1967704320
*b12**8*kap**4*n1) + u1**3*v2**2*( - 5516928000*a11**4*b12**4*kap**2*n1 - 5516928000
*a11**2*b12**6*kap**3*n1) + u1**3*v2*v3**2*(2758464000*a11**4*b12**5*kap**2 + 2758464000
*a11**2*b12**7*kap**3) + u1**3*v2*( - 11033856000*a11**4*b12**3*kap**2*n1**2 - 11033856000
*a11**2*b12**5*kap**3*n1**2) + u1**3*v3**2*(2758464000*a11**4*b12**4*kap**2*n1 +
2758464000*a11**2*b12**6*kap**3*n1) + u1**3*( - 5516928000*a11**4*b12**2*kap**2
*n1**3 - 5516928000*a11**2*b12**4*kap**3*n1**3) + u1**2*u2**4*( - 14221783296*
a11**9*kap + 42491748864*a11**7*b12**2*kap**2 + 70101277440*a11**5*b12**4*kap**3
+ 12008513280*a11**3*b12**6*kap**4) + u1**2*u2**3*v1*(23209455744*a11**8*b12*
kap - 57723146496*a11**6*b12**3*kap**2 - 99634988160*a11**4*b12**5*kap**3 - 17323153920
*a11**2*b12**7*kap**4) + u1**2*u2**2*u3**2*( - 54676747008*a11**9*kap + 150436510878
*a11**7*b12**2*kap**2 + 420318083166*a11**5*b12**4*kap**3 + 236849572800*a11**3*
b12**6*kap**4 + 23023979520*a11*b12**8*kap**5) + u1**2*u2**2*v1**2*( - 13481508672
*a11**7*b12**2*kap + 28364024448*a11**5*b12**4*kap**2 + 47059030080*a11**3*b12**
6*kap**3 + 5903112960*a11*b12**8*kap**4) + u1**2*u2**2*v2**2*( - 20196168768*a11
**7*b12**2*kap + 86638288512*a11**5*b12**4*kap**2 + 119918771520*a11**3*b12**6*
kap**3 + 13773930240*a11*b12**8*kap**4) + u1**2*u2**2*v2*( - 12345002496*a11**7*
b12*kap*n1 + 35633393664*a11**5*b12**3*kap**2*n1 + 58607677440*a11**3*b12**5*kap
**3*n1 + 10629281280*a11*b12**7*kap**4*n1) + u1**2*u2**2*v3**2*(3448080000*a11**
5*b12**4*kap**2 + 2758464000*a11**3*b12**6*kap**3) + u1**2*u2**2*( - 4691952000*
a11**7*kap*n1**2 + 16918314720*a11**5*b12**2*kap**2*n1**2 + 29425914720*a11**3*
b12**4*kap**3*n1**2 + 7815648000*a11*b12**6*kap**4*n1**2) + u1**2*u2*u3**2*v1*(
- 12970596096*a11**8*b12*kap + 42158677662*a11**6*b12**3*kap**2 + 107374216158*
a11**4*b12**5*kap**3 + 58837671360*a11**2*b12**7*kap**4 + 5903112960*b12**9*kap
**5) + u1**2*u2*u3*v2*v3*( - 28047335040*a11**7*b12**2*kap + 131666511360*a11**5
*b12**4*kap**2 + 176632425600*a11**3*b12**6*kap**3 + 16918579200*a11*b12**8*kap
**4) + u1**2*u2*u3*v3*( - 28047335040*a11**7*b12*kap*n1 + 129827535360*a11**5*
b12**3*kap**2*n1 + 176632425600*a11**3*b12**5*kap**3*n1 + 17378323200*a11*b12**7
*kap**4*n1) + u1**2*u2*v1**3*(4493836224*a11**6*b12**3*kap - 12443010816*a11**4*
b12**5*kap**2 - 18214935360*a11**2*b12**7*kap**3 - 1967704320*b12**9*kap**4) +
u1**2*u2*v1*v2**2*( - 3357330048*a11**6*b12**3*kap + 30516364032*a11**4*b12**5*
kap**2 + 36429870720*a11**2*b12**7*kap**3 + 3935408640*b12**9*kap**4) + u1**2*u2
*v1*v2*( - 3357330048*a11**6*b12**2*kap*n1 + 41550220032*a11**4*b12**4*kap**2*n1
+ 47463726720*a11**2*b12**6*kap**3*n1 + 3935408640*b12**8*kap**4*n1) + u1**2*u2
*v1*v3**2*( - 2758464000*a11**4*b12**5*kap**2 - 2758464000*a11**2*b12**7*kap**3)
+ u1**2*u2*v1*(11033856000*a11**4*b12**3*kap**2*n1**2 + 11033856000*a11**2*b12
**5*kap**3*n1**2) + u1**2*u3**4*( - 8930315232*a11**9*kap + 34867157328*a11**7*
b12**2*kap**2 + 89410668720*a11**5*b12**4*kap**3 + 51969156960*a11**3*b12**6*kap
**4 + 6528364800*a11*b12**8*kap**5) + u1**2*u3**2*v1**2*( - 1819440288*a11**7*
b12**2*kap - 6839783808*a11**5*b12**4*kap**2 - 7268491680*a11**3*b12**6*kap**3 -
1903340160*a11*b12**8*kap**4) + u1**2*u3**2*v2**2*(22385746368*a11**7*b12**2*
kap - 91547158272*a11**5*b12**4*kap**2 - 126557474880*a11**3*b12**6*kap**3 - 11934954240
*a11*b12**8*kap**4) + u1**2*u3**2*v2*(44688057984*a11**7*b12*kap*n1 - 207799097376
*a11**5*b12**3*kap**2*n1 - 283970424480*a11**3*b12**5*kap**3*n1 - 30104037120*
a11*b12**7*kap**4*n1) + 689616000*u1**2*u3**2*v3**2*a11**5*b12**4*kap**2 + u1**2
*u3**2*(24022694016*a11**7*kap*n1**2 - 117146350704*a11**5*b12**2*kap**2*n1**2 -
157958895600*a11**3*b12**4*kap**3*n1**2 - 16100234880*a11*b12**6*kap**4*n1**2)
+ u1**2*u3*v1*v2*v3*( - 3357330048*a11**6*b12**3*kap + 24999436032*a11**4*b12**5
*kap**2 + 30912942720*a11**2*b12**7*kap**3 + 3935408640*b12**9*kap**4) + u1**2*
u3*v1*v3*( - 3357330048*a11**6*b12**2*kap*n1 + 24999436032*a11**4*b12**4*kap**2*
n1 + 30912942720*a11**2*b12**6*kap**3*n1 + 3935408640*b12**8*kap**4*n1) + u1**2*
v1**4*( - 1379232000*a11**3*b12**6*kap**2 - 1379232000*a11*b12**8*kap**3) + u1**
2*v1**2*v2*(2758464000*a11**3*b12**5*kap**2*n1 + 2758464000*a11*b12**7*kap**3*n1
) + u1**2*v1**2*v3**2*( - 1379232000*a11**3*b12**6*kap**2 - 1379232000*a11*b12**
8*kap**3) + u1**2*v1**2*(938390400*a11**7*n1**2 + 938390400*a11**5*b12**2*kap*n1
**2 - 689616000*a11*b12**6*kap**3*n1**2) + u1**2*v2**4*(1379232000*a11**3*b12**6
*kap**2 + 1379232000*a11*b12**8*kap**3) + u1**2*v2**3*(2758464000*a11**3*b12**5*
kap**2*n1 + 2758464000*a11*b12**7*kap**3*n1) + u1**2*v2**2*v3**2*(1379232000*a11
**3*b12**6*kap**2 + 1379232000*a11*b12**8*kap**3) + u1**2*v2*v3**2*(2758464000*
a11**3*b12**5*kap**2*n1 + 2758464000*a11*b12**7*kap**3*n1) + u1**2*v2*( - 2758464000
*a11**3*b12**3*kap**2*n1**3 - 2758464000*a11*b12**5*kap**3*n1**3) + u1**2*v3**2*
(1379232000*a11**3*b12**4*kap**2*n1**2 + 1379232000*a11*b12**6*kap**3*n1**2) +
u1**2*( - 1379232000*a11**3*b12**2*kap**2*n1**4 - 1379232000*a11*b12**4*kap**3*
n1**4) + u1*u2**4*v2*( - 19455894144*a11**8*b12*kap + 69752100096*a11**6*b12**3*
kap**2 + 105151916160*a11**4*b12**5*kap**3 + 14564689920*a11**2*b12**7*kap**4) +
u1*u2**4*( - 5546907648*a11**8*kap*n1 + 26257938432*a11**6*b12**2*kap**2*n1 + 38498718720
*a11**4*b12**4*kap**3*n1 + 6693872640*a11**2*b12**6*kap**4*n1) + u1*u2**3*u3*v3*
( - 13908986496*a11**8*b12*kap + 51769553664*a11**6*b12**3*kap**2 + 74928589440*
a11**4*b12**5*kap**3 + 7870817280*a11**2*b12**7*kap**4) + u1*u2**3*v1*v2*(19455894144
*a11**7*b12**2*kap - 65614404096*a11**5*b12**4*kap**2 - 103772684160*a11**3*b12
**6*kap**3 - 17323153920*a11*b12**8*kap**4) + u1*u2**3*v1*(12970596096*a11**7*
b12*kap*n1 - 54776792064*a11**5*b12**3*kap**2*n1 - 78376669440*a11**3*b12**5*kap
**3*n1 - 10629281280*a11*b12**7*kap**4*n1) + u1*u2**2*u3**2*v2*( - 15306167808*
a11**8*b12*kap + 28253884800*a11**6*b12**3*kap**2 + 103363186368*a11**4*b12**5*
kap**3 + 65016630720*a11**2*b12**7*kap**4 + 5903112960*b12**9*kap**5) + u1*u2**2
*u3**2*(8174400768*a11**8*kap*n1 - 39690340704*a11**6*b12**2*kap**2*n1 - 7609922592
*a11**4*b12**4*kap**3*n1 + 46847547840*a11**2*b12**6*kap**4*n1 + 5903112960*b12
**8*kap**5*n1) + u1*u2**2*u3*v1*v3*(6485298048*a11**7*b12**2*kap - 30836476032*
a11**5*b12**4*kap**2 - 45394878720*a11**3*b12**6*kap**3 - 6693872640*a11*b12**8*
kap**4) + u1*u2**2*v1**2*( - 8987672448*a11**6*b12**2*kap*n1 + 17989861632*a11**
4*b12**4*kap**2*n1 + 30912942720*a11**2*b12**6*kap**3*n1 + 3935408640*b12**8*kap
**4*n1) + u1*u2**2*v2**3*( - 7851166272*a11**6*b12**3*kap + 42959374848*a11**4*
b12**5*kap**2 + 54644806080*a11**2*b12**7*kap**3 + 5903112960*b12**9*kap**4) +
u1*u2**2*v2**2*( - 7851166272*a11**6*b12**2*kap*n1 + 41580142848*a11**4*b12**4*
kap**2*n1 + 54644806080*a11**2*b12**6*kap**3*n1 + 5903112960*b12**8*kap**4*n1) +
u1*u2**2*v2*v3**2*(4137696000*a11**4*b12**5*kap**2 + 2758464000*a11**2*b12**7*
kap**3) + u1*u2**2*v2*(7851166272*a11**6*b12*kap*n1**2 - 38132062848*a11**4*b12
**3*kap**2*n1**2 - 50507110080*a11**2*b12**5*kap**3*n1**2 - 5903112960*b12**7*
kap**4*n1**2) + u1*u2**2*v3**2*(2758464000*a11**4*b12**4*kap**2*n1 + 2758464000*
a11**2*b12**6*kap**3*n1) + u1*u2**2*(7851166272*a11**6*kap*n1**3 - 40545718848*
a11**4*b12**2*kap**2*n1**3 - 54299998080*a11**2*b12**4*kap**3*n1**3 - 5903112960
*b12**6*kap**4*n1**3) + u1*u2*u3**3*v3*( - 8362078848*a11**8*b12*kap + 21336114432
*a11**6*b12**3*kap**2 + 35012833920*a11**4*b12**5*kap**3 + 3935408640*a11**2*b12
**7*kap**4) + u1*u2*u3**2*v1*v2*( - 16213245120*a11**7*b12**2*kap + 71634028800*
a11**5*b12**4*kap**2 + 91479251520*a11**3*b12**6*kap**3 + 4321593600*a11*b12**8*
kap**4) + u1*u2*u3**2*v1*( - 16640722944*a11**7*b12*kap*n1 + 77971562016*a11**5*
b12**3*kap**2*n1 + 107337998880*a11**3*b12**5*kap**3*n1 + 12725713920*a11*b12**7
*kap**4*n1) + u1*u2*u3*v1**2*v3*(8987672448*a11**6*b12**3*kap - 17989861632*a11
**4*b12**5*kap**2 - 30912942720*a11**2*b12**7*kap**3 - 3935408640*b12**9*kap**4)
+ u1*u2*u3*v2**2*v3*( - 15702332544*a11**6*b12**3*kap + 79022589696*a11**4*b12
**5*kap**2 + 103772684160*a11**2*b12**7*kap**3 + 11806225920*b12**9*kap**4) + u1
*u2*u3*v2*v3*( - 31404665088*a11**6*b12**2*kap*n1 + 153907483392*a11**4*b12**4*
kap**2*n1 + 207545368320*a11**2*b12**6*kap**3*n1 + 23612451840*b12**8*kap**4*n1)
+ 1379232000*u1*u2*u3*v3**3*a11**4*b12**5*kap**2 + u1*u2*u3*v3*( - 15702332544*
a11**6*b12*kap*n1**2 + 77988165696*a11**4*b12**3*kap**2*n1**2 + 106875956160*a11
**2*b12**5*kap**3*n1**2 + 11806225920*b12**7*kap**4*n1**2) + u1*u2*v1**3*v2*( - 5516928000
*a11**3*b12**6*kap**2 - 5516928000*a11*b12**8*kap**3) + u1*u2*v1**3*( - 2758464000
*a11**3*b12**5*kap**2*n1 - 2758464000*a11*b12**7*kap**3*n1) + u1*u2*v1*v2**3*( -
5516928000*a11**3*b12**6*kap**2 - 5516928000*a11*b12**8*kap**3) + u1*u2*v1*v2**
2*( - 2758464000*a11**3*b12**5*kap**2*n1 - 2758464000*a11*b12**7*kap**3*n1) + u1
*u2*v1*v2*v3**2*( - 5516928000*a11**3*b12**6*kap**2 - 5516928000*a11*b12**8*kap
**3) - 1379232000*u1*u2*v1*v2*a11*b12**6*kap**3*n1**2 + u1*u2*v1*v3**2*( - 2758464000
*a11**3*b12**5*kap**2*n1 - 2758464000*a11*b12**7*kap**3*n1) + u1*u2*v1*(2758464000
*a11**3*b12**3*kap**2*n1**3 + 2758464000*a11*b12**5*kap**3*n1**3) + u1*u3**4*v2*
( - 4749275808*a11**8*b12*kap + 22577775600*a11**6*b12**3*kap**2 + 78234138768*
a11**4*b12**5*kap**3 + 57499816320*a11**2*b12**7*kap**4 + 5903112960*b12**9*kap
**5) + u1*u3**4*( - 1506626784*a11**8*kap*n1 + 10952425584*a11**6*b12**2*kap**2*
n1 + 64616643408*a11**4*b12**4*kap**3*n1 + 58750320000*a11**2*b12**6*kap**4*n1 +
5903112960*b12**8*kap**5*n1) + u1*u3**3*v1*v3*( - 3242649024*a11**7*b12**2*kap
+ 13694198016*a11**5*b12**4*kap**2 + 13617495360*a11**3*b12**6*kap**3 - 2629735680
*a11*b12**8*kap**4) + u1*u3**2*v1**2*v2*( - 1136506176*a11**6*b12**3*kap - 15314889216
*a11**4*b12**5*kap**2 - 15456471360*a11**2*b12**7*kap**3 - 1967704320*b12**9*kap
**4) + u1*u3**2*v1**2*( - 1136506176*a11**6*b12**2*kap*n1 - 13935657216*a11**4*
b12**4*kap**2*n1 - 14077239360*a11**2*b12**6*kap**3*n1 - 1967704320*b12**8*kap**
4*n1) + u1*u3**2*v2**3*(7851166272*a11**6*b12**3*kap - 38821678848*a11**4*b12**5
*kap**2 - 51886342080*a11**2*b12**7*kap**3 - 5903112960*b12**9*kap**4) + u1*u3**
2*v2**2*(23553498816*a11**6*b12**2*kap*n1 - 113706572544*a11**4*b12**4*kap**2*n1
- 154279794240*a11**2*b12**6*kap**3*n1 - 17709338880*b12**8*kap**4*n1) + u1*u3
**2*v2*(23553498816*a11**6*b12*kap*n1**2 - 117154652544*a11**4*b12**3*kap**2*n1
**2 - 159107106240*a11**2*b12**5*kap**3*n1**2 - 17709338880*b12**7*kap**4*n1**2)
+ u1*u3**2*v3**2*(1379232000*a11**4*b12**4*kap**2*n1 + 1379232000*a11**2*b12**6
*kap**3*n1) + u1*u3**2*(7851166272*a11**6*kap*n1**3 - 39166486848*a11**4*b12**2*
kap**2*n1**3 - 53610382080*a11**2*b12**4*kap**3*n1**3 - 5903112960*b12**6*kap**4
*n1**3) + u1*u3*v1**3*v3*( - 2758464000*a11**3*b12**6*kap**2 - 2758464000*a11*
b12**8*kap**3) + u1*u3*v1*v2**2*v3*( - 2758464000*a11**3*b12**6*kap**2 - 2758464000
*a11*b12**8*kap**3) + u1*u3*v1*v3**3*( - 2758464000*a11**3*b12**6*kap**2 - 2758464000
*a11*b12**8*kap**3) + u1*u3*v1*v3*( - 2758464000*a11**3*b12**4*kap**2*n1**2 - 4137696000
*a11*b12**6*kap**3*n1**2) + u2**6*( - 7110891648*a11**9*kap + 22625106432*a11**7
*b12**2*kap**2 + 35740254720*a11**5*b12**4*kap**3 + 5314640640*a11**3*b12**6*kap
**4) + u2**5*v1*(21332674944*a11**8*b12*kap - 67875319296*a11**6*b12**3*kap**2 -
105151916160*a11**4*b12**5*kap**3 - 14564689920*a11**2*b12**7*kap**4) + u2**4*
u3**2*( - 10895732928*a11**9*kap + 32308294752*a11**7*b12**2*kap**2 + 52426492320
*a11**5*b12**4*kap**3 + 8532848640*a11**3*b12**6*kap**4 + 689616000*a11*b12**8*
kap**5) + u2**4*v1**2*( - 21332674944*a11**7*b12**2*kap + 69944167296*a11**5*b12
**4*kap**2 + 104462300160*a11**3*b12**6*kap**3 + 13185457920*a11*b12**8*kap**4)
+ u2**4*v2**2*( - 9727947072*a11**7*b12**2*kap + 39013746048*a11**5*b12**4*kap**
2 + 52575958080*a11**3*b12**6*kap**3 + 4523880960*a11*b12**8*kap**4) + u2**4*v2*
(1876780800*a11**7*b12*kap*n1 + 1876780800*a11**5*b12**3*kap**2*n1) + u2**4*v3**
2*(2068848000*a11**5*b12**4*kap**2 + 1379232000*a11**3*b12**6*kap**3) + u2**4*(7851166272
*a11**7*kap*n1**2 - 38361934848*a11**5*b12**2*kap**2*n1**2 - 51196726080*a11**3*
b12**4*kap**3*n1**2 - 4983624960*a11*b12**6*kap**4*n1**2) + u2**3*u3**2*v1*(28276763904
*a11**8*b12*kap - 83400180864*a11**6*b12**3*kap**2 - 180730127808*a11**4*b12**5*
kap**3 - 72887448000*a11**2*b12**7*kap**4 - 5903112960*b12**9*kap**5) + u2**3*u3
*v2*v3*( - 21332674944*a11**7*b12**2*kap + 72013015296*a11**5*b12**4*kap**2 + 102393452160
*a11**3*b12**6*kap**3 + 9047761920*a11*b12**8*kap**4) + u2**3*u3*v3*( - 15702332544
*a11**7*b12*kap*n1 + 77183613696*a11**5*b12**3*kap**2*n1 + 103772684160*a11**3*
b12**5*kap**3*n1 + 9507505920*a11*b12**7*kap**4*n1) + u2**3*v1**3*(7110891648*
a11**6*b12**3*kap - 26762802432*a11**4*b12**5*kap**2 - 36429870720*a11**2*b12**7
*kap**3 - 3935408640*b12**9*kap**4) + u2**3*v1*v2**2*(9727947072*a11**6*b12**3*
kap - 41082594048*a11**4*b12**5*kap**2 - 54644806080*a11**2*b12**7*kap**3 - 5903112960
*b12**9*kap**4) + u2**3*v1*v2*( - 1876780800*a11**6*b12**2*kap*n1 - 1876780800*
a11**4*b12**4*kap**2*n1) + u2**3*v1*v3**2*( - 4137696000*a11**4*b12**5*kap**2 - 2758464000
*a11**2*b12**7*kap**3) + u2**3*v1*( - 7851166272*a11**6*b12*kap*n1**2 + 38132062848
*a11**4*b12**3*kap**2*n1**2 + 50507110080*a11**2*b12**5*kap**3*n1**2 + 5903112960
*b12**7*kap**4*n1**2) + u2**2*u3**4*( - 8930315232*a11**9*kap + 39048196752*a11
**7*b12**2*kap**2 + 77804221104*a11**5*b12**4*kap**3 + 33524349600*a11**3*b12**6
*kap**4 + 4560660480*a11*b12**8*kap**5) + u2**2*u3**2*v1**2*( - 3127968000*a11**
7*b12**2*kap - 3789999360*a11**5*b12**4*kap**2 + 1176944640*a11**3*b12**6*kap**3
+ 1838976000*a11*b12**8*kap**4) + u2**2*u3**2*v2**2*(4863973536*a11**7*b12**2*
kap - 16863345024*a11**5*b12**4*kap**2 - 26632787040*a11**3*b12**6*kap**3 - 3871044480
*a11*b12**8*kap**4) + u2**2*u3**2*v2*(15702332544*a11**7*b12*kap*n1 - 77183613696
*a11**5*b12**3*kap**2*n1 - 103772684160*a11**3*b12**5*kap**3*n1 - 9507505920*a11
*b12**7*kap**4*n1) + u2**2*u3**2*v3**2*( - 3753561600*a11**7*b12**2*kap - 3063945600
*a11**5*b12**4*kap**2 - 689616000*a11**3*b12**6*kap**3) + u2**2*u3**2*(11776749408
*a11**7*kap*n1**2 - 56451010272*a11**5*b12**2*kap**2*n1**2 - 75243453120*a11**3*
b12**4*kap**3*n1**2 - 6326077440*a11*b12**6*kap**4*n1**2) + u2**2*u3*v1*v2*v3*(21332674944
*a11**6*b12**3*kap - 72013015296*a11**4*b12**5*kap**2 - 103772684160*a11**2*b12
**7*kap**3 - 11806225920*b12**9*kap**4) + u2**2*u3*v1*v3*(13825551744*a11**6*b12
**2*kap*n1 - 78140906496*a11**4*b12**4*kap**2*n1 - 103772684160*a11**2*b12**6*
kap**3*n1 - 11806225920*b12**8*kap**4*n1) + u2**2*v1**4*(2068848000*a11**3*b12**
6*kap**2 + 1379232000*a11*b12**8*kap**3) + 1379232000*u2**2*v1**2*v2**2*a11**3*
b12**6*kap**2 + u2**2*v1**2*v3**2*(2068848000*a11**3*b12**6*kap**2 + 1379232000*
a11*b12**8*kap**3) + 1379232000*u2**2*v1**2*a11*b12**6*kap**3*n1**2 + u2**2*v2**
4*( - 689616000*a11**3*b12**6*kap**2 - 1379232000*a11*b12**8*kap**3) + u2**2*v2
**2*v3**2*( - 689616000*a11**3*b12**6*kap**2 - 1379232000*a11*b12**8*kap**3) +
u2**2*v2**2*(3753561600*a11**7*n1**2 + 3753561600*a11**5*b12**2*kap*n1**2 +
689616000*a11*b12**6*kap**3*n1**2) + u2**2*v3**2*( - 938390400*a11**7*n1**2 -
938390400*a11**5*b12**2*kap*n1**2 + 689616000*a11*b12**6*kap**3*n1**2) -
689616000*u2**2*a11*b12**4*kap**3*n1**4 + u2*u3**4*v1*(13111354656*a11**8*b12*
kap - 45790670832*a11**6*b12**3*kap**2 - 115123753488*a11**4*b12**5*kap**3 - 61435224960
*a11**2*b12**7*kap**4 - 5903112960*b12**9*kap**5) + u2*u3**3*v2*v3*( - 7851166272
*a11**7*b12**2*kap + 40660654848*a11**5*b12**4*kap**2 + 50507110080*a11**3*b12**
6*kap**3 + 1305672960*a11*b12**8*kap**4) + u2*u3**3*v3*( - 11604727872*a11**7*
b12*kap*n1 + 34838245248*a11**5*b12**3*kap**2*n1 + 50507110080*a11**3*b12**5*kap
**3*n1 + 2684904960*a11*b12**7*kap**4*n1) + u2*u3**2*v1**3*( - 740274624*a11**6*
b12**3*kap + 12058876416*a11**4*b12**5*kap**2 + 15456471360*a11**2*b12**7*kap**3
+ 1967704320*b12**9*kap**4) + u2*u3**2*v1*v2**2*( - 9727947072*a11**6*b12**3*
kap + 35565666048*a11**4*b12**5*kap**2 + 51886342080*a11**2*b12**7*kap**3 + 5903112960
*b12**9*kap**4) + u2*u3**2*v1*v2*( - 17579113344*a11**6*b12**2*kap*n1 + 74387344896
*a11**4*b12**4*kap**2*n1 + 103772684160*a11**2*b12**6*kap**3*n1 + 11806225920*
b12**8*kap**4*n1) + u2*u3**2*v1*v3**2*(3753561600*a11**6*b12**3*kap + 2374329600
*a11**4*b12**5*kap**2) + u2*u3**2*v1*( - 7851166272*a11**6*b12*kap*n1**2 + 39166486848
*a11**4*b12**3*kap**2*n1**2 + 52231150080*a11**2*b12**5*kap**3*n1**2 + 5903112960
*b12**7*kap**4*n1**2) + u2*u3*v1**2*v2*v3*( - 1379232000*a11**3*b12**6*kap**2 - 2758464000
*a11*b12**8*kap**3) - 1379232000*u2*u3*v1**2*v3*a11*b12**7*kap**3*n1 + u2*u3*v2
**3*v3*( - 1379232000*a11**3*b12**6*kap**2 - 2758464000*a11*b12**8*kap**3) - 1379232000
*u2*u3*v2**2*v3*a11*b12**7*kap**3*n1 + u2*u3*v2*v3**3*( - 1379232000*a11**3*b12
**6*kap**2 - 2758464000*a11*b12**8*kap**3) - 1379232000*u2*u3*v3**3*a11*b12**7*
kap**3*n1 + 1379232000*u2*u3*v3*a11*b12**5*kap**3*n1**3 + u3**6*( - 2725667280*
a11**9*kap + 9256540008*a11**7*b12**2*kap**2 + 20971674008*a11**5*b12**4*kap**3
+ 9800914880*a11**3*b12**6*kap**4 + 983852160*a11*b12**8*kap**5) + u3**4*v1**2*(
682934112*a11**7*b12**2*kap - 7268277408*a11**5*b12**4*kap**2 - 7498363680*a11**
3*b12**6*kap**3 + 625251840*a11*b12**8*kap**4) + u3**4*v2**2*(4863973536*a11**7*
b12**2*kap - 18874725024*a11**5*b12**4*kap**2 - 25943171040*a11**3*b12**6*kap**3
- 1342452480*a11*b12**8*kap**4) + u3**4*v2*(11604727872*a11**7*b12*kap*n1 - 34838245248
*a11**5*b12**3*kap**2*n1 - 50507110080*a11**3*b12**5*kap**3*n1 - 2684904960*a11*
b12**7*kap**4*n1) + u3**4*v3**2*(517212000*a11**5*b12**4*kap**2 - 689616000*a11
**3*b12**6*kap**3 - 689616000*a11*b12**8*kap**4) + u3**4*(3925583136*a11**7*kap*
n1**2 - 18433883424*a11**5*b12**2*kap**2*n1**2 - 24219131040*a11**3*b12**4*kap**
3*n1**2 - 1342452480*a11*b12**6*kap**4*n1**2) + u3**3*v1*v2*v3*( - 1876780800*
a11**6*b12**3*kap - 1876780800*a11**4*b12**5*kap**2) + u3**3*v1*v3*( - 1876780800
*a11**6*b12**2*kap*n1 - 1876780800*a11**4*b12**4*kap**2*n1) + u3**2*v1**4*(
689616000*a11**3*b12**6*kap**2 + 689616000*a11*b12**8*kap**3) + u3**2*v1**2*v2**
2*(689616000*a11**3*b12**6*kap**2 + 1379232000*a11*b12**8*kap**3) + 1379232000*
u3**2*v1**2*v2*a11*b12**7*kap**3*n1 + u3**2*v1**2*(1379232000*a11**3*b12**4*kap
**2*n1**2 + 2068848000*a11*b12**6*kap**3*n1**2) + 689616000*u3**2*v2**4*a11*b12
**8*kap**3 + 1379232000*u3**2*v2**3*a11*b12**7*kap**3*n1 - 689616000*u3**2*v2**2
*v3**2*a11**3*b12**6*kap**2 + u3**2*v2**2*( - 5630342400*a11**7*n1**2 - 3216686400
*a11**5*b12**2*kap*n1**2 + 2413656000*a11**3*b12**4*kap**2*n1**2) + 1379232000*
u3**2*v2*v3**2*a11*b12**7*kap**3*n1 - 1379232000*u3**2*v2*a11*b12**5*kap**3*n1**
3 + u3**2*v3**4*( - 689616000*a11**3*b12**6*kap**2 - 689616000*a11*b12**8*kap**3
) - 689616000*u3**2*a11*b12**4*kap**3*n1**4$
FI=u1**2*u2**2*(72*a11**2*n1**2 + 36*b12**2*kap*n1**2) + u1**2*u3**4*(12*a11**2*
b12**2*kap + 12*b12**4*kap**2) + 72*u1*u2**2*v2*a11*b12*n1**2 + 72*u1*u2*u3*v3*
a11*b12*n1**2 + u1*u3**4*(48*a11**3*n1 + 48*a11*b12**2*kap*n1) - 36*u1*u3**2*v2*
a11*b12*n1**2 - 36*u1*u3**2*a11*n1**3 + 36*u2**4*a11**2*n1**2 - 72*u2**3*v1*a11*
b12*n1**2 + u2**2*u3**4*(12*a11**2*b12**2*kap + 12*b12**4*kap**2) + u2**2*u3**2*
(72*a11**2*n1**2 + 36*b12**2*kap*n1**2) + 36*u2**2*v1**2*b12**2*n1**2 + 36*u2**2
*v2**2*b12**2*n1**2 - 36*u2**2*n1**4 + u2*u3**3*v3*( - 48*a11**2*b12*n1 - 48*b12
**3*kap*n1) - 36*u2*u3**2*v1*a11*b12*n1**2 + 72*u2*u3*v2*v3*b12**2*n1**2 + 72*u2
*u3*v3*b12*n1**3 + u3**6*( - 8*a11**4 - 12*a11**2*b12**2*kap - 4*b12**4*kap**2)
+ u3**4*v1**2*(12*a11**2*b12**2 + 12*b12**4*kap) + u3**4*v2**2*(12*a11**2*b12**2
+ 12*b12**4*kap) + u3**4*v2*(48*a11**2*b12*n1 + 48*b12**3*kap*n1) + u3**4*v3**2
*(12*a11**2*b12**2 + 12*b12**4*kap) + u3**4*(45*a11**2*n1**2 + 36*b12**2*kap*n1
**2) - 36*u3**2*v2**2*b12**2*n1**2 - 72*u3**2*v2*b12*n1**3 - 36*u3**2*n1**4$