.model top
.inputs dk27_in clock
.outputs dk27_out_0_ dk27_out_1_
.latch    n_n16 n_n31 re clock 2
.latch    n_n17 n_n32 re clock 2
.latch    n_n18 n_n33 re clock 2
.names n_n32 n_n33 dk27_out_0_
10 1
.names dk27_in n_n31 n_n32 n_n33 dk27_out_1_
1-11 1
-001 1
.names dk27_in n_n31 n_n32 n_n33 n_n16
110- 1
1-01 1
1-10 1
.names dk27_in n_n31 n_n32 n_n33 n_n17
11-1 1
-011 1
-000 1
.names dk27_in n_n31 n_n32 n_n33 n_n18
01-- 1
-10- 1
1-00 1
.end