.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 n_n212 n_n214 _768gat_334_
01 1
10 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 _26gat_4_ _390gat_131_ [59] _419gat_164_
0-- 1
-1- 1
--0 1
.names n_n343 [117] [843] _850gat_404_
1-- 1
-0- 1
--0 1
.names _36gat_6_ _29gat_5_ _80gat_16_ _389gat_132_
111 1
.names n_n211 n_n213 _767gat_349_
01 1
10 1
.names n_n313 [129] [859] _874gat_433_
1-- 1
-0- 1
--1 1
.names _8gat_1_ [59] _418gat_168_
11 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 n_n291 [97] [871] _878gat_442_
1-- 1
-0- 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_n292 [67] [878] _879gat_441_
1-- 1
-0- 1
--0 1
.names [837] [838] [879] _449gat_176_
111 1
.names n_n328 [95] [884] _863gat_424_
1-- 1
-0- 1
--1 1
.names _26gat_4_ _390gat_131_ [59] _446gat_183_
0-- 1
-0- 1
--0 1
.names _159gat_40_ n_n206 [42] _866gat_426_
--1 1
10- 1
.names n_n293 [79] [891] _880gat_440_
1-- 1
-0- 1
--0 1
.names _85gat_17_ _86gat_18_ _391gat_124_
11 1
.names _29gat_5_ [837] [838] _448gat_179_
111 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 n_n329 [88] [904] _864gat_423_
1-- 1
-0- 1
--0 1
.names _130gat_31_ n_n538 n_n522 n_n212
11- 1
1-1 1
000 1
.names _207gat_48_ n_n523 n_n541 n_n214
11- 1
1-1 1
000 1
.names _1gat_0_ _13gat_2_ _17gat_3_ [59]
111 1
.names _130gat_31_ n_n532 n_n520 n_n211
11- 1
1-1 1
000 1
.names _135gat_32_ n_n535 n_n521 n_n213
11- 1
1-1 1
000 1
.names [107] [106] [854] n_n203
111 1
.names _59gat_10_ _42gat_7_ [61]
11 1
.names [93] [92] [861] n_n206
111 1
.names n_n228 [109] [108] n_n210
011 1
.names _159gat_40_ n_n206 [33]
1- 1
-0 1
.names _8gat_1_ _13gat_2_ [838] [58]
111 1
.names _201gat_47_ _195gat_46_ [63]
01 1
10 1
.names _183gat_44_ _189gat_45_ [63] n_n523
011 1
101 1
.names _101gat_25_ _106gat_26_ [100] n_n532
111 1
001 1
.names _101gat_25_ _106gat_26_ [133] n_n520
011 1
101 1
.names _55gat_9_ [60] n_n228
11 1
.names _146gat_35_ [41] [65]
0- 1
-1 1
.names _116gat_28_ n_n233 n_n231 [64]
0-- 1
-00 1
.names n_n228 [65] [64] n_n209
011 1
.names _189gat_45_ n_n209 n_n198
01 1
.names _201gat_47_ n_n207 n_n201
10 1
.names _201gat_47_ _228gat_51_ n_n207 n_n377
111 1
010 1
.names _177gat_43_ n_n203 n_n193
10 1
.names _177gat_43_ n_n203 [30]
1- 1
-0 1
.names n_n195 [90] [855] n_n325
1-1 1
-01 1
.names n_n195 [90] [147] [66]
1-- 1
-0- 1
--1 1
.names _219gat_50_ n_n325 [66] n_n313
101 1
.names _219gat_50_ n_n305 [102] n_n292
101 1
.names _210gat_49_ _91gat_23_ [67]
0- 1
-0 1
.names _237gat_52_ _165gat_41_ n_n205 n_n379
110 1
.names _228gat_51_ _165gat_41_ n_n205 n_n371
111 1
100 1
.names _165gat_41_ [58] [840] [69]
0-- 1
-0- 1
--0 1
.names _171gat_42_ n_n204 n_n192
01 1
.names _171gat_42_ n_n204 [31]
0- 1
-1 1
.names n_n193 [82] [886] n_n307
1-1 1
-01 1
.names _228gat_51_ _177gat_43_ n_n203 n_n373
111 1
100 1
.names _195gat_46_ n_n208 [851] n_n185
1-1 1
-01 1
.names _149gat_36_ _447gat_182_ [853] [71]
0-- 1
-0- 1
--0 1
.names [111] [110] [864] n_n204
111 1
.names _121gat_29_ n_n233 n_n231 [73]
0-- 1
-00 1
.names _149gat_36_ [41] [72]
0- 1
-1 1
.names n_n228 [73] [72] n_n208
011 1
.names _195gat_46_ n_n208 n_n200
01 1
.names _228gat_51_ _195gat_46_ n_n208 n_n376
111 1
100 1
.names _260gat_56_ _255gat_54_ [74]
0- 1
-0 1
.names _246gat_53_ n_n208 [74] n_n412
0-1 1
-11 1
.names _210gat_49_ _116gat_28_ [76]
0- 1
-0 1
.names [76] [138] [894] n_n316
10- 1
1-0 1
.names _195gat_46_ [58] [840] [78]
0-- 1
-0- 1
--0 1
.names _237gat_52_ _195gat_46_ n_n208 [77]
0-- 1
-0- 1
--1 1
.names _219gat_50_ n_n307 [123] n_n293
101 1
.names _210gat_49_ _96gat_24_ [79]
0- 1
-0 1
.names _237gat_52_ _171gat_42_ n_n204 n_n380
110 1
.names _171gat_42_ _228gat_51_ n_n204 n_n372
111 1
010 1
.names _171gat_42_ [58] [840] [81]
0-- 1
-0- 1
--0 1
.names [30] n_n195 [90] [82]
0-- 1
-01 1
.names n_n198 n_n201 n_n200 n_n182
010 1
.names _189gat_45_ n_n209 [149] [83]
--1 1
01- 1
.names _153gat_38_ _447gat_182_ [853] [84]
0-- 1
-0- 1
--0 1
.names _116gat_28_ _111gat_27_ [105] n_n535
111 1
001 1
.names _116gat_28_ _111gat_27_ [136] n_n521
011 1
101 1
.names _75gat_15_ _59gat_10_ _42gat_7_ [85]
0-- 1
-0- 1
--0 1
.names [85] [827] [828] n_n233
111 1
.names _59gat_10_ _156gat_39_ [32]
0- 1
-0 1
.names _159gat_40_ _165gat_41_ [132] n_n538
111 1
001 1
.names _159gat_40_ _165gat_41_ [139] n_n522
011 1
101 1
.names _126gat_30_ n_n233 n_n231 [87]
0-- 1
-00 1
.names _153gat_38_ [41] [86]
0- 1
-1 1
.names n_n228 [87] [86] n_n207
011 1
.names n_n195 [90] [866] n_n170
1-1 1
-01 1
.names _219gat_50_ n_n339 [121] n_n329
101 1
.names _210gat_49_ _111gat_27_ [88]
0- 1
-0 1
.names [120] [867] [868] n_n303
0-1 1
-01 1
.names [120] [56] [867] [89]
0-- 1
-1- 1
--0 1
.names _219gat_50_ n_n303 [89] n_n291
101 1
.names _165gat_41_ n_n205 n_n190
01 1
.names n_n170 [872] [873] n_n305
1-1 1
-01 1
.names _183gat_44_ n_n210 n_n195
10 1
.names [83] [34] [852] [90]
-0- 1
1-1 1
.names _91gat_23_ n_n233 n_n231 [93]
0-- 1
-00 1
.names _138gat_33_ _8gat_1_ [92]
0- 1
-0 1
.names _143gat_34_ _447gat_182_ [853] [94]
0-- 1
-0- 1
--0 1
.names [114] [113] [863] n_n205
111 1
.names _261gat_57_ _201gat_47_ n_n207 n_n387
111 1
100 1
.names _219gat_50_ n_n337 [112] n_n328
101 1
.names _210gat_49_ _106gat_26_ [95]
0- 1
-0 1
.names _159gat_40_ _228gat_51_ n_n206 n_n370
111 1
010 1
.names _159gat_40_ _237gat_52_ n_n206 [96]
0-- 1
-0- 1
--1 1
.names _210gat_49_ _268gat_59_ [97]
0- 1
-0 1
.names _261gat_57_ _201gat_47_ n_n207 [98]
1-- 1
-11 1
-00 1
.names _219gat_50_ n_n387 [98] n_n343
101 1
.names _183gat_44_ _189gat_45_ [124] n_n541
111 1
001 1
.names _91gat_23_ _96gat_24_ [100]
11 1
00 1
.names n_n170 [50] [872] [102]
1-- 1
-1- 1
--0 1
.names _121gat_29_ _126gat_30_ [105]
11 1
00 1
.names _106gat_26_ n_n233 n_n231 [107]
0-- 1
-00 1
.names _152gat_37_ _138gat_33_ [106]
0- 1
-0 1
.names _189gat_45_ _228gat_51_ n_n209 n_n375
111 1
010 1
.names _143gat_34_ [41] [109]
0- 1
-1 1
.names _111gat_27_ n_n233 n_n231 [108]
0-- 1
-00 1
.names n_n193 n_n192 n_n190 n_n179
100 1
.names _101gat_25_ n_n233 n_n231 [111]
0-- 1
-00 1
.names _138gat_33_ _17gat_3_ [110]
0- 1
-0 1
.names _183gat_44_ n_n210 [34]
1- 1
-0 1
.names _183gat_44_ _228gat_51_ n_n210 n_n374
111 1
010 1
.names n_n185 [898] [899] n_n339
1-1 1
-01 1
.names [83] [852] [880] n_n337
0-1 1
-01 1
.names [83] [48] [852] [112]
0-- 1
-1- 1
--0 1
.names _261gat_57_ _201gat_47_ n_n207 n_n175
00- 1
0-1 1
-01 1
.names _96gat_24_ n_n233 n_n231 [114]
0-- 1
-00 1
.names _138gat_33_ _51gat_8_ [113]
0- 1
-0 1
.names _267gat_58_ _255gat_54_ [116]
0- 1
-0 1
.names _246gat_53_ n_n207 [116] n_n413
0-1 1
-11 1
.names _210gat_49_ _121gat_29_ [117]
0- 1
-0 1
.names _201gat_47_ [58] [840] [119]
0-- 1
-0- 1
--0 1
.names _237gat_52_ _201gat_47_ n_n207 [118]
0-- 1
-0- 1
--1 1
.names [31] n_n170 n_n190 [120]
--1 1
10- 1
.names n_n185 [35] [898] [121]
1-- 1
-1- 1
--0 1
.names n_n193 [82] [39] [123]
1-- 1
-0- 1
--1 1
.names _201gat_47_ _195gat_46_ [124]
11 1
00 1
.names _42gat_7_ _17gat_3_ [125]
01 1
10 1
.names _447gat_182_ [32] [125] n_n231
101 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_ n_n209 [127] n_n411
0-1 1
-11 1
.names _210gat_49_ _101gat_25_ [129]
0- 1
-0 1
.names _189gat_45_ [58] [840] [131]
0-- 1
-0- 1
--0 1
.names _237gat_52_ _189gat_45_ n_n209 [130]
0-- 1
-0- 1
--1 1
.names _171gat_42_ _177gat_43_ [132]
11 1
00 1
.names _91gat_23_ _96gat_24_ [133]
01 1
10 1
.names _237gat_52_ _177gat_43_ n_n203 [134]
0-- 1
-0- 1
--1 1
.names _121gat_29_ _126gat_30_ [136]
01 1
10 1
.names _447gat_182_ [824] [825] [60]
111 1
.names _237gat_52_ _183gat_44_ n_n210 [137]
0-- 1
-0- 1
--1 1
.names _195gat_46_ n_n208 n_n175 [138]
--0 1
11- 1
00- 1
.names _171gat_42_ _177gat_43_ [139]
01 1
10 1
.names _1gat_0_ _447gat_182_ [831] [41]
10- 1
1-1 1
.names _189gat_45_ n_n209 [35]
11 1
00 1
.names _171gat_42_ n_n204 [39]
11 1
00 1
.names [33] [120] [867] [42]
10- 1
1-0 1
.names _183gat_44_ [58] [840] [45]
111 1
.names _183gat_44_ n_n210 [48]
11 1
00 1
.names _165gat_41_ n_n205 [50]
11 1
00 1
.names _159gat_40_ [58] [840] [53]
111 1
.names _159gat_40_ n_n206 [56]
11 1
00 1
.names _177gat_43_ [58] [840] [143]
111 1
.names _177gat_43_ n_n203 [147]
11 1
00 1
.names _195gat_46_ n_n208 [851] [149]
01- 1
0-0 1
-10 1
.names _268gat_59_ _75gat_15_ [824]
01 1
.names _80gat_16_ _29gat_5_ [825]
11 1
.names _8gat_1_ _1gat_0_ [827]
11 1
.names _17gat_3_ _51gat_8_ [828]
11 1
.names _59gat_10_ _156gat_39_ _17gat_3_ [831]
--0 1
11- 1
.names _13gat_2_ _8gat_1_ [837]
11 1
.names _1gat_0_ _55gat_9_ _68gat_11_ [838]
111 1
.names _73gat_13_ _72gat_12_ [61] [840]
111 1
.names n_n413 [119] [841]
11 1
.names n_n377 [118] [841] [843]
011 1
.names _261gat_57_ _201gat_47_ n_n207 [851]
11- 1
1-0 1
.names _189gat_45_ n_n209 n_n182 [852]
0-0 1
-10 1
.names _55gat_9_ _59gat_10_ _156gat_39_ [853]
10- 1
1-0 1
.names _17gat_3_ [84] [60] [854]
01- 1
-10 1
.names _177gat_43_ n_n203 [855]
11 1
00 1
.names _246gat_53_ n_n203 [143] [858]
--1 1
10- 1
.names n_n373 [134] [858] [859]
1-- 1
-0- 1
--1 1
.names _17gat_3_ [94] [60] [861]
01- 1
-10 1
.names _17gat_3_ [126] [60] [863]
01- 1
-10 1
.names _17gat_3_ [71] [60] [864]
01- 1
-10 1
.names _171gat_42_ [30] n_n204 [866]
11- 1
-10 1
.names _165gat_41_ n_n205 n_n179 [867]
0-0 1
-10 1
.names _159gat_40_ n_n206 [868]
11 1
00 1
.names _246gat_53_ n_n206 [53] [870]
--1 1
10- 1
.names n_n370 [96] [870] [871]
1-- 1
-0- 1
--1 1
.names _171gat_42_ n_n193 n_n204 [872]
00- 1
0-1 1
-01 1
.names _165gat_41_ n_n205 [873]
11 1
00 1
.names _246gat_53_ [69] n_n205 [876]
01- 1
-11 1
.names n_n379 n_n371 [876] [878]
001 1
.names _59gat_10_ _74gat_14_ [879]
11 1
.names _183gat_44_ n_n210 [880]
11 1
00 1
.names _246gat_53_ n_n210 [45] [883]
--1 1
10- 1
.names n_n374 [137] [883] [884]
1-- 1
-0- 1
--1 1
.names _171gat_42_ n_n204 [886]
11 1
00 1
.names _246gat_53_ n_n204 [81] [889]
0-1 1
-11 1
.names n_n380 n_n372 [889] [891]
001 1
.names _195gat_46_ n_n208 [893]
11 1
00 1
.names _219gat_50_ n_n175 [893] [894]
11- 1
1-0 1
.names n_n412 [78] [895]
11 1
.names n_n376 [77] [896]
01 1
.names _195gat_46_ n_n201 n_n208 [898]
00- 1
0-1 1
-01 1
.names _189gat_45_ n_n209 [899]
11 1
00 1
.names n_n411 [131] [902]
11 1
.names n_n375 [130] [902] [904]
011 1
.end