.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