# Benchmark "lion9.kiss2" written by ABC on Sat Apr 16 17:03:28 2016
.model lion9.kiss2
.inputs pi0 pi1
.outputs po0

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

.names n33 po0
0 1
.names n29 li0
0 1
.names n30 li1
0 1
.names n31 li2
0 1
.names n32 li3
0 1
.names pi0 pi1 lo1 lo3 n20
0001 1
.names pi1 lo3 n21
10 1
.names pi0 pi1 lo1 n22
001 1
.names lo1 lo2 n23
11 1
.names pi0 lo3 n24
00 1
.names pi0 pi1 lo3 n25
111 1
.names pi0 pi1 lo3 n26
101 1
.names pi0 lo1 lo3 n27
011 1
.names lo1 lo3 n28
01 1
.names n20 n29
0 1
.names n21 n22 n26 n27 n30
0000 1
.names n20 n24 n25 n27 n31
0000 1
.names n22 n25 n26 n28 n32
0000 1
.names n23 n25 n26 n27 n28 n33
00000 1
.end
