.model top
.inputs dk14_in_2_ dk14_in_0_ dk14_in_1_ clock
.outputs dk14_out_1_ dk14_out_0_ dk14_out_4_ dk14_out_3_ dk14_out_2_
.latch    n_n28 n_n79 re clock 2
.latch    n_n29 n_n80 re clock 2
.latch    n_n30 n_n81 re clock 2
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 dk14_out_1_
0-0--0 1
-00--0 1
1--0-0 1
0-010- 1
-0010- 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 dk14_out_0_
0--0-1 1
--00-1 1
1---11 1
-0--11 1
11-11- 1
1-111- 1
-0111- 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 dk14_out_4_
---1-0 1
0-11-- 1
11-11- 1
1-111- 1
-0111- 1
11--11 1
1-1-11 1
-01-11 1
0-0-10 1
-00-10 1
11010- 1
010111 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 dk14_out_3_
--10-0 1
-000-1 1
-00-11 1
11-0-0 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 dk14_out_2_
0111-- 1
-0111- 1
11-10- 1
011--1 1
01-0-1 1
01--11 1
-01-11 1
1-1-01 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 n_n28
100--0 1
10-0-0 1
-010-0 1
00110- 1
10010- 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 n_n29
01-1-- 1
0--10- 1
-1-10- 1
0-0--0 1
111-0- 1
1-1-01 1
--1101 1
011--0 1
11-0-0 1
0-1-00 1
-11-00 1
0010-0 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n79 n_n80 n_n81 n_n30
1-0-1- 1
10--0- 1
0101-- 1
-1010- 1
0-10-1 1
010--0 1
-010-0 1
00111- 1
001-11 1
1100-0 1
.end