.model top
.inputs ex4_in_5_ ex4_in_3_ ex4_in_4_ ex4_in_1_ ex4_in_2_ ex4_in_0_ clock
.outputs ex4_out_6_ ex4_out_7_ ex4_out_4_ ex4_out_5_ ex4_out_8_ ex4_out_2_ \
ex4_out_3_ ex4_out_0_ ex4_out_1_
.latch    n_n39 n_n85 re clock 2
.latch    n_n40 n_n86 re clock 2
.latch    n_n41 n_n87 re clock 2
.latch    n_n42 n_n88 re clock 2
.names n_n85 n_n86 n_n87 n_n88 ex4_out_6_
1111 1
0010 1
.names n_n85 n_n86 n_n87 n_n88 ex4_out_7_
11-0 1
0-00 1
1011 1
.names ex4_in_4_ n_n85 n_n86 n_n87 n_n88 ex4_out_4_
1110- 1
11-00 1
.names ex4_in_4_ n_n85 n_n86 n_n87 n_n88 ex4_out_5_
-01-0 1
1110- 1
-0011 1
11-00 1
.names ex4_in_4_ n_n85 n_n86 n_n87 n_n88 ex4_out_8_
--1-0 1
--011 1
1110- 1
11-00 1
-0000 1
.names n_n85 n_n87 n_n88 ex4_out_2_
110 1
.names ex4_in_3_ n_n85 n_n86 n_n87 n_n88 ex4_out_3_
11010 1
.names ex4_in_0_ n_n85 n_n86 n_n88 ex4_out_0_
1110 1
.names ex4_in_1_ n_n85 n_n86 n_n87 n_n88 ex4_out_1_
1-111 1
-1111 1
.names ex4_in_4_ n_n85 n_n86 n_n87 n_n88 n_n39
-01-- 1
-001- 1
01-0- 1
--010 1
-1001 1
.names ex4_in_3_ ex4_in_2_ ex4_in_0_ n_n85 n_n86 n_n87 n_n88 n_n40
--0-1-- 1
---01-- 1
----1-1 1
11-1011 1
.names ex4_in_3_ ex4_in_4_ ex4_in_2_ ex4_in_0_ n_n85 n_n86 n_n87 n_n88 n_n41
----011- 1
----00-1 1
-1--110- 1
---011-0 1
---0-110 1
----1010 1
-1--1-00 1
---00100 1
1-1-1011 1
.names ex4_in_4_ n_n85 n_n86 n_n87 n_n88 n_n42
-1-1- 1
-01-1 1
-00-0 1
0110- 1
11-00 1
.end