.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] [59] [329] [330] o_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n111 [355] [356] [359] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names [396] [397] [398] [399] o_0_
1--- 1
-1-- 1
--1- 1
---1 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_5_ i_3_ i_4_ n_n44
000 1
.names i_1_ i_2_ i_0_ n_n45
100 1
.names i_1_ i_2_ i_0_ n_n51
011 1
.names n_n48 [45] [46] [342] [345] n_n111
-1--- 1
--1-- 1
----1 1
0--1- 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_5_ i_3_ i_4_ [6]
011 1
110 1
.names [22] n_n53 n_n54 [373] [374] [21]
00011 1
.names i_5_ i_6_ i_3_ i_4_ i_0_ [38]
11101 1
.names i_5_ i_3_ i_4_ i_1_ i_0_ [45]
11011 1
.names i_5_ i_6_ i_3_ i_4_ i_0_ [46]
11011 1
.names i_5_ i_4_ i_2_ i_0_ [50]
1111 1
.names i_6_ i_3_ i_4_ i_1_ i_2_ [51]
1-111 1
-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 i_6_ i_1_ i_2_ i_0_ [316] [54]
01111 1
00011 1
11101 1
00101 1
01001 1
10001 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_5_ i_6_ i_3_ i_4_ [8] [329]
01111 1
10111 1
11011 1
00011 1
11101 1
00101 1
01001 1
10001 1
.names i_5_ i_3_ i_4_ [9] [17] [330]
1111- 1
0011- 1
0101- 1
1001- 1
111-1 1
001-1 1
010-1 1
100-1 1
.names i_6_ i_3_ i_4_ i_1_ [334]
11-- 1
1-1- 1
-1-1 1
--11 1
.names i_5_ i_3_ i_4_ i_2_ [51] [339]
----1 1
1111- 1
.names i_5_ i_2_ [50] [53] [334] [340]
--1-- 1
---1- 1
11--1 1
.names i_5_ i_6_ i_1_ i_2_ i_0_ [342]
11100 1
.names i_5_ i_6_ i_3_ i_4_ i_0_ [345]
1111- 1
1-111 1
.names i_5_ i_3_ i_4_ i_0_ [348]
1-11 1
-111 1
.names i_5_ i_6_ i_3_ i_4_ i_1_ [350]
11--1 1
-11-1 1
-1-11 1
.names i_6_ i_3_ i_4_ [351]
111 1
.names i_5_ i_6_ i_3_ i_4_ i_0_ [352]
11--1 1
-11-1 1
-1-11 1
.names i_1_ i_2_ i_0_ [38] [351] [353]
---1- 1
1---1 1
-1--1 1
--1-1 1
.names i_5_ i_3_ i_4_ n_n45 n_n51 [354]
1111- 1
110-1 1
.names i_1_ i_2_ i_0_ n_n44 [348] [355]
1---1 1
-1--1 1
--0-1 1
1110- 1
.names i_1_ i_2_ i_0_ [350] [352] [356]
0--1- 1
-1-1- 1
--11- 1
011-1 1
.names [51] [52] [340] [353] [354] [359]
1---- 1
-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_ [362]
1- 1
-1 1
.names i_1_ i_2_ i_0_ [19] [361] [367]
11-01 1
0-001 1
-1001 1
.names i_5_ i_6_ i_3_ i_4_ i_1_ [368]
1111- 1
1-111 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 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 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_ i_0_ n_n44 [385]
1-1-1 1
-11-1 1
10-11 1
.names i_6_ i_1_ i_2_ i_0_ [387]
001- 1
0-10 1
.names i_5_ i_3_ i_4_ [387] [388]
10-1 1
1-11 1
-011 1
0101 1
.names i_3_ i_4_ i_1_ i_2_ i_0_ [389]
0-001 1
-0001 1
0-100 1
-0100 1
.names i_5_ i_3_ i_4_ [389] [390]
10-1 1
1-11 1
-011 1
0101 1
.names i_6_ i_3_ i_1_ i_2_ i_0_ [392]
01001 1
01100 1
.names i_6_ i_1_ i_2_ [393]
110 1
.names [8] n_n44 [6] [392] [393] [395]
11--- 1
-1-1- 1
--11- 1
-1--1 1
.names i_2_ i_0_ [21] [362] [367] [396]
--1-- 1
0--11 1
-1-11 1
.names n_n111 [368] [369] [370] [395] [397]
----1 1
1111- 1
.names [51] [52] [340] [382] [385] [398]
0001- 1
000-1 1
.names n_n111 [339] [340] [388] [390] [399]
0---1 1
-001- 1
.end