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

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

.names n42 po0
0 1
.names n43 po1
0 1
.names n38 li0
0 1
.names n39 li1
0 1
.names n40 li2
0 1
.names n41 li3
0 1
.names pi0 pi1 lo1 lo2 lo3 n22
01011 1
.names pi0 lo1 lo2 lo3 n23
1110 1
.names pi0 pi1 lo1 lo2 lo3 n24
01110 1
.names pi0 pi1 lo1 lo2 lo3 n25
01101 1
.names pi0 pi1 lo1 lo2 lo3 n26
00001 1
.names pi0 pi1 lo2 lo3 n27
0111 1
.names pi0 pi1 lo1 lo2 lo3 n28
11010 1
.names lo1 lo2 lo3 n29
011 1
.names pi0 pi1 lo1 lo3 n30
0000 1
.names pi0 pi1 lo1 lo2 lo3 n31
00111 1
.names pi0 pi1 lo1 lo3 n32
1010 1
.names pi0 lo1 lo3 n33
110 1
.names pi1 lo1 lo2 lo3 n34
0100 1
.names pi0 pi1 lo2 lo3 n35
1000 1
.names pi0 pi1 lo1 lo3 n36
1001 1
.names lo1 lo2 n37
10 1
.names n24 n25 n26 n27 n28 n30 n31 n33 n34 n35 n36 n38
00000000000 1
.names n22 n24 n26 n28 n31 n32 n35 n36 n39
00000000 1
.names n25 n30 n31 n34 n35 n36 n40
000000 1
.names n23 n25 n26 n27 n34 n41
00000 1
.names n28 n29 n32 n37 n42
0000 1
.names n28 n29 n32 n37 n43
0000 1
.end
