19  t2(
j, 
k) = t2_4(
i, 
j) * t2_5(
k, 
i);
 
   21                  - (t2_4(0, 0) * t2_5(0, 0) + t2_4(1, 0) * t2_5(0, 1)
 
   22                     + t2_4(2, 0) * t2_5(0, 2) + t2_4(3, 0) * t2_5(0, 3)),
 
   23                "T2(i,j)*T2(k,i)(0,0)");
 
   25                  - (t2_4(0, 0) * t2_5(1, 0) + t2_4(1, 0) * t2_5(1, 1)
 
   26                     + t2_4(2, 0) * t2_5(1, 2) + t2_4(3, 0) * t2_5(1, 3)),
 
   27                "T2(i,j)*T2(k,i)(0,1)");
 
   29                  - (t2_4(0, 0) * t2_5(2, 0) + t2_4(1, 0) * t2_5(2, 1)
 
   30                     + t2_4(2, 0) * t2_5(2, 2) + t2_4(3, 0) * t2_5(2, 3)),
 
   31                "T2(i,j)*T2(k,i)(0,2)");
 
   33                  - (t2_4(0, 1) * t2_5(0, 0) + t2_4(1, 1) * t2_5(0, 1)
 
   34                     + t2_4(2, 1) * t2_5(0, 2) + t2_4(3, 1) * t2_5(0, 3)),
 
   35                "T2(i,j)*T2(k,i)(1,0)");
 
   37                  - (t2_4(0, 1) * t2_5(1, 0) + t2_4(1, 1) * t2_5(1, 1)
 
   38                     + t2_4(2, 1) * t2_5(1, 2) + t2_4(3, 1) * t2_5(1, 3)),
 
   39                "T2(i,j)*T2(k,i)(1,1)");
 
   41                  - (t2_4(0, 1) * t2_5(2, 0) + t2_4(1, 1) * t2_5(2, 1)
 
   42                     + t2_4(2, 1) * t2_5(2, 2) + t2_4(3, 1) * t2_5(2, 3)),
 
   43                "T2(i,j)*T2(k,i)(1,2)");
 
   45                  - (t2_4(0, 2) * t2_5(0, 0) + t2_4(1, 2) * t2_5(0, 1)
 
   46                     + t2_4(2, 2) * t2_5(0, 2) + t2_4(3, 2) * t2_5(0, 3)),
 
   47                "T2(i,j)*T2(k,i)(2,0)");
 
   49                  - (t2_4(0, 2) * t2_5(1, 0) + t2_4(1, 2) * t2_5(1, 1)
 
   50                     + t2_4(2, 2) * t2_5(1, 2) + t2_4(3, 2) * t2_5(1, 3)),
 
   51                "T2(i,j)*T2(k,i)(2,1)");
 
   53                  - (t2_4(0, 2) * t2_5(2, 0) + t2_4(1, 2) * t2_5(2, 1)
 
   54                     + t2_4(2, 2) * t2_5(2, 2) + t2_4(3, 2) * t2_5(2, 3)),
 
   55                "T2(i,j)*T2(k,i)(2,2)");