# Benchmark "b01_opt" written by ABC on Mon Apr 25 14:18:08 2016
.model b01_opt
.inputs pi0 pi1
.outputs po0 po1

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

.names n57 n30 n19
11 0
.names n26 pi0 n20
00 0
.names lo1 n25 lo2 li4
111 1
.names n48 n47 n53 n52 li2
1111 0
.names n44 n43 n45 li1
111 0
.names pi1 pi0 n24
00 0
.names lo0 n25
0 1
.names pi1 n26
0 1
.names lo1 n27
0 1
.names lo2 n28
0 1
.names lo1 n28 n29
11 0
.names lo0 n29 n30
11 0
.names n51 n50 li0
11 0
.names n19 n58 li3
11 0
.names pi0 pi1 n33
11 0
.names n24 n34
0 1
.names n34 n28 n35
11 0
.names n29 n36
0 1
.names n33 n37
0 1
.names n29 n33 n38
11 0
.names lo0 n34 n39
11 0
.names lo2 n33 n40
11 0
.names n40 n39 n41
11 0
.names lo0 n33 n42
11 0
.names lo0 lo2 n24 n43
111 0
.names n36 n42 n44
11 0
.names n41 n27 n45
11 0
.names n30 n46
0 1
.names n25 n27 n55 n54 n47
1111 0
.names n46 n24 n48
11 0
.names n33 n24 n49
11 0
.names n38 n25 n50
11 0
.names n35 n27 lo0 n51
111 0
.names li4 n33 n52
11 0
.names n37 n36 n53
11 0
.names lo2 n33 n54
11 0
.names n37 n28 n55
11 0
.names pi0 n26 n56
11 0
.names n20 n56 n57
11 0
.names n46 n49 n58
11 0
.names lo3 po0
1 1
.names lo4 po1
1 1
.end
