| .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 |
