.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