LCOV - code coverage report
Current view: top level - libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source - cfglex.cxx (source / functions) Hit Total Coverage
Test: libreoffice_filtered.info Lines: 0 402 0.0 %
Date: 2012-12-27 Functions: 0 35 0.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : #line 2 "/usr/local/src/libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source/cfglex.cxx"
       2             : 
       3             : #line 4 "/usr/local/src/libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source/cfglex.cxx"
       4             : 
       5             : #define  YY_INT_ALIGNED short int
       6             : 
       7             : /* A lexical scanner generated by flex */
       8             : 
       9             : #define FLEX_SCANNER
      10             : #define YY_FLEX_MAJOR_VERSION 2
      11             : #define YY_FLEX_MINOR_VERSION 5
      12             : #define YY_FLEX_SUBMINOR_VERSION 35
      13             : #if YY_FLEX_SUBMINOR_VERSION > 0
      14             : #define FLEX_BETA
      15             : #endif
      16             : 
      17             : /* First, we deal with  platform-specific or compiler-specific issues. */
      18             : 
      19             : /* begin standard C headers. */
      20             : #include <stdio.h>
      21             : #include <string.h>
      22             : #include <errno.h>
      23             : #include <stdlib.h>
      24             : 
      25             : /* end standard C headers. */
      26             : 
      27             : /* flex integer type definitions */
      28             : 
      29             : #ifndef FLEXINT_H
      30             : #define FLEXINT_H
      31             : 
      32             : /* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
      33             : 
      34             : #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
      35             : 
      36             : /* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
      37             :  * if you want the limit (max/min) macros for int types. 
      38             :  */
      39             : #ifndef __STDC_LIMIT_MACROS
      40             : #define __STDC_LIMIT_MACROS 1
      41             : #endif
      42             : 
      43             : #include <inttypes.h>
      44             : typedef int8_t flex_int8_t;
      45             : typedef uint8_t flex_uint8_t;
      46             : typedef int16_t flex_int16_t;
      47             : typedef uint16_t flex_uint16_t;
      48             : typedef int32_t flex_int32_t;
      49             : typedef uint32_t flex_uint32_t;
      50             : #else
      51             : typedef signed char flex_int8_t;
      52             : typedef short int flex_int16_t;
      53             : typedef int flex_int32_t;
      54             : typedef unsigned char flex_uint8_t; 
      55             : typedef unsigned short int flex_uint16_t;
      56             : typedef unsigned int flex_uint32_t;
      57             : #endif /* ! C99 */
      58             : 
      59             : /* Limits of integral types. */
      60             : #ifndef INT8_MIN
      61             : #define INT8_MIN               (-128)
      62             : #endif
      63             : #ifndef INT16_MIN
      64             : #define INT16_MIN              (-32767-1)
      65             : #endif
      66             : #ifndef INT32_MIN
      67             : #define INT32_MIN              (-2147483647-1)
      68             : #endif
      69             : #ifndef INT8_MAX
      70             : #define INT8_MAX               (127)
      71             : #endif
      72             : #ifndef INT16_MAX
      73             : #define INT16_MAX              (32767)
      74             : #endif
      75             : #ifndef INT32_MAX
      76             : #define INT32_MAX              (2147483647)
      77             : #endif
      78             : #ifndef UINT8_MAX
      79             : #define UINT8_MAX              (255U)
      80             : #endif
      81             : #ifndef UINT16_MAX
      82             : #define UINT16_MAX             (65535U)
      83             : #endif
      84             : #ifndef UINT32_MAX
      85             : #define UINT32_MAX             (4294967295U)
      86             : #endif
      87             : 
      88             : #endif /* ! FLEXINT_H */
      89             : 
      90             : #ifdef __cplusplus
      91             : 
      92             : /* The "const" storage-class-modifier is valid. */
      93             : #define YY_USE_CONST
      94             : 
      95             : #else   /* ! __cplusplus */
      96             : 
      97             : /* C99 requires __STDC__ to be defined as 1. */
      98             : #if defined (__STDC__)
      99             : 
     100             : #define YY_USE_CONST
     101             : 
     102             : #endif  /* defined (__STDC__) */
     103             : #endif  /* ! __cplusplus */
     104             : 
     105             : #ifdef YY_USE_CONST
     106             : #define yyconst const
     107             : #else
     108             : #define yyconst
     109             : #endif
     110             : 
     111             : /* Returned upon end-of-file. */
     112             : #define YY_NULL 0
     113             : 
     114             : /* Promotes a possibly negative, possibly signed char to an unsigned
     115             :  * integer for use as an array index.  If the signed char is negative,
     116             :  * we want to instead treat it as an 8-bit unsigned char, hence the
     117             :  * double cast.
     118             :  */
     119             : #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
     120             : 
     121             : /* Enter a start condition.  This macro really ought to take a parameter,
     122             :  * but we do it the disgusting crufty way forced on us by the ()-less
     123             :  * definition of BEGIN.
     124             :  */
     125             : #define BEGIN (yy_start) = 1 + 2 *
     126             : 
     127             : /* Translate the current start state into a value that can be later handed
     128             :  * to BEGIN to return to the state.  The YYSTATE alias is for lex
     129             :  * compatibility.
     130             :  */
     131             : #define YY_START (((yy_start) - 1) / 2)
     132             : #define YYSTATE YY_START
     133             : 
     134             : /* Action number for EOF rule of a given start state. */
     135             : #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
     136             : 
     137             : /* Special action meaning "start processing a new file". */
     138             : #define YY_NEW_FILE yyrestart(yyin  )
     139             : 
     140             : #define YY_END_OF_BUFFER_CHAR 0
     141             : 
     142             : /* Size of default input buffer. */
     143             : #ifndef YY_BUF_SIZE
     144             : #define YY_BUF_SIZE 16384
     145             : #endif
     146             : 
     147             : /* The state buf must be large enough to hold one state per character in the main buffer.
     148             :  */
     149             : #define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
     150             : 
     151             : #ifndef YY_TYPEDEF_YY_BUFFER_STATE
     152             : #define YY_TYPEDEF_YY_BUFFER_STATE
     153             : typedef struct yy_buffer_state *YY_BUFFER_STATE;
     154             : #endif
     155             : 
     156             : extern int yyleng;
     157             : 
     158             : extern FILE *yyin, *yyout;
     159             : 
     160             : #define EOB_ACT_CONTINUE_SCAN 0
     161             : #define EOB_ACT_END_OF_FILE 1
     162             : #define EOB_ACT_LAST_MATCH 2
     163             : 
     164             :     /* Note: We specifically omit the test for yy_rule_can_match_eol because it requires
     165             :      *       access to the local variable yy_act. Since yyless() is a macro, it would break
     166             :      *       existing scanners that call yyless() from OUTSIDE yylex. 
     167             :      *       One obvious solution it to make yy_act a global. I tried that, and saw
     168             :      *       a 5% performance hit in a non-yylineno scanner, because yy_act is
     169             :      *       normally declared as a register variable-- so it is not worth it.
     170             :      */
     171             :     #define  YY_LESS_LINENO(n) \
     172             :             do { \
     173             :                 int yyl;\
     174             :                 for ( yyl = n; yyl < yyleng; ++yyl )\
     175             :                     if ( yytext[yyl] == '\n' )\
     176             :                         --yylineno;\
     177             :             }while(0)
     178             :     
     179             : /* Return all but the first "n" matched characters back to the input stream. */
     180             : #define yyless(n) \
     181             :         do \
     182             :                 { \
     183             :                 /* Undo effects of setting up yytext. */ \
     184             :         int yyless_macro_arg = (n); \
     185             :         YY_LESS_LINENO(yyless_macro_arg);\
     186             :                 *yy_cp = (yy_hold_char); \
     187             :                 YY_RESTORE_YY_MORE_OFFSET \
     188             :                 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
     189             :                 YY_DO_BEFORE_ACTION; /* set up yytext again */ \
     190             :                 } \
     191             :         while ( 0 )
     192             : 
     193             : #define unput(c) yyunput( c, (yytext_ptr)  )
     194             : 
     195             : #ifndef YY_TYPEDEF_YY_SIZE_T
     196             : #define YY_TYPEDEF_YY_SIZE_T
     197             : typedef size_t yy_size_t;
     198             : #endif
     199             : 
     200             : #ifndef YY_STRUCT_YY_BUFFER_STATE
     201             : #define YY_STRUCT_YY_BUFFER_STATE
     202             : struct yy_buffer_state
     203             :         {
     204             :         FILE *yy_input_file;
     205             : 
     206             :         char *yy_ch_buf;                /* input buffer */
     207             :         char *yy_buf_pos;               /* current position in input buffer */
     208             : 
     209             :         /* Size of input buffer in bytes, not including room for EOB
     210             :          * characters.
     211             :          */
     212             :         yy_size_t yy_buf_size;
     213             : 
     214             :         /* Number of characters read into yy_ch_buf, not including EOB
     215             :          * characters.
     216             :          */
     217             :         int yy_n_chars;
     218             : 
     219             :         /* Whether we "own" the buffer - i.e., we know we created it,
     220             :          * and can realloc() it to grow it, and should free() it to
     221             :          * delete it.
     222             :          */
     223             :         int yy_is_our_buffer;
     224             : 
     225             :         /* Whether this is an "interactive" input source; if so, and
     226             :          * if we're using stdio for input, then we want to use getc()
     227             :          * instead of fread(), to make sure we stop fetching input after
     228             :          * each newline.
     229             :          */
     230             :         int yy_is_interactive;
     231             : 
     232             :         /* Whether we're considered to be at the beginning of a line.
     233             :          * If so, '^' rules will be active on the next match, otherwise
     234             :          * not.
     235             :          */
     236             :         int yy_at_bol;
     237             : 
     238             :     int yy_bs_lineno; /**< The line count. */
     239             :     int yy_bs_column; /**< The column count. */
     240             :     
     241             :         /* Whether to try to fill the input buffer when we reach the
     242             :          * end of it.
     243             :          */
     244             :         int yy_fill_buffer;
     245             : 
     246             :         int yy_buffer_status;
     247             : 
     248             : #define YY_BUFFER_NEW 0
     249             : #define YY_BUFFER_NORMAL 1
     250             :         /* When an EOF's been seen but there's still some text to process
     251             :          * then we mark the buffer as YY_EOF_PENDING, to indicate that we
     252             :          * shouldn't try reading from the input source any more.  We might
     253             :          * still have a bunch of tokens to match, though, because of
     254             :          * possible backing-up.
     255             :          *
     256             :          * When we actually see the EOF, we change the status to "new"
     257             :          * (via yyrestart()), so that the user can continue scanning by
     258             :          * just pointing yyin at a new input file.
     259             :          */
     260             : #define YY_BUFFER_EOF_PENDING 2
     261             : 
     262             :         };
     263             : #endif /* !YY_STRUCT_YY_BUFFER_STATE */
     264             : 
     265             : /* Stack of input buffers. */
     266             : static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
     267             : static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
     268             : static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
     269             : 
     270             : /* We provide macros for accessing buffer states in case in the
     271             :  * future we want to put the buffer states in a more general
     272             :  * "scanner state".
     273             :  *
     274             :  * Returns the top of the stack, or NULL.
     275             :  */
     276             : #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
     277             :                           ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
     278             :                           : NULL)
     279             : 
     280             : /* Same as previous macro, but useful when we know that the buffer stack is not
     281             :  * NULL or when we need an lvalue. For internal use only.
     282             :  */
     283             : #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
     284             : 
     285             : /* yy_hold_char holds the character lost when yytext is formed. */
     286             : static char yy_hold_char;
     287             : static int yy_n_chars;          /* number of characters read into yy_ch_buf */
     288             : int yyleng;
     289             : 
     290             : /* Points to current character in buffer. */
     291             : static char *yy_c_buf_p = (char *) 0;
     292             : static int yy_init = 0;         /* whether we need to initialize */
     293             : static int yy_start = 0;        /* start state number */
     294             : 
     295             : /* Flag which is used to allow yywrap()'s to do buffer switches
     296             :  * instead of setting up a fresh yyin.  A bit of a hack ...
     297             :  */
     298             : static int yy_did_buffer_switch_on_eof;
     299             : 
     300             : void yyrestart (FILE *input_file  );
     301             : void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
     302             : YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
     303             : void yy_delete_buffer (YY_BUFFER_STATE b  );
     304             : void yy_flush_buffer (YY_BUFFER_STATE b  );
     305             : void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
     306             : void yypop_buffer_state (void );
     307             : 
     308             : static void yyensure_buffer_stack (void );
     309             : static void yy_load_buffer_state (void );
     310             : static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );
     311             : 
     312             : #define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )
     313             : 
     314             : YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
     315             : YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
     316             : YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,int len  );
     317             : 
     318             : void *yyalloc (yy_size_t  );
     319             : void *yyrealloc (void *,yy_size_t  );
     320             : void yyfree (void *  );
     321             : 
     322             : #define yy_new_buffer yy_create_buffer
     323             : 
     324             : #define yy_set_interactive(is_interactive) \
     325             :         { \
     326             :         if ( ! YY_CURRENT_BUFFER ){ \
     327             :         yyensure_buffer_stack (); \
     328             :                 YY_CURRENT_BUFFER_LVALUE =    \
     329             :             yy_create_buffer(yyin,YY_BUF_SIZE ); \
     330             :         } \
     331             :         YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
     332             :         }
     333             : 
     334             : #define yy_set_bol(at_bol) \
     335             :         { \
     336             :         if ( ! YY_CURRENT_BUFFER ){\
     337             :         yyensure_buffer_stack (); \
     338             :                 YY_CURRENT_BUFFER_LVALUE =    \
     339             :             yy_create_buffer(yyin,YY_BUF_SIZE ); \
     340             :         } \
     341             :         YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
     342             :         }
     343             : 
     344             : #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
     345             : 
     346             : /* Begin user sect3 */
     347             : 
     348             : typedef unsigned char YY_CHAR;
     349             : 
     350             : FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
     351             : 
     352             : typedef int yy_state_type;
     353             : 
     354             : extern int yylineno;
     355             : 
     356             : int yylineno = 1;
     357             : 
     358             : extern char *yytext;
     359             : #define yytext_ptr yytext
     360             : 
     361             : static yy_state_type yy_get_previous_state (void );
     362             : static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
     363             : static int yy_get_next_buffer (void );
     364             : static void yy_fatal_error (yyconst char msg[]  );
     365             : 
     366             : /* Done after the current pattern has been matched and before the
     367             :  * corresponding action - sets up yytext.
     368             :  */
     369             : #define YY_DO_BEFORE_ACTION \
     370             :         (yytext_ptr) = yy_bp; \
     371             :         yyleng = (size_t) (yy_cp - yy_bp); \
     372             :         (yy_hold_char) = *yy_cp; \
     373             :         *yy_cp = '\0'; \
     374             :         (yy_c_buf_p) = yy_cp;
     375             : 
     376             : #define YY_NUM_RULES 10
     377             : #define YY_END_OF_BUFFER 11
     378             : /* This struct is not used in this scanner,
     379             :    but its presence is necessary. */
     380             : struct yy_trans_info
     381             :         {
     382             :         flex_int32_t yy_verify;
     383             :         flex_int32_t yy_nxt;
     384             :         };
     385             : static yyconst flex_int16_t yy_accept[1410] =
     386             :     {   0,
     387             :         0,    0,   11,    9,    9,    0,    0,    0,    0,    8,
     388             :         0,    0,    0,    0,    0,    4,    0,    0,    4,    0,
     389             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     390             :         0,    2,    0,    0,    0,    0,    4,    0,    0,    0,
     391             :         2,    0,    4,    0,    0,    0,    6,    2,    0,    0,
     392             :         7,    0,    7,    0,    0,    7,    0,    0,    2,    0,
     393             :         0,    0,    0,    0,    0,    0,    7,    0,    0,    2,
     394             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     395             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     396             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     397             : 
     398             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     399             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     400             :         0,    0,    0,    0,    5,    0,    0,    0,    0,    0,
     401             :         0,    0,    0,    0,    0,    0,    5,    0,    2,    0,
     402             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     403             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     404             :         0,    4,    0,    0,    0,    0,    0,    0,    4,    0,
     405             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     406             :         0,    0,    0,    0,    0,    7,    0,    0,    0,    0,
     407             :         4,    0,    0,    0,    0,    0,    0,    3,    0,    2,
     408             : 
     409             :         0,    0,    0,    0,    0,    0,    4,    0,    0,    0,
     410             :         0,    0,    0,    3,    0,    0,    0,    0,    0,    0,
     411             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    3,
     412             :         0,    2,    0,    0,    0,    0,    0,    0,    7,    0,
     413             :         0,    0,    7,    0,    0,    0,    0,    0,    0,    0,
     414             :         0,    3,    0,    2,    0,    0,    0,    0,    0,    3,
     415             :         0,    2,    0,    3,    0,    2,    0,    0,    0,    0,
     416             :         0,    0,    0,    0,    0,    3,    0,    0,    0,    0,
     417             :         0,    3,    0,    0,    0,    0,    0,    0,    0,    0,
     418             :         0,    0,    0,    3,    0,    2,    0,    0,    0,    0,
     419             : 
     420             :         7,    0,    0,    0,    0,    0,    0,    3,    0,    0,
     421             :         0,    0,    0,    0,    3,    0,    2,    0,    0,    3,
     422             :         0,    2,    0,    0,    0,    3,    0,    2,    0,    0,
     423             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     424             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     425             :         0,    3,    0,    0,    0,    0,    0,    0,    3,    0,
     426             :         2,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     427             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     428             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     429             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     430             : 
     431             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     432             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     433             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     434             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     435             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     436             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     437             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     438             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     439             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     440             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     441             : 
     442             :         5,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     443             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     444             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     445             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    5,
     446             :         0,    0,    0,    0,    0,    0,    3,    0,    2,    0,
     447             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     448             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     449             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     450             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    3,
     451             :         0,    0,    0,    3,    0,    2,    0,    0,    0,    0,
     452             : 
     453             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     454             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     455             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     456             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     457             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     458             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     459             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     460             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     461             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     462             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     463             : 
     464             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     465             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     466             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     467             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     468             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     469             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     470             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     471             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     472             :         0,    0,    0,    0,    0,    0,    0,    3,    0,    0,
     473             :         0,    0,    0,    0,    0,    0,    0,    3,    0,    0,
     474             : 
     475             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     476             :         0,    0,    0,    3,    0,    0,    0,    0,    0,    0,
     477             :         0,    0,    0,    0,    0,    0,    0,    3,    0,    0,
     478             :         0,    0,    0,    3,    0,    0,    0,    3,    0,    1,
     479             :         0,    0,    0,    0,    0,    0,    0,    0,    3,    0,
     480             :         0,    1,    0,    0,    0,    3,    0,    0,    0,    0,
     481             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     482             :         0,    3,    0,    1,    0,    0,    0,    0,    0,    0,
     483             :         0,    0,    3,    0,    0,    0,    0,    0,    3,    0,
     484             :         0,    0,    3,    0,    1,    0,    0,    0,    0,    3,
     485             : 
     486             :         0,    1,    0,    0,    1,    0,    0,    0,    1,    0,
     487             :         0,    1,    0,    0,    0,    0,    0,    0,    0,    0,
     488             :         0,    0,    0,    1,    0,    0,    0,    0,    0,    3,
     489             :         0,    0,    1,    0,    0,    0,    3,    0,    1,    0,
     490             :         0,    1,    0,    0,    0,    0,    1,    0,    0,    0,
     491             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     492             :         0,    0,    0,    0,    0,    0,    0,    1,    0,    0,
     493             :         0,    0,    1,    0,    0,    0,    0,    0,    0,    0,
     494             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     495             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     496             : 
     497             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     498             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     499             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     500             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     501             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     502             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     503             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     504             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     505             :         0,    0,    0,    0,    3,    0,    0,    0,    0,    0,
     506             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     507             : 
     508             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     509             :         0,    0,    0,    0,    0,    3,    0,    0,    0,    3,
     510             :         0,    1,    0,    0,    0,    0,    0,    0,    0,    0,
     511             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     512             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    1,
     513             :         0,    0,    1,    0,    0,    0,    0,    0,    0,    0,
     514             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     515             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     516             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     517             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     518             : 
     519             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     520             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     521             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     522             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     523             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     524             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     525             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     526             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     527             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     528             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     529             : 
     530             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     531             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     532             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     533             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     534             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     535             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     536             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     537             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     538             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     539             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
     540             : 
     541             :         0,    0,    0,    0,    0,    0,    0,    0,    0
     542             :     } ;
     543             : 
     544             : static yyconst flex_int32_t yy_ec[256] =
     545             :     {   0,
     546             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    2,
     547             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     548             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     549             :         1,    1,    3,    4,    1,    1,    1,    1,    1,    1,
     550             :         1,    1,    1,    1,    5,    1,    6,    1,    1,    1,
     551             :         1,    1,    1,    1,    1,    1,    1,    7,    1,    8,
     552             :         9,   10,    1,    1,    1,    1,   11,   12,   13,    1,
     553             :         1,    1,    1,    1,    1,    1,    1,    1,   14,   15,
     554             :         1,    1,    1,   16,    1,    1,    1,    1,   17,    1,
     555             :         1,    1,    1,    1,    1,    1,   18,    1,    1,    1,
     556             : 
     557             :        19,    1,   20,    1,    1,    1,    1,   21,   22,   23,
     558             :        24,    1,    1,   25,   26,   27,    1,    1,    1,   28,
     559             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     560             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     561             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     562             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     563             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     564             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     565             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     566             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     567             : 
     568             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     569             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     570             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     571             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     572             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     573             :         1,    1,    1,    1,    1
     574             :     } ;
     575             : 
     576             : static yyconst flex_int32_t yy_meta[29] =
     577             :     {   0,
     578             :         1,    2,    1,    1,    1,    1,    1,    3,    1,    4,
     579             :         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
     580             :         1,    1,    1,    1,    1,    1,    1,    1
     581             :     } ;
     582             : 
     583             : static yyconst flex_int16_t yy_base[1483] =
     584             :     {   0,
     585             :      2583, 2582, 2589, 5866,    0,   27,    4,   54,   81,    2,
     586             :       108, 2566,    6,   11,    1, 2581,    0,    8, 5866,   16,
     587             :        25, 2557,  135,   39, 2578,  162,  189,  216,   12,   40,
     588             :       243, 2577,  270,   41, 2572,   52, 2575,    3,   67,  297,
     589             :      2574,   42, 5866,   53,   68,   48,   84, 2573,  324,  351,
     590             :      2572,   51, 5866,   94,   96, 2571,  378,   71, 2570,   50,
     591             :       405,   98,  110,   79,  432,  459, 5866,   93,  122, 2569,
     592             :       486,   58,  106,  513,  124,  132,  116,  540,  567,  137,
     593             :       152,  594,  127,   83,  621,  146,  151,  118,  648,  675,
     594             :       168,  179,  702,  111,  148,  729,  174,  178,  155,  756,
     595             : 
     596             :       783,  176,  195,  810,  171,  165,  837,  193,  205,  186,
     597             :       222,  864,  202,  224,  891,  209,  226,  918,  231,  233,
     598             :       234,  254,  227,  268, 2567,  945,  972,  256,  255,  999,
     599             :       259,  235, 1026,  276,  284,  280, 5866,  283, 2565, 1053,
     600             :      1080,  281,  311, 1107,  273, 1134, 1161,  296, 1188,  309,
     601             :       308, 1215, 1242,  313,  328, 1269, 1296, 1323, 1350, 1377,
     602             :      2560,  234,  305, 1404,  338, 1431,  341, 1458, 2565, 1485,
     603             :       345,  353, 1512, 1539, 1566, 1593,  263, 1620,  340, 1647,
     604             :      1674, 1701, 1728, 1755, 2557,  311,  311, 2542, 1782, 1809,
     605             :       358, 1836, 1863,  367, 1890,    0, 2553, 1917, 2540,  361,
     606             : 
     607             :      1926,  372, 2538, 2539, 2554, 1935, 2554, 1962, 2552, 2551,
     608             :      1989, 2016,    0,  381, 2533, 2550,  388,  381,  388,  395,
     609             :      2043, 2070,  391, 2097, 2548, 2124,  408,    0, 2542, 2151,
     610             :      2529,  416,  408,  403,  425, 2160,  435, 2187, 2546, 2214,
     611             :      2241, 2268,  437, 2295, 2527, 2543, 2322,  444, 2349,    0,
     612             :      2536, 2376, 2522,  440, 2520, 2521,  447,    0, 2530, 2385,
     613             :      2515,  445,  337, 2526, 2393, 2420, 2429, 2525, 2438, 2447,
     614             :      2513, 2509, 2525,  436, 2456,  460, 2483,  451,  462,  487,
     615             :       496,  501, 2510,  477,  471, 2525, 2510, 2537, 2564,  503,
     616             :       507,  422, 2591, 2519,  508, 2618, 2507,  516,  472, 2627,
     617             : 
     618             :      2523, 2654, 2521, 2520, 2681, 2708,    0,  529, 2502,  512,
     619             :       522,  537,    0, 2513, 2735, 2500,  518,  544,  549, 2511,
     620             :      2743, 2770, 2498, 2493, 2509, 2505,  550, 2779, 2492,  144,
     621             :      2787, 2503, 2504, 2487,  529,  459,  557,  554, 2500,  349,
     622             :       569,  464,  558,  580,  582, 2814,  598, 2499,  581,  592,
     623             :      2841,  607, 2868,  602,  607, 2483,  594,  625, 2493,  629,
     624             :      2895, 2481,  616,  638, 2903, 2494, 2495, 2478,  625, 2491,
     625             :       534, 2929, 2476, 2469, 2477,  639,  380,  643,  647, 2473,
     626             :       651,  657,  576,  650,  661,  660, 2956,  679, 2471,  669,
     627             :       679,  572,  687,  693, 2483,  694,  697,  712, 2482,  705,
     628             : 
     629             :       716, 2982, 2467, 2459, 2465,  718, 2461,  399, 3008, 2463,
     630             :      2455, 2456,  275,  673,  727,  737, 2460,  719,  729,  684,
     631             :       738,  745,  762, 3035,  760, 2459,  731,  756,  707,  769,
     632             :       775, 2455,  772,  782,  795, 2454,  787,  803, 3061, 2456,
     633             :      2448, 2449,  805, 2453,  753, 3087, 2447, 2451, 2448,   63,
     634             :       530,  802,  796, 2444,  812,  824,  649,  826,  827,  831,
     635             :      3114,  844, 2442,  835,  851,  761,  853,  859, 2445,  863,
     636             :       856,  879, 2444,  877,  881, 3140, 2438, 2441, 2436,  888,
     637             :      2431,  614, 3166, 2432, 2427, 2438,  695,  814,  890,  889,
     638             :      2425,  900,  908,  868,  913,  905,  930, 3193, 3220, 3247,
     639             : 
     640             :       863, 3274,  929, 2423,  921,  940,  911,  931,  937, 2418,
     641             :       943,  949,  958, 2415,  965,  970, 3300, 2416, 2411, 2423,
     642             :       983, 2409,  764, 3326, 2418, 2399, 2419,  941,  957,  975,
     643             :       980, 2411,  990,  999,  974, 1002, 1008, 1016, 3353, 2415,
     644             :      3380, 2413, 3407, 1021,    0, 2407, 3434, 2394, 1004, 1017,
     645             :      1029, 1033, 2405, 1040, 1042,  992, 1047, 1051, 2393, 1053,
     646             :      1063, 1069, 2392, 1065, 1084, 3442, 2402, 2384, 2405, 1090,
     647             :      2399,  324, 3468, 2403, 2385, 2377,  962,  833, 1073, 1097,
     648             :      2400, 1099, 2374,  854, 1089, 1119, 2395, 3495, 3522, 1123,
     649             :      3549, 1107, 1121, 2389, 1124, 3576, 2377, 1123, 1100, 1140,
     650             : 
     651             :      2393, 1134, 2366, 1131, 1152, 1155, 2383, 1154, 1165, 1173,
     652             :      2381, 1156, 1180, 3584, 2384, 2364, 2355, 1186, 2377, 2351,
     653             :      3610, 2348, 2357, 1181, 1016,  637, 1183,  893, 2346, 1201,
     654             :      1202, 1038, 1205, 1144, 1178, 1206, 1213, 1221, 2366, 1210,
     655             :      1229, 1229, 2344, 1236, 1231, 1058, 1233, 1256, 2367, 1242,
     656             :      2342, 1257, 2365, 1267, 2340, 3636, 2339, 2348, 1240, 1273,
     657             :      2337, 1264, 2336, 2336, 2339, 1136, 1151, 1269, 2356, 1285,
     658             :      2337, 1254, 1287, 2353,  788, 1288, 1298, 1306, 2335, 1310,
     659             :      1299, 1300, 1313, 2331, 1092, 1325, 1314, 2324, 1326, 1289,
     660             :      1335, 2321, 1344, 1333, 2320, 2320, 2323, 1331, 2322, 2325,
     661             : 
     662             :      2319,  562, 1345, 1186, 1352, 2318, 1364, 1190, 1274, 1368,
     663             :      1370, 1388, 2323, 1336, 1371, 1396, 2316, 1342, 1395, 2334,
     664             :      1377, 2315, 1375, 1397, 2314, 2317, 2311, 2310, 2329, 2326,
     665             :       491, 1406, 1398, 1422, 2324, 1418, 1407, 1262, 1425, 1416,
     666             :      1435, 2304, 1447, 1450, 1452, 2317, 1449, 1426, 1459, 2297,
     667             :      1472, 2296, 2315, 2313, 2311, 3663, 2288, 1385, 1475, 1453,
     668             :      3690, 2287, 1478, 1462, 1470, 1480, 1499, 1500, 2293, 1494,
     669             :      1515, 3717, 2285, 1507, 1479, 1526, 2306, 1530, 2305, 3744,
     670             :      2282, 2281, 3771, 3797, 3824,    0, 2297, 3851, 2284, 2279,
     671             :      3860, 3887, 1424, 3914, 3941,    0, 2293, 3968, 2280, 2273,
     672             : 
     673             :      3977, 1484, 1505, 1531, 1533, 1536, 2286, 1553, 1555, 4004,
     674             :      1555,    0, 2284, 4031, 2271, 2267, 1576, 1510, 4040, 2264,
     675             :      4067, 2263, 4094, 4120, 4147,    0, 2279, 4174, 2266, 2262,
     676             :      2261, 1563, 4182, 1499, 4208,    0, 2275, 4235, 2262, 4244,
     677             :      4253, 1541, 4262, 4271, 2262, 2264,    0, 2271, 4280, 2258,
     678             :       723, 4289, 4298, 4307, 4316, 4325, 2258, 2259, 4334,    0,
     679             :      2266, 2253, 1343, 1578, 1579, 1584, 1599, 2269, 1591, 2243,
     680             :      1608, 1556, 4357, 4384, 2247, 2249, 4393, 1563, 4420, 4447,
     681             :         0, 2256, 4474, 2243, 2239, 1609,    0, 2253, 4483, 2240,
     682             :      2236, 4491, 1572, 4517, 4544, 2239, 2241, 2240, 1625, 1622,
     683             : 
     684             :      4549, 1628, 1633, 1571, 4576, 2236, 2249, 2232, 4585, 2233,
     685             :      1622, 4594, 2246, 2229, 2229, 1623, 1535, 1641, 1414, 1651,
     686             :      2220, 1642, 1647, 1648, 4599, 2239, 2221,    0, 2231, 4626,
     687             :      2218, 1598, 4635, 2218, 2220, 1660, 1661, 4640, 4667, 2216,
     688             :      2217, 1667, 1589, 2227, 2210, 2209, 1675, 4672, 1026, 2224,
     689             :      2209, 2203, 2221, 1660, 2206, 2200, 2218, 1664, 1667, 1688,
     690             :      2218, 1668, 1686, 2199, 4695, 2200, 2194, 4722, 2193, 1676,
     691             :      2206, 2189, 1691, 4727, 2204, 2187, 1301, 2188, 2182, 2181,
     692             :      4750, 1678, 2185, 2187, 2183, 2182, 1690, 2184, 2180, 2179,
     693             :      1692, 1704, 1697, 1717, 2175, 4773, 2180, 2175, 2187, 1701,
     694             : 
     695             :      2172, 2166, 4796, 2166, 2160, 1706, 2167, 2163, 2162, 4819,
     696             :      1699, 2164, 2158, 2162, 2161, 1719, 2155, 2159, 2158, 1721,
     697             :      1728, 1580, 1740, 2170, 4842, 2151, 2155, 2151, 1726, 2153,
     698             :      2148, 4865, 2150, 2146, 1731, 2143, 2147, 2142, 4888, 1732,
     699             :      2135, 2136, 2127, 2128, 1742, 2130, 2122, 2125, 1748, 1763,
     700             :      1767, 4915, 2120, 4938, 2126, 2118, 2126, 1752, 2120, 2124,
     701             :      4961, 2118, 2122, 1753, 2119, 2111, 2110, 4984, 1652, 2116,
     702             :      2126, 2114, 2111, 1724, 2120, 2108, 2104, 1755, 5011, 1769,
     703             :      5038, 1789,    0, 2113, 5065, 2100, 2096, 5070, 2111, 2100,
     704             :      2095, 1776, 2097, 2089, 5093, 2094, 2086, 1715, 2103, 2092,
     705             : 
     706             :      2091, 5116, 1771, 2100, 2104, 2102, 2096, 1759, 2100, 2098,
     707             :      2092, 1781, 5143,    0, 2090, 5170, 2075, 1779, 1799, 1796,
     708             :      5175, 5202, 2075, 2077, 5207, 2090, 2089, 2071, 1794, 2081,
     709             :      2070, 5230, 2079, 2068, 1803, 2082, 2081, 2080, 5253, 1765,
     710             :      2079, 2054,    0, 2077, 1804, 2051,    0, 2074, 1810, 5280,
     711             :      2056, 1800, 1814, 5285, 2069, 2050, 5310, 2042,    0, 2060,
     712             :      1809, 2064, 2063, 5333, 2062, 2061, 1819, 2036,    0,    0,
     713             :      5358, 2035, 2034, 1825, 2033,    0, 1828, 2032,    0, 2052,
     714             :      1812, 5381, 2037, 2031, 2028, 1831, 2051, 1835, 2026,    0,
     715             :      5406, 2024,    0, 2022, 1838, 2021, 1839, 2025, 1840, 2023,
     716             : 
     717             :      1846, 2022, 1826, 5429, 2024, 2020, 2017, 2011,    0, 1850,
     718             :      2010, 1854, 2014, 2013, 2011, 2011, 2009, 2009, 2013, 1853,
     719             :      5452, 2007, 2011, 2004, 1858, 2004, 2002, 1999, 1998, 2016,
     720             :      1995, 2011, 1991, 1991, 1859, 5475, 1993, 1985, 2006, 1987,
     721             :      1985, 1984, 2002, 2001, 1978, 1999, 1976, 1997, 1981, 1827,
     722             :      5498, 1991, 1979, 1969, 1971, 1989, 1984, 1961, 1960, 1961,
     723             :      1958, 1958, 1955, 1972, 1860, 5521, 1976, 1975, 1953, 1972,
     724             :      1949, 1948, 1949, 1948, 1953, 1945, 1951, 1943, 1961, 1866,
     725             :      5546, 1934,    0, 1943, 1933, 1934, 1933, 1939, 1938, 1932,
     726             :      1936, 1930, 1934, 1923,    0, 1922, 1873, 1926, 1923, 1929,
     727             : 
     728             :      1928, 1921, 1919, 1915, 1917, 1912, 1912, 1879, 1910, 1905,
     729             :         2,   51,   76,  131,  151,  189,  237,  269,  348,  371,
     730             :       390,  407,  448,  464,  476,  511,  543,  557,  599,  646,
     731             :       669,  740,  793,  804,  819,  862,  920,  932,  954,  972,
     732             :      1005, 1030, 1065, 1086, 1076, 1170, 1219, 1238, 1250, 1350,
     733             :      1357, 1393, 1446, 1477, 1523, 1559, 1604, 1637, 1647, 1665,
     734             :      1688, 1706, 1752, 1775, 1810, 1852, 1864, 1860, 1868, 1883,
     735             :      1862, 1871, 1874, 1893, 1895,    0, 1898,    0, 1899, 1886,
     736             :      1882,    0, 1887, 1903, 1904,    0,    0,    0,    0, 1886,
     737             :      1884, 1907,    0,    0, 1886, 1892,    0, 1893, 1897, 1898,
     738             : 
     739             :      1890, 1893, 1903, 1905, 1922, 1925,    0,    0, 5866, 5574,
     740             :      5578, 5582, 5586, 5590, 5594, 5598, 5602, 5606, 5610, 5614,
     741             :      5617, 5621, 5625, 5629, 5633, 5637, 5641, 5645, 5649, 5653,
     742             :      5657, 5661, 5665, 5669, 5673, 5677, 5681, 5685, 5689, 5693,
     743             :      5697, 5701, 5705, 5709, 5713, 5717, 5721, 5725, 5729, 5733,
     744             :      5737, 5741, 5745, 5749, 5753, 5757, 5761, 5765, 5769, 5773,
     745             :      5777, 5781, 5785, 5789, 5793, 5797, 5801, 5805, 5809, 5813,
     746             :      5817, 5821, 5825, 5829, 5833, 5837, 5841, 5845, 5849, 5853,
     747             :      5857, 5861
     748             :     } ;
     749             : 
     750             : static yyconst flex_int16_t yy_def[1483] =
     751             :     {   0,
     752             :      1410, 1410, 1409, 1409, 1411, 1412, 1413, 1414, 1415, 1416,
     753             :      1412,   11, 1413, 1417,   11, 1418,   11, 1419, 1409, 1413,
     754             :      1414, 1420, 1414, 1414, 1418, 1414, 1414, 1415, 1421, 1422,
     755             :      1415, 1418, 1415, 1416, 1423, 1416, 1418,   11, 1417, 1417,
     756             :      1418, 1418, 1409, 1419, 1413, 1420, 1414, 1418, 1414, 1414,
     757             :      1418, 1424, 1409, 1421, 1422, 1418, 1422,   33, 1418,   11,
     758             :      1417, 1419, 1413, 1420, 1414, 1414, 1409, 1424, 1421, 1418,
     759             :      1422,   33,   11, 1417, 1419, 1413, 1420, 1414, 1414, 1424,
     760             :      1421, 1422,   33,   11, 1417, 1419, 1413, 1420, 1414, 1414,
     761             :      1424, 1421, 1422,   33,   11, 1417, 1419, 1413, 1420, 1414,
     762             : 
     763             :      1414, 1424, 1421, 1422,   33,   11, 1417, 1419, 1413, 1420,
     764             :      1425, 1414, 1424, 1421, 1422,   33,   11, 1417, 1419, 1413,
     765             :      1420, 1425, 1426, 1425, 1418, 1425, 1414, 1424, 1421, 1422,
     766             :        33,   11, 1417, 1419, 1413, 1420, 1409, 1426, 1418, 1425,
     767             :      1414, 1424, 1421, 1422,   33, 1427, 1417, 1419, 1428, 1420,
     768             :      1426, 1425, 1429, 1424, 1421, 1422, 1430, 1427, 1431, 1432,
     769             :       158, 1433,  158, 1431, 1434, 1428, 1434, 1435, 1436, 1428,
     770             :      1437, 1426, 1425, 1429, 1438, 1429, 1433, 1429, 1424, 1439,
     771             :      1440, 1430, 1440, 1441,  182, 1433,  182,  158, 1442, 1431,
     772             :      1433, 1431, 1432, 1443, 1442,  193,  193, 1444,  193, 1433,
     773             : 
     774             :      1444, 1433,  158,  158,  192, 1445, 1436, 1434,  170,  208,
     775             :      1435, 1445,  211, 1446,  211, 1436, 1446,  170,  170, 1437,
     776             :      1447, 1437, 1426, 1425,  178, 1438, 1448,  226,  226, 1444,
     777             :       226, 1433,  178,  178, 1449, 1439, 1449, 1450, 1436, 1439,
     778             :      1451, 1440, 1433, 1440,  182,  244, 1441, 1452, 1451,  247,
     779             :       247, 1444,  247, 1433,  182,  182, 1453,  195,  195, 1444,
     780             :       195, 1433,  192, 1454, 1443, 1444, 1444, 1454, 1444, 1444,
     781             :       193,  158,  158,  192, 1445, 1446, 1445,  208,  208, 1446,
     782             :      1446, 1446,  211,  170,  170,  222, 1447, 1447, 1447,  222,
     783             :       222, 1426, 1425, 1454, 1448, 1444,  226,  178,  178, 1455,
     784             : 
     785             :      1436, 1449,  240,  302, 1450, 1455,  305, 1446,  305,  240,
     786             :       240, 1456,  249,  249, 1444,  249, 1433,  244,  244, 1454,
     787             :      1452, 1444,  247,  182,  182, 1454, 1453, 1444,  195,  192,
     788             :      1443,  193,  158,  158,  192,  277,  208,  208,  211,  170,
     789             :       170,  289,  222,  222, 1426, 1425, 1448,  226,  178,  178,
     790             :      1455, 1446, 1455,  302,  302,  305,  240,  240, 1454, 1456,
     791             :      1444,  249,  244,  244, 1452,  247,  182,  182, 1453,  195,
     792             :       192, 1443,  193,  158,  158,  192,  277,  208,  208,  211,
     793             :       170,  170,  289,  222,  222, 1426, 1425, 1448,  226,  178,
     794             :       178,  353,  302,  302,  305,  240,  240, 1456,  249,  244,
     795             : 
     796             :       244, 1452,  247,  182,  182, 1453,  195,  192, 1443,  193,
     797             :       158,  158,  192,  277,  208,  208,  211,  170,  170,  289,
     798             :       222,  222, 1426, 1425, 1448,  226,  178,  178,  353,  302,
     799             :       302,  305,  240,  240, 1456,  249,  244,  244, 1452,  247,
     800             :       182,  182, 1453,  195,  192, 1443,  193,  158,  158,  192,
     801             :       277,  208,  208,  211,  170,  170,  289,  222,  222, 1426,
     802             :      1457, 1448,  226,  178,  178,  353,  302,  302,  305,  240,
     803             :       240, 1456,  249,  244,  244, 1452,  247,  182,  182, 1453,
     804             :       195,  192, 1443,  193,  158,  158,  192,  277,  208,  208,
     805             :       211,  170,  170,  289,  222,  222, 1458, 1457, 1459, 1457,
     806             : 
     807             :      1433, 1457, 1448,  226,  178,  178,  353,  302,  302,  305,
     808             :       240,  240, 1456,  249,  244,  244, 1452,  247,  182,  182,
     809             :      1453,  195,  192, 1443,  193,  158,  158,  192,  277,  208,
     810             :       208,  211,  170,  170,  289,  222,  222, 1458, 1460, 1436,
     811             :      1458,  502, 1459, 1461,  543,  543, 1444,  543, 1433,  502,
     812             :       502, 1448,  226,  178,  178,  353,  302,  302,  305,  240,
     813             :       240, 1456,  249,  244,  244, 1452,  247,  182,  182, 1453,
     814             :       195,  192, 1443,  193,  158,  193,  192,  277,  208,  208,
     815             :       211,  170,  211,  289,  222,  222,  541, 1460, 1460, 1446,
     816             :      1460,  541,  541, 1454, 1461, 1444,  543,  502,  502, 1448,
     817             : 
     818             :       226,  178,  226,  353,  302,  302,  305,  240,  240, 1456,
     819             :       249,  244,  244, 1452,  247,  182,  247, 1453,  195,  195,
     820             :      1443,  193,  158,  193,  192,  277,  208,  277,  211,  170,
     821             :       211,  289,  222,  289,  591,  541,  541, 1461,  543,  502,
     822             :       502, 1448,  226,  178,  226,  353,  302,  302,  305,  240,
     823             :       305, 1456,  249,  244,  249, 1452,  247,  182,  247, 1453,
     824             :       195,  195,  211,  158,  193,  192,  277,  208,  277,  170,
     825             :       211,  289,  222,  289,  591,  541,  541, 1461,  543,  502,
     826             :       502,  289,  178,  226,  353,  302,  353,  305,  240,  305,
     827             :      1456,  249,  244,  249,  305,  182,  247,  277,  195,  158,
     828             : 
     829             :       193,  192,  208,  277,  170,  211,  222,  289,  591,  541,
     830             :       541, 1461,  543,  502,  502,  178,  226,  353,  302,  353,
     831             :       240,  305,  353,  244,  249,  182,  247,  195,  158,  193,
     832             :       192,  208,  277,  170,  211,  222,  289,  591,  541,  541,
     833             :      1461,  543,  502,  502,  178,  226,  302,  353,  240,  305,
     834             :       244,  249,  182,  247,  195, 1462,  193,  192,  208,  277,
     835             :      1463,  211,  222,  289,  591,  541,  541, 1461,  543,  502,
     836             :       502, 1464,  226,  302,  353,  240,  305,  244,  249, 1465,
     837             :       247,  195, 1462, 1466, 1467,  783,  783, 1468,  783,  193,
     838             :      1467, 1469,  277, 1463, 1469,  794,  794, 1470,  794,  211,
     839             : 
     840             :      1471,  289,  591,  541,  541, 1461,  543,  502,  502, 1464,
     841             :      1472,  810,  810, 1468,  810,  226,  302,  353, 1473,  305,
     842             :      1474,  249, 1465, 1475, 1474,  823,  823, 1468,  823,  247,
     843             :       195, 1476, 1466, 1477, 1466,  791,  791, 1468,  791, 1468,
     844             :      1468, 1477, 1468, 1468,  783,  193,  795,  795, 1470,  795,
     845             :       277, 1470, 1470, 1470, 1470, 1470,  794,  211, 1471,  859,
     846             :       859,  859,  289,  591,  541,  541, 1461,  543,  502,  543,
     847             :      1472, 1477, 1472, 1468,  810,  226, 1478,  353, 1473, 1478,
     848             :       879,  879, 1470,  879,  305, 1479,  825,  825, 1468,  825,
     849             :       249, 1475, 1477, 1475, 1468,  823,  247,  195, 1476, 1477,
     850             : 
     851             :      1476, 1477, 1477,  835, 1468,  791,  783,  193, 1470,  795,
     852             :       277, 1470,  794,  211,  859,  289,  591,  541,  591, 1461,
     853             :       543,  502,  543, 1477, 1472,  810,  226,  880,  880, 1470,
     854             :       880,  353, 1470,  879,  305, 1479, 1477, 1479, 1468,  825,
     855             :       249, 1477,  894,  823,  247,  195, 1477, 1476,  835,  791,
     856             :       783,  193,  795,  277,  794,  211,  859,  289,  591,  541,
     857             :       591,  591,  502,  543, 1472,  810,  226, 1470,  880,  353,
     858             :       879,  305, 1477, 1479,  825,  249,  894,  823,  247,  195,
     859             :      1476,  835,  791,  783,  193,  795,  277,  794,  211,  859,
     860             :       289,  541,  591,  502,  543, 1472,  810,  226,  880,  353,
     861             : 
     862             :       879,  305, 1479,  825,  249,  894,  823,  247,  195, 1476,
     863             :       835,  791,  783,  193,  795,  277,  794,  211,  859,  289,
     864             :       541,  591,  502,  543, 1472,  810,  226,  880,  353,  879,
     865             :       305, 1479,  825,  249,  894,  823,  247,  195, 1476,  835,
     866             :       791,  783,  193,  795,  277,  794,  211,  859,  289,  541,
     867             :       591, 1480,  543, 1472,  810,  226,  880,  353,  879,  305,
     868             :      1479,  825,  249,  894,  823,  247,  195, 1476,  835,  791,
     869             :       783,  193,  795,  277,  794,  211,  859,  289, 1481,  591,
     870             :      1480, 1482, 1081, 1081, 1468, 1081,  543, 1472,  810,  226,
     871             :       880,  353,  879,  305, 1479,  825,  249,  894,  823,  247,
     872             : 
     873             :       195, 1476,  835,  791,  783,  193,  795,  277,  794,  211,
     874             :       859,  289, 1481, 1113, 1113, 1470, 1113,  591, 1482, 1477,
     875             :      1482, 1468, 1081,  543, 1472,  810,  226,  880,  353,  879,
     876             :       305, 1479,  825,  249,  894,  823,  247,  195, 1476,  835,
     877             :       791,  783,  783,  795,  277,  794,  794,  859,  289, 1470,
     878             :      1113,  591, 1477, 1482, 1081,  543, 1472,  810,  810,  880,
     879             :       353,  879,  305, 1479,  825,  249,  894,  823,  823,  791,
     880             :      1476,  794,  791,  783,  795,  795,  794,  859,  859, 1113,
     881             :       591, 1482, 1081,  543,  859,  810,  880,  353,  879,  879,
     882             :      1479,  825,  825,  879,  823,  795,  791,  783,  795,  794,
     883             : 
     884             :       859, 1113,  591, 1482, 1081,  543,  810,  880,  880,  879,
     885             :       880,  825,  823,  791,  783,  795,  794,  859, 1113,  591,
     886             :      1482, 1081,  543,  810,  880,  879,  825,  823,  791,  783,
     887             :       795,  794,  859, 1113,  591, 1482, 1081,  543,  810,  880,
     888             :       879,  825,  823,  791,  783,  795,  794,  859, 1113,  591,
     889             :      1482, 1081,  543,  810,  880,  879,  825,  823,  791,  783,
     890             :       795,  794,  859, 1113,  591, 1482, 1081,  543,  810,  880,
     891             :       879,  825,  823,  791,  783,  795,  794,  859, 1113,  591,
     892             :      1482, 1081, 1081,  810,  880,  879,  825,  823,  791,  783,
     893             :       795,  794,  859, 1113, 1113, 1113, 1081,  810,  880,  879,
     894             : 
     895             :       825,  823,  791,  783,  795,  794,  859, 1113, 1081,  810,
     896             :       880,  879,  825,  823,  791,  783,  795,  794,  859, 1113,
     897             :      1081,  810,  880,  879,  825,  823,  791,  783,  795,  794,
     898             :       859, 1113, 1081,  810,  880,  879,  825,  823,  791,  783,
     899             :       795,  794,  859, 1113, 1081,  810,  880,  879,  825,  823,
     900             :       791,  783,  795,  794,  859, 1113, 1081,  810,  880,  879,
     901             :       825,  823,  791,  783,  795,  794,  859, 1113, 1081,  810,
     902             :       880,  879,  825,  823,  791,  783,  795,  794,  859, 1113,
     903             :      1081,  810,  880,  879,  825,  823,  791,  795,  859, 1113,
     904             :      1081,  880,  879,  825, 1113, 1081,  880, 1113, 1081, 1113,
     905             : 
     906             :      1081, 1113, 1081, 1113, 1081, 1113, 1081, 1113,    0, 1409,
     907             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     908             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     909             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     910             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     911             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     912             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     913             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
     914             :      1409, 1409
     915             :     } ;
     916             : 
     917             : static yyconst flex_int16_t yy_nxt[5895] =
     918             :     {   0,
     919             :      1409,    7,    8,   35, 1409,    9,   18,   36,   18,   10,
     920             :        41,   37,   18,   19,   52,   19,   39,   43,   18, 1323,
     921             :        37,   53,   12,   60,   12,   19,   22,   11,   13,   14,
     922             :        24,   20,   15,   20,   25,   44,   16,   45,   40,   54,
     923             :        22,   52,   35,   20,   24,   55,   36,   42,   48,   56,
     924             :        37,   48,   27,   35,   17,   22,   73,   36,   23,   24,
     925             :        67,   59,   43,   25,   83,   26,   27,   57,   18,   64,
     926             :        18,   12,   39, 1324,   62,   46,   59,   19,   68,   28,
     927             :        44,   27,   29,   30,  159,   22,   31,  487,   63,   24,
     928             :        32,   72,   28,   25,   40,   20,   52,   52, 1325,   77,
     929             : 
     930             :        95,   55,   67,   53,   12,   70,   46,   43,   33,   13,
     931             :        14,   27,   18,   15,   80,   69,   76,   16,   75,   19,
     932             :        68,   54,   88,   57,   52,   44,   84,   12,  105,   38,
     933             :        86,   53,   28,   43,   18,   17,   22,   20,   99,   47,
     934             :        24,   19,   81,   46,   25,   46,   67,   94,   28,   54,
     935             :       371,   44,   87,   18,   52,   43, 1326,   91,   92,   20,
     936             :        19,   53,   27,   22,   68,  159,   97,   24,   98,   12,
     937             :       106,   25,  110,   44,  102,   49, 1327,   67,   20,   54,
     938             :        18,   52,   46,   43,  117,   67,   12,   19,   53,   27,
     939             :        22,  108,   28,  116,   24,   68,  113,   52,   25,  103,
     940             : 
     941             :       109,   44,   43,   68,   53,   20,   54,   18,  121, 1328,
     942             :        50,   67,  114,   46,   19,  119,   27,   29,   30,  128,
     943             :        44,   31,   54,  123,  120,   51,   52,  124,  131,   68,
     944             :        28,  125,   20,   53,  132,   18,  137,  201,  146,  202,
     945             :        43,  135,   19,   33,   29,   30,  129,   12,   31,  126,
     946             :       134,   54,   32,  136,  138,  123,   12,   52,   44,  124,
     947             :        20,   46, 1329,  125,   53,   67,  201,  145,  202,  123,
     948             :        33,   29,   30,  124,  143,   31,  157,  139,  142,   51,
     949             :        28,  126,   54,   68,  148,   43,   18,  149,  150, 1330,
     950             :        67,   58,  137,   19,   28,  126,  159,   33,   18,  165,
     951             : 
     952             :       154,  450,   39,   44,  151,   43,   37,   46,   68,  203,
     953             :       138,   20,  171,   52,  201,  255,  202,  137,   61,  155,
     954             :        53,  179,   67,   44,   40,   22,  204,  620,  172,   24,
     955             :        52,  180,  256,   25,   65,  138,   46,   53,   54,   18,
     956             :        68,  206,   18,  235,  206,  159,   22,  207,  221,   67,
     957             :       207,   27,   22,  381,  216,   54,   24,  330,  159,  223,
     958             :        25,  201,  137,  202,  201,  208,  202,   68,  210,  257,
     959             :       166,   66,  222, 1331,   13,  201,  264,  202,   27,   52,
     960             :       138,  232,  268,   55,  281,  166,  414,   56,  216,  268,
     961             :       282,  281,  166, 1332,  265,  216,   22,  282,  221,   71,
     962             : 
     963             :       137,  212,  166,  284,  216,   57,   18,  174,  285,  166,
     964             :        39,  292,  174, 1333,   37,   22,  445,  294,  138,  201,
     965             :       159,  202,  286,  299,  174,   74,   52, 1334,  300,  174,
     966             :       298,  137,   40,   22,  301,  295,   52,   24,  300,  345,
     967             :       201,   25,  202,  201,  301,  202,  312,   78,  201,  138,
     968             :       202,   29,  302,  320,   18,  167,  326,  159,  335,   27,
     969             :        22,  268,  304,  281,   24,   79,  167,  216,   25,  282,
     970             :      1335,  321,  167,  337,  327,  166,  174,  341,  350,  377,
     971             :       212,  166,  338,  167,  383,  287,   27,   52,  268, 1336,
     972             :       281,   55,  166,  174,  216,   56,  282,  268,  166,  281,
     973             : 
     974             :       340, 1337,  268,  216,  281,  282,   82,  220,  216,  758,
     975             :       282,  220,  159,   57,   18,   22,  236,  294,   39,   85,
     976             :       174,  201,   37,  202,  220,  343,  236,  344,  220,  347,
     977             :       268, 1338,  281,  236,  357,  295,  216,  174,  282,  349,
     978             :        40,   22,  358,  236,   52,   24,  359,  488,  183,   25,
     979             :       159,  212,  376,  183,  408,  159,   89,   18,  167,  326,
     980             :       379,  167,  220, 1339,  360,  183,  363,   27,   22,  364,
     981             :       183,  369,   24,  166, 1340,  167,   25,  327,  167,  220,
     982             :       378,  384,  420,  159,  220,  390,  385,   90,  731,  382,
     983             :       166,  137,  429,  306,   27,   52,  174,  287,  236,   55,
     984             : 
     985             :        93,  220,  174,   56,  386,   22,  237,  294,  268,  138,
     986             :       281,  237,  391,  174,  216,  236,  282,  396,  388, 1341,
     987             :       183,   57,   18,  237,  393,  295,   39,  394,  237,  236,
     988             :        37,  397,   18,  523,  326,  159,   52,  183,  359,  400,
     989             :       667,   96,  183,  413,  401,  406,  236,  415,   40,   22,
     990             :       398,  167,  327,   24,  421,  166,  360,   25,  212,  183,
     991             :       159,  166,  100, 1342,  167,  220,  494,  416,  167,  137,
     992             :       287,  220,  166,  174,  419,   27,   22,  418,  166,  423,
     993             :        24,  422,  220,  174,   25,  425,   22,  138,  294, 1343,
     994             :       174,  237,  101,  451,  212,  427,  428,  237,  433,  431,
     995             : 
     996             :       174,  236,   27,   52,  457,  287,  295,   55,  237,  437,
     997             :       430,   56,  528,  466,  237,  236,  159,  434,  236,   52,
     998             :       183,  359,  104,  166,  443,   18,  183,  326,  306,   57,
     999             :        18,  167,  435,  166,   39,  174,  438,  183,   37,  360,
    1000             :       166,  167,  220,  455,  212,  327,  107,  911,  167,  220,
    1001             :       166,  456,  174,  452,  453,  464,   40,   22,  167,  220,
    1002             :       174,   24,  459, 1344,  458,   25,  220,   22,  111,  294,
    1003             :       460,  137,  572,  467,  159,  482,  236,  174,  465,  237,
    1004             :       462,  507,  306,   27,   22,  159,  236,  295,   24,  138,
    1005             :       237,  183,   25,  236,  709,  468,  237, 1345,  470,  471,
    1006             : 
    1007             :       167,  472,   52,  236,  359,  112,  167,  183,  183,  588,
    1008             :        27,   52,   18,  474,  326,   55,  166,  167,  490,   56,
    1009             :       475, 1346,  360,  167,  183,  480,  489,  115,  166,  492,
    1010             :       220,  220,  327,  166,  497,  212,  529,   57,   18,  174,
    1011             :       137,  626,   39,  493, 1347,  166,   37,  220,  220,  496,
    1012             :       495,   22,  505,  294,  212,  174,  174,  237,  138,  118,
    1013             :       236,  503,  632,  237,   40,   22,  201,  236,  202,   24,
    1014             :       506,  295,  174,   25,  237,  287,  509,  236,  512,  508,
    1015             :       237,  183, 1348,  127,  236,  183,   52,  511,  359,  287,
    1016             :       535,   27,   52,  167,  167,   18,   55,  326,  183,  513,
    1017             : 
    1018             :        56,  515,  183,  516,  166,  521,  360,  530,  531,  220,
    1019             :       167,  167,  166,  130,  212,  327,  534,  220,   57,   18,
    1020             :       669,  166,  533,   39,  537,  174,  220,   37,  556,  166,
    1021             :       536,  123,  306,  539,  220,  237,   22,  133,  294,  540,
    1022             :      1349,  237,  174,  554,  174,   40,  123,  236,  555, 1350,
    1023             :       124,  552,  237,  236,  125,  557,  295,  541,  237,  558,
    1024             :       560,  174,  159,  577,  236,   52,  140,  359,  561,  183,
    1025             :       236, 1351,  126,   22,  183,  562,  578,   24,  212,  167,
    1026             :       141,   25,  564,  159,  167,  360,  183,  625,  580,  565,
    1027             :        18,  183,  326,  584,  166,  287,  167,  579, 1352,   27,
    1028             : 
    1029             :        52,  167,  583,  166,   55,  570,  220,  201,   56,  202,
    1030             :       327,  166,  220,  306,  604,  582,  586,  123,  144,  539,
    1031             :       166,  498, 1353,  220,  585,  540,   57,   18,  123,  220,
    1032             :       594,   39,  982,  498,  147,   37,  666,  159,  498,  598,
    1033             :        22,  672,  294,  587,  174,  603,  174,  784,  595,  599,
    1034             :       498,  237,  600,   40,  123,  237, 1354,  236,  124,  287,
    1035             :       295,  174,  125,  174,  605,  602,  685,  236,  237,  183,
    1036             :       606,  609,  237,  152,  236,  608,   52,  167,  359,  306,
    1037             :       126,   22, 1355,  153,  236,   24,  183,  612,  183,   25,
    1038             :      1356,  610,  613,  220,  167,  718,  360,   18,  627,  326,
    1039             : 
    1040             :       628,  167, 1357,  166,  498,  183,  641,   27,   52,  618,
    1041             :       220,  538,   55,  306,  633,  156,   56,  327,  167,  630,
    1042             :       166,  498,  634,  220,  268,  538,  281,  498,  538,  636,
    1043             :       216,  123,  282,  594,   57,   13,  159,  160,  174,  161,
    1044             :       220,  637,  538,  162,  498,  638,  640,   22,  642,  294,
    1045             :       646,  595,  306,  702,  644,  174,  237,  159,  236,  237,
    1046             :       183,  163,   18,  648,  164,  287,   39,  295,  651,  236,
    1047             :        37,  674,  212,  237,  647,  236,  237,  183,  669,  650,
    1048             :        52,  654,  359,  655,  183,  665,  236,  167,   40,   13,
    1049             :       167,  168,  652,   18,  660,  326, 1358,  169,  675,  588,
    1050             : 
    1051             :       360,  183,  271,  668,  167,  166,  671,  212,  733,  220,
    1052             :       538,  287,  737,  327,  680,  170,  123,  538,  670,  677,
    1053             :       124,  173,  166,  283,  125,  673,  220,  538,  123,  676,
    1054             :       594,  498,  682,  498,  538,  684,   22,  237,  294, 1359,
    1055             :       174,  678,  126,   22,  697,  175,  236,  176,  595,  681,
    1056             :       498,  177,  297,  683,  237, 1360,  295,  174,  686,  687,
    1057             :       237,  323,  689,  236,   52,  691,  359, 1361,  699,  178,
    1058             :        52,  183,  181,  167,   55,  287,  698,  237,   56,  765,
    1059             :        18,  674,  326,  588,  360,  329,  703,  693,  183,  166,
    1060             :       167,  220,  710,  722,  738,  588,   57,   29,  183,  184,
    1061             : 
    1062             :       327,  185,  538,  498,  707,  186,  166, 1006,  220,  538,
    1063             :       356,  705,  712,  123,  498,  594,  715,  174,  711,  538,
    1064             :       498,  287,  824,  187,   13,  159,  160,  674,  161,  237,
    1065             :       236,  498,  162,  595,  174,  306,  714,  725,  723,  716,
    1066             :       498,  720,   52,  721,  359,  719,  237,  236,  183,  167,
    1067             :       188,   18,  212,  189,  362,  190,  166,  498,  669,  191,
    1068             :       743,  724,  360,  306,  287,  183,  167,  916,  220,  720,
    1069             :       734,  732,  538,  166,  538,  498, 1362,  192,  194,  195,
    1070             :       196,  236,  197, 1363,  158,  220,  198,  740,  791,  538,
    1071             :       736,  538,  498,  744,  739,  123,  306,  594,  236,  237,
    1072             : 
    1073             :       174,  183,  720,  749,  199,   18,  159,  189,  741,  190,
    1074             :       167, 1364,  747,  191,  745,  595,  237,  174,  183,  212,
    1075             :       538,  760,  220,  751,  759,  761,  166,  167,  287,  538,
    1076             :       764,  205,   13,  167,  168,  588,  763,  538,  767,  220,
    1077             :       169,  961,  123,  166,  594,  212,  538,  306,  775,  766,
    1078             :       851,  498,  768,  237,  498,  772,  174,  793,  209,  194,
    1079             :       212,  213,  595,  236,  770,  166,  802,  214,  498,  771,
    1080             :       237,  498, 1365,  174,  212,  774,  183,  776,  792,  167,
    1081             :       236,  801,  220,  287,  538,  215,   13,  167,  168,  218,
    1082             :       778,  588,  803,  183,  169, 1366,  167,  804,  498,  220,
    1083             : 
    1084             :       306,  538,  818,  538,  903,  287,  219,  123,  872,  594,
    1085             :       863,  237,  209,  123,  878,  498,  808,  124,  805,  498,
    1086             :       538,  125,  806,  809,  864,  817,  588,  595,  237,  819,
    1087             :       236,  306,  224,  821,  183,  538,  498,  538,  959,  126,
    1088             :        22,  866,  175,  123,  176,  594,  903,  236,  177, 1367,
    1089             :       872,  183,  538,  865,  538,  867,  588,  498,  870,  498,
    1090             :       871,  903,   22,  595,  872,  872,  225,  227,  899,  228,
    1091             :        18,  229,  900,  174,  498,  230,  498,  903,  869,  877,
    1092             :       237,  872,  873,  538,  306, 1368,  917,  919,  538,  932,
    1093             :       901,  949,  784,  231,   22,  498,  175,  237,  176,  588,
    1094             : 
    1095             :       538,  588,  232, 1051,  918,  538,  123,  920,  594,  977,
    1096             :       824,  922,  498,  871,  936,   22,   52,  924,  937,  306,
    1097             :       225,   22,  970,  175,  233,  176,  595,  903, 1369,  177,
    1098             :       899,  872,   18,  903,  947,  873,  938,  872,  903,  954,
    1099             :       958,  234,  924,  212,  287,  538,  498,  225,   29,  237,
    1100             :       238,  964,  901,  903,  962, 1370,  239,  872,  123,  963,
    1101             :       594,  960,  538,  498, 1371,  936,  903,   52,  597,  973,
    1102             :       872, 1103,  903,  784,  240,   52,  872,  241,  595,  242,
    1103             :       903,  212,  987,  243,  872,  287,  991,  938,  588,  588,
    1104             :       498, 1372,  538, 1000,  961,  961,  903,  306, 1011,  784,
    1105             : 
    1106             :       872,  244,   29,  183,  184,  992,  185,  498,  538,  538,
    1107             :       186,  212,  994,  287, 1373, 1016, 1040, 1020,  588, 1022,
    1108             :       784,  498,  306, 1029, 1374,  538, 1035,  824,  245,   52,
    1109             :      1021,  241,  538,  242, 1135, 1023,  824,  243,  498, 1045,
    1110             :       212, 1049,  287, 1052,  498,  212, 1050,  306, 1064,  538,
    1111             :      1108, 1058,  824,  784, 1069,  246,  248,  249,  250, 1074,
    1112             :       251,  498,  182,  212,  252, 1078, 1079,  538, 1172,  287,
    1113             :      1375, 1080, 1092,  306,  824, 1098,  287, 1145, 1376, 1140,
    1114             :       212, 1112,  253,  257,  538,  258,  784,  259,  588,  159,
    1115             :       588,  260,  784, 1129, 1119, 1118,  123,  306, 1120, 1149,
    1116             : 
    1117             :       588,  903,  287, 1152, 1119,  872,  123, 1176, 1153,  261,
    1118             :        18, 1167,  189, 1179,  190,  306, 1121, 1181,  262,  903,
    1119             :      1161,  588, 1194,  872,  824,  212, 1121, 1188, 1377, 1198,
    1120             :       306,  287, 1200,  588, 1203, 1207,  192,   18, 1209,  189,
    1121             :       824,  190, 1213, 1214, 1216,  191,  845,  588,  588,  857,
    1122             :      1218, 1220,  875, 1265, 1226, 1378,  306,  263, 1227,  896,
    1123             :       906,  910, 1240,  192,  194,  195,  196,  915,  197, 1295,
    1124             :       158,  934,  198, 1235,  588,  940, 1250, 1309, 1280,  969,
    1125             :       588,  588, 1379, 1320, 1380, 1381, 1382,  588, 1383, 1384,
    1126             :       199,  257, 1385,  258, 1123,  259, 1386,  159, 1387,  260,
    1127             : 
    1128             :      1151, 1388, 1389, 1390, 1391, 1392, 1393, 1394, 1395, 1396,
    1129             :      1397, 1398, 1399, 1400, 1401, 1402, 1403,  261,  268, 1404,
    1130             :       269, 1405,  270, 1406,  177, 1407,  230,  268, 1408,  269,
    1131             :      1322,  270, 1321,  177, 1319,  230,  257, 1318,  275, 1317,
    1132             :      1316, 1315,  167, 1314,  276, 1313, 1312, 1311, 1310, 1308,
    1133             :      1308, 1307, 1306, 1305, 1304, 1303, 1302, 1301, 1300, 1299,
    1134             :      1298, 1297,  277,   18, 1294,  206,  278, 1293, 1292, 1291,
    1135             :      1290,  207, 1289, 1288, 1287, 1286, 1285, 1284, 1283, 1282,
    1136             :      1279, 1278, 1277,  279, 1276, 1275, 1274, 1273, 1272,  210,
    1137             :       194,  212,  213, 1271, 1270, 1269,  166, 1268,  214, 1267,
    1138             : 
    1139             :      1264, 1263, 1262, 1261, 1260, 1259, 1258, 1257, 1256, 1255,
    1140             :      1254, 1253, 1252, 1249, 1248, 1247,  215,  257, 1246,  275,
    1141             :      1245, 1244, 1243,  167, 1242,  276, 1241, 1239, 1238, 1237,
    1142             :      1234, 1233, 1232, 1231, 1230, 1229, 1228, 1225, 1225, 1224,
    1143             :      1223, 1222, 1219,  277,  227, 1217,  288, 1215, 1199, 1210,
    1144             :       220, 1212,  282, 1210, 1208, 1201, 1206, 1205, 1202, 1201,
    1145             :      1199, 1197, 1177, 1195, 1193, 1192, 1190, 1189, 1187, 1186,
    1146             :       289,   22, 1184,  221,  290, 1183, 1180, 1178, 1177,  216,
    1147             :      1175, 1174, 1173, 1170, 1169, 1168, 1166, 1165, 1163, 1162,
    1148             :      1160,  291, 1159, 1158, 1156, 1155, 1151,  286,  123, 1150,
    1149             : 
    1150             :      1148, 1147,  124, 1146, 1144, 1143,  125, 1142, 1141, 1138,
    1151             :      1137, 1136, 1134, 1133,  293, 1131, 1130, 1128, 1127, 1126,
    1152             :      1124, 1123, 1122, 1111,  126,  227, 1110,  228, 1109,  229,
    1153             :      1107,  174, 1106,  230, 1105, 1104, 1101, 1100, 1099, 1097,
    1154             :      1096, 1094, 1093, 1091, 1090, 1089, 1087, 1077, 1076, 1075,
    1155             :      1073,  231,  268, 1072,  269, 1071,  270, 1070,  177, 1067,
    1156             :       230,   29,  237,  238, 1066, 1065, 1063, 1062, 1060,  239,
    1157             :      1059, 1057, 1056, 1055, 1053, 1048, 1047, 1046, 1044, 1043,
    1158             :      1042, 1041, 1038, 1037, 1036, 1034, 1033,  303,  248,  306,
    1159             :       307, 1031, 1030, 1028,  236, 1027,  308, 1026, 1024, 1019,
    1160             : 
    1161             :      1018, 1017, 1015, 1014, 1013, 1012, 1009, 1008, 1007, 1005,
    1162             :      1004, 1002, 1001,  999,  309,   29,  237,  238,  310,  998,
    1163             :       997,  995,  993,  239,  990,  989,  988,  986,  985,  984,
    1164             :       983,  980,  979,  978,  976,  311,  975,  972,  971,  969,
    1165             :       968,  303,  312,  967,  313,  966,  314,  923,  183,  957,
    1166             :       315,  956,  955,  953,  952,  951,  950,  946,  945,  944,
    1167             :       941,  940,  939,  935,  934,  933,  927,  926,  316,   52,
    1168             :       923,  241,  921,  242,  915,  912,  914,  317,  913,  910,
    1169             :       909,  908,  907,  906,  905,  898,  897,  896,  895,  891,
    1170             :       885,  876,  875,  874,  868,  246,   52,  858,  241,  318,
    1171             : 
    1172             :       242,  857,  852,  846,  243,  845,  840,  831,  830,  822,
    1173             :       820,  816,  807,  800,  790,  782,  319,  781,  780,  779,
    1174             :       777,  773,  246,  248,  249,  250,  769,  251,  762,  182,
    1175             :       757,  252,  756,  755,  754,  753,  752,  750,  748,  746,
    1176             :       742,  735,  730,  729,  728,  727,  726,  690,  694,  253,
    1177             :       312,  690,  313,  717,  314,  713,  183,  708,  315,  706,
    1178             :       704,  701,  700,  631,  662,  696,  659,  694,  692,  690,
    1179             :       688,  645,  679,  631,  664,  624,  316,  268,  662,  269,
    1180             :       661,  270,  659,  177,  658,  230,  268,  657,  269,  653,
    1181             :       270,  649,  177,  645,  230,  257,  643,  639,  294,  538,
    1182             : 
    1183             :        13,  631,  264,  629,  624,  623,  622,  619,  617,  616,
    1184             :       615,  611,  607,  601,  331,  597,  596,  498,  217,  581,
    1185             :       265,  268,  576,  269,  575,  270,  574,  177,  571,  230,
    1186             :       268,  569,  269,  568,  270,  567,  177,  563,  230,  268,
    1187             :       559,  269,  553,  270,  532,  177,  527,  230,  268,  526,
    1188             :       269,  525,  270,  522,  177,  520,  296,  257,  519,  275,
    1189             :       518,  514,  510,  167,  504,  276,  491,  486,  485,  484,
    1190             :       481,  479,  478,  477,  473,  469,  463,  454,  449,  448,
    1191             :       447,  444,  442,  277,  257,  441,  275,  440,  436,  432,
    1192             :       167,  426,  276,  417,  412,  411,  410,  407,  405,  404,
    1193             : 
    1194             :       403,  399,  294,  395,  336,  389,  380,  375,  374,  373,
    1195             :       277,  227,  370,  288,  294,  368,  367,  220,  366,  282,
    1196             :       294,  362,  361,  356,  237,  236,  217,  348,  294,  220,
    1197             :       339,  334,  333,  332,  294,  294,  329,  289,  227,  328,
    1198             :       288,  325,  324,  323,  220,  322,  282,  183,  256,  217,
    1199             :       297,  296,  174,  217,  283,  167,  166,  217,  274,  273,
    1200             :       272,  271,  266,  204,  289,  227,  254,  288,  217,  200,
    1201             :        42,  220,   42,  282,   42,   42,   42,   42,   42,   42,
    1202             :        42,   43,   42,   42,   46,  342,   42,   12, 1409,    5,
    1203             :         5,  289,  123, 1409, 1409, 1409,  124, 1409, 1409, 1409,
    1204             : 
    1205             :       125, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1206             :      1409, 1409, 1409,  346, 1409, 1409, 1409, 1409,  126,  268,
    1207             :      1409,  269, 1409,  270, 1409,  177, 1409,  230,  312, 1409,
    1208             :       351, 1409, 1409, 1409,  237, 1409,  352, 1409, 1409, 1409,
    1209             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1210             :      1409, 1409, 1409, 1409,  353,   52, 1409,  300,  354, 1409,
    1211             :      1409, 1409, 1409,  301, 1409, 1409, 1409, 1409, 1409, 1409,
    1212             :      1409, 1409, 1409, 1409, 1409,  355, 1409, 1409, 1409, 1409,
    1213             :      1409,  304,  248,  306,  307, 1409, 1409, 1409,  236, 1409,
    1214             :       308, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1215             : 
    1216             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  309,  312,
    1217             :      1409,  351, 1409, 1409, 1409,  237, 1409,  352, 1409, 1409,
    1218             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1219             :      1409, 1409, 1409, 1409, 1409,  353,  268, 1409,  269, 1409,
    1220             :       270, 1409,  177, 1409,  230,  312, 1409, 1409, 1409, 1409,
    1221             :        29, 1409,  320, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1222             :      1409, 1409, 1409, 1409,  365, 1409, 1409, 1409, 1409, 1409,
    1223             :       321,  268, 1409,  269, 1409,  270, 1409,  177, 1409,  230,
    1224             :       268, 1409,  269, 1409,  270, 1409,  177, 1409,  230,  257,
    1225             :      1409, 1409, 1409, 1409,   13, 1409,  264, 1409, 1409, 1409,
    1226             : 
    1227             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  372, 1409, 1409,
    1228             :      1409, 1409, 1409, 1409,  265,  123, 1409, 1409, 1409,  124,
    1229             :      1409, 1409, 1409,  125, 1409, 1409, 1409, 1409, 1409, 1409,
    1230             :      1409, 1409, 1409,  387, 1409, 1409, 1409, 1409, 1409, 1409,
    1231             :      1409,  126,  312, 1409,  351, 1409, 1409, 1409,  237, 1409,
    1232             :       352, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1233             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  353,  312,
    1234             :      1409,  351, 1409, 1409, 1409,  237, 1409,  352, 1409, 1409,
    1235             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  392,
    1236             :      1409, 1409, 1409, 1409, 1409,  353,  268, 1409,  269, 1409,
    1237             : 
    1238             :       270, 1409,  177, 1409,  230,  312, 1409, 1409, 1409, 1409,
    1239             :        29, 1409,  320, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1240             :      1409, 1409, 1409,  402, 1409, 1409, 1409, 1409, 1409, 1409,
    1241             :       321,  257, 1409, 1409, 1409,  409,   13, 1409,  264, 1409,
    1242             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1243             :      1409, 1409, 1409, 1409, 1409, 1409,  265,  123, 1409, 1409,
    1244             :      1409,  124, 1409, 1409,  424,  125, 1409, 1409, 1409, 1409,
    1245             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1246             :      1409, 1409, 1409,  126,  312, 1409, 1409, 1409,  439,   29,
    1247             :      1409,  320, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1248             : 
    1249             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  321,
    1250             :       257, 1409, 1409, 1409, 1409,   13, 1409,  264, 1409, 1409,
    1251             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  446, 1409,
    1252             :      1409, 1409, 1409, 1409, 1409,  265,  123, 1409,  461, 1409,
    1253             :       124, 1409, 1409, 1409,  125, 1409, 1409, 1409, 1409, 1409,
    1254             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1255             :      1409, 1409,  126,  312, 1409, 1409, 1409, 1409,   29, 1409,
    1256             :       320, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1257             :      1409,  476, 1409, 1409, 1409, 1409, 1409, 1409,  321,  257,
    1258             :      1409, 1409, 1409, 1409,   13, 1409,  264, 1409, 1409, 1409,
    1259             : 
    1260             :      1409, 1409, 1409, 1409,  483, 1409, 1409, 1409, 1409, 1409,
    1261             :      1409, 1409, 1409, 1409,  265,  123, 1409,  499, 1409,  500,
    1262             :      1409, 1409, 1409,  501, 1409, 1409, 1409, 1409, 1409, 1409,
    1263             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1264             :      1409,  502,  312, 1409, 1409, 1409, 1409,   29, 1409,  320,
    1265             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  517, 1409, 1409,
    1266             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  321,  257, 1409,
    1267             :      1409, 1409, 1409,   13, 1409,  264, 1409, 1409, 1409, 1409,
    1268             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  524, 1409,
    1269             :      1409, 1409, 1409,  265,  123, 1409,  499, 1409,  500, 1409,
    1270             : 
    1271             :      1409, 1409,  501, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1272             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1273             :       542,  544, 1409,  545, 1409,  546, 1409,  498, 1409,  547,
    1274             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1275             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  548,  123, 1409,
    1276             :       499, 1409,  500, 1409, 1409, 1409,  549, 1409, 1409, 1409,
    1277             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1278             :      1409, 1409, 1409, 1409,  542,  123, 1409,  499,  550,  500,
    1279             :      1409, 1409, 1409,  501, 1409, 1409, 1409, 1409, 1409, 1409,
    1280             :      1409, 1409, 1409, 1409, 1409,  551, 1409, 1409, 1409, 1409,
    1281             : 
    1282             :      1409,  542,  312, 1409, 1409, 1409, 1409,   29, 1409,  320,
    1283             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1284             :      1409, 1409,  566, 1409, 1409, 1409, 1409,  321,  257, 1409,
    1285             :      1409, 1409, 1409,   13, 1409,  264, 1409, 1409, 1409, 1409,
    1286             :      1409, 1409, 1409, 1409, 1409,  573, 1409, 1409, 1409, 1409,
    1287             :      1409, 1409, 1409,  265,  544, 1409,  589, 1409, 1409, 1409,
    1288             :       538, 1409,  590, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1289             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1290             :       591,  123, 1409,  539,  592, 1409, 1409, 1409, 1409,  540,
    1291             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1292             : 
    1293             :      1409,  593, 1409, 1409, 1409, 1409, 1409,  587,  544, 1409,
    1294             :       545, 1409,  546, 1409,  498, 1409,  547, 1409, 1409, 1409,
    1295             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1296             :      1409, 1409, 1409, 1409,  548,  268, 1409,  269, 1409,  270,
    1297             :      1409,  177, 1409,  230,  312, 1409, 1409, 1409, 1409,   29,
    1298             :      1409,  320, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1299             :      1409,  614, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  321,
    1300             :       257, 1409, 1409, 1409, 1409,   13,  621,  264, 1409, 1409,
    1301             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1302             :      1409, 1409, 1409, 1409, 1409,  265,  544, 1409,  589, 1409,
    1303             : 
    1304             :      1409, 1409,  538, 1409,  590, 1409, 1409, 1409, 1409, 1409,
    1305             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1306             :      1409, 1409,  591,  544, 1409,  589, 1409, 1409, 1409,  538,
    1307             :      1409,  590, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1308             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  591,
    1309             :       544, 1409,  589, 1409, 1409, 1409,  538, 1409,  590, 1409,
    1310             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1311             :       635, 1409, 1409, 1409, 1409, 1409,  591,  268, 1409,  269,
    1312             :      1409,  270, 1409,  177, 1409,  230,  312, 1409, 1409, 1409,
    1313             :      1409,   29,  656,  320, 1409, 1409, 1409, 1409, 1409, 1409,
    1314             : 
    1315             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1316             :      1409,  321,  257,  663, 1409, 1409, 1409,   13, 1409,  264,
    1317             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1318             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  265,  312,  695,
    1319             :      1409, 1409, 1409,   29, 1409,  320, 1409, 1409, 1409, 1409,
    1320             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1321             :      1409, 1409, 1409,  321,  784,  785,  786, 1409,  787, 1409,
    1322             :       158, 1409,  788, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1323             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1324             :       789,  784,  795,  796, 1409,  797, 1409,  166, 1409,  798,
    1325             : 
    1326             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1327             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  799,  811, 1409,
    1328             :       812, 1409,  813, 1409,  174, 1409,  814, 1409, 1409, 1409,
    1329             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1330             :      1409, 1409, 1409, 1409,  815,  824,  825,  826, 1409,  827,
    1331             :      1409,  182, 1409,  828, 1409, 1409, 1409, 1409, 1409, 1409,
    1332             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1333             :      1409,  829,  784,  785,  786, 1409,  787, 1409,  158, 1409,
    1334             :       788, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1335             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  789,  832,
    1336             : 
    1337             :      1409, 1409,  833, 1409,   13, 1409,  834, 1409, 1409, 1409,
    1338             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1339             :      1409, 1409, 1409, 1409,  835,  832, 1409,  836, 1409,  837,
    1340             :      1409,  159, 1409,  838, 1409, 1409, 1409, 1409, 1409, 1409,
    1341             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1342             :      1409,  839,  842, 1409,  843, 1409,  844, 1409,  177, 1409,
    1343             :       814,  832, 1409,  836, 1409,  837, 1409,  159, 1409,  838,
    1344             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1345             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  839,  832, 1409,
    1346             :       847, 1409,  848, 1409,  167, 1409,  849, 1409, 1409, 1409,
    1347             : 
    1348             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1349             :      1409, 1409, 1409, 1409,  850,  784,  795,  796, 1409,  797,
    1350             :      1409,  166, 1409,  798, 1409, 1409, 1409, 1409, 1409, 1409,
    1351             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1352             :      1409,  799,  832, 1409,  847, 1409,  848, 1409,  167, 1409,
    1353             :       849, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1354             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  850,  842,
    1355             :      1409,  854, 1409,  855, 1409,  216, 1409,  856,  811, 1409,
    1356             :       860, 1409,  861, 1409,  220, 1409,  856, 1409, 1409, 1409,
    1357             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1358             : 
    1359             :      1409, 1409, 1409, 1409,  862,  811, 1409,  812, 1409,  813,
    1360             :      1409,  174, 1409,  814, 1409, 1409, 1409, 1409, 1409, 1409,
    1361             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1362             :      1409,  815,  842, 1409,  843, 1409,  844, 1409,  177, 1409,
    1363             :       814,  824,  880,  881, 1409,  882, 1409,  236, 1409,  883,
    1364             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1365             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  884,  886, 1409,
    1366             :       887, 1409,  888, 1409,  183, 1409,  889, 1409, 1409, 1409,
    1367             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1368             :      1409, 1409, 1409, 1409,  890,  824,  825,  826, 1409,  827,
    1369             : 
    1370             :      1409,  182, 1409,  828, 1409, 1409, 1409, 1409, 1409, 1409,
    1371             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1372             :      1409,  829,  886, 1409, 1409,  892, 1409,   29, 1409,  893,
    1373             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1374             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  894,  886, 1409,
    1375             :       887, 1409,  888, 1409,  183, 1409,  889, 1409, 1409, 1409,
    1376             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1377             :      1409, 1409, 1409, 1409,  890,  842, 1409,  843, 1409,  844,
    1378             :      1409,  177, 1409,  814,  832, 1409, 1409,  833, 1409,   13,
    1379             :      1409,  902, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1380             : 
    1381             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  835,
    1382             :       832, 1409, 1409,  833, 1409,   13, 1409,  834, 1409, 1409,
    1383             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  904,
    1384             :      1409, 1409, 1409, 1409, 1409,  835,  842, 1409,  843, 1409,
    1385             :       844, 1409,  177, 1409,  814,  842, 1409,  843, 1409,  844,
    1386             :      1409,  177, 1409,  814,  842, 1409,  843, 1409,  844, 1409,
    1387             :       177, 1409,  814,  842, 1409,  843, 1409,  844, 1409,  177,
    1388             :      1409,  814,  842, 1409,  843, 1409,  844, 1409,  177, 1409,
    1389             :       874,  842, 1409,  854, 1409,  855, 1409,  216, 1409,  856,
    1390             :       842, 1409,  854, 1409,  855, 1409,  216, 1409,  856,  842,
    1391             : 
    1392             :      1409,  854, 1409,  855, 1409,  216, 1409,  856,  842, 1409,
    1393             :       854, 1409,  855, 1409,  216, 1409,  856,  842, 1409,  854,
    1394             :      1409,  855, 1409,  216, 1409,  912,  842, 1409,  854, 1409,
    1395             :       855, 1409,  216, 1409,  856,  811, 1409,  860, 1409,  861,
    1396             :      1409,  220, 1409,  856, 1409, 1409, 1409, 1409, 1409, 1409,
    1397             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1398             :      1409,  862,  871, 1409,   22, 1409,  872, 1409, 1409, 1409,
    1399             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  925, 1409,
    1400             :      1409, 1409, 1409, 1409,  873,  842, 1409,  843, 1409,  844,
    1401             :      1409,  177, 1409,  814,  886, 1409,  928, 1409,  929, 1409,
    1402             : 
    1403             :       237, 1409,  930, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1404             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1405             :       931,  824,  880,  881, 1409,  882, 1409,  236, 1409,  883,
    1406             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1407             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  884,  886, 1409,
    1408             :       928, 1409,  929, 1409,  237, 1409,  930, 1409, 1409, 1409,
    1409             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1410             :      1409, 1409, 1409, 1409,  931,  842, 1409,  854, 1409,  855,
    1411             :      1409,  216, 1409,  856,  842, 1409,  843, 1409,  844, 1409,
    1412             :       177, 1409,  814,  886, 1409, 1409,  892, 1409,   29, 1409,
    1413             : 
    1414             :       942, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1415             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  894,  886,
    1416             :      1409, 1409,  892, 1409,   29, 1409,  893, 1409, 1409, 1409,
    1417             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  943, 1409,
    1418             :      1409, 1409, 1409, 1409,  894,  842, 1409,  843, 1409,  844,
    1419             :      1409,  177, 1409,  814,  899, 1409,   18, 1409,  900, 1409,
    1420             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1421             :       948, 1409, 1409, 1409, 1409, 1409,  901,  842, 1409,  843,
    1422             :      1409,  844, 1409,  177, 1409,  814,  842, 1409,  854, 1409,
    1423             :       855, 1409,  216, 1409,  856,  842, 1409,  854, 1409,  855,
    1424             : 
    1425             :      1409,  216, 1409,  856,  871, 1409,   22, 1409,  872, 1409,
    1426             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  965,
    1427             :      1409, 1409, 1409, 1409, 1409, 1409,  873,  842, 1409,  854,
    1428             :      1409,  855, 1409,  216, 1409,  856,  842, 1409,  854, 1409,
    1429             :       855, 1409,  216, 1409,  856,  936, 1409,   52, 1409,  937,
    1430             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1431             :      1409,  974, 1409, 1409, 1409, 1409, 1409,  938,  842, 1409,
    1432             :       843, 1409,  844, 1409,  177, 1409,  814,  899, 1409,   18,
    1433             :      1409,  900, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1434             :      1409, 1409,  981, 1409, 1409, 1409, 1409, 1409, 1409,  901,
    1435             : 
    1436             :       871,  996,   22, 1409,  872, 1409, 1409, 1409, 1409, 1409,
    1437             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1438             :      1409, 1409,  873,  842, 1409,  854, 1409,  855, 1409,  216,
    1439             :      1409,  856,  936, 1409,   52, 1409,  937, 1409, 1409, 1409,
    1440             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1003, 1409, 1409,
    1441             :      1409, 1409, 1409, 1409,  938,  899, 1010,   18, 1409,  900,
    1442             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1443             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  901,  871, 1409,
    1444             :        22, 1409,  872, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1445             :      1409, 1409, 1409, 1025, 1409, 1409, 1409, 1409, 1409, 1409,
    1446             : 
    1447             :       873,  936, 1032,   52, 1409,  937, 1409, 1409, 1409, 1409,
    1448             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1449             :      1409, 1409, 1409,  938,  899, 1409,   18, 1409,  900, 1409,
    1450             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1039,
    1451             :      1409, 1409, 1409, 1409, 1409, 1409,  901,  871, 1409,   22,
    1452             :      1409,  872, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1054,
    1453             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  873,
    1454             :       936, 1409,   52, 1409,  937, 1409, 1409, 1409, 1409, 1409,
    1455             :      1409, 1409, 1409, 1409, 1409, 1061, 1409, 1409, 1409, 1409,
    1456             :      1409, 1409,  938,  899, 1409,   18, 1409,  900, 1409, 1409,
    1457             : 
    1458             :      1409, 1409, 1409, 1409, 1409, 1068, 1409, 1409, 1409, 1409,
    1459             :      1409, 1409, 1409, 1409, 1409,  901, 1082, 1409, 1083, 1409,
    1460             :      1084, 1409,  498, 1409, 1085, 1409, 1409, 1409, 1409, 1409,
    1461             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1462             :      1409, 1409, 1086,  871, 1409,   22, 1409,  872, 1409, 1409,
    1463             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1464             :      1088, 1409, 1409, 1409, 1409,  873,  936, 1409,   52, 1409,
    1465             :       937, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1095, 1409,
    1466             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,  938,  899,
    1467             :      1409,   18, 1409,  900, 1409, 1409, 1409, 1409, 1409, 1409,
    1468             : 
    1469             :      1409, 1409, 1409, 1409, 1409, 1409, 1102, 1409, 1409, 1409,
    1470             :      1409,  901, 1082, 1409, 1114, 1409, 1115, 1409,  538, 1409,
    1471             :      1116, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1472             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1117, 1082,
    1473             :      1409, 1083, 1409, 1084, 1409,  498, 1409, 1085, 1409, 1409,
    1474             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1475             :      1409, 1409, 1409, 1409, 1409, 1086,  842, 1409,  843, 1409,
    1476             :       844, 1409,  177, 1409,  814,  871, 1409,   22, 1409,  872,
    1477             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1125,
    1478             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  873,  936, 1409,
    1479             : 
    1480             :        52, 1409,  937, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1481             :      1409, 1409, 1409, 1409, 1409, 1132, 1409, 1409, 1409, 1409,
    1482             :       938,  899, 1409,   18, 1409,  900, 1409, 1409, 1409, 1409,
    1483             :      1409, 1409, 1409, 1409, 1409, 1139, 1409, 1409, 1409, 1409,
    1484             :      1409, 1409, 1409,  901, 1082, 1409, 1114, 1409, 1115, 1409,
    1485             :       538, 1409, 1116, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1486             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1487             :      1117,  842, 1409,  854, 1409,  855, 1409,  216, 1409,  856,
    1488             :      1119, 1409,  123, 1409, 1120, 1409, 1409, 1409, 1409, 1409,
    1489             :      1409, 1409, 1409, 1409, 1409, 1409, 1154, 1409, 1409, 1409,
    1490             : 
    1491             :      1409, 1409, 1121,  842, 1409,  843, 1409,  844, 1409,  177,
    1492             :      1409,  814,  871, 1409,   22, 1157,  872, 1409, 1409, 1409,
    1493             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1494             :      1409, 1409, 1409, 1409,  873,  936, 1409,   52, 1409,  937,
    1495             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1164,
    1496             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  938,  899, 1409,
    1497             :        18, 1171,  900, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1498             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1499             :       901,  842, 1409,  854, 1409,  855, 1409,  216, 1409,  856,
    1500             :      1119, 1409,  123, 1409, 1120, 1409, 1409, 1409, 1409, 1409,
    1501             : 
    1502             :      1409, 1409, 1409, 1409, 1409, 1182, 1409, 1409, 1409, 1409,
    1503             :      1409, 1409, 1121, 1185, 1409,  871, 1409,   22, 1409,  872,
    1504             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1505             :      1409, 1409, 1409, 1409, 1409, 1409, 1409,  873,  936, 1409,
    1506             :        52, 1191,  937, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1507             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1508             :       938, 1196, 1409,  899, 1409,   18, 1409,  900, 1409, 1409,
    1509             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1510             :      1409, 1409, 1409, 1409, 1409,  901, 1119, 1204,  123, 1409,
    1511             :      1120, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1512             : 
    1513             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1121, 1211,
    1514             :      1409,  936, 1409,   52, 1409,  937, 1409, 1409, 1409, 1409,
    1515             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1516             :      1409, 1409, 1409,  938, 1119, 1409,  123, 1409, 1120, 1409,
    1517             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1221,
    1518             :      1409, 1409, 1409, 1409, 1409, 1409, 1121, 1119, 1409,  123,
    1519             :      1409, 1120, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1236,
    1520             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1121,
    1521             :      1119, 1409,  123, 1409, 1120, 1409, 1409, 1409, 1409, 1409,
    1522             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1251, 1409, 1409,
    1523             : 
    1524             :      1409, 1409, 1121, 1119, 1409,  123, 1409, 1120, 1409, 1409,
    1525             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1266, 1409, 1409,
    1526             :      1409, 1409, 1409, 1409, 1409, 1121, 1119, 1409,  123, 1281,
    1527             :      1120, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1528             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1121, 1296,
    1529             :      1409, 1119, 1409,  123, 1409, 1120, 1409, 1409, 1409, 1409,
    1530             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1531             :      1409, 1409, 1409, 1121,    4,    4,    4,    4,    6,    6,
    1532             :         6,    6,   12,   12,   12,   12,   13,   13,   13,   13,
    1533             :        21,   21,   21,   21,   28,   28,   28,   28,   34,   34,
    1534             : 
    1535             :        34,   34,   14,   14,   14,   14,   25, 1409,   25,   25,
    1536             :        18,   18,   18,   18,   22,   22,   22,   29,   29,   29,
    1537             :        29,   30,   30,   30,   30,   35,   35,   35,   35,   52,
    1538             :        52,   52,   52,  122,  122,  122,  122,  123,  123,  123,
    1539             :       123,  158,  158,  158,  158,  166,  166,  166,  166,  174,
    1540             :       174,  174,  174,  182,  182,  182,  182,  159,  159,  159,
    1541             :       159,  193,  193,  193,  193,  177, 1409,  177,  177,  167,
    1542             :       167,  167,  167,  211,  211,  211,  211,  216, 1409,  216,
    1543             :       216,  220,  220,  220,  220,  226,  226,  226,  226,  236,
    1544             :       236,  236,  236,  183,  183,  183,  183,  247,  247,  247,
    1545             : 
    1546             :       247,  195,  195,  195,  195,  194,  194,  194,  194,  267,
    1547             :       267,  267,  267,  212,  212,  212,  212,  280,  280,  280,
    1548             :       280,  287,  287,  287,  287,  227,  227,  227,  227,  237,
    1549             :       237,  237,  237,  305,  305,  305,  305,  249,  249,  249,
    1550             :       249,  248,  248,  248,  248,  257,  257,  257,  257,  268,
    1551             :       268, 1409,  268,  306,  306,  306,  306,  312,  312,  312,
    1552             :       312,  498,  498,  498,  498,  538,  538,  538,  538,  543,
    1553             :       543,  543,  543,  588,  588,  588,  588,  544,  544,  544,
    1554             :       544,  783,  783,  783,  783,  794,  794,  794,  794,  810,
    1555             :       810,  810,  810,  823,  823,  823,  823,  784,  784,  784,
    1556             : 
    1557             :       784,  785,  785,  785,  785,  841,  841,  841,  841,  795,
    1558             :       795,  795,  795,  853,  853,  853,  853,  859,  859,  859,
    1559             :       859,  811,  811,  811,  811,  879,  879,  879,  879,  825,
    1560             :       825,  825,  825,  824,  824,  824,  824,  832,  832,  832,
    1561             :       832,  842,  842, 1409,  842,  880,  880,  880,  880,  886,
    1562             :       886,  886,  886, 1081, 1081, 1081, 1081, 1113, 1113, 1113,
    1563             :      1113, 1082, 1082, 1082, 1082,    3, 1409, 1409, 1409, 1409,
    1564             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1565             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    1566             :      1409, 1409, 1409, 1409
    1567             : 
    1568             :     } ;
    1569             : 
    1570             : static yyconst flex_int16_t yy_chk[5895] =
    1571             :     {   0,
    1572             :         0,    5,    5,   10,    0,    5,    7,   10,   13,    5,
    1573             :        15,   10,   14,    7,   29,   13,   14,   18,   20, 1311,
    1574             :        14,   29,   15,   38,   38,   20,   21,    5,    6,    6,
    1575             :        21,    7,    6,   13,   21,   18,    6,   20,   14,   29,
    1576             :        24,   30,   34,   20,   24,   30,   34,   42,   24,   30,
    1577             :        34,   42,   21,   36,    6,    8,   60,   36,    8,    8,
    1578             :        52,   36,   44,    8,   72,    8,   24,   30,   39,   46,
    1579             :        45,   60,   39, 1312,   44,   46,   39,   45,   52,   72,
    1580             :        44,    8,    9,    9,  450,   47,    9,  450,   45,   47,
    1581             :         9,   58,   58,   47,   39,   45,   54,   55, 1313,   64,
    1582             : 
    1583             :        84,   55,   68,   54,   84,   55,   64,   62,    9,   11,
    1584             :        11,   47,   63,   11,   68,   54,   63,   11,   62,   63,
    1585             :        68,   54,   77,   55,   69,   62,   73,   73,   94,   11,
    1586             :        75,   69,   94,   75,   76,   11,   23,   63,   88,   23,
    1587             :        23,   76,   69,   77,   23,   88,   80,   83,   83,   69,
    1588             :       330,   75,   76,   87,   81,   86, 1314,   80,   81,   76,
    1589             :        87,   81,   23,   26,   80,  330,   86,   26,   87,   95,
    1590             :        95,   26,   99,   86,   91,   26, 1315,   91,   87,   81,
    1591             :        98,   92,   99,   97,  106,  102,  106,   98,   92,   26,
    1592             :        27,   97,  105,  105,   27,   91,  102,  103,   27,   92,
    1593             : 
    1594             :        98,   97,  108,  102,  103,   98,   92,  109,  110, 1316,
    1595             :        27,  113,  103,  110,  109,  108,   27,   28,   28,  113,
    1596             :       108,   28,  103,  111,  109,   28,  114,  111,  116,  113,
    1597             :       116,  111,  109,  114,  117,  120,  123,  162,  132,  162,
    1598             :       119,  120,  120,   28,   31,   31,  114,  117,   31,  111,
    1599             :       119,  114,   31,  121,  123,  122,  132,  129,  119,  122,
    1600             :       120,  121, 1317,  122,  129,  128,  177,  131,  177,  124,
    1601             :        31,   33,   33,  124,  129,   33,  145,  124,  128,   33,
    1602             :       131,  122,  129,  128,  134,  134,  135,  135,  136, 1318,
    1603             :       142,   33,  138,  135,  145,  124,  413,   33,   40,  148,
    1604             : 
    1605             :       142,  413,   40,  134,  138,  148,   40,  136,  142,  163,
    1606             :       138,  135,  150,  143,  186,  187,  186,  151,   40,  143,
    1607             :       143,  154,  154,  148,   40,   49,  163,  572,  151,   49,
    1608             :       155,  155,  187,   49,   49,  151,  150,  155,  143,  165,
    1609             :       154,  165,  167,  179,  167,  572,  171,  165,  171,  179,
    1610             :       167,   49,   50,  340,  171,  155,   50,  263,  263,  172,
    1611             :        50,  191,  172,  191,  200,  165,  200,  179,  167,  194,
    1612             :       340,   50,  171, 1319,  194,  202,  194,  202,   50,   57,
    1613             :       172,  202,  214,   57,  214,  218,  377,   57,  214,  217,
    1614             :       214,  217,  219, 1320,  194,  217,  220,  217,  220,   57,
    1615             : 
    1616             :       223,  377,  218,  218,  220,   57,   61,  234,  219,  219,
    1617             :        61,  223,  233, 1321,   61,  227,  408,  227,  223,  232,
    1618             :       408,  232,  220,  234,  234,   61,  235, 1322,  235,  233,
    1619             :       233,  292,   61,   65,  235,  227,  237,   65,  237,  292,
    1620             :       243,   65,  243,  254,  237,  254,  248,   65,  262,  292,
    1621             :       262,  248,  235,  248,  257,  278,  257,  274,  274,   65,
    1622             :        66,  276,  237,  276,   66,   66,  279,  276,   66,  276,
    1623             :      1323,  248,  278,  278,  257,  285,  299,  285,  299,  336,
    1624             :       336,  284,  279,  279,  342,  342,   66,   71,  280, 1324,
    1625             :       280,   71,  285,  299,  280,   71,  280,  281,  284,  281,
    1626             : 
    1627             :       284, 1325,  282,  281,  282,  281,   71,  290,  282,  731,
    1628             :       282,  291,  731,   71,   74,  295,  310,  295,   74,   74,
    1629             :       298,  317,   74,  317,  290,  290,  311,  291,  291,  295,
    1630             :       308, 1326,  308,  310,  310,  295,  308,  298,  308,  298,
    1631             :        74,   78,  311,  311,  312,   78,  312,  451,  318,   78,
    1632             :       335,  451,  335,  319,  371,  371,   78,  327,  338,  327,
    1633             :       338,  337,  343, 1327,  312,  318,  318,   78,   79,  319,
    1634             :       319,  327,   79,  341, 1328,  338,   79,  327,  337,  343,
    1635             :       337,  343,  383,  702,  344,  349,  344,   79,  702,  341,
    1636             :       341,  345,  392,  392,   79,   82,  350,  383,  357,   82,
    1637             : 
    1638             :        82,  344,  349,   82,  345,  347,  354,  347,  352,  345,
    1639             :       352,  355,  350,  350,  352,  357,  352,  357,  347, 1329,
    1640             :       363,   82,   85,  354,  354,  347,   85,  355,  355,  358,
    1641             :        85,  358,  369,  482,  369,  482,  360,  363,  360,  363,
    1642             :       626,   85,  364,  376,  364,  369,  358,  378,   85,   89,
    1643             :       360,  379,  369,   89,  384,  381,  360,   89,  626,  364,
    1644             :       376,  382,   89, 1330,  378,  385,  457,  379,  379,  386,
    1645             :       457,  384,  381,  390,  382,   89,   90,  381,  382,  386,
    1646             :        90,  385,  385,  391,   90,  388,  388,  386,  388, 1331,
    1647             :       390,  393,   90,  414,  414,  390,  391,  394,  396,  394,
    1648             : 
    1649             :       391,  397,   90,   93,  420,  420,  388,   93,  393,  400,
    1650             :       393,   93,  487,  429,  394,  396,  487,  397,  397,  398,
    1651             :       401,  398,   93,  418,  406,  406,  400,  406,  429,   93,
    1652             :        96,  415,  398,  419,   96,  427,  401,  401,   96,  398,
    1653             :       418,  416,  421,  418,  851,  406,   96,  851,  415,  422,
    1654             :       419,  419,  427,  415,  416,  427,   96,  100,  416,  421,
    1655             :       428,  100,  422, 1332,  421,  100,  422,  425,  100,  425,
    1656             :       423,  423,  523,  430,  445,  445,  433,  428,  428,  431,
    1657             :       425,  466,  466,  100,  101,  523,  434,  425,  101,  423,
    1658             :       430,  437,  101,  433,  675,  431,  431, 1333,  433,  434,
    1659             : 
    1660             :       453,  435,  435,  434,  435,  101,  452,  438,  437,  675,
    1661             :       101,  104,  443,  437,  443,  104,  455,  453,  453,  104,
    1662             :       438, 1334,  435,  452,  438,  443,  452,  104,  456,  455,
    1663             :       458,  459,  443,  455,  460,  488,  488,  104,  107,  464,
    1664             :       460,  578,  107,  456, 1335,  456,  107,  458,  459,  459,
    1665             :       458,  462,  464,  462,  578,  465,  464,  467,  460,  107,
    1666             :       471,  462,  584,  468,  107,  112,  501,  470,  501,  112,
    1667             :       465,  462,  465,  112,  467,  584,  468,  471,  471,  467,
    1668             :       468,  474, 1336,  112,  470,  475,  472,  470,  472,  494,
    1669             :       494,  112,  115,  490,  489,  480,  115,  480,  474,  472,
    1670             : 
    1671             :       115,  474,  475,  475,  492,  480,  472,  489,  490,  496,
    1672             :       490,  489,  493,  115,  628,  480,  493,  495,  115,  118,
    1673             :       628,  492,  492,  118,  496,  505,  496,  118,  507,  493,
    1674             :       495,  497,  507,  497,  495,  508,  503,  118,  503,  497,
    1675             :      1337,  509,  505,  505,  506,  118,  126,  511,  506, 1338,
    1676             :       126,  503,  508,  512,  126,  508,  503,  497,  509,  509,
    1677             :       511,  506,  528,  528,  511,  513,  126,  513,  512,  515,
    1678             :       512, 1339,  126,  127,  516,  513,  529,  127,  529,  530,
    1679             :       127,  127,  515,  577,  531,  513,  515,  577,  531,  516,
    1680             :       521,  516,  521,  535,  533,  535,  530,  530, 1340,  127,
    1681             : 
    1682             :       130,  531,  534,  534,  130,  521,  536,  549,  130,  549,
    1683             :       521,  533,  537,  556,  556,  533,  537,  538,  130,  538,
    1684             :       534,  550, 1341,  536,  536,  538,  130,  133,  544,  537,
    1685             :       544,  133,  949,  551,  133,  133,  625,  625,  550,  550,
    1686             :       552,  632,  552,  538,  554,  555,  555,  949,  544,  551,
    1687             :       551,  557,  552,  133,  140,  558, 1342,  560,  140,  632,
    1688             :       552,  554,  140,  555,  557,  554,  646,  561,  557,  564,
    1689             :       558,  561,  558,  140,  560,  560,  562,  579,  562,  646,
    1690             :       140,  141, 1343,  141,  561,  141,  564,  564,  565,  141,
    1691             :      1344,  562,  565,  585,  579,  685,  562,  570,  579,  570,
    1692             : 
    1693             :       580,  580, 1345,  582,  599,  565,  599,  141,  144,  570,
    1694             :       585,  592,  144,  685,  585,  144,  144,  570,  580,  582,
    1695             :       582,  599,  586,  586,  590,  593,  590,  598,  592,  592,
    1696             :       590,  595,  590,  595,  144,  146,  146,  146,  602,  146,
    1697             :       586,  593,  593,  146,  598,  595,  598,  600,  600,  600,
    1698             :       604,  595,  604,  666,  602,  602,  605,  666,  608,  606,
    1699             :       612,  146,  147,  606,  147,  634,  147,  600,  609,  609,
    1700             :       147,  634,  667,  605,  605,  608,  606,  612,  667,  608,
    1701             :       610,  612,  610,  613,  613,  624,  609,  627,  147,  149,
    1702             :       149,  149,  610,  618,  618,  618, 1346,  149,  635,  635,
    1703             : 
    1704             :       610,  613,  624,  627,  627,  630,  631,  704,  704,  633,
    1705             :       636,  708,  708,  618,  640,  149,  152,  637,  630,  637,
    1706             :       152,  152,  630,  631,  152,  633,  633,  636,  638,  636,
    1707             :       638,  640,  642,  641,  637,  645,  642,  647,  642, 1347,
    1708             :       644,  638,  152,  153,  659,  153,  650,  153,  638,  641,
    1709             :       641,  153,  645,  644,  647, 1348,  642,  644,  647,  648,
    1710             :       648,  659,  650,  650,  652,  652,  652, 1349,  662,  153,
    1711             :       156,  654,  156,  668,  156,  672,  660,  648,  156,  738,
    1712             :       660,  672,  660,  738,  652,  662,  668,  654,  654,  670,
    1713             :       668,  673,  676,  690,  709,  709,  156,  157,  157,  157,
    1714             : 
    1715             :       660,  157,  677,  681,  673,  157,  670,  977,  673,  676,
    1716             :       690,  670,  678,  678,  680,  678,  681,  683,  677,  677,
    1717             :       681,  682,  977,  157,  158,  158,  158,  682,  158,  686,
    1718             :       689,  680,  158,  678,  683,  687,  680,  694,  691,  683,
    1719             :       714,  687,  691,  689,  691,  686,  686,  689,  693,  703,
    1720             :       158,  159,  698,  159,  694,  159,  705,  714,  698,  159,
    1721             :       714,  693,  691,  718,  863,  693,  703,  863,  707,  718,
    1722             :       705,  703,  710,  705,  711,  715, 1350,  159,  160,  160,
    1723             :       160,  721,  160, 1351,  160,  707,  160,  711,  758,  710,
    1724             :       707,  711,  715,  715,  710,  712,  723,  712,  721,  719,
    1725             : 
    1726             :       716,  724,  723,  721,  160,  164,  758,  164,  712,  164,
    1727             :       732, 1352,  719,  164,  716,  712,  719,  716,  724,  733,
    1728             :       740,  733,  736,  724,  732,  734,  734,  732,  737,  739,
    1729             :       737,  164,  166,  166,  166,  919,  736,  740,  740,  736,
    1730             :       166,  919,  741,  734,  741,  793,  739,  748,  748,  739,
    1731             :       793,  743,  741,  747,  744,  745,  745,  760,  166,  168,
    1732             :       168,  168,  741,  749,  743,  168,  764,  168,  743,  744,
    1733             :       747,  744, 1353,  745,  760,  747,  751,  749,  759,  759,
    1734             :       749,  763,  763,  764,  766,  168,  170,  170,  170,  170,
    1735             :       751,  765,  765,  751,  170, 1354,  759,  766,  770,  763,
    1736             : 
    1737             :       775,  766,  775,  767,  834,  802,  170,  768,  834,  768,
    1738             :       802,  774,  170,  173,  818,  770,  770,  173,  767,  771,
    1739             :       767,  173,  768,  771,  803,  774,  803,  768,  774,  776,
    1740             :       776,  818,  173,  778,  778,  804,  771,  805,  917,  173,
    1741             :       174,  805,  174,  806,  174,  806,  842,  776,  174, 1355,
    1742             :       842,  778,  804,  804,  805,  806,  917,  808,  809,  809,
    1743             :       811,  872,  811,  806,  811,  872,  174,  175,  832,  175,
    1744             :       832,  175,  832,  175,  808,  175,  809,  893,  808,  817,
    1745             :       817,  893,  811,  865,  878, 1356,  864,  866,  866,  878,
    1746             :       832,  904,  904,  175,  176,  869,  176,  817,  176,  864,
    1747             : 
    1748             :       865, 1022,  176, 1022,  865,  866,  867,  867,  867,  943,
    1749             :       943,  869,  869,  871,  886,  871,  886,  871,  886,  932,
    1750             :       176,  178,  932,  178,  178,  178,  867,  900, 1357,  178,
    1751             :       899,  900,  899,  902,  899,  871,  886,  902,  903,  911,
    1752             :       916,  178,  903,  911,  916,  918,  922,  178,  180,  180,
    1753             :       180,  923,  899,  924,  920, 1358,  180,  924,  920,  922,
    1754             :       920,  918,  918,  922, 1359,  936,  937,  936,  923,  936,
    1755             :       937, 1069,  942, 1069,  180,  181,  942,  181,  920,  181,
    1756             :       947,  954,  954,  181,  947,  958,  958,  936,  959,  962,
    1757             :       963, 1360,  960,  970,  959,  962,  973,  970,  982,  982,
    1758             : 
    1759             :       973,  181,  182,  182,  182,  960,  182,  963,  992,  960,
    1760             :       182,  987,  963,  991, 1361,  987, 1011,  991,  993,  993,
    1761             :      1011,  994, 1000, 1000, 1362,  992, 1006, 1006,  182,  183,
    1762             :       992,  183, 1021,  183, 1098,  994, 1098,  183,  994, 1016,
    1763             :      1016, 1020, 1020, 1023, 1023, 1074, 1021, 1029, 1035, 1021,
    1764             :      1074, 1029, 1035, 1040, 1040,  183,  184,  184,  184, 1045,
    1765             :       184, 1023,  184, 1045,  184, 1049, 1050, 1050, 1140, 1049,
    1766             :      1363, 1051, 1058, 1058, 1064, 1064, 1078, 1108, 1364, 1103,
    1767             :      1108, 1078,  184,  189, 1050,  189, 1140,  189, 1051,  189,
    1768             :      1080,  189, 1103, 1092, 1082, 1080, 1082, 1092, 1082, 1112,
    1769             : 
    1770             :      1118, 1120, 1112, 1118, 1119, 1120, 1119, 1145, 1119,  189,
    1771             :       190, 1135,  190, 1149,  190, 1129, 1082, 1152,  190, 1153,
    1772             :      1129, 1152, 1167, 1153, 1135, 1145, 1119, 1161, 1365, 1174,
    1773             :      1161, 1149, 1177, 1181, 1181, 1186,  190,  192, 1188,  192,
    1774             :      1167,  192, 1195, 1197, 1199,  192, 1174, 1203, 1250, 1177,
    1775             :      1201, 1203, 1186, 1250, 1210, 1366, 1188,  192, 1212, 1195,
    1776             :      1197, 1199, 1225,  192,  193,  193,  193, 1201,  193, 1280,
    1777             :       193, 1210,  193, 1220, 1220, 1212, 1235, 1297, 1265, 1225,
    1778             :      1235, 1265, 1367, 1308, 1368, 1369, 1370, 1280, 1371, 1372,
    1779             :       193,  195, 1373,  195, 1297,  195, 1374,  195, 1375,  195,
    1780             : 
    1781             :      1308, 1377, 1379, 1380, 1381, 1383, 1384, 1385, 1390, 1391,
    1782             :      1392, 1395, 1396, 1398, 1399, 1400, 1401,  195,  198, 1402,
    1783             :       198, 1403,  198, 1404,  198, 1405,  198,  201, 1406,  201,
    1784             :      1310,  201, 1309,  201, 1307,  201,  206, 1306,  206, 1305,
    1785             :      1304, 1303,  206, 1302,  206, 1301, 1300, 1299, 1298, 1296,
    1786             :      1294, 1293, 1292, 1291, 1290, 1289, 1288, 1287, 1286, 1285,
    1787             :      1284, 1282,  206,  208, 1279,  208,  208, 1278, 1277, 1276,
    1788             :      1275,  208, 1274, 1273, 1272, 1271, 1270, 1269, 1268, 1267,
    1789             :      1264, 1263, 1262,  208, 1261, 1260, 1259, 1258, 1257,  208,
    1790             :       211,  211,  211, 1256, 1255, 1254,  211, 1253,  211, 1252,
    1791             : 
    1792             :      1249, 1248, 1247, 1246, 1245, 1244, 1243, 1242, 1241, 1240,
    1793             :      1239, 1238, 1237, 1234, 1233, 1232,  211,  212, 1231,  212,
    1794             :      1230, 1229, 1228,  212, 1227,  212, 1226, 1224, 1223, 1222,
    1795             :      1219, 1218, 1217, 1216, 1215, 1214, 1213, 1211, 1208, 1207,
    1796             :      1206, 1205, 1202,  212,  221, 1200,  221, 1198, 1196, 1194,
    1797             :       221, 1192,  221, 1189, 1187, 1185, 1184, 1183, 1180, 1178,
    1798             :      1175, 1173, 1172, 1168, 1166, 1165, 1163, 1162, 1160, 1158,
    1799             :       221,  222, 1156,  222,  222, 1155, 1151, 1148, 1146,  222,
    1800             :      1144, 1142, 1141, 1138, 1137, 1136, 1134, 1133, 1131, 1130,
    1801             :      1128,  222, 1127, 1126, 1124, 1123, 1117,  222,  224, 1115,
    1802             : 
    1803             :      1111, 1110,  224, 1109, 1107, 1106,  224, 1105, 1104, 1101,
    1804             :      1100, 1099, 1097, 1096,  224, 1094, 1093, 1091, 1090, 1089,
    1805             :      1087, 1086, 1084, 1077,  224,  226, 1076,  226, 1075,  226,
    1806             :      1073,  226, 1072,  226, 1071, 1070, 1067, 1066, 1065, 1063,
    1807             :      1062, 1060, 1059, 1057, 1056, 1055, 1053, 1048, 1047, 1046,
    1808             :      1044,  226,  230, 1043,  230, 1042,  230, 1041,  230, 1038,
    1809             :       230,  236,  236,  236, 1037, 1036, 1034, 1033, 1031,  236,
    1810             :      1030, 1028, 1027, 1026, 1024, 1019, 1018, 1017, 1015, 1014,
    1811             :      1013, 1012, 1009, 1008, 1007, 1005, 1004,  236,  238,  238,
    1812             :       238, 1002, 1001,  999,  238,  998,  238,  997,  995,  990,
    1813             : 
    1814             :       989,  988,  986,  985,  984,  983,  980,  979,  978,  976,
    1815             :       975,  972,  971,  969,  238,  240,  240,  240,  240,  967,
    1816             :       966,  964,  961,  240,  957,  956,  955,  953,  952,  951,
    1817             :       950,  946,  945,  944,  941,  240,  940,  935,  934,  931,
    1818             :       929,  240,  241,  927,  241,  926,  241,  921,  241,  915,
    1819             :       241,  914,  913,  910,  908,  907,  906,  898,  897,  896,
    1820             :       891,  890,  888,  885,  884,  882,  876,  875,  241,  242,
    1821             :       870,  242,  868,  242,  862,  861,  858,  242,  857,  850,
    1822             :       848,  846,  845,  839,  837,  831,  830,  829,  827,  822,
    1823             :       820,  816,  815,  813,  807,  242,  244,  800,  244,  244,
    1824             : 
    1825             :       244,  799,  797,  790,  244,  789,  787,  782,  781,  779,
    1826             :       777,  773,  769,  762,  757,  755,  244,  754,  753,  752,
    1827             :       750,  746,  244,  247,  247,  247,  742,  247,  735,  247,
    1828             :       730,  247,  729,  728,  727,  726,  725,  722,  720,  717,
    1829             :       713,  706,  701,  700,  699,  697,  696,  695,  692,  247,
    1830             :       249,  688,  249,  684,  249,  679,  249,  674,  249,  671,
    1831             :       669,  665,  664,  663,  661,  658,  657,  655,  653,  651,
    1832             :       649,  643,  639,  629,  623,  622,  249,  252,  620,  252,
    1833             :       619,  252,  617,  252,  616,  252,  260,  615,  260,  611,
    1834             :       260,  607,  260,  603,  260,  265,  601,  597,  594,  587,
    1835             : 
    1836             :       265,  583,  265,  581,  576,  575,  574,  571,  569,  568,
    1837             :       567,  563,  559,  553,  265,  548,  546,  542,  540,  532,
    1838             :       265,  266,  527,  266,  526,  266,  525,  266,  522,  266,
    1839             :       267,  520,  267,  519,  267,  518,  267,  514,  267,  269,
    1840             :       510,  269,  504,  269,  491,  269,  486,  269,  270,  485,
    1841             :       270,  484,  270,  481,  270,  479,  270,  275,  478,  275,
    1842             :       477,  473,  469,  275,  463,  275,  454,  449,  448,  447,
    1843             :       444,  442,  441,  440,  436,  432,  426,  417,  412,  411,
    1844             :       410,  407,  405,  275,  277,  404,  277,  403,  399,  395,
    1845             :       277,  389,  277,  380,  375,  374,  373,  370,  368,  367,
    1846             : 
    1847             :       366,  362,  359,  356,  277,  348,  339,  334,  333,  332,
    1848             :       277,  287,  329,  287,  326,  325,  324,  287,  323,  287,
    1849             :       320,  316,  314,  309,  304,  303,  301,  297,  294,  286,
    1850             :       283,  273,  272,  271,  268,  264,  261,  287,  288,  259,
    1851             :       288,  256,  255,  253,  288,  251,  288,  246,  245,  239,
    1852             :       231,  229,  225,  216,  215,  210,  209,  207,  205,  204,
    1853             :       203,  199,  197,  188,  288,  289,  185,  289,  169,  161,
    1854             :       139,  289,  125,  289,   70,   59,   56,   51,   48,   41,
    1855             :        37,   35,   32,   25,   22,  289,   16,   12,    3,    2,
    1856             :         1,  289,  293,    0,    0,    0,  293,    0,    0,    0,
    1857             : 
    1858             :       293,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1859             :         0,    0,    0,  293,    0,    0,    0,    0,  293,  296,
    1860             :         0,  296,    0,  296,    0,  296,    0,  296,  300,    0,
    1861             :       300,    0,    0,    0,  300,    0,  300,    0,    0,    0,
    1862             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1863             :         0,    0,    0,    0,  300,  302,    0,  302,  302,    0,
    1864             :         0,    0,    0,  302,    0,    0,    0,    0,    0,    0,
    1865             :         0,    0,    0,    0,    0,  302,    0,    0,    0,    0,
    1866             :         0,  302,  305,  305,  305,    0,    0,    0,  305,    0,
    1867             :       305,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1868             : 
    1869             :         0,    0,    0,    0,    0,    0,    0,    0,  305,  306,
    1870             :         0,  306,    0,    0,    0,  306,    0,  306,    0,    0,
    1871             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1872             :         0,    0,    0,    0,    0,  306,  315,    0,  315,    0,
    1873             :       315,    0,  315,    0,  315,  321,    0,    0,    0,    0,
    1874             :       321,    0,  321,    0,    0,    0,    0,    0,    0,    0,
    1875             :         0,    0,    0,    0,  321,    0,    0,    0,    0,    0,
    1876             :       321,  322,    0,  322,    0,  322,    0,  322,    0,  322,
    1877             :       328,    0,  328,    0,  328,    0,  328,    0,  328,  331,
    1878             :         0,    0,    0,    0,  331,    0,  331,    0,    0,    0,
    1879             : 
    1880             :         0,    0,    0,    0,    0,    0,    0,  331,    0,    0,
    1881             :         0,    0,    0,    0,  331,  346,    0,    0,    0,  346,
    1882             :         0,    0,    0,  346,    0,    0,    0,    0,    0,    0,
    1883             :         0,    0,    0,  346,    0,    0,    0,    0,    0,    0,
    1884             :         0,  346,  351,    0,  351,    0,    0,    0,  351,    0,
    1885             :       351,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1886             :         0,    0,    0,    0,    0,    0,    0,    0,  351,  353,
    1887             :         0,  353,    0,    0,    0,  353,    0,  353,    0,    0,
    1888             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  353,
    1889             :         0,    0,    0,    0,    0,  353,  361,    0,  361,    0,
    1890             : 
    1891             :       361,    0,  361,    0,  361,  365,    0,    0,    0,    0,
    1892             :       365,    0,  365,    0,    0,    0,    0,    0,    0,    0,
    1893             :         0,    0,    0,  365,    0,    0,    0,    0,    0,    0,
    1894             :       365,  372,    0,    0,    0,  372,  372,    0,  372,    0,
    1895             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1896             :         0,    0,    0,    0,    0,    0,  372,  387,    0,    0,
    1897             :         0,  387,    0,    0,  387,  387,    0,    0,    0,    0,
    1898             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1899             :         0,    0,    0,  387,  402,    0,    0,    0,  402,  402,
    1900             :         0,  402,    0,    0,    0,    0,    0,    0,    0,    0,
    1901             : 
    1902             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  402,
    1903             :       409,    0,    0,    0,    0,  409,    0,  409,    0,    0,
    1904             :         0,    0,    0,    0,    0,    0,    0,    0,  409,    0,
    1905             :         0,    0,    0,    0,    0,  409,  424,    0,  424,    0,
    1906             :       424,    0,    0,    0,  424,    0,    0,    0,    0,    0,
    1907             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1908             :         0,    0,  424,  439,    0,    0,    0,    0,  439,    0,
    1909             :       439,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1910             :         0,  439,    0,    0,    0,    0,    0,    0,  439,  446,
    1911             :         0,    0,    0,    0,  446,    0,  446,    0,    0,    0,
    1912             : 
    1913             :         0,    0,    0,    0,  446,    0,    0,    0,    0,    0,
    1914             :         0,    0,    0,    0,  446,  461,    0,  461,    0,  461,
    1915             :         0,    0,    0,  461,    0,    0,    0,    0,    0,    0,
    1916             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1917             :         0,  461,  476,    0,    0,    0,    0,  476,    0,  476,
    1918             :         0,    0,    0,    0,    0,    0,    0,  476,    0,    0,
    1919             :         0,    0,    0,    0,    0,    0,    0,  476,  483,    0,
    1920             :         0,    0,    0,  483,    0,  483,    0,    0,    0,    0,
    1921             :         0,    0,    0,    0,    0,    0,    0,    0,  483,    0,
    1922             :         0,    0,    0,  483,  498,    0,  498,    0,  498,    0,
    1923             : 
    1924             :         0,    0,  498,    0,    0,    0,    0,    0,    0,    0,
    1925             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1926             :       498,  499,    0,  499,    0,  499,    0,  499,    0,  499,
    1927             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1928             :         0,    0,    0,    0,    0,    0,    0,  499,  500,    0,
    1929             :       500,    0,  500,    0,    0,    0,  500,    0,    0,    0,
    1930             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1931             :         0,    0,    0,    0,  500,  502,    0,  502,  502,  502,
    1932             :         0,    0,    0,  502,    0,    0,    0,    0,    0,    0,
    1933             :         0,    0,    0,    0,    0,  502,    0,    0,    0,    0,
    1934             : 
    1935             :         0,  502,  517,    0,    0,    0,    0,  517,    0,  517,
    1936             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1937             :         0,    0,  517,    0,    0,    0,    0,  517,  524,    0,
    1938             :         0,    0,    0,  524,    0,  524,    0,    0,    0,    0,
    1939             :         0,    0,    0,    0,    0,  524,    0,    0,    0,    0,
    1940             :         0,    0,    0,  524,  539,    0,  539,    0,    0,    0,
    1941             :       539,    0,  539,    0,    0,    0,    0,    0,    0,    0,
    1942             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1943             :       539,  541,    0,  541,  541,    0,    0,    0,    0,  541,
    1944             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1945             : 
    1946             :         0,  541,    0,    0,    0,    0,    0,  541,  543,    0,
    1947             :       543,    0,  543,    0,  543,    0,  543,    0,    0,    0,
    1948             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1949             :         0,    0,    0,    0,  543,  547,    0,  547,    0,  547,
    1950             :         0,  547,    0,  547,  566,    0,    0,    0,    0,  566,
    1951             :         0,  566,    0,    0,    0,    0,    0,    0,    0,    0,
    1952             :         0,  566,    0,    0,    0,    0,    0,    0,    0,  566,
    1953             :       573,    0,    0,    0,    0,  573,  573,  573,    0,    0,
    1954             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1955             :         0,    0,    0,    0,    0,  573,  588,    0,  588,    0,
    1956             : 
    1957             :         0,    0,  588,    0,  588,    0,    0,    0,    0,    0,
    1958             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1959             :         0,    0,  588,  589,    0,  589,    0,    0,    0,  589,
    1960             :         0,  589,    0,    0,    0,    0,    0,    0,    0,    0,
    1961             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  589,
    1962             :       591,    0,  591,    0,    0,    0,  591,    0,  591,    0,
    1963             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1964             :       591,    0,    0,    0,    0,    0,  591,  596,    0,  596,
    1965             :         0,  596,    0,  596,    0,  596,  614,    0,    0,    0,
    1966             :         0,  614,  614,  614,    0,    0,    0,    0,    0,    0,
    1967             : 
    1968             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1969             :         0,  614,  621,  621,    0,    0,    0,  621,    0,  621,
    1970             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1971             :         0,    0,    0,    0,    0,    0,    0,  621,  656,  656,
    1972             :         0,    0,    0,  656,    0,  656,    0,    0,    0,    0,
    1973             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1974             :         0,    0,    0,  656,  756,  756,  756,    0,  756,    0,
    1975             :       756,    0,  756,    0,    0,    0,    0,    0,    0,    0,
    1976             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1977             :       756,  761,  761,  761,    0,  761,    0,  761,    0,  761,
    1978             : 
    1979             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1980             :         0,    0,    0,    0,    0,    0,    0,  761,  772,    0,
    1981             :       772,    0,  772,    0,  772,    0,  772,    0,    0,    0,
    1982             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1983             :         0,    0,    0,    0,  772,  780,  780,  780,    0,  780,
    1984             :         0,  780,    0,  780,    0,    0,    0,    0,    0,    0,
    1985             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1986             :         0,  780,  783,  783,  783,    0,  783,    0,  783,    0,
    1987             :       783,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1988             :         0,    0,    0,    0,    0,    0,    0,    0,  783,  784,
    1989             : 
    1990             :         0,    0,  784,    0,  784,    0,  784,    0,    0,    0,
    1991             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1992             :         0,    0,    0,    0,  784,  785,    0,  785,    0,  785,
    1993             :         0,  785,    0,  785,    0,    0,    0,    0,    0,    0,
    1994             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1995             :         0,  785,  788,    0,  788,    0,  788,    0,  788,    0,
    1996             :       788,  791,    0,  791,    0,  791,    0,  791,    0,  791,
    1997             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    1998             :         0,    0,    0,    0,    0,    0,    0,  791,  792,    0,
    1999             :       792,    0,  792,    0,  792,    0,  792,    0,    0,    0,
    2000             : 
    2001             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2002             :         0,    0,    0,    0,  792,  794,  794,  794,    0,  794,
    2003             :         0,  794,    0,  794,    0,    0,    0,    0,    0,    0,
    2004             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2005             :         0,  794,  795,    0,  795,    0,  795,    0,  795,    0,
    2006             :       795,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2007             :         0,    0,    0,    0,    0,    0,    0,    0,  795,  798,
    2008             :         0,  798,    0,  798,    0,  798,    0,  798,  801,    0,
    2009             :       801,    0,  801,    0,  801,    0,  801,    0,    0,    0,
    2010             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2011             : 
    2012             :         0,    0,    0,    0,  801,  810,    0,  810,    0,  810,
    2013             :         0,  810,    0,  810,    0,    0,    0,    0,    0,    0,
    2014             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2015             :         0,  810,  814,    0,  814,    0,  814,    0,  814,    0,
    2016             :       814,  819,  819,  819,    0,  819,    0,  819,    0,  819,
    2017             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2018             :         0,    0,    0,    0,    0,    0,    0,  819,  821,    0,
    2019             :       821,    0,  821,    0,  821,    0,  821,    0,    0,    0,
    2020             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2021             :         0,    0,    0,    0,  821,  823,  823,  823,    0,  823,
    2022             : 
    2023             :         0,  823,    0,  823,    0,    0,    0,    0,    0,    0,
    2024             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2025             :         0,  823,  824,    0,    0,  824,    0,  824,    0,  824,
    2026             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2027             :         0,    0,    0,    0,    0,    0,    0,  824,  825,    0,
    2028             :       825,    0,  825,    0,  825,    0,  825,    0,    0,    0,
    2029             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2030             :         0,    0,    0,    0,  825,  828,    0,  828,    0,  828,
    2031             :         0,  828,    0,  828,  833,    0,    0,  833,    0,  833,
    2032             :         0,  833,    0,    0,    0,    0,    0,    0,    0,    0,
    2033             : 
    2034             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  833,
    2035             :       835,    0,    0,  835,    0,  835,    0,  835,    0,    0,
    2036             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  835,
    2037             :         0,    0,    0,    0,    0,  835,  838,    0,  838,    0,
    2038             :       838,    0,  838,    0,  838,  840,    0,  840,    0,  840,
    2039             :         0,  840,    0,  840,  841,    0,  841,    0,  841,    0,
    2040             :       841,    0,  841,  843,    0,  843,    0,  843,    0,  843,
    2041             :         0,  843,  844,    0,  844,    0,  844,    0,  844,    0,
    2042             :       844,  849,    0,  849,    0,  849,    0,  849,    0,  849,
    2043             :       852,    0,  852,    0,  852,    0,  852,    0,  852,  853,
    2044             : 
    2045             :         0,  853,    0,  853,    0,  853,    0,  853,  854,    0,
    2046             :       854,    0,  854,    0,  854,    0,  854,  855,    0,  855,
    2047             :         0,  855,    0,  855,    0,  855,  856,    0,  856,    0,
    2048             :       856,    0,  856,    0,  856,  859,    0,  859,    0,  859,
    2049             :         0,  859,    0,  859,    0,    0,    0,    0,    0,    0,
    2050             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2051             :         0,  859,  873,    0,  873,    0,  873,    0,    0,    0,
    2052             :         0,    0,    0,    0,    0,    0,    0,    0,  873,    0,
    2053             :         0,    0,    0,    0,  873,  874,    0,  874,    0,  874,
    2054             :         0,  874,    0,  874,  877,    0,  877,    0,  877,    0,
    2055             : 
    2056             :       877,    0,  877,    0,    0,    0,    0,    0,    0,    0,
    2057             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2058             :       877,  879,  879,  879,    0,  879,    0,  879,    0,  879,
    2059             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2060             :         0,    0,    0,    0,    0,    0,    0,  879,  880,    0,
    2061             :       880,    0,  880,    0,  880,    0,  880,    0,    0,    0,
    2062             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2063             :         0,    0,    0,    0,  880,  883,    0,  883,    0,  883,
    2064             :         0,  883,    0,  883,  889,    0,  889,    0,  889,    0,
    2065             :       889,    0,  889,  892,    0,    0,  892,    0,  892,    0,
    2066             : 
    2067             :       892,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2068             :         0,    0,    0,    0,    0,    0,    0,    0,  892,  894,
    2069             :         0,    0,  894,    0,  894,    0,  894,    0,    0,    0,
    2070             :         0,    0,    0,    0,    0,    0,    0,    0,  894,    0,
    2071             :         0,    0,    0,    0,  894,  895,    0,  895,    0,  895,
    2072             :         0,  895,    0,  895,  901,    0,  901,    0,  901,    0,
    2073             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2074             :       901,    0,    0,    0,    0,    0,  901,  905,    0,  905,
    2075             :         0,  905,    0,  905,    0,  905,  909,    0,  909,    0,
    2076             :       909,    0,  909,    0,  909,  912,    0,  912,    0,  912,
    2077             : 
    2078             :         0,  912,    0,  912,  925,    0,  925,    0,  925,    0,
    2079             :         0,    0,    0,    0,    0,    0,    0,    0,    0,  925,
    2080             :         0,    0,    0,    0,    0,    0,  925,  930,    0,  930,
    2081             :         0,  930,    0,  930,    0,  930,  933,    0,  933,    0,
    2082             :       933,    0,  933,    0,  933,  938,    0,  938,    0,  938,
    2083             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2084             :         0,  938,    0,    0,    0,    0,    0,  938,  939,    0,
    2085             :       939,    0,  939,    0,  939,    0,  939,  948,    0,  948,
    2086             :         0,  948,    0,    0,    0,    0,    0,    0,    0,    0,
    2087             :         0,    0,  948,    0,    0,    0,    0,    0,    0,  948,
    2088             : 
    2089             :       965,  965,  965,    0,  965,    0,    0,    0,    0,    0,
    2090             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2091             :         0,    0,  965,  968,    0,  968,    0,  968,    0,  968,
    2092             :         0,  968,  974,    0,  974,    0,  974,    0,    0,    0,
    2093             :         0,    0,    0,    0,    0,    0,    0,  974,    0,    0,
    2094             :         0,    0,    0,    0,  974,  981,  981,  981,    0,  981,
    2095             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2096             :         0,    0,    0,    0,    0,    0,    0,  981,  996,    0,
    2097             :       996,    0,  996,    0,    0,    0,    0,    0,    0,    0,
    2098             :         0,    0,    0,  996,    0,    0,    0,    0,    0,    0,
    2099             : 
    2100             :       996, 1003, 1003, 1003,    0, 1003,    0,    0,    0,    0,
    2101             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2102             :         0,    0,    0, 1003, 1010,    0, 1010,    0, 1010,    0,
    2103             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1010,
    2104             :         0,    0,    0,    0,    0,    0, 1010, 1025,    0, 1025,
    2105             :         0, 1025,    0,    0,    0,    0,    0,    0,    0, 1025,
    2106             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1025,
    2107             :      1032,    0, 1032,    0, 1032,    0,    0,    0,    0,    0,
    2108             :         0,    0,    0,    0,    0, 1032,    0,    0,    0,    0,
    2109             :         0,    0, 1032, 1039,    0, 1039,    0, 1039,    0,    0,
    2110             : 
    2111             :         0,    0,    0,    0,    0, 1039,    0,    0,    0,    0,
    2112             :         0,    0,    0,    0,    0, 1039, 1052,    0, 1052,    0,
    2113             :      1052,    0, 1052,    0, 1052,    0,    0,    0,    0,    0,
    2114             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2115             :         0,    0, 1052, 1054,    0, 1054,    0, 1054,    0,    0,
    2116             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2117             :      1054,    0,    0,    0,    0, 1054, 1061,    0, 1061,    0,
    2118             :      1061,    0,    0,    0,    0,    0,    0,    0, 1061,    0,
    2119             :         0,    0,    0,    0,    0,    0,    0,    0, 1061, 1068,
    2120             :         0, 1068,    0, 1068,    0,    0,    0,    0,    0,    0,
    2121             : 
    2122             :         0,    0,    0,    0,    0,    0, 1068,    0,    0,    0,
    2123             :         0, 1068, 1079,    0, 1079,    0, 1079,    0, 1079,    0,
    2124             :      1079,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2125             :         0,    0,    0,    0,    0,    0,    0,    0, 1079, 1081,
    2126             :         0, 1081,    0, 1081,    0, 1081,    0, 1081,    0,    0,
    2127             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2128             :         0,    0,    0,    0,    0, 1081, 1085,    0, 1085,    0,
    2129             :      1085,    0, 1085,    0, 1085, 1088,    0, 1088,    0, 1088,
    2130             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1088,
    2131             :         0,    0,    0,    0,    0,    0,    0, 1088, 1095,    0,
    2132             : 
    2133             :      1095,    0, 1095,    0,    0,    0,    0,    0,    0,    0,
    2134             :         0,    0,    0,    0,    0, 1095,    0,    0,    0,    0,
    2135             :      1095, 1102,    0, 1102,    0, 1102,    0,    0,    0,    0,
    2136             :         0,    0,    0,    0,    0, 1102,    0,    0,    0,    0,
    2137             :         0,    0,    0, 1102, 1113,    0, 1113,    0, 1113,    0,
    2138             :      1113,    0, 1113,    0,    0,    0,    0,    0,    0,    0,
    2139             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2140             :      1113, 1116,    0, 1116,    0, 1116,    0, 1116,    0, 1116,
    2141             :      1121,    0, 1121,    0, 1121,    0,    0,    0,    0,    0,
    2142             :         0,    0,    0,    0,    0,    0, 1121,    0,    0,    0,
    2143             : 
    2144             :         0,    0, 1121, 1122,    0, 1122,    0, 1122,    0, 1122,
    2145             :         0, 1122, 1125,    0, 1125, 1125, 1125,    0,    0,    0,
    2146             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2147             :         0,    0,    0,    0, 1125, 1132,    0, 1132,    0, 1132,
    2148             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1132,
    2149             :         0,    0,    0,    0,    0,    0,    0, 1132, 1139,    0,
    2150             :      1139, 1139, 1139,    0,    0,    0,    0,    0,    0,    0,
    2151             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2152             :      1139, 1150,    0, 1150,    0, 1150,    0, 1150,    0, 1150,
    2153             :      1154,    0, 1154,    0, 1154,    0,    0,    0,    0,    0,
    2154             : 
    2155             :         0,    0,    0,    0,    0, 1154,    0,    0,    0,    0,
    2156             :         0,    0, 1154, 1157,    0, 1157,    0, 1157,    0, 1157,
    2157             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2158             :         0,    0,    0,    0,    0,    0,    0, 1157, 1164,    0,
    2159             :      1164, 1164, 1164,    0,    0,    0,    0,    0,    0,    0,
    2160             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2161             :      1164, 1171,    0, 1171,    0, 1171,    0, 1171,    0,    0,
    2162             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2163             :         0,    0,    0,    0,    0, 1171, 1182, 1182, 1182,    0,
    2164             :      1182,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2165             : 
    2166             :         0,    0,    0,    0,    0,    0,    0,    0, 1182, 1191,
    2167             :         0, 1191,    0, 1191,    0, 1191,    0,    0,    0,    0,
    2168             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2169             :         0,    0,    0, 1191, 1204,    0, 1204,    0, 1204,    0,
    2170             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1204,
    2171             :         0,    0,    0,    0,    0,    0, 1204, 1221,    0, 1221,
    2172             :         0, 1221,    0,    0,    0,    0,    0,    0,    0, 1221,
    2173             :         0,    0,    0,    0,    0,    0,    0,    0,    0, 1221,
    2174             :      1236,    0, 1236,    0, 1236,    0,    0,    0,    0,    0,
    2175             :         0,    0,    0,    0,    0,    0,    0, 1236,    0,    0,
    2176             : 
    2177             :         0,    0, 1236, 1251,    0, 1251,    0, 1251,    0,    0,
    2178             :         0,    0,    0,    0,    0,    0,    0, 1251,    0,    0,
    2179             :         0,    0,    0,    0,    0, 1251, 1266,    0, 1266, 1266,
    2180             :      1266,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2181             :         0,    0,    0,    0,    0,    0,    0,    0, 1266, 1281,
    2182             :         0, 1281,    0, 1281,    0, 1281,    0,    0,    0,    0,
    2183             :         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
    2184             :         0,    0,    0, 1281, 1410, 1410, 1410, 1410, 1411, 1411,
    2185             :      1411, 1411, 1412, 1412, 1412, 1412, 1413, 1413, 1413, 1413,
    2186             :      1414, 1414, 1414, 1414, 1415, 1415, 1415, 1415, 1416, 1416,
    2187             : 
    2188             :      1416, 1416, 1417, 1417, 1417, 1417, 1418,    0, 1418, 1418,
    2189             :      1419, 1419, 1419, 1419, 1420, 1420, 1420, 1421, 1421, 1421,
    2190             :      1421, 1422, 1422, 1422, 1422, 1423, 1423, 1423, 1423, 1424,
    2191             :      1424, 1424, 1424, 1425, 1425, 1425, 1425, 1426, 1426, 1426,
    2192             :      1426, 1427, 1427, 1427, 1427, 1428, 1428, 1428, 1428, 1429,
    2193             :      1429, 1429, 1429, 1430, 1430, 1430, 1430, 1431, 1431, 1431,
    2194             :      1431, 1432, 1432, 1432, 1432, 1433,    0, 1433, 1433, 1434,
    2195             :      1434, 1434, 1434, 1435, 1435, 1435, 1435, 1436,    0, 1436,
    2196             :      1436, 1437, 1437, 1437, 1437, 1438, 1438, 1438, 1438, 1439,
    2197             :      1439, 1439, 1439, 1440, 1440, 1440, 1440, 1441, 1441, 1441,
    2198             : 
    2199             :      1441, 1442, 1442, 1442, 1442, 1443, 1443, 1443, 1443, 1444,
    2200             :      1444, 1444, 1444, 1445, 1445, 1445, 1445, 1446, 1446, 1446,
    2201             :      1446, 1447, 1447, 1447, 1447, 1448, 1448, 1448, 1448, 1449,
    2202             :      1449, 1449, 1449, 1450, 1450, 1450, 1450, 1451, 1451, 1451,
    2203             :      1451, 1452, 1452, 1452, 1452, 1453, 1453, 1453, 1453, 1454,
    2204             :      1454,    0, 1454, 1455, 1455, 1455, 1455, 1456, 1456, 1456,
    2205             :      1456, 1457, 1457, 1457, 1457, 1458, 1458, 1458, 1458, 1459,
    2206             :      1459, 1459, 1459, 1460, 1460, 1460, 1460, 1461, 1461, 1461,
    2207             :      1461, 1462, 1462, 1462, 1462, 1463, 1463, 1463, 1463, 1464,
    2208             :      1464, 1464, 1464, 1465, 1465, 1465, 1465, 1466, 1466, 1466,
    2209             : 
    2210             :      1466, 1467, 1467, 1467, 1467, 1468, 1468, 1468, 1468, 1469,
    2211             :      1469, 1469, 1469, 1470, 1470, 1470, 1470, 1471, 1471, 1471,
    2212             :      1471, 1472, 1472, 1472, 1472, 1473, 1473, 1473, 1473, 1474,
    2213             :      1474, 1474, 1474, 1475, 1475, 1475, 1475, 1476, 1476, 1476,
    2214             :      1476, 1477, 1477,    0, 1477, 1478, 1478, 1478, 1478, 1479,
    2215             :      1479, 1479, 1479, 1480, 1480, 1480, 1480, 1481, 1481, 1481,
    2216             :      1481, 1482, 1482, 1482, 1482, 1409, 1409, 1409, 1409, 1409,
    2217             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    2218             :      1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409, 1409,
    2219             :      1409, 1409, 1409, 1409
    2220             : 
    2221             :     } ;
    2222             : 
    2223             : /* Table of booleans, true if rule could match eol. */
    2224             : static yyconst flex_int32_t yy_rule_can_match_eol[11] =
    2225             :     {   0,
    2226             : 1, 0, 1, 1, 1, 0, 1, 1, 1, 0,     };
    2227             : 
    2228             : static yy_state_type yy_last_accepting_state;
    2229             : static char *yy_last_accepting_cpos;
    2230             : 
    2231             : extern int yy_flex_debug;
    2232             : int yy_flex_debug = 0;
    2233             : 
    2234             : /* The intent behind this definition is that it'll catch
    2235             :  * any uses of REJECT which flex missed.
    2236             :  */
    2237             : #define REJECT reject_used_but_not_detected
    2238             : #define yymore() yymore_used_but_not_detected
    2239             : #define YY_MORE_ADJ 0
    2240             : #define YY_RESTORE_YY_MORE_OFFSET
    2241             : char *yytext;
    2242             : #line 1 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2243             : #line 2 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2244             : /*
    2245             :  * This file is part of the LibreOffice project.
    2246             :  *
    2247             :  * This Source Code Form is subject to the terms of the Mozilla Public
    2248             :  * License, v. 2.0. If a copy of the MPL was not distributed with this
    2249             :  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
    2250             :  *
    2251             :  * This file incorporates work covered by the following license notice:
    2252             :  *
    2253             :  *   Licensed to the Apache Software Foundation (ASF) under one or more
    2254             :  *   contributor license agreements. See the NOTICE file distributed
    2255             :  *   with this work for additional information regarding copyright
    2256             :  *   ownership. The ASF licenses this file to you under the Apache
    2257             :  *   License, Version 2.0 (the "License"); you may not use this file
    2258             :  *   except in compliance with the License. You may obtain a copy of
    2259             :  *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
    2260             :  */
    2261             : 
    2262             : /*
    2263             :  * lexer for parsing cfg source files
    2264             :  */
    2265             : 
    2266             : /* enlarge token buffer to tokenize whole strings */
    2267             : #undef YYLMAX
    2268             : #define YYLMAX 64000
    2269             : 
    2270             : /* to enable debug output define LEXDEBUG */
    2271             : #define LEXDEBUG                1
    2272             : #ifdef LEXDEBUG
    2273             : #define OUTPUT  fprintf
    2274             : #else
    2275             : #define OUTPUT(Par1,Par2);
    2276             : #endif
    2277             : 
    2278             : /* table of possible token ids */
    2279             : #include "tokens.h"
    2280             : #include <stdlib.h>
    2281             : #include <stdio.h>
    2282             : 
    2283             : #include "sal/main.h"
    2284             : 
    2285             : #if defined __GNUC__
    2286             : #if (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 2))
    2287             : #pragma GCC diagnostic ignored "-Wunused-function"
    2288             : #pragma GCC diagnostic ignored "-Wunused-label"
    2289             : #endif
    2290             : #if (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 6))
    2291             : #pragma GCC diagnostic ignored "-Wunused-but-set-variable"
    2292             : #endif
    2293             : #elif defined __SINPRO_CC
    2294             : #pragma disable_warn
    2295             : #elif defined _MSC_VER
    2296             : #pragma warning(push, 1)
    2297             : #endif
    2298             : 
    2299             : int yycolumn = 1;
    2300             : #define YY_USER_ACTION yycolumn += yyleng;
    2301             : 
    2302             : /* external functions (C++ code, declared as extern "C" */
    2303             : extern "C" void workOnTokenSet( int, char* );
    2304             : extern "C" FILE * init(int, char **);
    2305             : 
    2306             : int bText=0;
    2307             : #line 2308 "/usr/local/src/libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source/cfglex.cxx"
    2308             : 
    2309             : #define INITIAL 0
    2310             : 
    2311             : #ifndef YY_NO_UNISTD_H
    2312             : /* Special case for "unistd.h", since it is non-ANSI. We include it way
    2313             :  * down here because we want the user's section 1 to have been scanned first.
    2314             :  * The user has a chance to override it with an option.
    2315             :  */
    2316             : #include <unistd.h>
    2317             : #endif
    2318             : 
    2319             : #ifndef YY_EXTRA_TYPE
    2320             : #define YY_EXTRA_TYPE void *
    2321             : #endif
    2322             : 
    2323             : static int yy_init_globals (void );
    2324             : 
    2325             : /* Accessor methods to globals.
    2326             :    These are made visible to non-reentrant scanners for convenience. */
    2327             : 
    2328             : int yylex_destroy (void );
    2329             : 
    2330             : int yyget_debug (void );
    2331             : 
    2332             : void yyset_debug (int debug_flag  );
    2333             : 
    2334             : YY_EXTRA_TYPE yyget_extra (void );
    2335             : 
    2336             : void yyset_extra (YY_EXTRA_TYPE user_defined  );
    2337             : 
    2338             : FILE *yyget_in (void );
    2339             : 
    2340             : void yyset_in  (FILE * in_str  );
    2341             : 
    2342             : FILE *yyget_out (void );
    2343             : 
    2344             : void yyset_out  (FILE * out_str  );
    2345             : 
    2346             : int yyget_leng (void );
    2347             : 
    2348             : char *yyget_text (void );
    2349             : 
    2350             : int yyget_lineno (void );
    2351             : 
    2352             : void yyset_lineno (int line_number  );
    2353             : 
    2354             : /* Macros after this point can all be overridden by user definitions in
    2355             :  * section 1.
    2356             :  */
    2357             : 
    2358             : #ifndef YY_SKIP_YYWRAP
    2359             : #ifdef __cplusplus
    2360             : extern "C" int yywrap (void );
    2361             : #else
    2362             : extern int yywrap (void );
    2363             : #endif
    2364             : #endif
    2365             : 
    2366             :     static void yyunput (int c,char *buf_ptr  );
    2367             :     
    2368             : #ifndef yytext_ptr
    2369             : static void yy_flex_strncpy (char *,yyconst char *,int );
    2370             : #endif
    2371             : 
    2372             : #ifdef YY_NEED_STRLEN
    2373             : static int yy_flex_strlen (yyconst char * );
    2374             : #endif
    2375             : 
    2376             : #ifndef YY_NO_INPUT
    2377             : 
    2378             : #ifdef __cplusplus
    2379             : static int yyinput (void );
    2380             : #else
    2381             : static int input (void );
    2382             : #endif
    2383             : 
    2384             : #endif
    2385             : 
    2386             : /* Amount of stuff to slurp up with each read. */
    2387             : #ifndef YY_READ_BUF_SIZE
    2388             : #define YY_READ_BUF_SIZE 8192
    2389             : #endif
    2390             : 
    2391             : /* Copy whatever the last rule matched to the standard output. */
    2392             : #ifndef ECHO
    2393             : /* This used to be an fputs(), but since the string might contain NUL's,
    2394             :  * we now use fwrite().
    2395             :  */
    2396             : #define ECHO do { if (fwrite( yytext, yyleng, 1, yyout )) {} } while (0)
    2397             : #endif
    2398             : 
    2399             : /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
    2400             :  * is returned in "result".
    2401             :  */
    2402             : #ifndef YY_INPUT
    2403             : #define YY_INPUT(buf,result,max_size) \
    2404             :         if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
    2405             :                 { \
    2406             :                 int c = '*'; \
    2407             :                 unsigned n; \
    2408             :                 for ( n = 0; n < max_size && \
    2409             :                              (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
    2410             :                         buf[n] = (char) c; \
    2411             :                 if ( c == '\n' ) \
    2412             :                         buf[n++] = (char) c; \
    2413             :                 if ( c == EOF && ferror( yyin ) ) \
    2414             :                         YY_FATAL_ERROR( "input in flex scanner failed" ); \
    2415             :                 result = n; \
    2416             :                 } \
    2417             :         else \
    2418             :                 { \
    2419             :                 errno=0; \
    2420             :                 while ( (result = fread(buf, 1, max_size, yyin))==0 && ferror(yyin)) \
    2421             :                         { \
    2422             :                         if( errno != EINTR) \
    2423             :                                 { \
    2424             :                                 YY_FATAL_ERROR( "input in flex scanner failed" ); \
    2425             :                                 break; \
    2426             :                                 } \
    2427             :                         errno=0; \
    2428             :                         clearerr(yyin); \
    2429             :                         } \
    2430             :                 }\
    2431             : \
    2432             : 
    2433             : #endif
    2434             : 
    2435             : /* No semi-colon after return; correct usage is to write "yyterminate();" -
    2436             :  * we don't want an extra ';' after the "return" because that will cause
    2437             :  * some compilers to complain about unreachable statements.
    2438             :  */
    2439             : #ifndef yyterminate
    2440             : #define yyterminate() return YY_NULL
    2441             : #endif
    2442             : 
    2443             : /* Number of entries by which start-condition stack grows. */
    2444             : #ifndef YY_START_STACK_INCR
    2445             : #define YY_START_STACK_INCR 25
    2446             : #endif
    2447             : 
    2448             : /* Report a fatal error. */
    2449             : #ifndef YY_FATAL_ERROR
    2450             : #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
    2451             : #endif
    2452             : 
    2453             : /* end tables serialization structures and prototypes */
    2454             : 
    2455             : /* Default declaration of generated scanner - a define so the user can
    2456             :  * easily add parameters.
    2457             :  */
    2458             : #ifndef YY_DECL
    2459             : #define YY_DECL_IS_OURS 1
    2460             : 
    2461             : extern int yylex (void);
    2462             : 
    2463             : #define YY_DECL int yylex (void)
    2464             : #endif /* !YY_DECL */
    2465             : 
    2466             : /* Code executed at the beginning of each rule, after yytext and yyleng
    2467             :  * have been set up.
    2468             :  */
    2469             : #ifndef YY_USER_ACTION
    2470             : #define YY_USER_ACTION
    2471             : #endif
    2472             : 
    2473             : /* Code executed at the end of each rule. */
    2474             : #ifndef YY_BREAK
    2475             : #define YY_BREAK break;
    2476             : #endif
    2477             : 
    2478             : #define YY_RULE_SETUP \
    2479             :         YY_USER_ACTION
    2480             : 
    2481             : /** The main scanner function which does all the work.
    2482             :  */
    2483           0 : YY_DECL
    2484             : {
    2485             :         register yy_state_type yy_current_state;
    2486             :         register char *yy_cp, *yy_bp;
    2487             :         register int yy_act;
    2488             :     
    2489             : #line 74 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2490             : 
    2491             : 
    2492             : #line 2493 "/usr/local/src/libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source/cfglex.cxx"
    2493             : 
    2494           0 :         if ( !(yy_init) )
    2495             :                 {
    2496           0 :                 (yy_init) = 1;
    2497             : 
    2498             : #ifdef YY_USER_INIT
    2499             :                 YY_USER_INIT;
    2500             : #endif
    2501             : 
    2502           0 :                 if ( ! (yy_start) )
    2503           0 :                         (yy_start) = 1; /* first start state */
    2504             : 
    2505           0 :                 if ( ! yyin )
    2506           0 :                         yyin = stdin;
    2507             : 
    2508           0 :                 if ( ! yyout )
    2509           0 :                         yyout = stdout;
    2510             : 
    2511           0 :                 if ( ! YY_CURRENT_BUFFER ) {
    2512           0 :                         yyensure_buffer_stack ();
    2513           0 :                         YY_CURRENT_BUFFER_LVALUE =
    2514           0 :                                 yy_create_buffer(yyin,YY_BUF_SIZE );
    2515             :                 }
    2516             : 
    2517           0 :                 yy_load_buffer_state( );
    2518             :                 }
    2519             : 
    2520           0 :         while ( 1 )             /* loops until end-of-file is reached */
    2521             :                 {
    2522           0 :                 yy_cp = (yy_c_buf_p);
    2523             : 
    2524             :                 /* Support of yytext. */
    2525           0 :                 *yy_cp = (yy_hold_char);
    2526             : 
    2527             :                 /* yy_bp points to the position in yy_ch_buf of the start of
    2528             :                  * the current run.
    2529             :                  */
    2530           0 :                 yy_bp = yy_cp;
    2531             : 
    2532           0 :                 yy_current_state = (yy_start);
    2533             : yy_match:
    2534           0 :                 do
    2535             :                         {
    2536           0 :                         register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
    2537           0 :                         if ( yy_accept[yy_current_state] )
    2538             :                                 {
    2539           0 :                                 (yy_last_accepting_state) = yy_current_state;
    2540           0 :                                 (yy_last_accepting_cpos) = yy_cp;
    2541             :                                 }
    2542           0 :                         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
    2543             :                                 {
    2544           0 :                                 yy_current_state = (int) yy_def[yy_current_state];
    2545           0 :                                 if ( yy_current_state >= 1410 )
    2546           0 :                                         yy_c = yy_meta[(unsigned int) yy_c];
    2547             :                                 }
    2548           0 :                         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
    2549           0 :                         ++yy_cp;
    2550             :                         }
    2551             :                 while ( yy_current_state != 1409 );
    2552           0 :                 yy_cp = (yy_last_accepting_cpos);
    2553           0 :                 yy_current_state = (yy_last_accepting_state);
    2554             : 
    2555             : yy_find_action:
    2556           0 :                 yy_act = yy_accept[yy_current_state];
    2557             : 
    2558           0 :                 YY_DO_BEFORE_ACTION;
    2559             : 
    2560           0 :                 if ( yy_act != YY_END_OF_BUFFER && yy_rule_can_match_eol[yy_act] )
    2561             :                         {
    2562             :                         int yyl;
    2563           0 :                         for ( yyl = 0; yyl < yyleng; ++yyl )
    2564           0 :                                 if ( yytext[yyl] == '\n' )
    2565             :                                            
    2566           0 :     yylineno++;
    2567             : ;
    2568             :                         }
    2569             : 
    2570             : do_action:      /* This label is used only to access EOF actions. */
    2571             : 
    2572           0 :                 switch ( yy_act )
    2573             :         { /* beginning of action switch */
    2574             :                         case 0: /* must back up */
    2575             :                         /* undo the effects of YY_DO_BEFORE_ACTION */
    2576           0 :                         *yy_cp = (yy_hold_char);
    2577           0 :                         yy_cp = (yy_last_accepting_cpos);
    2578           0 :                         yy_current_state = (yy_last_accepting_state);
    2579           0 :                         goto yy_find_action;
    2580             : 
    2581             : case 1:
    2582             : /* rule 1 can match eol */
    2583           0 : YY_RULE_SETUP
    2584             : #line 76 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2585             : {
    2586             :         bText = 0;
    2587             :         workOnTokenSet( CFG_TOKEN_NO_TRANSLATE, yytext );
    2588             : }
    2589             :         YY_BREAK
    2590             : case 2:
    2591             : YY_RULE_SETUP
    2592             : #line 81 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2593             : {
    2594             :         bText = 0;
    2595             :         workOnTokenSet( ANYTOKEN, yytext );
    2596             : }
    2597             :         YY_BREAK
    2598             : case 3:
    2599             : /* rule 3 can match eol */
    2600             : YY_RULE_SETUP
    2601             : #line 86 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2602             : {
    2603             :         bText = 1;
    2604             :         workOnTokenSet( CFG_TEXT_START, yytext );
    2605             : }
    2606             :         YY_BREAK
    2607             : case 4:
    2608             : /* rule 4 can match eol */
    2609             : YY_RULE_SETUP
    2610             : #line 92 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2611             : {
    2612             :         bText = 0;
    2613             :         workOnTokenSet( CFG_TAG, yytext );
    2614             : }
    2615             :         YY_BREAK
    2616             : case 5:
    2617             : /* rule 5 can match eol */
    2618             : YY_RULE_SETUP
    2619             : #line 97 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2620             : {
    2621             :         bText = 0;
    2622             :         workOnTokenSet( CFG_TAG, yytext );
    2623             : }
    2624             :         YY_BREAK
    2625             : case 6:
    2626             : YY_RULE_SETUP
    2627             : #line 103 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2628             : {
    2629             :         char c1 = 0, c2 = 0;
    2630             :         int c3 = yyinput();
    2631             :         char pChar[2];
    2632             :         pChar[1] = 0x00;
    2633             :         pChar[0] = c3;
    2634             : 
    2635             :         workOnTokenSet( COMMENT, yytext );
    2636             :         workOnTokenSet( COMMENT, pChar );
    2637             : 
    2638             :         for(;;) {
    2639             :                 if ( c3 == EOF )
    2640             :                         break;
    2641             :                 if ( c1 == '-' && c2 == '-' && c3 == '>' )
    2642             :                         break;
    2643             :                 c1 = c2;
    2644             :                 c2 = c3;
    2645             :                 c3 = yyinput();
    2646             : 
    2647             :                 pChar[0] = c3;
    2648             :                 workOnTokenSet( COMMENT, pChar );
    2649             :         }
    2650             : }
    2651             :         YY_BREAK
    2652             : case 7:
    2653             : /* rule 7 can match eol */
    2654             : YY_RULE_SETUP
    2655             : #line 127 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2656             : {
    2657             :         bText = 0;
    2658             :         workOnTokenSet( CFG_CLOSETAG, yytext );
    2659             : }
    2660             :         YY_BREAK
    2661             : case 8:
    2662             : /* rule 8 can match eol */
    2663             : YY_RULE_SETUP
    2664             : #line 132 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2665             : {
    2666             :         bText = 0;
    2667             :         if ( yytext[ 1 ] == '!' && yytext[ 2 ] == '-' && yytext[ 3 ] == '-' )
    2668             :                 workOnTokenSet( COMMENT, yytext );
    2669             :         else
    2670             :                 workOnTokenSet( CFG_UNKNOWNTAG, yytext );
    2671             : }
    2672             :         YY_BREAK
    2673             : case 9:
    2674             : /* rule 9 can match eol */
    2675             : YY_RULE_SETUP
    2676             : #line 140 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2677             : {
    2678             :     yycolumn = 1;
    2679             :         if ( bText == 1 )
    2680             :                 workOnTokenSet( CFG_TEXTCHAR, yytext );
    2681             :         else
    2682             :                 workOnTokenSet( UNKNOWNCHAR, yytext );
    2683             : }
    2684             :         YY_BREAK
    2685             : case 10:
    2686             : YY_RULE_SETUP
    2687             : #line 149 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    2688             : ECHO;
    2689             :         YY_BREAK
    2690             : #line 2691 "/usr/local/src/libreoffice/workdir/unxlngi6.pro/LexTarget/l10ntools/source/cfglex.cxx"
    2691             : case YY_STATE_EOF(INITIAL):
    2692           0 :         yyterminate();
    2693             : 
    2694             :         case YY_END_OF_BUFFER:
    2695             :                 {
    2696             :                 /* Amount of text matched not including the EOB char. */
    2697           0 :                 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
    2698             : 
    2699             :                 /* Undo the effects of YY_DO_BEFORE_ACTION. */
    2700           0 :                 *yy_cp = (yy_hold_char);
    2701             :                 YY_RESTORE_YY_MORE_OFFSET
    2702             : 
    2703           0 :                 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
    2704             :                         {
    2705             :                         /* We're scanning a new file or input source.  It's
    2706             :                          * possible that this happened because the user
    2707             :                          * just pointed yyin at a new source and called
    2708             :                          * yylex().  If so, then we have to assure
    2709             :                          * consistency between YY_CURRENT_BUFFER and our
    2710             :                          * globals.  Here is the right place to do so, because
    2711             :                          * this is the first action (other than possibly a
    2712             :                          * back-up) that will match for the new input source.
    2713             :                          */
    2714           0 :                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
    2715           0 :                         YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
    2716           0 :                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
    2717             :                         }
    2718             : 
    2719             :                 /* Note that here we test for yy_c_buf_p "<=" to the position
    2720             :                  * of the first EOB in the buffer, since yy_c_buf_p will
    2721             :                  * already have been incremented past the NUL character
    2722             :                  * (since all states make transitions on EOB to the
    2723             :                  * end-of-buffer state).  Contrast this with the test
    2724             :                  * in input().
    2725             :                  */
    2726           0 :                 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
    2727             :                         { /* This was really a NUL. */
    2728             :                         yy_state_type yy_next_state;
    2729             : 
    2730           0 :                         (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
    2731             : 
    2732           0 :                         yy_current_state = yy_get_previous_state(  );
    2733             : 
    2734             :                         /* Okay, we're now positioned to make the NUL
    2735             :                          * transition.  We couldn't have
    2736             :                          * yy_get_previous_state() go ahead and do it
    2737             :                          * for us because it doesn't know how to deal
    2738             :                          * with the possibility of jamming (and we don't
    2739             :                          * want to build jamming into it because then it
    2740             :                          * will run more slowly).
    2741             :                          */
    2742             : 
    2743           0 :                         yy_next_state = yy_try_NUL_trans( yy_current_state );
    2744             : 
    2745           0 :                         yy_bp = (yytext_ptr) + YY_MORE_ADJ;
    2746             : 
    2747           0 :                         if ( yy_next_state )
    2748             :                                 {
    2749             :                                 /* Consume the NUL. */
    2750           0 :                                 yy_cp = ++(yy_c_buf_p);
    2751           0 :                                 yy_current_state = yy_next_state;
    2752           0 :                                 goto yy_match;
    2753             :                                 }
    2754             : 
    2755             :                         else
    2756             :                                 {
    2757           0 :                                 yy_cp = (yy_last_accepting_cpos);
    2758           0 :                                 yy_current_state = (yy_last_accepting_state);
    2759           0 :                                 goto yy_find_action;
    2760             :                                 }
    2761             :                         }
    2762             : 
    2763           0 :                 else switch ( yy_get_next_buffer(  ) )
    2764             :                         {
    2765             :                         case EOB_ACT_END_OF_FILE:
    2766             :                                 {
    2767           0 :                                 (yy_did_buffer_switch_on_eof) = 0;
    2768             : 
    2769           0 :                                 if ( yywrap( ) )
    2770             :                                         {
    2771             :                                         /* Note: because we've taken care in
    2772             :                                          * yy_get_next_buffer() to have set up
    2773             :                                          * yytext, we can now set up
    2774             :                                          * yy_c_buf_p so that if some total
    2775             :                                          * hoser (like flex itself) wants to
    2776             :                                          * call the scanner after we return the
    2777             :                                          * YY_NULL, it'll still work - another
    2778             :                                          * YY_NULL will get returned.
    2779             :                                          */
    2780           0 :                                         (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
    2781             : 
    2782           0 :                                         yy_act = YY_STATE_EOF(YY_START);
    2783           0 :                                         goto do_action;
    2784             :                                         }
    2785             : 
    2786             :                                 else
    2787             :                                         {
    2788           0 :                                         if ( ! (yy_did_buffer_switch_on_eof) )
    2789           0 :                                                 YY_NEW_FILE;
    2790             :                                         }
    2791           0 :                                 break;
    2792             :                                 }
    2793             : 
    2794             :                         case EOB_ACT_CONTINUE_SCAN:
    2795             :                                 (yy_c_buf_p) =
    2796           0 :                                         (yytext_ptr) + yy_amount_of_matched_text;
    2797             : 
    2798           0 :                                 yy_current_state = yy_get_previous_state(  );
    2799             : 
    2800           0 :                                 yy_cp = (yy_c_buf_p);
    2801           0 :                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
    2802           0 :                                 goto yy_match;
    2803             : 
    2804             :                         case EOB_ACT_LAST_MATCH:
    2805             :                                 (yy_c_buf_p) =
    2806           0 :                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
    2807             : 
    2808           0 :                                 yy_current_state = yy_get_previous_state(  );
    2809             : 
    2810           0 :                                 yy_cp = (yy_c_buf_p);
    2811           0 :                                 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
    2812           0 :                                 goto yy_find_action;
    2813             :                         }
    2814           0 :                 break;
    2815             :                 }
    2816             : 
    2817             :         default:
    2818             :                 YY_FATAL_ERROR(
    2819           0 :                         "fatal flex scanner internal error--no action found" );
    2820             :         } /* end of action switch */
    2821             :                 } /* end of scanning one token */
    2822             : } /* end of yylex */
    2823             : 
    2824             : /* yy_get_next_buffer - try to read in a new buffer
    2825             :  *
    2826             :  * Returns a code representing an action:
    2827             :  *      EOB_ACT_LAST_MATCH -
    2828             :  *      EOB_ACT_CONTINUE_SCAN - continue scanning from current position
    2829             :  *      EOB_ACT_END_OF_FILE - end of file
    2830             :  */
    2831           0 : static int yy_get_next_buffer (void)
    2832             : {
    2833           0 :         register char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
    2834           0 :         register char *source = (yytext_ptr);
    2835             :         register int number_to_move, i;
    2836             :         int ret_val;
    2837             : 
    2838           0 :         if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
    2839             :                 YY_FATAL_ERROR(
    2840           0 :                 "fatal flex scanner internal error--end of buffer missed" );
    2841             : 
    2842           0 :         if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
    2843             :                 { /* Don't try to fill the buffer, so this is an EOF. */
    2844           0 :                 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
    2845             :                         {
    2846             :                         /* We matched a single character, the EOB, so
    2847             :                          * treat this as a final EOF.
    2848             :                          */
    2849           0 :                         return EOB_ACT_END_OF_FILE;
    2850             :                         }
    2851             : 
    2852             :                 else
    2853             :                         {
    2854             :                         /* We matched some text prior to the EOB, first
    2855             :                          * process it.
    2856             :                          */
    2857           0 :                         return EOB_ACT_LAST_MATCH;
    2858             :                         }
    2859             :                 }
    2860             : 
    2861             :         /* Try to read more data. */
    2862             : 
    2863             :         /* First move last chars to start of buffer. */
    2864           0 :         number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr)) - 1;
    2865             : 
    2866           0 :         for ( i = 0; i < number_to_move; ++i )
    2867           0 :                 *(dest++) = *(source++);
    2868             : 
    2869           0 :         if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
    2870             :                 /* don't do the read, it's not guaranteed to return an EOF,
    2871             :                  * just force an EOF
    2872             :                  */
    2873           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
    2874             : 
    2875             :         else
    2876             :                 {
    2877             :                         int num_to_read =
    2878           0 :                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
    2879             : 
    2880           0 :                 while ( num_to_read <= 0 )
    2881             :                         { /* Not enough room in the buffer - grow it. */
    2882             : 
    2883             :                         /* just a shorter name for the current buffer */
    2884           0 :                         YY_BUFFER_STATE b = YY_CURRENT_BUFFER;
    2885             : 
    2886             :                         int yy_c_buf_p_offset =
    2887           0 :                                 (int) ((yy_c_buf_p) - b->yy_ch_buf);
    2888             : 
    2889           0 :                         if ( b->yy_is_our_buffer )
    2890             :                                 {
    2891           0 :                                 int new_size = b->yy_buf_size * 2;
    2892             : 
    2893           0 :                                 if ( new_size <= 0 )
    2894           0 :                                         b->yy_buf_size += b->yy_buf_size / 8;
    2895             :                                 else
    2896           0 :                                         b->yy_buf_size *= 2;
    2897             : 
    2898             :                                 b->yy_ch_buf = (char *)
    2899             :                                         /* Include room in for 2 EOB chars. */
    2900           0 :                                         yyrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2  );
    2901             :                                 }
    2902             :                         else
    2903             :                                 /* Can't grow it, we don't own it. */
    2904           0 :                                 b->yy_ch_buf = 0;
    2905             : 
    2906           0 :                         if ( ! b->yy_ch_buf )
    2907             :                                 YY_FATAL_ERROR(
    2908           0 :                                 "fatal error - scanner input buffer overflow" );
    2909             : 
    2910           0 :                         (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
    2911             : 
    2912           0 :                         num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
    2913           0 :                                                 number_to_move - 1;
    2914             : 
    2915             :                         }
    2916             : 
    2917           0 :                 if ( num_to_read > YY_READ_BUF_SIZE )
    2918           0 :                         num_to_read = YY_READ_BUF_SIZE;
    2919             : 
    2920             :                 /* Read in more data. */
    2921           0 :                 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
    2922             :                         (yy_n_chars), (size_t) num_to_read );
    2923             : 
    2924           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
    2925             :                 }
    2926             : 
    2927           0 :         if ( (yy_n_chars) == 0 )
    2928             :                 {
    2929           0 :                 if ( number_to_move == YY_MORE_ADJ )
    2930             :                         {
    2931           0 :                         ret_val = EOB_ACT_END_OF_FILE;
    2932           0 :                         yyrestart(yyin  );
    2933             :                         }
    2934             : 
    2935             :                 else
    2936             :                         {
    2937           0 :                         ret_val = EOB_ACT_LAST_MATCH;
    2938           0 :                         YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
    2939           0 :                                 YY_BUFFER_EOF_PENDING;
    2940             :                         }
    2941             :                 }
    2942             : 
    2943             :         else
    2944           0 :                 ret_val = EOB_ACT_CONTINUE_SCAN;
    2945             : 
    2946           0 :         if ((yy_size_t) ((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
    2947             :                 /* Extend the array by 50%, plus the number we really need. */
    2948           0 :                 yy_size_t new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
    2949           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size  );
    2950           0 :                 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
    2951           0 :                         YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
    2952             :         }
    2953             : 
    2954           0 :         (yy_n_chars) += number_to_move;
    2955           0 :         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
    2956           0 :         YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
    2957             : 
    2958           0 :         (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
    2959             : 
    2960           0 :         return ret_val;
    2961             : }
    2962             : 
    2963             : /* yy_get_previous_state - get the state just before the EOB char was reached */
    2964             : 
    2965           0 :     static yy_state_type yy_get_previous_state (void)
    2966             : {
    2967             :         register yy_state_type yy_current_state;
    2968             :         register char *yy_cp;
    2969             :     
    2970           0 :         yy_current_state = (yy_start);
    2971             : 
    2972           0 :         for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
    2973             :                 {
    2974           0 :                 register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
    2975           0 :                 if ( yy_accept[yy_current_state] )
    2976             :                         {
    2977           0 :                         (yy_last_accepting_state) = yy_current_state;
    2978           0 :                         (yy_last_accepting_cpos) = yy_cp;
    2979             :                         }
    2980           0 :                 while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
    2981             :                         {
    2982           0 :                         yy_current_state = (int) yy_def[yy_current_state];
    2983           0 :                         if ( yy_current_state >= 1410 )
    2984           0 :                                 yy_c = yy_meta[(unsigned int) yy_c];
    2985             :                         }
    2986           0 :                 yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
    2987             :                 }
    2988             : 
    2989           0 :         return yy_current_state;
    2990             : }
    2991             : 
    2992             : /* yy_try_NUL_trans - try to make a transition on the NUL character
    2993             :  *
    2994             :  * synopsis
    2995             :  *      next_state = yy_try_NUL_trans( current_state );
    2996             :  */
    2997           0 :     static yy_state_type yy_try_NUL_trans  (yy_state_type yy_current_state )
    2998             : {
    2999             :         register int yy_is_jam;
    3000           0 :         register char *yy_cp = (yy_c_buf_p);
    3001             : 
    3002           0 :         register YY_CHAR yy_c = 1;
    3003           0 :         if ( yy_accept[yy_current_state] )
    3004             :                 {
    3005           0 :                 (yy_last_accepting_state) = yy_current_state;
    3006           0 :                 (yy_last_accepting_cpos) = yy_cp;
    3007             :                 }
    3008           0 :         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
    3009             :                 {
    3010           0 :                 yy_current_state = (int) yy_def[yy_current_state];
    3011           0 :                 if ( yy_current_state >= 1410 )
    3012           0 :                         yy_c = yy_meta[(unsigned int) yy_c];
    3013             :                 }
    3014           0 :         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
    3015           0 :         yy_is_jam = (yy_current_state == 1409);
    3016             : 
    3017           0 :         return yy_is_jam ? 0 : yy_current_state;
    3018             : }
    3019             : 
    3020           0 :     static void yyunput (int c, register char * yy_bp )
    3021             : {
    3022             :         register char *yy_cp;
    3023             :     
    3024           0 :     yy_cp = (yy_c_buf_p);
    3025             : 
    3026             :         /* undo effects of setting up yytext */
    3027           0 :         *yy_cp = (yy_hold_char);
    3028             : 
    3029           0 :         if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
    3030             :                 { /* need to shift things up to make room */
    3031             :                 /* +2 for EOB chars. */
    3032           0 :                 register int number_to_move = (yy_n_chars) + 2;
    3033           0 :                 register char *dest = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[
    3034           0 :                                         YY_CURRENT_BUFFER_LVALUE->yy_buf_size + 2];
    3035             :                 register char *source =
    3036           0 :                                 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move];
    3037             : 
    3038           0 :                 while ( source > YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
    3039           0 :                         *--dest = *--source;
    3040             : 
    3041           0 :                 yy_cp += (int) (dest - source);
    3042           0 :                 yy_bp += (int) (dest - source);
    3043           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars =
    3044           0 :                         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_buf_size;
    3045             : 
    3046           0 :                 if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
    3047           0 :                         YY_FATAL_ERROR( "flex scanner push-back overflow" );
    3048             :                 }
    3049             : 
    3050           0 :         *--yy_cp = (char) c;
    3051             : 
    3052           0 :     if ( c == '\n' ){
    3053           0 :         --yylineno;
    3054             :     }
    3055             : 
    3056           0 :         (yytext_ptr) = yy_bp;
    3057           0 :         (yy_hold_char) = *yy_cp;
    3058           0 :         (yy_c_buf_p) = yy_cp;
    3059           0 : }
    3060             : 
    3061             : #ifndef YY_NO_INPUT
    3062             : #ifdef __cplusplus
    3063           0 :     static int yyinput (void)
    3064             : #else
    3065             :     static int input  (void)
    3066             : #endif
    3067             : 
    3068             : {
    3069             :         int c;
    3070             :     
    3071           0 :         *(yy_c_buf_p) = (yy_hold_char);
    3072             : 
    3073           0 :         if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
    3074             :                 {
    3075             :                 /* yy_c_buf_p now points to the character we want to return.
    3076             :                  * If this occurs *before* the EOB characters, then it's a
    3077             :                  * valid NUL; if not, then we've hit the end of the buffer.
    3078             :                  */
    3079           0 :                 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
    3080             :                         /* This was really a NUL. */
    3081           0 :                         *(yy_c_buf_p) = '\0';
    3082             : 
    3083             :                 else
    3084             :                         { /* need more input */
    3085           0 :                         int offset = (yy_c_buf_p) - (yytext_ptr);
    3086           0 :                         ++(yy_c_buf_p);
    3087             : 
    3088           0 :                         switch ( yy_get_next_buffer(  ) )
    3089             :                                 {
    3090             :                                 case EOB_ACT_LAST_MATCH:
    3091             :                                         /* This happens because yy_g_n_b()
    3092             :                                          * sees that we've accumulated a
    3093             :                                          * token and flags that we need to
    3094             :                                          * try matching the token before
    3095             :                                          * proceeding.  But for input(),
    3096             :                                          * there's no matching to consider.
    3097             :                                          * So convert the EOB_ACT_LAST_MATCH
    3098             :                                          * to EOB_ACT_END_OF_FILE.
    3099             :                                          */
    3100             : 
    3101             :                                         /* Reset buffer status. */
    3102           0 :                                         yyrestart(yyin );
    3103             : 
    3104             :                                         /*FALLTHROUGH*/
    3105             : 
    3106             :                                 case EOB_ACT_END_OF_FILE:
    3107             :                                         {
    3108           0 :                                         if ( yywrap( ) )
    3109           0 :                                                 return EOF;
    3110             : 
    3111           0 :                                         if ( ! (yy_did_buffer_switch_on_eof) )
    3112           0 :                                                 YY_NEW_FILE;
    3113             : #ifdef __cplusplus
    3114           0 :                                         return yyinput();
    3115             : #else
    3116             :                                         return input();
    3117             : #endif
    3118             :                                         }
    3119             : 
    3120             :                                 case EOB_ACT_CONTINUE_SCAN:
    3121           0 :                                         (yy_c_buf_p) = (yytext_ptr) + offset;
    3122           0 :                                         break;
    3123             :                                 }
    3124             :                         }
    3125             :                 }
    3126             : 
    3127           0 :         c = *(unsigned char *) (yy_c_buf_p);    /* cast for 8-bit char's */
    3128           0 :         *(yy_c_buf_p) = '\0';   /* preserve yytext */
    3129           0 :         (yy_hold_char) = *++(yy_c_buf_p);
    3130             : 
    3131           0 :         if ( c == '\n' )
    3132             :                    
    3133           0 :     yylineno++;
    3134             : ;
    3135             : 
    3136           0 :         return c;
    3137             : }
    3138             : #endif  /* ifndef YY_NO_INPUT */
    3139             : 
    3140             : /** Immediately switch to a different input stream.
    3141             :  * @param input_file A readable stream.
    3142             :  * 
    3143             :  * @note This function does not reset the start condition to @c INITIAL .
    3144             :  */
    3145           0 :     void yyrestart  (FILE * input_file )
    3146             : {
    3147             :     
    3148           0 :         if ( ! YY_CURRENT_BUFFER ){
    3149           0 :         yyensure_buffer_stack ();
    3150           0 :                 YY_CURRENT_BUFFER_LVALUE =
    3151           0 :             yy_create_buffer(yyin,YY_BUF_SIZE );
    3152             :         }
    3153             : 
    3154           0 :         yy_init_buffer(YY_CURRENT_BUFFER,input_file );
    3155           0 :         yy_load_buffer_state( );
    3156           0 : }
    3157             : 
    3158             : /** Switch to a different input buffer.
    3159             :  * @param new_buffer The new input buffer.
    3160             :  * 
    3161             :  */
    3162           0 :     void yy_switch_to_buffer  (YY_BUFFER_STATE  new_buffer )
    3163             : {
    3164             :     
    3165             :         /* TODO. We should be able to replace this entire function body
    3166             :          * with
    3167             :          *              yypop_buffer_state();
    3168             :          *              yypush_buffer_state(new_buffer);
    3169             :      */
    3170           0 :         yyensure_buffer_stack ();
    3171           0 :         if ( YY_CURRENT_BUFFER == new_buffer )
    3172           0 :                 return;
    3173             : 
    3174           0 :         if ( YY_CURRENT_BUFFER )
    3175             :                 {
    3176             :                 /* Flush out information for old buffer. */
    3177           0 :                 *(yy_c_buf_p) = (yy_hold_char);
    3178           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
    3179           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
    3180             :                 }
    3181             : 
    3182           0 :         YY_CURRENT_BUFFER_LVALUE = new_buffer;
    3183           0 :         yy_load_buffer_state( );
    3184             : 
    3185             :         /* We don't actually know whether we did this switch during
    3186             :          * EOF (yywrap()) processing, but the only time this flag
    3187             :          * is looked at is after yywrap() is called, so it's safe
    3188             :          * to go ahead and always set it.
    3189             :          */
    3190           0 :         (yy_did_buffer_switch_on_eof) = 1;
    3191             : }
    3192             : 
    3193           0 : static void yy_load_buffer_state  (void)
    3194             : {
    3195           0 :         (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
    3196           0 :         (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
    3197           0 :         yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
    3198           0 :         (yy_hold_char) = *(yy_c_buf_p);
    3199           0 : }
    3200             : 
    3201             : /** Allocate and initialize an input buffer state.
    3202             :  * @param file A readable stream.
    3203             :  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
    3204             :  * 
    3205             :  * @return the allocated buffer state.
    3206             :  */
    3207           0 :     YY_BUFFER_STATE yy_create_buffer  (FILE * file, int  size )
    3208             : {
    3209             :         YY_BUFFER_STATE b;
    3210             :     
    3211           0 :         b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state )  );
    3212           0 :         if ( ! b )
    3213           0 :                 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
    3214             : 
    3215           0 :         b->yy_buf_size = size;
    3216             : 
    3217             :         /* yy_ch_buf has to be 2 characters longer than the size given because
    3218             :          * we need to put in 2 end-of-buffer characters.
    3219             :          */
    3220           0 :         b->yy_ch_buf = (char *) yyalloc(b->yy_buf_size + 2  );
    3221           0 :         if ( ! b->yy_ch_buf )
    3222           0 :                 YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
    3223             : 
    3224           0 :         b->yy_is_our_buffer = 1;
    3225             : 
    3226           0 :         yy_init_buffer(b,file );
    3227             : 
    3228           0 :         return b;
    3229             : }
    3230             : 
    3231             : /** Destroy the buffer.
    3232             :  * @param b a buffer created with yy_create_buffer()
    3233             :  * 
    3234             :  */
    3235           0 :     void yy_delete_buffer (YY_BUFFER_STATE  b )
    3236             : {
    3237             :     
    3238           0 :         if ( ! b )
    3239           0 :                 return;
    3240             : 
    3241           0 :         if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
    3242           0 :                 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
    3243             : 
    3244           0 :         if ( b->yy_is_our_buffer )
    3245           0 :                 yyfree((void *) b->yy_ch_buf  );
    3246             : 
    3247           0 :         yyfree((void *) b  );
    3248             : }
    3249             : 
    3250             : /* Initializes or reinitializes a buffer.
    3251             :  * This function is sometimes called more than once on the same buffer,
    3252             :  * such as during a yyrestart() or at EOF.
    3253             :  */
    3254           0 :     static void yy_init_buffer  (YY_BUFFER_STATE  b, FILE * file )
    3255             : 
    3256             : {
    3257           0 :         int oerrno = errno;
    3258             :     
    3259           0 :         yy_flush_buffer(b );
    3260             : 
    3261           0 :         b->yy_input_file = file;
    3262           0 :         b->yy_fill_buffer = 1;
    3263             : 
    3264             :     /* If b is the current buffer, then yy_init_buffer was _probably_
    3265             :      * called from yyrestart() or through yy_get_next_buffer.
    3266             :      * In that case, we don't want to reset the lineno or column.
    3267             :      */
    3268           0 :     if (b != YY_CURRENT_BUFFER){
    3269           0 :         b->yy_bs_lineno = 1;
    3270           0 :         b->yy_bs_column = 0;
    3271             :     }
    3272             : 
    3273           0 :         b->yy_is_interactive = 0;
    3274             :     
    3275           0 :         errno = oerrno;
    3276           0 : }
    3277             : 
    3278             : /** Discard all buffered characters. On the next scan, YY_INPUT will be called.
    3279             :  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
    3280             :  * 
    3281             :  */
    3282           0 :     void yy_flush_buffer (YY_BUFFER_STATE  b )
    3283             : {
    3284           0 :         if ( ! b )
    3285           0 :                 return;
    3286             : 
    3287           0 :         b->yy_n_chars = 0;
    3288             : 
    3289             :         /* We always need two end-of-buffer characters.  The first causes
    3290             :          * a transition to the end-of-buffer state.  The second causes
    3291             :          * a jam in that state.
    3292             :          */
    3293           0 :         b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
    3294           0 :         b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
    3295             : 
    3296           0 :         b->yy_buf_pos = &b->yy_ch_buf[0];
    3297             : 
    3298           0 :         b->yy_at_bol = 1;
    3299           0 :         b->yy_buffer_status = YY_BUFFER_NEW;
    3300             : 
    3301           0 :         if ( b == YY_CURRENT_BUFFER )
    3302           0 :                 yy_load_buffer_state( );
    3303             : }
    3304             : 
    3305             : /** Pushes the new state onto the stack. The new state becomes
    3306             :  *  the current state. This function will allocate the stack
    3307             :  *  if necessary.
    3308             :  *  @param new_buffer The new state.
    3309             :  *  
    3310             :  */
    3311           0 : void yypush_buffer_state (YY_BUFFER_STATE new_buffer )
    3312             : {
    3313           0 :         if (new_buffer == NULL)
    3314           0 :                 return;
    3315             : 
    3316           0 :         yyensure_buffer_stack();
    3317             : 
    3318             :         /* This block is copied from yy_switch_to_buffer. */
    3319           0 :         if ( YY_CURRENT_BUFFER )
    3320             :                 {
    3321             :                 /* Flush out information for old buffer. */
    3322           0 :                 *(yy_c_buf_p) = (yy_hold_char);
    3323           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
    3324           0 :                 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
    3325             :                 }
    3326             : 
    3327             :         /* Only push if top exists. Otherwise, replace top. */
    3328           0 :         if (YY_CURRENT_BUFFER)
    3329           0 :                 (yy_buffer_stack_top)++;
    3330           0 :         YY_CURRENT_BUFFER_LVALUE = new_buffer;
    3331             : 
    3332             :         /* copied from yy_switch_to_buffer. */
    3333           0 :         yy_load_buffer_state( );
    3334           0 :         (yy_did_buffer_switch_on_eof) = 1;
    3335             : }
    3336             : 
    3337             : /** Removes and deletes the top of the stack, if present.
    3338             :  *  The next element becomes the new top.
    3339             :  *  
    3340             :  */
    3341           0 : void yypop_buffer_state (void)
    3342             : {
    3343           0 :         if (!YY_CURRENT_BUFFER)
    3344           0 :                 return;
    3345             : 
    3346           0 :         yy_delete_buffer(YY_CURRENT_BUFFER );
    3347           0 :         YY_CURRENT_BUFFER_LVALUE = NULL;
    3348           0 :         if ((yy_buffer_stack_top) > 0)
    3349           0 :                 --(yy_buffer_stack_top);
    3350             : 
    3351           0 :         if (YY_CURRENT_BUFFER) {
    3352           0 :                 yy_load_buffer_state( );
    3353           0 :                 (yy_did_buffer_switch_on_eof) = 1;
    3354             :         }
    3355             : }
    3356             : 
    3357             : /* Allocates the stack if it does not exist.
    3358             :  *  Guarantees space for at least one push.
    3359             :  */
    3360           0 : static void yyensure_buffer_stack (void)
    3361             : {
    3362             :         int num_to_alloc;
    3363             :     
    3364           0 :         if (!(yy_buffer_stack)) {
    3365             : 
    3366             :                 /* First allocation is just for 2 elements, since we don't know if this
    3367             :                  * scanner will even need a stack. We use 2 instead of 1 to avoid an
    3368             :                  * immediate realloc on the next call.
    3369             :          */
    3370           0 :                 num_to_alloc = 1;
    3371             :                 (yy_buffer_stack) = (struct yy_buffer_state**)yyalloc
    3372             :                                                                 (num_to_alloc * sizeof(struct yy_buffer_state*)
    3373           0 :                                                                 );
    3374           0 :                 if ( ! (yy_buffer_stack) )
    3375           0 :                         YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
    3376             :                                                                   
    3377           0 :                 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
    3378             :                                 
    3379           0 :                 (yy_buffer_stack_max) = num_to_alloc;
    3380           0 :                 (yy_buffer_stack_top) = 0;
    3381           0 :                 return;
    3382             :         }
    3383             : 
    3384           0 :         if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
    3385             : 
    3386             :                 /* Increase the buffer to prepare for a possible push. */
    3387           0 :                 int grow_size = 8 /* arbitrary grow size */;
    3388             : 
    3389           0 :                 num_to_alloc = (yy_buffer_stack_max) + grow_size;
    3390             :                 (yy_buffer_stack) = (struct yy_buffer_state**)yyrealloc
    3391             :                                                                 ((yy_buffer_stack),
    3392             :                                                                 num_to_alloc * sizeof(struct yy_buffer_state*)
    3393           0 :                                                                 );
    3394           0 :                 if ( ! (yy_buffer_stack) )
    3395           0 :                         YY_FATAL_ERROR( "out of dynamic memory in yyensure_buffer_stack()" );
    3396             : 
    3397             :                 /* zero only the new slots.*/
    3398           0 :                 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
    3399           0 :                 (yy_buffer_stack_max) = num_to_alloc;
    3400             :         }
    3401             : }
    3402             : 
    3403             : /** Setup the input buffer state to scan directly from a user-specified character buffer.
    3404             :  * @param base the character buffer
    3405             :  * @param size the size in bytes of the character buffer
    3406             :  * 
    3407             :  * @return the newly allocated buffer state object. 
    3408             :  */
    3409           0 : YY_BUFFER_STATE yy_scan_buffer  (char * base, yy_size_t  size )
    3410             : {
    3411             :         YY_BUFFER_STATE b;
    3412             :     
    3413           0 :         if ( size < 2 ||
    3414           0 :              base[size-2] != YY_END_OF_BUFFER_CHAR ||
    3415           0 :              base[size-1] != YY_END_OF_BUFFER_CHAR )
    3416             :                 /* They forgot to leave room for the EOB's. */
    3417           0 :                 return 0;
    3418             : 
    3419           0 :         b = (YY_BUFFER_STATE) yyalloc(sizeof( struct yy_buffer_state )  );
    3420           0 :         if ( ! b )
    3421           0 :                 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
    3422             : 
    3423           0 :         b->yy_buf_size = size - 2;   /* "- 2" to take care of EOB's */
    3424           0 :         b->yy_buf_pos = b->yy_ch_buf = base;
    3425           0 :         b->yy_is_our_buffer = 0;
    3426           0 :         b->yy_input_file = 0;
    3427           0 :         b->yy_n_chars = b->yy_buf_size;
    3428           0 :         b->yy_is_interactive = 0;
    3429           0 :         b->yy_at_bol = 1;
    3430           0 :         b->yy_fill_buffer = 0;
    3431           0 :         b->yy_buffer_status = YY_BUFFER_NEW;
    3432             : 
    3433           0 :         yy_switch_to_buffer(b  );
    3434             : 
    3435           0 :         return b;
    3436             : }
    3437             : 
    3438             : /** Setup the input buffer state to scan a string. The next call to yylex() will
    3439             :  * scan from a @e copy of @a str.
    3440             :  * @param yystr a NUL-terminated string to scan
    3441             :  * 
    3442             :  * @return the newly allocated buffer state object.
    3443             :  * @note If you want to scan bytes that may contain NUL values, then use
    3444             :  *       yy_scan_bytes() instead.
    3445             :  */
    3446           0 : YY_BUFFER_STATE yy_scan_string (yyconst char * yystr )
    3447             : {
    3448             :     
    3449           0 :         return yy_scan_bytes(yystr,strlen(yystr) );
    3450             : }
    3451             : 
    3452             : /** Setup the input buffer state to scan the given bytes. The next call to yylex() will
    3453             :  * scan from a @e copy of @a bytes.
    3454             :  * @param bytes the byte buffer to scan
    3455             :  * @param len the number of bytes in the buffer pointed to by @a bytes.
    3456             :  * 
    3457             :  * @return the newly allocated buffer state object.
    3458             :  */
    3459           0 : YY_BUFFER_STATE yy_scan_bytes  (yyconst char * yybytes, int  _yybytes_len )
    3460             : {
    3461             :         YY_BUFFER_STATE b;
    3462             :         char *buf;
    3463             :         yy_size_t n;
    3464             :         int i;
    3465             :     
    3466             :         /* Get memory for full buffer, including space for trailing EOB's. */
    3467           0 :         n = _yybytes_len + 2;
    3468           0 :         buf = (char *) yyalloc(n  );
    3469           0 :         if ( ! buf )
    3470           0 :                 YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
    3471             : 
    3472           0 :         for ( i = 0; i < _yybytes_len; ++i )
    3473           0 :                 buf[i] = yybytes[i];
    3474             : 
    3475           0 :         buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
    3476             : 
    3477           0 :         b = yy_scan_buffer(buf,n );
    3478           0 :         if ( ! b )
    3479           0 :                 YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
    3480             : 
    3481             :         /* It's okay to grow etc. this buffer, and we should throw it
    3482             :          * away when we're done.
    3483             :          */
    3484           0 :         b->yy_is_our_buffer = 1;
    3485             : 
    3486           0 :         return b;
    3487             : }
    3488             : 
    3489             : #ifndef YY_EXIT_FAILURE
    3490             : #define YY_EXIT_FAILURE 2
    3491             : #endif
    3492             : 
    3493           0 : static void yy_fatal_error (yyconst char* msg )
    3494             : {
    3495           0 :         (void) fprintf( stderr, "%s\n", msg );
    3496           0 :         exit( YY_EXIT_FAILURE );
    3497             : }
    3498             : 
    3499             : /* Redefine yyless() so it works in section 3 code. */
    3500             : 
    3501             : #undef yyless
    3502             : #define yyless(n) \
    3503             :         do \
    3504             :                 { \
    3505             :                 /* Undo effects of setting up yytext. */ \
    3506             :         int yyless_macro_arg = (n); \
    3507             :         YY_LESS_LINENO(yyless_macro_arg);\
    3508             :                 yytext[yyleng] = (yy_hold_char); \
    3509             :                 (yy_c_buf_p) = yytext + yyless_macro_arg; \
    3510             :                 (yy_hold_char) = *(yy_c_buf_p); \
    3511             :                 *(yy_c_buf_p) = '\0'; \
    3512             :                 yyleng = yyless_macro_arg; \
    3513             :                 } \
    3514             :         while ( 0 )
    3515             : 
    3516             : /* Accessor  methods (get/set functions) to struct members. */
    3517             : 
    3518             : /** Get the current line number.
    3519             :  * 
    3520             :  */
    3521           0 : int yyget_lineno  (void)
    3522             : {
    3523             :         
    3524           0 :     return yylineno;
    3525             : }
    3526             : 
    3527             : /** Get the input stream.
    3528             :  * 
    3529             :  */
    3530           0 : FILE *yyget_in  (void)
    3531             : {
    3532           0 :         return yyin;
    3533             : }
    3534             : 
    3535             : /** Get the output stream.
    3536             :  * 
    3537             :  */
    3538           0 : FILE *yyget_out  (void)
    3539             : {
    3540           0 :         return yyout;
    3541             : }
    3542             : 
    3543             : /** Get the length of the current token.
    3544             :  * 
    3545             :  */
    3546           0 : int yyget_leng  (void)
    3547             : {
    3548           0 :         return yyleng;
    3549             : }
    3550             : 
    3551             : /** Get the current token.
    3552             :  * 
    3553             :  */
    3554             : 
    3555           0 : char *yyget_text  (void)
    3556             : {
    3557           0 :         return yytext;
    3558             : }
    3559             : 
    3560             : /** Set the current line number.
    3561             :  * @param line_number
    3562             :  * 
    3563             :  */
    3564           0 : void yyset_lineno (int  line_number )
    3565             : {
    3566             :     
    3567           0 :     yylineno = line_number;
    3568           0 : }
    3569             : 
    3570             : /** Set the input stream. This does not discard the current
    3571             :  * input buffer.
    3572             :  * @param in_str A readable stream.
    3573             :  * 
    3574             :  * @see yy_switch_to_buffer
    3575             :  */
    3576           0 : void yyset_in (FILE *  in_str )
    3577             : {
    3578           0 :         yyin = in_str ;
    3579           0 : }
    3580             : 
    3581           0 : void yyset_out (FILE *  out_str )
    3582             : {
    3583           0 :         yyout = out_str ;
    3584           0 : }
    3585             : 
    3586           0 : int yyget_debug  (void)
    3587             : {
    3588           0 :         return yy_flex_debug;
    3589             : }
    3590             : 
    3591           0 : void yyset_debug (int  bdebug )
    3592             : {
    3593           0 :         yy_flex_debug = bdebug ;
    3594           0 : }
    3595             : 
    3596           0 : static int yy_init_globals (void)
    3597             : {
    3598             :         /* Initialization is the same as for the non-reentrant scanner.
    3599             :      * This function is called from yylex_destroy(), so don't allocate here.
    3600             :      */
    3601             : 
    3602             :     /* We do not touch yylineno unless the option is enabled. */
    3603           0 :     yylineno =  1;
    3604             :     
    3605           0 :     (yy_buffer_stack) = 0;
    3606           0 :     (yy_buffer_stack_top) = 0;
    3607           0 :     (yy_buffer_stack_max) = 0;
    3608           0 :     (yy_c_buf_p) = (char *) 0;
    3609           0 :     (yy_init) = 0;
    3610           0 :     (yy_start) = 0;
    3611             : 
    3612             : /* Defined in main.c */
    3613             : #ifdef YY_STDINIT
    3614             :     yyin = stdin;
    3615             :     yyout = stdout;
    3616             : #else
    3617           0 :     yyin = (FILE *) 0;
    3618           0 :     yyout = (FILE *) 0;
    3619             : #endif
    3620             : 
    3621             :     /* For future reference: Set errno on error, since we are called by
    3622             :      * yylex_init()
    3623             :      */
    3624           0 :     return 0;
    3625             : }
    3626             : 
    3627             : /* yylex_destroy is for both reentrant and non-reentrant scanners. */
    3628           0 : int yylex_destroy  (void)
    3629             : {
    3630             :     
    3631             :     /* Pop the buffer stack, destroying each element. */
    3632           0 :         while(YY_CURRENT_BUFFER){
    3633           0 :                 yy_delete_buffer(YY_CURRENT_BUFFER  );
    3634           0 :                 YY_CURRENT_BUFFER_LVALUE = NULL;
    3635           0 :                 yypop_buffer_state();
    3636             :         }
    3637             : 
    3638             :         /* Destroy the stack itself. */
    3639           0 :         yyfree((yy_buffer_stack) );
    3640           0 :         (yy_buffer_stack) = NULL;
    3641             : 
    3642             :     /* Reset the globals. This is important in a non-reentrant scanner so the next time
    3643             :      * yylex() is called, initialization will occur. */
    3644           0 :     yy_init_globals( );
    3645             : 
    3646           0 :     return 0;
    3647             : }
    3648             : 
    3649             : /*
    3650             :  * Internal utility routines.
    3651             :  */
    3652             : 
    3653             : #ifndef yytext_ptr
    3654             : static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
    3655             : {
    3656             :         register int i;
    3657             :         for ( i = 0; i < n; ++i )
    3658             :                 s1[i] = s2[i];
    3659             : }
    3660             : #endif
    3661             : 
    3662             : #ifdef YY_NEED_STRLEN
    3663             : static int yy_flex_strlen (yyconst char * s )
    3664             : {
    3665             :         register int n;
    3666             :         for ( n = 0; s[n]; ++n )
    3667             :                 ;
    3668             : 
    3669             :         return n;
    3670             : }
    3671             : #endif
    3672             : 
    3673           0 : void *yyalloc (yy_size_t  size )
    3674             : {
    3675           0 :         return (void *) malloc( size );
    3676             : }
    3677             : 
    3678           0 : void *yyrealloc  (void * ptr, yy_size_t  size )
    3679             : {
    3680             :         /* The cast to (char *) in the following accommodates both
    3681             :          * implementations that use char* generic pointers, and those
    3682             :          * that use void* generic pointers.  It works with the latter
    3683             :          * because both ANSI C and C++ allow castless assignment from
    3684             :          * any pointer type to void*, and deal with argument conversions
    3685             :          * as though doing an assignment.
    3686             :          */
    3687           0 :         return (void *) realloc( (char *) ptr, size );
    3688             : }
    3689             : 
    3690           0 : void yyfree (void * ptr )
    3691             : {
    3692           0 :         free( (char *) ptr );   /* see yyrealloc() for (char *) cast */
    3693           0 : }
    3694             : 
    3695             : #define YYTABLES_NAME "yytables"
    3696             : 
    3697             : #line 149 "/usr/local/src/libreoffice/l10ntools/source/cfglex.l"
    3698             : 
    3699             : 
    3700             : 
    3701             : /*****************************************************************************/
    3702             : int     yywrap(void)
    3703             : /*****************************************************************************/
    3704             : {
    3705             :         return 1;
    3706             : }
    3707             : 
    3708             : /*****************************************************************************/
    3709             : void YYWarning( const char *s )
    3710             : /*****************************************************************************/
    3711             : {
    3712             :         /* write warning to stderr */
    3713             :         fprintf( stderr,
    3714             :                 "Warning: \"%s\" in line %d, column %d: \"%s\"\n", s, yylineno, yycolumn, yytext  );
    3715             : }
    3716             : 
    3717             : /*****************************************************************************/
    3718             : void yyerror ( const char *s )
    3719             : /*****************************************************************************/
    3720             : {
    3721             :         /* write error to stderr */
    3722             :         fprintf( stderr,
    3723             :                 "Error: \"%s\" in line %d, column %d: \"%s\"\n", s, yylineno, yycolumn, yytext  );
    3724             :         exit(EXIT_FAILURE);
    3725             : }
    3726             : 
    3727             : SAL_IMPLEMENT_MAIN_WITH_ARGS(argc, argv) {
    3728             :     yyin = init(argc, argv);
    3729             :     yylex();
    3730             :     return EXIT_SUCCESS;
    3731             : }
    3732             : 

Generated by: LCOV version 1.10