# Benchmark "IWLS93__con1" written by ABC on Sun Jul 03 15:47:14 2016
.model IWLS93__con1
.inputs pi0 pi1 pi2 pi3 pi4 pi5 pi6
.outputs po0 po1
.names n22 n14 po0
1- 1
-1 1
.names n15 n16 po1
1- 1
-1 1
.names pi1 pi2 pi3 n11
001 1
.names pi2 pi3 pi4 n12
111 1
.names pi1 pi4 pi6 n13
101 1
.names n11 n12 n13 n14
1-- 1
-1- 1
--1 1
.names n17 n18 n15
1- 1
-1 1
.names n19 n20 n21 n16
1-- 1
-1- 1
--1 1
.names pi0 pi1 n17
00 1
.names pi0 pi4 n18
01 1
.names pi0 pi1 pi4 n19
110 1
.names pi4 pi5 n20
00 1
.names pi1 pi3 pi4 n21
001 1
.names pi0 pi1 n22
11 1
.end
