.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 _1gat_0_ _13gat_2_ _17gat_3_ [822] _419gat_164_
0--- 1
-0-- 1
--0- 1
---1 1
.names _219gat_50_ n_n387 [98] [117] [843] _850gat_404_
---0- 1
----0 1
101-- 1
.names _36gat_6_ _29gat_5_ _80gat_16_ _389gat_132_
111 1
.names n_n211 n_n213 _767gat_349_
01 1
10 1
.names _219gat_50_ n_n325 [66] [129] [859] _874gat_433_
---0- 1
----1 1
101-- 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 _219gat_50_ n_n303 [89] [97] [871] _878gat_442_
---0- 1
----1 1
101-- 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_ n_n292 [878] _879gat_441_
--1- 1
---0 1
11-- 1
.names _74gat_14_ _59gat_10_ [58] _449gat_176_
111 1
.names _210gat_49_ _106gat_26_ n_n328 [884] _863gat_424_
--1- 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_ [93] [92] [42] [861] _866gat_426_
---1- 1
10--- 1
1-0-- 1
1---0 1
.names _210gat_49_ _96gat_24_ n_n293 [891] _880gat_440_
--1- 1
---0 1
11-- 1
.names _85gat_17_ _86gat_18_ _391gat_124_
11 1
.names _29gat_5_ [58] _448gat_179_
11 1
.names n_n376 n_n412 n_n316 [78] [77] _865gat_422_
1---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_
111 1
.names _219gat_50_ [88] n_n339 [121] [904] _864gat_423_
-0--- 1
----0 1
1-01- 1
.names _159gat_40_ _130gat_31_ _171gat_42_ _165gat_41_ _177gat_43_ n_n212
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 _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 _130gat_31_ _101gat_25_ _91gat_23_ _96gat_24_ _106gat_26_ n_n211
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 _55gat_9_ _447gat_182_ [109] [108] [826] n_n210
0-11- 1
-011- 1
--110 1
.names _159gat_40_ _138gat_33_ _8gat_1_ [93] [861] [33]
1---- 1
---0- 1
----0 1
-11-- 1
.names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58]
11111 1
.names _1gat_0_ _55gat_9_ _26gat_4_ _51gat_8_ [826] n_n228
11111 1
.names _1gat_0_ _26gat_4_ _146gat_35_ _51gat_8_ [831] [65]
--0-- 1
10--- 1
1--0- 1
1---1 1
.names _116gat_28_ [85] [125] [829] [830] [64]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _55gat_9_ _447gat_182_ [65] [64] [826] n_n209
0-11- 1
-011- 1
--110 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_ n_n228 [87] [86] n_n377
011-- 1
01-0- 1
01--0 1
11011 1
.names _152gat_37_ _138gat_33_ _177gat_43_ [107] [854] n_n193
--10- 1
--1-0 1
111-- 1
.names _152gat_37_ _138gat_33_ _177gat_43_ [107] [854] [30]
--1-- 1
---0- 1
----0 1
11--- 1
.names _183gat_44_ n_n210 [83] [852] [855] n_n325
10--1 1
1-0-1 1
-00-1 1
1--01 1
-0-01 1
.names _183gat_44_ n_n210 [83] [147] [852] [66]
---1- 1
10--- 1
1-0-- 1
-00-- 1
1---0 1
-0--0 1
.names _219gat_50_ _165gat_41_ n_n170 n_n205 [872] n_n292
1011- 1
1110- 1
10-10 1
11-00 1
11011 1
10001 1
.names _237gat_52_ _165gat_41_ [114] [113] [863] n_n379
110-- 1
11-0- 1
11--0 1
.names _228gat_51_ _165gat_41_ [114] [113] [863] n_n371
100-- 1
10-0- 1
10--0 1
11111 1
.names _165gat_41_ [58] [840] [69]
0-- 1
-0- 1
--0 1
.names _138gat_33_ _171gat_42_ _17gat_3_ [111] [864] n_n192
00-11 1
-0011 1
.names _138gat_33_ _171gat_42_ _17gat_3_ [111] [864] [31]
-0--- 1
0--11 1
--011 1
.names _228gat_51_ _177gat_43_ [107] [106] [854] n_n373
100-- 1
10-0- 1
10--0 1
11111 1
.names _138gat_33_ _17gat_3_ [111] [864] n_n204
0-11 1
-011 1
.names _121gat_29_ [85] [125] [829] [830] [73]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _1gat_0_ _26gat_4_ _149gat_36_ _51gat_8_ [831] [72]
--0-- 1
10--- 1
1--0- 1
1---1 1
.names _55gat_9_ _447gat_182_ [73] [72] [826] n_n208
0-11- 1
-011- 1
--110 1
.names _195gat_46_ n_n228 [73] [72] n_n200
0011 1
.names _228gat_51_ _195gat_46_ n_n228 [73] [72] n_n376
101-- 1
10-0- 1
10--0 1
11011 1
.names _260gat_56_ _255gat_54_ [74]
0- 1
-0 1
.names _246gat_53_ n_n228 [73] [72] [74] n_n412
0---1 1
-0111 1
.names _210gat_49_ _116gat_28_ [76]
0- 1
-0 1
.names _219gat_50_ _195gat_46_ n_n208 [76] n_n175 n_n316
0--1- 1
-0111 1
-1011 1
-1110 1
-0010 1
.names _195gat_46_ [58] [840] [78]
0-- 1
-0- 1
--0 1
.names _237gat_52_ _195gat_46_ n_n228 [73] [72] [77]
0---- 1
-0--- 1
--011 1
.names _219gat_50_ _171gat_42_ n_n193 n_n204 [82] n_n293
1011- 1
1110- 1
10-10 1
11-00 1
11011 1
10001 1
.names _237gat_52_ _171gat_42_ [111] [110] [864] n_n380
110-- 1
11-0- 1
11--0 1
.names _171gat_42_ _228gat_51_ [111] [110] [864] n_n372
010-- 1
01-0- 1
01--0 1
11111 1
.names _171gat_42_ [58] [840] [81]
0-- 1
-0- 1
--0 1
.names _183gat_44_ n_n210 [30] [83] [852] [82]
--0-- 1
01--- 1
0--11 1
-1-11 1
.names _195gat_46_ n_n198 n_n208 [851] [83]
-1-- 1
0-1- 1
0--0 1
--10 1
.names _75gat_15_ _59gat_10_ _42gat_7_ [85]
0-- 1
-0- 1
--0 1
.names _126gat_30_ [85] [125] [829] [830] [87]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _1gat_0_ _26gat_4_ _153gat_38_ _51gat_8_ [831] [86]
--0-- 1
10--- 1
1--0- 1
1---1 1
.names _183gat_44_ n_n210 [83] [852] [866] n_n170
10--1 1
1-0-1 1
-00-1 1
1--01 1
-0-01 1
.names _210gat_49_ _111gat_27_ [88]
0- 1
-0 1
.names [31] n_n170 n_n190 [867] [868] n_n303
---01 1
0-0-1 1
-10-1 1
.names [31] n_n170 n_n190 [56] [867] [89]
---1- 1
----0 1
0-0-- 1
-10-- 1
.names _138gat_33_ _51gat_8_ _165gat_41_ [114] [863] n_n190
0-011 1
-0011 1
.names _91gat_23_ [85] [125] [829] [830] [93]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _138gat_33_ _8gat_1_ [92]
0- 1
-0 1
.names _138gat_33_ _51gat_8_ [114] [863] n_n205
0-11 1
-011 1
.names _261gat_57_ _201gat_47_ n_n228 [87] [86] n_n387
101-- 1
10-0- 1
10--0 1
11011 1
.names _219gat_50_ _183gat_44_ n_n210 [83] [852] n_n328
1010- 1
1100- 1
101-0 1
110-0 1
11111 1
10011 1
.names _159gat_40_ _228gat_51_ [93] [92] [861] n_n370
010-- 1
01-0- 1
01--0 1
11111 1
.names _159gat_40_ _237gat_52_ [93] [92] [861] [96]
0---- 1
-0--- 1
--111 1
.names _210gat_49_ _268gat_59_ [97]
0- 1
-0 1
.names _261gat_57_ _201gat_47_ n_n228 [87] [86] [98]
1---- 1
-01-- 1
-0-0- 1
-0--0 1
-1011 1
.names _106gat_26_ [85] [125] [829] [830] [107]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _152gat_37_ _138gat_33_ [106]
0- 1
-0 1
.names _189gat_45_ _228gat_51_ n_n228 [65] [64] n_n375
011-- 1
01-0- 1
01--0 1
11011 1
.names _1gat_0_ _26gat_4_ _143gat_34_ _51gat_8_ [831] [109]
--0-- 1
10--- 1
1--0- 1
1---1 1
.names _111gat_27_ [85] [125] [829] [830] [108]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _101gat_25_ [85] [125] [829] [830] [111]
0---- 1
-00-- 1
--00- 1
-0--0 1
---00 1
.names _138gat_33_ _17gat_3_ [110]
0- 1
-0 1
.names _183gat_44_ _228gat_51_ n_n228 [109] [108] n_n374
011-- 1
01-0- 1
01--0 1
11011 1
.names _195gat_46_ n_n201 n_n208 [851] [899] n_n339
11--1 1
1-0-1 1
-10-1 1
1--11 1
--011 1
.names _261gat_57_ _201gat_47_ n_n228 [87] [86] n_n175
00--- 1
0-011 1
-0011 1
.names _96gat_24_ [85] [125] [829] [830] [114]
0---- 1
-00-- 1
--00- 1
-0--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_n228 [87] [86] [116] n_n413
0---1 1
-0111 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_n228 [87] [86] [118]
0---- 1
-0--- 1
--011 1
.names _195gat_46_ n_n201 n_n208 [35] [851] [121]
---1- 1
11--- 1
1-0-- 1
-10-- 1
1---1 1
--0-1 1
.names _42gat_7_ _17gat_3_ [125]
01 1
10 1
.names _259gat_55_ _255gat_54_ [127]
0- 1
-0 1
.names _246gat_53_ n_n228 [65] [64] [127] n_n411
0---1 1
-0111 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_n228 [65] [64] [130]
0---- 1
-0--- 1
--011 1
.names _237gat_52_ _177gat_43_ [107] [106] [854] [134]
0---- 1
-0--- 1
--111 1
.names _237gat_52_ _183gat_44_ n_n228 [109] [108] [137]
0---- 1
-0--- 1
--011 1
.names _189gat_45_ n_n228 [65] [64] [35]
01-- 1
0-0- 1
0--0 1
1011 1
.names [33] [31] n_n170 n_n190 [867] [42]
1---0 1
10-0- 1
1-10- 1
.names _183gat_44_ [58] [840] [45]
111 1
.names _159gat_40_ [58] [840] [53]
111 1
.names _159gat_40_ _138gat_33_ _8gat_1_ [93] [861] [56]
0--0- 1
0---0 1
011-- 1
10-11 1
1-011 1
.names _177gat_43_ [58] [840] [143]
111 1
.names _152gat_37_ _138gat_33_ _177gat_43_ [107] [854] [147]
--00- 1
--0-0 1
110-- 1
0-111 1
-0111 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 _59gat_10_ _156gat_39_ _17gat_3_ [831]
--0 1
11- 1
.names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840]
1111 1
.names n_n377 n_n413 [119] [118] [843]
0111 1
.names _261gat_57_ _201gat_47_ n_n228 [87] [86] [851]
11--- 1
1-1-- 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_ _17gat_3_ _447gat_182_ [826] [853] [854]
--0-- 1
00--- 1
0--0- 1
-0--0 1
---00 1
.names _152gat_37_ _138gat_33_ _177gat_43_ [107] [854] [855]
--00- 1
--0-0 1
110-- 1
0-111 1
-0111 1
.names _246gat_53_ [107] [106] [143] [854] [858]
---1- 1
10--- 1
1-0-- 1
1---0 1
.names n_n373 [134] [858] [859]
1-- 1
-0- 1
--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_ [30] [111] [110] [864] [866]
11--- 1
-10-- 1
-1-0- 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_ _138gat_33_ _8gat_1_ [93] [861] [868]
0--0- 1
0---0 1
011-- 1
10-11 1
1-011 1
.names _246gat_53_ [93] [92] [53] [861] [870]
---1- 1
10--- 1
1-0-- 1
1---0 1
.names n_n370 [96] [870] [871]
1-- 1
-0- 1
--1 1
.names _171gat_42_ n_n193 [111] [110] [864] [872]
00--- 1
0-111 1
-0111 1
.names _246gat_53_ [69] [114] [113] [863] [876]
01--- 1
-1111 1
.names n_n379 n_n371 [876] [878]
001 1
.names _246gat_53_ n_n228 [109] [108] [45] [883]
----1 1
11--- 1
1-0-- 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 _246gat_53_ [81] [111] [110] [864] [889]
01--- 1
-1111 1
.names n_n380 n_n372 [889] [891]
001 1
.names _189gat_45_ n_n228 [65] [64] [899]
01-- 1
0-0- 1
0--0 1
1011 1
.names n_n375 n_n411 [131] [130] [904]
0111 1
.end