.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 [26] [618] [619] dk16_out_1_
1-- 1
-1- 1
--1 1
.names n_n132 n_n133 n_n134 dk16_out_0_
011 1
000 1
.names [165] [166] [167] [571] n_n27
1--- 1
-1-- 1
--1- 1
---1 1
.names [144] [145] [146] [147] n_n28
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n131 [133] [587] [590] n_n29
---1 1
11-- 1
1-1- 1
.names [110] [601] [604] n_n30
1-- 1
-1- 1
--1 1
.names [49] [50] [51] [608] n_n31
1--- 1
-1-- 1
--1- 1
---1 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n134 [16]
1010 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 dk16_in_0_ n_n131 n_n133 [74]
1-- 1
-10 1
.names n_n130 n_n131 n_n133 [73]
--0 1
01- 1
.names dk16_in_1_ n_n131 [58]
01 1
.names n_n130 n_n132 n_n133 [64]
001 1
.names n_n131 n_n133 [60]
10 1
.names n_n133 n_n134 [40] [46] [82]
--1- 1
11-- 1
1--1 1
.names dk16_in_0_ n_n132 n_n134 [84]
01- 1
-10 1
.names dk16_in_1_ n_n131 n_n132 n_n134 [44]
0010 1
.names dk16_in_0_ dk16_in_1_ n_n132 n_n133 [93]
-0-0 1
1101 1
.names dk16_in_0_ n_n134 [55]
10 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 n_n130 n_n132 n_n134 [68]
1-1 1
010 1
.names dk16_in_1_ n_n130 n_n131 n_n134 [70]
1-0- 1
-011 1
.names n_n131 n_n132 n_n133 n_n134 [72]
--01 1
001- 1
.names dk16_in_1_ [17] [55] [81] [80]
-1-- 1
--1- 1
0--1 1
.names dk16_in_0_ n_n130 n_n132 n_n134 [79]
10-- 1
--10 1
.names dk16_in_0_ n_n130 n_n132 n_n134 [81]
01-1 1
-000 1
.names dk16_in_0_ dk16_in_1_ n_n130 n_n134 [91]
01-- 1
1-01 1
.names dk16_in_0_ dk16_in_1_ [95]
1- 1
-1 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 n_n130 n_n131 n_n134 [31]
110 1
.names dk16_in_1_ n_n131 n_n132 n_n134 [40]
1011 1
.names dk16_in_1_ n_n130 n_n131 n_n132 [46]
0011 1
.names n_n130 n_n134 [93] [49]
111 1
.names n_n131 [95] [102] [606] [50]
0-1- 1
01-1 1
.names n_n131 [103] [104] [105] [51]
11-- 1
1-1- 1
1--1 1
.names n_n132 n_n133 n_n134 [52]
100 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 [104]
11-- 1
1-01 1
.names dk16_in_1_ n_n133 n_n134 [105]
11- 1
1-1 1
.names n_n131 [64] [118] [119] [110]
01-- 1
0-1- 1
0--1 1
.names n_n130 [121] [596] [597] [111]
11-- 1
1-1- 1
1--1 1
.names dk16_in_1_ n_n130 n_n132 n_n134 [118]
1001 1
.names dk16_in_1_ n_n132 n_n133 [119]
011 1
.names dk16_in_0_ dk16_in_1_ n_n131 n_n134 [121]
-11- 1
11-0 1
.names dk16_in_1_ n_n132 n_n133 [126]
110 1
.names [33] [141] [142] [585] [129]
1--1 1
-1-1 1
--11 1
.names n_n132 n_n133 [91] [586] [133]
-0-1 1
001- 1
.names n_n130 n_n132 n_n133 n_n134 [134]
0111 1
.names dk16_in_0_ n_n132 n_n133 n_n134 [135]
1010 1
.names dk16_in_0_ n_n130 n_n132 [141]
101 1
.names dk16_in_1_ n_n130 n_n134 [142]
110 1
.names n_n130 n_n132 n_n133 [16] [144]
--01 1
00-1 1
.names dk16_in_0_ [149] [576] [145]
01- 1
0-1 1
.names dk16_in_0_ [157] [578] [146]
11- 1
1-1 1
.names dk16_in_1_ [174] [175] [147]
11- 1
1-1 1
.names n_n131 n_n133 [17] [152] [149]
0--1 1
011- 1
.names dk16_in_1_ n_n130 n_n134 [150]
110 1
.names dk16_in_1_ n_n132 n_n133 n_n134 [151]
1100 1
.names dk16_in_1_ n_n130 n_n132 [152]
111 1
.names dk16_in_1_ n_n130 [72] [162] [157]
-1-1 1
011- 1
.names n_n131 n_n132 n_n133 [162]
110 1
.names [176] [177] [178] [563] [165]
1--1 1
-1-1 1
--11 1
.names dk16_in_0_ [174] [175] [566] [166]
11-- 1
1-1- 1
1--1 1
.names n_n131 n_n133 [80] [570] [167]
0--1 1
001- 1
.names n_n130 n_n131 n_n132 [174]
000 1
.names n_n130 n_n132 n_n133 n_n134 [175]
0011 1
.names dk16_in_1_ n_n130 n_n133 [176]
110 1
.names n_n130 n_n132 n_n133 n_n134 [177]
0010 1
.names n_n130 n_n132 n_n133 n_n134 [178]
0111 1
0001 1
.names n_n131 dk16_in_0_ [563]
10 1
.names dk16_in_1_ n_n130 n_n132 n_n134 [565]
111- 1
1-10 1
.names n_n133 [17] [565] [566]
--1 1
01- 1
.names dk16_in_1_ n_n133 [39] [79] [570]
--1- 1
11-1 1
.names n_n130 [19] [58] [55] [571]
011- 1
1-11 1
.names n_n133 n_n131 [574]
11 1
.names [68] [150] [151] [574] [576]
-1-- 1
--1- 1
1--1 1
.names n_n132 n_n133 [44] [70] [578]
--1- 1
11-1 1
00-1 1
.names dk16_in_1_ dk16_in_0_ [581]
10 1
.names n_n130 n_n132 n_n133 [582]
101 1
.names n_n133 n_n131 [585]
10 1
.names dk16_in_1_ n_n130 n_n132 n_n134 [586]
01-- 1
-11- 1
0-10 1
.names [135] [134] [587]
1- 1
-1 1
.names n_n133 [17] [581] [582] [588]
11-- 1
--11 1
.names dk16_in_0_ [44] [129] [588] [590]
--1- 1
---1 1
11-- 1
.names n_n132 dk16_in_0_ [592]
01 1
.names dk16_in_1_ n_n133 n_n134 [593]
001 1
.names dk16_in_1_ n_n133 n_n134 [596]
00- 1
-00 1
.names dk16_in_0_ n_n131 n_n132 n_n134 [597]
-01- 1
0-10 1
.names [33] [45] [126] [599]
1-- 1
-1- 1
--1 1
.names n_n133 [17] [592] [593] [600]
11-- 1
--11 1
.names [16] [19] [60] [84] [601]
11-- 1
--11 1
.names [111] [599] [600] [604]
1-- 1
-1- 1
--1 1
.names n_n130 n_n133 n_n134 [606]
000 1
.names [45] [52] [126] [608]
1-- 1
-1- 1
--1 1
.names dk16_in_1_ n_n130 n_n132 [611]
111 1
.names dk16_in_1_ n_n132 n_n133 n_n134 [615]
1-11 1
-011 1
.names n_n131 n_n133 [611] [615] [616]
---1 1
0-1- 1
-11- 1
.names [33] [73] [27] [618]
--1 1
11- 1
.names n_n133 [16] [17] [74] [619]
11-- 1
--11 1
.end