.model top
.inputs i_20_ 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_18_ i_17_ i_0_ i_21_ i_16_ i_15_ i_19_
.outputs o_1_ o_19_ o_2_ o_0_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_28_ o_13_ \
o_21_ o_16_ o_22_ o_15_ o_23_ o_18_ o_24_ o_17_ o_20_ o_10_ o_9_ o_7_ o_8_ \
o_5_ o_6_ o_3_ o_4_
.names n_n304 [213] [835] [838] o_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_15_ [49] o_19_
0001 1
.names [887] [888] [892] o_2_
1-- 1
-1- 1
--1 1
.names n_n276 n_n309 [901] [902] o_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_19_ o_23_ [91] n_n137 o_25_
-1-- 1
1-11 1
0-11 1
.names [59] [72] [920] [923] o_12_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_20_ i_14_ i_21_ o_26_
01- 1
0-1 1
.names i_7_ i_5_ i_18_ [53] o_11_
1000 1
.names n_n307 [222] [920] [926] o_27_
1--- 1
-1-- 1
--1- 1
---1 1
.names [166] [167] [935] [936] o_14_
1--- 1
-1-- 1
--1- 1
---1 1
.names [74] [959] [964] [965] o_28_
1--- 1
-1-- 1
--1- 1
---1 1
.names [89] n_n283 [41] [969] o_13_
-1-- 1
---1 1
1-1- 1
.names n_n255 [144] [145] [146] o_21_
1--- 1
-1-- 1
--1- 1
---1 1
.names [990] [991] [994] [999] o_16_
1--- 1
-1-- 1
--1- 1
---1 1
.names o_23_ n_n255 n_n265 [126] o_22_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_7_ i_5_ i_15_ [49] o_15_
0101 1
.names n_n140 n_n139 n_n134 o_23_
110 1
.names [62] [82] [974] [1005] o_18_
1--- 1
---1 1
-11- 1
.names n_n307 n_n309 [1008] o_24_
1-- 1
-1- 1
--1 1
.names n_n307 [73] [222] [920] o_17_
1--- 1
-1-- 1
--1- 1
---1 1
.names [1011] [1012] [1013] [1014] o_20_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n283 n_n276 [969] [1020] o_10_
1--- 1
-1-- 1
--1- 1
---1 1
.names [1028] [1029] [1032] [1037] o_9_
1--- 1
-1-- 1
--1- 1
---1 1
.names [46] [68] [71] [51] o_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_20_ i_14_ o_8_
01 1
.names [62] [74] [73] n_n324 o_5_
1--- 1
-1-- 1
--1- 1
---1 1
.names [58] n_n311 [1042] [1045] o_6_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n283 n_n276 [969] [1047] o_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_20_ i_14_ o_4_
00 1
.names i_11_ i_2_ n_n140 [816] n_n304
1011 1
.names n_n140 [35] [33] [45] n_n301
1111 1
.names [90] [222] [819] [820] [59]
-1-- 1
1-11 1
.names i_9_ i_7_ i_5_ i_15_ [89]
0101 1
.names i_7_ i_18_ n_n137 [841] n_n273
0111 1
.names i_7_ i_4_ [90] [820] n_n307
0011 1
.names [53] n_n128 [843] n_n294
011 1
.names i_8_ i_5_ n_n139 [845] n_n268
1111 1
.names i_7_ i_5_ [29]
00 1
.names i_5_ i_18_ i_17_ i_15_ [30]
0101 1
1100 1
.names n_n134 n_n137 [847] [849] [46]
-11- 1
1--1 1
.names i_7_ i_8_ i_5_ n_n139 [55]
0101 1
.names [83] [854] [856] [68]
11- 1
1-1 1
.names i_19_ [91] n_n137 [71]
111 1
011 1
.names [205] [206] [207] [208] [79]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_7_ i_17_ i_15_ [83]
0000 1
.names i_8_ i_5_ i_12_ n_n139 [85]
1101 1
.names i_7_ i_5_ [49] [893] n_n283
0011 1
.names i_18_ i_17_ [89] n_n276
011 1
.names n_n134 [894] [895] [896] n_n309
1111 1
.names i_9_ i_18_ i_17_ [49]
001 1
.names n_n140 n_n134 [905] [906] n_n310
1111 1
.names n_n320 n_n312 [72]
1- 1
-1 1
.names i_9_ i_1_ i_17_ i_15_ [53]
1--- 1
-0-- 1
--1- 1
---1 1
.names [83] [854] n_n277
11 1
.names i_7_ i_5_ [49] [916] n_n271
0011 1
.names i_9_ i_7_ i_5_ n_n128
010 1
.names i_7_ i_8_ i_5_ n_n140
010 1
.names i_19_ [91] n_n137 n_n274
011 1
.names i_9_ i_17_ i_15_ [847] n_n255
0011 1
.names i_11_ i_2_ [35]
10 1
.names i_6_ i_16_ [67] [62]
111 1
001 1
.names [32] n_n60 [817] [945] [74]
101- 1
10-1 1
.names i_18_ i_17_ i_15_ n_n139
100 1
.names i_9_ i_7_ i_8_ n_n58
000 1
.names i_18_ i_17_ i_15_ [33]
101 1
.names i_7_ i_8_ i_5_ [852] n_n265
1101 1
.names [29] [32] n_n43 [911] n_n320
1111 1
.names i_9_ i_17_ i_15_ n_n134
000 1
.names i_6_ [47] [82] n_n325
111 1
.names i_14_ i_18_ i_17_ i_15_ [32]
0100 1
.names i_14_ i_12_ i_18_ i_21_ [42]
0110 1
.names i_8_ i_5_ [44]
10 1
.names i_9_ i_21_ [45]
00 1
.names i_7_ i_8_ i_5_ i_2_ [47]
0101 1
.names i_11_ i_2_ n_n140 [48]
101 1
.names [48] [50] [827] [829] [58]
111- 1
11-1 1
.names i_19_ [91] n_n137 n_n278
111 1
.names [32] n_n60 [815] [1004] [73]
101- 1
10-1 1
.names i_7_ i_8_ i_5_ i_18_ [91]
0001 1
.names i_7_ n_n139 [31] [909] n_n303
0111 1
.names i_6_ [37] [36] [918] n_n313
0111 1
.names i_9_ i_17_ i_15_ [849] n_n257
0001 1
.names i_6_ [47] [82] n_n324
011 1
.names [83] [856] n_n275
11 1
.names i_6_ [39] [36] [830] n_n311
1111 1
.names i_6_ [36] [913] [914] n_n312
0111 1
.names i_18_ i_21_ n_n60
10 1
.names i_13_ [32] [50]
11 1
.names i_9_ i_17_ i_15_ n_n137
001 1
.names i_18_ i_21_ [32] [66]
0-1 1
-11 1
.names i_13_ [32] [829] [82]
111 1
.names i_17_ i_15_ [39]
00 1
.names i_8_ i_5_ [31]
11 1
.names i_11_ i_18_ i_17_ i_15_ [90]
0101 1
.names i_12_ i_18_ i_21_ [37]
110 1
.names i_9_ i_10_ i_8_ n_n43
011 1
.names i_18_ i_17_ [41]
01 1
.names [29] [42] n_n43 [941] [67]
1111 1
.names i_9_ i_7_ i_8_ i_5_ [36]
0000 1
.names i_9_ i_16_ n_n140 n_n139 [51]
1111 1
.names i_9_ i_21_ n_n139 [31] [75]
0111 1
.names i_7_ n_n139 [31] [1009] [112]
0111 1
.names i_9_ i_17_ i_15_ [91] [121]
0001 1
.names [30] [1000] [126]
11 1
.names [32] [45] [47] [982] [132]
1111 1
.names i_18_ i_17_ i_15_ [987] [133]
1011 1
.names i_9_ i_12_ n_n139 [31] [134]
1011 1
.names i_19_ n_n140 n_n139 n_n134 [135]
0110 1
.names i_5_ i_6_ n_n139 n_n58 [144]
1111 1
.names i_9_ i_6_ n_n140 n_n139 [145]
1111 1
.names i_6_ [33] [36] [146]
011 1
.names [29] [42] n_n43 [951] [152]
1111 1
.names i_9_ i_21_ [33] [44] [153]
0111 1
.names i_8_ i_5_ [33] [927] [165]
1011 1
.names i_7_ i_19_ n_n139 [31] [166]
1011 1
.names i_7_ n_n139 [31] [929] [167]
0111 1
.names [53] [930] [168]
11 1
.names i_9_ n_n140 n_n139 [924] [174]
1111 1
.names i_6_ i_2_ [83] [867] [188]
1011 1
.names i_6_ i_11_ [83] [870] [189]
1011 1
.names i_7_ n_n139 [31] [860] [205]
0111 1
.names i_18_ i_21_ [47] [90] [206]
1011 1
.names i_9_ [47] [90] [207]
111 1
.names i_7_ n_n139 [31] [863] [208]
0111 1
.names i_8_ i_5_ i_2_ [33] [209]
1001 1
.names [89] [833] [213]
11 1
.names i_6_ [36] [822] [823] [222]
1111 1
.names i_6_ i_11_ i_2_ [36] [815]
1011 1
.names i_9_ i_18_ i_17_ i_15_ [816]
1101 1
.names i_6_ i_11_ i_2_ [36] [817]
1101 1
.names i_4_ i_7_ [819]
00 1
.names i_9_ i_8_ i_5_ i_21_ [820]
0110 1
.names i_2_ i_11_ [822]
10 1
.names i_18_ i_17_ i_21_ i_15_ [823]
1000 1
.names i_4_ i_12_ i_18_ i_21_ [826]
1010 1
.names i_9_ i_10_ i_8_ [826] [827]
0111 1
.names n_n140 [35] n_n43 [826] [828]
1111 1
.names i_9_ i_10_ i_8_ i_21_ [829]
00-0 1
0-00 1
.names i_11_ i_2_ i_18_ i_21_ [830]
1010 1
.names i_11_ i_2_ i_18_ i_17_ [833]
1100 1
.names n_n301 [32] n_n60 [815] [835]
1--- 1
-101 1
.names n_n307 [66] [222] [817] [836]
1--- 1
--1- 1
-1-1 1
.names [58] n_n311 [836] [838]
1-- 1
-1- 1
--1 1
.names i_8_ i_5_ i_21_ [841]
111 1
.names i_8_ i_18_ i_17_ [843]
10- 1
1-1 1
.names i_9_ i_7_ i_17_ i_15_ [845]
11-- 1
-11- 1
-1-1 1
.names i_7_ i_8_ i_5_ i_18_ [847]
1101 1
.names i_7_ i_8_ i_5_ i_18_ [849]
1111 1
.names i_7_ i_8_ i_5_ [851]
110 1
.names i_9_ i_18_ i_17_ i_15_ [852]
1101 1
.names i_8_ i_5_ i_18_ i_19_ [854]
0111 1
.names i_8_ i_5_ i_18_ i_19_ [856]
0110 1
.names i_9_ i_4_ i_12_ [860]
101 1
.names i_4_ i_12_ i_18_ i_21_ [863]
0110 1
.names i_7_ i_5_ i_18_ i_17_ [867]
0010 1
.names i_7_ i_5_ i_18_ i_17_ [870]
0010 1
.names i_6_ i_12_ i_18_ i_17_ [873]
0010 1
.names i_6_ i_4_ i_18_ i_17_ [875]
0010 1
.names i_9_ i_8_ i_21_ [876]
011 1
.names i_7_ i_5_ i_18_ [877]
100 1
.names [83] [873] [875] [882]
11- 1
1-1 1
.names i_16_ [71] [53] [877] [884]
-1-- 1
1-01 1
.names n_n273 n_n294 n_n268 [55] [885]
1--- 1
-1-- 1
--1- 1
---1 1
.names [46] [85] [188] [189] [886]
1--- 1
-1-- 1
--1- 1
---1 1
.names [209] [851] [852] [882] [887]
1--- 1
---1 1
-11- 1
.names n_n307 [30] [68] [876] [888]
1--- 1
--1- 1
-1-1 1
.names [79] [884] [885] [886] [892]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_15_ i_0_ [893]
10 1
.names i_4_ i_14_ [894]
10 1
.names i_18_ i_17_ i_21_ [895]
000 1
.names i_7_ i_5_ i_12_ i_15_ [896]
001- 1
00-1 1
.names i_5_ i_7_ [899]
10 1
.names i_7_ i_5_ i_15_ [49] [901]
01-1 1
-101 1
.names i_0_ i_15_ [29] [49] [902]
-011 1
0111 1
.names i_14_ i_10_ [905]
00 1
.names i_13_ i_18_ i_21_ [906]
010 1
.names i_9_ i_4_ i_12_ i_21_ [909]
0100 1
.names i_13_ i_4_ i_12_ i_21_ [911]
0100 1
.names i_17_ i_4_ [913]
01 1
.names i_12_ i_18_ i_21_ i_15_ [914]
0100 1
.names i_15_ i_0_ [916]
11 1
.names i_18_ i_17_ i_15_ [917]
010 1
.names i_4_ i_17_ i_15_ [918]
000 1
.names n_n271 n_n128 n_n313 [917] [920]
1--- 1
--1- 1
-1-1 1
.names n_n301 n_n310 n_n303 [921]
1-- 1
-1- 1
--1 1
.names [58] n_n311 [921] [923]
1-- 1
-1- 1
--1 1
.names i_19_ i_3_ [924]
11 1
.names i_19_ [46] n_n277 [174] [926]
--1- 1
---1 1
11-- 1
.names i_7_ i_8_ i_5_ i_19_ [927]
1--0 1
-0-0 1
--10 1
.names i_9_ i_4_ i_12_ [929]
110 1
.names i_9_ i_7_ i_5_ i_18_ [930]
0100 1
.names n_n283 n_n309 n_n271 [168] [935]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n304 n_n301 n_n303 [165] [936]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_12_ i_2_ i_21_ [939]
110 1
.names i_7_ i_5_ n_n43 [939] [940]
0011 1
.names i_13_ i_17_ i_15_ [941]
000 1
.names i_6_ i_4_ i_12_ [36] [945]
0101 1
.names i_15_ i_5_ [946]
10 1
.names i_2_ i_18_ i_17_ [948]
000 1
.names i_11_ i_18_ i_17_ [949]
000 1
.names i_9_ i_18_ i_17_ i_19_ [950]
0010 1
.names i_11_ i_2_ i_18_ i_17_ [951]
1010 1
.names [49] n_n137 [847] [899] [952]
-11- 1
1--1 1
.names [89] [49] [946] [948] [954]
1--1 1
011- 1
.names [89] [949] [950] [955]
11- 1
1-1 1
.names i_13_ [32] [940] [952] [956]
---1 1
111- 1
.names n_n273 n_n274 [954] [958]
1-- 1
-1- 1
--1 1
.names [209] [851] [852] [955] [959]
1--- 1
---1 1
-11- 1
.names i_6_ i_16_ [67] [960]
011 1
101 1
.names [152] [153] [956] [960] [964]
1--- 1
-1-- 1
--1- 1
---1 1
.names [79] [62] [958] [965]
1-- 1
-1- 1
--1 1
.names i_7_ i_5_ i_15_ [49] [967]
01-1 1
0001 1
.names n_n271 n_n128 [917] [967] [969]
1--- 1
---1 1
-11- 1
.names [47] i_6_ [974]
10 1
.names i_16_ i_6_ [976]
01 1
.names i_11_ i_2_ n_n140 [42] [978]
1011 1
.names i_16_ i_6_ [979]
10 1
.names i_11_ i_2_ n_n140 [42] [981]
1011 1
.names i_6_ i_4_ i_12_ [982]
110 1
.names i_9_ i_8_ i_5_ i_2_ [987]
1100 1
.names n_n320 n_n134 [976] [978] [990]
1--- 1
-111 1
.names n_n134 [132] [979] [981] [991]
-1-- 1
1-11 1
.names [135] [134] [992]
1- 1
-1 1
.names n_n268 n_n310 n_n265 [133] [993]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_6_ i_16_ [67] [994]
011 1
101 1
.names n_n325 [58] [992] [993] [999]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_7_ i_8_ i_6_ [1000]
0001 1
.names i_6_ i_4_ i_12_ [36] [1004]
0011 1
.names n_n278 [66] [815] [1004] [1005]
1--- 1
-11- 1
-1-1 1
.names n_n301 n_n294 n_n303 [121] [1008]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_4_ i_12_ [1009]
110 1
.names n_n313 n_n303 [1011]
1- 1
-1 1
.names i_13_ [32] [112] [828] [1012]
--1- 1
11-1 1
.names n_n320 n_n312 [66] [1004] [1013]
1--- 1
-1-- 1
--11 1
.names n_n307 n_n309 [66] [945] [1014]
1--- 1
-1-- 1
--11 1
.names i_9_ i_7_ i_8_ i_6_ [1017]
0000 1
.names n_n140 n_n139 n_n134 [849] [1018]
--11 1
110- 1
.names n_n268 [30] [1017] [1018] [1020]
1--- 1
---1 1
-11- 1
.names i_9_ i_4_ i_12_ [1021]
010 1
.names i_18_ i_21_ [47] [1021] [1023]
1011 1
.names i_12_ n_n139 [31] [845] [1026]
011- 1
-111 1
.names i_13_ [32] [75] [940] [1028]
--1- 1
11-1 1
.names n_n312 n_n311 [1029]
1- 1
-1 1
.names o_19_ n_n257 [50] [1023] [1030]
1--- 1
-1-- 1
--11 1
.names o_15_ n_n273 [1026] [1031]
1-- 1
-1- 1
--1 1
.names n_n309 n_n275 [82] [974] [1032]
1--- 1
-1-- 1
--11 1
.names [79] n_n325 [1030] [1031] [1037]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n310 n_n271 n_n128 [917] [1041]
1--- 1
-1-- 1
--11 1
.names n_n301 n_n320 n_n303 n_n312 [1042]
1--- 1
-1-- 1
--1- 1
---1 1
.names [62] [74] n_n324 [1041] [1045]
1--- 1
-1-- 1
--1- 1
---1 1
.names o_23_ [46] [68] [1047]
1-- 1
-1- 1
--1 1
.end