Solution 39 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:
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
9 9
r60=----------------------------------------------------------------
4 5
b12 *kap
r61=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r62=------------------------------------------------------------------
4 5
b12 *kap
r63=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r64=------------------------------------------------------------------
4 5
b12 *kap
r65=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
9 9
r66=----------------------------------------------------------------
4 5
b12 *kap
r67=0
r68=0
r69=0
r610=0
r611=0
r612=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r613=------------------------------------------------------------------
4 5
b12 *kap
r614=0
16 4 40 2 2 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 6*b12 *kap *r6455
3 3
r615=-------------------------------------------------------------------
4 5
b12 *kap
r616=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r617=------------------------------------------------------------------
4 5
b12 *kap
r618=0
r619=0
r620=0
r621=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r622=------------------------------------------------------------------
4 5
b12 *kap
r623=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
3 3
r624=------------------------------------------------------------------
4 5
b12 *kap
r625=0
r626=0
8 4 20 2 2 4 2
- ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
9 9
r627=----------------------------------------------------------------
4 5
b12 *kap
1
---*b12*r6276
4
r628=---------------
a23
r629=0
1
---*b12*r6276
2
r630=---------------
a23
r631=0
1
---*b12*r6276
4
r632=---------------
a23
r633=0
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
9 9
r634=--------------------------------------------------------------------
5 5
b12 *kap
r635=0
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
9 9
r636=---------------------------------------------------------------------
5 5
b12 *kap
r637=0
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
9 9
r638=--------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6276
2
r639=---------------
a23
r640=0
1
---*b12*r6276
2
r641=---------------
a23
r642=0
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
9 9
r643=---------------------------------------------------------------------
5 5
b12 *kap
r644=0
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
9 9
r645=---------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6276
4
r646=---------------
a23
r647=0
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
9 9
r648=--------------------------------------------------------------------
5 5
b12 *kap
32 7 1184 5 2 8 3 4 4
r649=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
27 135 3
266 3 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 6
29 6 3 1 7 5 6 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248)/(a23*b12 *kap )
15 8
r650=0
64 7 2368 5 2 16 3 4 4
r651=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
532 3 4 2 5 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 6
58 6 3 1 7 5 6 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248)/(a23*b12 *kap )
15 4
r652=0
32 7 1184 5 2 8 3 4 4
r653=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
27 135 3
266 3 4 2 2 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 3
29 6 3 1 7 5 6 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248)/(a23*b12 *kap )
15 8
r654= - r6276
r655=0
r656= - r6276
r657=0
128 7 1016 5 2
r658=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 135
8 3 4 4 14 3 4 2
- ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
3 27
1 6 5 4 6 3
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
6 15
1 7 5 6 5
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
4
r659=0
128 7 1016 5 2
r660=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 135
8 3 4 4 14 3 4 2
- ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
3 27
2 6 5 4 6 3
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
3 15
1 7 5 6 5
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
4
r661= - r6276
r662=0
160 7 440 5 2
r663=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
27 27
280 3 4 2 5 6 3
- -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6455
27 3
1 7 5 6 5
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
8
1 2 1 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r664=--------------------------------------
a23*b12
r665=0
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 324
r666=---------------------------------------------------------------------
3
a23*b12 *kap
r667=0
256 7 6496 5 2
r668=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 135
32 3 4 4 1288 3 4 2
+ ----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
3 27
2 6 5 136 6 3 7 5
+ ---*a23*b12 *kap *r6115 - -----*a23*b12 *kap *r6455 - b12 *kap *r6248)/
3 15
7 5
(b12 *kap )
r669=0
r670= - r6248
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276
3 12
r671=--------------------------------------
a23*b12
r672=0
r673= - r6248
8192 11 170336 9 2
r674=(------*a23 *r6455 + --------*a23 *b12 *kap*r6455
405 2025
512 7 4 4 158488 7 4 2
- -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
45 2025
136 5 6 5 17948 5 6 3
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
405 1215
584 4 7 5 11 3 8 6
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
405 162
847 3 8 4 77 2 9 6
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
12150 324
17 2 9 5 79 10 7
- -----*a23 *b12 *kap *r6317 - ------*a23*b12 *kap *r6115
270 1620
1619 10 5 103 11 7
+ -------*a23*b12 *kap *r6455 + ------*b12 *kap *r6248
12150 3240
17 11 6 3 8 5
- ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
r675=0
7168 11 123904 9 2
r676=( - ------*a23 *r6455 - --------*a23 *b12 *kap*r6455
405 2025
32 7 4 4 74312 7 4 2
- ----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
45 2025
2026 5 6 5 13862 5 6 3
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
405 1215
854 4 7 5 227 3 8 6
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
405 162
52147 3 8 4 131 2 9 6
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
12150 324
17 2 9 5 79 10 7
- -----*a23 *b12 *kap *r6317 - ------*a23*b12 *kap *r6115
270 1620
1619 10 5 103 11 7
+ -------*a23*b12 *kap *r6455 + ------*b12 *kap *r6248
12150 3240
17 11 6 3 8 5
- ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
r677= - kap*r6276
r678=0
8192 11 140096 9 2
r679=(------*a23 *r6455 + --------*a23 *b12 *kap*r6455
405 2025
32 7 4 4 152368 7 4 2
- ----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
45 2025
134 5 6 5 36092 5 6 3
+ -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
405 1215
1664 4 7 5 11 3 8 6
+ ------*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
405 162
21367 3 8 4 131 2 9 6
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
12150 324
17 2 9 5 79 10 7
- -----*a23 *b12 *kap *r6317 - ------*a23*b12 *kap *r6115
270 1620
1619 10 5 103 11 7
+ -------*a23*b12 *kap *r6455 + ------*b12 *kap *r6248
12150 3240
17 11 6 3 8 5
- ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
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
4096 11 8192 9 2
r682=( - ------*a23 *r6455 - ------*a23 *b12 *kap*r6455
45 25
128 7 4 4 78464 7 4 2
+ -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
15 225
536 5 6 5 52208 5 6 3
- -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
135 405
1616 4 7 5 22 3 8 6
- ------*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6115
135 27
31574 3 8 4 95 2 9 6
- -------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
2025 27
34 2 9 5 79 10 7
+ ----*a23 *b12 *kap *r6317 + -----*a23*b12 *kap *r6115
45 135
3238 10 5 103 11 7
- ------*a23*b12 *kap *r6455 - -----*b12 *kap *r6248
2025 270
17 11 6 2 9 5
+ ----*b12 *kap *r6317)/(a23 *b12 *kap )
90
1024 13 16448 11 2
r683=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
81 405
86624 9 4 2 32 7 6 5
+ -------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
2025 45
15812 7 6 3 32 6 7 5
+ -------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
2025 9
134 5 8 6 11054 5 8 4
- -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
405 1215
134 4 9 6 11 3 10 7
- -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6115
405 162
21547 3 10 5 199 2 11 7
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
12150 648
17 2 11 6 79 12 8
+ -----*a23 *b12 *kap *r6317 + ------*a23*b12 *kap *r6115
270 1620
1619 12 6 103 13 8
- -------*a23*b12 *kap *r6455 - ------*b12 *kap *r6248
12150 3240
17 13 7 3 10 5
+ ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
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
56 4 593 2 2 719 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 324
r6121=------------------------------------------------------------------------
3
a23*b12 *kap
1
r6122= - ---*r6251
2
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 324
r6123=---------------------------------------------------------------------
3
a23*b12 *kap
7 2 1 2
- ---*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6124=-----------------------------------------
a23*b12*kap
512 7 12992 5 2
r6125=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
27 135
64 3 4 4 2576 3 4 2
+ ----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
3 27
4 6 5 272 6 3 7 5
+ ---*a23*b12 *kap *r6115 - -----*a23*b12 *kap *r6455)/(b12 *kap )
3 15
10 4 2 2 1 4 2
- ----*a23 *r6362 - a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
3 6
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
2048 9 39232 7 2
r6131=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
64 5 4 4 6208 5 4 2
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 27
28 3 6 5 908 3 6 3
+ ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 135
4 2 7 5 8 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 3
76 8 4 1 9 6 8 5
- ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248)/(a23*b12 *kap )
9 3
8 4 2 2 1 4 2
---*a23 *r6362 + 2*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
3 3
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
128 8 2336 6 2
r6140=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 135
2416 4 4 2 76 2 6 3
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6455
135 15
3 8 4 8 6
- ---*b12 *kap *r6455)/(b12 *kap )
5
r6141=0
64 6 208 4 2
r6142=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
9 9
64 2 4 2 1 6 5 6 3
- ----*a23 *b12 *kap *r6455 + ---*b12 *kap *r6115 - 6*b12 *kap *r6455)/(
3 2
6 5
b12 *kap )
r6143=0
32 6 104 4 2
r6144=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
9 9
32 2 4 2 1 6 5 6 3
- ----*a23 *b12 *kap *r6455 + ---*b12 *kap *r6115 - 3*b12 *kap *r6455)/(
3 2
6 5
b12 *kap )
r6145=0
1
---*b12*r6251
4
r6146=---------------
a23
r6147=0
1
---*b12*r6251
4
r6148=---------------
a23
64 9 1208 7 2
r6149=( - ----*a23 *r6455 - ------*a23 *b12 *kap*r6455
9 45
8 5 4 4 434 5 4 2
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
3 6 5 472 3 6 3
+ a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
45
5 2 7 5 1 8 6
- ----*a23 *b12 *kap *r6248 + ----*a23*b12 *kap *r6115
12 12
41 8 4 5 9 6 1 9 5
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317
90 48 16
3 6 5
)/(a23 *b12 *kap )
r6150=0
64 9 1208 7 2
r6151=( - ----*a23 *r6455 - ------*a23 *b12 *kap*r6455
9 45
8 5 4 4 434 5 4 2
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
3 3 6 5 472 3 6 3
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
2 45
5 2 7 5 1 8 6
- ----*a23 *b12 *kap *r6248 + ----*a23*b12 *kap *r6115
12 12
41 8 4 5 9 6 1 9 5
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317
90 48 16
3 6 5
)/(a23 *b12 *kap )
r6152=0
1
---*b12*r6251
4
r6153=---------------
a23
32 9 688 7 2 8 5 4 4
r6154=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
9 45 3
274 5 4 2 3 6 5
- -----*a23 *b12 *kap *r6455 + a23 *b12 *kap *r6115
15
337 3 6 3 5 2 7 5
- -----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
45 12
1 8 6 41 8 4
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
12 90
5 9 6 1 9 5 3 6 5
- ----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6155=---------------------------------
a23*b12
1
r6156= - ---*r6251
2
28 4 310 2 2 100 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
3 27 27
r6157=------------------------------------------------------------------------
3
a23*b12 *kap
1
r6158= - ---*r6251
2
512 9 12992 7 2
r6159=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
64 5 4 4 15184 5 4 2
- ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 135
20 3 6 5 1696 3 6 3
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 45
5 2 7 5 1 8 6
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
82 8 4 5 9 6 1 9 5
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 12 4
2 7 5
/(a23 *b12 *kap )
4 11 2 2 1 4 2
2*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
6 3
r6160=---------------------------------------------------------------
3
a23 *b12*kap
256 9 6496 7 2 32 5 4 4
r6161=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
8744 5 4 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - 6*a23 *b12 *kap *r6115
135
1288 3 6 3 5 2 7 5
+ ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 8 6 82 8 4
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
3 45
5 9 6 1 9 5 2 7 5
+ ----*b12 *kap *r6248 - ---*b12 *kap *r6317)/(a23 *b12 *kap )
12 4
28 4 364 2 2 127 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6162=------------------------------------------------------------------------
3
a23*b12 *kap
3
r6163= - ---*r6251
2
256 9 8512 7 2 64 5 4 4
r6164=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
12848 5 4 2 3 6 5
+ -------*a23 *b12 *kap *r6455 - 8*a23 *b12 *kap *r6115
135
2096 3 6 3 10 2 7 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 3
2 8 6 164 8 4
- ---*a23*b12 *kap *r6115 + -----*a23*b12 *kap *r6455
3 45
5 9 6 1 9 5 2 7 5
+ ---*b12 *kap *r6248 - ---*b12 *kap *r6317)/(a23 *b12 *kap )
6 2
1696 7 32 5 2 3
r6165=( - ------*a23 *r6455 + ----*a23 *b12 *kap *r6115
135 3
1736 5 2 2 3 4 4
- ------*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
135 3
236 3 4 2 2 2 5 4
+ -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
135 3
1 6 5 92 6 3
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
2 45
1 7 5 1 7 4 6 4
- ---*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23*b12 *kap )
6 4
4 11 2 2 2 4 2
- 4*a23 *r6362 - ----*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
3 3
r6166=------------------------------------------------------------------
2 2
a23 *b12 *kap
256 9 3808 7 2 32 5 4 4
r6167=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6115
9 45 3
272 5 4 2 3 6 5
+ -----*a23 *b12 *kap *r6455 + 6*a23 *b12 *kap *r6115
5
178 3 6 3 4 2 7 5
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
45 3
1 8 6 98 8 4
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
1 9 6 1 9 5 8 5
- ---*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23*b12 *kap )
3 4
224 4 2480 2 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 81
r6168=-----------------------------------------------------------------------
4
b12 *kap
4 2 5 2
---*a23 *r6251 - ----*b12 *kap*r6251
3 12
r6169=--------------------------------------
a23*b12
1280 11 19424 9 2
r6170=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
32 7 4 4 13232 7 4 2
+ ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 135
170 5 6 5 5614 5 6 3
+ -----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
27 405
46 4 7 5 37 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
27 54
5714 3 8 4 169 2 9 6
+ ------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
405 108
11 2 9 5 43 10 7
+ ----*a23 *b12 *kap *r6317 - -----*a23*b12 *kap *r6115
36 108
1763 10 5 215 11 7
+ ------*a23*b12 *kap *r6455 + -----*b12 *kap *r6248
810 432
43 11 6 3 8 5
- -----*b12 *kap *r6317)/(a23 *b12 *kap )
144
224 6 2516 4 2
r6171=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
9 81
517 2 4 2 319 6 3 5
+ -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
81 324
4 2 5 2
---*a23 *r6251 + ---*b12 *kap*r6251
3 6
r6172=-------------------------------------
2
b12
8192 11 148864 9 2
r6173=( - ------*a23 *r6455 - --------*a23 *b12 *kap*r6455
27 135
128 7 4 4 46976 7 4 2
+ -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
3 45
536 5 6 5 125512 5 6 3
- -----*a23 *b12 *kap *r6115 - --------*a23 *b12 *kap *r6455
27 405
464 4 7 5 34 3 8 6
- -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
27 27
27176 3 8 4 331 2 9 6
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
405 27
25 2 9 5 43 10 7
+ ----*a23 *b12 *kap *r6317 + ----*a23*b12 *kap *r6115
9 27
3526 10 5 215 11 7
- ------*a23*b12 *kap *r6455 - -----*b12 *kap *r6248
405 108
43 11 6 2 9 5
+ ----*b12 *kap *r6317)/(a23 *b12 *kap )
36
53248 13 2860672 11 2
r6174=(-------*a23 *r6455 + ---------*a23 *b12 *kap*r6455
135 2025
256 9 4 4 2696192 9 4 2
- -----*a23 *b12 *kap *r6115 + ---------*a23 *b12 *kap *r6455
5 2025
208 7 6 5 814288 7 6 3
+ -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 2025
1312 6 7 5 1846 5 8 6
+ ------*a23 *b12 *kap *r6248 - ------*a23 *b12 *kap *r6115
45 405
571672 5 8 4 7244 4 9 6
+ --------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
6075 405
68 4 9 5 2899 3 10 7
- ----*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6115
15 810
35471 3 10 5 2249 2 11 7
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
2430 810
781 2 11 6 79 12 8
- -----*a23 *b12 *kap *r6317 - ------*a23*b12 *kap *r6115
540 1620
1619 12 6 103 13 8
+ -------*a23*b12 *kap *r6455 + ------*b12 *kap *r6248
12150 3240
17 13 7 3 10 5
- ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
r6175=0
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6176=---------------------------------
a23*b12
r6177=0
28 4 364 2 2 127 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6178=------------------------------------------------------------------------
3
a23*b12 *kap
2 1 2
- a23 *r6362 - ---*b12 *kap*r6362
2
r6179=------------------------------------
a23*b12*kap
r6180=0
5 2 1 3
----*a23 *b12*r6362 + ---*b12 *kap*r6362
12 6
r6181=------------------------------------------
3
a23
r6182=0
28 4 364 2 2 127 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6183=------------------------------------------------------------------------
3
a23*b12 *kap
5 2 1 3
----*a23 *b12*r6362 + ---*b12 *kap*r6362
12 6
r6184=------------------------------------------
3
a23
2 2
2*a23 *r6362 + b12 *kap*r6362
r6185=-------------------------------
2
b12 *kap
512 8 12992 6 2
r6186=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
64 4 4 4 2576 4 4 2
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 27
4 2 6 5 272 2 6 3
- ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 15
8 6 8 5
+ b12 *kap *r6115)/(b12 *kap )
5 2 1 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
6 3
r6187=----------------------------------------
2
a23
r6188=0
224 4 2480 2 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 81
r6189=-----------------------------------------------------------------------
4
b12 *kap
16 4 13 2 2 5 4 2
- ----*a23 *r6362 - ----*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
3 2 3
r6190=---------------------------------------------------------------------
2 2
a23 *b12 *kap
4 2 1 2
- ---*a23 *r6251 - ---*b12 *kap*r6251
3 3
r6191=----------------------------------------
2
b12
224 6 2516 4 2
r6192=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
9 81
517 2 4 2 319 6 3 5
+ -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
81 324
56 6 49 4 2 2 4 2
r6193=(----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
3 3
1 6 3 3 3
- ---*b12 *kap *r6362)/(a23 *b12 *kap)
6
6 4 2 2 2 4 2
r6194=( - 16*a23 *r6362 - 10*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362
3
1 6 3 2 4
+ ---*b12 *kap *r6362)/(a23 *b12 *kap)
3
32 6 32 4 2 4 2 4 2
r6195=(----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6455
45 45 15
3 6 3 6 4
- ---*b12 *kap *r6455)/(b12 *kap )
5
r6196=0
256 8 6592 6 2 32 4 4 4
r6197=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
6536 4 4 2 2 2 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
135 3
44 2 6 3 1 8 6 3 8 4
+ ----*a23 *b12 *kap *r6455 + ---*b12 *kap *r6115 - ---*b12 *kap *r6455)
5 2 5
8 5
/(b12 *kap )
r6198=0
r6199=0
256 11 4576 9 2
r6200=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 135
1928 7 4 2 5 6 5
+ ------*a23 *b12 *kap *r6455 + 4*a23 *b12 *kap *r6115
135
754 5 6 3 5 4 7 5
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
45 3
4 3 8 6 311 3 8 4
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 45
5 2 9 6 1 2 9 5
- ---*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6317
6 4
1 10 7 41 10 5
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
12 90
5 11 7 1 11 6 3 8 5
- ----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
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
35840 11 361216 9 2
r6203=( - -------*a23 *r6455 - --------*a23 *b12 *kap*r6455
81 135
6656 7 4 4 81248 7 4 2
+ ------*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
9 27
1840 5 6 5 66944 5 6 3
+ ------*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
9 81
20 4 7 5 32 3 8 6
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6115
3 9
148 3 8 4 10 2 9 6
- -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
3 3
2 9 5 1 10 7
- a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6115
3
82 10 5 5 11 7
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
45 12
1 11 6 2 9 5
- ---*b12 *kap *r6317)/(a23 *b12 *kap )
4
17920 11 179968 9 2
r6204=(-------*a23 *r6455 + --------*a23 *b12 *kap*r6455
81 135
3328 7 4 4 199072 7 4 2
- ------*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 135
824 5 6 5 155456 5 6 3
- -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 405
10 4 7 5 10 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
3 9
2998 3 8 4 2 9 6
+ ------*a23 *b12 *kap *r6455 - 2*a23 *b12 *kap *r6248
135
2 9 5 1 10 7
+ a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6115
3
1 10 5 7 11 7
+ ---*a23*b12 *kap *r6455 - ----*b12 *kap *r6248
9 24
1 11 6 10 5
+ ---*b12 *kap *r6317)/(a23*b12 *kap )
4
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
16 4 8 2 2 1 4 2
- ----*a23 *r6455 - ---*a23 *b12 *kap*r6455 - ---*b12 *kap *r6455
45 9 5
r6209=--------------------------------------------------------------------
4 2
b12 *kap
32 5 80 3 2 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
9 9
r6210=-----------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6362
4
r6211=---------------
a23*kap
64 5 160 3 2 4 2
- ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
9 9
r6212=------------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6362
2
r6213=---------------
a23*kap
32 5 80 3 2 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
9 9
r6214=-----------------------------------------------------------------------
5 5
b12 *kap
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
64 5 160 3 2 4 2
- ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
9 9
r6221=------------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6362
2
r6222=---------------
a23*kap
64 5 160 3 2 4 2
- ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
9 9
r6223=------------------------------------------------------------------------
5 5
b12 *kap
1
---*b12*r6362
2
r6224=---------------
a23*kap
1
---*b12*r6276
2
r6225=---------------
a23
r6226=0
1
---*b12*r6276
2
r6227=---------------
a23
32 5 80 3 2 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
9 9
r6228=-----------------------------------------------------------------------
5 5
b12 *kap
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
128 6 752 4 2 16 2 4 4
r6236=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 2 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*b12 *kap *r6115
9 3
36 6 3 6 5
+ ----*b12 *kap *r6455)/(b12 *kap )
5
- r6362
r6237=----------
kap
128 6 752 4 2 16 2 4 4
r6238=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 2 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*b12 *kap *r6115
9 3
36 6 3 6 5
+ ----*b12 *kap *r6455)/(b12 *kap )
5
- r6362
r6239=----------
kap
r6240=0
1
- ---*b12*r6251
4
r6241=------------------
a23
r6242= - r6276
128 6 752 4 2 16 2 4 4
r6243=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 2 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*b12 *kap *r6115
9 3
36 6 3 6 5
+ ----*b12 *kap *r6455)/(b12 *kap )
5
- r6362
r6244=----------
kap
r6245= - r6276
256 7 6496 5 2 32 3 4 4
r6246=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
1288 3 4 2 2 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 3
136 6 3 7 5 7 5
+ -----*a23*b12 *kap *r6455 + b12 *kap *r6248)/(b12 *kap )
15
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362
3 12
r6247=--------------------------------------
a23*b12*kap
4 4 2 2 1 4 2
---*a23 *r6362 + a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
3 6
r6249=------------------------------------------------------------
3
a23 *b12*kap
7 2 7 2
- ---*a23 *r6276 - ----*b12 *kap*r6276
3 12
r6250=-----------------------------------------
a23*b12
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 324
r6252=---------------------------------------------------------------------
3
a23*b12 *kap
512 7 12992 5 2
r6253=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
27 135
64 3 4 4 2576 3 4 2
+ ----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
3 27
4 6 5 272 6 3 7 5
+ ---*a23*b12 *kap *r6115 - -----*a23*b12 *kap *r6455 + b12 *kap *r6248)
3 15
7 5
/(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
448 7 64 5 2 3 272 5 2
r6259=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 45
4 3 4 4 448 3 4 2
- ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
16 2 5 4 152 6 3
- ----*a23 *b12 *kap *r6248 - -----*a23*b12 *kap *r6455
3 45
1 7 5 6 4
- ---*b12 *kap *r6248)/(a23*b12 *kap )
3
r6260= - r6362
r6261= - kap*r6276
4096 11 8192 9 2
r6262=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
45 25
128 7 4 4 78464 7 4 2
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
15 225
536 5 6 5 52208 5 6 3
+ -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
135 405
1616 4 7 5 22 3 8 6
+ ------*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
135 27
31574 3 8 4 95 2 9 6
+ -------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
2025 27
34 2 9 5 79 10 7
- ----*a23 *b12 *kap *r6317 - -----*a23*b12 *kap *r6115
45 135
3238 10 5 103 11 7
+ ------*a23*b12 *kap *r6455 + -----*b12 *kap *r6248
2025 270
17 11 6 2 9 5
- ----*b12 *kap *r6317)/(a23 *b12 *kap )
90
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
112 7 16 5 2 3 76 5 2
r6272=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 24 8
3 4 4
/(a23 *b12 *kap )
- r6362
r6273=----------
kap
112 7 16 5 2 3 76 5 2
r6274=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 24 8
3 4 4
/(a23 *b12 *kap )
1
---*b12*r6251
4
r6275=---------------
a23
r6277=0
- r6362
r6278=----------
kap
112 7 16 5 2 3 76 5 2
r6279=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 24 8
3 4 4
/(a23 *b12 *kap )
1
---*b12*r6251
4
r6280=---------------
a23
2*a23*r6362
r6281=-------------
b12*kap
256 9 896 7 2
r6282=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455
27 27
2336 5 4 2 16 3 6 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
135 3
80 3 6 3 5 2 7 5
- ----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
9 3
1 8 6 82 8 4
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
5 9 6 1 9 5 2 7 5
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23 *b12 *kap )
12 4
11 2 1 3
- ----*a23 *b12*r6362 - ---*b12 *kap*r6362
6 3
r6283=---------------------------------------------
3
a23
256 9 8512 7 2
r6284=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 135
64 5 4 4 10544 5 4 2
+ ----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
3 135
20 3 6 5 1216 3 6 3
+ ----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
3 45
5 2 7 5 1 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 3
82 8 4 5 9 6 1 9 5
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ---*b12 *kap *r6317)
45 12 4
2 7 5
/(a23 *b12 *kap )
1
r6285=---*r6251
2
56 4 350 2 2 119 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6286=------------------------------------------------------------------------
3
a23*b12 *kap
1
r6287=---*r6251
2
14 2 2 2
----*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6288=--------------------------------------
a23*b12*kap
256 9 12544 7 2
r6289=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
27 135
128 5 4 4 18752 5 4 2
+ -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
3 135
32 3 6 5 944 3 6 3
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
2 7 5 8 6
- 5*a23 *b12 *kap *r6248 + a23*b12 *kap *r6115
82 8 4 5 9 6 3 9 5
- ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248 + ---*b12 *kap *r6317)/
15 4 4
2 7 5
(a23 *b12 *kap )
3
r6290= - ---*r6251
2
- 2*a23*r6251
r6291=----------------
b12
224 4 2264 2 2 773 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6292=--------------------------------------------------------------------------
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
1840 7 272 5 2 3
r6295=( - ------*a23 *r6455 + -----*a23 *b12 *kap *r6115
27 27
45212 5 2 160 4 3 3
- -------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6248
405 27
127 3 4 4 3812 3 4 2
+ -----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
27 81
295 2 5 4 8 2 5 3
- -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6317
54 9
43 6 5 1763 6 3
+ ----*a23*b12 *kap *r6115 - ------*a23*b12 *kap *r6455
54 405
215 7 5 43 7 4 3 4 3
- -----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
216 72
4 2 5 2
---*a23 *r6251 - ----*b12 *kap*r6251
3 12
r6296=--------------------------------------
a23*b12
2*a23*r6362
r6297=-------------
b12
8192 11 148864 9 2
r6298=(------*a23 *r6455 + --------*a23 *b12 *kap*r6455
27 135
128 7 4 4 46976 7 4 2
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 45
536 5 6 5 125512 5 6 3
+ -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
27 405
464 4 7 5 34 3 8 6
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6115
27 27
27176 3 8 4 331 2 9 6
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
405 27
34 2 9 5 43 10 7
- ----*a23 *b12 *kap *r6317 - ----*a23*b12 *kap *r6115
9 27
3526 10 5 215 11 7
+ ------*a23*b12 *kap *r6455 + -----*b12 *kap *r6248
405 108
43 11 6 2 9 5
- ----*b12 *kap *r6317)/(a23 *b12 *kap )
36
4 2 5 2
---*a23 *r6251 + ---*b12 *kap*r6251
3 6
r6299=-------------------------------------
2
b12
r6300=0
256 7 896 5 2
r6301=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
27 27
928 3 4 2 32 6 3 7 5
- -----*a23 *b12 *kap *r6455 - ----*a23*b12 *kap *r6455)/(b12 *kap )
27 3
2 1 2
a23 *r6362 + ---*b12 *kap*r6362
2
r6302=---------------------------------
a23*b12*kap
224 5 32 3 2 3 40 3 2
r6303=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 3
2 4 4 8 4 2 5 4
- ---*a23*b12 *kap *r6115 - ---*a23*b12 *kap *r6455)/(b12 *kap )
3 5
5 2 1 3
- ----*a23 *b12*r6362 - ---*b12 *kap*r6362
12 6
r6304=---------------------------------------------
3
a23
2 1 2
a23 *r6276 + ---*b12 *kap*r6276
2
r6305=---------------------------------
a23*b12
r6306=r6251
28 4 364 2 2 127 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6307=------------------------------------------------------------------------
3
a23*b12 *kap
256 5 4 3 2 3
r6308=( - -----*a23 *r6455 + ---*a23 *b12 *kap *r6115
15 3
176 3 2 5 2 3 3
- -----*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6248
9 3
1 4 4 82 4 2
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
5 5 4 1 5 3 2 3 3
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23 *b12 *kap )
12 4
5 2 1 3
- ----*a23 *b12*r6362 - ---*b12 *kap*r6362
12 6
r6309=---------------------------------------------
3
a23
28 4 364 2 2 127 4 2
- ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6310=------------------------------------------------------------------------
3
a23*b12 *kap
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6311=-------------------------------------
2
b12
- 2*a23*r6251
r6312=----------------
b12
224 4 2264 2 2 692 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6313=--------------------------------------------------------------------------
4
b12 *kap
512 9 3008 7 2
r6314=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 135
64 5 4 4 10304 5 4 2
- ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 135
3 6 5 1412 3 6 3
- 12*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
15
20 2 7 5 5 8 6
+ ----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
652 8 4 5 9 6 9 5
+ -----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248 - b12 *kap *r6317)/(
45 3
8 5
a23*b12 *kap )
40 4 2 2 8 4 2
----*a23 *r6362 + 13*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
3 3
r6315=----------------------------------------------------------------
2 2
a23 *b12 *kap
224 4 2480 2 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
9 81 81
r6316=-----------------------------------------------------------------------
4
b12 *kap
6 59 4 2 2 4 2
r6318=( - 24*a23 *r6362 - ----*a23 *b12 *kap*r6362 - 3*a23 *b12 *kap *r6362
3
1 6 3 3 3
+ ---*b12 *kap *r6362)/(a23 *b12 *kap)
6
224 6 2516 4 2
r6319=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
9 81
517 2 4 2 319 6 3 5
+ -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
81 324
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
448 9 64 7 2 3 1024 7 2
r6325=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap*r6455
15 3 15
28 5 4 4 460 5 4 2
- ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 9
10 4 5 4 5 3 6 5
+ ----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6115
3 3
568 3 6 3 5 2 7 5
+ -----*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 2 7 4 1 8 6
- ---*a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6115
2 6
41 8 4 5 9 6 1 9 5
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 24 8
3 6 4
/(a23 *b12 *kap )
r6326=0
16 3 10 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362
3 3
r6327=-------------------------------------------
3
b12 *kap
35840 11 361216 9 2
r6328=(-------*a23 *r6455 + --------*a23 *b12 *kap*r6455
81 135
6656 7 4 4 406336 7 4 2
- ------*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 135
1840 5 6 5 67088 5 6 3
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
9 81
20 4 7 5 32 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
3 9
776 3 8 4 10 2 9 6
+ -----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
15 3
2 9 5 1 10 7
+ a23 *b12 *kap *r6317 + ---*a23*b12 *kap *r6115
3
82 10 5 5 11 7
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248
45 12
1 11 6 2 9 5
+ ---*b12 *kap *r6317)/(a23 *b12 *kap )
4
4 2 1 2
- ---*a23 *r6251 - ---*b12 *kap*r6251
3 3
r6329=----------------------------------------
2
b12
r6330=0
32 5 16 3 2 12 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
45 9 5
r6331=--------------------------------------------------------------------------
5 3
b12 *kap
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
64 6 184 4 2
r6336=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
9 9
44 2 4 2 6 3 6 5
- ----*a23 *b12 *kap *r6455 - 3*b12 *kap *r6455)/(b12 *kap )
3
r6362
r6337=-------
kap
64 9 176 7 2
r6338=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
9 9
752 5 4 2 1 3 6 5
- -----*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6115
45 3
62 3 6 3 5 2 7 5
- ----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
9 12
1 8 6 41 8 4
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
12 90
5 9 6 1 9 5 3 6 5
- ----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
r6362
r6339=-------
kap
8 7 92 5 2 1 3 4 4
r6340=(---*a23 *r6455 - ----*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
9 45 3
35 3 4 2 5 2 5 4
- ----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
9 12
1 6 5 41 6 3
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
12 90
5 7 5 1 7 4 3 4 4
- ----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
r6341=r6276
1
- ---*b12*r6251
4
r6342=------------------
a23
r6343=r6276
1
- ---*b12*r6251
4
r6344=------------------
a23
64 6 712 4 2 8 2 4 4
r6345=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
9 45 3
82 2 4 2 1 6 5 12 6 3
- ----*a23 *b12 *kap *r6455 - ---*b12 *kap *r6115 - ----*b12 *kap *r6455
9 6 5
6 5
)/(b12 *kap )
r6362
r6346=-------
kap
248 7 8 5 2 3 158 5 2
r6347=(-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
45 3 45
1 3 4 4 148 3 4 2
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
6 45
5 2 5 4 1 6 5
- ----*a23 *b12 *kap *r6248 + ----*a23*b12 *kap *r6115
12 12
41 6 3 5 7 5 1 7 4
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317
90 48 16
3 4 4
)/(a23 *b12 *kap )
r6348=r6276
1
- ---*b12*r6251
4
r6349=------------------
a23
208 4 8 2 2 3 50 2 2
r6350=(-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
45 3 9
1 4 4 3 4 2 4 4
- ---*b12 *kap *r6115 + ---*b12 *kap *r6455)/(b12 *kap )
6 5
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
256 7 5824 5 2 64 3 4 4
r6355=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 45 3
1168 3 4 2 4 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
9 3
144 6 3 7 5
+ -----*a23*b12 *kap *r6455)/(b12 *kap )
5
8 2 2 2
- ---*a23 *r6362 - ---*b12 *kap*r6362
3 3
r6356=----------------------------------------
a23*b12*kap
256 5 4 3 2 3 176 3 2
r6357=(-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 9
5 2 3 3 1 4 4
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
82 4 2 5 5 4 1 5 3
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 12 4
2 3 3
/(a23 *b12 *kap )
2 1 2
- 2*a23 *r6276 - ---*b12 *kap*r6276
2
r6358=--------------------------------------
a23*b12
r6359=r6251
224 5 32 3 2 3
r6360=( - -----*a23 *r6455 + ----*a23 *b12 *kap *r6115
15 3
40 3 2 2 4 4
- ----*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6115
3 3
8 4 2 5 4
+ ---*a23*b12 *kap *r6455)/(b12 *kap )
5
1024 9 2368 7 2
r6361=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 15
64 5 4 4 7048 5 4 2
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 45
3 6 5 5258 3 6 3
- 4*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
135
2 7 5 1 8 6
+ 4*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6
4 8 4 1 9 6 8 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248)/(a23*b12 *kap )
15 4
1376 9 32 7 2 3
r6363=(------*a23 *r6455 - ----*a23 *b12 *kap *r6115
135 3
1720 7 2 298 5 4 4
+ ------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 27
32188 5 4 2 206 4 5 4
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
405 27
199 3 6 5 2086 3 6 3
- -----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
54 81
197 2 7 5 17 2 7 4
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317
54 18
43 8 6 1763 8 4
- -----*a23*b12 *kap *r6115 + ------*a23*b12 *kap *r6455
108 810
215 9 6 43 9 5 3 6 4
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6317)/(a23 *b12 *kap )
432 144
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
512 9 9376 7 2 32 5 4 4
r6366=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
5288 5 4 2 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
135 3
1936 3 6 3 4 2 7 5
- ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
135 3
226 8 4 1 9 6 8 5
- -----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248)/(a23*b12 *kap )
45 12
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
1024 9 1280 7 2
r6369=( - ------*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 9
1024 5 4 2 3040 3 6 3
- ------*a23 *b12 *kap *r6455 - ------*a23 *b12 *kap *r6455
5 27
32 2 7 5 424 8 4
- ----*a23 *b12 *kap *r6248 - -----*a23*b12 *kap *r6455
3 45
5 9 6 9 5
- ---*b12 *kap *r6248)/(b12 *kap )
3
4096 13 75008 11 2
r6370=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
81 405
512384 9 4 2 32 7 6 5
+ --------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
2025 45
239792 7 6 3 128 6 7 5
+ --------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
2025 9
134 5 8 6 1012 5 8 4
- -----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
405 243
676 4 9 6 11 3 10 7
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6115
405 162
38827 3 10 5 113 2 11 7
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
12150 324
17 2 11 6 79 12 8
+ -----*a23 *b12 *kap *r6317 + ------*a23*b12 *kap *r6115
270 1620
1619 12 6 103 13 8
- -------*a23*b12 *kap *r6455 - ------*b12 *kap *r6248
12150 3240
17 13 7 3 10 5
+ ------*b12 *kap *r6317)/(a23 *b12 *kap )
1080
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
448 7 64 5 2 3 304 5 2
r6376=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 5
3 4 4 1616 3 4 2
- 4*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
45
10 2 5 4 2 6 5
+ ----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
164 6 3 5 7 5 1 7 4
+ -----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248 - ---*b12 *kap *r6317)
45 6 2
2 5 4
/(a23 *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
2048 9 43904 7 2
r6382=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
128 5 4 4 35104 5 4 2
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 135
8 3 6 5 32 3 6 3
+ ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6455
3 45
20 2 7 5 7 8 6
- ----*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 3
328 8 4 5 9 6 9 5
- -----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248 + b12 *kap *r6317)/(
45 3
8 5
a23*b12 *kap )
20 4 2 2 4 4 2
- ----*a23 *r6362 - 7*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
3 3
r6383=------------------------------------------------------------------
2 2
a23 *b12 *kap
1
---*b12*kap*r6251
4
r6384=-------------------
a23
224 4 2048 2 2 557 4 2
- -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
9 81 81
r6385=--------------------------------------------------------------------------
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
352 6 1112 4 2
r6391=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
45 45
1048 2 4 2 22 6 3 6 4
+ ------*a23 *b12 *kap *r6455 + ----*b12 *kap *r6455)/(b12 *kap )
45 5
8 2 5 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6392=-------------------------------------
2
b12 *kap
256 11 4576 9 2
r6393=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 135
280 7 4 2 20 5 6 5
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
27 3
308 5 6 3 5 4 7 5
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
15 3
3 3 8 6 64 3 8 4
+ ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
2 9
5 2 9 6 1 2 9 5
- ---*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6317
6 4
1 10 7 41 10 5
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
12 90
5 11 7 1 11 6 3 8 5
- ----*b12 *kap *r6248 + ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6394=-------------------------------------
2
b12
1
- ---*b12*kap*r6251
4
r6395=----------------------
a23
256 11 6592 9 2
r6396=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 135
32 7 4 4 6512 7 4 2
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 135
2 5 6 5 568 5 6 3
- ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 45
1 3 8 6 166 3 8 4
+ ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
6 45
5 2 9 6 1 10 7
+ ----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6115
12 12
41 10 5 5 11 7
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
90 48
1 11 6 3 8 5
- ----*b12 *kap *r6317)/(a23 *b12 *kap )
16
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
512 9 11216 7 2
r6399=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
32 5 4 4 1928 5 4 2
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
3 27
2 3 6 5 121 3 6 3
- ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 15
5 2 7 5 1 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 2
11 8 4 5 9 6 1 9 5
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ---*b12 *kap *r6317)
9 12 4
2 7 4
/(a23 *b12 *kap )
16 5 8 3 2 4 4 2
r6400=( - ----*a23 *r6455 - ---*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455
45 9 5
1 5 3 4 2
- ---*b12 *kap *r6317)/(a23*b12 *kap )
4
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
8 4 4 2 2 1 4 2
- ----*a23 *r6455 - ---*a23 *b12 *kap*r6455 + ---*b12 *kap *r6455
15 3 5
r6405=--------------------------------------------------------------------
4 2
b12 *kap
256 7 896 5 2
r6406=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
27 27
928 3 4 2 32 6 3 7 5
- -----*a23 *b12 *kap *r6455 - ----*a23*b12 *kap *r6455)/(b12 *kap )
27 3
2 1 2
2*a23 *r6362 + ---*b12 *kap*r6362
2
r6407=-----------------------------------
a23*b12*kap
256 5 4 3 2 3
r6408=( - -----*a23 *r6455 + ---*a23 *b12 *kap *r6115
15 3
176 3 2 5 2 3 3
- -----*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6248
9 3
1 4 4 82 4 2
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
5 5 4 1 5 3 2 3 3
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23 *b12 *kap )
12 4
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
224 5 32 3 2 3 40 3 2
r6413=(-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 3
2 4 4 8 4 2 5 4
- ---*a23*b12 *kap *r6115 - ---*a23*b12 *kap *r6455)/(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
1024 8 27904 6 2
r6419=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
27 135
128 4 4 4 32528 4 4 2
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
3 135
2 6 5 3452 2 6 3
- 8*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
45
1 8 6 36 8 4 8 5
- ---*b12 *kap *r6115 + ----*b12 *kap *r6455)/(b12 *kap )
3 5
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
1024 9 1280 7 2
r6422=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 9
1024 5 4 2 3040 3 6 3
+ ------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6455
5 27
32 2 7 5 424 8 4
+ ----*a23 *b12 *kap *r6248 + -----*a23*b12 *kap *r6455
3 45
5 9 6 9 5
+ ---*b12 *kap *r6248)/(b12 *kap )
3
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
112 7 16 5 2 3
r6430=( - -----*a23 *r6455 + ----*a23 *b12 *kap *r6115
15 3
76 5 2 3 4 4
- ----*a23 *b12 *kap*r6455 + a23 *b12 *kap *r6115
5
404 3 4 2 5 2 5 4
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
45 6
1 6 5 41 6 3
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
6 45
5 7 5 1 7 4 3 4 3
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317)/(a23 *b12 *kap )
24 8
1
- ---*b12*kap*r6251
4
r6431=----------------------
a23
16 3 10 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362
3 3
r6432=-------------------------------------------
3
b12 *kap
512 9 11024 7 2
r6433=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
27 135
32 5 4 4 1832 5 4 2
+ ----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
3 27
2 3 6 5 49 3 6 3
+ ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
3 15
5 2 7 5 1 8 6
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 2
11 8 4 5 9 6 1 9 5
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317)
9 12 4
2 7 4
/(a23 *b12 *kap )
1
r6434=---*kap*r6251
2
r6435=0
64 5 32 3 2 24 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
45 9 5
r6436=--------------------------------------------------------------------------
5 3
b12 *kap
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
256 8 1088 6 2
r6441=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
27 27
1480 4 4 2 76 2 6 3
- ------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6455
27 3
8 4 8 5
- 3*b12 *kap *r6455)/(b12 *kap )
8 2 5 2
---*a23 *r6362 + ---*b12 *kap*r6362
3 3
r6442=-------------------------------------
2
b12 *kap
8 7 172 5 2 1 3 4 4
r6443=( - ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
45 45 3
193 3 4 2 5 2 5 4
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 12
1 6 5 41 6 3
- ----*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
12 90
5 7 5 1 7 4 3 4 3
+ ----*b12 *kap *r6248 - ----*b12 *kap *r6317)/(a23 *b12 *kap )
48 16
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276
3 3
r6444=-------------------------------------
2
b12
1
---*b12*kap*r6251
4
r6445=-------------------
a23
176 4 8 2 2 3 34 2 2
r6446=( - -----*a23 *r6455 + ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap*r6455
45 3 9
1 4 4 1 4 2 4 3
+ ---*b12 *kap *r6115 - ---*b12 *kap *r6455)/(b12 *kap )
6 5
2 2 5 2 2
- ---*a23 *kap*r6276 - ----*b12 *kap *r6276
3 12
r6447=----------------------------------------------
a23*b12
r6448=0
32 5 16 3 2 12 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455
45 9 5
r6449=-----------------------------------------------------------------------
5 3
b12 *kap
2048 11 7936 9 2
r6450=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
27 27
59168 7 4 2 6664 5 6 3
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6455
135 27
64 4 7 5 3232 3 8 4
+ ----*a23 *b12 *kap *r6248 + ------*a23 *b12 *kap *r6455
3 135
16 2 9 6 5 10 5
+ ----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6455
3 3
1 11 7 10 5
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
8
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
32 5 16 3 2 12 4 2
- ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
45 9 5
r6456=--------------------------------------------------------------------------
5 3
b12 *kap
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
8 4 4 2 2 3 4 2
----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*b12 *kap *r6455
45 9 5
r6461=-----------------------------------------------------------------
4 2
b12 *kap
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, r6317, r6362, r6455, 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,
8 5 4 3 2 3 4 2
{----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
45 9 5
2 2 5 2 2
---*a23 *kap*r6276 + ----*b12 *kap *r6276,
3 12
2 3 5 2
---*a23 *r6362 + ----*a23*b12 *kap*r6362,
3 12
32 5 16 3 2 12 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
45 9 5
r6455,
4 4 5 2 2
---*a23 *r6362 + ---*a23 *b12 *kap*r6362,
3 6
2 3 5 2
---*a23 *r6362 + ----*a23*b12 *kap*r6362,
3 12
2 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
2048 11 7936 9 2 59168 7 4 2
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
27 27 135
6664 5 6 3 64 4 7 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
27 3
3232 3 8 4 16 2 9 6
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
135 3
5 10 5 1 11 7
- ---*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
3 8
32 5 16 3 2 12 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
45 9 5
2 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
176 5 8 3 2 3 34 3 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
45 3 9
1 4 4 1 4 2
- ---*a23*b12 *kap *r6115 + ---*a23*b12 *kap *r6455,
6 5
1 3
---*b12 *kap*r6251,
4
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
8 7 172 5 2 1 3 4 4
----*a23 *r6455 - -----*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
45 45 3
193 3 4 2 5 2 5 4
- -----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
45 12
1 6 5 41 6 3 5 7 5
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248
12 90 48
1 7 4
+ ----*b12 *kap *r6317,
16
8 3 5 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 3
256 9 1088 7 2 1480 5 4 2
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 27 27
76 3 6 3 8 4
+ ----*a23 *b12 *kap *r6455 + 3*a23*b12 *kap *r6455,
3
4 4 8 2 2 5 4 2
---*a23 *r6276 + ---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3 6
3 1 2
a23 *r6362 + ---*a23*b12 *kap*r6362,
2
64 5 32 3 2 24 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
45 9 5
1 3
---*b12 *kap*r6251,
2
512 10 11024 8 2 32 6 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
1832 6 4 2 2 4 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
49 4 6 3 5 3 7 5
+ ----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
15 3
1 2 8 6 11 2 8 4
+ ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
2 9
5 9 6 1 9 5
- ----*a23*b12 *kap *r6248 + ---*a23*b12 *kap *r6317,
12 4
16 3 10 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362,
3 3
1 3
---*b12 *kap*r6251,
4
112 7 16 5 2 3 76 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 24 8
8 3 5 2
---*a23 *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 7 3 2 5 4 2
----*a23 *r6362 - ---*a23 *b12 *kap*r6362 - ----*a23*b12 *kap *r6362,
3 3 12
1024 11 1280 9 2 1024 7 4 2
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 9 5
3040 5 6 3 32 4 7 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
27 3
424 3 8 4 5 2 9 6
+ -----*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248,
45 3
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
8 3 5 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 3
1024 9 27904 7 2 128 5 4 4
------*a23 *r6455 + -------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 135 3
32528 5 4 2 3 6 5
+ -------*a23 *b12 *kap *r6455 - 8*a23 *b12 *kap *r6115
135
3452 3 6 3 1 8 6
+ ------*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
45 3
36 8 4
+ ----*a23*b12 *kap *r6455,
5
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 1 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 6
224 5 32 3 2 3 40 3 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 3
2 4 4 8 4 2
- ---*a23*b12 *kap *r6115 - ---*a23*b12 *kap *r6455,
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 1 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 6
256 5 4 3 2 3 176 3 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 9
5 2 3 3 1 4 4
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
82 4 2 5 5 4 1 5 3
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 12 4
2 1 2
2*a23 *r6362 + ---*b12 *kap*r6362,
2
256 7 896 5 2 928 3 4 2
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
27 27 27
32 6 3
+ ----*a23*b12 *kap *r6455,
3
8 5 4 3 2 1 4 2
----*a23 *r6455 + ---*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455,
15 3 5
32 7 5 2 3 3 4 2
----*a23 *r6362 + 6*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
5 5
3 1 2
a23 *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
16 7 8 5 2 4 3 4 2
----*a23 *r6455 + ---*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6455
45 9 5
1 2 5 3
+ ---*a23 *b12 *kap *r6317,
4
512 10 11216 8 2 32 6 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
1928 6 4 2 2 4 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
121 4 6 3 5 3 7 5
+ -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
15 3
1 2 8 6 11 2 8 4
+ ---*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
2 9
5 9 6 1 9 5
- ----*a23*b12 *kap *r6248 + ---*a23*b12 *kap *r6317,
12 4
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
256 11 6592 9 2 32 7 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
6512 7 4 2 2 5 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
135 3
568 5 6 3 1 3 8 6
+ -----*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6115
45 6
166 3 8 4 5 2 9 6
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 12
1 10 7 41 10 5
- ----*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455
12 90
5 11 7 1 11 6
+ ----*b12 *kap *r6248 - ----*b12 *kap *r6317,
48 16
1 3
---*b12 *kap*r6251,
4
8 2 2 5 4 2
---*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276,
3 3
256 11 4576 9 2 280 7 4 2
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
27 135 27
20 5 6 5 308 5 6 3
+ ----*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
5 4 7 5 3 3 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6115
3 2
64 3 8 4 5 2 9 6
- ----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
9 6
1 2 9 5 1 10 7
+ ---*a23 *b12 *kap *r6317 + ----*a23*b12 *kap *r6115
4 12
41 10 5 5 11 7 1 11 6
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317,
90 48 16
8 3 5 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 3
352 8 1112 6 2 1048 4 4 2
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
45 45 45
22 2 6 3
+ ----*a23 *b12 *kap *r6455,
5
32 6 14 4 2 5 2 4 2
----*a23 *r6362 - ----*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362,
3 3 6
17 2 5 2
----*a23 *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 2 2
4*a23 *r6362 + 2*a23 *b12 *kap*r6362,
224 4 2048 2 2 557 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
1 3
---*b12 *kap*r6251,
4
20 4 2 2 4 4 2
----*a23 *r6362 + 7*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 3
2048 9 43904 7 2 128 5 4 4
------*a23 *r6455 + -------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 135 3
35104 5 4 2 8 3 6 5
+ -------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6115
135 3
32 3 6 3 20 2 7 5
+ ----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
45 3
7 8 6 328 8 4 5 9 6
+ ---*a23*b12 *kap *r6115 - -----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248
3 45 3
9 5
+ b12 *kap *r6317,
2 2
4*a23 *r6362 + b12 *kap*r6362,
2 3 1 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 6
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 3 1 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 6
448 7 64 5 2 3 304 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 5
3 4 4 1616 3 4 2
- 4*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
45
10 2 5 4 2 6 5
+ ----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
164 6 3 5 7 5 1 7 4
+ -----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 6 2
2 1 2
2*a23 *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
4096 15 75008 13 2
------*a23 *r6455 + -------*a23 *b12 *kap*r6455
81 405
512384 11 4 2 32 9 6 5
+ --------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
2025 45
239792 9 6 3 128 8 7 5
+ --------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
2025 9
134 7 8 6 1012 7 8 4
- -----*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6455
405 243
676 6 9 6 11 5 10 7
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6115
405 162
38827 5 10 5 113 4 11 7
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
12150 324
17 4 11 6 79 3 12 8
+ -----*a23 *b12 *kap *r6317 + ------*a23 *b12 *kap *r6115
270 1620
1619 3 12 6 103 2 13 8
- -------*a23 *b12 *kap *r6455 - ------*a23 *b12 *kap *r6248
12150 3240
17 2 13 7
+ ------*a23 *b12 *kap *r6317,
1080
1024 9 1280 7 2 1024 5 4 2
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 9 5
3040 3 6 3 32 2 7 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
27 3
424 8 4 5 9 6
+ -----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
45 3
16 6 7 4 2 5 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
3 3 12
512 9 9376 7 2 32 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
5288 5 4 2 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
135 3
1936 3 6 3 4 2 7 5
- ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
135 3
226 8 4 1 9 6
- -----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248,
45 12
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
1376 9 32 7 2 3 1720 7 2
------*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap*r6455
135 3 27
298 5 4 4 32188 5 4 2
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
27 405
206 4 5 4 199 3 6 5
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
27 54
2086 3 6 3 197 2 7 5
+ ------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
81 54
17 2 7 4 43 8 6
- ----*a23 *b12 *kap *r6317 - -----*a23*b12 *kap *r6115
18 108
1763 8 4 215 9 6 43 9 5
+ ------*a23*b12 *kap *r6455 + -----*b12 *kap *r6248 - -----*b12 *kap *r6317,
810 432 144
r6362,
1024 9 2368 7 2 64 5 4 4
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 15 3
7048 5 4 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - 4*a23 *b12 *kap *r6115
45
5258 3 6 3 2 7 5
+ ------*a23 *b12 *kap *r6455 + 4*a23 *b12 *kap *r6248
135
1 8 6 4 8 4 1 9 6
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
6 15 4
224 5 32 3 2 3 40 3 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 3
2 4 4 8 4 2
- ---*a23*b12 *kap *r6115 - ---*a23*b12 *kap *r6455,
3 5
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
256 5 4 3 2 3 176 3 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 9
5 2 3 3 1 4 4
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
82 4 2 5 5 4 1 5 3
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 12 4
8 2 2 2
---*a23 *r6362 + ---*b12 *kap*r6362,
3 3
256 7 5824 5 2 64 3 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 45 3
1168 3 4 2 4 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
9 3
144 6 3
+ -----*a23*b12 *kap *r6455,
5
2 2 1 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 6
b12*r6251,
2 1 2
2*a23 *r6276 + ---*b12 *kap*r6276,
2
208 5 8 3 2 3 50 3 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
45 3 9
1 4 4 3 4 2
- ---*a23*b12 *kap *r6115 + ---*a23*b12 *kap *r6455,
6 5
1
---*b12*r6251,
4
b12*r6276,
248 7 8 5 2 3 158 5 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
45 3 45
1 3 4 4 148 3 4 2
+ ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
6 45
5 2 5 4 1 6 5
- ----*a23 *b12 *kap *r6248 + ----*a23*b12 *kap *r6115
12 12
41 6 3 5 7 5 1 7 4
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317,
90 48 16
r6362,
64 7 712 5 2 8 3 4 4
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
9 45 3
82 3 4 2 1 6 5
+ ----*a23 *b12 *kap *r6455 + ---*a23*b12 *kap *r6115
9 6
12 6 3
+ ----*a23*b12 *kap *r6455,
5
1
---*b12*r6251,
4
b12*r6276,
1
---*b12*r6251,
4
b12*r6276,
8 7 92 5 2 1 3 4 4
---*a23 *r6455 - ----*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
9 45 3
35 3 4 2 5 2 5 4
- ----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
9 12
1 6 5 41 6 3 5 7 5
+ ----*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248
12 90 48
1 7 4
+ ----*b12 *kap *r6317,
16
r6362,
64 9 176 7 2 752 5 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
9 9 45
1 3 6 5 62 3 6 3
- ---*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6455
3 9
5 2 7 5 1 8 6
+ ----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6115
12 12
41 8 4 5 9 6 1 9 5
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ----*b12 *kap *r6317,
90 48 16
r6362,
64 7 184 5 2 44 3 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
9 9 3
6 3
+ 3*a23*b12 *kap *r6455,
4 4 2 2 5 4 2
---*a23 *r6276 + 2*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276,
3 12
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
32 5 16 3 2 12 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
45 9 5
4 2 1 3 2
---*a23 *b12*kap*r6251 + ---*b12 *kap *r6251,
3 3
35840 11 361216 9 2
-------*a23 *r6455 + --------*a23 *b12 *kap*r6455
81 135
6656 7 4 4 406336 7 4 2
- ------*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 135
1840 5 6 5 67088 5 6 3
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
9 81
20 4 7 5 32 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
3 9
776 3 8 4 10 2 9 6
+ -----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
15 3
2 9 5 1 10 7 82 10 5
+ a23 *b12 *kap *r6317 + ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
5 11 7 1 11 6
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317,
12 4
16 4 10 2 2
----*a23 *r6362 + ----*a23 *b12 *kap*r6362,
3 3
448 9 64 7 2 3 1024 7 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap*r6455
15 3 15
28 5 4 4 460 5 4 2
- ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
3 9
10 4 5 4 5 3 6 5
+ ----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6115
3 3
568 3 6 3 5 2 7 5
+ -----*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 2 7 4 1 8 6
- ---*a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6115
2 6
41 8 4 5 9 6 1 9 5
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 24 8
8 3 5 2
---*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 3
8 2 5 2
---*a23 *r6276 + ---*b12 *kap*r6276,
3 3
224 6 2516 4 2 517 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
9 81 81
319 6 3
+ -----*b12 *kap *r6276,
324
6 59 4 2 2 4 2
24*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
3
1 6 3
- ---*b12 *kap *r6362,
6
r6317,
224 4 2480 2 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
40 4 2 2 8 4 2
----*a23 *r6362 + 13*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 3
512 9 3008 7 2 64 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6115
27 135 3
10304 5 4 2 3 6 5
- -------*a23 *b12 *kap *r6455 + 12*a23 *b12 *kap *r6115
135
1412 3 6 3 20 2 7 5
- ------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
15 3
5 8 6 652 8 4 5 9 6
+ ---*a23*b12 *kap *r6115 - -----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248
3 45 3
9 5
+ b12 *kap *r6317,
224 5 2264 3 2 692 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*a23*b12 *kap *r6276,
9 81 81
2
2*a23 *b12*r6251,
8 3 5 2 2
---*a23 *kap*r6276 + ---*a23*b12 *kap *r6276,
3 3
28 4 364 2 2 127 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
5 2 2 1 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
12 6
256 5 4 3 2 3 176 3 2
-----*a23 *r6455 - ---*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 9
5 2 3 3 1 4 4
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
3 3
82 4 2 5 5 4 1 5 3
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 12 4
28 4 364 2 2 127 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
b12*r6251,
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
5 2 2 1 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
12 6
224 5 32 3 2 3 40 3 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 3
2 4 4 8 4 2
- ---*a23*b12 *kap *r6115 - ---*a23*b12 *kap *r6455,
3 5
2 1 2
a23 *r6362 + ---*b12 *kap*r6362,
2
256 7 896 5 2 928 3 4 2
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
27 27 27
32 6 3
+ ----*a23*b12 *kap *r6455,
3
4 4 5 2 3
---*a23 *b12*r6251 + ---*a23 *b12 *kap*r6251,
3 6
8192 11 148864 9 2 128 7 4 4
------*a23 *r6455 + --------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 135 3
46976 7 4 2 536 5 6 5
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
45 27
125512 5 6 3 464 4 7 5
+ --------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
405 27
34 3 8 6 27176 3 8 4
+ ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
27 405
331 2 9 6 34 2 9 5
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317
27 9
43 10 7 3526 10 5
- ----*a23*b12 *kap *r6115 + ------*a23*b12 *kap *r6455
27 405
215 11 7 43 11 6
+ -----*b12 *kap *r6248 - ----*b12 *kap *r6317,
108 36
2
2*a23 *b12*r6362,
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
1840 7 272 5 2 3 45212 5 2
------*a23 *r6455 - -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap*r6455
27 27 405
160 4 3 3 127 3 4 4
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
27 27
3812 3 4 2 295 2 5 4
+ ------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
81 54
8 2 5 3 43 6 5
- ---*a23 *b12 *kap *r6317 - ----*a23*b12 *kap *r6115
9 54
1763 6 3 215 7 5 43 7 4
+ ------*a23*b12 *kap *r6455 + -----*b12 *kap *r6248 - ----*b12 *kap *r6317,
405 216 72
16 3 7 2
----*a23 *r6362 + ---*a23*b12 *kap*r6362,
3 3
2 2 5 3
---*a23 *b12*r6251 + ----*b12 *kap*r6251,
3 12
224 4 2264 2 2 773 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
2
2*a23 *b12*r6251,
3
---*b12*r6251,
2
256 9 12544 7 2 128 5 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 135 3
18752 5 4 2 32 3 6 5
+ -------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6115
135 3
944 3 6 3 2 7 5 8 6
+ -----*a23 *b12 *kap *r6455 + 5*a23 *b12 *kap *r6248 - a23*b12 *kap *r6115
15
82 8 4 5 9 6 3 9 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248 - ---*b12 *kap *r6317,
15 4 4
14 2 2 2
----*a23 *r6362 + ---*b12 *kap*r6362,
3 3
1
---*b12*r6251,
2
56 4 350 2 2 119 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
1
---*b12*r6251,
2
256 9 8512 7 2 64 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
10544 5 4 2 20 3 6 5
+ -------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6115
135 3
1216 3 6 3 5 2 7 5
+ ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 8 6 82 8 4 5 9 6
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
3 45 12
1 9 5
- ---*b12 *kap *r6317,
4
11 2 2 1 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
6 3
256 9 896 7 2 2336 5 4 2
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 27 135
16 3 6 5 80 3 6 3
+ ----*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6455
3 9
5 2 7 5 1 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 3
82 8 4 5 9 6 1 9 5
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ---*b12 *kap *r6317,
45 12 4
2*a23*r6362,
1
---*b12*r6251,
4
112 7 16 5 2 3 76 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 24 8
r6362,
r6276,
1
---*b12*r6251,
4
112 7 16 5 2 3 76 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 24 8
r6362,
112 7 16 5 2 3 76 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap*r6455
15 3 5
3 4 4 404 3 4 2
- a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6455
45
5 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6115
6 6
41 6 3 5 7 5 1 7 4
+ ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 24 8
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 7 6 2 1 4 4 2
----*a23 *r6362 - ---*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
9 9 18
4096 13 8192 11 2 128 9 4 4
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
45 25 15
78464 9 4 2 536 7 6 5
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
225 135
52208 7 6 3 1616 6 7 5
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
405 135
22 5 8 6 31574 5 8 4
- ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
27 2025
95 4 9 6 34 4 9 5
+ ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317
27 45
79 3 10 7 3238 3 10 5
- -----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
135 2025
103 2 11 7 17 2 11 6
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317,
270 90
kap*r6276,
a23*b12*r6362,
448 7 64 5 2 3 272 5 2
-----*a23 *r6455 - ----*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap*r6455
15 3 45
4 3 4 4 448 3 4 2
- ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 15
16 2 5 4 152 6 3 1 7 5
- ----*a23 *b12 *kap *r6248 - -----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248
3 45 3
,
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 5 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
512 8 12992 6 2 64 4 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
2576 4 4 2 4 2 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
272 2 6 3 7 5
+ -----*a23 *b12 *kap *r6455 - a23*b12 *kap *r6248,
15
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 324
r6251,
7 2 7 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
4 4 2 2 1 4 2
---*a23 *r6362 + a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 6
r6248,
1 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
256 8 6496 6 2 32 4 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
1288 4 4 2 2 2 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
136 2 6 3 7 5
+ -----*a23 *b12 *kap *r6455 + a23*b12 *kap *r6248,
15
r6276,
r6362,
128 7 752 5 2 16 3 4 4
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 3 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
9 3
36 6 3
+ ----*a23*b12 *kap *r6455,
5
b12*r6276,
1
---*b12*r6251,
4
r6362,
128 7 752 5 2 16 3 4 4
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 3 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
9 3
36 6 3
+ ----*a23*b12 *kap *r6455,
5
r6362,
128 7 752 5 2 16 3 4 4
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
9 15 3
364 3 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
9 3
36 6 3
+ ----*a23*b12 *kap *r6455,
5
1
---*b12*r6251,
4
r6276,
1
---*b12*r6251,
4
r6276,
1
---*b12*r6276,
4
1
---*b12*r6362,
4
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
1
---*b12*r6276,
2
1
---*b12*r6276,
2
1
---*b12*r6362,
2
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
1
---*b12*r6362,
2
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
4
1
---*b12*r6362,
4
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
1
---*b12*r6362,
2
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
1
---*b12*r6362,
4
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
16 5 8 3 2 1 4 2
----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
45 9 5
32 6 4 2 11 2 4 2
----*a23 *r6362 + 2*a23 *b12 *kap*r6362 + ----*a23 *b12 *kap *r6362,
15 30
1 2 1 2
---*a23 *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
17920 11 179968 9 2
-------*a23 *r6455 + --------*a23 *b12 *kap*r6455
81 135
3328 7 4 4 199072 7 4 2
- ------*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 135
824 5 6 5 155456 5 6 3
- -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 405
10 4 7 5 10 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
3 9
2998 3 8 4 2 9 6 2 9 5
+ ------*a23 *b12 *kap *r6455 - 2*a23 *b12 *kap *r6248 + a23 *b12 *kap *r6317
135
1 10 7 1 10 5 7 11 7
- ---*a23*b12 *kap *r6115 + ---*a23*b12 *kap *r6455 - ----*b12 *kap *r6248
3 9 24
1 11 6
+ ---*b12 *kap *r6317,
4
35840 11 361216 9 2
-------*a23 *r6455 + --------*a23 *b12 *kap*r6455
81 135
6656 7 4 4 81248 7 4 2
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
9 27
1840 5 6 5 66944 5 6 3
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
9 81
20 4 7 5 32 3 8 6
- ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6115
3 9
148 3 8 4 10 2 9 6
+ -----*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
3 3
2 9 5 1 10 7 82 10 5
+ a23 *b12 *kap *r6317 + ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455
3 45
5 11 7 1 11 6
- ----*b12 *kap *r6248 + ---*b12 *kap *r6317,
12 4
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
256 11 4576 9 2 1928 7 4 2
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 135 135
5 6 5 754 5 6 3
+ 4*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
45
5 4 7 5 4 3 8 6
- ---*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6115
3 3
311 3 8 4 5 2 9 6
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
45 6
1 2 9 5 1 10 7
+ ---*a23 *b12 *kap *r6317 + ----*a23*b12 *kap *r6115
4 12
41 10 5 5 11 7 1 11 6
- ----*a23*b12 *kap *r6455 - ----*b12 *kap *r6248 + ----*b12 *kap *r6317,
90 48 16
256 9 6592 7 2 32 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
6536 5 4 2 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
135 3
44 3 6 3 1 8 6
+ ----*a23 *b12 *kap *r6455 + ---*a23*b12 *kap *r6115
5 2
3 8 4
- ---*a23*b12 *kap *r6455,
5
32 7 32 5 2 4 3 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6455
45 45 15
3 6 3
- ---*a23*b12 *kap *r6455,
5
6 4 2 2 2 4 2
16*a23 *r6362 + 10*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362
3
1 6 3
- ---*b12 *kap *r6362,
3
56 6 49 4 2 2 4 2
----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
3 3
1 6 3
- ---*b12 *kap *r6362,
6
224 6 2516 4 2 517 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
9 81 81
319 6 3
+ -----*b12 *kap *r6276,
324
4 4 1 2 3 2
---*a23 *b12*kap*r6251 + ---*a23 *b12 *kap *r6251,
3 3
16 4 13 2 2 5 4 2
----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 2 3
224 5 2480 3 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*a23*b12 *kap *r6276,
9 81 81
5 2 2 1 4
---*a23 *b12 *r6362 + ---*b12 *kap*r6362,
6 3
512 9 12992 7 2 64 5 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
2576 5 4 2 4 3 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
272 3 6 3 8 6
+ -----*a23 *b12 *kap *r6455 + a23*b12 *kap *r6115,
15
2 2
2*a23 *r6362 + b12 *kap*r6362,
5 2 2 1 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
12 6
28 4 364 2 2 127 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
5 2 2 1 4
----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
12 6
2 1 2
a23 *r6362 + ---*b12 *kap*r6362,
2
28 4 364 2 2 127 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
53248 15 2860672 13 2
-------*a23 *r6455 + ---------*a23 *b12 *kap*r6455
135 2025
256 11 4 4 2696192 11 4 2
- -----*a23 *b12 *kap *r6115 + ---------*a23 *b12 *kap *r6455
5 2025
208 9 6 5 814288 9 6 3
+ -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
9 2025
1312 8 7 5 1846 7 8 6
+ ------*a23 *b12 *kap *r6248 - ------*a23 *b12 *kap *r6115
45 405
571672 7 8 4 7244 6 9 6
+ --------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
6075 405
68 6 9 5 2899 5 10 7
- ----*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6115
15 810
35471 5 10 5 2249 4 11 7
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
2430 810
781 4 11 6 79 3 12 8
- -----*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6115
540 1620
1619 3 12 6 103 2 13 8
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
12150 3240
17 2 13 7
- ------*a23 *b12 *kap *r6317,
1080
8192 11 148864 9 2 128 7 4 4
------*a23 *r6455 + --------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
27 135 3
46976 7 4 2 536 5 6 5
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
45 27
125512 5 6 3 464 4 7 5
+ --------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
405 27
34 3 8 6 27176 3 8 4
+ ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
27 405
331 2 9 6 25 2 9 5
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317
27 9
43 10 7 3526 10 5
- ----*a23*b12 *kap *r6115 + ------*a23*b12 *kap *r6455
27 405
215 11 7 43 11 6
+ -----*b12 *kap *r6248 - ----*b12 *kap *r6317,
108 36
4 2 5 3
---*a23 *b12*r6251 + ---*b12 *kap*r6251,
3 6
224 6 2516 4 2 517 2 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
9 81 81
319 6 3
+ -----*b12 *kap *r6276,
324
1280 11 19424 9 2 32 7 4 4
------*a23 *r6455 + -------*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6115
27 135 3
13232 7 4 2 170 5 6 5
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
135 27
5614 5 6 3 46 4 7 5
+ ------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6248
405 27
37 3 8 6 5714 3 8 4
- ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
54 405
169 2 9 6 11 2 9 5
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6317
108 36
43 10 7 1763 10 5
- -----*a23*b12 *kap *r6115 + ------*a23*b12 *kap *r6455
108 810
215 11 7 43 11 6
+ -----*b12 *kap *r6248 - -----*b12 *kap *r6317,
432 144
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
224 4 2480 2 2 827 4 2
-----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
256 9 3808 7 2 32 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6115
9 45 3
272 5 4 2 3 6 5
+ -----*a23 *b12 *kap *r6455 + 6*a23 *b12 *kap *r6115
5
178 3 6 3 4 2 7 5
- -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
45 3
1 8 6 98 8 4 1 9 6
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248
3 45 3
1 9 5
+ ---*b12 *kap *r6317,
4
4 11 2 2 2 4 2
4*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 3
1696 7 32 5 2 3 1736 5 2
------*a23 *r6455 - ----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap*r6455
135 3 135
2 3 4 4 236 3 4 2
- ---*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6455
3 135
2 2 5 4 1 6 5
+ ---*a23 *b12 *kap *r6248 + ---*a23*b12 *kap *r6115
3 2
92 6 3 1 7 5 1 7 4
- ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248 - ---*b12 *kap *r6317,
45 6 4
256 9 8512 7 2 64 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
12848 5 4 2 3 6 5
+ -------*a23 *b12 *kap *r6455 - 8*a23 *b12 *kap *r6115
135
2096 3 6 3 10 2 7 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 3
2 8 6 164 8 4 5 9 6
- ---*a23*b12 *kap *r6115 + -----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248
3 45 6
1 9 5
- ---*b12 *kap *r6317,
2
3
---*b12*r6251,
2
28 4 364 2 2 127 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 81
256 9 6496 7 2 32 5 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
8744 5 4 2 3 6 5
+ ------*a23 *b12 *kap *r6455 - 6*a23 *b12 *kap *r6115
135
1288 3 6 3 5 2 7 5
+ ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 8 6 82 8 4 5 9 6
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
3 45 12
1 9 5
- ---*b12 *kap *r6317,
4
4 11 2 2 1 4 2
2*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
6 3
512 9 12992 7 2 64 5 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
15184 5 4 2 20 3 6 5
+ -------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6115
135 3
1696 3 6 3 5 2 7 5
+ ------*a23 *b12 *kap *r6455 + ---*a23 *b12 *kap *r6248
45 3
1 8 6 82 8 4 5 9 6
- ---*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
3 45 12
1 9 5
- ---*b12 *kap *r6317,
4
1
---*b12*r6251,
2
28 4 310 2 2 100 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
3 27 27
1
---*b12*r6251,
2
2 1 2
a23 *r6276 + ---*b12 *kap*r6276,
2
32 9 688 7 2 8 5 4 4
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
9 45 3
274 5 4 2 3 6 5
+ -----*a23 *b12 *kap *r6455 - a23 *b12 *kap *r6115
15
337 3 6 3 5 2 7 5
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 12
1 8 6 41 8 4 5 9 6
- ----*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
12 90 48
1 9 5
- ----*b12 *kap *r6317,
16
1
---*b12*r6251,
4
64 9 1208 7 2 8 5 4 4
----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
9 45 3
434 5 4 2 3 3 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
15 2
472 3 6 3 5 2 7 5
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 12
1 8 6 41 8 4 5 9 6
- ----*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
12 90 48
1 9 5
- ----*b12 *kap *r6317,
16
64 9 1208 7 2 8 5 4 4
----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
9 45 3
434 5 4 2 3 6 5
+ -----*a23 *b12 *kap *r6455 - a23 *b12 *kap *r6115
15
472 3 6 3 5 2 7 5
+ -----*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
45 12
1 8 6 41 8 4 5 9 6
- ----*a23*b12 *kap *r6115 + ----*a23*b12 *kap *r6455 + ----*b12 *kap *r6248
12 90 48
1 9 5
- ----*b12 *kap *r6317,
16
1
---*b12*r6251,
4
1
---*b12*r6251,
4
32 7 104 5 2 32 3 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
9 9 3
1 6 5 6 3
- ---*a23*b12 *kap *r6115 + 3*a23*b12 *kap *r6455,
2
64 7 208 5 2 64 3 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
9 9 3
1 6 5 6 3
- ---*a23*b12 *kap *r6115 + 6*a23*b12 *kap *r6455,
2
128 9 2336 7 2 2416 5 4 2
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
27 135 135
76 3 6 3 3 8 4
+ ----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6455,
15 5
32 8 14 6 2 1 4 4 2
----*a23 *r6362 - ----*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362,
9 9 9
16 8 25 6 2 1 4 4 2
----*a23 *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 11 2
----*a23 *r6362 + ----*a23*b12 *kap*r6362,
3 6
2
b12 *kap*r6276,
4 2 5 3
---*a23 *b12*r6251 - ----*b12 *kap*r6251,
3 12
8 4 2 2 1 4 2
---*a23 *r6362 + 2*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 3
2048 9 39232 7 2 64 5 4 4
------*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
6208 5 4 2 28 3 6 5
+ ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
27 3
908 3 6 3 4 2 7 5
+ -----*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6248
135 3
8 8 6 76 8 4 1 9 6
+ ---*a23*b12 *kap *r6115 - ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248,
3 9 3
2 2 1 2
---*a23 *r6362 + ---*b12 *kap*r6362,
3 6
11 2 5 2
----*a23 *r6362 + ----*b12 *kap*r6362,
3 12
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
3
---*b12*r6251,
2
10 4 2 2 1 4 2
----*a23 *r6362 + a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
3 6
512 7 12992 5 2 64 3 4 4
-----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
2576 3 4 2 4 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 3
272 6 3
+ -----*a23*b12 *kap *r6455,
15
7 2 1 2
---*a23 *r6362 + ----*b12 *kap*r6362,
3 12
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 324
1
---*b12*r6251,
2
56 4 593 2 2 719 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 324
1
---*b12*r6251,
2
3
---*b12*r6362,
2
r6276,
1
---*b12*r6251,
4
2*b12*r6362,
r6115,
2*b12*r6362,
r6276,
1
---*b12*r6251,
4
r6276,
1
---*b12*r6251,
4
1
---*b12*r6362,
2
r6115,
b12*r6362,
a23*r6115,
1
---*b12*r6362,
2
1
---*b12*r6362,
4
1
---*b12*r6276,
4
1
---*b12*r6362,
2
1
---*b12*r6362,
2
1
---*b12*r6276,
2
1
---*b12*r6276,
2
1
---*b12*r6362,
4
1
---*b12*r6362,
2
1
---*b12*r6362,
4
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
4
1024 15 16448 13 2
------*a23 *r6455 + -------*a23 *b12 *kap*r6455
81 405
86624 11 4 2 32 9 6 5
+ -------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6115
2025 45
15812 9 6 3 32 8 7 5
+ -------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6248
2025 9
134 7 8 6 11054 7 8 4
- -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
405 1215
134 6 9 6 11 5 10 7
- -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6115
405 162
21547 5 10 5 199 4 11 7
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
12150 648
17 4 11 6 79 3 12 8
+ -----*a23 *b12 *kap *r6317 + ------*a23 *b12 *kap *r6115
270 1620
1619 3 12 6 103 2 13 8
- -------*a23 *b12 *kap *r6455 - ------*a23 *b12 *kap *r6248
12150 3240
17 2 13 7
+ ------*a23 *b12 *kap *r6317,
1080
4096 13 8192 11 2 128 9 4 4
------*a23 *r6455 + ------*a23 *b12 *kap*r6455 - -----*a23 *b12 *kap *r6115
45 25 15
78464 9 4 2 536 7 6 5
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
225 135
52208 7 6 3 1616 6 7 5
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
405 135
22 5 8 6 31574 5 8 4
- ----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
27 2025
95 4 9 6 34 4 9 5
+ ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317
27 45
79 3 10 7 3238 3 10 5
- -----*a23 *b12 *kap *r6115 + ------*a23 *b12 *kap *r6455
135 2025
103 2 11 7 17 2 11 6
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6317,
270 90
16 6 7 4 2 1 2 4 2
----*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ----*a23 *b12 *kap *r6276,
9 9 18
8192 13 140096 11 2 32 9 4 4
------*a23 *r6455 + --------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
405 2025 45
152368 9 4 2 134 7 6 5
+ --------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6115
2025 405
36092 7 6 3 1664 6 7 5
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
1215 405
11 5 8 6 21367 5 8 4
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
162 12150
131 4 9 6 17 4 9 5
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6317
324 270
79 3 10 7 1619 3 10 5
- ------*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
1620 12150
103 2 11 7 17 2 11 6
+ ------*a23 *b12 *kap *r6248 - ------*a23 *b12 *kap *r6317,
3240 1080
kap*r6276,
7168 13 123904 11 2 32 9 4 4
------*a23 *r6455 + --------*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6115
405 2025 45
74312 9 4 2 2026 7 6 5
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6115
2025 405
13862 7 6 3 854 6 7 5
- -------*a23 *b12 *kap *r6455 - -----*a23 *b12 *kap *r6248
1215 405
227 5 8 6 52147 5 8 4
+ -----*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
162 12150
131 4 9 6 17 4 9 5
- -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6317
324 270
79 3 10 7 1619 3 10 5
+ ------*a23 *b12 *kap *r6115 - -------*a23 *b12 *kap *r6455
1620 12150
103 2 11 7 17 2 11 6
- ------*a23 *b12 *kap *r6248 + ------*a23 *b12 *kap *r6317,
3240 1080
8192 13 170336 11 2
------*a23 *r6455 + --------*a23 *b12 *kap*r6455
405 2025
512 9 4 4 158488 9 4 2
- -----*a23 *b12 *kap *r6115 + --------*a23 *b12 *kap *r6455
45 2025
136 7 6 5 17948 7 6 3
- -----*a23 *b12 *kap *r6115 + -------*a23 *b12 *kap *r6455
405 1215
584 6 7 5 11 5 8 6
+ -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6115
405 162
847 5 8 4 77 4 9 6
+ -------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6248
12150 324
17 4 9 5 79 3 10 7
- -----*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6115
270 1620
1619 3 10 5 103 2 11 7
+ -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6248
12150 3240
17 2 11 6
- ------*a23 *b12 *kap *r6317,
1080
a23*r6248,
5 2 5 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
a23*r6248,
256 8 6496 6 2 32 4 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
1288 4 4 2 2 2 6 5
+ ------*a23 *b12 *kap *r6455 - ---*a23 *b12 *kap *r6115
27 3
136 2 6 3 7 5
+ -----*a23 *b12 *kap *r6455 + a23*b12 *kap *r6248,
15
28 4 256 2 2 319 4 2
----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
9 81 324
1 2 1 2
---*a23 *r6276 + ----*b12 *kap*r6276,
3 12
160 7 440 5 2 280 3 4 2
-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
27 27 27
5 6 3 1 7 5
+ ---*a23*b12 *kap *r6455 - ---*b12 *kap *r6248,
3 8
r6276,
128 7 1016 5 2 8 3 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
27 135 3
14 3 4 2 2 6 5
+ ----*a23 *b12 *kap *r6455 + ---*a23*b12 *kap *r6115
27 3
4 6 3 1 7 5
- ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248,
15 4
128 7 1016 5 2 8 3 4 4
-----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ---*a23 *b12 *kap *r6115
27 135 3
14 3 4 2 1 6 5
+ ----*a23 *b12 *kap *r6455 + ---*a23*b12 *kap *r6115
27 6
4 6 3 1 7 5
- ----*a23*b12 *kap *r6455 - ---*b12 *kap *r6248,
15 4
r6276,
r6276,
32 7 1184 5 2 8 3 4 4
----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
27 135 3
266 3 4 2 2 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 3
29 6 3 1 7 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
15 8
64 7 2368 5 2 16 3 4 4
----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6115
27 135 3
532 3 4 2 5 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 6
58 6 3 1 7 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
15 4
32 7 1184 5 2 8 3 4 4
----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - ---*a23 *b12 *kap *r6115
27 135 3
266 3 4 2 1 6 5
+ -----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6115
27 6
29 6 3 1 7 5
+ ----*a23*b12 *kap *r6455 + ---*b12 *kap *r6248,
15 8
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
1
---*b12*r6276,
4
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
1
---*b12*r6276,
2
1
---*b12*r6276,
2
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
64 5 160 3 2 4 2
----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
9 9
32 5 80 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
9 9
1
---*b12*r6276,
4
1
---*b12*r6276,
2
1
---*b12*r6276,
4
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455,
9 9
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
16 5 40 3 2 4 2
----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 6*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455,
9 9
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 3*a23*b12 *kap *r6455,
3 3
8 5 20 3 2 4 2
---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455}}
9 9
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$