.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_ [75] [620] dk16_out_1_
--1 1
01- 1
.names n_n132 n_n133 n_n134 dk16_out_0_
011 1
000 1
.names [166] [167] [572] n_n27
1-- 1
-1- 1
--1 1
.names [145] [146] [579] n_n28
1-- 1
-1- 1
--1 1
.names [129] [130] [589] n_n29
1-- 1
-1- 1
--1 1
.names [110] [601] [604] n_n30
1-- 1
-1- 1
--1 1
.names [51] [610] n_n31
1- 1
-1 1
.names n_n130 [42] [174] [21]
--1 1
01- 1
.names n_n130 n_n132 n_n133 [65]
--0 1
00- 1
.names n_n132 n_n133 [19]
01 1
.names dk16_in_1_ n_n132 n_n134 [33]
110 1
.names [45] [39] [31] [75]
1-- 1
-1- 1
--1 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 [21] [171] [565] [76]
1-- 1
-1- 1
--1 1
.names n_n132 n_n133 n_n134 [42]
011 1
.names n_n131 n_n133 [60]
10 1
.names n_n133 [83] [40] [82]
--1 1
11- 1
.names [18] [126] [591] [23]
-1- 1
1-1 1
.names n_n133 [54] [564] [43]
111 1
.names dk16_in_1_ n_n133 [59]
00 1
.names dk16_in_0_ n_n132 n_n134 [84]
01- 1
-10 1
.names [33] [141] [142] [89]
1-- 1
-1- 1
--1 1
.names n_n132 n_n134 [18]
10 1
.names [19] [59] [605] [93]
-1- 1
1-1 1
.names n_n132 n_n133 [56]
11 1
.names n_n132 n_n133 [15]
11 1
00 1
.names dk16_in_0_ n_n134 [55]
10 1
.names n_n130 n_n134 [54]
01 1
.names n_n132 n_n134 [591] [45]
101 1
.names n_n132 n_n133 [567] [39]
111 1
.names n_n130 n_n132 n_n134 [68]
1-1 1
010 1
.names n_n134 [58] [614] [83]
1-- 1
-11 1
.names dk16_in_0_ n_n131 n_n134 [87]
-1- 1
1-0 1
.names n_n130 n_n132 n_n134 [92]
1-- 1
-10 1
.names dk16_in_1_ n_n132 n_n133 [98]
1-- 1
-01 1
.names n_n130 n_n132 n_n134 [97]
1-0 1
011 1
.names [74] [54] [564] [25]
111 1
.names n_n132 n_n133 n_n134 [27]
010 1
.names n_n133 [58] [55] [28]
111 1
.names n_n130 n_n131 n_n134 [31]
110 1
.names n_n131 n_n133 [611] [35]
0-1 1
-11 1
.names dk16_in_1_ n_n133 n_n134 [36]
111 1
.names dk16_in_1_ n_n132 [613] [40]
111 1
.names n_n130 n_n134 [93] [49]
111 1
.names n_n131 [101] [102] [50]
01- 1
0-1 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_ [606] [101]
1-1 1
-11 1
.names n_n132 n_n133 [54] [102]
111 1
.names dk16_in_0_ [97] [103]
01 1
.names dk16_in_1_ n_n133 n_n134 [105]
11- 1
1-1 1
.names n_n131 [119] [595] [110]
01- 1
0-1 1
.names n_n130 [597] [598] [111]
11- 1
1-1 1
.names [19] [58] [55] [112]
111 1
.names dk16_in_1_ n_n132 n_n133 [119]
011 1
.names dk16_in_0_ n_n132 n_n134 [122]
010 1
.names dk16_in_1_ n_n132 n_n133 [126]
110 1
.names dk16_in_0_ dk16_in_1_ [582] [128]
011 1
.names n_n131 n_n133 [89] [129]
011 1
.names n_n131 [133] [587] [130]
11- 1
1-1 1
.names dk16_in_0_ [18] [577] [131]
111 1
.names n_n133 [136] [586] [133]
01- 1
0-1 1
.names n_n132 n_n133 [54] [134]
111 1
.names n_n132 [139] [140] [136]
01- 1
0-1 1
.names n_n130 n_n132 [138]
11 1
.names dk16_in_0_ n_n130 n_n134 [139]
101 1
.names dk16_in_0_ dk16_in_1_ [140]
01 1
.names dk16_in_0_ n_n130 n_n132 [141]
101 1
.names dk16_in_1_ n_n130 n_n134 [142]
110 1
.names [65] [58] [55] [144]
111 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 n_n131 [43] [152] [149]
01- 1
0-1 1
.names dk16_in_1_ n_n130 n_n134 [150]
110 1
.names dk16_in_1_ n_n130 n_n132 [152]
111 1
.names [15] [159] [160] [156]
11- 1
1-1 1
.names n_n130 [161] [162] [157]
11- 1
1-1 1
.names n_n130 n_n131 n_n134 [159]
011 1
.names dk16_in_1_ n_n131 [160]
10 1
.names dk16_in_1_ [163] [164] [161]
01- 1
0-1 1
.names n_n131 n_n132 n_n133 [162]
110 1
.names n_n131 n_n132 n_n133 [163]
001 1
.names n_n133 n_n134 [164]
01 1
.names [178] [562] [563] [165]
1-1 1
-11 1
.names dk16_in_0_ [76] [166]
11 1
.names n_n131 [182] [570] [167]
01- 1
0-1 1
.names dk16_in_1_ n_n131 [64] [168]
011 1
.names n_n130 [58] [55] [169]
111 1
.names dk16_in_1_ n_n130 n_n132 [170]
111 1
.names n_n133 [54] [564] [171]
011 1
.names n_n130 n_n131 n_n132 [174]
000 1
.names dk16_in_1_ n_n130 n_n133 [176]
110 1
.names n_n132 n_n133 [54] [178]
111 1
001 1
.names [18] [184] [568] [181]
1-1 1
-11 1
.names n_n133 [186] [569] [182]
01- 1
0-1 1
.names dk16_in_0_ n_n130 [184]
10 1
.names dk16_in_1_ [189] [190] [186]
01- 1
0-1 1
.names dk16_in_0_ n_n130 n_n134 [189]
011 1
.names n_n130 n_n132 n_n134 [190]
000 1
.names n_n134 [64] [176] [562]
--1 1
01- 1
.names n_n131 dk16_in_0_ [563]
10 1
.names n_n132 dk16_in_1_ [564]
10 1
.names [170] [33] [565]
1- 1
-1 1
.names n_n130 dk16_in_0_ [567]
11 1
.names n_n133 dk16_in_1_ [568]
11 1
.names [55] [54] [564] [569]
1-- 1
-11 1
.names [56] [181] [567] [570]
-1- 1
1-1 1
.names [165] [168] [169] [572]
1-- 1
-1- 1
--1 1
.names n_n133 n_n131 [574]
11 1
.names n_n133 [33] [150] [575]
--1 1
01- 1
.names [68] [574] [575] [576]
--1 1
11- 1
.names n_n131 dk16_in_1_ [577]
00 1
.names [18] [156] [577] [578]
-1- 1
1-1 1
.names dk16_in_1_ [21] [144] [579]
--1 1
11- 1
.names n_n130 n_n132 n_n133 [582]
101 1
.names dk16_in_1_ [92] [138] [586]
--1 1
01- 1
.names [19] [55] [134] [587]
--1 1
11- 1
.names [43] [128] [131] [589]
1-- 1
-1- 1
--1 1
.names n_n131 dk16_in_0_ [591]
00 1
.names n_n132 dk16_in_0_ [592]
01 1
.names dk16_in_1_ n_n133 n_n134 [593]
001 1
.names n_n132 dk16_in_1_ [594]
01 1
.names [64] [54] [594] [595]
1-- 1
-11 1
.names dk16_in_1_ n_n133 n_n134 [596]
00- 1
-00 1
.names n_n131 n_n132 [122] [597]
--1 1
01- 1
.names dk16_in_1_ [87] [596] [598]
--1 1
11- 1
.names [23] [33] [599]
1- 1
-1 1
.names [43] [592] [593] [600]
1-- 1
-11 1
.names [60] [84] [112] [601]
--1 1
11- 1
.names [111] [599] [600] [604]
1-- 1
-1- 1
--1 1
.names dk16_in_1_ dk16_in_0_ [605]
11 1
.names n_n130 n_n133 n_n134 [606]
000 1
.names dk16_in_0_ [98] [105] [607]
--1 1
11- 1
.names [23] [52] [608]
1- 1
-1 1
.names [49] [50] [608] [610]
1-- 1
-1- 1
--1 1
.names dk16_in_1_ n_n130 n_n132 [611]
111 1
.names n_n134 n_n131 [613]
10 1
.names n_n132 n_n130 [614]
10 1
.names [42] [35] [36] [616]
1-- 1
-1- 1
--1 1
.names [33] [73] [27] [618]
--1 1
11- 1
.names [25] [28] [618] [620]
1-- 1
-1- 1
--1 1
.end