3 #define YY_INT_ALIGNED short int
7 #define yy_create_buffer HECMW_ab_create_buffer
8 #define yy_delete_buffer HECMW_ab_delete_buffer
9 #define yy_flex_debug HECMW_ab_flex_debug
10 #define yy_init_buffer HECMW_ab_init_buffer
11 #define yy_flush_buffer HECMW_ab_flush_buffer
12 #define yy_load_buffer_state HECMW_ab_load_buffer_state
13 #define yy_switch_to_buffer HECMW_ab_switch_to_buffer
14 #define yyin HECMW_abin
15 #define yyleng HECMW_ableng
16 #define yylex HECMW_ablex
17 #define yylineno HECMW_ablineno
18 #define yyout HECMW_about
19 #define yyrestart HECMW_abrestart
20 #define yytext HECMW_abtext
21 #define yywrap HECMW_abwrap
22 #define yyalloc HECMW_aballoc
23 #define yyrealloc HECMW_abrealloc
24 #define yyfree HECMW_abfree
27 #define YY_FLEX_MAJOR_VERSION 2
28 #define YY_FLEX_MINOR_VERSION 5
29 #define YY_FLEX_SUBMINOR_VERSION 35
30 #if YY_FLEX_SUBMINOR_VERSION > 0
51 #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
56 #ifndef __STDC_LIMIT_MACROS
57 #define __STDC_LIMIT_MACROS 1
67 typedef uint64_t flex_uint64_t;
79 #define INT8_MIN (-128)
82 #define INT16_MIN (-32767 - 1)
85 #define INT32_MIN (-2147483647 - 1)
88 #define INT8_MAX (127)
91 #define INT16_MAX (32767)
94 #define INT32_MAX (2147483647)
97 #define UINT8_MAX (255U)
100 #define UINT16_MAX (65535U)
103 #define UINT32_MAX (4294967295U)
116 #if defined(__STDC__)
124 #define yyconst const
137 #define YY_SC_TO_UI(c) ((unsigned int)(unsigned char)c)
143 #define BEGIN (yy_start) = 1 + 2 *
149 #define YY_START (((yy_start)-1) / 2)
150 #define YYSTATE YY_START
153 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
156 #define YY_NEW_FILE HECMW_abrestart(HECMW_abin)
158 #define YY_END_OF_BUFFER_CHAR 0
162 #define YY_BUF_SIZE 16384
168 #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
170 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
171 #define YY_TYPEDEF_YY_BUFFER_STATE
175 #ifndef YY_TYPEDEF_YY_SIZE_T
176 #define YY_TYPEDEF_YY_SIZE_T
184 #define EOB_ACT_CONTINUE_SCAN 0
185 #define EOB_ACT_END_OF_FILE 1
186 #define EOB_ACT_LAST_MATCH 2
188 #define YY_LESS_LINENO(n)
194 int yyless_macro_arg = (n); \
195 YY_LESS_LINENO(yyless_macro_arg); \
196 *yy_cp = (yy_hold_char); \
197 YY_RESTORE_YY_MORE_OFFSET(yy_c_buf_p) = yy_cp = \
198 yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
199 YY_DO_BEFORE_ACTION; \
202 #define unput(c) yyunput(c, (yytext_ptr))
204 #ifndef YY_STRUCT_YY_BUFFER_STATE
205 #define YY_STRUCT_YY_BUFFER_STATE
251 #define YY_BUFFER_NEW 0
252 #define YY_BUFFER_NORMAL 1
263 #define YY_BUFFER_EOF_PENDING 2
268 static size_t yy_buffer_stack_top = 0;
269 static size_t yy_buffer_stack_max = 0;
278 #define YY_CURRENT_BUFFER \
279 ((yy_buffer_stack) ? (yy_buffer_stack)[(yy_buffer_stack_top)] : NULL)
284 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
287 static char yy_hold_char;
292 static char *yy_c_buf_p = (
char *)0;
293 static int yy_init = 0;
294 static int yy_start = 0;
299 static int yy_did_buffer_switch_on_eof;
309 static void HECMW_abensure_buffer_stack(
void);
310 static void HECMW_ab_load_buffer_state(
void);
313 #define YY_FLUSH_BUFFER HECMW_ab_flush_buffer(YY_CURRENT_BUFFER)
323 #define yy_new_buffer HECMW_ab_create_buffer
325 #define yy_set_interactive(is_interactive) \
327 if (!YY_CURRENT_BUFFER) { \
328 HECMW_abensure_buffer_stack(); \
329 YY_CURRENT_BUFFER_LVALUE = \
330 HECMW_ab_create_buffer(HECMW_abin, YY_BUF_SIZE); \
332 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
335 #define yy_set_bol(at_bol) \
337 if (!YY_CURRENT_BUFFER) { \
338 HECMW_abensure_buffer_stack(); \
339 YY_CURRENT_BUFFER_LVALUE = \
340 HECMW_ab_create_buffer(HECMW_abin, YY_BUF_SIZE); \
342 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
345 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
360 #define yytext_ptr HECMW_abtext
364 static int yy_get_next_buffer(
void);
365 static void yy_fatal_error(
yyconst char msg[]);
370 #define YY_DO_BEFORE_ACTION \
371 (yytext_ptr) = yy_bp; \
372 HECMW_ableng = (yy_size_t)(yy_cp - yy_bp); \
373 (yy_hold_char) = *yy_cp; \
375 (yy_c_buf_p) = yy_cp;
377 #define YY_NUM_RULES 161
378 #define YY_END_OF_BUFFER 162
386 0, 0, 0, 0, 5, 0, 0, 162, 160, 8, 9, 160, 160, 160, 153,
387 159, 157, 159, 156, 152, 158, 158, 154, 158, 158, 158, 158, 158, 158, 158,
388 158, 158, 158, 155, 158, 158, 158, 158, 158, 160, 161, 2, 161, 161, 5,
389 5, 4, 6, 160, 8, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0,
390 0, 0, 157, 156, 159, 157, 156, 157, 159, 158, 0, 158, 158, 158, 158,
391 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 158,
392 158, 158, 158, 158, 144, 145, 146, 158, 158, 158, 158,
394 158, 158, 158, 158, 158, 158, 0, 0, 0, 0, 0, 0, 0, 0, 0,
395 0, 0, 0, 0, 2, 0, 5, 4, 4, 4, 6, 0, 0, 0, 0,
396 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
397 0, 157, 0, 0, 159, 157, 159, 158, 158, 91, 92, 158, 158, 158, 158,
398 158, 158, 158, 158, 158, 158, 140, 141, 158, 158, 158, 158, 158, 158, 158,
399 158, 158, 158, 158, 158, 158, 158, 158, 158, 147, 148, 149, 158, 158, 158,
400 158, 158, 158, 158, 158, 158, 158, 0, 7, 0,
402 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
403 0, 0, 0, 0, 0, 0, 0, 4, 1, 4, 4, 0, 0, 0, 0,
404 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
405 0, 56, 58, 0, 157, 158, 158, 158, 158, 93, 94, 95, 101, 102, 105,
406 106, 108, 109, 112, 113, 115, 116, 119, 120, 158, 158, 158, 158, 158, 158,
407 158, 158, 158, 158, 158, 158, 158, 158, 158, 158, 74, 75, 158, 158, 158,
408 158, 158, 158, 150, 151, 158, 158, 83, 84, 158,
410 158, 87, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
411 0, 0, 0, 0, 0, 0, 0, 0, 55, 57, 0, 0, 4, 0, 0,
412 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 44, 46, 0,
413 0, 0, 0, 0, 158, 158, 98, 99, 100, 97, 96, 103, 104, 107, 110,
414 111, 114, 117, 118, 121, 122, 123, 124, 125, 126, 127, 158, 158, 128, 129,
415 130, 134, 135, 136, 137, 158, 158, 64, 158, 158, 67, 158, 158, 158, 158,
416 158, 158, 158, 158, 88, 158, 0, 158, 158, 158,
418 158, 158, 158, 86, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
419 0, 0, 0, 0, 43, 45, 0, 0, 0, 0, 0, 0, 4, 0, 0,
420 17, 0, 0, 19, 0, 0, 31, 0, 0, 0, 0, 0, 0, 0, 0,
421 0, 0, 0, 0, 158, 158, 131, 132, 133, 158, 158, 158, 158, 158, 142,
422 143, 158, 71, 158, 73, 158, 158, 158, 0, 158, 80, 158, 158, 158, 158,
423 158, 0, 0, 16, 0, 0, 18, 0, 0, 30, 0, 0, 0, 0, 0,
424 0, 0, 0, 0, 0, 0, 0, 0, 0, 4,
426 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
427 0, 0, 54, 0, 158, 158, 158, 138, 139, 158, 158, 158, 158, 158, 158,
428 158, 158, 158, 0, 158, 81, 158, 158, 158, 158, 0, 0, 0, 0, 0,
429 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 53, 0,
430 0, 4, 0, 0, 0, 21, 23, 29, 0, 0, 36, 0, 0, 0, 0,
431 0, 0, 0, 61, 158, 158, 158, 66, 69, 158, 158, 72, 158, 158, 78,
432 0, 79, 158, 158, 85, 158, 0, 0, 0, 20,
434 22, 28, 0, 0, 34, 35, 0, 0, 0, 0, 0, 0, 0, 3, 3,
435 0, 13, 0, 0, 0, 33, 0, 0, 0, 40, 0, 0, 0, 0, 0,
436 158, 158, 158, 158, 68, 158, 158, 79, 158, 90, 89, 0, 12, 0, 0,
437 0, 32, 0, 0, 0, 39, 0, 0, 0, 0, 0, 3, 3, 11, 0,
438 0, 25, 0, 0, 0, 0, 0, 0, 0, 158, 63, 158, 158, 158, 158,
439 158, 10, 0, 0, 24, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
440 42, 0, 0, 0, 0, 62, 158, 158, 77, 76,
442 82, 0, 0, 0, 41, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
443 0, 0, 158, 158, 0, 0, 0, 0, 0, 0, 0, 15, 0, 0, 48,
444 50, 52, 60, 0, 158, 70, 14, 0, 0, 47, 49, 51, 59, 27, 0,
445 0, 158, 26, 0, 0, 0, 158, 0, 0, 0, 158, 0, 0, 0, 158,
446 0, 38, 0, 158, 37, 0, 158, 0, 65, 65, 0};
449 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 4, 1, 1, 1, 1, 1,
450 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1,
451 1, 1, 1, 1, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
452 19, 21, 1, 1, 22, 1, 1, 1, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 32,
453 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 32, 44, 45, 46, 1, 11, 1, 1,
454 47, 1, 48, 49, 50, 51,
456 52, 53, 54, 55, 56, 32, 32, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 32,
457 68, 69, 70, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
458 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
459 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
460 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
463 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
464 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
465 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1};
468 0, 1, 1, 2, 1, 1, 1, 3, 1, 4, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 1, 5,
469 5, 5, 5, 8, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
470 5, 5, 5, 5, 8, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5};
473 0, 0, 211, 68, 72, 76, 78, 213, 2834, 81, 2834, 181,
474 64, 120, 2834, 131, 140, 0, 156, 2834, 167, 82, 172, 224,
475 179, 90, 194, 197, 175, 218, 237, 232, 252, 271, 289, 349,
476 258, 273, 276, 413, 2834, 2834, 159, 47, 0, 116, 195, 2834,
477 105, 104, 2834, 60, 143, 275, 279, 280, 171, 62, 280, 326,
478 283, 65, 90, 394, 0, 469, 410, 510, 556, 340, 568, 381,
479 439, 364, 480, 431, 492, 494, 536, 358, 529, 580, 582, 584,
480 586, 588, 607, 611, 619, 628, 645, 643, 647, 667, 650, 670,
481 682, 684, 691, 706, 704,
483 708, 727, 730, 733, 739, 748, 121, 231, 266, 398, 300, 732,
484 167, 284, 174, 289, 738, 504, 168, 2834, 200, 0, 0, 123,
485 314, 2834, 328, 391, 399, 438, 439, 440, 761, 450, 457, 575,
486 469, 347, 363, 484, 481, 506, 570, 514, 573, 595, 581, 154,
487 802, 814, 823, 52, 834, 836, 769, 771, 838, 851, 863, 875,
488 854, 877, 891, 897, 899, 903, 905, 911, 924, 926, 929, 938,
489 942, 950, 964, 968, 976, 980, 985, 998, 1000, 1004, 1020, 1022,
490 1037, 1039, 1043, 1046, 1051, 1063, 1055, 1075, 1077, 1079, 1084, 1092,
491 1104, 161, 2834, 177,
493 626, 640, 660, 663, 675, 687, 906, 697, 725, 619, 721, 737,
494 653, 879, 940, 820, 942, 828, 946, 859, 879, 965, 207, 2834,
495 379, 970, 905, 981, 994, 1000, 980, 1045, 1035, 1074, 1074, 1087,
496 1094, 1076, 1078, 1095, 1096, 1086, 1095, 1093, 1105, 1096, 2834, 2834,
497 1113, 1153, 1164, 1166, 1169, 1070, 1135, 1172, 1178, 1184, 1193, 1190,
498 1197, 1202, 1209, 1217, 1232, 1234, 1236, 1240, 1248, 1263, 1270, 1287,
499 1299, 1283, 1302, 1311, 1314, 1316, 1320, 1323, 1329, 1348, 1346, 1354,
500 1367, 1373, 1380, 1385, 1387, 1392, 1404, 1411, 1408, 1417, 1420, 1429,
501 1432, 1444, 1446, 1453,
503 1461, 1468, 1121, 1125, 1168, 1180, 1158, 1187, 1175, 1218, 1202, 1214,
504 1241, 1302, 1249, 1295, 1311, 1318, 1307, 1329, 1343, 1357, 1339, 2834,
505 2834, 1384, 1400, 1407, 1417, 1440, 1442, 1370, 1439, 1449, 1436, 1453,
506 1442, 1444, 1455, 1452, 1450, 1457, 1492, 2834, 1465, 1473, 1471, 1477,
507 1472, 1515, 1520, 1523, 1527, 1529, 1532, 1535, 1544, 1548, 1552, 1556,
508 1561, 1565, 1568, 1573, 1577, 1580, 1582, 1585, 1589, 1594, 1597, 1602,
509 1610, 1606, 1614, 1618, 1622, 1626, 1630, 1634, 1638, 1642, 1646, 1650,
510 1655, 1662, 1664, 1676, 1679, 1696, 1699, 1701, 1715, 1717, 1703, 1730,
511 1482, 1732, 1738, 1754,
513 1758, 1760, 1763, 1779, 1479, 1523, 1583, 1560, 1623, 1642, 1597, 1643,
514 1617, 1623, 1645, 1660, 1642, 1690, 1713, 1749, 2834, 1734, 1709, 1706,
515 1751, 1751, 1761, 1762, 1754, 1775, 2834, 1774, 1760, 2834, 1774, 1772,
516 2834, 1779, 1772, 1787, 1791, 1784, 1786, 1784, 1789, 1801, 1799, 1798,
517 1806, 1838, 1850, 1852, 1856, 1859, 1864, 1871, 1873, 1885, 1887, 1899,
518 1906, 1911, 1913, 1920, 1925, 1928, 1934, 1943, 1812, 1946, 1948, 1950,
519 1964, 1967, 1971, 1980, 1813, 1824, 2834, 1826, 1823, 2834, 1855, 1855,
520 2834, 1862, 1902, 1935, 1889, 1960, 1953, 1943, 1951, 1990, 1991, 1974,
521 1971, 1980, 1979, 1980,
523 1974, 1979, 1978, 1975, 1996, 1984, 1990, 1991, 2001, 2000, 2011, 1996,
524 2001, 2008, 2005, 2021, 2020, 2834, 2023, 2056, 2053, 2060, 2074, 2076,
525 2082, 2088, 2090, 2108, 2112, 2114, 2116, 2128, 2140, 2024, 2142, 2144,
526 2149, 2162, 2165, 2168, 2030, 2039, 2047, 2045, 2054, 2065, 2074, 2076,
527 2112, 2135, 2087, 2151, 2117, 2137, 2153, 2144, 2158, 2162, 2834, 2162,
528 2167, 2168, 2172, 2155, 2175, 2834, 2834, 2198, 2174, 2175, 2834, 2202,
529 2179, 2176, 2190, 2192, 2195, 2202, 2228, 2233, 2236, 2245, 2250, 2252,
530 2254, 2257, 2269, 2274, 2277, 2281, 2247, 2298, 2300, 2305, 2307, 2312,
531 2255, 2184, 2269, 2834,
533 2834, 2288, 2224, 2267, 2834, 2834, 2315, 2279, 2292, 2306, 2309, 2310,
534 2314, 0, 0, 2316, 2834, 2302, 2310, 2305, 2834, 2314, 2325, 2316,
535 2834, 2312, 2314, 2317, 2356, 2323, 2370, 2373, 2378, 2382, 2385, 2394,
536 2407, 2834, 2410, 2412, 2414, 2345, 2834, 2331, 2354, 2370, 2834, 2381,
537 2352, 2383, 2834, 2385, 2388, 2400, 2434, 2402, 0, 0, 2834, 2354,
538 2403, 2834, 2410, 2405, 2416, 2419, 2422, 2428, 2416, 2472, 2450, 2474,
539 2477, 2480, 2495, 2497, 2834, 2436, 2421, 2834, 2441, 2437, 2443, 2448,
540 2464, 2469, 2468, 2469, 2474, 2491, 2834, 2476, 2478, 2500, 2494, 2519,
541 2536, 2533, 2541, 2545,
543 2548, 2512, 2523, 2537, 2834, 2529, 2531, 2545, 2539, 2527, 2531, 2545,
544 2539, 2543, 2538, 2555, 2556, 2597, 2599, 2542, 2548, 2561, 2565, 2569,
545 2571, 2569, 2834, 2572, 2575, 2834, 2834, 2834, 2834, 2585, 2620, 2632,
546 2834, 2581, 2582, 2834, 2834, 2834, 2834, 2834, 2594, 2592, 2638, 2834,
547 2598, 2596, 2594, 2650, 2602, 2609, 2611, 2659, 2629, 2625, 2644, 2662,
548 2626, 2834, 2639, 2675, 2834, 2634, 2683, 2637, 2698, 2834, 2834, 2747,
549 2755, 2760, 2765, 2773, 2781, 2784, 2789, 2797, 2805, 2811, 2817, 2825};
552 0, 771, 1, 772, 773, 1, 1, 771, 771, 771, 771, 771, 771, 771, 771,
553 774, 774, 774, 774, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
554 775, 775, 775, 775, 775, 775, 775, 775, 775, 771, 771, 771, 771, 771, 776,
555 776, 777, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
556 771, 771, 778, 771, 774, 774, 774, 774, 774, 775, 779, 775, 775, 775, 775,
557 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
558 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
560 775, 775, 775, 775, 775, 775, 780, 771, 771, 771, 771, 771, 771, 771, 771,
561 771, 771, 771, 771, 771, 771, 776, 777, 781, 777, 771, 771, 771, 771, 771,
562 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
563 771, 778, 782, 771, 774, 774, 774, 775, 775, 775, 775, 775, 775, 775, 775,
564 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
565 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
566 775, 775, 775, 775, 775, 775, 775, 780, 771, 780,
568 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
569 771, 771, 771, 771, 771, 771, 771, 781, 771, 781, 777, 771, 771, 771, 771,
570 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
571 771, 771, 771, 771, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
572 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
573 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
574 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
576 775, 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
577 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 777, 771, 771,
578 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
579 771, 771, 771, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
580 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
581 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
582 775, 775, 775, 775, 775, 775, 771, 775, 775, 775,
584 775, 775, 775, 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
585 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 777, 771, 771,
586 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
587 771, 771, 771, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
588 775, 775, 775, 775, 775, 775, 775, 775, 771, 775, 775, 775, 775, 775, 775,
589 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
590 771, 771, 771, 771, 771, 771, 771, 771, 771, 777,
592 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
593 771, 771, 771, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
594 775, 775, 775, 771, 775, 775, 775, 775, 775, 775, 771, 771, 771, 771, 771,
595 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
596 771, 777, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
597 771, 771, 771, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775, 775,
598 771, 775, 775, 775, 775, 775, 771, 771, 771, 771,
600 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 783, 784,
601 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
602 775, 775, 775, 775, 775, 775, 775, 771, 775, 775, 775, 771, 771, 771, 771,
603 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 783, 784, 771, 771,
604 771, 771, 771, 771, 771, 771, 771, 771, 771, 775, 775, 775, 775, 775, 775,
605 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
606 771, 771, 771, 771, 771, 775, 775, 775, 775, 775,
608 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
609 771, 771, 775, 775, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
610 771, 771, 771, 771, 775, 775, 771, 771, 771, 771, 771, 771, 771, 771, 771,
611 771, 775, 771, 771, 771, 771, 775, 771, 771, 771, 775, 771, 771, 771, 775,
612 771, 771, 771, 775, 771, 771, 775, 771, 775, 771, 0, 771, 771, 771, 771,
613 771, 771, 771, 771, 771, 771, 771, 771, 771};
616 0, 8, 9, 10, 11, 9, 12, 13, 14, 15, 16, 17, 18, 18, 18,
617 18, 18, 18, 18, 18, 18, 8, 19, 20, 21, 22, 23, 24, 25, 26,
618 25, 27, 25, 28, 29, 30, 31, 32, 25, 33, 34, 35, 36, 37, 25,
619 25, 38, 17, 20, 21, 22, 23, 24, 25, 26, 25, 27, 28, 29, 30,
620 31, 32, 25, 33, 34, 35, 36, 37, 25, 25, 38, 41, 42, 70, 43,
621 41, 45, 121, 46, 47, 48, 47, 48, 49, 39, 137, 49, 51, 52, 53,
622 54, 55, 64, 64, 127, 56, 146, 73, 57, 58, 64,
624 64, 121, 70, 59, 60, 49, 61, 126, 49, 137, 70, 51, 52, 53, 54,
625 55, 148, 127, 120, 56, 146, 57, 58, 199, 200, 224, 225, 59, 60, 62,
626 61, 63, 63, 63, 63, 63, 63, 63, 63, 63, 65, 148, 66, 66, 66,
627 66, 66, 66, 66, 66, 66, 67, 67, 67, 67, 67, 67, 67, 67, 67,
628 149, 120, 149, 199, 200, 65, 68, 66, 66, 66, 66, 66, 66, 66, 66,
629 66, 64, 64, 128, 199, 200, 64, 64, 50, 64, 64, 74, 70, 64, 64,
630 71, 68, 70, 210, 75, 70, 212, 86, 221, 70,
632 124, 72, 128, 64, 64, 136, 64, 64, 76, 224, 225, 81, 771, 82, 70,
633 71, 39, 70, 210, 75, 83, 212, 86, 221, 125, 72, 222, 64, 64, 136,
634 771, 84, 76, 64, 64, 81, 85, 82, 70, 771, 87, 64, 64, 771, 70,
635 83, 64, 64, 77, 125, 78, 222, 70, 88, 79, 84, 771, 70, 771, 89,
636 85, 64, 64, 80, 201, 87, 771, 64, 64, 771, 91, 771, 70, 77, 771,
637 78, 90, 88, 70, 79, 64, 64, 64, 64, 89, 64, 64, 80, 201, 771,
638 92, 70, 104, 70, 91, 105, 70, 93, 64, 64,
640 90, 202, 106, 94, 95, 131, 771, 129, 96, 70, 130, 132, 133, 144, 92,
641 138, 104, 134, 211, 139, 105, 145, 93, 135, 213, 202, 205, 106, 214, 97,
642 131, 129, 206, 98, 130, 132, 133, 771, 144, 138, 226, 134, 211, 139, 771,
643 145, 771, 135, 213, 64, 64, 205, 214, 97, 771, 140, 206, 98, 64, 64,
644 771, 141, 142, 99, 227, 226, 771, 64, 64, 70, 143, 100, 241, 64, 64,
645 101, 155, 156, 771, 102, 140, 224, 225, 771, 771, 141, 142, 771, 227, 242,
646 64, 64, 166, 103, 143, 771, 100, 241, 771, 771,
648 101, 771, 771, 62, 102, 63, 63, 63, 63, 63, 63, 63, 63, 63, 242,
649 771, 166, 103, 107, 65, 153, 66, 66, 66, 66, 66, 66, 66, 66, 66,
650 203, 771, 228, 204, 229, 108, 109, 110, 111, 112, 64, 64, 113, 114, 153,
651 771, 115, 116, 64, 64, 771, 771, 117, 118, 203, 119, 228, 204, 229, 771,
652 108, 109, 110, 111, 112, 771, 771, 113, 114, 154, 115, 116, 230, 231, 158,
653 232, 117, 118, 771, 119, 67, 67, 67, 67, 67, 67, 67, 67, 67, 64,
654 64, 236, 771, 237, 154, 68, 230, 231, 158, 232,
656 771, 64, 64, 64, 64, 157, 161, 162, 163, 240, 243, 771, 771, 244, 771,
657 236, 164, 237, 159, 771, 68, 67, 67, 67, 67, 67, 67, 67, 67, 67,
658 157, 160, 245, 240, 219, 243, 68, 244, 64, 64, 247, 164, 220, 159, 167,
659 64, 64, 771, 168, 771, 771, 771, 771, 771, 771, 160, 771, 245, 771, 219,
660 771, 68, 149, 165, 150, 247, 220, 151, 151, 151, 151, 151, 151, 151, 151,
661 151, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 64, 165, 64,
662 64, 64, 64, 64, 64, 64, 64, 64, 64, 238,
664 771, 771, 771, 771, 771, 239, 771, 148, 771, 246, 170, 771, 248, 771, 64,
665 771, 64, 64, 171, 169, 64, 64, 172, 175, 238, 173, 174, 771, 64, 64,
666 239, 771, 148, 246, 249, 170, 248, 64, 64, 771, 176, 314, 171, 169, 178,
667 771, 172, 175, 771, 173, 174, 177, 64, 64, 64, 64, 64, 64, 249, 64,
668 64, 179, 303, 771, 176, 771, 314, 771, 771, 178, 771, 180, 771, 181, 771,
669 177, 64, 64, 318, 64, 64, 304, 183, 182, 771, 179, 303, 771, 185, 771,
670 771, 64, 64, 64, 64, 305, 180, 306, 181, 184,
672 64, 64, 771, 318, 771, 304, 183, 182, 186, 307, 188, 771, 185, 64, 64,
673 64, 64, 64, 64, 305, 187, 306, 308, 184, 771, 771, 771, 191, 771, 771,
674 189, 190, 186, 307, 771, 188, 64, 64, 312, 64, 64, 192, 64, 64, 187,
675 315, 308, 771, 64, 64, 771, 316, 191, 771, 189, 771, 190, 64, 64, 771,
676 193, 313, 312, 771, 207, 192, 194, 215, 771, 208, 315, 196, 195, 216, 217,
677 209, 316, 317, 64, 64, 64, 64, 218, 233, 193, 313, 197, 234, 207, 771,
678 194, 771, 215, 208, 771, 196, 195, 216, 217, 209,
680 235, 317, 771, 771, 771, 771, 218, 771, 233, 771, 197, 771, 234, 250, 250,
681 250, 250, 250, 250, 250, 250, 250, 771, 771, 235, 151, 151, 151, 151, 151,
682 151, 151, 151, 151, 151, 151, 151, 151, 151, 151, 151, 151, 151, 64, 64,
683 64, 64, 64, 64, 771, 253, 254, 321, 255, 771, 256, 771, 257, 771, 771,
684 64, 64, 771, 64, 64, 258, 259, 323, 260, 251, 261, 771, 64, 64, 771,
685 252, 321, 262, 263, 270, 264, 771, 265, 771, 64, 64, 64, 64, 771, 266,
686 267, 323, 268, 251, 269, 771, 771, 771, 325, 252,
688 64, 64, 271, 771, 270, 319, 64, 64, 64, 64, 771, 771, 64, 64, 64,
689 64, 272, 771, 326, 771, 64, 64, 325, 771, 771, 771, 771, 271, 309, 274,
690 319, 771, 310, 64, 64, 64, 64, 329, 64, 64, 273, 272, 326, 275, 771,
691 311, 771, 64, 64, 771, 276, 64, 64, 309, 274, 278, 277, 310, 771, 64,
692 64, 329, 771, 771, 273, 771, 320, 275, 322, 311, 771, 771, 324, 64, 64,
693 276, 281, 64, 64, 279, 278, 277, 280, 771, 771, 64, 64, 327, 771, 64,
694 64, 320, 328, 322, 64, 64, 771, 324, 283, 771,
696 771, 281, 284, 279, 282, 771, 280, 64, 64, 64, 64, 286, 327, 64, 64,
697 330, 331, 328, 771, 333, 771, 285, 771, 283, 771, 332, 288, 284, 282, 64,
698 64, 64, 64, 289, 771, 771, 286, 771, 287, 330, 771, 331, 771, 333, 291,
699 285, 64, 64, 64, 64, 332, 288, 64, 64, 290, 64, 64, 771, 289, 771,
700 64, 64, 287, 771, 64, 64, 771, 334, 771, 291, 771, 771, 64, 64, 335,
701 771, 294, 295, 290, 64, 64, 354, 292, 771, 64, 64, 64, 64, 64, 64,
702 771, 293, 334, 64, 64, 771, 296, 771, 335, 771,
704 337, 64, 64, 298, 771, 299, 292, 336, 340, 338, 771, 297, 771, 64, 64,
705 293, 339, 771, 341, 300, 296, 342, 343, 346, 771, 337, 344, 345, 298, 347,
706 299, 336, 340, 301, 338, 297, 348, 349, 771, 302, 771, 339, 341, 300, 64,
707 64, 342, 343, 346, 771, 344, 345, 771, 405, 347, 771, 771, 301, 771, 406,
708 348, 771, 349, 302, 250, 250, 250, 250, 250, 250, 250, 250, 250, 64, 64,
709 64, 64, 405, 64, 64, 352, 64, 64, 406, 771, 353, 771, 64, 64, 771,
710 407, 771, 771, 64, 64, 771, 350, 409, 771, 64,
712 64, 351, 64, 64, 771, 408, 64, 64, 355, 410, 771, 64, 64, 771, 411,
713 407, 356, 771, 64, 64, 350, 409, 771, 357, 771, 351, 64, 64, 413, 771,
714 408, 358, 771, 355, 410, 359, 414, 771, 411, 360, 356, 64, 64, 64, 64,
715 64, 64, 361, 357, 64, 64, 412, 771, 413, 771, 358, 771, 64, 64, 359,
716 771, 414, 771, 415, 360, 771, 363, 771, 771, 771, 362, 361, 64, 64, 364,
717 412, 366, 367, 771, 64, 64, 417, 771, 771, 368, 369, 365, 370, 415, 371,
718 771, 363, 64, 64, 362, 771, 64, 64, 364, 372,
720 373, 771, 374, 771, 375, 417, 376, 771, 64, 64, 365, 64, 64, 377, 378,
721 771, 379, 381, 380, 771, 64, 64, 771, 64, 64, 64, 64, 416, 382, 64,
722 64, 771, 64, 64, 771, 418, 771, 419, 64, 64, 771, 381, 771, 771, 420,
723 387, 771, 421, 384, 771, 771, 383, 416, 382, 385, 64, 64, 64, 64, 418,
724 386, 422, 419, 64, 64, 771, 771, 388, 771, 420, 387, 421, 384, 423, 771,
725 383, 64, 64, 385, 425, 390, 424, 64, 64, 386, 422, 389, 771, 771, 64,
726 64, 388, 391, 771, 64, 64, 64, 64, 423, 392,
728 771, 64, 64, 425, 390, 771, 424, 771, 426, 771, 389, 432, 771, 64, 64,
729 397, 391, 64, 64, 393, 64, 64, 394, 392, 771, 427, 64, 64, 771, 64,
730 64, 771, 428, 426, 399, 432, 395, 771, 64, 64, 771, 64, 64, 393, 396,
731 771, 394, 429, 771, 771, 427, 398, 771, 64, 64, 64, 64, 428, 401, 399,
732 395, 400, 64, 64, 771, 430, 771, 431, 396, 433, 64, 64, 429, 771, 434,
733 398, 435, 64, 64, 436, 441, 771, 437, 401, 438, 400, 402, 404, 771, 439,
734 430, 403, 431, 440, 433, 442, 443, 445, 446, 434,
736 435, 447, 771, 448, 436, 441, 437, 449, 438, 477, 402, 771, 404, 439, 771,
737 403, 771, 440, 771, 442, 771, 445, 469, 446, 64, 64, 447, 444, 448, 64,
738 64, 449, 64, 64, 477, 771, 64, 64, 64, 64, 771, 64, 64, 771, 64,
739 64, 469, 771, 478, 771, 771, 444, 771, 64, 64, 771, 450, 64, 64, 771,
740 451, 64, 64, 771, 771, 64, 64, 771, 771, 771, 64, 64, 771, 478, 64,
741 64, 771, 64, 64, 771, 450, 771, 64, 64, 451, 771, 64, 64, 771, 64,
742 64, 64, 64, 771, 64, 64, 771, 771, 64, 64,
744 771, 480, 771, 64, 64, 771, 64, 64, 479, 771, 771, 64, 64, 452, 771,
745 64, 64, 771, 453, 64, 64, 454, 771, 64, 64, 480, 771, 64, 64, 771,
746 771, 64, 64, 479, 771, 64, 64, 483, 771, 64, 64, 771, 771, 64, 64,
747 771, 771, 64, 64, 771, 771, 64, 64, 481, 771, 64, 64, 485, 771, 64,
748 64, 483, 771, 486, 64, 64, 771, 482, 455, 484, 771, 64, 64, 64, 64,
749 771, 457, 458, 481, 487, 456, 485, 771, 489, 771, 64, 64, 486, 64, 64,
750 488, 460, 482, 455, 484, 461, 771, 771, 459, 771,
752 771, 457, 458, 487, 456, 64, 64, 489, 64, 64, 64, 64, 64, 64, 462,
753 488, 771, 771, 463, 771, 490, 771, 459, 771, 64, 64, 64, 64, 771, 464,
754 771, 465, 771, 771, 495, 771, 496, 771, 462, 64, 64, 64, 64, 463, 771,
755 490, 771, 64, 64, 771, 771, 491, 771, 492, 464, 466, 465, 467, 771, 495,
756 468, 496, 470, 64, 64, 771, 494, 64, 64, 64, 64, 471, 64, 64, 771,
757 491, 472, 497, 771, 466, 771, 467, 474, 771, 493, 468, 498, 470, 64, 64,
758 494, 499, 500, 513, 501, 471, 473, 502, 503, 771,
760 504, 472, 497, 475, 505, 515, 506, 474, 493, 507, 498, 508, 509, 510, 511,
761 771, 499, 500, 501, 476, 473, 444, 502, 503, 504, 512, 517, 475, 514, 505,
762 506, 518, 519, 771, 507, 508, 771, 509, 510, 511, 516, 771, 534, 476, 771,
763 444, 542, 64, 64, 512, 543, 517, 514, 541, 771, 518, 771, 519, 771, 64,
764 64, 64, 64, 544, 516, 64, 64, 534, 64, 64, 771, 542, 771, 64, 64,
765 543, 771, 541, 520, 771, 64, 64, 64, 64, 771, 545, 523, 544, 521, 546,
766 524, 771, 547, 771, 64, 64, 64, 64, 771, 525,
768 771, 771, 520, 771, 522, 771, 771, 771, 64, 64, 545, 527, 521, 546, 550,
769 64, 64, 547, 771, 771, 64, 64, 64, 64, 525, 526, 771, 528, 522, 64,
770 64, 771, 771, 771, 64, 64, 527, 64, 64, 550, 771, 548, 530, 64, 64,
771 771, 771, 529, 771, 526, 531, 528, 64, 64, 771, 64, 64, 64, 64, 64,
772 64, 771, 771, 771, 771, 548, 771, 530, 771, 549, 771, 529, 532, 64, 64,
773 531, 64, 64, 493, 535, 64, 64, 551, 552, 771, 533, 537, 771, 536, 64,
774 64, 771, 553, 549, 554, 556, 532, 539, 771, 538,
776 771, 558, 493, 535, 559, 771, 560, 551, 552, 533, 540, 537, 536, 561, 562,
777 563, 553, 564, 565, 566, 567, 570, 539, 538, 568, 569, 558, 571, 559, 555,
778 557, 560, 572, 573, 575, 540, 574, 561, 562, 563, 514, 564, 565, 566, 516,
779 567, 570, 576, 568, 569, 577, 771, 571, 555, 557, 578, 572, 591, 573, 575,
780 574, 771, 64, 64, 514, 64, 64, 771, 516, 64, 64, 597, 576, 771, 771,
781 577, 771, 598, 601, 578, 771, 591, 579, 64, 64, 64, 64, 599, 580, 600,
782 581, 64, 64, 771, 771, 597, 771, 64, 64, 64,
784 64, 598, 771, 601, 771, 602, 604, 579, 771, 603, 771, 599, 580, 600, 583,
785 581, 584, 64, 64, 607, 582, 64, 64, 64, 64, 64, 64, 771, 771, 602,
786 585, 604, 771, 603, 771, 771, 771, 64, 64, 583, 605, 584, 586, 607, 582,
787 771, 587, 771, 771, 64, 64, 64, 64, 64, 64, 585, 588, 609, 64, 64,
788 771, 606, 771, 589, 771, 605, 590, 586, 592, 771, 587, 64, 64, 608, 64,
789 64, 555, 64, 64, 610, 588, 609, 771, 557, 611, 771, 606, 589, 771, 593,
790 595, 590, 612, 592, 613, 614, 615, 616, 608, 617,
792 555, 596, 619, 594, 610, 618, 623, 557, 621, 611, 622, 625, 626, 593, 627,
793 595, 628, 612, 613, 629, 614, 615, 616, 617, 630, 596, 624, 594, 643, 771,
794 618, 771, 621, 620, 622, 625, 626, 64, 64, 627, 771, 628, 64, 64, 629,
795 64, 64, 771, 771, 630, 771, 624, 643, 771, 64, 64, 771, 620, 647, 64,
796 64, 64, 64, 64, 64, 771, 64, 64, 771, 631, 771, 632, 771, 638, 771,
797 633, 771, 771, 64, 64, 642, 635, 647, 64, 64, 771, 64, 64, 634, 771,
798 64, 64, 645, 631, 771, 632, 771, 771, 638, 644,
800 633, 771, 648, 771, 636, 642, 635, 64, 64, 64, 64, 651, 634, 637, 64,
801 64, 64, 64, 771, 649, 771, 64, 64, 646, 644, 771, 648, 771, 652, 636,
802 653, 640, 771, 654, 655, 651, 656, 637, 641, 650, 771, 639, 659, 771, 660,
803 620, 661, 646, 662, 624, 771, 663, 652, 664, 665, 653, 640, 666, 654, 655,
804 667, 656, 669, 641, 650, 639, 771, 659, 660, 620, 661, 677, 662, 678, 624,
805 663, 650, 664, 665, 64, 64, 666, 64, 64, 688, 668, 669, 64, 64, 646,
806 771, 64, 64, 771, 64, 64, 677, 678, 771, 771,
808 670, 650, 771, 64, 64, 771, 771, 671, 673, 688, 668, 679, 672, 646, 771,
809 680, 64, 64, 681, 64, 64, 64, 64, 64, 64, 670, 682, 771, 683, 674,
810 771, 671, 771, 673, 771, 679, 672, 675, 685, 680, 684, 687, 681, 689, 690,
811 691, 692, 771, 676, 693, 682, 668, 683, 674, 694, 771, 695, 771, 771, 64,
812 64, 703, 675, 686, 684, 687, 702, 689, 690, 691, 771, 692, 676, 706, 693,
813 704, 668, 705, 707, 694, 695, 64, 64, 64, 64, 703, 64, 64, 686, 64,
814 64, 702, 771, 686, 771, 708, 696, 771, 706, 704,
816 771, 705, 697, 707, 64, 64, 64, 64, 709, 710, 711, 713, 698, 714, 699,
817 771, 712, 771, 686, 700, 708, 696, 715, 701, 716, 771, 771, 697, 64, 64,
818 771, 771, 709, 710, 711, 713, 698, 714, 699, 771, 717, 712, 64, 64, 700,
819 64, 64, 715, 701, 716, 64, 64, 720, 771, 64, 64, 771, 64, 64, 721,
820 718, 771, 722, 771, 723, 771, 724, 725, 771, 726, 771, 727, 728, 730, 719,
821 729, 720, 731, 732, 733, 734, 771, 771, 721, 771, 718, 737, 722, 723, 738,
822 724, 739, 725, 743, 726, 727, 728, 730, 719, 740,
824 729, 731, 732, 741, 733, 734, 64, 64, 64, 64, 737, 742, 744, 738, 771,
825 745, 739, 771, 743, 771, 746, 748, 749, 740, 750, 771, 751, 741, 753, 64,
826 64, 754, 735, 755, 771, 742, 744, 757, 736, 745, 771, 64, 64, 758, 746,
827 748, 749, 64, 64, 750, 751, 759, 771, 753, 747, 754, 735, 755, 771, 64,
828 64, 757, 736, 761, 762, 765, 763, 758, 64, 64, 771, 64, 64, 766, 768,
829 759, 770, 752, 747, 771, 771, 760, 771, 771, 64, 64, 771, 761, 762, 765,
830 756, 763, 64, 64, 771, 771, 764, 766, 768, 771,
832 770, 752, 771, 771, 771, 771, 760, 64, 64, 771, 771, 771, 771, 771, 756,
833 767, 771, 771, 771, 771, 764, 771, 769, 771, 771, 771, 771, 771, 771, 771,
834 771, 771, 771, 771, 771, 771, 771, 771, 771, 767, 771, 771, 771, 771, 771,
835 771, 769, 40, 40, 40, 40, 40, 40, 40, 40, 44, 44, 44, 44, 44,
836 44, 44, 44, 64, 64, 64, 771, 64, 69, 69, 69, 69, 69, 122, 771,
837 122, 122, 122, 122, 122, 122, 123, 771, 123, 123, 123, 123, 123, 123, 147,
838 771, 147, 152, 152, 152, 771, 152, 198, 198, 198,
840 198, 198, 198, 198, 198, 223, 223, 223, 223, 223, 223, 223, 223, 250, 250,
841 771, 250, 657, 771, 657, 657, 657, 657, 657, 657, 658, 771, 658, 658, 658,
842 658, 658, 658, 7, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
843 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
844 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
845 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
846 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
851 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
852 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
853 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
854 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
855 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 152, 3,
856 4, 4, 43, 4, 5, 5, 6, 6, 9, 6, 57, 9, 12, 12, 12,
857 12, 12, 21, 21, 51, 12, 61, 21, 12, 12, 25,
859 25, 43, 21, 12, 12, 49, 12, 48, 49, 57, 25, 12, 12, 12, 12,
860 12, 62, 51, 45, 12, 61, 12, 12, 107, 107, 124, 124, 12, 12, 13,
861 12, 13, 13, 13, 13, 13, 13, 13, 13, 13, 15, 62, 15, 15, 15,
862 15, 15, 15, 15, 15, 15, 16, 16, 16, 16, 16, 16, 16, 16, 16,
863 148, 42, 148, 198, 198, 18, 16, 18, 18, 18, 18, 18, 18, 18, 18,
864 18, 20, 20, 52, 200, 200, 22, 22, 11, 28, 28, 22, 20, 24, 24,
865 20, 16, 22, 113, 22, 28, 115, 28, 119, 24,
867 46, 20, 52, 26, 26, 56, 27, 27, 22, 223, 223, 24, 7, 24, 26,
868 20, 2, 27, 113, 22, 26, 115, 28, 119, 46, 20, 121, 29, 29, 56,
869 0, 27, 22, 23, 23, 24, 27, 24, 29, 0, 29, 31, 31, 0, 23,
870 26, 30, 30, 23, 46, 23, 121, 31, 29, 23, 27, 0, 30, 0, 30,
871 27, 32, 32, 23, 108, 29, 0, 36, 36, 0, 31, 0, 32, 23, 0,
872 23, 30, 29, 36, 23, 33, 33, 37, 37, 30, 38, 38, 23, 108, 0,
873 32, 33, 36, 37, 31, 37, 38, 33, 34, 34,
875 30, 109, 38, 34, 34, 54, 0, 53, 34, 34, 53, 54, 55, 60, 32,
876 58, 36, 55, 114, 58, 37, 60, 33, 55, 116, 109, 111, 38, 116, 34,
877 54, 53, 111, 34, 53, 54, 55, 0, 60, 58, 125, 55, 114, 58, 0,
878 60, 0, 55, 116, 69, 69, 111, 116, 34, 0, 59, 111, 34, 35, 35,
879 69, 59, 59, 35, 127, 125, 0, 79, 79, 35, 59, 35, 138, 73, 73,
880 35, 73, 73, 79, 35, 59, 225, 225, 0, 73, 59, 59, 0, 127, 139,
881 71, 71, 79, 35, 59, 0, 35, 138, 0, 0,
883 35, 71, 0, 63, 35, 63, 63, 63, 63, 63, 63, 63, 63, 63, 139,
884 0, 79, 35, 39, 66, 71, 66, 66, 66, 66, 66, 66, 66, 66, 66,
885 110, 0, 128, 110, 129, 39, 39, 39, 39, 39, 75, 75, 39, 39, 71,
886 0, 39, 39, 72, 72, 0, 75, 39, 39, 110, 39, 128, 110, 129, 72,
887 39, 39, 39, 39, 39, 0, 0, 39, 39, 72, 39, 39, 130, 131, 75,
888 132, 39, 39, 0, 39, 65, 65, 65, 65, 65, 65, 65, 65, 65, 74,
889 74, 134, 0, 135, 72, 65, 130, 131, 75, 132,
891 74, 76, 76, 77, 77, 74, 77, 77, 77, 137, 140, 0, 76, 141, 77,
892 134, 77, 135, 76, 0, 65, 67, 67, 67, 67, 67, 67, 67, 67, 67,
893 74, 76, 142, 137, 118, 140, 67, 141, 80, 80, 144, 77, 118, 76, 80,
894 78, 78, 0, 80, 80, 0, 0, 0, 0, 0, 76, 78, 142, 0, 118,
895 0, 67, 68, 78, 68, 144, 118, 68, 68, 68, 68, 68, 68, 68, 68,
896 68, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 78, 81,
897 81, 82, 82, 83, 83, 84, 84, 85, 85, 136,
899 81, 0, 82, 0, 83, 136, 84, 147, 85, 143, 82, 0, 145, 0, 70,
900 0, 86, 86, 83, 81, 87, 87, 84, 85, 136, 84, 84, 86, 88, 88,
901 136, 87, 147, 143, 146, 82, 145, 89, 89, 88, 86, 210, 83, 81, 88,
902 0, 84, 85, 89, 84, 84, 87, 91, 91, 90, 90, 92, 92, 146, 94,
903 94, 89, 201, 91, 86, 90, 210, 92, 0, 88, 94, 90, 0, 91, 0,
904 87, 93, 93, 213, 95, 95, 202, 92, 91, 0, 89, 201, 93, 94, 0,
905 95, 96, 96, 97, 97, 203, 90, 204, 91, 93,
907 98, 98, 96, 213, 97, 202, 92, 91, 95, 205, 97, 98, 94, 100, 100,
908 99, 99, 101, 101, 203, 96, 204, 206, 93, 100, 0, 99, 100, 101, 0,
909 98, 99, 95, 205, 0, 97, 102, 102, 208, 103, 103, 101, 104, 104, 96,
910 211, 206, 102, 105, 105, 103, 211, 100, 104, 98, 0, 99, 106, 106, 105,
911 102, 209, 208, 0, 112, 101, 103, 117, 106, 112, 211, 105, 104, 117, 117,
912 112, 211, 212, 155, 155, 156, 156, 117, 133, 102, 209, 106, 133, 112, 155,
913 103, 156, 117, 112, 0, 105, 104, 117, 117, 112,
915 133, 212, 0, 0, 0, 0, 117, 0, 133, 0, 106, 0, 133, 149, 149,
916 149, 149, 149, 149, 149, 149, 149, 0, 0, 133, 150, 150, 150, 150, 150,
917 150, 150, 150, 150, 151, 151, 151, 151, 151, 151, 151, 151, 151, 153, 153,
918 154, 154, 157, 157, 0, 157, 157, 216, 157, 153, 157, 154, 157, 157, 0,
919 158, 158, 0, 161, 161, 158, 158, 218, 158, 153, 158, 158, 159, 159, 161,
920 154, 216, 159, 159, 161, 159, 0, 159, 159, 160, 160, 162, 162, 0, 160,
921 160, 218, 160, 153, 160, 160, 0, 162, 220, 154,
923 163, 163, 162, 0, 161, 214, 164, 164, 165, 165, 0, 163, 166, 166, 167,
924 167, 163, 164, 221, 165, 168, 168, 220, 166, 0, 167, 0, 162, 207, 165,
925 214, 168, 207, 169, 169, 170, 170, 227, 171, 171, 164, 163, 221, 166, 169,
926 207, 170, 172, 172, 171, 169, 173, 173, 207, 165, 171, 170, 207, 172, 174,
927 174, 227, 173, 0, 164, 0, 215, 166, 217, 207, 174, 0, 219, 175, 175,
928 169, 174, 176, 176, 172, 171, 170, 173, 0, 175, 177, 177, 222, 176, 178,
929 178, 215, 226, 217, 179, 179, 177, 219, 176, 0,
931 178, 174, 177, 172, 175, 179, 173, 180, 180, 181, 181, 179, 222, 182, 182,
932 228, 229, 226, 180, 231, 181, 178, 0, 176, 182, 230, 181, 177, 175, 183,
933 183, 184, 184, 182, 0, 0, 179, 0, 180, 228, 183, 229, 184, 231, 184,
934 178, 185, 185, 186, 186, 230, 181, 187, 187, 183, 188, 188, 185, 182, 186,
935 189, 189, 180, 187, 191, 191, 188, 232, 0, 184, 0, 189, 190, 190, 233,
936 191, 190, 190, 183, 254, 254, 254, 188, 190, 192, 192, 193, 193, 194, 194,
937 254, 189, 232, 195, 195, 192, 191, 193, 233, 194,
939 235, 196, 196, 193, 195, 194, 188, 234, 238, 236, 0, 192, 196, 197, 197,
940 189, 237, 0, 239, 195, 191, 240, 241, 244, 197, 235, 242, 243, 193, 245,
941 194, 234, 238, 196, 236, 192, 246, 249, 0, 197, 0, 237, 239, 195, 255,
942 255, 240, 241, 244, 0, 242, 243, 0, 303, 245, 255, 0, 196, 0, 304,
943 246, 0, 249, 197, 250, 250, 250, 250, 250, 250, 250, 250, 250, 251, 251,
944 252, 252, 303, 253, 253, 253, 256, 256, 304, 251, 253, 252, 257, 257, 253,
945 305, 0, 256, 258, 258, 0, 251, 307, 257, 260,
947 260, 252, 259, 259, 258, 306, 261, 261, 257, 308, 260, 262, 262, 259, 309,
948 305, 257, 261, 263, 263, 251, 307, 262, 259, 0, 252, 264, 264, 311, 263,
949 306, 259, 0, 257, 308, 261, 312, 264, 309, 263, 257, 265, 265, 266, 266,
950 267, 267, 263, 259, 268, 268, 310, 265, 311, 266, 259, 267, 269, 269, 261,
951 268, 312, 0, 313, 263, 0, 267, 0, 269, 0, 265, 263, 270, 270, 267,
952 310, 270, 270, 0, 271, 271, 315, 0, 270, 271, 271, 269, 271, 313, 271,
953 271, 267, 274, 274, 265, 0, 272, 272, 267, 272,
955 272, 0, 272, 274, 272, 315, 272, 272, 273, 273, 269, 275, 275, 273, 273,
956 0, 273, 274, 273, 273, 276, 276, 275, 277, 277, 278, 278, 314, 275, 279,
957 279, 276, 280, 280, 277, 316, 278, 317, 281, 281, 279, 274, 0, 280, 318,
958 280, 0, 319, 277, 281, 0, 276, 314, 275, 278, 283, 283, 282, 282, 316,
959 279, 320, 317, 284, 284, 0, 283, 281, 282, 318, 280, 319, 277, 321, 284,
960 276, 285, 285, 278, 323, 283, 322, 286, 286, 279, 320, 282, 285, 0, 287,
961 287, 281, 284, 286, 288, 288, 289, 289, 321, 285,
963 287, 290, 290, 323, 283, 288, 322, 289, 326, 0, 282, 332, 290, 291, 291,
964 292, 284, 293, 293, 288, 292, 292, 289, 285, 291, 327, 294, 294, 293, 295,
965 295, 292, 328, 326, 293, 332, 290, 294, 296, 296, 295, 297, 297, 288, 291,
966 0, 289, 329, 0, 296, 327, 292, 297, 298, 298, 299, 299, 328, 297, 293,
967 290, 296, 300, 300, 298, 330, 299, 331, 291, 333, 301, 301, 329, 300, 334,
968 292, 335, 302, 302, 336, 341, 301, 337, 297, 338, 296, 298, 301, 302, 339,
969 330, 300, 331, 340, 333, 342, 343, 345, 346, 334,
971 335, 347, 0, 348, 336, 341, 337, 349, 338, 405, 298, 0, 301, 339, 0,
972 300, 0, 340, 0, 342, 0, 345, 397, 346, 350, 350, 347, 343, 348, 351,
973 351, 349, 352, 352, 405, 350, 353, 353, 354, 354, 351, 355, 355, 352, 356,
974 356, 397, 353, 406, 354, 0, 343, 355, 357, 357, 356, 350, 358, 358, 0,
975 351, 359, 359, 0, 357, 360, 360, 0, 358, 0, 361, 361, 359, 406, 362,
976 362, 360, 363, 363, 0, 350, 361, 364, 364, 351, 362, 365, 365, 363, 366,
977 366, 367, 367, 364, 368, 368, 0, 365, 369, 369,
979 366, 408, 367, 370, 370, 368, 371, 371, 407, 369, 0, 372, 372, 372, 370,
980 374, 374, 371, 372, 373, 373, 373, 372, 375, 375, 408, 374, 376, 376, 0,
981 373, 377, 377, 407, 375, 378, 378, 411, 376, 379, 379, 0, 377, 380, 380,
982 0, 378, 381, 381, 0, 379, 382, 382, 409, 380, 383, 383, 413, 381, 384,
983 384, 411, 382, 414, 385, 385, 383, 410, 381, 412, 384, 386, 386, 387, 387,
984 385, 384, 385, 409, 415, 382, 413, 386, 417, 387, 388, 388, 414, 389, 389,
985 416, 388, 410, 381, 412, 388, 388, 0, 387, 389,
987 0, 384, 385, 415, 382, 390, 390, 417, 391, 391, 392, 392, 395, 395, 389,
988 416, 390, 0, 390, 391, 418, 392, 387, 395, 393, 393, 394, 394, 0, 391,
989 0, 392, 0, 0, 423, 393, 424, 394, 389, 396, 396, 398, 398, 390, 0,
990 418, 0, 399, 399, 0, 396, 419, 398, 420, 391, 393, 392, 394, 399, 423,
991 396, 424, 398, 400, 400, 0, 422, 401, 401, 402, 402, 399, 403, 403, 400,
992 419, 400, 425, 401, 393, 402, 394, 402, 403, 420, 396, 426, 398, 404, 404,
993 422, 427, 428, 445, 429, 399, 401, 430, 432, 404,
995 433, 400, 425, 403, 435, 446, 436, 402, 420, 438, 426, 439, 440, 441, 442,
996 0, 427, 428, 429, 404, 401, 443, 430, 432, 433, 444, 447, 403, 445, 435,
997 436, 448, 449, 0, 438, 439, 0, 440, 441, 442, 446, 0, 469, 404, 0,
998 443, 478, 450, 450, 444, 480, 447, 445, 477, 0, 448, 0, 449, 450, 451,
999 451, 452, 452, 481, 446, 453, 453, 469, 454, 454, 451, 478, 452, 455, 455,
1000 480, 453, 477, 450, 454, 456, 456, 457, 457, 455, 483, 456, 481, 451, 484,
1001 456, 456, 486, 457, 458, 458, 459, 459, 0, 457,
1003 0, 0, 450, 0, 455, 458, 0, 459, 460, 460, 483, 459, 451, 484, 489,
1004 461, 461, 486, 0, 460, 462, 462, 463, 463, 457, 458, 461, 459, 455, 464,
1005 464, 462, 0, 463, 465, 465, 459, 466, 466, 489, 464, 487, 464, 467, 467,
1006 465, 0, 462, 466, 458, 466, 459, 468, 468, 467, 470, 470, 471, 471, 472,
1007 472, 0, 0, 468, 0, 487, 470, 464, 471, 488, 472, 462, 467, 473, 473,
1008 466, 474, 474, 492, 470, 475, 475, 490, 491, 473, 468, 473, 474, 472, 476,
1009 476, 475, 493, 488, 494, 495, 467, 475, 0, 474,
1011 476, 496, 492, 470, 497, 0, 498, 490, 491, 468, 476, 473, 472, 499, 500,
1012 501, 493, 502, 503, 504, 505, 508, 475, 474, 506, 507, 496, 509, 497, 494,
1013 495, 498, 510, 511, 514, 476, 512, 499, 500, 501, 513, 502, 503, 504, 515,
1014 505, 508, 516, 506, 507, 517, 0, 509, 494, 495, 519, 510, 534, 511, 514,
1015 512, 0, 521, 521, 513, 520, 520, 0, 515, 522, 522, 541, 516, 521, 0,
1016 517, 520, 542, 545, 519, 522, 534, 520, 523, 523, 524, 524, 543, 521, 544,
1017 522, 525, 525, 0, 523, 541, 524, 526, 526, 527,
1019 527, 542, 525, 545, 0, 546, 548, 520, 526, 547, 527, 543, 521, 544, 526,
1020 522, 527, 528, 528, 551, 525, 529, 529, 530, 530, 531, 531, 0, 528, 546,
1021 528, 548, 529, 547, 530, 0, 531, 532, 532, 526, 549, 527, 529, 551, 525,
1022 0, 530, 0, 532, 533, 533, 535, 535, 536, 536, 528, 531, 553, 537, 537,
1023 533, 550, 535, 532, 536, 549, 533, 529, 535, 537, 530, 538, 538, 552, 539,
1024 539, 554, 540, 540, 555, 531, 553, 538, 556, 557, 539, 550, 532, 540, 537,
1025 539, 533, 558, 535, 560, 561, 562, 563, 552, 564,
1027 554, 540, 568, 538, 555, 565, 572, 556, 569, 557, 570, 573, 574, 537, 575,
1028 539, 576, 558, 560, 577, 561, 562, 563, 564, 578, 540, 572, 538, 598, 0,
1029 565, 0, 569, 568, 570, 573, 574, 579, 579, 575, 0, 576, 580, 580, 577,
1030 581, 581, 0, 579, 578, 0, 572, 598, 580, 582, 582, 581, 568, 603, 583,
1031 583, 584, 584, 585, 585, 582, 586, 586, 0, 580, 583, 581, 584, 591, 585,
1032 582, 0, 586, 587, 587, 597, 586, 603, 588, 588, 0, 589, 589, 585, 587,
1033 590, 590, 602, 580, 588, 581, 0, 589, 591, 599,
1035 582, 590, 604, 0, 588, 597, 586, 592, 592, 593, 593, 608, 585, 589, 594,
1036 594, 595, 595, 592, 607, 593, 596, 596, 602, 599, 594, 604, 595, 609, 588,
1037 610, 594, 596, 611, 612, 608, 613, 589, 596, 607, 0, 593, 616, 0, 618,
1038 619, 620, 602, 622, 623, 0, 624, 609, 626, 627, 610, 594, 628, 611, 612,
1039 629, 613, 630, 596, 607, 593, 0, 616, 618, 619, 620, 642, 622, 644, 623,
1040 624, 649, 626, 627, 631, 631, 628, 632, 632, 660, 629, 630, 633, 633, 645,
1041 631, 634, 634, 632, 635, 635, 642, 644, 633, 0,
1043 631, 649, 634, 636, 636, 635, 0, 632, 634, 660, 629, 646, 633, 645, 636,
1044 648, 637, 637, 650, 639, 639, 640, 640, 641, 641, 631, 652, 637, 653, 636,
1045 639, 632, 640, 634, 641, 646, 633, 637, 655, 648, 654, 656, 650, 661, 663,
1046 664, 665, 0, 639, 666, 652, 667, 653, 636, 668, 0, 669, 0, 0, 671,
1047 671, 679, 637, 655, 654, 656, 678, 661, 663, 664, 671, 665, 639, 683, 666,
1048 681, 667, 682, 684, 668, 669, 670, 670, 672, 672, 679, 673, 673, 655, 674,
1049 674, 678, 670, 685, 672, 686, 670, 673, 683, 681,
1051 674, 682, 672, 684, 675, 675, 676, 676, 687, 688, 689, 692, 673, 693, 674,
1052 675, 690, 676, 685, 675, 686, 670, 694, 676, 695, 0, 0, 672, 696, 696,
1053 0, 0, 687, 688, 689, 692, 673, 693, 674, 696, 697, 690, 698, 698, 675,
1054 697, 697, 694, 676, 695, 699, 699, 702, 698, 700, 700, 697, 701, 701, 703,
1055 697, 699, 704, 0, 706, 700, 707, 708, 701, 709, 0, 710, 711, 713, 698,
1056 712, 702, 714, 715, 716, 717, 0, 0, 703, 0, 697, 720, 704, 706, 721,
1057 707, 722, 708, 726, 709, 710, 711, 713, 698, 723,
1059 712, 714, 715, 724, 716, 717, 718, 718, 719, 719, 720, 725, 728, 721, 0,
1060 729, 722, 718, 726, 719, 734, 738, 739, 723, 745, 0, 746, 724, 749, 735,
1061 735, 750, 718, 751, 0, 725, 728, 753, 719, 729, 735, 736, 736, 754, 734,
1062 738, 739, 747, 747, 745, 746, 755, 736, 749, 735, 750, 718, 751, 747, 752,
1063 752, 753, 719, 757, 758, 761, 759, 754, 756, 756, 752, 760, 760, 763, 766,
1064 755, 768, 747, 735, 756, 0, 756, 760, 0, 764, 764, 0, 757, 758, 761,
1065 752, 759, 767, 767, 0, 764, 760, 763, 766, 0,
1067 768, 747, 0, 767, 0, 0, 756, 769, 769, 0, 0, 0, 0, 0, 752,
1068 764, 0, 0, 769, 0, 760, 0, 767, 0, 0, 0, 0, 0, 0, 0,
1069 0, 0, 0, 0, 0, 0, 0, 0, 0, 764, 0, 0, 0, 0, 0,
1070 0, 767, 772, 772, 772, 772, 772, 772, 772, 772, 773, 773, 773, 773, 773,
1071 773, 773, 773, 774, 774, 774, 0, 774, 775, 775, 775, 775, 775, 776, 0,
1072 776, 776, 776, 776, 776, 776, 777, 0, 777, 777, 777, 777, 777, 777, 778,
1073 0, 778, 779, 779, 779, 0, 779, 780, 780, 780,
1075 780, 780, 780, 780, 780, 781, 781, 781, 781, 781, 781, 781, 781, 782, 782,
1076 0, 782, 783, 0, 783, 783, 783, 783, 783, 783, 784, 0, 784, 784, 784,
1077 784, 784, 784, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
1078 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
1079 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
1080 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
1081 771, 771, 771, 771, 771, 771, 771, 771, 771, 771,
1083 771, 771, 771, 771};
1086 static char *yy_last_accepting_cpos;
1094 #define REJECT reject_used_but_not_detected
1095 #define yymore() yymore_used_but_not_detected
1096 #define YY_MORE_ADJ 0
1097 #define YY_RESTORE_YY_MORE_OFFSET
1099 #line 1 "../src/common/hecmw_ablex.l"
1100 #line 2 "../src/common/hecmw_ablex.l"
1113 static int lineno_inc;
1114 static int flag_including = 0;
1118 static int flag_header;
1120 static void set_flag_header(
int flag);
1122 #line 1390 "<stdout>"
1128 #ifndef YY_NO_UNISTD_H
1136 #ifndef YY_EXTRA_TYPE
1137 #define YY_EXTRA_TYPE void *
1140 static int yy_init_globals(
void);
1175 #ifndef YY_SKIP_YYWRAP
1184 static void yy_flex_strncpy(
char *,
yyconst char *,
int);
1187 #ifdef YY_NEED_STRLEN
1188 static int yy_flex_strlen(
yyconst char *);
1194 static int yyinput(
void);
1196 static int input(
void);
1202 #ifndef YY_READ_BUF_SIZE
1203 #define YY_READ_BUF_SIZE 8192
1211 #define ECHO fwrite(HECMW_abtext, HECMW_ableng, 1, HECMW_about)
1218 #define YY_INPUT(buf, result, max_size) \
1219 if (YY_CURRENT_BUFFER_LVALUE->yy_is_interactive) { \
1222 for (n = 0; n < max_size && (c = getc(HECMW_abin)) != EOF && c != '\n'; \
1225 if (c == '\n') buf[n++] = (char)c; \
1226 if (c == EOF && ferror(HECMW_abin)) \
1227 YY_FATAL_ERROR("input in flex scanner failed"); \
1231 while ((result = fread(buf, 1, max_size, HECMW_abin)) == 0 && \
1232 ferror(HECMW_abin)) { \
1233 if (errno != EINTR) { \
1234 YY_FATAL_ERROR("input in flex scanner failed"); \
1238 clearerr(HECMW_abin); \
1249 #define yyterminate() return YY_NULL
1253 #ifndef YY_START_STACK_INCR
1254 #define YY_START_STACK_INCR 25
1258 #ifndef YY_FATAL_ERROR
1259 #define YY_FATAL_ERROR(msg) yy_fatal_error(msg)
1268 #define YY_DECL_IS_OURS 1
1272 #define YY_DECL int HECMW_ablex(void)
1279 #ifndef YY_USER_ACTION
1280 #define YY_USER_ACTION
1285 #define YY_BREAK break;
1288 #define YY_RULE_SETUP \
1289 if (HECMW_ableng > 0) \
1290 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \
1291 (HECMW_abtext[HECMW_ableng - 1] == '\n'); \
1301 #line 38 "../src/common/hecmw_ablex.l"
1303 #line 1578 "<stdout>"
1311 if (!(yy_start)) (yy_start) = 1;
1318 HECMW_abensure_buffer_stack();
1323 HECMW_ab_load_buffer_state();
1327 yy_cp = (yy_c_buf_p);
1329 *
yy_cp = (yy_hold_char);
1334 yy_current_state = (yy_start);
1341 if (yy_accept[yy_current_state]) {
1342 (yy_last_accepting_state) = yy_current_state;
1343 (yy_last_accepting_cpos) =
yy_cp;
1346 while (yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state) {
1347 yy_current_state = (int)yy_def[yy_current_state];
1349 if (yy_current_state >= 772) yy_c = yy_meta[(
unsigned int)yy_c];
1352 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int)yy_c];
1354 }
while (yy_base[yy_current_state] != 2834);
1357 yy_act = yy_accept[yy_current_state];
1361 yy_cp = (yy_last_accepting_cpos);
1362 yy_current_state = (yy_last_accepting_state);
1363 yy_act = yy_accept[yy_current_state];
1373 *
yy_cp = (yy_hold_char);
1374 yy_cp = (yy_last_accepting_cpos);
1375 yy_current_state = (yy_last_accepting_state);
1376 goto yy_find_action;
1381 #line 40 "../src/common/hecmw_ablex.l"
1391 #line 41 "../src/common/hecmw_ablex.l"
1400 #line 42 "../src/common/hecmw_ablex.l"
1408 #line 43 "../src/common/hecmw_ablex.l"
1418 #line 48 "../src/common/hecmw_ablex.l"
1428 #line 50 "../src/common/hecmw_ablex.l"
1437 #line 51 "../src/common/hecmw_ablex.l"
1442 if (fclose(incfp)) {
1456 #line 62 "../src/common/hecmw_ablex.l"
1465 #line 63 "../src/common/hecmw_ablex.l"
1474 #line 64 "../src/common/hecmw_ablex.l"
1484 #line 66 "../src/common/hecmw_ablex.l"
1493 #line 67 "../src/common/hecmw_ablex.l"
1501 #line 68 "../src/common/hecmw_ablex.l"
1510 #line 69 "../src/common/hecmw_ablex.l"
1518 #line 70 "../src/common/hecmw_ablex.l"
1527 #line 71 "../src/common/hecmw_ablex.l"
1535 #line 72 "../src/common/hecmw_ablex.l"
1544 #line 73 "../src/common/hecmw_ablex.l"
1552 #line 74 "../src/common/hecmw_ablex.l"
1561 #line 75 "../src/common/hecmw_ablex.l"
1569 #line 76 "../src/common/hecmw_ablex.l"
1578 #line 77 "../src/common/hecmw_ablex.l"
1586 #line 78 "../src/common/hecmw_ablex.l"
1595 #line 79 "../src/common/hecmw_ablex.l"
1603 #line 80 "../src/common/hecmw_ablex.l"
1612 #line 81 "../src/common/hecmw_ablex.l"
1620 #line 82 "../src/common/hecmw_ablex.l"
1629 #line 83 "../src/common/hecmw_ablex.l"
1637 #line 84 "../src/common/hecmw_ablex.l"
1646 #line 85 "../src/common/hecmw_ablex.l"
1654 #line 86 "../src/common/hecmw_ablex.l"
1663 #line 87 "../src/common/hecmw_ablex.l"
1671 #line 88 "../src/common/hecmw_ablex.l"
1680 #line 89 "../src/common/hecmw_ablex.l"
1688 #line 90 "../src/common/hecmw_ablex.l"
1698 #line 95 "../src/common/hecmw_ablex.l"
1707 #line 96 "../src/common/hecmw_ablex.l"
1715 #line 97 "../src/common/hecmw_ablex.l"
1724 #line 98 "../src/common/hecmw_ablex.l"
1732 #line 99 "../src/common/hecmw_ablex.l"
1741 #line 100 "../src/common/hecmw_ablex.l"
1749 #line 101 "../src/common/hecmw_ablex.l"
1758 #line 102 "../src/common/hecmw_ablex.l"
1766 #line 103 "../src/common/hecmw_ablex.l"
1775 #line 104 "../src/common/hecmw_ablex.l"
1783 #line 105 "../src/common/hecmw_ablex.l"
1792 #line 106 "../src/common/hecmw_ablex.l"
1800 #line 107 "../src/common/hecmw_ablex.l"
1809 #line 108 "../src/common/hecmw_ablex.l"
1817 #line 109 "../src/common/hecmw_ablex.l"
1826 #line 110 "../src/common/hecmw_ablex.l"
1834 #line 111 "../src/common/hecmw_ablex.l"
1843 #line 112 "../src/common/hecmw_ablex.l"
1851 #line 113 "../src/common/hecmw_ablex.l"
1860 #line 114 "../src/common/hecmw_ablex.l"
1868 #line 115 "../src/common/hecmw_ablex.l"
1877 #line 116 "../src/common/hecmw_ablex.l"
1885 #line 117 "../src/common/hecmw_ablex.l"
1894 #line 118 "../src/common/hecmw_ablex.l"
1902 #line 119 "../src/common/hecmw_ablex.l"
1911 #line 120 "../src/common/hecmw_ablex.l"
1919 #line 122 "../src/common/hecmw_ablex.l"
1928 #line 123 "../src/common/hecmw_ablex.l"
1937 #line 124 "../src/common/hecmw_ablex.l"
1946 #line 125 "../src/common/hecmw_ablex.l"
1955 #line 126 "../src/common/hecmw_ablex.l"
1964 #line 127 "../src/common/hecmw_ablex.l"
1973 #line 128 "../src/common/hecmw_ablex.l"
1982 #line 129 "../src/common/hecmw_ablex.l"
1991 #line 130 "../src/common/hecmw_ablex.l"
2000 #line 131 "../src/common/hecmw_ablex.l"
2009 #line 132 "../src/common/hecmw_ablex.l"
2018 #line 133 "../src/common/hecmw_ablex.l"
2027 #line 134 "../src/common/hecmw_ablex.l"
2036 #line 135 "../src/common/hecmw_ablex.l"
2045 #line 136 "../src/common/hecmw_ablex.l"
2054 #line 137 "../src/common/hecmw_ablex.l"
2063 #line 138 "../src/common/hecmw_ablex.l"
2072 #line 139 "../src/common/hecmw_ablex.l"
2081 #line 140 "../src/common/hecmw_ablex.l"
2090 #line 141 "../src/common/hecmw_ablex.l"
2099 #line 142 "../src/common/hecmw_ablex.l"
2108 #line 143 "../src/common/hecmw_ablex.l"
2117 #line 144 "../src/common/hecmw_ablex.l"
2126 #line 145 "../src/common/hecmw_ablex.l"
2135 #line 146 "../src/common/hecmw_ablex.l"
2144 #line 147 "../src/common/hecmw_ablex.l"
2153 #line 148 "../src/common/hecmw_ablex.l"
2162 #line 149 "../src/common/hecmw_ablex.l"
2171 #line 150 "../src/common/hecmw_ablex.l"
2180 #line 151 "../src/common/hecmw_ablex.l"
2189 #line 153 "../src/common/hecmw_ablex.l"
2198 #line 154 "../src/common/hecmw_ablex.l"
2207 #line 155 "../src/common/hecmw_ablex.l"
2216 #line 156 "../src/common/hecmw_ablex.l"
2225 #line 157 "../src/common/hecmw_ablex.l"
2234 #line 158 "../src/common/hecmw_ablex.l"
2243 #line 159 "../src/common/hecmw_ablex.l"
2252 #line 160 "../src/common/hecmw_ablex.l"
2261 #line 161 "../src/common/hecmw_ablex.l"
2270 #line 162 "../src/common/hecmw_ablex.l"
2279 #line 163 "../src/common/hecmw_ablex.l"
2288 #line 164 "../src/common/hecmw_ablex.l"
2297 #line 165 "../src/common/hecmw_ablex.l"
2306 #line 166 "../src/common/hecmw_ablex.l"
2315 #line 167 "../src/common/hecmw_ablex.l"
2324 #line 168 "../src/common/hecmw_ablex.l"
2333 #line 169 "../src/common/hecmw_ablex.l"
2342 #line 170 "../src/common/hecmw_ablex.l"
2351 #line 171 "../src/common/hecmw_ablex.l"
2360 #line 172 "../src/common/hecmw_ablex.l"
2369 #line 173 "../src/common/hecmw_ablex.l"
2378 #line 174 "../src/common/hecmw_ablex.l"
2387 #line 175 "../src/common/hecmw_ablex.l"
2396 #line 176 "../src/common/hecmw_ablex.l"
2405 #line 177 "../src/common/hecmw_ablex.l"
2414 #line 178 "../src/common/hecmw_ablex.l"
2423 #line 179 "../src/common/hecmw_ablex.l"
2432 #line 180 "../src/common/hecmw_ablex.l"
2441 #line 181 "../src/common/hecmw_ablex.l"
2450 #line 182 "../src/common/hecmw_ablex.l"
2459 #line 183 "../src/common/hecmw_ablex.l"
2468 #line 184 "../src/common/hecmw_ablex.l"
2477 #line 185 "../src/common/hecmw_ablex.l"
2486 #line 186 "../src/common/hecmw_ablex.l"
2495 #line 187 "../src/common/hecmw_ablex.l"
2504 #line 188 "../src/common/hecmw_ablex.l"
2513 #line 189 "../src/common/hecmw_ablex.l"
2522 #line 190 "../src/common/hecmw_ablex.l"
2531 #line 191 "../src/common/hecmw_ablex.l"
2540 #line 192 "../src/common/hecmw_ablex.l"
2549 #line 193 "../src/common/hecmw_ablex.l"
2558 #line 194 "../src/common/hecmw_ablex.l"
2567 #line 195 "../src/common/hecmw_ablex.l"
2576 #line 196 "../src/common/hecmw_ablex.l"
2585 #line 197 "../src/common/hecmw_ablex.l"
2594 #line 198 "../src/common/hecmw_ablex.l"
2603 #line 199 "../src/common/hecmw_ablex.l"
2612 #line 200 "../src/common/hecmw_ablex.l"
2621 #line 201 "../src/common/hecmw_ablex.l"
2630 #line 202 "../src/common/hecmw_ablex.l"
2639 #line 203 "../src/common/hecmw_ablex.l"
2648 #line 204 "../src/common/hecmw_ablex.l"
2657 #line 205 "../src/common/hecmw_ablex.l"
2666 #line 206 "../src/common/hecmw_ablex.l"
2675 #line 207 "../src/common/hecmw_ablex.l"
2684 #line 208 "../src/common/hecmw_ablex.l"
2693 #line 209 "../src/common/hecmw_ablex.l"
2702 #line 210 "../src/common/hecmw_ablex.l"
2711 #line 211 "../src/common/hecmw_ablex.l"
2720 #line 212 "../src/common/hecmw_ablex.l"
2729 #line 213 "../src/common/hecmw_ablex.l"
2738 #line 215 "../src/common/hecmw_ablex.l"
2747 #line 216 "../src/common/hecmw_ablex.l"
2756 #line 217 "../src/common/hecmw_ablex.l"
2765 #line 218 "../src/common/hecmw_ablex.l"
2774 #line 220 "../src/common/hecmw_ablex.l"
2784 #line 225 "../src/common/hecmw_ablex.l"
2794 #line 230 "../src/common/hecmw_ablex.l"
2804 #line 235 "../src/common/hecmw_ablex.l"
2814 #line 240 "../src/common/hecmw_ablex.l"
2823 #line 241 "../src/common/hecmw_ablex.l"
2832 #line 243 "../src/common/hecmw_ablex.l"
2835 #line 2514 "<stdout>"
2841 *
yy_cp = (yy_hold_char);
2870 (yy_c_buf_p) = (
yytext_ptr) + yy_amount_of_matched_text;
2871 yy_current_state = yy_get_previous_state();
2880 yy_next_state = yy_try_NUL_trans(yy_current_state);
2883 if (yy_next_state) {
2885 yy_cp = ++(yy_c_buf_p);
2886 yy_current_state = yy_next_state;
2890 yy_cp = (yy_c_buf_p);
2891 goto yy_find_action;
2895 switch (yy_get_next_buffer()) {
2897 (yy_did_buffer_switch_on_eof) = 0;
2921 (yy_c_buf_p) = (
yytext_ptr) + yy_amount_of_matched_text;
2922 yy_current_state = yy_get_previous_state();
2923 yy_cp = (yy_c_buf_p);
2929 yy_current_state = yy_get_previous_state();
2930 yy_cp = (yy_c_buf_p);
2932 goto yy_find_action;
2939 YY_FATAL_ERROR(
"fatal flex scanner internal error--no action found");
2951 static int yy_get_next_buffer(
void) {
2954 register int number_to_move, i;
2958 YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed");
2978 number_to_move = (int)((yy_c_buf_p) - (
yytext_ptr)) - 1;
2980 for (i = 0; i < number_to_move; ++i) *(dest++) = *(source++);
2992 while (num_to_read <= 0) {
2996 int yy_c_buf_p_offset = (int)((yy_c_buf_p)-b->
yy_ch_buf);
3018 (yy_c_buf_p) = &b->
yy_ch_buf[yy_c_buf_p_offset];
3026 (yy_n_chars), num_to_read);
3030 if ((yy_n_chars) == 0) {
3043 if ((
yy_size_t)((yy_n_chars) + number_to_move) >
3046 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
3054 (yy_n_chars) += number_to_move;
3065 register char *
yy_cp;
3066 yy_current_state = (yy_start);
3072 if (yy_accept[yy_current_state]) {
3073 (yy_last_accepting_state) = yy_current_state;
3074 (yy_last_accepting_cpos) =
yy_cp;
3077 while (yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state) {
3078 yy_current_state = (int)yy_def[yy_current_state];
3080 if (yy_current_state >= 772) yy_c = yy_meta[(
unsigned int)yy_c];
3083 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int)yy_c];
3086 return yy_current_state;
3095 register int yy_is_jam;
3096 register char *
yy_cp = (yy_c_buf_p);
3099 if (yy_accept[yy_current_state]) {
3100 (yy_last_accepting_state) = yy_current_state;
3101 (yy_last_accepting_cpos) =
yy_cp;
3104 while (yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state) {
3105 yy_current_state = (int)yy_def[yy_current_state];
3107 if (yy_current_state >= 772) yy_c = yy_meta[(
unsigned int)yy_c];
3110 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int)yy_c];
3111 yy_is_jam = (yy_current_state == 771);
3112 return yy_is_jam ? 0 : yy_current_state;
3117 static int yyinput(
void)
3119 static int input(
void)
3124 *(yy_c_buf_p) = (yy_hold_char);
3133 *(yy_c_buf_p) =
'\0';
3140 switch (yy_get_next_buffer()) {
3175 c = *(
unsigned char *)(yy_c_buf_p);
3176 *(yy_c_buf_p) =
'\0';
3177 (yy_hold_char) = *++(yy_c_buf_p);
3190 HECMW_abensure_buffer_stack();
3195 HECMW_ab_load_buffer_state();
3208 HECMW_abensure_buffer_stack();
3214 *(yy_c_buf_p) = (yy_hold_char);
3220 HECMW_ab_load_buffer_state();
3226 (yy_did_buffer_switch_on_eof) = 1;
3229 static void HECMW_ab_load_buffer_state(
void) {
3233 (yy_hold_char) = *(yy_c_buf_p);
3247 if (!b)
YY_FATAL_ERROR(
"out of dynamic memory in HECMW_ab_create_buffer()");
3256 YY_FATAL_ERROR(
"out of dynamic memory in HECMW_ab_create_buffer()");
3259 HECMW_ab_init_buffer(b, file);
3335 if (new_buffer ==
NULL)
return;
3337 HECMW_abensure_buffer_stack();
3342 *(yy_c_buf_p) = (yy_hold_char);
3352 HECMW_ab_load_buffer_state();
3353 (yy_did_buffer_switch_on_eof) = 1;
3366 if ((yy_buffer_stack_top) > 0) --(yy_buffer_stack_top);
3369 HECMW_ab_load_buffer_state();
3370 (yy_did_buffer_switch_on_eof) = 1;
3377 static void HECMW_abensure_buffer_stack(
void) {
3380 if (!(yy_buffer_stack)) {
3389 if (!(yy_buffer_stack))
3390 YY_FATAL_ERROR(
"out of dynamic memory in HECMW_abensure_buffer_stack()");
3392 memset((yy_buffer_stack), 0,
3394 (yy_buffer_stack_max) = num_to_alloc;
3395 (yy_buffer_stack_top) = 0;
3399 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1) {
3402 num_to_alloc = (yy_buffer_stack_max) + grow_size;
3406 if (!(yy_buffer_stack))
3407 YY_FATAL_ERROR(
"out of dynamic memory in HECMW_abensure_buffer_stack()");
3410 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0,
3412 (yy_buffer_stack_max) = num_to_alloc;
3433 if (!b)
YY_FATAL_ERROR(
"out of dynamic memory in HECMW_ab_scan_buffer()");
3475 n = _yybytes_len + 2;
3478 if (!buf)
YY_FATAL_ERROR(
"out of dynamic memory in HECMW_ab_scan_bytes()");
3480 for (i = 0; i < _yybytes_len; ++i) buf[i] = yybytes[i];
3494 #ifndef YY_EXIT_FAILURE
3495 #define YY_EXIT_FAILURE 2
3498 static void yy_fatal_error(
yyconst char *msg) {
3499 (void)fprintf(stderr,
"%s\n", msg);
3509 int yyless_macro_arg = (n); \
3510 YY_LESS_LINENO(yyless_macro_arg); \
3511 HECMW_abtext[HECMW_ableng] = (yy_hold_char); \
3512 (yy_c_buf_p) = HECMW_abtext + yyless_macro_arg; \
3513 (yy_hold_char) = *(yy_c_buf_p); \
3514 *(yy_c_buf_p) = '\0'; \
3515 HECMW_ableng = yyless_macro_arg; \
3566 static int yy_init_globals(
void) {
3570 (yy_buffer_stack) = 0;
3571 (yy_buffer_stack_top) = 0;
3572 (yy_buffer_stack_max) = 0;
3573 (yy_c_buf_p) = (
char *)0;
3601 (yy_buffer_stack) =
NULL;
3614 static void yy_flex_strncpy(
char *s1,
yyconst char *s2,
int n) {
3617 for (i = 0; i < n; ++i) s1[i] = s2[i];
3621 #ifdef YY_NEED_STRLEN
3622 static int yy_flex_strlen(
yyconst char *s) {
3625 for (n = 0; s[n]; ++n)
3642 return (
void *)realloc((
char *)ptr, size);
3649 #define YYTABLES_NAME "yytables"
3651 #line 243 "../src/common/hecmw_ablex.l"
3653 static void set_flag_header(
int flag) { flag_header = flag ? 1 : 0; }
3656 return flag_including ? lineno_inc : lineno;
3671 if (token != skip_token)
break;
3678 static int first = 1;
3680 if (fp ==
NULL)
return -1;
3705 if (filename ==
NULL)
return -1;
3707 if (flag_including) {
3712 if ((incfp = fopen(filename,
"r")) ==
NULL) {
3717 strcpy(include_filename, filename);
void HECMW_abrestart(FILE *input_file)
unsigned char flex_uint8_t
void HECMW_abset_extra(YY_EXTRA_TYPE user_defined)
char * HECMW_ablex_get_text(void)
int HECMW_ablex_skip_line(void)
int HECMW_ablex_get_lineno(void)
YY_BUFFER_STATE HECMW_ab_scan_bytes(yyconst char *bytes, yy_size_t len)
void HECMW_abpop_buffer_state(void)
YY_EXTRA_TYPE HECMW_abget_extra(void)
void HECMW_abset_lineno(int line_number)
unsigned int flex_uint32_t
struct yy_buffer_state * YY_BUFFER_STATE
int HECMW_ablex_unput_token(void)
#define YY_RESTORE_YY_MORE_OFFSET
char * HECMW_abget_text(void)
void * HECMW_aballoc(yy_size_t)
void * HECMW_abrealloc(void *, yy_size_t)
void HECMW_abset_in(FILE *in_str)
FILE * HECMW_abget_out(void)
int HECMW_ablex_destroy(void)
void HECMW_abset_debug(int debug_flag)
int HECMW_ablex_next_token(void)
int HECMW_ablex_next_token_skip(int skip_token)
int HECMW_abget_debug(void)
#define EOB_ACT_END_OF_FILE
FILE * HECMW_abget_in(void)
#define YY_CURRENT_BUFFER_LVALUE
void HECMW_ab_flush_buffer(YY_BUFFER_STATE b)
int HECMW_abget_lineno(void)
#define YY_CURRENT_BUFFER
int HECMW_ablex_is_including(void)
int HECMW_ablex_switch_to_include(const char *filename)
YY_BUFFER_STATE HECMW_ab_create_buffer(FILE *file, int size)
double HECMW_ablex_get_number(void)
void HECMW_ab_delete_buffer(YY_BUFFER_STATE b)
#define YY_INPUT(buf, result, max_size)
#define YY_STATE_EOF(state)
YY_BUFFER_STATE HECMW_ab_scan_string(yyconst char *yy_str)
#define YY_END_OF_BUFFER_CHAR
#define YY_FATAL_ERROR(msg)
unsigned short int flex_uint16_t
void HECMW_abset_out(FILE *out_str)
#define YY_DO_BEFORE_ACTION
void HECMW_abfree(void *)
YY_BUFFER_STATE HECMW_ab_scan_buffer(char *base, yy_size_t size)
#define EOB_ACT_LAST_MATCH
#define YY_BUFFER_EOF_PENDING
#define EOB_ACT_CONTINUE_SCAN
void HECMW_abpush_buffer_state(YY_BUFFER_STATE new_buffer)
yy_size_t HECMW_abget_leng(void)
void HECMW_ab_switch_to_buffer(YY_BUFFER_STATE new_buffer)
int HECMW_ablex_set_input(FILE *fp)
@ HECMW_ABLEX_H_CONDUCTIVITY
@ HECMW_ABLEX_H_SHELL_SECTION
@ HECMW_ABLEX_K_ISOTROPIC
@ HECMW_ABLEX_K_ENGINEERING_CONSTANTS
@ HECMW_ABLEX_K_STEP_TIME
@ HECMW_ABLEX_H_EXPANSION
@ HECMW_ABLEX_H_AMPLITUDE
@ HECMW_ABLEX_H_SOLID_SECTION
@ HECMW_ABLEX_K_TIMEVALUE
@ HECMW_ABLEX_K_ORIENTATION
@ HECMW_ABLEX_H_SPECIFIC_HEAT
@ HECMW_ABLEX_H_NODE_OUTPUT
@ HECMW_ABLEX_K_DEFINITION
@ HECMW_ABLEX_H_ELEMENT_OUTPUT
@ HECMW_ABLEX_K_TEMPERATURE
@ HECMW_ABLEX_K_VALUETIME
@ HECMW_ABLEX_K_ANISOTROPIC
@ HECMW_ABLEX_H_VISCOELASTIC
@ HECMW_ABLEX_K_ORTHOTROPIC
@ HECMW_ABLEX_K_INSTANTANEOUS
#define HECMW_FILENAME_LEN
int HECMW_set_error(int errorno, const char *fmt,...)