Solution 7 to problem over


Remaining equations | Expressions | Parameters | Inequalities | Relevance | Back to problem over

Equations

The following unsolved equations remain:
     2      2
0=a23  + b12 *kap


Expressions

The solution is given through the following expressions:

      1712     6          844     4    2              152     2    4    2
r60=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
      675                 225                         75

         1517     6    3                5    5
      + ------*b12 *kap *r6456)/(a23*b12 *kap )
         2700


r61=0


      1712     6          844     4    2              152     2    4    2
r62=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
      225                 75                          25

         1517     6    3                5    5
      + ------*b12 *kap *r6456)/(a23*b12 *kap )
         900


r63=0


      1712     6          844     4    2              152     2    4    2
r64=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
      225                 75                          25

         1517     6    3                5    5
      + ------*b12 *kap *r6456)/(a23*b12 *kap )
         900


r65=0


      1712     6          844     4    2              152     2    4    2
r66=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
      675                 225                         75

         1517     6    3                5    5
      + ------*b12 *kap *r6456)/(a23*b12 *kap )
         2700


r67=0


r68=0


r69=0


r610=0


r611=0


r612=0


       1712     6          844     4    2              152     2    4    2
r613=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
       225                 75                          25

          1517     6    3                5    5
       + ------*b12 *kap *r6456)/(a23*b12 *kap )
          900


r614=0


       3424     6          1688     4    2
r615=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
       225                  75

          304     2    4    2          1517     6    3                5    5
       + -----*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(a23*b12 *kap )
          25                           450


r616=0


       1712     6          844     4    2              152     2    4    2
r617=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
       225                 75                          25

          1517     6    3                5    5
       + ------*b12 *kap *r6456)/(a23*b12 *kap )
          900


r618=0


r619=0


r620=0


r621=0


       1712     6          844     4    2              152     2    4    2
r622=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
       225                 75                          25

          1517     6    3                5    5
       + ------*b12 *kap *r6456)/(a23*b12 *kap )
          900


r623=0


       1712     6          844     4    2              152     2    4    2
r624=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
       225                 75                          25

          1517     6    3                5    5
       + ------*b12 *kap *r6456)/(a23*b12 *kap )
          900


r625=0


r626=0


       1712     6          844     4    2              152     2    4    2
r627=(------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
       675                 225                         75

          1517     6    3                5    5
       + ------*b12 *kap *r6456)/(a23*b12 *kap )
          2700


r628

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r629=0


r630

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r631=0


r632

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r633=0


          6848     6          3376     4    2
r634=( - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456
          675                 225

          608     2    4    2          1517     6    3            6    5
       - -----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
          75                           675


r635=0


          13696     6          6752     4    2
r636=( - -------*a23 *r6456 - ------*a23 *b12 *kap*r6456
           675                 225

          1216     2    4    2          3034     6    3            6    5
       - ------*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


r637=0


          6848     6          3376     4    2
r638=( - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456
          675                 225

          608     2    4    2          1517     6    3            6    5
       - -----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
          75                           675


r639

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r640=0


r641

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r642=0


          13696     6          6752     4    2
r643=( - -------*a23 *r6456 - ------*a23 *b12 *kap*r6456
           675                 225

          1216     2    4    2          3034     6    3            6    5
       - ------*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


r644=0


          13696     6          6752     4    2
r645=( - -------*a23 *r6456 - ------*a23 *b12 *kap*r6456
           675                 225

          1216     2    4    2          3034     6    3            6    5
       - ------*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


r646

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r647=0


          6848     6          3376     4    2
r648=( - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456
          675                 225

          608     2    4    2          1517     6    3            6    5
       - -----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
          75                           675


          1712     6          6981489982     4    2
r649=( - ------*a23 *r6456 - ------------*a23 *b12 *kap*r6456
          675                 437707125

          443951584397     2    4    2          2959905997     6    3
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          21009942000                           396414000

          5    4
   a23*b12 *kap )


r650=0


          3424     6          13962979964     4    2
r651=( - ------*a23 *r6456 - -------------*a23 *b12 *kap*r6456
          675                  437707125

          436528071557     2    4    2          2819839717     6    3
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          10504971000                           198207000

          5    4
   a23*b12 *kap )


r652=0


          1712     6          6981489982     4    2
r653=( - ------*a23 *r6456 - ------------*a23 *b12 *kap*r6456
          675                 437707125

          429104558717     2    4    2          2679773437     6    3
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          21009942000                           396414000

          5    4
   a23*b12 *kap )


       2716     4           167      2    2               8       4    2
      ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
       3555                14220                         3555
r654=--------------------------------------------------------------------------
                              2    2    2    1     4    3
                           a23 *b12 *kap  + ---*b12 *kap
                                             4


r655=0


       2716     4           167      2    2               8       4    2
      ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
       3555                14220                         3555
r656=--------------------------------------------------------------------------
                              2    2    2    1     4    3
                           a23 *b12 *kap  + ---*b12 *kap
                                             4


r657=0


          3424     6          21363148424     4    2
r658=( - ------*a23 *r6456 - -------------*a23 *b12 *kap*r6456
          225                  437707125

          532660228397     2    4    2          3095274037     6    3
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          10504971000                           198207000

          5    4
   a23*b12 *kap )


r659=0


          3424     6          21363148424     4    2
r660=( - ------*a23 *r6456 - -------------*a23 *b12 *kap*r6456
          225                  437707125

          525236715557     2    4    2          2955207757     6    3
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          10504971000                           198207000

          5    4
   a23*b12 *kap )


       2716     4           167      2    2               8       4    2
      ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
       3555                14220                         3555
r661=--------------------------------------------------------------------------
                              2    2    2    1     4    3
                           a23 *b12 *kap  + ---*b12 *kap
                                             4


r662=0


       6848     8          8416     6    2
r663=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
       675                 675

          4265760442     4    4    2          424840318637     2    6    3
       - ------------*a23 *b12 *kap *r6456 - --------------*a23 *b12 *kap *r6456
          437707125                           21009942000

          2736152317     8    4                7    5
       - ------------*b12 *kap *r6456)/(a23*b12 *kap )
          396414000


          2716      6           397      4    2
r664=( - -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
          10665                14220

          4693      2    4    2          10697      6    3
       - -------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
          37920                          341280

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r665=0


       2716     6          17821     4    2
r666=(------*a23 *r6261 + -------*a23 *b12 *kap*r6261
       3555                14220

          1613      2    4    2           4931      6    3
       + -------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
          22752                          113760

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r667=0


       46047280256     4          425929723037     2    2
r668=(-------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
        437707125                  2626242750

          2823510217     4    2            4    3
       + ------------*b12 *kap *r6456)/(b12 *kap )
           49551750


r669=0


       49377745136     4          443484696797     2    2
r670=(-------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
        437707125                  2626242750

          2777702377     4    2            4    3
       + ------------*b12 *kap *r6456)/(b12 *kap )
           49551750


          2716     6          383      4    2
r671=( - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261
          2133                1580

          14183      2    4    2          10441      6    3
       - --------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
          113760                          341280

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r672=0


       49377745136     4          443484696797     2    2
r673=(-------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
        437707125                  2626242750

          2777702377     4    2            4    3
       + ------------*b12 *kap *r6456)/(b12 *kap )
           49551750


          730851758032     8          10382458774771     6    2
r674=( - --------------*a23 *r6456 - ----------------*a23 *b12 *kap*r6456
           6565606875                  59090461875

          46886724011     4    4    2
       - -------------*a23 *b12 *kap *r6456
           700331400

          101737066651     2    6    3          2430766717     8    4
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          39393641250                           8919315000

      3    5    3
   a23 *b12 *kap )


r675=0


          413760511264     8          18056436238786     6    2
r676=( - --------------*a23 *r6456 - ----------------*a23 *b12 *kap*r6456
           2188535625                  59090461875

          4032450507737     4    4    2
       - ---------------*a23 *b12 *kap *r6456
           31514913000

          301010436169     2    6    3          2430766717     8    4
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          26262427500                           8919315000

      3    5    3
   a23 *b12 *kap )


r677=r6261


r678=0


          929741061824     8          39361035373951     6    2
r679=( - --------------*a23 *r6456 - ----------------*a23 *b12 *kap*r6456
           2188535625                  59090461875

          8044574542601     4    4    2
       - ---------------*a23 *b12 *kap *r6456
           31514913000

          341240584369     2    6    3          2430766717     8    4
       - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
          26262427500                           8919315000

      3    5    3
   a23 *b12 *kap )


       43456     8          14248     6    2
r680=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
       31995                31995

          59941     4    4    2          3811      2    6    3
       - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
          42660                          12960

           10889      8    4            3    5    2    1         7    3
       + ---------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
          1023840                                      4


r681=0


       5153047973504     8          25809634096484     6    2
r682=(---------------*a23 *r6456 + ----------------*a23 *b12 *kap*r6456
        6565606875                   19696820625

          4651366231943     4    4    2
       + ---------------*a23 *b12 *kap *r6456
           7878728250

          1322643901261     2    6    3          2430766717     8    4
       + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456)/(
           19696820625                           743276250

      2    6    3
   a23 *b12 *kap )


          174331810528     10          36330337925872     8    2
r683=( - --------------*a23  *r6456 - ----------------*a23 *b12 *kap*r6456
           437707125                    59090461875

          12329155368434     6    4    2
       - ----------------*a23 *b12 *kap *r6456
           59090461875

          182177082773     4    6    3
       + --------------*a23 *b12 *kap *r6456
          12605965200

          6222370453949     2    8    4          2430766717     10    5
       + ---------------*a23 *b12 *kap *r6456 + ------------*b12  *kap *r6456)/(
          945447390000                           8919315000

      3    7    3
   a23 *b12 *kap )


r684=0


r685

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r686=0


r687

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r688=0


r689

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


       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


r696

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r697=0


r698

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


       1
      ---*b12*r6362
       2
r699=---------------
         a23*kap


r6100=0


        1
       ---*b12*r6362
        2
r6101=---------------
          a23*kap


r6102=0


r6103

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


        1
       ---*b12*r6362
        4
r6104=---------------
          a23*kap


           1
        - ---*r6362
           2
r6105=--------------
           kap


           106     2          106     2
        - -----*a23 *r6456 - -----*b12 *kap*r6456
           75                 75
r6106=--------------------------------------------
                                 2
                      a23*b12*kap


        - r6362
r6107=----------
         kap


           106     2          106     2
        - -----*a23 *r6456 - -----*b12 *kap*r6456
           75                 75
r6108=--------------------------------------------
                                 2
                      a23*b12*kap


           1
        - ---*r6362
           2
r6109=--------------
           kap


r6110=0


        2716     4           167      2    2               8       4    2
       ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                14220                         3555
r6111=--------------------------------------------------------------------------
                               2    2    2    1     4    3
                            a23 *b12 *kap  + ---*b12 *kap
                                              4


r6112=0


        2716     4           167      2    2               8       4    2
       ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                14220                         3555
r6113=--------------------------------------------------------------------------
                               2    2    2    1     4    3
                            a23 *b12 *kap  + ---*b12 *kap
                                              4


        - 2*r6362
r6114=------------
          kap


           106     2          106     2
        - -----*a23 *r6456 - -----*b12 *kap*r6456
           75                 75
r6115=--------------------------------------------
                                 2
                      a23*b12*kap


        - 2*r6362
r6116=------------
          kap


r6117=0


        2716     4           167      2    2               8       4    2
       ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                14220                         3555
r6118=--------------------------------------------------------------------------
                               2    2    2    1     4    3
                            a23 *b12 *kap  + ---*b12 *kap
                                              4


           3
        - ---*r6362
           2
r6119=--------------
           kap


r6120=0


           2716     6          34451     4    2
r6121=( - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           1185                14220

           58367      2    4    2           167      6    3
        - --------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261)/(
           113760                          22752

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r6122=0


        2716     6          17821     4    2
r6123=(------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        3555                14220

           1613      2    4    2           4931      6    3
        + -------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
           22752                          113760

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


        7     2          1     2
       ---*a23 *r6362 - ---*b12 *kap*r6362
        3                6
r6124=-------------------------------------
                   a23*b12*kap


r6125

      3424     4          3008     2    2              416     4    2
   - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
      225                 225                          225
=---------------------------------------------------------------------------
                                     4    3
                                  b12 *kap


        533     4          127     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        60                 16                          240
r6126=----------------------------------------------------------------------
                                      3
                                   a23 *b12*kap


r6127=0


           2716     6          383      4    2
r6128=( - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           2133                1580

           14183      2    4    2          10441      6    3
        - --------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
           113760                          341280

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


        11     2          1     2
       ----*a23 *r6362 + ---*b12 *kap*r6362
        3                 6
r6129=--------------------------------------
                   a23*b12*kap


           2     2          1     2
        - ---*a23 *r6362 + ---*b12 *kap*r6362
           3                3
r6130=----------------------------------------
                         2
                      b12 *kap


        204171910304     6          1023196995202     4    2
r6131=(--------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
         1313121375                  3939364125

           961273963621     2    4    2          2639838397     6    3
        + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456)/(
            7878728250                           148655250

          5    3
   a23*b12 *kap )


           413     4          127     2    2              373     4    2
        - -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
           30                  8                          120
r6132=-------------------------------------------------------------------------
                                       2    2
                                    a23 *b12 *kap


r6133=0


r6134=r6261


           10     2          2     2
        - ----*a23 *r6362 + ---*b12 *kap*r6362
           3                 3
r6135=-----------------------------------------
                         2
                      b12 *kap


r6136=0


        43456     8          14248     6    2
r6137=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        31995                31995

           59941     4    4    2          3811      2    6    3
        - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
           42660                          12960

            10889      8    4            3    5    2    1         7    3
        + ---------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           1023840                                      4


           16     4          35     2    2              5      4    2
        - ----*a23 *r6362 - ----*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362
           9                 9                          36
r6138=----------------------------------------------------------------------
                                          3
                                   a23*b12 *kap


        32     4          34     2    2              5      4    2
       ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 - ----*b12 *kap *r6362
        9                 9                          18
r6139=-------------------------------------------------------------------
                                      4
                                   b12 *kap


           6848     8          27248     6    2
r6140=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           9664     4    4    2          9347     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           225                           675

           469     8    4                7    5
        - -----*b12 *kap *r6456)/(a23*b12 *kap )
           540


r6141=0


        13696     8          3392     6    2
r6142=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                  75

           968     4    4    2          2153     2    6    3
        + -----*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           25                           135

           1199     8    4                7    5
        + ------*b12 *kap *r6456)/(a23*b12 *kap )
           450


r6143=0


        6848     8          1696     6    2
r6144=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        675                  75

           484     4    4    2          5144     2    6    3
        + -----*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           25                           675

           881     8    4                7    5
        + -----*b12 *kap *r6456)/(a23*b12 *kap )
           900


r6145=0


r6146=0


r6147=0


r6148=0


        13696     8          3392     6    2
r6149=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                  75

           8284     4    4    2          9457     2    6    3
        + ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           225                           675

           1183     8    4                7    5
        + ------*b12 *kap *r6456)/(a23*b12 *kap )
           450


r6150=0


        13696     8          3392     6    2
r6151=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                  75

           8284     4    4    2          1796     2    6    3
        + ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           225                           135

           173     8    4                7    5
        + -----*b12 *kap *r6456)/(a23*b12 *kap )
           90


r6152=0


r6153=0


        6848     8          1696     6    2
r6154=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        675                  75

           3928     4    4    2          3836     2    6    3
        + ------*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           225                           675

           283     8    4                7    5
        + -----*b12 *kap *r6456)/(a23*b12 *kap )
           300


           2716     6          5599      4    2
r6155=( - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           3555                14220

            103      2    4    2           4       6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          3555

       1         5    3
    + ---*a23*b12 *kap )
       4


r6156=0


           2716     6          57871     4    2
r6157=( - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           711                 14220

           16711     2    4    2           44      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          1185

       1         5    3
    + ---*a23*b12 *kap )
       4


r6158=0


        3424     4          784     2    2              496     4    2
       ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                 45                          225
r6159=-----------------------------------------------------------------------
                                        4    3
                                     b12 *kap


           131     4          389     2    2              373     4    2
        - -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
           10                 24                          120
r6160=-------------------------------------------------------------------------
                                       3
                                    a23 *b12*kap


        1712     4          2416     2    2              704     4    2
       ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                 225                          225
r6161=------------------------------------------------------------------------
                                        4    3
                                     b12 *kap


           19012     6          23023     4    2
r6162=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                14220

           5639      2    4    2           28      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          2133

       1         5    3
    + ---*a23*b12 *kap )
       4


r6163=0


        54784     8          135808     6    2
r6164=(-------*a23 *r6456 + --------*a23 *b12 *kap*r6456
         675                  675

           15008     4    4    2          62992     2    6    3
        + -------*a23 *b12 *kap *r6456 + -------*a23 *b12 *kap *r6456
            75                             675

           8944     8    4            8    5
        + ------*b12 *kap *r6456)/(b12 *kap )
           675


           54928519936     6          562465901621     4    2
r6165=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            437707125                  2626242750

           1086283118521     2    4    2          2819839717     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            10504971000                           198207000

          5    3
   a23*b12 *kap )


        131     4          389     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
         5                 12                          60
r6166=----------------------------------------------------------------------
                                     2    2
                                  a23 *b12 *kap


           72690999296     6          716865630941     4    2
r6167=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
           1313121375                  7878728250

           1284897103561     2    4    2          2759643517     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            31514913000                           594621000

          5    3
   a23*b12 *kap )


        21728     6          13162     4    2
r6168=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        2133                 1185

           22337     2    4    2          1064      6    3
        + -------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261)/(
           14220                          10665

      2    4    2    1     6    3
   a23 *b12 *kap  + ---*b12 *kap )
                     4


r6169=0


           86012858816     6          874300129661     4    2
r6170=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
           1313121375                  7878728250

           1674701560801     2    4    2          3670514797     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            31514913000                           594621000

          5    3
   a23*b12 *kap )


           86912     8          32132     6    2
r6171=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                3555

           6181     4    4    2          28357      2    6    3
        - ------*a23 *b12 *kap *r6261 - --------*a23 *b12 *kap *r6261
           4740                          341280

            4931      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           113760                                      4


r6172=0


           157545401984     6          719393233882     4    2
r6173=( - --------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            1313121375                  3939364125

           574620997681     2    4    2          1827630157     6    3
        - --------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            7878728250                           148655250

      6    3
   b12 *kap )


        572453550016     10          14113922392     8    2
r6174=(--------------*a23  *r6456 + -------------*a23 *b12 *kap*r6456
         6565606875                   787872825

           16874829115427     6    4    2
        - ----------------*a23 *b12 *kap *r6456
            118180923750

           1527103569317     4    6    3
        - ---------------*a23 *b12 *kap *r6456
            17508285000

           1160692580509     2    8    4          2430766717     10    5
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12  *kap *r6456)/
            78787282500                           8919315000

    3    7    3
(a23 *b12 *kap )


r6175=0


           2716     6          5599      4    2
r6176=( - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           3555                14220

            103      2    4    2           4       6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          3555

       1         5    3
    + ---*a23*b12 *kap )
       4


r6177=0


           19012     6          23023     4    2
r6178=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                14220

           5639      2    4    2           28      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          2133

       1         5    3
    + ---*a23*b12 *kap )
       4


          2          1     2
       a23 *r6362 + ---*b12 *kap*r6362
                     2
r6179=---------------------------------
                 a23*b12*kap


r6180=0


           111     4          365     2    2              373     4    2
        - -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
           20                 48                          240
r6181=-------------------------------------------------------------------------
                                       3
                                    a23 *b12*kap


r6182=0


           19012     6          23023     4    2
r6183=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                14220

           5639      2    4    2           28      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          2133

       1         5    3
    + ---*a23*b12 *kap )
       4


           111     4          365     2    2              373     4    2
        - -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
           20                 48                          240
r6184=-------------------------------------------------------------------------
                                       3
                                    a23 *b12*kap


               2            2
        - 2*a23 *r6362 - b12 *kap*r6362
r6185=----------------------------------
                      2
                   b12 *kap


        3424     6          3008     4    2
r6186=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        225                 225

           734     2    4    2          106     6    3                5    3
        - -----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           225                          75


        111     4          365     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        10                 24                          120
r6187=----------------------------------------------------------------------
                                     2    2
                                  a23 *b12 *kap


r6188=0


        21728     6          13162     4    2
r6189=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        2133                 1185

           22337     2    4    2          1064      6    3
        + -------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261)/(
           14220                          10665

      2    4    2    1     6    3
   a23 *b12 *kap  + ---*b12 *kap )
                     4


        365     4          627     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
         6                  8                          24
r6190=----------------------------------------------------------------------
                                     2    2
                                  a23 *b12 *kap


r6191=0


           86912     8          32132     6    2
r6192=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                3555

           6181     4    4    2          28357      2    6    3
        - ------*a23 *b12 *kap *r6261 - --------*a23 *b12 *kap *r6261
           4740                          341280

            4931      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           113760                                      4


           2278     6          11117     4    2
r6193=( - ------*a23 *r6362 - -------*a23 *b12 *kap*r6362
            15                  60

           2349     2    4    2          373     6    3            3    3
        - ------*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362)/(a23 *b12 *kap)
            80                           240


        524     6          1179     4    2
r6194=(-----*a23 *r6362 + ------*a23 *b12 *kap*r6362
         5                  10

           1079     2    4    2          373     6    3            2    4
        + ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362)/(a23 *b12 *kap)
           120                           120


           6848     8          27248     6    2
r6195=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           9364     4    4    2          8447     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           225                           675

           469     8    4                7    4
        - -----*b12 *kap *r6456)/(a23*b12 *kap )
           540


r6196=0


           6848     8          22112     6    2
r6197=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           524     4    4    2          9548     2    6    3
        - -----*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           15                           675

           4253     8    4                7    4
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           2700


r6198=0


r6199=0


           6848     8          27248     6    2
r6200=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           3344     4    4    2          10952     2    6    3
        - ------*a23 *b12 *kap *r6456 - -------*a23 *b12 *kap *r6456
            75                            675

           4349     8    4                7    4
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           2700


        10864     6          13747     4    2
r6201=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

            707      2    4    2           8       6    3                5    2
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23*b12 *kap )
           42660                          2133


r6202=0


           356096     6          145568     4    2
r6203=( - --------*a23 *r6456 - --------*a23 *b12 *kap*r6456
            675                   225

           26168     2    4    2          1429     6    3            6    3
        - -------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
            225                           675


           29481820768     8          1616778475057     6    2
r6204=( - -------------*a23 *r6456 - ---------------*a23 *b12 *kap*r6456
            262624275                  3939364125

           1545757620197     4    4    2
        - ---------------*a23 *b12 *kap *r6456
            3939364125

           6318114913543     2    6    3          2679773437     8    4
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            63029826000                           396414000

          7    3
   a23*b12 *kap )


r6205=0


        10864     6          13747     4    2
r6206=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

            707      2    4    2           8       6    3                5    2
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23*b12 *kap )
           42660                          2133


           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


           6848     8          27248     6    2
r6209=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           2025                2025

           9364     4    4    2          7772     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           675                           2025

           469      8    4                7    3
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           1620


        6848     6          3376     4    2
r6210=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        675                 225

           608     2    4    2          1517     6    3            6    5
        + -----*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


           1
        - ---*b12*r6362
           4
r6211=------------------
           a23*kap


        13696     6          6752     4    2
r6212=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                 225

           1216     2    4    2          3034     6    3            6    5
        + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
            75                           675


           1
        - ---*b12*r6362
           2
r6213=------------------
           a23*kap


        6848     6          3376     4    2
r6214=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        675                 225

           608     2    4    2          1517     6    3            6    5
        + -----*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


           1
        - ---*b12*r6362
           4
r6215=------------------
           a23*kap


r6216

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r6217=0


r6218

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r6219=0


r6220

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


        13696     6          6752     4    2
r6221=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                 225

           1216     2    4    2          3034     6    3            6    5
        + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
            75                           675


           1
        - ---*b12*r6362
           2
r6222=------------------
           a23*kap


        13696     6          6752     4    2
r6223=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                 225

           1216     2    4    2          3034     6    3            6    5
        + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
            75                           675


           1
        - ---*b12*r6362
           2
r6224=------------------
           a23*kap


r6225

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r6226=0


r6227

      1358     4           167      2    2               4       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                28440                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


        6848     6          3376     4    2
r6228=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        675                 225

           608     2    4    2          1517     6    3            6    5
        + -----*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456)/(b12 *kap )
           75                           675


           1
        - ---*b12*r6362
           4
r6229=------------------
           a23*kap


r6230

      679      4           167      2    2               2       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                56880                         3555
=-----------------------------------------------------------------------------
                          3        2    1         3    3
                       a23 *b12*kap  + ---*a23*b12 *kap
                                        4


r6231

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6232=0


r6233

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6234=0


r6235=0


        13696     6          2536     4    2
r6236=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                  75

           152     2    4    2          922     6    3                5    4
        + -----*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456)/(a23*b12 *kap )
            9                           675


       r6362
r6237=-------
        kap


        13696     6          2536     4    2
r6238=(-------*a23 *r6456 + ------*a23 *b12 *kap*r6456
         675                  75

           152     2    4    2          922     6    3                5    4
        + -----*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456)/(a23*b12 *kap )
            9                           675


       r6362
r6239=-------
        kap


r6240=0


r6241=0


        2716     4           167      2    2               8       4    2
       ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                14220                         3555
r6242=--------------------------------------------------------------------------
                               2    2    2    1     4    3
                            a23 *b12 *kap  + ---*b12 *kap
                                              4


           27392     8          54208     6    2
r6243=( - -------*a23 *r6456 - -------*a23 *b12 *kap*r6456
            675                  675

           13192     4    4    2          13856     2    6    3
        - -------*a23 *b12 *kap *r6456 - -------*a23 *b12 *kap *r6456
            225                            675

           2446     8    4                7    5
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           675


       r6362
r6244=-------
        kap


        2716     4           167      2    2               8       4    2
       ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                14220                         3555
r6245=--------------------------------------------------------------------------
                               2    2    2    1     4    3
                            a23 *b12 *kap  + ---*b12 *kap
                                              4


           46047280256     4          425929723037     2    2
r6246=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            437707125                  2626242750

           2823510217     4    2            4    3
        - ------------*b12 *kap *r6456)/(b12 *kap )
            49551750


           1     2          1     2
        - ---*a23 *r6362 + ---*b12 *kap*r6362
           3                6
r6247=----------------------------------------
                    a23*b12*kap


           49377745136     4          443484696797     2    2
r6248=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            437707125                  2626242750

           2777702377     4    2            4    3
        - ------------*b12 *kap *r6456)/(b12 *kap )
            49551750


           413     4          127     2    2              373     4    2
        - -----*a23 *r6362 - -----*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
           60                 16                          240
r6249=-------------------------------------------------------------------------
                                       3
                                    a23 *b12*kap


        19012     6          539     4    2
r6250=(-------*a23 *r6261 + -----*a23 *b12 *kap*r6261
        10665                948

           13871      2    4    2          11209      6    3
        - --------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
           113760                          341280

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r6251=0


        2716     6          17821     4    2
r6252=(------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        3555                14220

           1613      2    4    2           4931      6    3
        + -------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
           22752                          113760

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


           56038674896     4          478594644317     2    2
r6253=( - -------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            437707125                  2626242750

           2686086697     4    2            4    3
        - ------------*b12 *kap *r6456)/(b12 *kap )
            49551750


           5     2          1     2
        - ---*a23 *r6362 - ---*b12 *kap*r6362
           3                6
r6254=----------------------------------------
                    a23*b12*kap


           2716     6          383      4    2
r6255=( - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           2133                1580

           14183      2    4    2          10441      6    3
        - --------*a23 *b12 *kap *r6261 - --------*b12 *kap *r6261)/(
           113760                          341280

      3    3    2    1         5    3
   a23 *b12 *kap  + ---*a23*b12 *kap )
                     4


r6256= - r6261


r6257=0


r6258=0


        823348570976     6          3863810213224     4    2
r6259=(--------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
         1313121375                  3939364125

           2967335981053     2    4    2          3095274037     6    3
        + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456)/(
            7878728250                            148655250

          5    3
   a23*b12 *kap )


r6260= - r6362


           5153047973504     8          25809634096484     6    2
r6262=( - ---------------*a23 *r6456 - ----------------*a23 *b12 *kap*r6456
            6565606875                   19696820625

           4651366231943     4    4    2
        - ---------------*a23 *b12 *kap *r6456
            7878728250

           1322643901261     2    6    3          2430766717     8    4
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            19696820625                           743276250

      2    6    3
   a23 *b12 *kap )


        16     4          17     2    2              5      4    2
       ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 - ----*b12 *kap *r6362
        9                 9                          36
r6263=-------------------------------------------------------------------
                                        3
                                 a23*b12 *kap


        43456     8          14248     6    2
r6264=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        31995                31995

           59941     4    4    2          3811      2    6    3
        - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
           42660                          12960

            10889      8    4            3    5    2    1         7    3
        + ---------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           1023840                                      4


r6265=0


r6266=0


r6267

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6268=0


r6269

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6270=0


       r6362
r6271=-------
        kap


        856     4          872     2    2              16      4    2
       -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                225                         225
r6272=----------------------------------------------------------------------
                                         3    3
                                  a23*b12 *kap


       r6362
r6273=-------
        kap


        856     4          872     2    2              16      4    2
       -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                225                         225
r6274=----------------------------------------------------------------------
                                         3    3
                                  a23*b12 *kap


r6275=0


r6276

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6277=0


       r6362
r6278=-------
        kap


        856     4          872     2    2              16      4    2
       -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                225                         225
r6279=----------------------------------------------------------------------
                                         3    3
                                  a23*b12 *kap


r6280=0


        - 2*a23*r6362
r6281=----------------
          b12*kap


           168     2          168     2
        - -----*a23 *r6456 - -----*b12 *kap*r6456
           25                 25
r6282=--------------------------------------------
                          2    2
                       b12 *kap


        111     4          389     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        10                 24                          120
r6283=----------------------------------------------------------------------
                                      3
                                   a23 *b12*kap


r6284

      3424     4          904     2    2              1096     4    2
   - ------*a23 *r6456 - -----*a23 *b12 *kap*r6456 - ------*b12 *kap *r6456
      225                 45                          225
=---------------------------------------------------------------------------
                                     4    3
                                  b12 *kap


r6285=0


           1358     2          64      2
        - ------*a23 *r6261 + -----*b12 *kap*r6261
           711                 711
r6286=---------------------------------------------
                       a23*b12*kap


r6287=0


           14     2          2     2
        - ----*a23 *r6362 - ---*b12 *kap*r6362
           3                 3
r6288=-----------------------------------------
                     a23*b12*kap


r6289

      6848     4          8008     2    2              232     4    2
   - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456 - -----*b12 *kap *r6456
      225                 225                          45
=---------------------------------------------------------------------------
                                     4    3
                                  b12 *kap


r6290=0


r6291=0


r6292

      86912     4          82816     2    2              6569      4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261
      10665                10665                         10665
=-------------------------------------------------------------------------------
                                       4    2
                                    b12 *kap


r6293=0


        16     2          1     2
       ----*a23 *r6362 + ---*b12 *kap*r6362
        3                 3
r6294=--------------------------------------
                        2
                     b12 *kap


        424     4          488     2    2              64      4    2
       -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                225                         225
r6295=----------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


r6296=0


       2*a23*r6362
r6297=-------------
           b12


        381700101568     6          1992421783844     4    2
r6298=(--------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
         437707125                   1313121375

           988983742681     2    4    2          2672872897     6    3
        + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456)/(
            1313121375                            24775875

      6    3
   b12 *kap )


r6299=0


r6300=0


        8     2          8     2
       ---*a23 *r6456 + ---*b12 *kap*r6456
        3                3
r6301=-------------------------------------
                       2    2
                    b12 *kap


             2          1     2
        - a23 *r6362 - ---*b12 *kap*r6362
                        2
r6302=------------------------------------
                  a23*b12*kap


        1712     4          2104     2    2              392     4    2
       ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                 225                          225
r6303=------------------------------------------------------------------------
                                        4    3
                                     b12 *kap


        111     4          365     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        20                 48                          240
r6304=----------------------------------------------------------------------
                                      3
                                   a23 *b12*kap


           2716     6          5599      4    2
r6305=( - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           3555                14220

            103      2    4    2           4       6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          3555

       1         5    3
    + ---*a23*b12 *kap )
       4


r6306=0


           19012     6          23023     4    2
r6307=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                14220

           5639      2    4    2           28      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          2133

       1         5    3
    + ---*a23*b12 *kap )
       4


        8     2          8     2
       ---*a23 *r6456 + ---*b12 *kap*r6456
        5                5
r6308=-------------------------------------
                       2    2
                    b12 *kap


        111     4          365     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        20                 48                          240
r6309=----------------------------------------------------------------------
                                      3
                                   a23 *b12*kap


           19012     6          23023     4    2
r6310=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                14220

           5639      2    4    2           28      6    3            3    3    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           28440                          2133

       1         5    3
    + ---*a23*b12 *kap )
       4


           21728     6          1546     4    2
r6311=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6312=0


r6313

      86912     4          82816     2    2              4096      4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                10665                         10665
=-------------------------------------------------------------------------------
                                       4    2
                                    b12 *kap


        23968     6          11576     4    2
r6314=(-------*a23 *r6456 + -------*a23 *b12 *kap*r6456
         675                  225

           1448     2    4    2          922     6    3                5    3
        + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456)/(a23*b12 *kap )
            75                           675


           1532     4                2    2              373     4    2
        - ------*a23 *r6362 - 128*a23 *b12 *kap*r6362 - -----*b12 *kap *r6362
            15                                           15
r6315=------------------------------------------------------------------------
                                      2    2
                                   a23 *b12 *kap


        21728     6          13162     4    2
r6316=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        2133                 1185

           22337     2    4    2          1064      6    3
        + -------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261)/(
           14220                          10665

      2    4    2    1     6    3
   a23 *b12 *kap  + ---*b12 *kap )
                     4


           197510980544     6          210314884706     4    2
r6317=( - --------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            262624275                   157574565

           1071856291681     2    4    2          568384289     6    3
        - ---------------*a23 *b12 *kap *r6456 - -----------*b12 *kap *r6456)/(
            1575745650                             5946210

      6    3
   b12 *kap )


        786     6          11317     4    2
r6318=(-----*a23 *r6362 + -------*a23 *b12 *kap*r6362
         5                  60

           2349     2    4    2          373     6    3            3    3
        + ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362)/(a23 *b12 *kap)
            80                           240


           86912     8          32132     6    2
r6319=( - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
           10665                3555

           6181     4    4    2          28357      2    6    3
        - ------*a23 *b12 *kap *r6261 - --------*a23 *b12 *kap *r6261
           4740                          341280

            4931      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           113760                                      4


r6320=0


r6321=0


           21728     6          1546     4    2
r6322=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6323=0


        8     2          5     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                3
r6324=-------------------------------------
                       2
                    b12 *kap


        3424     6          1448     4    2
r6325=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        225                  75

           104     2    4    2          16      6    3                5    3
        + -----*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456)/(a23*b12 *kap )
           25                           225


r6326=0


           16     3          10         2
        - ----*a23 *r6362 - ----*a23*b12 *kap*r6362
           3                 3
r6327=----------------------------------------------
                            3
                         b12 *kap


        356096     6          145568     4    2
r6328=(--------*a23 *r6456 + --------*a23 *b12 *kap*r6456
         675                   225

           26168     2    4    2          2104     6    3            6    3
        + -------*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(b12 *kap )
            225                           675


r6329=0


r6330=0


r6331=r6456


        1     2          1      2
       ---*a23 *r6362 + ----*b12 *kap*r6362
        3                12
r6332=--------------------------------------
                     a23*b12


        10864     6          13747     4    2
r6333=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

            707      2    4    2           8       6    3                5    2
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23*b12 *kap )
           42660                          2133


r6334=0


r6335=0


           1712     6          844     4    2
r6336=( - ------*a23 *r6456 - -----*a23 *b12 *kap*r6456
           135                 45

           122     2    4    2          437     6    3                5    4
        - -----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           15                           540


        - r6362
r6337=----------
         kap


           3424     6          1688     4    2
r6338=( - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456
           225                  75

           244     2    4    2          437     6    3                5    4
        - -----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           25                           450


        - r6362
r6339=----------
         kap


           1712     6          844     4    2
r6340=( - ------*a23 *r6456 - -----*a23 *b12 *kap*r6456
           675                 225

           122     2    4    2          437      6    3                5    4
        - -----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(a23*b12 *kap )
           75                           2700


r6341

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6342=0


r6343

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6344=0


           3424     6          4636     4    2
r6345=( - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456
           225                 225

           352     2    4    2          421     6    3                5    4
        - -----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           45                           450


        - r6362
r6346=----------
         kap


           3424     6          28     4    2
r6347=( - ------*a23 *r6456 - ----*a23 *b12 *kap*r6456
           675                 5

           296     2    4    2          389      6    3                5    4
        - -----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(a23*b12 *kap )
           225                          1350


r6348

      2716     4           167      2    2               8       4    2
   - ------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                14220                         3555
=-----------------------------------------------------------------------------
                           2    2    2    1     4    3
                        a23 *b12 *kap  + ---*b12 *kap
                                          4


r6349=0


           1712     6          416     4    2
r6350=( - ------*a23 *r6456 - -----*a23 *b12 *kap*r6456
           675                 225

           14     2    4    2          341      6    3                5    4
        + ----*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456)/(a23*b12 *kap )
           45                          2700


r6351

      5432     4          167      2    2               16      4    2
   - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                7110                         3555
=----------------------------------------------------------------------------
                                       3    2
                                a23*b12 *kap


r6352=0


r6353

      5432      4           167      2    2               16       4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                21330                         10665
=-------------------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


r6354=0


        3424     4          2408     2    2              1016     4    2
       ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 - ------*b12 *kap *r6456
        225                 225                          225
r6355=-------------------------------------------------------------------------
                                         4    3
                                      b12 *kap


        8     2          2     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                3
r6356=-------------------------------------
                   a23*b12*kap


           8     2          8     2
        - ---*a23 *r6456 - ---*b12 *kap*r6456
           5                5
r6357=----------------------------------------
                        2    2
                     b12 *kap


        5432     4          167      2    2               16      4    2
       ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261
        3555                7110                         3555
r6358=-------------------------------------------------------------------------
                                           3    2
                                    a23*b12 *kap


r6359=0


r6360

      1712     4          2104     2    2              392     4    2
   - ------*a23 *r6456 - ------*a23 *b12 *kap*r6456 - -----*b12 *kap *r6456
      225                 225                          225
=---------------------------------------------------------------------------
                                     4    3
                                  b12 *kap


           197510980544     6          940507179106     4    2
r6361=( - --------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            437707125                   1313121375

           2963600880253     2    4    2          3095274037     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            10504971000                           198207000

          5    3
   a23*b12 *kap )


           200841445424     6          937589131606     4    2
r6363=( - --------------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
            1313121375                  3939364125

           2842536925573     2    4    2          2759643517     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            31514913000                           594621000

          5    3
   a23*b12 *kap )


        21728     6          1546     4    2
r6364=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                1185

           14027     2    4    2          2165     6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          8532

       1     6    3
    + ---*b12 *kap )
       4


r6365=0


        13696     8          104081584144     6    2
r6366=(-------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
         405                  1313121375

           705405928126     4    4    2
        - --------------*a23 *b12 *kap *r6456
            3939364125

           2181346269373     2    6    3          1028929357     8    4
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            31514913000                           594621000

          7    4
   a23*b12 *kap )


        43456     8          14248     6    2
r6367=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

           59941     4    4    2          4891     2    6    3
        - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
           14220                          4320

           10441      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           341280                                      4


r6368=0


        1580087844352     6          7948474349792     4    2
r6369=(---------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
         1313121375                   3939364125

           7187529333377     2    4    2          2850378277     6    3
        + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456)/(
            7878728250                             29731050

      6    3
   b12 *kap )


           697327242112     10          156915709643872     8    2
r6370=( - --------------*a23  *r6456 - -----------------*a23 *b12 *kap*r6456
            437707125                     59090461875

           68673847046099     6    4    2
        - ----------------*a23 *b12 *kap *r6456
            59090461875

           314399489357     4    6    3
        - --------------*a23 *b12 *kap *r6456
            3501657000

           1127219375083     2    8    4          2430766717     10    5
        + ---------------*a23 *b12 *kap *r6456 + ------------*b12  *kap *r6456)/
           118180923750                           8919315000

    3    7    3
(a23 *b12 *kap )


r6371=0


r6372

      5432     4          167      2    2               16      4    2
   - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                7110                         3555
=----------------------------------------------------------------------------
                                       3    2
                                a23*b12 *kap


r6373=0


r6374

      5432      4           167      2    2               16       4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                21330                         10665
=-------------------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


            2          1     2
       2*a23 *r6362 + ---*b12 *kap*r6362
                       2
r6375=-----------------------------------
                  a23*b12*kap


        3424     4          3488     2    2              64      4    2
       ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                 225                          225
r6376=------------------------------------------------------------------------
                                        4    3
                                     b12 *kap


        2     2          1     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                6
r6377=-------------------------------------
                   a23*b12*kap


r6378=0


r6379

      5432      4           167      2    2               16       4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                21330                         10665
=-------------------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


        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


        6848     6          5056     4    2
r6382=(------*a23 *r6456 + ------*a23 *b12 *kap*r6456
        225                 225

           422     2    4    2          106     6    3                5    3
        - -----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           45                           75


        766     4          129     2    2              373     4    2
       -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362
        15                  2                          30
r6383=----------------------------------------------------------------------
                                     2    2
                                  a23 *b12 *kap


r6384=0


           21728     6          2014     4    2
r6385=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           3555                 237

           2439     2    4    2          328      6    3            2    4    2
        - ------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           1580                          3555

       1     6    3
    + ---*b12 *kap )
       4


               2              2
        - 4*a23 *r6362 - 2*b12 *kap*r6362
r6386=------------------------------------
                       2
                    b12 *kap


r6387=0


        43456     8          14248     6    2
r6388=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

           59941     4    4    2          4891     2    6    3
        - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
           14220                          4320

           10441      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           341280                                      4


           7     2          1     2
        - ---*a23 *r6362 + ---*b12 *kap*r6362
           3                6
r6389=----------------------------------------
                      a23*b12


        32     4          34     2    2              1     4    2
       ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
        3                 3                          3
r6390=------------------------------------------------------------------
                                      4
                                   b12 *kap


           6848     8          27248     6    2
r6391=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           9364     4    4    2          9797     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           225                           675

           437     8    4                7    4
        - -----*b12 *kap *r6456)/(a23*b12 *kap )
           270


           8     2          5     2
        - ---*a23 *r6362 - ---*b12 *kap*r6362
           3                3
r6392=----------------------------------------
                         2
                      b12 *kap


           6848     8          27248     6    2
r6393=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           2092     4    4    2          2506     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
            45                           135

           97     8    4                7    4
        - ----*b12 *kap *r6456)/(a23*b12 *kap )
           54


           21728     6          1546     4    2
r6394=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6395=0


           6848     8          22112     6    2
r6396=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           675                  675

           524     4    4    2          9818     2    6    3
        - -----*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           15                           675

           2329     8    4                7    4
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           1350


        10864     8          4379     6    2
r6397=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2133

           788      4    4    2           323      2    6    3
        + ------*a23 *b12 *kap *r6261 + -------*a23 *b12 *kap *r6261
           1185                          85320

            4       8    4            3    5    2    1         7    3
        - ------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           2133                                      4


r6398=0


           3424     8          1784     6    2
r6399=( - ------*a23 *r6456 + ------*a23 *b12 *kap*r6456
           2025                2025

           248     4    4    2          11329     2    6    3
        - -----*a23 *b12 *kap *r6456 - -------*a23 *b12 *kap *r6456
           675                          2025

           1327     8    4            2    6    3
        - ------*b12 *kap *r6456)/(a23 *b12 *kap )
           2025


        49377745136     6          105325521889     4    2
r6400=(-------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
         262624275                  315149130

           1080260268481     2    4    2          563627321     6    3
        + ---------------*a23 *b12 *kap *r6456 + -----------*b12 *kap *r6456)/(
            6302982600                            23784840

          5    2
   a23*b12 *kap )


r6401=0


        10864     8          4379     6    2
r6402=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2133

           788      4    4    2           323      2    6    3
        + ------*a23 *b12 *kap *r6261 + -------*a23 *b12 *kap *r6261
           1185                          85320

            4       8    4            3    5    2    1         7    3
        - ------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           2133                                      4


             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


           13696     8          54496     6    2
r6405=( - -------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           2025                 2025

           18728     4    4    2          15544     2    6    3
        - -------*a23 *b12 *kap *r6456 - -------*a23 *b12 *kap *r6456
            675                           2025

           1343     8    4                7    3
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           1620


        8     2          8     2
       ---*a23 *r6456 + ---*b12 *kap*r6456
        3                3
r6406=-------------------------------------
                       2    2
                    b12 *kap


               2          1     2
        - 2*a23 *r6362 - ---*b12 *kap*r6362
                          2
r6407=--------------------------------------
                   a23*b12*kap


        8     2          8     2
       ---*a23 *r6456 + ---*b12 *kap*r6456
        5                5
r6408=-------------------------------------
                       2    2
                    b12 *kap


           2     2          1     2
        - ---*a23 *r6362 - ---*b12 *kap*r6362
           3                6
r6409=----------------------------------------
                    a23*b12*kap


r6410

      5432     4          167      2    2               16      4    2
   - ------*a23 *r6261 - ------*a23 *b12 *kap*r6261 + ------*b12 *kap *r6261
      3555                7110                         3555
=----------------------------------------------------------------------------
                                       3    2
                                a23*b12 *kap


r6411=0


r6412

      5432      4           167      2    2               16       4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                21330                         10665
=-------------------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


        1712     4          2104     2    2              392     4    2
       ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456
        225                 225                          225
r6413=------------------------------------------------------------------------
                                        4    3
                                     b12 *kap


           2     2          1     2
        - ---*a23 *r6362 - ---*b12 *kap*r6362
           3                6
r6414=----------------------------------------
                    a23*b12*kap


r6415

      5432      4           167      2    2               16       4    2
   - -------*a23 *r6261 - -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261
      10665                21330                         10665
=-------------------------------------------------------------------------------
                                         3    2
                                  a23*b12 *kap


           21728     6          1546     4    2
r6416=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6417=0


r6418=0


        6848     6          13624     4    2
r6419=(------*a23 *r6456 + -------*a23 *b12 *kap*r6456
        135                  225

           2968     2    4    2          922     6    3                5    3
        + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456)/(a23*b12 *kap )
           225                           675


        8     2          5     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                3
r6420=-------------------------------------
                       2
                    b12 *kap


        21728     6          1546     4    2
r6421=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                1185

            193      2    4    2           8       6    3            2    4    2
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


           1580087844352     6          7948474349792     4    2
r6422=( - ---------------*a23 *r6456 - ---------------*a23 *b12 *kap*r6456
            1313121375                   3939364125

           7187529333377     2    4    2          2850378277     6    3
        - ---------------*a23 *b12 *kap *r6456 - ------------*b12 *kap *r6456)/(
            7878728250                             29731050

      6    3
   b12 *kap )


        16     4          17     2    2              1     4    2
       ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
        3                 3                          6
r6423=------------------------------------------------------------------
                                        3
                                 a23*b12 *kap


        43456     8          14248     6    2
r6424=(-------*a23 *r6261 + -------*a23 *b12 *kap*r6261
        10665                10665

           59941     4    4    2          4891     2    6    3
        - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
           14220                          4320

           10441      8    4            3    5    2    1         7    3
        - --------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           341280                                      4


r6425=0


r6426=0


           21728     6          1546     4    2
r6427=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6428=0


        8     2          5     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                3
r6429=-------------------------------------
                       2
                    b12 *kap


           856     4          872     2    2              16      4    2
        - -----*a23 *r6456 - -----*a23 *b12 *kap*r6456 - -----*b12 *kap *r6456
           225                225                         225
r6430=-------------------------------------------------------------------------
                                           3    2
                                    a23*b12 *kap


r6431=0


           16     3          10         2
        - ----*a23 *r6362 - ----*a23*b12 *kap*r6362
           3                 3
r6432=----------------------------------------------
                            3
                         b12 *kap


        3424     8          1784     6    2
r6433=(------*a23 *r6456 - ------*a23 *b12 *kap*r6456
        2025                2025

           248     4    4    2          7279     2    6    3
        + -----*a23 *b12 *kap *r6456 + ------*a23 *b12 *kap *r6456
           675                          2025

           1327     8    4            2    6    3
        + ------*b12 *kap *r6456)/(a23 *b12 *kap )
           2025


r6434=0


r6435=0


r6436=2*r6456


          2          1     2
       a23 *r6362 + ---*b12 *kap*r6362
                     2
r6437=---------------------------------
                   a23*b12


        10864     8          4379     6    2
r6438=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2133

           788      4    4    2           323      2    6    3
        + ------*a23 *b12 *kap *r6261 + -------*a23 *b12 *kap *r6261
           1185                          85320

            4       8    4            3    5    2    1         7    3
        - ------*b12 *kap *r6261)/(a23 *b12 *kap  + ---*a23*b12 *kap )
           2133                                      4


r6439=0


r6440=0


           1712     6          724     4    2
r6441=( - ------*a23 *r6456 - -----*a23 *b12 *kap*r6456
           135                 45

           82     2    4    2          437     6    3                5    3
        - ----*a23 *b12 *kap *r6456 - -----*b12 *kap *r6456)/(a23*b12 *kap )
           15                          540


           8     2          5     2
        - ---*a23 *r6362 - ---*b12 *kap*r6362
           3                3
r6442=----------------------------------------
                         2
                      b12 *kap


           2     2          3      2
        - ---*a23 *r6456 - ----*b12 *kap*r6456
           5                20
r6443=-----------------------------------------
                     a23*b12*kap


           21728     6          1546     4    2
r6444=( - -------*a23 *r6261 - ------*a23 *b12 *kap*r6261
           10665                1185

            193      2    4    2           8       6    3            2    4    2
        - -------*a23 *b12 *kap *r6261 + ------*b12 *kap *r6261)/(a23 *b12 *kap
           14220                          2133

       1     6    3
    + ---*b12 *kap )
       4


r6445=0


           428     4          526     2    2              167     4    2
        - -----*a23 *r6456 - -----*a23 *b12 *kap*r6456 - -----*b12 *kap *r6456
           225                225                         900
r6446=-------------------------------------------------------------------------
                                           3    2
                                    a23*b12 *kap


        5432      6          773      4    2
r6447=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2370

            193      2    4    2           2       6    3            3    3
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23 *b12 *kap
           56880                          2133

       1         5    2
    + ---*a23*b12 *kap )
       4


r6448=0


r6449= - r6456


           348663621056     8          16670582504032     6    2
r6450=( - --------------*a23 *r6456 - ----------------*a23 *b12 *kap*r6456
            145902375                    3939364125

           8506184850746     4    4    2
        - ---------------*a23 *b12 *kap *r6456
            3939364125

           20327681777959     2    6    3          89129351     8    4
        - ----------------*a23 *b12 *kap *r6456 - ----------*b12 *kap *r6456)/(
            63029826000                            14682000

          7    3
   a23*b12 *kap )


r6451=0


        5432      6          773      4    2
r6452=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2370

            193      2    4    2           2       6    3            3    3
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23 *b12 *kap
           56880                          2133

       1         5    2
    + ---*a23*b12 *kap )
       4


           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


           6848     8          27248     6    2
r6455=( - ------*a23 *r6456 - -------*a23 *b12 *kap*r6456
           2025                2025

           9364     4    4    2          7772     2    6    3
        - ------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456
           675                           2025

           1279     8    4                7    3
        - ------*b12 *kap *r6456)/(a23*b12 *kap )
           1620


        2     2          5      2
       ---*a23 *r6362 + ----*b12 *kap*r6362
        3                12
r6457=--------------------------------------
                     a23*b12


        5432      6          773      4    2
r6458=(-------*a23 *r6261 + ------*a23 *b12 *kap*r6261
        10665                2370

            193      2    4    2           2       6    3            3    3
        + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261)/(a23 *b12 *kap
           56880                          2133

       1         5    2
    + ---*a23*b12 *kap )
       4


r6459=0


r6460=0


           1
        - ---*b12*kap*r6456
           4
r6461=----------------------
               a23


a33=0


a22=0


a13=0


a11=0


Parameters

Apart from the condition that they must not vanish to give a non-trivial solution and a non-singular solution with non-vanishing denominators, the following parameters are free:
 r6261, r6362, r6456, a23, b12

Inequalities

In the following not identically vanishing expressions are shown. Any auxiliary variables g00?? are used to express that at least one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3 means that either p4 or p3 or both are non-vanishing.
 
      2      2
{4*a23  + b12 *kap,

 a23,

 b12,

   1
 {---*b12*kap*r6456,
   4

   5432      6          773      4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                2370                         56880

       2       6    3
   - ------*b12 *kap *r6261,
      2133

   2     3    2          5          4
  ---*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
   3                     12

  r6456,

   6848     8          27248     6    2              9364     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   2025                2025                          675

      7772     2    6    3          1279     8    4
   + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
      2025                          1620

   4     4    4              5     2    6    2
  ---*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
   3                         6

   2     3    2          5          4
  ---*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
   3                     12

   5432      6          773      4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                2370                         56880

       2       6    3
   - ------*b12 *kap *r6261,
      2133

   348663621056     8          16670582504032     6    2
  --------------*a23 *r6456 + ----------------*a23 *b12 *kap*r6456
    145902375                    3939364125

      8506184850746     4    4    2
   + ---------------*a23 *b12 *kap *r6456
       3939364125

      20327681777959     2    6    3          89129351     8    4
   + ----------------*a23 *b12 *kap *r6456 + ----------*b12 *kap *r6456,
       63029826000                            14682000

  r6456,

   5432      6          773      4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                2370                         56880

       2       6    3
   - ------*b12 *kap *r6261,
      2133

   428     4          526     2    2              167     4    2
  -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                225                         900

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   2     3    3          3          5
  ---*a23 *b12 *r6456 + ----*a23*b12 *kap*r6456,
   5                     20

   8     3    2          5         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     3

   1712     6          724     4    2              82     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + ----*a23 *b12 *kap *r6456
   135                 45                          15

      437     6    3
   + -----*b12 *kap *r6456,
      540

   10864     8          4379     6    2              788      4    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                2133                         1185

       323      2    6    3           4       8    4
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      85320                          2133

     3    4              1         6    2
  a23 *b12 *kap*r6362 + ---*a23*b12 *kap *r6362,
                         2

  2*r6456,

   3424     9          1784     7    2              248     5    4    2
  ------*a23 *r6456 - ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   2025                2025                         675

      7279     3    6    3          1327         8    4
   + ------*a23 *b12 *kap *r6456 + ------*a23*b12 *kap *r6456,
      2025                          2025

   16     3    2          10         4
  ----*a23 *b12 *r6362 + ----*a23*b12 *kap*r6362,
   3                      3

   856     5              872     3    3              16          5    2
  -----*a23 *b12*r6456 + -----*a23 *b12 *kap*r6456 + -----*a23*b12 *kap *r6456,
   225                    225                         225

   8     3    2          5         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     3

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   10665                 10665

      59941     6    4    2          4891     4    6    3
   - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
      14220                          4320

      10441      2    8    4
   - --------*a23 *b12 *kap *r6261,
      341280

   16     5    2          17     3    4              1         6    2
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362 - ---*a23*b12 *kap *r6362,
   3                      3                          6

   1580087844352     8          7948474349792     6    2
  ---------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    1313121375                   3939364125

      7187529333377     4    4    2          2850378277     2    6    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*a23 *b12 *kap *r6456,
       7878728250                             29731050

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   8     3    2          5         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     3

   6848     6          13624     4    2              2968     2    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   135                  225                          225

      922     6    3
   + -----*b12 *kap *r6456,
      675

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   5432      4           167      2    2               16       4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261,
   10665                21330                         10665

   2     3    2          1         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     6

   1712     4          2104     2    2              392     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          225

   5432      4           167      2    2               16       4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261,
   10665                21330                         10665

   5432     4          167      2    2               16      4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                7110                         3555

   2     3    2          1         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     6

   8     2          8     2
  ---*a23 *r6456 + ---*b12 *kap*r6456,
   5                5

       2    2          1     4
  2*a23 *b12 *r6362 + ---*b12 *kap*r6362,
                       2

   8     2          8     2
  ---*a23 *r6456 + ---*b12 *kap*r6456,
   3                3

   13696     8          54496     6    2
  -------*a23 *r6456 + -------*a23 *b12 *kap*r6456
   2025                 2025

      18728     4    4    2          15544     2    6    3
   + -------*a23 *b12 *kap *r6456 + -------*a23 *b12 *kap *r6456
       675                           2025

      1343     8    4
   + ------*b12 *kap *r6456,
      1620

   32     7    2              5    4              3     3    6    2
  ----*a23 *b12 *r6362 + 6*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
   5                                              5

     3    4              1         6    2
  a23 *b12 *kap*r6362 + ---*a23*b12 *kap *r6362,
                         2

   10864     8          4379     6    2              788      4    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                2133                         1185

       323      2    6    3           4       8    4
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      85320                          2133

   49377745136     6          105325521889     4    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    262624275                  315149130

      1080260268481     2    4    2          563627321     6    3
   + ---------------*a23 *b12 *kap *r6456 + -----------*b12 *kap *r6456,
       6302982600                            23784840

   3424     9          1784     7    2              248     5    4    2
  ------*a23 *r6456 - ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   2025                2025                         675

      11329     3    6    3          1327         8    4
   + -------*a23 *b12 *kap *r6456 + ------*a23*b12 *kap *r6456,
      2025                           2025

   10864     8          4379     6    2              788      4    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                2133                         1185

       323      2    6    3           4       8    4
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      85320                          2133

   6848     9          22112     7    2              524     5    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                  675                          15

      9818     3    6    3          2329         8    4
   + ------*a23 *b12 *kap *r6456 + ------*a23*b12 *kap *r6456,
      675                           1350

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   6848     8          27248     6    2              2092     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  675                           45

      2506     2    6    3          97     8    4
   + ------*a23 *b12 *kap *r6456 + ----*b12 *kap *r6456,
      135                           54

   8     3    2          5         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     3

   6848     9          27248     7    2              9364     5    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  675                          225

      9797     3    6    3          437         8    4
   + ------*a23 *b12 *kap *r6456 + -----*a23*b12 *kap *r6456,
      675                           270

   32     6    2          34     4    4              1     2    6    2
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362 - ---*a23 *b12 *kap *r6362,
   3                      3                          3

   7     2    4              1     6    2
  ---*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362,
   3                         6

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   10665                 10665

      59941     6    4    2          4891     4    6    3
   - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
      14220                          4320

      10441      2    8    4
   - --------*a23 *b12 *kap *r6261,
      341280

       4    4                  2    6    2
  4*a23 *b12 *kap*r6362 + 2*a23 *b12 *kap *r6362,

   21728     6          2014     4    2              2439     2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   3555                 237                          1580

      328      6    3
   - ------*b12 *kap *r6261,
      3555

   766     4    2          129     2    4              373     6    2
  -----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   15                       2                          30

   6848     6          5056     4    2              422     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6456
   225                 225                          45

      106     6    3
   - -----*b12 *kap *r6456,
      75

       2    4                6    2
  4*a23 *b12 *kap*r6362 + b12 *kap *r6362,

   2     3    2          1         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     6

   5432      4           167      2    2               16       4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261,
   10665                21330                         10665

   2     3    2          1         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     6

   3424     4          3488     2    2              64      4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          225

       2    2          1     4
  2*a23 *b12 *r6362 + ---*b12 *kap*r6362,
                       2

   5432      4           167      2    2               16       4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261,
   10665                21330                         10665

   5432     4          167      2    2               16      4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                7110                         3555

   697327242112     12          156915709643872     10    2
  --------------*a23  *r6456 + -----------------*a23  *b12 *kap*r6456
    437707125                     59090461875

      68673847046099     8    4    2          314399489357     6    6    3
   + ----------------*a23 *b12 *kap *r6456 + --------------*a23 *b12 *kap *r6456
       59090461875                             3501657000

      1127219375083     4    8    4          2430766717     2    10    5
   - ---------------*a23 *b12 *kap *r6456 - ------------*a23 *b12  *kap *r6456,
      118180923750                           8919315000

   1580087844352     6          7948474349792     4    2
  ---------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    1313121375                   3939364125

      7187529333377     2    4    2          2850378277     6    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       7878728250                             29731050

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   10665                 10665

      59941     6    4    2          4891     4    6    3
   - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261
      14220                          4320

      10441      2    8    4
   - --------*a23 *b12 *kap *r6261,
      341280

   13696     8          104081584144     6    2
  -------*a23 *r6456 - --------------*a23 *b12 *kap*r6456
    405                  1313121375

      705405928126     4    4    2          2181346269373     2    6    3
   - --------------*a23 *b12 *kap *r6456 - ---------------*a23 *b12 *kap *r6456
       3939364125                            31514913000

      1028929357     8    4
   - ------------*b12 *kap *r6456,
      594621000

   21728     10          1546     8    2
  -------*a23  *r6261 + ------*a23 *b12 *kap*r6261
   10665                 1185

      14027     6    4    2          2165     4    6    3
   - -------*a23 *b12 *kap *r6261 - ------*a23 *b12 *kap *r6261,
      14220                          8532

   200841445424     6              937589131606     4    3
  --------------*a23 *b12*r6456 + --------------*a23 *b12 *kap*r6456
    1313121375                      3939364125

      2842536925573     2    5    2          2759643517     7    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       31514913000                           594621000

  r6362,

   197510980544     6              940507179106     4    3
  --------------*a23 *b12*r6456 + --------------*a23 *b12 *kap*r6456
    437707125                       1313121375

      2963600880253     2    5    2          3095274037     7    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       10504971000                           198207000

   1712     4          2104     2    2              392     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          225

   5432     4          167      2    2               16      4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                7110                         3555

   8     2          8     2
  ---*a23 *r6456 + ---*b12 *kap*r6456,
   5                5

   8     2    2          2     4
  ---*a23 *b12 *r6362 + ---*b12 *kap*r6362,
   3                     3

   3424     4          2408     2    2              1016     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 - ------*b12 *kap *r6456,
   225                 225                          225

   5432      4           167      2    2               16       4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*b12 *kap *r6261,
   10665                21330                         10665

   5432     4          167      2    2               16      4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                7110                         3555

   1712     6          416     4    2              14     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 - ----*a23 *b12 *kap *r6456
   675                 225                         45

      341      6    3
   + ------*b12 *kap *r6456,
      2700

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   3424     6          28     4    2              296     2    4    2
  ------*a23 *r6456 + ----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 5                          225

      389      6    3
   + ------*b12 *kap *r6456,
      1350

  r6362,

   3424     6          4636     4    2              352     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 225                          45

      421     6    3
   + -----*b12 *kap *r6456,
      450

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   1712     6          844     4    2              122     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                         75

      437      6    3
   + ------*b12 *kap *r6456,
      2700

  r6362,

   3424     6          1688     4    2              244     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                  75                          25

      437     6    3
   + -----*b12 *kap *r6456,
      450

  r6362,

   1712     6          844     4    2              122     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   135                 45                          15

      437     6    3
   + -----*b12 *kap *r6456,
      540

   10864     6          13747     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                10665

       707      2    4    2           8       6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      42660                          2133

   1     2    4              1      6    2
  ---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362,
   3                         12

  r6456,

   356096     6          145568     4    2
  --------*a23 *r6456 + --------*a23 *b12 *kap*r6456
    675                   225

      26168     2    4    2          2104     6    3
   + -------*a23 *b12 *kap *r6456 - ------*b12 *kap *r6456,
       225                           675

   16     4    2          10     2    4
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362,
   3                      3

   3424     6          1448     4    2              104     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                  75                          25

      16      6    3
   + -----*b12 *kap *r6456,
      225

   8     3    2          5         4
  ---*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                     3

   21728     6          1546     4    2               193      2    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8       6    3
   - ------*b12 *kap *r6261,
      2133

   86912     8          32132     6    2              6181     4    4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                3555                          4740

      28357      2    6    3           4931      8    4
   + --------*a23 *b12 *kap *r6261 + --------*b12 *kap *r6261,
      341280                          113760

   786     6    2          11317     4    4
  -----*a23 *b12 *r6362 + -------*a23 *b12 *kap*r6362
    5                       60

      2349     2    6    2          373     8    3
   + ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
       80                           240

   197510980544     6          210314884706     4    2
  --------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    262624275                   157574565

      1071856291681     2    4    2          568384289     6    3
   + ---------------*a23 *b12 *kap *r6456 + -----------*b12 *kap *r6456,
       1575745650                             5946210

   21728     6          13162     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   2133                 1185

      22337     2    4    2          1064      6    3
   + -------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261,
      14220                          10665

   1532     4    2                2    4              373     6    2
  ------*a23 *b12 *r6362 + 128*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
    15                                                15

   23968     6          11576     4    2              1448     2    4    2
  -------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                  225                           75

      922     6    3
   + -----*b12 *kap *r6456,
      675

   86912     5          82816     3    2              4096          4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - -------*a23*b12 *kap *r6261
   10665                10665                         10665

  ,

   21728     7          1546     5    2               193      3    4    2
  -------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   10665                1185                         14220

       8           6    3
   - ------*a23*b12 *kap *r6261,
      2133

   19012     6          23023     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                14220

      5639      2    4    2           28      6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      28440                          2133

   111     4    2          365     2    4              373     6    2
  -----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   20                      48                          240

   8     2          8     2
  ---*a23 *r6456 + ---*b12 *kap*r6456,
   5                5

   19012     6          23023     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                14220

      5639      2    4    2           28      6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      28440                          2133

   2716     6          5599      4    2               103      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         28440

       4       6    3
   - ------*b12 *kap *r6261,
      3555

   111     4    2          365     2    4              373     6    2
  -----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   20                      48                          240

   1712     4          2104     2    2              392     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          225

     2    2          1     4
  a23 *b12 *r6362 + ---*b12 *kap*r6362,
                     2

   8     2          8     2
  ---*a23 *r6456 + ---*b12 *kap*r6456,
   3                3

   381700101568     7          1992421783844     5    2
  --------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    437707125                   1313121375

      988983742681     3    4    2          2672872897         6    3
   + --------------*a23 *b12 *kap *r6456 + ------------*a23*b12 *kap *r6456,
       1313121375                            24775875

       2
  2*a23 *b12*r6362,

   424     4          488     2    2              64      4    2
  -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                225                         225

   16     3    2          1         4
  ----*a23 *b12 *r6362 + ---*a23*b12 *kap*r6362,
   3                      3

   86912     4          82816     2    2              6569      4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*b12 *kap *r6261,
   10665                10665                         10665

   6848     4          8008     2    2              232     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          45

   14     2    2          2     4
  ----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
   3                      3

   1358     2          64      2
  ------*a23 *r6261 - -----*b12 *kap*r6261,
   711                 711

   3424     4          904     2    2              1096     4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + ------*b12 *kap *r6456,
   225                 45                          225

   111     4          389     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   10                 24                          120

   168     3          168         2
  -----*a23 *r6456 + -----*a23*b12 *kap*r6456,
   25                 25

  2*a23*r6362,

   856     4          872     2    2              16      4    2
  -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                225                         225

  r6362,

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   856     4          872     2    2              16      4    2
  -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                225                         225

  r6362,

   856     4          872     2    2              16      4    2
  -----*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                225                         225

  r6362,

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   31995                 31995

      59941     6    4    2          3811      4    6    3
   - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
      42660                          12960

       10889      2    8    4
   + ---------*a23 *b12 *kap *r6261,
      1023840

   16     8    2          17     6    4              5      4    6    2
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
   9                      9                          36

   5153047973504     10          25809634096484     8    2
  ---------------*a23  *r6456 + ----------------*a23 *b12 *kap*r6456
    6565606875                    19696820625

      4651366231943     6    4    2          1322643901261     4    6    3
   + ---------------*a23 *b12 *kap *r6456 + ---------------*a23 *b12 *kap *r6456
       7878728250                             19696820625

      2430766717     2    8    4
   + ------------*a23 *b12 *kap *r6456,
      743276250

  r6261,

  a23*b12*r6362,

   823348570976     6          3863810213224     4    2
  --------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    1313121375                  3939364125

      2967335981053     2    4    2          3095274037     6    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       7878728250                            148655250

  r6261,

   2716     6          383      4    2              14183      2    4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + --------*a23 *b12 *kap *r6261
   2133                1580                         113760

      10441      6    3
   + --------*b12 *kap *r6261,
      341280

   5     2    2          1     4
  ---*a23 *b12 *r6362 + ---*b12 *kap*r6362,
   3                     6

   56038674896     5          478594644317     3    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2686086697         4    2
   + ------------*a23*b12 *kap *r6456,
       49551750

   2716     6          17821     4    2              1613      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         22752

       4931      6    3
   - --------*b12 *kap *r6261,
      113760

   19012     6          539     4    2              13871      2    4    2
  -------*a23 *r6261 + -----*a23 *b12 *kap*r6261 - --------*a23 *b12 *kap *r6261
   10665                948                         113760

      11209      6    3
   - --------*b12 *kap *r6261,
      341280

   413     4          127     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   60                 16                          240

   49377745136     4          443484696797     2    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2777702377     4    2
   + ------------*b12 *kap *r6456,
       49551750

   1     2          1     2
  ---*a23 *r6362 - ---*b12 *kap*r6362,
   3                6

   46047280256     5          425929723037     3    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2823510217         4    2
   + ------------*a23*b12 *kap *r6456,
       49551750

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

  r6362,

   27392     8          54208     6    2
  -------*a23 *r6456 + -------*a23 *b12 *kap*r6456
    675                  675

      13192     4    4    2          13856     2    6    3
   + -------*a23 *b12 *kap *r6456 + -------*a23 *b12 *kap *r6456
       225                            675

      2446     8    4
   + ------*b12 *kap *r6456,
      675

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

  r6362,

   13696     6          2536     4    2              152     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
    675                  75                           9

      922     6    3
   + -----*b12 *kap *r6456,
      675

  r6362,

   13696     6          2536     4    2              152     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
    675                  75                           9

      922     6    3
   + -----*b12 *kap *r6456,
      675

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1     6    2
  ---*b12 *kap *r6362,
   4

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1     6    2
  ---*b12 *kap *r6362,
   2

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   1     6    2
  ---*b12 *kap *r6362,
   2

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1     6    2
  ---*b12 *kap *r6362,
   2

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   1     6    2
  ---*b12 *kap *r6362,
   2

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   1     6    2
  ---*b12 *kap *r6362,
   2

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   6848     8          27248     6    2              9364     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   2025                2025                          675

      7772     2    6    3          469      8    4
   + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
      2025                          1620

   32     6    2              4    4              11     2    6    2
  ----*a23 *b12 *r6362 + 2*a23 *b12 *kap*r6362 + ----*a23 *b12 *kap *r6362,
   15                                             30

   1     2    4              1      6    2
  ---*a23 *b12 *kap*r6362 + ----*b12 *kap *r6362,
   3                         12

   10864     6          13747     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                10665

       707      2    4    2           8       6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      42660                          2133

   29481820768     8          1616778475057     6    2
  -------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    262624275                  3939364125

      1545757620197     4    4    2          6318114913543     2    6    3
   + ---------------*a23 *b12 *kap *r6456 + ---------------*a23 *b12 *kap *r6456
       3939364125                             63029826000

      2679773437     8    4
   + ------------*b12 *kap *r6456,
      396414000

   356096     8          145568     6    2
  --------*a23 *r6456 + --------*a23 *b12 *kap*r6456
    675                   225

      26168     4    4    2          1429     2    6    3
   + -------*a23 *b12 *kap *r6456 - ------*a23 *b12 *kap *r6456,
       225                           675

   10864     6          13747     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                10665

       707      2    4    2           8       6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      42660                          2133

   6848     8          27248     6    2              3344     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  675                           75

      10952     2    6    3          4349     8    4
   + -------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
       675                           2700

   6848     8          22112     6    2              524     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                  675                          15

      9548     2    6    3          4253     8    4
   + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
      675                           2700

   6848     8          27248     6    2              9364     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  675                          225

      8447     2    6    3          469     8    4
   + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456,
      675                           540

   524     6    2          1179     4    4
  -----*a23 *b12 *r6362 + ------*a23 *b12 *kap*r6362
    5                       10

      1079     2    6    2          373     8    3
   + ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
      120                           120

   2278     6    2          11117     4    4
  ------*a23 *b12 *r6362 + -------*a23 *b12 *kap*r6362
    15                       60

      2349     2    6    2          373     8    3
   + ------*a23 *b12 *kap *r6362 - -----*b12 *kap *r6362,
       80                           240

   86912     8          32132     6    2              6181     4    4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                3555                          4740

      28357      2    6    3           4931      8    4
   + --------*a23 *b12 *kap *r6261 + --------*b12 *kap *r6261,
      341280                          113760

   365     4    4              627     2    6    2          373     8    3
  -----*a23 *b12 *kap*r6362 + -----*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362
    6                           8                           24

  ,

   21728     7          13162     5    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   2133                 1185

      22337     3    4    2          1064          6    3
   + -------*a23 *b12 *kap *r6261 - -------*a23*b12 *kap *r6261,
      14220                          10665

   111     4    4              365     2    6    2          373     8    3
  -----*a23 *b12 *kap*r6362 + -----*a23 *b12 *kap *r6362 + -----*b12 *kap *r6362
   10                          24                           120

  ,

   3424     6          3008     4    2              734     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 - -----*a23 *b12 *kap *r6456
   225                 225                          225

      106     6    3
   - -----*b12 *kap *r6456,
      75

       2    4                6    2
  2*a23 *b12 *kap*r6362 + b12 *kap *r6362,

   111     4    2          365     2    4              373     6    2
  -----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   20                      48                          240

   19012     6          23023     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                14220

      5639      2    4    2           28      6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      28440                          2133

   111     4    2          365     2    4              373     6    2
  -----*a23 *b12 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   20                      48                          240

     2    2          1     4
  a23 *b12 *r6362 + ---*b12 *kap*r6362,
                     2

   19012     6          23023     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                14220

      5639      2    4    2           28      6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      28440                          2133

   2716     6          5599      4    2               103      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         28440

       4       6    3
   - ------*b12 *kap *r6261,
      3555

   572453550016     12          14113922392     10    2
  --------------*a23  *r6456 + -------------*a23  *b12 *kap*r6456
    6565606875                   787872825

      16874829115427     8    4    2
   - ----------------*a23 *b12 *kap *r6456
       118180923750

      1527103569317     6    6    3          1160692580509     4    8    4
   - ---------------*a23 *b12 *kap *r6456 - ---------------*a23 *b12 *kap *r6456
       17508285000                            78787282500

      2430766717     2    10    5
   - ------------*a23 *b12  *kap *r6456,
      8919315000

   157545401984     8          719393233882     6    2
  --------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    1313121375                  3939364125

      574620997681     4    4    2          1827630157     2    6    3
   + --------------*a23 *b12 *kap *r6456 + ------------*a23 *b12 *kap *r6456,
       7878728250                           148655250

   86912     8          32132     6    2              6181     4    4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + ------*a23 *b12 *kap *r6261
   10665                3555                          4740

      28357      2    6    3           4931      8    4
   + --------*a23 *b12 *kap *r6261 + --------*b12 *kap *r6261,
      341280                          113760

   86012858816     6              874300129661     4    3
  -------------*a23 *b12*r6456 + --------------*a23 *b12 *kap*r6456
   1313121375                      7878728250

      1674701560801     2    5    2          3670514797     7    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       31514913000                           594621000

   21728     6          13162     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   2133                 1185

      22337     2    4    2          1064      6    3
   + -------*a23 *b12 *kap *r6261 - -------*b12 *kap *r6261,
      14220                          10665

   72690999296     6              716865630941     4    3
  -------------*a23 *b12*r6456 + --------------*a23 *b12 *kap*r6456
   1313121375                      7878728250

      1284897103561     2    5    2          2759643517     7    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       31514913000                           594621000

   131     4          389     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
    5                 12                          60

   54928519936     6              562465901621     4    3
  -------------*a23 *b12*r6456 + --------------*a23 *b12 *kap*r6456
    437707125                      2626242750

      1086283118521     2    5    2          2819839717     7    3
   + ---------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       10504971000                           198207000

   54784     8          135808     6    2
  -------*a23 *r6456 + --------*a23 *b12 *kap*r6456
    675                  675

      15008     4    4    2          62992     2    6    3
   + -------*a23 *b12 *kap *r6456 + -------*a23 *b12 *kap *r6456
       75                             675

      8944     8    4
   + ------*b12 *kap *r6456,
      675

   19012     6          23023     4    2
  -------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   10665                14220

      5639      2    4    2           28      6    3
   + -------*a23 *b12 *kap *r6261 - ------*b12 *kap *r6261,
      28440                          2133

   1712     4          2416     2    2              704     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 225                          225

   131     4          389     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   10                 24                          120

   3424     4          784     2    2              496     4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*b12 *kap *r6456,
   225                 45                          225

   2716     6          57871     4    2              16711     2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   711                 14220                         28440

       44      6    3
   - ------*b12 *kap *r6261,
      1185

   2716     6          5599      4    2               103      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         28440

       4       6    3
   - ------*b12 *kap *r6261,
      3555

   6848     8          1696     6    2              3928     4    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  75                          225

      3836     2    6    3          283     8    4
   + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456,
      675                           300

   13696     8          3392     6    2              8284     4    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                  75                          225

      1796     2    6    3          173     8    4
   + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456,
      135                           90

   13696     8          3392     6    2              8284     4    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                  75                          225

      9457     2    6    3          1183     8    4
   + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
      675                           450

   6848     8          1696     6    2              484     4    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                  75                          25

      5144     2    6    3          881     8    4
   + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456,
      675                           900

   13696     8          3392     6    2              968     4    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
    675                  75                          25

      2153     2    6    3          1199     8    4
   + ------*a23 *b12 *kap *r6456 + ------*b12 *kap *r6456,
      135                           450

   6848     8          27248     6    2              9664     4    4    2
  ------*a23 *r6456 + -------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
   675                  675                          225

      9347     2    6    3          469     8    4
   + ------*a23 *b12 *kap *r6456 + -----*b12 *kap *r6456,
      675                           540

   32     8    2          34     6    4              5      4    6    2
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
   9                      9                          18

   16     8    2          35     6    4              5      4    6    2
  ----*a23 *b12 *r6362 + ----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
   9                      9                          36

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   31995                 31995

      59941     6    4    2          3811      4    6    3
   - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
      42660                          12960

       10889      2    8    4
   + ---------*a23 *b12 *kap *r6261,
      1023840

   10     3    2          2         4
  ----*a23 *b12 *r6362 - ---*a23*b12 *kap*r6362,
   3                      3

     2
  b12 *r6261,

   413     4          127     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   30                  8                          120

   204171910304     6          1023196995202     4    2
  --------------*a23 *r6456 + ---------------*a23 *b12 *kap*r6456
    1313121375                  3939364125

      961273963621     2    4    2          2639838397     6    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
       7878728250                           148655250

   2     2          1     2
  ---*a23 *r6362 - ---*b12 *kap*r6362,
   3                3

   11     2    2          1     4
  ----*a23 *b12 *r6362 + ---*b12 *kap*r6362,
   3                      6

   2716     6          383      4    2              14183      2    4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + --------*a23 *b12 *kap *r6261
   2133                1580                         113760

      10441      6    3
   + --------*b12 *kap *r6261,
      341280

   533     4          127     2    2              373     4    2
  -----*a23 *r6362 + -----*a23 *b12 *kap*r6362 + -----*b12 *kap *r6362,
   60                 16                          240

   3424     4          3008     2    2              416     4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 - -----*b12 *kap *r6456,
   225                 225                          225

   7     2          1     2
  ---*a23 *r6362 - ---*b12 *kap*r6362,
   3                6

   2716     6          17821     4    2              1613      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         22752

       4931      6    3
   - --------*b12 *kap *r6261,
      113760

   2716     6          34451     4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261
   1185                14220

      58367      2    4    2           167      6    3
   + --------*a23 *b12 *kap *r6261 + -------*b12 *kap *r6261,
      113760                          22752

   3     6    2
  ---*b12 *kap *r6362,
   2

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

       6    2
  2*b12 *kap *r6362,

   106     2          106     2
  -----*a23 *r6456 + -----*b12 *kap*r6456,
   75                 75

       6    2
  2*b12 *kap *r6362,

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   1     6    2
  ---*b12 *kap *r6362,
   2

   106     2          106     2
  -----*a23 *r6456 + -----*b12 *kap*r6456,
   75                 75

     6    2
  b12 *kap *r6362,

   106     2          106     2
  -----*a23 *r6456 + -----*b12 *kap*r6456,
   75                 75

   1     6    2
  ---*b12 *kap *r6362,
   2

   1     6    2
  ---*b12 *kap *r6362,
   4

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1     6    2
  ---*b12 *kap *r6362,
   2

   1     6    2
  ---*b12 *kap *r6362,
   2

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1     6    2
  ---*b12 *kap *r6362,
   4

   1     6    2
  ---*b12 *kap *r6362,
   2

   1     6    2
  ---*b12 *kap *r6362,
   2

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   174331810528     12          36330337925872     10    2
  --------------*a23  *r6456 + ----------------*a23  *b12 *kap*r6456
    437707125                    59090461875

      12329155368434     8    4    2          182177082773     6    6    3
   + ----------------*a23 *b12 *kap *r6456 - --------------*a23 *b12 *kap *r6456
       59090461875                            12605965200

      6222370453949     4    8    4          2430766717     2    10    5
   - ---------------*a23 *b12 *kap *r6456 - ------------*a23 *b12  *kap *r6456,
      945447390000                           8919315000

   5153047973504     10          25809634096484     8    2
  ---------------*a23  *r6456 + ----------------*a23 *b12 *kap*r6456
    6565606875                    19696820625

      4651366231943     6    4    2          1322643901261     4    6    3
   + ---------------*a23 *b12 *kap *r6456 + ---------------*a23 *b12 *kap *r6456
       7878728250                             19696820625

      2430766717     2    8    4
   + ------------*a23 *b12 *kap *r6456,
      743276250

   43456     10          14248     8    2
  -------*a23  *r6261 + -------*a23 *b12 *kap*r6261
   31995                 31995

      59941     6    4    2          3811      4    6    3
   - -------*a23 *b12 *kap *r6261 - -------*a23 *b12 *kap *r6261
      42660                          12960

       10889      2    8    4
   + ---------*a23 *b12 *kap *r6261,
      1023840

   929741061824     10              39361035373951     8    3
  --------------*a23  *b12*r6456 + ----------------*a23 *b12 *kap*r6456
    2188535625                       59090461875

      8044574542601     6    5    2          341240584369     4    7    3
   + ---------------*a23 *b12 *kap *r6456 + --------------*a23 *b12 *kap *r6456
       31514913000                           26262427500

      2430766717     2    9    4
   + ------------*a23 *b12 *kap *r6456,
      8919315000

  r6261,

   413760511264     10              18056436238786     8    3
  --------------*a23  *b12*r6456 + ----------------*a23 *b12 *kap*r6456
    2188535625                       59090461875

      4032450507737     6    5    2          301010436169     4    7    3
   + ---------------*a23 *b12 *kap *r6456 + --------------*a23 *b12 *kap *r6456
       31514913000                           26262427500

      2430766717     2    9    4
   + ------------*a23 *b12 *kap *r6456,
      8919315000

   730851758032     10              10382458774771     8    3
  --------------*a23  *b12*r6456 + ----------------*a23 *b12 *kap*r6456
    6565606875                       59090461875

      46886724011     6    5    2          101737066651     4    7    3
   + -------------*a23 *b12 *kap *r6456 + --------------*a23 *b12 *kap *r6456
       700331400                           39393641250

      2430766717     2    9    4
   + ------------*a23 *b12 *kap *r6456,
      8919315000

   49377745136     5          443484696797     3    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2777702377         4    2
   + ------------*a23*b12 *kap *r6456,
       49551750

   2716     6          383      4    2              14183      2    4    2
  ------*a23 *r6261 + ------*a23 *b12 *kap*r6261 + --------*a23 *b12 *kap *r6261
   2133                1580                         113760

      10441      6    3
   + --------*b12 *kap *r6261,
      341280

   49377745136     5          443484696797     3    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2777702377         4    2
   + ------------*a23*b12 *kap *r6456,
       49551750

   46047280256     5          425929723037     3    2
  -------------*a23 *r6456 + --------------*a23 *b12 *kap*r6456
    437707125                  2626242750

      2823510217         4    2
   + ------------*a23*b12 *kap *r6456,
       49551750

   2716     6          17821     4    2              1613      2    4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 + -------*a23 *b12 *kap *r6261
   3555                14220                         22752

       4931      6    3
   - --------*b12 *kap *r6261,
      113760

   2716      6           397      4    2
  -------*a23 *r6261 - -------*a23 *b12 *kap*r6261
   10665                14220

      4693      2    4    2          10697      6    3
   + -------*a23 *b12 *kap *r6261 + --------*b12 *kap *r6261,
      37920                          341280

   6848     8          8416     6    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456
   675                 675

      4265760442     4    4    2          424840318637     2    6    3
   - ------------*a23 *b12 *kap *r6456 - --------------*a23 *b12 *kap *r6456
      437707125                           21009942000

      2736152317     8    4
   - ------------*b12 *kap *r6456,
      396414000

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   3424     6              21363148424     4    3
  ------*a23 *b12*r6456 + -------------*a23 *b12 *kap*r6456
   225                      437707125

      525236715557     2    5    2          2955207757     7    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
      10504971000                           198207000

   3424     6              21363148424     4    3
  ------*a23 *b12*r6456 + -------------*a23 *b12 *kap*r6456
   225                      437707125

      532660228397     2    5    2          3095274037     7    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
      10504971000                           198207000

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   2716     4           167      2    2               8       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                14220                         3555

   1712     6              6981489982     4    3
  ------*a23 *b12*r6456 + ------------*a23 *b12 *kap*r6456
   675                     437707125

      429104558717     2    5    2          2679773437     7    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
      21009942000                           396414000

   3424     6              13962979964     4    3
  ------*a23 *b12*r6456 + -------------*a23 *b12 *kap*r6456
   675                      437707125

      436528071557     2    5    2          2819839717     7    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
      10504971000                           198207000

   1712     6              6981489982     4    3
  ------*a23 *b12*r6456 + ------------*a23 *b12 *kap*r6456
   675                     437707125

      443951584397     2    5    2          2959905997     7    3
   + --------------*a23 *b12 *kap *r6456 + ------------*b12 *kap *r6456,
      21009942000                           396414000

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   13696     6          6752     4    2              1216     2    4    2
  -------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + ------*a23 *b12 *kap *r6456
    675                 225                           75

      3034     6    3
   + ------*b12 *kap *r6456,
      675

   6848     6          3376     4    2              608     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                          75

      1517     6    3
   + ------*b12 *kap *r6456,
      675

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1358     4           167      2    2               4       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                28440                         3555

   679      4           167      2    2               2       4    2
  ------*a23 *r6261 + -------*a23 *b12 *kap*r6261 - ------*b12 *kap *r6261,
   3555                56880                         3555

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                         75

      1517     6    3
   + ------*b12 *kap *r6456,
      2700

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   3424     6          1688     4    2              304     2    4    2
  ------*a23 *r6456 + ------*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                  75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      450

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   675                 225                         75

      1517     6    3
   + ------*b12 *kap *r6456,
      2700

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456,
      900

   1712     6          844     4    2              152     2    4    2
  ------*a23 *r6456 + -----*a23 *b12 *kap*r6456 + -----*a23 *b12 *kap *r6456
   225                 75                          25

      1517     6    3
   + ------*b12 *kap *r6456}}
      900


Relevance for the application:

Modulo the following equation:

     2      2
0=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$