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

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

.names n44 po0
0 1
.names n45 po1
0 1
.names n40 li0
0 1
.names n41 li1
0 1
.names n42 li2
0 1
.names n43 li3
0 1
.names pi0 pi1 lo1 lo2 lo3 n22
11100 1
.names pi0 lo1 lo2 lo3 n23
0011 1
.names pi0 pi1 lo1 lo2 lo3 n24
10100 1
.names pi0 pi1 lo1 lo3 n25
1110 1
.names pi0 pi1 lo2 lo3 n26
1001 1
.names pi0 pi1 lo1 lo2 lo3 n27
01000 1
.names pi0 pi1 lo1 lo2 lo3 n28
01111 1
.names pi0 pi1 lo1 lo2 lo3 n29
00110 1
.names pi0 pi1 lo1 lo2 lo3 n30
00000 1
.names pi0 pi1 lo0 n31
100 1
.names pi0 pi1 lo1 lo3 n32
1011 1
.names pi0 pi1 lo1 lo2 n33
0001 1
.names pi1 lo1 lo2 lo3 n34
0001 1
.names pi0 pi1 lo2 n35
001 1
.names pi0 lo2 n36
11 1
.names pi0 lo1 lo2 n37
001 1
.names pi0 lo3 n38
10 1
.names pi1 lo0 n39
10 1
.names n24 n25 n27 n30 n32 n34 n35 n37 n39 n40
000000000 1
.names n23 n28 n29 n30 n32 n33 n34 n39 n41
00000000 1
.names n22 n26 n27 n28 n29 n30 n39 n42
0000000 1
.names n24 n27 n28 n29 n31 n33 n34 n43
0000000 1
.names n36 n37 n44
00 1
.names n28 n37 n38 n45
000 1
.end
