.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 [11] [62] [65] [248] [251] o_1_
-1--- 1
--1-- 1
----1 1
1--1- 1
.names i_9_ i_10_ n_n100 [53] [259] o_2_
--1-- 1
---1- 1
-1--1 1
10--1 1
.names [266] [267] o_0_
1- 1
-1 1
.names i_10_ i_7_ [45] [46] o_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_7_ i_12_ [269] [270] o_8_
---1- 1
----1 1
101-- 1
.names i_10_ i_7_ i_13_ i_12_ i_0_ o_5_
1---- 1
-1--- 1
--0-- 1
---1- 1
----1 1
.names [276] [277] [284] [285] o_6_
1--- 1
-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_8_ i_11_ i_0_ o_4_
00--- 1
-00-- 1
0--0- 1
-1-0- 1
-0--0 1
.names i_1_ i_2_ i_0_ [11]
1-0 1
-10 1
.names [10] [55] [255] [256] n_n100
-1-- 1
---1 1
1-1- 1
.names i_1_ i_2_ [12]
1- 1
-1 1
.names i_10_ i_7_ i_1_ i_2_ i_0_ [40]
00100 1
.names i_7_ i_8_ i_0_ [10]
00- 1
0-0 1
.names i_10_ i_7_ i_8_ i_3_ [38]
0001 1
.names i_9_ i_10_ i_7_ i_8_ i_3_ [39]
10000 1
.names i_10_ i_7_ i_1_ i_2_ i_0_ [29]
00010 1
.names i_10_ i_7_ i_14_ i_2_ i_0_ [36]
00010 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_10_ i_7_ i_8_ i_3_ i_1_ [53]
10000 1
.names i_7_ i_3_ i_1_ i_0_ [55]
1000 1
.names i_5_ i_6_ i_4_ i_2_ i_0_ [62]
0-110 1
-0110 1
.names i_3_ i_1_ i_2_ i_0_ [65]
1010 1
.names i_5_ i_6_ i_3_ [248]
0-1 1
-01 1
.names i_3_ i_4_ i_1_ i_2_ i_0_ [251]
-1010 1
1-100 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_5_ i_4_ i_1_ i_2_ i_0_ [266]
1-110 1
-0110 1
.names i_3_ i_4_ i_1_ i_2_ i_0_ [267]
101-0 1
10-10 1
1-100 1
.names i_9_ i_10_ i_7_ i_1_ i_2_ [269]
-1--- 1
--1-- 1
1-01- 1
1-0-1 1
.names i_9_ i_7_ i_3_ i_0_ [270]
0--0 1
-1-0 1
100- 1
.names i_1_ i_2_ i_0_ [275]
1-1 1
-11 1
.names i_10_ i_7_ i_8_ [36] [275] [276]
---1- 1
000-1 1
.names i_9_ i_7_ [12] [38] [39] [277]
--0-1 1
0-01- 1
-101- 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 i_9_ i_10_ i_7_ [40] [280] [284]
---1- 1
000-1 1
.names i_9_ i_10_ i_7_ [29] [283] [285]
---1- 1
100-1 1
.end