.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