.model top
.inputs p_127gat_18_ p_155gat_22_ p_120gat_17_ p_64gat_9_ p_106gat_15_ \
p_204gat_29_ p_1gat_0_ p_43gat_6_ p_85gat_12_ p_141gat_20_ p_183gat_26_ \
p_57gat_8_ p_148gat_21_ p_169gat_24_ p_225gat_32_ p_99gat_14_ p_230gat_37_ \
p_134gat_19_ p_162gat_23_ p_29gat_4_ p_78gat_11_ p_226gat_33_ p_22gat_3_ \
p_231gat_38_ p_36gat_5_ p_113gat_16_ p_8gat_1_ p_50gat_7_ p_227gat_34_ \
p_92gat_13_ p_197gat_28_ p_232gat_39_ p_233gat_40_ p_71gat_10_ p_190gat_27_ \
p_15gat_2_ p_228gat_35_ p_176gat_25_ p_218gat_31_ p_211gat_30_ p_229gat_36_
.outputs p_1332gat_585_ p_1331gat_572_ p_1334gat_577_ p_1354gat_562_ \
p_1352gat_570_ p_1336gat_586_ p_1330gat_576_ p_1335gat_573_ p_1353gat_566_ \
p_1329gat_580_ p_1328gat_584_ p_1342gat_559_ p_1351gat_557_ p_1333gat_581_ \
p_1349gat_565_ p_1350gat_561_ p_1348gat_569_ p_1347gat_556_ p_1341gat_563_ \
p_1325gat_579_ p_1326gat_575_ p_1344gat_568_ p_1324gat_583_ p_1343gat_555_ \
p_1345gat_564_ p_1337gat_582_ p_1327gat_571_ p_1340gat_567_ p_1346gat_560_ \
p_1339gat_574_ p_1355gat_558_ p_1338gat_578_
.names p_57gat_8_ n_n138 n_n140 n_n139 n_n141 [1097] p_1332gat_585_
11---- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
001111 1
.names p_50gat_7_ n_n138 n_n140 n_n139 [59] n_n141 [1098] p_1331gat_572_
1---1-- 1
1----1- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10---0- 1
1-0--0- 1
1--0-0- 1
0111001 1
.names p_71gat_10_ n_n138 n_n140 n_n139 n_n141 [1097] p_1334gat_577_
1-1--- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
010111 1
.names p_211gat_30_ n_n142 n_n143 n_n145 n_n144 [44] [1102] p_1354gat_562_
1---1-- 1
1----1- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10--0-- 1
1-0-0-- 1
1--00-- 1
0111001 1
.names p_197gat_28_ n_n142 n_n143 n_n145 n_n144 [44] [1102] p_1352gat_570_
11----- 1
1----1- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10--0-- 1
1-0-0-- 1
1--00-- 1
0011101 1
.names p_85gat_12_ n_n138 n_n140 [51] n_n139 n_n141 [1104] p_1336gat_586_
11----- 1
1--1--- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0010111 1
.names p_43gat_6_ n_n138 n_n140 n_n139 [59] n_n141 [1098] p_1330gat_576_
1-1---- 1
1---1-- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10---0- 1
1-0--0- 1
1--0-0- 1
0101011 1
.names p_78gat_11_ n_n138 n_n140 n_n139 n_n141 [1097] p_1335gat_573_
1---1- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011101 1
.names p_204gat_29_ n_n142 n_n143 n_n145 n_n144 [44] [1102] p_1353gat_566_
1-1---- 1
1----1- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10--0-- 1
1-0-0-- 1
1--00-- 1
0101101 1
.names p_36gat_5_ n_n138 n_n140 n_n139 [59] n_n141 [1098] p_1329gat_580_
1--1--- 1
1---1-- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10---0- 1
1-0--0- 1
1--0-0- 1
0110011 1
.names p_29gat_4_ n_n138 n_n140 n_n139 [59] n_n141 [1098] p_1328gat_584_
11----- 1
1---1-- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10---0- 1
1-0--0- 1
1--0-0- 1
0011011 1
.names p_127gat_18_ n_n142 n_n143 n_n145 n_n144 [1107] p_1342gat_559_
1---1- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011101 1
.names p_190gat_27_ n_n142 n_n143 n_n145 n_n144 [1109] p_1351gat_557_
1--1-- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011011 1
.names p_64gat_9_ n_n138 n_n140 n_n139 n_n141 [1097] p_1333gat_581_
1--1-- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011011 1
.names p_176gat_25_ n_n142 n_n143 n_n145 n_n144 [1109] p_1349gat_565_
1-1--- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
010111 1
.names p_183gat_26_ n_n142 n_n143 n_n145 n_n144 [1109] p_1350gat_561_
1---1- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011101 1
.names p_169gat_24_ n_n142 n_n143 n_n145 n_n144 [1109] p_1348gat_569_
11---- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
001111 1
.names p_162gat_23_ n_n142 n_n143 [58] n_n145 n_n144 [1110] p_1347gat_556_
1--1--- 1
1---1-- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0110011 1
.names p_120gat_17_ n_n142 n_n143 n_n145 n_n144 [1107] p_1341gat_563_
1-1--- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
010111 1
.names p_8gat_1_ n_n138 n_n140 n_n139 n_n141 [1113] p_1325gat_579_
1--1-- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011011 1
.names p_15gat_2_ n_n138 n_n140 n_n139 n_n141 [1113] p_1326gat_575_
1-1--- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
010111 1
.names p_141gat_20_ n_n142 n_n143 [58] n_n145 n_n144 [1110] p_1344gat_568_
11----- 1
1--1--- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0010111 1
.names p_1gat_0_ n_n138 n_n140 n_n139 n_n141 [1113] p_1324gat_583_
11---- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
001111 1
.names p_134gat_19_ n_n142 n_n143 n_n145 n_n144 [1107] p_1343gat_555_
1--1-- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011011 1
.names p_148gat_21_ n_n142 n_n143 [58] n_n145 n_n144 [1110] p_1345gat_564_
1-1---- 1
1--1--- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0100111 1
.names p_92gat_13_ n_n138 n_n140 [51] n_n139 n_n141 [1104] p_1337gat_582_
1--1--- 1
1---1-- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0110011 1
.names p_22gat_3_ n_n138 n_n140 n_n139 n_n141 [1113] p_1327gat_571_
1---1- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
011101 1
.names p_113gat_16_ n_n142 n_n143 n_n145 n_n144 [1107] p_1340gat_567_
11---- 1
1----0 1
100--- 1
10-0-- 1
1-00-- 1
10--0- 1
1-0-0- 1
1--00- 1
001111 1
.names p_155gat_22_ n_n142 n_n143 [58] n_n145 n_n144 [1110] p_1346gat_560_
1--1--- 1
1----1- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0110101 1
.names p_106gat_15_ n_n138 n_n140 [51] n_n139 n_n141 [1104] p_1339gat_574_
1--1--- 1
1----1- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0110101 1
.names p_218gat_31_ n_n142 n_n143 n_n145 n_n144 [44] [1102] p_1355gat_558_
1--1--- 1
1----1- 1
1-----0 1
100---- 1
10-0--- 1
1-00--- 1
10--0-- 1
1-0-0-- 1
1--00-- 1
0110101 1
.names p_99gat_14_ n_n138 n_n140 [51] n_n139 n_n141 [1104] p_1338gat_578_
1-1---- 1
1--1--- 1
1-----0 1
100---- 1
10--0-- 1
1-0-0-- 1
10---0- 1
1-0--0- 1
1---00- 1
0100111 1
.names p_120gat_17_ p_204gat_29_ p_148gat_21_ p_176gat_25_ n_n246
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_233gat_40_ p_229gat_36_ n_n245 n_n234 n_n235 n_n142
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names p_230gat_37_ p_233gat_40_ n_n246 n_n236 n_n240 n_n143
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names p_225gat_32_ p_233gat_40_ n_n237 n_n243 n_n242 n_n138
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names p_227gat_34_ p_233gat_40_ n_n242 n_n239 n_n244 n_n140
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names [96] [99] n_n243 n_n241 n_n244 n_n238 n_n248 [58]
-111--1 1
-001--1 1
-010--1 1
-100--1 1
0---111 1
1---011 1
1---101 1
0---001 1
-011--0 1
-101--0 1
-110--0 1
-000--0 1
1---110 1
0---010 1
0---100 1
1---000 1
.names p_232gat_39_ p_233gat_40_ n_n240 n_n235 n_n249 n_n145
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names n_n247 [97] n_n236 [100] n_n245 n_n234 n_n235 [51]
011--1- 1
101--1- 1
110--1- 1
000--1- 1
111--0- 1
001--0- 1
010--0- 1
100--0- 1
---0111 1
---1011 1
---1101 1
---0001 1
---1110 1
---0010 1
---0100 1
---1000 1
.names p_127gat_18_ p_155gat_22_ p_183gat_26_ p_211gat_30_ n_n247
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_225gat_32_ p_233gat_40_ [94]
0- 1
-0 1
.names p_226gat_33_ p_233gat_40_ n_n244 n_n238 n_n248 n_n139
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names p_231gat_38_ p_233gat_40_ n_n247 n_n236 n_n234 n_n144
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names n_n246 [95] n_n236 [101] n_n240 n_n235 n_n249 [59]
0-111-- 1
1-011-- 1
1-101-- 1
0-001-- 1
1-110-- 1
0-010-- 1
0-100-- 1
1-000-- 1
-1--111 1
-0--011 1
-0--101 1
-1--001 1
-0--110 1
-1--010 1
-1--100 1
-0--000 1
.names [94] n_n237 [98] n_n243 n_n242 n_n239 n_n244 [44]
01-11-- 1
10-11-- 1
11-01-- 1
00-01-- 1
11-10-- 1
00-10-- 1
01-00-- 1
10-00-- 1
--0-111 1
--1-011 1
--1-101 1
--0-001 1
--1-110 1
--0-010 1
--0-100 1
--1-000 1
.names p_232gat_39_ p_233gat_40_ [95]
0- 1
-0 1
.names p_1gat_0_ p_85gat_12_ p_57gat_8_ p_29gat_4_ n_n237
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_226gat_33_ p_233gat_40_ [96]
0- 1
-0 1
.names p_231gat_38_ p_233gat_40_ [97]
0- 1
-0 1
.names p_64gat_9_ p_57gat_8_ p_78gat_11_ p_71gat_10_ n_n236
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_227gat_34_ p_233gat_40_ [98]
0- 1
-0 1
.names p_233gat_40_ p_228gat_35_ n_n243 n_n241 n_n248 n_n141
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names p_233gat_40_ p_228gat_35_ [99]
0- 1
-0 1
.names p_233gat_40_ p_229gat_36_ [100]
0- 1
-0 1
.names p_230gat_37_ p_233gat_40_ [101]
0- 1
-0 1
.names p_155gat_22_ p_141gat_20_ p_148gat_21_ p_162gat_23_ n_n243
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_141gat_20_ p_169gat_24_ p_113gat_16_ p_197gat_28_ n_n245
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_106gat_15_ p_78gat_11_ p_22gat_3_ p_50gat_7_ n_n241
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_127gat_18_ p_120gat_17_ p_134gat_19_ p_113gat_16_ n_n242
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_106gat_15_ p_85gat_12_ p_99gat_14_ p_92gat_13_ n_n240
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_1gat_0_ p_22gat_3_ p_8gat_1_ p_15gat_2_ n_n234
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_43gat_6_ p_99gat_14_ p_71gat_10_ p_15gat_2_ n_n239
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_183gat_26_ p_169gat_24_ p_190gat_27_ p_176gat_25_ n_n244
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_43gat_6_ p_29gat_4_ p_36gat_5_ p_50gat_7_ n_n235
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_134gat_19_ p_162gat_23_ p_190gat_27_ p_218gat_31_ n_n249
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_64gat_9_ p_36gat_5_ p_8gat_1_ p_92gat_13_ n_n238
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_204gat_29_ p_197gat_28_ p_218gat_31_ p_211gat_30_ n_n248
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n143 n_n145 n_n144 [100] n_n245 n_n234 n_n235 [1097]
0101111 1
0100011 1
0100101 1
0101001 1
0100110 1
0101010 1
0101100 1
0100000 1
.names n_n247 [97] n_n236 [100] n_n245 n_n234 n_n235 [1098]
1110111 1
0010111 1
0100111 1
1000111 1
1111011 1
0011011 1
0101011 1
1001011 1
0111101 1
1011101 1
1101101 1
0001101 1
0110001 1
1010001 1
1100001 1
0000001 1
1111110 1
0011110 1
0101110 1
1001110 1
1110010 1
0010010 1
0100010 1
1000010 1
0110100 1
1010100 1
1100100 1
0000100 1
0111000 1
1011000 1
1101000 1
0001000 1
.names [96] [99] n_n243 n_n241 n_n244 n_n238 n_n248 [1102]
0011111 1
0101111 1
0110111 1
0000111 1
1011011 1
1101011 1
1110011 1
1000011 1
1011101 1
1101101 1
1110101 1
1000101 1
0011001 1
0101001 1
0110001 1
0000001 1
1111110 1
1001110 1
1010110 1
1100110 1
0111010 1
0001010 1
0010010 1
0100010 1
0111100 1
0001100 1
0010100 1
0100100 1
1111000 1
1001000 1
1010000 1
1100000 1
.names n_n246 [95] n_n236 [101] n_n240 n_n235 n_n249 [1104]
0011111 1
1001111 1
1010111 1
0000111 1
1111011 1
0101011 1
0110011 1
1100011 1
0111101 1
1101101 1
1110101 1
0100101 1
1011001 1
0001001 1
0010001 1
1000001 1
0111110 1
1101110 1
1110110 1
0100110 1
1011010 1
0001010 1
0010010 1
1000010 1
0011100 1
1001100 1
1010100 1
0000100 1
1111000 1
0101000 1
0110000 1
1100000 1
.names n_n140 [94] n_n139 n_n237 n_n141 n_n243 n_n242 [1107]
0011111 1
0110111 1
0111101 1
0010101 1
0111110 1
0010110 1
0011100 1
0110100 1
.names n_n140 [94] n_n139 n_n237 n_n141 n_n243 n_n242 [1109]
0101111 1
0000111 1
0001101 1
0100101 1
0001110 1
0100110 1
0101100 1
0000100 1
.names [94] n_n237 [98] n_n243 n_n242 n_n239 n_n244 [1110]
0111111 1
1011111 1
1110111 1
0010111 1
1101011 1
0001011 1
0100011 1
1000011 1
0101101 1
1001101 1
1100101 1
0000101 1
1111001 1
0011001 1
0110001 1
1010001 1
0101110 1
1001110 1
1100110 1
0000110 1
1111010 1
0011010 1
0110010 1
1010010 1
0111100 1
1011100 1
1110100 1
0010100 1
1101000 1
0001000 1
0100000 1
1000000 1
.names n_n143 n_n145 n_n144 [100] n_n245 n_n234 n_n235 [1113]
1100111 1
1101011 1
1101101 1
1100001 1
1101110 1
1100010 1
1100100 1
1101000 1
.end