.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_ [78] [989] _36_854_
10- 1
1-0 1
011 1
.names _110_3_ [60] [991] _12_862_
10- 1
1-0 1
011 1
.names _140_13_ [77] [992] _42_852_
10- 1
1-0 1
011 1
.names _137_12_ [79] [28] _39_853_
10- 1
1-1 1
010 1
.names n_n171 n_n336 [25] _63_902_
111 1
001 1
.names _131_10_ [78] [77] _33_855_
10- 1
1-0 1
011 1
.names n_n409 [130] [1061] _75_866_
000 1
.names [25] n_n155 n_n337 _66_903_
111 1
100 1
.names _953_32_ n_n24 [55] _69_908_
00- 1
-00 1
111 1
.names [1068] [1069] _72_909_
1- 1
-1 1
.names _116_5_ [75] [993] _18_860_
10- 1
1-0 1
011 1
.names _146_15_ [79] [1008] _48_850_
10- 1
1-0 1
011 1
.names [25] n_n338 n_n125 _51_899_
111 1
100 1
.names _128_9_ [79] [1009] _30_856_
10- 1
1-0 1
011 1
.names [25] n_n10 n_n235 _57_912_
101 1
110 1
.names [25] n_n335 n_n159 _60_901_
111 1
100 1
.names _125_8_ [1011] [1012] _27_857_
10- 1
1-0 1
011 1
.names [25] n_n333 n_n126 _54_900_
111 1
100 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_ [34] [998] _24_858_
10- 1
1-0 1
011 1
.names _143_14_ [78] [1014] _45_851_
10- 1
1-0 1
011 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_ [26] n_n336
111 1
.names _952_31_ _953_32_ [25]
1- 1
-0 1
.names [27] [28] [1023] n_n409
1-1 1
-11 1
.names _137_12_ [43] [74] n_n155
111 1
001 1
010 1
100 1
.names _217_18_ _902_30_ [26] n_n337
111 1
.names n_n382 n_n146 [67] n_n24
--0 1
01- 1
10- 1
.names _224_20_ _898_28_ [55]
0- 1
-0 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 [75] [37] [54] n_n94
111 1
.names _210_16_ _902_30_ [26] n_n338
111 1
.names n_n146 n_n156 n_n125
11 1
00 1
.names _472_25_ [51] n_n145 n_n10
0-1 1
-01 1
110 1
.names _101_0_ [71] n_n235
11 1
00 1
.names _475_26_ _902_30_ [26] n_n335
111 1
.names n_n249 [46] n_n203 n_n159
111 1
001 1
010 1
100 1
.names [39] [76] [1012] n_n91
111 1
.names _469_24_ _902_30_ [26] n_n333
111 1
.names n_n142 [32] [69] n_n126
011 1
101 1
110 1
000 1
.names n_n420 [54] [60] n_n97
111 1
.names n_n446 [75] [995] n_n93
111 1
.names [141] [142] [998] n_n92
1-1 1
-11 1
.names [37] [38] [1014] n_n85
111 1
.names [75] [39] [37] n_n95
111 1
.names n_n420 [39] [60] n_n98
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 n_n196 n_n198 n_n199 n_n142
111 1
001 1
010 1
100 1
.names [149] [150] n_n703
1- 1
-1 1
.names _234_22_ _221_19_ _902_30_ [52]
-0- 1
1-0 1
.names _469_24_ [52] [65] n_n413
011 1
110 1
.names _217_18_ [62] [986] n_n123
--1 1
01- 1
.names _472_25_ [70] n_n113
01 1
10 1
.names n_n113 [180] [986] n_n420
11- 1
1-1 1
.names _210_16_ n_n119 [50] n_n109
00- 1
-00 1
111 1
.names _214_17_ _237_23_ _902_30_ [56]
0-- 1
-00 1
.names n_n109 [56] n_n410
11 1
.names _475_26_ _902_30_ n_n159 n_n134
01- 1
0-1 1
100 1
.names _478_27_ _902_30_ n_n171 n_n141
01- 1
0-1 1
100 1
.names n_n134 n_n141 n_n446
11 1
.names n_n109 [56] n_n416
01 1
.names n_n413 [141] [142] [75]
11- 1
1-1 1
.names [1002] [1003] [1007] n_n382
111 1
.names _902_30_ [26] [51]
11 1
.names n_n197 n_n198 n_n199 n_n145
111 1
001 1
010 1
100 1
.names n_n134 n_n141 [39]
01 1
.names n_n123 n_n113 [38] [79]
001 1
.names n_n113 [180] [986] [37]
01- 1
0-1 1
.names _469_24_ [52] [65] n_n421
111 1
010 1
.names n_n703 n_n410 n_n446 [57]
111 1
.names n_n420 n_n421 [57] n_n106
111 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_n250 [43] [62]
1-- 1
-11 1
-00 1
.names n_n134 n_n141 [54]
10 1
.names [1019] [1020] n_n380
11 1
.names n_n413 n_n420 [27]
0- 1
-0 1
.names [141] [142] [34]
1- 1
-1 1
.names _140_13_ _125_8_ n_n246
11 1
00 1
.names n_n198 n_n246 n_n199 n_n476
111 1
001 1
010 1
100 1
.names [37] n_n421 n_n272 [78]
110 1
.names n_n703 n_n413 n_n420 [58]
111 1
.names n_n446 n_n416 [58] n_n107
111 1
.names _902_30_ n_n235 n_n145 [70]
1-- 1
-11 1
-00 1
.names _110_3_ _122_7_ [42]
01 1
10 1
.names n_n197 n_n196 [42] n_n146
011 1
101 1
110 1
000 1
.names _137_12_ [74] n_n250
11 1
00 1
.names n_n205 n_n200 [43]
01 1
10 1
.names n_n109 [56] [39] [77]
111 1
.names n_n421 [141] [142] [60]
11- 1
1-1 1
.names _224_20_ _953_32_ [68]
0- 1
-1 1
.names _125_8_ n_n198 [68] n_n156
111 1
001 1
010 1
100 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 _143_14_ [72] n_n249
11 1
00 1
.names _131_10_ n_n200 [46]
11 1
00 1
.names n_n113 [180] [986] [76]
100 1
.names n_n109 [56] n_n446 [28]
0-- 1
-0- 1
--0 1
.names _110_3_ _140_13_ [32]
11 1
00 1
.names _227_21_ _953_32_ [69]
0- 1
-1 1
.names _110_3_ _140_13_ [69] n_n201
111 1
001 1
010 1
100 1
.names n_n413 n_n420 [28] [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 _210_16_ _953_32_ _237_23_ [71]
0-- 1
-1- 1
--1 1
.names _140_13_ _146_15_ _125_8_ n_n200
111 1
001 1
010 1
100 1
.names _214_17_ _953_32_ _237_23_ [72]
0-- 1
-1- 1
--1 1
.names _902_30_ n_n146 n_n156 n_n119
001 1
010 1
.names _234_22_ _221_19_ _953_32_ [74]
0-- 1
-0- 1
--1 1
.names n_n420 [57] [1030] n_n101
111 1
.names n_n380 [1006] [1007] [26]
0-- 1
-0- 1
--0 1
.names [145] [146] n_n272
1- 1
-1 1
.names _902_30_ n_n142 n_n201 [65]
1-- 1
-01 1
-10 1
.names _234_22_ _237_23_ _902_30_ [53]
--0 1
11- 1
.names _237_23_ _902_30_ [50]
1- 1
-1 1
.names _953_32_ _898_28_ [67]
0- 1
-1 1
.names n_n421 [145] [146] [38]
100 1
.names [26] [1060] [130]
01 1
.names n_n109 [56] [990] [141]
011 1
.names n_n703 n_n109 [56] [142]
101 1
.names [53] [149] [150] [145]
100 1
.names [33] [149] [150] [146]
100 1
.names _234_22_ _952_31_ _953_32_ [149]
010 1
.names _952_31_ _953_32_ _237_23_ [150]
100 1
.names n_n250 [43] [985] [179]
111 1
001 1
.names _217_18_ [62] [180]
01 1
.names _217_18_ _234_22_ [984]
10 1
.names _902_30_ _234_22_ [985]
01 1
.names [62] [179] [984] [986]
-1- 1
0-1 1
.names n_n109 [56] [54] [989]
111 1
.names _953_32_ _898_28_ [53] [990]
100 1
.names n_n134 n_n141 [76] [991]
111 1
.names n_n123 n_n113 [38] [992]
011 1
.names n_n134 n_n141 [37] [993]
101 1
.names n_n420 n_n134 n_n141 [994]
110 1
.names n_n113 [180] [986] [995]
000 1
.names n_n134 n_n141 [995] [996]
111 1
.names n_n134 n_n141 [997]
00 1
.names n_n413 n_n420 [997] [998]
111 1
.names n_n134 n_n141 [37] [999]
111 1
.names n_n134 n_n141 [37] [1000]
011 1
.names n_n420 n_n134 n_n141 [1001]
101 1
.names n_n92 [60] [991] [1002]
00- 1
0-0 1
.names n_n94 [60] [994] [1003]
00- 1
0-0 1
.names n_n93 [60] [999] [1004]
00- 1
0-0 1
.names n_n94 n_n97 [1002] [1006]
001 1
.names n_n95 n_n98 [1004] [1007]
001 1
.names n_n109 [56] [39] [1008]
011 1
.names n_n109 [56] [54] [1009]
011 1
.names n_n134 n_n141 [76] [1011]
011 1
.names n_n413 n_n416 n_n272 [1012]
110 1
.names n_n134 n_n141 [1013]
00 1
.names n_n109 [56] [1013] [1014]
011 1
.names [78] [77] [989] [1015]
0-- 1
-00 1
.names [79] [1008] [1009] [1018]
0-- 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 [37] n_n413 [1026]
11 1
.names n_n109 n_n134 n_n141 [1027]
111 1
.names n_n109 [56] [1027] [1028]
0-1 1
-01 1
.names [76] n_n413 [1029]
11 1
.names _469_24_ [52] [65] [1030]
001 1
100 1
.names _953_32_ n_n134 n_n141 [1032]
00- 1
0-1 1
.names n_n410 [39] [1032] [1033]
0-1 1
-01 1
.names [58] [1028] [1033] [1035]
0-1 1
-01 1
.names [57] [1026] [1029] [1037]
0-- 1
-00 1
.names n_n107 [29] n_n101 [1038]
010 1
.names n_n409 n_n106 [1035] [1039]
001 1
.names [1037] [1038] [1039] [1041]
111 1
.names _953_32_ n_n109 [56] [1043]
00- 1
0-0 1
.names [58] [1028] [1043] [1045]
0-1 1
-01 1
.names [57] [1026] [1029] [1047]
0-- 1
-00 1
.names n_n107 [29] n_n101 [1048]
010 1
.names n_n409 n_n106 [1045] [1049]
001 1
.names [1047] [1048] [1049] [1051]
111 1
.names _953_32_ [58] [1054]
00 1
.names [57] [1026] [1029] [1056]
0-- 1
-00 1
.names n_n107 [29] n_n101 [1057]
010 1
.names n_n409 n_n106 [1054] [1058]
001 1
.names [1056] [1057] [1058] [1060]
111 1
.names [26] [1041] [1051] [1061]
01- 1
0-1 1
.names _953_32_ _227_21_ [1067]
10 1
.names n_n23 [33] [1067] [1068]
-0- 1
1-1 1
.names _227_21_ _953_32_ n_n23 [1069]
1-0 1
-00 1
.end