.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 [58] [65] [831] [834] [835] [836] o_1_
1----- 1
---1-- 1
----1- 1
-----1 1
-11--- 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_19_
000010 1
.names [30] [876] [883] [887] [892] o_2_
--1-- 1
---1- 1
----1 1
11--- 1
.names i_0_ i_15_ [88] [901] [903] o_0_
---1- 1
----1 1
-01-- 1
011-- 1
.names i_9_ i_17_ i_15_ i_19_ [55] [91] o_25_
1---1- 1
-1--1- 1
--1-1- 1
0011-1 1
0010-1 1
.names [59] [72] [58] n_n311 [920] [921] o_12_
1----- 1
-1---- 1
--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 [59] [175] [920] [925] o_27_
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 [79] [62] [953] [954] [966] o_28_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_7_ i_5_ i_0_ i_15_ [41] o_13_
001--1 1
010-11 1
010-01 1
000-01 1
000111 1
000011 1
.names n_n58 n_n137 [847] [971] [973] o_21_
----1 1
-11-- 1
1--1- 1
.names [990] [991] [994] [999] o_16_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_5_ i_18_ i_17_ i_15_ [1000] [1002] o_22_
-----1 1
01011- 1
11001- 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_15_
001010 1
.names i_9_ i_17_ i_15_ [55] o_23_
1--1 1
-1-1 1
--11 1
.names [62] [73] n_n324 n_n137 [858] o_18_
1---- 1
-1--- 1
--1-- 1
---11 1
.names i_1_ [60] n_n134 [91] [844] [1007] o_24_
-1---- 1
-----1 1
--11-- 1
1-1-1- 1
.names [73] [65] [90] [821] [824] [920] o_17_
1----- 1
-----1 1
--11-- 1
-1--1- 1
.names [72] n_n318 n_n316 [1010] [1011] [1012] o_20_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names o_13_ [30] [1017] [1019] o_10_
1--- 1
---1 1
-11- 1
.names n_n324 [1027] [1028] [1029] [1037] o_9_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [46] [83] [854] [856] [1039] o_7_
1---- 1
----1 1
-11-- 1
-1-1- 1
.names i_20_ i_14_ o_8_
01 1
.names [62] [74] [73] [50] [829] [974] o_5_
1----- 1
-1---- 1
--1--- 1
---111 1
.names [60] [72] [58] [65] [831] [1045] o_6_
1----- 1
-1---- 1
--1--- 1
-----1 1
---11- 1
.names o_13_ [83] [854] [856] [1046] o_3_
1---- 1
----1 1
-11-- 1
-1-1- 1
.names i_20_ i_14_ o_4_
00 1
.names [65] [90] [821] [824] [59]
-11- 1
1--1 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_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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [55]
010100 1
.names [86] [90] [860] [861] [862] [863] [79]
1-1--- 1
-1-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_ i_18_ i_17_ i_15_ [85]
110100 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ n_n276
010011 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ n_n260
00101 1
.names [86] [48] [818] [909] [60]
-11- 1
1--1 1
.names [54] [32] [43] [911] [915] [72]
1---1 1
-111- 1
.names i_9_ i_1_ i_17_ i_15_ [53]
1--- 1
-0-- 1
--1- 1
---1 1
.names i_8_ i_5_ i_18_ i_17_ i_15_ [38]
11100 1
.names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [86]
011100 1
.names i_8_ i_5_ i_18_ i_17_ i_15_ [94]
10101 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_ i_4_ i_12_ [35] [66] [36] [74]
1--111 1
010-11 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 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_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 i_9_ i_21_ [48] [50] n_n43 [826] [58]
--1111 1
00110- 1
.names i_6_ i_11_ i_2_ [66] [36] [1003] [73]
0--111 1
10111- 1
.names i_7_ i_8_ i_5_ i_18_ [91]
0001 1
.names i_4_ i_12_ [54] [66] n_n318
0111 1
.names i_4_ i_12_ [54] [66] n_n316
1011 1
.names i_9_ i_10_ i_8_ i_21_ [50] [974] n_n324
00-011 1
0-0011 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ [831] n_n311
000011 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_17_ i_15_ i_19_ [847] [849] [175]
00111- 1
0001-1 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ [180]
010010 1
.names i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [209]
100101 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_9_ i_7_ i_8_ i_5_ i_4_ i_21_ [821]
001100 1
.names i_11_ i_2_ i_18_ i_17_ i_21_ i_15_ [824]
011000 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_17_ i_21_ i_15_ [831]
101000 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 i_11_ i_2_ [48] [65] [66] [818] [835]
--1--1 1
01-11- 1
.names [35] [65] [66] [90] [821] [824] [836]
---11- 1
-1---1 1
111--- 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ [844]
01100- 1
0110-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_18_ i_17_ i_15_ [850]
101 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_7_ i_8_ i_5_ i_2_ i_18_ i_21_ [861]
010110 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_ i_5_ i_6_ i_2_ i_18_ i_17_ [868]
001010 1
.names i_7_ i_5_ i_6_ i_11_ i_18_ i_17_ [871]
001010 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 i_8_ i_5_ i_21_ [55] [842] [878]
---1- 1
111-1 1
.names [53] [38] [844] [845] [879]
0-1- 1
-1-1 1
.names i_9_ i_17_ i_15_ [85] [847] [849] [880]
---1-- 1
001-1- 1
000--1 1
.names i_9_ i_7_ i_17_ i_15_ [868] [871] [881]
00001- 1
0000-1 1
.names [83] [90] [821] [854] [856] [883]
-11-- 1
1--1- 1
1---1 1
.names i_16_ i_19_ [53] [91] n_n137 [877] [884]
-1-11- 1
-0-11- 1
1-0--1 1
.names [83] [209] [851] [852] [873] [875] [887]
-1---- 1
--11-- 1
1---1- 1
1----1 1
.names [79] [878] [879] [880] [881] [884] [892]
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 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 i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ [901]
00101- 1
0-1010 1
.names i_18_ i_17_ i_21_ n_n276 [896] [897] [903]
---1-- 1
000-11 1
.names i_10_ i_7_ i_8_ i_5_ i_14_ [907]
00100 1
.names i_9_ i_13_ i_18_ i_17_ i_21_ i_15_ [908]
001000 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_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [915]
101000 1
.names i_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [919]
011000 1
.names i_0_ i_15_ [88] [54] [180] [919] [920]
----1- 1
---1-1 1
111--- 1
.names [86] [48] [818] [907] [908] [909] [921]
-11--- 1
---11- 1
1----1 1
.names i_9_ i_3_ i_19_ [55] [83] [854] [925]
----11 1
1111-- 1
.names i_7_ i_8_ i_5_ i_19_ [927]
1--0 1
-0-0 1
--10 1
.names i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [928]
111000 1
.names i_9_ i_7_ i_5_ i_18_ [930]
0100 1
.names i_0_ i_15_ [88] [895] [896] [897] [931]
011--- 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_9_ i_4_ i_12_ [86] [928] [934]
---01 1
1101- 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_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 n_n260 [50] n_n137 [43] [847] [939] [956]
1----- 1
--1-1- 1
-1-1-1 1
.names i_9_ i_21_ [94] [42] [43] [951] [957]
011--- 1
---111 1
.names [89] [209] [851] [852] [949] [950] [959]
-1---- 1
--11-- 1
1---1- 1
1----1 1
.names i_6_ i_16_ [42] [43] [941] [960]
01111 1
10111 1
.names [74] [956] [957] [959] [960] [966]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_5_ i_6_ i_18_ i_17_ i_15_ [971]
11100 1
.names i_9_ i_6_ [55] [33] [36] [973]
111-- 1
-0-11 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_9_ i_8_ i_5_ i_2_ [987]
1100 1
.names i_18_ i_17_ i_15_ [38] [845] [987] [988]
---11- 1
101--1 1
.names i_7_ i_8_ i_5_ [852] [907] [908] [989]
----11 1
1101-- 1
.names [32] [42] [48] [43] [911] [977] [990]
1--11- 1
-11--1 1
.names [32] [42] [47] [48] [980] [983] [991]
-1-11- 1
1-1--1 1
.names i_9_ i_17_ i_15_ i_19_ [55] [85] [992]
1----1 1
1--01- 1
-1-01- 1
--101- 1
.names i_6_ i_16_ [42] [43] [941] [994]
01111 1
10111 1
.names n_n325 [58] [988] [989] [992] [999]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names i_9_ i_7_ i_8_ i_6_ [1000]
0001 1
.names [55] n_n134 n_n137 [847] [850] [851] [1002]
10---- 1
--11-- 1
--0-11 1
.names i_12_ i_4_ [1003]
10 1
.names [90] [821] [895] [896] [897] [1007]
11--- 1
--111 1
.names i_9_ i_4_ i_12_ [1009]
110 1
.names [90] [821] [895] [896] [897] [1010]
11--- 1
--111 1
.names [86] [54] [909] [919] [1011]
1-1- 1
-1-1 1
.names [86] [48] [50] n_n43 [826] [1009] [1012]
1----1 1
-1111- 1
.names i_9_ i_7_ i_8_ i_6_ [1017]
0000 1
.names i_7_ [55] [38] n_n134 [849] [1019]
-1-0- 1
---11 1
1-10- 1
.names i_9_ i_4_ i_12_ i_18_ i_21_ [1022]
01010 1
.names [83] [856] [895] [896] [897] [1027]
11--- 1
--111 1
.names i_9_ i_21_ [38] [50] [43] [939] [1028]
011--- 1
---111 1
.names i_6_ [36] [831] [915] [1029]
111- 1
01-1 1
.names o_19_ n_n134 [47] [50] [849] [1022] [1030]
1----- 1
-1--1- 1
--11-1 1
.names i_12_ o_15_ [38] [841] [842] [845] [1031]
-1---- 1
0-1--- 1
---11- 1
--1--1 1
.names [79] n_n325 [1030] [1031] [1037]
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_16_ i_19_ [55] [91] n_n137 [1039]
11-1-- 1
--1-11 1
--0-11 1
.names i_0_ i_15_ [88] [180] [907] [908] [1041]
---1-- 1
----11 1
111--- 1
.names [62] [74] [50] [829] [974] [1041] [1045]
1----- 1
-1---- 1
-----1 1
--111- 1
.names i_9_ i_17_ i_15_ [55] [847] [849] [1046]
1--1-- 1
-1-1-- 1
--11-- 1
001-1- 1
000--1 1
.end