.model top
.inputs i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names [71] [72] [259] o_1_
1-- 1
-1- 1
--1 1
.names [63] [270] o_2_
1- 1
-1 1
.names [20] [54] [274] o_0_
1-- 1
-1- 1
--1 1
.names [14] [277] [283] o_7_
--1 1
01- 1
.names n_n14 [21] [285] o_8_
1-- 1
-1- 1
--1 1
.names n_n116 n_n101 [286] o_5_
1-- 1
-1- 1
--1 1
.names n_n109 [289] [290] o_6_
1-- 1
-1- 1
--1 1
.names [30] [302] [303] o_3_
1-- 1
-1- 1
--1 1
.names o_6_ [23] [306] o_4_
1-- 1
-1- 1
--1 1
.names i_6_ i_3_ n_n14 n_n116
101 1
.names i_5_ i_3_ [13] n_n97
101 1
.names i_1_ i_2_ i_0_ n_n14
100 1
.names i_1_ i_2_ i_0_ n_n20
110 1
.names i_3_ i_2_ [12]
00 1
.names i_6_ i_3_ [16]
11 1
.names i_6_ i_3_ n_n20 [21]
001 1
.names i_6_ n_n23 [261] n_n101
111 1
.names i_1_ i_0_ [262] n_n124
001 1
.names i_3_ n_n20 [10]
01 1
.names i_5_ i_3_ [11]
0- 1
-0 1
.names i_5_ i_3_ n_n14 n_n112
111 1
.names i_1_ i_2_ i_0_ [13]
011 1
.names n_n14 [59] [254] [17]
-1- 1
1-1 1
.names i_6_ n_n23 [20]
11 1
.names n_n14 [264] n_n115
11 1
.names i_5_ [21] n_n109
01 1
.names i_1_ i_2_ i_0_ n_n23
001 1
.names i_5_ i_4_ [19] [14]
-01 1
011 1
.names i_1_ i_0_ [22]
00 1
.names i_1_ i_2_ i_0_ n_n9
010 1
.names i_6_ i_3_ n_n20 [19]
101 1
.names i_3_ i_0_ n_n20 [23]
100 1
.names n_n9 [293] [27]
11 1
.names n_n23 [295] [28]
01 1
.names i_6_ i_3_ [296] [29]
111 1
.names [19] [276] [297] [30]
0-1 1
-01 1
.names i_6_ n_n23 [261] [31]
110 1
.names i_6_ i_3_ n_n14 [32]
111 1
.names i_3_ n_n9 [36]
01 1
.names i_5_ i_1_ i_2_ [47]
101 1
.names i_6_ i_3_ n_n20 [54]
011 1
.names i_3_ i_2_ i_0_ [59]
001 1
.names i_1_ i_2_ [11] [62]
011 1
.names i_6_ i_4_ [10] [63]
0-1 1
-11 1
.names i_6_ i_3_ n_n23 [68]
011 1
.names i_3_ i_2_ [250] [70]
001 1
.names [13] [251] [252] [71]
0-1 1
-01 1
.names i_5_ n_n14 [254] [72]
010 1
.names i_6_ i_3_ n_n20 [73]
111 1
.names i_0_ i_1_ [250]
11 1
.names i_3_ i_5_ [251]
01 1
.names i_5_ i_1_ i_2_ [252]
101 1
.names i_3_ i_6_ [254]
01 1
.names i_6_ i_3_ n_n20 [257]
101 1
001 1
.names [70] [73] [257] [259]
1-- 1
-1- 1
--1 1
.names i_4_ i_3_ [261]
10 1
.names i_5_ i_3_ i_2_ [262]
110 1
.names i_5_ i_6_ i_3_ [264]
100 1
.names n_n14 [62] [254] [266]
-1- 1
1-1 1
.names n_n20 [16] n_n124 [267]
--1 1
11- 1
.names n_n101 n_n115 [68] [268]
1-- 1
-1- 1
--1 1
.names [266] [267] [268] [270]
1-- 1
-1- 1
--1 1
.names n_n14 [11] [13] [272]
--1 1
10- 1
.names [272] [17] [274]
1- 1
-1 1
.names i_3_ i_4_ i_2_ [275]
010 1
.names i_4_ i_5_ [276]
10 1
.names i_5_ n_n20 [21] [277]
11- 1
-10 1
.names n_n14 n_n124 [11] [279]
-1- 1
1-0 1
.names n_n115 [22] [275] [280]
1-- 1
-11 1
.names [17] n_n23 [47] [281]
1-- 1
-1- 1
--1 1
.names [279] [280] [281] [283]
1-- 1
-1- 1
--1 1
.names i_5_ i_6_ [10] [285]
-11 1
001 1
.names [12] [13] [22] [286]
-1- 1
1-1 1
.names [21] n_n115 [68] [289]
1-- 1
-1- 1
--1 1
.names n_n124 [19] [36] [290]
1-- 1
-1- 1
--1 1
.names i_5_ i_6_ i_4_ [293]
010 1
.names i_5_ i_3_ i_1_ [295]
010 1
.names i_0_ i_2_ [296]
01 1
.names i_5_ i_6_ [10] [297]
1-1 1
-11 1
.names n_n112 [22] [275] [299]
1-- 1
-11 1
.names n_n97 [29] [32] [301]
1-- 1
-1- 1
--1 1
.names [27] [28] [299] [302]
1-- 1
-1- 1
--1 1
.names [301] [31] [303]
1- 1
-1 1
.names n_n14 [22] [275] [306]
1-- 1
-11 1
.end