1 #line 2 "scan_spice.cpp"
3 #line 4 "scan_spice.cpp"
5 #define YY_INT_ALIGNED short int
9 #define yy_create_buffer spice__create_buffer
10 #define yy_delete_buffer spice__delete_buffer
11 #define yy_flex_debug spice__flex_debug
12 #define yy_init_buffer spice__init_buffer
13 #define yy_flush_buffer spice__flush_buffer
14 #define yy_load_buffer_state spice__load_buffer_state
15 #define yy_switch_to_buffer spice__switch_to_buffer
17 #define yyleng spice_leng
18 #define yylex spice_lex
19 #define yylineno spice_lineno
20 #define yyout spice_out
21 #define yyrestart spice_restart
22 #define yytext spice_text
23 #define yywrap spice_wrap
24 #define yyalloc spice_alloc
25 #define yyrealloc spice_realloc
26 #define yyfree spice_free
29 #define YY_FLEX_MAJOR_VERSION 2
30 #define YY_FLEX_MINOR_VERSION 5
31 #define YY_FLEX_SUBMINOR_VERSION 35
32 #if YY_FLEX_SUBMINOR_VERSION > 0
53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
58 #ifndef __STDC_LIMIT_MACROS
59 #define __STDC_LIMIT_MACROS 1
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)
118 #if defined (__STDC__)
126 #define yyconst const
139 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
145 #define BEGIN (yy_start) = 1 + 2 *
151 #define YY_START (((yy_start) - 1) / 2)
152 #define YYSTATE YY_START
155 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
158 #define YY_NEW_FILE spice_restart(spice_in )
160 #define YY_END_OF_BUFFER_CHAR 0
169 #define YY_BUF_SIZE 32768
171 #define YY_BUF_SIZE 16384
177 #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
179 #ifndef YY_TYPEDEF_YY_BUFFER_STATE
180 #define YY_TYPEDEF_YY_BUFFER_STATE
188 #define EOB_ACT_CONTINUE_SCAN 0
189 #define EOB_ACT_END_OF_FILE 1
190 #define EOB_ACT_LAST_MATCH 2
199 #define YY_LESS_LINENO(n) \
202 for ( yyl = n; yyl < spice_leng; ++yyl )\
203 if ( spice_text[yyl] == '\n' )\
212 int yyless_macro_arg = (n); \
213 YY_LESS_LINENO(yyless_macro_arg);\
214 *yy_cp = (yy_hold_char); \
215 YY_RESTORE_YY_MORE_OFFSET \
216 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
217 YY_DO_BEFORE_ACTION; \
221 #define unput(c) yyunput( c, (yytext_ptr) )
223 #ifndef YY_TYPEDEF_YY_SIZE_T
224 #define YY_TYPEDEF_YY_SIZE_T
228 #ifndef YY_STRUCT_YY_BUFFER_STATE
229 #define YY_STRUCT_YY_BUFFER_STATE
276 #define YY_BUFFER_NEW 0
277 #define YY_BUFFER_NORMAL 1
288 #define YY_BUFFER_EOF_PENDING 2
294 static size_t yy_buffer_stack_top = 0;
295 static size_t yy_buffer_stack_max = 0;
296 static YY_BUFFER_STATE * yy_buffer_stack = 0;
304 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
305 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
311 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
314 static char yy_hold_char;
315 static int yy_n_chars;
319 static char *yy_c_buf_p = (
char *) 0;
320 static int yy_init = 0;
321 static int yy_start = 0;
326 static int yy_did_buffer_switch_on_eof;
336 static void spice_ensure_buffer_stack (
void );
337 static void spice__load_buffer_state (
void );
338 static void spice__init_buffer (YY_BUFFER_STATE
b,FILE *file );
340 #define YY_FLUSH_BUFFER spice__flush_buffer(YY_CURRENT_BUFFER )
350 #define yy_new_buffer spice__create_buffer
352 #define yy_set_interactive(is_interactive) \
354 if ( ! YY_CURRENT_BUFFER ){ \
355 spice_ensure_buffer_stack (); \
356 YY_CURRENT_BUFFER_LVALUE = \
357 spice__create_buffer(spice_in,YY_BUF_SIZE ); \
359 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
362 #define yy_set_bol(at_bol) \
364 if ( ! YY_CURRENT_BUFFER ){\
365 spice_ensure_buffer_stack (); \
366 YY_CURRENT_BUFFER_LVALUE = \
367 spice__create_buffer(spice_in,YY_BUF_SIZE ); \
369 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
372 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
376 #define spice_wrap(n) 1
377 #define YY_SKIP_YYWRAP
387 int spice_lineno = 1;
390 #define yytext_ptr spice_text
392 static yy_state_type yy_get_previous_state (
void );
393 static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
394 static int yy_get_next_buffer (
void );
395 static void yy_fatal_error (
yyconst char msg[] );
400 #define YY_DO_BEFORE_ACTION \
401 (yytext_ptr) = yy_bp; \
402 spice_leng = (size_t) (yy_cp - yy_bp); \
403 (yy_hold_char) = *yy_cp; \
405 (yy_c_buf_p) = yy_cp;
407 #define YY_NUM_RULES 92
408 #define YY_END_OF_BUFFER 93
418 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
419 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
420 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
421 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
422 0, 0, 0, 0, 93, 90, 84, 92, 90, 9,
423 4, 90, 2, 3, 90, 90, 17, 12, 15, 16,
424 14, 13, 19, 22, 20, 21, 23, 18, 86, 84,
425 85, 86, 83, 90, 82, 82, 90, 71, 90, 82,
426 82, 82, 61, 82, 82, 82, 82, 82, 82, 56,
427 77, 77, 77, 77, 55, 55, 77, 77, 77, 77,
429 77, 90, 71, 64, 79, 77, 76, 76, 77, 77,
430 77, 76, 77, 77, 77, 87, 84, 87, 4, 82,
431 82, 82, 48, 82, 82, 62, 82, 90, 77, 77,
432 77, 77, 77, 77, 77, 77, 77, 77, 77, 77,
433 77, 2, 3, 90, 17, 12, 65, 15, 16, 14,
434 67, 13, 12, 68, 19, 66, 12, 22, 20, 21,
435 14, 23, 18, 69, 57, 71, 77, 60, 6, 6,
436 7, 6, 4, 6, 82, 82, 82, 82, 82, 89,
437 84, 88, 89, 4, 78, 77, 77, 60, 0, 0,
438 84, 0, 2, 1, 0, 0, 0, 0, 0, 0,
440 0, 0, 0, 0, 0, 0, 0, 0, 17, 17,
441 12, 12, 15, 15, 16, 16, 14, 14, 13, 13,
442 19, 19, 22, 22, 20, 20, 21, 21, 23, 23,
443 18, 18, 85, 0, 83, 0, 82, 0, 72, 72,
444 72, 71, 72, 82, 72, 72, 82, 0, 63, 82,
445 82, 82, 82, 61, 82, 82, 82, 82, 82, 63,
446 82, 82, 82, 60, 60, 56, 77, 77, 55, 77,
447 53, 77, 77, 77, 55, 77, 72, 71, 72, 0,
448 72, 72, 0, 64, 79, 77, 77, 77, 77, 77,
449 77, 77, 77, 77, 76, 77, 77, 75, 82, 48,
451 63, 82, 77, 77, 77, 77, 77, 77, 77, 77,
452 47, 77, 77, 77, 77, 77, 2, 0, 17, 17,
453 12, 12, 65, 15, 16, 14, 67, 13, 13, 12,
454 68, 19, 19, 66, 66, 22, 22, 20, 20, 21,
455 14, 23, 18, 69, 69, 71, 52, 60, 7, 0,
456 0, 82, 82, 82, 82, 82, 88, 0, 78, 77,
457 50, 60, 60, 0, 27, 0, 31, 0, 0, 30,
458 0, 0, 0, 32, 0, 0, 41, 0, 0, 0,
459 0, 44, 0, 0, 0, 82, 72, 82, 82, 72,
460 82, 82, 0, 0, 49, 82, 75, 82, 82, 82,
462 82, 77, 51, 77, 77, 0, 72, 0, 0, 72,
463 0, 0, 77, 76, 76, 77, 77, 76, 77, 82,
464 82, 77, 77, 46, 77, 77, 77, 77, 77, 77,
465 77, 77, 77, 77, 77, 77, 0, 17, 12, 13,
466 12, 19, 66, 22, 20, 20, 14, 47, 0, 82,
467 82, 82, 82, 82, 77, 60, 70, 0, 0, 0,
468 0, 0, 0, 0, 36, 0, 0, 0, 0, 0,
469 0, 0, 0, 0, 72, 82, 0, 82, 82, 82,
470 82, 77, 77, 54, 0, 77, 82, 82, 58, 77,
471 77, 77, 58, 77, 77, 77, 58, 77, 77, 77,
473 77, 70, 17, 13, 12, 19, 66, 22, 20, 20,
474 0, 74, 82, 73, 82, 82, 73, 60, 70, 70,
475 0, 0, 0, 45, 0, 0, 0, 0, 0, 26,
476 0, 42, 43, 0, 33, 25, 0, 0, 81, 63,
477 82, 77, 77, 82, 77, 77, 77, 77, 77, 77,
478 77, 77, 11, 17, 13, 66, 22, 20, 20, 8,
479 82, 60, 0, 28, 0, 24, 0, 39, 0, 34,
480 0, 38, 82, 82, 77, 77, 77, 77, 77, 77,
481 77, 77, 77, 17, 13, 66, 22, 20, 82, 0,
482 0, 0, 37, 10, 82, 58, 77, 77, 59, 77,
484 77, 77, 17, 13, 66, 22, 20, 5, 40, 29,
485 35, 80, 77, 77, 77, 77, 77, 13, 66, 22,
486 20, 77, 77, 77, 13, 66, 22, 20, 77, 13,
487 59, 20, 77, 20, 20, 0
492 1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
493 1, 1, 4, 1, 1, 1, 1, 1, 1, 1,
494 1, 1, 1, 1, 1, 5, 1, 1, 1, 1,
495 1, 2, 1, 1, 6, 7, 1, 1, 1, 8,
496 8, 9, 10, 8, 11, 12, 13, 14, 15, 15,
497 16, 14, 14, 14, 14, 14, 14, 17, 18, 1,
498 8, 1, 1, 19, 20, 21, 22, 23, 24, 25,
499 26, 27, 28, 29, 30, 31, 32, 33, 34, 35,
500 36, 37, 38, 39, 40, 41, 42, 43, 44, 45,
501 46, 17, 47, 1, 48, 1, 20, 21, 22, 23,
503 49, 25, 26, 27, 28, 29, 30, 31, 32, 33,
504 34, 35, 36, 37, 38, 50, 40, 41, 42, 43,
505 44, 45, 1, 1, 1, 1, 1, 1, 1, 1,
506 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
507 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
508 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
509 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
510 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
511 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
512 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
514 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
515 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
516 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
517 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
518 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
524 1, 2, 2, 2, 1, 3, 1, 2, 2, 4,
525 5, 6, 7, 8, 8, 8, 6, 2, 1, 9,
526 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
527 9, 9, 9, 9, 9, 9, 9, 9, 9, 9,
528 9, 9, 9, 9, 9, 10, 11, 12, 9, 9
533 0, 12, 61, 64, 72, 0, 122, 0, 171, 0,
534 202, 249, 296, 0, 186, 220, 328, 360, 410, 457,
535 485, 515, 560, 610, 642, 0, 683, 0, 1581, 1580,
536 228, 267, 327, 350, 236, 278, 733, 780, 818, 850,
537 882, 0, 399, 400, 1616, 3683, 3683, 188, 7, 3683,
538 3683, 152, 214, 67, 913, 193, 962, 1009, 1056, 1103,
539 1150, 1197, 1244, 1291, 1338, 1385, 1432, 1479, 3683, 3683,
540 274, 196, 350, 222, 0, 276, 249, 1522, 0, 211,
541 348, 1569, 283, 1583, 1572, 1576, 342, 1569, 1556, 1567,
542 472, 392, 473, 467, 438, 478, 488, 486, 518, 534,
544 798, 392, 1593, 0, 0, 0, 1546, 0, 233, 458,
545 404, 325, 1541, 1539, 1536, 3683, 3683, 243, 3683, 1547,
546 478, 315, 0, 328, 343, 0, 1523, 554, 508, 542,
547 523, 658, 548, 695, 713, 760, 755, 800, 765, 743,
548 825, 1533, 3683, 672, 749, 831, 790, 806, 845, 857,
549 866, 875, 894, 900, 943, 976, 982, 990, 996, 1024,
550 1032, 1038, 1065, 1073, 0, 431, 1075, 1081, 3683, 3683,
551 563, 439, 3683, 483, 1488, 1504, 1488, 1497, 1490, 3683,
552 3683, 675, 449, 3683, 0, 971, 921, 908, 754, 451,
553 3683, 1470, 468, 3683, 571, 581, 1471, 1455, 364, 1450,
555 493, 1445, 1444, 1441, 514, 833, 1093, 1443, 1642, 0,
556 1689, 0, 1736, 0, 1783, 0, 1830, 0, 1877, 0,
557 1924, 0, 1971, 0, 2018, 0, 2065, 0, 2112, 0,
558 2159, 0, 898, 583, 957, 603, 0, 716, 2202, 2239,
559 488, 809, 0, 1113, 1106, 970, 1442, 1421, 0, 1434,
560 1440, 1423, 1421, 598, 1422, 1420, 550, 1415, 1411, 0,
561 1406, 1417, 1411, 919, 1092, 1044, 877, 0, 1018, 1026,
562 1083, 1126, 1135, 1163, 1164, 1165, 1167, 943, 3683, 1174,
563 1193, 2270, 1399, 0, 0, 1379, 1378, 1389, 339, 1376,
564 1383, 369, 1366, 1361, 0, 1373, 1350, 0, 1352, 0,
566 0, 1344, 1211, 1213, 1222, 1257, 1231, 1266, 1272, 1274,
567 1258, 1304, 1313, 1315, 1323, 1321, 1373, 1336, 1354, 1360,
568 1366, 1394, 1400, 1406, 1412, 1441, 1447, 1453, 1462, 1488,
569 1494, 1502, 1590, 1508, 1569, 1575, 1655, 1581, 1661, 1667,
570 1702, 1673, 1708, 1714, 1745, 1178, 1368, 1751, 1162, 686,
571 1335, 493, 1328, 1330, 1336, 1322, 1192, 706, 0, 1464,
572 1414, 1232, 1604, 1325, 3683, 1312, 3683, 1305, 1298, 3683,
573 1315, 1309, 644, 624, 1296, 1290, 3683, 1275, 1282, 1292,
574 1275, 3683, 1276, 1260, 1720, 1259, 1753, 1250, 1240, 1231,
575 1229, 1226, 1208, 0, 0, 663, 0, 1213, 1211, 1207,
577 1202, 1753, 1496, 1716, 1768, 1414, 1756, 1203, 1203, 1188,
578 1176, 1172, 1137, 0, 0, 1108, 1105, 0, 1109, 724,
579 768, 1801, 1803, 1510, 1802, 1811, 1812, 1843, 1853, 1862,
580 1817, 1852, 1887, 1863, 1898, 1864, 1111, 1906, 1933, 1941,
581 1947, 1953, 1988, 1997, 2027, 2003, 2033, 2039, 1096, 1063,
582 1051, 1036, 1032, 1016, 2041, 1280, 1527, 770, 804, 1016,
583 1015, 723, 791, 1003, 995, 830, 971, 871, 961, 963,
584 941, 939, 876, 1525, 1622, 908, 893, 878, 920, 959,
585 889, 1955, 2049, 2051, 869, 900, 855, 841, 2074, 2083,
586 2085, 2093, 2084, 2099, 2121, 2122, 2094, 2127, 2133, 2135,
588 2146, 1685, 2168, 2176, 2182, 2188, 2290, 2299, 2310, 2316,
589 826, 0, 825, 0, 1028, 1046, 2190, 2275, 1654, 724,
590 987, 777, 742, 3683, 727, 723, 674, 1086, 670, 3683,
591 975, 3683, 3683, 670, 3683, 3683, 657, 622, 3683, 554,
592 544, 2322, 549, 532, 2327, 2328, 2333, 2345, 2347, 2358,
593 2339, 2360, 3683, 2368, 2379, 2387, 2397, 2405, 2411, 3683,
594 459, 1374, 398, 3683, 403, 3683, 1101, 3683, 390, 3683,
595 1022, 3683, 394, 374, 2389, 363, 2413, 2421, 2422, 2430,
596 2431, 2432, 2440, 2441, 2450, 2462, 2473, 2479, 1131, 242,
597 1162, 1051, 203, 3683, 207, 2452, 2481, 2487, 2489, 2498,
599 2497, 2510, 2518, 2524, 2530, 2538, 2549, 3683, 3683, 3683,
600 3683, 0, 2540, 2557, 2558, 2563, 2572, 2580, 2586, 2598,
601 2604, 2588, 2606, 2614, 2615, 2625, 2634, 2644, 2646, 2652,
602 2660, 2666, 2668, 2674, 2680, 3683, 2724, 2736, 2748, 2760,
603 2772, 2784, 2796, 2808, 2819, 2827, 2838, 2849, 2860, 2871,
604 2882, 2893, 2904, 2915, 2926, 2937, 2948, 2958, 175, 2968,
605 2978, 2988, 2993, 3001, 3009, 3016, 3026, 3036, 3046, 3056,
606 3066, 3076, 3086, 3096, 3106, 3116, 3126, 3136, 3146, 3156,
607 3166, 3176, 3186, 3196, 3204, 3214, 3225, 3233, 3238, 3249,
608 3254, 3265, 3270, 3281, 3286, 3297, 3302, 3313, 3318, 3329,
610 3334, 3345, 3350, 3361, 3366, 3377, 3382, 3393, 3398, 3409,
611 3414, 3419, 3429, 3439, 3447, 3452, 3460, 3467, 3477, 3487,
612 3497, 3507, 3517, 3527, 3537, 3547, 3557, 3567, 3577, 3587,
613 3597, 3607, 3617, 3627, 3637, 3647, 3655, 3665, 168, 3670
618 637, 636, 638, 638, 636, 5, 636, 7, 637, 9,
619 639, 639, 636, 13, 640, 640, 5, 5, 641, 641,
620 5, 5, 7, 636, 5, 25, 7, 27, 27, 27,
621 642, 642, 25, 25, 643, 643, 644, 644, 27, 27,
622 27, 41, 25, 25, 636, 636, 636, 636, 636, 636,
623 636, 636, 645, 645, 636, 645, 646, 647, 648, 649,
624 650, 651, 652, 653, 654, 655, 656, 657, 636, 636,
625 636, 636, 636, 636, 658, 658, 636, 636, 659, 658,
626 658, 658, 660, 658, 658, 658, 658, 658, 658, 661,
627 662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
629 662, 636, 636, 663, 664, 665, 665, 665, 665, 665,
630 665, 665, 665, 665, 665, 636, 636, 636, 636, 658,
631 658, 658, 666, 658, 658, 658, 658, 636, 662, 662,
632 662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
633 662, 636, 636, 55, 667, 668, 669, 670, 671, 672,
634 673, 674, 668, 675, 676, 677, 668, 678, 679, 680,
635 672, 681, 682, 683, 658, 658, 662, 684, 636, 636,
636 636, 636, 636, 636, 658, 658, 658, 658, 658, 636,
637 636, 636, 636, 636, 685, 662, 662, 686, 636, 636,
638 636, 636, 687, 636, 636, 687, 636, 636, 636, 636,
640 636, 636, 636, 636, 636, 636, 636, 636, 688, 689,
641 690, 691, 692, 693, 694, 695, 696, 697, 698, 699,
642 700, 701, 702, 703, 704, 705, 706, 707, 708, 709,
643 710, 711, 636, 636, 636, 636, 658, 636, 636, 636,
644 240, 239, 658, 658, 658, 245, 658, 712, 658, 658,
645 658, 658, 658, 713, 658, 658, 658, 658, 658, 658,
646 658, 658, 658, 714, 714, 714, 662, 715, 662, 662,
647 662, 662, 662, 662, 662, 662, 240, 277, 636, 636,
648 636, 636, 636, 716, 717, 715, 715, 715, 715, 715,
649 715, 715, 715, 715, 715, 715, 715, 658, 658, 718,
651 658, 658, 662, 662, 662, 662, 662, 662, 662, 662,
652 662, 662, 662, 662, 662, 662, 636, 636, 719, 719,
653 720, 720, 721, 722, 723, 724, 725, 726, 726, 720,
654 727, 728, 728, 729, 729, 730, 730, 731, 731, 732,
655 724, 733, 734, 735, 735, 658, 662, 736, 636, 636,
656 636, 658, 658, 658, 658, 658, 636, 636, 737, 662,
657 662, 738, 738, 636, 636, 636, 636, 636, 636, 636,
658 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
659 636, 636, 636, 636, 636, 658, 239, 658, 658, 658,
660 658, 658, 712, 739, 658, 658, 658, 658, 658, 658,
662 658, 662, 662, 662, 662, 636, 240, 636, 636, 636,
663 636, 636, 715, 715, 715, 715, 715, 715, 715, 658,
664 658, 662, 662, 662, 662, 662, 662, 662, 662, 662,
665 662, 662, 662, 662, 662, 662, 636, 719, 720, 726,
666 720, 728, 729, 730, 731, 731, 724, 735, 636, 658,
667 658, 658, 658, 658, 662, 738, 636, 636, 636, 636,
668 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
669 636, 636, 636, 636, 407, 658, 740, 658, 658, 658,
670 658, 662, 662, 662, 636, 715, 658, 658, 662, 662,
671 662, 662, 662, 662, 662, 662, 662, 662, 662, 662,
673 662, 636, 719, 726, 720, 728, 729, 730, 731, 731,
674 636, 658, 658, 658, 658, 658, 662, 738, 636, 636,
675 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
676 636, 636, 636, 636, 636, 636, 636, 740, 636, 658,
677 658, 662, 715, 658, 662, 662, 662, 662, 662, 662,
678 662, 662, 636, 719, 726, 729, 730, 731, 731, 636,
679 658, 738, 636, 636, 636, 636, 636, 636, 636, 636,
680 636, 636, 658, 658, 662, 715, 662, 662, 662, 662,
681 662, 662, 662, 719, 726, 729, 730, 731, 658, 636,
682 636, 636, 636, 636, 658, 662, 662, 662, 662, 662,
684 662, 662, 719, 726, 729, 730, 731, 636, 636, 636,
685 636, 658, 662, 662, 662, 662, 662, 726, 729, 730,
686 731, 662, 662, 662, 726, 729, 730, 731, 662, 726,
687 729, 731, 662, 731, 731, 0, 636, 636, 636, 636,
688 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
689 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
690 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
691 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
692 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
693 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
695 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
696 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
697 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
698 636, 636, 636, 636, 636, 636, 636, 636, 636, 636
703 636, 47, 48, 49, 50, 636, 51, 47, 51, 189,
704 190, 52, 46, 53, 48, 49, 50, 46, 51, 47,
705 54, 46, 46, 55, 46, 56, 56, 56, 46, 46,
706 46, 56, 57, 58, 56, 59, 60, 59, 60, 61,
707 56, 62, 58, 56, 56, 63, 56, 56, 58, 64,
708 65, 66, 61, 67, 68, 56, 56, 46, 46, 46,
709 59, 65, 70, 71, 72, 70, 71, 72, 70, 194,
710 195, 70, 46, 47, 73, 74, 46, 75, 51, 47,
711 51, 76, 76, 77, 46, 78, 78, 78, 46, 46,
712 79, 80, 75, 75, 81, 82, 75, 75, 75, 83,
714 75, 75, 84, 75, 85, 86, 87, 75, 75, 88,
715 89, 75, 90, 75, 75, 75, 75, 46, 46, 75,
716 82, 89, 46, 47, 73, 74, 46, 75, 51, 47,
717 51, 76, 76, 77, 46, 78, 78, 78, 46, 46,
718 46, 91, 92, 92, 93, 92, 92, 92, 92, 94,
719 92, 92, 95, 96, 97, 98, 99, 92, 100, 92,
720 101, 92, 92, 95, 92, 92, 92, 46, 46, 92,
721 92, 101, 47, 73, 74, 192, 477, 51, 47, 51,
722 102, 102, 77, 248, 103, 103, 103, 117, 73, 118,
723 189, 190, 119, 117, 119, 194, 195, 191, 233, 234,
725 192, 104, 46, 47, 48, 49, 46, 46, 51, 47,
726 51, 46, 46, 46, 46, 193, 194, 195, 46, 46,
727 46, 117, 73, 118, 235, 236, 119, 117, 119, 170,
728 171, 172, 249, 612, 173, 170, 173, 181, 182, 183,
729 611, 250, 184, 181, 184, 235, 236, 46, 46, 46,
730 47, 48, 49, 46, 46, 51, 47, 51, 46, 46,
731 46, 46, 240, 240, 240, 46, 46, 46, 170, 171,
732 172, 287, 608, 173, 170, 173, 189, 190, 174, 181,
733 182, 183, 287, 191, 184, 181, 184, 238, 237, 239,
734 239, 239, 237, 237, 46, 46, 46, 47, 48, 49,
736 46, 46, 51, 47, 51, 46, 46, 46, 46, 46,
737 46, 46, 46, 46, 46, 106, 106, 107, 108, 106,
738 106, 106, 106, 106, 106, 106, 109, 106, 110, 106,
739 111, 106, 112, 113, 106, 114, 115, 106, 106, 106,
740 106, 46, 46, 106, 106, 106, 46, 120, 294, 301,
741 121, 175, 189, 190, 258, 75, 259, 176, 250, 191,
742 75, 177, 122, 415, 301, 178, 75, 179, 75, 249,
743 302, 251, 416, 294, 175, 252, 178, 75, 46, 120,
744 176, 258, 121, 259, 177, 367, 260, 75, 178, 418,
745 179, 368, 75, 415, 122, 595, 251, 237, 75, 178,
747 75, 237, 417, 238, 268, 277, 277, 277, 298, 75,
748 46, 47, 73, 74, 46, 46, 51, 47, 51, 46,
749 46, 46, 593, 175, 175, 591, 46, 46, 46, 176,
750 176, 590, 291, 177, 177, 292, 293, 178, 178, 188,
751 188, 349, 350, 237, 346, 346, 346, 237, 178, 178,
752 268, 357, 358, 189, 190, 46, 46, 46, 47, 73,
753 74, 46, 46, 51, 47, 51, 46, 46, 46, 193,
754 194, 195, 237, 46, 46, 46, 237, 237, 237, 268,
755 589, 237, 237, 237, 268, 268, 288, 237, 271, 289,
756 268, 237, 290, 237, 269, 237, 270, 237, 268, 298,
758 268, 251, 46, 46, 124, 299, 351, 125, 75, 269,
759 273, 636, 126, 237, 370, 75, 450, 237, 75, 127,
760 268, 270, 75, 237, 272, 371, 251, 237, 237, 303,
761 268, 351, 237, 75, 124, 268, 636, 125, 75, 237,
762 269, 450, 126, 237, 375, 75, 268, 237, 75, 127,
763 376, 237, 75, 237, 268, 269, 573, 237, 377, 274,
764 268, 304, 305, 75, 50, 189, 190, 240, 240, 240,
765 576, 128, 191, 194, 195, 307, 574, 192, 573, 129,
766 130, 131, 92, 194, 195, 233, 234, 92, 298, 132,
767 133, 92, 134, 135, 136, 137, 92, 138, 139, 298,
769 140, 92, 192, 237, 141, 235, 236, 237, 237, 139,
770 46, 142, 73, 74, 50, 75, 51, 47, 143, 76,
771 76, 144, 46, 78, 78, 78, 46, 46, 46, 129,
772 145, 146, 147, 148, 149, 148, 149, 150, 151, 152,
773 153, 154, 134, 155, 136, 156, 157, 158, 159, 160,
774 161, 162, 163, 92, 164, 46, 46, 92, 148, 159,
775 46, 75, 465, 237, 75, 75, 463, 237, 539, 75,
776 268, 464, 75, 465, 75, 75, 75, 189, 190, 75,
777 75, 306, 165, 572, 191, 240, 240, 240, 349, 350,
778 75, 75, 75, 75, 46, 318, 166, 166, 166, 571,
780 237, 478, 92, 569, 237, 92, 306, 268, 357, 358,
781 92, 567, 478, 92, 92, 92, 167, 92, 237, 92,
782 318, 92, 237, 168, 92, 268, 520, 521, 308, 240,
783 240, 240, 92, 46, 47, 73, 74, 46, 46, 51,
784 47, 51, 46, 46, 46, 46, 526, 309, 237, 46,
785 46, 46, 237, 566, 237, 268, 189, 190, 237, 267,
786 237, 268, 487, 191, 237, 237, 565, 268, 320, 237,
787 237, 526, 268, 487, 237, 564, 315, 268, 46, 46,
788 46, 47, 73, 74, 46, 46, 51, 47, 51, 46,
789 46, 46, 46, 310, 312, 237, 46, 46, 46, 237,
791 267, 314, 268, 237, 311, 237, 488, 237, 522, 237,
792 268, 237, 268, 563, 527, 237, 267, 488, 268, 522,
793 275, 276, 242, 242, 242, 46, 46, 76, 76, 77,
794 237, 78, 78, 78, 237, 275, 237, 268, 313, 527,
795 237, 267, 523, 268, 561, 94, 276, 560, 316, 313,
796 237, 92, 378, 523, 237, 267, 379, 268, 92, 76,
797 76, 77, 237, 78, 78, 78, 237, 267, 530, 268,
798 322, 237, 380, 316, 260, 237, 267, 94, 268, 530,
799 237, 379, 237, 92, 237, 267, 237, 268, 544, 268,
800 92, 76, 76, 77, 532, 78, 78, 78, 329, 237,
802 189, 190, 279, 237, 267, 237, 268, 191, 541, 237,
803 267, 540, 268, 237, 537, 92, 186, 237, 237, 532,
804 187, 330, 92, 329, 263, 537, 237, 363, 237, 237,
805 237, 187, 197, 268, 198, 199, 192, 200, 543, 539,
806 201, 243, 361, 301, 202, 203, 204, 205, 237, 543,
807 206, 207, 237, 267, 208, 268, 278, 278, 278, 189,
808 190, 192, 207, 196, 194, 195, 191, 196, 301, 196,
809 196, 536, 196, 196, 196, 535, 237, 333, 196, 196,
810 237, 237, 397, 268, 534, 237, 267, 237, 268, 520,
811 521, 237, 267, 389, 268, 237, 390, 391, 533, 237,
813 267, 237, 268, 531, 360, 237, 267, 397, 268, 210,
814 196, 194, 195, 570, 196, 335, 196, 196, 389, 196,
815 196, 196, 529, 237, 570, 196, 196, 237, 337, 237,
816 268, 237, 339, 237, 267, 237, 268, 237, 268, 337,
817 528, 237, 267, 237, 268, 525, 402, 237, 267, 263,
818 268, 512, 524, 237, 237, 516, 212, 196, 194, 195,
819 594, 196, 515, 196, 196, 341, 196, 196, 196, 512,
820 237, 594, 196, 196, 237, 267, 512, 268, 237, 514,
821 237, 513, 237, 267, 237, 268, 237, 268, 237, 610,
822 237, 267, 237, 268, 512, 268, 345, 263, 512, 273,
824 610, 237, 237, 214, 196, 194, 195, 347, 196, 568,
825 196, 196, 266, 196, 196, 196, 381, 382, 511, 196,
826 196, 345, 386, 386, 592, 243, 387, 387, 387, 383,
827 243, 237, 243, 502, 568, 237, 486, 388, 268, 247,
828 237, 381, 415, 243, 237, 415, 243, 268, 269, 592,
829 216, 196, 194, 195, 512, 196, 295, 196, 196, 403,
830 196, 196, 196, 269, 189, 190, 196, 196, 237, 237,
831 237, 191, 237, 237, 237, 268, 268, 268, 241, 512,
832 277, 277, 277, 406, 406, 609, 404, 407, 407, 407,
833 280, 346, 346, 346, 189, 190, 405, 218, 196, 194,
835 195, 191, 196, 279, 196, 196, 281, 196, 196, 196,
836 609, 404, 279, 196, 196, 280, 237, 279, 237, 279,
837 237, 279, 237, 268, 408, 268, 283, 237, 281, 485,
838 279, 237, 422, 279, 268, 423, 237, 237, 481, 301,
839 237, 237, 237, 268, 220, 196, 194, 195, 480, 196,
840 479, 196, 196, 394, 196, 196, 196, 243, 424, 245,
841 196, 196, 237, 237, 243, 245, 237, 237, 426, 268,
842 268, 237, 387, 387, 387, 237, 476, 237, 268, 237,
843 425, 237, 473, 237, 268, 237, 268, 427, 428, 237,
844 237, 222, 196, 194, 195, 472, 196, 429, 196, 196,
846 430, 196, 196, 196, 311, 425, 471, 196, 196, 237,
847 431, 432, 470, 237, 469, 468, 268, 467, 237, 518,
848 237, 431, 237, 433, 237, 268, 237, 268, 237, 466,
849 237, 462, 237, 268, 435, 268, 461, 460, 224, 196,
850 194, 195, 459, 196, 458, 196, 196, 457, 196, 196,
851 196, 434, 454, 424, 196, 196, 453, 311, 436, 237,
852 452, 434, 451, 237, 267, 237, 268, 449, 437, 237,
853 267, 237, 268, 237, 317, 237, 267, 237, 268, 237,
854 268, 421, 438, 237, 237, 226, 196, 194, 195, 420,
855 196, 419, 196, 196, 295, 196, 196, 196, 418, 237,
857 414, 196, 196, 237, 267, 237, 268, 414, 414, 237,
858 267, 237, 268, 414, 413, 237, 267, 237, 268, 237,
859 295, 237, 267, 237, 268, 412, 268, 407, 407, 407,
860 439, 401, 228, 196, 194, 195, 400, 196, 397, 196,
861 196, 397, 196, 196, 196, 399, 237, 398, 196, 196,
862 237, 267, 237, 268, 298, 397, 237, 267, 237, 268,
863 396, 298, 237, 267, 395, 268, 394, 237, 392, 237,
864 384, 237, 267, 237, 268, 374, 268, 373, 372, 230,
865 196, 194, 195, 369, 196, 440, 196, 196, 366, 196,
866 196, 196, 365, 237, 455, 196, 196, 237, 267, 237,
868 268, 237, 364, 237, 267, 237, 268, 237, 268, 356,
869 440, 237, 267, 237, 268, 237, 355, 237, 267, 237,
870 268, 354, 268, 353, 352, 441, 232, 237, 519, 520,
871 521, 237, 237, 241, 317, 242, 242, 242, 475, 475,
872 475, 243, 237, 237, 237, 244, 245, 245, 243, 237,
873 237, 245, 237, 246, 245, 247, 245, 237, 237, 243,
874 245, 245, 243, 237, 237, 237, 237, 260, 298, 237,
875 244, 245, 263, 297, 237, 296, 237, 237, 237, 267,
876 237, 268, 295, 286, 237, 267, 237, 268, 443, 265,
877 237, 267, 262, 268, 266, 237, 261, 257, 266, 237,
879 267, 266, 268, 266, 241, 256, 278, 278, 278, 237,
880 255, 253, 279, 237, 237, 636, 280, 281, 281, 279,
881 92, 92, 281, 636, 282, 281, 283, 281, 442, 636,
882 279, 281, 281, 279, 456, 475, 475, 475, 636, 442,
883 636, 280, 281, 196, 194, 195, 636, 196, 636, 196,
884 196, 636, 196, 196, 196, 519, 520, 521, 196, 196,
885 237, 636, 636, 636, 237, 267, 237, 268, 636, 636,
886 237, 267, 237, 268, 636, 636, 237, 267, 237, 268,
887 445, 636, 237, 267, 636, 268, 519, 520, 521, 210,
888 196, 194, 195, 444, 196, 636, 196, 196, 636, 196,
890 196, 196, 636, 444, 446, 196, 196, 237, 636, 636,
891 636, 237, 267, 237, 268, 636, 636, 237, 267, 237,
892 268, 237, 553, 237, 267, 237, 268, 636, 268, 474,
893 474, 636, 447, 475, 475, 475, 212, 196, 194, 195,
894 636, 196, 636, 196, 196, 636, 196, 196, 196, 483,
895 237, 636, 196, 196, 237, 267, 237, 268, 237, 636,
896 237, 267, 237, 268, 636, 268, 387, 387, 387, 407,
897 407, 407, 636, 237, 636, 636, 237, 237, 636, 636,
898 268, 448, 636, 214, 196, 194, 195, 636, 196, 636,
899 196, 196, 482, 196, 196, 196, 636, 636, 636, 196,
901 196, 237, 484, 636, 636, 636, 237, 237, 237, 636,
902 237, 237, 237, 268, 268, 268, 237, 237, 636, 636,
903 237, 237, 237, 268, 268, 636, 237, 636, 636, 268,
904 216, 196, 194, 195, 490, 196, 491, 196, 196, 489,
905 196, 196, 196, 636, 636, 492, 196, 196, 237, 489,
906 489, 636, 237, 636, 493, 268, 636, 237, 237, 636,
907 489, 237, 237, 636, 268, 268, 493, 237, 237, 237,
908 636, 237, 237, 237, 268, 268, 268, 218, 196, 194,
909 195, 495, 196, 636, 196, 196, 494, 196, 196, 196,
910 497, 493, 237, 196, 196, 636, 237, 499, 496, 268,
912 636, 497, 501, 237, 636, 636, 636, 237, 636, 498,
913 268, 237, 636, 501, 636, 237, 267, 636, 268, 636,
914 636, 636, 636, 636, 220, 196, 194, 195, 636, 196,
915 500, 196, 196, 636, 196, 196, 196, 503, 237, 636,
916 196, 196, 237, 267, 636, 268, 237, 636, 636, 636,
917 237, 267, 237, 268, 636, 636, 237, 267, 237, 268,
918 237, 636, 237, 267, 237, 268, 636, 268, 636, 636,
919 636, 222, 196, 194, 195, 504, 196, 636, 196, 196,
920 269, 196, 196, 196, 636, 505, 636, 196, 196, 636,
921 506, 636, 636, 237, 636, 636, 505, 237, 267, 636,
923 268, 636, 237, 636, 636, 636, 237, 267, 237, 268,
924 507, 636, 237, 267, 636, 268, 636, 636, 224, 196,
925 194, 195, 636, 196, 636, 196, 196, 636, 196, 196,
926 196, 508, 237, 636, 196, 196, 237, 267, 237, 268,
927 636, 510, 237, 267, 237, 268, 237, 636, 237, 267,
928 237, 268, 510, 268, 237, 636, 237, 636, 237, 509,
929 237, 268, 636, 268, 636, 226, 196, 194, 195, 636,
930 196, 636, 196, 196, 636, 196, 196, 196, 636, 237,
931 542, 196, 196, 237, 517, 636, 268, 636, 237, 237,
932 237, 636, 237, 237, 237, 268, 268, 268, 237, 237,
934 636, 636, 237, 237, 237, 268, 268, 636, 237, 636,
935 636, 268, 228, 196, 194, 195, 545, 196, 546, 196,
936 196, 489, 196, 196, 196, 547, 237, 237, 196, 196,
937 237, 237, 237, 268, 268, 636, 237, 636, 237, 268,
938 237, 636, 237, 636, 237, 268, 548, 268, 636, 549,
939 636, 237, 636, 636, 550, 237, 636, 636, 268, 230,
940 196, 194, 195, 551, 196, 636, 196, 196, 636, 196,
941 196, 196, 497, 237, 636, 196, 196, 237, 267, 552,
942 268, 237, 636, 636, 636, 237, 267, 237, 268, 636,
943 636, 237, 267, 237, 268, 237, 636, 237, 267, 237,
945 268, 554, 268, 636, 636, 636, 232, 237, 636, 555,
946 636, 237, 237, 241, 636, 239, 239, 239, 636, 636,
947 636, 243, 237, 237, 237, 244, 245, 245, 243, 237,
948 237, 245, 237, 246, 245, 247, 245, 237, 237, 243,
949 245, 245, 243, 237, 237, 237, 237, 636, 636, 237,
950 244, 245, 240, 240, 240, 636, 636, 636, 279, 636,
951 636, 636, 385, 281, 281, 279, 636, 636, 281, 636,
952 282, 281, 283, 281, 636, 636, 279, 281, 281, 279,
953 237, 636, 636, 636, 237, 237, 636, 385, 281, 279,
954 636, 636, 636, 409, 279, 237, 410, 411, 562, 237,
956 267, 408, 268, 283, 237, 636, 636, 279, 237, 267,
957 279, 268, 636, 636, 636, 237, 636, 556, 409, 237,
958 267, 237, 268, 562, 636, 237, 267, 237, 268, 557,
959 636, 237, 237, 237, 268, 636, 237, 237, 237, 268,
960 268, 636, 237, 636, 237, 268, 636, 558, 237, 559,
961 237, 268, 237, 636, 237, 575, 237, 268, 636, 268,
962 636, 636, 578, 237, 577, 237, 582, 237, 493, 237,
963 268, 579, 268, 237, 636, 636, 636, 237, 267, 580,
964 268, 583, 579, 636, 237, 636, 636, 636, 237, 267,
965 581, 268, 237, 493, 237, 636, 237, 267, 237, 268,
967 636, 268, 237, 636, 636, 584, 237, 267, 636, 268,
968 237, 275, 636, 585, 237, 267, 237, 268, 237, 586,
969 237, 267, 237, 268, 587, 268, 237, 237, 596, 636,
970 237, 237, 588, 268, 268, 237, 237, 237, 636, 237,
971 237, 237, 268, 268, 268, 237, 237, 636, 597, 237,
972 237, 267, 268, 268, 636, 237, 603, 237, 598, 237,
973 267, 237, 268, 601, 268, 636, 636, 237, 599, 600,
974 636, 237, 267, 602, 268, 636, 636, 604, 237, 599,
975 600, 636, 237, 267, 237, 268, 237, 636, 237, 267,
976 237, 268, 237, 268, 237, 636, 237, 636, 237, 268,
978 605, 268, 237, 237, 606, 636, 237, 237, 636, 268,
979 268, 605, 607, 613, 636, 237, 636, 636, 636, 237,
980 614, 615, 268, 237, 616, 636, 636, 237, 267, 237,
981 268, 636, 636, 237, 267, 237, 268, 636, 636, 237,
982 267, 617, 268, 237, 636, 237, 615, 237, 267, 237,
983 268, 636, 268, 619, 237, 636, 618, 636, 237, 267,
984 636, 268, 237, 237, 622, 620, 237, 237, 237, 268,
985 268, 636, 237, 636, 636, 268, 636, 237, 619, 636,
986 621, 237, 636, 636, 268, 237, 636, 599, 636, 237,
987 267, 237, 268, 237, 623, 237, 267, 237, 268, 636,
989 268, 599, 636, 237, 625, 636, 624, 237, 267, 237,
990 268, 237, 599, 237, 267, 237, 268, 636, 268, 237,
991 237, 596, 626, 237, 237, 267, 268, 268, 636, 636,
992 237, 636, 636, 629, 237, 267, 627, 268, 628, 237,
993 599, 636, 636, 237, 267, 636, 268, 627, 630, 237,
994 636, 237, 636, 237, 267, 237, 268, 237, 268, 631,
995 636, 237, 267, 632, 268, 237, 636, 633, 636, 237,
996 267, 237, 268, 237, 636, 237, 267, 237, 268, 237,
997 268, 636, 636, 237, 267, 237, 268, 634, 636, 237,
998 267, 636, 268, 636, 636, 636, 636, 636, 636, 636,
1000 636, 636, 636, 636, 636, 636, 489, 636, 636, 636,
1001 636, 636, 635, 636, 636, 636, 636, 489, 636, 636,
1002 636, 636, 636, 635, 46, 46, 46, 46, 46, 46,
1003 46, 46, 46, 46, 46, 46, 69, 69, 69, 69,
1004 69, 69, 69, 69, 69, 69, 69, 69, 105, 105,
1005 105, 105, 105, 105, 105, 105, 105, 105, 105, 105,
1006 116, 116, 116, 116, 116, 116, 116, 116, 116, 116,
1007 116, 116, 123, 123, 123, 123, 123, 123, 123, 123,
1008 123, 123, 123, 123, 169, 169, 169, 169, 169, 169,
1009 169, 169, 169, 169, 169, 169, 180, 180, 180, 180,
1011 180, 180, 180, 180, 180, 180, 180, 180, 185, 185,
1012 185, 185, 185, 185, 185, 185, 185, 185, 185, 185,
1013 196, 196, 636, 196, 196, 196, 196, 196, 209, 209,
1014 636, 209, 209, 209, 209, 209, 636, 636, 209, 211,
1015 211, 636, 211, 211, 211, 211, 211, 636, 636, 211,
1016 213, 213, 636, 213, 213, 213, 213, 213, 636, 636,
1017 213, 215, 215, 636, 215, 215, 215, 215, 215, 636,
1018 636, 215, 217, 217, 636, 217, 217, 217, 217, 217,
1019 636, 636, 217, 219, 219, 636, 219, 219, 219, 219,
1020 219, 636, 636, 219, 221, 221, 636, 221, 221, 221,
1022 221, 221, 636, 636, 221, 223, 223, 636, 223, 223,
1023 223, 223, 223, 636, 636, 223, 225, 225, 636, 225,
1024 225, 225, 225, 225, 636, 636, 225, 227, 227, 636,
1025 227, 227, 227, 227, 227, 636, 636, 227, 229, 229,
1026 636, 229, 229, 229, 229, 229, 636, 636, 229, 231,
1027 231, 636, 231, 231, 231, 231, 231, 636, 636, 231,
1028 237, 237, 237, 636, 636, 237, 237, 636, 636, 237,
1029 254, 254, 254, 636, 636, 254, 254, 636, 636, 254,
1030 264, 264, 264, 636, 636, 264, 264, 636, 636, 264,
1031 267, 267, 267, 636, 267, 267, 267, 636, 636, 267,
1033 284, 284, 636, 636, 284, 285, 636, 285, 285, 285,
1034 636, 636, 285, 268, 636, 268, 268, 268, 636, 636,
1035 268, 300, 300, 300, 300, 636, 636, 300, 319, 319,
1036 319, 636, 319, 319, 319, 636, 636, 319, 321, 321,
1037 321, 636, 321, 321, 321, 636, 636, 321, 323, 323,
1038 323, 636, 323, 323, 323, 636, 636, 323, 324, 324,
1039 324, 636, 324, 324, 324, 636, 636, 324, 325, 325,
1040 325, 636, 325, 325, 325, 636, 636, 325, 326, 326,
1041 326, 636, 326, 326, 326, 636, 636, 326, 327, 327,
1042 327, 636, 327, 327, 327, 636, 636, 327, 328, 328,
1044 328, 636, 328, 328, 328, 636, 636, 328, 331, 331,
1045 331, 636, 331, 331, 331, 636, 636, 331, 332, 332,
1046 332, 636, 332, 332, 332, 636, 636, 332, 334, 334,
1047 334, 636, 334, 334, 334, 636, 636, 334, 336, 336,
1048 336, 636, 336, 336, 336, 636, 636, 336, 338, 338,
1049 338, 636, 338, 338, 338, 636, 636, 338, 340, 340,
1050 340, 636, 340, 340, 340, 636, 636, 340, 342, 342,
1051 342, 636, 342, 342, 342, 636, 636, 342, 343, 343,
1052 343, 636, 343, 343, 343, 636, 636, 343, 344, 344,
1053 344, 636, 344, 344, 344, 636, 636, 344, 348, 348,
1055 348, 636, 348, 348, 348, 636, 636, 348, 359, 636,
1056 359, 359, 359, 636, 636, 359, 362, 362, 362, 636,
1057 636, 362, 362, 636, 636, 362, 196, 196, 636, 196,
1058 196, 196, 196, 196, 209, 209, 636, 209, 209, 209,
1059 209, 209, 636, 636, 209, 210, 210, 636, 636, 210,
1060 211, 211, 636, 211, 211, 211, 211, 211, 636, 636,
1061 211, 212, 212, 636, 636, 212, 213, 213, 636, 213,
1062 213, 213, 213, 213, 636, 636, 213, 214, 214, 636,
1063 636, 214, 215, 215, 636, 215, 215, 215, 215, 215,
1064 636, 636, 215, 216, 216, 636, 636, 216, 217, 217,
1066 636, 217, 217, 217, 217, 217, 636, 636, 217, 218,
1067 218, 636, 636, 218, 219, 219, 636, 219, 219, 219,
1068 219, 219, 636, 636, 219, 220, 220, 636, 636, 220,
1069 221, 221, 636, 221, 221, 221, 221, 221, 636, 636,
1070 221, 222, 222, 636, 636, 222, 223, 223, 636, 223,
1071 223, 223, 223, 223, 636, 636, 223, 224, 224, 636,
1072 636, 224, 225, 225, 636, 225, 225, 225, 225, 225,
1073 636, 636, 225, 226, 226, 636, 636, 226, 227, 227,
1074 636, 227, 227, 227, 227, 227, 636, 636, 227, 228,
1075 228, 636, 636, 228, 229, 229, 636, 229, 229, 229,
1077 229, 229, 636, 636, 229, 230, 230, 636, 636, 230,
1078 231, 231, 636, 231, 231, 231, 231, 231, 636, 636,
1079 231, 232, 232, 636, 636, 232, 393, 393, 393, 636,
1080 393, 254, 254, 254, 636, 636, 254, 254, 636, 636,
1081 254, 264, 264, 264, 636, 636, 264, 264, 636, 636,
1082 264, 268, 636, 268, 268, 268, 636, 636, 268, 284,
1083 284, 636, 636, 284, 285, 636, 285, 285, 285, 636,
1084 636, 285, 300, 300, 300, 300, 636, 636, 300, 319,
1085 319, 319, 636, 319, 319, 319, 636, 636, 319, 321,
1086 321, 321, 636, 321, 321, 321, 636, 636, 321, 323,
1088 323, 323, 636, 323, 323, 323, 636, 636, 323, 324,
1089 324, 324, 636, 324, 324, 324, 636, 636, 324, 325,
1090 325, 325, 636, 325, 325, 325, 636, 636, 325, 326,
1091 326, 326, 636, 326, 326, 326, 636, 636, 326, 327,
1092 327, 327, 636, 327, 327, 327, 636, 636, 327, 328,
1093 328, 328, 636, 328, 328, 328, 636, 636, 328, 331,
1094 331, 331, 636, 331, 331, 331, 636, 636, 331, 332,
1095 332, 332, 636, 332, 332, 332, 636, 636, 332, 334,
1096 334, 334, 636, 334, 334, 334, 636, 636, 334, 336,
1097 336, 336, 636, 336, 336, 336, 636, 636, 336, 338,
1099 338, 338, 636, 338, 338, 338, 636, 636, 338, 340,
1100 340, 340, 636, 340, 340, 340, 636, 636, 340, 342,
1101 342, 342, 636, 342, 342, 342, 636, 636, 342, 343,
1102 343, 343, 636, 343, 343, 343, 636, 636, 343, 344,
1103 344, 344, 636, 344, 344, 344, 636, 636, 344, 348,
1104 348, 348, 636, 348, 348, 348, 636, 636, 348, 359,
1105 636, 359, 359, 359, 636, 636, 359, 362, 362, 362,
1106 636, 636, 362, 362, 636, 636, 362, 538, 538, 636,
1107 538, 538, 45, 636, 636, 636, 636, 636, 636, 636,
1108 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1110 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1111 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1112 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1118 0, 1, 1, 1, 1, 0, 1, 1, 1, 49,
1119 49, 1, 2, 2, 2, 2, 2, 2, 2, 2,
1120 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
1121 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
1122 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
1123 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
1124 2, 2, 3, 3, 3, 4, 4, 4, 3, 54,
1125 54, 4, 5, 5, 5, 5, 5, 5, 5, 5,
1126 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1127 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1129 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1130 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1131 5, 5, 7, 7, 7, 7, 7, 7, 7, 7,
1132 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
1133 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
1134 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
1135 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
1136 7, 7, 9, 9, 9, 52, 739, 9, 9, 9,
1137 9, 9, 9, 659, 9, 9, 9, 15, 15, 15,
1138 48, 48, 15, 15, 15, 56, 56, 48, 72, 72,
1140 52, 9, 11, 11, 11, 11, 11, 11, 11, 11,
1141 11, 11, 11, 11, 11, 53, 53, 53, 11, 11,
1142 11, 16, 16, 16, 74, 74, 16, 16, 16, 31,
1143 31, 31, 80, 595, 31, 31, 31, 35, 35, 35,
1144 593, 80, 35, 35, 35, 118, 118, 11, 11, 12,
1145 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
1146 12, 12, 77, 77, 77, 12, 12, 12, 32, 32,
1147 32, 109, 590, 32, 32, 32, 71, 71, 32, 36,
1148 36, 36, 109, 71, 36, 36, 36, 76, 83, 76,
1149 76, 76, 83, 83, 12, 12, 13, 13, 13, 13,
1151 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
1152 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
1153 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
1154 13, 13, 13, 13, 13, 13, 13, 13, 13, 13,
1155 13, 13, 13, 13, 13, 13, 17, 17, 112, 124,
1156 17, 33, 73, 73, 122, 17, 122, 33, 124, 73,
1157 17, 33, 17, 289, 125, 33, 17, 33, 17, 81,
1158 125, 81, 289, 112, 34, 81, 33, 17, 18, 18,
1159 34, 87, 18, 87, 34, 199, 87, 18, 34, 576,
1160 34, 199, 18, 292, 18, 574, 81, 92, 18, 34,
1162 18, 92, 292, 102, 92, 102, 102, 102, 573, 18,
1163 19, 19, 19, 19, 19, 19, 19, 19, 19, 19,
1164 19, 19, 569, 43, 44, 565, 19, 19, 19, 43,
1165 44, 563, 111, 43, 44, 111, 111, 43, 44, 43,
1166 44, 172, 172, 95, 166, 166, 166, 95, 43, 44,
1167 95, 183, 183, 190, 190, 19, 19, 20, 20, 20,
1168 20, 20, 20, 20, 20, 20, 20, 20, 20, 193,
1169 193, 193, 94, 20, 20, 20, 94, 91, 93, 94,
1170 561, 91, 93, 96, 91, 93, 110, 96, 94, 110,
1171 96, 98, 110, 97, 91, 98, 93, 97, 98, 121,
1173 97, 121, 20, 20, 21, 121, 174, 21, 21, 91,
1174 98, 241, 21, 129, 201, 21, 352, 129, 21, 21,
1175 129, 93, 21, 99, 97, 201, 121, 99, 131, 129,
1176 99, 174, 131, 21, 22, 131, 241, 22, 22, 100,
1177 99, 352, 22, 100, 205, 22, 100, 130, 22, 22,
1178 205, 130, 22, 133, 130, 99, 544, 133, 205, 100,
1179 133, 130, 131, 22, 23, 171, 171, 128, 128, 128,
1180 543, 23, 171, 195, 195, 133, 541, 128, 540, 23,
1181 23, 23, 23, 196, 196, 234, 234, 23, 257, 23,
1182 23, 23, 23, 23, 23, 23, 23, 23, 23, 257,
1184 23, 23, 128, 254, 23, 236, 236, 254, 254, 23,
1185 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
1186 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
1187 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
1188 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
1189 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
1190 25, 25, 374, 132, 25, 25, 373, 132, 538, 25,
1191 132, 373, 25, 374, 25, 25, 25, 182, 182, 25,
1192 25, 132, 25, 537, 182, 144, 144, 144, 350, 350,
1193 25, 25, 27, 27, 27, 144, 27, 27, 27, 534,
1195 134, 396, 27, 529, 134, 27, 132, 134, 358, 358,
1196 27, 527, 396, 27, 27, 27, 27, 27, 135, 27,
1197 144, 27, 135, 27, 27, 135, 520, 520, 134, 238,
1198 238, 238, 27, 37, 37, 37, 37, 37, 37, 37,
1199 37, 37, 37, 37, 37, 37, 462, 135, 140, 37,
1200 37, 37, 140, 526, 145, 140, 189, 189, 145, 145,
1201 137, 145, 420, 189, 137, 136, 525, 137, 145, 136,
1202 139, 462, 136, 420, 139, 523, 140, 139, 37, 37,
1203 38, 38, 38, 38, 38, 38, 38, 38, 38, 38,
1204 38, 38, 38, 136, 137, 147, 38, 38, 38, 147,
1206 147, 139, 147, 101, 136, 138, 421, 101, 458, 138,
1207 101, 148, 138, 522, 463, 148, 148, 421, 148, 458,
1208 101, 101, 242, 242, 242, 38, 38, 39, 39, 39,
1209 141, 39, 39, 39, 141, 101, 146, 141, 138, 463,
1210 146, 146, 459, 146, 513, 39, 101, 511, 141, 138,
1211 149, 39, 206, 459, 149, 149, 206, 149, 39, 40,
1212 40, 40, 150, 40, 40, 40, 150, 150, 466, 150,
1213 146, 151, 206, 141, 488, 151, 151, 40, 151, 466,
1214 152, 206, 267, 40, 152, 152, 267, 152, 487, 267,
1215 40, 41, 41, 41, 468, 41, 41, 41, 152, 153,
1217 233, 233, 485, 153, 153, 154, 153, 233, 481, 154,
1218 154, 478, 154, 188, 473, 41, 41, 188, 188, 468,
1219 41, 153, 41, 152, 264, 473, 187, 188, 264, 264,
1220 187, 41, 55, 187, 55, 55, 55, 55, 486, 477,
1221 55, 476, 187, 479, 55, 55, 55, 55, 155, 486,
1222 55, 55, 155, 155, 55, 155, 278, 278, 278, 235,
1223 235, 55, 55, 57, 57, 57, 235, 57, 479, 57,
1224 57, 472, 57, 57, 57, 471, 186, 155, 57, 57,
1225 186, 156, 480, 186, 470, 156, 156, 157, 156, 521,
1226 521, 157, 157, 246, 157, 158, 246, 246, 469, 158,
1228 158, 159, 158, 467, 186, 159, 159, 480, 159, 57,
1229 58, 58, 58, 531, 58, 156, 58, 58, 246, 58,
1230 58, 58, 465, 269, 531, 58, 58, 269, 158, 160,
1231 269, 270, 159, 160, 160, 270, 160, 161, 270, 158,
1232 464, 161, 161, 162, 161, 461, 270, 162, 162, 266,
1233 162, 515, 460, 266, 266, 454, 58, 59, 59, 59,
1234 571, 59, 453, 59, 59, 161, 59, 59, 59, 516,
1235 163, 571, 59, 59, 163, 163, 515, 163, 164, 452,
1236 167, 451, 164, 164, 167, 164, 168, 167, 271, 592,
1237 168, 168, 271, 168, 516, 271, 164, 265, 450, 167,
1239 592, 265, 265, 59, 60, 60, 60, 167, 60, 528,
1240 60, 60, 265, 60, 60, 60, 207, 207, 449, 60,
1241 60, 164, 244, 244, 567, 245, 244, 244, 244, 207,
1242 245, 272, 245, 437, 528, 272, 419, 245, 272, 245,
1243 273, 207, 417, 245, 273, 416, 245, 273, 272, 567,
1244 60, 61, 61, 61, 589, 61, 413, 61, 61, 273,
1245 61, 61, 61, 272, 349, 349, 61, 61, 274, 275,
1246 276, 349, 274, 275, 276, 274, 275, 276, 277, 589,
1247 277, 277, 277, 280, 280, 591, 274, 280, 280, 280,
1248 277, 346, 346, 346, 357, 357, 276, 61, 62, 62,
1250 62, 357, 62, 412, 62, 62, 411, 62, 62, 62,
1251 591, 274, 281, 62, 62, 277, 303, 281, 304, 281,
1252 303, 410, 304, 303, 281, 304, 281, 305, 409, 408,
1253 281, 305, 303, 281, 305, 304, 307, 362, 401, 400,
1254 307, 362, 362, 307, 62, 63, 63, 63, 399, 63,
1255 398, 63, 63, 393, 63, 63, 63, 392, 305, 391,
1256 63, 63, 306, 311, 390, 389, 306, 311, 307, 306,
1257 311, 308, 386, 386, 386, 308, 388, 309, 308, 310,
1258 306, 309, 384, 310, 309, 456, 310, 308, 308, 456,
1259 456, 63, 64, 64, 64, 383, 64, 308, 64, 64,
1261 308, 64, 64, 64, 310, 306, 381, 64, 64, 312,
1262 309, 310, 380, 312, 379, 378, 312, 376, 313, 456,
1263 314, 309, 313, 312, 314, 313, 316, 314, 315, 375,
1264 316, 372, 315, 316, 314, 315, 371, 369, 64, 65,
1265 65, 65, 368, 65, 366, 65, 65, 364, 65, 65,
1266 65, 313, 356, 315, 65, 65, 355, 316, 314, 319,
1267 354, 313, 353, 319, 319, 320, 319, 351, 318, 320,
1268 320, 321, 320, 347, 317, 321, 321, 347, 321, 562,
1269 347, 302, 320, 562, 562, 65, 66, 66, 66, 299,
1270 66, 297, 66, 66, 296, 66, 66, 66, 294, 322,
1272 293, 66, 66, 322, 322, 323, 322, 291, 290, 323,
1273 323, 324, 323, 288, 287, 324, 324, 325, 324, 361,
1274 286, 325, 325, 361, 325, 283, 361, 406, 406, 406,
1275 322, 263, 66, 67, 67, 67, 262, 67, 261, 67,
1276 67, 259, 67, 67, 67, 258, 326, 256, 67, 67,
1277 326, 326, 327, 326, 255, 253, 327, 327, 328, 327,
1278 252, 251, 328, 328, 250, 328, 248, 329, 247, 360,
1279 208, 329, 329, 360, 329, 204, 360, 203, 202, 67,
1280 68, 68, 68, 200, 68, 329, 68, 68, 198, 68,
1281 68, 68, 197, 330, 360, 68, 68, 330, 330, 331,
1283 330, 403, 192, 331, 331, 403, 331, 332, 403, 179,
1284 329, 332, 332, 334, 332, 424, 178, 334, 334, 424,
1285 334, 177, 424, 176, 175, 330, 68, 78, 457, 457,
1286 457, 78, 78, 78, 142, 78, 78, 78, 474, 474,
1287 474, 78, 78, 78, 78, 78, 78, 78, 78, 78,
1288 78, 78, 78, 78, 78, 78, 78, 78, 78, 78,
1289 78, 78, 78, 78, 78, 78, 78, 127, 120, 78,
1290 78, 78, 90, 115, 335, 114, 90, 90, 335, 335,
1291 336, 335, 113, 107, 336, 336, 338, 336, 335, 90,
1292 338, 338, 89, 338, 90, 333, 88, 86, 90, 333,
1294 333, 90, 333, 90, 103, 85, 103, 103, 103, 363,
1295 84, 82, 103, 363, 363, 45, 103, 103, 103, 103,
1296 30, 29, 103, 0, 103, 103, 103, 103, 333, 0,
1297 103, 103, 103, 103, 363, 475, 475, 475, 0, 333,
1298 0, 103, 103, 209, 209, 209, 0, 209, 0, 209,
1299 209, 0, 209, 209, 209, 519, 519, 519, 209, 209,
1300 337, 0, 0, 0, 337, 337, 339, 337, 0, 0,
1301 339, 339, 340, 339, 0, 0, 340, 340, 342, 340,
1302 339, 0, 342, 342, 0, 342, 502, 502, 502, 209,
1303 211, 211, 211, 337, 211, 0, 211, 211, 0, 211,
1305 211, 211, 0, 337, 339, 211, 211, 341, 0, 0,
1306 0, 341, 341, 343, 341, 0, 0, 343, 343, 344,
1307 343, 404, 502, 344, 344, 404, 344, 0, 404, 385,
1308 385, 0, 341, 385, 385, 385, 211, 213, 213, 213,
1309 0, 213, 0, 213, 213, 0, 213, 213, 213, 404,
1310 345, 0, 213, 213, 345, 345, 348, 345, 402, 0,
1311 348, 348, 402, 348, 387, 402, 387, 387, 387, 407,
1312 407, 407, 0, 405, 0, 0, 387, 405, 0, 407,
1313 405, 345, 0, 213, 215, 215, 215, 0, 215, 0,
1314 215, 215, 402, 215, 215, 215, 0, 0, 0, 215,
1316 215, 387, 405, 0, 407, 0, 422, 425, 423, 0,
1317 422, 425, 423, 422, 425, 423, 426, 427, 0, 0,
1318 426, 427, 431, 426, 427, 0, 431, 0, 0, 431,
1319 215, 217, 217, 217, 423, 217, 425, 217, 217, 422,
1320 217, 217, 217, 0, 0, 427, 217, 217, 428, 426,
1321 422, 0, 428, 0, 431, 428, 0, 432, 429, 0,
1322 426, 432, 429, 0, 432, 429, 428, 430, 434, 436,
1323 0, 430, 434, 436, 430, 434, 436, 217, 219, 219,
1324 219, 430, 219, 0, 219, 219, 429, 219, 219, 219,
1325 432, 428, 433, 219, 219, 0, 433, 434, 430, 433,
1327 0, 432, 436, 435, 0, 0, 0, 435, 0, 433,
1328 435, 438, 0, 436, 0, 438, 438, 0, 438, 0,
1329 0, 0, 0, 0, 219, 221, 221, 221, 0, 221,
1330 435, 221, 221, 0, 221, 221, 221, 438, 439, 0,
1331 221, 221, 439, 439, 0, 439, 440, 0, 0, 0,
1332 440, 440, 441, 440, 0, 0, 441, 441, 442, 441,
1333 482, 0, 442, 442, 482, 442, 0, 482, 0, 0,
1334 0, 221, 223, 223, 223, 440, 223, 0, 223, 223,
1335 482, 223, 223, 223, 0, 441, 0, 223, 223, 0,
1336 442, 0, 0, 443, 0, 0, 441, 443, 443, 0,
1338 443, 0, 444, 0, 0, 0, 444, 444, 446, 444,
1339 443, 0, 446, 446, 0, 446, 0, 0, 223, 225,
1340 225, 225, 0, 225, 0, 225, 225, 0, 225, 225,
1341 225, 444, 445, 0, 225, 225, 445, 445, 447, 445,
1342 0, 446, 447, 447, 448, 447, 455, 0, 448, 448,
1343 455, 448, 446, 455, 483, 0, 484, 0, 483, 445,
1344 484, 483, 0, 484, 0, 225, 227, 227, 227, 0,
1345 227, 0, 227, 227, 0, 227, 227, 227, 0, 489,
1346 483, 227, 227, 489, 455, 0, 489, 0, 490, 493,
1347 491, 0, 490, 493, 491, 490, 493, 491, 492, 497,
1349 0, 0, 492, 497, 494, 492, 497, 0, 494, 0,
1350 0, 494, 227, 229, 229, 229, 490, 229, 491, 229,
1351 229, 494, 229, 229, 229, 492, 495, 496, 229, 229,
1352 495, 496, 498, 495, 496, 0, 498, 0, 499, 498,
1353 500, 0, 499, 0, 500, 499, 495, 500, 0, 496,
1354 0, 501, 0, 0, 498, 501, 0, 0, 501, 229,
1355 231, 231, 231, 499, 231, 0, 231, 231, 0, 231,
1356 231, 231, 500, 503, 0, 231, 231, 503, 503, 501,
1357 503, 504, 0, 0, 0, 504, 504, 505, 504, 0,
1358 0, 505, 505, 506, 505, 517, 0, 506, 506, 517,
1360 506, 503, 517, 0, 0, 0, 231, 239, 0, 504,
1361 0, 239, 239, 239, 0, 239, 239, 239, 0, 0,
1362 0, 239, 239, 239, 239, 239, 239, 239, 239, 239,
1363 239, 239, 239, 239, 239, 239, 239, 239, 239, 239,
1364 239, 239, 239, 239, 239, 239, 239, 0, 0, 239,
1365 239, 239, 240, 240, 240, 0, 0, 0, 240, 0,
1366 0, 0, 240, 240, 240, 240, 0, 0, 240, 0,
1367 240, 240, 240, 240, 0, 0, 240, 240, 240, 240,
1368 518, 0, 0, 0, 518, 518, 0, 240, 240, 282,
1369 0, 0, 0, 282, 282, 507, 282, 282, 518, 507,
1371 507, 282, 507, 282, 508, 0, 0, 282, 508, 508,
1372 282, 508, 0, 0, 0, 509, 0, 507, 282, 509,
1373 509, 510, 509, 518, 0, 510, 510, 542, 510, 508,
1374 0, 542, 545, 546, 542, 0, 545, 546, 547, 545,
1375 546, 0, 547, 0, 551, 547, 0, 509, 551, 510,
1376 548, 551, 549, 0, 548, 542, 549, 548, 0, 549,
1377 0, 0, 546, 550, 545, 552, 551, 550, 548, 552,
1378 550, 547, 552, 554, 0, 0, 0, 554, 554, 549,
1379 554, 552, 547, 0, 555, 0, 0, 0, 555, 555,
1380 550, 555, 556, 548, 575, 0, 556, 556, 575, 556,
1382 0, 575, 557, 0, 0, 554, 557, 557, 0, 557,
1383 558, 575, 0, 555, 558, 558, 559, 558, 577, 556,
1384 559, 559, 577, 559, 557, 577, 578, 579, 577, 0,
1385 578, 579, 559, 578, 579, 580, 581, 582, 0, 580,
1386 581, 582, 580, 581, 582, 583, 584, 0, 578, 583,
1387 584, 584, 583, 584, 0, 585, 584, 596, 579, 585,
1388 585, 596, 585, 582, 596, 0, 0, 586, 580, 581,
1389 0, 586, 586, 583, 586, 0, 0, 585, 587, 580,
1390 581, 0, 587, 587, 588, 587, 597, 0, 588, 588,
1391 597, 588, 598, 597, 599, 0, 598, 0, 599, 598,
1393 586, 599, 601, 600, 587, 0, 601, 600, 0, 601,
1394 600, 586, 588, 597, 0, 602, 0, 0, 0, 602,
1395 598, 600, 602, 603, 601, 0, 0, 603, 603, 604,
1396 603, 0, 0, 604, 604, 605, 604, 0, 0, 605,
1397 605, 602, 605, 606, 0, 613, 600, 606, 606, 613,
1398 606, 0, 613, 605, 607, 0, 604, 0, 607, 607,
1399 0, 607, 614, 615, 613, 606, 614, 615, 616, 614,
1400 615, 0, 616, 0, 0, 616, 0, 617, 605, 0,
1401 607, 617, 0, 0, 617, 618, 0, 614, 0, 618,
1402 618, 619, 618, 622, 615, 619, 619, 622, 619, 0,
1404 622, 616, 0, 620, 618, 0, 617, 620, 620, 621,
1405 620, 623, 616, 621, 621, 623, 621, 0, 623, 624,
1406 625, 622, 619, 624, 625, 625, 624, 625, 0, 0,
1407 626, 0, 0, 624, 626, 626, 620, 626, 621, 627,
1408 623, 0, 0, 627, 627, 0, 627, 620, 625, 628,
1409 0, 629, 0, 628, 628, 629, 628, 630, 629, 626,
1410 0, 630, 630, 628, 630, 631, 0, 629, 0, 631,
1411 631, 632, 631, 633, 0, 632, 632, 633, 632, 634,
1412 633, 0, 0, 634, 634, 635, 634, 632, 0, 635,
1413 635, 0, 635, 0, 0, 0, 0, 0, 0, 0,
1415 0, 0, 0, 0, 0, 0, 633, 0, 0, 0,
1416 0, 0, 634, 0, 0, 0, 0, 633, 0, 0,
1417 0, 0, 0, 634, 637, 637, 637, 637, 637, 637,
1418 637, 637, 637, 637, 637, 637, 638, 638, 638, 638,
1419 638, 638, 638, 638, 638, 638, 638, 638, 639, 639,
1420 639, 639, 639, 639, 639, 639, 639, 639, 639, 639,
1421 640, 640, 640, 640, 640, 640, 640, 640, 640, 640,
1422 640, 640, 641, 641, 641, 641, 641, 641, 641, 641,
1423 641, 641, 641, 641, 642, 642, 642, 642, 642, 642,
1424 642, 642, 642, 642, 642, 642, 643, 643, 643, 643,
1426 643, 643, 643, 643, 643, 643, 643, 643, 644, 644,
1427 644, 644, 644, 644, 644, 644, 644, 644, 644, 644,
1428 645, 645, 0, 645, 645, 645, 645, 645, 646, 646,
1429 0, 646, 646, 646, 646, 646, 0, 0, 646, 647,
1430 647, 0, 647, 647, 647, 647, 647, 0, 0, 647,
1431 648, 648, 0, 648, 648, 648, 648, 648, 0, 0,
1432 648, 649, 649, 0, 649, 649, 649, 649, 649, 0,
1433 0, 649, 650, 650, 0, 650, 650, 650, 650, 650,
1434 0, 0, 650, 651, 651, 0, 651, 651, 651, 651,
1435 651, 0, 0, 651, 652, 652, 0, 652, 652, 652,
1437 652, 652, 0, 0, 652, 653, 653, 0, 653, 653,
1438 653, 653, 653, 0, 0, 653, 654, 654, 0, 654,
1439 654, 654, 654, 654, 0, 0, 654, 655, 655, 0,
1440 655, 655, 655, 655, 655, 0, 0, 655, 656, 656,
1441 0, 656, 656, 656, 656, 656, 0, 0, 656, 657,
1442 657, 0, 657, 657, 657, 657, 657, 0, 0, 657,
1443 658, 658, 658, 0, 0, 658, 658, 0, 0, 658,
1444 660, 660, 660, 0, 0, 660, 660, 0, 0, 660,
1445 661, 661, 661, 0, 0, 661, 661, 0, 0, 661,
1446 662, 662, 662, 0, 662, 662, 662, 0, 0, 662,
1448 663, 663, 0, 0, 663, 664, 0, 664, 664, 664,
1449 0, 0, 664, 665, 0, 665, 665, 665, 0, 0,
1450 665, 666, 666, 666, 666, 0, 0, 666, 667, 667,
1451 667, 0, 667, 667, 667, 0, 0, 667, 668, 668,
1452 668, 0, 668, 668, 668, 0, 0, 668, 669, 669,
1453 669, 0, 669, 669, 669, 0, 0, 669, 670, 670,
1454 670, 0, 670, 670, 670, 0, 0, 670, 671, 671,
1455 671, 0, 671, 671, 671, 0, 0, 671, 672, 672,
1456 672, 0, 672, 672, 672, 0, 0, 672, 673, 673,
1457 673, 0, 673, 673, 673, 0, 0, 673, 674, 674,
1459 674, 0, 674, 674, 674, 0, 0, 674, 675, 675,
1460 675, 0, 675, 675, 675, 0, 0, 675, 676, 676,
1461 676, 0, 676, 676, 676, 0, 0, 676, 677, 677,
1462 677, 0, 677, 677, 677, 0, 0, 677, 678, 678,
1463 678, 0, 678, 678, 678, 0, 0, 678, 679, 679,
1464 679, 0, 679, 679, 679, 0, 0, 679, 680, 680,
1465 680, 0, 680, 680, 680, 0, 0, 680, 681, 681,
1466 681, 0, 681, 681, 681, 0, 0, 681, 682, 682,
1467 682, 0, 682, 682, 682, 0, 0, 682, 683, 683,
1468 683, 0, 683, 683, 683, 0, 0, 683, 684, 684,
1470 684, 0, 684, 684, 684, 0, 0, 684, 685, 0,
1471 685, 685, 685, 0, 0, 685, 686, 686, 686, 0,
1472 0, 686, 686, 0, 0, 686, 687, 687, 0, 687,
1473 687, 687, 687, 687, 688, 688, 0, 688, 688, 688,
1474 688, 688, 0, 0, 688, 689, 689, 0, 0, 689,
1475 690, 690, 0, 690, 690, 690, 690, 690, 0, 0,
1476 690, 691, 691, 0, 0, 691, 692, 692, 0, 692,
1477 692, 692, 692, 692, 0, 0, 692, 693, 693, 0,
1478 0, 693, 694, 694, 0, 694, 694, 694, 694, 694,
1479 0, 0, 694, 695, 695, 0, 0, 695, 696, 696,
1481 0, 696, 696, 696, 696, 696, 0, 0, 696, 697,
1482 697, 0, 0, 697, 698, 698, 0, 698, 698, 698,
1483 698, 698, 0, 0, 698, 699, 699, 0, 0, 699,
1484 700, 700, 0, 700, 700, 700, 700, 700, 0, 0,
1485 700, 701, 701, 0, 0, 701, 702, 702, 0, 702,
1486 702, 702, 702, 702, 0, 0, 702, 703, 703, 0,
1487 0, 703, 704, 704, 0, 704, 704, 704, 704, 704,
1488 0, 0, 704, 705, 705, 0, 0, 705, 706, 706,
1489 0, 706, 706, 706, 706, 706, 0, 0, 706, 707,
1490 707, 0, 0, 707, 708, 708, 0, 708, 708, 708,
1492 708, 708, 0, 0, 708, 709, 709, 0, 0, 709,
1493 710, 710, 0, 710, 710, 710, 710, 710, 0, 0,
1494 710, 711, 711, 0, 0, 711, 712, 712, 712, 0,
1495 712, 713, 713, 713, 0, 0, 713, 713, 0, 0,
1496 713, 714, 714, 714, 0, 0, 714, 714, 0, 0,
1497 714, 715, 0, 715, 715, 715, 0, 0, 715, 716,
1498 716, 0, 0, 716, 717, 0, 717, 717, 717, 0,
1499 0, 717, 718, 718, 718, 718, 0, 0, 718, 719,
1500 719, 719, 0, 719, 719, 719, 0, 0, 719, 720,
1501 720, 720, 0, 720, 720, 720, 0, 0, 720, 721,
1503 721, 721, 0, 721, 721, 721, 0, 0, 721, 722,
1504 722, 722, 0, 722, 722, 722, 0, 0, 722, 723,
1505 723, 723, 0, 723, 723, 723, 0, 0, 723, 724,
1506 724, 724, 0, 724, 724, 724, 0, 0, 724, 725,
1507 725, 725, 0, 725, 725, 725, 0, 0, 725, 726,
1508 726, 726, 0, 726, 726, 726, 0, 0, 726, 727,
1509 727, 727, 0, 727, 727, 727, 0, 0, 727, 728,
1510 728, 728, 0, 728, 728, 728, 0, 0, 728, 729,
1511 729, 729, 0, 729, 729, 729, 0, 0, 729, 730,
1512 730, 730, 0, 730, 730, 730, 0, 0, 730, 731,
1514 731, 731, 0, 731, 731, 731, 0, 0, 731, 732,
1515 732, 732, 0, 732, 732, 732, 0, 0, 732, 733,
1516 733, 733, 0, 733, 733, 733, 0, 0, 733, 734,
1517 734, 734, 0, 734, 734, 734, 0, 0, 734, 735,
1518 735, 735, 0, 735, 735, 735, 0, 0, 735, 736,
1519 736, 736, 0, 736, 736, 736, 0, 0, 736, 737,
1520 0, 737, 737, 737, 0, 0, 737, 738, 738, 738,
1521 0, 0, 738, 738, 0, 0, 738, 740, 740, 0,
1522 740, 740, 636, 636, 636, 636, 636, 636, 636, 636,
1523 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1525 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1526 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1527 636, 636, 636, 636, 636, 636, 636, 636, 636, 636,
1534 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1535 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1536 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1537 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1538 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, };
1540 static yy_state_type yy_last_accepting_state;
1541 static char *yy_last_accepting_cpos;
1544 int spice__flex_debug = 0;
1549 #define REJECT reject_used_but_not_detected
1550 #define yymore() yymore_used_but_not_detected
1551 #define YY_MORE_ADJ 0
1552 #define YY_RESTORE_YY_MORE_OFFSET
1554 #line 1 "scan_spice.l"
1556 #line 4 "scan_spice.l"
1582 # include <config.h>
1594 #ifdef HAVE_UNISTD_H
1602 # define strchr index
1603 # define strrchr rindex
1607 static void spice_fix_identifier (
char * ident) {
1609 for (p = ident; *p !=
'\0'; p++)
1611 case '+': *p =
'P';
break;
1612 case '-': *p =
'N';
break;
1613 case '/': *p =
'_';
break;
1628 #line 1629 "scan_spice.cpp"
1653 #ifndef YY_EXTRA_TYPE
1654 #define YY_EXTRA_TYPE void *
1657 static int yy_init_globals (
void );
1692 #ifndef YY_SKIP_YYWRAP
1701 static void yy_flex_strncpy (
char *,
yyconst char *,
int );
1704 #ifdef YY_NEED_STRLEN
1705 static int yy_flex_strlen (
yyconst char * );
1711 static int yyinput (
void );
1713 static int input (
void );
1719 #ifndef YY_READ_BUF_SIZE
1722 #define YY_READ_BUF_SIZE 16384
1724 #define YY_READ_BUF_SIZE 8192
1733 #define ECHO do { if (fwrite( spice_text, spice_leng, 1, spice_out )) {} } while (0)
1740 #define YY_INPUT(buf,result,max_size) \
1741 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
1745 for ( n = 0; n < max_size && \
1746 (c = getc( spice_in )) != EOF && c != '\n'; ++n ) \
1747 buf[n] = (char) c; \
1749 buf[n++] = (char) c; \
1750 if ( c == EOF && ferror( spice_in ) ) \
1751 YY_FATAL_ERROR( "input in flex scanner failed" ); \
1757 while ( (result = fread(buf, 1, max_size, spice_in))==0 && ferror(spice_in)) \
1759 if( errno != EINTR) \
1761 YY_FATAL_ERROR( "input in flex scanner failed" ); \
1765 clearerr(spice_in); \
1777 #define yyterminate() return YY_NULL
1781 #ifndef YY_START_STACK_INCR
1782 #define YY_START_STACK_INCR 25
1786 #ifndef YY_FATAL_ERROR
1787 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
1796 #define YY_DECL_IS_OURS 1
1800 #define YY_DECL int spice_lex (void)
1806 #ifndef YY_USER_ACTION
1807 #define YY_USER_ACTION
1812 #define YY_BREAK break;
1815 #define YY_RULE_SETUP \
1816 if ( spice_leng > 0 ) \
1817 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \
1818 (spice_text[spice_leng - 1] == '\n'); \
1825 register yy_state_type yy_current_state;
1829 #line 139 "scan_spice.l"
1832 #line 1833 "scan_spice.cpp"
1852 spice_ensure_buffer_stack ();
1857 spice__load_buffer_state( );
1862 yy_cp = (yy_c_buf_p);
1865 *yy_cp = (yy_hold_char);
1872 yy_current_state = (yy_start);
1878 if ( yy_accept[yy_current_state] )
1880 (yy_last_accepting_state) = yy_current_state;
1881 (yy_last_accepting_cpos) = yy_cp;
1883 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
1885 yy_current_state = (int) yy_def[yy_current_state];
1886 if ( yy_current_state >= 637 )
1887 yy_c = yy_meta[(
unsigned int) yy_c];
1889 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
1892 while ( yy_base[yy_current_state] != 3683 );
1895 yy_act = yy_accept[yy_current_state];
1898 yy_cp = (yy_last_accepting_cpos);
1899 yy_current_state = (yy_last_accepting_state);
1900 yy_act = yy_accept[yy_current_state];
1909 if ( spice_text[yyl] ==
'\n' )
1921 *yy_cp = (yy_hold_char);
1922 yy_cp = (yy_last_accepting_cpos);
1923 yy_current_state = (yy_last_accepting_state);
1924 goto yy_find_action;
1929 #line 141 "scan_spice.l"
1938 #line 147 "scan_spice.l"
1945 #line 151 "scan_spice.l"
1952 #line 157 "scan_spice.l"
1960 #line 162 "scan_spice.l"
1968 #line 167 "scan_spice.l"
1974 #line 168 "scan_spice.l"
1979 #line 170 "scan_spice.l"
1986 #line 174 "scan_spice.l"
1993 #line 178 "scan_spice.l"
2003 #line 185 "scan_spice.l"
2011 #line 190 "scan_spice.l"
2020 #line 196 "scan_spice.l"
2029 #line 202 "scan_spice.l"
2039 #line 209 "scan_spice.l"
2049 #line 216 "scan_spice.l"
2059 #line 223 "scan_spice.l"
2069 #line 230 "scan_spice.l"
2078 #line 236 "scan_spice.l"
2087 #line 242 "scan_spice.l"
2096 #line 248 "scan_spice.l"
2105 #line 254 "scan_spice.l"
2114 #line 260 "scan_spice.l"
2123 #line 266 "scan_spice.l"
2132 #line 272 "scan_spice.l"
2141 #line 278 "scan_spice.l"
2150 #line 284 "scan_spice.l"
2159 #line 290 "scan_spice.l"
2168 #line 296 "scan_spice.l"
2177 #line 302 "scan_spice.l"
2186 #line 308 "scan_spice.l"
2195 #line 314 "scan_spice.l"
2204 #line 320 "scan_spice.l"
2213 #line 326 "scan_spice.l"
2222 #line 332 "scan_spice.l"
2231 #line 338 "scan_spice.l"
2240 #line 344 "scan_spice.l"
2249 #line 350 "scan_spice.l"
2258 #line 356 "scan_spice.l"
2267 #line 362 "scan_spice.l"
2276 #line 368 "scan_spice.l"
2285 #line 374 "scan_spice.l"
2294 #line 380 "scan_spice.l"
2303 #line 386 "scan_spice.l"
2312 #line 392 "scan_spice.l"
2321 #line 398 "scan_spice.l"
2329 #line 403 "scan_spice.l"
2337 #line 408 "scan_spice.l"
2345 #line 413 "scan_spice.l"
2353 #line 418 "scan_spice.l"
2361 #line 423 "scan_spice.l"
2369 #line 428 "scan_spice.l"
2377 #line 433 "scan_spice.l"
2385 #line 438 "scan_spice.l"
2393 #line 443 "scan_spice.l"
2401 #line 448 "scan_spice.l"
2409 #line 453 "scan_spice.l"
2417 #line 458 "scan_spice.l"
2425 #line 463 "scan_spice.l"
2433 #line 468 "scan_spice.l"
2441 #line 473 "scan_spice.l"
2449 #line 478 "scan_spice.l"
2457 #line 483 "scan_spice.l"
2465 #line 488 "scan_spice.l"
2473 #line 493 "scan_spice.l"
2482 #line 499 "scan_spice.l"
2491 #line 505 "scan_spice.l"
2500 #line 511 "scan_spice.l"
2509 #line 517 "scan_spice.l"
2519 #line 523 "scan_spice.l"
2526 #line 528 "scan_spice.l"
2535 #line 535 "scan_spice.l"
2544 #line 541 "scan_spice.l"
2553 #line 547 "scan_spice.l"
2563 #line 554 "scan_spice.l"
2571 #line 559 "scan_spice.l"
2580 #line 566 "scan_spice.l"
2589 #line 572 "scan_spice.l"
2599 #line 579 "scan_spice.l"
2609 #line 586 "scan_spice.l"
2618 #line 592 "scan_spice.l"
2627 #line 599 "scan_spice.l"
2637 #line 606 "scan_spice.l"
2647 #line 612 "scan_spice.l"
2655 #line 616 "scan_spice.l"
2660 #line 617 "scan_spice.l"
2665 #line 618 "scan_spice.l"
2671 #line 620 "scan_spice.l"
2676 #line 621 "scan_spice.l"
2681 #line 622 "scan_spice.l"
2686 #line 624 "scan_spice.l"
2689 "line %d: syntax error, unrecognized character: `%s'\n",
2690 spice_lineno, spice_text);
2696 #line 631 "scan_spice.l"
2699 #line 2700 "scan_spice.cpp"
2727 int yy_amount_of_matched_text = (int) (yy_cp - (
yytext_ptr)) - 1;
2730 *yy_cp = (yy_hold_char);
2758 yy_state_type yy_next_state;
2760 (yy_c_buf_p) = (
yytext_ptr) + yy_amount_of_matched_text;
2762 yy_current_state = yy_get_previous_state( );
2773 yy_next_state = yy_try_NUL_trans( yy_current_state );
2777 if ( yy_next_state )
2780 yy_cp = ++(yy_c_buf_p);
2781 yy_current_state = yy_next_state;
2787 yy_cp = (yy_c_buf_p);
2788 goto yy_find_action;
2792 else switch ( yy_get_next_buffer( ) )
2796 (yy_did_buffer_switch_on_eof) = 0;
2817 if ( ! (yy_did_buffer_switch_on_eof) )
2827 yy_current_state = yy_get_previous_state( );
2829 yy_cp = (yy_c_buf_p);
2837 yy_current_state = yy_get_previous_state( );
2839 yy_cp = (yy_c_buf_p);
2841 goto yy_find_action;
2848 "fatal flex scanner internal error--no action found" );
2860 static int yy_get_next_buffer (
void)
2864 register int number_to_move,
i;
2869 "fatal flex scanner internal error--end of buffer missed" );
2893 number_to_move = (int) ((yy_c_buf_p) - (
yytext_ptr)) - 1;
2895 for ( i = 0; i < number_to_move; ++
i )
2896 *(dest++) = *(source++);
2909 while ( num_to_read <= 0 )
2915 int yy_c_buf_p_offset =
2922 if ( new_size <= 0 )
2937 "fatal error - scanner input buffer overflow" );
2939 (yy_c_buf_p) = &b->
yy_ch_buf[yy_c_buf_p_offset];
2951 (yy_n_chars), (
size_t) num_to_read );
2956 if ( (yy_n_chars) == 0 )
2977 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
2980 YY_FATAL_ERROR(
"out of dynamic memory in yy_get_next_buffer()" );
2983 (yy_n_chars) += number_to_move;
2994 static yy_state_type yy_get_previous_state (
void)
2996 register yy_state_type yy_current_state;
2997 register char *
yy_cp;
2999 yy_current_state = (yy_start);
3005 if ( yy_accept[yy_current_state] )
3007 (yy_last_accepting_state) = yy_current_state;
3008 (yy_last_accepting_cpos) = yy_cp;
3010 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
3012 yy_current_state = (int) yy_def[yy_current_state];
3013 if ( yy_current_state >= 637 )
3014 yy_c = yy_meta[(
unsigned int) yy_c];
3016 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
3019 return yy_current_state;
3027 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
3029 register int yy_is_jam;
3030 register char *yy_cp = (yy_c_buf_p);
3033 if ( yy_accept[yy_current_state] )
3035 (yy_last_accepting_state) = yy_current_state;
3036 (yy_last_accepting_cpos) = yy_cp;
3038 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
3040 yy_current_state = (int) yy_def[yy_current_state];
3041 if ( yy_current_state >= 637 )
3042 yy_c = yy_meta[(
unsigned int) yy_c];
3044 yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
3045 yy_is_jam = (yy_current_state == 636);
3047 return yy_is_jam ? 0 : yy_current_state;
3052 static int yyinput (
void)
3054 static int input (
void)
3060 *(yy_c_buf_p) = (yy_hold_char);
3070 *(yy_c_buf_p) =
'\0';
3077 switch ( yy_get_next_buffer( ) )
3100 if ( ! (yy_did_buffer_switch_on_eof) )
3116 c = *(
unsigned char *) (yy_c_buf_p);
3117 *(yy_c_buf_p) =
'\0';
3118 (yy_hold_char) = *++(yy_c_buf_p);
3139 spice_ensure_buffer_stack ();
3145 spice__load_buffer_state( );
3160 spice_ensure_buffer_stack ();
3167 *(yy_c_buf_p) = (yy_hold_char);
3173 spice__load_buffer_state( );
3180 (yy_did_buffer_switch_on_eof) = 1;
3183 static void spice__load_buffer_state (
void)
3188 (yy_hold_char) = *(yy_c_buf_p);
3203 YY_FATAL_ERROR(
"out of dynamic memory in spice__create_buffer()" );
3212 YY_FATAL_ERROR(
"out of dynamic memory in spice__create_buffer()" );
3216 spice__init_buffer(b,file );
3241 extern int isatty (
int );
3248 static void spice__init_buffer (YY_BUFFER_STATE b, FILE * file )
3296 spice__load_buffer_state( );
3307 if (new_buffer == NULL)
3310 spice_ensure_buffer_stack();
3316 *(yy_c_buf_p) = (yy_hold_char);
3323 (yy_buffer_stack_top)++;
3327 spice__load_buffer_state( );
3328 (yy_did_buffer_switch_on_eof) = 1;
3342 if ((yy_buffer_stack_top) > 0)
3343 --(yy_buffer_stack_top);
3346 spice__load_buffer_state( );
3347 (yy_did_buffer_switch_on_eof) = 1;
3354 static void spice_ensure_buffer_stack (
void)
3358 if (!(yy_buffer_stack)) {
3368 if ( ! (yy_buffer_stack) )
3369 YY_FATAL_ERROR(
"out of dynamic memory in spice_ensure_buffer_stack()" );
3371 memset((yy_buffer_stack), 0, num_to_alloc *
sizeof(
struct yy_buffer_state*));
3373 (yy_buffer_stack_max) = num_to_alloc;
3374 (yy_buffer_stack_top) = 0;
3378 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
3383 num_to_alloc = (yy_buffer_stack_max) + grow_size;
3388 if ( ! (yy_buffer_stack) )
3389 YY_FATAL_ERROR(
"out of dynamic memory in spice_ensure_buffer_stack()" );
3392 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size *
sizeof(
struct yy_buffer_state*));
3393 (yy_buffer_stack_max) = num_to_alloc;
3415 YY_FATAL_ERROR(
"out of dynamic memory in spice__scan_buffer()" );
3461 n = _yybytes_len + 2;
3464 YY_FATAL_ERROR(
"out of dynamic memory in spice__scan_bytes()" );
3466 for ( i = 0; i < _yybytes_len; ++
i )
3467 buf[i] = yybytes[i];
3483 #ifndef YY_EXIT_FAILURE
3484 #define YY_EXIT_FAILURE 2
3487 static void yy_fatal_error (
yyconst char* msg )
3489 (void)
fprintf( stderr,
"%s\n", msg );
3500 int yyless_macro_arg = (n); \
3501 YY_LESS_LINENO(yyless_macro_arg);\
3502 spice_text[spice_leng] = (yy_hold_char); \
3503 (yy_c_buf_p) = spice_text + yyless_macro_arg; \
3504 (yy_hold_char) = *(yy_c_buf_p); \
3505 *(yy_c_buf_p) = '\0'; \
3506 spice_leng = yyless_macro_arg; \
3561 spice_lineno = line_number;
3587 spice__flex_debug = bdebug ;
3590 static int yy_init_globals (
void)
3599 (yy_buffer_stack) = 0;
3600 (yy_buffer_stack_top) = 0;
3601 (yy_buffer_stack_max) = 0;
3602 (yy_c_buf_p) = (
char *) 0;
3634 (yy_buffer_stack) = NULL;
3648 static void yy_flex_strncpy (
char* s1,
yyconst char * s2,
int n )
3651 for ( i = 0; i <
n; ++
i )
3656 #ifdef YY_NEED_STRLEN
3657 static int yy_flex_strlen (
yyconst char *
s )
3660 for ( n = 0; s[
n]; ++
n )
3669 return (
void *) malloc( size );
3681 return (
void *) realloc( (
char *) ptr, size );
3686 free( (
char *) ptr );
3689 #define YYTABLES_NAME "yytables"
3691 #line 631 "scan_spice.l"