| .model top | |
| .inputs pa pb pc pd pe pf pg ph pi pj pk pl | |
| .outputs pm pn | |
| .names pl [2] [9] pm | |
| 01- 1 | |
| 0-1 1 | |
| .names pl [2] [9] pn | |
| 1-- 1 | |
| -00 1 | |
| .names pe pf pg ph pi pj pk [2] | |
| ---1111 1 | |
| --1-011 1 | |
| -1--101 1 | |
| 1---001 1 | |
| .names pa pb pc pd pi pj pk [9] | |
| ---1110 1 | |
| --1-010 1 | |
| -1--100 1 | |
| 1---000 1 | |
| .end |