# Benchmark "s8.kiss2" written by ABC on Sat Apr 16 17:03:29 2016
.model s8.kiss2
.inputs pi0 pi1 pi2 pi3
.outputs po0

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

.names n30 po0
0 1
.names n27 li0
0 1
.names n28 li1
0 1
.names n29 li2
0 1
.names pi0 pi2 lo0 lo2 n18
0010 1
.names pi0 pi1 lo1 lo2 n19
0010 1
.names pi3 lo1 lo2 n20
100 1
.names pi3 lo1 lo2 n21
011 1
.names pi1 pi2 lo1 n22
001 1
.names pi2 pi3 lo2 n23
001 1
.names pi1 lo1 lo2 n24
100 1
.names pi2 pi3 lo0 n25
001 1
.names n26
 1
.names n19 n24 n25 n27
000 1
.names n19 n22 n24 n25 n28
0000 1
.names n18 n20 n21 n23 n29
0000 1
.names n26 n30
0 1
.end
