# Benchmark "b01" written by ABC on Mon Apr 25 14:18:08 2016
.model b01
.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 lo2 n23 lo3 li0
111 1
.names n53 n52 n51 n50 li3
1111 0
.names n42 n40 n41 li2
111 0
.names pi1 pi0 n22
00 0
.names lo1 n23
0 1
.names lo2 n24
0 1
.names pi1 n25
0 1
.names pi0 n26
0 1
.names lo3 n27
0 1
.names lo2 n27 n28
11 0
.names n58 n57 li4
11 0
.names n45 n44 li1
11 0
.names n55 n54 n31
11 0
.names pi0 pi1 n32
11 0
.names lo1 n28 n33
11 0
.names n22 n34
0 1
.names n34 n27 n35
11 0
.names n32 n36
0 1
.names n28 n37
0 1
.names n32 n28 n38
11 0
.names lo1 n32 n39
11 0
.names lo3 n24 n32 n40
111 0
.names n37 n39 n41
11 0
.names n47 n46 lo1 n42
111 0
.names n33 n43
0 1
.names n38 n23 n44
11 0
.names n35 n24 lo1 n45
111 0
.names lo2 n34 n46
11 0
.names n22 n27 n47
11 0
.names lo3 n32 n48
11 0
.names n36 n27 n49
11 0
.names n49 n48 n24 n23 n50
1111 0
.names n28 n22 lo1 n51
111 0
.names li0 n32 n52
11 0
.names n36 n37 n53
11 0
.names pi0 n25 n54
11 0
.names pi1 n26 n55
11 0
.names n31 n56
0 1
.names n43 n56 n57
11 0
.names n31 n33 n58
11 0
.names lo4 po0
1 1
.names lo0 po1
1 1
.end
