.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 i_1_ i_2_ i_0_ [37] [115] [471] [474] o_1_
----1-- 1
-----1- 1
------1 1
0001--- 1
.names [10] [14] [16] [479] [492] o_2_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ [8] [41] [74] [503] [504] o_0_
----1- 1
-----1 1
1--1-- 1
111--- 1
.names i_9_ i_5_ [15] [43] [12] [512] [516] o_3_
--1---- 1
----1-- 1
-----1- 1
------1 1
00-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 i_9_ i_7_ i_8_ i_5_ i_3_ i_1_ i_0_ [15]
0010-0- 1
0--0010 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 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_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ [14]
00001--- 1
0--0-010 1
.names i_9_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_0_ [16]
0-0-001- 1
0001---0 1
.names i_7_ i_8_ i_6_ n_n28
111 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_ [47]
111 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_4_ i_1_ i_2_ i_0_ [64]
00010--- 1
0100-0-- 1
0-001-0- 1
0-0-0-10 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_0_ [74]
00101110 1
.names i_9_ i_7_ i_5_ i_6_ i_3_ i_4_ i_2_ i_0_ [78]
0-1----- 1
00--0--- 1
00---01- 1
0--0-1-0 1
.names i_9_ i_8_ i_5_ i_3_ i_1_ [80]
00001 1
.names i_9_ i_8_ i_5_ i_6_ i_4_ i_1_ i_2_ i_0_ [81]
00010--- 1
0100-0-- 1
0-001-0- 1
0-0-0-10 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_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 i_7_ i_4_ i_1_ i_2_ i_0_ [461] [462] [465] [471]
--001-1- 1
--100-1- 1
-11111-- 1
11011--1 1
.names [8] [38] n_n46 [27] [37] n_n28 [48] [47] [474]
11------ 1
--1-1--- 1
---1--1- 1
1----1-1 1
.names i_9_ i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ i_0_ [479]
0--001-- 1
010--00- 1
010--0-0 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 [15] [78] [80] [81] [488] [492]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 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_9_ i_5_ i_6_ i_3_ [498]
0010 1
.names i_7_ i_8_ i_1_ i_2_ i_0_ [499]
10011 1
.names i_1_ i_2_ i_0_ [25] [37] [503]
00--1 1
1001- 1
.names [27] [33] [494] [495] [496] [497] [498] [499] [504]
--11---- 1
----11-- 1
-1----1- 1
1------1 1
.names i_9_ i_7_ i_8_ i_5_ i_3_ i_1_ i_2_ i_0_ [506]
0-0001-- 1
00-0--01 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_1_ i_0_ [509]
00-001-- 1
0-10-00- 1
0-10--00 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_1_ i_2_ [510]
00001--- 1
0-001--0 1
0--0-010 1
0-10--00 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ i_1_ [512]
00001- 1
00-100 1
.names n_n46 [37] [16] [64] [469] [506] [509] [510] [516]
--1----- 1
---1---- 1
-----1-- 1
------1- 1
-------1 1
11------ 1
-1--1--- 1
.end