.model top
.inputs dk15_in_2_ dk15_in_1_ dk15_in_0_ clock
.outputs dk15_out_0_ dk15_out_4_ dk15_out_3_ dk15_out_2_ dk15_out_1_
.latch    n_n25 n_n58 re clock 2
.latch    n_n26 n_n59 re clock 2
.names dk15_in_1_ dk15_in_0_ n_n59 [11] dk15_out_0_
110- 1
00-1 1
.names dk15_in_0_ n_n59 [26] [162] dk15_out_4_
---1 1
011- 1
.names dk15_in_2_ [25] dk15_out_3_
11 1
.names dk15_in_1_ dk15_in_0_ [23] [166] dk15_out_2_
-11- 1
00-1 1
.names [11] [21] [13] [14] dk15_out_1_
--1- 1
---1 1
11-- 1
.names [50] [152] [153] [154] n_n25
1--- 1
---1 1
-11- 1
.names dk15_in_1_ dk15_in_0_ n_n58 [156] n_n26
10-- 1
1--1 1
-011 1
.names dk15_in_2_ n_n58 n_n59 [11]
11- 1
00- 1
-00 1
.names dk15_in_1_ dk15_in_0_ n_n59 [15]
110 1
.names dk15_in_1_ dk15_in_0_ [21]
01 1
.names dk15_in_2_ dk15_in_1_ n_n58 n_n59 [23]
11-- 1
-1-1 1
001- 1
.names dk15_in_1_ dk15_in_0_ n_n58 n_n59 [25]
01-- 1
0-1- 1
-0-0 1
100- 1
.names dk15_in_2_ dk15_in_1_ n_n58 [12]
001 1
.names dk15_in_2_ dk15_in_1_ n_n58 [26]
-11 1
100 1
.names dk15_in_2_ dk15_in_0_ n_n58 [13]
001 1
.names dk15_in_1_ dk15_in_0_ n_n58 n_n59 [14]
100- 1
10-0 1
.names dk15_in_2_ n_n58 n_n59 [36]
010 1
.names dk15_in_2_ dk15_in_0_ n_n59 [50]
010 1
.names n_n58 dk15_in_2_ [152]
01 1
.names dk15_in_1_ dk15_in_0_ n_n59 [153]
101 1
.names dk15_in_2_ dk15_in_1_ dk15_in_0_ n_n58 [154]
-01- 1
00-1 1
.names n_n59 dk15_in_2_ [156]
01 1
.names [15] [12] [36] [162]
1-- 1
-1- 1
--1 1
.names dk15_in_2_ n_n58 n_n59 [166]
00- 1
-01 1
.end