| .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_ _36gat_6_ _26gat_4_ _13gat_2_ _29gat_5_ _42gat_7_ _17gat_3_ \ |
| _419gat_164_ |
| 0------ 1 |
| --0---- 1 |
| ---0--- 1 |
| ------0 1 |
| -1--11- 1 |
| .names _210gat_49_ _219gat_50_ _261gat_57_ _201gat_47_ _121gat_29_ n_n207 \ |
| [843] _850gat_404_ |
| ------0 1 |
| 1---1-- 1 |
| -101-1- 1 |
| -110-1- 1 |
| -111-0- 1 |
| -100-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 _237gat_52_ _246gat_53_ _228gat_51_ _177gat_43_ n_n203 n_n529 n_n294 \ |
| _874gat_433_ |
| ------0 1 |
| -1--0-- 1 |
| ---1-1- 1 |
| --111-- 1 |
| 1--10-- 1 |
| --100-- 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 _210gat_49_ _159gat_40_ _219gat_50_ _268gat_59_ n_n206 n_n166 [871] \ |
| _878gat_442_ |
| ------1 1 |
| 1--1--- 1 |
| -11-11- 1 |
| -01-01- 1 |
| -01-10- 1 |
| -11-00- 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_ [102] [874] [878] _879gat_441_ |
| ----0 1 |
| 11--- 1 |
| --11- 1 |
| .names _1gat_0_ _55gat_9_ _8gat_1_ _74gat_14_ _59gat_10_ _13gat_2_ _68gat_11_ \ |
| _449gat_176_ |
| 1111111 1 |
| .names _210gat_49_ _219gat_50_ _183gat_44_ _106gat_26_ n_n210 n_n177 [884] \ |
| _863gat_424_ |
| ------1 1 |
| 1--1--- 1 |
| -11-11- 1 |
| -10-01- 1 |
| -10-10- 1 |
| -11-00- 1 |
| .names _1gat_0_ _36gat_6_ _26gat_4_ _13gat_2_ _29gat_5_ _42gat_7_ _17gat_3_ \ |
| _446gat_183_ |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| ----0-- 1 |
| -----0- 1 |
| ------0 1 |
| .names _159gat_40_ n_n206 n_n166 _866gat_426_ |
| 10- 1 |
| 1-0 1 |
| -00 1 |
| .names _210gat_49_ _96gat_24_ [123] [887] [891] _880gat_440_ |
| ----0 1 |
| 11--- 1 |
| --11- 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 [897] _865gat_422_ |
| 0- 1 |
| -0 1 |
| .names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_ |
| 111 1 |
| .names _210gat_49_ _111gat_27_ [121] [900] [904] _864gat_423_ |
| ----0 1 |
| 11--- 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 _17gat_3_ _106gat_26_ [84] n_n233 [106] n_n231 [60] n_n203 |
| 001-1-- 1 |
| -01-1-0 1 |
| 0-1010- 1 |
| --10100 1 |
| .names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] n_n529 |
| 11111 1 |
| .names _219gat_50_ _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [129] n_n294 |
| 0-----1 1 |
| -0011-1 1 |
| -0101-1 1 |
| -1110-1 1 |
| -1000-1 1 |
| -001-11 1 |
| -010-11 1 |
| --01111 1 |
| --10111 1 |
| -111-01 1 |
| -100-01 1 |
| --11001 1 |
| --00001 1 |
| .names _91gat_23_ _17gat_3_ n_n233 [92] [94] n_n231 [60] n_n206 |
| 00-11-- 1 |
| 0--11-0 1 |
| -00110- 1 |
| --01100 1 |
| .names _55gat_9_ _111gat_27_ n_n233 [109] n_n231 [60] n_n210 |
| 00-1-- 1 |
| -0-1-0 1 |
| 0-010- 1 |
| --0100 1 |
| .names _183gat_44_ n_n210 [31] n_n177 n_n190 [866] [867] n_n166 |
| ----1-1 1 |
| --1--01 1 |
| 011---1 1 |
| 0-11--1 1 |
| -111--1 1 |
| .names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58] |
| 11111 1 |
| .names _1gat_0_ _26gat_4_ _59gat_10_ _146gat_35_ _51gat_8_ _156gat_39_ \ |
| _17gat_3_ [65] |
| ---0--- 1 |
| 10----- 1 |
| 1---0-- 1 |
| 1-----0 1 |
| 1-1--1- 1 |
| .names _55gat_9_ _116gat_28_ [65] n_n233 n_n231 [60] n_n209 |
| 001--- 1 |
| -01--0 1 |
| 0-100- 1 |
| --1000 1 |
| .names _171gat_42_ n_n204 [31] |
| 0- 1 |
| -1 1 |
| .names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _149gat_36_ _51gat_8_ \ |
| _156gat_39_ [71] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ----0-- 1 |
| -----0- 1 |
| ---1--1 1 |
| .names _138gat_33_ _101gat_25_ _17gat_3_ [71] n_n233 n_n231 [60] n_n204 |
| -001--- 1 |
| --0100- 1 |
| 00-1--0 1 |
| 0--1000 1 |
| .names _1gat_0_ _26gat_4_ _59gat_10_ _149gat_36_ _51gat_8_ _156gat_39_ \ |
| _17gat_3_ [72] |
| ---0--- 1 |
| 10----- 1 |
| 1---0-- 1 |
| 1-----0 1 |
| 1-1--1- 1 |
| .names _55gat_9_ _121gat_29_ [72] n_n233 n_n231 [60] n_n208 |
| 001--- 1 |
| -01--0 1 |
| 0-100- 1 |
| --1000 1 |
| .names _260gat_56_ _255gat_54_ [74] |
| 0- 1 |
| -0 1 |
| .names _210gat_49_ _116gat_28_ [76] |
| 0- 1 |
| -0 1 |
| .names _219gat_50_ _261gat_57_ _201gat_47_ _195gat_46_ n_n208 [76] n_n207 \ |
| n_n316 |
| 0----1- 1 |
| -11111- 1 |
| -00011- 1 |
| -00101- 1 |
| -11001- 1 |
| -0-0111 1 |
| --00111 1 |
| -0-1011 1 |
| --01011 1 |
| -1-1110 1 |
| --11110 1 |
| -1-0010 1 |
| --10010 1 |
| .names _261gat_57_ _189gat_45_ _201gat_47_ _195gat_46_ n_n209 n_n208 n_n207 \ |
| n_n177 |
| -0--1-- 1 |
| -0-0-1- 1 |
| ---011- 1 |
| 0000--- 1 |
| 0-001-- 1 |
| 000--1- 1 |
| 0-0-11- 1 |
| 00-0--1 1 |
| -000--1 1 |
| 0--01-1 1 |
| --001-1 1 |
| 00---11 1 |
| -00--11 1 |
| 0---111 1 |
| --0-111 1 |
| .names _1gat_0_ _55gat_9_ _26gat_4_ _153gat_38_ _59gat_10_ _51gat_8_ \ |
| _156gat_39_ [84] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| -----0- 1 |
| ----1-1 1 |
| .names _1gat_0_ _75gat_15_ _8gat_1_ _59gat_10_ _51gat_8_ _42gat_7_ _17gat_3_ \ |
| n_n233 |
| 101-1-1 1 |
| 1-101-1 1 |
| 1-1-101 1 |
| .names _1gat_0_ _26gat_4_ _153gat_38_ _59gat_10_ _51gat_8_ _156gat_39_ \ |
| _17gat_3_ [86] |
| --0---- 1 |
| 10----- 1 |
| 1---0-- 1 |
| 1-----0 1 |
| 1--1-1- 1 |
| .names _55gat_9_ _126gat_30_ n_n233 [86] n_n231 [60] n_n207 |
| 00-1-- 1 |
| -0-1-0 1 |
| 0-010- 1 |
| --0100 1 |
| .names _165gat_41_ n_n205 n_n190 |
| 01 1 |
| .names _138gat_33_ _8gat_1_ [92] |
| 0- 1 |
| -0 1 |
| .names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _143gat_34_ _51gat_8_ \ |
| _156gat_39_ [94] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ----0-- 1 |
| -----0- 1 |
| ---1--1 1 |
| .names _17gat_3_ _96gat_24_ n_n233 [113] n_n231 [126] [60] n_n205 |
| 00-1-1- 1 |
| -0-1-10 1 |
| 0-0101- 1 |
| --01010 1 |
| .names _183gat_44_ _165gat_41_ n_n210 n_n177 n_n205 [866] [872] [102] |
| ------0 1 |
| -1--1-- 1 |
| -0--0-- 1 |
| 1-0--1- 1 |
| 1--0-1- 1 |
| --00-1- 1 |
| .names _152gat_37_ _138gat_33_ [106] |
| 0- 1 |
| -0 1 |
| .names _1gat_0_ _26gat_4_ _59gat_10_ _143gat_34_ _51gat_8_ _156gat_39_ \ |
| _17gat_3_ [109] |
| ---0--- 1 |
| 10----- 1 |
| 1---0-- 1 |
| 1-----0 1 |
| 1-1--1- 1 |
| .names _138gat_33_ _51gat_8_ [113] |
| 0- 1 |
| -0 1 |
| .names _267gat_58_ _255gat_54_ [116] |
| 0- 1 |
| -0 1 |
| .names _261gat_57_ _201gat_47_ _195gat_46_ n_n208 n_n207 [35] [121] |
| -----1 1 |
| --10-- 1 |
| 111--- 1 |
| 11-0-- 1 |
| 1-1-0- 1 |
| -11-0- 1 |
| 1--00- 1 |
| -1-00- 1 |
| .names _183gat_44_ _171gat_42_ _177gat_43_ n_n203 n_n210 n_n204 n_n177 [123] |
| --10--- 1 |
| -1---1- 1 |
| -0---0- 1 |
| 1-1-0-- 1 |
| 1--00-- 1 |
| 1-1---0 1 |
| 1--0--0 1 |
| --1-0-0 1 |
| ---00-0 1 |
| .names _1gat_0_ _26gat_4_ _59gat_10_ _51gat_8_ _156gat_39_ _42gat_7_ _17gat_3_ \ |
| n_n231 |
| 1111101 1 |
| 1111110 1 |
| .names _1gat_0_ _55gat_9_ _26gat_4_ _59gat_10_ _146gat_35_ _51gat_8_ \ |
| _156gat_39_ [126] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ----0-- 1 |
| -----0- 1 |
| ---1--1 1 |
| .names _259gat_55_ _255gat_54_ [127] |
| 0- 1 |
| -0 1 |
| .names _210gat_49_ _101gat_25_ [129] |
| 0- 1 |
| -0 1 |
| .names _1gat_0_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \ |
| _80gat_16_ [60] |
| 1110111 1 |
| .names _55gat_9_ _116gat_28_ _189gat_45_ [65] n_n233 n_n231 [60] [35] |
| --00--- 1 |
| -10-1-- 1 |
| -10--1- 1 |
| 1-0---1 1 |
| 0011--- 1 |
| -011--0 1 |
| 0-1100- 1 |
| --11000 1 |
| .names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840] |
| 1111 1 |
| .names _237gat_52_ _246gat_53_ _201gat_47_ _228gat_51_ n_n529 n_n207 [116] \ |
| [843] |
| --0--11 1 |
| -000--1 1 |
| ---0011 1 |
| 00-00-1 1 |
| 001-001 1 |
| .names _171gat_42_ _177gat_43_ n_n203 n_n204 [866] |
| 11-- 1 |
| 1-0- 1 |
| -1-0 1 |
| --00 1 |
| .names _171gat_42_ _165gat_41_ _177gat_43_ n_n203 n_n204 n_n205 [867] |
| -00--- 1 |
| -0-1-- 1 |
| -0---1 1 |
| --0--1 1 |
| ---1-1 1 |
| 00--1- 1 |
| 0---11 1 |
| .names _159gat_40_ _237gat_52_ _246gat_53_ _228gat_51_ n_n206 [58] [840] [871] |
| --1-0-- 1 |
| 1--11-- 1 |
| 11--0-- 1 |
| 0--10-- 1 |
| 1----11 1 |
| .names _171gat_42_ _177gat_43_ n_n203 n_n204 [872] |
| 00-- 1 |
| 0-1- 1 |
| 0--1 1 |
| -0-1 1 |
| --11 1 |
| .names _165gat_41_ n_n205 [873] |
| 11 1 |
| 00 1 |
| .names _219gat_50_ _183gat_44_ n_n210 n_n177 [866] [872] [873] [874] |
| 1-----0 1 |
| 1---01- 1 |
| 101--1- 1 |
| 10-1-1- 1 |
| 1-11-1- 1 |
| .names _237gat_52_ _246gat_53_ _228gat_51_ _165gat_41_ [58] n_n205 [840] [878] |
| ---0-1- 1 |
| -000--- 1 |
| --0-01- 1 |
| --0--10 1 |
| 000-0-- 1 |
| 000---0 1 |
| 00-100- 1 |
| 00-1-00 1 |
| .names _237gat_52_ _183gat_44_ _246gat_53_ _228gat_51_ n_n210 [58] [840] [884] |
| --1-0-- 1 |
| -1-11-- 1 |
| 11--0-- 1 |
| -0-10-- 1 |
| -1---11 1 |
| .names _171gat_42_ n_n204 [886] |
| 11 1 |
| 00 1 |
| .names _219gat_50_ _183gat_44_ _177gat_43_ n_n203 n_n210 n_n177 [886] [887] |
| 1-----0 1 |
| 1-01--- 1 |
| 100-1-- 1 |
| 10-11-- 1 |
| 100--1- 1 |
| 10-1-1- 1 |
| 1-0-11- 1 |
| 1--111- 1 |
| .names _237gat_52_ _246gat_53_ _171gat_42_ _228gat_51_ [58] n_n204 [840] [891] |
| --0--1- 1 |
| -000--- 1 |
| ---001- 1 |
| ---0-10 1 |
| 00-00-- 1 |
| 00-0--0 1 |
| 001-00- 1 |
| 001--00 1 |
| .names _237gat_52_ _246gat_53_ _228gat_51_ _195gat_46_ n_n529 n_n208 [74] \ |
| [897] |
| ---0-11 1 |
| -000--1 1 |
| --0-011 1 |
| 000-0-1 1 |
| 00-1001 1 |
| .names _55gat_9_ _116gat_28_ _189gat_45_ [65] n_n233 n_n231 [60] [899] |
| --00--- 1 |
| -10-1-- 1 |
| -10--1- 1 |
| 1-0---1 1 |
| 0011--- 1 |
| -011--0 1 |
| 0-1100- 1 |
| --11000 1 |
| .names _219gat_50_ _261gat_57_ _201gat_47_ _195gat_46_ n_n208 n_n207 [899] \ |
| [900] |
| 1-----0 1 |
| 1--01-- 1 |
| 1000--- 1 |
| 100-1-- 1 |
| 10-0-1- 1 |
| 1-00-1- 1 |
| 10--11- 1 |
| 1-0-11- 1 |
| .names _237gat_52_ _246gat_53_ _189gat_45_ _228gat_51_ n_n529 n_n209 [127] \ |
| [904] |
| --0--11 1 |
| -000--1 1 |
| ---0011 1 |
| 00-00-1 1 |
| 001-001 1 |
| .end |
