.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_7_ n_n85 [53] [107] [472] o_1_
-1--- 1
---1- 1
----1 1
0-1-- 1
.names [81] [480] [481] [489] [490] o_2_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ [40] [505] o_0_
--1 1
11- 1
.names [513] [514] [516] o_3_
1-- 1
-1- 1
--1 1
.names [27] [123] [125] [127] [457] n_n85
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names i_9_ i_5_ i_3_ i_4_ [8]
0010 1
.names i_9_ i_5_ [4]
00 1
.names i_9_ i_5_ i_3_ i_1_ [6]
0001 1
.names i_9_ i_7_ i_5_ i_2_ i_0_ [13]
00001 1
.names i_1_ i_2_ [26] [458] n_n176
0011 1
.names i_7_ i_8_ i_6_ n_n43
100 1
.names i_1_ i_2_ i_0_ n_n53
100 1
.names i_1_ i_2_ i_0_ n_n49
111 1
.names i_1_ i_2_ i_0_ n_n46
011 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 [8] [27] [41] [468] [500] [40]
1-1-- 1
-1-11 1
.names i_9_ i_5_ i_3_ i_4_ i_1_ [44]
0010- 1
000-1 1
.names i_9_ i_8_ i_5_ i_1_ [7]
0100 1
.names i_9_ i_8_ i_5_ i_6_ i_1_ [46]
0001- 1
010-0 1
.names i_7_ i_8_ i_6_ n_n28
111 1
.names i_1_ i_2_ i_0_ [47]
111 1
100 1
.names [27] [55] [54] [467] [468] [53]
-1-1- 1
1-1-1 1
.names i_1_ i_2_ i_0_ [52]
001 1
100 1
.names i_2_ i_0_ [56]
0- 1
-0 1
.names i_7_ i_8_ i_6_ [28]
110 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_1_ i_2_ i_0_ [50]
011 1
101 1
110 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_5_ i_6_ i_3_ i_4_ [17]
00001 1
.names i_9_ i_5_ i_3_ i_4_ i_1_ [18]
00100 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_1_ i_0_ [58]
01000 1
.names i_9_ i_8_ i_5_ i_3_ i_1_ [63]
00001 1
.names i_6_ i_0_ [8] [494] [67]
0011 1
.names i_7_ i_8_ i_6_ n_n49 [496] [68]
10011 1
.names i_8_ i_6_ n_n53 [27] [72]
1111 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_5_ [92] [487] [81]
001- 1
00-1 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_8_ i_6_ i_4_ i_2_ i_0_ [92]
010-- 1
--010 1
.names i_9_ i_6_ i_3_ i_1_ [96]
0001 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 [8] n_n43 n_n49 [28] [473] [107]
111-- 1
1--11 1
.names i_9_ i_5_ i_3_ n_n28 [460] [112]
00011 1
.names i_7_ i_8_ i_6_ [8] [52] [113]
10011 1
.names i_1_ i_2_ i_0_ [26] [458] [116]
00011 1
.names i_7_ i_8_ i_6_ [8] [47] [123]
11111 1
.names i_1_ i_2_ i_0_ [26] [458] [125]
01111 1
.names i_7_ i_8_ i_6_ [50] [127]
1111 1
.names i_7_ i_8_ i_6_ n_n49 n_n46 [457]
1011- 1
1101- 1
100-1 1
.names i_7_ i_8_ i_6_ i_4_ [458]
1000 1
.names i_4_ i_1_ i_2_ i_0_ [460]
1111 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_6_ i_8_ [468]
11 1
.names [33] [112] [113] [116] [465] [472]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names i_1_ i_2_ i_0_ [473]
101 1
.names i_4_ [7] [56] [96] [105] [480]
---1- 1
----1 1
01--- 1
-11-- 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_8_ i_6_ i_4_ i_1_ i_2_ [487]
10-0- 1
-01-0 1
.names [13] [79] [80] [489]
1-- 1
-1- 1
--1 1
.names i_9_ [89] [90] [484] [485] [490]
-1--- 1
--1-- 1
0--1- 1
0---1 1
.names i_7_ i_8_ i_1_ i_2_ [494]
00-0 1
-000 1
.names i_9_ i_5_ i_3_ [496]
001 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_0_ i_7_ [500]
00 1
.names [27] [33] [498] [499] [502]
-11- 1
1--1 1
.names n_n176 [67] [68] [72] [502] [505]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_1_ i_2_ i_0_ [26] [458] [507]
00-11 1
01111 1
.names [4] [13] [63] [92] [487] [508]
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names i_2_ [6] [46] [103] [510]
---1 1
01-- 1
0-1- 1
.names [58] [101] [102] [105] [106] [511]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [17] [18] [89] [90] [513]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ [4] [44] [34] [22] [514]
0-1-- 1
-1-1- 1
-1--1 1
.names [507] [508] [510] [511] [516]
1--- 1
-1-- 1
--1- 1
---1 1
.end