| .model top |
| .inputs _8 _7 _6 _5 _4 _3 _2 _1 |
| .outputs _47 _48 _49 _44 _45 _46 _50 _51 |
| .names _8 _7 _6 _5 _4 _47 |
| -00-1 1 |
| 111-1 1 |
| 10-11 1 |
| -1111 1 |
| 0-001 1 |
| 001-0 1 |
| 110-0 1 |
| -1010 1 |
| 0-100 1 |
| -0100 1 |
| .names _8 _7 _6 _5 _48 |
| 11-1 1 |
| 00-1 1 |
| -001 1 |
| 01-0 1 |
| 1010 1 |
| .names _8 _7 _6 _49 |
| 0-1 1 |
| -11 1 |
| 100 1 |
| .names _3 _1 [24] [28] [46] _44 |
| -1-1- 1 |
| 1---1 1 |
| 001-- 1 |
| .names _8 _7 _6 _5 _4 _3 _2 _45 |
| -1-11-1 1 |
| --111-1 1 |
| 0--00-1 1 |
| -0-00-1 1 |
| --1-111 1 |
| ---1111 1 |
| --0-001 1 |
| ---0001 1 |
| ---1010 1 |
| ---0100 1 |
| 00--001 1 |
| 0-001-0 1 |
| -0001-0 1 |
| 1-110-0 1 |
| -1110-0 1 |
| -00-100 1 |
| 1100-11 1 |
| 111-010 1 |
| .names _8 _7 _6 _5 _4 _3 _46 |
| -111-1 1 |
| 0-00-1 1 |
| -000-1 1 |
| -1-111 1 |
| --1111 1 |
| 0--001 1 |
| --0001 1 |
| -001-0 1 |
| --1010 1 |
| --0100 1 |
| 101-01 1 |
| 1110-0 1 |
| 11-010 1 |
| 00-100 1 |
| .names _8 _7 _50 |
| 01 1 |
| 10 1 |
| .names _8 _51 |
| 0 1 |
| .names _8 _7 _6 _5 _4 _2 [24] |
| ----11 1 |
| -1-11- 1 |
| --111- 1 |
| 1-11-1 1 |
| -111-1 1 |
| .names _8 _7 _6 _5 _4 _3 _2 [28] |
| --1-11- 1 |
| --0-00- 1 |
| ---000- 1 |
| ---1-11 1 |
| ---0-00 1 |
| ----000 1 |
| 00--00- 1 |
| -00--00 1 |
| .names _8 _7 _6 _5 _4 _2 _1 [46] |
| ---11-1 1 |
| ----111 1 |
| ----000 1 |
| 11--1-1 1 |
| 0--00-0 1 |
| -0-00-0 1 |
| --000-0 1 |
| 111--11 1 |
| 0-00-00 1 |
| -000-00 1 |
| .end |
