# Benchmark "modulo12.kiss2" written by ABC on Sat Apr 16 17:03:29 2016
.model modulo12.kiss2
.inputs pi0
.outputs po0

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

.names n35 po0
0 1
.names n31 li0
0 1
.names n32 li1
0 1
.names n33 li2
0 1
.names n34 li3
0 1
.names pi0 lo1 lo3 n19
101 1
.names pi0 lo2 lo3 n20
101 1
.names lo1 lo2 lo3 n21
110 1
.names pi0 lo0 lo3 n22
100 1
.names lo0 lo2 lo3 n23
100 1
.names pi0 lo0 lo1 n24
100 1
.names pi0 lo0 lo2 n25
100 1
.names pi0 lo1 n26
01 1
.names pi0 lo2 n27
01 1
.names pi0 lo3 n28
01 1
.names pi0 lo0 n29
01 1
.names lo0 lo3 n30
11 1
.names n24 n25 n29 n31
000 1
.names n19 n23 n24 n26 n32
0000 1
.names n20 n21 n25 n27 n33
0000 1
.names n22 n28 n30 n34
000 1
.names n35
 1
.end
