| .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_n590 p_1332gat_585_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_50gat_7_ n_n593 n_n141 p_1331gat_572_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_71gat_10_ n_n140 n_n590 p_1334gat_577_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_211gat_30_ n_n144 n_n588 p_1354gat_562_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_197gat_28_ n_n142 n_n588 p_1352gat_570_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_85gat_12_ n_n138 n_n592 p_1336gat_586_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_43gat_6_ n_n140 n_n593 p_1330gat_576_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_78gat_11_ n_n590 n_n141 p_1335gat_573_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_204gat_29_ n_n143 n_n588 p_1353gat_566_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_36gat_5_ n_n139 n_n593 p_1329gat_580_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_29gat_4_ n_n138 n_n593 p_1328gat_584_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_127gat_18_ n_n587 n_n144 p_1342gat_559_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_190gat_27_ n_n145 n_n586 p_1351gat_557_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_64gat_9_ n_n590 n_n139 p_1333gat_581_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_176gat_25_ n_n143 n_n586 p_1349gat_565_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_183gat_26_ n_n144 n_n586 p_1350gat_561_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_169gat_24_ n_n142 n_n586 p_1348gat_569_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_162gat_23_ n_n589 n_n145 p_1347gat_556_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_120gat_17_ n_n143 n_n587 p_1341gat_563_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_8gat_1_ n_n591 n_n139 p_1325gat_579_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_15gat_2_ n_n591 n_n140 p_1326gat_575_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_141gat_20_ n_n142 n_n589 p_1344gat_568_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_1gat_0_ n_n591 n_n138 p_1324gat_583_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_134gat_19_ n_n145 n_n587 p_1343gat_555_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_148gat_21_ n_n143 n_n589 p_1345gat_564_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_92gat_13_ n_n592 n_n139 p_1337gat_582_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_22gat_3_ n_n591 n_n141 p_1327gat_571_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_113gat_16_ n_n142 n_n587 p_1340gat_567_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_155gat_22_ n_n589 n_n144 p_1346gat_560_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_106gat_15_ n_n592 n_n141 p_1339gat_574_ |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names p_218gat_31_ n_n145 n_n588 p_1355gat_558_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_99gat_14_ n_n140 n_n592 p_1338gat_578_ |
| 11- 1 |
| 1-0 1 |
| 001 1 |
| .names p_120gat_17_ p_148gat_21_ n_n318 |
| 11 1 |
| 00 1 |
| .names p_204gat_29_ p_176gat_25_ [40] |
| 11 1 |
| 00 1 |
| .names p_120gat_17_ p_148gat_21_ [40] n_n246 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n174 n_n316 [49] n_n142 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n318 [40] n_n175 n_n143 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n144 n_n177 n_n249 [102] |
| 011 1 |
| 000 1 |
| .names [245] [1095] [1113] n_n591 |
| 001 1 |
| .names n_n300 n_n170 [42] n_n138 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n172 n_n303 [52] n_n140 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n171 n_n141 n_n238 [58] |
| -1- 1 |
| 0-1 1 |
| 1-0 1 |
| .names [164] [1101] [1111] n_n589 |
| 001 1 |
| .names n_n321 n_n177 [57] n_n145 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n144 n_n174 n_n245 [51] |
| 0-- 1 |
| -01 1 |
| -10 1 |
| .names [245] [1095] [1105] n_n592 |
| 001 1 |
| .names p_64gat_9_ p_92gat_13_ n_n310 |
| 11 1 |
| 00 1 |
| .names p_134gat_19_ p_162gat_23_ n_n321 |
| 11 1 |
| 00 1 |
| .names p_106gat_15_ p_78gat_11_ n_n313 |
| 11 1 |
| 00 1 |
| .names p_1gat_0_ p_29gat_4_ n_n300 |
| 11 1 |
| 00 1 |
| .names p_127gat_18_ p_155gat_22_ n_n319 |
| 11 1 |
| 00 1 |
| .names p_183gat_26_ p_211gat_30_ [41] |
| 11 1 |
| 00 1 |
| .names p_225gat_32_ p_233gat_40_ [94] |
| 0- 1 |
| -0 1 |
| .names [94] n_n243 n_n242 n_n170 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names [245] [1095] [1097] n_n590 |
| 001 1 |
| .names n_n310 n_n171 [55] n_n139 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n172 n_n141 n_n239 [103] |
| 011 1 |
| 110 1 |
| .names [164] [1101] [1107] n_n587 |
| 001 1 |
| .names n_n319 [41] n_n176 n_n144 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n246 n_n145 n_n175 [59] |
| -1- 1 |
| 0-1 1 |
| 1-0 1 |
| .names [245] [1095] [1099] n_n593 |
| 001 1 |
| .names n_n140 n_n170 n_n237 [44] |
| 0-- 1 |
| -01 1 |
| -10 1 |
| .names p_232gat_39_ p_233gat_40_ [95] |
| 0- 1 |
| -0 1 |
| .names [95] n_n240 n_n235 n_n177 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_85gat_12_ p_57gat_8_ [42] |
| 11 1 |
| 00 1 |
| .names p_1gat_0_ p_29gat_4_ [42] n_n237 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_226gat_33_ p_233gat_40_ [96] |
| 0- 1 |
| -0 1 |
| .names [96] n_n244 n_n248 n_n171 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_231gat_38_ p_233gat_40_ [97] |
| 0- 1 |
| -0 1 |
| .names [97] n_n236 n_n234 n_n176 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_78gat_11_ p_71gat_10_ [43] |
| 11 1 |
| 00 1 |
| .names p_64gat_9_ p_57gat_8_ [43] n_n236 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_227gat_34_ p_233gat_40_ [98] |
| 0- 1 |
| -0 1 |
| .names [98] n_n242 n_n244 n_n172 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names n_n313 n_n173 [46] n_n141 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_233gat_40_ p_228gat_35_ [99] |
| 0- 1 |
| -0 1 |
| .names [99] n_n243 n_n248 n_n173 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_43gat_6_ p_15gat_2_ n_n303 |
| 11 1 |
| 00 1 |
| .names p_233gat_40_ p_229gat_36_ [100] |
| 0- 1 |
| -0 1 |
| .names [100] n_n234 n_n235 n_n174 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names [164] [1101] [1109] n_n586 |
| 001 1 |
| .names p_230gat_37_ p_233gat_40_ [101] |
| 0- 1 |
| -0 1 |
| .names n_n236 [101] n_n240 n_n175 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names [164] [1101] [1103] n_n588 |
| 001 1 |
| .names p_141gat_20_ p_148gat_21_ [45] |
| 11 1 |
| 00 1 |
| .names p_155gat_22_ p_162gat_23_ [45] n_n243 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_141gat_20_ p_113gat_16_ [49] n_n245 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_22gat_3_ p_50gat_7_ [46] |
| 11 1 |
| 00 1 |
| .names p_120gat_17_ p_113gat_16_ [47] |
| 11 1 |
| 00 1 |
| .names p_127gat_18_ p_134gat_19_ [47] n_n242 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_85gat_12_ p_92gat_13_ [48] |
| 11 1 |
| 00 1 |
| .names p_106gat_15_ p_99gat_14_ [48] n_n240 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_141gat_20_ p_113gat_16_ n_n316 |
| 11 1 |
| 00 1 |
| .names p_169gat_24_ p_197gat_28_ [49] |
| 11 1 |
| 00 1 |
| .names p_22gat_3_ p_15gat_2_ [50] |
| 11 1 |
| 00 1 |
| .names p_1gat_0_ p_8gat_1_ [50] n_n234 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_43gat_6_ p_15gat_2_ [52] n_n239 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_99gat_14_ p_71gat_10_ [52] |
| 11 1 |
| 00 1 |
| .names p_169gat_24_ p_176gat_25_ [53] |
| 11 1 |
| 00 1 |
| .names p_183gat_26_ p_190gat_27_ [53] n_n244 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_29gat_4_ p_36gat_5_ [54] |
| 11 1 |
| 00 1 |
| .names p_43gat_6_ p_50gat_7_ [54] n_n235 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_134gat_19_ p_162gat_23_ [57] n_n249 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_64gat_9_ p_92gat_13_ [55] n_n238 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_36gat_5_ p_8gat_1_ [55] |
| 11 1 |
| 00 1 |
| .names p_218gat_31_ p_211gat_30_ [56] |
| 11 1 |
| 00 1 |
| .names p_204gat_29_ p_197gat_28_ [56] n_n248 |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names p_190gat_27_ p_218gat_31_ [57] |
| 11 1 |
| 00 1 |
| .names n_n145 n_n144 [1100] [164] |
| 00- 1 |
| -00 1 |
| .names n_n140 n_n141 [1094] [245] |
| 00- 1 |
| 0-0 1 |
| .names n_n138 n_n171 n_n238 [1094] |
| 111 1 |
| 100 1 |
| .names n_n139 [44] n_n141 [1095] |
| 01- 1 |
| 0-0 1 |
| -10 1 |
| .names n_n142 n_n143 [102] [1097] |
| 101 1 |
| .names n_n142 n_n144 [59] [1099] |
| 010 1 |
| .names n_n246 n_n142 n_n175 [1100] |
| 111 1 |
| 010 1 |
| .names n_n143 n_n145 [51] [1101] |
| 00- 1 |
| 0-1 1 |
| -01 1 |
| .names n_n139 [44] n_n141 [1103] |
| 000 1 |
| .names n_n143 n_n145 [51] [1105] |
| 000 1 |
| .names n_n138 n_n139 [103] [1107] |
| 011 1 |
| .names n_n138 n_n139 [103] [1109] |
| 101 1 |
| .names n_n138 n_n140 [58] [1111] |
| 010 1 |
| .names n_n142 n_n143 [102] [1113] |
| 011 1 |
| .end |