.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_ n_n194 [541] [542] [546] [547] [550] _421gat_188_
--1---1 1
---1--1 1
----0-1 1
-----01 1
101---- 1
10-1--- 1
10--0-- 1
10---0- 1
.names n_n110 [507] [508] [509] [510] _329gat_133_
1---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] _223gat_84_
----0- 1
-----0 1
10---- 1
--01-- 1
.names n_n77 n_n76 n_n79 n_n78 n_n82 n_n81 [64] [536] _370gat_163_
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------0- 1
-------0 1
.names _79gat_24_ _92gat_28_ n_n194 [74] [76] [543] [551] [552] _431gat_194_
-------1 1
-0---11- 1
--1--11- 1
0--11-1- 1
--111-1- 1
.names _105gat_32_ n_n194 n_n57 n_n59 n_n58 [58] [19] [553] _432gat_195_
--1----- 1
---10--- 1
----0-1- 1
0--001-1 1
-1-001-1 1
.names _27gat_8_ _66gat_20_ n_n194 [65] [68] [540] [542] _430gat_193_
------1 1
-0---1- 1
--1--1- 1
0--11-- 1
--111-- 1
.names n_n77 n_n76 n_n79 n_n78 n_n82 n_n81 [64] [536] n_n194
00000011 1
.names _11gat_3_ _17gat_5_ _27gat_8_ n_n194 [68] [494] [495] [496] n_n57
010-1--- 1
01-11--- 1
-10-1111 1
-1-11111 1
.names _53gat_16_ _37gat_11_ _43gat_13_ n_n194 [85] [494] [495] [496] n_n59
001-1--- 1
-0111--- 1
0-1-1111 1
--111111 1
.names _30gat_9_ _40gat_12_ _24gat_7_ n_n194 [90] [494] [495] [496] n_n58
100-1--- 1
1-011--- 1
10--1111 1
1--11111 1
.names _69gat_21_ _73gat_22_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \
n_n120
100---- 1
1011-11 1
101-011 1
.names _82gat_25_ _76gat_23_ _86gat_26_ [494] [495] [496] n_n122
1000-- 1
100-0- 1
100--0 1
110111 1
.names _30gat_9_ _24gat_7_ _34gat_10_ [494] [495] [496] n_n114
1000-- 1
100-0- 1
100--0 1
110111 1
.names _95gat_29_ _89gat_27_ _99gat_30_ [494] [495] [496] n_n124
1000-- 1
100-0- 1
100--0 1
110111 1
.names _47gat_14_ _37gat_11_ _43gat_13_ [494] [495] [496] n_n116
0010-- 1
001-0- 1
001--0 1
011111 1
.names _112gat_34_ _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \
n_n126
0--01-- 1
00-1111 1
0-11111 1
.names _11gat_3_ _17gat_5_ _21gat_6_ [494] [495] [496] n_n112
0100-- 1
010-0- 1
010--0 1
110111 1
.names _50gat_15_ _60gat_18_ _56gat_17_ [494] [495] [496] n_n118
0010-- 1
001-0- 1
001--0 1
101111 1
.names _1gat_0_ _4gat_1_ _8gat_2_ [91] [494] [496] n_n110
010--- 1
110111 1
.names n_n116 n_n126 n_n110 [507] [508] [510] [515] n_n77
1-----1 1
0001111 1
.names n_n114 n_n124 n_n110 [507] [509] [510] [517] n_n76
1-----1 1
0001111 1
.names n_n120 n_n122 n_n110 [508] [509] [510] [519] n_n79
1-----1 1
0001111 1
.names n_n112 n_n118 n_n110 [507] [508] [509] [521] n_n78
-1----1 1
0001111 1
.names _30gat_9_ _24gat_7_ n_n157
10 1
.names n_n116 n_n126 n_n110 [507] [508] [510] [523] n_n82
-1----1 1
0001111 1
.names n_n114 n_n124 n_n110 [507] [509] [510] [525] n_n81
-1----1 1
0001111 1
.names n_n112 n_n118 n_n110 [507] [508] [509] [531] [64]
------1 1
01----- 1
0-1---- 1
0--0--- 1
0---0-- 1
0----0- 1
.names _11gat_3_ _17gat_5_ _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] \
[496] [65]
01------ 1
-10-1-11 1
-1-11-11 1
-10--011 1
-1-1-011 1
.names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] [69]
--01-- 1
0-1111 1
-11111 1
.names _69gat_21_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] [74]
10---- 1
111-11 1
11-011 1
.names _102gat_31_ _108gat_33_ n_n163
01 1
.names _69gat_21_ _63gat_19_ n_n160
10 1
.names _69gat_21_ _37gat_11_ _63gat_19_ _102gat_31_ _43gat_13_ _108gat_33_ \
[495] [496] [83]
-0--1--- 1
0--11-11 1
--111-11 1
0---1011 1
--1-1011 1
.names _30gat_9_ _69gat_21_ _63gat_19_ _102gat_31_ _24gat_7_ _108gat_33_ [495] \
[496] [87]
1---0--- 1
10-1--11 1
1-11--11 1
10---011 1
1-1--011 1
.names _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [91]
0-1- 1
-11- 1
0--0 1
-1-0 1
.names _69gat_21_ _63gat_19_ _102gat_31_ _76gat_23_ _108gat_33_ [495] [496] \
[54]
---0--- 1
0-1--11 1
-11--11 1
0---011 1
-1--011 1
.names _99gat_30_ n_n110 [507] [508] [509] [510] [58]
0----- 1
-01111 1
.names _21gat_6_ n_n110 [507] [508] [509] [510] [68]
0----- 1
-01111 1
.names _112gat_34_ n_n110 [507] [508] [509] [510] [71]
0----- 1
-01111 1
.names _73gat_22_ n_n110 [507] [508] [509] [510] [76]
0----- 1
-01111 1
.names _69gat_21_ _63gat_19_ _102gat_31_ _50gat_15_ _108gat_33_ [495] [496] \
[81]
---0--- 1
0-1--11 1
-11--11 1
0---011 1
-1--011 1
.names _47gat_14_ n_n110 [507] [508] [509] [510] [85]
0----- 1
-01111 1
.names _34gat_10_ n_n110 [507] [508] [509] [510] [90]
0----- 1
-01111 1
.names _79gat_24_ _66gat_20_ n_n194 [74] [76] [540] [19]
0--110 1
--1110 1
01011- 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 _11gat_3_ _17gat_5_ _95gat_29_ _30gat_9_ _89gat_27_ _37gat_11_ \
_24gat_7_ _43gat_13_ [496]
1-00-1-- 1
-000-1-- 1
1--011-- 1
-0-011-- 1
1-0--11- 1
-00--11- 1
1---111- 1
-0--111- 1
1-00---0 1
-000---0 1
1--01--0 1
-0-01--0 1
1-0---10 1
-00---10 1
1---1-10 1
-0--1-10 1
.names _86gat_26_ _82gat_25_ [499]
01 1
.names _34gat_10_ _30gat_9_ [500]
01 1
.names _108gat_33_ _112gat_34_ [503]
10 1
.names _56gat_17_ _60gat_18_ [505]
10 1
.names _69gat_21_ _73gat_22_ _63gat_19_ _76gat_23_ n_n163 [495] [496] [499] \
[507]
0------0 1
-1-----0 1
0--11--- 1
-1-11--- 1
--111--- 1
0--1-0-- 1
-1-1-0-- 1
--11-0-- 1
0--1--0- 1
-1-1--0- 1
--11--0- 1
--1-1--0 1
--1--0-0 1
--1---00 1
1101---- 1
0--0011- 1
-110011- 1
.names _95gat_29_ _89gat_27_ _99gat_30_ n_n157 [493] [494] [495] [500] [508]
0------0 1
--1----0 1
0--00--- 1
-1-00--- 1
--100--- 1
0--0-0-- 1
-1-0-0-- 1
--10-0-- 1
0--0--0- 1
-1-0--0- 1
--10--0- 1
-1-1---0 1
-1--0--0 1
-1---0-0 1
-1----00 1
1010---- 1
.names _47gat_14_ _37gat_11_ _43gat_13_ n_n163 n_n160 [495] [496] [503] [509]
1------0 1
--0----0 1
1--01--- 1
-1-01--- 1
--001--- 1
1--0-0-- 1
-1-0-0-- 1
--00-0-- 1
1--0--0- 1
-1-0--0- 1
--00--0- 1
-1-1---0 1
-1--1--0 1
-1---0-0 1
-1----00 1
-0100110 1
.names _11gat_3_ _17gat_5_ _50gat_15_ _21gat_6_ [494] [495] [496] [505] [510]
-0-----0 1
---1---0 1
1-1-0--- 1
-01-0--- 1
--110--- 1
1-1--0-- 1
-01--0-- 1
--11-0-- 1
1-1---0- 1
-01---0- 1
--11--0- 1
1---0--0 1
1----0-0 1
1-----00 1
-00-111- 1
--01111- 1
010-111- 1
01--1110 1
.names _53gat_16_ _37gat_11_ _43gat_13_ [494] [495] [496] [515]
0010-- 1
001-0- 1
001--0 1
011111 1
.names _30gat_9_ _40gat_12_ _24gat_7_ [494] [495] [496] [517]
1000-- 1
100-0- 1
100--0 1
101111 1
.names _69gat_21_ _63gat_19_ _79gat_24_ _102gat_31_ _108gat_33_ [495] [496] \
[519]
100---- 1
1101-11 1
110-011 1
.names _66gat_20_ _50gat_15_ _56gat_17_ [494] [495] [496] [521]
0010-- 1
001-0- 1
001--0 1
011111 1
.names _69gat_21_ _115gat_35_ _63gat_19_ _102gat_31_ _108gat_33_ [495] [496] \
[523]
-0-01-- 1
00-1111 1
-011111 1
.names _95gat_29_ _89gat_27_ _105gat_32_ [494] [495] [496] [525]
1000-- 1
100-0- 1
100--0 1
110111 1
.names _82gat_25_ _92gat_28_ _76gat_23_ [494] [495] [496] [527]
1000-- 1
100-0- 1
100--0 1
101111 1
.names _1gat_0_ _4gat_1_ _14gat_4_ [91] [494] [496] [529]
010--- 1
110111 1
.names _11gat_3_ _17gat_5_ _27gat_8_ [494] [495] [496] [531]
-0---- 1
--1--- 1
1--0-- 1
1---0- 1
1----0 1
01-111 1
.names n_n120 n_n122 n_n110 [508] [509] [510] [527] [529] [536]
------00 1
100----- 1
-000---- 1
-00-0--- 1
-00--0-- 1
1-0---0- 1
-10---0- 1
--00--0- 1
--0-0-0- 1
--0--00- 1
10-----0 1
-01----0 1
-0-0---0 1
-0--0--0 1
-0---0-0 1
.names _60gat_18_ _56gat_17_ n_n110 [81] [507] [508] [509] [510] [540]
01-1---- 1
-1011111 1
.names _27gat_8_ _66gat_20_ n_n194 [65] [68] [540] [541]
-0---1 1
--1--1 1
0--11- 1
--111- 1
.names _40gat_12_ _53gat_16_ n_n194 [83] [87] [85] [90] [542]
-0-1-1- 1
--11-1- 1
0---1-1 1
--1-1-1 1
.names _82gat_25_ _86gat_26_ n_n110 [54] [507] [508] [509] [510] [543]
10-1---- 1
1-011111 1
.names _95gat_29_ _69gat_21_ _89gat_27_ _63gat_19_ _102gat_31_ _108gat_33_ \
[495] [496] [544]
0------- 1
--1---0- 1
--1----0 1
-110---- 1
--1-01-- 1
.names _99gat_30_ n_n110 [507] [508] [509] [510] [544] [545]
------1 1
11----- 1
1-0---- 1
1--0--- 1
1---0-- 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 _115gat_35_ _79gat_24_ n_n194 [69] [74] [71] [76] [547]
---00-- 1
----00- 1
---0--0 1
-----00 1
110---- 1
-100--- 1
1-0-0-- 1
-10--0- 1
1-0---0 1
.names _1gat_0_ _4gat_1_ _82gat_25_ _76gat_23_ _50gat_15_ _56gat_17_ [494] \
[496] [549]
-0------ 1
1-----0- 1
1------0 1
1-10---- 1
1---01-- 1
.names _8gat_2_ n_n110 [507] [508] [509] [510] [549] [550]
------1 1
11----- 1
1-0---- 1
1--0--- 1
1---0-- 1
1----0- 1
.names _53gat_16_ _66gat_20_ n_n194 [83] [85] [540] [551]
---0-0 1
----00 1
110--- 1
-100-- 1
-10-0- 1
1-0--0 1
.names _27gat_8_ _40gat_12_ n_n194 [65] [87] [68] [90] [552]
0--1-1- 1
--11-1- 1
-0--1-1 1
--1-1-1 1
.names _95gat_29_ _89gat_27_ _92gat_28_ n_n194 [494] [495] [496] [543] [553]
10-----0 1
1010---- 1
1---1110 1
1-10111- 1
.end