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