.model top
.inputs dk16_in_0_ dk16_in_1_ clock
.outputs dk16_out_2_ dk16_out_1_ dk16_out_0_
.latch    n_n27 n_n130 re clock 2
.latch    n_n28 n_n131 re clock 2
.latch    n_n29 n_n132 re clock 2
.latch    n_n30 n_n133 re clock 2
.latch    n_n31 n_n134 re clock 2
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 dk16_out_2_
0----11 1
-1---11 1
----011 1
-1101-- 1
-11-11- 1
01-01-1 1
000111- 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 dk16_out_1_
----010 1
-011--0 1
-1--100 1
101-11- 1
100-1-1 1
-1011-0 1
00-01-0 1
10-1-10 1
-001101 1
.names n_n132 n_n133 n_n134 dk16_out_0_
011 1
000 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 n_n27
111-1-- 1
1-000-- 1
11--1-0 1
1--0-00 1
1100-1- 1
1-1011- 1
-00101- 1
0111-0- 1
1-0-011 1
1011--0 1
-1-0110 1
0-01111 1
0010-01 1
100-101 1
-000101 1
0-01001 1
0-01010 1
-000000 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 n_n28
-1000-- 1
011---0 1
01101-- 1
11-011- 1
1-1110- 1
11-000- 1
0-11-11 1
-10-011 1
101--01 1
10-01-0 1
10-1-00 1
01--100 1
101001- 1
1-01111 1
1-01001 1
10010-0 1
0-01110 1
0000111 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 n_n29
-011-0- 1
--1110- 1
1-0011- 1
011-01- 1
01-100- 1
-00-111 1
--01111 1
10-01-0 1
-110-10 1
-1-0110 1
1--1010 1
-0-1100 1
1-01001 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 n_n30
-111--- 1
--101-- 1
-01--0- 1
-1--10- 1
-1--1-0 1
--1--00 1
-0-011- 1
--0001- 1
0--110- 1
111---0 1
0-1-1-0 1
0--01-0 1
---1100 1
-1000-1 1
-00-111 1
10--001 1
10-1010 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 n_n31
11-1--- 1
-1-1-1- 1
-1--10- 1
-1-1--1 1
----100 1
1--101- 1
-01--01 1
0-11--0 1
0--01-0 1
0-011-1 1
--00111 1
1-00-00 1
-100-00 1
111-011 1
.end