20                  - (t2s_2(0, 0) * t2_2(0, 0) + t2s_2(0, 1) * t2_2(0, 1)
 
   21                     + t2s_2(0, 2) * t2_2(0, 2) + t2s_2(1, 0) * t2_2(1, 0)
 
   22                     + t2s_2(1, 1) * t2_2(1, 1) + t2s_2(1, 2) * t2_2(1, 2)
 
   23                     + t2s_2(2, 0) * t2_2(2, 0) + t2s_2(2, 1) * t2_2(2, 1)
 
   24                     + t2s_2(2, 2) * t2_2(2, 2)),
 
   27                  - (t2s_2(0, 0) * t2_2(0, 0) + t2s_2(0, 1) * t2_2(0, 1)
 
   28                     + t2s_2(0, 2) * t2_2(0, 2) + t2s_2(1, 0) * t2_2(1, 0)
 
   29                     + t2s_2(1, 1) * t2_2(1, 1) + t2s_2(1, 2) * t2_2(1, 2)
 
   30                     + t2s_2(2, 0) * t2_2(2, 0) + t2s_2(2, 1) * t2_2(2, 1)
 
   31                     + t2s_2(2, 2) * t2_2(2, 2)),
 
   34                  - (t2s_2(0, 0) * t2_2(0, 0) + t2s_2(0, 1) * t2_2(1, 0)
 
   35                     + t2s_2(0, 2) * t2_2(2, 0) + t2s_2(1, 0) * t2_2(0, 1)
 
   36                     + t2s_2(1, 1) * t2_2(1, 1) + t2s_2(1, 2) * t2_2(2, 1)
 
   37                     + t2s_2(2, 0) * t2_2(0, 2) + t2s_2(2, 1) * t2_2(1, 2)
 
   38                     + t2s_2(2, 2) * t2_2(2, 2)),
 
   41                  - (t2s_2(0, 0) * t2_2(0, 0) + t2s_2(0, 1) * t2_2(1, 0)
 
   42                     + t2s_2(0, 2) * t2_2(2, 0) + t2s_2(1, 0) * t2_2(0, 1)
 
   43                     + t2s_2(1, 1) * t2_2(1, 1) + t2s_2(1, 2) * t2_2(2, 1)
 
   44                     + t2s_2(2, 0) * t2_2(0, 2) + t2s_2(2, 1) * t2_2(1, 2)
 
   45                     + t2s_2(2, 2) * t2_2(2, 2)),