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

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

.names n33 po0
0 1
.names n34 po1
0 1
.names n30 li0
0 1
.names n31 li1
0 1
.names n32 li2
0 1
.names pi0 pi1 lo1 n18
001 1
.names pi0 pi1 lo0 n19
000 1
.names pi0 lo0 lo2 n20
110 1
.names pi1 lo0 lo2 n21
110 1
.names lo0 lo1 lo2 n22
010 1
.names pi0 pi1 lo2 n23
000 1
.names pi1 lo0 lo1 n24
100 1
.names pi0 lo0 lo1 n25
100 1
.names pi1 lo1 lo2 n26
100 1
.names pi0 lo1 lo2 n27
100 1
.names pi1 lo0 n28
11 1
.names pi0 lo0 n29
11 1
.names n26 n27 n28 n29 n30
0000 1
.names n19 n22 n28 n29 n31
0000 1
.names n18 n23 n24 n25 n32
0000 1
.names n20 n33
0 1
.names n21 n34
0 1
.end
