.model top
.inputs dk512_in clock
.outputs dk512_out_2_ dk512_out_0_ dk512_out_1_
.latch    n_n22 n_n48 re clock 2
.latch    n_n23 n_n49 re clock 2
.latch    n_n24 n_n50 re clock 2
.latch    n_n25 n_n51 re clock 2
.names dk512_in n_n48 n_n49 n_n50 n_n51 dk512_out_2_
--011 1
01-01 1
.names dk512_in n_n49 n_n50 n_n51 dk512_out_0_
1-01 1
-001 1
.names n_n49 n_n50 n_n51 dk512_out_1_
111 1
.names dk512_in n_n48 n_n49 n_n50 n_n51 n_n22
10-1- 1
1-10- 1
10--1 1
11--0 1
01-11 1
.names dk512_in n_n48 n_n49 n_n50 n_n51 n_n23
-1--1 1
-100- 1
--101 1
10--0 1
0-110 1
.names dk512_in n_n48 n_n49 n_n50 n_n51 n_n24
1-1-0 1
1101- 1
-0011 1
-1010 1
-1100 1
.names n_n48 n_n49 n_n50 n_n51 n_n25
-010 1
0-00 1
.end