.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 [43] [44] [156] [157] dk14_out_1_
1--- 1
-1-- 1
--11 1
.names dk14_out_1_ n_n28 [167] [172] dk14_out_0_
---1 1
001- 1
.names [23] [183] dk14_out_4_
1- 1
-1 1
.names dk14_in_0_ dk14_in_1_ dk14_out_1_ [164] dk14_out_3_
---1 1
000- 1
.names [23] [183] [185] [186] dk14_out_2_
---1 1
1-1- 1
-11- 1
.names [40] [164] [165] [166] n_n28
---1 1
1-1- 1
-11- 1
.names [30] [31] n_n29
1- 1
-1 1
.names [25] [26] [29] [177] n_n30
1--- 1
-1-- 1
--1- 1
---1 1
.names dk14_in_2_ dk14_in_0_ [16]
0- 1
-1 1
.names dk14_in_2_ dk14_in_0_ dk14_out_1_ [15]
1-- 1
-0- 1
--1 1
.names dk14_in_1_ dk14_out_1_ [19]
00 1
.names [15] [40] [164] [20]
000 1
.names n_n28 [19] [168] [172] [23]
11-0 1
-100 1
.names n_n28 [168] [172] [174] [25]
1-01 1
-001 1
.names n_n28 [168] [172] [175] [26]
--11 1
01-1 1
.names [40] [164] [165] [166] [29]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names n_n28 [168] [172] [173] [30]
1-01 1
-001 1
.names n_n28 [16] [168] [172] [31]
11-0 1
-100 1
.names dk14_in_2_ n_n79 n_n81 [34]
001 1
.names dk14_in_1_ n_n79 n_n81 [39]
100 1
.names dk14_in_0_ dk14_in_1_ dk14_out_1_ [40]
000 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n81 [43]
0-00 1
-000 1
.names dk14_in_2_ n_n79 n_n81 [44]
100 1
.names n_n79 dk14_in_1_ [156]
10 1
.names dk14_in_2_ dk14_in_0_ n_n80 [157]
0-0 1
-00 1
.names dk14_in_0_ n_n79 n_n80 [162]
010 1
.names dk14_in_2_ dk14_in_0_ dk14_out_1_ [39] [164]
---1 1
111- 1
.names n_n81 dk14_in_0_ [165]
00 1
.names dk14_in_2_ dk14_in_0_ dk14_out_1_ [162] [166]
101- 1
0-01 1
.names n_n80 dk14_in_0_ [167]
10 1
.names dk14_in_0_ dk14_out_1_ n_n80 [168]
001 1
.names dk14_in_2_ dk14_out_1_ n_n80 [34] [171]
---1 1
101- 1
.names dk14_in_1_ dk14_out_1_ n_n79 [171] [172]
---1 1
000- 1
.names n_n81 dk14_in_1_ [173]
11 1
.names dk14_in_1_ dk14_in_0_ [174]
01 1
.names dk14_in_1_ dk14_in_2_ [175]
10 1
.names dk14_in_2_ dk14_in_0_ dk14_in_1_ n_n80 [177]
1-01 1
10-0 1
.names dk14_in_2_ dk14_in_0_ dk14_out_1_ n_n80 [180]
1--1 1
-0-1 1
--11 1
.names dk14_in_2_ dk14_in_1_ n_n79 n_n81 [182]
--10 1
011- 1
.names [40] [164] [180] [182] [183]
---1 1
001- 1
.names dk14_out_1_ dk14_in_2_ [184]
01 1
.names dk14_in_0_ n_n28 [168] [172] [185]
0--1 1
001- 1
.names [20] [30] [31] [184] [186]
1--- 1
-1-1 1
--11 1
.end