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

.latch        li0        lo0  0
.latch        li1        lo1  0

.names n33 po0
0 1
.names n34 po1
0 1
.names n35 po2
0 1
.names n36 po3
0 1
.names n31 li0
0 1
.names n32 li1
0 1
.names pi0 pi1 pi2 pi3 n20
0100 1
.names pi0 pi1 pi2 pi3 n21
0010 1
.names pi0 pi1 pi2 pi3 n22
1000 1
.names pi0 pi1 pi2 pi3 n23
0001 1
.names pi1 pi2 lo0 lo1 n24
1011 1
.names pi1 pi2 lo0 lo1 n25
0111 1
.names pi0 lo0 lo1 n26
111 1
.names pi3 lo0 lo1 n27
111 1
.names lo0 lo1 n28
00 1
.names lo0 lo1 n29
11 1
.names lo0 n30
0 1
.names n30 n31
0 1
.names n28 n29 n32
00 1
.names n22 n26 n33
00 1
.names n20 n24 n34
00 1
.names n21 n25 n35
00 1
.names n23 n27 n36
00 1
.end
