.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 _130gat_31_ n_n214 n_n538 n_n522 _768gat_334_
011- 1
101- 1
01-1 1
10-1 1
1100 1
0000 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 [843] _850gat_404_
0- 1
-0 1
.names _36gat_6_ _29gat_5_ _80gat_16_ _389gat_132_
111 1
.names _130gat_31_ n_n213 n_n532 n_n520 _767gat_349_
011- 1
101- 1
01-1 1
10-1 1
1100 1
0000 1
.names _210gat_49_ _101gat_25_ n_n313 [859] _874gat_433_
--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 [89] [97] [869] [871] _878gat_442_
-0-- 1
---1 1
1-1- 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 n_n282 n_n379 n_n371 [876] _879gat_441_
0--- 1
-1-- 1
--1- 1
---0 1
.names _8gat_1_ _13gat_2_ [838] [879] _449gat_176_
1111 1
.names [95] [112] [881] [884] _863gat_424_
0--- 1
---1 1
-11- 1
.names _1gat_0_ _13gat_2_ _17gat_3_ [885] _446gat_183_
0--- 1
-0-- 1
--0- 1
---1 1
.names _159gat_40_ n_n206 [120] [867] _866gat_426_
10-- 1
1-0- 1
-00- 1
1--0 1
-0-0 1
.names n_n283 n_n380 n_n372 [889] _880gat_440_
0--- 1
-1-- 1
--1- 1
---0 1
.names _85gat_17_ _86gat_18_ _391gat_124_
11 1
.names _8gat_1_ _13gat_2_ _29gat_5_ [838] _448gat_179_
1111 1
.names _210gat_49_ _116gat_28_ n_n330 [897] _865gat_422_
--1- 1
---0 1
11-- 1
.names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_
111 1
.names _210gat_49_ _111gat_27_ n_n329 [904] _864gat_423_
--1- 1
---0 1
11-- 1
.names _207gat_48_ n_n523 n_n541 n_n214
11- 1
1-1 1
000 1
.names _135gat_32_ n_n535 n_n521 n_n213
11- 1
1-1 1
000 1
.names n_n512 n_n463 [84] n_n203
011 1
.names n_n512 n_n457 [94] n_n206
011 1
.names n_n228 [109] [108] n_n210
011 1
.names _183gat_44_ _189gat_45_ _201gat_47_ _195gat_46_ n_n523
0101 1
1001 1
0110 1
1010 1
.names _101gat_25_ _91gat_23_ _96gat_24_ _106gat_26_ n_n532
1111 1
1001 1
0110 1
0000 1
.names _101gat_25_ _91gat_23_ _96gat_24_ _106gat_26_ n_n520
0011 1
0101 1
1010 1
1100 1
.names _55gat_9_ _447gat_182_ [826] n_n228
111 1
.names _1gat_0_ _146gat_35_ _447gat_182_ [831] [65]
-0-- 1
1-0- 1
1--1 1
.names _116gat_28_ [85] n_n231 [829] [64]
0--- 1
-00- 1
--00 1
.names n_n228 [65] [64] n_n209
011 1
.names _189gat_45_ n_n228 [65] [64] n_n198
0011 1
.names _201gat_47_ n_n228 [87] [86] n_n201
11-- 1
1-0- 1
1--0 1
.names _201gat_47_ _228gat_51_ [87] [832] n_n377
010- 1
01-0 1
1111 1
.names _183gat_44_ n_n210 [83] [852] n_n173
01-- 1
0-11 1
-111 1
.names _177gat_43_ n_n512 n_n463 [84] n_n193
11-- 1
1-0- 1
1--0 1
.names _177gat_43_ n_n512 n_n463 [84] [30]
1--- 1
-1-- 1
--0- 1
---0 1
.names _219gat_50_ _177gat_43_ n_n203 n_n173 n_n313
1111 1
1001 1
1010 1
1100 1
.names _210gat_49_ _91gat_23_ [67]
0- 1
-0 1
.names _219gat_50_ [67] n_n305 [102] n_n282
01-- 1
-11- 1
-1-0 1
.names _237gat_52_ _165gat_41_ n_n459 [863] n_n379
110- 1
11-0 1
.names _228gat_51_ _165gat_41_ n_n459 [863] n_n371
100- 1
10-0 1
1111 1
.names _165gat_41_ [837] [838] [840] [69]
0--- 1
-0-- 1
--0- 1
---0 1
.names _171gat_42_ n_n458 n_n512 [71] n_n192
0101 1
.names _171gat_42_ n_n458 n_n512 [71] [31]
0--- 1
-101 1
.names _177gat_43_ n_n203 n_n173 [886] n_n307
10-1 1
1-01 1
-001 1
.names _228gat_51_ _177gat_43_ n_n463 [854] n_n373
100- 1
10-0 1
1111 1
.names _195gat_46_ n_n201 n_n208 [851] n_n176
0-1- 1
00-0 1
-010 1
.names _101gat_25_ n_n233 [110] n_n231 n_n458
0-1- 1
-010 1
.names _17gat_3_ _447gat_182_ [826] n_n512
111 1
.names _149gat_36_ _447gat_182_ [853] [71]
0-- 1
-0- 1
--0 1
.names _121gat_29_ [85] n_n231 [829] [73]
0--- 1
-00- 1
--00 1
.names _1gat_0_ _149gat_36_ _447gat_182_ [831] [72]
-0-- 1
1-0- 1
1--1 1
.names n_n228 [73] [72] n_n208
011 1
.names _195gat_46_ n_n228 [73] [72] n_n200
0011 1
.names _228gat_51_ _195gat_46_ [73] [849] n_n376
100- 1
10-0 1
1111 1
.names _260gat_56_ _255gat_54_ [74]
0- 1
-0 1
.names _246gat_53_ [73] [74] [849] n_n412
0-1- 1
-111 1
.names _219gat_50_ _195gat_46_ n_n208 n_n175 n_n330
1111 1
1001 1
1010 1
1100 1
.names _195gat_46_ [837] [838] [840] [78]
0--- 1
-0-- 1
--0- 1
---0 1
.names _237gat_52_ _195gat_46_ [73] [849] [77]
0--- 1
-0-- 1
--11 1
.names _210gat_49_ _96gat_24_ [79]
0- 1
-0 1
.names _219gat_50_ n_n307 [79] [123] n_n283
0-1- 1
-11- 1
--10 1
.names _237gat_52_ _171gat_42_ n_n458 [864] n_n380
110- 1
11-0 1
.names _171gat_42_ _228gat_51_ n_n458 [864] n_n372
010- 1
01-0 1
1111 1
.names _171gat_42_ [837] [838] [840] [81]
0--- 1
-0-- 1
--0- 1
---0 1
.names _195gat_46_ n_n198 n_n208 [851] [83]
-1-- 1
0-1- 1
0--0 1
--10 1
.names _106gat_26_ n_n233 [106] n_n231 n_n463
0-1- 1
-010 1
.names _153gat_38_ _447gat_182_ [853] [84]
0-- 1
-0- 1
--0 1
.names _116gat_28_ _111gat_27_ _121gat_29_ _126gat_30_ n_n535
1111 1
0011 1
1100 1
0000 1
.names _116gat_28_ _111gat_27_ _121gat_29_ _126gat_30_ n_n521
0101 1
1001 1
0110 1
1010 1
.names _75gat_15_ _59gat_10_ _42gat_7_ [85]
0-- 1
-0- 1
--0 1
.names _75gat_15_ _59gat_10_ _42gat_7_ [829] n_n233
0--1 1
-0-1 1
--01 1
.names _159gat_40_ _171gat_42_ _165gat_41_ _177gat_43_ n_n538
1111 1
0101 1
1010 1
0000 1
.names _159gat_40_ _171gat_42_ _165gat_41_ _177gat_43_ n_n522
0011 1
1001 1
0110 1
1100 1
.names _126gat_30_ [85] n_n231 [829] [87]
0--- 1
-00- 1
--00 1
.names _1gat_0_ _153gat_38_ _447gat_182_ [831] [86]
-0-- 1
1-0- 1
1--1 1
.names _219gat_50_ _189gat_45_ n_n209 n_n176 n_n329
1111 1
1001 1
1010 1
1100 1
.names [120] [56] [867] [89]
0-- 1
-1- 1
--0 1
.names _165gat_41_ n_n512 n_n459 [126] n_n190
0011 1
.names n_n173 [866] [872] [873] n_n305
--01 1
01-1 1
.names _138gat_33_ _8gat_1_ [92]
0- 1
-0 1
.names _91gat_23_ n_n233 [92] n_n231 n_n457
0-1- 1
-010 1
.names _143gat_34_ _447gat_182_ [853] [94]
0-- 1
-0- 1
--0 1
.names n_n512 n_n459 [126] n_n205
011 1
.names _261gat_57_ _201gat_47_ [87] [832] n_n387
100- 1
10-0 1
1111 1
.names _210gat_49_ _106gat_26_ [95]
0- 1
-0 1
.names _159gat_40_ _228gat_51_ n_n457 [861] n_n370
010- 1
01-0 1
1111 1
.names _159gat_40_ _237gat_52_ n_n457 [861] [96]
0--- 1
-0-- 1
--11 1
.names _210gat_49_ _268gat_59_ [97]
0- 1
-0 1
.names _261gat_57_ _201gat_47_ [87] [832] [98]
1--- 1
-00- 1
-0-0 1
-111 1
.names _183gat_44_ _189gat_45_ _201gat_47_ _195gat_46_ n_n541
1111 1
0011 1
1100 1
0000 1
.names n_n173 [50] [866] [872] [102]
-1-- 1
---0 1
0-1- 1
.names _152gat_37_ _138gat_33_ [106]
0- 1
-0 1
.names _189gat_45_ _228gat_51_ [64] [848] n_n375
010- 1
01-0 1
1111 1
.names _1gat_0_ _143gat_34_ _447gat_182_ [831] [109]
-0-- 1
1-0- 1
1--1 1
.names _111gat_27_ [85] n_n231 [829] [108]
0--- 1
-00- 1
--00 1
.names _138gat_33_ _17gat_3_ [110]
0- 1
-0 1
.names _183gat_44_ _228gat_51_ [108] [847] n_n374
010- 1
01-0 1
1111 1
.names [83] [48] [852] [112]
0-- 1
-1- 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_ n_n233 [113] n_n231 n_n459
0-1- 1
-010 1
.names _267gat_58_ _255gat_54_ [116]
0- 1
-0 1
.names _246gat_53_ [87] [116] [832] n_n413
0-1- 1
-111 1
.names _210gat_49_ _121gat_29_ [117]
0- 1
-0 1
.names _219gat_50_ n_n387 [98] [117] n_n331
0--1 1
-1-1 1
--01 1
.names _201gat_47_ [837] [838] [840] [119]
0--- 1
-0-- 1
--0- 1
---0 1
.names _237gat_52_ _201gat_47_ [87] [832] [118]
0--- 1
-0-- 1
--11 1
.names n_n173 [31] n_n190 [866] [120]
--1- 1
11-- 1
-1-0 1
.names _177gat_43_ n_n203 n_n173 [39] [123]
---1 1
10-- 1
1-0- 1
-00- 1
.names _42gat_7_ _17gat_3_ [125]
01 1
10 1
.names _59gat_10_ _156gat_39_ _447gat_182_ [125] n_n231
1111 1
.names _146gat_35_ _447gat_182_ [853] [126]
0-- 1
-0- 1
--0 1
.names _259gat_55_ _255gat_54_ [127]
0- 1
-0 1
.names _246gat_53_ [64] [127] [848] n_n411
0-1- 1
-111 1
.names _189gat_45_ [837] [838] [840] [131]
0--- 1
-0-- 1
--0- 1
---0 1
.names _237gat_52_ _189gat_45_ [64] [848] [130]
0--- 1
-0-- 1
--11 1
.names _237gat_52_ _177gat_43_ n_n463 [854] [134]
0--- 1
-0-- 1
--11 1
.names _237gat_52_ _183gat_44_ [108] [847] [137]
0--- 1
-0-- 1
--11 1
.names _171gat_42_ n_n458 n_n512 [71] [39]
00-- 1
0-1- 1
0--0 1
1101 1
.names _183gat_44_ [837] [838] [840] [45]
1111 1
.names _183gat_44_ n_n228 [109] [108] [48]
01-- 1
0-0- 1
0--0 1
1011 1
.names _165gat_41_ n_n512 n_n459 [126] [50]
01-- 1
0-0- 1
0--0 1
1011 1
.names _159gat_40_ [837] [838] [840] [53]
1111 1
.names _159gat_40_ n_n512 n_n457 [94] [56]
01-- 1
0-0- 1
0--0 1
1011 1
.names _177gat_43_ [837] [838] [840] [143]
1111 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 _59gat_10_ _156gat_39_ _17gat_3_ [831]
--0 1
11- 1
.names _55gat_9_ _447gat_182_ [86] [826] [832]
0-1- 1
-01- 1
--10 1
.names _13gat_2_ _8gat_1_ [837]
11 1
.names _1gat_0_ _55gat_9_ _68gat_11_ [838]
111 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840]
1111 1
.names n_n377 n_n413 [119] [118] [843]
0111 1
.names _55gat_9_ _447gat_182_ [109] [826] [847]
0-1- 1
-01- 1
--10 1
.names _55gat_9_ _447gat_182_ [65] [826] [848]
0-1- 1
-01- 1
--10 1
.names _55gat_9_ _447gat_182_ [72] [826] [849]
0-1- 1
-01- 1
--10 1
.names _261gat_57_ _201gat_47_ [87] [832] [851]
11-- 1
1-0- 1
1--0 1
.names _189gat_45_ n_n209 n_n201 n_n200 [852]
01-- 1
0-0- 1
-10- 1
0--1 1
-1-1 1
.names _55gat_9_ _59gat_10_ _156gat_39_ [853]
10- 1
1-0 1
.names _153gat_38_ _447gat_182_ n_n512 [853] [854]
0-0- 1
-00- 1
--00 1
.names _246gat_53_ n_n463 [143] [854] [858]
--1- 1
10-- 1
1--0 1
.names n_n373 [134] [858] [859]
1-- 1
-0- 1
--1 1
.names _143gat_34_ _447gat_182_ n_n512 [853] [861]
0-0- 1
-00- 1
--00 1
.names _146gat_35_ _447gat_182_ n_n512 [853] [863]
0-0- 1
-00- 1
--00 1
.names _149gat_36_ _447gat_182_ n_n512 [853] [864]
0-0- 1
-00- 1
--00 1
.names _171gat_42_ [30] n_n458 [864] [866]
11-- 1
-10- 1
-1-0 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 _159gat_40_ n_n512 n_n457 [94] [868]
01-- 1
0-0- 1
0--0 1
1011 1
.names _219gat_50_ [120] [867] [868] [869]
1--0 1
111- 1
.names _246gat_53_ n_n457 [53] [861] [870]
--1- 1
10-- 1
1--0 1
.names n_n370 [96] [870] [871]
1-- 1
-0- 1
--1 1
.names _171gat_42_ n_n193 n_n458 [864] [872]
00-- 1
0-11 1
-011 1
.names _165gat_41_ n_n512 n_n459 [126] [873]
01-- 1
0-0- 1
0--0 1
1011 1
.names _246gat_53_ [69] n_n459 [863] [876]
01-- 1
-111 1
.names _59gat_10_ _74gat_14_ [879]
11 1
.names _183gat_44_ n_n228 [109] [108] [880]
01-- 1
0-0- 1
0--0 1
1011 1
.names _219gat_50_ [83] [852] [880] [881]
1--0 1
111- 1
.names _246gat_53_ [108] [45] [847] [883]
--1- 1
10-- 1
1--0 1
.names n_n374 [137] [883] [884]
1-- 1
-0- 1
--1 1
.names _36gat_6_ _26gat_4_ _29gat_5_ _42gat_7_ [885]
0--- 1
-0-- 1
--0- 1
---0 1
.names _171gat_42_ n_n458 n_n512 [71] [886]
00-- 1
0-1- 1
0--0 1
1101 1
.names _246gat_53_ n_n458 [81] [864] [889]
0-1- 1
-111 1
.names n_n376 n_n412 [78] [77] [897]
0111 1
.names n_n375 n_n411 [131] [130] [904]
0111 1
.end