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