| .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_ _201gat_47_ _121gat_29_ [58] n_n343 n_n413 [840] [842] \ |
| _850gat_404_ |
| ----1--- 1 |
| -----0-- 1 |
| -------0 1 |
| 1-1----- 1 |
| -1-1--1- 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 _210gat_49_ _219gat_50_ _101gat_25_ _177gat_43_ n_n203 n_n173 [859] \ |
| _874gat_433_ |
| ------1 1 |
| 1-1---- 1 |
| -1-111- 1 |
| -1-001- 1 |
| -1-010- 1 |
| -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_ _268gat_59_ n_n291 n_n370 [96] [52] [53] _878gat_442_ |
| --1---- 1 |
| ---1--- 1 |
| ----0-- 1 |
| -----1- 1 |
| ------1 1 |
| 11----- 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 _219gat_50_ _165gat_41_ n_n173 [67] n_n205 [866] [872] [878] \ |
| _879gat_441_ |
| ---0---- 1 |
| -------0 1 |
| 10--1-0- 1 |
| 11--0-0- 1 |
| 100-11-- 1 |
| 110-01-- 1 |
| 111-1-1- 1 |
| 101-0-1- 1 |
| 11--101- 1 |
| 10--001- 1 |
| .names _1gat_0_ _55gat_9_ _8gat_1_ _74gat_14_ _59gat_10_ _13gat_2_ _68gat_11_ \ |
| _449gat_176_ |
| 1111111 1 |
| .names _210gat_49_ _106gat_26_ n_n348 [112] [44] [45] [881] _863gat_424_ |
| --0---- 1 |
| ----1-- 1 |
| -----1- 1 |
| 11----- 1 |
| ---1--1 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_n173 [30] n_n192 [31] n_n190 [867] _866gat_426_ |
| 10------ 1 |
| 1------0 1 |
| -0-----0 1 |
| 1----00- 1 |
| -0---00- 1 |
| 1-010-0- 1 |
| -0010-0- 1 |
| .names _219gat_50_ _171gat_42_ _177gat_43_ n_n203 n_n173 n_n204 [79] [891] \ |
| _880gat_440_ |
| ------0- 1 |
| -------0 1 |
| 1101-1-- 1 |
| 1010-1-- 1 |
| 110-11-- 1 |
| 11-111-- 1 |
| 101-01-- 1 |
| 10-001-- 1 |
| 1001-0-- 1 |
| 1110-0-- 1 |
| 100-10-- 1 |
| 10-110-- 1 |
| 111-00-- 1 |
| 11-000-- 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 _219gat_50_ _195gat_46_ n_n529 n_n208 n_n412 [76] n_n175 [896] \ |
| _865gat_422_ |
| ----0--- 1 |
| -----0-- 1 |
| -------0 1 |
| -11----- 1 |
| 11-1--1- 1 |
| 10-0--1- 1 |
| 10-1--0- 1 |
| 11-0--0- 1 |
| .names _36gat_6_ _29gat_5_ _42gat_7_ _390gat_131_ |
| 111 1 |
| .names _189gat_45_ [58] n_n315 n_n411 [840] [903] _864gat_423_ |
| --0--- 1 |
| ---0-- 1 |
| -----0 1 |
| 11--1- 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 _152gat_37_ _138gat_33_ _106gat_26_ n_n512 [84] n_n233 n_n231 n_n203 |
| 0-001-- 1 |
| -0001-- 1 |
| 0--0100 1 |
| -0-0100 1 |
| .names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] n_n529 |
| 11111 1 |
| .names _138gat_33_ _8gat_1_ _91gat_23_ n_n512 n_n233 [94] n_n231 n_n206 |
| 0-00-1- 1 |
| -000-1- 1 |
| 0--0010 1 |
| -0-0010 1 |
| .names _111gat_27_ n_n228 n_n233 [109] n_n231 n_n210 |
| 00-1- 1 |
| -0010 1 |
| .names _237gat_52_ _183gat_44_ _111gat_27_ _228gat_51_ n_n228 n_n233 [109] \ |
| n_n231 n_n348 |
| 0--0---- 1 |
| -0-0---- 1 |
| 01--1--- 1 |
| 01----0- 1 |
| 011--1-- 1 |
| -00-0-1- 1 |
| --000-1- 1 |
| 011----1 1 |
| -0--0010 1 |
| ---00010 1 |
| .names _1gat_0_ _55gat_9_ _8gat_1_ _13gat_2_ _68gat_11_ [58] |
| 11111 1 |
| .names _1gat_0_ _55gat_9_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \ |
| _80gat_16_ n_n228 |
| 11110111 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 _116gat_28_ n_n228 [65] n_n233 n_n231 n_n209 |
| 001-- 1 |
| -0100 1 |
| .names _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 n_n201 |
| 1-1--- 1 |
| 1---0- 1 |
| 11-1-- 1 |
| 11---1 1 |
| .names _183gat_44_ _189gat_45_ _195gat_46_ n_n210 n_n209 n_n201 n_n208 [851] \ |
| n_n173 |
| 0--1---- 1 |
| 00--1--- 1 |
| -0-11--- 1 |
| 000---1- 1 |
| -001--1- 1 |
| 0-0-1-1- 1 |
| --011-1- 1 |
| 000--0-0 1 |
| -001-0-0 1 |
| 0-0-10-0 1 |
| --0110-0 1 |
| 00---010 1 |
| -0-1-010 1 |
| 0---1010 1 |
| ---11010 1 |
| .names _152gat_37_ _138gat_33_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 \ |
| n_n231 n_n193 |
| --1-1--- 1 |
| --1--0-- 1 |
| 111----- 1 |
| --11--1- 1 |
| --11---1 1 |
| .names _152gat_37_ _138gat_33_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 \ |
| n_n231 [30] |
| --1----- 1 |
| ----1--- 1 |
| -----0-- 1 |
| 11------ 1 |
| ---1--1- 1 |
| ---1---1 1 |
| .names _210gat_49_ _91gat_23_ [67] |
| 0- 1 |
| -0 1 |
| .names _237gat_52_ _165gat_41_ _96gat_24_ n_n512 n_n233 [113] n_n231 [126] \ |
| n_n379 |
| 11-1---- 1 |
| 11---0-- 1 |
| 11-----0 1 |
| 111-1--- 1 |
| 111---1- 1 |
| .names _228gat_51_ _165gat_41_ _96gat_24_ n_n512 n_n233 [113] n_n231 [126] \ |
| n_n371 |
| 10-1---- 1 |
| 10---0-- 1 |
| 10-----0 1 |
| 101-1--- 1 |
| 101---1- 1 |
| 1100-1-1 1 |
| 11-00101 1 |
| .names _138gat_33_ _246gat_53_ _51gat_8_ _96gat_24_ n_n512 n_n233 n_n231 [126] \ |
| [68] |
| -0------ 1 |
| 0--00--1 1 |
| --000--1 1 |
| 0---0001 1 |
| --0-0001 1 |
| .names _138gat_33_ _101gat_25_ _171gat_42_ _17gat_3_ n_n512 [71] n_n233 n_n231 \ |
| n_n192 |
| 000-01-- 1 |
| -00001-- 1 |
| 0-0-0100 1 |
| --000100 1 |
| .names _138gat_33_ _101gat_25_ _171gat_42_ _17gat_3_ n_n512 [71] n_n233 n_n231 \ |
| [31] |
| --0----- 1 |
| 00--01-- 1 |
| -0-001-- 1 |
| 0---0100 1 |
| ---00100 1 |
| .names _228gat_51_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 [106] n_n231 \ |
| n_n373 |
| 10-1---- 1 |
| 10--0--- 1 |
| 10----0- 1 |
| 101--1-- 1 |
| 101----1 1 |
| 11001-1- 1 |
| 11-01010 1 |
| .names _1gat_0_ _75gat_15_ _26gat_4_ _268gat_59_ _29gat_5_ _51gat_8_ \ |
| _80gat_16_ _17gat_3_ n_n512 |
| 11101111 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_ n_n512 [71] n_n233 n_n231 n_n204 |
| 00-01-- 1 |
| -0001-- 1 |
| 0--0100 1 |
| --00100 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 _121gat_29_ n_n228 [72] n_n233 n_n231 n_n208 |
| 001-- 1 |
| -0100 1 |
| .names _260gat_56_ _246gat_53_ _255gat_54_ _121gat_29_ n_n228 [72] n_n233 \ |
| n_n231 n_n412 |
| 00------ 1 |
| -00----- 1 |
| 0--001-- 1 |
| --0001-- 1 |
| 0---0100 1 |
| --0-0100 1 |
| .names _210gat_49_ _116gat_28_ [76] |
| 0- 1 |
| -0 1 |
| .names _210gat_49_ _96gat_24_ [79] |
| 0- 1 |
| -0 1 |
| .names _237gat_52_ _101gat_25_ _171gat_42_ n_n512 [71] n_n233 [110] n_n231 \ |
| n_n380 |
| 1-11---- 1 |
| 1-1-0--- 1 |
| 1-1---0- 1 |
| 111--1-- 1 |
| 111----1 1 |
| .names _101gat_25_ _171gat_42_ _228gat_51_ n_n512 [71] n_n233 [110] n_n231 \ |
| n_n372 |
| -011---- 1 |
| -01-0--- 1 |
| -01---0- 1 |
| 101--1-- 1 |
| 101----1 1 |
| 01101-1- 1 |
| -1101010 1 |
| .names _138gat_33_ _246gat_53_ _101gat_25_ _17gat_3_ n_n512 [71] n_n233 n_n231 \ |
| [80] |
| -0------ 1 |
| 0-0-01-- 1 |
| --0001-- 1 |
| 0---0100 1 |
| ---00100 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 _210gat_49_ _111gat_27_ [88] |
| 0- 1 |
| -0 1 |
| .names _219gat_50_ _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [88] [851] \ |
| n_n315 |
| 0-----1- 1 |
| -1111-1- 1 |
| -0101-1- 1 |
| -001-11- 1 |
| -100-11- 1 |
| -111-01- 1 |
| -010-01- 1 |
| -1-1101- 1 |
| -0-0101- 1 |
| -111--11 1 |
| -010--11 1 |
| -1-1-011 1 |
| -0-0-011 1 |
| -0010-10 1 |
| -1000-10 1 |
| -0-10110 1 |
| -1-00110 1 |
| .names _159gat_40_ _219gat_50_ n_n206 n_n173 [31] n_n190 [866] [867] n_n291 |
| 011----0 1 |
| 110----0 1 |
| 011-00-- 1 |
| 110-00-- 1 |
| 111--1-1 1 |
| 010--1-1 1 |
| 0110-01- 1 |
| 1100-01- 1 |
| 11111--1 1 |
| 01011--1 1 |
| 111-1-01 1 |
| 010-1-01 1 |
| .names _138gat_33_ _51gat_8_ _165gat_41_ _96gat_24_ n_n512 n_n233 n_n231 [126] \ |
| n_n190 |
| 0-000--1 1 |
| -0000--1 1 |
| 0-0-0001 1 |
| -00-0001 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 _138gat_33_ _51gat_8_ _96gat_24_ n_n512 n_n233 n_n231 [126] n_n205 |
| 0-00--1 1 |
| -000--1 1 |
| 0--0001 1 |
| -0-0001 1 |
| .names _159gat_40_ _228gat_51_ _91gat_23_ n_n512 n_n233 [92] [94] n_n231 \ |
| n_n370 |
| 01-1---- 1 |
| 01---0-- 1 |
| 01----0- 1 |
| 011-1--- 1 |
| 011----1 1 |
| 1100-11- 1 |
| 11-00110 1 |
| .names _159gat_40_ _237gat_52_ _91gat_23_ n_n512 n_n233 [92] [94] n_n231 [96] |
| 0------- 1 |
| -0------ 1 |
| --00-11- 1 |
| ---00110 1 |
| .names _219gat_50_ _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] \ |
| n_n231 n_n343 |
| 111-1--- 1 |
| 100-1--- 1 |
| 111---0- 1 |
| 100---0- 1 |
| 1111-1-- 1 |
| 1001-1-- 1 |
| 1111---1 1 |
| 1001---1 1 |
| 10100-1- 1 |
| 11000-1- 1 |
| 101-0010 1 |
| 110-0010 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_ _17gat_3_ [110] |
| 0- 1 |
| -0 1 |
| .names _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [48] [851] [112] |
| -----1- 1 |
| 1-0---- 1 |
| 11-1--- 1 |
| -101--- 1 |
| 11--0-- 1 |
| -10-0-- 1 |
| 1--10-- 1 |
| --010-- 1 |
| 11----1 1 |
| -10---1 1 |
| 1---0-1 1 |
| --0-0-1 1 |
| .names _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 n_n175 |
| 00----- 1 |
| 0-00-1- 1 |
| -000-1- 1 |
| 0--0010 1 |
| -0-0010 1 |
| .names _138gat_33_ _51gat_8_ [113] |
| 0- 1 |
| -0 1 |
| .names _246gat_53_ _267gat_58_ _255gat_54_ _126gat_30_ n_n228 n_n233 [86] \ |
| n_n231 n_n413 |
| 00------ 1 |
| 0-0----- 1 |
| -0-00-1- 1 |
| --000-1- 1 |
| -0--0010 1 |
| --0-0010 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_ _116gat_28_ _246gat_53_ _255gat_54_ n_n228 [65] n_n233 \ |
| n_n231 n_n411 |
| 0-0----- 1 |
| --00---- 1 |
| 00--01-- 1 |
| -0-001-- 1 |
| 0---0100 1 |
| ---00100 1 |
| .names _237gat_52_ _177gat_43_ _106gat_26_ n_n512 [84] n_n233 [106] n_n231 \ |
| [134] |
| 0------- 1 |
| -0------ 1 |
| --001-1- 1 |
| ---01010 1 |
| .names _246gat_53_ _111gat_27_ n_n228 n_n233 [109] n_n231 [44] |
| 1-1--- 1 |
| 1---0- 1 |
| 11-1-- 1 |
| 11---1 1 |
| .names _59gat_10_ _183gat_44_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [45] |
| 111111 1 |
| .names _183gat_44_ _111gat_27_ n_n228 n_n233 [109] n_n231 [48] |
| 0-1--- 1 |
| 0---0- 1 |
| 01-1-- 1 |
| 01---1 1 |
| 100-1- 1 |
| 1-0010 1 |
| .names _138gat_33_ _8gat_1_ _246gat_53_ _91gat_23_ n_n512 n_n233 [94] n_n231 \ |
| [52] |
| --1-1--- 1 |
| --1---0- 1 |
| 111----- 1 |
| --11-1-- 1 |
| --11---1 1 |
| .names _159gat_40_ _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [58] [53] |
| 111111 1 |
| .names _152gat_37_ _138gat_33_ _246gat_53_ _106gat_26_ n_n512 [84] n_n233 \ |
| n_n231 [144] |
| --1-1--- 1 |
| --1--0-- 1 |
| 111----- 1 |
| --11--1- 1 |
| --11---1 1 |
| .names _59gat_10_ _73gat_13_ _72gat_12_ _42gat_7_ [840] |
| 1111 1 |
| .names _237gat_52_ _201gat_47_ _228gat_51_ _126gat_30_ n_n228 n_n233 [86] \ |
| n_n231 [842] |
| 0-0----- 1 |
| -00----- 1 |
| 01--1--- 1 |
| 01----0- 1 |
| 01-1-1-- 1 |
| -0-00-1- 1 |
| --000-1- 1 |
| 01-1---1 1 |
| -0--0010 1 |
| --0-0010 1 |
| .names _261gat_57_ _201gat_47_ _126gat_30_ n_n228 n_n233 [86] n_n231 [851] |
| 11----- 1 |
| 1--1--- 1 |
| 1----0- 1 |
| 1-1-1-- 1 |
| 1-1---1 1 |
| .names _177gat_43_ [58] n_n373 [134] [144] [840] [859] |
| --1--- 1 |
| ---0-- 1 |
| ----1- 1 |
| 11---1 1 |
| .names _101gat_25_ _171gat_42_ [30] n_n512 [71] n_n233 [110] n_n231 [866] |
| -11----- 1 |
| --11---- 1 |
| --1-0--- 1 |
| --1---0- 1 |
| 1-1--1-- 1 |
| 1-1----1 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 _101gat_25_ _171gat_42_ n_n193 n_n512 [71] n_n233 [110] n_n231 [872] |
| -00----- 1 |
| 00-01-1- 1 |
| 0-001-1- 1 |
| -0-01010 1 |
| --001010 1 |
| .names _165gat_41_ [58] n_n379 n_n371 [68] [840] [878] |
| 0-001- 1 |
| -0001- 1 |
| --0010 1 |
| .names _183gat_44_ _111gat_27_ n_n228 n_n233 [109] n_n231 [880] |
| 0-1--- 1 |
| 0---0- 1 |
| 01-1-- 1 |
| 01---1 1 |
| 100-1- 1 |
| 1-0010 1 |
| .names _219gat_50_ _189gat_45_ _195gat_46_ n_n209 n_n201 n_n208 [851] [880] \ |
| [881] |
| 1------0 1 |
| 10-1---- 1 |
| 100--1-- 1 |
| 1-01-1-- 1 |
| 100-0-0- 1 |
| 1-010-0- 1 |
| 10--010- 1 |
| 1--1010- 1 |
| .names _171gat_42_ [58] n_n380 n_n372 [80] [840] [891] |
| 0-001- 1 |
| -0001- 1 |
| --0010 1 |
| .names _237gat_52_ _228gat_51_ _121gat_29_ _195gat_46_ n_n228 [72] n_n233 \ |
| n_n231 [896] |
| 00------ 1 |
| -0-0---- 1 |
| 0--11--- 1 |
| 0--1-0-- 1 |
| -00-01-- 1 |
| --0001-- 1 |
| 0-11--1- 1 |
| 0-11---1 1 |
| -0--0100 1 |
| ---00100 1 |
| .names _237gat_52_ _116gat_28_ _189gat_45_ _228gat_51_ n_n228 [65] n_n233 \ |
| n_n231 [903] |
| 0--0---- 1 |
| --00---- 1 |
| 0-1-1--- 1 |
| 0-1--0-- 1 |
| -00-01-- 1 |
| -0-001-- 1 |
| 011---1- 1 |
| 011----1 1 |
| --0-0100 1 |
| ---00100 1 |
| .end |
