.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 [77] [836] [837] o_1_
1-- 1
-1- 1
--1 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_19_
000010 1
.names [79] [884] [885] [886] [887] [888] o_2_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n_n276 [897] [898] [904] o_0_
1--- 1
---1 1
-11- 1
.names i_9_ i_17_ i_15_ i_19_ o_23_ [91] o_25_
----1- 1
0011-1 1
0010-1 1
.names [77] [72] [80] [921] 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_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_15_ o_11_
0101000 1
.names i_3_ i_19_ [46] [83] [80] [92] [854] o_27_
----1-- 1
-11---- 1
---1--1 1
11---1- 1
.names i_9_ i_4_ i_12_ [86] [928] [935] [936] o_14_
-----1- 1
------1 1
---01-- 1
1101--- 1
.names [79] [62] [958] [960] [961] [963] o_28_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ o_13_
00101-- 1
01001-1 1
01001-0 1
00001-0 1
0000111 1
0000101 1
.names i_5_ i_6_ i_15_ n_n101 [92] n_n255 n_n58 o_21_
-----1- 1
-1--1-- 1
0011--1 1
1101--1 1
.names [990] [991] [992] [993] [994] [997] o_16_
1----- 1
-1---- 1
--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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ o_23_
1010100 1
.names [62] [50] [829] [974] [1005] o_18_
1---- 1
----1 1
-111- 1
.names [90] [821] [897] [898] [1008] o_24_
----1 1
11--- 1
--11- 1
.names [80] [66] [815] [1004] o_17_
1--- 1
-11- 1
-1-1 1
.names [86] [54] [909] [919] [1012] [1013] [1014] o_20_
----1-- 1
-----1- 1
------1 1
1-1---- 1
-1-1--- 1
.names i_5_ i_18_ i_17_ i_15_ o_13_ [1017] [1019] o_10_
----1-- 1
------1 1
0101-1- 1
1100-1- 1
.names [79] n_n325 [1028] [1029] [1030] [1031] [1032] o_9_
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names i_8_ i_5_ i_18_ i_19_ [46] [83] [1039] o_7_
----1-- 1
------1 1
0111-1- 1
0110-1- 1
.names i_20_ i_14_ o_8_
01 1
.names [62] [50] [829] [974] [1040] o_5_
1---- 1
----1 1
-111- 1
.names [77] [60] [72] [62] n_n324 [1043] o_6_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_8_ i_5_ i_18_ i_19_ o_13_ [83] [1046] o_3_
----1-- 1
------1 1
0111-1- 1
0110-1- 1
.names i_20_ i_14_ o_4_
00 1
.names [48] [50] [65] [827] [829] [831] [77]
--1--1 1
11-1-- 1
11--1- 1
.names i_9_ i_7_ i_5_ i_15_ [89]
0101 1
.names i_18_ i_17_ n_n101
10 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ n_n268
1111100 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [46]
0110101 1
0111100 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_0_ i_15_ n_n283
0000101 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ n_n276
010011 1
.names i_9_ i_4_ i_12_ i_21_ [86] [48] [818] [60]
-----11 1
01001-- 1
.names [54] [32] [43] [911] [915] [72]
1---1 1
-111- 1
.names i_6_ [52] [90] [36] [821] [824] [919] [80]
-1----- 1
--1-1-- 1
1--1-1- 1
0--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_8_ i_5_ i_18_ i_17_ i_15_ [92]
1010100 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ n_n271
0000111 1
.names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [86]
011100 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ n_n255
0110101 1
.names i_6_ i_13_ i_17_ i_16_ i_15_ [42] [43] [62]
1001011 1
0000011 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [52]
01001-0 1
0000111 1
.names i_9_ i_7_ i_8_ n_n58
000 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ [54]
00000 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ n_n265
1110101 1
.names i_7_ i_8_ i_5_ i_6_ i_2_ [50] [829] n_n325
0101111 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_7_ i_8_ i_5_ i_18_ [91]
0001 1
.names i_9_ i_10_ i_8_ i_21_ [50] [974] n_n324
00-011 1
0-0011 1
.names i_18_ i_21_ n_n60
10 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_7_ i_8_ i_5_ [36]
0000 1
.names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [75]
0111010 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [121]
0000100 1
.names i_9_ i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [133]
1100101 1
.names i_9_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [134]
1110100 1
.names i_9_ i_7_ i_5_ i_11_ i_18_ i_17_ i_15_ [150]
0100001 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ i_19_ [151]
0100110 1
.names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [153]
0101011 1
.names i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [165]
1101010 1
.names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_15_ [168]
01000-- 1
010-01- 1
010-0-1 1
.names i_9_ i_7_ i_6_ i_12_ i_18_ i_17_ i_15_ [190]
0000100 1
.names i_9_ i_7_ i_6_ i_4_ i_18_ i_17_ i_15_ [191]
0000100 1
.names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [192]
0101011 1
0111010 1
.names i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [209]
100101 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_11_ i_2_ [815]
0000101 1
.names i_9_ i_18_ i_17_ i_15_ [816]
1101 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_11_ i_2_ [817]
0000110 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_9_ i_10_ i_8_ i_4_ i_12_ i_18_ i_21_ [827]
0111010 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 i_11_ i_2_ [65] [66] [90] [821] [824] [836]
----11- 1
--1---1 1
1011--- 1
.names [89] [48] [66] [815] [816] [818] [833] [837]
--11--- 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ [844]
01100- 1
0110-1 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_9_ i_17_ i_16_ i_15_ i_19_ o_11_ [91] [884]
--1--1- 1
00-11-1 1
00-10-1 1
.names n_n268 [55] [53] [841] [842] [844] [885]
1----- 1
-1---- 1
---11- 1
--0--1 1
.names [46] [83] [85] [868] [871] [886]
1---- 1
--1-- 1
-1-1- 1
-1--1 1
.names n_n265 [190] [191] [209] [887]
1--- 1
-1-- 1
--1- 1
---1 1
.names [83] [90] [192] [821] [854] [856] [888]
--1--- 1
-1-1-- 1
1---1- 1
1----1 1
.names i_9_ i_14_ i_4_ i_17_ i_15_ [897]
00100 1
.names i_7_ i_5_ i_12_ i_18_ i_17_ i_21_ i_15_ [898]
001000- 1
00-0001 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [904]
00101-- 1
0-101-0 1
00001-0 1
0000101 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 [86] [48] [818] [907] [908] [909] [921]
-11--- 1
---11- 1
1----1 1
.names i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [928]
111000 1
.names n_n283 n_n271 [168] [897] [898] [935]
1---- 1
-1--- 1
--1-- 1
---11 1
.names [86] [48] [165] [816] [818] [909] [936]
--1--- 1
-1-1-- 1
-1--1- 1
1----1 1
.names i_12_ i_2_ i_21_ [939]
110 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_12_ [945]
0000010 1
.names i_11_ i_2_ i_18_ i_17_ [951]
1010 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [952]
00-101- 1
0110101 1
.names i_9_ i_7_ i_5_ i_2_ i_18_ i_17_ i_15_ [954]
000-011 1
0100001 1
.names i_7_ i_18_ n_n137 [841] [857] [954] [958]
-----1 1
--1-1- 1
0111-- 1
.names i_6_ i_13_ i_17_ i_16_ i_15_ [42] [43] [960]
0001011 1
1000011 1
.names [42] [50] [43] [153] [939] [951] [952] [961]
---1--- 1
------1 1
-11-1-- 1
1-1--1- 1
.names n_n265 [66] [150] [151] [209] [817] [945] [963]
1------ 1
--1---- 1
---1--- 1
----1-- 1
-1---1- 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 [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_19_ o_23_ [134] [992]
--1 1
01- 1
.names n_n268 n_n265 [133] [907] [908] [993]
1---- 1
-1--- 1
--1-- 1
---11 1
.names i_6_ i_13_ i_17_ i_16_ i_15_ [42] [43] [994]
0001011 1
1000011 1
.names i_6_ [47] [48] [50] [827] [829] [997]
--111- 1
--11-1 1
11-1-1 1
.names i_9_ i_7_ i_8_ i_6_ [1000]
0001 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [1002]
1110101 1
0110101 1
1010100 1
.names i_12_ i_4_ [1003]
10 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_4_ i_12_ [1004]
0000001 1
.names i_9_ i_17_ i_15_ [66] [815] [858] [1004] [1005]
---11-- 1
---1--1 1
001--1- 1
.names [53] [86] [48] [121] [818] [844] [909] [1008]
---1--- 1
--1-1-- 1
0----1- 1
-1----1 1
.names i_9_ i_4_ i_12_ [86] [48] [50] [827] [1012]
----111 1
1101--- 1
.names [54] [32] n_n60 [43] [911] [915] [1003] [1013]
1----1- 1
-1-11-- 1
110---1 1
.names [66] [90] [821] [897] [898] [945] [1014]
-11--- 1
---11- 1
1----1 1
.names i_9_ i_7_ i_8_ i_6_ [1017]
0000 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [1019]
1111100 1
0111100 1
1010100 1
.names i_9_ i_4_ i_12_ i_18_ i_21_ [1022]
01010 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [1024]
00-0010 1
0111100 1
.names i_12_ i_2_ i_21_ [50] [43] [75] [1028]
-----1 1
11011- 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ [831] [915] [1029]
000011- 1
00000-1 1
.names i_7_ i_8_ i_5_ i_2_ [50] [1022] [1024] [1030]
------1 1
010111- 1
.names i_8_ i_5_ i_21_ o_15_ n_n268 [85] [842] [1031]
---1--- 1
----1-- 1
-----1- 1
111---1 1
.names [83] [50] [829] [856] [897] [898] [974] [1032]
1--1--- 1
----11- 1
-11---1 1
.names i_9_ i_17_ i_16_ i_15_ i_19_ [92] [91] [1039]
--1--1- 1
00-11-1 1
00-10-1 1
.names [66] [815] [817] [945] [1004] [1040]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names [52] [66] [817] [907] [908] [945] [1043]
1----- 1
-11--- 1
---11- 1
-1---1 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [1046]
0110101 1
0111100 1
1010100 1
.end