.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_n136 n_n138 [1097] p_1332gat_585_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_50gat_7_ n_n136 n_n141 [1099] p_1331gat_572_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_71gat_10_ n_n136 n_n140 [1097] p_1334gat_577_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_211gat_30_ n_n137 n_n144 [1103] p_1354gat_562_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_197gat_28_ n_n142 n_n137 [1103] p_1352gat_570_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_85gat_12_ n_n136 n_n138 [1105] p_1336gat_586_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_43gat_6_ n_n136 n_n140 [1099] p_1330gat_576_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_78gat_11_ n_n136 n_n141 [1097] p_1335gat_573_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_204gat_29_ n_n143 n_n137 [1103] p_1353gat_566_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_36gat_5_ n_n136 n_n139 [1099] p_1329gat_580_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_29gat_4_ n_n136 n_n138 [1099] p_1328gat_584_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_127gat_18_ n_n137 n_n144 [1107] p_1342gat_559_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_190gat_27_ n_n137 n_n145 [1109] p_1351gat_557_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_64gat_9_ n_n136 n_n139 [1097] p_1333gat_581_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_176gat_25_ n_n143 n_n137 [1109] p_1349gat_565_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_183gat_26_ n_n137 n_n144 [1109] p_1350gat_561_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_169gat_24_ n_n142 n_n137 [1109] p_1348gat_569_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_162gat_23_ n_n137 n_n145 [1111] p_1347gat_556_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_120gat_17_ n_n143 n_n137 [1107] p_1341gat_563_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_8gat_1_ n_n136 n_n139 [1113] p_1325gat_579_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_15gat_2_ n_n136 n_n140 [1113] p_1326gat_575_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_141gat_20_ n_n142 n_n137 [1111] p_1344gat_568_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_1gat_0_ n_n136 n_n138 [1113] p_1324gat_583_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_134gat_19_ n_n137 n_n145 [1107] p_1343gat_555_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_148gat_21_ n_n143 n_n137 [1111] p_1345gat_564_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_92gat_13_ n_n136 n_n139 [1105] p_1337gat_582_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_22gat_3_ n_n136 n_n141 [1113] p_1327gat_571_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_113gat_16_ n_n142 n_n137 [1107] p_1340gat_567_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_155gat_22_ n_n137 n_n144 [1111] p_1346gat_560_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_106gat_15_ n_n136 n_n141 [1105] p_1339gat_574_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_218gat_31_ n_n137 n_n145 [1103] p_1355gat_558_
11-- 1
1-1- 1
1--0 1
0001 1
.names p_99gat_14_ n_n136 n_n140 [1105] p_1338gat_578_
11-- 1
1-1- 1
1--0 1
0001 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 [100] n_n245 n_n234 n_n235 n_n142
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n246 n_n236 [101] n_n240 n_n143
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n138 n_n140 n_n139 n_n141 n_n136
00-- 1
0-0- 1
-00- 1
0--0 1
-0-0 1
--00 1
.names [94] n_n237 n_n243 n_n242 n_n138
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n142 n_n143 n_n145 n_n144 n_n137
00-- 1
0-0- 1
-00- 1
0--0 1
-0-0 1
--00 1
.names [98] n_n242 n_n239 n_n244 n_n140
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names [95] n_n240 n_n235 n_n249 n_n145
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 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 [96] n_n244 n_n238 n_n248 n_n139
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n247 [97] n_n236 n_n234 n_n144
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 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 [99] n_n243 n_n241 n_n248 n_n141
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 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_n142 n_n143 n_n145 n_n144 [1097]
1010 1
.names n_n142 n_n143 n_n145 n_n144 [1099]
0101 1
.names n_n138 n_n140 n_n139 n_n141 [1103]
1100 1
.names n_n142 n_n143 n_n145 n_n144 [1105]
1001 1
.names n_n138 n_n140 n_n139 n_n141 [1107]
0011 1
.names n_n138 n_n140 n_n139 n_n141 [1109]
1001 1
.names n_n138 n_n140 n_n139 n_n141 [1111]
0110 1
.names n_n142 n_n143 n_n145 n_n144 [1113]
0110 1
.end