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

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

.names n42 po0
0 1
.names n43 po1
0 1
.names n44 po2
0 1
.names n39 li0
0 1
.names n40 li1
0 1
.names n41 li2
0 1
.names pi0 pi1 lo0 lo1 lo2 n20
11101 1
.names pi0 pi1 lo0 lo1 lo2 n21
01110 1
.names pi1 lo0 lo1 lo2 n22
0011 1
.names pi0 lo0 lo1 lo2 n23
0110 1
.names pi1 lo0 lo1 lo2 n24
1001 1
.names pi0 pi1 lo0 lo1 lo2 n25
00010 1
.names pi0 pi1 lo0 n26
101 1
.names pi1 lo0 lo1 lo2 n27
1011 1
.names pi0 pi1 lo0 lo1 n28
0110 1
.names pi0 pi1 lo1 lo2 n29
0111 1
.names pi0 pi1 lo1 n30
101 1
.names pi0 lo0 lo2 n31
100 1
.names pi0 pi1 lo1 lo2 n32
0101 1
.names pi0 lo0 lo1 n33
100 1
.names pi1 lo1 lo2 n34
100 1
.names pi0 pi1 lo1 lo2 n35
0011 1
.names pi0 pi1 lo1 n36
111 1
.names pi1 lo0 lo1 n37
000 1
.names pi1 lo0 lo2 n38
100 1
.names n20 n21 n27 n29 n31 n33 n39
000000 1
.names n20 n22 n23 n25 n28 n32 n35 n40
0000000 1
.names n21 n22 n25 n28 n32 n35 n37 n38 n41
00000000 1
.names n29 n34 n35 n36 n38 n42
00000 1
.names n24 n25 n26 n30 n43
0000 1
.names n27 n37 n38 n44
000 1
.end
