Newer
Older
2803, 2826, 2849, 2852, 2861, 2865, 2881, 2882, 2883, 2884,
2885, 2886, 2887, 2888, 2889, 2896, 2897, 2898, 2899, 2900,
2901, 2902, 2903, 2904, 2905, 2906, 2907, 2908, 2909, 2910,
2911, 2912, 2913, 2914, 2915, 2916, 2917, 2918, 2919, 2920,
2921, 2922, 2923, 2924, 2925, 2926, 2927, 2929, 2930, 2931,
2932, 2933, 2934, 2935, 2936, 2937, 2938, 2939, 2940, 2941,
2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2958, 2959,
2960, 2961, 2962, 2963, 2964, 2968, 2981, 2993, 3008, 3018,
3028, 3046, 3051, 3056, 3066, 3076, 3084, 3088, 3092, 3096,
3100, 3107, 3111, 3115, 3119, 3126, 3131, 3138, 3143, 3147,
3152, 3156, 3164, 3175, 3179, 3191, 3199, 3207, 3214, 3225,
3245, 3255, 3265, 3275, 3295, 3300, 3304, 3308, 3320, 3324,
3336, 3343, 3353, 3357, 3372, 3377, 3384, 3388, 3401, 3409,
3420, 3424, 3432, 3440, 3454, 3468, 3472
#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",
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
"tBoundingBox", "tDraw", "tToday", "tSyncModel", "tCreateTopology",
"tPoint", "tCircle", "tEllipse", "tLine", "tSphere", "tPolarSphere",
"tSurface", "tSpline", "tVolume", "tCharacteristic", "tLength",
"tParametric", "tElliptic", "tPlane", "tRuled", "tTransfinite",
"tComplex", "tPhysical", "tCompound", "tUsing", "tPlugin", "tRotate",
"tTranslate", "tSymmetry", "tDilate", "tExtrude", "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", "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, 63, 369, 370, 371, 372, 60,
62, 373, 374, 43, 45, 42, 47, 37, 33, 375,
376, 377, 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, 143, 144, 144, 145, 145, 146, 146, 146, 146,
146, 146, 146, 146, 146, 146, 146, 146, 146, 146,
147, 147, 148, 148, 148, 148, 149, 149, 149, 150,
150, 150, 150, 150, 150, 151, 151, 152, 152, 154,
155, 153, 156, 156, 158, 157, 159, 159, 161, 160,
162, 162, 164, 163, 165, 165, 165, 165, 165, 166,
166, 167, 167, 167, 167, 167, 167, 167, 167, 167,
167, 167, 167, 167, 167, 167, 167, 167, 167, 167,
167, 167, 167, 167, 167, 167, 168, 168, 169, 169,
170, 170, 171, 172, 171, 171, 171, 171, 171, 171,
171, 171, 171, 171, 171, 173, 171, 171, 171, 171,
171, 171, 171, 171, 171, 174, 171, 171, 171, 171,
171, 171, 175, 171, 176, 176, 176, 176, 176, 176,
176, 177, 177, 178, 178, 178, 178, 178, 178, 179,
179, 179, 179, 179, 180, 181, 181, 181, 181, 182,
182, 183, 183, 183, 183, 183, 183, 183, 183, 183,
183, 184, 184, 184, 185, 184, 186, 184, 187, 184,
188, 184, 184, 184, 184, 184, 184, 184, 184, 184,
184, 189, 184, 190, 184, 191, 184, 192, 184, 193,
184, 194, 184, 195, 184, 196, 184, 197, 184, 198,
198, 199, 199, 199, 199, 199, 200, 200, 201, 201,
202, 202, 203, 203, 204, 204, 204, 204, 204, 204,
205, 205, 205, 205, 206, 206, 207, 207, 207, 207,
Christophe Geuzaine
committed
207, 207, 207, 207, 207, 207, 207, 207, 207, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 207,
207, 207, 207, 207, 207, 207, 207, 207, 207, 207,
207, 207, 207, 207, 207, 207, 207, 207, 208, 208,
208, 208, 208, 208, 208, 208, 208, 208, 208, 208,
208, 208, 208, 208, 208, 208, 209, 209, 209, 209,
209, 210, 210, 210, 210, 211, 211, 212, 212, 212,
212, 212, 212, 213, 213, 214, 214, 214, 214, 214,
214, 214, 214, 214, 215, 215, 215, 215, 216, 216,
216, 216, 217, 217, 218, 218, 219, 219, 219, 219,
220, 220, 220, 220, 220, 220, 220
/* 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, 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,
Christophe Geuzaine
committed
7, 9, 9, 11, 9, 9, 1, 1, 0, 5,
Christophe Geuzaine
committed
0, 2, 7, 0, 9, 6, 7, 7, 8, 8,
17, 7, 7, 11, 8, 0, 9, 8, 9, 3,
4, 10, 7, 7, 8, 0, 9, 8, 12, 8,
8, 7, 0, 9, 5, 11, 5, 9, 4, 9,
9, 1, 1, 0, 2, 6, 6, 6, 6, 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, 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, 165, 0, 170, 0, 0, 167, 0, 0,
0, 0, 5, 7, 6, 8, 9, 10, 11, 12,
13, 19, 18, 14, 15, 16, 17, 298, 305, 360,
54, 299, 300, 301, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 361,
0, 0, 302, 303, 304, 58, 57, 56, 55, 0,
0, 0, 60, 59, 0, 0, 0, 0, 133, 0,
0, 0, 236, 0, 0, 0, 0, 157, 0, 159,
156, 160, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 93, 105, 115, 122, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 316,
0, 0, 0, 0, 0, 133, 0, 0, 0, 0,
0, 0, 133, 0, 234, 0, 0, 0, 0, 0,
0, 0, 350, 0, 0, 0, 0, 0, 155, 0,
0, 166, 0, 133, 0, 133, 0, 0, 0, 0,
309, 29, 360, 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, 305, 239, 238, 240, 0, 0, 0, 0,
0, 0, 0, 0, 0, 132, 0, 131, 0, 66,
152, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 149, 109, 0, 0,
0, 0, 305, 0, 0, 340, 341, 344, 345, 0,
0, 0, 0, 327, 0, 328, 0, 0, 0, 0,
0, 334, 333, 0, 220, 220, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 318, 317, 0, 0,
0, 0, 133, 133, 0, 0, 0, 0, 0, 0,
0, 180, 0, 133, 222, 0, 0, 0, 142, 0,
0, 0, 235, 0, 0, 0, 154, 0, 0, 0,
0, 0, 133, 0, 0, 0, 0, 168, 145, 0,
146, 0, 0, 0, 311, 0, 0, 68, 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,
357, 0, 356, 0, 0, 0, 0, 0, 0, 237,
0, 0, 0, 0, 54, 0, 0, 0, 0, 0,
128, 0, 0, 0, 0, 134, 61, 0, 254, 253,
252, 251, 247, 248, 250, 249, 242, 241, 243, 244,
245, 246, 110, 0, 0, 0, 0, 0, 0, 238,
335, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 329, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 218, 0,
0, 0, 320, 319, 0, 0, 0, 0, 0, 0,
0, 0, 0, 174, 0, 0, 0, 0, 143, 0,
0, 139, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 169, 0, 147, 148, 0, 307, 313,
0, 39, 0, 0, 0, 52, 0, 30, 31, 32,
33, 34, 256, 277, 257, 278, 258, 279, 259, 280,
260, 281, 261, 282, 262, 283, 263, 284, 264, 285,
276, 297, 265, 286, 0, 0, 267, 288, 268, 289,
269, 290, 270, 291, 271, 292, 272, 293, 0, 0,
0, 0, 0, 0, 0, 0, 365, 0, 0, 363,
364, 79, 0, 0, 0, 0, 0, 54, 0, 0,
0, 0, 0, 73, 0, 0, 0, 0, 308, 0,
0, 0, 0, 0, 22, 20, 0, 0, 0, 0,
342, 0, 0, 337, 243, 336, 346, 347, 0, 0,
0, 330, 0, 0, 0, 0, 0, 0, 0, 216,
221, 219, 0, 227, 0, 0, 86, 87, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 124, 126,
0, 0, 0, 0, 0, 0, 0, 0, 209, 0,
171, 0, 223, 228, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 144, 0, 0, 0,
0, 0, 0, 310, 0, 306, 0, 0, 0, 0,
0, 26, 0, 0, 0, 0, 0, 0, 0, 0,
0, 358, 0, 0, 0, 307, 64, 65, 0, 0,
0, 0, 0, 67, 69, 71, 0, 0, 354, 0,
77, 0, 0, 0, 0, 255, 21, 0, 0, 0,
0, 0, 339, 0, 0, 90, 90, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 331, 0, 95,
0, 0, 0, 0, 0, 0, 0, 225, 0, 0,
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
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
0, 0, 0, 0, 214, 0, 0, 181, 210, 0,
0, 229, 0, 141, 140, 0, 27, 28, 0, 0,
0, 351, 0, 0, 0, 161, 0, 0, 151, 312,
150, 0, 0, 0, 0, 325, 0, 266, 287, 273,
294, 274, 295, 275, 296, 0, 366, 362, 315, 0,
54, 0, 0, 0, 0, 62, 0, 0, 0, 352,
0, 0, 0, 0, 23, 24, 0, 0, 92, 0,
338, 0, 0, 0, 0, 0, 96, 0, 0, 112,
113, 0, 0, 97, 121, 332, 0, 0, 0, 0,
88, 0, 224, 0, 0, 0, 0, 0, 0, 0,
0, 153, 0, 0, 0, 0, 133, 0, 191, 0,
193, 0, 195, 327, 0, 0, 0, 0, 175, 0,
0, 101, 102, 0, 0, 0, 0, 80, 0, 314,
0, 35, 0, 0, 0, 0, 0, 37, 0, 0,
0, 0, 74, 0, 0, 75, 0, 355, 135, 136,
137, 138, 0, 0, 343, 0, 91, 98, 99, 104,
0, 0, 114, 0, 0, 0, 226, 107, 0, 0,
217, 120, 0, 0, 0, 0, 119, 0, 117, 0,
0, 0, 324, 0, 323, 0, 0, 182, 0, 0,
183, 0, 0, 184, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 349, 0, 163, 162, 0, 0,
0, 40, 0, 0, 0, 326, 0, 0, 0, 359,
63, 70, 72, 0, 78, 0, 25, 0, 0, 0,
0, 0, 0, 0, 0, 108, 94, 106, 116, 123,
0, 84, 85, 133, 0, 127, 0, 0, 0, 0,
0, 0, 211, 0, 0, 133, 0, 130, 129, 0,
0, 0, 0, 81, 82, 0, 36, 0, 0, 0,
38, 53, 0, 353, 0, 230, 231, 232, 233, 111,
0, 0, 0, 0, 0, 322, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 176, 0,
0, 348, 164, 0, 0, 0, 0, 0, 76, 0,
0, 0, 0, 125, 0, 197, 0, 0, 199, 0,
0, 201, 0, 0, 0, 212, 0, 172, 0, 133,
103, 83, 0, 44, 0, 50, 0, 0, 0, 89,
118, 321, 185, 0, 0, 192, 186, 0, 0, 194,
187, 0, 0, 196, 0, 0, 0, 178, 0, 0,
0, 0, 0, 0, 0, 203, 0, 205, 0, 207,
213, 215, 177, 173, 0, 41, 0, 48, 0, 0,
0, 0, 188, 0, 0, 189, 0, 0, 190, 0,
0, 0, 42, 0, 0, 158, 0, 0, 0, 0,
0, 0, 0, 179, 0, 0, 0, 0, 0, 198,
0, 200, 0, 202, 0, 43, 45, 0, 46, 0,
100, 0, 0, 0, 0, 0, 51, 204, 206, 208,
47, 49
/* YYDEFGOTO[NTERM-NUM]. */
static const yytype_int16 yydefgoto[] =
{
-1, 2, 3, 62, 666, 63, 64, 406, 970, 976,
587, 756, 1105, 1231, 588, 1199, 1257, 589, 1233, 590,
591, 760, 129, 220, 65, 705, 1009, 913, 475, 347,
348, 349, 350, 315, 286, 287, 68, 69, 70, 71,
72, 316, 731, 1168, 1214, 551, 1028, 1031, 1034, 1183,
1187, 1191, 1223, 1226, 1229, 727, 728, 826, 702, 528,
555, 74, 75, 76, 333, 132, 356, 179, 874, 875,
343, 335, 319, 204, 657, 789, 451, 452
/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
STATE-NUM. */
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
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
2865, 35, 28, 2943, -1044, -1044, 1364, 32, 11, -74,
15, 59, 88, 97, 40, -55, -12, -47, -3, 7,
-53, 39, 45, 269, -42, 211, 284, 297, 529, 296,
501, 582, 223, 217, 218, 218, 227, -16, 337, 350,
375, 10, 86, 405, 430, 450, 459, 289, 341, 360,
16, 30, -1044, 373, -1044, 464, 383, -1044, 520, 528,
20, 25, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, 22, 393,
31, -1044, -1044, -1044, 57, 72, 82, 130, 342, 374,
386, 486, 506, 531, 537, 552, 571, 576, 608, 614,
635, 641, 645, 650, 654, 414, 423, 427, 434, -1044,
572, 454, -1044, -1044, -1044, -1044, -1044, -1044, -1044, 2308,
2308, 2308, -1044, -1044, 2308, 1877, 19, 603, 504, 2308,
605, 600, -1044, 612, 623, 2308, 629, -1044, 2308, -1044,
-1044, -1044, 2308, 2239, 2308, 2308, 482, 2308, 2239, 2308,
2308, 517, 2239, 2308, 2308, 1544, 525, 2308, 533, 551,
580, 1412, 1412, 1412, 597, -1044, -1044, -1044, -1044, 601,
617, 621, 729, 218, 218, 218, 2308, 2308, 204, -1044,
231, 218, 598, 615, 631, 2107, 258, 1412, 1544, 642,
27, 644, -1044, 776, -1044, 655, 656, 661, 807, 2308,
2308, 2308, 692, 2308, 698, 746, 2308, 2308, -1044, 2308,
857, -1044, 862, -1044, 881, -1044, 759, 2308, 896, 761,
-1044, -1044, -1044, 897, 2308, 2308, 2308, 2308, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 2308, 609, 609, 609, 609,
2308, 899, 507, 774, 774, 774, 5176, 9, 2239, 4440,
207, 765, 900, 775, 769, -1044, 772, 3009, 684, -1044,
-1044, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 2308, -1044, -1044, 886, -14,
3686, 5197, 570, 777, 2239, -1044, -1044, 1147, -1044, 550,
5218, 5239, 2308, 5260, 651, 5281, 5302, 2308, 673, 5323,
5344, 1676, 1214, 1186, 907, -1044, 2308, 5365, 2308, 2308,
2308, -1044, -1044, 908, 911, 911, 2308, 786, 787, 790,
795, 2308, 2308, 2308, 798, -68, -1044, -1044, 3712, 3738,
218, 218, 504, 504, 63, 2308, 2308, 2308, 2107, 2107,
2308, 3009, 145, -1044, 926, 927, 2308, 931, -1044, 2308,
2308, 1582, -1044, 2239, 2308, 2308, -1044, 5386, 5407, 5428,
846, 3764, -1044, 799, 2667, 5449, 4463, -1044, -1044, 1714,
-1044, 1978, 2308, 4486, -49, 2308, 13, -1044, 5470, 4509,
5491, 4532, 5512, 4555, 5533, 4578, 5554, 4601, 5575, 4624,
5596, 4647, 5617, 4670, 5638, 4693, 5659, 4716, 5680, 4739,
3790, 3816, 5701, 4762, 5722, 4785, 5743, 4808, 5764, 4831,
5785, 4854, 5806, 4877, 3842, 3868, 3894, 3920, 3946, 3972,
682, 132, -1044, 801, 808, 809, 1066, 802, 2308, -1044,
1544, 1544, 685, 192, 31, 2308, 938, 941, 18, 810,
-1044, 43, 34, -31, 210, -1044, -1044, 2687, 903, 640,
556, 556, 536, 536, 536, 536, 610, 610, 774, 774,
774, 774, -1044, 6, 2239, 2308, 944, 2072, 2308, 774,
-1044, 2308, 2239, 2239, 853, 945, 946, 5827, 948, 861,
950, 951, 5848, 864, 953, 954, 2239, -1044, 686, 1808,
2308, 5869, 956, 2766, 5890, 5911, 2308, 1544, 960, 959,
5932, 2365, 2365, 2365, 2365, 5953, 5974, 5995, 831, 218,
2308, 2308, -1044, -1044, 828, 830, 2308, 3998, 4024, 4050,
3660, -28, 218, 2100, 2308, 969, 2308, 6016, -1044, 4900,
4923, -1044, 689, 4946, 4969, 970, 972, 974, 839, 2308,
2407, 2308, 2308, -1044, 8, -1044, -1044, 4992, 38, -1044,
3044, -1044, 855, 856, 850, -1044, 980, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, 2308, 2308, -1044, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, 2308, 2308,
2308, 2308, 2308, 2308, 2308, 987, -1044, 2239, 609, -1044,
-1044, -1044, 2308, 5015, 986, 988, 859, -1044, 42, 2308,
990, 991, 2050, -1044, 1007, 858, 16, 1009, -1044, 2239,
2239, 2239, 2239, 2308, -1044, 912, 609, 167, 4076, 218,
-1044, 2239, 3072, 2713, 774, -1044, 1147, -1044, 965, 1544,
1544, 1024, 1544, 770, 1544, 1544, 1027, 983, 1544, 1544,
695, -1044, 2239, 2471, 1031, 901, 1033, 1036, 1037, 2172,
-1044, -1044, 1039, -1044, 1040, 914, 6247, -1044, 916, 918,
919, 1047, 1050, 1051, 1055, 229, 4102, 4128, -1044, -1044,
3100, 218, 218, 218, 1054, 921, 929, -25, -1044, 312,
-1044, -28, 6247, -1044, 2494, 923, 1061, 1062, 1018, 1065,
1067, 1544, 1544, 1544, 1070, 4154, -1044, 2736, 478, 1074,
1075, 1077, 1084, -1044, 1085, -1044, 957, 2308, 2308, 1544,
952, -1044, 6037, 5038, 6058, 5061, 6079, 5084, 6100, 5107,
5130, -1044, 252, 947, 6121, 79, -1044, -1044, 170, 368,
958, 1087, 2514, -1044, -1044, -1044, 16, 2308, -1044, 696,
-1044, 703, 706, 709, 710, 6247, -1044, 1090, 46, 2308,
4, 713, -1044, 2308, 963, 1041, 1041, 1544, 1091, 964,
966, 1092, 1094, 1544, 967, 1099, 1104, -1044, 714, -1044,
1107, 2308, 1544, 1544, 1544, 1110, 1111, -1044, 1544, 1109,
1112, 1113, 1114, 1544, 1544, 1544, 175, 2308, 2308, 2308,
982, -75, -40, -35, -1044, 1544, 2308, -1044, -1044, 2107,
134, -1044, 2239, -1044, -1044, 984, -1044, -1044, 1117, 1119,
1035, -1044, 2308, 2308, 2308, -1044, 1121, 1122, -1044, -49,
-1044, 2308, 4180, 4206, 720, -1044, 2308, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, 993, -1044, -1044, -1044, 1544,
31, 2308, 1126, 1124, 18, -1044, 1127, 5153, 16, -1044,
1128, 1129, 1130, 1131, -1044, -1044, 609, 4232, -1044, 1003,
6247, 2308, 218, 1134, 1135, 1136, -1044, 2308, 2308, -1044,
-1044, 1137, 2308, -1044, -1044, -1044, 1139, 4258, 1140, 1141,
1053, 2308, -1044, 1143, 1544, 1544, 1544, 1544, 1145, 1148,
1151, -1044, 2365, 3128, 6142, 2960, 504, 218, 1152, 218,
1153, 218, 1155, 292, 1006, 6163, 3156, 334, -1044, 721,
2308, -1044, -1044, 1544, 2988, 323, 6184, -1044, 1940, -1044,
256, 6247, 2308, 2308, 1544, 1014, 725, 6247, 1158, 1157,
1159, 2547, -1044, 1160, 1163, -1044, 1029, -1044, -1044, -1044,
-1044, -1044, 1164, 2308, -1044, 3184, 186, -1044, -1044, -1044,
3212, 3240, -1044, 3268, 1167, 2308, -1044, -1044, 1115, 1168,
6247, -1044, 1169, 1189, 1190, 1191, -1044, 1059, -1044, 2567,
1194, 1063, -1044, 2308, -1044, 1032, 348, -1044, 1064, 361,
-1044, 1068, 378, -1044, 1069, 1195, 1544, 1199, 1071, 2308,
1196, 3296, 1120, 2308, -1044, 2308, -1044, -1044, 2239, 2593,
1201, -1044, 2308, 4284, 4310, -1044, 1544, 2308, 1206, -1044,
-1044, -1044, -1044, 16, -1044, 1133, -1044, 4336, 1207, 1208,
1209, 1213, 1215, 4362, 1080, -1044, -1044, -1044, -1044, -1044,
1544, -1044, -1044, 504, 3016, -1044, 2107, -28, 2107, -28,
2107, -28, -1044, 730, 1544, -1044, 3324, -1044, -1044, 2308,
3352, 3380, 734, -1044, -1044, 1082, 6247, 2308, 2308, 737,
6247, -1044, 1221, -1044, 2308, -1044, -1044, -1044, -1044, -1044,
1244, 2308, 738, 1116, 2308, -1044, 3408, 418, 195, 3436,
420, 198, 3464, 493, 235, 1544, 1245, 1188, 2463, 1118,
2616, -1044, -1044, 1247, 2308, 6205, 4388, 21, -1044, 4414,
1138, 3492, 1248, -1044, 3520, 1249, 2308, 1250, 1254, 2308,
1269, 1270, 2308, 1280, 1146, -1044, 2308, -1044, -28, -1044,
-1044, -1044, 741, -1044, 2308, -1044, 1544, 2308, 1284, -1044,
-1044, -1044, -1044, 1150, 3548, -1044, -1044, 1154, 3576, -1044,
-1044, 1156, 3604, -1044, 1286, 2636, 315, 2518, 1287, 1174,
6226, 742, 3632, 1176, -28, 1289, -28, 1291, -28, 1292,
-1044, -1044, -1044, -1044, -28, -1044, 609, -1044, 1177, 1293,
1311, 349, -1044, 1179, 353, -1044, 1184, 388, -1044, 1185,
404, 745, -1044, 1187, 1544, -1044, 1192, 1320, -28, 1322,
-28, 1323, -28, -1044, 609, 1324, 609, 749, 1325, -1044,
433, -1044, 444, -1044, 511, -1044, -1044, 752, -1044, 1326,
-1044, 1328, 1329, 1333, 609, 1334, -1044, -1044, -1044, -1044,
-1044, -1044
/* YYPGOTO[NTERM-NUM]. */
static const yytype_int16 yypgoto[] =
{
-1044, -1044, -1044, -1044, 452, -1044, -1044, -1044, -1044, 197,
-1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044,
-1044, -1044, -275, -2, -1044, 161, -1044, 538, 1340, -1044,
-1044, -1044, -1044, 3, -355, -113, -1044, -1044, -1044, -1044,
-1044, 1342, -1044, -1044, -1044, -1044, -1044, -1044, -1044, -1044,
-1044, -1044, -1044, -1044, -1044, -420, -666, -1044, -1044, 1001,
-1044, -1044, -1044, -1044, -6, -1044, 23, -1044, -1043, 242,
-124, 237, 37, -637, 455, -1044, -266, 5
/* 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[] =
{
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
131, 453, 454, 455, 130, 465, 67, 544, 545, 156,
908, 133, 664, 1109, 190, 749, 460, 581, 151, 788,
202, 137, 655, 280, 146, 212, 216, 1175, 5, 182,
214, 377, 183, 378, 205, 184, 222, 1122, 344, 345,
151, 4, 450, 222, 724, 134, 779, 724, 360, 361,
725, 726, 905, 725, 726, 360, 361, 178, 180, 136,
186, 848, 135, 374, 947, 139, 948, 105, 106, 107,
108, 539, 371, 109, 105, 106, 107, 108, 144, 381,
109, 122, 123, 360, 361, 223, 147, 152, 360, 361,
193, 157, 194, 148, 140, 582, 583, 584, 585, 949,
399, 950, 401, 141, 951, 146, 952, 174, 175, 661,
191, 281, 282, 273, 274, 275, 847, 176, 276, 279,
493, 145, 461, 288, 185, 494, 665, 360, 361, 308,
149, 285, 310, 1201, 780, 781, 311, 317, 320, 321,
150, 323, 317, 325, 326, 750, 317, 329, 330, 896,
192, 337, 122, 123, 586, 138, 203, 217, 656, 218,
213, 1176, 379, 206, 219, 215, 665, 147, 122, 123,
358, 359, 153, 142, 660, 752, 142, 647, 154, 359,
143, 941, 942, 659, 848, 324, 360, 361, 649, 328,
224, 1247, 225, 387, 388, 389, 355, 391, 357, 647,
394, 395, 546, 396, 364, 226, 724, 227, 372, 122,
123, 403, 725, 726, 464, 228, 752, 229, 408, 409,
410, 411, 412, 413, 414, 415, 416, 417, 418, 419,
420, 421, 422, 423, 424, 425, 426, 427, 428, 429,
430, 431, 432, 433, 434, 435, 436, 437, 438, 439,
1499
1500
1501
1502
1503
1504
1505
1506
1507
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
440, 441, 442, 443, 444, 445, 446, 447, 448, 449,
553, 987, 158, 230, 456, 231, 636, 724, 360, 361,
724, 637, 317, 725, 726, 958, 725, 726, 466, 570,
115, 116, 117, 118, 552, 477, 478, 479, 480, 481,
482, 483, 484, 485, 486, 487, 488, 489, 490, 491,
501, 798, 115, 116, 117, 118, 503, 724, 499, 360,
361, 850, 754, 725, 726, 462, 507, 115, 116, 117,
118, 512, 122, 123, 155, 499, 317, 360, 361, 648,
521, 1045, 523, 524, 525, 159, 1157, 122, 123, 1160,
530, 174, 175, 154, 362, 535, 536, 537, 160, 164,
662, 176, 360, 361, 360, 361, 172, 173, 177, 547,
548, 549, 273, 274, 550, 285, 285, 181, 837, 518,
557, 363, 773, 559, 560, 890, 1163, 317, 563, 564,
318, 360, 361, 542, 543, 318, 886, 724, 187, 318,
1051, 503, 357, 725, 726, 1052, 577, 334, 373, 580,
797, 188, 579, 342, 342, 342, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 519, 303, 304,
562, 724, 199, 189, 305, 724, 1112, 725, 726, 342,
375, 725, 726, 1035, 196, 360, 361, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 849, 643, 195, 197, 305, 1212, 360, 361, 652,
724, 650, 848, 198, 1046, 848, 725, 726, 848, 651,
208, 360, 361, 1039, 200, 232, 724, 233, 115, 116,
117, 118, 725, 726, 360, 361, 864, 1086, 317, 668,
1237, 643, 672, 201, 1239, 673, 674, 676, 122, 123,
1088, 360, 361, 889, 891, 724, 207, 234, 284, 235,
317, 725, 726, 674, 693, 318, 724, 1090, 209, 236,
699, 237, 725, 726, 210, 706, 706, 706, 706, 1241,
848, 667, 211, 221, 716, 717, 707, 707, 707, 707,
720, 360, 361, 360, 361, 1243, 165, 266, 732, 166,
734, 500, 167, 690, 168, 848, 267, 1156, 848, 1159,
268, 848, 715, 745, 848, 747, 748, 269, 500, 318,
33, 34, 35, 36, 1261, 729, 753, 161, 40, 270,
162, 43, 163, 724, 848, 1262, 848, 271, 848, 725,
726, 1025, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 290, 283, 762, 763,
305, 289, 865, 450, 222, 322, 360, 361, 306, 238,
318, 239, 764, 765, 766, 767, 768, 769, 770, 307,
169, 317, 1162, 170, 309, 171, 774, 122, 123, 240,
992, 241, 458, 782, 218, 105, 106, 107, 108, 219,
327, 109, 1263, 317, 317, 317, 317, 795, 336, 300,
301, 302, 303, 304, 242, 317, 243, 1128, 305, 1131,
244, 1134, 245, 338, 772, 296, 297, 298, 299, 300,
301, 302, 303, 304, 339, 246, 317, 247, 305, 503,
476, 504, 800, 708, 709, 710, 791, 792, 793, 794,
122, 123, 644, 645, 248, 497, 249, 218, 801, 250,
128, 251, 219, 340, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 1123, 818,
346, 318, 305, 354, 351, 302, 303, 304, 365, 675,
677, 252, 305, 253, 841, 842, 843, 254, 1196, 255,
352, 872, 873, 318, 353, 366, 675, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 256, 700,
257, 367, 305, 753, 258, 376, 259, 892, 260, 380,
261, 897, 382, 262, 1221, 263, 1224, 264, 1227, 265,
503, 384, 509, 907, 1230, 383, 385, 910, 291, 292,
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
303, 304, 503, 386, 513, 927, 305, 634, 1250, 635,
1252, 809, 1254, 810, 503, 503, 646, 691, 503, 390,
738, 943, 944, 945, 503, 898, 817, 899, 392, 953,
955, 393, 503, 956, 900, 503, 317, 901, 503, 503,
902, 903, 503, 503, 909, 925, 964, 965, 966, 974,
503, 975, 1040, 397, 1057, 971, 1058, 969, 398, 1135,
977, 1136, 957, 503, 318, 1143, 974, 974, 1147, 1152,
1057, 974, 1198, 1218, 1244, 981, 1245, 400, 974, 959,
1259, 1264, 492, 1265, 402, 980, 318, 318, 318, 318,
404, 405, 467, 407, 457, 995, 305, 468, 318, 128,
469, 1000, 1001, 470, 520, 526, 1003, 498, 527, 531,
532, 805, 806, 533, 808, 1010, 811, 812, 534, 318,
815, 816, 538, 554, 556, 996, 1019, 558, 568, 571,
638, 642, 639, 640, 653, 654, 658, 1020, 678, 285,
1232, 669, 679, 680, 1041, 682, 683, 684, 685, 687,
688, 689, 1049, 695, 701, 703, 1053, 1054, 714, 718,
1026, 719, 1029, 1050, 1032, 733, 744, 741, 1255, 742,
1258, 743, 1138, 858, 859, 860, 761, 1067, 757, 758,
759, 771, 776, 787, 777, 778, 783, 784, 1270, 1073,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 786, 790, 804, 1084, 305, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 807, 796, 1096, 813, 305, 814, 1100, 820, 1101,
822, 821, 317, 823, 824, 827, 1106, 828, 829, 915,
830, 1110, 831, 832, 833, 921, 1197, 834, 835, 836,
844, 845, 846, 852, 928, 929, 930, 853, 854, 855,
933, 856, 641, 857, 861, 938, 939, 940, 866, 867,
1126, 887, 1129, 868, 1132, 1102, 285, 954, 869, 318,
871, 870, 876, 1140, 894, 893, 904, 916, 919, 912,
920, 1145, 1146, 911, 917, 923, 918, 922, 1149, 1127,
924, 1130, 926, 1133, 931, 1151, 934, 932, 1154, 935,
936, 937, 946, 961, 960, 962, 963, 967, 983, 968,
978, 979, 982, 985, 988, 989, 990, 991, 977, 994,
997, 998, 999, 1002, 1004, 1036, 1006, 1007, 1008, 1011,
1184, 1016, 1017, 1188, 1056, 501, 1192, 1018, 1027, 1030,
1195, 1033, 1059, 1060, 1074, 1061, 1065, 1063, 1200, 1064,
1066, 1202, 1072, 1085, 1075, 1076, 1012, 1013, 1014, 1015,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 501, 1077, 1078, 1079, 305, 1080,
1082, 1092, 1097, 1083, 1087, 1042, 1094, 1104, 1089, 1091,
1099, 1095, 1111, 1115, 1116, 1117, 1055, 77, 312, 1118,
1121, 1119, 1144, 81, 82, 83, 1113, 1148, 84, 85,
86, 87, 88, 89, 90, 91, 92, 93, 94, 95,
96, 97, 98, 99, 100, 101, 102, 103, 104, 1150,
906, 1165, 1166, 1171, 1180, 1182, 1185, 1153, 1169, 313,
1186, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 502, 303, 304, 1189, 1190, 1178, 1093, 305,
33, 34, 35, 36, 37, 318, 1193, 1194, 40, 1203,
1204, 43, 1210, 1215, 1206, 1222, 1208, 1225, 1228, 1235,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 519, 303, 304, 1216, 1220, 1236, 1234, 305, 1238,
111, 112, 113, 114, 1240, 1242, 1249, 1246, 1251, 1253,
1256, 1260, 1266, 1248, 1267, 1268, 1137, 119, 314, 1269,
1271, 1172, 121, 66, 914, 73, 529, 124, 0, 984,
0, 0, 127, 0, 0, 517, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 77, 78, 79,
0, 80, 0, 81, 82, 83, 0, 1164, 84, 85,
86, 87, 88, 89, 90, 91, 92, 93, 94, 95,
96, 97, 98, 99, 100, 101, 102, 103, 104, 0,
105, 106, 107, 108, 0, 0, 109, 0, 0, 0,
0, 0, 0, 0, 0, 77, 312, 341, 0, 0,
0, 81, 82, 83, 0, 0, 84, 85, 86, 87,
98, 99, 100, 101, 102, 103, 104, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 313, 0, 0,
0, 0, 0, 0, 110, 0, 0, 0, 0, 0,
111, 112, 113, 114, 115, 116, 117, 118, 33, 34,
35, 36, 37, 0, 0, 0, 40, 119, 120, 43,
0, 0, 121, 0, 122, 123, 0, 124, 0, 125,
0, 126, 127, 0, 128, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 111, 112,
113, 114, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 119, 331, 0, 0, 0,
121, 0, 0, 0, 0, 124, 0, 77, 312, 0,
127, 0, 332, 81, 82, 83, 0, 0, 84, 85,
86, 87, 88, 89, 90, 91, 92, 93, 94, 95,
96, 97, 98, 99, 100, 101, 102, 103, 104, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 313,
0, 0, 0, 0, 7, 8, 0, 0, 0, 0,
33, 34, 35, 36, 37, 0, 0, 0, 40, 0,
0, 43, 0, 0, 0, 0, 0, 471, 15, 16,
472, 18, 19, 473, 21, 474, 23, 0, 24, 0,
26, 27, 0, 29, 30, 31, 0, 0, 0, 0,
111, 112, 113, 114, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 119, 331, 47,
48, 49, 121, 0, 0, 0, 0, 124, 0, 77,
312, 0, 127, 0, 332, 81, 82, 83, 0, 0,
84, 85, 86, 87, 88, 89, 90, 91, 92, 93,
94, 95, 96, 97, 98, 99, 100, 101, 102, 103,
104, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 313, 0, 561, 0, 0, 7, 8, 0, 0,
0, 0, 33, 34, 35, 36, 37, 0, 0, 0,
40, 0, 0, 43, 0, 0, 0, 0, 0, 471,
15, 16, 472, 18, 19, 473, 21, 474, 23, 0,
24, 0, 26, 27, 0, 29, 30, 31, 0, 0,
0, 0, 111, 112, 113, 114, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 119,
314, 47, 48, 49, 121, 0, 0, 0, 0, 124,
0, 77, 312, 0, 127, 0, 516, 81, 82, 83,
0, 0, 84, 85, 86, 87, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 313, 0, 575, 0, 0, 0, 0,
0, 0, 0, 0, 33, 34, 35, 36, 37, 0,
77, 272, 40, 0, 0, 43, 81, 82, 83, 0,
0, 84, 85, 86, 87, 88, 89, 90, 91, 92,
93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
103, 104, 0, 0, 111, 112, 113, 114, 0, 0,
0, 119, 314, 0, 0, 0, 121, 0, 0, 0,
0, 124, 0, 77, 272, 222, 127, 0, 692, 81,
82, 83, 0, 0, 84, 85, 86, 87, 88, 89,
90, 91, 92, 93, 94, 95, 96, 97, 98, 99,
100, 101, 102, 103, 104, 0, 105, 106, 107, 108,
0, 0, 109, 111, 112, 113, 114, 0, 0, 0,
7, 8, 0, 0, 0, 0, 0, 0, 0, 0,
119, 120, 0, 0, 0, 121, 0, 0, 0, 0,
124, 0, 0, 277, 0, 127, 0, 278, 0, 0,
0, 0, 0, 471, 15, 16, 472, 18, 19, 473,
21, 474, 23, 0, 24, 0, 26, 27, 0, 29,
30, 31, 0, 0, 0, 0, 111, 112, 113, 114,
0, 0, 0, 0, 0, 0, 785, 0, 0, 0,
0, 0, 0, 119, 120, 47, 48, 49, 121, 0,
0, 0, 0, 124, 0, 77, 272, 0, 127, 0,
1048, 81, 82, 83, 0, 0, 84, 85, 86, 87,
98, 99, 100, 101, 102, 103, 104, 0, 0, 0,
77, 272, 7, 8, 0, 0, 81, 82, 83, 576,
0, 84, 85, 86, 87, 88, 89, 90, 91, 92,
93, 94, 95, 96, 97, 98, 99, 100, 101, 102,
103, 104, 0, 0, 0, 471, 15, 16, 472, 18,
19, 473, 21, 474, 23, 0, 24, 0, 26, 27,
0, 29, 30, 31, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 111, 112,
113, 114, 305, 0, 0, 0, 0, 47, 48, 49,
0, 0, 0, 0, 0, 119, 120, 0, 0, 0,
121, 0, 0, 0, 0, 124, 0, 0, 670, 0,
127, 0, 671, 111, 112, 113, 114, 0, 0, 0,
Christophe Geuzaine
committed
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
368, 369, 0, 0, 0, 121, 825, 0, 0, 0,
370, 730, 77, 312, 0, 127, 0, 177, 81, 82,
83, 0, 0, 84, 85, 86, 87, 88, 89, 90,
101, 102, 103, 104, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 313, 0, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 33, 34, 35, 36, 37,
0, 77, 272, 40, 0, 0, 43, 81, 82, 83,
0, 0, 84, 85, 86, 87, 88, 89, 90, 91,
92, 93, 94, 95, 96, 97, 98, 99, 100, 101,
102, 103, 104, 0, 0, 111, 112, 113, 114, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 119, 314, 0, 0, 0, 121, 77, 272,
222, 0, 124, 0, 81, 82, 83, 127, 0, 84,
Christophe Geuzaine
committed
85, 86, 87, 88, 89, 90, 91, 92, 93, 94,
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
95, 96, 97, 98, 99, 100, 101, 102, 103, 104,
0, 105, 106, 107, 108, 0, 0, 109, 0, 0,
0, 0, 0, 0, 111, 112, 113, 114, 0, 7,
8, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 119, 120, 0, 0, 0, 121, 0, 0, 0,
0, 124, 0, 0, 0, 0, 127, 0, 0, 0,
0, 0, 471, 15, 16, 472, 18, 19, 473, 21,
474, 23, 0, 24, 0, 26, 27, 0, 29, 30,
31, 111, 112, 113, 114, 7, 8, 819, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 119, 120,
0, 0, 0, 121, 47, 48, 49, 0, 124, 0,
851, 0, 0, 127, 0, 0, 0, 0, 471, 15,
16, 472, 18, 19, 473, 21, 474, 23, 0, 24,
895, 26, 27, 0, 29, 30, 31, 0, 0, 0,
7, 8, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 746, 0,
47, 48, 49, 1062, 0, 0, 0, 0, 0, 0,
0, 0, 0, 471, 15, 16, 472, 18, 19, 473,
21, 474, 23, 1081, 24, 0, 26, 27, 0, 29,
30, 31, 0, 0, 0, 291, 292, 293, 294, 295,
296, 297, 298, 299, 300, 301, 302, 303, 304, 1103,
0, 0, 0, 305, 1167, 47, 48, 49, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 1170, 0, 0, 0, 305, 0, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 1211, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 1213,
0, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 572, 0, 0, 0, 305,
0, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 663, 0, 0, 0, 305,
0, 0, 0, 0, 0, 0, 0, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 803, 0, 0, 0, 305, 0, 0, 0, 0,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 863, 0, 0, 0, 305, 0,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
0, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 0, 0, 0, 0, 305,
0, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 0, 0, 0, 0, 305,
0, 0, 0, 0, 0, 0, 0, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 0, 0, 0, 0, 305, 0, 0, 0, 0,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, -4, 1, 0, 305, -4,
0, 0, 0, 0, 0, 0, 0, -4, -4, 0,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
-4, 0, 0, 0, 0, -4, -4, 696, -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, 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, 0, 38, 39, 40, 41, 42,
43, 7, 8, 44, 45, 0, 0, 0, 0, 46,
47, 48, 49, 0, 0, 50, 0, 51, 0, 52,
53, 54, 55, 56, 57, 58, 59, 60, 61, 0,
0, 0, 0, 0, 471, 15, 16, 472, 18, 19,
473, 21, 474, 23, 0, 24, 0, 26, 27, 0,
29, 30, 31, 0, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 47, 48, 49, 1023,
0, 1024, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 1043, 0, 1044,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 1124, 0, 1125, 291, 292,
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
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
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 755, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 0, 0, 802, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 0,
0, 840, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 0, 0, 1021,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 0, 0, 1038, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 1068, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 0, 0, 1069, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 0,
0, 1070, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 0, 0, 1071,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 0, 0, 1098, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 1139, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 0, 0, 1141, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 0,
0, 1142, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 0, 0, 1155,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 0, 0, 1158, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 1161, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 0, 0, 1179, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 0,
0, 1181, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 0, 0, 1205,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 0, 0, 1207, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 0, 0, 1209, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 0, 0, 1219, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 459, 0, 0, 0, 0, 540,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 495, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 540, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 541, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 569, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 614,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 615, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 628, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 629, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 630, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 631,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 632, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 633, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 721, 291, 292,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 722, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 723,
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
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 799, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 838, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 839, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 862, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 972,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 973, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 993, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 1005, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 1107, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 0, 0, 0, 1108,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 0, 0, 0, 1114, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 0, 0,
0, 1120, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 0, 0, 0, 1174, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
0, 0, 0, 1177, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 463, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 0, 0, 0, 0, 305, 0, 0, 0, 574,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 578, 291, 292, 293, 294, 295, 296, 297,
298, 299, 300, 301, 302, 303, 304, 0, 0, 0,
0, 305, 0, 0, 0, 593, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 595, 291,
Christophe Geuzaine
committed
292, 293, 294, 295, 296, 297, 298, 299, 300, 301,
302, 303, 304, 0, 0, 0, 0, 305, 0, 0,
0, 597, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 599, 291, 292, 293, 294, 295,
296, 297, 298, 299, 300, 301, 302, 303, 304, 0,
0, 0, 0, 305, 0, 0, 0, 601, 291, 292,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
603, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 0, 0, 0, 0, 305,
0, 0, 0, 605, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 607, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 0, 0, 0, 0, 305, 0, 0, 0, 609,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 611, 291, 292, 293, 294, 295, 296, 297,
298, 299, 300, 301, 302, 303, 304, 0, 0, 0,
0, 305, 0, 0, 0, 613, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 617, 291,
302, 303, 304, 0, 0, 0, 0, 305, 0, 0,
0, 619, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 621, 291, 292, 293, 294, 295,
296, 297, 298, 299, 300, 301, 302, 303, 304, 0,
0, 0, 0, 305, 0, 0, 0, 623, 291, 292,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
625, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 0, 0, 0, 0, 305,
0, 0, 0, 627, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 736, 291, 292, 293,
294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 0, 0, 0, 0, 305, 0, 0, 0, 737,
301, 302, 303, 304, 0, 0, 0, 0, 305, 0,
0, 0, 739, 291, 292, 293, 294, 295, 296, 297,
298, 299, 300, 301, 302, 303, 304, 0, 0, 0,
0, 305, 0, 0, 0, 740, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
0, 0, 0, 0, 305, 0, 0, 0, 751, 291,
302, 303, 304, 0, 0, 0, 0, 305, 0, 0,
0, 775, 291, 292, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 0, 0, 0, 0,
305, 0, 0, 0, 878, 291, 292, 293, 294, 295,
296, 297, 298, 299, 300, 301, 302, 303, 304, 0,
0, 0, 0, 305, 0, 0, 0, 880, 291, 292,
303, 304, 0, 0, 0, 0, 305, 0, 0, 0,
882, 291, 292, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 0, 0, 0, 0, 305,
0, 0, 0, 884, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 0, 0,
0, 0, 305, 0, 0, 0, 885, 291, 292, 293,