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

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

.names n53 po0
0 1
.names n54 po1
0 1
.names n49 li0
0 1
.names n50 li1
0 1
.names n51 li2
0 1
.names n52 li3
0 1
.names pi0 pi1 pi2 pi3 lo1 lo2 lo3 n24
1011001 1
.names pi0 pi1 pi2 pi3 lo1 lo2 lo3 n25
0011110 1
.names pi0 pi1 pi2 pi3 lo0 lo2 n26
001100 1
.names pi0 pi1 pi2 pi3 lo2 lo3 n27
001111 1
.names pi1 pi2 pi3 lo1 lo3 n28
11100 1
.names pi0 pi1 pi2 pi3 lo0 n29
10110 1
.names pi0 pi1 pi2 pi3 lo0 lo3 n30
001110 1
.names pi1 pi2 pi3 lo1 lo2 n31
11101 1
.names pi0 pi1 lo0 lo3 n32
1010 1
.names pi3 lo1 lo2 lo3 n33
0011 1
.names pi2 lo1 lo2 lo3 n34
0011 1
.names pi1 lo1 lo2 lo3 n35
1011 1
.names pi0 pi1 lo0 lo3 n36
0011 1
.names pi3 lo0 lo3 n37
010 1
.names pi2 lo0 lo3 n38
010 1
.names pi0 pi1 lo0 n39
101 1
.names lo1 lo2 lo3 n40
011 1
.names pi3 lo1 n41
01 1
.names pi2 lo1 n42
01 1
.names pi3 lo0 n43
01 1
.names pi2 lo0 n44
01 1
.names pi3 lo2 n45
01 1
.names pi2 lo2 n46
01 1
.names pi3 lo3 n47
01 1
.names pi2 lo3 n48
01 1
.names n24 n39 n43 n44 n49
0000 1
.names n24 n25 n26 n27 n30 n39 n41 n42 n50
00000000 1
.names n27 n28 n30 n35 n45 n46 n51
000000 1
.names n25 n29 n30 n31 n36 n40 n47 n48 n52
00000000 1
.names n33 n34 n35 n53
000 1
.names n32 n37 n38 n54
000 1
.end
