# Benchmark "b06" written by ABC on Mon Apr 25 14:18:09 2016
.model b06
.inputs pi0 pi1
.outputs po0 po1 po2 po3 po4 po5

.latch        li0        lo0  2
.latch        li1        lo1  2
.latch        li2        lo2  2
.latch        li3        lo3  2
.latch        li4        lo4  2
.latch        li5        lo5  2
.latch        li6        lo6  2
.latch        li7        lo7  2
.latch        li8        lo8  2

.names n71 n70 n35
11 1
.names n35 n59 li3
11 0
.names n63 n62 n53 n47 li2
1111 0
.names n61 n60 li1
11 0
.names n69 n50 n73 n72 li5
1111 0
.names n67 n51 n66 li4
111 0
.names pi0 n57 n35 li7
111 0
.names n53 n56 li6
11 0
.names n65 n64 li0
11 0
.names lo1 lo2 lo3 n44
111 1
.names lo2 n45
0 1
.names pi0 n46
0 1
.names pi0 lo2 n47
11 0
.names lo1 n48
0 1
.names lo3 n49
0 1
.names lo1 lo3 n50
00 0
.names n45 n48 lo3 n51
111 0
.names n47 n52
0 1
.names lo1 n49 n45 n46 n53
1111 0
.names n50 n54
0 1
.names n51 n55
0 1
.names lo1 n52 n56
11 0
.names lo1 lo2 n57
11 0
.names lo2 lo3 n58
00 0
.names n46 n58 n59
11 0
.names n55 n46 n60
11 0
.names lo1 n59 n61
11 0
.names pi0 n48 lo3 n62
111 0
.names n54 lo2 n63
11 0
.names lo2 n46 n54 n64
111 0
.names pi1 n44 n65
00 0
.names n52 n49 n66
11 0
.names lo1 n59 n67
11 0
.names pi0 n49 n68
11 0
.names lo3 lo1 n69
11 0
.names n54 n45 n70
11 0
.names lo3 lo2 n71
11 0
.names pi0 n45 n72
11 0
.names lo2 n68 n73
11 0
.names li0 li8
1 1
.names lo4 po0
1 1
.names lo5 po1
1 1
.names lo6 po2
1 1
.names lo7 po3
1 1
.names lo8 po4
1 1
.names lo0 po5
1 1
.end
