Solution 1 to problem over

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

Equations

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

Expressions

The solution is given through the following expressions: 

r10=0


         1                       1           2
      - ---*a13*m3*n1*n2*r494 - ---*a23*m3*n2 *r494
         2                       2
r11=------------------------------------------------
                    2    2      2    2
                 a13 *b12  + a23 *b12


         1           2         1
      - ---*a13*m3*n1 *r494 - ---*a23*m3*n1*n2*r494
         2                     2
r12=------------------------------------------------
                    2    2      2    2
                 a13 *b12  + a23 *b12


      1     2    3   3         3     2    2       2
r13=(---*a11 *a13 *n1 *r494 + ---*a11 *a13 *a23*n1 *n2*r494
      8                        8

         3     2        2      2         1     2    3   3
      + ---*a11 *a13*a23 *n1*n2 *r494 + ---*a11 *a23 *n2 *r494
         8                               8

         1     5       2            1     4           2
      - ---*a13 *kap*m3 *n1*r494 - ---*a13 *a23*kap*m3 *n2*r494
         2                          2

           3    2       2              2    3       2
      - a13 *a23 *kap*m3 *n1*r494 - a13 *a23 *kap*m3 *n2*r494

         1         4       2            1     5       2              6    2
      - ---*a13*a23 *kap*m3 *n1*r494 - ---*a23 *kap*m3 *n2*r494)/(a13 *b12
         2                              2

           4    2    2        2    4    2      6    2
    + 3*a13 *a23 *b12  + 3*a13 *a23 *b12  + a23 *b12 )


         1         2   2            1                   2
r14=( - ---*a11*a13 *n1 *n2*r494 - ---*a11*a13*a23*n1*n2 *r494
         4                          2

         1         2   3           4    2        2    2    2      4    2
      - ---*a11*a23 *n2 *r494)/(a13 *b12  + 2*a13 *a23 *b12  + a23 *b12 )
         4


         1         2   3         1                2
r15=( - ---*a11*a13 *n1 *r494 - ---*a11*a13*a23*n1 *n2*r494
         4                       2

         1         2      2           4    2        2    2    2      4    2
      - ---*a11*a23 *n1*n2 *r494)/(a13 *b12  + 2*a13 *a23 *b12  + a23 *b12 )
         4


r20=0


r21=0


r22=0


r23=0


r24=0


           2                                    1            2
r27=( - a13 *m3*n2*r494 - a13*a23*m3*n1*r494 + ---*a13*b12*n1 *r494
                                                2

             2               1                          2    2      2    2
      - 2*a23 *m3*n2*r494 + ---*a23*b12*n1*n2*r494)/(a13 *b12  + a23 *b12 )
                             2


             2                                    1
r28=( - 2*a13 *m3*n1*r494 - a13*a23*m3*n2*r494 - ---*a13*b12*n1*n2*r494
                                                  2

           2               1            2           2    2      2    2
      - a23 *m3*n1*r494 - ---*a23*b12*n2 *r494)/(a13 *b12  + a23 *b12 )
                           2


      1     2    3   3         3     2    2       2
r29=(---*a11 *a13 *n1 *r494 + ---*a11 *a13 *a23*n1 *n2*r494
      8                        8

         3     2        2      2         1     2    3   3
      + ---*a11 *a13*a23 *n1*n2 *r494 + ---*a11 *a23 *n2 *r494
         8                               8

         1     5       2              5   3         1     5      2
      - ---*a13 *kap*m3 *n1*r494 + a13 *n1 *r494 + ---*a13 *n1*n2 *r494
         2                                          2

         1     4           2                4       2
      - ---*a13 *a23*kap*m3 *n2*r494 + 2*a13 *a23*n1 *n2*r494
         2

         1     4       3           3    2       2
      + ---*a13 *a23*n2 *r494 - a13 *a23 *kap*m3 *n1*r494
         2

         3     3    2   3         5     3    2      2
      + ---*a13 *a23 *n1 *r494 + ---*a13 *a23 *n1*n2 *r494
         2                        2

           2    3       2            5     2    3   2
      - a13 *a23 *kap*m3 *n2*r494 + ---*a13 *a23 *n1 *n2*r494
                                     2

         3     2    3   3         1         4       2
      + ---*a13 *a23 *n2 *r494 - ---*a13*a23 *kap*m3 *n1*r494
         2                        2

         1         4   3                 4      2
      + ---*a13*a23 *n1 *r494 + 2*a13*a23 *n1*n2 *r494
         2

         1     5       2            1     5   2              5   3
      - ---*a23 *kap*m3 *n2*r494 + ---*a23 *n1 *n2*r494 + a23 *n2 *r494)/(
         2                          2

      5    2         4        2           3    2    2           2    3    2
   a13 *b12 *n1 + a13 *a23*b12 *n2 + 2*a13 *a23 *b12 *n1 + 2*a13 *a23 *b12 *n2

             4    2         5    2
    + a13*a23 *b12 *n1 + a23 *b12 *n2)


          1        2         1
       - ---*a13*n1 *r494 - ---*a23*n1*n2*r494
          2                  2
r210=------------------------------------------
                   2          2
                a13 *b12 + a23 *b12


       - a11*a13*m3*n1*r494 - a11*a23*m3*n2*r494
r211=--------------------------------------------
                   2    2      2    2
                a13 *b12  + a23 *b12


r212=0


       1         3               1         2       2
r213=(---*a11*a13 *n1*n2*r494 - ---*a11*a13 *a23*n1 *r494
       2                         2

          1         2       2         1             2                 4    2
       + ---*a11*a13 *a23*n2 *r494 - ---*a11*a13*a23 *n1*n2*r494)/(a13 *b12
          2                           2

           2    2    2      4    2
    + 2*a13 *a23 *b12  + a23 *b12 )


r214

     2   2                              1     2   2         1     2   2
  a13 *n1 *r494 + a13*a23*n1*n2*r494 + ---*a23 *n1 *r494 + ---*a23 *n2 *r494
                                        2                   2
=----------------------------------------------------------------------------
                               2    2      2    2
                            a13 *b12  + a23 *b12


       1                    1        2
      ---*a13*n1*n2*r494 + ---*a23*n2 *r494
       2                    2
r215=---------------------------------------
                  2          2
               a13 *b12 + a23 *b12


       - a11*a13*m3*n1*r494 - a11*a23*m3*n2*r494
r217=--------------------------------------------
                   2    2      2    2
                a13 *b12  + a23 *b12


          1         2                   1             2   2
r218=( - ---*a11*a13 *a23*n1*n2*r494 + ---*a11*a13*a23 *n1 *r494
          2                             2

          1             2   2         1         3                 4    2
       - ---*a11*a13*a23 *n2 *r494 + ---*a11*a23 *n1*n2*r494)/(a13 *b12
          2                           2

           2    2    2      4    2
    + 2*a13 *a23 *b12  + a23 *b12 )


       - n1*n2*r494
r219=---------------
             2
          b12


       1     3   3         1     3      2         3     2       2
r220=(---*a13 *n1 *r494 + ---*a13 *n1*n2 *r494 + ---*a13 *a23*n1 *n2*r494
       2                   2                      2

          1     2       3                 2      2           3   3
       + ---*a13 *a23*n2 *r494 + 2*a13*a23 *n1*n2 *r494 + a23 *n2 *r494)/(
          2

      3    2         2        2             2    2         3    2
   a13 *b12 *n1 + a13 *a23*b12 *n2 + a13*a23 *b12 *n1 + a23 *b12 *n2)


r30=0


r31=0


r32=0


r33=0


r34=0


r35=0


r36=0


r37=0


r38=0


r39=0


       1                 1
      ---*a13*n1*r494 + ---*a23*n2*r494
       2                 2
r312=-----------------------------------
                    2      2
                 a13  + a23


r314=0


       1                 1
      ---*a13*n1*r494 + ---*a23*n2*r494
       2                 2
r315=-----------------------------------
                    2      2
                 a13  + a23


              2                    2
r317=( - 2*a13 *a23*m3*r494 + 2*a13 *b12*n1*r494 + a13*a23*b12*n2*r494

              3              2                  2    2      2    2
       - 2*a23 *m3*r494 + a23 *b12*n1*r494)/(a13 *b12  + a23 *b12 )


              3              2                        2
r318=( - 2*a13 *m3*r494 - a13 *b12*n2*r494 - 2*a13*a23 *m3*r494

                                    2                  2    2      2    2
       - a13*a23*b12*n1*r494 - 2*a23 *b12*n2*r494)/(a13 *b12  + a23 *b12 )


          1     2                1     2                1         2
r319=( - ---*a11 *a13*n1*r494 - ---*a11 *a23*n2*r494 - ---*a13*b12 *kap*n1*r494
          2                      2                      2

          1         2                  2    2      2    2
       - ---*a23*b12 *kap*n2*r494)/(a13 *b12  + a23 *b12 )
          2


r320=0


          1                 1
       - ---*a13*n1*r494 - ---*a23*n2*r494
          2                 2
r321=--------------------------------------
                     2      2
                  a13  + a23


r322=0


r323=0


r324=0


r325=0


       - a11*m3*r494
r327=----------------
              2
           b12


       - a11*a13*n1*r494 - a11*a23*n2*r494
r328=--------------------------------------
                 2          2
              a13 *b12 + a23 *b12


             2                                          2
      a11*a13 *n2*r494 + a11*a13*a23*n1*r494 + 2*a11*a23 *n2*r494
r329=-------------------------------------------------------------
                            2    2      2    2
                         a13 *b12  + a23 *b12


r330=0


           2                                2
      2*a13 *n1*r494 + a13*a23*n2*r494 + a23 *n1*r494
r331=-------------------------------------------------
                       2          2
                    a13 *b12 + a23 *b12


r332=0


         2    2   2             2                         2    2   2
r333=(a11 *a13 *n1 *r494 + 2*a11 *a13*a23*n1*n2*r494 + a11 *a23 *n2 *r494

              4   2             3                       2    2   2
       + 4*a13 *n1 *r494 + 6*a13 *a23*n1*n2*r494 + 4*a13 *a23 *n1 *r494

              2    2   2         1     2    2       2
       + 2*a13 *a23 *n2 *r494 + ---*a13 *b12 *kap*n1 *r494
                                 2

                  3                         2                       4   2
       + 6*a13*a23 *n1*n2*r494 + a13*a23*b12 *kap*n1*n2*r494 + 2*a23 *n2 *r494

          1     2    2       2           3    2         2        2
       + ---*a23 *b12 *kap*n2 *r494)/(a13 *b12 *n1 + a13 *a23*b12 *n2
          2

             2    2         3    2
    + a13*a23 *b12 *n1 + a23 *b12 *n2)


r334=0


r335=0


r336=0


r337=0


r339=0


r340=0


      a11*a13*n1*r494 + a11*a23*n2*r494
r342=-----------------------------------
                2          2
             a13 *b12 + a23 *b12


       - a11*m3*r494
r343=----------------
              2
           b12


               2                                        2
      2*a11*a13 *n1*r494 + a11*a13*a23*n2*r494 + a11*a23 *n1*r494
r344=-------------------------------------------------------------
                            2    2      2    2
                         a13 *b12  + a23 *b12


r345=0


            2                                  2
       - a13 *n2*r494 - a13*a23*n1*r494 - 2*a23 *n2*r494
r346=----------------------------------------------------
                        2          2
                     a13 *b12 + a23 *b12


           2                                2
      2*a13 *n1*r494 + a13*a23*n2*r494 + a23 *n1*r494
r347=-------------------------------------------------
                       2          2
                    a13 *b12 + a23 *b12


       - 2*a13*n2*r494 - 2*a23*n1*r494
r348=----------------------------------
                       2
                    b12


r349=0


r350=0


r351=0


            2                                  2
       - a13 *n2*r494 - a13*a23*n1*r494 - 2*a23 *n2*r494
r352=----------------------------------------------------
                        2          2
                     a13 *b12 + a23 *b12


         2    2   2             2                         2    2   2
r353=(a11 *a13 *n1 *r494 + 2*a11 *a13*a23*n1*n2*r494 + a11 *a23 *n2 *r494

              4   2             3                       2    2   2
       + 2*a13 *n1 *r494 + 6*a13 *a23*n1*n2*r494 + 2*a13 *a23 *n1 *r494

              2    2   2         1     2    2       2
       + 4*a13 *a23 *n2 *r494 + ---*a13 *b12 *kap*n1 *r494
                                 2

                  3                         2                       4   2
       + 6*a13*a23 *n1*n2*r494 + a13*a23*b12 *kap*n1*n2*r494 + 4*a23 *n2 *r494

          1     2    2       2           3    2         2        2
       + ---*a23 *b12 *kap*n2 *r494)/(a13 *b12 *n1 + a13 *a23*b12 *n2
          2

             2    2         3    2
    + a13*a23 *b12 *n1 + a23 *b12 *n2)


r354=0


r355=0


r40=0


r41=0


r42=0


r43=0


r44=0


r45=0


r46=0


r47=0


r48=0


r49=0


r410=0


r411=0


r412=0


r413=0


r418=0


r421=0


r423=0


r424=0


      1
r427=---*r494
      2


r429=0


      1
r430=---*r494
      2


      2*a13*r494
r432=------------
         b12


       - 2*a23*r494
r433=---------------
           b12


            2             2             2           2
       - a11 *r494 - 2*a13 *r494 - 2*a23 *r494 - b12 *kap*r494
r434=----------------------------------------------------------
                                   2
                                b12


r435=0


r436=0


r437=0


r438=0


r439=0


r440=0


r441=0


r442=0


r443=0


r444=0


r447=0


r449=0


r450=0


r452=0


       - a11*r494
r453=-------------
          b12


      2*a11*a23*r494
r454=----------------
              2
           b12


r455=0


r456=0


      1
r457=---*r494
      2


r458=0


r459=0


r460=0


      2*a13*r494
r462=------------
         b12


r463=0


         2             2             2         1     2
      a11 *r494 + 4*a13 *r494 + 2*a23 *r494 + ---*b12 *kap*r494
                                               2
r464=-----------------------------------------------------------
                                   2
                                b12


r465=0


r466=0


r467=0


r468=0


r469=0


r470=0


r471=0


r472=0


r473=0


r474=0


r475=0


r476=0


r477=0


r479=0


r482=0


r484=0


r485=0


      a11*r494
r487=----------
        b12


r488=0


      2*a11*a13*r494
r489=----------------
              2
           b12


r490=0


r491=0


r492=0


r493=0


r495=0


       - 2*a23*r494
r497=---------------
           b12


      2*a13*r494
r498=------------
         b12


       - 4*a13*a23*r494
r499=-------------------
               2
            b12


r4100=0


r4101=0


r4102=0


r4103=0


r4104=0


r4105=0


r4106=0


r4108=0


r4109=0


       1
r4110=---*r494
       2


r4112=0


        - 2*a23*r494
r4113=---------------
            b12


          2             2             2         1     2
       a11 *r494 + 2*a13 *r494 + 4*a23 *r494 + ---*b12 *kap*r494
                                                2
r4114=-----------------------------------------------------------
                                    2
                                 b12


r4115=0


r4116=0


r4117=0


r4118=0


r4119=0


r4120=0


r4121=0


r4122=0


r4123=0


r4124=0


r4125=0


m2=0


m1=0


a33=0


a22=a11


        1                1
     - ---*a11*a13*n1 - ---*a11*a23*n2
        2                2
n3=------------------------------------
                  2      2
               a13  + a23


          1                 1
       - ---*a13*n1*r494 - ---*a23*n2*r494
          2                 2
r338=--------------------------------------
                     2      2
                  a13  + a23

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: 
 r494, n2, m3, a13, a23, a11, n1, 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. 
 
{r338,a23,b12}

Relevance for the application:

Modulo the following equation:

     2        2        2      2
0=a11  + 4*a13  + 4*a23  + b12 *kap


the system of equations related to the Hamiltonian HAM:

       2         2          2                3            2
HAM=(u1 *(a11*a13  + a11*a23 ) + u1*u3*(2*a13  + 2*a13*a23 )

                  2          2               2         2
      + u1*v2*(a13 *b12 + a23 *b12) + u1*(a13 *n1 + a23 *n1)

          2         2          2                2            3
      + u2 *(a11*a13  + a11*a23 ) + u2*u3*(2*a13 *a23 + 2*a23 )

                     2          2               2         2
      + u2*v1*( - a13 *b12 - a23 *b12) + u2*(a13 *n2 + a23 *n2)

                1                1                       2         2          2
      + u3*( - ---*a11*a13*n1 - ---*a11*a23*n2) + v3*(a13 *m3 + a23 *m3))/(a13
                2                2

             2
        + a23 )

has apart from the Hamiltonian and Casimirs only the following first integral: 

     2   2     2    7         2    6               2    5    2
FI=u1 *u3 *(a11 *a13 *n1 + a11 *a13 *a23*n2 + 3*a11 *a13 *a23 *n1

                    2    4    3           2    3    4           2    2    5
             + 3*a11 *a13 *a23 *n2 + 3*a11 *a13 *a23 *n1 + 3*a11 *a13 *a23 *n2

                  2        6         2    7           9           8
             + a11 *a13*a23 *n1 + a11 *a23 *n2 + 2*a13 *n1 + 2*a13 *a23*n2

                     7    2       1     7    2                6    3
             + 10*a13 *a23 *n1 + ---*a13 *b12 *kap*n1 + 10*a13 *a23 *n2
                                  2

                1     6        2                5    4
             + ---*a13 *a23*b12 *kap*n2 + 18*a13 *a23 *n1
                2

                3     5    2    2                4    5
             + ---*a13 *a23 *b12 *kap*n1 + 18*a13 *a23 *n2
                2

                3     4    3    2                3    6
             + ---*a13 *a23 *b12 *kap*n2 + 14*a13 *a23 *n1
                2

                3     3    4    2                2    7
             + ---*a13 *a23 *b12 *kap*n1 + 14*a13 *a23 *n2
                2

                3     2    5    2                   8
             + ---*a13 *a23 *b12 *kap*n2 + 4*a13*a23 *n1
                2

                1         6    2               9       1     7    2
             + ---*a13*a23 *b12 *kap*n1 + 4*a23 *n2 + ---*a23 *b12 *kap*n2) + 
                2                                      2

     2                7                   6    2               5    3
   u1 *u3*v1*( - 2*a13 *a23*b12*n1 - 2*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1

                      4    4               3    5               2    6
               - 6*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1 - 6*a13 *a23 *b12*n2

                          7               8             2        2    6   2
               - 2*a13*a23 *b12*n1 - 2*a23 *b12*n2) + u1 *u3*(a11 *a13 *n1

              2    5                  2    4    2   2      2    4    2   2
       + 2*a11 *a13 *a23*n1*n2 + 2*a11 *a13 *a23 *n1  + a11 *a13 *a23 *n2

              2    3    3            2    2    4   2        2    2    4   2
       + 4*a11 *a13 *a23 *n1*n2 + a11 *a13 *a23 *n1  + 2*a11 *a13 *a23 *n2

              2        5            2    6   2        8   2        7
       + 2*a11 *a13*a23 *n1*n2 + a11 *a23 *n2  + 2*a13 *n1  + 6*a13 *a23*n1*n2

              6    2   2        6    2   2    1     6    2       2
       + 6*a13 *a23 *n1  + 4*a13 *a23 *n2  + ---*a13 *b12 *kap*n1
                                              2

               5    3            5        2                  4    4   2
       + 18*a13 *a23 *n1*n2 + a13 *a23*b12 *kap*n1*n2 + 6*a13 *a23 *n1

               4    4   2      4    2    2       2    1     4    2    2       2
       + 12*a13 *a23 *n2  + a13 *a23 *b12 *kap*n1  + ---*a13 *a23 *b12 *kap*n2
                                                      2

               3    5              3    3    2                  2    6   2
       + 18*a13 *a23 *n1*n2 + 2*a13 *a23 *b12 *kap*n1*n2 + 2*a13 *a23 *n1

               2    6   2    1     2    4    2       2      2    4    2       2
       + 12*a13 *a23 *n2  + ---*a13 *a23 *b12 *kap*n1  + a13 *a23 *b12 *kap*n2
                             2

                  7                5    2                  8   2
       + 6*a13*a23 *n1*n2 + a13*a23 *b12 *kap*n1*n2 + 4*a23 *n2

          1     6    2       2      2   2   1     7    2
       + ---*a23 *b12 *kap*n2 ) + u1 *v1 *(---*a13 *b12 *n1
          2                                 2

          1     6        2       3     5    2    2       3     4    3    2
       + ---*a13 *a23*b12 *n2 + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2
          2                      2                       2

          3     3    4    2       3     2    5    2       1         6    2
       + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2 + ---*a13*a23 *b12 *n1
          2                       2                       2

          1     7    2         2           7                6           2
       + ---*a23 *b12 *n2) + u1 *v1*( - a13 *b12*n1*n2 - a13 *a23*b12*n1
          2

            6           2        5    2                  4    3       2
       - a13 *a23*b12*n2  - 5*a13 *a23 *b12*n1*n2 - 2*a13 *a23 *b12*n1

              4    3       2        3    4                2    5       2
       - 4*a13 *a23 *b12*n2  - 7*a13 *a23 *b12*n1*n2 - a13 *a23 *b12*n1

              2    5       2            6                  7       2      2
       - 5*a13 *a23 *b12*n2  - 3*a13*a23 *b12*n1*n2 - 2*a23 *b12*n2 ) + u1 *(

       1     7   3    1     7      2    3     6       2       1     6       3
      ---*a13 *n1  + ---*a13 *n1*n2  + ---*a13 *a23*n1 *n2 + ---*a13 *a23*n2
       2              2                 2                     2

            5    2   3        5    2      2        4    3   2
       + a13 *a23 *n1  + 3*a13 *a23 *n1*n2  + 3*a13 *a23 *n1 *n2

              4    3   3    1     3    4   3    9     3    4      2
       + 2*a13 *a23 *n2  + ---*a13 *a23 *n1  + ---*a13 *a23 *n1*n2
                            2                   2

          3     2    5   2       5     2    5   3            6      2      7   3
       + ---*a13 *a23 *n1 *n2 + ---*a13 *a23 *n2  + 2*a13*a23 *n1*n2  + a23 *n2
          2                      2

                  2          8               7    2            6    3
      ) + u1*u2*u3 *( - 4*a13 *a23*n1 - 4*a13 *a23 *n2 - 12*a13 *a23 *n1

               5    4            4    5            3    6           2    7
       - 12*a13 *a23 *n2 - 12*a13 *a23 *n1 - 12*a13 *a23 *n2 - 4*a13 *a23 *n1

                  8                         8               7
       - 4*a13*a23 *n2) + u1*u2*u3*v1*(2*a13 *b12*n1 + 2*a13 *a23*b12*n2

              6    2               5    3               4    4
       + 6*a13 *a23 *b12*n1 + 6*a13 *a23 *b12*n2 + 6*a13 *a23 *b12*n1

              3    5               2    6                   7
       + 6*a13 *a23 *b12*n2 + 2*a13 *a23 *b12*n1 + 2*a13*a23 *b12*n2) + u1*u2*u3

                7                   6    2               5    3
   *v2*( - 2*a13 *a23*b12*n1 - 2*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1

                4    4               3    5               2    6
         - 6*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1 - 6*a13 *a23 *b12*n2

                    7               8                             8
         - 2*a13*a23 *b12*n1 - 2*a23 *b12*n2) + u1*u2*u3*( - 2*a13 *n1*n2

              7       2        7       2        6    2              5    3   2
       - 2*a13 *a23*n1  - 2*a13 *a23*n2  - 8*a13 *a23 *n1*n2 - 6*a13 *a23 *n1

              5    3   2         4    4              3    5   2
       - 6*a13 *a23 *n2  - 12*a13 *a23 *n1*n2 - 6*a13 *a23 *n1

              3    5   2        2    6                  7   2            7   2
       - 6*a13 *a23 *n2  - 8*a13 *a23 *n1*n2 - 2*a13*a23 *n1  - 2*a13*a23 *n2

              8                          7    2         6        2
       - 2*a23 *n1*n2) + u1*u2*v1*v2*(a13 *b12 *n1 + a13 *a23*b12 *n2

              5    2    2           4    3    2           3    4    2
       + 3*a13 *a23 *b12 *n1 + 3*a13 *a23 *b12 *n2 + 3*a13 *a23 *b12 *n1

              2    5    2             6    2         7    2
       + 3*a13 *a23 *b12 *n2 + a13*a23 *b12 *n1 + a23 *b12 *n2) + u1*u2*v1*(

           7       2        6                      5    2       2
      2*a13 *b12*n1  + 3*a13 *a23*b12*n1*n2 + 5*a13 *a23 *b12*n1

            5    2       2        4    3                  3    4       2
       + a13 *a23 *b12*n2  + 7*a13 *a23 *b12*n1*n2 + 4*a13 *a23 *b12*n1

              3    4       2        2    5                    6       2
       + 2*a13 *a23 *b12*n2  + 5*a13 *a23 *b12*n1*n2 + a13*a23 *b12*n1

                6       2      7                              7
       + a13*a23 *b12*n2  + a23 *b12*n1*n2) + u1*u2*v2*( - a13 *b12*n1*n2

            6           2      6           2        5    2
       - a13 *a23*b12*n1  - a13 *a23*b12*n2  - 5*a13 *a23 *b12*n1*n2

              4    3       2        4    3       2        3    4
       - 2*a13 *a23 *b12*n1  - 4*a13 *a23 *b12*n2  - 7*a13 *a23 *b12*n1*n2

            2    5       2        2    5       2            6
       - a13 *a23 *b12*n1  - 5*a13 *a23 *b12*n2  - 3*a13*a23 *b12*n1*n2

              7       2                 7   2         6          2
       - 2*a23 *b12*n2 ) + u1*u2*( - a13 *n1 *n2 - a13 *a23*n1*n2

              5    2   2           4    3      2        3    4   2
       - 3*a13 *a23 *n1 *n2 - 3*a13 *a23 *n1*n2  - 3*a13 *a23 *n1 *n2

              2    5      2          6   2         7      2         3
       - 3*a13 *a23 *n1*n2  - a13*a23 *n1 *n2 - a23 *n1*n2 ) + u1*u3 *(

               8               7                   6    2
      2*a11*a13 *n1 + 2*a11*a13 *a23*n2 + 6*a11*a13 *a23 *n1

                  5    3               4    4               3    5
       + 6*a11*a13 *a23 *n2 + 6*a11*a13 *a23 *n1 + 6*a11*a13 *a23 *n2

                  2    6                   7            2            7
       + 2*a11*a13 *a23 *n1 + 2*a11*a13*a23 *n2) + u1*u3 *v2*(a11*a13 *b12*n1

                6                       5    2                   4    3
       + a11*a13 *a23*b12*n2 + 3*a11*a13 *a23 *b12*n1 + 3*a11*a13 *a23 *b12*n2

                  3    4                   2    5                     6
       + 3*a11*a13 *a23 *b12*n1 + 3*a11*a13 *a23 *b12*n2 + a11*a13*a23 *b12*n1

                7                2           7   2            6
       + a11*a23 *b12*n2) + u1*u3 *(2*a11*a13 *n1  + 3*a11*a13 *a23*n1*n2

                  5    2   2          5    2   2            4    3
       + 5*a11*a13 *a23 *n1  + a11*a13 *a23 *n2  + 7*a11*a13 *a23 *n1*n2

                  3    4   2            3    4   2            2    5
       + 4*a11*a13 *a23 *n1  + 2*a11*a13 *a23 *n2  + 5*a11*a13 *a23 *n1*n2

                    6   2              6   2          7
       + a11*a13*a23 *n1  + a11*a13*a23 *n2  + a11*a23 *n1*n2) + u1*u3*v1*(

                7                6                      5    2
       - a11*a13 *m3*n1 - a11*a13 *a23*m3*n2 - 3*a11*a13 *a23 *m3*n1

                  4    3                  3    4                  2    5
       - 3*a11*a13 *a23 *m3*n2 - 3*a11*a13 *a23 *m3*n1 - 3*a11*a13 *a23 *m3*n2

                    6                7                           6       2
       - a11*a13*a23 *m3*n1 - a11*a23 *m3*n2) + u1*u3*v2*(a11*a13 *b12*n1

                  5                          4    2       2
       + 2*a11*a13 *a23*b12*n1*n2 + 2*a11*a13 *a23 *b12*n1

                4    2       2            3    3
       + a11*a13 *a23 *b12*n2  + 4*a11*a13 *a23 *b12*n1*n2

                2    4       2            2    4       2
       + a11*a13 *a23 *b12*n1  + 2*a11*a13 *a23 *b12*n2

                      5                    6       2
       + 2*a11*a13*a23 *b12*n1*n2 + a11*a23 *b12*n2 ) + u1*u3*(

          1         5       2       1         4    2   3          4    2      2
       - ---*a11*a13 *a23*n1 *n2 + ---*a11*a13 *a23 *n1  - a11*a13 *a23 *n1*n2
          2                         2

          1         3    3   2       1         3    3   3
       + ---*a11*a13 *a23 *n1 *n2 - ---*a11*a13 *a23 *n2
          2                          2

          1         2    4   3    1         2    4      2              5   2
       + ---*a11*a13 *a23 *n1  - ---*a11*a13 *a23 *n1*n2  + a11*a13*a23 *n1 *n2
          2                       2

          1             5   3    1         6      2
       - ---*a11*a13*a23 *n2  + ---*a11*a23 *n1*n2 ) + u1*v1*v3*(
          2                      2

          1     6    2   2      5        2            4    2    2   2
       - ---*a13 *b12 *n1  - a13 *a23*b12 *n1*n2 - a13 *a23 *b12 *n1
          2

          1     4    2    2   2        3    3    2
       - ---*a13 *a23 *b12 *n2  - 2*a13 *a23 *b12 *n1*n2
          2

          1     2    4    2   2      2    4    2   2          5    2
       - ---*a13 *a23 *b12 *n1  - a13 *a23 *b12 *n2  - a13*a23 *b12 *n1*n2
          2

          1     6    2   2                     6      2
       - ---*a23 *b12 *n2 ) + u1*v1*( - a11*a13 *m3*n1
          2

                  5                         4    2      2          4    2      2
       - 2*a11*a13 *a23*m3*n1*n2 - 2*a11*a13 *a23 *m3*n1  - a11*a13 *a23 *m3*n2

                  3    3                   2    4      2
       - 4*a11*a13 *a23 *m3*n1*n2 - a11*a13 *a23 *m3*n1

                  2    4      2                5                   6      2
       - 2*a11*a13 *a23 *m3*n2  - 2*a11*a13*a23 *m3*n1*n2 - a11*a23 *m3*n2 ) + 

           1     6       2         5              2      4    2       2
   u1*v3*(---*a13 *b12*n1 *n2 + a13 *a23*b12*n1*n2  + a13 *a23 *b12*n1 *n2
           2

              1     4    2       3        3    3          2
           + ---*a13 *a23 *b12*n2  + 2*a13 *a23 *b12*n1*n2
              2

              1     2    4       2         2    4       3          5          2
           + ---*a13 *a23 *b12*n1 *n2 + a13 *a23 *b12*n2  + a13*a23 *b12*n1*n2
              2

              1     6       3            1         5   4
           + ---*a23 *b12*n2 ) + u1*( - ---*a11*a13 *n1
              2                          4

          3         4       3       1         3    2   4
       - ---*a11*a13 *a23*n1 *n2 - ---*a11*a13 *a23 *n1
          4                         4

          3         3    2   2   2    3         2    3   3
       - ---*a11*a13 *a23 *n1 *n2  - ---*a11*a13 *a23 *n1 *n2
          4                           4

          1         2    3      3    3             4   2   2
       - ---*a11*a13 *a23 *n1*n2  - ---*a11*a13*a23 *n1 *n2
          4                          4

          1         5      3      2   2     2    7         2    6
       - ---*a11*a23 *n1*n2 ) + u2 *u3 *(a11 *a13 *n1 + a11 *a13 *a23*n2
          4

              2    5    2           2    4    3           2    3    4
       + 3*a11 *a13 *a23 *n1 + 3*a11 *a13 *a23 *n2 + 3*a11 *a13 *a23 *n1

              2    2    5         2        6         2    7           9
       + 3*a11 *a13 *a23 *n2 + a11 *a13*a23 *n1 + a11 *a23 *n2 + 4*a13 *n1

              8                7    2       1     7    2
       + 4*a13 *a23*n2 + 14*a13 *a23 *n1 + ---*a13 *b12 *kap*n1
                                            2

               6    3       1     6        2                5    4
       + 14*a13 *a23 *n2 + ---*a13 *a23*b12 *kap*n2 + 18*a13 *a23 *n1
                            2

          3     5    2    2                4    5       3     4    3    2
       + ---*a13 *a23 *b12 *kap*n1 + 18*a13 *a23 *n2 + ---*a13 *a23 *b12 *kap*n2
          2                                             2

               3    6       3     3    4    2                2    7
       + 10*a13 *a23 *n1 + ---*a13 *a23 *b12 *kap*n1 + 10*a13 *a23 *n2
                            2

          3     2    5    2                   8       1         6    2
       + ---*a13 *a23 *b12 *kap*n2 + 2*a13*a23 *n1 + ---*a13*a23 *b12 *kap*n1
          2                                           2

              9       1     7    2             2             8
       + 2*a23 *n2 + ---*a23 *b12 *kap*n2) + u2 *u3*v2*(2*a13 *b12*n1
                      2

              7                   6    2               5    3
       + 2*a13 *a23*b12*n2 + 6*a13 *a23 *b12*n1 + 6*a13 *a23 *b12*n2

              4    4               3    5               2    6
       + 6*a13 *a23 *b12*n1 + 6*a13 *a23 *b12*n2 + 2*a13 *a23 *b12*n1

                  7             2        2    6   2        2    5
       + 2*a13*a23 *b12*n2) + u2 *u3*(a11 *a13 *n1  + 2*a11 *a13 *a23*n1*n2

              2    4    2   2      2    4    2   2        2    3    3
       + 2*a11 *a13 *a23 *n1  + a11 *a13 *a23 *n2  + 4*a11 *a13 *a23 *n1*n2

            2    2    4   2        2    2    4   2        2        5
       + a11 *a13 *a23 *n1  + 2*a11 *a13 *a23 *n2  + 2*a11 *a13*a23 *n1*n2

            2    6   2        8   2        7                   6    2   2
       + a11 *a23 *n2  + 4*a13 *n1  + 6*a13 *a23*n1*n2 + 12*a13 *a23 *n1

              6    2   2    1     6    2       2         5    3
       + 2*a13 *a23 *n2  + ---*a13 *b12 *kap*n1  + 18*a13 *a23 *n1*n2
                            2

            5        2                   4    4   2        4    4   2
       + a13 *a23*b12 *kap*n1*n2 + 12*a13 *a23 *n1  + 6*a13 *a23 *n2

            4    2    2       2    1     4    2    2       2
       + a13 *a23 *b12 *kap*n1  + ---*a13 *a23 *b12 *kap*n2
                                   2

               3    5              3    3    2                  2    6   2
       + 18*a13 *a23 *n1*n2 + 2*a13 *a23 *b12 *kap*n1*n2 + 4*a13 *a23 *n1

              2    6   2    1     2    4    2       2      2    4    2       2
       + 6*a13 *a23 *n2  + ---*a13 *a23 *b12 *kap*n1  + a13 *a23 *b12 *kap*n2
                            2

                  7                5    2                  8   2
       + 6*a13*a23 *n1*n2 + a13*a23 *b12 *kap*n1*n2 + 2*a23 *n2

          1     6    2       2      2   2   1     7    2
       + ---*a23 *b12 *kap*n2 ) + u2 *v2 *(---*a13 *b12 *n1
          2                                 2

          1     6        2       3     5    2    2       3     4    3    2
       + ---*a13 *a23*b12 *n2 + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2
          2                      2                       2

          3     3    4    2       3     2    5    2       1         6    2
       + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2 + ---*a13*a23 *b12 *n1
          2                       2                       2

          1     7    2         2          7       2        6
       + ---*a23 *b12 *n2) + u2 *v2*(2*a13 *b12*n1  + 3*a13 *a23*b12*n1*n2
          2

              5    2       2      5    2       2        4    3
       + 5*a13 *a23 *b12*n1  + a13 *a23 *b12*n2  + 7*a13 *a23 *b12*n1*n2

              3    4       2        3    4       2        2    5
       + 4*a13 *a23 *b12*n1  + 2*a13 *a23 *b12*n2  + 5*a13 *a23 *b12*n1*n2

                6       2          6       2      7                2     7   3
       + a13*a23 *b12*n1  + a13*a23 *b12*n2  + a23 *b12*n1*n2) + u2 *(a13 *n1

              6       2       5     5    2   3    3     5    2      2
       + 2*a13 *a23*n1 *n2 + ---*a13 *a23 *n1  + ---*a13 *a23 *n1*n2
                              2                   2

          9     4    3   2       1     4    3   3        3    4   3
       + ---*a13 *a23 *n1 *n2 + ---*a13 *a23 *n2  + 2*a13 *a23 *n1
          2                      2

              3    4      2        2    5   2         2    5   3
       + 3*a13 *a23 *n1*n2  + 3*a13 *a23 *n1 *n2 + a13 *a23 *n2

          1         6   3    3         6      2    1     7   2       1     7   3
       + ---*a13*a23 *n1  + ---*a13*a23 *n1*n2  + ---*a23 *n1 *n2 + ---*a23 *n2
          2                  2                     2                 2

               3           7                   6    2               5    3
      ) + u2*u3 *(2*a11*a13 *a23*n1 + 2*a11*a13 *a23 *n2 + 6*a11*a13 *a23 *n1

                  4    4               3    5               2    6
       + 6*a11*a13 *a23 *n2 + 6*a11*a13 *a23 *n1 + 6*a11*a13 *a23 *n2

                      7               8            2               7
       + 2*a11*a13*a23 *n1 + 2*a11*a23 *n2) + u2*u3 *v1*( - a11*a13 *b12*n1

                6                       5    2                   4    3
       - a11*a13 *a23*b12*n2 - 3*a11*a13 *a23 *b12*n1 - 3*a11*a13 *a23 *b12*n2

                  3    4                   2    5                     6
       - 3*a11*a13 *a23 *b12*n1 - 3*a11*a13 *a23 *b12*n2 - a11*a13*a23 *b12*n1

                7                2         7                6       2
       - a11*a23 *b12*n2) + u2*u3 *(a11*a13 *n1*n2 + a11*a13 *a23*n1

                6       2            5    2                  4    3   2
       + a11*a13 *a23*n2  + 5*a11*a13 *a23 *n1*n2 + 2*a11*a13 *a23 *n1

                  4    3   2            3    4                2    5   2
       + 4*a11*a13 *a23 *n2  + 7*a11*a13 *a23 *n1*n2 + a11*a13 *a23 *n1

                  2    5   2                6                  7   2
       + 5*a11*a13 *a23 *n2  + 3*a11*a13*a23 *n1*n2 + 2*a11*a23 *n2 ) + u2*u3*v1

               6       2            5                          4    2       2
   *( - a11*a13 *b12*n1  - 2*a11*a13 *a23*b12*n1*n2 - 2*a11*a13 *a23 *b12*n1

               4    2       2            3    3
      - a11*a13 *a23 *b12*n2  - 4*a11*a13 *a23 *b12*n1*n2

               2    4       2            2    4       2
      - a11*a13 *a23 *b12*n1  - 2*a11*a13 *a23 *b12*n2

                     5                    6       2
      - 2*a11*a13*a23 *b12*n1*n2 - a11*a23 *b12*n2 ) + u2*u3*v2*(

                7                6                      5    2
       - a11*a13 *m3*n1 - a11*a13 *a23*m3*n2 - 3*a11*a13 *a23 *m3*n1

                  4    3                  3    4                  2    5
       - 3*a11*a13 *a23 *m3*n2 - 3*a11*a13 *a23 *m3*n1 - 3*a11*a13 *a23 *m3*n2

                    6                7                  1         6   2
       - a11*a13*a23 *m3*n1 - a11*a23 *m3*n2) + u2*u3*(---*a11*a13 *n1 *n2
                                                        2

          1         5       3          5          2    1         4    2   2
       - ---*a11*a13 *a23*n1  + a11*a13 *a23*n1*n2  - ---*a11*a13 *a23 *n1 *n2
          2                                            2

          1         4    2   3    1         3    3   3
       + ---*a11*a13 *a23 *n2  - ---*a11*a13 *a23 *n1
          2                       2

          1         3    3      2          2    4   2       1         2    4   3
       + ---*a11*a13 *a23 *n1*n2  - a11*a13 *a23 *n1 *n2 + ---*a11*a13 *a23 *n2
          2                                                 2

          1             5      2                  1     6    2   2
       - ---*a11*a13*a23 *n1*n2 ) + u2*v2*v3*( - ---*a13 *b12 *n1
          2                                       2

            5        2            4    2    2   2    1     4    2    2   2
       - a13 *a23*b12 *n1*n2 - a13 *a23 *b12 *n1  - ---*a13 *a23 *b12 *n2
                                                     2

              3    3    2          1     2    4    2   2      2    4    2   2
       - 2*a13 *a23 *b12 *n1*n2 - ---*a13 *a23 *b12 *n1  - a13 *a23 *b12 *n2
                                   2

                5    2          1     6    2   2                     6      2
       - a13*a23 *b12 *n1*n2 - ---*a23 *b12 *n2 ) + u2*v2*( - a11*a13 *m3*n1
                                2

                  5                         4    2      2          4    2      2
       - 2*a11*a13 *a23*m3*n1*n2 - 2*a11*a13 *a23 *m3*n1  - a11*a13 *a23 *m3*n2

                  3    3                   2    4      2
       - 4*a11*a13 *a23 *m3*n1*n2 - a11*a13 *a23 *m3*n1

                  2    4      2                5                   6      2
       - 2*a11*a13 *a23 *m3*n2  - 2*a11*a13*a23 *m3*n1*n2 - a11*a23 *m3*n2 ) + 

              1     6       3      5           2         4    2       3
   u2*v3*( - ---*a13 *b12*n1  - a13 *a23*b12*n1 *n2 - a13 *a23 *b12*n1
              2

              1     4    2          2        3    3       2
           - ---*a13 *a23 *b12*n1*n2  - 2*a13 *a23 *b12*n1 *n2
              2

              1     2    4       3      2    4          2          5       2
           - ---*a13 *a23 *b12*n1  - a13 *a23 *b12*n1*n2  - a13*a23 *b12*n1 *n2
              2

              1     6          2            1         5   3
           - ---*a23 *b12*n1*n2 ) + u2*( - ---*a11*a13 *n1 *n2
              2                             4

          3         4       2   2    1         3    2   3
       - ---*a11*a13 *a23*n1 *n2  - ---*a11*a13 *a23 *n1 *n2
          4                          4

          3         3    2      3    3         2    3   2   2
       - ---*a11*a13 *a23 *n1*n2  - ---*a11*a13 *a23 *n1 *n2
          4                          4

          1         2    3   4    3             4      3    1         5   4
       - ---*a11*a13 *a23 *n2  - ---*a11*a13*a23 *n1*n2  - ---*a11*a23 *n2 ) + 
          4                       4                         4

     4        2    7         2    6               2    5    2
   u3 *( - a11 *a13 *n1 - a11 *a13 *a23*n2 - 3*a11 *a13 *a23 *n1

                2    4    3           2    3    4           2    2    5
         - 3*a11 *a13 *a23 *n2 - 3*a11 *a13 *a23 *n1 - 3*a11 *a13 *a23 *n2

              2        6         2    7           9           8
         - a11 *a13*a23 *n1 - a11 *a23 *n2 - 2*a13 *n1 - 2*a13 *a23*n2

                7    2         7    2               6    3
         - 8*a13 *a23 *n1 - a13 *b12 *kap*n1 - 8*a13 *a23 *n2

              6        2                5    4           5    2    2
         - a13 *a23*b12 *kap*n2 - 12*a13 *a23 *n1 - 3*a13 *a23 *b12 *kap*n1

                 4    5           4    3    2               3    6
         - 12*a13 *a23 *n2 - 3*a13 *a23 *b12 *kap*n2 - 8*a13 *a23 *n1

                3    4    2               2    7           2    5    2
         - 3*a13 *a23 *b12 *kap*n1 - 8*a13 *a23 *n2 - 3*a13 *a23 *b12 *kap*n2

                    8             6    2               9         7    2
         - 2*a13*a23 *n1 - a13*a23 *b12 *kap*n1 - 2*a23 *n2 - a23 *b12 *kap*n2) 

       3             7                   6    2               5    3
   + u3 *v1*( - 2*a13 *a23*b12*n1 - 2*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1

                     4    4               3    5               2    6
              - 6*a13 *a23 *b12*n2 - 6*a13 *a23 *b12*n1 - 6*a13 *a23 *b12*n2

                         7               8             3          8
              - 2*a13*a23 *b12*n1 - 2*a23 *b12*n2) + u3 *v2*(2*a13 *b12*n1

              7                   6    2               5    3
       + 2*a13 *a23*b12*n2 + 6*a13 *a23 *b12*n1 + 6*a13 *a23 *b12*n2

              4    4               3    5               2    6
       + 6*a13 *a23 *b12*n1 + 6*a13 *a23 *b12*n2 + 2*a13 *a23 *b12*n1

                  7             3      1     2    6   2      2    5
       + 2*a13*a23 *b12*n2) + u3 *( - ---*a11 *a13 *n1  - a11 *a13 *a23*n1*n2
                                       2

            2    4    2   2    1     2    4    2   2        2    3    3
       - a11 *a13 *a23 *n1  - ---*a11 *a13 *a23 *n2  - 2*a11 *a13 *a23 *n1*n2
                               2

          1     2    2    4   2      2    2    4   2      2        5
       - ---*a11 *a13 *a23 *n1  - a11 *a13 *a23 *n2  - a11 *a13*a23 *n1*n2
          2

          1     2    6   2    1     6    2       2      5        2
       - ---*a11 *a23 *n2  - ---*a13 *b12 *kap*n1  - a13 *a23*b12 *kap*n1*n2
          2                   2

            4    2    2       2    1     4    2    2       2
       - a13 *a23 *b12 *kap*n1  - ---*a13 *a23 *b12 *kap*n2
                                   2

              3    3    2              1     2    4    2       2
       - 2*a13 *a23 *b12 *kap*n1*n2 - ---*a13 *a23 *b12 *kap*n1
                                       2

            2    4    2       2          5    2
       - a13 *a23 *b12 *kap*n2  - a13*a23 *b12 *kap*n1*n2

          1     6    2       2      2   2   1     7    2
       - ---*a23 *b12 *kap*n2 ) + u3 *v1 *(---*a13 *b12 *n1
          2                                 2

          1     6        2       3     5    2    2       3     4    3    2
       + ---*a13 *a23*b12 *n2 + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2
          2                      2                       2

          3     3    4    2       3     2    5    2       1         6    2
       + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2 + ---*a13*a23 *b12 *n1
          2                       2                       2

          1     7    2         2             8              7
       + ---*a23 *b12 *n2) + u3 *v1*( - 2*a13 *m3*n1 - 2*a13 *a23*m3*n2
          2

            7                  6    2            6           2
       - a13 *b12*n1*n2 - 6*a13 *a23 *m3*n1 - a13 *a23*b12*n1

            6           2        5    3              5    2
       - a13 *a23*b12*n2  - 6*a13 *a23 *m3*n2 - 5*a13 *a23 *b12*n1*n2

              4    4              4    3       2        4    3       2
       - 6*a13 *a23 *m3*n1 - 2*a13 *a23 *b12*n1  - 4*a13 *a23 *b12*n2

              3    5              3    4                  2    6
       - 6*a13 *a23 *m3*n2 - 7*a13 *a23 *b12*n1*n2 - 2*a13 *a23 *m3*n1

            2    5       2        2    5       2            7
       - a13 *a23 *b12*n1  - 5*a13 *a23 *b12*n2  - 2*a13*a23 *m3*n2

                  6                  7       2      2   2   1     7    2
       - 3*a13*a23 *b12*n1*n2 - 2*a23 *b12*n2 ) + u3 *v2 *(---*a13 *b12 *n1
                                                            2

          1     6        2       3     5    2    2       3     4    3    2
       + ---*a13 *a23*b12 *n2 + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2
          2                      2                       2

          3     3    4    2       3     2    5    2       1         6    2
       + ---*a13 *a23 *b12 *n1 + ---*a13 *a23 *b12 *n2 + ---*a13*a23 *b12 *n1
          2                       2                       2

          1     7    2         2             7                  7       2
       + ---*a23 *b12 *n2) + u3 *v2*( - 2*a13 *a23*m3*n1 + 2*a13 *b12*n1
          2

              6    2              6                      5    3
       - 2*a13 *a23 *m3*n2 + 3*a13 *a23*b12*n1*n2 - 6*a13 *a23 *m3*n1

              5    2       2      5    2       2        4    4
       + 5*a13 *a23 *b12*n1  + a13 *a23 *b12*n2  - 6*a13 *a23 *m3*n2

              4    3                  3    5              3    4       2
       + 7*a13 *a23 *b12*n1*n2 - 6*a13 *a23 *m3*n1 + 4*a13 *a23 *b12*n1

              3    4       2        2    6              2    5
       + 2*a13 *a23 *b12*n2  - 6*a13 *a23 *m3*n2 + 5*a13 *a23 *b12*n1*n2

                  7                6       2          6       2        8
       - 2*a13*a23 *m3*n1 + a13*a23 *b12*n1  + a13*a23 *b12*n2  - 2*a23 *m3*n2

            7                2   1     2    5   3    3     2    4       2
       + a23 *b12*n1*n2) + u3 *(---*a11 *a13 *n1  + ---*a11 *a13 *a23*n1 *n2
                                 8                   8

          1     2    3    2   3    3     2    3    2      2
       + ---*a11 *a13 *a23 *n1  + ---*a11 *a13 *a23 *n1*n2
          8                        8

          3     2    2    3   2       1     2    2    3   3
       + ---*a11 *a13 *a23 *n1 *n2 + ---*a11 *a13 *a23 *n2
          8                           8

          3     2        4      2    1     2    5   3    1     7       2
       + ---*a11 *a13*a23 *n1*n2  + ---*a11 *a23 *n2  - ---*a13 *kap*m3 *n1
          8                          8                   2

            7   3    1     7      2    1     6           2
       + a13 *n1  + ---*a13 *n1*n2  - ---*a13 *a23*kap*m3 *n2
                     2                 2

              6       2       1     6       3    3     5    2       2
       + 2*a13 *a23*n1 *n2 + ---*a13 *a23*n2  - ---*a13 *a23 *kap*m3 *n1
                              2                  2

          5     5    2   3        5    2      2    3     4    3       2
       + ---*a13 *a23 *n1  + 3*a13 *a23 *n1*n2  - ---*a13 *a23 *kap*m3 *n2
          2                                        2

          9     4    3   2           4    3   3    3     3    4       2
       + ---*a13 *a23 *n1 *n2 + 2*a13 *a23 *n2  - ---*a13 *a23 *kap*m3 *n1
          2                                        2

              3    4   3    9     3    4      2    3     2    5       2
       + 2*a13 *a23 *n1  + ---*a13 *a23 *n1*n2  - ---*a13 *a23 *kap*m3 *n2
                            2                      2

              2    5   2       5     2    5   3    1         6       2
       + 3*a13 *a23 *n1 *n2 + ---*a13 *a23 *n2  - ---*a13*a23 *kap*m3 *n1
                               2                   2

          1         6   3            6      2    1     7       2
       + ---*a13*a23 *n1  + 2*a13*a23 *n1*n2  - ---*a23 *kap*m3 *n2
          2                                      2

          1     7   2         7   3         2   1     6    2   2
       + ---*a23 *n1 *n2 + a23 *n2 ) + u3*v1 *(---*a13 *b12 *n1
          2                                     2

            5        2            4    2    2   2    1     4    2    2   2
       + a13 *a23*b12 *n1*n2 + a13 *a23 *b12 *n1  + ---*a13 *a23 *b12 *n2
                                                     2

              3    3    2          1     2    4    2   2      2    4    2   2
       + 2*a13 *a23 *b12 *n1*n2 + ---*a13 *a23 *b12 *n1  + a13 *a23 *b12 *n2
                                   2

                5    2          1     6    2   2                   7      2
       + a13*a23 *b12 *n1*n2 + ---*a23 *b12 *n2 ) + u3*v1*( - 2*a13 *m3*n1
                                2

              6                 1     6       2           5    2      2
       - 3*a13 *a23*m3*n1*n2 - ---*a13 *b12*n1 *n2 - 5*a13 *a23 *m3*n1
                                2

            5    2      2      5              2        4    3
       - a13 *a23 *m3*n2  - a13 *a23*b12*n1*n2  - 7*a13 *a23 *m3*n1*n2

            4    2       2       1     4    2       3        3    4      2
       - a13 *a23 *b12*n1 *n2 - ---*a13 *a23 *b12*n2  - 4*a13 *a23 *m3*n1
                                 2

              3    4      2        3    3          2        2    5
       - 2*a13 *a23 *m3*n2  - 2*a13 *a23 *b12*n1*n2  - 5*a13 *a23 *m3*n1*n2

          1     2    4       2         2    4       3          6      2
       - ---*a13 *a23 *b12*n1 *n2 - a13 *a23 *b12*n2  - a13*a23 *m3*n1
          2

                6      2          5          2      7
       - a13*a23 *m3*n2  - a13*a23 *b12*n1*n2  - a23 *m3*n1*n2

          1     6       3         2   1     6    2   2      5        2
       - ---*a23 *b12*n2 ) + u3*v2 *(---*a13 *b12 *n1  + a13 *a23*b12 *n1*n2
          2                           2

            4    2    2   2    1     4    2    2   2        3    3    2
       + a13 *a23 *b12 *n1  + ---*a13 *a23 *b12 *n2  + 2*a13 *a23 *b12 *n1*n2
                               2

          1     2    4    2   2      2    4    2   2          5    2
       + ---*a13 *a23 *b12 *n1  + a13 *a23 *b12 *n2  + a13*a23 *b12 *n1*n2
          2

          1     6    2   2                 7               6          2
       + ---*a23 *b12 *n2 ) + u3*v2*( - a13 *m3*n1*n2 - a13 *a23*m3*n1
          2

            6          2    1     6       3        5    2
       - a13 *a23*m3*n2  + ---*a13 *b12*n1  - 5*a13 *a23 *m3*n1*n2
                            2

            5           2           4    3      2        4    3      2
       + a13 *a23*b12*n1 *n2 - 2*a13 *a23 *m3*n1  - 4*a13 *a23 *m3*n2

            4    2       3    1     4    2          2        3    4
       + a13 *a23 *b12*n1  + ---*a13 *a23 *b12*n1*n2  - 7*a13 *a23 *m3*n1*n2
                              2

              3    3       2         2    5      2        2    5      2
       + 2*a13 *a23 *b12*n1 *n2 - a13 *a23 *m3*n1  - 5*a13 *a23 *m3*n2

          1     2    4       3      2    4          2            6
       + ---*a13 *a23 *b12*n1  + a13 *a23 *b12*n1*n2  - 3*a13*a23 *m3*n1*n2
          2

                5       2           7      2    1     6          2
       + a13*a23 *b12*n1 *n2 - 2*a23 *m3*n2  + ---*a23 *b12*n1*n2 ) + u3*(
                                                2

       1     2    4   4    1     2    3       3       3     2    2    2   2   2
      ---*a11 *a13 *n1  + ---*a11 *a13 *a23*n1 *n2 + ---*a11 *a13 *a23 *n1 *n2
       8                   2                          4

          1     2        3      3    1     2    4   4    1     6       2   2
       + ---*a11 *a13*a23 *n1*n2  + ---*a11 *a23 *n2  - ---*a13 *kap*m3 *n1
          2                          8                   2

            5           2            4    2       2   2
       - a13 *a23*kap*m3 *n1*n2 - a13 *a23 *kap*m3 *n1

          1     4    2       2   2        3    3       2
       - ---*a13 *a23 *kap*m3 *n2  - 2*a13 *a23 *kap*m3 *n1*n2
          2

          1     2    4       2   2      2    4       2   2
       - ---*a13 *a23 *kap*m3 *n1  - a13 *a23 *kap*m3 *n2
          2

                5       2          1     6       2   2            1     6      3
       - a13*a23 *kap*m3 *n1*n2 - ---*a23 *kap*m3 *n2 ) + v1*( - ---*a13 *m3*n1
                                   2                              2

            5          2         4    2      3    1     4    2         2
       - a13 *a23*m3*n1 *n2 - a13 *a23 *m3*n1  - ---*a13 *a23 *m3*n1*n2
                                                  2

              3    3      2       1     2    4      3      2    4         2
       - 2*a13 *a23 *m3*n1 *n2 - ---*a13 *a23 *m3*n1  - a13 *a23 *m3*n1*n2
                                  2

                5      2       1     6         2            1     6      2
       - a13*a23 *m3*n1 *n2 - ---*a23 *m3*n1*n2 ) + v2*( - ---*a13 *m3*n1 *n2
                               2                            2

            5             2      4    2      2       1     4    2      3
       - a13 *a23*m3*n1*n2  - a13 *a23 *m3*n1 *n2 - ---*a13 *a23 *m3*n2
                                                     2

              3    3         2    1     2    4      2         2    4      3
       - 2*a13 *a23 *m3*n1*n2  - ---*a13 *a23 *m3*n1 *n2 - a13 *a23 *m3*n2
                                  2

                5         2    1     6      3
       - a13*a23 *m3*n1*n2  - ---*a23 *m3*n2 )
                               2

             3            1      8               1      8
{HAM,FI} = u1 *u3*v1*( - ----*a11 *a13*b12*n1 - ----*a11 *a23*b12*n2
                          64                     64

                  3      6        3           3      6        3
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  64                          64

                  3      4        5    2       3      4        5    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  64                           64

                  1      2        7    3       1      2        7    3         3
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2) + u1
                  64                           64

                    1      8       2    1     6
           *v1*( - ----*a11 *b12*n1  + ---*a11 *a13*a23*b12*n1*n2
                    64                  8

                    3      6    2       2    1      6    2       2
                 - ----*a11 *a23 *b12*n1  + ----*a11 *a23 *b12*n2
                    32                       16

                     7      6    3       2    1     4        3
                 - -----*a11 *b12 *kap*n1  + ---*a11 *a13*a23 *b12*n1*n2
                    128                       4

                    5      4            3              1     4    4       2
                 + ----*a11 *a13*a23*b12 *kap*n1*n2 - ---*a11 *a23 *b12*n1
                    16                                 8

                    1     4    4       2    1     4    2    3       2
                 + ---*a11 *a23 *b12*n2  - ---*a11 *a23 *b12 *kap*n1
                    8                       4

                    5      4    2    3       2     9      4    5    2   2
                 + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                    32                            128

                    1     2        3    3
                 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    2

                    1     2            5    2          1     2    4    3       2
                 + ---*a11 *a13*a23*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                    4                                  4

                    1     2    4    3       2    7      2    2    5    2   2
                 + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *n1
                    4                            32

                    1     2    2    5    2   2     5      2    7    3   2
                 + ---*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                    8                             128

                    1         3    5    2          1              7    3
                 + ---*a13*a23 *b12 *kap *n1*n2 + ----*a13*a23*b12 *kap *n1*n2
                    4                              16

                    1     4    5    2   2    1     4    5    2   2
                 - ---*a23 *b12 *kap *n1  + ---*a23 *b12 *kap *n2
                    8                        8

                    1      2    7    3   2    1      2    7    3   2
                 - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n2
                    16                        32

                     1      9    4   2      2               1      8
                 - -----*b12 *kap *n1 ) + u1 *u2*u3*v2*( - ----*a11 *a13*b12*n1
                    128                                     64

                  1      8               3      6        3
               - ----*a11 *a23*b12*n2 - ----*a11 *a13*b12 *kap*n1
                  64                     64

                  3      6        3           3      4        5    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  64                          64

                  3      4        5    2       1      2        7    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a11 *a13*b12 *kap *n1
                  64                           64

                  1      2        7    3         2
               - ----*a11 *a23*b12 *kap *n2) + u1 *u2*v1*(
                  64

               1      6               2    1     6    2
              ----*a11 *a13*a23*b12*n1  + ---*a11 *a23 *b12*n1*n2
               16                          8

                  1     4        3       2    1     4        3       2
               + ---*a11 *a13*a23 *b12*n1  - ---*a11 *a13*a23 *b12*n2
                  4                           4

                  3      4            3       2    1     4    4
               + ----*a11 *a13*a23*b12 *kap*n1  + ---*a11 *a23 *b12*n1*n2
                  16                               2

                  3     4    2    3              1     2        3    3       2
               + ---*a11 *a23 *b12 *kap*n1*n2 + ---*a11 *a13*a23 *b12 *kap*n1
                  8                              2

                  1     2        3    3       2
               - ---*a11 *a13*a23 *b12 *kap*n2
                  2

                  3      2            5    2   2      2    4    3
               + ----*a11 *a13*a23*b12 *kap *n1  + a11 *a23 *b12 *kap*n1*n2
                  16

                  3     2    2    5    2          1         3    5    2   2
               + ---*a11 *a23 *b12 *kap *n1*n2 + ---*a13*a23 *b12 *kap *n1
                  8                               4

                  1         3    5    2   2    1              7    3   2
               - ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *n1
                  4                            16

                  1     4    5    2          1     2    7    3            2
               + ---*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1*n2) + u1 *u2
                  2                          8

                    1      8       2    1     6
           *v2*( - ----*a11 *b12*n1  + ---*a11 *a13*a23*b12*n1*n2
                    64                  8

                    3      6    2       2    1      6    2       2
                 - ----*a11 *a23 *b12*n1  + ----*a11 *a23 *b12*n2
                    32                       16

                     7      6    3       2    1     4        3
                 - -----*a11 *b12 *kap*n1  + ---*a11 *a13*a23 *b12*n1*n2
                    128                       4

                    5      4            3              1     4    4       2
                 + ----*a11 *a13*a23*b12 *kap*n1*n2 - ---*a11 *a23 *b12*n1
                    16                                 8

                    1     4    4       2    1     4    2    3       2
                 + ---*a11 *a23 *b12*n2  - ---*a11 *a23 *b12 *kap*n1
                    8                       4

                    5      4    2    3       2     9      4    5    2   2
                 + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                    32                            128

                    1     2        3    3
                 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    2

                    1     2            5    2          1     2    4    3       2
                 + ---*a11 *a13*a23*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                    4                                  4

                    1     2    4    3       2    7      2    2    5    2   2
                 + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *n1
                    4                            32

                    1     2    2    5    2   2     5      2    7    3   2
                 + ---*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                    8                             128

                    1         3    5    2          1              7    3
                 + ---*a13*a23 *b12 *kap *n1*n2 + ----*a13*a23*b12 *kap *n1*n2
                    4                              16

                    1     4    5    2   2    1     4    5    2   2
                 - ---*a23 *b12 *kap *n1  + ---*a23 *b12 *kap *n2
                    8                        8

                    1      2    7    3   2    1      2    7    3   2
                 - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n2
                    16                        32

                     1      9    4   2      2   2      1      9
                 - -----*b12 *kap *n1 ) + u1 *u3 *v1*(----*a11 *b12*n1
                    128                                64

                  1      7                   1      7    2
               - ----*a11 *a13*a23*b12*n2 + ----*a11 *a23 *b12*n1
                  16                         16

                  1      7    3           3      5            3
               + ----*a11 *b12 *kap*n1 - ----*a11 *a13*a23*b12 *kap*n2
                  16                      16

                  3      5    2    3           3      5    5    2
               + ----*a11 *a23 *b12 *kap*n1 + ----*a11 *b12 *kap *n1
                  16                           32

                  3      3            5    2       3      3    2    5    2
               - ----*a11 *a13*a23*b12 *kap *n2 + ----*a11 *a23 *b12 *kap *n1
                  16                               16

                  1      3    7    3       1                  7    3
               + ----*a11 *b12 *kap *n1 - ----*a11*a13*a23*b12 *kap *n2
                  16                       16

                  1          2    7    3       1          9    4         2   2
               + ----*a11*a23 *b12 *kap *n1 + ----*a11*b12 *kap *n1) + u1 *u3
                  16                           64

                    1      8               1      8
           *v3*( - ----*a11 *a13*b12*n1 - ----*a11 *a23*b12*n2
                    64                     64

                    3      6        3           3      6        3
                 - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                    64                          64

                    3      4        5    2       3      4        5    2
                 - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                    64                           64

                    1      2        7    3       1      2        7    3
                 - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2) + 
                    64                           64

             2               1      7        2       1      7        2
           u1 *u3*v1*v2*( - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                             32                      32

                  3      5        4           3      5        4
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  32                          32

                  3      3        6    2       3      3        6    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  32                           32

                  1              8    3       1              8    3         2
               - ----*a11*a13*b12 *kap *n1 - ----*a11*a23*b12 *kap *n2) + u1 *u3
                  32                          32

                 1      7                  5      7           2
           *v1*(----*a11 *a13*a23*m3*n1 - ----*a11 *a13*b12*n1
                 32                        64

                    1      7    2          1     7
                 + ----*a11 *a23 *m3*n2 - ---*a11 *a23*b12*n1*n2
                    32                     8

                    3      5        2       2    3      5        2       2
                 - ----*a11 *a13*a23 *b12*n1  + ----*a11 *a13*a23 *b12*n2
                    16                           16

                    3      5            2              15     5        3       2
                 + ----*a11 *a13*a23*b12 *kap*m3*n1 - ----*a11 *a13*b12 *kap*n1
                    32                                 64

                    3     5    3              3      5    2    2
                 - ---*a11 *a23 *b12*n1*n2 + ----*a11 *a23 *b12 *kap*m3*n2
                    8                         32

                    3     5        3              3     3        2    3       2
                 - ---*a11 *a23*b12 *kap*n1*n2 - ---*a11 *a13*a23 *b12 *kap*n1
                    8                             8

                    3     3        2    3       2
                 + ---*a11 *a13*a23 *b12 *kap*n2
                    8

                    3      3            4    2
                 + ----*a11 *a13*a23*b12 *kap *m3*n1
                    32

                    15     3        5    2   2    3     3    3    3
                 - ----*a11 *a13*b12 *kap *n1  - ---*a11 *a23 *b12 *kap*n1*n2
                    64                            4

                    3      3    2    4    2          3     3        5    2
                 + ----*a11 *a23 *b12 *kap *m3*n2 - ---*a11 *a23*b12 *kap *n1*n2
                    32                               8

                    3              2    5    2   2
                 - ----*a11*a13*a23 *b12 *kap *n1
                    16

                    3              2    5    2   2
                 + ----*a11*a13*a23 *b12 *kap *n2
                    16

                    1                  6    3          5              7    3   2
                 + ----*a11*a13*a23*b12 *kap *m3*n1 - ----*a11*a13*b12 *kap *n1
                    32                                 64

                    3         3    5    2          1          2    6    3
                 - ---*a11*a23 *b12 *kap *n1*n2 + ----*a11*a23 *b12 *kap *m3*n2
                    8                              32

                    1             7    3            2
                 - ---*a11*a23*b12 *kap *n1*n2) + u1 *u3*v3*(
                    8

                  1      8       2    1     6
               - ----*a11 *b12*n1  + ---*a11 *a13*a23*b12*n1*n2
                  64                  8

                  3      6    2       2    1      6    2       2
               - ----*a11 *a23 *b12*n1  + ----*a11 *a23 *b12*n2
                  32                       16

                   7      6    3       2    1     4        3
               - -----*a11 *b12 *kap*n1  + ---*a11 *a13*a23 *b12*n1*n2
                  128                       4

                  5      4            3              1     4    4       2
               + ----*a11 *a13*a23*b12 *kap*n1*n2 - ---*a11 *a23 *b12*n1
                  16                                 8

                  1     4    4       2    1     4    2    3       2
               + ---*a11 *a23 *b12*n2  - ---*a11 *a23 *b12 *kap*n1
                  8                       4

                  5      4    2    3       2     9      4    5    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  32                            128

                  1     2        3    3
               + ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  1     2            5    2          1     2    4    3       2
               + ---*a11 *a13*a23*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  4                                  4

                  1     2    4    3       2    7      2    2    5    2   2
               + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *n1
                  4                            32

                  1     2    2    5    2   2     5      2    7    3   2
               + ---*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                  8                             128

                  1         3    5    2          1              7    3
               + ---*a13*a23 *b12 *kap *n1*n2 + ----*a13*a23*b12 *kap *n1*n2
                  4                              16

                  1     4    5    2   2    1     4    5    2   2
               - ---*a23 *b12 *kap *n1  + ---*a23 *b12 *kap *n2
                  8                        8

                  1      2    7    3   2    1      2    7    3   2
               - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n2
                  16                        32

                   1      9    4   2      2            1      7    2   2
               - -----*b12 *kap *n1 ) + u1 *v1*v2*( - ----*a11 *b12 *n1
                  128                                  64

                  1     5            2          1      5    2    2   2
               + ---*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  8                             16

                  1      5    2    2   2    3      5    4       2
               + ----*a11 *a23 *b12 *n2  - ----*a11 *b12 *kap*n1
                  16                        64

                  1     3            4              1     3    2    4       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  4                                 8

                  1     3    2    4       2    3      3    6    2   2
               + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *b12 *kap *n1
                  8                            64

                  1                 6    2          1          2    6    2   2
               + ---*a11*a13*a23*b12 *kap *n1*n2 - ----*a11*a23 *b12 *kap *n1
                  8                                 16

                  1          2    6    2   2    1          8    3   2      2
               + ----*a11*a23 *b12 *kap *n2  - ----*a11*b12 *kap *n1 ) + u1 *v1
                  16                            64

                    1      6        2   2    1     4        2    2
           *v3*( - ----*a11 *a23*b12 *n1  + ---*a11 *a13*a23 *b12 *n1*n2
                    64                       8

                    1      4    3    2   2    1      4    3    2   2
                 - ----*a11 *a23 *b12 *n1  + ----*a11 *a23 *b12 *n2
                    16                        16

                    3      4        4       2    1     2        2    4
                 - ----*a11 *a23*b12 *kap*n1  + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    64                           4

                    1     2    3    4       2    1     2    3    4       2
                 - ---*a11 *a23 *b12 *kap*n1  + ---*a11 *a23 *b12 *kap*n2
                    8                            8

                    3      2        6    2   2    1         2    6    2
                 - ----*a11 *a23*b12 *kap *n1  + ---*a13*a23 *b12 *kap *n1*n2
                    64                            8

                    1      3    6    2   2    1      3    6    2   2
                 - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n2
                    16                        16

                    1          8    3   2      2      1      7
                 - ----*a23*b12 *kap *n1 ) + u1 *v1*(----*a11 *a13*m3*n1*n2
                    64                                64

                  1      7          2    1      7       3
               + ----*a11 *a23*m3*n2  - ----*a11 *b12*n1
                  64                     64

                  5      5               2       3      5        2
               + ----*a11 *a13*a23*b12*n1 *n2 + ----*a11 *a13*b12 *kap*m3*n1*n2
                  32                             64

                  3      5    2       3    1     5    2          2
               - ----*a11 *a23 *b12*n1  + ---*a11 *a23 *b12*n1*n2
                  32                       8

                  3      5        2          2    3      5    3       3
               + ----*a11 *a23*b12 *kap*m3*n2  - ----*a11 *b12 *kap*n1
                  64                              64

                  3     3        3       2       1     3        3       3
               + ---*a11 *a13*a23 *b12*n1 *n2 - ---*a11 *a13*a23 *b12*n2
                  8                              8

                  5      3            3       2
               + ----*a11 *a13*a23*b12 *kap*n1 *n2
                  16

                  3      3        4    2             1     3    4       3
               + ----*a11 *a13*b12 *kap *m3*n1*n2 - ---*a11 *a23 *b12*n1
                  64                                 8

                  3     3    4          2    3      3    2    3       3
               + ---*a11 *a23 *b12*n1*n2  - ----*a11 *a23 *b12 *kap*n1
                  8                          16

                  1     3    2    3          2    3      3        4    2      2
               + ---*a11 *a23 *b12 *kap*n1*n2  + ----*a11 *a23*b12 *kap *m3*n2
                  4                               64

                  3      3    5    2   3    3             3    3       2
               - ----*a11 *b12 *kap *n1  + ---*a11*a13*a23 *b12 *kap*n1 *n2
                  64                        8

                  1             3    3       3
               - ---*a11*a13*a23 *b12 *kap*n2
                  8

                  5                  5    2   2
               + ----*a11*a13*a23*b12 *kap *n1 *n2
                  32

                  1              6    3             1         4    3       3
               + ----*a11*a13*b12 *kap *m3*n1*n2 - ---*a11*a23 *b12 *kap*n1
                  64                                8

                  3         4    3          2    3          2    5    2   3
               + ---*a11*a23 *b12 *kap*n1*n2  - ----*a11*a23 *b12 *kap *n1
                  8                              32

                  1         2    5    2      2    1              6    3      2
               + ---*a11*a23 *b12 *kap *n1*n2  + ----*a11*a23*b12 *kap *m3*n2
                  8                               64

                  1          7    3   3         2            1      8
               - ----*a11*b12 *kap *n1 ) + u1*u2 *u3*v1*( - ----*a11 *a13*b12*n1
                  64                                         64

                  1      8               3      6        3
               - ----*a11 *a23*b12*n2 - ----*a11 *a13*b12 *kap*n1
                  64                     64

                  3      6        3           3      4        5    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  64                          64

                  3      4        5    2       1      2        7    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a11 *a13*b12 *kap *n1
                  64                           64

                  1      2        7    3            2          1      8       2
               - ----*a11 *a23*b12 *kap *n2) + u1*u2 *v1*( - -----*a11 *b12*n1
                  64                                          128

                  1      6                      1      6    2       2
               + ----*a11 *a13*a23*b12*n1*n2 + ----*a11 *a23 *b12*n2
                  16                            32

                   3      6    3       2    1     4        3
               - -----*a11 *b12 *kap*n1  - ---*a11 *a13*a23 *b12*n1*n2
                  128                       4

                  1     4            3              1     4    4       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 + ---*a11 *a23 *b12*n1
                  8                                 8

                  1     4    4       2    1      4    2    3       2
               - ---*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*n1
                  8                       32

                  1      4    2    3       2     3      4    5    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1     2        3    3
               - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  1      2            5    2          1     2    4    3       2
               + ----*a11 *a13*a23*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  16                                  4

                  1     2    4    3       2    1      2    2    5    2   2
               - ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *n1
                  4                            16

                  1      2    2    5    2   2     1      2    7    3   2
               + ----*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                  32                             128

                  1         3    5    2          1     4    5    2   2
               - ---*a13*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1
                  4                              8

                  1     4    5    2   2    1      2    7    3   2         2
               - ---*a23 *b12 *kap *n2  + ----*a23 *b12 *kap *n1 ) + u1*u2 *v2*(
                  8                        32

               1      6               2    1     6    2
              ----*a11 *a13*a23*b12*n1  + ---*a11 *a23 *b12*n1*n2
               16                          8

                  1     4        3       2    1     4        3       2
               + ---*a11 *a13*a23 *b12*n1  - ---*a11 *a13*a23 *b12*n2
                  4                           4

                  3      4            3       2    1     4    4
               + ----*a11 *a13*a23*b12 *kap*n1  + ---*a11 *a23 *b12*n1*n2
                  16                               2

                  3     4    2    3              1     2        3    3       2
               + ---*a11 *a23 *b12 *kap*n1*n2 + ---*a11 *a13*a23 *b12 *kap*n1
                  8                              2

                  1     2        3    3       2
               - ---*a11 *a13*a23 *b12 *kap*n2
                  2

                  3      2            5    2   2      2    4    3
               + ----*a11 *a13*a23*b12 *kap *n1  + a11 *a23 *b12 *kap*n1*n2
                  16

                  3     2    2    5    2          1         3    5    2   2
               + ---*a11 *a23 *b12 *kap *n1*n2 + ---*a13*a23 *b12 *kap *n1
                  8                               4

                  1         3    5    2   2    1              7    3   2
               - ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *n1
                  4                            16

                  1     4    5    2          1     2    7    3
               + ---*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1*n2) + u1*u2
                  2                          8

              2         1      7                   1      7    2
           *u3 *v1*( - ----*a11 *a13*a23*b12*n1 - ----*a11 *a23 *b12*n2
                        16                         16

                  3      5            3           3      5    2    3
               - ----*a11 *a13*a23*b12 *kap*n1 - ----*a11 *a23 *b12 *kap*n2
                  16                              16

                  3      3            5    2       3      3    2    5    2
               - ----*a11 *a13*a23*b12 *kap *n1 - ----*a11 *a23 *b12 *kap *n2
                  16                               16

                  1                  7    3       1          2    7    3
               - ----*a11*a13*a23*b12 *kap *n1 - ----*a11*a23 *b12 *kap *n2) + 
                  16                              16

                   2      1      9           1      7
           u1*u2*u3 *v2*(----*a11 *b12*n1 - ----*a11 *a13*a23*b12*n2
                          64                 16

                  1      7    2           1      7    3
               + ----*a11 *a23 *b12*n1 + ----*a11 *b12 *kap*n1
                  16                      16

                  3      5            3           3      5    2    3
               - ----*a11 *a13*a23*b12 *kap*n2 + ----*a11 *a23 *b12 *kap*n1
                  16                              16

                  3      5    5    2       3      3            5    2
               + ----*a11 *b12 *kap *n1 - ----*a11 *a13*a23*b12 *kap *n2
                  32                       16

                  3      3    2    5    2       1      3    7    3
               + ----*a11 *a23 *b12 *kap *n1 + ----*a11 *b12 *kap *n1
                  16                            16

                  1                  7    3       1          2    7    3
               - ----*a11*a13*a23*b12 *kap *n2 + ----*a11*a23 *b12 *kap *n1
                  16                              16

                  1          9    4                  2   1      7        2
               + ----*a11*b12 *kap *n1) + u1*u2*u3*v1 *(----*a11 *a13*b12 *n1
                  64                                     32

                  1      7        2       3      5        4
               + ----*a11 *a23*b12 *n2 + ----*a11 *a13*b12 *kap*n1
                  32                      32

                  3      5        4           3      3        6    2
               + ----*a11 *a23*b12 *kap*n2 + ----*a11 *a13*b12 *kap *n1
                  32                          32

                  3      3        6    2       1              8    3
               + ----*a11 *a23*b12 *kap *n2 + ----*a11*a13*b12 *kap *n1
                  32                           32

                  1              8    3                      1      9
               + ----*a11*a23*b12 *kap *n2) + u1*u2*u3*v1*(-----*a11 *m3*n1
                  32                                        128

                  1      7                  1      7
               - ----*a11 *a13*a23*m3*n2 - ----*a11 *a13*b12*n1*n2
                  32                        32

                  1      7    2          3      7           2
               + ----*a11 *a23 *m3*n1 - ----*a11 *a23*b12*n1
                  32                     64

                  1      7           2    1      7    2
               - ----*a11 *a23*b12*n2  + ----*a11 *b12 *kap*m3*n1
                  32                      32

                  3     5        2              3      5            2
               + ---*a11 *a13*a23 *b12*n1*n2 - ----*a11 *a13*a23*b12 *kap*m3*n2
                  8                             32

                  3      5        3              3      5    3       2
               - ----*a11 *a13*b12 *kap*n1*n2 - ----*a11 *a23 *b12*n1
                  32                             16

                  3      5    3       2    3      5    2    2
               + ----*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*m3*n1
                  16                       32

                  9      5        3       2    3      5        3       2
               - ----*a11 *a23*b12 *kap*n1  - ----*a11 *a23*b12 *kap*n2
                  64                           32

                  3      5    4    2          3     3        2    3
               + ----*a11 *b12 *kap *m3*n1 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                  64                          4

                  3      3            4    2
               - ----*a11 *a13*a23*b12 *kap *m3*n2
                  32

                  3      3        5    2          3     3    3    3       2
               - ----*a11 *a13*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  32                              8

                  3     3    3    3       2    3      3    2    4    2
               + ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *m3*n1
                  8                            32

                  9      3        5    2   2    3      3        5    2   2
               - ----*a11 *a23*b12 *kap *n1  - ----*a11 *a23*b12 *kap *n2
                  64                            32

                  1      3    6    3          3             2    5    2
               + ----*a11 *b12 *kap *m3*n1 + ---*a11*a13*a23 *b12 *kap *n1*n2
                  32                          8

                  1                  6    3          1              7    3
               - ----*a11*a13*a23*b12 *kap *m3*n2 - ----*a11*a13*b12 *kap *n1*n2
                  32                                 32

                  3          3    5    2   2    3          3    5    2   2
               - ----*a11*a23 *b12 *kap *n1  + ----*a11*a23 *b12 *kap *n2
                  16                            16

                  1          2    6    3          3              7    3   2
               + ----*a11*a23 *b12 *kap *m3*n1 - ----*a11*a23*b12 *kap *n1
                  32                              64

                  1              7    3   2     1          8    4
               - ----*a11*a23*b12 *kap *n2  + -----*a11*b12 *kap *m3*n1) + u1*u2
                  32                           128

                 2      1      7        2       1      7        2
           *u3*v2 *( - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                        32                      32

                  3      5        4           3      5        4
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  32                          32

                  3      3        6    2       3      3        6    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  32                           32

                  1              8    3       1              8    3
               - ----*a11*a13*b12 *kap *n1 - ----*a11*a23*b12 *kap *n2) + u1*u2
                  32                          32

                    1      7                  5      7           2
           *u3*v2*(----*a11 *a13*a23*m3*n1 - ----*a11 *a13*b12*n1
                    32                        64

                  1      7    2          1     7
               + ----*a11 *a23 *m3*n2 - ---*a11 *a23*b12*n1*n2
                  32                     8

                  3      5        2       2    3      5        2       2
               - ----*a11 *a13*a23 *b12*n1  + ----*a11 *a13*a23 *b12*n2
                  16                           16

                  3      5            2              15     5        3       2
               + ----*a11 *a13*a23*b12 *kap*m3*n1 - ----*a11 *a13*b12 *kap*n1
                  32                                 64

                  3     5    3              3      5    2    2
               - ---*a11 *a23 *b12*n1*n2 + ----*a11 *a23 *b12 *kap*m3*n2
                  8                         32

                  3     5        3              3     3        2    3       2
               - ---*a11 *a23*b12 *kap*n1*n2 - ---*a11 *a13*a23 *b12 *kap*n1
                  8                             8

                  3     3        2    3       2
               + ---*a11 *a13*a23 *b12 *kap*n2
                  8

                  3      3            4    2          15     3        5    2   2
               + ----*a11 *a13*a23*b12 *kap *m3*n1 - ----*a11 *a13*b12 *kap *n1
                  32                                  64

                  3     3    3    3              3      3    2    4    2
               - ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap *m3*n2
                  4                              32

                  3     3        5    2          3              2    5    2   2
               - ---*a11 *a23*b12 *kap *n1*n2 - ----*a11*a13*a23 *b12 *kap *n1
                  8                              16

                  3              2    5    2   2
               + ----*a11*a13*a23 *b12 *kap *n2
                  16

                  1                  6    3          5              7    3   2
               + ----*a11*a13*a23*b12 *kap *m3*n1 - ----*a11*a13*b12 *kap *n1
                  32                                 64

                  3         3    5    2          1          2    6    3
               - ---*a11*a23 *b12 *kap *n1*n2 + ----*a11*a23 *b12 *kap *m3*n2
                  8                              32

                  1             7    3
               - ---*a11*a23*b12 *kap *n1*n2) + u1*u2*u3*v3*(
                  8

               1      6               2    1     6    2
              ----*a11 *a13*a23*b12*n1  + ---*a11 *a23 *b12*n1*n2
               16                          8

                  1     4        3       2    1     4        3       2
               + ---*a11 *a13*a23 *b12*n1  - ---*a11 *a13*a23 *b12*n2
                  4                           4

                  3      4            3       2    1     4    4
               + ----*a11 *a13*a23*b12 *kap*n1  + ---*a11 *a23 *b12*n1*n2
                  16                               2

                  3     4    2    3              1     2        3    3       2
               + ---*a11 *a23 *b12 *kap*n1*n2 + ---*a11 *a13*a23 *b12 *kap*n1
                  8                              2

                  1     2        3    3       2
               - ---*a11 *a13*a23 *b12 *kap*n2
                  2

                  3      2            5    2   2      2    4    3
               + ----*a11 *a13*a23*b12 *kap *n1  + a11 *a23 *b12 *kap*n1*n2
                  16

                  3     2    2    5    2          1         3    5    2   2
               + ---*a11 *a23 *b12 *kap *n1*n2 + ---*a13*a23 *b12 *kap *n1
                  8                               4

                  1         3    5    2   2    1              7    3   2
               - ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *n1
                  4                            16

                  1     4    5    2          1     2    7    3
               + ---*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1*n2) + u1*u2
                  2                          8

              2   1      7    2   2    1     5            2
           *v1 *(----*a11 *b12 *n1  - ---*a11 *a13*a23*b12 *n1*n2
                  64                   8

                     1      5    2    2   2    1      5    2    2   2
                  + ----*a11 *a23 *b12 *n1  - ----*a11 *a23 *b12 *n2
                     16                        16

                     3      5    4       2    1     3            4
                  + ----*a11 *b12 *kap*n1  - ---*a11 *a13*a23*b12 *kap*n1*n2
                     64                       4

                     1     3    2    4       2    1     3    2    4       2
                  + ---*a11 *a23 *b12 *kap*n1  - ---*a11 *a23 *b12 *kap*n2
                     8                            8

                     3      3    6    2   2    1                 6    2
                  + ----*a11 *b12 *kap *n1  - ---*a11*a13*a23*b12 *kap *n1*n2
                     64                        8

                     1          2    6    2   2    1          2    6    2   2
                  + ----*a11*a23 *b12 *kap *n1  - ----*a11*a23 *b12 *kap *n2
                     16                            16

                     1          8    3   2
                  + ----*a11*b12 *kap *n1 ) + u1*u2*v1*v3*(
                     64

               1      6        2   2    1      6        2
              ----*a11 *a13*b12 *n1  + ----*a11 *a23*b12 *n1*n2
               64                       32

                  1      4        2    2   2    1      4        2    2   2
               + ----*a11 *a13*a23 *b12 *n1  - ----*a11 *a13*a23 *b12 *n2
                  16                            16

                  3      4        4       2    1     4    3    2
               + ----*a11 *a13*b12 *kap*n1  + ---*a11 *a23 *b12 *n1*n2
                  64                           8

                  3      4        4              1     2        2    4       2
               + ----*a11 *a23*b12 *kap*n1*n2 + ---*a11 *a13*a23 *b12 *kap*n1
                  32                             8

                  1     2        2    4       2    3      2        6    2   2
               - ---*a11 *a13*a23 *b12 *kap*n2  + ----*a11 *a13*b12 *kap *n1
                  8                                64

                  1     2    3    4              3      2        6    2
               + ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23*b12 *kap *n1*n2
                  4                              32

                  1          2    6    2   2    1          2    6    2   2
               + ----*a13*a23 *b12 *kap *n1  - ----*a13*a23 *b12 *kap *n2
                  16                            16

                  1          8    3   2    1     3    6    2
               + ----*a13*b12 *kap *n1  + ---*a23 *b12 *kap *n1*n2
                  64                       8

                  1          8    3                        1      7          2
               + ----*a23*b12 *kap *n1*n2) + u1*u2*v1*( - ----*a11 *a13*m3*n1
                  32                                       64

                  1      7                  1      7       2
               - ----*a11 *a23*m3*n1*n2 - -----*a11 *b12*n1 *n2
                  64                       128

                  1      5               3    1      5                  2
               + ----*a11 *a13*a23*b12*n1  + ----*a11 *a13*a23*b12*n1*n2
                  32                          16

                  3      5        2          2    1      5    2       2
               - ----*a11 *a13*b12 *kap*m3*n1  + ----*a11 *a23 *b12*n1 *n2
                  64                              16

                  1      5    2       3    3      5        2
               + ----*a11 *a23 *b12*n2  - ----*a11 *a23*b12 *kap*m3*n1*n2
                  32                       64

                   3      5    3       2       1     3        3       3
               - -----*a11 *b12 *kap*n1 *n2 + ---*a11 *a13*a23 *b12*n1
                  128                          8

                  3     3        3          2    1      3            3       3
               - ---*a11 *a13*a23 *b12*n1*n2  + ----*a11 *a13*a23*b12 *kap*n1
                  8                              16

                  1     3            3          2
               + ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      3        4    2      2    3     3    4       2
               - ----*a11 *a13*b12 *kap *m3*n1  + ---*a11 *a23 *b12*n1 *n2
                  64                               8

                  1     3    4       3    1     3    2    3       2
               - ---*a11 *a23 *b12*n2  + ---*a11 *a23 *b12 *kap*n1 *n2
                  8                       8

                  1      3    2    3       3    3      3        4    2
               + ----*a11 *a23 *b12 *kap*n2  - ----*a11 *a23*b12 *kap *m3*n1*n2
                  16                            64

                   3      3    5    2   2       1             3    3       3
               - -----*a11 *b12 *kap *n1 *n2 + ---*a11*a13*a23 *b12 *kap*n1
                  128                           8

                  3             3    3          2
               - ---*a11*a13*a23 *b12 *kap*n1*n2
                  8

                  1                  5    2   3
               + ----*a11*a13*a23*b12 *kap *n1
                  32

                  1                  5    2      2
               + ----*a11*a13*a23*b12 *kap *n1*n2
                  16

                  1              6    3      2    3         4    3       2
               - ----*a11*a13*b12 *kap *m3*n1  + ---*a11*a23 *b12 *kap*n1 *n2
                  64                              8

                  1         4    3       3    1          2    5    2   2
               - ---*a11*a23 *b12 *kap*n2  + ----*a11*a23 *b12 *kap *n1 *n2
                  8                           16

                  1          2    5    2   3    1              6    3
               + ----*a11*a23 *b12 *kap *n2  - ----*a11*a23*b12 *kap *m3*n1*n2
                  32                            64

                   1          7    3   2               2      1      7    2   2
               - -----*a11*b12 *kap *n1 *n2) + u1*u2*v2 *( - ----*a11 *b12 *n1
                  128                                         64

                  1     5            2          1      5    2    2   2
               + ---*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  8                             16

                  1      5    2    2   2    3      5    4       2
               + ----*a11 *a23 *b12 *n2  - ----*a11 *b12 *kap*n1
                  16                        64

                  1     3            4              1     3    2    4       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  4                                 8

                  1     3    2    4       2    3      3    6    2   2
               + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *b12 *kap *n1
                  8                            64

                  1                 6    2          1          2    6    2   2
               + ---*a11*a13*a23*b12 *kap *n1*n2 - ----*a11*a23 *b12 *kap *n1
                  8                                 16

                  1          2    6    2   2    1          8    3   2
               + ----*a11*a23 *b12 *kap *n2  - ----*a11*b12 *kap *n1 ) + u1*u2
                  16                            64

                       1      6        2   2    1     4        2    2
           *v2*v3*( - ----*a11 *a23*b12 *n1  + ---*a11 *a13*a23 *b12 *n1*n2
                       64                       8

                  1      4    3    2   2    1      4    3    2   2
               - ----*a11 *a23 *b12 *n1  + ----*a11 *a23 *b12 *n2
                  16                        16

                  3      4        4       2    1     2        2    4
               - ----*a11 *a23*b12 *kap*n1  + ---*a11 *a13*a23 *b12 *kap*n1*n2
                  64                           4

                  1     2    3    4       2    1     2    3    4       2
               - ---*a11 *a23 *b12 *kap*n1  + ---*a11 *a23 *b12 *kap*n2
                  8                            8

                  3      2        6    2   2    1         2    6    2
               - ----*a11 *a23*b12 *kap *n1  + ---*a13*a23 *b12 *kap *n1*n2
                  64                            8

                  1      3    6    2   2    1      3    6    2   2
               - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n2
                  16                        16

                  1          8    3   2               1      7
               - ----*a23*b12 *kap *n1 ) + u1*u2*v2*(----*a11 *a13*m3*n1*n2
                  64                                  64

                  1      7          2    1      7       3
               + ----*a11 *a23*m3*n2  - ----*a11 *b12*n1
                  64                     64

                  5      5               2       3      5        2
               + ----*a11 *a13*a23*b12*n1 *n2 + ----*a11 *a13*b12 *kap*m3*n1*n2
                  32                             64

                  3      5    2       3    1     5    2          2
               - ----*a11 *a23 *b12*n1  + ---*a11 *a23 *b12*n1*n2
                  32                       8

                  3      5        2          2    3      5    3       3
               + ----*a11 *a23*b12 *kap*m3*n2  - ----*a11 *b12 *kap*n1
                  64                              64

                  3     3        3       2       1     3        3       3
               + ---*a11 *a13*a23 *b12*n1 *n2 - ---*a11 *a13*a23 *b12*n2
                  8                              8

                  5      3            3       2
               + ----*a11 *a13*a23*b12 *kap*n1 *n2
                  16

                  3      3        4    2             1     3    4       3
               + ----*a11 *a13*b12 *kap *m3*n1*n2 - ---*a11 *a23 *b12*n1
                  64                                 8

                  3     3    4          2    3      3    2    3       3
               + ---*a11 *a23 *b12*n1*n2  - ----*a11 *a23 *b12 *kap*n1
                  8                          16

                  1     3    2    3          2    3      3        4    2      2
               + ---*a11 *a23 *b12 *kap*n1*n2  + ----*a11 *a23*b12 *kap *m3*n2
                  4                               64

                  3      3    5    2   3    3             3    3       2
               - ----*a11 *b12 *kap *n1  + ---*a11*a13*a23 *b12 *kap*n1 *n2
                  64                        8

                  1             3    3       3
               - ---*a11*a13*a23 *b12 *kap*n2
                  8

                  5                  5    2   2
               + ----*a11*a13*a23*b12 *kap *n1 *n2
                  32

                  1              6    3             1         4    3       3
               + ----*a11*a13*b12 *kap *m3*n1*n2 - ---*a11*a23 *b12 *kap*n1
                  64                                8

                  3         4    3          2    3          2    5    2   3
               + ---*a11*a23 *b12 *kap*n1*n2  - ----*a11*a23 *b12 *kap *n1
                  8                              32

                  1         2    5    2      2    1              6    3      2
               + ---*a11*a23 *b12 *kap *n1*n2  + ----*a11*a23*b12 *kap *m3*n2
                  8                               64

                  1          7    3   3         3      1      8
               - ----*a11*b12 *kap *n1 ) + u1*u3 *v1*(----*a11 *a13*b12*n1
                  64                                   64

                  1      8               1      6        3
               + ----*a11 *a23*b12*n2 + ----*a11 *a13*b12 *kap*n1
                  64                     16

                  1      6        3           3      4        5    2
               + ----*a11 *a23*b12 *kap*n2 + ----*a11 *a13*b12 *kap *n1
                  16                          32

                  3      4        5    2       1      2        7    3
               + ----*a11 *a23*b12 *kap *n2 + ----*a11 *a13*b12 *kap *n1
                  32                           16

                  1      2        7    3       1          9    4
               + ----*a11 *a23*b12 *kap *n2 + ----*a13*b12 *kap *n1
                  16                           64

                  1          9    4            3      1      9
               + ----*a23*b12 *kap *n2) + u1*u3 *v3*(----*a11 *b12*n1
                  64                                  64

                  1      7                   1      7    2
               - ----*a11 *a13*a23*b12*n2 + ----*a11 *a23 *b12*n1
                  16                         16

                  1      7    3           3      5            3
               + ----*a11 *b12 *kap*n1 - ----*a11 *a13*a23*b12 *kap*n2
                  16                      16

                  3      5    2    3           3      5    5    2
               + ----*a11 *a23 *b12 *kap*n1 + ----*a11 *b12 *kap *n1
                  16                           32

                  3      3            5    2       3      3    2    5    2
               - ----*a11 *a13*a23*b12 *kap *n2 + ----*a11 *a23 *b12 *kap *n1
                  16                               16

                  1      3    7    3       1                  7    3
               + ----*a11 *b12 *kap *n1 - ----*a11*a13*a23*b12 *kap *n2
                  16                       16

                  1          2    7    3       1          9    4            2
               + ----*a11*a23 *b12 *kap *n1 + ----*a11*b12 *kap *n1) + u1*u3
                  16                           64

              2   1      6            2       1      6    2    2
           *v1 *(----*a11 *a13*a23*b12 *n1 + ----*a11 *a23 *b12 *n2
                  16                          16

                     3      4            4           3      4    2    4
                  + ----*a11 *a13*a23*b12 *kap*n1 + ----*a11 *a23 *b12 *kap*n2
                     16                              16

                     3      2            6    2       3      2    2    6    2
                  + ----*a11 *a13*a23*b12 *kap *n1 + ----*a11 *a23 *b12 *kap *n2
                     16                               16

                     1              8    3       1      2    8    3            2
                  + ----*a13*a23*b12 *kap *n1 + ----*a23 *b12 *kap *n2) + u1*u3
                     16                          16

                    1      8    2       1      6            2
           *v1*v2*(----*a11 *b12 *n1 - ----*a11 *a13*a23*b12 *n2
                    64                  16

                  1      6    2    2       1      6    4
               + ----*a11 *a23 *b12 *n1 + ----*a11 *b12 *kap*n1
                  16                       16

                  3      4            4           3      4    2    4
               - ----*a11 *a13*a23*b12 *kap*n2 + ----*a11 *a23 *b12 *kap*n1
                  16                              16

                  3      4    6    2       3      2            6    2
               + ----*a11 *b12 *kap *n1 - ----*a11 *a13*a23*b12 *kap *n2
                  32                       16

                  3      2    2    6    2       1      2    8    3
               + ----*a11 *a23 *b12 *kap *n1 + ----*a11 *b12 *kap *n1
                  16                            16

                  1              8    3       1      2    8    3
               - ----*a13*a23*b12 *kap *n2 + ----*a23 *b12 *kap *n1
                  16                          16

                  1      10    4            2       3      8       2
               + ----*b12  *kap *n1) + u1*u3 *v1*(-----*a11 *b12*n1
                  64                               128

                  3      6                      3      6    2       2
               - ----*a11 *a13*a23*b12*n1*n2 + ----*a11 *a23 *b12*n1
                  16                            32

                  3      6    2       2    3      6    3       2
               - ----*a11 *a23 *b12*n2  + ----*a11 *b12 *kap*n1
                  32                       32

                  9      4            3              9      4    2    3       2
               - ----*a11 *a13*a23*b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap*n1
                  16                                 32

                  9      4    2    3       2    9      4    5    2   2
               - ----*a11 *a23 *b12 *kap*n2  + ----*a11 *b12 *kap *n1
                  32                            64

                  9      2            5    2
               - ----*a11 *a13*a23*b12 *kap *n1*n2
                  16

                  9      2    2    5    2   2    9      2    2    5    2   2
               + ----*a11 *a23 *b12 *kap *n1  - ----*a11 *a23 *b12 *kap *n2
                  32                             32

                  3      2    7    3   2    3              7    3
               + ----*a11 *b12 *kap *n1  - ----*a13*a23*b12 *kap *n1*n2
                  32                        16

                  3      2    7    3   2    3      2    7    3   2
               + ----*a23 *b12 *kap *n1  - ----*a23 *b12 *kap *n2
                  32                        32

                   3      9    4   2         2            1      7        2
               + -----*b12 *kap *n1 ) + u1*u3 *v2*v3*( - ----*a11 *a13*b12 *n1
                  128                                     32

                  1      7        2       3      5        4
               - ----*a11 *a23*b12 *n2 - ----*a11 *a13*b12 *kap*n1
                  32                      32

                  3      5        4           3      3        6    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  32                          32

                  3      3        6    2       1              8    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a11*a13*b12 *kap *n1
                  32                           32

                  1              8    3            2      1      7
               - ----*a11*a23*b12 *kap *n2) + u1*u3 *v3*(----*a11 *a13*a23*m3*n1
                  32                                      32

                  5      7           2    1      7    2
               - ----*a11 *a13*b12*n1  + ----*a11 *a23 *m3*n2
                  64                      32

                  1     7                  3      5        2       2
               - ---*a11 *a23*b12*n1*n2 - ----*a11 *a13*a23 *b12*n1
                  8                        16

                  3      5        2       2    3      5            2
               + ----*a11 *a13*a23 *b12*n2  + ----*a11 *a13*a23*b12 *kap*m3*n1
                  16                           32

                  15     5        3       2    3     5    3
               - ----*a11 *a13*b12 *kap*n1  - ---*a11 *a23 *b12*n1*n2
                  64                           8

                  3      5    2    2              3     5        3
               + ----*a11 *a23 *b12 *kap*m3*n2 - ---*a11 *a23*b12 *kap*n1*n2
                  32                              8

                  3     3        2    3       2    3     3        2    3       2
               - ---*a11 *a13*a23 *b12 *kap*n1  + ---*a11 *a13*a23 *b12 *kap*n2
                  8                                8

                  3      3            4    2          15     3        5    2   2
               + ----*a11 *a13*a23*b12 *kap *m3*n1 - ----*a11 *a13*b12 *kap *n1
                  32                                  64

                  3     3    3    3              3      3    2    4    2
               - ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap *m3*n2
                  4                              32

                  3     3        5    2          3              2    5    2   2
               - ---*a11 *a23*b12 *kap *n1*n2 - ----*a11*a13*a23 *b12 *kap *n1
                  8                              16

                  3              2    5    2   2
               + ----*a11*a13*a23 *b12 *kap *n2
                  16

                  1                  6    3          5              7    3   2
               + ----*a11*a13*a23*b12 *kap *m3*n1 - ----*a11*a13*b12 *kap *n1
                  32                                 64

                  3         3    5    2          1          2    6    3
               - ---*a11*a23 *b12 *kap *n1*n2 + ----*a11*a23 *b12 *kap *m3*n2
                  8                              32

                  1             7    3                  3
               - ---*a11*a23*b12 *kap *n1*n2) + u1*u3*v1 *(
                  8

                  1      6        3       1      6        3
               - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                  64                      64

                  3      4        5           3      4        5
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  64                          64

                  3      2        7    2       3      2        7    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  64                           64

                  1          9    3       1          9    3               2
               - ----*a13*b12 *kap *n1 - ----*a23*b12 *kap *n2) + u1*u3*v1 *(
                  64                      64

                   1      8              1      6
               - -----*a11 *b12*m3*n1 + ----*a11 *a13*a23*b12*m3*n2
                  128                    32

                  1      6        2          1      6    2
               + ----*a11 *a13*b12 *n1*n2 - ----*a11 *a23 *b12*m3*n1
                  32                         32

                  1      6        2   2    1      6        2   2
               + ----*a11 *a23*b12 *n1  + ----*a11 *a23*b12 *n2
                  32                       32

                  1      6    3              1     4        2    2
               - ----*a11 *b12 *kap*m3*n1 - ---*a11 *a13*a23 *b12 *n1*n2
                  32                         4

                  3      4            3              3      4        4
               + ----*a11 *a13*a23*b12 *kap*m3*n2 + ----*a11 *a13*b12 *kap*n1*n2
                  32                                 32

                  1     4    3    2   2    1     4    3    2   2
               + ---*a11 *a23 *b12 *n1  - ---*a11 *a23 *b12 *n2
                  8                        8

                  3      4    2    3              3      4        4       2
               - ----*a11 *a23 *b12 *kap*m3*n1 + ----*a11 *a23*b12 *kap*n1
                  32                              32

                  3      4        4       2    3      4    5    2
               + ----*a11 *a23*b12 *kap*n2  - ----*a11 *b12 *kap *m3*n1
                  32                           64

                  1     2        2    4
               - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  3      2            5    2
               + ----*a11 *a13*a23*b12 *kap *m3*n2
                  32

                  3      2        6    2          1     2    3    4       2
               + ----*a11 *a13*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  32                              4

                  1     2    3    4       2    3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *m3*n1
                  4                            32

                  3      2        6    2   2    3      2        6    2   2
               + ----*a11 *a23*b12 *kap *n1  + ----*a11 *a23*b12 *kap *n2
                  32                            32

                  1      2    7    3          1         2    6    2
               - ----*a11 *b12 *kap *m3*n1 - ---*a13*a23 *b12 *kap *n1*n2
                  32                          4

                  1              7    3          1          8    3
               + ----*a13*a23*b12 *kap *m3*n2 + ----*a13*b12 *kap *n1*n2
                  32                             32

                  1     3    6    2   2    1     3    6    2   2
               + ---*a23 *b12 *kap *n1  - ---*a23 *b12 *kap *n2
                  8                        8

                  1      2    7    3          1          8    3   2
               - ----*a23 *b12 *kap *m3*n1 + ----*a23*b12 *kap *n1
                  32                          32

                  1          8    3   2     1      9    4                     2
               + ----*a23*b12 *kap *n2  - -----*b12 *kap *m3*n1) + u1*u3*v1*v2 *
                  32                       128

                1      6        3       1      6        3
           ( - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                64                      64

                3      4        5           3      4        5
             - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                64                          64

                3      2        7    2       3      2        7    2
             - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                64                           64

                1          9    3       1          9    3
             - ----*a13*b12 *kap *n1 - ----*a23*b12 *kap *n2) + u1*u3*v1*v2*(
                64                      64

               1      6                      1      6        2   2
              ----*a11 *a13*a23*b12*m3*n1 - ----*a11 *a13*b12 *n1
               32                            16

                  1      6    2              3      6        2
               + ----*a11 *a23 *b12*m3*n2 - ----*a11 *a23*b12 *n1*n2
                  32                         32

                  1     4        2    2   2    1     4        2    2   2
               - ---*a11 *a13*a23 *b12 *n1  + ---*a11 *a13*a23 *b12 *n2
                  8                            8

                  3      4            3              3      4        4       2
               + ----*a11 *a13*a23*b12 *kap*m3*n1 - ----*a11 *a13*b12 *kap*n1
                  32                                 16

                  1     4    3    2          3      4    2    3
               - ---*a11 *a23 *b12 *n1*n2 + ----*a11 *a23 *b12 *kap*m3*n2
                  4                          32

                  9      4        4              1     2        2    4       2
               - ----*a11 *a23*b12 *kap*n1*n2 - ---*a11 *a13*a23 *b12 *kap*n1
                  32                             4

                  1     2        2    4       2
               + ---*a11 *a13*a23 *b12 *kap*n2
                  4

                  3      2            5    2          3      2        6    2   2
               + ----*a11 *a13*a23*b12 *kap *m3*n1 - ----*a11 *a13*b12 *kap *n1
                  32                                  16

                  1     2    3    4              3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap *m3*n2
                  2                              32

                  9      2        6    2          1         2    6    2   2
               - ----*a11 *a23*b12 *kap *n1*n2 - ---*a13*a23 *b12 *kap *n1
                  32                              8

                  1         2    6    2   2    1              7    3
               + ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *m3*n1
                  8                            32

                  1          8    3   2    1     3    6    2
               - ----*a13*b12 *kap *n1  - ---*a23 *b12 *kap *n1*n2
                  16                       4

                  1      2    7    3          3          8    3
               + ----*a23 *b12 *kap *m3*n2 - ----*a23*b12 *kap *n1*n2) + u1*u3
                  32                          32

                    1      6           3    1      6              2
           *v1*( - ----*a11 *a13*b12*n1  - ----*a11 *a13*b12*n1*n2
                    32                      64

                    1      6           2       1      6           3
                 - ----*a11 *a23*b12*n1 *n2 - ----*a11 *a23*b12*n2
                    16                         64

                    1      4        2       3    3      4        2          2
                 - ----*a11 *a13*a23 *b12*n1  + ----*a11 *a13*a23 *b12*n1*n2
                    16                           16

                    3      4        3       3    3      4        3          2
                 - ----*a11 *a13*b12 *kap*n1  - ----*a11 *a13*b12 *kap*n1*n2
                    32                           64

                    3      4    3       2       1      4    3       3
                 - ----*a11 *a23 *b12*n1 *n2 + ----*a11 *a23 *b12*n2
                    16                          16

                    3      4        3       2       3      4        3       3
                 - ----*a11 *a23*b12 *kap*n1 *n2 - ----*a11 *a23*b12 *kap*n2
                    16                              64

                    1     2        2    3       3
                 - ---*a11 *a13*a23 *b12 *kap*n1
                    8

                    3     2        2    3          2
                 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    8

                    3      2        5    2   3    3      2        5    2      2
                 - ----*a11 *a13*b12 *kap *n1  - ----*a11 *a13*b12 *kap *n1*n2
                    32                            64

                    3     2    3    3       2       1     2    3    3       3
                 - ---*a11 *a23 *b12 *kap*n1 *n2 + ---*a11 *a23 *b12 *kap*n2
                    8                               8

                    3      2        5    2   2       3      2        5    2   3
                 - ----*a11 *a23*b12 *kap *n1 *n2 - ----*a11 *a23*b12 *kap *n2
                    16                               64

                    1          2    5    2   3    3          2    5    2      2
                 - ----*a13*a23 *b12 *kap *n1  + ----*a13*a23 *b12 *kap *n1*n2
                    16                            16

                    1          7    3   3    1          7    3      2
                 - ----*a13*b12 *kap *n1  - ----*a13*b12 *kap *n1*n2
                    32                       64

                    3      3    5    2   2       1      3    5    2   3
                 - ----*a23 *b12 *kap *n1 *n2 + ----*a23 *b12 *kap *n2
                    16                           16

                    1          7    3   2       1          7    3   3
                 - ----*a23*b12 *kap *n1 *n2 - ----*a23*b12 *kap *n2 ) + u1*u3
                    16                          64

                       1      7    2   2    1     5            2
           *v2*v3*( - ----*a11 *b12 *n1  + ---*a11 *a13*a23*b12 *n1*n2
                       64                   8

                  1      5    2    2   2    1      5    2    2   2
               - ----*a11 *a23 *b12 *n1  + ----*a11 *a23 *b12 *n2
                  16                        16

                  3      5    4       2    1     3            4
               - ----*a11 *b12 *kap*n1  + ---*a11 *a13*a23*b12 *kap*n1*n2
                  64                       4

                  1     3    2    4       2    1     3    2    4       2
               - ---*a11 *a23 *b12 *kap*n1  + ---*a11 *a23 *b12 *kap*n2
                  8                            8

                  3      3    6    2   2    1                 6    2
               - ----*a11 *b12 *kap *n1  + ---*a11*a13*a23*b12 *kap *n1*n2
                  64                        8

                  1          2    6    2   2    1          2    6    2   2
               - ----*a11*a23 *b12 *kap *n1  + ----*a11*a23 *b12 *kap *n2
                  16                            16

                  1          8    3   2            2      1      6        2   2
               - ----*a11*b12 *kap *n1 ) + u1*u3*v3 *( - ----*a11 *a23*b12 *n1
                  64                                      64

                  1     4        2    2          1      4    3    2   2
               + ---*a11 *a13*a23 *b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  8                              16

                  1      4    3    2   2    3      4        4       2
               + ----*a11 *a23 *b12 *n2  - ----*a11 *a23*b12 *kap*n1
                  16                        64

                  1     2        2    4              1     2    3    4       2
               + ---*a11 *a13*a23 *b12 *kap*n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  4                                  8

                  1     2    3    4       2    3      2        6    2   2
               + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23*b12 *kap *n1
                  8                            64

                  1         2    6    2          1      3    6    2   2
               + ---*a13*a23 *b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  8                              16

                  1      3    6    2   2    1          8    3   2
               + ----*a23 *b12 *kap *n2  - ----*a23*b12 *kap *n1 ) + u1*u3*v3*(
                  16                        64

               1      7                 1      7          2    1      7       3
              ----*a11 *a13*m3*n1*n2 + ----*a11 *a23*m3*n2  - ----*a11 *b12*n1
               64                       64                     64

                  5      5               2       3      5        2
               + ----*a11 *a13*a23*b12*n1 *n2 + ----*a11 *a13*b12 *kap*m3*n1*n2
                  32                             64

                  3      5    2       3    1     5    2          2
               - ----*a11 *a23 *b12*n1  + ---*a11 *a23 *b12*n1*n2
                  32                       8

                  3      5        2          2    3      5    3       3
               + ----*a11 *a23*b12 *kap*m3*n2  - ----*a11 *b12 *kap*n1
                  64                              64

                  3     3        3       2       1     3        3       3
               + ---*a11 *a13*a23 *b12*n1 *n2 - ---*a11 *a13*a23 *b12*n2
                  8                              8

                  5      3            3       2
               + ----*a11 *a13*a23*b12 *kap*n1 *n2
                  16

                  3      3        4    2             1     3    4       3
               + ----*a11 *a13*b12 *kap *m3*n1*n2 - ---*a11 *a23 *b12*n1
                  64                                 8

                  3     3    4          2    3      3    2    3       3
               + ---*a11 *a23 *b12*n1*n2  - ----*a11 *a23 *b12 *kap*n1
                  8                          16

                  1     3    2    3          2    3      3        4    2      2
               + ---*a11 *a23 *b12 *kap*n1*n2  + ----*a11 *a23*b12 *kap *m3*n2
                  4                               64

                  3      3    5    2   3    3             3    3       2
               - ----*a11 *b12 *kap *n1  + ---*a11*a13*a23 *b12 *kap*n1 *n2
                  64                        8

                  1             3    3       3
               - ---*a11*a13*a23 *b12 *kap*n2
                  8

                  5                  5    2   2
               + ----*a11*a13*a23*b12 *kap *n1 *n2
                  32

                  1              6    3             1         4    3       3
               + ----*a11*a13*b12 *kap *m3*n1*n2 - ---*a11*a23 *b12 *kap*n1
                  64                                8

                  3         4    3          2    3          2    5    2   3
               + ---*a11*a23 *b12 *kap*n1*n2  - ----*a11*a23 *b12 *kap *n1
                  8                              32

                  1         2    5    2      2    1              6    3      2
               + ---*a11*a23 *b12 *kap *n1*n2  + ----*a11*a23*b12 *kap *m3*n2
                  8                               64

                  1          7    3   3         3       1      6    3   2
               - ----*a11*b12 *kap *n1 ) + u1*v1 *( - -----*a11 *b12 *n1
                  64                                   128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2         2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u1*v1 *(
                  32                        128

               1      6              2    3      6
              ----*a11 *a13*b12*m3*n1  + ----*a11 *a23*b12*m3*n1*n2
               32                         64

                   1      6    2   2       1      4        2          2
               + -----*a11 *b12 *n1 *n2 + ----*a11 *a13*a23 *b12*m3*n1
                  128                      16

                  1      4        2          2    1      4            2      2
               - ----*a11 *a13*a23 *b12*m3*n2  - ----*a11 *a13*a23*b12 *n1*n2
                  16                              16

                  3      4        3          2    1     4    3
               + ----*a11 *a13*b12 *kap*m3*n1  + ---*a11 *a23 *b12*m3*n1*n2
                  32                              8

                  1      4    2    2   2       1      4    2    2   3
               + ----*a11 *a23 *b12 *n1 *n2 - ----*a11 *a23 *b12 *n2
                  32                           32

                  9      4        3                  3      4    4       2
               + ----*a11 *a23*b12 *kap*m3*n1*n2 + -----*a11 *b12 *kap*n1 *n2
                  64                                128

                  1     2        2    3          2
               + ---*a11 *a13*a23 *b12 *kap*m3*n1
                  8

                  1     2        2    3          2
               - ---*a11 *a13*a23 *b12 *kap*m3*n2
                  8

                  1     2            4          2
               - ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      2        5    2      2
               + ----*a11 *a13*b12 *kap *m3*n1
                  32

                  1     2    3    3
               + ---*a11 *a23 *b12 *kap*m3*n1*n2
                  4

                  1      2    2    4       2       1      2    2    4       3
               + ----*a11 *a23 *b12 *kap*n1 *n2 - ----*a11 *a23 *b12 *kap*n2
                  16                               16

                  9      2        5    2              3      2    6    2   2
               + ----*a11 *a23*b12 *kap *m3*n1*n2 + -----*a11 *b12 *kap *n1 *n2
                  64                                 128

                  1          2    5    2      2    1          2    5    2      2
               + ----*a13*a23 *b12 *kap *m3*n1  - ----*a13*a23 *b12 *kap *m3*n2
                  16                               16

                  1              6    2      2    1          7    3      2
               - ----*a13*a23*b12 *kap *n1*n2  + ----*a13*b12 *kap *m3*n1
                  16                              32

                  1     3    5    2             1      2    6    2   2
               + ---*a23 *b12 *kap *m3*n1*n2 + ----*a23 *b12 *kap *n1 *n2
                  8                             32

                  1      2    6    2   3    3          7    3
               - ----*a23 *b12 *kap *n2  + ----*a23*b12 *kap *m3*n1*n2
                  32                        64

                   1      8    3   2               2       1      6    3   2
               + -----*b12 *kap *n1 *n2) + u1*v1*v2 *( - -----*a11 *b12 *n1
                  128                                     128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u1*v1*v2*(
                  32                        128

               1      6                     1      6              2
              ----*a11 *a13*b12*m3*n1*n2 + ----*a11 *a23*b12*m3*n1
               64                           64

                  1      6              2     1      6    2   3
               + ----*a11 *a23*b12*m3*n2  - -----*a11 *b12 *n1
                  64                         128

                  1     4        2                 1      4            2   2
               - ---*a11 *a13*a23 *b12*m3*n1*n2 + ----*a11 *a13*a23*b12 *n1 *n2
                  8                                16

                  3      4        3                 1      4    3          2
               + ----*a11 *a13*b12 *kap*m3*n1*n2 + ----*a11 *a23 *b12*m3*n1
                  64                                16

                  1      4    3          2    1      4    2    2   3
               - ----*a11 *a23 *b12*m3*n2  - ----*a11 *a23 *b12 *n1
                  16                          32

                  1      4    2    2      2    3      4        3          2
               + ----*a11 *a23 *b12 *n1*n2  + ----*a11 *a23*b12 *kap*m3*n1
                  32                           64

                  3      4        3          2     3      4    4       3
               + ----*a11 *a23*b12 *kap*m3*n2  - -----*a11 *b12 *kap*n1
                  64                              128

                  1     2        2    3
               - ---*a11 *a13*a23 *b12 *kap*m3*n1*n2
                  4

                  1     2            4       2
               + ---*a11 *a13*a23*b12 *kap*n1 *n2
                  8

                  3      2        5    2
               + ----*a11 *a13*b12 *kap *m3*n1*n2
                  64

                  1     2    3    3          2    1     2    3    3          2
               + ---*a11 *a23 *b12 *kap*m3*n1  - ---*a11 *a23 *b12 *kap*m3*n2
                  8                               8

                  1      2    2    4       3    1      2    2    4          2
               - ----*a11 *a23 *b12 *kap*n1  + ----*a11 *a23 *b12 *kap*n1*n2
                  16                            16

                  3      2        5    2      2    3      2        5    2      2
               + ----*a11 *a23*b12 *kap *m3*n1  + ----*a11 *a23*b12 *kap *m3*n2
                  64                               64

                   3      2    6    2   3    1         2    5    2
               - -----*a11 *b12 *kap *n1  - ---*a13*a23 *b12 *kap *m3*n1*n2
                  128                        8

                  1              6    2   2       1          7    3
               + ----*a13*a23*b12 *kap *n1 *n2 + ----*a13*b12 *kap *m3*n1*n2
                  16                              64

                  1      3    5    2      2    1      3    5    2      2
               + ----*a23 *b12 *kap *m3*n1  - ----*a23 *b12 *kap *m3*n2
                  16                           16

                  1      2    6    2   3    1      2    6    2      2
               - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n1*n2
                  32                        32

                  1          7    3      2    1          7    3      2
               + ----*a23*b12 *kap *m3*n1  + ----*a23*b12 *kap *m3*n2
                  64                          64

                   1      8    3   3      3            1      8
               - -----*b12 *kap *n1 ) + u2 *u3*v2*( - ----*a11 *a13*b12*n1
                  128                                  64

                  1      8               3      6        3
               - ----*a11 *a23*b12*n2 - ----*a11 *a13*b12 *kap*n1
                  64                     64

                  3      6        3           3      4        5    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  64                          64

                  3      4        5    2       1      2        7    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a11 *a13*b12 *kap *n1
                  64                           64

                  1      2        7    3         3          1      8       2
               - ----*a11 *a23*b12 *kap *n2) + u2 *v2*( - -----*a11 *b12*n1
                  64                                       128

                  1      6                      1      6    2       2
               + ----*a11 *a13*a23*b12*n1*n2 + ----*a11 *a23 *b12*n2
                  16                            32

                   3      6    3       2    1     4        3
               - -----*a11 *b12 *kap*n1  - ---*a11 *a13*a23 *b12*n1*n2
                  128                       4

                  1     4            3              1     4    4       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 + ---*a11 *a23 *b12*n1
                  8                                 8

                  1     4    4       2    1      4    2    3       2
               - ---*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*n1
                  8                       32

                  1      4    2    3       2     3      4    5    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1     2        3    3
               - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  1      2            5    2          1     2    4    3       2
               + ----*a11 *a13*a23*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  16                                  4

                  1     2    4    3       2    1      2    2    5    2   2
               - ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *n1
                  4                            16

                  1      2    2    5    2   2     1      2    7    3   2
               + ----*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                  32                             128

                  1         3    5    2          1     4    5    2   2
               - ---*a13*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1
                  4                              8

                  1     4    5    2   2    1      2    7    3   2      2   2
               - ---*a23 *b12 *kap *n2  + ----*a23 *b12 *kap *n1 ) + u2 *u3 *v2*
                  8                        32

                1      7                   1      7    2
           ( - ----*a11 *a13*a23*b12*n1 - ----*a11 *a23 *b12*n2
                16                         16

                3      5            3           3      5    2    3
             - ----*a11 *a13*a23*b12 *kap*n1 - ----*a11 *a23 *b12 *kap*n2
                16                              16

                3      3            5    2       3      3    2    5    2
             - ----*a11 *a13*a23*b12 *kap *n1 - ----*a11 *a23 *b12 *kap *n2
                16                               16

                1                  7    3       1          2    7    3         2
             - ----*a11*a13*a23*b12 *kap *n1 - ----*a11*a23 *b12 *kap *n2) + u2
                16                              16

              2         1      8               1      8
           *u3 *v3*( - ----*a11 *a13*b12*n1 - ----*a11 *a23*b12*n2
                        64                     64

                  3      6        3           3      6        3
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  64                          64

                  3      4        5    2       3      4        5    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  64                           64

                  1      2        7    3       1      2        7    3         2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2) + u2
                  64                           64

                       1      7        2       1      7        2
           *u3*v1*v2*(----*a11 *a13*b12 *n1 + ----*a11 *a23*b12 *n2
                       32                      32

                  3      5        4           3      5        4
               + ----*a11 *a13*b12 *kap*n1 + ----*a11 *a23*b12 *kap*n2
                  32                          32

                  3      3        6    2       3      3        6    2
               + ----*a11 *a13*b12 *kap *n1 + ----*a11 *a23*b12 *kap *n2
                  32                           32

                  1              8    3       1              8    3         2
               + ----*a11*a13*b12 *kap *n1 + ----*a11*a23*b12 *kap *n2) + u2 *u3
                  32                          32

                  1      9          1      7
           *v2*(-----*a11 *m3*n1 - ----*a11 *a13*a23*m3*n2
                 128                32

                    1      7                  1      7    2
                 - ----*a11 *a13*b12*n1*n2 + ----*a11 *a23 *m3*n1
                    32                        32

                    3      7           2    1      7           2
                 - ----*a11 *a23*b12*n1  - ----*a11 *a23*b12*n2
                    64                      32

                    1      7    2              3     5        2
                 + ----*a11 *b12 *kap*m3*n1 + ---*a11 *a13*a23 *b12*n1*n2
                    32                         8

                    3      5            2
                 - ----*a11 *a13*a23*b12 *kap*m3*n2
                    32

                    3      5        3              3      5    3       2
                 - ----*a11 *a13*b12 *kap*n1*n2 - ----*a11 *a23 *b12*n1
                    32                             16

                    3      5    3       2    3      5    2    2
                 + ----*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*m3*n1
                    16                       32

                    9      5        3       2    3      5        3       2
                 - ----*a11 *a23*b12 *kap*n1  - ----*a11 *a23*b12 *kap*n2
                    64                           32

                    3      5    4    2          3     3        2    3
                 + ----*a11 *b12 *kap *m3*n1 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    64                          4

                    3      3            4    2
                 - ----*a11 *a13*a23*b12 *kap *m3*n2
                    32

                    3      3        5    2          3     3    3    3       2
                 - ----*a11 *a13*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                    32                              8

                    3     3    3    3       2    3      3    2    4    2
                 + ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *m3*n1
                    8                            32

                    9      3        5    2   2    3      3        5    2   2
                 - ----*a11 *a23*b12 *kap *n1  - ----*a11 *a23*b12 *kap *n2
                    64                            32

                    1      3    6    3          3             2    5    2
                 + ----*a11 *b12 *kap *m3*n1 + ---*a11*a13*a23 *b12 *kap *n1*n2
                    32                          8

                    1                  6    3
                 - ----*a11*a13*a23*b12 *kap *m3*n2
                    32

                    1              7    3          3          3    5    2   2
                 - ----*a11*a13*b12 *kap *n1*n2 - ----*a11*a23 *b12 *kap *n1
                    32                             16

                    3          3    5    2   2    1          2    6    3
                 + ----*a11*a23 *b12 *kap *n2  + ----*a11*a23 *b12 *kap *m3*n1
                    16                            32

                    3              7    3   2    1              7    3   2
                 - ----*a11*a23*b12 *kap *n1  - ----*a11*a23*b12 *kap *n2
                    64                           32

                     1          8    4            2             1      8       2
                 + -----*a11*b12 *kap *m3*n1) + u2 *u3*v3*( - -----*a11 *b12*n1
                    128                                        128

                  1      6                      1      6    2       2
               + ----*a11 *a13*a23*b12*n1*n2 + ----*a11 *a23 *b12*n2
                  16                            32

                   3      6    3       2    1     4        3
               - -----*a11 *b12 *kap*n1  - ---*a11 *a13*a23 *b12*n1*n2
                  128                       4

                  1     4            3              1     4    4       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 + ---*a11 *a23 *b12*n1
                  8                                 8

                  1     4    4       2    1      4    2    3       2
               - ---*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*n1
                  8                       32

                  1      4    2    3       2     3      4    5    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1     2        3    3
               - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  1      2            5    2          1     2    4    3       2
               + ----*a11 *a13*a23*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  16                                  4

                  1     2    4    3       2    1      2    2    5    2   2
               - ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *n1
                  4                            16

                  1      2    2    5    2   2     1      2    7    3   2
               + ----*a11 *a23 *b12 *kap *n2  - -----*a11 *b12 *kap *n1
                  32                             128

                  1         3    5    2          1     4    5    2   2
               - ---*a13*a23 *b12 *kap *n1*n2 + ---*a23 *b12 *kap *n1
                  4                              8

                  1     4    5    2   2    1      2    7    3   2      2
               - ---*a23 *b12 *kap *n2  + ----*a23 *b12 *kap *n1 ) + u2 *v1*v2*(
                  8                        32

               1      7    2   2    1     5            2
              ----*a11 *b12 *n1  - ---*a11 *a13*a23*b12 *n1*n2
               64                   8

                  1      5    2    2   2    1      5    2    2   2
               + ----*a11 *a23 *b12 *n1  - ----*a11 *a23 *b12 *n2
                  16                        16

                  3      5    4       2    1     3            4
               + ----*a11 *b12 *kap*n1  - ---*a11 *a13*a23*b12 *kap*n1*n2
                  64                       4

                  1     3    2    4       2    1     3    2    4       2
               + ---*a11 *a23 *b12 *kap*n1  - ---*a11 *a23 *b12 *kap*n2
                  8                            8

                  3      3    6    2   2    1                 6    2
               + ----*a11 *b12 *kap *n1  - ---*a11*a13*a23*b12 *kap *n1*n2
                  64                        8

                  1          2    6    2   2    1          2    6    2   2
               + ----*a11*a23 *b12 *kap *n1  - ----*a11*a23 *b12 *kap *n2
                  16                            16

                  1          8    3   2      2         1      6        2   2
               + ----*a11*b12 *kap *n1 ) + u2 *v2*v3*(----*a11 *a13*b12 *n1
                  64                                   64

                  1      6        2          1      4        2    2   2
               + ----*a11 *a23*b12 *n1*n2 + ----*a11 *a13*a23 *b12 *n1
                  32                         16

                  1      4        2    2   2    3      4        4       2
               - ----*a11 *a13*a23 *b12 *n2  + ----*a11 *a13*b12 *kap*n1
                  16                            64

                  1     4    3    2          3      4        4
               + ---*a11 *a23 *b12 *n1*n2 + ----*a11 *a23*b12 *kap*n1*n2
                  8                          32

                  1     2        2    4       2    1     2        2    4       2
               + ---*a11 *a13*a23 *b12 *kap*n1  - ---*a11 *a13*a23 *b12 *kap*n2
                  8                                8

                  3      2        6    2   2    1     2    3    4
               + ----*a11 *a13*b12 *kap *n1  + ---*a11 *a23 *b12 *kap*n1*n2
                  64                            4

                  3      2        6    2          1          2    6    2   2
               + ----*a11 *a23*b12 *kap *n1*n2 + ----*a13*a23 *b12 *kap *n1
                  32                              16

                  1          2    6    2   2    1          8    3   2
               - ----*a13*a23 *b12 *kap *n2  + ----*a13*b12 *kap *n1
                  16                            64

                  1     3    6    2          1          8    3            2
               + ---*a23 *b12 *kap *n1*n2 + ----*a23*b12 *kap *n1*n2) + u2 *v2*(
                  8                          32

                  1      7          2    1      7
               - ----*a11 *a13*m3*n1  - ----*a11 *a23*m3*n1*n2
                  64                     64

                   1      7       2       1      5               3
               - -----*a11 *b12*n1 *n2 + ----*a11 *a13*a23*b12*n1
                  128                     32

                  1      5                  2    3      5        2          2
               + ----*a11 *a13*a23*b12*n1*n2  - ----*a11 *a13*b12 *kap*m3*n1
                  16                             64

                  1      5    2       2       1      5    2       3
               + ----*a11 *a23 *b12*n1 *n2 + ----*a11 *a23 *b12*n2
                  16                          32

                  3      5        2                  3      5    3       2
               - ----*a11 *a23*b12 *kap*m3*n1*n2 - -----*a11 *b12 *kap*n1 *n2
                  64                                128

                  1     3        3       3    3     3        3          2
               + ---*a11 *a13*a23 *b12*n1  - ---*a11 *a13*a23 *b12*n1*n2
                  8                           8

                  1      3            3       3
               + ----*a11 *a13*a23*b12 *kap*n1
                  16

                  1     3            3          2
               + ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      3        4    2      2    3     3    4       2
               - ----*a11 *a13*b12 *kap *m3*n1  + ---*a11 *a23 *b12*n1 *n2
                  64                               8

                  1     3    4       3    1     3    2    3       2
               - ---*a11 *a23 *b12*n2  + ---*a11 *a23 *b12 *kap*n1 *n2
                  8                       8

                  1      3    2    3       3    3      3        4    2
               + ----*a11 *a23 *b12 *kap*n2  - ----*a11 *a23*b12 *kap *m3*n1*n2
                  16                            64

                   3      3    5    2   2       1             3    3       3
               - -----*a11 *b12 *kap *n1 *n2 + ---*a11*a13*a23 *b12 *kap*n1
                  128                           8

                  3             3    3          2
               - ---*a11*a13*a23 *b12 *kap*n1*n2
                  8

                  1                  5    2   3
               + ----*a11*a13*a23*b12 *kap *n1
                  32

                  1                  5    2      2
               + ----*a11*a13*a23*b12 *kap *n1*n2
                  16

                  1              6    3      2    3         4    3       2
               - ----*a11*a13*b12 *kap *m3*n1  + ---*a11*a23 *b12 *kap*n1 *n2
                  64                              8

                  1         4    3       3    1          2    5    2   2
               - ---*a11*a23 *b12 *kap*n2  + ----*a11*a23 *b12 *kap *n1 *n2
                  8                           16

                  1          2    5    2   3    1              6    3
               + ----*a11*a23 *b12 *kap *n2  - ----*a11*a23*b12 *kap *m3*n1*n2
                  32                            64

                   1          7    3   2            3      1      8
               - -----*a11*b12 *kap *n1 *n2) + u2*u3 *v2*(----*a11 *a13*b12*n1
                  128                                      64

                  1      8               1      6        3
               + ----*a11 *a23*b12*n2 + ----*a11 *a13*b12 *kap*n1
                  64                     16

                  1      6        3           3      4        5    2
               + ----*a11 *a23*b12 *kap*n2 + ----*a11 *a13*b12 *kap *n1
                  16                          32

                  3      4        5    2       1      2        7    3
               + ----*a11 *a23*b12 *kap *n2 + ----*a11 *a13*b12 *kap *n1
                  32                           16

                  1      2        7    3       1          9    4
               + ----*a11 *a23*b12 *kap *n2 + ----*a13*b12 *kap *n1
                  16                           64

                  1          9    4            3         1      7
               + ----*a23*b12 *kap *n2) + u2*u3 *v3*( - ----*a11 *a13*a23*b12*n1
                  64                                     16

                  1      7    2           3      5            3
               - ----*a11 *a23 *b12*n2 - ----*a11 *a13*a23*b12 *kap*n1
                  16                      16

                  3      5    2    3           3      3            5    2
               - ----*a11 *a23 *b12 *kap*n2 - ----*a11 *a13*a23*b12 *kap *n1
                  16                           16

                  3      3    2    5    2       1                  7    3
               - ----*a11 *a23 *b12 *kap *n2 - ----*a11*a13*a23*b12 *kap *n1
                  16                            16

                  1          2    7    3            2
               - ----*a11*a23 *b12 *kap *n2) + u2*u3 *v1*v2*(
                  16

               1      6            2       1      6    2    2
              ----*a11 *a13*a23*b12 *n1 + ----*a11 *a23 *b12 *n2
               16                          16

                  3      4            4           3      4    2    4
               + ----*a11 *a13*a23*b12 *kap*n1 + ----*a11 *a23 *b12 *kap*n2
                  16                              16

                  3      2            6    2       3      2    2    6    2
               + ----*a11 *a13*a23*b12 *kap *n1 + ----*a11 *a23 *b12 *kap *n2
                  16                               16

                  1              8    3       1      2    8    3            2
               + ----*a13*a23*b12 *kap *n1 + ----*a23 *b12 *kap *n2) + u2*u3 *v1
                  16                          16

                 1      7        2       1      7        2
           *v3*(----*a11 *a13*b12 *n1 + ----*a11 *a23*b12 *n2
                 32                      32

                    3      5        4           3      5        4
                 + ----*a11 *a13*b12 *kap*n1 + ----*a11 *a23*b12 *kap*n2
                    32                          32

                    3      3        6    2       3      3        6    2
                 + ----*a11 *a13*b12 *kap *n1 + ----*a11 *a23*b12 *kap *n2
                    32                           32

                    1              8    3       1              8    3
                 + ----*a11*a13*b12 *kap *n1 + ----*a11*a23*b12 *kap *n2) + u2
                    32                          32

              2   2   1      8    2       1      6            2
           *u3 *v2 *(----*a11 *b12 *n1 - ----*a11 *a13*a23*b12 *n2
                      64                  16

                  1      6    2    2       1      6    4
               + ----*a11 *a23 *b12 *n1 + ----*a11 *b12 *kap*n1
                  16                       16

                  3      4            4           3      4    2    4
               - ----*a11 *a13*a23*b12 *kap*n2 + ----*a11 *a23 *b12 *kap*n1
                  16                              16

                  3      4    6    2       3      2            6    2
               + ----*a11 *b12 *kap *n1 - ----*a11 *a13*a23*b12 *kap *n2
                  32                       16

                  3      2    2    6    2       1      2    8    3
               + ----*a11 *a23 *b12 *kap *n1 + ----*a11 *b12 *kap *n1
                  16                            16

                  1              8    3       1      2    8    3
               - ----*a13*a23*b12 *kap *n2 + ----*a23 *b12 *kap *n1
                  16                          16

                  1      10    4            2       3      8       2
               + ----*b12  *kap *n1) + u2*u3 *v2*(-----*a11 *b12*n1
                  64                               128

                  3      6                      3      6    2       2
               - ----*a11 *a13*a23*b12*n1*n2 + ----*a11 *a23 *b12*n1
                  16                            32

                  3      6    2       2    3      6    3       2
               - ----*a11 *a23 *b12*n2  + ----*a11 *b12 *kap*n1
                  32                       32

                  9      4            3              9      4    2    3       2
               - ----*a11 *a13*a23*b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap*n1
                  16                                 32

                  9      4    2    3       2    9      4    5    2   2
               - ----*a11 *a23 *b12 *kap*n2  + ----*a11 *b12 *kap *n1
                  32                            64

                  9      2            5    2
               - ----*a11 *a13*a23*b12 *kap *n1*n2
                  16

                  9      2    2    5    2   2    9      2    2    5    2   2
               + ----*a11 *a23 *b12 *kap *n1  - ----*a11 *a23 *b12 *kap *n2
                  32                             32

                  3      2    7    3   2    3              7    3
               + ----*a11 *b12 *kap *n1  - ----*a13*a23*b12 *kap *n1*n2
                  32                        16

                  3      2    7    3   2    3      2    7    3   2
               + ----*a23 *b12 *kap *n1  - ----*a23 *b12 *kap *n2
                  32                        32

                   3      9    4   2         2       1      9
               + -----*b12 *kap *n1 ) + u2*u3 *v3*(-----*a11 *m3*n1
                  128                               128

                  1      7                  1      7
               - ----*a11 *a13*a23*m3*n2 - ----*a11 *a13*b12*n1*n2
                  32                        32

                  1      7    2          3      7           2
               + ----*a11 *a23 *m3*n1 - ----*a11 *a23*b12*n1
                  32                     64

                  1      7           2    1      7    2
               - ----*a11 *a23*b12*n2  + ----*a11 *b12 *kap*m3*n1
                  32                      32

                  3     5        2              3      5            2
               + ---*a11 *a13*a23 *b12*n1*n2 - ----*a11 *a13*a23*b12 *kap*m3*n2
                  8                             32

                  3      5        3              3      5    3       2
               - ----*a11 *a13*b12 *kap*n1*n2 - ----*a11 *a23 *b12*n1
                  32                             16

                  3      5    3       2    3      5    2    2
               + ----*a11 *a23 *b12*n2  + ----*a11 *a23 *b12 *kap*m3*n1
                  16                       32

                  9      5        3       2    3      5        3       2
               - ----*a11 *a23*b12 *kap*n1  - ----*a11 *a23*b12 *kap*n2
                  64                           32

                  3      5    4    2          3     3        2    3
               + ----*a11 *b12 *kap *m3*n1 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                  64                          4

                  3      3            4    2
               - ----*a11 *a13*a23*b12 *kap *m3*n2
                  32

                  3      3        5    2          3     3    3    3       2
               - ----*a11 *a13*b12 *kap *n1*n2 - ---*a11 *a23 *b12 *kap*n1
                  32                              8

                  3     3    3    3       2    3      3    2    4    2
               + ---*a11 *a23 *b12 *kap*n2  + ----*a11 *a23 *b12 *kap *m3*n1
                  8                            32

                  9      3        5    2   2    3      3        5    2   2
               - ----*a11 *a23*b12 *kap *n1  - ----*a11 *a23*b12 *kap *n2
                  64                            32

                  1      3    6    3          3             2    5    2
               + ----*a11 *b12 *kap *m3*n1 + ---*a11*a13*a23 *b12 *kap *n1*n2
                  32                          8

                  1                  6    3          1              7    3
               - ----*a11*a13*a23*b12 *kap *m3*n2 - ----*a11*a13*b12 *kap *n1*n2
                  32                                 32

                  3          3    5    2   2    3          3    5    2   2
               - ----*a11*a23 *b12 *kap *n1  + ----*a11*a23 *b12 *kap *n2
                  16                            16

                  1          2    6    3          3              7    3   2
               + ----*a11*a23 *b12 *kap *m3*n1 - ----*a11*a23*b12 *kap *n1
                  32                              64

                  1              7    3   2     1          8    4
               - ----*a11*a23*b12 *kap *n2  + -----*a11*b12 *kap *m3*n1) + u2*u3
                  32                           128

              2         1      6        3       1      6        3
           *v1 *v2*( - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                        64                      64

                  3      4        5           3      4        5
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  64                          64

                  3      2        7    2       3      2        7    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  64                           64

                  1          9    3       1          9    3
               - ----*a13*b12 *kap *n1 - ----*a23*b12 *kap *n2) + u2*u3*v1*v2*(
                  64                      64

                   1      8              1      6
               - -----*a11 *b12*m3*n1 + ----*a11 *a13*a23*b12*m3*n2
                  128                    32

                  1      6        2          1      6    2
               + ----*a11 *a13*b12 *n1*n2 - ----*a11 *a23 *b12*m3*n1
                  32                         32

                  1      6        2   2    1      6        2   2
               + ----*a11 *a23*b12 *n1  + ----*a11 *a23*b12 *n2
                  32                       32

                  1      6    3              1     4        2    2
               - ----*a11 *b12 *kap*m3*n1 - ---*a11 *a13*a23 *b12 *n1*n2
                  32                         4

                  3      4            3              3      4        4
               + ----*a11 *a13*a23*b12 *kap*m3*n2 + ----*a11 *a13*b12 *kap*n1*n2
                  32                                 32

                  1     4    3    2   2    1     4    3    2   2
               + ---*a11 *a23 *b12 *n1  - ---*a11 *a23 *b12 *n2
                  8                        8

                  3      4    2    3              3      4        4       2
               - ----*a11 *a23 *b12 *kap*m3*n1 + ----*a11 *a23*b12 *kap*n1
                  32                              32

                  3      4        4       2    3      4    5    2
               + ----*a11 *a23*b12 *kap*n2  - ----*a11 *b12 *kap *m3*n1
                  32                           64

                  1     2        2    4
               - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  2

                  3      2            5    2
               + ----*a11 *a13*a23*b12 *kap *m3*n2
                  32

                  3      2        6    2          1     2    3    4       2
               + ----*a11 *a13*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  32                              4

                  1     2    3    4       2    3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *m3*n1
                  4                            32

                  3      2        6    2   2    3      2        6    2   2
               + ----*a11 *a23*b12 *kap *n1  + ----*a11 *a23*b12 *kap *n2
                  32                            32

                  1      2    7    3          1         2    6    2
               - ----*a11 *b12 *kap *m3*n1 - ---*a13*a23 *b12 *kap *n1*n2
                  32                          4

                  1              7    3          1          8    3
               + ----*a13*a23*b12 *kap *m3*n2 + ----*a13*b12 *kap *n1*n2
                  32                             32

                  1     3    6    2   2    1     3    6    2   2
               + ---*a23 *b12 *kap *n1  - ---*a23 *b12 *kap *n2
                  8                        8

                  1      2    7    3          1          8    3   2
               - ----*a23 *b12 *kap *m3*n1 + ----*a23*b12 *kap *n1
                  32                          32

                  1          8    3   2     1      9    4
               + ----*a23*b12 *kap *n2  - -----*b12 *kap *m3*n1) + u2*u3*v1*v3*(
                  32                       128

               1      7    2   2    1     5            2
              ----*a11 *b12 *n1  - ---*a11 *a13*a23*b12 *n1*n2
               64                   8

                  1      5    2    2   2    1      5    2    2   2
               + ----*a11 *a23 *b12 *n1  - ----*a11 *a23 *b12 *n2
                  16                        16

                  3      5    4       2    1     3            4
               + ----*a11 *b12 *kap*n1  - ---*a11 *a13*a23*b12 *kap*n1*n2
                  64                       4

                  1     3    2    4       2    1     3    2    4       2
               + ---*a11 *a23 *b12 *kap*n1  - ---*a11 *a23 *b12 *kap*n2
                  8                            8

                  3      3    6    2   2    1                 6    2
               + ----*a11 *b12 *kap *n1  - ---*a11*a13*a23*b12 *kap *n1*n2
                  64                        8

                  1          2    6    2   2    1          2    6    2   2
               + ----*a11*a23 *b12 *kap *n1  - ----*a11*a23 *b12 *kap *n2
                  16                            16

                  1          8    3   2            3      1      6        3
               + ----*a11*b12 *kap *n1 ) + u2*u3*v2 *( - ----*a11 *a13*b12 *n1
                  64                                      64

                  1      6        3       3      4        5
               - ----*a11 *a23*b12 *n2 - ----*a11 *a13*b12 *kap*n1
                  64                      64

                  3      4        5           3      2        7    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  64                          64

                  3      2        7    2       1          9    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a13*b12 *kap *n1
                  64                           64

                  1          9    3               2   1      6
               - ----*a23*b12 *kap *n2) + u2*u3*v2 *(----*a11 *a13*a23*b12*m3*n1
                  64                                  32

                  1      6        2   2    1      6    2
               - ----*a11 *a13*b12 *n1  + ----*a11 *a23 *b12*m3*n2
                  16                       32

                  3      6        2          1     4        2    2   2
               - ----*a11 *a23*b12 *n1*n2 - ---*a11 *a13*a23 *b12 *n1
                  32                         8

                  1     4        2    2   2    3      4            3
               + ---*a11 *a13*a23 *b12 *n2  + ----*a11 *a13*a23*b12 *kap*m3*n1
                  8                            32

                  3      4        4       2    1     4    3    2
               - ----*a11 *a13*b12 *kap*n1  - ---*a11 *a23 *b12 *n1*n2
                  16                           4

                  3      4    2    3              9      4        4
               + ----*a11 *a23 *b12 *kap*m3*n2 - ----*a11 *a23*b12 *kap*n1*n2
                  32                              32

                  1     2        2    4       2    1     2        2    4       2
               - ---*a11 *a13*a23 *b12 *kap*n1  + ---*a11 *a13*a23 *b12 *kap*n2
                  4                                4

                  3      2            5    2          3      2        6    2   2
               + ----*a11 *a13*a23*b12 *kap *m3*n1 - ----*a11 *a13*b12 *kap *n1
                  32                                  16

                  1     2    3    4              3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap *m3*n2
                  2                              32

                  9      2        6    2          1         2    6    2   2
               - ----*a11 *a23*b12 *kap *n1*n2 - ---*a13*a23 *b12 *kap *n1
                  32                              8

                  1         2    6    2   2    1              7    3
               + ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *m3*n1
                  8                            32

                  1          8    3   2    1     3    6    2
               - ----*a13*b12 *kap *n1  - ---*a23 *b12 *kap *n1*n2
                  16                       4

                  1      2    7    3          3          8    3
               + ----*a23 *b12 *kap *m3*n2 - ----*a23*b12 *kap *n1*n2) + u2*u3
                  32                          32

                    1      6           3    1      6              2
           *v2*( - ----*a11 *a13*b12*n1  - ----*a11 *a13*b12*n1*n2
                    32                      64

                    1      6           2       1      6           3
                 - ----*a11 *a23*b12*n1 *n2 - ----*a11 *a23*b12*n2
                    16                         64

                    1      4        2       3    3      4        2          2
                 - ----*a11 *a13*a23 *b12*n1  + ----*a11 *a13*a23 *b12*n1*n2
                    16                           16

                    3      4        3       3    3      4        3          2
                 - ----*a11 *a13*b12 *kap*n1  - ----*a11 *a13*b12 *kap*n1*n2
                    32                           64

                    3      4    3       2       1      4    3       3
                 - ----*a11 *a23 *b12*n1 *n2 + ----*a11 *a23 *b12*n2
                    16                          16

                    3      4        3       2       3      4        3       3
                 - ----*a11 *a23*b12 *kap*n1 *n2 - ----*a11 *a23*b12 *kap*n2
                    16                              64

                    1     2        2    3       3
                 - ---*a11 *a13*a23 *b12 *kap*n1
                    8

                    3     2        2    3          2
                 + ---*a11 *a13*a23 *b12 *kap*n1*n2
                    8

                    3      2        5    2   3    3      2        5    2      2
                 - ----*a11 *a13*b12 *kap *n1  - ----*a11 *a13*b12 *kap *n1*n2
                    32                            64

                    3     2    3    3       2       1     2    3    3       3
                 - ---*a11 *a23 *b12 *kap*n1 *n2 + ---*a11 *a23 *b12 *kap*n2
                    8                               8

                    3      2        5    2   2       3      2        5    2   3
                 - ----*a11 *a23*b12 *kap *n1 *n2 - ----*a11 *a23*b12 *kap *n2
                    16                               64

                    1          2    5    2   3    3          2    5    2      2
                 - ----*a13*a23 *b12 *kap *n1  + ----*a13*a23 *b12 *kap *n1*n2
                    16                            16

                    1          7    3   3    1          7    3      2
                 - ----*a13*b12 *kap *n1  - ----*a13*b12 *kap *n1*n2
                    32                       64

                    3      3    5    2   2       1      3    5    2   3
                 - ----*a23 *b12 *kap *n1 *n2 + ----*a23 *b12 *kap *n2
                    16                           16

                    1          7    3   2       1          7    3   3
                 - ----*a23*b12 *kap *n1 *n2 - ----*a23*b12 *kap *n2 ) + u2*u3
                    16                          64

              2   1      6        2   2    1      6        2
           *v3 *(----*a11 *a13*b12 *n1  + ----*a11 *a23*b12 *n1*n2
                  64                       32

                     1      4        2    2   2    1      4        2    2   2
                  + ----*a11 *a13*a23 *b12 *n1  - ----*a11 *a13*a23 *b12 *n2
                     16                            16

                     3      4        4       2    1     4    3    2
                  + ----*a11 *a13*b12 *kap*n1  + ---*a11 *a23 *b12 *n1*n2
                     64                           8

                     3      4        4
                  + ----*a11 *a23*b12 *kap*n1*n2
                     32

                     1     2        2    4       2
                  + ---*a11 *a13*a23 *b12 *kap*n1
                     8

                     1     2        2    4       2    3      2        6    2   2
                  - ---*a11 *a13*a23 *b12 *kap*n2  + ----*a11 *a13*b12 *kap *n1
                     8                                64

                     1     2    3    4              3      2        6    2
                  + ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23*b12 *kap *n1*n2
                     4                              32

                     1          2    6    2   2    1          2    6    2   2
                  + ----*a13*a23 *b12 *kap *n1  - ----*a13*a23 *b12 *kap *n2
                     16                            16

                     1          8    3   2    1     3    6    2
                  + ----*a13*b12 *kap *n1  + ---*a23 *b12 *kap *n1*n2
                     64                       8

                     1          8    3
                  + ----*a23*b12 *kap *n1*n2) + u2*u3*v3*(
                     32

                  1      7          2    1      7
               - ----*a11 *a13*m3*n1  - ----*a11 *a23*m3*n1*n2
                  64                     64

                   1      7       2       1      5               3
               - -----*a11 *b12*n1 *n2 + ----*a11 *a13*a23*b12*n1
                  128                     32

                  1      5                  2    3      5        2          2
               + ----*a11 *a13*a23*b12*n1*n2  - ----*a11 *a13*b12 *kap*m3*n1
                  16                             64

                  1      5    2       2       1      5    2       3
               + ----*a11 *a23 *b12*n1 *n2 + ----*a11 *a23 *b12*n2
                  16                          32

                  3      5        2                  3      5    3       2
               - ----*a11 *a23*b12 *kap*m3*n1*n2 - -----*a11 *b12 *kap*n1 *n2
                  64                                128

                  1     3        3       3    3     3        3          2
               + ---*a11 *a13*a23 *b12*n1  - ---*a11 *a13*a23 *b12*n1*n2
                  8                           8

                  1      3            3       3
               + ----*a11 *a13*a23*b12 *kap*n1
                  16

                  1     3            3          2
               + ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      3        4    2      2    3     3    4       2
               - ----*a11 *a13*b12 *kap *m3*n1  + ---*a11 *a23 *b12*n1 *n2
                  64                               8

                  1     3    4       3    1     3    2    3       2
               - ---*a11 *a23 *b12*n2  + ---*a11 *a23 *b12 *kap*n1 *n2
                  8                       8

                  1      3    2    3       3    3      3        4    2
               + ----*a11 *a23 *b12 *kap*n2  - ----*a11 *a23*b12 *kap *m3*n1*n2
                  16                            64

                   3      3    5    2   2       1             3    3       3
               - -----*a11 *b12 *kap *n1 *n2 + ---*a11*a13*a23 *b12 *kap*n1
                  128                           8

                  3             3    3          2
               - ---*a11*a13*a23 *b12 *kap*n1*n2
                  8

                  1                  5    2   3
               + ----*a11*a13*a23*b12 *kap *n1
                  32

                  1                  5    2      2
               + ----*a11*a13*a23*b12 *kap *n1*n2
                  16

                  1              6    3      2    3         4    3       2
               - ----*a11*a13*b12 *kap *m3*n1  + ---*a11*a23 *b12 *kap*n1 *n2
                  64                              8

                  1         4    3       3    1          2    5    2   2
               - ---*a11*a23 *b12 *kap*n2  + ----*a11*a23 *b12 *kap *n1 *n2
                  8                           16

                  1          2    5    2   3    1              6    3
               + ----*a11*a23 *b12 *kap *n2  - ----*a11*a23*b12 *kap *m3*n1*n2
                  32                            64

                   1          7    3   2            2          1      6    3   2
               - -----*a11*b12 *kap *n1 *n2) + u2*v1 *v2*( - -----*a11 *b12 *n1
                  128                                         128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u2*v1*v2*(
                  32                        128

               1      6              2    3      6
              ----*a11 *a13*b12*m3*n1  + ----*a11 *a23*b12*m3*n1*n2
               32                         64

                   1      6    2   2       1      4        2          2
               + -----*a11 *b12 *n1 *n2 + ----*a11 *a13*a23 *b12*m3*n1
                  128                      16

                  1      4        2          2    1      4            2      2
               - ----*a11 *a13*a23 *b12*m3*n2  - ----*a11 *a13*a23*b12 *n1*n2
                  16                              16

                  3      4        3          2    1     4    3
               + ----*a11 *a13*b12 *kap*m3*n1  + ---*a11 *a23 *b12*m3*n1*n2
                  32                              8

                  1      4    2    2   2       1      4    2    2   3
               + ----*a11 *a23 *b12 *n1 *n2 - ----*a11 *a23 *b12 *n2
                  32                           32

                  9      4        3                  3      4    4       2
               + ----*a11 *a23*b12 *kap*m3*n1*n2 + -----*a11 *b12 *kap*n1 *n2
                  64                                128

                  1     2        2    3          2
               + ---*a11 *a13*a23 *b12 *kap*m3*n1
                  8

                  1     2        2    3          2
               - ---*a11 *a13*a23 *b12 *kap*m3*n2
                  8

                  1     2            4          2
               - ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      2        5    2      2
               + ----*a11 *a13*b12 *kap *m3*n1
                  32

                  1     2    3    3
               + ---*a11 *a23 *b12 *kap*m3*n1*n2
                  4

                  1      2    2    4       2       1      2    2    4       3
               + ----*a11 *a23 *b12 *kap*n1 *n2 - ----*a11 *a23 *b12 *kap*n2
                  16                               16

                  9      2        5    2              3      2    6    2   2
               + ----*a11 *a23*b12 *kap *m3*n1*n2 + -----*a11 *b12 *kap *n1 *n2
                  64                                 128

                  1          2    5    2      2    1          2    5    2      2
               + ----*a13*a23 *b12 *kap *m3*n1  - ----*a13*a23 *b12 *kap *m3*n2
                  16                               16

                  1              6    2      2    1          7    3      2
               - ----*a13*a23*b12 *kap *n1*n2  + ----*a13*b12 *kap *m3*n1
                  16                              32

                  1     3    5    2             1      2    6    2   2
               + ---*a23 *b12 *kap *m3*n1*n2 + ----*a23 *b12 *kap *n1 *n2
                  8                             32

                  1      2    6    2   3    3          7    3
               - ----*a23 *b12 *kap *n2  + ----*a23*b12 *kap *m3*n1*n2
                  32                        64

                   1      8    3   2            3       1      6    3   2
               + -----*b12 *kap *n1 *n2) + u2*v2 *( - -----*a11 *b12 *n1
                  128                                  128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2         2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u2*v2 *(
                  32                        128

               1      6                     1      6              2
              ----*a11 *a13*b12*m3*n1*n2 + ----*a11 *a23*b12*m3*n1
               64                           64

                  1      6              2     1      6    2   3
               + ----*a11 *a23*b12*m3*n2  - -----*a11 *b12 *n1
                  64                         128

                  1     4        2                 1      4            2   2
               - ---*a11 *a13*a23 *b12*m3*n1*n2 + ----*a11 *a13*a23*b12 *n1 *n2
                  8                                16

                  3      4        3                 1      4    3          2
               + ----*a11 *a13*b12 *kap*m3*n1*n2 + ----*a11 *a23 *b12*m3*n1
                  64                                16

                  1      4    3          2    1      4    2    2   3
               - ----*a11 *a23 *b12*m3*n2  - ----*a11 *a23 *b12 *n1
                  16                          32

                  1      4    2    2      2    3      4        3          2
               + ----*a11 *a23 *b12 *n1*n2  + ----*a11 *a23*b12 *kap*m3*n1
                  32                           64

                  3      4        3          2     3      4    4       3
               + ----*a11 *a23*b12 *kap*m3*n2  - -----*a11 *b12 *kap*n1
                  64                              128

                  1     2        2    3
               - ---*a11 *a13*a23 *b12 *kap*m3*n1*n2
                  4

                  1     2            4       2
               + ---*a11 *a13*a23*b12 *kap*n1 *n2
                  8

                  3      2        5    2
               + ----*a11 *a13*b12 *kap *m3*n1*n2
                  64

                  1     2    3    3          2    1     2    3    3          2
               + ---*a11 *a23 *b12 *kap*m3*n1  - ---*a11 *a23 *b12 *kap*m3*n2
                  8                               8

                  1      2    2    4       3    1      2    2    4          2
               - ----*a11 *a23 *b12 *kap*n1  + ----*a11 *a23 *b12 *kap*n1*n2
                  16                            16

                  3      2        5    2      2    3      2        5    2      2
               + ----*a11 *a23*b12 *kap *m3*n1  + ----*a11 *a23*b12 *kap *m3*n2
                  64                               64

                   3      2    6    2   3    1         2    5    2
               - -----*a11 *b12 *kap *n1  - ---*a13*a23 *b12 *kap *m3*n1*n2
                  128                        8

                  1              6    2   2       1          7    3
               + ----*a13*a23*b12 *kap *n1 *n2 + ----*a13*b12 *kap *m3*n1*n2
                  16                              64

                  1      3    5    2      2    1      3    5    2      2
               + ----*a23 *b12 *kap *m3*n1  - ----*a23 *b12 *kap *m3*n2
                  16                           16

                  1      2    6    2   3    1      2    6    2      2
               - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n1*n2
                  32                        32

                  1          7    3      2    1          7    3      2
               + ----*a23*b12 *kap *m3*n1  + ----*a23*b12 *kap *m3*n2
                  64                          64

                   1      8    3   3      4      1      8
               - -----*b12 *kap *n1 ) + u3 *v3*(----*a11 *a13*b12*n1
                  128                            64

                  1      8               1      6        3
               + ----*a11 *a23*b12*n2 + ----*a11 *a13*b12 *kap*n1
                  64                     16

                  1      6        3           3      4        5    2
               + ----*a11 *a23*b12 *kap*n2 + ----*a11 *a13*b12 *kap *n1
                  16                          32

                  3      4        5    2       1      2        7    3
               + ----*a11 *a23*b12 *kap *n2 + ----*a11 *a13*b12 *kap *n1
                  32                           16

                  1      2        7    3       1          9    4
               + ----*a11 *a23*b12 *kap *n2 + ----*a13*b12 *kap *n1
                  16                           64

                  1          9    4         3         1      6            2
               + ----*a23*b12 *kap *n2) + u3 *v1*v3*(----*a11 *a13*a23*b12 *n1
                  64                                  16

                  1      6    2    2       3      4            4
               + ----*a11 *a23 *b12 *n2 + ----*a11 *a13*a23*b12 *kap*n1
                  16                       16

                  3      4    2    4           3      2            6    2
               + ----*a11 *a23 *b12 *kap*n2 + ----*a11 *a13*a23*b12 *kap *n1
                  16                           16

                  3      2    2    6    2       1              8    3
               + ----*a11 *a23 *b12 *kap *n2 + ----*a13*a23*b12 *kap *n1
                  16                            16

                  1      2    8    3         3         1      8    2
               + ----*a23 *b12 *kap *n2) + u3 *v2*v3*(----*a11 *b12 *n1
                  16                                   64

                  1      6            2       1      6    2    2
               - ----*a11 *a13*a23*b12 *n2 + ----*a11 *a23 *b12 *n1
                  16                          16

                  1      6    4           3      4            4
               + ----*a11 *b12 *kap*n1 - ----*a11 *a13*a23*b12 *kap*n2
                  16                      16

                  3      4    2    4           3      4    6    2
               + ----*a11 *a23 *b12 *kap*n1 + ----*a11 *b12 *kap *n1
                  16                           32

                  3      2            6    2       3      2    2    6    2
               - ----*a11 *a13*a23*b12 *kap *n2 + ----*a11 *a23 *b12 *kap *n1
                  16                               16

                  1      2    8    3       1              8    3
               + ----*a11 *b12 *kap *n1 - ----*a13*a23*b12 *kap *n2
                  16                       16

                  1      2    8    3       1      10    4         3
               + ----*a23 *b12 *kap *n1 + ----*b12  *kap *n1) + u3 *v3*(
                  16                       64

                3      8       2    3      6
              -----*a11 *b12*n1  - ----*a11 *a13*a23*b12*n1*n2
               128                  16

                  3      6    2       2    3      6    2       2
               + ----*a11 *a23 *b12*n1  - ----*a11 *a23 *b12*n2
                  32                       32

                  3      6    3       2    9      4            3
               + ----*a11 *b12 *kap*n1  - ----*a11 *a13*a23*b12 *kap*n1*n2
                  32                       16

                  9      4    2    3       2    9      4    2    3       2
               + ----*a11 *a23 *b12 *kap*n1  - ----*a11 *a23 *b12 *kap*n2
                  32                            32

                  9      4    5    2   2    9      2            5    2
               + ----*a11 *b12 *kap *n1  - ----*a11 *a13*a23*b12 *kap *n1*n2
                  64                        16

                  9      2    2    5    2   2    9      2    2    5    2   2
               + ----*a11 *a23 *b12 *kap *n1  - ----*a11 *a23 *b12 *kap *n2
                  32                             32

                  3      2    7    3   2    3              7    3
               + ----*a11 *b12 *kap *n1  - ----*a13*a23*b12 *kap *n1*n2
                  32                        16

                  3      2    7    3   2    3      2    7    3   2
               + ----*a23 *b12 *kap *n1  - ----*a23 *b12 *kap *n2
                  32                        32

                   3      9    4   2      2   2         1      6        3
               + -----*b12 *kap *n1 ) + u3 *v1 *v3*( - ----*a11 *a13*b12 *n1
                  128                                   64

                  1      6        3       3      4        5
               - ----*a11 *a23*b12 *n2 - ----*a11 *a13*b12 *kap*n1
                  64                      64

                  3      4        5           3      2        7    2
               - ----*a11 *a23*b12 *kap*n2 - ----*a11 *a13*b12 *kap *n1
                  64                          64

                  3      2        7    2       1          9    3
               - ----*a11 *a23*b12 *kap *n2 - ----*a13*b12 *kap *n1
                  64                           64

                  1          9    3         2             1      8
               - ----*a23*b12 *kap *n2) + u3 *v1*v3*( - -----*a11 *b12*m3*n1
                  64                                     128

                  1      6                      1      6        2
               + ----*a11 *a13*a23*b12*m3*n2 + ----*a11 *a13*b12 *n1*n2
                  32                            32

                  1      6    2              1      6        2   2
               - ----*a11 *a23 *b12*m3*n1 + ----*a11 *a23*b12 *n1
                  32                         32

                  1      6        2   2    1      6    3
               + ----*a11 *a23*b12 *n2  - ----*a11 *b12 *kap*m3*n1
                  32                       32

                  1     4        2    2          3      4            3
               - ---*a11 *a13*a23 *b12 *n1*n2 + ----*a11 *a13*a23*b12 *kap*m3*n2
                  4                              32

                  3      4        4              1     4    3    2   2
               + ----*a11 *a13*b12 *kap*n1*n2 + ---*a11 *a23 *b12 *n1
                  32                             8

                  1     4    3    2   2    3      4    2    3
               - ---*a11 *a23 *b12 *n2  - ----*a11 *a23 *b12 *kap*m3*n1
                  8                        32

                  3      4        4       2    3      4        4       2
               + ----*a11 *a23*b12 *kap*n1  + ----*a11 *a23*b12 *kap*n2
                  32                           32

                  3      4    5    2          1     2        2    4
               - ----*a11 *b12 *kap *m3*n1 - ---*a11 *a13*a23 *b12 *kap*n1*n2
                  64                          2

                  3      2            5    2
               + ----*a11 *a13*a23*b12 *kap *m3*n2
                  32

                  3      2        6    2          1     2    3    4       2
               + ----*a11 *a13*b12 *kap *n1*n2 + ---*a11 *a23 *b12 *kap*n1
                  32                              4

                  1     2    3    4       2    3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23 *b12 *kap *m3*n1
                  4                            32

                  3      2        6    2   2    3      2        6    2   2
               + ----*a11 *a23*b12 *kap *n1  + ----*a11 *a23*b12 *kap *n2
                  32                            32

                  1      2    7    3          1         2    6    2
               - ----*a11 *b12 *kap *m3*n1 - ---*a13*a23 *b12 *kap *n1*n2
                  32                          4

                  1              7    3          1          8    3
               + ----*a13*a23*b12 *kap *m3*n2 + ----*a13*b12 *kap *n1*n2
                  32                             32

                  1     3    6    2   2    1     3    6    2   2
               + ---*a23 *b12 *kap *n1  - ---*a23 *b12 *kap *n2
                  8                        8

                  1      2    7    3          1          8    3   2
               - ----*a23 *b12 *kap *m3*n1 + ----*a23*b12 *kap *n1
                  32                          32

                  1          8    3   2     1      9    4            2   2
               + ----*a23*b12 *kap *n2  - -----*b12 *kap *m3*n1) + u3 *v2 *v3*(
                  32                       128

                  1      6        3       1      6        3
               - ----*a11 *a13*b12 *n1 - ----*a11 *a23*b12 *n2
                  64                      64

                  3      4        5           3      4        5
               - ----*a11 *a13*b12 *kap*n1 - ----*a11 *a23*b12 *kap*n2
                  64                          64

                  3      2        7    2       3      2        7    2
               - ----*a11 *a13*b12 *kap *n1 - ----*a11 *a23*b12 *kap *n2
                  64                           64

                  1          9    3       1          9    3         2
               - ----*a13*b12 *kap *n1 - ----*a23*b12 *kap *n2) + u3 *v2*v3*(
                  64                      64

               1      6                      1      6        2   2
              ----*a11 *a13*a23*b12*m3*n1 - ----*a11 *a13*b12 *n1
               32                            16

                  1      6    2              3      6        2
               + ----*a11 *a23 *b12*m3*n2 - ----*a11 *a23*b12 *n1*n2
                  32                         32

                  1     4        2    2   2    1     4        2    2   2
               - ---*a11 *a13*a23 *b12 *n1  + ---*a11 *a13*a23 *b12 *n2
                  8                            8

                  3      4            3              3      4        4       2
               + ----*a11 *a13*a23*b12 *kap*m3*n1 - ----*a11 *a13*b12 *kap*n1
                  32                                 16

                  1     4    3    2          3      4    2    3
               - ---*a11 *a23 *b12 *n1*n2 + ----*a11 *a23 *b12 *kap*m3*n2
                  4                          32

                  9      4        4              1     2        2    4       2
               - ----*a11 *a23*b12 *kap*n1*n2 - ---*a11 *a13*a23 *b12 *kap*n1
                  32                             4

                  1     2        2    4       2
               + ---*a11 *a13*a23 *b12 *kap*n2
                  4

                  3      2            5    2          3      2        6    2   2
               + ----*a11 *a13*a23*b12 *kap *m3*n1 - ----*a11 *a13*b12 *kap *n1
                  32                                  16

                  1     2    3    4              3      2    2    5    2
               - ---*a11 *a23 *b12 *kap*n1*n2 + ----*a11 *a23 *b12 *kap *m3*n2
                  2                              32

                  9      2        6    2          1         2    6    2   2
               - ----*a11 *a23*b12 *kap *n1*n2 - ---*a13*a23 *b12 *kap *n1
                  32                              8

                  1         2    6    2   2    1              7    3
               + ---*a13*a23 *b12 *kap *n2  + ----*a13*a23*b12 *kap *m3*n1
                  8                            32

                  1          8    3   2    1     3    6    2
               - ----*a13*b12 *kap *n1  - ---*a23 *b12 *kap *n1*n2
                  16                       4

                  1      2    7    3          3          8    3            2
               + ----*a23 *b12 *kap *m3*n2 - ----*a23*b12 *kap *n1*n2) + u3 *v3*
                  32                          32

                1      6           3    1      6              2
           ( - ----*a11 *a13*b12*n1  - ----*a11 *a13*b12*n1*n2
                32                      64

                1      6           2       1      6           3
             - ----*a11 *a23*b12*n1 *n2 - ----*a11 *a23*b12*n2
                16                         64

                1      4        2       3    3      4        2          2
             - ----*a11 *a13*a23 *b12*n1  + ----*a11 *a13*a23 *b12*n1*n2
                16                           16

                3      4        3       3    3      4        3          2
             - ----*a11 *a13*b12 *kap*n1  - ----*a11 *a13*b12 *kap*n1*n2
                32                           64

                3      4    3       2       1      4    3       3
             - ----*a11 *a23 *b12*n1 *n2 + ----*a11 *a23 *b12*n2
                16                          16

                3      4        3       2       3      4        3       3
             - ----*a11 *a23*b12 *kap*n1 *n2 - ----*a11 *a23*b12 *kap*n2
                16                              64

                1     2        2    3       3
             - ---*a11 *a13*a23 *b12 *kap*n1
                8

                3     2        2    3          2    3      2        5    2   3
             + ---*a11 *a13*a23 *b12 *kap*n1*n2  - ----*a11 *a13*b12 *kap *n1
                8                                   32

                3      2        5    2      2    3     2    3    3       2
             - ----*a11 *a13*b12 *kap *n1*n2  - ---*a11 *a23 *b12 *kap*n1 *n2
                64                               8

                1     2    3    3       3    3      2        5    2   2
             + ---*a11 *a23 *b12 *kap*n2  - ----*a11 *a23*b12 *kap *n1 *n2
                8                            16

                3      2        5    2   3    1          2    5    2   3
             - ----*a11 *a23*b12 *kap *n2  - ----*a13*a23 *b12 *kap *n1
                64                            16

                3          2    5    2      2    1          7    3   3
             + ----*a13*a23 *b12 *kap *n1*n2  - ----*a13*b12 *kap *n1
                16                               32

                1          7    3      2    3      3    5    2   2
             - ----*a13*b12 *kap *n1*n2  - ----*a23 *b12 *kap *n1 *n2
                64                          16

                1      3    5    2   3    1          7    3   2
             + ----*a23 *b12 *kap *n2  - ----*a23*b12 *kap *n1 *n2
                16                        16

                1          7    3   3         2          1      6    3   2
             - ----*a23*b12 *kap *n2 ) + u3*v1 *v3*( - -----*a11 *b12 *n1
                64                                      128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u3*v1*v3*(
                  32                        128

               1      6              2    3      6
              ----*a11 *a13*b12*m3*n1  + ----*a11 *a23*b12*m3*n1*n2
               32                         64

                   1      6    2   2       1      4        2          2
               + -----*a11 *b12 *n1 *n2 + ----*a11 *a13*a23 *b12*m3*n1
                  128                      16

                  1      4        2          2    1      4            2      2
               - ----*a11 *a13*a23 *b12*m3*n2  - ----*a11 *a13*a23*b12 *n1*n2
                  16                              16

                  3      4        3          2    1     4    3
               + ----*a11 *a13*b12 *kap*m3*n1  + ---*a11 *a23 *b12*m3*n1*n2
                  32                              8

                  1      4    2    2   2       1      4    2    2   3
               + ----*a11 *a23 *b12 *n1 *n2 - ----*a11 *a23 *b12 *n2
                  32                           32

                  9      4        3                  3      4    4       2
               + ----*a11 *a23*b12 *kap*m3*n1*n2 + -----*a11 *b12 *kap*n1 *n2
                  64                                128

                  1     2        2    3          2
               + ---*a11 *a13*a23 *b12 *kap*m3*n1
                  8

                  1     2        2    3          2
               - ---*a11 *a13*a23 *b12 *kap*m3*n2
                  8

                  1     2            4          2
               - ---*a11 *a13*a23*b12 *kap*n1*n2
                  8

                  3      2        5    2      2
               + ----*a11 *a13*b12 *kap *m3*n1
                  32

                  1     2    3    3
               + ---*a11 *a23 *b12 *kap*m3*n1*n2
                  4

                  1      2    2    4       2       1      2    2    4       3
               + ----*a11 *a23 *b12 *kap*n1 *n2 - ----*a11 *a23 *b12 *kap*n2
                  16                               16

                  9      2        5    2              3      2    6    2   2
               + ----*a11 *a23*b12 *kap *m3*n1*n2 + -----*a11 *b12 *kap *n1 *n2
                  64                                 128

                  1          2    5    2      2    1          2    5    2      2
               + ----*a13*a23 *b12 *kap *m3*n1  - ----*a13*a23 *b12 *kap *m3*n2
                  16                               16

                  1              6    2      2    1          7    3      2
               - ----*a13*a23*b12 *kap *n1*n2  + ----*a13*b12 *kap *m3*n1
                  16                              32

                  1     3    5    2             1      2    6    2   2
               + ---*a23 *b12 *kap *m3*n1*n2 + ----*a23 *b12 *kap *n1 *n2
                  8                             32

                  1      2    6    2   3    3          7    3
               - ----*a23 *b12 *kap *n2  + ----*a23*b12 *kap *m3*n1*n2
                  32                        64

                   1      8    3   2            2          1      6    3   2
               + -----*b12 *kap *n1 *n2) + u3*v2 *v3*( - -----*a11 *b12 *n1
                  128                                     128

                  1      4            3          1      4    2    3   2
               + ----*a11 *a13*a23*b12 *n1*n2 - ----*a11 *a23 *b12 *n1
                  16                             32

                  1      4    2    3   2     3      4    5       2
               + ----*a11 *a23 *b12 *n2  - -----*a11 *b12 *kap*n1
                  32                        128

                  1     2            5              1      2    2    5       2
               + ---*a11 *a13*a23*b12 *kap*n1*n2 - ----*a11 *a23 *b12 *kap*n1
                  8                                 16

                  1      2    2    5       2     3      2    7    2   2
               + ----*a11 *a23 *b12 *kap*n2  - -----*a11 *b12 *kap *n1
                  16                            128

                  1              7    2          1      2    7    2   2
               + ----*a13*a23*b12 *kap *n1*n2 - ----*a23 *b12 *kap *n1
                  16                             32

                  1      2    7    2   2     1      9    3   2
               + ----*a23 *b12 *kap *n2  - -----*b12 *kap *n1 ) + u3*v2*v3*(
                  32                        128

               1      6                     1      6              2
              ----*a11 *a13*b12*m3*n1*n2 + ----*a11 *a23*b12*m3*n1
               64                           64

                  1      6              2     1      6    2   3
               + ----*a11 *a23*b12*m3*n2  - -----*a11 *b12 *n1
                  64                         128

                  1     4        2                 1      4            2   2
               - ---*a11 *a13*a23 *b12*m3*n1*n2 + ----*a11 *a13*a23*b12 *n1 *n2
                  8                                16

                  3      4        3                 1      4    3          2
               + ----*a11 *a13*b12 *kap*m3*n1*n2 + ----*a11 *a23 *b12*m3*n1
                  64                                16

                  1      4    3          2    1      4    2    2   3
               - ----*a11 *a23 *b12*m3*n2  - ----*a11 *a23 *b12 *n1
                  16                          32

                  1      4    2    2      2    3      4        3          2
               + ----*a11 *a23 *b12 *n1*n2  + ----*a11 *a23*b12 *kap*m3*n1
                  32                           64

                  3      4        3          2     3      4    4       3
               + ----*a11 *a23*b12 *kap*m3*n2  - -----*a11 *b12 *kap*n1
                  64                              128

                  1     2        2    3
               - ---*a11 *a13*a23 *b12 *kap*m3*n1*n2
                  4

                  1     2            4       2
               + ---*a11 *a13*a23*b12 *kap*n1 *n2
                  8

                  3      2        5    2
               + ----*a11 *a13*b12 *kap *m3*n1*n2
                  64

                  1     2    3    3          2    1     2    3    3          2
               + ---*a11 *a23 *b12 *kap*m3*n1  - ---*a11 *a23 *b12 *kap*m3*n2
                  8                               8

                  1      2    2    4       3    1      2    2    4          2
               - ----*a11 *a23 *b12 *kap*n1  + ----*a11 *a23 *b12 *kap*n1*n2
                  16                            16

                  3      2        5    2      2    3      2        5    2      2
               + ----*a11 *a23*b12 *kap *m3*n1  + ----*a11 *a23*b12 *kap *m3*n2
                  64                               64

                   3      2    6    2   3    1         2    5    2
               - -----*a11 *b12 *kap *n1  - ---*a13*a23 *b12 *kap *m3*n1*n2
                  128                        8

                  1              6    2   2       1          7    3
               + ----*a13*a23*b12 *kap *n1 *n2 + ----*a13*b12 *kap *m3*n1*n2
                  16                              64

                  1      3    5    2      2    1      3    5    2      2
               + ----*a23 *b12 *kap *m3*n1  - ----*a23 *b12 *kap *m3*n2
                  16                           16

                  1      2    6    2   3    1      2    6    2      2
               - ----*a23 *b12 *kap *n1  + ----*a23 *b12 *kap *n1*n2
                  32                        32

                  1          7    3      2    1          7    3      2
               + ----*a23*b12 *kap *m3*n1  + ----*a23*b12 *kap *m3*n2
                  64                          64

                   1      8    3   3
               - -----*b12 *kap *n1 )
                  128





And again in machine readable form:



HAM=(u1**2*(a11*a13**2 + a11*a23**2) + u1*u3*(2*a13**3 + 2*a13*a23**2) + u1*v2*(
a13**2*b12 + a23**2*b12) + u1*(a13**2*n1 + a23**2*n1) + u2**2*(a11*a13**2 + a11*
a23**2) + u2*u3*(2*a13**2*a23 + 2*a23**3) + u2*v1*( - a13**2*b12 - a23**2*b12) +
 u2*(a13**2*n2 + a23**2*n2) + u3*( - 1/2*a11*a13*n1 - 1/2*a11*a23*n2) + v3*(a13
**2*m3 + a23**2*m3))/(a13**2 + a23**2)$

FI=u1**2*u3**2*(a11**2*a13**7*n1 + a11**2*a13**6*a23*n2 + 3*a11**2*a13**5*a23**2
*n1 + 3*a11**2*a13**4*a23**3*n2 + 3*a11**2*a13**3*a23**4*n1 + 3*a11**2*a13**2*
a23**5*n2 + a11**2*a13*a23**6*n1 + a11**2*a23**7*n2 + 2*a13**9*n1 + 2*a13**8*a23
*n2 + 10*a13**7*a23**2*n1 + 1/2*a13**7*b12**2*kap*n1 + 10*a13**6*a23**3*n2 + 1/2
*a13**6*a23*b12**2*kap*n2 + 18*a13**5*a23**4*n1 + 3/2*a13**5*a23**2*b12**2*kap*
n1 + 18*a13**4*a23**5*n2 + 3/2*a13**4*a23**3*b12**2*kap*n2 + 14*a13**3*a23**6*n1
 + 3/2*a13**3*a23**4*b12**2*kap*n1 + 14*a13**2*a23**7*n2 + 3/2*a13**2*a23**5*b12
**2*kap*n2 + 4*a13*a23**8*n1 + 1/2*a13*a23**6*b12**2*kap*n1 + 4*a23**9*n2 + 1/2*
a23**7*b12**2*kap*n2) + u1**2*u3*v1*( - 2*a13**7*a23*b12*n1 - 2*a13**6*a23**2*
b12*n2 - 6*a13**5*a23**3*b12*n1 - 6*a13**4*a23**4*b12*n2 - 6*a13**3*a23**5*b12*
n1 - 6*a13**2*a23**6*b12*n2 - 2*a13*a23**7*b12*n1 - 2*a23**8*b12*n2) + u1**2*u3*
(a11**2*a13**6*n1**2 + 2*a11**2*a13**5*a23*n1*n2 + 2*a11**2*a13**4*a23**2*n1**2 
+ a11**2*a13**4*a23**2*n2**2 + 4*a11**2*a13**3*a23**3*n1*n2 + a11**2*a13**2*a23
**4*n1**2 + 2*a11**2*a13**2*a23**4*n2**2 + 2*a11**2*a13*a23**5*n1*n2 + a11**2*
a23**6*n2**2 + 2*a13**8*n1**2 + 6*a13**7*a23*n1*n2 + 6*a13**6*a23**2*n1**2 + 4*
a13**6*a23**2*n2**2 + 1/2*a13**6*b12**2*kap*n1**2 + 18*a13**5*a23**3*n1*n2 + a13
**5*a23*b12**2*kap*n1*n2 + 6*a13**4*a23**4*n1**2 + 12*a13**4*a23**4*n2**2 + a13
**4*a23**2*b12**2*kap*n1**2 + 1/2*a13**4*a23**2*b12**2*kap*n2**2 + 18*a13**3*a23
**5*n1*n2 + 2*a13**3*a23**3*b12**2*kap*n1*n2 + 2*a13**2*a23**6*n1**2 + 12*a13**2
*a23**6*n2**2 + 1/2*a13**2*a23**4*b12**2*kap*n1**2 + a13**2*a23**4*b12**2*kap*n2
**2 + 6*a13*a23**7*n1*n2 + a13*a23**5*b12**2*kap*n1*n2 + 4*a23**8*n2**2 + 1/2*
a23**6*b12**2*kap*n2**2) + u1**2*v1**2*(1/2*a13**7*b12**2*n1 + 1/2*a13**6*a23*
b12**2*n2 + 3/2*a13**5*a23**2*b12**2*n1 + 3/2*a13**4*a23**3*b12**2*n2 + 3/2*a13
**3*a23**4*b12**2*n1 + 3/2*a13**2*a23**5*b12**2*n2 + 1/2*a13*a23**6*b12**2*n1 + 
1/2*a23**7*b12**2*n2) + u1**2*v1*( - a13**7*b12*n1*n2 - a13**6*a23*b12*n1**2 - 
a13**6*a23*b12*n2**2 - 5*a13**5*a23**2*b12*n1*n2 - 2*a13**4*a23**3*b12*n1**2 - 4
*a13**4*a23**3*b12*n2**2 - 7*a13**3*a23**4*b12*n1*n2 - a13**2*a23**5*b12*n1**2 -
 5*a13**2*a23**5*b12*n2**2 - 3*a13*a23**6*b12*n1*n2 - 2*a23**7*b12*n2**2) + u1**
2*(1/2*a13**7*n1**3 + 1/2*a13**7*n1*n2**2 + 3/2*a13**6*a23*n1**2*n2 + 1/2*a13**6
*a23*n2**3 + a13**5*a23**2*n1**3 + 3*a13**5*a23**2*n1*n2**2 + 3*a13**4*a23**3*n1
**2*n2 + 2*a13**4*a23**3*n2**3 + 1/2*a13**3*a23**4*n1**3 + 9/2*a13**3*a23**4*n1*
n2**2 + 3/2*a13**2*a23**5*n1**2*n2 + 5/2*a13**2*a23**5*n2**3 + 2*a13*a23**6*n1*
n2**2 + a23**7*n2**3) + u1*u2*u3**2*( - 4*a13**8*a23*n1 - 4*a13**7*a23**2*n2 - 
12*a13**6*a23**3*n1 - 12*a13**5*a23**4*n2 - 12*a13**4*a23**5*n1 - 12*a13**3*a23
**6*n2 - 4*a13**2*a23**7*n1 - 4*a13*a23**8*n2) + u1*u2*u3*v1*(2*a13**8*b12*n1 + 
2*a13**7*a23*b12*n2 + 6*a13**6*a23**2*b12*n1 + 6*a13**5*a23**3*b12*n2 + 6*a13**4
*a23**4*b12*n1 + 6*a13**3*a23**5*b12*n2 + 2*a13**2*a23**6*b12*n1 + 2*a13*a23**7*
b12*n2) + u1*u2*u3*v2*( - 2*a13**7*a23*b12*n1 - 2*a13**6*a23**2*b12*n2 - 6*a13**
5*a23**3*b12*n1 - 6*a13**4*a23**4*b12*n2 - 6*a13**3*a23**5*b12*n1 - 6*a13**2*a23
**6*b12*n2 - 2*a13*a23**7*b12*n1 - 2*a23**8*b12*n2) + u1*u2*u3*( - 2*a13**8*n1*
n2 - 2*a13**7*a23*n1**2 - 2*a13**7*a23*n2**2 - 8*a13**6*a23**2*n1*n2 - 6*a13**5*
a23**3*n1**2 - 6*a13**5*a23**3*n2**2 - 12*a13**4*a23**4*n1*n2 - 6*a13**3*a23**5*
n1**2 - 6*a13**3*a23**5*n2**2 - 8*a13**2*a23**6*n1*n2 - 2*a13*a23**7*n1**2 - 2*
a13*a23**7*n2**2 - 2*a23**8*n1*n2) + u1*u2*v1*v2*(a13**7*b12**2*n1 + a13**6*a23*
b12**2*n2 + 3*a13**5*a23**2*b12**2*n1 + 3*a13**4*a23**3*b12**2*n2 + 3*a13**3*a23
**4*b12**2*n1 + 3*a13**2*a23**5*b12**2*n2 + a13*a23**6*b12**2*n1 + a23**7*b12**2
*n2) + u1*u2*v1*(2*a13**7*b12*n1**2 + 3*a13**6*a23*b12*n1*n2 + 5*a13**5*a23**2*
b12*n1**2 + a13**5*a23**2*b12*n2**2 + 7*a13**4*a23**3*b12*n1*n2 + 4*a13**3*a23**
4*b12*n1**2 + 2*a13**3*a23**4*b12*n2**2 + 5*a13**2*a23**5*b12*n1*n2 + a13*a23**6
*b12*n1**2 + a13*a23**6*b12*n2**2 + a23**7*b12*n1*n2) + u1*u2*v2*( - a13**7*b12*
n1*n2 - a13**6*a23*b12*n1**2 - a13**6*a23*b12*n2**2 - 5*a13**5*a23**2*b12*n1*n2 
- 2*a13**4*a23**3*b12*n1**2 - 4*a13**4*a23**3*b12*n2**2 - 7*a13**3*a23**4*b12*n1
*n2 - a13**2*a23**5*b12*n1**2 - 5*a13**2*a23**5*b12*n2**2 - 3*a13*a23**6*b12*n1*
n2 - 2*a23**7*b12*n2**2) + u1*u2*( - a13**7*n1**2*n2 - a13**6*a23*n1*n2**2 - 3*
a13**5*a23**2*n1**2*n2 - 3*a13**4*a23**3*n1*n2**2 - 3*a13**3*a23**4*n1**2*n2 - 3
*a13**2*a23**5*n1*n2**2 - a13*a23**6*n1**2*n2 - a23**7*n1*n2**2) + u1*u3**3*(2*
a11*a13**8*n1 + 2*a11*a13**7*a23*n2 + 6*a11*a13**6*a23**2*n1 + 6*a11*a13**5*a23
**3*n2 + 6*a11*a13**4*a23**4*n1 + 6*a11*a13**3*a23**5*n2 + 2*a11*a13**2*a23**6*
n1 + 2*a11*a13*a23**7*n2) + u1*u3**2*v2*(a11*a13**7*b12*n1 + a11*a13**6*a23*b12*
n2 + 3*a11*a13**5*a23**2*b12*n1 + 3*a11*a13**4*a23**3*b12*n2 + 3*a11*a13**3*a23
**4*b12*n1 + 3*a11*a13**2*a23**5*b12*n2 + a11*a13*a23**6*b12*n1 + a11*a23**7*b12
*n2) + u1*u3**2*(2*a11*a13**7*n1**2 + 3*a11*a13**6*a23*n1*n2 + 5*a11*a13**5*a23
**2*n1**2 + a11*a13**5*a23**2*n2**2 + 7*a11*a13**4*a23**3*n1*n2 + 4*a11*a13**3*
a23**4*n1**2 + 2*a11*a13**3*a23**4*n2**2 + 5*a11*a13**2*a23**5*n1*n2 + a11*a13*
a23**6*n1**2 + a11*a13*a23**6*n2**2 + a11*a23**7*n1*n2) + u1*u3*v1*( - a11*a13**
7*m3*n1 - a11*a13**6*a23*m3*n2 - 3*a11*a13**5*a23**2*m3*n1 - 3*a11*a13**4*a23**3
*m3*n2 - 3*a11*a13**3*a23**4*m3*n1 - 3*a11*a13**2*a23**5*m3*n2 - a11*a13*a23**6*
m3*n1 - a11*a23**7*m3*n2) + u1*u3*v2*(a11*a13**6*b12*n1**2 + 2*a11*a13**5*a23*
b12*n1*n2 + 2*a11*a13**4*a23**2*b12*n1**2 + a11*a13**4*a23**2*b12*n2**2 + 4*a11*
a13**3*a23**3*b12*n1*n2 + a11*a13**2*a23**4*b12*n1**2 + 2*a11*a13**2*a23**4*b12*
n2**2 + 2*a11*a13*a23**5*b12*n1*n2 + a11*a23**6*b12*n2**2) + u1*u3*( - 1/2*a11*
a13**5*a23*n1**2*n2 + 1/2*a11*a13**4*a23**2*n1**3 - a11*a13**4*a23**2*n1*n2**2 +
 1/2*a11*a13**3*a23**3*n1**2*n2 - 1/2*a11*a13**3*a23**3*n2**3 + 1/2*a11*a13**2*
a23**4*n1**3 - 1/2*a11*a13**2*a23**4*n1*n2**2 + a11*a13*a23**5*n1**2*n2 - 1/2*
a11*a13*a23**5*n2**3 + 1/2*a11*a23**6*n1*n2**2) + u1*v1*v3*( - 1/2*a13**6*b12**2
*n1**2 - a13**5*a23*b12**2*n1*n2 - a13**4*a23**2*b12**2*n1**2 - 1/2*a13**4*a23**
2*b12**2*n2**2 - 2*a13**3*a23**3*b12**2*n1*n2 - 1/2*a13**2*a23**4*b12**2*n1**2 -
 a13**2*a23**4*b12**2*n2**2 - a13*a23**5*b12**2*n1*n2 - 1/2*a23**6*b12**2*n2**2)
 + u1*v1*( - a11*a13**6*m3*n1**2 - 2*a11*a13**5*a23*m3*n1*n2 - 2*a11*a13**4*a23
**2*m3*n1**2 - a11*a13**4*a23**2*m3*n2**2 - 4*a11*a13**3*a23**3*m3*n1*n2 - a11*
a13**2*a23**4*m3*n1**2 - 2*a11*a13**2*a23**4*m3*n2**2 - 2*a11*a13*a23**5*m3*n1*
n2 - a11*a23**6*m3*n2**2) + u1*v3*(1/2*a13**6*b12*n1**2*n2 + a13**5*a23*b12*n1*
n2**2 + a13**4*a23**2*b12*n1**2*n2 + 1/2*a13**4*a23**2*b12*n2**3 + 2*a13**3*a23
**3*b12*n1*n2**2 + 1/2*a13**2*a23**4*b12*n1**2*n2 + a13**2*a23**4*b12*n2**3 + 
a13*a23**5*b12*n1*n2**2 + 1/2*a23**6*b12*n2**3) + u1*( - 1/4*a11*a13**5*n1**4 - 
3/4*a11*a13**4*a23*n1**3*n2 - 1/4*a11*a13**3*a23**2*n1**4 - 3/4*a11*a13**3*a23**
2*n1**2*n2**2 - 3/4*a11*a13**2*a23**3*n1**3*n2 - 1/4*a11*a13**2*a23**3*n1*n2**3 
- 3/4*a11*a13*a23**4*n1**2*n2**2 - 1/4*a11*a23**5*n1*n2**3) + u2**2*u3**2*(a11**
2*a13**7*n1 + a11**2*a13**6*a23*n2 + 3*a11**2*a13**5*a23**2*n1 + 3*a11**2*a13**4
*a23**3*n2 + 3*a11**2*a13**3*a23**4*n1 + 3*a11**2*a13**2*a23**5*n2 + a11**2*a13*
a23**6*n1 + a11**2*a23**7*n2 + 4*a13**9*n1 + 4*a13**8*a23*n2 + 14*a13**7*a23**2*
n1 + 1/2*a13**7*b12**2*kap*n1 + 14*a13**6*a23**3*n2 + 1/2*a13**6*a23*b12**2*kap*
n2 + 18*a13**5*a23**4*n1 + 3/2*a13**5*a23**2*b12**2*kap*n1 + 18*a13**4*a23**5*n2
 + 3/2*a13**4*a23**3*b12**2*kap*n2 + 10*a13**3*a23**6*n1 + 3/2*a13**3*a23**4*b12
**2*kap*n1 + 10*a13**2*a23**7*n2 + 3/2*a13**2*a23**5*b12**2*kap*n2 + 2*a13*a23**
8*n1 + 1/2*a13*a23**6*b12**2*kap*n1 + 2*a23**9*n2 + 1/2*a23**7*b12**2*kap*n2) + 
u2**2*u3*v2*(2*a13**8*b12*n1 + 2*a13**7*a23*b12*n2 + 6*a13**6*a23**2*b12*n1 + 6*
a13**5*a23**3*b12*n2 + 6*a13**4*a23**4*b12*n1 + 6*a13**3*a23**5*b12*n2 + 2*a13**
2*a23**6*b12*n1 + 2*a13*a23**7*b12*n2) + u2**2*u3*(a11**2*a13**6*n1**2 + 2*a11**
2*a13**5*a23*n1*n2 + 2*a11**2*a13**4*a23**2*n1**2 + a11**2*a13**4*a23**2*n2**2 +
 4*a11**2*a13**3*a23**3*n1*n2 + a11**2*a13**2*a23**4*n1**2 + 2*a11**2*a13**2*a23
**4*n2**2 + 2*a11**2*a13*a23**5*n1*n2 + a11**2*a23**6*n2**2 + 4*a13**8*n1**2 + 6
*a13**7*a23*n1*n2 + 12*a13**6*a23**2*n1**2 + 2*a13**6*a23**2*n2**2 + 1/2*a13**6*
b12**2*kap*n1**2 + 18*a13**5*a23**3*n1*n2 + a13**5*a23*b12**2*kap*n1*n2 + 12*a13
**4*a23**4*n1**2 + 6*a13**4*a23**4*n2**2 + a13**4*a23**2*b12**2*kap*n1**2 + 1/2*
a13**4*a23**2*b12**2*kap*n2**2 + 18*a13**3*a23**5*n1*n2 + 2*a13**3*a23**3*b12**2
*kap*n1*n2 + 4*a13**2*a23**6*n1**2 + 6*a13**2*a23**6*n2**2 + 1/2*a13**2*a23**4*
b12**2*kap*n1**2 + a13**2*a23**4*b12**2*kap*n2**2 + 6*a13*a23**7*n1*n2 + a13*a23
**5*b12**2*kap*n1*n2 + 2*a23**8*n2**2 + 1/2*a23**6*b12**2*kap*n2**2) + u2**2*v2
**2*(1/2*a13**7*b12**2*n1 + 1/2*a13**6*a23*b12**2*n2 + 3/2*a13**5*a23**2*b12**2*
n1 + 3/2*a13**4*a23**3*b12**2*n2 + 3/2*a13**3*a23**4*b12**2*n1 + 3/2*a13**2*a23
**5*b12**2*n2 + 1/2*a13*a23**6*b12**2*n1 + 1/2*a23**7*b12**2*n2) + u2**2*v2*(2*
a13**7*b12*n1**2 + 3*a13**6*a23*b12*n1*n2 + 5*a13**5*a23**2*b12*n1**2 + a13**5*
a23**2*b12*n2**2 + 7*a13**4*a23**3*b12*n1*n2 + 4*a13**3*a23**4*b12*n1**2 + 2*a13
**3*a23**4*b12*n2**2 + 5*a13**2*a23**5*b12*n1*n2 + a13*a23**6*b12*n1**2 + a13*
a23**6*b12*n2**2 + a23**7*b12*n1*n2) + u2**2*(a13**7*n1**3 + 2*a13**6*a23*n1**2*
n2 + 5/2*a13**5*a23**2*n1**3 + 3/2*a13**5*a23**2*n1*n2**2 + 9/2*a13**4*a23**3*n1
**2*n2 + 1/2*a13**4*a23**3*n2**3 + 2*a13**3*a23**4*n1**3 + 3*a13**3*a23**4*n1*n2
**2 + 3*a13**2*a23**5*n1**2*n2 + a13**2*a23**5*n2**3 + 1/2*a13*a23**6*n1**3 + 3/
2*a13*a23**6*n1*n2**2 + 1/2*a23**7*n1**2*n2 + 1/2*a23**7*n2**3) + u2*u3**3*(2*
a11*a13**7*a23*n1 + 2*a11*a13**6*a23**2*n2 + 6*a11*a13**5*a23**3*n1 + 6*a11*a13
**4*a23**4*n2 + 6*a11*a13**3*a23**5*n1 + 6*a11*a13**2*a23**6*n2 + 2*a11*a13*a23
**7*n1 + 2*a11*a23**8*n2) + u2*u3**2*v1*( - a11*a13**7*b12*n1 - a11*a13**6*a23*
b12*n2 - 3*a11*a13**5*a23**2*b12*n1 - 3*a11*a13**4*a23**3*b12*n2 - 3*a11*a13**3*
a23**4*b12*n1 - 3*a11*a13**2*a23**5*b12*n2 - a11*a13*a23**6*b12*n1 - a11*a23**7*
b12*n2) + u2*u3**2*(a11*a13**7*n1*n2 + a11*a13**6*a23*n1**2 + a11*a13**6*a23*n2
**2 + 5*a11*a13**5*a23**2*n1*n2 + 2*a11*a13**4*a23**3*n1**2 + 4*a11*a13**4*a23**
3*n2**2 + 7*a11*a13**3*a23**4*n1*n2 + a11*a13**2*a23**5*n1**2 + 5*a11*a13**2*a23
**5*n2**2 + 3*a11*a13*a23**6*n1*n2 + 2*a11*a23**7*n2**2) + u2*u3*v1*( - a11*a13
**6*b12*n1**2 - 2*a11*a13**5*a23*b12*n1*n2 - 2*a11*a13**4*a23**2*b12*n1**2 - a11
*a13**4*a23**2*b12*n2**2 - 4*a11*a13**3*a23**3*b12*n1*n2 - a11*a13**2*a23**4*b12
*n1**2 - 2*a11*a13**2*a23**4*b12*n2**2 - 2*a11*a13*a23**5*b12*n1*n2 - a11*a23**6
*b12*n2**2) + u2*u3*v2*( - a11*a13**7*m3*n1 - a11*a13**6*a23*m3*n2 - 3*a11*a13**
5*a23**2*m3*n1 - 3*a11*a13**4*a23**3*m3*n2 - 3*a11*a13**3*a23**4*m3*n1 - 3*a11*
a13**2*a23**5*m3*n2 - a11*a13*a23**6*m3*n1 - a11*a23**7*m3*n2) + u2*u3*(1/2*a11*
a13**6*n1**2*n2 - 1/2*a11*a13**5*a23*n1**3 + a11*a13**5*a23*n1*n2**2 - 1/2*a11*
a13**4*a23**2*n1**2*n2 + 1/2*a11*a13**4*a23**2*n2**3 - 1/2*a11*a13**3*a23**3*n1
**3 + 1/2*a11*a13**3*a23**3*n1*n2**2 - a11*a13**2*a23**4*n1**2*n2 + 1/2*a11*a13
**2*a23**4*n2**3 - 1/2*a11*a13*a23**5*n1*n2**2) + u2*v2*v3*( - 1/2*a13**6*b12**2
*n1**2 - a13**5*a23*b12**2*n1*n2 - a13**4*a23**2*b12**2*n1**2 - 1/2*a13**4*a23**
2*b12**2*n2**2 - 2*a13**3*a23**3*b12**2*n1*n2 - 1/2*a13**2*a23**4*b12**2*n1**2 -
 a13**2*a23**4*b12**2*n2**2 - a13*a23**5*b12**2*n1*n2 - 1/2*a23**6*b12**2*n2**2)
 + u2*v2*( - a11*a13**6*m3*n1**2 - 2*a11*a13**5*a23*m3*n1*n2 - 2*a11*a13**4*a23
**2*m3*n1**2 - a11*a13**4*a23**2*m3*n2**2 - 4*a11*a13**3*a23**3*m3*n1*n2 - a11*
a13**2*a23**4*m3*n1**2 - 2*a11*a13**2*a23**4*m3*n2**2 - 2*a11*a13*a23**5*m3*n1*
n2 - a11*a23**6*m3*n2**2) + u2*v3*( - 1/2*a13**6*b12*n1**3 - a13**5*a23*b12*n1**
2*n2 - a13**4*a23**2*b12*n1**3 - 1/2*a13**4*a23**2*b12*n1*n2**2 - 2*a13**3*a23**
3*b12*n1**2*n2 - 1/2*a13**2*a23**4*b12*n1**3 - a13**2*a23**4*b12*n1*n2**2 - a13*
a23**5*b12*n1**2*n2 - 1/2*a23**6*b12*n1*n2**2) + u2*( - 1/4*a11*a13**5*n1**3*n2 
- 3/4*a11*a13**4*a23*n1**2*n2**2 - 1/4*a11*a13**3*a23**2*n1**3*n2 - 3/4*a11*a13
**3*a23**2*n1*n2**3 - 3/4*a11*a13**2*a23**3*n1**2*n2**2 - 1/4*a11*a13**2*a23**3*
n2**4 - 3/4*a11*a13*a23**4*n1*n2**3 - 1/4*a11*a23**5*n2**4) + u3**4*( - a11**2*
a13**7*n1 - a11**2*a13**6*a23*n2 - 3*a11**2*a13**5*a23**2*n1 - 3*a11**2*a13**4*
a23**3*n2 - 3*a11**2*a13**3*a23**4*n1 - 3*a11**2*a13**2*a23**5*n2 - a11**2*a13*
a23**6*n1 - a11**2*a23**7*n2 - 2*a13**9*n1 - 2*a13**8*a23*n2 - 8*a13**7*a23**2*
n1 - a13**7*b12**2*kap*n1 - 8*a13**6*a23**3*n2 - a13**6*a23*b12**2*kap*n2 - 12*
a13**5*a23**4*n1 - 3*a13**5*a23**2*b12**2*kap*n1 - 12*a13**4*a23**5*n2 - 3*a13**
4*a23**3*b12**2*kap*n2 - 8*a13**3*a23**6*n1 - 3*a13**3*a23**4*b12**2*kap*n1 - 8*
a13**2*a23**7*n2 - 3*a13**2*a23**5*b12**2*kap*n2 - 2*a13*a23**8*n1 - a13*a23**6*
b12**2*kap*n1 - 2*a23**9*n2 - a23**7*b12**2*kap*n2) + u3**3*v1*( - 2*a13**7*a23*
b12*n1 - 2*a13**6*a23**2*b12*n2 - 6*a13**5*a23**3*b12*n1 - 6*a13**4*a23**4*b12*
n2 - 6*a13**3*a23**5*b12*n1 - 6*a13**2*a23**6*b12*n2 - 2*a13*a23**7*b12*n1 - 2*
a23**8*b12*n2) + u3**3*v2*(2*a13**8*b12*n1 + 2*a13**7*a23*b12*n2 + 6*a13**6*a23
**2*b12*n1 + 6*a13**5*a23**3*b12*n2 + 6*a13**4*a23**4*b12*n1 + 6*a13**3*a23**5*
b12*n2 + 2*a13**2*a23**6*b12*n1 + 2*a13*a23**7*b12*n2) + u3**3*( - 1/2*a11**2*
a13**6*n1**2 - a11**2*a13**5*a23*n1*n2 - a11**2*a13**4*a23**2*n1**2 - 1/2*a11**2
*a13**4*a23**2*n2**2 - 2*a11**2*a13**3*a23**3*n1*n2 - 1/2*a11**2*a13**2*a23**4*
n1**2 - a11**2*a13**2*a23**4*n2**2 - a11**2*a13*a23**5*n1*n2 - 1/2*a11**2*a23**6
*n2**2 - 1/2*a13**6*b12**2*kap*n1**2 - a13**5*a23*b12**2*kap*n1*n2 - a13**4*a23
**2*b12**2*kap*n1**2 - 1/2*a13**4*a23**2*b12**2*kap*n2**2 - 2*a13**3*a23**3*b12
**2*kap*n1*n2 - 1/2*a13**2*a23**4*b12**2*kap*n1**2 - a13**2*a23**4*b12**2*kap*n2
**2 - a13*a23**5*b12**2*kap*n1*n2 - 1/2*a23**6*b12**2*kap*n2**2) + u3**2*v1**2*(
1/2*a13**7*b12**2*n1 + 1/2*a13**6*a23*b12**2*n2 + 3/2*a13**5*a23**2*b12**2*n1 + 
3/2*a13**4*a23**3*b12**2*n2 + 3/2*a13**3*a23**4*b12**2*n1 + 3/2*a13**2*a23**5*
b12**2*n2 + 1/2*a13*a23**6*b12**2*n1 + 1/2*a23**7*b12**2*n2) + u3**2*v1*( - 2*
a13**8*m3*n1 - 2*a13**7*a23*m3*n2 - a13**7*b12*n1*n2 - 6*a13**6*a23**2*m3*n1 - 
a13**6*a23*b12*n1**2 - a13**6*a23*b12*n2**2 - 6*a13**5*a23**3*m3*n2 - 5*a13**5*
a23**2*b12*n1*n2 - 6*a13**4*a23**4*m3*n1 - 2*a13**4*a23**3*b12*n1**2 - 4*a13**4*
a23**3*b12*n2**2 - 6*a13**3*a23**5*m3*n2 - 7*a13**3*a23**4*b12*n1*n2 - 2*a13**2*
a23**6*m3*n1 - a13**2*a23**5*b12*n1**2 - 5*a13**2*a23**5*b12*n2**2 - 2*a13*a23**
7*m3*n2 - 3*a13*a23**6*b12*n1*n2 - 2*a23**7*b12*n2**2) + u3**2*v2**2*(1/2*a13**7
*b12**2*n1 + 1/2*a13**6*a23*b12**2*n2 + 3/2*a13**5*a23**2*b12**2*n1 + 3/2*a13**4
*a23**3*b12**2*n2 + 3/2*a13**3*a23**4*b12**2*n1 + 3/2*a13**2*a23**5*b12**2*n2 + 
1/2*a13*a23**6*b12**2*n1 + 1/2*a23**7*b12**2*n2) + u3**2*v2*( - 2*a13**7*a23*m3*
n1 + 2*a13**7*b12*n1**2 - 2*a13**6*a23**2*m3*n2 + 3*a13**6*a23*b12*n1*n2 - 6*a13
**5*a23**3*m3*n1 + 5*a13**5*a23**2*b12*n1**2 + a13**5*a23**2*b12*n2**2 - 6*a13**
4*a23**4*m3*n2 + 7*a13**4*a23**3*b12*n1*n2 - 6*a13**3*a23**5*m3*n1 + 4*a13**3*
a23**4*b12*n1**2 + 2*a13**3*a23**4*b12*n2**2 - 6*a13**2*a23**6*m3*n2 + 5*a13**2*
a23**5*b12*n1*n2 - 2*a13*a23**7*m3*n1 + a13*a23**6*b12*n1**2 + a13*a23**6*b12*n2
**2 - 2*a23**8*m3*n2 + a23**7*b12*n1*n2) + u3**2*(1/8*a11**2*a13**5*n1**3 + 3/8*
a11**2*a13**4*a23*n1**2*n2 + 1/8*a11**2*a13**3*a23**2*n1**3 + 3/8*a11**2*a13**3*
a23**2*n1*n2**2 + 3/8*a11**2*a13**2*a23**3*n1**2*n2 + 1/8*a11**2*a13**2*a23**3*
n2**3 + 3/8*a11**2*a13*a23**4*n1*n2**2 + 1/8*a11**2*a23**5*n2**3 - 1/2*a13**7*
kap*m3**2*n1 + a13**7*n1**3 + 1/2*a13**7*n1*n2**2 - 1/2*a13**6*a23*kap*m3**2*n2 
+ 2*a13**6*a23*n1**2*n2 + 1/2*a13**6*a23*n2**3 - 3/2*a13**5*a23**2*kap*m3**2*n1 
+ 5/2*a13**5*a23**2*n1**3 + 3*a13**5*a23**2*n1*n2**2 - 3/2*a13**4*a23**3*kap*m3
**2*n2 + 9/2*a13**4*a23**3*n1**2*n2 + 2*a13**4*a23**3*n2**3 - 3/2*a13**3*a23**4*
kap*m3**2*n1 + 2*a13**3*a23**4*n1**3 + 9/2*a13**3*a23**4*n1*n2**2 - 3/2*a13**2*
a23**5*kap*m3**2*n2 + 3*a13**2*a23**5*n1**2*n2 + 5/2*a13**2*a23**5*n2**3 - 1/2*
a13*a23**6*kap*m3**2*n1 + 1/2*a13*a23**6*n1**3 + 2*a13*a23**6*n1*n2**2 - 1/2*a23
**7*kap*m3**2*n2 + 1/2*a23**7*n1**2*n2 + a23**7*n2**3) + u3*v1**2*(1/2*a13**6*
b12**2*n1**2 + a13**5*a23*b12**2*n1*n2 + a13**4*a23**2*b12**2*n1**2 + 1/2*a13**4
*a23**2*b12**2*n2**2 + 2*a13**3*a23**3*b12**2*n1*n2 + 1/2*a13**2*a23**4*b12**2*
n1**2 + a13**2*a23**4*b12**2*n2**2 + a13*a23**5*b12**2*n1*n2 + 1/2*a23**6*b12**2
*n2**2) + u3*v1*( - 2*a13**7*m3*n1**2 - 3*a13**6*a23*m3*n1*n2 - 1/2*a13**6*b12*
n1**2*n2 - 5*a13**5*a23**2*m3*n1**2 - a13**5*a23**2*m3*n2**2 - a13**5*a23*b12*n1
*n2**2 - 7*a13**4*a23**3*m3*n1*n2 - a13**4*a23**2*b12*n1**2*n2 - 1/2*a13**4*a23
**2*b12*n2**3 - 4*a13**3*a23**4*m3*n1**2 - 2*a13**3*a23**4*m3*n2**2 - 2*a13**3*
a23**3*b12*n1*n2**2 - 5*a13**2*a23**5*m3*n1*n2 - 1/2*a13**2*a23**4*b12*n1**2*n2 
- a13**2*a23**4*b12*n2**3 - a13*a23**6*m3*n1**2 - a13*a23**6*m3*n2**2 - a13*a23
**5*b12*n1*n2**2 - a23**7*m3*n1*n2 - 1/2*a23**6*b12*n2**3) + u3*v2**2*(1/2*a13**
6*b12**2*n1**2 + a13**5*a23*b12**2*n1*n2 + a13**4*a23**2*b12**2*n1**2 + 1/2*a13
**4*a23**2*b12**2*n2**2 + 2*a13**3*a23**3*b12**2*n1*n2 + 1/2*a13**2*a23**4*b12**
2*n1**2 + a13**2*a23**4*b12**2*n2**2 + a13*a23**5*b12**2*n1*n2 + 1/2*a23**6*b12
**2*n2**2) + u3*v2*( - a13**7*m3*n1*n2 - a13**6*a23*m3*n1**2 - a13**6*a23*m3*n2
**2 + 1/2*a13**6*b12*n1**3 - 5*a13**5*a23**2*m3*n1*n2 + a13**5*a23*b12*n1**2*n2 
- 2*a13**4*a23**3*m3*n1**2 - 4*a13**4*a23**3*m3*n2**2 + a13**4*a23**2*b12*n1**3 
+ 1/2*a13**4*a23**2*b12*n1*n2**2 - 7*a13**3*a23**4*m3*n1*n2 + 2*a13**3*a23**3*
b12*n1**2*n2 - a13**2*a23**5*m3*n1**2 - 5*a13**2*a23**5*m3*n2**2 + 1/2*a13**2*
a23**4*b12*n1**3 + a13**2*a23**4*b12*n1*n2**2 - 3*a13*a23**6*m3*n1*n2 + a13*a23
**5*b12*n1**2*n2 - 2*a23**7*m3*n2**2 + 1/2*a23**6*b12*n1*n2**2) + u3*(1/8*a11**2
*a13**4*n1**4 + 1/2*a11**2*a13**3*a23*n1**3*n2 + 3/4*a11**2*a13**2*a23**2*n1**2*
n2**2 + 1/2*a11**2*a13*a23**3*n1*n2**3 + 1/8*a11**2*a23**4*n2**4 - 1/2*a13**6*
kap*m3**2*n1**2 - a13**5*a23*kap*m3**2*n1*n2 - a13**4*a23**2*kap*m3**2*n1**2 - 1
/2*a13**4*a23**2*kap*m3**2*n2**2 - 2*a13**3*a23**3*kap*m3**2*n1*n2 - 1/2*a13**2*
a23**4*kap*m3**2*n1**2 - a13**2*a23**4*kap*m3**2*n2**2 - a13*a23**5*kap*m3**2*n1
*n2 - 1/2*a23**6*kap*m3**2*n2**2) + v1*( - 1/2*a13**6*m3*n1**3 - a13**5*a23*m3*
n1**2*n2 - a13**4*a23**2*m3*n1**3 - 1/2*a13**4*a23**2*m3*n1*n2**2 - 2*a13**3*a23
**3*m3*n1**2*n2 - 1/2*a13**2*a23**4*m3*n1**3 - a13**2*a23**4*m3*n1*n2**2 - a13*
a23**5*m3*n1**2*n2 - 1/2*a23**6*m3*n1*n2**2) + v2*( - 1/2*a13**6*m3*n1**2*n2 - 
a13**5*a23*m3*n1*n2**2 - a13**4*a23**2*m3*n1**2*n2 - 1/2*a13**4*a23**2*m3*n2**3 
- 2*a13**3*a23**3*m3*n1*n2**2 - 1/2*a13**2*a23**4*m3*n1**2*n2 - a13**2*a23**4*m3
*n2**3 - a13*a23**5*m3*n1*n2**2 - 1/2*a23**6*m3*n2**3)$