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

.latch        li0        lo0  0
.latch        li1        lo1  0

.names n20 po0
0 1
.names n18 li0
0 1
.names n19 li1
0 1
.names pi0 pi1 lo1 n12
101 1
.names pi0 pi1 lo0 n13
010 1
.names pi0 lo0 n14
11 1
.names lo0 lo1 n15
10 1
.names pi1 lo1 n16
01 1
.names pi1 lo0 n17
11 1
.names n12 n15 n17 n18
000 1
.names n13 n14 n16 n19
000 1
.names n13 n15 n16 n17 n20
0000 1
.end
