Solution 9 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2
0=4*a23 + b12 *kap
Expressions
The solution is given through the following expressions:
112 6 32 5 2 128 4 2
r60=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 45
1 5 4 29 6 3 5 5
- ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
18 60
r61=0
112 6 32 5 2 128 4 2
r62=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r63=0
112 6 32 5 2 128 4 2
r64=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r65=0
112 6 32 5 2 128 4 2
r66=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 45
1 5 4 29 6 3 5 5
- ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
18 60
r67=0
r68=0
r69=0
r610=0
r611=0
r612=0
112 6 32 5 2 128 4 2
r613=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r614=0
224 6 64 5 2 256 4 2
r615=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
20 3 3 3 34 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
3 10
r616=0
112 6 32 5 2 128 4 2
r617=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r618=0
r619=0
r620=0
r621=0
112 6 32 5 2 128 4 2
r622=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r623=0
112 6 32 5 2 128 4 2
r624=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3 5 5
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
r625=0
r626=0
112 6 32 5 2 128 4 2
r627=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 45
1 5 4 29 6 3 5 5
- ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
18 60
1
---*b12*r6276
4
r628=---------------
a23
r629=0
1
---*b12*r6276
2
r630=---------------
a23
r631=0
1
---*b12*r6276
4
r632=---------------
a23
r633=0
448 6 128 5 2 512 4 2
r634=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
r635=0
896 6 256 5 2 1024 4 2
r636=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
r637=0
448 6 128 5 2 512 4 2
r638=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
1
---*b12*r6276
2
r639=---------------
a23
r640=0
1
---*b12*r6276
2
r641=---------------
a23
r642=0
896 6 256 5 2 1024 4 2
r643=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
r644=0
896 6 256 5 2 1024 4 2
r645=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
1
---*b12*r6276
4
r646=---------------
a23
r647=0
448 6 128 5 2 512 4 2
r648=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3 6 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
9 15
112 6 32 5 2 44 4 2
r649=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 3 3 107 2 4 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
1 5 4 1 6 4 37 6 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/(
9 8 60
5 4
a23*b12 *kap )
r650=0
224 6 64 5 2 88 4 2
r651=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
28 3 3 3 214 2 4 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
13 5 4 1 6 4 37 6 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/
18 4 30
5 4
(a23*b12 *kap )
r652=0
112 6 32 5 2 44 4 2
r653=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 3 3 107 2 4 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
11 5 4 1 6 4 37 6 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/
18 8 60
5 4
(a23*b12 *kap )
r654= - r6276
r655=0
r656= - r6276
r657=0
224 6 64 5 2 76 4 2
r658=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 3 3 13 2 4 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
5
1 5 4 1 6 4 41 6 3
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/(
6 4 30
5 4
a23*b12 *kap )
r659=0
224 6 64 5 2 76 4 2
r660=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 3 3 13 2 4 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
5
1 5 4 1 6 4 41 6 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/(
3 4 30
5 4
a23*b12 *kap )
r661= - r6276
r662=0
448 8 128 7 2 80 6 2
r663=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
45 9 9
8 5 3 3 196 4 4 2
- ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
8 3 5 4 20 2 6 3
+ ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 9
1 7 5 1 8 5 11 8 4
+ ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 + ----*b12 *kap *r6456)/
18 8 60
7 5
(a23*b12 *kap )
1 2 1 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r664=--------------------------------------
a23*b12
r665=0
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 972
r666=-----------------------------------------------------------------------
3
a23*b12 *kap
r667=0
112 4 32 3 2 28 2 2
r668=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 3 28 4 2 4
+ ---*a23*b12 *kap *r6115 - b12 *kap *r6248 + ----*b12 *kap *r6456)/(b12
3 15
3
*kap )
r669=0
r670= - r6248
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r671=--------------------------------------
a23*b12
r672=0
r673= - r6248
7952 8 2272 7 2
r674=( - ------*a23 *r6456 - ------*a23 *b12*kap *r6115
2025 405
3992 6 2 22 5 3 3
- ------*a23 *b12 *kap*r6456 + ----*a23 *b12 *kap *r6115
675 15
46 4 4 3 1 4 4 3
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
1532 4 4 2 23 3 5 4
- ------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 270
1 2 6 4 1 2 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
36 60
163 2 6 3 107 7 5
- ------*a23 *b12 *kap *r6456 - ------*a23*b12 *kap *r6115
4050 3240
1 8 5 7 8 4 3 5 3
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6456)/(a23 *b12 *kap )
180 900
r675=0
2912 8 832 7 2
r676=( - ------*a23 *r6456 - -----*a23 *b12*kap *r6115
2025 405
6152 6 2 244 5 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
675 45
76 4 4 3 1 4 4 3
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
6437 4 4 2 367 3 5 4
- ------*a23 *b12 *kap *r6456 - -----*a23 *b12 *kap *r6115
675 270
7 2 6 4 1 2 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
36 60
6553 2 6 3 107 7 5
- ------*a23 *b12 *kap *r6456 - ------*a23*b12 *kap *r6115
4050 3240
1 8 5 7 8 4 3 5 3
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6456)/(a23 *b12 *kap )
180 900
r677= - kap*r6276
r678=0
17248 8 4928 7 2
r679=(-------*a23 *r6456 + ------*a23 *b12*kap *r6115
2025 405
1348 6 2 196 5 3 3
+ ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6115
675 45
166 4 4 3 1 4 4 3
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
5882 4 4 2 53 3 5 4
- ------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 270
7 2 6 4 1 2 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
36 60
3853 2 6 3 107 7 5
- ------*a23 *b12 *kap *r6456 - ------*a23*b12 *kap *r6115
4050 3240
1 8 5 7 8 4 3 5 3
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6456)/(a23 *b12 *kap )
180 900
16 4 7 2 2 1 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
9 9 18
r680=---------------------------------------------------------------------
3
a23*b12
r681=0
1792 8 512 7 2
r682=( - ------*a23 *r6456 - -----*a23 *b12*kap *r6115
675 135
2608 6 2 352 5 3 3
+ ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
225 45
104 4 4 3 4 4 4 3
- -----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6308
15 5
392 4 4 2 2 3 5 4
+ -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
25 15
2 6 4 1 2 6 4
- a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6308
5
356 2 6 3 107 7 5
+ -----*a23 *b12 *kap *r6456 + -----*a23*b12 *kap *r6115
675 270
1 8 5 7 8 4 2 6 3
- ----*b12 *kap *r6248 + ----*b12 *kap *r6456)/(a23 *b12 *kap )
15 75
224 10 320 9 2
r683=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
81 81
27448 8 2 1028 7 3 3
- -------*a23 *b12 *kap*r6456 - ------*a23 *b12 *kap *r6115
2025 405
32 6 4 3 6898 6 4 2
+ ----*a23 *b12 *kap *r6248 - ------*a23 *b12 *kap *r6456
9 675
46 5 5 4 4 4 6 4
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6248
45 45
1 4 6 4 4217 4 6 3
- ----*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
15 4050
43 3 7 5 7 2 8 5
- ------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
1620 72
1 2 8 5 464 2 8 4
- ----*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
60 2025
107 9 6 1 10 6
+ ------*a23*b12 *kap *r6115 - -----*b12 *kap *r6248
3240 180
7 10 5 3 7 3
+ -----*b12 *kap *r6456)/(a23 *b12 *kap )
900
r684=0
1
---*b12*r6276
4
r685=---------------
a23
r686=0
1
---*b12*r6276
2
r687=---------------
a23
r688=0
1
---*b12*r6276
4
r689=---------------
a23
1
- ---*b12*r6362
4
r690=------------------
a23*kap
r691=0
1
- ---*b12*r6362
2
r692=------------------
a23*kap
r693=0
1
- ---*b12*r6362
4
r694=------------------
a23*kap
r695=0
1
---*b12*r6276
2
r696=---------------
a23
r697=0
1
---*b12*r6276
2
r698=---------------
a23
1
- ---*b12*r6362
2
r699=------------------
a23*kap
r6100=0
1
- ---*b12*r6362
2
r6101=------------------
a23*kap
r6102=0
1
---*b12*r6276
4
r6103=---------------
a23
1
- ---*b12*r6362
4
r6104=------------------
a23*kap
1
---*r6362
2
r6105=-----------
kap
r6106=r6115
r6362
r6107=-------
kap
r6108=r6115
1
---*r6362
2
r6109=-----------
kap
1
---*b12*r6251
4
r6110=---------------
a23
r6111= - r6276
1
---*b12*r6251
4
r6112=---------------
a23
r6113= - r6276
2*r6362
r6114=---------
kap
2*r6362
r6116=---------
kap
1
---*b12*r6251
4
r6117=---------------
a23
r6118= - r6276
3
---*r6362
2
r6119=-----------
kap
1
r6120= - ---*r6251
2
32 4 2249 2 2 2321 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + ------*b12 *kap *r6276
27 243 972
r6121=--------------------------------------------------------------------------
3
a23*b12 *kap
1
r6122= - ---*r6251
2
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 972
r6123=-----------------------------------------------------------------------
3
a23*b12 *kap
7 2 1 2
- ---*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6124=-----------------------------------------
a23*b12*kap
224 4 64 3 2 56 2 2
r6125=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 56 4 2 4 3
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(b12 *kap )
3 15
533 4 127 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
60 16 240
r6126=-------------------------------------------------------------------------
3
a23 *b12*kap
3
r6127= - ---*r6251
2
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r6128=--------------------------------------
a23*b12
11 2 5 2
- ----*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6129=------------------------------------------
a23*b12*kap
2 2 1 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 6
r6130=-------------------------------------
2
b12 *kap
224 6 64 5 2 32 4 2
r6131=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 5
124 3 3 3 4 2 4 3
+ -----*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248
9 3
218 2 4 2 26 5 4
+ -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115
15 9
1 6 4 142 6 3 5 3
- ---*b12 *kap *r6248 + -----*b12 *kap *r6456)/(a23*b12 *kap )
3 45
413 4 127 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
30 8 120
r6132=----------------------------------------------------------------------
2 2
a23 *b12 *kap
4 2 5 2
---*a23 *r6251 - ----*b12 *kap*r6251
3 12
r6133=--------------------------------------
a23*b12
r6134= - kap*r6276
10 2 11 2
----*a23 *r6362 + ----*b12 *kap*r6362
3 6
r6135=---------------------------------------
2
b12 *kap
4 2 5 2
---*a23 *r6251 + ---*b12 *kap*r6251
3 6
r6136=-------------------------------------
2
b12
16 4 7 2 2 1 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
9 9 18
r6137=---------------------------------------------------------------------
3
a23*b12
16 4 25 2 2 1 4 2
----*a23 *r6362 - ----*a23 *b12 *kap*r6362 - ----*b12 *kap *r6362
9 9 18
r6138=-------------------------------------------------------------------
3
a23*b12 *kap
32 4 14 2 2 1 4 2
- ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
9 9 9
r6139=---------------------------------------------------------------------
4
b12 *kap
448 8 128 7 2 544 6 2
r6140=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 148 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
5
34 3 5 4 133 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 7 5 1 8 4 7 5
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
9 12
r6141=0
896 8 256 7 2
r6142=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1696 6 2 272 5 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
632 4 4 2 64 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
45 9
92 2 6 3 1 7 5
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
15 6
29 8 4 7 5
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
10
r6143=0
448 8 128 7 2
r6144=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
848 6 2 136 5 3 3
- -----*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
316 4 4 2 32 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
45 9
46 2 6 3 1 7 5
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
15 3
29 8 4 7 5
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
20
r6145=0
1
---*b12*r6251
4
r6146=---------------
a23
r6147=0
1
---*b12*r6251
4
r6148=---------------
a23
896 8 256 7 2
r6149=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1696 6 2 272 5 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
548 4 4 2 40 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
45 9
39 2 6 3 1 7 5
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
5 3
1 8 5 27 8 4 7 5
+ ---*b12 *kap *r6308 + ----*b12 *kap *r6456)/(a23*b12 *kap )
4 10
r6150=0
896 8 256 7 2
r6151=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1696 6 2 272 5 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
548 4 4 2 40 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
45 9
39 2 6 3 5 7 5
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
5 6
1 8 5 27 8 4 7 5
+ ---*b12 *kap *r6308 + ----*b12 *kap *r6456)/(a23*b12 *kap )
4 10
r6152=0
1
---*b12*r6251
4
r6153=---------------
a23
448 8 128 7 2
r6154=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
848 6 2 136 5 3 3
- -----*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
232 4 4 2 8 3 5 4
- -----*a23 *b12 *kap *r6456 - ---*a23 *b12 *kap *r6115
45 9
71 2 6 3 1 7 5
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
15 2
1 8 5 5 8 4 7 5
+ ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/(a23*b12 *kap )
4 4
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6155=---------------------------------
a23*b12
1
r6156= - ---*r6251
2
16 4 1165 2 2 641 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 162
r6157=-------------------------------------------------------------------------
3
a23*b12 *kap
1
r6158= - ---*r6251
2
224 4 64 3 2 56 2 2
r6159=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
16 3 3 4 3 56 4 2
- ----*a23*b12 *kap *r6115 - b12 *kap *r6308 - ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
131 4 377 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
10 24 120
r6160=----------------------------------------------------------------------
3
a23 *b12*kap
112 4 32 3 2 28 2 2
r6161=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
14 3 3 4 3 28 4 2
- ----*a23*b12 *kap *r6115 - b12 *kap *r6308 - ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
16 4 1327 2 2 803 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 486
r6162=-------------------------------------------------------------------------
3
a23*b12 *kap
3
r6163= - ---*r6251
2
3584 8 1024 7 2
r6164=( - ------*a23 *r6456 - ------*a23 *b12*kap *r6115
45 9
512 6 2 448 5 3 3
- -----*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
3 3
1408 4 4 2 176 3 5 4
- ------*a23 *b12 *kap *r6456 - -----*a23 *b12 *kap *r6115
15 3
32 2 6 3 64 7 5
+ ----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115
9 9
8 5 32 8 4 8 5
- 2*b12 *kap *r6308 + ----*b12 *kap *r6456)/(b12 *kap )
5
112 6 160 5 2 388 4 2
r6165=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 45
14 3 3 3 2 4 3
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6248
9
2 4 3 50 2 4 2
+ a23 *b12 *kap *r6308 - ----*a23 *b12 *kap *r6456
9
13 5 4 1 6 4 37 6 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456)
18 4 30
5 3
/(a23*b12 *kap )
131 4 377 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
5 12 60
r6166=-------------------------------------------------------------------------
2 2
a23 *b12 *kap
784 6 224 5 2 952 4 2
r6167=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
82 3 3 3 1 2 4 3
+ ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248
9 3
2 4 3 161 2 4 2
+ a23 *b12 *kap *r6308 + -----*a23 *b12 *kap *r6456
45
2 5 4 1 6 4 31 6 3
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6248 + ----*b12 *kap *r6456)
9 12 90
5 3
/(a23*b12 *kap )
128 4 9320 2 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 243
r6168=------------------------------------------------------------------------
4
b12 *kap
4 2 5 2
---*a23 *r6251 - ----*b12 *kap*r6251
3 12
r6169=--------------------------------------
a23*b12
1232 6 352 5 2 176 4 2
r6170=(------*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 9
122 3 3 3 1 2 4 3
+ -----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248
9 3
2 4 3 427 2 4 2
+ 6*a23 *b12 *kap *r6308 - -----*a23 *b12 *kap *r6456
45
17 5 4 1 6 4 1 6 3
+ ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6248 - ---*b12 *kap *r6456)
18 12 6
5 3
/(a23*b12 *kap )
128 6 8816 4 2
r6171=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
27 243
1480 2 4 2 1039 6 3 5
+ ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23*b12 *kap)
243 972
4 2 5 2
---*a23 *r6251 + ---*b12 *kap*r6251
3 6
r6172=-------------------------------------
2
b12
448 6 128 5 2
r6173=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
15 3
2432 4 2 184 3 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 3
4 2 4 3 2 4 3
+ ---*a23 *b12 *kap *r6248 - 8*a23 *b12 *kap *r6308
3
1516 2 4 2 38 5 4
- ------*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115
45 3
1 6 4 518 6 3 6 3
+ ---*b12 *kap *r6248 - -----*b12 *kap *r6456)/(b12 *kap )
3 45
21952 10 6272 9 2
r6174=(-------*a23 *r6456 + ------*a23 *b12*kap *r6115
675 135
153616 8 2 29336 7 3 3
+ --------*a23 *b12 *kap*r6456 + -------*a23 *b12 *kap *r6115
2025 405
16 6 4 3 24 6 4 3
- ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
15 5
33604 6 4 2 392 5 5 4
+ -------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 45
31 4 6 4 4 4 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
3707 4 6 3 79 3 7 5
+ ------*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
675 45
47 2 8 5 1 2 8 5
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
180 60
6931 2 8 4 107 9 6
- ------*a23 *b12 *kap *r6456 - ------*a23*b12 *kap *r6115
4050 3240
1 10 6 7 10 5 3 7 3
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6456)/(a23 *b12 *kap )
180 900
r6175=0
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6176=---------------------------------
a23*b12
r6177=0
16 4 1327 2 2 803 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 486
r6178=-------------------------------------------------------------------------
3
a23*b12 *kap
2 1 2
- a23 *r6362 - ---*b12 *kap*r6362
2
r6179=------------------------------------
a23*b12*kap
r6180=0
111 4 353 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
20 48 240
r6181=----------------------------------------------------------------------
3
a23 *b12*kap
r6182=0
16 4 1327 2 2 803 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 486
r6183=-------------------------------------------------------------------------
3
a23*b12 *kap
111 4 353 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
20 48 240
r6184=----------------------------------------------------------------------
3
a23 *b12*kap
2 2
2*a23 *r6362 + b12 *kap*r6362
r6185=-------------------------------
2
b12 *kap
224 5 64 4 2 56 3 2
r6186=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
4 2 3 3 56 4 2 5 4
- ---*a23 *b12 *kap *r6115 - ----*a23*b12 *kap *r6456 + b12 *kap *r6115)
3 15
5 3
/(b12 *kap )
111 4 353 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
10 24 120
r6187=-------------------------------------------------------------------------
2 2
a23 *b12 *kap
r6188=0
128 4 9320 2 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 243
r6189=------------------------------------------------------------------------
4
b12 *kap
365 4 607 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
6 8 24
r6190=-------------------------------------------------------------------------
2 2
a23 *b12 *kap
4 2 1 2
- ---*a23 *r6251 - ---*b12 *kap*r6251
3 3
r6191=----------------------------------------
2
b12
128 6 8816 4 2
r6192=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
27 243
1480 2 4 2 1039 6 3 5
+ ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23*b12 *kap)
243 972
2278 6 10637 4 2
r6193=(------*a23 *r6362 + -------*a23 *b12 *kap*r6362
15 60
2349 2 4 2 373 6 3 3 3
+ ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362)/(a23 *b12 *kap)
80 240
524 6 1099 4 2
r6194=( - -----*a23 *r6362 - ------*a23 *b12 *kap*r6362
5 10
1079 2 4 2 373 6 3 2 4
- ------*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362)/(a23 *b12 *kap)
120 120
448 8 128 7 2 544 6 2
r6195=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 464 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
34 3 5 4 193 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 7 5 1 8 4 7 4
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
9 12
r6196=0
448 8 128 7 2 144 6 2
r6197=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 5
88 5 3 3 108 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 5
32 3 5 4 109 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
19 7 5 1 8 4 7 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
18 12
r6198=0
r6199=0
448 8 128 7 2 544 6 2
r6200=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 452 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
3 5 4 2 6 4
+ 14*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
148 2 6 3 11 7 5
+ -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115
45 9
1 8 5 17 8 4 7 4
+ ---*b12 *kap *r6308 - ----*b12 *kap *r6456)/(a23*b12 *kap )
4 60
4 4 2 2 5 4 2
- ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6201=------------------------------------------------------------------
3
a23*b12
4 2 1 2
- ---*a23 *r6251 - ---*b12 *kap*r6251
3 3
r6202=----------------------------------------
2
b12
23296 6 6656 5 2
r6203=(-------*a23 *r6456 + ------*a23 *b12*kap *r6115
45 9
31552 4 2 1888 3 3 3
+ -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6115
45 9
2 4 3 8864 2 4 2
- 4*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
45
56 5 4 6 4 563 6 3
+ ----*a23*b12 *kap *r6115 - b12 *kap *r6308 + -----*b12 *kap *r6456)/(
9 45
6 3
b12 *kap )
11648 8 3328 7 2
r6204=( - -------*a23 *r6456 - ------*a23 *b12*kap *r6115
45 9
16112 6 2 280 5 3 3
- -------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 3
10 4 4 3 4 4 3
+ ----*a23 *b12 *kap *r6248 + 4*a23 *b12 *kap *r6308
3
4948 4 4 2 8 3 5 4
- ------*a23 *b12 *kap *r6456 - ---*a23 *b12 *kap *r6115
45 3
4 2 6 4 2 6 4
+ ---*a23 *b12 *kap *r6248 + a23 *b12 *kap *r6308
3
478 2 6 3 11 7 5
- -----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115
45 18
1 8 5 37 8 4 7 3
+ ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/(a23*b12 *kap )
8 60
r6205=0
4 4 2 2 5 4 2
- ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6206=------------------------------------------------------------------
3
a23*b12
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362
3 12
r6207=--------------------------------------
a23*b12
32 4 2 2 11 4 2
----*a23 *r6362 + 2*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362
15 30
r6208=----------------------------------------------------------------
4
b12 *kap
448 8 128 7 2 544 6 2
r6209=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
135 27 45
40 5 3 3 464 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
34 3 5 4 238 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
5 7 5 1 8 4 7 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
27 36
448 6 128 5 2
r6210=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
512 4 2 40 3 3 3
- -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
68 2 4 2 2 5 4
+ ----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
29 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
4
r6211=---------------
a23*kap
896 6 256 5 2
r6212=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1024 4 2 80 3 3 3
- ------*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
136 2 4 2 4 5 4
+ -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
58 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
2
r6213=---------------
a23*kap
448 6 128 5 2
r6214=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
512 4 2 40 3 3 3
- -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
68 2 4 2 2 5 4
+ ----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
29 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
4
r6215=---------------
a23*kap
1
---*b12*r6276
4
r6216=---------------
a23
r6217=0
1
---*b12*r6276
2
r6218=---------------
a23
r6219=0
1
---*b12*r6276
4
r6220=---------------
a23
896 6 256 5 2
r6221=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1024 4 2 80 3 3 3
- ------*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
136 2 4 2 4 5 4
+ -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
58 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
2
r6222=---------------
a23*kap
896 6 256 5 2
r6223=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1024 4 2 80 3 3 3
- ------*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
136 2 4 2 4 5 4
+ -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
58 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
2
r6224=---------------
a23*kap
1
---*b12*r6276
2
r6225=---------------
a23
r6226=0
1
---*b12*r6276
2
r6227=---------------
a23
448 6 128 5 2
r6228=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
512 4 2 40 3 3 3
- -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
68 2 4 2 2 5 4
+ ----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
29 6 3 6 5
+ ----*b12 *kap *r6456)/(b12 *kap )
15
1
---*b12*r6362
4
r6229=---------------
a23*kap
1
---*b12*r6276
4
r6230=---------------
a23
r6231=r6276
1
- ---*b12*r6251
4
r6232=------------------
a23
r6233=r6276
1
- ---*b12*r6251
4
r6234=------------------
a23
r6235=0
896 6 256 5 2
r6236=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1192 4 2 128 3 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
194 2 4 2 7 5 4
- -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
4 6 3 5 4
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
15
- r6362
r6237=----------
kap
896 6 256 5 2
r6238=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1192 4 2 128 3 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
194 2 4 2 7 5 4
- -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
45 9
4 6 3 5 4
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
15
- r6362
r6239=----------
kap
r6240=0
1
- ---*b12*r6251
4
r6241=------------------
a23
r6242= - r6276
1792 8 512 7 2
r6243=(------*a23 *r6456 + -----*a23 *b12*kap *r6115
45 9
2944 6 2 416 5 3 3
+ ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6115
45 9
584 4 4 2 40 3 5 4
+ -----*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
45 9
634 2 6 3 1 7 5
- -----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115
45 9
52 8 4 7 5
- ----*b12 *kap *r6456)/(a23*b12 *kap )
15
- r6362
r6244=----------
kap
r6245= - r6276
112 4 32 3 2 28 2 2
r6246=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 3 28 4 2
- ---*a23*b12 *kap *r6115 + b12 *kap *r6248 - ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362
3 12
r6247=--------------------------------------
a23*b12*kap
413 4 127 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
60 16 240
r6249=----------------------------------------------------------------------
3
a23 *b12*kap
7 2 7 2
- ---*a23 *r6276 - ----*b12 *kap*r6276
3 12
r6250=-----------------------------------------
a23*b12
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 972
r6252=-----------------------------------------------------------------------
3
a23*b12 *kap
224 4 64 3 2 56 2 2
r6253=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 4 3 56 4 2
+ ---*a23*b12 *kap *r6115 + b12 *kap *r6248 + ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
5 2 5 2
---*a23 *r6362 + ----*b12 *kap*r6362
3 12
r6254=--------------------------------------
a23*b12*kap
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r6255=--------------------------------------
a23*b12
r6256=kap*r6276
2 2 5 2
---*a23 *r6251 + ----*b12 *kap*r6251
3 12
r6257=--------------------------------------
a23*b12
r6258=0
224 6 320 5 2
r6259=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
9 9
712 4 2 52 3 3 3
- -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
45 9
16 2 4 3 116 2 4 2
- ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6456
3 9
2 5 4 1 6 4 82 6 3
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6248 + ----*b12 *kap *r6456)/
9 3 45
5 3
(a23*b12 *kap )
r6260= - r6362
r6261= - kap*r6276
1792 8 512 7 2
r6262=(------*a23 *r6456 + -----*a23 *b12*kap *r6115
675 135
2608 6 2 352 5 3 3
- ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6115
225 45
104 4 4 3 4 4 4 3
+ -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6308
15 5
392 4 4 2 2 3 5 4
- -----*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
25 15
2 6 4 1 2 6 4
+ a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6308
5
356 2 6 3 107 7 5
- -----*a23 *b12 *kap *r6456 - -----*a23*b12 *kap *r6115
675 270
1 8 5 7 8 4 2 6 3
+ ----*b12 *kap *r6248 - ----*b12 *kap *r6456)/(a23 *b12 *kap )
15 75
16 4 7 2 2 1 4 2
- ----*a23 *r6362 + ---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362
9 9 18
r6263=---------------------------------------------------------------------
3
a23*b12 *kap
16 4 7 2 2 1 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
9 9 18
r6264=---------------------------------------------------------------------
3
a23*b12
r6265=0
r6266=0
r6267=r6276
1
- ---*b12*r6251
4
r6268=------------------
a23
r6269=r6276
1
- ---*b12*r6251
4
r6270=------------------
a23
- r6362
r6271=----------
kap
56 4 16 3 2 10 2 2
r6272=( - ----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/(
3 2 5
3 3
a23*b12 *kap )
- r6362
r6273=----------
kap
56 4 16 3 2 10 2 2
r6274=( - ----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/(
3 2 5
3 3
a23*b12 *kap )
1
---*b12*r6251
4
r6275=---------------
a23
r6277=0
- r6362
r6278=----------
kap
56 4 16 3 2 10 2 2
r6279=( - ----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/(
3 2 5
3 3
a23*b12 *kap )
1
---*b12*r6251
4
r6280=---------------
a23
2*a23*r6362
r6281=-------------
b12*kap
8 2 2 2 2
r6282=( - ---*a23 *r6456 + 4*a23*b12*kap *r6115 + b12 *kap *r6308
3
8 2 2 2
- ---*b12 *kap*r6456)/(b12 *kap )
3
111 4 377 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
10 24 120
r6283=-------------------------------------------------------------------------
3
a23 *b12*kap
224 4 64 3 2 2 2
r6284=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + 16*a23 *b12 *kap*r6456
15 3
16 3 3 4 3 16 4 2
+ ----*a23*b12 *kap *r6115 + b12 *kap *r6308 + ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
1
r6285=---*r6251
2
32 4 1520 2 2 398 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 243
r6286=-------------------------------------------------------------------------
3
a23*b12 *kap
1
r6287=---*r6251
2
14 2 2 2
----*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6288=--------------------------------------
a23*b12*kap
448 4 128 3 2 88 2 2
r6289=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
20 3 3 4 3 8 4 2
+ ----*a23*b12 *kap *r6115 + 3*b12 *kap *r6308 - ----*b12 *kap *r6456)/(
3 15
4 3
b12 *kap )
3
r6290= - ---*r6251
2
- 2*a23*r6251
r6291=----------------
b12
r6292
128 4 8672 2 2 2483 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + ------*b12 *kap *r6276
27 243 243
=---------------------------------------------------------------------------
4
b12 *kap
2 2 5 2
---*a23 *r6251 + ----*b12 *kap*r6251
3 12
r6293=--------------------------------------
a23*b12
16 2 7 2
- ----*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6294=-----------------------------------------
2
b12 *kap
856 4 16 3 2 2 2 2
r6295=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - 6*a23 *b12 *kap *r6308
45 3
178 2 2 1 3 3
+ -----*a23 *b12 *kap*r6456 + ---*a23*b12 *kap *r6115
9 3
34 4 2 3 2
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
45
4 2 5 2
---*a23 *r6251 - ----*b12 *kap*r6251
3 12
r6296=--------------------------------------
a23*b12
2*a23*r6362
r6297=-------------
b12
448 6 128 5 2 800 4 2
r6298=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 9
200 3 3 3 2 4 3
+ -----*a23 *b12 *kap *r6115 - 8*a23 *b12 *kap *r6248
3
2 4 3 3356 2 4 2
+ 4*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
45
5 4 6 4 140 6 3
+ 14*a23*b12 *kap *r6115 - 2*b12 *kap *r6248 + -----*b12 *kap *r6456)/(
9
6 3
b12 *kap )
4 2 5 2
---*a23 *r6251 + ---*b12 *kap*r6251
3 6
r6299=-------------------------------------
2
b12
r6300=0
8 2 8 2
---*a23 *r6456 + ---*b12 *kap*r6456
3 3
r6301=-------------------------------------
2 2
b12 *kap
2 1 2
a23 *r6362 + ---*b12 *kap*r6362
2
r6302=---------------------------------
a23*b12*kap
112 4 32 3 2 20 2 2
r6303=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2 4 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6456)/(b12 *kap )
3 5
111 4 353 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
20 48 240
r6304=-------------------------------------------------------------------------
3
a23 *b12*kap
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6305=---------------------------------
a23*b12
r6306=r6251
16 4 1327 2 2 803 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 486
r6307=-------------------------------------------------------------------------
3
a23*b12 *kap
111 4 353 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
20 48 240
r6309=-------------------------------------------------------------------------
3
a23 *b12*kap
16 4 1327 2 2 803 4 2
- ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
27 243 486
r6310=-------------------------------------------------------------------------
3
a23*b12 *kap
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6311=-------------------------------------
2
b12
- 2*a23*r6251
r6312=----------------
b12
r6313
128 4 8672 2 2 2240 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + ------*b12 *kap *r6276
27 243 243
=---------------------------------------------------------------------------
4
b12 *kap
1568 6 448 5 2
r6314=( - ------*a23 *r6456 - -----*a23 *b12*kap *r6115
45 9
1552 4 2 140 3 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
2 4 3 118 2 4 2
- 4*a23 *b12 *kap *r6308 + -----*a23 *b12 *kap *r6456
45
7 5 4 4 6 3 5 3
- ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
9 15
1532 4 2 2 373 4 2
------*a23 *r6362 + 124*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
15 15
r6315=---------------------------------------------------------------------
2 2
a23 *b12 *kap
128 4 9320 2 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276
27 243 243
r6316=------------------------------------------------------------------------
4
b12 *kap
1568 4 16 3 2
r6317=( - ------*a23 *r6456 - ----*a23 *b12*kap *r6115
45 3
20 2 2 2 2 2 2
+ ----*a23 *b12 *kap *r6248 + 4*a23 *b12 *kap *r6308
3
368 2 2 4 3 3
- -----*a23 *b12 *kap*r6456 - ---*a23*b12 *kap *r6115
9 3
5 4 3 182 4 2 4 2
+ ---*b12 *kap *r6248 - -----*b12 *kap *r6456)/(b12 *kap )
3 45
786 6 10837 4 2
r6318=( - -----*a23 *r6362 - -------*a23 *b12 *kap*r6362
5 60
2349 2 4 2 373 6 3 3 3
- ------*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362)/(a23 *b12 *kap)
80 240
128 6 8816 4 2
r6319=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
27 243
1480 2 4 2 1039 6 3 5
+ ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23*b12 *kap)
243 972
r6320=0
r6321=0
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6322=-------------------------------------
2
b12
r6323=0
8 2 5 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6324=----------------------------------------
2
b12 *kap
224 6 64 5 2
r6325=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115
15 3
256 4 2 20 3 3 3
- -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
15 3
2 4 3 26 2 4 2
- 2*a23 *b12 *kap *r6308 - ----*a23 *b12 *kap *r6456
15
1 5 4 1 6 4 2 6 3
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/(
3 2 5
5 3
a23*b12 *kap )
r6326=0
16 3 10 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362
3 3
r6327=-------------------------------------------
3
b12 *kap
23296 6 6656 5 2
r6328=( - -------*a23 *r6456 - ------*a23 *b12*kap *r6115
45 9
31552 4 2 1888 3 3 3
- -------*a23 *b12 *kap*r6456 - ------*a23 *b12 *kap *r6115
45 9
2 4 3 8864 2 4 2
+ 4*a23 *b12 *kap *r6308 - ------*a23 *b12 *kap *r6456
45
56 5 4 6 4 608 6 3
- ----*a23*b12 *kap *r6115 + b12 *kap *r6308 - -----*b12 *kap *r6456)/(
9 45
6 3
b12 *kap )
4 2 1 2
- ---*a23 *r6251 - ---*b12 *kap*r6251
3 3
r6329=----------------------------------------
2
b12
r6330=0
r6331=r6456
1 2 1 2
- ---*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6332=-----------------------------------------
a23*b12
4 4 2 2 5 4 2
- ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6333=------------------------------------------------------------------
3
a23*b12
r6334=0
r6335=0
112 6 160 5 2 128 4 2
r6336=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 9
50 3 3 3 1 2 4 2
+ ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6456
9 9
5 5 4 5 6 3 5 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
18 12
r6362
r6337=-------
kap
224 6 64 5 2 256 4 2
r6338=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
20 3 3 3 4 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 1 6 4 9 6 3
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456)/
3 4 10
5 4
(a23*b12 *kap )
r6362
r6339=-------
kap
112 6 32 5 2 128 4 2
r6340=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 1 6 4 29 6 3
+ ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456)
18 4 60
5 4
/(a23*b12 *kap )
r6341=r6276
1
- ---*b12*r6251
4
r6342=------------------
a23
r6343=r6276
1
- ---*b12*r6251
4
r6344=------------------
a23
224 6 64 5 2 76 4 2
r6345=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 3 3 29 2 4 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
15
1 5 4 7 6 3 5 4
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
6 10
r6362
r6346=-------
kap
224 6 64 5 2 172 4 2
r6347=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
4 3 3 3 109 2 4 2
- ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
1 5 4 1 6 4 23 6 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456)
18 4 30
5 4
/(a23*b12 *kap )
r6348=r6276
1
- ---*b12*r6251
4
r6349=------------------
a23
112 6 32 5 2 44 4 2
r6350=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 3 3 92 2 4 2
- ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 17 6 3 5 4
- ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
9 60
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276
2
r6351=-----------------------------------
a23*b12
r6352= - r6251
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 6
r6353=-------------------------------------
a23*b12
r6354=0
224 4 64 3 2 64 2 2
r6355=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 32 4 2 4 3
- ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(b12 *kap )
3 5
8 2 2 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6356=----------------------------------------
a23*b12*kap
r6357= - r6308
2 1 2
- 2*a23 *r6276 - ---*b12 *kap*r6276
2
r6358=--------------------------------------
a23*b12
r6359=r6251
112 4 32 3 2 20 2 2
r6360=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2 4 3
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6456)/(b12 *kap )
3 5
44 4 8 3 2 2 2 2
r6361=( - ----*a23 *r6456 + ---*a23 *b12*kap *r6115 + 4*a23 *b12 *kap *r6248
5 3
35 2 2 1 3 3
- ----*a23 *b12 *kap*r6456 + ---*a23*b12 *kap *r6115
3 6
1 4 3 41 4 2 3 2
+ ---*b12 *kap *r6248 - ----*b12 *kap *r6456)/(a23*b12 *kap )
4 30
112 6 32 5 2 20 4 2
r6363=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
45 9 9
14 3 3 3 4 2 4 3
- ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248
9 3
2 4 3 272 2 4 2
+ a23 *b12 *kap *r6308 - -----*a23 *b12 *kap *r6456
45
11 5 4 1 6 4 5 6 3
- ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6248 - ---*b12 *kap *r6456)
18 12 6
5 3
/(a23*b12 *kap )
8 2 2 2
- ---*a23 *r6276 - ---*b12 *kap*r6276
3 3
r6364=----------------------------------------
2
b12
2 2 5 2
---*a23 *r6251 + ----*b12 *kap*r6251
3 12
r6365=--------------------------------------
a23*b12
896 8 1280 7 2
r6366=( - -----*a23 *r6456 - ------*a23 *b12*kap *r6115
27 27
176 6 2 400 5 3 3
- -----*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
3 9
796 4 4 2 22 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
45 3
4 2 6 4 238 2 6 3
+ ---*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6456
3 27
8 7 5 1 8 5
- ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6248
27 12
227 8 4 7 4
+ -----*b12 *kap *r6456)/(a23*b12 *kap )
90
16 4 7 2 2 5 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
3 3 12
r6367=---------------------------------------------------------------------
3
a23*b12
r6368=0
256 4 32 2 2 2 296 2 2
r6369=(-----*a23 *r6456 - ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap*r6456
9 3 9
5 4 3 22 4 2 4 2
- ---*b12 *kap *r6248 + ----*b12 *kap *r6456)/(b12 *kap )
3 9
896 10 1280 9 2
r6370=( - -----*a23 *r6456 - ------*a23 *b12*kap *r6115
81 81
108448 8 2 3728 7 3 3
- --------*a23 *b12 *kap*r6456 - ------*a23 *b12 *kap *r6115
2025 405
128 6 4 3 29548 6 4 2
+ -----*a23 *b12 *kap *r6248 - -------*a23 *b12 *kap *r6456
9 675
32 5 5 4 94 4 6 4
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6248
15 45
1 4 6 4 496 4 6 3
- ----*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
15 2025
59 3 7 5 5 2 8 5
- -----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
810 36
1 2 8 5 1589 2 8 4
- ----*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
60 2025
107 9 6 1 10 6
+ ------*a23*b12 *kap *r6115 - -----*b12 *kap *r6248
3240 180
7 10 5 3 7 3
+ -----*b12 *kap *r6456)/(a23 *b12 *kap )
900
r6371=0
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276
2
r6372=-----------------------------------
a23*b12
r6373= - r6251
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 6
r6374=-------------------------------------
a23*b12
2 1 2
- 2*a23 *r6362 - ---*b12 *kap*r6362
2
r6375=--------------------------------------
a23*b12*kap
224 4 64 3 2 40 2 2
r6376=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 4 3 8 4 2
- ---*a23*b12 *kap *r6115 - 2*b12 *kap *r6308 + ---*b12 *kap *r6456)/(
3 5
4 3
b12 *kap )
2 2 1 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 6
r6377=----------------------------------------
a23*b12*kap
r6378=r6251
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 6
r6379=-------------------------------------
a23*b12
2 2 1 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 6
r6380=----------------------------------------
a23*b12*kap
2 2
4*a23 *r6362 + b12 *kap*r6362
r6381=-------------------------------
2
b12 *kap
448 5 128 4 2 3 2
r6382=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115 - 48*a23 *b12 *kap*r6456
15 3
8 2 3 3 4 3
- ---*a23 *b12 *kap *r6115 + 4*a23*b12 *kap *r6308
3
272 4 2 5 4 5 3
- -----*a23*b12 *kap *r6456 + b12 *kap *r6115)/(b12 *kap )
15
766 4 125 2 2 373 4 2
- -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
15 2 30
r6383=-------------------------------------------------------------------------
2 2
a23 *b12 *kap
1
---*b12*kap*r6251
4
r6384=-------------------
a23
r6385
128 4 8024 2 2 1835 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + ------*b12 *kap *r6276
27 243 243
=---------------------------------------------------------------------------
4
b12 *kap
2 2
4*a23 *r6362 + 2*b12 *kap*r6362
r6386=---------------------------------
2
b12 *kap
16 2 5 2
- ----*a23 *r6251 - ---*b12 *kap*r6251
3 6
r6387=-----------------------------------------
2
b12
16 4 7 2 2 5 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
3 3 12
r6388=---------------------------------------------------------------------
3
a23*b12
17 2 5 2
- ----*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6389=------------------------------------------
a23*b12
32 4 14 2 2 5 4 2
- ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
3 3 6
r6390=---------------------------------------------------------------------
4
b12 *kap
448 8 128 7 2 544 6 2
r6391=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 464 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
34 3 5 4 103 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 7 5 5 8 4 7 4
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6456)/(a23*b12 *kap )
9 6
8 2 5 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6392=-------------------------------------
2
b12 *kap
448 8 128 7 2 544 6 2
r6393=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 4 4 2
+ 40*a23 *b12 *kap *r6115 + 32*a23 *b12 *kap *r6456
50 3 5 4 2 6 4
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
3
223 2 6 3 25 7 5
+ -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115
45 18
1 8 5 7 8 4 7 4
+ ---*b12 *kap *r6308 - ----*b12 *kap *r6456)/(a23*b12 *kap )
4 30
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6394=-------------------------------------
2
b12
1
- ---*b12*kap*r6251
4
r6395=----------------------
a23
448 8 128 7 2 144 6 2
r6396=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 5
88 5 3 3 108 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 5
32 3 5 4 109 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
19 7 5 1 8 5 1 8 4
+ ----*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 + ---*b12 *kap *r6456)/
18 4 6
7 4
(a23*b12 *kap )
4 4 8 2 2 5 4 2
- ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
3 3 6
r6397=-------------------------------------------------------------------
3
a23*b12
16 2 5 2
- ----*a23 *r6251 - ---*b12 *kap*r6251
3 6
r6398=-----------------------------------------
2
b12
224 8 64 7 2 64 6 2
r6399=(-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
135 27 45
5 3 3 70 4 4 2
- 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9
1 3 5 4 2 6 4
- ---*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
9
943 2 6 3 7 7 5
- -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115
135 27
13 8 4 2 6 3
- ----*b12 *kap *r6456)/(a23 *b12 *kap )
45
416 4 4 3 2 5 2 2 2
r6400=(-----*a23 *r6456 + ---*a23 *b12*kap *r6115 - ---*a23 *b12 *kap *r6248
45 3 3
2 2 2 104 2 2
- a23 *b12 *kap *r6308 + -----*a23 *b12 *kap*r6456
9
1 3 3 5 4 3 73 4 2
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6248 + ----*b12 *kap *r6456)
3 12 90
3
/(a23*b12 *kap)
r6401=0
4 4 8 2 2 5 4 2
- ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
3 3 6
r6402=-------------------------------------------------------------------
3
a23*b12
2 1 2
a23 *r6362 + ---*b12 *kap*r6362
2
r6403=---------------------------------
a23*b12
32 4 2 2 3 4 2
----*a23 *r6362 + 6*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
5 5
r6404=---------------------------------------------------------------
4
b12 *kap
896 8 256 7 2 1088 6 2
r6405=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
135 27 45
80 5 3 3 928 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
68 3 5 4 476 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
10 7 5 11 8 4 7 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
27 36
8 2 8 2
---*a23 *r6456 + ---*b12 *kap*r6456
3 3
r6406=-------------------------------------
2 2
b12 *kap
2 1 2
2*a23 *r6362 + ---*b12 *kap*r6362
2
r6407=-----------------------------------
a23*b12*kap
r6408=r6308
2 2 1 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 6
r6409=-------------------------------------
a23*b12*kap
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276
2
r6410=-----------------------------------
a23*b12
r6411= - r6251
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 6
r6412=-------------------------------------
a23*b12
112 4 32 3 2 20 2 2
r6413=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2 4 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6456)/(b12 *kap )
3 5
2 2 1 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 6
r6414=-------------------------------------
a23*b12*kap
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 6
r6415=-------------------------------------
a23*b12
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6416=-------------------------------------
2
b12
1
---*b12*kap*r6251
4
r6417=-------------------
a23
r6418=0
448 6 640 5 2
r6419=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115
9 9
2872 4 2 152 3 3 3
- ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6115
45 9
106 2 4 2 7 5 4
- -----*a23 *b12 *kap *r6456 - ---*a23*b12 *kap *r6115
9 9
4 6 3 5 3
+ ----*b12 *kap *r6456)/(a23*b12 *kap )
15
8 2 5 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6420=----------------------------------------
2
b12 *kap
8 2 5 2
- ---*a23 *r6276 - ---*b12 *kap*r6276
3 3
r6421=----------------------------------------
2
b12
256 4 32 2 2 2
r6422=( - -----*a23 *r6456 + ----*a23 *b12 *kap *r6248
9 3
296 2 2 5 4 3 22 4 2
- -----*a23 *b12 *kap*r6456 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456
9 3 9
4 2
)/(b12 *kap )
16 4 7 2 2 5 4 2
- ----*a23 *r6362 + ---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362
3 3 12
r6423=---------------------------------------------------------------------
3
a23*b12 *kap
16 4 7 2 2 5 4 2
- ----*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
3 3 12
r6424=---------------------------------------------------------------------
3
a23*b12
r6425=0
r6426=0
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6427=-------------------------------------
2
b12
1
---*b12*kap*r6251
4
r6428=-------------------
a23
8 2 5 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6429=----------------------------------------
2
b12 *kap
56 4 16 3 2 10 2 2
r6430=(----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ---*b12 *kap *r6456)/(
3 2 5
3 2
a23*b12 *kap )
1
- ---*b12*kap*r6251
4
r6431=----------------------
a23
16 3 10 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362
3 3
r6432=-------------------------------------------
3
b12 *kap
224 8 64 7 2 64 6 2
r6433=( - -----*a23 *r6456 - ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
135 27 45
5 3 3 70 4 4 2
+ 4*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9
1 3 5 4 2 6 4
+ ---*a23 *b12 *kap *r6115 - a23 *b12 *kap *r6308
9
673 2 6 3 7 7 5
+ -----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115
135 27
13 8 4 2 6 3
+ ----*b12 *kap *r6456)/(a23 *b12 *kap )
45
1
r6434=---*kap*r6251
2
r6435=0
r6436=2*r6456
2 1 2
- a23 *r6362 - ---*b12 *kap*r6362
2
r6437=------------------------------------
a23*b12
4 4 8 2 2 5 4 2
- ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
3 3 6
r6438=-------------------------------------------------------------------
3
a23*b12
r6439=0
r6440=0
112 6 160 5 2 152 4 2
r6441=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 9
50 3 3 3 25 2 4 2
+ ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 9
5 5 4 5 6 3 5 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
18 12
8 2 5 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6442=-------------------------------------
2
b12 *kap
1 1
- ---*b12*kap*r6308 + ---*b12*r6456
4 4
r6443=--------------------------------------
a23
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6444=-------------------------------------
2
b12
1
---*b12*kap*r6251
4
r6445=-------------------
a23
28 4 8 3 2 5 2 2
r6446=(----*a23 *r6456 + ---*a23 *b12*kap *r6115 + ---*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 2 3 2
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456)/(a23*b12 *kap )
6 20
2 2 5 2 2
- ---*a23 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6447=----------------------------------------------
a23*b12
r6448=0
r6449= - r6456
448 8 640 7 2 6 2
r6450=( - -----*a23 *r6456 - -----*a23 *b12*kap *r6115 - 80*a23 *b12 *kap*r6456
27 27
40 5 3 3 64 4 4 3
- ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6248
3 3
212 4 4 2 20 3 5 4
- -----*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
3 9
16 2 6 4 154 2 6 3
+ ----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6456
3 27
5 7 5 1 8 5 29 8 4
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 + ----*b12 *kap *r6456)
54 8 36
7 3
/(a23*b12 *kap )
r6451=0
2 2 5 2 2
- ---*a23 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6452=----------------------------------------------
a23*b12
2 2 5 2
---*a23 *r6362 + ----*b12 *kap*r6362
3 12
r6453=--------------------------------------
a23*b12
4 2 5 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 6
r6454=----------------------------------------
2
b12
448 8 128 7 2 544 6 2
r6455=(-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
135 27 45
40 5 3 3 464 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
34 3 5 4 238 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
5 7 5 19 8 4 7 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456)/(a23*b12 *kap )
27 36
2 2 5 2
- ---*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6457=-----------------------------------------
a23*b12
2 2 5 2 2
- ---*a23 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6458=----------------------------------------------
a23*b12
r6459=0
r6460=0
1
- ---*b12*kap*r6456
4
r6461=----------------------
a23
a33=0
a22=0
a13=0
a11=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:
r6115, r6248, r6251, r6276, r6308, r6362, r6456, a23, b12
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{a23,
b12,
1
{---*b12*kap*r6456,
4
2 2 5 2 2
---*a23 *kap*r6276 + ----*b12 *kap *r6276,
3 12
2 3 2 5 4
---*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
3 12
r6456,
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
135 27 45
40 5 3 3 464 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
34 3 5 4 238 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
5 7 5 19 8 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
27 36
4 4 4 5 2 6 2
---*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
3 6
2 3 2 5 4
---*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
3 12
2 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
448 8 640 7 2 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + 80*a23 *b12 *kap*r6456
27 27
40 5 3 3 64 4 4 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
3 3
212 4 4 2 20 3 5 4
+ -----*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
3 9
16 2 6 4 154 2 6 3
- ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6456
3 27
5 7 5 1 8 5 29 8 4
+ ----*a23*b12 *kap *r6115 - ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
54 8 36
r6456,
2 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
28 4 8 3 2 5 2 2
----*a23 *r6456 + ---*a23 *b12*kap *r6115 + ---*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 2
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456,
6 20
1 3
---*b12 *kap*r6251,
4
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
1 5 2 1 5
---*a23*b12 *kap *r6308 - ---*a23*b12 *kap*r6456,
4 4
8 3 2 5 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
112 6 160 5 2 152 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 9
50 3 3 3 25 2 4 2
+ ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456
9 9
5 5 4 5 6 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
18 12
4 4 8 2 2 5 4 2
---*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3 6
3 4 1 6 2
a23 *b12 *kap*r6362 + ---*a23*b12 *kap *r6362,
2
2*r6456,
1 3
---*b12 *kap*r6251,
2
224 9 64 8 2 64 7 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
135 27 45
6 3 3 70 5 4 2
- 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9
1 4 5 4 3 6 4
- ---*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
9
673 3 6 3 7 2 7 5
- -----*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
135 27
13 8 4
- ----*a23*b12 *kap *r6456,
45
16 3 2 10 4
----*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
3 3
1 3
---*b12 *kap*r6251,
4
56 5 16 4 2 2 10 3 3
----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
1 2 4 3 1 5 3
+ ---*a23 *b12 *kap *r6115 + ---*a23*b12 *kap *r6308
3 2
2 5 2
- ---*a23*b12 *kap *r6456,
5
8 3 2 5 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
1 3
---*b12 *kap*r6251,
4
8 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3
16 6 7 4 2 5 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
3 3 12
16 5 2 7 3 4 5 6 2
----*a23 *b12 *r6362 - ---*a23 *b12 *kap*r6362 - ----*a23*b12 *kap *r6362,
3 3 12
256 6 32 4 2 2 296 4 2
-----*a23 *r6456 - ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap*r6456
9 3 9
5 2 4 3 22 2 4 2
- ---*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6456,
3 9
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
8 3 2 5 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
448 6 640 5 2 2872 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
9 9 45
152 3 3 3 106 2 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 9
7 5 4 4 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1 3
---*b12 *kap*r6251,
4
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
2 3 2 1 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 6
112 4 32 3 2 20 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6456,
3 5
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
2 3 2 1 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 6
r6308,
2 2 1 4
2*a23 *b12 *r6362 + ---*b12 *kap*r6362,
2
8 2 8 2
---*a23 *r6456 + ---*b12 *kap*r6456,
3 3
896 8 256 7 2 1088 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
135 27 45
80 5 3 3 928 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
68 3 5 4 476 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
10 7 5 11 8 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
27 36
32 7 2 5 4 3 3 6 2
----*a23 *b12 *r6362 + 6*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
5 5
3 4 1 6 2
a23 *b12 *kap*r6362 + ---*a23*b12 *kap *r6362,
2
4 4 8 2 2 5 4 2
---*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3 6
416 4 4 3 2 2 5 2 3 2
-----*a23 *b12*r6456 + ---*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248
45 3 3
2 3 2 104 2 3 1 4 3
- a23 *b12 *kap *r6308 + -----*a23 *b12 *kap*r6456 + ---*a23*b12 *kap *r6115
9 3
5 5 3 73 5 2
- ----*b12 *kap *r6248 + ----*b12 *kap *r6456,
12 90
224 9 64 8 2 64 7 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
135 27 45
6 3 3 70 5 4 2
- 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9
1 4 5 4 3 6 4
- ---*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
9
943 3 6 3 7 2 7 5
- -----*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
135 27
13 8 4
- ----*a23*b12 *kap *r6456,
45
16 4 5 2 3 2
----*a23 *b12*kap*r6251 + ---*a23 *b12 *kap *r6251,
3 6
4 4 8 2 2 2 5 4 3
---*a23 *kap*r6276 + ---*a23 *b12 *kap *r6276 + ---*b12 *kap *r6276,
3 3 6
448 9 128 8 2 144 7 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 5
88 6 3 3 108 5 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 5
32 4 5 4 109 3 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
19 2 7 5 1 8 5
+ ----*a23 *b12 *kap *r6115 - ---*a23*b12 *kap *r6308
18 4
1 8 4
+ ---*a23*b12 *kap *r6456,
6
1 3
---*b12 *kap*r6251,
4
8 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 4 4 2
+ 40*a23 *b12 *kap *r6115 + 32*a23 *b12 *kap *r6456
50 3 5 4 2 6 4
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308
3
223 2 6 3 25 7 5 1 8 5
+ -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308
45 18 4
7 8 4
- ----*b12 *kap *r6456,
30
8 3 2 5 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
448 9 128 8 2 544 7 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
6 3 3 464 5 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
34 4 5 4 103 3 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 2 7 5 5 8 4
+ ---*a23 *b12 *kap *r6115 - ---*a23*b12 *kap *r6456,
9 6
32 6 2 14 4 4 5 2 6 2
----*a23 *b12 *r6362 - ----*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362,
3 3 6
17 2 4 5 6 2
----*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362,
3 12
16 6 7 4 2 5 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
3 3 12
16 2 5 3
----*a23 *b12*r6251 + ---*b12 *kap*r6251,
3 6
4 4 2 6 2
4*a23 *b12 *kap*r6362 + 2*a23 *b12 *kap *r6362,
128 4 8024 2 2 1835 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 243
1 3
---*b12 *kap*r6251,
4
766 4 2 125 2 4 373 6 2
-----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
15 2 30
448 6 128 5 2 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + 48*a23 *b12 *kap*r6456
15 3
8 3 3 3 2 4 3
+ ---*a23 *b12 *kap *r6115 - 4*a23 *b12 *kap *r6308
3
272 2 4 2 5 4
+ -----*a23 *b12 *kap *r6456 - a23*b12 *kap *r6115,
15
2 4 6 2
4*a23 *b12 *kap*r6362 + b12 *kap *r6362,
2 3 2 1 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 6
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 3 2 1 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 6
224 4 64 3 2 40 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 4 3 8 4 2
+ ---*a23*b12 *kap *r6115 + 2*b12 *kap *r6308 - ---*b12 *kap *r6456,
3 5
2 2 1 4
2*a23 *b12 *r6362 + ---*b12 *kap*r6362,
2
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
896 12 1280 11 2
-----*a23 *r6456 + ------*a23 *b12*kap *r6115
81 81
108448 10 2 3728 9 3 3
+ --------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6115
2025 405
128 8 4 3 29548 8 4 2
- -----*a23 *b12 *kap *r6248 + -------*a23 *b12 *kap *r6456
9 675
32 7 5 4 94 6 6 4
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
15 45
1 6 6 4 496 6 6 3
+ ----*a23 *b12 *kap *r6308 - ------*a23 *b12 *kap *r6456
15 2025
59 5 7 5 5 4 8 5
+ -----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6248
810 36
1 4 8 5 1589 4 8 4
+ ----*a23 *b12 *kap *r6308 - ------*a23 *b12 *kap *r6456
60 2025
107 3 9 6 1 2 10 6
- ------*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6248
3240 180
7 2 10 5
- -----*a23 *b12 *kap *r6456,
900
256 4 32 2 2 2 296 2 2
-----*a23 *r6456 - ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap*r6456
9 3 9
5 4 3 22 4 2
- ---*b12 *kap *r6248 + ----*b12 *kap *r6456,
3 9
16 6 7 4 2 5 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
3 3 12
896 8 1280 7 2 176 6 2
-----*a23 *r6456 + ------*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
27 27 3
400 5 3 3 796 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
22 3 5 4 4 2 6 4
+ ----*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248
3 3
238 2 6 3 8 7 5
- -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115
27 27
1 8 5 227 8 4
- ----*b12 *kap *r6248 - -----*b12 *kap *r6456,
12 90
2 2 5 3
---*a23 *b12*r6251 + ----*b12 *kap*r6251,
3 12
8 6 2 4 2
---*a23 *r6276 + ---*a23 *b12 *kap*r6276,
3 3
112 6 32 5 2 2 20 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap*r6456
45 9 9
14 3 4 3 4 2 5 3 2 5 3
- ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248 + a23 *b12 *kap *r6308
9 3
272 2 5 2 11 6 4
- -----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115
45 18
1 7 4 5 7 3
+ ----*b12 *kap *r6248 - ---*b12 *kap *r6456,
12 6
r6362,
44 4 3 8 3 4 2 2 5 2
----*a23 *b12 *r6456 - ---*a23 *b12 *kap *r6115 - 4*a23 *b12 *kap *r6248
5 3
35 2 5 1 6 3 1 7 3
+ ----*a23 *b12 *kap*r6456 - ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6248
3 6 4
41 7 2
+ ----*b12 *kap *r6456,
30
112 4 32 3 2 20 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6456,
3 5
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
b12*r6308,
8 2 2 2 4
---*a23 *b12 *r6362 + ---*b12 *kap*r6362,
3 3
224 4 64 3 2 64 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 32 4 2
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456,
3 5
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
112 6 32 5 2 44 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 3 3 92 2 4 2
- ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 17 6 3
- ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 60
1
---*b12*r6251,
4
b12*r6276,
224 6 64 5 2 172 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
4 3 3 3 109 2 4 2
- ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
1 5 4 1 6 4 23 6 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
18 4 30
r6362,
224 6 64 5 2 76 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 3 3 29 2 4 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
15
1 5 4 7 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 10
1
---*b12*r6251,
4
b12*r6276,
1
---*b12*r6251,
4
b12*r6276,
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 1 6 4 29 6 3
+ ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
18 4 60
r6362,
224 6 64 5 2 256 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
20 3 3 3 4 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 1 6 4 9 6 3
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
3 4 10
r6362,
112 6 160 5 2 128 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 9
50 3 3 3 1 2 4 2
+ ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6456
9 9
5 5 4 5 6 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
18 12
4 4 2 2 5 4 2
---*a23 *r6276 + 2*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
1 2 4 1 6 2
---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362,
3 12
r6456,
4 2 1 3 2
---*a23 *b12*kap*r6251 + ---*b12 *kap *r6251,
3 3
23296 6 6656 5 2 31552 4 2
-------*a23 *r6456 + ------*a23 *b12*kap *r6115 + -------*a23 *b12 *kap*r6456
45 9 45
1888 3 3 3 2 4 3
+ ------*a23 *b12 *kap *r6115 - 4*a23 *b12 *kap *r6308
9
8864 2 4 2 56 5 4 6 4
+ ------*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115 - b12 *kap *r6308
45 9
608 6 3
+ -----*b12 *kap *r6456,
45
16 4 2 10 2 4
----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362,
3 3
224 6 64 5 2 256 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
20 3 3 3 2 4 3
+ ----*a23 *b12 *kap *r6115 + 2*a23 *b12 *kap *r6308
3
26 2 4 2 1 5 4 1 6 4
+ ----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308
15 3 2
2 6 3
- ---*b12 *kap *r6456,
5
8 3 2 5 4
---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
128 6 8816 4 2 1480 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
27 243 243
1039 6 3
+ ------*b12 *kap *r6276,
972
786 6 2 10837 4 4
-----*a23 *b12 *r6362 + -------*a23 *b12 *kap*r6362
5 60
2349 2 6 2 373 8 3
+ ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
80 240
1568 4 16 3 2 20 2 2 2
------*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap *r6248
45 3 3
2 2 2 368 2 2
- 4*a23 *b12 *kap *r6308 + -----*a23 *b12 *kap*r6456
9
4 3 3 5 4 3 182 4 2
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6248 + -----*b12 *kap *r6456,
3 3 45
128 4 9320 2 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 243
1532 4 2 2 4 373 6 2
------*a23 *b12 *r6362 + 124*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
15 15
1568 6 448 5 2 1552 4 2
------*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
140 3 3 3 2 4 3
+ -----*a23 *b12 *kap *r6115 + 4*a23 *b12 *kap *r6308
9
118 2 4 2 7 5 4 4 6 3
- -----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456
45 9 15
,
128 5 8672 3 2 2240 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23*b12 *kap *r6276,
27 243 243
2
2*a23 *b12*r6251,
8 3 5 2 2
---*a23 *kap*r6276 + ---*a23*b12 *kap *r6276,
3 3
16 4 1327 2 2 803 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 486
111 4 2 353 2 4 373 6 2
-----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
20 48 240
r6308,
16 4 1327 2 2 803 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 486
b12*r6251,
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
111 4 2 353 2 4 373 6 2
-----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
20 48 240
112 4 32 3 2 20 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 3 3 4 4 2
+ ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6456,
3 5
2 2 1 4
a23 *b12 *r6362 + ---*b12 *kap*r6362,
2
8 2 8 2
---*a23 *r6456 + ---*b12 *kap*r6456,
3 3
4 4 5 2 3
---*a23 *b12*r6251 + ---*a23 *b12 *kap*r6251,
3 6
448 7 128 6 2 800 5 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 9
200 4 3 3 3 4 3
+ -----*a23 *b12 *kap *r6115 - 8*a23 *b12 *kap *r6248
3
3 4 3 3356 3 4 2
+ 4*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
45
2 5 4 6 4 140 6 3
+ 14*a23 *b12 *kap *r6115 - 2*a23*b12 *kap *r6248 + -----*a23*b12 *kap *r6456
9
,
2
2*a23 *b12*r6362,
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
856 4 16 3 2 2 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - 6*a23 *b12 *kap *r6308
45 3
178 2 2 1 3 3 34 4 2
+ -----*a23 *b12 *kap*r6456 + ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456,
9 3 45
16 3 2 7 4
----*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
3 3
2 2 5 3
---*a23 *b12*r6251 + ----*b12 *kap*r6251,
3 12
128 4 8672 2 2 2483 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 243
2
2*a23 *b12*r6251,
3
---*b12*r6251,
2
448 4 128 3 2 88 2 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
20 3 3 4 3 8 4 2
+ ----*a23*b12 *kap *r6115 + 3*b12 *kap *r6308 - ----*b12 *kap *r6456,
3 15
14 2 2 2 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
3 3
1
---*b12*r6251,
2
32 4 1520 2 2 398 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 243
1
---*b12*r6251,
2
224 4 64 3 2 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + 16*a23 *b12 *kap*r6456
15 3
16 3 3 4 3 16 4 2
+ ----*a23*b12 *kap *r6115 + b12 *kap *r6308 + ----*b12 *kap *r6456,
3 15
111 4 377 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
10 24 120
8 3 2 2 2 2
---*a23 *r6456 - 4*a23 *b12*kap *r6115 - a23*b12 *kap *r6308
3
8 2
+ ---*a23*b12 *kap*r6456,
3
2*a23*r6362,
1
---*b12*r6251,
4
56 4 16 3 2 10 2 2
----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ---*b12 *kap *r6456,
3 2 5
r6362,
r6276,
1
---*b12*r6251,
4
56 4 16 3 2 10 2 2
----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ---*b12 *kap *r6456,
3 2 5
r6362,
56 4 16 3 2 10 2 2
----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
1 3 3 1 4 3 2 4 2
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ---*b12 *kap *r6456,
3 2 5
r6362,
1
---*b12*r6251,
4
r6276,
1
---*b12*r6251,
4
r6276,
16 6 7 4 2 1 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
9 9 18
16 8 2 7 6 4 1 4 6 2
----*a23 *b12 *r6362 - ---*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
9 9 18
1792 10 512 9 2 2608 8 2
------*a23 *r6456 + -----*a23 *b12*kap *r6115 - ------*a23 *b12 *kap*r6456
675 135 225
352 7 3 3 104 6 4 3
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6248
45 15
4 6 4 3 392 6 4 2
+ ---*a23 *b12 *kap *r6308 - -----*a23 *b12 *kap *r6456
5 25
2 5 5 4 4 6 4 1 4 6 4
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6308
15 5
356 4 6 3 107 3 7 5
- -----*a23 *b12 *kap *r6456 - -----*a23 *b12 *kap *r6115
675 270
1 2 8 5 7 2 8 4
+ ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6456,
15 75
kap*r6276,
a23*b12*r6362,
224 6 320 5 2 712 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 45
52 3 3 3 16 2 4 3
+ ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6248
9 3
116 2 4 2 2 5 4 1 6 4
- -----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248
9 9 3
82 6 3
- ----*b12 *kap *r6456,
45
2 2 5 3
---*a23 *b12*r6251 + ----*b12 *kap*r6251,
3 12
kap*r6276,
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
5 2 2 5 4
---*a23 *b12 *r6362 + ----*b12 *kap*r6362,
3 12
224 5 64 4 2 56 3 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 2 3 3 4 3 56 4 2
+ ---*a23 *b12 *kap *r6115 + a23*b12 *kap *r6248 + ----*a23*b12 *kap *r6456,
3 15
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 972
r6251,
7 2 7 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
413 4 127 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
60 16 240
r6248,
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
112 5 32 4 2 28 3 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 2 3 3 4 3 28 4 2
+ ---*a23 *b12 *kap *r6115 - a23*b12 *kap *r6248 + ----*a23*b12 *kap *r6456,
3 15
r6276,
r6362,
1792 8 512 7 2 2944 6 2
------*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
416 5 3 3 584 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
40 3 5 4 634 2 6 3
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
1 7 5 52 8 4
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
b12*r6276,
1
---*b12*r6251,
4
r6362,
896 6 256 5 2 1192 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
128 3 3 3 194 2 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
7 5 4 4 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
r6362,
896 6 256 5 2 1192 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
128 3 3 3 194 2 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
7 5 4 4 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6251,
4
r6276,
1
---*b12*r6251,
4
r6276,
1
---*b12*r6276,
4
1 6 2
---*b12 *kap *r6362,
4
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6276,
2
1
---*b12*r6276,
2
1 6 2
---*b12 *kap *r6362,
2
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1 6 2
---*b12 *kap *r6362,
2
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
2
1 6 2
---*b12 *kap *r6362,
2
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1 6 2
---*b12 *kap *r6362,
2
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1 6 2
---*b12 *kap *r6362,
2
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
135 27 45
40 5 3 3 464 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
34 3 5 4 238 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 135
5 7 5 1 8 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
27 36
32 6 2 4 4 11 2 6 2
----*a23 *b12 *r6362 + 2*a23 *b12 *kap*r6362 + ----*a23 *b12 *kap *r6362,
15 30
1 2 4 1 6 2
---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362,
3 12
4 4 2 2 5 4 2
---*a23 *r6276 + 2*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
11648 8 3328 7 2 16112 6 2
-------*a23 *r6456 + ------*a23 *b12*kap *r6115 + -------*a23 *b12 *kap*r6456
45 9 45
280 5 3 3 10 4 4 3
+ -----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
3 3
4 4 3 4948 4 4 2
- 4*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
45
8 3 5 4 4 2 6 4 2 6 4
+ ---*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248 - a23 *b12 *kap *r6308
3 3
478 2 6 3 11 7 5 1 8 5
+ -----*a23 *b12 *kap *r6456 + ----*a23*b12 *kap *r6115 - ---*b12 *kap *r6248
45 18 8
37 8 4
+ ----*b12 *kap *r6456,
60
23296 8 6656 7 2 31552 6 2
-------*a23 *r6456 + ------*a23 *b12*kap *r6115 + -------*a23 *b12 *kap*r6456
45 9 45
1888 5 3 3 4 4 3
+ ------*a23 *b12 *kap *r6115 - 4*a23 *b12 *kap *r6308
9
8864 4 4 2 56 3 5 4
+ ------*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
45 9
2 6 4 563 2 6 3
- a23 *b12 *kap *r6308 + -----*a23 *b12 *kap *r6456,
45
4 3 1 3 2
---*a23 *b12*kap*r6251 + ---*a23*b12 *kap *r6251,
3 3
4 4 2 2 2 5 4 3
---*a23 *kap*r6276 + 2*a23 *b12 *kap *r6276 + ----*b12 *kap *r6276,
3 12
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 452 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
3 5 4 2 6 4 148 2 6 3
+ 14*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6308 + -----*a23 *b12 *kap *r6456
45
11 7 5 1 8 5 17 8 4
+ ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
9 4 60
448 8 128 7 2 144 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 5
88 5 3 3 108 4 4 2
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 5
32 3 5 4 109 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
19 7 5 1 8 4
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
18 12
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 464 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
15
34 3 5 4 193 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 7 5 1 8 4
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 12
524 6 2 1099 4 4
-----*a23 *b12 *r6362 + ------*a23 *b12 *kap*r6362
5 10
1079 2 6 2 373 8 3
+ ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
120 120
2278 6 2 10637 4 4
------*a23 *b12 *r6362 + -------*a23 *b12 *kap*r6362
15 60
2349 2 6 2 373 8 3
+ ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
80 240
128 6 8816 4 2 1480 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
27 243 243
1039 6 3
+ ------*b12 *kap *r6276,
972
4 4 1 2 3 2
---*a23 *b12*kap*r6251 + ---*a23 *b12 *kap *r6251,
3 3
365 4 4 607 2 6 2 373 8 3
-----*a23 *b12 *kap*r6362 + -----*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362
6 8 24
,
128 5 9320 3 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23*b12 *kap *r6276,
27 243 243
111 4 4 353 2 6 2 373 8 3
-----*a23 *b12 *kap*r6362 + -----*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362
10 24 120
,
224 6 64 5 2 56 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 3 56 2 4 2 5 4
+ ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6456 - a23*b12 *kap *r6115,
3 15
2 4 6 2
2*a23 *b12 *kap*r6362 + b12 *kap *r6362,
111 4 2 353 2 4 373 6 2
-----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
20 48 240
16 4 1327 2 2 803 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 486
111 4 2 353 2 4 373 6 2
-----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
20 48 240
2 2 1 4
a23 *b12 *r6362 + ---*b12 *kap*r6362,
2
16 4 1327 2 2 803 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 486
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
21952 12 6272 11 2
-------*a23 *r6456 + ------*a23 *b12*kap *r6115
675 135
153616 10 2 29336 9 3 3
+ --------*a23 *b12 *kap*r6456 + -------*a23 *b12 *kap *r6115
2025 405
16 8 4 3 24 8 4 3
- ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
15 5
33604 8 4 2 392 7 5 4
+ -------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 45
31 6 6 4 4 6 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
3707 6 6 3 79 5 7 5
+ ------*a23 *b12 *kap *r6456 - ----*a23 *b12 *kap *r6115
675 45
47 4 8 5 1 4 8 5
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
180 60
6931 4 8 4 107 3 9 6
- ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6115
4050 3240
1 2 10 6 7 2 10 5
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6456,
180 900
448 8 128 7 2 2432 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
15 3 45
184 5 3 3 4 4 4 3
+ -----*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248
3 3
4 4 3 1516 4 4 2
+ 8*a23 *b12 *kap *r6308 + ------*a23 *b12 *kap *r6456
45
38 3 5 4 1 2 6 4
+ ----*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6248
3 3
518 2 6 3
+ -----*a23 *b12 *kap *r6456,
45
4 2 5 3
---*a23 *b12*r6251 + ---*b12 *kap*r6251,
3 6
128 6 8816 4 2 1480 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
27 243 243
1039 6 3
+ ------*b12 *kap *r6276,
972
1232 6 352 5 2 2 176 4 3
------*a23 *b12*r6456 + -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 9
122 3 4 3 1 2 5 3
+ -----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248
9 3
2 5 3 427 2 5 2
+ 6*a23 *b12 *kap *r6308 - -----*a23 *b12 *kap *r6456
45
17 6 4 1 7 4 1 7 3
+ ----*a23*b12 *kap *r6115 + ----*b12 *kap *r6248 - ---*b12 *kap *r6456,
18 12 6
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
128 4 9320 2 2 2645 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 243
784 6 224 5 2 2 952 4 3
-----*a23 *b12*r6456 + -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
82 3 4 3 1 2 5 3 2 5 3
+ ----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248 + a23 *b12 *kap *r6308
9 3
161 2 5 2 2 6 4 1 7 4
+ -----*a23 *b12 *kap *r6456 + ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6248
45 9 12
31 7 3
+ ----*b12 *kap *r6456,
90
131 4 377 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
5 12 60
112 6 160 5 2 2 388 4 3
-----*a23 *b12*r6456 + -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6456
9 9 45
14 3 4 3 2 5 3 2 5 3
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6248 + a23 *b12 *kap *r6308
9
50 2 5 2 13 6 4 1 7 4
- ----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248
9 18 4
37 7 3
- ----*b12 *kap *r6456,
30
3584 8 1024 7 2 512 6 2
------*a23 *r6456 + ------*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 3
448 5 3 3 1408 4 4 2
+ -----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6456
3 15
176 3 5 4 32 2 6 3
+ -----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 9
64 7 5 8 5 32 8 4
+ ----*a23*b12 *kap *r6115 + 2*b12 *kap *r6308 - ----*b12 *kap *r6456,
9 5
3
---*b12*r6251,
2
16 4 1327 2 2 803 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
27 243 486
112 4 32 3 2 28 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
14 3 3 4 3 28 4 2
+ ----*a23*b12 *kap *r6115 + b12 *kap *r6308 + ----*b12 *kap *r6456,
3 15
131 4 377 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
10 24 120
224 4 64 3 2 56 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
16 3 3 4 3 56 4 2
+ ----*a23*b12 *kap *r6115 + b12 *kap *r6308 + ----*b12 *kap *r6456,
3 15
1
---*b12*r6251,
2
16 4 1165 2 2 641 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 162
1
---*b12*r6251,
2
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
448 8 128 7 2 848 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
136 5 3 3 232 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
8 3 5 4 71 2 6 3
+ ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 15
1 7 5 1 8 5 5 8 4
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 - ---*b12 *kap *r6456,
2 4 4
1
---*b12*r6251,
4
896 8 256 7 2 1696 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
272 5 3 3 548 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
40 3 5 4 39 2 6 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 5
5 7 5 1 8 5 27 8 4
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
6 4 10
896 8 256 7 2 1696 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
272 5 3 3 548 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
40 3 5 4 39 2 6 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 5
1 7 5 1 8 5 27 8 4
- ---*a23*b12 *kap *r6115 - ---*b12 *kap *r6308 - ----*b12 *kap *r6456,
3 4 10
1
---*b12*r6251,
4
1
---*b12*r6251,
4
448 8 128 7 2 848 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
136 5 3 3 316 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
32 3 5 4 46 2 6 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 15
1 7 5 29 8 4
- ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
3 20
896 8 256 7 2 1696 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
272 5 3 3 632 4 4 2
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
9 45
64 3 5 4 92 2 6 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 15
1 7 5 29 8 4
- ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 10
448 8 128 7 2 544 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 15
5 3 3 148 4 4 2
+ 40*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
5
34 3 5 4 133 2 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6456
3 45
5 7 5 1 8 4
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 12
32 8 2 14 6 4 1 4 6 2
----*a23 *b12 *r6362 - ----*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362,
9 9 9
16 8 2 25 6 4 1 4 6 2
----*a23 *b12 *r6362 - ----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
9 9 18
16 6 7 4 2 1 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
9 9 18
4 2 5 3
---*a23 *b12*r6251 + ---*b12 *kap*r6251,
3 6
10 3 2 11 4
----*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
3 6
2
b12 *kap*r6276,
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
413 4 127 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
30 8 120
224 6 64 5 2 32 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 - ----*a23 *b12 *kap*r6456
45 9 5
124 3 3 3 4 2 4 3
- -----*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6248
9 3
218 2 4 2 26 5 4 1 6 4
- -----*a23 *b12 *kap *r6456 - ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248
15 9 3
142 6 3
- -----*b12 *kap *r6456,
45
2 2 1 2
---*a23 *r6362 + ---*b12 *kap*r6362,
3 6
11 2 2 5 4
----*a23 *b12 *r6362 + ----*b12 *kap*r6362,
3 12
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
3
---*b12*r6251,
2
533 4 127 2 2 373 4 2
-----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
60 16 240
224 4 64 3 2 56 2 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
4 3 3 56 4 2
+ ---*a23*b12 *kap *r6115 + ----*b12 *kap *r6456,
3 15
7 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 972
1
---*b12*r6251,
2
32 4 2249 2 2 2321 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 972
1
---*b12*r6251,
2
3 6 2
---*b12 *kap *r6362,
2
r6276,
1
---*b12*r6251,
4
6 2
2*b12 *kap *r6362,
r6115,
6 2
2*b12 *kap *r6362,
r6276,
1
---*b12*r6251,
4
r6276,
1
---*b12*r6251,
4
1 6 2
---*b12 *kap *r6362,
2
r6115,
6 2
b12 *kap *r6362,
a23*r6115,
1 6 2
---*b12 *kap *r6362,
2
1 6 2
---*b12 *kap *r6362,
4
1
---*b12*r6276,
4
1 6 2
---*b12 *kap *r6362,
2
1 6 2
---*b12 *kap *r6362,
2
1
---*b12*r6276,
2
1
---*b12*r6276,
2
1 6 2
---*b12 *kap *r6362,
4
1 6 2
---*b12 *kap *r6362,
2
1 6 2
---*b12 *kap *r6362,
2
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
2
224 12 320 11 2 27448 10 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -------*a23 *b12 *kap*r6456
81 81 2025
1028 9 3 3 32 8 4 3
+ ------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6248
405 9
6898 8 4 2 46 7 5 4
+ ------*a23 *b12 *kap *r6456 + ----*a23 *b12 *kap *r6115
675 45
4 6 6 4 1 6 6 4
- ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
4217 6 6 3 43 5 7 5
- ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6115
4050 1620
7 4 8 5 1 4 8 5
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
72 60
464 4 8 4 107 3 9 6
- ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6115
2025 3240
1 2 10 6 7 2 10 5
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6456,
180 900
1792 10 512 9 2 2608 8 2
------*a23 *r6456 + -----*a23 *b12*kap *r6115 - ------*a23 *b12 *kap*r6456
675 135 225
352 7 3 3 104 6 4 3
+ -----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6248
45 15
4 6 4 3 392 6 4 2
+ ---*a23 *b12 *kap *r6308 - -----*a23 *b12 *kap *r6456
5 25
2 5 5 4 4 6 4 1 4 6 4
+ ----*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6308
15 5
356 4 6 3 107 3 7 5
- -----*a23 *b12 *kap *r6456 - -----*a23 *b12 *kap *r6115
675 270
1 2 8 5 7 2 8 4
+ ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6456,
15 75
16 6 7 4 2 1 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
9 9 18
17248 10 4928 9 2 2
-------*a23 *b12*r6456 + ------*a23 *b12 *kap *r6115
2025 405
1348 8 3 196 7 4 3
+ ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6115
675 45
166 6 5 3 1 6 5 3
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
45 15
5882 6 5 2 53 5 6 4
- ------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 270
7 4 7 4 1 4 7 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6308
36 60
3853 4 7 3 107 3 8 5
- ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6115
4050 3240
1 2 9 5 7 2 9 4
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6456,
180 900
kap*r6276,
2912 10 832 9 2 2
------*a23 *b12*r6456 + -----*a23 *b12 *kap *r6115
2025 405
6152 8 3 244 7 4 3
+ ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6115
675 45
76 6 5 3 1 6 5 3
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6308
45 15
6437 6 5 2 367 5 6 4
+ ------*a23 *b12 *kap *r6456 + -----*a23 *b12 *kap *r6115
675 270
7 4 7 4 1 4 7 4
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6308
36 60
6553 4 7 3 107 3 8 5
+ ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6115
4050 3240
1 2 9 5 7 2 9 4
- -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6456,
180 900
7952 10 2272 9 2 2
------*a23 *b12*r6456 + ------*a23 *b12 *kap *r6115
2025 405
3992 8 3 22 7 4 3
+ ------*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6115
675 15
46 6 5 3 1 6 5 3
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6308
45 15
1532 6 5 2 23 5 6 4
+ ------*a23 *b12 *kap *r6456 - -----*a23 *b12 *kap *r6115
675 270
1 4 7 4 1 4 7 4
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6308
36 60
163 4 7 3 107 3 8 5
+ ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6115
4050 3240
1 2 9 5 7 2 9 4
- -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6456,
180 900
a23*r6248,
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
a23*r6248,
112 5 32 4 2 28 3 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 3
2 2 3 3 4 3 28 4 2
+ ---*a23 *b12 *kap *r6115 - a23*b12 *kap *r6248 + ----*a23*b12 *kap *r6456,
3 15
16 4 1003 2 2 1039 4 2
----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*b12 *kap *r6276,
27 243 972
1 2 1 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
448 8 128 7 2 80 6 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 9
8 5 3 3 196 4 4 2
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
8 3 5 4 20 2 6 3
- ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 9
1 7 5 1 8 5 11 8 4
- ----*a23*b12 *kap *r6115 - ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
18 8 60
r6276,
224 6 64 5 2 2 76 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 4 3 13 2 5 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
5
1 6 4 1 7 4 41 7 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
3 4 30
224 6 64 5 2 2 76 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
15 3 5
3 4 3 13 2 5 2
+ 4*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
5
1 6 4 1 7 4 41 7 3
+ ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
6 4 30
r6276,
r6276,
112 6 32 5 2 2 44 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 4 3 107 2 5 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
11 6 4 1 7 4 37 7 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
18 8 60
224 6 64 5 2 2 88 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
28 3 4 3 214 2 5 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
13 6 4 1 7 4 37 7 3
- ----*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
18 4 30
112 6 32 5 2 2 44 4 3
-----*a23 *b12*r6456 + ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6456
45 9 45
14 3 4 3 107 2 5 2
- ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
1 6 4 1 7 4 37 7 3
- ---*a23*b12 *kap *r6115 + ---*b12 *kap *r6248 - ----*b12 *kap *r6456,
9 8 60
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6276,
4
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6276,
2
1
---*b12*r6276,
2
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
896 6 256 5 2 1024 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + ------*a23 *b12 *kap*r6456
45 9 45
80 3 3 3 136 2 4 2
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6456
9 45
4 5 4 58 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
448 6 128 5 2 512 4 2
-----*a23 *r6456 + -----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
40 3 3 3 68 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
2 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
9 15
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
4
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 29 6 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
18 60
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
224 6 64 5 2 256 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
20 3 3 3 34 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
3 10
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
45 9 45
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
9 45
1 5 4 29 6 3
+ ----*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
18 60
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456,
6 20
112 6 32 5 2 128 4 2
-----*a23 *r6456 + ----*a23 *b12*kap *r6115 + -----*a23 *b12 *kap*r6456
15 3 15
10 3 3 3 17 2 4 2
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6456
3 15
1 5 4 29 6 3
+ ---*a23*b12 *kap *r6115 - ----*b12 *kap *r6456}}
6 20
Relevance for the application:
Modulo the following equation:
2 2
0=4*a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12
has apart from the Hamiltonian and Casimirs the following 0 first integrals:
And again in machine readable form:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12$