.model top
.inputs _7 _6 _5 _4 _3 _2 _1
.outputs _25 _26 _24 _27
.names _5 _2 [7] _25
011 1
101 1
110 1
000 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 _5 _2 [7] _24
11- 1
1-0 1
-10 1
.names _7 _4 _1 _27
111 1
001 1
010 1
100 1
.names _7 _6 _4 _3 _1 [7]
-0-0- 1
000-- 1
0-00- 1
00--0 1
-00-0 1
0--00 1
--000 1
.end