.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_n123 n_n113 n_n421 n_n272 [989] _36_854_
10---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----0 1
010101 1
.names _110_3_ n_n123 n_n113 n_n134 n_n141 [60] _12_862_
11---- 1
1-0--- 1
1--0-- 1
1---0- 1
1----0 1
001111 1
.names _140_13_ n_n109 [56] n_n134 n_n141 [992] _42_852_
10---- 1
1-0--- 1
1--1-- 1
1---0- 1
1----0 1
011011 1
.names _137_12_ n_n123 n_n113 n_n421 [28] n_n272 _39_853_
11---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----1 1
000100 1
.names _952_31_ _953_32_ _478_27_ [51] n_n191 [73] _63_902_
1-0-01 1
-00-01 1
1--001 1
-0-001 1
1-0-10 1
-00-10 1
1--010 1
-0-010 1
1-1111 1
-01111 1
1-1100 1
-01100 1
.names _131_10_ n_n123 n_n113 n_n421 [77] n_n272 _33_855_
10---- 1
1-1--- 1
1--0-- 1
1---0- 1
1----1 1
010110 1
.names n_n409 [26] [1041] [1051] [1060] _75_866_
01--- 1
0-000 1
.names _217_18_ _952_31_ _953_32_ [51] n_n250 [43] _66_903_
01--01 1
0-0-01 1
-1-001 1
--0001 1
01--10 1
0-0-10 1
-1-010 1
--0010 1
11-111 1
1-0111 1
11-100 1
1-0100 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_n476 [1019] [1020] _72_909_
-10--- 1
1--00- 1
-0-00- 1
1--0-0 1
-0-0-0 1
01-10- 1
1--111 1
-0-111 1
01-1-0 1
01-011 1
.names _116_5_ n_n123 n_n113 n_n134 n_n141 [75] _18_860_
10---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----0 1
010101 1
.names _146_15_ n_n123 n_n113 n_n421 n_n272 [1008] _48_850_
11---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----0 1
000101 1
.names _210_16_ _952_31_ _953_32_ n_n125 [51] _51_899_
01-0- 1
0-00- 1
-1-00 1
--000 1
11-11 1
1-011 1
.names _128_9_ n_n123 n_n113 n_n421 n_n272 [1009] _30_856_
11---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----0 1
000101 1
.names _952_31_ _953_32_ _472_25_ n_n235 [51] n_n145 _57_912_
1-00-1 1
-000-1 1
1--001 1
-0-001 1
1-01-0 1
-001-0 1
1--100 1
-0-100 1
1-1111 1
-01111 1
1-1010 1
-01010 1
.names _952_31_ _953_32_ _475_26_ n_n159 [51] _60_901_
1-00- 1
-000- 1
1--00 1
-0-00 1
1-111 1
-0111 1
.names _125_8_ n_n123 n_n113 n_n134 n_n141 [1012] _27_857_
11---- 1
1-0--- 1
1--1-- 1
1---0- 1
1----0 1
001011 1
.names _469_24_ _952_31_ _953_32_ n_n126 [51] _54_900_
01-0- 1
0-00- 1
-1-00 1
--000 1
11-11 1
1-011 1
.names _107_2_ n_n123 n_n113 n_n134 n_n141 [60] _9_863_
10---- 1
1-0--- 1
1--0-- 1
1---1- 1
1----0 1
011101 1
.names _119_6_ n_n123 n_n113 n_n134 n_n141 [75] _21_859_
11---- 1
1-1--- 1
1--0-- 1
1---0- 1
1----0 1
000111 1
.names _122_7_ n_n703 n_n109 [56] [990] [998] _24_858_
1-1--- 1
1--0-- 1
1----0 1
10--0- 1
0101-1 1
0-0111 1
.names _143_14_ n_n123 n_n113 n_n421 n_n272 [1014] _45_851_
10---- 1
1-1--- 1
1--0-- 1
1---1- 1
1----0 1
010101 1
.names _101_0_ n_n123 n_n113 n_n134 n_n141 [60] _3_865_
10---- 1
1-1--- 1
1--0-- 1
1---0- 1
1----0 1
010111 1
.names _113_4_ n_n123 n_n113 n_n134 n_n141 [75] _15_861_
10---- 1
1-1--- 1
1--1-- 1
1---0- 1
1----0 1
010011 1
.names _104_1_ n_n123 n_n113 n_n134 n_n141 [60] _6_864_
10---- 1
1-0--- 1
1--1-- 1
1---0- 1
1----0 1
011011 1
.names _952_31_ _953_32_ n_n413 n_n123 n_n113 [28] n_n409
000--- 1
00-0-- 1
00--0- 1
00---1 1
.names _953_32_ _898_28_ n_n146 [1002] [1003] [1007] n_n24
10---- 1
--10-- 1
--1-0- 1
--1--0 1
--0111 1
.names _110_3_ _122_7_ n_n168 n_n156 n_n125
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names _101_0_ _210_16_ _953_32_ _237_23_ n_n235
10-- 1
1-1- 1
1--1 1
0100 1
.names _113_4_ _104_1_ _122_7_ n_n249 [46] n_n159
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 _101_0_ _104_1_ _107_2_ n_n170 n_n201 n_n126
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 _113_4_ _116_5_ _119_6_ n_n197
111 1
001 1
010 1
100 1
.names _128_9_ _137_12_ _134_11_ _131_10_ _146_15_ _143_14_ n_n170
011111 1
101111 1
110111 1
000111 1
111011 1
001011 1
010011 1
100011 1
111101 1
001101 1
010101 1
100101 1
011001 1
101001 1
110001 1
000001 1
111110 1
001110 1
010110 1
100110 1
011010 1
101010 1
110010 1
000010 1
011100 1
101100 1
110100 1
000100 1
111000 1
001000 1
010000 1
100000 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_n170 n_n196 [52] n_n201 n_n413
01--1- 1
0-1111 1
0-0011 1
0-0110 1
0-1010 1
100111 1
101011 1
101110 1
100010 1
.names _234_22_ _217_18_ _902_30_ n_n250 [43] n_n123
-01-- 1
-0-11 1
-0-00 1
1-011 1
1-000 1
01001 1
01010 1
.names _472_25_ _902_30_ n_n235 n_n197 n_n170 n_n113
01--- 1
0-011 1
0-101 1
0-110 1
0-000 1
10111 1
10001 1
10010 1
10100 1
.names _210_16_ _237_23_ _902_30_ n_n168 [42] n_n156 n_n109
0-1--- 1
0--111 1
0--001 1
0--010 1
0--100 1
-00111 1
-00001 1
-00010 1
-00100 1
110011 1
110101 1
110110 1
110000 1
.names _214_17_ _237_23_ _902_30_ [56]
0-- 1
-00 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 _234_22_ _217_18_ _953_32_ _478_27_ _902_30_ n_n191 n_n141
---01- 1
0--0-1 1
-0-0-1 1
--10-1 1
0--100 1
-0-100 1
--1100 1
1100-0 1
110101 1
.names n_n703 n_n413 n_n109 [56] [990] [75]
1101- 1
-1011 1
.names _902_30_ [1002] [1003] [1007] [1019] [1020] [51]
10---- 1
1-0--- 1
1--0-- 1
1---0- 1
1----0 1
.names _113_4_ _116_5_ _119_6_ n_n170 n_n145
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names _469_24_ _902_30_ n_n170 n_n196 [52] n_n201 n_n421
11--1- 1
1-1111 1
1-0011 1
1-0110 1
1-1010 1
000111 1
001011 1
001110 1
000010 1
.names n_n703 n_n109 [56] n_n134 n_n141 [57]
11111 1
.names _128_9_ _116_5_ _107_2_ _134_11_ _122_7_ _143_14_ n_n191
111111 1
001111 1
010111 1
100111 1
011011 1
101011 1
110011 1
000011 1
011101 1
101101 1
110101 1
000101 1
111001 1
001001 1
010001 1
100001 1
011110 1
101110 1
110110 1
000110 1
111010 1
001010 1
010010 1
100010 1
111100 1
001100 1
010100 1
100100 1
011000 1
101000 1
110000 1
000000 1
.names _234_22_ _217_18_ _953_32_ [73]
0-- 1
-0- 1
--1 1
.names n_n413 n_n123 n_n113 [27]
0-- 1
-0- 1
--0 1
.names _214_17_ _237_23_ _902_30_ n_n703 n_n109 [990] [34]
0--10- 1
0---01 1
-0010- 1
-00-01 1
.names _140_13_ _125_8_ n_n170 n_n476
011 1
101 1
110 1
000 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 _113_4_ _101_0_ _116_5_ _104_1_ _107_2_ _119_6_ n_n168
011111 1
101111 1
110111 1
000111 1
111011 1
001011 1
010011 1
100011 1
111101 1
001101 1
010101 1
100101 1
011001 1
101001 1
110001 1
000001 1
111110 1
001110 1
010110 1
100110 1
011010 1
101010 1
110010 1
000010 1
011100 1
101100 1
110100 1
000100 1
111000 1
001000 1
010000 1
100000 1
.names _110_3_ _122_7_ [42]
01 1
10 1
.names _110_3_ _122_7_ n_n168 n_n146
011 1
101 1
110 1
000 1
.names _137_12_ _234_22_ _221_19_ _953_32_ n_n250
10-- 1
1-0- 1
1--1 1
0110 1
.names _128_9_ _110_3_ _140_13_ _119_6_ _146_15_ _125_8_ [43]
011111 1
101111 1
110111 1
000111 1
111011 1
001011 1
010011 1
100011 1
111101 1
001101 1
010101 1
100101 1
011001 1
101001 1
110001 1
000001 1
111110 1
001110 1
010110 1
100110 1
011010 1
101010 1
110010 1
000010 1
011100 1
101100 1
110100 1
000100 1
111000 1
001000 1
010000 1
100000 1
.names n_n123 n_n421 n_n272 [59]
010 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [77]
0--101 1
-00101 1
.names n_n703 n_n109 [56] n_n421 [990] [60]
1011- 1
-0111 1
.names _128_9_ _224_20_ _953_32_ _146_15_ _125_8_ _143_14_ n_n156
10-111 1
1-1111 1
00-011 1
0-1011 1
00-101 1
0-1101 1
10-001 1
1-1001 1
00-110 1
0-1110 1
10-010 1
1-1010 1
10-100 1
1-1100 1
00-000 1
0-1000 1
010111 1
110011 1
110101 1
010001 1
110110 1
010010 1
010100 1
110000 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 _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [28]
---0-- 1
----0- 1
-----0 1
11---- 1
1-1--- 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 _113_4_ _104_1_ _122_7_ n_n203
111 1
001 1
010 1
100 1
.names [1002] [1003] [1007] [1019] [1020] [26]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names _234_22_ _952_31_ _953_32_ _900_29_ _237_23_ _902_30_ n_n272
-00--- 1
-0-1-- 1
--11-- 1
1---1- 1
-0---0 1
--1--0 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [989]
0--110 1
-00110 1
.names _234_22_ _953_32_ _237_23_ _898_28_ _902_30_ [990]
01-01 1
-1001 1
.names n_n123 n_n113 n_n134 n_n141 [991]
0111 1
.names n_n123 n_n113 n_n421 n_n272 [992]
0110 1
.names n_n413 n_n123 n_n113 n_n134 n_n141 [998]
11100 1
.names n_n421 [34] [991] [998] [1002]
-0-- 1
0--0 1
--00 1
.names n_n123 n_n113 n_n134 n_n141 [75] [60] [1003]
0----- 1
--0--- 1
---1-- 1
-0--0- 1
-1---0 1
----00 1
.names n_n123 n_n113 n_n134 n_n141 [75] [60] [1007]
---0-- 1
01---- 1
-11--- 1
0-0--- 1
0---0- 1
-1---0 1
----00 1
-00-0- 1
1-1--0 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1008]
0--001 1
-00001 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1009]
0--010 1
-00010 1
.names n_n123 n_n113 n_n134 n_n141 [1011]
0101 1
.names _214_17_ _237_23_ _902_30_ n_n413 n_n109 n_n272 [1012]
0--100 1
-00100 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1014]
0--000 1
-00000 1
.names [78] [77] [989] [1011] [1012] [1014] [1019]
0--0-- 1
0---0- 1
-000-0 1
-00-00 1
.names n_n113 n_n109 [56] n_n134 n_n141 [59] [1020]
--0--- 1
-----0 1
10---- 1
1--1-- 1
1---0- 1
-1--0- 1
---00- 1
01-0-- 1
-0-11- 1
.names n_n123 n_n113 n_n421 [1024]
111 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1025]
0--011 1
-00011 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1028]
11-111 1
1-1111 1
.names _469_24_ _902_30_ n_n170 n_n196 [52] n_n201 [1030]
01--0- 1
0-1101 1
0-0001 1
0-0100 1
0-1000 1
100101 1
101001 1
101100 1
100000 1
.names n_n123 n_n113 [1030] [1031]
111 1
.names _953_32_ n_n109 [56] n_n134 n_n141 [1033]
00-0- 1
0-00- 1
00--1 1
0-0-1 1
0--11 1
0--00 1
.names _952_31_ _953_32_ n_n703 [27] [28] [1024] [1036]
1-0--- 1
-10--- 1
1---1- 1
-1--1- 1
1----0 1
-1---0 1
--000- 1
---000 1
.names n_n413 n_n123 n_n113 [57] [1037]
0--- 1
---0 1
-11- 1
-00- 1
.names n_n703 [27] [28] [1025] [1031] [1038]
01--- 1
0-1-- 1
-11-- 1
--10- 1
-1--0 1
.names [58] [1028] [1033] [1036] [1037] [1038] [1041]
0-1111 1
-01111 1
.names _214_17_ _953_32_ _237_23_ _902_30_ n_n109 [1043]
-0--0 1
101-- 1
10-1- 1
.names _952_31_ _953_32_ n_n703 [27] [28] [1024] [1046]
1-0--- 1
-10--- 1
1---1- 1
-1--1- 1
1----0 1
-1---0 1
--000- 1
---000 1
.names n_n413 n_n123 n_n113 [57] [1047]
0--- 1
---0 1
-11- 1
-00- 1
.names n_n703 [27] [28] [1025] [1031] [1048]
01--- 1
0-1-- 1
-11-- 1
--10- 1
-1--0 1
.names [58] [1028] [1043] [1046] [1047] [1048] [1051]
0-1111 1
-01111 1
.names _952_31_ _953_32_ n_n703 [27] [28] [1024] [1055]
1-0--- 1
-10--- 1
1---1- 1
-1--1- 1
1----0 1
-1---0 1
--000- 1
---000 1
.names n_n413 n_n123 n_n113 [57] [1056]
0--- 1
---0 1
-11- 1
-00- 1
.names n_n703 [27] [28] [1025] [1031] [1057]
01--- 1
0-1-- 1
-11-- 1
--10- 1
-1--0 1
.names _953_32_ [58] [1055] [1056] [1057] [1060]
00111 1
.end