| .model top |
| .inputs _7 _6 _5 _4 _3 _2 _1 |
| .outputs _25 _26 _24 _27 |
| .names _7 _6 _5 _4 _3 _2 _1 _25 |
| -11-11- 1 |
| -00-01- 1 |
| -10-10- 1 |
| -01-00- 1 |
| 1111-1- 1 |
| 0000-1- 1 |
| 1-1111- 1 |
| 0-0001- 1 |
| 1101-0- 1 |
| 0010-0- 1 |
| 1-0110- 1 |
| 0-1000- 1 |
| 111--11 1 |
| -111-11 1 |
| 1-1-111 1 |
| --11111 1 |
| 110--01 1 |
| -101-01 1 |
| 1-0-101 1 |
| --01101 1 |
| 000--10 1 |
| -000-10 1 |
| 0-0-010 1 |
| --00010 1 |
| 001--00 1 |
| -010-00 1 |
| 0-1-000 1 |
| --10000 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 _7 _6 _5 _4 _3 _2 _1 _24 |
| --1--1- 1 |
| -11-1-- 1 |
| -1--11- 1 |
| 1111--- 1 |
| 1-111-- 1 |
| 11-1-1- 1 |
| 1--111- 1 |
| 111---1 1 |
| -111--1 1 |
| 1-1-1-1 1 |
| --111-1 1 |
| 11---11 1 |
| -1-1-11 1 |
| 1---111 1 |
| ---1111 1 |
| .names _7 _4 _1 _27 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .end |
