# Benchmark "dk27.kiss2" written by ABC on Sat Apr 16 17:03:27 2016
.model dk27.kiss2
.inputs pi0
.outputs po0 po1

.latch        li0        lo0  0
.latch        li1        lo1  1
.latch        li2        lo2  0

.names n29 po0
0 1
.names n30 po1
0 1
.names n26 li0
0 1
.names n27 li1
0 1
.names n28 li2
0 1
.names pi0 lo0 lo2 n17
100 1
.names pi0 lo0 lo1 n18
001 1
.names lo0 lo1 lo2 n19
100 1
.names pi0 lo1 lo2 n20
110 1
.names pi0 lo1 n21
10 1
.names pi0 lo1 lo2 n22
101 1
.names pi0 lo1 lo2 n23
111 1
.names pi0 lo0 n24
11 1
.names lo0 lo1 n25
00 1
.names n18 n21 n23 n24 n26
0000 1
.names n17 n19 n22 n25 n27
0000 1
.names n20 n22 n28
00 1
.names n23 n25 n29
00 1
.names n19 n30
0 1
.end
