| .model top |
| .inputs _9 _8 _7 _6 _5 _4 _3 _2 _1 |
| .outputs _52 |
| .names n_n106 n_n103 n_n102 n_n101 n_n100 [602] _52 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names _8 _1 [55] [53] [155] n_n106 |
| -0--1 1 |
| 101-- 1 |
| 00-1- 1 |
| .names _3 _2 [61] [568] n_n103 |
| -1-1 1 |
| 011- 1 |
| .names _4 _3 [68] [115] [116] n_n102 |
| 0--1- 1 |
| 0---1 1 |
| 011-- 1 |
| .names _9 _6 _3 [84] [80] [30] [32] n_n101 |
| 0----1- 1 |
| 0-----1 1 |
| 01-1--- 1 |
| 0-1-1-- 1 |
| .names _9 _8 _7 _6 [90] [89] [14] n_n100 |
| 1-----1 1 |
| 1--1-1- 1 |
| 100-1-- 1 |
| .names _9 _7 _6 _5 _4 _3 _2 [55] |
| 001-1-- 1 |
| -001-1- 1 |
| 0-10-1- 1 |
| 1-00-1- 1 |
| 01--01- 1 |
| 0--110- 1 |
| 011---0 1 |
| 11---00 1 |
| .names _9 _7 _6 _5 _4 _3 [53] |
| 11-0-1 1 |
| 0-1-11 1 |
| --1110 1 |
| .names _9 _8 _7 _6 _5 _4 _1 [61] |
| 1010--- 1 |
| 010-1-- 1 |
| 1-001-- 1 |
| 011-0-- 1 |
| 10-10-- 1 |
| -1010-- 1 |
| 01-0-1- 1 |
| 1---001 1 |
| --10-10 1 |
| ---1010 1 |
| 11---00 1 |
| .names _9 _8 _7 _6 _5 _2 _1 [68] |
| 0-110-- 1 |
| 001--1- 1 |
| 010--1- 1 |
| 10---01 1 |
| -10--01 1 |
| --1-001 1 |
| -01-1-0 1 |
| --011-0 1 |
| ---0110 1 |
| -11--00 1 |
| .names _9 _8 _7 _6 _5 _4 _3 [76] |
| -0101-- 1 |
| -1001-- 1 |
| -001-1- 1 |
| -01-01- 1 |
| -10-01- 1 |
| ---1001 1 |
| 101---0 1 |
| 110---0 1 |
| ---0110 1 |
| 1---010 1 |
| 1---100 1 |
| .names _8 _7 _5 _4 _3 _2 _1 [84] |
| 0101--- 1 |
| 0-1-01- 1 |
| 011--0- 1 |
| 101--0- 1 |
| -00--11 1 |
| 1-0--01 1 |
| --10-01 1 |
| -1--001 1 |
| .names _8 _7 _6 _5 _4 _2 _1 [80] |
| 100-1-- 1 |
| -1001-- 1 |
| 00---11 1 |
| .names _6 _5 _4 _3 _2 _1 [90] |
| 01-1-- 1 |
| -011-- 1 |
| --011- 1 |
| --101- 1 |
| 11---0 1 |
| .names _8 _7 _5 _4 _3 _2 _1 [89] |
| 0-001-- 1 |
| -0-00-1 1 |
| -0-10-0 1 |
| 01---00 1 |
| 10---00 1 |
| .names _6 _5 _4 _3 _2 _1 [2] |
| 001011 1 |
| 010011 1 |
| 001101 1 |
| 010101 1 |
| .names _8 _7 _6 _5 _4 [14] |
| 01001 1 |
| 10001 1 |
| 01010 1 |
| 10010 1 |
| .names _8 _7 _5 _4 _2 [30] |
| 11010 1 |
| .names _8 _7 _6 _5 _4 _2 _1 [32] |
| 11010-- 1 |
| 0-0111- 1 |
| -1011-0 1 |
| .names _9 _6 _5 _4 _3 _1 [99] |
| 00111- 1 |
| 1011-0 1 |
| -10110 1 |
| .names _9 _8 _7 _6 _5 _3 _2 [115] |
| 0-11-01 1 |
| -01-101 1 |
| .names _8 _7 _5 _3 _2 _1 [116] |
| 100-11 1 |
| 11-001 1 |
| .names _7 _5 _4 _3 _2 [155] |
| 00111 1 |
| .names _8 _7 _6 _5 _4 _3 _1 [568] |
| -1000-1 1 |
| 0-0-110 1 |
| --10010 1 |
| .names _2 _1 [76] [2] [99] [602] |
| ---1- 1 |
| 0---1 1 |
| 011-- 1 |
| .end |
