.model top
.inputs i_7_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_3_
.names [140] [141] [142] [143] [651] o_1_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_3_ i_4_ [40] o_2_
1111 1
.names [697] [698] [701] [703] [718] o_0_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n144 [740] [741] [757] [758] o_3_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_6_ n_n1
01 1
.names i_5_ i_3_ i_4_ [4]
011 1
101 1
.names i_5_ i_3_ i_4_ [5]
010 1
100 1
.names i_1_ i_2_ i_0_ [6]
001 1
100 1
.names i_1_ i_2_ i_0_ [7]
011 1
110 1
.names i_1_ i_2_ i_0_ [9]
111 1
010 1
.names i_5_ i_3_ i_4_ [12]
110 1
000 1
.names i_5_ i_3_ i_4_ [13]
111 1
001 1
.names i_1_ i_2_ i_0_ [17]
101 1
000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [47]
00110 1
01100 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [52]
00001 1
00100 1
.names i_5_ i_3_ i_4_ n_n18
111 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [40]
11111 1
.names i_5_ i_3_ i_4_ n_n7
100 1
.names i_5_ i_3_ i_4_ n_n6
000 1
.names i_1_ i_2_ i_0_ n_n5
101 1
.names i_1_ i_2_ i_0_ n_n2
000 1
.names i_5_ i_3_ i_4_ n_n13
001 1
.names i_5_ i_3_ i_4_ [8]
011 1
101 1
001 1
.names i_1_ i_2_ i_0_ [11]
011 1
010 1
.names i_5_ i_3_ i_4_ [14]
111 1
011 1
101 1
.names i_5_ i_3_ i_4_ [16]
110 1
010 1
100 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [24]
01110 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [25]
01111 1
.names i_5_ i_3_ i_4_ [27]
010 1
100 1
000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [32]
01010 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [38]
00101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [42]
00101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [44]
00011 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [50]
00111 1
01101 1
00101 1
.names i_7_ i_6_ n_n10
10 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [22]
10111 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [26]
11011 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [35]
11000 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [49]
10001 1
.names i_1_ i_2_ i_0_ n_n19
111 1
.names i_1_ i_2_ i_0_ n_n3
001 1
.names i_1_ i_2_ i_0_ [15]
101 1
100 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [39]
01011 1
.names [721] [722] [724] [726] n_n144
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [19]
10001 1
10100 1
11000 1
.names i_1_ i_2_ i_0_ [21]
011 1
110 1
010 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [23]
11101 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [46]
00111 1
00110 1
.names i_5_ i_3_ i_4_ n_n15
011 1
.names i_1_ i_2_ i_0_ n_n11
010 1
.names i_1_ i_2_ i_0_ n_n4
100 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [53]
00110 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [37]
11001 1
11100 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [48]
10011 1
11001 1
10001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [51]
10011 1
11001 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [58]
11011 1
11110 1
.names i_1_ i_2_ i_0_ [48] [65]
1011 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [75]
01111 1
.names n_n1 n_n7 n_n6 n_n2 n_n3 [100]
11-1- 1
1-1-1 1
.names i_5_ i_3_ i_4_ [6] [114]
0101 1
1001 1
.names [5] [7] n_n6 n_n10 n_n11 [122]
-111- 1
1--11 1
.names i_1_ i_2_ i_0_ [42] [654] [126]
11101 1
.names i_5_ i_3_ i_4_ n_n11 [660] [128]
--111 1
11-11 1
00-11 1
.names i_5_ i_3_ i_4_ [24] [661] [129]
--001 1
00-01 1
.names [9] [12] [52] [637] [135]
0001 1
.names [9] [13] [47] [640] [136]
0001 1
.names i_1_ i_2_ i_0_ [12] [643] [137]
11101 1
00101 1
01001 1
10001 1
.names i_1_ i_2_ i_0_ [13] [646] [138]
11101 1
00101 1
01001 1
10001 1
.names [9] [12] [37] [615] [140]
0001 1
.names [9] [13] [19] [623] [141]
0001 1
.names i_1_ i_2_ i_0_ [13] [629] [142]
11101 1
00101 1
01001 1
10001 1
.names i_1_ i_2_ i_0_ [12] [632] [143]
11101 1
00101 1
01001 1
10001 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [615]
1-1-0 1
1111- 1
1010- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [623]
1-0-1 1
1101- 1
1000- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [629]
1-1-1 1
1111- 1
1010- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [632]
1-0-0 1
1101- 1
1000- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [637]
0-0-0 1
0101- 1
0000- 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [640]
01-1- 1
011-1 1
010-0 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [643]
0-1-0 1
0111- 1
0010- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [646]
0-0-1 1
0101- 1
0000- 1
.names [135] [136] [137] [138] [651]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [654]
0-1-1 1
0111- 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [655]
01011 1
01110 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [656]
1---- 1
--0-- 1
----1 1
-0-0- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [660]
0001- 1
0100- 1
000-1 1
0-001 1
010-0 1
0-010 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [661]
01010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [663]
00010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [664]
00001 1
.names i_1_ i_2_ i_0_ [663] [664] [665]
0111- 1
0101- 1
011-1 1
110-1 1
.names [5] n_n19 [39] [53] [666]
-11- 1
1--1 1
.names [8] [128] [129] [655] [656] [670]
-1--- 1
--1-- 1
0--11 1
.names n_n6 [46] [126] [665] [666] [671]
--1-- 1
---1- 1
----1 1
11--- 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [672]
101-- 1
1-10- 1
1-1-1 1
.names i_5_ i_3_ i_4_ [7] [672] [675]
--1-1 1
11--1 1
00-01 1
.names i_5_ i_3_ i_4_ [676]
--1 1
11- 1
.names i_5_ i_3_ i_4_ [678]
01- 1
10- 1
0-1 1
-01 1
1-0 1
-10 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [679]
10111 1
11101 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [680]
11110 1
.names [7] [40] [678] [680] [681]
-11- 1
1--1 1
.names i_1_ i_2_ i_0_ [26] [49] [682]
0111- 1
1101- 1
010-1 1
.names [7] [22] [49] [676] [679] [683]
1---1 1
-101- 1
.names [8] [21] [675] [681] [682] [686]
---1- 1
----1 1
011-- 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [687]
10101 1
.names i_5_ i_3_ i_4_ [688]
--1 1
00- 1
.names i_5_ i_3_ i_4_ n_n2 [15] [690]
0101- 1
000-1 1
.names i_5_ i_3_ i_4_ [23] [692]
11-1 1
1-11 1
-111 1
0001 1
.names i_5_ i_3_ i_4_ [695]
00- 1
0-0 1
-00 1
.names n_n18 n_n6 n_n2 n_n10 n_n11 [697]
-1-11 1
0011- 1
.names i_5_ i_3_ i_4_ [37] [698]
1111 1
0001 1
.names [19] [48] [687] [688] [695] [699]
1---1 1
-011- 1
.names [5] [6] [690] [692] [699] [701]
----1 1
0-01- 1
-001- 1
.names [122] [670] [671] [683] [686] [703]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [705]
01000 1
.names n_n6 [11] [44] [705] [706]
1-1- 1
-1-1 1
.names i_7_ i_6_ [6] n_n13 [38] [707]
---11 1
0111- 1
.names i_7_ i_6_ n_n2 [14] [24] [709]
--1-1 1
0011- 1
.names i_5_ i_3_ i_4_ [52] [710]
0111 1
1011 1
0011 1
1101 1
0101 1
1001 1
.names n_n5 n_n2 [25] [32] [50] [713]
1-1-- 1
-1-1- 1
-1--1 1
.names [27] [38] [100] [706] [707] [715]
--1-- 1
---1- 1
----1 1
11--- 1
.names i_7_ i_6_ [114] [690] [713] [716]
----1 1
011-- 1
01-1- 1
.names [709] [710] [715] [716] [718]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [719]
--101 1
1-100 1
-1100 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [720]
01001 1
.names i_1_ i_2_ i_0_ [25] [42] [721]
---1- 1
101-1 1
.names i_1_ i_2_ i_0_ [32] [38] [722]
---11 1
0111- 1
1101- 1
.names [52] [16] n_n19 [39] [724]
-11- 1
1--1 1
.names [17] [14] [24] [719] [720] [726]
0-1-- 1
-1-1- 1
-1--1 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [729]
11-1- 1
-111- 1
11--1 1
-11-1 1
1--11 1
--111 1
.names i_5_ i_3_ i_4_ [730]
1-1 1
-11 1
.names i_5_ i_3_ i_4_ [731]
11- 1
1-1 1
-11 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [732]
1-101 1
-1101 1
.names n_n13 [11] n_n19 [39] [23] [735]
----1 1
1-1-- 1
-1-1- 1
.names [7] [47] [16] [732] [736]
11-- 1
--11 1
.names [21] [46] [729] [730] [738]
1-1- 1
-1-1 1
.names [4] [44] [75] [735] [736] [740]
--1-- 1
---1- 1
----1 1
11--- 1
.names [7] [50] [19] [731] [738] [741]
----1 1
11--- 1
--11- 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [743]
10001 1
.names n_n15 n_n4 [51] [743] [744]
-11- 1
1--1 1
.names i_7_ i_5_ i_6_ i_3_ [747]
110- 1
1-01 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [748]
111-- 1
1-11- 1
1-1-1 1
.names i_7_ i_6_ i_1_ i_2_ i_0_ [749]
0---- 1
-0--- 1
--01- 1
--10- 1
--0-1 1
---01 1
--1-0 1
---10 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [750]
101-- 1
1-10- 1
1-1-0 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ [751]
110-- 1
1-01- 1
1-0-1 1
.names i_1_ i_2_ i_0_ [750] [751] [753]
1111- 1
1101- 1
011-1 1
110-1 1
.names [5] [9] [747] [748] [749] [755]
---11 1
011-- 1
.names [22] [26] [58] [755] [757]
1--- 1
-1-- 1
--1- 1
---1 1
.names [14] [35] [65] [744] [753] [758]
--1-- 1
---1- 1
----1 1
11--- 1
.end