.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_ _219gat_50_ _261gat_57_ _201gat_47_ _121gat_29_ n_n207 \
[843] _850gat_404_
------0 1
1---1-- 1
-101-1- 1
-110-1- 1
-111-0- 1
-100-0- 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 _237gat_52_ _246gat_53_ _228gat_51_ _177gat_43_ n_n203 n_n529 n_n294 \
_874gat_433_
------0 1
-1--0-- 1
---1-1- 1
--111-- 1
1--10-- 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_ _159gat_40_ _219gat_50_ _268gat_59_ n_n206 n_n166 [871] \
_878gat_442_
------1 1
1--1--- 1
-11-11- 1
-01-01- 1
-01-10- 1
-11-00- 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 _210gat_49_ _91gat_23_ [102] [874] [878] _879gat_441_
----0 1
11--- 1
--11- 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _74gat_14_ _59gat_10_ _13gat_2_ _68gat_11_ \
_449gat_176_
1111111 1
.names _210gat_49_ _219gat_50_ _183gat_44_ _106gat_26_ n_n210 n_n177 [884] \
_863gat_424_
------1 1
1--1--- 1
-11-11- 1
-10-01- 1
-10-10- 1
-11-00- 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_n166 _866gat_426_
10- 1
1-0 1
-00 1
.names _210gat_49_ _96gat_24_ [123] [887] [891] _880gat_440_
----0 1
11--- 1
--11- 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 n_n316 [897] _865gat_422_
0- 1
-0 1
.names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_
111 1
.names _210gat_49_ _111gat_27_ [121] [900] [904] _864gat_423_
----0 1
11--- 1
--11- 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 _17gat_3_ _106gat_26_ [84] n_n233 [106] n_n231 [60] n_n203
001-1-- 1
-01-1-0 1
0-1010- 1
--10100 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] n_n529
11111 1
.names _219gat_50_ _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [129] n_n294
0-----1 1
-0011-1 1
-0101-1 1
-1110-1 1
-1000-1 1
-001-11 1
-010-11 1
--01111 1
--10111 1
-111-01 1
-100-01 1
--11001 1
--00001 1
.names _91gat_23_ _17gat_3_ n_n233 [92] [94] n_n231 [60] n_n206
00-11-- 1
0--11-0 1
-00110- 1
--01100 1
.names _55gat_9_ _111gat_27_ n_n233 [109] n_n231 [60] n_n210
00-1-- 1
-0-1-0 1
0-010- 1
--0100 1
.names _183gat_44_ n_n210 [31] n_n177 n_n190 [866] [867] n_n166
----1-1 1
--1--01 1
011---1 1
0-11--1 1
-111--1 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58]
11111 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 _55gat_9_ _116gat_28_ [65] n_n233 n_n231 [60] n_n209
001--- 1
-01--0 1
0-100- 1
--1000 1
.names _171gat_42_ n_n204 [31]
0- 1
-1 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_ [71] n_n233 n_n231 [60] n_n204
-001--- 1
--0100- 1
00-1--0 1
0--1000 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 _55gat_9_ _121gat_29_ [72] n_n233 n_n231 [60] n_n208
001--- 1
-01--0 1
0-100- 1
--1000 1
.names _260gat_56_ _255gat_54_ [74]
0- 1
-0 1
.names _210gat_49_ _116gat_28_ [76]
0- 1
-0 1
.names _219gat_50_ _261gat_57_ _201gat_47_ _195gat_46_ n_n208 [76] n_n207 \
n_n316
0----1- 1
-11111- 1
-00011- 1
-00101- 1
-11001- 1
-0-0111 1
--00111 1
-0-1011 1
--01011 1
-1-1110 1
--11110 1
-1-0010 1
--10010 1
.names _261gat_57_ _189gat_45_ _201gat_47_ _195gat_46_ n_n209 n_n208 n_n207 \
n_n177
-0--1-- 1
-0-0-1- 1
---011- 1
0000--- 1
0-001-- 1
000--1- 1
0-0-11- 1
00-0--1 1
-000--1 1
0--01-1 1
--001-1 1
00---11 1
-00--11 1
0---111 1
--0-111 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 _55gat_9_ _126gat_30_ n_n233 [86] n_n231 [60] n_n207
00-1-- 1
-0-1-0 1
0-010- 1
--0100 1
.names _165gat_41_ n_n205 n_n190
01 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 _17gat_3_ _96gat_24_ n_n233 [113] n_n231 [126] [60] n_n205
00-1-1- 1
-0-1-10 1
0-0101- 1
--01010 1
.names _183gat_44_ _165gat_41_ n_n210 n_n177 n_n205 [866] [872] [102]
------0 1
-1--1-- 1
-0--0-- 1
1-0--1- 1
1--0-1- 1
--00-1- 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_ _51gat_8_ [113]
0- 1
-0 1
.names _267gat_58_ _255gat_54_ [116]
0- 1
-0 1
.names _261gat_57_ _201gat_47_ _195gat_46_ n_n208 n_n207 [35] [121]
-----1 1
--10-- 1
111--- 1
11-0-- 1
1-1-0- 1
-11-0- 1
1--00- 1
-1-00- 1
.names _183gat_44_ _171gat_42_ _177gat_43_ n_n203 n_n210 n_n204 n_n177 [123]
--10--- 1
-1---1- 1
-0---0- 1
1-1-0-- 1
1--00-- 1
1-1---0 1
1--0--0 1
--1-0-0 1
---00-0 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_ _255gat_54_ [127]
0- 1
-0 1
.names _210gat_49_ _101gat_25_ [129]
0- 1
-0 1
.names _1gat_0_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \
_80gat_16_ [60]
1110111 1
.names _55gat_9_ _116gat_28_ _189gat_45_ [65] n_n233 n_n231 [60] [35]
--00--- 1
-10-1-- 1
-10--1- 1
1-0---1 1
0011--- 1
-011--0 1
0-1100- 1
--11000 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840]
1111 1
.names _237gat_52_ _246gat_53_ _201gat_47_ _228gat_51_ n_n529 n_n207 [116] \
[843]
--0--11 1
-000--1 1
---0011 1
00-00-1 1
001-001 1
.names _171gat_42_ _177gat_43_ n_n203 n_n204 [866]
11-- 1
1-0- 1
-1-0 1
--00 1
.names _171gat_42_ _165gat_41_ _177gat_43_ n_n203 n_n204 n_n205 [867]
-00--- 1
-0-1-- 1
-0---1 1
--0--1 1
---1-1 1
00--1- 1
0---11 1
.names _159gat_40_ _237gat_52_ _246gat_53_ _228gat_51_ n_n206 [58] [840] [871]
--1-0-- 1
1--11-- 1
11--0-- 1
0--10-- 1
1----11 1
.names _171gat_42_ _177gat_43_ n_n203 n_n204 [872]
00-- 1
0-1- 1
0--1 1
-0-1 1
--11 1
.names _165gat_41_ n_n205 [873]
11 1
00 1
.names _219gat_50_ _183gat_44_ n_n210 n_n177 [866] [872] [873] [874]
1-----0 1
1---01- 1
101--1- 1
10-1-1- 1
1-11-1- 1
.names _237gat_52_ _246gat_53_ _228gat_51_ _165gat_41_ [58] n_n205 [840] [878]
---0-1- 1
-000--- 1
--0-01- 1
--0--10 1
000-0-- 1
000---0 1
00-100- 1
00-1-00 1
.names _237gat_52_ _183gat_44_ _246gat_53_ _228gat_51_ n_n210 [58] [840] [884]
--1-0-- 1
-1-11-- 1
11--0-- 1
-0-10-- 1
-1---11 1
.names _171gat_42_ n_n204 [886]
11 1
00 1
.names _219gat_50_ _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [886] [887]
1-----0 1
1-01--- 1
100-1-- 1
10-11-- 1
100--1- 1
10-1-1- 1
1-0-11- 1
1--111- 1
.names _237gat_52_ _246gat_53_ _171gat_42_ _228gat_51_ [58] n_n204 [840] [891]
--0--1- 1
-000--- 1
---001- 1
---0-10 1
00-00-- 1
00-0--0 1
001-00- 1
001--00 1
.names _237gat_52_ _246gat_53_ _228gat_51_ _195gat_46_ n_n529 n_n208 [74] \
[897]
---0-11 1
-000--1 1
--0-011 1
000-0-1 1
00-1001 1
.names _55gat_9_ _116gat_28_ _189gat_45_ [65] n_n233 n_n231 [60] [899]
--00--- 1
-10-1-- 1
-10--1- 1
1-0---1 1
0011--- 1
-011--0 1
0-1100- 1
--11000 1
.names _219gat_50_ _261gat_57_ _201gat_47_ _195gat_46_ n_n208 n_n207 [899] \
[900]
1-----0 1
1--01-- 1
1000--- 1
100-1-- 1
10-0-1- 1
1-00-1- 1
10--11- 1
1-0-11- 1
.names _237gat_52_ _246gat_53_ _189gat_45_ _228gat_51_ n_n529 n_n209 [127] \
[904]
--0--11 1
-000--1 1
---0011 1
00-00-1 1
001-001 1
.end