# Benchmark "s27.bench" written by ABC on Sat Apr 16 17:02:32 2016
.model s27.bench
.inputs pi0 pi1 pi2 pi3
.outputs po0

.latch        li0        lo0  0
.latch        li1        lo1  0
.latch        li2        lo2  0

.names li1 po0
0 1
.names n18 li1 li0
00 1
.names lo0 n23 li1
00 1
.names pi2 n20 li2
00 1
.names pi0 n18
0 1
.names n18 lo1 n19
11 1
.names pi1 lo2 n20
00 1
.names n20 n19 n21
1- 1
-1 1
.names pi3 n19 n22
1- 1
-1 1
.names n22 n21 n23
0- 1
-0 1
.end
