.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 [156] ex4_out_4_
111 1
.names ex4_out_4_ ex4_out_8_ [32] [173] ex4_out_5_
1--- 1
-100 1
.names n_n88 [43] [158] [174] ex4_out_8_
---1 1
000- 1
.names n_n85 n_n87 n_n88 ex4_out_2_
110 1
.names ex4_in_3_ ex4_out_2_ n_n86 ex4_out_3_
110 1
.names ex4_in_0_ n_n85 n_n86 n_n88 ex4_out_0_
1110 1
.names [22] [24] ex4_out_1_
1- 1
-1 1
.names [43] [158] n_n39
1- 1
-1 1
.names ex4_out_7_ [42] [160] n_n40
-1- 1
1-1 1
.names [34] [35] [36] [168] n_n41
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n88 [43] [158] [173] n_n42
---1 1
000- 1
.names n_n85 n_n86 n_n87 n_n88 [22]
1111 1
.names ex4_in_1_ n_n86 n_n87 n_n88 [24]
1111 1
.names n_n88 [43] [158] [32]
000 1
.names ex4_in_0_ ex4_out_7_ [42] [160] [34]
011- 1
01-1 1
.names ex4_out_7_ [42] [160] [164] [35]
00-1 1
-001 1
.names ex4_out_7_ [42] [160] [167] [36]
-1-1 1
1-11 1
.names n_n85 n_n86 n_n87 n_n88 [37]
1010 1
.names ex4_in_0_ n_n85 n_n86 n_n88 [42]
0-1- 1
-01- 1
--11 1
.names n_n85 n_n86 n_n87 n_n88 [43]
001- 1
-010 1
.names n_n85 n_n86 [45]
01 1
.names n_n85 ex4_in_4_ [155]
11 1
.names n_n86 n_n87 n_n88 [156]
10- 1
-00 1
.names n_n87 n_n85 [157]
01 1
.names [45] [155] [156] [157] [158]
1--- 1
-0-1 1
--01 1
.names ex4_in_3_ ex4_in_2_ n_n88 [160]
111 1
.names n_n88 n_n85 [164]
10 1
.names n_n85 n_n86 n_n87 n_n88 [167]
011- 1
101- 1
0-11 1
-011 1
1-10 1
-110 1
.names ex4_in_4_ n_n85 [37] [156] [168]
--1- 1
11-1 1
.names n_n85 n_n86 n_n88 [171]
11- 1
-11 1
.names n_n85 n_n86 n_n87 n_n88 [172]
1-1- 1
00-0 1
.names [43] [158] [171] [172] [173]
---1 1
1-1- 1
-11- 1
.names n_n86 n_n87 n_n88 [155] [174]
1-0- 1
011- 1
10-1 1
-001 1
.end