.model top
.inputs pp pq pr ps pt pu pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pv
.names pu [5] [6] [7] [8] pv
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pq pr ps pt pa pb pc pd [5]
00000--- 1
1000-0-- 1
-00000-- 1
0100--0- 1
0-000-0- 1
1100---0 1
1-00-0-0 1
-100--00 1
--000000 1
.names pq pr ps pt pe pf pg ph [6]
00100--- 1
1010-0-- 1
-01000-- 1
0110--0- 1
0-100-0- 1
1110---0 1
1-10-0-0 1
-110--00 1
--100000 1
.names pp pq pr ps pt pm pn po [7]
01111--- 1
-00110-- 1
01-11-0- 1
-1011-0- 1
--01100- 1
0-111--0 1
-0111--0 1
-0-110-0 1
0--11000 1
.names pq pr ps pt pi pj pk pl [8]
00010--- 1
1001-0-- 1
-00100-- 1
0101--0- 1
0-010-0- 1
1101---0 1
1-01-0-0 1
-101--00 1
--010000 1
.end