.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 _3 _1 [24] [28] [46] _44
-1-1- 1
1---1 1
001-- 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
.names _8 _7 _6 _5 _4 _2 [24]
----11 1
-1-11- 1
--111- 1
1-11-1 1
-111-1 1
.names _8 _7 _6 _5 _4 _3 _2 [28]
--1-11- 1
--0-00- 1
---000- 1
---1-11 1
---0-00 1
----000 1
00--00- 1
-00--00 1
.names _8 _7 _6 _5 _4 _2 _1 [46]
---11-1 1
----111 1
----000 1
11--1-1 1
0--00-0 1
-0-00-0 1
--000-0 1
111--11 1
0-00-00 1
-000-00 1
.end