.model top
.inputs _1gat_0_ _85gat_17_ _135gat_32_ _152gat_37_ _210gat_49_ _259gat_55_ \
_36gat_6_ _55gat_9_ _75gat_15_ _159gat_40_ _237gat_52_ _138gat_33_ _8gat_1_ \
_219gat_50_ _26gat_4_ _74gat_14_ _153gat_38_ _59gat_10_ _207gat_48_ \
_261gat_57_ _88gat_20_ _183gat_44_ _149gat_36_ _260gat_56_ _13gat_2_ \
_73gat_13_ _116gat_28_ _130gat_31_ _246gat_53_ _89gat_21_ _111gat_27_ \
_189gat_45_ _68gat_11_ _72gat_12_ _268gat_59_ _90gat_22_ _143gat_34_ \
_201gat_47_ _267gat_58_ _101gat_25_ _171gat_42_ _29gat_5_ _228gat_51_ \
_91gat_23_ _146gat_35_ _51gat_8_ _80gat_16_ _87gat_19_ _165gat_41_ _255gat_54_ \
_156gat_39_ _177gat_43_ _42gat_7_ _86gat_18_ _17gat_3_ _96gat_24_ _106gat_26_ \
_121gat_29_ _195gat_46_ _126gat_30_
.outputs _768gat_334_ _388gat_133_ _420gat_158_ _423gat_155_ _419gat_164_ \
_850gat_404_ _389gat_132_ _767gat_349_ _874gat_433_ _418gat_168_ _421gat_162_ \
_422gat_161_ _878gat_442_ _450gat_173_ _447gat_182_ _879gat_441_ _449gat_176_ \
_863gat_424_ _446gat_183_ _866gat_426_ _880gat_440_ _391gat_124_ _448gat_179_ \
_865gat_422_ _390gat_131_ _864gat_423_
.names _159gat_40_ _130gat_31_ _171gat_42_ _165gat_41_ _177gat_43_ n_n214 \
_768gat_334_
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 _75gat_15_ _29gat_5_ _42gat_7_ _388gat_133_
111 1
.names _75gat_15_ _59gat_10_ _80gat_16_ _420gat_158_
0-- 1
-0- 1
--0 1
.names _88gat_20_ _90gat_22_ _87gat_19_ _423gat_155_
11- 1
-11 1
.names _1gat_0_ _36gat_6_ _26gat_4_ _13gat_2_ _29gat_5_ _42gat_7_ _17gat_3_ \
_419gat_164_
0------ 1
--0---- 1
---0--- 1
------0 1
-1--11- 1
.names _210gat_49_ _201gat_47_ _121gat_29_ [58] n_n343 n_n413 [840] [842] \
_850gat_404_
----1--- 1
-----0-- 1
-------0 1
1-1----- 1
-1-1--1- 1
.names _36gat_6_ _29gat_5_ _80gat_16_ _389gat_132_
111 1
.names _130gat_31_ _101gat_25_ _91gat_23_ _96gat_24_ _106gat_26_ n_n213 \
_767gat_349_
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 _210gat_49_ _219gat_50_ _101gat_25_ _177gat_43_ n_n203 n_n173 [859] \
_874gat_433_
------1 1
1-1---- 1
-1-111- 1
-1-001- 1
-1-010- 1
-1-100- 1
.names _1gat_0_ _8gat_1_ _13gat_2_ _17gat_3_ _418gat_168_
1111 1
.names _36gat_6_ _59gat_10_ _80gat_16_ _421gat_162_
0-- 1
-0- 1
--0 1
.names _36gat_6_ _59gat_10_ _42gat_7_ _422gat_161_
0-- 1
-0- 1
--0 1
.names _210gat_49_ _268gat_59_ n_n291 n_n370 [96] [52] [53] _878gat_442_
--1---- 1
---1--- 1
----0-- 1
-----1- 1
------1 1
11----- 1
.names _88gat_20_ _89gat_21_ _87gat_19_ _450gat_173_
11- 1
-11 1
.names _1gat_0_ _26gat_4_ _51gat_8_ _447gat_182_
111 1
.names _219gat_50_ _165gat_41_ n_n173 [67] n_n205 [866] [872] [878] \
_879gat_441_
---0---- 1
-------0 1
10--1-0- 1
11--0-0- 1
100-11-- 1
110-01-- 1
111-1-1- 1
101-0-1- 1
11--101- 1
10--001- 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _74gat_14_ _59gat_10_ _13gat_2_ _68gat_11_ \
_449gat_176_
1111111 1
.names _210gat_49_ _106gat_26_ n_n348 [112] [44] [45] [881] _863gat_424_
--0---- 1
----1-- 1
-----1- 1
11----- 1
---1--1 1
.names _1gat_0_ _36gat_6_ _26gat_4_ _13gat_2_ _29gat_5_ _42gat_7_ _17gat_3_ \
_446gat_183_
0------ 1
-0----- 1
--0---- 1
---0--- 1
----0-- 1
-----0- 1
------0 1
.names _159gat_40_ n_n206 n_n173 [30] n_n192 [31] n_n190 [867] _866gat_426_
10------ 1
1------0 1
-0-----0 1
1----00- 1
-0---00- 1
1-010-0- 1
-0010-0- 1
.names _219gat_50_ _171gat_42_ _177gat_43_ n_n203 n_n173 n_n204 [79] [891] \
_880gat_440_
------0- 1
-------0 1
1101-1-- 1
1010-1-- 1
110-11-- 1
11-111-- 1
101-01-- 1
10-001-- 1
1001-0-- 1
1110-0-- 1
100-10-- 1
10-110-- 1
111-00-- 1
11-000-- 1
.names _85gat_17_ _86gat_18_ _391gat_124_
11 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ _29gat_5_ _448gat_179_
111111 1
.names _219gat_50_ _195gat_46_ n_n529 n_n208 n_n412 [76] n_n175 [896] \
_865gat_422_
----0--- 1
-----0-- 1
-------0 1
-11----- 1
11-1--1- 1
10-0--1- 1
10-1--0- 1
11-0--0- 1
.names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_
111 1
.names _189gat_45_ [58] n_n315 n_n411 [840] [903] _864gat_423_
--0--- 1
---0-- 1
-----0 1
11--1- 1
.names _207gat_48_ _183gat_44_ _189gat_45_ _201gat_47_ _195gat_46_ n_n214
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 _135gat_32_ _116gat_28_ _111gat_27_ _121gat_29_ _126gat_30_ n_n213
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 _152gat_37_ _138gat_33_ _106gat_26_ n_n512 [84] n_n233 n_n231 n_n203
0-001-- 1
-0001-- 1
0--0100 1
-0-0100 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] n_n529
11111 1
.names _138gat_33_ _8gat_1_ _91gat_23_ n_n512 n_n233 [94] n_n231 n_n206
0-00-1- 1
-000-1- 1
0--0010 1
-0-0010 1
.names _111gat_27_ n_n228 n_n233 [109] n_n231 n_n210
00-1- 1
-0010 1
.names _237gat_52_ _183gat_44_ _111gat_27_ _228gat_51_ n_n228 n_n233 [109] \
n_n231 n_n348
0--0---- 1
-0-0---- 1
01--1--- 1
01----0- 1
011--1-- 1
-00-0-1- 1
--000-1- 1
011----1 1
-0--0010 1
---00010 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58]
11111 1
.names _1gat_0_ _55gat_9_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \
_80gat_16_ n_n228
11110111 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _146gat_35_ _51gat_8_ _156gat_39_ \
_17gat_3_ [65]
---0--- 1
10----- 1
1---0-- 1
1-----0 1
1-1--1- 1
.names _116gat_28_ n_n228 [65] n_n233 n_n231 n_n209
001-- 1
-0100 1
.names _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 n_n201
1-1--- 1
1---0- 1
11-1-- 1
11---1 1
.names _183gat_44_ _189gat_45_ _195gat_46_ n_n210 n_n209 n_n201 n_n208 [851] \
n_n173
0--1---- 1
00--1--- 1
-0-11--- 1
000---1- 1
-001--1- 1
0-0-1-1- 1
--011-1- 1
000--0-0 1
-001-0-0 1
0-0-10-0 1
--0110-0 1
00---010 1
-0-1-010 1
0---1010 1
---11010 1
.names _152gat_37_ _138gat_33_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 \
n_n231 n_n193
--1-1--- 1
--1--0-- 1
111----- 1
--11--1- 1
--11---1 1
.names _152gat_37_ _138gat_33_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 \
n_n231 [30]
--1----- 1
----1--- 1
-----0-- 1
11------ 1
---1--1- 1
---1---1 1
.names _210gat_49_ _91gat_23_ [67]
0- 1
-0 1
.names _237gat_52_ _165gat_41_ _96gat_24_ n_n512 n_n233 [113] n_n231 [126] \
n_n379
11-1---- 1
11---0-- 1
11-----0 1
111-1--- 1
111---1- 1
.names _228gat_51_ _165gat_41_ _96gat_24_ n_n512 n_n233 [113] n_n231 [126] \
n_n371
10-1---- 1
10---0-- 1
10-----0 1
101-1--- 1
101---1- 1
1100-1-1 1
11-00101 1
.names _138gat_33_ _246gat_53_ _51gat_8_ _96gat_24_ n_n512 n_n233 n_n231 [126] \
[68]
-0------ 1
0--00--1 1
--000--1 1
0---0001 1
--0-0001 1
.names _138gat_33_ _101gat_25_ _171gat_42_ _17gat_3_ n_n512 [71] n_n233 n_n231 \
n_n192
000-01-- 1
-00001-- 1
0-0-0100 1
--000100 1
.names _138gat_33_ _101gat_25_ _171gat_42_ _17gat_3_ n_n512 [71] n_n233 n_n231 \
[31]
--0----- 1
00--01-- 1
-0-001-- 1
0---0100 1
---00100 1
.names _228gat_51_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 [106] n_n231 \
n_n373
10-1---- 1
10--0--- 1
10----0- 1
101--1-- 1
101----1 1
11001-1- 1
11-01010 1
.names _1gat_0_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \
_80gat_16_ _17gat_3_ n_n512
11101111 1
.names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _149gat_36_ _51gat_8_ \
_156gat_39_ [71]
0------ 1
-0----- 1
--0---- 1
----0-- 1
-----0- 1
---1--1 1
.names _138gat_33_ _101gat_25_ _17gat_3_ n_n512 [71] n_n233 n_n231 n_n204
00-01-- 1
-0001-- 1
0--0100 1
--00100 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _149gat_36_ _51gat_8_ _156gat_39_ \
_17gat_3_ [72]
---0--- 1
10----- 1
1---0-- 1
1-----0 1
1-1--1- 1
.names _121gat_29_ n_n228 [72] n_n233 n_n231 n_n208
001-- 1
-0100 1
.names _260gat_56_ _246gat_53_ _255gat_54_ _121gat_29_ n_n228 [72] n_n233 \
n_n231 n_n412
00------ 1
-00----- 1
0--001-- 1
--0001-- 1
0---0100 1
--0-0100 1
.names _210gat_49_ _116gat_28_ [76]
0- 1
-0 1
.names _210gat_49_ _96gat_24_ [79]
0- 1
-0 1
.names _237gat_52_ _101gat_25_ _171gat_42_ n_n512 [71] n_n233 [110] n_n231 \
n_n380
1-11---- 1
1-1-0--- 1
1-1---0- 1
111--1-- 1
111----1 1
.names _101gat_25_ _171gat_42_ _228gat_51_ n_n512 [71] n_n233 [110] n_n231 \
n_n372
-011---- 1
-01-0--- 1
-01---0- 1
101--1-- 1
101----1 1
01101-1- 1
-1101010 1
.names _138gat_33_ _246gat_53_ _101gat_25_ _17gat_3_ n_n512 [71] n_n233 n_n231 \
[80]
-0------ 1
0-0-01-- 1
--0001-- 1
0---0100 1
---00100 1
.names _1gat_0_ _55gat_9_ _26gat_4_ _153gat_38_ _59gat_10_ _51gat_8_ \
_156gat_39_ [84]
0------ 1
-0----- 1
--0---- 1
---0--- 1
-----0- 1
----1-1 1
.names _1gat_0_ _75gat_15_ _8gat_1_ _59gat_10_ _51gat_8_ _42gat_7_ _17gat_3_ \
n_n233
101-1-1 1
1-101-1 1
1-1-101 1
.names _1gat_0_ _26gat_4_ _153gat_38_ _59gat_10_ _51gat_8_ _156gat_39_ \
_17gat_3_ [86]
--0---- 1
10----- 1
1---0-- 1
1-----0 1
1--1-1- 1
.names _210gat_49_ _111gat_27_ [88]
0- 1
-0 1
.names _219gat_50_ _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [88] [851] \
n_n315
0-----1- 1
-1111-1- 1
-0101-1- 1
-001-11- 1
-100-11- 1
-111-01- 1
-010-01- 1
-1-1101- 1
-0-0101- 1
-111--11 1
-010--11 1
-1-1-011 1
-0-0-011 1
-0010-10 1
-1000-10 1
-0-10110 1
-1-00110 1
.names _159gat_40_ _219gat_50_ n_n206 n_n173 [31] n_n190 [866] [867] n_n291
011----0 1
110----0 1
011-00-- 1
110-00-- 1
111--1-1 1
010--1-1 1
0110-01- 1
1100-01- 1
11111--1 1
01011--1 1
111-1-01 1
010-1-01 1
.names _138gat_33_ _51gat_8_ _165gat_41_ _96gat_24_ n_n512 n_n233 n_n231 [126] \
n_n190
0-000--1 1
-0000--1 1
0-0-0001 1
-00-0001 1
.names _138gat_33_ _8gat_1_ [92]
0- 1
-0 1
.names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _143gat_34_ _51gat_8_ \
_156gat_39_ [94]
0------ 1
-0----- 1
--0---- 1
----0-- 1
-----0- 1
---1--1 1
.names _138gat_33_ _51gat_8_ _96gat_24_ n_n512 n_n233 n_n231 [126] n_n205
0-00--1 1
-000--1 1
0--0001 1
-0-0001 1
.names _159gat_40_ _228gat_51_ _91gat_23_ n_n512 n_n233 [92] [94] n_n231 \
n_n370
01-1---- 1
01---0-- 1
01----0- 1
011-1--- 1
011----1 1
1100-11- 1
11-00110 1
.names _159gat_40_ _237gat_52_ _91gat_23_ n_n512 n_n233 [92] [94] n_n231 [96]
0------- 1
-0------ 1
--00-11- 1
---00110 1
.names _219gat_50_ _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] \
n_n231 n_n343
111-1--- 1
100-1--- 1
111---0- 1
100---0- 1
1111-1-- 1
1001-1-- 1
1111---1 1
1001---1 1
10100-1- 1
11000-1- 1
101-0010 1
110-0010 1
.names _152gat_37_ _138gat_33_ [106]
0- 1
-0 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _143gat_34_ _51gat_8_ _156gat_39_ \
_17gat_3_ [109]
---0--- 1
10----- 1
1---0-- 1
1-----0 1
1-1--1- 1
.names _138gat_33_ _17gat_3_ [110]
0- 1
-0 1
.names _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [48] [851] [112]
-----1- 1
1-0---- 1
11-1--- 1
-101--- 1
11--0-- 1
-10-0-- 1
1--10-- 1
--010-- 1
11----1 1
-10---1 1
1---0-1 1
--0-0-1 1
.names _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 n_n175
00----- 1
0-00-1- 1
-000-1- 1
0--0010 1
-0-0010 1
.names _138gat_33_ _51gat_8_ [113]
0- 1
-0 1
.names _246gat_53_ _267gat_58_ _255gat_54_ _126gat_30_ n_n228 n_n233 [86] \
n_n231 n_n413
00------ 1
0-0----- 1
-0-00-1- 1
--000-1- 1
-0--0010 1
--0-0010 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _51gat_8_ _156gat_39_ _42gat_7_ _17gat_3_ \
n_n231
1111101 1
1111110 1
.names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _146gat_35_ _51gat_8_ \
_156gat_39_ [126]
0------ 1
-0----- 1
--0---- 1
----0-- 1
-----0- 1
---1--1 1
.names _259gat_55_ _116gat_28_ _246gat_53_ _255gat_54_ n_n228 [65] n_n233 \
n_n231 n_n411
0-0----- 1
--00---- 1
00--01-- 1
-0-001-- 1
0---0100 1
---00100 1
.names _237gat_52_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 [106] n_n231 \
[134]
0------- 1
-0------ 1
--001-1- 1
---01010 1
.names _246gat_53_ _111gat_27_ n_n228 n_n233 [109] n_n231 [44]
1-1--- 1
1---0- 1
11-1-- 1
11---1 1
.names _59gat_10_ _183gat_44_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [45]
111111 1
.names _183gat_44_ _111gat_27_ n_n228 n_n233 [109] n_n231 [48]
0-1--- 1
0---0- 1
01-1-- 1
01---1 1
100-1- 1
1-0010 1
.names _138gat_33_ _8gat_1_ _246gat_53_ _91gat_23_ n_n512 n_n233 [94] n_n231 \
[52]
--1-1--- 1
--1---0- 1
111----- 1
--11-1-- 1
--11---1 1
.names _159gat_40_ _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [53]
111111 1
.names _152gat_37_ _138gat_33_ _246gat_53_ _106gat_26_ n_n512 [84] n_n233 \
n_n231 [144]
--1-1--- 1
--1--0-- 1
111----- 1
--11--1- 1
--11---1 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840]
1111 1
.names _237gat_52_ _201gat_47_ _228gat_51_ _126gat_30_ n_n228 n_n233 [86] \
n_n231 [842]
0-0----- 1
-00----- 1
01--1--- 1
01----0- 1
01-1-1-- 1
-0-00-1- 1
--000-1- 1
01-1---1 1
-0--0010 1
--0-0010 1
.names _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 [851]
11----- 1
1--1--- 1
1----0- 1
1-1-1-- 1
1-1---1 1
.names _177gat_43_ [58] n_n373 [134] [144] [840] [859]
--1--- 1
---0-- 1
----1- 1
11---1 1
.names _101gat_25_ _171gat_42_ [30] n_n512 [71] n_n233 [110] n_n231 [866]
-11----- 1
--11---- 1
--1-0--- 1
--1---0- 1
1-1--1-- 1
1-1----1 1
.names _165gat_41_ n_n193 n_n192 n_n205 [867]
00-- 1
0-1- 1
0--1 1
-0-1 1
--11 1
.names _101gat_25_ _171gat_42_ n_n193 n_n512 [71] n_n233 [110] n_n231 [872]
-00----- 1
00-01-1- 1
0-001-1- 1
-0-01010 1
--001010 1
.names _165gat_41_ [58] n_n379 n_n371 [68] [840] [878]
0-001- 1
-0001- 1
--0010 1
.names _183gat_44_ _111gat_27_ n_n228 n_n233 [109] n_n231 [880]
0-1--- 1
0---0- 1
01-1-- 1
01---1 1
100-1- 1
1-0010 1
.names _219gat_50_ _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [851] [880] \
[881]
1------0 1
10-1---- 1
100--1-- 1
1-01-1-- 1
100-0-0- 1
1-010-0- 1
10--010- 1
1--1010- 1
.names _171gat_42_ [58] n_n380 n_n372 [80] [840] [891]
0-001- 1
-0001- 1
--0010 1
.names _237gat_52_ _228gat_51_ _121gat_29_ _195gat_46_ n_n228 [72] n_n233 \
n_n231 [896]
00------ 1
-0-0---- 1
0--11--- 1
0--1-0-- 1
-00-01-- 1
--0001-- 1
0-11--1- 1
0-11---1 1
-0--0100 1
---00100 1
.names _237gat_52_ _116gat_28_ _189gat_45_ _228gat_51_ n_n228 [65] n_n233 \
n_n231 [903]
0--0---- 1
--00---- 1
0-1-1--- 1
0-1--0-- 1
-00-01-- 1
-0-001-- 1
011---1- 1
011----1 1
--0-0100 1
---00100 1
.end