Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/ein16/synth/d2/stash/results_ty.txt
ViewVC logotype

Diff of /branches/ein16/synth/d2/stash/results_ty.txt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4481, Thu Sep 1 17:58:00 2016 UTC revision 4483, Fri Sep 2 05:07:01 2016 UTC
# Line 1  Line 1 
1    
2    
3   neg_ * |0_ *   norm_multiplication |22_1
4            -T_s,T_s|
5            -T_s,F_s_d1|
6            -T_s,F_s_d2|
7            -T_s,F_s_d3|
8            -F_s_d1,T_s|
9            -F_s_d1,F_s_d1|
10            -F_s_d2,T_s|
11            -F_s_d2,F_s_d2|
12            -F_s_d3,T_s|
13            -F_s_d3,F_s_d3|
14            -T_s,T_v2|
15            -T_s,F_v2_d1|
16            -T_s,F_v2_d2|
17            -T_s,F_v2_d3|
18            -F_s_d1,T_v2|
19            -F_s_d1,F_v2_d1|
20            -F_s_d2,T_v2|
21            -F_s_d2,F_v2_d2|
22            -F_s_d3,T_v2|
23            -F_s_d3,F_v2_d3|
24            -T_s,T_v3|
25            -T_s,F_v3_d1|
26            -T_s,F_v3_d2|
27            -T_s,F_v3_d3|
28            -F_s_d1,T_v3|
29            -F_s_d1,F_v3_d1|
30            -F_s_d2,T_v3|
31            -F_s_d2,F_v3_d2|
32            -F_s_d3,T_v3|
33            -F_s_d3,F_v3_d3|
34            -T_s,T_v4|
35            -T_s,F_v4_d1|
36            -T_s,F_v4_d2|
37            -T_s,F_v4_d3|
38            -F_s_d1,T_v4|
39            -F_s_d1,F_v4_d1|
40            -F_s_d2,T_v4|
41            -F_s_d2,F_v4_d2|
42            -F_s_d3,T_v4|
43            -F_s_d3,F_v4_d3|
44            -T_s,T_m2x2|
45            -T_s,F_m2x2_d1|
46            -T_s,F_m2x2_d2|
47            -T_s,F_m2x2_d3|
48            -F_s_d1,T_m2x2|
49            -F_s_d1,F_m2x2_d1|
50            -F_s_d2,T_m2x2|
51            -F_s_d2,F_m2x2_d2|
52            -F_s_d3,T_m2x2|
53            -F_s_d3,F_m2x2_d3|
54            -T_s,T_m2x3|
55            -F_s_d1,T_m2x3|
56            -F_s_d2,T_m2x3|
57            -F_s_d3,T_m2x3|
58            -T_s,T_m2x4|
59            -F_s_d1,T_m2x4|
60            -F_s_d2,T_m2x4|
61            -F_s_d3,T_m2x4|
62            -T_s,T_m3x2|
63            -F_s_d1,T_m3x2|
64            -F_s_d2,T_m3x2|
65            -F_s_d3,T_m3x2|
66            -T_s,T_m3x3|
67            -T_s,F_m3x3_d1|
68            -T_s,F_m3x3_d2|
69            -T_s,F_m3x3_d3|
70            -F_s_d1,T_m3x3|
71            -F_s_d1,F_m3x3_d1|
72            -F_s_d2,T_m3x3|
73            -F_s_d2,F_m3x3_d2|
74            -F_s_d3,T_m3x3|
75            -F_s_d3,F_m3x3_d3|
76            -T_s,T_m3x4|
77            -F_s_d1,T_m3x4|
78            -F_s_d2,T_m3x4|
79            -F_s_d3,T_m3x4|
80            -T_s,T_m4x2|
81            -F_s_d1,T_m4x2|
82            -F_s_d2,T_m4x2|
83            -F_s_d3,T_m4x2|
84            -T_s,T_m4x3|
85            -F_s_d1,T_m4x3|
86            -F_s_d2,T_m4x3|
87            -F_s_d3,T_m4x3|
88            -T_s,T_m4x4|
89            -F_s_d1,T_m4x4|
90            -F_s_d2,T_m4x4|
91            -F_s_d3,T_m4x4|
92            -T_s,T_t2x2x2|
93            -F_s_d1,T_t2x2x2|
94            -F_s_d2,T_t2x2x2|
95            -F_s_d3,T_t2x2x2|
96            -T_s,T_t2x2x3|
97            -F_s_d1,T_t2x2x3|
98            -F_s_d2,T_t2x2x3|
99            -F_s_d3,T_t2x2x3|
100            -T_s,T_t2x2x4|
101            -F_s_d1,T_t2x2x4|
102            -F_s_d2,T_t2x2x4|
103            -F_s_d3,T_t2x2x4|
104            -T_s,T_t2x3x2|
105            -F_s_d1,T_t2x3x2|
106            -F_s_d2,T_t2x3x2|
107            -F_s_d3,T_t2x3x2|
108            -T_s,T_t2x3x3|
109            -F_s_d1,T_t2x3x3|
110            -F_s_d2,T_t2x3x3|
111            -F_s_d3,T_t2x3x3|
112            -T_s,T_t2x3x4|
113            -F_s_d1,T_t2x3x4|
114            -F_s_d2,T_t2x3x4|
115            -F_s_d3,T_t2x3x4|
116            -T_s,T_t2x4x2|
117            -F_s_d1,T_t2x4x2|
118            -F_s_d2,T_t2x4x2|
119            -F_s_d3,T_t2x4x2|
120            -T_s,T_t2x4x3|
121            -F_s_d1,T_t2x4x3|
122            -F_s_d2,T_t2x4x3|
123            -F_s_d3,T_t2x4x3|
124            -T_s,T_t2x4x4|
125            -F_s_d1,T_t2x4x4|
126            -F_s_d2,T_t2x4x4|
127            -F_s_d3,T_t2x4x4|
128            -T_s,T_t3x2x2|
129            -F_s_d1,T_t3x2x2|
130            -F_s_d2,T_t3x2x2|
131            -F_s_d3,T_t3x2x2|
132            -T_s,T_t3x2x3|
133            -F_s_d1,T_t3x2x3|
134            -F_s_d2,T_t3x2x3|
135            -F_s_d3,T_t3x2x3|
136            -T_s,T_t3x2x4|
137            -F_s_d1,T_t3x2x4|
138            -F_s_d2,T_t3x2x4|
139            -F_s_d3,T_t3x2x4|
140            -T_s,T_t3x3x2|
141            -F_s_d1,T_t3x3x2|
142            -F_s_d2,T_t3x3x2|
143            -F_s_d3,T_t3x3x2|
144            -T_s,T_t3x3x3|
145            -F_s_d1,T_t3x3x3|
146            -F_s_d2,T_t3x3x3|
147            -F_s_d3,T_t3x3x3|
148            -T_s,T_t3x3x4|
149            -F_s_d1,T_t3x3x4|
150            -F_s_d2,T_t3x3x4|
151            -F_s_d3,T_t3x3x4|
152            -T_s,T_t3x4x2|
153            -F_s_d1,T_t3x4x2|
154            -F_s_d2,T_t3x4x2|
155            -F_s_d3,T_t3x4x2|
156            -T_s,T_t3x4x3|
157            -F_s_d1,T_t3x4x3|
158            -F_s_d2,T_t3x4x3|
159            -F_s_d3,T_t3x4x3|
160            -T_s,T_t3x4x4|
161            -F_s_d1,T_t3x4x4|
162            -F_s_d2,T_t3x4x4|
163            -F_s_d3,T_t3x4x4|
164            -T_s,T_t4x2x2|
165            -F_s_d1,T_t4x2x2|
166            -F_s_d2,T_t4x2x2|
167            -F_s_d3,T_t4x2x2|
168            -T_s,T_t4x2x3|
169            -F_s_d1,T_t4x2x3|
170            -F_s_d2,T_t4x2x3|
171            -F_s_d3,T_t4x2x3|
172            -T_s,T_t4x2x4|
173            -F_s_d1,T_t4x2x4|
174            -F_s_d2,T_t4x2x4|
175            -F_s_d3,T_t4x2x4|
176            -T_s,T_t4x3x2|
177            -F_s_d1,T_t4x3x2|
178            -F_s_d2,T_t4x3x2|
179            -F_s_d3,T_t4x3x2|
180            -T_s,T_t4x3x3|
181            -F_s_d1,T_t4x3x3|
182            -F_s_d2,T_t4x3x3|
183            -F_s_d3,T_t4x3x3|
184            -T_s,T_t4x3x4|
185            -F_s_d1,T_t4x3x4|
186            -F_s_d2,T_t4x3x4|
187            -F_s_d3,T_t4x3x4|
188            -T_s,T_t4x4x2|
189            -F_s_d1,T_t4x4x2|
190            -F_s_d2,T_t4x4x2|
191            -F_s_d3,T_t4x4x2|
192            -T_s,T_t4x4x3|
193            -F_s_d1,T_t4x4x3|
194            -F_s_d2,T_t4x4x3|
195            -F_s_d3,T_t4x4x3|
196            -T_s,T_t4x4x4|
197            -F_s_d1,T_t4x4x4|
198            -F_s_d2,T_t4x4x4|
199            -F_s_d3,T_t4x4x4|
200            -T_v2,T_s|
201            -T_v2,F_s_d1|
202            -T_v2,F_s_d2|
203            -T_v2,F_s_d3|
204            -F_v2_d1,T_s|
205            -F_v2_d1,F_s_d1|
206            -F_v2_d2,T_s|
207            -F_v2_d2,F_s_d2|
208            -F_v2_d3,T_s|
209            -F_v2_d3,F_s_d3|
210            -T_v3,T_s|
211            -T_v3,F_s_d1|
212            -T_v3,F_s_d2|
213            -T_v3,F_s_d3|
214            -F_v3_d1,T_s|
215            -F_v3_d1,F_s_d1|
216            -F_v3_d2,T_s|
217            -F_v3_d2,F_s_d2|
218            -F_v3_d3,T_s|
219            -F_v3_d3,F_s_d3|
220            -T_v4,T_s|
221            -T_v4,F_s_d1|
222            -T_v4,F_s_d2|
223            -T_v4,F_s_d3|
224            -F_v4_d1,T_s|
225            -F_v4_d1,F_s_d1|
226            -F_v4_d2,T_s|
227            -F_v4_d2,F_s_d2|
228            -F_v4_d3,T_s|
229            -F_v4_d3,F_s_d3|
230            -T_m2x2,T_s|
231            -T_m2x2,F_s_d1|
232            -T_m2x2,F_s_d2|
233            -T_m2x2,F_s_d3|
234            -F_m2x2_d1,T_s|
235            -F_m2x2_d1,F_s_d1|
236            -F_m2x2_d2,T_s|
237            -F_m2x2_d2,F_s_d2|
238            -F_m2x2_d3,T_s|
239            -F_m2x2_d3,F_s_d3|
240            -T_m2x3,T_s|
241            -T_m2x3,F_s_d1|
242            -T_m2x3,F_s_d2|
243            -T_m2x3,F_s_d3|
244            -T_m2x4,T_s|
245            -T_m2x4,F_s_d1|
246            -T_m2x4,F_s_d2|
247            -T_m2x4,F_s_d3|
248            -T_m3x2,T_s|
249            -T_m3x2,F_s_d1|
250            -T_m3x2,F_s_d2|
251            -T_m3x2,F_s_d3|
252            -T_m3x3,T_s|
253            -T_m3x3,F_s_d1|
254            -T_m3x3,F_s_d2|
255            -T_m3x3,F_s_d3|
256            -F_m3x3_d1,T_s|
257            -F_m3x3_d1,F_s_d1|
258            -F_m3x3_d2,T_s|
259            -F_m3x3_d2,F_s_d2|
260            -F_m3x3_d3,T_s|
261            -F_m3x3_d3,F_s_d3|
262            -T_m3x4,T_s|
263            -T_m3x4,F_s_d1|
264            -T_m3x4,F_s_d2|
265            -T_m3x4,F_s_d3|
266            -T_m4x2,T_s|
267            -T_m4x2,F_s_d1|
268            -T_m4x2,F_s_d2|
269            -T_m4x2,F_s_d3|
270            -T_m4x3,T_s|
271            -T_m4x3,F_s_d1|
272            -T_m4x3,F_s_d2|
273            -T_m4x3,F_s_d3|
274            -T_m4x4,T_s|
275            -T_m4x4,F_s_d1|
276            -T_m4x4,F_s_d2|
277            -T_m4x4,F_s_d3|
278            -T_t2x2x2,T_s|
279            -T_t2x2x2,F_s_d1|
280            -T_t2x2x2,F_s_d2|
281            -T_t2x2x2,F_s_d3|
282            -T_t2x2x3,T_s|
283            -T_t2x2x3,F_s_d1|
284            -T_t2x2x3,F_s_d2|
285            -T_t2x2x3,F_s_d3|
286            -T_t2x2x4,T_s|
287            -T_t2x2x4,F_s_d1|
288            -T_t2x2x4,F_s_d2|
289            -T_t2x2x4,F_s_d3|
290            -T_t2x3x2,T_s|
291            -T_t2x3x2,F_s_d1|
292            -T_t2x3x2,F_s_d2|
293            -T_t2x3x2,F_s_d3|
294            -T_t2x3x3,T_s|
295            -T_t2x3x3,F_s_d1|
296            -T_t2x3x3,F_s_d2|
297            -T_t2x3x3,F_s_d3|
298            -T_t2x3x4,T_s|
299            -T_t2x3x4,F_s_d1|
300            -T_t2x3x4,F_s_d2|
301            -T_t2x3x4,F_s_d3|
302            -T_t2x4x2,T_s|
303            -T_t2x4x2,F_s_d1|
304            -T_t2x4x2,F_s_d2|
305            -T_t2x4x2,F_s_d3|
306            -T_t2x4x3,T_s|
307            -T_t2x4x3,F_s_d1|
308            -T_t2x4x3,F_s_d2|
309            -T_t2x4x3,F_s_d3|
310            -T_t2x4x4,T_s|
311            -T_t2x4x4,F_s_d1|
312            -T_t2x4x4,F_s_d2|
313            -T_t2x4x4,F_s_d3|
314            -T_t3x2x2,T_s|
315            -T_t3x2x2,F_s_d1|
316            -T_t3x2x2,F_s_d2|
317            -T_t3x2x2,F_s_d3|
318            -T_t3x2x3,T_s|
319            -T_t3x2x3,F_s_d1|
320            -T_t3x2x3,F_s_d2|
321            -T_t3x2x3,F_s_d3|
322            -T_t3x2x4,T_s|
323            -T_t3x2x4,F_s_d1|
324            -T_t3x2x4,F_s_d2|
325            -T_t3x2x4,F_s_d3|
326            -T_t3x3x2,T_s|
327            -T_t3x3x2,F_s_d1|
328            -T_t3x3x2,F_s_d2|
329            -T_t3x3x2,F_s_d3|
330            -T_t3x3x3,T_s|
331            -T_t3x3x3,F_s_d1|
332            -T_t3x3x3,F_s_d2|
333            -T_t3x3x3,F_s_d3|
334            -T_t3x3x4,T_s|
335            -T_t3x3x4,F_s_d1|
336            -T_t3x3x4,F_s_d2|
337            -T_t3x3x4,F_s_d3|
338            -T_t3x4x2,T_s|
339            -T_t3x4x2,F_s_d1|
340            -T_t3x4x2,F_s_d2|
341            -T_t3x4x2,F_s_d3|
342            -T_t3x4x3,T_s|
343            -T_t3x4x3,F_s_d1|
344            -T_t3x4x3,F_s_d2|
345            -T_t3x4x3,F_s_d3|
346            -T_t3x4x4,T_s|
347            -T_t3x4x4,F_s_d1|
348            -T_t3x4x4,F_s_d2|
349            -T_t3x4x4,F_s_d3|
350            -T_t4x2x2,T_s|
351            -T_t4x2x2,F_s_d1|
352            -T_t4x2x2,F_s_d2|
353            -T_t4x2x2,F_s_d3|
354            -T_t4x2x3,T_s|
355            -T_t4x2x3,F_s_d1|
356            -T_t4x2x3,F_s_d2|
357            -T_t4x2x3,F_s_d3|
358            -T_t4x2x4,T_s|
359            -T_t4x2x4,F_s_d1|
360            -T_t4x2x4,F_s_d2|
361            -T_t4x2x4,F_s_d3|
362            -T_t4x3x2,T_s|
363            -T_t4x3x2,F_s_d1|
364            -T_t4x3x2,F_s_d2|
365            -T_t4x3x2,F_s_d3|
366            -T_t4x3x3,T_s|
367            -T_t4x3x3,F_s_d1|
368            -T_t4x3x3,F_s_d2|
369            -T_t4x3x3,F_s_d3|
370            -T_t4x3x4,T_s|
371            -T_t4x3x4,F_s_d1|
372            -T_t4x3x4,F_s_d2|
373            -T_t4x3x4,F_s_d3|
374            -T_t4x4x2,T_s|
375            -T_t4x4x2,F_s_d1|
376            -T_t4x4x2,F_s_d2|
377            -T_t4x4x2,F_s_d3|
378            -T_t4x4x3,T_s|
379            -T_t4x4x3,F_s_d1|
380            -T_t4x4x3,F_s_d2|
381            -T_t4x4x3,F_s_d3|
382            -T_t4x4x4,T_s|
383            -T_t4x4x4,F_s_d1|
384            -T_t4x4x4,F_s_d2|
385            -T_t4x4x4,F_s_d3|
386    
387   neg_neg |0_0   norm_multiplication |22_1
388          -T_s|p_i0_o0_n0   (T_s) -> (T_s) -> T_s          -T_s,T_s|
         -T_s|p_i0_o0_n0  
         -T_v2|p_i0_o0_n1          (T_v2) -> (T_v2) -> T_v2  
         -T_v2|p_i0_o0_n1  
         -T_v3|p_i0_o0_n2          (T_v3) -> (T_v3) -> T_v3  
         -T_v3|p_i0_o0_n2  
         -T_v4|p_i0_o0_n3          (T_v4) -> (T_v4) -> T_v4  
         -T_v4|p_i0_o0_n3  
         -T_m2x2|p_i0_o0_n4        (T_m2x2) -> (T_m2x2) -> T_m2x2  
         -T_m2x2|p_i0_o0_n4  
         -T_m2x3|p_i0_o0_n5        (T_m2x3) -> (T_m2x3) -> T_m2x3  
         -T_m2x3|p_i0_o0_n5  
         -T_m2x4|p_i0_o0_n6        (T_m2x4) -> (T_m2x4) -> T_m2x4  
         -T_m2x4|p_i0_o0_n6  
         -T_m3x2|p_i0_o0_n7        (T_m3x2) -> (T_m3x2) -> T_m3x2  
         -T_m3x2|p_i0_o0_n7  
         -T_m3x3|p_i0_o0_n8        (T_m3x3) -> (T_m3x3) -> T_m3x3  
         -T_m3x3|p_i0_o0_n8  
         -T_m3x4|p_i0_o0_n9        (T_m3x4) -> (T_m3x4) -> T_m3x4  
         -T_m3x4|p_i0_o0_n9  
         -T_m4x2|p_i0_o0_n10       (T_m4x2) -> (T_m4x2) -> T_m4x2  
         -T_m4x2|p_i0_o0_n10  
         -T_m4x3|p_i0_o0_n11       (T_m4x3) -> (T_m4x3) -> T_m4x3  
         -T_m4x3|p_i0_o0_n11  
         -T_m4x4|p_i0_o0_n12       (T_m4x4) -> (T_m4x4) -> T_m4x4  
         -T_m4x4|p_i0_o0_n12  
         -T_t2x2x2|p_i0_o0_n13     (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2  
         -T_t2x2x2|p_i0_o0_n13  
         -T_t2x2x3|p_i0_o0_n14     (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3  
         -T_t2x2x3|p_i0_o0_n14  
         -T_t2x2x4|p_i0_o0_n15     (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4  
         -T_t2x2x4|p_i0_o0_n15  
         -T_t2x3x2|p_i0_o0_n16     (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2  
         -T_t2x3x2|p_i0_o0_n16  
         -T_t2x3x3|p_i0_o0_n17     (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3  
         -T_t2x3x3|p_i0_o0_n17  
         -T_t2x3x4|p_i0_o0_n18     (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4  
         -T_t2x3x4|p_i0_o0_n18  
         -T_t2x4x2|p_i0_o0_n19     (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2  
         -T_t2x4x2|p_i0_o0_n19  
         -T_t2x4x3|p_i0_o0_n20     (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3  
         -T_t2x4x3|p_i0_o0_n20  
         -T_t2x4x4|p_i0_o0_n21     (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4  
         -T_t2x4x4|p_i0_o0_n21  
         -T_t3x2x2|p_i0_o0_n22     (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2  
         -T_t3x2x2|p_i0_o0_n22  
         -T_t3x2x3|p_i0_o0_n23     (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3  
         -T_t3x2x3|p_i0_o0_n23  
         -T_t3x2x4|p_i0_o0_n24     (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4  
         -T_t3x2x4|p_i0_o0_n24  
         -T_t3x3x2|p_i0_o0_n25     (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2  
         -T_t3x3x2|p_i0_o0_n25  
         -T_t3x3x3|p_i0_o0_n26     (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3  
         -T_t3x3x3|p_i0_o0_n26  
         -T_t3x3x4|p_i0_o0_n27     (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4  
         -T_t3x3x4|p_i0_o0_n27  
         -T_t3x4x2|p_i0_o0_n28     (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2  
         -T_t3x4x2|p_i0_o0_n28  
         -T_t3x4x3|p_i0_o0_n29     (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3  
         -T_t3x4x3|p_i0_o0_n29  
         -T_t3x4x4|p_i0_o0_n30     (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4  
         -T_t3x4x4|p_i0_o0_n30  
         -T_t4x2x2|p_i0_o0_n31     (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2  
         -T_t4x2x2|p_i0_o0_n31  
         -T_t4x2x3|p_i0_o0_n32     (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3  
         -T_t4x2x3|p_i0_o0_n32  
         -T_t4x2x4|p_i0_o0_n33     (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4  
         -T_t4x2x4|p_i0_o0_n33  
         -T_t4x3x2|p_i0_o0_n34     (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2  
         -T_t4x3x2|p_i0_o0_n34  
         -T_t4x3x3|p_i0_o0_n35     (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3  
         -T_t4x3x3|p_i0_o0_n35  
         -T_t4x3x4|p_i0_o0_n36     (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4  
         -T_t4x3x4|p_i0_o0_n36  
         -T_t4x4x2|p_i0_o0_n37     (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2  
         -T_t4x4x2|p_i0_o0_n37  
         -T_t4x4x3|p_i0_o0_n38     (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3  
         -T_t4x4x3|p_i0_o0_n38  
         -T_t4x4x4|p_i0_o0_n39     (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4  
         -T_t4x4x4|p_i0_o0_n39  
         -F_s_d1|p_i0_o0_n40       (F_s_d1) -> (F_s_d1) -> F_s_d1  
         -F_s_d1|p_i0_o0_n40  
         -F_v2_d1|p_i0_o0_n41      (F_v2_d1) -> (F_v2_d1) -> F_v2_d1  
         -F_v2_d1|p_i0_o0_n41  
         -F_v3_d1|p_i0_o0_n42      (F_v3_d1) -> (F_v3_d1) -> F_v3_d1  
         -F_v3_d1|p_i0_o0_n42  
         -F_v4_d1|p_i0_o0_n43      (F_v4_d1) -> (F_v4_d1) -> F_v4_d1  
         -F_v4_d1|p_i0_o0_n43  
         -F_m2x2_d1|p_i0_o0_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1  
         -F_m2x2_d1|p_i0_o0_n44  
         -F_m3x3_d1|p_i0_o0_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1  
         -F_m3x3_d1|p_i0_o0_n45  
         -F_s_d2|p_i0_o0_n46       (F_s_d2) -> (F_s_d2) -> F_s_d2  
         -F_s_d2|p_i0_o0_n46  
         -F_v2_d2|p_i0_o0_n47      (F_v2_d2) -> (F_v2_d2) -> F_v2_d2  
         -F_v2_d2|p_i0_o0_n47  
         -F_v3_d2|p_i0_o0_n48      (F_v3_d2) -> (F_v3_d2) -> F_v3_d2  
         -F_v3_d2|p_i0_o0_n48  
         -F_v4_d2|p_i0_o0_n49      (F_v4_d2) -> (F_v4_d2) -> F_v4_d2  
         -F_v4_d2|p_i0_o0_n49  
         -F_m2x2_d2|p_i0_o0_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2  
         -F_m2x2_d2|p_i0_o0_n50  
         -F_m3x3_d2|p_i0_o0_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2  
         -F_m3x3_d2|p_i0_o0_n51  
         -F_s_d3|p_i0_o0_n52       (F_s_d3) -> (F_s_d3) -> F_s_d3  
         -F_s_d3|p_i0_o0_n52  
         -F_v2_d3|p_i0_o0_n53      (F_v2_d3) -> (F_v2_d3) -> F_v2_d3  
         -F_v2_d3|p_i0_o0_n53  
         -F_v3_d3|p_i0_o0_n54      (F_v3_d3) -> (F_v3_d3) -> F_v3_d3  
         -F_v3_d3|p_i0_o0_n54  
         -F_v4_d3|p_i0_o0_n55      (F_v4_d3) -> (F_v4_d3) -> F_v4_d3  
         -F_v4_d3|p_i0_o0_n55  
         -F_m2x2_d3|p_i0_o0_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3  
         -F_m2x2_d3|p_i0_o0_n56  
         -F_m3x3_d3|p_i0_o0_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3  
         -F_m3x3_d3|p_i0_o0_n57  
389    
390   norm_neg |0_1   addition_cross product |19_17
391          -T_s|p_i0_o1_n0   (T_s) -> (T_s) -> T_s          -T_v2,T_v2,T_s|
         -T_s|p_i0_o1_n0  
         -T_v2|p_i0_o1_n1          (T_v2) -> (T_v2) -> T_s  
         -T_v2|p_i0_o1_n1  
         -T_v3|p_i0_o1_n2          (T_v3) -> (T_v3) -> T_s  
         -T_v3|p_i0_o1_n2  
         -T_v4|p_i0_o1_n3          (T_v4) -> (T_v4) -> T_s  
         -T_v4|p_i0_o1_n3  
         -T_m2x2|p_i0_o1_n4        (T_m2x2) -> (T_m2x2) -> T_s  
         -T_m2x2|p_i0_o1_n4  
         -T_m2x3|p_i0_o1_n5        (T_m2x3) -> (T_m2x3) -> T_s  
         -T_m2x3|p_i0_o1_n5  
         -T_m2x4|p_i0_o1_n6        (T_m2x4) -> (T_m2x4) -> T_s  
         -T_m2x4|p_i0_o1_n6  
         -T_m3x2|p_i0_o1_n7        (T_m3x2) -> (T_m3x2) -> T_s  
         -T_m3x2|p_i0_o1_n7  
         -T_m3x3|p_i0_o1_n8        (T_m3x3) -> (T_m3x3) -> T_s  
         -T_m3x3|p_i0_o1_n8  
         -T_m3x4|p_i0_o1_n9        (T_m3x4) -> (T_m3x4) -> T_s  
         -T_m3x4|p_i0_o1_n9  
         -T_m4x2|p_i0_o1_n10       (T_m4x2) -> (T_m4x2) -> T_s  
         -T_m4x2|p_i0_o1_n10  
         -T_m4x3|p_i0_o1_n11       (T_m4x3) -> (T_m4x3) -> T_s  
         -T_m4x3|p_i0_o1_n11  
         -T_m4x4|p_i0_o1_n12       (T_m4x4) -> (T_m4x4) -> T_s  
         -T_m4x4|p_i0_o1_n12  
         -T_t2x2x2|p_i0_o1_n13     (T_t2x2x2) -> (T_t2x2x2) -> T_s  
         -T_t2x2x2|p_i0_o1_n13  
         -T_t2x2x3|p_i0_o1_n14     (T_t2x2x3) -> (T_t2x2x3) -> T_s  
         -T_t2x2x3|p_i0_o1_n14  
         -T_t2x2x4|p_i0_o1_n15     (T_t2x2x4) -> (T_t2x2x4) -> T_s  
         -T_t2x2x4|p_i0_o1_n15  
         -T_t2x3x2|p_i0_o1_n16     (T_t2x3x2) -> (T_t2x3x2) -> T_s  
         -T_t2x3x2|p_i0_o1_n16  
         -T_t2x3x3|p_i0_o1_n17     (T_t2x3x3) -> (T_t2x3x3) -> T_s  
         -T_t2x3x3|p_i0_o1_n17  
         -T_t2x3x4|p_i0_o1_n18     (T_t2x3x4) -> (T_t2x3x4) -> T_s  
         -T_t2x3x4|p_i0_o1_n18  
         -T_t2x4x2|p_i0_o1_n19     (T_t2x4x2) -> (T_t2x4x2) -> T_s  
         -T_t2x4x2|p_i0_o1_n19  
         -T_t2x4x3|p_i0_o1_n20     (T_t2x4x3) -> (T_t2x4x3) -> T_s  
         -T_t2x4x3|p_i0_o1_n20  
         -T_t2x4x4|p_i0_o1_n21     (T_t2x4x4) -> (T_t2x4x4) -> T_s  
         -T_t2x4x4|p_i0_o1_n21  
         -T_t3x2x2|p_i0_o1_n22     (T_t3x2x2) -> (T_t3x2x2) -> T_s  
         -T_t3x2x2|p_i0_o1_n22  
         -T_t3x2x3|p_i0_o1_n23     (T_t3x2x3) -> (T_t3x2x3) -> T_s  
         -T_t3x2x3|p_i0_o1_n23  
         -T_t3x2x4|p_i0_o1_n24     (T_t3x2x4) -> (T_t3x2x4) -> T_s  
         -T_t3x2x4|p_i0_o1_n24  
         -T_t3x3x2|p_i0_o1_n25     (T_t3x3x2) -> (T_t3x3x2) -> T_s  
         -T_t3x3x2|p_i0_o1_n25  
         -T_t3x3x3|p_i0_o1_n26     (T_t3x3x3) -> (T_t3x3x3) -> T_s  
         -T_t3x3x3|p_i0_o1_n26  
         -T_t3x3x4|p_i0_o1_n27     (T_t3x3x4) -> (T_t3x3x4) -> T_s  
         -T_t3x3x4|p_i0_o1_n27  
         -T_t3x4x2|p_i0_o1_n28     (T_t3x4x2) -> (T_t3x4x2) -> T_s  
         -T_t3x4x2|p_i0_o1_n28  
         -T_t3x4x3|p_i0_o1_n29     (T_t3x4x3) -> (T_t3x4x3) -> T_s  
         -T_t3x4x3|p_i0_o1_n29  
         -T_t3x4x4|p_i0_o1_n30     (T_t3x4x4) -> (T_t3x4x4) -> T_s  
         -T_t3x4x4|p_i0_o1_n30  
         -T_t4x2x2|p_i0_o1_n31     (T_t4x2x2) -> (T_t4x2x2) -> T_s  
         -T_t4x2x2|p_i0_o1_n31  
         -T_t4x2x3|p_i0_o1_n32     (T_t4x2x3) -> (T_t4x2x3) -> T_s  
         -T_t4x2x3|p_i0_o1_n32  
         -T_t4x2x4|p_i0_o1_n33     (T_t4x2x4) -> (T_t4x2x4) -> T_s  
         -T_t4x2x4|p_i0_o1_n33  
         -T_t4x3x2|p_i0_o1_n34     (T_t4x3x2) -> (T_t4x3x2) -> T_s  
         -T_t4x3x2|p_i0_o1_n34  
         -T_t4x3x3|p_i0_o1_n35     (T_t4x3x3) -> (T_t4x3x3) -> T_s  
         -T_t4x3x3|p_i0_o1_n35  
         -T_t4x3x4|p_i0_o1_n36     (T_t4x3x4) -> (T_t4x3x4) -> T_s  
         -T_t4x3x4|p_i0_o1_n36  
         -T_t4x4x2|p_i0_o1_n37     (T_t4x4x2) -> (T_t4x4x2) -> T_s  
         -T_t4x4x2|p_i0_o1_n37  
         -T_t4x4x3|p_i0_o1_n38     (T_t4x4x3) -> (T_t4x4x3) -> T_s  
         -T_t4x4x3|p_i0_o1_n38  
         -T_t4x4x4|p_i0_o1_n39     (T_t4x4x4) -> (T_t4x4x4) -> T_s  
         -T_t4x4x4|p_i0_o1_n39  
         -F_s_d1|p_i0_o1_n40       (F_s_d1) -> (F_s_d1) -> F_s_d1  
         -F_s_d1|p_i0_o1_n40  
         -F_v2_d1|p_i0_o1_n41      (F_v2_d1) -> (F_v2_d1) -> F_s_d1  
         -F_v2_d1|p_i0_o1_n41  
         -F_v3_d1|p_i0_o1_n42      (F_v3_d1) -> (F_v3_d1) -> F_s_d1  
         -F_v3_d1|p_i0_o1_n42  
         -F_v4_d1|p_i0_o1_n43      (F_v4_d1) -> (F_v4_d1) -> F_s_d1  
         -F_v4_d1|p_i0_o1_n43  
         -F_m2x2_d1|p_i0_o1_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1  
         -F_m2x2_d1|p_i0_o1_n44  
         -F_m3x3_d1|p_i0_o1_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1  
         -F_m3x3_d1|p_i0_o1_n45  
         -F_s_d2|p_i0_o1_n46       (F_s_d2) -> (F_s_d2) -> F_s_d2  
         -F_s_d2|p_i0_o1_n46  
         -F_v2_d2|p_i0_o1_n47      (F_v2_d2) -> (F_v2_d2) -> F_s_d2  
         -F_v2_d2|p_i0_o1_n47  
         -F_v3_d2|p_i0_o1_n48      (F_v3_d2) -> (F_v3_d2) -> F_s_d2  
         -F_v3_d2|p_i0_o1_n48  
         -F_v4_d2|p_i0_o1_n49      (F_v4_d2) -> (F_v4_d2) -> F_s_d2  
         -F_v4_d2|p_i0_o1_n49  
         -F_m2x2_d2|p_i0_o1_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2  
         -F_m2x2_d2|p_i0_o1_n50  
         -F_m3x3_d2|p_i0_o1_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2  
         -F_m3x3_d2|p_i0_o1_n51  
         -F_s_d3|p_i0_o1_n52       (F_s_d3) -> (F_s_d3) -> F_s_d3  
         -F_s_d3|p_i0_o1_n52  
         -F_v2_d3|p_i0_o1_n53      (F_v2_d3) -> (F_v2_d3) -> F_s_d3  
         -F_v2_d3|p_i0_o1_n53  
         -F_v3_d3|p_i0_o1_n54      (F_v3_d3) -> (F_v3_d3) -> F_s_d3  
         -F_v3_d3|p_i0_o1_n54  
         -F_v4_d3|p_i0_o1_n55      (F_v4_d3) -> (F_v4_d3) -> F_s_d3  
         -F_v4_d3|p_i0_o1_n55  
         -F_m2x2_d3|p_i0_o1_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3  
         -F_m2x2_d3|p_i0_o1_n56  
         -F_m3x3_d3|p_i0_o1_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3  
         -F_m3x3_d3|p_i0_o1_n57  
   
  normalize_neg |0_2  
         -T_v2|p_i0_o2_n1          (T_v2) -> (T_v2) -> T_v2  
         -T_v2|p_i0_o2_n1  
         -T_v3|p_i0_o2_n2          (T_v3) -> (T_v3) -> T_v3  
         -T_v3|p_i0_o2_n2  
         -T_v4|p_i0_o2_n3          (T_v4) -> (T_v4) -> T_v4  
         -T_v4|p_i0_o2_n3  
         -T_m2x2|p_i0_o2_n4        (T_m2x2) -> (T_m2x2) -> T_m2x2  
         -T_m2x2|p_i0_o2_n4  
         -T_m2x3|p_i0_o2_n5        (T_m2x3) -> (T_m2x3) -> T_m2x3  
         -T_m2x3|p_i0_o2_n5  
         -T_m2x4|p_i0_o2_n6        (T_m2x4) -> (T_m2x4) -> T_m2x4  
         -T_m2x4|p_i0_o2_n6  
         -T_m3x2|p_i0_o2_n7        (T_m3x2) -> (T_m3x2) -> T_m3x2  
         -T_m3x2|p_i0_o2_n7  
         -T_m3x3|p_i0_o2_n8        (T_m3x3) -> (T_m3x3) -> T_m3x3  
         -T_m3x3|p_i0_o2_n8  
         -T_m3x4|p_i0_o2_n9        (T_m3x4) -> (T_m3x4) -> T_m3x4  
         -T_m3x4|p_i0_o2_n9  
         -T_m4x2|p_i0_o2_n10       (T_m4x2) -> (T_m4x2) -> T_m4x2  
         -T_m4x2|p_i0_o2_n10  
         -T_m4x3|p_i0_o2_n11       (T_m4x3) -> (T_m4x3) -> T_m4x3  
         -T_m4x3|p_i0_o2_n11  
         -T_m4x4|p_i0_o2_n12       (T_m4x4) -> (T_m4x4) -> T_m4x4  
         -T_m4x4|p_i0_o2_n12  
         -T_t2x2x2|p_i0_o2_n13     (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2  
         -T_t2x2x2|p_i0_o2_n13  
         -T_t2x2x3|p_i0_o2_n14     (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3  
         -T_t2x2x3|p_i0_o2_n14  
         -T_t2x2x4|p_i0_o2_n15     (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4  
         -T_t2x2x4|p_i0_o2_n15  
         -T_t2x3x2|p_i0_o2_n16     (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2  
         -T_t2x3x2|p_i0_o2_n16  
         -T_t2x3x3|p_i0_o2_n17     (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3  
         -T_t2x3x3|p_i0_o2_n17  
         -T_t2x3x4|p_i0_o2_n18     (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4  
         -T_t2x3x4|p_i0_o2_n18  
         -T_t2x4x2|p_i0_o2_n19     (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2  
         -T_t2x4x2|p_i0_o2_n19  
         -T_t2x4x3|p_i0_o2_n20     (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3  
         -T_t2x4x3|p_i0_o2_n20  
         -T_t2x4x4|p_i0_o2_n21     (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4  
         -T_t2x4x4|p_i0_o2_n21  
         -T_t3x2x2|p_i0_o2_n22     (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2  
         -T_t3x2x2|p_i0_o2_n22  
         -T_t3x2x3|p_i0_o2_n23     (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3  
         -T_t3x2x3|p_i0_o2_n23  
         -T_t3x2x4|p_i0_o2_n24     (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4  
         -T_t3x2x4|p_i0_o2_n24  
         -T_t3x3x2|p_i0_o2_n25     (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2  
         -T_t3x3x2|p_i0_o2_n25  
         -T_t3x3x3|p_i0_o2_n26     (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3  
         -T_t3x3x3|p_i0_o2_n26  
         -T_t3x3x4|p_i0_o2_n27     (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4  
         -T_t3x3x4|p_i0_o2_n27  
         -T_t3x4x2|p_i0_o2_n28     (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2  
         -T_t3x4x2|p_i0_o2_n28  
         -T_t3x4x3|p_i0_o2_n29     (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3  
         -T_t3x4x3|p_i0_o2_n29  
         -T_t3x4x4|p_i0_o2_n30     (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4  
         -T_t3x4x4|p_i0_o2_n30  
         -T_t4x2x2|p_i0_o2_n31     (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2  
         -T_t4x2x2|p_i0_o2_n31  
         -T_t4x2x3|p_i0_o2_n32     (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3  
         -T_t4x2x3|p_i0_o2_n32  
         -T_t4x2x4|p_i0_o2_n33     (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4  
         -T_t4x2x4|p_i0_o2_n33  
         -T_t4x3x2|p_i0_o2_n34     (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2  
         -T_t4x3x2|p_i0_o2_n34  
         -T_t4x3x3|p_i0_o2_n35     (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3  
         -T_t4x3x3|p_i0_o2_n35  
         -T_t4x3x4|p_i0_o2_n36     (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4  
         -T_t4x3x4|p_i0_o2_n36  
         -T_t4x4x2|p_i0_o2_n37     (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2  
         -T_t4x4x2|p_i0_o2_n37  
         -T_t4x4x3|p_i0_o2_n38     (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3  
         -T_t4x4x3|p_i0_o2_n38  
         -T_t4x4x4|p_i0_o2_n39     (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4  
         -T_t4x4x4|p_i0_o2_n39  
         -F_v2_d1|p_i0_o2_n41      (F_v2_d1) -> (F_v2_d1) -> F_v2_d1  
         -F_v2_d1|p_i0_o2_n41  
         -F_v3_d1|p_i0_o2_n42      (F_v3_d1) -> (F_v3_d1) -> F_v3_d1  
         -F_v3_d1|p_i0_o2_n42  
         -F_v4_d1|p_i0_o2_n43      (F_v4_d1) -> (F_v4_d1) -> F_v4_d1  
         -F_v4_d1|p_i0_o2_n43  
         -F_m2x2_d1|p_i0_o2_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1  
         -F_m2x2_d1|p_i0_o2_n44  
         -F_m3x3_d1|p_i0_o2_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1  
         -F_m3x3_d1|p_i0_o2_n45  
         -F_v2_d2|p_i0_o2_n47      (F_v2_d2) -> (F_v2_d2) -> F_v2_d2  
         -F_v2_d2|p_i0_o2_n47  
         -F_v3_d2|p_i0_o2_n48      (F_v3_d2) -> (F_v3_d2) -> F_v3_d2  
         -F_v3_d2|p_i0_o2_n48  
         -F_v4_d2|p_i0_o2_n49      (F_v4_d2) -> (F_v4_d2) -> F_v4_d2  
         -F_v4_d2|p_i0_o2_n49  
         -F_m2x2_d2|p_i0_o2_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2  
         -F_m2x2_d2|p_i0_o2_n50  
         -F_m3x3_d2|p_i0_o2_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2  
         -F_m3x3_d2|p_i0_o2_n51  
         -F_v2_d3|p_i0_o2_n53      (F_v2_d3) -> (F_v2_d3) -> F_v2_d3  
         -F_v2_d3|p_i0_o2_n53  
         -F_v3_d3|p_i0_o2_n54      (F_v3_d3) -> (F_v3_d3) -> F_v3_d3  
         -F_v3_d3|p_i0_o2_n54  
         -F_v4_d3|p_i0_o2_n55      (F_v4_d3) -> (F_v4_d3) -> F_v4_d3  
         -F_v4_d3|p_i0_o2_n55  
         -F_m2x2_d3|p_i0_o2_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3  
         -F_m2x2_d3|p_i0_o2_n56  
         -F_m3x3_d3|p_i0_o2_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3  
         -F_m3x3_d3|p_i0_o2_n57  
   
  trace_neg |0_3  
         -T_m2x2|p_i0_o3_n4        (T_m2x2) -> (T_m2x2) -> T_s  
         -T_m2x2|p_i0_o3_n4  
         -T_m3x3|p_i0_o3_n8        (T_m3x3) -> (T_m3x3) -> T_s  
         -T_m3x3|p_i0_o3_n8  
         -F_m2x2_d1|p_i0_o3_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1  
         -F_m2x2_d1|p_i0_o3_n44  
         -F_m3x3_d1|p_i0_o3_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1  
         -F_m3x3_d1|p_i0_o3_n45  
         -F_m2x2_d2|p_i0_o3_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2  
         -F_m2x2_d2|p_i0_o3_n50  
         -F_m3x3_d2|p_i0_o3_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2  
         -F_m3x3_d2|p_i0_o3_n51  
         -F_m2x2_d3|p_i0_o3_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3  
         -F_m2x2_d3|p_i0_o3_n56  
         -F_m3x3_d3|p_i0_o3_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3  
         -F_m3x3_d3|p_i0_o3_n57  
   
  transpose_neg |0_4  
         -T_m2x2|p_i0_o4_n4        (T_m2x2) -> (T_m2x2) -> T_m2x2  
         -T_m2x2|p_i0_o4_n4  
         -T_m3x3|p_i0_o4_n8        (T_m3x3) -> (T_m3x3) -> T_m3x3  
         -T_m3x3|p_i0_o4_n8  
         -T_m4x4|p_i0_o4_n12       (T_m4x4) -> (T_m4x4) -> T_m4x4  
         -T_m4x4|p_i0_o4_n12  
         -F_m2x2_d1|p_i0_o4_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1  
         -F_m2x2_d1|p_i0_o4_n44  
         -F_m3x3_d1|p_i0_o4_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1  
         -F_m3x3_d1|p_i0_o4_n45  
         -F_m2x2_d2|p_i0_o4_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2  
         -F_m2x2_d2|p_i0_o4_n50  
         -F_m3x3_d2|p_i0_o4_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2  
         -F_m3x3_d2|p_i0_o4_n51  
         -F_m2x2_d3|p_i0_o4_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3  
         -F_m2x2_d3|p_i0_o4_n56  
         -F_m3x3_d3|p_i0_o4_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3  
         -F_m3x3_d3|p_i0_o4_n57  
   
  det_neg |0_5  
         -T_m2x2|p_i0_o5_n4        (T_m2x2) -> (T_m2x2) -> T_s  
         -T_m2x2|p_i0_o5_n4  
         -T_m3x3|p_i0_o5_n8        (T_m3x3) -> (T_m3x3) -> T_s  
         -T_m3x3|p_i0_o5_n8  
         -F_m2x2_d1|p_i0_o5_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_s_d1  
         -F_m2x2_d1|p_i0_o5_n44  
         -F_m3x3_d1|p_i0_o5_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_s_d1  
         -F_m3x3_d1|p_i0_o5_n45  
         -F_m2x2_d2|p_i0_o5_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_s_d2  
         -F_m2x2_d2|p_i0_o5_n50  
         -F_m3x3_d2|p_i0_o5_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_s_d2  
         -F_m3x3_d2|p_i0_o5_n51  
         -F_m2x2_d3|p_i0_o5_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_s_d3  
         -F_m2x2_d3|p_i0_o5_n56  
         -F_m3x3_d3|p_i0_o5_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_s_d3  
         -F_m3x3_d3|p_i0_o5_n57  
   
  probe_neg |0_6  
         -T_s|p_i0_o6_n0   (T_s) -> (T_s) -> T_s  
         -T_s|p_i0_o6_n0  
         -T_v2|p_i0_o6_n1          (T_v2) -> (T_v2) -> T_v2  
         -T_v2|p_i0_o6_n1  
         -T_v3|p_i0_o6_n2          (T_v3) -> (T_v3) -> T_v3  
         -T_v3|p_i0_o6_n2  
         -T_v4|p_i0_o6_n3          (T_v4) -> (T_v4) -> T_v4  
         -T_v4|p_i0_o6_n3  
         -T_m2x2|p_i0_o6_n4        (T_m2x2) -> (T_m2x2) -> T_m2x2  
         -T_m2x2|p_i0_o6_n4  
         -T_m2x3|p_i0_o6_n5        (T_m2x3) -> (T_m2x3) -> T_m2x3  
         -T_m2x3|p_i0_o6_n5  
         -T_m2x4|p_i0_o6_n6        (T_m2x4) -> (T_m2x4) -> T_m2x4  
         -T_m2x4|p_i0_o6_n6  
         -T_m3x2|p_i0_o6_n7        (T_m3x2) -> (T_m3x2) -> T_m3x2  
         -T_m3x2|p_i0_o6_n7  
         -T_m3x3|p_i0_o6_n8        (T_m3x3) -> (T_m3x3) -> T_m3x3  
         -T_m3x3|p_i0_o6_n8  
         -T_m3x4|p_i0_o6_n9        (T_m3x4) -> (T_m3x4) -> T_m3x4  
         -T_m3x4|p_i0_o6_n9  
         -T_m4x2|p_i0_o6_n10       (T_m4x2) -> (T_m4x2) -> T_m4x2  
         -T_m4x2|p_i0_o6_n10  
         -T_m4x3|p_i0_o6_n11       (T_m4x3) -> (T_m4x3) -> T_m4x3  
         -T_m4x3|p_i0_o6_n11  
         -T_m4x4|p_i0_o6_n12       (T_m4x4) -> (T_m4x4) -> T_m4x4  
         -T_m4x4|p_i0_o6_n12  
         -T_t2x2x2|p_i0_o6_n13     (T_t2x2x2) -> (T_t2x2x2) -> T_t2x2x2  
         -T_t2x2x2|p_i0_o6_n13  
         -T_t2x2x3|p_i0_o6_n14     (T_t2x2x3) -> (T_t2x2x3) -> T_t2x2x3  
         -T_t2x2x3|p_i0_o6_n14  
         -T_t2x2x4|p_i0_o6_n15     (T_t2x2x4) -> (T_t2x2x4) -> T_t2x2x4  
         -T_t2x2x4|p_i0_o6_n15  
         -T_t2x3x2|p_i0_o6_n16     (T_t2x3x2) -> (T_t2x3x2) -> T_t2x3x2  
         -T_t2x3x2|p_i0_o6_n16  
         -T_t2x3x3|p_i0_o6_n17     (T_t2x3x3) -> (T_t2x3x3) -> T_t2x3x3  
         -T_t2x3x3|p_i0_o6_n17  
         -T_t2x3x4|p_i0_o6_n18     (T_t2x3x4) -> (T_t2x3x4) -> T_t2x3x4  
         -T_t2x3x4|p_i0_o6_n18  
         -T_t2x4x2|p_i0_o6_n19     (T_t2x4x2) -> (T_t2x4x2) -> T_t2x4x2  
         -T_t2x4x2|p_i0_o6_n19  
         -T_t2x4x3|p_i0_o6_n20     (T_t2x4x3) -> (T_t2x4x3) -> T_t2x4x3  
         -T_t2x4x3|p_i0_o6_n20  
         -T_t2x4x4|p_i0_o6_n21     (T_t2x4x4) -> (T_t2x4x4) -> T_t2x4x4  
         -T_t2x4x4|p_i0_o6_n21  
         -T_t3x2x2|p_i0_o6_n22     (T_t3x2x2) -> (T_t3x2x2) -> T_t3x2x2  
         -T_t3x2x2|p_i0_o6_n22  
         -T_t3x2x3|p_i0_o6_n23     (T_t3x2x3) -> (T_t3x2x3) -> T_t3x2x3  
         -T_t3x2x3|p_i0_o6_n23  
         -T_t3x2x4|p_i0_o6_n24     (T_t3x2x4) -> (T_t3x2x4) -> T_t3x2x4  
         -T_t3x2x4|p_i0_o6_n24  
         -T_t3x3x2|p_i0_o6_n25     (T_t3x3x2) -> (T_t3x3x2) -> T_t3x3x2  
         -T_t3x3x2|p_i0_o6_n25  
         -T_t3x3x3|p_i0_o6_n26     (T_t3x3x3) -> (T_t3x3x3) -> T_t3x3x3  
         -T_t3x3x3|p_i0_o6_n26  
         -T_t3x3x4|p_i0_o6_n27     (T_t3x3x4) -> (T_t3x3x4) -> T_t3x3x4  
         -T_t3x3x4|p_i0_o6_n27  
         -T_t3x4x2|p_i0_o6_n28     (T_t3x4x2) -> (T_t3x4x2) -> T_t3x4x2  
         -T_t3x4x2|p_i0_o6_n28  
         -T_t3x4x3|p_i0_o6_n29     (T_t3x4x3) -> (T_t3x4x3) -> T_t3x4x3  
         -T_t3x4x3|p_i0_o6_n29  
         -T_t3x4x4|p_i0_o6_n30     (T_t3x4x4) -> (T_t3x4x4) -> T_t3x4x4  
         -T_t3x4x4|p_i0_o6_n30  
         -T_t4x2x2|p_i0_o6_n31     (T_t4x2x2) -> (T_t4x2x2) -> T_t4x2x2  
         -T_t4x2x2|p_i0_o6_n31  
         -T_t4x2x3|p_i0_o6_n32     (T_t4x2x3) -> (T_t4x2x3) -> T_t4x2x3  
         -T_t4x2x3|p_i0_o6_n32  
         -T_t4x2x4|p_i0_o6_n33     (T_t4x2x4) -> (T_t4x2x4) -> T_t4x2x4  
         -T_t4x2x4|p_i0_o6_n33  
         -T_t4x3x2|p_i0_o6_n34     (T_t4x3x2) -> (T_t4x3x2) -> T_t4x3x2  
         -T_t4x3x2|p_i0_o6_n34  
         -T_t4x3x3|p_i0_o6_n35     (T_t4x3x3) -> (T_t4x3x3) -> T_t4x3x3  
         -T_t4x3x3|p_i0_o6_n35  
         -T_t4x3x4|p_i0_o6_n36     (T_t4x3x4) -> (T_t4x3x4) -> T_t4x3x4  
         -T_t4x3x4|p_i0_o6_n36  
         -T_t4x4x2|p_i0_o6_n37     (T_t4x4x2) -> (T_t4x4x2) -> T_t4x4x2  
         -T_t4x4x2|p_i0_o6_n37  
         -T_t4x4x3|p_i0_o6_n38     (T_t4x4x3) -> (T_t4x4x3) -> T_t4x4x3  
         -T_t4x4x3|p_i0_o6_n38  
         -T_t4x4x4|p_i0_o6_n39     (T_t4x4x4) -> (T_t4x4x4) -> T_t4x4x4  
         -T_t4x4x4|p_i0_o6_n39  
         -F_s_d1|p_i0_o6_n40       (F_s_d1) -> (F_s_d1) -> F_s_d1  
         -F_s_d1|p_i0_o6_n40  
         -F_v2_d1|p_i0_o6_n41      (F_v2_d1) -> (F_v2_d1) -> F_v2_d1  
         -F_v2_d1|p_i0_o6_n41  
         -F_v3_d1|p_i0_o6_n42      (F_v3_d1) -> (F_v3_d1) -> F_v3_d1  
         -F_v3_d1|p_i0_o6_n42  
         -F_v4_d1|p_i0_o6_n43      (F_v4_d1) -> (F_v4_d1) -> F_v4_d1  
         -F_v4_d1|p_i0_o6_n43  
         -F_m2x2_d1|p_i0_o6_n44    (F_m2x2_d1) -> (F_m2x2_d1) -> F_m2x2_d1  
         -F_m2x2_d1|p_i0_o6_n44  
         -F_m3x3_d1|p_i0_o6_n45    (F_m3x3_d1) -> (F_m3x3_d1) -> F_m3x3_d1  
         -F_m3x3_d1|p_i0_o6_n45  
         -F_s_d2|p_i0_o6_n46       (F_s_d2) -> (F_s_d2) -> F_s_d2  
         -F_s_d2|p_i0_o6_n46  
         -F_v2_d2|p_i0_o6_n47      (F_v2_d2) -> (F_v2_d2) -> F_v2_d2  
         -F_v2_d2|p_i0_o6_n47  
         -F_v3_d2|p_i0_o6_n48      (F_v3_d2) -> (F_v3_d2) -> F_v3_d2  
         -F_v3_d2|p_i0_o6_n48  
         -F_v4_d2|p_i0_o6_n49      (F_v4_d2) -> (F_v4_d2) -> F_v4_d2  
         -F_v4_d2|p_i0_o6_n49  
         -F_m2x2_d2|p_i0_o6_n50    (F_m2x2_d2) -> (F_m2x2_d2) -> F_m2x2_d2  
         -F_m2x2_d2|p_i0_o6_n50  
         -F_m3x3_d2|p_i0_o6_n51    (F_m3x3_d2) -> (F_m3x3_d2) -> F_m3x3_d2  
         -F_m3x3_d2|p_i0_o6_n51  
         -F_s_d3|p_i0_o6_n52       (F_s_d3) -> (F_s_d3) -> F_s_d3  
         -F_s_d3|p_i0_o6_n52  
         -F_v2_d3|p_i0_o6_n53      (F_v2_d3) -> (F_v2_d3) -> F_v2_d3  
         -F_v2_d3|p_i0_o6_n53  
         -F_v3_d3|p_i0_o6_n54      (F_v3_d3) -> (F_v3_d3) -> F_v3_d3  
         -F_v3_d3|p_i0_o6_n54  
         -F_v4_d3|p_i0_o6_n55      (F_v4_d3) -> (F_v4_d3) -> F_v4_d3  
         -F_v4_d3|p_i0_o6_n55  
         -F_m2x2_d3|p_i0_o6_n56    (F_m2x2_d3) -> (F_m2x2_d3) -> F_m2x2_d3  
         -F_m2x2_d3|p_i0_o6_n56  
         -F_m3x3_d3|p_i0_o6_n57    (F_m3x3_d3) -> (F_m3x3_d3) -> F_m3x3_d3  
         -F_m3x3_d3|p_i0_o6_n57  
   
  grad_neg |0_7  
         -F_s_d1|p_i0_o7_n40       (F_s_d1) -> (F_s_d1) -> F_s_d1  
         -F_s_d1|p_i0_o7_n40  
         -F_s_d2|p_i0_o7_n46       (F_s_d2) -> (F_s_d2) -> F_v2_d2  
         -F_s_d2|p_i0_o7_n46  
         -F_s_d3|p_i0_o7_n52       (F_s_d3) -> (F_s_d3) -> F_v3_d3  
         -F_s_d3|p_i0_o7_n52  
   
  div_neg |0_8  
         -F_v2_d2|p_i0_o8_n47      (F_v2_d2) -> (F_v2_d2) -> F_s_d2  
         -F_v2_d2|p_i0_o8_n47  
         -F_v3_d3|p_i0_o8_n54      (F_v3_d3) -> (F_v3_d3) -> F_s_d3  
         -F_v3_d3|p_i0_o8_n54  
   
  curl_neg |0_9  
         -F_v2_d2|p_i0_o9_n47      (F_v2_d2) -> (F_v2_d2) -> F_s_d2  
         -F_v2_d2|p_i0_o9_n47  
         -F_v3_d3|p_i0_o9_n54      (F_v3_d3) -> (F_v3_d3) -> F_v3_d3  
         -F_v3_d3|p_i0_o9_n54  
   
  jacob_neg |0_10  
         -F_v2_d2|p_i0_o10_n47     (F_v2_d2) -> (F_v2_d2) -> F_m2x2_d2  
         -F_v2_d2|p_i0_o10_n47  
         -F_m2x2_d2|p_i0_o10_n50   (F_m2x2_d2) -> (F_m2x2_d2) -> F_t2x2x2_d2  
         -F_m2x2_d2|p_i0_o10_n50  
         -F_v3_d3|p_i0_o10_n54     (F_v3_d3) -> (F_v3_d3) -> F_m3x3_d3  
         -F_v3_d3|p_i0_o10_n54  
         -F_m3x3_d3|p_i0_o10_n57   (F_m3x3_d3) -> (F_m3x3_d3) -> F_t3x3x3_d3  
         -F_m3x3_d3|p_i0_o10_n57  
   
  slicem0_neg |0_11  
         -T_m2x2|p_i0_o11_n4       (T_m2x2) -> (T_m2x2) -> T_v2  
         -T_m2x2|p_i0_o11_n4  
         -T_m2x3|p_i0_o11_n5       (T_m2x3) -> (T_m2x3) -> T_v3  
         -T_m2x3|p_i0_o11_n5  
         -T_m3x2|p_i0_o11_n7       (T_m3x2) -> (T_m3x2) -> T_v2  
         -T_m3x2|p_i0_o11_n7  
         -T_m3x3|p_i0_o11_n8       (T_m3x3) -> (T_m3x3) -> T_v3  
         -T_m3x3|p_i0_o11_n8  
         -T_m4x2|p_i0_o11_n10      (T_m4x2) -> (T_m4x2) -> T_v2  
         -T_m4x2|p_i0_o11_n10  
         -T_m4x3|p_i0_o11_n11      (T_m4x3) -> (T_m4x3) -> T_v3  
         -T_m4x3|p_i0_o11_n11  
         -F_m2x2_d1|p_i0_o11_n44   (F_m2x2_d1) -> (F_m2x2_d1) -> F_v2_d1  
         -F_m2x2_d1|p_i0_o11_n44  
         -F_m3x3_d1|p_i0_o11_n45   (F_m3x3_d1) -> (F_m3x3_d1) -> F_v3_d1  
         -F_m3x3_d1|p_i0_o11_n45  
         -F_m2x2_d2|p_i0_o11_n50   (F_m2x2_d2) -> (F_m2x2_d2) -> F_v2_d2  
         -F_m2x2_d2|p_i0_o11_n50  
         -F_m3x3_d2|p_i0_o11_n51   (F_m3x3_d2) -> (F_m3x3_d2) -> F_v3_d2  
         -F_m3x3_d2|p_i0_o11_n51  
   
  inner product_inner product |21_21  
         -T_v2,T_m2x2,T_v2|  
         -T_v2,T_m2x2,F_v2_d1|  
         -T_v2,T_m2x2,F_v2_d2|  
         -T_v2,T_m2x2,F_v2_d3|  
         -T_v2,F_m2x2_d1,T_v2|  
         -T_v2,F_m2x2_d1,F_v2_d1|  
         -T_v2,F_m2x2_d2,T_v2|  
         -T_v2,F_m2x2_d2,F_v2_d2|  
         -T_v2,F_m2x2_d3,T_v2|  
         -T_v2,F_m2x2_d3,F_v2_d3|  
         -F_v2_d1,T_m2x2,T_v2|  
         -F_v2_d1,T_m2x2,F_v2_d1|  
         -F_v2_d1,F_m2x2_d1,T_v2|  
         -F_v2_d1,F_m2x2_d1,F_v2_d1|  
         -F_v2_d2,T_m2x2,T_v2|  
         -F_v2_d2,T_m2x2,F_v2_d2|  
         -F_v2_d2,F_m2x2_d2,T_v2|  
         -F_v2_d2,F_m2x2_d2,F_v2_d2|  
         -F_v2_d3,T_m2x2,T_v2|  
         -F_v2_d3,T_m2x2,F_v2_d3|  
         -F_v2_d3,F_m2x2_d3,T_v2|  
         -F_v2_d3,F_m2x2_d3,F_v2_d3|  
         -T_v2,T_m2x2,T_m2x2|  
         -T_v2,T_m2x2,F_m2x2_d1|  
         -T_v2,T_m2x2,F_m2x2_d2|  
         -T_v2,T_m2x2,F_m2x2_d3|  
         -T_v2,F_m2x2_d1,T_m2x2|  
         -T_v2,F_m2x2_d1,F_m2x2_d1|  
         -T_v2,F_m2x2_d2,T_m2x2|  
         -T_v2,F_m2x2_d2,F_m2x2_d2|  
         -T_v2,F_m2x2_d3,T_m2x2|  
         -T_v2,F_m2x2_d3,F_m2x2_d3|  
         -F_v2_d1,T_m2x2,T_m2x2|  
         -F_v2_d1,T_m2x2,F_m2x2_d1|  
         -F_v2_d1,F_m2x2_d1,T_m2x2|  
         -F_v2_d1,F_m2x2_d1,F_m2x2_d1|  
         -F_v2_d2,T_m2x2,T_m2x2|  
         -F_v2_d2,T_m2x2,F_m2x2_d2|  
         -F_v2_d2,F_m2x2_d2,T_m2x2|  
         -F_v2_d2,F_m2x2_d2,F_m2x2_d2|  
         -F_v2_d3,T_m2x2,T_m2x2|  
         -F_v2_d3,T_m2x2,F_m2x2_d3|  
         -F_v2_d3,F_m2x2_d3,T_m2x2|  
         -F_v2_d3,F_m2x2_d3,F_m2x2_d3|  
         -T_v2,T_m2x2,T_m2x3|  
         -T_v2,F_m2x2_d1,T_m2x3|  
         -T_v2,F_m2x2_d2,T_m2x3|  
         -T_v2,F_m2x2_d3,T_m2x3|  
         -F_v2_d1,T_m2x2,T_m2x3|  
         -F_v2_d1,F_m2x2_d1,T_m2x3|  
         -F_v2_d2,T_m2x2,T_m2x3|  
         -F_v2_d2,F_m2x2_d2,T_m2x3|  
         -F_v2_d3,T_m2x2,T_m2x3|  
         -F_v2_d3,F_m2x2_d3,T_m2x3|  
         -T_v2,T_m2x2,T_m2x4|  
         -T_v2,F_m2x2_d1,T_m2x4|  
         -T_v2,F_m2x2_d2,T_m2x4|  
         -T_v2,F_m2x2_d3,T_m2x4|  
         -F_v2_d1,T_m2x2,T_m2x4|  
         -F_v2_d1,F_m2x2_d1,T_m2x4|  
         -F_v2_d2,T_m2x2,T_m2x4|  
         -F_v2_d2,F_m2x2_d2,T_m2x4|  
         -F_v2_d3,T_m2x2,T_m2x4|  
         -F_v2_d3,F_m2x2_d3,T_m2x4|  
         -T_v2,T_m2x2,T_t2x2x2|  
         -T_v2,F_m2x2_d1,T_t2x2x2|  
         -T_v2,F_m2x2_d2,T_t2x2x2|  
         -T_v2,F_m2x2_d3,T_t2x2x2|  
         -F_v2_d1,T_m2x2,T_t2x2x2|  
         -F_v2_d1,F_m2x2_d1,T_t2x2x2|  
         -F_v2_d2,T_m2x2,T_t2x2x2|  
         -F_v2_d2,F_m2x2_d2,T_t2x2x2|  
         -F_v2_d3,T_m2x2,T_t2x2x2|  
         -F_v2_d3,F_m2x2_d3,T_t2x2x2|  
         -T_v2,T_m2x2,T_t2x2x3|  
         -T_v2,F_m2x2_d1,T_t2x2x3|  
         -T_v2,F_m2x2_d2,T_t2x2x3|  
         -T_v2,F_m2x2_d3,T_t2x2x3|  
         -F_v2_d1,T_m2x2,T_t2x2x3|  
         -F_v2_d1,F_m2x2_d1,T_t2x2x3|  
         -F_v2_d2,T_m2x2,T_t2x2x3|  
         -F_v2_d2,F_m2x2_d2,T_t2x2x3|  
         -F_v2_d3,T_m2x2,T_t2x2x3|  
         -F_v2_d3,F_m2x2_d3,T_t2x2x3|  
         -T_v2,T_m2x2,T_t2x2x4|  
         -T_v2,F_m2x2_d1,T_t2x2x4|  
         -T_v2,F_m2x2_d2,T_t2x2x4|  
         -T_v2,F_m2x2_d3,T_t2x2x4|  
         -F_v2_d1,T_m2x2,T_t2x2x4|  
         -F_v2_d1,F_m2x2_d1,T_t2x2x4|  
         -F_v2_d2,T_m2x2,T_t2x2x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x2x4|  
         -F_v2_d3,T_m2x2,T_t2x2x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x2x4|  
         -T_v2,T_m2x2,T_t2x3x2|  
         -T_v2,F_m2x2_d1,T_t2x3x2|  
         -T_v2,F_m2x2_d2,T_t2x3x2|  
         -T_v2,F_m2x2_d3,T_t2x3x2|  
         -F_v2_d1,T_m2x2,T_t2x3x2|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x2|  
         -F_v2_d2,T_m2x2,T_t2x3x2|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x2|  
         -F_v2_d3,T_m2x2,T_t2x3x2|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x2|  
         -T_v2,T_m2x2,T_t2x3x3|  
         -T_v2,F_m2x2_d1,T_t2x3x3|  
         -T_v2,F_m2x2_d2,T_t2x3x3|  
         -T_v2,F_m2x2_d3,T_t2x3x3|  
         -F_v2_d1,T_m2x2,T_t2x3x3|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x3|  
         -F_v2_d2,T_m2x2,T_t2x3x3|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x3|  
         -F_v2_d3,T_m2x2,T_t2x3x3|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x3|  
         -T_v2,T_m2x2,T_t2x3x4|  
         -T_v2,F_m2x2_d1,T_t2x3x4|  
         -T_v2,F_m2x2_d2,T_t2x3x4|  
         -T_v2,F_m2x2_d3,T_t2x3x4|  
         -F_v2_d1,T_m2x2,T_t2x3x4|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x4|  
         -F_v2_d2,T_m2x2,T_t2x3x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x4|  
         -F_v2_d3,T_m2x2,T_t2x3x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x4|  
         -T_v2,T_m2x2,T_t2x4x2|  
         -T_v2,F_m2x2_d1,T_t2x4x2|  
         -T_v2,F_m2x2_d2,T_t2x4x2|  
         -T_v2,F_m2x2_d3,T_t2x4x2|  
         -F_v2_d1,T_m2x2,T_t2x4x2|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x2|  
         -F_v2_d2,T_m2x2,T_t2x4x2|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x2|  
         -F_v2_d3,T_m2x2,T_t2x4x2|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x2|  
         -T_v2,T_m2x2,T_t2x4x3|  
         -T_v2,F_m2x2_d1,T_t2x4x3|  
         -T_v2,F_m2x2_d2,T_t2x4x3|  
         -T_v2,F_m2x2_d3,T_t2x4x3|  
         -F_v2_d1,T_m2x2,T_t2x4x3|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x3|  
         -F_v2_d2,T_m2x2,T_t2x4x3|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x3|  
         -F_v2_d3,T_m2x2,T_t2x4x3|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x3|  
         -T_v2,T_m2x2,T_t2x4x4|  
         -T_v2,F_m2x2_d1,T_t2x4x4|  
         -T_v2,F_m2x2_d2,T_t2x4x4|  
         -T_v2,F_m2x2_d3,T_t2x4x4|  
         -F_v2_d1,T_m2x2,T_t2x4x4|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x4|  
         -F_v2_d2,T_m2x2,T_t2x4x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x4|  
         -F_v2_d3,T_m2x2,T_t2x4x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x4|  
   
  inner product_inner product |21_21  
392    
393   inner product_inner product |21_21   addition_outer product |20_17
394          -T_v2,T_m2x2,T_v2|          -T_v2,T_v2,T_m2x2|
395          -T_v2,T_m2x2,F_v2_d1|          -T_v2,T_v2,F_m2x2_d1|
396          -T_v2,T_m2x2,F_v2_d2|          -T_v2,T_v2,F_m2x2_d2|
397          -T_v2,T_m2x2,F_v2_d3|          -T_v2,T_v2,F_m2x2_d3|
398          -T_v2,F_m2x2_d1,T_v2|          -T_v2,F_v2_d1,T_m2x2|
399          -T_v2,F_m2x2_d1,F_v2_d1|          -T_v2,F_v2_d1,F_m2x2_d1|
400          -T_v2,F_m2x2_d2,T_v2|          -T_v2,F_v2_d2,T_m2x2|
401          -T_v2,F_m2x2_d2,F_v2_d2|          -T_v2,F_v2_d2,F_m2x2_d2|
402          -T_v2,F_m2x2_d3,T_v2|          -T_v2,F_v2_d3,T_m2x2|
403          -T_v2,F_m2x2_d3,F_v2_d3|          -T_v2,F_v2_d3,F_m2x2_d3|
404          -F_v2_d1,T_m2x2,T_v2|          -F_v2_d1,T_v2,T_m2x2|
405          -F_v2_d1,T_m2x2,F_v2_d1|          -F_v2_d1,T_v2,F_m2x2_d1|
406          -F_v2_d1,F_m2x2_d1,T_v2|          -F_v2_d1,F_v2_d1,T_m2x2|
407          -F_v2_d1,F_m2x2_d1,F_v2_d1|          -F_v2_d1,F_v2_d1,F_m2x2_d1|
408          -F_v2_d2,T_m2x2,T_v2|          -F_v2_d2,T_v2,T_m2x2|
409          -F_v2_d2,T_m2x2,F_v2_d2|          -F_v2_d2,T_v2,F_m2x2_d2|
410          -F_v2_d2,F_m2x2_d2,T_v2|          -F_v2_d2,F_v2_d2,T_m2x2|
411          -F_v2_d2,F_m2x2_d2,F_v2_d2|          -F_v2_d2,F_v2_d2,F_m2x2_d2|
412          -F_v2_d3,T_m2x2,T_v2|          -F_v2_d3,T_v2,T_m2x2|
413          -F_v2_d3,T_m2x2,F_v2_d3|          -F_v2_d3,T_v2,F_m2x2_d3|
414          -F_v2_d3,F_m2x2_d3,T_v2|          -F_v2_d3,F_v2_d3,T_m2x2|
415          -F_v2_d3,F_m2x2_d3,F_v2_d3|          -F_v2_d3,F_v2_d3,F_m2x2_d3|
416          -T_v2,T_m2x2,T_m2x2|          -T_v2,T_v3,T_m2x3|
417          -T_v2,T_m2x2,F_m2x2_d1|          -T_v2,F_v3_d1,T_m2x3|
418          -T_v2,T_m2x2,F_m2x2_d2|          -T_v2,F_v3_d2,T_m2x3|
419          -T_v2,T_m2x2,F_m2x2_d3|          -T_v2,F_v3_d3,T_m2x3|
420          -T_v2,F_m2x2_d1,T_m2x2|          -F_v2_d1,T_v3,T_m2x3|
421          -T_v2,F_m2x2_d1,F_m2x2_d1|          -F_v2_d1,F_v3_d1,T_m2x3|
422          -T_v2,F_m2x2_d2,T_m2x2|          -F_v2_d2,T_v3,T_m2x3|
423          -T_v2,F_m2x2_d2,F_m2x2_d2|          -F_v2_d2,F_v3_d2,T_m2x3|
424          -T_v2,F_m2x2_d3,T_m2x2|          -F_v2_d3,T_v3,T_m2x3|
425          -T_v2,F_m2x2_d3,F_m2x2_d3|          -F_v2_d3,F_v3_d3,T_m2x3|
426          -F_v2_d1,T_m2x2,T_m2x2|          -T_v2,T_v4,T_m2x4|
427          -F_v2_d1,T_m2x2,F_m2x2_d1|          -T_v2,F_v4_d1,T_m2x4|
428          -F_v2_d1,F_m2x2_d1,T_m2x2|          -T_v2,F_v4_d2,T_m2x4|
429          -F_v2_d1,F_m2x2_d1,F_m2x2_d1|          -T_v2,F_v4_d3,T_m2x4|
430          -F_v2_d2,T_m2x2,T_m2x2|          -F_v2_d1,T_v4,T_m2x4|
431          -F_v2_d2,T_m2x2,F_m2x2_d2|          -F_v2_d1,F_v4_d1,T_m2x4|
432          -F_v2_d2,F_m2x2_d2,T_m2x2|          -F_v2_d2,T_v4,T_m2x4|
433          -F_v2_d2,F_m2x2_d2,F_m2x2_d2|          -F_v2_d2,F_v4_d2,T_m2x4|
434          -F_v2_d3,T_m2x2,T_m2x2|          -F_v2_d3,T_v4,T_m2x4|
435          -F_v2_d3,T_m2x2,F_m2x2_d3|          -F_v2_d3,F_v4_d3,T_m2x4|
         -F_v2_d3,F_m2x2_d3,T_m2x2|  
         -F_v2_d3,F_m2x2_d3,F_m2x2_d3|  
         -T_v2,T_m2x2,T_m2x3|  
         -T_v2,F_m2x2_d1,T_m2x3|  
         -T_v2,F_m2x2_d2,T_m2x3|  
         -T_v2,F_m2x2_d3,T_m2x3|  
         -F_v2_d1,T_m2x2,T_m2x3|  
         -F_v2_d1,F_m2x2_d1,T_m2x3|  
         -F_v2_d2,T_m2x2,T_m2x3|  
         -F_v2_d2,F_m2x2_d2,T_m2x3|  
         -F_v2_d3,T_m2x2,T_m2x3|  
         -F_v2_d3,F_m2x2_d3,T_m2x3|  
         -T_v2,T_m2x2,T_m2x4|  
         -T_v2,F_m2x2_d1,T_m2x4|  
         -T_v2,F_m2x2_d2,T_m2x4|  
         -T_v2,F_m2x2_d3,T_m2x4|  
         -F_v2_d1,T_m2x2,T_m2x4|  
         -F_v2_d1,F_m2x2_d1,T_m2x4|  
         -F_v2_d2,T_m2x2,T_m2x4|  
         -F_v2_d2,F_m2x2_d2,T_m2x4|  
         -F_v2_d3,T_m2x2,T_m2x4|  
         -F_v2_d3,F_m2x2_d3,T_m2x4|  
436          -T_v2,T_m2x2,T_t2x2x2|          -T_v2,T_m2x2,T_t2x2x2|
437          -T_v2,F_m2x2_d1,T_t2x2x2|          -T_v2,F_m2x2_d1,T_t2x2x2|
438          -T_v2,F_m2x2_d2,T_t2x2x2|          -T_v2,F_m2x2_d2,T_t2x2x2|
# Line 807  Line 443 
443          -F_v2_d2,F_m2x2_d2,T_t2x2x2|          -F_v2_d2,F_m2x2_d2,T_t2x2x2|
444          -F_v2_d3,T_m2x2,T_t2x2x2|          -F_v2_d3,T_m2x2,T_t2x2x2|
445          -F_v2_d3,F_m2x2_d3,T_t2x2x2|          -F_v2_d3,F_m2x2_d3,T_t2x2x2|
446          -T_v2,T_m2x2,T_t2x2x3|          -T_v2,T_m2x3,T_t2x2x3|
447          -T_v2,F_m2x2_d1,T_t2x2x3|          -F_v2_d1,T_m2x3,T_t2x2x3|
448          -T_v2,F_m2x2_d2,T_t2x2x3|          -F_v2_d2,T_m2x3,T_t2x2x3|
449          -T_v2,F_m2x2_d3,T_t2x2x3|          -F_v2_d3,T_m2x3,T_t2x2x3|
450          -F_v2_d1,T_m2x2,T_t2x2x3|          -T_v2,T_m2x4,T_t2x2x4|
451          -F_v2_d1,F_m2x2_d1,T_t2x2x3|          -F_v2_d1,T_m2x4,T_t2x2x4|
452          -F_v2_d2,T_m2x2,T_t2x2x3|          -F_v2_d2,T_m2x4,T_t2x2x4|
453          -F_v2_d2,F_m2x2_d2,T_t2x2x3|          -F_v2_d3,T_m2x4,T_t2x2x4|
454          -F_v2_d3,T_m2x2,T_t2x2x3|          -T_v2,T_m3x2,T_t2x3x2|
455          -F_v2_d3,F_m2x2_d3,T_t2x2x3|          -F_v2_d1,T_m3x2,T_t2x3x2|
456          -T_v2,T_m2x2,T_t2x2x4|          -F_v2_d2,T_m3x2,T_t2x3x2|
457          -T_v2,F_m2x2_d1,T_t2x2x4|          -F_v2_d3,T_m3x2,T_t2x3x2|
458          -T_v2,F_m2x2_d2,T_t2x2x4|          -T_v2,T_m3x3,T_t2x3x3|
459          -T_v2,F_m2x2_d3,T_t2x2x4|          -T_v2,F_m3x3_d1,T_t2x3x3|
460          -F_v2_d1,T_m2x2,T_t2x2x4|          -T_v2,F_m3x3_d2,T_t2x3x3|
461          -F_v2_d1,F_m2x2_d1,T_t2x2x4|          -T_v2,F_m3x3_d3,T_t2x3x3|
         -F_v2_d2,T_m2x2,T_t2x2x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x2x4|  
         -F_v2_d3,T_m2x2,T_t2x2x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x2x4|  
         -T_v2,T_m2x2,T_t2x3x2|  
         -T_v2,F_m2x2_d1,T_t2x3x2|  
         -T_v2,F_m2x2_d2,T_t2x3x2|  
         -T_v2,F_m2x2_d3,T_t2x3x2|  
         -F_v2_d1,T_m2x2,T_t2x3x2|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x2|  
         -F_v2_d2,T_m2x2,T_t2x3x2|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x2|  
         -F_v2_d3,T_m2x2,T_t2x3x2|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x2|  
         -T_v2,T_m2x2,T_t2x3x3|  
         -T_v2,F_m2x2_d1,T_t2x3x3|  
         -T_v2,F_m2x2_d2,T_t2x3x3|  
         -T_v2,F_m2x2_d3,T_t2x3x3|  
         -F_v2_d1,T_m2x2,T_t2x3x3|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x3|  
         -F_v2_d2,T_m2x2,T_t2x3x3|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x3|  
         -F_v2_d3,T_m2x2,T_t2x3x3|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x3|  
         -T_v2,T_m2x2,T_t2x3x4|  
         -T_v2,F_m2x2_d1,T_t2x3x4|  
         -T_v2,F_m2x2_d2,T_t2x3x4|  
         -T_v2,F_m2x2_d3,T_t2x3x4|  
         -F_v2_d1,T_m2x2,T_t2x3x4|  
         -F_v2_d1,F_m2x2_d1,T_t2x3x4|  
         -F_v2_d2,T_m2x2,T_t2x3x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x3x4|  
         -F_v2_d3,T_m2x2,T_t2x3x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x3x4|  
         -T_v2,T_m2x2,T_t2x4x2|  
         -T_v2,F_m2x2_d1,T_t2x4x2|  
         -T_v2,F_m2x2_d2,T_t2x4x2|  
         -T_v2,F_m2x2_d3,T_t2x4x2|  
         -F_v2_d1,T_m2x2,T_t2x4x2|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x2|  
         -F_v2_d2,T_m2x2,T_t2x4x2|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x2|  
         -F_v2_d3,T_m2x2,T_t2x4x2|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x2|  
         -T_v2,T_m2x2,T_t2x4x3|  
         -T_v2,F_m2x2_d1,T_t2x4x3|  
         -T_v2,F_m2x2_d2,T_t2x4x3|  
         -T_v2,F_m2x2_d3,T_t2x4x3|  
         -F_v2_d1,T_m2x2,T_t2x4x3|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x3|  
         -F_v2_d2,T_m2x2,T_t2x4x3|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x3|  
         -F_v2_d3,T_m2x2,T_t2x4x3|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x3|  
         -T_v2,T_m2x2,T_t2x4x4|  
         -T_v2,F_m2x2_d1,T_t2x4x4|  
         -T_v2,F_m2x2_d2,T_t2x4x4|  
         -T_v2,F_m2x2_d3,T_t2x4x4|  
         -F_v2_d1,T_m2x2,T_t2x4x4|  
         -F_v2_d1,F_m2x2_d1,T_t2x4x4|  
         -F_v2_d2,T_m2x2,T_t2x4x4|  
         -F_v2_d2,F_m2x2_d2,T_t2x4x4|  
         -F_v2_d3,T_m2x2,T_t2x4x4|  
         -F_v2_d3,F_m2x2_d3,T_t2x4x4|  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_s|  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_v2|  
         -T_v2,T_m2x2,F_v2_d1|  
         -T_v2,T_m2x2,F_v2_d2|  
         -T_v2,T_m2x2,F_v2_d3|  
         -T_v2,F_m2x2_d1,T_v2|  
         -T_v2,F_m2x2_d1,F_v2_d1|  
         -T_v2,F_m2x2_d2,T_v2|  
         -T_v2,F_m2x2_d2,F_v2_d2|  
         -T_v2,F_m2x2_d3,T_v2|  
         -T_v2,F_m2x2_d3,F_v2_d3|  
         -F_v2_d1,T_m2x2,T_v2|  
         -F_v2_d1,T_m2x2,F_v2_d1|  
         -F_v2_d1,F_m2x2_d1,T_v2|  
         -F_v2_d1,F_m2x2_d1,F_v2_d1|  
         -F_v2_d2,T_m2x2,T_v2|  
         -F_v2_d2,T_m2x2,F_v2_d2|  
         -F_v2_d2,F_m2x2_d2,T_v2|  
         -F_v2_d2,F_m2x2_d2,F_v2_d2|  
         -F_v2_d3,T_m2x2,T_v2|  
         -F_v2_d3,T_m2x2,F_v2_d3|  
         -F_v2_d3,F_m2x2_d3,T_v2|  
         -F_v2_d3,F_m2x2_d3,F_v2_d3|  
         -T_v2,T_m2x2,T_v3|  
         -T_v2,T_m2x2,F_v3_d1|  
         -T_v2,T_m2x2,F_v3_d2|  
         -T_v2,T_m2x2,F_v3_d3|  
         -T_v2,F_m2x2_d1,T_v3|  
         -T_v2,F_m2x2_d1,F_v3_d1|  
         -T_v2,F_m2x2_d2,T_v3|  
         -T_v2,F_m2x2_d2,F_v3_d2|  
         -T_v2,F_m2x2_d3,T_v3|  
         -T_v2,F_m2x2_d3,F_v3_d3|  
         -F_v2_d1,T_m2x2,T_v3|  
         -F_v2_d1,T_m2x2,F_v3_d1|  
         -F_v2_d1,F_m2x2_d1,T_v3|  
         -F_v2_d1,F_m2x2_d1,F_v3_d1|  
         -F_v2_d2,T_m2x2,T_v3|  
         -F_v2_d2,T_m2x2,F_v3_d2|  
         -F_v2_d2,F_m2x2_d2,T_v3|  
         -F_v2_d2,F_m2x2_d2,F_v3_d2|  
         -F_v2_d3,T_m2x2,T_v3|  
         -F_v2_d3,T_m2x2,F_v3_d3|  
         -F_v2_d3,F_m2x2_d3,T_v3|  
         -F_v2_d3,F_m2x2_d3,F_v3_d3|  
         -T_v2,T_m2x2,T_v4|  
         -T_v2,T_m2x2,F_v4_d1|  
         -T_v2,T_m2x2,F_v4_d2|  
         -T_v2,T_m2x2,F_v4_d3|  
         -T_v2,F_m2x2_d1,T_v4|  
         -T_v2,F_m2x2_d1,F_v4_d1|  
         -T_v2,F_m2x2_d2,T_v4|  
         -T_v2,F_m2x2_d2,F_v4_d2|  
         -T_v2,F_m2x2_d3,T_v4|  
         -T_v2,F_m2x2_d3,F_v4_d3|  
         -F_v2_d1,T_m2x2,T_v4|  
         -F_v2_d1,T_m2x2,F_v4_d1|  
         -F_v2_d1,F_m2x2_d1,T_v4|  
         -F_v2_d1,F_m2x2_d1,F_v4_d1|  
         -F_v2_d2,T_m2x2,T_v4|  
         -F_v2_d2,T_m2x2,F_v4_d2|  
         -F_v2_d2,F_m2x2_d2,T_v4|  
         -F_v2_d2,F_m2x2_d2,F_v4_d2|  
         -F_v2_d3,T_m2x2,T_v4|  
         -F_v2_d3,T_m2x2,F_v4_d3|  
         -F_v2_d3,F_m2x2_d3,T_v4|  
         -F_v2_d3,F_m2x2_d3,F_v4_d3|  
         -T_v2,T_m2x2,T_m2x2|  
         -T_v2,T_m2x2,F_m2x2_d1|  
         -T_v2,T_m2x2,F_m2x2_d2|  
         -T_v2,T_m2x2,F_m2x2_d3|  
         -T_v2,F_m2x2_d1,T_m2x2|  
         -T_v2,F_m2x2_d1,F_m2x2_d1|  
         -T_v2,F_m2x2_d2,T_m2x2|  
         -T_v2,F_m2x2_d2,F_m2x2_d2|  
         -T_v2,F_m2x2_d3,T_m2x2|  
         -T_v2,F_m2x2_d3,F_m2x2_d3|  
         -F_v2_d1,T_m2x2,T_m2x2|  
         -F_v2_d1,T_m2x2,F_m2x2_d1|  
         -F_v2_d1,F_m2x2_d1,T_m2x2|  
         -F_v2_d1,F_m2x2_d1,F_m2x2_d1|  
         -F_v2_d2,T_m2x2,T_m2x2|  
         -F_v2_d2,T_m2x2,F_m2x2_d2|  
         -F_v2_d2,F_m2x2_d2,T_m2x2|  
         -F_v2_d2,F_m2x2_d2,F_m2x2_d2|  
         -F_v2_d3,T_m2x2,T_m2x2|  
         -F_v2_d3,T_m2x2,F_m2x2_d3|  
         -F_v2_d3,F_m2x2_d3,T_m2x2|  
         -F_v2_d3,F_m2x2_d3,F_m2x2_d3|  
         -T_v2,T_m2x2,T_m2x3|  
         -T_v2,F_m2x2_d1,T_m2x3|  
         -T_v2,F_m2x2_d2,T_m2x3|  
         -T_v2,F_m2x2_d3,T_m2x3|  
         -F_v2_d1,T_m2x2,T_m2x3|  
         -F_v2_d1,F_m2x2_d1,T_m2x3|  
         -F_v2_d2,T_m2x2,T_m2x3|  
         -F_v2_d2,F_m2x2_d2,T_m2x3|  
         -F_v2_d3,T_m2x2,T_m2x3|  
         -F_v2_d3,F_m2x2_d3,T_m2x3|  
         -T_v2,T_m2x2,T_m2x4|  
         -T_v2,F_m2x2_d1,T_m2x4|  
         -T_v2,F_m2x2_d2,T_m2x4|  
         -T_v2,F_m2x2_d3,T_m2x4|  
         -F_v2_d1,T_m2x2,T_m2x4|  
         -F_v2_d1,F_m2x2_d1,T_m2x4|  
         -F_v2_d2,T_m2x2,T_m2x4|  
         -F_v2_d2,F_m2x2_d2,T_m2x4|  
         -F_v2_d3,T_m2x2,T_m2x4|  
         -F_v2_d3,F_m2x2_d3,T_m2x4|  
         -T_v2,T_m2x2,T_m3x2|  
         -T_v2,F_m2x2_d1,T_m3x2|  
         -T_v2,F_m2x2_d2,T_m3x2|  
         -T_v2,F_m2x2_d3,T_m3x2|  
         -F_v2_d1,T_m2x2,T_m3x2|  
         -F_v2_d1,F_m2x2_d1,T_m3x2|  
         -F_v2_d2,T_m2x2,T_m3x2|  
         -F_v2_d2,F_m2x2_d2,T_m3x2|  
         -F_v2_d3,T_m2x2,T_m3x2|  
         -F_v2_d3,F_m2x2_d3,T_m3x2|  
         -T_v2,T_m2x2,T_m3x3|  
         -T_v2,T_m2x2,F_m3x3_d1|  
         -T_v2,T_m2x2,F_m3x3_d2|  
         -T_v2,T_m2x2,F_m3x3_d3|  
         -T_v2,F_m2x2_d1,T_m3x3|  
         -T_v2,F_m2x2_d1,F_m3x3_d1|  
         -T_v2,F_m2x2_d2,T_m3x3|  
         -T_v2,F_m2x2_d2,F_m3x3_d2|  
         -T_v2,F_m2x2_d3,T_m3x3|  
         -T_v2,F_m2x2_d3,F_m3x3_d3|  
         -F_v2_d1,T_m2x2,T_m3x3|  
         -F_v2_d1,T_m2x2,F_m3x3_d1|  
         -F_v2_d1,F_m2x2_d1,T_m3x3|  
         -F_v2_d1,F_m2x2_d1,F_m3x3_d1|  
         -F_v2_d2,T_m2x2,T_m3x3|  
         -F_v2_d2,T_m2x2,F_m3x3_d2|  
         -F_v2_d2,F_m2x2_d2,T_m3x3|  
         -F_v2_d2,F_m2x2_d2,F_m3x3_d2|  
         -F_v2_d3,T_m2x2,T_m3x3|  
         -F_v2_d3,T_m2x2,F_m3x3_d3|  
         -F_v2_d3,F_m2x2_d3,T_m3x3|  
         -F_v2_d3,F_m2x2_d3,F_m3x3_d3|  
         -T_v2,T_m2x2,T_m3x4|  
         -T_v2,F_m2x2_d1,T_m3x4|  
         -T_v2,F_m2x2_d2,T_m3x4|  
         -T_v2,F_m2x2_d3,T_m3x4|  
         -F_v2_d1,T_m2x2,T_m3x4|  
         -F_v2_d1,F_m2x2_d1,T_m3x4|  
         -F_v2_d2,T_m2x2,T_m3x4|  
         -F_v2_d2,F_m2x2_d2,T_m3x4|  
         -F_v2_d3,T_m2x2,T_m3x4|  
         -F_v2_d3,F_m2x2_d3,T_m3x4|  
         -T_v2,T_m2x2,T_m4x2|  
         -T_v2,F_m2x2_d1,T_m4x2|  
         -T_v2,F_m2x2_d2,T_m4x2|  
         -T_v2,F_m2x2_d3,T_m4x2|  
         -F_v2_d1,T_m2x2,T_m4x2|  
         -F_v2_d1,F_m2x2_d1,T_m4x2|  
         -F_v2_d2,T_m2x2,T_m4x2|  
         -F_v2_d2,F_m2x2_d2,T_m4x2|  
         -F_v2_d3,T_m2x2,T_m4x2|  
         -F_v2_d3,F_m2x2_d3,T_m4x2|  
         -T_v2,T_m2x2,T_m4x3|  
         -T_v2,F_m2x2_d1,T_m4x3|  
         -T_v2,F_m2x2_d2,T_m4x3|  
         -T_v2,F_m2x2_d3,T_m4x3|  
         -F_v2_d1,T_m2x2,T_m4x3|  
         -F_v2_d1,F_m2x2_d1,T_m4x3|  
         -F_v2_d2,T_m2x2,T_m4x3|  
         -F_v2_d2,F_m2x2_d2,T_m4x3|  
         -F_v2_d3,T_m2x2,T_m4x3|  
         -F_v2_d3,F_m2x2_d3,T_m4x3|  
         -T_v2,T_m2x2,T_m4x4|  
         -T_v2,F_m2x2_d1,T_m4x4|  
         -T_v2,F_m2x2_d2,T_m4x4|  
         -T_v2,F_m2x2_d3,T_m4x4|  
         -F_v2_d1,T_m2x2,T_m4x4|  
         -F_v2_d1,F_m2x2_d1,T_m4x4|  
         -F_v2_d2,T_m2x2,T_m4x4|  
         -F_v2_d2,F_m2x2_d2,T_m4x4|  
         -F_v2_d3,T_m2x2,T_m4x4|  
         -F_v2_d3,F_m2x2_d3,T_m4x4|  
         -T_v2,T_m2x3,T_v2|  
         -T_v2,T_m2x3,F_v2_d1|  
         -T_v2,T_m2x3,F_v2_d2|  
         -T_v2,T_m2x3,F_v2_d3|  
         -F_v2_d1,T_m2x3,T_v2|  
         -F_v2_d1,T_m2x3,F_v2_d1|  
         -F_v2_d2,T_m2x3,T_v2|  
         -F_v2_d2,T_m2x3,F_v2_d2|  
         -F_v2_d3,T_m2x3,T_v2|  
         -F_v2_d3,T_m2x3,F_v2_d3|  
         -T_v2,T_m2x3,T_v3|  
         -T_v2,T_m2x3,F_v3_d1|  
         -T_v2,T_m2x3,F_v3_d2|  
         -T_v2,T_m2x3,F_v3_d3|  
         -F_v2_d1,T_m2x3,T_v3|  
         -F_v2_d1,T_m2x3,F_v3_d1|  
         -F_v2_d2,T_m2x3,T_v3|  
         -F_v2_d2,T_m2x3,F_v3_d2|  
         -F_v2_d3,T_m2x3,T_v3|  
         -F_v2_d3,T_m2x3,F_v3_d3|  
         -T_v2,T_m2x3,T_v4|  
         -T_v2,T_m2x3,F_v4_d1|  
         -T_v2,T_m2x3,F_v4_d2|  
         -T_v2,T_m2x3,F_v4_d3|  
         -F_v2_d1,T_m2x3,T_v4|  
         -F_v2_d1,T_m2x3,F_v4_d1|  
         -F_v2_d2,T_m2x3,T_v4|  
         -F_v2_d2,T_m2x3,F_v4_d2|  
         -F_v2_d3,T_m2x3,T_v4|  
         -F_v2_d3,T_m2x3,F_v4_d3|  
         -T_v2,T_m2x3,T_m2x2|  
         -T_v2,T_m2x3,F_m2x2_d1|  
         -T_v2,T_m2x3,F_m2x2_d2|  
         -T_v2,T_m2x3,F_m2x2_d3|  
         -F_v2_d1,T_m2x3,T_m2x2|  
         -F_v2_d1,T_m2x3,F_m2x2_d1|  
         -F_v2_d2,T_m2x3,T_m2x2|  
         -F_v2_d2,T_m2x3,F_m2x2_d2|  
         -F_v2_d3,T_m2x3,T_m2x2|  
         -F_v2_d3,T_m2x3,F_m2x2_d3|  
         -T_v2,T_m2x3,T_m2x3|  
         -F_v2_d1,T_m2x3,T_m2x3|  
         -F_v2_d2,T_m2x3,T_m2x3|  
         -F_v2_d3,T_m2x3,T_m2x3|  
         -T_v2,T_m2x3,T_m2x4|  
         -F_v2_d1,T_m2x3,T_m2x4|  
         -F_v2_d2,T_m2x3,T_m2x4|  
         -F_v2_d3,T_m2x3,T_m2x4|  
         -T_v2,T_m2x3,T_m3x2|  
         -F_v2_d1,T_m2x3,T_m3x2|  
         -F_v2_d2,T_m2x3,T_m3x2|  
         -F_v2_d3,T_m2x3,T_m3x2|  
         -T_v2,T_m2x3,T_m3x3|  
         -T_v2,T_m2x3,F_m3x3_d1|  
         -T_v2,T_m2x3,F_m3x3_d2|  
         -T_v2,T_m2x3,F_m3x3_d3|  
         -F_v2_d1,T_m2x3,T_m3x3|  
         -F_v2_d1,T_m2x3,F_m3x3_d1|  
         -F_v2_d2,T_m2x3,T_m3x3|  
         -F_v2_d2,T_m2x3,F_m3x3_d2|  
         -F_v2_d3,T_m2x3,T_m3x3|  
         -F_v2_d3,T_m2x3,F_m3x3_d3|  
         -T_v2,T_m2x3,T_m3x4|  
         -F_v2_d1,T_m2x3,T_m3x4|  
         -F_v2_d2,T_m2x3,T_m3x4|  
         -F_v2_d3,T_m2x3,T_m3x4|  
         -T_v2,T_m2x3,T_m4x2|  
         -F_v2_d1,T_m2x3,T_m4x2|  
         -F_v2_d2,T_m2x3,T_m4x2|  
         -F_v2_d3,T_m2x3,T_m4x2|  
         -T_v2,T_m2x3,T_m4x3|  
         -F_v2_d1,T_m2x3,T_m4x3|  
         -F_v2_d2,T_m2x3,T_m4x3|  
         -F_v2_d3,T_m2x3,T_m4x3|  
         -T_v2,T_m2x3,T_m4x4|  
         -F_v2_d1,T_m2x3,T_m4x4|  
         -F_v2_d2,T_m2x3,T_m4x4|  
         -F_v2_d3,T_m2x3,T_m4x4|  
         -T_v2,T_m2x4,T_v2|  
         -T_v2,T_m2x4,F_v2_d1|  
         -T_v2,T_m2x4,F_v2_d2|  
         -T_v2,T_m2x4,F_v2_d3|  
         -F_v2_d1,T_m2x4,T_v2|  
         -F_v2_d1,T_m2x4,F_v2_d1|  
         -F_v2_d2,T_m2x4,T_v2|  
         -F_v2_d2,T_m2x4,F_v2_d2|  
         -F_v2_d3,T_m2x4,T_v2|  
         -F_v2_d3,T_m2x4,F_v2_d3|  
         -T_v2,T_m2x4,T_v3|  
         -T_v2,T_m2x4,F_v3_d1|  
         -T_v2,T_m2x4,F_v3_d2|  
         -T_v2,T_m2x4,F_v3_d3|  
         -F_v2_d1,T_m2x4,T_v3|  
         -F_v2_d1,T_m2x4,F_v3_d1|  
         -F_v2_d2,T_m2x4,T_v3|  
         -F_v2_d2,T_m2x4,F_v3_d2|  
         -F_v2_d3,T_m2x4,T_v3|  
         -F_v2_d3,T_m2x4,F_v3_d3|  
         -T_v2,T_m2x4,T_v4|  
         -T_v2,T_m2x4,F_v4_d1|  
         -T_v2,T_m2x4,F_v4_d2|  
         -T_v2,T_m2x4,F_v4_d3|  
         -F_v2_d1,T_m2x4,T_v4|  
         -F_v2_d1,T_m2x4,F_v4_d1|  
         -F_v2_d2,T_m2x4,T_v4|  
         -F_v2_d2,T_m2x4,F_v4_d2|  
         -F_v2_d3,T_m2x4,T_v4|  
         -F_v2_d3,T_m2x4,F_v4_d3|  
         -T_v2,T_m2x4,T_m2x2|  
         -T_v2,T_m2x4,F_m2x2_d1|  
         -T_v2,T_m2x4,F_m2x2_d2|  
         -T_v2,T_m2x4,F_m2x2_d3|  
         -F_v2_d1,T_m2x4,T_m2x2|  
         -F_v2_d1,T_m2x4,F_m2x2_d1|  
         -F_v2_d2,T_m2x4,T_m2x2|  
         -F_v2_d2,T_m2x4,F_m2x2_d2|  
         -F_v2_d3,T_m2x4,T_m2x2|  
         -F_v2_d3,T_m2x4,F_m2x2_d3|  
         -T_v2,T_m2x4,T_m2x3|  
         -F_v2_d1,T_m2x4,T_m2x3|  
         -F_v2_d2,T_m2x4,T_m2x3|  
         -F_v2_d3,T_m2x4,T_m2x3|  
         -T_v2,T_m2x4,T_m2x4|  
         -F_v2_d1,T_m2x4,T_m2x4|  
         -F_v2_d2,T_m2x4,T_m2x4|  
         -F_v2_d3,T_m2x4,T_m2x4|  
         -T_v2,T_m2x4,T_m3x2|  
         -F_v2_d1,T_m2x4,T_m3x2|  
         -F_v2_d2,T_m2x4,T_m3x2|  
         -F_v2_d3,T_m2x4,T_m3x2|  
         -T_v2,T_m2x4,T_m3x3|  
         -T_v2,T_m2x4,F_m3x3_d1|  
         -T_v2,T_m2x4,F_m3x3_d2|  
         -T_v2,T_m2x4,F_m3x3_d3|  
         -F_v2_d1,T_m2x4,T_m3x3|  
         -F_v2_d1,T_m2x4,F_m3x3_d1|  
         -F_v2_d2,T_m2x4,T_m3x3|  
         -F_v2_d2,T_m2x4,F_m3x3_d2|  
         -F_v2_d3,T_m2x4,T_m3x3|  
         -F_v2_d3,T_m2x4,F_m3x3_d3|  
         -T_v2,T_m2x4,T_m3x4|  
         -F_v2_d1,T_m2x4,T_m3x4|  
         -F_v2_d2,T_m2x4,T_m3x4|  
         -F_v2_d3,T_m2x4,T_m3x4|  
         -T_v2,T_m2x4,T_m4x2|  
         -F_v2_d1,T_m2x4,T_m4x2|  
         -F_v2_d2,T_m2x4,T_m4x2|  
         -F_v2_d3,T_m2x4,T_m4x2|  
         -T_v2,T_m2x4,T_m4x3|  
         -F_v2_d1,T_m2x4,T_m4x3|  
         -F_v2_d2,T_m2x4,T_m4x3|  
         -F_v2_d3,T_m2x4,T_m4x3|  
         -T_v2,T_m2x4,T_m4x4|  
         -F_v2_d1,T_m2x4,T_m4x4|  
         -F_v2_d2,T_m2x4,T_m4x4|  
         -F_v2_d3,T_m2x4,T_m4x4|  
         -T_v2,T_t2x2x2,T_v2|  
         -T_v2,T_t2x2x2,F_v2_d1|  
         -T_v2,T_t2x2x2,F_v2_d2|  
         -T_v2,T_t2x2x2,F_v2_d3|  
         -F_v2_d1,T_t2x2x2,T_v2|  
         -F_v2_d1,T_t2x2x2,F_v2_d1|  
         -F_v2_d2,T_t2x2x2,T_v2|  
         -F_v2_d2,T_t2x2x2,F_v2_d2|  
         -F_v2_d3,T_t2x2x2,T_v2|  
         -F_v2_d3,T_t2x2x2,F_v2_d3|  
         -T_v2,T_t2x2x2,T_v3|  
         -T_v2,T_t2x2x2,F_v3_d1|  
         -T_v2,T_t2x2x2,F_v3_d2|  
         -T_v2,T_t2x2x2,F_v3_d3|  
         -F_v2_d1,T_t2x2x2,T_v3|  
         -F_v2_d1,T_t2x2x2,F_v3_d1|  
         -F_v2_d2,T_t2x2x2,T_v3|  
         -F_v2_d2,T_t2x2x2,F_v3_d2|  
         -F_v2_d3,T_t2x2x2,T_v3|  
         -F_v2_d3,T_t2x2x2,F_v3_d3|  
         -T_v2,T_t2x2x2,T_v4|  
         -T_v2,T_t2x2x2,F_v4_d1|  
         -T_v2,T_t2x2x2,F_v4_d2|  
         -T_v2,T_t2x2x2,F_v4_d3|  
         -F_v2_d1,T_t2x2x2,T_v4|  
         -F_v2_d1,T_t2x2x2,F_v4_d1|  
         -F_v2_d2,T_t2x2x2,T_v4|  
         -F_v2_d2,T_t2x2x2,F_v4_d2|  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
   
  outer product_inner product |21_20  
         -T_v2,T_m2x2,T_v2|p_i21_o20_n1_fty1  
         -T_v2,T_m2x3,T_v2|p_i21_o20_n2_fty1  
         -T_v2,T_m2x4,T_v2|p_i21_o20_n3_fty1  
         -T_v2,T_t2x2x2,T_v2|p_i21_o20_n4_fty1  
         -T_v2,T_t2x2x3,T_v2|p_i21_o20_n5_fty1  
         -T_v2,T_t2x2x4,T_v2|p_i21_o20_n6_fty1  
         -T_v2,T_t2x3x2,T_v2|p_i21_o20_n7_fty1  
         -T_v2,T_t2x3x3,T_v2|p_i21_o20_n8_fty1  
         -T_v2,T_t2x3x4,T_v2|p_i21_o20_n9_fty1  
         -T_v2,T_t2x4x2,T_v2|p_i21_o20_n10_fty1  
         -T_v2,T_t2x4x3,T_v2|p_i21_o20_n11_fty1  
         -T_v2,T_t2x4x4,T_v2|p_i21_o20_n12_fty1  
         -T_v2,F_m2x2_d1,T_v2|p_i21_o20_n14_fty1  
         -T_v2,F_m2x2_d2,T_v2|p_i21_o20_n16_fty1  
         -T_v2,F_m2x2_d3,T_v2|p_i21_o20_n18_fty1  
         -T_v3,T_m3x2,T_v2|p_i21_o20_n20_fty1  
         -T_v3,T_m3x3,T_v2|p_i21_o20_n21_fty1  
         -T_v3,T_m3x4,T_v2|p_i21_o20_n22_fty1  
         -T_v3,T_t3x2x2,T_v2|p_i21_o20_n23_fty1  
         -T_v3,T_t3x2x3,T_v2|p_i21_o20_n24_fty1  
         -T_v3,T_t3x2x4,T_v2|p_i21_o20_n25_fty1  
         -T_v3,T_t3x3x2,T_v2|p_i21_o20_n26_fty1  
         -T_v3,T_t3x3x3,T_v2|p_i21_o20_n27_fty1  
         -T_v3,T_t3x3x4,T_v2|p_i21_o20_n28_fty1  
         -T_v3,T_t3x4x2,T_v2|p_i21_o20_n29_fty1  
         -T_v3,T_t3x4x3,T_v2|p_i21_o20_n30_fty1  
         -T_v3,T_t3x4x4,T_v2|p_i21_o20_n31_fty1  
         -T_v3,F_m3x3_d1,T_v2|p_i21_o20_n33_fty1  
         -T_v3,F_m3x3_d2,T_v2|p_i21_o20_n35_fty1  
         -T_v3,F_m3x3_d3,T_v2|p_i21_o20_n37_fty1  
         -T_v4,T_m4x2,T_v2|p_i21_o20_n39_fty1  
         -T_v4,T_m4x3,T_v2|p_i21_o20_n40_fty1  
         -T_v4,T_m4x4,T_v2|p_i21_o20_n41_fty1  
         -T_v4,T_t4x2x2,T_v2|p_i21_o20_n42_fty1  
         -T_v4,T_t4x2x3,T_v2|p_i21_o20_n43_fty1  
         -T_v4,T_t4x2x4,T_v2|p_i21_o20_n44_fty1  
         -T_v4,T_t4x3x2,T_v2|p_i21_o20_n45_fty1  
         -T_v4,T_t4x3x3,T_v2|p_i21_o20_n46_fty1  
         -T_v4,T_t4x3x4,T_v2|p_i21_o20_n47_fty1  
         -T_v4,T_t4x4x2,T_v2|p_i21_o20_n48_fty1  
   
  outer product_inner product |21_20  
   
  outer product_addition |17_20  
   
  inner product_addition |17_21  
   
  multiplication_addition |17_22  
   
  division_addition |17_23  
   
  cross product_addition |17_19  
   
  outer product_cross product |19_20  
   
  cross product_cross product |19_19  
   
  inner product_outer product |20_21  
   
  inner product_multiplication |22_21  
   
  inner product_multiplication |22_21  
   
  inner product_multiplication |22_21  
   
  inner product_outer product |20_21  
   
  outer product_cross product |19_20  
   
  cross product_cross product |19_19  
   
  multiplication_addition |17_22  
   
  inner product_addition |17_21  
   
  addition_addition |17_17  
   
  cross product_addition |17_19  
   
  outer product_addition |17_20  
   
  cross product_inner product |21_19  
   
  cross product_inner product |21_19  
   
  cross product_inner product |21_19  
   
  cross product_inner product |21_19  
   
  cross product_inner product |21_19  
   
  cross product_inner product |21_19  
   
  inner product_cross product |19_21  
   
  addition_addition |17_17  
   
  addition_addition |17_17  
   
  cross product_addition |17_19  
   
  addition_cross product |19_17  
   
  multiplication_inner product |21_22  
   
  outer product_addition |17_20  
   
  addition_outer product |20_17  
   
  addition_outer product |20_17  
462    
463   addition_outer product |20_17   addition_outer product |20_17
464            -T_v2,T_v2,T_m2x2|
465            -T_v2,T_v2,F_m2x2_d1|
466            -T_v2,T_v2,F_m2x2_d2|
467            -T_v2,T_v2,F_m2x2_d3|
468            -T_v2,F_v2_d1,T_m2x2|
469            -T_v2,F_v2_d1,F_m2x2_d1|
470            -T_v2,F_v2_d2,T_m2x2|
471            -T_v2,F_v2_d2,F_m2x2_d2|
472            -T_v2,F_v2_d3,T_m2x2|
473            -T_v2,F_v2_d3,F_m2x2_d3|
474            -F_v2_d1,T_v2,T_m2x2|
475            -F_v2_d1,T_v2,F_m2x2_d1|
476            -F_v2_d1,F_v2_d1,T_m2x2|
477            -F_v2_d1,F_v2_d1,F_m2x2_d1|
478            -F_v2_d2,T_v2,T_m2x2|
479            -F_v2_d2,T_v2,F_m2x2_d2|
480            -F_v2_d2,F_v2_d2,T_m2x2|
481            -F_v2_d2,F_v2_d2,F_m2x2_d2|
482            -F_v2_d3,T_v2,T_m2x2|
483            -F_v2_d3,T_v2,F_m2x2_d3|
484            -F_v2_d3,F_v2_d3,T_m2x2|
485            -F_v2_d3,F_v2_d3,F_m2x2_d3|
486    
487   addition_outer product |20_17   addition_outer product |20_17
   
  addition_outer product |20_17  
   
  outer product_addition |17_20  
   
  cross product_addition |17_19  
   
  inner product_addition |17_21  
   
  addition_inner product |21_17  
   
  cross product_addition |17_19  
   
  addition_cross product |19_17  
   
  multiplication_addition |17_22  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  cross product_cross product |19_19  
   
  multiplication_addition |17_22  
   
  cross product_addition |17_19  
   
  outer product_cross product |19_20  
   
  inner product_outer product |20_21  
   
  cross product_inner product |21_19  
   
  normalize_neg |0_2  
   
  inner product_addition |17_21  
   
  multiplication_addition |17_22  
   
  cross product_cross product |19_19  
   
  outer product_cross product |19_20  
   
  inner product_outer product |20_21  
   
  cross product_inner product |21_19  
   
  inner product_multiplication |22_21  
   
  inner product_addition |17_21  
   
  addition_cross product |19_17  
   
  inner product_cross product |19_21  
   
  outer product_inner product |21_20  
   
  addition_outer product |20_17  
   
  addition_cross product |19_17  
   
  addition_outer product |20_17  
   
  outer product_addition |17_20  
   
  addition_outer product |20_17  
   
  outer product_addition |17_20  
   
  inner product_addition |17_21  
   
  inner product_addition |17_21  
   
  inner product_addition |17_21  
   
  inner product_addition |17_21  
   
  inner product_addition |17_21  
   
  inner product_addition |17_21  
   
  inner product_outer product |20_21  
   
  inner product_inner product |21_21  
   
  cross product_subtraction |18_19  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  inner product_addition |17_21  
   
  multiplication_addition |17_22  
   
  inner product_multiplication |22_21  
   
  inner product_multiplication |22_21  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  inner product_multiplication |22_21  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  multiplication_addition |17_22  
   
  cross product_subtraction |18_19  
   
  inner product_inner product |21_21  
   
  addition_inner product |21_17  
   
  addition_addition |17_17  
   
  subtraction_multiplication |22_18  
   
  division_inner product |21_23  
   
  division_inner product |21_23  
   
  division_inner product |21_23  
   
  division_inner product |21_23  
   
  division_inner product |21_23  
   
  division_inner product |21_23  
   
  division_modulate |24_23  
   
  division_op_doubledot |25_23  
   
  modulate_cross product |19_24  
   
  cross product_modulate |24_19  
   
  outer product_modulate |24_20  
   
  outer product_division |23_20  
   
  multiplication_division |23_22  
   
  addition_multiplication |22_17  
   
  cross product_multiplication |22_19  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  addition_op_doubledot |25_17  
   
  cross product_op_doubledot |25_19  
   
  multiplication_op_doubledot |25_22  
   
  modulate_op_doubledot |25_24  
   
  op_doubledot_op_doubledot |25_25  
   
  op_doubledot_op_doubledot |25_25  
   
  op_doubledot_op_doubledot |25_25  
   
  outer product_outer product |20_20  
   
  op_doubledot_op_doubledot |25_25  
   
  modulate_op_doubledot |25_24  
   
  division_inner product |21_23  
   
  subtraction_multiplication |22_18  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  normalize_neg |0_2  
   
  neg_cross product |19_0  
   
  neg_cross product |19_0  
   
  neg_cross product |19_0  
   
  neg_cross product |19_0  
   
  cross product_norm |1_19  
   
  neg_cross product |19_0  
   
  neg_cross product |19_0  
   
  neg_cross product |19_0  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
   
  grad_cross product |19_7  
488            -T_v2,T_v2,T_m2x2|
489            -T_v2,T_v2,F_m2x2_d1|
490            -T_v2,T_v2,F_m2x2_d2|
491            -T_v2,T_v2,F_m2x2_d3|
492            -T_v2,F_v2_d1,T_m2x2|
493            -T_v2,F_v2_d1,F_m2x2_d1|
494            -T_v2,F_v2_d2,T_m2x2|
495            -T_v2,F_v2_d2,F_m2x2_d2|
496            -T_v2,F_v2_d3,T_m2x2|
497            -T_v2,F_v2_d3,F_m2x2_d3|
498            -F_v2_d1,T_v2,T_m2x2|
499            -F_v2_d1,T_v2,F_m2x2_d1|
500            -F_v2_d1,F_v2_d1,T_m2x2|
501            -F_v2_d1,F_v2_d1,F_m2x2_d1|
502            -F_v2_d2,T_v2,T_m2x2|
503            -F_v2_d2,T_v2,F_m2x2_d2|
504            -F_v2_d2,F_v2_d2,T_m2x2|
505            -F_v2_d2,F_v2_d2,F_m2x2_d2|
506            -F_v2_d3,T_v2,T_m2x2|
507            -F_v2_d3,T_v2,F_m2x2_d3|
508            -F_v2_d3,F_v2_d3,T_m2x2|
509            -F_v2_d3,F_v2_d3,F_m2x2_d3|

Legend:
Removed from v.4481  
changed lines
  Added in v.4483

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0