# Benchmark "dk14.kiss2" written by ABC on Sat Apr 16 17:03:27 2016
.model dk14.kiss2
.inputs pi0 pi1 pi2
.outputs po0 po1 po2 po3 po4

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

.names n55 po0
0 1
.names n56 po1
0 1
.names n57 po2
0 1
.names n58 po3
0 1
.names n59 po4
0 1
.names n52 li0
0 1
.names n53 li1
0 1
.names n54 li2
0 1
.names pi0 pi1 pi2 lo1 lo2 n25
01001 1
.names pi0 pi1 pi2 lo1 lo2 n26
11001 1
.names pi0 pi2 lo0 lo1 n27
1011 1
.names pi0 pi1 lo0 lo1 n28
0000 1
.names pi0 pi1 pi2 lo0 n29
0100 1
.names pi1 pi2 lo0 lo1 n30
0000 1
.names pi0 pi1 lo0 lo1 n31
1001 1
.names pi0 pi1 pi2 lo0 lo2 n32
11010 1
.names pi0 pi1 pi2 lo2 n33
1010 1
.names pi1 pi2 lo1 lo2 n34
0110 1
.names pi0 pi1 pi2 lo1 n35
1000 1
.names pi0 pi2 lo0 lo2 n36
1110 1
.names pi1 pi2 lo1 lo2 n37
1101 1
.names pi0 pi1 lo0 lo1 n38
1111 1
.names pi0 pi1 pi2 lo2 n39
0110 1
.names pi0 pi2 lo1 lo2 n40
1101 1
.names pi0 pi2 lo1 n41
011 1
.names pi1 pi2 lo1 n42
010 1
.names pi0 pi1 lo2 n43
010 1
.names pi0 pi1 lo1 n44
000 1
.names pi0 pi1 lo1 lo2 n45
0111 1
.names pi0 pi2 lo0 lo2 n46
1100 1
.names pi0 pi2 lo0 lo1 n47
1101 1
.names pi1 lo1 lo2 n48
011 1
.names pi1 pi2 lo0 lo2 n49
1000 1
.names pi1 pi2 lo0 lo1 n50
1001 1
.names pi1 pi2 lo1 n51
001 1
.names n26 n35 n45 n46 n47 n48 n49 n50 n51 n52
000000000 1
.names n25 n27 n29 n31 n32 n34 n42 n45 n53
00000000 1
.names n32 n34 n36 n37 n38 n39 n40 n44 n45 n46 n47 n48 n49 n50 n51 n54
000000000000000 1
.names n28 n30 n33 n34 n43 n46 n47 n49 n50 n55
000000000 1
.names n25 n26 n37 n40 n51 n56
00000 1
.names n32 n36 n38 n39 n41 n49 n50 n57
0000000 1
.names n26 n35 n40 n44 n58
0000 1
.names n45 n46 n47 n48 n49 n50 n51 n59
0000000 1
.end
