ACloudViewer  3.9.4
A Modern Library for 3D Data Processing
essential_matrix_poly.h
Go to the documentation of this file.
1 // ----------------------------------------------------------------------------
2 // - CloudViewer: www.cloudViewer.org -
3 // ----------------------------------------------------------------------------
4 // Copyright (c) 2018-2024 www.cloudViewer.org
5 // SPDX-License-Identifier: MIT
6 // ----------------------------------------------------------------------------
7 
8 {
9  double* a = A.data();
10  const double* e = E.data();
11 
12  double e2[36];
13  double e3[36];
14  for (size_t i = 0; i < 36; ++i) {
15  e2[i] = e[i] * e[i];
16  e3[i] = e2[i] * e[i];
17  }
18 
19  a[190] = e[33] * e[28] * e[32] - e[33] * e[31] * e[29] +
20  e[30] * e[34] * e[29] - e[30] * e[28] * e[35] -
21  e[27] * e[32] * e[34] + e[27] * e[31] * e[35];
22  a[7] = 0.5 * e[6] * e2[8] - 0.5 * e[6] * e2[5] + 0.5 * e3[6] +
23  0.5 * e[6] * e2[7] - 0.5 * e[6] * e2[4] + e[0] * e[2] * e[8] +
24  e[3] * e[4] * e[7] + e[3] * e[5] * e[8] + e[0] * e[1] * e[7] -
25  0.5 * e[6] * e2[1] - 0.5 * e[6] * e2[2] + 0.5 * e2[0] * e[6] +
26  0.5 * e2[3] * e[6];
27  a[120] =
28  e[30] * e[34] * e[2] + e[33] * e[1] * e[32] - e[3] * e[28] * e[35] +
29  e[0] * e[31] * e[35] + e[3] * e[34] * e[29] - e[30] * e[1] * e[35] +
30  e[27] * e[31] * e[8] - e[27] * e[32] * e[7] - e[30] * e[28] * e[8] -
31  e[33] * e[31] * e[2] - e[0] * e[32] * e[34] + e[6] * e[28] * e[32] -
32  e[33] * e[4] * e[29] + e[33] * e[28] * e[5] + e[30] * e[7] * e[29] +
33  e[27] * e[4] * e[35] - e[27] * e[5] * e[34] - e[6] * e[31] * e[29];
34  a[77] = e[9] * e[27] * e[15] + e[9] * e[29] * e[17] + e[9] * e[11] * e[35] +
35  e[9] * e[28] * e[16] + e[9] * e[10] * e[34] +
36  e[27] * e[11] * e[17] + e[27] * e[10] * e[16] +
37  e[12] * e[30] * e[15] + e[12] * e[32] * e[17] +
38  e[12] * e[14] * e[35] + e[12] * e[31] * e[16] +
39  e[12] * e[13] * e[34] + e[30] * e[14] * e[17] +
40  e[30] * e[13] * e[16] + e[15] * e[35] * e[17] +
41  e[15] * e[34] * e[16] - e[15] * e[28] * e[10] -
42  e[15] * e[31] * e[13] - e[15] * e[32] * e[14] -
43  e[15] * e[29] * e[11] + 0.5 * e2[9] * e[33] + 0.5 * e[33] * e2[16] -
44  0.5 * e[33] * e2[11] + 0.5 * e[33] * e2[12] + 1.5 * e[33] * e2[15] +
45  0.5 * e[33] * e2[17] - 0.5 * e[33] * e2[10] - 0.5 * e[33] * e2[14] -
46  0.5 * e[33] * e2[13];
47  a[180] = -e[33] * e[22] * e[29] - e[33] * e[31] * e[20] -
48  e[27] * e[32] * e[25] + e[27] * e[22] * e[35] -
49  e[27] * e[23] * e[34] + e[27] * e[31] * e[26] +
50  e[33] * e[28] * e[23] - e[21] * e[28] * e[35] +
51  e[30] * e[25] * e[29] + e[24] * e[28] * e[32] -
52  e[24] * e[31] * e[29] + e[18] * e[31] * e[35] -
53  e[30] * e[28] * e[26] - e[30] * e[19] * e[35] +
54  e[21] * e[34] * e[29] + e[33] * e[19] * e[32] -
55  e[18] * e[32] * e[34] + e[30] * e[34] * e[20];
56  a[87] = e[18] * e[2] * e[17] + e[3] * e[21] * e[15] + e[3] * e[12] * e[24] +
57  e[3] * e[23] * e[17] + e[3] * e[14] * e[26] + e[3] * e[22] * e[16] +
58  e[3] * e[13] * e[25] + 3. * e[6] * e[24] * e[15] +
59  e[6] * e[26] * e[17] + e[6] * e[25] * e[16] + e[0] * e[20] * e[17] +
60  e[0] * e[11] * e[26] + e[0] * e[19] * e[16] + e[0] * e[10] * e[25] +
61  e[15] * e[26] * e[8] - e[15] * e[20] * e[2] - e[15] * e[19] * e[1] -
62  e[15] * e[22] * e[4] + e[15] * e[25] * e[7] - e[15] * e[23] * e[5] +
63  e[12] * e[21] * e[6] + e[12] * e[22] * e[7] + e[12] * e[4] * e[25] +
64  e[12] * e[23] * e[8] + e[12] * e[5] * e[26] - e[24] * e[11] * e[2] -
65  e[24] * e[10] * e[1] - e[24] * e[13] * e[4] + e[24] * e[16] * e[7] -
66  e[24] * e[14] * e[5] + e[24] * e[17] * e[8] + e[21] * e[13] * e[7] +
67  e[21] * e[4] * e[16] + e[21] * e[14] * e[8] + e[21] * e[5] * e[17] -
68  e[6] * e[23] * e[14] - e[6] * e[20] * e[11] - e[6] * e[19] * e[10] -
69  e[6] * e[22] * e[13] + e[9] * e[18] * e[6] + e[9] * e[0] * e[24] +
70  e[9] * e[19] * e[7] + e[9] * e[1] * e[25] + e[9] * e[20] * e[8] +
71  e[9] * e[2] * e[26] + e[18] * e[0] * e[15] + e[18] * e[10] * e[7] +
72  e[18] * e[1] * e[16] + e[18] * e[11] * e[8];
73  a[150] = e[33] * e[10] * e[32] + e[33] * e[28] * e[14] -
74  e[33] * e[13] * e[29] - e[33] * e[31] * e[11] +
75  e[9] * e[31] * e[35] - e[9] * e[32] * e[34] +
76  e[27] * e[13] * e[35] - e[27] * e[32] * e[16] +
77  e[27] * e[31] * e[17] - e[27] * e[14] * e[34] +
78  e[12] * e[34] * e[29] - e[12] * e[28] * e[35] +
79  e[30] * e[34] * e[11] + e[30] * e[16] * e[29] -
80  e[30] * e[10] * e[35] - e[30] * e[28] * e[17] +
81  e[15] * e[28] * e[32] - e[15] * e[31] * e[29];
82  a[57] = e[0] * e[27] * e[6] + e[0] * e[28] * e[7] + e[0] * e[1] * e[34] +
83  e[0] * e[29] * e[8] + e[0] * e[2] * e[35] + e[6] * e[34] * e[7] -
84  e[6] * e[32] * e[5] + e[6] * e[30] * e[3] + e[6] * e[35] * e[8] -
85  e[6] * e[29] * e[2] - e[6] * e[28] * e[1] - e[6] * e[31] * e[4] +
86  e[27] * e[1] * e[7] + e[27] * e[2] * e[8] + e[3] * e[31] * e[7] +
87  e[3] * e[4] * e[34] + e[3] * e[32] * e[8] + e[3] * e[5] * e[35] +
88  e[30] * e[4] * e[7] + e[30] * e[5] * e[8] + 0.5 * e2[0] * e[33] +
89  1.5 * e[33] * e2[6] - 0.5 * e[33] * e2[4] - 0.5 * e[33] * e2[5] -
90  0.5 * e[33] * e2[1] + 0.5 * e[33] * e2[7] + 0.5 * e[33] * e2[3] -
91  0.5 * e[33] * e2[2] + 0.5 * e[33] * e2[8];
92  a[80] = -e[0] * e[23] * e[16] + e[9] * e[4] * e[26] + e[9] * e[22] * e[8] -
93  e[9] * e[5] * e[25] - e[9] * e[23] * e[7] + e[18] * e[4] * e[17] +
94  e[18] * e[13] * e[8] - e[18] * e[5] * e[16] - e[18] * e[14] * e[7] +
95  e[3] * e[16] * e[20] + e[3] * e[25] * e[11] - e[3] * e[10] * e[26] -
96  e[3] * e[19] * e[17] + e[12] * e[7] * e[20] + e[12] * e[25] * e[2] -
97  e[12] * e[1] * e[26] - e[12] * e[19] * e[8] + e[21] * e[7] * e[11] +
98  e[21] * e[16] * e[2] - e[21] * e[1] * e[17] - e[21] * e[10] * e[8] +
99  e[6] * e[10] * e[23] + e[6] * e[19] * e[14] - e[6] * e[13] * e[20] -
100  e[6] * e[22] * e[11] + e[15] * e[1] * e[23] + e[15] * e[19] * e[5] -
101  e[15] * e[4] * e[20] - e[15] * e[22] * e[2] + e[24] * e[1] * e[14] +
102  e[24] * e[10] * e[5] - e[24] * e[4] * e[11] - e[24] * e[13] * e[2] +
103  e[0] * e[13] * e[26] + e[0] * e[22] * e[17] - e[0] * e[14] * e[25];
104  a[167] = e[18] * e[19] * e[25] + 0.5 * e3[24] - 0.5 * e[24] * e2[23] +
105  e[18] * e[20] * e[26] + e[21] * e[22] * e[25] +
106  e[21] * e[23] * e[26] - 0.5 * e[24] * e2[19] +
107  0.5 * e2[21] * e[24] + 0.5 * e[24] * e2[26] -
108  0.5 * e[24] * e2[20] + 0.5 * e2[18] * e[24] -
109  0.5 * e[24] * e2[22] + 0.5 * e[24] * e2[25];
110  a[50] = -e[3] * e[1] * e[35] - e[0] * e[32] * e[7] + e[27] * e[4] * e[8] +
111  e[33] * e[1] * e[5] - e[33] * e[4] * e[2] + e[0] * e[4] * e[35] +
112  e[3] * e[34] * e[2] - e[30] * e[1] * e[8] + e[30] * e[7] * e[2] -
113  e[6] * e[4] * e[29] + e[3] * e[7] * e[29] + e[6] * e[1] * e[32] -
114  e[0] * e[5] * e[34] - e[3] * e[28] * e[8] + e[0] * e[31] * e[8] +
115  e[6] * e[28] * e[5] - e[6] * e[31] * e[2] - e[27] * e[5] * e[7];
116  a[97] = e[33] * e[16] * e[7] - e[33] * e[14] * e[5] + e[33] * e[17] * e[8] +
117  e[30] * e[13] * e[7] + e[30] * e[4] * e[16] + e[30] * e[14] * e[8] +
118  e[30] * e[5] * e[17] + e[6] * e[27] * e[9] - e[6] * e[28] * e[10] -
119  e[6] * e[31] * e[13] - e[6] * e[32] * e[14] - e[6] * e[29] * e[11] +
120  e[9] * e[28] * e[7] + e[9] * e[1] * e[34] + e[9] * e[29] * e[8] +
121  e[9] * e[2] * e[35] + e[27] * e[10] * e[7] + e[27] * e[1] * e[16] +
122  e[27] * e[11] * e[8] + e[27] * e[2] * e[17] + e[3] * e[30] * e[15] +
123  e[3] * e[12] * e[33] + e[3] * e[32] * e[17] + e[3] * e[14] * e[35] +
124  e[3] * e[31] * e[16] + e[3] * e[13] * e[34] +
125  3. * e[6] * e[33] * e[15] + e[6] * e[35] * e[17] +
126  e[6] * e[34] * e[16] + e[0] * e[27] * e[15] + e[0] * e[9] * e[33] +
127  e[0] * e[29] * e[17] + e[0] * e[11] * e[35] + e[0] * e[28] * e[16] +
128  e[0] * e[10] * e[34] + e[15] * e[34] * e[7] - e[15] * e[32] * e[5] +
129  e[15] * e[35] * e[8] - e[15] * e[29] * e[2] - e[15] * e[28] * e[1] -
130  e[15] * e[31] * e[4] + e[12] * e[30] * e[6] + e[12] * e[31] * e[7] +
131  e[12] * e[4] * e[34] + e[12] * e[32] * e[8] + e[12] * e[5] * e[35] -
132  e[33] * e[11] * e[2] - e[33] * e[10] * e[1] - e[33] * e[13] * e[4];
133  a[0] = e[6] * e[1] * e[5] - e[6] * e[4] * e[2] + e[3] * e[7] * e[2] +
134  e[0] * e[4] * e[8] - e[0] * e[5] * e[7] - e[3] * e[1] * e[8];
135  a[17] = 0.5 * e3[15] + e[9] * e[10] * e[16] - 0.5 * e[15] * e2[11] +
136  e[9] * e[11] * e[17] + 0.5 * e2[12] * e[15] + 0.5 * e[15] * e2[16] +
137  0.5 * e[15] * e2[17] - 0.5 * e[15] * e2[13] + 0.5 * e2[9] * e[15] +
138  e[12] * e[14] * e[17] - 0.5 * e[15] * e2[10] -
139  0.5 * e[15] * e2[14] + e[12] * e[13] * e[16];
140  a[70] = e[15] * e[28] * e[14] - e[15] * e[13] * e[29] -
141  e[15] * e[31] * e[11] + e[33] * e[10] * e[14] -
142  e[33] * e[13] * e[11] + e[9] * e[13] * e[35] -
143  e[9] * e[32] * e[16] + e[9] * e[31] * e[17] - e[9] * e[14] * e[34] +
144  e[27] * e[13] * e[17] - e[27] * e[14] * e[16] +
145  e[12] * e[34] * e[11] + e[12] * e[16] * e[29] -
146  e[12] * e[10] * e[35] - e[12] * e[28] * e[17] +
147  e[30] * e[16] * e[11] - e[30] * e[10] * e[17] +
148  e[15] * e[10] * e[32];
149  a[177] = e[18] * e[27] * e[24] + e[18] * e[28] * e[25] +
150  e[18] * e[19] * e[34] + e[18] * e[29] * e[26] +
151  e[18] * e[20] * e[35] + e[27] * e[19] * e[25] +
152  e[27] * e[20] * e[26] + e[21] * e[30] * e[24] +
153  e[21] * e[31] * e[25] + e[21] * e[22] * e[34] +
154  e[21] * e[32] * e[26] + e[21] * e[23] * e[35] +
155  e[30] * e[22] * e[25] + e[30] * e[23] * e[26] +
156  e[24] * e[34] * e[25] + e[24] * e[35] * e[26] -
157  e[24] * e[29] * e[20] - e[24] * e[31] * e[22] -
158  e[24] * e[32] * e[23] - e[24] * e[28] * e[19] +
159  1.5 * e[33] * e2[24] + 0.5 * e[33] * e2[25] +
160  0.5 * e[33] * e2[26] - 0.5 * e[33] * e2[23] -
161  0.5 * e[33] * e2[19] - 0.5 * e[33] * e2[20] -
162  0.5 * e[33] * e2[22] + 0.5 * e2[18] * e[33] + 0.5 * e2[21] * e[33];
163  a[170] = e[21] * e[25] * e[29] - e[27] * e[23] * e[25] +
164  e[24] * e[19] * e[32] - e[21] * e[28] * e[26] -
165  e[21] * e[19] * e[35] + e[18] * e[31] * e[26] -
166  e[30] * e[19] * e[26] - e[24] * e[31] * e[20] +
167  e[24] * e[28] * e[23] + e[27] * e[22] * e[26] +
168  e[30] * e[25] * e[20] - e[33] * e[22] * e[20] +
169  e[33] * e[19] * e[23] + e[21] * e[34] * e[20] -
170  e[18] * e[23] * e[34] - e[24] * e[22] * e[29] -
171  e[18] * e[32] * e[25] + e[18] * e[22] * e[35];
172  a[37] = e[12] * e[14] * e[8] + e[12] * e[5] * e[17] + e[15] * e[16] * e[7] +
173  e[15] * e[17] * e[8] + e[0] * e[11] * e[17] + e[0] * e[9] * e[15] +
174  e[0] * e[10] * e[16] + e[3] * e[14] * e[17] + e[3] * e[13] * e[16] +
175  e[9] * e[10] * e[7] + e[9] * e[1] * e[16] + e[9] * e[11] * e[8] +
176  e[9] * e[2] * e[17] - e[15] * e[11] * e[2] - e[15] * e[10] * e[1] -
177  e[15] * e[13] * e[4] - e[15] * e[14] * e[5] + e[12] * e[3] * e[15] +
178  e[12] * e[13] * e[7] + e[12] * e[4] * e[16] + 0.5 * e2[12] * e[6] +
179  1.5 * e2[15] * e[6] + 0.5 * e[6] * e2[17] + 0.5 * e[6] * e2[16] +
180  0.5 * e[6] * e2[9] - 0.5 * e[6] * e2[11] - 0.5 * e[6] * e2[10] -
181  0.5 * e[6] * e2[14] - 0.5 * e[6] * e2[13];
182  a[10] = -e[9] * e[14] * e[16] - e[12] * e[10] * e[17] +
183  e[9] * e[13] * e[17] - e[15] * e[13] * e[11] +
184  e[15] * e[10] * e[14] + e[12] * e[16] * e[11];
185  a[67] = e[21] * e[14] * e[17] + e[21] * e[13] * e[16] +
186  e[15] * e[26] * e[17] + e[15] * e[25] * e[16] -
187  e[15] * e[23] * e[14] - e[15] * e[20] * e[11] -
188  e[15] * e[19] * e[10] - e[15] * e[22] * e[13] +
189  e[9] * e[20] * e[17] + e[9] * e[11] * e[26] + e[9] * e[19] * e[16] +
190  e[9] * e[10] * e[25] + 0.5 * e2[12] * e[24] + 1.5 * e[24] * e2[15] +
191  0.5 * e[24] * e2[17] + 0.5 * e[24] * e2[16] + 0.5 * e2[9] * e[24] -
192  0.5 * e[24] * e2[11] - 0.5 * e[24] * e2[10] - 0.5 * e[24] * e2[14] -
193  0.5 * e[24] * e2[13] + e[18] * e[11] * e[17] +
194  e[18] * e[9] * e[15] + e[18] * e[10] * e[16] +
195  e[12] * e[21] * e[15] + e[12] * e[23] * e[17] +
196  e[12] * e[14] * e[26] + e[12] * e[22] * e[16] +
197  e[12] * e[13] * e[25];
198  a[90] = -e[9] * e[5] * e[34] + e[9] * e[31] * e[8] - e[9] * e[32] * e[7] +
199  e[27] * e[4] * e[17] + e[27] * e[13] * e[8] - e[27] * e[5] * e[16] -
200  e[27] * e[14] * e[7] + e[0] * e[13] * e[35] - e[0] * e[32] * e[16] +
201  e[0] * e[31] * e[17] - e[0] * e[14] * e[34] + e[9] * e[4] * e[35] +
202  e[6] * e[10] * e[32] + e[6] * e[28] * e[14] - e[6] * e[13] * e[29] -
203  e[6] * e[31] * e[11] + e[15] * e[1] * e[32] + e[3] * e[34] * e[11] +
204  e[3] * e[16] * e[29] - e[3] * e[10] * e[35] - e[3] * e[28] * e[17] -
205  e[12] * e[1] * e[35] + e[12] * e[7] * e[29] + e[12] * e[34] * e[2] -
206  e[12] * e[28] * e[8] + e[15] * e[28] * e[5] - e[15] * e[4] * e[29] -
207  e[15] * e[31] * e[2] + e[33] * e[1] * e[14] + e[33] * e[10] * e[5] -
208  e[33] * e[4] * e[11] - e[33] * e[13] * e[2] + e[30] * e[7] * e[11] +
209  e[30] * e[16] * e[2] - e[30] * e[1] * e[17] - e[30] * e[10] * e[8];
210  a[117] =
211  e[21] * e[31] * e[7] + e[21] * e[4] * e[34] + e[21] * e[32] * e[8] +
212  e[21] * e[5] * e[35] + e[30] * e[22] * e[7] + e[30] * e[4] * e[25] +
213  e[30] * e[23] * e[8] + e[30] * e[5] * e[26] +
214  3. * e[24] * e[33] * e[6] + e[24] * e[34] * e[7] +
215  e[24] * e[35] * e[8] + e[33] * e[25] * e[7] + e[33] * e[26] * e[8] +
216  e[0] * e[27] * e[24] + e[0] * e[18] * e[33] + e[0] * e[28] * e[25] +
217  e[0] * e[19] * e[34] + e[0] * e[29] * e[26] + e[0] * e[20] * e[35] +
218  e[18] * e[27] * e[6] + e[18] * e[28] * e[7] + e[18] * e[1] * e[34] +
219  e[18] * e[29] * e[8] + e[18] * e[2] * e[35] + e[27] * e[19] * e[7] +
220  e[27] * e[1] * e[25] + e[27] * e[20] * e[8] + e[27] * e[2] * e[26] +
221  e[3] * e[30] * e[24] + e[3] * e[21] * e[33] + e[3] * e[31] * e[25] +
222  e[3] * e[22] * e[34] + e[3] * e[32] * e[26] + e[3] * e[23] * e[35] +
223  e[6] * e[30] * e[21] - e[6] * e[29] * e[20] + e[6] * e[35] * e[26] -
224  e[6] * e[31] * e[22] - e[6] * e[32] * e[23] - e[6] * e[28] * e[19] +
225  e[6] * e[34] * e[25] - e[24] * e[32] * e[5] - e[24] * e[29] * e[2] -
226  e[24] * e[28] * e[1] - e[24] * e[31] * e[4] - e[33] * e[20] * e[2] -
227  e[33] * e[19] * e[1] - e[33] * e[22] * e[4] - e[33] * e[23] * e[5];
228  a[160] = e[21] * e[25] * e[20] - e[21] * e[19] * e[26] +
229  e[18] * e[22] * e[26] - e[18] * e[23] * e[25] -
230  e[24] * e[22] * e[20] + e[24] * e[19] * e[23];
231  a[47] = e[3] * e[4] * e[25] + e[3] * e[23] * e[8] + e[3] * e[5] * e[26] +
232  e[21] * e[4] * e[7] + e[21] * e[5] * e[8] + e[6] * e[25] * e[7] +
233  e[6] * e[26] * e[8] + e[0] * e[19] * e[7] + e[0] * e[1] * e[25] +
234  e[0] * e[20] * e[8] + e[0] * e[2] * e[26] - e[6] * e[20] * e[2] -
235  e[6] * e[19] * e[1] - e[6] * e[22] * e[4] - e[6] * e[23] * e[5] +
236  e[18] * e[1] * e[7] + e[18] * e[0] * e[6] + e[18] * e[2] * e[8] +
237  e[3] * e[21] * e[6] + e[3] * e[22] * e[7] - 0.5 * e[24] * e2[4] +
238  0.5 * e[24] * e2[0] + 1.5 * e[24] * e2[6] - 0.5 * e[24] * e2[5] -
239  0.5 * e[24] * e2[1] + 0.5 * e[24] * e2[7] + 0.5 * e[24] * e2[3] -
240  0.5 * e[24] * e2[2] + 0.5 * e[24] * e2[8];
241  a[110] =
242  e[6] * e[28] * e[23] - e[6] * e[22] * e[29] - e[6] * e[31] * e[20] -
243  e[3] * e[19] * e[35] + e[3] * e[34] * e[20] + e[3] * e[25] * e[29] -
244  e[21] * e[1] * e[35] + e[21] * e[7] * e[29] + e[21] * e[34] * e[2] +
245  e[24] * e[1] * e[32] + e[24] * e[28] * e[5] - e[24] * e[4] * e[29] -
246  e[24] * e[31] * e[2] + e[33] * e[1] * e[23] + e[33] * e[19] * e[5] -
247  e[33] * e[4] * e[20] - e[33] * e[22] * e[2] - e[21] * e[28] * e[8] +
248  e[30] * e[7] * e[20] + e[30] * e[25] * e[2] - e[30] * e[1] * e[26] +
249  e[18] * e[4] * e[35] - e[18] * e[5] * e[34] + e[18] * e[31] * e[8] -
250  e[18] * e[32] * e[7] + e[27] * e[4] * e[26] + e[27] * e[22] * e[8] -
251  e[27] * e[5] * e[25] - e[27] * e[23] * e[7] - e[3] * e[28] * e[26] -
252  e[0] * e[32] * e[25] + e[0] * e[22] * e[35] - e[0] * e[23] * e[34] +
253  e[0] * e[31] * e[26] - e[30] * e[19] * e[8] + e[6] * e[19] * e[32];
254  a[107] =
255  0.5 * e2[18] * e[6] + 0.5 * e2[21] * e[6] + 1.5 * e2[24] * e[6] +
256  0.5 * e[6] * e2[26] - 0.5 * e[6] * e2[23] - 0.5 * e[6] * e2[19] -
257  0.5 * e[6] * e2[20] - 0.5 * e[6] * e2[22] + 0.5 * e[6] * e2[25] +
258  e[21] * e[3] * e[24] + e[18] * e[20] * e[8] + e[21] * e[4] * e[25] +
259  e[18] * e[19] * e[7] + e[18] * e[1] * e[25] + e[21] * e[22] * e[7] +
260  e[21] * e[23] * e[8] + e[18] * e[0] * e[24] + e[18] * e[2] * e[26] +
261  e[21] * e[5] * e[26] + e[24] * e[26] * e[8] - e[24] * e[20] * e[2] -
262  e[24] * e[19] * e[1] - e[24] * e[22] * e[4] + e[24] * e[25] * e[7] -
263  e[24] * e[23] * e[5] + e[0] * e[19] * e[25] + e[0] * e[20] * e[26] +
264  e[3] * e[22] * e[25] + e[3] * e[23] * e[26];
265  a[40] = e[18] * e[4] * e[8] + e[3] * e[7] * e[20] + e[3] * e[25] * e[2] -
266  e[3] * e[1] * e[26] - e[18] * e[5] * e[7] + e[6] * e[1] * e[23] +
267  e[6] * e[19] * e[5] - e[6] * e[4] * e[20] - e[6] * e[22] * e[2] +
268  e[21] * e[7] * e[2] - e[21] * e[1] * e[8] + e[24] * e[1] * e[5] -
269  e[24] * e[4] * e[2] - e[3] * e[19] * e[8] + e[0] * e[4] * e[26] +
270  e[0] * e[22] * e[8] - e[0] * e[5] * e[25] - e[0] * e[23] * e[7];
271  a[27] = e[9] * e[1] * e[7] + e[9] * e[0] * e[6] + e[9] * e[2] * e[8] +
272  e[3] * e[12] * e[6] + e[3] * e[13] * e[7] + e[3] * e[4] * e[16] +
273  e[3] * e[14] * e[8] + e[3] * e[5] * e[17] + e[12] * e[4] * e[7] +
274  e[12] * e[5] * e[8] + e[6] * e[16] * e[7] + e[6] * e[17] * e[8] -
275  e[6] * e[11] * e[2] - e[6] * e[10] * e[1] - e[6] * e[13] * e[4] -
276  e[6] * e[14] * e[5] + e[0] * e[10] * e[7] + e[0] * e[1] * e[16] +
277  e[0] * e[11] * e[8] + e[0] * e[2] * e[17] + 0.5 * e2[3] * e[15] +
278  1.5 * e[15] * e2[6] + 0.5 * e[15] * e2[7] + 0.5 * e[15] * e2[8] +
279  0.5 * e2[0] * e[15] - 0.5 * e[15] * e2[4] - 0.5 * e[15] * e2[5] -
280  0.5 * e[15] * e2[1] - 0.5 * e[15] * e2[2];
281  a[30] = -e[15] * e[13] * e[2] - e[6] * e[13] * e[11] -
282  e[15] * e[4] * e[11] + e[12] * e[16] * e[2] - e[3] * e[10] * e[17] +
283  e[3] * e[16] * e[11] + e[0] * e[13] * e[17] - e[0] * e[14] * e[16] +
284  e[15] * e[1] * e[14] - e[12] * e[10] * e[8] + e[9] * e[4] * e[17] +
285  e[9] * e[13] * e[8] - e[9] * e[5] * e[16] - e[9] * e[14] * e[7] +
286  e[15] * e[10] * e[5] + e[12] * e[7] * e[11] + e[6] * e[10] * e[14] -
287  e[12] * e[1] * e[17];
288  a[147] = e[12] * e[30] * e[24] + e[12] * e[21] * e[33] +
289  e[12] * e[31] * e[25] + e[12] * e[22] * e[34] +
290  e[12] * e[32] * e[26] + e[12] * e[23] * e[35] +
291  e[9] * e[27] * e[24] + e[9] * e[18] * e[33] +
292  e[9] * e[28] * e[25] + e[9] * e[19] * e[34] +
293  e[9] * e[29] * e[26] + e[9] * e[20] * e[35] +
294  e[21] * e[30] * e[15] + e[21] * e[32] * e[17] +
295  e[21] * e[14] * e[35] + e[21] * e[31] * e[16] +
296  e[21] * e[13] * e[34] + e[30] * e[23] * e[17] +
297  e[30] * e[14] * e[26] + e[30] * e[22] * e[16] +
298  e[30] * e[13] * e[25] + e[15] * e[27] * e[18] +
299  3. * e[15] * e[33] * e[24] - e[15] * e[29] * e[20] +
300  e[15] * e[35] * e[26] - e[15] * e[31] * e[22] -
301  e[15] * e[32] * e[23] - e[15] * e[28] * e[19] +
302  e[15] * e[34] * e[25] + e[18] * e[29] * e[17] +
303  e[18] * e[11] * e[35] + e[18] * e[28] * e[16] +
304  e[18] * e[10] * e[34] + e[27] * e[20] * e[17] +
305  e[27] * e[11] * e[26] + e[27] * e[19] * e[16] +
306  e[27] * e[10] * e[25] - e[24] * e[28] * e[10] -
307  e[24] * e[31] * e[13] - e[24] * e[32] * e[14] +
308  e[24] * e[34] * e[16] + e[24] * e[35] * e[17] -
309  e[24] * e[29] * e[11] - e[33] * e[23] * e[14] +
310  e[33] * e[25] * e[16] + e[33] * e[26] * e[17] -
311  e[33] * e[20] * e[11] - e[33] * e[19] * e[10] -
312  e[33] * e[22] * e[13];
313  a[60] = e[18] * e[13] * e[17] + e[9] * e[13] * e[26] +
314  e[9] * e[22] * e[17] - e[9] * e[14] * e[25] -
315  e[18] * e[14] * e[16] - e[15] * e[13] * e[20] -
316  e[15] * e[22] * e[11] + e[12] * e[16] * e[20] +
317  e[12] * e[25] * e[11] - e[12] * e[10] * e[26] -
318  e[12] * e[19] * e[17] + e[21] * e[16] * e[11] -
319  e[21] * e[10] * e[17] - e[9] * e[23] * e[16] +
320  e[24] * e[10] * e[14] - e[24] * e[13] * e[11] +
321  e[15] * e[10] * e[23] + e[15] * e[19] * e[14];
322  a[137] = e[21] * e[12] * e[24] + e[21] * e[23] * e[17] +
323  e[21] * e[14] * e[26] + e[21] * e[22] * e[16] +
324  e[21] * e[13] * e[25] + e[24] * e[26] * e[17] +
325  e[24] * e[25] * e[16] + e[9] * e[19] * e[25] +
326  e[9] * e[18] * e[24] + e[9] * e[20] * e[26] +
327  e[12] * e[22] * e[25] + e[12] * e[23] * e[26] +
328  e[18] * e[20] * e[17] + e[18] * e[11] * e[26] +
329  e[18] * e[19] * e[16] + e[18] * e[10] * e[25] -
330  e[24] * e[23] * e[14] - e[24] * e[20] * e[11] -
331  e[24] * e[19] * e[10] - e[24] * e[22] * e[13] +
332  0.5 * e2[21] * e[15] + 1.5 * e2[24] * e[15] +
333  0.5 * e[15] * e2[25] + 0.5 * e[15] * e2[26] +
334  0.5 * e[15] * e2[18] - 0.5 * e[15] * e2[23] -
335  0.5 * e[15] * e2[19] - 0.5 * e[15] * e2[20] - 0.5 * e[15] * e2[22];
336  a[20] = e[6] * e[1] * e[14] + e[15] * e[1] * e[5] - e[0] * e[5] * e[16] -
337  e[0] * e[14] * e[7] + e[0] * e[13] * e[8] - e[15] * e[4] * e[2] +
338  e[12] * e[7] * e[2] + e[6] * e[10] * e[5] + e[3] * e[7] * e[11] -
339  e[6] * e[4] * e[11] + e[3] * e[16] * e[2] - e[6] * e[13] * e[2] -
340  e[3] * e[1] * e[17] - e[9] * e[5] * e[7] - e[3] * e[10] * e[8] -
341  e[12] * e[1] * e[8] + e[0] * e[4] * e[17] + e[9] * e[4] * e[8];
342  a[16] = -0.5 * e[14] * e2[16] - 0.5 * e[14] * e2[10] - 0.5 * e[14] * e2[9] +
343  e[11] * e[9] * e[12] + 0.5 * e3[14] + e[17] * e[13] * e[16] +
344  0.5 * e[14] * e2[12] + e[11] * e[10] * e[13] -
345  0.5 * e[14] * e2[15] + 0.5 * e[14] * e2[17] +
346  e[17] * e[12] * e[15] + 0.5 * e2[11] * e[14] + 0.5 * e[14] * e2[13];
347  a[100] =
348  -e[21] * e[19] * e[8] + e[18] * e[4] * e[26] -
349  e[18] * e[5] * e[25] - e[18] * e[23] * e[7] + e[21] * e[25] * e[2] -
350  e[21] * e[1] * e[26] + e[6] * e[19] * e[23] + e[18] * e[22] * e[8] -
351  e[0] * e[23] * e[25] - e[6] * e[22] * e[20] + e[24] * e[1] * e[23] +
352  e[24] * e[19] * e[5] - e[24] * e[4] * e[20] - e[24] * e[22] * e[2] +
353  e[3] * e[25] * e[20] - e[3] * e[19] * e[26] + e[0] * e[22] * e[26] +
354  e[21] * e[7] * e[20];
355  a[176] =
356  0.5 * e2[20] * e[32] + 1.5 * e[32] * e2[23] + 0.5 * e[32] * e2[22] +
357  0.5 * e[32] * e2[21] + 0.5 * e[32] * e2[26] - 0.5 * e[32] * e2[18] -
358  0.5 * e[32] * e2[19] - 0.5 * e[32] * e2[24] - 0.5 * e[32] * e2[25] +
359  e[20] * e[27] * e[21] + e[20] * e[18] * e[30] +
360  e[20] * e[28] * e[22] + e[20] * e[19] * e[31] +
361  e[20] * e[29] * e[23] + e[29] * e[19] * e[22] +
362  e[29] * e[18] * e[21] + e[23] * e[30] * e[21] +
363  e[23] * e[31] * e[22] + e[26] * e[30] * e[24] +
364  e[26] * e[21] * e[33] + e[26] * e[31] * e[25] +
365  e[26] * e[22] * e[34] + e[26] * e[23] * e[35] +
366  e[35] * e[22] * e[25] + e[35] * e[21] * e[24] -
367  e[23] * e[27] * e[18] - e[23] * e[33] * e[24] -
368  e[23] * e[28] * e[19] - e[23] * e[34] * e[25];
369  a[130] = -e[9] * e[23] * e[25] - e[21] * e[10] * e[26] -
370  e[21] * e[19] * e[17] - e[18] * e[23] * e[16] +
371  e[18] * e[13] * e[26] + e[12] * e[25] * e[20] -
372  e[12] * e[19] * e[26] - e[15] * e[22] * e[20] +
373  e[21] * e[16] * e[20] + e[21] * e[25] * e[11] +
374  e[24] * e[10] * e[23] + e[24] * e[19] * e[14] -
375  e[24] * e[13] * e[20] - e[24] * e[22] * e[11] +
376  e[18] * e[22] * e[17] - e[18] * e[14] * e[25] +
377  e[9] * e[22] * e[26] + e[15] * e[19] * e[23];
378  a[166] = 0.5 * e[23] * e2[21] + e[20] * e[19] * e[22] +
379  e[20] * e[18] * e[21] + 0.5 * e3[23] + e[26] * e[22] * e[25] +
380  0.5 * e[23] * e2[26] - 0.5 * e[23] * e2[18] +
381  0.5 * e[23] * e2[22] - 0.5 * e[23] * e2[19] +
382  e[26] * e[21] * e[24] + 0.5 * e2[20] * e[23] -
383  0.5 * e[23] * e2[24] - 0.5 * e[23] * e2[25];
384  a[140] = e[18] * e[13] * e[35] - e[18] * e[32] * e[16] +
385  e[18] * e[31] * e[17] - e[18] * e[14] * e[34] +
386  e[27] * e[13] * e[26] + e[27] * e[22] * e[17] -
387  e[27] * e[14] * e[25] - e[27] * e[23] * e[16] -
388  e[9] * e[32] * e[25] + e[9] * e[22] * e[35] -
389  e[9] * e[23] * e[34] + e[9] * e[31] * e[26] +
390  e[15] * e[19] * e[32] + e[15] * e[28] * e[23] -
391  e[15] * e[22] * e[29] - e[15] * e[31] * e[20] +
392  e[24] * e[10] * e[32] + e[24] * e[28] * e[14] -
393  e[24] * e[13] * e[29] - e[24] * e[31] * e[11] +
394  e[33] * e[10] * e[23] + e[33] * e[19] * e[14] -
395  e[33] * e[13] * e[20] - e[33] * e[22] * e[11] +
396  e[21] * e[16] * e[29] - e[21] * e[10] * e[35] -
397  e[21] * e[28] * e[17] + e[30] * e[16] * e[20] +
398  e[30] * e[25] * e[11] - e[30] * e[10] * e[26] -
399  e[30] * e[19] * e[17] - e[12] * e[28] * e[26] -
400  e[12] * e[19] * e[35] + e[12] * e[34] * e[20] +
401  e[12] * e[25] * e[29] + e[21] * e[34] * e[11];
402  a[96] = -e[32] * e[10] * e[1] + e[32] * e[13] * e[4] -
403  e[32] * e[16] * e[7] - e[32] * e[15] * e[6] - e[32] * e[9] * e[0] +
404  e[32] * e[12] * e[3] + e[17] * e[30] * e[6] + e[17] * e[3] * e[33] +
405  e[17] * e[31] * e[7] + e[17] * e[4] * e[34] + e[17] * e[5] * e[35] -
406  e[5] * e[27] * e[9] - e[5] * e[28] * e[10] - e[5] * e[33] * e[15] -
407  e[5] * e[34] * e[16] + e[5] * e[29] * e[11] + e[35] * e[12] * e[6] +
408  e[35] * e[3] * e[15] + e[35] * e[13] * e[7] + e[35] * e[4] * e[16] +
409  e[11] * e[27] * e[3] + e[11] * e[0] * e[30] + e[11] * e[28] * e[4] +
410  e[11] * e[1] * e[31] + e[29] * e[9] * e[3] + e[29] * e[0] * e[12] +
411  e[29] * e[10] * e[4] + e[29] * e[1] * e[13] + e[5] * e[30] * e[12] +
412  3. * e[5] * e[32] * e[14] + e[5] * e[31] * e[13] +
413  e[8] * e[30] * e[15] + e[8] * e[12] * e[33] + e[8] * e[32] * e[17] +
414  e[8] * e[14] * e[35] + e[8] * e[31] * e[16] + e[8] * e[13] * e[34] +
415  e[2] * e[27] * e[12] + e[2] * e[9] * e[30] + e[2] * e[29] * e[14] +
416  e[2] * e[11] * e[32] + e[2] * e[28] * e[13] + e[2] * e[10] * e[31] -
417  e[14] * e[27] * e[0] - e[14] * e[34] * e[7] - e[14] * e[33] * e[6] +
418  e[14] * e[30] * e[3] - e[14] * e[28] * e[1] + e[14] * e[31] * e[4];
419  a[181] =
420  0.5 * e[18] * e2[29] + 0.5 * e[18] * e2[28] + 0.5 * e[18] * e2[30] +
421  0.5 * e[18] * e2[33] - 0.5 * e[18] * e2[32] - 0.5 * e[18] * e2[31] -
422  0.5 * e[18] * e2[34] - 0.5 * e[18] * e2[35] + 1.5 * e[18] * e2[27] +
423  e[27] * e[28] * e[19] + e[27] * e[29] * e[20] +
424  e[21] * e[27] * e[30] + e[21] * e[29] * e[32] +
425  e[21] * e[28] * e[31] + e[30] * e[28] * e[22] +
426  e[30] * e[19] * e[31] + e[30] * e[29] * e[23] +
427  e[30] * e[20] * e[32] + e[24] * e[27] * e[33] +
428  e[24] * e[29] * e[35] + e[24] * e[28] * e[34] +
429  e[33] * e[28] * e[25] + e[33] * e[19] * e[34] +
430  e[33] * e[29] * e[26] + e[33] * e[20] * e[35] -
431  e[27] * e[35] * e[26] - e[27] * e[31] * e[22] -
432  e[27] * e[32] * e[23] - e[27] * e[34] * e[25];
433  a[46] = e[20] * e[1] * e[4] + e[20] * e[0] * e[3] + e[20] * e[2] * e[5] +
434  e[5] * e[21] * e[3] + e[5] * e[22] * e[4] + e[8] * e[21] * e[6] +
435  e[8] * e[3] * e[24] + e[8] * e[22] * e[7] + e[8] * e[4] * e[25] +
436  e[8] * e[5] * e[26] + e[26] * e[4] * e[7] + e[26] * e[3] * e[6] +
437  e[2] * e[18] * e[3] + e[2] * e[0] * e[21] + e[2] * e[19] * e[4] +
438  e[2] * e[1] * e[22] - e[5] * e[19] * e[1] - e[5] * e[18] * e[0] -
439  e[5] * e[25] * e[7] - e[5] * e[24] * e[6] + 0.5 * e[23] * e2[4] -
440  0.5 * e[23] * e2[0] - 0.5 * e[23] * e2[6] + 1.5 * e[23] * e2[5] -
441  0.5 * e[23] * e2[1] - 0.5 * e[23] * e2[7] + 0.5 * e[23] * e2[3] +
442  0.5 * e[23] * e2[2] + 0.5 * e[23] * e2[8];
443  a[151] = 1.5 * e[9] * e2[27] + 0.5 * e[9] * e2[29] + 0.5 * e[9] * e2[28] -
444  0.5 * e[9] * e2[32] - 0.5 * e[9] * e2[31] + 0.5 * e[9] * e2[33] +
445  0.5 * e[9] * e2[30] - 0.5 * e[9] * e2[34] - 0.5 * e[9] * e2[35] +
446  e[33] * e[27] * e[15] + e[33] * e[29] * e[17] +
447  e[33] * e[11] * e[35] + e[33] * e[28] * e[16] +
448  e[33] * e[10] * e[34] + e[27] * e[29] * e[11] +
449  e[27] * e[28] * e[10] + e[27] * e[30] * e[12] -
450  e[27] * e[31] * e[13] - e[27] * e[32] * e[14] -
451  e[27] * e[34] * e[16] - e[27] * e[35] * e[17] +
452  e[30] * e[29] * e[14] + e[30] * e[11] * e[32] +
453  e[30] * e[28] * e[13] + e[30] * e[10] * e[31] +
454  e[12] * e[29] * e[32] + e[12] * e[28] * e[31] +
455  e[15] * e[29] * e[35] + e[15] * e[28] * e[34];
456  a[116] =
457  -e[32] * e[24] * e[6] + e[8] * e[30] * e[24] +
458  e[8] * e[21] * e[33] + e[8] * e[31] * e[25] + e[8] * e[22] * e[34] +
459  e[26] * e[30] * e[6] + e[26] * e[3] * e[33] + e[26] * e[31] * e[7] +
460  e[26] * e[4] * e[34] + e[26] * e[32] * e[8] + e[26] * e[5] * e[35] +
461  e[35] * e[21] * e[6] + e[35] * e[3] * e[24] + e[35] * e[22] * e[7] +
462  e[35] * e[4] * e[25] + e[35] * e[23] * e[8] + e[2] * e[27] * e[21] +
463  e[2] * e[18] * e[30] + e[2] * e[28] * e[22] + e[2] * e[19] * e[31] +
464  e[2] * e[29] * e[23] + e[2] * e[20] * e[32] + e[20] * e[27] * e[3] +
465  e[20] * e[0] * e[30] + e[20] * e[28] * e[4] + e[20] * e[1] * e[31] +
466  e[20] * e[29] * e[5] + e[29] * e[18] * e[3] + e[29] * e[0] * e[21] +
467  e[29] * e[19] * e[4] + e[29] * e[1] * e[22] + e[5] * e[30] * e[21] +
468  e[5] * e[31] * e[22] + 3. * e[5] * e[32] * e[23] -
469  e[5] * e[27] * e[18] - e[5] * e[33] * e[24] - e[5] * e[28] * e[19] -
470  e[5] * e[34] * e[25] - e[23] * e[27] * e[0] - e[23] * e[34] * e[7] -
471  e[23] * e[33] * e[6] + e[23] * e[30] * e[3] - e[23] * e[28] * e[1] +
472  e[23] * e[31] * e[4] + e[32] * e[21] * e[3] - e[32] * e[19] * e[1] +
473  e[32] * e[22] * e[4] - e[32] * e[18] * e[0] - e[32] * e[25] * e[7];
474  a[191] = 0.5 * e[27] * e2[33] - 0.5 * e[27] * e2[32] -
475  0.5 * e[27] * e2[31] - 0.5 * e[27] * e2[34] -
476  0.5 * e[27] * e2[35] + e[33] * e[29] * e[35] +
477  0.5 * e[27] * e2[29] + e[30] * e[29] * e[32] +
478  e[30] * e[28] * e[31] + e[33] * e[28] * e[34] +
479  0.5 * e[27] * e2[28] + 0.5 * e[27] * e2[30] + 0.5 * e3[27];
480  a[66] = e[14] * e[21] * e[12] + e[14] * e[22] * e[13] +
481  e[17] * e[21] * e[15] + e[17] * e[12] * e[24] +
482  e[17] * e[14] * e[26] + e[17] * e[22] * e[16] +
483  e[17] * e[13] * e[25] + e[26] * e[12] * e[15] +
484  e[26] * e[13] * e[16] - e[14] * e[24] * e[15] -
485  e[14] * e[25] * e[16] - e[14] * e[18] * e[9] -
486  e[14] * e[19] * e[10] + e[11] * e[18] * e[12] +
487  e[11] * e[9] * e[21] + e[11] * e[19] * e[13] +
488  e[11] * e[10] * e[22] + e[20] * e[11] * e[14] +
489  e[20] * e[9] * e[12] + e[20] * e[10] * e[13] +
490  1.5 * e[23] * e2[14] + 0.5 * e[23] * e2[12] + 0.5 * e[23] * e2[13] +
491  0.5 * e[23] * e2[17] + 0.5 * e2[11] * e[23] - 0.5 * e[23] * e2[16] -
492  0.5 * e[23] * e2[9] - 0.5 * e[23] * e2[15] - 0.5 * e[23] * e2[10];
493  a[121] =
494  1.5 * e[0] * e2[27] + 0.5 * e[0] * e2[29] + 0.5 * e[0] * e2[28] +
495  0.5 * e[0] * e2[30] - 0.5 * e[0] * e2[32] - 0.5 * e[0] * e2[31] +
496  0.5 * e[0] * e2[33] - 0.5 * e[0] * e2[34] - 0.5 * e[0] * e2[35] -
497  e[27] * e[31] * e[4] + e[3] * e[27] * e[30] + e[3] * e[29] * e[32] +
498  e[3] * e[28] * e[31] + e[30] * e[28] * e[4] + e[30] * e[1] * e[31] +
499  e[30] * e[29] * e[5] + e[30] * e[2] * e[32] + e[6] * e[27] * e[33] +
500  e[6] * e[29] * e[35] + e[6] * e[28] * e[34] + e[27] * e[28] * e[1] +
501  e[27] * e[29] * e[2] + e[33] * e[28] * e[7] + e[33] * e[1] * e[34] +
502  e[33] * e[29] * e[8] + e[33] * e[2] * e[35] - e[27] * e[34] * e[7] -
503  e[27] * e[32] * e[5] - e[27] * e[35] * e[8];
504  a[36] = e[14] * e[12] * e[3] + e[14] * e[13] * e[4] + e[17] * e[12] * e[6] +
505  e[17] * e[3] * e[15] + e[17] * e[13] * e[7] + e[17] * e[4] * e[16] +
506  e[17] * e[14] * e[8] + e[8] * e[12] * e[15] + e[8] * e[13] * e[16] +
507  e[2] * e[11] * e[14] + e[2] * e[9] * e[12] + e[2] * e[10] * e[13] +
508  e[11] * e[9] * e[3] + e[11] * e[0] * e[12] + e[11] * e[10] * e[4] +
509  e[11] * e[1] * e[13] - e[14] * e[10] * e[1] - e[14] * e[16] * e[7] -
510  e[14] * e[15] * e[6] - e[14] * e[9] * e[0] - 0.5 * e[5] * e2[16] -
511  0.5 * e[5] * e2[9] + 0.5 * e[5] * e2[11] + 0.5 * e[5] * e2[12] -
512  0.5 * e[5] * e2[15] - 0.5 * e[5] * e2[10] + 0.5 * e[5] * e2[13] +
513  1.5 * e2[14] * e[5] + 0.5 * e[5] * e2[17];
514  a[71] = 1.5 * e[27] * e2[9] - 0.5 * e[27] * e2[16] + 0.5 * e[27] * e2[11] +
515  0.5 * e[27] * e2[12] + 0.5 * e[27] * e2[15] - 0.5 * e[27] * e2[17] +
516  0.5 * e[27] * e2[10] - 0.5 * e[27] * e2[14] - 0.5 * e[27] * e2[13] +
517  e[12] * e[10] * e[31] + e[30] * e[11] * e[14] +
518  e[30] * e[10] * e[13] + e[15] * e[9] * e[33] +
519  e[15] * e[29] * e[17] + e[15] * e[11] * e[35] +
520  e[15] * e[28] * e[16] + e[15] * e[10] * e[34] +
521  e[33] * e[11] * e[17] + e[33] * e[10] * e[16] -
522  e[9] * e[31] * e[13] - e[9] * e[32] * e[14] - e[9] * e[34] * e[16] -
523  e[9] * e[35] * e[17] + e[9] * e[29] * e[11] + e[9] * e[28] * e[10] +
524  e[12] * e[9] * e[30] + e[12] * e[29] * e[14] +
525  e[12] * e[11] * e[32] + e[12] * e[28] * e[13];
526  a[146] = e[29] * e[18] * e[12] + e[29] * e[9] * e[21] +
527  e[29] * e[19] * e[13] + e[29] * e[10] * e[22] +
528  e[17] * e[30] * e[24] + e[17] * e[21] * e[33] +
529  e[17] * e[31] * e[25] + e[17] * e[22] * e[34] +
530  e[17] * e[32] * e[26] + e[17] * e[23] * e[35] -
531  e[23] * e[27] * e[9] - e[23] * e[28] * e[10] -
532  e[23] * e[33] * e[15] - e[23] * e[34] * e[16] -
533  e[32] * e[24] * e[15] - e[32] * e[25] * e[16] -
534  e[32] * e[18] * e[9] - e[32] * e[19] * e[10] +
535  e[26] * e[30] * e[15] + e[26] * e[12] * e[33] +
536  e[26] * e[31] * e[16] + e[26] * e[13] * e[34] +
537  e[35] * e[21] * e[15] + e[35] * e[12] * e[24] +
538  e[35] * e[22] * e[16] + e[35] * e[13] * e[25] +
539  e[14] * e[30] * e[21] + e[14] * e[31] * e[22] +
540  3. * e[14] * e[32] * e[23] + e[11] * e[27] * e[21] +
541  e[11] * e[18] * e[30] + e[11] * e[28] * e[22] +
542  e[11] * e[19] * e[31] + e[11] * e[29] * e[23] +
543  e[11] * e[20] * e[32] + e[23] * e[30] * e[12] +
544  e[23] * e[31] * e[13] + e[32] * e[21] * e[12] +
545  e[32] * e[22] * e[13] - e[14] * e[27] * e[18] -
546  e[14] * e[33] * e[24] + e[14] * e[29] * e[20] +
547  e[14] * e[35] * e[26] - e[14] * e[28] * e[19] -
548  e[14] * e[34] * e[25] + e[20] * e[27] * e[12] +
549  e[20] * e[9] * e[30] + e[20] * e[28] * e[13] +
550  e[20] * e[10] * e[31];
551  a[1] = 0.5 * e[0] * e2[1] + 0.5 * e[0] * e2[2] + e[6] * e[2] * e[8] +
552  e[6] * e[1] * e[7] + 0.5 * e[0] * e2[3] + e[3] * e[1] * e[4] +
553  0.5 * e[0] * e2[6] + e[3] * e[2] * e[5] - 0.5 * e[0] * e2[5] -
554  0.5 * e[0] * e2[8] + 0.5 * e3[0] - 0.5 * e[0] * e2[7] -
555  0.5 * e[0] * e2[4];
556  a[136] =
557  1.5 * e2[23] * e[14] + 0.5 * e[14] * e2[26] - 0.5 * e[14] * e2[18] -
558  0.5 * e[14] * e2[19] + 0.5 * e[14] * e2[20] + 0.5 * e[14] * e2[22] -
559  0.5 * e[14] * e2[24] + 0.5 * e[14] * e2[21] - 0.5 * e[14] * e2[25] +
560  e[23] * e[21] * e[12] + e[23] * e[22] * e[13] +
561  e[26] * e[21] * e[15] + e[26] * e[12] * e[24] +
562  e[26] * e[23] * e[17] + e[26] * e[22] * e[16] +
563  e[26] * e[13] * e[25] + e[17] * e[22] * e[25] +
564  e[17] * e[21] * e[24] + e[11] * e[19] * e[22] +
565  e[11] * e[18] * e[21] + e[11] * e[20] * e[23] +
566  e[20] * e[18] * e[12] + e[20] * e[9] * e[21] +
567  e[20] * e[19] * e[13] + e[20] * e[10] * e[22] -
568  e[23] * e[24] * e[15] - e[23] * e[25] * e[16] -
569  e[23] * e[18] * e[9] - e[23] * e[19] * e[10];
570  a[51] = 1.5 * e[27] * e2[0] - 0.5 * e[27] * e2[4] + 0.5 * e[27] * e2[6] -
571  0.5 * e[27] * e2[5] + 0.5 * e[27] * e2[1] - 0.5 * e[27] * e2[7] +
572  0.5 * e[27] * e2[3] + 0.5 * e[27] * e2[2] - 0.5 * e[27] * e2[8] +
573  e[0] * e[33] * e[6] + e[0] * e[30] * e[3] - e[0] * e[35] * e[8] -
574  e[0] * e[31] * e[4] + e[3] * e[28] * e[4] + e[3] * e[1] * e[31] +
575  e[3] * e[29] * e[5] + e[3] * e[2] * e[32] + e[30] * e[1] * e[4] +
576  e[30] * e[2] * e[5] + e[6] * e[28] * e[7] + e[6] * e[1] * e[34] +
577  e[6] * e[29] * e[8] + e[6] * e[2] * e[35] + e[33] * e[1] * e[7] +
578  e[33] * e[2] * e[8] + e[0] * e[28] * e[1] + e[0] * e[29] * e[2] -
579  e[0] * e[34] * e[7] - e[0] * e[32] * e[5];
580  a[106] =
581  e[8] * e[22] * e[25] + e[8] * e[21] * e[24] + e[20] * e[18] * e[3] +
582  e[20] * e[0] * e[21] + e[20] * e[19] * e[4] + e[20] * e[1] * e[22] +
583  e[20] * e[2] * e[23] + e[23] * e[21] * e[3] + e[23] * e[22] * e[4] +
584  e[23] * e[26] * e[8] - e[23] * e[19] * e[1] - e[23] * e[18] * e[0] -
585  e[23] * e[25] * e[7] - e[23] * e[24] * e[6] + e[2] * e[19] * e[22] +
586  e[2] * e[18] * e[21] + e[26] * e[21] * e[6] + e[26] * e[3] * e[24] +
587  e[26] * e[22] * e[7] + e[26] * e[4] * e[25] + 0.5 * e2[20] * e[5] +
588  1.5 * e2[23] * e[5] + 0.5 * e[5] * e2[22] + 0.5 * e[5] * e2[21] +
589  0.5 * e[5] * e2[26] - 0.5 * e[5] * e2[18] - 0.5 * e[5] * e2[19] -
590  0.5 * e[5] * e2[24] - 0.5 * e[5] * e2[25];
591  a[81] = e[24] * e[11] * e[8] + e[24] * e[2] * e[17] +
592  3. * e[9] * e[18] * e[0] + e[9] * e[19] * e[1] +
593  e[9] * e[20] * e[2] + e[18] * e[10] * e[1] + e[18] * e[11] * e[2] +
594  e[3] * e[18] * e[12] + e[3] * e[9] * e[21] + e[3] * e[20] * e[14] +
595  e[3] * e[11] * e[23] + e[3] * e[19] * e[13] + e[3] * e[10] * e[22] +
596  e[6] * e[18] * e[15] + e[6] * e[9] * e[24] + e[6] * e[20] * e[17] +
597  e[6] * e[11] * e[26] + e[6] * e[19] * e[16] + e[6] * e[10] * e[25] +
598  e[0] * e[20] * e[11] + e[0] * e[19] * e[10] - e[9] * e[26] * e[8] -
599  e[9] * e[22] * e[4] - e[9] * e[25] * e[7] - e[9] * e[23] * e[5] +
600  e[12] * e[0] * e[21] + e[12] * e[19] * e[4] + e[12] * e[1] * e[22] +
601  e[12] * e[20] * e[5] + e[12] * e[2] * e[23] - e[18] * e[13] * e[4] -
602  e[18] * e[16] * e[7] - e[18] * e[14] * e[5] - e[18] * e[17] * e[8] +
603  e[21] * e[10] * e[4] + e[21] * e[1] * e[13] + e[21] * e[11] * e[5] +
604  e[21] * e[2] * e[14] + e[15] * e[0] * e[24] + e[15] * e[19] * e[7] +
605  e[15] * e[1] * e[25] + e[15] * e[20] * e[8] + e[15] * e[2] * e[26] -
606  e[0] * e[23] * e[14] - e[0] * e[25] * e[16] - e[0] * e[26] * e[17] -
607  e[0] * e[22] * e[13] + e[24] * e[10] * e[7] + e[24] * e[1] * e[16];
608  a[26] = e[11] * e[1] * e[4] + e[11] * e[0] * e[3] + e[11] * e[2] * e[5] +
609  e[5] * e[12] * e[3] + e[5] * e[13] * e[4] + e[8] * e[12] * e[6] +
610  e[8] * e[3] * e[15] + e[8] * e[13] * e[7] + e[8] * e[4] * e[16] +
611  e[8] * e[5] * e[17] + e[17] * e[4] * e[7] + e[17] * e[3] * e[6] -
612  e[5] * e[10] * e[1] - e[5] * e[16] * e[7] - e[5] * e[15] * e[6] -
613  e[5] * e[9] * e[0] + e[2] * e[9] * e[3] + e[2] * e[0] * e[12] +
614  e[2] * e[10] * e[4] + e[2] * e[1] * e[13] + 0.5 * e2[2] * e[14] -
615  0.5 * e[14] * e2[0] - 0.5 * e[14] * e2[6] - 0.5 * e[14] * e2[1] -
616  0.5 * e[14] * e2[7] + 1.5 * e[14] * e2[5] + 0.5 * e[14] * e2[4] +
617  0.5 * e[14] * e2[3] + 0.5 * e[14] * e2[8];
618  a[91] = e[3] * e[27] * e[12] + e[3] * e[9] * e[30] + e[3] * e[29] * e[14] +
619  e[3] * e[11] * e[32] + e[3] * e[28] * e[13] + e[3] * e[10] * e[31] +
620  e[6] * e[27] * e[15] + e[6] * e[9] * e[33] + e[6] * e[29] * e[17] +
621  e[6] * e[11] * e[35] + e[6] * e[28] * e[16] + e[6] * e[10] * e[34] +
622  3. * e[0] * e[27] * e[9] + e[0] * e[29] * e[11] +
623  e[0] * e[28] * e[10] - e[9] * e[34] * e[7] - e[9] * e[32] * e[5] -
624  e[9] * e[35] * e[8] + e[9] * e[29] * e[2] + e[9] * e[28] * e[1] -
625  e[9] * e[31] * e[4] + e[12] * e[0] * e[30] + e[12] * e[28] * e[4] +
626  e[12] * e[1] * e[31] + e[12] * e[29] * e[5] + e[12] * e[2] * e[32] +
627  e[27] * e[11] * e[2] + e[27] * e[10] * e[1] - e[27] * e[13] * e[4] -
628  e[27] * e[16] * e[7] - e[27] * e[14] * e[5] - e[27] * e[17] * e[8] +
629  e[30] * e[10] * e[4] + e[30] * e[1] * e[13] + e[30] * e[11] * e[5] +
630  e[30] * e[2] * e[14] + e[15] * e[0] * e[33] + e[15] * e[28] * e[7] +
631  e[15] * e[1] * e[34] + e[15] * e[29] * e[8] + e[15] * e[2] * e[35] -
632  e[0] * e[31] * e[13] - e[0] * e[32] * e[14] - e[0] * e[34] * e[16] -
633  e[0] * e[35] * e[17] + e[33] * e[10] * e[7] + e[33] * e[1] * e[16] +
634  e[33] * e[11] * e[8] + e[33] * e[2] * e[17];
635  a[127] =
636  0.5 * e2[30] * e[6] + 0.5 * e[6] * e2[27] - 0.5 * e[6] * e2[32] -
637  0.5 * e[6] * e2[28] - 0.5 * e[6] * e2[29] - 0.5 * e[6] * e2[31] +
638  1.5 * e[6] * e2[33] + 0.5 * e[6] * e2[34] + 0.5 * e[6] * e2[35] +
639  e[0] * e[27] * e[33] + e[0] * e[29] * e[35] + e[0] * e[28] * e[34] +
640  e[3] * e[30] * e[33] + e[3] * e[32] * e[35] + e[3] * e[31] * e[34] +
641  e[30] * e[31] * e[7] + e[30] * e[4] * e[34] + e[30] * e[32] * e[8] +
642  e[30] * e[5] * e[35] + e[27] * e[28] * e[7] + e[27] * e[1] * e[34] +
643  e[27] * e[29] * e[8] + e[27] * e[2] * e[35] + e[33] * e[34] * e[7] +
644  e[33] * e[35] * e[8] - e[33] * e[32] * e[5] - e[33] * e[29] * e[2] -
645  e[33] * e[28] * e[1] - e[33] * e[31] * e[4];
646  a[161] = e[24] * e[20] * e[26] + e[21] * e[19] * e[22] -
647  0.5 * e[18] * e2[22] - 0.5 * e[18] * e2[25] + 0.5 * e3[18] +
648  0.5 * e[18] * e2[21] + e[21] * e[20] * e[23] +
649  0.5 * e[18] * e2[20] + 0.5 * e[18] * e2[19] +
650  0.5 * e[18] * e2[24] + e[24] * e[19] * e[25] -
651  0.5 * e[18] * e2[23] - 0.5 * e[18] * e2[26];
652  a[197] = 0.5 * e[33] * e2[35] + 0.5 * e3[33] + 0.5 * e2[27] * e[33] +
653  0.5 * e2[30] * e[33] - 0.5 * e[33] * e2[29] +
654  0.5 * e[33] * e2[34] - 0.5 * e[33] * e2[32] -
655  0.5 * e[33] * e2[28] + e[30] * e[32] * e[35] -
656  0.5 * e[33] * e2[31] + e[27] * e[29] * e[35] +
657  e[27] * e[28] * e[34] + e[30] * e[31] * e[34];
658  a[171] =
659  1.5 * e[27] * e2[18] + 0.5 * e[27] * e2[19] + 0.5 * e[27] * e2[20] +
660  0.5 * e[27] * e2[21] + 0.5 * e[27] * e2[24] - 0.5 * e[27] * e2[26] -
661  0.5 * e[27] * e2[23] - 0.5 * e[27] * e2[22] - 0.5 * e[27] * e2[25] +
662  e[33] * e[20] * e[26] - e[18] * e[35] * e[26] -
663  e[18] * e[31] * e[22] - e[18] * e[32] * e[23] -
664  e[18] * e[34] * e[25] + e[18] * e[28] * e[19] +
665  e[18] * e[29] * e[20] + e[21] * e[18] * e[30] +
666  e[21] * e[28] * e[22] + e[21] * e[19] * e[31] +
667  e[21] * e[29] * e[23] + e[21] * e[20] * e[32] +
668  e[30] * e[19] * e[22] + e[30] * e[20] * e[23] +
669  e[24] * e[18] * e[33] + e[24] * e[28] * e[25] +
670  e[24] * e[19] * e[34] + e[24] * e[29] * e[26] +
671  e[24] * e[20] * e[35] + e[33] * e[19] * e[25];
672  a[157] = e[9] * e[27] * e[33] + e[9] * e[29] * e[35] +
673  e[9] * e[28] * e[34] + e[33] * e[35] * e[17] +
674  e[33] * e[34] * e[16] + e[27] * e[29] * e[17] +
675  e[27] * e[11] * e[35] + e[27] * e[28] * e[16] +
676  e[27] * e[10] * e[34] + e[33] * e[30] * e[12] -
677  e[33] * e[28] * e[10] - e[33] * e[31] * e[13] -
678  e[33] * e[32] * e[14] - e[33] * e[29] * e[11] +
679  e[30] * e[32] * e[17] + e[30] * e[14] * e[35] +
680  e[30] * e[31] * e[16] + e[30] * e[13] * e[34] +
681  e[12] * e[32] * e[35] + e[12] * e[31] * e[34] +
682  0.5 * e[15] * e2[27] - 0.5 * e[15] * e2[32] -
683  0.5 * e[15] * e2[28] - 0.5 * e[15] * e2[29] -
684  0.5 * e[15] * e2[31] + 1.5 * e[15] * e2[33] +
685  0.5 * e[15] * e2[30] + 0.5 * e[15] * e2[34] + 0.5 * e[15] * e2[35];
686  a[11] = 0.5 * e[9] * e2[12] - 0.5 * e[9] * e2[16] + 0.5 * e[9] * e2[10] -
687  0.5 * e[9] * e2[17] - 0.5 * e[9] * e2[13] + e[15] * e[10] * e[16] +
688  e[12] * e[11] * e[14] + 0.5 * e[9] * e2[11] + 0.5 * e[9] * e2[15] -
689  0.5 * e[9] * e2[14] + e[15] * e[11] * e[17] + 0.5 * e3[9] +
690  e[12] * e[10] * e[13];
691  a[187] = e[18] * e[27] * e[33] + e[18] * e[29] * e[35] +
692  e[18] * e[28] * e[34] + e[27] * e[28] * e[25] +
693  e[27] * e[19] * e[34] + e[27] * e[29] * e[26] +
694  e[27] * e[20] * e[35] + e[21] * e[30] * e[33] +
695  e[21] * e[32] * e[35] + e[21] * e[31] * e[34] +
696  e[30] * e[31] * e[25] + e[30] * e[22] * e[34] +
697  e[30] * e[32] * e[26] + e[30] * e[23] * e[35] +
698  e[33] * e[34] * e[25] + e[33] * e[35] * e[26] -
699  e[33] * e[29] * e[20] - e[33] * e[31] * e[22] -
700  e[33] * e[32] * e[23] - e[33] * e[28] * e[19] +
701  0.5 * e2[27] * e[24] + 0.5 * e2[30] * e[24] +
702  1.5 * e[24] * e2[33] + 0.5 * e[24] * e2[35] +
703  0.5 * e[24] * e2[34] - 0.5 * e[24] * e2[32] -
704  0.5 * e[24] * e2[28] - 0.5 * e[24] * e2[29] - 0.5 * e[24] * e2[31];
705  a[131] = 0.5 * e[9] * e2[21] + 0.5 * e[9] * e2[24] + 0.5 * e[9] * e2[19] +
706  1.5 * e[9] * e2[18] + 0.5 * e[9] * e2[20] - 0.5 * e[9] * e2[26] -
707  0.5 * e[9] * e2[23] - 0.5 * e[9] * e2[22] - 0.5 * e[9] * e2[25] +
708  e[21] * e[18] * e[12] + e[21] * e[20] * e[14] +
709  e[21] * e[11] * e[23] + e[21] * e[19] * e[13] +
710  e[21] * e[10] * e[22] + e[24] * e[18] * e[15] +
711  e[24] * e[20] * e[17] + e[24] * e[11] * e[26] +
712  e[24] * e[19] * e[16] + e[24] * e[10] * e[25] +
713  e[15] * e[19] * e[25] + e[15] * e[20] * e[26] +
714  e[12] * e[19] * e[22] + e[12] * e[20] * e[23] +
715  e[18] * e[20] * e[11] + e[18] * e[19] * e[10] -
716  e[18] * e[23] * e[14] - e[18] * e[25] * e[16] -
717  e[18] * e[26] * e[17] - e[18] * e[22] * e[13];
718  a[189] =
719  0.5 * e2[29] * e[26] + 0.5 * e2[32] * e[26] + 0.5 * e[26] * e2[33] +
720  1.5 * e[26] * e2[35] + 0.5 * e[26] * e2[34] - 0.5 * e[26] * e2[27] -
721  0.5 * e[26] * e2[28] - 0.5 * e[26] * e2[31] - 0.5 * e[26] * e2[30] +
722  e[20] * e[27] * e[33] + e[20] * e[29] * e[35] +
723  e[20] * e[28] * e[34] + e[29] * e[27] * e[24] +
724  e[29] * e[18] * e[33] + e[29] * e[28] * e[25] +
725  e[29] * e[19] * e[34] + e[23] * e[30] * e[33] +
726  e[23] * e[32] * e[35] + e[23] * e[31] * e[34] +
727  e[32] * e[30] * e[24] + e[32] * e[21] * e[33] +
728  e[32] * e[31] * e[25] + e[32] * e[22] * e[34] +
729  e[35] * e[33] * e[24] + e[35] * e[34] * e[25] -
730  e[35] * e[27] * e[18] - e[35] * e[30] * e[21] -
731  e[35] * e[31] * e[22] - e[35] * e[28] * e[19];
732  a[141] = e[12] * e[19] * e[31] + e[12] * e[29] * e[23] +
733  e[12] * e[20] * e[32] + 3. * e[9] * e[27] * e[18] +
734  e[9] * e[28] * e[19] + e[9] * e[29] * e[20] +
735  e[21] * e[9] * e[30] + e[21] * e[29] * e[14] +
736  e[21] * e[11] * e[32] + e[21] * e[28] * e[13] +
737  e[21] * e[10] * e[31] + e[30] * e[20] * e[14] +
738  e[30] * e[11] * e[23] + e[30] * e[19] * e[13] +
739  e[30] * e[10] * e[22] + e[9] * e[33] * e[24] -
740  e[9] * e[35] * e[26] - e[9] * e[31] * e[22] -
741  e[9] * e[32] * e[23] - e[9] * e[34] * e[25] +
742  e[18] * e[29] * e[11] + e[18] * e[28] * e[10] +
743  e[27] * e[20] * e[11] + e[27] * e[19] * e[10] +
744  e[15] * e[27] * e[24] + e[15] * e[18] * e[33] +
745  e[15] * e[28] * e[25] + e[15] * e[19] * e[34] +
746  e[15] * e[29] * e[26] + e[15] * e[20] * e[35] -
747  e[18] * e[31] * e[13] - e[18] * e[32] * e[14] -
748  e[18] * e[34] * e[16] - e[18] * e[35] * e[17] -
749  e[27] * e[23] * e[14] - e[27] * e[25] * e[16] -
750  e[27] * e[26] * e[17] - e[27] * e[22] * e[13] +
751  e[24] * e[29] * e[17] + e[24] * e[11] * e[35] +
752  e[24] * e[28] * e[16] + e[24] * e[10] * e[34] +
753  e[33] * e[20] * e[17] + e[33] * e[11] * e[26] +
754  e[33] * e[19] * e[16] + e[33] * e[10] * e[25] +
755  e[12] * e[27] * e[21] + e[12] * e[18] * e[30] +
756  e[12] * e[28] * e[22];
757  a[159] = -0.5 * e[17] * e2[27] + 0.5 * e[17] * e2[32] -
758  0.5 * e[17] * e2[28] + 0.5 * e[17] * e2[29] -
759  0.5 * e[17] * e2[31] + 0.5 * e[17] * e2[33] -
760  0.5 * e[17] * e2[30] + 0.5 * e[17] * e2[34] +
761  1.5 * e[17] * e2[35] + e[32] * e[30] * e[15] +
762  e[32] * e[12] * e[33] + e[32] * e[31] * e[16] +
763  e[32] * e[13] * e[34] + e[14] * e[30] * e[33] +
764  e[14] * e[31] * e[34] + e[11] * e[27] * e[33] +
765  e[11] * e[29] * e[35] + e[11] * e[28] * e[34] +
766  e[35] * e[33] * e[15] + e[35] * e[34] * e[16] +
767  e[29] * e[27] * e[15] + e[29] * e[9] * e[33] +
768  e[29] * e[28] * e[16] + e[29] * e[10] * e[34] -
769  e[35] * e[27] * e[9] - e[35] * e[30] * e[12] -
770  e[35] * e[28] * e[10] - e[35] * e[31] * e[13] +
771  e[35] * e[32] * e[14];
772  a[21] = 0.5 * e[9] * e2[1] + 1.5 * e[9] * e2[0] + 0.5 * e[9] * e2[2] +
773  0.5 * e[9] * e2[3] + 0.5 * e[9] * e2[6] - 0.5 * e[9] * e2[4] -
774  0.5 * e[9] * e2[5] - 0.5 * e[9] * e2[7] - 0.5 * e[9] * e2[8] +
775  e[6] * e[0] * e[15] + e[6] * e[10] * e[7] + e[6] * e[1] * e[16] +
776  e[6] * e[11] * e[8] + e[6] * e[2] * e[17] + e[15] * e[1] * e[7] +
777  e[15] * e[2] * e[8] + e[0] * e[11] * e[2] + e[0] * e[10] * e[1] -
778  e[0] * e[13] * e[4] - e[0] * e[16] * e[7] - e[0] * e[14] * e[5] -
779  e[0] * e[17] * e[8] + e[3] * e[0] * e[12] + e[3] * e[10] * e[4] +
780  e[3] * e[1] * e[13] + e[3] * e[11] * e[5] + e[3] * e[2] * e[14] +
781  e[12] * e[1] * e[4] + e[12] * e[2] * e[5];
782  a[199] = 0.5 * e[35] * e2[33] + 0.5 * e[35] * e2[34] -
783  0.5 * e[35] * e2[27] - 0.5 * e[35] * e2[28] -
784  0.5 * e[35] * e2[31] - 0.5 * e[35] * e2[30] +
785  e[32] * e[31] * e[34] + 0.5 * e2[29] * e[35] +
786  0.5 * e2[32] * e[35] + e[29] * e[28] * e[34] +
787  e[32] * e[30] * e[33] + 0.5 * e3[35] + e[29] * e[27] * e[33];
788  a[101] =
789  0.5 * e[0] * e2[19] + 0.5 * e[0] * e2[20] + 0.5 * e[0] * e2[24] -
790  0.5 * e[0] * e2[26] - 0.5 * e[0] * e2[23] - 0.5 * e[0] * e2[22] -
791  0.5 * e[0] * e2[25] + 1.5 * e2[18] * e[0] + 0.5 * e[0] * e2[21] +
792  e[18] * e[19] * e[1] + e[18] * e[20] * e[2] + e[21] * e[18] * e[3] +
793  e[21] * e[19] * e[4] + e[21] * e[1] * e[22] + e[21] * e[20] * e[5] +
794  e[21] * e[2] * e[23] - e[18] * e[26] * e[8] - e[18] * e[22] * e[4] -
795  e[18] * e[25] * e[7] - e[18] * e[23] * e[5] + e[18] * e[24] * e[6] +
796  e[3] * e[19] * e[22] + e[3] * e[20] * e[23] + e[24] * e[19] * e[7] +
797  e[24] * e[1] * e[25] + e[24] * e[20] * e[8] + e[24] * e[2] * e[26] +
798  e[6] * e[19] * e[25] + e[6] * e[20] * e[26];
799  a[129] =
800  0.5 * e2[32] * e[8] - 0.5 * e[8] * e2[27] - 0.5 * e[8] * e2[28] +
801  0.5 * e[8] * e2[29] - 0.5 * e[8] * e2[31] + 0.5 * e[8] * e2[33] -
802  0.5 * e[8] * e2[30] + 0.5 * e[8] * e2[34] + 1.5 * e[8] * e2[35] +
803  e[2] * e[27] * e[33] + e[2] * e[29] * e[35] + e[2] * e[28] * e[34] +
804  e[5] * e[30] * e[33] + e[5] * e[32] * e[35] + e[5] * e[31] * e[34] +
805  e[32] * e[30] * e[6] + e[32] * e[3] * e[33] + e[32] * e[31] * e[7] +
806  e[32] * e[4] * e[34] + e[29] * e[27] * e[6] + e[29] * e[0] * e[33] +
807  e[29] * e[28] * e[7] + e[29] * e[1] * e[34] + e[35] * e[33] * e[6] +
808  e[35] * e[34] * e[7] - e[35] * e[27] * e[0] - e[35] * e[30] * e[3] -
809  e[35] * e[28] * e[1] - e[35] * e[31] * e[4];
810  a[41] = -0.5 * e[18] * e2[4] + 1.5 * e[18] * e2[0] + 0.5 * e[18] * e2[6] -
811  0.5 * e[18] * e2[5] + 0.5 * e[18] * e2[1] - 0.5 * e[18] * e2[7] +
812  0.5 * e[18] * e2[3] + 0.5 * e[18] * e2[2] - 0.5 * e[18] * e2[8] +
813  e[3] * e[0] * e[21] + e[3] * e[19] * e[4] + e[3] * e[1] * e[22] +
814  e[3] * e[20] * e[5] + e[3] * e[2] * e[23] + e[21] * e[1] * e[4] +
815  e[21] * e[2] * e[5] + e[6] * e[0] * e[24] + e[6] * e[19] * e[7] +
816  e[6] * e[1] * e[25] + e[6] * e[20] * e[8] + e[6] * e[2] * e[26] +
817  e[24] * e[1] * e[7] + e[24] * e[2] * e[8] + e[0] * e[19] * e[1] +
818  e[0] * e[20] * e[2] - e[0] * e[26] * e[8] - e[0] * e[22] * e[4] -
819  e[0] * e[25] * e[7] - e[0] * e[23] * e[5];
820  a[28] = e[10] * e[1] * e[7] + e[10] * e[0] * e[6] + e[10] * e[2] * e[8] +
821  e[4] * e[12] * e[6] + e[4] * e[3] * e[15] + e[4] * e[13] * e[7] +
822  e[4] * e[14] * e[8] + e[4] * e[5] * e[17] + e[13] * e[3] * e[6] +
823  e[13] * e[5] * e[8] + e[7] * e[15] * e[6] + e[7] * e[17] * e[8] -
824  e[7] * e[11] * e[2] - e[7] * e[9] * e[0] - e[7] * e[14] * e[5] -
825  e[7] * e[12] * e[3] + e[1] * e[9] * e[6] + e[1] * e[0] * e[15] +
826  e[1] * e[11] * e[8] + e[1] * e[2] * e[17] + 1.5 * e[16] * e2[7] +
827  0.5 * e[16] * e2[6] + 0.5 * e[16] * e2[8] + 0.5 * e2[1] * e[16] -
828  0.5 * e[16] * e2[0] - 0.5 * e[16] * e2[5] - 0.5 * e[16] * e2[3] -
829  0.5 * e[16] * e2[2] + 0.5 * e2[4] * e[16];
830  a[111] =
831  e[0] * e[30] * e[21] - e[0] * e[35] * e[26] - e[0] * e[31] * e[22] -
832  e[0] * e[32] * e[23] - e[0] * e[34] * e[25] - e[18] * e[34] * e[7] -
833  e[18] * e[32] * e[5] - e[18] * e[35] * e[8] - e[18] * e[31] * e[4] -
834  e[27] * e[26] * e[8] - e[27] * e[22] * e[4] - e[27] * e[25] * e[7] -
835  e[27] * e[23] * e[5] + e[6] * e[28] * e[25] + e[6] * e[19] * e[34] +
836  e[6] * e[29] * e[26] + e[6] * e[20] * e[35] + e[21] * e[28] * e[4] +
837  e[21] * e[1] * e[31] + e[21] * e[29] * e[5] + e[21] * e[2] * e[32] +
838  e[30] * e[19] * e[4] + e[30] * e[1] * e[22] + e[30] * e[20] * e[5] +
839  e[30] * e[2] * e[23] + e[24] * e[27] * e[6] + e[24] * e[0] * e[33] +
840  e[24] * e[28] * e[7] + e[24] * e[1] * e[34] + e[24] * e[29] * e[8] +
841  e[24] * e[2] * e[35] + e[33] * e[18] * e[6] + e[33] * e[19] * e[7] +
842  e[33] * e[1] * e[25] + e[33] * e[20] * e[8] + e[33] * e[2] * e[26] +
843  3. * e[0] * e[27] * e[18] + e[0] * e[28] * e[19] +
844  e[0] * e[29] * e[20] + e[18] * e[28] * e[1] + e[18] * e[29] * e[2] +
845  e[27] * e[19] * e[1] + e[27] * e[20] * e[2] + e[3] * e[27] * e[21] +
846  e[3] * e[18] * e[30] + e[3] * e[28] * e[22] + e[3] * e[19] * e[31] +
847  e[3] * e[29] * e[23] + e[3] * e[20] * e[32];
848  a[108] =
849  e[19] * e[18] * e[6] + e[19] * e[0] * e[24] + e[19] * e[1] * e[25] +
850  e[19] * e[20] * e[8] + e[19] * e[2] * e[26] + e[22] * e[21] * e[6] +
851  e[22] * e[3] * e[24] + e[22] * e[4] * e[25] + e[22] * e[23] * e[8] +
852  e[22] * e[5] * e[26] - e[25] * e[21] * e[3] + e[25] * e[26] * e[8] -
853  e[25] * e[20] * e[2] - e[25] * e[18] * e[0] - e[25] * e[23] * e[5] +
854  e[25] * e[24] * e[6] + e[1] * e[18] * e[24] + e[1] * e[20] * e[26] +
855  e[4] * e[21] * e[24] + e[4] * e[23] * e[26] + 0.5 * e2[19] * e[7] +
856  0.5 * e2[22] * e[7] + 1.5 * e2[25] * e[7] + 0.5 * e[7] * e2[26] -
857  0.5 * e[7] * e2[18] - 0.5 * e[7] * e2[23] - 0.5 * e[7] * e2[20] +
858  0.5 * e[7] * e2[24] - 0.5 * e[7] * e2[21];
859  a[61] = 0.5 * e[18] * e2[11] + 1.5 * e[18] * e2[9] + 0.5 * e[18] * e2[10] +
860  0.5 * e[18] * e2[12] + 0.5 * e[18] * e2[15] - 0.5 * e[18] * e2[16] -
861  0.5 * e[18] * e2[17] - 0.5 * e[18] * e2[14] - 0.5 * e[18] * e2[13] +
862  e[12] * e[9] * e[21] + e[12] * e[20] * e[14] +
863  e[12] * e[11] * e[23] + e[12] * e[19] * e[13] +
864  e[12] * e[10] * e[22] + e[21] * e[11] * e[14] +
865  e[21] * e[10] * e[13] + e[15] * e[9] * e[24] +
866  e[15] * e[20] * e[17] + e[15] * e[11] * e[26] +
867  e[15] * e[19] * e[16] + e[15] * e[10] * e[25] +
868  e[24] * e[11] * e[17] + e[24] * e[10] * e[16] -
869  e[9] * e[23] * e[14] - e[9] * e[25] * e[16] - e[9] * e[26] * e[17] +
870  e[9] * e[20] * e[11] + e[9] * e[19] * e[10] - e[9] * e[22] * e[13];
871  a[138] = e[13] * e[21] * e[24] + e[13] * e[23] * e[26] +
872  e[19] * e[18] * e[15] + e[19] * e[9] * e[24] +
873  e[19] * e[20] * e[17] + e[19] * e[11] * e[26] -
874  e[25] * e[23] * e[14] - e[25] * e[20] * e[11] -
875  e[25] * e[18] * e[9] - e[25] * e[21] * e[12] +
876  e[22] * e[21] * e[15] + e[22] * e[12] * e[24] +
877  e[22] * e[23] * e[17] + e[22] * e[14] * e[26] +
878  e[22] * e[13] * e[25] + e[25] * e[24] * e[15] +
879  e[25] * e[26] * e[17] + e[10] * e[19] * e[25] +
880  e[10] * e[18] * e[24] + e[10] * e[20] * e[26] -
881  0.5 * e[16] * e2[18] - 0.5 * e[16] * e2[23] +
882  0.5 * e[16] * e2[19] - 0.5 * e[16] * e2[20] -
883  0.5 * e[16] * e2[21] + 0.5 * e2[22] * e[16] +
884  1.5 * e2[25] * e[16] + 0.5 * e[16] * e2[24] + 0.5 * e[16] * e2[26];
885  a[31] = 0.5 * e[0] * e2[12] + 0.5 * e[0] * e2[15] + 0.5 * e[0] * e2[11] +
886  1.5 * e[0] * e2[9] + 0.5 * e[0] * e2[10] - 0.5 * e[0] * e2[16] -
887  0.5 * e[0] * e2[17] - 0.5 * e[0] * e2[14] - 0.5 * e[0] * e2[13] +
888  e[12] * e[9] * e[3] + e[12] * e[10] * e[4] + e[12] * e[1] * e[13] +
889  e[12] * e[11] * e[5] + e[12] * e[2] * e[14] + e[15] * e[9] * e[6] +
890  e[15] * e[10] * e[7] + e[15] * e[1] * e[16] + e[15] * e[11] * e[8] +
891  e[15] * e[2] * e[17] + e[6] * e[11] * e[17] + e[6] * e[10] * e[16] +
892  e[3] * e[11] * e[14] + e[3] * e[10] * e[13] + e[9] * e[10] * e[1] +
893  e[9] * e[11] * e[2] - e[9] * e[13] * e[4] - e[9] * e[16] * e[7] -
894  e[9] * e[14] * e[5] - e[9] * e[17] * e[8];
895  a[148] = e[19] * e[11] * e[35] + e[28] * e[18] * e[15] +
896  e[28] * e[9] * e[24] + e[28] * e[20] * e[17] +
897  e[28] * e[11] * e[26] - e[25] * e[27] * e[9] -
898  e[25] * e[30] * e[12] - e[25] * e[32] * e[14] +
899  e[25] * e[33] * e[15] + e[25] * e[35] * e[17] -
900  e[25] * e[29] * e[11] - e[34] * e[23] * e[14] +
901  e[34] * e[24] * e[15] + e[34] * e[26] * e[17] -
902  e[34] * e[20] * e[11] - e[34] * e[18] * e[9] -
903  e[34] * e[21] * e[12] + e[13] * e[30] * e[24] +
904  e[13] * e[21] * e[33] + e[13] * e[31] * e[25] +
905  e[13] * e[22] * e[34] + e[13] * e[32] * e[26] +
906  e[13] * e[23] * e[35] + e[10] * e[27] * e[24] +
907  e[10] * e[18] * e[33] + e[10] * e[28] * e[25] +
908  e[10] * e[19] * e[34] + e[10] * e[29] * e[26] +
909  e[10] * e[20] * e[35] + e[22] * e[30] * e[15] +
910  e[22] * e[12] * e[33] + e[22] * e[32] * e[17] +
911  e[22] * e[14] * e[35] + e[22] * e[31] * e[16] +
912  e[31] * e[21] * e[15] + e[31] * e[12] * e[24] +
913  e[31] * e[23] * e[17] + e[31] * e[14] * e[26] -
914  e[16] * e[27] * e[18] + e[16] * e[33] * e[24] -
915  e[16] * e[30] * e[21] - e[16] * e[29] * e[20] +
916  e[16] * e[35] * e[26] - e[16] * e[32] * e[23] +
917  e[16] * e[28] * e[19] + 3. * e[16] * e[34] * e[25] +
918  e[19] * e[27] * e[15] + e[19] * e[9] * e[33] +
919  e[19] * e[29] * e[17];
920  a[52] = e[4] * e[27] * e[3] + e[4] * e[0] * e[30] + e[4] * e[29] * e[5] +
921  e[4] * e[2] * e[32] + e[31] * e[0] * e[3] + e[31] * e[2] * e[5] +
922  e[7] * e[27] * e[6] + e[7] * e[0] * e[33] + e[7] * e[29] * e[8] +
923  e[7] * e[2] * e[35] + e[34] * e[0] * e[6] + e[34] * e[2] * e[8] +
924  e[1] * e[27] * e[0] + e[1] * e[29] * e[2] + e[1] * e[34] * e[7] -
925  e[1] * e[32] * e[5] - e[1] * e[33] * e[6] - e[1] * e[30] * e[3] -
926  e[1] * e[35] * e[8] + e[1] * e[31] * e[4] + 1.5 * e[28] * e2[1] +
927  0.5 * e[28] * e2[4] + 0.5 * e[28] * e2[0] - 0.5 * e[28] * e2[6] -
928  0.5 * e[28] * e2[5] + 0.5 * e[28] * e2[7] - 0.5 * e[28] * e2[3] +
929  0.5 * e[28] * e2[2] - 0.5 * e[28] * e2[8];
930  a[99] = -e[35] * e[10] * e[1] - e[35] * e[13] * e[4] +
931  e[35] * e[16] * e[7] + e[35] * e[15] * e[6] - e[35] * e[9] * e[0] -
932  e[35] * e[12] * e[3] + e[32] * e[12] * e[6] + e[32] * e[3] * e[15] +
933  e[32] * e[13] * e[7] + e[32] * e[4] * e[16] - e[8] * e[27] * e[9] -
934  e[8] * e[30] * e[12] - e[8] * e[28] * e[10] - e[8] * e[31] * e[13] +
935  e[8] * e[29] * e[11] + e[11] * e[27] * e[6] + e[11] * e[0] * e[33] +
936  e[11] * e[28] * e[7] + e[11] * e[1] * e[34] + e[29] * e[9] * e[6] +
937  e[29] * e[0] * e[15] + e[29] * e[10] * e[7] + e[29] * e[1] * e[16] +
938  e[5] * e[30] * e[15] + e[5] * e[12] * e[33] + e[5] * e[32] * e[17] +
939  e[5] * e[14] * e[35] + e[5] * e[31] * e[16] + e[5] * e[13] * e[34] +
940  e[8] * e[33] * e[15] + 3. * e[8] * e[35] * e[17] +
941  e[8] * e[34] * e[16] + e[2] * e[27] * e[15] + e[2] * e[9] * e[33] +
942  e[2] * e[29] * e[17] + e[2] * e[11] * e[35] + e[2] * e[28] * e[16] +
943  e[2] * e[10] * e[34] - e[17] * e[27] * e[0] + e[17] * e[34] * e[7] +
944  e[17] * e[33] * e[6] - e[17] * e[30] * e[3] - e[17] * e[28] * e[1] -
945  e[17] * e[31] * e[4] + e[14] * e[30] * e[6] + e[14] * e[3] * e[33] +
946  e[14] * e[31] * e[7] + e[14] * e[4] * e[34] + e[14] * e[32] * e[8];
947  a[82] = e[19] * e[11] * e[2] + e[4] * e[18] * e[12] + e[4] * e[9] * e[21] +
948  e[4] * e[20] * e[14] + e[4] * e[11] * e[23] + e[4] * e[19] * e[13] +
949  e[4] * e[10] * e[22] + e[7] * e[18] * e[15] + e[7] * e[9] * e[24] +
950  e[7] * e[20] * e[17] + e[7] * e[11] * e[26] + e[7] * e[19] * e[16] +
951  e[7] * e[10] * e[25] + e[1] * e[18] * e[9] + e[1] * e[20] * e[11] -
952  e[10] * e[21] * e[3] - e[10] * e[26] * e[8] - e[10] * e[23] * e[5] -
953  e[10] * e[24] * e[6] + e[13] * e[18] * e[3] + e[13] * e[0] * e[21] +
954  e[13] * e[1] * e[22] + e[13] * e[20] * e[5] + e[13] * e[2] * e[23] -
955  e[19] * e[15] * e[6] - e[19] * e[14] * e[5] - e[19] * e[12] * e[3] -
956  e[19] * e[17] * e[8] + e[22] * e[9] * e[3] + e[22] * e[0] * e[12] +
957  e[22] * e[11] * e[5] + e[22] * e[2] * e[14] + e[16] * e[18] * e[6] +
958  e[16] * e[0] * e[24] + e[16] * e[1] * e[25] + e[16] * e[20] * e[8] +
959  e[16] * e[2] * e[26] - e[1] * e[23] * e[14] - e[1] * e[24] * e[15] -
960  e[1] * e[26] * e[17] - e[1] * e[21] * e[12] + e[25] * e[9] * e[6] +
961  e[25] * e[0] * e[15] + e[25] * e[11] * e[8] + e[25] * e[2] * e[17] +
962  e[10] * e[18] * e[0] + 3. * e[10] * e[19] * e[1] +
963  e[10] * e[20] * e[2] + e[19] * e[9] * e[0];
964  a[169] = 0.5 * e2[23] * e[26] + 0.5 * e[26] * e2[25] +
965  0.5 * e2[20] * e[26] - 0.5 * e[26] * e2[18] + 0.5 * e3[26] +
966  0.5 * e[26] * e2[24] + e[20] * e[19] * e[25] -
967  0.5 * e[26] * e2[19] - 0.5 * e[26] * e2[21] +
968  e[20] * e[18] * e[24] - 0.5 * e[26] * e2[22] +
969  e[23] * e[21] * e[24] + e[23] * e[22] * e[25];
970  a[72] = e[16] * e[9] * e[33] + e[16] * e[29] * e[17] +
971  e[16] * e[11] * e[35] + e[16] * e[10] * e[34] +
972  e[34] * e[11] * e[17] + e[34] * e[9] * e[15] -
973  e[10] * e[30] * e[12] - e[10] * e[32] * e[14] -
974  e[10] * e[33] * e[15] - e[10] * e[35] * e[17] +
975  e[10] * e[27] * e[9] + e[10] * e[29] * e[11] +
976  e[13] * e[27] * e[12] + e[13] * e[9] * e[30] +
977  e[13] * e[29] * e[14] + e[13] * e[11] * e[32] +
978  e[13] * e[10] * e[31] + e[31] * e[11] * e[14] +
979  e[31] * e[9] * e[12] + e[16] * e[27] * e[15] +
980  1.5 * e[28] * e2[10] + 0.5 * e[28] * e2[16] + 0.5 * e[28] * e2[9] +
981  0.5 * e[28] * e2[11] - 0.5 * e[28] * e2[12] - 0.5 * e[28] * e2[15] -
982  0.5 * e[28] * e2[17] - 0.5 * e[28] * e2[14] + 0.5 * e[28] * e2[13];
983  a[179] =
984  0.5 * e2[20] * e[35] + 0.5 * e2[23] * e[35] + 1.5 * e[35] * e2[26] +
985  0.5 * e[35] * e2[25] + 0.5 * e[35] * e2[24] - 0.5 * e[35] * e2[18] -
986  0.5 * e[35] * e2[19] - 0.5 * e[35] * e2[22] - 0.5 * e[35] * e2[21] +
987  e[20] * e[27] * e[24] + e[20] * e[18] * e[33] +
988  e[20] * e[28] * e[25] + e[20] * e[19] * e[34] +
989  e[20] * e[29] * e[26] + e[29] * e[19] * e[25] +
990  e[29] * e[18] * e[24] + e[23] * e[30] * e[24] +
991  e[23] * e[21] * e[33] + e[23] * e[31] * e[25] +
992  e[23] * e[22] * e[34] + e[23] * e[32] * e[26] +
993  e[32] * e[22] * e[25] + e[32] * e[21] * e[24] +
994  e[26] * e[33] * e[24] + e[26] * e[34] * e[25] -
995  e[26] * e[27] * e[18] - e[26] * e[30] * e[21] -
996  e[26] * e[31] * e[22] - e[26] * e[28] * e[19];
997  a[2] = e[4] * e[2] * e[5] + 0.5 * e[1] * e2[0] - 0.5 * e[1] * e2[6] +
998  e[7] * e[0] * e[6] + 0.5 * e[1] * e2[7] + 0.5 * e[1] * e2[4] -
999  0.5 * e[1] * e2[8] + 0.5 * e[1] * e2[2] - 0.5 * e[1] * e2[3] +
1000  0.5 * e3[1] + e[7] * e[2] * e[8] - 0.5 * e[1] * e2[5] +
1001  e[4] * e[0] * e[3];
1002  a[19] = -0.5 * e[17] * e2[13] - 0.5 * e[17] * e2[9] + 0.5 * e[17] * e2[16] +
1003  0.5 * e[17] * e2[15] + 0.5 * e3[17] - 0.5 * e[17] * e2[10] +
1004  e[14] * e[13] * e[16] + e[14] * e[12] * e[15] +
1005  0.5 * e2[14] * e[17] + e[11] * e[10] * e[16] -
1006  0.5 * e[17] * e2[12] + 0.5 * e2[11] * e[17] + e[11] * e[9] * e[15];
1007  a[122] =
1008  e[4] * e[27] * e[30] + e[4] * e[29] * e[32] + e[4] * e[28] * e[31] +
1009  e[31] * e[27] * e[3] + e[31] * e[0] * e[30] + e[31] * e[29] * e[5] +
1010  e[31] * e[2] * e[32] + e[7] * e[27] * e[33] + e[7] * e[29] * e[35] +
1011  e[7] * e[28] * e[34] + e[28] * e[27] * e[0] + e[28] * e[29] * e[2] +
1012  e[34] * e[27] * e[6] + e[34] * e[0] * e[33] + e[34] * e[29] * e[8] +
1013  e[34] * e[2] * e[35] - e[28] * e[32] * e[5] - e[28] * e[33] * e[6] -
1014  e[28] * e[30] * e[3] - e[28] * e[35] * e[8] + 0.5 * e[1] * e2[27] +
1015  0.5 * e[1] * e2[29] + 1.5 * e[1] * e2[28] + 0.5 * e[1] * e2[31] -
1016  0.5 * e[1] * e2[32] - 0.5 * e[1] * e2[33] - 0.5 * e[1] * e2[30] +
1017  0.5 * e[1] * e2[34] - 0.5 * e[1] * e2[35];
1018  a[79] = 0.5 * e2[11] * e[35] + 0.5 * e[35] * e2[16] - 0.5 * e[35] * e2[9] -
1019  0.5 * e[35] * e2[12] + 0.5 * e[35] * e2[15] + 1.5 * e[35] * e2[17] -
1020  0.5 * e[35] * e2[10] + 0.5 * e[35] * e2[14] - 0.5 * e[35] * e2[13] +
1021  e[11] * e[27] * e[15] + e[11] * e[9] * e[33] +
1022  e[11] * e[29] * e[17] + e[11] * e[28] * e[16] +
1023  e[11] * e[10] * e[34] + e[29] * e[9] * e[15] +
1024  e[29] * e[10] * e[16] + e[14] * e[30] * e[15] +
1025  e[14] * e[12] * e[33] + e[14] * e[32] * e[17] +
1026  e[14] * e[31] * e[16] + e[14] * e[13] * e[34] +
1027  e[32] * e[12] * e[15] + e[32] * e[13] * e[16] +
1028  e[17] * e[33] * e[15] + e[17] * e[34] * e[16] -
1029  e[17] * e[27] * e[9] - e[17] * e[30] * e[12] -
1030  e[17] * e[28] * e[10] - e[17] * e[31] * e[13];
1031  a[192] = e[34] * e[27] * e[33] + e[34] * e[29] * e[35] -
1032  0.5 * e[28] * e2[30] - 0.5 * e[28] * e2[35] + 0.5 * e3[28] +
1033  0.5 * e[28] * e2[27] + 0.5 * e[28] * e2[29] +
1034  e[31] * e[27] * e[30] + e[31] * e[29] * e[32] -
1035  0.5 * e[28] * e2[32] - 0.5 * e[28] * e2[33] +
1036  0.5 * e[28] * e2[31] + 0.5 * e[28] * e2[34];
1037  a[9] = 0.5 * e2[5] * e[8] + e[2] * e[0] * e[6] + 0.5 * e2[2] * e[8] +
1038  0.5 * e3[8] - 0.5 * e[8] * e2[0] + e[5] * e[4] * e[7] +
1039  e[5] * e[3] * e[6] + 0.5 * e[8] * e2[7] + e[2] * e[1] * e[7] -
1040  0.5 * e[8] * e2[1] - 0.5 * e[8] * e2[4] - 0.5 * e[8] * e2[3] +
1041  0.5 * e[8] * e2[6];
1042  a[152] = e[28] * e[27] * e[9] + e[28] * e[29] * e[11] -
1043  e[28] * e[30] * e[12] + e[28] * e[31] * e[13] -
1044  e[28] * e[32] * e[14] - e[28] * e[33] * e[15] -
1045  e[28] * e[35] * e[17] + e[31] * e[27] * e[12] +
1046  e[31] * e[9] * e[30] + e[31] * e[29] * e[14] +
1047  e[31] * e[11] * e[32] + e[13] * e[27] * e[30] +
1048  e[13] * e[29] * e[32] + e[16] * e[27] * e[33] +
1049  e[16] * e[29] * e[35] + e[34] * e[27] * e[15] +
1050  e[34] * e[9] * e[33] + e[34] * e[29] * e[17] +
1051  e[34] * e[11] * e[35] + e[34] * e[28] * e[16] +
1052  0.5 * e[10] * e2[27] + 0.5 * e[10] * e2[29] +
1053  1.5 * e[10] * e2[28] - 0.5 * e[10] * e2[32] +
1054  0.5 * e[10] * e2[31] - 0.5 * e[10] * e2[33] -
1055  0.5 * e[10] * e2[30] + 0.5 * e[10] * e2[34] - 0.5 * e[10] * e2[35];
1056  a[59] = -0.5 * e[35] * e2[1] + 0.5 * e[35] * e2[7] - 0.5 * e[35] * e2[3] +
1057  0.5 * e2[2] * e[35] + 1.5 * e[35] * e2[8] - 0.5 * e[35] * e2[4] -
1058  0.5 * e[35] * e2[0] + 0.5 * e[35] * e2[6] + 0.5 * e[35] * e2[5] +
1059  e[2] * e[27] * e[6] + e[2] * e[0] * e[33] + e[2] * e[28] * e[7] +
1060  e[2] * e[1] * e[34] + e[2] * e[29] * e[8] - e[8] * e[27] * e[0] +
1061  e[8] * e[34] * e[7] + e[8] * e[32] * e[5] + e[8] * e[33] * e[6] -
1062  e[8] * e[30] * e[3] - e[8] * e[28] * e[1] - e[8] * e[31] * e[4] +
1063  e[29] * e[1] * e[7] + e[29] * e[0] * e[6] + e[5] * e[30] * e[6] +
1064  e[5] * e[3] * e[33] + e[5] * e[31] * e[7] + e[5] * e[4] * e[34] +
1065  e[32] * e[4] * e[7] + e[32] * e[3] * e[6];
1066  a[182] = e[28] * e[27] * e[18] + e[28] * e[29] * e[20] +
1067  e[22] * e[27] * e[30] + e[22] * e[29] * e[32] +
1068  e[22] * e[28] * e[31] + e[31] * e[27] * e[21] +
1069  e[31] * e[18] * e[30] + e[31] * e[29] * e[23] +
1070  e[31] * e[20] * e[32] + e[25] * e[27] * e[33] +
1071  e[25] * e[29] * e[35] + e[25] * e[28] * e[34] +
1072  e[34] * e[27] * e[24] + e[34] * e[18] * e[33] +
1073  e[34] * e[29] * e[26] + e[34] * e[20] * e[35] -
1074  e[28] * e[33] * e[24] - e[28] * e[30] * e[21] -
1075  e[28] * e[35] * e[26] - e[28] * e[32] * e[23] -
1076  0.5 * e[19] * e2[33] - 0.5 * e[19] * e2[30] -
1077  0.5 * e[19] * e2[35] + 0.5 * e[19] * e2[27] +
1078  0.5 * e[19] * e2[29] + 1.5 * e[19] * e2[28] +
1079  0.5 * e[19] * e2[31] + 0.5 * e[19] * e2[34] - 0.5 * e[19] * e2[32];
1080  a[89] = e[23] * e[3] * e[15] - e[17] * e[19] * e[1] - e[17] * e[22] * e[4] -
1081  e[17] * e[18] * e[0] + e[17] * e[25] * e[7] + e[17] * e[24] * e[6] +
1082  e[14] * e[21] * e[6] + e[14] * e[3] * e[24] + e[14] * e[22] * e[7] +
1083  e[14] * e[4] * e[25] + e[14] * e[23] * e[8] - e[26] * e[10] * e[1] -
1084  e[26] * e[13] * e[4] + e[26] * e[16] * e[7] + e[26] * e[15] * e[6] -
1085  e[26] * e[9] * e[0] - e[26] * e[12] * e[3] + e[23] * e[12] * e[6] +
1086  e[11] * e[18] * e[6] + e[11] * e[0] * e[24] + e[11] * e[19] * e[7] +
1087  e[11] * e[1] * e[25] + e[11] * e[20] * e[8] + e[11] * e[2] * e[26] +
1088  e[20] * e[9] * e[6] + e[20] * e[0] * e[15] + e[20] * e[10] * e[7] +
1089  e[20] * e[1] * e[16] + e[20] * e[2] * e[17] + e[5] * e[21] * e[15] +
1090  e[5] * e[12] * e[24] + e[5] * e[23] * e[17] + e[5] * e[14] * e[26] +
1091  e[5] * e[22] * e[16] + e[5] * e[13] * e[25] + e[8] * e[24] * e[15] +
1092  3. * e[8] * e[26] * e[17] + e[8] * e[25] * e[16] +
1093  e[2] * e[18] * e[15] + e[2] * e[9] * e[24] + e[2] * e[19] * e[16] +
1094  e[2] * e[10] * e[25] - e[17] * e[21] * e[3] + e[23] * e[4] * e[16] +
1095  e[23] * e[13] * e[7] - e[8] * e[18] * e[9] - e[8] * e[21] * e[12] -
1096  e[8] * e[19] * e[10] - e[8] * e[22] * e[13];
1097  a[62] = e[13] * e[18] * e[12] + e[13] * e[9] * e[21] +
1098  e[13] * e[20] * e[14] + e[13] * e[11] * e[23] +
1099  e[13] * e[10] * e[22] + e[22] * e[11] * e[14] +
1100  e[22] * e[9] * e[12] + e[16] * e[18] * e[15] +
1101  e[16] * e[9] * e[24] + e[16] * e[20] * e[17] +
1102  e[16] * e[11] * e[26] + e[16] * e[10] * e[25] +
1103  e[25] * e[11] * e[17] + e[25] * e[9] * e[15] -
1104  e[10] * e[23] * e[14] - e[10] * e[24] * e[15] -
1105  e[10] * e[26] * e[17] + e[10] * e[20] * e[11] +
1106  e[10] * e[18] * e[9] - e[10] * e[21] * e[12] +
1107  0.5 * e[19] * e2[11] + 0.5 * e[19] * e2[9] + 1.5 * e[19] * e2[10] +
1108  0.5 * e[19] * e2[13] + 0.5 * e[19] * e2[16] - 0.5 * e[19] * e2[12] -
1109  0.5 * e[19] * e2[15] - 0.5 * e[19] * e2[17] - 0.5 * e[19] * e2[14];
1110  a[88] = e[10] * e[18] * e[6] + e[10] * e[0] * e[24] + e[10] * e[19] * e[7] +
1111  e[10] * e[1] * e[25] + e[10] * e[20] * e[8] + e[10] * e[2] * e[26] +
1112  e[19] * e[9] * e[6] + e[19] * e[0] * e[15] + e[19] * e[1] * e[16] +
1113  e[19] * e[11] * e[8] + e[19] * e[2] * e[17] + e[4] * e[21] * e[15] +
1114  e[4] * e[12] * e[24] + e[4] * e[23] * e[17] + e[4] * e[14] * e[26] +
1115  e[4] * e[22] * e[16] + e[4] * e[13] * e[25] + e[7] * e[24] * e[15] +
1116  e[7] * e[26] * e[17] + 3. * e[7] * e[25] * e[16] +
1117  e[1] * e[18] * e[15] + e[1] * e[9] * e[24] + e[1] * e[20] * e[17] +
1118  e[1] * e[11] * e[26] - e[16] * e[21] * e[3] + e[16] * e[26] * e[8] -
1119  e[16] * e[20] * e[2] - e[16] * e[18] * e[0] - e[16] * e[23] * e[5] +
1120  e[16] * e[24] * e[6] + e[13] * e[21] * e[6] + e[13] * e[3] * e[24] +
1121  e[13] * e[22] * e[7] + e[13] * e[23] * e[8] + e[13] * e[5] * e[26] -
1122  e[25] * e[11] * e[2] + e[25] * e[15] * e[6] - e[25] * e[9] * e[0] -
1123  e[25] * e[14] * e[5] - e[25] * e[12] * e[3] + e[25] * e[17] * e[8] +
1124  e[22] * e[12] * e[6] + e[22] * e[3] * e[15] + e[22] * e[14] * e[8] +
1125  e[22] * e[5] * e[17] - e[7] * e[23] * e[14] - e[7] * e[20] * e[11] -
1126  e[7] * e[18] * e[9] - e[7] * e[21] * e[12];
1127  a[32] = e[13] * e[9] * e[3] + e[13] * e[0] * e[12] + e[13] * e[10] * e[4] +
1128  e[13] * e[11] * e[5] + e[13] * e[2] * e[14] + e[16] * e[9] * e[6] +
1129  e[16] * e[0] * e[15] + e[16] * e[10] * e[7] + e[16] * e[11] * e[8] +
1130  e[16] * e[2] * e[17] + e[7] * e[11] * e[17] + e[7] * e[9] * e[15] +
1131  e[4] * e[11] * e[14] + e[4] * e[9] * e[12] + e[10] * e[9] * e[0] +
1132  e[10] * e[11] * e[2] - e[10] * e[15] * e[6] - e[10] * e[14] * e[5] -
1133  e[10] * e[12] * e[3] - e[10] * e[17] * e[8] + 0.5 * e[1] * e2[11] +
1134  0.5 * e[1] * e2[9] + 1.5 * e[1] * e2[10] - 0.5 * e[1] * e2[12] -
1135  0.5 * e[1] * e2[15] - 0.5 * e[1] * e2[17] - 0.5 * e[1] * e2[14] +
1136  0.5 * e[1] * e2[13] + 0.5 * e[1] * e2[16];
1137  a[58] = e[1] * e[27] * e[6] + e[1] * e[0] * e[33] + e[1] * e[28] * e[7] +
1138  e[1] * e[29] * e[8] + e[1] * e[2] * e[35] - e[7] * e[27] * e[0] -
1139  e[7] * e[32] * e[5] + e[7] * e[33] * e[6] - e[7] * e[30] * e[3] +
1140  e[7] * e[35] * e[8] - e[7] * e[29] * e[2] + e[7] * e[31] * e[4] +
1141  e[28] * e[0] * e[6] + e[28] * e[2] * e[8] + e[4] * e[30] * e[6] +
1142  e[4] * e[3] * e[33] + e[4] * e[32] * e[8] + e[4] * e[5] * e[35] +
1143  e[31] * e[3] * e[6] + e[31] * e[5] * e[8] + 0.5 * e2[1] * e[34] +
1144  1.5 * e[34] * e2[7] + 0.5 * e[34] * e2[4] - 0.5 * e[34] * e2[0] +
1145  0.5 * e[34] * e2[6] - 0.5 * e[34] * e2[5] - 0.5 * e[34] * e2[3] -
1146  0.5 * e[34] * e2[2] + 0.5 * e[34] * e2[8];
1147  a[42] = e[4] * e[18] * e[3] + e[4] * e[0] * e[21] + e[4] * e[1] * e[22] +
1148  e[4] * e[20] * e[5] + e[4] * e[2] * e[23] + e[22] * e[0] * e[3] +
1149  e[22] * e[2] * e[5] + e[7] * e[18] * e[6] + e[7] * e[0] * e[24] +
1150  e[7] * e[1] * e[25] + e[7] * e[20] * e[8] + e[7] * e[2] * e[26] +
1151  e[25] * e[0] * e[6] + e[25] * e[2] * e[8] + e[1] * e[18] * e[0] +
1152  e[1] * e[20] * e[2] - e[1] * e[21] * e[3] - e[1] * e[26] * e[8] -
1153  e[1] * e[23] * e[5] - e[1] * e[24] * e[6] + 0.5 * e[19] * e2[4] +
1154  0.5 * e[19] * e2[0] - 0.5 * e[19] * e2[6] - 0.5 * e[19] * e2[5] +
1155  1.5 * e[19] * e2[1] + 0.5 * e[19] * e2[7] - 0.5 * e[19] * e2[3] +
1156  0.5 * e[19] * e2[2] - 0.5 * e[19] * e2[8];
1157  a[8] = -0.5 * e[7] * e2[0] + e[4] * e[5] * e[8] + 0.5 * e2[4] * e[7] -
1158  0.5 * e[7] * e2[2] + 0.5 * e[7] * e2[8] - 0.5 * e[7] * e2[5] +
1159  0.5 * e[7] * e2[6] + e[1] * e[0] * e[6] + 0.5 * e3[7] +
1160  e[4] * e[3] * e[6] + e[1] * e[2] * e[8] - 0.5 * e[7] * e2[3] +
1161  0.5 * e2[1] * e[7];
1162  a[112] =
1163  -e[1] * e[32] * e[23] - e[19] * e[32] * e[5] -
1164  e[19] * e[33] * e[6] - e[19] * e[30] * e[3] - e[19] * e[35] * e[8] -
1165  e[28] * e[21] * e[3] - e[28] * e[26] * e[8] - e[28] * e[23] * e[5] -
1166  e[28] * e[24] * e[6] + e[7] * e[27] * e[24] + e[7] * e[18] * e[33] +
1167  e[7] * e[29] * e[26] + e[7] * e[20] * e[35] + e[22] * e[27] * e[3] +
1168  e[22] * e[0] * e[30] + e[22] * e[29] * e[5] + e[22] * e[2] * e[32] +
1169  e[31] * e[18] * e[3] + e[31] * e[0] * e[21] + e[31] * e[20] * e[5] +
1170  e[31] * e[2] * e[23] + e[25] * e[27] * e[6] + e[25] * e[0] * e[33] +
1171  e[25] * e[28] * e[7] + e[25] * e[1] * e[34] + e[25] * e[29] * e[8] +
1172  e[25] * e[2] * e[35] + e[34] * e[18] * e[6] + e[34] * e[0] * e[24] +
1173  e[34] * e[19] * e[7] + e[34] * e[20] * e[8] + e[34] * e[2] * e[26] +
1174  e[1] * e[27] * e[18] + 3. * e[1] * e[28] * e[19] +
1175  e[1] * e[29] * e[20] + e[19] * e[27] * e[0] + e[19] * e[29] * e[2] +
1176  e[28] * e[18] * e[0] + e[28] * e[20] * e[2] + e[4] * e[27] * e[21] +
1177  e[4] * e[18] * e[30] + e[4] * e[28] * e[22] + e[4] * e[19] * e[31] +
1178  e[4] * e[29] * e[23] + e[4] * e[20] * e[32] - e[1] * e[33] * e[24] -
1179  e[1] * e[30] * e[21] - e[1] * e[35] * e[26] + e[1] * e[31] * e[22];
1180  a[78] = e[10] * e[27] * e[15] + e[10] * e[9] * e[33] +
1181  e[10] * e[29] * e[17] + e[10] * e[11] * e[35] +
1182  e[10] * e[28] * e[16] + e[28] * e[11] * e[17] +
1183  e[28] * e[9] * e[15] + e[13] * e[30] * e[15] +
1184  e[13] * e[12] * e[33] + e[13] * e[32] * e[17] +
1185  e[13] * e[14] * e[35] + e[13] * e[31] * e[16] +
1186  e[31] * e[14] * e[17] + e[31] * e[12] * e[15] +
1187  e[16] * e[33] * e[15] + e[16] * e[35] * e[17] -
1188  e[16] * e[27] * e[9] - e[16] * e[30] * e[12] -
1189  e[16] * e[32] * e[14] - e[16] * e[29] * e[11] +
1190  0.5 * e2[10] * e[34] + 1.5 * e[34] * e2[16] - 0.5 * e[34] * e2[9] -
1191  0.5 * e[34] * e2[11] - 0.5 * e[34] * e2[12] + 0.5 * e[34] * e2[15] +
1192  0.5 * e[34] * e2[17] - 0.5 * e[34] * e2[14] + 0.5 * e[34] * e2[13];
1193  a[162] = 0.5 * e[19] * e2[18] + 0.5 * e[19] * e2[25] +
1194  0.5 * e[19] * e2[22] + e[25] * e[20] * e[26] -
1195  0.5 * e[19] * e2[21] + 0.5 * e[19] * e2[20] -
1196  0.5 * e[19] * e2[26] - 0.5 * e[19] * e2[23] -
1197  0.5 * e[19] * e2[24] + 0.5 * e3[19] + e[22] * e[20] * e[23] +
1198  e[25] * e[18] * e[24] + e[22] * e[18] * e[21];
1199  a[198] = 0.5 * e[34] * e2[33] + 0.5 * e[34] * e2[35] -
1200  0.5 * e[34] * e2[27] - 0.5 * e[34] * e2[32] -
1201  0.5 * e[34] * e2[29] - 0.5 * e[34] * e2[30] +
1202  0.5 * e2[28] * e[34] + e[31] * e[30] * e[33] +
1203  e[31] * e[32] * e[35] + e[28] * e[27] * e[33] + 0.5 * e3[34] +
1204  e[28] * e[29] * e[35] + 0.5 * e2[31] * e[34];
1205  a[92] = e[4] * e[28] * e[13] + e[4] * e[10] * e[31] + e[7] * e[27] * e[15] +
1206  e[7] * e[9] * e[33] + e[7] * e[29] * e[17] + e[7] * e[11] * e[35] +
1207  e[7] * e[28] * e[16] + e[7] * e[10] * e[34] + e[1] * e[27] * e[9] +
1208  e[1] * e[29] * e[11] + 3. * e[1] * e[28] * e[10] +
1209  e[10] * e[27] * e[0] - e[10] * e[32] * e[5] - e[10] * e[33] * e[6] -
1210  e[10] * e[30] * e[3] - e[10] * e[35] * e[8] + e[10] * e[29] * e[2] +
1211  e[13] * e[27] * e[3] + e[13] * e[0] * e[30] + e[13] * e[1] * e[31] +
1212  e[13] * e[29] * e[5] + e[13] * e[2] * e[32] + e[28] * e[11] * e[2] -
1213  e[28] * e[15] * e[6] + e[28] * e[9] * e[0] - e[28] * e[14] * e[5] -
1214  e[28] * e[12] * e[3] - e[28] * e[17] * e[8] + e[31] * e[9] * e[3] +
1215  e[31] * e[0] * e[12] + e[31] * e[11] * e[5] + e[31] * e[2] * e[14] +
1216  e[16] * e[27] * e[6] + e[16] * e[0] * e[33] + e[16] * e[1] * e[34] +
1217  e[16] * e[29] * e[8] + e[16] * e[2] * e[35] - e[1] * e[30] * e[12] -
1218  e[1] * e[32] * e[14] - e[1] * e[33] * e[15] - e[1] * e[35] * e[17] +
1219  e[34] * e[9] * e[6] + e[34] * e[0] * e[15] + e[34] * e[11] * e[8] +
1220  e[34] * e[2] * e[17] + e[4] * e[27] * e[12] + e[4] * e[9] * e[30] +
1221  e[4] * e[29] * e[14] + e[4] * e[11] * e[32];
1222  a[128] =
1223  e[4] * e[30] * e[33] + e[4] * e[32] * e[35] + e[4] * e[31] * e[34] +
1224  e[31] * e[30] * e[6] + e[31] * e[3] * e[33] + e[31] * e[32] * e[8] +
1225  e[31] * e[5] * e[35] + e[28] * e[27] * e[6] + e[28] * e[0] * e[33] +
1226  e[28] * e[29] * e[8] + e[28] * e[2] * e[35] + e[34] * e[33] * e[6] +
1227  e[34] * e[35] * e[8] - e[34] * e[27] * e[0] - e[34] * e[32] * e[5] -
1228  e[34] * e[30] * e[3] - e[34] * e[29] * e[2] + e[1] * e[27] * e[33] +
1229  e[1] * e[29] * e[35] + e[1] * e[28] * e[34] + 0.5 * e2[31] * e[7] -
1230  0.5 * e[7] * e2[27] - 0.5 * e[7] * e2[32] + 0.5 * e[7] * e2[28] -
1231  0.5 * e[7] * e2[29] + 0.5 * e[7] * e2[33] - 0.5 * e[7] * e2[30] +
1232  1.5 * e[7] * e2[34] + 0.5 * e[7] * e2[35];
1233  a[12] = -0.5 * e[10] * e2[14] - 0.5 * e[10] * e2[17] -
1234  0.5 * e[10] * e2[15] + e[13] * e[11] * e[14] +
1235  e[16] * e[11] * e[17] + 0.5 * e[10] * e2[13] +
1236  e[13] * e[9] * e[12] - 0.5 * e[10] * e2[12] + 0.5 * e3[10] +
1237  e[16] * e[9] * e[15] + 0.5 * e[10] * e2[16] + 0.5 * e[10] * e2[11] +
1238  0.5 * e[10] * e2[9];
1239  a[188] = e[22] * e[32] * e[35] + e[22] * e[31] * e[34] +
1240  e[31] * e[30] * e[24] + e[31] * e[21] * e[33] +
1241  e[31] * e[32] * e[26] + e[31] * e[23] * e[35] +
1242  e[34] * e[33] * e[24] + e[34] * e[35] * e[26] -
1243  e[34] * e[27] * e[18] - e[34] * e[30] * e[21] -
1244  e[34] * e[29] * e[20] - e[34] * e[32] * e[23] +
1245  e[19] * e[27] * e[33] + e[19] * e[29] * e[35] +
1246  e[19] * e[28] * e[34] + e[28] * e[27] * e[24] +
1247  e[28] * e[18] * e[33] + e[28] * e[29] * e[26] +
1248  e[28] * e[20] * e[35] + e[22] * e[30] * e[33] +
1249  0.5 * e2[28] * e[25] + 0.5 * e2[31] * e[25] +
1250  0.5 * e[25] * e2[33] + 0.5 * e[25] * e2[35] +
1251  1.5 * e[25] * e2[34] - 0.5 * e[25] * e2[27] -
1252  0.5 * e[25] * e2[32] - 0.5 * e[25] * e2[29] - 0.5 * e[25] * e2[30];
1253  a[172] = -e[19] * e[35] * e[26] - e[19] * e[32] * e[23] +
1254  e[19] * e[27] * e[18] + e[19] * e[29] * e[20] +
1255  e[22] * e[27] * e[21] + e[22] * e[18] * e[30] +
1256  e[22] * e[19] * e[31] + e[22] * e[29] * e[23] +
1257  e[22] * e[20] * e[32] + e[31] * e[18] * e[21] +
1258  e[31] * e[20] * e[23] + e[25] * e[27] * e[24] +
1259  e[25] * e[18] * e[33] + e[25] * e[19] * e[34] +
1260  e[25] * e[29] * e[26] + e[25] * e[20] * e[35] +
1261  e[34] * e[18] * e[24] + e[34] * e[20] * e[26] -
1262  e[19] * e[33] * e[24] - e[19] * e[30] * e[21] +
1263  1.5 * e[28] * e2[19] + 0.5 * e[28] * e2[18] +
1264  0.5 * e[28] * e2[20] + 0.5 * e[28] * e2[22] +
1265  0.5 * e[28] * e2[25] - 0.5 * e[28] * e2[26] -
1266  0.5 * e[28] * e2[23] - 0.5 * e[28] * e2[24] - 0.5 * e[28] * e2[21];
1267  a[158] = e[10] * e[27] * e[33] + e[10] * e[29] * e[35] +
1268  e[10] * e[28] * e[34] + e[34] * e[33] * e[15] +
1269  e[34] * e[35] * e[17] + e[28] * e[27] * e[15] +
1270  e[28] * e[9] * e[33] + e[28] * e[29] * e[17] +
1271  e[28] * e[11] * e[35] - e[34] * e[27] * e[9] -
1272  e[34] * e[30] * e[12] + e[34] * e[31] * e[13] -
1273  e[34] * e[32] * e[14] - e[34] * e[29] * e[11] +
1274  e[31] * e[30] * e[15] + e[31] * e[12] * e[33] +
1275  e[31] * e[32] * e[17] + e[31] * e[14] * e[35] +
1276  e[13] * e[30] * e[33] + e[13] * e[32] * e[35] -
1277  0.5 * e[16] * e2[27] - 0.5 * e[16] * e2[32] +
1278  0.5 * e[16] * e2[28] - 0.5 * e[16] * e2[29] +
1279  0.5 * e[16] * e2[31] + 0.5 * e[16] * e2[33] -
1280  0.5 * e[16] * e2[30] + 1.5 * e[16] * e2[34] + 0.5 * e[16] * e2[35];
1281  a[153] = e[29] * e[32] * e[14] - e[29] * e[33] * e[15] -
1282  e[29] * e[34] * e[16] + e[32] * e[27] * e[12] +
1283  e[32] * e[9] * e[30] + e[32] * e[28] * e[13] +
1284  e[32] * e[10] * e[31] + e[14] * e[27] * e[30] +
1285  e[14] * e[28] * e[31] + e[17] * e[27] * e[33] +
1286  e[17] * e[28] * e[34] + e[35] * e[27] * e[15] +
1287  e[35] * e[9] * e[33] + e[35] * e[29] * e[17] +
1288  e[35] * e[28] * e[16] + e[35] * e[10] * e[34] +
1289  e[29] * e[27] * e[9] + e[29] * e[28] * e[10] -
1290  e[29] * e[30] * e[12] - e[29] * e[31] * e[13] +
1291  0.5 * e[11] * e2[27] + 1.5 * e[11] * e2[29] +
1292  0.5 * e[11] * e2[28] + 0.5 * e[11] * e2[32] -
1293  0.5 * e[11] * e2[31] - 0.5 * e[11] * e2[33] -
1294  0.5 * e[11] * e2[30] - 0.5 * e[11] * e2[34] + 0.5 * e[11] * e2[35];
1295  a[118] =
1296  e[1] * e[20] * e[35] + e[19] * e[27] * e[6] + e[19] * e[0] * e[33] +
1297  e[19] * e[28] * e[7] + e[19] * e[29] * e[8] + e[19] * e[2] * e[35] +
1298  e[28] * e[18] * e[6] + e[28] * e[0] * e[24] + e[28] * e[20] * e[8] +
1299  e[28] * e[2] * e[26] + e[4] * e[30] * e[24] + e[4] * e[21] * e[33] +
1300  e[4] * e[31] * e[25] + e[4] * e[22] * e[34] + e[4] * e[32] * e[26] +
1301  e[4] * e[23] * e[35] - e[7] * e[27] * e[18] + e[7] * e[33] * e[24] -
1302  e[7] * e[30] * e[21] - e[7] * e[29] * e[20] + e[7] * e[35] * e[26] +
1303  e[7] * e[31] * e[22] - e[7] * e[32] * e[23] - e[25] * e[27] * e[0] -
1304  e[25] * e[32] * e[5] - e[25] * e[30] * e[3] - e[25] * e[29] * e[2] -
1305  e[34] * e[21] * e[3] - e[34] * e[20] * e[2] - e[34] * e[18] * e[0] -
1306  e[34] * e[23] * e[5] + e[22] * e[30] * e[6] + e[22] * e[3] * e[33] +
1307  e[22] * e[32] * e[8] + e[22] * e[5] * e[35] + e[31] * e[21] * e[6] +
1308  e[31] * e[3] * e[24] + e[31] * e[23] * e[8] + e[31] * e[5] * e[26] +
1309  e[34] * e[26] * e[8] + e[1] * e[27] * e[24] + e[1] * e[18] * e[33] +
1310  e[1] * e[28] * e[25] + e[1] * e[19] * e[34] + e[1] * e[29] * e[26] +
1311  e[34] * e[24] * e[6] + e[25] * e[33] * e[6] +
1312  3. * e[25] * e[34] * e[7] + e[25] * e[35] * e[8];
1313  a[183] =
1314  0.5 * e[20] * e2[27] + 1.5 * e[20] * e2[29] + 0.5 * e[20] * e2[28] +
1315  0.5 * e[20] * e2[32] + 0.5 * e[20] * e2[35] - 0.5 * e[20] * e2[31] -
1316  0.5 * e[20] * e2[33] - 0.5 * e[20] * e2[30] - 0.5 * e[20] * e2[34] +
1317  e[29] * e[27] * e[18] + e[29] * e[28] * e[19] +
1318  e[23] * e[27] * e[30] + e[23] * e[29] * e[32] +
1319  e[23] * e[28] * e[31] + e[32] * e[27] * e[21] +
1320  e[32] * e[18] * e[30] + e[32] * e[28] * e[22] +
1321  e[32] * e[19] * e[31] + e[26] * e[27] * e[33] +
1322  e[26] * e[29] * e[35] + e[26] * e[28] * e[34] +
1323  e[35] * e[27] * e[24] + e[35] * e[18] * e[33] +
1324  e[35] * e[28] * e[25] + e[35] * e[19] * e[34] -
1325  e[29] * e[33] * e[24] - e[29] * e[30] * e[21] -
1326  e[29] * e[31] * e[22] - e[29] * e[34] * e[25];
1327  a[48] = e[19] * e[1] * e[7] + e[19] * e[0] * e[6] + e[19] * e[2] * e[8] +
1328  e[4] * e[21] * e[6] + e[4] * e[3] * e[24] + e[4] * e[22] * e[7] +
1329  e[4] * e[23] * e[8] + e[4] * e[5] * e[26] + e[22] * e[3] * e[6] +
1330  e[22] * e[5] * e[8] + e[7] * e[24] * e[6] + e[7] * e[26] * e[8] +
1331  e[1] * e[18] * e[6] + e[1] * e[0] * e[24] + e[1] * e[20] * e[8] +
1332  e[1] * e[2] * e[26] - e[7] * e[21] * e[3] - e[7] * e[20] * e[2] -
1333  e[7] * e[18] * e[0] - e[7] * e[23] * e[5] + 0.5 * e[25] * e2[4] -
1334  0.5 * e[25] * e2[0] + 0.5 * e[25] * e2[6] - 0.5 * e[25] * e2[5] +
1335  0.5 * e[25] * e2[1] + 1.5 * e[25] * e2[7] - 0.5 * e[25] * e2[3] -
1336  0.5 * e[25] * e2[2] + 0.5 * e[25] * e2[8];
1337  a[123] =
1338  e[5] * e[27] * e[30] + e[5] * e[29] * e[32] + e[5] * e[28] * e[31] +
1339  e[32] * e[27] * e[3] + e[32] * e[0] * e[30] + e[32] * e[28] * e[4] +
1340  e[32] * e[1] * e[31] + e[8] * e[27] * e[33] + e[8] * e[29] * e[35] +
1341  e[8] * e[28] * e[34] + e[29] * e[27] * e[0] + e[29] * e[28] * e[1] +
1342  e[35] * e[27] * e[6] + e[35] * e[0] * e[33] + e[35] * e[28] * e[7] +
1343  e[35] * e[1] * e[34] - e[29] * e[34] * e[7] - e[29] * e[33] * e[6] -
1344  e[29] * e[30] * e[3] - e[29] * e[31] * e[4] + 0.5 * e[2] * e2[27] +
1345  1.5 * e[2] * e2[29] + 0.5 * e[2] * e2[28] + 0.5 * e[2] * e2[32] -
1346  0.5 * e[2] * e2[31] - 0.5 * e[2] * e2[33] - 0.5 * e[2] * e2[30] -
1347  0.5 * e[2] * e2[34] + 0.5 * e[2] * e2[35];
1348  a[38] = e[13] * e[12] * e[6] + e[13] * e[3] * e[15] + e[13] * e[4] * e[16] +
1349  e[13] * e[14] * e[8] + e[13] * e[5] * e[17] + e[16] * e[15] * e[6] +
1350  e[16] * e[17] * e[8] + e[1] * e[11] * e[17] + e[1] * e[9] * e[15] +
1351  e[1] * e[10] * e[16] + e[4] * e[14] * e[17] + e[4] * e[12] * e[15] +
1352  e[10] * e[9] * e[6] + e[10] * e[0] * e[15] + e[10] * e[11] * e[8] +
1353  e[10] * e[2] * e[17] - e[16] * e[11] * e[2] - e[16] * e[9] * e[0] -
1354  e[16] * e[14] * e[5] - e[16] * e[12] * e[3] + 0.5 * e2[13] * e[7] +
1355  1.5 * e2[16] * e[7] + 0.5 * e[7] * e2[17] + 0.5 * e[7] * e2[15] -
1356  0.5 * e[7] * e2[9] - 0.5 * e[7] * e2[11] - 0.5 * e[7] * e2[12] +
1357  0.5 * e[7] * e2[10] - 0.5 * e[7] * e2[14];
1358  a[193] = 0.5 * e[29] * e2[32] + 0.5 * e[29] * e2[35] -
1359  0.5 * e[29] * e2[31] - 0.5 * e[29] * e2[33] -
1360  0.5 * e[29] * e2[30] - 0.5 * e[29] * e2[34] +
1361  e[32] * e[27] * e[30] + 0.5 * e3[29] + 0.5 * e[29] * e2[28] +
1362  e[35] * e[28] * e[34] + 0.5 * e[29] * e2[27] +
1363  e[35] * e[27] * e[33] + e[32] * e[28] * e[31];
1364  a[68] = -e[16] * e[21] * e[12] + e[10] * e[18] * e[15] +
1365  e[10] * e[9] * e[24] + e[10] * e[20] * e[17] +
1366  e[10] * e[11] * e[26] + e[19] * e[11] * e[17] +
1367  e[19] * e[9] * e[15] + e[19] * e[10] * e[16] +
1368  e[13] * e[21] * e[15] + e[13] * e[12] * e[24] +
1369  e[13] * e[23] * e[17] + e[13] * e[14] * e[26] +
1370  e[13] * e[22] * e[16] + e[22] * e[14] * e[17] +
1371  e[22] * e[12] * e[15] + e[16] * e[24] * e[15] +
1372  e[16] * e[26] * e[17] - e[16] * e[23] * e[14] -
1373  e[16] * e[20] * e[11] - e[16] * e[18] * e[9] +
1374  0.5 * e2[13] * e[25] + 1.5 * e[25] * e2[16] + 0.5 * e[25] * e2[17] +
1375  0.5 * e[25] * e2[15] + 0.5 * e2[10] * e[25] - 0.5 * e[25] * e2[9] -
1376  0.5 * e[25] * e2[11] - 0.5 * e[25] * e2[12] - 0.5 * e[25] * e2[14];
1377  a[102] =
1378  e[19] * e[20] * e[2] + e[22] * e[18] * e[3] + e[22] * e[0] * e[21] +
1379  e[22] * e[19] * e[4] + e[22] * e[20] * e[5] + e[22] * e[2] * e[23] -
1380  e[19] * e[21] * e[3] - e[19] * e[26] * e[8] + e[19] * e[25] * e[7] -
1381  e[19] * e[23] * e[5] - e[19] * e[24] * e[6] + e[4] * e[18] * e[21] +
1382  e[4] * e[20] * e[23] + e[25] * e[18] * e[6] + e[25] * e[0] * e[24] +
1383  e[25] * e[20] * e[8] + e[25] * e[2] * e[26] + e[7] * e[18] * e[24] +
1384  e[7] * e[20] * e[26] + e[19] * e[18] * e[0] + 1.5 * e2[19] * e[1] +
1385  0.5 * e[1] * e2[22] + 0.5 * e[1] * e2[18] + 0.5 * e[1] * e2[20] +
1386  0.5 * e[1] * e2[25] - 0.5 * e[1] * e2[26] - 0.5 * e[1] * e2[23] -
1387  0.5 * e[1] * e2[24] - 0.5 * e[1] * e2[21];
1388  a[178] = e[19] * e[27] * e[24] + e[19] * e[18] * e[33] +
1389  e[19] * e[28] * e[25] + e[19] * e[29] * e[26] +
1390  e[19] * e[20] * e[35] + e[28] * e[18] * e[24] +
1391  e[28] * e[20] * e[26] + e[22] * e[30] * e[24] +
1392  e[22] * e[21] * e[33] + e[22] * e[31] * e[25] +
1393  e[22] * e[32] * e[26] + e[22] * e[23] * e[35] +
1394  e[31] * e[21] * e[24] + e[31] * e[23] * e[26] +
1395  e[25] * e[33] * e[24] + e[25] * e[35] * e[26] -
1396  e[25] * e[27] * e[18] - e[25] * e[30] * e[21] -
1397  e[25] * e[29] * e[20] - e[25] * e[32] * e[23] -
1398  0.5 * e[34] * e2[18] - 0.5 * e[34] * e2[23] -
1399  0.5 * e[34] * e2[20] - 0.5 * e[34] * e2[21] +
1400  0.5 * e2[19] * e[34] + 0.5 * e2[22] * e[34] +
1401  1.5 * e[34] * e2[25] + 0.5 * e[34] * e2[24] + 0.5 * e[34] * e2[26];
1402  a[22] = e[16] * e[0] * e[6] + e[16] * e[2] * e[8] + e[1] * e[11] * e[2] -
1403  e[1] * e[15] * e[6] + e[1] * e[9] * e[0] - e[1] * e[14] * e[5] -
1404  e[1] * e[12] * e[3] - e[1] * e[17] * e[8] + e[4] * e[9] * e[3] +
1405  e[4] * e[0] * e[12] + e[4] * e[1] * e[13] + e[4] * e[11] * e[5] +
1406  e[4] * e[2] * e[14] + e[13] * e[0] * e[3] + e[13] * e[2] * e[5] +
1407  e[7] * e[9] * e[6] + e[7] * e[0] * e[15] + e[7] * e[1] * e[16] +
1408  e[7] * e[11] * e[8] + e[7] * e[2] * e[17] - 0.5 * e[10] * e2[6] -
1409  0.5 * e[10] * e2[5] - 0.5 * e[10] * e2[3] - 0.5 * e[10] * e2[8] +
1410  1.5 * e[10] * e2[1] + 0.5 * e[10] * e2[0] + 0.5 * e[10] * e2[2] +
1411  0.5 * e[10] * e2[4] + 0.5 * e[10] * e2[7];
1412  a[18] = e[13] * e[14] * e[17] + e[13] * e[12] * e[15] +
1413  e[10] * e[9] * e[15] + 0.5 * e[16] * e2[15] - 0.5 * e[16] * e2[11] -
1414  0.5 * e[16] * e2[12] - 0.5 * e[16] * e2[14] +
1415  e[10] * e[11] * e[17] + 0.5 * e2[10] * e[16] + 0.5 * e3[16] -
1416  0.5 * e[16] * e2[9] + 0.5 * e[16] * e2[17] + 0.5 * e2[13] * e[16];
1417  a[142] = e[10] * e[29] * e[20] + e[22] * e[27] * e[12] +
1418  e[22] * e[9] * e[30] + e[22] * e[29] * e[14] +
1419  e[22] * e[11] * e[32] + e[22] * e[10] * e[31] +
1420  e[31] * e[18] * e[12] + e[31] * e[9] * e[21] +
1421  e[31] * e[20] * e[14] + e[31] * e[11] * e[23] -
1422  e[10] * e[33] * e[24] - e[10] * e[30] * e[21] -
1423  e[10] * e[35] * e[26] - e[10] * e[32] * e[23] +
1424  e[10] * e[34] * e[25] + e[19] * e[27] * e[9] +
1425  e[19] * e[29] * e[11] + e[28] * e[18] * e[9] +
1426  e[28] * e[20] * e[11] + e[16] * e[27] * e[24] +
1427  e[16] * e[18] * e[33] + e[16] * e[28] * e[25] +
1428  e[16] * e[19] * e[34] + e[16] * e[29] * e[26] +
1429  e[16] * e[20] * e[35] - e[19] * e[30] * e[12] -
1430  e[19] * e[32] * e[14] - e[19] * e[33] * e[15] -
1431  e[19] * e[35] * e[17] - e[28] * e[23] * e[14] -
1432  e[28] * e[24] * e[15] - e[28] * e[26] * e[17] -
1433  e[28] * e[21] * e[12] + e[25] * e[27] * e[15] +
1434  e[25] * e[9] * e[33] + e[25] * e[29] * e[17] +
1435  e[25] * e[11] * e[35] + e[34] * e[18] * e[15] +
1436  e[34] * e[9] * e[24] + e[34] * e[20] * e[17] +
1437  e[34] * e[11] * e[26] + e[13] * e[27] * e[21] +
1438  e[13] * e[18] * e[30] + e[13] * e[28] * e[22] +
1439  e[13] * e[19] * e[31] + e[13] * e[29] * e[23] +
1440  e[13] * e[20] * e[32] + e[10] * e[27] * e[18] +
1441  3. * e[10] * e[28] * e[19];
1442  a[98] = e[4] * e[30] * e[15] + e[4] * e[12] * e[33] + e[4] * e[32] * e[17] +
1443  e[4] * e[14] * e[35] + e[4] * e[31] * e[16] + e[4] * e[13] * e[34] +
1444  e[7] * e[33] * e[15] + e[7] * e[35] * e[17] +
1445  3. * e[7] * e[34] * e[16] + e[1] * e[27] * e[15] +
1446  e[1] * e[9] * e[33] + e[1] * e[29] * e[17] + e[1] * e[11] * e[35] +
1447  e[1] * e[28] * e[16] + e[1] * e[10] * e[34] - e[16] * e[27] * e[0] -
1448  e[16] * e[32] * e[5] + e[16] * e[33] * e[6] - e[16] * e[30] * e[3] +
1449  e[16] * e[35] * e[8] - e[16] * e[29] * e[2] + e[13] * e[30] * e[6] +
1450  e[13] * e[3] * e[33] + e[13] * e[31] * e[7] + e[13] * e[32] * e[8] +
1451  e[13] * e[5] * e[35] - e[34] * e[11] * e[2] + e[34] * e[15] * e[6] -
1452  e[34] * e[9] * e[0] - e[34] * e[14] * e[5] - e[34] * e[12] * e[3] +
1453  e[34] * e[17] * e[8] + e[31] * e[12] * e[6] + e[31] * e[3] * e[15] +
1454  e[31] * e[14] * e[8] + e[31] * e[5] * e[17] - e[7] * e[27] * e[9] -
1455  e[7] * e[30] * e[12] + e[7] * e[28] * e[10] - e[7] * e[32] * e[14] +
1456  e[10] * e[27] * e[6] + e[10] * e[0] * e[33] + e[10] * e[29] * e[8] +
1457  e[10] * e[2] * e[35] + e[28] * e[9] * e[6] + e[28] * e[0] * e[15] +
1458  e[28] * e[11] * e[8] + e[28] * e[2] * e[17] - e[7] * e[29] * e[11];
1459  a[132] = e[22] * e[18] * e[12] + e[22] * e[9] * e[21] +
1460  e[22] * e[20] * e[14] + e[22] * e[11] * e[23] +
1461  e[22] * e[19] * e[13] + e[25] * e[18] * e[15] +
1462  e[25] * e[9] * e[24] + e[25] * e[20] * e[17] +
1463  e[25] * e[11] * e[26] + e[25] * e[19] * e[16] +
1464  e[16] * e[18] * e[24] + e[16] * e[20] * e[26] +
1465  e[13] * e[18] * e[21] + e[13] * e[20] * e[23] +
1466  e[19] * e[18] * e[9] + e[19] * e[20] * e[11] -
1467  e[19] * e[23] * e[14] - e[19] * e[24] * e[15] -
1468  e[19] * e[26] * e[17] - e[19] * e[21] * e[12] +
1469  0.5 * e[10] * e2[22] + 0.5 * e[10] * e2[25] +
1470  1.5 * e[10] * e2[19] + 0.5 * e[10] * e2[18] +
1471  0.5 * e[10] * e2[20] - 0.5 * e[10] * e2[26] -
1472  0.5 * e[10] * e2[23] - 0.5 * e[10] * e2[24] - 0.5 * e[10] * e2[21];
1473  a[168] = e[19] * e[20] * e[26] - 0.5 * e[25] * e2[20] +
1474  e[22] * e[21] * e[24] + e[19] * e[18] * e[24] +
1475  0.5 * e2[22] * e[25] - 0.5 * e[25] * e2[21] -
1476  0.5 * e[25] * e2[23] + 0.5 * e2[19] * e[25] -
1477  0.5 * e[25] * e2[18] + 0.5 * e[25] * e2[24] +
1478  0.5 * e[25] * e2[26] + 0.5 * e3[25] + e[22] * e[23] * e[26];
1479  a[113] =
1480  -e[20] * e[33] * e[6] - e[20] * e[30] * e[3] -
1481  e[20] * e[31] * e[4] - e[29] * e[21] * e[3] - e[29] * e[22] * e[4] -
1482  e[29] * e[25] * e[7] - e[29] * e[24] * e[6] + e[8] * e[27] * e[24] +
1483  e[8] * e[18] * e[33] + e[8] * e[28] * e[25] + e[8] * e[19] * e[34] +
1484  e[23] * e[27] * e[3] + e[23] * e[0] * e[30] + e[23] * e[28] * e[4] +
1485  e[23] * e[1] * e[31] + e[32] * e[18] * e[3] + e[32] * e[0] * e[21] +
1486  e[32] * e[19] * e[4] + e[32] * e[1] * e[22] + e[26] * e[27] * e[6] +
1487  e[26] * e[0] * e[33] + e[26] * e[28] * e[7] + e[26] * e[1] * e[34] +
1488  e[26] * e[29] * e[8] + e[26] * e[2] * e[35] + e[35] * e[18] * e[6] +
1489  e[35] * e[0] * e[24] + e[35] * e[19] * e[7] + e[35] * e[1] * e[25] +
1490  e[35] * e[20] * e[8] + e[2] * e[27] * e[18] + e[2] * e[28] * e[19] +
1491  3. * e[2] * e[29] * e[20] + e[20] * e[27] * e[0] +
1492  e[20] * e[28] * e[1] + e[29] * e[18] * e[0] + e[29] * e[19] * e[1] +
1493  e[5] * e[27] * e[21] + e[5] * e[18] * e[30] + e[5] * e[28] * e[22] +
1494  e[5] * e[19] * e[31] + e[5] * e[29] * e[23] + e[5] * e[20] * e[32] -
1495  e[2] * e[33] * e[24] - e[2] * e[30] * e[21] - e[2] * e[31] * e[22] +
1496  e[2] * e[32] * e[23] - e[2] * e[34] * e[25] - e[20] * e[34] * e[7];
1497  a[43] = e[5] * e[18] * e[3] + e[5] * e[0] * e[21] + e[5] * e[19] * e[4] +
1498  e[5] * e[1] * e[22] + e[5] * e[2] * e[23] + e[23] * e[1] * e[4] +
1499  e[23] * e[0] * e[3] + e[8] * e[18] * e[6] + e[8] * e[0] * e[24] +
1500  e[8] * e[19] * e[7] + e[8] * e[1] * e[25] + e[8] * e[2] * e[26] +
1501  e[26] * e[1] * e[7] + e[26] * e[0] * e[6] + e[2] * e[18] * e[0] +
1502  e[2] * e[19] * e[1] - e[2] * e[21] * e[3] - e[2] * e[22] * e[4] -
1503  e[2] * e[25] * e[7] - e[2] * e[24] * e[6] - 0.5 * e[20] * e2[4] +
1504  0.5 * e[20] * e2[0] - 0.5 * e[20] * e2[6] + 0.5 * e[20] * e2[5] +
1505  0.5 * e[20] * e2[1] - 0.5 * e[20] * e2[7] - 0.5 * e[20] * e2[3] +
1506  1.5 * e[20] * e2[2] + 0.5 * e[20] * e2[8];
1507  a[33] = e[14] * e[9] * e[3] + e[14] * e[0] * e[12] + e[14] * e[10] * e[4] +
1508  e[14] * e[1] * e[13] + e[14] * e[11] * e[5] + e[17] * e[9] * e[6] +
1509  e[17] * e[0] * e[15] + e[17] * e[10] * e[7] + e[17] * e[1] * e[16] +
1510  e[17] * e[11] * e[8] + e[8] * e[9] * e[15] + e[8] * e[10] * e[16] +
1511  e[5] * e[9] * e[12] + e[5] * e[10] * e[13] + e[11] * e[9] * e[0] +
1512  e[11] * e[10] * e[1] - e[11] * e[13] * e[4] - e[11] * e[16] * e[7] -
1513  e[11] * e[15] * e[6] - e[11] * e[12] * e[3] + 0.5 * e[2] * e2[14] +
1514  0.5 * e[2] * e2[17] + 1.5 * e[2] * e2[11] + 0.5 * e[2] * e2[9] +
1515  0.5 * e[2] * e2[10] - 0.5 * e[2] * e2[16] - 0.5 * e[2] * e2[12] -
1516  0.5 * e[2] * e2[15] - 0.5 * e[2] * e2[13];
1517  a[63] = e[14] * e[18] * e[12] + e[14] * e[9] * e[21] +
1518  e[14] * e[11] * e[23] + e[14] * e[19] * e[13] +
1519  e[14] * e[10] * e[22] + e[23] * e[9] * e[12] +
1520  e[23] * e[10] * e[13] + e[17] * e[18] * e[15] +
1521  e[17] * e[9] * e[24] + e[17] * e[11] * e[26] +
1522  e[17] * e[19] * e[16] + e[17] * e[10] * e[25] +
1523  e[26] * e[9] * e[15] + e[26] * e[10] * e[16] -
1524  e[11] * e[24] * e[15] - e[11] * e[25] * e[16] +
1525  e[11] * e[18] * e[9] - e[11] * e[21] * e[12] +
1526  e[11] * e[19] * e[10] - e[11] * e[22] * e[13] +
1527  1.5 * e[20] * e2[11] + 0.5 * e[20] * e2[9] + 0.5 * e[20] * e2[10] +
1528  0.5 * e[20] * e2[14] + 0.5 * e[20] * e2[17] - 0.5 * e[20] * e2[16] -
1529  0.5 * e[20] * e2[12] - 0.5 * e[20] * e2[15] - 0.5 * e[20] * e2[13];
1530  a[143] = e[23] * e[10] * e[31] + e[32] * e[18] * e[12] +
1531  e[32] * e[9] * e[21] + e[32] * e[19] * e[13] +
1532  e[32] * e[10] * e[22] - e[11] * e[33] * e[24] -
1533  e[11] * e[30] * e[21] + e[11] * e[35] * e[26] -
1534  e[11] * e[31] * e[22] - e[11] * e[34] * e[25] +
1535  e[20] * e[27] * e[9] + e[20] * e[28] * e[10] +
1536  e[29] * e[18] * e[9] + e[29] * e[19] * e[10] +
1537  e[17] * e[27] * e[24] + e[17] * e[18] * e[33] +
1538  e[17] * e[28] * e[25] + e[17] * e[19] * e[34] +
1539  e[17] * e[29] * e[26] + e[17] * e[20] * e[35] -
1540  e[20] * e[30] * e[12] - e[20] * e[31] * e[13] -
1541  e[20] * e[33] * e[15] - e[20] * e[34] * e[16] -
1542  e[29] * e[24] * e[15] - e[29] * e[25] * e[16] -
1543  e[29] * e[21] * e[12] - e[29] * e[22] * e[13] +
1544  e[26] * e[27] * e[15] + e[26] * e[9] * e[33] +
1545  e[26] * e[28] * e[16] + e[26] * e[10] * e[34] +
1546  e[35] * e[18] * e[15] + e[35] * e[9] * e[24] +
1547  e[35] * e[19] * e[16] + e[35] * e[10] * e[25] +
1548  e[14] * e[27] * e[21] + e[14] * e[18] * e[30] +
1549  e[14] * e[28] * e[22] + e[14] * e[19] * e[31] +
1550  e[14] * e[29] * e[23] + e[14] * e[20] * e[32] +
1551  e[11] * e[27] * e[18] + e[11] * e[28] * e[19] +
1552  3. * e[11] * e[29] * e[20] + e[23] * e[27] * e[12] +
1553  e[23] * e[9] * e[30] + e[23] * e[11] * e[32] +
1554  e[23] * e[28] * e[13];
1555  a[133] = e[23] * e[18] * e[12] + e[23] * e[9] * e[21] +
1556  e[23] * e[20] * e[14] + e[23] * e[19] * e[13] +
1557  e[23] * e[10] * e[22] + e[26] * e[18] * e[15] +
1558  e[26] * e[9] * e[24] + e[26] * e[20] * e[17] +
1559  e[26] * e[19] * e[16] + e[26] * e[10] * e[25] +
1560  e[17] * e[19] * e[25] + e[17] * e[18] * e[24] +
1561  e[14] * e[19] * e[22] + e[14] * e[18] * e[21] +
1562  e[20] * e[18] * e[9] + e[20] * e[19] * e[10] -
1563  e[20] * e[24] * e[15] - e[20] * e[25] * e[16] -
1564  e[20] * e[21] * e[12] - e[20] * e[22] * e[13] +
1565  0.5 * e[11] * e2[23] + 0.5 * e[11] * e2[26] +
1566  0.5 * e[11] * e2[19] + 0.5 * e[11] * e2[18] +
1567  1.5 * e[11] * e2[20] - 0.5 * e[11] * e2[22] -
1568  0.5 * e[11] * e2[24] - 0.5 * e[11] * e2[21] - 0.5 * e[11] * e2[25];
1569  a[103] =
1570  -e[20] * e[21] * e[3] + e[20] * e[26] * e[8] -
1571  e[20] * e[22] * e[4] - e[20] * e[25] * e[7] - e[20] * e[24] * e[6] +
1572  e[5] * e[19] * e[22] + e[5] * e[18] * e[21] + e[26] * e[18] * e[6] +
1573  e[26] * e[0] * e[24] + e[26] * e[19] * e[7] + e[26] * e[1] * e[25] +
1574  e[8] * e[19] * e[25] + e[8] * e[18] * e[24] + e[20] * e[18] * e[0] +
1575  e[20] * e[19] * e[1] + e[23] * e[18] * e[3] + e[23] * e[0] * e[21] +
1576  e[23] * e[19] * e[4] + e[23] * e[1] * e[22] + e[23] * e[20] * e[5] +
1577  1.5 * e2[20] * e[2] + 0.5 * e[2] * e2[23] + 0.5 * e[2] * e2[19] +
1578  0.5 * e[2] * e2[18] + 0.5 * e[2] * e2[26] - 0.5 * e[2] * e2[22] -
1579  0.5 * e[2] * e2[24] - 0.5 * e[2] * e2[21] - 0.5 * e[2] * e2[25];
1580  a[23] = -e[2] * e[15] * e[6] + e[2] * e[9] * e[0] - e[2] * e[12] * e[3] +
1581  e[5] * e[9] * e[3] + e[5] * e[0] * e[12] + e[5] * e[10] * e[4] +
1582  e[5] * e[1] * e[13] + e[5] * e[2] * e[14] + e[14] * e[1] * e[4] +
1583  e[14] * e[0] * e[3] + e[8] * e[9] * e[6] + e[8] * e[0] * e[15] +
1584  e[8] * e[10] * e[7] + e[8] * e[1] * e[16] + e[8] * e[2] * e[17] +
1585  e[17] * e[1] * e[7] + e[17] * e[0] * e[6] + e[2] * e[10] * e[1] -
1586  e[2] * e[13] * e[4] - e[2] * e[16] * e[7] + 0.5 * e[11] * e2[1] +
1587  0.5 * e[11] * e2[0] + 1.5 * e[11] * e2[2] + 0.5 * e[11] * e2[5] +
1588  0.5 * e[11] * e2[8] - 0.5 * e[11] * e2[4] - 0.5 * e[11] * e2[6] -
1589  0.5 * e[11] * e2[7] - 0.5 * e[11] * e2[3];
1590  a[83] = e[5] * e[19] * e[13] + e[5] * e[10] * e[22] + e[8] * e[18] * e[15] +
1591  e[8] * e[9] * e[24] + e[8] * e[20] * e[17] + e[8] * e[11] * e[26] +
1592  e[8] * e[19] * e[16] + e[8] * e[10] * e[25] + e[2] * e[18] * e[9] +
1593  e[2] * e[19] * e[10] - e[11] * e[21] * e[3] - e[11] * e[22] * e[4] -
1594  e[11] * e[25] * e[7] - e[11] * e[24] * e[6] + e[14] * e[18] * e[3] +
1595  e[14] * e[0] * e[21] + e[14] * e[19] * e[4] + e[14] * e[1] * e[22] +
1596  e[14] * e[2] * e[23] - e[20] * e[13] * e[4] - e[20] * e[16] * e[7] -
1597  e[20] * e[15] * e[6] - e[20] * e[12] * e[3] + e[23] * e[9] * e[3] +
1598  e[23] * e[0] * e[12] + e[23] * e[10] * e[4] + e[23] * e[1] * e[13] +
1599  e[17] * e[18] * e[6] + e[17] * e[0] * e[24] + e[17] * e[19] * e[7] +
1600  e[17] * e[1] * e[25] + e[17] * e[2] * e[26] - e[2] * e[24] * e[15] -
1601  e[2] * e[25] * e[16] - e[2] * e[21] * e[12] - e[2] * e[22] * e[13] +
1602  e[26] * e[9] * e[6] + e[26] * e[0] * e[15] + e[26] * e[10] * e[7] +
1603  e[26] * e[1] * e[16] + e[11] * e[18] * e[0] + e[11] * e[19] * e[1] +
1604  3. * e[11] * e[20] * e[2] + e[20] * e[9] * e[0] +
1605  e[20] * e[10] * e[1] + e[5] * e[18] * e[12] + e[5] * e[9] * e[21] +
1606  e[5] * e[20] * e[14] + e[5] * e[11] * e[23];
1607  a[53] = e[32] * e[1] * e[4] + e[32] * e[0] * e[3] + e[8] * e[27] * e[6] +
1608  e[8] * e[0] * e[33] + e[8] * e[28] * e[7] + e[8] * e[1] * e[34] +
1609  e[35] * e[1] * e[7] + e[35] * e[0] * e[6] + e[2] * e[27] * e[0] +
1610  e[2] * e[28] * e[1] - e[2] * e[34] * e[7] + e[2] * e[32] * e[5] -
1611  e[2] * e[33] * e[6] - e[2] * e[30] * e[3] + e[2] * e[35] * e[8] -
1612  e[2] * e[31] * e[4] + e[5] * e[27] * e[3] + e[5] * e[0] * e[30] +
1613  e[5] * e[28] * e[4] + e[5] * e[1] * e[31] + 1.5 * e[29] * e2[2] -
1614  0.5 * e[29] * e2[4] + 0.5 * e[29] * e2[0] - 0.5 * e[29] * e2[6] +
1615  0.5 * e[29] * e2[5] + 0.5 * e[29] * e2[1] - 0.5 * e[29] * e2[7] -
1616  0.5 * e[29] * e2[3] + 0.5 * e[29] * e2[8];
1617  a[3] = e[5] * e[0] * e[3] + e[8] * e[1] * e[7] + e[8] * e[0] * e[6] +
1618  e[5] * e[1] * e[4] - 0.5 * e[2] * e2[4] + 0.5 * e3[2] +
1619  0.5 * e[2] * e2[1] - 0.5 * e[2] * e2[3] + 0.5 * e[2] * e2[0] +
1620  0.5 * e[2] * e2[8] + 0.5 * e[2] * e2[5] - 0.5 * e[2] * e2[6] -
1621  0.5 * e[2] * e2[7];
1622  a[73] = e[35] * e[9] * e[15] + e[35] * e[10] * e[16] -
1623  e[11] * e[30] * e[12] - e[11] * e[31] * e[13] -
1624  e[11] * e[33] * e[15] - e[11] * e[34] * e[16] +
1625  e[11] * e[27] * e[9] + e[11] * e[28] * e[10] +
1626  e[14] * e[27] * e[12] + e[14] * e[9] * e[30] +
1627  e[14] * e[11] * e[32] + e[14] * e[28] * e[13] +
1628  e[14] * e[10] * e[31] + e[32] * e[9] * e[12] +
1629  e[32] * e[10] * e[13] + e[17] * e[27] * e[15] +
1630  e[17] * e[9] * e[33] + e[17] * e[11] * e[35] +
1631  e[17] * e[28] * e[16] + e[17] * e[10] * e[34] +
1632  1.5 * e[29] * e2[11] - 0.5 * e[29] * e2[16] + 0.5 * e[29] * e2[9] -
1633  0.5 * e[29] * e2[12] - 0.5 * e[29] * e2[15] + 0.5 * e[29] * e2[17] +
1634  0.5 * e[29] * e2[10] + 0.5 * e[29] * e2[14] - 0.5 * e[29] * e2[13];
1635  a[13] = e[14] * e[9] * e[12] + e[17] * e[10] * e[16] +
1636  e[17] * e[9] * e[15] + 0.5 * e3[11] + e[14] * e[10] * e[13] +
1637  0.5 * e[11] * e2[10] - 0.5 * e[11] * e2[15] + 0.5 * e[11] * e2[14] -
1638  0.5 * e[11] * e2[13] - 0.5 * e[11] * e2[12] + 0.5 * e[11] * e2[9] -
1639  0.5 * e[11] * e2[16] + 0.5 * e[11] * e2[17];
1640  a[173] = e[20] * e[27] * e[18] + e[20] * e[28] * e[19] +
1641  e[23] * e[27] * e[21] + e[23] * e[18] * e[30] +
1642  e[23] * e[28] * e[22] + e[23] * e[19] * e[31] +
1643  e[23] * e[20] * e[32] + e[32] * e[19] * e[22] +
1644  e[32] * e[18] * e[21] + e[26] * e[27] * e[24] +
1645  e[26] * e[18] * e[33] + e[26] * e[28] * e[25] +
1646  e[26] * e[19] * e[34] + e[26] * e[20] * e[35] +
1647  e[35] * e[19] * e[25] + e[35] * e[18] * e[24] -
1648  e[20] * e[33] * e[24] - e[20] * e[30] * e[21] -
1649  e[20] * e[31] * e[22] - e[20] * e[34] * e[25] +
1650  0.5 * e[29] * e2[23] + 0.5 * e[29] * e2[26] -
1651  0.5 * e[29] * e2[22] - 0.5 * e[29] * e2[24] -
1652  0.5 * e[29] * e2[21] - 0.5 * e[29] * e2[25] +
1653  1.5 * e[29] * e2[20] + 0.5 * e[29] * e2[19] + 0.5 * e[29] * e2[18];
1654  a[163] = 0.5 * e[20] * e2[26] + 0.5 * e[20] * e2[18] + 0.5 * e3[20] +
1655  0.5 * e[20] * e2[19] + e[26] * e[18] * e[24] +
1656  0.5 * e[20] * e2[23] - 0.5 * e[20] * e2[25] +
1657  e[23] * e[19] * e[22] - 0.5 * e[20] * e2[24] -
1658  0.5 * e[20] * e2[21] - 0.5 * e[20] * e2[22] +
1659  e[23] * e[18] * e[21] + e[26] * e[19] * e[25];
1660  a[93] = e[8] * e[28] * e[16] + e[8] * e[10] * e[34] + e[2] * e[27] * e[9] +
1661  3. * e[2] * e[29] * e[11] + e[2] * e[28] * e[10] +
1662  e[11] * e[27] * e[0] - e[11] * e[34] * e[7] - e[11] * e[33] * e[6] -
1663  e[11] * e[30] * e[3] + e[11] * e[28] * e[1] - e[11] * e[31] * e[4] +
1664  e[14] * e[27] * e[3] + e[14] * e[0] * e[30] + e[14] * e[28] * e[4] +
1665  e[14] * e[1] * e[31] + e[14] * e[2] * e[32] + e[29] * e[10] * e[1] -
1666  e[29] * e[13] * e[4] - e[29] * e[16] * e[7] - e[29] * e[15] * e[6] +
1667  e[29] * e[9] * e[0] - e[29] * e[12] * e[3] + e[32] * e[9] * e[3] +
1668  e[32] * e[0] * e[12] + e[32] * e[10] * e[4] + e[32] * e[1] * e[13] +
1669  e[17] * e[27] * e[6] + e[17] * e[0] * e[33] + e[17] * e[28] * e[7] +
1670  e[17] * e[1] * e[34] + e[17] * e[2] * e[35] - e[2] * e[30] * e[12] -
1671  e[2] * e[31] * e[13] - e[2] * e[33] * e[15] - e[2] * e[34] * e[16] +
1672  e[35] * e[9] * e[6] + e[35] * e[0] * e[15] + e[35] * e[10] * e[7] +
1673  e[35] * e[1] * e[16] + e[5] * e[27] * e[12] + e[5] * e[9] * e[30] +
1674  e[5] * e[29] * e[14] + e[5] * e[11] * e[32] + e[5] * e[28] * e[13] +
1675  e[5] * e[10] * e[31] + e[8] * e[27] * e[15] + e[8] * e[9] * e[33] +
1676  e[8] * e[29] * e[17] + e[8] * e[11] * e[35];
1677  a[94] = -e[12] * e[34] * e[7] + e[12] * e[32] * e[5] -
1678  e[12] * e[35] * e[8] - e[12] * e[29] * e[2] - e[12] * e[28] * e[1] +
1679  e[12] * e[31] * e[4] - e[30] * e[11] * e[2] - e[30] * e[10] * e[1] +
1680  e[30] * e[13] * e[4] - e[30] * e[16] * e[7] + e[30] * e[14] * e[5] -
1681  e[30] * e[17] * e[8] + e[15] * e[3] * e[33] + e[15] * e[31] * e[7] +
1682  e[15] * e[4] * e[34] + e[15] * e[32] * e[8] + e[15] * e[5] * e[35] +
1683  e[3] * e[27] * e[9] - e[3] * e[28] * e[10] - e[3] * e[34] * e[16] -
1684  e[3] * e[35] * e[17] - e[3] * e[29] * e[11] + e[33] * e[13] * e[7] +
1685  e[33] * e[4] * e[16] + e[33] * e[14] * e[8] + e[33] * e[5] * e[17] +
1686  e[9] * e[28] * e[4] + e[9] * e[1] * e[31] + e[9] * e[29] * e[5] +
1687  e[9] * e[2] * e[32] + e[27] * e[10] * e[4] + e[27] * e[1] * e[13] +
1688  e[27] * e[11] * e[5] + e[27] * e[2] * e[14] +
1689  3. * e[3] * e[30] * e[12] + e[3] * e[32] * e[14] +
1690  e[3] * e[31] * e[13] + e[6] * e[30] * e[15] + e[6] * e[12] * e[33] +
1691  e[6] * e[32] * e[17] + e[6] * e[14] * e[35] + e[6] * e[31] * e[16] +
1692  e[6] * e[13] * e[34] + e[0] * e[27] * e[12] + e[0] * e[9] * e[30] +
1693  e[0] * e[29] * e[14] + e[0] * e[11] * e[32] + e[0] * e[28] * e[13] +
1694  e[0] * e[10] * e[31];
1695  a[164] = 0.5 * e[21] * e2[24] - 0.5 * e[21] * e2[25] +
1696  0.5 * e[21] * e2[23] - 0.5 * e[21] * e2[26] +
1697  0.5 * e2[18] * e[21] + 0.5 * e[21] * e2[22] -
1698  0.5 * e[21] * e2[20] + e[24] * e[22] * e[25] +
1699  e[24] * e[23] * e[26] - 0.5 * e[21] * e2[19] +
1700  e[18] * e[19] * e[22] + e[18] * e[20] * e[23] + 0.5 * e3[21];
1701  a[174] = -0.5 * e[30] * e2[26] - 0.5 * e[30] * e2[19] -
1702  0.5 * e[30] * e2[20] - 0.5 * e[30] * e2[25] +
1703  0.5 * e2[18] * e[30] + 1.5 * e[30] * e2[21] +
1704  0.5 * e[30] * e2[22] + 0.5 * e[30] * e2[23] +
1705  0.5 * e[30] * e2[24] + e[18] * e[27] * e[21] +
1706  e[18] * e[28] * e[22] + e[18] * e[19] * e[31] +
1707  e[18] * e[29] * e[23] + e[18] * e[20] * e[32] +
1708  e[27] * e[19] * e[22] + e[27] * e[20] * e[23] +
1709  e[21] * e[31] * e[22] + e[21] * e[32] * e[23] +
1710  e[24] * e[21] * e[33] + e[24] * e[31] * e[25] +
1711  e[24] * e[22] * e[34] + e[24] * e[32] * e[26] +
1712  e[24] * e[23] * e[35] + e[33] * e[22] * e[25] +
1713  e[33] * e[23] * e[26] - e[21] * e[29] * e[20] -
1714  e[21] * e[35] * e[26] - e[21] * e[28] * e[19] -
1715  e[21] * e[34] * e[25];
1716  a[14] = 0.5 * e[12] * e2[15] - 0.5 * e[12] * e2[17] +
1717  e[15] * e[13] * e[16] - 0.5 * e[12] * e2[10] +
1718  e[15] * e[14] * e[17] - 0.5 * e[12] * e2[16] -
1719  0.5 * e[12] * e2[11] + e[9] * e[10] * e[13] + 0.5 * e[12] * e2[13] +
1720  0.5 * e2[9] * e[12] + 0.5 * e3[12] + e[9] * e[11] * e[14] +
1721  0.5 * e[12] * e2[14];
1722  a[34] = e[12] * e[13] * e[4] + e[12] * e[14] * e[5] + e[15] * e[12] * e[6] +
1723  e[15] * e[13] * e[7] + e[15] * e[4] * e[16] + e[15] * e[14] * e[8] +
1724  e[15] * e[5] * e[17] + e[6] * e[14] * e[17] + e[6] * e[13] * e[16] +
1725  e[0] * e[11] * e[14] + e[0] * e[9] * e[12] + e[0] * e[10] * e[13] +
1726  e[9] * e[10] * e[4] + e[9] * e[1] * e[13] + e[9] * e[11] * e[5] +
1727  e[9] * e[2] * e[14] - e[12] * e[11] * e[2] - e[12] * e[10] * e[1] -
1728  e[12] * e[16] * e[7] - e[12] * e[17] * e[8] + 1.5 * e2[12] * e[3] +
1729  0.5 * e[3] * e2[15] - 0.5 * e[3] * e2[16] + 0.5 * e[3] * e2[9] -
1730  0.5 * e[3] * e2[11] - 0.5 * e[3] * e2[17] - 0.5 * e[3] * e2[10] +
1731  0.5 * e[3] * e2[14] + 0.5 * e[3] * e2[13];
1732  a[64] = e[18] * e[11] * e[14] + e[18] * e[9] * e[12] +
1733  e[18] * e[10] * e[13] + e[12] * e[23] * e[14] +
1734  e[12] * e[22] * e[13] + e[15] * e[12] * e[24] +
1735  e[15] * e[23] * e[17] + e[15] * e[14] * e[26] +
1736  e[15] * e[22] * e[16] + e[15] * e[13] * e[25] +
1737  e[24] * e[14] * e[17] + e[24] * e[13] * e[16] -
1738  e[12] * e[25] * e[16] - e[12] * e[26] * e[17] -
1739  e[12] * e[20] * e[11] - e[12] * e[19] * e[10] +
1740  e[9] * e[20] * e[14] + e[9] * e[11] * e[23] + e[9] * e[19] * e[13] +
1741  e[9] * e[10] * e[22] + 0.5 * e2[9] * e[21] - 0.5 * e[21] * e2[16] -
1742  0.5 * e[21] * e2[11] - 0.5 * e[21] * e2[17] - 0.5 * e[21] * e2[10] +
1743  1.5 * e[21] * e2[12] + 0.5 * e[21] * e2[14] + 0.5 * e[21] * e2[13] +
1744  0.5 * e[21] * e2[15];
1745  a[114] =
1746  -e[21] * e[35] * e[8] - e[21] * e[29] * e[2] -
1747  e[21] * e[28] * e[1] + e[21] * e[31] * e[4] - e[30] * e[26] * e[8] -
1748  e[30] * e[20] * e[2] - e[30] * e[19] * e[1] + e[30] * e[22] * e[4] -
1749  e[30] * e[25] * e[7] + e[30] * e[23] * e[5] + e[6] * e[31] * e[25] +
1750  e[6] * e[22] * e[34] + e[6] * e[32] * e[26] + e[6] * e[23] * e[35] +
1751  e[24] * e[30] * e[6] + e[24] * e[3] * e[33] + e[24] * e[31] * e[7] +
1752  e[24] * e[4] * e[34] + e[24] * e[32] * e[8] + e[24] * e[5] * e[35] +
1753  e[33] * e[21] * e[6] + e[33] * e[22] * e[7] + e[33] * e[4] * e[25] +
1754  e[33] * e[23] * e[8] + e[33] * e[5] * e[26] + e[0] * e[27] * e[21] +
1755  e[0] * e[18] * e[30] + e[0] * e[28] * e[22] + e[0] * e[19] * e[31] +
1756  e[0] * e[29] * e[23] + e[0] * e[20] * e[32] + e[18] * e[27] * e[3] +
1757  e[18] * e[28] * e[4] + e[18] * e[1] * e[31] + e[18] * e[29] * e[5] +
1758  e[18] * e[2] * e[32] + e[27] * e[19] * e[4] + e[27] * e[1] * e[22] +
1759  e[27] * e[20] * e[5] + e[27] * e[2] * e[23] +
1760  3. * e[3] * e[30] * e[21] + e[3] * e[31] * e[22] +
1761  e[3] * e[32] * e[23] - e[3] * e[29] * e[20] - e[3] * e[35] * e[26] -
1762  e[3] * e[28] * e[19] - e[3] * e[34] * e[25] - e[21] * e[34] * e[7] +
1763  e[21] * e[32] * e[5];
1764  a[44] = e[18] * e[1] * e[4] + e[18] * e[0] * e[3] + e[18] * e[2] * e[5] +
1765  e[3] * e[22] * e[4] + e[3] * e[23] * e[5] + e[6] * e[3] * e[24] +
1766  e[6] * e[22] * e[7] + e[6] * e[4] * e[25] + e[6] * e[23] * e[8] +
1767  e[6] * e[5] * e[26] + e[24] * e[4] * e[7] + e[24] * e[5] * e[8] +
1768  e[0] * e[19] * e[4] + e[0] * e[1] * e[22] + e[0] * e[20] * e[5] +
1769  e[0] * e[2] * e[23] - e[3] * e[26] * e[8] - e[3] * e[20] * e[2] -
1770  e[3] * e[19] * e[1] - e[3] * e[25] * e[7] + 0.5 * e[21] * e2[4] +
1771  0.5 * e[21] * e2[0] + 0.5 * e[21] * e2[6] + 0.5 * e[21] * e2[5] -
1772  0.5 * e[21] * e2[1] - 0.5 * e[21] * e2[7] + 1.5 * e[21] * e2[3] -
1773  0.5 * e[21] * e2[2] - 0.5 * e[21] * e2[8];
1774  a[184] =
1775  0.5 * e2[27] * e[21] + 1.5 * e[21] * e2[30] + 0.5 * e[21] * e2[32] +
1776  0.5 * e[21] * e2[31] + 0.5 * e[21] * e2[33] - 0.5 * e[21] * e2[28] -
1777  0.5 * e[21] * e2[29] - 0.5 * e[21] * e2[34] - 0.5 * e[21] * e2[35] +
1778  e[18] * e[27] * e[30] + e[18] * e[29] * e[32] +
1779  e[18] * e[28] * e[31] + e[27] * e[28] * e[22] +
1780  e[27] * e[19] * e[31] + e[27] * e[29] * e[23] +
1781  e[27] * e[20] * e[32] + e[30] * e[31] * e[22] +
1782  e[30] * e[32] * e[23] + e[24] * e[30] * e[33] +
1783  e[24] * e[32] * e[35] + e[24] * e[31] * e[34] +
1784  e[33] * e[31] * e[25] + e[33] * e[22] * e[34] +
1785  e[33] * e[32] * e[26] + e[33] * e[23] * e[35] -
1786  e[30] * e[29] * e[20] - e[30] * e[35] * e[26] -
1787  e[30] * e[28] * e[19] - e[30] * e[34] * e[25];
1788  a[49] = -0.5 * e[26] * e2[4] - 0.5 * e[26] * e2[0] + 0.5 * e[26] * e2[6] +
1789  0.5 * e[26] * e2[5] - 0.5 * e[26] * e2[1] + 0.5 * e[26] * e2[7] -
1790  0.5 * e[26] * e2[3] + 0.5 * e[26] * e2[2] + 1.5 * e[26] * e2[8] +
1791  e[20] * e[0] * e[6] + e[20] * e[2] * e[8] + e[5] * e[21] * e[6] +
1792  e[5] * e[3] * e[24] + e[5] * e[22] * e[7] + e[5] * e[4] * e[25] +
1793  e[5] * e[23] * e[8] + e[23] * e[4] * e[7] + e[23] * e[3] * e[6] +
1794  e[8] * e[24] * e[6] + e[8] * e[25] * e[7] + e[2] * e[18] * e[6] +
1795  e[2] * e[0] * e[24] + e[2] * e[19] * e[7] + e[2] * e[1] * e[25] -
1796  e[8] * e[21] * e[3] - e[8] * e[19] * e[1] - e[8] * e[22] * e[4] -
1797  e[8] * e[18] * e[0] + e[20] * e[1] * e[7];
1798  a[154] = e[9] * e[27] * e[30] + e[9] * e[29] * e[32] +
1799  e[9] * e[28] * e[31] + e[33] * e[30] * e[15] +
1800  e[33] * e[32] * e[17] + e[33] * e[14] * e[35] +
1801  e[33] * e[31] * e[16] + e[33] * e[13] * e[34] +
1802  e[27] * e[29] * e[14] + e[27] * e[11] * e[32] +
1803  e[27] * e[28] * e[13] + e[27] * e[10] * e[31] -
1804  e[30] * e[28] * e[10] + e[30] * e[31] * e[13] +
1805  e[30] * e[32] * e[14] - e[30] * e[34] * e[16] -
1806  e[30] * e[35] * e[17] - e[30] * e[29] * e[11] +
1807  e[15] * e[32] * e[35] + e[15] * e[31] * e[34] -
1808  0.5 * e[12] * e2[34] - 0.5 * e[12] * e2[35] +
1809  0.5 * e[12] * e2[27] + 0.5 * e[12] * e2[32] -
1810  0.5 * e[12] * e2[28] - 0.5 * e[12] * e2[29] +
1811  0.5 * e[12] * e2[31] + 0.5 * e[12] * e2[33] + 1.5 * e[12] * e2[30];
1812  a[119] =
1813  e[23] * e[30] * e[6] + e[23] * e[3] * e[33] + e[23] * e[31] * e[7] +
1814  e[23] * e[4] * e[34] + e[32] * e[21] * e[6] + e[32] * e[3] * e[24] +
1815  e[32] * e[22] * e[7] + e[32] * e[4] * e[25] + e[26] * e[33] * e[6] +
1816  e[26] * e[34] * e[7] + 3. * e[26] * e[35] * e[8] +
1817  e[35] * e[24] * e[6] + e[35] * e[25] * e[7] + e[2] * e[27] * e[24] +
1818  e[2] * e[18] * e[33] + e[2] * e[28] * e[25] + e[2] * e[19] * e[34] +
1819  e[2] * e[29] * e[26] + e[2] * e[20] * e[35] + e[20] * e[27] * e[6] +
1820  e[20] * e[0] * e[33] + e[20] * e[28] * e[7] + e[20] * e[1] * e[34] +
1821  e[20] * e[29] * e[8] + e[29] * e[18] * e[6] + e[29] * e[0] * e[24] +
1822  e[29] * e[19] * e[7] + e[29] * e[1] * e[25] + e[5] * e[30] * e[24] +
1823  e[5] * e[21] * e[33] + e[5] * e[31] * e[25] + e[5] * e[22] * e[34] +
1824  e[5] * e[32] * e[26] + e[5] * e[23] * e[35] - e[8] * e[27] * e[18] +
1825  e[8] * e[33] * e[24] - e[8] * e[30] * e[21] - e[8] * e[31] * e[22] +
1826  e[8] * e[32] * e[23] - e[8] * e[28] * e[19] + e[8] * e[34] * e[25] -
1827  e[26] * e[27] * e[0] - e[26] * e[30] * e[3] - e[26] * e[28] * e[1] -
1828  e[26] * e[31] * e[4] - e[35] * e[21] * e[3] - e[35] * e[19] * e[1] -
1829  e[35] * e[22] * e[4] - e[35] * e[18] * e[0];
1830  a[194] = e[27] * e[29] * e[32] + e[27] * e[28] * e[31] +
1831  e[33] * e[32] * e[35] + e[33] * e[31] * e[34] + 0.5 * e3[30] -
1832  0.5 * e[30] * e2[28] - 0.5 * e[30] * e2[29] -
1833  0.5 * e[30] * e2[34] + 0.5 * e[30] * e2[33] +
1834  0.5 * e2[27] * e[30] + 0.5 * e[30] * e2[32] +
1835  0.5 * e[30] * e2[31] - 0.5 * e[30] * e2[35];
1836  a[69] = 0.5 * e2[14] * e[26] + 1.5 * e[26] * e2[17] + 0.5 * e[26] * e2[15] +
1837  0.5 * e[26] * e2[16] + 0.5 * e2[11] * e[26] - 0.5 * e[26] * e2[9] -
1838  0.5 * e[26] * e2[12] - 0.5 * e[26] * e2[10] - 0.5 * e[26] * e2[13] +
1839  e[20] * e[11] * e[17] + e[20] * e[9] * e[15] +
1840  e[20] * e[10] * e[16] + e[14] * e[21] * e[15] +
1841  e[14] * e[12] * e[24] + e[14] * e[23] * e[17] +
1842  e[14] * e[22] * e[16] + e[14] * e[13] * e[25] +
1843  e[23] * e[12] * e[15] + e[23] * e[13] * e[16] +
1844  e[17] * e[24] * e[15] + e[17] * e[25] * e[16] -
1845  e[17] * e[18] * e[9] - e[17] * e[21] * e[12] -
1846  e[17] * e[19] * e[10] - e[17] * e[22] * e[13] +
1847  e[11] * e[18] * e[15] + e[11] * e[9] * e[24] +
1848  e[11] * e[19] * e[16] + e[11] * e[10] * e[25];
1849  a[124] =
1850  e[0] * e[27] * e[30] + e[0] * e[29] * e[32] + e[0] * e[28] * e[31] +
1851  e[30] * e[31] * e[4] + e[30] * e[32] * e[5] + e[6] * e[30] * e[33] +
1852  e[6] * e[32] * e[35] + e[6] * e[31] * e[34] + e[27] * e[28] * e[4] +
1853  e[27] * e[1] * e[31] + e[27] * e[29] * e[5] + e[27] * e[2] * e[32] +
1854  e[33] * e[31] * e[7] + e[33] * e[4] * e[34] + e[33] * e[32] * e[8] +
1855  e[33] * e[5] * e[35] - e[30] * e[34] * e[7] - e[30] * e[35] * e[8] -
1856  e[30] * e[29] * e[2] - e[30] * e[28] * e[1] + 1.5 * e[3] * e2[30] +
1857  0.5 * e[3] * e2[32] + 0.5 * e[3] * e2[31] + 0.5 * e[3] * e2[27] -
1858  0.5 * e[3] * e2[28] - 0.5 * e[3] * e2[29] + 0.5 * e[3] * e2[33] -
1859  0.5 * e[3] * e2[34] - 0.5 * e[3] * e2[35];
1860  a[39] = 0.5 * e2[14] * e[8] + 1.5 * e2[17] * e[8] + 0.5 * e[8] * e2[15] +
1861  0.5 * e[8] * e2[16] - 0.5 * e[8] * e2[9] + 0.5 * e[8] * e2[11] -
1862  0.5 * e[8] * e2[12] - 0.5 * e[8] * e2[10] - 0.5 * e[8] * e2[13] +
1863  e[14] * e[12] * e[6] + e[14] * e[3] * e[15] + e[14] * e[13] * e[7] +
1864  e[14] * e[4] * e[16] + e[14] * e[5] * e[17] + e[17] * e[15] * e[6] +
1865  e[17] * e[16] * e[7] + e[2] * e[11] * e[17] + e[2] * e[9] * e[15] +
1866  e[2] * e[10] * e[16] + e[5] * e[12] * e[15] + e[5] * e[13] * e[16] +
1867  e[11] * e[9] * e[6] + e[11] * e[0] * e[15] + e[11] * e[10] * e[7] +
1868  e[11] * e[1] * e[16] - e[17] * e[10] * e[1] - e[17] * e[13] * e[4] -
1869  e[17] * e[9] * e[0] - e[17] * e[12] * e[3];
1870  a[4] = -0.5 * e[3] * e2[1] - 0.5 * e[3] * e2[7] + 0.5 * e3[3] -
1871  0.5 * e[3] * e2[8] + e[0] * e[2] * e[5] + 0.5 * e[3] * e2[6] +
1872  0.5 * e[3] * e2[4] - 0.5 * e[3] * e2[2] + e[0] * e[1] * e[4] +
1873  e[6] * e[4] * e[7] + 0.5 * e2[0] * e[3] + 0.5 * e[3] * e2[5] +
1874  e[6] * e[5] * e[8];
1875  a[139] =
1876  0.5 * e2[23] * e[17] + 1.5 * e2[26] * e[17] + 0.5 * e[17] * e2[25] +
1877  0.5 * e[17] * e2[24] - 0.5 * e[17] * e2[18] - 0.5 * e[17] * e2[19] +
1878  0.5 * e[17] * e2[20] - 0.5 * e[17] * e2[22] - 0.5 * e[17] * e2[21] +
1879  e[23] * e[21] * e[15] + e[23] * e[12] * e[24] +
1880  e[23] * e[14] * e[26] + e[23] * e[22] * e[16] +
1881  e[23] * e[13] * e[25] + e[26] * e[24] * e[15] +
1882  e[26] * e[25] * e[16] + e[11] * e[19] * e[25] +
1883  e[11] * e[18] * e[24] + e[11] * e[20] * e[26] +
1884  e[14] * e[22] * e[25] + e[14] * e[21] * e[24] +
1885  e[20] * e[18] * e[15] + e[20] * e[9] * e[24] +
1886  e[20] * e[19] * e[16] + e[20] * e[10] * e[25] -
1887  e[26] * e[18] * e[9] - e[26] * e[21] * e[12] -
1888  e[26] * e[19] * e[10] - e[26] * e[22] * e[13];
1889  a[74] = -e[12] * e[34] * e[16] - e[12] * e[35] * e[17] -
1890  e[12] * e[29] * e[11] + e[9] * e[27] * e[12] +
1891  e[9] * e[29] * e[14] + e[9] * e[11] * e[32] + e[9] * e[28] * e[13] +
1892  e[9] * e[10] * e[31] + e[27] * e[11] * e[14] +
1893  e[27] * e[10] * e[13] + e[12] * e[32] * e[14] +
1894  e[12] * e[31] * e[13] + e[15] * e[12] * e[33] +
1895  e[15] * e[32] * e[17] + e[15] * e[14] * e[35] +
1896  e[15] * e[31] * e[16] + e[15] * e[13] * e[34] +
1897  e[33] * e[14] * e[17] + e[33] * e[13] * e[16] -
1898  e[12] * e[28] * e[10] + 0.5 * e2[9] * e[30] - 0.5 * e[30] * e2[16] -
1899  0.5 * e[30] * e2[11] + 1.5 * e[30] * e2[12] + 0.5 * e[30] * e2[15] -
1900  0.5 * e[30] * e2[17] - 0.5 * e[30] * e2[10] + 0.5 * e[30] * e2[14] +
1901  0.5 * e[30] * e2[13];
1902  a[149] = e[32] * e[22] * e[16] + e[32] * e[13] * e[25] -
1903  e[17] * e[27] * e[18] + e[17] * e[33] * e[24] -
1904  e[17] * e[30] * e[21] + e[17] * e[29] * e[20] +
1905  3. * e[17] * e[35] * e[26] - e[17] * e[31] * e[22] -
1906  e[17] * e[28] * e[19] + e[17] * e[34] * e[25] +
1907  e[20] * e[27] * e[15] + e[20] * e[9] * e[33] +
1908  e[20] * e[28] * e[16] + e[20] * e[10] * e[34] +
1909  e[29] * e[18] * e[15] + e[29] * e[9] * e[24] +
1910  e[29] * e[19] * e[16] + e[29] * e[10] * e[25] -
1911  e[26] * e[27] * e[9] - e[26] * e[30] * e[12] -
1912  e[26] * e[28] * e[10] - e[26] * e[31] * e[13] +
1913  e[26] * e[33] * e[15] + e[26] * e[34] * e[16] +
1914  e[35] * e[24] * e[15] + e[35] * e[25] * e[16] -
1915  e[35] * e[18] * e[9] - e[35] * e[21] * e[12] -
1916  e[35] * e[19] * e[10] - e[35] * e[22] * e[13] +
1917  e[14] * e[30] * e[24] + e[14] * e[21] * e[33] +
1918  e[14] * e[31] * e[25] + e[14] * e[22] * e[34] +
1919  e[14] * e[32] * e[26] + e[14] * e[23] * e[35] +
1920  e[11] * e[27] * e[24] + e[11] * e[18] * e[33] +
1921  e[11] * e[28] * e[25] + e[11] * e[19] * e[34] +
1922  e[11] * e[29] * e[26] + e[11] * e[20] * e[35] +
1923  e[23] * e[30] * e[15] + e[23] * e[12] * e[33] +
1924  e[23] * e[32] * e[17] + e[23] * e[31] * e[16] +
1925  e[23] * e[13] * e[34] + e[32] * e[21] * e[15] +
1926  e[32] * e[12] * e[24];
1927  a[84] = e[6] * e[23] * e[17] + e[6] * e[14] * e[26] + e[6] * e[22] * e[16] +
1928  e[6] * e[13] * e[25] + e[0] * e[20] * e[14] + e[0] * e[11] * e[23] +
1929  e[0] * e[19] * e[13] + e[0] * e[10] * e[22] - e[12] * e[26] * e[8] -
1930  e[12] * e[20] * e[2] - e[12] * e[19] * e[1] + e[12] * e[22] * e[4] -
1931  e[12] * e[25] * e[7] + e[12] * e[23] * e[5] - e[21] * e[11] * e[2] -
1932  e[21] * e[10] * e[1] + e[21] * e[13] * e[4] - e[21] * e[16] * e[7] +
1933  e[21] * e[14] * e[5] - e[21] * e[17] * e[8] + e[15] * e[3] * e[24] +
1934  e[15] * e[22] * e[7] + e[15] * e[4] * e[25] + e[15] * e[23] * e[8] +
1935  e[15] * e[5] * e[26] - e[3] * e[25] * e[16] - e[3] * e[26] * e[17] -
1936  e[3] * e[20] * e[11] - e[3] * e[19] * e[10] + e[24] * e[13] * e[7] +
1937  e[24] * e[4] * e[16] + e[24] * e[14] * e[8] + e[24] * e[5] * e[17] +
1938  e[9] * e[18] * e[3] + e[9] * e[0] * e[21] + e[9] * e[19] * e[4] +
1939  e[9] * e[1] * e[22] + e[9] * e[20] * e[5] + e[9] * e[2] * e[23] +
1940  e[18] * e[0] * e[12] + e[18] * e[10] * e[4] + e[18] * e[1] * e[13] +
1941  e[18] * e[11] * e[5] + e[18] * e[2] * e[14] +
1942  3. * e[3] * e[21] * e[12] + e[3] * e[23] * e[14] +
1943  e[3] * e[22] * e[13] + e[6] * e[21] * e[15] + e[6] * e[12] * e[24];
1944  a[29] = 0.5 * e2[5] * e[17] + 1.5 * e[17] * e2[8] + 0.5 * e[17] * e2[7] +
1945  0.5 * e[17] * e2[6] + 0.5 * e2[2] * e[17] - 0.5 * e[17] * e2[4] -
1946  0.5 * e[17] * e2[0] - 0.5 * e[17] * e2[1] - 0.5 * e[17] * e2[3] +
1947  e[11] * e[1] * e[7] + e[11] * e[0] * e[6] + e[11] * e[2] * e[8] +
1948  e[5] * e[12] * e[6] + e[5] * e[3] * e[15] + e[5] * e[13] * e[7] +
1949  e[5] * e[4] * e[16] + e[5] * e[14] * e[8] + e[14] * e[4] * e[7] +
1950  e[14] * e[3] * e[6] + e[8] * e[15] * e[6] + e[8] * e[16] * e[7] -
1951  e[8] * e[10] * e[1] - e[8] * e[13] * e[4] - e[8] * e[9] * e[0] -
1952  e[8] * e[12] * e[3] + e[2] * e[9] * e[6] + e[2] * e[0] * e[15] +
1953  e[2] * e[10] * e[7] + e[2] * e[1] * e[16];
1954  a[54] = e[6] * e[4] * e[34] + e[6] * e[32] * e[8] + e[6] * e[5] * e[35] +
1955  e[33] * e[4] * e[7] + e[33] * e[5] * e[8] + e[0] * e[27] * e[3] +
1956  e[0] * e[28] * e[4] + e[0] * e[1] * e[31] + e[0] * e[29] * e[5] +
1957  e[0] * e[2] * e[32] - e[3] * e[34] * e[7] + e[3] * e[32] * e[5] +
1958  e[3] * e[33] * e[6] - e[3] * e[35] * e[8] - e[3] * e[29] * e[2] -
1959  e[3] * e[28] * e[1] + e[3] * e[31] * e[4] + e[27] * e[1] * e[4] +
1960  e[27] * e[2] * e[5] + e[6] * e[31] * e[7] + 0.5 * e[30] * e2[4] +
1961  0.5 * e[30] * e2[6] + 0.5 * e[30] * e2[5] - 0.5 * e[30] * e2[1] -
1962  0.5 * e[30] * e2[7] - 0.5 * e[30] * e2[2] - 0.5 * e[30] * e2[8] +
1963  0.5 * e2[0] * e[30] + 1.5 * e[30] * e2[3];
1964  a[109] =
1965  0.5 * e2[23] * e[8] + 1.5 * e2[26] * e[8] - 0.5 * e[8] * e2[18] -
1966  0.5 * e[8] * e2[19] - 0.5 * e[8] * e2[22] + 0.5 * e[8] * e2[24] -
1967  0.5 * e[8] * e2[21] + 0.5 * e[8] * e2[25] + 0.5 * e2[20] * e[8] +
1968  e[20] * e[18] * e[6] + e[20] * e[0] * e[24] + e[20] * e[19] * e[7] +
1969  e[20] * e[1] * e[25] + e[20] * e[2] * e[26] + e[23] * e[21] * e[6] +
1970  e[23] * e[3] * e[24] + e[23] * e[22] * e[7] + e[23] * e[4] * e[25] +
1971  e[23] * e[5] * e[26] - e[26] * e[21] * e[3] - e[26] * e[19] * e[1] -
1972  e[26] * e[22] * e[4] - e[26] * e[18] * e[0] + e[26] * e[25] * e[7] +
1973  e[26] * e[24] * e[6] + e[2] * e[19] * e[25] + e[2] * e[18] * e[24] +
1974  e[5] * e[22] * e[25] + e[5] * e[21] * e[24];
1975  a[175] = e[19] * e[27] * e[21] + e[19] * e[18] * e[30] +
1976  e[19] * e[28] * e[22] + e[19] * e[29] * e[23] +
1977  e[19] * e[20] * e[32] + e[28] * e[18] * e[21] +
1978  e[28] * e[20] * e[23] + e[22] * e[30] * e[21] +
1979  e[22] * e[32] * e[23] + e[25] * e[30] * e[24] +
1980  e[25] * e[21] * e[33] + e[25] * e[22] * e[34] +
1981  e[25] * e[32] * e[26] + e[25] * e[23] * e[35] +
1982  e[34] * e[21] * e[24] + e[34] * e[23] * e[26] -
1983  e[22] * e[27] * e[18] - e[22] * e[33] * e[24] -
1984  e[22] * e[29] * e[20] - e[22] * e[35] * e[26] +
1985  0.5 * e2[19] * e[31] + 1.5 * e[31] * e2[22] +
1986  0.5 * e[31] * e2[21] + 0.5 * e[31] * e2[23] +
1987  0.5 * e[31] * e2[25] - 0.5 * e[31] * e2[26] -
1988  0.5 * e[31] * e2[18] - 0.5 * e[31] * e2[20] - 0.5 * e[31] * e2[24];
1989  a[15] = -0.5 * e[13] * e2[15] + 0.5 * e[13] * e2[16] +
1990  0.5 * e[13] * e2[12] + e[16] * e[12] * e[15] + 0.5 * e3[13] +
1991  e[10] * e[11] * e[14] + 0.5 * e[13] * e2[14] -
1992  0.5 * e[13] * e2[17] - 0.5 * e[13] * e2[11] - 0.5 * e[13] * e2[9] +
1993  0.5 * e2[10] * e[13] + e[10] * e[9] * e[12] + e[16] * e[14] * e[17];
1994  a[95] = -e[13] * e[29] * e[2] - e[31] * e[11] * e[2] -
1995  e[31] * e[15] * e[6] - e[31] * e[9] * e[0] + e[31] * e[14] * e[5] +
1996  e[31] * e[12] * e[3] - e[31] * e[17] * e[8] + e[16] * e[30] * e[6] +
1997  e[16] * e[3] * e[33] + e[16] * e[4] * e[34] + e[16] * e[32] * e[8] +
1998  e[16] * e[5] * e[35] - e[4] * e[27] * e[9] + e[4] * e[28] * e[10] -
1999  e[4] * e[33] * e[15] - e[4] * e[35] * e[17] - e[4] * e[29] * e[11] +
2000  e[34] * e[12] * e[6] + e[34] * e[3] * e[15] + e[34] * e[14] * e[8] +
2001  e[34] * e[5] * e[17] + e[10] * e[27] * e[3] + e[10] * e[0] * e[30] +
2002  e[10] * e[29] * e[5] + e[10] * e[2] * e[32] + e[28] * e[9] * e[3] +
2003  e[28] * e[0] * e[12] + e[28] * e[11] * e[5] + e[28] * e[2] * e[14] +
2004  e[4] * e[30] * e[12] + e[4] * e[32] * e[14] +
2005  3. * e[4] * e[31] * e[13] + e[7] * e[30] * e[15] +
2006  e[7] * e[12] * e[33] + e[7] * e[32] * e[17] + e[7] * e[14] * e[35] +
2007  e[7] * e[31] * e[16] + e[7] * e[13] * e[34] + e[1] * e[27] * e[12] +
2008  e[1] * e[9] * e[30] + e[1] * e[29] * e[14] + e[1] * e[11] * e[32] +
2009  e[1] * e[28] * e[13] + e[1] * e[10] * e[31] - e[13] * e[27] * e[0] +
2010  e[13] * e[32] * e[5] - e[13] * e[33] * e[6] + e[13] * e[30] * e[3] -
2011  e[13] * e[35] * e[8];
2012  a[165] = e[25] * e[23] * e[26] + e[19] * e[20] * e[23] +
2013  e[19] * e[18] * e[21] + e[25] * e[21] * e[24] + 0.5 * e3[22] +
2014  0.5 * e[22] * e2[23] + 0.5 * e2[19] * e[22] -
2015  0.5 * e[22] * e2[18] - 0.5 * e[22] * e2[24] +
2016  0.5 * e[22] * e2[21] + 0.5 * e[22] * e2[25] -
2017  0.5 * e[22] * e2[20] - 0.5 * e[22] * e2[26];
2018  a[55] = e[34] * e[5] * e[8] + e[1] * e[27] * e[3] + e[1] * e[0] * e[30] +
2019  e[1] * e[28] * e[4] + e[1] * e[29] * e[5] + e[1] * e[2] * e[32] -
2020  e[4] * e[27] * e[0] + e[4] * e[34] * e[7] + e[4] * e[32] * e[5] -
2021  e[4] * e[33] * e[6] + e[4] * e[30] * e[3] - e[4] * e[35] * e[8] -
2022  e[4] * e[29] * e[2] + e[28] * e[0] * e[3] + e[28] * e[2] * e[5] +
2023  e[7] * e[30] * e[6] + e[7] * e[3] * e[33] + e[7] * e[32] * e[8] +
2024  e[7] * e[5] * e[35] + e[34] * e[3] * e[6] + 0.5 * e2[1] * e[31] +
2025  1.5 * e[31] * e2[4] - 0.5 * e[31] * e2[0] - 0.5 * e[31] * e2[6] +
2026  0.5 * e[31] * e2[5] + 0.5 * e[31] * e2[7] + 0.5 * e[31] * e2[3] -
2027  0.5 * e[31] * e2[2] - 0.5 * e[31] * e2[8];
2028  a[85] = e[1] * e[20] * e[14] + e[1] * e[11] * e[23] + e[13] * e[21] * e[3] -
2029  e[13] * e[26] * e[8] - e[13] * e[20] * e[2] - e[13] * e[18] * e[0] +
2030  e[13] * e[23] * e[5] - e[13] * e[24] * e[6] - e[22] * e[11] * e[2] -
2031  e[22] * e[15] * e[6] - e[22] * e[9] * e[0] + e[22] * e[14] * e[5] +
2032  e[22] * e[12] * e[3] - e[22] * e[17] * e[8] + e[16] * e[21] * e[6] +
2033  e[16] * e[3] * e[24] + e[16] * e[4] * e[25] + e[16] * e[23] * e[8] +
2034  e[16] * e[5] * e[26] - e[4] * e[24] * e[15] - e[4] * e[26] * e[17] -
2035  e[4] * e[20] * e[11] - e[4] * e[18] * e[9] + e[25] * e[12] * e[6] +
2036  e[25] * e[3] * e[15] + e[25] * e[14] * e[8] + e[25] * e[5] * e[17] +
2037  e[10] * e[18] * e[3] + e[10] * e[0] * e[21] + e[10] * e[19] * e[4] +
2038  e[10] * e[1] * e[22] + e[10] * e[20] * e[5] + e[10] * e[2] * e[23] +
2039  e[19] * e[9] * e[3] + e[19] * e[0] * e[12] + e[19] * e[1] * e[13] +
2040  e[19] * e[11] * e[5] + e[19] * e[2] * e[14] + e[4] * e[21] * e[12] +
2041  e[4] * e[23] * e[14] + 3. * e[4] * e[22] * e[13] +
2042  e[7] * e[21] * e[15] + e[7] * e[12] * e[24] + e[7] * e[23] * e[17] +
2043  e[7] * e[14] * e[26] + e[7] * e[22] * e[16] + e[7] * e[13] * e[25] +
2044  e[1] * e[18] * e[12] + e[1] * e[9] * e[21];
2045  a[75] = e[10] * e[27] * e[12] + e[10] * e[9] * e[30] +
2046  e[10] * e[29] * e[14] + e[10] * e[11] * e[32] +
2047  e[10] * e[28] * e[13] + e[28] * e[11] * e[14] +
2048  e[28] * e[9] * e[12] + e[13] * e[30] * e[12] +
2049  e[13] * e[32] * e[14] + e[16] * e[30] * e[15] +
2050  e[16] * e[12] * e[33] + e[16] * e[32] * e[17] +
2051  e[16] * e[14] * e[35] + e[16] * e[13] * e[34] +
2052  e[34] * e[14] * e[17] + e[34] * e[12] * e[15] -
2053  e[13] * e[27] * e[9] - e[13] * e[33] * e[15] -
2054  e[13] * e[35] * e[17] - e[13] * e[29] * e[11] +
2055  0.5 * e2[10] * e[31] + 0.5 * e[31] * e2[16] - 0.5 * e[31] * e2[9] -
2056  0.5 * e[31] * e2[11] + 0.5 * e[31] * e2[12] - 0.5 * e[31] * e2[15] -
2057  0.5 * e[31] * e2[17] + 0.5 * e[31] * e2[14] + 1.5 * e[31] * e2[13];
2058  a[5] = -0.5 * e[4] * e2[6] - 0.5 * e[4] * e2[0] + e[1] * e[2] * e[5] +
2059  0.5 * e[4] * e2[7] + e[1] * e[0] * e[3] + e[7] * e[5] * e[8] -
2060  0.5 * e[4] * e2[8] + 0.5 * e[4] * e2[3] + 0.5 * e[4] * e2[5] +
2061  e[7] * e[3] * e[6] - 0.5 * e[4] * e2[2] + 0.5 * e3[4] +
2062  0.5 * e2[1] * e[4];
2063  a[195] = e[34] * e[32] * e[35] - 0.5 * e[31] * e2[35] +
2064  0.5 * e[31] * e2[34] + 0.5 * e2[28] * e[31] + 0.5 * e3[31] +
2065  0.5 * e[31] * e2[32] + e[34] * e[30] * e[33] -
2066  0.5 * e[31] * e2[27] + 0.5 * e[31] * e2[30] -
2067  0.5 * e[31] * e2[33] - 0.5 * e[31] * e2[29] +
2068  e[28] * e[29] * e[32] + e[28] * e[27] * e[30];
2069  a[125] =
2070  e[1] * e[27] * e[30] + e[1] * e[29] * e[32] + e[1] * e[28] * e[31] +
2071  e[31] * e[30] * e[3] + e[31] * e[32] * e[5] + e[7] * e[30] * e[33] +
2072  e[7] * e[32] * e[35] + e[7] * e[31] * e[34] + e[28] * e[27] * e[3] +
2073  e[28] * e[0] * e[30] + e[28] * e[29] * e[5] + e[28] * e[2] * e[32] +
2074  e[34] * e[30] * e[6] + e[34] * e[3] * e[33] + e[34] * e[32] * e[8] +
2075  e[34] * e[5] * e[35] - e[31] * e[27] * e[0] - e[31] * e[33] * e[6] -
2076  e[31] * e[35] * e[8] - e[31] * e[29] * e[2] + 0.5 * e[4] * e2[30] +
2077  0.5 * e[4] * e2[32] + 1.5 * e[4] * e2[31] - 0.5 * e[4] * e2[27] +
2078  0.5 * e[4] * e2[28] - 0.5 * e[4] * e2[29] - 0.5 * e[4] * e2[33] +
2079  0.5 * e[4] * e2[34] - 0.5 * e[4] * e2[35];
2080  a[185] = 0.5 * e[22] * e2[30] + 0.5 * e[22] * e2[32] +
2081  1.5 * e[22] * e2[31] + 0.5 * e[22] * e2[34] -
2082  0.5 * e[22] * e2[27] - 0.5 * e[22] * e2[29] -
2083  0.5 * e[22] * e2[33] - 0.5 * e[22] * e2[35] +
2084  e[28] * e[18] * e[30] + e[28] * e[29] * e[23] +
2085  e[28] * e[20] * e[32] + e[31] * e[30] * e[21] +
2086  e[31] * e[32] * e[23] + e[25] * e[30] * e[33] +
2087  e[25] * e[32] * e[35] + e[25] * e[31] * e[34] +
2088  e[34] * e[30] * e[24] + e[34] * e[21] * e[33] +
2089  e[34] * e[32] * e[26] + e[34] * e[23] * e[35] -
2090  e[31] * e[27] * e[18] - e[31] * e[33] * e[24] -
2091  e[31] * e[29] * e[20] - e[31] * e[35] * e[26] +
2092  e[19] * e[27] * e[30] + e[19] * e[29] * e[32] +
2093  e[19] * e[28] * e[31] + e[28] * e[27] * e[21] +
2094  0.5 * e2[28] * e[22];
2095  a[155] = e[16] * e[30] * e[33] + e[16] * e[32] * e[35] +
2096  e[10] * e[27] * e[30] + e[10] * e[29] * e[32] +
2097  e[10] * e[28] * e[31] + e[34] * e[30] * e[15] +
2098  e[34] * e[12] * e[33] + e[34] * e[32] * e[17] +
2099  e[34] * e[14] * e[35] + e[34] * e[31] * e[16] +
2100  e[28] * e[27] * e[12] + e[28] * e[9] * e[30] +
2101  e[28] * e[29] * e[14] + e[28] * e[11] * e[32] -
2102  e[31] * e[27] * e[9] + e[31] * e[30] * e[12] +
2103  e[31] * e[32] * e[14] - e[31] * e[33] * e[15] -
2104  e[31] * e[35] * e[17] - e[31] * e[29] * e[11] -
2105  0.5 * e[13] * e2[27] + 0.5 * e[13] * e2[32] +
2106  0.5 * e[13] * e2[28] - 0.5 * e[13] * e2[29] +
2107  1.5 * e[13] * e2[31] - 0.5 * e[13] * e2[33] +
2108  0.5 * e[13] * e2[30] + 0.5 * e[13] * e2[34] - 0.5 * e[13] * e2[35];
2109  a[134] = e[21] * e[23] * e[14] + e[21] * e[22] * e[13] +
2110  e[24] * e[21] * e[15] + e[24] * e[23] * e[17] +
2111  e[24] * e[14] * e[26] + e[24] * e[22] * e[16] +
2112  e[24] * e[13] * e[25] + e[15] * e[22] * e[25] +
2113  e[15] * e[23] * e[26] + e[9] * e[19] * e[22] +
2114  e[9] * e[18] * e[21] + e[9] * e[20] * e[23] +
2115  e[18] * e[20] * e[14] + e[18] * e[11] * e[23] +
2116  e[18] * e[19] * e[13] + e[18] * e[10] * e[22] -
2117  e[21] * e[25] * e[16] - e[21] * e[26] * e[17] -
2118  e[21] * e[20] * e[11] - e[21] * e[19] * e[10] +
2119  1.5 * e2[21] * e[12] + 0.5 * e[12] * e2[24] -
2120  0.5 * e[12] * e2[26] + 0.5 * e[12] * e2[18] +
2121  0.5 * e[12] * e2[23] - 0.5 * e[12] * e2[19] -
2122  0.5 * e[12] * e2[20] + 0.5 * e[12] * e2[22] - 0.5 * e[12] * e2[25];
2123  a[144] = -e[12] * e[29] * e[20] - e[12] * e[35] * e[26] -
2124  e[12] * e[28] * e[19] - e[12] * e[34] * e[25] +
2125  e[18] * e[29] * e[14] + e[18] * e[11] * e[32] +
2126  e[18] * e[28] * e[13] + e[18] * e[10] * e[31] +
2127  e[27] * e[20] * e[14] + e[27] * e[11] * e[23] +
2128  e[27] * e[19] * e[13] + e[27] * e[10] * e[22] +
2129  e[15] * e[30] * e[24] + e[15] * e[21] * e[33] +
2130  e[15] * e[31] * e[25] + e[15] * e[22] * e[34] +
2131  e[15] * e[32] * e[26] + e[15] * e[23] * e[35] -
2132  e[21] * e[28] * e[10] - e[21] * e[34] * e[16] -
2133  e[21] * e[35] * e[17] - e[21] * e[29] * e[11] -
2134  e[30] * e[25] * e[16] - e[30] * e[26] * e[17] -
2135  e[30] * e[20] * e[11] - e[30] * e[19] * e[10] +
2136  e[24] * e[32] * e[17] + e[24] * e[14] * e[35] +
2137  e[24] * e[31] * e[16] + e[24] * e[13] * e[34] +
2138  e[33] * e[23] * e[17] + e[33] * e[14] * e[26] +
2139  e[33] * e[22] * e[16] + e[33] * e[13] * e[25] +
2140  3. * e[12] * e[30] * e[21] + e[12] * e[31] * e[22] +
2141  e[12] * e[32] * e[23] + e[9] * e[27] * e[21] +
2142  e[9] * e[18] * e[30] + e[9] * e[28] * e[22] +
2143  e[9] * e[19] * e[31] + e[9] * e[29] * e[23] +
2144  e[9] * e[20] * e[32] + e[21] * e[32] * e[14] +
2145  e[21] * e[31] * e[13] + e[30] * e[23] * e[14] +
2146  e[30] * e[22] * e[13] + e[12] * e[27] * e[18] +
2147  e[12] * e[33] * e[24];
2148  a[24] = e[0] * e[11] * e[5] + e[0] * e[2] * e[14] + e[9] * e[1] * e[4] +
2149  e[9] * e[0] * e[3] + e[9] * e[2] * e[5] + e[3] * e[13] * e[4] +
2150  e[3] * e[14] * e[5] + e[6] * e[3] * e[15] + e[6] * e[13] * e[7] +
2151  e[6] * e[4] * e[16] + e[6] * e[14] * e[8] + e[6] * e[5] * e[17] +
2152  e[15] * e[4] * e[7] + e[15] * e[5] * e[8] - e[3] * e[11] * e[2] -
2153  e[3] * e[10] * e[1] - e[3] * e[16] * e[7] - e[3] * e[17] * e[8] +
2154  e[0] * e[10] * e[4] + e[0] * e[1] * e[13] + 1.5 * e[12] * e2[3] +
2155  0.5 * e[12] * e2[4] + 0.5 * e[12] * e2[5] + 0.5 * e[12] * e2[6] +
2156  0.5 * e2[0] * e[12] - 0.5 * e[12] * e2[1] - 0.5 * e[12] * e2[7] -
2157  0.5 * e[12] * e2[2] - 0.5 * e[12] * e2[8];
2158  a[104] =
2159  e[21] * e[24] * e[6] + e[0] * e[19] * e[22] + e[0] * e[20] * e[23] +
2160  e[24] * e[22] * e[7] + e[24] * e[4] * e[25] + e[24] * e[23] * e[8] +
2161  e[24] * e[5] * e[26] + e[6] * e[22] * e[25] + e[6] * e[23] * e[26] +
2162  e[18] * e[0] * e[21] + e[18] * e[19] * e[4] + e[18] * e[1] * e[22] +
2163  e[18] * e[20] * e[5] + e[18] * e[2] * e[23] + e[21] * e[22] * e[4] +
2164  e[21] * e[23] * e[5] - e[21] * e[26] * e[8] - e[21] * e[20] * e[2] -
2165  e[21] * e[19] * e[1] - e[21] * e[25] * e[7] + 1.5 * e2[21] * e[3] +
2166  0.5 * e[3] * e2[22] + 0.5 * e[3] * e2[23] + 0.5 * e[3] * e2[24] -
2167  0.5 * e[3] * e2[26] - 0.5 * e[3] * e2[19] - 0.5 * e[3] * e2[20] -
2168  0.5 * e[3] * e2[25] + 0.5 * e2[18] * e[3];
2169  a[76] = e[11] * e[27] * e[12] + e[11] * e[9] * e[30] +
2170  e[11] * e[29] * e[14] + e[11] * e[28] * e[13] +
2171  e[11] * e[10] * e[31] + e[29] * e[9] * e[12] +
2172  e[29] * e[10] * e[13] + e[14] * e[30] * e[12] +
2173  e[14] * e[31] * e[13] + e[17] * e[30] * e[15] +
2174  e[17] * e[12] * e[33] + e[17] * e[14] * e[35] +
2175  e[17] * e[31] * e[16] + e[17] * e[13] * e[34] +
2176  e[35] * e[12] * e[15] + e[35] * e[13] * e[16] -
2177  e[14] * e[27] * e[9] - e[14] * e[28] * e[10] -
2178  e[14] * e[33] * e[15] - e[14] * e[34] * e[16] +
2179  0.5 * e2[11] * e[32] - 0.5 * e[32] * e2[16] - 0.5 * e[32] * e2[9] +
2180  0.5 * e[32] * e2[12] - 0.5 * e[32] * e2[15] + 0.5 * e[32] * e2[17] -
2181  0.5 * e[32] * e2[10] + 1.5 * e[32] * e2[14] + 0.5 * e[32] * e2[13];
2182  a[6] = e[8] * e[3] * e[6] + 0.5 * e2[2] * e[5] - 0.5 * e[5] * e2[0] +
2183  0.5 * e[5] * e2[4] - 0.5 * e[5] * e2[6] + 0.5 * e[5] * e2[8] +
2184  e[8] * e[4] * e[7] + 0.5 * e3[5] + e[2] * e[0] * e[3] +
2185  0.5 * e[5] * e2[3] - 0.5 * e[5] * e2[7] + e[2] * e[1] * e[4] -
2186  0.5 * e[5] * e2[1];
2187  a[56] = e[2] * e[27] * e[3] + e[2] * e[0] * e[30] + e[2] * e[28] * e[4] +
2188  e[2] * e[1] * e[31] + e[2] * e[29] * e[5] - e[5] * e[27] * e[0] -
2189  e[5] * e[34] * e[7] - e[5] * e[33] * e[6] + e[5] * e[30] * e[3] +
2190  e[5] * e[35] * e[8] - e[5] * e[28] * e[1] + e[5] * e[31] * e[4] +
2191  e[29] * e[1] * e[4] + e[29] * e[0] * e[3] + e[8] * e[30] * e[6] +
2192  e[8] * e[3] * e[33] + e[8] * e[31] * e[7] + e[8] * e[4] * e[34] +
2193  e[35] * e[4] * e[7] + e[35] * e[3] * e[6] + 0.5 * e2[2] * e[32] +
2194  1.5 * e[32] * e2[5] + 0.5 * e[32] * e2[4] - 0.5 * e[32] * e2[0] -
2195  0.5 * e[32] * e2[6] - 0.5 * e[32] * e2[1] - 0.5 * e[32] * e2[7] +
2196  0.5 * e[32] * e2[3] + 0.5 * e[32] * e2[8];
2197  a[86] = -e[14] * e[19] * e[1] + e[14] * e[22] * e[4] -
2198  e[14] * e[18] * e[0] - e[14] * e[25] * e[7] - e[14] * e[24] * e[6] -
2199  e[23] * e[10] * e[1] + e[23] * e[13] * e[4] - e[23] * e[16] * e[7] -
2200  e[23] * e[15] * e[6] - e[23] * e[9] * e[0] + e[23] * e[12] * e[3] +
2201  e[17] * e[21] * e[6] + e[17] * e[3] * e[24] + e[17] * e[22] * e[7] +
2202  e[17] * e[4] * e[25] + e[17] * e[5] * e[26] - e[5] * e[24] * e[15] -
2203  e[5] * e[25] * e[16] - e[5] * e[18] * e[9] - e[5] * e[19] * e[10] +
2204  e[26] * e[12] * e[6] + e[26] * e[3] * e[15] + e[26] * e[13] * e[7] +
2205  e[26] * e[4] * e[16] + e[11] * e[18] * e[3] + e[11] * e[0] * e[21] +
2206  e[11] * e[19] * e[4] + e[11] * e[1] * e[22] + e[11] * e[20] * e[5] +
2207  e[11] * e[2] * e[23] + e[20] * e[9] * e[3] + e[20] * e[0] * e[12] +
2208  e[20] * e[10] * e[4] + e[20] * e[1] * e[13] + e[20] * e[2] * e[14] +
2209  e[5] * e[21] * e[12] + 3. * e[5] * e[23] * e[14] +
2210  e[5] * e[22] * e[13] + e[8] * e[21] * e[15] + e[8] * e[12] * e[24] +
2211  e[8] * e[23] * e[17] + e[8] * e[14] * e[26] + e[8] * e[22] * e[16] +
2212  e[8] * e[13] * e[25] + e[2] * e[18] * e[12] + e[2] * e[9] * e[21] +
2213  e[2] * e[19] * e[13] + e[2] * e[10] * e[22] + e[14] * e[21] * e[3];
2214  a[156] = -0.5 * e[14] * e2[27] + 1.5 * e[14] * e2[32] -
2215  0.5 * e[14] * e2[28] + 0.5 * e[14] * e2[29] +
2216  0.5 * e[14] * e2[31] - 0.5 * e[14] * e2[33] +
2217  0.5 * e[14] * e2[30] - 0.5 * e[14] * e2[34] +
2218  0.5 * e[14] * e2[35] + e[11] * e[27] * e[30] +
2219  e[11] * e[29] * e[32] + e[11] * e[28] * e[31] +
2220  e[35] * e[30] * e[15] + e[35] * e[12] * e[33] +
2221  e[35] * e[32] * e[17] + e[35] * e[31] * e[16] +
2222  e[35] * e[13] * e[34] + e[29] * e[27] * e[12] +
2223  e[29] * e[9] * e[30] + e[29] * e[28] * e[13] +
2224  e[29] * e[10] * e[31] - e[32] * e[27] * e[9] +
2225  e[32] * e[30] * e[12] - e[32] * e[28] * e[10] +
2226  e[32] * e[31] * e[13] - e[32] * e[33] * e[15] -
2227  e[32] * e[34] * e[16] + e[17] * e[30] * e[33] +
2228  e[17] * e[31] * e[34];
2229  a[186] = -0.5 * e[23] * e2[33] - 0.5 * e[23] * e2[34] +
2230  0.5 * e2[29] * e[23] + 0.5 * e[23] * e2[30] +
2231  1.5 * e[23] * e2[32] + 0.5 * e[23] * e2[31] +
2232  0.5 * e[23] * e2[35] - 0.5 * e[23] * e2[27] -
2233  0.5 * e[23] * e2[28] + e[32] * e[30] * e[21] +
2234  e[32] * e[31] * e[22] + e[26] * e[30] * e[33] +
2235  e[26] * e[32] * e[35] + e[26] * e[31] * e[34] +
2236  e[35] * e[30] * e[24] + e[35] * e[21] * e[33] +
2237  e[35] * e[31] * e[25] + e[35] * e[22] * e[34] -
2238  e[32] * e[27] * e[18] - e[32] * e[33] * e[24] -
2239  e[32] * e[28] * e[19] - e[32] * e[34] * e[25] +
2240  e[20] * e[27] * e[30] + e[20] * e[29] * e[32] +
2241  e[20] * e[28] * e[31] + e[29] * e[27] * e[21] +
2242  e[29] * e[18] * e[30] + e[29] * e[28] * e[22] +
2243  e[29] * e[19] * e[31];
2244  a[126] =
2245  e[2] * e[27] * e[30] + e[2] * e[29] * e[32] + e[2] * e[28] * e[31] +
2246  e[32] * e[30] * e[3] + e[32] * e[31] * e[4] + e[8] * e[30] * e[33] +
2247  e[8] * e[32] * e[35] + e[8] * e[31] * e[34] + e[29] * e[27] * e[3] +
2248  e[29] * e[0] * e[30] + e[29] * e[28] * e[4] + e[29] * e[1] * e[31] +
2249  e[35] * e[30] * e[6] + e[35] * e[3] * e[33] + e[35] * e[31] * e[7] +
2250  e[35] * e[4] * e[34] - e[32] * e[27] * e[0] - e[32] * e[34] * e[7] -
2251  e[32] * e[33] * e[6] - e[32] * e[28] * e[1] + 0.5 * e[5] * e2[30] +
2252  1.5 * e[5] * e2[32] + 0.5 * e[5] * e2[31] - 0.5 * e[5] * e2[27] -
2253  0.5 * e[5] * e2[28] + 0.5 * e[5] * e2[29] - 0.5 * e[5] * e2[33] -
2254  0.5 * e[5] * e2[34] + 0.5 * e[5] * e2[35];
2255  a[196] = 0.5 * e[32] * e2[31] + 0.5 * e[32] * e2[35] -
2256  0.5 * e[32] * e2[27] + e[29] * e[27] * e[30] +
2257  e[29] * e[28] * e[31] + e[35] * e[30] * e[33] +
2258  e[35] * e[31] * e[34] + 0.5 * e2[29] * e[32] + 0.5 * e3[32] -
2259  0.5 * e[32] * e2[33] - 0.5 * e[32] * e2[34] +
2260  0.5 * e[32] * e2[30] - 0.5 * e[32] * e2[28];
2261  a[25] = e[10] * e[1] * e[4] + e[10] * e[0] * e[3] + e[10] * e[2] * e[5] +
2262  e[4] * e[12] * e[3] + e[4] * e[14] * e[5] + e[7] * e[12] * e[6] +
2263  e[7] * e[3] * e[15] + e[7] * e[4] * e[16] + e[7] * e[14] * e[8] +
2264  e[7] * e[5] * e[17] + e[16] * e[3] * e[6] + e[16] * e[5] * e[8] -
2265  e[4] * e[11] * e[2] - e[4] * e[15] * e[6] - e[4] * e[9] * e[0] -
2266  e[4] * e[17] * e[8] + e[1] * e[9] * e[3] + e[1] * e[0] * e[12] +
2267  e[1] * e[11] * e[5] + e[1] * e[2] * e[14] + 1.5 * e[13] * e2[4] +
2268  0.5 * e[13] * e2[3] + 0.5 * e[13] * e2[5] + 0.5 * e[13] * e2[7] +
2269  0.5 * e2[1] * e[13] - 0.5 * e[13] * e2[0] - 0.5 * e[13] * e2[6] -
2270  0.5 * e[13] * e2[2] - 0.5 * e[13] * e2[8];
2271  a[105] =
2272  e[25] * e[21] * e[6] + e[25] * e[3] * e[24] + e[25] * e[23] * e[8] +
2273  e[25] * e[5] * e[26] + e[7] * e[21] * e[24] + e[7] * e[23] * e[26] +
2274  e[19] * e[18] * e[3] + e[19] * e[0] * e[21] + e[19] * e[1] * e[22] +
2275  e[19] * e[20] * e[5] + e[19] * e[2] * e[23] + e[22] * e[21] * e[3] +
2276  e[22] * e[23] * e[5] - e[22] * e[26] * e[8] - e[22] * e[20] * e[2] -
2277  e[22] * e[18] * e[0] + e[22] * e[25] * e[7] - e[22] * e[24] * e[6] +
2278  e[1] * e[18] * e[21] + e[1] * e[20] * e[23] + 0.5 * e[4] * e2[25] -
2279  0.5 * e[4] * e2[26] - 0.5 * e[4] * e2[18] - 0.5 * e[4] * e2[20] -
2280  0.5 * e[4] * e2[24] + 0.5 * e2[19] * e[4] + 1.5 * e2[22] * e[4] +
2281  0.5 * e[4] * e2[21] + 0.5 * e[4] * e2[23];
2282  a[135] = e[22] * e[21] * e[12] + e[22] * e[23] * e[14] +
2283  e[25] * e[21] * e[15] + e[25] * e[12] * e[24] +
2284  e[25] * e[23] * e[17] + e[25] * e[14] * e[26] +
2285  e[25] * e[22] * e[16] + e[16] * e[21] * e[24] +
2286  e[16] * e[23] * e[26] + e[10] * e[19] * e[22] +
2287  e[10] * e[18] * e[21] + e[10] * e[20] * e[23] +
2288  e[19] * e[18] * e[12] + e[19] * e[9] * e[21] +
2289  e[19] * e[20] * e[14] + e[19] * e[11] * e[23] -
2290  e[22] * e[24] * e[15] - e[22] * e[26] * e[17] -
2291  e[22] * e[20] * e[11] - e[22] * e[18] * e[9] -
2292  0.5 * e[13] * e2[26] - 0.5 * e[13] * e2[18] +
2293  0.5 * e[13] * e2[23] + 0.5 * e[13] * e2[19] -
2294  0.5 * e[13] * e2[20] - 0.5 * e[13] * e2[24] +
2295  0.5 * e[13] * e2[21] + 1.5 * e2[22] * e[13] + 0.5 * e[13] * e2[25];
2296  a[145] = e[13] * e[30] * e[21] + 3. * e[13] * e[31] * e[22] +
2297  e[13] * e[32] * e[23] + e[10] * e[27] * e[21] +
2298  e[10] * e[18] * e[30] + e[10] * e[28] * e[22] +
2299  e[10] * e[19] * e[31] + e[10] * e[29] * e[23] +
2300  e[10] * e[20] * e[32] + e[22] * e[30] * e[12] +
2301  e[22] * e[32] * e[14] + e[31] * e[21] * e[12] +
2302  e[31] * e[23] * e[14] - e[13] * e[27] * e[18] -
2303  e[13] * e[33] * e[24] - e[13] * e[29] * e[20] -
2304  e[13] * e[35] * e[26] + e[13] * e[28] * e[19] +
2305  e[13] * e[34] * e[25] + e[19] * e[27] * e[12] +
2306  e[19] * e[9] * e[30] + e[19] * e[29] * e[14] +
2307  e[19] * e[11] * e[32] + e[28] * e[18] * e[12] +
2308  e[28] * e[9] * e[21] + e[28] * e[20] * e[14] +
2309  e[28] * e[11] * e[23] + e[16] * e[30] * e[24] +
2310  e[16] * e[21] * e[33] + e[16] * e[31] * e[25] +
2311  e[16] * e[22] * e[34] + e[16] * e[32] * e[26] +
2312  e[16] * e[23] * e[35] - e[22] * e[27] * e[9] -
2313  e[22] * e[33] * e[15] - e[22] * e[35] * e[17] -
2314  e[22] * e[29] * e[11] - e[31] * e[24] * e[15] -
2315  e[31] * e[26] * e[17] - e[31] * e[20] * e[11] -
2316  e[31] * e[18] * e[9] + e[25] * e[30] * e[15] +
2317  e[25] * e[12] * e[33] + e[25] * e[32] * e[17] +
2318  e[25] * e[14] * e[35] + e[34] * e[21] * e[15] +
2319  e[34] * e[12] * e[24] + e[34] * e[23] * e[17] +
2320  e[34] * e[14] * e[26];
2321  a[65] = e[19] * e[11] * e[14] + e[19] * e[9] * e[12] +
2322  e[19] * e[10] * e[13] + e[13] * e[21] * e[12] +
2323  e[13] * e[23] * e[14] + e[16] * e[21] * e[15] +
2324  e[16] * e[12] * e[24] + e[16] * e[23] * e[17] +
2325  e[16] * e[14] * e[26] + e[16] * e[13] * e[25] +
2326  e[25] * e[14] * e[17] + e[25] * e[12] * e[15] -
2327  e[13] * e[24] * e[15] - e[13] * e[26] * e[17] -
2328  e[13] * e[20] * e[11] - e[13] * e[18] * e[9] +
2329  e[10] * e[18] * e[12] + e[10] * e[9] * e[21] +
2330  e[10] * e[20] * e[14] + e[10] * e[11] * e[23] +
2331  1.5 * e[22] * e2[13] + 0.5 * e[22] * e2[14] + 0.5 * e[22] * e2[12] +
2332  0.5 * e[22] * e2[16] + 0.5 * e2[10] * e[22] - 0.5 * e[22] * e2[9] -
2333  0.5 * e[22] * e2[11] - 0.5 * e[22] * e2[15] - 0.5 * e[22] * e2[17];
2334  a[35] = e[13] * e[12] * e[3] + e[13] * e[14] * e[5] + e[16] * e[12] * e[6] +
2335  e[16] * e[3] * e[15] + e[16] * e[13] * e[7] + e[16] * e[14] * e[8] +
2336  e[16] * e[5] * e[17] + e[7] * e[14] * e[17] + e[7] * e[12] * e[15] +
2337  e[1] * e[11] * e[14] + e[1] * e[9] * e[12] + e[1] * e[10] * e[13] +
2338  e[10] * e[9] * e[3] + e[10] * e[0] * e[12] + e[10] * e[11] * e[5] +
2339  e[10] * e[2] * e[14] - e[13] * e[11] * e[2] - e[13] * e[15] * e[6] -
2340  e[13] * e[9] * e[0] - e[13] * e[17] * e[8] + 1.5 * e2[13] * e[4] +
2341  0.5 * e[4] * e2[16] - 0.5 * e[4] * e2[9] - 0.5 * e[4] * e2[11] +
2342  0.5 * e[4] * e2[12] - 0.5 * e[4] * e2[15] - 0.5 * e[4] * e2[17] +
2343  0.5 * e[4] * e2[10] + 0.5 * e[4] * e2[14];
2344  a[45] = e[19] * e[1] * e[4] + e[19] * e[0] * e[3] + e[19] * e[2] * e[5] +
2345  e[4] * e[21] * e[3] + e[4] * e[23] * e[5] + e[7] * e[21] * e[6] +
2346  e[7] * e[3] * e[24] + e[7] * e[4] * e[25] + e[7] * e[23] * e[8] +
2347  e[7] * e[5] * e[26] + e[25] * e[3] * e[6] + e[25] * e[5] * e[8] +
2348  e[1] * e[18] * e[3] + e[1] * e[0] * e[21] + e[1] * e[20] * e[5] +
2349  e[1] * e[2] * e[23] - e[4] * e[26] * e[8] - e[4] * e[20] * e[2] -
2350  e[4] * e[18] * e[0] - e[4] * e[24] * e[6] + 1.5 * e[22] * e2[4] -
2351  0.5 * e[22] * e2[0] - 0.5 * e[22] * e2[6] + 0.5 * e[22] * e2[5] +
2352  0.5 * e[22] * e2[1] + 0.5 * e[22] * e2[7] + 0.5 * e[22] * e2[3] -
2353  0.5 * e[22] * e2[2] - 0.5 * e[22] * e2[8];
2354  a[115] =
2355  -e[31] * e[20] * e[2] - e[31] * e[18] * e[0] +
2356  e[31] * e[23] * e[5] - e[31] * e[24] * e[6] + e[7] * e[30] * e[24] +
2357  e[7] * e[21] * e[33] + e[7] * e[32] * e[26] + e[7] * e[23] * e[35] +
2358  e[25] * e[30] * e[6] + e[25] * e[3] * e[33] + e[25] * e[31] * e[7] +
2359  e[25] * e[4] * e[34] + e[25] * e[32] * e[8] + e[25] * e[5] * e[35] +
2360  e[34] * e[21] * e[6] + e[34] * e[3] * e[24] + e[34] * e[22] * e[7] +
2361  e[34] * e[23] * e[8] + e[34] * e[5] * e[26] + e[1] * e[27] * e[21] +
2362  e[1] * e[18] * e[30] + e[1] * e[28] * e[22] + e[1] * e[19] * e[31] +
2363  e[1] * e[29] * e[23] + e[1] * e[20] * e[32] + e[19] * e[27] * e[3] +
2364  e[19] * e[0] * e[30] + e[19] * e[28] * e[4] + e[19] * e[29] * e[5] +
2365  e[19] * e[2] * e[32] + e[28] * e[18] * e[3] + e[28] * e[0] * e[21] +
2366  e[28] * e[20] * e[5] + e[28] * e[2] * e[23] + e[4] * e[30] * e[21] +
2367  3. * e[4] * e[31] * e[22] + e[4] * e[32] * e[23] -
2368  e[4] * e[27] * e[18] - e[4] * e[33] * e[24] - e[4] * e[29] * e[20] -
2369  e[4] * e[35] * e[26] - e[22] * e[27] * e[0] + e[22] * e[32] * e[5] -
2370  e[22] * e[33] * e[6] + e[22] * e[30] * e[3] - e[22] * e[35] * e[8] -
2371  e[22] * e[29] * e[2] + e[31] * e[21] * e[3] - e[31] * e[26] * e[8];
2372 }
a[190]
const double * e
double e3[36]
double e2[36]