| .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 _430gat_193_ [46] [548] _421gat_188_ |
| 11- 1 |
| -10 1 |
| .names [508] [509] [513] _329gat_133_ |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [492] [493] [497] _223gat_84_ |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [534] [535] [539] _370gat_163_ |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [47] [551] [552] _431gat_194_ |
| --1 1 |
| 11- 1 |
| .names n_n58 [48] [556] _432gat_195_ |
| --1 1 |
| 01- 1 |
| .names n_n57 n_n60 [542] _430gat_193_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [27] [28] [549] [46] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [508] [509] [513] n_n231 |
| 111 1 |
| .names [65] [68] [67] n_n57 |
| 111 1 |
| .names [79] [540] n_n60 |
| 11 1 |
| .names [83] [86] [85] n_n59 |
| 111 1 |
| .names [87] [90] [89] n_n58 |
| 111 1 |
| .names [52] n_n61 [543] [47] |
| -1- 1 |
| 1-1 1 |
| .names n_n60 n_n59 n_n61 [48] |
| -1- 1 |
| 0-1 1 |
| .names _95gat_29_ _89gat_27_ n_n162 |
| 10 1 |
| .names n_n160 [496] [497] [8] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _69gat_21_ _73gat_22_ [8] n_n120 |
| 101 1 |
| .names _82gat_25_ _86gat_26_ [11] n_n122 |
| 101 1 |
| .names _30gat_9_ _34gat_10_ [10] n_n114 |
| 101 1 |
| .names _95gat_29_ _99gat_30_ [14] n_n124 |
| 101 1 |
| .names _47gat_14_ _43gat_13_ [9] n_n116 |
| 011 1 |
| .names _112gat_34_ _108gat_33_ [13] n_n126 |
| 011 1 |
| .names _17gat_5_ _21gat_6_ [16] n_n112 |
| 101 1 |
| .names _60gat_18_ _56gat_17_ [12] n_n118 |
| 011 1 |
| .names _4gat_1_ _8gat_2_ [15] n_n110 |
| 101 1 |
| .names n_n158 [496] [497] [9] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n116 [512] [513] [49] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [9] [49] [514] n_n77 |
| 111 1 |
| .names n_n157 [496] [497] [10] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n114 [512] [513] [50] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [10] [50] [516] n_n76 |
| 111 1 |
| .names _76gat_23_ [496] [497] [11] |
| 00- 1 |
| 0-0 1 |
| 111 1 |
| .names n_n120 [512] [513] [51] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [8] [51] [518] n_n79 |
| 111 1 |
| .names _92gat_28_ [538] [539] [52] |
| 0-- 1 |
| -11 1 |
| .names [52] [543] n_n62 |
| 11 1 |
| .names _95gat_29_ _89gat_27_ [21] [56] |
| --1 1 |
| 10- 1 |
| .names _50gat_15_ [496] [497] [12] |
| 00- 1 |
| 0-0 1 |
| 111 1 |
| .names n_n118 [512] [513] [60] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names n_n163 [496] [497] [13] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n126 [512] [513] [61] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [13] [61] [522] n_n82 |
| 111 1 |
| .names n_n162 [496] [497] [14] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n124 [512] [513] [62] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [14] [62] [524] n_n81 |
| 111 1 |
| .names n_n122 [512] [513] [63] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names [11] [63] [526] n_n80 |
| 111 1 |
| .names _37gat_11_ _43gat_13_ n_n158 |
| 01 1 |
| .names [15] [78] [528] n_n74 |
| 111 1 |
| .names n_n231 n_n112 [531] [64] |
| --1 1 |
| 11- 1 |
| 00- 1 |
| .names _11gat_3_ _17gat_5_ [42] [65] |
| --1 1 |
| 01- 1 |
| .names _102gat_31_ _108gat_33_ [36] [69] |
| --1 1 |
| 01- 1 |
| .names [69] [72] [71] n_n64 |
| 111 1 |
| .names [74] [77] [76] n_n61 |
| 111 1 |
| .names _11gat_3_ _17gat_5_ n_n156 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ [34] [74] |
| --1 1 |
| 10- 1 |
| .names n_n155 [496] [497] [15] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n110 [512] [513] [78] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _66gat_20_ [538] [539] [79] |
| 0-- 1 |
| -11 1 |
| .names _102gat_31_ _108gat_33_ n_n163 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n160 |
| 10 1 |
| .names n_n156 [496] [497] [16] |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names _37gat_11_ _43gat_13_ [40] [83] |
| --1 1 |
| 01- 1 |
| .names _1gat_0_ _4gat_1_ n_n155 |
| 01 1 |
| .names _30gat_9_ _24gat_7_ [38] [87] |
| --1 1 |
| 10- 1 |
| .names _86gat_26_ [512] [513] [55] |
| 0-- 1 |
| -11 1 |
| .names _76gat_23_ [496] [497] [54] |
| 0-- 1 |
| -11 1 |
| .names _105gat_32_ [538] [539] [59] |
| 0-- 1 |
| -11 1 |
| .names _99gat_30_ [512] [513] [58] |
| 0-- 1 |
| -11 1 |
| .names _21gat_6_ [512] [513] [68] |
| 0-- 1 |
| -11 1 |
| .names _27gat_8_ [538] [539] [67] |
| 0-- 1 |
| -11 1 |
| .names _115gat_35_ [538] [539] [72] |
| 0-- 1 |
| -11 1 |
| .names _112gat_34_ [512] [513] [71] |
| 0-- 1 |
| -11 1 |
| .names _79gat_24_ [538] [539] [77] |
| 0-- 1 |
| -11 1 |
| .names _73gat_22_ [512] [513] [76] |
| 0-- 1 |
| -11 1 |
| .names _60gat_18_ [512] [513] [82] |
| 0-- 1 |
| -11 1 |
| .names _50gat_15_ [496] [497] [81] |
| 0-- 1 |
| -11 1 |
| .names _53gat_16_ [538] [539] [86] |
| 0-- 1 |
| -11 1 |
| .names _47gat_14_ [512] [513] [85] |
| 0-- 1 |
| -11 1 |
| .names _34gat_10_ [512] [513] [90] |
| 0-- 1 |
| -11 1 |
| .names _40gat_12_ [538] [539] [89] |
| 0-- 1 |
| -11 1 |
| .names _50gat_15_ _56gat_17_ [93] |
| 1- 1 |
| -0 1 |
| .names _82gat_25_ _76gat_23_ [92] |
| 0- 1 |
| -1 1 |
| .names _95gat_29_ [496] [497] [21] |
| 111 1 |
| .names _1gat_0_ [496] [497] [26] |
| 10- 1 |
| 1-0 1 |
| .names _14gat_4_ [538] [539] [27] |
| 10- 1 |
| 1-0 1 |
| .names _8gat_2_ [512] [513] [28] |
| 10- 1 |
| 1-0 1 |
| .names _89gat_27_ [496] [497] [30] |
| 10- 1 |
| 1-0 1 |
| .names _105gat_32_ [538] [539] [31] |
| 10- 1 |
| 1-0 1 |
| .names _99gat_30_ [512] [513] [32] |
| 10- 1 |
| 1-0 1 |
| .names _69gat_21_ [496] [497] [34] |
| 111 1 |
| .names _108gat_33_ [496] [497] [36] |
| 111 1 |
| .names _30gat_9_ [496] [497] [38] |
| 111 1 |
| .names _43gat_13_ [496] [497] [40] |
| 111 1 |
| .names _17gat_5_ [496] [497] [42] |
| 111 1 |
| .names _30gat_9_ _24gat_7_ n_n162 [492] |
| 0-0 1 |
| -10 1 |
| .names _11gat_3_ _17gat_5_ n_n158 [493] |
| 1-0 1 |
| -00 1 |
| .names n_n155 [93] [92] [495] |
| 011 1 |
| .names n_n158 n_n156 [492] [496] |
| 001 1 |
| .names n_n163 n_n160 [495] [497] |
| 001 1 |
| .names _99gat_30_ _95gat_29_ [501] |
| 01 1 |
| .names _108gat_33_ _112gat_34_ [503] |
| 10 1 |
| .names n_n114 [14] [501] [508] |
| 00- 1 |
| 0-0 1 |
| .names n_n116 [13] [503] [509] |
| 00- 1 |
| 0-0 1 |
| .names n_n120 n_n122 n_n110 [511] |
| 000 1 |
| .names n_n116 n_n126 [508] [512] |
| 001 1 |
| .names n_n112 n_n118 [511] [513] |
| 001 1 |
| .names _43gat_13_ _53gat_16_ [514] |
| 10 1 |
| .names _40gat_12_ _30gat_9_ [516] |
| 01 1 |
| .names _79gat_24_ _69gat_21_ [518] |
| 01 1 |
| .names _66gat_20_ _56gat_17_ [12] [521] |
| 011 1 |
| .names _108gat_33_ _115gat_35_ [522] |
| 10 1 |
| .names _105gat_32_ _95gat_29_ [524] |
| 01 1 |
| .names _95gat_29_ _105gat_32_ [14] [525] |
| 101 1 |
| .names _92gat_28_ _82gat_25_ [526] |
| 01 1 |
| .names _14gat_4_ _4gat_1_ [528] |
| 01 1 |
| .names _17gat_5_ _27gat_8_ [16] [531] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names n_n79 [60] [521] [534] |
| 00- 1 |
| 0-0 1 |
| .names n_n82 [62] [525] [535] |
| 00- 1 |
| 0-0 1 |
| .names n_n77 n_n76 [64] [537] |
| 001 1 |
| .names n_n82 n_n81 [534] [538] |
| 001 1 |
| .names n_n80 n_n74 [537] [539] |
| 001 1 |
| .names _56gat_17_ [82] [81] [540] |
| 111 1 |
| .names n_n58 n_n59 [542] |
| 1- 1 |
| -1 1 |
| .names _82gat_25_ [55] [54] [543] |
| 111 1 |
| .names _95gat_29_ [30] [32] [545] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n62 [31] [545] [546] |
| 01- 1 |
| 0-1 1 |
| .names n_n64 n_n61 [546] [548] |
| 001 1 |
| .names [26] _4gat_1_ [549] |
| 1- 1 |
| -0 1 |
| .names n_n59 [79] [540] [551] |
| 00- 1 |
| 0-0 1 |
| .names n_n58 n_n57 [552] |
| 1- 1 |
| -1 1 |
| .names [52] [56] [543] [553] |
| 01- 1 |
| -10 1 |
| .names n_n59 [59] [58] [554] |
| 011 1 |
| .names [553] n_n58 [555] |
| 10 1 |
| .names n_n57 [554] [555] [556] |
| 1-- 1 |
| -11 1 |
| .end |