.model top
.inputs x0 x1 x2 x3 x4 y0 y1 y2 y3 y4
.outputs p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
.names x0 y0 p0
11 1
.names x0 y1 x1 y0 p1
-011 1
0-11 1
11-0 1
110- 1
.names x2 y2 x1 y1 x0 y0 p2
--1100 1
-011-0 1
-1-010 1
-10-10 1
0-110- 1
01--11 1
1--001 1
1-0-01 1
10--11 1
.names x0 y3 n26 n27 n28 p3
-0000 1
-0011 1
-0101 1
-0110 1
0-000 1
0-011 1
0-101 1
0-110 1
11001 1
11010 1
11100 1
11111 1
.names x2 y2 x0 y0 y1 x1 n26
001111 1
111111 1
.names x0 y2 y1 x1 x2 y0 n27
--1111 0
11--11 0
1111-- 0
.names x1 x2 y1 y2 x3 y0 n28
--0011 1
-0-011 1
-110-0 1
-1100- 1
0-0-11 1
00--11 1
011--0 1
011-0- 1
1-01-0 1
1-010- 1
10-1-0 1
10-10- 1
111111 1
.names x0 y4 n30 n31 n32 p4
-0000 1
-0011 1
-0101 1
-0110 1
0-000 1
0-011 1
0-101 1
0-110 1
11001 1
11010 1
11100 1
11111 1
.names x0 y3 n27 n28 n26 n30
-0001 1
-0111 1
0-001 1
0-111 1
11011 1
11101 1
.names n27 n28 x0 y3 n31
-111 0
0-11 0
01-- 0
.names n33 n34 n35 n32
000 1
011 1
101 1
110 1
.names x1 y3 n33
11 1
.names x1 y2 y1 x2 x3 y0 n34
--1111 0
11--11 0
1111-- 0
.names x2 x3 y1 y2 x4 y0 n35
--0011 1
-0-011 1
-110-0 1
-1100- 1
0-0-11 1
00--11 1
011--0 1
011-0- 1
1-01-0 1
1-010- 1
10-1-0 1
10-10- 1
111111 1
.names x0 y4 n31 n30 n32 n37 p5
--1001 1
-0-001 1
-0-110 1
-00-10 1
-001-0 1
-01-01 1
-010-1 1
0--001 1
0--110 1
0-0-10 1
0-01-0 1
0-1-01 1
0-10-1 1
11-010 1
11-100 1
110-00 1
110111 1
111-10 1
.names n33 n34 n35 n38 n39 n40 n37
-01000 1
-01011 1
-01101 1
-01110 1
-10001 1
-10010 1
-10100 1
-10111 1
0-0001 1
0-0010 1
0-0100 1
0-0111 1
01-001 1
01-010 1
01-100 1
01-111 1
1-1000 1
1-1011 1
1-1101 1
1-1110 1
10-000 1
10-011 1
10-101 1
10-110 1
.names x1 y4 n38
11 1
.names x2 y3 n39
11 1
.names x2 y0 x4 y2 x3 y1 n40
---0-0 0
--0-0- 0
--00-- 0
-0--00 0
-1-01- 0
0---00 0
001111 0
1-0--1 0
11-101 0
111-10 0
.names n42 n43 n44 p6
001 1
010 1
100 1
111 1
.names n31 n30 n32 x0 y4 n37 n42
--1111 0
-1-111 0
-11--1 0
0--111 0
0-1--1 0
01---1 0
01111- 0
.names n38 n33 n35 n34 n39 n40 n43
--0100 1
--0111 1
-0-100 1
-0-111 1
-00-00 1
-00-11 1
0---00 1
0---11 1
0-01-- 1
00-1-- 1
000--- 1
.names n40 y3 x2 n45 y4 n46 n44
---101 1
--00-0 1
--01-1 1
--1110 1
-0-000 1
-01011 1
0--000 1
0-1011 1
111-01 1
111-10 1
.names x2 y0 x3 y1 y2 x4 n45
-11101 1
1-1110 1
110111 1
111011 1
.names y1 x3 y3 x4 y2 n46
-0-11 0
-11-0 0
-110- 0
0-011 0
1-111 0
.names n42 n43 n44 n48 n49 p7
-0101 1
-0110 1
-1000 1
-1011 1
0-101 1
0-110 1
00-01 1
00-10 1
1-000 1
1-011 1
11-00 1
11-11 1
.names n45 n40 y3 n46 y4 x2 n48
---011 0
-11-11 0
-110-1 0
1---11 0
1--0-- 0
.names y1 y2 x3 x4 y4 y3 n49
--01-1 1
--101- 1
-0-101 1
-01-10 1
-1-111 1
0-1-10 1
111100 1
.names n42 n51 x4 y4 n52 n53 p8
---001 1
--0-01 1
--1100 1
-0-010 1
-00-10 1
-01111 1
01-0-1 1
010--1 1
0111-0 1
1--010 1
1-0-10 1
1-1111 1
.names n43 n44 n48 n49 n51
0000 1
0011 1
1100 1
1111 1
.names n48 n43 n49 n44 n52
-011 0
0-1- 0
00-1 0
.names y1 y3 y2 y4 x4 x3 n53
-1-111 0
-11-11 0
1-1111 0
.names n52 n42 n51 n53 x4 y4 p9
---011 1
-01-11 1
-010-- 1
0---11 1
0--0-- 1
.end