| .model top | |
| .inputs _7 _6 _5 _4 _3 _2 _1 | |
| .outputs _25 _26 _24 _27 | |
| .names _5 [8] _25 | |
| 11 1 | |
| 00 1 | |
| .names _6 [9] _26 | |
| 11 1 | |
| 00 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 _2 [5] [8] | |
| 111- 1 | |
| 000- 1 | |
| 0-01 1 | |
| -001 1 | |
| 1-10 1 | |
| -110 1 | |
| .names _7 _4 _3 _1 [9] | |
| 111- 1 | |
| 000- 1 | |
| 1-11 1 | |
| -111 1 | |
| 0-00 1 | |
| -000 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 |