Solution 34 to problem over


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

Equations

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


Expressions

The solution is given through the following expressions:

      4660     5          985      4              3131     3    2
r60=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
      4587                1529                    9174

         1     2    3              985      2    3
      - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
         5                         3058

          267          4    2          3      5    2
      + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
         12232                         40

          985      5    2                4    3
      + -------*b12 *kap *r6408)/(a23*b12 *kap )
         24464


r61=0


      4660     5          2955     4              3131     3    2
r62=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
      1529                1529                    3058

         3     2    3              2955     2    3
      - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
         5                         3058

          801          4    2          9      5    2
      + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
         12232                         40

         2955      5    2                4    3
      + -------*b12 *kap *r6408)/(a23*b12 *kap )
         24464


r63=0


      4660     5          2955     4              3131     3    2
r64=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
      1529                1529                    3058

         3     2    3              2955     2    3
      - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
         5                         3058

          801          4    2          9      5    2
      + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
         12232                         40

         2955      5    2                4    3
      + -------*b12 *kap *r6408)/(a23*b12 *kap )
         24464


r65=0


      4660     5          985      4              3131     3    2
r66=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
      4587                1529                    9174

         1     2    3              985      2    3
      - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
         5                         3058

          267          4    2          3      5    2
      + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
         12232                         40

          985      5    2                4    3
      + -------*b12 *kap *r6408)/(a23*b12 *kap )
         24464


r67=0


r68=0


r69=0


r610=0


r611=0


r612=0


       4660     5          2955     4              3131     3    2
r613=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       1529                1529                    3058

          3     2    3              2955     2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         3058

           801          4    2          9      5    2
       + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          12232                         40

          2955      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          24464


r614=0


       9320     5          5910     4              3131     3    2
r615=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       1529                1529                    1529

          6     2    3              2955     2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          801          4    2          9      5    2
       + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          6116                         20

          2955      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          12232


r616=0


       4660     5          2955     4              3131     3    2
r617=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       1529                1529                    3058

          3     2    3              2955     2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         3058

           801          4    2          9      5    2
       + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          12232                         40

          2955      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          24464


r618=0


r619=0


r620=0


r621=0


       4660     5          2955     4              3131     3    2
r622=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       1529                1529                    3058

          3     2    3              2955     2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         3058

           801          4    2          9      5    2
       + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          12232                         40

          2955      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          24464


r623=0


       4660     5          2955     4              3131     3    2
r624=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       1529                1529                    3058

          3     2    3              2955     2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         3058

           801          4    2          9      5    2
       + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          12232                         40

          2955      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          24464


r625=0


r626=0


       4660     5          985      4              3131     3    2
r627=(------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
       4587                1529                    9174

          1     2    3              985      2    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         3058

           267          4    2          3      5    2
       + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
          12232                         40

           985      5    2                4    3
       + -------*b12 *kap *r6408)/(a23*b12 *kap )
          24464


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


r629=0


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


r631=0


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


r633=0


          18640     5          3940     4              6262     3    2
r634=( - -------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
          4587                 1529                    4587

          4     2    3              1970     2    3
       + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
          5                         1529

          267          4    2          3      5    2
       - ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
          3058                         10

          985      5    2            5    3
       - ------*b12 *kap *r6408)/(b12 *kap )
          6116


r635=0


          37280     5          7880     4
r636=( - -------*a23 *r6115 - ------*a23 *b12*r6408
          4587                 1529

          12524     3    2              8     2    3
       - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
          4587                          5

          3940     2    3              267          4    2
       - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
          1529                         1529

          3     5    2          985      5    2            5    3
       - ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
          5                     3058


r637=0


          18640     5          3940     4              6262     3    2
r638=( - -------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
          4587                 1529                    4587

          4     2    3              1970     2    3
       + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
          5                         1529

          267          4    2          3      5    2
       - ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
          3058                         10

          985      5    2            5    3
       - ------*b12 *kap *r6408)/(b12 *kap )
          6116


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


r640=0


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


r642=0


          37280     5          7880     4
r643=( - -------*a23 *r6115 - ------*a23 *b12*r6408
          4587                 1529

          12524     3    2              8     2    3
       - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
          4587                          5

          3940     2    3              267          4    2
       - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
          1529                         1529

          3     5    2          985      5    2            5    3
       - ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
          5                     3058


r644=0


          37280     5          7880     4
r645=( - -------*a23 *r6115 - ------*a23 *b12*r6408
          4587                 1529

          12524     3    2              8     2    3
       - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
          4587                          5

          3940     2    3              267          4    2
       - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
          1529                         1529

          3     5    2          985      5    2            5    3
       - ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
          5                     3058


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


r647=0


          18640     5          3940     4              6262     3    2
r648=( - -------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
          4587                 1529                    4587

          4     2    3              1970     2    3
       + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
          5                         1529

          267          4    2          3      5    2
       - ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
          3058                         10

          985      5    2            5    3
       - ------*b12 *kap *r6408)/(b12 *kap )
          6116


       18640     7          3940     6              10922     5    2
r649=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          4     4    3              2955     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          5024     3    4    2          1      2    5    2
       - ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
          4587                          10

          2955     2    5    2          1335          6    3
       - ------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
          6116                          12232

          1     7    3          3      7    3          4925      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/(
          8                     40                     24464

          6    3
   a23*b12 *kap )


r650=0


       37280     7          7880     6              21844     5    2
r651=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          8     4    3              5910     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          10048     3    4    2          1     2    5    2
       - -------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
          4587                           5

          2955     2    5    2          4393         6    3
       - ------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
          3058                          6116

          1     7    3          3      7    3          4925      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/(
          4                     20                     12232

          6    3
   a23*b12 *kap )


r652=0


       18640     7          3940     6              10922     5    2
r653=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          4     4    3              2955     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          5024     3    4    2          1      2    5    2
       - ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
          4587                          10

          2955     2    5    2          7451          6    3
       - ------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
          6116                          12232

          1     7    3          3      7    3          4925      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/(
          8                     40                     24464

          6    3
   a23*b12 *kap )


r654= - r6276


r655=0


r656= - r6276


r657=0


       37280     7          7880     6              21844     5    2
r658=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          8     4    3              5910     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          3932     3    4    2          1     2    5    2
       + ------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
          4587                          5

          2955     2    5    2          267          6    3
       + ------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
          3058                          6116

          1     7    3          3      7    3           985      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(
          4                     20                     12232

          6    3
   a23*b12 *kap )


r659=0


       37280     7          7880     6              21844     5    2
r660=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          8     4    3              5910     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          3932     3    4    2          1     2    5    2
       + ------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
          4587                          5

          2955     2    5    2          2791         6    3
       + ------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
          3058                          6116

          1     7    3          3      7    3           985      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(
          4                     20                     12232

          6    3
   a23*b12 *kap )


r661= - r6276


r662=0


       18640     7          3940     6              10922     5    2
r663=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
       4587                 1529                    4587

          4     4    3              2955     4    3
       - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
          5                         1529

          8956     3    4    2          1      2    5    2
       + ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
          4587                          10

          8865     2    5    2          1869          6    3
       + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
          6116                          12232

          1     7    3          3      7    3          6895      7    3
       + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(
          8                     40                     24464

          6    3
   a23*b12 *kap )


       1      4          1001     2    2              499     4    2
      ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
       18                216                          432
r664=----------------------------------------------------------------------
                                       3
                                    a23 *b12


r665=0


       41     4          1121     2    2              499     4    2
      ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
       18                216                          432
r666=----------------------------------------------------------------------
                                       3
                                    a23 *b12


r667=0


r668= - r6246


r669=0


          74560     5          15760     4
r670=( - -------*a23 *r6115 - -------*a23 *b12*r6408
          4587                 1529

          80968     3    2              16     2    3
       - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
          4587                          5

          19700     2    3              2136         4    2
       - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
          1529                          1529

            5    2          4     5    2          3940     5    2            5
       - b12 *kap *r6246 + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12
                            5                     1529

       2
   *kap )


       25     4          1073     2    2              499     4    2
      ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
       18                216                          432
r671=----------------------------------------------------------------------
                                       3
                                    a23 *b12


r672=0


          74560     5          15760     4
r673=( - -------*a23 *r6115 - -------*a23 *b12*r6408
          4587                 1529

          80968     3    2              16     2    3
       - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
          4587                          5

          19700     2    3              2136         4    2
       - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
          1529                          1529

            5    2          4     5    2          3940     5    2            5
       - b12 *kap *r6246 + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12
                            5                     1529

       2
   *kap )


       7781501     9          6579209     8
r674=(---------*a23 *r6115 + ---------*a23 *b12*r6408
       743094                 990792

          127623509     7    2              33397     6    3
       + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
           9907920                          16200

          18344443     6    3              148770491     5    4    2
       + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
          1981584                          39631680

          43     4    5    2          31613     4    5    2
       + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
          90                          25920

          31592989     4    5    2          21626357      3    6    3
       + ----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
          8807040                           118895040

          11     2    7    3          48407      2    7    3
       - ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
          72                          518400

          27174649     2    7    3           95053          8    4
       + ----------*a23 *b12 *kap *r6408 - ---------*a23*b12 *kap *r6115
          79263360                          3302640

           1      9    4           457      9    4
       - -----*b12 *kap *r6246 - -------*b12 *kap *r6406
          180                     43200

           39203      9    4            3    6    2
       - ---------*b12 *kap *r6408)/(a23 *b12 *kap )
          1981584


r675=0


       2267323     9          1917007     8
r676=(---------*a23 *r6115 + ---------*a23 *b12*r6408
       371547                 495396

          9730307     7    2              9731     6    3
       + ---------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
          4953960                         8100

          1863029     6    3              17593643     5    4    2
       + ---------*a23 *b12 *kap*r6408 - ----------*a23 *b12 *kap *r6115
          990792                          2201760

          103     4    5    2          13051     4    5    2
       + -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
          90                           12960

          8796493     4    5    2          97506569     3    6    3
       - ---------*a23 *b12 *kap *r6408 - ----------*a23 *b12 *kap *r6115
          4403520                          59447520

          1      2    7    3          24361      2    7    3
       + ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
          72                          259200

          25189663     2    7    3           95053          8    4
       - ----------*a23 *b12 *kap *r6408 - ---------*a23*b12 *kap *r6115
          39631680                          3302640

           1      9    4           457      9    4
       - -----*b12 *kap *r6246 - -------*b12 *kap *r6406
          180                     43200

           39203      9    4            3    6    2
       - ---------*b12 *kap *r6408)/(a23 *b12 *kap )
          1981584


       20     4          1010     2    2              499     4    2
      ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
       9                  27                          54
r677=----------------------------------------------------------------------
                                      2    2
                                   a23 *b12


r678=0


       47596541     9          40242569     8
r679=(----------*a23 *r6115 + ----------*a23 *b12*r6408
        743094                  990792

          675782869     7    2              204277     6    3
       + -----------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
           9907920                          16200

          98909563     6    3              12184673     5    4    2
       + ----------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
          1981584                          1467840

          283     4    5    2          28057     4    5    2
       + -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
          90                           5184

          103458589     4    5    2          23548757      3    6    3
       + -----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
           8807040                           118895040

          1      2    7    3           9193      2    7    3
       + ----*a23 *b12 *kap *r6246 + --------*a23 *b12 *kap *r6406
          72                          518400

          29538649     2    7    3           95053          8    4
       + ----------*a23 *b12 *kap *r6408 - ---------*a23*b12 *kap *r6115
          79263360                          3302640

           1      9    4           457      9    4
       - -----*b12 *kap *r6246 - -------*b12 *kap *r6406
          180                     43200

           39203      9    4            3    6    2
       - ---------*b12 *kap *r6408)/(a23 *b12 *kap )
          1981584


          128     6          8005     4    2
r680=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
          27                 162

          7037     2    4    2          499      6    3            3    3
       + ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23 *b12 )
          648                           1296


r681=0


          7474174     9          3159683     8
r682=( - ---------*a23 *r6115 - ---------*a23 *b12*r6408
           41283                  27522

          546018047     7    2              16039     6    3
       - -----------*a23 *b12 *kap*r6115 + -------*a23 *b12 *kap*r6406
           2476980                           450

          26192923     6    3              494616433     5    4    2
       - ----------*a23 *b12 *kap*r6408 - -----------*a23 *b12 *kap *r6115
           165132                           9907920

          2     4    5    2          39421     4    5    2
       - ---*a23 *b12 *kap *r6246 + -------*a23 *b12 *kap *r6406
          5                          2160

          12842463     4    5    2          21305957     3    6    3
       - ----------*a23 *b12 *kap *r6408 - ----------*a23 *b12 *kap *r6115
           244640                           9907920

          7     2    7    3          58007     2    7    3
       + ---*a23 *b12 *kap *r6246 + -------*a23 *b12 *kap *r6406
          6                          43200

          8926883     2    7    3          95053          8    4
       - ---------*a23 *b12 *kap *r6408 + --------*a23*b12 *kap *r6115
          2201760                          275220

          1      9    4          457      9    4
       + ----*b12 *kap *r6246 + ------*b12 *kap *r6406
          15                     3600

          39203      9    4            2    7    2
       + --------*b12 *kap *r6408)/(a23 *b12 *kap )
          165132


          14491901     9          12252809     8
r683=( - ----------*a23 *r6115 - ----------*a23 *b12*r6408
           743094                  990792

          227021909     7    2              62197     6    3
       - -----------*a23 *b12 *kap*r6115 + -------*a23 *b12 *kap*r6406
           9907920                          16200

          32812123     6    3              189245051     5    4    2
       - ----------*a23 *b12 *kap*r6408 - -----------*a23 *b12 *kap *r6115
          1981584                          39631680

          43     4    5    2          10009     4    5    2
       - ----*a23 *b12 *kap *r6246 + -------*a23 *b12 *kap *r6406
          90                          5184

          45776989     4    5    2          23933237      3    6    3
       - ----------*a23 *b12 *kap *r6408 - -----------*a23 *b12 *kap *r6115
          8807040                           118895040

          1      2    7    3          18167      2    7    3
       + ----*a23 *b12 *kap *r6246 + --------*a23 *b12 *kap *r6406
          36                          518400

          30011449     2    7    3           95053          8    4
       - ----------*a23 *b12 *kap *r6408 + ---------*a23*b12 *kap *r6115
          79263360                          3302640

           1      9    4           457      9    4
       + -----*b12 *kap *r6246 + -------*b12 *kap *r6406
          180                     43200

           39203      9    4            3    6
       + ---------*b12 *kap *r6408)/(a23 *b12 *kap)
          1981584


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*r6346
          4
r690=------------------
            a23


r691=0


          1
       - ---*b12*r6346
          2
r692=------------------
            a23


r693=0


          1
       - ---*b12*r6346
          4
r694=------------------
            a23


r695=0


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


r697=0


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


          1
       - ---*b12*r6346
          2
r699=------------------
            a23


r6100=0


           1
        - ---*b12*r6346
           2
r6101=------------------
             a23


r6102=0


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


           1
        - ---*b12*r6346
           4
r6104=------------------
             a23


       1
r6105=---*r6346
       2


r6106=r6115


r6107=r6346


r6108=r6115


       1
r6109=---*r6346
       2


r6110=0


r6111= - r6276


r6112=0


r6113= - r6276


r6114=2*r6346


r6116=2*r6346


r6117=0


r6118= - r6276


       3
r6119=---*r6346
       2


r6120=0


           79     4          761     2    2              499     4    2
        - ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           18                216                         432
r6121=------------------------------------------------------------------------
                                         3
                                      a23 *b12


r6122=0


        41     4          1121     2    2              499     4    2
       ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
        18                216                          432
r6123=----------------------------------------------------------------------
                                        3
                                     a23 *b12


           7     2          1      2
        - ---*a23 *r6346 - ----*b12 *kap*r6346
           3                12
r6124=-----------------------------------------
                       a23*b12


        149120     5          31520     4
r6125=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           161936     3    2              32     2    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              4272         4    2
        + -------*a23 *b12 *kap*r6408 + ------*a23*b12 *kap *r6115
           1529                          1529

           8     5    2          7880     5    2            5    2
        - ---*b12 *kap *r6406 + ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


           497     4          41      2    2              17      4    2
        - -----*a23 *r6346 - -----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
           180                144                         720
r6126=-------------------------------------------------------------------------
                                         3
                                      a23 *b12


r6127=0


        25     4          1073     2    2              499     4    2
       ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
        18                216                          432
r6128=----------------------------------------------------------------------
                                        3
                                     a23 *b12


           11     2          5      2
        - ----*a23 *r6346 - ----*b12 *kap*r6346
           3                 12
r6129=------------------------------------------
                       a23*b12


        2     2          1     2
       ---*a23 *r6346 + ---*b12 *kap*r6346
        3                6
r6130=-------------------------------------
                         2
                      b12


        1082285     7          915065     6
r6131=(---------*a23 *r6115 + --------*a23 *b12*r6408
        123849                 165132

           21632579     5    2              929     4    3
        + ----------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
            990792                          540

           1624265     4    3              93091213     3    4    2
        + ---------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
           110088                          3963168

           4     2    5    2          1837     2    5    2
        - ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
           3                          4320

           3279065     2    5    2          1604737         6    3
        + ---------*a23 *b12 *kap *r6408 + ---------*a23*b12 *kap *r6115
           293568                           440352

           1     7    3           7       7    3
        - ---*b12 *kap *r6246 + ------*b12 *kap *r6406
           3                     5760

           5170265     7    3                6    2
        + ---------*b12 *kap *r6408)/(a23*b12 *kap )
           2642112


        137     4          41     2    2              17      4    2
       -----*a23 *r6346 + ----*a23 *b12 *kap*r6346 + -----*b12 *kap *r6346
        90                 72                         360
r6132=---------------------------------------------------------------------
                                       2    2
                                    a23 *b12


r6133=0


        20     4          1010     2    2              499     4    2
       ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
        9                  27                          54
r6134=----------------------------------------------------------------------
                                       2    2
                                    a23 *b12


        10     2          11     2
       ----*a23 *r6346 + ----*b12 *kap*r6346
        3                 6
r6135=---------------------------------------
                          2
                       b12


r6136=0


           128     6          8005     4    2
r6137=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
           27                 162

           7037     2    4    2          499      6    3            3    3
        + ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23 *b12 )
           648                           1296


           16     4            2    2              47     4    2
        - ----*a23 *r6346 - a23 *b12 *kap*r6346 + ----*b12 *kap *r6346
           45                                      90
r6138=-----------------------------------------------------------------
                                         3
                                  a23*b12


        32     4              2    2              47     4    2
       ----*a23 *r6346 - 2*a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
        45                                        45
r6139=----------------------------------------------------------------
                                       4
                                    b12


        74560     7          47280     6
r6140=(-------*a23 *r6115 + -------*a23 *b12*r6408
        1529                 1529

           294164     5    2              48     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           69935     4    3              156769     3    4    2
        + -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                           9174

           29     2    5    2          52205     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           5                           3058

           12549         6    3          3     7    3
        + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           12232                         5

           46295     7    3                6    3
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           24464


r6141=0


        149120     7          94560     6
r6142=(--------*a23 *r6115 + -------*a23 *b12*r6408
         1529                 1529

           588328     5    2              96     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           139870     4    3              156769     3    4    2
        + --------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
            1529                           4587

           58     2    5    2          52205     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           5                           1529

           15607         6    3          6     7    3
        + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           6116                          5

           46295     7    3                6    3
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           12232


r6143=0


        18640     7          3940     6              20242     5    2
r6144=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           4     4    3              4925     4    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           1699     3    4    2          3      2    5    2
        + ------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
           1529                          10

           6895     2    5    2          6917          6    3
        + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           6116                          12232

           9      7    3          2955      7    3                6    3
        + ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(a23*b12 *kap )
           40                     24464


r6145=0


r6146=0


r6147=0


r6148=0


        149120     7          94560     6
r6149=(--------*a23 *r6115 + -------*a23 *b12*r6408
         1529                 1529

           606968     5    2              96     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           143810     4    3              177011     3    4    2
        + --------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
            1529                           4587

           62     2    5    2          57130     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           5                           1529

           1613         6    3          33     7    3
        + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           556                          20

           5203     7    3                6    3
        + ------*b12 *kap *r6408)/(a23*b12 *kap )
           1112


r6150=0


        37280     7          7880     6              19708     5    2
r6151=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    1529

           8     4    3              13790     4    3
        - ---*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
           5                         1529

           30436     3    4    2          7     2    5    2
        + -------*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6406
           4587                           5

           16745     2    5    2          823         6    3
        + -------*a23 *b12 *kap *r6408 + -----*a23*b12 *kap *r6115
           3058                           556

           1263     7    3                6    3
        + ------*b12 *kap *r6408)/(a23*b12 *kap )
           1112


r6152=0


r6153=0


        18640     7          3940     6              38882     5    2
r6154=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           4     4    3              8865     4    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           25339     3    4    2          11     2    5    2
        + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
           4587                           10

           26595     2    5    2          11189         6    3
        + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           6116                           12232

           9      7    3          24831     7    3                6    3
        - ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(a23*b12 *kap )
           40                     24464


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


r6156=0


           17     2          7     2
        - ----*a23 *r6276 - ---*b12 *kap*r6276
           3                 6
r6157=-----------------------------------------
                       a23*b12


r6158=0


           149120     5          31520     4
r6159=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           161936     3    2              32     2    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              10388         4    2
        - -------*a23 *b12 *kap*r6408 - -------*a23*b12 *kap *r6115
           1529                          1529

           8     5    2          9409     5    2            5    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


        77     4          29     2    2              17      4    2
       ----*a23 *r6346 + ----*a23 *b12 *kap*r6346 + -----*b12 *kap *r6346
        90                72                         360
r6160=--------------------------------------------------------------------
                                       3
                                    a23 *b12


           74560     5          15760     4
r6161=( - -------*a23 *r6115 - -------*a23 *b12*r6408
           4587                 1529

           80968     3    2              16     2    3
        - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           4587                          5

           19700     2    3              8252         4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                          1529

           4     5    2          5469     5    2            5    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


           11     2          1      2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 18
r6162=------------------------------------------
                       a23*b12


r6163=0


           149120     5          31520     4
r6164=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           161936     3    2              32     2    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              10388         4    2
        - -------*a23 *b12 *kap*r6408 - -------*a23*b12 *kap *r6115
           1529                          1529

           13     5    2          10938     5    2            5    2
        + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/(b12 *kap )
           5                      1529


        186400     7          39400     6
r6165=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           61260     5    2                  4    3
        + -------*a23 *b12 *kap*r6115 - 8*a23 *b12 *kap*r6406
           1529

           45310     4    3              21116     3    4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                          4587

             2    5    2          12     2    5    2
        + a23 *b12 *kap *r6246 - ----*a23 *b12 *kap *r6406
                                  5

           15863     2    5    2          4393         6    3
        + -------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
           3058                           6116

           1     7    3          3      7    3          4925      7    3
        + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/
           4                     20                     12232

        6    2
(a23*b12 *kap )


           77     4          29     2    2              17      4    2
        - ----*a23 *r6346 - ----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
           45                36                         180
r6166=-----------------------------------------------------------------------
                                        2    2
                                     a23 *b12


        15174125     7          12829625     6
r6167=(----------*a23 *r6115 + ----------*a23 *b12*r6408
         247698                  330264

           136003715     5    2              2605     4    3
        + -----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
            1981584                          216

           10985705     4    3              140652685     3    4    2
        + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
            220176                           7926336

           1     2    5    2          5897     2    5    2
        + ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
           3                          1728

           7837721     2    5    2          531793         6    3
        + ---------*a23 *b12 *kap *r6408 + --------*a23*b12 *kap *r6115
           587136                           880704

           1      7    3          347      7    3
        + ----*b12 *kap *r6246 + ------*b12 *kap *r6406
           12                     2304

           3042665     7    3                6    2
        + ---------*b12 *kap *r6408)/(a23*b12 *kap )
           5284224


        136     2          25     2
       -----*a23 *r6276 + ----*b12 *kap*r6276
         9                 9
r6168=----------------------------------------
                           2
                        b12


r6169=0


        14176885     7          11986465     6
r6170=(----------*a23 *r6115 + ----------*a23 *b12*r6408
         67554                   90072

           1503615689     5    2              133859     4    3
        + ------------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
            5944752                            3240

           120362075     4    3              1548683047     3    4    2
        + -----------*a23 *b12 *kap*r6408 + ------------*a23 *b12 *kap *r6115
            660528                            23779008

           1     2    5    2          642283     2    5    2
        + ---*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
           3                          25920

           1056147227     2    5    2          9915523         6    3
        + ------------*a23 *b12 *kap *r6408 + ---------*a23*b12 *kap *r6115
            15852672                           2642112

           1      7    3          14603     7    3
        + ----*b12 *kap *r6246 - -------*b12 *kap *r6406
           12                     6912

           92677465     7    3                6    2
        + ----------*b12 *kap *r6408)/(a23*b12 *kap )
           15852672


                6          1903     4    2
r6171=( - 20*a23 *r6276 + ------*a23 *b12 *kap*r6276
                            54

           1039     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


r6172=0


           347449600     7          73441600     6
r6173=( - -----------*a23 *r6115 - ----------*a23 *b12*r6408
            371547                   123849

           458133920     5    2              14912     4    3
        - -----------*a23 *b12 *kap*r6115 + -------*a23 *b12 *kap*r6406
            371547                            81

           36295280     4    3              139711192     3    4    2
        - ----------*a23 *b12 *kap*r6408 - -----------*a23 *b12 *kap *r6115
            41283                            371547

           4     2    5    2          186937     2    5    2
        + ---*a23 *b12 *kap *r6246 + --------*a23 *b12 *kap *r6406
           3                           1620

           173874583     2    5    2          1302592         6    3
        - -----------*a23 *b12 *kap *r6408 - ---------*a23*b12 *kap *r6115
            495396                             41283

           1     7    3          30979     7    3
        + ---*b12 *kap *r6246 + -------*b12 *kap *r6406
           3                     2160

           79385975     7    3            7    2
        - ----------*b12 *kap *r6408)/(b12 *kap )
           1981584


        368177746     11          155645957     10
r6174=(-----------*a23  *r6115 + -----------*a23  *b12*r6408
         371547                    247698

           3281390677     9    2              790081     8    3
        + ------------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
            2476980                            4050

           233614223     8    3              11939469791     7    4    2
        + -----------*a23 *b12 *kap*r6408 + -------------*a23 *b12 *kap *r6115
            247698                            29723760

           38     6    5    2          3927949     6    5    2
        - ----*a23 *b12 *kap *r6246 - ---------*a23 *b12 *kap *r6406
           5                            32400

           7501902893     6    5    2          507772147     5    6    3
        + ------------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
            19815840                           19815840

           91     4    7    3          2181181     4    7    3
        - ----*a23 *b12 *kap *r6246 - ---------*a23 *b12 *kap *r6406
           45                          129600

           1638443857     4    7    3          118038017     3    8    4
        + ------------*a23 *b12 *kap *r6408 - -----------*a23 *b12 *kap *r6115
            39631680                           59447520

           19      2    9    4          11453     2    9    4
        - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           360                          51840

           34598383     2    9    4           95053          10    5
        - ----------*a23 *b12 *kap *r6408 - ---------*a23*b12  *kap *r6115
           39631680                          3302640

            1      11    5           457      11    5
        - -----*b12  *kap *r6246 - -------*b12  *kap *r6406
           180                      43200

            39203      11    5            3    8    2
        - ---------*b12  *kap *r6408)/(a23 *b12 *kap )
           1981584


r6175=0


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


r6177=0


           11     2          1      2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 18
r6178=------------------------------------------
                       a23*b12


             2          1     2
        - a23 *r6346 - ---*b12 *kap*r6346
                        2
r6179=------------------------------------
                    a23*b12


r6180=0


           103     4          43      2    2              17      4    2
        - -----*a23 *r6346 - -----*a23 *b12 *kap*r6346 + -----*b12 *kap *r6346
           180                144                         720
r6181=-------------------------------------------------------------------------
                                         3
                                      a23 *b12


r6182=0


           11     2          1      2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 18
r6183=------------------------------------------
                       a23*b12


           103     4          43      2    2              17      4    2
        - -----*a23 *r6346 - -----*a23 *b12 *kap*r6346 + -----*b12 *kap *r6346
           180                144                         720
r6184=-------------------------------------------------------------------------
                                         3
                                      a23 *b12


            2            2
       2*a23 *r6346 + b12 *kap*r6346
r6185=-------------------------------
                      2
                   b12


           149120     6          31520     5
r6186=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           161936     4    2              32     3    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           39400     3    3              4272     2    4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23 *b12 *kap *r6115
           1529                          1529

           8         5    2          7880         5    2            6    3
        + ---*a23*b12 *kap *r6406 - ------*a23*b12 *kap *r6408 + b12 *kap *r6115
           5                         1529

             6    2
       )/(b12 *kap )


        103     4          43     2    2              17      4    2
       -----*a23 *r6346 + ----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
        90                 72                         360
r6187=---------------------------------------------------------------------
                                       2    2
                                    a23 *b12


r6188=0


        136     2          25     2
       -----*a23 *r6276 + ----*b12 *kap*r6276
         9                 9
r6189=----------------------------------------
                           2
                        b12


        7      4          47     2    2              17     4    2
       ----*a23 *r6346 + ----*a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
        18                72                         72
r6190=-------------------------------------------------------------------
                                      2    2
                                   a23 *b12


r6191=0


                6          1903     4    2
r6192=( - 20*a23 *r6276 + ------*a23 *b12 *kap*r6276
                            54

           1039     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


        74     6          47      4    2              203     2    4    2
r6193=(----*a23 *r6346 - -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346
        15                180                         720

           17      6    3            3    3
        - -----*b12 *kap *r6346)/(a23 *b12 )
           720


           308     6          3      4    2
r6194=( - -----*a23 *r6346 + ----*a23 *b12 *kap*r6346
           45                 10

           23      2    4    2          17      6    3            2    4
        + -----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346)/(a23 *b12 )
           120                          360


        74560     7          47280     6
r6195=(-------*a23 *r6115 + -------*a23 *b12*r6408
        1529                 1529

           294164     5    2              48     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           69935     4    3              156769     3    4    2
        + -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                           9174

           53     2    5    2          52205     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           10                          3058

           12549         6    3          3     7    3
        + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           12232                         5

           46295     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           24464


r6196=0


        149120     7          31520     6
r6197=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           213196     5    2              32     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           50235     4    3              143953     3    4    2
        + -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                           9174

           9     2    5    2          44325     2    5    2
        - ---*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           2                          3058

           18665         6    3          3     7    3
        + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           12232                         5

           46295     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           24464


r6198=0


r6199=0


        74560     7          47280     6
r6200=(-------*a23 *r6115 + -------*a23 *b12*r6408
        1529                 1529

           104268     5    2              48     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            1529                          5

           73875     4    3              65751     3    4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                          3058

           71     2    5    2          65113     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           10                          3058

           22937         6    3          21     7    3
        + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           12232                         20

           68171     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           24464


           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


        298240     7          63040     6
r6203=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           267952     5    2              64     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           66980     4    3              16358     3    4    2
        + -------*a23 *b12 *kap*r6408 - -------*a23 *b12 *kap *r6115
           1529                          1529

           28     2    5    2          8086     2    5    2
        + ----*a23 *b12 *kap *r6406 - ------*a23 *b12 *kap *r6408
           15                          1529

           16237         6    3          23     7    3
        - -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                          30

           20891     7    3            7    2
        - -------*b12 *kap *r6408)/(b12 *kap )
           6116


        5072410     9          2144345     8
r6204=(---------*a23 *r6115 + ---------*a23 *b12*r6408
        123849                  82566

           41197667     7    2              2177     6    3
        + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
            495396                          270

           3137225     6    3              102801901     5    4    2
        + ---------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
            55044                           1981584

           10     4    5    2          33421     4    5    2
        + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           3                           2160

           6135641     4    5    2          1315657     3    6    3
        + ---------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
           146784                           220176

           4     2    7    3          1477     2    7    3
        + ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
           3                          576

           8571641     2    7    3          7451          8    4
        + ---------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
           1321056                          12232

           1     9    4          3      9    4          4925      9    4
        + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/
           8                     40                     24464

        8    2
(a23*b12 *kap )


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


           4     4          4     2    2              1     4    2
        - ---*a23 *r6346 - ---*a23 *b12 *kap*r6346 - ---*b12 *kap *r6346
           3                3                         4
r6207=-------------------------------------------------------------------
                                          3
                                   a23*b12


        8     4          8     2    2              1     4    2
       ---*a23 *r6346 + ---*a23 *b12 *kap*r6346 + ---*b12 *kap *r6346
        3                3                         2
r6208=----------------------------------------------------------------
                                       4
                                    b12


           298240     9          63040     8
r6209=( - --------*a23 *r6115 - -------*a23 *b12*r6408
           41283                 13761

           216688     7    2              64     6    3
        + --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           41283                          45

           3940     6    3              757106     5    4    2
        + ------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                         41283

           16     4    5    2          18715     4    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           9                           1529

           75848     3    6    3          4     2    7    3
        + -------*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6406
           13761                          3

           294515     2    7    3          4183          8    4
        + --------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           55044                           12232

           1     9    4          46295     9    4                8    2
        - ---*b12 *kap *r6406 + -------*b12 *kap *r6408)/(a23*b12 *kap )
           5                     73392


        18640     5          3940     4              6262     3    2
r6210=(-------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           4     2    3              1970     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3      5    2
        + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                         10

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           6116


        1
       ---*b12*r6346
        4
r6211=---------------
            a23


        37280     5          7880     4              12524     3    2
r6212=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           8     2    3              3940     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3     5    2
        + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406
           1529                         5

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           3058


        1
       ---*b12*r6346
        2
r6213=---------------
            a23


        18640     5          3940     4              6262     3    2
r6214=(-------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           4     2    3              1970     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3      5    2
        + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                         10

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           6116


        1
       ---*b12*r6346
        4
r6215=---------------
            a23


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


r6217=0


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


r6219=0


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


        37280     5          7880     4              12524     3    2
r6221=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           8     2    3              3940     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3     5    2
        + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406
           1529                         5

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           3058


        1
       ---*b12*r6346
        2
r6222=---------------
            a23


        37280     5          7880     4              12524     3    2
r6223=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           8     2    3              3940     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3     5    2
        + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406
           1529                         5

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           3058


        1
       ---*b12*r6346
        2
r6224=---------------
            a23


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


r6226=0


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


        18640     5          3940     4              6262     3    2
r6228=(-------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           4     2    3              1970     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           267          4    2          3      5    2
        + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                         10

           985      5    2            5    3
        + ------*b12 *kap *r6408)/(b12 *kap )
           6116


        1
       ---*b12*r6346
        4
r6229=---------------
            a23


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


r6231=r6276


r6232=0


r6233=r6276


r6234=0


r6235=0


           9320     3          5910     2              801          2
r6236=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23*b12 *kap*r6115
           1529                1529                    1529

           2955     3                    2
        - ------*b12 *kap*r6408)/(a23*b12 *kap)
           3058


r6237= - r6346


           9320     3          5910     2              801          2
r6238=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23*b12 *kap*r6115
           1529                1529                    1529

           2955     3                    2
        - ------*b12 *kap*r6408)/(a23*b12 *kap)
           3058


r6239= - r6346


r6240=0


r6241=0


r6242= - r6276


           9320     3          5910     2              801          2
r6243=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23*b12 *kap*r6115
           1529                1529                    1529

           2955     3                    2
        - ------*b12 *kap*r6408)/(a23*b12 *kap)
           3058


r6244= - r6346


r6245= - r6276


        1     2          1      2
       ---*a23 *r6346 + ----*b12 *kap*r6346
        3                12
r6247=--------------------------------------
                     a23*b12


        74560     5          15760     4              80968     3    2
r6248=(-------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                     4587

           16     2    3              19700     2    3
        - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
           5                          1529

           2136         4    2            5    2          4     5    2
        + ------*a23*b12 *kap *r6115 + b12 *kap *r6246 - ---*b12 *kap *r6406
           1529                                           5

           3940     5    2            5    2
        + ------*b12 *kap *r6408)/(b12 *kap )
           1529


        137     4          41      2    2              17      4    2
       -----*a23 *r6346 + -----*a23 *b12 *kap*r6346 + -----*b12 *kap *r6346
        180                144                         720
r6249=----------------------------------------------------------------------
                                        3
                                     a23 *b12


           47     4          857     2    2              499     4    2
        - ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           18                216                         432
r6250=------------------------------------------------------------------------
                                         3
                                      a23 *b12


r6251=0


        41     4          1121     2    2              499     4    2
       ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
        18                216                          432
r6252=----------------------------------------------------------------------
                                        3
                                     a23 *b12


        74560     5          47280     4              80968     3    2
r6253=(-------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        1529                 1529                     1529

           48     2    3              59100     2    3
        - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
           5                          1529

           6408         4    2            5    2          12     5    2
        + ------*a23*b12 *kap *r6115 + b12 *kap *r6246 - ----*b12 *kap *r6406
           1529                                           5

           11820     5    2            5    2
        + -------*b12 *kap *r6408)/(b12 *kap )
           1529


        5     2          5      2
       ---*a23 *r6346 + ----*b12 *kap*r6346
        3                12
r6254=--------------------------------------
                     a23*b12


        25     4          1073     2    2              499     4    2
       ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
        18                216                          432
r6255=----------------------------------------------------------------------
                                        3
                                     a23 *b12


           20     4          1010     2    2              499     4    2
        - ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                  27                          54
r6256=-------------------------------------------------------------------------
                                         2    2
                                      a23 *b12


r6257=0


r6258=0


           13271680     7          2805280     6
r6259=( - ----------*a23 *r6115 - ---------*a23 *b12*r6408
            123849                  41283

           13703984     5    2              2848     4    3
        - ----------*a23 *b12 *kap*r6115 + ------*a23 *b12 *kap*r6406
            123849                          135

           1118960     4    3              1126348     3    4    2
        - ---------*a23 *b12 *kap*r6408 - ---------*a23 *b12 *kap *r6115
            13761                          123849

           16     2    5    2          1132     2    5    2
        - ----*a23 *b12 *kap *r6246 + ------*a23 *b12 *kap *r6406
           3                           135

           74860     2    5    2           445          6    3
        - -------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
           4587                           13761

           1     7    3          2     7    3          4925      7    3
        - ---*b12 *kap *r6246 - ---*b12 *kap *r6406 - -------*b12 *kap *r6408)/(
           3                     9                     82566

          6    2
   a23*b12 *kap )


r6260= - kap*r6346


        20     4          1010     2    2              499     4    2
       ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276
        9                  27                          54
r6261=----------------------------------------------------------------------
                                       2    2
                                    a23 *b12


        7474174     9          3159683     8
r6262=(---------*a23 *r6115 + ---------*a23 *b12*r6408
         41283                  27522

           546018047     7    2              16039     6    3
        + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
            2476980                           450

           26192923     6    3              494616433     5    4    2
        + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
            165132                           9907920

           2     4    5    2          39421     4    5    2
        + ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           5                          2160

           12842463     4    5    2          21305957     3    6    3
        + ----------*a23 *b12 *kap *r6408 + ----------*a23 *b12 *kap *r6115
            244640                           9907920

           7     2    7    3          58007     2    7    3
        - ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           6                          43200

           8926883     2    7    3          95053          8    4
        + ---------*a23 *b12 *kap *r6408 - --------*a23*b12 *kap *r6115
           2201760                          275220

           1      9    4          457      9    4
        - ----*b12 *kap *r6246 - ------*b12 *kap *r6406
           15                     3600

           39203      9    4            2    7    2
        - --------*b12 *kap *r6408)/(a23 *b12 *kap )
           165132


        16     4            2    2              47     4    2
       ----*a23 *r6346 - a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
        45                                      90
r6263=--------------------------------------------------------------
                                        3
                                 a23*b12


           128     6          8005     4    2
r6264=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
           27                 162

           7037     2    4    2          499      6    3            3    3
        + ------*a23 *b12 *kap *r6276 - ------*b12 *kap *r6276)/(a23 *b12 )
           648                           1296


r6265=0


r6266=0


r6267=r6276


r6268=0


r6269=r6276


r6270=0


r6271= - r6346


           37280     5          7880     4
r6272=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           40484     3    2              8     2    3
        - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
           4587                          5

           9850     2    3              1068         4    2
        - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                         1529

           9      5    2          5469     5    2                4    2
        + ----*b12 *kap *r6406 - ------*b12 *kap *r6408)/(a23*b12 *kap )
           10                     3058


r6273= - r6346


           37280     5          7880     4
r6274=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           40484     3    2              8     2    3
        - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
           4587                          5

           9850     2    3              1068         4    2
        - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                         1529

           9      5    2          5469     5    2                4    2
        + ----*b12 *kap *r6406 - ------*b12 *kap *r6408)/(a23*b12 *kap )
           10                     3058


r6275=0


r6277=0


r6278= - r6346


           37280     5          7880     4
r6279=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           40484     3    2              8     2    3
        - -------*a23 *b12 *kap*r6115 + ---*a23 *b12 *kap*r6406
           4587                          5

           9850     2    3              1068         4    2
        - ------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                         1529

           9      5    2          5469     5    2                4    2
        + ----*b12 *kap *r6406 - ------*b12 *kap *r6408)/(a23*b12 *kap )
           10                     3058


r6280=0


       2*a23*r6346
r6281=-------------
           b12


       4*a23*r6115 - b12*r6406 + b12*r6408
r6282=-------------------------------------
                       b12


        103     4          29     2    2              17      4    2
       -----*a23 *r6346 - ----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
        90                 72                         360
r6283=---------------------------------------------------------------------
                                       3
                                    a23 *b12


        149120     5          31520     4
r6284=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           161936     3    2              32     2    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              10388         4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23*b12 *kap *r6115
           1529                          1529

           13     5    2          9409     5    2            5    2
        - ----*b12 *kap *r6406 + ------*b12 *kap *r6408)/(b12 *kap )
           5                      1529


r6285=0


           64     2          16     2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 9
r6286=------------------------------------------
                       a23*b12


r6287=0


        14     2          2     2
       ----*a23 *r6346 + ---*b12 *kap*r6346
        3                 3
r6288=--------------------------------------
                     a23*b12


        298240     5          63040     4
r6289=(--------*a23 *r6115 + -------*a23 *b12*r6408
         4587                 1529

           323872     3    2              64     2    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
            4587                          5

           78800     2    3              14660         4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23*b12 *kap *r6115
           1529                          1529

           31     5    2          20347     5    2            5    2
        - ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(b12 *kap )
           5                      1529


r6290=0


r6291=0


                4          890     2    2              499     4    2
        - 20*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
                           27                          54
r6292=----------------------------------------------------------------------
                                       2    2
                                    a23 *b12


r6293=0


           16     2          7     2
        - ----*a23 *r6346 - ---*b12 *kap*r6346
           3                 3
r6294=-----------------------------------------
                           2
                        b12


           150685760     7          31850960     6
r6295=( - -----------*a23 *r6115 - ----------*a23 *b12*r6408
            371547                   123849

           190738888     5    2              32336     4    3
        - -----------*a23 *b12 *kap*r6115 + -------*a23 *b12 *kap*r6406
            371547                            405

           15180820     4    3              47336396     3    4    2
        - ----------*a23 *b12 *kap*r6408 - ----------*a23 *b12 *kap *r6115
            41283                            371547

           168697     2    5    2          136070047     2    5    2
        + --------*a23 *b12 *kap *r6406 - -----------*a23 *b12 *kap *r6408
            3240                            990792

           586429         6    3          5639     7    3
        - --------*a23*b12 *kap *r6115 + ------*b12 *kap *r6406
           82566                          864

           54965855     7    3                6    2
        - ----------*b12 *kap *r6408)/(a23*b12 *kap )
           3963168


r6296=0


       2*a23*kap*r6346
r6297=-----------------
             b12


        300910180     7          63604405     6
r6298=(-----------*a23 *r6115 + ----------*a23 *b12*r6408
         371547                   123849

           816077143     5    2              64573     4    3
        + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
            743094                            405

           64455445     4    3              1039723865     3    4    2
        + ----------*a23 *b12 *kap*r6408 + ------------*a23 *b12 *kap *r6115
            82566                            2972376

               2    5    2          329771     2    5    2
        - 8*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
                                     3240

           642440281     2    5    2          10391717         6    3
        + -----------*a23 *b12 *kap *r6408 + ----------*a23*b12 *kap *r6115
            1981584                            330264

               7    3          12511     7    3
        - 2*b12 *kap *r6246 - -------*b12 *kap *r6406
                                864

           19461605     7    3            7    2
        + ----------*b12 *kap *r6408)/(b12 *kap )
            495396


r6299=0


r6300=0


r6301=r6406


          2          1     2
       a23 *r6346 + ---*b12 *kap*r6346
                     2
r6302=---------------------------------
                   a23*b12


           74560     5          15760     4
r6303=( - -------*a23 *r6115 - -------*a23 *b12*r6408
           4587                 1529

           80968     3    2              16     2    3
        - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           4587                          5

           19700     2    3              2136         4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                          1529

           9     5    2          3940     5    2            5    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


        103     4          43      2    2              17      4    2
       -----*a23 *r6346 + -----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
        180                144                         720
r6304=----------------------------------------------------------------------
                                        3
                                     a23 *b12


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


r6306=0


           11     2          1      2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 18
r6307=------------------------------------------
                       a23*b12


r6308=r6408


        103     4          43      2    2              17      4    2
       -----*a23 *r6346 + -----*a23 *b12 *kap*r6346 - -----*b12 *kap *r6346
        180                144                         720
r6309=----------------------------------------------------------------------
                                        3
                                     a23 *b12


           11     2          1      2
        - ----*a23 *r6276 - ----*b12 *kap*r6276
           9                 18
r6310=------------------------------------------
                       a23*b12


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


r6312=0


           160     2          40     2
        - -----*a23 *r6276 - ----*b12 *kap*r6276
            9                 9
r6313=-------------------------------------------
                            2
                         b12


        1043840     7          220640     6
r6314=(---------*a23 *r6115 + --------*a23 *b12*r6408
         13761                  4587

           1506352     5    2              224     4    3
        + ---------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
            13761                          15

           118200     4    3              410672     3    4    2
        + --------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
            1529                          13761

           116     2    5    2          39194     2    5    2
        - -----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           15                           1529

           2759         6    3              7    3
        + ------*a23*b12 *kap *r6115 - 2*b12 *kap *r6406
           1529

           30535     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           9174


        188     4          14     2    2              17     4    2
       -----*a23 *r6346 + ----*a23 *b12 *kap*r6346 + ----*b12 *kap *r6346
        45                 9                          45
r6315=--------------------------------------------------------------------
                                      2    2
                                   a23 *b12


        136     2          25     2
       -----*a23 *r6276 + ----*b12 *kap*r6276
         9                 9
r6316=----------------------------------------
                           2
                        b12


        15513140     7          3279065     6
r6317=(----------*a23 *r6115 + ---------*a23 *b12*r6408
         123849                  41283

           33396899     5    2              3329     4    3
        + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
            247698                          135

           2711705     4    3              25988557     3    4    2
        + ---------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
            27522                           990792

           20     2    5    2          14701     2    5    2
        + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           3                           1080

           1965113     2    5    2           9673          6    3
        + ---------*a23 *b12 *kap *r6408 + --------*a23*b12 *kap *r6115
            73392                           110088

           5     7    3          199      7    3
        + ---*b12 *kap *r6246 + ------*b12 *kap *r6406
           3                     1440

           513185     7    3            7    2
        + --------*b12 *kap *r6408)/(b12 *kap )
           660528


           154     6          553     4    2
r6318=( - -----*a23 *r6346 - -----*a23 *b12 *kap*r6346
           15                 180

           203     2    4    2          17      6    3            3    3
        - -----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346)/(a23 *b12 )
           720                          720


                6          1903     4    2
r6319=( - 20*a23 *r6276 + ------*a23 *b12 *kap*r6276
                            54

           1039     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


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 *r6346 - ---*b12 *kap*r6346
           3                3
r6324=----------------------------------------
                           2
                        b12


           149120     7          31520     6
r6325=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           199216     5    2              32     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           47280     4    3              53300     3    4    2
        - -------*a23 *b12 *kap*r6408 - -------*a23 *b12 *kap *r6115
           1529                          4587

           26     2    5    2          20788     2    5    2
        + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           5                           1529

           1068         6    3          9      7    3
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           1529                         10

           5469     7    3                6    2
        - ------*b12 *kap *r6408)/(a23*b12 *kap )
           3058


r6326=0


        16     3          10         2
       ----*a23 *r6346 + ----*a23*b12 *kap*r6346
        3                 3
r6327=-------------------------------------------
                            3
                         b12


           596480     7          126080     6
r6328=( - --------*a23 *r6115 - --------*a23 *b12*r6408
           13761                  4587

           349504     5    2              128     4    3
        - --------*a23 *b12 *kap*r6115 + -----*a23 *b12 *kap*r6406
           13761                          15

           31520     4    3              272608     3    4    2
        - -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                          13761

           92     2    5    2          21876     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           15                          1529

           8964         6    3          31     7    3
        + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           1529                         15

           20347     7    3            7    2
        + -------*b12 *kap *r6408)/(b12 *kap )
           4587


r6329=0


r6330=0


           298240     7          63040     6
r6331=( - --------*a23 *r6115 - -------*a23 *b12*r6408
           13761                 4587

           454352     5    2              64     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           13761                          15

           35460     4    3              125386     3    4    2
        - -------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
           1529                          13761

           64     2    5    2          13790     2    5    2
        + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           15                          1529

           1691         6    3          13     7    3
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                         10

           18715     7    3            7    2
        - -------*b12 *kap *r6408)/(b12 *kap )
           18348


        4     4          4     2    2              1     4    2
       ---*a23 *r6346 + ---*a23 *b12 *kap*r6346 + ---*b12 *kap *r6346
        3                3                         4
r6332=----------------------------------------------------------------
                                         3
                                  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


           23300     5          4925     4
r6336=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           15655     3    2                2    3
        - -------*a23 *b12 *kap*r6115 + a23 *b12 *kap*r6406
           9174

           4925     2    3              1335          4    2
        - ------*a23 *b12 *kap*r6408 - -------*a23*b12 *kap *r6115
           3058                         12232

           3     5    2          4925      5    2                4    2
        + ---*b12 *kap *r6406 - -------*b12 *kap *r6408)/(a23*b12 *kap )
           8                     24464


r6337=r6346


           9320     5          5910     4              3131     3    2
r6338=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
           1529                1529                    1529

           6     2    3              2955     2    3
        + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
           5                         1529

           801          4    2          3      5    2
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           6116                         10

            103      5    2                4    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           12232


r6339=r6346


           4660     5          985      4              3131     3    2
r6340=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
           4587                1529                    9174

           1     2    3              985      2    3
        + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
           5                         3058

            267          4    2          3      5    2
        - -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           12232                         40

           5131      5    2                4    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           24464


r6341=r6276


r6342=0


r6343=r6276


r6344=0


           46600     5          9850     4
r6345=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           29635     3    2                  2    3
        - -------*a23 *b12 *kap*r6115 + 2*a23 *b12 *kap*r6406
           4587

           7880     2    3              267         4    2
        - ------*a23 *b12 *kap*r6408 - -----*a23*b12 *kap *r6115
           1529                         556

           3     5    2          985      5    2                4    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(a23*b12 *kap )
           4                     1112


           9320     5          5910     4              7791     3    2
r6347=( - ------*a23 *r6115 - ------*a23 *b12*r6408 - ------*a23 *b12 *kap*r6115
           1529                1529                    1529

           6     2    3              5910     2    3
        + ---*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
           5                         1529

           2403         4    2          3      5    2
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           6116                         10

           5807      5    2                4    2
        - -------*b12 *kap *r6408)/(a23*b12 *kap )
           12232


r6348=r6276


r6349=0


           23300     5          4925     4
r6350=( - -------*a23 *r6115 - ------*a23 *b12*r6408
           4587                 1529

           3965     3    2                2    3
        - ------*a23 *b12 *kap*r6115 + a23 *b12 *kap*r6406
           834

           985     2    3              4539          4    2
        - -----*a23 *b12 *kap*r6408 - -------*a23*b12 *kap *r6115
           278                         12232

           3     5    2          16745     5    2                4    2
        + ---*b12 *kap *r6406 - -------*b12 *kap *r6408)/(a23*b12 *kap )
           8                     24464


            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


           149120     5          31520     4
r6355=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           161936     3    2              32     2    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              4272         4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                          1529

           3     5    2          7880     5    2            5    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


           8     2          2     2
        - ---*a23 *r6346 - ---*b12 *kap*r6346
           3                3
r6356=----------------------------------------
                      a23*b12


r6357= - r6408


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


r6359=0


        74560     5          15760     4              80968     3    2
r6360=(-------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                     4587

           16     2    3              19700     2    3
        - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
           5                          1529

           2136         4    2          9     5    2
        + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           1529                         5

           3940     5    2            5    2
        + ------*b12 *kap *r6408)/(b12 *kap )
           1529


        149120     7          31520     6
r6361=(--------*a23 *r6115 + -------*a23 *b12*r6408
         3753                 1251

           1604216     5    2              352     4    3
        + ---------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
            41283                          45

           131990     4    3              137407     3    4    2
        + --------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
            4587                          41283

               2    5    2          148     2    5    2
        + 4*a23 *b12 *kap *r6246 - -----*a23 *b12 *kap *r6406
                                    45

           8865     2    5    2           445          6    3
        + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           1529                          18348

           1     7    3          1     7    3           4925      7    3
        + ---*b12 *kap *r6246 + ---*b12 *kap *r6406 + --------*b12 *kap *r6408)/
           4                     6                     110088

        6    2
(a23*b12 *kap )


r6362=kap*r6346


        3625480     7          766330     6
r6363=(---------*a23 *r6115 + --------*a23 *b12*r6408
        371547                 123849

           1823759     5    2              778     4    3
        + ---------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
           371547                          405

           170405     4    3              7650215     3    4    2
        + --------*a23 *b12 *kap*r6408 - ---------*a23 *b12 *kap *r6115
           41283                          1486188

           4     2    5    2          1399     2    5    2
        + ---*a23 *b12 *kap *r6246 + ------*a23 *b12 *kap *r6406
           3                          3240

           597049     2    5    2          155423         6    3
        - --------*a23 *b12 *kap *r6408 - --------*a23*b12 *kap *r6115
           247698                          165132

           1      7    3          413     7    3
        + ----*b12 *kap *r6246 + -----*b12 *kap *r6406
           12                     864

           4018253     7    3                6    2
        - ---------*b12 *kap *r6408)/(a23*b12 *kap )
           3963168


           44     4          965     2    2              499     4    2
        - ----*a23 *r6276 + -----*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276
           9                 27                          54
r6364=------------------------------------------------------------------------
                                        2    2
                                     a23 *b12


r6365=0


        2311360     7          488560     6
r6366=(---------*a23 *r6115 + --------*a23 *b12*r6408
        123849                 41283

           2332928     5    2              496     4    3
        + ---------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
           123849                          135

           191090     4    3              52049     3    4    2
        + --------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           13761                          11259

           4     2    5    2          94      2    5    2
        + ---*a23 *b12 *kap *r6246 - -----*a23 *b12 *kap *r6406
           3                          135

           1970     2    5    2          14863         6    3
        + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           417                           55044

           1      7    3          1      7    3          164495     7    3
        + ----*b12 *kap *r6246 + ----*b12 *kap *r6406 + --------*b12 *kap *r6408
           12                     18                     330264

                 6    2
       )/(a23*b12 *kap )


           128     6          7975     4    2
r6367=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
            9                  54

           3019     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


r6368=0


           18490880     7          3908480     6
r6369=( - ----------*a23 *r6115 - ---------*a23 *b12*r6408
            123849                  41283

           21683104     5    2              3968     4    3
        - ----------*a23 *b12 *kap*r6115 + ------*a23 *b12 *kap*r6406
            123849                          135

           1741480     4    3              371356     3    4    2
        - ---------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
            13761                          11259

           32     2    5    2          496     2    5    2
        - ----*a23 *b12 *kap *r6246 + -----*a23 *b12 *kap *r6406
           3                           27

           15760     2    5    2          2047         6    3
        - -------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
            417                           1251

           5     7    3          34     7    3          22655     7    3
        - ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/
           3                     45                     7506

    7    2
(b12 *kap )


           24333821     9          20574089     8
r6370=( - ----------*a23 *r6115 - ----------*a23 *b12*r6408
            743094                  990792

           120689863     7    2              104437     6    3
        - -----------*a23 *b12 *kap*r6115 + --------*a23 *b12 *kap*r6406
            3302640                          16200

           52669723     6    3              262363771     5    4    2
        - ----------*a23 *b12 *kap*r6408 - -----------*a23 *b12 *kap *r6115
           1981584                          39631680

           163     4    5    2          81917     4    5    2
        - -----*a23 *b12 *kap *r6246 + -------*a23 *b12 *kap *r6406
           90                           25920

           67525789     4    5    2          31815077      3    6    3
        - ----------*a23 *b12 *kap *r6408 - -----------*a23 *b12 *kap *r6115
           8807040                           118895040

           13     2    7    3          101353     2    7    3
        - ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
           72                          518400

           39703849     2    7    3           95053          8    4
        - ----------*a23 *b12 *kap *r6408 + ---------*a23*b12 *kap *r6115
           79263360                          3302640

            1      9    4           457      9    4
        + -----*b12 *kap *r6246 + -------*b12 *kap *r6406
           180                     43200

            39203      9    4            3    6
        + ---------*b12 *kap *r6408)/(a23 *b12 *kap)
           1981584


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 *r6346 - ---*b12 *kap*r6346
                          2
r6375=--------------------------------------
                     a23*b12


           149120     5          31520     4
r6376=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           161936     3    2              32     2    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           39400     2    3              4272         4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                          1529

           18     5    2          10938     5    2            5    2
        + ----*b12 *kap *r6406 - -------*b12 *kap *r6408)/(b12 *kap )
           5                      1529


           2     2          1     2
        - ---*a23 *r6346 - ---*b12 *kap*r6346
           3                6
r6377=----------------------------------------
                      a23*b12


r6378=0


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


           2     2          1     2
        - ---*a23 *r6346 - ---*b12 *kap*r6346
           3                6
r6380=----------------------------------------
                      a23*b12


            2            2
       4*a23 *r6346 + b12 *kap*r6346
r6381=-------------------------------
                      2
                   b12


           2385920     7          504320     6
r6382=( - ---------*a23 *r6115 - --------*a23 *b12*r6408
            13761                  4587

           2963776     5    2              512     4    3
        - ---------*a23 *b12 *kap*r6115 + -----*a23 *b12 *kap*r6406
            13761                          15

           236400     4    3              609896     3    4    2
        - --------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
            1529                          13761

           188     2    5    2          68744     2    5    2
        + -----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           15                           1529

           2031         6    3              7    3
        - ------*a23*b12 *kap *r6115 + 2*b12 *kap *r6406
           1529

           19700     7    3                6    2
        - -------*b12 *kap *r6408)/(a23*b12 *kap )
           4587


           94     4          23     2    2              17     4    2
        - ----*a23 *r6346 - ----*a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
           45                18                         90
r6383=----------------------------------------------------------------------
                                       2    2
                                    a23 *b12


r6384=0


           184     2          55     2
        - -----*a23 *r6276 - ----*b12 *kap*r6276
            9                 9
r6385=-------------------------------------------
                            2
                         b12


            2              2
       4*a23 *r6346 + 2*b12 *kap*r6346
r6386=---------------------------------
                       2
                    b12


r6387=0


           128     6          7975     4    2
r6388=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
            9                  54

           3019     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


           24     4          5     2    2              53     4    2
        - ----*a23 *r6346 - ---*a23 *b12 *kap*r6346 + ----*b12 *kap *r6346
           5                 3                         60
r6389=---------------------------------------------------------------------
                                           3
                                    a23*b12


           112     4              2    2              1      4    2
        - -----*a23 *r6346 + 2*a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
           15                                         30
r6390=--------------------------------------------------------------------
                                         4
                                      b12


        298240     7          63040     6
r6391=(--------*a23 *r6115 + -------*a23 *b12*r6408
        13761                 4587

           314552     5    2              64     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
           13761                          15

           25610     4    3              78421     3    4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                          13761

           1      2    5    2          8865     2    5    2
        + ----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
           30                          1529

           2047         6    3          11     7    3
        + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           6116                         40

           22655     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           36696


        8     2          5     2
       ---*a23 *r6346 + ---*b12 *kap*r6346
        3                3
r6392=-------------------------------------
                         2
                      b12


        596480     7          126080     6
r6393=(--------*a23 *r6115 + --------*a23 *b12*r6408
        13761                  4587

           880744     5    2              128     4    3
        + --------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
           13761                          15

           68950     4    3              29569     3    4    2
        + -------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                          1251

           41     2    5    2          3094     2    5    2
        - ----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
           6                           139

           12759         6    3          47     7    3
        + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           6116                          40

           116539     7    3                6    2
        + --------*b12 *kap *r6408)/(a23*b12 *kap )
           36696


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


r6395=0


        372800     7          78800     6
r6396=(--------*a23 *r6115 + -------*a23 *b12*r6408
        13761                 4587

           526000     5    2              16     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
           13761                          3

           41370     4    3              184583     3    4    2
        + -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                          13761

           103     2    5    2          18715     2    5    2
        - -----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           30                           1529

           8487         6    3          11     7    3
        + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           6116                         40

           50911     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           36696


           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


        521920     7          110320     6
r6399=(--------*a23 *r6115 + --------*a23 *b12*r6408
        33777                 11259

           4650136     5    2              1232     4    3
        + ---------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
           371547                          405

           394000     4    3              7455082     3    4    2
        + --------*a23 *b12 *kap*r6408 - ---------*a23 *b12 *kap *r6115
           41283                          371547

           631     2    5    2          1005256     2    5    2
        + -----*a23 *b12 *kap *r6406 - ---------*a23 *b12 *kap *r6408
           405                          123849

           229411         6    3          767     7    3
        - --------*a23*b12 *kap *r6115 - -----*b12 *kap *r6406
           41283                          540

           729515     7    3            7    2
        - --------*b12 *kap *r6408)/(b12 *kap )
           495396


        151035260     9          31924835     8
r6400=(-----------*a23 *r6115 + ----------*a23 *b12*r6408
         371547                   123849

           412272881     7    2              32411     6    3
        + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
            743094                            405

           32539475     6    3              532090495     5    4    2
        + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
            82566                            2972376

           68     4    5    2          218563     4    5    2
        + ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
           3                            3240

           323220419     4    5    2          4810307     3    6    3
        + -----------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
            1981584                           330264

           20     2    7    3          35551     2    7    3
        + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
           3                           4320

           38491957     2    7    3          8551          8    4
        + ----------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
           1981584                           18348

           1     9    4          19      9    4           6895      9    4
        + ---*b12 *kap *r6246 + -----*b12 *kap *r6406 + --------*b12 *kap *r6408
           4                     120                     110088

                 8    2
       )/(a23*b12 *kap )


r6401=0


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


           4     4          2     2    2              1     4    2
        - ---*a23 *r6346 - ---*a23 *b12 *kap*r6346 + ---*b12 *kap *r6346
           3                3                         6
r6403=-------------------------------------------------------------------
                                          3
                                   a23*b12


        104     4          20     2    2              11     4    2
       -----*a23 *r6346 + ----*a23 *b12 *kap*r6346 + ----*b12 *kap *r6346
        15                 3                          15
r6404=--------------------------------------------------------------------
                                         4
                                      b12


           596480     9          126080     8
r6405=( - --------*a23 *r6115 - --------*a23 *b12*r6408
           41283                 13761

           657056     7    2              128     6    3
        + --------*a23 *b12 *kap*r6115 + -----*a23 *b12 *kap*r6406
           41283                          45

           39400     6    3              1854976     5    4    2
        + -------*a23 *b12 *kap*r6408 + ---------*a23 *b12 *kap *r6115
           4587                           41283

           208     4    5    2          46295     4    5    2
        - -----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           45                           1529

           366085     3    6    3          56     2    7    3
        + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
           27522                           15

           178285     2    7    3          10057         8    4
        + --------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           13761                           12232

           29     9    4          111305     9    4                8    2
        - ----*b12 *kap *r6406 + --------*b12 *kap *r6408)/(a23*b12 *kap )
           40                     73392


            2          1     2
       2*a23 *r6346 + ---*b12 *kap*r6346
                       2
r6407=-----------------------------------
                    a23*b12


        2     2          1     2
       ---*a23 *r6346 + ---*b12 *kap*r6346
        3                6
r6409=-------------------------------------
                     a23*b12


            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


           74560     5          15760     4
r6413=( - -------*a23 *r6115 - -------*a23 *b12*r6408
           4587                 1529

           80968     3    2              16     2    3
        - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           4587                          5

           19700     2    3              2136         4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23*b12 *kap *r6115
           1529                          1529

           9     5    2          3940     5    2            5    2
        + ---*b12 *kap *r6406 - ------*b12 *kap *r6408)/(b12 *kap )
           5                     1529


        2     2          1     2
       ---*a23 *r6346 + ---*b12 *kap*r6346
        3                6
r6414=-------------------------------------
                     a23*b12


        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


           298240     7          63040     6
r6419=( - --------*a23 *r6115 - -------*a23 *b12*r6408
            4587                 1529

           323872     5    2              64     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
            4587                          5

           78800     4    3              1624     3    4    2
        - -------*a23 *b12 *kap*r6408 - ------*a23 *b12 *kap *r6115
           1529                          139

           16     2    5    2          1970     2    5    2
        + ----*a23 *b12 *kap *r6406 - ------*a23 *b12 *kap *r6408
           5                           139

           801          6    3          2955     7    3                6    2
        - ------*a23*b12 *kap *r6115 - ------*b12 *kap *r6408)/(a23*b12 *kap )
           1529                         3058


           8     2          5     2
        - ---*a23 *r6346 - ---*b12 *kap*r6346
           3                3
r6420=----------------------------------------
                           2
                        b12


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


        18490880     7          3908480     6
r6422=(----------*a23 *r6115 + ---------*a23 *b12*r6408
         123849                  41283

           21683104     5    2              3968     4    3
        + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
            123849                          135

           1741480     4    3              371356     3    4    2
        + ---------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
            13761                          11259

           32     2    5    2          496     2    5    2
        + ----*a23 *b12 *kap *r6246 - -----*a23 *b12 *kap *r6406
           3                           27

           15760     2    5    2          2047         6    3
        + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
            417                           1251

           5     7    3          34     7    3          22655     7    3
        + ---*b12 *kap *r6246 - ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/
           3                     45                     7506

    7    2
(b12 *kap )


           8      4          5     2    2              53     4    2
        - ----*a23 *r6346 - ---*a23 *b12 *kap*r6346 - ----*b12 *kap *r6346
           15                3                         60
r6423=---------------------------------------------------------------------
                                           3
                                    a23*b12


           128     6          7975     4    2
r6424=( - -----*a23 *r6276 + ------*a23 *b12 *kap*r6276
            9                  54

           3019     2    4    2          499     6    3            3    3
        + ------*a23 *b12 *kap *r6276 + -----*b12 *kap *r6276)/(a23 *b12 )
            72                           432


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 *r6346 - ---*b12 *kap*r6346
           3                3
r6429=----------------------------------------
                           2
                        b12


        37280     5          7880     4              40484     3    2
r6430=(-------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
        4587                 1529                    4587

           8     2    3              9850     2    3
        - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
           5                         1529

           1068         4    2          9      5    2
        + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           1529                         10

           5469     5    2                4
        + ------*b12 *kap *r6408)/(a23*b12 *kap)
           3058


r6431=0


        16     3          10         2
       ----*a23 *r6346 + ----*a23*b12 *kap*r6346
        3                 3
r6432=-------------------------------------------
                            3
                         b12


        74560     7          15760     6
r6433=(-------*a23 *r6115 + -------*a23 *b12*r6408
        2673                  891

           19884872     5    2              2224     4    3
        + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
            371547                          405

           1520840     4    3              1293266     3    4    2
        + ---------*a23 *b12 *kap*r6408 + ---------*a23 *b12 *kap *r6115
            41283                           33777

           4087     2    5    2          294476     2    5    2
        - ------*a23 *b12 *kap *r6406 + --------*a23 *b12 *kap *r6408
           405                           11259

           275068         6    3          637     7    3
        + --------*a23*b12 *kap *r6115 - -----*b12 *kap *r6406
           41283                          540

           1740125     7    3            7    2
        + ---------*b12 *kap *r6408)/(b12 *kap )
           495396


r6434=0


r6435=0


           596480     7          126080     6
r6436=( - --------*a23 *r6115 - --------*a23 *b12*r6408
           13761                  4587

           908704     5    2              128     4    3
        - --------*a23 *b12 *kap*r6115 + -----*a23 *b12 *kap*r6406
           13761                          15

           70920     4    3              250772     3    4    2
        - -------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
           1529                          13761

           128     2    5    2          27580     2    5    2
        + -----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           15                           1529

           1691         6    3          13     7    3
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           1529                         5

           18715     7    3            7    2
        - -------*b12 *kap *r6408)/(b12 *kap )
           9174


        4     4          2     2    2              1     4    2
       ---*a23 *r6346 + ---*a23 *b12 *kap*r6346 - ---*b12 *kap *r6346
        3                3                         6
r6437=----------------------------------------------------------------
                                         3
                                  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


           372800     7          78800     6
r6441=( - --------*a23 *r6115 - -------*a23 *b12*r6408
           13761                 4587

           567940     5    2              16     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           13761                          3

           44325     4    3              313465     3    4    2
        - -------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
           1529                          27522

           16     2    5    2          34475     2    5    2
        + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           3                           3058

           8455          6    3          7     7    3
        - -------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406
           12232                         8

           93575     7    3                6    2
        - -------*b12 *kap *r6408)/(a23*b12 *kap )
           73392


        8     2          5     2
       ---*a23 *r6346 + ---*b12 *kap*r6346
        3                3
r6442=-------------------------------------
                         2
                      b12


           74560     7          15760     6
r6443=( - -------*a23 *r6115 - -------*a23 *b12*r6408
           13761                4587

           113588     5    2              16     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           13761                          15

           8865     4    3              62693     3    4    2
        - ------*a23 *b12 *kap*r6408 - -------*a23 *b12 *kap *r6115
           1529                         27522

           16     2    5    2          6895     2    5    2
        + ----*a23 *b12 *kap *r6406 - ------*a23 *b12 *kap *r6408
           15                          3058

           1691          6    3          13     7    3
        - -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           12232                         40

           37063     7    3                6    2
        - -------*b12 *kap *r6408)/(a23*b12 *kap )
           73392


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


r6445=0


           74560     7          15760     6
r6446=( - -------*a23 *r6115 - -------*a23 *b12*r6408
           13761                4587

           57668     5    2              16     4    3
        - -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           13761                         15

           4925     4    3              58759     3    4    2
        - ------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                         27522

           4      2    5    2          2955     2    5    2
        + ----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
           15                          3058

           2581          6    3          1     7    3
        + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406
           12232                         8

           28565     7    3                6    2
        + -------*b12 *kap *r6408)/(a23*b12 *kap )
           73392


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


r6448=0


        298240     7          63040     6
r6449=(--------*a23 *r6115 + -------*a23 *b12*r6408
        13761                 4587

           454352     5    2              64     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
           13761                          15

           35460     4    3              125386     3    4    2
        + -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           1529                          13761

           64     2    5    2          13790     2    5    2
        - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           15                          1529

           1691         6    3          13     7    3
        + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           3058                         10

           18715     7    3            7    2
        + -------*b12 *kap *r6408)/(b12 *kap )
           18348


           969280     7          204880     6
r6450=( - --------*a23 *r6115 - --------*a23 *b12*r6408
           123849                41283

           665804     5    2              208     4    3
        - --------*a23 *b12 *kap*r6115 + -----*a23 *b12 *kap*r6406
           123849                         135

           58115     4    3              107245     3    4    2
        - -------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
           13761                         247698

           4     2    5    2          22      2    5    2
        - ---*a23 *b12 *kap *r6246 + -----*a23 *b12 *kap *r6406
           3                          135

           985      2    5    2           7921          6    3
        - ------*a23 *b12 *kap *r6408 + --------*a23*b12 *kap *r6115
           4587                          110088

           5      7    3          5     7    3          87665      7    3
        - ----*b12 *kap *r6246 - ---*b12 *kap *r6406 + --------*b12 *kap *r6408)
           24                     9                     660528

         6
/(a23*b12 *kap)


r6451=0


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


        2     2              5      2    2
       ---*a23 *kap*r6346 + ----*b12 *kap *r6346
        3                    12
r6453=-------------------------------------------
                        a23*b12


        64     4              2    2              7      4    2
       ----*a23 *r6346 + 4*a23 *b12 *kap*r6346 + ----*b12 *kap *r6346
        15                                        30
r6454=----------------------------------------------------------------
                                       4
                                    b12


           298240     9          63040     8
r6455=( - --------*a23 *r6115 - -------*a23 *b12*r6408
           41283                 13761

           60368     7    2              64     6    3
        + -------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           3753                          45

           3940     6    3              1438634     5    4    2
        + ------*a23 *b12 *kap*r6408 + ---------*a23 *b12 *kap *r6115
           417                           41283

           176     4    5    2          36445     4    5    2
        - -----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
           45                           1529

           138541     3    6    3          52     2    7    3
        + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
           13761                           15

           542735     2    7    3          7565          8    4
        + --------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
           55044                           12232

           17     9    4          83725     9    4                8    2
        - ----*b12 *kap *r6406 + -------*b12 *kap *r6408)/(a23*b12 *kap )
           20                     73392


           298240     7          63040     6
r6456=( - --------*a23 *r6115 - -------*a23 *b12*r6408
           13761                 4587

           454352     5    2              64     4    3
        - --------*a23 *b12 *kap*r6115 + ----*a23 *b12 *kap*r6406
           13761                          15

           35460     4    3              125386     3    4    2
        - -------*a23 *b12 *kap*r6408 - --------*a23 *b12 *kap *r6115
           1529                          13761

           64     2    5    2          13790     2    5    2
        + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408
           15                          1529

           1691         6    3          13     7    3
        - ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
           3058                         10

           18715     7    3            7    2
        - -------*b12 *kap *r6408)/(b12 *kap )
           18348


           2     2              5      2    2
        - ---*a23 *kap*r6346 - ----*b12 *kap *r6346
           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


        74560     7          15760     6
r6461=(-------*a23 *r6115 + -------*a23 *b12*r6408
        13761                4587

           113588     5    2              16     4    3
        + --------*a23 *b12 *kap*r6115 - ----*a23 *b12 *kap*r6406
           13761                          15

           8865     4    3              62693     3    4    2
        + ------*a23 *b12 *kap*r6408 + -------*a23 *b12 *kap *r6115
           1529                         27522

           16     2    5    2          6895     2    5    2
        - ----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
           15                          3058

           1691          6    3          13     7    3
        + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
           12232                         40

           18715     7    3                6
        + -------*b12 *kap *r6408)/(a23*b12 *kap)
           73392


a33=0


a22=0


a13=0


a11=0


Parameters

Apart from the condition that they must not vanish to give a non-trivial solution and a non-singular solution with non-vanishing denominators, the following parameters are free:
 r6115, r6246, r6276, r6346, r6406, r6408, 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.
 
{b12,

 a23,

   4660     5          2955     4              3131     3    2
 {------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          985      4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                1529                    9174

      1     2    3              985      2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       267          4    2          3      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

       985      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   9320     5          5910     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    1529

      6     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      801          4    2          9      5    2          2955      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408
      6116                         20                     12232

  ,

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          2955     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    3058

      3     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       801          4    2          9      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      2955      5    2
   + -------*b12 *kap *r6408,
      24464

   4660     5          985      4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                1529                    9174

      1     2    3              985      2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       267          4    2          3      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

       985      5    2
   + -------*b12 *kap *r6408,
      24464

   1
  ---*b12*r6276,
   4

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   1
  ---*b12*r6276,
   4

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   18640     7          3940     6              10922     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     4    3              2955     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      5024     3    4    2          1      2    5    2
   - ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      4587                          10

      2955     2    5    2          1335          6    3
   - ------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
      6116                          12232

      1     7    3          3      7    3          4925      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408,
      8                     40                     24464

   37280     7          7880     6              21844     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     4    3              5910     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      10048     3    4    2          1     2    5    2
   - -------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
      4587                           5

      2955     2    5    2          4393         6    3
   - ------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
      3058                          6116

      1     7    3          3      7    3          4925      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408,
      4                     20                     12232

   18640     7          3940     6              10922     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     4    3              2955     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      5024     3    4    2          1      2    5    2
   - ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      4587                          10

      2955     2    5    2          7451          6    3
   - ------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
      6116                          12232

      1     7    3          3      7    3          4925      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 - -------*b12 *kap *r6408,
      8                     40                     24464

  r6276,

  r6276,

   37280     7          7880     6              21844     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     4    3              5910     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      3932     3    4    2          1     2    5    2
   + ------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
      4587                          5

      2955     2    5    2          267          6    3
   + ------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      3058                          6116

      1     7    3          3      7    3           985      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      4                     20                     12232

   37280     7          7880     6              21844     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     4    3              5910     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      3932     3    4    2          1     2    5    2
   + ------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
      4587                          5

      2955     2    5    2          2791         6    3
   + ------*a23 *b12 *kap *r6408 - ------*a23*b12 *kap *r6115
      3058                          6116

      1     7    3          3      7    3           985      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      4                     20                     12232

  r6276,

   18640     7          3940     6              10922     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     4    3              2955     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      8956     3    4    2          1      2    5    2
   + ------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      4587                          10

      8865     2    5    2          1869          6    3
   + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      6116                          12232

      1     7    3          3      7    3          6895      7    3
   + ---*b12 *kap *r6246 + ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      8                     40                     24464

   1      4          1001     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

   41     4          1121     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

  r6246,

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136         4    2            5    2          4     5    2
   + ------*a23*b12 *kap *r6115 + b12 *kap *r6246 - ---*b12 *kap *r6406
      1529                                           5

      3940     5    2
   + ------*b12 *kap *r6408,
      1529

   25     4          1073     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

   74560     6          15760     5              80968     4    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     3    3              19700     3    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136     2    4    2                5    2          4         5    2
   + ------*a23 *b12 *kap *r6115 + a23*b12 *kap *r6246 - ---*a23*b12 *kap *r6406
      1529                                                5

      3940         5    2
   + ------*a23*b12 *kap *r6408,
      1529

   7781501     11          6579209     10
  ---------*a23  *r6115 + ---------*a23  *b12*r6408
   743094                  990792

      127623509     9    2              33397     8    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       9907920                          16200

      18344443     8    3              148770491     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
      1981584                          39631680

      43     6    5    2          31613     6    5    2
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      90                          25920

      31592989     6    5    2          21626357      5    6    3
   + ----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
      8807040                           118895040

      11     4    7    3          48407      4    7    3
   - ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      72                          518400

      27174649     4    7    3           95053      3    8    4
   + ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12 *kap *r6115
      79263360                          3302640

       1      2    9    4           457      2    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      180                          43200

       39203      2    9    4
   - ---------*a23 *b12 *kap *r6408,
      1981584

   2267323     11          1917007     10
  ---------*a23  *r6115 + ---------*a23  *b12*r6408
   371547                  495396

      9730307     9    2              9731     8    3
   + ---------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
      4953960                         8100

      1863029     8    3              17593643     7    4    2
   + ---------*a23 *b12 *kap*r6408 - ----------*a23 *b12 *kap *r6115
      990792                          2201760

      103     6    5    2          13051     6    5    2
   + -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      90                           12960

      8796493     6    5    2          97506569     5    6    3
   - ---------*a23 *b12 *kap *r6408 - ----------*a23 *b12 *kap *r6115
      4403520                          59447520

      1      4    7    3          24361      4    7    3
   + ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      72                          259200

      25189663     4    7    3           95053      3    8    4
   - ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12 *kap *r6115
      39631680                          3302640

       1      2    9    4           457      2    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      180                          43200

       39203      2    9    4
   - ---------*a23 *b12 *kap *r6408,
      1981584

   20     4          1010     2    2              499     4    2
  ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                  27                          54

   47596541     11          40242569     10
  ----------*a23  *r6115 + ----------*a23  *b12*r6408
    743094                   990792

      675782869     9    2              204277     8    3
   + -----------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
       9907920                          16200

      98909563     8    3              12184673     7    4    2
   + ----------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
      1981584                          1467840

      283     6    5    2          28057     6    5    2
   + -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      90                           5184

      103458589     6    5    2          23548757      5    6    3
   + -----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
       8807040                           118895040

      1      4    7    3           9193      4    7    3
   + ----*a23 *b12 *kap *r6246 + --------*a23 *b12 *kap *r6406
      72                          518400

      29538649     4    7    3           95053      3    8    4
   + ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12 *kap *r6115
      79263360                          3302640

       1      2    9    4           457      2    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      180                          43200

       39203      2    9    4
   - ---------*a23 *b12 *kap *r6408,
      1981584

   128     6          8005     4    2              7037     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
   27                 162                          648

      499      6    3
   + ------*b12 *kap *r6276,
      1296

   7474174     11          3159683     10
  ---------*a23  *r6115 + ---------*a23  *b12*r6408
    41283                   27522

      546018047     9    2              16039     8    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       2476980                           450

      26192923     8    3              494616433     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       165132                           9907920

      2     6    5    2          39421     6    5    2
   + ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      5                          2160

      12842463     6    5    2          21305957     5    6    3
   + ----------*a23 *b12 *kap *r6408 + ----------*a23 *b12 *kap *r6115
       244640                           9907920

      7     4    7    3          58007     4    7    3
   - ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      6                          43200

      8926883     4    7    3          95053      3    8    4
   + ---------*a23 *b12 *kap *r6408 - --------*a23 *b12 *kap *r6115
      2201760                          275220

      1      2    9    4          457      2    9    4
   - ----*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      15                          3600

      39203      2    9    4
   - --------*a23 *b12 *kap *r6408,
      165132

   14491901     11          12252809     10
  ----------*a23  *r6115 + ----------*a23  *b12*r6408
    743094                   990792

      227021909     9    2              62197     8    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       9907920                          16200

      32812123     8    3              189245051     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
      1981584                          39631680

      43     6    5    2          10009     6    5    2
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      90                          5184

      45776989     6    5    2          23933237      5    6    3
   + ----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
      8807040                           118895040

      1      4    7    3          18167      4    7    3
   - ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      36                          518400

      30011449     4    7    3           95053      3    8    4
   + ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12 *kap *r6115
      79263360                          3302640

       1      2    9    4           457      2    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      180                          43200

       39203      2    9    4
   - ---------*a23 *b12 *kap *r6408,
      1981584

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   1     2
  ---*b12 *kap*r6346,
   2

   1     2
  ---*b12 *kap*r6346,
   2

   1     2
  ---*b12 *kap*r6346,
   4

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   1     2
  ---*b12 *kap*r6346,
   2

   1     2
  ---*b12 *kap*r6346,
   2

   1
  ---*b12*r6276,
   4

   1     2
  ---*b12 *kap*r6346,
   4

   1     4    2
  ---*b12 *kap *r6346,
   2

  a23*r6115,

     4    2
  b12 *kap *r6346,

  a23*r6115,

   1     4    2
  ---*b12 *kap *r6346,
   2

  r6276,

  r6276,

       4    2
  2*b12 *kap *r6346,

  r6115,

       4    2
  2*b12 *kap *r6346,

  r6276,

   3     4    2
  ---*b12 *kap *r6346,
   2

   79     4          761     2    2              499     4    2
  ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   18                216                         432

   41     4          1121     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

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

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      4272         4    2          8     5    2          7880     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

   497     4    2              41      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346
   180                         144                          720

  ,

   25     4          1073     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

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

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

   1082285     9          915065     8
  ---------*a23 *r6115 + --------*a23 *b12*r6408
   123849                 165132

      21632579     7    2              929     6    3
   + ----------*a23 *b12 *kap*r6115 - -----*a23 *b12 *kap*r6406
       990792                          540

      1624265     6    3              93091213     5    4    2
   + ---------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
      110088                          3963168

      4     4    5    2          1837     4    5    2
   - ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      3                          4320

      3279065     4    5    2          1604737     3    6    3
   + ---------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
      293568                           440352

      1     2    7    3           7       2    7    3
   - ---*a23 *b12 *kap *r6246 + ------*a23 *b12 *kap *r6406
      3                          5760

      5170265     2    7    3
   + ---------*a23 *b12 *kap *r6408,
      2642112

   137     4    2              41     2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346,
   90                          72                          360

   20     4          1010     2    2              499     4    2
  ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                  27                          54

   10     3    2              11         4    2
  ----*a23 *b12 *kap*r6346 + ----*a23*b12 *kap *r6346,
   3                          6

   128     6          8005     4    2              7037     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
   27                 162                          648

      499      6    3
   + ------*b12 *kap *r6276,
      1296

   16     8    2                6    4    2          47     4    6    3
  ----*a23 *b12 *kap*r6346 + a23 *b12 *kap *r6346 - ----*a23 *b12 *kap *r6346,
   45                                                90

   32     8    2                  6    4    2          47     4    6    3
  ----*a23 *b12 *kap*r6346 - 2*a23 *b12 *kap *r6346 - ----*a23 *b12 *kap *r6346,
   45                                                  45

   74560     7          47280     6              294164     5    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   1529                 1529                      4587

      48     4    3              69935     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      156769     3    4    2          29     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
       9174                           5

      52205     2    5    2          12549         6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      3058                           12232

      3     7    3          46295     7    3
   - ---*b12 *kap *r6406 + -------*b12 *kap *r6408,
      5                     24464

   149120     7          94560     6              588328     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    1529                 1529                      4587

      96     4    3              139870     4    3
   - ----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      5                           1529

      156769     3    4    2          58     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
       4587                           5

      52205     2    5    2          15607         6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      1529                           6116

      6     7    3          46295     7    3
   - ---*b12 *kap *r6406 + -------*b12 *kap *r6408,
      5                     12232

   18640     7          3940     6              20242     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     4    3              4925     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      1699     3    4    2          3      2    5    2
   + ------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      1529                          10

      6895     2    5    2          6917          6    3
   + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      6116                          12232

      9      7    3          2955      7    3
   + ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      40                     24464

   149120     7          94560     6              606968     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    1529                 1529                      4587

      96     4    3              143810     4    3
   - ----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      5                           1529

      177011     3    4    2          62     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
       4587                           5

      57130     2    5    2          1613         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                           556

      33     7    3          5203     7    3
   - ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      20                     1112

   37280     7          7880     6              19708     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    1529

      8     4    3              13790     4    3
   - ---*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                         1529

      30436     3    4    2          7     2    5    2
   + -------*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6406
      4587                           5

      16745     2    5    2          823         6    3
   + -------*a23 *b12 *kap *r6408 + -----*a23*b12 *kap *r6115
      3058                           556

      1263     7    3
   + ------*b12 *kap *r6408,
      1112

   18640     7          3940     6              38882     5    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     4    3              8865     4    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      25339     3    4    2          11     2    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      4587                           10

      26595     2    5    2          11189         6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      6116                           12232

      9      7    3          24831     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      40                     24464

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

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

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      10388         4    2          8     5    2          9409     5    2
   + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                          5                     1529

   77     4    2              29     2    4    2          17      6    3
  ----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346,
   90                         72                          360

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      8252         4    2          4     5    2          5469     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

   11     2          1      2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 18

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      10388         4    2          13     5    2
   + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
      1529                          5

      10938     5    2
   + -------*b12 *kap *r6408,
      1529

   186400     7          39400     6              61260     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
    4587                 1529                     1529

          4    3              45310     4    3
   - 8*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
                              1529

      21116     3    4    2            2    5    2
   + -------*a23 *b12 *kap *r6115 + a23 *b12 *kap *r6246
      4587

      12     2    5    2          15863     2    5    2
   - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408
      5                           3058

      4393         6    3          1     7    3          3      7    3
   - ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6246 + ----*b12 *kap *r6406
      6116                         4                     20

      4925      7    3
   - -------*b12 *kap *r6408,
      12232

   77     4    2              29     2    4    2          17      6    3
  ----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346,
   45                         36                          180

   15174125     9          12829625     8
  ----------*a23 *r6115 + ----------*a23 *b12*r6408
    247698                  330264

      136003715     7    2              2605     6    3
   + -----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       1981584                          216

      10985705     6    3              140652685     5    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       220176                           7926336

      1     4    5    2          5897     4    5    2
   + ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      3                          1728

      7837721     4    5    2          531793     3    6    3
   + ---------*a23 *b12 *kap *r6408 + --------*a23 *b12 *kap *r6115
      587136                           880704

      1      2    7    3          347      2    7    3
   + ----*a23 *b12 *kap *r6246 + ------*a23 *b12 *kap *r6406
      12                          2304

      3042665     2    7    3
   + ---------*a23 *b12 *kap *r6408,
      5284224

   136     2          25     2
  -----*a23 *r6276 + ----*b12 *kap*r6276,
    9                 9

   14176885     9          11986465     8
  ----------*a23 *r6115 + ----------*a23 *b12*r6408
    67554                   90072

      1503615689     7    2              133859     6    3
   + ------------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
       5944752                            3240

      120362075     6    3              1548683047     5    4    2
   + -----------*a23 *b12 *kap*r6408 + ------------*a23 *b12 *kap *r6115
       660528                            23779008

      1     4    5    2          642283     4    5    2
   + ---*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      3                          25920

      1056147227     4    5    2          9915523     3    6    3
   + ------------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
       15852672                           2642112

      1      2    7    3          14603     2    7    3
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      12                          6912

      92677465     2    7    3
   + ----------*a23 *b12 *kap *r6408,
      15852672

        6          1903     4    2              1039     2    4    2
  20*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
                    54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

   347449600     9          73441600     8
  -----------*a23 *r6115 + ----------*a23 *b12*r6408
    371547                   123849

      458133920     7    2              14912     6    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       371547                            81

      36295280     6    3              139711192     5    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       41283                            371547

      4     4    5    2          186937     4    5    2
   - ---*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      3                           1620

      173874583     4    5    2          1302592     3    6    3
   + -----------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
       495396                             41283

      1     2    7    3          30979     2    7    3
   - ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      3                          2160

      79385975     2    7    3
   + ----------*a23 *b12 *kap *r6408,
      1981584

   368177746     13          155645957     12
  -----------*a23  *r6115 + -----------*a23  *b12*r6408
    371547                    247698

      3281390677     11    2              790081     10    3
   + ------------*a23  *b12 *kap*r6115 - --------*a23  *b12 *kap*r6406
       2476980                             4050

      233614223     10    3              11939469791     9    4    2
   + -----------*a23  *b12 *kap*r6408 + -------------*a23 *b12 *kap *r6115
       247698                             29723760

      38     8    5    2          3927949     8    5    2
   - ----*a23 *b12 *kap *r6246 - ---------*a23 *b12 *kap *r6406
      5                            32400

      7501902893     8    5    2          507772147     7    6    3
   + ------------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
       19815840                           19815840

      91     6    7    3          2181181     6    7    3
   - ----*a23 *b12 *kap *r6246 - ---------*a23 *b12 *kap *r6406
      45                          129600

      1638443857     6    7    3          118038017     5    8    4
   + ------------*a23 *b12 *kap *r6408 - -----------*a23 *b12 *kap *r6115
       39631680                           59447520

      19      4    9    4          11453     4    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      360                          51840

      34598383     4    9    4           95053      3    10    5
   - ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12  *kap *r6115
      39631680                          3302640

       1      2    11    5           457      2    11    5
   - -----*a23 *b12  *kap *r6246 - -------*a23 *b12  *kap *r6406
      180                           43200

       39203      2    11    5
   - ---------*a23 *b12  *kap *r6408,
      1981584

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

   11     2          1      2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 18

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

   103     4    2              43      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346
   180                         144                          720

  ,

   11     2          1      2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 18

   103     4    2              43      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346
   180                         144                          720

  ,

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

   149120     9          31520     8              161936     7    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     6    3              39400     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      4272     5    4    2          8     4    5    2
   + ------*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6406
      1529                          5

      7880     4    5    2            3    6    3
   + ------*a23 *b12 *kap *r6408 - a23 *b12 *kap *r6115,
      1529

   103     4    2              43     2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346,
   90                          72                          360

   136     2          25     2
  -----*a23 *r6276 + ----*b12 *kap*r6276,
    9                 9

   7      4    2              47     2    4    2          17     6    3
  ----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 - ----*b12 *kap *r6346,
   18                         72                          72

        6          1903     4    2              1039     2    4    2
  20*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
                    54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

   74     6    2              47      4    4    2
  ----*a23 *b12 *kap*r6346 - -----*a23 *b12 *kap *r6346
   15                         180

      203     2    6    3          17      8    4
   + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346,
      720                          720

   308     6    2              3      4    4    2
  -----*a23 *b12 *kap*r6346 - ----*a23 *b12 *kap *r6346
   45                          10

      23      2    6    3          17      8    4
   - -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346,
      120                          360

   74560     7          47280     6              294164     5    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   1529                 1529                      4587

      48     4    3              69935     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      156769     3    4    2          53     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
       9174                           10

      52205     2    5    2          12549         6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      3058                           12232

      3     7    3          46295     7    3
   - ---*b12 *kap *r6406 + -------*b12 *kap *r6408,
      5                     24464

   149120     9          31520     8              213196     7    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     6    3              50235     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      143953     5    4    2          9     4    5    2
   + --------*a23 *b12 *kap *r6115 - ---*a23 *b12 *kap *r6406
       9174                           2

      44325     4    5    2          18665     3    6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23 *b12 *kap *r6115
      3058                           12232

      3     2    7    3          46295     2    7    3
   - ---*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408,
      5                          24464

   74560     9          47280     8              104268     7    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   1529                 1529                      1529

      48     6    3              73875     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      65751     5    4    2          71     4    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      3058                           10

      65113     4    5    2          22937     3    6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23 *b12 *kap *r6115
      3058                           12232

      21     2    7    3          68171     2    7    3
   - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408,
      20                          24464

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

   298240     9          63040     8              267952     7    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      64     6    3              66980     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      16358     5    4    2          28     4    5    2
   - -------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      1529                           15

      8086     4    5    2          16237     3    6    3
   - ------*a23 *b12 *kap *r6408 - -------*a23 *b12 *kap *r6115
      1529                          3058

      23     2    7    3          20891     2    7    3
   + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408,
      30                          6116

   5072410     11          2144345     10
  ---------*a23  *r6115 + ---------*a23  *b12*r6408
   123849                   82566

      41197667     9    2              2177     8    3
   + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       495396                          270

      3137225     8    3              102801901     7    4    2
   + ---------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       55044                           1981584

      10     6    5    2          33421     6    5    2
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      3                           2160

      6135641     6    5    2          1315657     5    6    3
   + ---------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
      146784                           220176

      4     4    7    3          1477     4    7    3
   + ---*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      3                          576

      8571641     4    7    3          7451      3    8    4
   + ---------*a23 *b12 *kap *r6408 - -------*a23 *b12 *kap *r6115
      1321056                          12232

      1     2    9    4          3      2    9    4
   + ---*a23 *b12 *kap *r6246 + ----*a23 *b12 *kap *r6406
      8                          40

      4925      2    9    4
   - -------*a23 *b12 *kap *r6408,
      24464

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

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

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

   298240     11          63040     10              216688     9    2
  --------*a23  *r6115 + -------*a23  *b12*r6408 - --------*a23 *b12 *kap*r6115
   41283                  13761                     41283

      64     8    3              3940     8    3
   - ----*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
      45                         1529

      757106     7    4    2          16     6    5    2
   - --------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      41283                           9

      18715     6    5    2          75848     5    6    3
   - -------*a23 *b12 *kap *r6408 - -------*a23 *b12 *kap *r6115
      1529                           13761

      4     4    7    3          294515     4    7    3
   + ---*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408
      3                          55044

      4183      3    8    4          1     2    9    4
   - -------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6406
      12232                          5

      46295     2    9    4
   - -------*a23 *b12 *kap *r6408,
      73392

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   1     2
  ---*b12 *kap*r6346,
   2

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   1     2
  ---*b12 *kap*r6346,
   2

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   1     2
  ---*b12 *kap*r6346,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   4

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   1     2
  ---*b12 *kap*r6346,
   2

   37280     5          7880     4              12524     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              3940     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3     5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     3058

   1     2
  ---*b12 *kap*r6346,
   2

   1
  ---*b12*r6276,
   2

   1
  ---*b12*r6276,
   2

   18640     5          3940     4              6262     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      4     2    3              1970     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      267          4    2          3      5    2          985      5    2
   + ------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      3058                         10                     6116

   1     2
  ---*b12 *kap*r6346,
   4

   1
  ---*b12*r6276,
   4

  r6276,

  r6276,

   9320     3          5910     2              801          2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23*b12 *kap*r6115
   1529                1529                    1529

      2955     3
   + ------*b12 *kap*r6408,
      3058

  r6346,

   9320     3          5910     2              801          2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23*b12 *kap*r6115
   1529                1529                    1529

      2955     3
   + ------*b12 *kap*r6408,
      3058

  r6346,

  b12*r6276,

   9320     3          5910     2              801          2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23*b12 *kap*r6115
   1529                1529                    1529

      2955     3
   + ------*b12 *kap*r6408,
      3058

  r6346,

  r6276,

  r6246,

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

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136         4    2            5    2          4     5    2
   + ------*a23*b12 *kap *r6115 + b12 *kap *r6246 - ---*b12 *kap *r6406
      1529                                           5

      3940     5    2
   + ------*b12 *kap *r6408,
      1529

   137     4    2              41      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 + -----*b12 *kap *r6346
   180                         144                          720

  ,

   47     4          857     2    2              499     4    2
  ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   18                216                         432

   41     4          1121     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

   74560     6          47280     5              80968     4    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   1529                 1529                     1529

      48     3    3              59100     3    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      6408     2    4    2                5    2
   + ------*a23 *b12 *kap *r6115 + a23*b12 *kap *r6246
      1529

      12         5    2          11820         5    2
   - ----*a23*b12 *kap *r6406 + -------*a23*b12 *kap *r6408,
      5                          1529

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

   25     4          1073     2    2              499     4    2
  ----*a23 *r6276 + ------*a23 *b12 *kap*r6276 + -----*b12 *kap *r6276,
   18                216                          432

   20     4          1010     2    2              499     4    2
  ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                  27                          54

   13271680     7          2805280     6
  ----------*a23 *r6115 + ---------*a23 *b12*r6408
    123849                  41283

      13703984     5    2              2848     4    3
   + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       123849                          135

      1118960     4    3              1126348     3    4    2
   + ---------*a23 *b12 *kap*r6408 + ---------*a23 *b12 *kap *r6115
       13761                          123849

      16     2    5    2          1132     2    5    2
   + ----*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      3                           135

      74860     2    5    2           445          6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      4587                           13761

      1     7    3          2     7    3          4925      7    3
   + ---*b12 *kap *r6246 + ---*b12 *kap *r6406 + -------*b12 *kap *r6408,
      3                     9                     82566

  kap*r6346,

   20     4          1010     2    2              499     4    2
  ----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                  27                          54

   7474174     11          3159683     10
  ---------*a23  *r6115 + ---------*a23  *b12*r6408
    41283                   27522

      546018047     9    2              16039     8    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       2476980                           450

      26192923     8    3              494616433     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       165132                           9907920

      2     6    5    2          39421     6    5    2
   + ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      5                          2160

      12842463     6    5    2          21305957     5    6    3
   + ----------*a23 *b12 *kap *r6408 + ----------*a23 *b12 *kap *r6115
       244640                           9907920

      7     4    7    3          58007     4    7    3
   - ---*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      6                          43200

      8926883     4    7    3          95053      3    8    4
   + ---------*a23 *b12 *kap *r6408 - --------*a23 *b12 *kap *r6115
      2201760                          275220

      1      2    9    4          457      2    9    4
   - ----*a23 *b12 *kap *r6246 - ------*a23 *b12 *kap *r6406
      15                          3600

      39203      2    9    4
   - --------*a23 *b12 *kap *r6408,
      165132

   16     8    2                6    4    2          47     4    6    3
  ----*a23 *b12 *kap*r6346 - a23 *b12 *kap *r6346 - ----*a23 *b12 *kap *r6346,
   45                                                90

   128     6          8005     4    2              7037     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
   27                 162                          648

      499      6    3
   + ------*b12 *kap *r6276,
      1296

  r6276,

  r6276,

  r6346,

   37280     5          7880     4              40484     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              9850     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      1068         4    2          9      5    2          5469     5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         10                     3058

  r6346,

   37280     5          7880     4              40484     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              9850     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      1068         4    2          9      5    2          5469     5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         10                     3058

  r6276,

  r6346,

   37280     5          7880     4              40484     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              9850     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      1068         4    2          9      5    2          5469     5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         10                     3058

  2*a23*r6346,

  4*a23*r6115 - b12*r6406 + b12*r6408,

   103     4    2              29     2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 - ----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346,
   90                          72                          360

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      10388         4    2          13     5    2          9409     5    2
   + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + ------*b12 *kap *r6408
      1529                          5                      1529

  ,

   64     2          16     2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 9

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

   298240     5          63040     4              323872     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      64     2    3              78800     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      14660         4    2          31     5    2
   + -------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406
      1529                          5

      20347     5    2
   + -------*b12 *kap *r6408,
      1529

        4          890     2    2              499     4    2
  20*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
                   27                          54

   16     2    2              7     4    2
  ----*a23 *b12 *kap*r6346 + ---*b12 *kap *r6346,
   3                          3

   150685760     9          31850960     8
  -----------*a23 *r6115 + ----------*a23 *b12*r6408
    371547                   123849

      190738888     7    2              32336     6    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       371547                            405

      15180820     6    3              47336396     5    4    2
   + ----------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
       41283                            371547

      168697     4    5    2          136070047     4    5    2
   - --------*a23 *b12 *kap *r6406 + -----------*a23 *b12 *kap *r6408
       3240                            990792

      586429     3    6    3          5639     2    7    3
   + --------*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6406
      82566                           864

      54965855     2    7    3
   + ----------*a23 *b12 *kap *r6408,
      3963168

       4    4    2
  2*a23 *b12 *kap *r6346,

   300910180     9          63604405     8
  -----------*a23 *r6115 + ----------*a23 *b12*r6408
    371547                   123849

      816077143     7    2              64573     6    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       743094                            405

      64455445     6    3              1039723865     5    4    2
   + ----------*a23 *b12 *kap*r6408 + ------------*a23 *b12 *kap *r6115
       82566                            2972376

          4    5    2          329771     4    5    2
   - 8*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
                                3240

      642440281     4    5    2          10391717     3    6    3
   + -----------*a23 *b12 *kap *r6408 + ----------*a23 *b12 *kap *r6115
       1981584                            330264

          2    7    3          12511     2    7    3
   - 2*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
                                864

      19461605     2    7    3
   + ----------*a23 *b12 *kap *r6408,
       495396

  r6406,

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

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136         4    2          9     5    2          3940     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

   103     4    2              43      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346
   180                         144                          720

  ,

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

   11     2          1      2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 18

  r6408,

   103     4    2              43      2    4    2          17      6    3
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346
   180                         144                          720

  ,

   11     2          1      2
  ----*a23 *r6276 + ----*b12 *kap*r6276,
   9                 18

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

   160     2          40     2
  -----*a23 *r6276 + ----*b12 *kap*r6276,
    9                 9

   1043840     9          220640     8              1506352     7    2
  ---------*a23 *r6115 + --------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
    13761                  4587                      13761

      224     6    3              118200     6    3
   - -----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      15                           1529

      410672     5    4    2          116     4    5    2
   + --------*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6406
      13761                           15

      39194     4    5    2          2759     3    6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23 *b12 *kap *r6115
      1529                           1529

          2    7    3          30535     2    7    3
   - 2*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408,
                               9174

   188     4    2              14     2    4    2          17     6    3
  -----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 + ----*b12 *kap *r6346,
   45                          9                           45

   136     2          25     2
  -----*a23 *r6276 + ----*b12 *kap*r6276,
    9                 9

   15513140     9          3279065     8
  ----------*a23 *r6115 + ---------*a23 *b12*r6408
    123849                  41283

      33396899     7    2              3329     6    3
   + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       247698                          135

      2711705     6    3              25988557     5    4    2
   + ---------*a23 *b12 *kap*r6408 + ----------*a23 *b12 *kap *r6115
       27522                           990792

      20     4    5    2          14701     4    5    2
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      3                           1080

      1965113     4    5    2           9673      3    6    3
   + ---------*a23 *b12 *kap *r6408 + --------*a23 *b12 *kap *r6115
       73392                           110088

      5     2    7    3          199      2    7    3
   + ---*a23 *b12 *kap *r6246 + ------*a23 *b12 *kap *r6406
      3                          1440

      513185     2    7    3
   + --------*a23 *b12 *kap *r6408,
      660528

   154     6    2              553     4    4    2
  -----*a23 *b12 *kap*r6346 + -----*a23 *b12 *kap *r6346
   15                          180

      203     2    6    3          17      8    4
   + -----*a23 *b12 *kap *r6346 - -----*b12 *kap *r6346,
      720                          720

        6          1903     4    2              1039     2    4    2
  20*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
                    54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

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

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

   149120     9          31520     8              199216     7    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     6    3              47280     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      53300     5    4    2          26     4    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      4587                           5

      20788     4    5    2          1068     3    6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23 *b12 *kap *r6115
      1529                           1529

      9      2    7    3          5469     2    7    3
   - ----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408,
      10                          3058

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

   596480     9          126080     8              349504     7    2
  --------*a23 *r6115 + --------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                  4587                     13761

      128     6    3              31520     6    3
   - -----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                          1529

      272608     5    4    2          92     4    5    2
   - --------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      13761                           15

      21876     4    5    2          8964     3    6    3
   - -------*a23 *b12 *kap *r6408 - ------*a23 *b12 *kap *r6115
      1529                           1529

      31     2    7    3          20347     2    7    3
   + ----*a23 *b12 *kap *r6406 - -------*a23 *b12 *kap *r6408,
      15                          4587

   298240     7          63040     6              454352     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      64     4    3              35460     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                         1529

      125386     3    4    2          64     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      13761                           15

      13790     2    5    2          1691         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                           3058

      13     7    3          18715     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      10                     18348

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

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

   23300     5          4925     4              15655     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    9174

        2    3              4925     2    3
   - a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
                            3058

      1335          4    2          3     5    2          4925      5    2
   + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + -------*b12 *kap *r6408
      12232                         8                     24464

  ,

  r6346,

   9320     5          5910     4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    1529

      6     2    3              2955     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      801          4    2          3      5    2           103      5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 - -------*b12 *kap *r6408
      6116                         10                     12232

  ,

  r6346,

   4660     5          985      4              3131     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                1529                    9174

      1     2    3              985      2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         3058

       267          4    2          3      5    2
   + -------*a23*b12 *kap *r6115 + ----*b12 *kap *r6406
      12232                         40

      5131      5    2
   - -------*b12 *kap *r6408,
      24464

  b12*r6276,

  b12*r6276,

   46600     5          9850     4              29635     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

          2    3              7880     2    3
   - 2*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
                              1529

      267         4    2          3     5    2          985      5    2
   + -----*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      556                         4                     1112

  r6346,

   9320     5          5910     4              7791     3    2
  ------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   1529                1529                    1529

      6     2    3              5910     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      2403         4    2          3      5    2          5807      5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + -------*b12 *kap *r6408
      6116                         10                     12232

  ,

  b12*r6276,

   23300     5          4925     4              3965     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + ------*a23 *b12 *kap*r6115
   4587                 1529                    834

        2    3              985     2    3
   - a23 *b12 *kap*r6406 + -----*a23 *b12 *kap*r6408
                            278

      4539          4    2          3     5    2          16745     5    2
   + -------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + -------*b12 *kap *r6408
      12232                         8                     24464

  ,

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

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

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      4272         4    2          3     5    2          7880     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

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

  r6408,

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

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136         4    2          9     5    2          3940     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

   149120     7          31520     6              1604216     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
    3753                 1251                      41283

      352     4    3              131990     4    3
   - -----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      45                           4587

      137407     3    4    2              2    5    2
   + --------*a23 *b12 *kap *r6115 + 4*a23 *b12 *kap *r6246
      41283

      148     2    5    2          8865     2    5    2
   - -----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
      45                           1529

       445          6    3          1     7    3          1     7    3
   + -------*a23*b12 *kap *r6115 + ---*b12 *kap *r6246 + ---*b12 *kap *r6406
      18348                         4                     6

       4925      7    3
   + --------*b12 *kap *r6408,
      110088

  b12*kap*r6346,

   3625480     9          766330     8              1823759     7    2
  ---------*a23 *r6115 + --------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
   371547                 123849                    371547

      778     6    3              170405     6    3
   - -----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      405                         41283

      7650215     5    4    2          4     4    5    2
   - ---------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6246
      1486188                          3

      1399     4    5    2          597049     4    5    2
   + ------*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408
      3240                          247698

      155423     3    6    3          1      2    7    3
   - --------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6246
      165132                          12

      413     2    7    3          4018253     2    7    3
   + -----*a23 *b12 *kap *r6406 - ---------*a23 *b12 *kap *r6408,
      864                          3963168

   44     4          965     2    2              499     4    2
  ----*a23 *r6276 - -----*a23 *b12 *kap*r6276 - -----*b12 *kap *r6276,
   9                 27                          54

   2311360     8          488560     7              2332928     6    2
  ---------*a23 *r6115 + --------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
   123849                 41283                     123849

      496     5    3              191090     5    3
   - -----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      135                         13761

      52049     4    4    2          4     3    5    2
   + -------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6246
      11259                          3

      94      3    5    2          1970     3    5    2
   - -----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
      135                          417

      14863     2    6    3          1          7    3
   + -------*a23 *b12 *kap *r6115 + ----*a23*b12 *kap *r6246
      55044                          12

      1          7    3          164495         7    3
   + ----*a23*b12 *kap *r6406 + --------*a23*b12 *kap *r6408,
      18                         330264

   128     6          7975     4    2              3019     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
    9                  54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

   18490880     9          3908480     8
  ----------*a23 *r6115 + ---------*a23 *b12*r6408
    123849                  41283

      21683104     7    2              3968     6    3
   + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       123849                          135

      1741480     6    3              371356     5    4    2
   + ---------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
       13761                          11259

      32     4    5    2          496     4    5    2
   + ----*a23 *b12 *kap *r6246 - -----*a23 *b12 *kap *r6406
      3                           27

      15760     4    5    2          2047     3    6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23 *b12 *kap *r6115
       417                           1251

      5     2    7    3          34     2    7    3
   + ---*a23 *b12 *kap *r6246 - ----*a23 *b12 *kap *r6406
      3                          45

      22655     2    7    3
   + -------*a23 *b12 *kap *r6408,
      7506

   24333821     11          20574089     10
  ----------*a23  *r6115 + ----------*a23  *b12*r6408
    743094                   990792

      120689863     9    2              104437     8    3
   + -----------*a23 *b12 *kap*r6115 - --------*a23 *b12 *kap*r6406
       3302640                          16200

      52669723     8    3              262363771     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
      1981584                          39631680

      163     6    5    2          81917     6    5    2
   + -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      90                           25920

      67525789     6    5    2          31815077      5    6    3
   + ----------*a23 *b12 *kap *r6408 + -----------*a23 *b12 *kap *r6115
      8807040                           118895040

      13     4    7    3          101353     4    7    3
   + ----*a23 *b12 *kap *r6246 + --------*a23 *b12 *kap *r6406
      72                          518400

      39703849     4    7    3           95053      3    8    4
   + ----------*a23 *b12 *kap *r6408 - ---------*a23 *b12 *kap *r6115
      79263360                          3302640

       1      2    9    4           457      2    9    4
   - -----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      180                          43200

       39203      2    9    4
   - ---------*a23 *b12 *kap *r6408,
      1981584

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

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

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

   149120     5          31520     4              161936     3    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      32     2    3              39400     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      4272         4    2          18     5    2          10938     5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + -------*b12 *kap *r6408
      1529                         5                      1529

  ,

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

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

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

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

   2385920     9          504320     8              2963776     7    2
  ---------*a23 *r6115 + --------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
    13761                  4587                      13761

      512     6    3              236400     6    3
   - -----*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      15                           1529

      609896     5    4    2          188     4    5    2
   + --------*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6406
      13761                           15

      68744     4    5    2          2031     3    6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23 *b12 *kap *r6115
      1529                           1529

          2    7    3          19700     2    7    3
   - 2*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408,
                               4587

   94     4    2              23     2    4    2          17     6    3
  ----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346 + ----*b12 *kap *r6346,
   45                         18                          90

   184     2          55     2
  -----*a23 *r6276 + ----*b12 *kap*r6276,
    9                 9

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

   128     6          7975     4    2              3019     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
    9                  54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

   24     6    2              5     4    4    2
  ----*a23 *b12 *kap*r6346 + ---*a23 *b12 *kap *r6346
   5                          3

      53     2    6    3
   - ----*a23 *b12 *kap *r6346,
      60

   112     6    2                  4    4    2          1      2    6    3
  -----*a23 *b12 *kap*r6346 - 2*a23 *b12 *kap *r6346 + ----*a23 *b12 *kap *r6346
   15                                                   30

  ,

   298240     7          63040     6              314552     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      64     4    3              25610     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                         1529

      78421     3    4    2          1      2    5    2
   + -------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      13761                          30

      8865     2    5    2          2047         6    3
   + ------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                          6116

      11     7    3          22655     7    3
   + ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      40                     36696

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

   596480     9          126080     8              880744     7    2
  --------*a23 *r6115 + --------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                  4587                     13761

      128     6    3              68950     6    3
   - -----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                          1529

      29569     5    4    2          41     4    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      1251                           6

      3094     4    5    2          12759     3    6    3
   + ------*a23 *b12 *kap *r6408 + -------*a23 *b12 *kap *r6115
      139                           6116

      47     2    7    3          116539     2    7    3
   - ----*a23 *b12 *kap *r6406 + --------*a23 *b12 *kap *r6408,
      40                          36696

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

   372800     9          78800     8              526000     7    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      16     6    3              41370     6    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      3                          1529

      184583     5    4    2          103     4    5    2
   + --------*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6406
      13761                           30

      18715     4    5    2          8487     3    6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23 *b12 *kap *r6115
      1529                           6116

      11     2    7    3          50911     2    7    3
   - ----*a23 *b12 *kap *r6406 + -------*a23 *b12 *kap *r6408,
      40                          36696

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

   521920     9          110320     8              4650136     7    2
  --------*a23 *r6115 + --------*a23 *b12*r6408 + ---------*a23 *b12 *kap*r6115
   33777                 11259                     371547

      1232     6    3              394000     6    3
   - ------*a23 *b12 *kap*r6406 + --------*a23 *b12 *kap*r6408
      405                          41283

      7455082     5    4    2          631     4    5    2
   - ---------*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6406
      371547                           405

      1005256     4    5    2          229411     3    6    3
   - ---------*a23 *b12 *kap *r6408 - --------*a23 *b12 *kap *r6115
      123849                           41283

      767     2    7    3          729515     2    7    3
   - -----*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408,
      540                          495396

   151035260     11          31924835     10
  -----------*a23  *r6115 + ----------*a23  *b12*r6408
    371547                    123849

      412272881     9    2              32411     8    3
   + -----------*a23 *b12 *kap*r6115 - -------*a23 *b12 *kap*r6406
       743094                            405

      32539475     8    3              532090495     7    4    2
   + ----------*a23 *b12 *kap*r6408 + -----------*a23 *b12 *kap *r6115
       82566                            2972376

      68     6    5    2          218563     6    5    2
   + ----*a23 *b12 *kap *r6246 - --------*a23 *b12 *kap *r6406
      3                            3240

      323220419     6    5    2          4810307     5    6    3
   + -----------*a23 *b12 *kap *r6408 + ---------*a23 *b12 *kap *r6115
       1981584                           330264

      20     4    7    3          35551     4    7    3
   + ----*a23 *b12 *kap *r6246 - -------*a23 *b12 *kap *r6406
      3                           4320

      38491957     4    7    3          8551      3    8    4
   + ----------*a23 *b12 *kap *r6408 - -------*a23 *b12 *kap *r6115
      1981584                           18348

      1     2    9    4          19      2    9    4
   + ---*a23 *b12 *kap *r6246 + -----*a23 *b12 *kap *r6406
      4                          120

       6895      2    9    4
   + --------*a23 *b12 *kap *r6408,
      110088

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

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

   104     6    2              20     4    4    2
  -----*a23 *b12 *kap*r6346 + ----*a23 *b12 *kap *r6346
   15                          3

      11     2    6    3
   + ----*a23 *b12 *kap *r6346,
      15

   596480     11          126080     10              657056     9    2
  --------*a23  *r6115 + --------*a23  *b12*r6408 - --------*a23 *b12 *kap*r6115
   41283                  13761                      41283

      128     8    3              39400     8    3
   - -----*a23 *b12 *kap*r6406 - -------*a23 *b12 *kap*r6408
      45                          4587

      1854976     7    4    2          208     6    5    2
   - ---------*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6406
       41283                           45

      46295     6    5    2          366085     5    6    3
   - -------*a23 *b12 *kap *r6408 - --------*a23 *b12 *kap *r6115
      1529                           27522

      56     4    7    3          178285     4    7    3
   + ----*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408
      15                          13761

      10057     3    8    4          29     2    9    4
   - -------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      12232                          40

      111305     2    9    4
   - --------*a23 *b12 *kap *r6408,
      73392

  r6406,

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

  r6408,

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

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

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

   74560     5          15760     4              80968     3    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                     4587

      16     2    3              19700     2    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      2136         4    2          9     5    2          3940     5    2
   + ------*a23*b12 *kap *r6115 - ---*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         5                     1529

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

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

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

   298240     7          63040     6              323872     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
    4587                 1529                      4587

      64     4    3              78800     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      5                          1529

      1624     3    4    2          16     2    5    2
   + ------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      139                           5

      1970     2    5    2          801          6    3
   + ------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      139                           1529

      2955     7    3
   + ------*b12 *kap *r6408,
      3058

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

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

   18490880     7          3908480     6
  ----------*a23 *r6115 + ---------*a23 *b12*r6408
    123849                  41283

      21683104     5    2              3968     4    3
   + ----------*a23 *b12 *kap*r6115 - ------*a23 *b12 *kap*r6406
       123849                          135

      1741480     4    3              371356     3    4    2
   + ---------*a23 *b12 *kap*r6408 + --------*a23 *b12 *kap *r6115
       13761                          11259

      32     2    5    2          496     2    5    2
   + ----*a23 *b12 *kap *r6246 - -----*a23 *b12 *kap *r6406
      3                           27

      15760     2    5    2          2047         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
       417                           1251

      5     7    3          34     7    3          22655     7    3
   + ---*b12 *kap *r6246 - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      3                     45                     7506

   8      6    2              5     4    4    2
  ----*a23 *b12 *kap*r6346 + ---*a23 *b12 *kap *r6346
   15                         3

      53     2    6    3
   + ----*a23 *b12 *kap *r6346,
      60

   128     6          7975     4    2              3019     2    4    2
  -----*a23 *r6276 - ------*a23 *b12 *kap*r6276 - ------*a23 *b12 *kap *r6276
    9                  54                           72

      499     6    3
   - -----*b12 *kap *r6276,
      432

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

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

   37280     5          7880     4              40484     3    2
  -------*a23 *r6115 + ------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   4587                 1529                    4587

      8     2    3              9850     2    3
   - ---*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      5                         1529

      1068         4    2          9      5    2          5469     5    2
   + ------*a23*b12 *kap *r6115 - ----*b12 *kap *r6406 + ------*b12 *kap *r6408,
      1529                         10                     3058

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

   74560     9          15760     8              19884872     7    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + ----------*a23 *b12 *kap*r6115
   2673                  891                      371547

      2224     6    3              1520840     6    3
   - ------*a23 *b12 *kap*r6406 + ---------*a23 *b12 *kap*r6408
      405                           41283

      1293266     5    4    2          4087     4    5    2
   + ---------*a23 *b12 *kap *r6115 - ------*a23 *b12 *kap *r6406
       33777                           405

      294476     4    5    2          275068     3    6    3
   + --------*a23 *b12 *kap *r6408 + --------*a23 *b12 *kap *r6115
      11259                           41283

      637     2    7    3          1740125     2    7    3
   - -----*a23 *b12 *kap *r6406 + ---------*a23 *b12 *kap *r6408,
      540                          495396

   596480     7          126080     6              908704     5    2
  --------*a23 *r6115 + --------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                  4587                     13761

      128     4    3              70920     4    3
   - -----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                          1529

      250772     3    4    2          128     2    5    2
   + --------*a23 *b12 *kap *r6115 - -----*a23 *b12 *kap *r6406
      13761                           15

      27580     2    5    2          1691         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                           1529

      13     7    3          18715     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      5                      9174

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

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

   372800     7          78800     6              567940     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      16     4    3              44325     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      3                          1529

      313465     3    4    2          16     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      27522                           3

      34475     2    5    2          8455          6    3
   + -------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      3058                           12232

      7     7    3          93575     7    3
   - ---*b12 *kap *r6406 + -------*b12 *kap *r6408,
      8                     73392

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

   74560     7          15760     6              113588     5    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                4587                     13761

      16     4    3              8865     4    3
   - ----*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      15                         1529

      62693     3    4    2          16     2    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      27522                          15

      6895     2    5    2          1691          6    3
   + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      3058                          12232

      13     7    3          37063     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      40                     73392

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

   74560     7          15760     6              57668     5    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + -------*a23 *b12 *kap*r6115
   13761                4587                     13761

      16     4    3              4925     4    3
   - ----*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      15                         1529

      58759     3    4    2          4      2    5    2
   - -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      27522                          15

      2955     2    5    2          2581          6    3
   - ------*a23 *b12 *kap *r6408 - -------*a23*b12 *kap *r6115
      3058                          12232

      1     7    3          28565     7    3
   + ---*b12 *kap *r6406 - -------*b12 *kap *r6408,
      8                     73392

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

   298240     7          63040     6              454352     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      64     4    3              35460     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                         1529

      125386     3    4    2          64     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      13761                           15

      13790     2    5    2          1691         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                           3058

      13     7    3          18715     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      10                     18348

   969280     9          204880     8              665804     7    2
  --------*a23 *r6115 + --------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   123849                41283                     123849

      208     6    3              58115     6    3
   - -----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      135                         13761

      107245     5    4    2          4     4    5    2
   - --------*a23 *b12 *kap *r6115 + ---*a23 *b12 *kap *r6246
      247698                          3

      22      4    5    2          985      4    5    2
   - -----*a23 *b12 *kap *r6406 + ------*a23 *b12 *kap *r6408
      135                          4587

       7921      3    6    3          5      2    7    3
   - --------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6246
      110088                          24

      5     2    7    3          87665      2    7    3
   + ---*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408,
      9                          660528

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

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

   64     6    2                  4    4    2          7      2    6    3
  ----*a23 *b12 *kap*r6346 + 4*a23 *b12 *kap *r6346 + ----*a23 *b12 *kap *r6346,
   15                                                  30

   298240     11          63040     10              60368     9    2
  --------*a23  *r6115 + -------*a23  *b12*r6408 - -------*a23 *b12 *kap*r6115
   41283                  13761                     3753

      64     8    3              3940     8    3
   - ----*a23 *b12 *kap*r6406 - ------*a23 *b12 *kap*r6408
      45                         417

      1438634     7    4    2          176     6    5    2
   - ---------*a23 *b12 *kap *r6115 + -----*a23 *b12 *kap *r6406
       41283                           45

      36445     6    5    2          138541     5    6    3
   - -------*a23 *b12 *kap *r6408 - --------*a23 *b12 *kap *r6115
      1529                           13761

      52     4    7    3          542735     4    7    3
   + ----*a23 *b12 *kap *r6406 - --------*a23 *b12 *kap *r6408
      15                          55044

      7565      3    8    4          17     2    9    4
   - -------*a23 *b12 *kap *r6115 + ----*a23 *b12 *kap *r6406
      12232                          20

      83725     2    9    4
   - -------*a23 *b12 *kap *r6408,
      73392

   298240     7          63040     6              454352     5    2
  --------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                 4587                     13761

      64     4    3              35460     4    3
   - ----*a23 *b12 *kap*r6406 + -------*a23 *b12 *kap*r6408
      15                         1529

      125386     3    4    2          64     2    5    2
   + --------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      13761                           15

      13790     2    5    2          1691         6    3
   + -------*a23 *b12 *kap *r6408 + ------*a23*b12 *kap *r6115
      1529                           3058

      13     7    3          18715     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408,
      10                     18348

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

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

   74560     7          15760     6              113588     5    2
  -------*a23 *r6115 + -------*a23 *b12*r6408 + --------*a23 *b12 *kap*r6115
   13761                4587                     13761

      16     4    3              8865     4    3
   - ----*a23 *b12 *kap*r6406 + ------*a23 *b12 *kap*r6408
      15                         1529

      62693     3    4    2          16     2    5    2
   + -------*a23 *b12 *kap *r6115 - ----*a23 *b12 *kap *r6406
      27522                          15

      6895     2    5    2          1691          6    3
   + ------*a23 *b12 *kap *r6408 + -------*a23*b12 *kap *r6115
      3058                          12232

      13     7    3          18715     7    3
   - ----*b12 *kap *r6406 + -------*b12 *kap *r6408}}
      40                     73392


Relevance for the application:

Modulo the following equation:

       2      2
0=4*a23  + b12 *kap


the system of equations related to the Hamiltonian HAM:

HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12

has apart from the Hamiltonian and Casimirs the following 0 first integrals: 



And again in machine readable form:



HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12$