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

.latch        li0        lo0  0
.latch        li1        lo1  0

.names n32 po0
0 1
.names n33 po1
0 1
.names n34 po2
0 1
.names n35 po3
0 1
.names n36 po4
0 1
.names n30 li0
0 1
.names n31 li1
0 1
.names pi0 pi1 lo0 lo1 n21
1001 1
.names pi0 pi1 lo0 lo1 n22
1100 1
.names pi2 lo0 n23
01 1
.names pi2 lo0 n24
11 1
.names lo0 lo1 n25
00 1
.names lo0 lo1 n26
10 1
.names pi0 lo0 lo1 n27
001 1
.names pi1 lo0 lo1 n28
101 1
.names lo0 lo1 n29
11 1
.names n22 n23 n27 n28 n30
0000 1
.names n21 n22 n29 n31
000 1
.names n22 n24 n27 n28 n32
0000 1
.names n21 n26 n27 n28 n33
0000 1
.names n29 n34
0 1
.names n25 n29 n35
00 1
.names n26 n36
0 1
.end
