.model top
.inputs x0 x1 x2 y0 y1 y2 y3
.outputs p0 p1 p2 p3 p4 p5 p6 p7
.names x0 y0 p0
11 1
.names x0 x1 x2 y0 y1 y2 n20
110110 1
111111 1
.names x0 x1 x2 y0 y1 y2 n21
11--11 0
1-11-1 0
-1111- 0
.names x0 x1 x2 y1 y2 y3 n22
0011-- 1
010-1- 1
01-01- 1
0-110- 1
100--1 1
10-0-1 1
111111 1
1-0-01 1
1--001 1
-011-0 1
-10-10 1
-1-010 1
--1100 1
.names x0 x1 x2 y1 y2 y3 n24
00--0- 1
011011 1
10-111 1
11110- 1
1-0-1- 1
-00--- 1
-0-00- 1
-1-1-0 1
--0--0 1
----00 1
.names x0 x1 x2 y1 y2 y3 n26
101111 1
110-11 1
111101 1
-11110 1
.names x1 x2 y2 y3 n27
01-1 1
-101 1
.names x0 x1 x2 y1 y2 y3 n29
1111-1 0
1-1111 0
-11-11 0
.names x0 x1 y0 y1 p1
011- 1
10-1 1
1-01 1
-110 1
.names x0 x1 x2 y0 y1 y2 p2
0011-- 1
010-1- 1
01-01- 1
0-110- 1
10-0-1 1
1-01-1 1
1-11-0 1
1--001 1
-1-010 1
.names n20 n21 n22 p3
000 1
011 1
101 1
110 1
.names n20 n21 n22 n24 p4
01-0 1
0-00 1
10-1 1
1-11 1
-011 1
-100 1
.names n20 n21 n22 n24 n26 n27 p5
01--01 1
0-0-01 1
10-0-0 1
1-10-0 1
-010-0 1
-10-01 1
---101 1
----10 1
.names n20 n21 n22 n24 n27 n29 p6
10-01- 1
1-101- 1
-0101- 1
-----0 1
.names p7
 0
.end