| .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 n_n174 [46] _421gat_188_ |
| 01 1 |
| .names n_n112 n_n118 [511] [512] _329gat_133_ |
| 1--- 1 |
| -1-- 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_n59 n_n58 [19] [556] _432gat_195_ |
| ---1 1 |
| 10-- 1 |
| -01- 1 |
| .names n_n60 [66] [65] [542] _430gat_193_ |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names [541] [542] [546] [547] n_n174 |
| 0011 1 |
| .names _14gat_4_ [538] [539] [550] [46] |
| ---1 1 |
| 10-- 1 |
| 1-0- 1 |
| .names n_n112 n_n118 [511] [512] n_n231 |
| 0011 1 |
| .names _66gat_20_ [538] [539] [540] n_n60 |
| 0--1 1 |
| -111 1 |
| .names [84] [83] n_n59 |
| 11 1 |
| .names [88] [87] n_n58 |
| 11 1 |
| .names n_n62 [75] [74] [47] |
| 1-- 1 |
| -11 1 |
| .names _95gat_29_ _89gat_27_ n_n162 |
| 10 1 |
| .names n_n160 [496] [497] [498] n_n120 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _76gat_23_ [496] [497] [499] n_n122 |
| 00-1 1 |
| 0-01 1 |
| 1111 1 |
| .names n_n157 [496] [497] [500] n_n114 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names n_n162 [496] [497] [501] n_n124 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names n_n158 [496] [497] [502] n_n116 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names n_n163 [496] [497] [503] n_n126 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names n_n156 [496] [497] [504] n_n112 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _50gat_15_ [496] [497] [505] n_n118 |
| 00-1 1 |
| 0-01 1 |
| 1111 1 |
| .names n_n155 [496] [497] [506] n_n110 |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names n_n116 [510] [511] [512] [49] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n114 [510] [511] [512] [50] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n120 [510] [511] [512] [51] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _92gat_28_ [538] [539] [543] n_n62 |
| 0--1 1 |
| -111 1 |
| .names _105gat_32_ [58] [538] [539] [57] |
| 01-- 1 |
| -111 1 |
| .names _95gat_29_ _89gat_27_ [496] [497] [56] |
| 10-- 1 |
| 1-11 1 |
| .names n_n112 n_n118 [511] [512] [60] |
| -1-- 1 |
| 0011 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names n_n126 [510] [511] [512] [61] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n124 [510] [511] [512] [62] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n122 [510] [511] [512] [63] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names _37gat_11_ _43gat_13_ n_n158 |
| 01 1 |
| .names n_n231 n_n112 [531] [64] |
| --1 1 |
| 11- 1 |
| 00- 1 |
| .names _27gat_8_ [68] [538] [539] [66] |
| 01-- 1 |
| -111 1 |
| .names _11gat_3_ _17gat_5_ [496] [497] [65] |
| 01-- 1 |
| -111 1 |
| .names _115gat_35_ [71] [538] [539] [70] |
| 01-- 1 |
| -111 1 |
| .names _102gat_31_ _108gat_33_ [496] [497] [69] |
| 01-- 1 |
| -111 1 |
| .names _105gat_32_ [538] [539] [545] [73] |
| ---1 1 |
| 10-- 1 |
| 1-0- 1 |
| .names _11gat_3_ _17gat_5_ n_n156 |
| 01 1 |
| .names _79gat_24_ [76] [538] [539] [75] |
| 01-- 1 |
| -111 1 |
| .names _69gat_21_ _63gat_19_ [496] [497] [74] |
| 10-- 1 |
| 1-11 1 |
| .names n_n110 [507] [510] [512] [78] |
| 1--- 1 |
| 0111 1 |
| .names _102gat_31_ _108gat_33_ n_n163 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n160 |
| 10 1 |
| .names _53gat_16_ [85] [538] [539] [84] |
| 01-- 1 |
| -111 1 |
| .names _37gat_11_ _43gat_13_ [496] [497] [83] |
| 01-- 1 |
| -111 1 |
| .names _1gat_0_ _4gat_1_ n_n155 |
| 01 1 |
| .names _40gat_12_ [90] [538] [539] [88] |
| 01-- 1 |
| -111 1 |
| .names _30gat_9_ _24gat_7_ [496] [497] [87] |
| 10-- 1 |
| 1-11 1 |
| .names _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [91] |
| 0-1- 1 |
| -11- 1 |
| 0--0 1 |
| -1-0 1 |
| .names _86gat_26_ [510] [511] [512] [55] |
| 0--- 1 |
| -111 1 |
| .names _76gat_23_ [492] [493] [497] [54] |
| 0--- 1 |
| -111 1 |
| .names _99gat_30_ [510] [511] [512] [58] |
| 0--- 1 |
| -111 1 |
| .names _21gat_6_ [510] [511] [512] [68] |
| 0--- 1 |
| -111 1 |
| .names _112gat_34_ [510] [511] [512] [71] |
| 0--- 1 |
| -111 1 |
| .names _73gat_22_ [510] [511] [512] [76] |
| 0--- 1 |
| -111 1 |
| .names _60gat_18_ [510] [511] [512] [82] |
| 0--- 1 |
| -111 1 |
| .names _50gat_15_ [492] [493] [497] [81] |
| 0--- 1 |
| -111 1 |
| .names _47gat_14_ [510] [511] [512] [85] |
| 0--- 1 |
| -111 1 |
| .names _34gat_10_ [510] [511] [512] [90] |
| 0--- 1 |
| -111 1 |
| .names n_n60 [75] [74] [19] |
| 011 1 |
| .names _8gat_2_ [510] [511] [512] [28] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| .names _99gat_30_ [510] [511] [512] [32] |
| 10-- 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 [493] [492] [496] |
| 11 1 |
| .names _1gat_0_ _4gat_1_ [91] [494] [497] |
| 1-11 1 |
| -011 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_n122 n_n120 [507] |
| 00 1 |
| .names n_n118 n_n112 [510] |
| 00 1 |
| .names n_n120 n_n122 n_n110 [511] |
| 000 1 |
| .names n_n114 n_n124 n_n116 n_n126 [512] |
| 0000 1 |
| .names _43gat_13_ _53gat_16_ [514] |
| 10 1 |
| .names n_n158 [496] [497] [514] [515] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _40gat_12_ _30gat_9_ [516] |
| 01 1 |
| .names n_n157 [496] [497] [516] [517] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _79gat_24_ _69gat_21_ [518] |
| 01 1 |
| .names n_n160 [496] [497] [518] [519] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _56gat_17_ _66gat_20_ [520] |
| 10 1 |
| .names _50gat_15_ [496] [497] [520] [521] |
| 00-1 1 |
| 0-01 1 |
| 1111 1 |
| .names _108gat_33_ _115gat_35_ [522] |
| 10 1 |
| .names n_n163 [496] [497] [522] [523] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _105gat_32_ _95gat_29_ [524] |
| 01 1 |
| .names n_n162 [496] [497] [524] [525] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _92gat_28_ _82gat_25_ [526] |
| 01 1 |
| .names _76gat_23_ [496] [497] [526] [527] |
| 00-1 1 |
| 0-01 1 |
| 1111 1 |
| .names _14gat_4_ _4gat_1_ [528] |
| 01 1 |
| .names n_n155 [496] [497] [528] [529] |
| 10-1 1 |
| 1-01 1 |
| 0111 1 |
| .names _27gat_8_ _17gat_5_ [530] |
| 1- 1 |
| -0 1 |
| .names n_n156 [496] [497] [530] [531] |
| ---1 1 |
| 00-- 1 |
| 0-0- 1 |
| 111- 1 |
| .names [49] [50] [515] [517] [533] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [51] [60] [519] [521] [534] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [61] [62] [523] [525] [535] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [63] [78] [527] [529] [536] |
| 00-- 1 |
| -00- 1 |
| 0--0 1 |
| --00 1 |
| .names [535] [534] [538] |
| 11 1 |
| .names [64] [533] [536] [539] |
| 111 1 |
| .names _56gat_17_ [82] [81] [540] |
| 111 1 |
| .names n_n60 [66] [65] [541] |
| 1-- 1 |
| -11 1 |
| .names [84] [83] [88] [87] [542] |
| 11-- 1 |
| --11 1 |
| .names _82gat_25_ [55] [54] [543] |
| 111 1 |
| .names _95gat_29_ _89gat_27_ [496] [497] [544] |
| 0--- 1 |
| -10- 1 |
| -1-0 1 |
| .names [32] [544] [545] |
| 1- 1 |
| -1 1 |
| .names [73] n_n62 [546] |
| 10 1 |
| .names [70] [69] [75] [74] [547] |
| 0-0- 1 |
| -00- 1 |
| 0--0 1 |
| -0-0 1 |
| .names _1gat_0_ _4gat_1_ [496] [497] [549] |
| -0-- 1 |
| 1-0- 1 |
| 1--0 1 |
| .names [28] [549] [550] |
| 1- 1 |
| -1 1 |
| .names n_n60 [84] [83] [551] |
| 00- 1 |
| 0-0 1 |
| .names [66] [65] [88] [87] [552] |
| 11-- 1 |
| --11 1 |
| .names [57] [84] [83] [554] |
| 10- 1 |
| 1-0 1 |
| .names n_n62 [56] [88] [87] [555] |
| 010- 1 |
| 01-0 1 |
| .names [66] [65] [554] [555] [556] |
| 11-- 1 |
| --11 1 |
| .end |
