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)),