#line 3 "" #define YY_INT_ALIGNED short int /* A lexical scanner generated by flex */ #define FLEX_SCANNER #define YY_FLEX_MAJOR_VERSION 2 #define YY_FLEX_MINOR_VERSION 5 #define YY_FLEX_SUBMINOR_VERSION 35 #if YY_FLEX_SUBMINOR_VERSION > 0 #define FLEX_BETA #endif /* First, we deal with platform-specific or compiler-specific issues. */ /* begin standard C headers. */ #include #include #include #include /* end standard C headers. */ /* flex integer type definitions */ #ifndef FLEXINT_H #define FLEXINT_H /* C99 systems have . Non-C99 systems may or may not. */ #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h, * if you want the limit (max/min) macros for int types. */ #ifndef __STDC_LIMIT_MACROS #define __STDC_LIMIT_MACROS 1 #endif #include typedef int8_t flex_int8_t; typedef uint8_t flex_uint8_t; typedef int16_t flex_int16_t; typedef uint16_t flex_uint16_t; typedef int32_t flex_int32_t; typedef uint32_t flex_uint32_t; #else typedef signed char flex_int8_t; typedef short int flex_int16_t; typedef int flex_int32_t; typedef unsigned char flex_uint8_t; typedef unsigned short int flex_uint16_t; typedef unsigned int flex_uint32_t; /* Limits of integral types. */ #ifndef INT8_MIN #define INT8_MIN (-128) #endif #ifndef INT16_MIN #define INT16_MIN (-32767-1) #endif #ifndef INT32_MIN #define INT32_MIN (-2147483647-1) #endif #ifndef INT8_MAX #define INT8_MAX (127) #endif #ifndef INT16_MAX #define INT16_MAX (32767) #endif #ifndef INT32_MAX #define INT32_MAX (2147483647) #endif #ifndef UINT8_MAX #define UINT8_MAX (255U) #endif #ifndef UINT16_MAX #define UINT16_MAX (65535U) #endif #ifndef UINT32_MAX #define UINT32_MAX (4294967295U) #endif #endif /* ! C99 */ #endif /* ! FLEXINT_H */ #ifdef __cplusplus /* The "const" storage-class-modifier is valid. */ #define YY_USE_CONST #else /* ! __cplusplus */ /* C99 requires __STDC__ to be defined as 1. */ #if defined (__STDC__) #define YY_USE_CONST #endif /* defined (__STDC__) */ #endif /* ! __cplusplus */ #ifdef YY_USE_CONST #define yyconst const #else #define yyconst #endif /* Returned upon end-of-file. */ #define YY_NULL 0 /* Promotes a possibly negative, possibly signed char to an unsigned * integer for use as an array index. If the signed char is negative, * we want to instead treat it as an 8-bit unsigned char, hence the * double cast. */ #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c) /* An opaque pointer. */ #ifndef YY_TYPEDEF_YY_SCANNER_T #define YY_TYPEDEF_YY_SCANNER_T typedef void* yyscan_t; #endif /* For convenience, these vars (plus the bison vars far below) are macros in the reentrant scanner. */ #define yyin yyg->yyin_r #define yyout yyg->yyout_r #define yyextra yyg->yyextra_r #define yyleng yyg->yyleng_r #define yytext yyg->yytext_r #define yylineno (YY_CURRENT_BUFFER_LVALUE->yy_bs_lineno) #define yycolumn (YY_CURRENT_BUFFER_LVALUE->yy_bs_column) #define yy_flex_debug yyg->yy_flex_debug_r /* Enter a start condition. This macro really ought to take a parameter, * but we do it the disgusting crufty way forced on us by the ()-less * definition of BEGIN. */ #define BEGIN yyg->yy_start = 1 + 2 * /* Translate the current start state into a value that can be later handed * to BEGIN to return to the state. The YYSTATE alias is for lex * compatibility. */ #define YY_START ((yyg->yy_start - 1) / 2) #define YYSTATE YY_START /* Action number for EOF rule of a given start state. */ #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) /* Special action meaning "start processing a new file". */ #define YY_NEW_FILE langscan_c_lex_restart(yyin ,yyscanner ) #define YY_END_OF_BUFFER_CHAR 0 /* Size of default input buffer. */ #ifndef YY_BUF_SIZE #ifdef __ia64__ /* On IA-64, the buffer size is 16k, not 8k. * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case. * Ditto for the __ia64__ case accordingly. */ #define YY_BUF_SIZE 32768 #else #define YY_BUF_SIZE 16384 #endif /* __ia64__ */ #endif /* The state buf must be large enough to hold one state per character in the main buffer. */ #define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) #ifndef YY_TYPEDEF_YY_BUFFER_STATE #define YY_TYPEDEF_YY_BUFFER_STATE typedef struct yy_buffer_state *YY_BUFFER_STATE; #endif #define EOB_ACT_CONTINUE_SCAN 0 #define EOB_ACT_END_OF_FILE 1 #define EOB_ACT_LAST_MATCH 2 #define YY_LESS_LINENO(n) /* Return all but the first "n" matched characters back to the input stream. */ #define yyless(n) \ do \ { \ /* Undo effects of setting up yytext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(yyless_macro_arg);\ *yy_cp = yyg->yy_hold_char; \ YY_RESTORE_YY_MORE_OFFSET \ yyg->yy_c_buf_p = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ YY_DO_BEFORE_ACTION; /* set up yytext again */ \ } \ while ( 0 ) #define unput(c) yyunput( c, yyg->yytext_ptr , yyscanner ) #ifndef YY_TYPEDEF_YY_SIZE_T #define YY_TYPEDEF_YY_SIZE_T typedef size_t yy_size_t; #endif #ifndef YY_STRUCT_YY_BUFFER_STATE #define YY_STRUCT_YY_BUFFER_STATE struct yy_buffer_state { FILE *yy_input_file; char *yy_ch_buf; /* input buffer */ char *yy_buf_pos; /* current position in input buffer */ /* Size of input buffer in bytes, not including room for EOB * characters. */ yy_size_t yy_buf_size; /* Number of characters read into yy_ch_buf, not including EOB * characters. */ int yy_n_chars; /* Whether we "own" the buffer - i.e., we know we created it, * and can realloc() it to grow it, and should free() it to * delete it. */ int yy_is_our_buffer; /* Whether this is an "interactive" input source; if so, and * if we're using stdio for input, then we want to use getc() * instead of fread(), to make sure we stop fetching input after * each newline. */ int yy_is_interactive; /* Whether we're considered to be at the beginning of a line. * If so, '^' rules will be active on the next match, otherwise * not. */ int yy_at_bol; int yy_bs_lineno; /**< The line count. */ int yy_bs_column; /**< The column count. */ /* Whether to try to fill the input buffer when we reach the * end of it. */ int yy_fill_buffer; int yy_buffer_status; #define YY_BUFFER_NEW 0 #define YY_BUFFER_NORMAL 1 /* When an EOF's been seen but there's still some text to process * then we mark the buffer as YY_EOF_PENDING, to indicate that we * shouldn't try reading from the input source any more. We might * still have a bunch of tokens to match, though, because of * possible backing-up. * * When we actually see the EOF, we change the status to "new" * (via langscan_c_lex_restart()), so that the user can continue scanning by * just pointing yyin at a new input file. */ #define YY_BUFFER_EOF_PENDING 2 }; #endif /* !YY_STRUCT_YY_BUFFER_STATE */ /* We provide macros for accessing buffer states in case in the * future we want to put the buffer states in a more general * "scanner state". * * Returns the top of the stack, or NULL. */ #define YY_CURRENT_BUFFER ( yyg->yy_buffer_stack \ ? yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] \ : NULL) /* Same as previous macro, but useful when we know that the buffer stack is not * NULL or when we need an lvalue. For internal use only. */ #define YY_CURRENT_BUFFER_LVALUE yyg->yy_buffer_stack[yyg->yy_buffer_stack_top] void langscan_c_lex_restart (FILE *input_file ,yyscan_t yyscanner ); void langscan_c_lex__switch_to_buffer (YY_BUFFER_STATE new_buffer ,yyscan_t yyscanner ); YY_BUFFER_STATE langscan_c_lex__create_buffer (FILE *file,int size ,yyscan_t yyscanner ); void langscan_c_lex__delete_buffer (YY_BUFFER_STATE b ,yyscan_t yyscanner ); void langscan_c_lex__flush_buffer (YY_BUFFER_STATE b ,yyscan_t yyscanner ); void langscan_c_lex_push_buffer_state (YY_BUFFER_STATE new_buffer ,yyscan_t yyscanner ); void langscan_c_lex_pop_buffer_state (yyscan_t yyscanner ); static void langscan_c_lex_ensure_buffer_stack (yyscan_t yyscanner ); static void langscan_c_lex__load_buffer_state (yyscan_t yyscanner ); static void langscan_c_lex__init_buffer (YY_BUFFER_STATE b,FILE *file ,yyscan_t yyscanner ); #define YY_FLUSH_BUFFER langscan_c_lex__flush_buffer(YY_CURRENT_BUFFER ,yyscanner) YY_BUFFER_STATE langscan_c_lex__scan_buffer (char *base,yy_size_t size ,yyscan_t yyscanner ); YY_BUFFER_STATE langscan_c_lex__scan_string (yyconst char *yy_str ,yyscan_t yyscanner ); YY_BUFFER_STATE langscan_c_lex__scan_bytes (yyconst char *bytes,int len ,yyscan_t yyscanner ); void *langscan_c_lex_alloc (yy_size_t ,yyscan_t yyscanner ); void *langscan_c_lex_realloc (void *,yy_size_t ,yyscan_t yyscanner ); void langscan_c_lex_free (void * ,yyscan_t yyscanner ); #define yy_new_buffer langscan_c_lex__create_buffer #define yy_set_interactive(is_interactive) \ { \ if ( ! YY_CURRENT_BUFFER ){ \ langscan_c_lex_ensure_buffer_stack (yyscanner); \ YY_CURRENT_BUFFER_LVALUE = \ langscan_c_lex__create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ } #define yy_set_bol(at_bol) \ { \ if ( ! YY_CURRENT_BUFFER ){\ langscan_c_lex_ensure_buffer_stack (yyscanner); \ YY_CURRENT_BUFFER_LVALUE = \ langscan_c_lex__create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \ } \ YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ } #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) /* Begin user sect3 */ #define langscan_c_lex_wrap(n) 1 #define YY_SKIP_YYWRAP typedef unsigned char YY_CHAR; typedef int yy_state_type; #define yytext_ptr yytext_r static yy_state_type yy_get_previous_state (yyscan_t yyscanner ); static yy_state_type yy_try_NUL_trans (yy_state_type current_state ,yyscan_t yyscanner); static int yy_get_next_buffer (yyscan_t yyscanner ); static void yy_fatal_error (yyconst char msg[] ,yyscan_t yyscanner ); /* Done after the current pattern has been matched and before the * corresponding action - sets up yytext. */ #define YY_DO_BEFORE_ACTION \ yyg->yytext_ptr = yy_bp; \ yyleng = (size_t) (yy_cp - yy_bp); \ yyg->yy_hold_char = *yy_cp; \ *yy_cp = '\0'; \ yyg->yy_c_buf_p = yy_cp; #define YY_NUM_RULES 25 #define YY_END_OF_BUFFER 26 /* This struct is not used in this scanner, but its presence is necessary. */ struct yy_trans_info { flex_int32_t yy_verify; flex_int32_t yy_nxt; }; static yyconst flex_int16_t yy_accept[795] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 26, 24, 14, 15, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 19, 20, 24, 24, 24, 23, 24, 23, 23, 24, 14, 1, 3, 24, 5, 5, 5, 6, 5, 5, 5, 9, 8, 8, 8, 14, 24, 0, 17, 0, 0, 0, 22, 0, 16, 22, 19, 0, 19, 0, 20, 20, 24, 24, 23, 23, 23, 14, 1, 2, 0, 0, 5, 4, 5, 5, 5, 5, 5, 0, 0, 8, 7, 8, 8, 0, 0, 0, 0, 0, 18, 0, 0, 0, 0, 0, 0, 22, 0, 0, 16, 22, 21, 23, 23, 0, 0, 5, 5, 5, 5, 0, 0, 8, 8, 0, 0, 0, 0, 0, 22, 0, 16, 21, 23, 23, 0, 0, 0, 0, 0, 4, 5, 5, 5, 5, 0, 0, 0, 0, 0, 7, 8, 8, 0, 23, 23, 0, 0, 0, 5, 5, 5, 5, 0, 0, 0, 8, 8, 0, 0, 23, 0, 0, 0, 0, 0, 0, 4, 0, 0, 5, 5, 0, 0, 0, 0, 0, 0, 7, 0, 0, 8, 0, 12, 10, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 7, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 12, 10, 0, 13, 11, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 7, 0, 7, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 7, 10, 0, 0, 7, 0, 0, 0, 0, 0, 0, 13, 11, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 4, 0, 0, 12, 10, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 7, 0, 0, 7, 0, 0, 12, 10, 0, 0, 0, 7, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 11, 0, 0, 0, 0, 0, 12, 10, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 13, 11, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 12, 10, 0, 0, 0, 0, 0, 0, 0, 0, 7, 10, 0, 0, 13, 11, 0, 0, 0, 7, 11, 0, 0, 0, 0, 0, 12, 10, 0, 0, 0, 0, 4, 4, 4, 0, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 13, 11, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 12, 10, 0, 0, 0, 0, 7, 10, 0, 7, 0, 0, 0, 0, 7, 10, 0, 0, 0, 13, 11, 0, 0, 0, 0, 0, 0, 0, 0, 7, 11, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 0, 13, 11, 0, 0, 0, 0, 4, 4, 4, 0, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 7, 10, 0, 0, 0, 0, 0, 0, 0, 0, 7, 10, 0, 7, 0, 0, 0, 0, 7, 10, 0, 13, 11, 0, 0, 0, 0, 7, 11, 0, 7, 0, 0, 0, 0, 7, 11, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 4, 4, 4, 0, 12, 10, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 4, 4, 4, 0, 0, 0, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 7, 10, 0, 0, 0, 7, 10, 0, 12, 10, 0, 0, 0, 0, 0, 0, 7, 10, 0, 0, 7, 10, 0, 0, 0, 7, 11, 0, 0, 0, 0, 0, 0, 0, 0, 7, 11, 0, 7, 0, 0, 0, 0, 7, 11, 0, 0, 0, 0, 4, 4, 4, 12, 10, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 0, 4, 4, 4, 0, 13, 11, 0, 0, 0, 0, 0, 0, 4, 4, 4, 0, 0, 4, 4, 4, 0, 0, 0, 0, 7, 10, 12, 0, 0, 0, 0, 0, 7, 11, 0, 0, 0, 7, 11, 0, 13, 11, 0, 0, 0, 0, 0, 0, 7, 11, 0, 0, 7, 11, 0, 0, 0, 0, 0, 4, 4, 4, 13, 11, 0, 0, 0, 0, 0, 0, 0, 7, 11, 13, 0, 0, 0, 0, 0 } ; static yyconst flex_int32_t yy_ec[256] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 4, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 5, 6, 7, 1, 8, 9, 10, 1, 1, 11, 12, 1, 13, 14, 15, 16, 17, 17, 17, 18, 18, 18, 18, 19, 19, 20, 21, 22, 23, 24, 1, 1, 25, 25, 25, 25, 26, 27, 28, 28, 28, 28, 28, 29, 28, 28, 28, 28, 28, 28, 28, 28, 30, 28, 28, 31, 28, 28, 1, 32, 1, 33, 28, 1, 34, 25, 35, 25, 26, 27, 28, 28, 28, 28, 28, 36, 28, 28, 28, 28, 28, 37, 38, 39, 40, 28, 28, 41, 28, 28, 42, 43, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } ; static yyconst flex_int32_t yy_meta[44] = { 0, 1, 2, 3, 1, 1, 1, 1, 1, 1, 4, 1, 1, 1, 1, 2, 5, 5, 5, 5, 6, 2, 1, 1, 1, 5, 5, 5, 7, 7, 7, 7, 1, 1, 5, 5, 7, 7, 7, 7, 7, 7, 6, 1 } ; static yyconst flex_int16_t yy_base[943] = { 0, 0, 42, 42, 44, 52, 46, 70, 48, 91, 50, 1083, 9762, 52, 9762, 1054, 52, 1052, 50, 1042, 1036, 48, 90, 45, 122, 132, 160, 43, 1035, 44, 0, 1034, 1018, 1012, 92, 68, 9762, 9762, 1046, 138, 199, 100, 9762, 0, 1007, 997, 9762, 154, 182, 108, 150, 9762, 128, 9762, 188, 1014, 205, 231, 1008, 0, 148, 140, 193, 158, 0, 0, 196, 994, 990, 0, 978, 972, 226, 9762, 9762, 241, 127, 972, 9762, 159, 87, 0, 973, 969, 249, 171, 967, 9762, 203, 180, 221, 257, 260, 263, 0, 9762, 986, 280, 283, 292, 0, 299, 9762, 973, 223, 0, 0, 284, 939, 936, 964, 319, 204, 219, 934, 922, 943, 304, 246, 232, 320, 0, 313, 0, 269, 346, 934, 9762, 313, 905, 900, 920, 317, 356, 364, 405, 389, 267, 309, 892, 894, 917, 335, 353, 378, 400, 398, 297, 312, 916, 415, 883, 910, 446, 487, 420, 255, 425, 880, 893, 430, 457, 435, 315, 171, 372, 440, 881, 528, 569, 610, 651, 692, 733, 461, 375, 450, 472, 878, 489, 494, 511, 525, 539, 542, 491, 443, 522, 203, 9762, 9762, 875, 441, 336, 458, 469, 868, 774, 815, 856, 897, 938, 979, 1020, 553, 554, 474, 9762, 9762, 857, 584, 595, 506, 508, 854, 617, 640, 654, 665, 676, 681, 703, 564, 567, 9762, 853, 643, 696, 523, 852, 536, 580, 597, 667, 478, 9762, 9762, 851, 679, 566, 1061, 1102, 1143, 1184, 1225, 1266, 592, 842, 1307, 1348, 1389, 1430, 1471, 581, 725, 841, 618, 740, 748, 1512, 763, 771, 778, 804, 705, 572, 9762, 9762, 834, 807, 625, 800, 829, 840, 845, 867, 870, 633, 830, 872, 892, 894, 899, 921, 639, 923, 828, 648, 931, 945, 953, 968, 976, 983, 869, 9762, 827, 990, 826, 823, 662, 687, 716, 720, 818, 1553, 1594, 1635, 1676, 1717, 1758, 1799, 803, 741, 801, 728, 946, 777, 776, 1013, 1024, 1840, 1027, 1050, 1058, 768, 1881, 1922, 812, 1065, 761, 785, 1091, 1094, 1963, 1117, 1127, 1147, 760, 1035, 1087, 1150, 1173, 1195, 1198, 1200, 753, 786, 748, 895, 1113, 746, 722, 1175, 1220, 1222, 948, 999, 721, 1236, 1250, 1114, 1270, 720, 793, 1273, 1281, 1296, 1298, 1318, 719, 714, 2004, 2045, 1130, 711, 704, 2086, 2127, 699, 2168, 2209, 2250, 2291, 2332, 2373, 2414, 2455, 1149, 1282, 693, 690, 1332, 1341, 2496, 1352, 1355, 1378, 678, 2537, 2578, 1400, 1403, 1172, 663, 638, 1414, 1425, 636, 1455, 1460, 1496, 1501, 1537, 1542, 1578, 1221, 1423, 630, 624, 1544, 1585, 1601, 1327, 1363, 623, 1630, 1646, 616, 1237, 613, 606, 2619, 2660, 2701, 2742, 2783, 2824, 2865, 1438, 1238, 597, 583, 2906, 2947, 2988, 3029, 3070, 3111, 3152, 3193, 3234, 1284, 580, 565, 3275, 3316, 553, 3357, 3398, 3439, 3480, 3521, 3562, 3603, 3644, 1295, 551, 550, 1660, 1671, 1701, 1706, 1485, 1608, 1468, 548, 1742, 1747, 1783, 1788, 1824, 1829, 1865, 1870, 1366, 541, 524, 1906, 1911, 507, 1947, 1952, 1988, 1993, 2029, 2034, 2070, 3685, 3726, 3767, 3808, 3849, 3890, 3931, 3972, 1509, 4013, 4054, 4095, 4136, 4177, 4218, 4259, 4300, 1520, 1401, 500, 490, 4341, 4382, 4423, 4464, 4505, 4546, 4587, 1426, 474, 468, 4628, 4669, 4710, 4751, 4792, 4833, 4874, 1556, 1443, 466, 459, 4915, 4956, 4997, 5038, 5079, 5120, 5161, 5202, 5243, 2075, 2111, 2116, 1731, 1772, 2152, 2157, 1610, 2193, 2198, 2234, 2239, 2275, 2280, 2316, 1643, 435, 2321, 2357, 2362, 2398, 2403, 2439, 1484, 428, 425, 2444, 2480, 2485, 2521, 1813, 1854, 1669, 423, 2526, 2562, 2567, 2603, 2608, 2644, 2649, 2685, 5284, 5325, 5366, 5407, 5448, 5489, 5530, 5571, 5612, 5653, 5694, 5735, 1507, 418, 413, 5776, 5817, 5858, 5899, 5940, 5981, 6022, 6063, 6104, 1508, 1684, 1549, 403, 401, 6145, 6186, 6227, 6268, 6309, 6350, 6391, 6432, 1714, 6473, 6514, 6555, 6596, 6637, 6678, 6719, 6760, 1755, 1571, 394, 386, 6801, 6842, 6883, 6924, 6965, 7006, 7047, 2690, 2726, 2731, 1895, 1936, 2767, 2772, 2808, 1977, 2018, 1597, 385, 384, 2813, 2849, 2854, 2890, 2895, 2931, 2936, 2972, 1623, 1796, 383, 378, 2977, 3013, 3018, 2059, 2100, 3054, 3059, 1837, 3095, 3100, 3136, 3141, 3177, 3182, 3218, 1878, 377, 3223, 3259, 3264, 3300, 3305, 3341, 7088, 7129, 7170, 7211, 7252, 7293, 7334, 361, 359, 7375, 7416, 7457, 7498, 7539, 7580, 7621, 7662, 7703, 7744, 7785, 7826, 7867, 7908, 1672, 358, 349, 7949, 7990, 8031, 8072, 8113, 8154, 8195, 8236, 8277, 1689, 1919, 1730, 330, 316, 3346, 3382, 3387, 3423, 2141, 2182, 293, 3428, 3464, 3469, 3505, 3510, 2223, 2264, 3546, 3551, 3587, 2305, 2346, 1771, 260, 254, 3592, 3628, 3633, 3669, 3674, 3710, 3715, 3751, 1812, 1960, 243, 220, 8318, 8359, 8400, 8441, 8482, 8523, 8564, 8605, 188, 172, 8646, 8687, 3756, 3792, 3797, 3833, 3838, 2387, 2428, 159, 3874, 3879, 8728, 3915, 9762, 8770, 8777, 8780, 8786, 8789, 8795, 8802, 8809, 150, 138, 97, 8816, 8823, 8830, 8837, 8844, 80, 64, 8851, 8858, 8865, 8872, 8879, 8886, 8893, 8900, 8907, 8914, 8921, 8928, 8935, 8942, 8949, 8956, 8963, 8970, 8977, 8984, 8991, 8998, 9005, 9012, 9019, 9026, 9033, 9040, 9047, 9054, 9061, 9068, 9075, 9082, 9089, 9096, 9103, 9110, 9117, 9124, 9131, 9138, 9145, 9152, 9159, 9166, 9173, 9180, 9187, 9194, 9201, 9208, 9215, 9222, 9229, 9236, 9243, 9250, 9257, 9264, 9271, 9278, 9285, 9292, 9299, 9306, 9313, 9320, 9327, 9334, 9341, 9348, 9355, 9362, 9369, 9376, 9383, 9390, 9397, 9404, 9411, 9418, 9425, 9432, 9439, 9446, 9453, 9460, 9467, 9474, 9481, 9488, 9495, 9502, 9509, 9516, 9523, 9530, 9537, 9544, 9551, 9558, 9565, 9572, 9579, 9586, 9593, 9600, 9607, 9614, 9621, 9628, 9635, 9642, 9649, 9656, 9663, 9670, 9677, 9684, 9691, 9698, 9705, 9712, 9719, 9726, 9733, 9740, 9747, 9754 } ; static yyconst flex_int16_t yy_def[943] = { 0, 794, 1, 1, 1, 1, 5, 5, 7, 1, 9, 794, 794, 794, 794, 794, 795, 794, 794, 796, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 797, 794, 797, 797, 794, 794, 794, 794, 794, 798, 798, 40, 794, 799, 799, 799, 794, 800, 800, 48, 794, 794, 795, 794, 795, 794, 796, 794, 801, 802, 57, 25, 794, 794, 803, 26, 794, 794, 794, 797, 797, 797, 794, 794, 794, 794, 794, 40, 794, 40, 40, 799, 799, 799, 794, 794, 48, 794, 48, 48, 795, 795, 795, 795, 804, 794, 794, 794, 794, 794, 805, 794, 794, 801, 806, 802, 60, 803, 797, 797, 807, 808, 40, 40, 799, 799, 809, 810, 48, 48, 795, 811, 794, 812, 794, 794, 813, 794, 794, 797, 797, 807, 814, 808, 808, 808, 808, 40, 40, 799, 799, 809, 815, 810, 810, 810, 810, 48, 48, 813, 797, 797, 816, 817, 808, 40, 40, 799, 799, 818, 819, 810, 48, 48, 820, 794, 797, 816, 817, 817, 807, 821, 817, 817, 820, 794, 40, 799, 818, 819, 819, 809, 822, 819, 819, 820, 794, 48, 820, 794, 794, 823, 824, 825, 794, 807, 807, 826, 826, 816, 808, 826, 827, 817, 820, 820, 820, 794, 794, 828, 829, 825, 794, 809, 809, 830, 830, 818, 810, 830, 831, 819, 820, 820, 794, 832, 833, 825, 794, 823, 834, 824, 824, 824, 825, 794, 794, 835, 836, 837, 817, 826, 826, 816, 826, 826, 816, 816, 838, 838, 839, 817, 838, 840, 841, 828, 842, 829, 829, 829, 829, 829, 829, 825, 825, 825, 794, 794, 843, 844, 845, 819, 830, 830, 818, 830, 830, 818, 818, 846, 846, 847, 819, 846, 848, 849, 832, 850, 833, 833, 833, 833, 833, 825, 825, 794, 851, 852, 853, 835, 854, 836, 836, 836, 839, 826, 826, 838, 838, 839, 838, 838, 839, 839, 839, 840, 855, 807, 807, 841, 841, 841, 841, 808, 808, 856, 857, 829, 858, 859, 843, 860, 844, 844, 844, 844, 844, 844, 847, 830, 830, 846, 846, 847, 846, 846, 847, 847, 847, 848, 861, 862, 862, 849, 849, 849, 863, 863, 864, 865, 833, 866, 867, 851, 868, 852, 852, 852, 852, 852, 853, 869, 838, 838, 870, 871, 871, 872, 841, 856, 857, 857, 840, 873, 857, 857, 857, 857, 858, 874, 807, 807, 859, 859, 859, 859, 808, 808, 875, 876, 844, 846, 846, 877, 878, 878, 879, 849, 864, 865, 865, 848, 880, 865, 865, 865, 866, 881, 862, 862, 867, 867, 867, 863, 863, 882, 883, 852, 869, 870, 871, 871, 872, 872, 884, 872, 872, 885, 885, 840, 840, 807, 807, 886, 886, 870, 887, 886, 886, 886, 888, 857, 889, 871, 871, 890, 859, 875, 876, 876, 858, 891, 876, 876, 876, 876, 877, 878, 878, 879, 879, 892, 879, 893, 893, 848, 862, 894, 894, 877, 895, 894, 894, 896, 865, 897, 878, 878, 898, 867, 882, 883, 883, 866, 899, 883, 883, 883, 900, 900, 901, 900, 902, 902, 903, 872, 904, 872, 886, 886, 870, 886, 886, 886, 886, 870, 870, 871, 871, 905, 905, 906, 857, 905, 905, 905, 889, 871, 871, 890, 890, 907, 890, 890, 885, 885, 858, 858, 807, 807, 908, 908, 889, 909, 908, 908, 908, 910, 876, 911, 911, 912, 913, 913, 914, 879, 915, 879, 894, 894, 877, 894, 894, 894, 877, 878, 916, 916, 917, 865, 916, 916, 897, 878, 878, 898, 898, 918, 898, 919, 919, 866, 862, 920, 920, 897, 921, 920, 920, 922, 883, 900, 900, 900, 900, 902, 902, 923, 923, 872, 923, 924, 924, 906, 925, 925, 886, 900, 905, 905, 906, 905, 905, 905, 905, 906, 906, 906, 925, 925, 926, 926, 927, 926, 902, 902, 928, 890, 929, 890, 908, 908, 889, 908, 908, 908, 908, 889, 889, 871, 871, 930, 930, 931, 876, 930, 930, 930, 911, 911, 911, 913, 913, 932, 932, 879, 933, 933, 917, 934, 934, 894, 911, 916, 916, 917, 916, 916, 916, 917, 917, 934, 934, 935, 935, 936, 913, 913, 937, 898, 938, 898, 920, 920, 897, 920, 920, 920, 897, 878, 939, 939, 940, 883, 939, 939, 900, 923, 923, 923, 923, 924, 924, 925, 925, 905, 923, 926, 926, 926, 926, 902, 902, 941, 941, 890, 941, 924, 924, 931, 925, 925, 908, 926, 930, 930, 931, 930, 930, 930, 930, 931, 931, 931, 925, 925, 911, 932, 932, 932, 933, 933, 934, 916, 932, 935, 935, 935, 913, 913, 942, 942, 898, 933, 933, 940, 934, 934, 920, 935, 939, 939, 940, 939, 939, 939, 940, 940, 934, 934, 923, 926, 941, 941, 941, 941, 924, 924, 925, 925, 930, 941, 932, 935, 942, 942, 942, 933, 933, 934, 939, 942, 941, 942, 0, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794 } ; static yyconst flex_int16_t yy_nxt[9806] = { 0, 12, 13, 14, 13, 15, 16, 12, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 26, 26, 12, 12, 27, 28, 29, 30, 30, 30, 30, 30, 30, 30, 12, 31, 30, 32, 30, 30, 33, 30, 30, 30, 12, 34, 35, 37, 35, 37, 35, 36, 35, 36, 35, 36, 50, 36, 50, 36, 53, 51, 51, 57, 57, 57, 57, 67, 51, 51, 68, 55, 72, 51, 50, 51, 38, 73, 38, 39, 39, 39, 39, 39, 39, 39, 54, 52, 39, 40, 39, 39, 41, 39, 39, 39, 42, 43, 43, 43, 43, 43, 43, 43, 123, 51, 43, 44, 43, 43, 45, 43, 43, 43, 46, 51, 51, 51, 47, 47, 47, 47, 47, 47, 47, 77, 113, 47, 48, 47, 47, 49, 47, 47, 47, 58, 53, 51, 77, 59, 110, 80, 75, 75, 111, 121, 86, 51, 60, 89, 61, 61, 61, 62, 50, 76, 50, 107, 84, 84, 78, 78, 54, 63, 63, 64, 106, 106, 106, 106, 63, 85, 142, 794, 63, 64, 60, 87, 65, 65, 65, 65, 78, 794, 116, 132, 84, 84, 117, 63, 63, 66, 66, 90, 189, 112, 63, 77, 66, 85, 63, 132, 66, 75, 75, 87, 91, 92, 93, 60, 96, 62, 62, 62, 62, 190, 76, 55, 86, 119, 88, 78, 78, 97, 98, 99, 189, 66, 66, 53, 72, 94, 50, 142, 66, 73, 104, 79, 66, 118, 127, 86, 77, 78, 137, 75, 75, 190, 100, 57, 57, 57, 57, 84, 84, 54, 142, 77, 76, 101, 102, 138, 102, 78, 78, 53, 85, 142, 53, 102, 86, 53, 87, 142, 148, 120, 120, 120, 120, 120, 120, 90, 90, 90, 86, 78, 147, 125, 125, 125, 125, 54, 95, 77, 54, 95, 176, 54, 122, 122, 122, 122, 122, 122, 95, 77, 142, 155, 144, 84, 55, 55, 55, 124, 124, 128, 128, 125, 125, 125, 125, 145, 128, 134, 75, 95, 128, 146, 53, 132, 132, 55, 55, 55, 75, 86, 135, 162, 90, 90, 90, 136, 136, 132, 128, 128, 156, 77, 142, 163, 86, 128, 84, 86, 54, 128, 187, 144, 84, 235, 134, 75, 132, 136, 125, 125, 125, 125, 134, 75, 145, 132, 132, 135, 132, 102, 146, 102, 136, 136, 236, 135, 144, 84, 102, 191, 136, 136, 209, 192, 142, 142, 210, 134, 75, 145, 142, 142, 142, 132, 136, 146, 144, 84, 144, 84, 135, 132, 136, 134, 75, 136, 136, 160, 132, 145, 132, 161, 153, 164, 164, 146, 154, 146, 174, 174, 132, 136, 136, 164, 164, 132, 165, 136, 180, 181, 142, 175, 142, 185, 185, 142, 165, 182, 193, 193, 188, 183, 142, 136, 169, 170, 186, 184, 211, 211, 225, 194, 77, 171, 226, 144, 84, 172, 232, 204, 204, 212, 173, 173, 160, 237, 132, 86, 161, 238, 193, 193, 205, 132, 146, 132, 239, 206, 207, 233, 240, 132, 77, 194, 173, 134, 75, 180, 181, 222, 222, 189, 180, 181, 153, 235, 182, 132, 154, 208, 183, 182, 223, 136, 136, 183, 184, 132, 224, 181, 181, 184, 190, 268, 364, 270, 236, 269, 142, 271, 227, 227, 213, 216, 217, 136, 169, 170, 214, 190, 296, 142, 182, 228, 297, 171, 218, 180, 181, 172, 180, 181, 219, 230, 173, 173, 220, 164, 142, 182, 221, 204, 204, 183, 86, 142, 184, 142, 142, 184, 331, 253, 222, 222, 205, 254, 173, 169, 170, 206, 207, 189, 132, 132, 284, 223, 171, 170, 285, 188, 172, 224, 258, 204, 189, 173, 173, 132, 316, 235, 132, 208, 190, 263, 263, 259, 188, 232, 317, 239, 260, 261, 190, 306, 132, 190, 264, 173, 170, 170, 236, 265, 266, 132, 232, 273, 274, 132, 233, 318, 132, 195, 262, 300, 182, 256, 196, 196, 275, 174, 364, 142, 142, 267, 276, 233, 181, 142, 273, 274, 270, 289, 222, 287, 340, 142, 350, 182, 196, 198, 199, 275, 274, 274, 290, 287, 351, 276, 171, 185, 291, 142, 200, 144, 84, 277, 188, 201, 201, 300, 142, 278, 160, 193, 273, 274, 161, 352, 234, 280, 281, 292, 146, 182, 232, 331, 234, 275, 182, 201, 169, 170, 282, 276, 293, 293, 302, 132, 283, 202, 132, 180, 181, 203, 302, 233, 256, 294, 173, 173, 220, 132, 328, 295, 221, 234, 329, 303, 132, 234, 184, 300, 235, 320, 204, 303, 230, 364, 287, 142, 173, 169, 170, 302, 236, 316, 321, 302, 258, 204, 171, 322, 323, 236, 172, 317, 258, 204, 239, 173, 173, 259, 373, 142, 303, 142, 260, 261, 303, 259, 142, 258, 204, 324, 260, 261, 318, 142, 331, 258, 204, 173, 242, 243, 259, 256, 258, 204, 262, 260, 261, 171, 259, 132, 132, 244, 262, 260, 261, 259, 245, 245, 331, 270, 260, 261, 211, 402, 180, 181, 364, 262, 263, 263, 227, 333, 263, 182, 132, 262, 132, 183, 245, 242, 243, 264, 262, 184, 334, 389, 265, 266, 171, 335, 336, 132, 244, 273, 274, 390, 300, 245, 245, 230, 364, 287, 182, 142, 273, 274, 275, 331, 267, 274, 274, 337, 276, 182, 256, 132, 391, 275, 142, 245, 243, 243, 277, 276, 300, 230, 287, 142, 278, 132, 256, 273, 274, 246, 273, 274, 342, 343, 247, 247, 220, 132, 361, 182, 339, 182, 362, 275, 230, 344, 276, 142, 235, 276, 132, 345, 342, 343, 343, 343, 247, 134, 75, 180, 181, 182, 142, 142, 350, 344, 153, 347, 220, 236, 154, 345, 221, 348, 351, 136, 136, 177, 184, 132, 166, 342, 343, 354, 222, 104, 142, 158, 157, 132, 182, 289, 222, 151, 344, 352, 355, 136, 242, 243, 345, 150, 356, 104, 290, 289, 222, 171, 144, 84, 291, 244, 142, 289, 222, 316, 245, 245, 290, 204, 140, 145, 359, 357, 291, 375, 360, 146, 289, 222, 139, 292, 291, 132, 130, 129, 289, 222, 245, 249, 250, 290, 104, 293, 293, 292, 376, 291, 171, 290, 366, 293, 251, 292, 95, 291, 294, 252, 252, 144, 84, 86, 295, 367, 115, 114, 77, 109, 292, 368, 108, 51, 145, 320, 204, 51, 292, 104, 146, 252, 169, 170, 95, 236, 320, 204, 321, 320, 204, 202, 369, 322, 323, 203, 83, 273, 274, 321, 173, 173, 321, 82, 322, 323, 220, 322, 323, 74, 339, 71, 134, 75, 70, 324, 276, 51, 51, 51, 134, 75, 173, 169, 170, 135, 324, 393, 263, 324, 136, 136, 171, 135, 56, 51, 172, 51, 136, 136, 394, 173, 173, 794, 794, 395, 396, 794, 794, 273, 274, 794, 136, 333, 263, 794, 333, 263, 182, 794, 136, 794, 275, 173, 242, 243, 334, 397, 276, 334, 794, 335, 336, 171, 335, 336, 794, 244, 794, 333, 263, 794, 245, 245, 350, 417, 794, 794, 222, 333, 263, 794, 334, 337, 404, 418, 337, 335, 336, 794, 794, 316, 334, 794, 245, 242, 243, 335, 336, 333, 263, 430, 342, 343, 171, 405, 419, 794, 244, 337, 389, 182, 334, 245, 245, 344, 794, 335, 336, 337, 390, 345, 431, 794, 794, 342, 343, 354, 222, 794, 794, 794, 794, 350, 182, 245, 243, 243, 344, 337, 355, 391, 794, 467, 345, 132, 356, 343, 343, 246, 342, 343, 342, 343, 247, 247, 142, 794, 794, 220, 347, 182, 794, 401, 468, 344, 348, 357, 794, 345, 794, 345, 354, 222, 354, 222, 247, 242, 243, 794, 794, 794, 417, 406, 794, 355, 202, 407, 410, 411, 305, 356, 418, 356, 794, 245, 245, 412, 316, 316, 794, 413, 289, 222, 794, 794, 794, 414, 430, 317, 794, 359, 357, 419, 357, 360, 794, 245, 242, 243, 794, 291, 421, 293, 794, 366, 293, 171, 415, 431, 318, 244, 794, 366, 293, 422, 245, 245, 367, 794, 794, 423, 292, 389, 368, 389, 367, 263, 366, 293, 366, 293, 368, 453, 794, 527, 350, 426, 245, 308, 309, 427, 424, 367, 794, 369, 467, 368, 171, 368, 366, 293, 310, 369, 454, 794, 528, 311, 311, 144, 84, 794, 794, 367, 393, 263, 794, 468, 369, 368, 369, 794, 145, 393, 263, 794, 794, 394, 146, 311, 308, 309, 395, 396, 393, 263, 394, 134, 75, 171, 369, 395, 396, 310, 794, 144, 84, 394, 311, 311, 135, 794, 395, 396, 397, 136, 136, 417, 145, 794, 134, 75, 794, 397, 146, 794, 794, 573, 794, 794, 311, 309, 309, 135, 397, 794, 794, 136, 136, 136, 132, 794, 342, 343, 313, 342, 343, 794, 574, 314, 314, 220, 316, 794, 182, 401, 470, 411, 344, 794, 136, 345, 430, 794, 345, 471, 794, 354, 222, 472, 794, 314, 169, 170, 417, 473, 406, 389, 293, 794, 407, 202, 794, 431, 486, 203, 356, 527, 794, 506, 173, 173, 794, 507, 389, 794, 474, 410, 411, 317, 794, 794, 410, 411, 390, 487, 412, 357, 528, 794, 413, 412, 173, 308, 309, 413, 414, 794, 794, 556, 318, 414, 171, 557, 794, 391, 310, 180, 181, 351, 794, 311, 311, 794, 794, 417, 182, 415, 411, 411, 183, 794, 415, 478, 479, 573, 184, 350, 794, 794, 352, 475, 412, 311, 258, 204, 480, 476, 316, 316, 316, 794, 481, 326, 382, 794, 574, 327, 703, 703, 604, 506, 260, 261, 794, 607, 794, 794, 352, 410, 411, 430, 794, 482, 410, 411, 421, 293, 483, 704, 704, 605, 484, 412, 262, 242, 243, 413, 414, 422, 316, 794, 431, 414, 202, 423, 794, 628, 305, 794, 703, 629, 794, 245, 245, 794, 794, 390, 794, 415, 410, 411, 389, 794, 415, 794, 424, 421, 293, 412, 794, 704, 527, 413, 794, 245, 242, 243, 391, 414, 422, 794, 794, 421, 293, 171, 423, 794, 350, 244, 180, 181, 488, 528, 245, 245, 489, 794, 742, 182, 415, 350, 423, 183, 794, 411, 794, 424, 794, 184, 794, 659, 492, 493, 350, 794, 245, 308, 309, 672, 794, 494, 794, 424, 742, 495, 171, 794, 366, 293, 310, 496, 660, 794, 556, 311, 311, 426, 662, 794, 794, 427, 470, 411, 467, 672, 794, 368, 794, 794, 794, 471, 497, 470, 411, 472, 794, 311, 308, 309, 680, 473, 471, 389, 681, 468, 472, 171, 369, 794, 418, 310, 473, 778, 794, 506, 311, 311, 794, 706, 389, 794, 474, 550, 479, 703, 794, 794, 470, 411, 778, 419, 471, 474, 779, 794, 551, 554, 311, 309, 309, 555, 552, 794, 794, 389, 704, 473, 132, 460, 794, 779, 313, 273, 274, 720, 794, 314, 314, 794, 794, 389, 182, 553, 559, 560, 275, 794, 474, 559, 560, 778, 276, 412, 794, 794, 721, 561, 412, 314, 308, 309, 561, 562, 794, 794, 628, 794, 562, 202, 723, 794, 779, 372, 273, 274, 527, 794, 311, 311, 794, 794, 417, 182, 563, 560, 560, 275, 794, 563, 289, 222, 789, 276, 350, 794, 794, 528, 564, 359, 311, 308, 309, 360, 565, 794, 794, 556, 794, 291, 171, 744, 794, 769, 310, 180, 181, 742, 794, 311, 311, 794, 794, 417, 182, 468, 559, 560, 183, 794, 292, 559, 560, 789, 184, 412, 794, 794, 672, 561, 412, 311, 320, 204, 561, 562, 794, 794, 417, 794, 562, 377, 493, 794, 769, 378, 180, 181, 756, 794, 322, 323, 794, 794, 794, 182, 563, 567, 568, 183, 794, 563, 410, 411, 794, 184, 412, 794, 794, 757, 569, 483, 324, 381, 382, 484, 570, 794, 794, 680, 794, 414, 383, 759, 794, 794, 384, 273, 274, 573, 794, 385, 386, 794, 794, 794, 182, 571, 576, 493, 275, 794, 415, 421, 293, 794, 276, 577, 794, 794, 574, 578, 488, 387, 258, 204, 489, 579, 794, 794, 628, 794, 423, 326, 781, 794, 794, 327, 273, 274, 778, 794, 260, 261, 794, 794, 794, 182, 580, 492, 493, 275, 794, 424, 492, 493, 794, 276, 494, 794, 794, 779, 495, 494, 262, 333, 263, 495, 496, 794, 794, 680, 794, 496, 399, 791, 794, 794, 400, 342, 343, 789, 794, 335, 336, 794, 794, 794, 182, 497, 493, 493, 344, 794, 497, 584, 585, 794, 345, 417, 794, 794, 769, 581, 494, 337, 308, 309, 586, 582, 794, 794, 794, 794, 587, 202, 794, 794, 794, 372, 342, 343, 794, 794, 311, 311, 794, 794, 794, 182, 419, 492, 493, 344, 794, 588, 492, 493, 794, 345, 589, 794, 794, 794, 590, 494, 311, 308, 309, 495, 496, 794, 794, 794, 794, 496, 171, 794, 794, 794, 310, 273, 274, 794, 794, 311, 311, 794, 794, 794, 182, 497, 492, 493, 275, 794, 497, 649, 560, 794, 276, 494, 794, 794, 794, 495, 471, 311, 433, 382, 650, 496, 794, 794, 794, 794, 651, 434, 794, 794, 794, 435, 273, 274, 794, 794, 436, 437, 794, 794, 794, 182, 497, 649, 560, 275, 794, 652, 354, 222, 794, 276, 471, 794, 794, 794, 650, 406, 438, 320, 204, 407, 651, 794, 794, 794, 794, 356, 377, 794, 794, 794, 378, 342, 343, 794, 794, 322, 323, 794, 794, 794, 182, 652, 654, 568, 344, 794, 357, 470, 411, 794, 345, 471, 794, 794, 794, 655, 554, 324, 381, 382, 555, 656, 794, 794, 794, 794, 473, 383, 794, 794, 794, 384, 342, 343, 794, 794, 385, 386, 794, 794, 794, 182, 657, 470, 411, 344, 794, 474, 559, 560, 794, 345, 471, 794, 794, 794, 472, 412, 387, 381, 382, 561, 473, 794, 794, 794, 794, 562, 383, 794, 794, 794, 384, 273, 274, 794, 794, 385, 386, 794, 794, 794, 182, 474, 559, 560, 275, 794, 563, 560, 560, 794, 276, 412, 794, 794, 794, 561, 350, 387, 382, 382, 564, 562, 794, 794, 794, 794, 565, 316, 794, 794, 794, 439, 273, 274, 794, 794, 440, 441, 794, 794, 794, 182, 563, 559, 560, 275, 794, 468, 559, 560, 794, 276, 483, 794, 794, 794, 661, 412, 442, 444, 445, 561, 562, 794, 794, 794, 794, 562, 383, 794, 794, 794, 446, 342, 343, 794, 794, 447, 448, 794, 794, 794, 182, 563, 559, 560, 344, 794, 563, 664, 665, 794, 345, 412, 794, 794, 794, 561, 412, 449, 381, 382, 666, 562, 794, 794, 794, 794, 667, 450, 794, 794, 794, 451, 342, 343, 794, 794, 385, 386, 794, 794, 794, 182, 563, 664, 665, 344, 794, 668, 665, 665, 794, 345, 412, 794, 794, 794, 666, 350, 387, 381, 382, 670, 667, 794, 794, 794, 794, 671, 383, 794, 794, 794, 384, 342, 343, 794, 794, 385, 386, 794, 794, 794, 182, 668, 410, 411, 344, 794, 672, 664, 665, 794, 345, 483, 794, 794, 794, 484, 412, 387, 381, 382, 666, 414, 794, 794, 794, 794, 667, 383, 794, 794, 794, 384, 342, 343, 794, 794, 385, 386, 794, 794, 794, 182, 415, 664, 665, 344, 794, 668, 576, 493, 794, 345, 412, 794, 794, 794, 666, 577, 387, 381, 382, 578, 667, 794, 794, 794, 794, 579, 383, 794, 794, 794, 384, 794, 794, 794, 794, 385, 386, 794, 794, 794, 794, 668, 576, 493, 794, 794, 580, 674, 585, 794, 794, 577, 794, 794, 794, 578, 577, 387, 393, 263, 675, 579, 794, 794, 794, 794, 676, 455, 794, 794, 794, 456, 794, 794, 794, 794, 395, 396, 794, 794, 794, 794, 580, 576, 493, 794, 794, 677, 683, 684, 794, 794, 678, 794, 794, 794, 679, 494, 397, 459, 460, 685, 579, 794, 794, 794, 794, 686, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 580, 683, 684, 794, 794, 687, 684, 684, 794, 794, 494, 794, 794, 794, 685, 417, 465, 333, 263, 688, 686, 794, 794, 794, 794, 689, 399, 794, 794, 794, 400, 794, 794, 794, 794, 335, 336, 794, 794, 794, 794, 687, 366, 293, 794, 794, 574, 683, 684, 794, 794, 426, 794, 794, 794, 427, 494, 337, 433, 382, 685, 368, 794, 794, 794, 794, 686, 434, 794, 794, 794, 435, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 369, 683, 684, 794, 794, 687, 691, 692, 794, 794, 494, 794, 794, 794, 685, 494, 438, 433, 382, 693, 686, 794, 794, 794, 794, 694, 434, 794, 794, 794, 435, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 687, 492, 493, 794, 794, 695, 649, 560, 794, 794, 589, 794, 794, 794, 590, 471, 438, 499, 445, 650, 496, 794, 794, 794, 794, 651, 434, 794, 794, 794, 500, 794, 794, 794, 794, 501, 502, 794, 794, 794, 794, 497, 649, 560, 794, 794, 652, 649, 560, 794, 794, 471, 794, 794, 794, 650, 554, 503, 433, 382, 736, 651, 794, 794, 794, 794, 651, 504, 794, 794, 794, 505, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 652, 738, 665, 794, 794, 652, 738, 665, 794, 794, 471, 794, 794, 794, 739, 471, 438, 433, 382, 739, 740, 794, 794, 794, 794, 740, 434, 794, 794, 794, 435, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 741, 470, 411, 794, 794, 741, 559, 560, 794, 794, 554, 794, 794, 794, 555, 483, 438, 169, 170, 661, 473, 794, 794, 794, 794, 562, 171, 794, 794, 794, 172, 794, 794, 794, 794, 173, 173, 794, 794, 794, 794, 474, 649, 560, 794, 794, 563, 664, 665, 794, 794, 471, 794, 794, 794, 650, 412, 173, 169, 170, 666, 651, 794, 794, 794, 794, 667, 171, 794, 794, 794, 172, 794, 794, 794, 794, 173, 173, 794, 794, 794, 794, 652, 664, 665, 794, 794, 668, 665, 665, 794, 794, 412, 794, 794, 794, 666, 350, 173, 509, 510, 670, 667, 794, 794, 794, 794, 671, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 668, 664, 665, 794, 794, 672, 664, 665, 794, 794, 483, 794, 794, 794, 743, 412, 514, 509, 510, 666, 667, 794, 794, 794, 794, 667, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 668, 664, 665, 794, 794, 668, 746, 684, 794, 794, 412, 794, 794, 794, 666, 577, 514, 510, 510, 747, 667, 794, 794, 794, 794, 748, 316, 794, 794, 794, 515, 794, 794, 794, 794, 516, 517, 794, 794, 794, 794, 668, 746, 684, 794, 794, 749, 421, 293, 794, 794, 577, 794, 794, 794, 747, 488, 518, 258, 204, 489, 748, 794, 794, 794, 794, 423, 326, 794, 794, 794, 327, 794, 794, 794, 794, 260, 261, 794, 794, 794, 794, 749, 751, 692, 794, 794, 424, 576, 493, 794, 794, 577, 794, 794, 794, 752, 678, 262, 509, 510, 679, 753, 794, 794, 794, 794, 579, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 754, 576, 493, 794, 794, 580, 683, 684, 794, 794, 577, 794, 794, 794, 578, 494, 514, 509, 510, 685, 579, 794, 794, 794, 794, 686, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 580, 683, 684, 794, 794, 687, 684, 684, 794, 794, 494, 794, 794, 794, 685, 417, 514, 509, 510, 688, 686, 794, 794, 794, 794, 689, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 687, 683, 684, 794, 794, 574, 683, 684, 794, 794, 589, 794, 794, 794, 758, 494, 514, 520, 521, 685, 686, 794, 794, 794, 794, 686, 383, 794, 794, 794, 522, 794, 794, 794, 794, 523, 524, 794, 794, 794, 794, 687, 683, 684, 794, 794, 687, 761, 762, 794, 794, 494, 794, 794, 794, 685, 494, 525, 381, 382, 763, 686, 794, 794, 794, 794, 764, 450, 794, 794, 794, 451, 794, 794, 794, 794, 385, 386, 794, 794, 794, 794, 687, 761, 762, 794, 794, 765, 762, 762, 794, 794, 494, 794, 794, 794, 763, 417, 387, 530, 460, 767, 764, 794, 794, 794, 794, 768, 531, 794, 794, 794, 532, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 765, 492, 493, 794, 794, 769, 761, 762, 794, 794, 589, 794, 794, 794, 590, 494, 535, 393, 263, 763, 496, 794, 794, 794, 794, 764, 455, 794, 794, 794, 456, 794, 794, 794, 794, 395, 396, 794, 794, 794, 794, 497, 761, 762, 794, 794, 765, 649, 560, 794, 794, 494, 794, 794, 794, 763, 554, 397, 459, 460, 736, 764, 794, 794, 794, 794, 651, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 765, 738, 665, 794, 794, 652, 738, 665, 794, 794, 471, 794, 794, 794, 739, 471, 465, 459, 460, 739, 740, 794, 794, 794, 794, 740, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 741, 738, 665, 794, 794, 741, 664, 665, 794, 794, 554, 794, 794, 794, 782, 483, 465, 460, 460, 743, 740, 794, 794, 794, 794, 667, 389, 794, 794, 794, 536, 794, 794, 794, 794, 537, 538, 794, 794, 794, 794, 741, 738, 665, 794, 794, 668, 746, 684, 794, 794, 471, 794, 794, 794, 739, 577, 539, 541, 542, 747, 740, 794, 794, 794, 794, 748, 461, 794, 794, 794, 543, 794, 794, 794, 794, 544, 545, 794, 794, 794, 794, 741, 746, 684, 794, 794, 749, 746, 684, 794, 794, 577, 794, 794, 794, 747, 678, 546, 459, 460, 783, 748, 794, 794, 794, 794, 748, 547, 794, 794, 794, 548, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 749, 785, 762, 794, 794, 749, 785, 762, 794, 794, 577, 794, 794, 794, 786, 577, 465, 459, 460, 786, 787, 794, 794, 794, 794, 787, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 788, 576, 493, 794, 794, 788, 683, 684, 794, 794, 678, 794, 794, 794, 679, 589, 465, 459, 460, 758, 579, 794, 794, 794, 794, 686, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 580, 746, 684, 794, 794, 687, 761, 762, 794, 794, 577, 794, 794, 794, 747, 494, 465, 459, 460, 763, 748, 794, 794, 794, 794, 764, 461, 794, 794, 794, 462, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 749, 761, 762, 794, 794, 765, 762, 762, 794, 794, 494, 794, 794, 794, 763, 417, 465, 592, 510, 767, 764, 794, 794, 794, 794, 768, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 765, 761, 762, 794, 794, 769, 761, 762, 794, 794, 589, 794, 794, 794, 790, 494, 596, 592, 510, 763, 764, 794, 794, 794, 794, 764, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 765, 761, 762, 794, 794, 765, 738, 665, 794, 794, 494, 794, 794, 794, 763, 554, 596, 320, 204, 782, 764, 794, 794, 794, 794, 740, 377, 794, 794, 794, 378, 794, 794, 794, 794, 322, 323, 794, 794, 794, 794, 765, 746, 684, 794, 794, 741, 785, 762, 794, 794, 678, 794, 794, 794, 783, 577, 324, 592, 510, 786, 748, 794, 794, 794, 794, 787, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 749, 785, 762, 794, 794, 788, 785, 762, 794, 794, 577, 794, 794, 794, 786, 678, 596, 242, 243, 793, 787, 794, 794, 794, 794, 787, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 788, 761, 762, 794, 794, 788, 785, 762, 794, 794, 589, 794, 794, 794, 790, 577, 245, 242, 243, 786, 764, 794, 794, 794, 794, 787, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 765, 785, 762, 794, 794, 788, 794, 794, 794, 794, 678, 794, 794, 794, 793, 794, 245, 598, 521, 794, 787, 794, 794, 794, 794, 794, 434, 794, 794, 794, 599, 794, 794, 794, 794, 600, 601, 794, 794, 794, 794, 788, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 602, 433, 382, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 505, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 438, 433, 382, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 435, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 438, 509, 510, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 509, 510, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 510, 510, 794, 794, 794, 794, 794, 794, 794, 316, 794, 794, 794, 515, 794, 794, 794, 794, 516, 517, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 518, 509, 510, 794, 794, 794, 794, 794, 794, 794, 450, 794, 794, 794, 606, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 509, 510, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 509, 510, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 509, 510, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 511, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 610, 610, 794, 794, 794, 794, 794, 794, 794, 316, 794, 794, 794, 616, 794, 794, 794, 794, 617, 618, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 619, 381, 382, 794, 794, 794, 794, 794, 794, 794, 450, 794, 794, 794, 451, 794, 794, 794, 794, 385, 386, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 387, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 530, 460, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 532, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 530, 460, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 532, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 621, 542, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 622, 794, 794, 794, 794, 623, 624, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 625, 530, 460, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 627, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 530, 460, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 532, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 169, 170, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 172, 794, 794, 794, 794, 173, 173, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 173, 169, 170, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 172, 794, 794, 794, 794, 173, 173, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 173, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 632, 632, 794, 794, 794, 794, 794, 794, 794, 389, 794, 794, 794, 637, 794, 794, 794, 794, 638, 639, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 640, 333, 263, 794, 794, 794, 794, 794, 794, 794, 399, 794, 794, 794, 400, 794, 794, 794, 794, 335, 336, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 337, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 642, 643, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 644, 794, 794, 794, 794, 645, 646, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 647, 459, 460, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 548, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 465, 592, 510, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 592, 510, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 592, 510, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 696, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 592, 510, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 433, 382, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 505, 794, 794, 794, 794, 436, 437, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 438, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 509, 510, 794, 794, 794, 794, 794, 794, 794, 450, 794, 794, 794, 606, 794, 794, 794, 794, 512, 513, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 514, 592, 510, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 593, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 610, 610, 794, 794, 794, 794, 794, 794, 794, 316, 794, 794, 794, 616, 794, 794, 794, 794, 617, 618, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 619, 609, 610, 794, 794, 794, 794, 794, 794, 794, 450, 794, 794, 794, 705, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 609, 610, 794, 794, 794, 794, 794, 794, 794, 383, 794, 794, 794, 611, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 393, 263, 794, 794, 794, 794, 794, 794, 794, 455, 794, 794, 794, 456, 794, 794, 794, 794, 395, 396, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 397, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 714, 643, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 715, 794, 794, 794, 794, 716, 717, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 718, 530, 460, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 627, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 530, 460, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 532, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 632, 632, 794, 794, 794, 794, 794, 794, 794, 389, 794, 794, 794, 637, 794, 794, 794, 794, 638, 639, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 640, 631, 632, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 722, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 631, 632, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 633, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 726, 726, 794, 794, 794, 794, 794, 794, 794, 389, 794, 794, 794, 732, 794, 794, 794, 794, 733, 734, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 735, 459, 460, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 548, 794, 794, 794, 794, 463, 464, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 465, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 592, 510, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 696, 794, 794, 794, 794, 594, 595, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 596, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 698, 610, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 770, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 609, 610, 794, 794, 794, 794, 794, 794, 794, 450, 794, 794, 794, 705, 794, 794, 794, 794, 612, 613, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 614, 698, 610, 794, 794, 794, 794, 794, 794, 794, 434, 794, 794, 794, 699, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 708, 632, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 771, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 242, 243, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 244, 794, 794, 794, 794, 245, 245, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 245, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 530, 460, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 627, 794, 794, 794, 794, 533, 534, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 535, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 631, 632, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 722, 794, 794, 794, 794, 634, 635, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 636, 708, 632, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 709, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 726, 726, 794, 794, 794, 794, 794, 794, 794, 389, 794, 794, 794, 732, 794, 794, 794, 794, 733, 734, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 735, 725, 726, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 780, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 725, 726, 794, 794, 794, 794, 794, 794, 794, 461, 794, 794, 794, 727, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 698, 610, 794, 794, 794, 794, 794, 794, 794, 504, 794, 794, 794, 770, 794, 794, 794, 794, 700, 701, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 702, 708, 632, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 771, 794, 794, 794, 794, 710, 711, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 712, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 773, 726, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 792, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 308, 309, 794, 794, 794, 794, 794, 794, 794, 171, 794, 794, 794, 310, 794, 794, 794, 794, 311, 311, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 311, 725, 726, 794, 794, 794, 794, 794, 794, 794, 547, 794, 794, 794, 780, 794, 794, 794, 794, 728, 729, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 730, 773, 726, 794, 794, 794, 794, 794, 794, 794, 531, 794, 794, 794, 774, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 773, 726, 794, 794, 794, 794, 794, 794, 794, 626, 794, 794, 794, 792, 794, 794, 794, 794, 775, 776, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 777, 52, 52, 52, 52, 52, 52, 52, 55, 55, 55, 794, 55, 55, 55, 69, 794, 69, 77, 77, 794, 77, 77, 77, 81, 794, 81, 86, 86, 794, 86, 794, 86, 103, 103, 103, 103, 103, 103, 103, 105, 105, 794, 105, 105, 105, 105, 126, 126, 126, 126, 126, 126, 126, 131, 131, 131, 131, 131, 131, 131, 133, 133, 133, 133, 133, 133, 133, 141, 141, 141, 141, 141, 141, 141, 143, 143, 143, 143, 143, 143, 143, 149, 149, 149, 149, 149, 149, 149, 152, 152, 152, 152, 152, 152, 152, 159, 159, 159, 159, 159, 159, 159, 167, 167, 167, 167, 167, 167, 167, 168, 168, 168, 168, 168, 168, 168, 178, 178, 178, 178, 178, 178, 178, 179, 179, 179, 179, 179, 179, 179, 188, 188, 188, 188, 188, 188, 188, 197, 197, 197, 197, 197, 197, 197, 215, 215, 215, 215, 215, 215, 215, 229, 229, 229, 229, 229, 229, 229, 231, 231, 231, 231, 231, 231, 231, 234, 234, 234, 234, 234, 234, 234, 241, 241, 241, 241, 241, 241, 241, 248, 248, 248, 248, 248, 248, 248, 255, 255, 255, 255, 255, 255, 255, 257, 257, 257, 257, 257, 257, 257, 272, 272, 272, 272, 272, 272, 272, 279, 279, 279, 279, 279, 279, 279, 286, 286, 286, 286, 286, 286, 286, 288, 288, 288, 288, 288, 288, 288, 298, 298, 298, 298, 298, 298, 298, 299, 299, 299, 299, 299, 299, 299, 301, 301, 301, 301, 301, 301, 301, 304, 304, 304, 304, 304, 304, 304, 307, 307, 307, 307, 307, 307, 307, 312, 312, 312, 312, 312, 312, 312, 315, 315, 315, 315, 315, 315, 315, 319, 319, 319, 319, 319, 319, 319, 325, 325, 325, 325, 325, 325, 325, 330, 330, 330, 330, 330, 330, 330, 332, 332, 332, 332, 332, 332, 332, 338, 338, 338, 338, 338, 338, 338, 341, 341, 341, 341, 341, 341, 341, 346, 346, 346, 346, 346, 346, 346, 349, 349, 349, 349, 349, 349, 349, 353, 353, 353, 353, 353, 353, 353, 358, 358, 358, 358, 358, 358, 358, 363, 363, 363, 363, 363, 363, 363, 365, 365, 365, 365, 365, 365, 365, 370, 370, 370, 370, 370, 370, 370, 371, 371, 371, 371, 371, 371, 371, 374, 374, 374, 374, 374, 374, 374, 379, 379, 379, 379, 379, 379, 379, 380, 380, 380, 380, 380, 380, 380, 388, 388, 388, 388, 388, 388, 388, 392, 392, 392, 392, 392, 392, 392, 398, 398, 398, 398, 398, 398, 398, 403, 403, 403, 403, 403, 403, 403, 141, 141, 141, 141, 141, 141, 141, 143, 143, 143, 143, 143, 143, 143, 408, 408, 408, 408, 408, 408, 408, 409, 409, 409, 409, 409, 409, 409, 416, 416, 416, 416, 416, 416, 416, 420, 420, 420, 420, 420, 420, 420, 425, 425, 425, 425, 425, 425, 425, 428, 428, 428, 428, 428, 428, 428, 429, 429, 429, 429, 429, 429, 429, 167, 167, 167, 167, 167, 167, 167, 432, 432, 432, 432, 432, 432, 432, 443, 443, 443, 443, 443, 443, 443, 452, 452, 452, 452, 452, 452, 452, 457, 457, 457, 457, 457, 457, 457, 458, 458, 458, 458, 458, 458, 458, 466, 466, 466, 466, 466, 466, 466, 178, 178, 178, 178, 178, 178, 178, 469, 469, 469, 469, 469, 469, 469, 477, 477, 477, 477, 477, 477, 477, 485, 485, 485, 485, 485, 485, 485, 490, 490, 490, 490, 490, 490, 490, 491, 491, 491, 491, 491, 491, 491, 498, 498, 498, 498, 498, 498, 498, 168, 168, 168, 168, 168, 168, 168, 508, 508, 508, 508, 508, 508, 508, 257, 257, 257, 257, 257, 257, 257, 519, 519, 519, 519, 519, 519, 519, 526, 526, 526, 526, 526, 526, 526, 529, 529, 529, 529, 529, 529, 529, 540, 540, 540, 540, 540, 540, 540, 549, 549, 549, 549, 549, 549, 549, 179, 179, 179, 179, 179, 179, 179, 558, 558, 558, 558, 558, 558, 558, 288, 288, 288, 288, 288, 288, 288, 566, 566, 566, 566, 566, 566, 566, 572, 572, 572, 572, 572, 572, 572, 575, 575, 575, 575, 575, 575, 575, 583, 583, 583, 583, 583, 583, 583, 591, 591, 591, 591, 591, 591, 591, 319, 319, 319, 319, 319, 319, 319, 241, 241, 241, 241, 241, 241, 241, 597, 597, 597, 597, 597, 597, 597, 603, 603, 603, 603, 603, 603, 603, 608, 608, 608, 608, 608, 608, 608, 615, 615, 615, 615, 615, 615, 615, 620, 620, 620, 620, 620, 620, 620, 630, 630, 630, 630, 630, 630, 630, 332, 332, 332, 332, 332, 332, 332, 641, 641, 641, 641, 641, 641, 641, 648, 648, 648, 648, 648, 648, 648, 353, 353, 353, 353, 353, 353, 353, 272, 272, 272, 272, 272, 272, 272, 653, 653, 653, 653, 653, 653, 653, 658, 658, 658, 658, 658, 658, 658, 663, 663, 663, 663, 663, 663, 663, 669, 669, 669, 669, 669, 669, 669, 673, 673, 673, 673, 673, 673, 673, 179, 179, 179, 179, 179, 179, 179, 682, 682, 682, 682, 682, 682, 682, 365, 365, 365, 365, 365, 365, 365, 690, 690, 690, 690, 690, 690, 690, 697, 697, 697, 697, 697, 697, 697, 307, 307, 307, 307, 307, 307, 307, 312, 312, 312, 312, 312, 312, 312, 707, 707, 707, 707, 707, 707, 707, 392, 392, 392, 392, 392, 392, 392, 713, 713, 713, 713, 713, 713, 713, 719, 719, 719, 719, 719, 719, 719, 724, 724, 724, 724, 724, 724, 724, 731, 731, 731, 731, 731, 731, 731, 737, 737, 737, 737, 737, 737, 737, 341, 341, 341, 341, 341, 341, 341, 346, 346, 346, 346, 346, 346, 346, 745, 745, 745, 745, 745, 745, 745, 420, 420, 420, 420, 420, 420, 420, 750, 750, 750, 750, 750, 750, 750, 755, 755, 755, 755, 755, 755, 755, 760, 760, 760, 760, 760, 760, 760, 766, 766, 766, 766, 766, 766, 766, 772, 772, 772, 772, 772, 772, 772, 784, 784, 784, 784, 784, 784, 784, 11, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794 } ; static yyconst flex_int16_t yy_chk[9806] = { 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 4, 4, 6, 2, 8, 4, 10, 6, 13, 8, 13, 10, 16, 18, 21, 23, 23, 23, 23, 27, 27, 29, 29, 812, 35, 21, 35, 18, 3, 35, 4, 5, 5, 5, 5, 5, 5, 5, 16, 811, 5, 5, 5, 5, 5, 5, 5, 5, 5, 7, 7, 7, 7, 7, 7, 7, 805, 22, 7, 7, 7, 7, 7, 7, 7, 7, 9, 22, 22, 34, 9, 9, 9, 9, 9, 9, 9, 80, 80, 9, 9, 9, 9, 9, 9, 9, 9, 24, 52, 34, 41, 24, 76, 41, 39, 39, 76, 804, 49, 24, 25, 49, 25, 25, 25, 25, 50, 39, 50, 803, 47, 47, 39, 39, 52, 25, 25, 25, 60, 60, 60, 60, 25, 47, 789, 61, 25, 25, 26, 47, 26, 26, 26, 26, 39, 61, 85, 779, 48, 48, 85, 63, 63, 26, 26, 54, 164, 79, 63, 79, 26, 48, 63, 778, 26, 40, 40, 48, 54, 54, 54, 62, 56, 62, 62, 62, 62, 164, 40, 56, 89, 89, 48, 40, 40, 56, 56, 56, 188, 66, 66, 90, 72, 54, 72, 769, 66, 72, 104, 40, 66, 88, 104, 88, 112, 40, 112, 75, 75, 188, 56, 57, 57, 57, 57, 84, 84, 90, 768, 113, 75, 57, 57, 113, 57, 75, 75, 91, 84, 757, 92, 57, 119, 93, 84, 756, 119, 91, 91, 91, 92, 92, 92, 93, 93, 93, 118, 75, 118, 124, 124, 124, 124, 91, 97, 156, 92, 98, 156, 93, 97, 97, 97, 98, 98, 98, 99, 137, 742, 137, 117, 117, 99, 99, 99, 101, 101, 107, 107, 101, 101, 101, 101, 117, 107, 111, 111, 122, 107, 117, 120, 735, 132, 122, 122, 122, 132, 147, 111, 147, 120, 120, 120, 111, 111, 734, 128, 128, 138, 138, 142, 148, 148, 128, 142, 163, 120, 128, 163, 143, 143, 193, 133, 133, 721, 111, 125, 125, 125, 125, 134, 134, 143, 720, 704, 133, 703, 125, 143, 125, 133, 133, 193, 134, 144, 144, 125, 165, 134, 134, 175, 165, 689, 672, 175, 136, 136, 144, 671, 660, 659, 640, 133, 144, 146, 146, 145, 145, 136, 639, 134, 135, 135, 136, 136, 145, 619, 146, 618, 145, 135, 150, 150, 146, 135, 145, 155, 155, 605, 135, 135, 157, 157, 604, 150, 136, 160, 160, 582, 155, 574, 162, 162, 573, 157, 160, 166, 166, 192, 160, 565, 135, 153, 153, 162, 160, 176, 176, 186, 166, 155, 153, 186, 161, 161, 153, 192, 174, 174, 176, 153, 153, 161, 194, 539, 162, 161, 194, 177, 177, 174, 538, 161, 528, 195, 174, 174, 192, 195, 527, 176, 177, 153, 154, 154, 179, 179, 185, 185, 206, 180, 180, 154, 234, 179, 518, 154, 174, 179, 180, 185, 154, 154, 180, 179, 517, 185, 181, 181, 180, 206, 212, 490, 213, 234, 212, 181, 213, 187, 187, 181, 182, 182, 154, 168, 168, 181, 185, 228, 487, 182, 187, 228, 168, 182, 183, 183, 168, 184, 184, 182, 230, 168, 168, 183, 230, 486, 184, 183, 204, 204, 184, 187, 476, 183, 468, 467, 184, 457, 205, 222, 222, 204, 205, 168, 169, 169, 204, 204, 205, 454, 239, 223, 222, 169, 239, 223, 231, 169, 222, 210, 210, 223, 169, 169, 453, 253, 265, 442, 204, 205, 211, 211, 210, 232, 231, 253, 246, 210, 210, 222, 246, 441, 223, 211, 169, 170, 170, 265, 211, 211, 431, 232, 215, 215, 170, 231, 253, 430, 170, 210, 428, 215, 256, 170, 170, 215, 256, 425, 419, 270, 211, 215, 232, 270, 418, 216, 216, 277, 226, 226, 408, 277, 405, 284, 216, 170, 171, 171, 216, 217, 217, 226, 287, 284, 216, 171, 287, 226, 217, 171, 218, 218, 217, 233, 171, 171, 300, 404, 217, 218, 300, 219, 219, 218, 284, 238, 220, 220, 226, 218, 219, 233, 398, 301, 219, 220, 171, 172, 172, 220, 219, 227, 227, 238, 391, 220, 172, 390, 221, 221, 172, 301, 233, 379, 227, 172, 172, 221, 376, 264, 227, 221, 302, 264, 238, 375, 303, 221, 371, 264, 254, 254, 301, 370, 363, 358, 352, 172, 173, 173, 302, 227, 315, 254, 303, 257, 257, 173, 254, 254, 264, 173, 315, 258, 258, 313, 173, 173, 257, 313, 351, 302, 348, 257, 257, 303, 258, 346, 260, 260, 254, 258, 258, 315, 338, 330, 261, 261, 173, 197, 197, 260, 325, 262, 262, 257, 260, 260, 197, 261, 318, 317, 197, 258, 261, 261, 262, 197, 197, 331, 347, 262, 262, 331, 347, 271, 271, 364, 260, 263, 263, 364, 269, 269, 271, 314, 261, 312, 271, 197, 198, 198, 263, 262, 271, 269, 328, 263, 263, 198, 269, 269, 304, 198, 272, 272, 328, 299, 198, 198, 298, 296, 286, 272, 278, 273, 273, 272, 268, 263, 274, 274, 269, 272, 273, 255, 247, 328, 273, 274, 198, 199, 199, 274, 273, 237, 229, 225, 214, 274, 199, 209, 275, 275, 199, 276, 276, 279, 279, 199, 199, 275, 196, 294, 276, 275, 279, 294, 276, 191, 279, 275, 178, 294, 276, 167, 279, 280, 280, 281, 281, 199, 200, 200, 282, 282, 280, 159, 281, 349, 280, 200, 281, 282, 294, 200, 280, 282, 281, 349, 200, 200, 158, 282, 152, 151, 283, 283, 285, 285, 149, 141, 140, 139, 131, 283, 288, 288, 130, 283, 349, 285, 200, 201, 201, 283, 129, 285, 126, 288, 289, 289, 201, 356, 356, 288, 201, 116, 290, 290, 316, 201, 201, 289, 316, 115, 356, 290, 285, 289, 316, 290, 356, 291, 291, 114, 288, 290, 110, 109, 108, 292, 292, 201, 202, 202, 291, 103, 293, 293, 289, 316, 291, 202, 292, 297, 297, 202, 290, 96, 292, 293, 202, 202, 357, 357, 86, 293, 297, 83, 82, 77, 71, 291, 297, 70, 68, 357, 319, 319, 67, 292, 58, 357, 202, 203, 203, 55, 293, 320, 320, 319, 322, 322, 203, 297, 319, 319, 203, 45, 339, 339, 320, 203, 203, 322, 44, 320, 320, 339, 322, 322, 38, 339, 33, 323, 323, 32, 319, 339, 31, 28, 20, 324, 324, 203, 240, 240, 323, 320, 329, 329, 322, 323, 323, 240, 324, 19, 17, 240, 15, 324, 324, 329, 240, 240, 11, 0, 329, 329, 0, 0, 340, 340, 0, 323, 332, 332, 0, 333, 333, 340, 0, 324, 0, 340, 240, 241, 241, 332, 329, 340, 333, 0, 332, 332, 241, 333, 333, 0, 241, 0, 335, 335, 0, 241, 241, 350, 361, 0, 0, 350, 336, 336, 0, 335, 332, 350, 361, 333, 335, 335, 0, 0, 374, 336, 0, 241, 242, 242, 336, 336, 337, 337, 374, 341, 341, 242, 350, 361, 0, 242, 335, 388, 341, 337, 242, 242, 341, 0, 337, 337, 336, 388, 341, 374, 0, 0, 342, 342, 353, 353, 0, 0, 0, 0, 403, 342, 242, 243, 243, 342, 337, 353, 388, 0, 403, 342, 243, 353, 343, 343, 243, 344, 344, 345, 345, 243, 243, 343, 0, 0, 344, 343, 345, 0, 344, 403, 345, 343, 353, 0, 344, 0, 345, 354, 354, 355, 355, 243, 244, 244, 0, 0, 0, 416, 355, 0, 354, 244, 355, 359, 359, 244, 354, 416, 355, 0, 244, 244, 359, 429, 440, 0, 359, 360, 360, 0, 0, 0, 359, 429, 440, 0, 360, 354, 416, 355, 360, 0, 244, 245, 245, 0, 360, 362, 362, 0, 365, 365, 245, 359, 429, 440, 245, 0, 366, 366, 362, 245, 245, 365, 0, 0, 362, 360, 389, 365, 452, 366, 389, 367, 367, 368, 368, 366, 389, 0, 452, 466, 367, 245, 248, 248, 367, 362, 368, 0, 365, 466, 367, 248, 368, 369, 369, 248, 366, 389, 0, 452, 248, 248, 423, 423, 0, 0, 369, 392, 392, 0, 466, 367, 369, 368, 0, 423, 393, 393, 0, 0, 392, 423, 248, 249, 249, 392, 392, 395, 395, 393, 396, 396, 249, 369, 393, 393, 249, 0, 424, 424, 395, 249, 249, 396, 0, 395, 395, 392, 396, 396, 485, 424, 0, 397, 397, 0, 393, 424, 0, 0, 485, 0, 0, 249, 250, 250, 397, 395, 0, 0, 396, 397, 397, 250, 0, 401, 401, 250, 402, 402, 0, 485, 250, 250, 401, 516, 0, 402, 401, 406, 406, 402, 0, 397, 401, 516, 0, 402, 406, 0, 407, 407, 406, 0, 250, 251, 251, 417, 406, 407, 526, 417, 0, 407, 251, 0, 516, 417, 251, 407, 526, 0, 439, 251, 251, 0, 439, 537, 0, 406, 409, 409, 439, 0, 0, 410, 410, 537, 417, 409, 407, 526, 0, 409, 410, 251, 252, 252, 410, 409, 0, 0, 475, 439, 410, 252, 475, 0, 537, 252, 473, 473, 475, 0, 252, 252, 0, 0, 572, 473, 409, 411, 411, 473, 0, 410, 412, 412, 572, 473, 411, 0, 0, 475, 411, 412, 252, 259, 259, 412, 411, 603, 615, 506, 0, 412, 259, 506, 0, 572, 259, 603, 615, 506, 515, 259, 259, 0, 515, 0, 0, 411, 413, 413, 515, 0, 412, 414, 414, 420, 420, 413, 603, 615, 506, 413, 414, 259, 305, 305, 414, 413, 420, 617, 0, 515, 414, 305, 420, 0, 536, 305, 0, 617, 536, 0, 305, 305, 0, 0, 536, 0, 413, 415, 415, 638, 0, 414, 0, 420, 421, 421, 415, 0, 617, 638, 415, 0, 305, 306, 306, 536, 415, 421, 0, 0, 422, 422, 306, 421, 0, 658, 306, 474, 474, 422, 638, 306, 306, 422, 0, 658, 474, 415, 556, 422, 474, 0, 556, 0, 421, 0, 474, 0, 556, 426, 426, 669, 0, 306, 307, 307, 658, 0, 426, 0, 422, 669, 426, 307, 0, 427, 427, 307, 426, 556, 0, 564, 307, 307, 427, 564, 0, 0, 427, 469, 469, 564, 669, 0, 427, 0, 0, 0, 469, 426, 470, 470, 469, 0, 307, 308, 308, 581, 469, 470, 719, 581, 564, 470, 308, 427, 0, 581, 308, 470, 719, 0, 616, 308, 308, 0, 616, 731, 0, 469, 471, 471, 616, 0, 0, 472, 472, 731, 581, 471, 470, 719, 0, 471, 472, 308, 309, 309, 472, 471, 0, 0, 628, 616, 472, 309, 628, 0, 731, 309, 552, 552, 628, 0, 309, 309, 0, 0, 733, 552, 471, 477, 477, 552, 0, 472, 478, 478, 733, 552, 477, 0, 0, 628, 477, 478, 309, 310, 310, 478, 477, 0, 0, 637, 0, 478, 310, 637, 0, 733, 310, 553, 553, 637, 0, 310, 310, 0, 0, 755, 553, 477, 479, 479, 553, 0, 478, 480, 480, 755, 553, 479, 0, 0, 637, 479, 480, 310, 311, 311, 480, 479, 0, 0, 670, 0, 480, 311, 670, 0, 755, 311, 579, 579, 670, 0, 311, 311, 0, 0, 766, 579, 479, 481, 481, 579, 0, 480, 482, 482, 766, 579, 481, 0, 0, 670, 481, 482, 311, 321, 321, 482, 481, 0, 0, 680, 0, 482, 321, 680, 0, 766, 321, 580, 580, 680, 0, 321, 321, 0, 0, 0, 580, 481, 483, 483, 580, 0, 482, 484, 484, 0, 580, 483, 0, 0, 680, 483, 484, 321, 326, 326, 484, 483, 0, 0, 688, 0, 484, 326, 688, 0, 0, 326, 651, 651, 688, 0, 326, 326, 0, 0, 0, 651, 483, 488, 488, 651, 0, 484, 489, 489, 0, 651, 488, 0, 0, 688, 488, 489, 326, 327, 327, 489, 488, 0, 0, 732, 0, 489, 327, 732, 0, 0, 327, 652, 652, 732, 0, 327, 327, 0, 0, 0, 652, 488, 491, 491, 652, 0, 489, 492, 492, 0, 652, 491, 0, 0, 732, 491, 492, 327, 334, 334, 492, 491, 0, 0, 767, 0, 492, 334, 767, 0, 0, 334, 656, 656, 767, 0, 334, 334, 0, 0, 0, 656, 491, 493, 493, 656, 0, 492, 494, 494, 0, 656, 493, 0, 0, 767, 493, 494, 334, 372, 372, 494, 493, 0, 0, 0, 0, 494, 372, 0, 0, 0, 372, 657, 657, 0, 0, 372, 372, 0, 0, 0, 657, 493, 495, 495, 657, 0, 494, 496, 496, 0, 657, 495, 0, 0, 0, 495, 496, 372, 373, 373, 496, 495, 0, 0, 0, 0, 496, 373, 0, 0, 0, 373, 676, 676, 0, 0, 373, 373, 0, 0, 0, 676, 495, 497, 497, 676, 0, 496, 549, 549, 0, 676, 497, 0, 0, 0, 497, 549, 373, 377, 377, 549, 497, 0, 0, 0, 0, 549, 377, 0, 0, 0, 377, 677, 677, 0, 0, 377, 377, 0, 0, 0, 677, 497, 550, 550, 677, 0, 549, 551, 551, 0, 677, 550, 0, 0, 0, 550, 551, 377, 378, 378, 551, 550, 0, 0, 0, 0, 551, 378, 0, 0, 0, 378, 740, 740, 0, 0, 378, 378, 0, 0, 0, 740, 550, 554, 554, 740, 0, 551, 555, 555, 0, 740, 554, 0, 0, 0, 554, 555, 378, 380, 380, 555, 554, 0, 0, 0, 0, 555, 380, 0, 0, 0, 380, 741, 741, 0, 0, 380, 380, 0, 0, 0, 741, 554, 557, 557, 741, 0, 555, 558, 558, 0, 741, 557, 0, 0, 0, 557, 558, 380, 381, 381, 558, 557, 0, 0, 0, 0, 558, 381, 0, 0, 0, 381, 748, 748, 0, 0, 381, 381, 0, 0, 0, 748, 557, 559, 559, 748, 0, 558, 560, 560, 0, 748, 559, 0, 0, 0, 559, 560, 381, 382, 382, 560, 559, 0, 0, 0, 0, 560, 382, 0, 0, 0, 382, 749, 749, 0, 0, 382, 382, 0, 0, 0, 749, 559, 561, 561, 749, 0, 560, 562, 562, 0, 749, 561, 0, 0, 0, 561, 562, 382, 383, 383, 562, 561, 0, 0, 0, 0, 562, 383, 0, 0, 0, 383, 753, 753, 0, 0, 383, 383, 0, 0, 0, 753, 561, 563, 563, 753, 0, 562, 566, 566, 0, 753, 563, 0, 0, 0, 563, 566, 383, 384, 384, 566, 563, 0, 0, 0, 0, 566, 384, 0, 0, 0, 384, 754, 754, 0, 0, 384, 384, 0, 0, 0, 754, 563, 567, 567, 754, 0, 566, 568, 568, 0, 754, 567, 0, 0, 0, 567, 568, 384, 385, 385, 568, 567, 0, 0, 0, 0, 568, 385, 0, 0, 0, 385, 787, 787, 0, 0, 385, 385, 0, 0, 0, 787, 567, 569, 569, 787, 0, 568, 570, 570, 0, 787, 569, 0, 0, 0, 569, 570, 385, 386, 386, 570, 569, 0, 0, 0, 0, 570, 386, 0, 0, 0, 386, 788, 788, 0, 0, 386, 386, 0, 0, 0, 788, 569, 571, 571, 788, 0, 570, 575, 575, 0, 788, 571, 0, 0, 0, 571, 575, 386, 387, 387, 575, 571, 0, 0, 0, 0, 575, 387, 0, 0, 0, 387, 0, 0, 0, 0, 387, 387, 0, 0, 0, 0, 571, 576, 576, 0, 0, 575, 577, 577, 0, 0, 576, 0, 0, 0, 576, 577, 387, 394, 394, 577, 576, 0, 0, 0, 0, 577, 394, 0, 0, 0, 394, 0, 0, 0, 0, 394, 394, 0, 0, 0, 0, 576, 578, 578, 0, 0, 577, 583, 583, 0, 0, 578, 0, 0, 0, 578, 583, 394, 399, 399, 583, 578, 0, 0, 0, 0, 583, 399, 0, 0, 0, 399, 0, 0, 0, 0, 399, 399, 0, 0, 0, 0, 578, 584, 584, 0, 0, 583, 585, 585, 0, 0, 584, 0, 0, 0, 584, 585, 399, 400, 400, 585, 584, 0, 0, 0, 0, 585, 400, 0, 0, 0, 400, 0, 0, 0, 0, 400, 400, 0, 0, 0, 0, 584, 586, 586, 0, 0, 585, 587, 587, 0, 0, 586, 0, 0, 0, 586, 587, 400, 432, 432, 587, 586, 0, 0, 0, 0, 587, 432, 0, 0, 0, 432, 0, 0, 0, 0, 432, 432, 0, 0, 0, 0, 586, 588, 588, 0, 0, 587, 589, 589, 0, 0, 588, 0, 0, 0, 588, 589, 432, 433, 433, 589, 588, 0, 0, 0, 0, 589, 433, 0, 0, 0, 433, 0, 0, 0, 0, 433, 433, 0, 0, 0, 0, 588, 590, 590, 0, 0, 589, 648, 648, 0, 0, 590, 0, 0, 0, 590, 648, 433, 434, 434, 648, 590, 0, 0, 0, 0, 648, 434, 0, 0, 0, 434, 0, 0, 0, 0, 434, 434, 0, 0, 0, 0, 590, 649, 649, 0, 0, 648, 650, 650, 0, 0, 649, 0, 0, 0, 649, 650, 434, 435, 435, 650, 649, 0, 0, 0, 0, 650, 435, 0, 0, 0, 435, 0, 0, 0, 0, 435, 435, 0, 0, 0, 0, 649, 653, 653, 0, 0, 650, 654, 654, 0, 0, 653, 0, 0, 0, 653, 654, 435, 436, 436, 654, 653, 0, 0, 0, 0, 654, 436, 0, 0, 0, 436, 0, 0, 0, 0, 436, 436, 0, 0, 0, 0, 653, 655, 655, 0, 0, 654, 661, 661, 0, 0, 655, 0, 0, 0, 655, 661, 436, 437, 437, 661, 655, 0, 0, 0, 0, 661, 437, 0, 0, 0, 437, 0, 0, 0, 0, 437, 437, 0, 0, 0, 0, 655, 662, 662, 0, 0, 661, 663, 663, 0, 0, 662, 0, 0, 0, 662, 663, 437, 438, 438, 663, 662, 0, 0, 0, 0, 663, 438, 0, 0, 0, 438, 0, 0, 0, 0, 438, 438, 0, 0, 0, 0, 662, 664, 664, 0, 0, 663, 665, 665, 0, 0, 664, 0, 0, 0, 664, 665, 438, 443, 443, 665, 664, 0, 0, 0, 0, 665, 443, 0, 0, 0, 443, 0, 0, 0, 0, 443, 443, 0, 0, 0, 0, 664, 666, 666, 0, 0, 665, 667, 667, 0, 0, 666, 0, 0, 0, 666, 667, 443, 444, 444, 667, 666, 0, 0, 0, 0, 667, 444, 0, 0, 0, 444, 0, 0, 0, 0, 444, 444, 0, 0, 0, 0, 666, 668, 668, 0, 0, 667, 673, 673, 0, 0, 668, 0, 0, 0, 668, 673, 444, 445, 445, 673, 668, 0, 0, 0, 0, 673, 445, 0, 0, 0, 445, 0, 0, 0, 0, 445, 445, 0, 0, 0, 0, 668, 674, 674, 0, 0, 673, 675, 675, 0, 0, 674, 0, 0, 0, 674, 675, 445, 446, 446, 675, 674, 0, 0, 0, 0, 675, 446, 0, 0, 0, 446, 0, 0, 0, 0, 446, 446, 0, 0, 0, 0, 674, 678, 678, 0, 0, 675, 679, 679, 0, 0, 678, 0, 0, 0, 678, 679, 446, 447, 447, 679, 678, 0, 0, 0, 0, 679, 447, 0, 0, 0, 447, 0, 0, 0, 0, 447, 447, 0, 0, 0, 0, 678, 681, 681, 0, 0, 679, 682, 682, 0, 0, 681, 0, 0, 0, 681, 682, 447, 448, 448, 682, 681, 0, 0, 0, 0, 682, 448, 0, 0, 0, 448, 0, 0, 0, 0, 448, 448, 0, 0, 0, 0, 681, 683, 683, 0, 0, 682, 684, 684, 0, 0, 683, 0, 0, 0, 683, 684, 448, 449, 449, 684, 683, 0, 0, 0, 0, 684, 449, 0, 0, 0, 449, 0, 0, 0, 0, 449, 449, 0, 0, 0, 0, 683, 685, 685, 0, 0, 684, 686, 686, 0, 0, 685, 0, 0, 0, 685, 686, 449, 450, 450, 686, 685, 0, 0, 0, 0, 686, 450, 0, 0, 0, 450, 0, 0, 0, 0, 450, 450, 0, 0, 0, 0, 685, 687, 687, 0, 0, 686, 690, 690, 0, 0, 687, 0, 0, 0, 687, 690, 450, 451, 451, 690, 687, 0, 0, 0, 0, 690, 451, 0, 0, 0, 451, 0, 0, 0, 0, 451, 451, 0, 0, 0, 0, 687, 691, 691, 0, 0, 690, 692, 692, 0, 0, 691, 0, 0, 0, 691, 692, 451, 455, 455, 692, 691, 0, 0, 0, 0, 692, 455, 0, 0, 0, 455, 0, 0, 0, 0, 455, 455, 0, 0, 0, 0, 691, 693, 693, 0, 0, 692, 694, 694, 0, 0, 693, 0, 0, 0, 693, 694, 455, 456, 456, 694, 693, 0, 0, 0, 0, 694, 456, 0, 0, 0, 456, 0, 0, 0, 0, 456, 456, 0, 0, 0, 0, 693, 695, 695, 0, 0, 694, 736, 736, 0, 0, 695, 0, 0, 0, 695, 736, 456, 458, 458, 736, 695, 0, 0, 0, 0, 736, 458, 0, 0, 0, 458, 0, 0, 0, 0, 458, 458, 0, 0, 0, 0, 695, 737, 737, 0, 0, 736, 738, 738, 0, 0, 737, 0, 0, 0, 737, 738, 458, 459, 459, 738, 737, 0, 0, 0, 0, 738, 459, 0, 0, 0, 459, 0, 0, 0, 0, 459, 459, 0, 0, 0, 0, 737, 739, 739, 0, 0, 738, 743, 743, 0, 0, 739, 0, 0, 0, 739, 743, 459, 460, 460, 743, 739, 0, 0, 0, 0, 743, 460, 0, 0, 0, 460, 0, 0, 0, 0, 460, 460, 0, 0, 0, 0, 739, 744, 744, 0, 0, 743, 745, 745, 0, 0, 744, 0, 0, 0, 744, 745, 460, 461, 461, 745, 744, 0, 0, 0, 0, 745, 461, 0, 0, 0, 461, 0, 0, 0, 0, 461, 461, 0, 0, 0, 0, 744, 746, 746, 0, 0, 745, 747, 747, 0, 0, 746, 0, 0, 0, 746, 747, 461, 462, 462, 747, 746, 0, 0, 0, 0, 747, 462, 0, 0, 0, 462, 0, 0, 0, 0, 462, 462, 0, 0, 0, 0, 746, 750, 750, 0, 0, 747, 751, 751, 0, 0, 750, 0, 0, 0, 750, 751, 462, 463, 463, 751, 750, 0, 0, 0, 0, 751, 463, 0, 0, 0, 463, 0, 0, 0, 0, 463, 463, 0, 0, 0, 0, 750, 752, 752, 0, 0, 751, 758, 758, 0, 0, 752, 0, 0, 0, 752, 758, 463, 464, 464, 758, 752, 0, 0, 0, 0, 758, 464, 0, 0, 0, 464, 0, 0, 0, 0, 464, 464, 0, 0, 0, 0, 752, 759, 759, 0, 0, 758, 760, 760, 0, 0, 759, 0, 0, 0, 759, 760, 464, 465, 465, 760, 759, 0, 0, 0, 0, 760, 465, 0, 0, 0, 465, 0, 0, 0, 0, 465, 465, 0, 0, 0, 0, 759, 761, 761, 0, 0, 760, 762, 762, 0, 0, 761, 0, 0, 0, 761, 762, 465, 498, 498, 762, 761, 0, 0, 0, 0, 762, 498, 0, 0, 0, 498, 0, 0, 0, 0, 498, 498, 0, 0, 0, 0, 761, 763, 763, 0, 0, 762, 764, 764, 0, 0, 763, 0, 0, 0, 763, 764, 498, 499, 499, 764, 763, 0, 0, 0, 0, 764, 499, 0, 0, 0, 499, 0, 0, 0, 0, 499, 499, 0, 0, 0, 0, 763, 765, 765, 0, 0, 764, 782, 782, 0, 0, 765, 0, 0, 0, 765, 782, 499, 500, 500, 782, 765, 0, 0, 0, 0, 782, 500, 0, 0, 0, 500, 0, 0, 0, 0, 500, 500, 0, 0, 0, 0, 765, 783, 783, 0, 0, 782, 784, 784, 0, 0, 783, 0, 0, 0, 783, 784, 500, 501, 501, 784, 783, 0, 0, 0, 0, 784, 501, 0, 0, 0, 501, 0, 0, 0, 0, 501, 501, 0, 0, 0, 0, 783, 785, 785, 0, 0, 784, 786, 786, 0, 0, 785, 0, 0, 0, 785, 786, 501, 502, 502, 786, 785, 0, 0, 0, 0, 786, 502, 0, 0, 0, 502, 0, 0, 0, 0, 502, 502, 0, 0, 0, 0, 785, 790, 790, 0, 0, 786, 791, 791, 0, 0, 790, 0, 0, 0, 790, 791, 502, 503, 503, 791, 790, 0, 0, 0, 0, 791, 503, 0, 0, 0, 503, 0, 0, 0, 0, 503, 503, 0, 0, 0, 0, 790, 793, 793, 0, 0, 791, 0, 0, 0, 0, 793, 0, 0, 0, 793, 0, 503, 504, 504, 0, 793, 0, 0, 0, 0, 0, 504, 0, 0, 0, 504, 0, 0, 0, 0, 504, 504, 0, 0, 0, 0, 793, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 504, 505, 505, 0, 0, 0, 0, 0, 0, 0, 505, 0, 0, 0, 505, 0, 0, 0, 0, 505, 505, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 505, 507, 507, 0, 0, 0, 0, 0, 0, 0, 507, 0, 0, 0, 507, 0, 0, 0, 0, 507, 507, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 507, 508, 508, 0, 0, 0, 0, 0, 0, 0, 508, 0, 0, 0, 508, 0, 0, 0, 0, 508, 508, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 508, 509, 509, 0, 0, 0, 0, 0, 0, 0, 509, 0, 0, 0, 509, 0, 0, 0, 0, 509, 509, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 509, 510, 510, 0, 0, 0, 0, 0, 0, 0, 510, 0, 0, 0, 510, 0, 0, 0, 0, 510, 510, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 510, 511, 511, 0, 0, 0, 0, 0, 0, 0, 511, 0, 0, 0, 511, 0, 0, 0, 0, 511, 511, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 511, 512, 512, 0, 0, 0, 0, 0, 0, 0, 512, 0, 0, 0, 512, 0, 0, 0, 0, 512, 512, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 512, 513, 513, 0, 0, 0, 0, 0, 0, 0, 513, 0, 0, 0, 513, 0, 0, 0, 0, 513, 513, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 513, 514, 514, 0, 0, 0, 0, 0, 0, 0, 514, 0, 0, 0, 514, 0, 0, 0, 0, 514, 514, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 514, 519, 519, 0, 0, 0, 0, 0, 0, 0, 519, 0, 0, 0, 519, 0, 0, 0, 0, 519, 519, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 519, 520, 520, 0, 0, 0, 0, 0, 0, 0, 520, 0, 0, 0, 520, 0, 0, 0, 0, 520, 520, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 520, 521, 521, 0, 0, 0, 0, 0, 0, 0, 521, 0, 0, 0, 521, 0, 0, 0, 0, 521, 521, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 521, 522, 522, 0, 0, 0, 0, 0, 0, 0, 522, 0, 0, 0, 522, 0, 0, 0, 0, 522, 522, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 522, 523, 523, 0, 0, 0, 0, 0, 0, 0, 523, 0, 0, 0, 523, 0, 0, 0, 0, 523, 523, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 523, 524, 524, 0, 0, 0, 0, 0, 0, 0, 524, 0, 0, 0, 524, 0, 0, 0, 0, 524, 524, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 524, 525, 525, 0, 0, 0, 0, 0, 0, 0, 525, 0, 0, 0, 525, 0, 0, 0, 0, 525, 525, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 525, 529, 529, 0, 0, 0, 0, 0, 0, 0, 529, 0, 0, 0, 529, 0, 0, 0, 0, 529, 529, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 529, 530, 530, 0, 0, 0, 0, 0, 0, 0, 530, 0, 0, 0, 530, 0, 0, 0, 0, 530, 530, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 530, 531, 531, 0, 0, 0, 0, 0, 0, 0, 531, 0, 0, 0, 531, 0, 0, 0, 0, 531, 531, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 531, 532, 532, 0, 0, 0, 0, 0, 0, 0, 532, 0, 0, 0, 532, 0, 0, 0, 0, 532, 532, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 532, 533, 533, 0, 0, 0, 0, 0, 0, 0, 533, 0, 0, 0, 533, 0, 0, 0, 0, 533, 533, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 533, 534, 534, 0, 0, 0, 0, 0, 0, 0, 534, 0, 0, 0, 534, 0, 0, 0, 0, 534, 534, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 534, 535, 535, 0, 0, 0, 0, 0, 0, 0, 535, 0, 0, 0, 535, 0, 0, 0, 0, 535, 535, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 535, 540, 540, 0, 0, 0, 0, 0, 0, 0, 540, 0, 0, 0, 540, 0, 0, 0, 0, 540, 540, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 540, 541, 541, 0, 0, 0, 0, 0, 0, 0, 541, 0, 0, 0, 541, 0, 0, 0, 0, 541, 541, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 541, 542, 542, 0, 0, 0, 0, 0, 0, 0, 542, 0, 0, 0, 542, 0, 0, 0, 0, 542, 542, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 542, 543, 543, 0, 0, 0, 0, 0, 0, 0, 543, 0, 0, 0, 543, 0, 0, 0, 0, 543, 543, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 543, 544, 544, 0, 0, 0, 0, 0, 0, 0, 544, 0, 0, 0, 544, 0, 0, 0, 0, 544, 544, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 544, 545, 545, 0, 0, 0, 0, 0, 0, 0, 545, 0, 0, 0, 545, 0, 0, 0, 0, 545, 545, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 545, 546, 546, 0, 0, 0, 0, 0, 0, 0, 546, 0, 0, 0, 546, 0, 0, 0, 0, 546, 546, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 546, 547, 547, 0, 0, 0, 0, 0, 0, 0, 547, 0, 0, 0, 547, 0, 0, 0, 0, 547, 547, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 547, 548, 548, 0, 0, 0, 0, 0, 0, 0, 548, 0, 0, 0, 548, 0, 0, 0, 0, 548, 548, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 548, 591, 591, 0, 0, 0, 0, 0, 0, 0, 591, 0, 0, 0, 591, 0, 0, 0, 0, 591, 591, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 591, 592, 592, 0, 0, 0, 0, 0, 0, 0, 592, 0, 0, 0, 592, 0, 0, 0, 0, 592, 592, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 592, 593, 593, 0, 0, 0, 0, 0, 0, 0, 593, 0, 0, 0, 593, 0, 0, 0, 0, 593, 593, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 593, 594, 594, 0, 0, 0, 0, 0, 0, 0, 594, 0, 0, 0, 594, 0, 0, 0, 0, 594, 594, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 594, 595, 595, 0, 0, 0, 0, 0, 0, 0, 595, 0, 0, 0, 595, 0, 0, 0, 0, 595, 595, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 595, 596, 596, 0, 0, 0, 0, 0, 0, 0, 596, 0, 0, 0, 596, 0, 0, 0, 0, 596, 596, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 596, 597, 597, 0, 0, 0, 0, 0, 0, 0, 597, 0, 0, 0, 597, 0, 0, 0, 0, 597, 597, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 597, 598, 598, 0, 0, 0, 0, 0, 0, 0, 598, 0, 0, 0, 598, 0, 0, 0, 0, 598, 598, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 598, 599, 599, 0, 0, 0, 0, 0, 0, 0, 599, 0, 0, 0, 599, 0, 0, 0, 0, 599, 599, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 599, 600, 600, 0, 0, 0, 0, 0, 0, 0, 600, 0, 0, 0, 600, 0, 0, 0, 0, 600, 600, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 600, 601, 601, 0, 0, 0, 0, 0, 0, 0, 601, 0, 0, 0, 601, 0, 0, 0, 0, 601, 601, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 601, 602, 602, 0, 0, 0, 0, 0, 0, 0, 602, 0, 0, 0, 602, 0, 0, 0, 0, 602, 602, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 602, 606, 606, 0, 0, 0, 0, 0, 0, 0, 606, 0, 0, 0, 606, 0, 0, 0, 0, 606, 606, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 606, 607, 607, 0, 0, 0, 0, 0, 0, 0, 607, 0, 0, 0, 607, 0, 0, 0, 0, 607, 607, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 607, 608, 608, 0, 0, 0, 0, 0, 0, 0, 608, 0, 0, 0, 608, 0, 0, 0, 0, 608, 608, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 608, 609, 609, 0, 0, 0, 0, 0, 0, 0, 609, 0, 0, 0, 609, 0, 0, 0, 0, 609, 609, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 609, 610, 610, 0, 0, 0, 0, 0, 0, 0, 610, 0, 0, 0, 610, 0, 0, 0, 0, 610, 610, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 610, 611, 611, 0, 0, 0, 0, 0, 0, 0, 611, 0, 0, 0, 611, 0, 0, 0, 0, 611, 611, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 611, 612, 612, 0, 0, 0, 0, 0, 0, 0, 612, 0, 0, 0, 612, 0, 0, 0, 0, 612, 612, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 612, 613, 613, 0, 0, 0, 0, 0, 0, 0, 613, 0, 0, 0, 613, 0, 0, 0, 0, 613, 613, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 613, 614, 614, 0, 0, 0, 0, 0, 0, 0, 614, 0, 0, 0, 614, 0, 0, 0, 0, 614, 614, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 614, 620, 620, 0, 0, 0, 0, 0, 0, 0, 620, 0, 0, 0, 620, 0, 0, 0, 0, 620, 620, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 620, 621, 621, 0, 0, 0, 0, 0, 0, 0, 621, 0, 0, 0, 621, 0, 0, 0, 0, 621, 621, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 621, 622, 622, 0, 0, 0, 0, 0, 0, 0, 622, 0, 0, 0, 622, 0, 0, 0, 0, 622, 622, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 622, 623, 623, 0, 0, 0, 0, 0, 0, 0, 623, 0, 0, 0, 623, 0, 0, 0, 0, 623, 623, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 623, 624, 624, 0, 0, 0, 0, 0, 0, 0, 624, 0, 0, 0, 624, 0, 0, 0, 0, 624, 624, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 624, 625, 625, 0, 0, 0, 0, 0, 0, 0, 625, 0, 0, 0, 625, 0, 0, 0, 0, 625, 625, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 625, 626, 626, 0, 0, 0, 0, 0, 0, 0, 626, 0, 0, 0, 626, 0, 0, 0, 0, 626, 626, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 626, 627, 627, 0, 0, 0, 0, 0, 0, 0, 627, 0, 0, 0, 627, 0, 0, 0, 0, 627, 627, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 627, 629, 629, 0, 0, 0, 0, 0, 0, 0, 629, 0, 0, 0, 629, 0, 0, 0, 0, 629, 629, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 629, 630, 630, 0, 0, 0, 0, 0, 0, 0, 630, 0, 0, 0, 630, 0, 0, 0, 0, 630, 630, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 630, 631, 631, 0, 0, 0, 0, 0, 0, 0, 631, 0, 0, 0, 631, 0, 0, 0, 0, 631, 631, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 631, 632, 632, 0, 0, 0, 0, 0, 0, 0, 632, 0, 0, 0, 632, 0, 0, 0, 0, 632, 632, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 632, 633, 633, 0, 0, 0, 0, 0, 0, 0, 633, 0, 0, 0, 633, 0, 0, 0, 0, 633, 633, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 633, 634, 634, 0, 0, 0, 0, 0, 0, 0, 634, 0, 0, 0, 634, 0, 0, 0, 0, 634, 634, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 634, 635, 635, 0, 0, 0, 0, 0, 0, 0, 635, 0, 0, 0, 635, 0, 0, 0, 0, 635, 635, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 635, 636, 636, 0, 0, 0, 0, 0, 0, 0, 636, 0, 0, 0, 636, 0, 0, 0, 0, 636, 636, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 636, 641, 641, 0, 0, 0, 0, 0, 0, 0, 641, 0, 0, 0, 641, 0, 0, 0, 0, 641, 641, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 641, 642, 642, 0, 0, 0, 0, 0, 0, 0, 642, 0, 0, 0, 642, 0, 0, 0, 0, 642, 642, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 642, 643, 643, 0, 0, 0, 0, 0, 0, 0, 643, 0, 0, 0, 643, 0, 0, 0, 0, 643, 643, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 643, 644, 644, 0, 0, 0, 0, 0, 0, 0, 644, 0, 0, 0, 644, 0, 0, 0, 0, 644, 644, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 644, 645, 645, 0, 0, 0, 0, 0, 0, 0, 645, 0, 0, 0, 645, 0, 0, 0, 0, 645, 645, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 645, 646, 646, 0, 0, 0, 0, 0, 0, 0, 646, 0, 0, 0, 646, 0, 0, 0, 0, 646, 646, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 646, 647, 647, 0, 0, 0, 0, 0, 0, 0, 647, 0, 0, 0, 647, 0, 0, 0, 0, 647, 647, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 647, 696, 696, 0, 0, 0, 0, 0, 0, 0, 696, 0, 0, 0, 696, 0, 0, 0, 0, 696, 696, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 696, 697, 697, 0, 0, 0, 0, 0, 0, 0, 697, 0, 0, 0, 697, 0, 0, 0, 0, 697, 697, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 697, 698, 698, 0, 0, 0, 0, 0, 0, 0, 698, 0, 0, 0, 698, 0, 0, 0, 0, 698, 698, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 698, 699, 699, 0, 0, 0, 0, 0, 0, 0, 699, 0, 0, 0, 699, 0, 0, 0, 0, 699, 699, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 699, 700, 700, 0, 0, 0, 0, 0, 0, 0, 700, 0, 0, 0, 700, 0, 0, 0, 0, 700, 700, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 700, 701, 701, 0, 0, 0, 0, 0, 0, 0, 701, 0, 0, 0, 701, 0, 0, 0, 0, 701, 701, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 701, 702, 702, 0, 0, 0, 0, 0, 0, 0, 702, 0, 0, 0, 702, 0, 0, 0, 0, 702, 702, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 702, 705, 705, 0, 0, 0, 0, 0, 0, 0, 705, 0, 0, 0, 705, 0, 0, 0, 0, 705, 705, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 705, 706, 706, 0, 0, 0, 0, 0, 0, 0, 706, 0, 0, 0, 706, 0, 0, 0, 0, 706, 706, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 706, 707, 707, 0, 0, 0, 0, 0, 0, 0, 707, 0, 0, 0, 707, 0, 0, 0, 0, 707, 707, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 707, 708, 708, 0, 0, 0, 0, 0, 0, 0, 708, 0, 0, 0, 708, 0, 0, 0, 0, 708, 708, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 708, 709, 709, 0, 0, 0, 0, 0, 0, 0, 709, 0, 0, 0, 709, 0, 0, 0, 0, 709, 709, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 709, 710, 710, 0, 0, 0, 0, 0, 0, 0, 710, 0, 0, 0, 710, 0, 0, 0, 0, 710, 710, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 710, 711, 711, 0, 0, 0, 0, 0, 0, 0, 711, 0, 0, 0, 711, 0, 0, 0, 0, 711, 711, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 711, 712, 712, 0, 0, 0, 0, 0, 0, 0, 712, 0, 0, 0, 712, 0, 0, 0, 0, 712, 712, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 712, 713, 713, 0, 0, 0, 0, 0, 0, 0, 713, 0, 0, 0, 713, 0, 0, 0, 0, 713, 713, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 713, 714, 714, 0, 0, 0, 0, 0, 0, 0, 714, 0, 0, 0, 714, 0, 0, 0, 0, 714, 714, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 714, 715, 715, 0, 0, 0, 0, 0, 0, 0, 715, 0, 0, 0, 715, 0, 0, 0, 0, 715, 715, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 715, 716, 716, 0, 0, 0, 0, 0, 0, 0, 716, 0, 0, 0, 716, 0, 0, 0, 0, 716, 716, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 716, 717, 717, 0, 0, 0, 0, 0, 0, 0, 717, 0, 0, 0, 717, 0, 0, 0, 0, 717, 717, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 717, 718, 718, 0, 0, 0, 0, 0, 0, 0, 718, 0, 0, 0, 718, 0, 0, 0, 0, 718, 718, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 718, 722, 722, 0, 0, 0, 0, 0, 0, 0, 722, 0, 0, 0, 722, 0, 0, 0, 0, 722, 722, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 722, 723, 723, 0, 0, 0, 0, 0, 0, 0, 723, 0, 0, 0, 723, 0, 0, 0, 0, 723, 723, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 723, 724, 724, 0, 0, 0, 0, 0, 0, 0, 724, 0, 0, 0, 724, 0, 0, 0, 0, 724, 724, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 724, 725, 725, 0, 0, 0, 0, 0, 0, 0, 725, 0, 0, 0, 725, 0, 0, 0, 0, 725, 725, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 725, 726, 726, 0, 0, 0, 0, 0, 0, 0, 726, 0, 0, 0, 726, 0, 0, 0, 0, 726, 726, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 726, 727, 727, 0, 0, 0, 0, 0, 0, 0, 727, 0, 0, 0, 727, 0, 0, 0, 0, 727, 727, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 727, 728, 728, 0, 0, 0, 0, 0, 0, 0, 728, 0, 0, 0, 728, 0, 0, 0, 0, 728, 728, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 728, 729, 729, 0, 0, 0, 0, 0, 0, 0, 729, 0, 0, 0, 729, 0, 0, 0, 0, 729, 729, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 729, 730, 730, 0, 0, 0, 0, 0, 0, 0, 730, 0, 0, 0, 730, 0, 0, 0, 0, 730, 730, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 730, 770, 770, 0, 0, 0, 0, 0, 0, 0, 770, 0, 0, 0, 770, 0, 0, 0, 0, 770, 770, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 770, 771, 771, 0, 0, 0, 0, 0, 0, 0, 771, 0, 0, 0, 771, 0, 0, 0, 0, 771, 771, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 771, 772, 772, 0, 0, 0, 0, 0, 0, 0, 772, 0, 0, 0, 772, 0, 0, 0, 0, 772, 772, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 772, 773, 773, 0, 0, 0, 0, 0, 0, 0, 773, 0, 0, 0, 773, 0, 0, 0, 0, 773, 773, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 773, 774, 774, 0, 0, 0, 0, 0, 0, 0, 774, 0, 0, 0, 774, 0, 0, 0, 0, 774, 774, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 774, 775, 775, 0, 0, 0, 0, 0, 0, 0, 775, 0, 0, 0, 775, 0, 0, 0, 0, 775, 775, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 775, 776, 776, 0, 0, 0, 0, 0, 0, 0, 776, 0, 0, 0, 776, 0, 0, 0, 0, 776, 776, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 776, 777, 777, 0, 0, 0, 0, 0, 0, 0, 777, 0, 0, 0, 777, 0, 0, 0, 0, 777, 777, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 777, 780, 780, 0, 0, 0, 0, 0, 0, 0, 780, 0, 0, 0, 780, 0, 0, 0, 0, 780, 780, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 780, 781, 781, 0, 0, 0, 0, 0, 0, 0, 781, 0, 0, 0, 781, 0, 0, 0, 0, 781, 781, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 781, 792, 792, 0, 0, 0, 0, 0, 0, 0, 792, 0, 0, 0, 792, 0, 0, 0, 0, 792, 792, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 792, 795, 795, 795, 795, 795, 795, 795, 796, 796, 796, 0, 796, 796, 796, 797, 0, 797, 798, 798, 0, 798, 798, 798, 799, 0, 799, 800, 800, 0, 800, 0, 800, 801, 801, 801, 801, 801, 801, 801, 802, 802, 0, 802, 802, 802, 802, 806, 806, 806, 806, 806, 806, 806, 807, 807, 807, 807, 807, 807, 807, 808, 808, 808, 808, 808, 808, 808, 809, 809, 809, 809, 809, 809, 809, 810, 810, 810, 810, 810, 810, 810, 813, 813, 813, 813, 813, 813, 813, 814, 814, 814, 814, 814, 814, 814, 815, 815, 815, 815, 815, 815, 815, 816, 816, 816, 816, 816, 816, 816, 817, 817, 817, 817, 817, 817, 817, 818, 818, 818, 818, 818, 818, 818, 819, 819, 819, 819, 819, 819, 819, 820, 820, 820, 820, 820, 820, 820, 821, 821, 821, 821, 821, 821, 821, 822, 822, 822, 822, 822, 822, 822, 823, 823, 823, 823, 823, 823, 823, 824, 824, 824, 824, 824, 824, 824, 825, 825, 825, 825, 825, 825, 825, 826, 826, 826, 826, 826, 826, 826, 827, 827, 827, 827, 827, 827, 827, 828, 828, 828, 828, 828, 828, 828, 829, 829, 829, 829, 829, 829, 829, 830, 830, 830, 830, 830, 830, 830, 831, 831, 831, 831, 831, 831, 831, 832, 832, 832, 832, 832, 832, 832, 833, 833, 833, 833, 833, 833, 833, 834, 834, 834, 834, 834, 834, 834, 835, 835, 835, 835, 835, 835, 835, 836, 836, 836, 836, 836, 836, 836, 837, 837, 837, 837, 837, 837, 837, 838, 838, 838, 838, 838, 838, 838, 839, 839, 839, 839, 839, 839, 839, 840, 840, 840, 840, 840, 840, 840, 841, 841, 841, 841, 841, 841, 841, 842, 842, 842, 842, 842, 842, 842, 843, 843, 843, 843, 843, 843, 843, 844, 844, 844, 844, 844, 844, 844, 845, 845, 845, 845, 845, 845, 845, 846, 846, 846, 846, 846, 846, 846, 847, 847, 847, 847, 847, 847, 847, 848, 848, 848, 848, 848, 848, 848, 849, 849, 849, 849, 849, 849, 849, 850, 850, 850, 850, 850, 850, 850, 851, 851, 851, 851, 851, 851, 851, 852, 852, 852, 852, 852, 852, 852, 853, 853, 853, 853, 853, 853, 853, 854, 854, 854, 854, 854, 854, 854, 855, 855, 855, 855, 855, 855, 855, 856, 856, 856, 856, 856, 856, 856, 857, 857, 857, 857, 857, 857, 857, 858, 858, 858, 858, 858, 858, 858, 859, 859, 859, 859, 859, 859, 859, 860, 860, 860, 860, 860, 860, 860, 861, 861, 861, 861, 861, 861, 861, 862, 862, 862, 862, 862, 862, 862, 863, 863, 863, 863, 863, 863, 863, 864, 864, 864, 864, 864, 864, 864, 865, 865, 865, 865, 865, 865, 865, 866, 866, 866, 866, 866, 866, 866, 867, 867, 867, 867, 867, 867, 867, 868, 868, 868, 868, 868, 868, 868, 869, 869, 869, 869, 869, 869, 869, 870, 870, 870, 870, 870, 870, 870, 871, 871, 871, 871, 871, 871, 871, 872, 872, 872, 872, 872, 872, 872, 873, 873, 873, 873, 873, 873, 873, 874, 874, 874, 874, 874, 874, 874, 875, 875, 875, 875, 875, 875, 875, 876, 876, 876, 876, 876, 876, 876, 877, 877, 877, 877, 877, 877, 877, 878, 878, 878, 878, 878, 878, 878, 879, 879, 879, 879, 879, 879, 879, 880, 880, 880, 880, 880, 880, 880, 881, 881, 881, 881, 881, 881, 881, 882, 882, 882, 882, 882, 882, 882, 883, 883, 883, 883, 883, 883, 883, 884, 884, 884, 884, 884, 884, 884, 885, 885, 885, 885, 885, 885, 885, 886, 886, 886, 886, 886, 886, 886, 887, 887, 887, 887, 887, 887, 887, 888, 888, 888, 888, 888, 888, 888, 889, 889, 889, 889, 889, 889, 889, 890, 890, 890, 890, 890, 890, 890, 891, 891, 891, 891, 891, 891, 891, 892, 892, 892, 892, 892, 892, 892, 893, 893, 893, 893, 893, 893, 893, 894, 894, 894, 894, 894, 894, 894, 895, 895, 895, 895, 895, 895, 895, 896, 896, 896, 896, 896, 896, 896, 897, 897, 897, 897, 897, 897, 897, 898, 898, 898, 898, 898, 898, 898, 899, 899, 899, 899, 899, 899, 899, 900, 900, 900, 900, 900, 900, 900, 901, 901, 901, 901, 901, 901, 901, 902, 902, 902, 902, 902, 902, 902, 903, 903, 903, 903, 903, 903, 903, 904, 904, 904, 904, 904, 904, 904, 905, 905, 905, 905, 905, 905, 905, 906, 906, 906, 906, 906, 906, 906, 907, 907, 907, 907, 907, 907, 907, 908, 908, 908, 908, 908, 908, 908, 909, 909, 909, 909, 909, 909, 909, 910, 910, 910, 910, 910, 910, 910, 911, 911, 911, 911, 911, 911, 911, 912, 912, 912, 912, 912, 912, 912, 913, 913, 913, 913, 913, 913, 913, 914, 914, 914, 914, 914, 914, 914, 915, 915, 915, 915, 915, 915, 915, 916, 916, 916, 916, 916, 916, 916, 917, 917, 917, 917, 917, 917, 917, 918, 918, 918, 918, 918, 918, 918, 919, 919, 919, 919, 919, 919, 919, 920, 920, 920, 920, 920, 920, 920, 921, 921, 921, 921, 921, 921, 921, 922, 922, 922, 922, 922, 922, 922, 923, 923, 923, 923, 923, 923, 923, 924, 924, 924, 924, 924, 924, 924, 925, 925, 925, 925, 925, 925, 925, 926, 926, 926, 926, 926, 926, 926, 927, 927, 927, 927, 927, 927, 927, 928, 928, 928, 928, 928, 928, 928, 929, 929, 929, 929, 929, 929, 929, 930, 930, 930, 930, 930, 930, 930, 931, 931, 931, 931, 931, 931, 931, 932, 932, 932, 932, 932, 932, 932, 933, 933, 933, 933, 933, 933, 933, 934, 934, 934, 934, 934, 934, 934, 935, 935, 935, 935, 935, 935, 935, 936, 936, 936, 936, 936, 936, 936, 937, 937, 937, 937, 937, 937, 937, 938, 938, 938, 938, 938, 938, 938, 939, 939, 939, 939, 939, 939, 939, 940, 940, 940, 940, 940, 940, 940, 941, 941, 941, 941, 941, 941, 941, 942, 942, 942, 942, 942, 942, 942, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794, 794 } ; /* The intent behind this definition is that it'll catch * any uses of REJECT which flex missed. */ #define REJECT reject_used_but_not_detected #define yymore() yymore_used_but_not_detected #define YY_MORE_ADJ 0 #define YY_RESTORE_YY_MORE_OFFSET /* * ctok.l - a lex rule for C * * Copyright (C) 2004-2005 Akira Tanaka * All rights reserved. * This is free software with ABSOLUTELY NO WARRANTY. * * You can redistribute it and/or modify it under the terms of * the GNU General Public License version 2. */ #include "c.h" #define YY_EXTRA_TYPE langscan_c_lex_extra_t * #if YY_NULL != 0 #error "YY_NULL is not 0." #endif #define YY_DECL langscan_c_token_t langscan_c_lex_lex(yyscan_t yyscanner) #define YY_INPUT(buf,result,max_size) \ if (!yyextra->eof) { \ result = yyextra->user_read(&(yyextra->user_data), (buf), (max_size)); \ if (result == 0) \ yyextra->eof = 1; \ } #define UPD update_pos(yyextra, yytext, yyleng) static void update_pos(langscan_c_lex_extra_t *, char *, int); #define report(token) \ do { \ yyextra->text = yytext; \ yyextra->leng = yyleng; \ return langscan_c_##token; \ } while (0) #define matched_is(str) (yyleng == sizeof(str)-1 && strncmp(str, yytext, sizeof(str)-1) == 0) static int ident_length(unsigned char *ptr, int max); #define INITIAL 0 #define PREPROC 1 #define CLASSHEAD 2 #define CLASSHEAD_TRAILER 3 #define CLASSDECL 4 #ifndef YY_EXTRA_TYPE #define YY_EXTRA_TYPE void * #endif /* Holds the entire state of the reentrant scanner. */ struct yyguts_t { /* User-defined. Not touched by flex. */ YY_EXTRA_TYPE yyextra_r; /* The rest are the same as the globals declared in the non-reentrant scanner. */ FILE *yyin_r, *yyout_r; size_t yy_buffer_stack_top; /**< index of top of stack. */ size_t yy_buffer_stack_max; /**< capacity of stack. */ YY_BUFFER_STATE * yy_buffer_stack; /**< Stack as an array. */ char yy_hold_char; int yy_n_chars; int yyleng_r; char *yy_c_buf_p; int yy_init; int yy_start; int yy_did_buffer_switch_on_eof; int yy_start_stack_ptr; int yy_start_stack_depth; int *yy_start_stack; yy_state_type yy_last_accepting_state; char* yy_last_accepting_cpos; int yylineno_r; int yy_flex_debug_r; char *yytext_r; int yy_more_flag; int yy_more_len; }; /* end struct yyguts_t */ static int yy_init_globals (yyscan_t yyscanner ); int langscan_c_lex_lex_init (yyscan_t* scanner); int langscan_c_lex_lex_init_extra (YY_EXTRA_TYPE user_defined,yyscan_t* scanner); /* Accessor methods to globals. These are made visible to non-reentrant scanners for convenience. */ int langscan_c_lex_lex_destroy (yyscan_t yyscanner ); int langscan_c_lex_get_debug (yyscan_t yyscanner ); void langscan_c_lex_set_debug (int debug_flag ,yyscan_t yyscanner ); YY_EXTRA_TYPE langscan_c_lex_get_extra (yyscan_t yyscanner ); void langscan_c_lex_set_extra (YY_EXTRA_TYPE user_defined ,yyscan_t yyscanner ); FILE *langscan_c_lex_get_in (yyscan_t yyscanner ); void langscan_c_lex_set_in (FILE * in_str ,yyscan_t yyscanner ); FILE *langscan_c_lex_get_out (yyscan_t yyscanner ); void langscan_c_lex_set_out (FILE * out_str ,yyscan_t yyscanner ); int langscan_c_lex_get_leng (yyscan_t yyscanner ); char *langscan_c_lex_get_text (yyscan_t yyscanner ); int langscan_c_lex_get_lineno (yyscan_t yyscanner ); void langscan_c_lex_set_lineno (int line_number ,yyscan_t yyscanner ); /* Macros after this point can all be overridden by user definitions in * section 1. */ #ifndef YY_SKIP_YYWRAP #ifdef __cplusplus extern "C" int langscan_c_lex_wrap (yyscan_t yyscanner ); #else extern int langscan_c_lex_wrap (yyscan_t yyscanner ); #endif #endif static void yyunput (int c,char *buf_ptr ,yyscan_t yyscanner); #ifndef yytext_ptr static void yy_flex_strncpy (char *,yyconst char *,int ,yyscan_t yyscanner); #endif #ifdef YY_NEED_STRLEN static int yy_flex_strlen (yyconst char * ,yyscan_t yyscanner); #endif #ifndef YY_NO_INPUT #ifdef __cplusplus static int yyinput (yyscan_t yyscanner ); #else static int input (yyscan_t yyscanner ); #endif #endif /* Amount of stuff to slurp up with each read. */ #ifndef YY_READ_BUF_SIZE #ifdef __ia64__ /* On IA-64, the buffer size is 16k, not 8k */ #define YY_READ_BUF_SIZE 16384 #else #define YY_READ_BUF_SIZE 8192 #endif /* __ia64__ */ #endif /* Copy whatever the last rule matched to the standard output. */ #ifndef ECHO /* This used to be an fputs(), but since the string might contain NUL's, * we now use fwrite(). */ #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0) #endif /* Gets input and stuffs it into "buf". number of characters read, or YY_NULL, * is returned in "result". */ #ifndef YY_INPUT #define YY_INPUT(buf,result,max_size) \ if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ { \ int c = '*'; \ size_t n; \ for ( n = 0; n < max_size && \ (c = getc( yyin )) != EOF && c != '\n'; ++n ) \ buf[n] = (char) c; \ if ( c == '\n' ) \ buf[n++] = (char) c; \ if ( c == EOF && ferror( yyin ) ) \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ result = n; \ } \ else \ { \ errno=0; \ while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \ { \ if( errno != EINTR) \ { \ YY_FATAL_ERROR( "input in flex scanner failed" ); \ break; \ } \ errno=0; \ clearerr(yyin); \ } \ }\ \ #endif /* No semi-colon after return; correct usage is to write "yyterminate();" - * we don't want an extra ';' after the "return" because that will cause * some compilers to complain about unreachable statements. */ #ifndef yyterminate #define yyterminate() return YY_NULL #endif /* Number of entries by which start-condition stack grows. */ #ifndef YY_START_STACK_INCR #define YY_START_STACK_INCR 25 #endif /* Report a fatal error. */ #ifndef YY_FATAL_ERROR #define YY_FATAL_ERROR(msg) yy_fatal_error( msg , yyscanner) #endif /* end tables serialization structures and prototypes */ /* Default declaration of generated scanner - a define so the user can * easily add parameters. */ #ifndef YY_DECL #define YY_DECL_IS_OURS 1 extern int langscan_c_lex_lex (yyscan_t yyscanner); #define YY_DECL int langscan_c_lex_lex (yyscan_t yyscanner) #endif /* !YY_DECL */ /* Code executed at the beginning of each rule, after yytext and yyleng * have been set up. */ #ifndef YY_USER_ACTION #define YY_USER_ACTION #endif /* Code executed at the end of each rule. */ #ifndef YY_BREAK #define YY_BREAK break; #endif #define YY_RULE_SETUP \ if ( yyleng > 0 ) \ YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \ (yytext[yyleng - 1] == '\n'); \ YY_USER_ACTION /** The main scanner function which does all the work. */ YY_DECL { register yy_state_type yy_current_state; register char *yy_cp, *yy_bp; register int yy_act; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( !yyg->yy_init ) { yyg->yy_init = 1; #ifdef YY_USER_INIT YY_USER_INIT; #endif if ( ! yyg->yy_start ) yyg->yy_start = 1; /* first start state */ if ( ! yyin ) yyin = stdin; if ( ! yyout ) yyout = stdout; if ( ! YY_CURRENT_BUFFER ) { langscan_c_lex_ensure_buffer_stack (yyscanner); YY_CURRENT_BUFFER_LVALUE = langscan_c_lex__create_buffer(yyin,YY_BUF_SIZE ,yyscanner); } langscan_c_lex__load_buffer_state(yyscanner ); } while ( 1 ) /* loops until end-of-file is reached */ { yy_cp = yyg->yy_c_buf_p; /* Support of yytext. */ *yy_cp = yyg->yy_hold_char; /* yy_bp points to the position in yy_ch_buf of the start of * the current run. */ yy_bp = yy_cp; yy_current_state = yyg->yy_start; yy_current_state += YY_AT_BOL(); yy_match: do { register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)]; if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 795 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; ++yy_cp; } while ( yy_base[yy_current_state] != 9762 ); yy_find_action: yy_act = yy_accept[yy_current_state]; if ( yy_act == 0 ) { /* have to back up */ yy_cp = yyg->yy_last_accepting_cpos; yy_current_state = yyg->yy_last_accepting_state; yy_act = yy_accept[yy_current_state]; } YY_DO_BEFORE_ACTION; do_action: /* This label is used only to access EOF actions. */ switch ( yy_act ) { /* beginning of action switch */ case 0: /* must back up */ /* undo the effects of YY_DO_BEFORE_ACTION */ *yy_cp = yyg->yy_hold_char; yy_cp = yyg->yy_last_accepting_cpos; yy_current_state = yyg->yy_last_accepting_state; goto yy_find_action; case 1: YY_RULE_SETUP { UPD; if (YY_START == INITIAL || yyleng == 1) { BEGIN(PREPROC); report(preproc_beg); } else { yyless(yyleng-1); report(space); } } YY_BREAK case 2: /* rule 2 can match eol */ YY_RULE_SETUP { UPD; report(space); } YY_BREAK case 3: /* rule 3 can match eol */ YY_RULE_SETUP { UPD; BEGIN(INITIAL); report(preproc_end); } YY_BREAK case 4: /* rule 4 can match eol */ YY_RULE_SETUP { yyless(ident_length(yytext, yyleng)); UPD; BEGIN(CLASSHEAD_TRAILER); report(classdef); } YY_BREAK case 5: YY_RULE_SETUP { UPD; report(classref); } YY_BREAK case 6: YY_RULE_SETUP { UPD; BEGIN(INITIAL); report(punct); } YY_BREAK case 7: /* rule 7 can match eol */ YY_RULE_SETUP { yyless(ident_length(yytext, yyleng)); UPD; report(classdecl); } YY_BREAK case 8: YY_RULE_SETUP { UPD; report(classref); } YY_BREAK case 9: YY_RULE_SETUP { UPD; BEGIN(INITIAL); report(punct); } YY_BREAK case 10: /* rule 10 can match eol */ *yy_cp = yyg->yy_hold_char; /* undo effects of setting up yytext */ yyg->yy_c_buf_p = yy_cp = yy_bp + 5; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP { UPD; BEGIN(CLASSHEAD); report(ident); } YY_BREAK case 11: /* rule 11 can match eol */ *yy_cp = yyg->yy_hold_char; /* undo effects of setting up yytext */ yyg->yy_c_buf_p = yy_cp = yy_bp + 6; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP { UPD; BEGIN(CLASSHEAD); report(ident); } YY_BREAK case 12: /* rule 12 can match eol */ *yy_cp = yyg->yy_hold_char; /* undo effects of setting up yytext */ yyg->yy_c_buf_p = yy_cp = yy_bp + 5; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP { UPD; BEGIN(CLASSDECL); report(ident); } YY_BREAK case 13: /* rule 13 can match eol */ *yy_cp = yyg->yy_hold_char; /* undo effects of setting up yytext */ yyg->yy_c_buf_p = yy_cp = yy_bp + 6; YY_DO_BEFORE_ACTION; /* set up yytext again */ YY_RULE_SETUP { UPD; BEGIN(CLASSDECL); report(ident); } YY_BREAK case 14: YY_RULE_SETUP { UPD; report(space); } YY_BREAK case 15: /* rule 15 can match eol */ YY_RULE_SETUP { UPD; report(space); } YY_BREAK case 16: /* rule 16 can match eol */ YY_RULE_SETUP { UPD; report(comment); } YY_BREAK case 17: /* rule 17 can match eol */ YY_RULE_SETUP { UPD; report(string); } YY_BREAK case 18: /* rule 18 can match eol */ YY_RULE_SETUP { UPD; report(character); } YY_BREAK case 19: YY_RULE_SETUP { UPD; report(integer); } YY_BREAK case 20: YY_RULE_SETUP { UPD; report(integer); } YY_BREAK case 21: YY_RULE_SETUP { UPD; report(integer); } YY_BREAK case 22: YY_RULE_SETUP { UPD; report(floating); } YY_BREAK case 23: YY_RULE_SETUP { UPD; report(ident); } YY_BREAK case 24: YY_RULE_SETUP { UPD; report(punct); } YY_BREAK case 25: YY_RULE_SETUP YY_FATAL_ERROR( "flex scanner jammed" ); YY_BREAK case YY_STATE_EOF(INITIAL): case YY_STATE_EOF(PREPROC): case YY_STATE_EOF(CLASSHEAD): case YY_STATE_EOF(CLASSHEAD_TRAILER): case YY_STATE_EOF(CLASSDECL): yyterminate(); case YY_END_OF_BUFFER: { /* Amount of text matched not including the EOB char. */ int yy_amount_of_matched_text = (int) (yy_cp - yyg->yytext_ptr) - 1; /* Undo the effects of YY_DO_BEFORE_ACTION. */ *yy_cp = yyg->yy_hold_char; YY_RESTORE_YY_MORE_OFFSET if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW ) { /* We're scanning a new file or input source. It's * possible that this happened because the user * just pointed yyin at a new source and called * langscan_c_lex_lex(). If so, then we have to assure * consistency between YY_CURRENT_BUFFER and our * globals. Here is the right place to do so, because * this is the first action (other than possibly a * back-up) that will match for the new input source. */ yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin; YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL; } /* Note that here we test for yy_c_buf_p "<=" to the position * of the first EOB in the buffer, since yy_c_buf_p will * already have been incremented past the NUL character * (since all states make transitions on EOB to the * end-of-buffer state). Contrast this with the test * in input(). */ if ( yyg->yy_c_buf_p <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) { /* This was really a NUL. */ yy_state_type yy_next_state; yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state( yyscanner ); /* Okay, we're now positioned to make the NUL * transition. We couldn't have * yy_get_previous_state() go ahead and do it * for us because it doesn't know how to deal * with the possibility of jamming (and we don't * want to build jamming into it because then it * will run more slowly). */ yy_next_state = yy_try_NUL_trans( yy_current_state , yyscanner); yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; if ( yy_next_state ) { /* Consume the NUL. */ yy_cp = ++yyg->yy_c_buf_p; yy_current_state = yy_next_state; goto yy_match; } else { yy_cp = yyg->yy_c_buf_p; goto yy_find_action; } } else switch ( yy_get_next_buffer( yyscanner ) ) { case EOB_ACT_END_OF_FILE: { yyg->yy_did_buffer_switch_on_eof = 0; if ( langscan_c_lex_wrap(yyscanner ) ) { /* Note: because we've taken care in * yy_get_next_buffer() to have set up * yytext, we can now set up * yy_c_buf_p so that if some total * hoser (like flex itself) wants to * call the scanner after we return the * YY_NULL, it'll still work - another * YY_NULL will get returned. */ yyg->yy_c_buf_p = yyg->yytext_ptr + YY_MORE_ADJ; yy_act = YY_STATE_EOF(YY_START); goto do_action; } else { if ( ! yyg->yy_did_buffer_switch_on_eof ) YY_NEW_FILE; } break; } case EOB_ACT_CONTINUE_SCAN: yyg->yy_c_buf_p = yyg->yytext_ptr + yy_amount_of_matched_text; yy_current_state = yy_get_previous_state( yyscanner ); yy_cp = yyg->yy_c_buf_p; yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; goto yy_match; case EOB_ACT_LAST_MATCH: yyg->yy_c_buf_p = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars]; yy_current_state = yy_get_previous_state( yyscanner ); yy_cp = yyg->yy_c_buf_p; yy_bp = yyg->yytext_ptr + YY_MORE_ADJ; goto yy_find_action; } break; } default: YY_FATAL_ERROR( "fatal flex scanner internal error--no action found" ); } /* end of action switch */ } /* end of scanning one token */ } /* end of langscan_c_lex_lex */ /* yy_get_next_buffer - try to read in a new buffer * * Returns a code representing an action: * EOB_ACT_LAST_MATCH - * EOB_ACT_CONTINUE_SCAN - continue scanning from current position * EOB_ACT_END_OF_FILE - end of file */ static int yy_get_next_buffer (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf; register char *source = yyg->yytext_ptr; register int number_to_move, i; int ret_val; if ( yyg->yy_c_buf_p > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] ) YY_FATAL_ERROR( "fatal flex scanner internal error--end of buffer missed" ); if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 ) { /* Don't try to fill the buffer, so this is an EOF. */ if ( yyg->yy_c_buf_p - yyg->yytext_ptr - YY_MORE_ADJ == 1 ) { /* We matched a single character, the EOB, so * treat this as a final EOF. */ return EOB_ACT_END_OF_FILE; } else { /* We matched some text prior to the EOB, first * process it. */ return EOB_ACT_LAST_MATCH; } } /* Try to read more data. */ /* First move last chars to start of buffer. */ number_to_move = (int) (yyg->yy_c_buf_p - yyg->yytext_ptr) - 1; for ( i = 0; i < number_to_move; ++i ) *(dest++) = *(source++); if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING ) /* don't do the read, it's not guaranteed to return an EOF, * just force an EOF */ YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = 0; else { int num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; while ( num_to_read <= 0 ) { /* Not enough room in the buffer - grow it. */ /* just a shorter name for the current buffer */ YY_BUFFER_STATE b = YY_CURRENT_BUFFER; int yy_c_buf_p_offset = (int) (yyg->yy_c_buf_p - b->yy_ch_buf); if ( b->yy_is_our_buffer ) { int new_size = b->yy_buf_size * 2; if ( new_size <= 0 ) b->yy_buf_size += b->yy_buf_size / 8; else b->yy_buf_size *= 2; b->yy_ch_buf = (char *) /* Include room in for 2 EOB chars. */ langscan_c_lex_realloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 ,yyscanner ); } else /* Can't grow it, we don't own it. */ b->yy_ch_buf = 0; if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "fatal error - scanner input buffer overflow" ); yyg->yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset]; num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1; } if ( num_to_read > YY_READ_BUF_SIZE ) num_to_read = YY_READ_BUF_SIZE; /* Read in more data. */ YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]), yyg->yy_n_chars, (size_t) num_to_read ); YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; } if ( yyg->yy_n_chars == 0 ) { if ( number_to_move == YY_MORE_ADJ ) { ret_val = EOB_ACT_END_OF_FILE; langscan_c_lex_restart(yyin ,yyscanner); } else { ret_val = EOB_ACT_LAST_MATCH; YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_EOF_PENDING; } } else ret_val = EOB_ACT_CONTINUE_SCAN; if ((yy_size_t) (yyg->yy_n_chars + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) { /* Extend the array by 50%, plus the number we really need. */ yy_size_t new_size = yyg->yy_n_chars + number_to_move + (yyg->yy_n_chars >> 1); YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) langscan_c_lex_realloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size ,yyscanner ); if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" ); } yyg->yy_n_chars += number_to_move; YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] = YY_END_OF_BUFFER_CHAR; YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR; yyg->yytext_ptr = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0]; return ret_val; } /* yy_get_previous_state - get the state just before the EOB char was reached */ static yy_state_type yy_get_previous_state (yyscan_t yyscanner) { register yy_state_type yy_current_state; register char *yy_cp; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yy_current_state = yyg->yy_start; yy_current_state += YY_AT_BOL(); for ( yy_cp = yyg->yytext_ptr + YY_MORE_ADJ; yy_cp < yyg->yy_c_buf_p; ++yy_cp ) { register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1); if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 795 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; } return yy_current_state; } /* yy_try_NUL_trans - try to make a transition on the NUL character * * synopsis * next_state = yy_try_NUL_trans( current_state ); */ static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state , yyscan_t yyscanner) { register int yy_is_jam; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* This var may be unused depending upon options. */ register char *yy_cp = yyg->yy_c_buf_p; register YY_CHAR yy_c = 1; if ( yy_accept[yy_current_state] ) { yyg->yy_last_accepting_state = yy_current_state; yyg->yy_last_accepting_cpos = yy_cp; } while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state ) { yy_current_state = (int) yy_def[yy_current_state]; if ( yy_current_state >= 795 ) yy_c = yy_meta[(unsigned int) yy_c]; } yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c]; yy_is_jam = (yy_current_state == 794); return yy_is_jam ? 0 : yy_current_state; } static void yyunput (int c, register char * yy_bp , yyscan_t yyscanner) { register char *yy_cp; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yy_cp = yyg->yy_c_buf_p; /* undo effects of setting up yytext */ *yy_cp = yyg->yy_hold_char; if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) { /* need to shift things up to make room */ /* +2 for EOB chars. */ register int number_to_move = yyg->yy_n_chars + 2; register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[ YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2]; register char *source = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]; while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf ) *--dest = *--source; yy_cp += (int) (dest - source); yy_bp += (int) (dest - source); YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_buf_size; if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 ) YY_FATAL_ERROR( "flex scanner push-back overflow" ); } *--yy_cp = (char) c; yyg->yytext_ptr = yy_bp; yyg->yy_hold_char = *yy_cp; yyg->yy_c_buf_p = yy_cp; } #ifndef YY_NO_INPUT #ifdef __cplusplus static int yyinput (yyscan_t yyscanner) #else static int input (yyscan_t yyscanner) #endif { int c; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; *yyg->yy_c_buf_p = yyg->yy_hold_char; if ( *yyg->yy_c_buf_p == YY_END_OF_BUFFER_CHAR ) { /* yy_c_buf_p now points to the character we want to return. * If this occurs *before* the EOB characters, then it's a * valid NUL; if not, then we've hit the end of the buffer. */ if ( yyg->yy_c_buf_p < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[yyg->yy_n_chars] ) /* This was really a NUL. */ *yyg->yy_c_buf_p = '\0'; else { /* need more input */ int offset = yyg->yy_c_buf_p - yyg->yytext_ptr; ++yyg->yy_c_buf_p; switch ( yy_get_next_buffer( yyscanner ) ) { case EOB_ACT_LAST_MATCH: /* This happens because yy_g_n_b() * sees that we've accumulated a * token and flags that we need to * try matching the token before * proceeding. But for input(), * there's no matching to consider. * So convert the EOB_ACT_LAST_MATCH * to EOB_ACT_END_OF_FILE. */ /* Reset buffer status. */ langscan_c_lex_restart(yyin ,yyscanner); /*FALLTHROUGH*/ case EOB_ACT_END_OF_FILE: { if ( langscan_c_lex_wrap(yyscanner ) ) return EOF; if ( ! yyg->yy_did_buffer_switch_on_eof ) YY_NEW_FILE; #ifdef __cplusplus return yyinput(yyscanner); #else return input(yyscanner); #endif } case EOB_ACT_CONTINUE_SCAN: yyg->yy_c_buf_p = yyg->yytext_ptr + offset; break; } } } c = *(unsigned char *) yyg->yy_c_buf_p; /* cast for 8-bit char's */ *yyg->yy_c_buf_p = '\0'; /* preserve yytext */ yyg->yy_hold_char = *++yyg->yy_c_buf_p; YY_CURRENT_BUFFER_LVALUE->yy_at_bol = (c == '\n'); return c; } #endif /* ifndef YY_NO_INPUT */ /** Immediately switch to a different input stream. * @param input_file A readable stream. * @param yyscanner The scanner object. * @note This function does not reset the start condition to @c INITIAL . */ void langscan_c_lex_restart (FILE * input_file , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( ! YY_CURRENT_BUFFER ){ langscan_c_lex_ensure_buffer_stack (yyscanner); YY_CURRENT_BUFFER_LVALUE = langscan_c_lex__create_buffer(yyin,YY_BUF_SIZE ,yyscanner); } langscan_c_lex__init_buffer(YY_CURRENT_BUFFER,input_file ,yyscanner); langscan_c_lex__load_buffer_state(yyscanner ); } /** Switch to a different input buffer. * @param new_buffer The new input buffer. * @param yyscanner The scanner object. */ void langscan_c_lex__switch_to_buffer (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* TODO. We should be able to replace this entire function body * with * langscan_c_lex_pop_buffer_state(); * langscan_c_lex_push_buffer_state(new_buffer); */ langscan_c_lex_ensure_buffer_stack (yyscanner); if ( YY_CURRENT_BUFFER == new_buffer ) return; if ( YY_CURRENT_BUFFER ) { /* Flush out information for old buffer. */ *yyg->yy_c_buf_p = yyg->yy_hold_char; YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; } YY_CURRENT_BUFFER_LVALUE = new_buffer; langscan_c_lex__load_buffer_state(yyscanner ); /* We don't actually know whether we did this switch during * EOF (langscan_c_lex_wrap()) processing, but the only time this flag * is looked at is after langscan_c_lex_wrap() is called, so it's safe * to go ahead and always set it. */ yyg->yy_did_buffer_switch_on_eof = 1; } static void langscan_c_lex__load_buffer_state (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyg->yy_n_chars = YY_CURRENT_BUFFER_LVALUE->yy_n_chars; yyg->yytext_ptr = yyg->yy_c_buf_p = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos; yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file; yyg->yy_hold_char = *yyg->yy_c_buf_p; } /** Allocate and initialize an input buffer state. * @param file A readable stream. * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE. * @param yyscanner The scanner object. * @return the allocated buffer state. */ YY_BUFFER_STATE langscan_c_lex__create_buffer (FILE * file, int size , yyscan_t yyscanner) { YY_BUFFER_STATE b; b = (YY_BUFFER_STATE) langscan_c_lex_alloc(sizeof( struct yy_buffer_state ) ,yyscanner ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex__create_buffer()" ); b->yy_buf_size = size; /* yy_ch_buf has to be 2 characters longer than the size given because * we need to put in 2 end-of-buffer characters. */ b->yy_ch_buf = (char *) langscan_c_lex_alloc(b->yy_buf_size + 2 ,yyscanner ); if ( ! b->yy_ch_buf ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex__create_buffer()" ); b->yy_is_our_buffer = 1; langscan_c_lex__init_buffer(b,file ,yyscanner); return b; } /** Destroy the buffer. * @param b a buffer created with langscan_c_lex__create_buffer() * @param yyscanner The scanner object. */ void langscan_c_lex__delete_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( ! b ) return; if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; if ( b->yy_is_our_buffer ) langscan_c_lex_free((void *) b->yy_ch_buf ,yyscanner ); langscan_c_lex_free((void *) b ,yyscanner ); } #ifndef __cplusplus extern int isatty (int ); #endif /* __cplusplus */ /* Initializes or reinitializes a buffer. * This function is sometimes called more than once on the same buffer, * such as during a langscan_c_lex_restart() or at EOF. */ static void langscan_c_lex__init_buffer (YY_BUFFER_STATE b, FILE * file , yyscan_t yyscanner) { int oerrno = errno; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; langscan_c_lex__flush_buffer(b ,yyscanner); b->yy_input_file = file; b->yy_fill_buffer = 1; /* If b is the current buffer, then langscan_c_lex__init_buffer was _probably_ * called from langscan_c_lex_restart() or through yy_get_next_buffer. * In that case, we don't want to reset the lineno or column. */ if (b != YY_CURRENT_BUFFER){ b->yy_bs_lineno = 1; b->yy_bs_column = 0; } b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; errno = oerrno; } /** Discard all buffered characters. On the next scan, YY_INPUT will be called. * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER. * @param yyscanner The scanner object. */ void langscan_c_lex__flush_buffer (YY_BUFFER_STATE b , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if ( ! b ) return; b->yy_n_chars = 0; /* We always need two end-of-buffer characters. The first causes * a transition to the end-of-buffer state. The second causes * a jam in that state. */ b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR; b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR; b->yy_buf_pos = &b->yy_ch_buf[0]; b->yy_at_bol = 1; b->yy_buffer_status = YY_BUFFER_NEW; if ( b == YY_CURRENT_BUFFER ) langscan_c_lex__load_buffer_state(yyscanner ); } /** Pushes the new state onto the stack. The new state becomes * the current state. This function will allocate the stack * if necessary. * @param new_buffer The new state. * @param yyscanner The scanner object. */ void langscan_c_lex_push_buffer_state (YY_BUFFER_STATE new_buffer , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (new_buffer == NULL) return; langscan_c_lex_ensure_buffer_stack(yyscanner); /* This block is copied from langscan_c_lex__switch_to_buffer. */ if ( YY_CURRENT_BUFFER ) { /* Flush out information for old buffer. */ *yyg->yy_c_buf_p = yyg->yy_hold_char; YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = yyg->yy_c_buf_p; YY_CURRENT_BUFFER_LVALUE->yy_n_chars = yyg->yy_n_chars; } /* Only push if top exists. Otherwise, replace top. */ if (YY_CURRENT_BUFFER) yyg->yy_buffer_stack_top++; YY_CURRENT_BUFFER_LVALUE = new_buffer; /* copied from langscan_c_lex__switch_to_buffer. */ langscan_c_lex__load_buffer_state(yyscanner ); yyg->yy_did_buffer_switch_on_eof = 1; } /** Removes and deletes the top of the stack, if present. * The next element becomes the new top. * @param yyscanner The scanner object. */ void langscan_c_lex_pop_buffer_state (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (!YY_CURRENT_BUFFER) return; langscan_c_lex__delete_buffer(YY_CURRENT_BUFFER ,yyscanner); YY_CURRENT_BUFFER_LVALUE = NULL; if (yyg->yy_buffer_stack_top > 0) --yyg->yy_buffer_stack_top; if (YY_CURRENT_BUFFER) { langscan_c_lex__load_buffer_state(yyscanner ); yyg->yy_did_buffer_switch_on_eof = 1; } } /* Allocates the stack if it does not exist. * Guarantees space for at least one push. */ static void langscan_c_lex_ensure_buffer_stack (yyscan_t yyscanner) { int num_to_alloc; struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (!yyg->yy_buffer_stack) { /* First allocation is just for 2 elements, since we don't know if this * scanner will even need a stack. We use 2 instead of 1 to avoid an * immediate realloc on the next call. */ num_to_alloc = 1; yyg->yy_buffer_stack = (struct yy_buffer_state**)langscan_c_lex_alloc (num_to_alloc * sizeof(struct yy_buffer_state*) , yyscanner); if ( ! yyg->yy_buffer_stack ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex_ensure_buffer_stack()" ); memset(yyg->yy_buffer_stack, 0, num_to_alloc * sizeof(struct yy_buffer_state*)); yyg->yy_buffer_stack_max = num_to_alloc; yyg->yy_buffer_stack_top = 0; return; } if (yyg->yy_buffer_stack_top >= (yyg->yy_buffer_stack_max) - 1){ /* Increase the buffer to prepare for a possible push. */ int grow_size = 8 /* arbitrary grow size */; num_to_alloc = yyg->yy_buffer_stack_max + grow_size; yyg->yy_buffer_stack = (struct yy_buffer_state**)langscan_c_lex_realloc (yyg->yy_buffer_stack, num_to_alloc * sizeof(struct yy_buffer_state*) , yyscanner); if ( ! yyg->yy_buffer_stack ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex_ensure_buffer_stack()" ); /* zero only the new slots.*/ memset(yyg->yy_buffer_stack + yyg->yy_buffer_stack_max, 0, grow_size * sizeof(struct yy_buffer_state*)); yyg->yy_buffer_stack_max = num_to_alloc; } } /** Setup the input buffer state to scan directly from a user-specified character buffer. * @param base the character buffer * @param size the size in bytes of the character buffer * @param yyscanner The scanner object. * @return the newly allocated buffer state object. */ YY_BUFFER_STATE langscan_c_lex__scan_buffer (char * base, yy_size_t size , yyscan_t yyscanner) { YY_BUFFER_STATE b; if ( size < 2 || base[size-2] != YY_END_OF_BUFFER_CHAR || base[size-1] != YY_END_OF_BUFFER_CHAR ) /* They forgot to leave room for the EOB's. */ return 0; b = (YY_BUFFER_STATE) langscan_c_lex_alloc(sizeof( struct yy_buffer_state ) ,yyscanner ); if ( ! b ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex__scan_buffer()" ); b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */ b->yy_buf_pos = b->yy_ch_buf = base; b->yy_is_our_buffer = 0; b->yy_input_file = 0; b->yy_n_chars = b->yy_buf_size; b->yy_is_interactive = 0; b->yy_at_bol = 1; b->yy_fill_buffer = 0; b->yy_buffer_status = YY_BUFFER_NEW; langscan_c_lex__switch_to_buffer(b ,yyscanner ); return b; } /** Setup the input buffer state to scan a string. The next call to langscan_c_lex_lex() will * scan from a @e copy of @a str. * @param yystr a NUL-terminated string to scan * @param yyscanner The scanner object. * @return the newly allocated buffer state object. * @note If you want to scan bytes that may contain NUL values, then use * langscan_c_lex__scan_bytes() instead. */ YY_BUFFER_STATE langscan_c_lex__scan_string (yyconst char * yystr , yyscan_t yyscanner) { return langscan_c_lex__scan_bytes(yystr,strlen(yystr) ,yyscanner); } /** Setup the input buffer state to scan the given bytes. The next call to langscan_c_lex_lex() will * scan from a @e copy of @a bytes. * @param yybytes the byte buffer to scan * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes. * @param yyscanner The scanner object. * @return the newly allocated buffer state object. */ YY_BUFFER_STATE langscan_c_lex__scan_bytes (yyconst char * yybytes, int _yybytes_len , yyscan_t yyscanner) { YY_BUFFER_STATE b; char *buf; yy_size_t n; int i; /* Get memory for full buffer, including space for trailing EOB's. */ n = _yybytes_len + 2; buf = (char *) langscan_c_lex_alloc(n ,yyscanner ); if ( ! buf ) YY_FATAL_ERROR( "out of dynamic memory in langscan_c_lex__scan_bytes()" ); for ( i = 0; i < _yybytes_len; ++i ) buf[i] = yybytes[i]; buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR; b = langscan_c_lex__scan_buffer(buf,n ,yyscanner); if ( ! b ) YY_FATAL_ERROR( "bad buffer in langscan_c_lex__scan_bytes()" ); /* It's okay to grow etc. this buffer, and we should throw it * away when we're done. */ b->yy_is_our_buffer = 1; return b; } #ifndef YY_EXIT_FAILURE #define YY_EXIT_FAILURE 2 #endif static void yy_fatal_error (yyconst char* msg , yyscan_t yyscanner) { (void) fprintf( stderr, "%s\n", msg ); exit( YY_EXIT_FAILURE ); } /* Redefine yyless() so it works in section 3 code. */ #undef yyless #define yyless(n) \ do \ { \ /* Undo effects of setting up yytext. */ \ int yyless_macro_arg = (n); \ YY_LESS_LINENO(yyless_macro_arg);\ yytext[yyleng] = yyg->yy_hold_char; \ yyg->yy_c_buf_p = yytext + yyless_macro_arg; \ yyg->yy_hold_char = *yyg->yy_c_buf_p; \ *yyg->yy_c_buf_p = '\0'; \ yyleng = yyless_macro_arg; \ } \ while ( 0 ) /* Accessor methods (get/set functions) to struct members. */ /** Get the user-defined data for this scanner. * @param yyscanner The scanner object. */ YY_EXTRA_TYPE langscan_c_lex_get_extra (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyextra; } /** Get the current line number. * @param yyscanner The scanner object. */ int langscan_c_lex_get_lineno (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (! YY_CURRENT_BUFFER) return 0; return yylineno; } /** Get the current column number. * @param yyscanner The scanner object. */ int langscan_c_lex_get_column (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; if (! YY_CURRENT_BUFFER) return 0; return yycolumn; } /** Get the input stream. * @param yyscanner The scanner object. */ FILE *langscan_c_lex_get_in (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyin; } /** Get the output stream. * @param yyscanner The scanner object. */ FILE *langscan_c_lex_get_out (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyout; } /** Get the length of the current token. * @param yyscanner The scanner object. */ int langscan_c_lex_get_leng (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yyleng; } /** Get the current token. * @param yyscanner The scanner object. */ char *langscan_c_lex_get_text (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yytext; } /** Set the user-defined data. This data is never touched by the scanner. * @param user_defined The data to be associated with this scanner. * @param yyscanner The scanner object. */ void langscan_c_lex_set_extra (YY_EXTRA_TYPE user_defined , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyextra = user_defined ; } /** Set the current line number. * @param line_number * @param yyscanner The scanner object. */ void langscan_c_lex_set_lineno (int line_number , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* lineno is only valid if an input buffer exists. */ if (! YY_CURRENT_BUFFER ) yy_fatal_error( "langscan_c_lex_set_lineno called with no buffer" , yyscanner); yylineno = line_number; } /** Set the current column. * @param line_number * @param yyscanner The scanner object. */ void langscan_c_lex_set_column (int column_no , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* column is only valid if an input buffer exists. */ if (! YY_CURRENT_BUFFER ) yy_fatal_error( "langscan_c_lex_set_column called with no buffer" , yyscanner); yycolumn = column_no; } /** Set the input stream. This does not discard the current * input buffer. * @param in_str A readable stream. * @param yyscanner The scanner object. * @see langscan_c_lex__switch_to_buffer */ void langscan_c_lex_set_in (FILE * in_str , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyin = in_str ; } void langscan_c_lex_set_out (FILE * out_str , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yyout = out_str ; } int langscan_c_lex_get_debug (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; return yy_flex_debug; } void langscan_c_lex_set_debug (int bdebug , yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; yy_flex_debug = bdebug ; } /* Accessor methods for yylval and yylloc */ /* User-visible API */ /* langscan_c_lex_lex_init is special because it creates the scanner itself, so it is * the ONLY reentrant function that doesn't take the scanner as the last argument. * That's why we explicitly handle the declaration, instead of using our macros. */ int langscan_c_lex_lex_init(yyscan_t* ptr_yy_globals) { if (ptr_yy_globals == NULL){ errno = EINVAL; return 1; } *ptr_yy_globals = (yyscan_t) langscan_c_lex_alloc ( sizeof( struct yyguts_t ), NULL ); if (*ptr_yy_globals == NULL){ errno = ENOMEM; return 1; } /* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */ memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t)); return yy_init_globals ( *ptr_yy_globals ); } /* langscan_c_lex_lex_init_extra has the same functionality as langscan_c_lex_lex_init, but follows the * convention of taking the scanner as the last argument. Note however, that * this is a *pointer* to a scanner, as it will be allocated by this call (and * is the reason, too, why this function also must handle its own declaration). * The user defined value in the first argument will be available to langscan_c_lex_alloc in * the yyextra field. */ int langscan_c_lex_lex_init_extra(YY_EXTRA_TYPE yy_user_defined,yyscan_t* ptr_yy_globals ) { struct yyguts_t dummy_yyguts; langscan_c_lex_set_extra (yy_user_defined, &dummy_yyguts); if (ptr_yy_globals == NULL){ errno = EINVAL; return 1; } *ptr_yy_globals = (yyscan_t) langscan_c_lex_alloc ( sizeof( struct yyguts_t ), &dummy_yyguts ); if (*ptr_yy_globals == NULL){ errno = ENOMEM; return 1; } /* By setting to 0xAA, we expose bugs in yy_init_globals. Leave at 0x00 for releases. */ memset(*ptr_yy_globals,0x00,sizeof(struct yyguts_t)); langscan_c_lex_set_extra (yy_user_defined, *ptr_yy_globals); return yy_init_globals ( *ptr_yy_globals ); } static int yy_init_globals (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* Initialization is the same as for the non-reentrant scanner. * This function is called from langscan_c_lex_lex_destroy(), so don't allocate here. */ yyg->yy_buffer_stack = 0; yyg->yy_buffer_stack_top = 0; yyg->yy_buffer_stack_max = 0; yyg->yy_c_buf_p = (char *) 0; yyg->yy_init = 0; yyg->yy_start = 0; yyg->yy_start_stack_ptr = 0; yyg->yy_start_stack_depth = 0; yyg->yy_start_stack = NULL; /* Defined in main.c */ #ifdef YY_STDINIT yyin = stdin; yyout = stdout; #else yyin = (FILE *) 0; yyout = (FILE *) 0; #endif /* For future reference: Set errno on error, since we are called by * langscan_c_lex_lex_init() */ return 0; } /* langscan_c_lex_lex_destroy is for both reentrant and non-reentrant scanners. */ int langscan_c_lex_lex_destroy (yyscan_t yyscanner) { struct yyguts_t * yyg = (struct yyguts_t*)yyscanner; /* Pop the buffer stack, destroying each element. */ while(YY_CURRENT_BUFFER){ langscan_c_lex__delete_buffer(YY_CURRENT_BUFFER ,yyscanner ); YY_CURRENT_BUFFER_LVALUE = NULL; langscan_c_lex_pop_buffer_state(yyscanner); } /* Destroy the stack itself. */ langscan_c_lex_free(yyg->yy_buffer_stack ,yyscanner); yyg->yy_buffer_stack = NULL; /* Destroy the start condition stack. */ langscan_c_lex_free(yyg->yy_start_stack ,yyscanner ); yyg->yy_start_stack = NULL; /* Reset the globals. This is important in a non-reentrant scanner so the next time * langscan_c_lex_lex() is called, initialization will occur. */ yy_init_globals( yyscanner); /* Destroy the main struct (reentrant only). */ langscan_c_lex_free ( yyscanner , yyscanner ); yyscanner = NULL; return 0; } /* * Internal utility routines. */ #ifndef yytext_ptr static void yy_flex_strncpy (char* s1, yyconst char * s2, int n , yyscan_t yyscanner) { register int i; for ( i = 0; i < n; ++i ) s1[i] = s2[i]; } #endif #ifdef YY_NEED_STRLEN static int yy_flex_strlen (yyconst char * s , yyscan_t yyscanner) { register int n; for ( n = 0; s[n]; ++n ) ; return n; } #endif void *langscan_c_lex_alloc (yy_size_t size , yyscan_t yyscanner) { return (void *) malloc( size ); } void *langscan_c_lex_realloc (void * ptr, yy_size_t size , yyscan_t yyscanner) { /* The cast to (char *) in the following accommodates both * implementations that use char* generic pointers, and those * that use void* generic pointers. It works with the latter * because both ANSI C and C++ allow castless assignment from * any pointer type to void*, and deal with argument conversions * as though doing an assignment. */ return (void *) realloc( (char *) ptr, size ); } void langscan_c_lex_free (void * ptr , yyscan_t yyscanner) { free( (char *) ptr ); /* see langscan_c_lex_realloc() for (char *) cast */ } #define YYTABLES_NAME "yytables" static void update_pos( langscan_c_lex_extra_t *extra, char *text, int leng) { int i, j; extra->beg_byteno = extra->end_byteno; extra->beg_lineno = extra->end_lineno; extra->beg_columnno = extra->end_columnno; j = 0; for (i = 0; i < leng; i++) { if (text[i] == '\n') { extra->end_lineno++; j = i + 1; extra->end_columnno = 0; } } extra->end_columnno += leng - j; extra->end_byteno += leng; } static int ident_length(unsigned char *ptr, int max) { int len = 0; while (0 < max && (('0' <= *ptr && *ptr <= '9') || ('A' <= *ptr && *ptr <= 'Z') || ('a' <= *ptr && *ptr <= 'z') || *ptr == '_')) { ptr++; len++; max--; } return len; } langscan_c_tokenizer_t *langscan_c_make_tokenizer( size_t (*user_read)(void **user_data_p, char *buf, size_t maxlen), void *user_data) { langscan_c_tokenizer_t *tokenizer; langscan_c_lex_extra_t *extra; tokenizer = (langscan_c_tokenizer_t *)malloc(sizeof(langscan_c_tokenizer_t)); if (tokenizer == NULL) return NULL; extra = (langscan_c_lex_extra_t *)malloc(sizeof(langscan_c_lex_extra_t)); if (extra == NULL) return NULL; extra->user_read = user_read; extra->user_data = user_data; extra->beg_lineno = 1; extra->beg_columnno = 0; extra->beg_byteno = 0; extra->end_lineno = 1; extra->end_columnno = 0; extra->end_byteno = 0; extra->eof = 0; tokenizer->extra = extra; langscan_c_lex_lex_init(&tokenizer->scanner); langscan_c_lex_set_extra(extra, tokenizer->scanner); return tokenizer; } langscan_c_token_t langscan_c_get_token(langscan_c_tokenizer_t *tokenizer) { return langscan_c_lex_lex(tokenizer->scanner); } void langscan_c_free_tokenizer(langscan_c_tokenizer_t *tokenizer) { langscan_c_lex_extra_t *extra = langscan_c_lex_get_extra(tokenizer->scanner); free((void *)extra); langscan_c_lex_lex_destroy(tokenizer->scanner); free((void *)tokenizer); } user_read_t langscan_c_tokenizer_get_user_read(langscan_c_tokenizer_t *tokenizer) { return tokenizer->extra->user_read; } void *langscan_c_tokenizer_get_user_data(langscan_c_tokenizer_t *tokenizer) { return tokenizer->extra->user_data; } const char *langscan_c_token_name(langscan_c_token_t token) { static char *token_names[] = { "*eof*", #define LANGSCAN_C_TOKEN(name) #name, LANGSCAN_C_TOKEN_LIST #undef LANGSCAN_C_TOKEN }; return token_names[token]; }