# Benchmark "top" written by ABC on Sat Apr 16 15:44:51 2016
.model top
.inputs pi0 pi1
.outputs po0 po1

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

.names n20 po0
1 1
.names pi0 li2
1 1
.names lo1 po1
1 1
.names n33 n28 n20
11 1
.names lo0 n21
0 1
.names n20 n23 li0
1- 1
-1 1
.names lo0 n23
0 1
.names n26 n25 li1
1- 1
-1 1
.names lo0 lo1 n25
11 1
.names n21 n27 n26
11 1
.names n33 n27
0 1
.names n32 n29 n28
1- 1
-1 1
.names n31 n30 n29
11 1
.names lo2 n30
0 1
.names li2 n31
0 1
.names li2 lo2 n32
11 1
.names n37 n34 n33
1- 1
-1 1
.names n36 n35 n34
11 1
.names lo3 n35
0 1
.names lo2 n36
0 1
.names lo2 lo3 n37
11 1
.names lo2 li3
1 1
.end
