| .model top |
| .inputs _128_9_ _113_4_ _469_24_ _101_0_ _210_16_ _224_20_ _214_17_ _116_5_ \ |
| _104_1_ _137_12_ _234_22_ _217_18_ _107_2_ _134_11_ _952_31_ _110_3_ _221_19_ \ |
| _131_10_ _227_21_ _953_32_ _472_25_ _900_29_ _478_27_ _140_13_ _122_7_ _119_6_ \ |
| _237_23_ _898_28_ _146_15_ _125_8_ _475_26_ _143_14_ _902_30_ |
| .outputs _36_854_ _12_862_ _42_852_ _39_853_ _63_902_ _33_855_ _75_866_ \ |
| _66_903_ _69_908_ _72_909_ _18_860_ _48_850_ _51_899_ _30_856_ _57_912_ \ |
| _60_901_ _27_857_ _54_900_ _9_863_ _21_859_ _24_858_ _45_851_ _3_865_ _15_861_ \ |
| _6_864_ |
| .names _134_11_ n_n410 [37] [54] [38] _36_854_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names _110_3_ n_n134 n_n141 [60] [76] _12_862_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names _140_13_ n_n86 _42_852_ |
| 01 1 |
| 10 1 |
| .names _137_12_ n_n87 _39_853_ |
| 01 1 |
| 10 1 |
| .names [133] [134] _63_902_ |
| 1- 1 |
| -1 1 |
| .names _131_10_ n_n410 [39] [37] [38] _33_855_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names n_n409 n_n339 _75_866_ |
| 00 1 |
| .names [126] [127] _66_903_ |
| 1- 1 |
| -1 1 |
| .names _224_20_ _953_32_ _898_28_ n_n382 n_n146 _69_908_ |
| -10-- 1 |
| -0-11 1 |
| -0-00 1 |
| 1-111 1 |
| 01-01 1 |
| 01-10 1 |
| 1-100 1 |
| .names [1068] [1069] _72_909_ |
| 1- 1 |
| -1 1 |
| .names _116_5_ n_n134 n_n141 [75] [37] _18_860_ |
| 10--- 1 |
| 1-1-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01011 1 |
| .names _146_15_ n_n84 _48_850_ |
| 01 1 |
| 10 1 |
| .names [106] [107] _51_899_ |
| 1- 1 |
| -1 1 |
| .names _128_9_ n_n90 _30_856_ |
| 01 1 |
| 10 1 |
| .names _952_31_ _953_32_ n_n10 n_n235 _57_912_ |
| 1-01 1 |
| -001 1 |
| 1-10 1 |
| -010 1 |
| .names [97] [98] _60_901_ |
| 1- 1 |
| -1 1 |
| .names _125_8_ n_n416 [39] [76] [1010] _27_857_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names [93] [94] _54_900_ |
| 1- 1 |
| -1 1 |
| .names _107_2_ n_n420 n_n134 n_n141 [60] _9_863_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--1- 1 |
| 1---0 1 |
| 01101 1 |
| .names _119_6_ n_n134 n_n141 [75] [995] _21_859_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names _122_7_ n_n703 n_n416 [990] [998] _24_858_ |
| 1-0-- 1 |
| 1---0 1 |
| 10-0- 1 |
| 011-1 1 |
| 0-111 1 |
| .names _143_14_ n_n416 [37] [38] [1013] _45_851_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names _101_0_ n_n134 n_n141 [37] [60] _3_865_ |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names _113_4_ n_n134 n_n141 [75] [37] _15_861_ |
| 11--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 00111 1 |
| .names _104_1_ n_n420 n_n134 n_n141 [60] _6_864_ |
| 10--- 1 |
| 1-1-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01011 1 |
| .names n_n123 n_n113 n_n410 [39] [38] n_n86 |
| 01111 1 |
| .names n_n123 n_n113 n_n410 n_n446 [38] n_n87 |
| 00111 1 |
| .names _952_31_ _953_32_ [25] |
| 1- 1 |
| -0 1 |
| .names n_n413 n_n420 n_n410 n_n446 [1023] n_n409 |
| 0---1 1 |
| -0--1 1 |
| --0-1 1 |
| ---01 1 |
| .names n_n382 n_n380 [1041] [1051] [1060] n_n339 |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names _953_32_ _900_29_ [33] |
| 0- 1 |
| -1 1 |
| .names n_n123 n_n113 n_n416 [39] [38] n_n84 |
| 00111 1 |
| .names n_n197 n_n196 [42] [31] [68] n_n125 |
| 01111 1 |
| 10111 1 |
| 11011 1 |
| 00011 1 |
| 11101 1 |
| 00101 1 |
| 01001 1 |
| 10001 1 |
| 11110 1 |
| 00110 1 |
| 01010 1 |
| 10010 1 |
| 01100 1 |
| 10100 1 |
| 11000 1 |
| 00000 1 |
| .names n_n123 n_n113 n_n416 [54] [38] n_n90 |
| 00111 1 |
| .names _472_25_ _902_30_ n_n382 n_n145 n_n380 n_n10 |
| 0--1- 1 |
| -0-1- 1 |
| --111 1 |
| 1100- 1 |
| 11-00 1 |
| .names _101_0_ _210_16_ _953_32_ _237_23_ n_n235 |
| 10-- 1 |
| 1-1- 1 |
| 1--1 1 |
| 0100 1 |
| .names n_n134 n_n141 n_n416 [76] [1010] n_n91 |
| 01111 1 |
| .names n_n134 n_n141 n_n416 [37] [38] n_n85 |
| 00111 1 |
| .names _113_4_ _116_5_ _119_6_ n_n197 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _101_0_ _104_1_ _107_2_ n_n196 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _234_22_ _952_31_ _953_32_ _237_23_ n_n703 |
| 010- 1 |
| -100 1 |
| .names _234_22_ _221_19_ _902_30_ [52] |
| -0- 1 |
| 1-0 1 |
| .names _469_24_ _234_22_ _221_19_ _902_30_ [65] n_n413 |
| 0-0-1 1 |
| 1-0-0 1 |
| 01-01 1 |
| 11-00 1 |
| .names [178] [179] [180] n_n123 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names _472_25_ [70] n_n113 |
| 01 1 |
| 10 1 |
| .names _472_25_ [70] [178] [179] [180] n_n420 |
| 011-- 1 |
| 101-- 1 |
| 01-1- 1 |
| 10-1- 1 |
| 01--1 1 |
| 10--1 1 |
| .names _210_16_ _237_23_ _902_30_ n_n125 n_n109 |
| 0-1- 1 |
| 0--1 1 |
| -001 1 |
| 1100 1 |
| .names _214_17_ _237_23_ _902_30_ [56] |
| 0-- 1 |
| -00 1 |
| .names _210_16_ _214_17_ _237_23_ _902_30_ n_n125 n_n410 |
| 00-1- 1 |
| 00--1 1 |
| --001 1 |
| 10100 1 |
| .names _475_26_ _902_30_ n_n249 [46] n_n203 n_n134 |
| 01--- 1 |
| 0-111 1 |
| 0-001 1 |
| 0-010 1 |
| 0-100 1 |
| 10011 1 |
| 10101 1 |
| 10110 1 |
| 10000 1 |
| .names _478_27_ _902_30_ [73] n_n210 n_n204 n_n141 |
| 01--- 1 |
| 0-111 1 |
| 0-001 1 |
| 0-010 1 |
| 0-100 1 |
| 10011 1 |
| 10101 1 |
| 10110 1 |
| 10000 1 |
| .names n_n134 n_n141 n_n446 |
| 11 1 |
| .names _210_16_ _214_17_ _237_23_ _902_30_ n_n125 n_n416 |
| 10-1- 1 |
| --000 1 |
| 101-1 1 |
| 00-00 1 |
| .names n_n703 n_n413 n_n416 [990] [75] |
| 111- 1 |
| -111 1 |
| .names [1002] [1003] [1004] [1005] n_n382 |
| 1111 1 |
| .names _113_4_ _116_5_ _119_6_ n_n198 n_n199 n_n145 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| 01101 1 |
| 10101 1 |
| 11001 1 |
| 00001 1 |
| 01110 1 |
| 10110 1 |
| 11010 1 |
| 00010 1 |
| 11100 1 |
| 00100 1 |
| 01000 1 |
| 10000 1 |
| .names n_n134 n_n141 [39] |
| 01 1 |
| .names _472_25_ [70] [178] [179] [180] [37] |
| 111-- 1 |
| 001-- 1 |
| 11-1- 1 |
| 00-1- 1 |
| 11--1 1 |
| 00--1 1 |
| .names _469_24_ _234_22_ _221_19_ _902_30_ [65] n_n421 |
| 1-0-1 1 |
| 0-0-0 1 |
| 11-01 1 |
| 01-00 1 |
| .names n_n703 n_n420 n_n410 n_n446 n_n421 n_n106 |
| 11111 1 |
| .names _234_22_ _217_18_ _953_32_ [73] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names _128_9_ _146_15_ _143_14_ n_n198 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n134 n_n141 [54] |
| 10 1 |
| .names n_n91 n_n85 [1015] [1020] n_n380 |
| 0011 1 |
| .names n_n703 n_n416 [990] [34] |
| 11- 1 |
| -11 1 |
| .names _140_13_ _125_8_ n_n198 n_n199 n_n476 |
| 1111 1 |
| 0011 1 |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| 1100 1 |
| 0000 1 |
| .names _469_24_ n_n703 [52] n_n420 [65] [58] |
| 01111 1 |
| 11110 1 |
| .names n_n703 n_n413 n_n420 n_n446 n_n416 n_n107 |
| 11111 1 |
| .names _902_30_ n_n235 n_n197 n_n198 n_n199 [70] |
| 1---- 1 |
| -1111 1 |
| -0011 1 |
| -0101 1 |
| -1001 1 |
| -0110 1 |
| -1010 1 |
| -1100 1 |
| -0000 1 |
| .names _110_3_ _122_7_ [42] |
| 01 1 |
| 10 1 |
| .names _110_3_ _122_7_ n_n197 n_n196 n_n146 |
| 1111 1 |
| 0011 1 |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| 1100 1 |
| 0000 1 |
| .names _137_12_ _234_22_ _221_19_ _953_32_ n_n250 |
| 10-- 1 |
| 1-0- 1 |
| 1--1 1 |
| 0110 1 |
| .names n_n703 n_n416 n_n421 [990] [60] |
| 111- 1 |
| -111 1 |
| .names _128_9_ _146_15_ _125_8_ _143_14_ [31] |
| 1111 1 |
| 0011 1 |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| 1100 1 |
| 0000 1 |
| .names _224_20_ _953_32_ [68] |
| 0- 1 |
| -1 1 |
| .names _137_12_ _134_11_ _131_10_ n_n199 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _128_9_ _110_3_ _119_6_ n_n205 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _214_17_ _953_32_ _237_23_ _143_14_ n_n249 |
| 0--1 1 |
| -1-1 1 |
| --11 1 |
| 1000 1 |
| .names _131_10_ _140_13_ _146_15_ _125_8_ [46] |
| 1111 1 |
| 0011 1 |
| 0101 1 |
| 1001 1 |
| 0110 1 |
| 1010 1 |
| 1100 1 |
| 0000 1 |
| .names n_n703 n_n413 n_n410 n_n446 [37] n_n105 |
| 11111 1 |
| .names _472_25_ [70] [178] [179] [180] [76] |
| 01000 1 |
| 10000 1 |
| .names _110_3_ _227_21_ _953_32_ _140_13_ n_n201 |
| 10-1 1 |
| 1-11 1 |
| 00-0 1 |
| 0-10 1 |
| 0101 1 |
| 1100 1 |
| .names n_n413 n_n420 n_n410 n_n134 n_n141 [29] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names _128_9_ _134_11_ _143_14_ n_n210 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _116_5_ _107_2_ _122_7_ n_n204 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _113_4_ _104_1_ _122_7_ n_n203 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _140_13_ _146_15_ _125_8_ n_n200 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n703 n_n413 n_n410 n_n446 [76] n_n102 |
| 11111 1 |
| .names n_n703 n_n420 n_n410 n_n446 [1030] n_n101 |
| 11111 1 |
| .names _902_30_ n_n196 n_n198 n_n199 n_n201 [65] |
| 1---- 1 |
| -0111 1 |
| -1011 1 |
| -1101 1 |
| -0001 1 |
| -1110 1 |
| -0010 1 |
| -0100 1 |
| -1000 1 |
| .names _469_24_ [52] [65] [145] [146] [38] |
| 11100 1 |
| 01000 1 |
| .names _469_24_ _902_30_ n_n382 n_n380 [1078] [93] |
| 0---1 1 |
| -0--1 1 |
| --111 1 |
| .names _469_24_ _902_30_ n_n382 n_n380 [1079] [94] |
| 110-1 1 |
| 11-01 1 |
| .names _475_26_ _902_30_ n_n382 n_n380 [1076] [97] |
| 0---1 1 |
| -0--1 1 |
| --111 1 |
| .names _475_26_ _902_30_ n_n382 n_n380 [1077] [98] |
| 110-1 1 |
| 11-01 1 |
| .names _210_16_ _902_30_ n_n382 n_n380 [1070] [106] |
| 0---1 1 |
| -0--1 1 |
| --111 1 |
| .names _210_16_ _902_30_ n_n382 n_n380 [1071] [107] |
| 110-1 1 |
| 11-01 1 |
| .names _217_18_ _902_30_ n_n382 n_n380 [1062] [126] |
| 0---1 1 |
| -0--1 1 |
| --111 1 |
| .names _217_18_ _902_30_ n_n382 n_n380 [1063] [127] |
| 110-1 1 |
| 11-01 1 |
| .names _478_27_ _902_30_ n_n382 n_n380 [1021] [133] |
| 0---1 1 |
| -0--1 1 |
| --111 1 |
| .names _478_27_ _902_30_ n_n382 n_n380 [1022] [134] |
| 110-1 1 |
| 11-01 1 |
| .names _234_22_ _952_31_ _953_32_ _237_23_ _902_30_ [145] |
| 1--1- 1 |
| -0--0 1 |
| --1-0 1 |
| .names _234_22_ _952_31_ _953_32_ _900_29_ _237_23_ [146] |
| -00-- 1 |
| -0-1- 1 |
| --11- 1 |
| 1-0-1 1 |
| 1--11 1 |
| .names _902_30_ n_n250 n_n205 n_n200 [984] [178] |
| 01111 1 |
| 00011 1 |
| 00101 1 |
| 01001 1 |
| .names _234_22_ _902_30_ n_n250 n_n205 n_n200 [179] |
| 10011 1 |
| 10101 1 |
| 10110 1 |
| 10000 1 |
| .names _217_18_ _902_30_ n_n250 n_n205 n_n200 [180] |
| 01--- 1 |
| 0-011 1 |
| 0-101 1 |
| 0-110 1 |
| 0-000 1 |
| .names _217_18_ _234_22_ [984] |
| 10 1 |
| .names _234_22_ _953_32_ _237_23_ _898_28_ _902_30_ [990] |
| 01-01 1 |
| -1001 1 |
| .names _472_25_ [70] [178] [179] [180] [995] |
| 11000 1 |
| 00000 1 |
| .names n_n413 n_n420 n_n134 n_n141 [998] |
| 1100 1 |
| .names n_n446 n_n421 [34] [76] [998] [1002] |
| --0-- 1 |
| 0---0 1 |
| -0--0 1 |
| ---00 1 |
| .names n_n420 [75] [37] [54] [60] [1003] |
| ---0- 1 |
| 00--- 1 |
| 0-0-- 1 |
| -0--0 1 |
| --0-0 1 |
| .names n_n446 [75] [37] [60] [995] [1004] |
| 0---- 1 |
| -00-- 1 |
| -0-0- 1 |
| --0-0 1 |
| ---00 1 |
| .names n_n420 [75] [39] [37] [60] [1005] |
| --0-- 1 |
| 00--- 1 |
| 0--0- 1 |
| -0--0 1 |
| ---00 1 |
| .names _469_24_ [52] [65] [145] [146] [1010] |
| 01100 1 |
| 11000 1 |
| .names n_n134 n_n141 [1013] |
| 00 1 |
| .names n_n410 n_n134 n_n141 [37] [38] [1015] |
| 0---- 1 |
| ---0- 1 |
| ----0 1 |
| -11-- 1 |
| -00-- 1 |
| .names n_n91 n_n85 [1015] [1019] |
| 001 1 |
| .names n_n86 n_n87 n_n84 n_n90 [1020] |
| 0000 1 |
| .names _952_31_ _953_32_ [73] n_n210 n_n204 [1021] |
| 1-011 1 |
| -0011 1 |
| 1-101 1 |
| -0101 1 |
| 1-110 1 |
| -0110 1 |
| 1-000 1 |
| -0000 1 |
| .names _952_31_ _953_32_ [73] n_n210 n_n204 [1022] |
| 1-111 1 |
| -0111 1 |
| 1-001 1 |
| -0001 1 |
| 1-010 1 |
| -0010 1 |
| 1-100 1 |
| -0100 1 |
| .names _953_32_ _952_31_ [1023] |
| 00 1 |
| .names n_n109 [56] n_n134 n_n141 [1028] |
| 1011 1 |
| .names _469_24_ _234_22_ _221_19_ _902_30_ [65] [1030] |
| 001-1 1 |
| 0-111 1 |
| 101-0 1 |
| 1-110 1 |
| .names _953_32_ n_n410 n_n134 n_n141 [1033] |
| 000- 1 |
| 00-1 1 |
| 0-11 1 |
| 0-00 1 |
| .names n_n409 n_n106 [58] [1028] [1033] [1039] |
| 000-1 1 |
| 00-01 1 |
| .names n_n107 n_n105 [29] n_n102 n_n101 [1040] |
| 00100 1 |
| .names [1040] [1039] [1041] |
| 11 1 |
| .names _953_32_ n_n410 [1043] |
| 00 1 |
| .names n_n409 n_n106 [58] [1028] [1043] [1049] |
| 000-1 1 |
| 00-01 1 |
| .names n_n107 n_n105 [29] n_n102 n_n101 [1050] |
| 00100 1 |
| .names [1050] [1049] [1051] |
| 11 1 |
| .names n_n107 n_n105 [29] n_n102 n_n101 [1059] |
| 00100 1 |
| .names _953_32_ n_n409 n_n106 [58] [1059] [1060] |
| 00001 1 |
| .names _952_31_ _953_32_ n_n250 n_n205 n_n200 [1062] |
| 1-111 1 |
| -0111 1 |
| 1-001 1 |
| -0001 1 |
| 1-010 1 |
| -0010 1 |
| 1-100 1 |
| -0100 1 |
| .names _952_31_ _953_32_ n_n250 n_n205 n_n200 [1063] |
| 1-011 1 |
| -0011 1 |
| 1-101 1 |
| -0101 1 |
| 1-110 1 |
| -0110 1 |
| 1-000 1 |
| -0000 1 |
| .names _953_32_ _227_21_ [1067] |
| 10 1 |
| .names [33] n_n476 [1019] [1020] [1067] [1068] |
| 0---- 1 |
| -10-1 1 |
| -1-01 1 |
| -0111 1 |
| .names _227_21_ _953_32_ n_n476 [1019] [1020] [1069] |
| 1-00- 1 |
| -000- 1 |
| 1-0-0 1 |
| -00-0 1 |
| 1-111 1 |
| -0111 1 |
| .names _952_31_ _953_32_ n_n125 [1070] |
| 1-0 1 |
| -00 1 |
| .names _952_31_ _953_32_ n_n125 [1071] |
| 1-1 1 |
| -01 1 |
| .names _952_31_ _953_32_ n_n249 [46] n_n203 [1076] |
| 1-011 1 |
| -0011 1 |
| 1-101 1 |
| -0101 1 |
| 1-110 1 |
| -0110 1 |
| 1-000 1 |
| -0000 1 |
| .names _952_31_ _953_32_ n_n249 [46] n_n203 [1077] |
| 1-111 1 |
| -0111 1 |
| 1-001 1 |
| -0001 1 |
| 1-010 1 |
| -0010 1 |
| 1-100 1 |
| -0100 1 |
| .names [25] n_n196 n_n198 n_n199 n_n201 [1078] |
| 11111 1 |
| 10011 1 |
| 10101 1 |
| 11001 1 |
| 10110 1 |
| 11010 1 |
| 11100 1 |
| 10000 1 |
| .names [25] n_n196 n_n198 n_n199 n_n201 [1079] |
| 10111 1 |
| 11011 1 |
| 11101 1 |
| 10001 1 |
| 11110 1 |
| 10010 1 |
| 10100 1 |
| 11000 1 |
| .end |
