# Benchmark "in_range" written by ABC on Sat Apr 16 14:13:10 2016
.model in_range
.inputs pi0 pi1 pi2 pi3 pi4 pi5 pi6
.outputs po0
.names n8
 0
.names n10
 1
.names pi0 n10 n11
10 1
01 1
.names n11 n12
0 1
.names n8 n12 po0
11 1
.end
