.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 [15] [41] dk15_out_0_
1- 1
-1 1
.names [35] [162] dk15_out_4_
1- 1
-1 1
.names dk15_in_2_ [25] dk15_out_3_
11 1
.names [18] [19] dk15_out_2_
1- 1
-1 1
.names [16] [168] dk15_out_1_
1- 1
-1 1
.names [154] [155] n_n25
1- 1
-1 1
.names [20] [45] n_n26
1- 1
-1 1
.names [43] [44] [11]
1- 1
-1 1
.names n_n59 [157] [15]
01 1
.names dk15_in_1_ dk15_in_0_ [20]
10 1
.names dk15_in_1_ dk15_in_0_ [21]
01 1
.names n_n58 n_n59 [22]
0- 1
-0 1
.names dk15_in_2_ n_n59 [24]
0- 1
-1 1
.names [12] [29] [23]
1- 1
-1 1
.names [163] [164] [25]
1- 1
-1 1
.names n_n58 [151] [12]
11 1
.names dk15_in_2_ n_n59 [17]
1- 1
-1 1
.names [39] [40] [26]
1- 1
-1 1
.names dk15_in_1_ [47] [27]
1- 1
-1 1
.names dk15_in_2_ n_n59 [28]
0- 1
-0 1
.names n_n58 [167] [13]
11 1
.names [20] [22] [14]
11 1
.names [11] [21] [16]
11 1
.names [165] [166] [18]
11 1
.names dk15_in_0_ [23] [19]
11 1
.names dk15_in_1_ [17] [29]
11 1
.names n_n58 [20] [31]
01 1
.names dk15_in_0_ n_n59 [32]
00 1
.names dk15_in_1_ n_n58 [33]
01 1
.names [26] [160] [35]
11 1
.names n_n58 [17] [36]
10 1
.names n_n58 [159] [39]
01 1
.names dk15_in_1_ n_n58 [40]
11 1
.names [11] [158] [41]
11 1
.names n_n58 [28] [43]
01 1
.names dk15_in_2_ n_n58 [44]
11 1
.names [27] [156] [45]
11 1
.names dk15_in_0_ n_n58 [47]
01 1
.names [152] [153] [49]
11 1
.names dk15_in_0_ [17] [50]
10 1
.names dk15_in_1_ dk15_in_2_ [151]
00 1
.names n_n58 dk15_in_2_ [152]
01 1
.names [20] n_n59 [153]
11 1
.names [12] [21] [154]
1- 1
-1 1
.names [49] [50] [155]
1- 1
-1 1
.names n_n59 dk15_in_2_ [156]
01 1
.names dk15_in_0_ dk15_in_1_ [157]
11 1
.names dk15_in_0_ dk15_in_1_ [158]
00 1
.names dk15_in_1_ dk15_in_2_ [159]
01 1
.names n_n59 dk15_in_0_ [160]
10 1
.names [12] [15] [161]
1- 1
-1 1
.names [161] [36] [162]
1- 1
-1 1
.names [32] [21] [163]
1- 1
-1 1
.names [31] [33] [164]
1- 1
-1 1
.names dk15_in_0_ dk15_in_1_ [165]
00 1
.names [24] n_n58 [166]
10 1
.names dk15_in_0_ dk15_in_2_ [167]
00 1
.names [14] [13] [168]
1- 1
-1 1
.end