Context Navigation

minMax30.mv @ 15

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

Rev	Line
[11]	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