| .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 [54] [78] _36_854_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _110_3_ [60] [991] _12_862_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _140_13_ n_n410 [39] [992] _42_852_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _137_12_ n_n410 n_n446 [79] _39_853_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _952_31_ _953_32_ n_n171 n_n336 _63_902_ |
| 1-11 1 |
| -011 1 |
| 1-00 1 |
| -000 1 |
| .names _131_10_ n_n410 [39] [78] _33_855_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n409 [130] [1061] _75_866_ |
| 000 1 |
| .names _952_31_ _953_32_ n_n155 n_n337 _66_903_ |
| 1-11 1 |
| -011 1 |
| 1-00 1 |
| -000 1 |
| .names _224_20_ _953_32_ _898_28_ n_n24 _69_908_ |
| -0-0 1 |
| 01-1 1 |
| -101 1 |
| 1-10 1 |
| .names _227_21_ _953_32_ _900_29_ n_n23 _72_909_ |
| -10- 1 |
| 1--0 1 |
| -0-0 1 |
| 01-1 1 |
| .names _116_5_ [75] [993] _18_860_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _146_15_ n_n416 [39] [79] _48_850_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _952_31_ _953_32_ n_n338 n_n125 _51_899_ |
| 1-11 1 |
| -011 1 |
| 1-00 1 |
| -000 1 |
| .names _128_9_ n_n416 [79] [54] _30_856_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names [99] [100] _57_912_ |
| 1- 1 |
| -1 1 |
| .names _952_31_ _953_32_ n_n335 n_n159 _60_901_ |
| 1-11 1 |
| -011 1 |
| 1-00 1 |
| -000 1 |
| .names _125_8_ n_n416 [1010] [1011] _27_857_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _952_31_ _953_32_ n_n333 n_n126 _54_900_ |
| 1-11 1 |
| -011 1 |
| 1-00 1 |
| -000 1 |
| .names _107_2_ [60] [994] _9_863_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _119_6_ [75] [996] _21_859_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _122_7_ n_n92 _24_858_ |
| 01 1 |
| 10 1 |
| .names _143_14_ n_n416 [78] [1013] _45_851_ |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _101_0_ [60] [999] _3_865_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _113_4_ [75] [1000] _15_861_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _104_1_ [60] [1001] _6_864_ |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n410 [39] [992] n_n86 |
| 111 1 |
| .names n_n410 n_n446 [79] n_n87 |
| 111 1 |
| .names [73] n_n210 n_n204 n_n171 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _478_27_ _902_30_ n_n382 n_n380 n_n336 |
| 110- 1 |
| 11-0 1 |
| .names n_n410 n_n446 [27] [1023] n_n409 |
| 0--1 1 |
| -0-1 1 |
| --11 1 |
| .names n_n250 n_n205 n_n200 n_n155 |
| 011 1 |
| 101 1 |
| 110 1 |
| 000 1 |
| .names _217_18_ _902_30_ n_n382 n_n380 n_n337 |
| 110- 1 |
| 11-0 1 |
| .names _953_32_ _898_28_ n_n382 n_n146 n_n24 |
| 10-- 1 |
| --01 1 |
| --10 1 |
| .names n_n476 [1019] [1020] n_n23 |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _953_32_ _900_29_ [33] |
| 0- 1 |
| -1 1 |
| .names _210_16_ _902_30_ n_n382 n_n380 n_n338 |
| 110- 1 |
| 11-0 1 |
| .names _224_20_ _953_32_ n_n146 [31] n_n125 |
| 0-11 1 |
| -111 1 |
| 0-00 1 |
| -100 1 |
| 1001 1 |
| 1010 1 |
| .names _101_0_ _210_16_ _953_32_ _237_23_ n_n235 |
| 10-- 1 |
| 1-1- 1 |
| 1--1 1 |
| 0100 1 |
| .names _475_26_ _902_30_ n_n382 n_n380 n_n335 |
| 110- 1 |
| 11-0 1 |
| .names n_n249 [46] n_n203 n_n159 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n413 n_n416 n_n272 [1011] n_n91 |
| 1101 1 |
| .names _469_24_ _902_30_ n_n382 n_n380 n_n333 |
| 110- 1 |
| 11-0 1 |
| .names n_n196 n_n198 n_n199 n_n201 n_n126 |
| 0111 1 |
| 1011 1 |
| 1101 1 |
| 0001 1 |
| 1110 1 |
| 0010 1 |
| 0100 1 |
| 1000 1 |
| .names n_n703 n_n416 [990] [998] n_n92 |
| 11-1 1 |
| -111 1 |
| .names n_n416 [78] [1013] n_n85 |
| 111 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_ _902_30_ n_n126 [52] n_n413 |
| 01-1 1 |
| 0-11 1 |
| 1001 1 |
| .names _234_22_ _217_18_ _902_30_ n_n155 n_n123 |
| -01- 1 |
| -0-1 1 |
| 1-01 1 |
| 0100 1 |
| .names _472_25_ _902_30_ n_n235 n_n145 n_n113 |
| 01-- 1 |
| 0-11 1 |
| 0-00 1 |
| 1001 1 |
| 1010 1 |
| .names _210_16_ _214_17_ n_n119 [50] n_n410 |
| --00 1 |
| 000- 1 |
| 1011 1 |
| .names _475_26_ [61] n_n134 |
| 01 1 |
| 10 1 |
| .names _478_27_ [63] n_n141 |
| 01 1 |
| 10 1 |
| .names _478_27_ _475_26_ [61] [63] n_n446 |
| 0011 1 |
| 0101 1 |
| 1010 1 |
| 1100 1 |
| .names _210_16_ _214_17_ n_n119 [50] n_n416 |
| --10 1 |
| 001- 1 |
| 1001 1 |
| .names n_n703 n_n413 n_n416 [990] [75] |
| 111- 1 |
| -111 1 |
| .names [1002] [1003] [1004] [1005] n_n382 |
| 1111 1 |
| .names _902_30_ n_n382 [1019] [1020] [51] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| .names n_n197 n_n198 n_n199 n_n145 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names _478_27_ _475_26_ [61] [63] [39] |
| 0111 1 |
| 0001 1 |
| 1110 1 |
| 1000 1 |
| .names n_n123 n_n113 n_n421 n_n272 [79] |
| 0010 1 |
| .names _469_24_ _902_30_ n_n126 [52] n_n421 |
| 11-1 1 |
| 1-11 1 |
| 0001 1 |
| .names n_n703 n_n410 n_n446 [1024] n_n106 |
| 1111 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 _902_30_ n_n249 [46] n_n203 [61] |
| 1--- 1 |
| -111 1 |
| -001 1 |
| -010 1 |
| -100 1 |
| .names _478_27_ _475_26_ [61] [63] [54] |
| 1011 1 |
| 1101 1 |
| 0010 1 |
| 0100 1 |
| .names n_n91 n_n85 [1015] [1020] n_n380 |
| 0011 1 |
| .names n_n413 n_n123 n_n113 [27] |
| 0-- 1 |
| -0- 1 |
| --0 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 n_n123 n_n113 n_n421 n_n272 [78] |
| 1010 1 |
| .names n_n703 n_n413 n_n123 n_n113 [58] |
| 1111 1 |
| .names n_n446 n_n416 [58] n_n107 |
| 111 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_n410 n_n446 [1026] n_n105 |
| 1111 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_n410 n_n446 [27] [29] |
| 0-- 1 |
| -0- 1 |
| --1 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 _902_30_ [73] n_n210 n_n204 [63] |
| 1--- 1 |
| -111 1 |
| -001 1 |
| -010 1 |
| -100 1 |
| .names _902_30_ n_n146 [31] [68] n_n119 |
| 0011 1 |
| 0101 1 |
| 0110 1 |
| 0000 1 |
| .names n_n410 [58] [1027] n_n100 |
| 011 1 |
| .names n_n703 n_n410 n_n446 [1029] n_n102 |
| 1111 1 |
| .names n_n703 n_n410 n_n446 [1031] n_n101 |
| 1111 1 |
| .names _953_32_ _900_29_ n_n703 [53] n_n272 |
| 0-0- 1 |
| -10- 1 |
| --01 1 |
| .names _234_22_ _237_23_ _902_30_ [53] |
| --0 1 |
| 11- 1 |
| .names _237_23_ _902_30_ [50] |
| 1- 1 |
| -1 1 |
| .names _472_25_ [51] n_n145 [1074] [99] |
| 0-11 1 |
| -011 1 |
| 1101 1 |
| .names _472_25_ [51] n_n145 [1075] [100] |
| 0-01 1 |
| -001 1 |
| 1111 1 |
| .names n_n382 [1019] [1020] [1060] [130] |
| 1111 1 |
| .names _953_32_ _898_28_ [53] [990] |
| 100 1 |
| .names n_n123 n_n113 n_n446 [991] |
| 011 1 |
| .names n_n123 n_n113 n_n421 n_n272 [992] |
| 0110 1 |
| .names n_n123 n_n113 [54] [993] |
| 101 1 |
| .names n_n123 n_n113 [54] [994] |
| 111 1 |
| .names n_n123 n_n113 n_n446 [996] |
| 001 1 |
| .names _478_27_ _475_26_ [61] [63] [997] |
| 1111 1 |
| 1001 1 |
| 0110 1 |
| 0000 1 |
| .names n_n413 n_n123 n_n113 [997] [998] |
| 1111 1 |
| .names n_n123 n_n113 n_n446 [999] |
| 101 1 |
| .names n_n123 n_n113 [39] [1000] |
| 101 1 |
| .names n_n123 n_n113 [39] [1001] |
| 111 1 |
| .names n_n92 [60] [991] [1002] |
| 00- 1 |
| 0-0 1 |
| .names [75] [60] [993] [994] [1003] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [75] [60] [996] [999] [1004] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [75] [60] [1000] [1001] [1005] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [33] n_n703 n_n413 [53] [1010] |
| -11- 1 |
| 0-10 1 |
| .names n_n123 n_n113 [39] [1011] |
| 011 1 |
| .names _478_27_ _475_26_ [61] [63] [1013] |
| 1111 1 |
| 1001 1 |
| 0110 1 |
| 0000 1 |
| .names n_n410 n_n134 n_n141 [78] [1015] |
| 0--- 1 |
| ---0 1 |
| -11- 1 |
| -00- 1 |
| .names n_n134 n_n141 n_n416 [79] [1018] |
| --0- 1 |
| ---0 1 |
| 11-- 1 |
| 00-- 1 |
| .names n_n91 n_n85 [1015] [1019] |
| 001 1 |
| .names n_n86 n_n87 [1018] [1020] |
| 001 1 |
| .names _953_32_ _952_31_ [1023] |
| 00 1 |
| .names n_n123 n_n113 n_n421 [1024] |
| 111 1 |
| .names n_n413 n_n123 n_n113 [1026] |
| 110 1 |
| .names _210_16_ n_n446 n_n119 [50] [1027] |
| 010- 1 |
| -100 1 |
| 1111 1 |
| .names n_n413 n_n123 n_n113 [1029] |
| 101 1 |
| .names _469_24_ _902_30_ n_n126 [52] [1030] |
| 01-0 1 |
| 0-10 1 |
| 1000 1 |
| .names n_n123 n_n113 [1030] [1031] |
| 111 1 |
| .names _953_32_ n_n410 [39] [54] [1033] |
| 00-0 1 |
| 0-00 1 |
| .names n_n107 [29] n_n101 [1038] |
| 010 1 |
| .names n_n409 n_n106 n_n100 [1033] [1039] |
| 0001 1 |
| .names n_n105 n_n102 [1038] [1039] [1041] |
| 0011 1 |
| .names _953_32_ n_n410 [1043] |
| 00 1 |
| .names n_n107 [29] n_n101 [1048] |
| 010 1 |
| .names n_n409 n_n106 n_n100 [1043] [1049] |
| 0001 1 |
| .names n_n105 n_n102 [1048] [1049] [1051] |
| 0011 1 |
| .names n_n107 [29] n_n101 [1057] |
| 010 1 |
| .names _953_32_ n_n409 n_n106 [58] [1058] |
| 0000 1 |
| .names n_n105 n_n102 [1057] [1058] [1060] |
| 0011 1 |
| .names n_n382 n_n380 [1041] [1051] [1061] |
| 111- 1 |
| 11-1 1 |
| .names _952_31_ _953_32_ n_n235 [1074] |
| 1-0 1 |
| -00 1 |
| .names _952_31_ _953_32_ n_n235 [1075] |
| 1-1 1 |
| -01 1 |
| .end |
