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

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

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