.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_ _13gat_2_ _17gat_3_ [822] _419gat_164_
0--- 1
-0-- 1
--0- 1
---1 1
.names n_n331 [841] [842] _850gat_404_
0-- 1
-0- 1
--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 _210gat_49_ _101gat_25_ n_n347 n_n313 [858] _874gat_433_
--0-- 1
---1- 1
----1 1
11--- 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 _246gat_53_ n_n344 n_n285 n_n457 [53] [861] _878gat_442_
-0---- 1
--0--- 1
----1- 1
1--0-- 1
1----0 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_ _219gat_50_ _91gat_23_ n_n305 [102] [878] _879gat_441_
-----0 1
1-1--- 1
-1-01- 1
.names _74gat_14_ _59gat_10_ [58] _449gat_176_
111 1
.names _219gat_50_ _183gat_44_ n_n210 n_n177 [95] [884] _863gat_424_
----0- 1
-----1 1
1111-- 1
1001-- 1
1010-- 1
1100-- 1
.names _1gat_0_ _13gat_2_ _17gat_3_ [885] _446gat_183_
0--- 1
-0-- 1
--0- 1
---1 1
.names _159gat_40_ n_n457 [120] [861] [867] _866gat_426_
10--- 1
1-0-- 1
-00-- 1
1--0- 1
--00- 1
1---0 1
-0--0 1
---00 1
.names _210gat_49_ _219gat_50_ _96gat_24_ n_n307 [123] [891] _880gat_440_
-----0 1
1-1--- 1
-1-01- 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 [895] [896] _865gat_422_
0-- 1
-0- 1
--0 1
.names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_
111 1
.names _210gat_49_ _111gat_27_ n_n329 [902] [903] _864gat_423_
--1-- 1
---0- 1
----0 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 _153gat_38_ _17gat_3_ _447gat_182_ n_n463 [826] [853] n_n203
--01-- 1
00-1-- 1
0--10- 1
-0-1-0 1
---100 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] n_n529
11111 1
.names _237gat_52_ _228gat_51_ _177gat_43_ n_n463 [854] n_n347
00--- 1
-00-- 1
0-10- 1
-0-11 1
--011 1
0-1-0 1
.names _143gat_34_ _17gat_3_ _447gat_182_ n_n457 [826] [853] n_n206
--01-- 1
00-1-- 1
0--10- 1
-0-1-0 1
---100 1
.names _159gat_40_ _237gat_52_ _228gat_51_ n_n457 [861] n_n344
0-0-- 1
-00-- 1
10-0- 1
0--11 1
--011 1
10--0 1
.names _159gat_40_ _219gat_50_ n_n206 [97] [120] [867] n_n285
-0-1-- 1
1-110- 1
0-010- 1
1-11-0 1
0-01-0 1
0-1111 1
1-0111 1
.names _55gat_9_ _143gat_34_ _447gat_182_ [108] [41] [826] n_n210
00-1-- 1
-001-- 1
0--11- 1
--011- 1
-0-1-0 1
---110 1
.names _237gat_52_ _183gat_44_ _228gat_51_ [108] [847] n_n348
0-0-- 1
-00-- 1
01-0- 1
-0-11 1
--011 1
01--0 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58]
11111 1
.names _116gat_28_ _42gat_7_ _17gat_3_ [85] [829] [830] [64]
0----- 1
---0-0 1
----00 1
-110-- 1
-000-- 1
-11-0- 1
-00-0- 1
.names _55gat_9_ _146gat_35_ _447gat_182_ [64] [41] [826] n_n209
00-1-- 1
-001-- 1
0--11- 1
--011- 1
-0-1-0 1
---110 1
.names _201gat_47_ [87] [832] n_n201
10- 1
1-0 1
.names _219gat_50_ _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 n_n313
10111- 1
10001- 1
11010- 1
11100- 1
1011-1 1
1000-1 1
1-1111 1
1-0011 1
1101-0 1
1110-0 1
1-0100 1
1-1000 1
.names _171gat_42_ n_n458 [864] [31]
0-- 1
-11 1
.names _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [886] n_n307
-10--1 1
11-0-1 1
1-00-1 1
11--01 1
1-0-01 1
-1-001 1
--0001 1
.names _101gat_25_ [85] [110] [125] [829] [830] n_n458
0-1--- 1
-010-- 1
--100- 1
-01--0 1
--1-00 1
.names _42gat_7_ _17gat_3_ _121gat_29_ [85] [829] [830] [73]
--0--- 1
---0-0 1
----00 1
11-0-- 1
00-0-- 1
11--0- 1
00--0- 1
.names _55gat_9_ _149gat_36_ _447gat_182_ [73] [41] [826] n_n208
00-1-- 1
-001-- 1
0--11- 1
--011- 1
-0-1-0 1
---110 1
.names _195gat_46_ [73] [849] n_n200
011 1
.names _210gat_49_ _219gat_50_ _116gat_28_ _195gat_46_ n_n208 n_n175 n_n316
00---- 1
-00--- 1
0--011 1
--0011 1
0--101 1
--0101 1
0--110 1
--0110 1
0--000 1
--0000 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ _195gat_46_ [58] [78]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [851] n_n177
0-1--- 1
00--1- 1
-01-1- 1
00-0-0 1
-010-0 1
0--010 1
--1010 1
.names _106gat_26_ [85] [106] [125] [829] [830] n_n463
0-1--- 1
-010-- 1
--100- 1
-01--0 1
--1-00 1
.names _75gat_15_ _59gat_10_ _42gat_7_ [85]
0-- 1
-0- 1
--0 1
.names _42gat_7_ _17gat_3_ _126gat_30_ [85] [829] [830] [87]
--0--- 1
---0-0 1
----00 1
11-0-- 1
00-0-- 1
11--0- 1
00--0- 1
.names _219gat_50_ _189gat_45_ n_n209 n_n200 [851] [898] n_n329
101--0 1
110--0 1
10101- 1
11001- 1
1111-1 1
1001-1 1
111-01 1
100-01 1
.names _165gat_41_ n_n459 [863] n_n190
011 1
.names _183gat_44_ n_n210 n_n177 [866] [872] [873] n_n305
----01 1
10-1-1 1
1-01-1 1
-001-1 1
.names _138gat_33_ _8gat_1_ [92]
0- 1
-0 1
.names _91gat_23_ [85] [92] [125] [829] [830] n_n457
0-1--- 1
-010-- 1
--100- 1
-01--0 1
--1-00 1
.names _210gat_49_ _106gat_26_ [95]
0- 1
-0 1
.names _210gat_49_ _268gat_59_ [97]
0- 1
-0 1
.names _183gat_44_ n_n210 n_n177 [50] [866] [872] [102]
---1-- 1
-----0 1
10--1- 1
1-0-1- 1
-00-1- 1
.names _152gat_37_ _138gat_33_ [106]
0- 1
-0 1
.names _111gat_27_ _42gat_7_ _17gat_3_ [85] [829] [830] [108]
0----- 1
---0-0 1
----00 1
-110-- 1
-000-- 1
-11-0- 1
-00-0- 1
.names _138gat_33_ _17gat_3_ [110]
0- 1
-0 1
.names _261gat_57_ _201gat_47_ [87] [832] n_n175
00-- 1
0-11 1
-011 1
.names _138gat_33_ _51gat_8_ [113]
0- 1
-0 1
.names _96gat_24_ [85] [113] [125] [829] [830] n_n459
0-1--- 1
-010-- 1
--100- 1
-01--0 1
--1-00 1
.names _210gat_49_ _121gat_29_ [117]
0- 1
-0 1
.names _219gat_50_ _261gat_57_ _201gat_47_ [87] [117] [832] n_n331
0---1- 1
-0101- 1
-1001- 1
-01-10 1
-10-10 1
-11111 1
-00111 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _201gat_47_ _42gat_7_ [58] [119]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names _183gat_44_ n_n210 [31] n_n177 n_n190 [866] [120]
----1- 1
--1--0 1
011--- 1
0-11-- 1
-111-- 1
.names _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [39] [123]
-----1 1
-10--- 1
11-0-- 1
1-00-- 1
11--0- 1
1-0-0- 1
-1-00- 1
--000- 1
.names _42gat_7_ _17gat_3_ [125]
01 1
10 1
.names _59gat_10_ _73gat_13_ _189gat_45_ _72gat_12_ _42gat_7_ [58] [131]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _51gat_8_ _156gat_39_ _17gat_3_ [41]
10---- 1
1--0-- 1
1----0 1
1-1-1- 1
.names _171gat_42_ n_n458 [864] [39]
00- 1
0-0 1
111 1
.names _59gat_10_ _183gat_44_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [45]
111111 1
.names _165gat_41_ n_n459 [863] [50]
00- 1
0-0 1
111 1
.names _159gat_40_ _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [53]
111111 1
.names _36gat_6_ _26gat_4_ _29gat_5_ _42gat_7_ [822]
-0-- 1
1-11 1
.names _75gat_15_ _268gat_59_ _29gat_5_ _80gat_16_ [826]
1011 1
.names _1gat_0_ _8gat_1_ _51gat_8_ _17gat_3_ [829]
1111 1
.names _1gat_0_ _26gat_4_ _59gat_10_ _51gat_8_ _156gat_39_ [830]
11111 1
.names _55gat_9_ _153gat_38_ _447gat_182_ [41] [826] [832]
00--- 1
-00-- 1
0--1- 1
--01- 1
-0--0 1
---10 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840]
1111 1
.names _246gat_53_ _267gat_58_ _255gat_54_ [87] [119] [832] [841]
00--1- 1
0-0-1- 1
-0-111 1
--0111 1
.names _237gat_52_ _201gat_47_ _228gat_51_ [87] [832] [842]
0-0-- 1
-00-- 1
01-0- 1
-0-11 1
--011 1
01--0 1
.names _55gat_9_ _143gat_34_ _447gat_182_ [41] [826] [847]
00--- 1
-00-- 1
0--1- 1
--01- 1
-0--0 1
---10 1
.names _55gat_9_ _146gat_35_ _447gat_182_ [41] [826] [848]
00--- 1
-00-- 1
0--1- 1
--01- 1
-0--0 1
---10 1
.names _55gat_9_ _149gat_36_ _447gat_182_ [41] [826] [849]
00--- 1
-00-- 1
0--1- 1
--01- 1
-0--0 1
---10 1
.names _261gat_57_ _201gat_47_ [87] [832] [851]
11-- 1
1-0- 1
1--0 1
.names _55gat_9_ _59gat_10_ _156gat_39_ [853]
10- 1
1-0 1
.names _153gat_38_ _17gat_3_ _447gat_182_ [826] [853] [854]
--0-- 1
00--- 1
0--0- 1
-0--0 1
---00 1
.names _246gat_53_ _177gat_43_ [58] n_n463 [840] [854] [858]
1--0-- 1
1----0 1
-11-1- 1
.names _143gat_34_ _17gat_3_ _447gat_182_ [826] [853] [861]
--0-- 1
00--- 1
0--0- 1
-0--0 1
---00 1
.names _146gat_35_ _17gat_3_ _447gat_182_ [826] [853] [863]
--0-- 1
00--- 1
0--0- 1
-0--0 1
---00 1
.names _149gat_36_ _17gat_3_ _447gat_182_ [826] [853] [864]
--0-- 1
00--- 1
0--0- 1
-0--0 1
---00 1
.names _171gat_42_ _177gat_43_ n_n458 n_n463 [854] [864] [865]
11-0-- 1
-100-- 1
11--0- 1
-10-0- 1
-1-0-0 1
-1--00 1
.names _171gat_42_ _177gat_43_ n_n458 n_n463 [854] [864] [866]
11---- 1
-10--- 1
1--0-- 1
--00-- 1
1---0- 1
--0-0- 1
-1---0 1
---0-0 1
----00 1
.names _165gat_41_ n_n459 [863] [865] [867]
0--0 1
011- 1
-110 1
.names _171gat_42_ _177gat_43_ n_n458 n_n463 [854] [864] [872]
00---- 1
0--11- 1
0-1--1 1
-01--1 1
--1111 1
.names _165gat_41_ n_n459 [863] [873]
00- 1
0-0 1
111 1
.names _237gat_52_ _246gat_53_ _165gat_41_ n_n529 n_n459 [863] [877]
-00--- 1
00-0-- 1
--0-11 1
---011 1
.names _228gat_51_ _165gat_41_ n_n459 [863] [877] [878]
0---1 1
-10-1 1
-1-01 1
-0111 1
.names _246gat_53_ n_n348 [108] [45] [847] [884]
-0--- 1
---1- 1
1-0-- 1
1---0 1
.names _36gat_6_ _26gat_4_ _29gat_5_ _42gat_7_ [885]
0--- 1
-0-- 1
--0- 1
---0 1
.names _171gat_42_ n_n458 [864] [886]
00- 1
0-0 1
111 1
.names _237gat_52_ _246gat_53_ _171gat_42_ n_n529 n_n458 [864] [890]
-00--- 1
00-0-- 1
--0-11 1
---011 1
.names _171gat_42_ _228gat_51_ n_n458 [864] [890] [891]
-0--1 1
1-0-1 1
1--01 1
0-111 1
.names _260gat_56_ _246gat_53_ _255gat_54_ [73] [78] [849] [895]
00--1- 1
-00-1- 1
0--111 1
--0111 1
.names _237gat_52_ _228gat_51_ _195gat_46_ [73] [849] [896]
00--- 1
-00-- 1
0-10- 1
-0-11 1
--011 1
0-1-0 1
.names _201gat_47_ _195gat_46_ [73] [87] [832] [849] [898]
00---- 1
-0-11- 1
0-1--1 1
-01--1 1
--1111 1
.names _259gat_55_ _246gat_53_ _255gat_54_ [64] [131] [848] [902]
00--1- 1
-00-1- 1
0--111 1
--0111 1
.names _237gat_52_ _189gat_45_ _228gat_51_ [64] [848] [903]
0-0-- 1
-00-- 1
01-0- 1
-0-11 1
--011 1
01--0 1
.end