.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 [48] [50] [65] [827] [829] [831] [836] [837] o_1_
------1- 1
-------1 1
--1--1-- 1
11-1---- 1
11--1--- 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_15_ o_19_
000010 1
.names [79] [188] [189] [880] [889] [891] o_2_
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names i_9_ i_14_ i_4_ i_17_ i_15_ n_n276 [898] [904] o_0_
-----1-- 1
-------1 1
00100-1- 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ o_25_
1010100- 1
00001011 1
00001010 1
.names [77] [80] [54] [43] [912] [915] [921] o_12_
1------ 1
-1----- 1
------1 1
---11-- 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_ [80] n_n277 [92] [175] o_27_
--1--- 1
---1-- 1
-----1 1
11--1- 1
.names [86] [48] [165] [816] [818] [909] [937] o_14_
--1---- 1
------1 1
-1-1--- 1
-1--1-- 1
1----1- 1
.names n_n273 [79] n_n274 [62] [954] [960] [961] [963] o_28_
1------- 1
-1------ 1
--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_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ o_21_
0110-101 1
00000101 1
00011100 1
10101100 1
.names i_6_ i_16_ [42] [43] [941] [995] [996] [997] o_16_
-----1-- 1
------1- 1
-------1 1
01111--- 1
10111--- 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ o_22_
1110-101 1
0110-101 1
1010-100 1
00001101 1
00011100 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 n_n278 [78] [66] [815] [1004] o_18_
1---- 1
-1--- 1
--11- 1
--1-1 1
.names i_11_ i_18_ i_17_ i_15_ [821] [897] [898] [1008] o_24_
-------1 1
-----11- 1
01011--- 1
.names i_14_ i_18_ i_17_ i_21_ i_15_ [80] [815] [1004] o_17_
-----1-- 1
01010-1- 1
01010--1 1
.names [54] [66] [43] [912] [915] [1003] [1014] [1015] o_20_
------1- 1
-------1 1
--11---- 1
1---1--- 1
11---1-- 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [1020] o_10_
-------1 1
00101--- 1
01001-1- 1
01001-0- 1
00001-0- 1
0000111- 1
0000101- 1
.names i_6_ [79] [47] [50] [829] [1032] [1033] [1034] o_9_
-1------ 1
-----1-- 1
------1- 1
-------1 1
1-111--- 1
.names [71] [51] [1038] o_7_
1-- 1
-1- 1
--1 1
.names i_20_ i_14_ o_8_
01 1
.names [78] [66] [815] [817] [945] [1004] o_5_
1----- 1
-11--- 1
-1-1-- 1
-1--1- 1
-1---1 1
.names [77] [78] [1042] [1043] o_6_
1--- 1
-1-- 1
--1- 1
---1 1
.names i_9_ i_7_ i_5_ i_18_ i_17_ i_0_ i_15_ [1047] o_3_
-------1 1
00101--- 1
01001-1- 1
01001-0- 1
00001-0- 1
0000111- 1
0000101- 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_8_ i_5_ i_18_ i_17_ i_21_ i_15_ n_n273
00111011 1
.names i_9_ i_7_ i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [61]
--100101 1
1110-101 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [68]
00011001 1
00011000 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [71]
00001011 1
00001010 1
.names i_9_ i_4_ i_12_ [86] [90] [861] [862] [863] [79]
----11-- 1
----1-1- 1
---1---1 1
1011---- 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_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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n277
00011001 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ [92]
1010100 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_ i_19_ n_n274
00001010 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_ 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_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_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n278
00001011 1
.names i_6_ i_16_ [42] [47] [50] [43] [829] [941] [78]
0--11-1- 1
111--1-1 1
001--1-1 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ n_n275
00011000 1
.names i_14_ i_13_ i_18_ i_17_ i_15_ [50]
01100 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_7_ i_8_ i_5_ i_18_ i_17_ i_16_ i_15_ [51]
10101010 1
.names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [75]
0111010 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_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [135]
10101000 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_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [175]
01101011 1
01111001 1
.names i_9_ i_7_ i_5_ i_6_ i_2_ i_18_ i_17_ i_15_ [188]
00010100 1
.names i_9_ i_7_ i_5_ i_6_ i_11_ i_18_ i_17_ i_15_ [189]
00010100 1
.names i_9_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [192]
0101011 1
0111010 1
.names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_16_ i_15_ [193]
01010010 1
.names i_9_ i_7_ i_5_ i_11_ i_2_ i_18_ i_17_ i_15_ [213]
01011001 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_ [65] [66] [90] [821] [824] [836]
----11- 1
--1---1 1
1011--- 1
.names [48] [66] [213] [815] [816] [818] [837]
--1--- 1
-1-1-- 1
1---1- 1
1----1 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [878]
-01010-0 1
00111011 1
.names i_9_ i_7_ i_8_ i_5_ i_1_ i_18_ i_17_ i_15_ [879]
1111-100 1
01101000 1
.names i_9_ i_7_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [880]
--110100 1
0110-101 1
0111-100 1
.names i_9_ i_7_ i_6_ i_4_ i_12_ i_18_ i_17_ i_15_ [882]
0000-100 1
000-0100 1
.names [71] [193] [878] [879] [889]
1--- 1
-1-- 1
--1- 1
---1 1
.names [61] [68] [90] [192] [821] [882] [891]
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_14_ i_13_ i_4_ i_12_ i_18_ i_17_ i_21_ i_15_ [912]
00101000 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 i_9_ i_4_ i_12_ [929]
110 1
.names i_9_ i_7_ i_5_ i_1_ i_18_ i_17_ i_0_ i_15_ [932]
01000--- 1
010-01-- 1
010-0--1 1
000-0111 1
.names n_n283 [86] [897] [898] [928] [929] [932] [937]
1------ 1
------1 1
--11--- 1
-0--1-- 1
-1---1- 1
.names i_12_ i_2_ i_21_ [939]
110 1
.names i_9_ i_10_ i_7_ i_8_ i_5_ i_12_ i_2_ i_21_ [940]
01010110 1
.names i_13_ i_17_ i_15_ [941]
000 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_9_ i_7_ i_5_ i_11_ i_18_ i_17_ i_15_ i_19_ [955]
0100001- 1
010-0110 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 [61] [66] [817] [945] [955] [963]
1---- 1
----1 1
-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_7_ i_8_ i_5_ i_14_ i_2_ i_18_ i_17_ i_15_ [984]
01001100 1
.names i_9_ i_7_ i_8_ i_5_ i_2_ i_18_ i_17_ i_15_ [988]
1-100101 1
1111-100 1
.names [42] [48] [43] [912] [977] [980] [983] [984] [995]
--11---- 1
------11 1
11--1--- 1
11---1-- 1
.names n_n265 [134] [135] [907] [908] [988] [996]
1----- 1
-1---- 1
--1--- 1
-----1 1
---11- 1
.names i_6_ [47] [48] [50] [827] [829] [997]
--111- 1
--11-1 1
11-1-1 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_7_ i_8_ i_5_ i_1_ i_18_ i_17_ i_15_ [1006]
0000-100 1
01101000 1
.names i_9_ i_4_ i_12_ i_21_ [86] [48] [818] [1006] [1008]
-------1 1
-----11- 1
01001--- 1
.names i_9_ i_4_ i_12_ [1009]
110 1
.names [66] [90] [821] [897] [898] [945] [1014]
-11--- 1
---11- 1
1----1 1
.names [86] [54] [48] [50] [827] [909] [919] [1009] [1015]
1----1-- 1
-1----1- 1
1------1 1
--111--- 1
.names i_9_ i_7_ i_8_ i_5_ i_6_ i_18_ i_17_ i_15_ [1020]
1111-100 1
0111-100 1
1010-100 1
00000101 1
00010100 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_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_21_ i_15_ [1025]
00-101-0 1
00111011 1
.names i_9_ i_7_ i_8_ i_5_ i_12_ i_18_ i_17_ i_15_ [1026]
--110100 1
1111-100 1
.names n_n275 [50] [829] [897] [898] [974] [1032]
1----- 1
---11- 1
-11--1 1
.names i_6_ [50] [36] [75] [831] [915] [940] [1033]
---1--- 1
-1----1 1
1-1-1-- 1
0-1--1- 1
.names [47] [50] [1022] [1024] [1025] [1026] [1034]
---1-- 1
----1- 1
-----1 1
111--- 1
.names i_9_ i_7_ i_8_ i_5_ i_18_ i_17_ i_15_ i_19_ [1038]
0110101- 1
0111100- 1
00011001 1
00011000 1
.names [86] [54] [48] [43] [818] [909] [912] [915] [1042]
--1-1--- 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_ i_19_ [1047]
0110101- 1
0111100- 1
1010100- 1
00011001 1
00011000 1
.end