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

.latch        li0        lo0  1
.latch        li1        lo1  0

.names n41 po0
0 1
.names n42 po1
0 1
.names n43 po2
0 1
.names n44 po3
0 1
.names n45 po4
0 1
.names n39 li0
0 1
.names n40 li1
0 1
.names pi0 pi1 pi2 lo0 n21
0011 1
.names pi0 pi2 lo0 lo1 n22
1000 1
.names pi0 pi1 pi2 lo0 lo1 n23
10011 1
.names pi0 pi1 pi2 lo0 n24
0010 1
.names pi0 pi1 pi2 lo1 n25
1010 1
.names pi0 pi1 pi2 lo0 n26
1010 1
.names pi1 pi2 lo0 lo1 n27
1001 1
.names pi0 pi1 pi2 lo0 n28
0001 1
.names pi0 pi1 pi2 lo0 n29
1101 1
.names pi1 pi2 lo1 n30
110 1
.names pi0 pi1 pi2 n31
101 1
.names pi1 pi2 lo1 n32
111 1
.names pi0 pi1 pi2 lo1 n33
1110 1
.names pi0 pi2 lo0 n34
000 1
.names pi0 pi1 pi2 lo1 n35
1000 1
.names pi0 pi1 pi2 lo0 n36
1000 1
.names pi0 pi1 pi2 lo1 n37
1100 1
.names pi0 pi1 pi2 n38
010 1
.names n23 n27 n28 n32 n33 n35 n36 n37 n38 n39
000000000 1
.names n22 n27 n29 n33 n38 n40
00000 1
.names n23 n24 n27 n30 n34 n41
00000 1
.names n29 n31 n35 n36 n37 n42
00000 1
.names n23 n24 n28 n32 n33 n43
00000 1
.names n21 n25 n26 n29 n34 n37 n38 n44
0000000 1
.names n28 n30 n35 n36 n45
0000 1
.end
