.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 [635] [636] [649] [650] o_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ n_n18 n_n19 o_2_
1111 1
.names n_n21 [96] [713] [717] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [738] [739] [742] [759] o_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_6_ n_n1
01 1
.names i_7_ i_6_ n_n0
00 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_ [13]
111 1
001 1
.names i_1_ i_2_ i_0_ [17]
101 1
000 1
.names i_5_ i_3_ i_4_ n_n18
111 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 n_n24 n_n26 [702] n_n21
1-- 1
-1- 1
--1 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 n_n7 n_n6 n_n2 n_n3 [18]
1-1- 1
-1-1 1
.names i_5_ i_3_ i_4_ [27]
010 1
100 1
000 1
.names i_7_ i_6_ n_n10
10 1
.names i_7_ i_6_ n_n17
11 1
.names [63] [64] [65] n_n159
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ i_0_ [10]
111 1
110 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_6_ [6] n_n2 [19]
101- 1
11-1 1
.names i_1_ i_2_ i_0_ [21]
011 1
110 1
010 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_n16
110 1
.names i_5_ i_3_ i_4_ n_n8
010 1
.names i_1_ i_2_ i_0_ n_n12
011 1
.names i_5_ i_3_ i_4_ n_n9
110 1
.names i_1_ i_2_ i_0_ n_n4
100 1
.names [127] [667] [668] [669] n_n24
1--- 1
-1-- 1
--1- 1
---1 1
.names [5] [7] n_n6 n_n11 [29]
-11- 1
1--1 1
.names [116] [684] [685] n_n26
1-- 1
-1- 1
--1 1
.names n_n6 n_n2 n_n17 n_n19 [43]
0010 1
.names i_7_ i_6_ n_n18 [10] [55]
1101 1
.names i_7_ i_6_ [7] n_n6 [56]
1010 1
.names i_7_ i_6_ n_n2 [14] [57]
1111 1
.names i_7_ i_6_ n_n3 n_n15 [63]
1011 1
.names i_7_ i_6_ [4] n_n4 [64]
1011 1
.names i_7_ i_6_ n_n5 [8] [65]
1011 1
.names n_n0 n_n13 [27] [21] [66]
0001 1
.names i_7_ i_6_ n_n5 [16] [69]
1-11 1
-111 1
.names i_7_ i_6_ [7] [8] [70]
0111 1
.names i_7_ i_6_ [4] n_n12 [72]
0011 1
.names i_7_ i_6_ n_n18 [11] [73]
0011 1
.names i_7_ i_6_ n_n19 [75]
011 1
.names n_n0 [6] [14] [15] [78]
0-11 1
-011 1
.names i_7_ i_6_ [14] n_n3 [79]
0111 1
.names i_7_ i_6_ [6] n_n18 [80]
0011 1
.names i_7_ i_6_ [17] n_n9 [84]
0101 1
.names i_5_ i_3_ i_4_ n_n19 [85]
1101 1
0101 1
1001 1
.names i_7_ i_6_ n_n2 [14] [87]
0011 1
.names i_7_ i_6_ n_n7 [11] [88]
0011 1
.names i_7_ i_6_ n_n2 [8] [91]
0111 1
.names i_7_ i_6_ n_n6 n_n12 [92]
0011 1
.names i_7_ i_6_ [6] n_n13 [93]
0111 1
.names i_7_ i_6_ n_n5 [27] [94]
0011 1
.names i_7_ i_6_ n_n5 n_n13 [95]
0011 1
.names i_7_ i_6_ [114] [690] [96]
011- 1
01-1 1
.names i_7_ i_6_ n_n2 n_n9 [97]
0011 1
.names i_7_ i_6_ n_n18 n_n5 [98]
0111 1
.names i_7_ i_6_ n_n2 n_n9 [99]
0111 1
.names n_n5 [8] n_n10 [688] [104]
1011 1
.names [5] [6] [690] [692] [105]
0-01 1
-001 1
.names n_n18 n_n6 n_n2 n_n10 [106]
0011 1
.names i_7_ i_6_ n_n6 n_n11 [108]
1011 1
.names i_5_ i_3_ i_4_ [6] [114]
0101 1
1001 1
.names [8] [21] [29] [673] [116]
0101 1
.names n_n13 n_n10 n_n19 [676] [117]
0111 1
.names i_7_ i_6_ n_n19 [678] [118]
1111 1
.names i_7_ i_6_ [4] [7] [119]
1111 1
.names i_7_ i_6_ [7] n_n9 [120]
1111 1
.names i_7_ i_6_ n_n13 n_n11 [121]
1011 1
.names i_7_ i_6_ [7] n_n18 [123]
1011 1
.names n_n1 [5] n_n9 [657] [127]
0--1 1
-001 1
.names n_n1 [14] n_n11 n_n9 [129]
1010 1
.names i_7_ i_6_ [11] n_n8 [130]
0011 1
.names i_7_ i_6_ [7] n_n13 [131]
0011 1
.names i_7_ i_6_ [5] n_n16 [132]
0011 1
.names i_7_ i_6_ n_n6 [10] [133]
0011 1
.names i_7_ i_6_ n_n18 n_n19 [134]
0011 1
.names i_5_ i_3_ i_4_ [9] [616]
--10 1
01-0 1
10-0 1
.names i_7_ i_6_ [4] [6] [617]
1100 1
.names [5] [9] [13] n_n10 [625]
0001 1
.names i_5_ i_3_ i_4_ [7] [630]
--00 1
01-0 1
10-0 1
.names i_7_ i_6_ [5] [17] [631]
1100 1
.names i_5_ i_3_ i_4_ [7] [633]
--10 1
01-0 1
10-0 1
.names i_7_ i_6_ [4] [17] [634]
1000 1
.names [19] [616] [617] [625] [635]
-11- 1
0--1 1
.names [630] [631] [633] [634] [636]
11-- 1
--11 1
.names i_5_ i_3_ i_4_ [9] [638]
--10 1
01-0 1
10-0 1
.names i_7_ i_6_ [4] [6] [639]
0000 1
.names i_5_ i_3_ i_4_ [9] [641]
--00 1
01-0 1
10-0 1
.names i_7_ i_6_ [5] [6] [642]
0100 1
.names i_5_ i_3_ i_4_ [7] [644]
--10 1
01-0 1
10-0 1
.names i_7_ i_6_ [4] [17] [645]
0100 1
.names i_5_ i_3_ i_4_ [7] [647]
--00 1
01-0 1
10-0 1
.names i_7_ i_6_ [5] [17] [648]
0000 1
.names [638] [639] [641] [642] [649]
11-- 1
--11 1
.names [644] [645] [647] [648] [650]
11-- 1
--11 1
.names i_7_ i_6_ n_n13 n_n19 [653]
1--1 1
-0-1 1
--01 1
.names i_5_ i_3_ i_4_ n_n1 [654]
--11 1
11-1 1
.names i_7_ i_6_ [7] [8] [657]
0110 1
.names i_5_ i_3_ i_4_ n_n0 [660]
01-1 1
10-1 1
0-11 1
-011 1
1-01 1
-101 1
.names [5] n_n11 [129] [660] [667]
--1- 1
01-1 1
.names [130] [131] [133] [668]
1-- 1
-1- 1
--1 1
.names [132] [134] [653] [654] [669]
1--- 1
-1-- 1
--11 1
.names i_5_ i_3_ i_4_ n_n17 [673]
--11 1
00-1 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 [118] [120] [121] [123] [684]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n10 [29] [117] [119] [685]
--1- 1
---1 1
11-- 1
.names i_5_ i_3_ i_4_ [688]
--1 1
00- 1
.names n_n6 n_n2 [15] n_n8 [690]
1-1- 1
-1-1 1
.names i_5_ i_3_ i_4_ [691]
11- 1
1-1 1
-11 1
000 1
.names i_7_ i_6_ n_n5 [691] [692]
1111 1
.names i_5_ i_3_ i_4_ [695]
00- 1
0-0 1
-00 1
.names [6] n_n18 n_n6 n_n17 [698]
11-1 1
1-11 1
.names [19] [104] [695] [699]
-1- 1
1-1 1
.names [106] [108] [698] [700]
1-- 1
-1- 1
--1 1
.names [105] [699] [700] [702]
1-- 1
-1- 1
--1 1
.names n_n0 [6] [8] [16] [710]
111- 1
11-1 1
.names i_7_ i_6_ [18] [94] [711]
---1 1
011- 1
.names [88] [92] [93] [95] [712]
1--- 1
-1-- 1
--1- 1
---1 1
.names [91] [97] [98] [713]
1-- 1
-1- 1
--1 1
.names [87] [99] [710] [714]
1-- 1
-1- 1
--1 1
.names [711] [712] [714] [717]
1-- 1
-1- 1
--1 1
.names n_n1 n_n18 n_n5 n_n13 [721]
11-- 1
1-11 1
.names n_n0 [7] n_n5 n_n9 [722]
11-1 1
1-11 1
.names [78] [79] [84] [726]
1-- 1
-1- 1
--1 1
.names [80] [85] [721] [722] [727]
1--- 1
-1-- 1
--1- 1
---1 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 n_n5 n_n13 n_n17 n_n19 [733]
1-1- 1
-1-1 1
.names n_n1 [5] [7] [69] [736]
---1 1
111- 1
.names [72] [73] [75] [733] [737]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n0 [10] [66] [730] [738]
--1- 1
11-1 1
.names [19] [70] [731] [739]
-1- 1
1-1 1
.names [726] [727] [736] [737] [742]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_3_ n_n10 [747]
1-1 1
-11 1
.names i_7_ i_6_ n_n18 n_n19 [752]
101- 1
10-1 1
.names i_7_ i_6_ [7] [752] [754]
---1 1
111- 1
.names [5] [9] [43] [747] [755]
--1- 1
01-1 1
.names [55] [56] [57] [756]
1-- 1
-1- 1
--1 1
.names n_n159 [754] [755] [756] [759]
1--- 1
-1-- 1
--1- 1
---1 1
.end