# Benchmark "ex4.kiss2" written by ABC on Sat Apr 16 17:03:28 2016
.model ex4.kiss2
.inputs pi0 pi1 pi2 pi3 pi4 pi5
.outputs po0 po1 po2 po3 po4 po5 po6 po7 po8

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

.names n63 po0
0 1
.names n64 po1
0 1
.names n65 po2
0 1
.names n66 po3
0 1
.names n67 po4
0 1
.names n68 po5
0 1
.names n69 po6
0 1
.names n70 po7
0 1
.names n71 po8
0 1
.names n59 li0
0 1
.names n60 li1
0 1
.names n61 li2
0 1
.names n62 li3
0 1
.names pi4 lo0 lo1 lo2 lo3 n40
10110 1
.names pi2 lo0 lo2 lo3 n41
1001 1
.names pi1 lo0 lo1 lo3 n42
0100 1
.names pi1 lo0 lo2 lo3 n43
1000 1
.names pi2 pi3 lo0 lo2 lo3 n44
11110 1
.names lo0 lo1 lo2 lo3 n45
0011 1
.names pi1 lo1 lo2 lo3 n46
1000 1
.names lo0 lo1 lo2 lo3 n47
1111 1
.names lo1 lo2 lo3 n48
101 1
.names lo0 lo2 lo3 n49
010 1
.names lo0 lo1 lo2 lo3 n50
1001 1
.names pi5 lo0 lo1 lo2 n51
0101 1
.names lo0 lo2 n52
01 1
.names lo0 lo2 lo3 n53
001 1
.names pi3 lo0 lo2 lo3 n54
0110 1
.names pi2 lo0 lo2 lo3 n55
0110 1
.names lo1 lo2 lo3 n56
010 1
.names lo0 lo1 lo2 n57
010 1
.names pi5 lo0 lo1 lo2 n58
1101 1
.names n42 n43 n52 n53 n54 n55 n57 n58 n59
00000000 1
.names n44 n45 n46 n50 n51 n53 n54 n55 n56 n58 n60
0000000000 1
.names n43 n44 n48 n50 n51 n53 n57 n61
0000000 1
.names n43 n47 n48 n49 n50 n54 n55 n57 n58 n62
000000000 1
.names n44 n46 n47 n51 n54 n55 n56 n57 n58 n63
000000000 1
.names n44 n51 n54 n55 n56 n58 n64
000000 1
.names n45 n50 n65
00 1
.names n46 n47 n57 n66
000 1
.names n46 n67
0 1
.names n41 n68
0 1
.names n51 n53 n58 n69
000 1
.names n40 n50 n70
00 1
.names n58 n71
0 1
.end
