.model top
.inputs i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_3_
.names n_n85 [8] [38] [115] [116] [471] o_1_
1----- 1
---1-- 1
----1- 1
-----1 1
-11--- 1
.names n_n96 [492] o_2_
1- 1
-1 1
.names [71] [494] [495] [496] [497] [502] [503] o_0_
1------ 1
-----1- 1
------1 1
-11---- 1
---11-- 1
.names [4] [15] n_n104 n_n106 [43] [12] [512] o_3_
-1----- 1
--1---- 1
---1--- 1
-----1- 1
------1 1
1---1-- 1
.names i_1_ i_2_ i_0_ [27] [37] [48] [452] n_n85
---1-1- 1
011-1-- 1
111---1 1
100---1 1
.names i_9_ i_5_ i_3_ i_4_ [8]
0010 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [38]
100111 1
110101 1
.names [10] [96] [97] [101] [102] [103] [104] n_n96
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_9_ i_5_ [4]
00 1
.names i_8_ i_6_ i_4_ i_1_ i_2_ i_0_ [5]
010--- 1
10-0-- 1
-01-0- 1
--0-10 1
.names i_9_ i_7_ i_5_ i_2_ i_0_ [13]
00001 1
.names i_9_ i_7_ i_8_ i_5_ i_3_ i_1_ i_0_ [15]
0010-0- 1
0--0010 1
.names i_7_ i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [39]
-1----- 1
0--0--- 1
0---01- 1
--0-1-0 1
.names i_1_ i_2_ i_0_ n_n46
011 1
.names i_9_ i_8_ i_5_ i_6_ i_3_ i_4_ [25]
010111 1
.names i_9_ i_5_ i_3_ i_4_ [27]
0011 1
.names i_7_ i_4_ i_1_ i_2_ i_0_ [33]
11011 1
.names [4] [5] [13] n_n46 [37] [63] [469] n_n104
--1---- 1
-----1- 1
11----- 1
---11-- 1
----1-1 1
.names [10] [36] [58] [101] [102] [103] [104] n_n106
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_7_ i_8_ i_6_ i_3_ i_4_ i_2_ i_0_ [43]
0---01- 1
-0-1-0- 1
--01--0 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [37]
0100000 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ [10]
00-001- 1
0-10-00 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [48]
101111 1
110111 1
111011 1
100011 1
111101 1
111110 1
.names i_1_ i_2_ i_0_ [52]
001 1
100 1
.names i_7_ i_8_ i_6_ i_2_ i_0_ [41]
1110- 1
110-1 1
.names i_9_ i_7_ i_5_ i_3_ i_4_ i_1_ [12]
00010- 1
0000-1 1
.names i_9_ i_8_ i_5_ i_6_ i_1_ i_2_ [36]
0001-0 1
010-00 1
.names i_9_ i_8_ i_5_ i_1_ i_0_ [58]
01000 1
.names i_9_ i_8_ i_5_ i_3_ i_1_ [63]
00001 1
.names i_7_ i_1_ i_0_ [8] [25] [41] [71]
-1-1-1 1
010-1- 1
.names i_9_ i_8_ i_5_ i_3_ i_1_ [80]
00001 1
.names i_9_ i_6_ i_3_ i_1_ [96]
0001 1
.names i_9_ i_8_ i_5_ i_1_ i_2_ i_0_ [97]
01000- 1
0100-0 1
.names i_9_ i_8_ i_5_ i_6_ i_0_ [101]
00010 1
.names i_9_ i_5_ i_3_ i_4_ i_1_ [102]
00001 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ [103]
00001 1
.names i_9_ i_5_ i_3_ i_1_ i_2_ [104]
00010 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [25] [467] [115]
0-1111- 1
0-1001- 1
01100-1 1
00000-1 1
.names i_1_ i_2_ i_0_ [37] [116]
0001 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [452]
0110110 1
.names i_4_ i_1_ i_2_ i_0_ [460]
1111 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ [461]
011010 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ [462]
0100010 1
.names i_9_ i_8_ i_5_ i_6_ i_3_ [465]
00010 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ [467]
00010 1
.names i_2_ i_1_ [469]
00 1
.names [33] [52] [460] [461] [462] [465] [471]
--11-- 1
-1--1- 1
1----1 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_2_ i_0_ [488]
0-0010- 1
00-0-01 1
.names i_9_ i_5_ [5] [15] [39] [80] [488] [492]
---1--- 1
-----1- 1
------1 1
0---1-- 1
001---- 1
.names i_7_ i_8_ i_1_ i_2_ [494]
00-0 1
-000 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ i_0_ [495]
000100 1
.names i_9_ i_5_ i_3_ [496]
001 1
.names i_7_ i_8_ i_6_ i_1_ i_2_ i_0_ [497]
100111 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [499]
10011 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ [33] [499] [502]
0010-1- 1
00-11-1 1
.names i_1_ i_2_ i_0_ [25] [37] [503]
00--1 1
1001- 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ i_1_ [512]
00001- 1
00-100 1
.end