# Benchmark "b06_opt" written by ABC on Mon Apr 25 14:18:09 2016
.model b06_opt
.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 lo1 n68 n35
11 0
.names n53 pi0 n36
00 0
.names n71 n70 n37
11 1
.names n37 n60 li2
11 0
.names n63 n62 n49 n54 li1
1111 0
.names n61 n36 li0
11 0
.names n69 n52 n35 n72 li4
1111 0
.names n67 n53 n66 li3
111 0
.names pi0 n58 n37 li6
111 0
.names n54 n57 li5
11 0
.names n65 n64 li7
11 0
.names lo0 lo1 lo2 n46
111 1
.names lo1 n47
0 1
.names pi0 n48
0 1
.names pi0 lo1 n49
11 0
.names lo0 n50
0 1
.names lo2 n51
0 1
.names lo0 lo2 n52
00 0
.names n47 n50 lo2 n53
111 0
.names lo0 n51 n47 n48 n54
1111 0
.names n52 n55
0 1
.names n49 n56
0 1
.names lo0 n56 n57
11 0
.names lo0 lo1 n58
11 0
.names lo1 lo2 n59
00 0
.names n48 n59 n60
11 0
.names lo0 n60 n61
11 0
.names pi0 n50 lo2 n62
111 0
.names n55 lo1 n63
11 0
.names lo1 n48 n55 n64
111 0
.names pi1 n46 n65
00 0
.names n56 n51 n66
11 0
.names lo0 n60 n67
11 0
.names pi0 n51 n68
11 0
.names lo2 lo0 n69
11 0
.names n55 n47 n70
11 0
.names lo2 lo1 n71
11 0
.names pi0 n47 n72
11 0
.names li7 li8
1 1
.names lo3 po0
1 1
.names lo4 po1
1 1
.names lo5 po2
1 1
.names lo6 po3
1 1
.names lo7 po4
1 1
.names lo8 po5
1 1
.end
