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

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

.names n88 po0
0 1
.names n89 po1
0 1
.names n90 po2
0 1
.names n91 po3
0 1
.names n92 po4
0 1
.names n93 po5
0 1
.names n94 po6
0 1
.names n84 li0
0 1
.names n85 li1
0 1
.names n86 li2
0 1
.names n87 li3
0 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n37
101000000 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n38
100010000 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n39
101000001 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n40
100010011 1
.names pi0 pi1 pi2 pi5 lo0 lo1 lo2 lo3 n41
10100010 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n42
100010101 1
.names pi0 pi1 pi2 pi3 lo0 lo1 lo2 lo3 n43
10011101 1
.names pi2 pi3 pi4 lo0 lo1 lo2 lo3 n44
1010111 1
.names pi0 pi1 pi2 pi4 lo0 lo1 lo2 lo3 n45
10011110 1
.names pi2 pi3 pi4 lo0 lo1 lo2 lo3 n46
1100111 1
.names pi0 pi1 pi3 pi4 lo0 lo1 lo2 lo3 n47
10101000 1
.names pi0 pi1 pi2 pi3 pi4 lo1 lo2 lo3 n48
10010011 1
.names pi0 pi1 pi3 pi4 lo0 lo1 lo2 lo3 n49
10101011 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 lo3 n50
100100000 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 n51
10011000 1
.names pi0 pi1 pi3 pi4 lo0 lo1 lo2 lo3 n52
10101010 1
.names pi0 pi1 pi3 lo0 lo1 lo2 lo3 n53
1001100 1
.names pi0 pi1 pi3 pi4 lo0 lo1 lo2 n54
1000101 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 n55
10010010 1
.names pi3 pi4 lo0 lo1 lo2 lo3 n56
110011 1
.names pi0 pi1 pi2 lo0 lo1 lo2 lo3 n57
1001110 1
.names pi0 pi1 pi2 lo0 lo1 lo2 lo3 n58
1010110 1
.names pi2 pi3 pi4 lo0 lo1 lo2 lo3 n59
1110111 1
.names pi2 pi3 pi4 lo0 lo1 lo2 lo3 n60
1000111 1
.names pi0 pi1 pi4 lo0 lo1 lo2 lo3 n61
1010110 1
.names pi0 pi1 pi2 pi3 pi4 lo0 lo1 lo2 n62
10011010 1
.names pi0 pi1 pi3 lo0 lo1 lo2 lo3 n63
1011100 1
.names pi4 lo0 lo1 lo2 lo3 n64
11010 1
.names pi0 pi1 pi2 pi3 pi4 lo1 lo3 n65
1000001 1
.names pi1 pi6 lo2 lo3 n66
1101 1
.names pi0 pi6 lo2 lo3 n67
0101 1
.names pi0 pi1 pi5 lo0 lo2 lo3 n68
100010 1
.names pi0 pi1 pi2 lo0 lo1 lo2 lo3 n69
1001101 1
.names pi0 pi1 pi4 lo0 lo1 lo2 lo3 n70
1001001 1
.names pi1 lo0 lo1 lo2 lo3 n71
10011 1
.names pi0 lo0 lo1 lo2 lo3 n72
00011 1
.names pi0 pi1 pi2 pi4 lo2 lo3 n73
100001 1
.names pi2 lo0 lo1 lo2 lo3 n74
00111 1
.names pi0 pi1 pi2 lo0 lo1 lo2 lo3 n75
1010011 1
.names pi0 pi1 pi2 lo0 lo1 lo2 n76
100010 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n77
100110 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n78
100001 1
.names pi0 pi1 pi3 lo0 lo1 lo3 n79
100101 1
.names pi0 pi1 pi3 lo0 lo1 n80
10010 1
.names pi0 pi1 pi3 lo0 lo1 lo2 lo3 n81
1011111 1
.names pi1 lo0 n82
11 1
.names pi0 lo0 n83
01 1
.names n37 n42 n43 n45 n47 n50 n51 n52 n55 n62 n63 n70 n75 n80 n81 n84
000000000000000 1
.names n38 n39 n41 n50 n51 n52 n57 n58 n59 n60 n61 n63 n69 n76 n81 n85
000000000000000 1
.names n37 n38 n39 n42 n45 n53 n54 n59 n60 n62 n65 n68 n75 n77 n79 n81 n86
0000000000000000 1
.names n40 n44 n46 n47 n48 n49 n50 n55 n59 n60 n62 n65 n69 n70 n73 n78 n79 \
 n81 n87
000000000000000000 1
.names n40 n42 n44 n46 n48 n49 n50 n55 n88
00000000 1
.names n43 n50 n55 n89
000 1
.names n51 n52 n90
00 1
.names n56 n62 n71 n72 n74 n75 n91
000000 1
.names n47 n52 n92
00 1
.names n50 n64 n66 n67 n82 n83 n93
000000 1
.names n38 n41 n51 n52 n94
0000 1
.end
