.model top
.inputs i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ i_11_ \
i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_7_ o_8_ o_5_ o_6_ o_3_ o_4_
.names [63] [64] [65] [250] o_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n100 [262] o_2_
1- 1
-1 1
.names [49] [50] [267] o_0_
1-- 1
-1- 1
--1 1
.names i_10_ i_7_ [45] [46] o_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n55 [37] [43] [270] o_8_
0--- 1
-1-- 1
--1- 1
---1 1
.names i_13_ i_12_ [273] o_5_
0-- 1
-1- 1
--1 1
.names n_n191 [284] [285] o_6_
1-- 1
-1- 1
--1 1
.names i_7_ i_12_ i_11_ i_0_ o_3_
00-- 1
-00- 1
0--1 1
--01 1
.names i_9_ i_7_ i_11_ [289] o_4_
---1 1
0-0- 1
-10- 1
.names i_1_ i_2_ i_0_ n_n326
010 1
.names i_1_ i_2_ i_0_ n_n50
100 1
.names i_1_ i_2_ i_0_ [11]
1-0 1
-10 1
.names i_5_ i_6_ [17]
0- 1
-0 1
.names [10] [55] [255] [256] n_n100
-1-- 1
---1 1
1-1- 1
.names i_9_ i_10_ [20]
-1 1
10 1
.names i_10_ i_7_ n_n55
00 1
.names i_9_ i_7_ n_n60
10 1
.names i_1_ i_2_ [12]
1- 1
-1 1
.names [38] [35] [274] [276] n_n191
-1-- 1
---1 1
1-1- 1
.names i_7_ i_8_ i_0_ [10]
00- 1
0-0 1
.names i_7_ i_2_ i_0_ n_n324
010 1
.names i_9_ i_10_ i_8_ n_n81
100 1
.names i_10_ i_14_ [15]
00 1
.names i_10_ i_7_ i_8_ [18]
000 1
.names i_10_ i_7_ i_8_ i_3_ [38]
0001 1
.names i_7_ i_3_ [12] n_n81 [35]
0001 1
.names i_9_ i_7_ i_1_ i_2_ [37]
101- 1
10-1 1
.names i_9_ i_7_ i_12_ [43]
101 1
.names i_9_ i_3_ i_1_ i_2_ [45]
1100 1
.names i_8_ i_3_ i_1_ i_2_ [46]
00-- 1
0-1- 1
0--1 1
.names i_4_ i_1_ i_2_ i_0_ [49]
0110 1
.names i_5_ i_1_ i_2_ i_0_ [50]
1110 1
.names i_3_ i_1_ i_2_ i_0_ [51]
1100 1
.names i_7_ i_3_ i_1_ i_0_ [55]
1000 1
.names i_3_ i_1_ i_2_ i_0_ [63]
1100 1
.names i_4_ i_1_ i_2_ i_0_ [64]
1010 1
.names i_3_ i_1_ i_2_ i_0_ [65]
1010 1
.names i_4_ i_2_ i_0_ [249]
110 1
.names i_3_ [11] [17] [249] [250]
--11 1
111- 1
.names i_9_ i_10_ i_1_ [255]
100 1
.names i_7_ i_8_ i_2_ i_0_ [256]
--10 1
001- 1
.names i_3_ i_1_ i_2_ i_0_ [259]
00-0 1
0-10 1
.names i_1_ i_10_ [260]
01 1
.names i_7_ i_8_ i_3_ [261]
000 1
.names [20] [259] [260] [261] [262]
11-- 1
--11 1
.names i_3_ i_4_ [11] [51] [267]
---1 1
101- 1
.names i_9_ i_7_ i_3_ i_0_ [270]
0--0 1
-1-0 1
100- 1
.names i_10_ i_7_ i_0_ [273]
1-- 1
-1- 1
--1 1
.names i_9_ i_7_ i_1_ i_2_ [274]
0-00 1
-100 1
.names i_1_ i_2_ i_0_ [275]
1-1 1
-11 1
.names n_n324 [15] [18] [275] [276]
11-- 1
--11 1
.names i_3_ i_1_ i_2_ i_0_ [280]
10-0 1
1-00 1
.names i_3_ i_1_ i_2_ i_0_ [283]
00-0 1
0-00 1
.names n_n50 n_n55 n_n60 [280] [284]
11-- 1
-101 1
.names n_n326 n_n55 n_n60 [283] [285]
11-- 1
-111 1
.names i_9_ i_7_ i_8_ i_0_ [289]
00-- 1
-00- 1
-0-0 1
.end