Newer
Older
285, 290, 291, 292, 293, 294, 298, 300, 305, 307,
313, 417, 312, 435, 442, 453, 452, 470, 477, 488,
487, 504, 521, 544, 543, 557, 558, 559, 560, 561,
565, 566, 573, 595, 622, 662, 672, 680, 688, 700,
709, 715, 724, 742, 760, 769, 781, 786, 794, 814,
837, 844, 850, 870, 891, 917, 929, 946, 950, 961,
964, 977, 980, 990, 1014, 1013, 1033, 1055, 1073, 1095,
1113, 1143, 1173, 1191, 1209, 1235, 1253, 1252, 1275, 1293,
1332, 1338, 1344, 1351, 1376, 1401, 1418, 1417, 1437, 1454,
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1482, 1499, 1519, 1537, 1555, 1570, 1569, 1595, 1600, 1605,
1610, 1615, 1635, 1641, 1652, 1653, 1658, 1661, 1665, 1688,
1711, 1734, 1762, 1783, 1804, 1826, 1846, 1940, 1959, 1973,
2082, 2091, 2095, 2110, 2137, 2154, 2168, 2174, 2180, 2189,
2203, 2251, 2269, 2284, 2303, 2315, 2339, 2343, 2350, 2356,
2361, 2367, 2376, 2393, 2410, 2429, 2448, 2476, 2484, 2490,
2497, 2501, 2510, 2518, 2526, 2535, 2534, 2547, 2546, 2559,
2558, 2571, 2570, 2583, 2590, 2597, 2604, 2611, 2618, 2625,
2632, 2639, 2647, 2646, 2658, 2657, 2669, 2668, 2680, 2679,
2691, 2690, 2702, 2701, 2713, 2712, 2724, 2723, 2735, 2734,
2749, 2752, 2758, 2767, 2787, 2810, 2814, 2838, 2841, 2857,
2860, 2873, 2876, 2882, 2885, 2892, 2948, 3018, 3023, 3090,
3133, 3159, 3182, 3205, 3208, 3217, 3221, 3237, 3238, 3239,
3240, 3241, 3242, 3243, 3244, 3245, 3252, 3253, 3254, 3255,
3256, 3257, 3258, 3259, 3260, 3261, 3262, 3263, 3264, 3265,
3266, 3267, 3268, 3269, 3270, 3271, 3272, 3273, 3274, 3275,
3276, 3277, 3278, 3279, 3280, 3281, 3282, 3283, 3285, 3286,
3287, 3288, 3289, 3290, 3291, 3292, 3293, 3294, 3295, 3296,
3297, 3298, 3299, 3300, 3301, 3302, 3303, 3304, 3305, 3314,
3315, 3316, 3317, 3318, 3319, 3320, 3324, 3337, 3349, 3364,
3374, 3384, 3402, 3407, 3412, 3422, 3432, 3440, 3444, 3448,
3452, 3456, 3463, 3467, 3471, 3475, 3482, 3487, 3494, 3499,
3503, 3508, 3512, 3520, 3531, 3535, 3547, 3555, 3563, 3570,
3581, 3601, 3611, 3621, 3631, 3651, 3656, 3660, 3664, 3676,
3680, 3692, 3699, 3709, 3713, 3728, 3733, 3740, 3744, 3757,
3765, 3776, 3780, 3788, 3796, 3810, 3824, 3828
#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE
/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
First, the terminals, then, starting at YYNTOKENS, nonterminals. */
static const char *const yytname[] =
{
"$end", "error", "$undefined", "tDOUBLE", "tSTRING", "tBIGSTR", "tEND",
"tAFFECT", "tDOTS", "tPi", "tMPI_Rank", "tMPI_Size", "tEuclidian",
"tCoordinates", "tExp", "tLog", "tLog10", "tSqrt", "tSin", "tAsin",
"tCos", "tAcos", "tTan", "tRand", "tAtan", "tAtan2", "tSinh", "tCosh",
"tTanh", "tFabs", "tFloor", "tCeil", "tFmod", "tModulo", "tHypot",
"tPrintf", "tSprintf", "tStrCat", "tStrPrefix", "tStrRelative",
"tBoundingBox", "tDraw", "tToday", "tSyncModel", "tCreateTopology",
"tPoint", "tCircle", "tEllipse", "tLine", "tSphere", "tPolarSphere",
"tSurface", "tSpline", "tVolume", "tCharacteristic", "tLength",
"tParametric", "tElliptic", "tPlane", "tRuled", "tTransfinite",
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
"tComplex", "tPhysical", "tCompound", "tUsing", "tPlugin",
"tDegenerated", "tOCCShape", "tRotate", "tTranslate", "tSymmetry",
"tDilate", "tExtrude", "tLevelset", "tLoop", "tRecombine", "tSmoother",
"tSplit", "tDelete", "tCoherence", "tIntersect", "tLayers", "tHole",
"tAlias", "tAliasWithOptions", "tText2D", "tText3D",
"tInterpolationScheme", "tTime", "tCombine", "tBSpline", "tBezier",
"tNurbs", "tOrder", "tKnots", "tColor", "tColorTable", "tFor", "tIn",
"tEndFor", "tIf", "tEndIf", "tExit", "tField", "tReturn", "tCall",
"tFunction", "tShow", "tHide", "tGetValue", "tGMSH_MAJOR_VERSION",
"tGMSH_MINOR_VERSION", "tGMSH_PATCH_VERSION", "tAFFECTDIVIDE",
"tAFFECTTIMES", "tAFFECTMINUS", "tAFFECTPLUS", "'?'", "tOR", "tAND",
"tNOTEQUAL", "tEQUAL", "'<'", "'>'", "tGREATEROREQUAL", "tLESSOREQUAL",
"'+'", "'-'", "'*'", "'/'", "'%'", "'!'", "UNARYPREC", "tMINUSMINUS",
"tPLUSPLUS", "'^'", "'('", "')'", "'['", "']'", "'.'", "'#'", "','",
"'{'", "'}'", "'~'", "$accept", "All", "GeoFormatItems", "GeoFormatItem",
"SendToFile", "Printf", "View", "Views", "ElementCoords",
"ElementValues", "Element", "@1", "@2", "Text2DValues", "Text2D", "@3",
"Text3DValues", "Text3D", "@4", "InterpolationMatrix", "Time", "@5",
"NumericAffectation", "NumericIncrement", "Affectation", "PhysicalId",
"InSphereCenter", "CircleOptions", "Shape", "@6", "@7", "@8", "@9",
"Transform", "MultipleShape", "ListOfShapes", "LevelSet", "Delete",
"Colorify", "Visibility", "Command", "Loop", "Extrude", "@10", "@11",
"@12", "@13", "@14", "@15", "@16", "@17", "@18", "@19", "@20", "@21",
"@22", "ExtrudeParameters", "ExtrudeParameter", "TransfiniteType",
"TransfiniteArrangement", "TransfiniteCorners", "RecombineAngle",
"Transfinite", "Embedding", "Coherence", "FExpr", "FExpr_Single",
"VExpr", "VExpr_Single", "RecursiveListOfListOfDouble", "ListOfDouble",
"ListOfDoubleOrAll", "FExpr_Multi", "RecursiveListOfDouble", "ColorExpr",
"ListOfColor", "RecursiveListOfColor", "StringExprVar", "StringExpr", 0
# ifdef YYPRINT
/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
token YYLEX-NUM. */
static const yytype_uint16 yytoknum[] =
{
0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
305, 306, 307, 308, 309, 310, 311, 312, 313, 314,
315, 316, 317, 318, 319, 320, 321, 322, 323, 324,
325, 326, 327, 328, 329, 330, 331, 332, 333, 334,
335, 336, 337, 338, 339, 340, 341, 342, 343, 344,
345, 346, 347, 348, 349, 350, 351, 352, 353, 354,
355, 356, 357, 358, 359, 360, 361, 362, 363, 364,
365, 366, 367, 368, 369, 370, 371, 63, 372, 373,
374, 375, 60, 62, 376, 377, 43, 45, 42, 47,
37, 33, 378, 379, 380, 94, 40, 41, 91, 93,
46, 35, 44, 123, 125, 126
};
# endif
/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
static const yytype_uint8 yyr1[] =
{
0, 146, 147, 147, 148, 148, 149, 149, 149, 149,
149, 149, 149, 149, 149, 149, 149, 149, 149, 149,
149, 150, 150, 151, 151, 151, 151, 152, 152, 152,
153, 153, 153, 153, 153, 153, 154, 154, 155, 155,
157, 158, 156, 159, 159, 161, 160, 162, 162, 164,
163, 165, 165, 167, 166, 168, 168, 168, 168, 168,
169, 169, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 170, 170, 170,
170, 170, 170, 170, 170, 170, 170, 171, 171, 172,
172, 173, 173, 174, 175, 174, 174, 174, 174, 174,
174, 174, 174, 174, 174, 174, 176, 174, 174, 174,
174, 174, 174, 174, 174, 174, 177, 174, 174, 174,
174, 174, 174, 174, 174, 178, 174, 179, 179, 179,
179, 179, 179, 179, 180, 180, 181, 181, 181, 181,
181, 181, 182, 182, 182, 182, 182, 182, 182, 182,
183, 183, 183, 183, 183, 184, 185, 185, 185, 185,
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
186, 186, 187, 187, 187, 187, 187, 187, 187, 187,
187, 187, 188, 188, 188, 189, 188, 190, 188, 191,
188, 192, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 193, 188, 194, 188, 195, 188, 196, 188,
197, 188, 198, 188, 199, 188, 200, 188, 201, 188,
202, 202, 203, 203, 203, 203, 203, 204, 204, 205,
205, 206, 206, 207, 207, 208, 208, 208, 208, 208,
208, 209, 209, 209, 209, 210, 210, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 211,
211, 211, 211, 211, 211, 211, 211, 211, 211, 212,
212, 212, 212, 212, 212, 212, 212, 212, 212, 212,
212, 212, 212, 212, 212, 212, 212, 213, 213, 213,
213, 213, 214, 214, 214, 214, 215, 215, 216, 216,
216, 216, 216, 216, 217, 217, 218, 218, 218, 218,
218, 218, 218, 218, 218, 219, 219, 219, 219, 220,
220, 220, 220, 221, 221, 222, 222, 223, 223, 223,
223, 224, 224, 224, 224, 224, 224, 224
/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
static const yytype_uint8 yyr2[] =
{
0, 2, 1, 2, 0, 2, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 2, 5, 7, 7, 9, 6, 6, 6,
0, 2, 2, 2, 2, 2, 1, 3, 1, 3,
0, 0, 10, 1, 3, 0, 13, 1, 3, 0,
15, 8, 14, 0, 6, 1, 1, 1, 1, 1,
1, 1, 4, 7, 9, 6, 6, 3, 6, 4,
6, 9, 6, 9, 5, 8, 8, 11, 6, 9,
5, 7, 9, 9, 11, 9, 9, 1, 1, 0,
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
5, 0, 2, 7, 0, 9, 6, 7, 4, 7,
8, 8, 7, 7, 11, 8, 0, 9, 8, 9,
3, 4, 10, 7, 7, 8, 0, 9, 8, 12,
8, 8, 8, 7, 9, 0, 9, 5, 11, 5,
9, 4, 9, 9, 1, 1, 0, 2, 6, 6,
6, 6, 8, 14, 16, 12, 8, 8, 6, 14,
4, 6, 6, 3, 4, 5, 3, 3, 4, 4,
3, 7, 7, 3, 7, 3, 2, 2, 2, 15,
2, 2, 6, 8, 8, 10, 1, 2, 1, 3,
4, 1, 5, 11, 13, 0, 7, 0, 13, 0,
15, 0, 6, 8, 8, 8, 12, 12, 12, 14,
14, 14, 0, 12, 0, 12, 0, 12, 0, 16,
0, 16, 0, 16, 0, 18, 0, 18, 0, 18,
1, 2, 5, 7, 9, 2, 9, 0, 3, 0,
1, 0, 2, 0, 2, 7, 6, 8, 5, 5,
6, 10, 10, 10, 10, 2, 3, 1, 3, 2,
2, 2, 3, 3, 3, 3, 3, 3, 3, 3,
3, 3, 3, 3, 3, 3, 5, 4, 4, 4,
4, 4, 4, 4, 4, 4, 4, 6, 4, 4,
4, 4, 4, 4, 6, 6, 6, 4, 4, 4,
4, 4, 4, 4, 4, 4, 4, 4, 6, 4,
4, 4, 4, 4, 4, 6, 6, 6, 4, 1,
1, 1, 1, 1, 1, 1, 1, 5, 4, 4,
2, 5, 3, 6, 4, 7, 6, 1, 2, 2,
3, 3, 11, 9, 7, 7, 1, 3, 1, 1,
2, 3, 4, 5, 1, 1, 2, 3, 3, 5,
4, 1, 1, 3, 6, 1, 1, 3, 3, 9,
7, 1, 5, 3, 6, 1, 3, 1, 1, 3,
6, 1, 1, 6, 4, 4, 4, 6
/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
STATE-NUM when YYTABLE doesn't specify something else to do. Zero
means the default is an error. */
static const yytype_uint16 yydefact[] =
{
0, 0, 0, 2, 3, 1, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 176, 0, 181, 0, 0,
178, 0, 0, 0, 0, 5, 7, 6, 8, 9,
10, 20, 11, 12, 13, 19, 18, 14, 15, 16,
17, 309, 316, 371, 55, 310, 311, 312, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 372, 0, 0, 313, 314, 315, 59,
58, 57, 56, 0, 0, 0, 61, 60, 0, 0,
0, 0, 136, 0, 0, 0, 247, 0, 0, 0,
0, 168, 0, 170, 167, 171, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 94, 106,
116, 125, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 327, 0, 0, 0, 0, 0,
136, 0, 0, 0, 0, 0, 0, 0, 0, 0,
136, 0, 245, 0, 0, 0, 0, 0, 0, 0,
361, 0, 0, 0, 0, 0, 166, 0, 0, 177,
0, 136, 0, 136, 0, 0, 0, 0, 320, 30,
371, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
316, 250, 249, 251, 0, 0, 0, 0, 0, 0,
0, 0, 0, 135, 0, 134, 0, 67, 163, 0,
0, 0, 0, 0, 160, 110, 0, 0, 0, 0,
316, 0, 0, 351, 352, 355, 356, 0, 0, 0,
0, 338, 0, 339, 0, 0, 0, 0, 345, 344,
0, 231, 231, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 329, 328, 0, 0, 0,
0, 136, 136, 0, 0, 0, 0, 0, 0, 0,
191, 0, 136, 0, 0, 0, 0, 233, 0, 0,
0, 153, 0, 0, 0, 246, 0, 0, 0, 165,
0, 0, 0, 0, 0, 136, 0, 0, 0, 0,
179, 156, 0, 157, 0, 0, 0, 322, 0, 0,
69, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 368, 0, 367, 0, 0, 0, 0,
0, 0, 248, 0, 0, 0, 0, 55, 0, 0,
0, 0, 0, 131, 0, 0, 0, 0, 137, 62,
0, 265, 264, 263, 262, 258, 259, 261, 260, 253,
252, 254, 255, 256, 257, 111, 0, 0, 0, 0,
0, 0, 249, 346, 0, 0, 0, 0, 0, 0,
340, 0, 0, 0, 0, 0, 0, 0, 0, 0,
229, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 98, 0, 0, 0, 0, 331, 330, 0, 0,
0, 0, 0, 0, 0, 0, 0, 185, 0, 0,
0, 0, 0, 0, 0, 0, 154, 0, 0, 150,
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
0, 180, 0, 158, 159, 0, 318, 324, 0, 40,
0, 0, 0, 53, 0, 31, 32, 33, 34, 35,
267, 288, 268, 289, 269, 290, 270, 291, 271, 292,
272, 293, 273, 294, 274, 295, 275, 296, 287, 308,
276, 297, 0, 0, 278, 299, 279, 300, 280, 301,
281, 302, 282, 303, 283, 304, 0, 0, 0, 0,
0, 0, 0, 0, 376, 0, 0, 374, 375, 80,
0, 0, 0, 0, 0, 55, 0, 0, 0, 0,
0, 74, 0, 0, 0, 0, 319, 0, 0, 0,
0, 0, 23, 21, 0, 0, 0, 0, 353, 0,
0, 348, 254, 347, 357, 358, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 341,
0, 0, 0, 0, 0, 0, 227, 232, 230, 0,
238, 0, 0, 87, 88, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 127, 129, 0, 0,
0, 0, 0, 0, 0, 0, 220, 0, 182, 0,
0, 0, 0, 0, 234, 239, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 155, 0,
0, 0, 0, 0, 0, 321, 0, 317, 0, 0,
0, 0, 0, 27, 0, 0, 0, 0, 0, 0,
0, 0, 0, 369, 0, 0, 0, 318, 65, 66,
0, 0, 0, 0, 0, 68, 70, 72, 0, 0,
365, 0, 78, 0, 0, 0, 0, 266, 22, 0,
0, 0, 0, 0, 350, 0, 0, 91, 91, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 342,
0, 96, 0, 0, 0, 0, 0, 0, 236, 0,
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
0, 0, 0, 0, 0, 0, 225, 0, 0, 192,
221, 0, 0, 0, 148, 0, 0, 240, 0, 152,
151, 0, 28, 29, 0, 0, 0, 362, 0, 0,
0, 172, 0, 0, 162, 323, 161, 0, 0, 0,
0, 336, 0, 277, 298, 284, 305, 285, 306, 286,
307, 0, 377, 373, 326, 0, 55, 0, 0, 0,
0, 63, 0, 0, 0, 363, 0, 0, 0, 0,
24, 25, 0, 0, 93, 0, 349, 0, 0, 0,
0, 0, 97, 0, 0, 113, 114, 0, 0, 99,
123, 343, 0, 0, 0, 89, 0, 235, 0, 0,
0, 0, 0, 0, 0, 0, 164, 0, 0, 0,
0, 0, 136, 0, 202, 0, 204, 0, 206, 338,
0, 0, 0, 0, 186, 0, 0, 0, 0, 0,
0, 0, 0, 102, 103, 0, 0, 0, 0, 81,
0, 325, 0, 36, 0, 0, 0, 0, 0, 38,
0, 0, 0, 0, 75, 0, 0, 76, 0, 366,
138, 139, 140, 141, 0, 0, 354, 0, 92, 100,
101, 105, 0, 0, 115, 0, 0, 237, 108, 0,
0, 228, 122, 0, 0, 0, 0, 121, 0, 120,
118, 0, 0, 0, 0, 335, 0, 334, 0, 0,
193, 0, 0, 194, 0, 0, 195, 0, 0, 0,
0, 0, 0, 147, 0, 0, 146, 0, 0, 142,
0, 0, 0, 0, 360, 0, 174, 173, 0, 0,
0, 41, 0, 0, 0, 337, 0, 0, 0, 370,
64, 71, 73, 0, 79, 0, 26, 0, 0, 0,
0, 0, 0, 0, 109, 95, 107, 117, 126, 0,
85, 86, 124, 136, 0, 130, 0, 0, 0, 0,
0, 0, 222, 0, 0, 136, 0, 0, 0, 0,
133, 132, 0, 0, 0, 0, 82, 83, 0, 37,
0, 0, 0, 39, 54, 0, 364, 0, 241, 242,
243, 244, 112, 0, 0, 0, 0, 333, 0, 0,
187, 0, 0, 0, 0, 0, 359, 175, 0, 0,
0, 0, 0, 77, 0, 0, 0, 128, 0, 208,
0, 0, 210, 0, 0, 212, 0, 0, 0, 223,
0, 183, 0, 136, 0, 0, 0, 104, 84, 0,
45, 0, 51, 0, 0, 90, 119, 332, 196, 0,
0, 203, 197, 0, 0, 205, 198, 0, 0, 207,
0, 0, 0, 189, 0, 145, 0, 0, 0, 0,
0, 0, 0, 0, 214, 0, 216, 0, 218, 224,
226, 188, 184, 0, 0, 0, 0, 42, 0, 49,
0, 0, 0, 199, 0, 0, 200, 0, 0, 201,
0, 0, 149, 0, 143, 0, 43, 0, 0, 169,
0, 0, 0, 0, 0, 0, 190, 0, 0, 0,
0, 0, 209, 0, 211, 0, 213, 0, 144, 44,
46, 0, 47, 0, 0, 0, 0, 0, 0, 52,
215, 217, 219, 48, 50
/* YYDEFGOTO[NTERM-NUM]. */
static const yytype_int16 yydefgoto[] =
{
-1, 2, 3, 65, 684, 66, 67, 419, 1002, 1008,
605, 778, 1148, 1285, 606, 1249, 1311, 607, 1287, 608,
609, 782, 133, 228, 68, 722, 1040, 939, 488, 354,
355, 356, 357, 323, 294, 295, 71, 72, 73, 74,
75, 76, 324, 749, 1212, 1263, 565, 1061, 1064, 1067,
1229, 1233, 1237, 1274, 1277, 1280, 745, 746, 847, 719,
540, 573, 78, 79, 80, 341, 136, 366, 184, 900,
901, 350, 343, 531, 212, 675, 811, 464, 465
/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
STATE-NUM. */
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
3407, 40, 79, 3488, -1085, -1085, 1621, 57, -11, -47,
30, 128, 138, 177, 70, 76, 87, -50, 146, 178,
-49, 187, 199, 136, 222, 300, 316, 330, 169, 344,
602, 494, 281, 375, 293, 289, 295, 295, 290, 267,
14, 389, 400, 413, 6, 72, 422, 467, 496, 509,
388, 399, 424, 10, 41, -1085, 434, -1085, 524, 437,
-1085, 588, 604, 21, 24, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, 23, 431, 59, -1085, -1085, -1085, -36, 268,
429, 444, 449, 453, 468, 498, 527, 530, 544, 563,
569, 570, 573, 574, 577, 578, 606, 609, 614, 487,
492, 497, 502, -1085, 632, 512, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, 3084, 3084, 3084, -1085, -1085, 3084, 2644,
19, 656, 206, 3084, 646, 1046, -1085, 663, 664, 3084,
624, -1085, 3084, -1085, -1085, -1085, 3084, 3012, 3084, 3084,
540, 3084, 3012, 3084, 3084, 564, 3012, 3084, 3084, 2032,
610, 542, 618, 629, 1762, 1762, 1762, 636, -1085, -1085,
-1085, -1085, 650, 660, 665, 699, 2032, 733, 295, 295,
295, 3084, 3084, -19, -1085, 184, 295, 596, 608, 677,
2877, 299, 135, 681, 700, 1762, 2032, 704, 27, 630,
-1085, 807, -1085, 698, 711, 722, 846, 3084, 3084, 3084,
723, 3084, 721, 772, 3084, 3084, -1085, 3084, 875, -1085,
879, -1085, 880, -1085, 749, 3084, 884, 746, -1085, -1085,
-1085, 887, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 3084, 620, 620, 620, 620, 3084, 885,
603, 759, 759, 759, 5700, 55, 3012, 4964, 175, 755,
902, 774, 771, -1085, 773, 3557, 1128, -1085, -1085, 3084,
3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 3084, -1085, -1085, 1147, -21, 4262, 5721,
301, 779, 3012, -1085, -1085, 3168, -1085, 137, 5742, 5763,
3084, 5784, 611, 5805, 5826, 3084, 615, 5847, 5868, 2167,
1476, 3189, 908, -1085, 3084, 3084, 3084, 3084, -1085, -1085,
909, 912, 912, 3084, 785, 789, 790, 791, 3084, 3084,
3084, 792, 922, 788, -52, -1085, -1085, 4288, 4314, 295,
295, 206, 206, -14, 3084, 3084, 3084, 2877, 2877, 3084,
3557, 142, -1085, 3084, 3084, 3084, 3084, 929, 932, 3084,
934, -1085, 3084, 3084, 776, -1085, 3012, 3084, 3084, -1085,
5889, 5910, 5931, 848, 4340, -1085, 798, 3208, 5952, 4987,
-1085, -1085, 1659, -1085, 1800, 3084, 5010, -67, 3084, 18,
-1085, 5973, 5033, 5994, 5056, 6015, 5079, 6036, 5102, 6057,
5125, 6078, 5148, 6099, 5171, 6120, 5194, 6141, 5217, 6162,
5240, 6183, 5263, 4366, 4392, 6204, 5286, 6225, 5309, 6246,
5332, 6267, 5355, 6288, 5378, 6309, 5401, 4418, 4444, 4470,
4496, 4522, 4548, 623, 271, -1085, 803, 810, 811, 1321,
809, 3084, -1085, 2032, 2032, 616, 81, 59, 3084, 943,
948, 17, 815, -1085, 220, -44, -32, 223, -1085, -1085,
3236, 778, 972, 567, 567, 348, 348, 348, 348, 549,
549, 759, 759, 759, 759, -1085, 9, 3012, 3084, 949,
2842, 3084, 759, -1085, 3084, 3012, 3012, 860, 952, 953,
6330, 955, 865, 957, 960, 6351, 872, 964, 965, 3012,
-1085, 622, 2302, 3084, 6372, 3305, 6393, 6414, 3084, 2032,
969, 970, 6435, 3141, 3141, 3141, 3141, 6456, 6477, 6498,
837, -1085, 2032, 295, 3084, 3084, -1085, -1085, 834, 835,
3084, 4574, 4600, 4626, 4236, 117, 295, 1935, 6519, 3592,
6540, 6561, 3084, 975, 3084, 6582, -1085, 5424, 5447, -1085,
625, 5470, 5493, 977, 978, 980, 842, 3084, 2070, 3084,
3084, -1085, 32, -1085, -1085, 5516, 45, -1085, 3620, -1085,
852, 853, 847, -1085, 985, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, 3084, 3084, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, -1085, -1085, -1085, 3084, 3084, 3084, 3084,
3084, 3084, 3084, 988, -1085, 3012, 620, -1085, -1085, -1085,
3084, 5539, 987, 991, 862, -1085, 34, 3084, 996, 997,
1446, -1085, 998, 866, 10, 1000, -1085, 3012, 3012, 3012,
3012, 3084, -1085, 888, 620, 278, 4652, 295, -1085, 3012,
3648, 3255, 759, -1085, 3168, -1085, 959, 2032, 2032, 1001,
2032, 724, 2032, 2032, 1005, 961, 2032, 2032, 634, -1085,
3012, 1556, 1006, 1008, 1009, 1010, 2941, -1085, -1085, 1012,
-1085, 1013, 886, 6813, -1085, 889, 890, 891, 1014, 1015,
1018, 1025, 905, 195, 4678, 4704, -1085, -1085, 3676, 295,
295, 295, 1042, 911, 895, -34, -1085, 218, -1085, 117,
1048, 1050, 1051, 1053, 6813, -1085, 2369, 914, 1056, 1057,
1016, 1058, 1059, 2032, 2032, 2032, 1065, 4730, -1085, 3275,
916, 1066, 1067, 1069, 1068, -1085, 1070, -1085, 937, 3084,
3084, 2032, 935, -1085, 6603, 5562, 6624, 5585, 6645, 5608,
6666, 5631, 5654, -1085, 315, 944, 6687, 192, -1085, -1085,
73, 285, 940, 1076, 2402, -1085, -1085, -1085, 10, 3084,
-1085, 637, -1085, 638, 641, 648, 649, 6813, -1085, 1078,
46, 3084, 54, 653, -1085, 3084, 942, 1029, 1029, 2032,
1082, 946, 947, 1097, 1098, 2032, 962, 1103, 1105, -1085,
658, -1085, 1107, 2032, 2032, 2032, 1109, 1108, -1085, 2032,
1111, 1114, 1116, 1118, 2032, 2032, 2032, 119, 1110, 3084,
3084, 3084, 973, -83, -73, 204, -1085, 2032, 3084, -1085,
-1085, 2877, -24, 1897, -1085, 984, 2437, -1085, 3012, -1085,
-1085, 986, -1085, -1085, 1122, 1124, 1037, -1085, 3084, 3084,
3084, -1085, 1132, 1133, -1085, -67, -1085, 3084, 4756, 4782,
662, -1085, 3084, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, 999, -1085, -1085, -1085, 2032, 59, 3084, 1135, 1138,
17, -1085, 1137, 5677, 10, -1085, 1140, 1141, 1142, 1143,
-1085, -1085, 620, 4808, -1085, 1011, 6813, 3084, 295, 1146,
1148, 1149, -1085, 3084, 3084, -1085, -1085, 1150, 3084, -1085,
-1085, -1085, 1153, 1155, 1156, 1061, 3084, -1085, 1171, 2032,
2032, 2032, 2032, 1172, 801, 1173, -1085, 3141, 1043, 3704,
6708, 3508, 206, 295, 1176, 295, 1178, 295, 1179, 368,
1045, 6729, 3732, 337, -1085, 1182, 1292, 1183, 295, 1292,
1184, 666, 3084, -1085, -1085, 2032, 3536, 605, 6750, -1085,
2707, -1085, 374, 6813, 3084, 3084, 2032, 1049, 667, 6813,
1187, 1189, 1192, 2504, -1085, 1186, 1193, -1085, 1062, -1085,
-1085, -1085, -1085, -1085, 1195, 3084, -1085, 3760, 258, -1085,
-1085, -1085, 3788, 3816, -1085, 3844, 1198, -1085, -1085, 1157,
1199, 6813, -1085, 1201, 1203, 1205, 1206, -1085, 1071, -1085,
-1085, 2673, 1207, 1210, 1074, -1085, 3084, -1085, 1077, 380,
-1085, 1080, 392, -1085, 1083, 394, -1085, 1084, 1224, 2032,
1225, 1088, 3084, -1085, 2572, 417, -1085, 430, 436, -1085,
1227, 3872, 1144, 3084, -1085, 3084, -1085, -1085, 3012, 2798,
1228, -1085, 3084, 4834, 4860, -1085, 2032, 3084, 1229, -1085,
-1085, -1085, -1085, 10, -1085, 1164, -1085, 4886, 1230, 1232,
1233, 1234, 1236, 1100, -1085, -1085, -1085, -1085, -1085, 2032,
-1085, -1085, -1085, 206, 3564, -1085, 2877, 117, 2877, 117,
2877, 117, -1085, 670, 2032, -1085, 3900, 295, 3012, 295,
-1085, -1085, 3084, 3928, 3956, 674, -1085, -1085, 1119, 6813,
3084, 3084, 689, 6813, -1085, 1255, -1085, 3084, -1085, -1085,
-1085, -1085, -1085, 3084, 702, 1134, 3084, -1085, 3984, 470,
56, 4012, 476, 143, 4040, 488, 238, 2032, 1273, 1216,
2205, 1145, 490, 703, 493, 2820, -1085, -1085, 1275, 3084,
6771, 4912, 31, -1085, 4938, 4068, 1277, -1085, 4096, 1278,
3084, 1283, 1284, 3084, 1285, 1286, 3084, 1287, 1154, -1085,
3084, -1085, 117, -1085, 3012, 1288, 2572, -1085, -1085, 706,
-1085, 3084, -1085, 2032, 3084, -1085, -1085, -1085, -1085, 1161,
4124, -1085, -1085, 1162, 4152, -1085, -1085, 1185, 4180, -1085,
1291, 3113, 261, 2340, 714, -1085, 495, 715, 1293, 1188,
6792, 727, 4208, 117, 1294, 117, 1324, 117, 1326, -1085,
-1085, -1085, -1085, 117, 1327, 3012, 1328, -1085, 620, -1085,
1196, 1329, 280, -1085, 1197, 283, -1085, 1202, 314, -1085,
1204, 355, -1085, 731, -1085, 732, -1085, 1209, 2032, -1085,
1330, 117, 1332, 117, 1335, 117, -1085, 1336, 620, 1338,
620, 735, -1085, 373, -1085, 385, -1085, 387, -1085, -1085,
-1085, 736, -1085, 1340, 1342, 1343, 1344, 620, 1347, -1085,
-1085, -1085, -1085, -1085, -1085
/* YYPGOTO[NTERM-NUM]. */
static const yytype_int16 yypgoto[] =
{
-1085, -1085, -1085, -1085, 534, -1085, -1085, -1085, -1085, 166,
-1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -286, -3, -1085, -64, -1085, 528, 1355, -1085,
-1085, -1085, -1085, 3, -367, -189, -1085, -1085, -1085, -1085,
-1085, -1085, 1356, -1085, -1085, -1085, -1085, -1085, -1085, -1085,
-1085, -1085, -1085, -1085, -1085, -1085, -684, -717, -1085, -1085,
1021, -1085, -1085, -1085, -1085, -6, -1085, -20, -1085, -1084,
522, -110, 255, -79, -654, 448, -1085, -268, 7
/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
positive, shift that token. If negative, reduce the rule which
number is the opposite. If zero, do what YYDEFACT says.
If YYTABLE_NINF, syntax error. */
#define YYTABLE_NINF -5
static const yytype_int16 yytable[] =
{
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
135, 380, 478, 134, 558, 559, 70, 466, 467, 468,
198, 394, 1152, 137, 210, 682, 183, 185, 192, 191,
810, 673, 599, 288, 150, 155, 220, 224, 870, 222,
150, 390, 412, 391, 414, 1164, 141, 1222, 801, 771,
139, 742, 155, 369, 370, 213, 4, 743, 744, 463,
230, 742, 931, 369, 370, 351, 352, 743, 744, 973,
934, 974, 473, 193, 230, 872, 126, 127, 327, 975,
138, 976, 194, 332, 369, 370, 201, 336, 202, 5,
665, 109, 110, 111, 112, 387, 151, 113, 665, 140,
553, 231, 151, 152, 156, 109, 110, 111, 112, 678,
232, 113, 233, 600, 601, 602, 603, 369, 370, 199,
869, 679, 369, 370, 289, 290, 506, 281, 282, 283,
984, 507, 284, 287, 371, 966, 967, 296, 560, 802,
803, 742, 683, 316, 143, 293, 318, 743, 744, 1251,
319, 325, 328, 329, 144, 331, 325, 333, 334, 200,
325, 337, 338, 211, 922, 870, 126, 127, 364, 365,
674, 225, 604, 226, 221, 392, 373, 223, 227, 683,
381, 474, 772, 142, 1223, 367, 368, 214, 126, 127,
369, 370, 477, 145, 368, 774, 119, 120, 121, 122,
667, 159, 742, 567, 119, 120, 121, 122, 743, 744,
1201, 400, 401, 402, 1301, 404, 146, 475, 407, 408,
292, 409, 148, 147, 126, 127, 588, 164, 742, 416,
165, 666, 166, 149, 743, 744, 421, 422, 423, 424,
425, 426, 427, 428, 429, 430, 431, 432, 433, 434,
435, 436, 437, 438, 439, 440, 441, 442, 443, 444,
445, 446, 447, 448, 449, 450, 451, 452, 453, 454,
455, 456, 457, 458, 459, 460, 461, 462, 369, 370,
1019, 383, 469, 160, 35, 36, 37, 38, 384, 516,
325, 517, 153, 43, 566, 479, 46, 1204, 119, 120,
121, 122, 916, 490, 491, 492, 493, 494, 495, 496,
497, 498, 499, 500, 501, 502, 503, 504, 126, 127,
369, 370, 187, 742, 154, 188, 512, 580, 189, 743,
744, 369, 370, 157, 520, 126, 127, 372, 776, 525,
369, 370, 774, 512, 325, 158, 742, 859, 534, 535,
536, 537, 743, 744, 369, 370, 977, 542, 978, 556,
557, 161, 547, 548, 549, 742, 146, 365, 742, 158,
871, 743, 744, 677, 743, 744, 680, 162, 561, 562,
563, 281, 282, 564, 293, 293, 514, 568, 569, 570,
571, 163, 1207, 575, 369, 370, 577, 578, 795, 742,
325, 581, 582, 179, 180, 743, 744, 167, 119, 120,
121, 122, 326, 181, 234, 1261, 235, 326, 654, 595,
190, 326, 598, 655, 597, 820, 819, 175, 126, 127,
516, 179, 180, 176, 1290, 369, 370, 1292, 685, 177,
742, 181, 178, 186, 126, 127, 743, 744, 182, 510,
195, 226, 382, 1170, 132, 1173, 227, 1176, 742, 1155,
708, 196, 912, 870, 743, 744, 870, 516, 1294, 870,
742, 197, 742, 369, 370, 661, 743, 744, 743, 744,
203, 204, 670, 668, 308, 309, 310, 311, 312, 1072,
725, 726, 727, 313, 669, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 532, 311, 312, 1296,
205, 325, 686, 313, 661, 690, 369, 370, 691, 692,
694, 1091, 1068, 206, 915, 917, 1092, 1314, 369, 370,
369, 370, 1126, 325, 207, 870, 692, 711, 1242, 1315,
216, 1316, 716, 733, 1128, 208, 1130, 723, 723, 723,
723, 326, 172, 369, 370, 173, 747, 174, 734, 735,
724, 724, 724, 724, 738, 870, 369, 370, 870, 1137,
209, 870, 369, 370, 870, 236, 754, 237, 756, 1272,
215, 1275, 1138, 1278, 229, 217, 794, 513, 1139, 1281,
238, 767, 239, 769, 770, 240, 870, 241, 870, 242,
870, 243, 218, 775, 513, 326, 369, 370, 813, 814,
815, 816, 369, 370, 244, 1058, 245, 1303, 219, 1305,
823, 1307, 1200, 1085, 369, 370, 369, 370, 1203, 369,
370, 369, 370, 274, 463, 230, 784, 785, 275, 317,
1206, 840, 1214, 276, 246, 1216, 247, 1265, 277, 278,
786, 787, 788, 789, 790, 791, 792, 168, 279, 325,
169, 326, 297, 170, 796, 171, 109, 110, 111, 112,
291, 804, 113, 248, 1024, 249, 250, 822, 251, 314,
315, 325, 325, 325, 325, 817, 330, 310, 311, 312,
252, 342, 253, 325, 313, 345, 349, 349, 349, 304,
305, 306, 307, 308, 309, 310, 311, 312, 362, 254,
335, 255, 313, 361, 325, 256, 258, 257, 259, 260,
262, 261, 263, 264, 266, 265, 267, 349, 388, 863,
864, 865, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 312, 126, 127, 363, 374,
313, 471, 268, 226, 269, 270, 344, 271, 227, 1086,
272, 375, 273, 516, 346, 522, 1165, 516, 516, 526,
664, 652, 326, 653, 516, 347, 709, 516, 393, 760,
693, 695, 353, 898, 899, 831, 516, 832, 839, 924,
516, 925, 926, 516, 326, 927, 358, 693, 7, 8,
516, 516, 928, 929, 775, 516, 359, 935, 918, 991,
516, 360, 951, 923, 1006, 1048, 1007, 1049, 516, 1097,
1080, 1098, 1177, 395, 1178, 933, 516, 385, 1188, 936,
376, 484, 15, 16, 485, 18, 19, 486, 21, 487,
23, 1006, 24, 1192, 26, 27, 386, 29, 30, 31,
389, 396, 33, 34, 1006, 516, 1196, 1215, 1097, 397,
1248, 983, 399, 969, 970, 971, 516, 516, 1264, 1266,
398, 979, 981, 403, 405, 982, 50, 51, 52, 1006,
406, 1270, 325, 516, 1298, 1297, 1299, 1006, 1317, 1313,
1318, 410, 996, 997, 998, 411, 413, 415, 417, 418,
470, 1003, 1001, 420, 313, 480, 1009, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 481,
326, 1013, 482, 313, 132, 533, 538, 483, 1028, 539,
579, 543, 511, 1012, 890, 544, 545, 546, 551, 550,
552, 1027, 326, 326, 326, 326, 572, 1032, 1033, 574,
576, 589, 1035, 586, 326, 656, 1180, 657, 658, 671,
1041, 660, 672, 1059, 676, 1062, 687, 1065, 696, 697,
698, 1051, 700, 701, 702, 326, 1075, 703, 1077, 1078,
705, 706, 707, 718, 1052, 293, 720, 731, 736, 737,
325, 755, 766, 325, 763, 764, 1081, 765, 779, 780,
781, 783, 793, 798, 1089, 662, 663, 799, 1093, 1094,
1286, 800, 805, 806, 809, 808, 812, 1090, 829, 1145,
826, 818, 835, 842, 836, 843, 844, 845, 848, 1107,
849, 854, 855, 850, 1243, 856, 851, 852, 853, 857,
1309, 868, 1312, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 858, 866, 1323,
1124, 313, 298, 891, 867, 873, 874, 878, 875, 1183,
876, 717, 879, 880, 882, 883, 1136, 881, 512, 887,
892, 893, 895, 897, 732, 894, 896, 1143, 902, 1144,
919, 913, 325, 920, 930, 937, 1149, 938, 942, 943,
944, 1153, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 945, 946, 948, 1169, 313, 1172, 949,
1175, 950, 952, 956, 957, 968, 972, 1182, 959, 1184,
1168, 960, 1171, 961, 1174, 962, 293, 988, 993, 992,
994, 995, 325, 326, 489, 1244, 1185, 1247, 999, 1010,
1000, 1014, 1015, 1017, 1190, 1191, 1020, 1021, 1022, 1023,
1026, 1194, 1029, 505, 1030, 1031, 1034, 1195, 1036, 1039,
1198, 1037, 1038, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 1042, 1047, 1050,
1053, 313, 1060, 1009, 1063, 1066, 1283, 1069, 1073, 1076,
1079, 1099, 1096, 1103, 1230, 1100, 1246, 1234, 1101, 1104,
1238, 1106, 1105, 1112, 1241, 1114, 1113, 1115, 325, 1116,
325, 1117, 1118, 1121, 1119, 1250, 1122, 1123, 1252, 827,
828, 1125, 830, 1127, 833, 834, 1129, 1131, 837, 838,
1132, 1135, 1134, 1140, 1147, 1154, 1158, 1142, 1159, 1160,
1161, 326, 1162, 1163, 326, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 325,
1156, 1193, 1189, 313, 299, 300, 301, 302, 303, 304,
305, 306, 307, 308, 309, 310, 311, 312, 1197, 1209,
1210, 1218, 313, 1226, 1228, 884, 885, 886, 1213, 1231,
1232, 1235, 1236, 1239, 1245, 81, 320, 1259, 1240, 1267,
1273, 85, 86, 87, 1253, 1255, 88, 89, 90, 91,
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
102, 103, 104, 105, 106, 107, 108, 659, 1257, 513,
1276, 1268, 1279, 1282, 1284, 1289, 1302, 321, 1304, 1288,
1291, 1306, 1308, 326, 1310, 1293, 1319, 1295, 1320, 1321,
1322, 941, 1300, 1324, 932, 1219, 940, 947, 69, 77,
35, 36, 37, 38, 39, 953, 954, 955, 1016, 43,
0, 958, 46, 541, 0, 0, 963, 964, 965, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 980,
0, 0, 0, 326, 0, 987, 0, 0, 990, 0,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 377, 1074,
0, 0, 0, 125, 0, 0, 0, 0, 379, 0,
0, 0, 0, 131, 0, 182, 530, 1011, 299, 300,
301, 302, 303, 304, 305, 306, 307, 308, 309, 310,
311, 312, 807, 0, 0, 0, 313, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 326,
0, 326, 0, 0, 0, 0, 0, 0, 0, 81,
320, 1043, 1044, 1045, 1046, 85, 86, 87, 0, 0,
88, 89, 90, 91, 92, 93, 94, 95, 96, 97,
98, 99, 100, 101, 102, 103, 104, 105, 106, 107,
108, 0, 0, 0, 0, 0, 0, 1082, 0, 0,
326, 321, 0, 0, 0, 0, 0, 0, 1095, 0,
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
0, 0, 0, 0, 35, 36, 37, 38, 39, 0,
0, 0, 0, 43, 0, 0, 46, 0, 0, 0,
0, 0, 841, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 115, 116, 117, 118, 0,
0, 1133, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 123, 322, 0, 0, 0, 125, 0, 0,
0, 0, 128, 0, 0, 0, 0, 131, 0, 0,
530, 0, 0, 0, 81, 82, 83, 0, 84, 0,
85, 86, 87, 0, 0, 88, 89, 90, 91, 92,
93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
103, 104, 105, 106, 107, 108, 1179, 109, 110, 111,
112, 0, 0, 113, 0, 0, 0, 0, 0, 0,
0, 7, 8, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 0, 1208,
0, 0, 0, 0, 484, 15, 16, 485, 18, 19,
486, 21, 487, 23, 0, 24, 0, 26, 27, 0,
29, 30, 31, 0, 114, 33, 34, 0, 0, 0,
115, 116, 117, 118, 119, 120, 121, 122, 0, 0,
0, 0, 0, 0, 0, 0, 0, 123, 124, 50,
51, 52, 125, 0, 126, 127, 0, 128, 0, 129,
0, 130, 131, 0, 132, 81, 320, 348, 0, 0,
0, 85, 86, 87, 0, 0, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
0, 0, 0, 593, 0, 0, 0, 321, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
35, 36, 37, 38, 39, 0, 0, 0, 0, 43,
0, 0, 46, 0, 0, 484, 15, 16, 485, 18,
19, 486, 21, 487, 23, 0, 24, 0, 26, 27,
0, 29, 30, 31, 0, 0, 33, 34, 0, 0,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 123, 339,
50, 51, 52, 125, 0, 0, 0, 0, 128, 0,
81, 320, 985, 131, 0, 340, 85, 86, 87, 0,
0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
97, 98, 99, 100, 101, 102, 103, 104, 105, 106,
107, 108, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 321, 0, 594, 0, 0, 7, 8, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 35, 36, 37, 38, 39,
0, 0, 0, 0, 43, 0, 0, 46, 0, 0,
484, 15, 16, 485, 18, 19, 486, 21, 487, 23,
0, 24, 0, 26, 27, 0, 29, 30, 31, 0,
0, 33, 34, 0, 0, 0, 115, 116, 117, 118,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 123, 339, 50, 51, 52, 125, 0,
0, 0, 0, 128, 0, 81, 320, 0, 131, 0,
986, 85, 86, 87, 0, 0, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 321, 0, 748,
0, 0, 7, 8, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
35, 36, 37, 38, 39, 0, 0, 0, 0, 43,
0, 0, 46, 0, 0, 484, 15, 16, 485, 18,
19, 486, 21, 487, 23, 0, 24, 0, 26, 27,
0, 29, 30, 31, 0, 0, 33, 34, 0, 0,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 123, 339,
50, 51, 52, 125, 0, 0, 0, 0, 128, 0,
81, 320, 0, 131, 0, 340, 85, 86, 87, 0,
0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
97, 98, 99, 100, 101, 102, 103, 104, 105, 106,
107, 108, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 321, 0, 768, 0, 0, 7, 8, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 35, 36, 37, 38, 39,
0, 0, 0, 0, 43, 0, 0, 46, 0, 0,
484, 15, 16, 485, 18, 19, 486, 21, 487, 23,
0, 24, 0, 26, 27, 0, 29, 30, 31, 0,
0, 33, 34, 0, 0, 0, 115, 116, 117, 118,
0, 0, 0, 123, 322, 50, 51, 52, 125, 0,
0, 0, 0, 128, 0, 81, 320, 0, 131, 0,
529, 85, 86, 87, 0, 0, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 321, 0, 1211,
0, 0, 7, 8, 0, 0, 0, 0, 0, 0,
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
35, 36, 37, 38, 39, 877, 0, 0, 0, 43,
0, 0, 46, 0, 0, 484, 15, 16, 485, 18,
19, 486, 21, 487, 23, 0, 24, 0, 26, 27,
0, 29, 30, 31, 0, 0, 33, 34, 921, 0,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 123, 322,
50, 51, 52, 125, 0, 0, 0, 0, 128, 0,
81, 320, 0, 131, 0, 710, 85, 86, 87, 0,
0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
97, 98, 99, 100, 101, 102, 103, 104, 105, 106,
107, 108, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 321, 0, 1262, 0, 299, 300, 301, 302,
303, 304, 305, 306, 307, 308, 309, 310, 311, 312,
0, 0, 0, 0, 313, 35, 36, 37, 38, 39,
1102, 0, 0, 0, 43, 0, 0, 46, 0, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 115, 116, 117, 118,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 123, 339, 0, 0, 0, 125, 0,
0, 0, 0, 128, 0, 81, 320, 0, 131, 0,
989, 85, 86, 87, 0, 0, 88, 89, 90, 91,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 321, 0, 0,
0, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
35, 36, 37, 38, 39, 0, 0, 81, 280, 43,
0, 0, 46, 85, 86, 87, 0, 0, 88, 89,
90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
100, 101, 102, 103, 104, 105, 106, 107, 108, 1120,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 377, 1074,
0, 0, 0, 125, 0, 0, 0, 0, 379, 0,
81, 280, 230, 131, 0, 182, 85, 86, 87, 0,
0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
97, 98, 99, 100, 101, 102, 103, 104, 105, 106,
107, 108, 0, 109, 110, 111, 112, 0, 0, 113,
0, 0, 0, 115, 116, 117, 118, 0, 0, 0,
123, 124, 0, 0, 0, 125, 0, 0, 0, 0,
128, 0, 0, 285, 0, 131, 0, 286, 0, 0,
309, 310, 311, 312, 1146, 0, 0, 0, 313, 0,
0, 0, 0, 0, 0, 0, 115, 116, 117, 118,
0, 0, 0, 0, 0, 0, 1217, 0, 0, 0,
0, 0, 0, 123, 124, 0, 0, 0, 125, 0,
0, 0, 0, 128, 0, 81, 280, 0, 131, 0,
1088, 85, 86, 87, 0, 0, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
81, 280, 0, 0, 0, 0, 85, 86, 87, 0,
0, 88, 89, 90, 91, 92, 93, 94, 95, 96,
97, 98, 99, 100, 101, 102, 103, 104, 105, 106,
107, 108, 0, 0, 0, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 115, 116, 117, 118, 313, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 123, 124,
0, 0, 0, 125, 0, 0, 0, 0, 128, 0,
0, 688, 0, 131, 0, 689, 115, 116, 117, 118,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
0, 0, 0, 377, 378, 846, 0, 0, 125, 0,
0, 0, 0, 379, 0, 81, 320, 0, 131, 0,
182, 85, 86, 87, 0, 0, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 105, 106, 107, 108, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 321, 299, 300,
301, 302, 303, 304, 305, 306, 307, 308, 309, 310,
311, 312, 0, 0, 0, 0, 313, 0, 0, 0,
35, 36, 37, 38, 39, 0, 0, 81, 280, 43,
0, 0, 46, 85, 86, 87, 0, 0, 88, 89,
90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
100, 101, 102, 103, 104, 105, 106, 107, 108, 1260,
0, 115, 116, 117, 118, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 123, 322,
0, 0, 0, 125, 81, 280, 230, 0, 128, 0,
85, 86, 87, 131, 0, 88, 89, 90, 91, 92,
93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
103, 104, 105, 106, 107, 108, 514, 109, 110, 111,
112, 0, 0, 113, 0, 0, 0, 0, 0, 0,
0, 0, 0, 115, 116, 117, 118, 514, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
123, 124, 0, 0, 0, 125, 590, 0, 0, 0,
128, 0, 0, 0, 0, 131, 0, 0, 0, 0,
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
309, 310, 311, 312, 681, 0, 0, 0, 313, 0,
115, 116, 117, 118, 0, 0, 0, 0, 0, 0,
0, 0, 0, 825, 0, 0, 0, 123, 124, 0,
0, 0, 125, 0, 0, 0, 0, 128, 0, 0,
0, 0, 131, 889, 0, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 515, 311, 312, 0,
0, 0, 0, 313, 0, 0, 299, 300, 301, 302,
303, 304, 305, 306, 307, 308, 309, 532, 311, 312,
0, 0, 0, 0, 313, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 0, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 312, 0, 0, 0, 0,
313, 0, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 312, 0, -4, 1, 0,
313, -4, 0, 0, 0, 0, 0, 0, 0, -4,
-4, 0, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 312, 0, 0, 0, 0,
313, 0, -4, 0, 0, 0, 0, -4, -4, 713,
-4, -4, -4, -4, -4, -4, -4, -4, -4, -4,
-4, -4, 0, -4, -4, -4, -4, -4, -4, -4,
-4, 0, -4, -4, -4, -4, -4, -4, -4, -4,
-4, 0, -4, -4, -4, -4, -4, -4, 0, 0,
-4, -4, 6, 0, 0, 0, -4, -4, -4, -4,
7, 8, -4, 0, -4, 0, -4, -4, -4, -4,
-4, -4, -4, -4, -4, -4, 0, 0, 0, 0,
0, 0, 0, 9, 0, 0, 0, 0, 10, 11,
0, 12, 13, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 0, 24, 25, 26, 27, 28, 29,
30, 31, 0, 32, 33, 34, 35, 36, 37, 38,
39, 40, 0, 41, 42, 43, 44, 45, 46, 7,
8, 47, 48, 0, 0, 0, 0, 49, 50, 51,
52, 0, 0, 53, 0, 54, 0, 55, 56, 57,
58, 59, 60, 61, 62, 63, 64, 0, 0, 0,
0, 0, 484, 15, 16, 485, 18, 19, 486, 21,
487, 23, 0, 24, 0, 26, 27, 0, 29, 30,
31, 0, 0, 33, 34, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 50, 51, 52,
1056, 0, 1057, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 1083, 0,
1084, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 1166, 0, 1167, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 751, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 0, 0, 777, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 824, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 0, 0,
862, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 0, 0, 1054, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 1071, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 0, 0, 1108, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 1109, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 0, 0,
1110, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 0, 0, 1111, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 1141, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 0, 0, 1181, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 1186, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 0, 0,
1187, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 0, 0, 1199, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 1202, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 0, 0, 1205, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 1225, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 0, 0,
1227, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 0, 0, 1254, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 0, 0, 1256, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 0, 0, 1258, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
0, 0, 1271, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 472, 0, 0, 0, 0, 554, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 508, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
554, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 555, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 587, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 632, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 633, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
646, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 647, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 648, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 649, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 650, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
651, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 739, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 740, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 741, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 821, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 312, 0,
0, 0, 0, 313, 0, 0, 0, 0, 0, 0,
860, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 312, 0, 0, 0, 0, 313,
0, 0, 0, 0, 0, 0, 861, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
312, 0, 0, 0, 0, 313, 0, 0, 0, 0,
0, 0, 888, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 312, 0, 0, 0,
0, 313, 0, 0, 0, 0, 0, 0, 1004, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309,
310, 311, 312, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 1005, 299, 300, 301, 302, 303,