| .model top |
| .inputs pa pb pc pd pe pf pg pi pj pk pl pm pn po |
| .outputs pp pq pr ps pt pu pv pw px py pz |
| .names pc pd pe pf pp |
| -1-- 1 |
| 0-1- 1 |
| 1-0- 1 |
| 1--1 1 |
| --11 1 |
| 0--0 1 |
| --00 1 |
| .names pc pd pe pf pq |
| 0001 1 |
| 1010 1 |
| .names pa pb pw pr |
| 001 1 |
| .names pa pb pw ps |
| 101 1 |
| .names pa pb pw pt |
| 011 1 |
| .names pa pb pw pu |
| 111 1 |
| .names pd pe [16] pv |
| 011 1 |
| .names pc pd pe pf po pw |
| 00010 1 |
| .names pd pe [17] px |
| 011 1 |
| .names pg po py |
| 11 1 |
| .names pc pd pf pg pz |
| 00-1 1 |
| -001 1 |
| .names pc [11] [22] [23] [121] [16] |
| -1--- 1 |
| 0-000 1 |
| .names pc pf pn po [17] |
| 10-0 1 |
| 0101 1 |
| .names pc pf po [11] |
| 100 1 |
| .names pa pb pj pl [22] |
| 001- 1 |
| 01-1 1 |
| .names pa pb pk pm [23] |
| 101- 1 |
| 11-1 1 |
| .names pf pi pn po [121] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .end |
