.model top
.inputs x0 x1 x2 y0 y1 y2
.outputs p0 p1 p2 p3 p4 p5
.names x0 y0 p0
11 1
.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 x0 x1 x2 y0 y1 y2 p3
010--1 1
01--01 1
0-1111 1
101101 1
110110 1
1-101- 1
-0101- 1
-01-10 1
-10-01 1
-1-001 1
--1010 1
.names x0 x1 x2 y0 y1 y2 p4
001--1 1
0-1-01 1
110-11 1
11-111 1
-010-1 1
-01-01 1
-11110 1
--1001 1
.names x0 x1 x2 y0 y1 y2 p5
1111-1 1
1-1111 1
-11-11 1
.end