| .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 |
