Solution 37 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:

         8     4          20     2    2                4    2
      - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
         9                9
r60=----------------------------------------------------------------
                                  4    5
                               b12 *kap


r61=0


         8     4          20     2    2                  4    2
      - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
         3                3
r62=------------------------------------------------------------------
                                   4    5
                                b12 *kap


r63=0


         8     4          20     2    2                  4    2
      - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
         3                3
r64=------------------------------------------------------------------
                                   4    5
                                b12 *kap


r65=0


         8     4          20     2    2                4    2
      - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
         9                9
r66=----------------------------------------------------------------
                                  4    5
                               b12 *kap


r67=0


r68=0


r69=0


r610=0


r611=0


r612=0


          8     4          20     2    2                  4    2
       - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
          3                3
r613=------------------------------------------------------------------
                                    4    5
                                 b12 *kap


r614=0


          16     4          40     2    2                  4    2
       - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 6*b12 *kap *r6455
          3                 3
r615=-------------------------------------------------------------------
                                     4    5
                                  b12 *kap


r616=0


          8     4          20     2    2                  4    2
       - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
          3                3
r617=------------------------------------------------------------------
                                    4    5
                                 b12 *kap


r618=0


r619=0


r620=0


r621=0


          8     4          20     2    2                  4    2
       - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
          3                3
r622=------------------------------------------------------------------
                                    4    5
                                 b12 *kap


r623=0


          8     4          20     2    2                  4    2
       - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 3*b12 *kap *r6455
          3                3
r624=------------------------------------------------------------------
                                    4    5
                                 b12 *kap


r625=0


r626=0


          8     4          20     2    2                4    2
       - ---*a23 *r6455 - ----*a23 *b12 *kap*r6455 - b12 *kap *r6455
          9                9
r627=----------------------------------------------------------------
                                   4    5
                                b12 *kap


       1
      ---*b12*r6276
       4
r628=---------------
           a23


r629=0


       1
      ---*b12*r6276
       2
r630=---------------
           a23


r631=0


       1
      ---*b12*r6276
       4
r632=---------------
           a23


r633=0


       32     5          80     3    2                      4    2
      ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
       9                 9
r634=--------------------------------------------------------------------
                                     5    5
                                  b12 *kap


r635=0


       64     5          160     3    2                      4    2
      ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
       9                  9
r636=---------------------------------------------------------------------
                                      5    5
                                   b12 *kap


r637=0


       32     5          80     3    2                      4    2
      ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
       9                 9
r638=--------------------------------------------------------------------
                                     5    5
                                  b12 *kap


       1
      ---*b12*r6276
       2
r639=---------------
           a23


r640=0


       1
      ---*b12*r6276
       2
r641=---------------
           a23


r642=0


       64     5          160     3    2                      4    2
      ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
       9                  9
r643=---------------------------------------------------------------------
                                      5    5
                                   b12 *kap


r644=0


       64     5          160     3    2                      4    2
      ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455
       9                  9
r645=---------------------------------------------------------------------
                                      5    5
                                   b12 *kap


       1
      ---*b12*r6276
       4
r646=---------------
           a23


r647=0


       32     5          80     3    2                      4    2
      ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455
       9                 9
r648=--------------------------------------------------------------------
                                     5    5
                                  b12 *kap


       32     6          1184     4    2
r649=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455
       27                135

          10667     2    4    2          34231     6    3            6    5
       + -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
          5670                           5670


r650=0


       64     6          2368     4    2
r651=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455
       27                135

          10667     2    4    2          34231     6    3            6    5
       + -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
          2835                           2835


r652=0


       32     6          1184     4    2
r653=(----*a23 *r6455 + ------*a23 *b12 *kap*r6455
       27                135

          10667     2    4    2          34231     6    3            6    5
       + -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
          5670                           5670


r654= - r6276


r655=0


r656= - r6276


r657=0


          128     6          1016     4    2
r658=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
          27                 135

          46663     2    4    2          44437     6    3            6    5
       - -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
          2835                           2835


r659=0


          128     6          1016     4    2
r660=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
          27                 135

          46663     2    4    2          44437     6    3            6    5
       - -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
          2835                           2835


r661= - r6276


r662=0


          160     6          440     4    2
r663=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
          27                 27

          103993     2    4    2          54643     6    3            6    5
       - --------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
           5670                           5670


       1     2          1     2
      ---*a23 *r6276 - ---*b12 *kap*r6276
       3                6
r664=-------------------------------------
                    a23*b12


r665=0


       28     4          244     2    2              97      4    2
      ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
       9                 81                          162
r666=---------------------------------------------------------------------
                                        3
                                 a23*b12 *kap


r667=0


          256     7          6496     5    2
r668=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
          27                 135

          45532     3    4    2          155068         6    3            7    5
       + -------*a23 *b12 *kap *r6455 + --------*a23*b12 *kap *r6455)/(b12 *kap
          2835                            2835

   )


r669=0


       180772     3          180772         2
      --------*a23 *r6455 + --------*a23*b12 *kap*r6455
        2835                  2835
r670=---------------------------------------------------
                             3    3
                          b12 *kap


       5     2          1     2
      ---*a23 *r6276 + ---*b12 *kap*r6276
       3                6
r671=-------------------------------------
                    a23*b12


r672=0


       180772     3          180772         2
      --------*a23 *r6455 + --------*a23*b12 *kap*r6455
        2835                  2835
r673=---------------------------------------------------
                             3    3
                          b12 *kap


       8192     10          170336     8    2
r674=(------*a23  *r6455 + --------*a23 *b12 *kap*r6455
       405                   2025

          15708152     6    4    2          33796027     4    6    3
       - ----------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
          1148175                            382725

          1519712     2    8    4          970946      10    5            2    8
       - ---------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23 *b12
          127575                           1148175

       5
   *kap )


r675=0


          7168     10          123904     8    2
r676=( - ------*a23  *r6455 - --------*a23 *b12 *kap*r6455
          405                   2025

          28073456     6    4    2          55419967     4    6    3
       - ----------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
           164025                            382725

          333836     2    8    4          970946      10    5            2    8
       - --------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23 *b12
          18225                           1148175

       5
   *kap )


r677=kap*r6276


r678=0


       8192     10          140096     8    2
r679=(------*a23  *r6455 + --------*a23 *b12 *kap*r6455
       405                   2025

          214411952     6    4    2          97225957     4    6    3
       - -----------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
           1148175                            382725

          380006     2    8    4          970946      10    5            2    8
       - --------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23 *b12
          18225                           1148175

       5
   *kap )


          16     4          17     2    2              5      4    2
       - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
          9                 9                          36
r680=----------------------------------------------------------------------
                                           3
                                    a23*b12


r681=0


          4096     10          8192     8    2
r682=( - ------*a23  *r6455 - ------*a23 *b12 *kap*r6455
           45                   25

          158660288     6    4    2          103390948     4    6    3
       + -----------*a23 *b12 *kap *r6455 + -----------*a23 *b12 *kap *r6455
           382725                             127575

          2419696     2    8    4          3883784     10    5                9
       + ---------*a23 *b12 *kap *r6455 + ---------*b12  *kap *r6455)/(a23*b12
           14175                           382725

       5
   *kap )


       1024     12          16448     10    2
r683=(------*a23  *r6455 + -------*a23  *b12 *kap*r6455
        81                   405

          23466208     8    4    2          227122828     6    6    3
       - ----------*a23 *b12 *kap *r6455 - -----------*a23 *b12 *kap *r6455
           127575                            1148175

          3013307     4    8    4          533507     2    10    5
       + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12  *kap *r6455
          109350                           36450

          970946      12    6            2    10    5
       + ---------*b12  *kap *r6455)/(a23 *b12  *kap )
          1148175


r684=0


       1
      ---*b12*r6276
       4
r685=---------------
           a23


r686=0


       1
      ---*b12*r6276
       2
r687=---------------
           a23


r688=0


       1
      ---*b12*r6276
       4
r689=---------------
           a23


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


r691=0


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


r693=0


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


r695=0


       1
      ---*b12*r6276
       2
r696=---------------
           a23


r697=0


       1
      ---*b12*r6276
       2
r698=---------------
           a23


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


r6100=0


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


r6102=0


        1
       ---*b12*r6276
        4
r6103=---------------
            a23


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


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


r6106=0


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


r6108=0


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


r6110=0


r6111= - r6276


r6112=0


r6113= - r6276


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


r6115=0


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


r6117=0


r6118= - r6276


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


r6120=0


           56     4          407     2    2              113     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6121=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


r6122=0


        28     4          244     2    2              97      4    2
       ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
        9                 81                          162
r6123=---------------------------------------------------------------------
                                         3
                                  a23*b12 *kap


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


           512     7          12992     5    2
r6125=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
           27                  135

           2576     3    4    2          272         6    3            7    5
        - ------*a23 *b12 *kap *r6455 - -----*a23*b12 *kap *r6455)/(b12 *kap )
            27                           15


        10     4            2    2              1     4    2
       ----*a23 *r6362 + a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
        3                                       6
r6126=-------------------------------------------------------------
                                 3
                              a23 *b12*kap


r6127=0


        5     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6128=-------------------------------------
                     a23*b12


        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


        2048     8          39232     6    2
r6131=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
         27                  135

           2678608     4    4    2          961064     2    6    3
        + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            8505                             8505

           108952     8    4            8    5
        + --------*b12 *kap *r6455)/(b12 *kap )
            8505


           8     4              2    2              1     4    2
        - ---*a23 *r6362 - 2*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
           3                                        3
r6132=-----------------------------------------------------------------
                                   2    2
                                a23 *b12 *kap


r6133=0


r6134=kap*r6276


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


r6136=0


           16     4          17     2    2              5      4    2
        - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
           9                 9                          36
r6137=----------------------------------------------------------------------
                                            3
                                     a23*b12


           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


        128     8          2336     6    2
r6140=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           2416     4    4    2          76     2    6    3
        + ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6455
           135                           15

           3     8    4            8    6
        - ---*b12 *kap *r6455)/(b12 *kap )
           5


r6141=0


           64     6          208     4    2
r6142=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                  9

           64     2    4    2              6    3            6    5
        - ----*a23 *b12 *kap *r6455 - 6*b12 *kap *r6455)/(b12 *kap )
           3


r6143=0


           32     6          104     4    2
r6144=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                  9

           32     2    4    2              6    3            6    5
        - ----*a23 *b12 *kap *r6455 - 3*b12 *kap *r6455)/(b12 *kap )
           3


r6145=0


r6146=0


r6147=0


r6148=0


           64     8          1208     6    2
r6149=( - ----*a23 *r6455 - ------*a23 *b12 *kap*r6455
           9                  45

           20113     4    4    2          127415     2    6    3
        - -------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
           8505                            6804

           68879     8    4            2    6    5
        + -------*b12 *kap *r6455)/(a23 *b12 *kap )
           34020


r6150=0


           64     8          1208     6    2
r6151=( - ----*a23 *r6455 - ------*a23 *b12 *kap*r6455
           9                  45

           20113     4    4    2          127415     2    6    3
        - -------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
           8505                            6804

           68879     8    4            2    6    5
        + -------*b12 *kap *r6455)/(a23 *b12 *kap )
           34020


r6152=0


r6153=0


           32     8          688     6    2
r6154=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                 45

           70607     4    4    2          147827     2    6    3
        + -------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
           8505                            6804

           68879     8    4            2    6    5
        + -------*b12 *kap *r6455)/(a23 *b12 *kap )
           34020


          2          1     2
       a23 *r6276 + ---*b12 *kap*r6276
                     2
r6155=---------------------------------
                   a23*b12


r6156=0


           28     4          190     2    2              97     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
           3                 27                          54
r6157=-----------------------------------------------------------------------
                                          3
                                   a23*b12 *kap


r6158=0


        512     8          12992     6    2
r6159=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
        27                  135

           52732     4    4    2          673363     2    6    3
        + -------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
           8505                            8505

           68879     8    4                7    5
        - -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


               4          7     2    2              1     4    2
        - 2*a23 *r6362 - ---*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
                          3                         3
r6160=-----------------------------------------------------------------
                                   3
                                a23 *b12*kap


        256     8          6496     6    2
r6161=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           352988     4    4    2          150095     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            8505                            1701

           68879     8    4                7    5
        - -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


           28     4          136     2    2              151     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6162=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


r6163=0


        256     8          8512     6    2
r6164=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           998296     4    4    2          318334     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            8505                            1701

           137758     8    4                7    5
        - --------*b12 *kap *r6455)/(a23*b12 *kap )
            8505


           1696     6          252176     4    2
r6165=( - ------*a23 *r6455 + --------*a23 *b12 *kap*r6455
           135                  8505

           66176     2    4    2          33814     6    3            6    4
        + -------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(b12 *kap )
           1701                           8505


            4          14     2    2              2     4    2
       4*a23 *r6362 + ----*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
                       3                          3
r6166=---------------------------------------------------------------
                                  2    2
                               a23 *b12 *kap


        256     8          3808     6    2
r6167=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
         9                  45

           237152     4    4    2          20980     2    6    3
        + --------*a23 *b12 *kap *r6455 + -------*a23 *b12 *kap *r6455
            1701                            243

           20662     8    4            8    5
        + -------*b12 *kap *r6455)/(b12 *kap )
           8505


        224     4          1520     2    2              415     4    2
       -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
         9                  81                          81
r6168=-----------------------------------------------------------------------
                                        4
                                     b12 *kap


r6169=0


        1280     10          19424     8    2
r6170=(------*a23  *r6455 + -------*a23 *b12 *kap*r6455
         27                   135

           15818056     6    4    2          81281     4    6    3
        + ----------*a23 *b12 *kap *r6455 + -------*a23 *b12 *kap *r6455
            76545                            25515

           1345651     2    8    4          2961797     10    5            2
        - ---------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23
            11340                           306180

       8    5
   *b12 *kap )


           224     6          1484     4    2
r6171=( - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276
            9                  81

           443     2    4    2          97      6    3                5
        + -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
           81                           162


r6172=0


           8192     10          148864     8    2
r6173=( - ------*a23  *r6455 - --------*a23 *b12 *kap*r6455
            27                   135

           3972032     6    4    2          35466724     4    6    3
        + ---------*a23 *b12 *kap *r6455 + ----------*a23 *b12 *kap *r6455
            76545                            25515

           1644907     2    8    4          2961797     10    5                9
        + ---------*a23 *b12 *kap *r6455 + ---------*b12  *kap *r6455)/(a23*b12
            2835                             76545

       5
   *kap )


        53248     12          2860672     10    2
r6174=(-------*a23  *r6455 + ---------*a23  *b12 *kap*r6455
         135                   2025

           67312768     8    4    2          2649639584     6    6    3
        - ----------*a23 *b12 *kap *r6455 - ------------*a23 *b12 *kap *r6455
            127575                            1148175

           317328364     4    8    4          4231     2    10    5
        - -----------*a23 *b12 *kap *r6455 - ------*a23 *b12  *kap *r6455
            382725                             63

           970946      12    6            2    10    5
        - ---------*b12  *kap *r6455)/(a23 *b12  *kap )
           1148175


r6175=0


          2          1     2
       a23 *r6276 + ---*b12 *kap*r6276
                     2
r6176=---------------------------------
                   a23*b12


r6177=0


           28     4          136     2    2              151     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6178=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


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


r6180=0


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


r6182=0


           28     4          136     2    2              151     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6183=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


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


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


        512     8          12992     6    2
r6186=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
        27                  135

           2576     4    4    2          272     2    6    3            8    5
        + ------*a23 *b12 *kap *r6455 + -----*a23 *b12 *kap *r6455)/(b12 *kap )
            27                           15


        4     2          1     2
       ---*a23 *r6362 + ---*b12 *kap*r6362
        3                3
r6187=-------------------------------------
                         2
                      a23


r6188=0


        224     4          1520     2    2              415     4    2
       -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
         9                  81                          81
r6189=-----------------------------------------------------------------------
                                        4
                                     b12 *kap


        16     4              2    2              5     4    2
       ----*a23 *r6362 + 9*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
        3                                         3
r6190=---------------------------------------------------------------
                                  2    2
                               a23 *b12 *kap


r6191=0


           224     6          1484     4    2
r6192=( - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276
            9                  81

           443     2    4    2          97      6    3                5
        + -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
           81                           162


           56     6          73     4    2                  2    4    2
r6193=( - ----*a23 *r6362 - ----*a23 *b12 *kap*r6362 - 3*a23 *b12 *kap *r6362
           3                 3

           1     6    3            3    3
        + ---*b12 *kap *r6362)/(a23 *b12 *kap)
           6


             6               4    2              2     2    4    2
r6194=(16*a23 *r6362 + 18*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362
                                                 3

           1     6    3            2    4
        - ---*b12 *kap *r6362)/(a23 *b12 *kap)
           3


        32     6          32     4    2              4      2    4    2
r6195=(----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6455
        45                45                         15

           3     6    3            6    4
        - ---*b12 *kap *r6455)/(b12 *kap )
           5


r6196=0


        256     8          6592     6    2
r6197=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           6536     4    4    2          44     2    6    3
        + ------*a23 *b12 *kap *r6455 + ----*a23 *b12 *kap *r6455
           135                           5

           3     8    4            8    5
        - ---*b12 *kap *r6455)/(b12 *kap )
           5


r6198=0


r6199=0


        256     10          4576     8    2
r6200=(-----*a23  *r6455 + ------*a23 *b12 *kap*r6455
        27                  135

           1025324     6    4    2          359122     4    6    3
        + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            8505                             2835

           121811     2    8    4          68879     10    5            2    8
        + --------*a23 *b12 *kap *r6455 + -------*b12  *kap *r6455)/(a23 *b12
            3780                           34020

       5
   *kap )


           4     4              2    2              5      4    2
        - ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
           3                                        12
r6201=------------------------------------------------------------------
                                          3
                                   a23*b12


r6202=0


           35840     10          361216     8    2
r6203=( - -------*a23  *r6455 - --------*a23 *b12 *kap*r6455
            81                    135

           5841712     6    4    2          3969536     4    6    3
        - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
            1701                             2835

           38911     2    8    4          68879     10    5                9
        - -------*a23 *b12 *kap *r6455 - -------*b12  *kap *r6455)/(a23*b12
            189                           8505

       5
   *kap )


        17920     10          179968     8    2
r6204=(-------*a23  *r6455 + --------*a23 *b12 *kap*r6455
         81                    135

           14349256     6    4    2          5613256     4    6    3
        + ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
             8505                             8505

           1458823     2    8    4          7013     10    5            10    5
        + ---------*a23 *b12 *kap *r6455 + ------*b12  *kap *r6455)/(b12  *kap )
            17010                           3402


r6205=0


           4     4              2    2              5      4    2
        - ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
           3                                        12
r6206=------------------------------------------------------------------
                                          3
                                   a23*b12


           1     2          1      2
        - ---*a23 *r6362 - ----*b12 *kap*r6362
           3                12
r6207=-----------------------------------------
                       a23*b12


           32     4              2    2              11     4    2
        - ----*a23 *r6362 - 2*a23 *b12 *kap*r6362 - ----*b12 *kap *r6362
           15                                        30
r6208=-------------------------------------------------------------------
                                      4
                                   b12 *kap


           16     4          8     2    2              1     4    2
        - ----*a23 *r6455 - ---*a23 *b12 *kap*r6455 - ---*b12 *kap *r6455
           45                9                         5
r6209=--------------------------------------------------------------------
                                      4    2
                                   b12 *kap


           32     5          80     3    2                      4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
           9                 9
r6210=-----------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


           64     5          160     3    2                      4    2
        - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
           9                  9
r6212=------------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


           32     5          80     3    2                      4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
           9                 9
r6214=-----------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


        1
       ---*b12*r6276
        4
r6216=---------------
            a23


r6217=0


        1
       ---*b12*r6276
        2
r6218=---------------
            a23


r6219=0


        1
       ---*b12*r6276
        4
r6220=---------------
            a23


           64     5          160     3    2                      4    2
        - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
           9                  9
r6221=------------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


           64     5          160     3    2                      4    2
        - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455 - 8*a23*b12 *kap *r6455
           9                  9
r6223=------------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


        1
       ---*b12*r6276
        2
r6225=---------------
            a23


r6226=0


        1
       ---*b12*r6276
        2
r6227=---------------
            a23


           32     5          80     3    2                      4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - 4*a23*b12 *kap *r6455
           9                 9
r6228=-----------------------------------------------------------------------
                                        5    5
                                     b12 *kap


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


        1
       ---*b12*r6276
        4
r6230=---------------
            a23


r6231=r6276


r6232=0


r6233=r6276


r6234=0


r6235=0


        128     6          752     4    2              364     2    4    2
r6236=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
         9                 15                           9

           36     6    3            6    5
        + ----*b12 *kap *r6455)/(b12 *kap )
           5


       r6362
r6237=-------
        kap


        128     6          752     4    2              364     2    4    2
r6238=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
         9                 15                           9

           36     6    3            6    5
        + ----*b12 *kap *r6455)/(b12 *kap )
           5


       r6362
r6239=-------
        kap


r6240=0


r6241=0


r6242= - r6276


        128     6          752     4    2              364     2    4    2
r6243=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
         9                 15                           9

           36     6    3            6    5
        + ----*b12 *kap *r6455)/(b12 *kap )
           5


       r6362
r6244=-------
        kap


r6245= - r6276


        256     7          6496     5    2
r6246=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           45532     3    4    2          155068         6    3            7
        - -------*a23 *b12 *kap *r6455 - --------*a23*b12 *kap *r6455)/(b12
           2835                            2835

       5
   *kap )


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


           180772     3          180772         2
        - --------*a23 *r6455 - --------*a23*b12 *kap*r6455
            2835                  2835
r6248=------------------------------------------------------
                               3    3
                            b12 *kap


           4     4            2    2              1     4    2
        - ---*a23 *r6362 - a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
           3                                      6
r6249=---------------------------------------------------------------
                                  3
                               a23 *b12*kap


           7     2          5     2
        - ---*a23 *r6276 - ---*b12 *kap*r6276
           3                6
r6250=----------------------------------------
                      a23*b12


r6251=0


        28     4          244     2    2              97      4    2
       ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
        9                 81                          162
r6252=---------------------------------------------------------------------
                                         3
                                  a23*b12 *kap


           512     7          12992     5    2
r6253=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
           27                  135

           451252     3    4    2          46436         6    3            7
        - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455)/(b12
            2835                            567

       5
   *kap )


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


        5     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6255=-------------------------------------
                     a23*b12


r6256= - kap*r6276


r6257=0


r6258=0


        448     6          588752     4    2
r6259=(-----*a23 *r6455 + --------*a23 *b12 *kap*r6455
        15                  1701

           2819108     2    4    2          152044     6    3            6    4
        + ---------*a23 *b12 *kap *r6455 + --------*b12 *kap *r6455)/(b12 *kap )
            8505                             8505


r6260= - r6362


r6261=kap*r6276


        4096     10          8192     8    2
r6262=(------*a23  *r6455 + ------*a23 *b12 *kap*r6455
         45                   25

           158660288     6    4    2          103390948     4    6    3
        - -----------*a23 *b12 *kap *r6455 - -----------*a23 *b12 *kap *r6455
            382725                             127575

           2419696     2    8    4          3883784     10    5                9
        - ---------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23*b12
            14175                           382725

       5
   *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


           16     4          17     2    2              5      4    2
        - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
           9                 9                          36
r6264=----------------------------------------------------------------------
                                            3
                                     a23*b12


r6265=0


r6266=0


r6267=r6276


r6268=0


r6269=r6276


r6270=0


       r6362
r6271=-------
        kap


        112     6          322654     4    2
r6272=(-----*a23 *r6455 - --------*a23 *b12 *kap*r6455
        15                  8505

           168239     2    4    2          68879     6    3            2    4
        - --------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(a23 *b12
            3402                           17010

       4
   *kap )


       r6362
r6273=-------
        kap


        112     6          322654     4    2
r6274=(-----*a23 *r6455 - --------*a23 *b12 *kap*r6455
        15                  8505

           168239     2    4    2          68879     6    3            2    4
        - --------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(a23 *b12
            3402                           17010

       4
   *kap )


r6275=0


r6277=0


       r6362
r6278=-------
        kap


        112     6          322654     4    2
r6279=(-----*a23 *r6455 - --------*a23 *b12 *kap*r6455
        15                  8505

           168239     2    4    2          68879     6    3            2    4
        - --------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(a23 *b12
            3402                           17010

       4
   *kap )


r6280=0


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


        256     8          896     6    2
r6282=(-----*a23 *r6455 + -----*a23 *b12 *kap*r6455
        27                 27

           1051028     4    4    2          918307     2    6    3
        + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            8505                             8505

           68879     8    4                7    5
        + -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


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


           256     8          8512     6    2
r6284=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
           27                 135

           239588     4    4    2          764083     2    6    3
        + --------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            8505                            8505

           68879     8    4                7    5
        + -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


r6285=0


           56     4          650     2    2              16     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + ----*b12 *kap *r6276
           9                 81                          81
r6286=-----------------------------------------------------------------------
                                          3
                                   a23*b12 *kap


r6287=0


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


           256     8          12544     6    2
r6289=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
           27                  135

           510068     4    4    2          815491     2    6    3
        + --------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            2835                            2835

           68879     8    4                7    5
        + -------*b12 *kap *r6455)/(a23*b12 *kap )
           2835


r6290=0


r6291=0


           224     4          1736     2    2              199     4    2
        - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
            9                  81                          81
r6292=--------------------------------------------------------------------------
                                          4
                                       b12 *kap


r6293=0


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


        4741424     6          14230982     4    2
r6295=(---------*a23 *r6455 + ----------*a23 *b12 *kap*r6455
         15309                  25515

           4548161     2    4    2          2961797     6    3            2    4
        + ---------*a23 *b12 *kap *r6455 + ---------*b12 *kap *r6455)/(a23 *b12
            17010                           153090

       3
   *kap )


r6296=0


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


        8192     10          148864     8    2
r6298=(------*a23  *r6455 + --------*a23 *b12 *kap*r6455
         27                   135

           3972032     6    4    2          33835708     4    6    3
        - ---------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
            76545                            25515

           1456123     2    8    4          2961797     10    5                9
        - ---------*a23 *b12 *kap *r6455 - ---------*b12  *kap *r6455)/(a23*b12
            2835                             76545

       5
   *kap )


r6299=0


r6300=0


           256     7          896     5    2
r6301=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           27                 27

           928     3    4    2          32         6    3            7    5
        - -----*a23 *b12 *kap *r6455 - ----*a23*b12 *kap *r6455)/(b12 *kap )
           27                           3


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


        224     5          40     3    2              8         4    2
       -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455
        15                 3                          5
r6303=-----------------------------------------------------------------------
                                        5    4
                                     b12 *kap


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


          2          1     2
       a23 *r6276 + ---*b12 *kap*r6276
                     2
r6305=---------------------------------
                   a23*b12


r6306=0


           28     4          136     2    2              151     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6307=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


r6308

   758708     4          827587     2    2              68879     4    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455 + -------*b12 *kap *r6455
    8505                  8505                          8505
=------------------------------------------------------------------------------
                                        3    3
                                 a23*b12 *kap


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


           28     4          136     2    2              151     4    2
        - ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 81                          162
r6310=------------------------------------------------------------------------
                                           3
                                    a23*b12 *kap


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6311=-------------------------------------
                         2
                      b12


r6312=0


           224     4          1736     2    2              280     4    2
        - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
            9                  81                          81
r6313=--------------------------------------------------------------------------
                                          4
                                       b12 *kap


           512     8          3008     6    2
r6314=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
           27                 135

           2966288     4    4    2          3175024     2    6    3
        - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
            8505                             8505

           42856     8    4            8    5
        - -------*b12 *kap *r6455)/(b12 *kap )
           1701


           40     4               2    2              8     4    2
        - ----*a23 *r6362 - 17*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
           3                                          3
r6315=-------------------------------------------------------------------
                                    2    2
                                 a23 *b12 *kap


        224     4          1520     2    2              415     4    2
       -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
         9                  81                          81
r6316=-----------------------------------------------------------------------
                                        4
                                     b12 *kap


           6712     3          6992         2
        - ------*a23 *r6455 - ------*a23*b12 *kap*r6455
           105                 105
r6317=--------------------------------------------------
                             3    2
                          b12 *kap


             6          83     4    2                  2    4    2
r6318=(24*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
                        3

           1     6    3            3    3
        - ---*b12 *kap *r6362)/(a23 *b12 *kap)
           6


           224     6          1484     4    2
r6319=( - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276
            9                  81

           443     2    4    2          97      6    3                5
        + -----*a23 *b12 *kap *r6276 - -----*b12 *kap *r6276)/(a23*b12 *kap)
           81                           162


r6320=0


r6321=0


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6322=-------------------------------------
                         2
                      b12


r6323=0


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


        448     8          1227112     6    2
r6325=(-----*a23 *r6455 - ---------*a23 *b12 *kap*r6455
        15                  8505

           668348     4    4    2          124079     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            2835                            1890

           68879     8    4            2    6    4
        - -------*b12 *kap *r6455)/(a23 *b12 *kap )
           17010


r6326=0


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


        35840     10          361216     8    2
r6328=(-------*a23  *r6455 + --------*a23 *b12 *kap*r6455
         81                    135

           29214608     6    4    2          3974576     4    6    3
        + ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
             8505                             2835

           196823     2    8    4          68879     10    5                9
        + --------*a23 *b12 *kap *r6455 + -------*b12  *kap *r6455)/(a23*b12
            945                            8505

       5
   *kap )


r6329=0


r6330=0


           32     5          16     3    2              12         4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
           45                9                          5
r6331=--------------------------------------------------------------------------
                                         5    3
                                      b12 *kap


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


           4     4              2    2              5      4    2
        - ---*a23 *r6276 - 2*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276
           3                                        12
r6333=------------------------------------------------------------------
                                          3
                                   a23*b12


r6334=0


r6335=0


           64     6          184     4    2
r6336=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                  9

           44     2    4    2              6    3            6    5
        - ----*a23 *b12 *kap *r6455 - 3*b12 *kap *r6455)/(b12 *kap )
           3


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


           64     8          176     6    2
r6338=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                  9

           83837     4    4    2          759547     2    6    3
        + -------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
           8505                           34020

           68879     8    4            2    6    5
        + -------*b12 *kap *r6455)/(a23 *b12 *kap )
           34020


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


        8     6          208577     4    2
r6340=(---*a23 *r6455 + --------*a23 *b12 *kap*r6455
        9                 8505

           861607     2    4    2          68879     6    3            2    4
        + --------*a23 *b12 *kap *r6455 + -------*b12 *kap *r6455)/(a23 *b12
           34020                           34020

       4
   *kap )


r6341=r6276


r6342=0


r6343=r6276


r6344=0


           64     6          712     4    2
r6345=( - ----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           9                 45

           82     2    4    2          12     6    3            6    5
        - ----*a23 *b12 *kap *r6455 - ----*b12 *kap *r6455)/(b12 *kap )
           9                           5


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


        248     6          255827     4    2
r6347=(-----*a23 *r6455 + --------*a23 *b12 *kap*r6455
        45                  8505

           882019     2    4    2          68879     6    3            2    4
        + --------*a23 *b12 *kap *r6455 + -------*b12 *kap *r6455)/(a23 *b12
           34020                           34020

       4
   *kap )


r6348=r6276


r6349=0


        208     4          50     2    2              3     4    2
       -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ---*b12 *kap *r6455
        45                 9                          5
r6350=-------------------------------------------------------------------
                                      4    4
                                   b12 *kap


            2          1     2
       2*a23 *r6276 + ---*b12 *kap*r6276
                       2
r6351=-----------------------------------
                    a23*b12


r6352=0


        2     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6353=-------------------------------------
                     a23*b12


r6354=0


        256     7          5824     5    2
r6355=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
         9                  45

           1168     3    4    2          144         6    3            7    5
        + ------*a23 *b12 *kap *r6455 + -----*a23*b12 *kap *r6455)/(b12 *kap )
            9                             5


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


           758708     4          827587     2    2
r6357=( - --------*a23 *r6455 - --------*a23 *b12 *kap*r6455
            8505                  8505

           68879     4    2                3    3
        - -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


               2          1     2
        - 2*a23 *r6276 - ---*b12 *kap*r6276
                          2
r6358=--------------------------------------
                     a23*b12


r6359=0


           224     5          40     3    2              8         4    2
        - -----*a23 *r6455 - ----*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455
           15                 3                          5
r6360=--------------------------------------------------------------------------
                                         5    4
                                      b12 *kap


        1024     8          2368     6    2
r6361=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
         27                  15

           279064     4    4    2          657863     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            2835                            2835

           44437     8    4            8    5
        - -------*b12 *kap *r6455)/(b12 *kap )
           2835


        1376     8          32362832     6    2
r6363=(------*a23 *r6455 - ----------*a23 *b12 *kap*r6455
        135                  76545

           2956022     4    4    2          5328349     2    6    3
        - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
            5103                             34020

           2961797     8    4            2    6    4
        - ---------*b12 *kap *r6455)/(a23 *b12 *kap )
           306180


           8     2          8     2
        - ---*a23 *r6276 - ---*b12 *kap*r6276
           3                3
r6364=----------------------------------------
                           2
                        b12


r6365=0


        512     8          9376     6    2
r6366=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        27                 135

           389944     4    4    2          890249     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            8505                            8505

           87907     8    4            8    5
        - -------*b12 *kap *r6455)/(b12 *kap )
           8505


           16     4          17     2    2              1     4    2
        - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276
           3                 3                          6
r6367=---------------------------------------------------------------------
                                           3
                                    a23*b12


r6368=0


           1024     9          1280     7    2
r6369=( - ------*a23 *r6455 - ------*a23 *b12 *kap*r6455
            27                  9

           808576     5    4    2          5730964     3    6    3
        + --------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
            1701                            8505

           823724         8    4            9    5
        + --------*a23*b12 *kap *r6455)/(b12 *kap )
            8505


        4096     12          75008     10    2
r6370=(------*a23  *r6455 + -------*a23  *b12 *kap*r6455
         81                   405

           83413888     8    4    2          1027486528     6    6    3
        - ----------*a23 *b12 *kap *r6455 - ------------*a23 *b12 *kap *r6455
            127575                            1148175

           35356913     4    8    4          2024782     2    10    5
        - ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12  *kap *r6455
            382725                           127575

           970946      12    6            2    10    5
        + ---------*b12  *kap *r6455)/(a23 *b12  *kap )
           1148175


r6371=0


            2          1     2
       2*a23 *r6276 + ---*b12 *kap*r6276
                       2
r6372=-----------------------------------
                    a23*b12


r6373=0


        2     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6374=-------------------------------------
                     a23*b12


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


        448     6          1290616     4    2
r6376=(-----*a23 *r6455 - ---------*a23 *b12 *kap*r6455
        15                  8505

           336478     2    4    2          137758     6    3                5
        - --------*a23 *b12 *kap *r6455 - --------*b12 *kap *r6455)/(a23*b12
            1701                            8505

       4
   *kap )


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


r6378=0


        2     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6379=-------------------------------------
                     a23*b12


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


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


        2048     8          43904     6    2
r6382=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
         27                  135

           5826992     4    4    2          3981676     2    6    3
        + ---------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
            8505                             8505

           275516     8    4            8    5
        + --------*b12 *kap *r6455)/(b12 *kap )
            8505


        20     4              2    2              4     4    2
       ----*a23 *r6362 + 9*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362
        3                                         3
r6383=---------------------------------------------------------------
                                  2    2
                               a23 *b12 *kap


r6384=0


           224     4          1952     2    2              145     4    2
        - -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
            9                  81                          81
r6385=--------------------------------------------------------------------------
                                          4
                                       b12 *kap


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


r6387=0


           16     4          17     2    2              1     4    2
        - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276
           3                 3                          6
r6388=---------------------------------------------------------------------
                                           3
                                    a23*b12


           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


        352     6          1112     4    2
r6391=(-----*a23 *r6455 + ------*a23 *b12 *kap*r6455
        45                  45

           1048     2    4    2          22     6    3            6    4
        + ------*a23 *b12 *kap *r6455 + ----*b12 *kap *r6455)/(b12 *kap )
            45                           5


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


        256     10          4576     8    2
r6393=(-----*a23  *r6455 + ------*a23 *b12 *kap*r6455
        27                  135

           198412     6    4    2          348412     4    6    3
        + --------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
            1701                            2835

           24211     2    8    4          68879     10    5            2    8
        + -------*a23 *b12 *kap *r6455 + -------*b12  *kap *r6455)/(a23 *b12
            756                           34020

       5
   *kap )


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6394=-------------------------------------
                         2
                      b12


r6395=0


        256     10          6592     8    2
r6396=(-----*a23  *r6455 + ------*a23 *b12 *kap*r6455
        27                  135

           6512     6    4    2          118613     4    6    3
        + ------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
           135                            8505

           868411     2    8    4          68879     10    5            2    8
        - --------*a23 *b12 *kap *r6455 - -------*b12  *kap *r6455)/(a23 *b12
           34020                           34020

       5
   *kap )


           4     4          8     2    2              5     4    2
        - ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
           3                3                         6
r6397=-------------------------------------------------------------------
                                          3
                                   a23*b12


r6398=0


        512     8          11216     6    2
r6399=(-----*a23 *r6455 + -------*a23 *b12 *kap*r6455
        27                  135

           302236     4    4    2          1062514     2    6    3
        + --------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
            1701                            8505

           73982     8    4                7    4
        + -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


           16     4          4754     2    2              1832     4    2
        - ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*b12 *kap *r6455
           45                315                          105
r6400=--------------------------------------------------------------------------
                                         4    2
                                      b12 *kap


r6401=0


           4     4          8     2    2              5     4    2
        - ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
           3                3                         6
r6402=-------------------------------------------------------------------
                                          3
                                   a23*b12


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


           32     4              2    2              3     4    2
        - ----*a23 *r6362 - 6*a23 *b12 *kap*r6362 - ---*b12 *kap *r6362
           5                                         5
r6404=------------------------------------------------------------------
                                      4
                                   b12 *kap


           8      4          4     2    2              1     4    2
        - ----*a23 *r6455 - ---*a23 *b12 *kap*r6455 + ---*b12 *kap *r6455
           15                3                         5
r6405=--------------------------------------------------------------------
                                      4    2
                                   b12 *kap


           256     7          896     5    2
r6406=( - -----*a23 *r6455 - -----*a23 *b12 *kap*r6455
           27                 27

           928     3    4    2          32         6    3            7    5
        - -----*a23 *b12 *kap *r6455 - ----*a23*b12 *kap *r6455)/(b12 *kap )
           27                           3


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


r6408

   758708     4          827587     2    2              68879     4    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455 + -------*b12 *kap *r6455
    8505                  8505                          8505
=------------------------------------------------------------------------------
                                        3    3
                                 a23*b12 *kap


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


            2          1     2
       2*a23 *r6276 + ---*b12 *kap*r6276
                       2
r6410=-----------------------------------
                    a23*b12


r6411=0


        2     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6412=-------------------------------------
                     a23*b12


        224     5          40     3    2              8         4    2
       -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455
        15                 3                          5
r6413=-----------------------------------------------------------------------
                                        5    4
                                     b12 *kap


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


        2     2          1     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                6
r6415=-------------------------------------
                     a23*b12


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6416=-------------------------------------
                         2
                      b12


r6417=0


r6418=0


        1024     8          27904     6    2
r6419=(------*a23 *r6455 + -------*a23 *b12 *kap*r6455
         27                  135

           32528     4    4    2          3452     2    6    3
        + -------*a23 *b12 *kap *r6455 + ------*a23 *b12 *kap *r6455
            135                            45

           36     8    4            8    5
        + ----*b12 *kap *r6455)/(b12 *kap )
           5


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


           8     2          5     2
        - ---*a23 *r6276 - ---*b12 *kap*r6276
           3                3
r6421=----------------------------------------
                           2
                        b12


        1024     9          1280     7    2
r6422=(------*a23 *r6455 + ------*a23 *b12 *kap*r6455
         27                  9

           808576     5    4    2          5730964     3    6    3
        - --------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
            1701                            8505

           823724         8    4            9    5
        - --------*a23*b12 *kap *r6455)/(b12 *kap )
            8505


        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


           16     4          17     2    2              1     4    2
        - ----*a23 *r6276 - ----*a23 *b12 *kap*r6276 + ---*b12 *kap *r6276
           3                 3                          6
r6424=---------------------------------------------------------------------
                                           3
                                    a23*b12


r6425=0


r6426=0


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6427=-------------------------------------
                         2
                      b12


r6428=0


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


           112     6          322654     4    2
r6430=( - -----*a23 *r6455 + --------*a23 *b12 *kap*r6455
           15                  8505

           168239     2    4    2          68879     6    3            2    4
        + --------*a23 *b12 *kap *r6455 + -------*b12 *kap *r6455)/(a23 *b12
            3402                           17010

       3
   *kap )


r6431=0


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


           512     8          11024     6    2
r6433=( - -----*a23 *r6455 - -------*a23 *b12 *kap*r6455
           27                  135

           296188     4    4    2          204338     2    6    3
        - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
            1701                            1701

           73982     8    4                7    4
        - -------*b12 *kap *r6455)/(a23*b12 *kap )
           8505


r6434=0


r6435=0


           64     5          32     3    2              24         4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
           45                9                          5
r6436=--------------------------------------------------------------------------
                                         5    3
                                      b12 *kap


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


           4     4          8     2    2              5     4    2
        - ---*a23 *r6276 - ---*a23 *b12 *kap*r6276 - ---*b12 *kap *r6276
           3                3                         6
r6438=-------------------------------------------------------------------
                                          3
                                   a23*b12


r6439=0


r6440=0


           256     8          1088     6    2
r6441=( - -----*a23 *r6455 - ------*a23 *b12 *kap*r6455
           27                  27

           1480     4    4    2          76     2    6    3
        - ------*a23 *b12 *kap *r6455 - ----*a23 *b12 *kap *r6455
            27                           3

               8    4            8    5
        - 3*b12 *kap *r6455)/(b12 *kap )


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


           8      6          193457     4    2
r6443=( - ----*a23 *r6455 - --------*a23 *b12 *kap*r6455
           45                 8505

           847999     2    4    2          68879     6    3            2    4
        - --------*a23 *b12 *kap *r6455 - -------*b12 *kap *r6455)/(a23 *b12
           34020                           34020

       3
   *kap )


        8     2          5     2
       ---*a23 *r6276 + ---*b12 *kap*r6276
        3                3
r6444=-------------------------------------
                         2
                      b12


r6445=0


           176     4          34     2    2              1     4    2
        - -----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ---*b12 *kap *r6455
           45                 9                          5
r6446=----------------------------------------------------------------------
                                       4    3
                                    b12 *kap


           2     2              5      2    2
        - ---*a23 *kap*r6276 - ----*b12 *kap *r6276
           3                    12
r6447=----------------------------------------------
                         a23*b12


r6448=0


        32     5          16     3    2              12         4    2
       ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455
        45                9                          5
r6449=-----------------------------------------------------------------------
                                        5    3
                                     b12 *kap


        2048     10          7936     8    2
r6450=(------*a23  *r6455 + ------*a23 *b12 *kap*r6455
         27                   27

           7841824     6    4    2          2472520     4    6    3
        - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
            8505                             1701

           5513051     2    8    4          54643     10    5            10    5
        - ---------*a23 *b12 *kap *r6455 - -------*b12  *kap *r6455)/(b12  *kap
            17010                           5670

   )


r6451=0


           2     2              5      2    2
        - ---*a23 *kap*r6276 - ----*b12 *kap *r6276
           3                    12
r6452=----------------------------------------------
                         a23*b12


           2     2          5      2
        - ---*a23 *r6362 - ----*b12 *kap*r6362
           3                12
r6453=-----------------------------------------
                       a23*b12


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


           32     5          16     3    2              12         4    2
        - ----*a23 *r6455 - ----*a23 *b12 *kap*r6455 - ----*a23*b12 *kap *r6455
           45                9                          5
r6456=--------------------------------------------------------------------------
                                         5    3
                                      b12 *kap


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


           2     2              5      2    2
        - ---*a23 *kap*r6276 - ----*b12 *kap *r6276
           3                    12
r6458=----------------------------------------------
                         a23*b12


r6459=0


r6460=0


        8      4          4     2    2              3     4    2
       ----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*b12 *kap *r6455
        45                9                         5
r6461=-----------------------------------------------------------------
                                     4    2
                                  b12 *kap


a33=0


a22=0


a13=0


a11=0


Parameters

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

Inequalities

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

 a23,

 b12,

   8      5          4     3    2              3         4    2
 {----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
   45                9                         5

   2     2              5      2    2
  ---*a23 *kap*r6276 + ----*b12 *kap *r6276,
   3                    12

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

   32     5          16     3    2              12         4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
   45                9                          5

  r6455,

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

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

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

   2048     11          7936     9    2
  ------*a23  *r6455 + ------*a23 *b12 *kap*r6455
    27                   27

      7841824     7    4    2          2472520     5    6    3
   - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
       8505                             1701

      5513051     3    8    4          54643         10    5
   - ---------*a23 *b12 *kap *r6455 - -------*a23*b12  *kap *r6455,
       17010                           5670

   32     5          16     3    2              12         4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
   45                9                          5

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

   176     5          34     3    2              1         4    2
  -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
   45                 9                          5

   8     2          5     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                3

   8      7          193457     5    2              847999     3    4    2
  ----*a23 *r6455 + --------*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
   45                 8505                          34020

      68879         6    3
   + -------*a23*b12 *kap *r6455,
      34020

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

   256     9          1088     7    2              1480     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                  27                           27

      76     3    6    3                  8    4
   + ----*a23 *b12 *kap *r6455 + 3*a23*b12 *kap *r6455,
      3

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

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

   64     5          32     3    2              24         4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
   45                9                          5

   512     10          11024     8    2
  -----*a23  *r6455 + -------*a23 *b12 *kap*r6455
   27                   135

      296188     6    4    2          204338     4    6    3
   + --------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
       1701                            1701

      73982     2    8    4
   + -------*a23 *b12 *kap *r6455,
      8505

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

   112     7          322654     5    2
  -----*a23 *r6455 - --------*a23 *b12 *kap*r6455
   15                  8505

      168239     3    4    2          68879         6    3
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       3402                           17010

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

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

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

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

   1024     11          1280     9    2
  ------*a23  *r6455 + ------*a23 *b12 *kap*r6455
    27                   9

      808576     7    4    2          5730964     5    6    3
   - --------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
       1701                            8505

      823724     3    8    4
   - --------*a23 *b12 *kap *r6455,
       8505

   8     2          5     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                3

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

   1024     9          27904     7    2              32528     5    4    2
  ------*a23 *r6455 + -------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
    27                  135                           135

      3452     3    6    3          36         8    4
   + ------*a23 *b12 *kap *r6455 + ----*a23*b12 *kap *r6455,
       45                           5

   8     2          5     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                3

   2     2          1     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

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

   224     5          40     3    2              8         4    2
  -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455,
   15                 3                          5

   2     2          1     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

       2          1     2
  2*a23 *r6276 + ---*b12 *kap*r6276,
                  2

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

   758708     5          827587     3    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455
    8505                  8505

      68879         4    2
   + -------*a23*b12 *kap *r6455,
      8505

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

   256     7          896     5    2              928     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
   27                 27                          27

      32         6    3
   + ----*a23*b12 *kap *r6455,
      3

   8      5          4     3    2              1         4    2
  ----*a23 *r6455 + ---*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455,
   15                3                         5

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

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

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

   16     7          4754     5    2              1832     3    4    2
  ----*a23 *r6455 - ------*a23 *b12 *kap*r6455 - ------*a23 *b12 *kap *r6455,
   45                315                          105

   512     10          11216     8    2
  -----*a23  *r6455 + -------*a23 *b12 *kap*r6455
   27                   135

      302236     6    4    2          1062514     4    6    3
   + --------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
       1701                            8505

      73982     2    8    4
   + -------*a23 *b12 *kap *r6455,
      8505

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

   256     11          6592     9    2              6512     7    4    2
  -----*a23  *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                  135                          135

      118613     5    6    3          868411     3    8    4
   - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
       8505                           34020

      68879         10    5
   - -------*a23*b12  *kap *r6455,
      34020

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

   256     11          4576     9    2              198412     7    4    2
  -----*a23  *r6455 + ------*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
   27                  135                           1701

      348412     5    6    3          24211     3    8    4
   + --------*a23 *b12 *kap *r6455 + -------*a23 *b12 *kap *r6455
       2835                            756

      68879         10    5
   + -------*a23*b12  *kap *r6455,
      34020

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

   352     8          1112     6    2              1048     4    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   45                  45                           45

      22     2    6    3
   + ----*a23 *b12 *kap *r6455,
      5

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

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

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

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

   224     4          1952     2    2              145     4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
    9                  81                          81

   20     4              2    2              4     4    2
  ----*a23 *r6362 + 9*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
   3                                         3

   2048     9          43904     7    2
  ------*a23 *r6455 + -------*a23 *b12 *kap*r6455
    27                  135

      5826992     5    4    2          3981676     3    6    3
   + ---------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
       8505                             8505

      275516         8    4
   + --------*a23*b12 *kap *r6455,
       8505

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

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

   2     2          1     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

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

   448     7          1290616     5    2
  -----*a23 *r6455 - ---------*a23 *b12 *kap*r6455
   15                  8505

      336478     3    4    2          137758         6    3
   - --------*a23 *b12 *kap *r6455 - --------*a23*b12 *kap *r6455,
       1701                            8505

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

   2     2          1     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

       2          1     2
  2*a23 *r6276 + ---*b12 *kap*r6276,
                  2

   4096     15          75008     13    2
  ------*a23  *r6455 + -------*a23  *b12 *kap*r6455
    81                   405

      83413888     11    4    2          1027486528     9    6    3
   - ----------*a23  *b12 *kap *r6455 - ------------*a23 *b12 *kap *r6455
       127575                             1148175

      35356913     7    8    4          2024782     5    10    5
   - ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12  *kap *r6455
       382725                           127575

      970946      3    12    6
   + ---------*a23 *b12  *kap *r6455,
      1148175

   1024     9          1280     7    2              808576     5    4    2
  ------*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
    27                  9                            1701

      5730964     3    6    3          823724         8    4
   - ---------*a23 *b12 *kap *r6455 - --------*a23*b12 *kap *r6455,
       8505                             8505

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

   512     9          9376     7    2              389944     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
   27                 135                           8505

      890249     3    6    3          87907         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       8505                           8505

   8     6          8     4    2
  ---*a23 *r6276 + ---*a23 *b12 *kap*r6276,
   3                3

   1376     9          32362832     7    2
  ------*a23 *r6455 - ----------*a23 *b12 *kap*r6455
   135                  76545

      2956022     5    4    2          5328349     3    6    3
   - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12 *kap *r6455
       5103                             34020

      2961797         8    4
   - ---------*a23*b12 *kap *r6455,
      306180

  r6362,

   1024     9          2368     7    2              279064     5    4    2
  ------*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
    27                  15                           2835

      657863     3    6    3          44437         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       2835                           2835

   224     5          40     3    2              8         4    2
  -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455,
   15                 3                          5

       2          1     2
  2*a23 *r6276 + ---*b12 *kap*r6276,
                  2

   758708     5          827587     3    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455
    8505                  8505

      68879         4    2
   + -------*a23*b12 *kap *r6455,
      8505

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

   256     7          5824     5    2              1168     3    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
    9                  45                           9

      144         6    3
   + -----*a23*b12 *kap *r6455,
       5

   2     2          1     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

       2          1     2
  2*a23 *r6276 + ---*b12 *kap*r6276,
                  2

   208     5          50     3    2              3         4    2
  -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
   45                 9                          5

  b12*r6276,

   248     7          255827     5    2
  -----*a23 *r6455 + --------*a23 *b12 *kap*r6455
   45                  8505

      882019     3    4    2          68879         6    3
   + --------*a23 *b12 *kap *r6455 + -------*a23*b12 *kap *r6455,
      34020                           34020

  r6362,

   64     7          712     5    2              82     3    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
   9                 45                          9

      12         6    3
   + ----*a23*b12 *kap *r6455,
      5

  b12*r6276,

  b12*r6276,

   8     7          208577     5    2              861607     3    4    2
  ---*a23 *r6455 + --------*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
   9                 8505                          34020

      68879         6    3
   + -------*a23*b12 *kap *r6455,
      34020

  r6362,

   64     9          176     7    2              83837     5    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - -------*a23 *b12 *kap *r6455
   9                  9                          8505

      759547     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
      34020                           34020

  r6362,

   64     7          184     5    2              44     3    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
   9                  9                          3

              6    3
   + 3*a23*b12 *kap *r6455,

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

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

   32     5          16     3    2              12         4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + ----*a23*b12 *kap *r6455,
   45                9                          5

   35840     11          361216     9    2
  -------*a23  *r6455 + --------*a23 *b12 *kap*r6455
    81                    135

      29214608     7    4    2          3974576     5    6    3
   + ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
        8505                             2835

      196823     3    8    4          68879         10    5
   + --------*a23 *b12 *kap *r6455 + -------*a23*b12  *kap *r6455,
       945                            8505

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

   448     9          1227112     7    2
  -----*a23 *r6455 - ---------*a23 *b12 *kap*r6455
   15                  8505

      668348     5    4    2          124079     3    6    3
   - --------*a23 *b12 *kap *r6455 - --------*a23 *b12 *kap *r6455
       2835                            1890

      68879         8    4
   - -------*a23*b12 *kap *r6455,
      17010

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

   8     2          5     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                3

   224     6          1484     4    2              443     2    4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
    9                  81                          81

      97      6    3
   + -----*b12 *kap *r6276,
      162

        6          83     4    2                  2    4    2
  24*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
                   3

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

   6712     3          6992         2
  ------*a23 *r6455 + ------*a23*b12 *kap*r6455,
   105                 105

   224     4          1520     2    2              415     4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
    9                  81                          81

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

   512     9          3008     7    2              2966288     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ---------*a23 *b12 *kap *r6455
   27                 135                           8505

      3175024     3    6    3          42856         8    4
   + ---------*a23 *b12 *kap *r6455 + -------*a23*b12 *kap *r6455,
       8505                            1701

   224     5          1736     3    2              280         4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*a23*b12 *kap *r6276,
    9                  81                          81

   8     3              5         2    2
  ---*a23 *kap*r6276 + ---*a23*b12 *kap *r6276,
   3                    3

   28     4          136     2    2              151     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

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

   758708     5          827587     3    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455
    8505                  8505

      68879         4    2
   + -------*a23*b12 *kap *r6455,
      8505

   28     4          136     2    2              151     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

     2          1     2
  a23 *r6276 + ---*b12 *kap*r6276,
                2

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

   224     5          40     3    2              8         4    2
  -----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ---*a23*b12 *kap *r6455,
   15                 3                          5

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

   256     7          896     5    2              928     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
   27                 27                          27

      32         6    3
   + ----*a23*b12 *kap *r6455,
      3

   8192     11          148864     9    2
  ------*a23  *r6455 + --------*a23 *b12 *kap*r6455
    27                   135

      3972032     7    4    2          33835708     5    6    3
   - ---------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
       76545                            25515

      1456123     3    8    4          2961797         10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23*b12  *kap *r6455,
       2835                             76545

       2
  2*a23 *b12*r6362,

   4741424     7          14230982     5    2
  ---------*a23 *r6455 + ----------*a23 *b12 *kap*r6455
    15309                  25515

      4548161     3    4    2          2961797         6    3
   + ---------*a23 *b12 *kap *r6455 + ---------*a23*b12 *kap *r6455,
       17010                           153090

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

   224     4          1736     2    2              199     4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
    9                  81                          81

   256     9          12544     7    2              510068     5    4    2
  -----*a23 *r6455 + -------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
   27                  135                           2835

      815491     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       2835                           2835

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

   56     4          650     2    2              16     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276,
   9                 81                          81

   256     9          8512     7    2              239588     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
   27                 135                           8505

      764083     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       8505                           8505

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

   256     9          896     7    2              1051028     5    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ---------*a23 *b12 *kap *r6455
   27                 27                           8505

      918307     3    6    3          68879         8    4
   + --------*a23 *b12 *kap *r6455 + -------*a23*b12 *kap *r6455,
       8505                           8505

  2*a23*r6362,

   112     7          322654     5    2
  -----*a23 *r6455 - --------*a23 *b12 *kap*r6455
   15                  8505

      168239     3    4    2          68879         6    3
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       3402                           17010

  r6362,

  r6276,

   112     7          322654     5    2
  -----*a23 *r6455 - --------*a23 *b12 *kap*r6455
   15                  8505

      168239     3    4    2          68879         6    3
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       3402                           17010

  r6362,

   112     7          322654     5    2
  -----*a23 *r6455 - --------*a23 *b12 *kap*r6455
   15                  8505

      168239     3    4    2          68879         6    3
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       3402                           17010

  r6362,

  r6276,

  r6276,

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

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

   4096     13          8192     11    2
  ------*a23  *r6455 + ------*a23  *b12 *kap*r6455
    45                   25

      158660288     9    4    2          103390948     7    6    3
   - -----------*a23 *b12 *kap *r6455 - -----------*a23 *b12 *kap *r6455
       382725                             127575

      2419696     5    8    4          3883784     3    10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12  *kap *r6455,
       14175                           382725

  kap*r6276,

  a23*b12*r6362,

   448     7          588752     5    2
  -----*a23 *r6455 + --------*a23 *b12 *kap*r6455
   15                  1701

      2819108     3    4    2          152044         6    3
   + ---------*a23 *b12 *kap *r6455 + --------*a23*b12 *kap *r6455,
       8505                             8505

  kap*r6276,

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

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

   512     8          12992     6    2              451252     4    4    2
  -----*a23 *r6455 + -------*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
   27                  135                           2835

      46436     2    6    3
   + -------*a23 *b12 *kap *r6455,
       567

   28     4          244     2    2              97      4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

   7     2          5     2
  ---*a23 *r6276 + ---*b12 *kap*r6276,
   3                6

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

   180772     3          180772         2
  --------*a23 *r6455 + --------*a23*b12 *kap*r6455,
    2835                  2835

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

   256     8          6496     6    2              45532     4    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - -------*a23 *b12 *kap *r6455
   27                 135                          2835

      155068     2    6    3
   - --------*a23 *b12 *kap *r6455,
       2835

  r6276,

  r6362,

   128     7          752     5    2              364     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
    9                 15                           9

      36         6    3
   + ----*a23*b12 *kap *r6455,
      5

  b12*r6276,

  r6362,

   128     7          752     5    2              364     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
    9                 15                           9

      36         6    3
   + ----*a23*b12 *kap *r6455,
      5

  r6362,

   128     7          752     5    2              364     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + -----*a23 *b12 *kap *r6455
    9                 15                           9

      36         6    3
   + ----*a23*b12 *kap *r6455,
      5

  r6276,

  r6276,

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6362,
   4

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6362,
   2

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   1
  ---*b12*r6362,
   2

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6362,
   4

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   1
  ---*b12*r6362,
   2

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   1
  ---*b12*r6362,
   4

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   16     5          8     3    2              1         4    2
  ----*a23 *r6455 + ---*a23 *b12 *kap*r6455 + ---*a23*b12 *kap *r6455,
   45                9                         5

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

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

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

   17920     11          179968     9    2
  -------*a23  *r6455 + --------*a23 *b12 *kap*r6455
    81                    135

      14349256     7    4    2          5613256     5    6    3
   + ----------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
        8505                             8505

      1458823     3    8    4          7013         10    5
   + ---------*a23 *b12 *kap *r6455 + ------*a23*b12  *kap *r6455,
       17010                           3402

   35840     11          361216     9    2
  -------*a23  *r6455 + --------*a23 *b12 *kap*r6455
    81                    135

      5841712     7    4    2          3969536     5    6    3
   + ---------*a23 *b12 *kap *r6455 + ---------*a23 *b12 *kap *r6455
       1701                             2835

      38911     3    8    4          68879         10    5
   + -------*a23 *b12 *kap *r6455 + -------*a23*b12  *kap *r6455,
       189                           8505

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

   256     11          4576     9    2
  -----*a23  *r6455 + ------*a23 *b12 *kap*r6455
   27                  135

      1025324     7    4    2          359122     5    6    3
   + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
       8505                             2835

      121811     3    8    4          68879         10    5
   + --------*a23 *b12 *kap *r6455 + -------*a23*b12  *kap *r6455,
       3780                           34020

   256     9          6592     7    2              6536     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                 135                          135

      44     3    6    3          3         8    4
   + ----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6455,
      5                           5

   32     7          32     5    2              4      3    4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 - ----*a23 *b12 *kap *r6455
   45                45                         15

      3         6    3
   - ---*a23*b12 *kap *r6455,
      5

        6               4    2              2     2    4    2
  16*a23 *r6362 + 18*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362
                                            3

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

   56     6          73     4    2                  2    4    2
  ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 + 3*a23 *b12 *kap *r6362
   3                 3

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

   224     6          1484     4    2              443     2    4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
    9                  81                          81

      97      6    3
   + -----*b12 *kap *r6276,
      162

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

   224     5          1520     3    2              415         4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*a23*b12 *kap *r6276,
    9                  81                          81

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

   512     9          12992     7    2              2576     5    4    2
  -----*a23 *r6455 + -------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                  135                           27

      272     3    6    3
   + -----*a23 *b12 *kap *r6455,
      15

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

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

   28     4          136     2    2              151     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

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

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

   28     4          136     2    2              151     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

     2          1     2
  a23 *r6276 + ---*b12 *kap*r6276,
                2

   53248     15          2860672     13    2
  -------*a23  *r6455 + ---------*a23  *b12 *kap*r6455
    135                   2025

      67312768     11    4    2          2649639584     9    6    3
   - ----------*a23  *b12 *kap *r6455 - ------------*a23 *b12 *kap *r6455
       127575                             1148175

      317328364     7    8    4          4231     5    10    5
   - -----------*a23 *b12 *kap *r6455 - ------*a23 *b12  *kap *r6455
       382725                             63

      970946      3    12    6
   - ---------*a23 *b12  *kap *r6455,
      1148175

   8192     11          148864     9    2
  ------*a23  *r6455 + --------*a23 *b12 *kap*r6455
    27                   135

      3972032     7    4    2          35466724     5    6    3
   - ---------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
       76545                            25515

      1644907     3    8    4          2961797         10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23*b12  *kap *r6455,
       2835                             76545

   224     6          1484     4    2              443     2    4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*a23 *b12 *kap *r6276
    9                  81                          81

      97      6    3
   + -----*b12 *kap *r6276,
      162

   1280     11          19424     9    2
  ------*a23  *r6455 + -------*a23 *b12 *kap*r6455
    27                   135

      15818056     7    4    2          81281     5    6    3
   + ----------*a23 *b12 *kap *r6455 + -------*a23 *b12 *kap *r6455
       76545                            25515

      1345651     3    8    4          2961797         10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23*b12  *kap *r6455,
       11340                           306180

   224     4          1520     2    2              415     4    2
  -----*a23 *r6276 + ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
    9                  81                          81

   256     9          3808     7    2              237152     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
    9                  45                           1701

      20980     3    6    3          20662         8    4
   + -------*a23 *b12 *kap *r6455 + -------*a23*b12 *kap *r6455,
       243                           8505

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

   1696     7          252176     5    2
  ------*a23 *r6455 - --------*a23 *b12 *kap*r6455
   135                  8505

      66176     3    4    2          33814         6    3
   - -------*a23 *b12 *kap *r6455 + -------*a23*b12 *kap *r6455,
      1701                           8505

   256     9          8512     7    2              998296     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
   27                 135                           8505

      318334     3    6    3          137758         8    4
   - --------*a23 *b12 *kap *r6455 - --------*a23*b12 *kap *r6455,
       1701                            8505

   28     4          136     2    2              151     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

   256     9          6496     7    2              352988     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - --------*a23 *b12 *kap *r6455
   27                 135                           8505

      150095     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       1701                           8505

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

   512     9          12992     7    2              52732     5    4    2
  -----*a23 *r6455 + -------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                  135                          8505

      673363     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       8505                           8505

   28     4          190     2    2              97     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - ----*b12 *kap *r6276,
   3                 27                          54

     2          1     2
  a23 *r6276 + ---*b12 *kap*r6276,
                2

   32     9          688     7    2              70607     5    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 - -------*a23 *b12 *kap *r6455
   9                 45                          8505

      147827     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       6804                           34020

   64     9          1208     7    2              20113     5    4    2
  ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   9                  45                          8505

      127415     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       6804                           34020

   64     9          1208     7    2              20113     5    4    2
  ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   9                  45                          8505

      127415     3    6    3          68879         8    4
   - --------*a23 *b12 *kap *r6455 - -------*a23*b12 *kap *r6455,
       6804                           34020

   32     7          104     5    2              32     3    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
   9                  9                          3

              6    3
   + 3*a23*b12 *kap *r6455,

   64     7          208     5    2              64     3    4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + ----*a23 *b12 *kap *r6455
   9                  9                          3

              6    3
   + 6*a23*b12 *kap *r6455,

   128     9          2336     7    2              2416     5    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                 135                          135

      76     3    6    3          3         8    4
   + ----*a23 *b12 *kap *r6455 - ---*a23*b12 *kap *r6455,
      15                          5

   32     8          34     6    2              5      4    4    2
  ----*a23 *r6362 + ----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
   9                 9                          18

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

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

   10     3          2         2
  ----*a23 *r6362 - ---*a23*b12 *kap*r6362,
   3                 3

     2
  b12 *kap*r6276,

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

   2048     9          39232     7    2
  ------*a23 *r6455 + -------*a23 *b12 *kap*r6455
    27                  135

      2678608     5    4    2          961064     3    6    3
   + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12 *kap *r6455
       8505                             8505

      108952         8    4
   + --------*a23*b12 *kap *r6455,
       8505

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

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

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

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

   512     7          12992     5    2              2576     3    4    2
  -----*a23 *r6455 + -------*a23 *b12 *kap*r6455 + ------*a23 *b12 *kap *r6455
   27                  135                           27

      272         6    3
   + -----*a23*b12 *kap *r6455,
      15

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

   28     4          244     2    2              97      4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

   56     4          407     2    2              113     4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

   3
  ---*b12*r6362,
   2

  r6276,

  2*b12*r6362,

  2*b12*r6362,

  r6276,

  r6276,

   1
  ---*b12*r6362,
   2

  b12*r6362,

   1
  ---*b12*r6362,
   2

   1
  ---*b12*r6362,
   4

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6362,
   2

   1
  ---*b12*r6362,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6362,
   4

   1
  ---*b12*r6362,
   2

   1
  ---*b12*r6362,
   4

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   1024     15          16448     13    2
  ------*a23  *r6455 + -------*a23  *b12 *kap*r6455
    81                   405

      23466208     11    4    2          227122828     9    6    3
   - ----------*a23  *b12 *kap *r6455 - -----------*a23 *b12 *kap *r6455
       127575                             1148175

      3013307     7    8    4          533507     5    10    5
   + ---------*a23 *b12 *kap *r6455 + --------*a23 *b12  *kap *r6455
      109350                           36450

      970946      3    12    6
   + ---------*a23 *b12  *kap *r6455,
      1148175

   4096     13          8192     11    2
  ------*a23  *r6455 + ------*a23  *b12 *kap*r6455
    45                   25

      158660288     9    4    2          103390948     7    6    3
   - -----------*a23 *b12 *kap *r6455 - -----------*a23 *b12 *kap *r6455
       382725                             127575

      2419696     5    8    4          3883784     3    10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12  *kap *r6455,
       14175                           382725

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

   8192     13          140096     11    2
  ------*a23  *r6455 + --------*a23  *b12 *kap*r6455
   405                   2025

      214411952     9    4    2          97225957     7    6    3
   - -----------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
       1148175                            382725

      380006     5    8    4          970946      3    10    5
   - --------*a23 *b12 *kap *r6455 - ---------*a23 *b12  *kap *r6455,
      18225                           1148175

  kap*r6276,

   7168     13          123904     11    2
  ------*a23  *r6455 + --------*a23  *b12 *kap*r6455
   405                   2025

      28073456     9    4    2          55419967     7    6    3
   + ----------*a23 *b12 *kap *r6455 + ----------*a23 *b12 *kap *r6455
       164025                            382725

      333836     5    8    4          970946      3    10    5
   + --------*a23 *b12 *kap *r6455 + ---------*a23 *b12  *kap *r6455,
      18225                           1148175

   8192     13          170336     11    2
  ------*a23  *r6455 + --------*a23  *b12 *kap*r6455
   405                   2025

      15708152     9    4    2          33796027     7    6    3
   - ----------*a23 *b12 *kap *r6455 - ----------*a23 *b12 *kap *r6455
      1148175                            382725

      1519712     5    8    4          970946      3    10    5
   - ---------*a23 *b12 *kap *r6455 - ---------*a23 *b12  *kap *r6455,
      127575                           1148175

   180772     4          180772     2    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455,
    2835                  2835

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

   180772     4          180772     2    2
  --------*a23 *r6455 + --------*a23 *b12 *kap*r6455,
    2835                  2835

   256     8          6496     6    2              45532     4    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 - -------*a23 *b12 *kap *r6455
   27                 135                          2835

      155068     2    6    3
   - --------*a23 *b12 *kap *r6455,
       2835

   28     4          244     2    2              97      4    2
  ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 81                          162

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

   160     7          440     5    2              103993     3    4    2
  -----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + --------*a23 *b12 *kap *r6455
   27                 27                           5670

      54643         6    3
   + -------*a23*b12 *kap *r6455,
      5670

  r6276,

   128     7          1016     5    2              46663     3    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                 135                          2835

      44437         6    3
   + -------*a23*b12 *kap *r6455,
      2835

   128     7          1016     5    2              46663     3    4    2
  -----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                 135                          2835

      44437         6    3
   + -------*a23*b12 *kap *r6455,
      2835

  r6276,

  r6276,

   32     7          1184     5    2              10667     3    4    2
  ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                135                          5670

      34231         6    3
   - -------*a23*b12 *kap *r6455,
      5670

   64     7          2368     5    2              10667     3    4    2
  ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                135                          2835

      34231         6    3
   - -------*a23*b12 *kap *r6455,
      2835

   32     7          1184     5    2              10667     3    4    2
  ----*a23 *r6455 + ------*a23 *b12 *kap*r6455 + -------*a23 *b12 *kap *r6455
   27                135                          5670

      34231         6    3
   - -------*a23*b12 *kap *r6455,
      5670

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   1
  ---*b12*r6276,
   4

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   64     5          160     3    2                      4    2
  ----*a23 *r6455 + -----*a23 *b12 *kap*r6455 + 8*a23*b12 *kap *r6455,
   9                  9

   32     5          80     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 4*a23*b12 *kap *r6455,
   9                 9

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   8     5          20     3    2                    4    2
  ---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455,
   9                9

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

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

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

   16     5          40     3    2                      4    2
  ----*a23 *r6455 + ----*a23 *b12 *kap*r6455 + 6*a23*b12 *kap *r6455,
   3                 3

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

   8     5          20     3    2                    4    2
  ---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455,
   9                9

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

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

   8     5          20     3    2                    4    2
  ---*a23 *r6455 + ----*a23 *b12 *kap*r6455 + a23*b12 *kap *r6455}}
   9                9


Relevance for the application:

Modulo the following equation:

     2      2
0=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$