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

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

.names pi0 lo1 n14
11 0
.names lo1 lo2 n18 li3
000 1
.names n28 n27 li2
11 0
.names n24 n23 li0
11 0
.names lo0 n18
0 1
.names lo2 n19
0 1
.names n33 n32 li1
11 0
.names pi0 n21
0 1
.names pi0 lo0 lo1 n22
000 0
.names lo1 n31 n23
11 0
.names lo2 n22 n24
11 0
.names pi0 lo1 n25
00 0
.names n18 n25 n26
11 0
.names n14 n34 n18 n27
111 0
.names lo2 lo1 n28
00 0
.names pi0 n18 n29
11 0
.names lo0 n21 n30
11 0
.names n30 n29 n31
11 0
.names lo2 n26 n32
11 0
.names lo1 n18 n19 n33
111 0
.names lo2 n21 n34
11 0
.names lo3 po0
1 1
.end
