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

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

.names n81 po0
0 1
.names n76 li0
0 1
.names n77 li1
0 1
.names n78 li2
0 1
.names n79 li3
0 1
.names n80 li4
0 1
.names pi0 pi1 lo0 lo1 lo2 lo4 n24
100011 1
.names pi0 pi1 lo1 lo2 lo3 lo4 n25
101100 1
.names pi0 pi1 lo0 lo2 lo3 n26
11010 1
.names pi0 pi1 lo1 lo2 lo3 lo4 n27
001110 1
.names pi0 pi1 lo1 lo2 lo3 lo4 n28
011100 1
.names pi0 pi1 lo0 lo1 lo2 lo3 n29
100110 1
.names pi1 lo0 lo1 lo2 lo3 lo4 n30
100111 1
.names pi0 pi1 lo1 lo2 lo4 n31
10100 1
.names pi0 pi1 lo1 lo2 lo3 lo4 n32
011110 1
.names pi0 pi1 lo2 lo3 lo4 n33
00001 1
.names pi1 lo0 lo1 lo2 lo4 n34
10101 1
.names pi0 pi1 lo2 lo3 lo4 n35
01001 1
.names pi1 lo0 lo1 lo2 lo4 n36
10110 1
.names pi0 lo0 lo1 lo2 lo4 n37
00101 1
.names pi0 lo0 lo1 lo2 lo4 n38
10110 1
.names pi0 pi1 lo0 lo1 lo3 n39
00110 1
.names pi1 lo0 lo1 lo2 lo4 n40
11111 1
.names pi0 pi1 lo0 lo3 lo4 n41
11110 1
.names pi0 pi1 lo0 lo1 lo4 n42
00010 1
.names pi0 lo1 lo2 lo3 lo4 n43
00111 1
.names pi0 lo0 lo1 lo3 lo4 n44
00101 1
.names pi0 pi1 lo1 lo2 lo3 n45
01011 1
.names pi0 pi1 lo0 lo2 lo4 n46
01011 1
.names pi0 pi1 lo1 lo2 lo3 n47
01101 1
.names pi0 pi1 lo1 lo3 lo4 n48
10111 1
.names pi0 pi1 lo0 lo1 lo2 n49
01011 1
.names pi0 pi1 lo1 lo3 n50
1001 1
.names pi1 lo2 lo3 lo4 n51
0011 1
.names pi0 lo1 lo2 lo3 n52
1101 1
.names pi0 lo0 lo1 lo2 n53
0100 1
.names pi0 pi1 lo0 lo4 n54
0010 1
.names pi0 pi1 lo0 lo1 n55
0010 1
.names pi0 lo0 lo1 lo3 n56
0101 1
.names pi0 pi1 lo1 lo2 n57
1101 1
.names pi1 lo0 lo1 lo4 n58
0111 1
.names pi0 pi1 lo1 lo4 n59
1110 1
.names pi0 lo0 lo3 lo4 n60
0110 1
.names pi1 lo0 lo1 lo3 n61
1101 1
.names pi0 pi1 lo0 lo4 n62
0111 1
.names pi0 pi1 lo3 lo4 n63
0111 1
.names pi0 pi1 lo0 lo1 n64
0110 1
.names pi0 lo2 lo4 n65
110 1
.names pi1 lo1 lo3 lo4 n66
1111 1
.names pi0 lo1 lo2 lo4 n67
0111 1
.names lo1 lo2 lo4 n68
011 1
.names pi0 pi1 lo2 n69
110 1
.names pi1 lo0 lo2 n70
110 1
.names pi1 lo3 lo4 n71
101 1
.names pi0 lo2 lo3 n72
001 1
.names pi0 pi1 lo1 n73
000 1
.names pi0 pi1 n74
01 1
.names n75
 1
.names n25 n26 n29 n30 n32 n35 n37 n38 n53 n56 n57 n59 n60 n62 n64 n70 n76
0000000000000000 1
.names n25 n29 n34 n38 n39 n40 n41 n42 n61 n66 n67 n72 n74 n77
0000000000000 1
.names n26 n29 n39 n42 n44 n49 n60 n65 n67 n68 n73 n78
00000000000 1
.names n24 n27 n28 n31 n33 n36 n41 n43 n45 n46 n47 n48 n50 n55 n58 n61 n63 \
 n79
00000000000000000 1
.names n30 n32 n44 n48 n49 n51 n52 n54 n64 n66 n69 n71 n73 n80
0000000000000 1
.names n75 n81
0 1
.end
