.model top
.inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_
.names [54] [330] [331] o_1_
1-- 1
-1- 1
--1 1
.names n_n111 [358] [359] o_2_
1-- 1
-1- 1
--1 1
.names [20] [395] [396] [401] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_3_ i_4_ n_n46
001 1
.names i_6_ i_1_ i_2_ i_0_ [5]
1111 1
0110 1
.names i_1_ i_2_ i_0_ [8]
011 1
101 1
.names i_6_ i_1_ i_2_ i_0_ [9]
1001 1
1100 1
0000 1
.names i_6_ i_1_ i_2_ i_0_ [17]
1010 1
.names i_5_ i_3_ i_4_ [19]
111 1
100 1
.names i_5_ i_3_ i_4_ [22]
011 1
110 1
000 1
.names i_1_ i_2_ i_0_ n_n56
111 1
.names i_5_ i_3_ i_4_ n_n52
110 1
.names i_5_ i_3_ i_4_ n_n44
000 1
.names i_1_ i_2_ i_0_ n_n45
100 1
.names i_5_ i_3_ i_4_ n_n55
111 1
.names i_1_ i_2_ i_0_ n_n41
000 1
.names i_1_ i_2_ i_0_ n_n42
001 1
.names i_1_ i_2_ i_0_ n_n51
011 1
.names [44] [47] [48] [344] n_n111
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_0_ [14]
11 1
.names i_5_ i_3_ i_4_ n_n48
100 1
.names i_1_ i_2_ i_0_ n_n53
110 1
.names i_5_ i_3_ i_4_ n_n54
101 1
.names i_1_ i_2_ i_0_ [3]
001 1
100 1
.names i_6_ i_1_ [7]
1- 1
-1 1
.names [44] [344] [345] [372] [20]
1--1 1
-1-1 1
--11 1
.names [22] [339] [340] [387] [29]
0001 1
.names [44] [344] [345] [390] [30]
0001 1
.names i_6_ i_3_ [22] [3] [31]
0111 1
.names i_6_ i_1_ n_n44 n_n45 [35]
1100 1
.names i_6_ i_0_ n_n44 n_n51 [37]
1101 1
.names i_5_ i_6_ n_n45 n_n48 [44]
1110 1
.names i_5_ i_3_ i_4_ i_0_ [47]
1111 1
.names i_5_ i_6_ i_3_ i_4_ [48]
1111 1
.names i_5_ i_4_ i_2_ i_0_ [50]
1111 1
.names i_5_ i_3_ i_4_ i_2_ [52]
1111 1
.names i_6_ i_1_ i_2_ i_0_ [53]
1111 1
.names [9] [316] [317] [54]
011 1
.names n_n46 [8] [321] [55]
011 1
.names [8] [22] [324] [56]
101 1
.names i_5_ i_3_ i_4_ [5] [59]
1111 1
0011 1
0101 1
1001 1
.names i_5_ i_3_ i_4_ [316]
011 1
101 1
110 1
000 1
.names i_6_ i_1_ i_2_ i_0_ [317]
-00- 1
--00 1
11-0 1
00-0 1
0111 1
.names i_5_ i_6_ i_3_ i_4_ [321]
010- 1
01-1 1
-101 1
1110 1
.names i_5_ i_6_ i_3_ i_4_ [324]
00-- 1
-01- 1
-0-0 1
.names [9] [17] [22] n_n54 [330]
1-00 1
-100 1
.names [55] [56] [59] [331]
1-- 1
-1- 1
--1 1
.names i_2_ i_5_ [333]
11 1
.names i_6_ i_3_ i_4_ i_1_ [334]
11-- 1
1-1- 1
-1-1 1
--11 1
.names i_6_ i_3_ i_4_ [337]
1-1 1
-11 1
.names i_1_ i_2_ [52] [337] [339]
--1- 1
11-1 1
.names [50] [53] [333] [334] [340]
1--- 1
-1-- 1
--11 1
.names i_0_ i_1_ [343]
11 1
.names n_n52 [14] n_n54 [343] [344]
-11- 1
1--1 1
.names [48] [47] [345]
1- 1
-1 1
.names i_5_ i_3_ i_4_ i_0_ [348]
1-11 1
-111 1
.names i_6_ i_3_ i_4_ [351]
111 1
.names n_n52 n_n41 [14] [351] [353]
1-1- 1
-0-1 1
.names n_n52 n_n45 n_n55 n_n51 [354]
-11- 1
1--1 1
.names n_n56 n_n44 n_n42 [348] [355]
10-- 1
--01 1
.names [35] [37] [355] [358]
1-- 1
-1- 1
--1 1
.names [339] [340] [353] [354] [359]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_6_ i_3_ i_4_ [361]
11-- 1
-10- 1
-1-1 1
.names i_5_ i_3_ i_2_ i_0_ [366]
1-0- 1
-10- 1
1--1 1
-1-1 1
.names [8] [19] [3] [361] [367]
0001 1
.names i_1_ i_0_ [369]
1- 1
-1 1
.names i_6_ i_1_ i_2_ i_0_ [370]
--1- 1
-0-0 1
11-1 1
.names n_n55 [7] [369] [370] [372]
1111 1
.names i_6_ i_3_ i_4_ i_0_ [373]
00-- 1
0-0- 1
-0-0 1
--00 1
.names i_6_ i_1_ i_2_ i_0_ [374]
10-- 1
1-0- 1
-10- 1
1--0 1
-1-0 1
.names [374] [373] [376]
11 1
.names i_5_ i_3_ i_4_ n_n53 [377]
1110 1
0010 1
0100 1
1000 1
.names i_6_ i_1_ i_0_ [378]
000 1
.names i_5_ i_3_ i_4_ [378] [382]
11-1 1
1-11 1
-111 1
.names i_6_ i_1_ i_2_ [383]
10- 1
1-1 1
-11 1
.names n_n44 n_n41 [383] [385]
101 1
.names i_6_ i_1_ i_2_ i_0_ [387]
001- 1
0-10 1
.names i_5_ i_3_ i_4_ [3] [390]
10-1 1
-011 1
0101 1
.names i_6_ i_1_ i_2_ [393]
110 1
.names [8] n_n44 [31] [393] [395]
--1- 1
11-- 1
-1-1 1
.names [366] [367] [376] [377] [396]
11-- 1
--11 1
.names [339] [340] [382] [385] [398]
001- 1
00-1 1
.names [29] [30] [398] [401]
1-- 1
-1- 1
--1 1
.end