Context Navigation

minMax30.mv @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago
Add vis
File size: 106.2 KB

Line
1	# /sda4/tools/Vis1.2/vl2mv/i686/bin/vl2mv -O -o minMax30.mv minMax.v
2	# version: 0.2
3	# date: 18:53:31 03/01/97 (MST)
4	.model minMax
5	# I/O ports
6	.inputs clear
7	.outputs out<0> out<1> out<2> out<3> out<4> out<5> out<6> out<7> out<8> out<9> out<10> out<11> out<12> out<13> out<14> out<15> out<16> out<17> out<18> out<19> out<20> out<21> out<22> out<23> out<24> out<25> out<26> out<27> out<28> out<29>
8	.inputs reset
9	.inputs enable
10	.inputs in<0> in<1> in<2> in<3> in<4> in<5> in<6> in<7> in<8> in<9> in<10> in<11> in<12> in<13> in<14> in<15> in<16> in<17> in<18> in<19> in<20> in<21> in<22> in<23> in<24> in<25> in<26> in<27> in<28> in<29>
11	# min = {'b1}
12	.names _n2
13	1
14	.names _n2 _n1<0>
15	- =_n2
16	.names _n3
17	0
18	.names _n4
19	1
20	.names _n4 _n1<1>
21	- =_n4
22	.names _n5
23	0
24	.names _n6
25	1
26	.names _n6 _n1<2>
27	- =_n6
28	.names _n7
29	0
30	.names _n8
31	1
32	.names _n8 _n1<3>
33	- =_n8
34	.names _n9
35	0
36	.names _na
37	1
38	.names _na _n1<4>
39	- =_na
40	.names _nb
41	0
42	.names _nc
43	1
44	.names _nc _n1<5>
45	- =_nc
46	.names _nd
47	0
48	.names _ne
49	1
50	.names _ne _n1<6>
51	- =_ne
52	.names _nf
53	0
54	.names _n10
55	1
56	.names _n10 _n1<7>
57	- =_n10
58	.names _n11
59	0
60	.names _n12
61	1
62	.names _n12 _n1<8>
63	- =_n12
64	.names _n13
65	0
66	.names _n14
67	1
68	.names _n14 _n1<9>
69	- =_n14
70	.names _n15
71	0
72	.names _n16
73	1
74	.names _n16 _n1<10>
75	- =_n16
76	.names _n17
77	0
78	.names _n18
79	1
80	.names _n18 _n1<11>
81	- =_n18
82	.names _n19
83	0
84	.names _n1a
85	1
86	.names _n1a _n1<12>
87	- =_n1a
88	.names _n1b
89	0
90	.names _n1c
91	1
92	.names _n1c _n1<13>
93	- =_n1c
94	.names _n1d
95	0
96	.names _n1e
97	1
98	.names _n1e _n1<14>
99	- =_n1e
100	.names _n1f
101	0
102	.names _n20
103	1
104	.names _n20 _n1<15>
105	- =_n20
106	.names _n21
107	0
108	.names _n22
109	1
110	.names _n22 _n1<16>
111	- =_n22
112	.names _n23
113	0
114	.names _n24
115	1
116	.names _n24 _n1<17>
117	- =_n24
118	.names _n25
119	0
120	.names _n26
121	1
122	.names _n26 _n1<18>
123	- =_n26
124	.names _n27
125	0
126	.names _n28
127	1
128	.names _n28 _n1<19>
129	- =_n28
130	.names _n29
131	0
132	.names _n2a
133	1
134	.names _n2a _n1<20>
135	- =_n2a
136	.names _n2b
137	0
138	.names _n2c
139	1
140	.names _n2c _n1<21>
141	- =_n2c
142	.names _n2d
143	0
144	.names _n2e
145	1
146	.names _n2e _n1<22>
147	- =_n2e
148	.names _n2f
149	0
150	.names _n30
151	1
152	.names _n30 _n1<23>
153	- =_n30
154	.names _n31
155	0
156	.names _n32
157	1
158	.names _n32 _n1<24>
159	- =_n32
160	.names _n33
161	0
162	.names _n34
163	1
164	.names _n34 _n1<25>
165	- =_n34
166	.names _n35
167	0
168	.names _n36
169	1
170	.names _n36 _n1<26>
171	- =_n36
172	.names _n37
173	0
174	.names _n38
175	1
176	.names _n38 _n1<27>
177	- =_n38
178	.names _n39
179	0
180	.names _n3a
181	1
182	.names _n3a _n1<28>
183	- =_n3a
184	.names _n3b
185	0
186	.names _n3c
187	1
188	.names _n3c _n1<29>
189	- =_n3c
190	.names _n3d
191	0
192	.names _n1<0> min$raw_n0<0>
193	- =_n1<0>
194	.names _n1<1> min$raw_n0<1>
195	- =_n1<1>
196	.names _n1<2> min$raw_n0<2>
197	- =_n1<2>
198	.names _n1<3> min$raw_n0<3>
199	- =_n1<3>
200	.names _n1<4> min$raw_n0<4>
201	- =_n1<4>
202	.names _n1<5> min$raw_n0<5>
203	- =_n1<5>
204	.names _n1<6> min$raw_n0<6>
205	- =_n1<6>
206	.names _n1<7> min$raw_n0<7>
207	- =_n1<7>
208	.names _n1<8> min$raw_n0<8>
209	- =_n1<8>
210	.names _n1<9> min$raw_n0<9>
211	- =_n1<9>
212	.names _n1<10> min$raw_n0<10>
213	- =_n1<10>
214	.names _n1<11> min$raw_n0<11>
215	- =_n1<11>
216	.names _n1<12> min$raw_n0<12>
217	- =_n1<12>
218	.names _n1<13> min$raw_n0<13>
219	- =_n1<13>
220	.names _n1<14> min$raw_n0<14>
221	- =_n1<14>
222	.names _n1<15> min$raw_n0<15>
223	- =_n1<15>
224	.names _n1<16> min$raw_n0<16>
225	- =_n1<16>
226	.names _n1<17> min$raw_n0<17>
227	- =_n1<17>
228	.names _n1<18> min$raw_n0<18>
229	- =_n1<18>
230	.names _n1<19> min$raw_n0<19>
231	- =_n1<19>
232	.names _n1<20> min$raw_n0<20>
233	- =_n1<20>
234	.names _n1<21> min$raw_n0<21>
235	- =_n1<21>
236	.names _n1<22> min$raw_n0<22>
237	- =_n1<22>
238	.names _n1<23> min$raw_n0<23>
239	- =_n1<23>
240	.names _n1<24> min$raw_n0<24>
241	- =_n1<24>
242	.names _n1<25> min$raw_n0<25>
243	- =_n1<25>
244	.names _n1<26> min$raw_n0<26>
245	- =_n1<26>
246	.names _n1<27> min$raw_n0<27>
247	- =_n1<27>
248	.names _n1<28> min$raw_n0<28>
249	- =_n1<28>
250	.names _n1<29> min$raw_n0<29>
251	- =_n1<29>
252	# max = 0
253	.names max$raw_n3e<0>
254	0
255	.names max$raw_n3e<1>
256	0
257	.names max$raw_n3e<2>
258	0
259	.names max$raw_n3e<3>
260	0
261	.names max$raw_n3e<4>
262	0
263	.names max$raw_n3e<5>
264	0
265	.names max$raw_n3e<6>
266	0
267	.names max$raw_n3e<7>
268	0
269	.names max$raw_n3e<8>
270	0
271	.names max$raw_n3e<9>
272	0
273	.names max$raw_n3e<10>
274	0
275	.names max$raw_n3e<11>
276	0
277	.names max$raw_n3e<12>
278	0
279	.names max$raw_n3e<13>
280	0
281	.names max$raw_n3e<14>
282	0
283	.names max$raw_n3e<15>
284	0
285	.names max$raw_n3e<16>
286	0
287	.names max$raw_n3e<17>
288	0
289	.names max$raw_n3e<18>
290	0
291	.names max$raw_n3e<19>
292	0
293	.names max$raw_n3e<20>
294	0
295	.names max$raw_n3e<21>
296	0
297	.names max$raw_n3e<22>
298	0
299	.names max$raw_n3e<23>
300	0
301	.names max$raw_n3e<24>
302	0
303	.names max$raw_n3e<25>
304	0
305	.names max$raw_n3e<26>
306	0
307	.names max$raw_n3e<27>
308	0
309	.names max$raw_n3e<28>
310	0
311	.names max$raw_n3e<29>
312	0
313	# last = {'bx}
314	.names _n41
315	0
316	.names _n41 _n40<0>
317	- =_n41
318	.names _n42
319	0
320	.names _n43
321	0
322	.names _n43 _n40<1>
323	- =_n43
324	.names _n44
325	0
326	.names _n45
327	0
328	.names _n45 _n40<2>
329	- =_n45
330	.names _n46
331	0
332	.names _n47
333	0
334	.names _n47 _n40<3>
335	- =_n47
336	.names _n48
337	0
338	.names _n49
339	0
340	.names _n49 _n40<4>
341	- =_n49
342	.names _n4a
343	0
344	.names _n4b
345	0
346	.names _n4b _n40<5>
347	- =_n4b
348	.names _n4c
349	0
350	.names _n4d
351	0
352	.names _n4d _n40<6>
353	- =_n4d
354	.names _n4e
355	0
356	.names _n4f
357	0
358	.names _n4f _n40<7>
359	- =_n4f
360	.names _n50
361	0
362	.names _n51
363	0
364	.names _n51 _n40<8>
365	- =_n51
366	.names _n52
367	0
368	.names _n53
369	0
370	.names _n53 _n40<9>
371	- =_n53
372	.names _n54
373	0
374	.names _n55
375	0
376	.names _n55 _n40<10>
377	- =_n55
378	.names _n56
379	0
380	.names _n57
381	0
382	.names _n57 _n40<11>
383	- =_n57
384	.names _n58
385	0
386	.names _n59
387	0
388	.names _n59 _n40<12>
389	- =_n59
390	.names _n5a
391	0
392	.names _n5b
393	0
394	.names _n5b _n40<13>
395	- =_n5b
396	.names _n5c
397	0
398	.names _n5d
399	0
400	.names _n5d _n40<14>
401	- =_n5d
402	.names _n5e
403	0
404	.names _n5f
405	0
406	.names _n5f _n40<15>
407	- =_n5f
408	.names _n60
409	0
410	.names _n61
411	0
412	.names _n61 _n40<16>
413	- =_n61
414	.names _n62
415	0
416	.names _n63
417	0
418	.names _n63 _n40<17>
419	- =_n63
420	.names _n64
421	0
422	.names _n65
423	0
424	.names _n65 _n40<18>
425	- =_n65
426	.names _n66
427	0
428	.names _n67
429	0
430	.names _n67 _n40<19>
431	- =_n67
432	.names _n68
433	0
434	.names _n69
435	0
436	.names _n69 _n40<20>
437	- =_n69
438	.names _n6a
439	0
440	.names _n6b
441	0
442	.names _n6b _n40<21>
443	- =_n6b
444	.names _n6c
445	0
446	.names _n6d
447	0
448	.names _n6d _n40<22>
449	- =_n6d
450	.names _n6e
451	0
452	.names _n6f
453	0
454	.names _n6f _n40<23>
455	- =_n6f
456	.names _n70
457	0
458	.names _n71
459	0
460	.names _n71 _n40<24>
461	- =_n71
462	.names _n72
463	0
464	.names _n73
465	0
466	.names _n73 _n40<25>
467	- =_n73
468	.names _n74
469	0
470	.names _n75
471	0
472	.names _n75 _n40<26>
473	- =_n75
474	.names _n76
475	0
476	.names _n77
477	0
478	.names _n77 _n40<27>
479	- =_n77
480	.names _n78
481	0
482	.names _n79
483	0
484	.names _n79 _n40<28>
485	- =_n79
486	.names _n7a
487	0
488	.names _n7b
489	0
490	.names _n7b _n40<29>
491	- =_n7b
492	.names _n7c
493	0
494	.names _n40<0> last$raw_n3f<0>
495	- =_n40<0>
496	.names _n40<1> last$raw_n3f<1>
497	- =_n40<1>
498	.names _n40<2> last$raw_n3f<2>
499	- =_n40<2>
500	.names _n40<3> last$raw_n3f<3>
501	- =_n40<3>
502	.names _n40<4> last$raw_n3f<4>
503	- =_n40<4>
504	.names _n40<5> last$raw_n3f<5>
505	- =_n40<5>
506	.names _n40<6> last$raw_n3f<6>
507	- =_n40<6>
508	.names _n40<7> last$raw_n3f<7>
509	- =_n40<7>
510	.names _n40<8> last$raw_n3f<8>
511	- =_n40<8>
512	.names _n40<9> last$raw_n3f<9>
513	- =_n40<9>
514	.names _n40<10> last$raw_n3f<10>
515	- =_n40<10>
516	.names _n40<11> last$raw_n3f<11>
517	- =_n40<11>
518	.names _n40<12> last$raw_n3f<12>
519	- =_n40<12>
520	.names _n40<13> last$raw_n3f<13>
521	- =_n40<13>
522	.names _n40<14> last$raw_n3f<14>
523	- =_n40<14>
524	.names _n40<15> last$raw_n3f<15>
525	- =_n40<15>
526	.names _n40<16> last$raw_n3f<16>
527	- =_n40<16>
528	.names _n40<17> last$raw_n3f<17>
529	- =_n40<17>
530	.names _n40<18> last$raw_n3f<18>
531	- =_n40<18>
532	.names _n40<19> last$raw_n3f<19>
533	- =_n40<19>
534	.names _n40<20> last$raw_n3f<20>
535	- =_n40<20>
536	.names _n40<21> last$raw_n3f<21>
537	- =_n40<21>
538	.names _n40<22> last$raw_n3f<22>
539	- =_n40<22>
540	.names _n40<23> last$raw_n3f<23>
541	- =_n40<23>
542	.names _n40<24> last$raw_n3f<24>
543	- =_n40<24>
544	.names _n40<25> last$raw_n3f<25>
545	- =_n40<25>
546	.names _n40<26> last$raw_n3f<26>
547	- =_n40<26>
548	.names _n40<27> last$raw_n3f<27>
549	- =_n40<27>
550	.names _n40<28> last$raw_n3f<28>
551	- =_n40<28>
552	.names _n40<29> last$raw_n3f<29>
553	- =_n40<29>
554	# non-blocking assignments for initial
555	# assign {avg , aux } = {'b0, sup } + {'b0, inf }
556	.names sup<0> _n80<0>
557	- =sup<0>
558	.names sup<1> _n80<1>
559	- =sup<1>
560	.names sup<2> _n80<2>
561	- =sup<2>
562	.names sup<3> _n80<3>
563	- =sup<3>
564	.names sup<4> _n80<4>
565	- =sup<4>
566	.names sup<5> _n80<5>
567	- =sup<5>
568	.names sup<6> _n80<6>
569	- =sup<6>
570	.names sup<7> _n80<7>
571	- =sup<7>
572	.names sup<8> _n80<8>
573	- =sup<8>
574	.names sup<9> _n80<9>
575	- =sup<9>
576	.names sup<10> _n80<10>
577	- =sup<10>
578	.names sup<11> _n80<11>
579	- =sup<11>
580	.names sup<12> _n80<12>
581	- =sup<12>
582	.names sup<13> _n80<13>
583	- =sup<13>
584	.names sup<14> _n80<14>
585	- =sup<14>
586	.names sup<15> _n80<15>
587	- =sup<15>
588	.names sup<16> _n80<16>
589	- =sup<16>
590	.names sup<17> _n80<17>
591	- =sup<17>
592	.names sup<18> _n80<18>
593	- =sup<18>
594	.names sup<19> _n80<19>
595	- =sup<19>
596	.names sup<20> _n80<20>
597	- =sup<20>
598	.names sup<21> _n80<21>
599	- =sup<21>
600	.names sup<22> _n80<22>
601	- =sup<22>
602	.names sup<23> _n80<23>
603	- =sup<23>
604	.names sup<24> _n80<24>
605	- =sup<24>
606	.names sup<25> _n80<25>
607	- =sup<25>
608	.names sup<26> _n80<26>
609	- =sup<26>
610	.names sup<27> _n80<27>
611	- =sup<27>
612	.names sup<28> _n80<28>
613	- =sup<28>
614	.names sup<29> _n80<29>
615	- =sup<29>
616	.names _n81
617	0
618	.names _n81 _n80<30>
619	- =_n81
620	.names _n82
621	0
622	.names inf<0> _n83<0>
623	- =inf<0>
624	.names inf<1> _n83<1>
625	- =inf<1>
626	.names inf<2> _n83<2>
627	- =inf<2>
628	.names inf<3> _n83<3>
629	- =inf<3>
630	.names inf<4> _n83<4>
631	- =inf<4>
632	.names inf<5> _n83<5>
633	- =inf<5>
634	.names inf<6> _n83<6>
635	- =inf<6>
636	.names inf<7> _n83<7>
637	- =inf<7>
638	.names inf<8> _n83<8>
639	- =inf<8>
640	.names inf<9> _n83<9>
641	- =inf<9>
642	.names inf<10> _n83<10>
643	- =inf<10>
644	.names inf<11> _n83<11>
645	- =inf<11>
646	.names inf<12> _n83<12>
647	- =inf<12>
648	.names inf<13> _n83<13>
649	- =inf<13>
650	.names inf<14> _n83<14>
651	- =inf<14>
652	.names inf<15> _n83<15>
653	- =inf<15>
654	.names inf<16> _n83<16>
655	- =inf<16>
656	.names inf<17> _n83<17>
657	- =inf<17>
658	.names inf<18> _n83<18>
659	- =inf<18>
660	.names inf<19> _n83<19>
661	- =inf<19>
662	.names inf<20> _n83<20>
663	- =inf<20>
664	.names inf<21> _n83<21>
665	- =inf<21>
666	.names inf<22> _n83<22>
667	- =inf<22>
668	.names inf<23> _n83<23>
669	- =inf<23>
670	.names inf<24> _n83<24>
671	- =inf<24>
672	.names inf<25> _n83<25>
673	- =inf<25>
674	.names inf<26> _n83<26>
675	- =inf<26>
676	.names inf<27> _n83<27>
677	- =inf<27>
678	.names inf<28> _n83<28>
679	- =inf<28>
680	.names inf<29> _n83<29>
681	- =inf<29>
682	.names _n84
683	0
684	.names _n84 _n83<30>
685	- =_n84
686	.names _n85
687	0
688	# {'b0, sup } + {'b0, inf }
689	.names _n87
690	0
691	.names _n80<0> _n83<0> _n87 _n86<0>
692	.def 0
693	0 0 1 1
694	0 1 0 1
695	1 0 0 1
696	1 1 1 1
697	# carry/borrow
698	.names _n89
699	0
700	.names _n80<0> _n83<0> _n89 _n88
701	.def 0
702	0 1 1 1
703	1 0 1 1
704	1 1 0 1
705	1 1 1 1
706	.names _n80<1> _n83<1> _n88 _n86<1>
707	.def 0
708	0 0 1 1
709	0 1 0 1
710	1 0 0 1
711	1 1 1 1
712	# carry/borrow
713	.names _n80<1> _n83<1> _n88 _n8a
714	.def 0
715	0 1 1 1
716	1 0 1 1
717	1 1 0 1
718	1 1 1 1
719	.names _n80<2> _n83<2> _n8a _n86<2>
720	.def 0
721	0 0 1 1
722	0 1 0 1
723	1 0 0 1
724	1 1 1 1
725	# carry/borrow
726	.names _n80<2> _n83<2> _n8a _n8b
727	.def 0
728	0 1 1 1
729	1 0 1 1
730	1 1 0 1
731	1 1 1 1
732	.names _n80<3> _n83<3> _n8b _n86<3>
733	.def 0
734	0 0 1 1
735	0 1 0 1
736	1 0 0 1
737	1 1 1 1
738	# carry/borrow
739	.names _n80<3> _n83<3> _n8b _n8c
740	.def 0
741	0 1 1 1
742	1 0 1 1
743	1 1 0 1
744	1 1 1 1
745	.names _n80<4> _n83<4> _n8c _n86<4>
746	.def 0
747	0 0 1 1
748	0 1 0 1
749	1 0 0 1
750	1 1 1 1
751	# carry/borrow
752	.names _n80<4> _n83<4> _n8c _n8d
753	.def 0
754	0 1 1 1
755	1 0 1 1
756	1 1 0 1
757	1 1 1 1
758	.names _n80<5> _n83<5> _n8d _n86<5>
759	.def 0
760	0 0 1 1
761	0 1 0 1
762	1 0 0 1
763	1 1 1 1
764	# carry/borrow
765	.names _n80<5> _n83<5> _n8d _n8e
766	.def 0
767	0 1 1 1
768	1 0 1 1
769	1 1 0 1
770	1 1 1 1
771	.names _n80<6> _n83<6> _n8e _n86<6>
772	.def 0
773	0 0 1 1
774	0 1 0 1
775	1 0 0 1
776	1 1 1 1
777	# carry/borrow
778	.names _n80<6> _n83<6> _n8e _n8f
779	.def 0
780	0 1 1 1
781	1 0 1 1
782	1 1 0 1
783	1 1 1 1
784	.names _n80<7> _n83<7> _n8f _n86<7>
785	.def 0
786	0 0 1 1
787	0 1 0 1
788	1 0 0 1
789	1 1 1 1
790	# carry/borrow
791	.names _n80<7> _n83<7> _n8f _n90
792	.def 0
793	0 1 1 1
794	1 0 1 1
795	1 1 0 1
796	1 1 1 1
797	.names _n80<8> _n83<8> _n90 _n86<8>
798	.def 0
799	0 0 1 1
800	0 1 0 1
801	1 0 0 1
802	1 1 1 1
803	# carry/borrow
804	.names _n80<8> _n83<8> _n90 _n91
805	.def 0
806	0 1 1 1
807	1 0 1 1
808	1 1 0 1
809	1 1 1 1
810	.names _n80<9> _n83<9> _n91 _n86<9>
811	.def 0
812	0 0 1 1
813	0 1 0 1
814	1 0 0 1
815	1 1 1 1
816	# carry/borrow
817	.names _n80<9> _n83<9> _n91 _n92
818	.def 0
819	0 1 1 1
820	1 0 1 1
821	1 1 0 1
822	1 1 1 1
823	.names _n80<10> _n83<10> _n92 _n86<10>
824	.def 0
825	0 0 1 1
826	0 1 0 1
827	1 0 0 1
828	1 1 1 1
829	# carry/borrow
830	.names _n80<10> _n83<10> _n92 _n93
831	.def 0
832	0 1 1 1
833	1 0 1 1
834	1 1 0 1
835	1 1 1 1
836	.names _n80<11> _n83<11> _n93 _n86<11>
837	.def 0
838	0 0 1 1
839	0 1 0 1
840	1 0 0 1
841	1 1 1 1
842	# carry/borrow
843	.names _n80<11> _n83<11> _n93 _n94
844	.def 0
845	0 1 1 1
846	1 0 1 1
847	1 1 0 1
848	1 1 1 1
849	.names _n80<12> _n83<12> _n94 _n86<12>
850	.def 0
851	0 0 1 1
852	0 1 0 1
853	1 0 0 1
854	1 1 1 1
855	# carry/borrow
856	.names _n80<12> _n83<12> _n94 _n95
857	.def 0
858	0 1 1 1
859	1 0 1 1
860	1 1 0 1
861	1 1 1 1
862	.names _n80<13> _n83<13> _n95 _n86<13>
863	.def 0
864	0 0 1 1
865	0 1 0 1
866	1 0 0 1
867	1 1 1 1
868	# carry/borrow
869	.names _n80<13> _n83<13> _n95 _n96
870	.def 0
871	0 1 1 1
872	1 0 1 1
873	1 1 0 1
874	1 1 1 1
875	.names _n80<14> _n83<14> _n96 _n86<14>
876	.def 0
877	0 0 1 1
878	0 1 0 1
879	1 0 0 1
880	1 1 1 1
881	# carry/borrow
882	.names _n80<14> _n83<14> _n96 _n97
883	.def 0
884	0 1 1 1
885	1 0 1 1
886	1 1 0 1
887	1 1 1 1
888	.names _n80<15> _n83<15> _n97 _n86<15>
889	.def 0
890	0 0 1 1
891	0 1 0 1
892	1 0 0 1
893	1 1 1 1
894	# carry/borrow
895	.names _n80<15> _n83<15> _n97 _n98
896	.def 0
897	0 1 1 1
898	1 0 1 1
899	1 1 0 1
900	1 1 1 1
901	.names _n80<16> _n83<16> _n98 _n86<16>
902	.def 0
903	0 0 1 1
904	0 1 0 1
905	1 0 0 1
906	1 1 1 1
907	# carry/borrow
908	.names _n80<16> _n83<16> _n98 _n99
909	.def 0
910	0 1 1 1
911	1 0 1 1
912	1 1 0 1
913	1 1 1 1
914	.names _n80<17> _n83<17> _n99 _n86<17>
915	.def 0
916	0 0 1 1
917	0 1 0 1
918	1 0 0 1
919	1 1 1 1
920	# carry/borrow
921	.names _n80<17> _n83<17> _n99 _n9a
922	.def 0
923	0 1 1 1
924	1 0 1 1
925	1 1 0 1
926	1 1 1 1
927	.names _n80<18> _n83<18> _n9a _n86<18>
928	.def 0
929	0 0 1 1
930	0 1 0 1
931	1 0 0 1
932	1 1 1 1
933	# carry/borrow
934	.names _n80<18> _n83<18> _n9a _n9b
935	.def 0
936	0 1 1 1
937	1 0 1 1
938	1 1 0 1
939	1 1 1 1
940	.names _n80<19> _n83<19> _n9b _n86<19>
941	.def 0
942	0 0 1 1
943	0 1 0 1
944	1 0 0 1
945	1 1 1 1
946	# carry/borrow
947	.names _n80<19> _n83<19> _n9b _n9c
948	.def 0
949	0 1 1 1
950	1 0 1 1
951	1 1 0 1
952	1 1 1 1
953	.names _n80<20> _n83<20> _n9c _n86<20>
954	.def 0
955	0 0 1 1
956	0 1 0 1
957	1 0 0 1
958	1 1 1 1
959	# carry/borrow
960	.names _n80<20> _n83<20> _n9c _n9d
961	.def 0
962	0 1 1 1
963	1 0 1 1
964	1 1 0 1
965	1 1 1 1
966	.names _n80<21> _n83<21> _n9d _n86<21>
967	.def 0
968	0 0 1 1
969	0 1 0 1
970	1 0 0 1
971	1 1 1 1
972	# carry/borrow
973	.names _n80<21> _n83<21> _n9d _n9e
974	.def 0
975	0 1 1 1
976	1 0 1 1
977	1 1 0 1
978	1 1 1 1
979	.names _n80<22> _n83<22> _n9e _n86<22>
980	.def 0
981	0 0 1 1
982	0 1 0 1
983	1 0 0 1
984	1 1 1 1
985	# carry/borrow
986	.names _n80<22> _n83<22> _n9e _n9f
987	.def 0
988	0 1 1 1
989	1 0 1 1
990	1 1 0 1
991	1 1 1 1
992	.names _n80<23> _n83<23> _n9f _n86<23>
993	.def 0
994	0 0 1 1
995	0 1 0 1
996	1 0 0 1
997	1 1 1 1
998	# carry/borrow
999	.names _n80<23> _n83<23> _n9f _na0
1000	.def 0
1001	0 1 1 1
1002	1 0 1 1
1003	1 1 0 1
1004	1 1 1 1
1005	.names _n80<24> _n83<24> _na0 _n86<24>
1006	.def 0
1007	0 0 1 1
1008	0 1 0 1
1009	1 0 0 1
1010	1 1 1 1
1011	# carry/borrow
1012	.names _n80<24> _n83<24> _na0 _na1
1013	.def 0
1014	0 1 1 1
1015	1 0 1 1
1016	1 1 0 1
1017	1 1 1 1
1018	.names _n80<25> _n83<25> _na1 _n86<25>
1019	.def 0
1020	0 0 1 1
1021	0 1 0 1
1022	1 0 0 1
1023	1 1 1 1
1024	# carry/borrow
1025	.names _n80<25> _n83<25> _na1 _na2
1026	.def 0
1027	0 1 1 1
1028	1 0 1 1
1029	1 1 0 1
1030	1 1 1 1
1031	.names _n80<26> _n83<26> _na2 _n86<26>
1032	.def 0
1033	0 0 1 1
1034	0 1 0 1
1035	1 0 0 1
1036	1 1 1 1
1037	# carry/borrow
1038	.names _n80<26> _n83<26> _na2 _na3
1039	.def 0
1040	0 1 1 1
1041	1 0 1 1
1042	1 1 0 1
1043	1 1 1 1
1044	.names _n80<27> _n83<27> _na3 _n86<27>
1045	.def 0
1046	0 0 1 1
1047	0 1 0 1
1048	1 0 0 1
1049	1 1 1 1
1050	# carry/borrow
1051	.names _n80<27> _n83<27> _na3 _na4
1052	.def 0
1053	0 1 1 1
1054	1 0 1 1
1055	1 1 0 1
1056	1 1 1 1
1057	.names _n80<28> _n83<28> _na4 _n86<28>
1058	.def 0
1059	0 0 1 1
1060	0 1 0 1
1061	1 0 0 1
1062	1 1 1 1
1063	# carry/borrow
1064	.names _n80<28> _n83<28> _na4 _na5
1065	.def 0
1066	0 1 1 1
1067	1 0 1 1
1068	1 1 0 1
1069	1 1 1 1
1070	.names _n80<29> _n83<29> _na5 _n86<29>
1071	.def 0
1072	0 0 1 1
1073	0 1 0 1
1074	1 0 0 1
1075	1 1 1 1
1076	# carry/borrow
1077	.names _n80<29> _n83<29> _na5 _na6
1078	.def 0
1079	0 1 1 1
1080	1 0 1 1
1081	1 1 0 1
1082	1 1 1 1
1083	.names _n80<30> _n83<30> _na6 _n86<30>
1084	.def 0
1085	0 0 1 1
1086	0 1 0 1
1087	1 0 0 1
1088	1 1 1 1
1089	.names _n86<0> _n7f<0>
1090	- =_n86<0>
1091	.names _n86<1> _n7f<1>
1092	- =_n86<1>
1093	.names _n86<2> _n7f<2>
1094	- =_n86<2>
1095	.names _n86<3> _n7f<3>
1096	- =_n86<3>
1097	.names _n86<4> _n7f<4>
1098	- =_n86<4>
1099	.names _n86<5> _n7f<5>
1100	- =_n86<5>
1101	.names _n86<6> _n7f<6>
1102	- =_n86<6>
1103	.names _n86<7> _n7f<7>
1104	- =_n86<7>
1105	.names _n86<8> _n7f<8>
1106	- =_n86<8>
1107	.names _n86<9> _n7f<9>
1108	- =_n86<9>
1109	.names _n86<10> _n7f<10>
1110	- =_n86<10>
1111	.names _n86<11> _n7f<11>
1112	- =_n86<11>
1113	.names _n86<12> _n7f<12>
1114	- =_n86<12>
1115	.names _n86<13> _n7f<13>
1116	- =_n86<13>
1117	.names _n86<14> _n7f<14>
1118	- =_n86<14>
1119	.names _n86<15> _n7f<15>
1120	- =_n86<15>
1121	.names _n86<16> _n7f<16>
1122	- =_n86<16>
1123	.names _n86<17> _n7f<17>
1124	- =_n86<17>
1125	.names _n86<18> _n7f<18>
1126	- =_n86<18>
1127	.names _n86<19> _n7f<19>
1128	- =_n86<19>
1129	.names _n86<20> _n7f<20>
1130	- =_n86<20>
1131	.names _n86<21> _n7f<21>
1132	- =_n86<21>
1133	.names _n86<22> _n7f<22>
1134	- =_n86<22>
1135	.names _n86<23> _n7f<23>
1136	- =_n86<23>
1137	.names _n86<24> _n7f<24>
1138	- =_n86<24>
1139	.names _n86<25> _n7f<25>
1140	- =_n86<25>
1141	.names _n86<26> _n7f<26>
1142	- =_n86<26>
1143	.names _n86<27> _n7f<27>
1144	- =_n86<27>
1145	.names _n86<28> _n7f<28>
1146	- =_n86<28>
1147	.names _n86<29> _n7f<29>
1148	- =_n86<29>
1149	.names _n86<30> _n7f<30>
1150	- =_n86<30>
1151	.names _n7f<0> aux$raw_n7e
1152	- =_n7f<0>
1153	.names _n7f<1> avg$raw_n7d<0>
1154	- =_n7f<1>
1155	.names _n7f<2> avg$raw_n7d<1>
1156	- =_n7f<2>
1157	.names _n7f<3> avg$raw_n7d<2>
1158	- =_n7f<3>
1159	.names _n7f<4> avg$raw_n7d<3>
1160	- =_n7f<4>
1161	.names _n7f<5> avg$raw_n7d<4>
1162	- =_n7f<5>
1163	.names _n7f<6> avg$raw_n7d<5>
1164	- =_n7f<6>
1165	.names _n7f<7> avg$raw_n7d<6>
1166	- =_n7f<7>
1167	.names _n7f<8> avg$raw_n7d<7>
1168	- =_n7f<8>
1169	.names _n7f<9> avg$raw_n7d<8>
1170	- =_n7f<9>
1171	.names _n7f<10> avg$raw_n7d<9>
1172	- =_n7f<10>
1173	.names _n7f<11> avg$raw_n7d<10>
1174	- =_n7f<11>
1175	.names _n7f<12> avg$raw_n7d<11>
1176	- =_n7f<12>
1177	.names _n7f<13> avg$raw_n7d<12>
1178	- =_n7f<13>
1179	.names _n7f<14> avg$raw_n7d<13>
1180	- =_n7f<14>
1181	.names _n7f<15> avg$raw_n7d<14>
1182	- =_n7f<15>
1183	.names _n7f<16> avg$raw_n7d<15>
1184	- =_n7f<16>
1185	.names _n7f<17> avg$raw_n7d<16>
1186	- =_n7f<17>
1187	.names _n7f<18> avg$raw_n7d<17>
1188	- =_n7f<18>
1189	.names _n7f<19> avg$raw_n7d<18>
1190	- =_n7f<19>
1191	.names _n7f<20> avg$raw_n7d<19>
1192	- =_n7f<20>
1193	.names _n7f<21> avg$raw_n7d<20>
1194	- =_n7f<21>
1195	.names _n7f<22> avg$raw_n7d<21>
1196	- =_n7f<22>
1197	.names _n7f<23> avg$raw_n7d<22>
1198	- =_n7f<23>
1199	.names _n7f<24> avg$raw_n7d<23>
1200	- =_n7f<24>
1201	.names _n7f<25> avg$raw_n7d<24>
1202	- =_n7f<25>
1203	.names _n7f<26> avg$raw_n7d<25>
1204	- =_n7f<26>
1205	.names _n7f<27> avg$raw_n7d<26>
1206	- =_n7f<27>
1207	.names _n7f<28> avg$raw_n7d<27>
1208	- =_n7f<28>
1209	.names _n7f<29> avg$raw_n7d<28>
1210	- =_n7f<29>
1211	.names _n7f<30> avg$raw_n7d<29>
1212	- =_n7f<30>
1213	# assign sup = (in > max ) ? in : max
1214	# in > max
1215	.names _naa
1216	0
1217	.names in<0> max<0> _naa _na9<0>
1218	.def 0
1219	0 0 1 1
1220	0 1 0 1
1221	1 0 0 1
1222	1 1 1 1
1223	# carry/borrow
1224	.names _nac
1225	0
1226	.names in<0> max<0> _nac _nab
1227	.def 0
1228	0 0 1 1
1229	0 1 0 1
1230	0 1 1 1
1231	1 1 1 1
1232	.names in<1> max<1> _nab _na9<1>
1233	.def 0
1234	0 0 1 1
1235	0 1 0 1
1236	1 0 0 1
1237	1 1 1 1
1238	# carry/borrow
1239	.names in<1> max<1> _nab _nad
1240	.def 0
1241	0 0 1 1
1242	0 1 0 1
1243	0 1 1 1
1244	1 1 1 1
1245	.names in<2> max<2> _nad _na9<2>
1246	.def 0
1247	0 0 1 1
1248	0 1 0 1
1249	1 0 0 1
1250	1 1 1 1
1251	# carry/borrow
1252	.names in<2> max<2> _nad _nae
1253	.def 0
1254	0 0 1 1
1255	0 1 0 1
1256	0 1 1 1
1257	1 1 1 1
1258	.names in<3> max<3> _nae _na9<3>
1259	.def 0
1260	0 0 1 1
1261	0 1 0 1
1262	1 0 0 1
1263	1 1 1 1
1264	# carry/borrow
1265	.names in<3> max<3> _nae _naf
1266	.def 0
1267	0 0 1 1
1268	0 1 0 1
1269	0 1 1 1
1270	1 1 1 1
1271	.names in<4> max<4> _naf _na9<4>
1272	.def 0
1273	0 0 1 1
1274	0 1 0 1
1275	1 0 0 1
1276	1 1 1 1
1277	# carry/borrow
1278	.names in<4> max<4> _naf _nb0
1279	.def 0
1280	0 0 1 1
1281	0 1 0 1
1282	0 1 1 1
1283	1 1 1 1
1284	.names in<5> max<5> _nb0 _na9<5>
1285	.def 0
1286	0 0 1 1
1287	0 1 0 1
1288	1 0 0 1
1289	1 1 1 1
1290	# carry/borrow
1291	.names in<5> max<5> _nb0 _nb1
1292	.def 0
1293	0 0 1 1
1294	0 1 0 1
1295	0 1 1 1
1296	1 1 1 1
1297	.names in<6> max<6> _nb1 _na9<6>
1298	.def 0
1299	0 0 1 1
1300	0 1 0 1
1301	1 0 0 1
1302	1 1 1 1
1303	# carry/borrow
1304	.names in<6> max<6> _nb1 _nb2
1305	.def 0
1306	0 0 1 1
1307	0 1 0 1
1308	0 1 1 1
1309	1 1 1 1
1310	.names in<7> max<7> _nb2 _na9<7>
1311	.def 0
1312	0 0 1 1
1313	0 1 0 1
1314	1 0 0 1
1315	1 1 1 1
1316	# carry/borrow
1317	.names in<7> max<7> _nb2 _nb3
1318	.def 0
1319	0 0 1 1
1320	0 1 0 1
1321	0 1 1 1
1322	1 1 1 1
1323	.names in<8> max<8> _nb3 _na9<8>
1324	.def 0
1325	0 0 1 1
1326	0 1 0 1
1327	1 0 0 1
1328	1 1 1 1
1329	# carry/borrow
1330	.names in<8> max<8> _nb3 _nb4
1331	.def 0
1332	0 0 1 1
1333	0 1 0 1
1334	0 1 1 1
1335	1 1 1 1
1336	.names in<9> max<9> _nb4 _na9<9>
1337	.def 0
1338	0 0 1 1
1339	0 1 0 1
1340	1 0 0 1
1341	1 1 1 1
1342	# carry/borrow
1343	.names in<9> max<9> _nb4 _nb5
1344	.def 0
1345	0 0 1 1
1346	0 1 0 1
1347	0 1 1 1
1348	1 1 1 1
1349	.names in<10> max<10> _nb5 _na9<10>
1350	.def 0
1351	0 0 1 1
1352	0 1 0 1
1353	1 0 0 1
1354	1 1 1 1
1355	# carry/borrow
1356	.names in<10> max<10> _nb5 _nb6
1357	.def 0
1358	0 0 1 1
1359	0 1 0 1
1360	0 1 1 1
1361	1 1 1 1
1362	.names in<11> max<11> _nb6 _na9<11>
1363	.def 0
1364	0 0 1 1
1365	0 1 0 1
1366	1 0 0 1
1367	1 1 1 1
1368	# carry/borrow
1369	.names in<11> max<11> _nb6 _nb7
1370	.def 0
1371	0 0 1 1
1372	0 1 0 1
1373	0 1 1 1
1374	1 1 1 1
1375	.names in<12> max<12> _nb7 _na9<12>
1376	.def 0
1377	0 0 1 1
1378	0 1 0 1
1379	1 0 0 1
1380	1 1 1 1
1381	# carry/borrow
1382	.names in<12> max<12> _nb7 _nb8
1383	.def 0
1384	0 0 1 1
1385	0 1 0 1
1386	0 1 1 1
1387	1 1 1 1
1388	.names in<13> max<13> _nb8 _na9<13>
1389	.def 0
1390	0 0 1 1
1391	0 1 0 1
1392	1 0 0 1
1393	1 1 1 1
1394	# carry/borrow
1395	.names in<13> max<13> _nb8 _nb9
1396	.def 0
1397	0 0 1 1
1398	0 1 0 1
1399	0 1 1 1
1400	1 1 1 1
1401	.names in<14> max<14> _nb9 _na9<14>
1402	.def 0
1403	0 0 1 1
1404	0 1 0 1
1405	1 0 0 1
1406	1 1 1 1
1407	# carry/borrow
1408	.names in<14> max<14> _nb9 _nba
1409	.def 0
1410	0 0 1 1
1411	0 1 0 1
1412	0 1 1 1
1413	1 1 1 1
1414	.names in<15> max<15> _nba _na9<15>
1415	.def 0
1416	0 0 1 1
1417	0 1 0 1
1418	1 0 0 1
1419	1 1 1 1
1420	# carry/borrow
1421	.names in<15> max<15> _nba _nbb
1422	.def 0
1423	0 0 1 1
1424	0 1 0 1
1425	0 1 1 1
1426	1 1 1 1
1427	.names in<16> max<16> _nbb _na9<16>
1428	.def 0
1429	0 0 1 1
1430	0 1 0 1
1431	1 0 0 1
1432	1 1 1 1
1433	# carry/borrow
1434	.names in<16> max<16> _nbb _nbc
1435	.def 0
1436	0 0 1 1
1437	0 1 0 1
1438	0 1 1 1
1439	1 1 1 1
1440	.names in<17> max<17> _nbc _na9<17>
1441	.def 0
1442	0 0 1 1
1443	0 1 0 1
1444	1 0 0 1
1445	1 1 1 1
1446	# carry/borrow
1447	.names in<17> max<17> _nbc _nbd
1448	.def 0
1449	0 0 1 1
1450	0 1 0 1
1451	0 1 1 1
1452	1 1 1 1
1453	.names in<18> max<18> _nbd _na9<18>
1454	.def 0
1455	0 0 1 1
1456	0 1 0 1
1457	1 0 0 1
1458	1 1 1 1
1459	# carry/borrow
1460	.names in<18> max<18> _nbd _nbe
1461	.def 0
1462	0 0 1 1
1463	0 1 0 1
1464	0 1 1 1
1465	1 1 1 1
1466	.names in<19> max<19> _nbe _na9<19>
1467	.def 0
1468	0 0 1 1
1469	0 1 0 1
1470	1 0 0 1
1471	1 1 1 1
1472	# carry/borrow
1473	.names in<19> max<19> _nbe _nbf
1474	.def 0
1475	0 0 1 1
1476	0 1 0 1
1477	0 1 1 1
1478	1 1 1 1
1479	.names in<20> max<20> _nbf _na9<20>
1480	.def 0
1481	0 0 1 1
1482	0 1 0 1
1483	1 0 0 1
1484	1 1 1 1
1485	# carry/borrow
1486	.names in<20> max<20> _nbf _nc0
1487	.def 0
1488	0 0 1 1
1489	0 1 0 1
1490	0 1 1 1
1491	1 1 1 1
1492	.names in<21> max<21> _nc0 _na9<21>
1493	.def 0
1494	0 0 1 1
1495	0 1 0 1
1496	1 0 0 1
1497	1 1 1 1
1498	# carry/borrow
1499	.names in<21> max<21> _nc0 _nc1
1500	.def 0
1501	0 0 1 1
1502	0 1 0 1
1503	0 1 1 1
1504	1 1 1 1
1505	.names in<22> max<22> _nc1 _na9<22>
1506	.def 0
1507	0 0 1 1
1508	0 1 0 1
1509	1 0 0 1
1510	1 1 1 1
1511	# carry/borrow
1512	.names in<22> max<22> _nc1 _nc2
1513	.def 0
1514	0 0 1 1
1515	0 1 0 1
1516	0 1 1 1
1517	1 1 1 1
1518	.names in<23> max<23> _nc2 _na9<23>
1519	.def 0
1520	0 0 1 1
1521	0 1 0 1
1522	1 0 0 1
1523	1 1 1 1
1524	# carry/borrow
1525	.names in<23> max<23> _nc2 _nc3
1526	.def 0
1527	0 0 1 1
1528	0 1 0 1
1529	0 1 1 1
1530	1 1 1 1
1531	.names in<24> max<24> _nc3 _na9<24>
1532	.def 0
1533	0 0 1 1
1534	0 1 0 1
1535	1 0 0 1
1536	1 1 1 1
1537	# carry/borrow
1538	.names in<24> max<24> _nc3 _nc4
1539	.def 0
1540	0 0 1 1
1541	0 1 0 1
1542	0 1 1 1
1543	1 1 1 1
1544	.names in<25> max<25> _nc4 _na9<25>
1545	.def 0
1546	0 0 1 1
1547	0 1 0 1
1548	1 0 0 1
1549	1 1 1 1
1550	# carry/borrow
1551	.names in<25> max<25> _nc4 _nc5
1552	.def 0
1553	0 0 1 1
1554	0 1 0 1
1555	0 1 1 1
1556	1 1 1 1
1557	.names in<26> max<26> _nc5 _na9<26>
1558	.def 0
1559	0 0 1 1
1560	0 1 0 1
1561	1 0 0 1
1562	1 1 1 1
1563	# carry/borrow
1564	.names in<26> max<26> _nc5 _nc6
1565	.def 0
1566	0 0 1 1
1567	0 1 0 1
1568	0 1 1 1
1569	1 1 1 1
1570	.names in<27> max<27> _nc6 _na9<27>
1571	.def 0
1572	0 0 1 1
1573	0 1 0 1
1574	1 0 0 1
1575	1 1 1 1
1576	# carry/borrow
1577	.names in<27> max<27> _nc6 _nc7
1578	.def 0
1579	0 0 1 1
1580	0 1 0 1
1581	0 1 1 1
1582	1 1 1 1
1583	.names in<28> max<28> _nc7 _na9<28>
1584	.def 0
1585	0 0 1 1
1586	0 1 0 1
1587	1 0 0 1
1588	1 1 1 1
1589	# carry/borrow
1590	.names in<28> max<28> _nc7 _nc8
1591	.def 0
1592	0 0 1 1
1593	0 1 0 1
1594	0 1 1 1
1595	1 1 1 1
1596	.names in<29> max<29> _nc8 _na9<29>
1597	.def 0
1598	0 0 1 1
1599	0 1 0 1
1600	1 0 0 1
1601	1 1 1 1
1602	# carry/borrow
1603	.names in<29> max<29> _nc8 _nc9
1604	.def 0
1605	0 0 1 1
1606	0 1 0 1
1607	0 1 1 1
1608	1 1 1 1
1609	.names _na9<0> _na9<1> _na9<2> _na9<3> _na9<4> _na9<5> _na9<6> _na9<7> _na9<8> _na9<9> _na9<10> _na9<11> _na9<12> _na9<13> _na9<14> _na9<15> _na9<16> _na9<17> _na9<18> _na9<19> _na9<20> _na9<21> _na9<22> _na9<23> _na9<24> _na9<25> _na9<26> _na9<27> _na9<28> _na9<29> _nca
1610	.def 0
1611	0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1612	.names _nc9 _nca _ncb
1613	.def 1
1614	0 0 0
1615	.names _ncb _na8
1616	0 1
1617	1 0
1618	# (in > max ) ? in : max
1619	.names in<0> max<0> _na8 _ncc<0>
1620	0 - 1 0
1621	1 - 1 1
1622	- 0 0 0
1623	- 1 0 1
1624	.names in<1> max<1> _na8 _ncc<1>
1625	0 - 1 0
1626	1 - 1 1
1627	- 0 0 0
1628	- 1 0 1
1629	.names in<2> max<2> _na8 _ncc<2>
1630	0 - 1 0
1631	1 - 1 1
1632	- 0 0 0
1633	- 1 0 1
1634	.names in<3> max<3> _na8 _ncc<3>
1635	0 - 1 0
1636	1 - 1 1
1637	- 0 0 0
1638	- 1 0 1
1639	.names in<4> max<4> _na8 _ncc<4>
1640	0 - 1 0
1641	1 - 1 1
1642	- 0 0 0
1643	- 1 0 1
1644	.names in<5> max<5> _na8 _ncc<5>
1645	0 - 1 0
1646	1 - 1 1
1647	- 0 0 0
1648	- 1 0 1
1649	.names in<6> max<6> _na8 _ncc<6>
1650	0 - 1 0
1651	1 - 1 1
1652	- 0 0 0
1653	- 1 0 1
1654	.names in<7> max<7> _na8 _ncc<7>
1655	0 - 1 0
1656	1 - 1 1
1657	- 0 0 0
1658	- 1 0 1
1659	.names in<8> max<8> _na8 _ncc<8>
1660	0 - 1 0
1661	1 - 1 1
1662	- 0 0 0
1663	- 1 0 1
1664	.names in<9> max<9> _na8 _ncc<9>
1665	0 - 1 0
1666	1 - 1 1
1667	- 0 0 0
1668	- 1 0 1
1669	.names in<10> max<10> _na8 _ncc<10>
1670	0 - 1 0
1671	1 - 1 1
1672	- 0 0 0
1673	- 1 0 1
1674	.names in<11> max<11> _na8 _ncc<11>
1675	0 - 1 0
1676	1 - 1 1
1677	- 0 0 0
1678	- 1 0 1
1679	.names in<12> max<12> _na8 _ncc<12>
1680	0 - 1 0
1681	1 - 1 1
1682	- 0 0 0
1683	- 1 0 1
1684	.names in<13> max<13> _na8 _ncc<13>
1685	0 - 1 0
1686	1 - 1 1
1687	- 0 0 0
1688	- 1 0 1
1689	.names in<14> max<14> _na8 _ncc<14>
1690	0 - 1 0
1691	1 - 1 1
1692	- 0 0 0
1693	- 1 0 1
1694	.names in<15> max<15> _na8 _ncc<15>
1695	0 - 1 0
1696	1 - 1 1
1697	- 0 0 0
1698	- 1 0 1
1699	.names in<16> max<16> _na8 _ncc<16>
1700	0 - 1 0
1701	1 - 1 1
1702	- 0 0 0
1703	- 1 0 1
1704	.names in<17> max<17> _na8 _ncc<17>
1705	0 - 1 0
1706	1 - 1 1
1707	- 0 0 0
1708	- 1 0 1
1709	.names in<18> max<18> _na8 _ncc<18>
1710	0 - 1 0
1711	1 - 1 1
1712	- 0 0 0
1713	- 1 0 1
1714	.names in<19> max<19> _na8 _ncc<19>
1715	0 - 1 0
1716	1 - 1 1
1717	- 0 0 0
1718	- 1 0 1
1719	.names in<20> max<20> _na8 _ncc<20>
1720	0 - 1 0
1721	1 - 1 1
1722	- 0 0 0
1723	- 1 0 1
1724	.names in<21> max<21> _na8 _ncc<21>
1725	0 - 1 0
1726	1 - 1 1
1727	- 0 0 0
1728	- 1 0 1
1729	.names in<22> max<22> _na8 _ncc<22>
1730	0 - 1 0
1731	1 - 1 1
1732	- 0 0 0
1733	- 1 0 1
1734	.names in<23> max<23> _na8 _ncc<23>
1735	0 - 1 0
1736	1 - 1 1
1737	- 0 0 0
1738	- 1 0 1
1739	.names in<24> max<24> _na8 _ncc<24>
1740	0 - 1 0
1741	1 - 1 1
1742	- 0 0 0
1743	- 1 0 1
1744	.names in<25> max<25> _na8 _ncc<25>
1745	0 - 1 0
1746	1 - 1 1
1747	- 0 0 0
1748	- 1 0 1
1749	.names in<26> max<26> _na8 _ncc<26>
1750	0 - 1 0
1751	1 - 1 1
1752	- 0 0 0
1753	- 1 0 1
1754	.names in<27> max<27> _na8 _ncc<27>
1755	0 - 1 0
1756	1 - 1 1
1757	- 0 0 0
1758	- 1 0 1
1759	.names in<28> max<28> _na8 _ncc<28>
1760	0 - 1 0
1761	1 - 1 1
1762	- 0 0 0
1763	- 1 0 1
1764	.names in<29> max<29> _na8 _ncc<29>
1765	0 - 1 0
1766	1 - 1 1
1767	- 0 0 0
1768	- 1 0 1
1769	.names _ncc<0> sup$raw_na7<0>
1770	- =_ncc<0>
1771	.names _ncc<1> sup$raw_na7<1>
1772	- =_ncc<1>
1773	.names _ncc<2> sup$raw_na7<2>
1774	- =_ncc<2>
1775	.names _ncc<3> sup$raw_na7<3>
1776	- =_ncc<3>
1777	.names _ncc<4> sup$raw_na7<4>
1778	- =_ncc<4>
1779	.names _ncc<5> sup$raw_na7<5>
1780	- =_ncc<5>
1781	.names _ncc<6> sup$raw_na7<6>
1782	- =_ncc<6>
1783	.names _ncc<7> sup$raw_na7<7>
1784	- =_ncc<7>
1785	.names _ncc<8> sup$raw_na7<8>
1786	- =_ncc<8>
1787	.names _ncc<9> sup$raw_na7<9>
1788	- =_ncc<9>
1789	.names _ncc<10> sup$raw_na7<10>
1790	- =_ncc<10>
1791	.names _ncc<11> sup$raw_na7<11>
1792	- =_ncc<11>
1793	.names _ncc<12> sup$raw_na7<12>
1794	- =_ncc<12>
1795	.names _ncc<13> sup$raw_na7<13>
1796	- =_ncc<13>
1797	.names _ncc<14> sup$raw_na7<14>
1798	- =_ncc<14>
1799	.names _ncc<15> sup$raw_na7<15>
1800	- =_ncc<15>
1801	.names _ncc<16> sup$raw_na7<16>
1802	- =_ncc<16>
1803	.names _ncc<17> sup$raw_na7<17>
1804	- =_ncc<17>
1805	.names _ncc<18> sup$raw_na7<18>
1806	- =_ncc<18>
1807	.names _ncc<19> sup$raw_na7<19>
1808	- =_ncc<19>
1809	.names _ncc<20> sup$raw_na7<20>
1810	- =_ncc<20>
1811	.names _ncc<21> sup$raw_na7<21>
1812	- =_ncc<21>
1813	.names _ncc<22> sup$raw_na7<22>
1814	- =_ncc<22>
1815	.names _ncc<23> sup$raw_na7<23>
1816	- =_ncc<23>
1817	.names _ncc<24> sup$raw_na7<24>
1818	- =_ncc<24>
1819	.names _ncc<25> sup$raw_na7<25>
1820	- =_ncc<25>
1821	.names _ncc<26> sup$raw_na7<26>
1822	- =_ncc<26>
1823	.names _ncc<27> sup$raw_na7<27>
1824	- =_ncc<27>
1825	.names _ncc<28> sup$raw_na7<28>
1826	- =_ncc<28>
1827	.names _ncc<29> sup$raw_na7<29>
1828	- =_ncc<29>
1829	# assign inf = (in < min ) ? in : min
1830	# in < min
1831	.names _nee
1832	0
1833	.names in<0> min<0> _nee _ned<0>
1834	.def 0
1835	0 0 1 1
1836	0 1 0 1
1837	1 0 0 1
1838	1 1 1 1
1839	# carry/borrow
1840	.names _nf0
1841	0
1842	.names in<0> min<0> _nf0 _nef
1843	.def 0
1844	0 0 1 1
1845	0 1 0 1
1846	0 1 1 1
1847	1 1 1 1
1848	.names in<1> min<1> _nef _ned<1>
1849	.def 0
1850	0 0 1 1
1851	0 1 0 1
1852	1 0 0 1
1853	1 1 1 1
1854	# carry/borrow
1855	.names in<1> min<1> _nef _nf1
1856	.def 0
1857	0 0 1 1
1858	0 1 0 1
1859	0 1 1 1
1860	1 1 1 1
1861	.names in<2> min<2> _nf1 _ned<2>
1862	.def 0
1863	0 0 1 1
1864	0 1 0 1
1865	1 0 0 1
1866	1 1 1 1
1867	# carry/borrow
1868	.names in<2> min<2> _nf1 _nf2
1869	.def 0
1870	0 0 1 1
1871	0 1 0 1
1872	0 1 1 1
1873	1 1 1 1
1874	.names in<3> min<3> _nf2 _ned<3>
1875	.def 0
1876	0 0 1 1
1877	0 1 0 1
1878	1 0 0 1
1879	1 1 1 1
1880	# carry/borrow
1881	.names in<3> min<3> _nf2 _nf3
1882	.def 0
1883	0 0 1 1
1884	0 1 0 1
1885	0 1 1 1
1886	1 1 1 1
1887	.names in<4> min<4> _nf3 _ned<4>
1888	.def 0
1889	0 0 1 1
1890	0 1 0 1
1891	1 0 0 1
1892	1 1 1 1
1893	# carry/borrow
1894	.names in<4> min<4> _nf3 _nf4
1895	.def 0
1896	0 0 1 1
1897	0 1 0 1
1898	0 1 1 1
1899	1 1 1 1
1900	.names in<5> min<5> _nf4 _ned<5>
1901	.def 0
1902	0 0 1 1
1903	0 1 0 1
1904	1 0 0 1
1905	1 1 1 1
1906	# carry/borrow
1907	.names in<5> min<5> _nf4 _nf5
1908	.def 0
1909	0 0 1 1
1910	0 1 0 1
1911	0 1 1 1
1912	1 1 1 1
1913	.names in<6> min<6> _nf5 _ned<6>
1914	.def 0
1915	0 0 1 1
1916	0 1 0 1
1917	1 0 0 1
1918	1 1 1 1
1919	# carry/borrow
1920	.names in<6> min<6> _nf5 _nf6
1921	.def 0
1922	0 0 1 1
1923	0 1 0 1
1924	0 1 1 1
1925	1 1 1 1
1926	.names in<7> min<7> _nf6 _ned<7>
1927	.def 0
1928	0 0 1 1
1929	0 1 0 1
1930	1 0 0 1
1931	1 1 1 1
1932	# carry/borrow
1933	.names in<7> min<7> _nf6 _nf7
1934	.def 0
1935	0 0 1 1
1936	0 1 0 1
1937	0 1 1 1
1938	1 1 1 1
1939	.names in<8> min<8> _nf7 _ned<8>
1940	.def 0
1941	0 0 1 1
1942	0 1 0 1
1943	1 0 0 1
1944	1 1 1 1
1945	# carry/borrow
1946	.names in<8> min<8> _nf7 _nf8
1947	.def 0
1948	0 0 1 1
1949	0 1 0 1
1950	0 1 1 1
1951	1 1 1 1
1952	.names in<9> min<9> _nf8 _ned<9>
1953	.def 0
1954	0 0 1 1
1955	0 1 0 1
1956	1 0 0 1
1957	1 1 1 1
1958	# carry/borrow
1959	.names in<9> min<9> _nf8 _nf9
1960	.def 0
1961	0 0 1 1
1962	0 1 0 1
1963	0 1 1 1
1964	1 1 1 1
1965	.names in<10> min<10> _nf9 _ned<10>
1966	.def 0
1967	0 0 1 1
1968	0 1 0 1
1969	1 0 0 1
1970	1 1 1 1
1971	# carry/borrow
1972	.names in<10> min<10> _nf9 _nfa
1973	.def 0
1974	0 0 1 1
1975	0 1 0 1
1976	0 1 1 1
1977	1 1 1 1
1978	.names in<11> min<11> _nfa _ned<11>
1979	.def 0
1980	0 0 1 1
1981	0 1 0 1
1982	1 0 0 1
1983	1 1 1 1
1984	# carry/borrow
1985	.names in<11> min<11> _nfa _nfb
1986	.def 0
1987	0 0 1 1
1988	0 1 0 1
1989	0 1 1 1
1990	1 1 1 1
1991	.names in<12> min<12> _nfb _ned<12>
1992	.def 0
1993	0 0 1 1
1994	0 1 0 1
1995	1 0 0 1
1996	1 1 1 1
1997	# carry/borrow
1998	.names in<12> min<12> _nfb _nfc
1999	.def 0
2000	0 0 1 1
2001	0 1 0 1
2002	0 1 1 1
2003	1 1 1 1
2004	.names in<13> min<13> _nfc _ned<13>
2005	.def 0
2006	0 0 1 1
2007	0 1 0 1
2008	1 0 0 1
2009	1 1 1 1
2010	# carry/borrow
2011	.names in<13> min<13> _nfc _nfd
2012	.def 0
2013	0 0 1 1
2014	0 1 0 1
2015	0 1 1 1
2016	1 1 1 1
2017	.names in<14> min<14> _nfd _ned<14>
2018	.def 0
2019	0 0 1 1
2020	0 1 0 1
2021	1 0 0 1
2022	1 1 1 1
2023	# carry/borrow
2024	.names in<14> min<14> _nfd _nfe
2025	.def 0
2026	0 0 1 1
2027	0 1 0 1
2028	0 1 1 1
2029	1 1 1 1
2030	.names in<15> min<15> _nfe _ned<15>
2031	.def 0
2032	0 0 1 1
2033	0 1 0 1
2034	1 0 0 1
2035	1 1 1 1
2036	# carry/borrow
2037	.names in<15> min<15> _nfe _nff
2038	.def 0
2039	0 0 1 1
2040	0 1 0 1
2041	0 1 1 1
2042	1 1 1 1
2043	.names in<16> min<16> _nff _ned<16>
2044	.def 0
2045	0 0 1 1
2046	0 1 0 1
2047	1 0 0 1
2048	1 1 1 1
2049	# carry/borrow
2050	.names in<16> min<16> _nff _n100
2051	.def 0
2052	0 0 1 1
2053	0 1 0 1
2054	0 1 1 1
2055	1 1 1 1
2056	.names in<17> min<17> _n100 _ned<17>
2057	.def 0
2058	0 0 1 1
2059	0 1 0 1
2060	1 0 0 1
2061	1 1 1 1
2062	# carry/borrow
2063	.names in<17> min<17> _n100 _n101
2064	.def 0
2065	0 0 1 1
2066	0 1 0 1
2067	0 1 1 1
2068	1 1 1 1
2069	.names in<18> min<18> _n101 _ned<18>
2070	.def 0
2071	0 0 1 1
2072	0 1 0 1
2073	1 0 0 1
2074	1 1 1 1
2075	# carry/borrow
2076	.names in<18> min<18> _n101 _n102
2077	.def 0
2078	0 0 1 1
2079	0 1 0 1
2080	0 1 1 1
2081	1 1 1 1
2082	.names in<19> min<19> _n102 _ned<19>
2083	.def 0
2084	0 0 1 1
2085	0 1 0 1
2086	1 0 0 1
2087	1 1 1 1
2088	# carry/borrow
2089	.names in<19> min<19> _n102 _n103
2090	.def 0
2091	0 0 1 1
2092	0 1 0 1
2093	0 1 1 1
2094	1 1 1 1
2095	.names in<20> min<20> _n103 _ned<20>
2096	.def 0
2097	0 0 1 1
2098	0 1 0 1
2099	1 0 0 1
2100	1 1 1 1
2101	# carry/borrow
2102	.names in<20> min<20> _n103 _n104
2103	.def 0
2104	0 0 1 1
2105	0 1 0 1
2106	0 1 1 1
2107	1 1 1 1
2108	.names in<21> min<21> _n104 _ned<21>
2109	.def 0
2110	0 0 1 1
2111	0 1 0 1
2112	1 0 0 1
2113	1 1 1 1
2114	# carry/borrow
2115	.names in<21> min<21> _n104 _n105
2116	.def 0
2117	0 0 1 1
2118	0 1 0 1
2119	0 1 1 1
2120	1 1 1 1
2121	.names in<22> min<22> _n105 _ned<22>
2122	.def 0
2123	0 0 1 1
2124	0 1 0 1
2125	1 0 0 1
2126	1 1 1 1
2127	# carry/borrow
2128	.names in<22> min<22> _n105 _n106
2129	.def 0
2130	0 0 1 1
2131	0 1 0 1
2132	0 1 1 1
2133	1 1 1 1
2134	.names in<23> min<23> _n106 _ned<23>
2135	.def 0
2136	0 0 1 1
2137	0 1 0 1
2138	1 0 0 1
2139	1 1 1 1
2140	# carry/borrow
2141	.names in<23> min<23> _n106 _n107
2142	.def 0
2143	0 0 1 1
2144	0 1 0 1
2145	0 1 1 1
2146	1 1 1 1
2147	.names in<24> min<24> _n107 _ned<24>
2148	.def 0
2149	0 0 1 1
2150	0 1 0 1
2151	1 0 0 1
2152	1 1 1 1
2153	# carry/borrow
2154	.names in<24> min<24> _n107 _n108
2155	.def 0
2156	0 0 1 1
2157	0 1 0 1
2158	0 1 1 1
2159	1 1 1 1
2160	.names in<25> min<25> _n108 _ned<25>
2161	.def 0
2162	0 0 1 1
2163	0 1 0 1
2164	1 0 0 1
2165	1 1 1 1
2166	# carry/borrow
2167	.names in<25> min<25> _n108 _n109
2168	.def 0
2169	0 0 1 1
2170	0 1 0 1
2171	0 1 1 1
2172	1 1 1 1
2173	.names in<26> min<26> _n109 _ned<26>
2174	.def 0
2175	0 0 1 1
2176	0 1 0 1
2177	1 0 0 1
2178	1 1 1 1
2179	# carry/borrow
2180	.names in<26> min<26> _n109 _n10a
2181	.def 0
2182	0 0 1 1
2183	0 1 0 1
2184	0 1 1 1
2185	1 1 1 1
2186	.names in<27> min<27> _n10a _ned<27>
2187	.def 0
2188	0 0 1 1
2189	0 1 0 1
2190	1 0 0 1
2191	1 1 1 1
2192	# carry/borrow
2193	.names in<27> min<27> _n10a _n10b
2194	.def 0
2195	0 0 1 1
2196	0 1 0 1
2197	0 1 1 1
2198	1 1 1 1
2199	.names in<28> min<28> _n10b _ned<28>
2200	.def 0
2201	0 0 1 1
2202	0 1 0 1
2203	1 0 0 1
2204	1 1 1 1
2205	# carry/borrow
2206	.names in<28> min<28> _n10b _n10c
2207	.def 0
2208	0 0 1 1
2209	0 1 0 1
2210	0 1 1 1
2211	1 1 1 1
2212	.names in<29> min<29> _n10c _ned<29>
2213	.def 0
2214	0 0 1 1
2215	0 1 0 1
2216	1 0 0 1
2217	1 1 1 1
2218	# carry/borrow
2219	.names in<29> min<29> _n10c _n10d
2220	.def 0
2221	0 0 1 1
2222	0 1 0 1
2223	0 1 1 1
2224	1 1 1 1
2225	.names _ned<0> _ned<1> _ned<2> _ned<3> _ned<4> _ned<5> _ned<6> _ned<7> _ned<8> _ned<9> _ned<10> _ned<11> _ned<12> _ned<13> _ned<14> _ned<15> _ned<16> _ned<17> _ned<18> _ned<19> _ned<20> _ned<21> _ned<22> _ned<23> _ned<24> _ned<25> _ned<26> _ned<27> _ned<28> _ned<29> _n10e
2226	.def 1
2227	0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2228	.names _n10d _n10e _nec
2229	.def 0
2230	1 1 1
2231	# (in < min ) ? in : min
2232	.names in<0> min<0> _nec _n10f<0>
2233	0 - 1 0
2234	1 - 1 1
2235	- 0 0 0
2236	- 1 0 1
2237	.names in<1> min<1> _nec _n10f<1>
2238	0 - 1 0
2239	1 - 1 1
2240	- 0 0 0
2241	- 1 0 1
2242	.names in<2> min<2> _nec _n10f<2>
2243	0 - 1 0
2244	1 - 1 1
2245	- 0 0 0
2246	- 1 0 1
2247	.names in<3> min<3> _nec _n10f<3>
2248	0 - 1 0
2249	1 - 1 1
2250	- 0 0 0
2251	- 1 0 1
2252	.names in<4> min<4> _nec _n10f<4>
2253	0 - 1 0
2254	1 - 1 1
2255	- 0 0 0
2256	- 1 0 1
2257	.names in<5> min<5> _nec _n10f<5>
2258	0 - 1 0
2259	1 - 1 1
2260	- 0 0 0
2261	- 1 0 1
2262	.names in<6> min<6> _nec _n10f<6>
2263	0 - 1 0
2264	1 - 1 1
2265	- 0 0 0
2266	- 1 0 1
2267	.names in<7> min<7> _nec _n10f<7>
2268	0 - 1 0
2269	1 - 1 1
2270	- 0 0 0
2271	- 1 0 1
2272	.names in<8> min<8> _nec _n10f<8>
2273	0 - 1 0
2274	1 - 1 1
2275	- 0 0 0
2276	- 1 0 1
2277	.names in<9> min<9> _nec _n10f<9>
2278	0 - 1 0
2279	1 - 1 1
2280	- 0 0 0
2281	- 1 0 1
2282	.names in<10> min<10> _nec _n10f<10>
2283	0 - 1 0
2284	1 - 1 1
2285	- 0 0 0
2286	- 1 0 1
2287	.names in<11> min<11> _nec _n10f<11>
2288	0 - 1 0
2289	1 - 1 1
2290	- 0 0 0
2291	- 1 0 1
2292	.names in<12> min<12> _nec _n10f<12>
2293	0 - 1 0
2294	1 - 1 1
2295	- 0 0 0
2296	- 1 0 1
2297	.names in<13> min<13> _nec _n10f<13>
2298	0 - 1 0
2299	1 - 1 1
2300	- 0 0 0
2301	- 1 0 1
2302	.names in<14> min<14> _nec _n10f<14>
2303	0 - 1 0
2304	1 - 1 1
2305	- 0 0 0
2306	- 1 0 1
2307	.names in<15> min<15> _nec _n10f<15>
2308	0 - 1 0
2309	1 - 1 1
2310	- 0 0 0
2311	- 1 0 1
2312	.names in<16> min<16> _nec _n10f<16>
2313	0 - 1 0
2314	1 - 1 1
2315	- 0 0 0
2316	- 1 0 1
2317	.names in<17> min<17> _nec _n10f<17>
2318	0 - 1 0
2319	1 - 1 1
2320	- 0 0 0
2321	- 1 0 1
2322	.names in<18> min<18> _nec _n10f<18>
2323	0 - 1 0
2324	1 - 1 1
2325	- 0 0 0
2326	- 1 0 1
2327	.names in<19> min<19> _nec _n10f<19>
2328	0 - 1 0
2329	1 - 1 1
2330	- 0 0 0
2331	- 1 0 1
2332	.names in<20> min<20> _nec _n10f<20>
2333	0 - 1 0
2334	1 - 1 1
2335	- 0 0 0
2336	- 1 0 1
2337	.names in<21> min<21> _nec _n10f<21>
2338	0 - 1 0
2339	1 - 1 1
2340	- 0 0 0
2341	- 1 0 1
2342	.names in<22> min<22> _nec _n10f<22>
2343	0 - 1 0
2344	1 - 1 1
2345	- 0 0 0
2346	- 1 0 1
2347	.names in<23> min<23> _nec _n10f<23>
2348	0 - 1 0
2349	1 - 1 1
2350	- 0 0 0
2351	- 1 0 1
2352	.names in<24> min<24> _nec _n10f<24>
2353	0 - 1 0
2354	1 - 1 1
2355	- 0 0 0
2356	- 1 0 1
2357	.names in<25> min<25> _nec _n10f<25>
2358	0 - 1 0
2359	1 - 1 1
2360	- 0 0 0
2361	- 1 0 1
2362	.names in<26> min<26> _nec _n10f<26>
2363	0 - 1 0
2364	1 - 1 1
2365	- 0 0 0
2366	- 1 0 1
2367	.names in<27> min<27> _nec _n10f<27>
2368	0 - 1 0
2369	1 - 1 1
2370	- 0 0 0
2371	- 1 0 1
2372	.names in<28> min<28> _nec _n10f<28>
2373	0 - 1 0
2374	1 - 1 1
2375	- 0 0 0
2376	- 1 0 1
2377	.names in<29> min<29> _nec _n10f<29>
2378	0 - 1 0
2379	1 - 1 1
2380	- 0 0 0
2381	- 1 0 1
2382	.names _n10f<0> inf$raw_neb<0>
2383	- =_n10f<0>
2384	.names _n10f<1> inf$raw_neb<1>
2385	- =_n10f<1>
2386	.names _n10f<2> inf$raw_neb<2>
2387	- =_n10f<2>
2388	.names _n10f<3> inf$raw_neb<3>
2389	- =_n10f<3>
2390	.names _n10f<4> inf$raw_neb<4>
2391	- =_n10f<4>
2392	.names _n10f<5> inf$raw_neb<5>
2393	- =_n10f<5>
2394	.names _n10f<6> inf$raw_neb<6>
2395	- =_n10f<6>
2396	.names _n10f<7> inf$raw_neb<7>
2397	- =_n10f<7>
2398	.names _n10f<8> inf$raw_neb<8>
2399	- =_n10f<8>
2400	.names _n10f<9> inf$raw_neb<9>
2401	- =_n10f<9>
2402	.names _n10f<10> inf$raw_neb<10>
2403	- =_n10f<10>
2404	.names _n10f<11> inf$raw_neb<11>
2405	- =_n10f<11>
2406	.names _n10f<12> inf$raw_neb<12>
2407	- =_n10f<12>
2408	.names _n10f<13> inf$raw_neb<13>
2409	- =_n10f<13>
2410	.names _n10f<14> inf$raw_neb<14>
2411	- =_n10f<14>
2412	.names _n10f<15> inf$raw_neb<15>
2413	- =_n10f<15>
2414	.names _n10f<16> inf$raw_neb<16>
2415	- =_n10f<16>
2416	.names _n10f<17> inf$raw_neb<17>
2417	- =_n10f<17>
2418	.names _n10f<18> inf$raw_neb<18>
2419	- =_n10f<18>
2420	.names _n10f<19> inf$raw_neb<19>
2421	- =_n10f<19>
2422	.names _n10f<20> inf$raw_neb<20>
2423	- =_n10f<20>
2424	.names _n10f<21> inf$raw_neb<21>
2425	- =_n10f<21>
2426	.names _n10f<22> inf$raw_neb<22>
2427	- =_n10f<22>
2428	.names _n10f<23> inf$raw_neb<23>
2429	- =_n10f<23>
2430	.names _n10f<24> inf$raw_neb<24>
2431	- =_n10f<24>
2432	.names _n10f<25> inf$raw_neb<25>
2433	- =_n10f<25>
2434	.names _n10f<26> inf$raw_neb<26>
2435	- =_n10f<26>
2436	.names _n10f<27> inf$raw_neb<27>
2437	- =_n10f<27>
2438	.names _n10f<28> inf$raw_neb<28>
2439	- =_n10f<28>
2440	.names _n10f<29> inf$raw_neb<29>
2441	- =_n10f<29>
2442	.names clear _n12e
2443	- =clear
2444	# last = 0
2445	.names last$clear_n12f$true<0>
2446	0
2447	.names last$clear_n12f$true<1>
2448	0
2449	.names last$clear_n12f$true<2>
2450	0
2451	.names last$clear_n12f$true<3>
2452	0
2453	.names last$clear_n12f$true<4>
2454	0
2455	.names last$clear_n12f$true<5>
2456	0
2457	.names last$clear_n12f$true<6>
2458	0
2459	.names last$clear_n12f$true<7>
2460	0
2461	.names last$clear_n12f$true<8>
2462	0
2463	.names last$clear_n12f$true<9>
2464	0
2465	.names last$clear_n12f$true<10>
2466	0
2467	.names last$clear_n12f$true<11>
2468	0
2469	.names last$clear_n12f$true<12>
2470	0
2471	.names last$clear_n12f$true<13>
2472	0
2473	.names last$clear_n12f$true<14>
2474	0
2475	.names last$clear_n12f$true<15>
2476	0
2477	.names last$clear_n12f$true<16>
2478	0
2479	.names last$clear_n12f$true<17>
2480	0
2481	.names last$clear_n12f$true<18>
2482	0
2483	.names last$clear_n12f$true<19>
2484	0
2485	.names last$clear_n12f$true<20>
2486	0
2487	.names last$clear_n12f$true<21>
2488	0
2489	.names last$clear_n12f$true<22>
2490	0
2491	.names last$clear_n12f$true<23>
2492	0
2493	.names last$clear_n12f$true<24>
2494	0
2495	.names last$clear_n12f$true<25>
2496	0
2497	.names last$clear_n12f$true<26>
2498	0
2499	.names last$clear_n12f$true<27>
2500	0
2501	.names last$clear_n12f$true<28>
2502	0
2503	.names last$clear_n12f$true<29>
2504	0
2505	# max = 0
2506	.names max$clear_n130$true<0>
2507	0
2508	.names max$clear_n130$true<1>
2509	0
2510	.names max$clear_n130$true<2>
2511	0
2512	.names max$clear_n130$true<3>
2513	0
2514	.names max$clear_n130$true<4>
2515	0
2516	.names max$clear_n130$true<5>
2517	0
2518	.names max$clear_n130$true<6>
2519	0
2520	.names max$clear_n130$true<7>
2521	0
2522	.names max$clear_n130$true<8>
2523	0
2524	.names max$clear_n130$true<9>
2525	0
2526	.names max$clear_n130$true<10>
2527	0
2528	.names max$clear_n130$true<11>
2529	0
2530	.names max$clear_n130$true<12>
2531	0
2532	.names max$clear_n130$true<13>
2533	0
2534	.names max$clear_n130$true<14>
2535	0
2536	.names max$clear_n130$true<15>
2537	0
2538	.names max$clear_n130$true<16>
2539	0
2540	.names max$clear_n130$true<17>
2541	0
2542	.names max$clear_n130$true<18>
2543	0
2544	.names max$clear_n130$true<19>
2545	0
2546	.names max$clear_n130$true<20>
2547	0
2548	.names max$clear_n130$true<21>
2549	0
2550	.names max$clear_n130$true<22>
2551	0
2552	.names max$clear_n130$true<23>
2553	0
2554	.names max$clear_n130$true<24>
2555	0
2556	.names max$clear_n130$true<25>
2557	0
2558	.names max$clear_n130$true<26>
2559	0
2560	.names max$clear_n130$true<27>
2561	0
2562	.names max$clear_n130$true<28>
2563	0
2564	.names max$clear_n130$true<29>
2565	0
2566	# min = {'b1}
2567	.names _n133
2568	1
2569	.names _n133 _n132<0>
2570	- =_n133
2571	.names _n134
2572	0
2573	.names _n135
2574	1
2575	.names _n135 _n132<1>
2576	- =_n135
2577	.names _n136
2578	0
2579	.names _n137
2580	1
2581	.names _n137 _n132<2>
2582	- =_n137
2583	.names _n138
2584	0
2585	.names _n139
2586	1
2587	.names _n139 _n132<3>
2588	- =_n139
2589	.names _n13a
2590	0
2591	.names _n13b
2592	1
2593	.names _n13b _n132<4>
2594	- =_n13b
2595	.names _n13c
2596	0
2597	.names _n13d
2598	1
2599	.names _n13d _n132<5>
2600	- =_n13d
2601	.names _n13e
2602	0
2603	.names _n13f
2604	1
2605	.names _n13f _n132<6>
2606	- =_n13f
2607	.names _n140
2608	0
2609	.names _n141
2610	1
2611	.names _n141 _n132<7>
2612	- =_n141
2613	.names _n142
2614	0
2615	.names _n143
2616	1
2617	.names _n143 _n132<8>
2618	- =_n143
2619	.names _n144
2620	0
2621	.names _n145
2622	1
2623	.names _n145 _n132<9>
2624	- =_n145
2625	.names _n146
2626	0
2627	.names _n147
2628	1
2629	.names _n147 _n132<10>
2630	- =_n147
2631	.names _n148
2632	0
2633	.names _n149
2634	1
2635	.names _n149 _n132<11>
2636	- =_n149
2637	.names _n14a
2638	0
2639	.names _n14b
2640	1
2641	.names _n14b _n132<12>
2642	- =_n14b
2643	.names _n14c
2644	0
2645	.names _n14d
2646	1
2647	.names _n14d _n132<13>
2648	- =_n14d
2649	.names _n14e
2650	0
2651	.names _n14f
2652	1
2653	.names _n14f _n132<14>
2654	- =_n14f
2655	.names _n150
2656	0
2657	.names _n151
2658	1
2659	.names _n151 _n132<15>
2660	- =_n151
2661	.names _n152
2662	0
2663	.names _n153
2664	1
2665	.names _n153 _n132<16>
2666	- =_n153
2667	.names _n154
2668	0
2669	.names _n155
2670	1
2671	.names _n155 _n132<17>
2672	- =_n155
2673	.names _n156
2674	0
2675	.names _n157
2676	1
2677	.names _n157 _n132<18>
2678	- =_n157
2679	.names _n158
2680	0
2681	.names _n159
2682	1
2683	.names _n159 _n132<19>
2684	- =_n159
2685	.names _n15a
2686	0
2687	.names _n15b
2688	1
2689	.names _n15b _n132<20>
2690	- =_n15b
2691	.names _n15c
2692	0
2693	.names _n15d
2694	1
2695	.names _n15d _n132<21>
2696	- =_n15d
2697	.names _n15e
2698	0
2699	.names _n15f
2700	1
2701	.names _n15f _n132<22>
2702	- =_n15f
2703	.names _n160
2704	0
2705	.names _n161
2706	1
2707	.names _n161 _n132<23>
2708	- =_n161
2709	.names _n162
2710	0
2711	.names _n163
2712	1
2713	.names _n163 _n132<24>
2714	- =_n163
2715	.names _n164
2716	0
2717	.names _n165
2718	1
2719	.names _n165 _n132<25>
2720	- =_n165
2721	.names _n166
2722	0
2723	.names _n167
2724	1
2725	.names _n167 _n132<26>
2726	- =_n167
2727	.names _n168
2728	0
2729	.names _n169
2730	1
2731	.names _n169 _n132<27>
2732	- =_n169
2733	.names _n16a
2734	0
2735	.names _n16b
2736	1
2737	.names _n16b _n132<28>
2738	- =_n16b
2739	.names _n16c
2740	0
2741	.names _n16d
2742	1
2743	.names _n16d _n132<29>
2744	- =_n16d
2745	.names _n16e
2746	0
2747	.names _n132<0> min$clear_n131$true<0>
2748	- =_n132<0>
2749	.names _n132<1> min$clear_n131$true<1>
2750	- =_n132<1>
2751	.names _n132<2> min$clear_n131$true<2>
2752	- =_n132<2>
2753	.names _n132<3> min$clear_n131$true<3>
2754	- =_n132<3>
2755	.names _n132<4> min$clear_n131$true<4>
2756	- =_n132<4>
2757	.names _n132<5> min$clear_n131$true<5>
2758	- =_n132<5>
2759	.names _n132<6> min$clear_n131$true<6>
2760	- =_n132<6>
2761	.names _n132<7> min$clear_n131$true<7>
2762	- =_n132<7>
2763	.names _n132<8> min$clear_n131$true<8>
2764	- =_n132<8>
2765	.names _n132<9> min$clear_n131$true<9>
2766	- =_n132<9>
2767	.names _n132<10> min$clear_n131$true<10>
2768	- =_n132<10>
2769	.names _n132<11> min$clear_n131$true<11>
2770	- =_n132<11>
2771	.names _n132<12> min$clear_n131$true<12>
2772	- =_n132<12>
2773	.names _n132<13> min$clear_n131$true<13>
2774	- =_n132<13>
2775	.names _n132<14> min$clear_n131$true<14>
2776	- =_n132<14>
2777	.names _n132<15> min$clear_n131$true<15>
2778	- =_n132<15>
2779	.names _n132<16> min$clear_n131$true<16>
2780	- =_n132<16>
2781	.names _n132<17> min$clear_n131$true<17>
2782	- =_n132<17>
2783	.names _n132<18> min$clear_n131$true<18>
2784	- =_n132<18>
2785	.names _n132<19> min$clear_n131$true<19>
2786	- =_n132<19>
2787	.names _n132<20> min$clear_n131$true<20>
2788	- =_n132<20>
2789	.names _n132<21> min$clear_n131$true<21>
2790	- =_n132<21>
2791	.names _n132<22> min$clear_n131$true<22>
2792	- =_n132<22>
2793	.names _n132<23> min$clear_n131$true<23>
2794	- =_n132<23>
2795	.names _n132<24> min$clear_n131$true<24>
2796	- =_n132<24>
2797	.names _n132<25> min$clear_n131$true<25>
2798	- =_n132<25>
2799	.names _n132<26> min$clear_n131$true<26>
2800	- =_n132<26>
2801	.names _n132<27> min$clear_n131$true<27>
2802	- =_n132<27>
2803	.names _n132<28> min$clear_n131$true<28>
2804	- =_n132<28>
2805	.names _n132<29> min$clear_n131$true<29>
2806	- =_n132<29>
2807	.names enable _n16f
2808	0 1
2809	1 0
2810	.names _n16f _n170
2811	- =_n16f
2812	# max = 0
2813	.names max$_n16f_n171$true<0>
2814	0
2815	.names max$_n16f_n171$true<1>
2816	0
2817	.names max$_n16f_n171$true<2>
2818	0
2819	.names max$_n16f_n171$true<3>
2820	0
2821	.names max$_n16f_n171$true<4>
2822	0
2823	.names max$_n16f_n171$true<5>
2824	0
2825	.names max$_n16f_n171$true<6>
2826	0
2827	.names max$_n16f_n171$true<7>
2828	0
2829	.names max$_n16f_n171$true<8>
2830	0
2831	.names max$_n16f_n171$true<9>
2832	0
2833	.names max$_n16f_n171$true<10>
2834	0
2835	.names max$_n16f_n171$true<11>
2836	0
2837	.names max$_n16f_n171$true<12>
2838	0
2839	.names max$_n16f_n171$true<13>
2840	0
2841	.names max$_n16f_n171$true<14>
2842	0
2843	.names max$_n16f_n171$true<15>
2844	0
2845	.names max$_n16f_n171$true<16>
2846	0
2847	.names max$_n16f_n171$true<17>
2848	0
2849	.names max$_n16f_n171$true<18>
2850	0
2851	.names max$_n16f_n171$true<19>
2852	0
2853	.names max$_n16f_n171$true<20>
2854	0
2855	.names max$_n16f_n171$true<21>
2856	0
2857	.names max$_n16f_n171$true<22>
2858	0
2859	.names max$_n16f_n171$true<23>
2860	0
2861	.names max$_n16f_n171$true<24>
2862	0
2863	.names max$_n16f_n171$true<25>
2864	0
2865	.names max$_n16f_n171$true<26>
2866	0
2867	.names max$_n16f_n171$true<27>
2868	0
2869	.names max$_n16f_n171$true<28>
2870	0
2871	.names max$_n16f_n171$true<29>
2872	0
2873	# min = {'b1}
2874	.names _n174
2875	1
2876	.names _n174 _n173<0>
2877	- =_n174
2878	.names _n175
2879	0
2880	.names _n176
2881	1
2882	.names _n176 _n173<1>
2883	- =_n176
2884	.names _n177
2885	0
2886	.names _n178
2887	1
2888	.names _n178 _n173<2>
2889	- =_n178
2890	.names _n179
2891	0
2892	.names _n17a
2893	1
2894	.names _n17a _n173<3>
2895	- =_n17a
2896	.names _n17b
2897	0
2898	.names _n17c
2899	1
2900	.names _n17c _n173<4>
2901	- =_n17c
2902	.names _n17d
2903	0
2904	.names _n17e
2905	1
2906	.names _n17e _n173<5>
2907	- =_n17e
2908	.names _n17f
2909	0
2910	.names _n180
2911	1
2912	.names _n180 _n173<6>
2913	- =_n180
2914	.names _n181
2915	0
2916	.names _n182
2917	1
2918	.names _n182 _n173<7>
2919	- =_n182
2920	.names _n183
2921	0
2922	.names _n184
2923	1
2924	.names _n184 _n173<8>
2925	- =_n184
2926	.names _n185
2927	0
2928	.names _n186
2929	1
2930	.names _n186 _n173<9>
2931	- =_n186
2932	.names _n187
2933	0
2934	.names _n188
2935	1
2936	.names _n188 _n173<10>
2937	- =_n188
2938	.names _n189
2939	0
2940	.names _n18a
2941	1
2942	.names _n18a _n173<11>
2943	- =_n18a
2944	.names _n18b
2945	0
2946	.names _n18c
2947	1
2948	.names _n18c _n173<12>
2949	- =_n18c
2950	.names _n18d
2951	0
2952	.names _n18e
2953	1
2954	.names _n18e _n173<13>
2955	- =_n18e
2956	.names _n18f
2957	0
2958	.names _n190
2959	1
2960	.names _n190 _n173<14>
2961	- =_n190
2962	.names _n191
2963	0
2964	.names _n192
2965	1
2966	.names _n192 _n173<15>
2967	- =_n192
2968	.names _n193
2969	0
2970	.names _n194
2971	1
2972	.names _n194 _n173<16>
2973	- =_n194
2974	.names _n195
2975	0
2976	.names _n196
2977	1
2978	.names _n196 _n173<17>
2979	- =_n196
2980	.names _n197
2981	0
2982	.names _n198
2983	1
2984	.names _n198 _n173<18>
2985	- =_n198
2986	.names _n199
2987	0
2988	.names _n19a
2989	1
2990	.names _n19a _n173<19>
2991	- =_n19a
2992	.names _n19b
2993	0
2994	.names _n19c
2995	1
2996	.names _n19c _n173<20>
2997	- =_n19c
2998	.names _n19d
2999	0
3000	.names _n19e
3001	1
3002	.names _n19e _n173<21>
3003	- =_n19e
3004	.names _n19f
3005	0
3006	.names _n1a0
3007	1
3008	.names _n1a0 _n173<22>
3009	- =_n1a0
3010	.names _n1a1
3011	0
3012	.names _n1a2
3013	1
3014	.names _n1a2 _n173<23>
3015	- =_n1a2
3016	.names _n1a3
3017	0
3018	.names _n1a4
3019	1
3020	.names _n1a4 _n173<24>
3021	- =_n1a4
3022	.names _n1a5
3023	0
3024	.names _n1a6
3025	1
3026	.names _n1a6 _n173<25>
3027	- =_n1a6
3028	.names _n1a7
3029	0
3030	.names _n1a8
3031	1
3032	.names _n1a8 _n173<26>
3033	- =_n1a8
3034	.names _n1a9
3035	0
3036	.names _n1aa
3037	1
3038	.names _n1aa _n173<27>
3039	- =_n1aa
3040	.names _n1ab
3041	0
3042	.names _n1ac
3043	1
3044	.names _n1ac _n173<28>
3045	- =_n1ac
3046	.names _n1ad
3047	0
3048	.names _n1ae
3049	1
3050	.names _n1ae _n173<29>
3051	- =_n1ae
3052	.names _n1af
3053	0
3054	.names _n173<0> min$_n16f_n172$true<0>
3055	- =_n173<0>
3056	.names _n173<1> min$_n16f_n172$true<1>
3057	- =_n173<1>
3058	.names _n173<2> min$_n16f_n172$true<2>
3059	- =_n173<2>
3060	.names _n173<3> min$_n16f_n172$true<3>
3061	- =_n173<3>
3062	.names _n173<4> min$_n16f_n172$true<4>
3063	- =_n173<4>
3064	.names _n173<5> min$_n16f_n172$true<5>
3065	- =_n173<5>
3066	.names _n173<6> min$_n16f_n172$true<6>
3067	- =_n173<6>
3068	.names _n173<7> min$_n16f_n172$true<7>
3069	- =_n173<7>
3070	.names _n173<8> min$_n16f_n172$true<8>
3071	- =_n173<8>
3072	.names _n173<9> min$_n16f_n172$true<9>
3073	- =_n173<9>
3074	.names _n173<10> min$_n16f_n172$true<10>
3075	- =_n173<10>
3076	.names _n173<11> min$_n16f_n172$true<11>
3077	- =_n173<11>
3078	.names _n173<12> min$_n16f_n172$true<12>
3079	- =_n173<12>
3080	.names _n173<13> min$_n16f_n172$true<13>
3081	- =_n173<13>
3082	.names _n173<14> min$_n16f_n172$true<14>
3083	- =_n173<14>
3084	.names _n173<15> min$_n16f_n172$true<15>
3085	- =_n173<15>
3086	.names _n173<16> min$_n16f_n172$true<16>
3087	- =_n173<16>
3088	.names _n173<17> min$_n16f_n172$true<17>
3089	- =_n173<17>
3090	.names _n173<18> min$_n16f_n172$true<18>
3091	- =_n173<18>
3092	.names _n173<19> min$_n16f_n172$true<19>
3093	- =_n173<19>
3094	.names _n173<20> min$_n16f_n172$true<20>
3095	- =_n173<20>
3096	.names _n173<21> min$_n16f_n172$true<21>
3097	- =_n173<21>
3098	.names _n173<22> min$_n16f_n172$true<22>
3099	- =_n173<22>
3100	.names _n173<23> min$_n16f_n172$true<23>
3101	- =_n173<23>
3102	.names _n173<24> min$_n16f_n172$true<24>
3103	- =_n173<24>
3104	.names _n173<25> min$_n16f_n172$true<25>
3105	- =_n173<25>
3106	.names _n173<26> min$_n16f_n172$true<26>
3107	- =_n173<26>
3108	.names _n173<27> min$_n16f_n172$true<27>
3109	- =_n173<27>
3110	.names _n173<28> min$_n16f_n172$true<28>
3111	- =_n173<28>
3112	.names _n173<29> min$_n16f_n172$true<29>
3113	- =_n173<29>
3114	# last = in
3115	.names in<0> last$_n16f_n1b0$false<0>
3116	- =in<0>
3117	.names in<1> last$_n16f_n1b0$false<1>
3118	- =in<1>
3119	.names in<2> last$_n16f_n1b0$false<2>
3120	- =in<2>
3121	.names in<3> last$_n16f_n1b0$false<3>
3122	- =in<3>
3123	.names in<4> last$_n16f_n1b0$false<4>
3124	- =in<4>
3125	.names in<5> last$_n16f_n1b0$false<5>
3126	- =in<5>
3127	.names in<6> last$_n16f_n1b0$false<6>
3128	- =in<6>
3129	.names in<7> last$_n16f_n1b0$false<7>
3130	- =in<7>
3131	.names in<8> last$_n16f_n1b0$false<8>
3132	- =in<8>
3133	.names in<9> last$_n16f_n1b0$false<9>
3134	- =in<9>
3135	.names in<10> last$_n16f_n1b0$false<10>
3136	- =in<10>
3137	.names in<11> last$_n16f_n1b0$false<11>
3138	- =in<11>
3139	.names in<12> last$_n16f_n1b0$false<12>
3140	- =in<12>
3141	.names in<13> last$_n16f_n1b0$false<13>
3142	- =in<13>
3143	.names in<14> last$_n16f_n1b0$false<14>
3144	- =in<14>
3145	.names in<15> last$_n16f_n1b0$false<15>
3146	- =in<15>
3147	.names in<16> last$_n16f_n1b0$false<16>
3148	- =in<16>
3149	.names in<17> last$_n16f_n1b0$false<17>
3150	- =in<17>
3151	.names in<18> last$_n16f_n1b0$false<18>
3152	- =in<18>
3153	.names in<19> last$_n16f_n1b0$false<19>
3154	- =in<19>
3155	.names in<20> last$_n16f_n1b0$false<20>
3156	- =in<20>
3157	.names in<21> last$_n16f_n1b0$false<21>
3158	- =in<21>
3159	.names in<22> last$_n16f_n1b0$false<22>
3160	- =in<22>
3161	.names in<23> last$_n16f_n1b0$false<23>
3162	- =in<23>
3163	.names in<24> last$_n16f_n1b0$false<24>
3164	- =in<24>
3165	.names in<25> last$_n16f_n1b0$false<25>
3166	- =in<25>
3167	.names in<26> last$_n16f_n1b0$false<26>
3168	- =in<26>
3169	.names in<27> last$_n16f_n1b0$false<27>
3170	- =in<27>
3171	.names in<28> last$_n16f_n1b0$false<28>
3172	- =in<28>
3173	.names in<29> last$_n16f_n1b0$false<29>
3174	- =in<29>
3175	.names reset _n1b1
3176	- =reset
3177	# max = 0
3178	.names max$reset_n1b2$true<0>
3179	0
3180	.names max$reset_n1b2$true<1>
3181	0
3182	.names max$reset_n1b2$true<2>
3183	0
3184	.names max$reset_n1b2$true<3>
3185	0
3186	.names max$reset_n1b2$true<4>
3187	0
3188	.names max$reset_n1b2$true<5>
3189	0
3190	.names max$reset_n1b2$true<6>
3191	0
3192	.names max$reset_n1b2$true<7>
3193	0
3194	.names max$reset_n1b2$true<8>
3195	0
3196	.names max$reset_n1b2$true<9>
3197	0
3198	.names max$reset_n1b2$true<10>
3199	0
3200	.names max$reset_n1b2$true<11>
3201	0
3202	.names max$reset_n1b2$true<12>
3203	0
3204	.names max$reset_n1b2$true<13>
3205	0
3206	.names max$reset_n1b2$true<14>
3207	0
3208	.names max$reset_n1b2$true<15>
3209	0
3210	.names max$reset_n1b2$true<16>
3211	0
3212	.names max$reset_n1b2$true<17>
3213	0
3214	.names max$reset_n1b2$true<18>
3215	0
3216	.names max$reset_n1b2$true<19>
3217	0
3218	.names max$reset_n1b2$true<20>
3219	0
3220	.names max$reset_n1b2$true<21>
3221	0
3222	.names max$reset_n1b2$true<22>
3223	0
3224	.names max$reset_n1b2$true<23>
3225	0
3226	.names max$reset_n1b2$true<24>
3227	0
3228	.names max$reset_n1b2$true<25>
3229	0
3230	.names max$reset_n1b2$true<26>
3231	0
3232	.names max$reset_n1b2$true<27>
3233	0
3234	.names max$reset_n1b2$true<28>
3235	0
3236	.names max$reset_n1b2$true<29>
3237	0
3238	# min = {'b1}
3239	.names _n1b5
3240	1
3241	.names _n1b5 _n1b4<0>
3242	- =_n1b5
3243	.names _n1b6
3244	0
3245	.names _n1b7
3246	1
3247	.names _n1b7 _n1b4<1>
3248	- =_n1b7
3249	.names _n1b8
3250	0
3251	.names _n1b9
3252	1
3253	.names _n1b9 _n1b4<2>
3254	- =_n1b9
3255	.names _n1ba
3256	0
3257	.names _n1bb
3258	1
3259	.names _n1bb _n1b4<3>
3260	- =_n1bb
3261	.names _n1bc
3262	0
3263	.names _n1bd
3264	1
3265	.names _n1bd _n1b4<4>
3266	- =_n1bd
3267	.names _n1be
3268	0
3269	.names _n1bf
3270	1
3271	.names _n1bf _n1b4<5>
3272	- =_n1bf
3273	.names _n1c0
3274	0
3275	.names _n1c1
3276	1
3277	.names _n1c1 _n1b4<6>
3278	- =_n1c1
3279	.names _n1c2
3280	0
3281	.names _n1c3
3282	1
3283	.names _n1c3 _n1b4<7>
3284	- =_n1c3
3285	.names _n1c4
3286	0
3287	.names _n1c5
3288	1
3289	.names _n1c5 _n1b4<8>
3290	- =_n1c5
3291	.names _n1c6
3292	0
3293	.names _n1c7
3294	1
3295	.names _n1c7 _n1b4<9>
3296	- =_n1c7
3297	.names _n1c8
3298	0
3299	.names _n1c9
3300	1
3301	.names _n1c9 _n1b4<10>
3302	- =_n1c9
3303	.names _n1ca
3304	0
3305	.names _n1cb
3306	1
3307	.names _n1cb _n1b4<11>
3308	- =_n1cb
3309	.names _n1cc
3310	0
3311	.names _n1cd
3312	1
3313	.names _n1cd _n1b4<12>
3314	- =_n1cd
3315	.names _n1ce
3316	0
3317	.names _n1cf
3318	1
3319	.names _n1cf _n1b4<13>
3320	- =_n1cf
3321	.names _n1d0
3322	0
3323	.names _n1d1
3324	1
3325	.names _n1d1 _n1b4<14>
3326	- =_n1d1
3327	.names _n1d2
3328	0
3329	.names _n1d3
3330	1
3331	.names _n1d3 _n1b4<15>
3332	- =_n1d3
3333	.names _n1d4
3334	0
3335	.names _n1d5
3336	1
3337	.names _n1d5 _n1b4<16>
3338	- =_n1d5
3339	.names _n1d6
3340	0
3341	.names _n1d7
3342	1
3343	.names _n1d7 _n1b4<17>
3344	- =_n1d7
3345	.names _n1d8
3346	0
3347	.names _n1d9
3348	1
3349	.names _n1d9 _n1b4<18>
3350	- =_n1d9
3351	.names _n1da
3352	0
3353	.names _n1db
3354	1
3355	.names _n1db _n1b4<19>
3356	- =_n1db
3357	.names _n1dc
3358	0
3359	.names _n1dd
3360	1
3361	.names _n1dd _n1b4<20>
3362	- =_n1dd
3363	.names _n1de
3364	0
3365	.names _n1df
3366	1
3367	.names _n1df _n1b4<21>
3368	- =_n1df
3369	.names _n1e0
3370	0
3371	.names _n1e1
3372	1
3373	.names _n1e1 _n1b4<22>
3374	- =_n1e1
3375	.names _n1e2
3376	0
3377	.names _n1e3
3378	1
3379	.names _n1e3 _n1b4<23>
3380	- =_n1e3
3381	.names _n1e4
3382	0
3383	.names _n1e5
3384	1
3385	.names _n1e5 _n1b4<24>
3386	- =_n1e5
3387	.names _n1e6
3388	0
3389	.names _n1e7
3390	1
3391	.names _n1e7 _n1b4<25>
3392	- =_n1e7
3393	.names _n1e8
3394	0
3395	.names _n1e9
3396	1
3397	.names _n1e9 _n1b4<26>
3398	- =_n1e9
3399	.names _n1ea
3400	0
3401	.names _n1eb
3402	1
3403	.names _n1eb _n1b4<27>
3404	- =_n1eb
3405	.names _n1ec
3406	0
3407	.names _n1ed
3408	1
3409	.names _n1ed _n1b4<28>
3410	- =_n1ed
3411	.names _n1ee
3412	0
3413	.names _n1ef
3414	1
3415	.names _n1ef _n1b4<29>
3416	- =_n1ef
3417	.names _n1f0
3418	0
3419	.names _n1b4<0> min$reset_n1b3$true<0>
3420	- =_n1b4<0>
3421	.names _n1b4<1> min$reset_n1b3$true<1>
3422	- =_n1b4<1>
3423	.names _n1b4<2> min$reset_n1b3$true<2>
3424	- =_n1b4<2>
3425	.names _n1b4<3> min$reset_n1b3$true<3>
3426	- =_n1b4<3>
3427	.names _n1b4<4> min$reset_n1b3$true<4>
3428	- =_n1b4<4>
3429	.names _n1b4<5> min$reset_n1b3$true<5>
3430	- =_n1b4<5>
3431	.names _n1b4<6> min$reset_n1b3$true<6>
3432	- =_n1b4<6>
3433	.names _n1b4<7> min$reset_n1b3$true<7>
3434	- =_n1b4<7>
3435	.names _n1b4<8> min$reset_n1b3$true<8>
3436	- =_n1b4<8>
3437	.names _n1b4<9> min$reset_n1b3$true<9>
3438	- =_n1b4<9>
3439	.names _n1b4<10> min$reset_n1b3$true<10>
3440	- =_n1b4<10>
3441	.names _n1b4<11> min$reset_n1b3$true<11>
3442	- =_n1b4<11>
3443	.names _n1b4<12> min$reset_n1b3$true<12>
3444	- =_n1b4<12>
3445	.names _n1b4<13> min$reset_n1b3$true<13>
3446	- =_n1b4<13>
3447	.names _n1b4<14> min$reset_n1b3$true<14>
3448	- =_n1b4<14>
3449	.names _n1b4<15> min$reset_n1b3$true<15>
3450	- =_n1b4<15>
3451	.names _n1b4<16> min$reset_n1b3$true<16>
3452	- =_n1b4<16>
3453	.names _n1b4<17> min$reset_n1b3$true<17>
3454	- =_n1b4<17>
3455	.names _n1b4<18> min$reset_n1b3$true<18>
3456	- =_n1b4<18>
3457	.names _n1b4<19> min$reset_n1b3$true<19>
3458	- =_n1b4<19>
3459	.names _n1b4<20> min$reset_n1b3$true<20>
3460	- =_n1b4<20>
3461	.names _n1b4<21> min$reset_n1b3$true<21>
3462	- =_n1b4<21>
3463	.names _n1b4<22> min$reset_n1b3$true<22>
3464	- =_n1b4<22>
3465	.names _n1b4<23> min$reset_n1b3$true<23>
3466	- =_n1b4<23>
3467	.names _n1b4<24> min$reset_n1b3$true<24>
3468	- =_n1b4<24>
3469	.names _n1b4<25> min$reset_n1b3$true<25>
3470	- =_n1b4<25>
3471	.names _n1b4<26> min$reset_n1b3$true<26>
3472	- =_n1b4<26>
3473	.names _n1b4<27> min$reset_n1b3$true<27>
3474	- =_n1b4<27>
3475	.names _n1b4<28> min$reset_n1b3$true<28>
3476	- =_n1b4<28>
3477	.names _n1b4<29> min$reset_n1b3$true<29>
3478	- =_n1b4<29>
3479	# max = sup
3480	.names sup<0> max$reset_n1f1$false<0>
3481	- =sup<0>
3482	.names sup<1> max$reset_n1f1$false<1>
3483	- =sup<1>
3484	.names sup<2> max$reset_n1f1$false<2>
3485	- =sup<2>
3486	.names sup<3> max$reset_n1f1$false<3>
3487	- =sup<3>
3488	.names sup<4> max$reset_n1f1$false<4>
3489	- =sup<4>
3490	.names sup<5> max$reset_n1f1$false<5>
3491	- =sup<5>
3492	.names sup<6> max$reset_n1f1$false<6>
3493	- =sup<6>
3494	.names sup<7> max$reset_n1f1$false<7>
3495	- =sup<7>
3496	.names sup<8> max$reset_n1f1$false<8>
3497	- =sup<8>
3498	.names sup<9> max$reset_n1f1$false<9>
3499	- =sup<9>
3500	.names sup<10> max$reset_n1f1$false<10>
3501	- =sup<10>
3502	.names sup<11> max$reset_n1f1$false<11>
3503	- =sup<11>
3504	.names sup<12> max$reset_n1f1$false<12>
3505	- =sup<12>
3506	.names sup<13> max$reset_n1f1$false<13>
3507	- =sup<13>
3508	.names sup<14> max$reset_n1f1$false<14>
3509	- =sup<14>
3510	.names sup<15> max$reset_n1f1$false<15>
3511	- =sup<15>
3512	.names sup<16> max$reset_n1f1$false<16>
3513	- =sup<16>
3514	.names sup<17> max$reset_n1f1$false<17>
3515	- =sup<17>
3516	.names sup<18> max$reset_n1f1$false<18>
3517	- =sup<18>
3518	.names sup<19> max$reset_n1f1$false<19>
3519	- =sup<19>
3520	.names sup<20> max$reset_n1f1$false<20>
3521	- =sup<20>
3522	.names sup<21> max$reset_n1f1$false<21>
3523	- =sup<21>
3524	.names sup<22> max$reset_n1f1$false<22>
3525	- =sup<22>
3526	.names sup<23> max$reset_n1f1$false<23>
3527	- =sup<23>
3528	.names sup<24> max$reset_n1f1$false<24>
3529	- =sup<24>
3530	.names sup<25> max$reset_n1f1$false<25>
3531	- =sup<25>
3532	.names sup<26> max$reset_n1f1$false<26>
3533	- =sup<26>
3534	.names sup<27> max$reset_n1f1$false<27>
3535	- =sup<27>
3536	.names sup<28> max$reset_n1f1$false<28>
3537	- =sup<28>
3538	.names sup<29> max$reset_n1f1$false<29>
3539	- =sup<29>
3540	# min = inf
3541	.names inf<0> min$reset_n1f2$false<0>
3542	- =inf<0>
3543	.names inf<1> min$reset_n1f2$false<1>
3544	- =inf<1>
3545	.names inf<2> min$reset_n1f2$false<2>
3546	- =inf<2>
3547	.names inf<3> min$reset_n1f2$false<3>
3548	- =inf<3>
3549	.names inf<4> min$reset_n1f2$false<4>
3550	- =inf<4>
3551	.names inf<5> min$reset_n1f2$false<5>
3552	- =inf<5>
3553	.names inf<6> min$reset_n1f2$false<6>
3554	- =inf<6>
3555	.names inf<7> min$reset_n1f2$false<7>
3556	- =inf<7>
3557	.names inf<8> min$reset_n1f2$false<8>
3558	- =inf<8>
3559	.names inf<9> min$reset_n1f2$false<9>
3560	- =inf<9>
3561	.names inf<10> min$reset_n1f2$false<10>
3562	- =inf<10>
3563	.names inf<11> min$reset_n1f2$false<11>
3564	- =inf<11>
3565	.names inf<12> min$reset_n1f2$false<12>
3566	- =inf<12>
3567	.names inf<13> min$reset_n1f2$false<13>
3568	- =inf<13>
3569	.names inf<14> min$reset_n1f2$false<14>
3570	- =inf<14>
3571	.names inf<15> min$reset_n1f2$false<15>
3572	- =inf<15>
3573	.names inf<16> min$reset_n1f2$false<16>
3574	- =inf<16>
3575	.names inf<17> min$reset_n1f2$false<17>
3576	- =inf<17>
3577	.names inf<18> min$reset_n1f2$false<18>
3578	- =inf<18>
3579	.names inf<19> min$reset_n1f2$false<19>
3580	- =inf<19>
3581	.names inf<20> min$reset_n1f2$false<20>
3582	- =inf<20>
3583	.names inf<21> min$reset_n1f2$false<21>
3584	- =inf<21>
3585	.names inf<22> min$reset_n1f2$false<22>
3586	- =inf<22>
3587	.names inf<23> min$reset_n1f2$false<23>
3588	- =inf<23>
3589	.names inf<24> min$reset_n1f2$false<24>
3590	- =inf<24>
3591	.names inf<25> min$reset_n1f2$false<25>
3592	- =inf<25>
3593	.names inf<26> min$reset_n1f2$false<26>
3594	- =inf<26>
3595	.names inf<27> min$reset_n1f2$false<27>
3596	- =inf<27>
3597	.names inf<28> min$reset_n1f2$false<28>
3598	- =inf<28>
3599	.names inf<29> min$reset_n1f2$false<29>
3600	- =inf<29>
3601	# if/else (reset )
3602	.names max$reset_n1b2$true<0> max$reset_n1f1$false<0> reset max$reset$raw_n1f6<0>
3603	0 - 1 0
3604	1 - 1 1
3605	- 0 0 0
3606	- 1 0 1
3607	.names max$reset_n1b2$true<1> max$reset_n1f1$false<1> reset max$reset$raw_n1f6<1>
3608	0 - 1 0
3609	1 - 1 1
3610	- 0 0 0
3611	- 1 0 1
3612	.names max$reset_n1b2$true<2> max$reset_n1f1$false<2> reset max$reset$raw_n1f6<2>
3613	0 - 1 0
3614	1 - 1 1
3615	- 0 0 0
3616	- 1 0 1
3617	.names max$reset_n1b2$true<3> max$reset_n1f1$false<3> reset max$reset$raw_n1f6<3>
3618	0 - 1 0
3619	1 - 1 1
3620	- 0 0 0
3621	- 1 0 1
3622	.names max$reset_n1b2$true<4> max$reset_n1f1$false<4> reset max$reset$raw_n1f6<4>
3623	0 - 1 0
3624	1 - 1 1
3625	- 0 0 0
3626	- 1 0 1
3627	.names max$reset_n1b2$true<5> max$reset_n1f1$false<5> reset max$reset$raw_n1f6<5>
3628	0 - 1 0
3629	1 - 1 1
3630	- 0 0 0
3631	- 1 0 1
3632	.names max$reset_n1b2$true<6> max$reset_n1f1$false<6> reset max$reset$raw_n1f6<6>
3633	0 - 1 0
3634	1 - 1 1
3635	- 0 0 0
3636	- 1 0 1
3637	.names max$reset_n1b2$true<7> max$reset_n1f1$false<7> reset max$reset$raw_n1f6<7>
3638	0 - 1 0
3639	1 - 1 1
3640	- 0 0 0
3641	- 1 0 1
3642	.names max$reset_n1b2$true<8> max$reset_n1f1$false<8> reset max$reset$raw_n1f6<8>
3643	0 - 1 0
3644	1 - 1 1
3645	- 0 0 0
3646	- 1 0 1
3647	.names max$reset_n1b2$true<9> max$reset_n1f1$false<9> reset max$reset$raw_n1f6<9>
3648	0 - 1 0
3649	1 - 1 1
3650	- 0 0 0
3651	- 1 0 1
3652	.names max$reset_n1b2$true<10> max$reset_n1f1$false<10> reset max$reset$raw_n1f6<10>
3653	0 - 1 0
3654	1 - 1 1
3655	- 0 0 0
3656	- 1 0 1
3657	.names max$reset_n1b2$true<11> max$reset_n1f1$false<11> reset max$reset$raw_n1f6<11>
3658	0 - 1 0
3659	1 - 1 1
3660	- 0 0 0
3661	- 1 0 1
3662	.names max$reset_n1b2$true<12> max$reset_n1f1$false<12> reset max$reset$raw_n1f6<12>
3663	0 - 1 0
3664	1 - 1 1
3665	- 0 0 0
3666	- 1 0 1
3667	.names max$reset_n1b2$true<13> max$reset_n1f1$false<13> reset max$reset$raw_n1f6<13>
3668	0 - 1 0
3669	1 - 1 1
3670	- 0 0 0
3671	- 1 0 1
3672	.names max$reset_n1b2$true<14> max$reset_n1f1$false<14> reset max$reset$raw_n1f6<14>
3673	0 - 1 0
3674	1 - 1 1
3675	- 0 0 0
3676	- 1 0 1
3677	.names max$reset_n1b2$true<15> max$reset_n1f1$false<15> reset max$reset$raw_n1f6<15>
3678	0 - 1 0
3679	1 - 1 1
3680	- 0 0 0
3681	- 1 0 1
3682	.names max$reset_n1b2$true<16> max$reset_n1f1$false<16> reset max$reset$raw_n1f6<16>
3683	0 - 1 0
3684	1 - 1 1
3685	- 0 0 0
3686	- 1 0 1
3687	.names max$reset_n1b2$true<17> max$reset_n1f1$false<17> reset max$reset$raw_n1f6<17>
3688	0 - 1 0
3689	1 - 1 1
3690	- 0 0 0
3691	- 1 0 1
3692	.names max$reset_n1b2$true<18> max$reset_n1f1$false<18> reset max$reset$raw_n1f6<18>
3693	0 - 1 0
3694	1 - 1 1
3695	- 0 0 0
3696	- 1 0 1
3697	.names max$reset_n1b2$true<19> max$reset_n1f1$false<19> reset max$reset$raw_n1f6<19>
3698	0 - 1 0
3699	1 - 1 1
3700	- 0 0 0
3701	- 1 0 1
3702	.names max$reset_n1b2$true<20> max$reset_n1f1$false<20> reset max$reset$raw_n1f6<20>
3703	0 - 1 0
3704	1 - 1 1
3705	- 0 0 0
3706	- 1 0 1
3707	.names max$reset_n1b2$true<21> max$reset_n1f1$false<21> reset max$reset$raw_n1f6<21>
3708	0 - 1 0
3709	1 - 1 1
3710	- 0 0 0
3711	- 1 0 1
3712	.names max$reset_n1b2$true<22> max$reset_n1f1$false<22> reset max$reset$raw_n1f6<22>
3713	0 - 1 0
3714	1 - 1 1
3715	- 0 0 0
3716	- 1 0 1
3717	.names max$reset_n1b2$true<23> max$reset_n1f1$false<23> reset max$reset$raw_n1f6<23>
3718	0 - 1 0
3719	1 - 1 1
3720	- 0 0 0
3721	- 1 0 1
3722	.names max$reset_n1b2$true<24> max$reset_n1f1$false<24> reset max$reset$raw_n1f6<24>
3723	0 - 1 0
3724	1 - 1 1
3725	- 0 0 0
3726	- 1 0 1
3727	.names max$reset_n1b2$true<25> max$reset_n1f1$false<25> reset max$reset$raw_n1f6<25>
3728	0 - 1 0
3729	1 - 1 1
3730	- 0 0 0
3731	- 1 0 1
3732	.names max$reset_n1b2$true<26> max$reset_n1f1$false<26> reset max$reset$raw_n1f6<26>
3733	0 - 1 0
3734	1 - 1 1
3735	- 0 0 0
3736	- 1 0 1
3737	.names max$reset_n1b2$true<27> max$reset_n1f1$false<27> reset max$reset$raw_n1f6<27>
3738	0 - 1 0
3739	1 - 1 1
3740	- 0 0 0
3741	- 1 0 1
3742	.names max$reset_n1b2$true<28> max$reset_n1f1$false<28> reset max$reset$raw_n1f6<28>
3743	0 - 1 0
3744	1 - 1 1
3745	- 0 0 0
3746	- 1 0 1
3747	.names max$reset_n1b2$true<29> max$reset_n1f1$false<29> reset max$reset$raw_n1f6<29>
3748	0 - 1 0
3749	1 - 1 1
3750	- 0 0 0
3751	- 1 0 1
3752	.names min$reset_n1b3$true<0> min$reset_n1f2$false<0> reset min$reset$raw_n215<0>
3753	0 - 1 0
3754	1 - 1 1
3755	- 0 0 0
3756	- 1 0 1
3757	.names min$reset_n1b3$true<1> min$reset_n1f2$false<1> reset min$reset$raw_n215<1>
3758	0 - 1 0
3759	1 - 1 1
3760	- 0 0 0
3761	- 1 0 1
3762	.names min$reset_n1b3$true<2> min$reset_n1f2$false<2> reset min$reset$raw_n215<2>
3763	0 - 1 0
3764	1 - 1 1
3765	- 0 0 0
3766	- 1 0 1
3767	.names min$reset_n1b3$true<3> min$reset_n1f2$false<3> reset min$reset$raw_n215<3>
3768	0 - 1 0
3769	1 - 1 1
3770	- 0 0 0
3771	- 1 0 1
3772	.names min$reset_n1b3$true<4> min$reset_n1f2$false<4> reset min$reset$raw_n215<4>
3773	0 - 1 0
3774	1 - 1 1
3775	- 0 0 0
3776	- 1 0 1
3777	.names min$reset_n1b3$true<5> min$reset_n1f2$false<5> reset min$reset$raw_n215<5>
3778	0 - 1 0
3779	1 - 1 1
3780	- 0 0 0
3781	- 1 0 1
3782	.names min$reset_n1b3$true<6> min$reset_n1f2$false<6> reset min$reset$raw_n215<6>
3783	0 - 1 0
3784	1 - 1 1
3785	- 0 0 0
3786	- 1 0 1
3787	.names min$reset_n1b3$true<7> min$reset_n1f2$false<7> reset min$reset$raw_n215<7>
3788	0 - 1 0
3789	1 - 1 1
3790	- 0 0 0
3791	- 1 0 1
3792	.names min$reset_n1b3$true<8> min$reset_n1f2$false<8> reset min$reset$raw_n215<8>
3793	0 - 1 0
3794	1 - 1 1
3795	- 0 0 0
3796	- 1 0 1
3797	.names min$reset_n1b3$true<9> min$reset_n1f2$false<9> reset min$reset$raw_n215<9>
3798	0 - 1 0
3799	1 - 1 1
3800	- 0 0 0
3801	- 1 0 1
3802	.names min$reset_n1b3$true<10> min$reset_n1f2$false<10> reset min$reset$raw_n215<10>
3803	0 - 1 0
3804	1 - 1 1
3805	- 0 0 0
3806	- 1 0 1
3807	.names min$reset_n1b3$true<11> min$reset_n1f2$false<11> reset min$reset$raw_n215<11>
3808	0 - 1 0
3809	1 - 1 1
3810	- 0 0 0
3811	- 1 0 1
3812	.names min$reset_n1b3$true<12> min$reset_n1f2$false<12> reset min$reset$raw_n215<12>
3813	0 - 1 0
3814	1 - 1 1
3815	- 0 0 0
3816	- 1 0 1
3817	.names min$reset_n1b3$true<13> min$reset_n1f2$false<13> reset min$reset$raw_n215<13>
3818	0 - 1 0
3819	1 - 1 1
3820	- 0 0 0
3821	- 1 0 1
3822	.names min$reset_n1b3$true<14> min$reset_n1f2$false<14> reset min$reset$raw_n215<14>
3823	0 - 1 0
3824	1 - 1 1
3825	- 0 0 0
3826	- 1 0 1
3827	.names min$reset_n1b3$true<15> min$reset_n1f2$false<15> reset min$reset$raw_n215<15>
3828	0 - 1 0
3829	1 - 1 1
3830	- 0 0 0
3831	- 1 0 1
3832	.names min$reset_n1b3$true<16> min$reset_n1f2$false<16> reset min$reset$raw_n215<16>
3833	0 - 1 0
3834	1 - 1 1
3835	- 0 0 0
3836	- 1 0 1
3837	.names min$reset_n1b3$true<17> min$reset_n1f2$false<17> reset min$reset$raw_n215<17>
3838	0 - 1 0
3839	1 - 1 1
3840	- 0 0 0
3841	- 1 0 1
3842	.names min$reset_n1b3$true<18> min$reset_n1f2$false<18> reset min$reset$raw_n215<18>
3843	0 - 1 0
3844	1 - 1 1
3845	- 0 0 0
3846	- 1 0 1
3847	.names min$reset_n1b3$true<19> min$reset_n1f2$false<19> reset min$reset$raw_n215<19>
3848	0 - 1 0
3849	1 - 1 1
3850	- 0 0 0
3851	- 1 0 1
3852	.names min$reset_n1b3$true<20> min$reset_n1f2$false<20> reset min$reset$raw_n215<20>
3853	0 - 1 0
3854	1 - 1 1
3855	- 0 0 0
3856	- 1 0 1
3857	.names min$reset_n1b3$true<21> min$reset_n1f2$false<21> reset min$reset$raw_n215<21>
3858	0 - 1 0
3859	1 - 1 1
3860	- 0 0 0
3861	- 1 0 1
3862	.names min$reset_n1b3$true<22> min$reset_n1f2$false<22> reset min$reset$raw_n215<22>
3863	0 - 1 0
3864	1 - 1 1
3865	- 0 0 0
3866	- 1 0 1
3867	.names min$reset_n1b3$true<23> min$reset_n1f2$false<23> reset min$reset$raw_n215<23>
3868	0 - 1 0
3869	1 - 1 1
3870	- 0 0 0
3871	- 1 0 1
3872	.names min$reset_n1b3$true<24> min$reset_n1f2$false<24> reset min$reset$raw_n215<24>
3873	0 - 1 0
3874	1 - 1 1
3875	- 0 0 0
3876	- 1 0 1
3877	.names min$reset_n1b3$true<25> min$reset_n1f2$false<25> reset min$reset$raw_n215<25>
3878	0 - 1 0
3879	1 - 1 1
3880	- 0 0 0
3881	- 1 0 1
3882	.names min$reset_n1b3$true<26> min$reset_n1f2$false<26> reset min$reset$raw_n215<26>
3883	0 - 1 0
3884	1 - 1 1
3885	- 0 0 0
3886	- 1 0 1
3887	.names min$reset_n1b3$true<27> min$reset_n1f2$false<27> reset min$reset$raw_n215<27>
3888	0 - 1 0
3889	1 - 1 1
3890	- 0 0 0
3891	- 1 0 1
3892	.names min$reset_n1b3$true<28> min$reset_n1f2$false<28> reset min$reset$raw_n215<28>
3893	0 - 1 0
3894	1 - 1 1
3895	- 0 0 0
3896	- 1 0 1
3897	.names min$reset_n1b3$true<29> min$reset_n1f2$false<29> reset min$reset$raw_n215<29>
3898	0 - 1 0
3899	1 - 1 1
3900	- 0 0 0
3901	- 1 0 1
3902	# if/else (!enable )
3903	.names max$_n16f_n171$true<0> max$reset$raw_n1f6<0> _n16f max$_n16f$raw_n23d<0>
3904	0 - 1 0
3905	1 - 1 1
3906	- 0 0 0
3907	- 1 0 1
3908	.names max$_n16f_n171$true<1> max$reset$raw_n1f6<1> _n16f max$_n16f$raw_n23d<1>
3909	0 - 1 0
3910	1 - 1 1
3911	- 0 0 0
3912	- 1 0 1
3913	.names max$_n16f_n171$true<2> max$reset$raw_n1f6<2> _n16f max$_n16f$raw_n23d<2>
3914	0 - 1 0
3915	1 - 1 1
3916	- 0 0 0
3917	- 1 0 1
3918	.names max$_n16f_n171$true<3> max$reset$raw_n1f6<3> _n16f max$_n16f$raw_n23d<3>
3919	0 - 1 0
3920	1 - 1 1
3921	- 0 0 0
3922	- 1 0 1
3923	.names max$_n16f_n171$true<4> max$reset$raw_n1f6<4> _n16f max$_n16f$raw_n23d<4>
3924	0 - 1 0
3925	1 - 1 1
3926	- 0 0 0
3927	- 1 0 1
3928	.names max$_n16f_n171$true<5> max$reset$raw_n1f6<5> _n16f max$_n16f$raw_n23d<5>
3929	0 - 1 0
3930	1 - 1 1
3931	- 0 0 0
3932	- 1 0 1
3933	.names max$_n16f_n171$true<6> max$reset$raw_n1f6<6> _n16f max$_n16f$raw_n23d<6>
3934	0 - 1 0
3935	1 - 1 1
3936	- 0 0 0
3937	- 1 0 1
3938	.names max$_n16f_n171$true<7> max$reset$raw_n1f6<7> _n16f max$_n16f$raw_n23d<7>
3939	0 - 1 0
3940	1 - 1 1
3941	- 0 0 0
3942	- 1 0 1
3943	.names max$_n16f_n171$true<8> max$reset$raw_n1f6<8> _n16f max$_n16f$raw_n23d<8>
3944	0 - 1 0
3945	1 - 1 1
3946	- 0 0 0
3947	- 1 0 1
3948	.names max$_n16f_n171$true<9> max$reset$raw_n1f6<9> _n16f max$_n16f$raw_n23d<9>
3949	0 - 1 0
3950	1 - 1 1
3951	- 0 0 0
3952	- 1 0 1
3953	.names max$_n16f_n171$true<10> max$reset$raw_n1f6<10> _n16f max$_n16f$raw_n23d<10>
3954	0 - 1 0
3955	1 - 1 1
3956	- 0 0 0
3957	- 1 0 1
3958	.names max$_n16f_n171$true<11> max$reset$raw_n1f6<11> _n16f max$_n16f$raw_n23d<11>
3959	0 - 1 0
3960	1 - 1 1
3961	- 0 0 0
3962	- 1 0 1
3963	.names max$_n16f_n171$true<12> max$reset$raw_n1f6<12> _n16f max$_n16f$raw_n23d<12>
3964	0 - 1 0
3965	1 - 1 1
3966	- 0 0 0
3967	- 1 0 1
3968	.names max$_n16f_n171$true<13> max$reset$raw_n1f6<13> _n16f max$_n16f$raw_n23d<13>
3969	0 - 1 0
3970	1 - 1 1
3971	- 0 0 0
3972	- 1 0 1
3973	.names max$_n16f_n171$true<14> max$reset$raw_n1f6<14> _n16f max$_n16f$raw_n23d<14>
3974	0 - 1 0
3975	1 - 1 1
3976	- 0 0 0
3977	- 1 0 1
3978	.names max$_n16f_n171$true<15> max$reset$raw_n1f6<15> _n16f max$_n16f$raw_n23d<15>
3979	0 - 1 0
3980	1 - 1 1
3981	- 0 0 0
3982	- 1 0 1
3983	.names max$_n16f_n171$true<16> max$reset$raw_n1f6<16> _n16f max$_n16f$raw_n23d<16>
3984	0 - 1 0
3985	1 - 1 1
3986	- 0 0 0
3987	- 1 0 1
3988	.names max$_n16f_n171$true<17> max$reset$raw_n1f6<17> _n16f max$_n16f$raw_n23d<17>
3989	0 - 1 0
3990	1 - 1 1
3991	- 0 0 0
3992	- 1 0 1
3993	.names max$_n16f_n171$true<18> max$reset$raw_n1f6<18> _n16f max$_n16f$raw_n23d<18>
3994	0 - 1 0
3995	1 - 1 1
3996	- 0 0 0
3997	- 1 0 1
3998	.names max$_n16f_n171$true<19> max$reset$raw_n1f6<19> _n16f max$_n16f$raw_n23d<19>
3999	0 - 1 0
4000	1 - 1 1
4001	- 0 0 0
4002	- 1 0 1
4003	.names max$_n16f_n171$true<20> max$reset$raw_n1f6<20> _n16f max$_n16f$raw_n23d<20>
4004	0 - 1 0
4005	1 - 1 1
4006	- 0 0 0
4007	- 1 0 1
4008	.names max$_n16f_n171$true<21> max$reset$raw_n1f6<21> _n16f max$_n16f$raw_n23d<21>
4009	0 - 1 0
4010	1 - 1 1
4011	- 0 0 0
4012	- 1 0 1
4013	.names max$_n16f_n171$true<22> max$reset$raw_n1f6<22> _n16f max$_n16f$raw_n23d<22>
4014	0 - 1 0
4015	1 - 1 1
4016	- 0 0 0
4017	- 1 0 1
4018	.names max$_n16f_n171$true<23> max$reset$raw_n1f6<23> _n16f max$_n16f$raw_n23d<23>
4019	0 - 1 0
4020	1 - 1 1
4021	- 0 0 0
4022	- 1 0 1
4023	.names max$_n16f_n171$true<24> max$reset$raw_n1f6<24> _n16f max$_n16f$raw_n23d<24>
4024	0 - 1 0
4025	1 - 1 1
4026	- 0 0 0
4027	- 1 0 1
4028	.names max$_n16f_n171$true<25> max$reset$raw_n1f6<25> _n16f max$_n16f$raw_n23d<25>
4029	0 - 1 0
4030	1 - 1 1
4031	- 0 0 0
4032	- 1 0 1
4033	.names max$_n16f_n171$true<26> max$reset$raw_n1f6<26> _n16f max$_n16f$raw_n23d<26>
4034	0 - 1 0
4035	1 - 1 1
4036	- 0 0 0
4037	- 1 0 1
4038	.names max$_n16f_n171$true<27> max$reset$raw_n1f6<27> _n16f max$_n16f$raw_n23d<27>
4039	0 - 1 0
4040	1 - 1 1
4041	- 0 0 0
4042	- 1 0 1
4043	.names max$_n16f_n171$true<28> max$reset$raw_n1f6<28> _n16f max$_n16f$raw_n23d<28>
4044	0 - 1 0
4045	1 - 1 1
4046	- 0 0 0
4047	- 1 0 1
4048	.names max$_n16f_n171$true<29> max$reset$raw_n1f6<29> _n16f max$_n16f$raw_n23d<29>
4049	0 - 1 0
4050	1 - 1 1
4051	- 0 0 0
4052	- 1 0 1
4053	.names min$_n16f_n172$true<0> min$reset$raw_n215<0> _n16f min$_n16f$raw_n25c<0>
4054	0 - 1 0
4055	1 - 1 1
4056	- 0 0 0
4057	- 1 0 1
4058	.names min$_n16f_n172$true<1> min$reset$raw_n215<1> _n16f min$_n16f$raw_n25c<1>
4059	0 - 1 0
4060	1 - 1 1
4061	- 0 0 0
4062	- 1 0 1
4063	.names min$_n16f_n172$true<2> min$reset$raw_n215<2> _n16f min$_n16f$raw_n25c<2>
4064	0 - 1 0
4065	1 - 1 1
4066	- 0 0 0
4067	- 1 0 1
4068	.names min$_n16f_n172$true<3> min$reset$raw_n215<3> _n16f min$_n16f$raw_n25c<3>
4069	0 - 1 0
4070	1 - 1 1
4071	- 0 0 0
4072	- 1 0 1
4073	.names min$_n16f_n172$true<4> min$reset$raw_n215<4> _n16f min$_n16f$raw_n25c<4>
4074	0 - 1 0
4075	1 - 1 1
4076	- 0 0 0
4077	- 1 0 1
4078	.names min$_n16f_n172$true<5> min$reset$raw_n215<5> _n16f min$_n16f$raw_n25c<5>
4079	0 - 1 0
4080	1 - 1 1
4081	- 0 0 0
4082	- 1 0 1
4083	.names min$_n16f_n172$true<6> min$reset$raw_n215<6> _n16f min$_n16f$raw_n25c<6>
4084	0 - 1 0
4085	1 - 1 1
4086	- 0 0 0
4087	- 1 0 1
4088	.names min$_n16f_n172$true<7> min$reset$raw_n215<7> _n16f min$_n16f$raw_n25c<7>
4089	0 - 1 0
4090	1 - 1 1
4091	- 0 0 0
4092	- 1 0 1
4093	.names min$_n16f_n172$true<8> min$reset$raw_n215<8> _n16f min$_n16f$raw_n25c<8>
4094	0 - 1 0
4095	1 - 1 1
4096	- 0 0 0
4097	- 1 0 1
4098	.names min$_n16f_n172$true<9> min$reset$raw_n215<9> _n16f min$_n16f$raw_n25c<9>
4099	0 - 1 0
4100	1 - 1 1
4101	- 0 0 0
4102	- 1 0 1
4103	.names min$_n16f_n172$true<10> min$reset$raw_n215<10> _n16f min$_n16f$raw_n25c<10>
4104	0 - 1 0
4105	1 - 1 1
4106	- 0 0 0
4107	- 1 0 1
4108	.names min$_n16f_n172$true<11> min$reset$raw_n215<11> _n16f min$_n16f$raw_n25c<11>
4109	0 - 1 0
4110	1 - 1 1
4111	- 0 0 0
4112	- 1 0 1
4113	.names min$_n16f_n172$true<12> min$reset$raw_n215<12> _n16f min$_n16f$raw_n25c<12>
4114	0 - 1 0
4115	1 - 1 1
4116	- 0 0 0
4117	- 1 0 1
4118	.names min$_n16f_n172$true<13> min$reset$raw_n215<13> _n16f min$_n16f$raw_n25c<13>
4119	0 - 1 0
4120	1 - 1 1
4121	- 0 0 0
4122	- 1 0 1
4123	.names min$_n16f_n172$true<14> min$reset$raw_n215<14> _n16f min$_n16f$raw_n25c<14>
4124	0 - 1 0
4125	1 - 1 1
4126	- 0 0 0
4127	- 1 0 1
4128	.names min$_n16f_n172$true<15> min$reset$raw_n215<15> _n16f min$_n16f$raw_n25c<15>
4129	0 - 1 0
4130	1 - 1 1
4131	- 0 0 0
4132	- 1 0 1
4133	.names min$_n16f_n172$true<16> min$reset$raw_n215<16> _n16f min$_n16f$raw_n25c<16>
4134	0 - 1 0
4135	1 - 1 1
4136	- 0 0 0
4137	- 1 0 1
4138	.names min$_n16f_n172$true<17> min$reset$raw_n215<17> _n16f min$_n16f$raw_n25c<17>
4139	0 - 1 0
4140	1 - 1 1
4141	- 0 0 0
4142	- 1 0 1
4143	.names min$_n16f_n172$true<18> min$reset$raw_n215<18> _n16f min$_n16f$raw_n25c<18>
4144	0 - 1 0
4145	1 - 1 1
4146	- 0 0 0
4147	- 1 0 1
4148	.names min$_n16f_n172$true<19> min$reset$raw_n215<19> _n16f min$_n16f$raw_n25c<19>
4149	0 - 1 0
4150	1 - 1 1
4151	- 0 0 0
4152	- 1 0 1
4153	.names min$_n16f_n172$true<20> min$reset$raw_n215<20> _n16f min$_n16f$raw_n25c<20>
4154	0 - 1 0
4155	1 - 1 1
4156	- 0 0 0
4157	- 1 0 1
4158	.names min$_n16f_n172$true<21> min$reset$raw_n215<21> _n16f min$_n16f$raw_n25c<21>
4159	0 - 1 0
4160	1 - 1 1
4161	- 0 0 0
4162	- 1 0 1
4163	.names min$_n16f_n172$true<22> min$reset$raw_n215<22> _n16f min$_n16f$raw_n25c<22>
4164	0 - 1 0
4165	1 - 1 1
4166	- 0 0 0
4167	- 1 0 1
4168	.names min$_n16f_n172$true<23> min$reset$raw_n215<23> _n16f min$_n16f$raw_n25c<23>
4169	0 - 1 0
4170	1 - 1 1
4171	- 0 0 0
4172	- 1 0 1
4173	.names min$_n16f_n172$true<24> min$reset$raw_n215<24> _n16f min$_n16f$raw_n25c<24>
4174	0 - 1 0
4175	1 - 1 1
4176	- 0 0 0
4177	- 1 0 1
4178	.names min$_n16f_n172$true<25> min$reset$raw_n215<25> _n16f min$_n16f$raw_n25c<25>
4179	0 - 1 0
4180	1 - 1 1
4181	- 0 0 0
4182	- 1 0 1
4183	.names min$_n16f_n172$true<26> min$reset$raw_n215<26> _n16f min$_n16f$raw_n25c<26>
4184	0 - 1 0
4185	1 - 1 1
4186	- 0 0 0
4187	- 1 0 1
4188	.names min$_n16f_n172$true<27> min$reset$raw_n215<27> _n16f min$_n16f$raw_n25c<27>
4189	0 - 1 0
4190	1 - 1 1
4191	- 0 0 0
4192	- 1 0 1
4193	.names min$_n16f_n172$true<28> min$reset$raw_n215<28> _n16f min$_n16f$raw_n25c<28>
4194	0 - 1 0
4195	1 - 1 1
4196	- 0 0 0
4197	- 1 0 1
4198	.names min$_n16f_n172$true<29> min$reset$raw_n215<29> _n16f min$_n16f$raw_n25c<29>
4199	0 - 1 0
4200	1 - 1 1
4201	- 0 0 0
4202	- 1 0 1
4203	.names last<0> last$_n16f_n1b0$false<0> _n16f last$_n16f$raw_n27f<0>
4204	0 - 1 0
4205	1 - 1 1
4206	- 0 0 0
4207	- 1 0 1
4208	.names last<1> last$_n16f_n1b0$false<1> _n16f last$_n16f$raw_n27f<1>
4209	0 - 1 0
4210	1 - 1 1
4211	- 0 0 0
4212	- 1 0 1
4213	.names last<2> last$_n16f_n1b0$false<2> _n16f last$_n16f$raw_n27f<2>
4214	0 - 1 0
4215	1 - 1 1
4216	- 0 0 0
4217	- 1 0 1
4218	.names last<3> last$_n16f_n1b0$false<3> _n16f last$_n16f$raw_n27f<3>
4219	0 - 1 0
4220	1 - 1 1
4221	- 0 0 0
4222	- 1 0 1
4223	.names last<4> last$_n16f_n1b0$false<4> _n16f last$_n16f$raw_n27f<4>
4224	0 - 1 0
4225	1 - 1 1
4226	- 0 0 0
4227	- 1 0 1
4228	.names last<5> last$_n16f_n1b0$false<5> _n16f last$_n16f$raw_n27f<5>
4229	0 - 1 0
4230	1 - 1 1
4231	- 0 0 0
4232	- 1 0 1
4233	.names last<6> last$_n16f_n1b0$false<6> _n16f last$_n16f$raw_n27f<6>
4234	0 - 1 0
4235	1 - 1 1
4236	- 0 0 0
4237	- 1 0 1
4238	.names last<7> last$_n16f_n1b0$false<7> _n16f last$_n16f$raw_n27f<7>
4239	0 - 1 0
4240	1 - 1 1
4241	- 0 0 0
4242	- 1 0 1
4243	.names last<8> last$_n16f_n1b0$false<8> _n16f last$_n16f$raw_n27f<8>
4244	0 - 1 0
4245	1 - 1 1
4246	- 0 0 0
4247	- 1 0 1
4248	.names last<9> last$_n16f_n1b0$false<9> _n16f last$_n16f$raw_n27f<9>
4249	0 - 1 0
4250	1 - 1 1
4251	- 0 0 0
4252	- 1 0 1
4253	.names last<10> last$_n16f_n1b0$false<10> _n16f last$_n16f$raw_n27f<10>
4254	0 - 1 0
4255	1 - 1 1
4256	- 0 0 0
4257	- 1 0 1
4258	.names last<11> last$_n16f_n1b0$false<11> _n16f last$_n16f$raw_n27f<11>
4259	0 - 1 0
4260	1 - 1 1
4261	- 0 0 0
4262	- 1 0 1
4263	.names last<12> last$_n16f_n1b0$false<12> _n16f last$_n16f$raw_n27f<12>
4264	0 - 1 0
4265	1 - 1 1
4266	- 0 0 0
4267	- 1 0 1
4268	.names last<13> last$_n16f_n1b0$false<13> _n16f last$_n16f$raw_n27f<13>
4269	0 - 1 0
4270	1 - 1 1
4271	- 0 0 0
4272	- 1 0 1
4273	.names last<14> last$_n16f_n1b0$false<14> _n16f last$_n16f$raw_n27f<14>
4274	0 - 1 0
4275	1 - 1 1
4276	- 0 0 0
4277	- 1 0 1
4278	.names last<15> last$_n16f_n1b0$false<15> _n16f last$_n16f$raw_n27f<15>
4279	0 - 1 0
4280	1 - 1 1
4281	- 0 0 0
4282	- 1 0 1
4283	.names last<16> last$_n16f_n1b0$false<16> _n16f last$_n16f$raw_n27f<16>
4284	0 - 1 0
4285	1 - 1 1
4286	- 0 0 0
4287	- 1 0 1
4288	.names last<17> last$_n16f_n1b0$false<17> _n16f last$_n16f$raw_n27f<17>
4289	0 - 1 0
4290	1 - 1 1
4291	- 0 0 0
4292	- 1 0 1
4293	.names last<18> last$_n16f_n1b0$false<18> _n16f last$_n16f$raw_n27f<18>
4294	0 - 1 0
4295	1 - 1 1
4296	- 0 0 0
4297	- 1 0 1
4298	.names last<19> last$_n16f_n1b0$false<19> _n16f last$_n16f$raw_n27f<19>
4299	0 - 1 0
4300	1 - 1 1
4301	- 0 0 0
4302	- 1 0 1
4303	.names last<20> last$_n16f_n1b0$false<20> _n16f last$_n16f$raw_n27f<20>
4304	0 - 1 0
4305	1 - 1 1
4306	- 0 0 0
4307	- 1 0 1
4308	.names last<21> last$_n16f_n1b0$false<21> _n16f last$_n16f$raw_n27f<21>
4309	0 - 1 0
4310	1 - 1 1
4311	- 0 0 0
4312	- 1 0 1
4313	.names last<22> last$_n16f_n1b0$false<22> _n16f last$_n16f$raw_n27f<22>
4314	0 - 1 0
4315	1 - 1 1
4316	- 0 0 0
4317	- 1 0 1
4318	.names last<23> last$_n16f_n1b0$false<23> _n16f last$_n16f$raw_n27f<23>
4319	0 - 1 0
4320	1 - 1 1
4321	- 0 0 0
4322	- 1 0 1
4323	.names last<24> last$_n16f_n1b0$false<24> _n16f last$_n16f$raw_n27f<24>
4324	0 - 1 0
4325	1 - 1 1
4326	- 0 0 0
4327	- 1 0 1
4328	.names last<25> last$_n16f_n1b0$false<25> _n16f last$_n16f$raw_n27f<25>
4329	0 - 1 0
4330	1 - 1 1
4331	- 0 0 0
4332	- 1 0 1
4333	.names last<26> last$_n16f_n1b0$false<26> _n16f last$_n16f$raw_n27f<26>
4334	0 - 1 0
4335	1 - 1 1
4336	- 0 0 0
4337	- 1 0 1
4338	.names last<27> last$_n16f_n1b0$false<27> _n16f last$_n16f$raw_n27f<27>
4339	0 - 1 0
4340	1 - 1 1
4341	- 0 0 0
4342	- 1 0 1
4343	.names last<28> last$_n16f_n1b0$false<28> _n16f last$_n16f$raw_n27f<28>
4344	0 - 1 0
4345	1 - 1 1
4346	- 0 0 0
4347	- 1 0 1
4348	.names last<29> last$_n16f_n1b0$false<29> _n16f last$_n16f$raw_n27f<29>
4349	0 - 1 0
4350	1 - 1 1
4351	- 0 0 0
4352	- 1 0 1
4353	# if/else (clear )
4354	.names max$clear_n130$true<0> max$_n16f$raw_n23d<0> clear max$clear$raw_n2a1<0>
4355	0 - 1 0
4356	1 - 1 1
4357	- 0 0 0
4358	- 1 0 1
4359	.names max$clear_n130$true<1> max$_n16f$raw_n23d<1> clear max$clear$raw_n2a1<1>
4360	0 - 1 0
4361	1 - 1 1
4362	- 0 0 0
4363	- 1 0 1
4364	.names max$clear_n130$true<2> max$_n16f$raw_n23d<2> clear max$clear$raw_n2a1<2>
4365	0 - 1 0
4366	1 - 1 1
4367	- 0 0 0
4368	- 1 0 1
4369	.names max$clear_n130$true<3> max$_n16f$raw_n23d<3> clear max$clear$raw_n2a1<3>
4370	0 - 1 0
4371	1 - 1 1
4372	- 0 0 0
4373	- 1 0 1
4374	.names max$clear_n130$true<4> max$_n16f$raw_n23d<4> clear max$clear$raw_n2a1<4>
4375	0 - 1 0
4376	1 - 1 1
4377	- 0 0 0
4378	- 1 0 1
4379	.names max$clear_n130$true<5> max$_n16f$raw_n23d<5> clear max$clear$raw_n2a1<5>
4380	0 - 1 0
4381	1 - 1 1
4382	- 0 0 0
4383	- 1 0 1
4384	.names max$clear_n130$true<6> max$_n16f$raw_n23d<6> clear max$clear$raw_n2a1<6>
4385	0 - 1 0
4386	1 - 1 1
4387	- 0 0 0
4388	- 1 0 1
4389	.names max$clear_n130$true<7> max$_n16f$raw_n23d<7> clear max$clear$raw_n2a1<7>
4390	0 - 1 0
4391	1 - 1 1
4392	- 0 0 0
4393	- 1 0 1
4394	.names max$clear_n130$true<8> max$_n16f$raw_n23d<8> clear max$clear$raw_n2a1<8>
4395	0 - 1 0
4396	1 - 1 1
4397	- 0 0 0
4398	- 1 0 1
4399	.names max$clear_n130$true<9> max$_n16f$raw_n23d<9> clear max$clear$raw_n2a1<9>
4400	0 - 1 0
4401	1 - 1 1
4402	- 0 0 0
4403	- 1 0 1
4404	.names max$clear_n130$true<10> max$_n16f$raw_n23d<10> clear max$clear$raw_n2a1<10>
4405	0 - 1 0
4406	1 - 1 1
4407	- 0 0 0
4408	- 1 0 1
4409	.names max$clear_n130$true<11> max$_n16f$raw_n23d<11> clear max$clear$raw_n2a1<11>
4410	0 - 1 0
4411	1 - 1 1
4412	- 0 0 0
4413	- 1 0 1
4414	.names max$clear_n130$true<12> max$_n16f$raw_n23d<12> clear max$clear$raw_n2a1<12>
4415	0 - 1 0
4416	1 - 1 1
4417	- 0 0 0
4418	- 1 0 1
4419	.names max$clear_n130$true<13> max$_n16f$raw_n23d<13> clear max$clear$raw_n2a1<13>
4420	0 - 1 0
4421	1 - 1 1
4422	- 0 0 0
4423	- 1 0 1
4424	.names max$clear_n130$true<14> max$_n16f$raw_n23d<14> clear max$clear$raw_n2a1<14>
4425	0 - 1 0
4426	1 - 1 1
4427	- 0 0 0
4428	- 1 0 1
4429	.names max$clear_n130$true<15> max$_n16f$raw_n23d<15> clear max$clear$raw_n2a1<15>
4430	0 - 1 0
4431	1 - 1 1
4432	- 0 0 0
4433	- 1 0 1
4434	.names max$clear_n130$true<16> max$_n16f$raw_n23d<16> clear max$clear$raw_n2a1<16>
4435	0 - 1 0
4436	1 - 1 1
4437	- 0 0 0
4438	- 1 0 1
4439	.names max$clear_n130$true<17> max$_n16f$raw_n23d<17> clear max$clear$raw_n2a1<17>
4440	0 - 1 0
4441	1 - 1 1
4442	- 0 0 0
4443	- 1 0 1
4444	.names max$clear_n130$true<18> max$_n16f$raw_n23d<18> clear max$clear$raw_n2a1<18>
4445	0 - 1 0
4446	1 - 1 1
4447	- 0 0 0
4448	- 1 0 1
4449	.names max$clear_n130$true<19> max$_n16f$raw_n23d<19> clear max$clear$raw_n2a1<19>
4450	0 - 1 0
4451	1 - 1 1
4452	- 0 0 0
4453	- 1 0 1
4454	.names max$clear_n130$true<20> max$_n16f$raw_n23d<20> clear max$clear$raw_n2a1<20>
4455	0 - 1 0
4456	1 - 1 1
4457	- 0 0 0
4458	- 1 0 1
4459	.names max$clear_n130$true<21> max$_n16f$raw_n23d<21> clear max$clear$raw_n2a1<21>
4460	0 - 1 0
4461	1 - 1 1
4462	- 0 0 0
4463	- 1 0 1
4464	.names max$clear_n130$true<22> max$_n16f$raw_n23d<22> clear max$clear$raw_n2a1<22>
4465	0 - 1 0
4466	1 - 1 1
4467	- 0 0 0
4468	- 1 0 1
4469	.names max$clear_n130$true<23> max$_n16f$raw_n23d<23> clear max$clear$raw_n2a1<23>
4470	0 - 1 0
4471	1 - 1 1
4472	- 0 0 0
4473	- 1 0 1
4474	.names max$clear_n130$true<24> max$_n16f$raw_n23d<24> clear max$clear$raw_n2a1<24>
4475	0 - 1 0
4476	1 - 1 1
4477	- 0 0 0
4478	- 1 0 1
4479	.names max$clear_n130$true<25> max$_n16f$raw_n23d<25> clear max$clear$raw_n2a1<25>
4480	0 - 1 0
4481	1 - 1 1
4482	- 0 0 0
4483	- 1 0 1
4484	.names max$clear_n130$true<26> max$_n16f$raw_n23d<26> clear max$clear$raw_n2a1<26>
4485	0 - 1 0
4486	1 - 1 1
4487	- 0 0 0
4488	- 1 0 1
4489	.names max$clear_n130$true<27> max$_n16f$raw_n23d<27> clear max$clear$raw_n2a1<27>
4490	0 - 1 0
4491	1 - 1 1
4492	- 0 0 0
4493	- 1 0 1
4494	.names max$clear_n130$true<28> max$_n16f$raw_n23d<28> clear max$clear$raw_n2a1<28>
4495	0 - 1 0
4496	1 - 1 1
4497	- 0 0 0
4498	- 1 0 1
4499	.names max$clear_n130$true<29> max$_n16f$raw_n23d<29> clear max$clear$raw_n2a1<29>
4500	0 - 1 0
4501	1 - 1 1
4502	- 0 0 0
4503	- 1 0 1
4504	.names min$clear_n131$true<0> min$_n16f$raw_n25c<0> clear min$clear$raw_n2c0<0>
4505	0 - 1 0
4506	1 - 1 1
4507	- 0 0 0
4508	- 1 0 1
4509	.names min$clear_n131$true<1> min$_n16f$raw_n25c<1> clear min$clear$raw_n2c0<1>
4510	0 - 1 0
4511	1 - 1 1
4512	- 0 0 0
4513	- 1 0 1
4514	.names min$clear_n131$true<2> min$_n16f$raw_n25c<2> clear min$clear$raw_n2c0<2>
4515	0 - 1 0
4516	1 - 1 1
4517	- 0 0 0
4518	- 1 0 1
4519	.names min$clear_n131$true<3> min$_n16f$raw_n25c<3> clear min$clear$raw_n2c0<3>
4520	0 - 1 0
4521	1 - 1 1
4522	- 0 0 0
4523	- 1 0 1
4524	.names min$clear_n131$true<4> min$_n16f$raw_n25c<4> clear min$clear$raw_n2c0<4>
4525	0 - 1 0
4526	1 - 1 1
4527	- 0 0 0
4528	- 1 0 1
4529	.names min$clear_n131$true<5> min$_n16f$raw_n25c<5> clear min$clear$raw_n2c0<5>
4530	0 - 1 0
4531	1 - 1 1
4532	- 0 0 0
4533	- 1 0 1
4534	.names min$clear_n131$true<6> min$_n16f$raw_n25c<6> clear min$clear$raw_n2c0<6>
4535	0 - 1 0
4536	1 - 1 1
4537	- 0 0 0
4538	- 1 0 1
4539	.names min$clear_n131$true<7> min$_n16f$raw_n25c<7> clear min$clear$raw_n2c0<7>
4540	0 - 1 0
4541	1 - 1 1
4542	- 0 0 0
4543	- 1 0 1
4544	.names min$clear_n131$true<8> min$_n16f$raw_n25c<8> clear min$clear$raw_n2c0<8>
4545	0 - 1 0
4546	1 - 1 1
4547	- 0 0 0
4548	- 1 0 1
4549	.names min$clear_n131$true<9> min$_n16f$raw_n25c<9> clear min$clear$raw_n2c0<9>
4550	0 - 1 0
4551	1 - 1 1
4552	- 0 0 0
4553	- 1 0 1
4554	.names min$clear_n131$true<10> min$_n16f$raw_n25c<10> clear min$clear$raw_n2c0<10>
4555	0 - 1 0
4556	1 - 1 1
4557	- 0 0 0
4558	- 1 0 1
4559	.names min$clear_n131$true<11> min$_n16f$raw_n25c<11> clear min$clear$raw_n2c0<11>
4560	0 - 1 0
4561	1 - 1 1
4562	- 0 0 0
4563	- 1 0 1
4564	.names min$clear_n131$true<12> min$_n16f$raw_n25c<12> clear min$clear$raw_n2c0<12>
4565	0 - 1 0
4566	1 - 1 1
4567	- 0 0 0
4568	- 1 0 1
4569	.names min$clear_n131$true<13> min$_n16f$raw_n25c<13> clear min$clear$raw_n2c0<13>
4570	0 - 1 0
4571	1 - 1 1
4572	- 0 0 0
4573	- 1 0 1
4574	.names min$clear_n131$true<14> min$_n16f$raw_n25c<14> clear min$clear$raw_n2c0<14>
4575	0 - 1 0
4576	1 - 1 1
4577	- 0 0 0
4578	- 1 0 1
4579	.names min$clear_n131$true<15> min$_n16f$raw_n25c<15> clear min$clear$raw_n2c0<15>
4580	0 - 1 0
4581	1 - 1 1
4582	- 0 0 0
4583	- 1 0 1
4584	.names min$clear_n131$true<16> min$_n16f$raw_n25c<16> clear min$clear$raw_n2c0<16>
4585	0 - 1 0
4586	1 - 1 1
4587	- 0 0 0
4588	- 1 0 1
4589	.names min$clear_n131$true<17> min$_n16f$raw_n25c<17> clear min$clear$raw_n2c0<17>
4590	0 - 1 0
4591	1 - 1 1
4592	- 0 0 0
4593	- 1 0 1
4594	.names min$clear_n131$true<18> min$_n16f$raw_n25c<18> clear min$clear$raw_n2c0<18>
4595	0 - 1 0
4596	1 - 1 1
4597	- 0 0 0
4598	- 1 0 1
4599	.names min$clear_n131$true<19> min$_n16f$raw_n25c<19> clear min$clear$raw_n2c0<19>
4600	0 - 1 0
4601	1 - 1 1
4602	- 0 0 0
4603	- 1 0 1
4604	.names min$clear_n131$true<20> min$_n16f$raw_n25c<20> clear min$clear$raw_n2c0<20>
4605	0 - 1 0
4606	1 - 1 1
4607	- 0 0 0
4608	- 1 0 1
4609	.names min$clear_n131$true<21> min$_n16f$raw_n25c<21> clear min$clear$raw_n2c0<21>
4610	0 - 1 0
4611	1 - 1 1
4612	- 0 0 0
4613	- 1 0 1
4614	.names min$clear_n131$true<22> min$_n16f$raw_n25c<22> clear min$clear$raw_n2c0<22>
4615	0 - 1 0
4616	1 - 1 1
4617	- 0 0 0
4618	- 1 0 1
4619	.names min$clear_n131$true<23> min$_n16f$raw_n25c<23> clear min$clear$raw_n2c0<23>
4620	0 - 1 0
4621	1 - 1 1
4622	- 0 0 0
4623	- 1 0 1
4624	.names min$clear_n131$true<24> min$_n16f$raw_n25c<24> clear min$clear$raw_n2c0<24>
4625	0 - 1 0
4626	1 - 1 1
4627	- 0 0 0
4628	- 1 0 1
4629	.names min$clear_n131$true<25> min$_n16f$raw_n25c<25> clear min$clear$raw_n2c0<25>
4630	0 - 1 0
4631	1 - 1 1
4632	- 0 0 0
4633	- 1 0 1
4634	.names min$clear_n131$true<26> min$_n16f$raw_n25c<26> clear min$clear$raw_n2c0<26>
4635	0 - 1 0
4636	1 - 1 1
4637	- 0 0 0
4638	- 1 0 1
4639	.names min$clear_n131$true<27> min$_n16f$raw_n25c<27> clear min$clear$raw_n2c0<27>
4640	0 - 1 0
4641	1 - 1 1
4642	- 0 0 0
4643	- 1 0 1
4644	.names min$clear_n131$true<28> min$_n16f$raw_n25c<28> clear min$clear$raw_n2c0<28>
4645	0 - 1 0
4646	1 - 1 1
4647	- 0 0 0
4648	- 1 0 1
4649	.names min$clear_n131$true<29> min$_n16f$raw_n25c<29> clear min$clear$raw_n2c0<29>
4650	0 - 1 0
4651	1 - 1 1
4652	- 0 0 0
4653	- 1 0 1
4654	.names last$clear_n12f$true<0> last$_n16f$raw_n27f<0> clear last$clear$raw_n2df<0>
4655	0 - 1 0
4656	1 - 1 1
4657	- 0 0 0
4658	- 1 0 1
4659	.names last$clear_n12f$true<1> last$_n16f$raw_n27f<1> clear last$clear$raw_n2df<1>
4660	0 - 1 0
4661	1 - 1 1
4662	- 0 0 0
4663	- 1 0 1
4664	.names last$clear_n12f$true<2> last$_n16f$raw_n27f<2> clear last$clear$raw_n2df<2>
4665	0 - 1 0
4666	1 - 1 1
4667	- 0 0 0
4668	- 1 0 1
4669	.names last$clear_n12f$true<3> last$_n16f$raw_n27f<3> clear last$clear$raw_n2df<3>
4670	0 - 1 0
4671	1 - 1 1
4672	- 0 0 0
4673	- 1 0 1
4674	.names last$clear_n12f$true<4> last$_n16f$raw_n27f<4> clear last$clear$raw_n2df<4>
4675	0 - 1 0
4676	1 - 1 1
4677	- 0 0 0
4678	- 1 0 1
4679	.names last$clear_n12f$true<5> last$_n16f$raw_n27f<5> clear last$clear$raw_n2df<5>
4680	0 - 1 0
4681	1 - 1 1
4682	- 0 0 0
4683	- 1 0 1
4684	.names last$clear_n12f$true<6> last$_n16f$raw_n27f<6> clear last$clear$raw_n2df<6>
4685	0 - 1 0
4686	1 - 1 1
4687	- 0 0 0
4688	- 1 0 1
4689	.names last$clear_n12f$true<7> last$_n16f$raw_n27f<7> clear last$clear$raw_n2df<7>
4690	0 - 1 0
4691	1 - 1 1
4692	- 0 0 0
4693	- 1 0 1
4694	.names last$clear_n12f$true<8> last$_n16f$raw_n27f<8> clear last$clear$raw_n2df<8>
4695	0 - 1 0
4696	1 - 1 1
4697	- 0 0 0
4698	- 1 0 1
4699	.names last$clear_n12f$true<9> last$_n16f$raw_n27f<9> clear last$clear$raw_n2df<9>
4700	0 - 1 0
4701	1 - 1 1
4702	- 0 0 0
4703	- 1 0 1
4704	.names last$clear_n12f$true<10> last$_n16f$raw_n27f<10> clear last$clear$raw_n2df<10>
4705	0 - 1 0
4706	1 - 1 1
4707	- 0 0 0
4708	- 1 0 1
4709	.names last$clear_n12f$true<11> last$_n16f$raw_n27f<11> clear last$clear$raw_n2df<11>
4710	0 - 1 0
4711	1 - 1 1
4712	- 0 0 0
4713	- 1 0 1
4714	.names last$clear_n12f$true<12> last$_n16f$raw_n27f<12> clear last$clear$raw_n2df<12>
4715	0 - 1 0
4716	1 - 1 1
4717	- 0 0 0
4718	- 1 0 1
4719	.names last$clear_n12f$true<13> last$_n16f$raw_n27f<13> clear last$clear$raw_n2df<13>
4720	0 - 1 0
4721	1 - 1 1
4722	- 0 0 0
4723	- 1 0 1
4724	.names last$clear_n12f$true<14> last$_n16f$raw_n27f<14> clear last$clear$raw_n2df<14>
4725	0 - 1 0
4726	1 - 1 1
4727	- 0 0 0
4728	- 1 0 1
4729	.names last$clear_n12f$true<15> last$_n16f$raw_n27f<15> clear last$clear$raw_n2df<15>
4730	0 - 1 0
4731	1 - 1 1
4732	- 0 0 0
4733	- 1 0 1
4734	.names last$clear_n12f$true<16> last$_n16f$raw_n27f<16> clear last$clear$raw_n2df<16>
4735	0 - 1 0
4736	1 - 1 1
4737	- 0 0 0
4738	- 1 0 1
4739	.names last$clear_n12f$true<17> last$_n16f$raw_n27f<17> clear last$clear$raw_n2df<17>
4740	0 - 1 0
4741	1 - 1 1
4742	- 0 0 0
4743	- 1 0 1
4744	.names last$clear_n12f$true<18> last$_n16f$raw_n27f<18> clear last$clear$raw_n2df<18>
4745	0 - 1 0
4746	1 - 1 1
4747	- 0 0 0
4748	- 1 0 1
4749	.names last$clear_n12f$true<19> last$_n16f$raw_n27f<19> clear last$clear$raw_n2df<19>
4750	0 - 1 0
4751	1 - 1 1
4752	- 0 0 0
4753	- 1 0 1
4754	.names last$clear_n12f$true<20> last$_n16f$raw_n27f<20> clear last$clear$raw_n2df<20>
4755	0 - 1 0
4756	1 - 1 1
4757	- 0 0 0
4758	- 1 0 1
4759	.names last$clear_n12f$true<21> last$_n16f$raw_n27f<21> clear last$clear$raw_n2df<21>
4760	0 - 1 0
4761	1 - 1 1
4762	- 0 0 0
4763	- 1 0 1
4764	.names last$clear_n12f$true<22> last$_n16f$raw_n27f<22> clear last$clear$raw_n2df<22>
4765	0 - 1 0
4766	1 - 1 1
4767	- 0 0 0
4768	- 1 0 1
4769	.names last$clear_n12f$true<23> last$_n16f$raw_n27f<23> clear last$clear$raw_n2df<23>
4770	0 - 1 0
4771	1 - 1 1
4772	- 0 0 0
4773	- 1 0 1
4774	.names last$clear_n12f$true<24> last$_n16f$raw_n27f<24> clear last$clear$raw_n2df<24>
4775	0 - 1 0
4776	1 - 1 1
4777	- 0 0 0
4778	- 1 0 1
4779	.names last$clear_n12f$true<25> last$_n16f$raw_n27f<25> clear last$clear$raw_n2df<25>
4780	0 - 1 0
4781	1 - 1 1
4782	- 0 0 0
4783	- 1 0 1
4784	.names last$clear_n12f$true<26> last$_n16f$raw_n27f<26> clear last$clear$raw_n2df<26>
4785	0 - 1 0
4786	1 - 1 1
4787	- 0 0 0
4788	- 1 0 1
4789	.names last$clear_n12f$true<27> last$_n16f$raw_n27f<27> clear last$clear$raw_n2df<27>
4790	0 - 1 0
4791	1 - 1 1
4792	- 0 0 0
4793	- 1 0 1
4794	.names last$clear_n12f$true<28> last$_n16f$raw_n27f<28> clear last$clear$raw_n2df<28>
4795	0 - 1 0
4796	1 - 1 1
4797	- 0 0 0
4798	- 1 0 1
4799	.names last$clear_n12f$true<29> last$_n16f$raw_n27f<29> clear last$clear$raw_n2df<29>
4800	0 - 1 0
4801	1 - 1 1
4802	- 0 0 0
4803	- 1 0 1
4804	# assign out = clear ? 0 : !enable ? last : reset ? in : avg
4805	.names enable _n305
4806	0 1
4807	1 0
4808	# reset ? in : avg
4809	.names in<0> avg<0> reset _n306<0>
4810	0 - 1 0
4811	1 - 1 1
4812	- 0 0 0
4813	- 1 0 1
4814	.names in<1> avg<1> reset _n306<1>
4815	0 - 1 0
4816	1 - 1 1
4817	- 0 0 0
4818	- 1 0 1
4819	.names in<2> avg<2> reset _n306<2>
4820	0 - 1 0
4821	1 - 1 1
4822	- 0 0 0
4823	- 1 0 1
4824	.names in<3> avg<3> reset _n306<3>
4825	0 - 1 0
4826	1 - 1 1
4827	- 0 0 0
4828	- 1 0 1
4829	.names in<4> avg<4> reset _n306<4>
4830	0 - 1 0
4831	1 - 1 1
4832	- 0 0 0
4833	- 1 0 1
4834	.names in<5> avg<5> reset _n306<5>
4835	0 - 1 0
4836	1 - 1 1
4837	- 0 0 0
4838	- 1 0 1
4839	.names in<6> avg<6> reset _n306<6>
4840	0 - 1 0
4841	1 - 1 1
4842	- 0 0 0
4843	- 1 0 1
4844	.names in<7> avg<7> reset _n306<7>
4845	0 - 1 0
4846	1 - 1 1
4847	- 0 0 0
4848	- 1 0 1
4849	.names in<8> avg<8> reset _n306<8>
4850	0 - 1 0
4851	1 - 1 1
4852	- 0 0 0
4853	- 1 0 1
4854	.names in<9> avg<9> reset _n306<9>
4855	0 - 1 0
4856	1 - 1 1
4857	- 0 0 0
4858	- 1 0 1
4859	.names in<10> avg<10> reset _n306<10>
4860	0 - 1 0
4861	1 - 1 1
4862	- 0 0 0
4863	- 1 0 1
4864	.names in<11> avg<11> reset _n306<11>
4865	0 - 1 0
4866	1 - 1 1
4867	- 0 0 0
4868	- 1 0 1
4869	.names in<12> avg<12> reset _n306<12>
4870	0 - 1 0
4871	1 - 1 1
4872	- 0 0 0
4873	- 1 0 1
4874	.names in<13> avg<13> reset _n306<13>
4875	0 - 1 0
4876	1 - 1 1
4877	- 0 0 0
4878	- 1 0 1
4879	.names in<14> avg<14> reset _n306<14>
4880	0 - 1 0
4881	1 - 1 1
4882	- 0 0 0
4883	- 1 0 1
4884	.names in<15> avg<15> reset _n306<15>
4885	0 - 1 0
4886	1 - 1 1
4887	- 0 0 0
4888	- 1 0 1
4889	.names in<16> avg<16> reset _n306<16>
4890	0 - 1 0
4891	1 - 1 1
4892	- 0 0 0
4893	- 1 0 1
4894	.names in<17> avg<17> reset _n306<17>
4895	0 - 1 0
4896	1 - 1 1
4897	- 0 0 0
4898	- 1 0 1
4899	.names in<18> avg<18> reset _n306<18>
4900	0 - 1 0
4901	1 - 1 1
4902	- 0 0 0
4903	- 1 0 1
4904	.names in<19> avg<19> reset _n306<19>
4905	0 - 1 0
4906	1 - 1 1
4907	- 0 0 0
4908	- 1 0 1
4909	.names in<20> avg<20> reset _n306<20>
4910	0 - 1 0
4911	1 - 1 1
4912	- 0 0 0
4913	- 1 0 1
4914	.names in<21> avg<21> reset _n306<21>
4915	0 - 1 0
4916	1 - 1 1
4917	- 0 0 0
4918	- 1 0 1
4919	.names in<22> avg<22> reset _n306<22>
4920	0 - 1 0
4921	1 - 1 1
4922	- 0 0 0
4923	- 1 0 1
4924	.names in<23> avg<23> reset _n306<23>
4925	0 - 1 0
4926	1 - 1 1
4927	- 0 0 0
4928	- 1 0 1
4929	.names in<24> avg<24> reset _n306<24>
4930	0 - 1 0
4931	1 - 1 1
4932	- 0 0 0
4933	- 1 0 1
4934	.names in<25> avg<25> reset _n306<25>
4935	0 - 1 0
4936	1 - 1 1
4937	- 0 0 0
4938	- 1 0 1
4939	.names in<26> avg<26> reset _n306<26>
4940	0 - 1 0
4941	1 - 1 1
4942	- 0 0 0
4943	- 1 0 1
4944	.names in<27> avg<27> reset _n306<27>
4945	0 - 1 0
4946	1 - 1 1
4947	- 0 0 0
4948	- 1 0 1
4949	.names in<28> avg<28> reset _n306<28>
4950	0 - 1 0
4951	1 - 1 1
4952	- 0 0 0
4953	- 1 0 1
4954	.names in<29> avg<29> reset _n306<29>
4955	0 - 1 0
4956	1 - 1 1
4957	- 0 0 0
4958	- 1 0 1
4959	# !enable ? last : reset ? in : avg
4960	.names last<0> _n306<0> _n305 _n325<0>
4961	0 - 1 0
4962	1 - 1 1
4963	- 0 0 0
4964	- 1 0 1
4965	.names last<1> _n306<1> _n305 _n325<1>
4966	0 - 1 0
4967	1 - 1 1
4968	- 0 0 0
4969	- 1 0 1
4970	.names last<2> _n306<2> _n305 _n325<2>
4971	0 - 1 0
4972	1 - 1 1
4973	- 0 0 0
4974	- 1 0 1
4975	.names last<3> _n306<3> _n305 _n325<3>
4976	0 - 1 0
4977	1 - 1 1
4978	- 0 0 0
4979	- 1 0 1
4980	.names last<4> _n306<4> _n305 _n325<4>
4981	0 - 1 0
4982	1 - 1 1
4983	- 0 0 0
4984	- 1 0 1
4985	.names last<5> _n306<5> _n305 _n325<5>
4986	0 - 1 0
4987	1 - 1 1
4988	- 0 0 0
4989	- 1 0 1
4990	.names last<6> _n306<6> _n305 _n325<6>
4991	0 - 1 0
4992	1 - 1 1
4993	- 0 0 0
4994	- 1 0 1
4995	.names last<7> _n306<7> _n305 _n325<7>
4996	0 - 1 0
4997	1 - 1 1
4998	- 0 0 0
4999	- 1 0 1
5000	.names last<8> _n306<8> _n305 _n325<8>
5001	0 - 1 0
5002	1 - 1 1
5003	- 0 0 0
5004	- 1 0 1
5005	.names last<9> _n306<9> _n305 _n325<9>
5006	0 - 1 0
5007	1 - 1 1
5008	- 0 0 0
5009	- 1 0 1
5010	.names last<10> _n306<10> _n305 _n325<10>
5011	0 - 1 0
5012	1 - 1 1
5013	- 0 0 0
5014	- 1 0 1
5015	.names last<11> _n306<11> _n305 _n325<11>
5016	0 - 1 0
5017	1 - 1 1
5018	- 0 0 0
5019	- 1 0 1
5020	.names last<12> _n306<12> _n305 _n325<12>
5021	0 - 1 0
5022	1 - 1 1
5023	- 0 0 0
5024	- 1 0 1
5025	.names last<13> _n306<13> _n305 _n325<13>
5026	0 - 1 0
5027	1 - 1 1
5028	- 0 0 0
5029	- 1 0 1
5030	.names last<14> _n306<14> _n305 _n325<14>
5031	0 - 1 0
5032	1 - 1 1
5033	- 0 0 0
5034	- 1 0 1
5035	.names last<15> _n306<15> _n305 _n325<15>
5036	0 - 1 0
5037	1 - 1 1
5038	- 0 0 0
5039	- 1 0 1
5040	.names last<16> _n306<16> _n305 _n325<16>
5041	0 - 1 0
5042	1 - 1 1
5043	- 0 0 0
5044	- 1 0 1
5045	.names last<17> _n306<17> _n305 _n325<17>
5046	0 - 1 0
5047	1 - 1 1
5048	- 0 0 0
5049	- 1 0 1
5050	.names last<18> _n306<18> _n305 _n325<18>
5051	0 - 1 0
5052	1 - 1 1
5053	- 0 0 0
5054	- 1 0 1
5055	.names last<19> _n306<19> _n305 _n325<19>
5056	0 - 1 0
5057	1 - 1 1
5058	- 0 0 0
5059	- 1 0 1
5060	.names last<20> _n306<20> _n305 _n325<20>
5061	0 - 1 0
5062	1 - 1 1
5063	- 0 0 0
5064	- 1 0 1
5065	.names last<21> _n306<21> _n305 _n325<21>
5066	0 - 1 0
5067	1 - 1 1
5068	- 0 0 0
5069	- 1 0 1
5070	.names last<22> _n306<22> _n305 _n325<22>
5071	0 - 1 0
5072	1 - 1 1
5073	- 0 0 0
5074	- 1 0 1
5075	.names last<23> _n306<23> _n305 _n325<23>
5076	0 - 1 0
5077	1 - 1 1
5078	- 0 0 0
5079	- 1 0 1
5080	.names last<24> _n306<24> _n305 _n325<24>
5081	0 - 1 0
5082	1 - 1 1
5083	- 0 0 0
5084	- 1 0 1
5085	.names last<25> _n306<25> _n305 _n325<25>
5086	0 - 1 0
5087	1 - 1 1
5088	- 0 0 0
5089	- 1 0 1
5090	.names last<26> _n306<26> _n305 _n325<26>
5091	0 - 1 0
5092	1 - 1 1
5093	- 0 0 0
5094	- 1 0 1
5095	.names last<27> _n306<27> _n305 _n325<27>
5096	0 - 1 0
5097	1 - 1 1
5098	- 0 0 0
5099	- 1 0 1
5100	.names last<28> _n306<28> _n305 _n325<28>
5101	0 - 1 0
5102	1 - 1 1
5103	- 0 0 0
5104	- 1 0 1
5105	.names last<29> _n306<29> _n305 _n325<29>
5106	0 - 1 0
5107	1 - 1 1
5108	- 0 0 0
5109	- 1 0 1
5110	.names _n344<0>
5111	0
5112	.names _n344<1>
5113	0
5114	.names _n344<2>
5115	0
5116	.names _n344<3>
5117	0
5118	.names _n344<4>
5119	0
5120	.names _n344<5>
5121	0
5122	.names _n344<6>
5123	0
5124	.names _n344<7>
5125	0
5126	.names _n344<8>
5127	0
5128	.names _n344<9>
5129	0
5130	.names _n344<10>
5131	0
5132	.names _n344<11>
5133	0
5134	.names _n344<12>
5135	0
5136	.names _n344<13>
5137	0
5138	.names _n344<14>
5139	0
5140	.names _n344<15>
5141	0
5142	.names _n344<16>
5143	0
5144	.names _n344<17>
5145	0
5146	.names _n344<18>
5147	0
5148	.names _n344<19>
5149	0
5150	.names _n344<20>
5151	0
5152	.names _n344<21>
5153	0
5154	.names _n344<22>
5155	0
5156	.names _n344<23>
5157	0
5158	.names _n344<24>
5159	0
5160	.names _n344<25>
5161	0
5162	.names _n344<26>
5163	0
5164	.names _n344<27>
5165	0
5166	.names _n344<28>
5167	0
5168	.names _n344<29>
5169	0
5170	# clear ? 0 : !enable ? last : reset ? in : avg
5171	.names _n344<0> _n325<0> clear _n345<0>
5172	0 - 1 0
5173	1 - 1 1
5174	- 0 0 0
5175	- 1 0 1
5176	.names _n344<1> _n325<1> clear _n345<1>
5177	0 - 1 0
5178	1 - 1 1
5179	- 0 0 0
5180	- 1 0 1
5181	.names _n344<2> _n325<2> clear _n345<2>
5182	0 - 1 0
5183	1 - 1 1
5184	- 0 0 0
5185	- 1 0 1
5186	.names _n344<3> _n325<3> clear _n345<3>
5187	0 - 1 0
5188	1 - 1 1
5189	- 0 0 0
5190	- 1 0 1
5191	.names _n344<4> _n325<4> clear _n345<4>
5192	0 - 1 0
5193	1 - 1 1
5194	- 0 0 0
5195	- 1 0 1
5196	.names _n344<5> _n325<5> clear _n345<5>
5197	0 - 1 0
5198	1 - 1 1
5199	- 0 0 0
5200	- 1 0 1
5201	.names _n344<6> _n325<6> clear _n345<6>
5202	0 - 1 0
5203	1 - 1 1
5204	- 0 0 0
5205	- 1 0 1
5206	.names _n344<7> _n325<7> clear _n345<7>
5207	0 - 1 0
5208	1 - 1 1
5209	- 0 0 0
5210	- 1 0 1
5211	.names _n344<8> _n325<8> clear _n345<8>
5212	0 - 1 0
5213	1 - 1 1
5214	- 0 0 0
5215	- 1 0 1
5216	.names _n344<9> _n325<9> clear _n345<9>
5217	0 - 1 0
5218	1 - 1 1
5219	- 0 0 0
5220	- 1 0 1
5221	.names _n344<10> _n325<10> clear _n345<10>
5222	0 - 1 0
5223	1 - 1 1
5224	- 0 0 0
5225	- 1 0 1
5226	.names _n344<11> _n325<11> clear _n345<11>
5227	0 - 1 0
5228	1 - 1 1
5229	- 0 0 0
5230	- 1 0 1
5231	.names _n344<12> _n325<12> clear _n345<12>
5232	0 - 1 0
5233	1 - 1 1
5234	- 0 0 0
5235	- 1 0 1
5236	.names _n344<13> _n325<13> clear _n345<13>
5237	0 - 1 0
5238	1 - 1 1
5239	- 0 0 0
5240	- 1 0 1
5241	.names _n344<14> _n325<14> clear _n345<14>
5242	0 - 1 0
5243	1 - 1 1
5244	- 0 0 0
5245	- 1 0 1
5246	.names _n344<15> _n325<15> clear _n345<15>
5247	0 - 1 0
5248	1 - 1 1
5249	- 0 0 0
5250	- 1 0 1
5251	.names _n344<16> _n325<16> clear _n345<16>
5252	0 - 1 0
5253	1 - 1 1
5254	- 0 0 0
5255	- 1 0 1
5256	.names _n344<17> _n325<17> clear _n345<17>
5257	0 - 1 0
5258	1 - 1 1
5259	- 0 0 0
5260	- 1 0 1
5261	.names _n344<18> _n325<18> clear _n345<18>
5262	0 - 1 0
5263	1 - 1 1
5264	- 0 0 0
5265	- 1 0 1
5266	.names _n344<19> _n325<19> clear _n345<19>
5267	0 - 1 0
5268	1 - 1 1
5269	- 0 0 0
5270	- 1 0 1
5271	.names _n344<20> _n325<20> clear _n345<20>
5272	0 - 1 0
5273	1 - 1 1
5274	- 0 0 0
5275	- 1 0 1
5276	.names _n344<21> _n325<21> clear _n345<21>
5277	0 - 1 0
5278	1 - 1 1
5279	- 0 0 0
5280	- 1 0 1
5281	.names _n344<22> _n325<22> clear _n345<22>
5282	0 - 1 0
5283	1 - 1 1
5284	- 0 0 0
5285	- 1 0 1
5286	.names _n344<23> _n325<23> clear _n345<23>
5287	0 - 1 0
5288	1 - 1 1
5289	- 0 0 0
5290	- 1 0 1
5291	.names _n344<24> _n325<24> clear _n345<24>
5292	0 - 1 0
5293	1 - 1 1
5294	- 0 0 0
5295	- 1 0 1
5296	.names _n344<25> _n325<25> clear _n345<25>
5297	0 - 1 0
5298	1 - 1 1
5299	- 0 0 0
5300	- 1 0 1
5301	.names _n344<26> _n325<26> clear _n345<26>
5302	0 - 1 0
5303	1 - 1 1
5304	- 0 0 0
5305	- 1 0 1
5306	.names _n344<27> _n325<27> clear _n345<27>
5307	0 - 1 0
5308	1 - 1 1
5309	- 0 0 0
5310	- 1 0 1
5311	.names _n344<28> _n325<28> clear _n345<28>
5312	0 - 1 0
5313	1 - 1 1
5314	- 0 0 0
5315	- 1 0 1
5316	.names _n344<29> _n325<29> clear _n345<29>
5317	0 - 1 0
5318	1 - 1 1
5319	- 0 0 0
5320	- 1 0 1
5321	.names _n345<0> out$raw_n304<0>
5322	- =_n345<0>
5323	.names _n345<1> out$raw_n304<1>
5324	- =_n345<1>
5325	.names _n345<2> out$raw_n304<2>
5326	- =_n345<2>
5327	.names _n345<3> out$raw_n304<3>
5328	- =_n345<3>
5329	.names _n345<4> out$raw_n304<4>
5330	- =_n345<4>
5331	.names _n345<5> out$raw_n304<5>
5332	- =_n345<5>
5333	.names _n345<6> out$raw_n304<6>
5334	- =_n345<6>
5335	.names _n345<7> out$raw_n304<7>
5336	- =_n345<7>
5337	.names _n345<8> out$raw_n304<8>
5338	- =_n345<8>
5339	.names _n345<9> out$raw_n304<9>
5340	- =_n345<9>
5341	.names _n345<10> out$raw_n304<10>
5342	- =_n345<10>
5343	.names _n345<11> out$raw_n304<11>
5344	- =_n345<11>
5345	.names _n345<12> out$raw_n304<12>
5346	- =_n345<12>
5347	.names _n345<13> out$raw_n304<13>
5348	- =_n345<13>
5349	.names _n345<14> out$raw_n304<14>
5350	- =_n345<14>
5351	.names _n345<15> out$raw_n304<15>
5352	- =_n345<15>
5353	.names _n345<16> out$raw_n304<16>
5354	- =_n345<16>
5355	.names _n345<17> out$raw_n304<17>
5356	- =_n345<17>
5357	.names _n345<18> out$raw_n304<18>
5358	- =_n345<18>
5359	.names _n345<19> out$raw_n304<19>
5360	- =_n345<19>
5361	.names _n345<20> out$raw_n304<20>
5362	- =_n345<20>
5363	.names _n345<21> out$raw_n304<21>
5364	- =_n345<21>
5365	.names _n345<22> out$raw_n304<22>
5366	- =_n345<22>
5367	.names _n345<23> out$raw_n304<23>
5368	- =_n345<23>
5369	.names _n345<24> out$raw_n304<24>
5370	- =_n345<24>
5371	.names _n345<25> out$raw_n304<25>
5372	- =_n345<25>
5373	.names _n345<26> out$raw_n304<26>
5374	- =_n345<26>
5375	.names _n345<27> out$raw_n304<27>
5376	- =_n345<27>
5377	.names _n345<28> out$raw_n304<28>
5378	- =_n345<28>
5379	.names _n345<29> out$raw_n304<29>
5380	- =_n345<29>
5381	# conflict arbitrators
5382	.names inf$raw_neb<0> inf<0>
5383	- =inf$raw_neb<0>
5384	.names inf$raw_neb<1> inf<1>
5385	- =inf$raw_neb<1>
5386	.names inf$raw_neb<2> inf<2>
5387	- =inf$raw_neb<2>
5388	.names inf$raw_neb<3> inf<3>
5389	- =inf$raw_neb<3>
5390	.names inf$raw_neb<4> inf<4>
5391	- =inf$raw_neb<4>
5392	.names inf$raw_neb<5> inf<5>
5393	- =inf$raw_neb<5>
5394	.names inf$raw_neb<6> inf<6>
5395	- =inf$raw_neb<6>
5396	.names inf$raw_neb<7> inf<7>
5397	- =inf$raw_neb<7>
5398	.names inf$raw_neb<8> inf<8>
5399	- =inf$raw_neb<8>
5400	.names inf$raw_neb<9> inf<9>
5401	- =inf$raw_neb<9>
5402	.names inf$raw_neb<10> inf<10>
5403	- =inf$raw_neb<10>
5404	.names inf$raw_neb<11> inf<11>
5405	- =inf$raw_neb<11>
5406	.names inf$raw_neb<12> inf<12>
5407	- =inf$raw_neb<12>
5408	.names inf$raw_neb<13> inf<13>
5409	- =inf$raw_neb<13>
5410	.names inf$raw_neb<14> inf<14>
5411	- =inf$raw_neb<14>
5412	.names inf$raw_neb<15> inf<15>
5413	- =inf$raw_neb<15>
5414	.names inf$raw_neb<16> inf<16>
5415	- =inf$raw_neb<16>
5416	.names inf$raw_neb<17> inf<17>
5417	- =inf$raw_neb<17>
5418	.names inf$raw_neb<18> inf<18>
5419	- =inf$raw_neb<18>
5420	.names inf$raw_neb<19> inf<19>
5421	- =inf$raw_neb<19>
5422	.names inf$raw_neb<20> inf<20>
5423	- =inf$raw_neb<20>
5424	.names inf$raw_neb<21> inf<21>
5425	- =inf$raw_neb<21>
5426	.names inf$raw_neb<22> inf<22>
5427	- =inf$raw_neb<22>
5428	.names inf$raw_neb<23> inf<23>
5429	- =inf$raw_neb<23>
5430	.names inf$raw_neb<24> inf<24>
5431	- =inf$raw_neb<24>
5432	.names inf$raw_neb<25> inf<25>
5433	- =inf$raw_neb<25>
5434	.names inf$raw_neb<26> inf<26>
5435	- =inf$raw_neb<26>
5436	.names inf$raw_neb<27> inf<27>
5437	- =inf$raw_neb<27>
5438	.names inf$raw_neb<28> inf<28>
5439	- =inf$raw_neb<28>
5440	.names inf$raw_neb<29> inf<29>
5441	- =inf$raw_neb<29>
5442	.names _n12e _n170 _n1b1 _n364
5443	.def 0
5444	1 - - 1
5445	0 1 - 1
5446	0 0 1 1
5447	0 0 0 1
5448	.names _n364 max$clear$raw_n2a1<0> max$clear$raw_n2a1<1> max$clear$raw_n2a1<2> max$clear$raw_n2a1<3> max$clear$raw_n2a1<4> max$clear$raw_n2a1<5> max$clear$raw_n2a1<6> max$clear$raw_n2a1<7> max$clear$raw_n2a1<8> max$clear$raw_n2a1<9> max$clear$raw_n2a1<10> max$clear$raw_n2a1<11> max$clear$raw_n2a1<12> max$clear$raw_n2a1<13> max$clear$raw_n2a1<14> max$clear$raw_n2a1<15> max$clear$raw_n2a1<16> max$clear$raw_n2a1<17> max$clear$raw_n2a1<18> max$clear$raw_n2a1<19> max$clear$raw_n2a1<20> max$clear$raw_n2a1<21> max$clear$raw_n2a1<22> max$clear$raw_n2a1<23> max$clear$raw_n2a1<24> max$clear$raw_n2a1<25> max$clear$raw_n2a1<26> max$clear$raw_n2a1<27> max$clear$raw_n2a1<28> max$clear$raw_n2a1<29> max<0> max<1> max<2> max<3> max<4> max<5> max<6> max<7> max<8> max<9> max<10> max<11> max<12> max<13> max<14> max<15> max<16> max<17> max<18> max<19> max<20> max<21> max<22> max<23> max<24> max<25> max<26> max<27> max<28> max<29> -> _n365<0> _n365<1> _n365<2> _n365<3> _n365<4> _n365<5> _n365<6> _n365<7> _n365<8> _n365<9> _n365<10> _n365<11> _n365<12> _n365<13> _n365<14> _n365<15> _n365<16> _n365<17> _n365<18> _n365<19> _n365<20> _n365<21> _n365<22> _n365<23> _n365<24> _n365<25> _n365<26> _n365<27> _n365<28> _n365<29>
5449	1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =max$clear$raw_n2a1<0> =max$clear$raw_n2a1<1> =max$clear$raw_n2a1<2> =max$clear$raw_n2a1<3> =max$clear$raw_n2a1<4> =max$clear$raw_n2a1<5> =max$clear$raw_n2a1<6> =max$clear$raw_n2a1<7> =max$clear$raw_n2a1<8> =max$clear$raw_n2a1<9> =max$clear$raw_n2a1<10> =max$clear$raw_n2a1<11> =max$clear$raw_n2a1<12> =max$clear$raw_n2a1<13> =max$clear$raw_n2a1<14> =max$clear$raw_n2a1<15> =max$clear$raw_n2a1<16> =max$clear$raw_n2a1<17> =max$clear$raw_n2a1<18> =max$clear$raw_n2a1<19> =max$clear$raw_n2a1<20> =max$clear$raw_n2a1<21> =max$clear$raw_n2a1<22> =max$clear$raw_n2a1<23> =max$clear$raw_n2a1<24> =max$clear$raw_n2a1<25> =max$clear$raw_n2a1<26> =max$clear$raw_n2a1<27> =max$clear$raw_n2a1<28> =max$clear$raw_n2a1<29>
5450	0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =max<0> =max<1> =max<2> =max<3> =max<4> =max<5> =max<6> =max<7> =max<8> =max<9> =max<10> =max<11> =max<12> =max<13> =max<14> =max<15> =max<16> =max<17> =max<18> =max<19> =max<20> =max<21> =max<22> =max<23> =max<24> =max<25> =max<26> =max<27> =max<28> =max<29>
5451	.names _n12e _n170 _n1b1 _n366
5452	.def 0
5453	1 - - 1
5454	0 1 - 1
5455	0 0 1 1
5456	0 0 0 1
5457	.names _n366 min$clear$raw_n2c0<0> min$clear$raw_n2c0<1> min$clear$raw_n2c0<2> min$clear$raw_n2c0<3> min$clear$raw_n2c0<4> min$clear$raw_n2c0<5> min$clear$raw_n2c0<6> min$clear$raw_n2c0<7> min$clear$raw_n2c0<8> min$clear$raw_n2c0<9> min$clear$raw_n2c0<10> min$clear$raw_n2c0<11> min$clear$raw_n2c0<12> min$clear$raw_n2c0<13> min$clear$raw_n2c0<14> min$clear$raw_n2c0<15> min$clear$raw_n2c0<16> min$clear$raw_n2c0<17> min$clear$raw_n2c0<18> min$clear$raw_n2c0<19> min$clear$raw_n2c0<20> min$clear$raw_n2c0<21> min$clear$raw_n2c0<22> min$clear$raw_n2c0<23> min$clear$raw_n2c0<24> min$clear$raw_n2c0<25> min$clear$raw_n2c0<26> min$clear$raw_n2c0<27> min$clear$raw_n2c0<28> min$clear$raw_n2c0<29> min<0> min<1> min<2> min<3> min<4> min<5> min<6> min<7> min<8> min<9> min<10> min<11> min<12> min<13> min<14> min<15> min<16> min<17> min<18> min<19> min<20> min<21> min<22> min<23> min<24> min<25> min<26> min<27> min<28> min<29> -> _n367<0> _n367<1> _n367<2> _n367<3> _n367<4> _n367<5> _n367<6> _n367<7> _n367<8> _n367<9> _n367<10> _n367<11> _n367<12> _n367<13> _n367<14> _n367<15> _n367<16> _n367<17> _n367<18> _n367<19> _n367<20> _n367<21> _n367<22> _n367<23> _n367<24> _n367<25> _n367<26> _n367<27> _n367<28> _n367<29>
5458	1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =min$clear$raw_n2c0<0> =min$clear$raw_n2c0<1> =min$clear$raw_n2c0<2> =min$clear$raw_n2c0<3> =min$clear$raw_n2c0<4> =min$clear$raw_n2c0<5> =min$clear$raw_n2c0<6> =min$clear$raw_n2c0<7> =min$clear$raw_n2c0<8> =min$clear$raw_n2c0<9> =min$clear$raw_n2c0<10> =min$clear$raw_n2c0<11> =min$clear$raw_n2c0<12> =min$clear$raw_n2c0<13> =min$clear$raw_n2c0<14> =min$clear$raw_n2c0<15> =min$clear$raw_n2c0<16> =min$clear$raw_n2c0<17> =min$clear$raw_n2c0<18> =min$clear$raw_n2c0<19> =min$clear$raw_n2c0<20> =min$clear$raw_n2c0<21> =min$clear$raw_n2c0<22> =min$clear$raw_n2c0<23> =min$clear$raw_n2c0<24> =min$clear$raw_n2c0<25> =min$clear$raw_n2c0<26> =min$clear$raw_n2c0<27> =min$clear$raw_n2c0<28> =min$clear$raw_n2c0<29>
5459	0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =min<0> =min<1> =min<2> =min<3> =min<4> =min<5> =min<6> =min<7> =min<8> =min<9> =min<10> =min<11> =min<12> =min<13> =min<14> =min<15> =min<16> =min<17> =min<18> =min<19> =min<20> =min<21> =min<22> =min<23> =min<24> =min<25> =min<26> =min<27> =min<28> =min<29>
5460	.names aux$raw_n7e aux
5461	0 0
5462	1 1
5463	.names out$raw_n304<0> out<0>
5464	- =out$raw_n304<0>
5465	.names out$raw_n304<1> out<1>
5466	- =out$raw_n304<1>
5467	.names out$raw_n304<2> out<2>
5468	- =out$raw_n304<2>
5469	.names out$raw_n304<3> out<3>
5470	- =out$raw_n304<3>
5471	.names out$raw_n304<4> out<4>
5472	- =out$raw_n304<4>
5473	.names out$raw_n304<5> out<5>
5474	- =out$raw_n304<5>
5475	.names out$raw_n304<6> out<6>
5476	- =out$raw_n304<6>
5477	.names out$raw_n304<7> out<7>
5478	- =out$raw_n304<7>
5479	.names out$raw_n304<8> out<8>
5480	- =out$raw_n304<8>
5481	.names out$raw_n304<9> out<9>
5482	- =out$raw_n304<9>
5483	.names out$raw_n304<10> out<10>
5484	- =out$raw_n304<10>
5485	.names out$raw_n304<11> out<11>
5486	- =out$raw_n304<11>
5487	.names out$raw_n304<12> out<12>
5488	- =out$raw_n304<12>
5489	.names out$raw_n304<13> out<13>
5490	- =out$raw_n304<13>
5491	.names out$raw_n304<14> out<14>
5492	- =out$raw_n304<14>
5493	.names out$raw_n304<15> out<15>
5494	- =out$raw_n304<15>
5495	.names out$raw_n304<16> out<16>
5496	- =out$raw_n304<16>
5497	.names out$raw_n304<17> out<17>
5498	- =out$raw_n304<17>
5499	.names out$raw_n304<18> out<18>
5500	- =out$raw_n304<18>
5501	.names out$raw_n304<19> out<19>
5502	- =out$raw_n304<19>
5503	.names out$raw_n304<20> out<20>
5504	- =out$raw_n304<20>
5505	.names out$raw_n304<21> out<21>
5506	- =out$raw_n304<21>
5507	.names out$raw_n304<22> out<22>
5508	- =out$raw_n304<22>
5509	.names out$raw_n304<23> out<23>
5510	- =out$raw_n304<23>
5511	.names out$raw_n304<24> out<24>
5512	- =out$raw_n304<24>
5513	.names out$raw_n304<25> out<25>
5514	- =out$raw_n304<25>
5515	.names out$raw_n304<26> out<26>
5516	- =out$raw_n304<26>
5517	.names out$raw_n304<27> out<27>
5518	- =out$raw_n304<27>
5519	.names out$raw_n304<28> out<28>
5520	- =out$raw_n304<28>
5521	.names out$raw_n304<29> out<29>
5522	- =out$raw_n304<29>
5523	.names avg$raw_n7d<0> avg<0>
5524	- =avg$raw_n7d<0>
5525	.names avg$raw_n7d<1> avg<1>
5526	- =avg$raw_n7d<1>
5527	.names avg$raw_n7d<2> avg<2>
5528	- =avg$raw_n7d<2>
5529	.names avg$raw_n7d<3> avg<3>
5530	- =avg$raw_n7d<3>
5531	.names avg$raw_n7d<4> avg<4>
5532	- =avg$raw_n7d<4>
5533	.names avg$raw_n7d<5> avg<5>
5534	- =avg$raw_n7d<5>
5535	.names avg$raw_n7d<6> avg<6>
5536	- =avg$raw_n7d<6>
5537	.names avg$raw_n7d<7> avg<7>
5538	- =avg$raw_n7d<7>
5539	.names avg$raw_n7d<8> avg<8>
5540	- =avg$raw_n7d<8>
5541	.names avg$raw_n7d<9> avg<9>
5542	- =avg$raw_n7d<9>
5543	.names avg$raw_n7d<10> avg<10>
5544	- =avg$raw_n7d<10>
5545	.names avg$raw_n7d<11> avg<11>
5546	- =avg$raw_n7d<11>
5547	.names avg$raw_n7d<12> avg<12>
5548	- =avg$raw_n7d<12>
5549	.names avg$raw_n7d<13> avg<13>
5550	- =avg$raw_n7d<13>
5551	.names avg$raw_n7d<14> avg<14>
5552	- =avg$raw_n7d<14>
5553	.names avg$raw_n7d<15> avg<15>
5554	- =avg$raw_n7d<15>
5555	.names avg$raw_n7d<16> avg<16>
5556	- =avg$raw_n7d<16>
5557	.names avg$raw_n7d<17> avg<17>
5558	- =avg$raw_n7d<17>
5559	.names avg$raw_n7d<18> avg<18>
5560	- =avg$raw_n7d<18>
5561	.names avg$raw_n7d<19> avg<19>
5562	- =avg$raw_n7d<19>
5563	.names avg$raw_n7d<20> avg<20>
5564	- =avg$raw_n7d<20>
5565	.names avg$raw_n7d<21> avg<21>
5566	- =avg$raw_n7d<21>
5567	.names avg$raw_n7d<22> avg<22>
5568	- =avg$raw_n7d<22>
5569	.names avg$raw_n7d<23> avg<23>
5570	- =avg$raw_n7d<23>
5571	.names avg$raw_n7d<24> avg<24>
5572	- =avg$raw_n7d<24>
5573	.names avg$raw_n7d<25> avg<25>
5574	- =avg$raw_n7d<25>
5575	.names avg$raw_n7d<26> avg<26>
5576	- =avg$raw_n7d<26>
5577	.names avg$raw_n7d<27> avg<27>
5578	- =avg$raw_n7d<27>
5579	.names avg$raw_n7d<28> avg<28>
5580	- =avg$raw_n7d<28>
5581	.names avg$raw_n7d<29> avg<29>
5582	- =avg$raw_n7d<29>
5583	.names _n12e _n170 _n368
5584	.def 0
5585	1 - 1
5586	0 0 1
5587	.names _n368 last$clear$raw_n2df<0> last$clear$raw_n2df<1> last$clear$raw_n2df<2> last$clear$raw_n2df<3> last$clear$raw_n2df<4> last$clear$raw_n2df<5> last$clear$raw_n2df<6> last$clear$raw_n2df<7> last$clear$raw_n2df<8> last$clear$raw_n2df<9> last$clear$raw_n2df<10> last$clear$raw_n2df<11> last$clear$raw_n2df<12> last$clear$raw_n2df<13> last$clear$raw_n2df<14> last$clear$raw_n2df<15> last$clear$raw_n2df<16> last$clear$raw_n2df<17> last$clear$raw_n2df<18> last$clear$raw_n2df<19> last$clear$raw_n2df<20> last$clear$raw_n2df<21> last$clear$raw_n2df<22> last$clear$raw_n2df<23> last$clear$raw_n2df<24> last$clear$raw_n2df<25> last$clear$raw_n2df<26> last$clear$raw_n2df<27> last$clear$raw_n2df<28> last$clear$raw_n2df<29> last<0> last<1> last<2> last<3> last<4> last<5> last<6> last<7> last<8> last<9> last<10> last<11> last<12> last<13> last<14> last<15> last<16> last<17> last<18> last<19> last<20> last<21> last<22> last<23> last<24> last<25> last<26> last<27> last<28> last<29> -> _n369<0> _n369<1> _n369<2> _n369<3> _n369<4> _n369<5> _n369<6> _n369<7> _n369<8> _n369<9> _n369<10> _n369<11> _n369<12> _n369<13> _n369<14> _n369<15> _n369<16> _n369<17> _n369<18> _n369<19> _n369<20> _n369<21> _n369<22> _n369<23> _n369<24> _n369<25> _n369<26> _n369<27> _n369<28> _n369<29>
5588	1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =last$clear$raw_n2df<0> =last$clear$raw_n2df<1> =last$clear$raw_n2df<2> =last$clear$raw_n2df<3> =last$clear$raw_n2df<4> =last$clear$raw_n2df<5> =last$clear$raw_n2df<6> =last$clear$raw_n2df<7> =last$clear$raw_n2df<8> =last$clear$raw_n2df<9> =last$clear$raw_n2df<10> =last$clear$raw_n2df<11> =last$clear$raw_n2df<12> =last$clear$raw_n2df<13> =last$clear$raw_n2df<14> =last$clear$raw_n2df<15> =last$clear$raw_n2df<16> =last$clear$raw_n2df<17> =last$clear$raw_n2df<18> =last$clear$raw_n2df<19> =last$clear$raw_n2df<20> =last$clear$raw_n2df<21> =last$clear$raw_n2df<22> =last$clear$raw_n2df<23> =last$clear$raw_n2df<24> =last$clear$raw_n2df<25> =last$clear$raw_n2df<26> =last$clear$raw_n2df<27> =last$clear$raw_n2df<28> =last$clear$raw_n2df<29>
5589	0 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - =last<0> =last<1> =last<2> =last<3> =last<4> =last<5> =last<6> =last<7> =last<8> =last<9> =last<10> =last<11> =last<12> =last<13> =last<14> =last<15> =last<16> =last<17> =last<18> =last<19> =last<20> =last<21> =last<22> =last<23> =last<24> =last<25> =last<26> =last<27> =last<28> =last<29>
5590	.names sup$raw_na7<0> sup<0>
5591	- =sup$raw_na7<0>
5592	.names sup$raw_na7<1> sup<1>
5593	- =sup$raw_na7<1>
5594	.names sup$raw_na7<2> sup<2>
5595	- =sup$raw_na7<2>
5596	.names sup$raw_na7<3> sup<3>
5597	- =sup$raw_na7<3>
5598	.names sup$raw_na7<4> sup<4>
5599	- =sup$raw_na7<4>
5600	.names sup$raw_na7<5> sup<5>
5601	- =sup$raw_na7<5>
5602	.names sup$raw_na7<6> sup<6>
5603	- =sup$raw_na7<6>
5604	.names sup$raw_na7<7> sup<7>
5605	- =sup$raw_na7<7>
5606	.names sup$raw_na7<8> sup<8>
5607	- =sup$raw_na7<8>
5608	.names sup$raw_na7<9> sup<9>
5609	- =sup$raw_na7<9>
5610	.names sup$raw_na7<10> sup<10>
5611	- =sup$raw_na7<10>
5612	.names sup$raw_na7<11> sup<11>
5613	- =sup$raw_na7<11>
5614	.names sup$raw_na7<12> sup<12>
5615	- =sup$raw_na7<12>
5616	.names sup$raw_na7<13> sup<13>
5617	- =sup$raw_na7<13>
5618	.names sup$raw_na7<14> sup<14>
5619	- =sup$raw_na7<14>
5620	.names sup$raw_na7<15> sup<15>
5621	- =sup$raw_na7<15>
5622	.names sup$raw_na7<16> sup<16>
5623	- =sup$raw_na7<16>
5624	.names sup$raw_na7<17> sup<17>
5625	- =sup$raw_na7<17>
5626	.names sup$raw_na7<18> sup<18>
5627	- =sup$raw_na7<18>
5628	.names sup$raw_na7<19> sup<19>
5629	- =sup$raw_na7<19>
5630	.names sup$raw_na7<20> sup<20>
5631	- =sup$raw_na7<20>
5632	.names sup$raw_na7<21> sup<21>
5633	- =sup$raw_na7<21>
5634	.names sup$raw_na7<22> sup<22>
5635	- =sup$raw_na7<22>
5636	.names sup$raw_na7<23> sup<23>
5637	- =sup$raw_na7<23>
5638	.names sup$raw_na7<24> sup<24>
5639	- =sup$raw_na7<24>
5640	.names sup$raw_na7<25> sup<25>
5641	- =sup$raw_na7<25>
5642	.names sup$raw_na7<26> sup<26>
5643	- =sup$raw_na7<26>
5644	.names sup$raw_na7<27> sup<27>
5645	- =sup$raw_na7<27>
5646	.names sup$raw_na7<28> sup<28>
5647	- =sup$raw_na7<28>
5648	.names sup$raw_na7<29> sup<29>
5649	- =sup$raw_na7<29>
5650	# non-blocking assignments
5651	# latches
5652	.r max$raw_n3e<0> max<0>
5653	.def 0
5654	1 1
5655	.r max$raw_n3e<1> max<1>
5656	.def 0
5657	1 1
5658	.r max$raw_n3e<2> max<2>
5659	.def 0
5660	1 1
5661	.r max$raw_n3e<3> max<3>
5662	.def 0
5663	1 1
5664	.r max$raw_n3e<4> max<4>
5665	.def 0
5666	1 1
5667	.r max$raw_n3e<5> max<5>
5668	.def 0
5669	1 1
5670	.r max$raw_n3e<6> max<6>
5671	.def 0
5672	1 1
5673	.r max$raw_n3e<7> max<7>
5674	.def 0
5675	1 1
5676	.r max$raw_n3e<8> max<8>
5677	.def 0
5678	1 1
5679	.r max$raw_n3e<9> max<9>
5680	.def 0
5681	1 1
5682	.r max$raw_n3e<10> max<10>
5683	.def 0
5684	1 1
5685	.r max$raw_n3e<11> max<11>
5686	.def 0
5687	1 1
5688	.r max$raw_n3e<12> max<12>
5689	.def 0
5690	1 1
5691	.r max$raw_n3e<13> max<13>
5692	.def 0
5693	1 1
5694	.r max$raw_n3e<14> max<14>
5695	.def 0
5696	1 1
5697	.r max$raw_n3e<15> max<15>
5698	.def 0
5699	1 1
5700	.r max$raw_n3e<16> max<16>
5701	.def 0
5702	1 1
5703	.r max$raw_n3e<17> max<17>
5704	.def 0
5705	1 1
5706	.r max$raw_n3e<18> max<18>
5707	.def 0
5708	1 1
5709	.r max$raw_n3e<19> max<19>
5710	.def 0
5711	1 1
5712	.r max$raw_n3e<20> max<20>
5713	.def 0
5714	1 1
5715	.r max$raw_n3e<21> max<21>
5716	.def 0
5717	1 1
5718	.r max$raw_n3e<22> max<22>
5719	.def 0
5720	1 1
5721	.r max$raw_n3e<23> max<23>
5722	.def 0
5723	1 1
5724	.r max$raw_n3e<24> max<24>
5725	.def 0
5726	1 1
5727	.r max$raw_n3e<25> max<25>
5728	.def 0
5729	1 1
5730	.r max$raw_n3e<26> max<26>
5731	.def 0
5732	1 1
5733	.r max$raw_n3e<27> max<27>
5734	.def 0
5735	1 1
5736	.r max$raw_n3e<28> max<28>
5737	.def 0
5738	1 1
5739	.r max$raw_n3e<29> max<29>
5740	.def 0
5741	1 1
5742	.latch _n365<0> max<0>
5743	.latch _n365<1> max<1>
5744	.latch _n365<2> max<2>
5745	.latch _n365<3> max<3>
5746	.latch _n365<4> max<4>
5747	.latch _n365<5> max<5>
5748	.latch _n365<6> max<6>
5749	.latch _n365<7> max<7>
5750	.latch _n365<8> max<8>
5751	.latch _n365<9> max<9>
5752	.latch _n365<10> max<10>
5753	.latch _n365<11> max<11>
5754	.latch _n365<12> max<12>
5755	.latch _n365<13> max<13>
5756	.latch _n365<14> max<14>
5757	.latch _n365<15> max<15>
5758	.latch _n365<16> max<16>
5759	.latch _n365<17> max<17>
5760	.latch _n365<18> max<18>
5761	.latch _n365<19> max<19>
5762	.latch _n365<20> max<20>
5763	.latch _n365<21> max<21>
5764	.latch _n365<22> max<22>
5765	.latch _n365<23> max<23>
5766	.latch _n365<24> max<24>
5767	.latch _n365<25> max<25>
5768	.latch _n365<26> max<26>
5769	.latch _n365<27> max<27>
5770	.latch _n365<28> max<28>
5771	.latch _n365<29> max<29>
5772	.r min$raw_n0<0> min<0>
5773	.def 0
5774	1 1
5775	.r min$raw_n0<1> min<1>
5776	.def 0
5777	1 1
5778	.r min$raw_n0<2> min<2>
5779	.def 0
5780	1 1
5781	.r min$raw_n0<3> min<3>
5782	.def 0
5783	1 1
5784	.r min$raw_n0<4> min<4>
5785	.def 0
5786	1 1
5787	.r min$raw_n0<5> min<5>
5788	.def 0
5789	1 1
5790	.r min$raw_n0<6> min<6>
5791	.def 0
5792	1 1
5793	.r min$raw_n0<7> min<7>
5794	.def 0
5795	1 1
5796	.r min$raw_n0<8> min<8>
5797	.def 0
5798	1 1
5799	.r min$raw_n0<9> min<9>
5800	.def 0
5801	1 1
5802	.r min$raw_n0<10> min<10>
5803	.def 0
5804	1 1
5805	.r min$raw_n0<11> min<11>
5806	.def 0
5807	1 1
5808	.r min$raw_n0<12> min<12>
5809	.def 0
5810	1 1
5811	.r min$raw_n0<13> min<13>
5812	.def 0
5813	1 1
5814	.r min$raw_n0<14> min<14>
5815	.def 0
5816	1 1
5817	.r min$raw_n0<15> min<15>
5818	.def 0
5819	1 1
5820	.r min$raw_n0<16> min<16>
5821	.def 0
5822	1 1
5823	.r min$raw_n0<17> min<17>
5824	.def 0
5825	1 1
5826	.r min$raw_n0<18> min<18>
5827	.def 0
5828	1 1
5829	.r min$raw_n0<19> min<19>
5830	.def 0
5831	1 1
5832	.r min$raw_n0<20> min<20>
5833	.def 0
5834	1 1
5835	.r min$raw_n0<21> min<21>
5836	.def 0
5837	1 1
5838	.r min$raw_n0<22> min<22>
5839	.def 0
5840	1 1
5841	.r min$raw_n0<23> min<23>
5842	.def 0
5843	1 1
5844	.r min$raw_n0<24> min<24>
5845	.def 0
5846	1 1
5847	.r min$raw_n0<25> min<25>
5848	.def 0
5849	1 1
5850	.r min$raw_n0<26> min<26>
5851	.def 0
5852	1 1
5853	.r min$raw_n0<27> min<27>
5854	.def 0
5855	1 1
5856	.r min$raw_n0<28> min<28>
5857	.def 0
5858	1 1
5859	.r min$raw_n0<29> min<29>
5860	.def 0
5861	1 1
5862	.latch _n367<0> min<0>
5863	.latch _n367<1> min<1>
5864	.latch _n367<2> min<2>
5865	.latch _n367<3> min<3>
5866	.latch _n367<4> min<4>
5867	.latch _n367<5> min<5>
5868	.latch _n367<6> min<6>
5869	.latch _n367<7> min<7>
5870	.latch _n367<8> min<8>
5871	.latch _n367<9> min<9>
5872	.latch _n367<10> min<10>
5873	.latch _n367<11> min<11>
5874	.latch _n367<12> min<12>
5875	.latch _n367<13> min<13>
5876	.latch _n367<14> min<14>
5877	.latch _n367<15> min<15>
5878	.latch _n367<16> min<16>
5879	.latch _n367<17> min<17>
5880	.latch _n367<18> min<18>
5881	.latch _n367<19> min<19>
5882	.latch _n367<20> min<20>
5883	.latch _n367<21> min<21>
5884	.latch _n367<22> min<22>
5885	.latch _n367<23> min<23>
5886	.latch _n367<24> min<24>
5887	.latch _n367<25> min<25>
5888	.latch _n367<26> min<26>
5889	.latch _n367<27> min<27>
5890	.latch _n367<28> min<28>
5891	.latch _n367<29> min<29>
5892	.r last$raw_n3f<0> last<0>
5893	.def 0
5894	1 1
5895	.r last$raw_n3f<1> last<1>
5896	.def 0
5897	1 1
5898	.r last$raw_n3f<2> last<2>
5899	.def 0
5900	1 1
5901	.r last$raw_n3f<3> last<3>
5902	.def 0
5903	1 1
5904	.r last$raw_n3f<4> last<4>
5905	.def 0
5906	1 1
5907	.r last$raw_n3f<5> last<5>
5908	.def 0
5909	1 1
5910	.r last$raw_n3f<6> last<6>
5911	.def 0
5912	1 1
5913	.r last$raw_n3f<7> last<7>
5914	.def 0
5915	1 1
5916	.r last$raw_n3f<8> last<8>
5917	.def 0
5918	1 1
5919	.r last$raw_n3f<9> last<9>
5920	.def 0
5921	1 1
5922	.r last$raw_n3f<10> last<10>
5923	.def 0
5924	1 1
5925	.r last$raw_n3f<11> last<11>
5926	.def 0
5927	1 1
5928	.r last$raw_n3f<12> last<12>
5929	.def 0
5930	1 1
5931	.r last$raw_n3f<13> last<13>
5932	.def 0
5933	1 1
5934	.r last$raw_n3f<14> last<14>
5935	.def 0
5936	1 1
5937	.r last$raw_n3f<15> last<15>
5938	.def 0
5939	1 1
5940	.r last$raw_n3f<16> last<16>
5941	.def 0
5942	1 1
5943	.r last$raw_n3f<17> last<17>
5944	.def 0
5945	1 1
5946	.r last$raw_n3f<18> last<18>
5947	.def 0
5948	1 1
5949	.r last$raw_n3f<19> last<19>
5950	.def 0
5951	1 1
5952	.r last$raw_n3f<20> last<20>
5953	.def 0
5954	1 1
5955	.r last$raw_n3f<21> last<21>
5956	.def 0
5957	1 1
5958	.r last$raw_n3f<22> last<22>
5959	.def 0
5960	1 1
5961	.r last$raw_n3f<23> last<23>
5962	.def 0
5963	1 1
5964	.r last$raw_n3f<24> last<24>
5965	.def 0
5966	1 1
5967	.r last$raw_n3f<25> last<25>
5968	.def 0
5969	1 1
5970	.r last$raw_n3f<26> last<26>
5971	.def 0
5972	1 1
5973	.r last$raw_n3f<27> last<27>
5974	.def 0
5975	1 1
5976	.r last$raw_n3f<28> last<28>
5977	.def 0
5978	1 1
5979	.r last$raw_n3f<29> last<29>
5980	.def 0
5981	1 1
5982	.latch _n369<0> last<0>
5983	.latch _n369<1> last<1>
5984	.latch _n369<2> last<2>
5985	.latch _n369<3> last<3>
5986	.latch _n369<4> last<4>
5987	.latch _n369<5> last<5>
5988	.latch _n369<6> last<6>
5989	.latch _n369<7> last<7>
5990	.latch _n369<8> last<8>
5991	.latch _n369<9> last<9>
5992	.latch _n369<10> last<10>
5993	.latch _n369<11> last<11>
5994	.latch _n369<12> last<12>
5995	.latch _n369<13> last<13>
5996	.latch _n369<14> last<14>
5997	.latch _n369<15> last<15>
5998	.latch _n369<16> last<16>
5999	.latch _n369<17> last<17>
6000	.latch _n369<18> last<18>
6001	.latch _n369<19> last<19>
6002	.latch _n369<20> last<20>
6003	.latch _n369<21> last<21>
6004	.latch _n369<22> last<22>
6005	.latch _n369<23> last<23>
6006	.latch _n369<24> last<24>
6007	.latch _n369<25> last<25>
6008	.latch _n369<26> last<26>
6009	.latch _n369<27> last<27>
6010	.latch _n369<28> last<28>
6011	.latch _n369<29> last<29>
6012	# quasi-continuous assignment
6013	.end
6014
6015

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format