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

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

.names n71 po0
0 1
.names n72 po1
0 1
.names n73 po2
0 1
.names n74 po3
0 1
.names n75 po4
0 1
.names n76 po5
0 1
.names n77 po6
0 1
.names n67 li0
0 1
.names n68 li1
0 1
.names n69 li2
0 1
.names n70 li3
0 1
.names pi1 pi3 pi4 lo0 lo1 lo2 lo3 n37
0010010 1
.names pi0 pi1 pi2 pi3 lo0 lo1 lo2 lo3 n38
10110010 1
.names pi0 pi5 lo0 lo1 lo2 lo3 n39
011101 1
.names pi0 pi6 lo0 lo2 lo3 n40
10100 1
.names pi0 pi1 pi3 pi4 lo0 lo1 lo2 n41
1000001 1
.names pi0 pi1 pi5 lo0 lo2 lo3 n42
101111 1
.names pi2 pi4 lo1 lo2 lo3 n43
11000 1
.names pi0 pi1 pi3 lo0 lo1 lo2 lo3 n44
1010011 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n45
100101 1
.names pi0 pi1 pi5 lo0 lo2 lo3 n46
111101 1
.names pi0 pi1 pi2 lo1 lo2 lo3 n47
101000 1
.names pi0 pi1 pi3 lo1 lo2 n48
10101 1
.names pi5 lo0 lo2 lo3 n49
0111 1
.names pi0 pi1 lo1 lo2 lo3 n50
10111 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n51
100001 1
.names pi0 lo0 lo2 lo3 n52
1100 1
.names pi0 pi1 pi4 lo0 lo1 lo3 n53
101001 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n54
100100 1
.names pi0 pi1 lo0 lo2 n55
1011 1
.names pi1 lo0 lo1 lo2 n56
1100 1
.names pi0 pi5 lo3 n57
001 1
.names pi1 pi5 lo1 lo3 n58
1011 1
.names pi5 lo0 lo1 n59
001 1
.names pi0 lo1 n60
00 1
.names pi0 lo0 n61
00 1
.names lo1 lo2 n62
11 1
.names pi0 pi1 lo3 n63
110 1
.names pi0 n64
0 1
.names pi1 lo2 n65
11 1
.names pi1 lo0 n66
10 1
.names n38 n42 n46 n49 n54 n56 n58 n63 n64 n65 n66 n67
00000000000 1
.names n41 n44 n45 n47 n51 n53 n58 n63 n64 n65 n66 n68
00000000000 1
.names n47 n48 n50 n51 n53 n54 n55 n69
0000000 1
.names n41 n43 n44 n46 n49 n53 n54 n56 n57 n58 n59 n60 n61 n62 n63 n65 n66 \
 n70
00000000000000000 1
.names n38 n42 n44 n47 n51 n53 n71
000000 1
.names n41 n45 n72
00 1
.names n40 n73
0 1
.names n37 n52 n74
00 1
.names n46 n56 n75
00 1
.names n41 n54 n60 n61 n62 n63 n65 n66 n76
00000000 1
.names n39 n77
0 1
.end
