| .model top |
| .inputs _1gat_0_ _11gat_3_ _17gat_5_ _95gat_29_ _112gat_34_ _4gat_1_ _30gat_9_ \ |
| _27gat_8_ _8gat_2_ _40gat_12_ _47gat_14_ _69gat_21_ _73gat_22_ _89gat_27_ \ |
| _53gat_16_ _115gat_35_ _37gat_11_ _63gat_19_ _99gat_30_ _79gat_24_ _14gat_4_ \ |
| _102gat_31_ _24gat_7_ _82gat_25_ _66gat_20_ _43gat_13_ _92gat_28_ _76gat_23_ \ |
| _86gat_26_ _50gat_15_ _108gat_33_ _21gat_6_ _60gat_18_ _56gat_17_ _105gat_32_ \ |
| _34gat_10_ |
| .outputs _421gat_188_ _329gat_133_ _223gat_84_ _370gat_163_ _431gat_194_ \ |
| _432gat_195_ _430gat_193_ |
| .names [27] [541] [542] [546] [547] [550] _421gat_188_ |
| 11---- 1 |
| 1-1--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| -1---1 1 |
| --1--1 1 |
| ---0-1 1 |
| ----01 1 |
| .names n_n114 n_n124 n_n116 n_n126 [513] _329gat_133_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----0 1 |
| .names [492] [493] [494] [495] _223gat_84_ |
| 0--- 1 |
| -0-- 1 |
| --0- 1 |
| ---0 1 |
| .names [64] [533] [534] [535] [536] _370gat_163_ |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names [47] [551] [552] _431gat_194_ |
| --1 1 |
| 11- 1 |
| .names n_n57 n_n59 n_n58 [57] [19] [553] _432gat_195_ |
| 1----- 1 |
| -10--- 1 |
| --0-1- 1 |
| -001-1 1 |
| .names [65] [79] [68] [67] [540] [542] _430gat_193_ |
| -----1 1 |
| -1--1- 1 |
| 1-11-- 1 |
| .names _21gat_6_ [65] [67] [512] [513] n_n57 |
| 011-- 1 |
| -1111 1 |
| .names _47gat_14_ [83] [86] [512] [513] n_n59 |
| 011-- 1 |
| -1111 1 |
| .names _34gat_10_ [87] [89] [512] [513] n_n58 |
| 011-- 1 |
| -1111 1 |
| .names [52] [74] [77] [76] [543] [47] |
| 1---1 1 |
| -111- 1 |
| .names _95gat_29_ _89gat_27_ n_n162 |
| 10 1 |
| .names n_n163 n_n160 [492] [493] [495] [498] n_n120 |
| -1---1 1 |
| 001111 1 |
| .names _76gat_23_ [492] [493] [494] [495] [499] n_n122 |
| 00---1 1 |
| 0-0--1 1 |
| 0--0-1 1 |
| 0---01 1 |
| 111111 1 |
| .names n_n162 n_n157 [493] [494] [495] [500] n_n114 |
| -1---1 1 |
| 001111 1 |
| .names n_n162 n_n157 [493] [494] [495] [501] n_n124 |
| 1----1 1 |
| 001111 1 |
| .names n_n158 n_n156 [492] [494] [495] [502] n_n116 |
| 1----1 1 |
| 001111 1 |
| .names n_n163 n_n160 [492] [493] [495] [503] n_n126 |
| 1----1 1 |
| 001111 1 |
| .names n_n158 n_n156 [492] [494] [495] [504] n_n112 |
| -1---1 1 |
| 001111 1 |
| .names _50gat_15_ [492] [493] [494] [495] [505] n_n118 |
| 00---1 1 |
| 0-0--1 1 |
| 0--0-1 1 |
| 0---01 1 |
| 111111 1 |
| .names n_n155 [91] [492] [493] [494] [506] n_n110 |
| 1----1 1 |
| 011111 1 |
| .names _92gat_28_ [64] [533] [534] [535] [536] [52] |
| 0----- 1 |
| -11111 1 |
| .names _99gat_30_ [59] [512] [513] [57] |
| 01-- 1 |
| -111 1 |
| .names _95gat_29_ _89gat_27_ n_n157 [493] [494] [495] [56] |
| 10---- 1 |
| 110111 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names _37gat_11_ _43gat_13_ n_n158 |
| 01 1 |
| .names n_n112 [512] [513] [531] [64] |
| ---1 1 |
| 00-- 1 |
| 0-0- 1 |
| 111- 1 |
| .names _11gat_3_ _17gat_5_ n_n158 [492] [494] [495] [65] |
| 01---- 1 |
| 110111 1 |
| .names _102gat_31_ _108gat_33_ n_n160 [492] [493] [495] [69] |
| 01---- 1 |
| 110111 1 |
| .names _11gat_3_ _17gat_5_ n_n156 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n163 [492] [493] [495] [74] |
| 10---- 1 |
| 110111 1 |
| .names _66gat_20_ [64] [533] [534] [535] [536] [79] |
| 0----- 1 |
| -11111 1 |
| .names _102gat_31_ _108gat_33_ n_n163 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n160 |
| 10 1 |
| .names _37gat_11_ _43gat_13_ n_n156 [492] [494] [495] [83] |
| 01---- 1 |
| 110111 1 |
| .names _1gat_0_ _4gat_1_ n_n155 |
| 01 1 |
| .names _30gat_9_ _24gat_7_ n_n162 [493] [494] [495] [87] |
| 10---- 1 |
| 110111 1 |
| .names _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [91] |
| 0-1- 1 |
| -11- 1 |
| 0--0 1 |
| -1-0 1 |
| .names _76gat_23_ [492] [493] [494] [495] [54] |
| 0---- 1 |
| -1111 1 |
| .names _105gat_32_ [64] [533] [534] [535] [536] [59] |
| 0----- 1 |
| -11111 1 |
| .names _21gat_6_ n_n114 n_n124 n_n116 n_n126 [513] [68] |
| 0----- 1 |
| -00001 1 |
| .names _27gat_8_ [64] [533] [534] [535] [536] [67] |
| 0----- 1 |
| -11111 1 |
| .names _115gat_35_ [64] [533] [534] [535] [536] [72] |
| 0----- 1 |
| -11111 1 |
| .names _112gat_34_ n_n114 n_n124 n_n116 n_n126 [513] [71] |
| 0----- 1 |
| -00001 1 |
| .names _79gat_24_ [64] [533] [534] [535] [536] [77] |
| 0----- 1 |
| -11111 1 |
| .names _73gat_22_ n_n114 n_n124 n_n116 n_n126 [513] [76] |
| 0----- 1 |
| -00001 1 |
| .names _50gat_15_ [492] [493] [494] [495] [81] |
| 0---- 1 |
| -1111 1 |
| .names _53gat_16_ [64] [533] [534] [535] [536] [86] |
| 0----- 1 |
| -11111 1 |
| .names _47gat_14_ n_n114 n_n124 n_n116 n_n126 [513] [85] |
| 0----- 1 |
| -00001 1 |
| .names _34gat_10_ n_n114 n_n124 n_n116 n_n126 [513] [90] |
| 0----- 1 |
| -00001 1 |
| .names _40gat_12_ [64] [533] [534] [535] [536] [89] |
| 0----- 1 |
| -11111 1 |
| .names [74] [79] [77] [76] [540] [19] |
| 1011- 1 |
| 1-110 1 |
| .names _14gat_4_ [64] [533] [534] [535] [536] [27] |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----0 1 |
| .names _105gat_32_ [64] [533] [534] [535] [536] [31] |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----0 1 |
| .names _95gat_29_ _30gat_9_ _89gat_27_ _24gat_7_ [492] |
| 00-- 1 |
| -01- 1 |
| 0--1 1 |
| --11 1 |
| .names _11gat_3_ _17gat_5_ _37gat_11_ _43gat_13_ [493] |
| 1-1- 1 |
| -01- 1 |
| 1--0 1 |
| -0-0 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [494] |
| 0-1- 1 |
| -11- 1 |
| 0--0 1 |
| -1-0 1 |
| .names _1gat_0_ _4gat_1_ _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [495] |
| 1-0-1- 1 |
| -00-1- 1 |
| 1--11- 1 |
| -0-11- 1 |
| 1-0--0 1 |
| -00--0 1 |
| 1--1-0 1 |
| -0-1-0 1 |
| .names _73gat_22_ _69gat_21_ [498] |
| 01 1 |
| .names _86gat_26_ _82gat_25_ [499] |
| 01 1 |
| .names _34gat_10_ _30gat_9_ [500] |
| 01 1 |
| .names _99gat_30_ _95gat_29_ [501] |
| 01 1 |
| .names _43gat_13_ _47gat_14_ [502] |
| 10 1 |
| .names _108gat_33_ _112gat_34_ [503] |
| 10 1 |
| .names _21gat_6_ _17gat_5_ [504] |
| 01 1 |
| .names _56gat_17_ _60gat_18_ [505] |
| 10 1 |
| .names _8gat_2_ _4gat_1_ [506] |
| 01 1 |
| .names n_n114 n_n124 n_n116 n_n126 [512] |
| 0000 1 |
| .names n_n120 n_n122 n_n112 n_n118 n_n110 [513] |
| 00000 1 |
| .names _43gat_13_ _53gat_16_ [514] |
| 10 1 |
| .names n_n158 n_n156 [492] [494] [495] [514] [515] |
| 1----1 1 |
| 001111 1 |
| .names _40gat_12_ _30gat_9_ [516] |
| 01 1 |
| .names n_n162 n_n157 [493] [494] [495] [516] [517] |
| -1---1 1 |
| 001111 1 |
| .names _79gat_24_ _69gat_21_ [518] |
| 01 1 |
| .names n_n163 n_n160 [492] [493] [495] [518] [519] |
| -1---1 1 |
| 001111 1 |
| .names _56gat_17_ _66gat_20_ [520] |
| 10 1 |
| .names _50gat_15_ [492] [493] [494] [495] [520] [521] |
| 00---1 1 |
| 0-0--1 1 |
| 0--0-1 1 |
| 0---01 1 |
| 111111 1 |
| .names _108gat_33_ _115gat_35_ [522] |
| 10 1 |
| .names n_n163 n_n160 [492] [493] [495] [522] [523] |
| 1----1 1 |
| 001111 1 |
| .names _105gat_32_ _95gat_29_ [524] |
| 01 1 |
| .names n_n162 n_n157 [493] [494] [495] [524] [525] |
| 1----1 1 |
| 001111 1 |
| .names _92gat_28_ _82gat_25_ [526] |
| 01 1 |
| .names _76gat_23_ [492] [493] [494] [495] [526] [527] |
| 00---1 1 |
| 0-0--1 1 |
| 0--0-1 1 |
| 0---01 1 |
| 111111 1 |
| .names _14gat_4_ _4gat_1_ [528] |
| 01 1 |
| .names n_n155 [91] [492] [493] [494] [528] [529] |
| 1----1 1 |
| 011111 1 |
| .names _27gat_8_ _17gat_5_ [530] |
| 1- 1 |
| -0 1 |
| .names n_n158 n_n156 [492] [494] [495] [530] [531] |
| -----1 1 |
| 10---- 1 |
| -00--- 1 |
| -0-0-- 1 |
| -0--0- 1 |
| .names n_n114 n_n116 [512] [513] [515] [517] [533] |
| ----00 1 |
| 000--- 1 |
| 00-0-- 1 |
| 0-0-0- 1 |
| 0--00- 1 |
| -00--0 1 |
| -0-0-0 1 |
| 1111-- 1 |
| 1-110- 1 |
| -111-0 1 |
| .names n_n120 n_n118 [512] [513] [519] [521] [534] |
| ----00 1 |
| 000--- 1 |
| 00-0-- 1 |
| -00-0- 1 |
| -0-00- 1 |
| 0-0--0 1 |
| 0--0-0 1 |
| 1111-- 1 |
| -1110- 1 |
| 1-11-0 1 |
| .names n_n124 n_n126 [512] [513] [523] [525] [535] |
| ----00 1 |
| 000--- 1 |
| 00-0-- 1 |
| 0-0-0- 1 |
| 0--00- 1 |
| -00--0 1 |
| -0-0-0 1 |
| 1111-- 1 |
| 1-110- 1 |
| -111-0 1 |
| .names n_n122 n_n110 [512] [513] [527] [529] [536] |
| ----00 1 |
| 000--- 1 |
| 00-0-- 1 |
| -00-0- 1 |
| -0-00- 1 |
| 0-0--0 1 |
| 0--0-0 1 |
| 1111-- 1 |
| -1110- 1 |
| 1-11-0 1 |
| .names _60gat_18_ _56gat_17_ [81] [512] [513] [540] |
| 011-- 1 |
| -1111 1 |
| .names [65] [79] [68] [67] [540] [541] |
| -1--1 1 |
| 1-11- 1 |
| .names [83] [87] [86] [85] [90] [89] [542] |
| 1-11-- 1 |
| -1--11 1 |
| .names _82gat_25_ _86gat_26_ [54] [512] [513] [543] |
| 101-- 1 |
| 1-111 1 |
| .names _95gat_29_ _89gat_27_ n_n157 [493] [494] [495] [544] |
| 0----- 1 |
| -11--- 1 |
| -1-0-- 1 |
| -1--0- 1 |
| -1---0 1 |
| .names _99gat_30_ [512] [513] [544] [545] |
| ---1 1 |
| 10-- 1 |
| 1-0- 1 |
| .names [52] [31] [543] [545] [546] |
| 01-- 1 |
| -10- 1 |
| 0--1 1 |
| --01 1 |
| .names [69] [74] [72] [71] [77] [76] [547] |
| 00---- 1 |
| -00--- 1 |
| -0-0-- 1 |
| 0---0- 1 |
| --0-0- 1 |
| ---00- 1 |
| 0----0 1 |
| --0--0 1 |
| ---0-0 1 |
| .names _1gat_0_ _4gat_1_ [91] [492] [493] [494] [549] |
| -0---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----0 1 |
| .names _8gat_2_ [512] [513] [549] [550] |
| ---1 1 |
| 10-- 1 |
| 1-0- 1 |
| .names [79] [83] [86] [85] [540] [551] |
| 00--- 1 |
| 0-0-- 1 |
| 0--0- 1 |
| -0--0 1 |
| --0-0 1 |
| ---00 1 |
| .names [65] [87] [68] [67] [90] [89] [552] |
| 1-11-- 1 |
| -1--11 1 |
| .names [52] [56] [543] [553] |
| 01- 1 |
| -10 1 |
| .end |
