# Benchmark "mark1.kiss2" written by ABC on Sat Apr 16 17:03:29 2016
.model mark1.kiss2
.inputs pi0 pi1 pi2 pi3 pi4
.outputs po00 po01 po02 po03 po04 po05 po06 po07 po08 po09 po10 po11 po12 \
 po13 po14 po15

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

.names n76 po00
0 1
.names n77 po01
0 1
.names n78 po02
0 1
.names n79 po03
0 1
.names n80 po04
0 1
.names n81 po05
0 1
.names n82 po06
0 1
.names n83 po07
0 1
.names n84 po08
0 1
.names n85 po09
0 1
.names n86 po10
0 1
.names n87 po11
0 1
.names n88 po12
0 1
.names n89 po13
0 1
.names n90 po14
0 1
.names n91 po15
0 1
.names n72 li0
0 1
.names n73 li1
0 1
.names n74 li2
0 1
.names n75 li3
0 1
.names pi0 pi2 pi3 pi4 lo0 lo1 n53
101010 1
.names pi0 pi2 pi4 lo0 lo1 lo3 n54
110101 1
.names pi0 pi2 pi3 lo0 lo1 lo3 n55
110101 1
.names pi0 pi3 pi4 lo0 lo1 lo3 n56
101101 1
.names pi0 pi2 pi4 lo0 lo2 n57
11111 1
.names pi3 pi4 lo0 lo2 n58
1111 1
.names pi1 lo2 lo3 n59
110 1
.names pi0 lo0 lo2 lo3 n60
1101 1
.names pi0 lo0 lo2 lo3 n61
1110 1
.names lo1 lo2 lo3 n62
011 1
.names pi0 lo0 lo1 lo2 n63
1011 1
.names lo0 lo2 n64
00 1
.names pi0 lo0 lo1 lo3 n65
1010 1
.names lo2 lo3 n66
10 1
.names lo0 lo1 n67
00 1
.names pi0 lo0 lo1 lo3 n68
1110 1
.names pi0 lo0 lo1 lo2 n69
1100 1
.names pi0 lo0 lo1 lo2 n70
1111 1
.names pi0 n71
0 1
.names n54 n55 n65 n68 n69 n70 n72
000000 1
.names n54 n56 n59 n60 n64 n65 n67 n71 n73
00000000 1
.names n58 n61 n63 n65 n68 n70 n71 n74
0000000 1
.names n53 n55 n56 n57 n61 n63 n65 n69 n70 n75
000000000 1
.names n70 n76
0 1
.names n62 n63 n65 n66 n68 n69 n71 n77
0000000 1
.names n60 n61 n62 n63 n64 n68 n69 n70 n71 n78
000000000 1
.names n67 n79
0 1
.names n63 n65 n80
00 1
.names n63 n65 n81
00 1
.names n60 n62 n66 n67 n68 n69 n70 n71 n82
00000000 1
.names n67 n83
0 1
.names n60 n84
0 1
.names n70 n85
0 1
.names n68 n86
0 1
.names n87
 1
.names n88
 1
.names n60 n89
0 1
.names n64 n90
0 1
.names n60 n64 n91
00 1
.end
