.model top
.inputs _7 _6 _5 _4 _3 _2 _1
.outputs _25 _26 _24 _27
.names _7 _6 _5 _4 _3 _2 _1 _25
-11-11- 1
-00-01- 1
-10-10- 1
-01-00- 1
1111-1- 1
0000-1- 1
1-1111- 1
0-0001- 1
1101-0- 1
0010-0- 1
1-0110- 1
0-1000- 1
111--11 1
-111-11 1
1-1-111 1
--11111 1
110--01 1
-101-01 1
1-0-101 1
--01101 1
000--10 1
-000-10 1
0-0-010 1
--00010 1
001--00 1
-010-00 1
0-1-000 1
--10000 1
.names _7 _6 _4 _3 _1 _26
1111- 1
0001- 1
1010- 1
0100- 1
11-11 1
-1111 1
10-01 1
-0101 1
00-10 1
-0010 1
01-00 1
-1000 1
.names _7 _6 _5 _4 _3 _2 _1 _24
--1--1- 1
-11-1-- 1
-1--11- 1
1111--- 1
1-111-- 1
11-1-1- 1
1--111- 1
111---1 1
-111--1 1
1-1-1-1 1
--111-1 1
11---11 1
-1-1-11 1
1---111 1
---1111 1
.names _7 _4 _1 _27
111 1
001 1
010 1
100 1
.end