# Benchmark "b1" written by ABC on Sat Apr 16 17:02:43 2016
.model b1
.inputs pi0 pi1 pi2
.outputs po0 po1 po2 po3
.names n10 po1
0 1
.names n11 po2
0 1
.names pi2 po3
0 1
.names pi0 pi1 n10
11 1
00 1
.names pi0 pi1 pi2 n11
01- 1
10- 1
1-1 1
-11 1
0-0 1
-00 1
.names pi2 po0
1 1
.end
