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

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

.names n26 po0
0 1
.names n22 li0
0 1
.names n23 li1
0 1
.names n24 li2
0 1
.names n25 li3
0 1
.names pi0 lo0 lo1 lo2 lo3 n19
11100 1
.names pi0 lo1 lo2 lo3 n20
0101 1
.names pi0 lo0 lo1 lo2 n21
0111 1
.names n22
 1
.names n23
 1
.names n24
 1
.names n25
 1
.names n19 n20 n21 n26
000 1
.end
