.model top
.inputs _8 _7 _6 _5 _4 _3 _2 _1
.outputs _47 _48 _49 _44 _45 _46 _50 _51
.names _8 _7 _6 _5 _4 _47
-00-1 1
111-1 1
10-11 1
-1111 1
0-001 1
001-0 1
110-0 1
-1010 1
0-100 1
-0100 1
.names _8 _7 _6 _5 _48
11-1 1
00-1 1
-001 1
01-0 1
1010 1
.names _8 _7 _6 _49
0-1 1
-11 1
100 1
.names _8 _7 _6 _5 _4 _3 _2 _1 _44
--1-11-1 1
---111-1 1
--0-00-1 1
---000-1 1
---1-111 1
----1111 1
---0-001 1
----0001 1
----1010 1
----0100 1
11--11-1 1
00--00-1 1
-00--001 1
0--001-0 1
-0-001-0 1
--0001-0 1
-1-110-0 1
--1110-0 1
111--111 1
1-11-010 1
-111-010 1
0-00-100 1
-000-100 1
.names _8 _7 _6 _5 _4 _3 _2 _45
-1-11-1 1
--111-1 1
0--00-1 1
-0-00-1 1
--1-111 1
---1111 1
--0-001 1
---0001 1
---1010 1
---0100 1
00--001 1
0-001-0 1
-0001-0 1
1-110-0 1
-1110-0 1
-00-100 1
1100-11 1
111-010 1
.names _8 _7 _6 _5 _4 _3 _46
-111-1 1
0-00-1 1
-000-1 1
-1-111 1
--1111 1
0--001 1
--0001 1
-001-0 1
--1010 1
--0100 1
101-01 1
1110-0 1
11-010 1
00-100 1
.names _8 _7 _50
01 1
10 1
.names _8 _51
0 1
.end