| .model top | |
| .inputs _7 _6 _5 _4 _3 _2 _1 | |
| .outputs _25 _26 _24 _27 | |
| .names _5 _2 [7] _25 | |
| 011 1 | |
| 101 1 | |
| 110 1 | |
| 000 1 | |
| .names _6 _3 [5] _26 | |
| 011 1 | |
| 101 1 | |
| 110 1 | |
| 000 1 | |
| .names _5 _2 [7] _24 | |
| 11- 1 | |
| 1-0 1 | |
| -10 1 | |
| .names _7 _4 _1 _27 | |
| 111 1 | |
| 001 1 | |
| 010 1 | |
| 100 1 | |
| .names _6 _3 [5] [7] | |
| 00- 1 | |
| 0-1 1 | |
| -01 1 | |
| .names _7 _4 _1 [5] | |
| 00- 1 | |
| 0-0 1 | |
| -00 1 | |
| .end |