Solution 13 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2
0=a11 + b12 *kap
Expressions
The solution is given through the following expressions:
r10=0
r11=0
r12=0
r13=0
r14=0
r15=0
r20=0
r21=0
r22=0
r23=0
r24=0
r27=0
r28=0
1 2 1 2
- ---*n1 *r446 + ---*n1 *r494
2 2
r29=--------------------------------
2
b12
r210=0
r211=0
r212=0
r213=0
1 2 1 2
- ---*n1 *r446 + ---*n1 *r494
2 2
r214=--------------------------------
2
b12
r215=0
r217=0
r218=0
r219=0
2 2 2 2
a11 *n1 *r494 + b12 *kap*n1 *r494
r220=-----------------------------------
4
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
- n1*r446 + n1*r494
r317=----------------------
b12
r318=0
r319=0
r320=0
r321=0
r322=0
r323=0
r324=0
r325=0
n1*r446 - n1*r494
r326=-------------------
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 67997373 4 2
r344=( - ----------*a11 *n1*r494 + ----------*a11 *b12 *kap*n1*r494
2394500 2394500
1 2 4 2 4653679 2 4 2
- ---*a11 *b12 *kap *n1*r446 + ---------*a11 *b12 *kap *n1*r494
2 119725
3 2 3 107 6 3 6 2
- a11*b12 *kap *n1 *r6309 + -----*b12 *kap *n1*r494)/(a11*b12 *kap )
25
r345=0
r346=0
2 2
- 2*a11 *n1*r494 - 2*b12 *kap*n1*r494
r347=----------------------------------------
3
b12 *kap
r348=0
13630497 6 70391873 4 2
r349=( - ----------*a11 *n1*r494 + ----------*a11 *b12 *kap*n1*r494
2394500 2394500
9427083 2 4 2 3 2 3
+ ---------*a11 *b12 *kap *n1*r494 - a11*b12 *kap *n1 *r6309
239450
107 6 3 6 2
+ -----*b12 *kap *n1*r494)/(a11*b12 *kap )
25
r350=0
2 2
2*a11 *n1*r494 + 2*b12 *kap*n1*r494
r351=-------------------------------------
3
b12 *kap
r352=0
r353=0
r354=0
3 2
4*a11 *n1*r494 + 4*a11*b12 *kap*n1*r494
r355=-----------------------------------------
4
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
97749 6 223381 4 2 7 2 4 2
r427=(-------*a11 *r494 + --------*a11 *b12 *kap*r494 - ---*a11 *b12 *kap *r494
23945 95780 4
1 6 3 6 3
- ---*b12 *kap *r446)/(b12 *kap )
2
r428=0
r429=0
2 3 2
- a11 *r494 - ---*b12 *kap*r494
2
r430=----------------------------------
2
b12 *kap
r431=0
r432=0
r433=0
13630497 6 192019619 4 2
r434=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
4789000 14367000
5 2 4 2 16818841 2 4 2
+ ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
8 957800
1 3 2 2 1 6 3 73 6 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 + ----*b12 *kap *r494)
2 2 75
6 2
/(b12 *kap )
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
r447=0
r448=0
r449=0
r450=0
r451=0
r452=0
13630497 6 67997373 4 2
r453=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 2394500
1 2 4 2 4533954 2 4 2
- ---*a11 *b12 *kap *r446 - ---------*a11 *b12 *kap *r494
2 119725
3 2 2 107 6 3 5 2
+ a11*b12 *kap *n1 *r6309 - -----*b12 *kap *r494)/(a11*b12 *kap )
25
r454=0
32583 6 32583 4 2 1 6 3
-------*a11 *r494 + -------*a11 *b12 *kap*r494 - ---*b12 *kap *r494
47890 47890 2
r455=---------------------------------------------------------------------
6 3
b12 *kap
r456=0
65166 6 65166 4 2 1 6 3
r457=( - -------*a11 *r494 - -------*a11 *b12 *kap*r494 + ---*b12 *kap *r446
23945 23945 2
1 6 3 6 3
- ---*b12 *kap *r494)/(b12 *kap )
2
r458=0
r459=0
1
r460=---*r446 - r494
2
r461=0
r462=0
r463=0
40891491 6 588031357 4 2
r464=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
4789000 14367000
2 4 2 26126199 2 4 2
+ a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
478900
3 3 2 2 1 6 3 344 6 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 + -----*b12 *kap *r494
2 2 75
6 2
)/(b12 *kap )
r465=0
r466=0
13630497 6 33100749 4 2 2 4 2
r467=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494 - a11 *b12 *kap *r446
2394500 1197250
17537191 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 6 3 5 2
- -----*b12 *kap *r494)/(a11*b12 *kap )
25
r468=0
13630497 6 49950436 4 2
r469=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 1795875
1 2 4 2 17776641 2 4 2
+ ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
2 478900
3 2 2 271 6 3 6 2
- a11*b12 *kap *n1 *r6309 + -----*b12 *kap *r494)/(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*a11 *r494 + 3*b12 *kap*r494
r483=-------------------------------
2
b12 *kap
r484=0
r485=0
r486=0
40891491 6 101696747 4 2
r487=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
2394500 1197250
1 2 4 2 55245523 2 4 2
- ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
2 478900
3 2 2 321 6 3 5 2
- 3*a11*b12 *kap *n1 *r6309 + -----*b12 *kap *r494)/(a11*b12 *kap )
25
r488=0
r489=0
r490=0
r491=0
r492=0
r493=0
r495=0
13630497 6 135396121 4 2
r496=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
1197250 2394500
2 4 2 37109707 2 4 2
+ a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *r494
478900
3 2 2 214 6 3 5 2
+ 2*a11*b12 *kap *n1 *r6309 - -----*b12 *kap *r494)/(a11*b12 *kap )
25
r497=0
r498=0
r499=0
r4100=0
13630497 6 33100749 4 2
r4101=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 1197250
2 4 2 17537191 2 4 2
+ a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
478900
3 2 2 107 6 3 5 2
- a11*b12 *kap *n1 *r6309 + -----*b12 *kap *r494)/(a11*b12 *kap )
25
r4102=0
r4103=0
r4104=0
2 2
- a11 *r494 - b12 *kap*r494
r4105=------------------------------
2
b12 *kap
r4106=0
r4108=0
r4109=0
32583 6 32583 4 2 1 6 3
- -------*a11 *r494 - -------*a11 *b12 *kap*r494 + ---*b12 *kap *r494
47890 47890 2
r4110=------------------------------------------------------------------------
6 3
b12 *kap
r4111=0
r4112=0
r4113=0
20853033 6 2440548973 4 2
r4114=( - ----------*a11 *r494 + ------------*a11 *b12 *kap*r494
1197250 28734000
43877471 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
383120
1751 6 3 6 2
+ ------*b12 *kap *r494)/(b12 *kap )
150
r4115=0
r4116=0
3 2
- 8*a11 *r494 - 8*a11*b12 *kap*r494
r4117=--------------------------------------
3
b12 *kap
r4118=0
32583 6 35246489 4 2 2 4 2
r4119=(-------*a11 *r494 - ----------*a11 *b12 *kap*r494 + a11 *b12 *kap *r446
9578 2873400
4267 2 4 2 3 2 2
- ------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
200
1 6 3 17 6 3 6 2
+ ---*b12 *kap *r446 - ----*b12 *kap *r494)/(b12 *kap )
2 3
r4120=0
3 2
8*a11 *r494 + 8*a11*b12 *kap*r494
r4121=-----------------------------------
3
b12 *kap
r4122=0
r4123=0
r4124=0
4 2 2 4 2
7*a11 *r494 + 6*a11 *b12 *kap*r494 - b12 *kap *r494
r4125=-----------------------------------------------------
4
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
- b12*r494
r537=-------------
n1
r538=0
- b12*r494
r539=-------------
n1
r540=0
r541=0
r542=0
r543=0
- b12*r494
r544=-------------
n1
r545=0
r546=0
r547=0
r548=0
32583 5 32583 3 2
-------*a11 *r494 + -------*a11 *b12 *kap*r494
23945 23945
r549=------------------------------------------------
4 2
b12 *kap *n1
r550=0
r551=0
r552=0
20147097 6 90724597 4 2
r553=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 3591750
2 2 4 2 17537191 2 4 2
+ ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
3 478900
3 2 2 2 6 3 146 6 3
- a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 + -----*b12 *kap *r494)/(
3 75
5 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
b12*r494
r571=----------
n1
r572=0
b12*r494
r573=----------
n1
r574=0
r575=0
r576=0
r577=0
b12*r494
r578=----------
n1
r579=0
r580=0
r581=0
r582=0
r583=0
r584=0
15259647 6 32286174 4 2
r585=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 598625
18016091 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11*b12 *kap *n1 *r6309
239450
214 6 3 4 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r586=0
20147097 6 90724597 4 2
r587=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 3591750
2 2 4 2 17537191 2 4 2
- ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *r494
3 478900
3 2 2 2 6 3 146 6 3
+ a11*b12 *kap *n1 *r6309 - ---*b12 *kap *r446 - -----*b12 *kap *r494)/(
3 75
5 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
r5102=0
r5103=0
12001347 6 33915324 4 2
r5104=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 598625
18016091 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
239450
214 6 3 4 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5105=0
r5106=0
r5107=0
13630497 6 100499497 4 2
r5108=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
1197250 1795875
18016091 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
239450
517 6 3 5 2
+ -----*b12 *kap *r494)/(b12 *kap *n1)
75
r5109=0
r5110=0
r5111=0
r5112=0
r5113=0
r5114=0
32583 5 32583 3 2
-------*a11 *r494 + -------*a11 *b12 *kap*r494
23945 23945
r5115=------------------------------------------------
4 2
b12 *kap *n1
r5116=0
13630497 6 100499497 4 2
r5117=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
1197250 1795875
18016091 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11*b12 *kap *n1 *r6309
239450
517 6 3 5 2
- -----*b12 *kap *r494)/(b12 *kap *n1)
75
r5118=0
r5119=0
r5120=0
r5121=0
32583 6 32583 4 2
- -------*a11 *r494 - -------*a11 *b12 *kap*r494
23945 23945
r5122=---------------------------------------------------
5 2
b12 *kap *n1
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
- a11 *r494 - a11*b12 *kap*r494
r5151=----------------------------------
2
b12 *kap*n1
r5152=0
40891491 6 49351811 4 2
r5153=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 598625
53569373 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 3*a11*b12 *kap *n1 *r6309
478900
321 6 3 4 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5154=0
r5155=0
1973101 6 18145387 4 2
r5156=(---------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 1795875
14663791 2 4 2 107 6 3 4 2
+ ----------*a11 *b12 *kap *r494 + -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
*n1)
r5157=0
r5158=0
r5159=0
5231343 8 76058511 6 2
r5160=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
4789000 9578000
2 4 4 2 1346180071 4 4 2
+ ---*a11 *b12 *kap *r446 - ------------*a11 *b12 *kap *r494
3 28734000
3 3 3 2 2 2 2 6 3
+ ---*a11 *b12 *kap *n1 *r6309 + ---*a11 *b12 *kap *r446
4 3
1223965 2 6 3 5 3 2
- ---------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
28734
107 8 4 6 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5161=0
r5162=0
r5163=0
r5164=0
2 2
2*a11 *r494 + 2*b12 *kap*r494
r5165=-------------------------------
b12*kap*n1
r5166=0
2 2
2*a11 *r494 + 2*b12 *kap*r494
r5167=-------------------------------
b12*kap*n1
r5168=0
r5169=0
2 2
2*a11 *r494 + 2*b12 *kap*r494
r5170=-------------------------------
b12*kap*n1
r5171=0
13630497 6 66800123 4 2
r5172=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
598625 598625
18016091 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 4*a11*b12 *kap *n1 *r6309
119725
428 6 3 4 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5173=0
r5174=0
r5175=0
r5176=0
r5177=0
r5178=0
7222536 6 812203771 4 2
r5179=(---------*a11 *r494 - -----------*a11 *b12 *kap*r494
598625 14367000
74540277 2 4 2 692 6 3 5 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(b12 *kap *n1)
957800 75
r5180=0
3 2
- 2*a11 *r494 - 2*a11*b12 *kap*r494
r5181=--------------------------------------
2
b12 *kap*n1
r5182=0
13630497 6 18046937 4 2
r5183=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 598625
18973891 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 6 3 4 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5184=0
r5185=0
7801799 6 23424299 4 2
r5186=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
16100491 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
718350
214 6 3 4 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
75
r5187=0
r5188=0
r5189=0
3547917 8 137813683 6 2
r5190=( - ---------*a11 *r494 + -----------*a11 *b12 *kap*r494
598625 4789000
79270027 4 4 2 3 3 2 2
+ ----------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
14367000
48799529 2 6 3 5 3 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
1436700
107 8 4 6 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1)
25
r5191=0
r5192=0
5629599 6 71323948 4 2
r5193=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
598625 1795875
20410591 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
359175
578 6 3 5 2
+ -----*b12 *kap *r494)/(b12 *kap *n1)
75
r5194=0
2407512 7 34190024 5 2
r5195=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
598625 1795875
10025708 3 4 2 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
359175
364 6 3 6 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1)
75
r5196=0
2 2
- 2*a11 *r494 - 2*b12 *kap*r494
r5197=----------------------------------
b12*kap*n1
r5198=0
2 2
- 2*a11 *r494 - 2*b12 *kap*r494
r5199=----------------------------------
b12*kap*n1
r5200=0
r5201=0
r5202=0
r5203=0
2 2
- 2*a11 *r494 - 2*b12 *kap*r494
r5204=----------------------------------
b12*kap*n1
r5205=0
r5206=0
r5207=0
r5208=0
2914349 6 32551349 4 2
r5209=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
16100491 2 4 2 214 6 3 4 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
718350 75
*n1)
r5210=0
r5211=0
r5212=0
38791717 6 2164573931 4 2
r5213=( - ----------*a11 *r494 + ------------*a11 *b12 *kap*r494
1197250 14367000
591605051 2 4 2 3 2 2
+ -----------*a11 *b12 *kap *r494 - 4*a11*b12 *kap *n1 *r6309
2873400
1637 6 3 5 2
+ ------*b12 *kap *r494)/(b12 *kap *n1)
75
r5214=0
r5215=0
r5216=0
r5217=0
r5218=0
r5219=0
2914349 6 54101849 4 2
r5220=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
24720691 2 4 2 214 6 3 4 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
718350 75
*n1)
r5221=0
4869329 6 33809254 4 2
r5222=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
239450 359175
18399211 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 4*a11*b12 *kap *n1 *r6309
143670
63 6 3 5 2
- ----*b12 *kap *r494)/(b12 *kap *n1)
5
r5223=0
r5224=0
r5225=0
r5226=0
5358074 6 46397648 4 2
r5227=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
598625 1795875
5087472 2 4 2 3 2 2
- ---------*a11 *b12 *kap *r494 + 2*a11*b12 *kap *n1 *r6309
119725
578 6 3 5 2
- -----*b12 *kap *r494)/(b12 *kap *n1)
75
r5228=0
r5229=0
r5230=0
3 2
- 2*a11 *r494 - 2*a11*b12 *kap*r494
r5231=--------------------------------------
2
b12 *kap*n1
r5232=0
3 2
4*a11 *r494 + 4*a11*b12 *kap*r494
r5233=-----------------------------------
2
b12 *kap*n1
r5234=0
r5235=0
4543499 6 18645562 4 2
r5236=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
18973891 2 4 2 107 6 3 4 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
*n1)
r5237=0
r5238=0
r5239=0
64495987 8 18240309367 6 2
r5240=( - ----------*a11 *r494 + -------------*a11 *b12 *kap*r494
3591750 229872000
3497847821 4 4 2 4 3 3 2 2
+ ------------*a11 *b12 *kap *r494 - ---*a11 *b12 *kap *n1 *r6309
27584640 3
15025683 2 6 3 1 5 3 2
+ ----------*a11 *b12 *kap *r494 - ---*a11*b12 *kap *n1 *r6309
478900 3
107 8 4 6 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1)
45
r5241=0
r5242=0
32583 6 319923 4 2
r5243=( - -------*a11 *r494 - --------*a11 *b12 *kap*r494
23945 23945
2 4 2 6 3 5 2
- 10*a11 *b12 *kap *r494 + 2*b12 *kap *r494)/(b12 *kap *n1)
r5244=0
6172649 7 14895707 5 2
r5245=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 2394500
26190787 3 4 2 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
1436700
514 6 3 6 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1)
75
r5246=0
4 2 2 4 2
12*a11 *r494 + 10*a11 *b12 *kap*r494 - 2*b12 *kap *r494
r5247=---------------------------------------------------------
3
b12 *kap*n1
r5248=0
r5249=0
r5250=0
5 3 2 4 2
6*a11 *r494 + 4*a11 *b12 *kap*r494 - 2*a11*b12 *kap *r494
r5251=-----------------------------------------------------------
4
b12 *kap*n1
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
1 2 1 2
---*a11 *r494 + ---*b12 *kap*r494
2 2
r649=-----------------------------------
2
kap*n1
r650=0
1 2
---*a11 *r494
2
r651=---------------
2
kap*n1
r652=0
1 2
- ---*b12 *r494
2
r653=------------------
2
n1
r654=0
r655=0
r656=0
r657=0
r659=0
1 2 2
- ---*a11 *r494 - b12 *kap*r494
2
r660=----------------------------------
2
kap*n1
r661=0
r662=0
1 2 1 2
- ---*a11 *r494 - ---*b12 *kap*r494
2 2
r663=--------------------------------------
2
kap*n1
r665=0
r666=0
r667=0
r668=0
32583 5 32583 3 2
-------*a11 *r494 + -------*a11 *b12 *kap*r494
23945 23945
r669=------------------------------------------------
3 2 2
b12 *kap *n1
r670=0
r671=0
r672=0
r673=0
3 4 1 2 2 1 2 2
r674=( - ---*a11 *r494 + ---*a11 *b12 *kap*r446 + ---*a11 *b12 *kap*r494
8 6 2
1 4 2 1 4 2 2 2
+ ---*b12 *kap *r446 + ---*b12 *kap *r494)/(b12 *kap*n1 )
6 2
r675=0
16888797 6 196611719 4 2
r676=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
4789000 14367000
1 2 4 2 18016091 2 4 2
+ ---*a11 *b12 *kap *r446 + ----------*a11 *b12 *kap *r494
6 957800
1 3 2 2 1 6 3 73 6 3
- ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 + ----*b12 *kap *r494)
2 6 75
4 2 2
/(b12 *kap *n1 )
r677=0
r678=0
2371299 6 75711223 4 2
r679=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
4789000 14367000
1 2 4 2 5207197 2 4 2
+ ---*a11 *b12 *kap *r446 + ---------*a11 *b12 *kap *r494
6 957800
1 6 3 34 6 3 4 2 2
+ ---*b12 *kap *r446 - ----*b12 *kap *r494)/(b12 *kap *n1 )
6 75
r680=0
r681=0
r682=0
3785649 8 385689167 6 2
r683=(---------*a11 *r494 - -----------*a11 *b12 *kap*r494
1915600 57468000
1 4 4 2 2621459251 4 4 2
- ---*a11 *b12 *kap *r446 - ------------*a11 *b12 *kap *r494
9 172404000
7 3 3 2 2 1 2 6 3
+ ----*a11 *b12 *kap *n1 *r6309 - ---*a11 *b12 *kap *r446
24 6
30627859 2 6 3 1 5 3 2
- ----------*a11 *b12 *kap *r494 + ---*a11*b12 *kap *n1 *r6309
4310100 6
1 8 4 107 8 4 6 2 2
- ----*b12 *kap *r446 - -----*b12 *kap *r494)/(b12 *kap *n1 )
18 150
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
a11 *r494 + 2*b12 *kap*r494
r6106=-----------------------------
2
kap*n1
r6107=0
2 2
a11 *r494 + 2*b12 *kap*r494
r6108=-----------------------------
2
kap*n1
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
2 2
a11 *r494 + 2*b12 *kap*r494
r6115=-----------------------------
2
kap*n1
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
r6121=0
r6122=0
r6123=0
65166 5 41221 3 2
- -------*a11 *r494 - -------*a11 *b12 *kap*r494
23945 23945
r6124=---------------------------------------------------
3 2 2
b12 *kap *n1
r6125=0
16888797 6 15436487 4 2
r6126=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 598625
18016091 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 6 3 3 2 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6127=0
r6128=0
1285199 6 15701662 4 2
r6129=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
16100491 2 4 2 107 6 3 3 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
2
*n1 )
r6130=0
13630497 6 52943561 4 2
r6131=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
17537191 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
71 6 3 4 2 2
- ----*b12 *kap *r494)/(b12 *kap *n1 )
75
r6132=0
r6133=0
r6134=0
r6135=0
r6136=0
r6137=0
45525537 8 953972309 6 2
r6138=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
4789000 28734000
2398411531 4 4 2 7 3 3 2 2
+ ------------*a11 *b12 *kap *r494 - ---*a11 *b12 *kap *n1 *r6309
28734000 4
31997513 2 6 3 5 3 2
+ ----------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
718350
107 8 4 5 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6139=0
r6140=0
r6141=0
1 2 2
---*a11 *r494 + b12 *kap*r494
2
r6142=-------------------------------
2
kap*n1
r6143=0
1 2 2
---*a11 *r494 + b12 *kap*r494
2
r6144=-------------------------------
2
kap*n1
r6145=0
r6146=0
r6147=0
r6148=0
3 2 2
- ---*a11 *r494 - b12 *kap*r494
2
r6149=----------------------------------
2
kap*n1
r6150=0
2
- a11 *r494
r6151=--------------
2
kap*n1
r6152=0
r6153=0
3 2 2
- ---*a11 *r494 - b12 *kap*r494
2
r6154=----------------------------------
2
kap*n1
r6155=0
r6156=0
r6157=0
r6158=0
r6159=0
18517947 6 31255649 4 2
r6160=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 598625
18016091 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
239450
214 6 3 3 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6161=0
r6162=0
r6163=0
r6164=0
r6165
65166 6 106387 4 2 1 2 4 2
-------*a11 *r494 + --------*a11 *b12 *kap*r494 + ---*a11 *b12 *kap *r494
23945 47890 2
=---------------------------------------------------------------------------
4 2 2
b12 *kap *n1
r6166=0
16888797 6 43914961 4 2
r6167=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
4789000 3591750
18494991 2 4 2 1 3 2 2
+ ----------*a11 *b12 *kap *r494 - ---*a11*b12 *kap *n1 *r6309
957800 2
421 6 3 4 2 2
+ -----*b12 *kap *r494)/(b12 *kap *n1 )
150
r6168=0
r6169=0
10861 6 328993 4 2
r6170=(-------*a11 *r494 + --------*a11 *b12 *kap*r494
4789 119725
64 2 4 2 3 3 2 2
- ----*a11 *b12 *kap *r494 + ---*a11*b12 *kap *n1 *r6309
75 2
4 6 3 4 2 2
- ---*b12 *kap *r494)/(b12 *kap *n1 )
3
r6171=0
r6172=0
r6173=0
31008039 8 271168033 6 2
r6174=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
4789000 9578000
540307091 4 4 2 5 3 3 2 2
- -----------*a11 *b12 *kap *r494 + ---*a11 *b12 *kap *n1 *r6309
9578000 4
1 2 6 3 13968479 2 6 3
+ ---*a11 *b12 *kap *r446 - ----------*a11 *b12 *kap *r494
6 574680
1 5 3 2 1 8 4
+ ---*a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446
2 6
248 8 4 6 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
75
r6175=0
r6176=0
r6177=0
r6178=0
3 2
3*a11 *r494 + 2*a11*b12 *kap*r494
r6179=-----------------------------------
2
b12*kap*n1
r6180=0
16888797 6 17830987 4 2
r6181=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 598625
18973891 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
478900
107 6 3 3 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6182=0
r6183=0
6172649 6 34847399 4 2
r6184=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 1795875
18973891 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
718350
214 6 3 3 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
75
r6185=0
18517947 6 31255649 4 2
r6186=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 598625
17776641 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11*b12 *kap *n1 *r6309
239450
164 6 3 4 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
25
r6187=0
r6188=0
r6189=0
r6190=0
r6191=0
r6192=0
12272901 8 217187971 6 2
r6193=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
598625 3591750
313767583 4 4 2 3 3 2 2
+ -----------*a11 *b12 *kap *r494 - 4*a11 *b12 *kap *n1 *r6309
2394500
3036977 2 6 3 5 3 2
+ ---------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
57468
107 8 4 5 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6194=0
3 4 2 2
- ---*a11 *r494 - a11 *b12 *kap*r494
2
r6195=---------------------------------------
2 2
b12 *kap*n1
r6196=0
16888797 6 33866099 4 2
r6197=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1197250
18255541 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
82 6 3 4 2 2
- ----*b12 *kap *r494)/(b12 *kap *n1 )
25
r6198=0
r6199=0
18517947 6 60715423 4 2
r6200=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1197250
9067908 2 4 2 3 2 2
- ---------*a11 *b12 *kap *r494 + 3*a11*b12 *kap *n1 *r6309
119725
239 6 3 4 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
25
r6201=0
r6202=0
r6203=0
18916203 8 112181579 6 2
r6204=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
2394500 4789000
109221859 4 4 2 3 3 3 2 2
- -----------*a11 *b12 *kap *r494 + ---*a11 *b12 *kap *n1 *r6309
2873400 2
464 2 6 3 1 8 4 6 2 2
- -----*a11 *b12 *kap *r494 - ---*b12 *kap *r494)/(b12 *kap *n1 )
75 2
r6205=0
r6206=0
18517947 7 29459774 5 2
r6207=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 598625
18255541 3 4 2 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 3*a11 *b12 *kap *n1 *r6309
239450
264 6 3 5 2 2
+ -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
25
r6208=0
6172649 8 29459774 6 2
r6209=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
9307358 4 4 2 3 3 2 2
- ---------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
359175
289 2 6 3 6 2 2
- -----*a11 *b12 *kap *r494)/(b12 *kap *n1 )
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
2*a11 *r494 + 2*b12 *kap*r494
r6236=-------------------------------
2
kap*n1
r6237=0
2 2
2*a11 *r494 + 2*b12 *kap*r494
r6238=-------------------------------
2
kap*n1
r6239=0
r6240=0
r6242=0
2 2
2*a11 *r494 + 2*b12 *kap*r494
r6243=-------------------------------
2
kap*n1
r6244=0
r6245=0
r6246=0
r6248=0
13630497 6 16849687 4 2
r6249=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 598625
18016091 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
478900
107 6 3 3 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6250=0
r6251=0
r6252=0
r6253=0
1973101 6 19941262 4 2
r6254=(---------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 1795875
16100491 2 4 2 107 6 3 3 2
+ ----------*a11 *b12 *kap *r494 + -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
2
*n1 )
r6255=0
r6256=0
r6257=0
r6258=0
5629599 6 17830987 4 2
r6259=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
4728297 2 4 2 143 6 3 4 2 2
- ---------*a11 *b12 *kap *r494 + -----*b12 *kap *r494)/(b12 *kap *n1 )
478900 75
r6260=0
r6261=0
r6262=0
16490541 8 18814813 6 2
r6263=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
4789000 1149360
1629877891 4 4 2 3 3 3 2 2
- ------------*a11 *b12 *kap *r494 + ---*a11 *b12 *kap *n1 *r6309
28734000 4
9982607 2 6 3 5 3 2
- ---------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
239450
107 8 4 5 2 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6264=0
r6265=0
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
2 2
4*a11 *r494 + 4*b12 *kap*r494
r6272=-------------------------------
2
kap*n1
r6273=0
2 2
4*a11 *r494 + 4*b12 *kap*r494
r6274=-------------------------------
2
kap*n1
r6275=0
r6276=0
r6277=0
r6278=0
2 2
4*a11 *r494 + 4*b12 *kap*r494
r6279=-------------------------------
2
kap*n1
r6280=0
3
- a11 *r494
r6281=--------------
2
b12*kap*n1
r6282=0
13630497 6 34297999 4 2
r6283=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 598625
18016091 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11*b12 *kap *n1 *r6309
239450
214 6 3 3 2 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6284=0
r6285=0
r6286=0
r6287=0
7801799 6 23424299 4 2
r6288=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 1795875
16100491 2 4 2 214 6 3 3 2
+ ----------*a11 *b12 *kap *r494 + -----*b12 *kap *r494)/(a11*b12 *kap
718350 75
2
*n1 )
r6289=0
r6290=0
r6291=0
r6292=0
r6293=0
r6294=0
5629599 6 3730939 4 2
r6295=(---------*a11 *r494 - ---------*a11 *b12 *kap*r494
478900 71835
31763629 2 4 2 47 6 3 4 2 2
- ----------*a11 *b12 *kap *r494 - ----*b12 *kap *r494)/(b12 *kap *n1 )
478900 15
r6296=0
7258749 7 27781399 5 2
r6297=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
6078617 3 4 2 2 3 2 2
- ---------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
239450
214 6 3 5 2 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
75
r6298=0
r6299=0
r6300=0
r6301=0
3 2
- 3*a11 *r494 - 2*a11*b12 *kap*r494
r6302=--------------------------------------
2
b12*kap*n1
r6303=0
13630497 6 18645562 4 2
r6304=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 598625
18973891 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 6 3 3 2 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6305=0
r6306=0
r6307=0
r6308=0
r6310=0
r6311=0
r6312=0
r6313=0
5629599 6 80303323 4 2
r6314=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 3591750
11821583 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
359175
364 6 3 4 2 2
+ -----*b12 *kap *r494)/(b12 *kap *n1 )
75
r6315=0
r6316=0
r6317=0
6643302 8 2943113 6 2
r6318=(---------*a11 *r494 - ---------*a11 *b12 *kap*r494
598625 143670
538349929 4 4 2 3 3 2 2
- -----------*a11 *b12 *kap *r494 + 2*a11 *b12 *kap *n1 *r6309
7183500
22575219 2 6 3 5 3 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 8 4 5 2 2
- -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6319=0
r6320=0
r6321=0
r6322=0
r6323=0
r6324=0
16888797 6 28478474 4 2
r6325=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 598625
18016091 2 4 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 4*a11*b12 *kap *n1 *r6309
239450
314 6 3 4 2 2
+ -----*b12 *kap *r494)/(b12 *kap *n1 )
25
r6326=0
12073773 7 67408273 5 2
r6327=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
39025307 3 4 2 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11 *b12 *kap *n1 *r6309
718350
428 6 3 5 2 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
75
r6328=0
r6329=0
r6330=0
r6331=0
16888797 7 30274349 5 2
r6332=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 598625
18255541 3 4 2 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 3*a11 *b12 *kap *n1 *r6309
239450
264 6 3 5 2 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
25
r6333=0
r6334=0
r6335=0
r6336=0
r6337=0
2 2
- a11 *r494 - b12 *kap*r494
r6338=------------------------------
2
kap*n1
r6339=0
2 2
- a11 *r494 - b12 *kap*r494
r6340=------------------------------
2
kap*n1
r6341=0
r6342=0
r6343=0
r6344=0
2 2
a11 *r494 + b12 *kap*r494
r6345=---------------------------
2
kap*n1
r6346=0
r6348=0
r6349=0
2 2
a11 *r494 + b12 *kap*r494
r6350=---------------------------
2
kap*n1
r6351=0
r6352=0
r6354=0
r6355=0
2914349 6 32551349 4 2
r6356=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
16100491 2 4 2 214 6 3 3 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
718350 75
2
*n1 )
r6357=0
r6358=0
r6359=0
r6360=0
1 4
- ---*a11 *r494
2
r6361=------------------
2 2
b12 *kap*n1
r6362=0
38864143 6 119202029 4 2
r6363=( - ----------*a11 *r494 + -----------*a11 *b12 *kap*r494
2394500 1795875
131830703 2 4 2 3 2 2
+ -----------*a11 *b12 *kap *r494 - 2*a11*b12 *kap *n1 *r6309
1436700
649 6 3 4 2 2
+ -----*b12 *kap *r494)/(b12 *kap *n1 )
75
r6364=0
r6365=0
6317501 6 17811937 4 2
r6366=(---------*a11 *r494 + ----------*a11 *b12 *kap*r494
4789000 3591750
15142691 2 4 2 69 6 3 4 2 2
+ ----------*a11 *b12 *kap *r494 + ----*b12 *kap *r494)/(b12 *kap *n1 )
2873400 50
r6367=0
r6368=0
r6369=0
31008039 8 242133037 6 2
r6370=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
4789000 9578000
372544453 4 4 2 5 3 3 2 2
- -----------*a11 *b12 *kap *r494 + ---*a11 *b12 *kap *n1 *r6309
5746800 4
1 2 6 3 108269077 2 6 3
+ ---*a11 *b12 *kap *r446 - -----------*a11 *b12 *kap *r494
6 2873400
5 3 2 1 8 4 71 8 4
+ a11*b12 *kap *n1 *r6309 + ---*b12 *kap *r446 - ----*b12 *kap *r494)/(
6 15
6 2 2
b12 *kap *n1 )
r6371=0
r6372=0
r6373=0
r6374=0
3 2
2*a11 *r494 + 2*a11*b12 *kap*r494
r6375=-----------------------------------
2
b12*kap*n1
r6376=0
2914349 6 39734849 4 2
r6377=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
18973891 2 4 2 214 6 3 3 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
718350 75
2
*n1 )
r6378=0
r6379=0
7801799 6 16201837 4 2
r6380=( - ---------*a11 *r494 + ----------*a11 *b12 *kap*r494
2394500 1795875
18973891 2 4 2 107 6 3 3 2
+ ----------*a11 *b12 *kap *r494 + -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
2
*n1 )
r6381=0
4869329 6 34288154 4 2
r6382=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
239450 359175
18399211 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 4*a11*b12 *kap *n1 *r6309
143670
184 6 3 4 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
15
r6383=0
r6384=0
r6385=0
r6386=0
r6387=0
r6388=0
5629599 8 2342148759 6 2
r6389=(---------*a11 *r494 - ------------*a11 *b12 *kap*r494
598625 76624000
5965234231 4 4 2 20429747 2 6 3
- ------------*a11 *b12 *kap *r494 - ----------*a11 *b12 *kap *r494
76624000 478900
5 3 2 107 8 4 5 2 2
+ a11*b12 *kap *n1 *r6309 - -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6390=0
5 4 2 2
- ---*a11 *r494 - 2*a11 *b12 *kap*r494
2
r6391=-----------------------------------------
2 2
b12 *kap*n1
r6392=0
35062793 6 225620543 4 2
r6393=(----------*a11 *r494 - -----------*a11 *b12 *kap*r494
2394500 3591750
124915387 2 4 2 3 2 2
- -----------*a11 *b12 *kap *r494 + 3*a11*b12 *kap *n1 *r6309
1436700
749 6 3 4 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
75
r6394=0
r6395=0
23405397 6 24621549 4 2
r6396=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1197250
16339941 2 4 2 3 2 2
- ----------*a11 *b12 *kap *r494 + a11*b12 *kap *n1 *r6309
478900
107 6 3 4 2 2
- -----*b12 *kap *r494)/(b12 *kap *n1 )
25
r6397=0
r6398=0
r6399=0
23731227 8 25072751813 6 2
r6400=(----------*a11 *r494 - -------------*a11 *b12 *kap*r494
598625 229872000
70053013861 4 4 2 3 3 2 2
- -------------*a11 *b12 *kap *r494 + 6*a11 *b12 *kap *n1 *r6309
229872000
16447887 2 6 3 9 5 3 2
- ----------*a11 *b12 *kap *r494 + ---*a11*b12 *kap *n1 *r6309
95780 2
1252 8 4 6 2 2
- ------*b12 *kap *r494)/(b12 *kap *n1 )
75
r6401=0
r6402=0
20147097 7 25053449 5 2
r6403=( - ----------*a11 *r494 + ----------*a11 *b12 *kap*r494
1197250 598625
17297741 3 4 2 2 3 2 2
+ ----------*a11 *b12 *kap *r494 - 3*a11 *b12 *kap *n1 *r6309
239450
314 6 3 5 2 2
+ -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
25
r6404=0
6172649 8 55327798 6 2
r6405=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
598625 1795875
18255541 4 4 2 3 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11 *b12 *kap *n1 *r6309
359175
653 2 6 3 6 2 2
- -----*a11 *b12 *kap *r494)/(b12 *kap *n1 )
75
r6406=0
3 2
- 2*a11 *r494 - 2*a11*b12 *kap*r494
r6407=--------------------------------------
2
b12*kap*n1
r6408=0
r6410=0
r6411=0
r6412=0
r6413=0
4543499 6 18645562 4 2
r6414=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
18973891 2 4 2 107 6 3 3 2
- ----------*a11 *b12 *kap *r494 - -----*b12 *kap *r494)/(a11*b12 *kap
1436700 75
2
*n1 )
r6415=0
r6416=0
r6417=0
r6418=0
2914349 6 32551349 4 2
r6419=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
14663791 2 4 2 64 6 3 4 2 2
- ----------*a11 *b12 *kap *r494 - ----*b12 *kap *r494)/(b12 *kap *n1 )
718350 75
r6420=0
r6421=0
r6422=0
10987673 8 16138686821 6 2
r6423=( - ----------*a11 *r494 + -------------*a11 *b12 *kap*r494
598625 229872000
30377246533 4 4 2 3 3 2 2
+ -------------*a11 *b12 *kap *r494 - 2*a11 *b12 *kap *n1 *r6309
229872000
68051309 2 6 3 5 3 2
+ ----------*a11 *b12 *kap *r494 - a11*b12 *kap *n1 *r6309
1436700
107 8 4 5 2 2
+ -----*b12 *kap *r494)/(a11*b12 *kap *n1 )
25
r6424=0
r6425=0
r6426=0
r6427=0
r6428=0
r6429=0
1285199 6 56545574 4 2
r6430=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1795875
21847291 2 4 2 86 6 3 4 2 2
- ----------*a11 *b12 *kap *r494 + ----*b12 *kap *r494)/(b12 *kap *n1 )
718350 75
r6431=0
5358074 7 279574717 5 2
r6432=(---------*a11 *r494 - -----------*a11 *b12 *kap*r494
598625 7183500
78409789 3 4 2 2 3 2 2
- ----------*a11 *b12 *kap *r494 + 2*a11 *b12 *kap *n1 *r6309
1436700
428 6 3 5 2 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
75
r6433=0
r6434=0
r6435=0
r6436=0
16888797 7 53963823 5 2
r6437=(----------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1197250
8708733 3 4 2 2 3 2 2
- ---------*a11 *b12 *kap *r494 + 3*a11 *b12 *kap *n1 *r6309
119725
314 6 3 5 2 2
- -----*a11*b12 *kap *r494)/(b12 *kap *n1 )
25
r6438=0
r6439=0
r6440=0
4 2 2
- a11 *r494 - a11 *b12 *kap*r494
r6441=-----------------------------------
2 2
b12 *kap*n1
r6442=0
4 2 2 4 2
5*a11 *r494 + 4*a11 *b12 *kap*r494 - b12 *kap *r494
r6443=-----------------------------------------------------
2 2
b12 *kap*n1
r6444=0
r6445=0
4543499 6 16849687 4 2
r6446=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
2394500 1795875
16100491 2 4 2 32 6 3 4 2 2
- ----------*a11 *b12 *kap *r494 - ----*b12 *kap *r494)/(b12 *kap *n1 )
1436700 75
r6447=0
r6448=0
r6449=0
4154318 8 2323117169 6 2
r6450=( - ---------*a11 *r494 + ------------*a11 *b12 *kap*r494
598625 91948800
26417621749 4 4 2 1 3 3 2 2
+ -------------*a11 *b12 *kap *r494 - ---*a11 *b12 *kap *n1 *r6309
459744000 2
39667033 2 6 3 1 5 3 2
+ ----------*a11 *b12 *kap *r494 - ---*a11*b12 *kap *n1 *r6309
1436700 2
353 8 4 6 2 2
+ -----*b12 *kap *r494)/(b12 *kap *n1 )
150
r6451=0
r6452=0
32583 7 176253 5 2
r6453=( - -------*a11 *r494 - --------*a11 *b12 *kap*r494
23945 23945
3 4 2 6 3 5 2 2
- 4*a11 *b12 *kap *r494 + 2*a11*b12 *kap *r494)/(b12 *kap *n1 )
r6454=0
6172649 8 15050391 6 2
r6455=(---------*a11 *r494 - ----------*a11 *b12 *kap*r494
1197250 1197250
17297741 4 4 2 3 3 2 2
- ----------*a11 *b12 *kap *r494 + a11 *b12 *kap *n1 *r6309
718350
439 2 6 3 6 2 2
- -----*a11 *b12 *kap *r494)/(b12 *kap *n1 )
75
r6456=0
5 3 2 4 2
6*a11 *r494 + 4*a11 *b12 *kap*r494 - 2*a11*b12 *kap *r494
r6457=-----------------------------------------------------------
3 2
b12 *kap*n1
r6458=0
r6459=0
r6460=0
6 4 2 2 4 2
2*a11 *r494 + a11 *b12 *kap*r494 - a11 *b12 *kap *r494
r6461=--------------------------------------------------------
4 2
b12 *kap*n1
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, r6309, r494, 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.
{r494,n1,b12,a11}
Relevance for the application:
Modulo the following equation:
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2 2
2*u1 *a11 + 2*u1*v2*b12 + 2*u1*n1 + 2*u2 *a11 - 2*u2*v1*b12 + u3 *a11
HAM=-----------------------------------------------------------------------
2
has apart from the Hamiltonian and Casimirs the following 3 first integrals:
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 8
- 9452336640*a11 *b12 *kap *n1) + u1 *u2*u3*v3*(12345002496*a11 *b12*kap
6 3 2 4 5 3
- 53678345664*a11 *b12 *kap - 75273397440*a11 *b12 *kap
2 7 4 3 7 2
- 7870817280*a11 *b12 *kap ) + u1 *u2*v1*v2*(1480549248*a11 *b12 *kap
5 4 2 3 6 3
- 43427000832*a11 *b12 *kap - 41946798720*a11 *b12 *kap
8 4 3 7
+ 1581519360*a11*b12 *kap ) + u1 *u2*v1*( - 1876780800*a11 *b12*kap*n1
5 3 2 3 5 3
- 18427564800*a11 *b12 *kap *n1 - 13792320000*a11 *b12 *kap *n1
7 4 3 2 8
+ 2758464000*a11*b12 *kap *n1) + u1 *u3 *v2*( - 25315598592*a11 *b12*kap
6 3 2 4 5 3
+ 96832120926*a11 *b12 *kap + 182263479198*a11 *b12 *kap
2 7 4 9 5 3 2
+ 65329256640*a11 *b12 *kap + 5903112960*b12 *kap ) + u1 *u3 *(
8 6 2 2
- 24766459008*a11 *kap*n1 + 109441856202*a11 *b12 *kap *n1
4 4 3 2 6 4
+ 174892391050*a11 *b12 *kap *n1 + 43273967040*a11 *b12 *kap *n1
8 5 3 7 2
+ 3279507200*b12 *kap *n1) + u1 *u3*v1*v3*(3357330048*a11 *b12 *kap
5 4 2 3 6 3
- 24999436032*a11 *b12 *kap - 28154478720*a11 *b12 *kap
8 4 3 2 6 3
- 1176944640*a11*b12 *kap ) + u1 *v1 *v2*(2617055424*a11 *b12 *kap
4 5 2 2 7 3
- 14319791616*a11 *b12 *kap - 18214935360*a11 *b12 *kap
9 4 3 2 6 2
- 1967704320*b12 *kap ) + u1 *v1 *(2617055424*a11 *b12 *kap*n1
4 4 2 2 6 3
- 14319791616*a11 *b12 *kap *n1 - 18214935360*a11 *b12 *kap *n1
8 4
- 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
+ u1 *v2*v3 *( - 2758464000*a11 *b12 *kap - 2758464000*a11 *b12 *kap )
3 4 3 2 2 2 5 3 2
+ u1 *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 2
+ u1 *(5516928000*a11 *b12 *kap *n1 + 5516928000*a11 *b12 *kap *n1 ) + u1
4 9 7 2 2
*u2 *(14221783296*a11 *kap - 42491748864*a11 *b12 *kap
5 4 3 3 6 4 2 3
- 70101277440*a11 *b12 *kap - 12008513280*a11 *b12 *kap ) + u1 *u2
8 6 3 2
*v1*( - 23209455744*a11 *b12*kap + 57723146496*a11 *b12 *kap
4 5 3 2 7 4 2 2
+ 99634988160*a11 *b12 *kap + 17323153920*a11 *b12 *kap ) + u1 *u2
2 9 7 2 2
*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 7 2
- 23023979520*a11*b12 *kap ) + u1 *u2 *v1 *(13481508672*a11 *b12 *kap
5 4 2 3 6 3
- 28364024448*a11 *b12 *kap - 47059030080*a11 *b12 *kap
8 4 2 2 2 7 2
- 5903112960*a11*b12 *kap ) + u1 *u2 *v2 *(20196168768*a11 *b12 *kap
5 4 2 3 6 3
- 86638288512*a11 *b12 *kap - 119918771520*a11 *b12 *kap
8 4 2 2 7
- 13773930240*a11*b12 *kap ) + u1 *u2 *v2*(12345002496*a11 *b12*kap*n1
5 3 2 3 5 3
- 35633393664*a11 *b12 *kap *n1 - 58607677440*a11 *b12 *kap *n1
7 4
- 10629281280*a11*b12 *kap *n1)
2 2 2 5 4 2 3 6 3
+ u1 *u2 *v3 *( - 3448080000*a11 *b12 *kap - 2758464000*a11 *b12 *kap ) +
2 2 7 2 5 2 2 2
u1 *u2 *(4691952000*a11 *kap*n1 - 16918314720*a11 *b12 *kap *n1
3 4 3 2 6 4 2
- 29425914720*a11 *b12 *kap *n1 - 7815648000*a11*b12 *kap *n1 ) +
2 2 8 6 3 2
u1 *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 7 2
- 5903112960*b12 *kap ) + u1 *u2*u3*v2*v3*(28047335040*a11 *b12 *kap
5 4 2 3 6 3
- 131666511360*a11 *b12 *kap - 176632425600*a11 *b12 *kap
8 4 2 7
- 16918579200*a11*b12 *kap ) + u1 *u2*u3*v3*(28047335040*a11 *b12*kap*n1
5 3 2 3 5 3
- 129827535360*a11 *b12 *kap *n1 - 176632425600*a11 *b12 *kap *n1
7 4 2 3 6 3
- 17378323200*a11*b12 *kap *n1) + u1 *u2*v1 *( - 4493836224*a11 *b12 *kap
4 5 2 2 7 3
+ 12443010816*a11 *b12 *kap + 18214935360*a11 *b12 *kap
9 4 2 2 6 3
+ 1967704320*b12 *kap ) + u1 *u2*v1*v2 *(3357330048*a11 *b12 *kap
4 5 2 2 7 3
- 30516364032*a11 *b12 *kap - 36429870720*a11 *b12 *kap
9 4 2 6 2
- 3935408640*b12 *kap ) + u1 *u2*v1*v2*(3357330048*a11 *b12 *kap*n1
4 4 2 2 6 3
- 41550220032*a11 *b12 *kap *n1 - 47463726720*a11 *b12 *kap *n1
8 4
- 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
u1 *u2*v1
4 3 2 2 2 5 3 2 2
*( - 11033856000*a11 *b12 *kap *n1 - 11033856000*a11 *b12 *kap *n1 ) + u1
4 9 7 2 2
*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 7 2
- 6528364800*a11*b12 *kap ) + u1 *u3 *v1 *(1819440288*a11 *b12 *kap
5 4 2 3 6 3
+ 6839783808*a11 *b12 *kap + 7268491680*a11 *b12 *kap
8 4 2 2 2 7 2
+ 1903340160*a11*b12 *kap ) + u1 *u3 *v2 *( - 22385746368*a11 *b12 *kap
5 4 2 3 6 3
+ 91547158272*a11 *b12 *kap + 126557474880*a11 *b12 *kap
8 4 2 2 7
+ 11934954240*a11*b12 *kap ) + u1 *u3 *v2*( - 44688057984*a11 *b12*kap*n1
5 3 2 3 5 3
+ 207799097376*a11 *b12 *kap *n1 + 283970424480*a11 *b12 *kap *n1
7 4 2 2 2 5 4 2
+ 30104037120*a11*b12 *kap *n1) - 689616000*u1 *u3 *v3 *a11 *b12 *kap +
2 2 7 2 5 2 2 2
u1 *u3 *( - 24022694016*a11 *kap*n1 + 117146350704*a11 *b12 *kap *n1
3 4 3 2 6 4 2
+ 157958895600*a11 *b12 *kap *n1 + 16100234880*a11*b12 *kap *n1 )
2 6 3 4 5 2
+ u1 *u3*v1*v2*v3*(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 2
+ u1 *v1 *v3 *(1379232000*a11 *b12 *kap + 1379232000*a11*b12 *kap ) + u1
2 7 2 5 2 2
*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 ) +
2 6 2 4 3 2 2
u1*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
+ 1379232000*u1*u2*v1*v2*a11*b12 *kap *n1
2 3 5 2 7 3
+ u1*u2*v1*v3 *(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 2 2
+ 159107106240*a11 *b12 *kap *n1 + 17709338880*b12 *kap *n1 ) + u1*u3 *v3
4 4 2 2 6 3 2
*( - 1379232000*a11 *b12 *kap *n1 - 1379232000*a11 *b12 *kap *n1) + u1*u3 *(
6 3 4 2 2 3
- 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 7 2
+ 5903112960*b12 *kap ) + u2 *u3*v2*v3*(21332674944*a11 *b12 *kap
5 4 2 3 6 3
- 72013015296*a11 *b12 *kap - 102393452160*a11 *b12 *kap
8 4 3 7
- 9047761920*a11*b12 *kap ) + u2 *u3*v3*(15702332544*a11 *b12*kap*n1
5 3 2 3 5 3
- 77183613696*a11 *b12 *kap *n1 - 103772684160*a11 *b12 *kap *n1
7 4 3 3 6 3
- 9507505920*a11*b12 *kap *n1) + u2 *v1 *( - 7110891648*a11 *b12 *kap
4 5 2 2 7 3
+ 26762802432*a11 *b12 *kap + 36429870720*a11 *b12 *kap
9 4 3 2 6 3
+ 3935408640*b12 *kap ) + u2 *v1*v2 *( - 9727947072*a11 *b12 *kap
4 5 2 2 7 3
+ 41082594048*a11 *b12 *kap + 54644806080*a11 *b12 *kap
9 4
+ 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 3
+ u2 *v1*v3 *(4137696000*a11 *b12 *kap + 2758464000*a11 *b12 *kap ) + u2
6 2 4 3 2 2
*v1*(7851166272*a11 *b12*kap*n1 - 38132062848*a11 *b12 *kap *n1
2 5 3 2 7 4 2 2 4
- 50507110080*a11 *b12 *kap *n1 - 5903112960*b12 *kap *n1 ) + u2 *u3 *
9 7 2 2
(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 ) +
2 6 2 4 3 2 2
u2*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
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
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=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=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**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$