22                  - (t2s_1(0, 0) * t2s_2(0, 0) + t2s_1(0, 1) * t2s_2(0, 1)
 
   23                     + t2s_1(0, 2) * t2s_2(0, 2) + t2s_1(1, 0) * t2s_2(1, 0)
 
   24                     + t2s_1(1, 1) * t2s_2(1, 1) + t2s_1(1, 2) * t2s_2(1, 2)
 
   25                     + t2s_1(2, 0) * t2s_2(2, 0) + t2s_1(2, 1) * t2s_2(2, 1)
 
   26                     + t2s_1(2, 2) * t2s_2(2, 2)),
 
   30                  - (t2s_1(0, 0) * t2s_2(0, 0) + t2s_1(0, 1) * t2s_2(1, 0)
 
   31                     + t2s_1(0, 2) * t2s_2(2, 0) + t2s_1(1, 0) * t2s_2(0, 1)
 
   32                     + t2s_1(1, 1) * t2s_2(1, 1) + t2s_1(1, 2) * t2s_2(2, 1)
 
   33                     + t2s_1(2, 0) * t2s_2(0, 2) + t2s_1(2, 1) * t2s_2(1, 2)
 
   34                     + t2s_1(2, 2) * t2s_2(2, 2)),