| .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_ _430gat_193_ n_n194 [548] [550] _421gat_188_ |
| -1--1 1 |
| ---01 1 |
| 110-- 1 |
| 1-00- 1 |
| .names n_n110 [507] [508] [509] [510] _329gat_133_ |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names n_n155 [91] [492] [493] [494] _223gat_84_ |
| 1---- 1 |
| -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 n_n57 n_n58 [23] _431gat_194_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n60 n_n59 n_n58 n_n61 [556] _432gat_195_ |
| ----1 1 |
| -10-- 1 |
| 0-01- 1 |
| .names n_n57 n_n60 n_n59 n_n58 _430gat_193_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n110 [507] [508] [509] [510] n_n231 |
| 01111 1 |
| .names n_n155 [91] [492] [493] [494] n_n270 |
| 01111 1 |
| .names [64] [533] [534] [535] [536] n_n194 |
| 11111 1 |
| .names _27gat_8_ _21gat_6_ n_n231 n_n194 [65] n_n57 |
| 00--1 1 |
| 0-1-1 1 |
| -0-11 1 |
| --111 1 |
| .names _66gat_20_ n_n194 [540] n_n60 |
| 0-1 1 |
| -11 1 |
| .names _47gat_14_ _53gat_16_ n_n231 n_n194 [83] n_n59 |
| 00--1 1 |
| -01-1 1 |
| 0--11 1 |
| --111 1 |
| .names _40gat_12_ _34gat_10_ n_n231 n_n194 [87] n_n58 |
| 00--1 1 |
| 0-1-1 1 |
| -0-11 1 |
| --111 1 |
| .names _95gat_29_ _89gat_27_ n_n162 |
| 10 1 |
| .names _69gat_21_ _73gat_22_ _63gat_19_ n_n270 n_n120 |
| 1011 1 |
| 1000 1 |
| .names _82gat_25_ _76gat_23_ _86gat_26_ n_n270 n_n122 |
| 1101 1 |
| 1000 1 |
| .names _30gat_9_ _24gat_7_ _34gat_10_ n_n270 n_n114 |
| 1101 1 |
| 1000 1 |
| .names _95gat_29_ _89gat_27_ _99gat_30_ n_n270 n_n124 |
| 1101 1 |
| 1000 1 |
| .names _47gat_14_ _37gat_11_ _43gat_13_ n_n270 n_n116 |
| 0111 1 |
| 0010 1 |
| .names _112gat_34_ _102gat_31_ _108gat_33_ n_n270 n_n126 |
| 0111 1 |
| 0010 1 |
| .names _50gat_15_ _60gat_18_ _56gat_17_ n_n270 n_n118 |
| 1011 1 |
| 0010 1 |
| .names _4gat_1_ _8gat_2_ [15] n_n110 |
| 101 1 |
| .names _92gat_28_ n_n194 [543] n_n62 |
| 0-1 1 |
| -11 1 |
| .names _99gat_30_ _105gat_32_ n_n231 n_n194 [57] |
| 00-- 1 |
| -01- 1 |
| 0--1 1 |
| --11 1 |
| .names _95gat_29_ _89gat_27_ n_n270 [56] |
| 10- 1 |
| 1-1 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names _37gat_11_ _43gat_13_ n_n158 |
| 01 1 |
| .names n_n231 n_n270 n_n156 [504] [530] [64] |
| ----1 1 |
| -11-- 1 |
| -00-- 1 |
| 0--0- 1 |
| 1011- 1 |
| 1101- 1 |
| .names _11gat_3_ _17gat_5_ n_n270 [65] |
| 01- 1 |
| -11 1 |
| .names _102gat_31_ _108gat_33_ n_n270 [69] |
| 01- 1 |
| -11 1 |
| .names _112gat_34_ _115gat_35_ n_n231 n_n194 [69] n_n64 |
| 00--1 1 |
| -01-1 1 |
| 0--11 1 |
| --111 1 |
| .names _73gat_22_ _79gat_24_ n_n231 n_n194 [74] n_n61 |
| 00--1 1 |
| -01-1 1 |
| 0--11 1 |
| --111 1 |
| .names _11gat_3_ _17gat_5_ n_n156 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n270 [74] |
| 10- 1 |
| 1-1 1 |
| .names n_n155 [91] [492] [493] [494] [15] |
| 1---- 1 |
| 01111 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_n270 [83] |
| 01- 1 |
| -11 1 |
| .names _1gat_0_ _4gat_1_ n_n155 |
| 01 1 |
| .names _30gat_9_ _24gat_7_ n_n270 [87] |
| 10- 1 |
| 1-1 1 |
| .names _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [91] |
| 0-1- 1 |
| -11- 1 |
| 0--0 1 |
| -1-0 1 |
| .names n_n60 n_n59 n_n62 n_n61 [23] |
| 001- 1 |
| 00-1 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 _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 _76gat_23_ n_n270 n_n160 [498] [499] [507] |
| ---00 1 |
| 011-- 1 |
| 100-- 1 |
| 01-0- 1 |
| 10-0- 1 |
| -11-0 1 |
| -00-0 1 |
| .names n_n270 n_n162 n_n157 [500] [501] [508] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 11-0- 1 |
| 00-0- 1 |
| 1-1-0 1 |
| 0-0-0 1 |
| .names n_n270 n_n158 n_n163 [502] [503] [509] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 1-10- 1 |
| 0-00- 1 |
| 11--0 1 |
| 00--0 1 |
| .names _50gat_15_ n_n270 n_n156 [504] [505] [510] |
| ---00 1 |
| 011-- 1 |
| 100-- 1 |
| 01-0- 1 |
| 10-0- 1 |
| -11-0 1 |
| -00-0 1 |
| .names _53gat_16_ _37gat_11_ _43gat_13_ n_n270 [515] |
| 0111 1 |
| 0010 1 |
| .names _30gat_9_ _40gat_12_ _24gat_7_ n_n270 [517] |
| 1011 1 |
| 1000 1 |
| .names _69gat_21_ _63gat_19_ _79gat_24_ n_n270 [519] |
| 1101 1 |
| 1000 1 |
| .names _66gat_20_ _50gat_15_ _56gat_17_ n_n270 [521] |
| 0111 1 |
| 0010 1 |
| .names _115gat_35_ _102gat_31_ _108gat_33_ n_n270 [523] |
| 0111 1 |
| 0010 1 |
| .names _95gat_29_ _89gat_27_ _105gat_32_ n_n270 [525] |
| 1101 1 |
| 1000 1 |
| .names _82gat_25_ _92gat_28_ _76gat_23_ n_n270 [527] |
| 1011 1 |
| 1000 1 |
| .names _4gat_1_ _14gat_4_ [15] [529] |
| 101 1 |
| .names _27gat_8_ _17gat_5_ [530] |
| 1- 1 |
| -0 1 |
| .names n_n231 n_n114 n_n116 [515] [517] [533] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 11-0- 1 |
| 00-0- 1 |
| 1-1-0 1 |
| 0-0-0 1 |
| .names n_n231 n_n120 n_n118 [519] [521] [534] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 1-10- 1 |
| 0-00- 1 |
| 11--0 1 |
| 00--0 1 |
| .names n_n231 n_n124 n_n126 [523] [525] [535] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 11-0- 1 |
| 00-0- 1 |
| 1-1-0 1 |
| 0-0-0 1 |
| .names n_n231 n_n122 n_n110 [527] [529] [536] |
| ---00 1 |
| 111-- 1 |
| 000-- 1 |
| 1-10- 1 |
| 0-00- 1 |
| 11--0 1 |
| 00--0 1 |
| .names _50gat_15_ _60gat_18_ _56gat_17_ n_n231 n_n270 [540] |
| 001-- 1 |
| 0-11- 1 |
| -01-1 1 |
| --111 1 |
| .names _82gat_25_ _76gat_23_ _86gat_26_ n_n231 n_n270 [543] |
| 100-- 1 |
| 10-1- 1 |
| 1-0-1 1 |
| 1--11 1 |
| .names _95gat_29_ _89gat_27_ _99gat_30_ n_n231 n_n270 [545] |
| 0---- 1 |
| --10- 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 n_n64 n_n61 [546] [548] |
| 001 1 |
| .names _1gat_0_ _4gat_1_ _8gat_2_ n_n231 n_n270 [550] |
| -0--- 1 |
| --10- 1 |
| 1---0 1 |
| .names _92gat_28_ n_n194 [56] [543] [553] |
| --10 1 |
| 101- 1 |
| .names n_n57 n_n59 n_n58 [57] [553] [556] |
| 1---- 1 |
| -0011 1 |
| .end |
