.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 [115] [472] [474] o_1_
1-- 1
-1- 1
--1 1
.names n_n96 [15] [78] [491] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n176 [71] [72] [504] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n104 [510] [511] [515] o_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_5_ i_3_ i_4_ [8]
0010 1
.names n_n43 n_n49 [28] [473] [38]
11-- 1
--11 1
.names [10] [14] [16] [479] n_n96
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_5_ [4]
00 1
.names i_4_ [57] [91] [93] [5]
--1- 1
---1 1
01-- 1
.names i_9_ i_5_ i_3_ i_1_ [6]
0001 1
.names i_9_ i_8_ i_5_ i_6_ [9]
0001 1
.names i_7_ i_0_ [6] [7] [15]
-01- 1
0--1 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 [4] [5] [506] [507] n_n104
--1- 1
---1 1
11-- 1
.names i_6_ i_4_ [30]
01 1
.names i_9_ i_8_ i_5_ i_1_ [7]
0100 1
.names i_6_ i_4_ [7] [475] [10]
-01- 1
01-1 1
.names i_7_ i_2_ [6] [9] [14]
-01- 1
0--1 1
.names i_4_ i_0_ [6] [9] [16]
0-1- 1
-0-1 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 i_1_ i_2_ i_0_ [52]
001 1
100 1
.names i_8_ i_6_ i_2_ i_0_ [57]
01-- 1
--10 1
.names i_2_ i_0_ [31]
01 1
.names i_7_ i_8_ i_6_ [28]
110 1
.names i_7_ i_4_ i_2_ [34]
001 1
.names i_8_ i_6_ i_2_ i_0_ [45]
0-0- 1
-0-0 1
.names i_1_ i_2_ i_0_ [50]
011 1
101 1
110 1
.names i_7_ i_8_ i_6_ [49]
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_3_ [4] [34] [45] [11]
-11- 1
11-1 1
.names i_7_ [8] [6] [12]
01- 1
0-1 1
.names i_6_ i_0_ [8] [494] [67]
0011 1
.names n_n43 n_n49 [496] [68]
111 1
.names i_7_ i_4_ n_n46 [498] [69]
1111 1
.names i_7_ i_8_ n_n46 [27] [70]
1011 1
.names i_1_ [74] [75] [71]
11- 1
1-1 1
.names i_8_ i_6_ n_n53 [27] [72]
1111 1
.names i_8_ i_6_ [27] [500] [74]
1111 1
.names [8] [76] [77] [75]
11- 1
1-1 1
.names i_7_ i_8_ i_6_ i_0_ [76]
1101 1
.names i_7_ i_8_ i_6_ i_2_ [77]
1110 1
.names i_9_ [34] [85] [484] [78]
01-- 1
0-1- 1
0--1 1
.names i_8_ [6] [80]
01 1
.names i_6_ i_4_ i_0_ [85]
010 1
.names i_8_ i_6_ i_1_ [91]
100 1
.names i_6_ i_4_ i_2_ [93]
010 1
.names i_9_ i_6_ i_3_ i_1_ [96]
0001 1
.names [26] n_n28 [460] [112]
111 1
.names [8] n_n43 [52] [113]
111 1
.names i_3_ [9] n_n46 [464] [114]
0111 1
.names i_7_ [119] [120] [115]
01- 1
0-1 1
.names i_0_ [26] [458] [469] [116]
0111 1
.names i_6_ [8] [55] [119]
011 1
.names i_8_ i_6_ [27] [54] [120]
1111 1
.names [8] n_n28 [47] [123]
111 1
.names [27] n_n28 [50] [457] [124]
1--1 1
111- 1
.names n_n43 n_n49 n_n46 [49] [457]
1-1- 1
-1-1 1
.names i_7_ i_8_ i_6_ i_4_ [458]
1000 1
.names n_n46 [26] [123] [458] [459]
--1- 1
11-1 1
.names i_4_ i_1_ i_2_ i_0_ [460]
1111 1
.names i_4_ i_7_ [464]
11 1
.names i_2_ i_1_ [469]
00 1
.names [112] [113] [114] [116] [472]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_1_ i_2_ i_0_ [473]
101 1
.names [8] [38] [124] [459] [474]
--1- 1
---1 1
11-- 1
.names i_9_ i_7_ i_5_ [475]
000 1
.names i_2_ i_0_ [7] [96] [479]
---1 1
0-1- 1
-01- 1
.names i_9_ i_7_ i_5_ [482]
000 1
.names i_7_ i_5_ i_3_ [484]
-1- 1
0-0 1
.names i_2_ i_0_ [9] [482] [488]
0-1- 1
01-1 1
.names [4] [5] [80] [488] [491]
--1- 1
---1 1
11-- 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_0_ i_7_ [500]
00 1
.names [67] [68] [69] [70] [504]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_8_ [6] [31] [482] [506]
01-- 1
--11 1
.names n_n46 [26] [458] [469] [507]
111- 1
-111 1
.names i_2_ [9] [7] [14] [510]
---1 1
01-- 1
0-1- 1
.names i_0_ [7] [10] [16] [511]
--1- 1
---1 1
01-- 1
.names i_1_ [8] [26] [30] [512]
01-- 1
--11 1
.names [15] [11] [12] [512] [515]
1--- 1
-1-- 1
--1- 1
---1 1
.end