| .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 n_n116 n_n126 [508] [513] _329gat_133_ |
| 1--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .names _95gat_29_ _30gat_9_ _89gat_27_ _24gat_7_ [493] [494] [495] _223gat_84_ |
| ----0-- 1 |
| -----0- 1 |
| ------0 1 |
| 1-0---- 1 |
| -1-0--- 1 |
| .names [64] [533] [534] [535] [536] _370gat_163_ |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names [66] [65] [88] [87] [23] _431gat_194_ |
| ----1 1 |
| 11--- 1 |
| --11- 1 |
| .names n_n55 [66] [65] [7] _432gat_195_ |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names n_n60 [66] [65] [84] [83] [88] [87] _430gat_193_ |
| 1------ 1 |
| -11---- 1 |
| ---11-- 1 |
| -----11 1 |
| .names _14gat_4_ [64] [533] [534] [535] [536] [550] [46] |
| ------1 1 |
| 10----- 1 |
| 1-0---- 1 |
| 1--0--- 1 |
| 1---0-- 1 |
| 1----0- 1 |
| .names _66gat_20_ [64] [533] [534] [535] [536] [540] n_n60 |
| 0-----1 1 |
| -111111 1 |
| .names n_n62 [57] [56] [84] [83] [88] [87] n_n55 |
| 0110-0- 1 |
| 011-00- 1 |
| 0110--0 1 |
| 011-0-0 1 |
| .names _95gat_29_ _89gat_27_ n_n162 |
| 10 1 |
| .names _69gat_21_ _73gat_22_ _63gat_19_ n_n163 [492] [493] [495] n_n120 |
| 100---- 1 |
| 1010111 1 |
| .names _82gat_25_ _76gat_23_ _86gat_26_ [492] [493] [494] [495] n_n122 |
| 1000--- 1 |
| 100-0-- 1 |
| 100--0- 1 |
| 100---0 1 |
| 1101111 1 |
| .names _30gat_9_ _24gat_7_ _34gat_10_ n_n162 [493] [494] [495] n_n114 |
| 100---- 1 |
| 1100111 1 |
| .names _95gat_29_ _89gat_27_ _99gat_30_ n_n157 [493] [494] [495] n_n124 |
| 100---- 1 |
| 1100111 1 |
| .names _47gat_14_ _37gat_11_ _43gat_13_ n_n156 [492] [494] [495] n_n116 |
| 001---- 1 |
| 0110111 1 |
| .names _112gat_34_ _102gat_31_ _108gat_33_ n_n160 [492] [493] [495] n_n126 |
| 001---- 1 |
| 0110111 1 |
| .names _11gat_3_ _17gat_5_ _21gat_6_ n_n158 [492] [494] [495] n_n112 |
| 010---- 1 |
| 1100111 1 |
| .names _50gat_15_ _60gat_18_ _56gat_17_ [492] [493] [494] [495] n_n118 |
| 0010--- 1 |
| 001-0-- 1 |
| 001--0- 1 |
| 001---0 1 |
| 1011111 1 |
| .names _1gat_0_ _4gat_1_ _8gat_2_ [91] [492] [493] [494] n_n110 |
| 010---- 1 |
| 1101111 1 |
| .names _92gat_28_ [64] [533] [534] [535] [536] [543] n_n62 |
| 0-----1 1 |
| -111111 1 |
| .names _105gat_32_ [64] [58] [533] [534] [535] [536] [57] |
| 0-1---- 1 |
| -111111 1 |
| .names _95gat_29_ _30gat_9_ _89gat_27_ _24gat_7_ [493] [494] [495] [56] |
| 1-0---- 1 |
| 101-111 1 |
| 1-11111 1 |
| .names _30gat_9_ _24gat_7_ n_n157 |
| 10 1 |
| .names _37gat_11_ _43gat_13_ n_n158 |
| 01 1 |
| .names n_n116 n_n126 n_n112 [508] [513] [531] [64] |
| -----1 1 |
| 1-0--- 1 |
| -10--- 1 |
| --00-- 1 |
| --0-0- 1 |
| 00111- 1 |
| .names _27gat_8_ [64] [68] [533] [534] [535] [536] [66] |
| 0-1---- 1 |
| -111111 1 |
| .names _11gat_3_ _17gat_5_ _37gat_11_ _43gat_13_ [492] [494] [495] [65] |
| 01----- 1 |
| 111-111 1 |
| 11-0111 1 |
| .names _115gat_35_ [64] [71] [533] [534] [535] [536] [70] |
| 0-1---- 1 |
| -111111 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [492] [493] [495] [69] |
| --01--- 1 |
| 0-11111 1 |
| -111111 1 |
| .names _105gat_32_ [64] [533] [534] [535] [536] [545] [73] |
| ------1 1 |
| 10----- 1 |
| 1-0---- 1 |
| 1--0--- 1 |
| 1---0-- 1 |
| 1----0- 1 |
| .names _11gat_3_ _17gat_5_ n_n156 |
| 01 1 |
| .names _79gat_24_ [64] [76] [533] [534] [535] [536] [75] |
| 0-1---- 1 |
| -111111 1 |
| .names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [492] [493] [495] [74] |
| 10----- 1 |
| 111-111 1 |
| 11-0111 1 |
| .names _102gat_31_ _108gat_33_ n_n163 |
| 01 1 |
| .names _69gat_21_ _63gat_19_ n_n160 |
| 10 1 |
| .names _53gat_16_ [64] [85] [533] [534] [535] [536] [84] |
| 0-1---- 1 |
| -111111 1 |
| .names _11gat_3_ _17gat_5_ _37gat_11_ _43gat_13_ [492] [494] [495] [83] |
| --01--- 1 |
| 1-11111 1 |
| -011111 1 |
| .names _40gat_12_ [64] [90] [533] [534] [535] [536] [88] |
| 0-1---- 1 |
| -111111 1 |
| .names _95gat_29_ _30gat_9_ _89gat_27_ _24gat_7_ [493] [494] [495] [87] |
| -1-0--- 1 |
| 01-1111 1 |
| -111111 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 _99gat_30_ n_n116 n_n126 [508] [513] [58] |
| 0---- 1 |
| -0011 1 |
| .names _21gat_6_ n_n116 n_n126 [508] [513] [68] |
| 0---- 1 |
| -0011 1 |
| .names _112gat_34_ n_n116 n_n126 [508] [513] [71] |
| 0---- 1 |
| -0011 1 |
| .names _73gat_22_ n_n116 n_n126 [508] [513] [76] |
| 0---- 1 |
| -0011 1 |
| .names _50gat_15_ [492] [493] [494] [495] [81] |
| 0---- 1 |
| -1111 1 |
| .names _47gat_14_ n_n116 n_n126 [508] [513] [85] |
| 0---- 1 |
| -0011 1 |
| .names _34gat_10_ n_n116 n_n126 [508] [513] [90] |
| 0---- 1 |
| -0011 1 |
| .names n_n60 [75] [74] [84] [83] [88] [87] [7] |
| ---110- 1 |
| ---11-0 1 |
| 011--0- 1 |
| 011---0 1 |
| .names n_n60 n_n62 [75] [74] [84] [83] [23] |
| 01--0- 1 |
| 01---0 1 |
| 0-110- 1 |
| 0-11-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 _34gat_10_ _30gat_9_ [500] |
| 01 1 |
| .names _99gat_30_ _95gat_29_ [501] |
| 01 1 |
| .names n_n162 n_n157 [493] [494] [495] [500] [501] [508] |
| -----00 1 |
| 000---- 1 |
| 00-0--- 1 |
| 00--0-- 1 |
| 01---0- 1 |
| 0-0--0- 1 |
| 0--0-0- 1 |
| 0---00- 1 |
| 10----0 1 |
| -00---0 1 |
| -0-0--0 1 |
| -0--0-0 1 |
| .names n_n116 n_n126 [508] [512] |
| 001 1 |
| .names n_n120 n_n122 n_n112 n_n118 n_n110 [513] |
| 00000 1 |
| .names _53gat_16_ _37gat_11_ _43gat_13_ n_n156 [492] [494] [495] [515] |
| 001---- 1 |
| 0110111 1 |
| .names _30gat_9_ _40gat_12_ _24gat_7_ n_n162 [493] [494] [495] [517] |
| 100---- 1 |
| 1010111 1 |
| .names _69gat_21_ _63gat_19_ _79gat_24_ n_n163 [492] [493] [495] [519] |
| 100---- 1 |
| 1100111 1 |
| .names _66gat_20_ _50gat_15_ _56gat_17_ [492] [493] [494] [495] [521] |
| 0010--- 1 |
| 001-0-- 1 |
| 001--0- 1 |
| 001---0 1 |
| 0111111 1 |
| .names _115gat_35_ _102gat_31_ _108gat_33_ n_n160 [492] [493] [495] [523] |
| 001---- 1 |
| 0110111 1 |
| .names _95gat_29_ _89gat_27_ _105gat_32_ n_n157 [493] [494] [495] [525] |
| 100---- 1 |
| 1100111 1 |
| .names _82gat_25_ _92gat_28_ _76gat_23_ [492] [493] [494] [495] [527] |
| 1000--- 1 |
| 100-0-- 1 |
| 100--0- 1 |
| 100---0 1 |
| 1011111 1 |
| .names _1gat_0_ _4gat_1_ _14gat_4_ [91] [492] [493] [494] [529] |
| 010---- 1 |
| 1101111 1 |
| .names _11gat_3_ _17gat_5_ _27gat_8_ n_n158 [492] [494] [495] [531] |
| -0----- 1 |
| --1---- 1 |
| 1--1--- 1 |
| 1---0-- 1 |
| 1----0- 1 |
| 1-----0 1 |
| .names n_n114 n_n116 n_n126 [508] [513] [515] [517] [533] |
| -----00 1 |
| 001---- 1 |
| 00-0--- 1 |
| 00--0-- 1 |
| 01---0- 1 |
| 0-1--0- 1 |
| 0--0-0- 1 |
| 0---00- 1 |
| -01---0 1 |
| -0-0--0 1 |
| -0--0-0 1 |
| 100110- 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_n116 n_n126 [508] [513] [523] [525] [535] |
| -----00 1 |
| 010---- 1 |
| 0-00--- 1 |
| 0-0-0-- 1 |
| 01---0- 1 |
| 0-1--0- 1 |
| 0--0-0- 1 |
| 0---00- 1 |
| -10---0 1 |
| --00--0 1 |
| --0-0-0 1 |
| 100110- 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_ n_n116 n_n126 [81] [508] [513] [540] |
| 01--1-- 1 |
| -100111 1 |
| .names _82gat_25_ _86gat_26_ n_n116 n_n126 [54] [508] [513] [543] |
| 10--1-- 1 |
| 1-00111 1 |
| .names _95gat_29_ _30gat_9_ _89gat_27_ _24gat_7_ [493] [494] [495] [544] |
| 0------ 1 |
| --1-0-- 1 |
| --1--0- 1 |
| --1---0 1 |
| -110--- 1 |
| .names _99gat_30_ n_n116 n_n126 [508] [513] [544] [545] |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| .names n_n62 [70] [69] [73] [75] [74] [548] |
| 00-10- 1 |
| 0-010- 1 |
| 00-1-0 1 |
| 0-01-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_ n_n116 n_n126 [508] [513] [549] [550] |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| .end |
