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

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

.names n46 po0
0 1
.names n47 po1
0 1
.names n48 po2
0 1
.names n42 li0
0 1
.names n43 li1
0 1
.names n44 li2
0 1
.names n45 li3
0 1
.names pi0 lo0 lo1 lo3 n23
0101 1
.names pi0 lo0 lo1 lo2 lo3 n24
11100 1
.names pi0 lo0 lo1 lo2 lo3 n25
00100 1
.names pi0 lo0 lo1 lo2 n26
1100 1
.names pi0 lo0 lo1 lo3 n27
1011 1
.names pi0 lo1 lo2 lo3 n28
0011 1
.names pi0 lo0 lo1 lo3 n29
1000 1
.names pi0 lo0 lo2 lo3 n30
0110 1
.names lo0 lo1 lo2 lo3 n31
0010 1
.names lo0 lo1 lo2 n32
101 1
.names lo1 lo2 lo3 n33
110 1
.names pi0 lo1 lo2 lo3 n34
1010 1
.names pi0 lo0 lo1 lo2 n35
1011 1
.names pi0 lo0 lo2 n36
000 1
.names pi0 lo2 lo3 n37
111 1
.names lo0 lo2 lo3 n38
000 1
.names pi0 lo0 lo2 n39
100 1
.names lo0 lo1 lo2 n40
011 1
.names pi0 lo0 lo2 n41
110 1
.names n24 n25 n34 n35 n39 n42
00000 1
.names n24 n28 n29 n34 n35 n37 n43
000000 1
.names n30 n36 n38 n41 n44
0000 1
.names n25 n27 n28 n30 n31 n40 n41 n45
0000000 1
.names n23 n32 n46
00 1
.names n33 n47
0 1
.names n26 n31 n48
00 1
.end
