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

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

.names n38 po0
0 1
.names n39 po1
0 1
.names n40 po2
0 1
.names n41 po3
0 1
.names n35 li0
0 1
.names n36 li1
0 1
.names n37 li2
0 1
.names pi0 lo0 lo1 lo2 n23
0001 1
.names pi0 pi2 lo1 lo2 n24
1011 1
.names pi1 pi2 lo0 lo2 n25
0010 1
.names pi1 pi2 lo0 lo1 n26
1010 1
.names pi0 pi1 pi2 lo0 n27
0100 1
.names pi0 pi2 lo0 n28
101 1
.names pi1 pi2 lo0 n29
000 1
.names pi1 lo0 n30
01 1
.names pi1 pi2 lo1 n31
001 1
.names pi0 pi2 lo0 lo1 n32
0011 1
.names pi0 pi2 n33
10 1
.names pi2 n34
1 1
.names n24 n26 n28 n35
000 1
.names n23 n27 n30 n31 n32 n34 n36
000000 1
.names n25 n28 n29 n32 n34 n37
00000 1
.names n23 n34 n38
00 1
.names n25 n26 n27 n31 n32 n33 n39
000000 1
.names n25 n34 n40
00 1
.names n26 n27 n29 n32 n33 n41
00000 1
.end
