| .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 _14gat_4_ n_n194 [541] [542] [546] [547] [550] _421gat_188_ |
| --1---1 1 |
| ---1--1 1 |
| ----0-1 1 |
| -----01 1 |
| 101---- 1 |
| 10-1--- 1 |
| 10--0-- 1 |
| 10---0- 1 |
| .names n_n110 [507] [508] [509] [510] _329gat_133_ |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] _223gat_84_ |
| ----0- 1 |
| -----0 1 |
| 10---- 1 |
| --01-- 1 |
| .names n_n77 n_n76 n_n79 n_n78 n_n82 n_n81 [64] [536] _370gat_163_ |
| 1------- 1 |
| -1------ 1 |
| --1----- 1 |
| ---1---- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------0- 1 |
| -------0 1 |
| .names _79gat_24_ _92gat_28_ n_n194 [74] [76] [543] [551] [552] _431gat_194_ |
| -------1 1 |
| -0---11- 1 |
| --1--11- 1 |
| 0--11-1- 1 |
| --111-1- 1 |
| .names _105gat_32_ n_n194 n_n57 n_n59 n_n58 [58] [19] [553] _432gat_195_ |
| --1----- 1 |
| ---10--- 1 |
| ----0-1- 1 |
| 0--001-1 1 |
| -1-001-1 1 |
| .names _27gat_8_ _66gat_20_ n_n194 [65] [68] [540] [542] _430gat_193_ |
| ------1 1 |
| -0---1- 1 |
| --1--1- 1 |
| 0--11-- 1 |
| --111-- 1 |
| .names n_n77 n_n76 n_n79 n_n78 n_n82 n_n81 [64] [536] n_n194 |
| 00000011 1 |
| .names _11gat_3_ _17gat_5_ _27gat_8_ n_n194 [68] [494] [495] [496] n_n57 |
| 010-1--- 1 |
| 01-11--- 1 |
| -10-1111 1 |
| -1-11111 1 |
| .names _53gat_16_ _37gat_11_ _43gat_13_ n_n194 [85] [494] [495] [496] n_n59 |
| 001-1--- 1 |
| -0111--- 1 |
| 0-1-1111 1 |
| --111111 1 |
| .names _30gat_9_ _40gat_12_ _24gat_7_ n_n194 [90] [494] [495] [496] n_n58 |
| 100-1--- 1 |
| 1-011--- 1 |
| 10--1111 1 |
| 1--11111 1 |
| .names _69gat_21_ _73gat_22_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \ |
| n_n120 |
| 100---- 1 |
| 1011-11 1 |
| 101-011 1 |
| .names _82gat_25_ _76gat_23_ _86gat_26_ [494] [495] [496] n_n122 |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 110111 1 |
| .names _30gat_9_ _24gat_7_ _34gat_10_ [494] [495] [496] n_n114 |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 110111 1 |
| .names _95gat_29_ _89gat_27_ _99gat_30_ [494] [495] [496] n_n124 |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 110111 1 |
| .names _47gat_14_ _37gat_11_ _43gat_13_ [494] [495] [496] n_n116 |
| 0010-- 1 |
| 001-0- 1 |
| 001--0 1 |
| 011111 1 |
| .names _112gat_34_ _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \ |
| n_n126 |
| 0--01-- 1 |
| 00-1111 1 |
| 0-11111 1 |
| .names _11gat_3_ _17gat_5_ _21gat_6_ [494] [495] [496] n_n112 |
| 0100-- 1 |
| 010-0- 1 |
| 010--0 1 |
| 110111 1 |
| .names _50gat_15_ _60gat_18_ _56gat_17_ [494] [495] [496] n_n118 |
| 0010-- 1 |
| 001-0- 1 |
| 001--0 1 |
| 101111 1 |
| .names _1gat_0_ _4gat_1_ _8gat_2_ [91] [494] [496] n_n110 |
| 010--- 1 |
| 110111 1 |
| .names n_n116 n_n126 n_n110 [507] [508] [510] [515] n_n77 |
| 1-----1 1 |
| 0001111 1 |
| .names n_n114 n_n124 n_n110 [507] [509] [510] [517] n_n76 |
| 1-----1 1 |
| 0001111 1 |
| .names n_n120 n_n122 n_n110 [508] [509] [510] [519] n_n79 |
| 1-----1 1 |
| 0001111 1 |
| .names n_n112 n_n118 n_n110 [507] [508] [509] [521] n_n78 |
| -1----1 1 |
| 0001111 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names n_n116 n_n126 n_n110 [507] [508] [510] [523] n_n82 |
| -1----1 1 |
| 0001111 1 |
| .names n_n114 n_n124 n_n110 [507] [509] [510] [525] n_n81 |
| -1----1 1 |
| 0001111 1 |
| .names n_n112 n_n118 n_n110 [507] [508] [509] [531] [64] |
| ------1 1 |
| 01----- 1 |
| 0-1---- 1 |
| 0--0--- 1 |
| 0---0-- 1 |
| 0----0- 1 |
| .names _11gat_3_ _17gat_5_ _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] \ |
| [496] [65] |
| 01------ 1 |
| -10-1-11 1 |
| -1-11-11 1 |
| -10--011 1 |
| -1-1-011 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] [69] |
| --01-- 1 |
| 0-1111 1 |
| -11111 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] [74] |
| 10---- 1 |
| 111-11 1 |
| 11-011 1 |
| .names _102gat_31_ _108gat_33_ n_n163 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n160 |
| 10 1 |
| .names _69gat_21_ _37gat_11_ _63gat_19_ _102gat_31_ _43gat_13_ _108gat_33_ \ |
| [495] [496] [83] |
| -0--1--- 1 |
| 0--11-11 1 |
| --111-11 1 |
| 0---1011 1 |
| --1-1011 1 |
| .names _30gat_9_ _69gat_21_ _63gat_19_ _102gat_31_ _24gat_7_ _108gat_33_ [495] \ |
| [496] [87] |
| 1---0--- 1 |
| 10-1--11 1 |
| 1-11--11 1 |
| 10---011 1 |
| 1-1--011 1 |
| .names _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [91] |
| 0-1- 1 |
| -11- 1 |
| 0--0 1 |
| -1-0 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _76gat_23_ _108gat_33_ [495] [496] \ |
| [54] |
| ---0--- 1 |
| 0-1--11 1 |
| -11--11 1 |
| 0---011 1 |
| -1--011 1 |
| .names _99gat_30_ n_n110 [507] [508] [509] [510] [58] |
| 0----- 1 |
| -01111 1 |
| .names _21gat_6_ n_n110 [507] [508] [509] [510] [68] |
| 0----- 1 |
| -01111 1 |
| .names _112gat_34_ n_n110 [507] [508] [509] [510] [71] |
| 0----- 1 |
| -01111 1 |
| .names _73gat_22_ n_n110 [507] [508] [509] [510] [76] |
| 0----- 1 |
| -01111 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _50gat_15_ _108gat_33_ [495] [496] \ |
| [81] |
| ---0--- 1 |
| 0-1--11 1 |
| -11--11 1 |
| 0---011 1 |
| -1--011 1 |
| .names _47gat_14_ n_n110 [507] [508] [509] [510] [85] |
| 0----- 1 |
| -01111 1 |
| .names _34gat_10_ n_n110 [507] [508] [509] [510] [90] |
| 0----- 1 |
| -01111 1 |
| .names _79gat_24_ _66gat_20_ n_n194 [74] [76] [540] [19] |
| 0--110 1 |
| --1110 1 |
| 01011- 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 _11gat_3_ _17gat_5_ _95gat_29_ _30gat_9_ _89gat_27_ _37gat_11_ \ |
| _24gat_7_ _43gat_13_ [496] |
| 1-00-1-- 1 |
| -000-1-- 1 |
| 1--011-- 1 |
| -0-011-- 1 |
| 1-0--11- 1 |
| -00--11- 1 |
| 1---111- 1 |
| -0--111- 1 |
| 1-00---0 1 |
| -000---0 1 |
| 1--01--0 1 |
| -0-01--0 1 |
| 1-0---10 1 |
| -00---10 1 |
| 1---1-10 1 |
| -0--1-10 1 |
| .names _86gat_26_ _82gat_25_ [499] |
| 01 1 |
| .names _34gat_10_ _30gat_9_ [500] |
| 01 1 |
| .names _108gat_33_ _112gat_34_ [503] |
| 10 1 |
| .names _56gat_17_ _60gat_18_ [505] |
| 10 1 |
| .names _69gat_21_ _73gat_22_ _63gat_19_ _76gat_23_ n_n163 [495] [496] [499] \ |
| [507] |
| 0------0 1 |
| -1-----0 1 |
| 0--11--- 1 |
| -1-11--- 1 |
| --111--- 1 |
| 0--1-0-- 1 |
| -1-1-0-- 1 |
| --11-0-- 1 |
| 0--1--0- 1 |
| -1-1--0- 1 |
| --11--0- 1 |
| --1-1--0 1 |
| --1--0-0 1 |
| --1---00 1 |
| 1101---- 1 |
| 0--0011- 1 |
| -110011- 1 |
| .names _95gat_29_ _89gat_27_ _99gat_30_ n_n157 [493] [494] [495] [500] [508] |
| 0------0 1 |
| --1----0 1 |
| 0--00--- 1 |
| -1-00--- 1 |
| --100--- 1 |
| 0--0-0-- 1 |
| -1-0-0-- 1 |
| --10-0-- 1 |
| 0--0--0- 1 |
| -1-0--0- 1 |
| --10--0- 1 |
| -1-1---0 1 |
| -1--0--0 1 |
| -1---0-0 1 |
| -1----00 1 |
| 1010---- 1 |
| .names _47gat_14_ _37gat_11_ _43gat_13_ n_n163 n_n160 [495] [496] [503] [509] |
| 1------0 1 |
| --0----0 1 |
| 1--01--- 1 |
| -1-01--- 1 |
| --001--- 1 |
| 1--0-0-- 1 |
| -1-0-0-- 1 |
| --00-0-- 1 |
| 1--0--0- 1 |
| -1-0--0- 1 |
| --00--0- 1 |
| -1-1---0 1 |
| -1--1--0 1 |
| -1---0-0 1 |
| -1----00 1 |
| -0100110 1 |
| .names _11gat_3_ _17gat_5_ _50gat_15_ _21gat_6_ [494] [495] [496] [505] [510] |
| -0-----0 1 |
| ---1---0 1 |
| 1-1-0--- 1 |
| -01-0--- 1 |
| --110--- 1 |
| 1-1--0-- 1 |
| -01--0-- 1 |
| --11-0-- 1 |
| 1-1---0- 1 |
| -01---0- 1 |
| --11--0- 1 |
| 1---0--0 1 |
| 1----0-0 1 |
| 1-----00 1 |
| -00-111- 1 |
| --01111- 1 |
| 010-111- 1 |
| 01--1110 1 |
| .names _53gat_16_ _37gat_11_ _43gat_13_ [494] [495] [496] [515] |
| 0010-- 1 |
| 001-0- 1 |
| 001--0 1 |
| 011111 1 |
| .names _30gat_9_ _40gat_12_ _24gat_7_ [494] [495] [496] [517] |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 101111 1 |
| .names _69gat_21_ _63gat_19_ _79gat_24_ _102gat_31_ _108gat_33_ [495] [496] \ |
| [519] |
| 100---- 1 |
| 1101-11 1 |
| 110-011 1 |
| .names _66gat_20_ _50gat_15_ _56gat_17_ [494] [495] [496] [521] |
| 0010-- 1 |
| 001-0- 1 |
| 001--0 1 |
| 011111 1 |
| .names _69gat_21_ _115gat_35_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \ |
| [523] |
| -0-01-- 1 |
| 00-1111 1 |
| -011111 1 |
| .names _95gat_29_ _89gat_27_ _105gat_32_ [494] [495] [496] [525] |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 110111 1 |
| .names _82gat_25_ _92gat_28_ _76gat_23_ [494] [495] [496] [527] |
| 1000-- 1 |
| 100-0- 1 |
| 100--0 1 |
| 101111 1 |
| .names _1gat_0_ _4gat_1_ _14gat_4_ [91] [494] [496] [529] |
| 010--- 1 |
| 110111 1 |
| .names _11gat_3_ _17gat_5_ _27gat_8_ [494] [495] [496] [531] |
| -0---- 1 |
| --1--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----0 1 |
| 01-111 1 |
| .names n_n120 n_n122 n_n110 [508] [509] [510] [527] [529] [536] |
| ------00 1 |
| 100----- 1 |
| -000---- 1 |
| -00-0--- 1 |
| -00--0-- 1 |
| 1-0---0- 1 |
| -10---0- 1 |
| --00--0- 1 |
| --0-0-0- 1 |
| --0--00- 1 |
| 10-----0 1 |
| -01----0 1 |
| -0-0---0 1 |
| -0--0--0 1 |
| -0---0-0 1 |
| .names _60gat_18_ _56gat_17_ n_n110 [81] [507] [508] [509] [510] [540] |
| 01-1---- 1 |
| -1011111 1 |
| .names _27gat_8_ _66gat_20_ n_n194 [65] [68] [540] [541] |
| -0---1 1 |
| --1--1 1 |
| 0--11- 1 |
| --111- 1 |
| .names _40gat_12_ _53gat_16_ n_n194 [83] [87] [85] [90] [542] |
| -0-1-1- 1 |
| --11-1- 1 |
| 0---1-1 1 |
| --1-1-1 1 |
| .names _82gat_25_ _86gat_26_ n_n110 [54] [507] [508] [509] [510] [543] |
| 10-1---- 1 |
| 1-011111 1 |
| .names _95gat_29_ _69gat_21_ _89gat_27_ _63gat_19_ _102gat_31_ _108gat_33_ \ |
| [495] [496] [544] |
| 0------- 1 |
| --1---0- 1 |
| --1----0 1 |
| -110---- 1 |
| --1-01-- 1 |
| .names _99gat_30_ n_n110 [507] [508] [509] [510] [544] [545] |
| ------1 1 |
| 11----- 1 |
| 1-0---- 1 |
| 1--0--- 1 |
| 1---0-- 1 |
| 1----0- 1 |
| .names _92gat_28_ _105gat_32_ n_n194 [543] [545] [546] |
| ---01 1 |
| 110-- 1 |
| -100- 1 |
| 1-0-1 1 |
| .names _115gat_35_ _79gat_24_ n_n194 [69] [74] [71] [76] [547] |
| ---00-- 1 |
| ----00- 1 |
| ---0--0 1 |
| -----00 1 |
| 110---- 1 |
| -100--- 1 |
| 1-0-0-- 1 |
| -10--0- 1 |
| 1-0---0 1 |
| .names _1gat_0_ _4gat_1_ _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [494] \ |
| [496] [549] |
| -0------ 1 |
| 1-----0- 1 |
| 1------0 1 |
| 1-10---- 1 |
| 1---01-- 1 |
| .names _8gat_2_ n_n110 [507] [508] [509] [510] [549] [550] |
| ------1 1 |
| 11----- 1 |
| 1-0---- 1 |
| 1--0--- 1 |
| 1---0-- 1 |
| 1----0- 1 |
| .names _53gat_16_ _66gat_20_ n_n194 [83] [85] [540] [551] |
| ---0-0 1 |
| ----00 1 |
| 110--- 1 |
| -100-- 1 |
| -10-0- 1 |
| 1-0--0 1 |
| .names _27gat_8_ _40gat_12_ n_n194 [65] [87] [68] [90] [552] |
| 0--1-1- 1 |
| --11-1- 1 |
| -0--1-1 1 |
| --1-1-1 1 |
| .names _95gat_29_ _89gat_27_ _92gat_28_ n_n194 [494] [495] [496] [543] [553] |
| 10-----0 1 |
| 1010---- 1 |
| 1---1110 1 |
| 1-10111- 1 |
| .end |
