.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 _6 _3 [5] _26
011 1
101 1
110 1
000 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 _6 _3 [5] [7]
00- 1
0-1 1
-01 1
.names _7 _4 _1 [5]
00- 1
0-0 1
-00 1
.end