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

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

.names n36 po0
0 1
.names n32 li0
0 1
.names n33 li1
0 1
.names n34 li2
0 1
.names n35 li3
0 1
.names pi1 lo0 lo1 lo3 n20
1000 1
.names pi0 lo2 lo3 n21
111 1
.names pi0 pi1 lo2 n22
101 1
.names pi0 pi1 lo2 lo3 n23
0010 1
.names pi0 lo2 lo3 n24
100 1
.names pi0 lo0 lo2 n25
011 1
.names pi0 lo0 lo2 n26
101 1
.names pi0 pi1 lo0 n27
001 1
.names pi0 pi1 lo0 n28
111 1
.names pi1 lo1 n29
11 1
.names pi0 pi1 lo3 n30
101 1
.names pi1 lo3 n31
11 1
.names n24 n27 n28 n32
000 1
.names n22 n23 n25 n29 n30 n33
00000 1
.names n20 n21 n23 n28 n34
0000 1
.names n26 n27 n30 n31 n35
0000 1
.names n20 n23 n24 n25 n26 n27 n28 n29 n30 n31 n36
0000000000 1
.end
