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

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

.names n43 po0
0 1
.names n44 po1
0 1
.names n39 li0
0 1
.names n40 li1
0 1
.names n41 li2
0 1
.names n42 li3
0 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n22
101111 1
.names pi0 pi1 lo1 lo2 lo3 n23
01010 1
.names pi0 pi1 lo0 lo2 lo3 n24
01111 1
.names pi0 pi1 lo0 lo1 lo3 n25
01111 1
.names pi0 pi1 lo1 lo2 n26
0110 1
.names pi0 lo1 lo2 lo3 n27
0100 1
.names pi0 pi1 lo1 lo3 n28
1101 1
.names pi0 pi1 lo1 lo2 lo3 n29
11011 1
.names pi0 lo2 lo3 n30
000 1
.names pi0 pi1 lo1 lo2 lo3 n31
11101 1
.names pi0 pi1 lo1 lo3 n32
0010 1
.names pi0 lo1 lo3 n33
000 1
.names pi0 pi1 lo1 lo2 lo3 n34
10010 1
.names pi0 pi1 lo0 n35
100 1
.names pi0 pi1 lo0 n36
110 1
.names pi0 pi1 lo1 lo2 n37
1100 1
.names lo0 n38
0 1
.names n22 n24 n29 n31 n32 n33 n34 n35 n36 n37 n39
0000000000 1
.names n24 n26 n28 n34 n35 n40
00000 1
.names n22 n23 n25 n27 n29 n34 n36 n37 n41
00000000 1
.names n25 n29 n30 n31 n34 n35 n42
000000 1
.names n31 n32 n34 n37 n38 n43
00000 1
.names n31 n32 n34 n37 n38 n44
00000 1
.end
