.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 [23] [40] [165] ex4_out_6_
-1- 1
1-1 1
.names n_n85 [21] [47] ex4_out_7_
--1 1
11- 1
.names ex4_in_4_ n_n85 [156] ex4_out_4_
111 1
.names ex4_out_4_ ex4_out_8_ n_n42 ex4_out_5_
1-- 1
-10 1
.names [27] [174] ex4_out_8_
1- 1
-1 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 [162] ex4_out_0_
111 1
.names [24] [176] [177] ex4_out_1_
1-- 1
-11 1
.names ex4_out_7_ [154] [158] n_n39
--1 1
01- 1
.names ex4_out_7_ [42] [160] n_n40
-1- 1
1-1 1
.names [169] [170] n_n41
1- 1
-1 1
.names [30] [32] [172] n_n42
1-- 1
-1- 1
--1 1
.names n_n85 n_n87 [23]
11 1
.names n_n86 n_n87 n_n88 [21]
1-0 1
011 1
.names ex4_in_1_ n_n86 [179] [24]
111 1
.names n_n88 [43] [158] [27]
000 1
.names [43] [158] [171] [30]
1-1 1
-11 1
.names n_n85 n_n86 n_n88 [31]
000 1
.names n_n88 [43] [158] [32]
000 1
.names n_n85 n_n87 [165] [39]
111 1
.names n_n85 n_n88 [166] [40]
001 1
.names n_n86 n_n88 [161] [42]
11- 1
1-0 1
.names ex4_out_7_ n_n86 n_n87 [43]
001 1
.names [155] [156] [157] [44]
0-1 1
-01 1
.names n_n85 n_n87 n_n88 [47]
000 1
.names n_n87 n_n86 [154]
10 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 n_n85 n_n86 [44] [158]
--1 1
01- 1
.names ex4_in_3_ ex4_in_2_ n_n88 [160]
111 1
.names n_n85 ex4_in_0_ [161]
11 1
.names n_n88 n_n86 [162]
01 1
.names ex4_out_7_ ex4_in_0_ [163]
10 1
.names n_n88 n_n85 [164]
10 1
.names n_n88 n_n86 [165]
11 1
.names n_n87 n_n86 [166]
10 1
.names n_n87 [39] [40] [167]
100 1
.names ex4_out_7_ ex4_out_4_ ex4_out_2_ [168]
-1- 1
0-1 1
.names n_n40 [163] [168] [169]
--1 1
11- 1
.names n_n40 [164] [167] [170]
01- 1
1-1 1
.names n_n85 n_n86 n_n88 [171]
11- 1
-11 1
.names n_n85 n_n87 [31] [172]
--1 1
11- 1
.names [21] [155] [156] [174]
1-- 1
-11 1
.names n_n86 n_n85 [176]
11 1
.names n_n88 n_n87 [177]
11 1
.names n_n88 n_n87 [179]
11 1
.end