| .model top |
| .inputs _9 _8 _7 _6 _5 _4 _3 _2 _1 |
| .outputs _52 |
| .names _4 n_n103 [117] [578] [603] [605] _52 |
| -1---- 1 |
| ----1- 1 |
| -----1 1 |
| 0-1--- 1 |
| 0--1-- 1 |
| .names _3 _2 [61] [137] [138] n_n103 |
| -1-1- 1 |
| -1--1 1 |
| 011-- 1 |
| .names _2 _1 [99] [105] [106] [580] n_n104 |
| 0-1--- 1 |
| 01-1-- 1 |
| 01--1- 1 |
| 01---1 1 |
| .names _9 _8 [53] [57] [155] [558] [52] |
| ----1- 1 |
| -01--- 1 |
| -1---1 1 |
| 01-1-- 1 |
| .names _6 [45] [90] [14] [19] [597] [88] |
| ---1-- 1 |
| -11--- 1 |
| 1---1- 1 |
| 1----1 1 |
| .names _8 _7 [45] |
| 00 1 |
| .names _9 _7 _6 _5 _4 _3 [53] |
| 11-0-1 1 |
| 0-1-11 1 |
| --1110 1 |
| .names _7 _6 _5 _4 _3 _2 [57] |
| 01-1-- 1 |
| -10-1- 1 |
| 1--01- 1 |
| --110- 1 |
| 11---0 1 |
| .names _9 [63] [62] [143] [145] [563] [61] |
| ---1-- 1 |
| ----1- 1 |
| 11---- 1 |
| --1--1 1 |
| .names _8 _7 _6 _5 _4 _1 [63] |
| -001-- 1 |
| ---001 1 |
| 1---00 1 |
| .names _9 _8 _7 _4 _1 [62] |
| 10--- 1 |
| -10-- 1 |
| ---10 1 |
| .names _9 _8 _6 _5 [67] |
| 0-1- 1 |
| -0-1 1 |
| .names _8 _7 _6 _4 _2 _1 [82] |
| 1100-- 1 |
| 0-011- 1 |
| -101-0 1 |
| .names _8 _7 _4 _3 _2 _1 [86] |
| 0--01- 1 |
| 01--0- 1 |
| 10--0- 1 |
| --0-01 1 |
| .names _6 _5 _4 _3 _2 _1 [90] |
| 01-1-- 1 |
| -011-- 1 |
| --011- 1 |
| --101- 1 |
| 11---0 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 _2 _1 [19] |
| 0100 1 |
| 1000 1 |
| .names _8 _7 _5 _4 _2 [30] |
| 11010 1 |
| .names _6 _5 [86] [40] [41] [33] |
| 1--1- 1 |
| 1---1 1 |
| 111-- 1 |
| .names _8 _7 _2 _1 [34] |
| 0011 1 |
| .names _8 _7 _6 _5 _4 [35] |
| 100-1 1 |
| -1001 1 |
| .names _8 _7 _5 _4 [40] |
| 0101 1 |
| .names _8 _7 _5 _3 _2 _1 [41] |
| -00-11 1 |
| 1-0-01 1 |
| -1-001 1 |
| .names _9 _6 _5 _4 _3 _1 [99] |
| 00111- 1 |
| 1011-0 1 |
| -10110 1 |
| .names _9 _8 _7 _5 _4 _3 [105] |
| 101--0 1 |
| 110--0 1 |
| 1--010 1 |
| 1--100 1 |
| .names _8 _7 _6 _5 _4 _3 [106] |
| 001-1- 1 |
| --1001 1 |
| .names _8 _7 _5 _3 _2 _1 [116] |
| 100-11 1 |
| 11-001 1 |
| .names _3 [120] [121] [122] [117] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names _8 _7 _6 _5 _2 _1 [120] |
| 01-1-0 1 |
| -011-0 1 |
| --0110 1 |
| .names _9 _8 _7 _5 _2 _1 [121] |
| 10--01 1 |
| -10-01 1 |
| --1001 1 |
| -11-00 1 |
| .names _9 _8 _7 _6 _5 _2 [122] |
| 0-110- 1 |
| 001--1 1 |
| 010--1 1 |
| .names _8 _6 _4 _3 _1 [137] |
| 00110 1 |
| .names _7 _6 _5 _4 _3 _1 [138] |
| 1000-1 1 |
| -10010 1 |
| .names _9 _8 _7 _6 _5 _4 [143] |
| 010-1- 1 |
| 011-0- 1 |
| 01-0-1 1 |
| .names _9 _8 _7 _6 _4 _1 [145] |
| 1010-- 1 |
| --1010 1 |
| .names _7 _5 _4 _3 _2 [155] |
| 00111 1 |
| .names _9 _7 _6 _5 _3 _2 [558] |
| -0011- 1 |
| 1-001- 1 |
| 11--00 1 |
| .names _5 _6 [563] |
| 01 1 |
| .names _7 _3 _2 [67] [116] [578] |
| ----1 1 |
| 1011- 1 |
| .names _8 _7 _6 _5 _4 _3 [580] |
| 0101-- 1 |
| 1001-- 1 |
| 01-01- 1 |
| 10-01- 1 |
| --0110 1 |
| .names _5 _3 [82] [30] [34] [35] [592] |
| ---1-- 1 |
| 1-1--- 1 |
| -1--1- 1 |
| -1---1 1 |
| .names _8 _7 _5 _4 _3 _1 [597] |
| 0-001- 1 |
| -0-001 1 |
| -0-100 1 |
| .names _9 _1 [52] [88] [603] |
| -01- 1 |
| 1--1 1 |
| .names _9 n_n104 [2] [33] [592] [605] |
| -1--- 1 |
| --1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .end |
