.model top
.inputs ex1_in_8_ ex1_in_7_ ex1_in_4_ ex1_in_3_ ex1_in_6_ ex1_in_5_ ex1_in_0_ \
ex1_in_2_ ex1_in_1_ clock
.outputs ex1_out_10_ ex1_out_14_ ex1_out_13_ ex1_out_12_ ex1_out_11_ \
ex1_out_7_ ex1_out_8_ ex1_out_5_ ex1_out_6_ ex1_out_9_ ex1_out_18_ ex1_out_0_ \
ex1_out_17_ ex1_out_16_ ex1_out_15_ ex1_out_3_ ex1_out_4_ ex1_out_1_ \
ex1_out_2_
.latch    n_n75 n_n219 re clock 2
.latch    n_n76 n_n220 re clock 2
.latch    n_n77 n_n221 re clock 2
.latch    n_n78 n_n222 re clock 2
.latch    n_n79 n_n223 re clock 2
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_10_
---11--0 1
011-111- 1
011-001- 1
.names ex1_in_4_ ex1_in_1_ ex1_out_17_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_14_
--1----- 1
11--11-- 1
11-00-1- 1
11--001- 1
11-1-10- 1
11--1-01 1
.names ex1_in_7_ ex1_in_6_ ex1_in_5_ n_n219 n_n221 n_n223 ex1_out_13_
000000 1
.names ex1_in_6_ ex1_out_13_ [32] [102] [123] [125] ex1_out_12_
-1---- 1
--1--- 1
----1- 1
-----1 1
0--1-- 1
.names ex1_in_7_ ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_11_
111-1-- 1
11-0-1- 1
11-1-0- 1
110---1 1
1-1-0-0 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 ex1_out_7_
0111-10 1
0110011 1
0111001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n221 n_n222 ex1_out_8_
011110 1
.names n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_5_
1101- 1
10-01 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_6_
01--111- 1
01-0-01- 1
011-001- 1
0111-10- 1
010--101 1
01--1001 1
011001-1 1
.names ex1_in_3_ n_n219 n_n220 n_n221 n_n222 n_n223 ex1_out_9_
1--1-- 1
1---1- 1
11---1 1
1-1--1 1
.names ex1_in_7_ n_n219 n_n221 n_n223 ex1_out_18_
0000 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_0_
010-110- 1
01--0101 1
0110101- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_17_
---11--0 1
11-1-1-- 1
11--0-1- 1
11--1-0- 1
11-0---1 1
1--1-0-0 1
-0-1-0-0 1
0-10-0-0 1
-0-00001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n220 n_n221 n_n222 [40] ex1_out_16_
------1 1
011110- 1
.names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [55] [659] ex1_out_15_
------1- 1
-------1 1
1-11---- 1
10---1-- 1
11---0-- 1
1-001--- 1
111-0--- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_3_
0110001- 1
01101001 1
.names n_n219 n_n220 n_n222 n_n223 ex1_out_4_
1001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 \
ex1_out_1_
011111-- 1
0110-11- 1
0111001- 1
01111-01 1
.names ex1_in_0_ ex1_out_1_ ex1_out_2_
11 1
.names n_n219 [96] [193] [195] [197] [604] n_n75
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names ex1_in_7_ ex1_in_4_ n_n220 n_n221 n_n222 n_n223 [613] [614] n_n76
------1- 1
-------1 1
01111--- 1
011001-- 1
.names ex1_in_4_ n_n221 [90] [88] n_n77
1-1- 1
11-1 1
.names [630] [631] n_n78
1- 1
-1 1
.names ex1_in_7_ ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [633] n_n79
-------1 1
--11--0- 1
01-11--- 1
01-0-1-- 1
010---1- 1
0111-0-- 1
-000001- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 [40]
---11--0 1
-0-1-0-0 1
0-10-0-0 1
-0-00001 1
.names ex1_in_7_ ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [90]
1--1-1-- 1
1---0-1- 1
1---1-0- 1
1--0---1 1
---100-0 1
-1010-1- 1
--10101- 1
-01-001- 1
-1-00-01 1
.names ex1_in_6_ ex1_in_2_ ex1_in_1_ n_n219 n_n220 n_n222 n_n223 [88]
--01--- 1
0---1-- 1
--0--1- 1
-----01 1
-0-0-0- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 n_n223 \
[96]
01-0-1-- 1
01---11- 1
0---00-0 1
010-0-1- 1
01-01-01 1
.names ex1_in_4_ n_n219 n_n220 n_n221 n_n222 n_n223 [32]
-11--0 1
000001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [102]
01--001- 1
0111-10- 1
0--00001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n221 n_n222 [55]
-10-01- 1
11---11 1
-1-0-11 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 [123]
010-111 1
01-0111 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 [125]
0100001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ n_n219 n_n220 n_n221 n_n222 n_n223 [193]
0-00-0-0 1
0100000- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n220 n_n221 n_n222 [195]
0111001 1
.names ex1_in_7_ ex1_in_5_ n_n219 n_n221 n_n223 [197]
01000 1
.names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n220 n_n221 n_n223 \
[604]
01-1-11- 1
-11-0-10 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_5_ ex1_in_1_ n_n219 n_n221 n_n223 \
[613]
1----000 1
--00-000 1
011-111- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [614]
011-0-1- 1
01001--1 1
011-01-1 1
.names ex1_in_7_ ex1_in_4_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 n_n223 [630]
011-1-01 1
01-00001 1
.names ex1_in_7_ ex1_in_4_ ex1_in_6_ ex1_in_1_ n_n219 n_n220 n_n221 n_n222 \
[631]
01-00--1 1
010--0-1 1
01-0-0-1 1
010---11 1
01-0--11 1
01---011 1
01011-1- 1
.names ex1_in_7_ ex1_in_4_ ex1_in_2_ ex1_in_1_ n_n219 n_n221 n_n223 [633]
01-111- 1
-11-010 1
.names ex1_in_7_ ex1_in_5_ n_n219 n_n220 n_n221 n_n222 n_n223 [659]
--1-0-0 1
01--0-0 1
--00001 1
.end