| .model top |
| .inputs pa pb pc pd pe pf pg ph pi |
| .outputs pp pa0 pq pb0 pr ps pt pu pv pw px py pz pj pk pl pm pn po |
| .names pa pb pc pp |
| 001 1 |
| .names pu ns1 [141] [142] pa0 |
| 1--- 1 |
| -1-- 1 |
| -01- 1 |
| -001 1 |
| .names pa pb pc pq |
| 000 1 |
| .names pa pb pc pd pb0 |
| 0001 1 |
| .names pa pb pc pi pr |
| 0101 1 |
| .names pa pb pc pi ps |
| 0111 1 |
| .names pa pb pc pi pt |
| 1001 1 |
| .names pa pb pc pi pu |
| 1011 1 |
| .names pz nz1 [154] pv |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ns1 [141] [142] [147] py |
| 1--- 1 |
| ---1 1 |
| 001- 1 |
| .names ns1 [141] [142] [149] [151] pz |
| 1---- 1 |
| ----1 1 |
| 0001- 1 |
| .names ns1 [141] [142] [149] [160] pj |
| ----1 1 |
| 001-- 1 |
| 0001- 1 |
| .names ns1 [141] [164] pk |
| 1-- 1 |
| --1 1 |
| 01- 1 |
| .names ns1 [141] [142] [149] [168] pl |
| ----1 1 |
| 01--- 1 |
| 0001- 1 |
| .names pa pb pc pm |
| 01- 1 |
| 101 1 |
| .names pa pb pc pn |
| 100 1 |
| .names pa pb pc po |
| 110 1 |
| .names pz [154] nx |
| 1- 1 |
| -1 1 |
| .names pa pb pc pi nz1 |
| 1010 1 |
| .names pa pb pc pd pe ns1 |
| 00001 1 |
| .names nx pw |
| 1 1 |
| .names nx px |
| 1 1 |
| .names pa pb pc pd pf [141] |
| 00001 1 |
| .names pa pb pc pd pg [142] |
| 00001 1 |
| .names pa pb pc pi [147] |
| 0101 1 |
| 1001 1 |
| .names pa pb pc pd ph [149] |
| 00001 1 |
| .names pa pb pc pi [151] |
| 1011 1 |
| 0101 1 |
| .names ps ns1 [141] [142] [147] [154] |
| 1---- 1 |
| -1--- 1 |
| ----1 1 |
| -01-- 1 |
| -001- 1 |
| .names pa pb pc pi [160] |
| 110- 1 |
| 100- 1 |
| 01-1 1 |
| -011 1 |
| 1010 1 |
| .names pa pb pc pi [164] |
| 01-- 1 |
| 110- 1 |
| 10-1 1 |
| -011 1 |
| .names pa pb pc pd pi [168] |
| 0-1-- 1 |
| 1-0-1 1 |
| -10-1 1 |
| 0001- 1 |
| 101-0 1 |
| .end |