.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 [834] [835] [838] o_1_
1-- 1
-1- 1
--1 1
.names i_15_ [88] o_19_
01 1
.names [79] [886] [889] [891] o_2_
1--- 1
-1-- 1
--1- 1
---1 1
.names [903] [904] o_0_
1- 1
-1 1
.names i_19_ o_23_ [91] n_n137 o_25_
-1-- 1
1-11 1
0-11 1
.names [80] n_n320 n_n312 [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 [83] [80] [174] [175] [854] o_27_
-1--- 1
--1-- 1
---1- 1
1---1 1
.names [60] [931] [932] [933] [934] o_14_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [62] [962] [963] [964] o_28_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_15_ [88] n_n260 [52] [968] o_13_
--1-- 1
---1- 1
----1 1
01--- 1
.names [33] [54] [145] [972] o_21_
--1- 1
---1 1
11-- 1
.names n_n325 [58] [996] [998] o_16_
1--- 1
-1-- 1
--1- 1
---1 1
.names [30] [851] [852] [1000] [1001] o_22_
----1 1
-11-- 1
1--1- 1
.names i_15_ n_n260 o_15_
01 1
.names i_9_ i_18_ i_17_ i_15_ n_n140 o_23_
11001 1
.names [62] [73] n_n324 n_n137 [858] o_18_
1---- 1
-1--- 1
--1-- 1
---11 1
.names n_n307 n_n309 [60] [1006] o_24_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n307 [52] [73] n_n313 [222] o_17_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n320 n_n318 n_n312 [1014] [1015] o_20_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [52] [967] [968] [1020] o_10_
1--- 1
-1-- 1
--1- 1
---1 1
.names [1034] [1035] [1036] o_9_
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 [1044] [1045] o_6_
1- 1
-1 1
.names [52] [967] [968] [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_ [65] [66] n_n315
1011 1
.names i_9_ i_7_ i_5_ i_15_ [89]
0101 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ [88]
00001 1
.names i_7_ i_4_ [90] [820] n_n307
0011 1
.names i_18_ i_17_ n_n101
10 1
.names i_7_ i_5_ [29]
00 1
.names i_5_ i_18_ i_17_ i_15_ [30]
0101 1
1100 1
.names i_9_ i_17_ i_15_ [847] [849] [46]
0011- 1
000-1 1
.names i_2_ [94] [851] [852] [61]
01-- 1
--11 1
.names i_8_ i_5_ i_18_ i_19_ [83] [68]
01111 1
01101 1
.names i_9_ i_17_ i_15_ i_19_ [91] [71]
00111 1
00101 1
.names i_7_ [38] [206] [860] [865] [79]
--1-- 1
----1 1
01-1- 1
.names i_9_ i_7_ i_17_ i_15_ [83]
0000 1
.names i_9_ i_21_ [93]
01 1
.names i_18_ i_17_ i_21_ [896] [897] n_n309
00011 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ n_n260
00101 1
.names i_9_ i_18_ i_17_ [49]
001 1
.names i_9_ i_17_ i_15_ [906] [907] n_n310
00011 1
.names i_7_ [38] [48] [818] [909] [60]
--11- 1
01--1 1
.names n_n307 [52] n_n313 [222] [80]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_1_ i_17_ i_15_ [53]
1--- 1
-0-- 1
--1- 1
---1 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_8_ i_5_ i_18_ i_17_ i_15_ [38]
11100 1
.names i_4_ i_12_ [40]
10 1
.names i_8_ i_5_ i_18_ i_17_ i_15_ [94]
10101 1
.names i_12_ i_2_ i_21_ [50] [43] n_n323
11011 1
.names i_11_ i_2_ [35]
10 1
.names i_6_ i_16_ [42] [43] [941] [62]
11111 1
00111 1
.names i_6_ [40] [35] [66] [36] [74]
01-11 1
1-111 1
.names i_0_ i_15_ [88] n_n128 [917] [52]
---11 1
111-- 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_9_ i_7_ i_8_ i_5_ i_6_ [54]
00000 1
.names [32] [43] [911] n_n320
111 1
.names i_9_ i_17_ i_15_ n_n134
000 1
.names i_6_ [47] [50] [829] n_n325
1111 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_9_ i_21_ [45]
00 1
.names i_7_ i_8_ i_5_ i_2_ [47]
0101 1
.names i_7_ i_8_ i_5_ i_11_ i_2_ [48]
01010 1
.names [45] [48] [50] n_n43 [826] [58]
1110- 1
-1111 1
.names i_6_ [66] [36] [814] [1003] [73]
1111- 1
011-1 1
.names i_7_ i_8_ i_5_ i_18_ [91]
0001 1
.names i_7_ [38] [909] n_n303
011 1
.names i_4_ i_12_ [54] [66] n_n318
0111 1
.names i_12_ i_18_ i_21_ [54] [918] n_n313
11011 1
.names [48] [50] n_n43 [826] n_n333
1111 1
.names i_4_ i_12_ [54] [66] n_n316
1011 1
.names [50] [829] [974] n_n324
111 1
.names i_17_ i_15_ [65] [830] n_n311
0011 1
.names i_4_ i_17_ [54] [914] n_n312
1011 1
.names i_14_ i_13_ i_18_ i_17_ i_15_ [50]
01100 1
.names i_9_ i_17_ i_15_ n_n137
001 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ [65]
00001 1
.names i_14_ i_18_ i_17_ i_21_ i_15_ [66]
01010 1
.names i_9_ i_10_ i_7_ i_8_ i_5_ [43]
01010 1
.names i_11_ i_18_ i_17_ i_15_ [90]
0101 1
.names i_9_ i_10_ i_8_ n_n43
011 1
.names i_18_ i_17_ [41]
01 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 [47] [50] [1022] [70]
111 1
.names i_9_ i_7_ i_4_ i_12_ [38] [112]
10101 1
.names [42] [48] [977] [130]
111 1
.names [42] [48] [980] [131]
111 1
.names [32] [47] [983] [132]
111 1
.names i_9_ i_12_ [38] [134]
101 1
.names i_19_ n_n140 n_n139 n_n134 [135]
0110 1
.names i_9_ i_6_ n_n140 n_n139 [145]
1111 1
.names i_9_ i_3_ i_19_ n_n140 n_n139 [174]
11111 1
.names i_19_ n_n134 n_n137 [847] [849] [175]
1-11- 1
11--1 1
.names i_9_ i_8_ i_21_ [30] [192]
0111 1
.names i_7_ i_5_ i_18_ i_16_ [53] [193]
10010 1
.names i_9_ i_7_ i_4_ i_12_ [38] [205]
10011 1
.names i_18_ i_21_ [47] [90] [206]
1011 1
.names i_11_ i_2_ [65] [823] [222]
0111 1
.names i_2_ i_11_ [814]
10 1
.names i_9_ i_18_ i_17_ i_15_ [816]
1101 1
.names i_9_ i_18_ i_17_ i_21_ i_15_ [818]
01001 1
.names i_4_ i_7_ [819]
00 1
.names i_9_ i_8_ i_5_ i_21_ [820]
0110 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_ 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 [89] [48] [816] [833] [834]
-11- 1
1--1 1
.names [48] [65] [66] [814] [818] [835]
1---1 1
-111- 1
.names n_n315 n_n307 [58] n_n311 [222] [838]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_8_ i_5_ i_21_ [841]
111 1
.names i_9_ i_7_ i_18_ i_17_ i_15_ [842]
00101 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_7_ i_8_ i_5_ i_18_ i_19_ [857]
00010 1
.names i_7_ i_8_ i_5_ i_18_ i_19_ [858]
00011 1
.names i_9_ i_4_ i_12_ [860]
101 1
.names i_9_ i_7_ i_8_ i_5_ i_2_ [862]
10101 1
.names i_4_ i_12_ i_18_ i_21_ [863]
0110 1
.names i_7_ [38] [90] [862] [863] [865]
--11- 1
01--1 1
.names i_2_ i_6_ [866]
01 1
.names i_11_ i_6_ [869]
01 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 n_n140 n_n139 [841] [842] [878]
11-- 1
--11 1
.names [53] n_n128 [38] [843] [845] [879]
--1-1 1
01-1- 1
.names n_n101 [29] [83] [866] [869] [881]
1111- 1
111-1 1
.names [83] [873] [875] [882]
11- 1
1-1 1
.names i_12_ [46] [38] [881] [886]
-1-- 1
---1 1
0-1- 1
.names [71] [193] [878] [879] [889]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n307 [61] [68] [192] [882] [891]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_15_ i_0_ [893]
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_9_ i_14_ i_4_ i_17_ i_15_ [897]
00100 1
.names [89] [41] [895] [896] [897] [903]
11--- 1
--111 1
.names i_7_ i_5_ i_0_ i_15_ [49] [904]
01--1 1
-1-01 1
00-01 1
00011 1
.names i_13_ i_18_ i_21_ [906]
010 1
.names i_10_ i_7_ i_8_ i_5_ i_14_ [907]
00100 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_12_ i_18_ i_21_ i_15_ [914]
0100 1
.names i_18_ i_17_ i_15_ [917]
010 1
.names i_4_ i_17_ i_15_ [918]
000 1
.names n_n310 [60] [58] n_n311 [923]
1--- 1
-1-- 1
--1- 1
---1 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 [88] [893] [895] [896] [897] [931]
11--- 1
--111 1
.names i_0_ i_15_ [88] [53] [930] [932]
---11 1
111-- 1
.names [94] [48] [816] [927] [933]
-11- 1
1--1 1
.names i_7_ i_19_ [38] [929] [934]
101- 1
0-11 1
.names i_12_ i_2_ i_21_ [939]
110 1
.names i_13_ i_17_ i_15_ [941]
000 1
.names i_9_ i_5_ i_18_ i_17_ i_15_ [947]
00011 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 i_9_ i_17_ i_15_ n_n260 [847] [952]
---1- 1
001-1 1
.names i_7_ i_18_ n_n137 [841] [857] [953]
--1-1 1
0111- 1
.names i_2_ i_18_ i_17_ [89] [947] [954]
---01 1
0001- 1
.names [93] [94] [42] [43] [951] [957]
11--- 1
--111 1
.names i_6_ i_16_ [42] [43] [941] [960]
01111 1
10111 1
.names [205] [206] [865] [953] [954] [962]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [89] [61] [74] [949] [950] [963]
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names n_n323 [952] [957] [960] [964]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_15_ [88] n_n260 [967]
--1 1
01- 1
.names i_18_ i_17_ [89] [88] [893] [968]
---11 1
011-- 1
.names i_5_ i_6_ i_18_ i_17_ i_15_ [971]
11100 1
.names n_n58 n_n137 [847] [971] [972]
-11- 1
1--1 1
.names i_7_ i_8_ i_5_ i_6_ i_2_ [974]
01001 1
.names i_9_ i_6_ i_17_ i_16_ i_15_ [977]
01000 1
.names i_9_ i_6_ i_17_ i_16_ i_15_ [980]
00010 1
.names i_9_ i_6_ i_4_ i_12_ i_21_ [983]
01100 1
.names i_18_ i_17_ i_15_ [986]
101 1
.names i_9_ i_8_ i_5_ i_2_ [987]
1100 1
.names [38] [845] [986] [987] [988]
11-- 1
--11 1
.names n_n134 [851] [852] [906] [907] [989]
-11-- 1
1--11 1
.names i_6_ i_16_ [42] [43] [941] [994]
01111 1
10111 1
.names [134] [135] [988] [989] [996]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n320 [130] [131] [132] [994] [998]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_7_ i_8_ i_6_ [1000]
0001 1
.names n_n140 n_n139 n_n134 n_n137 [847] [1001]
---11 1
110-- 1
.names i_12_ i_4_ [1003]
10 1
.names i_1_ n_n128 n_n134 [91] [843] [1006]
--11- 1
111-1 1
.names n_n309 n_n316 [90] [819] [820] [1014]
1---- 1
-1--- 1
--111 1
.names n_n303 n_n313 n_n333 [112] [1015]
1--- 1
-1-- 1
--1- 1
---1 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 [30] [38] [845] [1017] [1018] [1020]
----1 1
-11-- 1
1--1- 1
.names i_9_ i_4_ i_12_ i_18_ i_21_ [1022]
01010 1
.names i_9_ i_17_ i_15_ [88] [849] [1024]
--01- 1
000-1 1
.names i_15_ n_n260 [841] [842] [1025]
01-- 1
--11 1
.names i_12_ [38] [845] [1026]
01- 1
-11 1
.names [83] [856] [895] [896] [897] [1027]
11--- 1
--111 1
.names [93] [38] [50] [43] [939] [1028]
11--- 1
--111 1
.names [70] [1024] [1025] [1026] [1034]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n325 [205] [206] [865] [1035]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n324 n_n311 n_n312 [1027] [1028] [1036]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [60] n_n320 [58] n_n311 n_n312 [1044]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n310 [62] [74] [52] n_n324 [1045]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [46] [68] n_n140 n_n139 n_n134 [1047]
1---- 1
-1--- 1
--110 1
.end