.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_n86 [8] [38] [27] [48] [459] o_1_
1----- 1
-----1 1
-11--- 1
---11- 1
.names [480] [481] [490] [491] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names [71] [501] [502] [503] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [507] [508] [510] [511] [513] [514] o_3_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [33] [115] [116] [465] [470] n_n86
-1--- 1
--1-- 1
----1 1
1--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_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_7_ i_8_ i_6_ n_n43
100 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_ [26]
000 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_ 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_1_ i_2_ i_0_ [52]
001 1
100 1
.names i_7_ i_4_ i_2_ [34]
001 1
.names i_7_ i_8_ i_6_ i_2_ i_0_ [41]
1110- 1
110-1 1
.names i_8_ i_1_ i_2_ i_0_ [55]
1100 1
0000 1
.names i_1_ i_2_ i_0_ [54]
111 1
100 1
.names i_9_ i_7_ i_5_ i_3_ i_4_ i_1_ [12]
00010- 1
0000-1 1
.names i_8_ i_6_ i_3_ i_2_ i_0_ [22]
0-10- 1
-01-0 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_6_ i_2_ [79]
00010 1
.names i_9_ i_8_ i_5_ i_3_ i_1_ [80]
00001 1
.names i_9_ i_7_ i_8_ i_5_ i_1_ [89]
00100 1
.names i_9_ i_5_ i_3_ i_1_ i_0_ [90]
00010 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_9_ i_7_ i_5_ i_6_ i_4_ [105]
00001 1
.names i_9_ i_8_ i_5_ i_4_ i_1_ [106]
01000 1
.names i_7_ [25] [55] [54] [467] [115]
01-1- 1
0-1-1 1
.names i_1_ i_2_ i_0_ [26] [458] [116]
00011 1
.names i_7_ i_8_ i_6_ i_4_ [458]
1000 1
.names [8] n_n46 [26] n_n28 [47] [458] [459]
1--11- 1
-11--1 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_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 [8] n_n43 [52] [460] [461] [470]
---11 1
111-- 1
.names [96] [97] [105] [106] [480]
1--- 1
-1-- 1
--1- 1
---1 1
.names [101] [102] [103] [104] [481]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_3_ [484]
-1- 1
0-0 1
.names i_7_ i_6_ i_4_ i_2_ i_0_ [485]
0-01- 1
-01-0 1
.names i_9_ [89] [90] [484] [485] [490]
-1--- 1
--1-- 1
0--1- 1
0---1 1
.names i_9_ i_5_ [5] [13] [79] [80] [491]
---1-- 1
----1- 1
-----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_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_9_ i_5_ i_3_ [494] [495] [497] [501]
---11- 1
001--1 1
.names [27] [33] [498] [499] [502]
-11- 1
1--1 1
.names i_1_ i_2_ i_0_ [25] [26] [458] [503]
1001-- 1
00--11 1
.names i_1_ i_2_ i_0_ [26] [458] [507]
00-11 1
01111 1
.names i_9_ i_5_ [5] [13] [63] [508]
---1- 1
----1 1
001-- 1
.names [36] [103] [104] [510]
1-- 1
-1- 1
--1 1
.names [58] [101] [102] [105] [106] [511]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_5_ i_6_ i_3_ i_4_ i_1_ [512]
00001- 1
00-100 1
.names [89] [90] [512] [513]
1-- 1
-1- 1
--1 1
.names i_9_ i_5_ [34] [12] [22] [514]
---1- 1
001-- 1
00--1 1
.end