| .model top |
| .inputs _9 _8 _7 _6 _5 _4 _3 _2 _1 |
| .outputs _52 |
| .names _9 _2 [73] [79] [2] [606] _52 |
| ----1- 1 |
| -----1 1 |
| -01--- 1 |
| 0--1-- 1 |
| .names _9 _8 _7 _6 _5 _4 _3 _2 [52] |
| 0101-1-- 1 |
| -1001-1- 1 |
| 101-0-1- 1 |
| 01-10-1- 1 |
| 11-00-1- 1 |
| 00-1-11- 1 |
| 011--01- 1 |
| 01--110- 1 |
| -0-1110- 1 |
| --0-0111 1 |
| 0111---0 1 |
| 111---00 1 |
| .names _9 _8 _7 _6 _5 _4 _3 _1 [59] |
| 1010--0- 1 |
| 010-1-0- 1 |
| 1-001-0- 1 |
| 011-0-0- 1 |
| 10-10-0- 1 |
| -1010-0- 1 |
| 01-0-10- 1 |
| --1000-1 1 |
| 1---0001 1 |
| -0-0-110 1 |
| ---10010 1 |
| --10-100 1 |
| ---10100 1 |
| 11---000 1 |
| .names _9 _8 _7 _6 _5 _3 _2 _1 [66] |
| 0-1101-- 1 |
| 001--11- 1 |
| 010--11- 1 |
| 0-11-01- 1 |
| -01-101- 1 |
| -10-0-11 1 |
| 10---101 1 |
| -10--101 1 |
| --1-0101 1 |
| -11--001 1 |
| -01-11-0 1 |
| --0111-0 1 |
| ---01110 1 |
| -11--100 1 |
| .names _9 _8 _7 _6 _5 _4 _3 _1 [73] |
| 0--0111- 1 |
| -0101--1 1 |
| -1001--1 1 |
| -001-1-1 1 |
| -01-01-1 1 |
| -10-01-1 1 |
| ---10011 1 |
| 101---01 1 |
| 110---01 1 |
| ---01101 1 |
| 1---0101 1 |
| 1---1001 1 |
| 1--011-0 1 |
| ---10110 1 |
| .names _8 _7 _6 _5 _4 _3 _2 _1 [79] |
| 01101--- 1 |
| 11010--- 1 |
| 100-11-- 1 |
| -10011-- 1 |
| 0-011-1- 1 |
| 0-11-01- 1 |
| 0111--0- 1 |
| 1011--0- 1 |
| 11-01-0- 1 |
| -010--11 1 |
| 00---111 1 |
| 1-10--01 1 |
| --110-01 1 |
| -11--001 1 |
| -1011--0 1 |
| .names _8 _7 _6 _5 _4 _3 _2 _1 [88] |
| 01001--- 1 |
| 10001--- 1 |
| 01010--- 1 |
| 10010--- 1 |
| 0001-1-- 1 |
| 00-011-- 1 |
| 0-1001-- 1 |
| 00--011- 1 |
| 00--101- 1 |
| -01-00-1 1 |
| 0011---0 1 |
| -01-10-0 1 |
| 011---00 1 |
| 101---00 1 |
| .names _6 _5 _4 _3 _2 _1 [2] |
| 001011 1 |
| 010011 1 |
| 001101 1 |
| 010101 1 |
| .names _9 _4 _2 _1 [52] [59] [66] [88] [606] |
| ---01--- 1 |
| --1--1-- 1 |
| -0----1- 1 |
| 1------1 1 |
| .end |
