.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_ [82] [616] dk16_out_2_
--1 1
01- 1
.names dk16_in_1_ [17] [75] [74] [28] [618] dk16_out_1_
----1- 1
-----1 1
0-1--- 1
-1-1-- 1
.names n_n132 n_n133 n_n134 dk16_out_0_
011 1
000 1
.names n_n131 [78] [573] n_n27
--1 1
01- 1
.names dk16_in_0_ [16] [69] [66] [65] [147] n_n28
-----1 1
1-1--- 1
0--1-- 1
-1--1- 1
.names n_n131 n_n133 [89] [88] [131] [588] n_n29
----1- 1
-----1 1
1--1-- 1
011--- 1
.names n_n130 [86] [110] [599] [600] [601] n_n30
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names n_n131 [96] [94] [49] [608] n_n31
---1- 1
----1 1
11--- 1
0-1-- 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n134 [16]
1010 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [69]
1-011- 1
-1110- 1
1-000- 1
01--01 1
0-01-0 1
01001- 1
-01111 1
-01001 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [66]
11---0 1
1101-- 1
-11-11 1
1--100 1
-01110 1
000111 1
.names n_n130 n_n132 n_n133 [65]
--0 1
00- 1
.names dk16_in_1_ n_n130 n_n132 n_n134 [17]
0011 1
.names dk16_in_0_ n_n130 n_n131 n_n132 n_n133 n_n134 [75]
-11--0 1
11-11- 1
0-01-0 1
.names dk16_in_0_ n_n131 n_n133 [74]
1-- 1
-10 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [78]
1---00 1
110-1- 1
1-111- 1
-1-110 1
001-01 1
-00101 1
-00000 1
.names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [77]
11-0- 1
-0111 1
-0001 1
-0010 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [76]
11-1-- 1
-000-- 1
1--1-0 1
-0-011 1
00-101 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [82]
----11 1
1-01-1 1
00111- 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [86]
-11--- 1
--01-- 1
-0--0- 1
----00 1
11---0 1
0--1-0 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [89]
1-01- 1
-11-0 1
-1-10 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [88]
-01-0- 1
--110- 1
01-00- 1
--0111 1
1--010 1
-0-100 1
1-0001 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [96]
11---- 1
-1--1- 1
-1---1 1
1--01- 1
0-1--0 1
0-01-1 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [94]
--0111 1
1-0-00 1
-10-00 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n133 n_n134 [28]
10110 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [49]
-01-01 1
111011 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [110]
0-011- 1
-0001- 1
1000-1 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n134 [131]
10010 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [147]
1000-- 1
10-011 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 [168]
00101 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n131 n_n134 [169]
10110 1
.names dk16_in_0_ n_n131 [77] [76] [168] [169] [573]
----1- 1
-----1 1
1--1-- 1
011--- 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [588]
01101- 1
-00111 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [599]
-1-10- 1
-1-1-0 1
0-01-0 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [600]
-00111 1
10-001 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [601]
0-110- 1
--1100 1
101010 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [608]
-1-10- 1
---100 1
0-01-0 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [616]
1---11 1
---011 1
1101-- 1
11-11- 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 n_n134 [618]
---010 1
1--100 1
1011-0 1
.end