.model top
.inputs x0 x1 y0 y1
.outputs p0 p1 p2 p3
.names x0 y0 p0
11 1
.names x0 x1 y0 y1 p3
1111 1
.names x0 x1 y0 y1 p1
011- 1
10-1 1
1-01 1
-110 1
.names x0 x1 y0 y1 p2
01-1 1
-101 1
.end