.model top
.inputs 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_ o_4_
.names [519] [520] o_1_
1- 1
-1 1
.names [587] [588] o_2_
1- 1
-1 1
.names [539] [540] [544] o_0_
1-- 1
-1- 1
--1 1
.names [598] [599] [600] o_3_
1-- 1
-1- 1
--1 1
.names [64] [577] [578] o_4_
1-- 1
-1- 1
--1 1
.names [511] [512] [513] n_n172
1-- 1
-1- 1
--1 1
.names [96] [99] [480] n_n154
1-- 1
-1- 1
--1 1
.names [489] [490] [491] n_n150
1-- 1
-1- 1
--1 1
.names i_6_ i_4_ n_n96
00 1
.names i_1_ i_2_ [5]
0- 1
-1 1
.names i_1_ i_2_ [6]
0- 1
-0 1
.names i_8_ i_6_ i_3_ [14]
-0- 1
1-0 1
.names i_7_ i_6_ i_4_ [19]
1-- 1
-1- 1
--1 1
.names n_n107 [113] [493] [23]
-1- 1
1-1 1
.names i_6_ i_4_ n_n94
10 1
.names i_1_ i_2_ i_0_ n_n230
101 1
.names [561] [562] [563] n_n197
1-- 1
-1- 1
--1 1
.names [18] [50] [551] n_n199
-1- 1
1-1 1
.names i_8_ i_3_ [8]
1- 1
-1 1
.names i_8_ i_3_ [9]
1- 1
-0 1
.names i_8_ i_3_ [13]
0- 1
-0 1
.names i_6_ i_4_ i_0_ [25]
101 1
.names i_6_ i_0_ [29]
11 1
.names i_7_ i_8_ i_3_ [30]
111 1
.names i_7_ i_8_ i_3_ [10]
--1 1
11- 1
.names i_7_ i_1_ i_2_ [11]
0-- 1
-10 1
.names i_5_ i_0_ [12]
0- 1
-1 1
.names i_7_ i_8_ i_3_ [17]
11- 1
1-0 1
.names i_7_ i_4_ [20]
0- 1
-0 1
.names i_5_ i_6_ i_0_ [21]
001 1
.names i_1_ i_2_ [26]
01 1
.names i_7_ i_4_ [28]
01 1
.names i_1_ i_2_ i_0_ [32]
010 1
.names i_8_ i_3_ [7]
0- 1
-1 1
.names i_6_ i_0_ [15]
01 1
.names i_6_ i_0_ [24]
00 1
.names i_7_ i_4_ [5] [18]
01- 1
0-0 1
-10 1
.names i_7_ i_8_ n_n107
11 1
.names [528] [529] [590] [22]
001 1
.names [6] [24] [591] [27]
011 1
.names [25] [30] [33]
11 1
.names i_5_ i_6_ i_0_ [36]
001 1
.names [543] [544] [547] [40]
001 1
.names n_n199 [554] [41]
01 1
.names n_n197 [566] [42]
01 1
.names [479] [480] [567] [43]
1-1 1
-11 1
.names [479] [480] [568] [44]
1-1 1
-11 1
.names n_n230 [9] [25] [45]
001 1
.names [10] [24] [548] [50]
111 1
.names [10] [15] [555] [52]
011 1
.names [29] [30] [11] [53]
110 1
.names [5] [13] [25] [54]
101 1
.names [19] [10] [24] [55]
000 1
.names [19] [8] [521] [58]
101 1
.names [11] [12] [523] [59]
011 1
.names [9] [12] [525] [60]
011 1
.names [8] [29] [28] [61]
011 1
.names [13] [28] [570] [62]
101 1
.names [13] [20] [572] [63]
111 1
.names i_0_ [14] [18] [64]
001 1
.names [14] [575] [65]
01 1
.names i_5_ i_6_ i_0_ [66]
11- 1
1-0 1
.names i_8_ i_5_ i_3_ [67]
010 1
.names [21] [28] [530] [70]
111 1
.names [9] [28] [32] [72]
101 1
.names [10] [20] [21] [73]
101 1
.names [14] [32] [75]
11 1
.names i_5_ i_0_ [26] [76]
0-1 1
-11 1
.names i_1_ i_2_ [14] [78]
101 1
.names [112] [113] [495] [82]
001 1
.names [12] [28] [481] [89]
111 1
.names n_n96 [8] [21] [90]
011 1
.names n_n94 [11] [12] [92]
101 1
.names [11] [486] [93]
01 1
.names i_8_ i_3_ [21] [95]
111 1
.names n_n230 [21] [473] [96]
011 1
.names n_n230 [100] [476] [97]
1-1 1
-11 1
.names n_n230 [100] [477] [98]
1-1 1
-11 1
.names [5] n_n94 n_n107 [99]
111 1
.names i_5_ i_1_ i_2_ [100]
010 1
.names [6] [9] [498] [102]
101 1
.names [6] [7] [500] [103]
101 1
.names i_6_ i_4_ [30] [104]
011 1
.names i_7_ i_4_ [503] [105]
111 1
.names n_n96 [6] [9] [106]
110 1
.names n_n96 [6] [7] [107]
110 1
.names i_7_ i_8_ [506] [108]
111 1
.names [5] [112] [113] [109]
11- 1
1-1 1
.names i_8_ i_3_ [21] [110]
1-1 1
-11 1
.names i_7_ i_8_ [493] [112]
111 1
.names i_6_ i_4_ [7] [113]
100 1
.names i_1_ i_3_ [473]
11 1
.names i_7_ i_6_ i_4_ [476]
111 1
.names i_7_ i_6_ i_4_ [477]
010 1
.names [96] [99] [479]
1- 1
-1 1
.names [98] [97] [480]
1- 1
-1 1
.names i_6_ i_1_ i_2_ [481]
10- 1
1-1 1
.names i_6_ i_1_ i_2_ [484]
011 1
.names i_6_ i_3_ i_4_ [486]
100 1
.names i_7_ i_6_ i_4_ [487]
100 1
.names [20] [92] [484] [489]
-1- 1
0-1 1
.names [6] [93] [487] [490]
-1- 1
1-1 1
.names [89] [90] [95] [491]
1-- 1
-1- 1
--1 1
.names i_3_ i_6_ [493]
01 1
.names i_6_ i_1_ i_2_ [494]
10- 1
1-1 1
.names [494] [14] [495]
11 1
.names i_6_ i_7_ [496]
00 1
.names i_6_ i_7_ [498]
00 1
.names i_6_ i_7_ [500]
00 1
.names i_8_ i_6_ i_3_ [503]
000 1
.names i_6_ i_3_ i_4_ [506]
100 1
.names [103] [102] [507]
1- 1
-1 1
.names [107] [106] [509]
1- 1
-1 1
.names [19] [7] [109] [511]
--1 1
00- 1
.names [104] [105] [507] [512]
1-- 1
-1- 1
--1 1
.names [108] [110] [509] [513]
1-- 1
-1- 1
--1 1
.names i_1_ i_2_ n_n96 [515]
111 1
.names [6] [19] [496] [516]
00- 1
111 1
.names [516] [82] [517]
1- 1
-1 1
.names n_n154 n_n150 [517] [519]
1-- 1
-1- 1
--1 1
.names n_n172 [23] [515] [520]
01- 1
1-1 1
.names i_6_ i_1_ i_2_ [521]
011 1
.names i_8_ i_6_ i_3_ [523]
011 1
.names i_7_ i_6_ i_4_ [525]
110 1
.names [61] [60] [528]
1- 1
-1 1
.names [59] [58] [529]
1- 1
-1 1
.names i_8_ i_3_ i_2_ [530]
1-1 1
-11 1
.names [10] i_2_ [532]
11 1
.names [21] [11] [533]
10 1
.names i_4_ i_1_ i_2_ [536]
010 1
.names n_n230 [76] [100] [537]
1-- 1
-1- 1
--1 1
.names [17] [72] [536] [538]
-1- 1
1-1 1
.names [13] [21] [75] [539]
--1 1
01- 1
.names [5] [14] [70] [540]
--1 1
01- 1
.names [73] [532] [533] [541]
1-- 1
-11 1
.names [70] [78] [539] [543]
1-- 1
-1- 1
--1 1
.names [537] [538] [541] [544]
1-- 1
-1- 1
--1 1
.names i_1_ i_6_ [545]
10 1
.names [19] [13] [545] [547]
101 1
.names i_7_ i_1_ i_2_ [548]
111 1
.names i_5_ i_0_ [14] [551]
000 1
.names i_5_ i_6_ i_4_ [552]
010 1
.names n_n230 [9] [552] [554]
001 1
.names i_7_ i_1_ i_2_ [555]
00- 1
0-0 1
.names i_7_ i_3_ i_4_ [560]
111 1
.names [24] [54] [560] [561]
-1- 1
1-1 1
.names [25] [17] [52] [562]
--1 1
11- 1
.names [55] [53] [563]
1- 1
-1 1
.names [13] [29] [30] [566]
010 1
.names [30] i_4_ [567]
11 1
.names i_6_ i_0_ [8] [568]
110 1
.names i_5_ i_7_ [570]
10 1
.names i_5_ i_1_ i_2_ [572]
10- 1
1-0 1
.names i_8_ i_3_ i_0_ [575]
010 1
.names [63] [62] [577]
1- 1
-1 1
.names [65] [66] [67] [578]
1-- 1
-1- 1
--1 1
.names i_8_ i_5_ i_3_ [580]
10- 1
-00 1
.names [19] [9] [45] [581]
--1 1
00- 1
.names [528] [529] [581] [582]
1-- 1
-1- 1
--1 1
.names [44] [43] [584]
1- 1
-1 1
.names o_4_ [580] [582] [585]
--1 1
11- 1
.names n_n172 [41] [584] [587]
1-- 1
-1- 1
--1 1
.names [40] [42] [585] [588]
1-- 1
-1- 1
--1 1
.names i_6_ i_3_ i_0_ [589]
101 1
.names [589] n_n230 [590]
10 1
.names i_6_ i_3_ i_4_ [591]
11- 1
-11 1
.names i_8_ i_6_ i_0_ [593]
100 1
.names [29] [7] [36] [594]
--1 1
10- 1
.names [27] [33] [594] [596]
1-- 1
-1- 1
--1 1
.names n_n199 [596] [597]
1- 1
-1 1
.names [22] n_n197 [598]
1- 1
-1 1
.names i_5_ o_4_ [15] [599]
01- 1
-11 1
.names n_n172 [593] [597] [600]
--1 1
01- 1
.end