| .model top | |
| .inputs _7 _6 _5 _4 _3 _2 _1 | |
| .outputs _25 _26 _24 _27 | |
| .names _5 [8] _25 | |
| 11 1 | |
| 00 1 | |
| .names _7 _6 _4 _3 _1 _26 | |
| 1111- 1 | |
| 0001- 1 | |
| 1010- 1 | |
| 0100- 1 | |
| 11-11 1 | |
| -1111 1 | |
| 10-01 1 | |
| -0101 1 | |
| 00-10 1 | |
| -0010 1 | |
| 01-00 1 | |
| -1000 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 _7 _6 _4 _3 _2 _1 [8] | |
| -1-11- 1 | |
| -0-00- 1 | |
| 111-1- 1 | |
| 1-111- 1 | |
| 000-0- 1 | |
| 0-000- 1 | |
| 11--11 1 | |
| -11-11 1 | |
| 1--111 1 | |
| --1111 1 | |
| 00--00 1 | |
| -00-00 1 | |
| 0--000 1 | |
| --0000 1 | |
| .names _7 _6 _4 _3 _1 [7] | |
| -0-0- 1 | |
| 000-- 1 | |
| 0-00- 1 | |
| 00--0 1 | |
| -00-0 1 | |
| 0--00 1 | |
| --000 1 | |
| .end |