.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_n410 n_n134 n_n141 [38] _36_854_
10----- 1
1-1---- 1
1--0--- 1
1---0-- 1
1----1- 1
1-----0 1
0101101 1
.names _110_3_ n_n703 n_n416 n_n421 [990] [991] _12_862_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _140_13_ n_n123 n_n113 n_n410 n_n134 n_n141 [38] _42_852_
11----- 1
1-0---- 1
1--0--- 1
1---1-- 1
1----0- 1
1-----0 1
0011011 1
.names _137_12_ n_n123 n_n113 n_n410 n_n134 n_n141 [38] _39_853_
11----- 1
1-1---- 1
1--0--- 1
1---0-- 1
1----0- 1
1-----0 1
0001111 1
.names _478_27_ _902_30_ [25] n_n382 n_n191 [73] n_n380 _63_902_
0-1-01- 1
-01-01- 1
0-1-10- 1
-01-10- 1
--11011 1
--11101 1
111011- 1
111000- 1
111-110 1
111-000 1
.names _131_10_ n_n123 n_n113 n_n410 n_n134 n_n141 [38] _33_855_
10----- 1
1-1---- 1
1--0--- 1
1---1-- 1
1----0- 1
1-----0 1
0101011 1
.names n_n409 n_n382 n_n380 [1058] [1059] [1061] _75_866_
00---0 1
0-0--0 1
0--0-0 1
0---00 1
.names _217_18_ _952_31_ _953_32_ _902_30_ n_n155 n_n382 n_n380 _66_903_
01--0-- 1
0-0-0-- 1
-1-00-- 1
--000-- 1
-1--011 1
--0-011 1
11-110- 1
1-0110- 1
11-11-0 1
1-011-0 1
.names _224_20_ _110_3_ _953_32_ _122_7_ _898_28_ n_n382 n_n168 _69_908_
--1-0-- 1
-001-11 1
-100-11 1
-101-01 1
-000-01 1
-101-10 1
-000-10 1
-001-00 1
-100-00 1
0111-11 1
0010-11 1
10-1111 1
11-0111 1
0011-01 1
0110-01 1
11-1101 1
10-0101 1
0011-10 1
0110-10 1
11-1110 1
10-0110 1
0111-00 1
0010-00 1
10-1100 1
11-0100 1
.names _227_21_ _953_32_ _900_29_ n_n476 [1015] [1016] [1020] _72_909_
-10---- 1
1--00-- 1
-0-00-- 1
1--0-0- 1
-0-0-0- 1
1--0--0 1
-0-0--0 1
01-10-- 1
01-1-0- 1
01-1--0 1
1--1111 1
-0-1111 1
01-0111 1
.names _116_5_ n_n703 n_n413 n_n416 [990] [993] _18_860_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _146_15_ n_n123 n_n113 n_n134 n_n141 n_n416 [38] _48_850_
11----- 1
1-1---- 1
1--1--- 1
1---0-- 1
1----0- 1
1-----0 1
0000111 1
.names _210_16_ _952_31_ _953_32_ _902_30_ n_n125 n_n382 n_n380 _51_899_
01--0-- 1
0-0-0-- 1
-1-00-- 1
--000-- 1
-1--011 1
--0-011 1
11-110- 1
1-0110- 1
11-11-0 1
1-011-0 1
.names _128_9_ n_n123 n_n113 n_n134 n_n141 n_n416 [38] _30_856_
11----- 1
1-1---- 1
1--0--- 1
1---1-- 1
1----0- 1
1-----0 1
0001011 1
.names _472_25_ _902_30_ [25] n_n235 n_n382 n_n145 n_n380 _57_912_
0-10-1- 1
-010-1- 1
0-11-0- 1
-011-0- 1
--10111 1
--11101 1
111101- 1
111000- 1
1111-10 1
1110-00 1
.names _952_31_ _953_32_ _475_26_ _902_30_ n_n159 n_n382 n_n380 _60_901_
1-0-0-- 1
-00-0-- 1
1--00-- 1
-0-00-- 1
1---011 1
-0--011 1
1-1110- 1
-01110- 1
1-111-0 1
-0111-0 1
.names _125_8_ n_n123 n_n113 n_n134 n_n141 n_n416 [1010] _27_857_
11----- 1
1-0---- 1
1--1--- 1
1---0-- 1
1----0- 1
1-----0 1
0010111 1
.names _469_24_ _952_31_ _953_32_ _902_30_ n_n126 n_n382 n_n380 _54_900_
01--0-- 1
0-0-0-- 1
-1-00-- 1
--000-- 1
-1--011 1
--0-011 1
11-110- 1
1-0110- 1
11-11-0 1
1-011-0 1
.names _107_2_ n_n703 n_n416 n_n421 [990] [994] _9_863_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _119_6_ n_n703 n_n413 n_n416 [990] [996] _21_859_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 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_n123 n_n113 n_n134 n_n141 n_n416 [38] _45_851_
10----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----0- 1
1-----0 1
0100011 1
.names _101_0_ n_n703 n_n416 n_n421 [990] [999] _3_865_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _113_4_ n_n703 n_n413 n_n416 [990] [1000] _15_861_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _104_1_ n_n703 n_n416 n_n421 [990] [1001] _6_864_
1-0--- 1
1--0-- 1
1----0 1
10--0- 1
0111-1 1
0-1111 1
.names _952_31_ _953_32_ [25]
1- 1
-0 1
.names n_n413 n_n123 n_n113 n_n410 n_n134 n_n141 [1023] n_n409
0-----1 1
-0----1 1
--0---1 1
---0--1 1
----0-1 1
-----01 1
.names _137_12_ _234_22_ _221_19_ _953_32_ [43] n_n155
10--1 1
1-0-1 1
1--11 1
00--0 1
0-0-0 1
0--10 1
01101 1
11100 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 _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 _469_24_ _101_0_ _104_1_ _107_2_ _902_30_ n_n170 n_n201 n_n110
0---1-- 1
0111-11 1
0001-11 1
0010-11 1
0100-11 1
0011-01 1
0101-01 1
0110-01 1
0000-01 1
0011-10 1
0101-10 1
0110-10 1
0000-10 1
0111-00 1
0001-00 1
0010-00 1
0100-00 1
1011011 1
1101011 1
1110011 1
1000011 1
1111001 1
1001001 1
1010001 1
1100001 1
1111010 1
1001010 1
1010010 1
1100010 1
1011000 1
1101000 1
1110000 1
1000000 1
.names _234_22_ _221_19_ _902_30_ [52]
-0- 1
1-0 1
.names _469_24_ _234_22_ _221_19_ _902_30_ n_n170 n_n196 n_n201 n_n413
0-01--- 1
0-0-111 1
0-0-001 1
0-0-010 1
0-0-100 1
01-0111 1
11-0011 1
1-00011 1
11-0101 1
1-00101 1
01-0001 1
11-0110 1
1-00110 1
01-0010 1
01-0100 1
11-0000 1
1-00000 1
.names _137_12_ _234_22_ _217_18_ _221_19_ _953_32_ _902_30_ [43] n_n123
--0--1- 1
100---1 1
1-00--1 1
1-0-1-1 1
000---0 1
0-00--0 1
0-0-1-0 1
001--01 1
11-0-01 1
11--101 1
101--00 1
01-0-00 1
01--100 1
01010-1 1
01-1001 1
11010-0 1
11-1000 1
.names _113_4_ _116_5_ _472_25_ _119_6_ _902_30_ n_n235 n_n170 n_n113
--0-1-- 1
0101-11 1
1001-11 1
1100-11 1
0000-11 1
1101-01 1
0001-01 1
0100-01 1
1000-01 1
1101-10 1
0001-10 1
0100-10 1
1000-10 1
0101-00 1
1001-00 1
1100-00 1
0000-00 1
1111011 1
0011011 1
0110011 1
1010011 1
0111001 1
1011001 1
1110001 1
0010001 1
0111010 1
1011010 1
1110010 1
0010010 1
1111000 1
0011000 1
0110000 1
1010000 1
.names _210_16_ _110_3_ _122_7_ _237_23_ _902_30_ n_n168 n_n156 n_n109
0---1-- 1
001--11 1
010--11 1
011--01 1
000--01 1
011--10 1
000--10 1
001--00 1
010--00 1
-010011 1
-100011 1
-110001 1
-000001 1
-110010 1
-000010 1
-010000 1
-100000 1
1111011 1
1001011 1
1011001 1
1101001 1
1011010 1
1101010 1
1111000 1
1001000 1
.names _214_17_ _237_23_ _902_30_ [56]
0-- 1
-00 1
.names _210_16_ _214_17_ _237_23_ _902_30_ n_n168 [42] n_n156 n_n410
00-1--- 1
00--111 1
--00111 1
00--001 1
--00001 1
00--010 1
--00010 1
00--100 1
--00100 1
1010011 1
1010101 1
1010110 1
1010000 1
.names _113_4_ _104_1_ _122_7_ _475_26_ _902_30_ n_n249 [46] n_n134
---01-- 1
1110-11 1
0010-11 1
0100-11 1
1000-11 1
0110-01 1
1010-01 1
1100-01 1
0000-01 1
0110-10 1
1010-10 1
1100-10 1
0000-10 1
1110-00 1
0010-00 1
0100-00 1
1000-00 1
0111011 1
1011011 1
1101011 1
0001011 1
1111001 1
0011001 1
0101001 1
1001001 1
1111010 1
0011010 1
0101010 1
1001010 1
0111000 1
1011000 1
1101000 1
0001000 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 _210_16_ _214_17_ _237_23_ _902_30_ n_n168 [42] n_n156 n_n416
10-1--- 1
--00011 1
--00101 1
--00110 1
--00000 1
101-111 1
00-0011 1
00-0101 1
101-001 1
00-0110 1
101-010 1
101-100 1
00-0000 1
.names n_n110 [52] n_n123 n_n113 n_n134 n_n141 [34] n_n382
-0----- 1
------0 1
--0-0-- 1
--0--0- 1
1-01--- 1
0-00--- 1
1--11-- 1
0--00-- 1
1--1-1- 1
0--0-0- 1
0---00- 1
---000- 1
1-1-11- 1
--1111- 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_ _234_22_ _221_19_ _902_30_ n_n170 n_n196 n_n201 n_n421
1-01--- 1
1-0-111 1
1-0-001 1
1-0-010 1
1-0-100 1
11-0111 1
01-0011 1
0-00011 1
01-0101 1
0-00101 1
11-0001 1
01-0110 1
0-00110 1
11-0010 1
11-0100 1
01-0000 1
0-00000 1
.names n_n703 n_n123 n_n113 n_n410 n_n134 n_n141 n_n421 n_n106
1111111 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 [1015] [1016] [1020] n_n380
111 1
.names _234_22_ _952_31_ _953_32_ _237_23_ _898_28_ _902_30_ n_n416 [34]
010---1 1
-100--1 1
0-1-011 1
--10011 1
.names _140_13_ _125_8_ n_n170 n_n476
011 1
101 1
110 1
000 1
.names _234_22_ _952_31_ _953_32_ _237_23_ n_n413 n_n123 n_n113 [58]
010-111 1
-100111 1
.names n_n703 n_n413 n_n123 n_n113 n_n134 n_n141 n_n416 n_n107
1111111 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 _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 _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 _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_n123 n_n113 n_n410 n_n134 n_n141 [29]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names n_n703 n_n123 n_n113 n_n410 n_n134 n_n141 [1030] n_n101
1111111 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 _469_24_ _902_30_ n_n170 n_n196 [52] n_n201 n_n272 [38]
11--1-0 1
1-11110 1
1-00110 1
1-01100 1
1-10100 1
0001110 1
0010110 1
0011100 1
0000100 1
.names _234_22_ _953_32_ _237_23_ _898_28_ _902_30_ [990]
01-01 1
-1001 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [991]
01011-- 1
0-01111 1
0-01100 1
1001101 1
1001110 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [993]
11101-- 1
1-10111 1
1-10100 1
0010101 1
0010110 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [994]
11111-- 1
1-11111 1
1-11100 1
0011101 1
0011110 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [996]
01001-- 1
0-00111 1
0-00100 1
1000101 1
1000110 1
.names n_n413 n_n123 n_n113 n_n134 n_n141 [998]
11100 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [999]
01101-- 1
0-10111 1
0-10100 1
1010101 1
1010110 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [1000]
01100-- 1
0-10011 1
0-10000 1
1010001 1
1010010 1
.names _478_27_ _902_30_ n_n123 n_n113 n_n134 n_n191 [73] [1001]
01110-- 1
0-11011 1
0-11000 1
1011001 1
1011010 1
.names _469_24_ _902_30_ n_n170 n_n196 [52] n_n201 n_n272 [1010]
01--1-0 1
0-11110 1
0-00110 1
0-01100 1
0-10100 1
1001110 1
1010110 1
1011100 1
1000100 1
.names n_n123 n_n113 n_n410 n_n134 n_n141 [38] [1015]
0----- 1
-1---- 1
--0--- 1
-----0 1
---11- 1
---00- 1
.names n_n123 n_n113 n_n134 n_n141 n_n416 [38] [1010] [1016]
--1---- 1
----0-- 1
11----- 1
00----- 1
1--1--- 1
-0-1--- 1
0--0--- 1
-1-0--- 1
1----0- 1
-0---0- 1
---0-0- 1
0-----0 1
-1----0 1
---1--0 1
-----00 1
.names n_n123 n_n113 n_n109 [56] n_n134 n_n141 [38] [1020]
1------ 1
---0--- 1
------0 1
-10---- 1
-1--1-- 1
-1---0- 1
--1--0- 1
----00- 1
-01-0-- 1
--0-11- 1
.names _953_32_ _952_31_ [1023]
00 1
.names _214_17_ _237_23_ _902_30_ n_n109 n_n134 n_n141 [1028]
11-111 1
1-1111 1
.names _469_24_ _234_22_ _221_19_ _902_30_ n_n170 n_n196 n_n201 [1030]
0-11--- 1
001-111 1
001-001 1
001-010 1
001-100 1
1010011 1
1010101 1
1010110 1
1010000 1
.names _953_32_ _478_27_ _902_30_ n_n410 n_n134 n_n191 [73] [1033]
0--00-- 1
0010--- 1
001-1-- 1
011-0-- 1
00-0-11 1
00--111 1
01--011 1
00-0-00 1
00--100 1
01--000 1
0100-01 1
010-101 1
000-001 1
0100-10 1
010-110 1
000-010 1
.names n_n703 n_n413 n_n123 n_n113 n_n410 n_n134 n_n141 [1037]
0------ 1
-0----- 1
----0-- 1
-----0- 1
------0 1
--11--- 1
--00--- 1
.names n_n409 n_n106 [58] [1028] [1033] [1039]
000-1 1
00-01 1
.names n_n107 [29] n_n101 [1037] [1040]
0101 1
.names n_n703 n_n413 n_n123 n_n113 n_n410 n_n134 n_n141 [1047]
0------ 1
-0----- 1
----0-- 1
-----0- 1
------0 1
--11--- 1
--00--- 1
.names _953_32_ n_n409 n_n410 n_n106 [58] [1028] [1049]
00000- 1
0000-0 1
.names n_n107 [29] n_n101 [1047] [1050]
0101 1
.names n_n703 n_n413 n_n123 n_n113 n_n410 n_n134 n_n141 [1056]
0------ 1
-0----- 1
----0-- 1
-----0- 1
------0 1
--11--- 1
--00--- 1
.names _953_32_ n_n409 n_n703 n_n413 n_n123 n_n113 n_n106 [1058]
000---0 1
00-0--0 1
00--0-0 1
00---00 1
.names n_n107 [29] n_n101 [1056] [1059]
0101 1
.names n_n382 n_n380 [1039] [1040] [1049] [1050] [1061]
1111-- 1
11--11 1
.end