.model top
.inputs x0 x1 x2 x3 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 n21
110110 1
111111 1
.names x0 x1 x2 y0 y1 y2 n22
11--11 0
1-11-1 0
-1111- 0
.names x1 x2 x3 y0 y1 y2 n23
0011-- 0
010-1- 0
01-01- 0
0-110- 0
100--1 0
10-0-1 0
111111 0
1-0-01 0
1--001 0
-011-0 0
-10-10 0
-1-010 0
--1100 0
.names x0 y3 n25
11 1
.names x1 y3 n26
11 1
.names x1 x2 x3 y0 y1 y2 n27
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 n21 n25 n22 n23 n26 n27 n29
100100 1
100111 1
101000 1
101011 1
110001 1
110010 1
111100 1
111111 1
.names n22 n23 n27 x0 y3 x1 n30
000-0- 1
000--0 1
001-11 1
0-0110 1
0-1111 1
-00110 1
-01111 1
.names x1 y3 n32 n33 n34 n31
0-1-1 1
0--11 1
110-0 1
11-00 1
-01-1 1
-0-11 1
--000 1
--111 1
.names x1 x2 x3 y0 y1 y2 n32
11--11 0
1-11-1 0
-1111- 0
.names x2 x3 y1 y2 n33
011- 0
10-1 0
1-01 0
-110 0
.names x2 x3 y1 y2 y3 n34
01-1- 1
10--1 1
1--01 1
-1010 1
-1111 1
.names n26 n32 n33 n29 n30 n34 n36
01-00- 1
01---0 1
0-100- 1
0-1--0 1
-1100- 1
-11--0 1
---000 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 n21 n22 n23 x0 y3 p3
00011 1
0010- 1
001-0 1
0100- 1
010-0 1
01111 1
1000- 1
100-0 1
10111 1
11011 1
1110- 1
111-0 1
.names n21 n25 n22 n23 n26 n27 p4
001-00 1
001-11 1
00-100 1
00-111 1
0-0001 1
0-0010 1
0-1100 1
0-1111 1
110000 1
110011 1
11-101 1
11-110 1
1-0101 1
1-0110 1
1-1001 1
1-1010 1
-00001 1
-00010 1
-01100 1
-01111 1
-10101 1
-10110 1
-11001 1
-11010 1
.names n29 n30 n31 p5
001 1
1-0 1
-10 1
.names x2 x3 y1 y2 y3 n36 p6
01--11 1
0---00 1
111101 1
1--110 1
-0---0 1
-1-011 1
--0-00 1
---000 1
.names x2 x3 y1 y2 y3 n36 p7
1111-0 1
11-11- 1
-1--10 1
.end