| .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 |
