.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