.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 [35] [37] [615] dk16_out_2_
1-- 1
-1- 1
--1 1
.names [33] [73] [26] [27] [619] dk16_out_1_
--1-- 1
---1- 1
----1 1
11--- 1
.names n_n132 n_n133 n_n134 dk16_out_0_
011 1
000 1
.names n_n131 [78] [166] [572] n_n27
--1- 1
---1 1
01-- 1
.names dk16_in_0_ [69] [66] [579] n_n28
---1 1
11-- 1
0-1- 1
.names n_n131 n_n133 [90] [587] [590] n_n29
----1 1
1--1- 1
101-- 1
.names n_n130 [597] [598] [602] [603] n_n30
---1- 1
----1 1
11--- 1
1-1-- 1
.names n_n131 [51] [101] [102] [609] n_n31
-1--- 1
----1 1
0-1-- 1
0--1- 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n134 [16]
1010 1
.names n_n130 n_n131 n_n132 n_n133 n_n134 [21]
000-- 1
0-011 1
.names n_n130 [44] [15] [71] [70] [69]
-1--- 1
1--1- 1
--1-1 1
.names n_n131 [67] [148] [575] [66]
--1- 1
---1 1
01-- 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 n_n132 n_n133 [19]
01 1
.names dk16_in_1_ n_n132 n_n134 [33]
110 1
.names n_n130 n_n131 n_n133 [73]
--0 1
01- 1
.names dk16_in_1_ n_n133 [39] [80] [79] [78]
--1-- 1
-0-1- 1
11--1 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_n132 n_n133 n_n134 [43]
00111 1
.names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [85]
0-11- 1
-001- 1
100-1 1
.names dk16_in_1_ n_n131 n_n132 n_n134 [44]
0010 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 n_n130 n_n134 [63]
11 1
.names dk16_in_0_ dk16_in_1_ n_n132 n_n133 [93]
-0-0 1
1101 1
.names n_n132 n_n133 [15]
11 1
00 1
.names dk16_in_0_ n_n131 n_n132 n_n134 [45]
0010 1
.names dk16_in_0_ n_n130 n_n132 n_n133 [39]
1111 1
.names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [67]
111-- 1
00111 1
.names dk16_in_1_ n_n131 n_n132 n_n133 n_n134 [71]
-110- 1
0--01 1
0001- 1
.names dk16_in_1_ n_n130 n_n131 n_n134 [70]
1-0- 1
-011 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [80]
1---0 1
001-1 1
-0011 1
-0000 1
.names dk16_in_0_ n_n130 n_n132 n_n134 [79]
10-- 1
--10 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n134 [83]
----1 1
0011- 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n134 [90]
-01-- 1
--11- 1
01-0- 1
-0-10 1
1-001 1
.names dk16_in_1_ [45] [39] [31] [26]
01-- 1
0-1- 1
0--1 1
.names n_n132 n_n133 n_n134 [27]
010 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n133 n_n134 [28]
10110 1
.names n_n130 n_n131 n_n134 [31]
110 1
.names dk16_in_1_ n_n130 n_n131 n_n132 n_n133 [35]
1101- 1
11-11 1
.names dk16_in_0_ n_n133 [83] [40] [37]
0--1 1
011- 1
.names dk16_in_1_ n_n131 n_n132 n_n134 [40]
1011 1
.names n_n131 [103] [607] [51]
11- 1
1-1 1
.names n_n132 n_n133 n_n134 [52]
100 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n133 n_n134 [101]
1-000 1
-1000 1
.names n_n130 n_n132 n_n133 n_n134 [102]
0111 1
.names dk16_in_0_ n_n130 n_n132 n_n134 [103]
01-0 1
0011 1
.names dk16_in_0_ dk16_in_1_ n_n132 n_n133 n_n134 [108]
10001 1
.names dk16_in_0_ n_n131 n_n132 n_n133 n_n134 [109]
0110- 1
-1100 1
.names dk16_in_1_ n_n132 n_n133 [126]
110 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n132 n_n133 [128]
01101 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n132 n_n134 [131]
10010 1
.names n_n130 n_n131 n_n132 n_n133 n_n134 [148]
11-11 1
01110 1
.names dk16_in_0_ [21] [566] [166]
11- 1
1-1 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_1_ n_n130 n_n132 n_n133 n_n134 [566]
111-- 1
1-1-0 1
00101 1
.names dk16_in_0_ n_n131 [77] [168] [169] [572]
---1- 1
----1 1
011-- 1
.names dk16_in_1_ n_n130 n_n132 n_n133 n_n134 [575]
11--0 1
1-100 1
.names dk16_in_1_ [16] [21] [65] [579]
1-1- 1
-1-1 1
.names n_n133 n_n131 [585]
10 1
.names dk16_in_0_ n_n130 n_n132 n_n133 n_n134 [587]
-0111 1
1-010 1
.names [43] [89] [128] [131] [585] [590]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names dk16_in_0_ n_n131 n_n132 n_n134 [597]
-01- 1
0-10 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n133 n_n134 [598]
-11-- 1
-0-0- 1
---00 1
11--0 1
.names [33] [43] [45] [108] [126] [602]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n131 [16] [19] [85] [109] [603]
----1 1
-11-- 1
0--1- 1
.names dk16_in_0_ dk16_in_1_ n_n132 n_n133 n_n134 [607]
11--- 1
-1-1- 1
-1--1 1
1-01- 1
.names [63] [93] [45] [52] [126] [609]
--1-- 1
---1- 1
----1 1
11--- 1
.names dk16_in_1_ n_n132 n_n133 n_n134 [615]
1-11 1
-011 1
.names dk16_in_0_ n_n131 n_n133 [17] [28] [619]
----1 1
1--1- 1
-101- 1
.end