.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 [27] [541] [542] [546] [547] [550] _421gat_188_
11---- 1
1-1--- 1
1--0-- 1
1---0- 1
-1---1 1
--1--1 1
---0-1 1
----01 1
.names n_n114 n_n124 n_n116 n_n126 [513] _329gat_133_
1---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names [492] [493] [494] [495] _223gat_84_
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 [47] [551] [552] _431gat_194_
--1 1
11- 1
.names n_n57 n_n59 n_n58 [57] [19] [553] _432gat_195_
1----- 1
-10--- 1
--0-1- 1
-001-1 1
.names [65] [79] [68] [67] [540] [542] _430gat_193_
-----1 1
-1--1- 1
1-11-- 1
.names _21gat_6_ [65] [67] [512] [513] n_n57
011-- 1
-1111 1
.names _47gat_14_ [83] [86] [512] [513] n_n59
011-- 1
-1111 1
.names _34gat_10_ [87] [89] [512] [513] n_n58
011-- 1
-1111 1
.names [52] [74] [77] [76] [543] [47]
1---1 1
-111- 1
.names _95gat_29_ _89gat_27_ n_n162
10 1
.names n_n163 n_n160 [492] [493] [495] [498] n_n120
-1---1 1
001111 1
.names _76gat_23_ [492] [493] [494] [495] [499] n_n122
00---1 1
0-0--1 1
0--0-1 1
0---01 1
111111 1
.names n_n162 n_n157 [493] [494] [495] [500] n_n114
-1---1 1
001111 1
.names n_n162 n_n157 [493] [494] [495] [501] n_n124
1----1 1
001111 1
.names n_n158 n_n156 [492] [494] [495] [502] n_n116
1----1 1
001111 1
.names n_n163 n_n160 [492] [493] [495] [503] n_n126
1----1 1
001111 1
.names n_n158 n_n156 [492] [494] [495] [504] n_n112
-1---1 1
001111 1
.names _50gat_15_ [492] [493] [494] [495] [505] n_n118
00---1 1
0-0--1 1
0--0-1 1
0---01 1
111111 1
.names n_n155 [91] [492] [493] [494] [506] n_n110
1----1 1
011111 1
.names _92gat_28_ [64] [533] [534] [535] [536] [52]
0----- 1
-11111 1
.names _99gat_30_ [59] [512] [513] [57]
01-- 1
-111 1
.names _95gat_29_ _89gat_27_ n_n157 [493] [494] [495] [56]
10---- 1
110111 1
.names _30gat_9_ _24gat_7_ n_n157
10 1
.names _37gat_11_ _43gat_13_ n_n158
01 1
.names n_n112 [512] [513] [531] [64]
---1 1
00-- 1
0-0- 1
111- 1
.names _11gat_3_ _17gat_5_ n_n158 [492] [494] [495] [65]
01---- 1
110111 1
.names _102gat_31_ _108gat_33_ n_n160 [492] [493] [495] [69]
01---- 1
110111 1
.names _11gat_3_ _17gat_5_ n_n156
01 1
.names _69gat_21_ _63gat_19_ n_n163 [492] [493] [495] [74]
10---- 1
110111 1
.names _66gat_20_ [64] [533] [534] [535] [536] [79]
0----- 1
-11111 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_n156 [492] [494] [495] [83]
01---- 1
110111 1
.names _1gat_0_ _4gat_1_ n_n155
01 1
.names _30gat_9_ _24gat_7_ n_n162 [493] [494] [495] [87]
10---- 1
110111 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 _105gat_32_ [64] [533] [534] [535] [536] [59]
0----- 1
-11111 1
.names _21gat_6_ n_n114 n_n124 n_n116 n_n126 [513] [68]
0----- 1
-00001 1
.names _27gat_8_ [64] [533] [534] [535] [536] [67]
0----- 1
-11111 1
.names _115gat_35_ [64] [533] [534] [535] [536] [72]
0----- 1
-11111 1
.names _112gat_34_ n_n114 n_n124 n_n116 n_n126 [513] [71]
0----- 1
-00001 1
.names _79gat_24_ [64] [533] [534] [535] [536] [77]
0----- 1
-11111 1
.names _73gat_22_ n_n114 n_n124 n_n116 n_n126 [513] [76]
0----- 1
-00001 1
.names _50gat_15_ [492] [493] [494] [495] [81]
0---- 1
-1111 1
.names _53gat_16_ [64] [533] [534] [535] [536] [86]
0----- 1
-11111 1
.names _47gat_14_ n_n114 n_n124 n_n116 n_n126 [513] [85]
0----- 1
-00001 1
.names _34gat_10_ n_n114 n_n124 n_n116 n_n126 [513] [90]
0----- 1
-00001 1
.names _40gat_12_ [64] [533] [534] [535] [536] [89]
0----- 1
-11111 1
.names [74] [79] [77] [76] [540] [19]
1011- 1
1-110 1
.names _14gat_4_ [64] [533] [534] [535] [536] [27]
10---- 1
1-0--- 1
1--0-- 1
1---0- 1
1----0 1
.names _105gat_32_ [64] [533] [534] [535] [536] [31]
10---- 1
1-0--- 1
1--0-- 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 _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 _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_n114 n_n124 n_n116 n_n126 [512]
0000 1
.names n_n120 n_n122 n_n112 n_n118 n_n110 [513]
00000 1
.names _43gat_13_ _53gat_16_ [514]
10 1
.names n_n158 n_n156 [492] [494] [495] [514] [515]
1----1 1
001111 1
.names _40gat_12_ _30gat_9_ [516]
01 1
.names n_n162 n_n157 [493] [494] [495] [516] [517]
-1---1 1
001111 1
.names _79gat_24_ _69gat_21_ [518]
01 1
.names n_n163 n_n160 [492] [493] [495] [518] [519]
-1---1 1
001111 1
.names _56gat_17_ _66gat_20_ [520]
10 1
.names _50gat_15_ [492] [493] [494] [495] [520] [521]
00---1 1
0-0--1 1
0--0-1 1
0---01 1
111111 1
.names _108gat_33_ _115gat_35_ [522]
10 1
.names n_n163 n_n160 [492] [493] [495] [522] [523]
1----1 1
001111 1
.names _105gat_32_ _95gat_29_ [524]
01 1
.names n_n162 n_n157 [493] [494] [495] [524] [525]
1----1 1
001111 1
.names _92gat_28_ _82gat_25_ [526]
01 1
.names _76gat_23_ [492] [493] [494] [495] [526] [527]
00---1 1
0-0--1 1
0--0-1 1
0---01 1
111111 1
.names _14gat_4_ _4gat_1_ [528]
01 1
.names n_n155 [91] [492] [493] [494] [528] [529]
1----1 1
011111 1
.names _27gat_8_ _17gat_5_ [530]
1- 1
-0 1
.names n_n158 n_n156 [492] [494] [495] [530] [531]
-----1 1
10---- 1
-00--- 1
-0-0-- 1
-0--0- 1
.names n_n114 n_n116 [512] [513] [515] [517] [533]
----00 1
000--- 1
00-0-- 1
0-0-0- 1
0--00- 1
-00--0 1
-0-0-0 1
1111-- 1
1-110- 1
-111-0 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_n126 [512] [513] [523] [525] [535]
----00 1
000--- 1
00-0-- 1
0-0-0- 1
0--00- 1
-00--0 1
-0-0-0 1
1111-- 1
1-110- 1
-111-0 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_ [81] [512] [513] [540]
011-- 1
-1111 1
.names [65] [79] [68] [67] [540] [541]
-1--1 1
1-11- 1
.names [83] [87] [86] [85] [90] [89] [542]
1-11-- 1
-1--11 1
.names _82gat_25_ _86gat_26_ [54] [512] [513] [543]
101-- 1
1-111 1
.names _95gat_29_ _89gat_27_ n_n157 [493] [494] [495] [544]
0----- 1
-11--- 1
-1-0-- 1
-1--0- 1
-1---0 1
.names _99gat_30_ [512] [513] [544] [545]
---1 1
10-- 1
1-0- 1
.names [52] [31] [543] [545] [546]
01-- 1
-10- 1
0--1 1
--01 1
.names [69] [74] [72] [71] [77] [76] [547]
00---- 1
-00--- 1
-0-0-- 1
0---0- 1
--0-0- 1
---00- 1
0----0 1
--0--0 1
---0-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_ [512] [513] [549] [550]
---1 1
10-- 1
1-0- 1
.names [79] [83] [86] [85] [540] [551]
00--- 1
0-0-- 1
0--0- 1
-0--0 1
--0-0 1
---00 1
.names [65] [87] [68] [67] [90] [89] [552]
1-11-- 1
-1--11 1
.names [52] [56] [543] [553]
01- 1
-10 1
.end