.model top
.inputs i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ i_11_ \
i_2_ i_0_ i_15_
.outputs o_0_
.names n_n328 n_n326 [1037] o_0_
1-- 1
-1- 1
--1 1
.names i_8_ i_6_ i_4_ n_n276
101 1
.names i_14_ i_12_ i_15_ n_n224
110 1
.names i_8_ i_5_ i_6_ n_n275
100 1
.names [907] [908] [912] n_n328
1-- 1
-1- 1
--1 1
.names [919] [920] [924] n_n334
1-- 1
-1- 1
--1 1
.names [938] [939] [943] n_n323
1-- 1
-1- 1
--1 1
.names n_n335 [976] [977] n_n325
1-- 1
-1- 1
--1 1
.names [994] [995] [999] n_n326
1-- 1
-1- 1
--1 1
.names [1019] [1020] [1021] n_n327
1-- 1
-1- 1
--1 1
.names n_n301 n_n299 [1] [3]
1-- 1
-1- 1
--1 1
.names [69] n_n226 [11] [26]
--1 1
11- 1
.names i_8_ [2] [44] [30]
111 1
.names i_8_ [1] [44] [32]
111 1
.names i_15_ n_n155 [94]
01 1
.names n_n155 [13] [96]
11 1
.names i_3_ i_2_ [73]
01 1
.names i_3_ i_2_ i_0_ n_n320
011 1
.names i_4_ n_n320 [43] n_n316
111 1
.names i_13_ i_12_ [69]
10 1
.names i_14_ i_13_ i_12_ n_n317
010 1
.names i_1_ i_0_ [71]
10 1
.names i_3_ i_1_ i_0_ n_n301
110 1
.names i_1_ i_2_ i_0_ n_n299
100 1
.names i_4_ n_n299 [43] n_n293
111 1
.names i_13_ i_12_ i_15_ n_n294
101 1
.names i_10_ i_13_ i_12_ n_n281
010 1
.names i_14_ i_15_ n_n226
10 1
.names i_14_ i_13_ i_15_ n_n228
100 1
.names i_9_ i_7_ i_4_ n_n270
011 1
.names i_13_ i_12_ i_11_ n_n274
101 1
.names i_3_ i_1_ i_2_ n_n315
001 1
.names i_9_ i_6_ i_4_ n_n265
001 1
.names i_14_ i_13_ i_11_ n_n206
101 1
.names i_9_ n_n315 [44] n_n266
011 1
.names i_9_ i_7_ i_5_ n_n269
010 1
.names i_9_ n_n299 [44] n_n139
011 1
.names i_10_ i_14_ i_13_ n_n188
010 1
.names i_14_ i_12_ i_11_ n_n155
111 1
.names i_9_ n_n301 [44] n_n140
011 1
.names i_10_ i_14_ i_12_ n_n105
011 1
.names i_9_ i_5_ i_6_ n_n264
000 1
.names i_7_ i_8_ i_5_ n_n280
110 1
.names i_7_ i_8_ i_4_ n_n282
111 1
.names i_9_ n_n320 [44] n_n267
011 1
.names i_8_ n_n315 [45] n_n277
111 1
.names i_8_ n_n320 [45] n_n278
111 1
.names i_10_ i_11_ n_n23
10 1
.names n_n301 n_n299 [2]
1- 1
-1 1
.names n_n276 n_n275 n_n282 [9]
1-- 1
-1- 1
--1 1
.names i_14_ n_n281 [17]
01 1
.names i_15_ n_n274 [19]
11 1
.names i_14_ n_n274 [29]
01 1
.names [894] [895] [897] [66]
1-- 1
-1- 1
--1 1
.names i_4_ n_n315 [43] n_n314
111 1
.names i_5_ n_n301 [43] n_n300
011 1
.names i_4_ n_n301 [43] n_n295
111 1
.names i_9_ n_n301 [45] n_n262
011 1
.names i_9_ n_n299 [45] n_n261
011 1
.names n_n265 n_n269 [4]
1- 1
-1 1
.names n_n265 n_n264 [23]
1- 1
-1 1
.names n_n270 n_n264 [24]
1- 1
-1 1
.names i_9_ [1] [45] [38]
011 1
.names i_15_ n_n105 [47]
01 1
.names n_n265 n_n269 n_n264 [59]
1-- 1
-1- 1
--1 1
.names n_n188 [12] [82]
11 1
.names n_n105 [12] [83]
11 1
.names n_n224 n_n228 [88]
1- 1
-1 1
.names n_n188 [13] [95]
11 1
.names [185] [187] [188] [8]
1-- 1
-1- 1
--1 1
.names [88] [14] [925] [28]
-1- 1
0-1 1
.names i_5_ i_4_ [49]
10 1
.names i_15_ n_n301 n_n299 [13]
01- 1
0-1 1
.names i_8_ [2] [45] [31]
111 1
.names n_n276 n_n275 n_n280 [62]
1-- 1
-1- 1
--1 1
.names i_15_ n_n281 [18]
11 1
.names n_n270 n_n265 n_n269 [60]
1-- 1
-1- 1
--1 1
.names [162] [163] [960] n_n335
1-- 1
-1- 1
--1 1
.names i_15_ n_n206 [92]
01 1
.names n_n270 n_n269 [16]
1- 1
-1 1
.names n_n275 n_n282 [51]
1- 1
-1 1
.names n_n301 n_n299 n_n270 [90]
1-1 1
-11 1
.names n_n320 n_n315 [1]
1- 1
-1 1
.names i_9_ i_8_ [50]
10 1
.names [89] [98] [99] [11]
1-- 1
-1- 1
--1 1
.names i_15_ n_n320 n_n315 [12]
01- 1
0-1 1
.names i_9_ i_8_ n_n23 [14]
-11 1
100 1
.names [49] [50] [896] [81]
111 1
.names [222] [223] [37]
1- 1
-1 1
.names [219] [220] [221] [40]
1-- 1
-1- 1
--1 1
.names i_7_ n_n23 [50] [43]
111 1
.names i_11_ [49] [896] [44]
111 1
.names i_10_ [49] [896] [45]
011 1
.names i_6_ n_n23 [50] [46]
011 1
.names [11] [86] [1024] [20]
001 1
.names [2] [1] [1025] [22]
1-1 1
-11 1
.names [2] [1] [1026] [33]
1-1 1
-11 1
.names [30] n_n155 [13] [34]
111 1
.names i_15_ [32] n_n155 [35]
011 1
.names [26] [2] [1] [36]
100 1
.names i_13_ i_12_ n_n226 [86]
101 1
.names i_10_ i_8_ i_11_ [89]
110 1
.names i_9_ i_8_ i_11_ [98]
101 1
.names i_14_ i_12_ i_15_ [99]
01- 1
-11 1
.names [2] [19] [51] [100]
111 1
.names [2] [18] [51] [101]
111 1
.names i_15_ n_n281 [90] [102]
111 1
.names [19] [115] [1009] [103]
11- 1
1-1 1
.names [18] [115] [1009] [104]
11- 1
1-1 1
.names [32] n_n294 [31] [105]
11- 1
-11 1
.names [19] [224] [225] [106]
11- 1
1-1 1
.names [18] [224] [225] [107]
11- 1
1-1 1
.names [18] [118] [119] [108]
11- 1
1-1 1
.names n_n316 n_n228 n_n314 [109]
11- 1
-11 1
.names n_n277 n_n278 [18] [110]
1-1 1
-11 1
.names n_n276 [2] [1] [115]
11- 1
1-1 1
.names n_n301 n_n299 n_n280 [116]
1-1 1
-11 1
.names n_n275 n_n320 n_n315 [117]
11- 1
1-1 1
.names n_n301 n_n299 [4] [118]
1-1 1
-11 1
.names n_n264 [2] [1] [119]
11- 1
1-1 1
.names [59] [1002] [122]
11 1
.names n_n139 n_n140 [19] [123]
1-1 1
-11 1
.names n_n266 n_n267 [19] [124]
1-1 1
-11 1
.names i_15_ n_n281 [38] [125]
111 1
.names i_15_ n_n188 [981] [128]
011 1
.names n_n139 n_n140 [92] [131]
1-1 1
-11 1
.names n_n266 n_n267 [92] [132]
1-1 1
-11 1
.names n_n188 n_n282 [12] [133]
111 1
.names n_n224 [37] [40] [136]
11- 1
1-1 1
.names n_n228 [37] [40] [137]
11- 1
1-1 1
.names n_n224 n_n293 n_n295 [138]
11- 1
1-1 1
.names n_n293 n_n228 n_n295 [139]
11- 1
-11 1
.names n_n139 n_n140 [29] [140]
1-1 1
-11 1
.names n_n266 n_n267 [29] [141]
1-1 1
-11 1
.names [9] [962] [144]
11 1
.names [60] [963] [145]
11 1
.names [2] [1] [964] [146]
1-1 1
-11 1
.names [2] [1] [967] [148]
1-1 1
-11 1
.names [13] [156] [968] [149]
1-1 1
-11 1
.names n_n155 n_n140 [13] [150]
111 1
.names [94] n_n266 n_n267 [151]
11- 1
1-1 1
.names n_n277 n_n278 [82] [153]
1-1 1
-11 1
.names [32] n_n228 [31] [154]
11- 1
-11 1
.names i_15_ n_n315 [156]
01 1
.names [60] [954] [158]
11 1
.names [2] [1] [955] [159]
1-1 1
-11 1
.names n_n188 [60] [12] [161]
111 1
.names [17] n_n262 n_n261 [162]
11- 1
1-1 1
.names i_14_ n_n281 [38] [163]
011 1
.names [47] [13] [62] [164]
111 1
.names [23] [47] [13] [165]
111 1
.names [13] [946] [166]
11 1
.names n_n105 [62] [12] [168]
111 1
.names n_n277 n_n278 [83] [169]
1-1 1
-11 1
.names n_n262 n_n261 [47] [170]
1-1 1
-11 1
.names [8] [935] [179]
11 1
.names [187] [188] [936] [180]
1-1 1
-11 1
.names i_9_ i_10_ i_8_ [185]
100 1
.names i_9_ i_10_ i_11_ [187]
010 1
.names i_14_ i_13_ i_15_ [188]
00- 1
-01 1
.names n_n262 n_n261 [95] [190]
1-1 1
-11 1
.names n_n188 [24] [13] [191]
111 1
.names n_n188 [4] [13] [192]
111 1
.names n_n105 [59] [12] [194]
111 1
.names n_n105 [24] [12] [195]
111 1
.names n_n188 [23] [12] [196]
111 1
.names [2] [9] [888] [197]
111 1
.names [224] [225] [891] [198]
1-1 1
-11 1
.names i_15_ n_n274 [893] [199]
111 1
.names n_n294 [37] [40] [202]
11- 1
1-1 1
.names n_n317 [37] [40] [203]
11- 1
1-1 1
.names [32] n_n317 [31] [204]
11- 1
-11 1
.names n_n316 n_n294 n_n314 [205]
11- 1
-11 1
.names n_n316 n_n317 n_n314 [206]
11- 1
-11 1
.names n_n293 n_n294 n_n295 [207]
11- 1
-11 1
.names n_n317 n_n293 n_n295 [208]
11- 1
1-1 1
.names i_14_ [30] n_n274 [209]
011 1
.names i_14_ n_n281 n_n277 [211]
011 1
.names n_n23 [2] [81] [212]
111 1
.names i_4_ [2] [46] [215]
111 1
.names i_5_ [2] [46] [216]
011 1
.names i_5_ n_n315 [46] [217]
011 1
.names i_5_ [2] [43] [218]
011 1
.names [81] [898] [219]
11 1
.names i_4_ [1] [46] [220]
111 1
.names i_5_ [1] [43] [221]
011 1
.names i_4_ n_n315 [46] [222]
111 1
.names i_5_ n_n320 [46] [223]
011 1
.names n_n320 n_n315 [9] [224]
1-1 1
-11 1
.names n_n280 [2] [1] [225]
11- 1
1-1 1
.names i_10_ i_11_ n_n317 [888]
0-1 1
-11 1
.names i_10_ i_11_ n_n317 [891]
0-1 1
-11 1
.names n_n270 n_n320 [893]
11 1
.names [216] [215] [894]
1- 1
-1 1
.names [218] [217] [895]
1- 1
-1 1
.names i_6_ i_7_ [896]
10 1
.names [212] n_n300 [897]
1- 1
-1 1
.names n_n320 n_n315 n_n23 [898]
1-1 1
-11 1
.names n_n278 [17] [209] [901]
--1 1
11- 1
.names [197] [199] [211] [902]
1-- 1
-1- 1
--1 1
.names [204] [198] [903]
1- 1
-1 1
.names [208] [207] [905]
1- 1
-1 1
.names [205] [206] [903] [907]
1-- 1
-1- 1
--1 1
.names [901] [902] [905] [908]
1-- 1
-1- 1
--1 1
.names n_n317 n_n294 [66] [909]
1-1 1
-11 1
.names [202] [203] [909] [912]
1-- 1
-1- 1
--1 1
.names n_n269 n_n301 [915]
11 1
.names [47] [191] [915] [919]
-1- 1
1-1 1
.names [38] [88] [192] [920]
--1 1
11- 1
.names [195] [194] [921]
1- 1
-1 1
.names [190] [196] [921] [924]
1-- 1
-1- 1
--1 1
.names n_n294 n_n317 [925]
00 1
.names i_7_ i_6_ [49] [927]
010 1
.names i_7_ i_6_ [49] [929]
010 1
.names i_1_ i_0_ [73] [930]
0-0 1
-10 1
.names i_5_ i_6_ i_4_ [933]
100 1
.names i_7_ i_5_ i_4_ [934]
110 1
.names i_7_ i_5_ i_4_ [935]
110 1
.names i_5_ i_6_ i_4_ [936]
100 1
.names [8] [180] [929] [937]
-1- 1
1-1 1
.names [73] [71] [8] [938]
111 1
001 1
.names [28] [179] [927] [939]
-1- 1
1-1 1
.names [28] [930] [933] [940]
11- 1
1-1 1
.names [28] [934] [937] [941]
--1 1
11- 1
.names [941] [940] [943]
1- 1
-1 1
.names i_15_ n_n270 n_n105 [946]
011 1
.names n_n269 n_n299 [947]
11 1
.names [47] [165] [947] [948]
-1- 1
1-1 1
.names [47] [31] [168] [950]
--1 1
11- 1
.names [164] [166] [170] [952]
1-- 1
-1- 1
--1 1
.names [169] [948] [950] [953]
1-- 1
-1- 1
--1 1
.names [2] [17] [1] [954]
11- 1
-11 1
.names i_14_ n_n281 [24] [955]
011 1
.names [96] n_n139 [161] [958]
--1 1
11- 1
.names [158] [159] [958] [960]
1-- 1
-1- 1
--1 1
.names n_n188 n_n228 [961]
11 1
.names [2] [1] [961] [962]
1-1 1
-11 1
.names [94] [2] [1] [963]
11- 1
1-1 1
.names i_15_ n_n155 n_n264 [964]
011 1
.names [2] [92] [1] [966]
11- 1
-11 1
.names i_15_ n_n206 n_n282 [967]
011 1
.names n_n280 n_n188 [968]
11 1
.names [148] [146] [969]
1- 1
-1 1
.names [62] [149] [966] [971]
-1- 1
1-1 1
.names [30] [92] [150] [972]
--1 1
11- 1
.names [144] [145] [971] [975]
1-- 1
-1- 1
--1 1
.names [151] [969] [972] [976]
1-- 1
-1- 1
--1 1
.names [153] [154] [975] [977]
1-- 1
-1- 1
--1 1
.names i_15_ n_n206 [23] [979]
011 1
.names i_15_ n_n206 [16] [980]
011 1
.names n_n280 n_n320 [981]
11 1
.names i_14_ n_n274 [23] [982]
011 1
.names i_14_ n_n274 [16] [983]
011 1
.names [3] [128] [979] [984]
-1- 1
1-1 1
.names [3] [980] [982] [985]
11- 1
1-1 1
.names [3] [133] [983] [986]
-1- 1
1-1 1
.names n_n224 n_n316 n_n314 [987]
11- 1
1-1 1
.names [985] [984] [988]
1- 1
-1 1
.names [132] [131] [989]
1- 1
-1 1
.names [139] [138] [990]
1- 1
-1 1
.names [987] [986] [992]
1- 1
-1 1
.names [140] [141] [990] [994]
1-- 1
-1- 1
--1 1
.names n_n224 [66] [992] [995]
--1 1
11- 1
.names n_n228 [66] [136] [996]
--1 1
11- 1
.names [137] [988] [989] [997]
1-- 1
-1- 1
--1 1
.names [997] [996] [999]
1- 1
-1 1
.names [2] [19] [1] [1000]
11- 1
-11 1
.names [2] [18] [1] [1001]
11- 1
-11 1
.names [2] [19] [1] [1002]
11- 1
-11 1
.names [60] [1000] [1001] [1003]
11- 1
1-1 1
.names [124] [123] [1005]
1- 1
-1 1
.names [122] [125] [1003] [1006]
1-- 1
-1- 1
--1 1
.names [117] [116] [1009]
1- 1
-1 1
.names [101] [100] [1010]
1- 1
-1 1
.names [30] [19] [102] [1011]
--1 1
11- 1
.names n_n262 n_n261 [18] [1012]
1-1 1
-11 1
.names [105] [104] [1014]
1- 1
-1 1
.names [109] [108] [1016]
1- 1
-1 1
.names [103] [1010] [1012] [1018]
1-- 1
-1- 1
--1 1
.names [106] [107] [1014] [1019]
1-- 1
-1- 1
--1 1
.names [110] [1011] [1016] [1020]
1-- 1
-1- 1
--1 1
.names [1005] [1006] [1018] [1021]
1-- 1
-1- 1
--1 1
.names n_n224 n_n280 n_n282 [1023]
11- 1
1-1 1
.names [2] [1] [1023] [1024]
1-1 1
-11 1
.names i_15_ n_n275 n_n155 [1025]
011 1
.names i_15_ n_n276 n_n155 [1026]
011 1
.names [33] [22] [1027]
1- 1
-1 1
.names [20] [34] [1027] [1030]
1-- 1
-1- 1
--1 1
.names [35] [36] [1030] [1031]
1-- 1
-1- 1
--1 1
.names n_n334 [952] [953] [1033]
1-- 1
-1- 1
--1 1
.names n_n323 n_n325 [1031] [1034]
1-- 1
-1- 1
--1 1
.names n_n327 [1033] [1034] [1037]
1-- 1
-1- 1
--1 1
.end