# Benchmark "C17.iscas" written by ABC on Sat Apr 16 17:02:50 2016
.model C17.iscas
.inputs pi0 pi1 pi2 pi3 pi4
.outputs po0 po1
.names pi2 pi3 n7
11 0
.names pi0 pi2 n8
11 0
.names n7 pi4 n9
11 0
.names pi1 n7 n10
11 0
.names n10 n9 po1
11 0
.names n8 n10 po0
11 0
.end
