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