Changeset 971e31 in git for Singular/grammar.cc
- Timestamp:
- Jan 17, 2011, 2:52:53 PM (13 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 54667770cf90dd8ee3b56fbe6b4116e50118c921
- Parents:
- 4eaf9ab42bdd363dc0bb5bf15496ec95769a34be
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/grammar.cc
r4eaf9ab r971e31 743 743 #define YYFINAL 2 744 744 /* YYLAST -- Last index in YYTABLE. */ 745 #define YYLAST 1799745 #define YYLAST 2500 746 746 747 747 /* YYNTOKENS -- Number of terminals. */ … … 752 752 #define YYNRULES 167 753 753 /* YYNRULES -- Number of states. */ 754 #define YYNSTATES 3 69754 #define YYNSTATES 384 755 755 756 756 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */ … … 839 839 -1, 187, -1, 178, -1, 179, -1, 181, -1, 182, 840 840 -1, 159, 153, -1, 113, -1, 160, -1, 152, 11, 841 152, -1, 15 2, 142, 143, -1, 152, 142, 153, 143,841 152, -1, 154, 142, 143, -1, 154, 142, 153, 143, 842 842 -1, 133, 153, 134, -1, 111, -1, 126, -1, 163, 843 843 -1, 153, 136, 154, -1, 154, -1, 158, -1, 152, … … 1047 1047 18, 21, 22, 23, 0, 25, 26, 0, 27, 28, 1048 1048 11, 12, 14, 15, 24, 7, 10, 0, 0, 0, 1049 0, 0, 0, 37, 90, 0, 0, 105, 107, 31,1050 0, 0, 103, 0, 0, 0, 0, 0, 0, 0,1051 0, 0, 98, 0, 99, 0, 100, 0, 19, 124,1052 0, 122, 125, 0, 152, 0, 155, 74, 76, 0,1053 0, 0, 0, 0, 165, 164, 148, 119, 91, 0,1054 0, 0, 5, 0, 0, 93, 0, 0, 0, 79,1049 0, 0, 0, 37, 90, 0, 0, 42, 0, 42, 1050 31, 0, 0, 42, 0, 0, 0, 0, 0, 0, 1051 0, 0, 0, 42, 0, 42, 0, 42, 0, 19, 1052 124, 0, 122, 42, 0, 152, 0, 155, 74, 76, 1053 0, 0, 0, 0, 0, 165, 164, 148, 119, 91, 1054 0, 0, 0, 5, 0, 93, 0, 0, 0, 79, 1055 1055 0, 78, 0, 0, 0, 0, 0, 0, 0, 0, 1056 0, 29, 0, 101, 118, 0, 6, 92, 0, 147, 1057 151, 0, 0, 161, 0, 109, 0, 0, 0, 0, 1058 0, 0, 0, 0, 0, 0, 64, 0, 0, 48, 1059 0, 0, 123, 121, 0, 0, 0, 0, 0, 0, 1060 0, 144, 0, 0, 0, 162, 0, 0, 0, 159, 1061 167, 0, 0, 35, 43, 95, 32, 33, 0, 39, 1062 88, 87, 86, 84, 80, 81, 82, 0, 83, 85, 1063 89, 0, 77, 72, 51, 0, 106, 126, 0, 0, 1064 69, 0, 40, 71, 0, 0, 67, 0, 52, 0, 1065 0, 0, 57, 0, 58, 0, 0, 60, 65, 46, 1066 47, 49, 133, 134, 131, 132, 127, 128, 129, 0, 1067 135, 130, 163, 0, 0, 0, 166, 120, 34, 45, 1068 0, 0, 50, 109, 0, 0, 0, 0, 0, 0, 1056 0, 0, 29, 0, 42, 118, 0, 6, 92, 0, 1057 42, 151, 0, 0, 0, 0, 0, 0, 0, 0, 1058 161, 0, 109, 0, 0, 0, 0, 0, 0, 0, 1059 0, 0, 0, 64, 0, 40, 48, 0, 40, 123, 1060 121, 0, 0, 0, 0, 0, 0, 0, 144, 42, 1061 0, 0, 162, 0, 0, 0, 159, 167, 0, 0, 1062 35, 43, 95, 32, 39, 88, 87, 86, 84, 80, 1063 81, 82, 0, 83, 85, 89, 33, 0, 0, 77, 1064 72, 51, 0, 42, 42, 0, 0, 0, 0, 0, 1065 0, 0, 0, 69, 0, 40, 71, 0, 0, 67, 1066 0, 52, 0, 0, 0, 57, 0, 58, 0, 0, 1067 60, 65, 46, 43, 49, 133, 134, 131, 132, 127, 1068 128, 129, 0, 135, 130, 163, 0, 0, 0, 166, 1069 120, 45, 0, 34, 0, 43, 109, 0, 47, 50, 1069 1070 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1070 0, 0, 0, 0, 0, 75, 160, 154, 156, 0, 1071 73, 0, 0, 0, 0, 0, 0, 0, 53, 0, 1072 59, 0, 0, 55, 0, 61, 142, 143, 140, 141, 1073 136, 137, 138, 139, 44, 0, 0, 0, 110, 111, 1074 0, 112, 116, 0, 0, 0, 0, 0, 0, 0, 1075 0, 68, 104, 114, 0, 0, 70, 66, 102, 54, 1076 62, 56, 63, 146, 0, 117, 0, 115, 113 1071 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1072 75, 160, 154, 156, 0, 73, 0, 0, 0, 0, 1073 0, 0, 0, 53, 0, 59, 0, 0, 55, 0, 1074 61, 142, 143, 140, 141, 136, 137, 138, 139, 44, 1075 0, 0, 0, 110, 111, 0, 112, 116, 0, 0, 1076 0, 0, 0, 0, 0, 0, 68, 104, 114, 0, 1077 0, 70, 66, 102, 54, 62, 56, 63, 146, 0, 1078 117, 0, 115, 113 1077 1079 }; 1078 1080 … … 1080 1082 static const yytype_int16 yydefgoto[] = 1081 1083 { 1082 -1, 1, 53, 54, 55, 56, 57, 58, 14 0, 60,1083 2 06, 61, 233, 62, 63, 64, 95, 66, 67, 176,1084 3 41, 342, 354, 343, 167, 68, 212, 69, 70, 71,1084 -1, 1, 53, 54, 55, 56, 57, 58, 141, 60, 1085 213, 61, 240, 62, 63, 64, 95, 66, 67, 183, 1086 356, 357, 369, 358, 168, 68, 219, 69, 70, 71, 1085 1087 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 1086 1088 82, 83, 84, 85 … … 1089 1091 /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing 1090 1092 STATE-NUM. */ 1091 #define YYPACT_NINF -3 351093 #define YYPACT_NINF -345 1092 1094 static const yytype_int16 yypact[] = 1093 1095 { 1094 -335, 277, -335, -120, 1242, 891, 215, -110, -335, 946, 1095 -335, -335, -78, -65, -56, -53, -50, -40, -36, -35, 1096 1006, 1061, 1121, -27, 1242, -102, 215, -29, -335, 1242, 1097 -335, -335, -335, -335, -6, -335, -335, -37, -22, -2, 1098 37, 5, -335, 42, 11, 897, 58, 58, 1242, 1242, 1099 -335, 1242, 1242, -335, -335, -335, 63, -335, -7, -115, 1100 1612, 1242, -335, 1242, -335, 1176, -81, -335, -335, -335, 1101 -335, -335, -21, -335, 215, -335, -335, 1242, -335, -335, 1102 -335, -335, -335, -335, -335, -335, -335, 49, -110, 65, 1103 66, 70, 74, -335, 78, 79, 1242, 16, -7, 69, 1104 1297, 1242, 27, 1242, 1242, 1242, 1242, 1242, 1242, 1242, 1105 952, 1242, -7, 1012, -7, 1242, -7, 68, -335, 91, 1106 98, -335, -7, 1655, 1612, -11, -335, -335, -335, 119, 1107 1242, 128, 1067, 215, 1612, 106, -335, -335, 78, -69, 1108 -125, 6, -335, 215, 1127, -335, 1242, 1242, 1242, -335, 1109 1242, -335, 1242, 1242, 1242, 1242, 1242, 1242, 1242, 1242, 1110 71, 91, 1182, -7, -335, 215, -335, -335, 215, -10, 1111 1612, 50, 1242, -335, 1242, 408, 107, 87, 1242, 449, 1112 845, 1340, 101, 296, 1355, 312, -335, -117, 491, -335, 1113 -107, 505, -335, -335, 102, 103, 108, 109, 110, 111, 1114 112, -335, 105, 115, 140, -335, 1242, 150, 519, -335, 1115 -335, -99, 123, -335, -335, -335, -335, -335, -94, 1612, 1116 1645, 823, 823, 24, 62, 62, 78, 807, -5, 1555, 1117 62, 1242, -335, -335, -335, -93, -7, -7, 1297, 1242, 1118 -335, 1367, 1395, -335, 1297, 1242, -335, 1410, -335, 1242, 1119 1242, 1242, -335, 1242, -335, 1242, 1242, -335, -335, -335, 1120 -335, -335, -335, -335, -335, -335, -335, -335, -335, 763, 1121 -335, -335, -335, 545, 151, -39, -335, -335, -335, -335, 1122 1242, 559, -335, 1612, 129, 1422, 131, 1242, 130, 1439, 1123 137, 586, 1451, 600, 1500, 340, 354, 132, 136, 138, 1124 139, 141, 144, 145, 146, -335, -335, -335, -335, 1512, 1125 -335, 1297, 1242, 1242, -85, -109, 1242, 1242, -335, 1242, 1126 -335, 1242, 1242, -335, 1242, -335, -335, -335, -335, -335, 1127 -335, -335, -335, -335, -335, 147, 656, 1588, -335, -335, 1128 160, 153, -335, 158, 696, 1600, 737, 751, 765, 793, 1129 -109, -335, -335, 157, 159, 1242, -335, -335, -335, -335, 1130 -335, -335, -335, -335, 160, -335, -75, -335, -335 1096 -345, 304, -345, -119, 1956, 2011, 1956, -106, -345, 2071, 1097 -345, -345, -95, -93, -89, -67, -61, -58, -52, -48, 1098 2126, 2186, 2241, -21, 1956, -100, 1956, -44, -345, 1956, 1099 -345, -345, -345, -345, -77, -345, -345, -6, -33, -30, 1100 12, -15, -345, 22, 5, 1611, 25, 25, 1956, 1956, 1101 -345, 1956, 1956, -345, -345, -345, 27, -345, 162, -85, 1102 1455, 1956, -345, 1956, -345, 2301, -110, -345, -345, -345, 1103 -345, -345, 39, -345, 1956, -345, -345, 1956, -345, -345, 1104 -345, -345, -345, -345, -345, -345, -345, 37, -106, 43, 1105 54, 63, 67, -345, 18, 85, 1956, 134, 1455, 30, 1106 119, 2356, 1956, 203, 1956, 1956, 1956, 1956, 1956, 1956, 1107 1956, 1666, 1956, 122, 1726, 158, 1956, 172, 40, -345, 1108 95, 101, -345, 35, 1547, 1455, -13, -345, -345, -345, 1109 130, 1956, 131, 1781, 1956, 1455, 106, -345, -345, 18, 1110 -115, -121, 145, -345, 1956, -345, 1956, 1956, 1956, -345, 1111 1956, -345, 1956, 1956, 1956, 1956, 1956, 1956, 1956, 1956, 1112 1841, 247, 95, 1896, 205, -345, 1956, -345, -345, 1956, 1113 -8, 1455, 1956, 1956, 1956, 1726, 1956, 1896, 324, 1956, 1114 -345, 1956, 543, 117, 342, 1956, 572, 1031, 1063, 435, 1115 479, 1076, 495, -345, -86, 588, -345, -84, 680, -345, 1116 -345, -36, 120, -28, -17, 56, 69, 75, -345, 20, 1117 91, 150, -345, 1956, 155, 725, -345, -345, -78, 129, 1118 -345, -345, -345, -345, 1455, 1468, 93, 93, 113, 62, 1119 62, 18, 1018, -5, 1481, 62, -345, -75, 1956, -345, 1120 -345, -345, -72, 211, 65, 2356, 324, 342, 588, -70, 1121 680, -69, 1956, -345, 1168, 1213, -345, 2356, 1956, -345, 1122 1226, -345, 1956, 1956, 1956, -345, 1956, -345, 1956, 1956, 1123 -345, -345, -345, -107, -345, -345, -345, -345, -345, -345, 1124 -345, -345, -7, -345, -345, -345, 741, 159, -32, -345, 1125 -345, -345, 1956, -345, 757, -103, 1455, 132, -345, -345, 1126 1239, 141, 1956, 152, 1252, 148, 773, 1265, 789, 1278, 1127 511, 527, 147, 163, 164, 167, 168, 170, 171, 173, 1128 -345, -345, -345, -345, 1305, -345, 2356, 1956, 1956, -66, 1129 -98, 1956, 1956, -345, 1956, -345, 1956, 1956, -345, 1956, 1130 -345, -345, -345, -345, -345, -345, -345, -345, -345, -345, 1131 157, 817, 1318, -345, -345, 208, 180, -345, 182, 833, 1132 1415, 926, 970, 986, 1002, -98, -345, -345, 179, 186, 1133 1956, -345, -345, -345, -345, -345, -345, -345, -345, 208, 1134 -345, -56, -345, -345 1131 1135 }; 1132 1136 … … 1134 1138 static const yytype_int16 yypgoto[] = 1135 1139 { 1136 -3 35, -335, -335, -335, -335, -335, -335, 19, -1, 18,1137 -3 35, -335, 23, -335, -335, 274, 7, 262, 54, -224,1138 -3 35, -334, -55, -42, 142, -335, -335, -335, -335, -335,1139 -3 35, -335, -335, -335, -335, -335, -335, -335, -335, -335,1140 -3 35, -335, -335, -3351140 -345, -345, -345, -345, -345, -345, -345, 96, -1, 34, 1141 -345, -345, 41, -345, -345, 331, 0, 298, 190, -241, 1142 -345, -344, -29, -12, 184, -345, -345, -345, -345, -345, 1143 -345, -345, -345, -345, -345, -345, -345, -345, -345, -345, 1144 -345, -345, -345, -345 1141 1145 }; 1142 1146 … … 1145 1149 number is the opposite. If zero, do what YYDEFACT says. 1146 1150 If YYTABLE_NINF, syntax error. */ 1147 #define YYTABLE_NINF -1 1151 #define YYTABLE_NINF -148 1148 1152 static const yytype_int16 yytable[] = 1149 1153 { 1150 59, 143, 149, 339, 143, 151, 353, 120, 65, 147, 1151 148, 146, 145, 149, 284, 150, 151, 86, 214, 146, 1152 288, 146, 94, 119, 97, 98, 258, 143, 102, 146, 1153 353, 149, 100, 340, 151, 121, 260, 146, 143, 112, 1154 114, 116, 146, 146, 276, 122, 164, 124, 139, 278, 1155 282, 146, 65, 147, 148, 165, 166, 149, 338, 150, 1156 151, 146, 161, 134, 103, 213, 138, 146, 368, 149, 1157 141, 307, 151, 126, 147, 148, 308, 104, 149, 160, 1158 150, 151, 117, 118, 163, 149, 105, 335, 151, 106, 1159 147, 148, 107, 169, 149, 170, 150, 151, 204, 205, 1160 136, 137, 108, 125, 147, 148, 109, 110, 149, 187, 1161 150, 151, 190, 123, 171, 168, 143, 164, 175, 177, 1162 127, 179, 180, 181, 182, 183, 184, 185, 156, 188, 1163 203, 211, 144, 191, 152, 144, 153, 154, 155, 156, 1164 128, 157, 202, 218, 158, 159, 129, 130, 208, 172, 1165 215, 131, 98, 132, 153, 154, 155, 156, 144, 157, 1166 178, 235, 216, 159, 219, 220, 221, 30, 222, 144, 1167 223, 224, 225, 226, 227, 228, 229, 230, 152, 173, 1168 153, 154, 155, 156, 236, 157, 239, 237, 158, 159, 1169 241, 96, 242, 240, 155, 156, 247, 157, 231, 152, 1170 142, 153, 154, 155, 156, 192, 157, 101, 111, 158, 1171 159, 156, 113, 157, 232, 152, 115, 153, 154, 155, 1172 156, 162, 157, 245, 273, 158, 159, 146, 207, 152, 1173 246, 153, 154, 155, 156, 193, 157, 251, 209, 158, 1174 159, 269, 165, 244, 252, 262, 263, 144, 270, 281, 1175 272, 264, 265, 266, 267, 268, 283, 285, 271, 274, 1176 277, 306, 283, 289, 313, 311, 315, 291, 292, 293, 1177 317, 294, 339, 295, 296, 326, 304, 2, 3, 327, 1178 99, 328, 329, 350, 330, 4, 314, 331, 332, 333, 1179 5, 6, 7, 364, 8, 355, 9, 10, 309, 147, 1180 148, 356, 365, 149, 310, 150, 151, 135, 363, 367, 1181 0, 238, 0, 0, 0, 147, 148, 11, 0, 149, 1182 0, 150, 151, 0, 30, 0, 31, 32, 33, 283, 1183 336, 337, 0, 0, 344, 345, 0, 346, 0, 347, 1184 348, 93, 349, 147, 148, 0, 0, 149, 49, 150, 1185 151, 0, 0, 0, 366, 0, 0, 147, 148, 52, 1186 0, 149, 0, 150, 151, 0, 0, 12, 13, 14, 1187 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 1188 25, 26, 0, 27, 28, 29, 30, 0, 31, 32, 1189 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 1190 43, 44, 45, 46, 0, 47, 0, 0, 48, 0, 1191 49, 147, 148, 0, 50, 149, 0, 150, 151, 51, 1192 0, 52, 0, 0, 152, 0, 153, 154, 155, 156, 1193 0, 157, 253, 0, 158, 159, 0, 0, 0, 254, 1194 152, 0, 153, 154, 155, 156, 0, 157, 256, 0, 1195 158, 159, 147, 148, 0, 257, 149, 0, 150, 151, 1196 0, 0, 0, 0, 0, 0, 0, 0, 152, 0, 1197 153, 154, 155, 156, 0, 157, 322, 0, 158, 159, 1198 0, 0, 152, 323, 153, 154, 155, 156, 0, 157, 1199 324, 0, 158, 159, 147, 148, 0, 325, 149, 0, 1200 150, 151, 0, 0, 0, 0, 0, 0, 147, 148, 1201 0, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1202 0, 0, 147, 148, 0, 0, 149, 0, 150, 151, 1203 0, 0, 0, 0, 0, 0, 152, 0, 153, 154, 1204 155, 156, 0, 157, 0, 0, 158, 159, 147, 148, 1205 0, 243, 149, 0, 150, 151, 0, 0, 0, 0, 1206 0, 0, 147, 148, 0, 0, 149, 0, 150, 151, 1207 0, 0, 0, 0, 0, 0, 0, 152, 0, 153, 1208 154, 155, 156, 0, 157, 0, 0, 158, 159, 147, 1209 148, 0, 248, 149, 0, 150, 151, 0, 0, 0, 1210 0, 0, 0, 147, 148, 0, 0, 149, 0, 150, 1211 151, 0, 0, 0, 0, 0, 0, 0, 0, 152, 1212 0, 153, 154, 155, 156, 0, 157, 0, 0, 158, 1213 159, 0, 0, 152, 259, 153, 154, 155, 156, 0, 1214 157, 0, 0, 158, 159, 0, 0, 152, 261, 153, 1215 154, 155, 156, 0, 157, 0, 0, 158, 159, 147, 1216 148, 0, 275, 149, 0, 150, 151, 0, 0, 0, 1217 0, 0, 0, 152, 0, 153, 154, 155, 156, 0, 1218 157, 0, 0, 158, 159, 0, 0, 152, 305, 153, 1219 154, 155, 156, 0, 157, 0, 0, 158, 159, 147, 1220 148, 0, 232, 149, 0, 150, 151, 0, 0, 0, 1221 0, 0, 0, 0, 152, 0, 153, 154, 155, 156, 1222 0, 157, 0, 0, 158, 159, 0, 0, 152, 318, 1223 153, 154, 155, 156, 0, 157, 0, 0, 158, 159, 1224 147, 148, 0, 320, 149, 0, 150, 151, 0, 0, 1225 0, 0, 0, 0, 147, 148, 0, 0, 149, 0, 1226 150, 151, 0, 0, 0, 0, 0, 0, 147, 148, 1227 0, 0, 149, 0, 150, 151, 297, 298, 299, 0, 1228 8, 0, 300, 10, 152, 0, 153, 154, 155, 156, 1229 0, 157, 0, 0, 158, 159, 147, 148, 0, 351, 1230 149, 0, 150, 151, 0, 0, 0, 0, 0, 0, 1231 147, 148, 0, 0, 149, 0, 150, 151, 0, 0, 1232 0, 0, 0, 0, 152, 0, 153, 154, 155, 156, 1233 149, 157, 0, 151, 158, 159, 0, 0, 0, 357, 1154 59, 65, 149, 144, 297, 151, 312, 313, 314, 121, 1155 8, 368, 315, 10, 354, 146, 303, 165, 86, 220, 1156 -47, 146, 221, 120, -50, 149, 166, 167, 151, -47, 1157 -47, 144, 126, -50, -50, 368, 101, 122, 94, 98, 1158 98, 144, 145, 98, 355, 65, 144, 104, 140, 105, 1159 146, 146, 146, 106, 98, 98, 98, 271, 146, 273, 1160 98, 146, 162, 125, 146, 289, 146, 146, 293, 149, 1161 146, 295, 151, 298, 299, 107, 144, 353, 322, 135, 1162 146, 108, 139, 323, 109, 350, 142, 383, 118, 119, 1163 110, 316, 317, 318, 111, 161, 211, 212, 124, 98, 1164 149, 97, 99, 151, 127, 103, 172, 275, 98, 128, 1165 194, 171, 129, 197, 101, 277, 113, 115, 117, 165, 1166 149, 130, 123, 151, 210, 173, 278, 131, 156, -147, 1167 178, 132, 218, 144, 30, 182, 184, 160, 186, 187, 1168 188, 189, 190, 191, 192, 144, 195, 133, 147, 148, 1169 198, 156, 149, 157, 150, 151, 282, -107, 98, 237, 1170 160, 164, 242, 283, 143, 215, -107, -107, 98, 144, 1171 170, -125, -125, 144, 249, 169, 251, 199, 98, 172, 1172 224, 225, 226, 144, 227, 173, 228, 229, 230, 231, 1173 232, 233, 234, 235, 155, 156, 174, 157, 174, 279, 1174 98, -126, -126, 98, 160, 175, 246, 247, 248, 176, 1175 250, 175, 280, 254, 144, 255, 144, 176, 281, 260, 1176 209, 152, 144, 153, 154, 155, 156, 177, 157, 180, 1177 99, 146, 159, 177, 284, 160, 137, 138, 200, 214, 1178 223, 216, 166, 153, 154, 155, 156, 286, 157, -98, 1179 147, 148, 159, 257, 149, 160, 150, 151, -98, -98, 1180 285, -105, 243, 276, 287, 244, 290, 179, 326, 321, 1181 -105, -105, 294, 152, 328, 153, 154, 155, 156, 296, 1182 157, 332, 319, 158, 159, -99, 300, 160, 330, 222, 1183 341, 296, 304, 365, -99, -99, 306, 307, 308, -100, 1184 309, 329, 310, 311, 2, 3, 342, 343, -100, -100, 1185 344, 345, 4, 346, 347, 379, 348, 5, 6, 7, 1186 354, 8, 370, 9, 10, 371, 324, 147, 148, 380, 1187 -103, 149, -101, 150, 151, 325, 185, 100, -106, -103, 1188 -103, -101, -101, 136, 11, 147, 148, -106, -106, 149, 1189 382, 150, 151, 378, 245, 0, 0, 0, 0, 0, 1190 296, 351, 352, 0, 0, 359, 360, 0, 361, 381, 1191 362, 363, 0, 364, 238, 152, 0, 153, 154, 155, 1192 156, 0, 157, 0, 0, 158, 159, 0, 0, 160, 1193 239, 0, 0, 0, 12, 13, 14, 15, 16, 17, 1194 18, 19, 20, 21, 22, 23, 24, 25, 26, 0, 1195 27, 28, 29, 30, 0, 31, 32, 33, 34, 35, 1196 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 1197 46, 0, 47, 0, 0, 48, 0, 49, 147, 148, 1198 0, 50, 149, 0, 150, 151, 51, 0, 52, 0, 1199 0, 0, 152, 0, 153, 154, 155, 156, 0, 157, 1200 252, 0, 158, 159, 0, 0, 160, 253, 0, 0, 1201 152, 0, 153, 154, 155, 156, 0, 157, 258, 0, 1202 158, 159, 147, 148, 160, 259, 149, 0, 150, 151, 1234 1203 0, 0, 0, 0, 0, 0, 0, 0, 147, 148, 1235 1204 0, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1236 0, 301, 302, 303, 0, 152, 0, 153, 154, 155,1237 156, 0, 157, 0, 0, 158, 159, 0, 0, 152,1238 359, 153, 154, 155, 156, 0, 157, 0, 0, 158,1239 159, 0, 0, 152, 360, 153, 154, 155, 156, 0,1240 157, 0, 0, 158, 159, 4, 0, 0, 361, 0,1241 5, 133, 88, 0, 8, 0, 9, 10, 0, 0,1242 0, 152, 0, 153, 154, 155, 156, 0, 157, 0,1243 0, 158, 159, 0, 0, 152, 362, 153, 154, 155,1244 156, 279, 157, 280, 0, 158, 159, 0, 0, 0,1245 0, 152, 0, 153, 154, 155, 156, 0, 157, 0,1246 4, 0, 159, 0, 0, 87, 0, 88, 0, 8,1247 0, 89, 10, 152, 0, 153, 154, 155, 156, 0,1248 157, 249, 0, 158, 159, 0, 0, 12, 13, 14,1249 15, 16, 17, 18, 19, 20, 21, 22, 0, 0,1250 30, 0, 31, 32, 33, 0, 30, 0, 31, 32,1251 33, 0, 0, 0, 0, 38, 39, 93, 0, 0,1252 4, 0, 0, 93, 49, 87, 0, 88, 48, 8,1253 49, 89, 10, 96, 0, 52, 0, 0, 0, 51,1254 0, 52, 12, 13, 14, 15, 16, 17, 18, 19,1255 90, 91, 92, 0, 0, 30, 0, 31, 32, 33,1256 0, 30, 0, 31, 32, 33, 0, 0, 0, 0,1257 38, 39, 93, 0, 0, 4, 0, 0, 93, 49,1258 87, 0, 88, 48, 8, 49, 89, 10, 101, 0,1259 52, 0, 0, 0, 51, 186, 52, 0, 0, 0,1260 0, 0, 12, 13, 14, 15, 16, 17, 18, 19,1261 90, 91, 92, 0, 0, 30, 0, 31, 32, 33,1262 0, 30, 0, 31, 32, 33, 0, 0, 0, 0,1263 38, 39, 93, 0, 0, 4, 0, 0, 93, 49,1264 87, 0, 88, 48, 8, 49, 89, 10, 111, 0,1265 52, 0, 0, 0, 51, 189, 52, 12, 13, 14,1266 15, 16, 17, 18, 19, 90, 91, 92, 0, 0,1267 30, 0, 31, 32, 33, 0, 30, 0, 31, 32,1268 33, 0, 0, 0, 0, 38, 39, 93, 0, 0,1269 4, 0, 0, 93, 49, 87, 0, 88, 48, 8,1270 49, 89, 10, 113, 0, 52, 0, 0, 0, 51,1271 210, 52, 0, 0, 0, 0, 0, 12, 13, 14,1272 15, 16, 17, 18, 19, 90, 91, 92, 0, 0,1273 30, 0, 31, 32, 33, 0, 30, 0, 31, 32,1274 33, 0, 0, 0, 0, 38, 39, 93, 0, 0,1275 4, 0, 0, 93, 49, 87, 0, 88, 48, 8,1276 49, 89, 10, 115, 0, 52, 0, 0, 0, 51,1277 217, 52, 12, 13, 14, 15, 16, 17, 18, 19,1278 90, 91, 92, 0, 0, 30, 0, 31, 32, 33,1279 0, 30, 0, 31, 32, 33, 0, 0, 0, 0,1280 38, 39, 93, 0, 0, 4, 0, 0, 93, 49,1281 87, 0, 88, 48, 8, 49, 89, 10, 162, 0,1282 52, 0, 0, 0, 51, 234, 52, 0, 0, 0,1283 0, 0, 12, 13, 14, 15, 16, 17, 18, 19,1284 90, 91, 92, 147, 148, 0, 0, 149, 0, 150,1285 151, 30, 0, 31, 32, 33, 0, 0, 147, 148,1286 38, 39, 149, 0, 150, 151, 0, 0, 93, 0,1287 147, 148, 0, 48, 149, 49, 150, 151, 0, 0,1288 0, 0, 0, 0, 51, 0, 52, 12, 13, 14,1289 15, 16, 17, 18, 19, 90, 91, 92, 147, 148,1290 0, 0, 149, 0, 150, 151, 30, 0, 31, 32,1291 33, 0, 0, 147, 148, 38, 39, 149, 0, 150,1292 151, 0, 0, 93, 0, 147, 148, 0, 48, 149,1293 49, 150, 151, 0, 0, 0, 0, 0, 0, 174,1294 0, 52, 147, 148, 0, 0, 149, 0, 150, 151,1295 1205 0, 0, 0, 0, 147, 148, 0, 0, 149, 0, 1296 150, 151, 0, 0, 0, 0, 0, 0, 152, 0, 1297 153, 154, 155, 156, 0, 157, 250, 0, 158, 159, 1206 150, 151, 0, 0, 0, 0, 0, 0, 0, 0, 1207 147, 148, 0, 0, 149, 0, 150, 151, 0, 0, 1208 0, 0, 0, 0, 0, 0, 147, 148, 0, 0, 1209 149, 0, 150, 151, 0, 0, 0, 0, 0, 0, 1298 1210 0, 0, 0, 152, 0, 153, 154, 155, 156, 0, 1299 157, 255, 0, 158, 159, 152, 0, 153, 154, 155, 1300 156, 286, 157, 147, 148, 158, 159, 149, 0, 150, 1301 151, 0, 0, 0, 0, 147, 148, 0, 0, 149, 1302 0, 150, 151, 152, 0, 153, 154, 155, 156, 0, 1303 157, 287, 0, 158, 159, 0, 0, 0, 152, 0, 1304 153, 154, 155, 156, 290, 157, 0, 0, 158, 159, 1305 152, 0, 153, 154, 155, 156, 0, 157, 312, 148, 1306 158, 159, 149, 0, 150, 151, 0, 152, 0, 153, 1307 154, 155, 156, 0, 157, 316, 0, 158, 159, 152, 1308 0, 153, 154, 155, 156, 0, 157, 319, 0, 158, 1309 159, 147, 148, 0, 0, 149, 0, 150, 151, 0, 1310 0, 0, 0, 147, 148, 0, 0, 149, 0, 150, 1311 151, 0, 0, 0, 0, 147, 148, 0, 0, 149, 1312 0, 150, 151, 0, 0, 0, 0, 0, 152, 0, 1313 153, 154, 155, 156, 0, 157, 321, 0, 158, 159, 1314 152, 0, 153, 154, 155, 156, 334, 157, -1, 148, 1315 158, 159, 149, 0, 150, 151, 0, 0, 0, 0, 1316 0, 0, 0, 0, 0, 0, 0, 0, 194, 195, 1317 196, 0, 8, 0, 197, 10, 0, 0, 0, 0, 1211 157, 264, 0, 158, 159, 147, 148, 160, 265, 149, 1212 0, 150, 151, 0, 0, 0, 0, 0, 0, 0, 1213 0, 147, 148, 0, 0, 149, 0, 150, 151, 0, 1214 0, 0, 0, 0, 0, 0, 0, 152, 0, 153, 1215 154, 155, 156, 0, 157, 266, 0, 158, 159, 0, 1216 0, 160, 267, 152, 0, 153, 154, 155, 156, 0, 1217 157, 269, 0, 158, 159, 0, 0, 160, 270, 152, 1218 0, 153, 154, 155, 156, 0, 157, 337, 0, 158, 1219 159, 0, 0, 160, 338, 152, 0, 153, 154, 155, 1220 156, 0, 157, 339, 0, 158, 159, 0, 0, 160, 1221 340, 152, 0, 153, 154, 155, 156, 0, 157, 0, 1222 0, 158, 159, 147, 148, 160, 256, 149, 0, 150, 1223 151, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1224 152, 0, 153, 154, 155, 156, 0, 157, 0, 0, 1225 158, 159, 0, 0, 160, 261, 152, 0, 153, 154, 1226 155, 156, 0, 157, 0, 0, 158, 159, 147, 148, 1227 160, 272, 149, 0, 150, 151, 0, 0, 0, 0, 1228 0, 0, 0, 0, 147, 148, 0, 0, 149, 0, 1229 150, 151, 0, 0, 0, 0, 0, 0, 0, 0, 1230 147, 148, 0, 0, 149, 0, 150, 151, 0, 0, 1231 0, 0, 0, 0, 0, 0, 147, 148, 0, 0, 1232 149, 0, 150, 151, 0, 0, 0, 0, 0, 0, 1233 0, 0, 147, 148, 0, 0, 149, 0, 150, 151, 1234 0, 0, 0, 0, 0, 0, 0, 0, 152, 0, 1235 153, 154, 155, 156, 0, 157, 0, 0, 158, 159, 1236 147, 148, 160, 274, 149, 0, 150, 151, 0, 0, 1237 0, 0, 0, 0, 0, 0, 147, 148, 0, 0, 1238 149, 0, 150, 151, 0, 0, 0, 0, 0, 0, 1318 1239 0, 0, 0, 152, 0, 153, 154, 155, 156, 0, 1319 157, 0, 0, 0, 159, 0, 0, 0, 0, 0, 1240 157, 0, 0, 158, 159, 0, 0, 160, 288, 152, 1241 0, 153, 154, 155, 156, 0, 157, 0, 0, 158, 1242 159, 0, 0, 160, 320, 152, 0, 153, 154, 155, 1243 156, 0, 157, 0, 0, 158, 159, 0, 0, 160, 1244 239, 152, 0, 153, 154, 155, 156, 0, 157, 0, 1245 0, 158, 159, 0, 0, 160, 333, 152, 0, 153, 1246 154, 155, 156, 0, 157, 0, 0, 158, 159, 147, 1247 148, 160, 335, 149, 0, 150, 151, 0, 0, 0, 1248 0, 0, 0, 0, 0, 152, 0, 153, 154, 155, 1249 156, 0, 157, 0, 0, 158, 159, 0, 0, 160, 1250 366, 152, 0, 153, 154, 155, 156, 0, 157, 0, 1251 0, 158, 159, 147, 148, 160, 372, 149, 0, 150, 1252 151, 0, 0, 0, 0, 0, 0, 0, 0, 147, 1253 148, 0, 0, 149, 0, 150, 151, 0, 0, 0, 1254 0, 0, 0, 0, 0, 147, 148, 0, 0, 149, 1255 0, 150, 151, 0, 0, 0, 0, 0, 0, 0, 1256 0, 147, 148, 0, 0, 149, 0, 150, 151, 0, 1257 0, 0, 0, 0, 147, 148, 0, 0, 149, 0, 1258 150, 151, 0, 0, 0, 0, 0, 0, 0, 0, 1259 0, 0, 0, 0, 152, 0, 153, 154, 155, 156, 1260 0, 157, 0, 0, 158, 159, 147, 148, 160, 374, 1261 149, 0, 150, 151, 0, 0, 0, 0, 0, 147, 1262 148, 0, 0, 149, 0, 150, 151, 0, 0, 0, 1263 0, 0, 0, 0, 0, 0, 0, 0, 152, 0, 1264 153, 154, 155, 156, 0, 157, 0, 0, 158, 159, 1265 0, 0, 160, 375, 152, 0, 153, 154, 155, 156, 1266 0, 157, 0, 0, 158, 159, 0, 0, 160, 376, 1267 152, 0, 153, 154, 155, 156, 0, 157, 0, 0, 1268 158, 159, 0, 0, 160, 377, 152, 0, 153, 154, 1269 155, 156, 291, 157, 292, 0, 158, 159, 0, 152, 1270 160, 153, 154, 155, 156, 0, 157, 262, 0, 158, 1271 159, 147, 148, 160, 0, 149, 0, 150, 151, 0, 1320 1272 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1273 0, 152, 0, 153, 154, 155, 156, 0, 157, 263, 1274 0, 158, 159, 0, 152, 160, 153, 154, 155, 156, 1275 0, 157, 268, 0, 158, 159, 147, 148, 160, 0, 1276 149, 0, 150, 151, 0, 0, 0, 0, 0, 147, 1277 148, 0, 0, 149, 0, 150, 151, 0, 0, 0, 1278 0, 0, 147, 148, 0, 0, 149, 0, 150, 151, 1279 0, 0, 0, 0, 0, 147, 148, 0, 0, 149, 1280 0, 150, 151, 0, 0, 0, 0, 0, 147, 148, 1281 0, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1282 0, 147, 148, 0, 0, 149, 0, 150, 151, 0, 1321 1283 0, 0, 0, 0, 0, 0, 152, 0, 153, 154, 1322 155, 156, 352, 157, 0, 0, 158, 159, 152, 0, 1323 153, 154, 155, 156, 358, 157, 0, 0, 158, 159, 1324 152, 0, 153, 154, 155, 156, 0, 157, 0, 0, 1325 158, 159, 0, 198, 199, 200, 0, 0, 0, 0, 1326 0, 0, 0, 0, 30, 0, 31, 32, 33, 0, 1284 155, 156, 301, 157, 0, 0, 158, 159, 147, 148, 1285 160, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1286 0, 147, 148, 0, 0, 149, 0, 150, 151, 0, 1287 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1288 0, 152, 0, 153, 154, 155, 156, 0, 157, 302, 1289 0, 158, 159, 0, 152, 160, 153, 154, 155, 156, 1290 305, 157, 0, 0, 158, 159, 0, 152, 160, 153, 1291 154, 155, 156, 0, 157, 327, 0, 158, 159, 0, 1292 152, 160, 153, 154, 155, 156, 0, 157, 331, 0, 1293 158, 159, 0, 152, 160, 153, 154, 155, 156, 0, 1294 157, 334, 0, 158, 159, 0, 152, 160, 153, 154, 1295 155, 156, 0, 157, 336, 0, 158, 159, 147, 148, 1296 160, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1297 0, 0, 0, 152, 0, 153, 154, 155, 156, 349, 1298 157, 0, 0, 158, 159, 0, 152, 160, 153, 154, 1299 155, 156, 367, 157, 0, 0, 158, 159, 147, 148, 1300 160, 0, 149, 0, 150, 151, 0, 0, 0, 0, 1301 0, -148, 148, 0, 0, 149, 0, 150, 151, 0, 1302 0, 0, 0, 0, 0, 148, 0, 0, 149, 0, 1303 150, 151, 0, 0, 0, 0, 0, 0, 0, 0, 1304 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1305 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1306 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1307 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1308 0, 0, 0, 152, 0, 153, 154, 155, 156, 373, 1309 157, 0, 0, 158, 159, 4, 0, 160, 0, 0, 1310 201, 202, 203, 0, 8, 0, 204, 10, 0, 0, 1311 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1327 1312 0, 0, 0, 152, 0, 153, 154, 155, 156, 0, 1328 157, 93, 0, 158, 159, 0, 0, 0, 49, 0, 1329 0, 0, 0, 0, 0, 0, 0, 0, 201, 52 1313 157, 0, 0, 158, 159, 0, 152, 160, 153, 154, 1314 155, 156, 0, 157, 0, 0, 158, 159, 0, 152, 1315 160, 153, 154, 155, 156, 0, 157, 0, 0, 4, 1316 159, 0, 0, 160, 5, 134, 88, 0, 8, 0, 1317 9, 10, 0, 0, 0, 0, 0, 12, 13, 14, 1318 15, 16, 17, 18, 19, 205, 206, 207, 0, 0, 1319 0, 0, 0, 0, 0, 0, 30, 0, 31, 32, 1320 33, 0, 0, 0, 0, 38, 39, 0, 0, 0, 1321 0, 0, 0, 93, 4, 0, 0, 0, 48, 87, 1322 49, 88, 0, 8, 0, 89, 10, 0, 0, 51, 1323 208, 52, 0, 0, 0, 0, 0, 0, 0, 0, 1324 0, 12, 13, 14, 15, 16, 17, 18, 19, 20, 1325 21, 22, 0, 0, 0, 0, 0, 0, 0, 0, 1326 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1327 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1328 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1329 0, 0, 0, 51, 0, 52, 12, 13, 14, 15, 1330 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1331 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1332 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1333 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1334 89, 10, 0, 0, 0, 0, 0, 0, 51, 193, 1335 52, 0, 0, 0, 0, 0, 12, 13, 14, 15, 1336 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1337 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1338 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1339 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1340 89, 10, 0, 0, 0, 0, 0, 0, 51, 196, 1341 52, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1342 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1343 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1344 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1345 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1346 0, 0, 0, 51, 217, 52, 0, 0, 0, 0, 1347 0, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1348 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1349 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1350 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1351 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1352 0, 0, 0, 51, 236, 52, 12, 13, 14, 15, 1353 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1354 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1355 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1356 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1357 89, 10, 0, 0, 0, 0, 0, 0, 51, 241, 1358 52, 0, 0, 0, 0, 0, 12, 13, 14, 15, 1359 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1360 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1361 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1362 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1363 89, 10, 0, 0, 0, 0, 0, 0, 51, 0, 1364 52, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1365 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1366 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1367 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1368 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1369 0, 0, 0, 96, 0, 52, 0, 0, 0, 0, 1370 0, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1371 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1372 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1373 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1374 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1375 0, 0, 0, 102, 0, 52, 12, 13, 14, 15, 1376 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1377 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1378 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1379 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1380 89, 10, 0, 0, 0, 0, 0, 0, 112, 0, 1381 52, 0, 0, 0, 0, 0, 12, 13, 14, 15, 1382 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1383 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1384 0, 0, 0, 0, 38, 39, 0, 0, 0, 4, 1385 0, 0, 93, 0, 87, 0, 88, 48, 8, 49, 1386 89, 10, 0, 0, 0, 0, 0, 0, 114, 0, 1387 52, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1388 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1389 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1390 39, 0, 0, 0, 4, 0, 0, 93, 0, 87, 1391 0, 88, 48, 8, 49, 89, 10, 0, 0, 0, 1392 0, 0, 0, 116, 0, 52, 0, 0, 0, 0, 1393 0, 12, 13, 14, 15, 16, 17, 18, 19, 90, 1394 91, 92, 0, 0, 0, 0, 0, 0, 0, 0, 1395 30, 0, 31, 32, 33, 0, 0, 0, 0, 38, 1396 39, 0, 0, 0, 0, 0, 0, 93, 0, 0, 1397 0, 0, 48, 0, 49, 0, 0, 0, 0, 0, 1398 0, 0, 0, 163, 0, 52, 12, 13, 14, 15, 1399 16, 17, 18, 19, 90, 91, 92, 0, 0, 0, 1400 0, 0, 0, 0, 0, 30, 0, 31, 32, 33, 1401 0, 0, 0, 0, 38, 39, 0, 0, 0, 0, 1402 0, 0, 93, 0, 0, 0, 0, 48, 0, 49, 1403 0, 0, 0, 0, 0, 0, 0, 0, 181, 0, 1404 52 1330 1405 }; 1331 1406 1332 1407 static const yytype_int16 yycheck[] = 1333 1408 { 1334 1, 11, 7, 112, 11, 10, 340, 109, 1, 3, 1335 4, 136, 127, 7, 238, 9, 10, 137, 143, 136, 1336 244, 136, 4, 24, 5, 6, 143, 11, 9, 136, 1337 364, 7, 142, 142, 10, 137, 143, 136, 11, 20, 1338 21, 22, 136, 136, 143, 26, 127, 29, 49, 143, 1339 143, 136, 45, 3, 4, 136, 137, 7, 143, 9, 1340 10, 136, 63, 45, 142, 134, 48, 136, 143, 7, 1341 52, 110, 10, 110, 3, 4, 115, 142, 7, 61, 1342 9, 10, 109, 110, 65, 7, 142, 311, 10, 142, 1343 3, 4, 142, 74, 7, 77, 9, 10, 109, 110, 1344 46, 47, 142, 109, 3, 4, 142, 142, 7, 110, 1345 9, 10, 113, 142, 96, 136, 11, 127, 100, 101, 1346 142, 103, 104, 105, 106, 107, 108, 109, 133, 111, 1347 123, 132, 142, 115, 128, 142, 130, 131, 132, 133, 1348 142, 135, 123, 144, 138, 139, 109, 142, 130, 133, 1349 144, 109, 133, 142, 130, 131, 132, 133, 142, 135, 1350 133, 162, 143, 139, 146, 147, 148, 109, 150, 142, 1351 152, 153, 154, 155, 156, 157, 158, 159, 128, 110, 1352 130, 131, 132, 133, 165, 135, 136, 168, 138, 139, 1353 172, 142, 174, 143, 132, 133, 178, 135, 127, 128, 1354 137, 130, 131, 132, 133, 137, 135, 142, 142, 138, 1355 139, 133, 142, 135, 143, 128, 142, 130, 131, 132, 1356 133, 142, 135, 136, 206, 138, 139, 136, 109, 128, 1357 143, 130, 131, 132, 133, 137, 135, 136, 110, 138, 1358 139, 136, 136, 136, 143, 143, 143, 142, 143, 231, 1359 110, 143, 143, 143, 143, 143, 238, 239, 143, 109, 1360 137, 110, 244, 245, 133, 136, 136, 249, 250, 251, 1361 133, 253, 112, 255, 256, 143, 269, 0, 1, 143, 1362 6, 143, 143, 136, 143, 8, 287, 143, 143, 143, 1363 13, 14, 15, 136, 17, 142, 19, 20, 280, 3, 1364 4, 143, 143, 7, 281, 9, 10, 45, 350, 364, 1365 -1, 169, -1, -1, -1, 3, 4, 40, -1, 7, 1366 -1, 9, 10, -1, 109, -1, 111, 112, 113, 311, 1367 312, 313, -1, -1, 316, 317, -1, 319, -1, 321, 1368 322, 126, 324, 3, 4, -1, -1, 7, 133, 9, 1369 10, -1, -1, -1, 355, -1, -1, 3, 4, 144, 1370 -1, 7, -1, 9, 10, -1, -1, 90, 91, 92, 1371 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 1372 103, 104, -1, 106, 107, 108, 109, -1, 111, 112, 1373 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 1374 123, 124, 125, 126, -1, 128, -1, -1, 131, -1, 1375 133, 3, 4, -1, 137, 7, -1, 9, 10, 142, 1376 -1, 144, -1, -1, 128, -1, 130, 131, 132, 133, 1377 -1, 135, 136, -1, 138, 139, -1, -1, -1, 143, 1409 1, 1, 7, 11, 245, 10, 13, 14, 15, 109, 1410 17, 355, 19, 20, 112, 136, 257, 127, 137, 134, 1411 127, 136, 143, 24, 127, 7, 136, 137, 10, 136, 1412 137, 11, 109, 136, 137, 379, 142, 137, 4, 5, 1413 6, 11, 127, 9, 142, 45, 11, 142, 49, 142, 1414 136, 136, 136, 142, 20, 21, 22, 143, 136, 143, 1415 26, 136, 63, 29, 136, 143, 136, 136, 143, 7, 1416 136, 143, 10, 143, 143, 142, 11, 143, 110, 45, 1417 136, 142, 48, 115, 142, 326, 52, 143, 109, 110, 1418 142, 98, 99, 100, 142, 61, 109, 110, 142, 65, 1419 7, 5, 6, 10, 110, 9, 142, 143, 74, 142, 1420 111, 77, 142, 114, 142, 143, 20, 21, 22, 127, 1421 7, 109, 26, 10, 124, 142, 143, 142, 133, 137, 1422 96, 109, 133, 11, 109, 101, 102, 142, 104, 105, 1423 106, 107, 108, 109, 110, 11, 112, 142, 3, 4, 1424 116, 133, 7, 135, 9, 10, 136, 127, 124, 160, 1425 142, 65, 163, 143, 137, 131, 136, 137, 134, 11, 1426 74, 136, 137, 11, 175, 136, 177, 137, 144, 142, 1427 146, 147, 148, 11, 150, 142, 152, 153, 154, 155, 1428 156, 157, 158, 159, 132, 133, 142, 135, 142, 143, 1429 166, 136, 137, 169, 142, 142, 172, 173, 174, 142, 1430 176, 142, 143, 179, 11, 181, 11, 142, 143, 185, 1431 124, 128, 11, 130, 131, 132, 133, 142, 135, 110, 1432 134, 136, 139, 142, 143, 142, 46, 47, 137, 109, 1433 144, 110, 136, 130, 131, 132, 133, 213, 135, 127, 1434 3, 4, 139, 136, 7, 142, 9, 10, 136, 137, 1435 110, 127, 166, 143, 109, 169, 137, 133, 136, 110, 1436 136, 137, 238, 128, 133, 130, 131, 132, 133, 245, 1437 135, 133, 282, 138, 139, 127, 252, 142, 136, 144, 1438 143, 257, 258, 136, 136, 137, 262, 263, 264, 127, 1439 266, 302, 268, 269, 0, 1, 143, 143, 136, 137, 1440 143, 143, 8, 143, 143, 136, 143, 13, 14, 15, 1441 112, 17, 142, 19, 20, 143, 292, 3, 4, 143, 1442 127, 7, 127, 9, 10, 294, 133, 6, 127, 136, 1443 137, 136, 137, 45, 40, 3, 4, 136, 137, 7, 1444 379, 9, 10, 365, 170, -1, -1, -1, -1, -1, 1445 326, 327, 328, -1, -1, 331, 332, -1, 334, 370, 1446 336, 337, -1, 339, 127, 128, -1, 130, 131, 132, 1447 133, -1, 135, -1, -1, 138, 139, -1, -1, 142, 1448 143, -1, -1, -1, 90, 91, 92, 93, 94, 95, 1449 96, 97, 98, 99, 100, 101, 102, 103, 104, -1, 1450 106, 107, 108, 109, -1, 111, 112, 113, 114, 115, 1451 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 1452 126, -1, 128, -1, -1, 131, -1, 133, 3, 4, 1453 -1, 137, 7, -1, 9, 10, 142, -1, 144, -1, 1454 -1, -1, 128, -1, 130, 131, 132, 133, -1, 135, 1455 136, -1, 138, 139, -1, -1, 142, 143, -1, -1, 1378 1456 128, -1, 130, 131, 132, 133, -1, 135, 136, -1, 1379 138, 139, 3, 4, -1, 143, 7, -1, 9, 10, 1380 -1, -1, -1, -1, -1, -1, -1, -1, 128, -1, 1381 130, 131, 132, 133, -1, 135, 136, -1, 138, 139, 1382 -1, -1, 128, 143, 130, 131, 132, 133, -1, 135, 1383 136, -1, 138, 139, 3, 4, -1, 143, 7, -1, 1384 9, 10, -1, -1, -1, -1, -1, -1, 3, 4, 1385 -1, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1386 -1, -1, 3, 4, -1, -1, 7, -1, 9, 10, 1387 -1, -1, -1, -1, -1, -1, 128, -1, 130, 131, 1388 132, 133, -1, 135, -1, -1, 138, 139, 3, 4, 1389 -1, 143, 7, -1, 9, 10, -1, -1, -1, -1, 1390 -1, -1, 3, 4, -1, -1, 7, -1, 9, 10, 1391 -1, -1, -1, -1, -1, -1, -1, 128, -1, 130, 1392 131, 132, 133, -1, 135, -1, -1, 138, 139, 3, 1393 4, -1, 143, 7, -1, 9, 10, -1, -1, -1, 1394 -1, -1, -1, 3, 4, -1, -1, 7, -1, 9, 1395 10, -1, -1, -1, -1, -1, -1, -1, -1, 128, 1396 -1, 130, 131, 132, 133, -1, 135, -1, -1, 138, 1397 139, -1, -1, 128, 143, 130, 131, 132, 133, -1, 1398 135, -1, -1, 138, 139, -1, -1, 128, 143, 130, 1399 131, 132, 133, -1, 135, -1, -1, 138, 139, 3, 1400 4, -1, 143, 7, -1, 9, 10, -1, -1, -1, 1401 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1402 135, -1, -1, 138, 139, -1, -1, 128, 143, 130, 1403 131, 132, 133, -1, 135, -1, -1, 138, 139, 3, 1404 4, -1, 143, 7, -1, 9, 10, -1, -1, -1, 1405 -1, -1, -1, -1, 128, -1, 130, 131, 132, 133, 1406 -1, 135, -1, -1, 138, 139, -1, -1, 128, 143, 1407 130, 131, 132, 133, -1, 135, -1, -1, 138, 139, 1408 3, 4, -1, 143, 7, -1, 9, 10, -1, -1, 1409 -1, -1, -1, -1, 3, 4, -1, -1, 7, -1, 1410 9, 10, -1, -1, -1, -1, -1, -1, 3, 4, 1411 -1, -1, 7, -1, 9, 10, 13, 14, 15, -1, 1412 17, -1, 19, 20, 128, -1, 130, 131, 132, 133, 1413 -1, 135, -1, -1, 138, 139, 3, 4, -1, 143, 1414 7, -1, 9, 10, -1, -1, -1, -1, -1, -1, 1415 3, 4, -1, -1, 7, -1, 9, 10, -1, -1, 1416 -1, -1, -1, -1, 128, -1, 130, 131, 132, 133, 1417 7, 135, -1, 10, 138, 139, -1, -1, -1, 143, 1457 138, 139, 3, 4, 142, 143, 7, -1, 9, 10, 1418 1458 -1, -1, -1, -1, -1, -1, -1, -1, 3, 4, 1419 1459 -1, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1420 -1, 98, 99, 100, -1, 128, -1, 130, 131, 132, 1421 133, -1, 135, -1, -1, 138, 139, -1, -1, 128, 1422 143, 130, 131, 132, 133, -1, 135, -1, -1, 138, 1423 139, -1, -1, 128, 143, 130, 131, 132, 133, -1, 1424 135, -1, -1, 138, 139, 8, -1, -1, 143, -1, 1460 -1, -1, -1, -1, 3, 4, -1, -1, 7, -1, 1461 9, 10, -1, -1, -1, -1, -1, -1, -1, -1, 1462 3, 4, -1, -1, 7, -1, 9, 10, -1, -1, 1463 -1, -1, -1, -1, -1, -1, 3, 4, -1, -1, 1464 7, -1, 9, 10, -1, -1, -1, -1, -1, -1, 1465 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1466 135, 136, -1, 138, 139, 3, 4, 142, 143, 7, 1467 -1, 9, 10, -1, -1, -1, -1, -1, -1, -1, 1468 -1, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1469 -1, -1, -1, -1, -1, -1, -1, 128, -1, 130, 1470 131, 132, 133, -1, 135, 136, -1, 138, 139, -1, 1471 -1, 142, 143, 128, -1, 130, 131, 132, 133, -1, 1472 135, 136, -1, 138, 139, -1, -1, 142, 143, 128, 1473 -1, 130, 131, 132, 133, -1, 135, 136, -1, 138, 1474 139, -1, -1, 142, 143, 128, -1, 130, 131, 132, 1475 133, -1, 135, 136, -1, 138, 139, -1, -1, 142, 1476 143, 128, -1, 130, 131, 132, 133, -1, 135, -1, 1477 -1, 138, 139, 3, 4, 142, 143, 7, -1, 9, 1478 10, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1479 128, -1, 130, 131, 132, 133, -1, 135, -1, -1, 1480 138, 139, -1, -1, 142, 143, 128, -1, 130, 131, 1481 132, 133, -1, 135, -1, -1, 138, 139, 3, 4, 1482 142, 143, 7, -1, 9, 10, -1, -1, -1, -1, 1483 -1, -1, -1, -1, 3, 4, -1, -1, 7, -1, 1484 9, 10, -1, -1, -1, -1, -1, -1, -1, -1, 1485 3, 4, -1, -1, 7, -1, 9, 10, -1, -1, 1486 -1, -1, -1, -1, -1, -1, 3, 4, -1, -1, 1487 7, -1, 9, 10, -1, -1, -1, -1, -1, -1, 1488 -1, -1, 3, 4, -1, -1, 7, -1, 9, 10, 1489 -1, -1, -1, -1, -1, -1, -1, -1, 128, -1, 1490 130, 131, 132, 133, -1, 135, -1, -1, 138, 139, 1491 3, 4, 142, 143, 7, -1, 9, 10, -1, -1, 1492 -1, -1, -1, -1, -1, -1, 3, 4, -1, -1, 1493 7, -1, 9, 10, -1, -1, -1, -1, -1, -1, 1494 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1495 135, -1, -1, 138, 139, -1, -1, 142, 143, 128, 1496 -1, 130, 131, 132, 133, -1, 135, -1, -1, 138, 1497 139, -1, -1, 142, 143, 128, -1, 130, 131, 132, 1498 133, -1, 135, -1, -1, 138, 139, -1, -1, 142, 1499 143, 128, -1, 130, 131, 132, 133, -1, 135, -1, 1500 -1, 138, 139, -1, -1, 142, 143, 128, -1, 130, 1501 131, 132, 133, -1, 135, -1, -1, 138, 139, 3, 1502 4, 142, 143, 7, -1, 9, 10, -1, -1, -1, 1503 -1, -1, -1, -1, -1, 128, -1, 130, 131, 132, 1504 133, -1, 135, -1, -1, 138, 139, -1, -1, 142, 1505 143, 128, -1, 130, 131, 132, 133, -1, 135, -1, 1506 -1, 138, 139, 3, 4, 142, 143, 7, -1, 9, 1507 10, -1, -1, -1, -1, -1, -1, -1, -1, 3, 1508 4, -1, -1, 7, -1, 9, 10, -1, -1, -1, 1509 -1, -1, -1, -1, -1, 3, 4, -1, -1, 7, 1510 -1, 9, 10, -1, -1, -1, -1, -1, -1, -1, 1511 -1, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1512 -1, -1, -1, -1, 3, 4, -1, -1, 7, -1, 1513 9, 10, -1, -1, -1, -1, -1, -1, -1, -1, 1514 -1, -1, -1, -1, 128, -1, 130, 131, 132, 133, 1515 -1, 135, -1, -1, 138, 139, 3, 4, 142, 143, 1516 7, -1, 9, 10, -1, -1, -1, -1, -1, 3, 1517 4, -1, -1, 7, -1, 9, 10, -1, -1, -1, 1518 -1, -1, -1, -1, -1, -1, -1, -1, 128, -1, 1519 130, 131, 132, 133, -1, 135, -1, -1, 138, 139, 1520 -1, -1, 142, 143, 128, -1, 130, 131, 132, 133, 1521 -1, 135, -1, -1, 138, 139, -1, -1, 142, 143, 1522 128, -1, 130, 131, 132, 133, -1, 135, -1, -1, 1523 138, 139, -1, -1, 142, 143, 128, -1, 130, 131, 1524 132, 133, 134, 135, 136, -1, 138, 139, -1, 128, 1525 142, 130, 131, 132, 133, -1, 135, 136, -1, 138, 1526 139, 3, 4, 142, -1, 7, -1, 9, 10, -1, 1527 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1528 -1, 128, -1, 130, 131, 132, 133, -1, 135, 136, 1529 -1, 138, 139, -1, 128, 142, 130, 131, 132, 133, 1530 -1, 135, 136, -1, 138, 139, 3, 4, 142, -1, 1531 7, -1, 9, 10, -1, -1, -1, -1, -1, 3, 1532 4, -1, -1, 7, -1, 9, 10, -1, -1, -1, 1533 -1, -1, 3, 4, -1, -1, 7, -1, 9, 10, 1534 -1, -1, -1, -1, -1, 3, 4, -1, -1, 7, 1535 -1, 9, 10, -1, -1, -1, -1, -1, 3, 4, 1536 -1, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1537 -1, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1538 -1, -1, -1, -1, -1, -1, 128, -1, 130, 131, 1539 132, 133, 134, 135, -1, -1, 138, 139, 3, 4, 1540 142, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1541 -1, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1542 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1543 -1, 128, -1, 130, 131, 132, 133, -1, 135, 136, 1544 -1, 138, 139, -1, 128, 142, 130, 131, 132, 133, 1545 134, 135, -1, -1, 138, 139, -1, 128, 142, 130, 1546 131, 132, 133, -1, 135, 136, -1, 138, 139, -1, 1547 128, 142, 130, 131, 132, 133, -1, 135, 136, -1, 1548 138, 139, -1, 128, 142, 130, 131, 132, 133, -1, 1549 135, 136, -1, 138, 139, -1, 128, 142, 130, 131, 1550 132, 133, -1, 135, 136, -1, 138, 139, 3, 4, 1551 142, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1552 -1, -1, -1, 128, -1, 130, 131, 132, 133, 134, 1553 135, -1, -1, 138, 139, -1, 128, 142, 130, 131, 1554 132, 133, 134, 135, -1, -1, 138, 139, 3, 4, 1555 142, -1, 7, -1, 9, 10, -1, -1, -1, -1, 1556 -1, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1557 -1, -1, -1, -1, -1, 4, -1, -1, 7, -1, 1558 9, 10, -1, -1, -1, -1, -1, -1, -1, -1, 1559 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1560 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1561 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1562 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1563 -1, -1, -1, 128, -1, 130, 131, 132, 133, 134, 1564 135, -1, -1, 138, 139, 8, -1, 142, -1, -1, 1425 1565 13, 14, 15, -1, 17, -1, 19, 20, -1, -1, 1426 -1, 128, -1, 130, 131, 132, 133, -1, 135, -1,1427 -1, 138, 139, -1, -1, 128, 143, 130, 131, 132,1428 13 3, 134, 135, 136, -1, 138, 139, -1, -1, -1,1429 -1, 128, -1, 130, 131, 132, 133, -1, 135, -1,1430 8, -1, 139, -1, -1, 13, -1, 15, -1, 17,1431 -1, 19, 20, 128, -1, 130, 131, 132, 133, -1,1432 135, 136, -1, 138, 139, -1, -1, 90, 91, 92,1566 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1567 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1568 135, -1, -1, 138, 139, -1, 128, 142, 130, 131, 1569 132, 133, -1, 135, -1, -1, 138, 139, -1, 128, 1570 142, 130, 131, 132, 133, -1, 135, -1, -1, 8, 1571 139, -1, -1, 142, 13, 14, 15, -1, 17, -1, 1572 19, 20, -1, -1, -1, -1, -1, 90, 91, 92, 1433 1573 93, 94, 95, 96, 97, 98, 99, 100, -1, -1, 1434 109, -1, 111, 112, 113, -1, 109, -1, 111, 112, 1435 113, -1, -1, -1, -1, 118, 119, 126, -1, -1, 1436 8, -1, -1, 126, 133, 13, -1, 15, 131, 17, 1437 133, 19, 20, 142, -1, 144, -1, -1, -1, 142, 1438 -1, 144, 90, 91, 92, 93, 94, 95, 96, 97, 1439 98, 99, 100, -1, -1, 109, -1, 111, 112, 113, 1440 -1, 109, -1, 111, 112, 113, -1, -1, -1, -1, 1441 118, 119, 126, -1, -1, 8, -1, -1, 126, 133, 1442 13, -1, 15, 131, 17, 133, 19, 20, 142, -1, 1443 144, -1, -1, -1, 142, 143, 144, -1, -1, -1, 1444 -1, -1, 90, 91, 92, 93, 94, 95, 96, 97, 1445 98, 99, 100, -1, -1, 109, -1, 111, 112, 113, 1446 -1, 109, -1, 111, 112, 113, -1, -1, -1, -1, 1447 118, 119, 126, -1, -1, 8, -1, -1, 126, 133, 1448 13, -1, 15, 131, 17, 133, 19, 20, 142, -1, 1449 144, -1, -1, -1, 142, 143, 144, 90, 91, 92, 1450 93, 94, 95, 96, 97, 98, 99, 100, -1, -1, 1451 109, -1, 111, 112, 113, -1, 109, -1, 111, 112, 1452 113, -1, -1, -1, -1, 118, 119, 126, -1, -1, 1453 8, -1, -1, 126, 133, 13, -1, 15, 131, 17, 1454 133, 19, 20, 142, -1, 144, -1, -1, -1, 142, 1455 143, 144, -1, -1, -1, -1, -1, 90, 91, 92, 1456 93, 94, 95, 96, 97, 98, 99, 100, -1, -1, 1457 109, -1, 111, 112, 113, -1, 109, -1, 111, 112, 1458 113, -1, -1, -1, -1, 118, 119, 126, -1, -1, 1459 8, -1, -1, 126, 133, 13, -1, 15, 131, 17, 1460 133, 19, 20, 142, -1, 144, -1, -1, -1, 142, 1461 143, 144, 90, 91, 92, 93, 94, 95, 96, 97, 1462 98, 99, 100, -1, -1, 109, -1, 111, 112, 113, 1463 -1, 109, -1, 111, 112, 113, -1, -1, -1, -1, 1464 118, 119, 126, -1, -1, 8, -1, -1, 126, 133, 1465 13, -1, 15, 131, 17, 133, 19, 20, 142, -1, 1466 144, -1, -1, -1, 142, 143, 144, -1, -1, -1, 1467 -1, -1, 90, 91, 92, 93, 94, 95, 96, 97, 1468 98, 99, 100, 3, 4, -1, -1, 7, -1, 9, 1469 10, 109, -1, 111, 112, 113, -1, -1, 3, 4, 1470 118, 119, 7, -1, 9, 10, -1, -1, 126, -1, 1471 3, 4, -1, 131, 7, 133, 9, 10, -1, -1, 1472 -1, -1, -1, -1, 142, -1, 144, 90, 91, 92, 1473 93, 94, 95, 96, 97, 98, 99, 100, 3, 4, 1474 -1, -1, 7, -1, 9, 10, 109, -1, 111, 112, 1475 113, -1, -1, 3, 4, 118, 119, 7, -1, 9, 1476 10, -1, -1, 126, -1, 3, 4, -1, 131, 7, 1477 133, 9, 10, -1, -1, -1, -1, -1, -1, 142, 1478 -1, 144, 3, 4, -1, -1, 7, -1, 9, 10, 1479 -1, -1, -1, -1, 3, 4, -1, -1, 7, -1, 1480 9, 10, -1, -1, -1, -1, -1, -1, 128, -1, 1481 130, 131, 132, 133, -1, 135, 136, -1, 138, 139, 1482 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1483 135, 136, -1, 138, 139, 128, -1, 130, 131, 132, 1484 133, 134, 135, 3, 4, 138, 139, 7, -1, 9, 1485 10, -1, -1, -1, -1, 3, 4, -1, -1, 7, 1486 -1, 9, 10, 128, -1, 130, 131, 132, 133, -1, 1487 135, 136, -1, 138, 139, -1, -1, -1, 128, -1, 1488 130, 131, 132, 133, 134, 135, -1, -1, 138, 139, 1489 128, -1, 130, 131, 132, 133, -1, 135, 136, 4, 1490 138, 139, 7, -1, 9, 10, -1, 128, -1, 130, 1491 131, 132, 133, -1, 135, 136, -1, 138, 139, 128, 1492 -1, 130, 131, 132, 133, -1, 135, 136, -1, 138, 1493 139, 3, 4, -1, -1, 7, -1, 9, 10, -1, 1494 -1, -1, -1, 3, 4, -1, -1, 7, -1, 9, 1495 10, -1, -1, -1, -1, 3, 4, -1, -1, 7, 1496 -1, 9, 10, -1, -1, -1, -1, -1, 128, -1, 1497 130, 131, 132, 133, -1, 135, 136, -1, 138, 139, 1498 128, -1, 130, 131, 132, 133, 134, 135, 3, 4, 1499 138, 139, 7, -1, 9, 10, -1, -1, -1, -1, 1500 -1, -1, -1, -1, -1, -1, -1, -1, 13, 14, 1501 15, -1, 17, -1, 19, 20, -1, -1, -1, -1, 1502 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1503 135, -1, -1, -1, 139, -1, -1, -1, -1, -1, 1504 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1505 -1, -1, -1, -1, -1, -1, 128, -1, 130, 131, 1506 132, 133, 134, 135, -1, -1, 138, 139, 128, -1, 1507 130, 131, 132, 133, 134, 135, -1, -1, 138, 139, 1508 128, -1, 130, 131, 132, 133, -1, 135, -1, -1, 1509 138, 139, -1, 98, 99, 100, -1, -1, -1, -1, 1510 -1, -1, -1, -1, 109, -1, 111, 112, 113, -1, 1511 -1, -1, -1, 128, -1, 130, 131, 132, 133, -1, 1512 135, 126, -1, 138, 139, -1, -1, -1, 133, -1, 1513 -1, -1, -1, -1, -1, -1, -1, -1, 143, 144 1574 -1, -1, -1, -1, -1, -1, 109, -1, 111, 112, 1575 113, -1, -1, -1, -1, 118, 119, -1, -1, -1, 1576 -1, -1, -1, 126, 8, -1, -1, -1, 131, 13, 1577 133, 15, -1, 17, -1, 19, 20, -1, -1, 142, 1578 143, 144, -1, -1, -1, -1, -1, -1, -1, -1, 1579 -1, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1580 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1581 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1582 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1583 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1584 -1, -1, -1, 142, -1, 144, 90, 91, 92, 93, 1585 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1586 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1587 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1588 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1589 19, 20, -1, -1, -1, -1, -1, -1, 142, 143, 1590 144, -1, -1, -1, -1, -1, 90, 91, 92, 93, 1591 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1592 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1593 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1594 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1595 19, 20, -1, -1, -1, -1, -1, -1, 142, 143, 1596 144, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1597 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1598 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1599 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1600 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1601 -1, -1, -1, 142, 143, 144, -1, -1, -1, -1, 1602 -1, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1603 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1604 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1605 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1606 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1607 -1, -1, -1, 142, 143, 144, 90, 91, 92, 93, 1608 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1609 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1610 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1611 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1612 19, 20, -1, -1, -1, -1, -1, -1, 142, 143, 1613 144, -1, -1, -1, -1, -1, 90, 91, 92, 93, 1614 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1615 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1616 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1617 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1618 19, 20, -1, -1, -1, -1, -1, -1, 142, -1, 1619 144, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1620 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1621 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1622 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1623 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1624 -1, -1, -1, 142, -1, 144, -1, -1, -1, -1, 1625 -1, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1626 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1627 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1628 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1629 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1630 -1, -1, -1, 142, -1, 144, 90, 91, 92, 93, 1631 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1632 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1633 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1634 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1635 19, 20, -1, -1, -1, -1, -1, -1, 142, -1, 1636 144, -1, -1, -1, -1, -1, 90, 91, 92, 93, 1637 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1638 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1639 -1, -1, -1, -1, 118, 119, -1, -1, -1, 8, 1640 -1, -1, 126, -1, 13, -1, 15, 131, 17, 133, 1641 19, 20, -1, -1, -1, -1, -1, -1, 142, -1, 1642 144, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1643 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1644 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1645 119, -1, -1, -1, 8, -1, -1, 126, -1, 13, 1646 -1, 15, 131, 17, 133, 19, 20, -1, -1, -1, 1647 -1, -1, -1, 142, -1, 144, -1, -1, -1, -1, 1648 -1, 90, 91, 92, 93, 94, 95, 96, 97, 98, 1649 99, 100, -1, -1, -1, -1, -1, -1, -1, -1, 1650 109, -1, 111, 112, 113, -1, -1, -1, -1, 118, 1651 119, -1, -1, -1, -1, -1, -1, 126, -1, -1, 1652 -1, -1, 131, -1, 133, -1, -1, -1, -1, -1, 1653 -1, -1, -1, 142, -1, 144, 90, 91, 92, 93, 1654 94, 95, 96, 97, 98, 99, 100, -1, -1, -1, 1655 -1, -1, -1, -1, -1, 109, -1, 111, 112, 113, 1656 -1, -1, -1, -1, 118, 119, -1, -1, -1, -1, 1657 -1, -1, 126, -1, -1, -1, -1, 131, -1, 133, 1658 -1, -1, -1, -1, -1, -1, -1, -1, 142, -1, 1659 144 1514 1660 }; 1515 1661 … … 1527 1673 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 1528 1674 183, 184, 185, 186, 187, 188, 137, 13, 15, 19, 1529 98, 99, 100, 126, 154, 161, 142, 152, 15 2, 160,1530 1 42, 142, 152, 142, 142, 142, 142, 142, 142, 142,1531 142, 142, 1 52, 142, 152, 142, 152, 109, 110, 153,1532 1 09, 137, 152, 142, 154, 109, 110, 142, 142, 109,1533 1 42, 109, 142, 14, 154, 162, 163, 163, 154, 153,1534 153, 15 4, 137, 11, 142, 127, 136, 3, 4, 7,1675 98, 99, 100, 126, 154, 161, 142, 152, 154, 152, 1676 160, 142, 142, 152, 142, 142, 142, 142, 142, 142, 1677 142, 142, 142, 152, 142, 152, 142, 152, 109, 110, 1678 153, 109, 137, 152, 142, 154, 109, 110, 142, 142, 1679 109, 142, 109, 142, 14, 154, 162, 163, 163, 154, 1680 153, 153, 154, 137, 11, 127, 136, 3, 4, 7, 1535 1681 9, 10, 128, 130, 131, 132, 133, 135, 138, 139, 1536 154, 153, 142, 152, 127, 136, 137, 169, 136, 152, 1537 154, 154, 133, 110, 142, 154, 164, 154, 133, 154, 1538 154, 154, 154, 154, 154, 154, 143, 153, 154, 143, 1539 153, 154, 137, 137, 13, 14, 15, 19, 98, 99, 1540 100, 143, 152, 161, 109, 110, 155, 109, 154, 110, 1541 143, 153, 171, 134, 143, 144, 152, 143, 153, 154, 1542 154, 154, 154, 154, 154, 154, 154, 154, 154, 154, 1543 154, 127, 143, 157, 143, 153, 152, 152, 169, 136, 1544 143, 154, 154, 143, 136, 136, 143, 154, 143, 136, 1545 136, 136, 143, 136, 143, 136, 136, 143, 143, 143, 1546 143, 143, 143, 143, 143, 143, 143, 143, 143, 136, 1547 143, 143, 110, 154, 109, 143, 143, 137, 143, 134, 1548 136, 154, 143, 154, 164, 154, 134, 136, 164, 154, 1549 134, 154, 154, 154, 154, 154, 154, 13, 14, 15, 1550 19, 98, 99, 100, 161, 143, 110, 110, 115, 154, 1551 157, 136, 136, 133, 153, 136, 136, 133, 143, 136, 1552 143, 136, 136, 143, 136, 143, 143, 143, 143, 143, 1553 143, 143, 143, 143, 134, 164, 154, 154, 143, 112, 1554 142, 165, 166, 168, 154, 154, 154, 154, 154, 154, 1555 136, 143, 134, 166, 167, 142, 143, 143, 134, 143, 1556 143, 143, 143, 168, 136, 143, 153, 167, 143 1682 142, 154, 153, 142, 152, 127, 136, 137, 169, 136, 1683 152, 154, 142, 142, 142, 142, 142, 142, 154, 133, 1684 110, 142, 154, 164, 154, 133, 154, 154, 154, 154, 1685 154, 154, 154, 143, 153, 154, 143, 153, 154, 137, 1686 137, 13, 14, 15, 19, 98, 99, 100, 143, 152, 1687 161, 109, 110, 155, 109, 154, 110, 143, 153, 171, 1688 134, 143, 144, 152, 154, 154, 154, 154, 154, 154, 1689 154, 154, 154, 154, 154, 154, 143, 153, 127, 143, 1690 157, 143, 153, 152, 152, 169, 154, 154, 154, 153, 1691 154, 153, 136, 143, 154, 154, 143, 136, 136, 143, 1692 154, 143, 136, 136, 136, 143, 136, 143, 136, 136, 1693 143, 143, 143, 143, 143, 143, 143, 143, 143, 143, 1694 143, 143, 136, 143, 143, 110, 154, 109, 143, 143, 1695 137, 134, 136, 143, 154, 143, 154, 164, 143, 143, 1696 154, 134, 136, 164, 154, 134, 154, 154, 154, 154, 1697 154, 154, 13, 14, 15, 19, 98, 99, 100, 161, 1698 143, 110, 110, 115, 154, 157, 136, 136, 133, 153, 1699 136, 136, 133, 143, 136, 143, 136, 136, 143, 136, 1700 143, 143, 143, 143, 143, 143, 143, 143, 143, 134, 1701 164, 154, 154, 143, 112, 142, 165, 166, 168, 154, 1702 154, 154, 154, 154, 154, 136, 143, 134, 166, 167, 1703 142, 143, 143, 134, 143, 143, 143, 143, 168, 136, 1704 143, 153, 167, 143 1557 1705 }; 1558 1706 … … 3892 4040 3893 4041 /* Line 1267 of yacc.c. */ 3894 #line 3892"grammar.cc"4042 #line 4040 "grammar.cc" 3895 4043 default: break; 3896 4044 }
Note: See TracChangeset
for help on using the changeset viewer.