Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  scan.c   Sprache: C

 

#line 3 "scan.c"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 6
#define YY_FLEX_SUBMINOR_VERSION 0-pre
#if YY_FLEX_SUBMINOR_VERSION > 0
#define FLEX_BETA
#endif

/* First, we deal with  platform-specific or compiler-specific issues. */

/* begin standard C headers. */
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>

/* end standard C headers. */

/* flex integer type definitions */

#ifndef FLEXINT_H
#define FLEXINT_H

/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */

#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L

/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
 * if you want the limit (max/min) macros for int types. 
 */

#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
#endif

#include <inttypes.h>
typedef int8_t flex_int8_t;
typedef uint8_t flex_uint8_t;
typedef int16_t flex_int16_t;
typedef uint16_t flex_uint16_t;
typedef int32_t flex_int32_t;
typedef uint32_t flex_uint32_t;
#else
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
typedef unsigned char flex_uint8_t; 
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;

/* Limits of integral types. */
#ifndef INT8_MIN
#define INT8_MIN               (-128)
#endif
#ifndef INT16_MIN
#define INT16_MIN              (-32767-1)
#endif
#ifndef INT32_MIN
#define INT32_MIN              (-2147483647-1)
#endif
#ifndef INT8_MAX
#define INT8_MAX               (127)
#endif
#ifndef INT16_MAX
#define INT16_MAX              (32767)
#endif
#ifndef INT32_MAX
#define INT32_MAX              (2147483647)
#endif
#ifndef UINT8_MAX
#define UINT8_MAX              (255U)
#endif
#ifndef UINT16_MAX
#define UINT16_MAX             (65535U)
#endif
#ifndef UINT32_MAX
#define UINT32_MAX             (4294967295U)
#endif

#endif /* ! C99 */

#endif /* ! FLEXINT_H */

#ifdef __cplusplus

/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST

#else /* ! __cplusplus */

/* C99 requires __STDC__ to be defined as 1. */
#if defined (__STDC__)

#define YY_USE_CONST

#endif /* defined (__STDC__) */
#endif /* ! __cplusplus */

#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif

/* Returned upon end-of-file. */
#define YY_NULL 0

/* Promotes a possibly negative, possibly signed char to an unsigned
 * integer for use as an array index.  If the signed char is negative,
 * we want to instead treat it as an 8-bit unsigned char, hence the
 * double cast.
 */

#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)

/* Enter a start condition.  This macro really ought to take a parameter,
 * but we do it the disgusting crufty way forced on us by the ()-less
 * definition of BEGIN.
 */

#define BEGIN (yy_start) = 1 + 2 *

/* Translate the current start state into a value that can be later handed
 * to BEGIN to return to the state.  The YYSTATE alias is for lex
 * compatibility.
 */

#define YY_START (((yy_start) - 1) / 2)
#define YYSTATE YY_START

/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)

/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart(yyin  )

#define YY_END_OF_BUFFER_CHAR 0

/* Size of default input buffer. */
#ifndef YY_BUF_SIZE
#ifdef __ia64__
/* On IA-64, the buffer size is 16k, not 8k.
 * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
 * Ditto for the __ia64__ case accordingly.
 */

#define YY_BUF_SIZE 32768
#else
#define YY_BUF_SIZE 16384
#endif /* __ia64__ */
#endif

/* The state buf must be large enough to hold one state per character in the main buffer.
 */

#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

#ifndef YY_TYPEDEF_YY_BUFFER_STATE
#define YY_TYPEDEF_YY_BUFFER_STATE
typedef struct yy_buffer_state *YY_BUFFER_STATE;
#endif

#ifndef YY_TYPEDEF_YY_SIZE_T
#define YY_TYPEDEF_YY_SIZE_T
typedef size_t yy_size_t;
#endif

extern yy_size_t yyleng;

extern FILE *yyin, *yyout;

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

    #define YY_LESS_LINENO(n)
    #define YY_LINENO_REWIND_TO(ptr)
    
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
 do \
  { \
  /* Undo effects of setting up yytext. */ \
        int yyless_macro_arg = (n); \
        YY_LESS_LINENO(yyless_macro_arg);\
  *yy_cp = (yy_hold_char); \
  YY_RESTORE_YY_MORE_OFFSET \
  (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
  YY_DO_BEFORE_ACTION; /* set up yytext again */ \
  } \
 while ( 0 )

#define unput(c) yyunput( c, (yytext_ptr)  )

#ifndef YY_STRUCT_YY_BUFFER_STATE
#define YY_STRUCT_YY_BUFFER_STATE
struct yy_buffer_state
 {
 FILE *yy_input_file;

 char *yy_ch_buf;  /* input buffer */
 char *yy_buf_pos;  /* current position in input buffer */

 /* Size of input buffer in bytes, not including room for EOB
 * characters.
 */

 yy_size_t yy_buf_size;

 /* Number of characters read into yy_ch_buf, not including EOB
 * characters.
 */

 yy_size_t yy_n_chars;

 /* Whether we "own" the buffer - i.e., we know we created it,
 * and can realloc() it to grow it, and should free() it to
 * delete it.
 */

 int yy_is_our_buffer;

 /* Whether this is an "interactive" input source; if so, and
 * if we're using stdio for input, then we want to use getc()
 * instead of fread(), to make sure we stop fetching input after
 * each newline.
 */

 int yy_is_interactive;

 /* Whether we're considered to be at the beginning of a line.
 * If so, '^' rules will be active on the next match, otherwise
 * not.
 */

 int yy_at_bol;

    int yy_bs_lineno; /**< The line count. */
    int yy_bs_column; /**< The column count. */
    
 /* Whether to try to fill the input buffer when we reach the
 * end of it.
 */

 int yy_fill_buffer;

 int yy_buffer_status;

#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
 /* When an EOF's been seen but there's still some text to process
 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
 * shouldn't try reading from the input source any more.  We might
 * still have a bunch of tokens to match, though, because of
 * possible backing-up.
 *
 * When we actually see the EOF, we change the status to "new"
 * (via yyrestart()), so that the user can continue scanning by
 * just pointing yyin at a new input file.
 */

#define YY_BUFFER_EOF_PENDING 2

 };
#endif /* !YY_STRUCT_YY_BUFFER_STATE */

/* Stack of input buffers. */
static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */

/* We provide macros for accessing buffer states in case in the
 * future we want to put the buffer states in a more general
 * "scanner state".
 *
 * Returns the top of the stack, or NULL.
 */

#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
                          ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
                          : NULL)

/* Same as previous macro, but useful when we know that the buffer stack is not
 * NULL or when we need an lvalue. For internal use only.
 */

#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]

/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static yy_size_t yy_n_chars;  /* number of characters read into yy_ch_buf */
yy_size_t yyleng;

/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 0;  /* whether we need to initialize */
static int yy_start = 0; /* start state number */

/* Flag which is used to allow yywrap()'s to do buffer switches
 * instead of setting up a fresh yyin.  A bit of a hack ...
 */

static int yy_did_buffer_switch_on_eof;

void yyrestart (FILE *input_file  );
void yy_switch_to_buffer (YY_BUFFER_STATE new_buffer  );
YY_BUFFER_STATE yy_create_buffer (FILE *file,int size  );
void yy_delete_buffer (YY_BUFFER_STATE b  );
void yy_flush_buffer (YY_BUFFER_STATE b  );
void yypush_buffer_state (YY_BUFFER_STATE new_buffer  );
void yypop_buffer_state (void );

static void yyensure_buffer_stack (void );
static void yy_load_buffer_state (void );
static void yy_init_buffer (YY_BUFFER_STATE b,FILE *file  );

#define YY_FLUSH_BUFFER yy_flush_buffer(YY_CURRENT_BUFFER )

YY_BUFFER_STATE yy_scan_buffer (char *base,yy_size_t size  );
YY_BUFFER_STATE yy_scan_string (yyconst char *yy_str  );
YY_BUFFER_STATE yy_scan_bytes (yyconst char *bytes,yy_size_t len  );

void *yyalloc (yy_size_t  );
void *yyrealloc (void *,yy_size_t  );
void yyfree (void *  );

#define yy_new_buffer yy_create_buffer

#define yy_set_interactive(is_interactive) \
 { \
 if ( ! YY_CURRENT_BUFFER ){ \
        yyensure_buffer_stack (); \
  YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
 } \
 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
 }

#define yy_set_bol(at_bol) \
 { \
 if ( ! YY_CURRENT_BUFFER ){\
        yyensure_buffer_stack (); \
  YY_CURRENT_BUFFER_LVALUE =    \
            yy_create_buffer(yyin,YY_BUF_SIZE ); \
 } \
 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
 }

#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

/* Begin user sect3 */

typedef unsigned char YY_CHAR;

FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;

typedef int yy_state_type;

extern int yylineno;

int yylineno = 1;

extern char *yytext;
#ifdef yytext_ptr
#undef yytext_ptr
#endif
#define yytext_ptr yytext

static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state  );
static int yy_get_next_buffer (void );
#if defined(__GNUC__) && __GNUC__ >= 3
__attribute__((__noreturn__))
#endif
static void yy_fatal_error (yyconst char msg[]  );

/* Done after the current pattern has been matched and before the
 * corresponding action - sets up yytext.
 */

#define YY_DO_BEFORE_ACTION \
 (yytext_ptr) = yy_bp; \
 (yytext_ptr) -= (yy_more_len); \
 yyleng = (size_t) (yy_cp - (yytext_ptr)); \
 (yy_hold_char) = *yy_cp; \
 *yy_cp = '\0'; \
 (yy_c_buf_p) = yy_cp;

#define YY_NUM_RULES 251
#define YY_END_OF_BUFFER 252
/* This struct is not used in this scanner,
   but its presence is necessary. */

struct yy_trans_info
 {
 flex_int32_t yy_verify;
 flex_int32_t yy_nxt;
 };
static yyconst flex_int16_t yy_accept[1107] =
    {   0,
        0,    0,    0,    0,    0,    0,  248,  248,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,  252,  250,
        9,   20,  250,   18,    1,   19,  250,  250,  250,  250,
       17,  164,  149,  150,  164,  142,  164,  161,  162,  163,
      163,  164,  164,  164,  163,  148,  138,  164,  164,  140,
      141,  136,  137,  136,  135,  134,  135,  248,  248,  249,
      249,   41,   42,   41,   41,   41,   41,   41,   41,   50,

       49,   51,  250,  170,  170,  165,  170,  166,  167,  169,
      171,  219,  220,  219,  217,  216,  218,  172,  174,  172,
      173,  172,  186,  186,  186,  186,  188,  190,  188,  188,
      188,  188,  189,  233,  238,  233,  237,  239,  239,  235,
      235,  235,  234,  234,  229,  230,  250,  131,  250,   25,
       26,   25,   22,   25,   25,  240,  242,  240,  243,  244,
      227,  227,  228,  227,  227,  227,  227,  227,  227,  227,
      130,   53,   52,  130,  130,  130,  130,   54,  130,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,   37,

       34,   37,   35,   48,   45,  250,   48,   48,   44,   43,
      176,  175,  177,  178,  179,  180,  181,  182,  183,   32,
       33,   32,   31,   29,   30,   29,   28,    9,   20,    0,
       18,    1,   19,    0,    0,    0,   16,   10,    0,    0,
        0,    0,    4,   16,    5,    0,    2,   17,  149,  150,
        0,    0,    0,  144,    0,  160,  158,    0,  154,  154,
        0,  245,  245,  245,    0,    0,  143,    0,  148,  138,
        0,    0,    0,  140,  141,  153,  139,    0,  137,  135,
      134,  134,  132,  133,  248,  248,  246,  247,   42,    0,
        0,   39,   40,    0,   50,   49,   51,    0,  165,    0,

      165,  168,  169,  220,  216,  174,    0,  184,  185,  190,
      187,  233,  238,    0,  236,    0,  222,  235,  235,  235,
      231,  232,    0,  131,    0,   26,   21,   23,   24,  240,
      242,  241,    0,    0,  228,  221,  225,  226,   53,   52,
        0,  129,    0,    0,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,   55,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,    0,   36,   35,   45,
       46,   47,   32,   33,   30,   27,    0,   16,   10,    0,
       14,    0,    0,    0,    0,    0,    4,   16,    5,    0,

        6,    0,  145,    0,  146,    0,  159,    0,  154,  154,
        0,  154,  154,  154,  245,  245,  156,  155,    0,  157,
      139,  147,    0,  153,    0,  132,  133,    0,    0,    0,
       38,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,  235,  235,  221,    0,    0,  130,
      130,  130,  130,  130,  130,  130,   67,  130,  130,  130,
       72,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,    0,    0,    0,    0,   14,

        0,    0,    0,    0,    0,    0,    4,    8,    5,    0,
      154,  154,  154,  154,  154,  154,  154,  245,  157,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,  235,  235,   56,   57,  130,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
       73,   74,  130,  130,  130,  130,   79,  130,  130,  130,
      130,  130,  130,  130,   84,  130,  130,  130,  130,  130,
      130,  130,  130,  130,   93,  130,  130,  130,  130,  130,
      130,  130,  130,  130,    0,    0,    0,    0,   15,    0,

        0,    0,    0,    0,    8,    8,    8,    0,  154,  154,
      154,  154,  154,  154,  154,    0,    0,    0,    0,  215,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,  235,  235,   58,  130,  130,   60,  130,
       64,  130,  130,  130,  130,   70,  130,  130,  130,   75,
      130,  130,  130,  130,  130,  130,  130,  130,  130,  130,
      130,   87,  130,  130,  130,  130,   91,  130,  130,  130,
      130,  130,  130,  130,  130,  130,  130,    0,    0,    0,
        0,    3,    0,    0,    0,    8,    7,    8,    0,  154,

      154,  154,    0,    0,  223,  224,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
      223,  224,  130,  130,  130,   63,  130,  130,  130,  130,
      130,  130,  130,  126,  130,  130,  130,  130,  130,  130,
      130,  130,  124,  130,   86,  130,   89,  130,   90,  130,
      130,  130,  105,    0,  130,   95,  130,    0,   96,    0,
        0,    0,    0,    0,   12,    0,   13,    0,  152,    0,
      151,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,

        0,    0,    0,    0,    0,  130,  130,  130,  130,  130,
      130,  130,   68,  130,   71,  130,  130,  130,  130,  130,
      130,  123,  130,   83,  130,  130,   88,  130,   92,  103,
      125,    0,    0,    0,    0,    0,    0,  130,  130,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,  151,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,    0,    0,  130,  130,  130,  130,  130,  130,
      130,   69,  130,  130,  130,  130,   80,  130,  130,  130,
      130,  130,  130,    0,    0,  114,    0,    0,    0,    0,

        0,    0,   94,  130,    0,    0,  115,    0,    0,    0,
        0,    0,    0,    0,    0,    0,   11,    0,  191,  192,
      193,  194,  195,  196,  197,  198,  199,  200,  201,    0,
        0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
        0,    0,  130,  130,  130,  130,  130,  130,  130,  130,
      130,  130,  130,  130,  130,  130,   85,  130,  130,    0,
        0,    0,    0,    0,    0,  116,    0,  104,    0,    0,
        0,    0,    0,  117,    0,    0,    0,    0,    0,  202,
      203,  204,  205,  206,  207,  208,  209,  210,  211,  212,
      213,    0,  130,  130,  130,  130,  130,  130,  130,  122,

      130,  130,   77,  130,  130,  130,  130,  130,    0,    0,
      110,    0,  120,  118,  111,    0,    0,    0,  121,  119,
        0,    0,    0,    0,    0,    0,  214,  130,  130,  130,
      130,  130,  130,  130,  126,   76,  130,   82,  130,  127,
      130,  106,  108,    0,  107,  109,    0,    0,    0,    0,
        0,    0,    0,  130,  130,  130,   65,  130,  130,  130,
      130,   78,  130,  112,  113,   98,    0,    0,    0,    0,
       99,  130,  130,  130,  130,  130,  130,  130,  128,   97,
        0,  101,    0,  130,  130,  130,  130,  130,   68,  130,
      100,  102,  130,  130,   62,   66,  130,  130,  130,   61,

       69,  130,  130,   81,   59,    0
    } ;

static yyconst YY_CHAR yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        4,    4,    5,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    2,    1,    6,    7,    8,    9,    1,   10,   11,
       12,   13,   14,   15,   16,   17,   18,   19,   19,   19,
       19,   19,   19,   19,   20,   21,   22,   23,    1,   24,
       25,   26,   27,    1,   28,   29,   30,   31,   32,   33,
       34,   35,   36,   37,   38,   39,   40,   41,   42,   43,
       44,   45,   46,   47,   48,   49,   50,   51,   52,   44,
       53,   54,   55,   56,   57,    1,   58,   59,   60,   61,

       62,   63,   64,   65,   66,   67,   68,   69,   70,   71,
       72,   73,   44,   74,   75,   76,   77,   78,   79,   80,
       81,   44,   82,   83,   84,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,

        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1
    } ;

static yyconst YY_CHAR yy_meta[85] =
    {   0,
        1,    1,    2,    1,    3,    4,    1,    1,    1,    5,
        1,    6,    1,    7,    1,    8,    1,    5,    9,    9,
        9,    9,   10,    1,    1,    1,    1,   11,   11,   11,
       11,   11,   11,   12,   12,   12,   12,   12,   12,   12,
       12,   12,   12,   12,   12,   12,   12,   12,   12,   12,
       12,   12,   13,   14,   15,    1,   16,   11,   11,   11,
       11,   11,   11,   12,   12,   12,   12,   12,   12,   12,
       12,   12,   12,   12,   12,   12,   12,   12,   12,   12,
       12,    5,    1,   17
    } ;

static yyconst flex_uint16_t yy_base[1201] =
    {   0,
        0,   84,  167,  250,  171,  184,  174,  179,  192,  233,
      196,  200,  334,    0, 3343, 3340,  203,  416,  206,  211,
      187,  216,  276,  417,  500,    0,  210,  223,  421,  427,
      436,  440,  583,  588,  669,    0,  277,  299,  584,  751,
      579,  580,  576,  732,  279,  305,  310,  444, 3378, 3975,
      228, 3975, 3371,    0,  322, 3975, 3358,  423,  827, 3328,
        0, 3975,  755, 3975, 3337, 3975,  448, 3312, 3975, 3975,
     3323, 3291,  222,  408,  444,  764, 3975, 3311,  230, 3289,
     3975, 3975, 3975, 3306,    0, 3306,  164, 3304, 3975, 3236,
     3217, 3975, 3975, 3266,  239,  119, 3215, 3212, 3180,    0,

     3248, 3975, 3243, 3975,  476, 3227, 3222, 3975, 3168,    0,
     3975, 3975, 3975, 3203, 3975,  464, 3975, 3975, 3975, 3186,
     3975,  742, 3975, 3161,  751,  180, 3975, 3975, 3171,    0,
     3149,  757, 3975,    0, 3975, 3149, 3975,  200, 3138,    0,
      429,  241, 3097, 3092, 3975, 3975,  306, 3975,  323, 3975,
     3975, 3126, 3108, 3072, 3069,    0, 3975, 3115, 3975,    0,
     3975,  446, 3975, 3114, 3031, 3098,  435,  371, 3045, 3026,
     3975, 3076, 3975, 3074, 3070,  439,  440, 3975,  578,  751,
      586,  562,  735,  752,    0,  572,  577,  588,  786,  749,
      396,  809,  727,  582,  747,  753,  764,  769,  580, 3975,

     3975, 3067,  588, 3975, 3975, 3053, 3002, 2996, 3975, 3975,
     3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975,    0,
     3975, 3046, 3975, 3975, 3975, 3018, 2986,  837, 3975, 2998,
        0,  847, 3975, 2997,  817,  777,    0,    0,  891,  903,
      912,  924,    0,  774,    0,  451, 3975,    0,  858, 3975,
     2996, 2914,  472, 3975, 2974, 2953, 3975,  791,  236,  822,
      899, 3975,  275,    0, 2873, 2872, 3975, 2871,  949, 3975,
     2949, 2850, 2918, 2906, 3975,    0, 3975,  796, 3975,    0,
        0, 2925,    0,    0, 2597, 3975, 3975, 3975, 3975,  795,
      794, 3975, 3975,  484,    0, 2597, 3975,  877, 2596, 2594,

     2594, 3975,    0, 3975,  918, 3975, 1005, 3975, 3975, 3975,
     3975,    0, 3975,  611, 3975,    0, 3975,    0,  853,  851,
     3975, 3975,  490, 3975,  608, 3975, 3975, 3975, 3975,    0,
     3975, 3975,  596, 2510, 3975,    0, 3975, 3975, 2588, 3975,
     2581, 3975,  894,  906,    0,  911,  717,  727,  923,  728,
     2571,  882,  930,  889,  902,  916,  917,  940,  928,  923,
      940,  933,    0,  932, 3975,  935,  939,  951,  956, 1059,
      964,  965, 1052,  955,  957, 1099, 2578, 3975, 1078, 3975,
     3975, 3975,    0, 3975, 3975, 3975,  987,    0,    0, 1087,
     3975, 2576, 1132,  985, 1046, 1058,    0, 1058,    0, 1009,

     3975, 1016, 3975, 1057, 3975, 1099, 3975, 1068,  731, 1088,
     1095, 1178, 1244, 1280,  988,    0, 3975, 3975, 2492, 1162,
     3975, 3975, 1081,    0, 1086,    0,    0, 1098, 1105, 1100,
     3975, 1167, 1245, 1246, 1247, 1250, 2539, 1248, 1249, 1258,
     1244, 1251, 1259, 1321, 1233, 1224,    0, 1072, 1228, 1243,
     1261, 1287, 1298, 1289, 1298, 1287,    0, 1299, 1228, 1308,
        0, 1280, 1298, 1307, 1316, 1314, 1316, 2532, 1322, 1337,
     1338, 1340, 1342, 1342, 1348, 1353, 1356, 1347, 1357, 1362,
     1366, 1358, 1353, 1356, 1377, 1366, 1370, 1371, 1367, 1383,
     1384, 1379, 1391, 1392, 1381, 1388, 1397, 1275, 1455, 3975,

     1439, 1463, 1444, 1415, 1412, 1415,    0, 1409,    0, 1429,
     1492, 1558, 1594, 1524, 2449, 1564, 1639, 3975, 3975, 1537,
     1556, 1560, 1407, 2427, 1558, 1563, 1559, 1564, 1572, 1584,
     1574, 1562, 1615, 1619, 1609, 1625, 1626, 1643, 1614, 1651,
     1662, 1658, 1664, 1665, 1616, 1616, 1637, 3975, 3975, 1638,
     1631, 2352, 1634, 1641, 1655, 1650, 1677, 1679, 1671, 1689,
        0,    0, 1690, 1677, 1681, 1697,    0, 2348, 1684, 1694,
     2274, 1686, 1685, 1695,    0, 1692, 1711, 1704, 1703, 1701,
     1713, 1703, 1704, 1712,    0, 1717, 1731, 1731, 1719, 1723,
     1722, 1741, 1726, 1742, 1734, 1747, 1741, 2241, 3975, 1464,

     1485, 1729, 1743, 1740,    0, 1721, 1591, 2173, 1585, 2139,
     1771, 1807, 1417,  962, 1426, 1755, 2049, 1745, 1769, 3975,
     1774, 1782, 1789, 1775, 1796, 1791, 1810, 1800, 1820, 1822,
     1821, 1823, 1832, 1831, 1838, 1840, 1853, 1856, 1854, 1855,
     1863, 1865, 1861, 1846, 1862,    0, 1853, 1864,    0, 1857,
        0, 2008, 1866, 1862, 1869,    0, 1874, 1893, 1870,    0,
     1888, 1875, 1886, 1882, 1880, 1878, 1897, 1876, 1882, 1889,
     1889,    0, 1904, 1895, 1899, 1919,    0, 1907, 1909, 1908,
     1923, 1791, 1924, 1925, 1919, 1747, 1917, 1918, 1918, 1938,
     1924, 1726, 1599, 1927, 1937, 1970, 3975, 1702, 1652, 1923,

     1755, 1941, 1625, 1618, 3975, 3975, 1961, 1977, 1966, 1969,
     1956, 1979, 1983, 1986, 1989, 1984, 1992, 1987, 1994, 1990,
     1988, 1995, 2007, 2004, 2016, 2022, 1996, 2028, 2018, 2026,
        0,    0, 1620, 1990, 2009,    0, 2035, 2020, 2035, 2029,
     2024, 2025, 2029, 1589, 2049, 2041, 2052, 2048, 2053, 2054,
     2044, 2057,    0, 2064,    0, 2048,    0, 1576,    0, 2064,
     2070, 2056,    0, 2096, 2062,    0, 2067, 2108,    0, 1531,
     2072, 2078, 1438, 1853, 3975, 2105, 3975, 2068, 3975, 1463,
     3975, 1407, 1402, 1348, 1345, 1314, 1307, 1269, 1260, 1256,
     1210, 1158, 2106, 2111, 2097, 2118, 2122, 2129, 2125, 2140,

     2131, 2136, 2141, 2143, 2156, 2131, 2138, 2147, 2101, 2151,
     2138, 2153,    0, 2141,    0, 2144, 2165, 2153, 2159, 2158,
     2165,    0, 2165,    0, 2167, 2169,    0, 2178,    0,    0,
        0, 2183, 2167, 2179, 2210, 2178, 2189, 2188, 2189, 2202,
     2186, 2194, 2218, 2196, 2202, 1119, 1114, 2206, 2118, 3975,
     1106, 1100, 1081, 1068, 1065, 1061, 1057,  972,  968,  965,
      914,  925,  893,  881,  874,  869,  865,  861,  854,  843,
      807,  802,  776, 2235, 2212, 2226, 2221, 2227, 2239, 2238,
     2228,    0, 2228, 2239, 2242, 2252,    0, 2238, 2244, 2249,
     2244, 2258, 2263, 2269, 2255, 3975, 2263, 2265, 2265, 2281,

     2265, 2262,    0, 2285, 2288, 2274, 3975, 2277, 2280, 2295,
     2279, 2280, 2283, 2303, 2283, 2330, 3975, 2335, 3975, 3975,
     3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975,  735,
      612,  608,  598,  441,  374,  261,  245,  202,  152,  149,
      137,  165, 2296, 2303, 2304, 2320, 2326, 2316, 2324, 2329,
     2324, 2316, 2319, 2335, 2324, 2327,    0, 2332, 2328, 2327,
     2332, 2345, 2348, 2352, 2344, 3975, 2338,    0, 2338, 2343,
     2357, 2362, 2357, 3975, 2371, 2356, 2359, 2358, 2380, 3975,
     3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975, 3975,
     3975,  128, 2384, 2382, 2373, 2387, 2376, 2378, 2378,    0,

     2395, 2396,    0, 2385, 2384, 2405, 2403, 2401, 2405, 2413,
     3975, 2401, 3975, 3975, 3975, 2409, 2416, 2404, 3975, 3975,
     2400, 2422, 2422, 2414, 2417, 2417, 3975, 2421, 2421, 2418,
     2424, 2441, 2442, 2443,    0,    0, 2453,    0, 2436,    0,
     2451, 3975, 3975, 2445, 3975, 3975, 2446, 2457, 2445, 2461,
     2464, 2462, 2468, 2473, 2466, 2460,    0, 2462, 2459, 2461,
     2483,    0, 2463, 3975, 3975, 3975, 2484, 2488, 2476, 2482,
     3975, 2495, 2485, 2497, 2495, 2501, 2506, 2493,    0, 3975,
     2496, 3975, 2508, 2498, 2506, 2503, 2506, 2505,    0, 2520,
     3975, 3975, 2522, 2514,    0,    0, 2529, 2514, 2515,    0,

        0, 2533, 2539,    0,    0, 3975, 2601, 2618, 2635, 2652,
     2669, 2686, 2703, 2720, 2737, 2754, 2771, 2788, 2805, 2822,
     2839, 2856, 2873, 2890, 2907, 2917, 2933, 2942, 2958, 2975,
     2986, 3002, 3019, 3036, 3053, 3063, 3079, 3096, 3113, 3127,
     3137, 3153, 3170, 3187, 3204, 3215, 2009, 3227, 3244, 3254,
     3270, 3287, 3294, 3300, 3316, 3326, 3342, 3359, 3376, 2564,
     3386, 3403, 3420, 3437, 3454, 3471, 3488, 3505, 3522, 3532,
     3548, 3562, 3572, 3588, 3605, 3622, 3639, 3650, 3662, 3679,
     3696, 3713, 3730, 3740, 3749, 3765, 3782, 3799, 2571, 3809,
     3826, 3843, 3860, 3877, 3885, 3890, 3906, 3923, 3940, 3957

    } ;

static yyconst flex_int16_t yy_def[1201] =
    {   0,
     1106, 1106, 1107, 1107, 1108, 1109, 1110, 1110, 1111, 1111,
     1112, 1112, 1106,   13, 1113, 1113, 1114, 1114, 1115, 1115,
     1116, 1116, 1117, 1117, 1106,   25, 1118, 1118, 1119, 1119,
     1120, 1120, 1121, 1121, 1106,   35, 1122, 1122, 1123, 1123,
     1113, 1113, 1113, 1113, 1124, 1124, 1125, 1125, 1106, 1106,
     1106, 1106, 1106, 1126, 1106, 1106, 1106, 1106, 1127, 1106,
     1128, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1129, 1130, 1131, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1132, 1133, 1132, 1134, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1135,

     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1136,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1130, 1106, 1106, 1130, 1137, 1106, 1106, 1106, 1138,
     1106, 1130, 1106, 1139, 1106, 1139, 1106, 1140, 1106, 1141,
     1141, 1141, 1106, 1106, 1106, 1106, 1142, 1106, 1142, 1106,
     1106, 1106, 1106, 1106, 1106, 1143, 1106, 1143, 1106, 1144,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1145, 1106, 1106, 1106, 1146, 1146,
     1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1147,
     1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1146, 1106,

     1106, 1148, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1149,
     1106, 1149, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1150, 1106, 1106, 1106, 1106, 1106, 1151, 1152, 1106, 1106,
     1106, 1106, 1153, 1151, 1154, 1155, 1106, 1156, 1106, 1106,
     1106, 1106, 1157, 1106, 1106, 1106, 1106, 1106, 1158, 1158,
     1159, 1106, 1106, 1160, 1106, 1106, 1106, 1161, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1162, 1106, 1106, 1106, 1163,
     1164, 1164, 1165, 1166, 1167, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1168, 1169, 1106, 1106, 1106, 1106, 1106,

     1106, 1106, 1170, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1171, 1106, 1172, 1106, 1172, 1106, 1173, 1173, 1173,
     1106, 1106, 1174, 1106, 1174, 1106, 1106, 1106, 1106, 1175,
     1106, 1106, 1106, 1106, 1106, 1176, 1106, 1106, 1106, 1106,
     1177, 1106, 1106, 1106, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1106, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1179, 1106, 1106, 1106,
     1106, 1106, 1180, 1106, 1106, 1106, 1106, 1181, 1182, 1183,
     1106, 1106, 1106, 1106, 1106, 1106, 1184, 1181, 1185, 1186,

     1106, 1186, 1106, 1187, 1106, 1187, 1106, 1106, 1188, 1188,
     1188, 1106, 1188, 1188, 1106, 1189, 1106, 1106, 1190, 1106,
     1106, 1106, 1106, 1191, 1106, 1192, 1193, 1106, 1106, 1194,
     1106, 1194, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1196, 1196, 1197, 1106, 1106, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1106, 1106, 1183, 1183, 1106,

     1183, 1183, 1106, 1106, 1106, 1106, 1184, 1198, 1185, 1106,
     1106, 1188,  414,  412,  412, 1188,  414, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1196, 1196, 1106, 1106, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1106, 1106, 1106, 1106, 1106, 1183,

     1183, 1106, 1106, 1106, 1198, 1198, 1198, 1106,  511,  511,
     1188,  414, 1188, 1188, 1188, 1106, 1106, 1106, 1106, 1106,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1196, 1196, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1106, 1106, 1106,
     1106, 1106, 1199, 1106, 1106, 1198, 1106, 1198, 1106, 1188,

     1188, 1188, 1106, 1106, 1106, 1106, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1196, 1196, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1106, 1178, 1178, 1178, 1106, 1178, 1106,
     1106, 1106, 1106, 1199, 1106, 1199, 1106, 1106, 1106, 1106,
     1106, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,

     1195, 1195, 1195, 1195, 1195, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1106, 1106, 1106, 1106, 1106, 1106, 1178, 1178, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1200, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195, 1195,
     1195, 1195, 1195, 1195, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1106, 1106, 1106, 1106, 1106, 1106, 1106,

     1106, 1106, 1178, 1178, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1200, 1106, 1200, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1195, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1178, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,

     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1178, 1178, 1178,
     1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1178, 1178, 1178, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1106,
     1106, 1106, 1106, 1178, 1178, 1178, 1178, 1178, 1178, 1178,
     1106, 1106, 1178, 1178, 1178, 1178, 1178, 1178, 1178, 1178,

     1178, 1178, 1178, 1178, 1178,    0, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106

    } ;

static yyconst flex_uint16_t yy_nxt[4060] =
    {   0,
       50,   51,   52,   50,   53,   50,   50,   50,   50,   50,
       50,   50,   50,   50,   50,   50,   50,   50,   50,   50,
       50,   50,   50,   50,   50,   50,   50,   54,   54,   54,
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
       54,   54,   50,   50,   50,   50,   54,   54,   54,   54,
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
       54,   50,   50,   50,   50,   55,   56,   50,   57,   50,
       58,   50,   59,   50,   50,   50,   50,   50,   50,   50,

       50,   60,   50,   50,   50,   50,   50,   50,   50,   50,
       50,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   50,   50,   50,   50,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   50,   50,   50,   63,   64,
      291,   65,   66,   83,   67,   84,   89,   68,   69,   70,
       70,   89, 1027,   70,   71,   86,   83,  992,   84,   50,
       72,  991,   87,   70,   93,  309,   94,  101,  102,  291,

      103,  101,  102,  990,  103,  113,  989,  114,  119,  315,
      120,  121,  148,  119,  149,  120,  121,  115,   50,   73,
       74,  116,  116,  116,  116,  148,   90,  149,   91,  228,
      229,   90,  230,   91,  309,   93,   95,   94,  276,  124,
      125,   99,  126,   96,   97,  283,   98,  284,   75,   70,
       70,   76,   77,  316,   78,   66,  988,   67,   79,  122,
       68,   69,   70,   70,  122,   95,   70,   71,  124,  125,
      290,  126,   96,   80,  260,  261,   70,   95,  128,  201,
      129,  221,  202,  222,   96,   97,  117,   98,  410,  411,
      223,  130,  320,  415,  415,  203,  203,  203,  203,  987,

      290,  201,   73,   74,  202,   81,   95,  221,  324,  222,
      325,  277,  225,   96,  226,  986,  223,  203,  203,  203,
      203,  320,  227,  232,  233,  324,  234,  325,  131,  132,
      133,   75,   70,   70,  104,  105,  106,  104,  107,  104,
      104,  104,  104,  104,  104,  104,  108,  104,  108,  104,
      104,  104,  104,  104,  104,  104,  104,  104,  104,  109,
      104,  110,  110,  110,  110,  110,  110,  110,  110,  110,
      110,  110,  110,  110,  110,  110,  110,  110,  110,  110,
      110,  110,  110,  110,  110,  110,  104,  104,  104,  104,
      110,  110,  110,  110,  110,  110,  110,  110,  110,  110,

      110,  110,  110,  110,  110,  110,  110,  110,  110,  110,
      110,  110,  110,  110,  110,  104,  104,  104,  113,  128,
      114,  129,  291,  151,  235,  152,  263,  263,  985,  151,
      115,  152,  130,  153,  116,  116,  116,  116,  157,  153,
      158,  159,  157,  366,  158,  159,  225,  333,  226,  254,
      254,  291,  255,  401,  334,  402,  227,  265,  264,  266,
      319,  236,  267,  267,  267,  267,  290,  343,  344,  131,
      132,  133,  366,  154,  405,  155,  406,  298,  299,  154,
      300,  155,  305,  305,  305,  305,  431,  264,  432,  160,
      319,  236,  324,  160,  325,  984,  290,  343,  344,  117,

      134,  134,  135,  134,  136,  137,  134,  134,  134,  138,
      134,  134,  134,  134,  134,  134,  134,  139,  134,  134,
      134,  134,  134,  134,  134,  134,  134,  140,  140,  140,
      140,  140,  140,  140,  140,  140,  140,  140,  140,  140,
      140,  140,  140,  140,  141,  140,  140,  140,  140,  140,
      140,  142,  143,  134,  144,  134,  140,  140,  140,  140,
      140,  140,  140,  140,  140,  140,  140,  140,  140,  140,
      140,  140,  140,  141,  140,  140,  140,  140,  140,  140,
      142,  145,  134,  146,  162,  163,  205,  164,  206,  162,
      163,  165,  164,  353,  211,  211,  165,  333,  216,  351,

      166,  212,  212,  358,  334,  166,  379,  379,  379,  379,
      324,  217,  325,  352,  213,  213,  346,  359,  347,  360,
      315,  218,  348,  353,  214,  214,  219,  167,  371,  215,
      215,  376,  167,  358,  168,  169,  207,  170,  208,  168,
      169,  217,  170,  352,  213,  213,  346,  359,  347,  360,
      218,  348,  983,  214,  214,  219,  167,  371,  215,  215,
      376,  167,  982,  168,  316,  209,  981,  210,  168,  171,
      172,  173,  171,  174,  175,  171,  171,  171,  171,  171,
      171,  171,  171,  171,  171,  171,  171,  171,  176,  177,
      171,  171,  171,  178,  171,  171,  179,  180,  181,  182,

      183,  184,  185,  186,  187,  185,  185,  188,  189,  190,
      191,  192,  185,  193,  194,  195,  196,  197,  198,  185,
      199,  171,  171,  171,  171,  171,  179,  180,  181,  182,
      183,  184,  185,  186,  187,  185,  185,  188,  189,  190,
      191,  192,  193,  194,  195,  196,  197,  198,  185,  199,
      171,  171,  171,  205,  216,  206,  249,  250,  370,  251,
      263,  263,  452,  252,  354,  269,  270,  217,  271,  263,
      263,  453,  272,  456,  372,  263,  263,  218,  349,  356,
      364,  273,  219,  410,  411,  355,  350,  274,  370,  980,
      365,  452,  264,  373,  354,  374,  375,  217,  941,  357,

      453,  264,  456,  207,  372,  208,  218,  264,  349,  356,
      364,  219,  387,  361,  355,  398,  350,  362,  235,  275,
      365,  264,  408,  373,  940,  374,  375,  425,  357,  939,
      264,  428,  209,  429,  210,  238,  264,  253,  228,  229,
      367,  230,  387,  361,  412,  398,  253,  362,  232,  233,
      368,  234,  408,  369,  239,  236,  240,  425,  240,  249,
      250,  428,  251,  429,  240,  938,  252,  240,  241,  242,
      367,  240,  243,  244,  410,  411,  937,  245,  298,  299,
      368,  300,  369,  936,  239,  236,  240,  935,  240,  445,
      446,  934,  390,  391,  240,  392,  933,  240,  241,  242,

      240,  243,  244,  932,  390,  391,  245,  392,  246,  393,
      393,  393,  393,  390,  391,  931,  392,  413,  413,  445,
      446,  393,  393,  393,  393,  390,  391,  458,  392,  448,
      393,  393,  393,  393,  461,  394,  305,  305,  305,  305,
      253,  449,  393,  393,  393,  393,  450,  930,  462,  414,
      269,  270,  454,  271,  395,  464,  458,  272,  459,  448,
      451,  463,  460,  461,  394,  396,  273,  465,  929,  455,
      466,  449,  274,  468,  467,  469,  450,  462,  414,  470,
      471,  472,  454,  473,  395,  464,  474,  476,  459,  451,
      463,  480,  460,  482,  481,  396,  475,  465,  455,  485,

      466,  486,  468,  467,  275,  469,  262,  262,  470,  471,
      472,  401,  473,  402,  410,  411,  474,  476,  401,  928,
      402,  480,  927,  482,  481,  475,  926,  497,  485,  504,
      486,  253,  433,  434,  435,  436,  437,  437,  438,  437,
      437,  437,  437,  439,  437,  437,  437,  440,  437,  437,
      441,  437,  442,  437,  437,  443,  437,  497,  504,  405,
      444,  406,  433,  434,  435,  436,  437,  437,  438,  437,
      437,  437,  437,  439,  437,  437,  437,  440,  437,  441,
      437,  442,  437,  437,  443,  437,  477,  483,  499,  500,
      478,  501,  505,  506,  484,  479,  379,  379,  379,  379,

      508,  405,  431,  406,  432,  502,  502,  502,  502,  510,
      511,  925,  520,  512,  512,  924,  477,  483,  548,  923,
      478,  505,  922,  506,  484,  479,  487,  521,  488,  522,
      508,  489,  490,  503,  391,  921,  392,  491,  492,  510,
      410,  411,  520,  493,  494,  513,  523,  548,  495,  409,
      393,  393,  393,  393,  920,  496,  487,  521,  488,  522,
      919,  489,  490,  519,  519,  519,  519,  491,  492,  431,
      914,  432,  493,  494,  513,  913,  523,  495,  409,  409,
      861,  409,  409,  409,  409,  409,  409,  409,  409,  409,
      409,  409,  409,  409,  409,  409,  409,  409,  409,  409,

      409,  409,  409,  409,  409,  514,  514,  514,  514,  514,
      514,  514,  514,  514,  514,  514,  514,  514,  514,  514,
      514,  514,  514,  514,  514,  514,  514,  514,  514,  514,
      410,  411,  860,  515,  409,  514,  514,  514,  514,  514,
      514,  514,  514,  514,  514,  514,  514,  514,  514,  514,
      514,  514,  514,  514,  514,  514,  514,  514,  514,  409,
      409,  409,  516,  516,  546,  547,  524,  524,  524,  524,
      524,  524,  524,  524,  549,  558,  550,  599,  859,  600,
      524,  524,  858,  525,  526,  528,  533,  527,  551,  535,
      530,  857,  529,  534,  546,  547,  410,  411,  517,  517,

      517,  517,  531,  549,  558,  532,  550,  517,  517,  517,
      517,  517,  517,  525,  526,  528,  533,  527,  551,  535,
      530,  529,  552,  534,  560,  553,  554,  555,  556,  856,
      557,  531,  410,  411,  532,  559,  855,  517,  517,  517,
      517,  517,  517, 1106,  561,  562,  563,  565,  536,  537,
      538,  539,  552,  560,  540,  553,  554,  555,  556,  541,
      557,  564,  567,  542,  568,  559,  543,  854,  544,  569,
      853,  545,  570,  561,  571,  562,  563,  565,  536,  537,
      538,  539,  572,  573,  540,  574,  575,  576,  577,  541,
      564,  578,  567,  542,  568,  543,  581,  544,  582,  569,

      545,  579,  570,  583,  571,  584,  585,  580,  586,  587,
      606,  588,  572,  573,  589,  574,  575,  576,  577,  590,
      591,  578,  592,  593,  852,  594,  581,  582,  598,  851,
      595,  579,  583,  596,  597,  584,  585,  580,  586,  587,
      588,  500,  602,  600,  589,  503,  391,  603,  392,  590,
      591,  619,  592,  593,  594,  604,  499,  500,  598,  501,
      595,  608,  596,  597,  601,  500,  599,  501,  600,  410,
      411,  259,  602,  502,  502,  502,  502,  603,  410,  411,
      619,  502,  502,  502,  502,  604,  601,  500,  850,  501,
      607,  608,  409,  409,  848,  409,  409,  409,  409,  409,

      409,  409,  409,  409,  409,  409,  409,  409,  409,  409,
      409,  409,  409,  409,  409,  409,  409,  409,  409,  609,
      609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
      609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
      609,  609,  609,  609,  410,  411,  613,  610,  409,  609,
      609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
      609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
      609,  609,  609,  409,  409,  409,  611,  611,  616,  409,
      524,  524,  614,  614,  524,  524,  524,  845,  617,  618,
      623,  828,  696,  697,  524,  698,  524,  625,  621,  626,

      622,  775,  629,  776,  817,  624,  524,  700,  616,  628,
      410,  411,  612,  612,  612,  612,  410,  411,  617,  618,
      623,  612,  612,  612,  612,  612,  612,  625,  621,  626,
      622,  524,  629,  627,  624,  806,  524,  524,  524,  628,
      409,  524,  630,  781,  632,  644,  643,  524,  524,  636,
      780,  612,  612,  612,  612,  612,  612,  615,  615,  615,
      615,  631,  627,  633,  634,  524,  615,  615,  615,  615,
      615,  615,  630,  524,  632,  644,  643,  779,  646,  636,
      524,  645,  647,  635,  524,  649,  524,  524,  650,  651,
      652,  631,  653,  633,  634,  637,  615,  615,  615,  615,

      615,  615,  639,  638,  697,  640,  641,  642,  646,  654,
      645,  647,  656,  635,  649,  655,  658,  650,  657,  651,
      652,  659,  606,  660,  637,  661,  662,  692,  664,  665,
      669,  639,  667,  638,  640,  668,  641,  642,  670,  654,
      671,  672,  656,  673,  675,  655,  658,  657,  674,  676,
      677,  659,  660,  678,  661,  679,  662,  664,  680,  665,
      669,  667,  681,  683,  668,  682,  684,  670,  685,  687,
      671,  672,  686,  673,  675,  688,  690,  674,  676,  677,
      693,  689,  691,  678,  694,  679,  695,  703,  680,  701,
      701,  705,  681,  683,  682,  684,  524,  524,  685,  687,

      706,  686,  607,  768,  524,  688,  690,  410,  411,  693,
      689,  524,  691,  524,  694,  695,  708,  703,  524,  710,
      705,  707,  524,  410,  411,  702,  702,  702,  702,  709,
      706,  711,  524,  712,  702,  702,  702,  702,  702,  702,
      714,  713,  524,  524,  524,  524,  708,  764,  710,  715,
      707,  716,  717,  524,  524,  775,  718,  776,  721,  709,
      524,  711,  524,  712,  702,  702,  702,  702,  702,  702,
      714,  713,  719,  723,  720,  524,  524,  524,  524,  715,
      724,  716,  717,  524,  722,  524,  718,  524,  721,  726,
      728,  752,  731,  732,  734,  727,  730,  748,  733,  736,

      741,  738,  719,  723,  720,  725,  735,  729,  743,  740,
      724,  739,  742,  722,  744,  745,  746,  747,  749,  726,
      728,  731,  750,  732,  734,  727,  730,  733,  751,  736,
      741,  738,  753,  754,  725,  755,  735,  729,  740,  756,
      739,  757,  742,  744,  758,  745,  746,  747,  749,  759,
      761,  750,  760,  762,  763,  765,  766,  767,  751,  769,
      770,  753,  754,  771,  755,  772,  773,  777,  778,  756,
      757,  696,  697,  758,  698,  410,  411,  409,  524,  759,
      761,  760,  762,  524,  763,  765,  766,  767,  524,  769,
      770,  524,  771,  410,  411,  772,  773,  777,  778,  524,

      782,  524,  786,  784,  783,  524,  524,  785,  524,  524,
      524,  524,  524,  787,  524,  791,  524,  524,  524,  363,
      363,  807,  793,  737,  795,  802,  524,  788,  796,  524,
      782,  786,  789,  784,  783,  790,  792,  785,  524,  797,
      524,  794,  798,  787,  524,  791,  799,  800,  524,  804,
      524,  807,  793,  808,  795,  802,  788,  803,  796,  805,
      811,  789,  801,  809,  790,  792,  812,  813,  797,  814,
      794,  815,  798,  810,  704,  816,  799,  800,  818,  804,
      819,  820,  808,  821,  822,  823,  825,  803,  824,  805,
      811,  826,  801,  809,  827,  829,  812,  813,  814,  830,

      815,  831,  838,  810,  816,  839,  846,  775,  818,  776,
      819,  820,  849,  821,  822,  823,  825,  824,  847,  524,
      917,  826,  918,  827,  864,  829,  832,  833,  524,  830,
      831,  834,  838,  524,  835,  839,  846,  836,  840,  841,
      524,  849,  837,  842,  524,  878,  843,  524,  847,  844,
      863,  524,  862,  524,  864,  865,  832,  833,  524,  868,
      866,  834,  524,  524,  835,  524,  875,  836,  840,  841,
      876,  837,  872,  842,  878,  867,  843,  870,  524,  844,
      863,  862,  871,  880,  869,  865,  882,  873,  877,  868,
      866,  874,  879,  881,  409,  883,  875,  884,  699,  885,

      876,  886,  872,  887,  867,  888,  870,  889,  890,  891,
      892,  871,  880,  869,  894,  882,  873,  895,  877,  896,
      902,  874,  879,  881,  883,  901,  893,  884,  885,  903,
      904,  886,  887,  905,  907,  888,  906,  889,  890,  891,
      892,  897,  692,  911,  894,  898,  895,  912,  899,  896,
      902,  915,  943,  908,  901,  893,  909,  524,  900,  903,
      904,  944,  946,  905,  907,  906,  910,  945,  947,  948,
      950,  897,  911,  949,  951,  898,  912,  952,  899,  953,
      915,  942,  943,  908,  954,  955,  909,  900,  956,  666,
      957,  944,  946,  958,  959,  910,  945,  960,  947,  948,

      950,  961,  949,  962,  951,  963,  964,  952,  965,  953,
      942,  966,  967,  954,  968,  955,  969,  971,  956,  957,
      970,  972,  973,  958,  959,  974,  975,  960,  976,  979,
      961,  977,  917,  962,  918,  963,  964,  917,  965,  918,
      966,  967,  993,  994,  968,  995,  969,  971,  978,  970,
      996,  972,  973,  997,  974,  975,  998,  976,  979,  999,
     1000,  977, 1001,  663, 1002, 1003, 1004,  648, 1005, 1006,
     1007,  993, 1008,  994, 1009,  995, 1010,  978, 1011, 1012,
      996, 1013, 1014,  997, 1015, 1016,  998, 1017, 1018,  999,
     1000, 1019, 1001, 1002, 1003, 1020, 1004, 1005, 1021, 1006,

     1007, 1008, 1022, 1009, 1025, 1010, 1023, 1026, 1011, 1012,
     1024, 1013, 1014, 1015, 1016, 1028, 1017, 1029, 1018, 1030,
     1031, 1019, 1032, 1033, 1034, 1020, 1035, 1036, 1021, 1037,
     1038, 1022, 1039, 1025, 1040, 1023, 1041, 1026, 1042, 1024,
     1043, 1044, 1045, 1046, 1047, 1028, 1048, 1029, 1030, 1049,
     1031, 1032, 1033, 1034, 1050, 1057, 1035, 1036, 1037, 1038,
     1051, 1052, 1039, 1053, 1040, 1054, 1041, 1055, 1042, 1056,
     1043, 1044, 1045, 1046, 1047, 1048, 1058, 1059, 1060, 1049,
     1061,  620, 1062, 1063, 1050, 1057, 1064, 1065, 1066, 1051,
     1052, 1067, 1053, 1068, 1054, 1069, 1055, 1070, 1056, 1071,

     1072, 1073, 1074, 1075,  409, 1076, 1058, 1059, 1060, 1077,
     1061, 1062, 1078, 1063, 1079, 1080, 1064, 1065, 1066, 1081,
     1067, 1082, 1083, 1068, 1084, 1069, 1085, 1070, 1086, 1071,
     1072, 1073, 1074, 1075, 1076, 1087, 1088, 1089, 1077, 1090,
     1091, 1092, 1078, 1079, 1093, 1080, 1094,  566, 1095, 1081,
     1082, 1096, 1083, 1097, 1084, 1098, 1085, 1099, 1086, 1100,
     1101,  524, 1102, 1103, 1104, 1087, 1088, 1089, 1090, 1091,
     1105, 1092,  416, 1093,  416,  420, 1094, 1095,  391,  518,
     1096,  518, 1097,  378,  457, 1098,  342, 1099, 1100,  339,
     1101, 1102, 1103,  336, 1104,  301,  299,  301,  296,  286,

     1105,   62,   62,   62,   62,   62,   62,   62,   62,   62,
       62,   62,   62,   62,   62,   62,   62,   62,   82,   82,
       82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
       82,   82,   82,   82,   82,   85,   85,   85,   85,   85,
       85,   85,   85,   85,   85,   85,   85,   85,   85,   85,
       85,   85,   88,   88,   88,   88,   88,   88,   88,   88,
       88,   88,   88,   88,   88,   88,   88,   88,   88,   92,
       92,   92,   92,   92,   92,   92,   92,   92,   92,   92,
       92,   92,   92,   92,   92,   92,  100,  100,  100,  100,
      100,  100,  100,  100,  100,  100,  100,  100,  100,  100,

      100,  100,  100,   50,   50,   50,   50,   50,   50,   50,
       50,   50,   50,   50,   50,   50,   50,   50,   50,   50,
      112,  112,  112,  112,  112,  112,  112,  112,  112,  112,
      112,  112,  112,  112,  112,  112,  112,  118,  118,  118,
      118,  118,  118,  118,  118,  118,  118,  118,  118,  118,
      118,  118,  118,  118,  123,  123,  123,  123,  123,  123,
      123,  123,  123,  123,  123,  123,  123,  123,  123,  123,
      123,  127,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  147,  147,
      147,  147,  147,  147,  147,  147,  147,  147,  147,  147,

      147,  147,  147,  147,  147,  150,  150,  150,  150,  150,
      150,  150,  150,  150,  150,  150,  150,  150,  150,  150,
      150,  150,  156,  156,  156,  156,  156,  156,  156,  156,
      156,  156,  156,  156,  156,  156,  156,  156,  156,  161,
      161,  161,  161,  161,  161,  161,  161,  161,  161,  161,
      161,  161,  161,  161,  161,  161,  200,  200,  200,  200,
      200,  200,  200,  200,  200,  200,  200,  200,  200,  200,
      200,  200,  200,  204,  204,  204,  204,  204,  204,  204,
      204,  204,  204,  204,  204,  204,  204,  204,  204,  204,
      220,  220,  220,  220,  220,  220,  220,  220,  220,  220,

      220,  220,  220,  220,  220,  220,  220,  224,  224,  224,
      224,  224,  224,  224,  224,  224,  224,  224,  224,  224,
      224,  224,  224,  224,  231,  231,  282,  231,  231,  423,
      422,  421,  231,  237,  237,  237,  237,  237,  237,  237,
      237,  237,  237,  237,  237,  237,  237,  237,  237,  248,
      248,  270,  248,  248,  420,  418,  417,  248,  259,  407,
      259,  259,  259,  259,  259,  259,  259,  259,  259,  259,
      259,  259,  259,  259,  259,  262,  254,  262,  262,  262,
      262,  262,  262,  262,  262,  262,  262,  262,  262,  262,
      262,  262,  268,  268,  268,  403,  268,  268,  250,  233,

      229,  268,  280,  386,  280,  280,  280,  280,  280,  280,
      280,  280,  280,  280,  280,  280,  280,  280,  280,  281,
      385,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  281,  281,  285,  285,  285,  285,
      285,  285,  285,  285,  285,  285,  285,  285,  384,  285,
      382,  285,  285,  295,  381,  380,  295,  295,  295,  295,
      295,  295,  295,  295,  295,  295,  295,  295,  295,  295,
      303,  303,  378,  303,  303,  342,  340,  339,  303,  308,
      338,  308,  308,  308,  308,  308,  308,  308,  308,  308,
      308,  308,  308,  308,  308,  308,  311,  337,  311,  311,

      311,  311,  311,  311,  311,  311,  311,  311,  311,  311,
      317,  311,  311,  312,  336,  312,  335,  331,  312,  312,
      312,  312,  312,  329,  328,  327,  312,  314,  326,  314,
      314,  314,  314,  314,  314,  314,  314,  314,  314,  314,
      314,  314,  314,  314,  318,  318,  322,  318,  318,  321,
      317,  313,  318,  323,  323,  323,  323,  323,  323,  323,
      323,  323,  323,  323,  323,  323,  323,  323,  323,  323,
      330,  307,  330,  310,  330,  330,  330,  330,  330,  330,
      330,  330,  330,  307,  330,  330,  330,  332,  306,  332,
      332,  332,  332,  332,  332,  332,  332,  332,  332,  332,

      332,  332,  332,  332,  341,  304,  341,  341,  341,  341,
      341,  341,  341,  341,  341,  341,  341,  341,  341,  341,
      341,  345,  345,  302,  299,  345,  345,  377,  301,  377,
      377,  377,  377,  377,  377,  377,  377,  377,  377,  377,
      377,  377,  377,  377,  383,  297,  383,  383,  383,  296,
      383,  383,  383,  383,  383,  383,  383,  383,  383,  383,
      383,  231,  231,  294,  231,  231,  293,  292,  289,  231,
      388,  288,  388,  388,  388,  388,  388,  388,  388,  388,
      388,  388,  388,  388,  388,  388,  388,  389,  287,  389,
      389,  389,  389,  389,  389,  389,  389,  389,  389,  389,

      389,  389,  389,  389,  397,  397,  286,  282,  279,  397,
      399,  399,  278,  270,  258,  399,  400,  400,  400,  400,
      400,  400,  400,  400,  400,  400,  400,  400,  400,  400,
      400,  400,  400,  248,  248,  257,  248,  248,  256,  250,
      247,  248,  404,  404,  404,  404,  404,  404,  404,  404,
      404,  404,  404,  404,  404,  404,  404,  404,  404,  409,
      233,  409,  409,  409,  409,  409,  409,  409,  409,  409,
      409,  409,  409,  229,  409,  409,  259, 1106,  259,  259,
      259,  259,  259,  259,  259,  259,  259,  259,  259,  259,
      259,  259,  259,  419,  419,  111,  419,  419,  111, 1106,

     1106,  419,  419,  424, 1106,  424,  424,  424,  424,  424,
      424,  424,  424,  424,  424,  424,  424,  424,  424,  424,
      280, 1106,  280,  280,  280,  280,  280,  280,  280,  280,
      280,  280,  280,  280,  280,  280,  280,  281, 1106,  281,
      281,  281,  281,  281,  281,  281,  281,  281,  281,  281,
      281,  281,  281,  281,  426, 1106,  426,  426,  426,  426,
      426,  426,  426,  426,  426,  426,  426,  426,  426,  426,
      426,  427, 1106,  427,  427,  427,  427,  427,  427,  427,
      427,  427,  427,  427,  427,  427,  427,  427,  285,  285,
      285,  285,  285,  285,  285,  285,  285,  285,  285,  285,

     1106,  285, 1106,  285,  285,  430,  430,  430,  430,  430,
      430,  430,  430,  430,  430,  430,  430,  430,  430,  430,
      430,  430,  295, 1106, 1106,  295,  295,  295,  295,  295,
      295,  295,  295,  295,  295,  295,  295,  295,  295,  303,
      303, 1106,  303,  303, 1106, 1106, 1106,  303,  312, 1106,
      312, 1106, 1106,  312,  312,  312,  312,  312, 1106, 1106,
     1106,  312,  314, 1106,  314,  314,  314,  314,  314,  314,
      314,  314,  314,  314,  314,  314,  314,  314,  314,  318,
      318, 1106,  318,  318, 1106, 1106, 1106,  318,  323,  323,
      323,  323,  323,  323,  323,  323,  323,  323,  323,  323,

      323,  323,  323,  323,  323,  330, 1106,  330, 1106,  330,
      330,  330,  330,  330,  330,  330,  330,  330, 1106,  330,
      330,  330,  447, 1106,  447,  447,  447,  447,  447,  447,
      447,  447,  447,  447,  447,  447,  447,  447,  447,  341,
     1106,  341,  341,  341,  341,  341,  341,  341,  341,  341,
      341,  341,  341,  341,  341,  341,  345,  345, 1106, 1106,
      345,  345,  377, 1106,  377,  377,  377,  377,  377,  377,
      377,  377,  377,  377,  377,  377,  377,  377,  377,  383,
     1106,  383,  383,  383, 1106,  383,  383,  383,  383,  383,
      383,  383,  383,  383,  383,  383,  388, 1106,  388,  388,

      388,  388,  388,  388,  388,  388,  388,  388,  388,  388,
      388,  388,  388,  389, 1106,  389,  389,  389,  389,  389,
      389,  389,  389,  389,  389,  389,  389,  389,  389,  389,
      498,  498,  498,  498,  498,  498,  498,  498,  498,  498,
      498,  498,  498,  498,  498,  498,  498,  507,  507, 1106,
      507,  507, 1106, 1106, 1106,  507,  509,  509, 1106,  509,
      509, 1106, 1106, 1106,  509,  400,  400,  400,  400,  400,
      400,  400,  400,  400,  400,  400,  400,  400,  400,  400,
      400,  400,  404,  404,  404,  404,  404,  404,  404,  404,
      404,  404,  404,  404,  404,  404,  404,  404,  404,  409,

     1106,  409,  409,  409,  409,  409,  409,  409,  409,  409,
      409,  409,  409, 1106,  409,  409,  419,  419, 1106,  419,
      419, 1106, 1106, 1106,  419,  419,  424, 1106,  424,  424,
      424,  424,  424,  424,  424,  424,  424,  424,  424,  424,
      424,  424,  424,  426, 1106,  426,  426,  426,  426,  426,
      426,  426,  426,  426,  426,  426,  426,  426,  426,  426,
      427, 1106,  427,  427,  427,  427,  427,  427,  427,  427,
      427,  427,  427,  427,  427,  427,  427,  430,  430,  430,
      430,  430,  430,  430,  430,  430,  430,  430,  430,  430,
      430,  430,  430,  430,  437,  437,  437,  318,  318, 1106,

      318,  318, 1106, 1106, 1106,  318,  447, 1106,  447,  447,
      447,  447,  447,  447,  447,  447,  447,  447,  447,  447,
      447,  447,  447,  605, 1106,  605,  605,  605,  605,  605,
      605,  605,  605,  605,  605,  605,  605,  605,  605,  605,
      774,  774,  774,  774,  774,  774,  774,  774,  774,  774,
      774,  774,  774,  774,  774,  774,  774,  916,  916,  916,
      916,  916,  916,  916,  916,  916,  916,  916,  916,  916,
      916,  916,  916,  916,   49, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,

     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
     1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106, 1106
    } ;

static yyconst flex_int16_t yy_chk[4060] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,

        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    3,    3,
       96,    3,    3,    5,    3,    5,    7,    3,    3,    3,
        3,    8,  992,    3,    3,    6,    6,  942,    6,   21,
        3,  941,    6,    3,    9,  126,    9,   11,   11,   96,

       11,   12,   12,  940,   12,   17,  939,   17,   19,  138,
       19,   19,   27,   20,   27,   20,   20,   17,   22,    3,
        3,   17,   17,   17,   17,   28,    7,   28,    7,   51,
       51,    8,   51,    8,  126,   10,    9,   10,   79,   21,
       21,   10,   21,    9,    9,   87,    9,   87,    3,    3,
        3,    4,    4,  138,    4,    4,  938,    4,    4,   19,
        4,    4,    4,    4,   20,    9,    4,    4,   22,   22,
       95,   22,    9,    4,   73,   73,    4,   10,   23,   37,
       23,   45,   37,   45,   10,   10,   17,   10,  259,  259,
       45,   23,  142,  263,  263,   37,   37,   37,   37,  937,

       95,   38,    4,    4,   38,    4,   10,   46,  147,   46,
      147,   79,   47,   10,   47,  936,   46,   38,   38,   38,
       38,  142,   47,   55,   55,  149,   55,  149,   23,   23,
       23,    4,    4,    4,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,

       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   18,   24,
       18,   24,  168,   29,   58,   29,   74,   74,  935,   30,
       18,   30,   24,   29,   18,   18,   18,   18,   31,   30,
       31,   31,   32,  191,   32,   32,   48,  162,   48,   67,
       67,  168,   67,  246,  162,  246,   48,   75,   74,   75,
      141,   58,   75,   75,   75,   75,  167,  176,  177,   24,
       24,   24,  191,   29,  253,   29,  253,  105,  105,   30,
--> --------------------

--> maximum size reached

--> --------------------

97%


¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge