.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 [474] o_1_
1- 1
-1 1
.names [480] [481] [492] o_2_
1-- 1
-1- 1
--1 1
.names [71] [503] [504] o_0_
1-- 1
-1- 1
--1 1
.names [513] [514] [516] o_3_
1-- 1
-1- 1
--1 1
.names [115] [116] [471] n_n86
1-- 1
-1- 1
--1 1
.names i_9_ i_5_ [448] [8]
001 1
.names i_9_ i_5_ [4]
00 1
.names i_1_ [26] [6]
11 1
.names i_2_ i_0_ [482] [13]
011 1
.names [89] [90] [15]
1- 1
-1 1
.names [34] [85] [484] [39]
1-- 1
-1- 1
--1 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 [453] [454] [468] [25]
111 1
.names i_9_ i_5_ i_3_ [26]
000 1
.names i_7_ i_4_ n_n46 [33]
111 1
.names i_8_ i_2_ [35]
00 1
.names [64] [506] [507] n_n104
1-- 1
-1- 1
--1 1
.names i_6_ i_4_ [30]
01 1
.names i_4_ n_n43 [26] [37]
011 1
.names [30] [106] [475] [10]
-1- 1
1-1 1
.names [103] [104] [14]
1- 1
-1 1
.names [4] [463] [476] [46]
11- 1
1-1 1
.names i_7_ i_8_ i_6_ n_n28
111 1
.names [126] [127] [128] [48]
1-- 1
-1- 1
--1 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_2_ i_0_ [56]
0- 1
-0 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_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_1_ i_2_ i_0_ [54]
111 1
100 1
.names [4] [34] [22] [11]
11- 1
1-1 1
.names i_7_ [8] [6] [12]
01- 1
0-1 1
.names i_1_ [447] [448] [18]
011 1
.names i_3_ [35] [24] [22]
11- 1
1-1 1
.names i_6_ i_0_ [24]
00 1
.names i_0_ [4] [476] [58]
011 1
.names i_8_ i_1_ [26] [63]
011 1
.names [4] [92] [487] [64]
11- 1
1-1 1
.names n_n43 n_n49 [496] [68]
111 1
.names i_6_ [26] [33] [69]
111 1
.names [453] [454] [499] [70]
111 1
.names i_1_ [74] [75] [71]
11- 1
1-1 1
.names n_n53 [25] [72]
11 1
.names i_7_ i_0_ [25] [74]
001 1
.names [8] [76] [77] [75]
11- 1
1-1 1
.names i_0_ [28] [76]
11 1
.names i_2_ n_n28 [77]
01 1
.names i_2_ [4] [463] [79]
011 1
.names i_8_ i_1_ [26] [80]
011 1
.names [4] [92] [487] [81]
11- 1
1-1 1
.names i_6_ i_4_ i_0_ [85]
010 1
.names i_7_ [4] [476] [89]
011 1
.names i_1_ i_0_ [26] [90]
101 1
.names i_8_ i_6_ i_1_ [91]
100 1
.names i_4_ [94] [95] [92]
01- 1
0-1 1
.names i_6_ i_4_ i_2_ [93]
010 1
.names i_2_ i_0_ [94]
10 1
.names i_8_ i_6_ [95]
01 1
.names i_9_ i_6_ [478] [96]
001 1
.names [4] [56] [476] [97]
111 1
.names i_0_ [4] [463] [101]
011 1
.names i_4_ i_1_ [26] [102]
011 1
.names i_7_ [4] [463] [103]
011 1
.names i_1_ i_2_ [26] [104]
101 1
.names i_6_ i_4_ [475] [105]
011 1
.names i_4_ [4] [476] [106]
011 1
.names [8] [110] [111] [107]
11- 1
1-1 1
.names [28] [473] [110]
11 1
.names n_n43 n_n49 [111]
11 1
.names i_4_ n_n49 [461] [112]
111 1
.names [52] [462] [113]
11 1
.names n_n46 [464] [465] [114]
111 1
.names i_7_ [119] [120] [115]
01- 1
0-1 1
.names i_0_ [37] [469] [116]
011 1
.names [121] [122] [467] [119]
1-1 1
-11 1
.names [25] [54] [120]
11 1
.names i_8_ i_2_ [466] [121]
001 1
.names i_8_ n_n53 [122]
11 1
.names [47] [452] [123]
11 1
.names [48] [453] [454] [124]
111 1
.names n_n49 [49] [126]
11 1
.names n_n28 [50] [127]
11 1
.names n_n43 n_n46 [128]
11 1
.names i_5_ i_9_ [447]
00 1
.names i_4_ i_3_ [448]
01 1
.names n_n28 [447] [448] [452]
111 1
.names i_5_ i_9_ [453]
00 1
.names i_4_ i_3_ [454]
11 1
.names n_n46 [37] [123] [459]
--1 1
11- 1
.names n_n28 [26] [461]
11 1
.names n_n43 [447] [448] [462]
111 1
.names i_6_ i_8_ [463]
10 1
.names i_4_ i_7_ [464]
11 1
.names i_3_ [4] [463] [465]
011 1
.names i_0_ i_1_ [466]
00 1
.names i_6_ [447] [448] [467]
011 1
.names i_6_ i_8_ [468]
11 1
.names i_2_ i_1_ [469]
00 1
.names [112] [113] [114] [471]
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ i_0_ [473]
101 1
.names [107] [124] [459] [474]
1-- 1
-1- 1
--1 1
.names i_9_ i_7_ i_5_ [475]
000 1
.names i_1_ i_8_ [476]
01 1
.names i_1_ i_3_ [478]
10 1
.names [10] [96] [97] [480]
1-- 1
-1- 1
--1 1
.names [14] [101] [102] [481]
1-- 1
-1- 1
--1 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 [93] [91] [487]
1- 1
-1 1
.names [13] [79] [80] [489]
1-- 1
-1- 1
--1 1
.names i_9_ [15] [39] [490]
-1- 1
0-1 1
.names [81] [489] [490] [492]
1-- 1
-1- 1
--1 1
.names i_0_ i_6_ [493]
00 1
.names i_7_ i_1_ [35] [494]
0-1 1
-01 1
.names [447] [448] [493] [495]
111 1
.names i_9_ i_5_ i_3_ [496]
001 1
.names i_7_ i_8_ n_n46 [499]
101 1
.names [68] [494] [495] [501]
1-- 1
-11 1
.names [37] [72] [469] [503]
-1- 1
1-1 1
.names [69] [70] [501] [504]
1-- 1
-1- 1
--1 1
.names [31] [63] [482] [506]
-1- 1
1-1 1
.names n_n46 [37] [469] [507]
11- 1
-11 1
.names [58] [105] [106] [509]
1-- 1
-1- 1
--1 1
.names i_2_ [14] [46] [510]
-1- 1
0-1 1
.names [101] [102] [509] [511]
1-- 1
-1- 1
--1 1
.names [26] [30] [18] [512]
--1 1
11- 1
.names [89] [90] [512] [513]
1-- 1
-1- 1
--1 1
.names [12] [11] [514]
1- 1
-1 1
.names n_n104 [510] [511] [516]
1-- 1
-1- 1
--1 1
.end