24 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
25 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,0,0)");
27 - (t4_1(0, 0, 0, 1) - t4_2(0, 0, 0, 1)),
28 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,0,1)");
30 - (t4_1(0, 0, 0, 2) - t4_2(0, 0, 0, 2)),
31 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,0,2)");
33 - (t4_1(0, 0, 1, 0) - t4_2(0, 0, 1, 0)),
34 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,1,0)");
36 - (t4_1(0, 0, 1, 1) - t4_2(0, 0, 1, 1)),
37 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,1,1)");
39 - (t4_1(0, 0, 1, 2) - t4_2(0, 0, 1, 2)),
40 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,1,2)");
42 - (t4_1(0, 0, 2, 0) - t4_2(0, 0, 2, 0)),
43 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,2,0)");
45 - (t4_1(0, 0, 2, 1) - t4_2(0, 0, 2, 1)),
46 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,2,1)");
48 - (t4_1(0, 0, 2, 2) - t4_2(0, 0, 2, 2)),
49 "T4(i,j,k,l)-T4(i,j,k,l)(0,0,2,2)");
51 - (t4_1(0, 1, 0, 0) - t4_2(0, 1, 0, 0)),
52 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,0,0)");
54 - (t4_1(0, 1, 0, 1) - t4_2(0, 1, 0, 1)),
55 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,0,1)");
57 - (t4_1(0, 1, 0, 2) - t4_2(0, 1, 0, 2)),
58 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,0,2)");
60 - (t4_1(0, 1, 1, 0) - t4_2(0, 1, 1, 0)),
61 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,1,0)");
63 - (t4_1(0, 1, 1, 1) - t4_2(0, 1, 1, 1)),
64 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,1,1)");
66 - (t4_1(0, 1, 1, 2) - t4_2(0, 1, 1, 2)),
67 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,1,2)");
69 - (t4_1(0, 1, 2, 0) - t4_2(0, 1, 2, 0)),
70 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,2,0)");
72 - (t4_1(0, 1, 2, 1) - t4_2(0, 1, 2, 1)),
73 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,2,1)");
75 - (t4_1(0, 1, 2, 2) - t4_2(0, 1, 2, 2)),
76 "T4(i,j,k,l)-T4(i,j,k,l)(0,1,2,2)");
78 - (t4_1(0, 2, 0, 0) - t4_2(0, 2, 0, 0)),
79 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,0,0)");
81 - (t4_1(0, 2, 0, 1) - t4_2(0, 2, 0, 1)),
82 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,0,1)");
84 - (t4_1(0, 2, 0, 2) - t4_2(0, 2, 0, 2)),
85 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,0,2)");
87 - (t4_1(0, 2, 1, 0) - t4_2(0, 2, 1, 0)),
88 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,1,0)");
90 - (t4_1(0, 2, 1, 1) - t4_2(0, 2, 1, 1)),
91 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,1,1)");
93 - (t4_1(0, 2, 1, 2) - t4_2(0, 2, 1, 2)),
94 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,1,2)");
96 - (t4_1(0, 2, 2, 0) - t4_2(0, 2, 2, 0)),
97 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,2,0)");
99 - (t4_1(0, 2, 2, 1) - t4_2(0, 2, 2, 1)),
100 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,2,1)");
102 - (t4_1(0, 2, 2, 2) - t4_2(0, 2, 2, 2)),
103 "T4(i,j,k,l)-T4(i,j,k,l)(0,2,2,2)");
106 - (t4_1(1, 0, 0, 0) - t4_2(1, 0, 0, 0)),
107 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,0,0)");
109 - (t4_1(1, 0, 0, 1) - t4_2(1, 0, 0, 1)),
110 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,0,1)");
112 - (t4_1(1, 0, 0, 2) - t4_2(1, 0, 0, 2)),
113 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,0,2)");
115 - (t4_1(1, 0, 1, 0) - t4_2(1, 0, 1, 0)),
116 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,1,0)");
118 - (t4_1(1, 0, 1, 1) - t4_2(1, 0, 1, 1)),
119 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,1,1)");
121 - (t4_1(1, 0, 1, 2) - t4_2(1, 0, 1, 2)),
122 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,1,2)");
124 - (t4_1(1, 0, 2, 0) - t4_2(1, 0, 2, 0)),
125 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,2,0)");
127 - (t4_1(1, 0, 2, 1) - t4_2(1, 0, 2, 1)),
128 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,2,1)");
130 - (t4_1(1, 0, 2, 2) - t4_2(1, 0, 2, 2)),
131 "T4(i,j,k,l)-T4(i,j,k,l)(1,0,2,2)");
133 - (t4_1(1, 1, 0, 0) - t4_2(1, 1, 0, 0)),
134 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,0,0)");
136 - (t4_1(1, 1, 0, 1) - t4_2(1, 1, 0, 1)),
137 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,0,1)");
139 - (t4_1(1, 1, 0, 2) - t4_2(1, 1, 0, 2)),
140 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,0,2)");
142 - (t4_1(1, 1, 1, 0) - t4_2(1, 1, 1, 0)),
143 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,1,0)");
145 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
146 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,1,1)");
148 - (t4_1(1, 1, 1, 2) - t4_2(1, 1, 1, 2)),
149 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,1,2)");
151 - (t4_1(1, 1, 2, 0) - t4_2(1, 1, 2, 0)),
152 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,2,0)");
154 - (t4_1(1, 1, 2, 1) - t4_2(1, 1, 2, 1)),
155 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,2,1)");
157 - (t4_1(1, 1, 2, 2) - t4_2(1, 1, 2, 2)),
158 "T4(i,j,k,l)-T4(i,j,k,l)(1,1,2,2)");
160 - (t4_1(1, 2, 0, 0) - t4_2(1, 2, 0, 0)),
161 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,0,0)");
163 - (t4_1(1, 2, 0, 1) - t4_2(1, 2, 0, 1)),
164 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,0,1)");
166 - (t4_1(1, 2, 0, 2) - t4_2(1, 2, 0, 2)),
167 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,0,2)");
169 - (t4_1(1, 2, 1, 0) - t4_2(1, 2, 1, 0)),
170 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,1,0)");
172 - (t4_1(1, 2, 1, 1) - t4_2(1, 2, 1, 1)),
173 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,1,1)");
175 - (t4_1(1, 2, 1, 2) - t4_2(1, 2, 1, 2)),
176 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,1,2)");
178 - (t4_1(1, 2, 2, 0) - t4_2(1, 2, 2, 0)),
179 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,2,0)");
181 - (t4_1(1, 2, 2, 1) - t4_2(1, 2, 2, 1)),
182 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,2,1)");
184 - (t4_1(1, 2, 2, 2) - t4_2(1, 2, 2, 2)),
185 "T4(i,j,k,l)-T4(i,j,k,l)(1,2,2,2)");
188 - (t4_1(2, 0, 0, 0) - t4_2(2, 0, 0, 0)),
189 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,0,0)");
191 - (t4_1(2, 0, 0, 1) - t4_2(2, 0, 0, 1)),
192 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,0,1)");
194 - (t4_1(2, 0, 0, 2) - t4_2(2, 0, 0, 2)),
195 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,0,2)");
197 - (t4_1(2, 0, 1, 0) - t4_2(2, 0, 1, 0)),
198 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,1,0)");
200 - (t4_1(2, 0, 1, 1) - t4_2(2, 0, 1, 1)),
201 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,1,1)");
203 - (t4_1(2, 0, 1, 2) - t4_2(2, 0, 1, 2)),
204 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,1,2)");
206 - (t4_1(2, 0, 2, 0) - t4_2(2, 0, 2, 0)),
207 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,2,0)");
209 - (t4_1(2, 0, 2, 1) - t4_2(2, 0, 2, 1)),
210 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,2,1)");
212 - (t4_1(2, 0, 2, 2) - t4_2(2, 0, 2, 2)),
213 "T4(i,j,k,l)-T4(i,j,k,l)(2,0,2,2)");
215 - (t4_1(2, 1, 0, 0) - t4_2(2, 1, 0, 0)),
216 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,0,0)");
218 - (t4_1(2, 1, 0, 1) - t4_2(2, 1, 0, 1)),
219 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,0,1)");
221 - (t4_1(2, 1, 0, 2) - t4_2(2, 1, 0, 2)),
222 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,0,2)");
224 - (t4_1(2, 1, 1, 0) - t4_2(2, 1, 1, 0)),
225 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,1,0)");
227 - (t4_1(2, 1, 1, 1) - t4_2(2, 1, 1, 1)),
228 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,1,1)");
230 - (t4_1(2, 1, 1, 2) - t4_2(2, 1, 1, 2)),
231 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,1,2)");
233 - (t4_1(2, 1, 2, 0) - t4_2(2, 1, 2, 0)),
234 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,2,0)");
236 - (t4_1(2, 1, 2, 1) - t4_2(2, 1, 2, 1)),
237 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,2,1)");
239 - (t4_1(2, 1, 2, 2) - t4_2(2, 1, 2, 2)),
240 "T4(i,j,k,l)-T4(i,j,k,l)(2,1,2,2)");
242 - (t4_1(2, 2, 0, 0) - t4_2(2, 2, 0, 0)),
243 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,0,0)");
245 - (t4_1(2, 2, 0, 1) - t4_2(2, 2, 0, 1)),
246 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,0,1)");
248 - (t4_1(2, 2, 0, 2) - t4_2(2, 2, 0, 2)),
249 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,0,2)");
251 - (t4_1(2, 2, 1, 0) - t4_2(2, 2, 1, 0)),
252 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,1,0)");
254 - (t4_1(2, 2, 1, 1) - t4_2(2, 2, 1, 1)),
255 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,1,1)");
257 - (t4_1(2, 2, 1, 2) - t4_2(2, 2, 1, 2)),
258 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,1,2)");
260 - (t4_1(2, 2, 2, 0) - t4_2(2, 2, 2, 0)),
261 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,2,0)");
263 - (t4_1(2, 2, 2, 1) - t4_2(2, 2, 2, 1)),
264 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,2,1)");
266 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
267 "T4(i,j,k,l)-T4(i,j,k,l)(2,2,2,2)");
272 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
273 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,0,0)");
275 - (t4_1(0, 0, 0, 1) - t4_2(0, 1, 0, 0)),
276 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,0,1)");
278 - (t4_1(0, 0, 0, 2) - t4_2(0, 2, 0, 0)),
279 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,0,2)");
281 - (t4_1(0, 0, 1, 0) - t4_2(0, 0, 0, 1)),
282 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,1,0)");
284 - (t4_1(0, 0, 1, 1) - t4_2(0, 1, 0, 1)),
285 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,1,1)");
287 - (t4_1(0, 0, 1, 2) - t4_2(0, 2, 0, 1)),
288 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,1,2)");
290 - (t4_1(0, 0, 2, 0) - t4_2(0, 0, 0, 2)),
291 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,2,0)");
293 - (t4_1(0, 0, 2, 1) - t4_2(0, 1, 0, 2)),
294 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,2,1)");
296 - (t4_1(0, 0, 2, 2) - t4_2(0, 2, 0, 2)),
297 "T4(i,j,k,l)-T4(i,l,j,k)(0,0,2,2)");
299 - (t4_1(0, 1, 0, 0) - t4_2(0, 0, 1, 0)),
300 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,0,0)");
302 - (t4_1(0, 1, 0, 1) - t4_2(0, 1, 1, 0)),
303 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,0,1)");
305 - (t4_1(0, 1, 0, 2) - t4_2(0, 2, 1, 0)),
306 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,0,2)");
308 - (t4_1(0, 1, 1, 0) - t4_2(0, 0, 1, 1)),
309 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,1,0)");
311 - (t4_1(0, 1, 1, 1) - t4_2(0, 1, 1, 1)),
312 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,1,1)");
314 - (t4_1(0, 1, 1, 2) - t4_2(0, 2, 1, 1)),
315 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,1,2)");
317 - (t4_1(0, 1, 2, 0) - t4_2(0, 0, 1, 2)),
318 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,2,0)");
320 - (t4_1(0, 1, 2, 1) - t4_2(0, 1, 1, 2)),
321 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,2,1)");
323 - (t4_1(0, 1, 2, 2) - t4_2(0, 2, 1, 2)),
324 "T4(i,j,k,l)-T4(i,l,j,k)(0,1,2,2)");
326 - (t4_1(0, 2, 0, 0) - t4_2(0, 0, 2, 0)),
327 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,0,0)");
329 - (t4_1(0, 2, 0, 1) - t4_2(0, 1, 2, 0)),
330 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,0,1)");
332 - (t4_1(0, 2, 0, 2) - t4_2(0, 2, 2, 0)),
333 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,0,2)");
335 - (t4_1(0, 2, 1, 0) - t4_2(0, 0, 2, 1)),
336 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,1,0)");
338 - (t4_1(0, 2, 1, 1) - t4_2(0, 1, 2, 1)),
339 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,1,1)");
341 - (t4_1(0, 2, 1, 2) - t4_2(0, 2, 2, 1)),
342 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,1,2)");
344 - (t4_1(0, 2, 2, 0) - t4_2(0, 0, 2, 2)),
345 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,2,0)");
347 - (t4_1(0, 2, 2, 1) - t4_2(0, 1, 2, 2)),
348 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,2,1)");
350 - (t4_1(0, 2, 2, 2) - t4_2(0, 2, 2, 2)),
351 "T4(i,j,k,l)-T4(i,l,j,k)(0,2,2,2)");
354 - (t4_1(1, 0, 0, 0) - t4_2(1, 0, 0, 0)),
355 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,0,0)");
357 - (t4_1(1, 0, 0, 1) - t4_2(1, 1, 0, 0)),
358 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,0,1)");
360 - (t4_1(1, 0, 0, 2) - t4_2(1, 2, 0, 0)),
361 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,0,2)");
363 - (t4_1(1, 0, 1, 0) - t4_2(1, 0, 0, 1)),
364 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,1,0)");
366 - (t4_1(1, 0, 1, 1) - t4_2(1, 1, 0, 1)),
367 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,1,1)");
369 - (t4_1(1, 0, 1, 2) - t4_2(1, 2, 0, 1)),
370 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,1,2)");
372 - (t4_1(1, 0, 2, 0) - t4_2(1, 0, 0, 2)),
373 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,2,0)");
375 - (t4_1(1, 0, 2, 1) - t4_2(1, 1, 0, 2)),
376 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,2,1)");
378 - (t4_1(1, 0, 2, 2) - t4_2(1, 2, 0, 2)),
379 "T4(i,j,k,l)-T4(i,l,j,k)(1,0,2,2)");
381 - (t4_1(1, 1, 0, 0) - t4_2(1, 0, 1, 0)),
382 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,0,0)");
384 - (t4_1(1, 1, 0, 1) - t4_2(1, 1, 1, 0)),
385 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,0,1)");
387 - (t4_1(1, 1, 0, 2) - t4_2(1, 2, 1, 0)),
388 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,0,2)");
390 - (t4_1(1, 1, 1, 0) - t4_2(1, 0, 1, 1)),
391 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,1,0)");
393 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
394 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,1,1)");
396 - (t4_1(1, 1, 1, 2) - t4_2(1, 2, 1, 1)),
397 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,1,2)");
399 - (t4_1(1, 1, 2, 0) - t4_2(1, 0, 1, 2)),
400 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,2,0)");
402 - (t4_1(1, 1, 2, 1) - t4_2(1, 1, 1, 2)),
403 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,2,1)");
405 - (t4_1(1, 1, 2, 2) - t4_2(1, 2, 1, 2)),
406 "T4(i,j,k,l)-T4(i,l,j,k)(1,1,2,2)");
408 - (t4_1(1, 2, 0, 0) - t4_2(1, 0, 2, 0)),
409 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,0,0)");
411 - (t4_1(1, 2, 0, 1) - t4_2(1, 1, 2, 0)),
412 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,0,1)");
414 - (t4_1(1, 2, 0, 2) - t4_2(1, 2, 2, 0)),
415 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,0,2)");
417 - (t4_1(1, 2, 1, 0) - t4_2(1, 0, 2, 1)),
418 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,1,0)");
420 - (t4_1(1, 2, 1, 1) - t4_2(1, 1, 2, 1)),
421 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,1,1)");
423 - (t4_1(1, 2, 1, 2) - t4_2(1, 2, 2, 1)),
424 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,1,2)");
426 - (t4_1(1, 2, 2, 0) - t4_2(1, 0, 2, 2)),
427 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,2,0)");
429 - (t4_1(1, 2, 2, 1) - t4_2(1, 1, 2, 2)),
430 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,2,1)");
432 - (t4_1(1, 2, 2, 2) - t4_2(1, 2, 2, 2)),
433 "T4(i,j,k,l)-T4(i,l,j,k)(1,2,2,2)");
436 - (t4_1(2, 0, 0, 0) - t4_2(2, 0, 0, 0)),
437 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,0,0)");
439 - (t4_1(2, 0, 0, 1) - t4_2(2, 1, 0, 0)),
440 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,0,1)");
442 - (t4_1(2, 0, 0, 2) - t4_2(2, 2, 0, 0)),
443 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,0,2)");
445 - (t4_1(2, 0, 1, 0) - t4_2(2, 0, 0, 1)),
446 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,1,0)");
448 - (t4_1(2, 0, 1, 1) - t4_2(2, 1, 0, 1)),
449 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,1,1)");
451 - (t4_1(2, 0, 1, 2) - t4_2(2, 2, 0, 1)),
452 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,1,2)");
454 - (t4_1(2, 0, 2, 0) - t4_2(2, 0, 0, 2)),
455 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,2,0)");
457 - (t4_1(2, 0, 2, 1) - t4_2(2, 1, 0, 2)),
458 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,2,1)");
460 - (t4_1(2, 0, 2, 2) - t4_2(2, 2, 0, 2)),
461 "T4(i,j,k,l)-T4(i,l,j,k)(2,0,2,2)");
463 - (t4_1(2, 1, 0, 0) - t4_2(2, 0, 1, 0)),
464 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,0,0)");
466 - (t4_1(2, 1, 0, 1) - t4_2(2, 1, 1, 0)),
467 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,0,1)");
469 - (t4_1(2, 1, 0, 2) - t4_2(2, 2, 1, 0)),
470 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,0,2)");
472 - (t4_1(2, 1, 1, 0) - t4_2(2, 0, 1, 1)),
473 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,1,0)");
475 - (t4_1(2, 1, 1, 1) - t4_2(2, 1, 1, 1)),
476 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,1,1)");
478 - (t4_1(2, 1, 1, 2) - t4_2(2, 2, 1, 1)),
479 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,1,2)");
481 - (t4_1(2, 1, 2, 0) - t4_2(2, 0, 1, 2)),
482 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,2,0)");
484 - (t4_1(2, 1, 2, 1) - t4_2(2, 1, 1, 2)),
485 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,2,1)");
487 - (t4_1(2, 1, 2, 2) - t4_2(2, 2, 1, 2)),
488 "T4(i,j,k,l)-T4(i,l,j,k)(2,1,2,2)");
490 - (t4_1(2, 2, 0, 0) - t4_2(2, 0, 2, 0)),
491 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,0,0)");
493 - (t4_1(2, 2, 0, 1) - t4_2(2, 1, 2, 0)),
494 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,0,1)");
496 - (t4_1(2, 2, 0, 2) - t4_2(2, 2, 2, 0)),
497 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,0,2)");
499 - (t4_1(2, 2, 1, 0) - t4_2(2, 0, 2, 1)),
500 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,1,0)");
502 - (t4_1(2, 2, 1, 1) - t4_2(2, 1, 2, 1)),
503 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,1,1)");
505 - (t4_1(2, 2, 1, 2) - t4_2(2, 2, 2, 1)),
506 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,1,2)");
508 - (t4_1(2, 2, 2, 0) - t4_2(2, 0, 2, 2)),
509 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,2,0)");
511 - (t4_1(2, 2, 2, 1) - t4_2(2, 1, 2, 2)),
512 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,2,1)");
514 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
515 "T4(i,j,k,l)-T4(i,l,j,k)(2,2,2,2)");
520 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
521 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,0,0)");
523 - (t4_1(0, 0, 0, 1) - t4_2(0, 1, 0, 0)),
524 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,0,1)");
526 - (t4_1(0, 0, 0, 2) - t4_2(0, 2, 0, 0)),
527 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,0,2)");
529 - (t4_1(0, 0, 1, 0) - t4_2(0, 0, 1, 0)),
530 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,1,0)");
532 - (t4_1(0, 0, 1, 1) - t4_2(0, 1, 1, 0)),
533 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,1,1)");
535 - (t4_1(0, 0, 1, 2) - t4_2(0, 2, 1, 0)),
536 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,1,2)");
538 - (t4_1(0, 0, 2, 0) - t4_2(0, 0, 2, 0)),
539 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,2,0)");
541 - (t4_1(0, 0, 2, 1) - t4_2(0, 1, 2, 0)),
542 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,2,1)");
544 - (t4_1(0, 0, 2, 2) - t4_2(0, 2, 2, 0)),
545 "T4(i,j,k,l)-T4(i,l,k,j)(0,0,2,2)");
547 - (t4_1(0, 1, 0, 0) - t4_2(0, 0, 0, 1)),
548 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,0,0)");
550 - (t4_1(0, 1, 0, 1) - t4_2(0, 1, 0, 1)),
551 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,0,1)");
553 - (t4_1(0, 1, 0, 2) - t4_2(0, 2, 0, 1)),
554 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,0,2)");
556 - (t4_1(0, 1, 1, 0) - t4_2(0, 0, 1, 1)),
557 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,1,0)");
559 - (t4_1(0, 1, 1, 1) - t4_2(0, 1, 1, 1)),
560 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,1,1)");
562 - (t4_1(0, 1, 1, 2) - t4_2(0, 2, 1, 1)),
563 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,1,2)");
565 - (t4_1(0, 1, 2, 0) - t4_2(0, 0, 2, 1)),
566 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,2,0)");
568 - (t4_1(0, 1, 2, 1) - t4_2(0, 1, 2, 1)),
569 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,2,1)");
571 - (t4_1(0, 1, 2, 2) - t4_2(0, 2, 2, 1)),
572 "T4(i,j,k,l)-T4(i,l,k,j)(0,1,2,2)");
574 - (t4_1(0, 2, 0, 0) - t4_2(0, 0, 0, 2)),
575 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,0,0)");
577 - (t4_1(0, 2, 0, 1) - t4_2(0, 1, 0, 2)),
578 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,0,1)");
580 - (t4_1(0, 2, 0, 2) - t4_2(0, 2, 0, 2)),
581 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,0,2)");
583 - (t4_1(0, 2, 1, 0) - t4_2(0, 0, 1, 2)),
584 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,1,0)");
586 - (t4_1(0, 2, 1, 1) - t4_2(0, 1, 1, 2)),
587 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,1,1)");
589 - (t4_1(0, 2, 1, 2) - t4_2(0, 2, 1, 2)),
590 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,1,2)");
592 - (t4_1(0, 2, 2, 0) - t4_2(0, 0, 2, 2)),
593 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,2,0)");
595 - (t4_1(0, 2, 2, 1) - t4_2(0, 1, 2, 2)),
596 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,2,1)");
598 - (t4_1(0, 2, 2, 2) - t4_2(0, 2, 2, 2)),
599 "T4(i,j,k,l)-T4(i,l,k,j)(0,2,2,2)");
602 - (t4_1(1, 0, 0, 0) - t4_2(1, 0, 0, 0)),
603 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,0,0)");
605 - (t4_1(1, 0, 0, 1) - t4_2(1, 1, 0, 0)),
606 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,0,1)");
608 - (t4_1(1, 0, 0, 2) - t4_2(1, 2, 0, 0)),
609 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,0,2)");
611 - (t4_1(1, 0, 1, 0) - t4_2(1, 0, 1, 0)),
612 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,1,0)");
614 - (t4_1(1, 0, 1, 1) - t4_2(1, 1, 1, 0)),
615 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,1,1)");
617 - (t4_1(1, 0, 1, 2) - t4_2(1, 2, 1, 0)),
618 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,1,2)");
620 - (t4_1(1, 0, 2, 0) - t4_2(1, 0, 2, 0)),
621 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,2,0)");
623 - (t4_1(1, 0, 2, 1) - t4_2(1, 1, 2, 0)),
624 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,2,1)");
626 - (t4_1(1, 0, 2, 2) - t4_2(1, 2, 2, 0)),
627 "T4(i,j,k,l)-T4(i,l,k,j)(1,0,2,2)");
629 - (t4_1(1, 1, 0, 0) - t4_2(1, 0, 0, 1)),
630 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,0,0)");
632 - (t4_1(1, 1, 0, 1) - t4_2(1, 1, 0, 1)),
633 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,0,1)");
635 - (t4_1(1, 1, 0, 2) - t4_2(1, 2, 0, 1)),
636 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,0,2)");
638 - (t4_1(1, 1, 1, 0) - t4_2(1, 0, 1, 1)),
639 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,1,0)");
641 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
642 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,1,1)");
644 - (t4_1(1, 1, 1, 2) - t4_2(1, 2, 1, 1)),
645 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,1,2)");
647 - (t4_1(1, 1, 2, 0) - t4_2(1, 0, 2, 1)),
648 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,2,0)");
650 - (t4_1(1, 1, 2, 1) - t4_2(1, 1, 2, 1)),
651 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,2,1)");
653 - (t4_1(1, 1, 2, 2) - t4_2(1, 2, 2, 1)),
654 "T4(i,j,k,l)-T4(i,l,k,j)(1,1,2,2)");
656 - (t4_1(1, 2, 0, 0) - t4_2(1, 0, 0, 2)),
657 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,0,0)");
659 - (t4_1(1, 2, 0, 1) - t4_2(1, 1, 0, 2)),
660 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,0,1)");
662 - (t4_1(1, 2, 0, 2) - t4_2(1, 2, 0, 2)),
663 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,0,2)");
665 - (t4_1(1, 2, 1, 0) - t4_2(1, 0, 1, 2)),
666 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,1,0)");
668 - (t4_1(1, 2, 1, 1) - t4_2(1, 1, 1, 2)),
669 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,1,1)");
671 - (t4_1(1, 2, 1, 2) - t4_2(1, 2, 1, 2)),
672 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,1,2)");
674 - (t4_1(1, 2, 2, 0) - t4_2(1, 0, 2, 2)),
675 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,2,0)");
677 - (t4_1(1, 2, 2, 1) - t4_2(1, 1, 2, 2)),
678 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,2,1)");
680 - (t4_1(1, 2, 2, 2) - t4_2(1, 2, 2, 2)),
681 "T4(i,j,k,l)-T4(i,l,k,j)(1,2,2,2)");
684 - (t4_1(2, 0, 0, 0) - t4_2(2, 0, 0, 0)),
685 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,0,0)");
687 - (t4_1(2, 0, 0, 1) - t4_2(2, 1, 0, 0)),
688 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,0,1)");
690 - (t4_1(2, 0, 0, 2) - t4_2(2, 2, 0, 0)),
691 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,0,2)");
693 - (t4_1(2, 0, 1, 0) - t4_2(2, 0, 1, 0)),
694 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,1,0)");
696 - (t4_1(2, 0, 1, 1) - t4_2(2, 1, 1, 0)),
697 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,1,1)");
699 - (t4_1(2, 0, 1, 2) - t4_2(2, 2, 1, 0)),
700 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,1,2)");
702 - (t4_1(2, 0, 2, 0) - t4_2(2, 0, 2, 0)),
703 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,2,0)");
705 - (t4_1(2, 0, 2, 1) - t4_2(2, 1, 2, 0)),
706 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,2,1)");
708 - (t4_1(2, 0, 2, 2) - t4_2(2, 2, 2, 0)),
709 "T4(i,j,k,l)-T4(i,l,k,j)(2,0,2,2)");
711 - (t4_1(2, 1, 0, 0) - t4_2(2, 0, 0, 1)),
712 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,0,0)");
714 - (t4_1(2, 1, 0, 1) - t4_2(2, 1, 0, 1)),
715 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,0,1)");
717 - (t4_1(2, 1, 0, 2) - t4_2(2, 2, 0, 1)),
718 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,0,2)");
720 - (t4_1(2, 1, 1, 0) - t4_2(2, 0, 1, 1)),
721 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,1,0)");
723 - (t4_1(2, 1, 1, 1) - t4_2(2, 1, 1, 1)),
724 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,1,1)");
726 - (t4_1(2, 1, 1, 2) - t4_2(2, 2, 1, 1)),
727 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,1,2)");
729 - (t4_1(2, 1, 2, 0) - t4_2(2, 0, 2, 1)),
730 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,2,0)");
732 - (t4_1(2, 1, 2, 1) - t4_2(2, 1, 2, 1)),
733 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,2,1)");
735 - (t4_1(2, 1, 2, 2) - t4_2(2, 2, 2, 1)),
736 "T4(i,j,k,l)-T4(i,l,k,j)(2,1,2,2)");
738 - (t4_1(2, 2, 0, 0) - t4_2(2, 0, 0, 2)),
739 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,0,0)");
741 - (t4_1(2, 2, 0, 1) - t4_2(2, 1, 0, 2)),
742 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,0,1)");
744 - (t4_1(2, 2, 0, 2) - t4_2(2, 2, 0, 2)),
745 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,0,2)");
747 - (t4_1(2, 2, 1, 0) - t4_2(2, 0, 1, 2)),
748 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,1,0)");
750 - (t4_1(2, 2, 1, 1) - t4_2(2, 1, 1, 2)),
751 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,1,1)");
753 - (t4_1(2, 2, 1, 2) - t4_2(2, 2, 1, 2)),
754 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,1,2)");
756 - (t4_1(2, 2, 2, 0) - t4_2(2, 0, 2, 2)),
757 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,2,0)");
759 - (t4_1(2, 2, 2, 1) - t4_2(2, 1, 2, 2)),
760 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,2,1)");
762 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
763 "T4(i,j,k,l)-T4(i,l,k,j)(2,2,2,2)");
768 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
769 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,0,0)");
771 - (t4_1(0, 0, 0, 1) - t4_2(0, 0, 0, 1)),
772 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,0,1)");
774 - (t4_1(0, 0, 0, 2) - t4_2(0, 0, 0, 2)),
775 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,0,2)");
777 - (t4_1(0, 0, 1, 0) - t4_2(0, 1, 0, 0)),
778 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,1,0)");
780 - (t4_1(0, 0, 1, 1) - t4_2(0, 1, 0, 1)),
781 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,1,1)");
783 - (t4_1(0, 0, 1, 2) - t4_2(0, 1, 0, 2)),
784 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,1,2)");
786 - (t4_1(0, 0, 2, 0) - t4_2(0, 2, 0, 0)),
787 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,2,0)");
789 - (t4_1(0, 0, 2, 1) - t4_2(0, 2, 0, 1)),
790 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,2,1)");
792 - (t4_1(0, 0, 2, 2) - t4_2(0, 2, 0, 2)),
793 "T4(i,j,k,l)-T4(i,k,j,l)(0,0,2,2)");
795 - (t4_1(0, 1, 0, 0) - t4_2(0, 0, 1, 0)),
796 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,0,0)");
798 - (t4_1(0, 1, 0, 1) - t4_2(0, 0, 1, 1)),
799 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,0,1)");
801 - (t4_1(0, 1, 0, 2) - t4_2(0, 0, 1, 2)),
802 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,0,2)");
804 - (t4_1(0, 1, 1, 0) - t4_2(0, 1, 1, 0)),
805 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,1,0)");
807 - (t4_1(0, 1, 1, 1) - t4_2(0, 1, 1, 1)),
808 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,1,1)");
810 - (t4_1(0, 1, 1, 2) - t4_2(0, 1, 1, 2)),
811 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,1,2)");
813 - (t4_1(0, 1, 2, 0) - t4_2(0, 2, 1, 0)),
814 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,2,0)");
816 - (t4_1(0, 1, 2, 1) - t4_2(0, 2, 1, 1)),
817 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,2,1)");
819 - (t4_1(0, 1, 2, 2) - t4_2(0, 2, 1, 2)),
820 "T4(i,j,k,l)-T4(i,k,j,l)(0,1,2,2)");
822 - (t4_1(0, 2, 0, 0) - t4_2(0, 0, 2, 0)),
823 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,0,0)");
825 - (t4_1(0, 2, 0, 1) - t4_2(0, 0, 2, 1)),
826 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,0,1)");
828 - (t4_1(0, 2, 0, 2) - t4_2(0, 0, 2, 2)),
829 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,0,2)");
831 - (t4_1(0, 2, 1, 0) - t4_2(0, 1, 2, 0)),
832 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,1,0)");
834 - (t4_1(0, 2, 1, 1) - t4_2(0, 1, 2, 1)),
835 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,1,1)");
837 - (t4_1(0, 2, 1, 2) - t4_2(0, 1, 2, 2)),
838 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,1,2)");
840 - (t4_1(0, 2, 2, 0) - t4_2(0, 2, 2, 0)),
841 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,2,0)");
843 - (t4_1(0, 2, 2, 1) - t4_2(0, 2, 2, 1)),
844 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,2,1)");
846 - (t4_1(0, 2, 2, 2) - t4_2(0, 2, 2, 2)),
847 "T4(i,j,k,l)-T4(i,k,j,l)(0,2,2,2)");
850 - (t4_1(1, 0, 0, 0) - t4_2(1, 0, 0, 0)),
851 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,0,0)");
853 - (t4_1(1, 0, 0, 1) - t4_2(1, 0, 0, 1)),
854 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,0,1)");
856 - (t4_1(1, 0, 0, 2) - t4_2(1, 0, 0, 2)),
857 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,0,2)");
859 - (t4_1(1, 0, 1, 0) - t4_2(1, 1, 0, 0)),
860 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,1,0)");
862 - (t4_1(1, 0, 1, 1) - t4_2(1, 1, 0, 1)),
863 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,1,1)");
865 - (t4_1(1, 0, 1, 2) - t4_2(1, 1, 0, 2)),
866 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,1,2)");
868 - (t4_1(1, 0, 2, 0) - t4_2(1, 2, 0, 0)),
869 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,2,0)");
871 - (t4_1(1, 0, 2, 1) - t4_2(1, 2, 0, 1)),
872 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,2,1)");
874 - (t4_1(1, 0, 2, 2) - t4_2(1, 2, 0, 2)),
875 "T4(i,j,k,l)-T4(i,k,j,l)(1,0,2,2)");
877 - (t4_1(1, 1, 0, 0) - t4_2(1, 0, 1, 0)),
878 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,0,0)");
880 - (t4_1(1, 1, 0, 1) - t4_2(1, 0, 1, 1)),
881 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,0,1)");
883 - (t4_1(1, 1, 0, 2) - t4_2(1, 0, 1, 2)),
884 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,0,2)");
886 - (t4_1(1, 1, 1, 0) - t4_2(1, 1, 1, 0)),
887 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,1,0)");
889 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
890 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,1,1)");
892 - (t4_1(1, 1, 1, 2) - t4_2(1, 1, 1, 2)),
893 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,1,2)");
895 - (t4_1(1, 1, 2, 0) - t4_2(1, 2, 1, 0)),
896 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,2,0)");
898 - (t4_1(1, 1, 2, 1) - t4_2(1, 2, 1, 1)),
899 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,2,1)");
901 - (t4_1(1, 1, 2, 2) - t4_2(1, 2, 1, 2)),
902 "T4(i,j,k,l)-T4(i,k,j,l)(1,1,2,2)");
904 - (t4_1(1, 2, 0, 0) - t4_2(1, 0, 2, 0)),
905 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,0,0)");
907 - (t4_1(1, 2, 0, 1) - t4_2(1, 0, 2, 1)),
908 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,0,1)");
910 - (t4_1(1, 2, 0, 2) - t4_2(1, 0, 2, 2)),
911 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,0,2)");
913 - (t4_1(1, 2, 1, 0) - t4_2(1, 1, 2, 0)),
914 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,1,0)");
916 - (t4_1(1, 2, 1, 1) - t4_2(1, 1, 2, 1)),
917 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,1,1)");
919 - (t4_1(1, 2, 1, 2) - t4_2(1, 1, 2, 2)),
920 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,1,2)");
922 - (t4_1(1, 2, 2, 0) - t4_2(1, 2, 2, 0)),
923 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,2,0)");
925 - (t4_1(1, 2, 2, 1) - t4_2(1, 2, 2, 1)),
926 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,2,1)");
928 - (t4_1(1, 2, 2, 2) - t4_2(1, 2, 2, 2)),
929 "T4(i,j,k,l)-T4(i,k,j,l)(1,2,2,2)");
932 - (t4_1(2, 0, 0, 0) - t4_2(2, 0, 0, 0)),
933 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,0,0)");
935 - (t4_1(2, 0, 0, 1) - t4_2(2, 0, 0, 1)),
936 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,0,1)");
938 - (t4_1(2, 0, 0, 2) - t4_2(2, 0, 0, 2)),
939 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,0,2)");
941 - (t4_1(2, 0, 1, 0) - t4_2(2, 1, 0, 0)),
942 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,1,0)");
944 - (t4_1(2, 0, 1, 1) - t4_2(2, 1, 0, 1)),
945 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,1,1)");
947 - (t4_1(2, 0, 1, 2) - t4_2(2, 1, 0, 2)),
948 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,1,2)");
950 - (t4_1(2, 0, 2, 0) - t4_2(2, 2, 0, 0)),
951 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,2,0)");
953 - (t4_1(2, 0, 2, 1) - t4_2(2, 2, 0, 1)),
954 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,2,1)");
956 - (t4_1(2, 0, 2, 2) - t4_2(2, 2, 0, 2)),
957 "T4(i,j,k,l)-T4(i,k,j,l)(2,0,2,2)");
959 - (t4_1(2, 1, 0, 0) - t4_2(2, 0, 1, 0)),
960 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,0,0)");
962 - (t4_1(2, 1, 0, 1) - t4_2(2, 0, 1, 1)),
963 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,0,1)");
965 - (t4_1(2, 1, 0, 2) - t4_2(2, 0, 1, 2)),
966 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,0,2)");
968 - (t4_1(2, 1, 1, 0) - t4_2(2, 1, 1, 0)),
969 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,1,0)");
971 - (t4_1(2, 1, 1, 1) - t4_2(2, 1, 1, 1)),
972 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,1,1)");
974 - (t4_1(2, 1, 1, 2) - t4_2(2, 1, 1, 2)),
975 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,1,2)");
977 - (t4_1(2, 1, 2, 0) - t4_2(2, 2, 1, 0)),
978 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,2,0)");
980 - (t4_1(2, 1, 2, 1) - t4_2(2, 2, 1, 1)),
981 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,2,1)");
983 - (t4_1(2, 1, 2, 2) - t4_2(2, 2, 1, 2)),
984 "T4(i,j,k,l)-T4(i,k,j,l)(2,1,2,2)");
986 - (t4_1(2, 2, 0, 0) - t4_2(2, 0, 2, 0)),
987 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,0,0)");
989 - (t4_1(2, 2, 0, 1) - t4_2(2, 0, 2, 1)),
990 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,0,1)");
992 - (t4_1(2, 2, 0, 2) - t4_2(2, 0, 2, 2)),
993 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,0,2)");
995 - (t4_1(2, 2, 1, 0) - t4_2(2, 1, 2, 0)),
996 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,1,0)");
998 - (t4_1(2, 2, 1, 1) - t4_2(2, 1, 2, 1)),
999 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,1,1)");
1001 - (t4_1(2, 2, 1, 2) - t4_2(2, 1, 2, 2)),
1002 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,1,2)");
1004 - (t4_1(2, 2, 2, 0) - t4_2(2, 2, 2, 0)),
1005 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,2,0)");
1007 - (t4_1(2, 2, 2, 1) - t4_2(2, 2, 2, 1)),
1008 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,2,1)");
1010 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
1011 "T4(i,j,k,l)-T4(i,k,j,l)(2,2,2,2)");
1016 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
1017 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,0,0)");
1019 - (t4_1(0, 0, 0, 1) - t4_2(1, 0, 0, 0)),
1020 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,0,1)");
1022 - (t4_1(0, 0, 0, 2) - t4_2(2, 0, 0, 0)),
1023 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,0,2)");
1025 - (t4_1(0, 0, 1, 0) - t4_2(0, 1, 0, 0)),
1026 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,1,0)");
1028 - (t4_1(0, 0, 1, 1) - t4_2(1, 1, 0, 0)),
1029 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,1,1)");
1031 - (t4_1(0, 0, 1, 2) - t4_2(2, 1, 0, 0)),
1032 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,1,2)");
1034 - (t4_1(0, 0, 2, 0) - t4_2(0, 2, 0, 0)),
1035 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,2,0)");
1037 - (t4_1(0, 0, 2, 1) - t4_2(1, 2, 0, 0)),
1038 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,2,1)");
1040 - (t4_1(0, 0, 2, 2) - t4_2(2, 2, 0, 0)),
1041 "T4(i,j,k,l)-T4(l,k,i,j)(0,0,2,2)");
1043 - (t4_1(0, 1, 0, 0) - t4_2(0, 0, 0, 1)),
1044 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,0,0)");
1046 - (t4_1(0, 1, 0, 1) - t4_2(1, 0, 0, 1)),
1047 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,0,1)");
1049 - (t4_1(0, 1, 0, 2) - t4_2(2, 0, 0, 1)),
1050 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,0,2)");
1052 - (t4_1(0, 1, 1, 0) - t4_2(0, 1, 0, 1)),
1053 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,1,0)");
1055 - (t4_1(0, 1, 1, 1) - t4_2(1, 1, 0, 1)),
1056 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,1,1)");
1058 - (t4_1(0, 1, 1, 2) - t4_2(2, 1, 0, 1)),
1059 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,1,2)");
1061 - (t4_1(0, 1, 2, 0) - t4_2(0, 2, 0, 1)),
1062 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,2,0)");
1064 - (t4_1(0, 1, 2, 1) - t4_2(1, 2, 0, 1)),
1065 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,2,1)");
1067 - (t4_1(0, 1, 2, 2) - t4_2(2, 2, 0, 1)),
1068 "T4(i,j,k,l)-T4(l,k,i,j)(0,1,2,2)");
1070 - (t4_1(0, 2, 0, 0) - t4_2(0, 0, 0, 2)),
1071 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,0,0)");
1073 - (t4_1(0, 2, 0, 1) - t4_2(1, 0, 0, 2)),
1074 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,0,1)");
1076 - (t4_1(0, 2, 0, 2) - t4_2(2, 0, 0, 2)),
1077 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,0,2)");
1079 - (t4_1(0, 2, 1, 0) - t4_2(0, 1, 0, 2)),
1080 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,1,0)");
1082 - (t4_1(0, 2, 1, 1) - t4_2(1, 1, 0, 2)),
1083 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,1,1)");
1085 - (t4_1(0, 2, 1, 2) - t4_2(2, 1, 0, 2)),
1086 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,1,2)");
1088 - (t4_1(0, 2, 2, 0) - t4_2(0, 2, 0, 2)),
1089 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,2,0)");
1091 - (t4_1(0, 2, 2, 1) - t4_2(1, 2, 0, 2)),
1092 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,2,1)");
1094 - (t4_1(0, 2, 2, 2) - t4_2(2, 2, 0, 2)),
1095 "T4(i,j,k,l)-T4(l,k,i,j)(0,2,2,2)");
1098 - (t4_1(1, 0, 0, 0) - t4_2(0, 0, 1, 0)),
1099 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,0,0)");
1101 - (t4_1(1, 0, 0, 1) - t4_2(1, 0, 1, 0)),
1102 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,0,1)");
1104 - (t4_1(1, 0, 0, 2) - t4_2(2, 0, 1, 0)),
1105 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,0,2)");
1107 - (t4_1(1, 0, 1, 0) - t4_2(0, 1, 1, 0)),
1108 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,1,0)");
1110 - (t4_1(1, 0, 1, 1) - t4_2(1, 1, 1, 0)),
1111 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,1,1)");
1113 - (t4_1(1, 0, 1, 2) - t4_2(2, 1, 1, 0)),
1114 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,1,2)");
1116 - (t4_1(1, 0, 2, 0) - t4_2(0, 2, 1, 0)),
1117 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,2,0)");
1119 - (t4_1(1, 0, 2, 1) - t4_2(1, 2, 1, 0)),
1120 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,2,1)");
1122 - (t4_1(1, 0, 2, 2) - t4_2(2, 2, 1, 0)),
1123 "T4(i,j,k,l)-T4(l,k,i,j)(1,0,2,2)");
1125 - (t4_1(1, 1, 0, 0) - t4_2(0, 0, 1, 1)),
1126 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,0,0)");
1128 - (t4_1(1, 1, 0, 1) - t4_2(1, 0, 1, 1)),
1129 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,0,1)");
1131 - (t4_1(1, 1, 0, 2) - t4_2(2, 0, 1, 1)),
1132 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,0,2)");
1134 - (t4_1(1, 1, 1, 0) - t4_2(0, 1, 1, 1)),
1135 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,1,0)");
1137 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
1138 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,1,1)");
1140 - (t4_1(1, 1, 1, 2) - t4_2(2, 1, 1, 1)),
1141 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,1,2)");
1143 - (t4_1(1, 1, 2, 0) - t4_2(0, 2, 1, 1)),
1144 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,2,0)");
1146 - (t4_1(1, 1, 2, 1) - t4_2(1, 2, 1, 1)),
1147 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,2,1)");
1149 - (t4_1(1, 1, 2, 2) - t4_2(2, 2, 1, 1)),
1150 "T4(i,j,k,l)-T4(l,k,i,j)(1,1,2,2)");
1152 - (t4_1(1, 2, 0, 0) - t4_2(0, 0, 1, 2)),
1153 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,0,0)");
1155 - (t4_1(1, 2, 0, 1) - t4_2(1, 0, 1, 2)),
1156 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,0,1)");
1158 - (t4_1(1, 2, 0, 2) - t4_2(2, 0, 1, 2)),
1159 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,0,2)");
1161 - (t4_1(1, 2, 1, 0) - t4_2(0, 1, 1, 2)),
1162 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,1,0)");
1164 - (t4_1(1, 2, 1, 1) - t4_2(1, 1, 1, 2)),
1165 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,1,1)");
1167 - (t4_1(1, 2, 1, 2) - t4_2(2, 1, 1, 2)),
1168 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,1,2)");
1170 - (t4_1(1, 2, 2, 0) - t4_2(0, 2, 1, 2)),
1171 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,2,0)");
1173 - (t4_1(1, 2, 2, 1) - t4_2(1, 2, 1, 2)),
1174 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,2,1)");
1176 - (t4_1(1, 2, 2, 2) - t4_2(2, 2, 1, 2)),
1177 "T4(i,j,k,l)-T4(l,k,i,j)(1,2,2,2)");
1180 - (t4_1(2, 0, 0, 0) - t4_2(0, 0, 2, 0)),
1181 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,0,0)");
1183 - (t4_1(2, 0, 0, 1) - t4_2(1, 0, 2, 0)),
1184 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,0,1)");
1186 - (t4_1(2, 0, 0, 2) - t4_2(2, 0, 2, 0)),
1187 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,0,2)");
1189 - (t4_1(2, 0, 1, 0) - t4_2(0, 1, 2, 0)),
1190 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,1,0)");
1192 - (t4_1(2, 0, 1, 1) - t4_2(1, 1, 2, 0)),
1193 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,1,1)");
1195 - (t4_1(2, 0, 1, 2) - t4_2(2, 1, 2, 0)),
1196 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,1,2)");
1198 - (t4_1(2, 0, 2, 0) - t4_2(0, 2, 2, 0)),
1199 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,2,0)");
1201 - (t4_1(2, 0, 2, 1) - t4_2(1, 2, 2, 0)),
1202 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,2,1)");
1204 - (t4_1(2, 0, 2, 2) - t4_2(2, 2, 2, 0)),
1205 "T4(i,j,k,l)-T4(l,k,i,j)(2,0,2,2)");
1207 - (t4_1(2, 1, 0, 0) - t4_2(0, 0, 2, 1)),
1208 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,0,0)");
1210 - (t4_1(2, 1, 0, 1) - t4_2(1, 0, 2, 1)),
1211 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,0,1)");
1213 - (t4_1(2, 1, 0, 2) - t4_2(2, 0, 2, 1)),
1214 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,0,2)");
1216 - (t4_1(2, 1, 1, 0) - t4_2(0, 1, 2, 1)),
1217 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,1,0)");
1219 - (t4_1(2, 1, 1, 1) - t4_2(1, 1, 2, 1)),
1220 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,1,1)");
1222 - (t4_1(2, 1, 1, 2) - t4_2(2, 1, 2, 1)),
1223 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,1,2)");
1225 - (t4_1(2, 1, 2, 0) - t4_2(0, 2, 2, 1)),
1226 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,2,0)");
1228 - (t4_1(2, 1, 2, 1) - t4_2(1, 2, 2, 1)),
1229 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,2,1)");
1231 - (t4_1(2, 1, 2, 2) - t4_2(2, 2, 2, 1)),
1232 "T4(i,j,k,l)-T4(l,k,i,j)(2,1,2,2)");
1234 - (t4_1(2, 2, 0, 0) - t4_2(0, 0, 2, 2)),
1235 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,0,0)");
1237 - (t4_1(2, 2, 0, 1) - t4_2(1, 0, 2, 2)),
1238 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,0,1)");
1240 - (t4_1(2, 2, 0, 2) - t4_2(2, 0, 2, 2)),
1241 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,0,2)");
1243 - (t4_1(2, 2, 1, 0) - t4_2(0, 1, 2, 2)),
1244 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,1,0)");
1246 - (t4_1(2, 2, 1, 1) - t4_2(1, 1, 2, 2)),
1247 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,1,1)");
1249 - (t4_1(2, 2, 1, 2) - t4_2(2, 1, 2, 2)),
1250 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,1,2)");
1252 - (t4_1(2, 2, 2, 0) - t4_2(0, 2, 2, 2)),
1253 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,2,0)");
1255 - (t4_1(2, 2, 2, 1) - t4_2(1, 2, 2, 2)),
1256 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,2,1)");
1258 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
1259 "T4(i,j,k,l)-T4(l,k,i,j)(2,2,2,2)");
1264 - (t4_1(0, 0, 0, 0) - t4_2(0, 0, 0, 0)),
1265 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,0,0)");
1267 - (t4_1(0, 0, 0, 1) - t4_2(0, 0, 1, 0)),
1268 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,0,1)");
1270 - (t4_1(0, 0, 0, 2) - t4_2(0, 0, 2, 0)),
1271 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,0,2)");
1273 - (t4_1(0, 0, 1, 0) - t4_2(0, 0, 0, 1)),
1274 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,1,0)");
1276 - (t4_1(0, 0, 1, 1) - t4_2(0, 0, 1, 1)),
1277 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,1,1)");
1279 - (t4_1(0, 0, 1, 2) - t4_2(0, 0, 2, 1)),
1280 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,1,2)");
1282 - (t4_1(0, 0, 2, 0) - t4_2(0, 0, 0, 2)),
1283 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,2,0)");
1285 - (t4_1(0, 0, 2, 1) - t4_2(0, 0, 1, 2)),
1286 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,2,1)");
1288 - (t4_1(0, 0, 2, 2) - t4_2(0, 0, 2, 2)),
1289 "T4(i,j,k,l)-T4(i,j,l,k)(0,0,2,2)");
1291 - (t4_1(0, 1, 0, 0) - t4_2(0, 1, 0, 0)),
1292 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,0,0)");
1294 - (t4_1(0, 1, 0, 1) - t4_2(0, 1, 1, 0)),
1295 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,0,1)");
1297 - (t4_1(0, 1, 0, 2) - t4_2(0, 1, 2, 0)),
1298 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,0,2)");
1300 - (t4_1(0, 1, 1, 0) - t4_2(0, 1, 0, 1)),
1301 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,1,0)");
1303 - (t4_1(0, 1, 1, 1) - t4_2(0, 1, 1, 1)),
1304 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,1,1)");
1306 - (t4_1(0, 1, 1, 2) - t4_2(0, 1, 2, 1)),
1307 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,1,2)");
1309 - (t4_1(0, 1, 2, 0) - t4_2(0, 1, 0, 2)),
1310 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,2,0)");
1312 - (t4_1(0, 1, 2, 1) - t4_2(0, 1, 1, 2)),
1313 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,2,1)");
1315 - (t4_1(0, 1, 2, 2) - t4_2(0, 1, 2, 2)),
1316 "T4(i,j,k,l)-T4(i,j,l,k)(0,1,2,2)");
1318 - (t4_1(0, 2, 0, 0) - t4_2(0, 2, 0, 0)),
1319 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,0,0)");
1321 - (t4_1(0, 2, 0, 1) - t4_2(0, 2, 1, 0)),
1322 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,0,1)");
1324 - (t4_1(0, 2, 0, 2) - t4_2(0, 2, 2, 0)),
1325 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,0,2)");
1327 - (t4_1(0, 2, 1, 0) - t4_2(0, 2, 0, 1)),
1328 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,1,0)");
1330 - (t4_1(0, 2, 1, 1) - t4_2(0, 2, 1, 1)),
1331 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,1,1)");
1333 - (t4_1(0, 2, 1, 2) - t4_2(0, 2, 2, 1)),
1334 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,1,2)");
1336 - (t4_1(0, 2, 2, 0) - t4_2(0, 2, 0, 2)),
1337 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,2,0)");
1339 - (t4_1(0, 2, 2, 1) - t4_2(0, 2, 1, 2)),
1340 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,2,1)");
1342 - (t4_1(0, 2, 2, 2) - t4_2(0, 2, 2, 2)),
1343 "T4(i,j,k,l)-T4(i,j,l,k)(0,2,2,2)");
1346 - (t4_1(1, 0, 0, 0) - t4_2(1, 0, 0, 0)),
1347 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,0,0)");
1349 - (t4_1(1, 0, 0, 1) - t4_2(1, 0, 1, 0)),
1350 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,0,1)");
1352 - (t4_1(1, 0, 0, 2) - t4_2(1, 0, 2, 0)),
1353 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,0,2)");
1355 - (t4_1(1, 0, 1, 0) - t4_2(1, 0, 0, 1)),
1356 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,1,0)");
1358 - (t4_1(1, 0, 1, 1) - t4_2(1, 0, 1, 1)),
1359 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,1,1)");
1361 - (t4_1(1, 0, 1, 2) - t4_2(1, 0, 2, 1)),
1362 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,1,2)");
1364 - (t4_1(1, 0, 2, 0) - t4_2(1, 0, 0, 2)),
1365 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,2,0)");
1367 - (t4_1(1, 0, 2, 1) - t4_2(1, 0, 1, 2)),
1368 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,2,1)");
1370 - (t4_1(1, 0, 2, 2) - t4_2(1, 0, 2, 2)),
1371 "T4(i,j,k,l)-T4(i,j,l,k)(1,0,2,2)");
1373 - (t4_1(1, 1, 0, 0) - t4_2(1, 1, 0, 0)),
1374 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,0,0)");
1376 - (t4_1(1, 1, 0, 1) - t4_2(1, 1, 1, 0)),
1377 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,0,1)");
1379 - (t4_1(1, 1, 0, 2) - t4_2(1, 1, 2, 0)),
1380 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,0,2)");
1382 - (t4_1(1, 1, 1, 0) - t4_2(1, 1, 0, 1)),
1383 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,1,0)");
1385 - (t4_1(1, 1, 1, 1) - t4_2(1, 1, 1, 1)),
1386 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,1,1)");
1388 - (t4_1(1, 1, 1, 2) - t4_2(1, 1, 2, 1)),
1389 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,1,2)");
1391 - (t4_1(1, 1, 2, 0) - t4_2(1, 1, 0, 2)),
1392 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,2,0)");
1394 - (t4_1(1, 1, 2, 1) - t4_2(1, 1, 1, 2)),
1395 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,2,1)");
1397 - (t4_1(1, 1, 2, 2) - t4_2(1, 1, 2, 2)),
1398 "T4(i,j,k,l)-T4(i,j,l,k)(1,1,2,2)");
1400 - (t4_1(1, 2, 0, 0) - t4_2(1, 2, 0, 0)),
1401 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,0,0)");
1403 - (t4_1(1, 2, 0, 1) - t4_2(1, 2, 1, 0)),
1404 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,0,1)");
1406 - (t4_1(1, 2, 0, 2) - t4_2(1, 2, 2, 0)),
1407 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,0,2)");
1409 - (t4_1(1, 2, 1, 0) - t4_2(1, 2, 0, 1)),
1410 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,1,0)");
1412 - (t4_1(1, 2, 1, 1) - t4_2(1, 2, 1, 1)),
1413 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,1,1)");
1415 - (t4_1(1, 2, 1, 2) - t4_2(1, 2, 2, 1)),
1416 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,1,2)");
1418 - (t4_1(1, 2, 2, 0) - t4_2(1, 2, 0, 2)),
1419 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,2,0)");
1421 - (t4_1(1, 2, 2, 1) - t4_2(1, 2, 1, 2)),
1422 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,2,1)");
1424 - (t4_1(1, 2, 2, 2) - t4_2(1, 2, 2, 2)),
1425 "T4(i,j,k,l)-T4(i,j,l,k)(1,2,2,2)");
1428 - (t4_1(2, 0, 0, 0) - t4_2(2, 0, 0, 0)),
1429 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,0,0)");
1431 - (t4_1(2, 0, 0, 1) - t4_2(2, 0, 1, 0)),
1432 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,0,1)");
1434 - (t4_1(2, 0, 0, 2) - t4_2(2, 0, 2, 0)),
1435 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,0,2)");
1437 - (t4_1(2, 0, 1, 0) - t4_2(2, 0, 0, 1)),
1438 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,1,0)");
1440 - (t4_1(2, 0, 1, 1) - t4_2(2, 0, 1, 1)),
1441 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,1,1)");
1443 - (t4_1(2, 0, 1, 2) - t4_2(2, 0, 2, 1)),
1444 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,1,2)");
1446 - (t4_1(2, 0, 2, 0) - t4_2(2, 0, 0, 2)),
1447 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,2,0)");
1449 - (t4_1(2, 0, 2, 1) - t4_2(2, 0, 1, 2)),
1450 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,2,1)");
1452 - (t4_1(2, 0, 2, 2) - t4_2(2, 0, 2, 2)),
1453 "T4(i,j,k,l)-T4(i,j,l,k)(2,0,2,2)");
1455 - (t4_1(2, 1, 0, 0) - t4_2(2, 1, 0, 0)),
1456 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,0,0)");
1458 - (t4_1(2, 1, 0, 1) - t4_2(2, 1, 1, 0)),
1459 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,0,1)");
1461 - (t4_1(2, 1, 0, 2) - t4_2(2, 1, 2, 0)),
1462 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,0,2)");
1464 - (t4_1(2, 1, 1, 0) - t4_2(2, 1, 0, 1)),
1465 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,1,0)");
1467 - (t4_1(2, 1, 1, 1) - t4_2(2, 1, 1, 1)),
1468 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,1,1)");
1470 - (t4_1(2, 1, 1, 2) - t4_2(2, 1, 2, 1)),
1471 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,1,2)");
1473 - (t4_1(2, 1, 2, 0) - t4_2(2, 1, 0, 2)),
1474 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,2,0)");
1476 - (t4_1(2, 1, 2, 1) - t4_2(2, 1, 1, 2)),
1477 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,2,1)");
1479 - (t4_1(2, 1, 2, 2) - t4_2(2, 1, 2, 2)),
1480 "T4(i,j,k,l)-T4(i,j,l,k)(2,1,2,2)");
1482 - (t4_1(2, 2, 0, 0) - t4_2(2, 2, 0, 0)),
1483 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,0,0)");
1485 - (t4_1(2, 2, 0, 1) - t4_2(2, 2, 1, 0)),
1486 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,0,1)");
1488 - (t4_1(2, 2, 0, 2) - t4_2(2, 2, 2, 0)),
1489 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,0,2)");
1491 - (t4_1(2, 2, 1, 0) - t4_2(2, 2, 0, 1)),
1492 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,1,0)");
1494 - (t4_1(2, 2, 1, 1) - t4_2(2, 2, 1, 1)),
1495 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,1,1)");
1497 - (t4_1(2, 2, 1, 2) - t4_2(2, 2, 2, 1)),
1498 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,1,2)");
1500 - (t4_1(2, 2, 2, 0) - t4_2(2, 2, 0, 2)),
1501 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,2,0)");
1503 - (t4_1(2, 2, 2, 1) - t4_2(2, 2, 1, 2)),
1504 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,2,1)");
1506 - (t4_1(2, 2, 2, 2) - t4_2(2, 2, 2, 2)),
1507 "T4(i,j,k,l)-T4(i,j,l,k)(2,2,2,2)");